IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1vcmFjbGUKIyBWZXJzaW9uOiBkZXZlbAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrVl01z2yAQhu/8Cmbaq+Tmmmsv7aETzzR3Zo3WNmMEDKDE/veVgix/xLUBJ5ZzkgTsvo9W2mUBYedSv5bG6hdRoXWltsAlUrN5rHXVtHc/KAMjJhBWToaVk7ByIlSF63Lpa/ktWBTfaUHgP47LpdYrl+D+bX2WSPqrBK0r3mv78PR2+dUOdepcgnP0IVM8R7WcNXLFhHJoPbP6NQQc/VJXt+XgWimmoEYG3tuOoruKWeNxBBC/MTgiQ4VzaKRnQ1BGZFlg4Bjrx+jGx47BHeSHa4zR1jsGjddc17XwNwiINmjBa5tShweb1MI4GKbX451mXk0+lu4j/9QPx9fmcyDXEJS4Rt595vjf79NQPNZGgkeG68R/8POR5gJl5e6EqhFt5ZTa3gjHW1BujknJOtikZsxg2A8wr1ly2u7Uj518HE7/UZ51bkrHQX4sXcnS830Uzi+CeVV9uAdiZrGVsn1y3zl7Xt2LR40+B1Lnq8dKc1o8JB4e6fkGjaT2Wqkk716cRnWMJOIEHo8SoU6SesF46VNNJL28EZOcrTWHKuH7HHcJJGlHjoc7tZXTy1lNrsvKHL4z+U0zyhAJxyG3j9IPBZ9T4CtYIAUDfIlFL1EMEsXgRynkXmi1ZTx0eTwbvIfiR38O02SBahcbCTOUnf12NFj97m7JuxDuR+ICbdsWnVAxm2I7Edz8Ca1Y0NubvWA23bS7uTq0dgiWLw8Nw1iw+Rvmp22syT+ISZsq