IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1kaW5nZGluZwojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlr1uwyAQx3eeAqldbbdr5g7tUMVSH8AicLFRMCCD2+Ttaxt/RWmTgNumgyUM3P1/HNwB4dVWqI9YV+qdM6hMzLjM2w/rw6pUrBaAH3BGNE+Im5uMc5NhbsIlg31c2FLcOZvoHkeIfOs8LpTaGS+JziJQKGxRTnHhGqffp77x3HS3HFQQY/DjAoxw/Tjb1FywrARjSA5dWMAWit2MJwebgWRacWlvj9PSUCXl7UlME5S/oVAaKmJV5ZeWo5V/foymYek5KYen6CnCGP11P+STqueRlrPEsAdaW798/XUoC6UWxEK25SBYd3yItRXftKT/gK/mTS4Lt5M/CxaSi9hYtmKK4mhBLuOrqwnyuFf90TyI0FVvCB+Eq8RR6C77kJw9Kdjr+CLPghuG6UmHqCpLbs1crO9yTlJCd+07gmhCC4h6n9HoMxqXl4OcuAXZgGidDb3O20vbRCfLm0Nf1Gnq/xc6+hANA87Rq7ttnOJ0A85Upy3qDIbqgtdjcGZOL6ilh6Zmy2NRA6SixbGh63M2b248bcKLPgEmlWHR