{"item":"q-lite","batch":"e02-rival-ceiling","credit":"Taylor (gtmcknight)'s solved policy and replica, github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved (replica/TellPolicy fetched at research@66604b3426d8e97a73e2c39940b9b4dece51cc73); BASE stalerival.py, qbase.py and quotient.py from IdentityMD network artifacts.","idea":"Cheap split test: quotient.py/qbase.py router-quotient test re-ordered cheapest-candidate-first and stopped at a binary64 operation cap (16, 24, 40); capped out = miss (BASE unchanged on a miss, qbase update on a hit).","setup":["sh fetch.sh https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research scratch/amm   # fetch.sh = https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/fetch.sh; printed: fetched 34 files, 0 mismatched","stalerival.py = zlib(base64 code_zb64) of https://api.imd.fun/artifacts/f5a140f51df99423d6ede60b618dbc6eabc37a3050ac439c80dc3824191e9f59 (sha256 176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3); qbase.py = code_zb64 of https://api.imd.fun/artifacts/88712dac0e4b048a0860ccb13d2f22e13d956161c102939cb480f53388f3b185 (sha256 1a6dc9fa4bf27891d91701c9b1fce91c19091b7559dfcc282342c5ab47bb306a); quotient.py = code_zb64 of https://api.imd.fun/artifacts/bb1b85910e7628d6c716ee1328da911b4da42c0903cb6c96309cfda82a379abd (only for qcheck); qlite.py = this result code_zb64; all beside run.py","PROCS=32 python3 -I run.py stalerival:Policy <seed0> <n> base.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35","PROCS=32 python3 -I run.py qlite:Policy <seed0> <n> pick.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35 q=1 pull=1 cap=40 order=b","arms: cap=16|24|40 order=b, cap=40 order=a, cap=-1 order=b; q=0 is BASE exactly","counters (hits kept, false hits, ops): same policy with diag=1 run through a scratch wrapper that patches run.Blind.on_trade to set inner._true_s2=s2 (counters only) and QL_DIAG=<dir>; report: 32 blocks of 64 seeds 10000..12047 in order, BASE and every arm per block"],"rule":{"when":"every afterSwap callback the existing test does NOT read as arbitrage, before that callback's table lookup (as qbase.py)","inputs":"paid_w = amountX WAD if the pool bought X else amountY WAD; fee_w = bid-fee WAD this contract returned on its previous callback if the pool bought X, else ask-fee WAD; rx_w, ry_w = reserves handed on the previous callback (afterInitialize at start); cwx, cwy = reserves handed now","state_kept":"none beyond BASE/qbase (previous reserve WADs and returned fee WADs already kept)","test_order_b":["paid = f(paid_w)/1e18 [i2f,div]; gamma = 1 - f(clamp(fee_w,0,1e17))/1e18 [i2f,div,addsub]; x0 = f(rx_w)/1e18, y0 = f(ry_w)/1e18 [2 i2f, 2 div]; grid = ulp(x0 if pool bought X else y0) [ulp]  -> 10 ops","a = (y0*gamma)*x0 if pool bought X else (x0*gamma)*y0; r = sqrt(a)/sqrt(1e6*0.997) (constant) [2 mul, sqrt, div] -> 14","z = r: d = gamma + z*0.997 [mul,addsub]; n = round_half_even(paid*d/grid) [mul,div,round]; HIT if trunc(((n*grid)/d)*1e18) == paid_w [mul,div,wad_check] -> 22","z = nextafter(r,-inf) [nextafter], same d/n/check -> 31","z = nextafter(r,+inf) [nextafter], same d/n/check -> 40","else MISS (cap 40; cap 24 stops after the first candidate; cap 16 cannot reach any check: the minimal path is 22 ops, so cap16 never tests and equals BASE). No preimage validity check, no k=n+-1 (an uncapped diagnostic on 64900..64907 found every hit at k=n), no other preimage pairs."],"on_hit":"s = cwy/cwx; g = 1 - fee_w/1e18; cand = s*g/0.997 if pool bought X else s*0.997/g; rival s2h := cand; synced; table lookup at it; BASE's 0.35 pull skipped on that callback (qbase.py, +7 ops: 3 div, 1 mul, 1 addsub, 2 i2f)","on_miss":"BASE unchanged (TellPolicy one-sided bound + BASE's 0.35 pull), i.e. qbase pull=1"},"frozen":{"params":{"q":1,"pull":1,"cap":40,"order":"b","a0":0.35,"ainf":0.35,"soft":1,"qm":"qm_k1e-5.json"},"policy":"qlite:Policy","code_sha256":"2ab8337870a2375b79f1773619e3b11a472bc6d8b4b9085f5047cec645c57535","frozen_before_report":true},"choose":{"seeds":[64000,64511],"settings_written_before_scoring":["S1 cap=16 order=b","S2 cap=24 order=b","S3 cap=40 order=b","S4 cap=40 order=a","S5 cap=-1 order=b (uncapped reference, not a pick candidate)"],"pick_rule":"among S1-S4: the cheapest cap whose choose mean_diff is within 0.005 of the best S1-S4 mean; ties in cap -> higher mean. Drop when mean_diff+3se<0 (none dropped). Order b was set from an uncapped diagnostic on 64900..64907 (inside the choose range) before scoring.","table":[{"setting":"S1","name":"cap16 (order b)","minus_base":{"n":512,"mean_diff":0.0,"se":0.0,"min":0.0},"hits_kept_share_of_full":0.0,"false_hits_vs_full":0,"ops_mean":16.0},{"setting":"S2","name":"cap24 (order b)","minus_base":{"n":512,"mean_diff":0.04066,"se":0.00715,"min":-0.4825},"hits_kept_share_of_full":0.8774,"false_hits_vs_full":0,"ops_mean":27.704},{"setting":"S3","name":"cap40 (order b) = pick","minus_base":{"n":512,"mean_diff":0.04769,"se":0.00749,"min":-0.4263},"hits_kept_share_of_full":0.99485,"false_hits_vs_full":0,"ops_mean":31.415},{"setting":"S4","name":"cap40 (order a, k in n,n-1,n+1)","minus_base":{"n":512,"mean_diff":0.04681,"se":0.00747,"min":-0.4466},"hits_kept_share_of_full":0.96399,"false_hits_vs_full":0,"ops_mean":31.687},{"setting":"S5","name":"uncapped (order b, all 5x5 preimage pairs; qbase-equivalent reference, not a candidate)","minus_base":{"n":512,"mean_diff":0.04792,"se":0.00756,"min":-0.4273},"hits_kept_share_of_full":1.0,"false_hits_vs_full":380,"ops_mean":156.957}],"pick":"S3 cap=40 order=b (best S1-S4 mean +0.04769; S2 +0.04066 is 0.007 below, outside 0.005)"},"report":{"seeds":[10000,12047],"n":2048,"blocks":"32 x 64 seeds in order, BASE and every arm on the same seeds","scored_once":true,"arms":[{"name":"cap16 (order b)","setting":"S1","minus_base":{"mean_diff":0.0,"se":0.0,"min":0.0,"worst5":[[10000,0.0],[10001,0.0],[10002,0.0],[10003,0.0],[10004,0.0]]}},{"name":"cap24 (order b)","setting":"S2","minus_base":{"mean_diff":0.04056,"se":0.00368,"min":-2.3311,"worst5":[[11701,-2.3311],[10278,-0.9813],[10449,-0.7224],[11953,-0.6962],[11643,-0.6663]]}},{"name":"cap40 (order b) = pick","setting":"S3","minus_base":{"mean_diff":0.04366,"se":0.00389,"min":-2.3218,"worst5":[[11701,-2.3218],[11261,-1.669],[10278,-1.0087],[11643,-0.7763],[10449,-0.7227]]}},{"name":"cap40 (order a, k in n,n-1,n+1)","setting":"S4","minus_base":{"mean_diff":0.04257,"se":0.00388,"min":-2.3218,"worst5":[[11701,-2.3218],[11261,-1.6624],[10278,-1.0095],[11643,-0.7785],[10449,-0.7218]]}},{"name":"uncapped (order b, all 5x5 preimage pairs; qbase-equivalent reference, not a candidate)","setting":"S5","minus_base":{"mean_diff":0.04429,"se":0.00391,"min":-2.3233,"worst5":[[11701,-2.3233],[11261,-1.6679],[10278,-1.0465],[11643,-0.7912],[10449,-0.723]]}}]},"cost":{"extra_storage_words":0,"unit":"binary64 operations a Solidity port must emulate, counted with qbase.py's kinds; worst includes the hit update (+7); capped-out callbacks are charged the prefix the replica spent (a port of cap16 would spend 0: it can never reach a check)","worst_ops_per_callback_by_kind":{"cap16 (order b)":{"wad_check":0,"nextafter":0,"sqrt":1,"div":5,"mul":3,"addsub":2,"ulp":1,"round":0,"i2f":4,"total":16},"cap24 (order b)":{"wad_check":1,"nextafter":1,"sqrt":1,"div":10,"mul":6,"addsub":3,"ulp":1,"round":1,"i2f":6,"total":29},"cap40 (order b) = pick":{"wad_check":3,"nextafter":2,"sqrt":1,"div":14,"mul":12,"addsub":5,"ulp":1,"round":3,"i2f":6,"total":47},"cap40 (order a, k in n,n-1,n+1)":{"wad_check":5,"nextafter":1,"sqrt":1,"div":14,"mul":11,"addsub":4,"ulp":1,"round":2,"i2f":6,"total":44},"uncapped (order b, all 5x5 preimage pairs; qbase-equivalent reference, not a candidate)":{"wad_check":125,"nextafter":108,"sqrt":25,"div":282,"mul":426,"addsub":127,"ulp":1,"round":125,"i2f":6,"total":1225}},"mean_ops_per_tested_callback":{"cap16 (order b)":16.0,"cap24 (order b)":27.706,"cap40 (order b) = pick":31.41,"cap40 (order a, k in n,n-1,n+1)":31.682,"uncapped (order b, all 5x5 preimage pairs; qbase-equivalent reference, not a candidate)":156.972},"pick_test_only":"test <= 40 ops (22 on the first candidate, which takes 87.8% of full-test hits), + 7 on a hit; qbase full test: mean 79.8, worst 189 (qbase artifact)","gas":"not measured; no Solidity written"},"diagnostics":{"definitions":"over callbacks not read as arbitrage on the 2048 report seeds. hits_kept_share_of_full = capped hits that the full qbase.consistency test also hits / full-test hits; false_hits_vs_full_test = capped hits the full test misses; wrong_hits_vs_true_rival_spot = hits whose cand differs from the hidden true rival spot by > 1e-9 in log (counter only, from a diagnostic wrapper; decisions never read it); moving = |ln(cand/s2h)| > 1e-10 bps","report":{"cap16 (order b)":{"tested":14577730,"hits":0,"full_test_hits":13029525,"hits_kept_share_of_full":0.0,"false_hits_vs_full_test":0,"hits_moving_rival":0,"full_test_hits_moving_rival":325915,"moving_hits_kept_share":0.0,"wrong_hits_vs_true_rival_spot":0,"full_test_wrong_hits":8775,"capped_out":14577730,"ops_mean_per_tested_callback":16.0,"worst_ops_total":16,"worst_ops_by_kind":{"wad_check":0,"nextafter":0,"sqrt":1,"div":5,"mul":3,"addsub":2,"ulp":1,"round":0,"i2f":4},"hit_ops_hist":{},"hit_position_hist_top":{}},"cap24 (order b)":{"tested":14589944,"hits":11442494,"full_test_hits":13035570,"hits_kept_share_of_full":0.87779,"false_hits_vs_full_test":0,"hits_moving_rival":267469,"full_test_hits_moving_rival":300911,"moving_hits_kept_share":0.88886,"wrong_hits_vs_true_rival_spot":6488,"full_test_wrong_hits":8820,"capped_out":3147450,"ops_mean_per_tested_callback":27.706,"worst_ops_total":29,"worst_ops_by_kind":{"wad_check":1,"nextafter":1,"sqrt":1,"div":10,"mul":6,"addsub":3,"ulp":1,"round":1,"i2f":6},"hit_ops_hist":{"22":11442494},"hit_position_hist_top":{"0,0,0,0":11442494}},"cap40 (order b) = pick":{"tested":14591047,"hits":12968877,"full_test_hits":13036072,"hits_kept_share_of_full":0.99485,"false_hits_vs_full_test":0,"hits_moving_rival":295537,"full_test_hits_moving_rival":298496,"moving_hits_kept_share":0.99009,"wrong_hits_vs_true_rival_spot":7895,"full_test_wrong_hits":8851,"capped_out":1622170,"ops_mean_per_tested_callback":31.41,"worst_ops_total":47,"worst_ops_by_kind":{"wad_check":3,"nextafter":2,"sqrt":1,"div":14,"mul":12,"addsub":5,"ulp":1,"round":3,"i2f":6},"hit_ops_hist":{"22":11443048,"31":1127495,"40":398334},"hit_position_hist_top":{"0,0,0,0":11443048,"0,0,-1,0":1127495,"0,0,1,0":398334}},"cap40 (order a, k in n,n-1,n+1)":{"tested":14590751,"hits":12570517,"full_test_hits":13035920,"hits_kept_share_of_full":0.9643,"false_hits_vs_full_test":0,"hits_moving_rival":289452,"full_test_hits_moving_rival":299004,"moving_hits_kept_share":0.96805,"wrong_hits_vs_true_rival_spot":7377,"full_test_wrong_hits":8846,"capped_out":2020234,"ops_mean_per_tested_callback":31.682,"worst_ops_total":44,"worst_ops_by_kind":{"wad_check":5,"nextafter":1,"sqrt":1,"div":14,"mul":11,"addsub":4,"ulp":1,"round":2,"i2f":6},"hit_ops_hist":{"22":11442859,"37":1127658},"hit_position_hist_top":{"0,0,0,0":11442859,"0,0,-1,0":1127658}},"uncapped (order b, all 5x5 preimage pairs; qbase-equivalent reference, not a candidate)":{"tested":14591241,"hits":13037808,"full_test_hits":13036220,"hits_kept_share_of_full":1.0,"false_hits_vs_full_test":1588,"hits_moving_rival":299800,"full_test_hits_moving_rival":298303,"moving_hits_kept_share":1.0,"wrong_hits_vs_true_rival_spot":10451,"full_test_wrong_hits":8865,"capped_out":0,"ops_mean_per_tested_callback":156.972,"worst_ops_total":1225,"worst_ops_by_kind":{"wad_check":125,"nextafter":108,"sqrt":25,"div":282,"mul":426,"addsub":127,"ulp":1,"round":125,"i2f":6},"hit_ops_hist":{"22":11442987,"31":1127740,"40":398250,"49":54379,"58":9300,"71":143,"80":1436,"98":1804},"hit_position_hist_top":{"0,0,0,0":11442987,"0,0,-1,0":1127740,"0,0,1,0":398250,"0,0,-2,0":54379,"0,0,2,0":9300,"0,-1,-2,0":1804,"0,-1,-1,0":1436,"0,1,2,0":315}}},"blindness":"garbled hidden inputs (arb flag random, true price x(1+U), rival spot x3.7, order index 99) passed to the Blind wrapper on seeds 64900..64902: 31629 callbacks, 0 seeds with any fee difference (pick settings)","q0_identity":"q=0 reproduces BASE rows exactly on 64900..64907 (8/8 identical rows)","note":"S1 is BASE exactly on every seed (0 hits). S3 keeps 99.5% of full-test hits and 99.0% of rival-moving hits with 0 false hits vs the full test; the uncapped S5 (no preimage validity check) adds 1588 hits the full test misses."},"advance":true,"advance_reason":"pick S3 report mean_diff 0.04366 >= 0.02, mean_diff - 2se = 0.0359 > 0, reads no hidden input (garble check)","code_encoding":"base64(zlib(qlite.py)); imports qbase.py (code_zb64 of artifact 88712dac...) which imports stalerival.py","code_zb64":"eNrFWVlz20YSfsevmPJWigADUaROiwpU642dlCu7iRP5abUuZggMyTFBAMKAl7z+7/t1Dw6CIuW8LcslEoO+j68b8KtXrx5jXaih+Meb+3fCNYWMVa5XMu59SGMdbj2x1sVMSPHjmw8f3r0VebosVH7yuEwLrZJCmAzsolCm6DnOj7mKdDEU46WOC5Em4qPcxmku3GmxCOeJns4Kr2OESeOVikTGCnwxhYLluBemi9OG7lQuFidGL/5+8XpwJq/OX5+dDwZXZxdqcNm/kqEcnA9CeX4Znl+/ntyc96MbJ1dGyTycnZbi3VzBtlAKmUTio4pj65CQhahI/351ddW/GJ9fnF1Fr9XNtbw+V2fh+c3NRX98M76IVKguB2F4fe75Nj474cm2JNh5HEuj6OJUVDGhq0meLkQxU+J9hBNdbP/1ViSqWKf5HHG6lwslllkkCyWkEbUMREyKGeLpsg4Rp1MEOC3EMBALmU91IuOTLNehOlGPS4nIb0UIKzRJ8oXZJqGKfLCl82VGjuri1iHDEfR+7/xSZMs4Fmaus0xFlU/LJJzJZIqIsfqFNka4RBgMvJ4QH+EEpVdos+shJIZpYrQpVBJuXQ/hP0nzSKECyCUpYvm0FSpZLlQuC50mvghnSmYkqTbZiInOTeFzikyRklliPVMJhy5RG9RXoTKxTpdxJNQmVCpy/gxl9qcYIxb59upCpFmpAFaH6TIpSASVbBVVWDrXSWS8WyhmDShhEbCjyMW7xkThJqnIcqUXcqoEEqAjjvBMhfPbXatljpjkmmKNgMkinFF0ijJS3tARwqhimQ1FJnUUTFz6Gq2904EavL4VU9S2DAYnE3eiVHO86YMy3zQHWz7Y7jDmkLaMM5aH7ogUmP677XtQOKE+0/5nT+hEfHjz/o97ZLHyJZ1MYJDxEVM01zhd5kaMtxxhOUE/+2KAQAol4Umi1qgExV7gkyNU5jEv3E2X7e5uvVO+Hqirbr93c3PtiUMfd7GMxZnPvL6I9Mqz8sjOJ7Lx3zAQvlS24VvkfmPSIYuEiGANmyG+F09WfakLqYgisxyXavBJQAu4SiIOVzc6pfAdNnbfcDbYt9yNQDJ9Tqb/cj/kNtUTlAH6x3Xd5Pu51yUFp5HXpWx5IgiEzXtL5lpGI64oz3kM+uLkznah2siwiLdoOBTpD3yOYsRv4Ur07OXmkoTlhloy0nIaDISMTSqgvgKQnX4U7oQ6nauRzHZsZyDraRJvb8Xv/xy9ff/m5+CHSOd3Yp1rqmrU7wLSR3BJjcyZcGc6AnoJi0WEQx6VOZLFUqiAqOTJmiQ1hQ7JmASZI1wEYa5kZCl1UsCX0gTK8QpUYJcCEKsNWg9674so1mNm6DmvXr1y9CJL84L6a+aLFHyfTZpUpwUAHQPE34Fk38bBcX4+Q+a5Npz733+hVoeIXlW0oit+PvOcX97/+vYe92zs+Mr57aefcOL2fXEyQEvgCwUM2t/+ePvuDyL+wrXwN9GRHfQ2nKCc+Khnnoo+VwciwFRME+mwcDlxwQO6U3zmdAhDVZQT6rqX9kTTCemni8/VBQpMjo2rPZQ7/fjMVWU++U67Zp9MAHLoN0FtPfD9aR50nuYdz6/MHsMkoDNMw4wuxDxIbIJcmdAcsPC4k1Bg4tXFTb/f69HXNYxDQwhK35YbQJKMvu0QFv5/8bfl6VfHccJYYoj9KDP3HWZGRthewlmGGyCI1IQa0V2VxznQOk+oTt0V6oP7tySzQSkRHJCw4b9b+svo7aMnRuMl9hhQ4g9KlcZggHCUwlHLVr6hlgIYppkZLQ1Njyw1mq2rfwWE4f6TP/cIEKm/wNKjdiBRv6EGbTE+sJZPfFqkNM8e+p8cviSrTaaAe93ufF3heAmIZrlw5+se2mWpjOs14KbZVXGHzuFxDKGQiDwk4o7uDFspyKU2iiJcn1b0gUjagOmLFaUXSoEyC+hsSwof5sy1sq7k2+a2dUKfTYIBgycWkluGVPgxiVNZVHMVyxel7AXGajqwCDtAAjHoAWdLSQu5oc5Z6MQd9LvdwXWZXs/7C9I9Gt61UTzC/xLTdodpe5QJQ9KanbPnDGa0BEAlkmarT6gY+dj2m3xuDOFVfwjLvkJTdbXtf3VqGqqUZOxGIRXlXl4gOsUIKih3IBg6+3MSy8UKQmt+hHJgue5QQmxPivIZeM84rVv1pA8OkEDkQ/qp8rYmpY0GM5QPdTLZU3dSnbfllc1tRbZqs0QoAp+HDqNW51Pb0Y31cIPpoylh9nJLw6itxPqEMR+UO0+T5xYd1d0GEGNrsAuJ8IHDvJvHHYJN25fWNJNUMRhxbZIq1fnX1nm9eMHXp2eOMqo+WfdoRj8dSxu52G6n1k72xOP1Zd6yI3m7YgntTQ0SIvjF29ozQfUOBi/mB70oizeBNXOqjcMUx4yq17NDVbkjnqYHtj5S4lG2eLU8FdHO2ndc8U5VfsSy5Zfg6duCRPAx2RrtJeVP2Pd2SH/FRswkikccYfHwGywdwHinHo/2cdi1+0/5sG8lJHjMMqNJLKfIC8toBstopBNdjEauUfHEFx9pmhXBrzsPDPjgCJy8C9BPpOzL18Yf4uzRrAl44Fr8A10vSzOXbaQNxvP2OHjg0QQr8oaaD0FP03aP/pH2mMM66A6Y+i0dS+xzrterHbSu7Qmtl+OgSUB9M44qr2nxVlGAgYLpbeib9vFRdTFHwviQYjtaIdb0uE3jJ11ZNiavr/jHqOQ6VlXrPE2mo5a+9pHdZEZYVV+QAuIR7SczPEkEX77yitJc0B1sEMGX+RCg2zwP0fZc3sYgPXL7mEriQonKmHn7/s4B6cJMq6vPvtkoaw+r1xpgm80AVybaKT+0J+eD2lsnU15nCGL5EDgr83G7N1vUVcm3Zl25/e1vfOsN/cGvjH5l9Cui0rclvszbmw7h8qHIOHsJ8EW9HYJlbwFtNO0ZU7UV76BNx7RRLKqMiyMA90PHFmqHN7BBOyakek3vteBl6860WZ3Igv2lhV2lkEMTISPu44Fsb1MxPCYI5dvmqbiQ1YiL06nLgk6tyeZs5vFyfrG/qDT9/hxzJ3h4HNXPebvvrL4Z0YPJej4VYMBkdhjsEeG68Q8FeUcEPe6w+x6G1kCdDDDBK3bu/2P8rJ5rfEbvXsFDQPECNT+4lS0Bw1nLLhB9W9FzW1v6G7h6QVQbTrVhcwhTD0dyrXICf9J8sDgqSV5p0g0/8DJFOrEPUkSx8zKDXkAw6aUYZ+ZYWqpgkX52rsHUbyS0jFXNuIfIh7jBxT0f2FHNbA1qH+GgqDsHCu8lE+dqW05SQhrvtqSvkb/z6QEktH8/u9GbqsLFTRqftN4/fy6Yg63zXeRX/zriO3KLlVTTBAqyeSm/OWPZ2fyo6ONt8mKHVOghuiWyqE3mEoJ1S8AhUDm58I4w8lt1mEqr2jOSNa0CTUk2QHViuReHIMs+92INWVmTz2/pEoto6QFf2g179wRPj/ayvV/bx396sA8PPNe3X1wShB2slnKyU+JZBT2WH4o/P67fVRwY2Mwx3D8QBySUJPVkt77gcr+iyaG7NjnLHR44E88l2GlAjRtQc+wvxeWbw17zX0K9l9aK3dUX1VJuvjvbRkS4lJqeSlYa3c013ClfsHZa71ei3MKkNLJA61l1nTjq7D16839fpNhHXIjNqLQ+pzpxo9ynvurRa9CYmgp3oSzTEfLt00s9j17uTQ7MwB6/4nWJsxctF5lxyyWA+qzznwR2/g98FtUN","rows_encoding":"base64(zlib(json [[seed, pick_minus_base_edge], ...])) for S3 on 10000..12047","rows_zb64":"eNpNnVvS5SgOhDdUXWHusJaJfpz9b2Ek8kvO9Ev1r/DBGINS1/R//lO++O/PP9/fOuao+98/V1L+fH+/Pes6CGoKvtWar2j5m7bW+iqSnpJRdi0LyYgflTH28CUzLym9nOVhVlzSW6tzItghmHOd1RCcvPOaYxcJypej7jYXo5acbCmjbcYo9T5PL60xk3Jn+7V5piV3tqWsUy3J2dbW27tk5ri9r+4brTuVsv3IZd+pxBP6J+fe56sfk6052W/0PXmcWu4VJR6RJai5tGV+vXYELSey1+Fxas8Lvl24ax136u23AjVnWr/Tmu+y7l3G/t5971S/+U3f5U41nmUcRml3YUdZjck3zXX05bVvdxu0Hu8NQSzs+jv++883EGhdW63bknG3zhzeFk27IFZ6+BJNd+9zfKN9N1NddVpy90FtdSHod7p9n8EjdqYbm4el7XcjfGcWP0DXRoi94nv3rq0R//mau23Ld5hv1z6Yvfsnmu7Z7zT0O91aY1wWs9/p7lxoCcbdCbn3LchtW2eMwrDjLm6tb/qj6VyW5sMwNNlZ5mJy465uje3jUe7qxhxjZZCs+zy9FV9y90I/p1pwJ9tidgimztg+nT04tbaxol6leWe7vuNlmu0+YGk+7bPfvT/OtOCesPiNN+Wcd2v03T3o0jqe2LhINNdyCosy71xDG2wGWXeupX1WXuvqgy/fIIKcaiv1FPb+yqnGASrexkvrGg/jzbTuJmhleuesO9eyfArXVQYttjFrtnKmuRzT87gnrPVZfJL3neqJN83M9p3qGs3HZ1c20uyMsrVjS+xzX6MjlifK1+RkW7xQ75N9Jxu36TzxztnWOAg88N5Sf/HACHJZWyw3PzhSXKGneN5zIWGOpx1ORdfx5339cxav4Lmv/yzf8gwO+bYKOtqqM56eBTp3q8aZ96KeXNQ48u8nWtNxrE1Cdm+z19cQ3DU9o1b+1jxbrO1AoiWtPeaI5KrY09kxRcgVa8/DxmJrO/TlMRZb13cVFLTxeciD8qwsSBFwrXi5G4FmeuJFIhAU7Oq7lAsFY1XOYZziO7HPW6pc1IqNtRb3vahVQ403C+6ahp73zIRaJaCbJSznKv61/DD10w4b289fr7LqvQFSBdSKh2GZL2r10CqonSLY6omoCIa2VNkeY4LkAHcBtgIbu+9733+ob/ZpEWzFuauVYdunfRVPzlTArTi6HKJycSssk+pla3e3nuYDEqt1Fzam7yvuFpiteh2bd+vxI7clSDqokSLUSuPo+JK7tHHkOapFqJXan2XqRXokdgGCq1j7OtgQobj/SOd7ywuyAkg2Cq0IslZsce7bhbGh2Pw8/WqAeLV+yf1ug8Dg95urAuKUALnlQlaLwwfMlQtZoRLm8RVXswb2eJHGM7SWfyM1ECjKfYVYexy/HBBrHW+2IdUaa88DX8Cq+aotuCAQewDwKRewehzTbYH2wApo4TZTeiDehVd6NpSgISvUjCRxJhBosmGLMfvJLgiA4gVOWYVrYMIWQdZc78bnrjwqPt6SzJ/Y99x1Fd11ftg2oSRS0msqPCTasGEb+EddcDvfb2RnNZvfZd2p1rCLrBqX1OtqoGtZgoEdxhqTXTKz9ttJW8crltqjXNCqo9t8iJ9Le3ZvHDArcZx9se9sZ8efCJsZDWPjulzISiUEfJYLWWE+jGOB9RaTv5AVmulYWRyt7OhtWyLXIDQM9z13qgHm1VdcUyCW2S/4wlbobFthoXnu5hufnx/YCgu3s9JnaRl78b65uNVHGDuskYArrE1NpAJb8ZuNQOZgbWMhqBeyRwMdqmAr/qe2iaTLWgiXayAZOuU4AlUeV52rbUsWSvcNe+2WPGwVgTyDcP44bvUiV8BWBadrwYvZvkBmS8BB8RVN1rnNhVq0A56PWeVvjVBz/smUnRomAgK8mABED6L9OtviGNSLXTX8UN5wrTIHAw46AtxD7nKBKzT/91nQtCCxbxDcmcbDouVqxbxaaPVasbFnnZbgwfTJC69CrtrH8n2OEGZ7pk2rGoarBTnTPnfj7FXBVpz6YUGT8bu8iBe2QlXaWazytnovnMXYK3oR1e8KZ2vNNf0bwVbgih/nwlY/fXi7Crbi7RULZA6GcuEngq0xJj53xdUKc88rDW71Pbxd+8BBA8xrl0ewCme64msFCnEea8d0jfnzwuRrBQqBF3XI0gog44qBRZD2CRKhbKgC7jyuqRVg62OAr7Vti9YLXPGcPrFjaojxWSA1EP8e30V+4Qos80ywX2J/MuyUgg38w1AK81eQaV+jTkIEwwdfvlYv7xVOHJjdsRqqkGuOz89zna3c1H7JcrZyIb15LnLFtt6o7fBO7/xbswlQF9ZWTI4fXXcrH9Wn47pbgU+9+4qmhauHB7zYFd7X9qFchtl3hXZtggyCxR4FvGtCV8knnj4c8rcSa0Deev2ttNh8GORvnThYjLLlczeHRaqgK6yleXyJlnbFY3jYIegtXn1hVwavmMq+s03DFo+ibqmDNN0RXMW11lO78rjaOd5O8rhW3IZFueAVCtz68WiuY729JPCqb13xueIc+G0dubFpSSNYAu93BA/aYG4jxDnaSoeX0T5sgjiBluRcw/mx+dwUMAxt6L+b1HIfB4GUQfi5aMwmpyueDvRuAq8wWDtzax9u7Kj+jSYbuxz10D5ZW7HUeqPtglfam0wV7Ao92H2FvIMwa7nNBa84S445NoFXIBPGSZPbFdq8+SeENmOX8ICKFs6H1u36XWGfreNRsQnCJWIUhQvbsnfbFC4MA6MTTgts0PRnYZe3C2AtPRbufAEsoGEf/2bovKGIm/ErFIpvLCM2zh+rdOErNt/wBUdeSfMLxe3q6M92wSt0+8QkbwKvGRYW0wK8po3CJvDKALGvYLvu5rfZwIPteV2fK1CubAuupRXGSvEgz0PkTDd8rn04BI1IYX0h4yb0CvjBJ25ddmFdTyA1cJ492gRecTrn9DVYhqNwyhte13KotoFeYSgcz07mVm+OL8YxAnkmJkkbxTYaqz1kchf7ok3wdX7L4FBh/w2i+YbF5WcSgt0wCwIpg3zdCDC4VvNbvK5XLO7bs9f1ykg+tm+bUrLz/a2g8fZ+tdv13Nd2I4U3csjT4Had6kWakxi4t8qUKxMQ72nIjF3WJoKuhFffZRHSsnPe8LtmNWg2+V2h2T/8oSa/q227r+2FCh1LiNN6QfLs0TzMlFsc9iECfJnpt0OwMHSsh71qK0GMnyhWGJ61D/HFrnTZvEjCrnmcbAgT/+Js5m0Q3AMWuIXr0oRcoUzww9omtj299zY4O7EwmyKFac759GyFtuPoIzgyuT/HSttxtLhbxcrv2rGfuI+wK07ifBIZBdNmUAO8whitHsWZg+HTf9ErvBw7pw30CrVktYvnteKgaZgu3yseiFG60l2BGfgZXegVRxKLsn+N6D1uVAe+Vr5KJNgwe3mQuwvOcGKnf4puf8NJja6oYVh204PIlGVXhHkqizJsTEu0tHFSecld6PU9o7rjehWru16wZLcNsLBZtc/DzfU1dyOEau4e5R6wOIndV9y5hknx7iPjMGPC2k1dccNEIn5DtiuDv6yB4CvNbtRDv/CVPlXxKPK/0jJAoAMWWr9ZQshon+lxl6KNPpVdAHbCBvRvnPCyF9sFYWW/rE2/IBaO6MLg6Ep4hVWN39AviMUROERTe7M+8NbuihyGccQR6kQOwz95Eu2EQOo3zL4q44Xwu/JdOxx11qljxzRUUxeKxVLaTOn4YAF8FtytMI7t3TiP0pLexgocJsB40ElU32ZZ70ofheZl2bpMg9mBhC4EW+EEe2tcByxsXruLXZHDeEofqPGinNx4aKpzY1J2ACxtICZ7HbDYBLahuyKH4T1sv0ABWBgZ078hM7eqd+AFsNiijm70C2AtQxXMnthhKFa/L8UOcwNiu3WBWHpt3pNywVr6cb7GublhgWLzYeZ5XNmIy0nBLhRb4az5J1II1Zm4jgMWsyP61BfTXYbkfj2wQBtb8F0oFqP7fRjFqve1PLBwxI8F1zaIV+oxnfR8r10YFi4NC4v/FSPgF3Vh2M5FQiCXpr+5K98V9vs7T8QOw1oB+LpQ7BsGk761aU/zQpPuOt/wsBcW4iR6Q4JiYYt6pRU9zPAevxGKheGHidGNYmVbSR4HDXCe+o0ehkJf04Owrt87k0KxrDOwqjrK1meeGgFpj/RlkchViHWx4GXrNez4PudfGgJhWEa8EVSsyMoTDoFYHOzPgq4D1aZ/I7fmOIw+LobFfizMbMgDCwfzCbbOrQNBQw5YrD0rPRQ9jF0BsI8ia7bbXR6FqYYHZsmdalzAdhyED7cN9CEPLK5g6gBYdf5pyP+q33v8gmNr/2MIwErmo7mtACxsHvyvoeDhOCjDIfgKA//gSw3Ch15BZb1GmKFM4/pe4dx/n4fASQg7zjeR0npZryHsKuEgelRpgeXY/gC6ajqGSAhxTae0Bti1Kk7OaM2erydPtUaZ9q8GLpgP3wC7RkIrEq3rLMN3xgfvPvfDLtjohL2GXLAau4VxBV4t4ZhdoWKNzMoXS3AU2tsFF77SFPUu6IpyZZQGwT1cmem2QA7jcgHBUN7r7O/95Ho08xSvivyv0NObHM8gfhiGDhgxhF/huWLtDTJfJdDQwyhoECqcOw/prYekYyjivbwRBtas47DjJr4yq+A9LPDq1Rnzoehh6JYPZBpyv74Hz4PEV9qsTATw2qEEWWonvgJmfM1gU3pyKtaIHegLFiFHBysCbyR5BThjSskm/ktA8ms3p/IGTlgcMQ980SsTy8TOxmLfzn78o658bsetHmv4UPmKa3xnAsZXWMmOYYmrt6pvfDVXvGzgeZD7usVtSMCE4WTlUPIrbV/uvBt5K6B1XPyq67MXNpT8ytoZH/itU1ay2gwJW6FYaW7FZsPM9FTwa/bb6sp/pevoOwFh60Wkx+GUxeKxg1S4kfYqf0uDxYZmnZQAa5miQyBnfJ3lQRewUS1wLcy74ihesYCNKfzKxFRBQKQrNHxDoqnGyg1foyRoYIsvIciRWTIkQ85PYatMIVh9Mbb5kf/oDkhMZcBWxr8REJL5HH+YZMBCHXIJflh4Bth/s6hEctihnfLDvn22f3M3QlZ3TAR3snEI0YGz4Ck0e12THNhuVjRTYcQwcN8oB6DzZHHD5ueA36yK0W8rwXmzYDX8p88CFRns46kYyJwxmVVuTfuegPBsLbjNs0rX/m672aIcuSkcC0jyLxrbwP77bKo8XfbAplAsyzv4u5E+t6c6bxgxMHt7Yo1CE6dLJhWHw8UqkxzY92Z+3a9A6e6p435Vl5BOIVjsbG/GmwErT/vN63y1Wp1cn8BXeKJ+ma41DLi1RFq2O5YyKdz4v80oAAtX4Y1LiCPsakukZpsrRKb8r5HuCQLl7EtbvkIbIEMBCBSQaVlSiOTiFyum4GEsoP3pOTANl5ddZRth+DzBJgI8LFD1VvzG+1DwVbISi2GV/FoVN3A699UpcJrT1VvOWEySXzchjkQ7oFZP32Ub3eH5CXyFI4qpM4Gv4qrOSfYrXB8rE4UQs4qHlQe98iizLQghrjBBuJOcr7VdNjzlfIUR7cN3na924iGZ/2LDblcnT0UQs/zOv9mkNbwJlsohtovaprJfoT+rBZrstp028b5y8Zm9wCudb+Yq5yvcIhzqCXiNV2A2r/eV5qxfsyo34ifTo14zJre0r9BGKA2In0BXdxnrfCFEW4xTztdaLqmYKt1YnthxVZQrDqeAKwsZeBgBV82YAoLlIhoPQu3O/HyTg2GEgb/IfaX3MJBIuRYv0VLlRtaQ+golv6rTLQvcypN7kMhNrJ/rzdYFrlDRhcdZ37LtZ4GQIN01BLkFRkbWESh+2LonUig2s7pZBA+bc4xLjlf48r6rHK9wTTwvYoftsxG+jFpnfB7W5RD987iKw4RTPT0XFR1v57AXsJUZaxbFxfLdxX5LZYexKpyUZdyqnIvY7JR7dnzyJeCKs1t9ydRvFtp/Vep3As19yV3akRYGAlyaziFeF7ni+TYAsZQAi8Un7Loaoc7mUrEFdv2MuIUD9p3pV4QDFm/Im+XmwFpooeJbo7o+l7WvJuOwuH5+NYJc/KnY4XT6cgm7Aii9US54hVob/hslux17X2BX3Jzzty52tdYbluRS8cYsTkcvQVfmH3kUQ1edT6LcMk8m3Hrlk2tgDbi+acntmq/gcA29/+NSz6WwYTuZJECioMae1YOomDdG4dUJuWa2ECBQbWSxobmEXGEV+zZUbbRurbcUNay92JFZgq6eVR8IpF1fnGfhduVB5UZyu8Jk8J2V+Sp+Dcp7ZSmkb3IDx7EPi+eh2kiHvtbCm50uz1sOGH5udVmAVnjWGCZrOQxXqq9RbUGxc7fkc4UafOMS2VguP1tCrZORAASOFVQvElHDNp3JW1ubIDwC7ozT1Z8NsARcqbV8b+W+vuOExqJso2ZICAnIFUvnawhuZEQBicq6t4OAS25XFst4doLZOqyBqJT/MGAWyBWAQcRkHUyY6emfV9OPqbQAr4y/cJ8LXnnErXBUudFtni1hV9zFU3XhxssSL3ld6SdrjP1hv9gV3SqW/55ZtIkaBmIw2U3Z4XqlK/uTTRA6dyGwzurd4yoaV+xKb8UNsyrcvxF4jd8gchG9JLsw14F7u1UuH9iCtthF1ceGqk3ZxgYstvytODKeOP7W59DIvkHDsDBcT7cVNCzv7W6Chuez4bWJGsYLxrjeqtqorxBsg1unDMyZTdqrZ8AWiTbsy6JuOVzVQLAJHC4np7f8rTiBA+Dd1claXviuGIX7/eZoEE7bbiowyQpOBNiEdQJSuwEF0z9Rfm7P4wsolR/+W2mOz4VYu7lhCldht4WXM33Xu6qBC64W2QKs1DIMQtHGK6veLtroxe+G9q6sl2TNqNoIc9+XUGJi/bpdcXhcurkvavXPI9Dj15YFqoD4nvLZncDLsU24KdgIj9RPPCjpfqGYcIEJ+rhhcgu6xrFVvAe9c8O14lteV9rw3iUXu1pmlX2nRe4DY2aT8craCF9yKPPwExA0DFfV+0JBwzrevr/YFcqovivUM5VeJgK5hwGiPOGFrhYe/Ocrpqrg3uLjc91ORSSys1w5sRUwDFseQ2a7Wj4dbyRKJVYX6G3VG4ZpSVJzLwqN3trjcJXaAMkNdmW9BYukfNcZw9pDAcMSuGT9IpcrbBCeT9A1AkY8/c3Cns/bmIxXLDmDbKC2uj5m43NlbgqB6rea7ZMNcvXpJpENcsVW6R7FNeiusd/kvMqy+b/BrjhKPKOw6xXBbtXLp03ONrjQ1X9FRNvQVZyQ3Ae95QjNPrK3X559UzCfziyb6azXmuBxtw+VVbGqDnvjkY+wK44yW+PI7wpfn5N8qDncDrgfV8yHevdvqOIKM9ES1caF8+0fSc3mTvAlUl/VQHOU84pzO3xnuiYc8z2KF2YdG6MKvAL1GJOU13xtPkfoVdwUe6jaCKNxelAKztb3bkO2vri18RRDgsvZj+KFgUReput4tTDk0azn4ldNn5fJVtK0Bcf5yO0KnYh1clRzGBvfd1HRRnVB6BF6Zd0pU6VHeTrpd1RyeKaLpI5alPcL2R/5XFlDj1lxKDosDiie5nIYlzycRqr++YxHJRvZy8lcG+pgWyEenK70K/2jCYS/B2g0fDpedBoWzPAF8rnCZOCC/hE/arh7p1N/bFv3OOk1HJM58ryykq95GDUnOlJ+rt91ez78EwVgtivwjko2eigQlqmTT/79hO7E4kTfkeu1PkdPjko2stOYuRIybN3HSyUbYe7jnJyhOr6vvjFUExVw5Z9MQl/LL3lQ4F9cpH0AsFb2u7NWdn2eLN5XWOVoi+N+r+FC2aOyw/GYBI4Dh8e9kkd1h+kreBSprpcXO4KwsJbcpX3AsDjZfu/q9wpDDXv/CMT251TZoUW5unT0qGZ+ZMAfgWokG2GYI/cr9tr0L8h0VKPcUdAwu3S4rRAsEBwcOYvoVsHEPsp4zbY8U3V7hfFPQOxc3yv0/SIgePC9xiv7OJu0skvhDiXz1y1DcgFsNtuQR3WHI4CFmQi/Mv3rQynPK8kHWOjt0tPl6W+XdLr8+4Bf01UB5wJYjfNsZSffKwxiaxkXzX82348ALFMhPPOhk257j1I0H+4Nz0PFxk5fAsl2WY7191EdxGARCjQbt9iqILmzDQtf5RYFmo2AWxlZBZqNLEwrlqir/pAdLWLZSK+5e1SlwFvX0haRbNQVCsFjbBcELt8Y4orwwqokcr+Wo5oFmo1eqdTJIhjpv+Ybg2AmCSmQbIQdUP3ELjwMJeJhnfrcfkIgLN7L9lzk1nzYuFm1c/Pi4QHyGzqW13iXVPrV/WclDcifWLMYr9lEhMH+BGKBiE3sn8irCf3H8wNg1DgUUWy0YgxJg+FiYKGhLSOBvE0iwxl4vb/ZhBWLGDZyv/J2L3glC0HzBXr/3/LbBbtu4x6SieU6va9wwMp5o2yyFFhTWScrBeM+ngLBxqSBrZhfI30aXwEHRPWwhA1jTT4embDhKPSwpd9Iocr2diTnNWZZPFO3Mbs9vYtgLY+OBUcdJ43FFn61TQw6y3uoti0+gMN0IG9PDzd6eHJu+pr04GXJBfEpvJhiho0xhvcnma9Gq0OBYSObEC2gEAJPocCwkZkIJicPLD1zfiL8mrSbFfFr3DAIDzgd6d7egROKhTO8KiraCNvPr2xixYzlYWXFZNwQgcB2kkwsH0mv/bYKHtg4nuqqDvc3/+baXO3DD8pAryr6l1+6Cg5XhWaliGAjE58+gRe+avbp8Pe2evFtFd4a7ybUayQHAb/B/XIKKCMiamSk+jMjD6DmYNStxPfBzCli10ij7V1BU0r1um9KzZaVj7q9Qu0tC9SmeranSsJrzWJ1copL/Px8wq7W39FRxquF8+ArpGA/HII0lVQ7QwdfGiPqHOleVVyvHt4xz/egi966xC5B/Cejp0CysRvp49TAslspg0llRzOCYqupUFQOsYvH6DAQcWpEslGH8T23HuHYMTzIuonRTFwj0MFyTX3OVU4ghDEpoeaA4HYRzUb2uHAGRLNxQ61MrcBdcoAHaDZuOB7BNbbSV+dvAodvYva7bFZkwTTO556empb1WIfBs1E7VeAFmo22itdZjlc26HOfSt2x+0KKeDYy1+2Vhx+qO0tdRLQRzhit1qUAXYtC1iKejSTk8fOoUmMdSAqSX0dJXWiFymPZmNS5F1g2ZvVdLnbVdcb7CT3gn5+mwbID/UB26qsBjt68Io6NkpVfHlQz7ST8ChQbYat5zTo7gJKCIoqNlgWLPItwK3Mo3EUUGxjbBYKNrKMGKAqglbQuvDslu+IZPcSiJbf6gu0akzcxWYRxzBAMSo6LXwNhwxHnlak4bJjdKki0WWvxsaFOY5ALKcVRwzDV/RsiMJngRyI1cLJ8DIn7Pm2NlmGjsPoYTFcWWSmXqR1bKCQqptnI+D23EnCtj5K/UuR2BfJZeYBbMxwk3vI0U9z2cl7gGmVvr6aAq7Xql2hmqO69I+A6wyeSvFdzsjUrL+VD0apcoNkI5Y9NK5qNGxjltnR7xYmpPB88G6ctT008GxkF8n22qhG7n9i18hnvkWQ7oTi8sdWsHPY2m2NDvmZwM81GxrkY1r3KwEGhUn5Ov2SgqyzvL4UNeyYWmbxoNkYdT+CWdWLzSWdz3+g63rfX7cpy2XeFKuX3shJWlWF9d1Gncj/wJRRoNnI7MjOQq39eZyW89iHTWYqAq/WvWH8KuFahyr9As5HRhYEgZxoOJLXWBZqN6kqMUgGuQ8KnwLJxq4A8KgWchdaUAs9G5g+bb0R3fZiJvpMo+ColnQWijXp7QCWR01U7NS7ZZQms8r5g2rg8Fr6E+VLeUMS0kfmczwKiW5UO4SxRcFU32FTV7lWdRi61MFtrAzFt5M7FcoRpI4NzLIvQK0v0eEBIoorfj7g22o0vILhzzVQet63uTDPi1VdmaGStoBfhyiKqjXQpu0eV49UW215UG1l+ACJWwCtfF8tIneHsfjtCrwy4+AoMw+3HaxgFtI8VuDYSVnwb5WgbybVS7Xf144fB7ypmOizi2gijp3J2ajfSVo+rco1VfTZqF2fktItfXWpYCN+VCq3hec9jrg2K8TI1K6xdnptK5ZOCxzM5VA93T1ZuVzchYakq2aiL7H0R00ZbriQpYtrIWK73jcKG2cPNRACwDGkweeKGAfY+CKqVX8sOO1wblzWFBwS/Jg33pU631/N8GTQsf8N4PH6D9CpPq2UxbcTy0laTTeWKRXYvEoXyG+qDAtFGqCsffNVsZOeuBZvKZoqHCkQb2d7uo0Lia350CxQRbWQ63JN1t3K8ZGZ74Sve3/AgOdke59DHfDlTX7zWFG2E7Qs8m2rjjPqGUeLrGcyVWsP6+fSAXucU/2bT4HEM++LaCFOE8udiro3MkrOWqja8sXoE9FaP6VXY9NB1v2UQbFYHZsS1kSrNewUEC91mDQFVVNKYcGulvpJ4llHwvor/pO54Vh//48n6AX8Ny37zh0qj9gQq5i3l/WYraQoDZIFsY23b6u1CWJbd8JIbBIefbeT2uYzThwO2jVG/dwnVMM1apsEUNai4LE0lG9NOoLg2MkN7PBEVmXX4C4uoNjLvwREU1UYs8ibg1RQzbDYFxbTxvTbwrLBy10z3Ja+fltsWKwOyKLk5ZPkNQnMN5ysWqXqUrVZ4+5ZwbbTsVWAUwdf8bNU0wdcxr1l5VBsfRC9FVBs1W0cZVkUbc8HrVVo1hYWjcY9sozpOKrKNhKdiwUZRVf/mqNRlc0qbAGx2uhiyS4qCEgc8xbeRNDKevgo3YpnQVPBtxBTfT6g+h6EpKYVRTMXvuGHGmMmsNGoNx/IgIrJp02vfP1NhcoUrN6bVeXPlRiF5VuDbWJ/N+6bKjRMWqwWuhbCx3kTMm5aOBTJiKsn20jpu7UYrNZUbjkofbzHXRij+bUkxZ47nNiBlPe8Iqlh+pEfNnXDCAkvYTWBYpi8sUZouHom1VbPymlarbbC09AqWZmJee52QbWSJoQUq4PreGcT/6sch2AYxb3snm6rD1e25w7dx3DBSGs1ewzaI+DbS//UDy/0KtfhmIgbZcF8YFL6Nz96j+TbOfmpJaa8MYbLUynslyzNmp/k2erYBIVGLT5glvgQe0eN1VOKrt+M3KADLfCTPJwBLWiZ+omL5pFdkULEchunmUwtVVLELLbqNUJh0ahToNmJ/+vAo7ZV9/x6DrHJ9imovbJ83kQ1Bk3Wmwes4rtIAr3jVvjN1G88ha8ektwQw4NtI6h/PxfBVPeqg9O0NKvswDjxLcsFrtJ9qVrX8rZlAcPdATIsDKKqNxDtgx1QbxRZJ/yBrn/CaFHFtJDMWKSJzbcSC4/nCtZH+uwX4XwUKzdIpOBzUSBdxbWSee/o++OCV+pis1FUfGxR9xWwb9R2vTpdXo5m59OIMnTGtU3a43p3Vqpz02h5W0cPPS90FYIHNzuqIbSPbAgCwXiC5o1K/QLaRFM9e7Md06PtUd37S3JdsvJptoSOzwLaR2XELMBE/kvZZaqXaWqoZS6fPq1HwWCDbCO8G67UrfJj96UyF1FfGXviNECz8TGheSyf3tSgBKp2G5TnpY8qSBnLtzQKR8i2HAzuMUXu8Ud1BR7NJEdfGR0tk6e5WfgZ7dwRx2TrsnYqY41EVQvz6+9t8UcWCbt+XialVudbP2wJe+fCLeKPdFb3DY8iQXZRvZm8xhHZ+n6LozdgIEx12bCktKGLaSFMM80lMGwkpKOou/6uaZTpVqwBi03NWujl6+/uNduwIY57ZC7zGS2iIaCNpIlAXnejhySwdEpX0ulQ69aA44KjCy+wznb7YSl1lh900QQWWjUwxswSOHa7zJLjh0ISUbvAa1kJKemVzA5OnZGM5+tZVstGzhgZBFSuowVokG2EL2mDuC7IV58Mh2YhNZYWzsGRtjsCykZ0oXsVFxuO9YdVsFLc7FrFsVH+3oohkI8xm6qjSX8Qy9Pml4rB1z1QFGz0JJREo57XsB4tiY2y3FhVRbNzAqH8CY1zrvu157ikSgCsUrHf4MRPb8JkXyWEzA0HpIFf2U7JIB3675a2nisPs5PcgWIaOJ3cavUIfWaCSgvb21XHPrzODUGzUcUDM8ZlF1DGVAU9UsVKDYuO4JKqIYiOJU4EUKDbieC7fhlLOBXNqvjhtggdv4zOrle0VWDbaR0VoGWBXszaBZaO6TqcMer26g2+jtNd8xPTV7DW6XdpBxTy130UsG2Ge2cgTy0a9yR8E2w0E2NyjwFnAvhhVXN1m0C4m2Sh2ZQZZrwLhbhmVcqjh8MIg6zXew1TKYJoXxHHDlzkZtHklvvtHfAnDgUKINgJCwa0hxyvUPdvRPBtZCMZU5HiFXYh2GXK8suqPUVuHlGJZoDqzbT9yuEPZ9e9lULKxbD0PoVYyN08EPl/Gi9FhBVkOz0GzER57L76GwtM5/Iju9RrD8+3YBOcN7IySFTU8G7NQNlvg2fieBSOejez5bB5V4YJhWwqejbyP34fzX9ULRc3h/p4AO7a81R4srjNxotmoYY9NXyGgded6GbBEzf5+okCnDfdB5DBMA7TumNTI0t1doNmI5fQexfEKHflZ0iit6P6N2YHqG5ZmShM+lTHNhk/xZoFoI58L/T3mhlHCZ31Sx1e9kIKvdBl4IsFXIi53Xv6Uj98XHV/Tja0Flo38Vg4zWXAK789XqGj+HM+MNuX9/hYo7OOVfvzy3loXvVpWLXKF0l5ZiMVdiRuO/n6i4pJ3mjYtf2HR8XAUzCcZEStE4qvaRxwQHba3qDQph8/tQa6KnZ9NS/g1stZ6MKrhyx83KuNAwbasdZX4Wp8X4NBQXfw0ihrW3d+mp16+VRcKjPNK4t5cCBU4LwnDRuxozoUYNrJOAGSdihvGu1kWVJO+DAQKwjTH++HXuD3HBcmgxn76Nqowik3RENxPeuWcfZtN/tBHBX6NbD7CyZ0QHT7SwgLBRr4WCwjN2+CYgq9suAQURLCR5g37UwQb8c4nqzTleSXfhAdRPVQz1E7w63N8a9Lvle00jFrd7uP4yayPvKRbIrCttsog2EgCSR6Zz3otyvDLJPUVJ7P5RvomQugNX6LAxqa2PVk6KfHdvg18cc1jNLeA09tcoNhI1l0GaXwZY9HzVyDZSBad4h91d18dBMNBPc6pWTay3dn31rcG+vEimGneXdNl4nzV5voziDYmkYyJ57XaZwH+jPU9PBtrvVLN2UUl+sBpgl+7HC+2P5BSnKyc1ByeV944X9W8byQtO6YXDp55j3BTX1nj5WUcppPtnplZolbz8wm+8lpfgu5qTsiIaeN+J4gl4otejQ6bAtNGLMHyFcqA7oW9a6KNLC1ithN14GzYFICF2fl5/vQrFzsjU85X664DE9FGmBfNs8f52i9IZKKNmIE3yiSt+I6pQoe12NkSz0biDT4rPBv5ZR0AbYolKmv/uI9KN+YzkafgKztz/ZNBH8+7DUbMO5OCr7BUvT3Br17eGKrhMXxNEl/DhpFJNh7HSTHLRnd+CpKNmQoRAUBLp1ly4qq87KldeHqX99Hmaz7Tayrva/pDSdmcpOyuVfmt2Yg1tnc6RS/fsvkVgRo/l/M7EGyEOiWjMPmk10PVCblhexrYCS9n/Cdf9PrOGwPmY9ciwLCRTNuaxxJwJatsRxBLWu/ceS2LjJet9OUvei2+7VOW/K56vB5LwNWcAVx8izKtHF/B55zsisKvUdyBXMSvUT9/IbHAr3H5MyaSAtU6tuYyt+G2zbfArbWn78zHKNsLl0GyEeacS7hX+VGE+eaE5J0yXpRslO9NTxGY6sg/FBsZ8UEjL/ley9/kKzBsLNPIFBg2Prf3plMqx9KzV6X86zsp8GskI5NvIlrxCetDWSaG+uCOSLoc5aaculnNH/Opvo8INpJ6l/uAW90BJvNrxMJiV6yGJwNvQzG9Rn4S0qNMaPmbR1mPk9QSFZis/YY9ZjPhQIphI7kQgOrlr1H6Gx1l0euVzfasZIep2cbUUtBwm5Q0WzfJbDrxJ5KNy1nhOy87FdWS7Q9weFiAq/sKfYxyLkhdyqJYPhbbgkoa2g84nPr0StKtHGoWjbIIG9bw37kxYcNMVvuapcLw6dNO2UZ9leFrUNJ7CJQu18rT5l6g2rgnFIEz4KX6EmXodn5nDEk3JQFrK9+rhkrwxsX3yjJ9D2yyOMewFixRgTzD10AI0F2Hvly7EUeVmy83r3c/lPyvVbbPBP5X+BQWEOv+iDGvJbBtrsyDcKMk4zBnhK9SDic816IW4qnOReDovWkXHg564At8Gxmx9kbdquE58wlUHLWcsTbdRqvOmi5qD1ezZtnYhxmJQkJAplg10rKcyUv/SG7N5yQBdBtZ3MF2EY6l3cT7IPf1vnhYHt9Gdyp8qeer9bcNoduwrlHuK1WABQoguiLeZBv1WYeQbbTBhx2yTYaubfhwsiOQT8k4dWm6jVthjEQVqIv28OwwI7XFt0ayQ0ARD1eKblqWV35vEIksRAf2Nj5YGLfHV/jrpK5qFOFGy28V8yNVb9TuhoRN+UZxCmMXh46+9xs+SMVL33xVma8FFRg3kj3AQ/D5PHhmyubzlNWBCRNuhKcBaEG4Mdr2Gsn/qrW7bWfzma+svkfQaGGoFnSsex4OlvnAqObbTKoGuwWwg0CBVODbGMvRNfg2pj9BVDYEhw3SkvzOmJgkP87JJny4Xd6ycb7Sn/BvukC6oWmh3Ih/UHdQbsQRPhbQj1D5HEGOr0FcabMdP5wGMXFuJO20n687PzN8Bd9xqF6S7m8QOWEvyo1wazqqYT/n620CkxxWx4hFu5GBX79R0274iwsF2o1sB8JT3HxSub6/YWR01moDYvaWxbgRdph131bmK2O3TP51e7XuMZjr9HakYXk+wNrKfGWI1fcRkaw/mVEg3MjgBhkKEW5kMzVWlQg3+irDm1yZr0yMc+OpWtlu/1SEG1kQbj0AV9Tr+9tKfI05/MBOfMFrlpF9yvVtuOylFuDxNJLL5tuqlkgPPId0U7aRnDCMq9xXUt4zN4FXVrr5CgWOjovltqrmY6rvJ2oEz4y9LxGdzVy+ZIMGT/Fth40cDNj0K5toumzK5s9++sRfVC7v6ANeL9OzFT/Mr4L5ztT4E9Pa8PO+vsxtB8ylD5BtnBdug23j+r8I7h44n9vG9uGjCMfv7/Btws/7SKmv3hwK3oc2Ok8DB6y60BmmjUyT8sLJfKV61aCi2pjJBV0RFL4yzLOYaqO6XPwAW3wNuxy1KR/ntI75DStfMkkCddW4Ofgvmo3el8Mnxx/3qm5VO3BEbesj8Wz8Ch+Poobh4UOYVh7RxnE3FEQbSUXBXAkb+mNXBaKNpDpkanzdK0v3faPHvsUSOW647WGeYv3qeMPxd5Vr9zUEDosVuZg26v1KMwLihnxBsBwTHE671IeKjVvWjgRDdjpmKbaNdGHAf9g28gNHvpGmexq89Fm5yxbHIj3ywI6/iZz/J6upsh3FtTE+f2qsHKW+RuneGI3mejgIipk2PrOaFDFt3CpLCwRd/vJyEdVGfqrBAiFX8jPzk4tcsT3trhxK5qfbm0/nW5oucTu9m27ks0Ql85+zKAfn67id9hA07O0ABqLauN9f9CDU8L2jIdiqtXmLipw3DBBv/Fdw6CjuUdxwnt/0VXB4v8OOwF0eXjW+7nVcjGWqjddpANPG/cCe74y5vfyAk287eZcIt449rwPHId+RLybZKK/BRiQboX2Gr4CGr9ivgWTjfkjboyoUU7u3rzJe1WxxRRwb2VKGXXVetSF6/yxSnwfSkyKSjawSxX86dHuZ/6OYZWObHqic5S/B+ycTBWzFtyBXaM0TUdR425c46vUKv80lwQeaqOTH4BpVG6Z65D4KGtbyeuuPoobVn68uYtnI6I+fmI8q51eWfYkw9s1t252FKzxT4Qolu1jNJBthAPiSo876DtdPEclGHiXvTjyuRCM0xaEWxqukj3v16X1GqXz454YDIofdrjccG7Wac7PAsVGry8tFsZExtzv3+pmbt8AXWsWwkd8PVLSnwrDxPnGaXMBybWFXzV5qqWSTcNTvo+WvoHHrR83Gh2+bXL/QBBKLSsjS+SSZk5/y5jvS3EfQlR+yt4BMx/IQuFsfZn82C/ozttrB9eOzKIMSxgrBRpxHPv6YxesKAlamqlrDdhklkUi9Ek2tH33KFTu6wq6RzUQ6oBV2jSQFZiL1lRVs/8h1O3z7q36UGk4OUxXHRrhXRJyrODbS7a4eZNn29ONUJrv8dvxdZeCjfirZGBWy+/o1h4u6b9zE1d6ppagfPtdXvSYKHIZf9XlU0jIVR7VCs5H5fW8LKKIW2ZD6NdQWcftkthXfB123FZKN/G4ZuwCKqEGhVRXJRvqgnkl3c8eyQFHDcCZ4xXhcjZK4+hg2WvMLVLlGbrr677//A5QedtA=","seeds_used":{"choose":[[64000,64511],[64900,64907]],"report":[10000,12047],"blindness":[64900,64902]},"not_done":["no Solidity, no gas measurement; ops are replica counts","no engine run (replica only)","cap16 cannot hold the minimal 22-op path under these op counts; a cheaper cap16 form would need caching (e.g. gamma stored with the fee), not tested","grid uses ulp of x0/y0 only (no min over preimages); its rare binade-edge misses are inside the measured hits-kept share"]}