IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1teXNxbAojIFZlcnNpb246IDIuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2aTXObMBCG7/oVmkmv4GZyy7WXdqadupNMr4wCa1tjgYgkkri/voD4MNQfSMKol8QIdt9HQrsSC4SKDePvYS74G01AyDA9yFeG88NjypOCAf6MI5LTFdEXrroLV/WFK5ol8BHuVMrutEHwCQeInHYb7jjfy+nO68ttJEx7oYWse9T8/nF4+vX9C88yiBXl2fMhh7qzCVEE31sRGEi/sq9lQ6UXMyLlUoJhtAUVxWWvqz8buo3qC6KYUchUfQtA7XjinUffFy6i/FDyZD7IJAhKGP0DUQyMeSB4Kdg+Soo096XNOEl8akdxIRVPPSDUMzIjKUREKVEBVP/pS6FgWQZVpiU/8glsSMGa4KyGwg9GlR9IoXjM05T6yFBtgvIkTUkaKb4HX/qFoB6Uq1aPk076nnSyyHMulBxR3HIkeA6ClCuuwY6vMzHchnV2pju/XtBm9zeS1cP9s2mcvBW7wGAtHsIHxNVtnTzTbkKhIM0ZURDBh9l0uy3NhgJLpH+ggpYLAeNiCRIlSCY3YBKNnYlhWHR25Rko91vlchMZxmUvPXIxF0q4ro+fuV3MTuKbEcw8nhcntI51f6QWecA3bCSg1BFNHP+/2FapbUZK+eCUdY7MrTPOkY/w6cE905xhmgHGJbvckGqGjLIEnVMWuSGgYwg6kZVqmdu6P/RgHYRDN+FzdegeiufhZqNyickl8GYIzkUxnaLUA6nzQr8Es2OKcUV8A6FoTJzyzNiHdaYZOwp/6wb3bHMJcVY2l5yzHOQMmccDrFP+8cbrnIWWI3fMRddAp76pxlIljwmPcXBv9nYbXyzoIrPqrCHFuMd4QnEZXf8wYDLFdWVkUjeerHuq3oyv1vKQeX3OgmjyPRnVGJFJTW8y16laIL4avMjlcd+C7XzZABsXNpDtc5IF9+lnLWz0BIgcNl0WyGf3bth0a4mcMrQF+oVUj83XI6TfpsljkKZJu1yTeE+2gElO4h0EjULQKQStm/bLoYZ46HB0UruuPznC/TdHaAtZPyqMvACrrNtWbfSt+ol2/F3xVe/3sdfs7E6r3tWmQX9Sd+BfGC3Rpict0B4NhfoUdiTQNgZDw8Gqj/6ZA8f38vKAl7v7E2OVH4L2RDPG+oFCj1r/TvNIckg/Ajzyd0VorT9MGuhJICLeDQ11m7Z50ufX5fxCfwFzlTc0