eNq1WN9v2jAQfueviCJtbyQh/EjYAlXHYEVqNUZBm/aCTHIUsxCntkNp//o5hKowJZCZ+gEp2Oe7i7/P353jXW3XobYByjCJOnrNsHQNIp8EOHro6NPJoOrqV92Kt0IbdGAm7Azb1jU/RIx19HTWmAOKmPHr7vYriPVA9W5F88h8BT4/sks4Do0bxJZ3KE5tNG9DcKCtgS9J0NHjhO9GNY9xKrLoPhH6h8XIB8/cjxzOrmaNw3HPTJ2V8JowoLcoesh1uqBSPv2EUoh4D3F4IPQ537U/s12n0bbrUiEwGwMjCfVhhPhyRMkGBxDkR0IhA6kgi6fgHugmBJ4GyXVurvw1k3KOVmg7hsdhftLXYrbHt7xqVWuO7bbdtmXVLcuRCkUPtiqfPOIlzAyRZs2pmQtqijVJyBGvBlCl4C+Bip8kVCNCOQoVgYRZ75huiuJQeDxLhgCzOETPxorFsluFKBLTQIUoqHuR9A0mVMhUKPbsH/9REobmf2Y93YuIooxTjeqRJOIFWjIYy25Ej0QctsWIyskf3+65iIG9n9sXEuVL/yiZh9iXVTihQQkwPh0PiwVOoTZ8QQymVJ04/MRRQJ7Y+4vOIciKso93unmqfLqtuvSJ+i34VFB9+gklMZhCjDC7RGOG0YJcqi6CovmuXgmqipu7zoj4KISC3qgqqTuClK+tnDLaqztS2USu02/9iSxbfiRAn+93f3Nd46DzhrOcKquQekHOc5kPrnv9yWxy07/rd/xZrdastWz3I1rHn49nWo1Ws1E0/sEeZGud9mmb9Mk5Z9FunrFwrMYFglWi7687blvuUNJ8PVxyHrNPprlErMqQQNoQWlC2dF0VY3QKp7JYlcOrHGZqcBPl7O10qLtMKem2su4zK2aKUp9nPUp54smq4Lle7NL7xX79/h6TG4PTBC7AISuYysrasP/+lfLtcqEs7dGRLqoLs7sIII5JpKojTeYnVF26NgtgowEV6vB9scAFH7gKiemZ2ce1bsUz0w9r3cpf6LRrbg==
4RrmueUDHSNARKVz