IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1jZWxlcnkKIyBWZXJzaW9uOiAyLjEuMwojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNqtVMtugzAQvPsrLLVXm+aaa089VKLKB0RbewNWDHZsaMvfF2KTgtqIR7nZOzuzs+waUO6kzSe3znwoic5zgRpdQ22zL4ysNdInegSrEgiZyS0zCZmJKiV+8bwq9ENgsEfKCNwR5h5Lb5xfUCAyVhaK1+OlxhpXVB3St7DAn6+Xt+58uOKdKaHBe7r7p6cNzHBrzuEzYZUbuYmlGftDfSX30gjKdrPXjd5rlay1PN/FRNt00RTIgv1fbnGBKyJMUajKD4vEUBBIQZwhQwoWRI4s6rGbHosDyLD8cavhHXUn1UeD1kt3JL+aGtqdqKJKX4HWqswG2MmZgnlTO4F+rDuR3Lvq02gH0giS9rn/0ZFtWA8E+mv4uYTeBugELW3ax1aO2R7BiXxMDLHAOQQ8bedBvgEeqCvG