IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zc2gKIyBWZXJzaW9uOiAyLjEuMQojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNlsFy2yAQhu88BTPpVVJz9TWX9NCpZ/IADEZriwkCDawS++0Dwpat1LUgU6s9WQb2/3ZX8Asu7VaZ97Kz5k3WYF3pXEO7w6o1da+AfqeMd7LicVk1Lqv8skrqGvZlg616iMuLb7Qg/Jpk2Rjz6lKFh8X58jm5R8SXqhieXl6en/2fgBOKO0cfs2kZmJIx0AiWsaE+wMbU9yfuJS4IFEZrpnkLjCPagA2/ctMjLEHGQweLQi1wBIa91qAWa3INW94rZGOzlyx5BxG8WLUBuHCDA7KXbCtB1WwDDX+TpreL4cPInd+r6cByNDbZzceALKsdo3Jc/YzKdfYJLrTz13Eg0eH/SP4CsoQ9iPDaEnfNX2UjtJ0KzgR7zNhE98lhOEbuP0mDWfB6Fuy/SyjLy26i025f1GG9qo2gxWPOfY3esCuS7kRZ9GmNdMYwydy1NpE9RyTpvphIvOamdGYjkbxdkp1JUu8n25oI07YS3SXqOBQ11ly88h1Q3nHRQHGULEbJIor48yBQGj3kMBWbTEVRf5bo0zhBdqDP9Sq+8UfLR55GY8iP8Ega846mOmuuTrQx6hrvYQgrzlMh6c9J/Nbxy0beKt5/0q5k3x2K00TU+Bk/m7GOi9mZsPXBG4yeRjvgVnyqO44d2xvn1/69kQ9FlFWV