eNq1WF1v2jAUfedXoEjbWxISPhK2QNUxWJFajVHQpr0gk1yKWYhTf1DaXz8HqApTAszUD0jBvr73xuf43OsEV+tlXF4BZZgkLcOxKkYZkpBEOHloGeNRz/SNq3YpWKAV2jOTdpbrGuUwRoy1jGzWmgJKmPXr7vYryPVAjXapHJDpAkJ+YCc4jq0bxOZ3KM1sysGK4Ki8BD4nUctIBd+MlgPGqcyi/UToH5aiEAJ7N7I/u5jU9scDO3N2hlfBgN6i5CHX6Ywq+QwFpZDwDuLwQOhzvutw4vperelWlUJgNgRGBA1hgPh8QMkKRxDlR0IxA6Ugs6foHugqBp4FyXVuL8IlU3KOFmg9hMd+ftLXcrbD19ysmI7n+k2/Wam4XrWiFIrubVU+eeRL2FtE6o7n2DNqyzUi5oibEZgUwjlQ+VOEakAoR7EmkDDrHNJNUxwKjyfJEGGWxujZWrBUdasQRXIaqBQFfS+SvcGISpmK5Z794z8RcWz/Z9bjnYhoyjjTqA4RCS/Qkt5QdSM6JOGwLkZUTf74esdFDOz93L6QJF/6B2Ia41BV4aQGCWB8POwXC5xGbfiCGIypPnH4iZOIPLH3F519kDVln25081j59BtV5RP1W/KpoPp0BSUp2FKMMLtEY/rJjFyqLpKi+a5eCaqLm5vOiIQohoLeyFTUHUnK11ZOG+31HantRK7Tb92RKlt+CKDP95u/ua5x1HrDWU2VdUi9JOepzHvXne5oMrrp3nVb4cRx6k7D9T+iZfr5cKZRa9RrReMf3J5c6zp+pdE4apM9eacsmvUTFl6ldoFgndH3Vz2/qXYoab4ezjlP2SfbniNmMiSRtqQWnFu6rooxOobTuVidh9d5mOnBTZazt9Oh7zKlpdvadp/bYqYp9em2RzmfeKoqeKoXu/R+sVu/u8fkxuBUwAU4bAumtrLW775/pXy7XGhLe3Cgi/rCbC4CiGOS6OpIxfSIqivXZgls0qNSHb7PZrjgA1chMQN7+3GtXQrs7MNau/QX2JhraA==
4RrmueUDHSNARKVz