eNq1WG1v2jAQ/s6vQJG2LxWEtxbYAlXLYEVqNUZhm/YFmeRozIyd+oXS/fo5hKp0StrU4A9IwXe+u/geP3cX73yzIsU1cIEZ7TjVcsUpAvVZgOldx5lOBqWWc94teEu0RntqWq9cqzlFnyAhOk4sLc8BUVH+dXP9BfR+4E63UPTYfAm+fKGnJCblKyTCGxTFOkVvzXBQXIEMWdBxIiW3q0VPSK6j6D4w/kdEyAfP3a3sS5ezxv6658bGclhVAvg1onepRhfcyKavOAcqe0jCHeOP6ab9Wa3VbLRrdSMXWIxBMMV9GCEZjjhb4wCCdE+ICDBysngIboGvCcjYSapxd+mvhJFxtESbMdwP04O+0NKe3MhSpVRt1lrtVrtSqesnI1d876jSwaNfwk0yclptVt0Fd/UeRSSSpQBKHPwQuP4ZpmrEuETEUpKw6L2EmyU/HO7fBEOARUTQY3kpItOjQhxpMXBNCvZeJH6DCdc0RfSZ/WefKkLcd0Y93ZGIpYhjjuoxRWUGlwzGpgfRY1TCJjujZvQnNzssYhDHM/uX0XTqH6k5wb4pw2kOUiDkdDzMJjiL3HCJBEy5PXL4iWnAHsTxSWc/yZaij7a8+Vr5bJ3VjW/Ub42njOrTV5xF4GoywuIQjhnSBTuUXTRE0009AdQWNredEfMRgYzeqGTIOxqUT62cNdjbu1KJINXo1/7EFC3fFfDH2+3fVNM46Dzn2YyVbVC9BudbkQ8uev3J7HZ6ObvoTYY/+h1EEMUUPqJV9DlFSFik9EZG0hX8kDCuOJwEcCL0eKJWGXqYIo1dH2SWXHLNX7GZiEk9lWRaikImolDr7oknV/0bbWN21jg7bXyoDeKnZqWx1cCBLkidKOLBrNZuNRqG+UrIL8cMUW+22mYXnKdzayhlJD65bohESSCNmrLmlbxl8PzVfOfK+Xvynif378t/Dgzkw8ERsaDL7fPttTfsWekGk+44KbaWQp8nPVR+MJuy9Fu94qHzz27/bs5K9SG5ggPykBR0a2V32D9+JX8efqyFPXrBtfbcbAcVJDGjtjpmNX+lUhj3DjqxdMA1O3xbLHDGB7hMYHpu8vGvW/Dc+MNft/APiD+02w==
4RrmueUDHSNARKVz