IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zYW1iYQojIFZlcnNpb246IDIuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42sVVzW6DMAy+8xSRtmtgvfYJtsOkSn0AZBLzoyYkImEbbz+CKaNb1UI1tRcS2f5+bEUGqiZX5jO2jfmoJDYudqAzYLbbaiNbheyFpWCrBKgwmQqToTCpaolfcem1eiIAf2Y8gvO0cWnMwS0nH8pvkVjbBQnd3NF434fvax8IwkKBc2xzk+5qwViYuk5r0JiC903QD2eVtR7v68F3Fh8jLzGHVvl0GsVjbBRIFobHh7408m7SIfrAzm3ryjRvjE6VEaD+ZQBL1wNzXm6lEYxv1q0UdrHHaJ3vlS5+d8wWzDu6vo0Xu7iuHAmjdeXdnHIMEW4H4gAFMrAgSuQjDZ9oONEUWP9YU5ChCkzHKFG9hWv0p4O5ycsi/bY+I2I7fkwQyzv9EUhulr0C23X9U65P0Q6hEeUpkGKE2VN+108o+gY227zQ