IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zZW5kZ3JpZAojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNq9lMFOwzAMhu95ikhwTcquu3HkgDQJ7pGpvTZS2kRJCvTtWchaNkHFUtBuke3f3+82Dmi/N/ZNOm9fNZIPMlCPjdfI3bjtLA6G+B1X4HQFubaaa6upttI90rtsY2duskbccsFgsbkcojahCPGpWAmS1IE25FcAj8o/guU9oqcQKDyPjpINhAh8s95EEV05G6KakipFk4f90NdR2/5qPoxtrj57Civ675EvWggeIm7R1lxsCjaIL4/GVnguMbE0Mr/0a7OCLS43VmCINdR/UQy8kEmcKZqbPKQj+2bmFOOgbkkcaWKmifmPHB6DHzhuFFMiN3rMr04mnmR/ke3G2B4u65k6EPi6PRfmWNY85fwOGmIfJhYxQA==