IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1kb2NrZXIKIyBWZXJzaW9uOiAyLjUuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNWMFyozAMvfsrPNNeIdtrrruH3cNOM9O9MwqI4ImxGWya5O8XYyCkSRobktITjGTpPUtYlgBWplzuwqKU7yzBUoWJjLdY0uKwzGVScaQ/aAQFW4BduehXLuzKBRMJ7sNM5/zJWgTPNCBwxXGYYCxL0LJUHhhHo/Fw/jsboE7dayf5Z+AT0EBfpoB7otpHpEFtDX5aiVgzKR7IIZNy65PgZr1veBsj/7RarHEZHUKGv5rH71pk0GMOSt0M6TXwMahhLIWIBOQYgdZNCMyTrSuNMxDRhwJn5JBgChXXUR+UGbls0PJovkrUmUy+Hr9iUcqQJ9EaM3hnsirnYmPkX5URWaD37dLb+FaD3tC/CB0xxxWij9BtvF9bsXtB+ozIFAYh7jE2aXb/6B5GJZVlDuZE5jmI5DswMgc0ay+OublIEW0Z59+Bisa84KAxwr32KxaPp9QUUzUXK1VDig1LD14N3N3wI7WDMp9Q36yDqVXOemlT9Gbepxe8c2Z3onSHCvg4btMP/WVuowYKqnSyrAU0mDKRUPeJiPiNm6P4+REjvr2QO6crfRR16uOI89zmS8iZCXH4/+AO7gBLxhRVdwafFGXqfLTJ+MM6nunZkaeepYh4NeJjiHpxI6YjZFoNgVqRdbGCeAsbpFBAnGHQegx6j0GbDDPrYXMld5ROXX7UWu+2LtOfvZpsUBx3zmGN3Nh3Umv1x7ySTO60XBw9LwewveEV4KfGODhq221cIHSWh2F8bwSFCaWB87ptGejSUuaBqofRGNWp3xuLu813y6hR0lZJ6mbiQuCKQ9AprPlf27zYEA60N8xWh/qGFKfWCqGMs1NDK7M2b1a/qj8f8h840g4O