{"key":"tables-1","part":"tables","fixed_point":"Inputs/outputs signed int256, 1e6 units per bps; cell data signed int24 in 0.001 bps (exact native precision), knots signed int16 bps. One final signed division rounds toward zero, <1e-6 bps rounding. Fixed-point Python oracle uses identical output units.","functions":[{"name":"lookup","domain":"phase uint256 (clamp to0..2), w_bps and R_bps any int256 in millionths of bps; each axis clamps to selected endpoints; returns (ask,bid) offsets in same units. Errors versus same-knot, fixed-point Python Fraction oracle.","max_rel_error":0,"max_abs_error":0,"gas":19433}],"tests":{"passed":106,"failed":0},"bytes_runtime":13566,"knots":"w bps: union(-800:80:-400,-400:40:-200,-200:20:200,200:40:400,400:80:800), 41 rows; R0=-30:5:30; R1=R2=[-800,-300,-100,-50,-30,-15,0,15,30,50,100,300,800]. Inclusive ranges; deduplicate endpoints.","code_zb64":"eNrtvX97HLeVJpq/+SlqlZslaTWpAqqAKkhmrj0TZ8b3ZhM/tufOfVarRwJQKLFtspvpbkpUvP7u9z1AAYVqdjeVrOK52WHbkk5Xo/Dz4D3vOUAV1iv77Bttf3Td99pcufX5enn1q0/8KfGRde3/xWfrX1FXPP0WrjMmS/GrovzVL/C5XW/0CsX/6j/n59mz4rtvfvf/nv1hbt1i7c6+7txiM+/nbvW8+G9ff390s9Jvr3UBrZh3882H4rcX5Xl7zuvi8/JcnZcvjo6eIYsvFssNMii+udLzRXGzvHp9Pe+KZd+v3WY9K97PN5fFyt1caetIy4rV8v0zu7y6vV4UP+LW9XnIpXPviq8Xl2413xSby/m6sMvFZqXtpliuihu93rhivlkX1+7auNW6mC82y+I7JNi4tx/Oiz8uC3e3cauFviqsvrpaz3yuN0g6x62LTbHeLNEcNytWt2jktSs6Z5fXNyu3Xs+XixmV0l8t9Wa+eItGIPtCr1BZ9+fb+cp150farEN1Ur3yqVP8dFTgQz06f7twXWHmb8/copvrBVWVydBWyIW5Wb8orEMdfQl6/ePMoMPW4T4kRgcjWXlelowSn/uczYcNSrlZzd+hxVQHqC7q+O2f/v274qK4dHdPeuvKvqvwp8Wfruwdx58Gf1TbO4t/Xdv3rOz7Cv/Wtu8l5Kbu+xbfFb4bfLf43uE7bvAfVpclb8uywnfh53JZNvje4rvGd4PvFt97JGWtT84k/lX41+HWKtzOO2TByycvDjamjE1B3fGnoWr0qDP+yJ7qN6BGGcruQ/VCWQ9kzXjeTa6rQ5OtC2WhX8KnD/VGXampjNuHq/3NWG3NKl3aChWEXNUiyQL9EOWmlEluVZ9k1Y/pTVsl2XY8yah7kvs6yaaUKY0BgCaZN2OeSFHqHoMFueZ1kiXrktyWPMkKdYiydm2SbdskuXNjPn3FomzKRieZqVSu4TrlaSoz1qeq+lLZOvSVbJLcSJ1khcGIsjYmybaqktyhnlHuRcrTlGaUOUv3mqruklxLkWTRpOu6xhi1rQl91TVJbq1Nsm5dki10IMpdlh7aEWXD6lHmJqU3ddUmWTQqyRK6H+XGjOVKrcuGlIvq07Eka90n2SqRZCddlE1ZjTLHJI1y1ad7jVBVkps65W9a6ECUlUt1MLqzqSzVqlIy7etpdJ3kzoxyb0WUDbM8yQQ3URa2SXLTjbJqZJKNtEm2WZ4O4xhlaNlYHwytaKC8VB/oapRplgyyYZ1Icl2m9EZCf6LcVirJuqmTbDGnouzqlL/pXRVlyzCbo8z7sQ6dtmUN8PZjBFyKMpdVkmujkozZmGQFTIgyviTZIaNBRs+mfCwf09uauyQLGIcoN3rMp7RIXwvrxwg4H2XhVJLbhiUZPZXkruVRtiXXSeZ9k2TR1klu3Jhe8/G6MSlP29kx/xr3VtA63ydSJhmTJMmdSDI6WSW5yq5LMneDrKAPUbYq5WkdMGGQu5KbJDMYvChXwN1YrqK6lV3Qjc5E2ZZCJrlmKQ3aLpIM5U5yX6brXQW9jTKamOSmGtJAdUTtoixSesgdbEqsTyc4mtBzXx83yrVqktwql2Rrqyh3DBgVZUHDOsi6Gq9bNtyL+pCZHWTBRJPkDhg1yLJpZSqLNUgPfQq6USVZaZlkJ1yUuwp9G2UFuxNlBz0fZCj5kIZYjbBRrh1wbJABOTzKsjFVlMGmVCpXgtRwjklD+kl9NciYqVHuBHA7yhY6M8iurm2U+wqzxMuoT9PJKNcWOjnIwsT0qI80TZQbJkSSdZvyt4Y4WFdbP0awrVGmtkS5b3WUHQx8kInS8SRjWrAoY7bIKIvW9lGWNPcHufEccJBNle5tK/DJWG4FG8RaaKzXExllx2HXogwUDDI+Fvo5yBWr2yjXdZ+uC1+HIMtKyiT31N4gN0am9G3dp/xbqEyqj+NNyaqW5iyos4tyD0c1yPh0fZI5DH+UK2QZZVF26broFY+y7MZ8GsX6KKN/Upq261yUlQSGxzo0HOTUQfE9LZdRZiXwcJC5LLsoV4q0Isi1BjcYZKGBCYMsW5HSN4Kl9C0TdZKtSOmVRP2j7OxYLnwMDJTEzEUdelIi29DU7clXMIxqVRlgWiBVZd1oE2VRow8HWXIqK8iNJ+ODbF1K0zYtctOSvABVk4MRritweVxXRN1hiseyQPJQB1BhlCWJ3BtGf4PuUXpJv8JCI0+ACiNcAv/BKFhFOADMQW80FfWVw11N06Mmje+HhgFRy5ZTuQ11JOkSp/TQtFK1FpeantLoyqcE1YBsaWhbSRYV+TY04YjeSfILSq0V7pIGcxw9LDuPjdTGGrMG9YG9APljRI9q4Ce0ukRu0oF7DH8PV/yvIWW4a8gh5OZzDqUMJfrSQ01CrUINh9qGmvtWhBaF1oWWhlYPPRB6w/fM0Eu+x0LvhZ4cejX0sO/t0PNhFIYR8aMTRmoYNT+CYTTDyIZRDiMeRn/QBK8VQUOCttzXoly7cq3LtTHX0qC9QZMHrQ4a7rV90Hw/C+7PjnzW5LMpn2X57MtnZT5b81mcz+581udoMKLEgB73UGWKNjkK5eiUo1aOZjnK5eiXo+KIljmKTtE1oO42Gk9ROkfvHNVztM+tQG4dcqsxWpPcykytT26VgrXatmJT65Zbvdwa5lYyt565VR2tbW6Fp9Z5YrUza+6t/D3rP2UFOVvIWUTOLkbWkbORKUvJ2UvOanK2M2FBnh1ts6Ypm8pZVs6+RlaWs7Upi5uwu4z15WxwwhJz9uhZ5TbbnLLQnJ2OrDVns1ssN2e/GSvO2fKERefsOmPdno3fY+lT9j6y+pztb3kBmXeQew0TbyL3MnLvI/NKcm8leDH3vZuJ15N5Q7mXNPGecq8q97aq3d5Z7rVNvLncy6szzzHzCifeYu5F5t5l7nXm3mjmpebe68Srzb3d3AvOvWPvNd/3pidedu5951555q3nXvzEu8+9/jwakEcJ8uhBFlXw0YYdUYg8OpFHLSbRjDzKkUc/8qhIHi3JoyhZdCWPukyiMXTDjujNJKqTR3vyKFAeHcqjRnk0KY8yZdGnPCo1iVblUSyKbu2Iek2iYXmULI+e5VG1PNqWR+Gy6FwetZtE8/IoXx79o6jgjmjhJIqYRxfzqGMejcyilHn0chLVzKOdeRQ0j47mUVOKpu6Isk6ir3lUNo/WZlHcPLo7ifrm0eA8SpxHj/Ooch5tpij0juj0JGqdR7OzKHce/Z5ExfNoeR5Fz6PredQ9j8bnUXqK3u+I6k+i/dkqQL46MFk1yFcT8lWGfPUhX5XIVyvyVYx8dYNV+oElEpaWSFqh042trEySFQziIKtSpYKUgO2JMhnQKOs+NUTZLjVEuXrMh/AzLX903dioamwg+QepPpjUQ4cD15MytLpJ1xWTaYCUBMGIssLEjLIFwEYZUzfJvRoHnZau0kBjsidl0KNS6UqP9UGmg6K2rUgK3xoM7yArDqMQ5camSaS0S5NLdW26F/UZJxEbJ53m6NsoSzbKumXjRGPp3hYeRZzgrWfug9yJBBpwyhIIKFWlJRVlAQJRpkkdgYLpETQqGN8oCy5GkJEjyFgnk+xUurc1povACOcrgWdLU2qQleQJqBX5T1F2ZgRYomJRruFkJ7DNwLnpR3A2shvBvBzBn1k31gETczAoqE8yXtCSZIwUTHiSXTsuYXAY4igLPS61tADzKOsm5anJH00GjrBiMHy1Hg2lbFN9FKuScVesG2XBkrFWukvEAFaAJbluRoOO2iRZw/gmQ88yAsBGUsHdSBjIAY+y0im9IqM5EBhV60R4FDn7Ue6qRKgA7Ik46QY6EGUD4xJlV2XLLqh/Ik56JE4SepUImBzTdy4ROSVdIoSqadJyCXyRLsqa1qyjTAQ4yrAcSe55So861OMyRzXKEg5alLUYiCsFgnob5YaD8Mc6GJaIt4JtTLJTicBrH+0YZF0nkq/7ZlzOqKFXUZbjvSBXI2mXeryuQWy8TI5qr5Lcj2UpCqoMjgb6JzkvZHqT3NZjGiB4ckyETA6RwVRIctu1o2xGWXdpiaSBFxHlluxLlG3ZpbK4Ts6aroRIskQLomya5OiBRJkkK5U5d6pLMhhVkk2dpal1dDzbylVRVqVNjipQPt2rBTBncGy1VF2SlUlLJ+AdySn2OhxlJ/XoFGOOpOsYryj3dZMceWvaKLcE/YOsWnRTlE2vxzoA5zgxPk8wTJI7alcIFBjepoCDofkYAwhVMwYTaj0ubfAYfPAwraLcip5FWQnJo6yZTQEQLVgKdGjw/VQfC5I/yCBXKdgCHW6S3I9LGODg7ShT4GsI/nA7BoUI3WPgiNyyQcZcq6OsDa+S7KpUrobWpPqUwOEotxTsUla3pCfgTkOQyjawmzFgVYLLJFmmABo4eAqUtUqkQJlStYky7GkfZSOqUW51yhNObpPqQyHWKJMuMcWlpPp0PAX3GGdJ7lwKKta+PkOwEXCbgpPcpuCh5q6JMsYlBSpN36UgJKhbKssyCuCE+ljmUr/Z3reL1X3fOwpMlRhM2l3UIf8YOG1IIYagKzmwMTBLzm8M5BJ+DrI2fUpjbJeCtFClUe6rKgZgrWzGukmb+rCjQARrDKgGRSgowNuRsrKaguS2pZB11agmBauh5eNSiByD4VxRMLyB9SxhI4iAYioih0alNJ2CzYpy1w+y12ed6qbIHRnqZuDssKam8D5T0MOS2ukDmJoC8tDwsq46WlAwxKBlS0tUTUMpW+fljiBekzNetiWF62ErabHAwB0DuNI2M9HCepY9r2NUosSE7KPsP74+O2TGKJxYyqpqfWSX/HllaSGDXNcSvp0iNDCM9D+Esr2O+Svh15Ay3DXkQLkNOR8sfUdtQytCi0LrQktDq0MPhN4IPTP0ku+x0HuhJ0Ovhh4OvR163o+CH5FhdHaMmh/Ne6M8Hf2gFUFDBm3xmhO06L525VoXtDFoZtBS0thBewdN9lq9Q9v9LLg3O6azJp9N+SzLZ18+K/PZOs7iOLuHmU6zfkAAjwa7UILQ4x6qTNEmR6EcnXLUytFsRLkc/aaoGNAyIGewyDvQlVD3HhpPUTpH7xzVc7QfrUBuHaZWI7cmwcoMFoeszw6r5K3VPSs2tW651cutYW4lR+uZW9Wptc2t8MQ6k9XeYc2Dld+2/lNWkLOFnEWM7CJnHVtsJGMpOXvJWU1gOztYkGdH26xpyqZyljWyr5yVTdnalMWN7C5nfTkbnLDEnD16VrnNNqcsdGSnOWvdYrM5y83Zb86KM7acs+gJu85ZN7Hxeyx9yt5HVp+z/S0vIPcOcq8h8yZyL2PifeReSeatBC9m27vJvZ7cG9rykibeU+ZVZd5W7oVNvLPMa8u9uYmXR/h5zyvMvcXci9zyLnOvM/NGcy914r3mXm3m7eZe8MQ79l7zfW964mXn3nfulWfeeu7FT7z73OvPogF5lGASPcijChRt2BGFmEQnsqhFHs2YRDny6EceFcmjJVkUJY+uTKIueTSGojQ7ojd5VCeP9kyiQHl0KI8a5dGkLMqUR58mUaksWpVHsXx0a0fUK4+G5VGySfQsj6rl0bYsCpdH5yZRuyyal0f5JtE/igruiBZOooh5dDGPOubRyCxKmUcvJ1HNPNqZRUHz6OgkakrR1B1R1kn0NY/K5tHaLIqbR3cnUd88GpxHibPocR5VnkSbKQq9Izo9iVrn0ewsyp1HvydR8TxankfR8+h6FnXPo/GTKD1F73dE9SfR/mwVIF8dmKwa5KsJ+SpDvvqQr0pkqxX5KsZkdUNo8cASCc+WSNR4I+hakmFxk2xttlwyFqQ4GytZZRWuswrT/o0oSzd2QtuMaTBjxw5hcqxPk3W4S4PVKp4Gse3ygeOjXPFx0Gs7yoCqUe6TgqmWj8supIBJYZpRSbqGjcpgmlFp2ajAWsgku25cIuFyXDqpVZpESlbjZGlUmoxQgLSeiPqME8fELWOkSJUdJ2BlxiWSERxacjbT8kSf1k+BuhlQlAl8PKBFGTUbgQX1iTI8pSQbN4JPlz0tUrYjuLE2XyKpRpBkaf26dXVa11Z8TKPImYpyCycxymAkSYanl+SuHYHa6QTUmuhblCsxLrXQWvC4RFKPBgXjlZYnRgOHyTjKBJ5RNv143dXjmj4RtijD8RqNnRkNX23HNI3qRkOpszpUmVFWdlyesIkAqEanvRAKbC/JjrnR6KuRMHA1kgRa/42yqEfC0Eg7kgoxPslixj0YsDliJDNyJDxSjMRGs0SoUJ9EuuD4NSNZMuN1Ar2RUCUCpkkHoqxNN+4tMeM+E5cvkXTNSAKrkRyqkWQq60ZiyUTah6NrlUipBqtOsurGJRVa94+yydL7jW9xT07vRkJbV+MSSalGwizTXibViZGEly6l0SK7rvhIyK1Ne590BzIQZdOPaYwbl13I5YiEn/Y5RJn1Yx360TFR/fgEB5zZ0RkhpzXKOpP7ctzHxTPnqOT9mEaNyyilHWVum9E5qscnWaQcHSI+Oneg5u24PMFZkttxz5vubHLugCxpv5wRfHQY+biPzu9fSunrZkzPTHJIS9eNzmlWrnDjkoQUaR+gJmITZQq1RWeZtckpNs2Y3jRd2nMIJ7EenWvJxzQ2LccYsKvkyKtxGaU1+TJNrcaAgGFj4EKmwIIGI0iBBeG6MeBQj9c17S0cZMDJmGbMx9jx6ZKW9sLFAAjvXJJrNwYuaKNkqs8YYMHcGZdIKjvKOgZ5iFl1epTHQA1FfZNM+1hiUAjAnYJFVZ+CRT5CmYJIvM6WSNhYn3Ksm6Q9w7DINdWnSk92WAY7nAJcqsvkFDSTth2fEGng+MRgWjXuK1a0+TUG3IRrx+BbmS+RjIE7ycd60hZy1nZG096/skwBQKPGJZLSpQBjbTCvY1BR1uP+7dKm/diqYywFJBsxBicx+1PQkrl6XCJps+CnTQG9jvabsYY1Xd87onolOBX60Kkq7SF3fZeeOhENZ2MwVqTrypPLIXhLQYAY1C37FLw1egzkGktB6bREUo6BYp0CyB1IWMnIrtM+dlIIB/NPAQ9qnu1ol3sl2Bispt39KYhdpidEgNvS14oC3Y728MM1YBRmR//HwLiQMsltabIlEjkG2Nux3zpi6KKnFjFuDYXZ6XkEriiYbxxdqf1TFco0/imPXvqAv6K97v5ZCUvLBJoC+GXT0TMF0BlLu99JfW0t/NMl1NKuqaJBxexq3UctkZTB7AlBOVtOTxzImkr3u0BL0IreL4hov89fxb/DlfBrSBnuCjmE3ELOH7NEktc2tCK0KLQutDS0OvTA0Bu+Z4Ze8j0Wei/0ZOjV0MOht0PP+1HwIzKMzo5R86N5b5Snox+0ImjIoC1Bc7wW3deuXOuCNgbNDFpKGjto76DJXqt3aLufBfdmx9asyWZTPsvy2ZfPynG25rM4zu5hptOsHxDAo8EOlPDocQ9VpmiTo1COTjlq5Wg2olyOflNUDGgZkNOj6C50JdS9h8ZTlM7RO0f1HO1HK5Bbhy2rkVmTYGUGi0PWZ4dV8tbqnhXbsm6Z1RutYW4lt6znxKqO1ja3whPrTFZ7hzUPVn7b+k9ZwcgWchaxxS5y1pGzkZylZOwlZzWB7exgQZ4dbbOmnE3lLGuLfeWsLGdrOYvL2V3G+nI2OGGJOXv0rHKbbeYsNGenW6w1Z7M5y83Zb8aKc7Y8YdE5u85ZN7HxHSx9wt5zVp+x/akXMHoHudeQexMTLyP3PjKvJPdWghdz37vJvZ7cG5p4Sbn3lHtVubeVe2Fit9eWe3MTL4+8vx1eYe4t5l7kxLvMvc7cG8291Nx7zbza3NudeMG5d+y95vve9MTLzr3v3CvPvfXci8+9+8zrz6MBkyhBHj3IowoUbdgRhZhEJ/KoRR7NyKMcefQji4rk0ZJJFCWPruRRlzwaQ1GaHdGbSVQnj/bkUaA8OpRFjfJo0iTKlEef8qhUFq3Ko1g+urUj6jWJhmVRsjx6Nomq5dG2PAqXR+fyqF0WzcujfJPoH0UFd0QL8yhiHl2cRB3zaGQepcyjl3lUM492ZlHQPDo6iZqq8emPPMo6ib7mUdk8WptHcfPobh71zaPBWZQ4jx5Posp5tJmi0Dui05OodR7NzqPcefQ7j4rn0fI8ip5F1/Oo+yQan0fpKXq/I6o/ifbnqwD56kC+apCvJuSrDPnqQ7Yqka9WTFYx8tUNocyTF0d+jWS9Wd3aTfHl3Xxd/FTc0kvRhCyuli+KKLp+k76s5m8v8e3no+EdbOM76b51m9vVYl2c6PWPwyvpZoVJr6c7nRV//NP3Re/cekbvXLueX13Nl4vN5RoJCj2+fc3neaNX+rq4udRrV5QzNuMvinf66tati9/y4hYXw0/83i3vXyOj4k/vF2jB26Kbr/3L8K7prXQfWei3Podv5yjvb8gjvFrv5nazLuyVvr4pjOuXK1esb41/k51//918Ya9uO3r73dCr1/PFs2t9d45bN251s7zSlDDlirYWy4WL763r5u/m4UV6q+XtwuezWb7Xq674i1stC00v9XNFP6cX9C1vN6hMcbuYb5DF1YdQ1f524auCBi5/vL05iaPue3UWa+X7Mn3z/XLqb6fPfDG8AvDm1r+7bxj8ITG9aS/eCB0It/003twXJ2EEf1vw02EwLwr+IqUIK3fX7nq5+kCvMVzjZ3oB354UdnlFKYaMLoqy+D/pFXfP6WV0+27xrwXcuucbuuckXWJ0ieHSN/x0zMZPlSGX98jhtcaFE6rkLPTZnrSrlJaqOxt6dEwbRwEzct5Rf1Cy8yu3eLu5LJ7lvZPGC4lk8Vlx8v78aol/hzufFit8z3IekndITkkxoZHm/bmfzKd0/ypeXA0X793755JevTfcg1uGhPfTsZDO53cgWcm2svMwcz83Ns1tmoqgBk167bHhxI/orLihFlF1nxZbP+CKTL3kU7Ey5UWfnXeE7NgD2aWUjJ1isLpM6+bdjkoiffVxFU0pP6Ky6qMrq+5XdgD1BA6v6T2aJ5NJ49+sOUv6Nz9Ni+u7YOA0m/K5ys5R9JY2M1ncUi8F2f/TnvjSXt68Oj0tPv+8aE+L/1ns+h2tYUgzZhiqMejQyXDHKTWYvYZDQX/2tNjPzl0tHmp/t6/B+TzXu9oNg3rv2uUcTQ4vZh1neXFWsHvz4GrpgcYPyFCj8v4cvcRk2k52Oc/TAXfvis8vKL/T4q7wwvizuwLshTS/vfC5hUQkjaneX86vXHGCyp/hdiA4y9ubt+86aD4SPaV6TDEs1mdSW9xxSvVDP+OuC/o+vcNX0ffb5KefR0g49zfm3a0DfCBX1HhS3AQk9QBGF9tpSL9OcevdHqUJE+2+cRnnyc1fOU/qcTLwelB2n2WaDEyeTvrlf+5OPUyNyfTZkYYfnj50R5g+2cz5+ehXj5+P/qy33/+9cdeglRt3vrnb/CLv/y5lJZqt939XNZI/vv/78f3fj+///qve//0FyV985Bu2v/i2/OJj35j9BcQvPvIV2F9881C+6VUQX3zDvvjILZFffOMr8BgaeAwNPIYGHkMDj6GBx9DAY2jgMTTwGBp4DA08hgb+1/z/b7/68nf/7avz6+7vVMZh/59xXrEt/5+uPvr/v8Tn14MLW9x4133jPdmjo+/J+8b/xMq///Kf/vDVdwV5ymD0i4GUF2+2j41740n/Yhnd7EIvOnw9mjrl58nDx/+Ugq76chI9fzNQ/EDt38++PX0zSxGAo3sRgNFziLGAYr28XcG/O6Gf7CUKgKly5I7NO72hnNzqGvkcUUt8SGHzflkYYtBzNHK1WZ+eF79bovIb8oKu58E9AVhu0MbVwq3ht+N/oiYh+HB0NHhQ1CKzhFkMXkzw7zO/nhjIovjss6lLRp4SikeH+7DDZ5+dH/0e1XR3cMdguGKHlDP8d/omYfGbE97SjqyynEWBuura6QV5WKCaz8DkjoY4DBXE23OkC/EHNAkNpvrFBP1qee1biobOr9Gyruj1fOV9ShgD62ZH1CWhs8ktPi++X5Kv/s6tMJgFc6w9W2NAceNCo467/FE/YqRd1GFHPvXM+4fgeOZDEQ/hKid5U6UGvxD3T0uiEgbn/ej69mozv8GgTnP68oauUSYr17uVW0A5UP8he3JMi7UjX3rjyN88+ucUmlnvCuXwehbc0xSgmXlejwIWxJ3Pi6+Q7QcaJ0wq1x15c0vzaeUo2oRuQJ4YXbu5+vDc12vQ2DgSl/od9O1y5XyMCmNxVfgehN/+f/sg0t66MT+66DxMsjC6NaO5e402wt+L5JBVxbdBPsJkiF50KHG+6NwNcqTRutEU+hpw4bwIHbO09vbmQ6GEqoOD+qLQd2ASrKqP/HfktNygzphtulANb0Oy8+JPi2Ec1u7KWeqF4Lj6WN/NnEpaDoTk/OifoGfoxbXTKwtdJb1Dr2lLsUS70Yu3V863s3jviAXh5vXtNYVaQughqGnopCMCl7do6MOBCBrTMsbdij+6t3ozfzeODHr0yI/h6p3rzqeBkwGMUtvQh34+r2NIRQP3Lq/dZm5fHKVgQrh5TXdzwM4ccw80bQgWXusfnc8Uo7G8RosIvsgjItUBWqznVLvzoy8BojerZXdrB+Uwjgh45XgzwyReDd9jSAydh+F276CvvQeazQqzM8xJ6NgflzvCpsX6Kmoe+rg7JytB9eo1Jt2oW8UJhQh8srO2LJ+35fOzGghV0N/Pa3zj/hv+fs7p/3J2xMMvPlkd7sGtxckaaDvpR31zA23A8Fp3en70TQi2RU0OsVR0xFlVPhfPK0x8nwKK6XGZ5wmPXlLtZkiKvxj9Jfw3fBGAWfwFGZfoJ0qDxK/Q5F//uvg2BLKH2XP0JnhDP6yXizc+MIwpv47zmXrFG7kQ7IYCz2kSF18uPoyjiOFeOaD/4u0RrA20zEfpNsUVLm68aRruo0EpyN+j+aKtdTfQsjw2t1gugEsY0eshp2CQogwF2vjg9hJug58dqWdRJdKg0F2+28cRHXR17Mbw+9CZmII+pj8EO+kXMhLX89VqSYMH9QKYkQKRyhARv/mwuVwuquLs64Lo5w14xDngBMLm8tlm+WxYP/Bd6lOMPVysd5xXu50p2elnb93CEZ7vzTlEki9D6tXt4nx9icEcKvPGt9RbnZW2aN2QHRpDodxlhLFvfKkFxao7ApGruVlpwq7v/a1DLw/K8H9996c/0sgtnOuoYyiT92QyYBVQLAbm2coNBXlgQs3Q+eZ2fuVH11eJTDP9dpnqhKy+i8szlDUVAJiBqvgCF6jzwkGLVj8CJvyYFaRjFvbC3VncUHz19TdnrCmfY/K81x/ISvkyg+ZeOvtjWjDRPTjaWN/zCQRQrqSYBZVFlYSdXVLNZ14jUN7yBrnM/+K6Ilt3ofWiuf3wggwRqa4m67xyVwF3I8G7hXq+Xc1DpTBdrmhgA+HcANzQi2u79Ks034eVo8hWu6ULiebEpTwFgRsMUoF5ih4Llg0YOb9C03xlp8xgdkQa7DO8cvCGE+crvg2d8uytHuLqg8WJLPQavgWqVhC06vWtrxwByJ/6/gq0oEAB835uQ+Dc9yQZOmr0QKQTcw5qNad6Eh8FzNN6E+rVLd8vrpaa1CnabDsnlvDvtOT2ezJxFN1ZZCri1++IhUJpQYyBH4n2xeJXS3QXhvz5EDZYrt4O7PfsbDlU/uyMJsKQGS4PI5uJqzNksS6A7bj4bq7PwCTPzty767PIucC45kDQr/58S0sXGBlMiDfTKfmGLPycbD8RDM/nMRDzK2gh1I2mwtpbI2/G8PMRdBMEHheSyqLxNEInqV6FN0DfUOGzAhUrvv721C8frm/AtchRuXR6A9VFfx/5xp+tNx7IoBX9/C3pihsnMlyhrMJoIpizvTzz/UV//Ytef0v2tjh7h88bsIdgyhbe/m6izaAJMyyqPCMGDychekSffTaselBDZjRrB7ynBicleb8i67iaeY+KmBdYGAz9OizhBM8E6nF5rVc/FkuMAVpJDGYzGBD4fWRbnvkZMa5S3JA+Fd95T4SggWb58CNy9XQsVSE6R1SDgA1R89NP7g6khZQ38qlheIaEND+9a1LcBL80TeQjgpa4ABts6gIW1NxSDIsGK0KFp3oDhH43Omhvts3CG5+3vz1nvGZO+g2SMY8LWzRat2Sei98P62FHVP7vBmKOXkhIH43gZkoEB0P59SawznXoNg8XRys//8d1L+I2sSlf/tPX3tE4H6dvXBldx1EreEOdCgidb46GPIi1h6797l+/PCPGRx7AfEO964nmW9TjxqMW+E2R3/XCMyjvO6Fqiw7QEHRvHfDMKzdVDrN5sH553oNTE3h5B7yEo70gSmuP/vDP/xLYCJmctfvzrXfDiC9Q4OEyt7HR0pHHsQzkgeZbVTNVPCsqXovi2VFVVZ7JUhWRGcEjSNFqCSUb+Er5jD3js4IeMcRcjUQ+OOZwgYRSaYiOvF0cspkFcxPI8rMYETU0dOSQeL7uLcVgOGe+wnpl5huy/mfBte1v//IXspG+K4Z64g+FWdCWp8+IdZbkZaR5RNMPRGyT8bPubSSaYf5+WC66WfDRu7cD6aLsPCMv/jv5MI6Ilw8CwO+YbzzKQnH8JgwCDILS7izsbxhGMJAcFP2WyGtQ3tuF11WMFYb80uEvmKqrfFbAMprgByHJ3fwazldyqkIlUDF1rlSrGqGYlKVwZ01wlxP5/Zy5s+CyHn2dGWuPgMElu4Ffc0fhCEKxkK8e6ukJreeYQ395hjBsKTn6KsJS4F+Bm16RU9NFlRu9fijrFdSDoGpI7lmiH72jwFD8KHuXNmg8Nc9JUbG6b9vOqVr0siuFML3lWpuS2brl2kjRlKTjR2/ebq7tjwvyVZ/p6+uz9fz6DQUSOpikNwSsZH+fgdCiR2H33gws5w1VjbSXHAAfpQMBcEeYxW9+9803vmbnryka84Za9cZBJ1BfuvGFj23N8wX6gJyDAhNzI1se7GYMjHhzStEDTL4UO/OwsyLKtH6WDO975xcGNHR/c/QGxsXBTdmAqnQffANT6O1N7DFppOKsb7taVug3ev2ckryqHTOOC80FpjY9gnb+GKn/5eL/o3v1HxH/LxmT1Xb8X0j5GP//JT60iveE9oE8eV689Gy/nPl/mAz/Vjz8W7fhX1mHf9shXTtcV0N6Vg4JGBvuZDxmyeNPfLiJxdxZFW+vY+I6Jo4lMxETi5hYpsrGxDImbmLiJiaONWZtTBzrzlRMHFvho1JBGNLw2CE8toLHyvNYZx4rxmPpPBZRxW6pOG2JeEVfnniaUr4OwaH7IzBkMdw3DEP4RwyDEf5phqEYRiIORByH2OnTchnfV3A9zSf1VuyI2OrY1tjC4d/Y0OH+OI51S+U/rsH+/w//h5jX362MB/BfMHYP/0v+uP/7l1n//S/PbterZ2a+eOYW72IU9ejJkycUZQVbpMXUVVhbiaHpuL8728WdAtvfbUVChx2c/7aGC/d8X+R3EvB9OdKRV8XL7Vjvq2H9a23JJXle/JSM1/n5+avZLkzNf5iCHv3y8/nRl7tC7VOf7Ku0AkExnyHmGD3w7nkMz6SVnKP7a0Ahwr6e3w0hRwoLel9wjD28oKCfXq9vr8ml8gH0Yv3h+tptKKSMMTkKy9OFj18P8vrD+shH8OJC4XB9CE+E3ygAjhGJv32Dr0dH//rVt18VF/7LyevXFNR6/fr0HI4IeSAnp+dwjSjucgQvYfCTXw+9cxLiHHDj5n9xp8+Pho1RPsq69pFFOBIpEblcpxQ+gy8wXDwtPi/483H7jp6vXfH/0E9fUatPjlPfDyHtXcshx6exYKjpyebDjTu5O/VxOarHwj81QGLpt2ehRKqtDxTekac01ORQLWhs7ihisKbV6SGMTz7mWHSYHSeYGrFpp8V/uRgyfyBvr2gxSny7mP/5NoQrxwWhoZxhe1PINAxIDGSdeG2aBad3aMyw+XhrzMLWw2P68RgTouIsZG7LvWmnk4nuYtVwk3804MBd40yj22oVbqOaGyZP7vU9+hj5mePjdIXG6d04Ts8ne8feIfGg4CfwS0/enZ5u79J754fhfLN8PQQEr4Zdb6fTrHaPjg8HxaGJGVCY4nhaENX76QWlQB2oML/QfcJnxbGZvz2eDevPF9+vbt3p9nY13Hx+6e5Owg8EsGjWT8e0afz4ue+nlye0ZRE8l7ayCd8nc+oTGsRXp7NJVY6/LdNdP+AuOd7zA91jy/t3MB5vyXvTq9TL43/nfzh+9fKHV6fbGTH+6vTnuDQQV/AXYVX5pMr611wtzdawDtveoXQYo2wju98laT1JHcc/tXU6ZGNNkNn90aSf/YRFipPjLzEIx/90vGPUdylSaPo6bDimC76Kp69ezlNPUNhuZ15/pdLtV74BaGgVCEpx5vcKUZzwZoWa0srJi8JeLpe0ewfw+D6ts23p5mQUdihpdVhJSR9fHn9zPO0IGk7kl+ttqO1FceINyrPieO8DhcdkXnT3euPuNsPdNFg/ug+zGMpc+HLP57htnfdaKiUI58PjZCfHX1AFkQP+hjzkM4HNcEeATTK5Mduw0HHhrek5raKtT7wthEU916u3716yV5P6ziiUunav/TNiF4PWhJLCtoIDWfFXpB5kAOOlU7/3w6t97LeR+Uw7KmLnehPNdcq3enW6K+NqmvE2izpOGZ6/X6GrQzm7Tcrp0REKeP16oa/BD2iyHr9+Td34+vVx6MfQp49+3T/ixy+K/SmE/zekGr+4/1c3gm0//wuPsHz0//4hnv8dPIqfPLj8a1jk/TlsKXhy/iy/StpFT3Cmh2eD2n1PsBYeJshTp6cPPBiFHfxhvTyup5+Mz2ws/kVnjy5c67vpd6enCdZhMXt4fiA9FQEO/283J6fFza25mtvip2QgyMbmdTs5fTE8vjE+UWEvbxc/nozPw6Hqs7DrseK0Puu9wdNxk/O7OTL9afqcH1J287fojxcTFpRynb8AI/qcCMiL4unT+fYzLL5QssNMylpw4Z+doktPC3qLqiprzqvT4jdFzVWtZMOVfLHzIZj4cGO4+zdF9eLTlhMf1iwu4hMbsaT0KmP/9ErawVv+fSqw+lsrkJ4ZHZ8YPUVeXl/Oh50Nw/b14v2sWJ1Obw+DTB18qalwbebnnsO5YKhPQoKZnpn8IZefM//BP5J+EjO6SBo2K54Ma7pxr0LcwXY9X/u1+yen8XGYiQKTIfjWL1KjteMkCGoa1ZvNivLOSS4b9LCsOls3vBVKdLrRTWcqOnuqF0pZ55TU2nApyr5SpmVt1xnp+r4tzf3Jk5fN9pXNqWzFTMcsLRnZrpItHWpVlrxtuqpsTKlEa+tKM1sL12lbaV33Fb2QUEIRhOFdf7hsvq/sispuG2t0VzE6HLA0zDZOKiuUbgzKU2VrXGfbionKdDSqstFGVE0lmJB1U5XycNnVvrJrKlvbnlemKkVZyZ6XqEXVu9Y6w0Xds9YJaHnfcXrhMKrVauW4rtu+ERw9wGRzuOx6X9ki9DmrpHPCadu2FTe15PQOTVH1HCNc1nSeZ9eqynJNb5Dt2sZ0rm6aUtqmrXt7uGyxr2zp+5xOEuPSVVJWbaccHYFai6bsS+FM1fCO3rVZSs5tU9Vcsro06IS+Ey2TFdTucNlyX9mN1/NW8p73jZSu69Ee5Nm0yui20UrxvqtczzSrba2stl1bWag7nWvJO8FQhQf6vNlXdktld9ZWDR261Ymam84w0fJGYES5NG1JL9V1UtTaSdmi2K7EOFe9QX/rWpu+fkDX2n1lK192X1ZKODQG6tZ3mo4SFH3TQMsbDIKsStvWsq9q5hR0Df2su0Zqg/SmqVl1uGy1F1vKAC6NspjhfdnQG8eNbhgXpqu406VEA6HOho6adZ3CmGNaGKOsVcb1TUdHux0snO0HNo9saJ1rlO570biqMsKyWtiGm74qVSWEcbZsSk5vFldIaTHfMNlkhTrRob76gcL3Ihvz0IapbboG07wEjnJlBKFrx2vgiUZ1gHjMldT9DhOyrhp6Ybazte07Op2y5IcL3wttzGNbCYRWzHZN63qNia4Z9WvNe1tLozpMb6ts5Riz3HVC9k5WvC1bmpvG8VofLnwvtjEPbgBqgZnNBUDcqrqt6TXusmnp3bjW1RWdxWmrHqBiVcO1qEWnmAAKQgutYIcnOdsLbsyjG5NCOGFU1XFMd2CKrCrbWQYNpIMAXYVqYeoxhdFutWSN7DrWK0CeNI3WD3T7XnRjHt4wYSsFTUb2FnZKl66thG4kvUq2t7xrKg1cE5w3rbCyrzWroKB9ZeuadYCfw4XvhTfm8c2wTgOsYcyZUMDvHljaMm5hqit0rrO6Q1E9k7oFAkr0u5Vd1WqjMdm4PWzH2V58Yx7g0I/S1EyDEABKBbOtaR0wxIkWFs5poZqK0wv2bWktU01ZoWoOqC+anin2QLfvBTjmEa7tS8Ub2n/EJDUPk7upTUvvziW7ZrhrGlY2mtOL/Rth67bUEngMLmlkqbrDhe9FOB4QrmkxfbXoYL5YhWEEozEoENa8xqxjnW0kLwE99C5xUzqCH1e3XdkxJ2R5eMz5XoTjHuG4kxZGxTn0utZMaYM55YhSuKrlnQLm8BZXjDFOWU6vYYZF6xvbQtUxNIcL38/dPML1NZOdxJxqwOI0wMTQSROtAC/DPG650Vpb0zYKFkjJHtO+M0pwC7yp2lapw4XvRTge2JsuW6V5w6oazAiWC3hbW0ZHW0O1WjqqHMMO0OutbkGgWgt7wukd0IAa17nDhe9FOO4RrjawlV3dKgAmuJqoYF0x8A3UCt1b1WVloefcGQwJvZBZtcBhaCkmIIeRO0yh+F6E4x7hMLQGfMIJ4g9NiRmvSnqLfmcwpaHNoBEokM5klxiE3gnbaRhdKB2YD3D/cOF7EY57hNNVJSwKlh1sCiAencDBlzrZlLZEh0uYlEq0ULi6KTvJBCAQFErwVsHAmMNTje9FOO4RToIHll2HYUbfVkpWEqxKw2B1FZyHukSpcEtMDXZZ2xI0HX0O40I2iJC3Plz4XoTjgcLRW8sFHSGshbbQdIC3AHiLhtylCn5RXfuNsUTe6GBTUPkaYKD6njveH6ZwfC/CcY9wSrdM1Zi3UjDXlDWwC6y5g11jrhf0HvTO8MY2Da9sBe7mWuF6XnPUCJf79nDhexGu8ggH8DQavc0sehNmG4CqoWe6MxbFGAOS3GKEhegr4axUEvwW/pQhpQPAHm55tRfhKo9wxpGH4KDZsm2hcVUDe+1gUEnlMKkcU66BV+joOAewa1M53aKGFZwZVmpxuPC9CFcFDofJbSSdx4yCtBV0YlEPQO2txJSj0dfE261tQW9YazV4Nogj72BtYBMOE8hqv3vqEQ4m1JIpVTUaTUcPUT9LsCT4jmCfbQtnEdYOVtfVrgZnb1VrjLVWAp6kOmxSq70IVwWE060pu17avm+An70ooVxKqE52uqL3+sOV6rRprdAdZnhbd4zOoK/oyCkLn/Fw4XsRrvII1xhyT3RvS9plXmMqcQUOBX+srolK9x2GQFedsN5NMh1sTQ/Lhxq0xIAOF74X4SqPcCgD3LyivEvYMqmoNwXXZMfhF7lOA0N5KYSFF0vHYRsQWEfeIvhs80BIotqLcFVAOOvgG1YVdBeWhQwc6FxjnYM/3Bh/ircVKKeDh1z3cCSB/xzzwHA6XtgdhtdqL8JVbfDVyILU8EdgRmpwB1htzk1dY7ZjgK0kNHVagyeXfS/p6HnbgbLDGMHUyQfGfC/CVQHhDPmHgtgrKKRsnVNg7xyganpBp3NVYFEgyugemFCnuOZw0hv8LBhm2gNTbS/C1R7hAJ5gwfCX4B+3BlWAOelgugV6F7YTPFkBARW6HiSyhVcHGg1KBYpZt2TYDhZe70W4OnA4BtRQ1mgLkg7zKmE9agUoh66XcBQU8RgNsO/ouKdatRrWBaMANIIr3R5WuHovwtUe4WAX4fcxCUvZsxJUyQHbVMk0fHUHd62HoVddxRqLfqeD4yRMigV1FAxsXz1Q+F6Eqz3C0QmenHdGgCl0RBtbQcAihe0NSCvxaPgsUpesZ7xqyY+yHFMefQXe+wDI1PsjcB7hwIdgWNqubnoYbm2slhTlVMrZshcglRUHopuWwYeoGTxkQiVMSTjwMHT9YRpV70W4WoTIhOQVRaHgsHQ9gzPgHJTZQa/QQm7LpjcMxMI2zvgnUOCdOgb6CvXsAIaHC9+LcLVHONhxoAw4Wi0ozIEOlZocQrhhcFIw0WFVBCtNLyVARrMeRErBscXId0Dew1Ot3otwdRM8lr4GNetrQBirFSl8Y/2JZBUoI1QaaA5yJcmkwHnsOyAROD6UBF578wBvr/ciXO0RrpYwGnRUYGcxkJoOxHOyFYK8MaBMje8VvAMKPkvTY3LT+XMBeWv7UPix3otwtUc4OoLRdTXjjEJusqpgzeH6c2bKio6tKY11DDYW/AWeVQcKKxj6G0ArrH4oMlHvRTjhEY7OQKpMYykM5uoKfMrSsXlWVRTxK60yaGzf1qiQhCmvqhLGT1QwheB9tTrsKIq9CCdYmOetEbqWYObA7w5dDdICCy5ZC35DB4MxuoYaSQ5kr0GkqroCwqInULPD0SixF+GERzhngZlwwEAce9gW1lu4yKBsqlclVB0dUXOgH4BPtaB6MCdgN8Agoq+gE4e1XexFOOERjk62gmtYVURHYSngJlsoGhyW3kKrMNUFZrxSDAQTmtkaeFC2aRvAXqsw4w8XvhfhhEe4Bqqra4Abbb9uMLElDDoRlx5zEKa173pnu6ah45mY6tvK0kmH8NjI4HQPBAfE/kWGgHC2Y1Wj0G7eKLim0jF4YYaccloAUBbDUjNY5tJw0PSKDlAsmZFg2VXTP7DCIfYinAheakP+AewKpm5j4fnrnvUNCgFPAp5DwYD8QKCW1RYjDrKuQeck4R2cuYdavhfhhEc4sOEec1zUEjwZ+CmBrH3d1kB1ckkAMQb+cgkW37REXAFB0AGgLINTIevD81zsRTjhEU7AAYcVg78Low3o6BqYCxga+P5G1aWuuCXzKQSdSCrLpnEMHmOlJR3mBA09XPhehBMq+GrwTaQVgjgS2BQjKIPpbJragDzZtsY8swrM3bTwLSoNPxLGtqrQcvlQTEbsRTgZOFyjwNDRCjoPFAYYTBqQDFZllYU7Bk0U2sFFJkcCprUHoDfocNHSEYi8P8xk5F6EkwHhjGEVHdVIp/55LbJ+fRKYY5SggweV4D2daCt13aOtysKtccDXtnfqAXiVexFOeoQrqw7emG4AY6zsYMXBXoQ/Qc3QabuyUvBP4ZS5GkZcoVMoXsE5/DkovhSHnQa5F+GkRzhHK1clPLRO12AQtoWWczhGdLabqdD3IEwYfWlBpOuWgcDoytBxxJiSJbrmcOF7EU56hGvh9Qt45LZXRBcrVKZptEW2mHOmbDvofAUqQaSihO9AMMM7B78C09y5wwEhuRfhZPBS4SmRbwZsb1lnawXDKbSBbQX60KHUCkSuAq/CXCBm24FZwpmQ4FuclP9w4fvXUQPCgfpDaStOfndljKQela6EM1xKgIsCS4WX0EIndWdgSegYUknAK2o6dPdw4XsRTgaEoyU1NFr38FNK13A6xJlWTRtLyyiYW6DSTIGvwX4D00GjO8ZVDyLLSTkOF74X4WSIwxk6ZptRWLNrgB6Swt9wksEi4Q67pm9olREOHeFfXYFxGPgQFXwlRTzrcEBI7kU46REOridMFkDdYVArgFgDNeb4TzPwBgYmIVEhIyuwJtd15MLals6/ABSCdj0w5nsRrvEIRwFU11YVXDBm4P+Drgg6oTpw+Bq8GSgKjtFRrAyuigOiV6UCpYR7oR+ITDR7Ea4Ja6kCLI6xhiJvCo0UQkHrGS3yGNSCbDZsHrAd3N2hOmQEeocJAbCzjT6McM1ehGsCh+MgTU73jewpsmeJutEqnqBRgOZXMOsoSrRV1wnYNvxFGzjgMjiuK3GYRjV7Ea7xCAfzafuGvDMj0dOKDuCs4Ze3PZ3A2KImKKfGYOsSUMSIuYleME4uDije4anW7EW4xiNcb4hDtLrpMLnJFacDkx2GQgBOnSSllg2AtZUdXHLy3mDbwaehGTA54rC2N3sRrgk7RdqSojEORaMCUCENC8NbB+epdDXYgi4djGpbC/DotqMNIzTlFHg8fLjqgW7fi3CNR7gGFk0aVjfgz11nrG0FeERngKXwSeDH1DCmCvDWCCWdkA62TnDYeriMQMUHWr5/q0iIw1UlzSgLOi61BKSWrhVwgwByzFEYCD6ZBzUMjXU9HE9QrdoA7CUtBD0w1fYiXOMRrhVVD1uFVgOuNGYUBlZ0DDYGisWbCiDAmFRNDSoJ9xwurVSqp2gtl6jdYXve7EW4xiOcdKbW1gi4v7DesqZjibkG4AN4Spg31XJyk2ilQ/dStVC3DpVpWwpC8wfWWJq9CNd6hBPwfoGVTe/gJ2haujbAlBb2krxE0BcNJwZs1tTOAX1BxYWzXLAabmWl9OGAULsX4dqAcDUmEjwj0TJwCiMNME0Zo3qHMjDBnBMc7rsAhwKeSdOU4DyczpDGhHjIRW73IlzrEY51cJhqjLXioI9daaHVMDQOEw5FojvgO5imA9h1TFkO7xXUEgSnUq0p0WeHC9+LcG2IwzFYUit7JTGy1nIFJ8K0bQNfyeoatdBaCUan6UI1OGlmyVRr6bhzuOnVA92+F+Faj3AYwhYQ3Yuq7I2FhRGs5VzCTcfoNxUQ1cBH6zG6UEDwKU2cj7bslLR16oFljnYvwrUe4Ti96kXXtiWg1uhna8DQOZwHFAlPRQqMPiweqzv4DlKxBpQPzS/hZFEE/HDhexGu9QjXkbMJBxRzraeVUjjKjuJBsgPAmR79TAquNTAOhMY0ooUfCRYL56myZXN4nrd7Ea71CFcxijeUVoM6gjcA5GwLT0TQThnYEwXiRnvG4DI56gbYcdCOsmspTmsYf6Db9++GCwinYERsXXYcWi8rS2uLoBC87DG5JVAeqCc4fCo6qLlGp+Df0mBswKtR78PBgXYvwrUe4QR8QoUMjRCtBY2kEuC20f4ER73OgL0l9QIFJ1q0GH0EbIDPZEraZHG48L0Ip8qwPQnen6G5jS4HatXCla3j8P810VNgPUx658iRNFoqUzcOHhRMrFRVyeRhkFF7EU55hOtJl5oa5kID3eGr09A6x8HnyRuiLTG4VMKTFuRO0sYwXne0l6EGwHeHgwNqL8Ipj3BA8t5y16DYkquGNwyd7Wi6AeJVQ/Smp0V7LWgDkaMT7XnTQy8r7pQUh/dMqL0IpwLCCWJMtHYJwOwaAF7b9C3GmwP2GKP9ng6OISY1oL4ml13QKhRsTI1K2sO8Xe1FOOURjkvpaAMIGKwlDxlzWsga6k17tQRMCJS7AtJjxKsS9I4b+BTS4iKcp9YcnmpqL8KpEIere9tUmugMA3HVMF0UHfHnzGvqY1wBoQZnFwYuEya6A/CB4dB6H+zq4cL3IpySYUua6okes5asao9Bh0ciGyhcXTlWSagYFF/TkjGMCg05/ErVApPhzcKdOlz4XoRTHuGsZbSg2KN3yY7DeNJqAwClRWewFprfgrC1tDHP9pVEL1VVS3EMydA3D6ylqr0IpzzCkZ1qWFNL1jDnaBecdbSiK6EFXe9bKBpubMnhpigHds8rBXPaavBY3T8wz/dv+A1eai1LmDA4acRLCbd0C7PdoywJimNshz5xhPqoTNUC1y0QBnzaAYfBdA4XfmDHbyBxoE4a3IF2tALf4f0zaaEqiqGN0sKO1bbpmaRtLJLxUhCjhWZqIltq335j/wZ2elfEdukPPnKz6xwvOoGut2ASXUVLvvjTlSCd+NPgDzSQFgGd84uifV/hX8BWD0Xqm5qOu+97he+wB6ApPTLo6YbwnElNDzCUmLslHHNaLy3BucuyxXeN78bv5CjLnl6U1frkDErIFHEKCg6H2zk4RsXLJ/uaEQ/nQ8EcfxqqQI/a4o/sqWbDu1jKUGofKhZK2Zspy3vGAfp8K6FIvpA+Pj3Th6qietQ6xu1WTSfPON1cvsCf4vOiomecbi63H3LafYZaPAxtRYehrdiLe4+Lbz9DReOan1O263mqrUeVXtMTuV6j/Llp862Heu6V9MOL4geUtH0iGkr6YVdJf8VzRbP3s7Ey/mC2H0531OZ/4VGj+48cTb8dehQJSAoOrhtHm7uAoz15nZLCuazjZSUEyCutDCv4S5zgjhNNsj3AVda0kQGm4Il//8LHPbk0dsVEN8IbcLNjvw4e/5ePyK6zuKanfFHeL/ln873HfMUET+koo/TWgOwoovt4FV7B/8/Dqxn3otbuyVLvniyTxPRSgxfhxQjDDWt/ptx+paeDtHz63xQ8zjD/mpWhz86v5wvMt+klffdiX4arlOHnyPBvzOuj58jdbHV3uv9+m+7vdt5P9fwNv7igRtNRAeGDKg56kS5tvVQjPaSI+z/nD968o4ZxSumLC1v81/9amIuLbvYkHDGxPRcOTc2P6inf4bdZj/szZl4c/VXdxbdu2t2C8Fjp7nbsnBHhpcbheUb/foz13mnxU9ba1NiLaS3D8Tkv8trFY3OGSqbjdJ7ENyrHN+T6t0o8SVTj44tkvIID1bSzs0FQ0xpUTHImWDvUoKaguILj+elqcJaqsLsGscihBrFCn7AGjRo+s7MkTuuQLg+VOGOqFSXd8Qn7YazGnlqkUodajDd8ulpUw2fGd1YBjrNgUsqhBqyu4Mgj9SfshlSDs91ViGVGjRxq9CmrUA/o549fCTg4rQKj3f9pWtK2Sv5pp2Wqwe4KxBLjMAz1+WQVYLugyDPkEYrC109Y5ENQxJV/ULlOUETPitTtJ6zBw1AUiox9MFToE9bgb4AiOp/wk4IA+xgoiqX+3aCIPQRFouSKjzVoS09aPmUvPIREQ5EJBUJ9PmUNHgIiwQXLagBo/MRz8iEcGkqMFQjV+WTl8x0wRCsWGQwNXz9hkQ/CUAvrI2U1whCmQqk+YQ0+AoZ8kQmKQ4U+YQ3+FhgSomk+pfrzj4KhodS/GwzxB2GIVZgEFU/qwD6xPj4IQ0ORCQRCfT5lDR6CIVXWExAQ5aftgodQaChxqECozYPF73Dp0qubxpcs3Tth3L+J54LdP3qcDpK5vr2+uOex7kgajiO5/4M/lvLA25U+98dF//1frnTh7/3NL/Ripd9kbzU6+6VfqvRRhadBoMNHZrMxwhDPj0qHAW+/S4nOY6ebPh/U4zTpCV3dnfa3g36cRkXZkdZrytOtH+6HPePBN58XMszJ8aCu4XS99XggFWaBue3euk0evXF0LkqaGEPlZ0O+M1+NZ97oMz8v9767KRx39vv5Zv3V19+w+9vz7gdnuo5O4Atvezw9p5jwEKf+/ILXooHHF3I6EKP5/e1f/vJH986tvqW/gCUTLU8ho/dJWu2r1V/xSq2pEqTmFL+9KM6qQdsIqjS99zlF2mbFEzqj1x/sd1dc3l5dPdmRi7mXi9nOxcy7Xbn8fPSPeLaBf//j9lv6fuHzX+hl/9P3P3IAzuP7H/+h3v+Yv2I2vf/x/Nmu81qfvBjfATl55eN8XeRpB3RIgBNR4CMwJp1IuGutJybcseYzOXk+f3XfFvYls/TX1MUjXqpLvBOW4t/W4Rjf+wC4kx6taD0Pt125fnOSh+ppEQ8/TRoxBcuhsPBuR+Rztp3Pz48HtPzne/9vdijmL3/+C+0KYNvv/y1l84j//7Hnv/zLoBTj0aPDcvx4AmkHxuQPcQxnjAzHwjzdPveUjpPfXM5XHb0/ffNhelIxnaL8/ODp3TsP7/7eH/Q6nto61O2Wjv1Mbz69f5TrYEfS2a3Dq+HDERN02Cid+jyewRrei1/4F/DDYl0O5zz7EyzTUZeb5Xs68IYOqzw/Cpue/MmydL4wusofGE6nrO46inU4gDUew5mf3konoEwOfQGc0xkuu86ACaeL3jsRxszXGId46Ev49npF508+fGJMP3TiOv6azr7df6DMt3/60/cPHygTz5X57p+//AOdP8PKzz6T8ZSZDRku3B9f0b/jnfr+5499L//0/hNfw2fF8fTYw11v2x82fv0YD0zxF8mx3jqS47MitGN6NIdPTQfFUB4vX2VnZew+KGPYyPTj/SNXwjEZ2RkZP+44YGWkMb6C2ekfsXrbudBZEJvxiI887en0fI0xc9rR4Nvz8mVUBuQxOSsjHZSxlcdW9+w5omMsynfdOZ1nvehOTlazUPbpeIhMmO+0T6N4f4fJeJef4zNLVfX5vIRTTSl5VoDf20LX4WifIIf3L+l0lPcvz9grin3lv67uZiv/68r/mrKYD2nyeXXynurjXx0984cyvD894+MtP+y6ZeWrP96ymtzS45bU2+/vzt6jg1FP2lnkZdT2bZ5kdXe2wgCgsj9QEpLvnTuDSYa+OznRYbA+O2Fn/elT7TOl7/0pXXp7+nRIgctbaegKUr09/WzUfu0P7/DjlJ++sZn9CBLqB2IWRi3M9Sv7NgSI4qFFIXkMP33mf3s6DT3xzz6r+I6DPO4V4c8mIizJz/IIBxfR1tP1xctXLyj483ql31+kvqOw5yIeFH1RvoDu3gKlLzD6n1VpDvscxmkM/M6PKfHRS5/kKXsxbL+7GM5byYcVGb3el8mY0dhJtNErRQ2Hir28uXz19II9cN/7u4vtQFwWh3vg5tXH3wwjur4Y5+Ww/4qQZn0RNO5a35ALNqOUWwc2xbGgCTfIs89OtFmfvDubnz4btezdzMPIX+Y3dIjUmoLayGuaWRrDpxfr2+uTd5+Xk9Ok1qc73sZ+MZjX82GjZLj61Bwfn/+whKq9y87N4bNwbk5+bM5YQqjRecjgZCwraF4EtfBzOEYnpPl1QZsYM3pFx1WjtsuBMWyCkxiOWA8nXS9XnQN8hMPpd5CI83Q4zU5FPGSR6Lf3/py09/cPX1r5HwK4QgcxP+4fbwRn9CIO+LZW3D+nKKvj1kCMvzzVD4zBU/NAgq1RIXt/cXx8/HgIxuMhGI+HYPznPATjeDibzhPU2ZAXoezi9jqchhVwO4NGgo2nF/3xnidefpo/L6uft5df0lMvP4FB/UzPvfwUCvuZ5tHP/2NxfDTmffzxj7P8j8We2RNz/HU4Hs7RsZIbJsl5hWVZ6Q/r2dSD7osISscAHj8GwYHfrtihh2SOR4t5cvcs2O3JuYh7LGewNKfBHj49fpKqP9oo2ky7ZxTu1+inm8ufP0WVchu3o3ZDrxwfPz7L8g/8LEvEgG2V2vVsy08jHwnq8PP+p1XC3Lw3uY+PH59feXx+5fH5lf+9nl+JIPLrIj64MnHFZoVbg53M9dXVhyL6p3FJ05/6vFgu0kHDN8v13EdfgwcXThC/eDnqxQ7fbXDZZsE5e0mPu5zOTnbstpyd7NgAOTvZuScRaXdtEpyd3N+1h6Q7dtLh6o7dbbOT+1vOXr06zIA+4nGgKWmYpc4I/Tdyh4/zTbfNwU8fs5mOiMfsp/d3+Gt19/N0H91P+udBm34yPx/aP7eLDj5gRR631z1ur3vcXvd32173uNHt6sl/8ObD0cT6Zbxnx/fOLj4+zY+zpr+GE8oxUdYXPx2HZdLXQYfWx8/9dJmF5bTXIaR+/Dz8OzuONvp1sOL4JYWVZ/6k7jEfCjKHxZ7P6J+35Ct68HubXMjT2bEPaw+Lxq8dnfT+2tDdftkyBr2RLhik4+fHMXgxG0K+aTl7c+k8vc+XnmkJLRqU155xHD+nygTTdxoG7WZF635+QbS7vb5ZewihGDpFAC741lnfFxfZSd+Pp3z/77v/Z+UofO2Xwn/5/T8lZ6y8d/43rx/3//wSH0LmJ7RbZX7lVk+eF08Ao7bwyxtyVixvAOtzwAuFhGfAcv31t7PiG9rZ8mQ23HkNUKUbgXdvnbcGxdkZ7BhhFSTa/RKyo8tDfpm4OlvdLtaUPy6igLP5CoJ7d30GO7smA3MzFnej1yAMKI2V0l/oNepNF8rwFVb6NeWHK7TRk64FOMWFYISeTI2Az4usQPgxNwX46eVgt6qaqeglVzBPSa4q6cVXw/3bRgN5tG3KPbcaVLBQQ65PdtsGpFHn9Gh+I+hgo1K4s7IZ7kjNevJXmYknw+1TU0Hd1eCHn32PgVy9jsGmobpj94FBUdVbzNCx7nRF1fD7hitOh0QNY8OlYbVp6O5U1CoQh9eXYU0phGQpUSVkGL7AAl5fQVk2VE3PDYIuUMzvtXVXV+N9Sqg6/xU0L880/LbeoPPeutfrq6UfoaA7vgTPIseRf/LH5Qbsqgf7oQ0uoNtvaRsceWrzTm9oE8utuZ6vSU/PY9cOq7jXN0RwvAK7FSYH5ol1hX4LM7qmYOH87ZyCeX4dl+6IVDzl898xXIXXBdoYHX9OOWB0i35+57ozb+JpPc+d+UBkXAgOzChmBw5M+aQo4sCkl4urD7NhMbCb+Zpo8ITlsg973SIDX2I6+jJpaXTlCswh1OP8CTJ/9bhn+B/c/t8uzteXf7cyCF8bIfbZ/7Ji289/0FGUj/b/F9r/S3t/15dHv6aduGHPgp/md34pkABnZS8pVglM2JwX3wYHbl38nszV6kPxFEhigSdpm3Cw9udHcGSLM3d75O6cLf6+7KB48n988eQRgx4/j5/Hz+Pn8fP4efw8fh4/j5/Hz+Pn8fP4efw8fh4/j5/Hz+Pn8fP4efw8fh4/j5/Hz+Pn8fP4efz8p/z8fxhpbME=","code_sha256":"1d7e85648e4b02ce15242152f2d49d5df90243b466df5728f389cd3853e75a7b","notes":"106 Foundry tests pass offline, including 10000 deterministic random queries, 1599 selected-knot queries, 27 explicit Python output pairs, 256 fuzz runs, int256 extrema and uint256 phase extrema. Zero max error is bit parity with Python Fraction bilinear rounded once toward zero to 1e-6 bps; unrounded interpolation differs by <1e-6 bps (observed 9.998975916605e-7). Signed negative offsets are retained; both axes clamp before arithmetic; phase>2 clamps to2. Data: 9594 cell bytes +134 knot bytes, zero storage slots. Gas range18124..19433, mean18711, 1000 sampled internal lookups including table copies; external call/ABI overhead excluded. Runtime is TableHarness with external offsets and measurement wrappers, solc0.8.26 optimizer200 viaIR Paris. Archive contains only src/ and test/, no dependencies; run sh test/run.sh with local Foundry/solc. Packer accepts arbitrary sorted source-grid row/column subsets (>=2 knots/axis); rerun packer and test generator when replacing knots. Final Strategy must inline these members or flatten imports. Compression policy quality versus omitted full-grid values is unmeasured; no engine, fee-parity, full-callback gas or validator claim. SHA256 identifies the uncompressed tar."}
