IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zZnRwCiMgVmVyc2lvbjogMi4yLjAKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjaxZjNktowDIDvfgrPbK8J3SvXTv8OnWZmt+eMcQTx4Nge27Dw9nXiEJLCEpuyyQmwLH2SYkkOhOk1l2+p0nLPCtAmNWursDouK1nsOODPOCeKLYjft+j2Lep9CyYKOKSlrfiT3598wgkiV42mpZRbE2y62X0HIC4AT7kzFv/15dtr9sP9rJmUE2Pw8x3IOFZKuTSQUylEEyrYUhaTcB0xF6SCnFira3b9yVY7C5Ph7VHB9GQNxEJeMA3USn2cNu0FrMmO27xL/+TxF8Bhzvgb+ppxmBpsqEvybIFvwM5Q5TXV9cDcsgqmJ1sNkFdETU/eMXfEgBf5CkqyZ3Knp/WhXpunvDkzdq4zrogtczg4D8y0YA0uw7Cfo68Yl+aP5koFmjhO+J2r04i7DHVqcXevMy3+/jVENnn93SwxKUIvYu/z7wSn37++xlTu4x3I/szogNTzZF7qFA5A63BDa+nhDlioFCfNFcXND/PhD8GAMDGV3e6PK7JWKa6qT6T4mu7jmuy+NAuhh+o9cDwxVXIbfpYeyP2PU3TLi8DXbGxssSwkxclz1Js5vjX3UMxIi/Pgn1Dx6PhFo39lhDowSkURYzYUem0647FehWJbT7w3gc9h2D5RcLcKdeiyxeHb5Yfi6inWj8C09HsBorKqmLsG91DtkreREbolG8BEEVpC0ppMOpNJa0UId5F3FwLvxdDcUObt1j0If+lEaAPiHDMnK+C17mnV6/ysv6JSvlm5OFtddsBO7SryqVFMzrLG9QtHLjLfT+jNJDBhLOGciU1PstaySox7r6NghlZHNp9CPm3DtRC3QuRm25V0qWNyEnj1X35++sT1pCNq2dFNITHUNkA0LYeKfq19oF6eucOC/gKuByy9