eNrtWFtv2jAUfu+vQJH6WFIuFXQKVF1WNqRWY7Ro016QSU7AzNiZL5Tu1+8k0Ba0RCoG92kSl/iizyc5n7/zOcHVasEqS5CKCt7xatVzrwI8EjHl0443euidtb2r7kkwJ0uyPa1dPR/XLmpeJWJEqY6XjVcnQLiq/ri7/QSIANLrnlQCMZlDpHfmGU1Z9QtRszuSZnMqwVLQuLIAPRNxx0uNznsrgdIS4+g+CvlLpSSCwN/0bI/Ox83t/sDPwN6AahTIW8KnhaCJtMKMjJTAdUg0TIV8Kom3YYVN1RCUMDKCAdGzgRRLGkNcHD1hCqwWSR7je5BLBjpbZBecG8b8vdDInKyG8LtfHOU1joZ6pc/Oz2qtWrtebzYvG7V63SpwufVsCldLmZlSrvww7IdCwiBv+nOV+okUXPuppEtM263A7ip2W+ZoIKQmzFF2qAp3CeZoHQm/S1mwufbf63kSSXAYJGqFu7vNbvNBonoxDDk+lPZUjTba4ijiTLpCYbgukZje0PZBhJg6WJWn3U4V9WpDWArqeLB/BC+uCAMzYTSy1T8ULANKj4b9w3nwkSgYSXdy8J3yWDyq48vMdsYcRZ/mSlkIuohh3Gi1ms2LtvX++InsKCk8N0aKFHyUFqoOUYw+T8ShHEHCHQsqNzQiIgxKLM3YUheQZ88OzBmT3e2S9UAh6OebB9v8fzMgn+7zZiG0hJhKNL6dmdapOm1cn9Z7+FmQKKLV7JtIbM6jhcI/zWB8cdmq4+WmrOJVXlg5R4x1bc2mqxR/BTF6Zjt1CAlapdmo/zIzUupfsOeC/oJE4kXeWhDKsunr6n6HrQEae3TosXWRj1zUHNxXpSnaf2uttcqJrTeyWANz3nzw/W3G7G26rv7TcJ+q90pEd8erUodl6zPXhc5RwJO1gXk7Q231tMx1vetxI6YqZeRpc/Y50jEgr8jO6mb/5vil+PV04SzswY6gulsmPwkQTQV35WLN5HCe9HkvI/HXJKElL7nKAwz89Ru27kngZ2/Xuid/ATdwjTY=
zkPtjYdWHKuwfnm0