IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IEFwYWNoZSBTdXBlcnNldAojIFZlcnNpb246IAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNq9VUtv2zAMvutXCNgwtAcH6LW3IO0eQAekS7CrQVtMrE6WXD3SZL9+lGQvdpuiQPa4xCK/j59IilJc6NA69LMHqR+grI32uPez2723sIC6Qd4drmsFzvEr7h6VgmrW+Fa9e88L5t4KntXxt/yBh/LJQkfsKNeib4w4Ty9Yi9qXwaEtpfiLahpa/EO5YFXZgYX2HJ3PcodrbDsFHpfW1OicsWc0f2nRefMPlWYbaZ0vo48+VK+XXhp9Ts2v7fA/td054hupPA3gDlTAJLAJuk6ZvpQA0UrtgzdWguLOi2thal5c8QmQ+HxhEbzUW34wwfLUaC7ANZUBK5iwgUZ+pJAcOfImLtkGHsc4mRn9OL9nW1AK7WGM967M+S5dACV/Qu7Kp4yxLWqpBe5THBWGKkX23hz6JS6ZbDtjfYn79BHgwVEV1Pbxlq+SeqUExw6AFvx2P1g3RyI7pjNoHjOZd+nNWvXHxi+krkOVenpJgc5TVanAafzRPxQ0Yn7gC6M3chtsspl0LiCNgsDS4gbpBalxIncC72UjQmoC+bcBYa109Tg82pn+lVasNeJE/7tDMQA914igsD+JEfpG2PJAg6+n0ZR0WVO7S9RbqWMlsfqp0HjIiV9EfpH5Rc9Ps4x8DRUpzx2/WKznq8ukHo+9AoelwM5NhV+cRZIfAooUEF9bOlDmEGzdPEss+XJxq4wvYYvEpcde+sn4D76BnS2Wa5sQj9Xy1f0dv4OKDRd3Mt2/nZm7HkwW/2FOvQFjf46hmVdk0szHovmT9M3zqWY7KdBMNs6e4SLHNZFG93nKHQEn7j5fG0Mp/wIF/fi3