IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtcGlnCiMgVmVyc2lvbjogMi4wLjMKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnjazZbNctsgEMfvPAUz7VVScs2tk0t76MQzeQDNBq0lxggYQKn99hVCkqVJWgtaxzlZZtn9/5aPXYCbvVC/cm3UK6/Q2Bw0sAZzzWuqTw+tqjqB9I6WoHkBYXYxzy7C7KKfXXBZ4TFvXCu+BK/sK80I/EUgb5Q62EiZwSdZLCGvIPgvGQ5fO14/Cv69/+/1mQBr6X2qfJJuzpSUpYQWS3DOeAz/y186hzdBcSeNN6WocA+dcOW8MDel8YO3pzhwIYYbgq5R1Uerm06WTPAPAVAaDThlYivQ7JdSEGbnhEp0Fk6sRitxv+xP40BcSfojRzpAjkdk/rTHbfw1SJQsE+7ANUi0QQ0GS4etFvApFmdCKfHo4svUVYn2HEVlPwdUx/ueIpT5zzRRryNqXfVQKUaz+4RnFb1cu0l0YU5BWi8D3dZSyMbnahzQRgwS3ULiMN7rP3TbQSVJBzAVL2brVneJMNW23Nml8DgUQu2AHaBGGgJkY+RsjpyNBh+rRnnOQsALCh9uGg3xfvhP8ibZJfwGJS6tAyG4rBf2vVFtZlVnGNp17AuTJ7JpGvVGOhpJ3/LfyUqfsskQ3H+G10XI7/zgWXCcF35w+DakQ/tiRp/mU7MIe0Fvd+rbk1zLWgTDmrVjGAs+z8G+6zeU/AamZWdz