eNq1WN9v2jAQfu9fgZC6lwpCgELYAhXNoEVqN0Zhm/aCTHIUM2OntkOhf/3Mj6owJSWY+gEp5M53F9+Xz9/FvVrMSGYOXGBG61k7X8hmgPoswPSxnh302zkne9U4c6dojnbclF++WMxmfIKEqGdX1vwIEBX53/d3X0GtB55tnGVcNpqCL/f8IolJ/haJyT0KVz4Zd85wkJmBnLCgng0jub6bcYXkqorGM+N/RYh8cK3tnV3rdFjeve9aq2ApokYC+B2ij7FBx1wrph9xDlR6SMIj48v40P6w6FTLtWJJKwUWPRAs4j50kZx0OZvjAIL4TIgI0Eoyfg4egM8JyFWS2ODW1J8JreBoihY9eOrEF91UVk8uZK6Qs6tFp+bUCoVSpVTUSsV3tioePOohrE1HLu2qbY25pdZERCKZCyDHwZ8AVz/NVnUZl4gYahIW3j7cDOXh8HQQDAEWIUHL/FSEuluFOFJm4IoUzD3I6gn6XNEUUXv2X3waEWIdWfVgSyKGKl5xlMciKhO4pN3T3QiPUQmL5I7q0Z9cbLGIQXxc2BdG46m/G40I9nUZTnFQBEIOep1kgjPIDddIwICbI4dfmAbsWXw86ew22VD14Zo33zs+nUpJ+436o/CUcPq0Is5CsBQZYXEKx3TomJ3KLgqi8aFeAWoKm2tlxHxEIEEb5TR5R4HyVcoZg725V2pjiA160+rrouVHBHz5sP4bGxoH9bc+67GyCapX4DxUebvptfrDu+a3m+H6st5WB++5VzpvVhEWn9As/LJxeRhcD5tev/OzVUeEsDBSyxmJdxgBfWGKfi4CuBBqSIlmCX6YSUwh3ugvEWU+GyGCZolOk2XA2eKgW8jxDAdsz9y/bd2rLMNKuXJZPi+211dV+7DH+sq2L22nUDro7ZxArSkmlFLVqenRB49n7omUofhsWRMkcgIpTOYVa6U9ZK9SoCkVoo5B1UFkpUbXEQhLgbJ0SDsebWYQpyTDGwOZG1iNKNqNwt8IBkOljzY6MP0ro3vSHNK7p85w2/XbWTE2h+QRnNCHjSgxJh06rY9XI28DnLGyu3uMbi7NethCEjNqSvVHo3fOI239oxpL21yxw/fxGCd8REwEpmttPmA2zlxr9fGycfYP7pnrTA==
4RrmueUDHSNARKVz