IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zc2gKIyBWZXJzaW9uOiBtYXN0ZXIKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjaxZbBbtswDIbvegoB29XOeu11l+4wLEAfQGBkJhYqS4ZEd8nbT7JSN8ayWCoW9xRHIvmRNPVboNxe29917+yratD52vuW96fHzjaDRv6NC+jVBpLZZjLbBLONMg0e65Y6/SWZV195xeBayLq19sXnBh6Ny8OX5J4QH6pifHp+fnoKfyJOavCePxTTCjC1EGgInRBjfUitbe5PPCpaESitMcJAhwKIXMTGX7UbCNcg06nHVaEOgVDQYAzq1Zrc4B4GTWJq9polHzCBV6s2AlducEQOSuwV6kbssIVXZQe3Gj6u3Pm92h4dkHXZaj45FEnt5FWi6u+oUmWf4WI7f50XMhX+n+QPIGs8ooyvLXNq/iubsOt1VCY8UsEQ3SeH8Rj5T0ujSDpuovMuO9xT89hYyauHkusRv6EOLP/gF9HnNfIFfWJLt8hM9hKR5ctQJvGaePGFQWJlU1KcSVbvZ2PNpO06Rf4SdV5KMbYgX+CAHHqQLVbnkNUUskpBwnmQpKwZc5gHm22loOEs8e/TBjugea9Xwy4creD5tppcfsRH9ldbLqu9lWGQ+SuI/lS9baQYP9OnJMEudhfctqegAmbu7RGcbOeOae3cg7S/Dc1lfwA6q/yd