{"key":"tables-2","part":"tables","fixed_point":"Signed inputs/outputs: nano-bps (1 bps=1e9). Source samples: lossless signed int24 milli-bps, safe-alphabet encoded; exact bilinear numerator, one final division toward zero. Oracle uses Decimal/Fraction and the identical output unit; rational rounding <1e-9 bps.","functions":[{"name":"lookup(uint256,int256,int256)","domain":"All uint256 phases and int256 nano-bps coordinates. Phase >=2 -> 2; w clamps to [-800,800] bps, R to [-30,30] for phase 0, [-800,800] otherwise. Error measured against fixed-point Python bilinear on the SAME knots, not full-grid compression error.","max_rel_error":0,"max_abs_error":0,"gas":42108}],"tests":{"passed":6,"failed":0},"bytes_runtime":8351,"knots":"w_bps={0,+/-(10..120 step10),+/-160,200,240,320,400,560,800} (39 rows); R0=-30..30 step5 (13); R1=R2={0,+/-15,30,50,100,200,800} (13). Exact source-index lists in src/knots.json.","code_zb64":"eNrtffl328iVbn7mX4HnnIlIiaJrwSqZPXa3naRfr8d2XmeejscuAAWJbYpUSMqS0un//X333gI3SXYnaXsyb0gfCyRQ612+u6CAms+qh9+76q2vX7py7OeD+XT8m1/5o/BJ45iP+GwdY22Nbc/Jea1THCL1m0/wuZwv3Azd/+Z/5ufhw+jF90//fPj1qPKTuT/8svaTxagZ+dlR9M2XLzsXM3d67iJIxageLW6i/1SDfGDi407nIao+nkwXqBh9P3ajSXQxHb8+H9XRgiWpH83d+cXY15FbRP76YjyqRovoLWrMB9G30wh0X/hoOsO1hZ9N3Diq3Hg8H0jDtX8XvZxGo8nCn85QsI+v49HEPxxNzvwMDS3ORvOomk4WM1ctIjepuXo0nk7fXl5wPWpzfCPtPcGl0eTicjF/OL1c0DFyMx/NR6cTDHDiJtPD8mIedXVEh2GkfdEbRE/mb6Np08z9IkJnM7+4nFHxZjSbL6Td78/c3EefDU10Offz6IJ/mkH05WTZRzUGGVCr9M0UPx0Gf3buQTaaUjW+rEeTUxqvSVIixcyfQws7y5mtK2f0UyfCp7xZUF+z0TuiIEqClJNF9IPCwM/89QPV2Ngo/M01/XWW/npoVhMrzX9tgb+ayqBgTn/xg/5W9Nek9NfyVVvjr1Ux//X0V1N5awz/pfLWZmva6+iPjvkv9alMTn+tZV3n0yqlv5q/ayqvTcx/qbzG2FDJcCWVL6sm3HrKtXI+Uxn14Pi9BNE7gmwSxOwIskGQ5yuVWQ44Wxu2CYOnv35tCslqIqpZm04hk/pAp9tiGagttA00lMFYs9Zps6IYT1hoIhT48EzNx+wUSGjiwxKwHBD1fDQejwhS+1EMO9D4QzcGOJZA0jBAP4veufGlH7QNfDOazQCQtYDoHPaB4ZIgeDK+OY6mCwD/1Qj46l11FlUekM5l5lwIVydROaqX7b1Ar9GyV/duOqrnVCryk1MYkr15BDxGBRi8w+lFNa1hDio3mWBg/h3agkEbj2BFYJhqt3CD91H3aStHoF6tYlvzsVYJHTVpBx0reEE4GqMbPmZWfntl6Wihb3wsmAt1rIPcaWP4mBjFx0Lq6dCOLnXG7VhV8dEpz+0oGQeUnK9DbbW0o+To+LrXkAQ+Jtbx0fF4vfYxjxvKXsg4TcztZZbnhWkl3E6mZHyQFa6XqYyPDffrTWLlWBsan7ex1ENvPA6MS+afyXXSf5knn/fahHFVykl7QhfjdcztFDQfVkDLR6YfAZnxfMyofxxl/GhPyREz43YKw+3aVDuur2m+ONbymwCIjiYlPkBvrE75WBP9wSVlSj7GNF4cKyvtptIPTpXSrtTTisaNY2MSbtfL+FAi4fo10TYG8BG/cUR77CcnyjP24DodwVceD77x+OA02zBOGZ/TnttruH9tUl3R0Tqmj8FASlZrwgCaojeO2zWs6an2TNQMJZgO4F8u84x5nnSdjmiJrhvjjMB5xUdQyRAWx0AMGn8C+Wy43cwU3G6sCUXAdUYcGA3iP9EhlnknQk/LcgukyomuMC8ZhQfKEP7w+POY+0FJy+N3PO7U1Gw6Mp2bmtvXlvrLjQl8qlk+tMmZ/jQL6tdgJjU3TCaPsC5htKPmuf0w/lSRZlBkY4ROoA/PQ7NMwARlzBeoKckXyTrJH1ovFfHD4qvMwzDdQXayqKBXxe0nqGV4HjQGmkcYP37KPBIeZxHkHWbR8DzATc90SrgeSvP4iD+56IgWG2aZ/kks80whZdyPiXUT+MHzgZwRPwvtWG6N9iwPljjHNqLgbrRp2P4BhZj/MX7FTK+c+ZSSuyF8j7mf4BTgqil5Hk7zfDBObl9XpgnWlt0BZVgPIAeqZnpl3G5sSvYUElDNM700t5PpWFwBjCDmeZgwj4LnWTASUoOe6aghXwnzI1E0MsNuDtOLf8f47UW+dML0UiZhellVCN9Z3vDdyjwy69hLqJjucJSY3kaXTC8TiyNjTcPtxMCnkulluDxQl8ebBSucgfTMd5zl9okgPI+Y6UTU43aUlrgadGQ6WRlfTBxlPRf6QbuYf6SPwpfSUF+E1SJfDfOv0MJnF/wAB9DJRE6ZXuCvDvxmuaFRcvvUEtPLMr1T9MfzCfTP0V8T9ITngdnU3I/gm7PiZaRoj+U08At0YZokSnAxAaqy/CrhV4pxZcIXlvscfBU9iYX/QJuU6VWynhHNK55/xe2mZKe5HW+l30zLPAzjTqq15nLAGeF/pYReinG00OKmFlboD2lmeSwxw5L5KO1kqMF01yLXJK/Cj0LwF2oZ+ML6CW+BfdAc/RVMLxXolTN+OoIA6kcXseBQKfoL/RC+ais4mPD5DDiquP3Eir40LI+4LnTD7KWfgnHcBf0oAx1L4FTG8xW9wHi4HGkh8xUIzkdjuXyuvOA91FLmIeMvlPAX+sjXHayp4nkIPSvIcxL4poL82fXfkDu19vuXHjEP7r8E7LI3C+1Nub+a2/toR7KgOJLfoT7+EdiY2E9xtBKRffQj2atPcczJ//oER0d+wic41lrM9Ec+AhPiT3GEUUk/yVG8vI99JEzMP8WRvNFPcDTAd/8JjmCTjj/+8f3Jlad6Ff4XCHsSPsKw0BFhF7lUjqwjHWF2KSx0iGo8H0tLwQCbbz46dsE45OI0Qqk5jNccflKYz+0UcP8LPjoONwuEr5rbV4brc7BB7RkOsx2ZY24v5es1BMJIeoLHW4Nxkj6olYT5NY+7iBWH205pTj/AneV6aJ/LObTE4Ts58GGcki6QtEKNXzwPK/PnlAOH95WuJN0Q2m9kvFrSE47cXG4fgMztV1bGW2sZb0VhLaVLYkkXaKajh4MgaQMX0g8hrWBzDvcd6hmhC9fH+JnubJxlvJK2ATs4jAdVVWjPhvSGpEtCP6Z14xp2a7JY2nHk3vO4hV8Yv9AHZMi5faVk/olhesBN5H7A35yPRtIycN/EzazZrc11yr8pwylyEdJIoIvQO5V0E3F4nQ5WwioanJG0ieF+4I6we4g4oZAwSdwk9CNuXRPSSMpIuyn3S2moONAhE55K+G4SGj+O4l6mcLQ008UEt1DcrYIkj905TrDAfZX2avDJB/oIndOQTsmUjN9rTnOQGy9HHcI+SSPAPdfilqoQfrG76CR6x2gqlrM6DmklCka4fS3pIJtYSRst0zucdoA3yu48RiN8wDzFPU44hHCo33D7GbvFcL6NpMdi5gvgN/A3MyFto4ROjYTvumDgjLWEiZmScDYHVwzTKw9hUcbhAFCB3frS5kFOM+GDDmm9lt+64TQRpac0pwlyI2GgzCPTkkYpMHJ2v0MYiHCFw4gy+F3kvorcONFftMxpLcpf8PjDEfJC9KOgppIwzUhawWsO84GLtYSrsYQrEuRXFJBwUjkO9El1sp7Oo5YlDWRqbj/ncVKQYTicVRxugwYSFpOeM18aPl9aCVsq7dlRqSA5koajDBUdLberldCN7muUShIbFadPJIxBOMvyinCG5asARTkcwihqmQeHSQhCmXDgZkj7cdoWxyqk9Rqep6X8G8/DcFiMXiS8VLESea455e6UpB0QFrGc0zxibt9yGAu9iSVNSakFOhpJO5mcw08Vwm2iH6ebMOpSwn/mE85KGKlrlnPwhetVVvGR0rMZhxXW2KDnkhbMYpYr4zlcg5Bw3oXSfyzPqtESzqoQ7heSrqC0sMhvoJOkI4B3zL8GwTLrBWUjt48cD8j8E5tImhGownRDrzakYUTvE26vogQPt19ReU3pYM1ZHnaP7/1AihkXYTUljQk+OsaBrMVJpltJaXXmS0zz0FrSp237y36MrvRdR7TG9MsEvijtaiT9KvwrtITHpfIsbxJMKk3pNHVHP7GVMLA9UronlXQF0zkPYXVm5V4ZcID5Br1hx7c0EsbXVm5qZUL4W/1kOt44Ar0D/kqaJmcLw/aK+dWWK/iGCPEl5XHBjlL7QDHW41v93BfGO0JtlttG0oj3lAMKsZ0GvpPjiH64/K1+/tnwvg5pygY4n1A/5Pnc0c+vFeY3fAMG4SS42dzu51cP8wsOwW7382uH+QUkMb2jn187zEcvxKdb/fzaYX5hWf5u9fORwv1b/XyscH+rn134vwv//8eF/2Yj/OewEuaP3WSANIevCG4krEebHPbTfRw+ejlqK2kBLeEb3Z2oOFzVfLfdIVjjsBhmNJXwn8N5DuL4KGEahemNpAE4vHRw9yQdIOEUzKWEvXKPDcfGSJidxW3Y6iRNoNrwP+ajlXZUKmE03YXl+pKGIDc7C+kLDp8JiqQdWdUAR0zSAzakCfjuNK2GMEKHxqaBDhye64LrY96SPiHKSjhtc0lfcH91SKdQ+GtDGiOWVRBMr5pus/LRt+F/oEMTwn++K07tStpCJ/LbhLSIjWU1BkbH7ZkmrNpowqqFQtIfoE9YDSH8JYeY29WSTlFZmHcsdIC740KYW4ZwOpPVD0ZWf0h6iMJTOZZhVYUJqywkfMf8jbQr1zF/Th/QqhJZPZKG8nVIXzS6TTvEoR0j52VVBmbBbhyVCu5cCP9lFQlFLjIuCf/hdNiQvuBwCgojYbrhu9HsEkkYx4CaQ/5Sds8bDpMKALrczSlMG/4nIf0Uh9UpMu+S+UOrPWQ1Bd/jjqV1OjYcztA9Kytup7h/ZnU3LpXwVrfhv6xa0aGfUlajgC8cRsl9alo1outw5NUL1rZhmYR/cPQ4DQA54jQA6bOkNVQb/ks/qawyMSakY1iuY3LcMlldIeGbNE935YykGeSuOd2D47CJKUbtWzaECG90WHVjWrmwEqZrWRUSh9UrlMii8FbuwtI9YxfuxjY8Dxv4kGi521fLPGxq65DWiEP4L+P3YXUMp5moXStpgEJWr8gaCrp3z98yU4bwX8JDRzMM4bmEzwWnU0oEBSJHqYT94KikLyRMN+Rm8yqKWFZtxFZLWMZhHd1dFPkCPjI/tAt3+yT/U2pZ5UJpjUrCf0m1ak7X0L1JK6tZKk7/2HD32SCMbTiMarj9HIGelrSM8GF51zJnOStFKCkdIOkM0EX4UWoJyxNZRUFaziMUAw0rwIYnVeJfQQ+ZLwhqRX4JCSU84/4r4oysxRO9wKh5NZSksyhpQnrDV9jfNbJ6hnOlSpIscpdYVhu4cPe6RM80jjLmKBSzrTm8qiiLFML/VFYbcbpH2yys0ihZDzFpSTOFu96pbiRtFtJP0EYOx4heHAZquVtcK0nXhFVst8J/YwQ3AIPCD4TPpaxG4PRLagpO++Ria0m+JF2GoZbcrqQJvJY0mic4e0/4n+iE9S/Vkl6CdpgmrJYpQvgv+qFCGFhwewgujQzTrYdl94b/qa4lDYszTlYVSXjOiSYO/0Vuw6oWwntOM8SUOPpw+E9cl9UjRtJx0Os8rCqRtEPF8ytMLfoY0kO13G2HlKg7+1mG/RiGFlwUPUdtbk/nIS1Qb5QvCAmZ77kWfuRUTxOds78n/NdVSFs59d7wH/ySNENM9NWprEr7COG/tEPJM/KBUkk3fMTwn+0AaJjE+hOE/7lhRP3o4T+tCqo/SfivOaXx0cN/SEG8C/934f8u/P9vG/6Hh7TaZ8tWCYCXTz7/+tnrz79/8frFF0++fibPjx13uNJ8Mbukx7im89FiNJ1EP0WXbTvHbYv19fLr/MJNjqOfpW5zOam4kjzV1m1r8hMS/bbK1Wt+ziL8ek6/elydPheX5XhU4TDz4QG2edQNRd387bJaOaql0k/LqpLtOPfn09lNdDU/vvvC7L4L9NDE6lI79Go6Xq8wnY6jc37wY3Vy1ERdeZBuOIxUDxS7mg9/UMfoavgcB2p4+BRfqK2htsehhSEo7Yl2bUN+jDY2WtNta1pa021r+he2JrWN1DZtbfPh2kv+B+pcQ0heX4ST3Svwj9nYO763xs1GjRlqPN+qsaSxH48/J1YMZTD/Hh/lt0u9RXvd68Eo2ufBRwfRzWDUo19t9VUdesAGvZcjegTTzbo07X4E6aGa+8sK/Wjt63U/uumtc7Uro+mtiRh9MITh1Xww9pPTxdlDe2gOceYYp+vr4fWA9OGQvh9vVMJQh9Q3St9Q6RsqfSOlb26Vfjukie5ThQOa5P4dU2RxHNXDrUm+7W9NcfXtur8+v5+DgGw3eBfdDuK/h3IiRNuQ8Pp0Nqq7GxqHppfY0lumKe9S/XUeLOVhaPdHm2Ki0+hyKF+63dfzm/NyOmYQyrvu5O2rXu/RI216f7t96UDzxbT3t9uXDC6tzU5GFmCoK31d9nr7W5h6fDcRlvqwTYgwqXf30WFbu/5yF0nG06G6rThno6FbiateE3G5zo8HD4U/rq96twqM3dr1s1FvE/rePeIGetG7IX/ZuvoZ1aaLdFxduzobjX3UPRsdjqef6W0da4d+DgHvjqcH6PSh2ZR9arwdE4r1Hg1BOxAA349FtDFv+rEll/T5C7RxPL09T9+s5jmers3zL6Su7w6pwPpJUt+1Cge6t1bkFu/XJSuq7mP05W2Jp6lWj4Zx3mulrzrevpisLoYWulVvg9lSLjV3lbO35HvtYnzPfPhxyO4tG7pS6rd/v1JfDreUk1psVTe/pbpyNWgvVHtDQu4pbO5W9XDVvnqvsptYGBSTzvfuIcwSPt9Hm9VXeFyj2vdvm8P+/da4f9vcfoDYW87SEjGuhoGRYj56+901I9Y72Lh4IEPt7W8auCXOnJ5tNnawnMovaXa99GYHDx9Gz65dtRjfRNMJpja9nNBbCPrRYnrlZvU8+qufTY9XD/FGh58t35EwWG/lc6o5P+IRx+F9D/TiB34I+FAsCL/xoU8eMT1fC5AafhY9isx/aptGk8tzP3OL6WywLSJAqav97ppF7x0QPfb567726cNAgH0ps5Sdnzu/2X1++Wd+x/tfBqPJJ3z/i8oynWy9/4We+Ny9/2X3/pfd+1/+kfe/PP5BPf6Fb0Z5/IN+/AvfGfL4B/P4F75N4/HzDw1g+Q6Mx88/NIDlmyseP18OYPe+iZYmTz9E6eWzKY+ffojSy3Usj58uKb3Lef0L5rwef6seLzNNj7+hH/9U1uvxt3q9Pf3478x7Pf7WrNc3j3eZr13ma5f52mW+dpmvXeZrl/naZb52ma9/1cwX5X+eP3vy9Jtng/P6I+UY3p//0cYqvZX/oRULu/zPp/j8NiQYogtO4UjqptN5s50TfEMZEEdJm0ntxtCdviRwDpuZB0642YLC2yhkZ9ykokwNwCskN6YUCXegnahyejOIvuSMCvSDI+RmNEZ42Y8az9HoOz+bA4/6lBxyOEG6xXHq+YVfCFQtW+p8uZhvBHxv7owbN8LGjajxTYtvnTdrMeJ3nPXprwJFOdF7M4DmL84iNzuFAk8oxTOp0cL8cozvl/AV9vdJ3y8no8W8Q0kH9LG/PyDUoWkcLcen+vi36j160zW5yVJRgf7ad/TZ4XTZdOZOKQI+v5jOCFdAXWLceFTO3GxE6LOZSWP6SdYMU5r78xKoRxkpDLMedF6erYX+gk8gFQhej+aLESwQgO/cAxgpd3I+WkRPvvnmRSD75xRZrvF60Ol8Nxudjqjv+fRyVmGiIAosV3X2ENLzztcPQ3Zw8OMc/HOLyJ2fH85H58RWtN7xaWJ13OR57Ys4adJaJUnZVMa5Uukqzo0r0yRT8PRe/PHJIbjSeeObsky818rUZVxbbZo0TtKkLsomM9aUaemr0it8MbFO4yaLYxfjZ1k2psht+aYnVJiPrsOog/yDEO88qCmGYmUMLma+GpFoDqIXgvjrWUQ2BZ1VaZIMyiFJ3m88nc9RYQ5RoHSS2A3ogJ9QKqiOrkYQqwajiFJJbLFLMe9czkmFHCe1ONmwyjGBNZxmWiWWIkkszW8lk6I/wC6KQepsDllLcudURHVzOIszUu75JcYbhjOIfqAL+HXuYWqryF0DLmimTK1gCNvrN9Hn3av+897wSffwqn/4vNfn3Fr0hCbOubR6EBEHLghtZsss8fimU5356u2cMmPUSttuyKH6CdhEZFmcQZCmF4vR+eivbsGYMZrU/sJPKI2NnsobAYBB58lqzNXZdFQtM34l6fMT5tbnPO3p5YL05fKcemhnAgn/WlLLnM+dtxSsptMZPAhH7lkYXT1lji3zvIOQJVZt1efgXOfk0Kq+Va9CorHNQoKnJ4c5EAD/ce2qrbNxvm2RXZ85pZ/7nVUueRnyuOvR+eV5n2FpmZn+HIMFSUU3cRj7ilCMfcW1jHSHyUIBCahdX2BKlLYnXpGMHlbTGSUuW/905c6wSNO4QJF6qUIgbqcevRuRZE2BF5v+1iD6jnPyS3cMENQ0MAJRM5ues4U4d/iLPyPgVDRjVrtxh7OSwBVCMHCanD/ujvSMZGMC3+uwILnmOw5c/NzXI3Jtl31Nq+pyJnPrfH8D9kOLZq4ae0npP4XKn6NTmDjRRMjJ7ykzT2ZoOQCRPcHyYPK6rd8IlPnGu/kl5ZrBk8iVQMTLhX8481SRkIayQ5E7hQWeL0So9/eb0TU8SaZ8OyD0yGaUcJl1eX+f6C00fEk3RIJRdSQ2wNZpwxe58CHZT4Ay4Zf0CJn+7W8jWDY2EaJxHbI1EONTfzhf1DSlc3dxwS4yjEUzOr0U6pPNBhsnfnE1nb1lUxOIR7oMQ8VD8b4mU/P7lo10fwOk83SPaAYWTBd9QZrfU49MW0dUhVEa052jF+1tJxo7OpwdwTV586bDA4ygc4vo8HAqE+ALHabCBZm7gGGrxkD1KuLbVyn3VPvGwWzDVgcEoTJ+Adt3CnHAiJjYM0/mlmSZ0/hMRVAAZgLxEnNV/IDuqvm432ISVMRAZ+FjzUbz3nsGj2+kpVKdTof6a19nh7NL+AloDyf9u/PD4CaRZGLOh+/w6VwwD2x0+CV38JCZ+rq8HI3rwQVinsvFrbu9myfIOgslX8Aq/p6UBGhBbQlZBQNmoB+xlOZw6iek+lAVDY8Go+P7bBF0kQ0kq7CLWJo71rBt+/qLPwwAbRS9zKODh4e0Ej/ihP7z1cmUWgq4pZhhbcnlnZlB5zuQ7ozGCAaJ/DGDLolhwU9YOjnzcCOH/Q0CVDTGF311yWp44UazeQc6E2yZIDya4EEHJ2+wJpTrNqp0i+psED0dnRJRWErAFhDzrfcXciNIqDg/p/uUkrXiFggvpEe5NRn5v1y6MXXQnV+WPwKfabBhNnvkEVzyjRj4Gcx/tlUXpJR0y7KuR4KOa/PmbiLqVvcTowPqe3EIOuNpxSqNqX3HpkjGKZVQ4moC40BAF+wN/PRLuhfWuhA85HDjkuwQSo3CXTWxXowesMrj6Q1bTLrzBYHuM1NP4XNiEjoBgQme0JOAYrgb3GInaxm8yssJ1MFHed8mWm6+HEfVzAso4Wxuj8WdqNuoPEr7Ko+D4x7qs8uyrEaCzRzCUNmonxFiTE7fd9MOxCrnfgbPlqZASt3Kvzj48/XbuzQX0O/J518+bH30Q75dXU3nNCu4GpFN+9bG/Q6ZiNj0tcr7hDC4UPSNTQdFkWdRV9D9YjalW4an42kJRgdD3xPdhDAQ9trC9G1a9FELzg94SmEDWf7bbrzcYidCXM0A9hhogNsAoXk/z5Ml5UtJKLEjF0IAovUY5ujEmlfC1YDAazQNDjYLB+c9MFjYubbHK9CQm3STjRHNz6dvRXP6y3ARBndU3UhHweBxAArN5VUBtR9DgGYEaGLinkP2HHn3Z8FudjrPLyfRmzW0pDwIiQ2hJL4szh4uppshy4ksXaDvr94EWJvcwFVBUID5wENchkABASWWOL8EHpSeecYOEOnbmO4wT6Yz8ixaE/D7pV3AFKY0rQ4ZUBr1OdlXMECmz85yYDbH47P6UKLAm9aTnvkr4otIdYvQdWcJXRybCFC1ILH0tURsqWPIzJiQHbJ+EUBlRQSKFjtvZtOr+Zt+9IZu6qj2i26/mDcIQ2g+YE0QAPjn5HwfCxjT1SWFWv+NfFmo5tLdCgMST33NG/0eNjHADByqc8AUzBU6O3c3wYMUpe+shSvkYax+wtyHEO7yQsz8AMISpL8fxI6hgsGwBQ9Cr8g1BIkkAjMRL0KoY7QGY8GsGDviJ3dBkAEpbWBGnn35/aHOFJAalyC2oG9nc0SidFA4kJY7jx8mD+Mwx6Vz4xiCr0VeNpaSELmvJp2ARsFUrwzSPLhcck+SBUZc7jnJK1Gb25Z4ZNCRCPlsdHEh7hEnCWzBozuKrobwbtguDwbaKPLCdTiTqj75PiZGmGNUP8b3JOX4ZdBpAyKxjWyYLGx/mGIIb+BQPOR1NdFz9NKhNhNETP1EARylcWpMErpb4sVMxUxW4joIviGlsbYgRmJLKhpCw35woucVLxBZd5zByZoAjCLK4K/T8Ket6k/YeB1y4LTMCgeAbtcSsfMtQzTpIM4KmyX9TpoPsqTQKT4Zsz0tBlYnSW5hFjg2JxsTwkT1kGjTZY2gW9RUnpYzCCq0o+nwMAJEknmd1pcVL0VaXHnYjw0/QGIkkmUEWTx1ttuNpPcAGv0Oi/yLK3dBJo99fnGKW1QnAkHTnTgIAtPUPQcjEutP53RD4S+XQE12r9dpiziOLO7mqNo0ShsmQ0uZIdMJOQSD3WrPf37950pJ/ivy//Sig2w7/5+k6S7//yk+dB/vAWH5g6PohG8kKblZGOdyzMPvIpWj1iZ8Mar9Eopq25ax7Zm4LRO3teK4/dIWbnvSSVs4aQsnbeGkLZy0hdO2cNoWTtvCaVs4bQtnbeGsLZy1hbO2cNYWbmes87Zw3hYuwhmyPeFLqGVMKGPaKZu2L1g/HF/RjwfsJm2TWocKoXigvxwSOYRBZoEngSWhetuMbvmx0Z3e7i7drN3OrZ1IO5p2PqFPG2rbcN6G+i1j43yjV/Mpe+38vAPyfwL/Q9zz0fr40P3fRCW37v+abIf/n+T+7/96eDmfPSxHk4d+8i4KEXHnwYMHIS/cvy/GHER/mrtTfxTdE0XfGzx3fpDQ9K5HT5aB6cP/w1H1fLDg08tUOd9J5hQvZ5kHnVXDR9FPS0sWogH8bCOCV/019B0MBu1vvfXbtL9/7jzbjFBDVLqKU28Hp9v3S+i+bXsrjNN0lA0HbTtyExcu+xzT7FNMdQbq9iOaRz+i/AP/nN/MOxyX1+EuRKgXbkrItSbcjZi3V9vbE53n3333Mhq2zQ2+x7H7+jVl7l+/7g3gdtOd2W5vAP8eznQ4dF7QWm61v190nnz9/R/xg0jQRRx56rtx0etFB+tnYLQTOXmS6n5qXm1ehlFO816vQ0Erhjb2ky612qN1yWnc6dS+aRPxr5mV3d4RI/vFdL7ZNaI+WAmtpK/3hJevuP4VVZ9zTN9F0NWl9lDv8JrDqGvOLU/nr3qynCmsvYGkoDvI0PCke3WAtnoPHyZcgeQIbb6S5atquDYwbXu9/sZ6MfqwbA1PVD/tF32YO1g6DB/2DaaN7vzFfdgymLE4f3V3ZfPLKveEhpzi777sR18F+tGN2eHJq2OKzeRLOZ6W8k1Cf/ou680orqT5yXxsaIHpMhp+dbJHFNlDvYp/0eD2aKVV96L3almSGnF9fozhpDsbgSm61+9Woz4i+1ETXQyHShZTQoReHW3MeE02XI+epeEszXjcXdxc+O51bzike2BLtrneXbXdiXpFfXDdk0ONH5NDvWzq+tGNtNCnrGX019FF1/XdiT5qJYBl5hp8H1HqorcvbB8xWUarac5uUOTHw5QKbEyL7vi9PNn7wXy99+rkx1f7SY8b+JEaqNYaaIeLMR1ak6V59GiIeT2K5MdyllfXB7Ob1dCInQNKlU7qbvfquo9rvWNJMS6ZO6TUrJvN3E23t8GXMItNqoOprQCslw0DProlk3R3ZLvCkvEl1dp78vne7Xr0eTd8eeLKVmZORkwhupdzZ+lAonfM9+67Xj/aC3i+XIAR+evK+3q+Wpyxd0/H0sRx2+hhVz96ZCwt8n0Uvt5ZkWbb0vvd3UUuh++i30VdbiXuHeq7SxFjBpT0R0OEfCfdy88+m5+NmkXvd6l9xeTjn6w5UHTEV2lfvbrdGhjWjohGt1mAJaG9jJKrq+GxDAjNcHhy+I47fCcSdnJ0BEV5JWuYbrYuz27C5VsDWaon9SnMPCF9k9+kxlfXoMchrtAPiCp+oIx6dSeFNqWUISi0saZCq/Mk+Ws6CyWUGW5K3pY+lHt7gx9hlGUhbZeunrw9ensQv5I+3q76UH3qhUr0+vl6TwE1WyKHZzqWlwln22tMiV6A3PbkqutNo0Oq3afafS7eD/0Irrvr0bx73Y+u5wGVr4fn7rp7PQc191+g7IS+g034cR3apdXqE6YVah2avngZAzm8no1Ozxa40m/dBDT/oreU33ah8trlQ/Qwog6oq9GBfiUnevsvgvGR5Qnd1UQu+lf9WWvIeTQXfQN6oNeb+ZDKnVyIMIz6zZDneNXHYI+jH/un8nuGkjKi6eVi3VL9ZcUqs2apfht9uVr5I/dTD9uFIuQYjTk/v8xRwpMbw0vlG3yr9Sxo//xy7FZrct8Nu12aEYYbBP0vr/a7+rDpHSxPgyDhQtOja6frmnmwUZ2K3tNAuIQmTnv75H6ly1ZAgFaGBM16mO36Ahp+1Na3t49p7SHgbnmfep2tKCIseyfu9YpngZS8qHNolEm1VgVMPqWbW/JTxcn1ortG9sl0wvezpOLytDTT5cO+TtM4McmB5q3babvn3u/UdRM+2+ufVw0Rt1+vuM3vV1zr+mLIY/k3exxdKfl+HM3Ct5VNB/KpfXWt2/DygK/3/m19l3N9qNdf+rmsfObGzTBdXdg0+XfXAdTO7uywa/apPXq2g47LCkzipW0X1ZHxU1jgN9y0coMca8Soed3BUDDGmk37z22yXaeuTkoyvUfdEiOhb9veWJ8eBrtHpTdKhj5D8DKYnzl6tkHOHrjBYvq6HU5/rxyd7vVlycDw5ezS9w7o2dn3F+kNpK01bgpFWmLJ5cGZv+5uQqoUE0k/d4CfQKmXQ74VNJ66ujtFE10EWAM3O30H+9Xr0xIv/7rB1cUwRFjS6lf3VqNHQEgoxmsne58ZkY+tuGbplt8B9sPWf/9KirW3XoddiuEe7t3zmoY9iuJc/XrhlzJPU/aTCp70USCGUFh8j+41XJY0SWzSu+WFiHO97ZAEb0SI/KFwgU2pv+nzQhEJBfZ+2OvzeAT0YbYQLXX3nm+e1XL26Z6QBacCV3HyW0gFHEcOD9aK06Vv5FIgIq70wKQrP0PFLaleErT9Mgh3bbt7j/cOMObgnB7gpwxfJvse+oP4fJNdqN+2u6G5t1H2Tu7eTnjc4u3acP/45MUfn73AMFufRjoLGiBLdW7rr6w373yIFl88+/bls+evnzwWykprzLTbhT7fLKTbUKregiGBoBC1kFT4sFxUxrcmP+8b2Z/31lm0dOiuVyByF4asB1S9daT4UHf/8U92h6lud7fKI1wf3Yq7ZlLpdvwEPL4TjeGPzcgD2y5f3wLkX4DFfx8Sv49uX3373cvXT7/8w7MXL0G3ep0G90r7+zTpYkY+D+NvfXl+Me/+tMd4unf0VX+Pn+fYO2JYUIQt/b3ncuoEsb3AmmNYu+YM4J6sDJOp7h3NL8+75+6CoEVwp0expqDJ3lFAlZ8xeiD869f0OMTr18Ph3uvXZFNev0YRti3/ne9B32bGp87/m8TGdiv/r22sd/n/f+n3/4Rc84PB4OFdxvHBcWf1DpsgXy9pwZk8OLrxVpv2aVNZMCePMy4f3wrXOCp479tLnv35+2dfvHz2dEhvMKl8nidlwtsPIt5wrvSxo7fEm8qWeRNn9KiR17mLTe3rFAUr2pGl0llaucbiovE6SdO0yhONar6s46YoU2+qolZF2tSFK21pbKLj2pnYZcpVpqx8hbaMbWxaK+9snGVZU2sMpGoqawpXN3mGxmzhvTZ1kRRpmemszJo0NTb3aBnDqJramCQrqyZPiirLUl04jCROClVVuqkT3ajKe1s0qkEVNJLE0K+idJVKUktvhnc6znPlfVJVhc2brCyy1DSxK8uqTo2qszypkgRl0jJ1SZIXlam1cymGX+VxTlu1IgIsQBEwIS4zh6aaBsTKG+tL2qnUaVT0GnROm8o0Jk6cKsokQzNNmTjr6qJUcaIS12hrEwP6JWlV+RRjMVmZ1BntAVE3pqxpsw6XpERoR7sQWlc2VZ0VSaka3v7S6KTKjMZArE68Kqvc1EnuUlCndjZpcC3T1sQ+B8PT2seFT+h5MVvWFi0VsWuqBHxNfY3R1HVZqTyuQY8chKhQzICuti7SOAPXMrTd6CSmDU/KCiOt49wnFoMzlVFo2RdNWaV57WLwBNNPVWppMwhvjPON8rRBRpUaXfgqSzObuQIjw/AMFdXKY/gJ7wtUWVDMlLlh0mRV7UtX17UF2/MYslhXoDKm7anTxMW1LbLGoNE8K2sDxhfggHa0ZXCaWoiBgrTGWUJbboD7uQNJS5NRpJsVqS88CA5ypqWuISZZntJWGkWljC9xqFOUzR3tK1zX5Dk46Ib2aMJXKBE3DYqC4Jmy/KQe7dChnNdNQad0k+i0qE2VFxoK11Q6j9MkbTIIMIX5SZ7kJmsS6IBLmzKudeVjU7kaagCJz0oD5cqLGrJCOxFDxNJaG1PUFVhUxEVVJLbmPYq0dy7XOfTC11ntdOPiprQOCu6zKi99CbXA4H2JDtGvASHBGaiQ8RkEpMkgqNAlbyAXuc+9N3FFemUhLhDdvM7Ru7VxQhsvg6iNgpbQBiwAAaXAsKZCxzmkIEkwElOgT+sgco3DJD2pV1UpKEeRgOyyQ3Bd1lWpY+tptwraEzKDCFYQZtp/GrJeNbTLdJ1XqsaIk4Y2GUnrinYNLPOCdugqMxRCkYrKW6VtbhuQkjbkyeu0sBBU2mJMewgthKnOoD1plvgsdZAsk/PzkSY3EKJK0V5YGcp6DQkiZdcZtLSqY9AUkASClVAWG+cuhzIakxJyKW2KxmjCGOhn7iCvmSL1JKmuqjwzDqSoaKclXbuqLPIC+gwOQmp59w+QvC5j3yRKlw5SAxBrSsw5KbSyaWJQE2TKgU0GelgnUJsKql/HBlTXZQOCqdKhvSrPc1cB5qDrJnO5MyXw01tfQ45sCcTzKAx4AJNKzC3z1prUAiYS5WiHsIy2MNK8SUlTuxr+BjrCBQiyzmIoZ5Krqixd6bytIBgZgYTzqrG6jNOqyGBHYB8aaDmaBTA4wHWT1vQ/LWKIbAyZ8aWm7YQAX875pKStlCAjGf5VACeoJ3QO01S1S2yjIbxQwYT28akSKAcIRHtX5z6lneE09NI3kCRbgzG2AcMLbXXmYmB8mWsPM2OyCqoHyWrImJWlQYkCapASFWn78BwaXND+RnkDCVYWOq0zyKGHRmjbJBZcdETMuCL0AlAT8hJ65eg28xALGKjMF7kmRYEFg5H1uOyhBUWuNExEXgJ/Go9/ZaGLEh1qyGGd0MZ2oKHKUlvFTQUhoGdxgfpxDO0ETABo8ySFJeKtfYBd4HKlSYmTMve0bXsJg5lXtHdboQhOYB4rAigNcwOMhGrXDZAHn8zCeGQmrQBAKTQzpl2uyzQHWkGbgBcpGSZDTwdrmPSyckB9iwkqVKKd7U3m0xLGyClTAilhGWCBgQylc5gxUbP0kAL8KVxRZgqiD6cARgO2Q8PyFhAE6HFRwNAbh+FA8SE6QIYU0g0DS893015PSVLBvBbAONgBrWDICtAFopsxdgD1Cc4qWAH0DejWaQb5yksGWmMVHBRAJqhdNd5Bd4FxJe0dnSdApAzqlsDAAEkzjL8pS9qoI2nIikNIIRke9NFwggoQEkYEEgbnJIN7kQK1Yyg/7Q6Ibx7uBugODsYA8RLVkwqIlsOMOoVZYPBVRjKV5zWQqkYVCKepVUluVRxD7E2si6JpQGU4D7aE31EnTQ5fzGCGtqKtsOBNmRSkVR4mw8JKw8hnqOMcxtDktBchuVxxajBMkyQYe1nWwCfYhRQWxsGsABIteFI1BWylxpTyGnidKICijpMYBrOpYGUdoDavTQokMbTXVBkDs2raOlp7KBg0X5WEbjUMInBf59B62lIal2O4YA2Y4oCXNQx8TFvLpbHNIOnOYrpo11W6Bkcg/HCdQHLAAu2sByyF+wXkhv1oYLEdqW4JqwTauQK4AKFPkzoh7GgKzKxKYSybIgdKQQ4xzSptPMq6ElXiEkPGvH2ZKyiYgXUAfqI4zDhtBGnTEuieQ8FRL4djAmSEhNKG1glUv240b0DlY3gAsI++UBBLqmWgO1UC3zkrofAZ/AENVtPFWsv+2oD8GtNJytoX0DiSYvgc0H+yuK6BEAJ684rgHN5lBSnxdQ1dyoHMGnysaD9zYDm8MRhlmyUN/J1SVwV8i4q8bnawkhQ1ygqoCWCBK+3hb5UKHgP8J1o273J0kyYYL5wFuHaQ88qlDh6ohv8CYLUx1AXmDmqaqSKHXYaHi+Cygi+VKMgxjEQGewNXGxOG5kFK00LBE0rRLGxeQdsQwy3LCfvgJsCXS2ucSUu4xgBGqDwceDjb3sFNUFDuBi4ihAcW3NPWUymgvYGRaGBmXUJvJoBwQfjI4YhLl0EsswogmcMkm7gAZYFGENVUqwSg5Qv8JEUHyJaaKGYxd4wd2oGAAfgNQwjPFTCEEABmGgagIssBwYWTmjdAF6Am7TqpyVctMoQojU08MD9tFIbjEpgf0FHFJbl4MJga6I6WYsw+LgFJQD/aniwDBMJ/z4skA+rASwX8JXWB2hhjoeChwS+DSoLDqjIwyqgAPUgV4gw4sPAEgbGAQZgZTC5HAGAUbREO7y5DtAOwhKsCUQdMw9WL4XZlSWZd6kvQPkM4QQ4VBofgqIb4xVkFkYA7SLYV4A9YxEwNJB6KAdktwTrgG0QztTniK2XqKrZAcNJccAmBkLXQmhR4DW9YGdC7qWNPG7FZ6+MaGq3hctYgO+iTaPicBe2GDm8YRATQwaQUhOFFUWGwqQYdjIdpSxTU19MunCAnOAZzqB2kDqFlXBHNTYJgJYF/hKgHzgggDMgFY5V6hIIFAhCbWdrllPb0QvAKoicAUyijhc8FL572cE2geghZGsSPMJlACg+/BDEO/LPS1ySG8EmAfxAyZRFFZUUJ1AZSwlrBY040vHWFCQObwYnMlvgCiwC00xQMwPxbOEQZ+fRpAvOPOlAzSHwMIIstYAKqWDTOExCAyiWxG/6ZIyEoQFC4cmVGVpkGDOMH81RaRNXQ9JicM3wBV+CnlzWcmAJmgDaMx9hT2qm9oI02fQqxhq+EmaSwGFZBQ+ELwBM1gF4ytWWGoK0EBBrapwcchuTCyQUapxo4jpiWPIUYVCYHDjYdPIb36a0uaihuAmj3MIpQjToG9FDgEGuKtBBsZoT/YJKHJ1DxZqEO7IB4a4pcEWwCVizhGoINuHmQbFUgVLQZ5gfHBiOA0YIBoRi/ga8CYwFVUCV5w+yiExqovLAQaw9dgK9CMSYAFpcR5KYwHfCg4YzA9EKRMQ+wGl64AkJhHAUcIxSHbFXw0gEJBlKC06okPwPWAvIA5ICeINBJySFLaG9GgGcFj6dISZJAeQ38pj1VgeuW9jbU0IsUboMH1xAkWrhHJPcFbUMIouYFWtZFlsGdh3zCJNbw5QHA8IbhfNXQS3iOsJE1GJyntS2JzZnF9BIEMAUkKYeTUQF1NElRDojx6AjGGrCA4D6mfVjhbjkEL2WJ4BJREgBEw1449IWwD7afd3MsUCmJlcXsCtgunVuLucNV90Wdx5BH8nYBWDFALyWZdOQCCLEpoED8jqi5hFeUIo7A7MA2KAoscwbSGsSHrslQAggE86DBkpr2pANw+EQD9GF3GuAtDB0ED4iA/9DUFNwG7sDRSwmeAdyIvCu4+7XiJEmJsAK4AYGGn24clMwD2qHHMSS+gqTCIdUUIjTA9lKTa68aKFqKwAd2mJxzGAmK0xAlkDrBQqEuKArPGO50RW5bCcak5PfDkiOmhTsFR1ZVDXkTkBqoriNlhiFCfAMPHo4IPNWS9BGqauHAYdwJvEADcuUAewgRwKGEIwspAaZkbP8RZADRYdApTqGNmSFGiLAxRSgNwhs4izAQkEDYWedBLcwfriepR0V+vodUkkvWcKqIcw55SV4R6A9Uo92Z4WAijC5hGQsgaoIQPUWIQY4FItk4h3cCoAJEA9pyNI/QragosQFdBZgDiooGwAHGmMIrhGps0WFVqiYjaQPCJXAvoIwIwCklYkFnyGoWV/CTgObwgBE1FARBtUZ7iBTgUiJ2oXQSvEwDu4YwtE5goRKTljaB90V7bitYbIwhy3AxzVIYFqcQIqdFDV4A+mN4yhmlfjAt0ml4ToXKYVcoTi0S8r3rAqSqMFi4/gkgrwJfgNoathixK5AjxkU4swidEKoWALtUIxarAPEWPi8ahp5XMW0dWri0aCq4VhWbrFQ5jAWGDeBkgJwJpV18muqKcA82GCyuKAaDAc/IC4d2o2hGu22jFHTUwAJDdGhvW50heoP3CmUnN7PEoC3Ep4JBKBPYTdqiFuzQCFNgW0HlFMOnVzDFFD7RDr4UBwPscyhWURdwE1JiN4IXhN4JyAYHDMYVQq8BEoSh4DBcIPhH5Kg1JWwB8Lww5EQilnYO/jU56Tqtc0APYB4lUpMArwEgvGc5fEFHGR9wH70onIN7lKMD2twWElbnlJ5DPzXcOZVDhACA0C/ECzFYruGnwbbDFcoQ+8SZBRlrCq8dJgIDUyKSzkmvKOEEmbWIAaCgQCdEF+AyQK+kgKhRDs4VYiRwroF4w7AYCmqdzzOIhAU+QAMUGVDE9amCn5YVMKEw5QhVHb0eC84CHGr4SvC4nIZaIuxAREkX4agXUMQMDWOkuamIjwhlatgWTNpnFSIgD++Q0odkdRBSADgQ+8UxZX0qGjREGCEeImFAMCwUgAq+LJzFzGSEEeQLKTJ5qkJMgtAGZgcGAHEQzD8xQkGTML+aPDtyfw1MNNx/R/qTlSaDVcyAcA6miva49wj4Yp3lOZw/GOamIHe50fAwaG92mH14FtA/ghLAdg2hALMaBGEaM4ZzmFKWnPKtsFwNJUshahXQC/YS4wFQeoqBId0IvdIYKO1coSu432Scobi1ghsGMa8aRKgFrATUCd4cEAMOvWscNVl5ym9RPoS2u89hfSD0CaxCCfhtoF1gZAX3CF46PE4yoAgXYrKKKXySOKc965Paa8KKWDXwTxWwAWDWFJBOxIwwX3BDMByPK8B6Bzk3XlGyx1PaFKEJResUrsB7sQnt/Q5RROhoIdTwD8Lb2+nF8ovoOT8C/gc3767ehjv5Az3Bu/aqqI3fi+nCjXGmt96MvP9qvZmtd7Ivv81WLZ26+Z/mvg4NLd9sOveLP110e+2b+34K936GE3+1cW+IlnRtL0n7eeslqRNeILG8IfS+99/+HcvSju9cl9a+a3NjBHQP9aWfvDybXs5BankPzfOw9jDc+1qb692vjvfXF/zU87C9j3X79cvCtSGvim8nNwDrjrf4eHyLj8fraxCW7ONX1gzVMR8faRW+HRxsv0SZB2pNWPB1vL12YdngBI1NuKHJ7UY27uoNA9f+zR7fW+hKtaVWE5qtzt2q11Ybhpfsbq/7CxW3Vv71Npf+3T8cXgtIi//+fW1B4NEHKrfDXo5pds+YVosDe4ehLP3u3T8eum+9GEK/6EXRd9Fj+TrL5Wsse7JEez4I76CUNX33d0EvihxyP4fv6WfUdKngIxHPXiumdO64vfiZSGYvSGi42Irngfy+vZRFFhiGdSyuHA3k9YSCEGH5X9/1y97WsH6+U3yv3OQ9wvsjhPfHR9Yc/0iyS2X/Ngw12zLhBc+tqp6wuuxbc/Ajvwm6a+L88Mf9fHs04X0HYbzDIbXdfxBel7a1UlletfCgd9fLxj29t2oF5gHEA3ZvQfYdEPVM3tH0Bb9QcIVH70bA3J/uBIgLkOTiUXx8cVub14s5FHOPzLGjYhsAQ+CCC+XdaLBUWEdaxbC2RLXR5GjzhLt+j3aV/2ADrYpctypy80tVZFlzVfWOujyxIDv09kZf9I7CT/nVLz9U4o6+W3m6Hg6vr6Pf/S66GQ5vbvoP+GVbD+5VhdW3JTLoJTTo7cHfsjK8fvD4dhtm2YbZbsNs1WkH7vRw6AyNvMS30vQfrL0t7MH9EvwVvYzsC15teK/8fhj11H2jGg7XXrvLo9s4s1RZWe/4nnE+l/cEvRj91W+Pc9VbXdN7T+RRkXlvQLgW9lZ4NEQwkqX9B8++/F5nCh3d8nn4taPbWz98YAuMO16Wf9cWFN2w7UW7b8VoX95zn/f+dvsKvzC/R68lL+6lxpPx+CtZAX0Py+5zL25Dkb0LijaocA3vZ+PEzXx7t4cuGXHaEud6zmuFEMmppq5VA2cbsZNqGkR3cMqbJsUxz+mGCq19aBq6F1PiXOmaporx3zd0L62hSMPjetN6Bg6ORYz/CI0M1JhuBNiK1qYoleAyYlqV4nqK67QkgbZMryhSDNUKVLNc7cExJiCjlF6y0JOm3hoajnwS6XW9Ce0fHG9ZwrA3EFFA//ejAI2SR0UjoZ6p16Z1phrpjW+6xNya1L6DAv8TJ76uTCMo0+jR9XLrIXM82jbd4g3drBX58W4j/ku8zABX1/P+qNf+uJn3f7zLuP0KPt/Pnfs8L6Jm5ijvn9e07YDJKKqnvAdlLo22mcs13fDKEuXzxCZpo3VWxQrfrad0WFw/6D/gd6/JE6m8Fvk9poActTtCv3uh7TYPkrsovx3r/Njbj8ldEBfiuPO+GOR9ZX9RcPFhD+mXBxDs064yC9xY/3KVMdjmJEcaMI9sj3kg/AbR8rI+9YsHd+wdtdsP9u9c//1r7/764f1fE5tur//OErNb/71b//0Pr/9uH5La5UF3edBdHnSXB93lQXd50F0edJcH3eVBf1EedPUYeEiDrh753mVB///Mgj7+M+0k36acHv8H//pF2cPHf9YbNfXjD2TdHv/ZbFQwj3fZqvuyVRvP0+9ST7vU08fI/2zuEvWp3/9uVLK9/6tO7G7/1//i9/++2H7tr+yBwvs7tPuC/e8X330bQcVGDaV5upNpuyFcb/ArbUX2QnZbisbTU6BYMx2PaVeUu/ZqWu4RtzePXtMmTa+XWze9Dttibrx7l1+1Sy/Y/f13zz//8unTZ98Of1LXVh/tff7k6yfffvFsr4+f5dHesz+//OK7p89efPl/5VS1PPXFd9//B59qlqco77S38UJXdd2oo70vnj978pLrN+jhiydff83fjXynmvw7Ptp7+uzrZ39A2WWZpK1tbjXsjvZevHzy8ssvloUxkhfPvv49hvvy+Z++eLn3M78Di8jRJRKEd+2MR8C+Ib1RiU92wosU+fRnQ7N6Cc05IfeAXjMcXg9D5U8OzdEreUvM5nsYD8yjIbdxxH8PhzgT3kiojqOz0WL5LjPZ/mz0SEqv3nR3MeQO1t6Xinan/LapJZuOqKHl+9JG/eWFk+nF+ttcRwdDfdCdXhyq66ShdtR1qh4NpxePhuo6a8QpUZvvDaNde6/f95KwXmf5usiTPSIJjXevv9dub/Z5eyq8f6qS2JlJSK/CuT55++pkb8rbuu29GiAQnb6jfc+a0XV3T13v0VtdmVDCsvV34Lzt82vGKnpHjWx8tsevqqTivf7erU1gA3PCi09pCxgq2ec5Bsq+HQ5vj/xo7X28VS+44bu7KLvP7rP77D67z+6z++w+u8/us/vsPrvP7rP77D67z+6z++w+u8/us/vsPrvP7vOv//l/qylsLA==","code_sha256":"a3d9b697e61ee693a19aa35dd7ae2cb19fbaa3230f660c1d1a1e22443fb25f2e","notes":"SHA256 is of uncompressed tar. Archive contains only src/ and test/, including generator/templates; no libraries or configuration. 10,000 deterministic random lookups verified via 100 Python SHA256 batch constants; also all 1,521 knots, signed extremes, invalid phases, center, gas, EIP170. Solc 0.8.24, optimizer 200, Paris: creation 8,383B, runtime 8,351B, sample data 6,084B, 0 storage. Observed lookup gas includes external ABI/caller costs: min 36,334, max 42,108, mean 39,236.9987, sum 392,369,987; observed maximum only. Both bytecodes pass pinned opcode scanner. Default offline solc 0.8.26 unoptimized: 6/6 pass, runtime 9,240B. Separate asymmetric 5-row 4/5/4-column set: 6/6 pass, including 10,000 vectors; confirms non-mirror fallback. Generator accepts independent column indices per phase and arbitrary increasing row subsets including endpoints. Clamps before arithmetic; exact mirror used only after checking every selected bid sample. Zero error is fixed-point parity on selected knots. Full native-grid compression max errors: phases 0/1/2 = 26.479375/68.759166667/69.315583334 bps. Knot choice is unscored; compression lane must replace/score it. Full filter, fee parity, afterSwap/engine validation remain other parts. Sources were reread and every quote matched."}
