IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zbGFjawojIFZlcnNpb246IDQuMC4xCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2YwY6bMBBA7/4KS9sr0L3mVlWquoeqSD30iBwzWaw1GNmm2fx9MSYQWJJgpxQuCcGemTfjmWEIYfLAxTEspfjDUpAqVJzQN1yedrlIKw74M05IySJiN0bdxqjZGLEihfcw0zl/sgLBJxwgMq02zIR4U/OVN9t9TLh6YQ15e9Re/zKf3+sbxjDlRCn87GXX2WBICeeNu6AzkS5rNjnCPmu9dA7vWdg/zGcN1vvf9odv1KdwHuUIqSiKpCA5JERrabDMN9tXGjaBpk8lbIoqhQOpuE66wG2KDt6BGgyf8loEyFz81zCJEiTRQjq07k7EsdA7OdcW3hv0aeMjszbmX+KXb4zDz3Ztdn+5gfIog3syLgmjIS850ZAcGPBUOaXjklwVq1sJF3JNoLWzpgtG3VSVlhXVxnpiBoWkJJLkarUc2kwyx0Lptc/pkmGDZzXA21C9D7hWrHf3YXhk13MgvoIxGBYeTW3vMWEG08O1vyjcP0z0a5xzX3yx0ukuFRQHz24vy/jmjIncXhAdKcYVhWfMu8hvevUhmzgT7DCRo/v/iMymuk+AXObs2Xan5nN8t3aQe0f1IJqdPaOaRv516UvpkklXOhCiIs+ZVpcI7S2rL643k1fApCQ0g6BVH3TqA+u8eXkGqlk9Qli2ocLRolXdND/8tVtEr1D08eBkD9xIn+9aoRdziTJx1CLq9e56m53ctNWnRjToF60DH2E+nMxlkG8Ho36CTvhRnoLzgtXywz6xrUcXq3fE4lP9wCqG0gqIpNlQ0N5rQ23X4/ok0V+7uhBZ