IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zZW5kZ3JpZAojIFZlcnNpb246IDIuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42r2UQU/EIBCF7/wKEr1C3evePHowaaL3zQizLZEWAlTtv7csbe1Gm126ibcyzHvfYwIF5Y7afHLrzIeS6Dz32MrKKUltv2+M7DTSB3oAqwpIvcXcW0y9hWolfvE6NPouadg9ZQRWzXkXlPZZiJNiI4hjA0qj2wAclTeC+aOUDr1H/9pbjDEkBKC77SGy6NpU/86M5cNpEdHHrhVBmfZW/FUXkfog99IIynYZN5euH41syJwTYu3I9Nppk4zXkx8sIxARpmlU8EvIWEoGJYh3qJCCBVEjG/3Y7MfmmVfY/uTV8IY6mk3V5PYUP8mvYy0DX+QMz/kPju3ZtJGMntN/IxEXuxdkZR/q4dqfqT2CE/W5MNWS5iXtl8OcyDc3HRkP