IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10cmlubwojIFZlcnNpb246IDIuMC4xCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42sVWTW+DIBi++ytItqu6Xntfsh2WNNnu5i28KikCAWzrv58U6+zWVG2WevHj/Xg+EATgJhfqkGij9pyhsYkzXCqim3WlWC2QvJAMNE8hFKZ9YXoqTLlkeExKV4mn0BA/kziC67BJqdTOTgc/ld9DMddFILrbUff85a+vR4racSU9O/Yvq7sEzGJ+awOelAqw9lGECVVSZhIqzMA54/n9nW9rh4/V4BqNy9AzzKEWLuuHYhkZBQYJp2mPrlTsodQ5N9YtxM2tEuDXWSZwj2IhFRokA5uxfCF+g1QZZhdg99EFZz6XFk3rXx2WMG/q/1lyU7dCYh1bM0VJvJq3fZKbvqJ5umeq+O2YTBjjaPzkMVnFOHNEVVVxZ4eQXSj0bYDuoEACGmiJcQcT9zBxgClQ/kgTsG1/Ry3SORqg3v1j9MfBUORtknbGOxCCy2KQyo2qYqtqQ9Fewo4Un0Wdy4hPki4ZtaegK4Z0E58Tof0jnLSCtUF2pG3TtMtGXnZbBEPLy8YQCz2fIb9pv0b0DZp4CHU=