IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1pbmZsdXhkYgojIFZlcnNpb246IDEuMS4xCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s1XzbKbIBTe8xTM3G41vdss2y7aRaeZ6QM4BI6RuQgWsIl9+moQojX3Jpi51VUI5+f7PD9wIFznQh3TSqvfnIE2KZe5qE9sj6tmWypWC8AfcUYqviFOdxN0N163XTA4pYUtxZOzST7gBJFXnaeFUi8mCuJsMRNo3kd5xIe+8fL323nx5dPXdrvjQQUxBj8/QGM+fkqVlJkkJWTEWt3R6X75vrawKCXbVLAONhqIhWxf0xew57IBWyi2MB2lD0TyP8RyJZcnxSAntbBZKKZVZI6BgBVlrqezrszlrZs+QhlvV01I37K8Di0fKjhIuxIubWWvg0mt+fJEOtl6Gv1XDbpZPihnGplVGcuXJ3PU3P6nPlYVaGKVjhvjglX8PBVM541zQ+S5I92UQgj/j14UM9q9TelxLimcgNaRBfHupCyUleimmZyDYCb2LLnNL+IpgY1lW6YoTp6jXyD4Vo+iOb03h9EkDPju4wPd9bSLIXUXCxR5TsQQuHbE4HtqFs0tvbnsovI2bS1EVVlya4bw/ZbztiP0hRwAk4rQApLeeRKcJwNPUgLthtMLr7Hbqdxh+PbGn4MKOoC8xEWQPYjOh9/1du0SFepo1ebifTsCD6avwj+dHSQXefikq8QcnI9kAPMbY9CrV5XD86Jk4uHf0w5NCmSY7Zt54dJYIgSXh4E016pMjKo1BTP2fEPZR96r4U6IeyFqr8ArWauaxAuc+Xd34br8vdGmV9twEp6B+xu4u6a9wOQY3gDRtBgbuj1n89PJd20ToL9USCM3