IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy12ZXJ0aWNhCiMgVmVyc2lvbjogMi4wLjAKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjazZbBcoMgEIbvPAUz7VVtrnmC9tBpZjrTq7PBTWSCwgCm8e2rQU0ypo3QNslJBXb/bwF/AK5XQn7GSsstz1CbeIvacgZU1fNCZpVA+kRTUDwBNzQZhibd0ISXGe7i3BbiwYVEjzQi8F3qOJdyY3wE9gFhMiH1OLlfVTd8fbjnc9PYIjABxtBZMEGgdMxkWaYlFJiCtbolaZ98WVm8FY2tFd4aJMMVVMKmw/TcGmiNDma/XdHmMrsBRNtzF7NhKqWktiaFykomi4Lb6yBJhRqs1F4uNQR5W8YQGeJWB9lQxxrJ94vw1nV4ONePNL/EiHGHrF12j5/jX3ksFkqAxRR3vhvzOlwrjiIz94RW8cbfhNR/zTT9BkGNzeaZZDSa+d476AUTI/5u5E0zrp9OtFYy5RrnwTOFgPh5pof6ObelE3YmCdtpQWReazX6d4g78cyxdNfkci2AbWCNFBSwHKMudTSkjvpEaywPRQhYomhz9a0u2Uv7Ska1HqNfkmkOmzMyqo76Dpfn1R1sTvCo90LYom4cvzyNNgia5aeBrs3FvLv+RTNL5AtZdN+k