IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1kYXRhZG9nCiMgVmVyc2lvbjogMi4wLjIKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjazZXNUsMgEMfvPAUzeiXRa88e9OBMZ/oAGQrbhCmBCKSat5eUpKZqbaCj9ZRkv/6/BZZQYTZSv2aN0TvBwdiMU0e5LnHTLWrNWwn4Dhe0ETkNofkhNB9Cc6E4vGWVq+VNSCG3mCB6qnRWab21MQL7hDSZlH6C3EXdHb4ewvPRG3sEJqm1+D6ZIFE6a7R1BexAuf1CgKs0vwLGSwumK7y8EeyqIBYU/w8cOyqFt0NhwDZaWfgDGt+71SZqAIeU6FkY8lKGcJRMHcNP0uOqr/bmiFH8geMCAD+Q26i9/iWMVhRMy7Ag1PlxWLcOLqaJP7fYOr7gmmGSfOrxzPlD83820VTzadCcf2qE/hxllLKrEQynTwWefT5RzE2UwBbDhJiua+HsVGYwhQpLyra0BEwbyiogQ0FyKEjGpkpQH8CSrkH2tUZrKPbUv6IvfU2Bz8kIZR2VUqhy4twYXROrW8PAHhc+EzxijWG4d+LBifwl/E1LTUdGR0h/Dtd9aG7iPZO27Py1qI6zLVDDquPEYAs5q+Bf+h1B78NMDDc=