IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtY2Fzc2FuZHJhCiMgVmVyc2lvbjogMy4wLjAKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjazZjBbtwgEIbvPAVSerXdXnOLkqrJoe2qqdqjxcLsGgWDBbjJvn2xsR07u1HW4EQ+rQ3MzOdhgJ8lXO+Eekwrrf5xBtqkpCK0gJQSY4hkmuDqcFkqVgvAn3FOKp4Rb5MNNpm3yQabjEsGT2lhS3HhbZNPOEHkzWBpodSDCQrZWkYGjvxqj7BUFkbv1/3Treto0KhwLfjLEmRLIKVUSZlLUkJOrNUNYfPLt7WFtVHaQwVrBWSwI7Ww+ZDOtYLuwUGK2lhoJ7sEWyi2Nj6XxNXCiW1eKcHpYZWETe+q608DVZrl8MSNNatMoSlqy9SjXPUysWQrYF1Z3AyrghFLPhTFgDRKh6mPzjb8yO8cdJUdxeBdLIXyXDK/2vf7tjdEhLzOtyBYWqkHCKrlj8GzUFaCWMh3HAQzoRvsYrDtFhBVbq2H+Gpr3Twn7XfzGl9rR3CLUcUX2juyLVxlJ0ktuFMjNQd3upWz7o+tYeYN518izwybwhNxOYB8aMkZ2YfDnHT3HojpzdW3/O7m5Qm4GGc84Ncff9YN6GWNGTaPtWI661zX8l0Ro+QTNpZdMkVxsoQOw/PlIAr49yccOgAVzfpHLARtFhQK0qshWMeCF59/dKEYmRNDeySX8GxdhyIOzxj0l2cwnqsU0FKby9FXLLVh4aj9FM0XF8FfMp8ZUVWW3F2zRyG7Ju9nQ+gD2QP2hkk3u8ngMek6xh6lBGq5kqP9dur/xAAf7ap1hgfxiK+HsWgP8jk7gmxBNM76Vm9/1zyiQj1alakKNLFKXw4x/ErpDuCJl36s/+iL1kHSNyanHfwl3HK5xzv3TLC/TWGr8BYw1eBULnsVpC38CI6x/RSjVdsvKI5qarxaz55WLo0lQrhQo1E7rcrEqFpTMNMIbwzup6sfhptO3HUiJ1pPTHV1SPoOb/7dS2Y/6UPqxhzTfB6X18++H42cvxF1c3AXKzkNboBoWkwNfZu3uff9G7eS0H9nVhuY