IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1jbG91ZGFudAojIFZlcnNpb246IDIuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2VzW6EIBSF9z4FSbtF2+1su2kXTUz6AOYKVyWDQASn9e2rgzpO2mb8SeOsxHs553zgDyCqTOrP0FT6JDhWNmRS1xyUI6Y5lJrXEskTScCICPzcaJwbDXMjoTh+hYUr5YPX0EdCA/jTPCy0PtpFEWfFyqB1i/KJG9d4uX3pB69tueNgEqwlzxsw1ueHTCuVKCgxAeeqDqe7irR2uCuSawzeBQ3HDGrpknGj7oIqR090fo/RFZrvSVKLJBMoeZJiASeh62p/rq73D89rjZpYxw9cM0I3pJPZ+xAs+IMuR1tAFMw6LZYgzAoPmC5L4ezUuC95aQzsCDkSMMAKpL0THZ3o6JSjujBKSFF2ZkPVu711w+DHUqaoN3Pac+SXHNPQoeGN3v2J5RMn3RuyuGk/RHWttggVK66FvuY1H74ft/sUfAN8EAvM