IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1ncnBjCiMgVmVyc2lvbjogbWFzdGVyCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42sWWwXLjIAyG7zwFM+3VTnvttYfuHjrN7D4Ao4BiM8XAANk0b78mJE48mzbg2TqXxBGSvl8iCIN0a2W2tXXmjxTofN04y6ndPXVGbBTSB8rAygUkv8Xgt4h+C6kFftRt6NRd8q/uaUXgYtK6NebdZ6fee08AlBWQKBNrSY8v/ceP/mdkcgXe08cJyDJWzRoMbC1RiX2pGFoj5uByozXT0CGDEFxkx2+52gScDR92FmcnC1zDRgU2NGB2BXHHI33eDT9SkQdpNFsb17GtFL3Zzysk2m7TeLf5xp4biw6CcfmDcYgom1hDWNmAPNHKh+QYuW/o28GUOyw/x0/jpsEZzaw9zOysff3/OlrQQiFz6K3RHm+nBD+Qx5N0MwEBO6sgYLrPfMn5/lpLyUGlPognYTitJhxwenWakMxXnTIZmQrI1Ve4XOxVICndrVzypztNs/5xpGCilksqUEO46TrZX55nkIMpJVgCf4cGKVjgLVaHfNWQr9qXc7qSk5hxuvFaytv8Wj6TBvWpRAUrVDHgaE2OP+Mj+acT5zV+Ka2/Fy4w7K46LqQkr+n2SbSz1Sthy10/ovQ42iM43o4Dky3F/E7ry76t5C+txNJc