IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zYWxlc2ZvcmNlCiMgVmVyc2lvbjogbWFzdGVyCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42tWZwXLaMBBA7/4KzaRXm+aaW4fQNp02YaCdHjWyvcYKsuVKIsDf17aMMYEmlnCCegIk7e5brbW7yISKhPF1UAj+RGMQMpCEgUy4iAAV25uMxysG6CPCpKAjoleP2tWj/eoRzWPYBKnK2JWW8j8g3yMvGAhSzpfS0EwtY23M3j1tdwB/uwPz9uvXcqoiihiREl2fCXQuSYAVx4pmIBXJinqnQKU8vjxYDDISNATMw0eIlEtoC1CYPBHKSMgAJxRYLF3ji3ieu8akI4kTwTP87Hg6QpmRJeA/KxBbl6iafStPapy4xLUWVO3OZ0WXUHbZaDK+qOzHRJH3sq6qHEBWVjWmkbUvMI2C4Kf+tC0tJzjsAQKMIVcgMLZ6FAZn2VDlBgpZqRQ/UYKLMjprLmKnoBRfQu4AUVW3cE4ywEQpUQFVnzRcKbgsk9oW4AZODAlZMV3i661yA6vuihhz4Bk6q/8ZFqWacSNG33j4meZUpmMew0WrxAFJMP50P558n9y6tUHBZDZ7mDnGNJ3c397df3GMav5rPJ7M5+9JxQsQRHFheqXQytm0XK3wbjuwgESATHFZzJdh03tZ0fxL4dtg7sI40+O/m+GHRtAsN5g58fb0Aa6y/24xDrdt9jWoBO45dfJR+48dgg1EVZ64qBsScmmeRBopm7PZiLa79shDLBVRK1uGY0XDYnUzPin/3ceTTQSForzuraD9cT0Y8zCw83pgXi81y2eXogyK8g+Y4XG4GKuCrGBEde8+zUp/f3Kj9wRIqvgm5hHyry1eMKDXOyHP9k7JhuzkvRQyuhHzrLowG9jjNg71byy9ni+dzMB6onjGfaMZxqmmE/Urr95wJdGWuUehRWf2Cp5hzTVz5bhcoz7Z0Ds/idlxvpgSkWUi9yKeZVTJLlIzpPVOSbQkC0CkIFEKfmPGb834nfNSXa1AVNX9rgOHqk+t0Jb27xDQuF3mLSDf7xkjIbBKz25US95VX72UrxUf7S3c7A1UOeVQwQsgV7Uif7/Cf6boNOhRZLvB6bF5ZU92wtFi6+8mtKofuhfULndmXxGbbsvmIT+UlkBElB4K6rEmIHp+Wobf+wsGsDbi