IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtaGRmcwojIFZlcnNpb246IDIuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2YzXLbIBCA7zwFM+lVcnv1LdM2kx469TSHHDVYrCzGmNUg3Nh9+oKQVDmxU4PUKJdERvvzsbDLIiZ0IfEprTT+Ehx0nbKK5SWkJS9qWh2XO+R7CfQjzVglFsyLL3rxhRdfOPGFUBwOaWl28sarJR9oQthrLtIScRvsqFGKdxc1Oe9z3Dz94/2Xu4d7+9MR5JLVNf0UDxDlOc1RqUyxHWTMGO1A3H+x3huYCcYcK5iZg0PB9tJkfXBm5tmAZ2l2KpgS+dszuLF3EIuvhxwqI7CJBfQ/3gqjVmwLa2Egk8g4cEfBmWFvAfAE6/hy1SqPqFithfTWyz7Cero1OUMXijXgiSqn0yKkViTfZgXqrGKmjEvciZHGVZGJYVz6ZIWQMBuNxE1M9kZ5rkHVqINTt1WLStpWN6rD6fxGV4yh8/Te/rlDaYUemuHA9LwEM5IirXAbvPkmZPkJGzjMHZABxNzxmDsUbRRsSTKgm8LtqlMtfs8flCGU2CjUwDM4mPm53sWWSQ3sKslsS1YIkLyO6E+nZ9oLe9RK1PPBBB9v4/3aozEbc9x0+qOOnM5I022MrSvniMaijMqa/wI0XQJdwou4G9Ha8CXHnCbxVyt67b2OhH1qimILwyJxDWkU2cuWlgY00uTa74GBbNfSkKjaFghzoTjS6wsyCe33IwlD4Uh0ekcCnqkRNKx8kRx3O2HqIUA75M2tWL5lG6DeSNJaT3rrSfuiNaYU5O6LxTOD/bA3etvoUHeDpZ/7l2QD6m80JFuDdNrdqFf95h5JiU8GF1iBZgb10jkvmguJn9+pgU7MO79pdJNuMHmh+/x2c86Zds1+nK+h6rN7wzlPcU5arUfmltb2upTR5gOBffJzpQapZIpToZplIC+24XBLXVr7ZtFtW3Fm1apj0r3wRr77LsavXz+DocfTafWbhHHEyu+VH50EGZj/h9/V0bYG6tR9DUzn5amiH/M6D/79ym588gcJ4JMa