IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wb3N0Z3JlcwojIFZlcnNpb246IDIuMi4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2XwZKbMAxA73yFZ3avkO411z10O9NOs7O9exysBCYGeWzRTf6+JiaQlKSJyXbhBFiW9CzJlhG5WSl8T7TB37kEYxONltYGLNO7eYGyUsC+MC50PhN+7qydOzvMneWlhG2SUaEevE78yOJIXDSeZIibMBd7jYGOhi3Ke7xzjd3nc2Usml87DTWFFCTY0x0MYc4XzcuLG67dp0pYO5L/ZFmpDZdVoffpAMpQjoqiUMjxUVIsS16KArggMjVP/cyXFcGoSNRU7ARo9I7DVoOh8bMlYSUqRbzN2iRCtAZPNH58apJcFJxwAxPAqWXTSZOttEZDlouKMMWiyOnTuNDtH0FownphqxXeBlvVYV248zy8E/cR2nz8bEQhTfHfSPezJLCFtC6DkG3z36EICq0EgTuCg6v18+BWOShpp87HDTjzBsz0SKvcdRCF5uPBAm74zJKcS0xZ/BT8Y8CuHcrRkLM1nOhMGNjN/SK66Y8rBOomiiiwD4QAnGsh7JZijYaW3jC6wLz191TkO7o9dt8MeWsLkW7EGpjQIs0gbozHrfH4yFJZQko5lh3Xqdm+vPHhv95ev7PndlK0hrKLjBJLULWVw6jX/Fa/Rhm+E846+/MT963qRYCHvYG4k7eLuoDWy9hx+K8Gyt0DzixM7+KDwBv64W8dfon9lPPDEN/T83Xl3Bwz3ajinb04VEL2dW9k5U7Uv8/a6IjvCvhi564B5Sm/BWHS7FTRj3mdNy9fuFKL/gA4Rdeo