{"key":"port-2","tables":"plain","knots":"71 w knots: -800,-400,-250,-200,-175; -150..150 every 5 bps; 175,200,250,400,800. All original 13/49 rival columns, all 3 phases; mirror bid. Signed16 ask residuals a-max(w,0), quantum 0.005 bps.","knot_cost_paired":{"n":256,"mean_diff":-0.008032855203198963,"se":0.008993154467803037},"parity":{"callbacks":212490,"max_fee_diff_bps":3.35019e-09,"over_0_01_bps":0},"gas":{"peak_afterswap":145062,"mean_afterswap":49544,"oog":0,"reverts":0},"validate":"pass","stress":{"sequences":64,"reverts":0,"peak_gas":144288},"bytes_runtime":22567,"complete":true,"code_zb64":"eNrsvftzG0eWJuqf/VdgHTEThChKefKdkiBHz/Zuh2O753aM23fmxkbvjXxaaPOhJilZtK//9/udKgAESUAUAAkGJIJKAShkVWVlnsf35et8f3keL+uPV08uzo6/+kQvgZfVunvH6+a7Jum0nB7rj5NQeBuIr7bwenNxGc9x+6++zNfTp4Pv//rH/zr68zjX04t69F2pp5fjNq7nzwZ/+e5vX78+jz+exAGkY1zGl1eD/yOe+CdSP/96fPL67Pxy8Osf/vKX7ycy9G/xov42aOdnJ4Nvnjy99QML2DfXp/3tPJb63Wk7uz7hu7kzJrm/fory/Sm+ubgYx9NBqsfj2gZtfHxZzwfxtAwurk5O6uX5OD8epPHx+LTG88Hr4zg+PbqM6bgOXqPY+epJd5k/HB8PLsY/ntYyOK/xePDPNxFPejmuF4M3F3VAlfyTwZ/PfhyctXZRLy8G8bwOTuPlm3NkPj778aK/zF/r+cX44hK1NIDkXNbB8fgtLlHf5eM3F/h4fDUYnw4ujs8uL/63ePLE//3J1/nsFI+VLwfTpxuMLwa3qmfw69cDvManl9LYAc7AxXGLHwajrmTPF/7653+X+N0GRdqRF8aEoI0SYUnu/+tPf0L2I+iWNiIIKWTwTtLi3N9/9ye+uA9KSNMr5pLL/vEvfFXrBZlghFdklNNulv/i8vxN9+xcWb9OTz95Pv30dvbp4vXs4/ns03G6/hifD95MPl9ef8yn+PJbd6/25jRfjs9OBz/Wy3+PJ/VgiIaBsJyiCV+/QXueva3n5+NSIQJo2NOLwQGKNz79cXBST87Or4YoIC7xquafICa/TnINvvkry9RUDv8KAZbf4Ja3bxobbvXdKWQqHo9/qQfTAr57PP10NVee20WZZW9plr/FWyXqbjjXChcjSOZ/1It6/rYeXA2P5r69Gz6f5T7ANXGtUav14kA8xt/cj33L9BUw+GXUfT24QKYL/OGCdILTh9NPcXjr9IuIm/0yfN4/xuRO/c+La+j7n+Prg5n+D3I8Pi7xMg4uzz9a7Sx8pP6sg4lq/n34+MYBun1A3j6gbh/Qtw8YHOg/2b9PPri/z1XVoka7PH9y3n/8f2403/Xx/5q7Qjo7O4ZhSnPXbJz1cnxSoY4nr1/+8uRyyDlGZ6m/0C+P8fv44t/eXKE557MecdbrC01r9fUrmKMb1/9vuNxwrnbnrQCs8Gh6/W8vDn95cpyO2NA8uzjkN9wDWnvzzK7A3QncfPjKF3nxy5PzIdKIv0zVefqqxxf1OuvL92VFnl+ewCK8kMPDw+7Tzbt3Tzfqs4zoW3omr3//bbG+XOAhTh7jht17d4G5avvlycXr0cVz1OVovnKfc02MZtrDX+NopkLPp0qzWE2mTXdTjB93jX8BpXg8FaSZKhQ0Oj7OWbqp3kwlZpmq9M+A6hiJ54ta+PhsxI/YtezMEr8adwcXtO60QBfjY7jIUbl8Sepbks/K5RHdzNnOzmdK/RNu/tOL/pznh4c/cWEPHvfV/naIikXJDyZfD9kzwRo9fjUe3m59/nnEvy9+FDQUam8ips8uFgnnpPRlNL745/nlAd9+8bXi6HVpBwfHXAknw0c/PL0o/f83sx9M/V28uJg228nl9NPby1sPN32uRbcso5guvuvE8eI1Hh2iXl5QDcMywv+LS3k+4hs/klbcej394eYJyHl8/qh/pNP/jOWgDI/g2fmRiNzt04eLT//h6UF5tCD70x8WP9Hr8eg4Hh6fvxTfHkc+u/s2fDYxquLWWWzVXo9f/vBU3rEoOGxu3XTwr/+KG7wI4fYPt01ZLzgnI1zk0fHrw4Mfjl6Ph49OLu885FzJoctdw880Io1OLrsDCy79trv0QXwUURHT6x+8vTxMjxKO3LnPb73Bw2NN9JZLd8wm5S30ZLFt5Cwnl12Wt5cLjeI5TOxJZ5Q74zn98vzu1frsMLMnR/PZj66z37FYnT27aa7mDNJiyzN1xKOJFWAdgGWceOO5o2+nR+X8UdaBqWOeO3w+D00mbnru5+M0PcvcOBynh+3f8ayXz6feezTnQ+48deceJgLw81Snzx9fe9JlRnkdqBdHPTE5+PnxObzQ8OjnOeGb/HT08+Oj7sfDn69rocXR5dn/rPUAz9jS5HNa5nv6n6fI9Z4HWFrkdvDuxUgMJ/hZ3IAT716OSBhlhSFjjfPSKkHTrCA77jr35OC0nX44qu9es3E6ejdcVv7ex85qtdZlj7DwCaZ37G3gD0eTG/NlhgsQ/6Ta1xGBeyvw5xeDIy9EJT38eTT92Fn9n1/Ojk+O3gFxx8+nn16NHM273p9fwcsevDo6fkm4+TQXrN+rw+MhLCuu/9Pp2eXByfDF6Ofh8ejkeWcTXuHDb7dFso0Ofj7qch8P2VP0Zx4f0nB29G7R/vF88uHHWRlPR69fjUbiW1LPdLghK93xO9izHZy/YB7LdXA+mnzikp+/nB5UN+uFX/+Y6fvB+WGf76nh//nMf7wkGv5jRLdAyo+jad6pKPxj+Kg7CY9rbtxiYrUXFnXSXufX7dgVdnb4djPeaMqz67Ycj7S/mWvSnGNQh65BB/MtOj48Ppu06fn4bTz+X9OGPR8C1k1bdoxPtxzGPwBVn/OzH12f94++iecOcDvf+H0RlJ6WJzHu7ptZPOvalb519AhNjv+tvMuS4ghXfgNLhRMPjx+dHv5j+Hxm7+Z+6uSt//n2JfKdSyDr8xmcWnQRznD7Mm/FKB4epKM4fNTgq6dHaZQPD8pR7o/etllvxeHBWzp6K4aPfnz6wyGUVnz78zWyWWa++jJNK228nvWYnv7z2TnYGfeE/Sc+HYyfkh3eKeikSHgj290Yb3ziy5cHUoujg/G/4KxHSHg9msdSyzg+g9T7/Md7jS8chPj23bOjd9cW9+nTwXe40I/1nA18PB9fvjp5Njg9Oz/puloG8fRq9tQT2jxIFRQDeOTN8eX49fHV+PTHJ9Nr/WHwSz0/m+U8ia8v4PgGZ6coYfwZZRoDQ40vkeEkjk8vBm2MI3XAQOcSJ13gqV6/ubx4csf1TNn7m7Uq4IaXZMP3bkR3DWi9e+ifo3c3zOY/X47ko0ck/fDXf76Eu5X+eT3s3n6b/Wp1/6PV/Bv+/+3uFZTs8yjJefD/9ekQiP7atru0XXT65PbdzedvPblzd+O795382t3y+o5DvsvdJ2cRGNWXJnz7DgJbj0wYPnv34sWBCUf1rqyjhf7Cvb4XF3HaHcQXYMM2+YrS4RLDw8nXOnz053+Xy6BGBxI2b+k5pHSkSWtrFFmnfJBeSkXyjkGqt935uxc/DH999wjVdXRU5yp08itXOmd4igyHh/MZFtTLu+Fhfd9D36nCtR+9P/uX0cG7ox863/Lu8IeZef7ll9Evj36ZN6wzv6CkNF5YbciSDELNVVAcxUe/4KxDpbWXzngrhfXBGrMojxM3/y3Io28T50V5lGYUK7wNALSSFl7HWQpi7v8FeQyQMAEQB+2U9VrSojzeS2Vk0EyztROLnsvefi3I42yQSsz9vyBPELf+FuShO69FmbT0xs3/vyCTFB9Q1erOa9HtxHsuNZF4+egXpuNLhHxCMz6CakOjWfeWEKHut3cjfrsj56fQi8ODzhdCG5/KZ0fd23D4lJVz6utG745Or7X1hpoQQT6cviUh51xB4F4QQ+Xv/iSFd9YZGxb9ZgSkW3jlF1wTymacogCLFd7/66Irax498k51/y8ocPCapJ3+vyCD8jded3P498oN59D0XrXpK87em8fcI8fn90noB2WC+Jy+vPYb8dHEYU0pDg1fvJh+Ph3e9YTx6XtOODpdik/7btEpBF5bMd4u7h2YwaYZVXsL6Mnjn29mYv1u9jnNAwLuLXv5EhDnpRj+GiegJ7140SGb/kerp7/hGP/EgObWBZSc5sGPnIeRzeTadnZp2/3k75w9u3l/69mdZzfu7yunx7ubdXeZu9TdjnHX9Ymn0UE6fPc0Def7P2eDoCP88vwmpE8v8rfpWV7WlNzZu7GF69D+u+FL0gut3OTIrNvm0bunB2zz2N3DnFgLiOM03B6EW96mFADq/72+flUvBqfl8vxpPW9A51x0LuXZ8dXp2ck4Hl88Hlyex9OL43iJwgHFTwb5//MPf5zh/e/P3pzn+mxwkcevr552/4O/PSHzhKbHXteMiz19d9Ge5u6mT/mmT17dKslf4uWrwZ/H6TyeXz0efH/JR08Hf34y+MvZxasx6MkB26ojCkEOb9GDnq18YJUP8rQz6fU9+OlqNGmD56+7IYmr4Q2luJpvGrgT8e0P1yz08eu5zFejK+7tBwKVpIyVCuY4GHGjR2Yy+B7HxzdvAvy5eIDwF1z06nYH90yXg8XlHW4UPKAMWTVv/Gc+vYMiAgCLgpNCARkB0klanBMeBoJklDZBA0R1PseKxXmdEEpJg0eGsRBGOAPktSSvMYaxEimenRR0sNJZLxaPmcEwvc92dwO5o/SoBzTGEkARAcwZgQoPVi/OabhVHO7s2FdK64ILZnFWfnYllZfBiYDc0nH9Ls6L2gGG5hla8KHAeEpLbZeVVgfcF0/fgV2FCgEauJOZpWN08MPRFQDWTWO1uItsKgy4LwV49wUNe8XPbzV5AGztYS0sYPCSfGxOUC5k1Hi2EIAYFmfUeARHXRUZ60nBmy+5JIplAIyUxO2F4xOklktKKXFfQ2imAGFyCgxELbkqqtoAC0uH9g/GWRY/saQAggEUeQ/BN6AI/F0uyQugZZSBXCkbVAgKZ96ugdXEtCsAOJdHKYnwVBoPB+O9OKe3AJ2StPDeBB+clkouzqmMDso5B7jmcG0f0KxLsgZnnPBGkINcC6NxXaOWlBT8CGIMpOYd3sGkJMR6cV4JkVMKNe/Jo04hei7IZTVgDQQECoq2Be9UKIxflnfSBKgDck4ynjbaLlKS148WOMGnIMPQnKcLZybAzzMj+OGIL/Ds2hDfHcfphpWnncGzAefHs17lx7NO5Xs80dKh6w+CdwcnL0fHZzwYe/Ji9Gp8w/uc3JhIdHvs/e2sLyCODo7Pjiaj7NedwNztfXJ70H3mP+PMgcbhaOJ74/D57Pc0+z3Nfk9zxeHHHuV0lOMNV8eHX1C1s8fj2jl5cXz27fHZs1fjx2+f6rvPdI6mjke4EQrLJ8zd5XJ0cnhRGPDfOevV6IfDg/gIZ6ZHOLc78+j8Zta3l6NX8OlvH716+sPtcfO7MjHrCr6vg3lw/wgfanrwYgANujs80/9EUi0aap/+bGnRr/M5lFiW48ZtzPtyzed092W8cfMPyXyjHB96whwuFu9qEbkWp2sptlala/V4z6k2irWZUltAKqUJ0k1o24SrtSZTm6TafHz+Qbdc6Hg/5KHkKg9188FaQ4FNbCKLBnjVKFCjqpvUoUmP8lfb4KjxO44bJDyntLnJVpoK9PyDb7vyw90oZ9MyN519Mxr1nUKzMjVrXbMtoLyuySCb0rppgZRdMx6/K90c+eZSXKGcX3+cXCs977QhzXCN1tdrt35zxYlSMokkSWa0ekUthtq0jQ2+sVkSqEHdvCjNJ9N8EaJUYOtaSWm3rdYno2pTTaBlBVqfms2xoc1b0KJFW+Huiyg5EJEiFSKZEsl5C6mBxBB99NZfV1Ht+k1lWm1Owpg430KMLQHBRatFDZUAy8BNBNiJJS+g0rY1ANFmjWvOx+Zr2ZqiRmdb8RkSldBehoDBSftENiYgY9V0zM1EKCeLk8gtGNkSuIwFG8ikfgdF/fqj1MbMwdCqLimso/R+bUkSaB4ou2OOQE4GGEgoSoWiVCgVNUiYaVG4loGeXdGigPsKG0gpKFbemsknl1mwLUw+DBFEupPklluEgaq5gAhUmCVk0lD7FAH3K4H9URTUjEs7o/Qk1td6G/HcjRq4bEspC6myiClC6xNRVqShNhYWwEdF0UpAEYHW9GhDdoxxa1qfcxKmKpGcgYWO0PpEGobJyUhBeYqF3XFrzrE1gtEuDgDCCyesyNbuiXsmtY6qktxAV6smiWTAvR3amJs9Gd1sUKg9lgvdEs+d9U14yEbR8ANgycpIMttrf5BsTVE6SmhXR5BAGJIobcsss9wXUxIcdCSSjRTkAp4JMlsohkDZ2N3R1U3AFOxTELZFyHcVSegcRQxeVAcIAlCiLWqmMMK2hNqgnKEBaKUQ0IZZbk1XGdVZ70VidCfgC6QlnQs56GyIhhIMb9GQL9jZCHXOCZKmnHAWLIjKznnorzeqpxmHkqvwTvIrE0+7FvOEqYTSQPMNpMclWAAcSK1QSbDwKrUkFIhnFBLS5tGqGV5ByAQgXBgGf2LmSW64vs0Af4xWUEaqoMkofwNuBM71QuMhoBcC5oREBC4M8HMqw2ZU+BLYjKK2ZtsqUGuSphXZBACRMEGKCFtbBQwZMJFqFejWQq/RMihjMYoqiHUOvuHcPfFtUqzl28L6vo2nktgIPAPcAAYPx6ZJO01OaOA+1CVsUYlwJKa0qgovQhfKwA4FSEnYWvsL8C4COSEN2+0s8EypBIkkoE8C/BQiJDyLFbpawb3ZWQmwZthVBx98e6zgd/RtkoYbYHFIN/QVtIEqqkMoKaTBMzv4kuiBxdnywJ80QRL1AwgITADcB73NxW9PV3OCcqI1rBEGmAP0QcRSYEd43IK404Kn1YCJRu65g58jagrPU/AMRu49+5R2Vb8k9Tp6L9X6eu/gqYIDQoLvqsb0nUmw8dYyF02UoF0F8tN4hNBp4BQ0j/FoRy3QvNvT+wqwbXkqHBAb8FEAl0mwUyVXggOW7LwyPC9sPXAREJ2yAtQLvCwwL9sdvTfr671Fe4TggTg0gWvDZINwFu4OrEAZ0CtSokSQTnyXwP86G3LOUcB7lnp7em9hgl2RknsIBYRHBXhn+JUM/GAtwRSRhrF28CdRAXOAf1TfpEhSSi/3xUf7tXR1A4zGvYqw4ECg8GmQa5Hh1yATRgGNos2jybDvmpooUlQvJUiFUQZ5NHR6e3ZfRJ4dwgO+zJXhexQBJ3oqMPooCsCjlEpZvEE0wEN1yETIB0dAKu2Qrq6Pp8hkQd5qWCI8N3caOQCQGqXCmxOQ/4B284lkggN33GMM84ZK8DieVNhaW8EtU4tNSmpSxUZaiK7BJE8ZUUq0QCQ87ImHHYWPdsgTdaOMVG3bI/759Vq1NxvX+eAhU7XamOnKg6ZqvVFTeAuYXfCkJgw8o0PLZpEjew0pGrwFRBLsqRHP//FREEAA5SRElQwK8ifmrmqDfrnMvh+8JdQsQgwiJQc/mHhCE8kK3WqdZhF+EclEkaURocAzQdhdE1vDMAzVvam4L2MnHpGBrgV4RoB1k6vwqQKLWeGqFg41z25Uc18uZWGb2RO/qNYaN1Xr9/XxBDyRwHuqSV1vi5SoL811xh5HCQO+qpoQssqOG6oM1pEN2sKIuL2+PpEDMKnQKEsUOqEcwKuAqaBvNyfAS8gwzKvgLaGCBb/ud4fYGb+o7Ab9DMH1z8j71S15AeMLQH3wdy0kPOjSqXafsK3e91JoE0P2fVn2nrvqlUdO1VpDp2qDsdNFL2m1+MDXTsjSxy3np9V7LYZ7UAefV1t9Gh+t1xo71fKh/fdGV/VDW+2erm5j7NSoVfinDqv6ee3Wsh32QR73xnb4h7b6PPy8oXV01TzgvL3RVfOAyfbOz6/KxY1b1UebtfrgzANm3B+9f8BTn4uPXqvfzGwHo1XnHVJEatUFfI5mW+1fXVLVZdy7qerJVm+oepTHl1yDsjU4qiHhvbUadajR5xqz5pUTNUm/OwuN1sdTNRlVk4s1RVMT6iLhL4tSs4w1a12zpZqdqdnXmiN+S/icc0UNIbWttVUhX4tCMq2WQLWkUvmvSlOrFrWaUKuztXpVaxA12ICEUjqFlPZ+HPnrlepzttpIfshyXWc/dOzZ+lW4v9Wr4gor11uxGzxaO0BTY6mhOGhsrFFBUyEFMfFapwyNhXRbaG7E5wbJVpBmD+nO6hOPPdv158/VInQtWtbiMmTeQOJbrRQh83h3ErLOa495ATJkv4XaCAm2q2lVm9mefjbYkBZkbTAUDS+hQhM2NQHjKXJuPHGOKDZSspG2jYxAsWFznOfi74kvtXYdX2rNBvbZ25og2SnCTifUVWHphf2VrWaD94D3CntICrZR1BLxucFYw5dB/LfW/rUlyBykE+VszTehS9/2VTUSpZE0SGh7sk00yEPDe0U+nkQp4u740vXnz+HZHOQbz2kg3wHPVRSZZsh6ntpqyEVNrkbyWhNgBvloyLM/TZL96tbaKqfEVq/mgvtWnjZpIT+p968WKfDeBxp2BvZFsZ2Bj+WlGiRqs3nv+a6Tq/olt9Z6CRs22Kohsw2F/Yy+0xle6t1tx0AFCd/h0yhD1hJ0KiWk2m2NQE01Kba3AlzK1KTCPbUn3i+M54n6RBScJl6lG5OjRJ6AMylFQalISo1nHMFe2bozeu9oAx8NnlCcQwI29YxPS++rAU8L7GIF8qgGOgS9gqLBVvJeG2gwh1Ty1tpKaN1EgjwpyFKEHMEey4B3yJKEz5YFbRlckxbJeLy3PoXcZHR74qPdWmsc3PoYjZuSeAc41zJ5XjOkEkVpKGbIu62QdUGgVlRkomIVlegJ9pV4B5nS6vZ8tAVGBCKulm06MCOcUA2Qy8iC6nsfLh38OIso3tnmwwHwkwlrdkdX18dTwKKNJyF39lICqsiiAZdVg6ltqoSmsmgqRBzDcZ2aMrCozuMYfHfc4hrrECgYDzQvKZoIOxoIWJmyJsqN18oB9BGIMGQMBaVmE7WE94rUPtd1u16vwj+9WNnPr7Xmwq2PGaUg+ANg+BqBtSJ0MIkOawGggdOp2jl9BX20EFj4lpYN8HXqLIcwYnu+g/GsANaALnQYw/NSOttUtE0LXjEEHUIBVYH+RPzm8ZvH9xiAC9Tu2I4N1lx4CY2TikIu0EnXrTlJygLPOAKmpuIEQV2pBtZJRS1aaqVIIa0UZmtcTApbeWtMyFPsbXuCQU+5l6kSeAkb7/UFmdLg7EgJ3J23XAKWE3pfuLiXa22lQxv4Di97/8ELWRJ0QIUms+p9RTVdl4vWoWnJugDfUST8SoFPcWTq9taw81IgnyyFAByiIKs5UtIZNAH+Az6kKLYqkNUAJRYBfoN4gS9klNfT7s7+HF5tYFcLdK7y2hLIfmVbCpvagHVahvgzWQK+kfhs8R5hV2FmAdPAuYCRrdueXYWNFCk00UojG3nBaYe/lTCwnQ4yheRgYx3ky/AmZ6mzt5Av0n7/d9DyK++t4dfqg/ObrIu1mREwbH+lKDxF2PXO7sPmZ1kmeAzETheCk6TmOZA37H7UkMO0NbtP0ksyhjeJkuRg93sjP5F5Xl3HgFf0/cPOTvawVJO+2rY7er9BH5yIBjYarQX7S5r7RzTsNFICpjfQKSi7ZoqToEe8RCoofJfQLSRtt7fJITF6auS9ppCA772jBH6YuFtHAeNHB64YgfE1Vdjy5gm43vJmJEAYZU98dFir38yvj9Eg/yQpWAnFlABkkupE9gUaXcDIE+/Tiu8SNl/js+eVW6wDkBlTt4incc8M2w/wT0CQZCGrxTQJGYUkgm/C7vMWp8DTGrKsG3BF8b3cxt1Zwxw22GcEGkDGgx8AN+N/AgUiXo2Ykuh5Lrhtj1V4IN71PLfxhh8FOrA9PE0eNjVBllqRUiYptZDSwH4q4GYF+dISKQBeQMas7G1rUj2WcOWLWcNMwn3oQHIIqxD5YFbeZlOtNZDcu49ieXFkI8nDlKYbypHA/d2uwxJEqUI1fWm88YHRthnVmpGxGfGpFzGHDTas4+EcBYWyRN0gVPAKQEb2nUoygMBWKhrkIIHA8ra7vDk0hF5wXI/tTcqC8W4SN5VSRSkBpGSE0mWSsrByUU9abeR9mpB4/7A42ZA7rwjcf1fHuNYih7DBlsKCdzTjMTzJa/AF+A/eY26oRRAOkFnuAoBUd4SjpmaMb8ZzCs3Y7TlGYwrvekkasmhDJO8AjoSmRAVuEnIa2SkAAkUGRxn+3RDvKyyUgJyW3XGMfgMQ4xi9BMi/hb+JUgkllYJKAKkq5rABDiYEnu/BuzbC2aD1Uu4HDUXaIogBeJG6dTt38ABlhExlyFQzPeiOpSkF4F0BugPvMs7bQUOmEixmqvu//bNYPSSBWGvJBCzwBruJd7twC5KG0FJqsldFoOjAOQL4K1xBURGm31CVse8XUoX7ppnDbs/0T/awkR4JMq2g0gqqoCISNEKV0PdVJpj7zHON8L1AFapg47VDe0DLDey0oo4YkNe9PnG8A1DFbpDdwDlC5xTvYxdBDLQD6lDNsG5Bx6zY3mCyBUIy+L+lQDJzkEgO1cMbiAkUO8My8z79sNUxQKgK2lUAU0jeRJE37duXTaCFWU9d9QbWn/dwgvhLbnQB0XdQhQRVAPXRAKGaZ1sw/eh8NkwvqKEQAgkIiMz2rD8KKCyjCtNFRkHT9lJqqUmgCwksLatpyrS+2wXewHAUD5GadbRD6roBrLIhA41KPFDmWFmkTCZTNQHAAraIHl5DBQpPLpcaagBYLbmPMAOyxC32DWre6kRK2FgJPVSATBowW4PLgsxInSBUxUoe+heC+wUFCxMShEqGz3Q8mcistBH06vEeSIT1DIjfxIXIfq4PuxDZRRRo0kMxU+lhPky3kr6f9wC4pq3lwCnNwO3YLfaBOdzTAQs6oHfe+1dUS4qHQRyHFYT+wA6mCuAvQUsbXEjI0B3TPY6gHfL3GwR9kCLxDI8O3EMxge8dlJBSr5TZ4HGVNBrJeGksTwr0/cRAhc96i9Ye9S4MDxRE3tmsEcrQ7ewHIeO+VIVyKaObcrD4aTJQVeAbggBl35fNxWjNqA8bhH1oDn7bAel5DqUAYF41lBHsVhtBtgBHSXavljKcZvGVqjX9MFPwUIMtTiuAyyLG4dy3nlhSgUXAKnRM0kjZS2gEyyhCmuokBzHqpoBHSM4ODSvTJnEfRITqQbwFbCmvawAFbBSA1DRUoeSmfOrH/HkuWXOTrmFAZWUZom8PnqNsLoXmbW4+ZRGz4K2XCS1Hmmeq60DBF0qWKFdwPpF5URVwCYwxyc8gMtPKG48QufV0325g/eHnRGMPALzvU9/L0wDNvJUGHsFEpFKllVFaw6F+QQt8hFvn0dztTf8ixRY/NAL5IGBF0D0wVJ5CrPo4ckl3MELD2uvom86aB7EaPFczpeyQ7vtN4jPxVv/QKVjrwFvXOi+Sg49zlUB2UCeCXOGoHZ5SjlRMAnsHnzdabnFds+TN7YlDhrvWjVcpYUAgldS2SiNYqErH0azBO38uGVTOSSCwRnVvXLVcrydNbtCTxlsSdysveDVbw+cGFYCPgy9sTIRVgOhzEAuZAXyQkgSqjt28I6vU9qx/ge8JLKkccy9w2EwBjyCyKSSEA6RUYKmSvPYdys48ypp5yZjlDprdUVcpN7Ct4BUE0SeHJ61Fyii6duIg5Bo21wQrLfCMhe21NUuHz84G6WB7XWjbW0JTuZ/E9cswKgSKe895+iBPAdPcdyKBpHUzljcals0CbgAJNqciqFP+DJc2f/1BtXsdnknfF7aY3r9p2XXIN/+hA9ikxEo9B6vH6qDVgnXM8YnIPKI0DwgYAD2jEy1r2c1eLbJSHzFBkjU8TTRQLJoyXHrl0L/GfeogUhtEqJBCVcAlgXIjtS6YGSxZBAjxHAxCGpBnS05aEGcOM++g+hwognsj74SG/4Qe2POglwYD0PwOcmwAkQyvKpHd5DuVuTsU0KgmoIoEW40nIN9FYQsi740H9ut54A3m9wW0dQAADSCVUcFMAoflmCAOVQQfRSmiizuowWcsr0NUhkNNUeG+17C1dZHwolaKxHMxEyQVqN6CNBeUPlSpHYiyZoIMxwPC7AxSRm1CPXnE1/sdAswbBKmQHH/Cw7QorycLQkI3x0DBg6lQeHFI06Kfb2ChLlBZQBbdAr5HobcXxrhwIMfUEuxE4jhfvG5Dx26lGMyKiE6LajwRQL4G2OclrSHobqJaCZ9BGGO18k4dpNZafkFqg/mCDdxF8OAYj2UU1ikDnapSGXAb8BnNkfugd9az9VfS1Si98dLHIIPYWixjGWSRwRjZTVnMvrP2KnOfEPX9QhXvNXdrReAY+viucNjB5xb97qyJJrXBotiU0RxAtsAgHD+rlVQbDHBruQqeQWmjFYkDN1XfB9yrjuCuefoXhyDaXoCaFqgbgeDodcHJjh4UD6GCsc5B6lAAK4K0GnCCA5lkBwNtePhEBl32JpixXU9dNwBrAbwqFMe0S8Jbw9JD5EVtHIVPk+mCjGkorYYKaD+ZPcubhzi0Sd1aiCIOcMXeumUA5AIVLRWky/DcBduF4NYcbllysFJgDSfg0gwZY0AriUMV7ZC6bhD7K7tC1cBgVWAWiRYTqp96xssnioFWQA24E1Iwuo7SRa4HnhMrZNhefE4ZmpURqhmhgjEpGdFg3Zo7YEKta7+OA0hbW4EEgQMJMlk1Bwfh6+e6Jzfp1caxV4++QauF35jTLsZUoDq5eg6XAx8AP5C8EAFIXSgBxygsUHsISeQCC8sROpsjkw13T31qNrpBzAmKvE6hBgJylAJ6QqGfXwFaArsBnM+4JENvuIMpeOB8uA6VgUU0DOPWhm5lBNeIHAqOjAQX4rE7Cd7fr4NybHyhM4DnbIR1gGGOohkhG8xfcy3ui4tbL+gEbRB1ogXlWmqtFZNbsaF1awFcF5oPSQnNU5eLhfvwInEMYY4aFgy8sSO7veEb8rxBELS+GDhiDlPlNXf68v4vUlkexo0AOiQNJNaqAPQsevQMdB3iDrHRDcJOyBgg/miK5LIEMpWZSGb4i8zjVsxEIy+t4qWBUIcEF5LhQsBejeRVwtvbUsmrACoAiwn3VTIAUa1CCCcEMAj8HvytFiY4JA6izqF1gaqswtMQL/Dcfza6eswIWi9oBG0QNaJfnMD7pmlFxQM5WYCmxgpF8AAgD9Af7XkfILBSeAYLEuGclR76F0LdnvW3TiZOJcoMNpwzj04pWZSRxQCCZ07wAoWHGaAKBd8BgXliKezBDun+RkO3vpsKEUGxc3ataiAQb4BCrBApCJWq8L4IFyVYqerCPPLqTA5cSm5rY0HAcZlsThSsp5QKGBLIEi9n5RUhiY01d37gD4TFRCv5j1mp58jGRe2Lq14vbgRtEDhCRtdkUqwCEH9w+GK1LLVAGWHfbZQ16G7fK91EN3NBN6hCAysVBml7o4HAiA0Eq3mUJ0I1CxhzzZDWxngZ0NEyI60CwEIEHtHRRkR4gUIccjXsjrpuEDmCqIQuarMzgkKJvDclVardipRuFjNHOq5Qg2T6aWcVuAUN6oDCvfXbY6OhyOQBI5Ti9Ymy4qlr1rwuVDbY/FYAAlmAeKkoKd4LFCkCUuD7J9hBfGdXBtsPH1i1qw2smtUHVs2aA6tG8VIbyzvXNp9Ctz0eq183U9NkYQSnJBhmJh42wH81w5FIISDQn5rKmg22OIEjBGoxBABAzvPShUCZt7OKHCMY/gfKpvCnpeh67EyLPA9N2shzJeT2FA5UO8IfpmKhcDybPUruXhBOMexS3fyr6sFsuEvI30574x/XG1g1GwyszteU45nIVXRr7JryoLLwPRGsA4gI1lbwTtOF6Ybl6USJaHtrTkX1oNAOfiDVbq8PVxVFXylHTbUoKXi833qpEtyDydL40FFamzPcww4NrphNBla1lBFsMMPv1W75UVXMAaVWPO6lNLRVR6OMccpk3uREzKctUlmxMGULpuQqb/MhTNHCykhAMSSAvmpyJCN7erP/VHb1EAhk1xtYtRsMrEpNaJdKAtZfUYKDLOS7zZsz5QJqK1w3kw6t1O2ZCmwMndKgtB7sY2s9I+xpOPS6LJ6XHTolYPmlD0rj3dniDPzArcRb8k7T7uj+BhEh5h9oYYLVhs82AmwXDcuDbTDQ3O+YPam6tV5nkrx0yQQYa1hrVUg5CBaEzOtIsWYqoLq8cQMF8NqSAS369c3WGWnT3syBWi8kBG0QE0K6XLt5DRXWXSCx1TeobJ+KkdEvUgNOOxtfy9kMAYGEFEgoadCpDOMjdkhdNxhYBc3rHkrzxjs6dXubqMKLhC15IG3e14SX2zbgE3yUitvTCWkKVCFtj8o6y3v6OpmMUcQ21cGmNhQ8ZwMqvkyopoL1uQ6sOrsSG109tAStF1uCNggusUqANhIBrqNGIn7Xjba4v0yHRSSwCG8Ph5ZAMRK4RwYUwXG4lo6thkxRWcrIy5svtxxBX4GPVdodA7JBdAmpgAhVbgBaILUuyVKTslXDlQtdKZrmwNe0X5Z2NppiaVFUwaHasihhbyZSrRdegjaILwFmBBTFgQmcAprKoMDcr6QFoLDIlTdqUEBYgiNAdbGGPPxphD/ttsBseXtznuG1G++RGCwoQum2HAAJVcoVzYvSKHhexWyLFYvSDqnr+uCMH+SDXzonkYpEMiIZWNa0NS4lwLJFKUkUYEieQF8q3z8LAPNub9LggkhBQzV5D21DshAZqhBkAsnQ+0/NV48OQeuFh6AN4kNQbJGSM9TAfXnfU+WF1IEZUoHGaw5gqquQFopvg7uTtiVO0/vdK/JdD7L0QkUnAmQuFC983iFqvkGACDgz6HIuIlkvoFIiCieSDMK3JEIQwjYnrC/CqyCiFNC7KDhwSxe+z28vuIzhTeCMphh5oTIcRbfgwXVLq2wRMseqYo062mJKzNYEMZ/2xVWvFyGCNggRMV9LH/SSKfHMHtAoJ5zcWueMsBHSCHUNwgie/uUBxZzjORAAFREoQ2heOSu05pmNSlhINQwQPJUQVbvdUVe/Ca4yXYRDUkmTbQXyYggEgzIsa+F5z6rI0O1oE7UtvI6a+0T9NG3Nts7dk9OHQQsXhQ7cvP4LjX0s37+310yC7t+K+jorrdQZ8OFxDK5PMWsNTQsNfdbwMjZU6DW8TOI5ghY6DGMEqMMb4GugOQUG0W1Mh5fKXpiYhdfhUw9N+/Xn2Qk2kBkq2XTqdwgzjrpVvtYRzBUFnsqcJMeXVeDJWmlvrPKmZMFpW1o6vd98+jAXwJNt/d7Msvbr7Wfn15+8J2RVXS3pgJThlHglIPiwQhVrODEFGqMYfMGrSVDlm7W7Nf4rdCnCed4yFzTKFThKcPbEC2VAz7Mj3QTxHlpZZumAwVB41SIvVXcGOHh3nGpYf54dP8ii9KGU+HfprpIGApaQZiSFj5mPVM4d5b+rB1WgsN4KiyA376rWQGY2O+FrFYm7KxzvZ2Z5BRGpSARHRz56qYqVOWVVeRJz2trmeMY0sSx9ZLH/1Lqvh1vrAt4F3e+QkAXDEbzKU4gAu5wM+JCDcIlM0BMIF9MgkAEJriD3Zpb1ekEmaIMoE7wJopHCL0s7KwGfTlI/tbr6j6+uMlah4Q5ZA4JKItYkMk/744HsLDgukzRua91VylkOfGF1hRIuSXvlqj/O0LQUbhU2KlePVSHXi1UhN4hVsbcuZNFLNZ7dCD1yGuwkihg1iIAGjNodAyI3iFXBm7AoFaVWJuuo/LL0YO234u/lerEqpNgS4pOOYbwRThsR4EdK2l5IZBMScS9Cq9BKX7Q1YlnaaX8vN4hV8VnZ1oX2tlju0t97ai5XDzMh1wszITcIMyGiqgR5pCKczHAFKZOW1i9LD9Z/U92nLwBXSWeFt5oEx0XmvdsAoFxTqnqxLO2jq14vzIQk+WD990ddPwKu0tXwrmnEa/11SMoYo2Lwy9IDsv5k1HyzBdDy/u2iZ1k/bM/zazHzK4OF1SJWbLm1N1A49/GsY3DdyqmO4vIaU5vEsvSgcB/fP0qxnn8MX6Z/NC0I3l62iihL9ErmpWl3/KOkBzCzb/5xZSq7etwDKddaYSGl+gQjIZYnwVfiHRRDMbJWsShtbZFetxPc54CNNwgC8dnovhearM/SCiVj87fT3rhqv566ug328upr6MH6b01dPzGu0taTLAU2vItCNp+2twD6+p6fOZVdaZRZ+ZXY6OqRJOR6kSSkeoCPN15NWaqO9x7107Q7BmSDSBLzD8Tpwdr/vv5+vUgSUm0R8aXAexdJalpw2t4C6P5+82k//b1yD7Z14U41LZLlFbnG7z811yvvVSL1et1yan34yFW9KD1Y/0+l+/p3wFXaWFJ6ewugnRPL0ufkqvV6PWlaPVj//VHXDXAVx4VW3i9LD421dWq+XoTkr99bz1NRUYu3DJv9vHw++UzY3r8b2izb/XuRzrIatVL3wuqhQeRqoUH2ZrBbb7jwIzUnWhRL04Peb81NrxcNQ5ovaJmF10Wk5JemnXfT5mHm3uc/2G1W3vBDmvXWbJiPtGZDhyRcEUvTgzh9DN3/QtdsfOik7X1y1estszD+wfrvjbrah+WrX+pgt11tsHv16B5ytegee8NG7UOX4efCRtcLaCHtw4y+PXJxD+O7nz8bXT0WhVwvFoW04UGc9kb33cO8uc/FVa8Xi0K6B7C2R+r65eCq6rxBckipuoDvIVYXVXVJVpdrddVUL3L1SlRvbfWRqs/uy1lFHD58YNWvNrDqVh9YdesNrFbfTA1S12BUDa7WEPE9hxpqrFHYGqWoUZUa8Xu0OOrxPVCNUdaYzKemsm79vjoUD8UueIRS8TC6xpZrEgrJ1STxrmJNGsn6mjy+R1tTljUVpLq1MMo18eaoKFsWaAbrkFD9tqA5JFKuAYoYAlLi8EweTVM5BFiNGs/m9iVWk/TrDax6sYEEhFRj5pYntLhAa9eaXEJLo8UL13qtWdqajajZ6ZoDPidXMyQA7bE1CSho+UKlFplr4cjJutVifC021eJcLR6fYXoLpLNAkqugWvE8FYpZjdod/+jXH1itFWoI51LhUJACGgoq6QwSf0bDwRcl+KEE+U8JDZgL1BQNCB+U1dYCQNRsIRwoY4ZdyfCBRaLBDBosIFWJhkHjIE/Fd7RYbWRr06I245D2P4yyXD2SgvTrDaz69QdWUeUaVQ9d4VdiFwAZgt7DbOI7micbJPzWOJ+vTTU0D756WVtoWxOnlkxtBQl63VCAxp4Alj4nQjJIsWbYsJxxvOAzylsE7IFE0maHdH/9gVUYOqgKXFxJMHIFjcShYGCUK5AGrF9teNjmYm25Ndi+JlBP8OJNWNuEClsLoc47Ujc4k66xID1oLByLKFNpQgaURXE0BJSPQ2Ijodj4uYnsm6h2b1z1egOrG4SVaAI1STCSJH0jpaG5EoldYO6lA2Cod4WwtvAOJeA3qHHJOFbd1tS1AkBWyW4XZsS2XkLhiVDw3nwktD5HgeRA7bk0gmSQ4kR4vh1aBLhBWIkmCh4uuiYCxD9A9KNuIkEVE4s6RL4kiDvEH38kxKQSXCNj4A23FwMzwIhGoShKR9FEig7fgyTGhdWiIS1aDGi7QsDAcwE70JiAGGA3jCs+14HVEFZio6vHppDrxaaQYRP4WAVrH1wFzLOGfzBQSgefnmCWBWTVQCYTmADBgPsEIw4Dw0aH/4remguhhPt56IPH/QNSxOcMHaldSZoUCo/gkHKTcClStSZNpZgETk07ZED0BuvIXCRQM8pKUzaJciDKSVGGwmYQM/Dc2vNc2QM3gKEO+MPaw7xsD5wx0JDw9bAVDZi+gYo3GI8GQIlmgb+HwQsGZk7BuMEJZIOG02g4/Lo3sSnkerEp5AaxKSDmFiIPP58h9KyWGam0/lhj1USNtoR8HgmqQKhZaSlmqIHcGuKjFAKl5ilbBwk1kE4QddJUlIPVqFTMlFZE7mWClKqebjC9KHqH1HWDnjQYUKgB8DYAWYPfbABgDfS3ZYbBsK0SeMDB23MjQvQphK6BpUZTmq2pa28rpWgcJhPsCangc8RxibJAkCzK5WBfPfIElC3AzkaiGB0ltf+riNXqYSXUemEl1AZhJaDusPYEfXKw+MBcRWUqFhzKQ58iPsM7l9yZ/zrh6B1NB09mi7w968+YXjGMsLD6MO+RiyCYAfaQQjKsALyIYIANR8FG+1ilTFhpZ3RfbRBWAjoCfXEwxAb6rPAuU+/eQHElMIyEKZAw4rJApwr0DXUkm22QEOAVtz1DHWGcwbIy8H0nVKAaJQYIUoJfiYBXYGooaFUdhOBSsk/vMaMwe+Kq1XphJZTYpCdNML2N0EC2+hB/VGJDSwsBACQBfiAVwkyAUAV91wEuHdIApC399jpnZIY1L7D2GVIJRio9PrvSS2n0/W8tNgUPoRQkVLumjO8AOED5Dqmr3cC2BqBqQvIQfcFqgJTBicDZK4x9tUTQDqpBEfdQowU5Gm3tu6ryFm0rbCpBsCQEy0Cwsu2hRCdUFkXyfS8fXLVIrpFI/SmgbTA9X2gYZfX+DcBm2e7ftXqW9cM2Rr/OLlZHGH6toWnoMXQUdF0B1ikmVUwHqph4GnglUIRelzPrcVM2gCUTdBnJyuefWks32UclglEAImS8FwnkEyyVAruqNbQTmho77ModzcR9aKBHQCI8SBEYkWxPSzV3prCGUt+h4vEZzSAUR/0F6rEZGooUubeTiyp78x+7fph9caq01qZ3imgDWBUhvgQBhuNUzkB4IewG7xrHUbudgwLkUj41Be+kCtOUCO6rKHm9PVgFvpvB4zJDKQnOG1zvSwxEIlPf7PArzcLdeyT4FUZbzcC32B3CwKQ2QEAWnshC9RycpYMaet139LPv9KrvA89wVJ22AngSD2DgnbGx2CICcrHH3uC5CghIJSQgHxWAesB1lYewBfyeLPdogaYXit5DqCqAQ9t//rt6+AVFdj3dNxtY/8YdhaArUU6svwJFgU45UJTMys+6BJ0CpWklAEZHKURCTpjVoLdn/QPzXshwgOWP+BzhhZKDUwLQtxD74nvnBDtGSvYib7lbm7uzww7pvtvAUGswiAy9wbsCEFXdH/SJO30r6xE+w1cr6L0mST4pijCQiaNkJ9qaoc7Q4QzokKvj8F/gvh6cF8baMV2DEGk2zLUXJqBoYUgKJ6XwSIH2xVWvF4tCbRCLAiIPi59i3+nPlZlj3w3Eo5ygJYJHcboha+i1Y/GHSkQzGdWp27P+cEoywdoDUyiYcw1srFEmbQqSxmcc0xmfJZInZwoFbSkGSOoudVdtEIuCMrAI2ocAl6gAkxQwAjg3mCPZq4ErhAaUQgWIvpci8kQ63FIYSbS1vkVJEva0cV+inEz74WFK7lcE92VYpZiOq75PMTIBgGBV0Y2NoNCf6dC0UmIlNrp6QAu1XkALtUFAi374IcBtCNeROA1/qT0UkpU04x3t3H0GLNMpkkmaXDUUUuZ+tO25ELitDJ9VFPQnGCo8lRGYv4KdNri25gIH95ZgflIkKBR8B8naDc2hwDtkQMwGYZR9lqh5KCJP7Sr9ZB48YT/FizunSt/b2fqx+268SasmLfeTm+1Ze9BuyXgEZVQO+KTBsjtY+lLA1n0zPB+pS/guJSmATQtr702gKNPe+Hu/nrq6DeA5oHfXfaqhAom7TsFnDa954DlcsM2gwK3BbXhA8gIV0EgeapCgI3VriA+CB3kUFW0LiYQICNC7ri+eJyVo7kLlfnnTMVSCNOPBIK2GpRTmyO+QuoZN+lGgBjzrAvC76y8psKHWd6OFBhVgoBomhGYickSQ85BIA6FZYAQoydZsa4TwpAaIDgTJw1I826c6C77netvqAddAnoSDxPHYieFxLEIDRyll3X9qvnosCrVeLAq1QSyKTj2kQ/JFSu7VAfsVAfoE8RHA9ALiJhIPSQCu8VQVm9BWAGUJLJC2tmYIGB/sU1Mv8mz9C+N7tv6uGeB9kzL3QzULY2Ch+5YYVBrSqTAn3B3d3yAWBQXDyD5Tdo2Kx2NJHtMC7W2qnz7kAZxb6qcQsZI5uPZsJbKhkcv2DDWrcIETblYq8AwFOEFwyzy9oJsXzORRRSResYCHYZMAd87D6cruzdD0erEo1AaxKNDIiePxguqC0iqgaKiDDroZIDTjuy6ZZrVoNtgGTW02s231JB0gna7b2+IcFj9koHlIKUcQLjxtHLS7GzixSCnDmztY/9JZEwLShgRICWghk9whdd0gUJhsBUwI2megAg4JLk8F3U/5q4b9IXcb8qjXZPpf7OcQ5MzjXluzrVqyHQVUkLChwFQGKmksQwcGGVBik5otqjkIlgtISSIJ0ZIhEL0vZgG0un+76FnWD9sY/To7rQ4WwlqjzCDbhbinNGoHgFao2ARh5AUOsMwQyFagmiC5As5D8OI+DyJVExwI0HdWn3qUWYsNYjUpAUVrUkUoW4lSQQG14NE8nqalkSDOUDoJpeunbfEfdyAmxtHbU7gIfC6B03PshhGtN7DYDoaxNIsydooGJfPSNg+K6yPe4dZzAKwx+7KqSum1FkUovf7kPVJWkVWCPC96gQ/KDuyjhG5ubNcTijoVBlUZkRr3EMSeVlqglbq1NbWQVGA3lAH+XMKXS22c1C7C/SHx4CVP1dIBKfUDMYZHzl0/ep52ZwG00uvPs2uaAUuC6OcGcefR9NQ8/I8HePFRNZ8FlDO0oGMLoLQhlxaA+0MKopjtgRlRE5AqyGogEGmeb+MpVw03zrA78/oaWEvd941IABp8hkmFxQwQKrv/VHb1uAdKu/V0325g/a2TiiGkYhippYZ+6UoS2FgaQpI8uwR65DUSfw6TKUaKJwxsj8rCFGlAPOsAqRysPFQgONsCvEDUCqm1CM8AoWsJzCgBmmWdW85ahLxDo8ybBIGowhPZQtoYsi1TcB5kIRD0mmrMPHIrheXuPidJQ6cCj2ehZQ0IQm3bM9QWmB26rDUMNEiLAZ0yyklj8dlXaQJShFEGJ1cZUAINp2CnVJErQorf1VWvFwRCbRAEArUD1qFAXcEhbIYqgGEEMJAkWPQTHGMDIYTog+ZmJxqMa6vWgdM6oc3WOjNEjE7UKAgWnXSGcQdiCwXSWgEtsuHFlMDL+Cv9mi3i5QIkekktO0RlNwgC0dtWVgOrpM4RKgCx91CFFHhCvLQECMUWVtmmRULK3RYgGuRe0xaRNUXQWdzTRVBYQD6UjiFF8K2lBMaa8A5BK2Cv3YyGqnhbAyFyFwf9cx1ltrQSG109koRaL5KE2iSShJNFJBcFz5nmBcMGLNplR1E5yjx8xavxYKJFgMbyiGDhvhgkD79S1PZciGEXEqA7KFEt0gDrg/lBZ5K0cCvWQ38iSZugP3AjWvvJ1JXEXdw7ZEA2WP7az8Fx/dycxMNTAeAHeF4VWPwAgJNaxu/ZxlaibwV8gHu1W8kC6G1r1t7kycIQ7uhKBXAe0BF4xINURl5qAgGrvp9VRrDykDRmb1LGzIvE9sbfh/XU1W/gQjQob2EXAlgOT28cIDkQnQUdt6g9W3i6tZNOeemQ11nRj+93y3C3t6ZWA2doD0n1UL8gW79LEVgpJDQE4JNALRfeWw+uw4RWnRLCWKQgRNqd/YnUJpEkeLKYU1HEUEWxlgQMlNKRLEXyPCsfeCg3XgQhus5C8mxbG3cQAp5vb1ZZ16XuYVuJ+R6EykOgwPes474zA0Gy0rkkXYJgFctLuiXMbdMwMci//9TcrrxXibLrdcvZDdbUgop3q2p04olf0K3Ec3ZAgeEJPBvaWloWuhXuFSVgfAlKpUmAHgpSW1ukJ1Sy3To8r5xI3vLyBuKBZFUCWbBTz7hfAvGDuTalum5EgmhJx4OdaYd0Xw83o7yp9j3nwCWM8zusEhUMdJYuwFDXKj3/WSs9dNBHIT03bs7bM9Sg2TpDTtAWmmfBwChrtJgB7LPVNg86nnUBnFAA/ZrZJOCEaGCRMFp7MwHcrteTZjcI+0U1wIYmYYwXQZDI8HC1ViILO6sz2RQpGEeJ9y4oPJorujnFUkUGQlvsRecBVcAKwAnuoOk6ZjKk1QRpq+7mfbkKwK8Y9FcZ4KmCLjLwZ693SF032EgOlKKb/KUb8FKDa2uwry01AzfXUWCgazi7lgPwCUUBIydg5IBXpFBCb8+2khPOe2EDiQQnHGIWORvB0wEIoEpD0pw2FHjiHi8NFZ4AsCQML+yr/OzDKC+r3amQ6OXTvGZZ3r9JyUzc7t9mdJbV2ZV6DlaP+qFWi/oxr/ywNxmwTwkJrC51qR2nAFiVTkD5Ay84jnBNSoZgJJCsxDcZAfCjTZ96HHuDQBcygoKYbvoav3MXKbAsQaVBO0GamvGmOTgz3qkpFxhnsFMRVbcxp8pyeyqdeXdI3B4OwKsiCjhHbFYU6HLj6V7kSedEzgU2PJStYvLM6/rkaguFflcPvF6gC7VBoAt40QQcxrMXCIS5SeCqntsAf1lwrI7XVJIhRQizQXYPf51lMnh3W1uAK4HfZeJVHF2f1fLkjGsJeKwI2CiW2EZC6x3agmSTQBfa8PRzKRL8aTS8sioIXtbKO3uUChoDyCRjIAOP5qAW0fMGgJ6Xk4NBbK8jkns/lWKh8t0Cjm5QFOTFZO6FqbCaQToPgfJFJhDqVKLM/AeCnctnQJb96nt5uPWWY7gNpg3mViRURBZdGwz7vSk13pq5gKZqobeHviHVgI8oKLgxLD4vDE1gCBl82RMFEC1APpEMKQHR15p9AUUAPd7zsrYd6ihz6y/HkFBwKFCRuAgoiAEKSdAnHgwDYXagHxKqXx0MZZLZKZkrT4R2Eod4MvTWdL+hUM0DV6QiW7es139Q4o2t0Hr74qr9eiso/AZRyYzIPMUdPMbwlFnBm0VD0EmmDI0MJHPo9sojnvcOrmN48RSOxxp5M82tzWJqPCeO2XCLUiVIK6QBxe27S0GILbA0994WgPjKmw2ZwGMeivAn1Q6toPDr4yolq1d4eAVcpbRxSvu8kzGpeBWbYWLcHAQH9lTAriYPh+1g5RNJwAxVATWqws+WgMTJlETg15SM/VzHsT9sv+xrSVl9dxS/3poOv8HuKDxvhHf6QsMBnlngfYZkUEyLBPdiE6BYsDJbKGSunYpqgZykFUzItmTSGSUWpb0Laqf8R4g/yyGUmoqiVtdtASkTLL6WRDxuDBBEworK+QIUl2ch8nYZxWxxAY6E7Q79lhyg391EiMRrZ6OEZ4KgJeks8H4NHTYpsPKag4LBxggh98Xfh/V2R/HrIz7YX78s7WQMymyTyNqJHKTIxRPv48uzKppToiZIMU/UkllUV0XKFXksMMwOqWvYYHcU4p1qmiLrDdwkhD9DJaylyoNGvItvCSDFFoAogxIX6aDJIeCE6JBja+sBTCkw9VYsS599uGgVVt/YJKzXLRc2jD/L/ayhBcHb14QWBf8VHCylAPl7kVMBI9Ci2CKSdTC6JIIoItitzVrmvUpAywEPNaBisWR4Z2rqw4B0C/N58XBhdMl7Y/XrgzX3i7cka9ihnZHC+rhKh8AIimxwflnaGUPtTBGO19yVBPtchQetTBCaCHiRuJcwQPAkBA5ljjDSPikRABKBDffGVa/XkxY2AGsWteWV7zdr5S3rAYR4VEW10k3nAPihCBVJUhO0lmrifT2hOxE8a3u96AqiqIHmDRC+BSVflnYfWYewQS86gLLhSHI6CpOzMLCxVhbhQdF9ssIDl3qLBtVQEc/hNxQatwqrJXzkFrs9eftwxRE3jLBQxSCtSKUCS/ED+G6fA60BOaIg5zJQOO+NaCllTUXYL2a1tL5/x9DrcWu3Cq/Xq0f90KtF/ZgbZW5eKSW0DGjbxPF4/LJ0Ry8/OBbA2gqnNwh0IWSqPGAllEWFOiEUbxKYINz4s/A51uKZKxSxlm4llpFR2ADlLEbosL0FOBpERQclpOhNoCpKmKRhEBzvESsq8UTsSjAHgPuJTIR1D4acJZ6Wuif+Ua8X6EJvEOiCAFe7Zf7dXGahjG7BgBkuS787lV304j1FNFXIbO4kV3VzIJJQGsfgHlTcnZEmvUGgCyGLFwDpsCrutpWBT8rChSyiM+D5JBpEX1QgexG6KSQqb28DdWcTBS/h66TMVvPW2yhANKH4ZemzorKaaHXvFNbTfT/8JDoldQZx4vfYf7/Vyyu3t0fn5H7m/TZAWY6uJ0LmLiwjinai2m5n+t3RfdoggJhMmlThXTmbFElJ37QqPuriUjdStCTtlKH+PYYIPpGrprVWUGiSw63ULG+LaaHCXiUB5gGPsL1ZvhywDjJK8MEkvaLC07KdV6EYHZIzErBtSdopKqtJD/dADbavrhJswDD99vSZjjLrD9v6+lpSVt4dRZNbz4BsAB8D8GC0VqTAXdQ8K0vzVPsugA3YKweQ1lWKZemLdSHrGxD/+xgQqdL2qDk5YSKDLyO8tCIA5TQPOeXl944X9wotZdBR+UVpX/y9XGt3FC3XR3xcO5+tC9lJdZUfAZxJo4SK1A3ZepcFh2eVNXH3r6zRqGqKtkbcTttqrOn99gief2RqLlfe2ETL9brl5BcKH5UjYSgInxw8QaVUOOBpVDFoLa2fTzuk++vjqvkHejDUO+Cq1+tJk58IrClYW8dTBUMir7J0ipTNUVUvpmlro8xz9+S0v65aiQdq3nV7Am5kXlbDS+Cdg6wl2FnP6QsNF63fv0nJLNv924xeC5tfqTNg9agferWoH9f6PGnq+fTxRXkDLVUPWjr/8tHwMg7eKglOwCib9saprhfoQm8Q6IJrZ1F6gFWfTF3d9tTVKN5701NJWYIqbw0ByeyXpS+D/+qVt+fQWqyn++HB+i8ePtEimURhh3YL03qDvUqCL7JWsSw9GOrtumq91qIIrX8nsAZuvLWJSRZI26QiY/PL0n64am0ebOu+ueqPNDT9YftlX2cXq/t7v54B2QA+ask7GXEgJCkd7961OD3I5EczIF8QOOPYmFVyID6/LO2zvzdrbXiiDT24kL1RV/ORwFkyjqLl6ENiWXporN+LmpuV9yrRZr1uOfMFwkeXKtkUKBm/LO2o7rsHQ/2ZUHO7Xk+a+chgTVMhJSI5J5alB1e9rrraLxxX8cIz5f2ytGfUfMMF0PdvAnotN2ElXr961A+9WtSPLUvlBgr3sExDJI5sF8WytDf+cb1FEZsEunhASNv2j594UQS8DNTBL0rb23wp+S+byrrVt+dw662wcA8zAa9xvSXhiriddkf33QYrLKYP9GCod8JVu/UWRbgtgrVb0523FxNlgynWO+Wq3QOu+lJHmT9sN+vr7KtveOLWW6bh/INM7o0B8Q/g7HPx9369DU+8fJCA/VHXh560z5+a+9X3KvHrdcv5B/i4R7r/gKs+F1cd1utJCw9gbX/UNTzgqs+Imq8XLvrrm59+m7y3N6f5cnx2Ovjp9Ozy4M349FIaOxgPB/hUz0/j8eD1m/M6qecLyFOXAeI0wImvav6plrkmm0ocbzw2aZr+BD6PbHf9yRsfFO9arqJVJ1oTtjXlWxez2Eak1prTSAGptuYVEn73pbXAsYwdUh4OXr4cHEgtjsg+OhgfiSG/HlGluS0MZ9vNyw8tVYsoRUQRYmotoXTJIKFU+NoySpVRqoxSFZSqoFQFpaooVUWp6p1SoTreUyyeQf+BxWooVlcz05WtvDkP77nahCCNxCHba78BK89TlkUIJUW/XfedYqE+3lMsHin/oGLxFCEeTkBKfYkM/jMoFm8palEsi2JZFMuhWBxEg3vmPYrFOxP7O8VCfbynWNxL8IHFCihWsF2Ua8ErNlvsKogr5ANet4uF+lhQrElRPG8rPjl8R7XOx2/j8f/6/fSrONuqyJ2e1aKvdY31jPUq5Imkx9vS/an0667OrCLcn0i/FulML9gs0CzILLgsUVNpkrkvVeNttuOn0q8PFNgPFeTF+rVEkL/+7euv3vv6j/r6OF49uXxycXb81Sd68VNYrb+aPNCtd+Jd3L+ae+CvcIis+GogvtrC683FZTzH7b/6Ml9Pnw6+/+sf/+voz+NcTy/q0Xelnl6O27iePxv85bu/ff36PP54EgeQjnEZX14N/o944p9ISNj45PXZ+eXg1+8vz+Nl/fHqt0E7PzsZfPPkydOL8/x0epjl6pvr3H87j6V+d9rObmX/7g9/+cvtU9jCtpjr4P8++StOlhNDem2Xayz/c3xc/218Gs+vDi4uz8enPw5yPD4u8RLaXN9NTPTbcf15aqIP0tVlvRic1JOz86vh85tXrKdvv++u8qEXm2RbfLXLs8nF3ky9wuwi807jzkV++/opWoWf7GIQke/Helq5ZsogXeGkfHZenry+ejL42yu+Rqvn9RSV1Ookez6OJ6+ROV7AMA0uX9XucufQ83GOT+vpj+PT+piP8/PmszLNiqqv5xfP+ZdBPjtFY+TLwQVfdXz6+s3lxeDs9Pjqydezn3rL0bXM3+rF5aR1pm2FbFCs08vB25PR5NhBLOW8XlxMTKSY2cifas7xJ/70zav69mQAxxkvB1y0bzpT19drfQvJnNz1P+rFm+Nrf4xSlsfTL9xmKeafLmZHXtf405/i9feT+O6P49Zm38/e1vPbjfczavmGrAxYDq4veXaxBAPMCvV2nrS1s/Nr9DASz8cvlHx+eAgg8XZ08PbFCz/8//hnf8B3+d+4+uH475Mi3UYjXQXcePS5klzfcapNg4vRKSR2+vVg+PziSWzI/t3p+HIcj8e/1ANir+Efd2su8WF47Vbu1MDo7cmThYr3BC2e4+UBfr9Wo2/+9h9/+O//4//943f/8c3w8TdPv3mMX2dq0RX98TdP0vj0m+Fw3pX98834vB50dfHkGBJ7+erID/8FjzsaicffsPjVQX/8m7nzplVyOrp15lMcfT4vDLMvJ+X5vBA8f097nfbNdZPfzk4e+cPxI3k7EvPM2k1r8PJ8NDt20IlYJ1Vnw/+GB5v7fgjsceM70MaN78He/E7S3zpgxXydzhf2x3jxbxUPWEf4dFzb5cGtjLMnb2km8C0ORxPB+f7n+PpXnPpMaoZ4vx1cni+505uLWkaz2x1d327cDvi3l9wYQ/5vxF8XX6Sm0Y0HC3I4a7Qab/wmpV5SkpJGLb2s6duWjmp6VtNRS7OrlDhq8WWN37Z4VOOzGo9aXHIZmI1RSS9L/LakZyXyg/CxlydleFJG/HF2CPhMDg8Pb8rVvHy39GKETG7wr/+K6u0/P/4GdnyQzt6clnnRvqb/9WR8ywh2xu/0Mdfi45PyeM6Yzd+MD3faw9d/Hc/Zl/OxgXgiaJBeX3yz2NxA/S/723XW4WAIY5fgScBwJpaoOz58/v4TacmJdN+JcsmJ8r4T1ZIT1X0n6iUn6vtONEtONPedaJecaO870S050d13ol9yor/vxLDkxHDPibREcug+yaElkkP3SQ4tkRy6T3JoieTQfZJDSySH7pMcWiI5dJ/k0BLJofskh5ZIDt0nObREcug+yaElkkPXktMDPIADYMRbAO82gmOMd3EHb+N+/dlzt/rIeGhagPPTMgpEMxfybtSfMztwNZqePTt0eRODvAdr8KmL4Abf9S5ojmn8pEfyB8jweDy87fjT2dnx4GJc6gi//ysBayz2bvHd6N2jAzpErn/hsPDDp3S3b32W+Wp0xZn5ni9fAq8sPwUeke8+/PXd4Si+e44TX8arb6+O4tUzev4bDxv8iju/jO++fXcU3+HYFfJdPf/t9kXG/xLgwoaXh33dPu8GHLrjio8fHl4+v3sKsvKPuAOuO7q8el1nfOwJiMCiu3SnEJ9yNzvadekpsrtL3+hz7X8zO7jYH96ejUsnrgN2xK9O6iVElb1xOz77edBJY0fD6jsmbXD4II7n9aR2cv9kMaibA3Or4rdrSMrN9Di+exyvHl8+fvf4avheYLcioHs/7rnoNHewEP7MV/OLe2v5Fli6YVA6lEQdYJmgnfs6yD7z1/f/f3tP2t3GceR+nl/Rq7wsAHEwmPsAjbwny3KijWTxiXKcBOGD5ughRgQw8MyABKOn/75V1T0HQEIyaZtONoQtYI4+qquq6+rq5jK/4L9u+O9L8T/D8fT9+B/8/xj/+8+O/zWBJmLR/TjT5wI1bWDnl4nR7IdopvnB6IyweTBEx5PndSDq1zNHdsc9mfPtk5+5kG7cvYbJvTS0DDt2AzO4+5GAThQmUeh7PHQS/Wd/7gq/48apo1tmEEVBaN/5eE8jCW3T4eDqW1Z471MR08hxo8jwuW0a96gfe27s8lTnJi1nPTD99SDxdMd2Ipsn9t1xYCVWmBrw8Wzfin82/a070z8JTMMHCMKfcHzpLfR3XR6mCWix2L0vzK6DR9IkFg/sKL1H/SSJeJBEJo8ty9Af/OPEHGY+9O7z0L8zBcEI9RPPgkkYmr8A8Pbd6W85Fk7h2HTuM//9yEh9mMFBeu9twE6Upp5nRK4T3WsGcDc1I+6EDjdj/uDz3wKYOU9924oi7844MGzDd70oskFT3h3/t+wIvyvuPd1NeWjB1Evie8z/2A6CQI9tl9v3lv+GFXuOrydelJjxfarrVhrafhjqqR8//Pznhu14Nopw0OB3ZgDH46kdGTpOICN+ePq7KYgtO3asML6P/o9DQ0+TEHRvdH+gg9BJuRubFvfuQ38jMUxXNxwndaLfQP5HPoCdpDAFguDuf20OtX6gW9w07j+Buqi8M/154kRx6tkgfeN70J/7PAXWMZP7Sy/TtpPYNYMwcWLrHvQ3Ew9NENezrdh5ePqnJtjAaWB7MBPuzn6geXmagPvg+OYvIP/DO9M/4Zbhx15kgPVyD/1ve04SAxMn/P70j+JYd0zb9L3oPvPfjEDsJ25i6HbqPTz93cALIz+KeGqE91Chgc1j7ukghIPI/PnC6O7094KA6zx10ug+9Pd0z04Cg1vxvYEHr9kGMzL2Q0DifegfO6D+fdNwIh49+dzCgv/5JIZbUhjuH0sWC/M7uQ07iQ07WQ07KQ27+Qx1MsPgC+kBB3MDbk0MaJJMbqQFDCgibapPoiyRK+VPDlbeTxtoKoflxS2VP/3LBZ2bfLJfsY/Px3910/PM3fiv7rm68xj/fYjPkydPRLySFeEV++HZN03+XJ32F64SdnJdzfMV5RiqbFNiumK0yOBFm39Y8HCBaYnK92V4zsdsTVUsNnzZ5iyy0zev/vLiG8wHY2++f3fy/Tu6nJ68efXy+d9m/3v65rszRYBTsiiv5iwvsvMMw7cIRZwv17iWwxNcGeMxpkTmm0omJ8KEjzsVqiL8AEXyAkDCTElMM2OL8BoqsHlYMp/NOYiqQsZQ+00OoWW2KIjzzaoayGxJf1sLHWUN9epCYyZWzZZY9q/y929qlS05sNZyrQLIvLjkf60v/qaCZPmWQ5XyAn4QY5yW+8pwySWyoP2rDMa/XoTZalZuopJX2ocSaZAXMkWzQUZDBE0Bctax9vK6VNdhNV9kkVpWxSauVGxAXcIz5U8v3r6YyLfaCfz2Z7M0W/DZbKBBq/nikvcHGggwvqoUuk12i0PrWlicX06Ns06NY3yM5bRsBWOt+jp23RcNDAY1aMgrqsxINdVis1KAKgfaN88Gx/BWW14kWdEXEJWTd8WGq3ybldUsv6C7gbLOFwfasM4GmLe/4Kvm2eAPltiwJmAb9aD2bJklhOSe8m6Cv9oiD5N+voZ68Bo0EPFDOZmeKUgGZBnMsS3C1TkXeVAYpDf1wVjBNNyyZIKZ+zQ53sLXSQ5jvsb3LOEpm82yVVbNZsB9i3QwLjfAWID35vE79WOvzNOqNzY+AXKhkFbkVwSAaCBfzSrUuNSAemP5FvuhWTupm24r7JfFok0PWriGUSf9KTC8WLxX8Src4rYDX95cy5uKbruv5JuzI6pfU1qj1OS0nw7Ea+LlFDGIIAKd5SYGvFPYeiKRB88nTRPALGKqwoX2Ncqg/hoYS8wWohQwyyjtfcRCn3DS99TeVdQbYJJzivhItStQy7wv5gRwa3zR7/3h5cueSu0ik6wJBwNsl2CEO4RSPBY4hadbon1+Na5b3GpVPiNx0rdMtRdl5z1sQjBNjVEgKHTTG1NnvSZZuTfudKz2eHLOe+NiKi7OPkEz64JosQejmi425VzOAOLZZLNc90WfaoOQHiCKbwVzAz4QLiH/azHya1oAX9D/juF4N/d/mI/6/4H0/+n1csmrIouFthlWYbTgtKGUobTW2NvNiq34tmJVDnOziucg9oTYhHmwQF0Fs2GN4m44FM+1jh4CaQtSu+Sg9UpQyGqcr69bTVSrKOXkJ6ujP3/35t3ppIS2eQLzoepPh+C4qUMbv0wHv/DK8JyzowVoiL6Qz0MDXhmOoTqDwdEU3qpYDMtjRWjhDCbF6fNnr15M4IWioHiNNtkC+ihiNQFlrgIgKFKrfeUABUA5oC0ywdFpCedrvOhX8JTQKUQ2So31vFUZFgloKDCppr1nvSPUlev54OyYrSY4x+HNFMA6ZqGQ+FifJBGhgAQRCIEJFkPZcDVyBugrYVEW7ojwAlNq+v3tcBlu+1cquFNPaaiDwY4oOxsIeADgunpYC8GsA7dpCNVyNaHte/rgqXPMLibLbNUXVNbEzwyssXnVJ3DVq8HQINFFt4MhJmKmk/7VkO6nF2eDUV9eHhln7VPsCFC7g6FpdjaZ9kN4Pf1w9rRvDNPBUUj18D4djGh0R/VoaQAf2gGsBogjavTrttHJtJiOx0PjTAh9LH6jX3oPlVtRC0WEnCUWQdkKigRYNQTbs5z0QdyqvTEpgstwsUFOuPwf13EsR5hyYUTbdAjnXWWDL/D2siaNQqkOUB3oqWHyhFQ1Ua+nfcgB85et+qm1T9uC6HuajTPgEDDZFh9A8KGainr/0AHkTvkOoXWil6g7UA0X0Ybzoio474MJB9NiXc0nJnHDOkwmPfRve0/psUKbJYvhYjIxxlK1Q5mjtNds+/9IQ5ouzsagILafjv8Bphdjy0l/cVQMRiNTaTY2ior15suPy08D9vEjFD+SoCwFKEfG4AiL9urjCJoiyxratgj1Vm0rAXWbw4G0+AEtjy/v9222drUdCZzRwEDQUNNNT0d7Xd111z618zt2ugSzgaHlgpI4O1+RHVoZLjUILlpYsWVeVswWPKMJ0bPYJ6yYiEhXpB8WnRxirv5WMO3gAJNtG7E0XYwXn+MxlDCIibS3v6X2I9b79BO31RLrCLbZ3yH7cfGps0V2D/c3N8v+Y9XS6MoEIUCy8vKp05k+IAV+MF/1cObfQsZ77RCn/m4ly5X5C9Lkyvy3JsiuQwf6V9jaswrskT40MuiK4o894v/eWCicXgnmNZjRpAvUHtrLwsyWfN+jySEeifkKBjlfLOQjKfY+Cel+MurVtjKQfMeSlqZ5t2UBx470lE2r3d4EAOAXoyu4Avd/NptMerPZEr3+WQ84IJzU9pP2rDjfLMEAOsE78OWOQcUnySyUj/u92vrqgaBLw82imqDaOpF206gn34KpspqEGjWKtcs+DEFYOjvYXmnSb99zjtWDpfaDFT0VsPZOmBPZKu4N/rNzbf8VP3RIxYxfLn9FB/AL/p9te+6+/wci5dH/eyD/7zmINfC1RAiFth3QHnGKMMLzgmKvYscOBYlp/y0YGfAIfDCMBYdxtQFFdx6CpfEMVOJlWImIZrhcDuM5GCvQJLZ7mRX5CoXVsYwPsy7/sWa3MJtCW7NFtsyqM035Lt/d586yEjcLFazcrNeLDIwfcEwpgFpnEHfjoE0M9LoUbidGZlXQt0m+VCgJGaCc4WB5laE61xCaZvCylVOZAC2RVRyuybc83lR5U/PFX5rM5hfy1R2c3Xiy3zO8k8D1USl1s6Z7A9qbLZQjiHlwyTlAEGvlJgaSlWqs8aIAt0Sp1Rm0IqX6jmJtVGoJOhUtC9xd1BvHWn2tzfm2Dwqs2KwQnUJhxuD4rhf5NU9mdbkBKH5FqMemrHqo7E4si09uQVy/hQDGEkZZ0zjwC6hh0NTAkRy07LS/pdDzOa/CCn450kbdDgbTsYmufmsgYViZ3lKMGBvq4eMt+PdXiG0MboDHgttHdl+c7cBLEbcJbbMtkDmrcpLn55Mqr8LFhHbE6MfgjtIOYl07jsBZAp+eWHxCgb1OwPtmsNoU7oxJ6R0UfEYGQnBkHORwcP58kUf93lMKhQ7QqOTIZRx37dCwtSVwRnjOZxiL7OMXDIFrYDO9evF29uybb96+OD1VqxyeNSSTJzmo9fkY8O70xasXz9+9gRrfvoN6L797+e7ls1cv//7iCCPjTw396VPDH9wSIT0SkfPPlFCBJhPCFBgq1B0tMRCri6KDqT8+OxZBEzqvY4R7/pWbbj/a1BgyoWMWPuBy97j/ATxCvDo7Bul2w72G0tOL8cWRZZ51beuLrtEOlVXLpJhCVVxTZCRclZNfEb2nPzw7OULQxkYAgHURxFAOy74F22ooTHE/FgEmZAJiCmAcTCauTXXy6sbQ4f103I5bveW1ZY7r12ed1nGo+leT7VcToqrXzjboh2CkeYDhmTAq+/BwenE2BPRPL47AURmhn7CPZpPC8ayeQ1hXXqv4NTjGuXdEe/D/gJvaj2nSYTHa9AU4GBzTbDzCrXJiKedoYijC36FquBUelR0iBybo4CtDH8NvE0kjtkMzXf1AfaoAuIpQu+MzilPxbczXIPLpBz1DkEp8KwJ1QihAj8cgF8D3qQUNSim+HdRS5VgKtG+fvXwlTO26R1mwK3WOI5gEF7UD0hZeqT2Jm55aI6mH+OnR+QBqD1HSE2cGdIWYUOmTj911CUIUtTcD3TvDtmbRGl7sNDzTZ7ohnrc9zChHpLwK170x9dVb8nDVfSp8bSLLSCy2IjHoSkg8HZrPz6HR/By0jcAhVBMXKummcvZFLQQFw6SHtPxEqg/mxkyM9fPKT5RRcfEEhDtwoKSOeP7/wZ0R2y5/0/wPy3b0G/kfUPzR/n8Y+/8bDtNxma2yErchy324ZJeXwieQ5v36usDTmcAkW5WhCHyBDFPZimxxDrWXeEqV9jnb+0tm9y9rPD/fX6i5afUOjl9PzKeo/oeGAqYbwae9pZ++Z5kBHlFS8h836HyUoCyP6eyBHRtPWnfC1NOP0zBbbAqx5HO7FUtSi1QpmtHPp62JjWtQGGAnY6HkC8pgUS/DRYmmC5pyQAiCQAhv6lOtxSEAo9QWyC9rgNSgHDXBR1ryv81aa3U9gU22ibBbUUN+zjahRIXbjJBD9tdUB7MLY7K3WTWkyQ8bItjZQCxR1IOb3G5njb9gSCA1yJA4rP1/svKveac2OeT7gcw3+bE1hxqe3DXptzTQQkNGRhLpqqsPaJ/8zafVRFcEp33GfFenW/UajZu9pSEMYuPQxLkSGvhZ2HiUVWUfZky4JYQZ6nanV3FEhDgjokY+1CcDabWl9cPX6vYo3A6OV9dNC9ej0WpL5hVYBMK6FmXDLVo30O52aGBUs+l0WLcgGmxbCK8naHBeD1fXgCv1erLaqqtrtNuPYBDxPM9i3ge2AlDxP4TzDBGFDVXqawlz9nvXnkz0MTZgqK8JsuaxQY9fq8buY5Me6/ulLVla331sy9J7j51xNdlrwB0TGQ/QEflXnVKuj8AFIKa+uh6IzJ+zzqi+8sZ34KDWXmy4ERNb5KXIbkELkuTVLdZba9mRtYiTomsn0v2OhUjHvpCFiFeNhVjPmt64vgK/SD/71EmIkZZcrQWEltuxAcXSbWPq/b+z9A6c//ri2TevX2jL5Dez/wzLMK19+880H+2/B/n8jp3gqg37Y7gpyyxcNYFOtqZURZVygIamQkm0Zb4pYoq/YvDlGuOu6wWexhhW7P1OsHdUH99Q3jgO4j2UVsAMw8NZ3MgNTCP1E9u1LMMOQy8OXNOyuRFx0wlNx7Sd1NNtjb1ZLaC/OR4MiqZpvql6JauuchaFJW8OixBHoArjEWw89l3O6HiFelBgNRZhgaPCPFuyBNX2WFaUKqqCtsQyWkChbLncUDaAKs4zxYRBCr0V4GRDHRVjgyU8AvMKU0VQzrJykQMYgCK0ajRlJ7oOo4+ZOEED6oKRsMz+CbazqesMfFiwpS+z8OVbMOE20OVJWEArYD+yfhuVV5rANOh7DL6XA0rQQv+X1WYk9m6aquN6IrtZZRHHk4VevDwZGp6uKcrvgO5E353EarBZBJ3BosYziNJ8AdXKOrebvcdc1Inxvs4BpwU/1l0crJOH2LPFgqopML0qTr1guhcipc5YwGTzPiWCauykyGhNAQcKoFxm+aaEhvHcqnVeqWIJAlfZFbwnIiPexdm1q7DaFEC+RX4OTZQ5ixfZek0LE1gNCANj2azBkOVEFQbmLbkcpUgN55ikJOk2zxcAKWgfoAXgPwRFpmLDLL9aSVjwjmBp7/vGMMqSgaqI67C8wKTxJgNcrqBUoJxkbCNG+y7BaQMsDNhi5TX0lLB0EZ4T76xWHCP2wKtKnfEtsF0juD0fhJHtJ5ZErpnANw4G+HcVLzYJIqKBRQF+y49ZCCQuyqp9PsTnjFKDZcIqYlbArLZnCXdzzQl3z7/5FlFasud8PYcfXqQj+BeDlYgYxkmV8zTN4gwPd0Nf4hiT90WYDRCJ5KDznsADAEa6XuVLGJV0PMnShC6TDbmbGjsFzodmyoqv5UwHa+QyS8A9RekAcyhGF1Sl6grfgkQgqdGBG6QGIJ/lKWCeg7cozlHWNV13RroWBA6e7QsMkxHWAbXIEbQLQkHuZ8tsC9wmmGKVF0vku+wCDLJ5nictnw4jmlgNIxbE15T/n0jUeQYy1TDJSpKhuCwm8neo9KGcRlXS2cFDO+kQHQUzGxHWfHM+Z0eY5ig2LBxh8SOseIRNHGFjR9CsmJ3NTgnBy3G+2CxX1LdCZIcpOmaGJZMWQ7K0mB2IbRbNw5KJkKkJjZYXI9wzVYp80mtapkMSKJJ32r0ZkodPcQrTudIM90sBfoiUJeiSJlHxPblJQmIYLkyzStkA65dIQaIa4uGYJUCxS2CljCbVip/TgdlxnhfA/zjxccYAWYHH6sXJujtVIWyBUGB1pxr7gfagLLBN6D+EhvGsY+gmzkpKEis4RxBOvj/9U3PYNQZDUDopuEyKvA5C+hzpqqIjml/RTISeAd9ZgvmBwIz5miR2GYcw5QvSqEWOU1/u8kjqmVbGiCwU1agXAASadjIxnlWAFGgd08NLRieRaJqrm44jju1GFYESHNl4HWYFXoOUKzcoQmO06VE6DsEz2JTDhk5DRLCvM0xCB8Eqpkmgsz4dYgjNwKRFvTUgRYsTBXfXCECvQqEBcUTCwRbMrdX9Il5KoTRwP066WSwU1MoCv6J1kmYUl0LBvlni94+bkN7AHXHeVY6CjAYuFJs4c5LeCTNfUU7EgbdzXpBuDM+Bvcuq0WtCrUml9v5GGst7NBHWIcoowGaVKzvMjICz8yKj49k76fQae96qVXgB/WVli3SZI8oX10oNzq1z5N08K8kGY0kO9Eb+igHAJcvopK4YIcBD2sUSOMyNdmOQzOQWhtyYztcETgaj4Vq0zmgxGMnPwjjeLDc0NeRkFSaAUJDCCQKg68OC6xOEz2kugQYBwDZLmIIIjsj6hgbBILuWpxl2U6eUt81ifr17q3tuPQwEeNfQf6+yWoCHDZ+bkom7eQpJDnRv95hlq8v8AmdGvUGETAJSoMLioTPtSejsbXUDEVHJ/VclTeE6mw8tFdHZsKyuF7zeGhdhb1U/XeRhJXe/oJUTz5GPfgiT8ZgCWalrg1VJ6kAMsc1mAHk1QtEnEUHzKMlC0CzE9EJvhKWcR7UZqyktoChZ2jPvcR8c6LVVJVhxAVYqM3QVxMEQlWYrLurdcRlYXYqQGoaQGnQoq8bE4e5tLwUiOqZMM7HrSYhQsVlNY9/iLBCZIcruHy1Y5DFpZ7ib07mWwG7lPCP7B9geTWZsytX//DUTMUFGS5lA1JfAmCtG27wQo5LenTSSNmcFtOzqxraE8BKsF+T0saK8f/9e6exJ7EzUZtcCG2FgeVTlI3Gv3LqHca9Qey9Gv/9+dEOcKLelvuy1UpdplmcIfmWnivQESim3bsncUQUma9MQ6YBshMYAkJqi94owTUMk8U6Yfy88W4f5xbGkIo4N2quJ+ovknx1hIVOG5iFYB4ap2qA4RCQI1ayUPZZmOcBufBigWFEZWaEiR4WFUX7JlVrkyHcydjR68+aPKp2ju78ewQzbUXXXFC4HGPL00A5Ux7Y15etc8osJEwK375H0LlqNETaCmRk0bQhpclGEjmyV0/FbNFpxc6nyLYxD3qnSHe7+VR1qtnPMJs6d1jnGJsEQwkSmTv4T+KDI+WEE5cF7EckeMsmpnVmS4WScG7cNyAkhoSG6DnF1BDesLjMSvyBjcL+pcDTFiBGGIQlERBWxDJo2Jo6//nfcMbUVEX3DaV6fUEvCtHZpTKQAmpnvmoaFjYPOimh+uSlJR+TLZY6WB6lUQm+NGrDh51k8lz4MDLNO7mIxDKsSOjWR5nvzDpidL1LQBphBC3U2EYo5RF3t+6KEBev1HEV5AvYchtlBFF+LoAbt609AnAFNQfugBJWyo6HNZH/CU2sC+OEQ8DrMCrggPTA8+NdShpeXyk+quHf6JdYjUbDDYnK1rp3mqAx64jRdMcFpYGg+wJChK8Lfzvn/mtLlUeyeMCh8Y1SGUtYnHWUjzS+5Toi2n/jbHMhyUho0Agz1ce2punZNMVQ/Up4AdM3R3sLJ6Buuavk2o+AvONfC4KWlucbkHoK1jO4hk84VW8KoyDnYrJHshvN74X639hawFDJFSa6wChqTD9GjUGt1j65H3VzZcePZB8wJwKaFRu2+giokSREvVyEqzOYdTLi/C8klWoSyBBn0S3jFvlFvIWTw+IKDmkZLDvxLcTo0oBOKoJ8EVRfANEteW7bkZBBLC7mIYpEs7zwSruYxyUhFlsbpfUUi0lZN35fGJRrErMgjmJKrZulXejLIQUNp7EkmQr0LUo/CfcSrtTvD2W6UTwhKgk7qJZK4CABSb4PDQJytcqV+DxyGqgwm38uvu64OgEhGLw4IGA1jBnyRo9ITMpF2J4pd72DlCM4LC7DDLnnLyrmIIOKIK76E2RFuoC2yxSmsqQpLFn5ysLNk9IisF6XjsqDjsQzRbgL0yYLiNALhsVVgziFTgqjEcwpoYKPG4FPq4OXxTsKqlFswDjTEJKC8CW+2+gIQj1JvVs5D2mZSstM/PRvS6S0pVena/wBLfbyBsMKxLZh7CQYJ5QCVfy6yiJ60BjqJVKxLEy7ZSQ/A9KISNW+jT4Q53nL7Y47/v1X+/96elt8g/0d3rf38f8PUH/P/H+Tz8QlFZZ6MmdhFzSjkyCjmyCjoyETUkbZPw7dN1zZdW3Rt0bVJ1yZdG3Rt0LVO19ROgJcBXvl45eMVNe3hlYtXLl45eEW9UWfUF3VlCcgIMIKImsbCKgYn4Rvv8DG+x4JYA6tiG9gYtorNYz/YIfaMICAsCBRCF1A72BDCTsOgEdHgaJw0ZBo9IYJwQughTBHSCH+EStxZrrIntBcN0Exvn+BeNLjxDLimTWBwYwcW3NEuMXzl+8anX5/+N4Jxv8H5T6Zh7M9/6zH/74Hmv8IYiYAZRihnIuwK7CeOiHuyQo51XFXcUVYG5vzCUxkbtkzfcUzdMgI/cC1ZrkRGp/dBYBngeLselNQtr36/WWILpqY7rm3ogWXqhh9YMI2a9+WPUMLRzMA1HN+wXFP3fceU7ynk66DMkierTZsT1lxkJ7W5BSgdx7IsB5SMHQC8riHfnam31NVdZ6eu7QYwDW3L8X3P8izrc3UNz9upawWGq/uuCUPA/73P1YUZsFvXd/Cvazu6DdgNbP/zdff6dW3H8d3AMT07MNt+lU4LT9ASnyHnV4BFWi7ovgCXmB6bjgNPP+GrJ8IJmIGxh3k5LYc03iByimECkmtm2UsYh/dNtEcPZKGd1HFkGvl8N3scXoCM1V2zy4fdt3YATFY3mZ93GpLxos6TnZRxBBr4u2bMKMSB01kbYtTCcWpH2yQ3IX7qHsllRRhd8FYP9rsLV53wREOzwRnrDk08d3Bvt3xc5zXtQte4FfD4yd5iBp2GtR96VJuIex2KxpPMhJPyhJpMReioHTH5RETbGnJy67pPEDh6ojeQ1S4hAoYVROOioxmFm2e1DyiG9Om/Hj+/xUfSeyjCvaVWbasH1/+WYe7rf9czHvX/Q3xEehIGAwwRthMR5NM2UUnpXFMoqpyLBSBXs42yzm8qKL4n95mmm8V/K8rbcAUyQi4PUhILXI26ccvxXlRUmZ48Oz09u+WPjvbxjFkwvn3DsMGUcAa3FzXaop4HtoUfmN6BomZb1LZ90NK2ExwoarVFXbDmfQ8aP1DU7rTqm7ZpeZ5xoKjTKRp4gek6pn2gqNsWBdXuQKvBIVi9TlHftmzXOFjUb4v6OOV8E5Oyby0adIqCL6TbYM3dXtToUMs1fc8LfMc/ULRDLROMFs8Ec+tA0Q61HM93DDPwDwHQoZbpBIFh+PYBvBp2l7BgKgFuD3CW0aGWB0XRvDoEa4datucGQGnzEKxdagGhwK90D7CL0aEWsBXg1vEODSvoThjHsi1vD6/NX8kUpXwwwW3HtQbK6QYDzUIXjFl+oeEEFgr/mOlMKHq8Ki9oAfd4RyBYlhYYJesHruYFJXt+8j3FBQdCFAhJACIiE0kGdWn525Qet0JD9Kw2Pattz6yPpXBhQJR9PFrkfp/v3rx7+fzFr6L2f6r+N2Ai7ud/2671qP8fhP6UwohJiFWRRRtxnNWh1M0xK+NsfT2ib3ZpaIajgRMgH655nIWL0bZMRzElg45WSVVoc1xPCKs6dzwueJLJtRKZM/oaV7dfycxs5bTCpyv2SmOv83KeYRqDEYBjhd8effv4HZjHYu1/IRbDc/b86AhTck7j7AQX+ZipmzauBWUlo3V0GFSvrHMJ02zLk+E6z2BsGa7zYgiMBk6pnSNMUr3gxYpjwgKlSymdWDkterz4y+tRvdQ+DwtcPEP7CZPMcDtxxevTmuWSk6bInOuE05Je3Y5MnZJJWZQ3iGvrtElSZNmA04k5qe26kkxQkXkuMvkFkHxeLeOLFa7ZjnB9rsyWjLuOZdip7yccpHzqJrrjRGlshmGkGzFYKWHkOp7OHxduHj+Pn8fP4+fx8/j5T/n8H1J3bLE=","code_sha256":"0e55ef1cfc45e8b9a0212c45e95c39fd61e17004c3fc45307c6faf925d8fcb5c","engine":"ok","blocked":null,"notes":"Port of real.py soft=1, steps 1-6, plain tables. Parity reference is real.py with this compressed subset expanded to the original grid; reference outputs are clamped to 0..10% as in the engine. Compression cost is measured separately against original pol_mid.json on 60000..60255 via run.py/pair.py. Numerical parity covers every callback of 20 full replica trajectories (10000..10019). Signed WAD log-price state in 8 slots; Cephes rational CDF, range-reduced exp/log, capped 12 silent truncations. Original ask/bid symmetry is exact. PUSH-word tree keeps packed tables compatible with opcode scanning. All 21 full Foundry tests passed, plus a standalone recorded-callback smoke test. Gas is actual pyrevm transaction gas_used with a 250000 cap; Foundry explicitly caps callbacks at 245000. Stress includes 15% reserve moves, zeros/uint256-max reserves and 10000-step jumps. gates.py reproduced all printed digits. Setup and amm-match validate passed. No engine seed consumed; engine scoring/IB comparison is next step. Archive includes self-contained Solidity, tests, recorder/compressor, check scripts, README and measurement summaries; full traces regenerate from the pinned solved folder. code_sha256 hashes uncompressed tar bytes."}
