IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wcmVzdG8KIyBWZXJzaW9uOiAyLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFlkFuwyAQRfc+BVK7td1ss6/ULipZ6gGsCYxjFAwIcBLfvhASN1Haxk6rssIMzP9vRsYGuGmE2hXaqC1naKx/QusU0cOyU6wXSJ5IDZqXEHeW484y7iy5ZLgvWteJh5iRP5I8g2+Ei1apjZ0hf9h/l8n8UqLXL+o6TarD8LynqB1XMiDgOFncSTHX/sWHgjMVYO2/uhZUSVlL6LAG50yACCNf9Q4TgLhBY0IGhg30wtVjUxKyrDFyHA4Fulax//dvuLEuJQC3SkA4irXALYqUKBokA1uzJiWEQaoMs6kQQjz1ueDSovGdULtkbTD9X53KyT9UYh1bMkVJvpj5FyY/l5fNhZ9LclU4mdTvbMJVZjrKBPeMqq7jzp6LHkMxsQK6gTUS0EBbzI86+aiTH3XWKD/pBKz8Z8tLnaJR6zU8ZldFnGPecPEXnS9c9JCfFqLMW7xORb+z1Rtp1eBfbXmZbREMbS8TYyzmvMf1yvco+wDhgQWl