IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtd2lucm0KIyBWZXJzaW9uOiAyLjAuMwojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlstuwjAQRff+Ckvt1knZ8gXtAoHaRZeRcSbEwo/INgX+vkmcFxQV4kDVXTT2nXsmnoxDucmE3keF0V88BWMjyZnRVmcu2nNlJC6Oc6nTnQD8ghNa8Jh6SdxJ4k4S15KYqxQOUe6kePJS8owJotesolzrrQ0xrIXTbMOr9eZ3qLx5/uTqffFaBioYJqi1eDaRZQJEtAGXMK1U/WrA5Tr9IxxdgKFOm6CO6MTBR9JlCO+MHmJad5yh+MNZNsGALvmF6w5AERyA7RyENMyDyRzIQlAHScZBpHVjUecMX1e4/xQyMVDmN2AehDt+xGLr0nmqGSaz0AGNb5xGKHTQBDOevyM8am6iMTdkAOMYLhQ2KgOoLg1bPOIzQFM6eRJvwGmffbyIaSm5s0OMJuQzrijb0g1gWlCWA2kMSGdAOgPiE25A9YUJugZR5WyjPulb9Yh+1D8s5FY7rqyjQnC1GWzKjJbE6p1hYE8Nrmxu8dptuFrEzSIqb70LpRVH0i54+cLfs77I/jdgwNEfghe0NeF6lOJl11mD3FdMV8fyqlKn3haoYfmp0Me85sOvr8rzRd9kLEki