IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtZHJpbGwKIyBWZXJzaW9uOiAxLjAuNAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl81u2zAMx+96CgHt1fZ6zW3YDtuhaIA9gKHKTCxUtgRJXpK3n2X6M+tHLKO1L4lDkfz/LBISw4Q5SHWKtVF/RQbGxkwznkOcGSEl1ZddobJKAv1GU6ZFwtA/6f0T9E8a/0SUGZzj3BXyDuOiexoR9q5InCv1YmdLNVELBAPfEGWXvm37/NN//qoNHoNLZi19WEIRKh9zVZZpyQpImXPG0/hv8Vw5WJPIXTRsASaDA6ukS/tt2gLUERCoaWFwucpWBKmMWJ3DWzdTHVFaMC416mRX3xhbF4hVTnFVFMKtj1NprYyzV0xfVzGlwTCnzPxLp48MO/v78MDLZ5BfcAFdQWBhnlrj3IvoHaKlKDGcgft2mNuvn8nkoNCSOUjhHNS0X8J2ECAzu3G81ECd3IDZHGgl6ntVKvMJXEHnGrUu22WK02jJwUhvP6vJzPk7DHAmGrn5/8dcnJtBSHAHzEV6u43ovNYmAbdaOGwAJsEBwI5FWxMm2jP+wo5AMTxq80Z93qhdwNf1AzFwJ1TZbt0079UiKnxvEtDmEKA/eh9yhHLYD8meQfoknRVjf/tHkquTU8mQfjdI93Gvi981odGwiO/xJhMqdbuHOt2vqd7QCCOdzhhNAyfnH/mvCcZlvakK9fDrmJSiPI48DkYVkVWV4WCn2T9w7na6c6N+kbaLpB58XqmSvkTdAoY/4pyF9RoGwBHHdMOmFXjq23WU+APF/aWeWcqpsAVmeD4NRBvG/MH1fd3w5B+17pZq