diff --git a/crates/nargo_cli/tests/execution_success/debug_logs/target/debug_logs.json b/crates/nargo_cli/tests/execution_success/debug_logs/target/debug_logs.json index 70e33f07499..f9aec53cef1 100644 --- a/crates/nargo_cli/tests/execution_success/debug_logs/target/debug_logs.json +++ b/crates/nargo_cli/tests/execution_success/debug_logs/target/debug_logs.json @@ -1 +1 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"public"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+3d227jxrI3cNqesa3z+eQjfZgk6062Y2nmbh7ku1lJxkCAYBAEeZ3vKfY7rBfY77Ev9hPsiC1OauQWuwapP1lEl4CFkaWsrv6xJTZZXRRPkyQZJ+5x9Nf/DrbPN/92E//j4/bf5T96rD5g2n36N6bdxyWm3fVP9dq+619A2/dnULugcVuBPmf2+XUP1PZ9/fn9/9t/G3/973DnvWPx+MtPmzYPZNtcvv2rjbfbtrrbfr8RjfHwy2b7HO1sn4PEP0YJiX9M+ibTl+XyOPl7bGTadJ/jE9L/3Jr3vUXePyb/nsjaHg5IzLzd/O8TWNzHx00bpwH/qacfpyX6T2FxV9n4NwL+hqcfjRL9DVhcd7zQDPibnn40S/Q3YXFXn3Jjkb/l6UerRH8LFnf146aNdsDf9vSjXaK/TeIi9n9c/4kCv2xcd9zZCfg7nn50SvR3SFzE+HP9Jwr8snHXT5s2ugF/19OPbon+LizuOtv/9QL+nqcfvRL9PVjcdfb57wf8fU8/+iX6+yQu4viH628o8COOf7j+pgK/bNzVetPGIOAfePoxKNE/IHER8x/Xf6LALxvX5R+HAf/Q049hif4hiYsYf67/RIFfNu4qG/9RwD/y9GNUon8Ei7t63rQxDvjHnn6MS/SPSVzE/Mf1NxX4EfMf199X4Ecc/3P9XQV+2bir95s2JgH/xNOPSYn+CYmLmP+4/hMFfkT+h+tvK/DLxn162LQxDfinnn5MS/RPYXGfsv3fLOCfefoxK9E/g8V168LzgH/u6ce8RP+cxJVeU92saeX7td//+PXzn7993t0Um67lS+Rd8lr+/iXpNl2y3F0mFttWm8BvSEesZok+6lbzsX4PatdqlrKH1Sy5B+zzW1rNnVzby0fapnBdUjaXCbW1RPbzENTPzeO/tv9u1gzySfGIvJbPX4fktaMdZ91r0/J6mbw2Tfbc7WHZ2NkedNvtbqMkgdYvLeXXptz+qukZ+7zvZdbmnO5s0/xvXG2OOzdvBfxl1ebs8wNrc7Lxbwf8ZdXm7PPjalPccXcn4C+rNmWfH1eb4XLT3YC/rNqMfX5cbcbqVW2Gz19WbcY+P62JQOz/uP6mAr9sXHd+0Q/4y6pN2efH1WY8Pn6LH12bwfELr02tNm0MAv6yajP2+WlNAGL+4/rbCvyycd3a9DDgL6s2Y5+/zNoEn7+s2oR9floTgJj/uf6uAj9i/8/1NxX4ZeO6/Nc44C+rNmWfH7c27/IbNO7mUZTfAK7Pw/IbdO01t+Z9p2uvNL+BWHud7GzT/G+65on4fnP9TQV+RH6D628p8COO77j+tgI/Ir/B9XcU+BHHN1x/V4E/9v0fIr/B9fcU+GMff0R+g+vvK/DHPv8h8htc/0CBH5Hf4PqHCvw2/0vGrd/+H5Hf4PpHCvzSNd8Ftaf5y77a082D/iTRG/L8Lfn/5emiPnltd9kiSb4u77ea1cKH1fxt27WaVdeu1axmD6tZ3bZrNatLq1k93Gn3mDz/KNN3q1kV8FrNqtWsWs2qqN9qVhOrWbWaVZ7falb//m+sZlWyH1azajWrVrNqNat+v9Ws/h3XalYl41rNqtWsWs2q1az+/bxqv9WsivqtZjWxmhWrWeX5rWa1er/VrIr6rWY1sZpVq1nl+W3+r95vNauyca1m9fVDJp7VrLqH1ay6h9Wsuod9frftWs3q1w+rWU2sZtVqVq1mdfmPHlazumnDalaL/Vaz+rofVrMq2Q+rWbWaVatZtZpVv99qVlFxrWZ104bVrPL8VrNavd9qViXjWs2q1axazarVrLqH1axW77eaFcm4VrNK2w/5rWa1er/VrIr6rWY1sZpVq1nl+W3+r95vNauycWOrWT1MXj+s9kq2n5tHa7uhK6ypWqJqqvK+5jVVb0VjrFa0Nm137He3UULiH5O+yfTFbUPZmjGXc6Q51Tek/5tHi7wPrBd7oDuovN3d/LZ8XDfnNgL+hqcfsrnfYn8DFnf1qqbO5y+rpm6fH1dT5865WgF/WTV1+/zAmros59gO+MuqqdvnB9bUZeccnYC/rJq6fX6a60Xs/7j+UwV+2bgu59gN+MuqKdznp+e6iPHn+k8V+GXjrp82bfQC/rJqKvf5cTWF62z/1w/4y6op3OfH1dSts8//IOAvq6Zunx9XU7Z+VVPm85dVU7bPD6wpy77/o4C/rJqyfX6a60J8/7n+ngI/Yv7j+k8V+GXjumt3xwF/WTVl+/y0jgsx/lz/qQK/bFy35joJ+Ceefkjnvov8ExIXcf7P9TcV+GXjvl5z9fmnnn4g1lz2+aewuG7NdRbwzzz9mJXon5G4iPwH199W4Eec/3H9XQV+xPzH9Z8q8CPyP1x/R4FfNu5zlv+fB/xzTz/mJfrnJC5i/YvrP1HgR3z/uf5TBX7E+gfX31Lgl427eti0sQj4F55+LEr0L2BxV1nN0VnAf+bpx1mJ/jMSF3H8z/VPFPgR+z+u/1SBH3H8w/V3FPhjH3/ZuO632s4D/nNPP85L9J+TuIjx5/pPFfgR+V+uf6TAH/v4I9Z/uP6eAn/s+z/ZuOusVvgi4L/w9OOiRP8FiYs4/uX6Jwr8iP0f13+qwI84/uX6Owr8iPwX13+iwB/75x9R/831NxT4Eeu/XH9TgR+R/+T6Wwr8iPVPrr+twG/zv2Tc+s3/sY8/ov6J6x8r8Mc+/8V+/oeof+L6pwr8Nv9Lxq3f/l82rvvNicuA/9LTj8sS/Zfm/xIXsf7B9Y8U+BH5H67/RIEfsf/j+k8V+BHn/1x/S4EfUf/E9c8V+BH1T1z/QoEfcfzP9U8U+GPf/yHyP1x/R4E/9vGXjevutXoV8F95+nFVov+KxEWMP9d/qsCPOP7n+kcK/LGPP6L+ievvKfAj6p+4/jMFfkT9E9d/rsCPOP7l+icK/LHv/xDHv1x/R4Efkf/i+k8U+GP//CPqn7j+hgI/Yv2X628q8CPyn1x/S4Efsf7J9bcV+G3+l4xbv/k/9vFH1D9x/WMF/tjnv9jP/xD1T1z/VIHf5n/JuPXb/yPqf7j+C/NX7peN+5z5rwP+a08/rkv0X5O4iPHn+i8U+I9l4y4L7jlFb3tzSJ7TWwjl/80LeT/vIvz+UW9IR4aJ/yETz/1OuHy7rv4I0O4nULs/gtp9AbX7C6Zd97uRgHZB2xf2+f0Aahf1+V2Dtu9PoHbfg9pFfS9qvx3k2l5+9Z2L9b6GqH5uHv+1/XezLpPfd++IvJYfHxyS16q5/+HD43GCuf9hfk6a3/9Qdn30YdnY2R502+1uoySB3iMwu/+h7Pqf2181PWOf973M+9+d7mzT/G/c/e9c/qMV8Jd1/7t9fuD977Lxbwf8Zd3/bp8feP+77PitE/CXdf+7fX7c/d/ccWY34C/r/m/7/Lj7n7nzuV7AX9b9z/b5ad0lYv/H9TcV+GXjuvXffsBf1v3f9vnpfdcQ48/1NxX4ZeO69d9BwF/W/e/2+el95xDzH9ffVuCXjbt6df8/n7+s+//t8wPv/5et/44C/rLu/7fPT687Qcz/XH9XgR+x/+f6mwr8snFd/msc8Jd1/799ftz971x+g8bdPIryG8B74MHyG/T+brk17zu9vxvNbyDu7zbZ2ab537SuBvH95vqbCvyI/AbX31LgRxzfcf1tBX5EfoPr7yjwI45vuP6uAn/s+z9EfoPr7ynwxz7+iPwG199X4I99/kPkN7j+gQI/Ir/B9Q8V+G3+l4xbv/0/Ir/B9Y8U+KXvK19Q35u/vOlaXgJDU8FH5DmtBX5L/n95uqhPXttdtkgIC14TTDvXTfwPmXio2kd3zCrf7uMS067VPrqH+y2pGo0bqIbZPr/bdlE14lazuqxnzap0Pw9B/dw8ftoeEdD6z/wgQH+97fITqt42XyPJ621la1zdetTJzvYpWo+i16TKrh259SjZ8xG3r6X1prk173uZ9aaN5OttSvuAievOx9oBf1n1pvv8wHrTbPw7AX9Z9ab7/MB60+ycoRvwl1Vvus8PrDfN1qN6AX9Z9ab7/Lh6S5eP6gf8ZdVb7vPTPDhi/8f1txT4ZeO6c6NBwF9WveU+P82DI8af628p8AuvR2TrUcOAv6x6y31+ug6AmP+4/o4Cv/B6TLYeNQr4y6o33efH1Ru69ahxwF9WveE+P63xQ8z/XH9PgR+x/+f6Wwr8snFd7m4S8E88/ZBeFyryT2BxV6vGTtzNoyi/QfsivCYHy2/MSP9zK62xzN+n+Y2ZrC0b3+nONs3/npG4iO83199S4EfkN7j+tgI/4viO6+8o8CPyG1x/V4EfcXzD9fcU+GPf/yHyG1x/X4E/9vGXjevWvOcB/9zTD9n7ehb757C47vfbFgH/wtMP2ft6FvsXsLjud+bOAv4zTz9k72tV7D+DxV1n+Z3zgP/c0w/Z+1oV+89hcVfZ9/8i4L/w9ANxP/l9fvo7rojvP9c/V+BHzH9cf0uBXzbu6/vJ+/yXnn4g7qe6z4+7n/jr+8kW+VsK/Ij1Ha5/oMCPOP/n+tH3U+b4Ees7XP9QgR+xvsP1jxT4EfkPrr+nwI84/+P6Zwr8sc9/iPwP199X4JeN+5zl/68C/rLuJ7/Pj7uf1vqb/Oj7aXH8iO8/199S4Eesf3D9XQV+2bjufh7XAX9Z99PZ57+GxXX320gD/tTTj7REf0riIo7/U6Z/qMCP2P+lTH9LgR9x/JMy/X0F/tjHXzbuOst/3AT8N55+3Ij2o9h/Q+Iixp/rbynwI/K/XP+FAn/s449Y/+H65wr8qay/dvs/2bjr7Drq24D/1tOP2xL9tyQu4viX6x8q8CP2f1x/S4EfcfzL9fcV+BH5L66/qcAf++cfUf/N9bcV+BHrv1x/R4Efkf/k+rsK/Ij1T66/p8Bv879k3PrN/7GPP6L+iesfKPDHPv/Ffv6HqH/i+kcK/Db/S8at3/4fcX071z82f+V+xPoH13+hwG/5H8m49dv/xX7+j6h/4vqvFPgR9U9c/7UCv63/SMa1/A9tP+S3/E/1ftm47p4NdwH/nacfdyX670hcxPhz/S0FfsTxP9d/ocAf+/gj6p+4/rkCfyrr/0DbD/lTBX5E/RPXf6PAjzj+5fqHCvyx7/8Qx79cf1+BH5H/4vqbCvyxf/4R9U9cf1uBH7H+y/V3FPgR+U+uv6vAj1j/5Pp7Cvw2/0vGrd/8H/v4I+qfuP6BAn/s81/s53+I+ieuf6TAb/O/ZNz67f8R9T9c/9j8lftl4z5n/vuA/97Tj/sS/fckLmL8uf6xAv9UOO7mfrz5PX1+/+PXz3/+9jnvQn6r3k3XDrfP6a1Aj8jzN+T5W/L8mLSRh+mT1/LN/UL+PznxJHl9qx0x95Gv8aQ+9+bePP7f9t/NRjzcee9Yfptl9x8S3j7ZParzD0x+j+o3ojHcPaqPEv84726jhMQ/Jn2T6YvbhseibbocNr0Hd27N+94i7x+Tf09kbdln/e3ONs3/PoHFdcdwpwH/qacfsvdCL/afwuK6HHYj4G94+tEo0d+AxXXn8M2Av+nph+xaUrG/CYvrctitgL/l6YfsuVSxvwWL685h2wF/Wfeo3+ena0eI/R/Xf6LALxvX5bA7AX/H0w/ZXGKxn+YOEePP9Z8o8AvncLMcdjfg73r6IbuWWOyna4eI+Y/rbyjwC6/hZjnsXsDf8/RDNpda7O/B4rocdj/g73v6IbuWWOyna4eI+Z/rbynwI/b/XP+JAr9sXJfDGwT8A08/ZNdSi/107VQ6p1CQw6NpjzxFdEBepx8beqpeSt6NJhYT8ppkPET+TbqPh4A+5o/WtrMl5Qgf65kjfHqyHKHlCC1H+LofliOU7IflCC1HaDlCyxH6/ZYjRMV1v/NRpxyhbFx3n/M65chi9yM+/1x/R4FfNq67zrlOOVLLEYr6sxx5nXKEiPHn+k8U+IWvc8nGfxjwDz39kL3eotg/hMV1a2SjgH/k6Yfs9RbFfnp9BeL8l+tvKvALX+ey3rQxDvjHnn7I1lsX+8ewuO53XiYB/8TTj0mJ/gks7ir7natpwD/19EO63rzIPyVxEfMf13+iwI/If3D9bQV+2bhP2fjPAv6Zpx+zEv0zEhdx/Mv19xX4Ed9/rv9EgR8x/3H9YwV+xPk/199T4JeN637nbB7wzz39kP29vWI//X09xPkP1z9U4Efs/7j+EwV+xPEP199W4EfUf3D9xwr8sX/+EfUfXP+pAj+i/oPrbyjwI/JfXH9TgR9R/8H1txT4bf6XjFu/+T/28ZeN664RWwT8C08/FiX6FyQuYv7j+hsK/IjzP65/qMCPWP/k+gcK/Ij5n+tvKfAj9v9c/4kCv2xcd43YWcB/5unHWYn+M/N/iftWNi7nGjl6OdoheS1//4l0O+8e/Fq5E9KRYeJ/yMRbP2Hadcfe8u0+LkHb4ad6bV/33QZs35/rNW7uGB/Q7ku92rXvm3vY58E9Xu8f5NpePtI26/LbiXW5ftu2p2w/E9l+vvq+/u/2qHCTP6FrKPlr+bHcW/Ja/v4b8lr+/hF5LX//kLxGD1zz1/L3k534cu4H2DX++Xl3fo2/8BrIqpF8fQ003Xa72yhJoNfBLuVz3G4epdf45dYW+besaxxbydfbNP8bd42fy3F0A/6yrvHb5wf+DlY2/r2Av6xr3Pb5gb+D9eoaL5+/rGu89vlx1zi5Nd5BwF/WNU77/MBrfLIc7zDgL+san31+uraA2P9x/R0Fftm47rx3FPCXdY3TPj+9tgYx/lx/R4FfNq7Lr40D/rKucdrnL/MaJ5+/rGuc9vlx1zitX13j4/OXdY3TPj/uGpd1tsY9C/jLusZlnx9X477Kvv/zgL+sGvd9flpbgvj+c/1jBX7E/Mf1dxT4ZeM+vqrx8PnLqnHa56dry4jx5/o7Cvyycd16x1nAX9Ya/z4/XeNHnP9z/T0Fftm4rsbtPOA/9/TjvET/OSyuq3G7CPgvPP24KNF/QeIi8h9c/0CBH3H+x/WPFPgR8x/X31HgR+R/uP6hAr9s3Ocs/38Z8F96+nFZov+SxEWsf3H9bQV+xPef6+8o8CPWP7j+vgK/bFz3G49XAf+Vpx9XJfqvYHFXWZ3TdcB/7enHdYn+axIXcfzP9Z8p8CP2f1x/R4EfcfzD9Q8V+GMff9m47jdu0oA/9fQjLdGfkriI8U+Z/o4CPyL/mzL9cwX+2Mcfsf6TMv1jBf7Y93+ycd1vfN0E/DeeftyI9qPYf0PiIo5/uf4zBX7E/o/r7yjwI45/uf6hAj8i/8X1txX4Y//8I+q/uf6uAj9i/Zfr7ynwI/KfXH9fgR+x/sn1DxT4bf6XjFu/+T/28UfUP3H9CwX+2Oe/2M//EPVPXP+5Ar/N/5Jx67f/l43rfufiNuC/9fTjtkT/rfm/xEWsf3D9cwV+RP6H628r8CP2f1x/R4Efcf7P9fcV+BH1T1z/pQI/ov6J679S4Ecc/3P9Zwr8se//EPkfrn+owB/7+MvGXb/ftHEX8N95+nFXov+OxEWMP9ffUeBHHP9z/XMF/tjHH1H/xPWPFfgR9U9c/7UCfyrrX9L2Q/5UgR9x/Mv1nynwx77/Qxz/cv1DBX5E/ovrbyvwx/75R9Q/cf1dBX7E+i/X31PgR+Q/uf6+Aj9i/ZPrHyjw2/wvGbd+83/s44+of+L6Fwr8sc9/sZ//IeqfuP5zBX6b/yXj1m//j6j/4fpvzF+5Xzbuc+a/D/jvPf24L9F/T+Iixp/rv1Hgl437c3Z/Gxp38zjY+fsjeU778k60L7j723xH+p9b35G/8/dpfu87WVs2vu+Sr7dp/vd3JC5ifuP6Owr8iPwe199V4Eec33D9PQV+RH6P6+8r8COO77n+gQJ/7Ps/RH6P6x8q8Mc+/ojfN+b6Rwr8iPoern+swI+4vw3XP1HgR9zfhuufKvAj7m/D9c8U+GP//sc+/yHqe7n+uQJ/7OOPWN/k+hcK/LGf/yPWN7n+MwV+xPom13+uwB97/iP28z/L/0jGrV/+B3F/G67/QoHf1r8k49bv+x/7+gfi9x24/ksFfsTvO3D9Vwr8sR//2/GPZFxb/6Lth/waxj/2/R/i+m6u/1qBXzbu88umje8D/u89/fi+RP/3JC7i/J/rHynwI9Z/uP6xAj9i/ZfrnyjwI9Z/uf6pAj9i/Zfrnynwx/79Rxz/cf0dBX7E+i/XP1fgj338Y//+I47/uf5rBf5U1r+k7Yf8qQI/Iv/F9Z8p8Me+/0Pkv7j+oQI/Yv2L628r8Mf++Udc/8X1dxX4EfVfXH9PgR+x/sn19xX4EfVPXP9Agd/mf8m49Zv/Yx9/y/+L+i3/n1j+3/L/PL/l/6v3W/5f1G/5/6Re44+4/ovrXyjwx37+H3v+G3H9F9d/rsAfe/4j9vM/y/9Ixq1f/gdx/RfXf6HAb+tfknHr9/2Pff0Dcf0X13+pwI+4/oHrv1Lgt/oXybh2/EPbD/lt/at6f+z1j5b/FfVb/jep1/hb/beo3+q/E74/VeC341/JuHb8S9sP+a3+u3q/1X9LxrX6b9p+yG/139X7rf5bMq7N/7T9kN/yX9X7rf5J1G/1T0m9zv+s/knUb/N/Uq/9/41o3PU3rf/emL9yf+zrH5b/kYxr9U+0/ZDf6p+q91v9k6jf1n8Sy/9Y/ofn1zD+t6Jx1+9p+yH/rQK/1T+J+q3+KanX+Fv9k6jf6p8Svj9V4LfjX8m4dvxL2w/5rf6per/VP0nGtfon2n7Ib/VP1ftt/VMyrs3/tP2Q3/Jf1fut/knUb/VPSb3O/6z+SdRv839Sr/2/1T/F7b8Tjfv8Tf47BX77/Mftt/o/ybiW/6Tth/xW/1e93+r/RP1W/5fY+qflP3l+y39W7489/ykbd/WyaeOHgP8HTz9+KNH/g/m/xEV8/7n+jgI/4vyP658r8Mc+/oj6T65/rMCPqP/k+q8V+FNZ/5K2H/KnCvyI8x+u/0yBP/b9H+L8h+sfKvAj8p9cf1uBP/bPP6L+k+vvKvAj6l+4/p4CPyL/zfX3FfgR9R9c/0CB3+Z/ybj1m/9jH39E/pPrXyjwxz7/xX7+h6j/5PrPFfht/peMW7/9P6L+i+u/MX/lfkT9J9d/p8Af+/i/E457+lcbJ9u2fv/j189//vY570Jz+++ma4fb50PSxSPy/A15/pY8PybPT8jzU9J2Y/v8hbyWD8N/yP/nHWnnINl5fNz+u/xnj4cjgj0gGwETz/3+kHy77rxOvt3HJai/oHbd+m59toNbj7PPw9ND4nnItL181ecG+TffqR2Q1w53/vtj+T79+5jEFGpz+Zb0tbt9/kY2RtH8QTdlvgnp7tQ3f8D37cekU8PE/5CJt37CtPv6uyHUbs32EW7trj7j5o41Adu3bnMc6nvxCGrXvheuXdC4Pb+Axg30eXj9PZZre/lVn4WPB7JzTKG2lsh+HoL6KTtWD5+Abf+42+5ge4S0OR7Nj7fyE+3Na/lxzRvyWv7+EXktf/+QvFbNMe/DI+qYNz/IzI95G6IxVqtNe6c722f3oPUjed4g27Ap7N202RJt080fbdL/3Jr3vUXebxGbbG2W2181d7Zp/ncbFtetCXQC/o6nH7JrE8X+Diyuq4nqBvxdTz9ka7OK/V1YXLcm3Av4e55+yK5NF/t7sLiuJqof8Pc9/ZCtzSr292Fx3ZroIOAfePohuzZb7KdrsYj9H9ffVuCXjevO94YB/9DTD9narGI/rcVCjD/X31bgl43rznNHAf/I049Rif4RLK67Jmoc8I89/ZC9NqvYP4bFXWef/0nAP/H0Y1KifwKLu85qwqYB/9TTj2mJ/iks7ir7/s8C/pmnH7MS/TMSF/H95/pHCvyI+Y/rbyvwy8Z16wnzgH/u6YfstdnFfnotNmL8uf62Ar9sXFcTvgj4F55+yNamF/tpLTri/J/r7yrwC18TkM3/ZwH/macfsrXpxf4zWFxXE34e8J97+iFbm17sp7XoiPwH199X4Eec/3H9QwV+xPzH9bcV+BH5H65/oMAvG/c5y/9fBPwXnn5clOi/IHER619cf0uBH/H95/rbCvyI9Q+uv6fALxvX/SbqZcB/6emH7G+zFvsvYXHdb6JeBfxXnn7I/jZrsZ/+Fivi+J/rXyjwI/Z/XH9bgR9x/MP1DxT4Yx9/2bjuGpTrgP/a0w/Z36Yr9tPfokOMP9ffVuBH5H+5/pkCf+zjj1j/4fpHCvyx7/+EfxM0q5lOA/7U04+0RH9K4iKOf1Omf6HAj9j/pUx/W4EfcfybMv0DBX5E/itl+lsK/LF//hH13ynT31HgR6z/pkx/V4Efkf9Mmf6eAj9i/TNl+vsK/Db/S8at3/wf+/gj6p9Spn+uwB/7/Bf7+R+i/ill+s8U+G3+l4xbv/2/bFz3+w43Af+Npx83ov0o9t+Y/0tcxPoH1z9T4Efkf7j+lgI/Yv/H9bcV+BHn/1x/T4EfUf/E9V8o8CPqn7j+SwV+xPE/179Q4I99/4fI/3D9AwX+2MdfNq77TebbgP/W04/bEv23JC5i/Ln+tgI/4vif658p8Mc+/oj6J65/pMCPqH/i+q8U+BH1T1z/tQI/4viX618o8Me+/0Mc/3L9AwV+RP6L628p8Mf++UfUP3H9HQV+xPov199V4EfkP7n+ngI/Yv2T6+8r8Nv8Lxm3fvN/7OOPqH/i+ucK/LHPf7Gf/yHqn7j+MwV+m/8l49Zv/5+KxnX1P1x/av7K/bJx3T2B7wL+O08/ZO9NXOyn9yJOReOuv8mfKvDLxnX3t6FxN4+Dnb8/kue0L/eifcHd34beazm35n1vJV/f/zm3Sd97+YDEzNvN/35H4iLmN66/rcCPyO9x/R0FfsT5DdffVeBH5Pe4/p4CP+L4nuvvK/DHvv9D5Pe4/oECf+zjj/h9Y65/qMCPqO/h+kcK/Ij723D9YwV+xP1tuP6JAj/i/jZc/1SBP/bvf+zzH6K+l+ufKfDHPv6I9U2uf67AH/v5P2J9k+tfKPAj1je5/jMF/tjzH7Gf/1n+RzJu/fI/iPvbcP3nCvy2/iUZt37f/9jXPxC/78D1XyjwI37fgeu/VOCP/fjfjn8k49r6F20/5Ncw/ojrm7n+KwV+y/+K+i3/m9Rr/GNf/4l9/4f4fQeu/1qB345/JePa8S9tP+TXcPxr+S/JuFb/TdsP+a3+u3q/1X+L+q3+O7H53/JfPL/VP1Xvt/onUb/VPyV8v9U/Ve+Pff+fisZdf9P6b2r+yv2xr39Y/kcyrtU/0fZDfqt/qt5v9U+iflv/SSz/Y/kfnl/D+N+IxnX3t+H6bxT4rf5J1G/1T0m9xt/qn0T9Vv+U8P1W/1S9345/JeNa/RNtP+S3/Ff1fqt/EvVb/VNSr/ynrX9KxrX5n7Yf8lv+q3q/1T+J+q3+KanX+Z/VP4n6bf5P6rX/T0XjWv0Tbb8O/lvRuM/f5L9V4E9F49Zv/O+F427u53Oybev3P379/Odvn/MuNLb/brp2uH0+JF08Is/fkOdvyfNj8vyEtJffRuiFvNbceS0h3JPk9W13xLbBEenQJsg88T9k4rljbkC7L/Vq9+kB1O6/Me0+LjHtuhw0YNzsc5Y93D4e8Hn4GdQu6HNmnwf3eHoEtWv7neyxAm3fFWi+WIP6+3q/I9f28qs+H8i2nR2LCrW1RPbzENRP4bF6wbX98AnY9o9ltv3f27ODRvL3iUd+wrD5Oz8+Pyav5e+/Ja/l778hr+XvH5HX8vcPyWv5+wfktfz9ZCe+4LZ4f5yIfzeWG3Oer+omiNqJn7/53qi0fkI2j+fujSpbG+Dmxy7pf25tE0/+Pq0NkF2jcPvjdvL1NqVji4nrcqO9gL/n6YfsGn2xvweL62pD+gF/39MP2Rx9sb8Pi+vWxgYB/8DTD9k16mL/ABbX1YYMA/6hpx+y96go9g9hcd3a0CjgH3n6IVujXeynNdmI/R/X31Xgl43rzmfHAf/Y0w/ZezQW++k9GRHjz/V3FfiF742Z3RtnEvBPPP2QvUdlsX8Ci+uuDZkG/FNPP2TvUVnsn8LiurzILOCfefohe41WsX8Gi+vujToP+OeefsjWaBX757C47t6oi4B/4emHbI1SsZ/WJCG+/1z/RIEfMf9x/V0Fftm4bn3nLOA/8/RDtkat2E9r0hDjz/V3FfiFawOz9bLzgP/c0w/Ze7QV++k92RDn/1x/X4FfNq6rjb0I+C88/ZD9jZpi/wUsrquNvQz4Lz39kP2NmmI//U0aRP6D6x8q8CPO/7j+sQI/Yv7j+rsK/Ij8D9c/UuCXjevujXoV8F95+iH7Gw3FfvqbDIj1L66/o8CP+P5z/V0FfsT6B9c/UOCXjevqja4D/mtPP2R/o6TYfw2L634bMA34U08/0hL9KYmLOP5Pmf5zBX7E/i9l+rsK/Ijjn5TpHynwxz7+se//ZOO63wa7CfhvPP2Q/Y3GYv8NLO7zy6aN24D/1tOP2xL9tyQu4vyf6x8r8CPWf7j+iQI/Yv2X658q8CPWf7n+mQI/Yv2X658r8Mf+/Ucc/3H9XQV+xPov179Q4I99/GP//qey/g+0/ZA/VeCXjet+G/gu4L/z9OOuRP8diYvIf3H95wr8iP0f199V4Efkv7j+kQI/Yv2L6+8o8Mf++Udc/8X19xT4EfVfXH9fgR+x/sn1DxT4EfVPXP9Qgd/mf8m49Zv/Yx9/RP6f6x8r8CPO/7n+iQI/Iv/P9U8V+BH5f65/psCPyP9z/XMF/ti//7HPf4j8P9e/UOCPffwR139x/WcK/LGf/8ee/0Zc/8X1Xyjwx57/iP38z/I/knHrl/9BXP/F9V8q8Nv6l2Tc+n3/Y1//QFz/xfVfKfAjrn/g+q8V+K3+RTKuHf/Q9kN+W/+q3p+Kxl1/U/4jVeC3/K+o/2fafshv+d/q/bGv/6Sy/trt/25l/Vb/ndjxrx3/8vxW/1293+q/JeNa/TdtP+S3+u/q/Vb/LRnX5n/afshv+a/q/Vb/JOq3+qekXud/Vv8k6rf5P6nX/l82rrt/8X3Af+/px32J/nvzf4mLWP/g+hcK/Ij8D9ffUeBH7P+4/q4CP+L8n+sfKPAj6p+4/isFfkT9E9d/rcCPOP7n+s8V+GPf/yHyP1z/SIE/9vGXjbt+v2njXcD/ztOPdyX635G4iPHn+rsK/Ijjf65/ocAf+/gj6p+4/okCfyrr/0DbD/lTBX5E/RPXf6vAjzj+5frPFfhj3/8hjn+5/pECPyL/xfV3FPhj//wj6p+4/p4CP2L9l+vvK/Aj8p9c/0CBH7H+yfUPFfht/peMW7/5P/bxR9Q/cf1nCvyxz3+xn/8h6p+4/gsFfpv/JePWb/+PqP/h+u/MX7lfNu5z5v8u4P/O04/vSvR/R+Iixp/rvzN/5X7E+h/Xv1DgR+Q/uf6OAj9i/uf6uwr8iPwX1z9Q4EfU/3H9Vwr8iPo/rv9agR9x/sv1nyvwx77/Q+Q/uf6RAn/s44/If3L9Zwr8snFXL5s2vg/4v/f04/sS/d+b/0tcxPef6+8q8CPO/7j+hQJ/7OOPqP/k+icK/Kms/wNtP+RPFfhvZf1L2n7If6vAjzj/4frPFfhj3/8hzn+4/pECPyL/yfV3FPhj//wj6j+5/p4CP6L+hevvK/Aj8t9c/0CBH1H/wfUPFfht/peMW7/5P/bxR+Q/uf4zBf7Y57/Yz/8Q9Z9c/4UCv83/knHrt/9H1H9x/Xfmr9yPqP/k+t8p8Mc+/rJxf141duJuHgc7f38kz2lffhDty3KJyu/9i/Q/t+Z9b5H3aX7vX7K2bHx/SL7epvnf/yJxEfMb199V4Efk97j+ngI/4vyG6+8r8CPye1z/QIEfcXzP9Q8V+GPf/yHye1z/SIE/9vEfi8ZdP9H2Q/6xAj+ivofrnyjwT2X93/T5nyrwz2T9z7T9kH+mwD8Xjbv6pu//XIE/9u9/7PMfor6X618o8Mc+/oj1Ta7/TIE/9vN/xPom13+uwI9Y3+T6LxT4Y89/xH7+Z/kfybj1y/9cisZ9/qb8/6UCv61/Scat3/c/9vUPxO97cP1XCvyI3/fg+q8V+GM//rfjH8m4tv5F2w/5NYx/7Pu/VDTu+pvyP6kC/41o3OcX2n7If6PAb+u/on5b/01s/dfWf3l+W/+t3m/rv6J+W/9N6jX+sX//U1l/7Y7/b2X9S9p+yH+rwG/5L8m4lv+i7Yf8GvJftv4lGdeu/6Lth/x2/Vf1frv+S9Rv138lNv/b+hfPb9d/Ve+3/L+o3/L/ieX/Lf/P81v+v3q/5f9F/Xb9V8L32/Vf1fvt+i9Rv13/ldQr/2HXf0nGtfwPbT/kt+u/qvfb+pdkXLv+i7Yf8tv1X9X77fovUb/VvyR2/GPrXzy/hvFPRePWr/7R8r+ifsv/JvUaf6v/FvVb/XfC998q8Nvxr2RcO/6l7Yf8Vv9dvd/qvyXjWv03bT/kt/rv6v1W/y0Z1+Z/2n7Ib/mv6v1W/yTqt/qnpF7nf1b/JOq3+T+p1/4fcX9Trv/O/JX7Y1//sPyPZFyrf6Lth/xW/1S93+qfRP22/pNY/sfyPzy/hvG/F427fk/bD/nvFfit/knUb/VPSb3G3+qfRP1W/5Tw/Vb/VL3fjn8l41r9E20/5Lf8V/V+q38S9Vv9U1Kv/Ketf0rGtfmfth/yW/6rer/VP4n6rf4pqdf5n9U/ifpt/k/qtf+3+qe4/e9E4z5/k/+dAr99/uP2W/2fZFzLf9L2Q36r/6veb/V/on6r/0ts/dPynzy/5T+r98ee//xO1v9C2w/5vzN/5X6r/xT1W/1nUq/xt/pPUb/VfyZ8/60Cv53/SMa18x/afshv9Z/V+63+UzKu1X/S9kN+q/+s3m/1H5Jxbf6n7Yf8lv+s3m/1n6J+q/9M6nX+Z/Wfon6b/5N67f+t/i1uv9V/Ssat3/j/IBz39K82TrZt/f7Hr5///O1zQuibx6Zrh9vnc9LFI/L8DXn+ljw/Js9PyPNT8rxB4jS3z/9DXmvvvJaQzXCy/W++enzc/rv8Z48H2uahcNsHpK2nv+bhHz+tHz89PD38e/n44af3z8sfn39avX94//D8/vmXx/dPT5/e//h+/eGnD+vlh4cfnz49vDx/eHrZNnYk0Nanl+zx85Fvg5LXpPxHcm0taX/feJ4fktfyD+0xwJTsxNndjt0E/GFFDNIbQLtvE7kPP8r9Vn6MlqTJVzuUf7odJLfpcVLOTlST+QT0+TlIvv4sJeKfK7eIlceS2L7byeCXt2J9dIkmQB+fBPv4sq+Py3/2gPRR+DP0SwL7fGLmpk178pP4wye5scLMTZt96Im8+0dpd/4Q9j8L9vPVd+l/tkeHjeTvM5f8IHLzWr4fPyKv7R5kNsj7B+Q1ehCaJF+fGX0U2jaAg9psjs3P0Lrbfp+Kxvh5tWn/ZGf77B4ofyTPT8k2bAh7N202Rdt083OL9D+35n1vkfebxNaStWX7zEby9TalfcDEdUnWdsDf9vSjXaK/DYvrikw6AX/H0w/ZYqdifwcW1y2ydQP+rqcfssn+Yn8XFtcVmfQC/p6nH7LFTsX+HiyuW2TqB/x9Tz9kF3uL/XRxF7H/4/pbCvyycV2RySDgH3j6IVvsVeynxV2I8ef6Wwr8snHXT5s2hgH/0NMP2cXuYv8QFtddZDIK+EeefsgWexX7R7C46+zzPw74x55+jEv0j2Fx11mRzSTgn3j6IXuxU7F/Aou7yr7/04B/6unHtET/lMRFfP+5/qECP2L+4/pbCvyycd1FprOAf+bpx6xE/4zERYw/199S4JeN69Y+5gH/3NOPeYn+OYmLOP/n+jsK/LJxXZHtIuBfePohe7F7sX8Bi+uKbM8C/jNPP2SL3Yv9tLgdkf/g+nsK/IjzP65/oMCPmP+4/pYCPyL/w/X3Ffhl4z5n+f/zgP/c0w/Ziz2K/fTiDsT6F9ffVOBHfP+5/pYCP2L9g+vvKvALX2SV1b9cBPwXnn7IXuxU7L+AxXU/MnkZ8F96+nFZov+SxEUc/3P9cwV+xP6P628p8COOf7j+vgJ/7OMf+/5PNq77kbGrgP/K0w/ZH3su9l/B4j6/bNq4DvivPf2Q/bHnYj/9cWfE+T/XP1DgR6z/cP1DBX7E+i/XP1LgR6z/cv1jBX7E+i/XP1Hgj/37jzj+4/pbCvyI9V+uf6rAH/v4x/79Rxz/c/2XCvyycd2PDKcBf+rpR1qiPyVxEfmvlOmfK/Aj9n8p099S4Efkv1Kmv6/Aj1j/Spn+pgJ/7J9/xPVfKdPfVuBH1H+lTH9HgR+x/pky/V0FfkT9U8r09xT4bf6XjFu/+T/28Ufk/1Omf6DAjzj/T5n+oQI/Iv+fMv0jBX5E/j9l+scK/Ij8f8r0TxT4Y//+xz7/IfL/KdM/VeCPffwR13+lTP9MgT/28//Y89+I679Spn+hwB97/iP28z/L/0jGrV/+B3H9V8r0nynw2/qXZNz6ff9jX/9AXP+VMv3nCvyI6x9Spv9Cgd/qXyTj2vEPbT/kt/Wv6v2I+seU6b9U4Lf8r6jf8r9JvcY/9vWf2Pd/Vv8tGdeOf2n7Ib8d/1bvt/yXZFyr/6bth/xW/1293+q/Rf1W/53Y/J8y/Zb/qt5v9U+ifqt/Sup1/mf1T6J+m/+Teu3/ZeO6ewvfBPw3nn7ciPaj2H9j/i9xEesfXP9UgR+R/+H6mwr8iP0f199S4Eec/3P9XQV+RP0T13+uwI+of+L6LxT4Ecf/XP9cgT/2/R8i/8P19xX4Yx9/2bjr95s2bgP+W08/bkv035K4iPHn+lsK/Ijjf65/qsAf+/gj6p+4/qECP6L+ieu/VOBH1D9x/dcK/IjjX65/rsAf+/4PcfzL9fcV+BH5L66/qcAf++cfUf/E9bcV+BHrv1x/R4Efkf/k+rsK/Ij1T66/p8Bv879k3PrN/7GPP6L+ieufKfDHPv/Ffv6HqH/i+hcK/Db/S8at3/4/FY3r6n+4/tT8lftl4z5n/ruA/87Tj7sS/Xckbioad/1N/tT8lfsR639c/1SBH5H/5PqbCvyI+Z/rbynwI/JfXH9XgR9R/8f1nyvwI+r/uP4LBX7E+S/XP1fgj33/h8h/cv19Bf7Yxx+R/+T6Zwr8snFXL5s27gP+e08/7kv035v/S1zE95/rbynwI87/uP6pAn/s44+o/+T6hwr8iPpPrv9SgR9R/8n1XyvwI85/uP65An/s+z/E+Q/X31fgR+Q/uf6mAn/sn39E/SfX31bgR9S/cP0dBX5E/pvr7yrwI+o/uP6eAr/N/5Jx6zf/xz7+iPwn1z9T4I99/ov9/A9R/8n1LxT4bf6XjFu//X8qGtfVf3H9qfkr99+Kxn3+Jv+tAn8qGrd+498QjntKzL//8evnP3/7vLspNl073D5/S7p4RJ6/Ic/pf3NM2sjb+w95v0FiHSQ7j49CxgPSifz5IYnzf1Ja32K5kQYA","proving_key":null,"verification_key":null} \ No newline at end of file +{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"public"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+3dy3LjRtIvcEhq3Xi/X3Whbt32rCjJEuVdb85bnM30uDvCEY4Oh8OLeZmzPg/wbb/t9zTzEp+JIuwUVURlh/MPJKKSERNNkZ7K+qFIoJCVAE+SJBkk7nHwx//2Ns/X/7YS/+Pj5t/l33o8/4hp9/GfmHYflph2V5+qtX1XP4G2779A7YLG7Rn0ObPPr3ugtu/bz+//2/x7+sf/9rfeOxKPv/y8bnNPts3l4R9tHG7aam36/U40xv1P6+1zsLV99hL/GCUk/hHpm0xflsuj5K+xkWnTfY6PSf8za9b3Onn/iPx7LGu73yMxs3azv49hcR8e1m2cBPwnnn6cFOg/gcV9Tsf/NOA/9fTjtED/KSyumy/UAv6apx+1Av01WNznz5kxz1/39KNeoL8Oi/v8w7qNRsDf8PSjUaC/QeIi9n9c/7ECv2xcN+9sBvxNTz+aBfqbJC5i/Ln+YwV+2birx3UbrYC/5elHq0B/CxZ3le7/2gF/29OPdoH+NizuKv38dwL+jqcfnQL9HRIXMf/h+k8V+BHzH66/psAvG/d5tW6jG/B3Pf3oFujvkriI4x/Xf6zALxvX5R97AX/P049egf4eiYsYf67/WIFfNu5zOv79gL/v6Ue/QH8fFvf5ad3GIOAfePoxKNA/IHERxz+uv6bAjzj+cf0dBX7E/J/rbynwy8Z9flm3MQz4h55+DAv0D0lcxPGP6z9W4Efkf7j+hgK/bNzH+3Ubo4B/5OnHqED/CBb3Md3/jQP+sacf4wL9Y1hcty48Cfgnnn5MCvRPSFzpNdX1mla2X/v1t5+//v7L1+1Nse5atkTeIq9l75+TbtMly+1lYrFttQ78jnTEapboo2o1H6sXULtWs5Q+rGbJPWCf38Jq7uTaXj7QNoXrktJjmVBbS2Q/90H9XD/+a/Pves0gOygekNey49c+ee1gy1n12rSsXiarTZM9d7tfnm5tD7rttrdRkkDrl5bya1Nuf1XzjH3W9yJrc062tmn2N642x52b1wP+ompzdvmBtTnp+DcC/qJqc3b5cbUpbt7dDPiLqk3Z5cfVZrjcdCvgL6o2Y5cfV5vx/KY2w+cvqjZjl5/WRCD2f1x/TYFfNq47v+gE/EXVpuzy42ozHh6+xY+uzeD4hdemntdtdAP+omozdvlpTQDi+Mf1NxT4ZeO6telewF9UbcYuf5G1CT5/UbUJu/y0JgBx/Of6Wwr8iP0/119T4JeN6/Jfg4C/qNqUXX7c2rzLb9C460defgO4Pg/Lb9C118ya9Z2uvdL8BmLtdbi1TbO/6Zon4vvN9dcU+BH5Da6/rsCPmN9x/Q0FfkR+g+tvKvAj5jdcf0uBP/b9HyK/wfW3FfhjH39EfoPr7yjwx378Q+Q3uP6uAj8iv8H19xT47fgvGbd6+39EfoPr7yvwS9d859SeZi/7ak/XD3pLonfk+SH5/2Xpog55bXvZIklel/dbzWruw2r+Nu1azapr12pW04fVrG7atZrVpdWs7m+1e0Sef5Tpu9WsCnitZtVqVq1mVdRvNauJ1axazSrPbzWrf/03VrMq2Q+rWbWaVatZtZpVv99qVv+KazWrknGtZtVqVq1m1WpW/3pett9qVkX9VrOaWM2K1azy/FazWr7falZF/VazmljNqtWs8vx2/C/fbzWrsnGtZvXtQyae1ay6h9WsuofVrLqHfX437VrN6uuH1awmVrNqNatWs7r8Ww+rWV23YTWr+X6rWX3bD6tZleyH1axazarVrFrNqt9vNauouFazum7DalZ5fqtZLd9vNauSca1m1WpWrWbValbdw2pWy/dbzYpkXKtZpe2H/FazWr7falZF/VazmljNqtWs8vx2/C/fbzWrsnFjq1ndT94+rPZKtp/rx+fNhi6xpmqJqqnK+prVVB2Kxli90Nq07bHf3kYJiX9E+ibTF7cNZWvGXM6R5lTfkf6vH3XyPrBe7J7uoLJ2t/Pb8nHdMfc04D/19EM295vvP4XFfX5TU+fzF1VTt8uPq6lz51z1gL+omrpdfmBNXZpzbAT8RdXU7fIDa+rSc45mwF9UTd0uP831IvZ/XP+JAr9sXJdzbAX8RdUU7vLTc13E+HP9Jwr8snFXj+s22gF/UTWVu/y4msJVuv/rBPxF1RTu8uNq6lbp578b8BdVU7fLj6spW72pKfP5i6op2+UH1pSl3/9+wF9UTdkuP811Ib7/XH9bgR9x/OP6TxT4ZeO6a3cHAX9RNWW7/LSOCzH+XP+JAj/i/I/rryvwy8Z9vl+3MQz4h55+SOf+8/xDWNznN2suPv/I0w/Emssu/wgW1605jwP+sacf4wL9YxIXsf/j+k8U+BHn/1x/U4E/9vFH7P+4/qECv2xcd6+OScA/8fRjUqB/Aov7lJ7/TQP+qacf0wL9UxIXcf7H9bcV+BH5H66/o8CPyP9w/V0FfkT+h+vvKfDH/v1HzH+4/hMFfkT+h+vvK/DHPv6ycV3N/Szgn3n6MSvQPyNxEfUfXH9NgR+R/+D6Rwr8snFdzf084J97+jEv0D8ncRH1L1x/Q4Efsf7P9bcU+BHHP67/RIEfkf/j+psK/LJxn9L6z7OA/8zTj7MC/WckLqL+mes/VuBHfP+5/hMFfsT6J9dfV+BHrH9y/QMFfkT+n+sfKvAj5v9c/0iBP/b9H2L+w/U3FfhjH3/E+h/XP1bgj338Eflfrr+vwB/7+CPWf7j+tgJ/7Ps/2bir9Frx84D/3NOP8wL95yQuYv7L9Y8U+BH7P67/RIEfMf/l+psK/Ij8F9d/rMAf++cfcf0/13+qwI9Y/+X6awr8iPwn119X4Eesf3L9DQV+O/5Lxq3e8T/28UfUP3H9UwX+2I9/sZ//IeqfuP6ZAr8d/yXjVm//LxvX3XP0IuC/8PTjokD/hfn/jItY/+D6+wr8iPwP13+swI/Y/3H9Jwr8iPN/rr+uwI+of+L6Bwr8iPonrn+owI+Y/3P9IwX+2Pd/iPwP199U4I99/GXjrl7WbVwG/JeeflwW6L8kcRHjz/WfKPAj5v9cf1+BP/bxR9Q/cf1tBX5E/RPXP1bgR9Q/cf1nCvyI+S/XP1Lgj33/h5j/cv1NBX5E/ovrP1bgj/3zj6h/4vpPFfgR679cf02BH5H/5PrrCvyI9U+uv6HAb8d/ybjVO/7HPv6I+ieuf6rAH/vxL/bzP0T9E9c/U+C3479k3Ort/xH1P1z/uflL98vGfUr9i4B/4enHokD/gsRFjP+C6T9X4D+SjbvM+c3xd6Q7++Q5/Qnp7L/5N3k/6yL898PfkY70Ev9DJp67T7h8u67+CNDuZ1C7P4Da/QJq9ydMu+6+kYB2QdsX9vn9EdQu6vO7Am3fT6B2X0Dtor4Xld8Ocm0vX33n9mTbTucLQm0tq9jP9eO/Nv+u12UON88PyGvZ/GCfvHaw5TxNXk9u1o/tedjf7/v9w5H8tl2uzdk5aStBrI/eL0+3tgfddtvbKEler5HKnqsvl/Lrf25/VUvejn3W9zp5n67/yeYh3ffkJHm9TbO/a7C4Lv9RD/jrnn7IrsPl++uwuG79txHwNzz9kM3D5fsbsLhu/tYM+JuefsiuQ+X7m7C4bp7ZCvhbnn7I3oc+39+CxXXnc+2Av+3ph2wdZr6f1l0i9n9cf02BXzauW//tBPwdTz9kf4ct309/dw0x/lx/TYFfNq5b/+0G/F1PP2R/hy7fT393DnH84/obCvyycd36by/g73n6Ifs7fPn+HiyuW//tB/x9Tz9kr0PJ99PrThDHf66/pcCP2P9z/TUFftm4Lv81CPgHnn7IXoed7x/A4rr8Bo27fuTlN2hfZK/FxuU3RqT/mTXre528T/MbsnVGbnyHyettmv1N64oQ32+uv6bAj8hvcP11BX7E/I7rbyjwI/IbXH9TgR8xv+H6Wwr8se//EPkNrr+twB/7+CPyG1x/R4E/9uMfIr/B9XcV+BH5Da6/p8Bvx3/JuNXb/yPyG1x/X4FfOKdwn1Pfm7287lpWAkNTwQfkOa0FPiT/vyxd1CGvbS9bJIQFrwmmnWsl/odMPFTto5uzyrf7sMS0a7WP7uHuJVWhcQPVMNvnd9MuqkbcalaX1axZle7nPqif68d/b2YEtP4zmwTor7ddfkbV22ZrJFm9rWyNq1uPOt7aPnnrUfSaVNm1I7ceJXs+4va1tN40s2Z9L7Le9DR5vU1pHzBx3flYI+Avqt50lx9Yb5qOfzPgL6redJcfWG+anjO0Av6i6k13+YH1pul6VDvgL6redJcfV2/p8lGdgL+oestdfpoHR+z/uP66Ar9sXHdu1A34i6q33OWneXDE+HP9dQV+4fWIdD2qF/AXVW+5y0/XARDHP66/qcAvvB6Trkf1A/6i6k13+XH1hm49ahDwF1VvuMtPa/wQx3+uv63Aj9j/c/11BX7ZuC53Nwz4h55+SK8L5fmHsLirl9OtuOtHXn6D9kV4TQ6W3xiT/mdWWmOZvU/zG7L39XfjO9raptnf9D7+iO83119X4EfkN7j+hgI/Yn7H9TcV+BH5Da6/pcCPmN9w/W0F/tj3f4j8BtffUeCPffyFf08oXfOeBPwTTz8mBfonsLju/m3TgH/q6Yfsfb3z/VNYXHefuVnAP/P0Q/a+zvn+GSzuKs3vzAP+uacf8wL9c1jc5/T7fxbwn3n6Ifu7Xvl++jteiO8/1z9R4Ecc/7j+ugK/bFxXA3ge8J97+iF7X+N8P72PMWL8uf66Aj/i/I/rbynwy8Z9+3vqPv+Fpx+I3xPe5cf9nvDzm/vJ+/xF/Z7wLj+9jztifYvr7ynwI/Z/XD/698Q4fsT5P9ffUeCPffxj3//JxnW/p7wI+BeefiwK9C9gcZ/S87+rgP/K048r0X7k+69IXMT5H9c/UeBH5H+4/qkCPyL/w/XPFPgR+R+uf67AH/v3HzH/4frrCvyI/A/Xf6bAH/v4I+p7uf6uAj+i/oPrbyrwI/IfXH9PgR9R38v19xX4EfUvXH9bgR+x/s/1jxX4Yz/+IfJ/XH9HgV827lNa/3kd8F97+nFdoP+axEXUP3P9NQV+xPef668r8CPWP7n+lgI/Yv2T6z9X4Efk/7n+CwV+xPyf6+8p8Me+/0PMf7j+jgJ/7OOPWP/j+i8V+GMff0T+l+s/U+CPffwR6z9c/0SBP/b9n2zcVXofvZuA/8bTj5sC/TckLmL+y/X3FPgR+z+uv67Aj5j/cv0dBX5E/ovrrynwx/75R1z/z/U3FPgR679cf1OBH5H/5PpbCvyI9U+uv63Ab8d/ybjVO/7HPv6I+ieuv6vAH/vxL/bzP0T9E9ffV+C3479k3Ort/xH3N+T6B+Yv3Y9Y/+D6zxT4Lf8jGbd6+7/Yz/8R9U9c/7kCP6L+ieu/UOC39R/JuJb/oe2H/Jb/Kd8vG9f9ZudtwH/r6cdtgf5bEhcx/lx/XYEfMf/n+s8U+GMff0T9E9c/UeBH1D9x/ZcK/Ij6J67/WoEfMf/l+nsK/LHv/xDzX66/o8CPyH9x/TUF/tg//4j6J66/ocCPWP/l+psK/Ij8J9ffUuBHrH9y/W0Ffjv+S8at3vE/9vFH1D9x/V0F/tiPf7Gf/yHqn7j+vgK/Hf8l41Zv/4+o/+H6B+Yv3S8b9yn13wX8d55+3BXovyNxEePP9Q8U+EfCcU+Sv37T+dfffv76+y9fsy6cbP5dd21/87xFunhAnr8jzw/J8yPSRhamQ17LNve/yf8nIx4nb39qWcx94GucvCYVZ0+ureV2X//v5t/1Rtzfeu9Ifpulvz8tvH2W6w9L9oFpbfr9TjTG/XK9fQ4S/zhvb6OExD8ifZPpi9uGR6Jtuhz2Mel/Zs36XifvH5F/j2Vt6Wf9cGubZn8fw+K6OdxJwH/i6cdJgf4TWFyXwz4N+E89/Tgt0H8Ki+vO4WsBf83TD9m1pHx/DRbX5bDrAX/d0w/Zc6l8fx0W153DNgL+hqcfsmtJ+X66doTY/3H9xwr8snFdDrsZ8Dc9/ZDNJeb7ae4QMf5c/7ECv3AON81htwL+lqcfsmuJ+X66dog4/nH9pwr8wmu4aQ67HfC3Pf2QzaXm+9uwuC6H3Qn4O55+yK4l5vvp2iHi+M/11xX4Eft/rv9YgV82rsvhdQP+rqcfsmup+X66diqdU8jJ4dG0R5Yi2iOv048NPVUvJO9GE4sJeU0yHiL/Jt3HfUAfs0d909mCcoQP1cwRPj5ajtByhJYjfNsPyxFK9sNyhJYjtByh5Qj9fssRouK6+3xUKUcoG9f9znmVcmSx+xGff66/qcAvG9dd51ylHKnlCEX9aY68SjlCxPhz/ccK/MLXuaTj3wv4e55+yF5vke/vweK6NbJ+wN/39EP2eot8P72+AnH+y/XXFPiFr3NZrdsYBPwDTz9k663z/QNYXHefl2HAP/T0Y1igfwiL+5ze52oU8I88/ZCuN8/zj0hcxPGP6z9W4EfkP7j+hgK/bNzHdPzHAf/Y049xgf4xiYuY/3L9HQV+xPef6z9W4Ecc/7j+gQI/4vyf628r8MvGdfc5mwT8E08/ZO+3l++n99dDnP9w/T0FfsT+j+s/VuBHzH+4/oYCP6L+g+s/UuCP/fOPqP/g+k8U+BH1H1z/qQI/Iv/F9dcU+BH1H1x/XYHfjv+Scat3/I99/GXjumvEpgH/1NOPaYH+KYmLOP5x/acK/IjzP66/p8CPWP/k+rsK/IjjP9dfV+BH7P+5/mMFftm47hqxWcA/8/RjVqB/Zv4/4x7KxuVcI0cvR9snr2XvP5JuZ92DXyt3TDrSS/wPmXirR0y7bu4t3+7DErQdPlVr+7rvNmD7/qta4+bm+IB2v1SrXfu+uYd9Htzj7f5Bru3lA22zKvdOrMr127Y9ZfuZyPbzzff1cDNZW+dP6BpK9lo2lzskr2XvvyOvZe8fkNey9/fJa3Timr2WvZ9sxZdz38Ou8c/Ou7Nr/IV/6+nlNHl9DTTddtvbKEmg18Eu5XPc7jhKr/HLrHXyb1HXONaT19s0+xt3jZ/LcbQC/qKu8dvlB94HKx3/dsBf1DVuu/zA+2C9ucbL5y/qGq9dftw1Tm6NtxvwF3WN0y4/8BqfNMfbC/iLusZnl5+uLSD2f1x/U4FfNq477+0H/EVd47TLT6+tQYw/199U4JeN6/Jrg4C/qGucdvmLvMbJ5y/qGqddftw1Tqs31/j4/EVd47TLj7vGZZWucY8D/qKucdnlx9W4P6ff/0nAX1SN+y4/rS1BfP+5/oECP+L4x/U3Ffhl4z68qfHw+Yuqcdrlp2vLiPHn+psK/IjzP66/o8AvG9fd42YW8BdV47DLP4PFfU7XeeYB/9zTj3mB/jksrqvxOwv4zzz9OCvQf0biIvZ/XH9TgR9x/s/19xT4Yx9/xP6P658p8MvGddc4nwf8555+nBfoP4fFfUrP/y4C/gtPPy4K9F+QuIjzP65/oMCPyP9w/UMFfkT+h+sfKfAj8j9c/1iBP/bvP2L+w/U3FfgR+R+uf6LAH/v4y8Z19a6XAf+lpx+XBfovSVxE/QfX31bgR+Q/uP65Ar9sXHeN4yLgX3j6sSjQvyBxEfUvC6a/q8CPWP9fMP19BX7E8W/B9DcV+BH5vwXT31Pgl437lNZ/XgX8V55+XIn2I99/ReIi6p+5/oYCP+L7z/U3FfgR659cf0eBH7H+yfVPFfgR+X+uf6bAj5j/c/1zBf7Y93+I+Q/X31Pgj338Eet/XP+ZAn/s44/I/3L9EwX+2Mcfsf7D9Q8U+GPf/8nGdfd4vw74rz39uC7Qf03iIua/XP9cgR+x/+P6mwr8iPkv199T4Efkv7j+hgJ/7J9/xPX/XH9LgR+x/sv1txX4EflPrr+jwI9Y/+T6uwr8dvyXjFu943/s44+of+L6LxT4Yz/+xX7+h6h/4vovFfjt+C8Zt3r7f9m47j6nNwH/jacfNwX6b8z/Z1zE+gfXP1HgR+R/uP6GAj9i/8f1NxX4Eef/XH9HgR9R/8T1TxX4EfVPXP9MgR8x/+f65wr8se//EPkfrr+nwB/7+MvGXb2s27gN+G89/bgt0H9L4iLGn+tvKvAj5v9c/0SBP/bxR9Q/cf0DBX5E/RPXf6bAj6h/4vqvFPgR81+uf67AH/v+DzH/5fp7CvyI/BfX31Dgj/3zj6h/4vpbCvyI9V+uv63Aj8h/cv0dBX7E+ifX31Xgt+O/ZNzqHf9jH39E/RPXf6HAH/vxL/bzP0T9E9d/qcBvx3/JuNXb/yPqf7j+a/OX7peN+5T67wL+O08/7gr035G4iPHn+q8V+GXjfv50uhV3/djb+vsjeU778l60L7jfN/5A+p9Z35O/s/dpfu+DrC0d3/fJ622a/f2BxEUc37j+pgI/Ir/H9bcU+BHnN1x/W4Efkd/j+jsK/Ij5PdffVeCPff+HyO9x/T0F/tjHH3F/Y66/r8CPqO/h+gcK/Ijft+H6hwr8iN+34fpHCvyI37fh+scK/LF//2M//iHqe7n+iQJ/7OMf+/kf4vo2rn+qwI+4vo3rnynwI9Z3uf65Ar+d/0vGtfN/2n7Ir2H8EfU9XP+FAr9s3Ocv6za+C/i/8/TjuwL935n/z7iI33fm+s8V+BHnv1z/QIEfkf/i+ocK/Ij8F9c/UuBH5L+4/rECf+zff8T8j+tvKvAj8l9c/0SBP/bxR8z/uf4LBX5E/QvX31bgR+R/uP65Aj+ivp/rv1TgR9T/cP1dBX5E/QPX31fgj/34h8h/cv09Bf6FaFz3+85c/0KBH1H/zfU3FPhj//4j1n+5/o4CP2L9l+ufKvAj1n+5/pkCf+zzf5v/SMat3vwn9vGPff+HuL8h13+mwC8b9+nLuo3vA/7vPf34vkD/9yQu4vyf6+8r8CPWf7j+gQI/Yv2X6x8q8CPWf7n+kQI/Yv2X6x8r8Mf+/UfM/7j+pgI/Yv2X658o8Mc+/rF//xHzf67/TIH/Sta/pO2H/FcK/Ij8F9c/V+CPff+HyH9x/T0FfsT6F9ffUOCP/fOPuP8R199S4EfUf3H9bQV+xPon199R4EfUP3H9XQV+O/67x8fNv8u/9aje8T/28bf8v6jf8v+J5f8t/8/zW/6/fL/l/0X9lv9PqjX+sZ//Iepfuf6pAj+i/ovrnynwW/5fMq6d/9P2Q347/y/fH/v+L/b1b8T9f7j+cwV+y/+I+i3/k1j+x/I/PL/lf8r3W/5H1F+58Ufc/4frv1Dgj73+I/b8B+L+P1z/pQJ/7PUvsa//W/5PMm718n8L0bhP31T/uVDgt/pnybi2/knbD/lt/bN8v61/ivpt/TOx+Y+tf/L8GsY/9vU/y/+K+i3/m1Rr/O36f1G/Xf+f8P12/X/5fpv/Ssa16/9p+yG/5b/K99v1/6J+u/4/qVb+067/l4xrx3/afshv+a/y/Vb/JOq3+qekWud/Vv8k6rfjf1Kt/f+1aNzVN63/Xpu/dH/s6x+W/5GMa/VPtP2Q3+qfyvdb/ZOo39Z/Esv/WP6H59cw/jeicVcvtP2Q/0aB3+qfRP1W/5RUa/yt/knUb/VPCd9v9U/l+23+KxnX6p9o+yG/5b/K91v9k6jf6p+SauU/bf1TMq4d/2n7Ib/lv8r3W/2TqN/qn5Jqnf9Z/ZOo347/SbX2/1b/FLf/VjTu0zf5bxX47fMft9/q/yTjWv6Tth/yW/1f+X6r/xP1W/1fYuuflv/k+S3/Wb4/9vznB1n/F9p+yP/B/KX7rf5T1G/1n0m1xt/qP0X9Vv+Z8P1W/1m+385/JONa/SdtP+S3/Gf5fqv/FPVb/WdSrfy31X9IxrXjP20/5Lf8Z/l+q/8U9Vv9Z1Kt8z+r/xT12/E/qdb+P/b6r9j9Vv8pGbd64/9eOO7JH20cb9r69befv/7+y9esC7XNv+uu7W+e90gXD8jzd+T5IXl+RJ4fk+cnpO3TzfN/k9eyYfgP+f+8J+3sJVuPj5t/l3/vcX9AsHtkI2DiufsPybfrzuvk231YgvoLatet71ZnO7j1OPs8PN4nnodM28s3fT4l/2Y7tT3y2v7Wf38k36d/HpGYQm0uD0lfW5vn72Rj5B0/6KbMNiHdnfqOH/B9+xHpVC/xP2TirR4x7b79bgi1W7F9hFu7q864ubkmYPtW7RiH+l48gNq174VrFzRuT18w7aI+D2+/x3JtL1/1WXg+kJ5jCrW1RPZzH9RP2bG6/wxs+4ftdv9nM0Naz0ez+VZ2or1+LZvXvCOvZe8fkNey9/fJa+XMee8fUHPebJKZzXlPRWOsXtbtnWxtn+1J60fy/JRsw5qwd91mXdaXHj8apP+ZNet7nbxfJzbZ2iy3v6ptbdPs7wYsrlsTaAb8TU8/ZNcm8v1NWFxXE9UK+FuefsjWZuX7W7C4bk24HfC3Pf2QXZvO97dhcV1NVCfg73j6IVuble/vwOK6NdFuwN/19EN2bTbfT9diEfs/rr+hwC8b153v9QL+nqcfsrVZ+X5ai4UYf66/ocAvG9ed5/YD/r6nH/0C/X1YXHdN1CDgH3j6IXttVr5/AIu7Sj//w4B/6OnHsED/EBZ3ldaEjQL+kacfowL9I1jc5/T7Pw74x55+jAv0j0lcxPef6+8r8COOf1x/Q4FfNq5bT5gE/BNPP2Svzc7302uxEePP9TcU+BHnf1x/W4FfNq67J9Q04J96+iF7b6p8/xQW190Tahbwzzz9kL03Vb5/BovrauLnAf/c0w/Z2vx8P63FR+z/uP6GAj/i/J/r7yrwxz7+iP0f1z9V4JeN62oQzwL+M08/ZO9Nku8/g8V9Ss//zgP+c08/zgv0n5O4iPM/rr+vwI/I/3D9AwV+RP6H6x8q8CPyP1z/SIE/9u8/Yv7D9TcU+BH5H65/rMAf+/jLxnX3BLgI+C88/ZC9N0G+n96LAFH/wfW3FPgR+Q+uf6bAL3xPjHT/dxnwX3r6IXtvgnw/vRcBov6F6+8o8CPW/7n+ngI/4vjH9TcU+BH5P66/q8AvG/cprf9cBPwLTz8WBfoXJC6i/nnB9NcV+BHf/wXT31DgR6x/Lpj+tgI/Yv1zwfRPFPgR+f8F0z9V4EfM/xdM/0yBP/b9H2L+s2D6uwr8sY8/Yv1vwfTPFfhjH39E/nfB9I8V+GMff8T6z4Lp7yvwx77/k43rfhPlKuC/8vTjSrQf+f4rEhcx/+X6Zwr8iP0f199Q4EfMf7n+rgI/Iv/F9dcV+GP//COu/+f6mwr8iPVfrr+lwI/If3L9bQV+xPon199R4Lfjv2Tc6h3/Yx9/RP0T13+uwB/78S/28z9E/RPXf6HAb8d/ybjV2//LxnX397wO+K89/bgu0H9t/j/jItY/uP6xAj8i/8P11xX4Efs/rr+hwI84/+f62wr8iPonrn+iwI+of+L6pwr8iPk/1z9T4I99/4fI/3D9XQX+2MdfNq77Ta6bgP/G04+bAv03JC5i/Ln+hgI/Yv7P9Y8V+GMff0T9E9ffV+BH1D9x/XMF/oWsf0nbD/kXCvyI+S/XP1Pgj33/h5j/cv1dBX5E/ovrryvwx/75R9Q/cf1NBX7E+i/X31LgR+Q/uf62Aj9i/ZPr7yjw2/FfMm71jv+xjz+i/onrP1fgj/34F/v5H6L+ieu/UOC3479k3Ort/xH1P1z/lflL98vGfUr9twH/racftwX6b0lcxPhz/VcK/LJx3e8b07jrx97W3x/Jc9qXO9G+4H7f+D3pf2bN+l4n79P83ntZWzq+d8nrbZr9/Z7ERRzfuP6GAj8iv8f1NxX4Eec3XH9LgR+R3+P62wr8iPk9199R4I99/4fI73H9XQX+2McfcX9jrr+nwI+o7+H6+wr8iN+34foHCvyI37fh+ocK/Ijft+H6Rwr8sX//Yz/+Iep7uf6xAn/s4x/7+R/i+jauf6LAj7i+jeufKvAj1ne5/pkCv53/S8a183/afsivYfxj3/8hrm/h+ucK/IjfN+b6zxT4Lf8j6rf8T2L5H8v/8PyW/ynfb/kfUX/lxh9R3871nyvwx17/EXv+A1HfzvVfKPDHXv8S+/q/5f8k41Yv/4f4fWOu/1KB3+qfJePa+idtP+S39c/y/bb+Keq39c/E5j9Vmv/EPv6xr/9Z/lfUb/nfpFrjH/v6T+z7v4Wsf0nbD/kXCvw2/5WMa/Nf2n7Ir2H+a/kvybh2/T9tP+S36//L99v1/6J+u/4/seO/5b94fqt/Kt9v9U+ifqt/Svh+q38q3x/7/v9KNO7qm9Z/r8xfuj/29Q/L/0jGtfon2n7Ib/VP5fut/knUb+s/ieV/LP/D82sY/2vRuO73jbn+awV+q38S9Vv9U1Kt8bf6J1G/1T8lfP9Cgd/mv5Jxbf5L2w/5rf6pfL/VP0nGtfon2n7Ib/VP5ftt/VMyrh3/afshv+W/yvdb/ZOo3+qfkmqd/1n9k6jfjv9Jtfb/Vv8Utx/x+8Zc/40Cf+zjfyccd/17zsebtn797eevv//yNevC6ebfddf2N897pIsH5Pk78vyQPD8iz49Je9nPSP+bvFbbei0h3OPk7c8ui22DA9KhdZBJ4n/IxHNzbkC7X6rV7uM9qN1/Ytp9WGLadTlowLjZ5yx9uH084PPwL1C7oM+ZfR7c4/EB1K7td9LHM2j7PoOOFytQf9/ud+TaXr7q855s2+lcVKitJbKf+6B+Co/VF1zb95+Bbf9QZNv/Z3O2cZr8deKRnTCs/87m50fktez9Q/Ja9v478lr2/gF5LXt/n7yWvb9HXsveT7biC26Ll6NE/LuxXJuzfFUrQdROfP603j61re2zfZL2kTyn9ROyebzlUr42wB0fW6T/mbVBPNn7tDZAdo3C7Y8byettSscWE9flRtsBf9vTD9k1+nx/GxbX1YZ0Av6Opx+yOfp8fwcW162NdQP+rqcfsmvU+f4uLK6rDekF/D1PP2R/oyLf34PFdWtD/YC/7+mHbI12vp/WZCP2f1x/S4FfNq47nx0E/ANPP2R/ozHfT3+TETH+XH9LgV/4tzHT38YZBvxDTz9kf6My3z+ExXXXhowC/pGnH7K/UZnvH8HiurzIOOAfe/ohe41Wvn8Mi+t+G3US8E88/ZC9Rj3fP4HFdb+NOg34p55+yF6jnu+n16Qjvv9c/1CBH3H84/pbCvyycd36zizgn3n6IVujl++nNXmI8ef6Wwr8iPM/rr+rwC9cG5qut8wD/rmnH7LXqOb757C47t4oZwH/macfZwX6z2BxXW3wecB/7umHbI16vp/WpCP2f1x/S4Efcf7P9fcV+GMff8S1IRcB/4WnH7I1+vn+C1hcV39yGfBfevoh+xut+f5L84PiPqXnv4uAf+Hpx6JA/4LERZz/Lpj+oQI/Iv+1YPpHCvyI/NeC6R8r8CPyXwumf6LAH/v3HzH/WzD9LQV+RP5rwfRPFfhjH3/E/H/B9J8r8CPqXxZMf0eBH5H/WTD9Zwr8snHdteFXAf+Vpx+y1yjm++k1iYj6H66/p8CPqH/g+gcK/IjjH9ffUuBH5D+5/r4Cv2zcp0/rNq4D/mtPP64L9F+TuIj6b66/qcCP+P5z/S0FfsT6L9ffVeBHrP9y/TMFfsT6L9c/V+BHzP+5/jMF/tj3f4j5D9ffV+CPffxj3//JxnX3xr8J+G88/ZC9R1O+/wYW9+nLuo3bgP/W04/bAv23JC7i/J/rHyjwI9Z/uP6hAj9i/ZfrHynwI9Z/uf6xAj9i/Zfrnyjwx/79R8z/uP6WAj9i/Zfrnyrwxz7+sX//EfN/rv9agV82rvttrLuA/87TD+l7lOb570hcRP6L6z9T4Efs/7j+lgI/Iv/F9fcV+BHrX1x/U4E/9s8/4v5HXH9bgR9R/8X1dxT4EeufXH9XgR9R/8T19xT47fgvGbd6x//Yxx+R/+f6Bwr8iPN/rp+e/5flR+T/uf6RAj8i/8/1jxX4Efl/rn+iwB/79z/24x8i/8/1TxX4Yx//2M//EPWvXP9MgR9R/8X1zxX4Lf8vGdfO/2n7Ib+d/5fvj33/h1j/5vqvFfgR9//h+i8V+C3/I+q3/E9i+R/L//D8lv8p32/5H1F/5cYfcf8frv9cgT/2+o/Y8x8LWf837f8WCvyx17/Evv5v+T/JuNXL/12Jxn36pvrPKwV+q3+WjGvrn7T9kN/WP8v32/qnqN/WPxOb/9j6J8+vYfxjX/+z/K+o3/K/SbXGP/b1n9j3f3b9v2Rcm//S9kN+m/+W77f8l2Rcu/6fth/y2/X/5fvt+n9Rv13/n9jx3/JfPL/VP5Xvt/onUb/VPyV8/0KB347/knGrt/+XjbtK13/fB/zvPf14X6D/vfn/jItY/+D6pwr8iPwP199U4Efs/7j+lgI/4vyf6+8q8CPqn7j+mQI/ov6J658r8CPm/1z/mQJ/7Ps/RP6H6+8r8Mc+/rJxVy/rNj4E/B88/fhQoP8DiYsYf66/pcCPmP9z/VMF/tjHH1H/xPUPFfgR9U9c/7UCP6L+ieu/VeBHzH+5/jMF/tj3f4j5L9ffV+BH5L+4/qYCf+yff0T9E9ffVuBHrP9y/R0FfkT+k+vvKvAj1j+5/p4Cvx3/JeNW7/gf+/gj6p+4/nMF/tiPf7Gf/y1k/d+U/1so8NvxXzJu9fb/iPofrv/O/KX7ZeM+pf7vAv7vPP34rkD/dyQuYvy5/jvzl+5HrP9x/VMFfkT+k+tvKvAjjv9cf0uBH5H/4vq7CvyI+j+uf6bAj6j/4/rnCvyI81+u/0yBP/b9HyL/yfX3FfhjH39E/pPrP1fgv5D1f6Hth/wX5i/dH/v3P/bzv9jHH1H/yfUPFfivZf0/0vZD/msFfkT9J9d/q8Bv5z+Sce38h7Yf8ms4/7H8p2Tc6n3+EfWfXH9bgR9R/8L1dxT4Y89/I+o/uP6eAr8d/yXjWv6Tth/yW/6zfH/sx7/Yz/8Wsv5vyv8tFPjt+C8Zt3r7f6t/i9tv9Z+Scas3/rJxP3863Yq7fuxt/f2RPKd9+V60L8slKr/3D9L/zJr1vU7ep/m9f8ja0vH9Pnm9TbO//0HiIo5vXH9LgR+R3+P62wr8iPMbrr+jwI/I73H9XQV+xPye6+8p8Me+/0Pk97j+vgJ/7OM/EI27eqTth/wDBX5EfQ/XP1TgH8n6v+nzP1LgH8v6n2j7If9YgX8iGvf5m77/EwX+2L//sR//EPW9XP9UgT/28Y/9/A9xfSPXP1PgR1zfyPXPFfgR67tc/5kCv53/S8a183/afsivYfwR9T1c/7kCP+L6Pq7/wvyl+y9F4z590/nvpQK/5b9E/Zb/Siz/Zfkvnt/yX+X7Lf8l6rf5f1Kt+X/s9S+x538Wsv5v2v8tFPhjr/+Jvf7B8p+ScauX/7wSjfv0ibYf8l8p8Fv9t2RcW/+l7Yf8tv5bvt/Wf0X9tv6b2PzH1n95fg3jH/v+71o07uqb8j/XCvw3onGfvtD2Q/4bBX67/kHUb+u/ia3/2vovz2/rv+X7bf1X1G/rv0m1xj/273/s83/E/c25/lsFfst/Sca1/BdtP+TXkP+y9S/JuHb/I9p+yG/3Pyrfb/c/EvXb/Y8SO/7b+hfPb/c/Kt9v+X9Rv+X/E8v/W/6f57f8f/l+y/+L+q3+NanW+Z/Vv4r6rf41sfy/nf/z/Hb+X77f6l8l41Zv/dvu/yMZ1/I/tP2Q3/I/5fst/yMZ1/I/tP2Q3/I/5fvt/j+Sce3+P7T9kN/u/1O+fyHrt/v/JHy/3f+nfL/l/yTj2v1/aPshv93/p3y/rX9KxrX1T9p+yG/rn+X7bf1TMq7Nf2j7Ib+tf5bvj339z/K/on7L/ybVGn+7/l/Ub9f/J3y/Xf9fvt/mv5Jx7fp/2n7Ib/mv8v12/b+o367/T6qV/7Tr/yXj2vGfth/yW/6rfL/VP4n6rf4pqdb530LWb/VPiR3/q7T/vxONu/qm9d8785fuj339w/I/knGt/om2H/Jb/VP5fqt/EvXb+k9i+R/L//D8Gsb/vWjc1QttP+R/r8Bv9U+ifqt/Sqo1/lb/JOq3+qeE77f6p/L9Nv+VjGv1T7T9kN/yX+X7rf5J1G/1T0m18p+2/ikZ147/tP2Q3/Jf5fut/knUb/VPSbXO/xayfqt/Suz4X6X9v9U/xe3/IBr36Zv8HxT47fMft9/q/yTjWv6Tth/yW/1f+X6r/xP1W/1fYuuflv/k+S3/Wb4/9vznhaz/C20/5L8wf+l+q/8U9Vv9Z1Kt8bf6T1G/1X8mfL/Vf5bvt/MfybhW/0nbD/kt/1m+3+o/Rf1W/5lUK/9t9R+Sce34T9sP+S3/Wb7f6j9F/Vb/mVTr/G8h67f6z8SO/1Xa/1v9W9x+q/+UjFu98f9eOO7JH20cb9r69befv/7+y9eE0NePddf2N88npIsH5Pk78vyQPD8iz4/J8xPy/JTEqW2e/4e81th6LSGb4Xjz37x6fNz8u/x7j3va5r5w23ukrcc/jsM/fF49fL5/vP/n8uHHTy9Pyx+ePj2/3L/cP708/fTw8vj4+eWHl9WPn35cLX+8/+Hx8/2Xpx8fv2waOxBo6/OX9PGvA98GJa9J+Q/k2lrS/r7zPN8nr2Uf2iOAKdmKs70dWwn4w4oYpHeAdg8TuQ8/yn0oP0ZL0uSbHcrf3Q6S2/QoKWYnqsl8DPr87CWvP0uJ+OfKLWJlsSS27+Zg8NOhWB9dognQx0fBPn7Z1cfl33tA+ij8GfopgX0+McemdXvyB/H7z3JjhTk2rfehx/LuH6Td2UPY/yTYzzffpf+/mTGeJn+duWSTyPVr2X78gLy2Pck8Je/vkdfoJDRJXp8ZfRTaNoBJbXqMzc7QWpt+n4jG+Pxp3f7x1vbZnih/JM9PyDY8Ffau26yJtumOz3XS/8ya9b1O3q8RW13Wlu4zT5PX25T2ARPXJVkbAX/D049Ggf4GLK4rMmkG/E1PP2SLnfL9TVhct8jWCvhbnn7IJvvz/S1YXFdk0g74255+yBY75fvbsLhukakT8Hc8/ZBd7M3308VdxP6P668r8MvGdUUm3YC/6+mHbLFXvp8WdyHGn+uvK/DLxl09rtvoBfw9Tz9kF7vz/T1YXHeRST/g73v6IVvsle/vw+Ku0s//IOAfePoxKNA/gMVdpUU2w4B/6OmH7MVO+f4hLO5z+v0fBfwjTz9GBfpHJC7i+8/19xT4Ecc/rr+uwC8b111kOg74x55+jAv0j0lcxPhz/XUFfsT5H9ffUuCXjetusjMJ+CeefkwK9E9gcd1NdqYB/9TTD9mL3fP9U1hcV2Q8C/hnnn7I3uwp309v7oTY/3H9dQV+xPk/199R4I99/IVvspau/c8D/rmnH7I3O8v3z2Fx3Zr9WcB/5umH7MUe+f4z84PiPqXnv+cB/7mnH7IXe+X76cVdiPNfrr+nwI/If3H9fQV+RP6L6x8o8CPyX1z/UIE/9u8/Yv7H9dcV+BH5L65/pMAf+/gj5v9c/0yBH1H/wvU3FfgR+R+uf6rAL3yThXT/dxHwX3j6IXuz03w/vbkpov6H628r8CPqH7j+rgI/4vjH9dcV+BH5T66/o8AvG/fp07qNy4D/0tOPywL9lyQuov6b668p8CO+/1x/XYEfsf7L9bcU+BHrv1z/WIEfsf7L9U8U+BHzf65/qsAf+/4PMf/h+jsK/LGPf+z7P9m47ib7i4B/4enHokD/Ahb36cu6jauA/8rTjyvRfuT7r0hcxPk/199V4Ees/3D9PQV+xPov199X4Ees/3L9AwV+xPov1z9U4I/9+4+Y/3H9dQV+xPov1z9S4I99/GP//iPm/1z/pQK/bFz3I1vXAf+1px/XBfqvSVxE/ovrnyrwI/Z/XH9dgR+R/+L6Owr8iPUvrr+mwB/75x9x/yOuv6HAj6j/4vqbCvyI9U+uv6XAj6h/4vrbCvx2/JeMW73jf+zjj8j/c/1dBX7E+T/X31PgR+T/uf6+Aj8i/8/1DxT4Efl/rn+owB/79z/24x8i/8/1jxT4Yx//2M//EPWvXP9YgR9R/8X1TxT4Lf8vGdfO/2n7Ib+d/5fvj33/h1j/5vovFfgR9//h+s8U+C3/I+q3/E9i+R+u3/I/5fst/yPqt/xPUq3xR9z/h+ufKfDHXv8Re/4Dcf8frv9cgT/2+pfY1/8t/ycZt3r5P8T9f7j+CwV+q3+WjGvrn7T9kN/WP8v32/qnqN/WPxOb/1Rp/hP7+Me+/mf5X1G/5X+Tao1/7Os/se//rmT9dv1/YvNfm//y/Hb9f/l+u/5fMq5d/0/bD/nt+v/y/Xb9v2RcO/7T9kN+y3+V77f6J1G/1T8l1Tr/s/onUb8d/5Nq7f9l467S9d+bgP/G04+bAv035v8zLmL9g+sfKfAj8j9cf02BH7H/4/rrCvyI83+uv6XAj6h/4vrHCvyI+ieuf6LAj5j/c/1TBf7Y93+I/A/X31Hgj338ZeOuXtZt3Ab8t55+3BbovyVxEePP9dcV+BHzf65/pMAf+/gj6p+4/p4CP6L+ieu/VOBH1D9x/VcK/Ij5L9c/VeCPff+HmP9y/R0FfkT+i+uvKfDH/vlH1D9x/Q0FfsT6L9ffVOBH5D+5/pYCP2L9k+tvK/Db8V8ybvWO/7GPP6L+ieufKfDHfvyL/fwPUf/E9Z8r8NvxXzJu9fb/iPofrv/a/KX7ZeM+pf67gP/O04+7Av13JC5i/Ln+a/OX7kes/3H9IwV+RP6T668p8COO/1x/XYEfkf/i+lsK/Ij6P65/rMCPqP/j+icK/IjzX65/qsAf+/4Pkf/k+jsK/LGPPyL/yfXPFPjnsv4vtP2Qf27+0v2xf/9jP/+LffwR9Z9cf0+BH1H/yfVfKvBfyfqXtP2Q/0qB385/JOPa+Q9tP+TXcP5j+U/JuNX7/CPqP7n+hgI/ov6F628q8Mee/0bUf3D9bQV+O/5LxrX8J20/5Lf8Z/n+2I9/sZ//Ieo/uf5zBX47/kvGrd7+P/b6r9j9Vv8pGbd6438qHPeEmH/97eevv//ydXtTrLu2v3l+SLp4QJ6/I8/pf3NE2sja+w95/5TE2ku2Hh+FjHukE9nzfRLnfwFKXP63uX8HAA==","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/noirc_evaluator/src/ssa/ir/instruction.rs b/crates/noirc_evaluator/src/ssa/ir/instruction.rs index 83692092abf..8f3cd0cfe3c 100644 --- a/crates/noirc_evaluator/src/ssa/ir/instruction.rs +++ b/crates/noirc_evaluator/src/ssa/ir/instruction.rs @@ -225,6 +225,15 @@ impl Instruction { // Some `Intrinsic`s have side effects so we must check what kind of `Call` this is. Call { func, .. } => match dfg[*func] { Value::Intrinsic(intrinsic) => intrinsic.has_side_effects(), + + // All foreign functions are treated as having side effects. + // This is because they can be used to pass information + // from the ACVM to the external world during execution. + Value::ForeignFunction(_) => true, + + // We must assume that functions contain a side effect as we cannot inspect more deeply. + Value::Function(_) => true, + _ => false, }, }