IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zaW5ndWxhcml0eQojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlcFugzAMhu88RaTtGmivfYMdplXqAyA3cSFqIFFiNnj7wUKBalVX2k7iFjm2/88/yAHlDtp8xdaZTyXR+dirMqs0OEUNs82mMLLSyFYsBasSCOnJkJ5M0hNVSqzjnAr9Esr4K+MRXJOIjUUHZJyfKzYUPib7yLwjwtNcOIvuxvNHn9AhCg3es/VTCJ+IFqcZUipMUUApf6xEyo1cICjWKCrCRTOaMj0qrRfNSFhYDYQp1tSBApFT+87ZBbMeFGrp/wv31i3JPMmNNILx9bzNyq4aEs1fnDNJLq1dduNHih5z+W7Se5y8/GtF3XpT5KcofSj03II4QoYMLIgceS/BBwk+bZZhOQ6mYY+663eKhoZv3TH6Nf90jFuk2pfogpRt+Oki9HoPr18Qndz+UbZt2g1Vnld7BCfy88IQCzW7cL9t3Yq+AQ7zRgU=