eNq1WN9v2jAQfuevQJG6lwrCr5awBSrKoEVqN0Zhm/aCTHIUs2CntkOhf/1MQlWYkiaY+gEp+C7fXXxfPt/FvlovvfwKGMeUNI1ysWTkgTjUxeSxaYxHvYJlXLVy9gKt0J6b9CtWKkbe8RDnTWNrLU4BEV78fX/3FeT9wIxWLm/T6QIcceAXCOwVbxGf3yN/65O3VxS7+SWIOXWbhh+IcDVvc8FkFq1nyv5yHzlgm7uVfetiUttft80tWAbUgAO7Q+QxFnTGlDCdgDEgooMEPFK2iYd2JhWrXmtUqkohMB8CpwFzYIDEfMDoCrvgxkdCHgelILNn9wHYygOxDRILbi6cJVcCRwu0HsJTPz7ptrR2xFoUSoVyvWI1rEapVLWqJaVQbG+r4skjH8KMKnJRrpfNGTPlPYEnkCi4UGDgzIHJn2KpBpQJ5GkqEuadQ7ppisPgKZUMLua+hzbFBfdVtwoxJM3ApCjoe5DtE4yYlClP7tl/+CTwPPPIrMc7EdGU8VajOjQgIkFLekPVjehQImCdXFE1+RPrHRcx8I+DfaEkXvoHwdTDjqrCSQ0KgIvxsJ8scBq14RpxGDN94vALE5c+848Xnf0ia8reD3XzvePTuqwqv1F/JJ8STp9uwKgPphQjzE/RmD6Z0VPVRVI0HuqVoLq4GXZG1EEeJPRGBUXdkaR8beW00V7fKxUZYkFvuiNVtvwIgG0ewr+x0NhtvtVZTZV1SL0kZ1rmvXanO5rctb/dTMLLZk8evGed6lm7jjD/hJb+l8jlYXw9aXdG/Z/d5hTIC5Xqcu7COZczSLBM8MNUYALxRmfuURawVBBngwh16BR5aJkINt+4jK5T3XyGl9ilB+bRbfdeRplc1i4vameVXnhVL6d7hFfl8kXZKlVTva0TFDbDoFKtWw01FWHxAj4XwuefTXOOeIEjSc2iFK+sZ+1VBlIdQ6xUch1DsMwkO4JoGciWjXDHk04P8WQD8aZH+sZXLf1t1O9H7YOm1KdRV5j9zVE9d9K631Mnut39u8kxNoZgAZxQh6hF0dZI9Lsf35u8jXPa0h4cCLu+MOHohQSmRNcMEEzfOZaUuyFZWNJjUh2+z2Y44ZNiIjFtM/qc2crZ5vZTZiv3D1AE8BI=
4RrmueUDHSNARKVz