IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wcmVzdG8KIyBWZXJzaW9uOiA1LjQuMgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNmE9T4jAUwO/5FJnZvbasV2+KrDrrroywXjMxfS0dQ9JJUpRvv0lDaxEXUlDKieb1/fnlJel7geYq5fIlLpRc5AkobZ9AG4mL5flcJiUH/AMTWuQD6jUHjebAaw5ykcBrPDNz/s1bRN9xhOh/HMeELOwol4IQFyShhuKz8BBbfc+kfNYd0Cv9rhOojLqnycfaL2ftkPG4+hm9MiiMTaNDgGZwtidF1/A3VuQiM061PmrUmEkhiKBzINQY5SDcb/5UGugBxCwL6JEhgZSW3JAmKT2yZOA5qkMBZiaT48dPc6VNnwC5lpy6o0g4LID3iVJQkVBNkrRPCAVMqkT3heDkfZ+LXGhQNhPy5bhpmAbX18NjZSBAUQPEjwnjOQh7GkRa1ci0FOzr6pNRVOjUCjqU48amay1uDOOMaWKn2rkTeAu95uGTQOLr4WQq/fa7L9yiSBVeqQPYPgsqhldg7jCGn4lj0hmYF9zt6DQH7j9g4d+PQFBjhTrWS22DBbTglfrAq4f24VtD2CWgdpZAdmzl7YE/dPJ5OPHl3+Gv0cbH7ECmfWGuLq7J7dWJwIz+PJ4OzPhiekOm9+Tn7d3oVJAeRhNLNL24PBkkN2J68SYhhj5xOBE6Z0NUKb4AJ/gmjrVJzhPJcHTW8fqOt/cqqGvr0ZVkY+I4qHlCAX9+hKMEREcHFK9wkN01EHct1KhTT7cPaic4dNjZ2OA77JThPQ48Cu0rOrKGUiE2oyIDLrN2gEboPQzrIWJyPs+NXtP1Iq85puyZZoBpQdkMotUKRk3UqI4qhYDqQvLOVyNe+fP90LCRI3vPecsHp0/2hm8Na6m3unWPaCZfbCLkqp08t2k3ctVfrdnWGrrZhevnxX9BK29RrRu1vd1JmuDh5BGnSs6xbWWxFa7Ip662oI0VbO/yHamyl1dDOc9F1nrnIkValoqBXve7Q7lOUK3mmVcvke0TP0husYzqF978t+9NfZp3pa+NF5RqfC1lZt0PuSwTPLHqbke1UroyxfVNAbUAd5CPl/aaI9YnoIEqNls39DJvM/Hvx5bC6rJS5WbZnlQt89oPwIFql9lGt6DGrrBG/wD5LxKa