IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10ZWxlZ3JhbQojIFZlcnNpb246IDIuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s1Vy27DIBC88xVI7RW7ueYL2kPVSO3dIrCxUbGxgDTJ39c2ftZpY0hfN3thZ2Zh2KVC76Q6RKVWb4KDNpEFCammOS5P61zxvQR8hxNaipi6vXG/N+72xqLgcIwym8sbl0NuMUH0U/AoU+rVeFE0GYFEYUU5xitrHH5f2o/7KlzrYJIag1dXyAjnj1KwCVNF0RwI2Ezxv1JioOBJDsbQFH5HjSpBU6u0n//6LH8j9KlhPhyYw704l9DfwlO75OPJryVdryWCI7C99TPEj4uykJeSWkh2AiRv7EOt1WJbK/0H+vaietPS3eT3CvNozthYvuaKYbLy7un4Ug9BIU3BX9GZY8CL2xtaNCx9RC1SgTwbmI+Ac70PLzErCrVemDrPe5u/KcRUngtrxvRtyKFtKHutBxUtKcuAtOCkByc9UgrFUImkW5A1WBd1aA/1J8rUwaq+inWH0AWmAIPm5nE2uaQLklnuxx6BZqc7PqqLRVXD5kxR5Yl0Cw7o0Y02V94wbkes0zLmMkeQF7g2p2o8FFNKA1SzbJroYi7n2a1vqptE7zYyJt8=