IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wcmVzdG8KIyBWZXJzaW9uOiAyLjIuMQojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFVsFu2zAMvfsrBGxXO+s1tyJLugItGjTZsJuhyrQtVBYNS26Sv58U2a6DdouUdsnJFkXyPVIiKcqbXOAmqRt84Rk0yvyB0kjq3bTCrBVAvpGU1nxCneZk0Jw4zQmXGWyTUlfii7OIv5I4on9xnJSIzyrA/V7/JJDwUBzWB+LqF9/ni+ufd+t08fB4f71Ol4/zxe1vSySjmpKrE2n44y/3n/mWQa05SosMw+Jc8D+MyCIzQZU6K2rCUMpU0gpSqnVjSdgvf2o1XICI3tVwQQ4Z5LQVOh2SckEuBTge+6IEXWJ2fnyuUFBbCamAFxCXomLllz4OLhU0Om1wo86ahgIkNFRD6tYpExykORmZ79t13kr2/1qVbqhUuREETIbBJnQsDIZJwVRqQg0eSq/QBx4+iUhyM1ut0V2Jh9oeCjb+TduD22eRSmALzBaI/z09JzsNVS3sjc45iEyF1bQnUe+HElE6m2bISHwV+Loi/67fKLQcQ5m8CZx4NZTI44nqT8UDPfrAgfoTOX4vSOjljYL63ClUg8hFDKuKazUG6kTOxZKyZ1oAoTVlJcSdx3jwGHdhmYnyyljQJzPXjate6nzd2t+oxI3hi13hTk12NHZN+cC211BDbIen4Opy7y3udeOxtzukGZmtfpG8wYqYpkGM0LUNsqZPAqI3OR7n7kjAZnRrKgSXxWjPIsUK24aBOvR7RLlPUK/mOHebkZkv7yS33sX9hjO/dwPNpflY+sb0vFJNbhAL434msM3IyqjbezFKaWdK+p4cjQgeYb7cmYEiDwNQQBtWHho6mbNZuf2lYRH9AUY0x+A=