IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtd2lucm0KIyBWZXJzaW9uOiBtYXN0ZXIKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjavZXNcsIgFIX3PAUz7RZStz5Bu3DqtIsuMwhXw5QAA1j17WuCxp86tbmx7jIwh/MBhxOhw9y4FffBfWkFIfJay+Cimye+0jbU1G/GtVNLA/SJlsLrQmRJ0UmKTlK0kkJbBWtepdo8ZCl7pIyIa1a8cu4zYgxb4TBb/G6z+Q12vvv+0PZt8rwdaGCkETHS0UCWARB8AamUztr2aCBVTt0Jx3kIIrmASkQnRl9JtwI+GQeIYek4Q8mX87obRKTkF64bAHFYg1wmwATmn8kS1N6IBOVcg1FtsERKQc8a3FtB9u8sGpMaKycpG2Ebj/7xeRPsy0Uznp8R7VVEpM8vB8HYh4vgugdBdam9aI/wkyFJHsSLuO2zJ0sWYA8cRszANCT70bzqS/NJfuAe+3ohK2A7e9bZs86eZbttE1+w8xu2n8jrTXL3Z+Oj2Suy6WZbgPZUHUEEWZ0K81jWvOf5qVgA+QZ5a6dm