IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtbXNzcWwKIyBWZXJzaW9uOiBkZXZlbAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl89ygjAQxu88RWbaK1CvPkF7cOqMD8CsYZGMgcQktPL2JQbxT50qwSonmM18u79NQr4ATGVcfEdSiS+WotJRwagSWmQmKrTecCLraSHSiiN5IwlIFoOTxJ0k7iTxThKzMsVtlJuCvzhp+ErCAK6VinIh1tqn4E44rKx/t674HTpv32d6seHvTcDCUA5ak8lAlgEQERVlmZRQYALGKMtkn2xZGXw+l6kljgcpxQwqbpJuysaDtkKTQGUEFUXBzG6bo8lF+nQoO1cjwbHRkS2bHuOy6UpKoYw+I3v0jAmJCoxQXo7Rib2P7C6Dv3McIIa5xxmKW6rPNujhIn9w3QEowi1Su008dvM/k9kDKW+dd2RoBgvJwWCCW9+v7VGEGUOe6nFCVqxxHC7U/9D1v64SbdJpKigJJ76XXXLjOR74HsrejOdzRHo5TtDnb8ODsQ9X4GcrHlSXjIn02PXBkJ08iNdjtc++1cBdJvQxRhtyGedA17BCAhJojmFbIOwKhF2B0CVcYXlojMMSuc25j7qkH/Y1+NX/cSO3lmtc+0I5WYf7AZdv5u4JrvDR6BXZvG4cqTxVawRF81OhiznNwo3Pm1kLfgCgpA/Z