IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wbGV4dXMKIyBWZXJzaW9uOiAyLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFlc1ugzAMgO95ikjbFVivfYJt0jSkPUBlggesAUdJ2Nq3HzSUtWq7JqB1J8B/n+PYBir9LukrVpo+qxy1iZXETWu42i5ryluJ/IGvQFUJOMtktEycZVI1OW7i0tbyznlE9zxicCFwXBKtQ8Lv7CdBwo/iWDPOtf9Id4/HTtTThQRj+GIifAo1trTGpmeDtbrKWot/wyeFGizpkCqPPqElHh3jD8omATu/WdChxM+UvQ5i//u9mMUcfCyoMVa3wq46/UqBhtrdBdqS8n9KCjco+pa7bR6SigJ3F5KDhXlI753Ejc2XOQkeLQIXGf99qFnotIZmcjLp3GvLMI+/gX8qHnQWtE380efWEL/eaiy4q6akdNyS3G8CmKC6rqw5BA4iFyYFsYYCOSgQJUZD1GiMGg0VL7D5yVxChrIPtZe6WE/9Kzs54GHSVyjd9j1DUdtor3BhXtySd7wD7RW3dNstnubY2yBoUR47OpnzeXP6tKsR+wYT2W5a