IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtd2lucm0KIyBWZXJzaW9uOiAzLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl1Fv2yAQx9/5FEjbK3h97VulTlsfukar1D1aFF9iVAwWkLX59sXGdpy0WgIkU94s4H/3O+7sOzNhllK/0tbov6ICY2kjuNFWLx19Fco0uN1cN7paS8DfcMlaUbAgKSZJMUmKXlIIVcEbrV0jvwQp+YoJYodc0VrrF5visBfmuU2PNjg/QeTD8x+hft//9AsdDJfMWnyVyZIBQVfgSq6V6q8GXK2r/4SjWzDMaZNUEZM4OSWThfTK2ELkVcceSkjOw7CYUCX/4DoBEIU34GsHKQVzZjIHTSuZg3IpQFZ9YTHnjHjucC8UsjTg7RswZ8J1YJ2ldmO935g20OuKoIvuBcc59ZXE/F1AmYewY+WEQPT25kd5d9txVcyxMSO5VMk43389XRKOWavS1cKW/uPkLoaqE5Ue7RxA8dMKtq66rjTH5Cp11sFHNnaU2rOTGffvCEeNIChm2ExgjOFCaVNHAtVncwuO6Cgopylk8SZke68PoswX8QN+5juNUz4wKLo5pmJHgyKum0Y4O3c4LAUzC8Zf2AowaxmvgQwJJJNBMhkkweAK1DYEyZ5BdjbH1WD0rntEHyKdF8qx7oSyjkkp1Gp2aGl0Q6xeGw5218GBwyPeeAx3m3jYRH42+CS0dkPGjSC/DwNJCHL7xzLj2BZ5EIwx4X7qww/TmzuzfcDpYuOnarXr2wIzvN4VhrWgeQz7C59f9A7TcxO/