IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1yZWRpcwojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFV+Fu6iAY/c9TkNz9bb3+3RNsWZZrrg/QYPm0RFoI0G19+7XCOp2dBVo1MdoC33cOeOA7EKa2XLynUok3RkHpVAFlGsvmsRS05oD/4oxItiB24KIfuDgMXLCKwkdamJL/sQHJA04QGU6bFkLsA5IfhsdAhM7CAkXPyD3/776f2oYOOOdEa7yMwg0GTHNRVVlFSsiIMarD737ZpjZwWw6mkXAfeApbUnOT9UtxHxo7sBQO4gNTCHoz6K71JjMXEhQxQgXssD4kcH/1cfY9k/WGM13EAJ8kmIeGXfyVffnnxnjvfg9qc3FK4QPyTgzeqrwlOQOl5MRAtmXAqQ6S70SeGiodJGQXEKgfF+UWYw9NOGAfOhXa/gcv0KwPPd5yvUhkCoNUin2AMq/HY4oOr8eqZm1B4ULdg067mzJdb2LV6sInKdbl6E+OdfuZItwBTjOQmaThK1GaT85XIjiDsn9h5nutwNrQRypynCzDriL4ojVDYY4rkMVPr4Y9bCIav8V5sxhHRiFe0Bt3yEPiUQOC4u1DBLPfTAgONErI34R4szy3LnhkB6OYGhPMZ6hGYe9yiWJPi0ie5ycODjoHUS7Kkhl9DO+abLYVyfdkB5hIkheQuORJnzyxW2wH1fc0ONkA7zJ9tdpUz90jOpvtMfXLIG21HgCRTfLVYbO8Wm9g4Y56R8JWTVsrq9NoDUTlxWmgbbMxa9u/alcIfQJNohMo