IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtc3Fvb3AKIyBWZXJzaW9uOiAyLjAuMQojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl9FuqzAMQN/5ikh3r8Dd675ge5hWaR8QucQtUROcJuFu/P2gYazrpg2CeuEFkBPbx46xAaTdKXrJjKV/UqB1GRgoSszckcgw09xpErVC9pdxMDKHsD8f9udhf37an8tK4GtWeq3+BL30hqUJ/OgkK4kObrKrk9YMh5ERBrdzo+2fn7vrfSvoMAoFzrHbORSx7rNCC67BHbhpGV7IilNe0JckliKiquIVaOTgve1wurvc1h6XJPKNwTXACNxBrTwf0rQGKHw1ZD33sFW4eAHtMWRncZBOupojkvp0RMcabbN4ZnqYddSLIYP/s1hadxY82emTb9CMG0CDeuQE/HA/YwpeQIRzeOqFU6fhD0RzUdqehkX3uk4tjGsyUcUPUqlVMXnURoFHvpOohIvpddfEq2U7DBTZK3BN/Fhlzos7QQVLb6O+c9mY7pZE9a44tMuksPHtNxn9TzEVbTROEtFxp8J817DZ2HJOoks0HnPqkV68e0lBWkvvzgF6UTC3geIAe2TBSNpbTwfrab8QrO2x+ohHwRZVZ/BdGiw+dI/Jl7DPQxjlq51g3/gyTfq+EIw9hoEZvJ6t/qK2adpuXX3Wdgi2KD8rBlnQeQ7rmzZfyRti5ubn