eNrtWN9T2kAQfvevYJixbyFBimAbcCxqS0dHCjLt9MU5Lhu4eOTi/UDsX99NggptGGvw3jrDhOT2sru5/fLdt/GPl3NeWYBUTMSdar3mVSsQUxGweNqpjq/PnXb1uLvnR2RB1qbhvFq9Wa1QTpTqVFNrbQIkVrUflxengPeDrHb3Kr6YRED1xjyjGa99IWp2SZJ0TsVfCBZU5qBnIuhUE6Oz0YqvtMQsuvdC3qqEUPDd1ci6ld606t7husl3U3//4NgokBcknhb6DWUpn9RICbHuEQ1TIR+2uNY3rUa7WS5rpoaghJEUBkTPBlIsWABBcSDCFZQKEt4HI5ALDjoNUujcjehclXJOIrIcwl2/OOkTtPb0UjueU2/V2/Wm1z44bDe8UqHk2lIVRksfwr3l5Oaw2TxqNNxQulTM5yZm+sEhlBpg3IkSITXhJcs1yG62VCimepuIsxRHwt2LgAiYSjh5qEUqKbtURBI0g0RqsPcg6RNcSyQrjmv2h//YcO6+MuvxikcsZZzSVE+YWG+hk/Nh2YXoiVjDcntFyzGgXq6wyEC9ndtfIi7eAAZmwhkty3LIQwaUHg/720nOMj98IgrG0h5BfGdxIO7V2xPPeqEtZf/3wj6ZHovitUu/VT8RU1t2oTMjRQIuEhJTu/BMPw7FrgyDMC129QhSm/jMRJKghMMWLeOU5B8E5qOwswZ9e69Vbih0+vnsuixivhmQD6PsstA1CzrPtS7HzjYoHwH6UuYSAiaxE+jMtE7UfuNk/+Acf09YrUWEM6FqOIDDCTdTFis8+4r8OxpdDbIBvEZtgUelRKoy9hu5XYnhyv1+4zQPcNBMQzTTIHgIBFUbEXAsQq2iQyHndS+/Rk/ZSSizvwmhtw7EQXYxxT0COx8nAIc7xOgZKi4WMkrS0c3b8wJhU3Kw7u3JHNGb9mG79X7DqDbnEHmPDcKR561PmjGlkWpxu0qzWLVi6h2ZJx9xKTqhxMri0nCBC1VaguVEYbF7MbKYzbOqfXDdIkC8ahM+/o80i0h7W7ShhnimI3udrBWZm8v+XEFYSn2SC8PXvy9lt5+XxPCuDd7q/lUjWRhDSwM71CNXKtb0RP/s7SXKc3dnLe3BBqvbC5N1YhlR2WoHzGT3dr0fn6fsdRUiq8LrQOi7+ffM7p7vpt8yu3u/AW2q+90=
mpz35kPgSfX6HjA1