IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wcmVzdG8KIyBWZXJzaW9uOiA1LjEuMQojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNmEtz2yAQgO/6Fcy0V8nNNbfEcZNM08YTu7kyGK0eEwwaQE787wtCUuQmtZHtWj7ZrPbxsbBiEcllwsRrVEixymOQyvwDpQUq1pdLEZcM0DeESZGPiNMctZojpznKeQxvUaaX7IuzCL+iMCD/cBxhvDKjXHCMbZCYaIIu/ENs9Z0J8aJ6oFf6fSdQGfVPk4u1X866IaNp9TN5o1Bok0aLAO3gYk+KvuHvjMhGpowoddKoERWcY06WgInW0kLY33xRahgARK8LGJAhhoSUTOM2KQOypOA4qqIAnYn49PGTXCo9JECuBCO2FDGDFbAhUQrCY6JwnAwJIYEKGauhEKx86LrIuQJpMiFeB0tDwQiFTDCjO2AiZHnad0MKHCTRgN0YU5YDNyXKk+rgTkpO/9+hqSXhKjGCHj1Ca9O3QWgNo5QqbKbauz15D73h4Ugg0e14NhduKzwWdlGE9G8fPNiOBRXBG1BbGP779JR0GpamlM2OTnJg7q3qX8ueoNoIVaTWygTzuBdU6iOn7ns52BrCLAExswS8YytvD/ypk+PhRNe/xz8m879vMAcy7Qtzc3WL72/OBGby6/l8YKZX8zs8f8Tf7x8m54L0NJkZovnV9dkg2RFVq3cJ1mTB4EzorA2ue4cj43h/HkBKx5exoCi86PlNAW3vVYK+rUdfkg8TR17NU+DxRcYfxSN6cMDh5Q+y+wxEfQ/qoFdPtw9qL7jgsNr4wHdYlaE9Cj7w7St6svpSBTQjPAUm0m6AVug8jJthQMVymWu1oetETnNK6AtJAZGC0AzCegXDNmpYRzW3lfdZMbIAZl01Uufr3v4NMvFqpiPqpvDSJE+LukvasG00VLuXNne9ew9W3sJGN+x6exAkRuPZM0qkWCLTkCIjdC0pmtsTIviwDt29umPC5l6sCWM5TzvPbKRQiVJSUJt+dyg3CWrUHHP9MDDd3ifJLdZh88CZ/3QdpkvzrvR18bxSjW6FSI37MRNljGZG3e6LTkprU9T0+0EHcAf5dG0uK3xzAgqIpNmmoZM5m5l7PjUURpeWMtfr7qQamdN+AgZE2cy2ugXRZoVV8AdJszYe