IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10cmlubwojIFZlcnNpb246IDMuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2XT1PiMBTA7/kUmdm9tujVGyIosyqMVGdvmdg+oGOadJJU5dtv0tBa1KEpssAFmuT9+eXlJXmhqZwz8RbmUrymCUgVaplygfPVRSaSggE+w4TmaY86wV4t2CsFeylP4D1c6oz9cgrBbxwg+r3ZcCnEi/I3Xorv4qLrLJyjnWe0/r4ajvqPtxEZTR7u+hGZPgxH478WIqGa4vOdEHx9R/Z3+B5DrlPBrVOoGwfwfGM6rNOYUaUO5TCMBeeE0wwI1Vpa//Y/fS40HJZBr3I4jvsE5rRgmtShOA7GAhxCueVAL0VyUNepEozaXCcMXoEdgcL2HjH+KVcgNZHiTR1s8gvgIKkGUjZJzFLgZin4vDx45wWP/9PpoyXlam7a/gd8rdLxeK/1wkWsiBak48Xy4bepvxeI8Howi0SZApPcLoSQ3idwO9ZeeEJ4h9huA++UPBSYhixnNnfnKbBEddq0fowalFahWinjqr28KqV7TtqzxtrmwASemgkC2Z61W71+Z2JfKOHl4+DPMPpcG/2IZzeQq/41GV+dAMjw/uk0QKb96IZEEzIa3w5PACd6GN9PSNS/PAka24jVa91BNH1mcAJgVoPIgu8dxfeBhpVOLhIR4+C826MOb601ULfioSPF5xljj7oHtb+HvSnaPaOdryJviNb7DHe7b1GXSmwHyi5g6Ceb4AvbTzYT7rynkWdl0A3TkwjFIstSrZrG111OeUrjF7oATHMaLyFYr0RQmwkqM5xD+RD4ZKrudub6pRlcVml4UI8i88j4mCSjz+ZxZ9SrXqc7tp9oKd606Il1hXdhIqlFLs0UxaZuJaHqlNrIe3fylcaCSjRoGrsVNMGD2ROeS5FhU1ti0+m4I3sZoC+L0kzY7dEyzzhNGUv5ojFk/QRKFDIGtWm2RbiKTiXmiNeDyNRv30Q2XwXVgFO/cxWji3FL7Jp0PmHG10IsjPEBE0WCZ0baZtRHONeKuCrbUYOuBXu6Ms8NvkmvgMp4uano+pzOzI1PDQT6B8mI9+M=