IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtaGRmcwojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNmMGO2yAQhu9+CqTu1aR73VuldpU9VFo1hx4RNmMbhRgLSDbp0xcbJ/VqkzaM3TiXJMYM/+cJ/APm0hRKv9HG6J0UYCzlDc8roJUoLGkOTxsttgrIZ8J4Ixc8dF+cui9C90XbfSFrAXtauY36FMLSB5Im/G8StNJ6HS3UBeHlUA8XNMc9Z/i5/Pq8WvrLliBX3FryiAdAKdNc1zWr+QYYd860IO23zLYOZoJxhwZm5hBQ8K1y7JScmXlKCCzdTAVXaXF7hrbtDnLxbZ9D46TucgGni1th2JqvIZMOmNJcgGgpBHf8FgBvkOHtqg8e4Vj9CPRL6PsTsun+kzN0sVgDHpSdTotAWeEHYjuupGAWzA4MbvFOjdVZiZJQu7vg8V3yNSu0YQ131V0gjTPbiWFal/FTScFsNGwNJgOjrZ/G+dZId2DeOABjfBPQKF3eTNlCbbWJ9ts+DOW0fSxqW3rURdv8UJwu/cezVr7TqmuO9NRLMCMpaKPX0UthQpYfUMJ+7oQMIObOx9yp6LPgDdKB6cpI65VW/po/KUMoWdbagGCwd/Nz3cWUoQ42jeJ+H11IUMIiDhXTM22lL/xKm/lgosvbeF1fGtmYcnOMH1VyjoN0e5+xvnKOaCzKqFXzX4CmW0CX8BAHWmKdeBI6Jyn+PEyuPYwnce8HUWxxWAluQ4oi+7ilJREb6eTal7iRbNfSJChvi4S5YI7kekNOYvf7SMJYuAS9vJGAZzyCxNlXUkL9h0DxDFTLcGwNQ760P5MPoEPRTiLttdOTdtpp+MJzRqM5pMcbYZDvoc4FtcHdf4S9Hrz31++jLXCTV+8DQ1uIWYX7r7yE5DdFn2sm