IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1vcHNnZW5pZQojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlr1uwyAQx3eeAqldwc2arVs7VI3UB7Au5hKjEIMwaeO3bwgJjdVYMbYVZQNz/7uf4D4M0q6U/uHG6m8p0NZcm3qNlURqmvlWi51C+kJzMDKDYJtF2+xsm8lK4J6XbquegoY9U0ag0zkvtd7USSGOioGB4jYHhdYNiNt2MA0G/zxtX/3u7WDhwQoFdU1no7kmAeL5Gp0nyTfYHK8NXanFw+DhHoudwwck8/dW6Kq6J5o2aMFpm1ZYUZWe1VE6psD+4o8tsi6c9vN8nqxSiq0P46RwPF/upBJ5tDXQKA0iKZ3uTz2kHu9P6XBrFDjMVxKVOFYLOGfl0qNPB5ww0WjtxFzogrJZ8iCkt5oVGd520rk6r4Qm9lTS658jBbAXC0lslykA1zot7ZPWZFxKDmMc9JJdlUj8OrIoWKLyNOevwe+7X5J/yJeRDRQlshMAiwAsPt9hUlyJYxp2PgiOPsJ0ChEvTm/IFs2hqVVtdY1gi7ItDN+C5iucL2CN5Bch8lgy