IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1vcmFjbGUKIyBWZXJzaW9uOiAyLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrVl8GS4iAQhu88BVWz18Sdq9e97B62xqqdO4VJaygJnQIy6ttvIpGo4yjEGeOcjJDu/6NJNw0XeiFxnVYa30QO2qSoeSaBVttpiXndPP2kjFdiwt2bE//mxL05ESqHTVrYUj45i+QHTQj/wHFaIK5MhPvd+4NE4pfitG5Y1/7Py+7ndzPUqmeSG0OfB4oPUU3ntVwxoQxoyzSuXcDBFpjflyNDpZjiJTBurW4p2l8xry2MAGK3FYzIkMOC19IyH5QRWZbgOMb6MNrxsWPwAPlh6qpCbQ3jtcUMy1LYOwQEK9Dcoo6pw94mtjB6w/h63GsOq8mn0l3kX7rh8Np8CeQWghQ2kLXbHP75fRmKhbKS3AKDTeQ3+PVICwEyNw9CVYumckrUd8KxmiuzgKhk9TaxGeMNuwFmkUWnba9+6uTzcLpNecWhKR0G+bl0KYvP91E4vwnmTfXhEYiZhkZKd8n94OzD6l44avA9kBqbT3PMaPIceXmklxs0EttrxZK8WzgN6hhJwA08HCVAnUT1guHS55pIev0gJkOO1iFUEftz2iWQqBM5HO7cUU6vZzW5LSuH8F3IbzqgDBF3HTKHKN2Q8znj2YovgfKKZwUknUTiJRLvRynIrEC1Zzx2eTrrvLviR3/5abIE1cdG8jnI1n4/6qz+tI+kwLXFSe95eiDrDT8QftoZJ/1st4wzQO926jDgV4LSdF9nFlNtk/2Ec/PXdXxuWQezV8xm26ZpUMfWBrjOimNDN+Zs/rn5WbOl5D9/RMHc