IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1uZW80agojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFVsFugzAMvecrIm3X0FXaqdddtsO2SvsAlAa3sEKCQljL348QoMBQSdBaLkDt+L1nJ3ZKI7mPxclLpfiJApCZx0E8f+O02CQiyGPAT9inabSiZuGqXbiqFq4iHsDZC1USP5gA8ogJouOwXijEMbMHr5bPoXDNwhDNzqj+/tDP19KgiVlMswyvZ/E6E3pMcO5zmoBPlZKaX7+jXa7gvhpUkcIy9AHsaR4rvy3FMjIOYCRUhw9UKIK7UucyWoBZWxesucxvW26RgqRKSIfR1YY4zpM2znWEXQjnjLEBrantZ220HmdXNMwm9+AMTB8m6w2+iQrdW2E92v9Fhu3FhzMVbALBMFm7XZb4ag8htx5xVDHMGFv0M5r+n2GtYpoZuXSvNe9Y1+PJA4fcz9EMRdZ7MmgExESSRCrrUtYmg7Ol7EgPgGlKWQikhiUtLGlgOAemIsFrLX3AgdNAVz2IX1onOgC/5B/THcQ6urGaoDf9iUJxUqJNf1OBNr/60YMSmRatwknjIv3w3mhAfzakW+PrNSkn80g6aUEah0F5NzeASWwgt0s8lslAbAd7gnRblFOO97kzoJKF/UBjMzFfxr8tjwP6BVOfiGk=