IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zbGFjawojIFZlcnNpb246IDQuMi4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2YwY6bMBBA7/4KS9srpHvNrarU7h6qjdRDj8gxk2Ctwcg2zebva2MgwJINdjYNl4QwnpnnYWYYhzC54+IQl1L8ZSlIFStO6Csuj+tcpBUH/BUnpGQr4hauuoWreuGKFSm8xZnO+YNTiL7gCJFps3EmxKuab7xeHuLCdxfOUfCOmuvf9vPJ3LCOKSdK4ccgv94OY0o4r7cLOhPpbd0mB9hmzS69w9sqh4e5teB2/8f9CI36FM61HDEVRZEUJIeEaC0tlv1m20rDItD0sYRFUaWwIxXXSRe4RdHBG1CLEVJeNwGyF/81TKIESbSQHq27U/Es9E7Pt4WfHIa08ZFbF/Nvm+cfjMNLI5vdXz5AuZbBPxlvCaMhLznRkOwY8FR5peMtuSpmWgkX8p5A986aLhimqSotK6qt98QOCklJJMnV3XJoMcm8EUrf+zn1GRb4rAZ4C6r3Adcd691/GB75DRyIz2AMhoVrUzt4TJjBdHXt3xTuExP9HOfcgy9WOl2nguLo0e+wjD+cMZHfAdGTYlxReMa8i8Km1xCyiWeCPSZydPkfkdlUlwmQz5w92+/UfI4v1g7y76gBRLOzZ1TTKLwuQyl9MulMB0JU5DnTqo/Q3HL2NmYx2QMmJaEZRI35qDMfuc3bwzNQzcwI4diGBkdCZ7pufvh7J0R7KE7x4GQL3Gq3d53Ss71EmThosTrZXZ98dnrTXh9q1egkdBt4D/PuyfSD/HEwmJmjzPTEin1PtJMij5SoJAU1NHthcbvvdhm2QtwIkXlbT8SsPEatwKn/ctOBi944jdrfSR2bZF8ZiD7inPXOzZOJhhb4Z21hZ17+LqwvXQn3wC4Qb47mvVwMwRUQSbOhorvXZJSTb0zCon8GnGh+