IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1yZWRpcwojIFZlcnNpb246IDMuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42sVX0Y7bIBB85yuQ2lc7vdf7glZV1aj5AIuYTYyCDQLcO//9mUDcpPHFgJ1EihIbdndmnQHGhKkdF2+5VOIvo6B0roAyjWX3WgvacsDfcEEkWxEXuBoCV8fAFWsovOeVqfkXl5B9xRki42XzSohDRPFjeApEbBcOKLkjf/3Hfn/vByxwyYnW+CUJNxowL0XTFA2poSDGKItvf9m2NfBYDqaT8Bx4CjvSclMMj+I5NPbgKBzFB6YS9GHQdvQhnQsJihihIlbYkBK5voY8d1/IdsuZrlKALwosQ8M9/LW7+e1jgld/ALWlOOXwDqUVQ7AqH0nOQC05MVDsGHCqo+Q7k6eGRkcJ2SdE6sdn+YdxgC4ecEidC+3+g5/QbY4zwXK9SWQOg1yKQ4Qy78djjg7vx6pl/YHChXoGnX41FbrdpqrVp89SrK8x7Byb/jNHuCOcFiAzS8N3orScnO9EcAFlf8Is9LUCa0NfqShx9hL3KoJvWjMU57giWfzv1XCATUTTb3HBLKaRUYwXDMYd85B40oCgdPuQwOwzE4IjjRIKNyHBLK+tC55YwSjljInmM3ZG4eDjEqXuFok8r3ccHLUPolLUNTP6HN4PuWprUh7IHjCRpKwg88WzoXjmltgemn9tcLIFbiudRl2pH/YSXXV7Tv02CGu0IZyzZn82tVOizrRoVQn6suxE8InUKQzbSewnUe8MRhqSXXaacOm/nA9xrZ3NTqStu/5cbi6zNRBVVpeJbszlbNz8uv830AcLNzxf