IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zZW5kZ3JpZAojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNq9VM1OxCAQvvMUJHqFute9efRgsonemxFmWyItBKjat7dIW7vRZpdq9tbMzPc36QDKHbV559aZNyXRee6xlZVTktp+3xjZaaR3tASrCkizxTxbTLOFaiV+8Do0+iZh2C1lBFbJeReU9lkSX4iNQhwbUBrdBsER+Udhfi+lQ+/RP/cWow0JAehuu4ks9dIaH8qpWcZq9HDsWhGUaa/mQ5vq6tljucT/jnzRQVAf5F4aQdku44LoejSywXOOibXI9NJtk4wrzjeWYYgI0zQq+KXIWEoEBxCvUCEFC6JGNvKxmY/NO6+w/far4QV1JJuqie0hfpIfsZaGz+oMz8ovOrZnUyMRPab3Kykuumdghz7Uw29/gvYITtSnwFRLmKfUPwx7Ip87akyV