IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zcWxpdGUKIyBWZXJzaW9uOiAyLjEuMQojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNVk1zmzAQvetXaKa9CjdXX3tpZ9qpO/kBzEasjSZCSyXR2P++gAADSWNEEicn7P16T4/dRaDsXtNDUlr6qzK0LnF/tPLIy9O2oKzSyL/wFEq1gRC5GSI3IXKjTIbHJPeF/hQyxGcuGPyncJIT3buI8m38KpD4owSsF5yr/3PbPr7VpgZdanCO36wEX4OaSDImNVBgCt7bhkTzVHdVrcf1ifhTie/IIcM9VNqngyjvyOWAgUfblehzyq6L39ivpQGVaMGTjRn3ISd2/obE+LE/Y64b/Tl0p/evzrx8BTxH5CUMEjyirDpNljXdm1HxWJQaPKZ49HE9+PaU9gp15j4mq9RiXdii/Sj8KlUvMk32deksvgxw57NtRpKLm8gbBH9+abLYTRjL5NHB+aItzhZcw5ZTWYDOojb1cuinVjy/3IZsTWOtYRXxfuYzwiQVhfJuDNuZQqUdyHs4IIcSZI6iKyyGwmKoYwxKr8j0fKYl595Q/fb3jyby6+BmBzRnHTTcoW7ye2vI+t78ZDk9eBpU2Iay/d9p+vnU7di2maI3ilnmdGuwR29lLPMFUZRxHrRW5jDy7S0VwlFlJbpp3QvB/eH7MN44eedk9Xf/CeHKk+gdIf1nuGEECc/3nRGPqVhzOUYFLyDtTvV320wBHYKV+TQx2Dqw4N/VHcf+AbHEQyQ=