{"key":"port-1","tables":"plain","knots":"45 w: {-800,-300,-200,-150,-120,-100}, -80..80 step 5, {100,120,150,200,300,800}; all 13/49 rival columns; ask mirrored for bid; int16 0.01-bps residuals.","knot_cost_paired":{"n":256,"mean_diff":-0.0084,"se":0.0151},"parity":{"callbacks":212446,"max_fee_diff_bps":58.10941226619591,"over_0_01_bps":138037},"gas":{"peak_afterswap":193882,"mean_afterswap":72057,"oog":0,"reverts":0},"validate":"pass","stress":{"sequences":64,"reverts":0,"peak_gas":213782},"bytes_runtime":24132,"complete":false,"code_zb64":"eNrtvXt320aW6Nt/81NgfO60SIukUYW3ZDrL6aT7Zt10Og9P90x7+egUgIJEm68hKVmKJ9/9/nYV+JAsRU46407OiDZEEqjHrv3euzaIbz9//tmfPx9O69/9971CXmkcu3deN95VqHWyOdeez7SOfxeEv/sIr/PV2iyZ8nf/M19/Muer1djMgsXEjGeDtSknNvhuPhnX4/VVsJgv1333d6CGnc53a7M+Xx0F5yvbnE+Caj5djCfj2alrcRx88dUf/vLnr7/8/MXngTlltNU6YOD5cnw6npnJgC6TdoLG2sHCLGWKU7O2w86357P1eGqD8SrQcV9FOiiv1nbVD/Jg3gTrMxvMzHp8YQOurCbzNVdm82A8Y3YbmNXKTsvJ1bDznCHPpnY9rmSk1fh0ZuvgG5UPg8lMoF4FJaAsr4KlmZ3aYGnr82o9ns+AsxZYzdrMzoKVXY7t6rhjLxf3dwpUOFjb5TR4Ya4m82XbOejOZ5MrYJwt5quxQN4xy9PzqZ2tV8G8qs6XvWHw1Xw5NZPgD5/90U8jy2xoOqjmtmnG1ZjWoHZyNZtPxzQ0i8VyfjmeGpkdnI0vOLlYjiv6mqUN1ktTvWHB41kwmZ9CnvmyBnLwOAxeMHY1MdNF0ACkvVwv7dQC4QoIJp318nxWuWGDKdj0K5tMpAfc0YztEuCWdnU2n9QrmqyrM/BgJsPF1TB4Pp2fy7IEhPMZK6mHnb/b5ZwWIOMC4BbtJ+Ydr9bCMDCAAAXJET+AWtpT2qwAwI+zMlM7WK3tQhZV07YjC1Dan1uNJ4KaPagrs/BgtWhc2sYu7ayCtTovhOXghvV8KbzyJhDSHEPUeod2e2mqdTAdL5dgZ1wzOrw5DOIkqMcrRKOyQrrgzQzWO+oM8jDsDyL5o+WPSuSPlj9heBxweTjMQ1g4SI7hj7Av16SRtJZu9IdZQbCKgsWZWdlB6HAeF8EccJbB0tG2mk/Op2BkadeIE3gNvvMsPZ6tVSr4HdfnZrLqsNJ5bYMuqxtMzWX3bT/s9R7LzMF4aIdBOAxVUC5WwX+eG5b2veegYCt1MzgYRhNW6ZQi0tYskSfQsgCsEye0K4gtdLIzu5SGe3jzzYDLS/dbhHB+vpYGnY30t5fA7syu386XbwJTwbcQtvNna1bnSBV0YfzFZFyZYH0+EzZZWQu/pWIVhsM01EkCyeQClBdwBGcLM17y+ahT8W1cA9pgOoYNB9upByw/zOPA1qe2H3z3uUNHoobBXzYtEp0MkwhsiUoTRrR1x53TyonOyjqu3EA3sRd24lTQms/w57Kcm2Utq/sWezKws1PRSwx0PlnLEoXUW3AqJKtEUlESyq+MN1X0jgKtdBynroFXcFb4kY+nBqmzKKhMh0nW7yyseROoIspzPQy+9or0j8+/+PK7I6TgMkhyhixipXWaqiIpHO3hxCgPo2xvfntZgeDOhjtgLxS8V+07wUdUa2keIKcTObVqaVmdiT5cCdma8aXjysW5LPd5q/xbDeH4Ifjis8+/evHFH55/uYdjP5AbAY5ZebHfIcqPd9SRJdXjppVooR4uQ5ymLCfkr4DeD74XjeMXZGgFGH+Z7S11w7a1SOUeBC2MBwDxdsd+sNfKkSMqspYcd0ChszSJsyLMbocC4+lJFSuV93c0TL346xC1hAJfB39Eh9ZiY4DAXAXIFxp1IbpY9PUewNsloXj9CBt8dVb2P88dbPbSVudOL+7GOd7htZ2yNcDSJGjMeILmFZZY2GotKvx5kMaD7ZC1FSM3non+rmQEoBE0Bd04LLYse46+ngcq+VexlfV8ujEBnen8QpCx3ir81+dT1JHjf7qhgHSSbsyStz/f75uQXoCWdKc6Airqwjdy2NUqykQQ/kST2fm0tMuVYAxjugSExdXSXkxbYRwiSSdiorzwioZqhdXUZsESYQQgFBsLrkXsYPgJivcr736Y6XTgzR/62Skbh1xht6/mTvhb6+g1V4U9w+jT/3M/i8gFqDJb/0G8T6bdDCen3YAQoPOtxd7jbEg3HI1VtXRDY+SqN6Jf8YwEHuRwgj3ENVmMZ2IdIEFapoVWTV7HaRSp2JisKlIdxVaVVidGJzpOmiyM+x0nnGMx3zg1F27ZK7s+XwxXZ8HXV4jlLLCzi/FyPhML2HdAi+ZfzScXtG3wCAB/O3PHpgkTNnle24I50jpMkrKptDFlqKo416ZMkyy0G73a9twa7FbqRd92hEQXFkZaeq9mfTaWC9WZkKJ77RuYFhuJGJ+jssZeq0yuesPO12K9r3e9hs56vITj50tcgmqOttpzNp//+c/frUVrnF59ipEesuaOrP+LvQty0jPa+sxgCh2dDxzpxR9br56slpWQxEEgn7cTQuKFw3AUDL5439bS9sm1Wb77y5d//fyzJ6vzEgoNX6/ms/3+DIq/Z8UWti1FLa9FVJ5sVcQHtt/TN3fM5pjwVijfm3SreH7OIPuab/vRD4RihOed+hp4oRxskB78Ydv2W6dQX7hWFxc/2ungf+8a/z8H2+uusfzxV+8aZtvsj8Q53ib/iQU5FSd9guB/bbVr0Cqxzi365CYuOp3WNhyJzFUYnnxIjBTMF6ipMSoxEK8yuBib4Itv+84bQNk70zEYoOq8+RWunswrsRIyiLcQzoyPG1wyW4uS+tTHORvktz7P1nR6ndkKEQrqcwPcbeOtXZLAy45Pz9ZbrY63V2NN8VXxvowLFv598+E/9mxCv9Nqe662n7i8RRn++t43PN1h8AV+66loewG0mRDvdPlr1o+VVXlPTDaYFXfRhwTOtiOark2rZ453UYpTxYSAYpWCfw+eeOsU/IfTxFOUCyMdoTg2fDj2/qr0R/d4cysqYGqtBHkb7t8Lezc46rSmVyiDLtp655DZRVowAYQNJtB33YZu58ulBCA7GRjgr48rH6J3vA0KzC78bWcQbYUV6wel88eBrp7TUOgoSC8nY9T8HoS+mzNmMYsfiBlrdZqbW5hL1jkPvvg0eIt5NOu1nS6EIl2nODHhwQuJQ4PngcRqKOCOxCYnqzMjzIAZ38RoBG/7nuByw1nDzu8eXh/rtVHBv/un5f/CONXZzfxfHCYP+b+P8RpPRYEEYlD7C7M+m4zL/upq1ff+e38lik1c/lVn35lue33+1z93/pdkETaaTMS6dei2jtDOr3zfnRz6UbGCJ6IL0FwuMcEUQ59cRB22c21ykn9oz3ekwejm2W5v07Hbrmb4Ne9dljQ0y9OLl+pVb0jMh5+Fpur2eh0xf3OvWIerc5eTOCJ6GWM42/TI5xKEd10DH4/3OmU1ct8lSSnarbNYYuy6B0vf48QlLw/6eOW+X43tmV/Z+mTTgYkJhb/8/NvRQXipww966YNObcVYv+32jjqBHYH+bu/YjGw7fredZjnyY/dlplFZ9fEtzu0o7GMJRqodrXe8xM1fQo6+ceOKcerypb+yk/5y/ta11olry3T4Jmbk1jUUmp3Zyy4Ne4flwcHw9Xw86woCLnvD9dyvvhvp/kE5Pj3ouQj2UpxuRu11ggsAxuSvzKk9cZPKnx3Q6/nI9OWUm1H+XIOfgzFa2F8yqQOnnfPi5VGkX7Xz9t+7GOmjNN5cftW3wxtBoTDDycnMQMGT0ejg5ESs/snJAcs/XY1evjqW+H8UDo+JZpej8Jhgk79IhF2uV3yaz0/5i7+zWtO64xa+kIWv4GBb38GSGpY8nczL7sFj59ge9ATfQpeRo/VxPZLTQ7yWujtfwFOLXu94S66DPMqMbeLsoF+/PMBLWY/N5OAVSHLzvxZaCgwWaJ0f16UZ51a0kXmCNa6lvAcX/dPRbthKl6YsE4al8cuj9FXv+BSIFwBQd097rkddjyTdaErB7vjVQFqmh+NXvSd4YLGbf+wIL5mirgZsh0HpIx/6dd1zuDwc1fUzcYMEpYcj5QaHGO6scl6MyJLDbO9pcuQ+bGB5yXrETzl41X/NiG7lLgezQEO5NxdsS27Dr7MlGPMIxQ5HB385X/+l+ZNZHTharZdde9k7bkVa0moH/QVDtxf6zeR8dTZ6sTy3veMSXfKGQX3jxVB4p38gWYmDvqzyVBzB4GX4qtc/4LssGjLJ0g9k3Qd9+bs/orD2avTuwDtiB0fvDrYJn4MjkOOGOWmsPZFRTvAaD452452EJ6HyJ+XrD/0DWFsGEYhOTLPGWX5rFgdH78FmzWz/+lJCju5O+w+lAT16PSELPe0EBRky6/yUuean/YMWq/T1H5i8GUOmk+l41abmDzzhfugQCn12S0LpaJM2Ol8M1vOByyO1Owd+G6DvUtW4/NdTRRPjorFtcunULFZDMDk7HfkBh9+6t26aR73j1amI8goB9hK6sv+549E0viF8l2jMx4+1Or7yH6JbJe/lZf8KAVnLmF7s3hsyWB965SsYfP2v+WgUeiwC5lDA9K0FQCKl0fWzunfc4FXfOKtkUyEMleP4SydWl33VA1T5eCUfZ/606l8+7raq/1BG6j150n4VcGRGD8zl4/b0kyfX2zPU1XaoqydPZpduVlnLaJTqo9llnwZc1SApSQfKcQq4/VftR+5uLvTVfs9o0zNsz2/V0ckd6uiliyRF58wuB8ij+3Q1uOr113031iuh8XVNdYc6WC1FCXw1n1mHwf7VyA3ghBCl4pjy4BXiuMmDwsJpvMfrq6WX9hMnZ4Ke1elGqmBzp7fr8+miy0h9p7u3aj/CEL11Vkq2m0Z6o3Fo2ft4EdDNrNM/wf/XYXbD/1dKRemD//8xXo8ePfrcsYDz3Td+qtvobLd54Mm5d+ylQkD2o9HoPgW3l7VtZC8bf/7fxK07Cn4sr3kt0befXvxuTUPZR8NHWkoiSjK4sk2+N4+HqU1YdYC+08YHSysG+rxa910sIzFMiRNfrTur0XXB24QA3Z7ze0txvRaSx1jOeketY3nd0V3a4cpKdmLTrr/CZcNGLroKT/7t6OUFAu/0/kXrQgDIcEzTk/PZAuPdPXh2dtB3Ux24sYOpnc5Z4tvViBkedV+Gg8IMmleHvUf4f686y39gzOUdY16MXl4ypij+nU/+4+O+eP7pl5/fPtqLUT2u1t3/V9yNUTLsf/W3UaRV/2/hSKVh/ys9iov+H/RIx/0/fjpK+3/TXzL9k2QvGsBTm4s/3dn6yRsTiAFYLkcTfIOuPzWIwn6k+on3PxY723k8q0biGi6X6Hkhp8EEvnYGd+zMVdjHyeg677E30C1PDP3byVISld23/cse9goTO+peDt6+FP+1y9uheuW/Mdj3o4uXAHs4fjyrDl+/OnS77FzrE0h9v7nYpUvvegPGoEkn2EQs32OGB03v8PvvHzed4Pno5UvT7Y4HoKz3OAHwm87DrOq9uulHg2bwH7x4efD84FC80kXv1ej5Md8/3X1/6bz2o4Hy3dsg4Lk/9epYwB15rABwZ2eoXtwwU7o1UyuLS2rW+G+j7kGff0dwwUOm7rf+avzeAmH7dPJPyv+FkYpv2P8w0g/2/6O8Xi6Wc9kuHaI7zflk/aojW5Sj4BFvjzpuT4svrozgUWe35TSS4iu7O3EiFROc1WHYuRibk/G2ib2YnuAsu90SRnI7CI86knFx2xucU3u07zSrk4XEhW0t2Ch4+a6tFJLeYrYf9QPJo8jX4ZPNVtWj4IdXD8roZ7z2doH/Wfl/raPopvyrh/rfj+b/f+tYAD+YSDT41prJ135ncVc8RbC8NG+Dvz3/bJN/cfumW9/flVvIHqy9FO94W7p1WzjwftnByWdffBv85d9euPeXbYGwVHiaqX217+KLT7+/UdH5bPRjSX5XodLtHc/P16M7M69ydTh9U4/xmoxssa5cHq7vKlVP5m/aPJ90kTGG49mKyB+vUvysz2T/YBN+uN1lLbj61u9qSGnZZvdih1Z/zV6YCZHU5rKkdttO57PNyU+FILjZLu/rpnuynz0QR3iy56n1nkXeJz7YD9Fw0nodV80XfNtivrsDxiX2rSS9JW98ciIp/aZ3tDpfuK2U7ekX/XcHq3mzPjhSP4AMGg0lg+yS3NJ/PjtxCTrXv1/2zWXfXPXX/cu+myJoyn5jRptht62vN6TdduRtblcyIqVL5XfNZbuv775ctV/W7uv+pau9z27ApnzvjPFnXu155g7Gjk8I+nKjNsnmatSU5ClkLYvRFo+94+Xo2yEU60qPvqOXy83vvOl3PjN95Bpsk/NHLxnusaQTVd5347df8LVdZv5o4bDwg/fFYdEnzcE7GeMHT1Tnkvckjfrcb8tX602RemsRjwIr1RnvV2WU49MBmJWS/2sFGsOOLxR5f0YGlgnLg54wd3PUZjjbiMJD6jJ221iVM0fN8O2SoLJ7ccuOEJD7XJdDizCxH+Vabv3BnH+M181qo49v/9NEJepm/o+zD/b/Y7yePAm++/qzfx98Oa4spm3whbv3QQq/j4I/f/Gis1ia06mRyjN/R9D/9uVnxxu79+5GjeQPvhYS1/yW4slHu24vxAB8MWvmuw43qypp/QTwdncoyZ0u4hngY/TbbGRbhbq77wAnYTq1UuDsc5h7xVrDzrbSbzONqMUbcAbvOkGrF6V6d21m6+CbkViL4/cvfPmVHqUF8Wum8jBJiiJOorCgoc/Hbdvt0mhNmqdNWpomtWWTKdNkcdRkadJked1kpmmyyjaZtU0emibXUZNHnLMpnznSrMkN7zZuCh02RWKaoqiaok4bo+LGxARxWdkYUzd5Q5u4aAqjGxNypFyvkqZkzjKvmrKum9JWYWptmCdFWKS6Kehl0rAxdd6UwFRypjJhU0dZGOcNbeMwz2lb1aGxdVhWUWNK25RJRNu8qSrV1LVFfi3YqMMsrsPc6tBEKizjJqwSHdaRYv6yqaKiqVXU2IT2URnGwJHaJMyLLCwa2uuK9llYx1VoNe0L29S5krsRQpUmYRzHYZrqMFdpWACbwFOpmvHD0HI0YdPUYdwwqiA11KoIYxaTlg3rpU9VhCVwujlS5khZaKybutCNLfIwjGyoaZPQJuNfXtTA1YSsNaxy5ilsaE0RNlnW2LhqmpioRZIZjJ1kSkqYwrw2rN2EZa7DqkrCGuBsHYPgpmkYF6BCZaowqsAXsGVZGRYhlM/CsCyTEFYILWca5m+kkjS2khsJdRaFcVSHKVyXlVVYREVoDH3AX61YS5SHTVQweEEkVYZabvxIYtYvOAM2uKtIwVkdgrMYHBesvwobuZgwQ8Qc0COG7kkKBpkjB6eFicOS+auYebKM9YPngnnoG4OLiPlj8JuA+Yx5c9rAm2EZsZbMhnUOzpgTJoTAJkxKurL+BNyn8GCWpWFeRiG8HJZpGlYF8zCetbL+XAlx05SxszxMwUxalGFW5fBY7HmMOaqqCms43jqEcVJ4HLoJn6Q58wBPxveCOQz8U7K2Ch61CoGKBL1WKU2bPHE0z0LokjIHOCmgqWGOEhrW4B6+hGeAKymUgv4G2hVCsSQMM5GVNA6LDFkpqrBkzlpbz2e5ECFWKim5ZmjDwZg58pEXzAMxTVlAm9zzJshHwFmgUoo1g7awANfIO/iCY6BrUcMDsFQVIWN5HKJewHOlwiZRijYlYBrk0VTwfiI8UwEv50PWzzg1MNoavkHImEkpPkNexna3EoE/6IM85DE0hf4GGpQ1sqPhA44myoRB0Q9IC/yeARO6LJRi/xSdkbGuHP5xMhSLbIesDVlN4GF6Cu1TZCvNNFKbhjH4SGpoV0MH8FwgUOg21kFfaJMY4X/aIiOgLURThhHzIMJ814yF3BqBH1rbFNygw5IG/oSDGx1GrE/IrdElGr6MGDuGFgnzZrr2eoUjghciaA5VQo3MK+ZRmXJyqKzICTBo+kHSNC7d2tGCoYa2SnRVKTd3XS/xUglzZsiLQY5L9AUwufNxubkl+u4qMJUgn6wTvQJzhx/6Usyj8zL8qS8V6fDh9fD6iK8mqmKOhCPnKJuojjhMg31p8DgarAOmumjwAZo4tU1c8L3E48FYoFaaRMdNEqdNgk+TZFWTFHw3RZOUdZPUnGOcpMEPwxKkik9aNykqNo3wy2LOJVzDt0pT3jO0UZbjt1VNiq+VovLTqmjS2jJChg+nG1QWB/5bhE8XK468SRLmYBy8Qg7mxf/CzgEP7/iACQaYKZqEdSaWOdGMqVbMH/p58QfTUm6gquRGLcYXXxHfEFWbFcxRMm/VtL4iFl1V+IjW+Yt5gpZK8MhSzmV4dblucvyaHF8wx2dD3TWFmG58wYI1F8Ba0LbAPhornic+Cz4jNtnjAfhxDTj4zvwpPmaa2xYf4KcSfxb4WEOmgIkxs4T3PAdOsGRz4AO2RG4MAy5cDboDg+UQzzHhO7DVwApeWbrzX/FGuZ4CZ+Jh1bHzpcSWVvgLFT4EXmhYY89qBq3xQWr8i9ry3pShaOsswr+OwF8ELBG4hGcynJQsgXasOcugW0Ebw3f4jq9QFVhCcBfxngK7mGzOg3bwBBzgvhAc2sq/V7U/h29emJzPnMefK7Fdldg6fJwKn7bGrjhYS/Fp0d7YHIsNxTMAqUIQJkJPN/iNDTaqcT4McBcCI7Q3rMcQKxjgLoUHWIfgDNx4ukNbHNw8B3esKTecryqPQ4kFcJSRGuKErDF5QZyANDGVKRK+E0OIv4ZJES9UJKmq8CXwBx282B3EBp8P3wJfo2EtIAVYcRBiGmEWZZF8wX+o8YfwITCKiv9K8MzMzMpBbMJS8eA4gFVJjAO/wlN5DR83tuVL0BFLjBM1RSa4Bff0NciUgedKvMwSmpaxxB/EFPjrjIPvZOFf/G0ggRU87Pi+tmJA8fGS2DN/hcEGzrCAEOLzRPRAsFRlxKtQuBBKE9dh/jlKpfHziU044AeAwTf08gQ9cuiRV8KnClg50FUGvjPoAQPP42eCW8E371bgFdcsJgaqiWuIm4AxKfFX8NlYLz6a+PIGdMIr+HmWNeHPQyijnHsQ855zVFIqhX+Xa1BeKI0Ppvms61TJamFfRTyiotSqKKtUhDzmwttoUSdzjeBb5E9kUWSMiA9dV8AzhvjMoKMMQYiBxwzEF+q5+BEZKGlTRZb4kHd6R/jrKf6teFUSEhj4vUJea+DGRcKHByLiFlga10ngF4edRmhgWAu8g2eWoTOoVJUqIuSOkgS4gb/gcxlDokgR9gBj1B7ADF3wnzngG4SgMMJpwAuMBpmEl+GRkpgTvEOz0vCOPUEFwQIpMWtJfAvXaeFcuJL4E/fSx4caHSPyis8uvN8ooQH8roA7yx3+RYuCbGgAzzeV55cS+PHSIxR6VPDOOiMrEUcoYQIH+sIQn8M7Dl4jcbroEHin5LvgOoFXsDAl/F5ib0SDwDJNhZxW6PKKvlWNp6mQCnjIEncCDDFeQhxNvFKI/07sJXoSvYJKCa0kDYjDGwvuE2hQIgMSWEQip8CP/GrkQBNMaYnOoUtkCmAHZrztOEKskYk4yVUM7ooKucSeFNiwogJucIlJgP+BH5tlMmDXyGkh8b6BTyQyZGR0VA3tcO8bdLWA01jWI4oW/IUJvm1G/J/XkjsgXkDPVOjTGp/dQhcMHVisvOxagR/GSdE9wKpFyrNaaQaNYsG/QcMkKtZEuvBTjJ6Ki1TuiVbiMxSSSwHfhRW8QwcLHUARlq4xwG4K0THG8wsyXqM7a2xVjRxZDLBFj9KF+B+DRowBBxNrR4SEEqfGbTwPNyDbIicSz1uwACNCA7ihQu8I46e8w1vKJugd1kDsFmnWkGfgPwLvWsXop9iAf+Q7tpUTm0QoiC4FYxyFWG4X/aLFOHKv6zGYJXICqaBBTIhXepzHkk8BftbSSPCI5pfcjQZJMbGPUDEriWljdJIxTlxdvAdDNBL7NqJwQxcuqgT+MehR6KE1kVmB7DJKlCYis+C/Ae+8V6wBLZJAj4Q14R9hJgqPa3cAr5bv6HoJeyPWBq8ZcI65byrMJW5eU9eC/xj8syjkAkeK8LPBXKK4iffQecgC8Sfxs8NMRryLInI6iZiTvtgCFqRFjkX/E1wXAj86VMNHODwa4xfF0MGUyKyFd6AB68O/BO5cJTnrIAxLStaArwqvgm9gBq8mjjzu4R2Dvgc16CKORnQ+fIMJQq83Fh8PvQ6BXPDOoYn+kBIczRipSyTvRqCcx6yhFK2CZ4IuqpEVa5wyRHGJHChvv9CTOhQeypFjZBcbFxW5lwFkRHgnwX4kOWsoseqNhtJEu/BaKjYrSbyNxT8y+H8G38/lBIUG2L9SdD76C98AHkrhnwzkZ5L5Qruhg7CvMGmoq4qjDkGB56NIchvoVbH6MfJMvF8bSc/EPh+UCxOBf/mpjEbg50CnamgToZOiUmgA76Ojkkhg57A1cFcqTYEd5yhF1lNwatKsPcQOIA8pKM7EBnMOXVsmYntFloE/hWjwBDjkID6Gj1heGMfwUC2pHeNyESkyAXpDRCc02LkyxT8q4SXaigeOEUefQgTJBUFoLf+AS9fIsPJyLJ5RnMIrEWsoBHbgTZG0EhpgB+E8lUWJyoRnBFZssfMbJKcLmg1+vMGGm7Jw+dmKdjV0sTkXCRzCzMoP3YQ6ItaPszCBk2LsWYogQc6QGCbMKsnJVi53VBp4yeKT4nyKdaOz94UyfAr4QmMjNDpJ8zlCx0YwcQzukSslaEoV8KMUMrgyw9Zl6NQMemVWMlfa+5g5awFpBgcaduTALhScx1aUrA/72oj6tMAIYkNJYuk89UeBDmJJieRywDfWKkwl3xeiV0EytA0lxVWzUpfzTCR1gk4CXlUIBaBDZrwtg5/Qy/gQ6B8rbIrs2hK1GypiAJXVtcrxS3LIl0NH4g8lcYdBGf/Y4XLZLj0LDQp0UIUBw27Btxy4CZLbhPHzEr8Ce5yzrixOcH8KfD14KS+8XoVeNsF6wR8uBwmeVS261CID6FHsHT4WNICPtLjW4D9r+aXMVJ5FLFmrooiU4bphrQbaGeQTanzQIS4aCioUh03jf0ZYmBxdmaPzs6R0eU3iSGd2MxZNrBEW2GZjMlwhicMkv4ldEN9OfFIxUHj4OhN/zng5zlNHA6QL3Ecqo22O7SjiGJhrVZZEjzhyNw70ZfXBh4RNkkOLUmwXjrz0zkWHSj6W2EC8hMJITpsDY1+UkhdlDVry2qn3t0We4XOF76zRS4Q7wM8aEnxRmzl/Ah8F17sSVgPXhaoSi9mLb4Nfjp+cCImIBQuLx4C8Smxe4GOX4k8QGLlYXdCMcs7r0rUzjeTmRYRbnWSRGCv6CD6KWEPDGhLRpblk2LFd8HuVKIOiIwrQEE+jF+6C/2etIZccdQYfYYtzLbKbOJ4ptMgDuqgs4a0EOZHrcr5u5dqGQIW/BC0wDzi44nz42BK7qyx2AVUVl7XTnSWy0GjhVByDsolyDPAdx09eQyr7GeicjLWksg5sXC77QjgkOb5Qhq1A/yHdkr/2oYH43/iQ2DrYCH1csz4JfbD4yEfpYnuARzbwK3BZEnwO3GSJQjQxe4RCi0DDXccHvyS/nViiO+Q5Qd8ntSXWLNy+X1rKvgt6FZGX87KnEheSI6/dflQq+X7kp0gL9BR+eEEskeGHZ9gM6Ob2F4g5XewWi2w06H2jmkh2BCQEwlqU1V3H/blnUeCSSMD+Sp4fnzeMkWG35WIlb45/lAhH8Y5MxJn4fPIjZ1UYQZMYwBKxGcJfBN25ZKiIjyQ/UOLP1tCxxme3kvzDFgjh0BkqTTJFfKITAjhbpxG6/K7jw3LoSR3Kj5VFstdXRMQHfEb3xDkeMvoUzkLWW59DriGKsEOIOg+xXy62xndmzfggOoIm6Cy3t2b8npeSPR/WIXtS4oMX+Hm8l6bGFai0ZLIwMHcdH8ZHOPE6xqcT/wIYibHAccM6YMhE/L0SmGPZHeQatg8fEGMU+iwMOLD0QwfHWnxav3eb4Rhjt5wudhFzKforDSsXGKKlsR3EZVqZWJeqki3Ju44P3MuQAASjlGkJbIGxQD6UbMNy4BTIYNBF3hUwugA4zm+MQRtkGVMWJgSruI/QBPmva7c/WGBEZW9M0ktWib1GJogXcNR0EUELe+fxs5LlOGjwVxGq7ffQ7fl+EE2hTQTvx/BSUqMHiPUy6JHDR4Svzs5UxKhK/CTsHiGxxg/QUplwx/FP2TBQJbZeNLTsQDaS2sDPjUrvb6HHjDgsEFrizxqHIMkKLTuFdxz/tI0PlWTIFvIO+eICPY3dJDxgZehf2St1uSXxkeSXCSOdiXq4/finv5RUnWB3ImxMLPu1bm/bhBWxqORsCH+Qa6sT5PqO41exGSU/mqlD4/dqIUIq++yV+CTEOfhTOP86wu+44/hVbawhx0RlUuKB/UBiLL43kZ+qxcV1ybJbj1/dBqGrF5J8Ao5TRYwjuSUiTNWgsu84fpUvqeNJse+mjvCfLDGEwdWp7jp+tRu2sfjBxNgSaxAOqzLJ7zp+1RvPOpIfM5VEmtsruev41W+ga6mXwbcqsed3HQ+vh9fDa7/mJGrrTtK27qRuolpzFISzWRM1GjOSNrFkBqOoIYxoiEWbODMNMVwTm6KJy6aJa65ZzjdJk4SSdZcKPNsQ3zcJAbJsPyeuPkQ18su4ScK1lPe0aZJM6lX4ToBHjNQkjJsUdZMY+pV8r+jD+OKKE9PL9kUju7JJY5sUy54kcVt3krV1J9bXwKTMl3E+Y46C+QveS75X9K05bNPWn0RNGllf90F7wv4mNVWTgpO0bqRipq3xsL4eReo8ML6Eym09RchRckidCtF2rjg4X5i2ZqFpa1ZoZyu3++zrACyRXsKRM3fe1p2Ubd2J9vUwAICtbFLwkhYchvNlBmy0g0apjCewaeaNC1/bQbusrH39SdgQoTS+TgL6uXqZMHEwSL1H5qp5rDvn2jp4JKpRHAV9OGJaA18O3YlbOWifS01A7GsCcEFyI7Umuq07Yfwoa+tOfF1QBn0cnqSOx9We8M5a5JeEMsJe4kjmj30tD+vPZbsT/OfQWmojpIIjt8bXysh5eCKvCl87IamlRg5awQ+F33Fs62eaBnZye1+11C+XkvdPiFFNaKUulTjXEnvYNJEaVeCqbqk7yVs4E1/HAb1yDZ4i4Ig5EiltDX3NEXgQmAC/KeD1Ije+hqOU+hnZp5fvytekFCWfZe84bYpa9mSBMUnCulBhLTUo1rr6XFfHUeC3VpWviZY9SKmbkUmLXPaRwkZKXl3RetjSdlN3UrV1J1IpKvVI0BjeyoElr8GhVS3uirYWgvfY+JqCqt1bhddNUvl6Djlkbww+5R0fTvZH8Udr63Mxkk2TfHjRAK/syCqpyEBpSH688LkzV+qJhkjwnXICPdnLk8IJ2RCQBEIl9E/frzspGo/fMvf1MsibwymfjVRvKaIveNfo0u8/sgZTST2BaQiVfT1E6kqNwkxyycQ4ksN39UoEmbWkHzOBWZScFD9JwUoim/USYStQCLwCZ61cQYeO/b5X1ijFG46skiCVME7qadqak5t1J3K+Bs+QztUSNMAse725rzvhhKtPKqXkopBKMGCvfe2JlEmho0tkoKzzMJP8N4Jk6iYUzqhlj7cB77JILUSVRUvdg2wMZG5/Jcx4rxJffyKJZKlTkv1fqanBH1dW6jmE66TK2PoaJFdzEu/VncAjKLQCGSls6fdOoZPUyggrlvCLw7XUcNDXwQ3MeJe+dibhHYUsdcOuxlm2EGV/Ny4c/8s+u7VSl595+IW5tWxKSv0472Wi5NkRKgJeqScvwH+deriVlBVUSke130uNNzUnN+tOKi+XdcvftdT35C2cKYfUnZTAqZsqlf33yteeSP2P5Tq6SPJ1kMXl+WH3sESXVHnuavKsFEdquVnFOq3qan/SyvO61EDIXh0wqixye9dK2Akm0rHsP4L7TPmaJpSrLqK25mRTdxK3dSeFr8Fz96+Aa3R1WQK//PJ8yUHbWmsOOC5NmhpdVHO9tlL3I3vAUkceuxx/Ds8Y3eZVywpZQOewNowo/C+8A8qBNTSpq91w8GupHQPQks8NsRzyoDHSmnhBQ1Rdso4q42iUrjc1J5u6k7StO0H/2cbLbS77u/AO5ytkoc4F5trX+TiJk5oZPqP7G+wMC8bnl3tuWIPs0aGHBLzSbWFVbn/XWi1Fl7IxBv5Fdl35uGy8e/hTXzvg4I9k7xqeKRq3/67ryuVio1DqCTRH2dacbOpO8rbuBH0o9SgR76VqSqlTEv5BVmvWjWrkMI2Vrak883Un8HaYRqEq8JZkvxe7lMneCXIr90aUNvb7QLry9XuV1DuwMFP4vS1ROFKYlBqvd/DQXB0c9HB711bqUGoVQZOoTelGidRmRXv7uOle3QnrkHIY0fN1DB8hdejbGr/D8QpEtNh1yzXLmhD+ppF8sc5DLfcYyL0pUYV4WmJJie1Tfx9HXGNXcf7iTO5MAu2SB9O+9kfqJKX+wWQu16oj4Xtgl3072XvXdlfHh8GPisrtA0eiG9Ej79edsJ648PUDeKKVljo329TQweJHWSnSRZc2kSFYLDmqMJRClqqABnWIGxmm8FQOslwcGdaoSuwxBtRmUvcZej0K24Bwrzsz3ep7qT8B7oR3vsOZft8XJyIyETBDC/gpYp3ihUl6xtVIvld3IvpUah6kXlJ0kFgLeAa/xhoxgKU4FiIwYSi1A3JvBnbA1y5VYYINkzyohOuyf1risFcpsgBv2TKTWluvR+vS1/5k1stv3XidD5+42hPhnURMBLivOBqp4+Bf1NZkyRZBYnx9jKs5yffqTpADcC01tqL/q7TlIfyNBj2LIHNI9WXk8/fYW40cwLduj8vd34WjmGO04VHUfe1qieta5Ll29+qwSL8nKjzEmqSGT6oCnQ4qhP9Zgxb8a7cXgelWUtkQIyMxOtjVk5VSV9PWx1yrO0EG8HGldsnJM3qowge3LhdVY3k4pHZGF6GSuqtc7mWLwwgauP044HT7PLL3VuMjcb6EVpX4d8hMg751NWSidyLkuOCw2u+3x9AgbZwMyI5EhA0Q/Is2wJwBr9zxKM9xin09ViR1TaqtOblRdwKKTSE+EDZY6m05ZwluXM2P3DyET6xENUr9HvYrhsdj5e8vS7IS24Ze5Tz+NHpV8iq129WykdRTCpeJHwQhErnXCr0jVYCy3y41ZJWUh1pfCyr8D8xxXQOv1L5VKsmBGz2V4A8mUttUl/fXnOAr11Zq34Bd1oHvo0X/oDOl/IX4kWXJ3m3l9qVlPyfFJuRa7v1KQpPLHRRADfMKLRspHU2Ej7TzIVz9M3LtbG6JLZZyFKklzqUGNwHPwMw1V38l/+JYpdh02B8zkqOKP6zmROp+COwQUoMbTAQLrFrqZSrgRTVJtajYY7wJVz/g9tWlDgX4jdFCDfwk0asSUJXOrqEwoYHwv9iw2sOuEq/7C9li4Rt8lMJvaSZloyWuR4H5zhWxjcrQX4RlqIPmw+tNctksM23NEiJZyt4muOe73KFQEAfk6NEC3pF7D10dHDIhpcSuHjGTGm/oIMUb+P4AgEhX8jSwVgfBN8ir8FCK7KZF5bYwmUMsiyI24Gyj8E1VQT8jpgTGww78tLyhmAK3Tw6+88rVKuVJ5fYBpZZYds3k3tycyXP0a4G8GOQYkQ9rHHW5m6ORW1RrI/cpIgOQQ27vRb0RIqJH4ZmqBPexykF+IRVk2IcSewEVf7Gakwx/InP1t7yjc4qkdjVLOf5cJvyUy25h6Oo5pGKkQHZMalw4Uwskodw/W3tfI5HqE9GvMNKmDh0fI6lqx+tGkjIxpJedol+o5iSNpJZeag4LV7+au9I+qTcpXB2WeFyZSnFDmzCBBmkq9x2G7b3ThZRdhBV6oJZYHuQ3cn8mvpU4jKqAKG7Dp/H2t0Zt15FOc9lfL/7hmpNESfZC7rz27wn/EENfbwJP4X7DSVhYbHCCj5GIvoXP4hKbgf/ha05EVuAK5IoQ19e7yr3jUiuaSpxfyx2wSor1xM4l2O4sLnRcle4O3n+k5gQb6cLbCHhxq0KpaEiI59EbvBf4RrmrKZGxklTuKTVhbKyrgXA1HduaE39vdu7uQLDQxN21RmxKfF1ITkPqFWUtEv9jG9D/xIo6kurSKPlZNSeuloEATKNrtJWMYC1Vdq6uJIZvYrg0RhHG4DeqshATBbysF9mQeml8ZnefvK85YW0Fa7YNPGedLYG9gE7jh8j96VKfJbkOPCS5fzqP3P0PRSFF0rROip9Uc+IcKeis8sTt5yv4QW7PkVpcqYiW+28jYNcu05m6MEx8pQgGllpFHUvthq/pAKHtfiffa+iDYkvETEo1vsqc/SiI78Q3B+eh3H4r9wtZudk5gpfEQc61Nln9D9ec7O7blXoLWUvq1qPqzNWp4/NzjXXXnEvdTTDgInoPNzpL/e8EsEZXi1yKHhafJPb3j1u5lz11IamVdAZErctc50X9i9ScuBtbpEhbt7hVN+pinEYN3X3RP44HlAnKKkZvJcDsfKuI9Ri590nWgY8ow2ArYmIGWyU6LetfX82J1Jnp1PmJCTKQxsZlsnHFXG1ggW9pCcjkPo7K4rXV1a+z5gS+Ep0Sye0TouewF0klehpayO9WIAsEGlBNMij5r7bmBKMWikeo68jfyy93nxipU9but0QalHohwaiKf/01JxJP4VKK0Y0jySTL/Sup6FqVJVLnan87NSf4LBo7HieVqxmvLTFOlqg6Nr+tmhODjFjtftOiknsTiVXLNPnt1ZzAW6lETnHjcvQmT36bNSdJJPGJy0Hlhfnt1pyIPyL5zKb4bdec4NsU+UPNycPr4fWBr0fHnaA5n1XugTSndv2Vmdpub/cjugt5rqo8x2kpj+fxP1O6kl+ClUea+mc99N61v176aPMzeV/L7+L9f7P5evXo+Ie98U3ZbX+97rLnfsV3N8VmZH+9944u8lRIWweb0S+fhp8MLo8uj3/YH3I62wxp+u2H8qePbZ6Wn5ij8sbQl7/I0M9uGbqajBdbVGwGn2w+nP30WUDDVB68NOn1z3o3lnE++UXW8bh88s31kevxxfiXGfqbJzcQNJn9HE7puCdQtQ+gavu/gcGDt2fyNMbLp9/03l0+HunjN4OBMObm/LORfiyXnsilw0N3qe3+vTyO45seEHYvD7/Zjvr99yPB6/f977en1qPvNx9XfPS/ULtZxXgUHY+fjrQ6Hh+OdO/d2nVf97+n/+pwtH4ydpO2CNGPV4dvHn/5lWaUa2ixlz8TLeOmexk8DQaxLLSdJTwWbM3AVtg73q34zejyiUzdfl2OLgcelu3ivtkt+Zv31qlknSpknYe7ZS57LFDWub/K1RPfqdv+BnBX9Z4+3XwevOn1bq5+uf4HVv90FO4WvvnV4dloM99lz/0a8/bK96PZ9vOSRflRvn/2TOn8Wdh7x6cRH4+XT5+O0vj4B38xjTfXOCeXIu2ZyV2N9OYqp+WqSjcdVbodNHWX8r1+2wn9dNvZtpP5ufTmvJvGje8GEfLIUiAOZHmaOdIsR93l4ewJhBEm25CkRcbyKVc+WR7J9ZtEWJyNfw4VgAztf9l7psJ9DtyoL7gE3h7I+2X/EqB6/ajIi1h2lORe/kinWX5DsVV1854OXZz9dM54VuwggrWFV4JBsQ/lTjjWI6f0vul/cyiwyu8VxKrYs6d9t8revkAtRrL5oLNYkiybl1xfjAbyqzk6SYps55geepFZ9I7pmOUqzrIiym657EeIkjRJI/nFv9sGiFQR5SrZS4dd679ZlRlPnKQuzvqby9tns6Idw0++GUibI/lzkyHWSz5tCDHdEOJia9XmW7M2/nHaBH/ftJyut8Osb6HYxU6Wu5P509H097+fPh2djT/55qhl4LDXn17Xaqt6hPq42GprM3I22FFzMh9M+6u61x/EMGdf/mzblXvtzsa3tNujsxmJcJht30XpTpS947+LVRJ+LfuLsjeQT6a/ML0NjE3370+VTTeL+nt/+nQy/2QyPzob9y+exPuzLD0HLsxgUfb/7q5MUbOOrKsaTXt8sZbZ5PsFbOpayxc3oZMwBwR93ZclXVo4rlvg+elqMV9vlDMitvl09dNE7MmT4ItZbeWn9OXp8YzrHxG/CszFfFwHS3lsvXMxm8n8bWAv7Mz9ivtW+/qnb8qPwztxHY3C//qvq9G+Ot8psK3f0L16tlHt66uF3cA2nJrL3id3Xjm66vUGuzEuf9YYl+9bLvdU0y/8L++Pv7e3I3Xrc7/nbreNNo3fE4mNYd7QTJ5kcLya4H+/DF9tTdxqc069whD4j/qWy9Hucrz7mFxryazbRTTldhWN6Y0aa1fdsB8KT/mu6atRU7afMz6bVrV03eMONsiCT1yTo0Ce89oPLmATM6tsP1gs7cV4fr7a8GR/95jVflDNz2ecWY4vwNy2QTmu+4FZvRneJMJ3b82iu/3h72DzjOdg/Y/gv+muhy2b/rtjz+3X/9jxaXeDjP4GE9f005Z4u6H6u2G2OmU62hChJe/2ysX1K2p3ZbW4fkm/uq5Qrl1Mdv0m5QhZ+GZw7Xr6qrdrYEaD91tkr7z5K+fzSWCWJQSfrOzWm3IEG23463iDvy1Jn224sCe4bZvvXLZ6PdprPNg03nPp6vUzFX2i9FG9HjjHbesBeQ9VnKCZ90+7mImL3sibMD4eyi8ft5tLYX+1OJyU7i9MKp5UcHE42m/hBt/gYjFaHbKO8erT86tPJuXRZGcIbhqfL1sdjnHwBmjhDUtP/rhBf9wk7gC+DuMeOLXYAHyR1WC16PWVLa5dnSyduZfj7339XoFGr38Dvlm37h2mudzkLb8ag0ORxWkRx30lWzc3OvecD1Hffu0aGIvx6MvDyfJZ+Imb5su+fOvtjPixcM9i/Owb76QKo/AtsSr5/e8X46dFIR977zYomnofZtyfLHrOHn4z4Mt0jUncXJE3wfa07/729tpdrN3n6Vquur8Ay5BTT3r3WBvxYpdl7910NFkwaHj8g5zm63TN1wsf3iBRzmdY9qeDSJLE8qvNoS7yTMf96eHNUw4j0u9868MaxMXLxb+46TaSY2b1dSY7bFH13phw3+Cua/LImM0QhH/LvozbO4Jf2o/HXubc36f6E/d+qI70sYPMn/cr97COwnvtAXw47fnHOve7y91n199h4D1zNd0zV5tzF70ft1t7mmFnwTy871mx5d3maetPXLdQW0vilrR5cM1GLpfbVS/ucpDusSPXHqC6NuXIPbJh57FO5vM354suV/pv+0tx4bdO6t6lwdv+YHndv2/MyDx7ixMvMVbXDN72/IO390VtS7xR+SwYbBuXh7c13iFog03H8WArRNeoDB1w/YLZXrjF0XSg31x8/2fg9wPQ2j7rtpG756V8uonypklN0+RSRl01jfwqjvwcXik/h9c0/vcuCw7bNHUkNdjyu39NY7X81CJHJc9RkBrCRjq3BUgc8sP1jdRNyG+vSx2I3NsbSpFWqGVfVX4vnrDO7XlLLU/a/vSb1F5JrZXUDHOuknKHSpo/Or7tCbtuJXWW+kLArF2VPG5gu7LIr8z9AqP5SCuSX9BM2pXU25XIz0TKalx3V7Fm/MokF+e1JtxLO8Ir91d0VatM5YG7n6BQH39z1LZwZ9yJtm2rRIOx8waCs1EcH/sU39lg/EzBGHL6zag7PjyTxAcK9u2zkTyjpft21X/T641Hb46dXjvjw0YnB6/9cLNq5GZU0VFctPpZTvTevd4qle7yUADqPekm/O3JDK+fKdV7PVI+GeNG93Cc6VGcb+DTg9f7AL4+PNMthMsWwqWD8PUWQi0g7mUqG+9UvB1s1jPu9bcfD1Vv7/xW2k/9ilzH5aDrsLuxKa97j2UNfflz1LbYAPK6HVo+bod253dEkMcqu9HDozh5rKLD7mKgeo/53GJvG4jbycRprt2zjTHLl929dYT78fh+893Tjq934ez1+L+6bRpa3TlRfddENzvtptpLZvmA+xt5yrKPuJse3079Nzmq3cVaLp6+pxfdBNck3tvVYPYT1J/rcO7YM++WL/Xj2aveYxod7p05lFChhb17LsnJLM0/2eRme4M0SaL0aPu99/jGNoDD03vq+x8DlRHeA7Y995PBxe6kAvEPD09z+3W+3JN9n/yhfUqWrb+1i4m5Gq5/yWfBuZLmu5//muj3nv8cRUn08Py338Tz3zbPTts+x2345OYzBX/0sW+++S3PfnPKS35+PvjrNHi324iypv4jZvtT97jLzW74Jpe0l0m6GNu3W523ryJ7x7v8+fw713/jSt/cfL99zx1nYvskuZuS80KemI3nC8zbp79dTEd/nXZNXUtDN5VKw633/sZWlXkjnx6d2Qu6nVkjz62r7aNez/vskpeVZ8jKBN+tzXq1y6jManuJBncP0txmeTYP7t2ekazai/nELl1Sb3N2ai4/GzfN38yu68KaN38yLsm4RZI8HvSnGUN39aL3brv79Zow9fXTSB+/PjzsXYy6F0+f5r3/2tjB2eHrV71rxQryTFXX0a3LJbNO4Y29+SS42D7FbzWaQevN1y7B5fBm1hcv324etipPfj2+GZyUo4vp8FbmGkLIyqy7jzYPG39SbYn+5FGfbls2EnB7/UfyyFSI511Xwb3/NK39uyDZ+yz/eT5e2m45nNjZ6frsX6EATlt/M1HgTz/qHb+/k7jp4/a0xZpL8mOXW904A6Ptqa4nI47WvzDF5sthpHu7L2m896VI974one9/S8M2meQgOh2dmtXENmsw72Fs0xAuB9HSwiV/171jGg92zfGxT58JPnryZ3S6G9SWo918hW6Rac3urJb8jTtbj5rymS0/acqBLY9sOWjK9oIZNeaZNZ80ZmDNkTWDxsictXlW9+pR7b88m9a9Kd/8F1wW3ROiHR46aDZUasqn8hjI7Pe/b4z/BKGsDcr5+axePdqmkqw81X5fVj0Pt/R6IjkIGb0/rftu4W004/j73WYyaeFZgRkWsmlzhWqqGGkVhMNQBeVCptw0l4GejnQskWL/Eeh14vLICdW1/UK0kwfNCcJ+sdE7kTmfGFq7R17f3U/d2k/d20/f2k/f2y+6tV90b7/41n7xvf2SW/sl9/ZLb+2X3tsvu7Vfdm+//NZ++b39ilv7Fff1U7fyi7qXX9St/KLu5Rd1K7+oe/lF3cov6l5+Ubfyi7qXX9St/KLu5Rd1K7+oe/lF3cov6l5+Ubfyi7qXX9St/KLu4pedR/S101t/QhN9iLZ5CBH/efHff0fU91Piv/Tm87+jKHyI/x7iv19//PcQ9f2Pifrmy/EpLSYPMd9DzPd/Xczn6oR+TtB3b8e7or57O94V9t3b8a64796OdwV+93a8K/K7t+Ndod+9He+K/e7teFfwd1/HO6O/ezveFf7d2/Gu+O/ejncFgPd2vCsCvLfjXSHgvR3vigHv7XhXEHhvx7uiwHs73hUG3tHxj+eTyUME+NuI/3YJ7RPezifr1fD1aj77OPGfPL7p5v5fptOH+O9jvMSHfOSdjUdHzr/m+zaU4JSWR81kfX+B2OEE7+SkJoA4EXfkSDyTEK9MZ2kSZ0W4aSnOzEl4EqpNM/GU5Jp4KruZxIk5cb7iCl+R8+7xn/lmOmtm165mOsSVameYn8q47bcl0dJyfX2mZrxcrU+m49XUrImv5OLLV+4KLj7cvgNjhU9lCZLkVBq/P2R/D1oPv1Zy349z/3747ct/I/7s8upkpweGk/npR8r/6CjJbsp/Ej3s/3+Ul2RrxxNJbqigIQZeBW/H67Pgu/mkCnyqp7P3mSaz8erM1oTkQRQPs3jV8SPYpYTvweq8QopWzfnkXzqdb80MOXHOwMrdViSf7qg1ObptI73z8uvn33336t60MoHUCtUhT5PW8uOmvf2O12Ofa01VktzRVO2aFomO00jHd42qd02TIovl15X1HU2jXVN5xHyq0uKuUeNd0zTK0iKVezBvb5rsNU3iIpZfjr2jabprmqkiksdcR3c0zfaaxnnEv+IuZOV7yMrDTG55vGtZxV5T+aHbXKXx7U3VHrWyIonldxrTO5ruUSuW36LVOrkDA2qPWllUgCyd3oEBtUetCPynuU7UHU33qJXLMwWT9C4MqD1qFfKLzvKE5juapvs84G4gKLI7mu5RK5XfIMvj7A4mVHvUSjJ58Ddru6NpcU1gYpXlMaN+dz5eS9ZP/MSjYP5mKEK+MCKax0EYNAZt4D6t3owXC/m4rzV0PCyiVdAt9DAqVsEfvv43d0dZz6sLry1QIzLFXuv2fdv6aKdY/Mz97cz93cz0o9V8Tbjh2vYeAowft/+bFOeJpJJ+MRfgHvsvj0W/Yf9jlaoH+/9rt//hsCjus/+tQG+t/zWbv2/p//j8iy+Pgh9Jfb76kazCRklFiTxoMsxuKikZ/PPPhmiGjZ5S9+mpaKgzFI9/u0dL3d6WuOGGilK3qagbGqrzR+Pp4b4fdT6fuXuo7JK2vv/mosz8UXF6DRbTgj1vboC16m/X7bjB1rbudF6MF0fBt3DI/4EVTq1fwGCwtHDN/2Eo2UVaXgXz2eQqWJ/ZLapcw7t617Y8P+XdxXcDd/Lpi8+/e3Hy1fM/f/7MDTuerRa2WjOwfR95zOOGOLXLzv9o/S/3OxD8rda/ZNrng/M/Oru5/6/5/6D/P2L+Z4xI79IhM0lwbBMtLgsjGR/ODiTdk28yJCvrE0AqUduki+x8uUyLa+JuQu63H3WS8MlnYORm13GNujkRq0P7R6vzcmXXceJY8JFrtLQNumZW7RqVZmWBzLf5bWdefk3yv/X7/huyv/f7f0Q3793/kT3U//xq8r9xnN6d/03yoQqLWGl52EmRFOqOBLA8RzvKPjgLHOW5/rEscPYPZYFda/83CNRORwVBpDaf1FCneRIVWRjnYeo0XKu87uqqN5/CoTw9q4iyQrPq9AO6RruuUSjPf8qTuCjCSN/fNd51lZ+sCos8TfM4zLP7uyZ7XVWh40webYSkxr7rVlk/pMv/L9f/F2bijPEvmfX/cP+PGONm/WccPsT/H+X1V095CYtWm/rL4bCzSwvsn92W3h28/2uzB8GGieq9LMDk6l8ecm4Pr4fXw+vh9fB6eD28Hl4Pr4fXw+vh9fB6eD28Hl4Pr4fXP+v1/wMZPHnF","code_sha256":"2fca2a93a900408b696c65cf3319508d5707dde52ff5e164ed97d34c45def5f7","engine":"ok","blocked":null,"notes":"Compiling Q18 Gaussian implementation, 8 slots, no assembly; exact mirror symmetry, bilinear compressed tables, log-coordinate rival, normal-CDF approximation. Original full-table parity FAILS (metrics in parity): table differences feed back into classification. Compression cost is candidate-minus-original on 60000..60255, rounded pair.py output. With IDENTICAL compressed tables, real.py vs Solidity on original inputs has max 0.002246638 bps and zero violations; compressed-policy own seeds 10000..10019: 212397 callbacks, max 0.002242765 bps, zero violations, peak gas 194118, mean 72056, zero errors. All 20 strict Foundry compressed replay tests pass, and all 20 original execution tests pass; original strict gate fails as expected. Gas from pyrevm actual gas_used; stress includes 4096 calls, 15% moves, 10000 timestamp jumps, extreme and zero reserves. Runtime 24132, native validate passes. gates.py matches published digits. Remaining: original-full-table parity under code-size limit; no IB engine evaluation (next step). code_sha256 hashes uncompressed tar; reproducible recorder, table expander, tests and reports inside. Not an original-table parity-passing submission."}
