IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wb3N0Z3JlcwojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl8FymzAQQO98hWaaK7i55ppD05lm6k5618jS2mgsWFUSienXVyDAdu3WFm4DJ0DS7j52pd0Vk2at8C3TBl+lAGMzjdZtDFii64cCRaWAfCSUablgYe1iWLvo1y5kKWCX5a5QH4JMekfShP1ReZYjbuNMtBIjDY37qWDxxn/cfz5WxqL5XmtoKARzjNzfwBBnfNm9PPnhxjxXzNqJ7Gd0AyUY5oDK0oJx1P5QbWTA5SgmpHKUt0GaAYz3i2RK/gTKQc3AO6tKbamoCj0TFIVMTI/CsSxpyQqgzLl22zRPuaocTIrkuiwzAxpdU9hpf8qnj5aANauUP+R91GbhojbteKLp/dOQSFZQh1uYAU4zN58w2UprNM5SVjnkWBTSvRsX6qZcoonrXwap+NZlEB3XOe0tj++eThGGeHztpmIamb8j3c6SwQ54sw1ijs1/h3JQaNU0WrCL3q3vB7eWoISdOx814NUbMPMjraSvIArNvweLuJUR68SDQE7S++jLHLmUlJMxuTWe6IwbyNX1IrnqlhwDdRVFElkHYgDOlRByzWZNxm69cXSRcTs9U0mo6PbQfDcUtC0Z37INEKYZzyHtlKeD8vRAU1kCdxLLPdex2tP5zkb4evn2hTwOixJ/Wd57RrEVqEZLPxokPzevyYkDD71xkduX5TN2dJ32E0HRc2gCgsXTCNB+iOb45pBuKm/mkOlKkWDsyaM6JJ9aJWuf4H5PfckB3wXwZe2rcnnMb4EZnh8LhrEg8xLmlz7yyS/VKVNi