IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wcmVzdG8KIyBWZXJzaW9uOiBkZXZlbAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFlsFugzAMhu88RaTtCqzX3idth0mV9gCRm5gSNSRZEtry9iNNy1p1W6GVmhPgxP//2SJgELaSelsYqzeCo3X9HTqvienmjeatRPJCKBhRQtxZDjvLuLMUiuOuqH0jn2JG/kzyDP4QLmqt126C/H7/TSbTS4led9R1fFjsL687hsYLrQICDg+zGymm2r/1oeDMJDj3UNeCOm+Foe5L7ruPvtb8sQRMK0UVNEjBexsowlUsW48JQHxnMCEDxwpa6enQlIQsK4wcqV6M4F8J63xKAOG0hPAxoBI3KFOiGFAcHOVVSgiLTFvuUiGEeOpzIZRD23dCb5O1wbaPPZV0qbUUVRdMq1axu/+OoycJ4jyfc81IPps4fpD/S8umwk8luSicjOp1NmKGG48ywj1jummEd6eih1BMXABbwwoJGGA15gedfNDJDzorVD90Epb917KXOkaj1nu4zS6KOMW84tJPeL+4mC4/LkSZjzhHRr+T1Stpi64/Ueo82yFYVp8nxljM+Yzri75H2TdsA2Pn