IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10ZWxlZ3JhbQojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNls1ywiAQx+88BTPtlaRefYL20Kkz7T2DsCaMJGQAq759k5DPxlbBfniLC/vf3wK7KxV6I9U+KrV6Fxy0iSxISDXNcXlc5orvJOAHnNBSxNTtjfu9cbc3FgWHQ5TZXN45H3KPCaJfikeZUlvjFaLxCAwUlpSLeGWOw8+39uOxMtccTFJj8OIKjPD4UZKkYBOWUZsI3pwK2Ezx/8WxagvF/8M0J6OKGyAxUPAkB2NoCn9Do0rQ1CrtV5u9l3+R9K5hNTpEDq/TOUJ/Cy/tkk+9fo90PUsEB2A76/cgfh3KQl5KaiHZCJC8eT7UWi3WNekN8O1EVdPS3eTPgnkMLmwsX3LFMFl4zzt8roegkKbgT3TiGPDF7Q1d9EfCB+oiCuTZwHwATvU+fMljRaFPL4zO897mNYWYynNhzTh8a3JqK8q29aCiJWUZkFac9OKkV0qhGDKRdA2yFuusTu2p/kSZ2lvVZ7HsFDrDVGBgboqz8SWdkcx8P/cINDvd8VGdTaoaNieSKo+kW3BCz260ufSGcTuKOk1jjjmSPBNrdazGQzENaYBqlk0dnc35vLr1VXWT6AMo3JGU