{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, exact-arithmetic tell and U1 tables that QLX5 and this replica are built on. Replica: Cython build (recipe of A/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b, A/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760) of the port A/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4; blend recipe A/2fd80ecb44fa33a216dd5f234c55cdab5de1dc77473a8a72ff66368b85cd13f8; QLX5 A/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15.","item":"c4-search-a/clip-blend-window","where":"replica_choose","metric":"replica edge of candidate (qlxblend, joint knobs) minus unchanged QLX5 edge, same seed; Cython replica bit-exact to engine on the audit rows","headline_arm":{"split_window":9,"parameters":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":9},"config_sha256":"7683348d0ed61566e1607c68ea9e32e1d3e24675681f8c40b727307338250647","note":"DIAGNOSTIC ONLY: the longest-running arm, stopped by futility at n=896 on choose seeds; nothing was selected"},"gain_vs_base":0.012436593181235292,"se":0.007808052133237553,"n":896,"seeds":[64000,64895],"advance":false,"advance_reason":"Every arm stopped (cumulative mean+2se<0.03) before completing 1,024 choose seeds; no survivor, so no freeze and no report on 10000..12047 (rule: no survivor means no report). Smoke passed but is irrelevant to advance.","source_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","source_hash_scope":"sha256 of qlxblend.py = qlxcore.py (701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00) + blend diff of A/2fd80ecb (patched_sha256 there equals this). Compiled split qlxhot.py of it: a9f17431619696afe3d313b5f8b9d305770412dc25a900589b7aaed0c9be86e1. QLX5 contract source unchanged base: e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40; Solidity sha of the headline arm (split_window=9) recipe applied: 86d4d57d248ed241d0d0e674a17f4d1a966ccd06a88440e3417a290f1b265373","config_sha256":"7683348d0ed61566e1607c68ea9e32e1d3e24675681f8c40b727307338250647","config_sha256_encoding":"sha256(json.dumps({'module':'qlxblend','knobs':KNOBS}, sort_keys=True, separators=(',',':'))); value above is the headline arm split_window=9","selected_parameters":null,"freeze_record":null,"freeze_record_status":"not created: no arm completed 1,024 choose seeds","report":null,"report_note":"not run: no survivor. Report seeds 10000..12047 untouched.","statistics":{"implementation":"kit score.summarize (score.py sha256 7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43)","difference":"candidate edge - unchanged QLX5 edge, same seed","se":"stdev(ddof=1)/sqrt(n)","round_size":128,"stop":"per arm: stop iff cumulative mean+2se<0.03, or all paired differences exactly 0 (no-effect); none hit the no-effect stop","choose":[64000,65023],"report":[10000,12047],"arms_in_grid_order":[9,13,17,25],"run_mode":"all live arms evaluated on the same 128 seeds per round; base QLX5 edges computed once per seed and shared"},"arms":[{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","parameters":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":9},"config_sha256":"7683348d0ed61566e1607c68ea9e32e1d3e24675681f8c40b727307338250647","status":"stopped (diagnostic, not selected)","stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","round_count":7,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.028067775029295472,"se":0.01965671094482584,"upper_2se":0.06738119691894714,"sum_diff":3.5926752037498204,"sum_squared_diff":6.381933851070274,"nonzero_diffs":128,"stopped":false,"wall_s":31.36},{"round":2,"n":256,"seeds":[64128,64255],"gain_vs_base":0.04105129471544533,"se":0.014122677411396141,"upper_2se":0.06929664953823761,"sum_diff":10.509131447154004,"sum_squared_diff":13.451510579388376,"nonzero_diffs":256,"stopped":false,"wall_s":31.03},{"round":3,"n":384,"seeds":[64256,64383],"gain_vs_base":0.03765695762876146,"se":0.01189840264215589,"upper_2se":0.06145376291307324,"sum_diff":14.4602717294444,"sum_squared_diff":21.365804881692128,"nonzero_diffs":384,"stopped":false,"wall_s":27.75},{"round":4,"n":512,"seeds":[64384,64511],"gain_vs_base":0.022868254842301705,"se":0.010067109502506106,"upper_2se":0.04300247384731391,"sum_diff":11.708546479258473,"sum_squared_diff":26.78329220011354,"nonzero_diffs":512,"stopped":false,"wall_s":27.59},{"round":5,"n":640,"seeds":[64512,64639],"gain_vs_base":0.021978629536027493,"se":0.008877453861230624,"upper_2se":0.039733537258488744,"sum_diff":14.066322903057596,"sum_squared_diff":32.538963639374025,"nonzero_diffs":640,"stopped":false,"wall_s":27.71},{"round":6,"n":768,"seeds":[64640,64767],"gain_vs_base":0.01416363678483464,"se":0.008239489534489653,"upper_2se":0.030642615853813948,"sum_diff":10.877673050753003,"sum_squared_diff":40.14460081237133,"nonzero_diffs":768,"stopped":false,"wall_s":27.31},{"round":7,"n":896,"seeds":[64768,64895],"gain_vs_base":0.012436593181235292,"se":0.007808052133237553,"upper_2se":0.028052697447710398,"sum_diff":11.143187490386822,"sum_squared_diff":49.028179883826056,"nonzero_diffs":896,"stopped":true,"wall_s":7.9}],"paired_moments":{"n":896,"mean_diff":0.012436593181235292,"se":0.007808052133237553,"worst5":[{"seed":64801,"diff":-1.325140765149058},{"seed":64732,"diff":-1.0178982342083032},{"seed":64351,"diff":-0.9443300128730243},{"seed":64338,"diff":-0.9088128728138827},{"seed":64159,"diff":-0.8257217239938655}],"sum_diff":11.143187490386822,"sum_squared_diff":49.028179883826056,"mean_base":534.2516995273488,"mean_candidate":534.26413612053,"sum_base":478689.5227765045,"sum_candidate":478700.6659639949,"nonzero_diffs":896,"seeds":[64000,64895]},"split_counter_deltas_vs_QLX5_summed":{"d_tries":13217,"d_hits":17674,"d_calls":-12338},"blend_activation_smoke_10010512_10010515":[2630,1679,1386,1916]},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","parameters":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":13},"config_sha256":"a646d8f1f4e7017e94d6a1966d8d9e1e90da5f4188a4f61866d49521bccfba54","status":"stopped (diagnostic, not selected)","stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","round_count":6,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.026300600460198442,"se":0.019098007684483744,"upper_2se":0.06449661582916594,"sum_diff":3.3664768589054006,"sum_squared_diff":6.017654600854426,"nonzero_diffs":128,"stopped":false,"wall_s":31.36},{"round":2,"n":256,"seeds":[64128,64255],"gain_vs_base":0.039393386137006825,"se":0.01392168408446782,"upper_2se":0.06723675430594246,"sum_diff":10.084706851073747,"sum_squared_diff":13.049402175234329,"nonzero_diffs":256,"stopped":false,"wall_s":31.03},{"round":3,"n":384,"seeds":[64256,64383],"gain_vs_base":0.036477369366398595,"se":0.011901128850774819,"upper_2se":0.06027962706794823,"sum_diff":14.007309836697061,"sum_squared_diff":21.341767253876707,"nonzero_diffs":384,"stopped":false,"wall_s":27.75},{"round":4,"n":512,"seeds":[64384,64511],"gain_vs_base":0.021116762910635356,"se":0.009986110973621946,"upper_2se":0.04108898485787925,"sum_diff":10.811782610245302,"sum_squared_diff":26.31888404517004,"nonzero_diffs":512,"stopped":false,"wall_s":27.59},{"round":5,"n":640,"seeds":[64512,64639],"gain_vs_base":0.020301382446717576,"se":0.008798997511506939,"upper_2se":0.03789937746973145,"sum_diff":12.992884765899248,"sum_squared_diff":31.926420726300027,"nonzero_diffs":640,"stopped":false,"wall_s":27.71},{"round":6,"n":768,"seeds":[64640,64767],"gain_vs_base":0.012469742051104108,"se":0.008208449150627694,"upper_2se":0.028886640352359494,"sum_diff":9.576761895247955,"sum_squared_diff":39.80921041723771,"nonzero_diffs":768,"stopped":true,"wall_s":27.31}],"paired_moments":{"n":768,"mean_diff":0.012469742051104108,"se":0.008208449150627694,"worst5":[{"seed":64732,"diff":-1.03593168525407},{"seed":64351,"diff":-0.9459936622872647},{"seed":64338,"diff":-0.9045947386958915},{"seed":64159,"diff":-0.8257217239938655},{"seed":64752,"diff":-0.6146513861860967}],"sum_diff":9.576761895247955,"sum_squared_diff":39.80921041723771,"mean_base":532.2626820947827,"mean_candidate":532.2751518368339,"sum_base":408777.73984879314,"sum_candidate":408787.3166106884,"nonzero_diffs":768,"seeds":[64000,64767]},"split_counter_deltas_vs_QLX5_summed":{"d_tries":15879,"d_hits":17832,"d_calls":-10438},"blend_activation_smoke_10010512_10010515":[2630,1679,1386,1916]},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","parameters":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":17},"config_sha256":"936881240c965a8805bd12fdc8cfd9998b12f316c93129d6ee8416b6ed7d4292","status":"stopped (diagnostic, not selected)","stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","round_count":6,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.026406667212931723,"se":0.019148844009194026,"upper_2se":0.06470435523131977,"sum_diff":3.3800534032552605,"sum_squared_diff":6.049977201680278,"nonzero_diffs":128,"stopped":false,"wall_s":31.36},{"round":2,"n":256,"seeds":[64128,64255],"gain_vs_base":0.03928654487939842,"se":0.013938542538459647,"upper_2se":0.06716362995631772,"sum_diff":10.057355489125996,"sum_squared_diff":13.07791090512781,"nonzero_diffs":256,"stopped":false,"wall_s":31.03},{"round":3,"n":384,"seeds":[64256,64383],"gain_vs_base":0.037664002191863055,"se":0.011699706244641278,"upper_2se":0.06106341468114561,"sum_diff":14.462976841675413,"sum_squared_diff":20.676408729554932,"nonzero_diffs":384,"stopped":false,"wall_s":27.76},{"round":4,"n":512,"seeds":[64384,64511],"gain_vs_base":0.021366115017432907,"se":0.009857911490157334,"upper_2se":0.04108193799774758,"sum_diff":10.939450888925649,"sum_squared_diff":25.658717672064874,"nonzero_diffs":512,"stopped":false,"wall_s":27.59},{"round":5,"n":640,"seeds":[64512,64639],"gain_vs_base":0.020611472433053456,"se":0.008697810187423735,"upper_2se":0.038007092807900926,"sum_diff":13.191342357154213,"sum_squared_diff":31.210494854356106,"nonzero_diffs":640,"stopped":false,"wall_s":27.71},{"round":6,"n":768,"seeds":[64640,64767],"gain_vs_base":0.01292829748021925,"se":0.008132579291520775,"upper_2se":0.0291934560632608,"sum_diff":9.928932464808383,"sum_squared_diff":39.087848222400225,"nonzero_diffs":768,"stopped":true,"wall_s":27.31}],"paired_moments":{"n":768,"mean_diff":0.01292829748021925,"se":0.008132579291520775,"worst5":[{"seed":64732,"diff":-1.03593168525407},{"seed":64338,"diff":-0.9045947386958915},{"seed":64159,"diff":-0.8257217239938655},{"seed":64752,"diff":-0.6146513861860967},{"seed":64206,"diff":-0.5875386130580864}],"sum_diff":9.928932464808383,"sum_squared_diff":39.087848222400225,"mean_base":532.2626820947827,"mean_candidate":532.275610392263,"sum_base":408777.73984879314,"sum_candidate":408787.668781258,"nonzero_diffs":768,"seeds":[64000,64767]},"split_counter_deltas_vs_QLX5_summed":{"d_tries":16382,"d_hits":18322,"d_calls":-10380},"blend_activation_smoke_10010512_10010515":[2630,1679,1385,1916]},{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","parameters":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":25},"config_sha256":"6716ab2615da8e5577fd52633f3b8052c1c90283ed2bb8ec8273e53417739f0e","status":"stopped (diagnostic, not selected)","stopped":true,"completed":false,"stop_reason":"mean+2se<0.03","round_count":6,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"gain_vs_base":0.026406667212931723,"se":0.019148844009194026,"upper_2se":0.06470435523131977,"sum_diff":3.3800534032552605,"sum_squared_diff":6.049977201680278,"nonzero_diffs":128,"stopped":false,"wall_s":31.36},{"round":2,"n":256,"seeds":[64128,64255],"gain_vs_base":0.03912201035430907,"se":0.013939675953279997,"upper_2se":0.06700136226086906,"sum_diff":10.015234650703121,"sum_squared_diff":13.076670961456147,"nonzero_diffs":256,"stopped":false,"wall_s":31.03},{"round":3,"n":384,"seeds":[64256,64383],"gain_vs_base":0.03722893168342475,"se":0.011763047948353861,"upper_2se":0.06075502758013247,"sum_diff":14.295909766435102,"sum_squared_diff":20.882470701618534,"nonzero_diffs":384,"stopped":false,"wall_s":27.76},{"round":4,"n":512,"seeds":[64384,64511],"gain_vs_base":0.021136224226411482,"se":0.009895146064802213,"upper_2se":0.04092651635601591,"sum_diff":10.821746803922679,"sum_squared_diff":25.846144444680185,"nonzero_diffs":512,"stopped":false,"wall_s":27.59},{"round":5,"n":640,"seeds":[64512,64639],"gain_vs_base":0.020409055548381527,"se":0.008717668116080343,"upper_2se":0.03784439178054221,"sum_diff":13.061795550964177,"sum_squared_diff":31.346613590754586,"nonzero_diffs":640,"stopped":false,"wall_s":27.71},{"round":6,"n":768,"seeds":[64640,64767],"gain_vs_base":0.01266440485315908,"se":0.008150044522385668,"upper_2se":0.02896449389793042,"sum_diff":9.726262927226173,"sum_squared_diff":39.25017697929444,"nonzero_diffs":768,"stopped":true,"wall_s":27.31}],"paired_moments":{"n":768,"mean_diff":0.01266440485315908,"se":0.008150044522385668,"worst5":[{"seed":64732,"diff":-1.03593168525407},{"seed":64338,"diff":-1.0150095627975588},{"seed":64159,"diff":-0.8257217239938655},{"seed":64752,"diff":-0.6146513861860967},{"seed":64206,"diff":-0.5875386130580864}],"sum_diff":9.726262927226173,"sum_squared_diff":39.25017697929444,"mean_base":532.2626820947827,"mean_candidate":532.2753464996359,"sum_base":408777.73984879314,"sum_candidate":408787.46611172037,"nonzero_diffs":768,"seeds":[64000,64767]},"split_counter_deltas_vs_QLX5_summed":{"d_tries":16502,"d_hits":18445,"d_calls":-10377},"blend_activation_smoke_10010512_10010515":[2630,1679,1385,1916]}],"stop_summary":[{"split_window":9,"stopped_after_round":7,"n":896,"mean":0.012436593181235292,"se":0.007808052133237553},{"split_window":13,"stopped_after_round":6,"n":768,"mean":0.012469742051104108,"se":0.008208449150627694},{"split_window":17,"stopped_after_round":6,"n":768,"mean":0.01292829748021925,"se":0.008132579291520775},{"split_window":25,"stopped_after_round":6,"n":768,"mean":0.01266440485315908,"se":0.008150044522385668}],"reading":"All four arms tracked each other closely (rounds 1-3 near +0.037..+0.041 at n<=384, then decayed to about +0.012..+0.013). split_window has little effect once the clip/blend/pull changes are on: arms 13/17/25 differ from 9 by under 0.001 mean; edges of 17 and 25 were identical on round 1. Best observed n=896 mean +0.0124 (se 0.0078) is well under +0.03.","pairs":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","encoding":"base64(zlib(bytes)); bytes are big-endian IEEE-754 doubles: [base QLX5 edges seeds 64000..64895 (896)] [cand split_window=9 (896)] then split_window=13, 17, 25 (768 each, seeds 64000..64767) each XOR-ed bytewise against the previous arm candidate (9, 13, 17) on the same seed. Unrounded; decoder reproduces every stored pair exactly (verified)","decoder_python":"import json,zlib,base64,struct\nR=json.load(open('result.json'));b=zlib.decompress(base64.b64decode(R['pairs']['data']))\nu=lambda o,n:list(struct.unpack('>%dd'%n,b[8*o:8*(o+n)]))\nx=lambda o,ref:[struct.unpack('>d',bytes(p^q for p,q in zip(b[8*(o+i):8*(o+i+1)],struct.pack('>d',r))))[0] for i,r in enumerate(ref)]\nbase=u(0,896);c9=u(896,896);c13=x(1792,c9[:768]);c17=x(2560,c13);c25=x(3328,c17)\npairs={w:[(64000+i,c[i]-base[i]) for i in range(len(c))] for w,c in ((9,c9),(13,c13),(17,c17),(25,c25))}","data":"eNrsuHVUVVG7L0yXKIhIKJIqHRKCUg+gohiAKIIBKCEhXbv32kEKSClSFlIioiAhopSBIAYGIioISBmUQQjcuc8Yd5w9xvV63vecc++53xnf/mfuNdeca9bz/GICaY0FVSyOAITFUpUdUzRg6vOIXwnKBSy5nIZXnwGajvye4JJ6oIWsMKu3UAO8VuqRj/wjQD/9ZMkB+A1RpIOeHHfOA92CfJE8Pg00RvTrvFo/wNSLF3NPGwP9xBXpLJNngKd7VmeViwCV3HkxxaQeSJqVL71kJIFQpbwx/7kjkE0vh89nXwBad7xoH84ecH3rJEJoN4DRJ19m+3srUCMJffHLY4H2JF2dIh0MMZuMjn6UsAXCCT7CUccOoGkc+7lJugoiQa7D7+t7IJ5bZZc3/BpI/uJqH/dGA81I1WqFHQCd23/buj3jwHjiny1U0wr4dYnV8o7ngebG01jx5Rkw06/ajEw9Avq1D7VFJ/iApDugzEcWAmpZ2KFz55wgYogwy+2ZAZj7tMqElDFEmL6fK3fPB4aU86GjskeA/vhanJHnBqB4DCl7yQkCRf/GoR4nAOximTiHBwmId1+uxnFmAya5VsZWzgCYgpZh6/pTgH5b3b1zzAHIomdFec13Au5nsX7YxwKIWZqaMHrpG8SILPcK+vgLiOmL95slXgD145OYh+rtwHjKa97yaR1gc2++1Bb9AtrMAdmeTE9gfn5SdqNMGOgzhV8/M+uBkWNttDtNE6Jjo+ufn1gErDLqEZOXB2Je1YTe/GEE2P1Xm5W+ZwFm9kyv444M0G6TPlhRrgG1dibU614fMBPxZmXLGYAtf3mJ9LwQmCf0AsrunQFs4+Yv9t4ngbwhIyTKVxEolxLFstsigBzinh3axgCiLr4l+UArMCsSTk7N7QXicf4kPdUxwNMm2hVPnwacXCz/lxVEoIbZMdwd1IDwObb0+49XQCNV1+UWfgUGx1fs3NndwAigHPatMAYK8Ud44+UfwKB/Uk++HQhMrR7xb5U/gcYZ7GnafR+ixCrPc4xRgV4kmqlA/AlMs5yLCVVDwBgOUfmdSQMsqI8ZslEEaBXS84VGVCDjcrvL1pcB5koqXbHvExCdO6+rrU2GKB2FWI2HhoDXDmm6VPMcCOHqvOO3NAEvRBi4tzwKaIppracclwE9rI949rYlUFbLr7V7ZwG0wjVV40Qi0Lvtdj+6dB7wT15kfwnfDBSSUU8zORAYxl+ERcrXAU08pMnaORXwo9NqXXkrAFNIeWw7WIa+o2Y+7ITiIqB4+53Vd4E81/ddyG8OKKN6UqejPwM98MgL/7pIIJlMWj7tewHEn4lqqwlJQO0Xja7ZFQWM1jidWWFlYBL2nVc99wRIZK8txE/1QClzMnCeug8En+nE4d2GQL9cuFVQ+zcwAqNskm+h9uoUsTCRHiA4DVjh/Vaic8VbbHeuBobTyRShpItA61wx4jBkBtjCr/N6r8uAmlZrMbmuHAive9zE96D6EZkvse7fAT+hIdETnQ7Y4xfypPd7ATv6PPbQ3c1A1b0x9c64FygbXHOvkNcCVc9qxbmIEaB0y2tqX24EzJ9vQTLzJ+AGztfJ/jwHWGBY1RHDFMC2MM5vFusHal3PUFJsCDCVYuY7Gx4Bw/2r2/H3B4HUH7O0iJSO1tGkWU15DrRAukfF2s/AKJggOJkeB+r5G+07kzMB/8gnimKN8phnrvzWXrRPS/w3WFSoAtU2oa2GTAdaY0J6ErcWYMEKR48/w0OUoEjbdFQQYLqEk1kDDUA3qJKu3X8bsNWqm7sa+yHK50Xd8x9zwMDPFW/AUSBs/tzmhMazQBdfXbm5cDnQz5g2pNsuAj3j0ANP3XEg7T6/YelaX2Au2CVSx6SANLCdb3JzM9Af+PZ8l9UGKvcBDz6VMiCpDtlUaxUA6cXaDk6zVUDbzTO4WG8CWH6NBGmhHnBf1v6KzHUGoljK5529skAiqrgLhS4F2gqX1YubvgOpqOhQkcQxoMytqLvUNwiku8PLfC/9BLqf2Y/emXGgrdNIoI75AmNrXHbJUU5geuLtujfsAPr0j4uqXCxcj29RAk6gnbZ8Ozn2BMXTi9cS7lsBS20ZHL4dCWGDM6OnBGjAKNsipP9IDLAi4YN9a60B27FpmOMVJ9D1C583hscBc3/LrEHdPqANUkhvgpcC3tOkQ7ZWAUj0FPfL/c8holKbgq+9CJQlB5YPfD4F5OzqTsN7P4C8pf1K+ugYxKzZfIX2oxMYOxVakj73ACPyS2SgYTNQeMFfN7kYKKnzGg278IDxR3A4dasC/SU+vqHaHahacmNTkdJAuPLtMrfAUaBvGs32W1ELtJyjK/1XGgDFJO6BdV8XRHXqKMMRDSBec5k5IYAB0V+j7eHKLIgqEeevCh4DMn9/5IHjVoClvHl7TO0NEHgMhl8VjgFtmw9HSsNHwPhuLHuGkwS6ougul2olIBafvWfUqwnkvBMhtQ99ANecvZbacAqwaWJMN8cxoItxvRJLLASa1c+R9Rb+EFY28aXKzARINQGl2tbXgWbgdAuEtwBD2kSV9swZGB8UDfnOFQH29NOEzEANUAbuxEVLTQJtjdkx2S3ewDQxZy6uQ9/dbCndVEYHTOKsrkXSZ4jaoRE1H/8T8JeNfsq0mwLuZtSHslkUX/l7VQ6rPgaavPPFrS/3A9np8KP3ZgSIjL8k7s/VBnS3lzU6A/PAcP7VZ7SoCVjHplB7Qw/A6sNPz1CPAkm0XDt0AzqvZo/e4lMrgK5ad+k+2RAoNamR7z6HAd0w9Ubt2cdAn9W83zw5DNE87hMvlK9BNN8mrWzBl4Cdtv96B+UJo9fy5TvXGIjayFVY6K4M5Jz8xF9VfUDQF65s5+KCGGvLzinHScB4xO7boXyjefw2y5IaA4rj/NBTBopfAfXmC50TQA73f6Ozhg8Y9SHpr3+HA/bG585161og31s1J13AA0yZ50nav7YB5WzWdr3X80BbNC+4/u07EFuZhM1PbIEW7TReYPoZKPW4HcHi+4DxTXLI7LUexIk11C1T8IXIxSVtS++idg+cvoo86IcIBaFdJ/NuAYO2dNNlU2MgJj/pczO/CZSpM6pvJTmAoVjr8CJGGhi1Vc+5Q18BPbKrRHRxAKKIqaJ95/iBtjYtMvCeCjBu9a4cq74LuA2Ke+tO1wBzj++5N/lJgLUE5km4ngQ83+KSDy3BQNx/5uAPo/2Af1FfWHv7HjoH8ZcHJ1yAYcsh8WbnXcBMPESidN8BddR2j8ZKJ8AaOtYbC7wDhpdWrNqjb0Aaaeq5VGoCdJ5gq35VChBl1nWJ3CkA5sSSbQIyCD/K2mItR92B8dnrascKcWDYbDkw2fUW6FJbfAbqdgCmLLMoeZUKET4/s7YNJAKN+2u+68FaIOxVGVnYoA9RruZH9szcAYqx3cHHEwgXH9Ku3lzPAbSjlXNr1euAeHvnhvGbtUDJXD078q0MGMtbxkfepwLTBSzxFT+AqWr61Cj/LOKxn1vnDeWBcU//x3RZEUS9+nZrzb4oIE3S39eJjQAmTkx8uFYRyOKSFj+32gH1tquBwSgT8JV9WqK2VUAoVC4zPZOD8r6P58uhHqBr0xU/GKB5/Ojel6sfDLSk5tVJbw0hPOANueP3XmB0fzbeUtMOzAsq4ge+xUNk/zUrmb0IZ6wS76c49APNxW3x81FvwKgqE+SGGKAzzFeOh1IRD7z+5sgHwDhpzvGkIAsi9PRSNuRUAjN50dfzrRbSN+bTeVGJQFlOsomMXQrMRs6OBwfeATl1arO2byZgs72xck+zgJ67mf9VkT1QZYRNzxe4QXRNw/mS38eAujaLepUiC/TS+6e3LykB7KxB2NqXD4G64OX4lE8OaFes1B9YzQIm82oq+mIV0OTMimYDwhAv6F0KuxcK1JbyPMXNnkC9+5E3eksm0Oy0LsUfLAMm8/iQoKMLYDYHm68YrAFamJ6h4Xgayt8nTrGKayGK23Twjkk8kKxyTe8ceAEEi0rZrhXvABuw3XK5MRVoHYFbHjdzA7lZ7IGk4iWI4TDiLRPiBobdTNG2n0eAIXim5EPXWaTPQ0/e8Eb7mP3hjuxVNC6u7M0XccR7Ezc8ZzXOA+lOrsKoyBCQbecbK8ZjgOCs3BG0/z0wNoyTT6zPAtIHFd6wFWgfb76J73q5GQgSXByHz5wD+qkayegDjoCLFt99qusL4C1L/Ic0EZ7HeBU1KGUC/Vjimh+HULxY9FapfF1EPmDQhPhbE6Kq7v86GId47K1d04eiOiCJW1qMGkgBwwfX9HtZMdBTZwc2KQQB1VTfYU3KBcC1TisvKzwB9JUHjESv5QAj2b3yV/YxIDat2DnUcQjoHCqtdnVmwHDc8WZ9ZxwQVy5xnvrgDsT7xauoPaYIf5+Vlr/JA7Lq7q5L+XrAyNfiTJFIRjoq9/BNjVaEvxXfA1SrgCl0nG86GcVJsaIslnQZcL0dQaVjC0Dq7g7x7ZxCeKnbeKyqFUgb7+7KbKsG5pr6DwQTBSB6rcg5GIbmp/Gbl3n6MNAkzpBamiyAIZxnXiLWBjT/hx1Be5AO9V2/stKxEaJftI8dUk5FurfJbtRvJ9AFa0/rchEBeyDm3xQaAZGrlYp79FcBti5N1jg4BMWVqbp70ENgur4/bZ7wDaL13/4cMgmAyG3Tq/WvPQKyEv9n9W1Ij9219yyN0Uc+rTSB7yrirczj+/tu5QFGwAYoQfpAEpYYmgkpA2LnqT05U7eBGvr91DTvBqCmpoSrvusF5mTw8zL5gwjHi84H+TlCVJ7/2L6PzkDeE6Eyf1wTGFuIliUJwsCw5CoI+FYHEQzXqOrncihPRSWX+r0GrGb+7BvHbGD4njozMikHJBsRKJPSgsiI3OMXtpAA02lMOB0eAbT3pcXPTBCu9qt572usAaqyfpcpbRqo+gw+XJ0yMMSTTBxI5YDts/F1rPICmv2G7+K4FUA+MLMGJ4hwU070cc+FcCBYd7++GYx0OA8tvkC5BK2r41FPJA3oXstUtDciHPNrrExXbwLaTZrkPvwLpOtHdAsX54C83XX4ZVMBED803Mh12gW4WenLkysNgXQ7W0ou2BMYr4dkdp7QAty9fQzPuWSgh6Z6uHNoIh0wKOWhLwKUT0JLd4SJAflnS7u3iiYQileLdOlnA+0SXkKLsAwIj0lSX3bmIr074Ffx/gaQy3CmnafR/vQk1OQWuwCxL25qRi0U6b579MvxbsDkqE5+X0SHqKDN5J6GJqR75x4sZnkDw97/5Y2DU4Avkfd+npgNzG8mSlXeSkDlVUoLkkD6v5tnIoqPC8jXp5cdbbQFEifjjlyxPFCki/XouQi37pu1qTG8AGsm71UQOAhYziP3/XTkszQVPpe6ngamA1dq65F+wLoGtV5UFwFzq4WKuq8cMFf3B+cnIH+Zsc5ytY8eECra1twJvYx0ZnFA9m1foM5lB1+2YgI9osrjWkkc0NV47xyoSQbiZHp33e5lQGquOBe1Ww3h8bDwqW23gL7t2TynUjRgWw913Xh6D0h6JjQDLsTPB3pDFBeICD85p2aJ+4Bgl7fiyWNFwEryf4moLAVibcx8i44JyjOTYxJ1jyF8vkva3gLhUX2R7cnoV0BeWLr2zIqPQO47ofpu2AGibCTO3O5DfqQ4nG9+ZyFgUqcmGuIMgPD78OZXQyjfk37h9GNuonysUOW0eA+Up3vX1YytBKLmzA2XghqIcvp+0Kt7A1AGE6V3J0wD4cJx51HbB0DndlrH900daLy9i5pdW4HKb2T0MPkxMGc+KCQI5gIjFR6uDUoCGlmCT3z5T2DsNg0ihMwA1rRUS8JnD0Q+cDZ7XkEGXKazSXkrios1H7yjrVyA4poVnTv6AbBt+Kc6SjJAt5asjJEvB9JXCb8Q2AEE76b7CvNXgXGH+GsxgB+YfNdNUrs8IDQuaubFtykgRxTfDNmZD5TY8Q82neEQxbfbaGrDUyA03xe5vngJmHoB5dQIdyBoWdBuKngBQ7PlJj8d6ZudC+o32pBOmb0lYIZ9Bmxiv49x2l4g8ZWqMxwQbp753r2OkgC0ydAPmp8jgHEz7HKIMR3IgUFvewXzITrA5pRFlw1ghifnz3VrASFEoHnQRgZImoR0CdUIiIoYmvL9uhyiZKJ/rxnaBNhizrUEcxQnTnbbLOc6gHCwjVsq3grpkd7cYlekw9tn0o69rUL5V6EiaecFlEd37e2OPAHarKXmmyLke98MrJRcgXzO/TtVNxs6kB9xXm28UAGYr/rEpQUUN7g74zlfBSE8Q4hZABRgJnz9LbaqE2g6I+9eS9wEatM+5q0nZ1H7WK4WX+TXUo0/+swfRj6e+l3UBukro9zeo5EGKD5c2jmk24HOa01YVuIE0c9XHvBZ+xXI+8QvvnAtAVq53NNHAbuBCDpPM25zAfXoNfzyTU+Acv/goq1SBzCImo/UEpYAY+PeG3MrHCF6S1+UntI+oP941i38GuVXc2/6r300wJcyn+d3RQN9d59XuSXSRbiwdT1pTUA/t/G7W9wnIHy8coCy8iNQHDgK03bMAXaoq43+8BPQV3h2iGt/hZgcTpInymP6tshVZhQnoF++wfWzBuFpmdSBppXWSBeJ6G1rRritva9P/tcewH+tibPccQrwz/webY97CjRqSov9pm9A1N5ZrSHvgfTZuwDrr6MQ6akwfG8xDWjOdfca7DKQ7vXHPpYTgfq0SvFlbSHgkzSSVLNOAMHRZLuiIBdE5520tneNBTyHuWeZkBbQvGOJbo8HgaqQt70bSwbq1qb1TMmPEB0pPqGlJgOMG7t1W2xbgfB5W/+lc4ZAsFUSbu7xBDJMduna3AEsNPfX+hWrARsL2o8/EAz4SEXBzg4uIKpH3lPv4wFKwpZ7HkYSQMtf3EBg+XNSgjt+ohXxxZB8JtdzYBx/PZq7OgjoF7NO/LhZBrFNTEsl3XD0XmNmp5kSRHa6v+VYXQ64faFBd4akgW6beEV8Aul3d+9Oq+x0ILurNLd7IP7jkbAcK0T8Vz4pGHgexYVxiqyc4nHA1o/o7JVG+vKkUuGr+mmIPKXrEZEyAqT2DpJAxkEgaUtVxkV7Ao1/IcXQ0A9wvg0l8vtWIdzoD1Q8Fo944Ued/JAZRHs437f+inij3qesdvI70PxS678EaQFZOEYv5+Qk0J98eRLrXQw0rSDN1+EWEFF/nqlspAZRaQnfSnBpQLVZmdNMPIBwpfFo46NKILQleLz9egkIue9tFF8iH3f4TMfYGk7AzKsDzDYuAE3mgqHgKjcgjV5/ZpSE9NaB3QUBLzUAi9C9anZfA6iLwbIWBkh3zUc7VPFLAX3vj+9qlrpAVpgaejfIBJJOVfPn6x+B+rvqnfOFN4jHzT/jdt0E/P6djR7xMYBL4yTzMo8C3ms79cCuJ0D6fltTZ6sg0JTDmpe/9QXS69iM414o79ysMy6MhUMcZ84w9QEv4GRUD2RtMQJSeojJ/jsCQMBrnXiguBKiL9wanYxeDbS5IEmv915AilD6tNRvP2Cw9Li6Fg8QxzLsT8sxgbImIF2a0gd0j5ae40oTQOp5XJiTaAS06g5sdZM70Huu5KotPwZMc23u1b8rgd7delvivDryyWarzyfZAUl2vFRY8RPQeluPThaeBPoN56A61zTAPHp741ymgaa4zPt2XRYQGbWGl2XTgbqBKB8akof0vONrgZHrELdHebeM4wGg9bv1eGqgc4vNjT2pKwp0mafGCvLzgLnOy6+1XoLy643jBvdRoPKpmbhWOADtosKdGckywMSedOefeAVUBw2c8BjyDea26/Me7gMK/bZHaa8WEO1mtzSrIX27N07Z6ZAtELcV5Zafmwdml1lKhPxGYC4RzoqzLQDs41Dvw2Uo73iEXiTdsoKII6+1lH42AMHj28y2tGNACX6lo36wDRg/zHbYIp9K3H/X7+7muwivzt8K6EW6W/b11NDTUqS/AzfqRFkCVqwsc2OVJPJzS/XULoYCU3lcKfeXBOBSTbbqXpAHpm5szduESiCLCGhlB+8Dsqxeseqt60ClpKyNh+cQrR5/tMMB8WLNeOnh7Z1ANlniveoW8sOG1z8O3fGCqGiNyVShWeRf1O+JH0U4kB9zTGCFLhDy5q5HMVsBl55mHvc5HfnfZ+v8uJB+NjhX5vk+HZjyd2zvL/OAaO2r9RcaES7+chHN/D0KxAKBb/UItxn0ZfaMawPIXyqdXJB6Cbj3mTP3tiMd2aQoL0BQBeYP5SLfF0jHZoYwj/5wBdrKxkluoauA7eru49iP5tcddl3Zay/Qr3C97Ms+DFElo2/OTZkBPufwuQ+/6wGzCv8qqrIbaJZ7C8g7GyFy+KViZwnSdUcFtEvbjSDqs76g2W5RIGv6lhlZhEO02BznDIwB5hiZVvdNGihYUHO2Fh8ws2Ya9r0HiJrveV7MewCwDYzxz+3TQP6oEScX1QnEBwoK4mYCgJ0xSJaKpKD4iGaSPu0ELL10q9bhXRAbvj5RiH4JaGefObv3+QLDz+8LNZkTmD2pL104tICxOeiVSxU6T7PpU63fEI8WDeYMt/0Gmv4B5qvGK0D/+OvRtno/wMgWusl7goBxbHpV3rpOIMln8Ruf5gda+3X/K3SUd/XKOV0CvyBKI7ewd0cw0McdpXcoNSBdlRmoKBME0Y2b9X7mdQEpcOLEAP8IUGzsBfnPI763ezMlEDsM+ArB2ZDRLIjC5223mUG4/KjTNDvEHpgDVuLv3iF9JLF+o7vdVsQHbZY7PiMfxd2eMHgI4fJSY4wr5zdEHvHqP1kfBySF6A1ZvTNAvvEup3sqA2jJH38nZZkB7Zj7let7ogGP29VYVrcNSCIrH9vJSaH3B3EnhJDuP/vxUsY84lXO1lc/Tg0Drb68enFNFJA1hnh4SuqB2VcZKlAmA5EhS2ZbPiO8JTgHvefURnlaUW7F/QCovs0q1Mn9QLph8GPsKJqn6Qf3Og0aUB4sc38amACUg6FeHWfDUNyb/eq5Z4Z8K2mslF8OqGkedZsG3iD8fqZJuxSEdLvmLX/RXUDx2eQXvqAO9JZhrFSJDkwpBxm3buRH4/Pb0g02ALOu3i3w1QHkT/f2hX0eAJLMxfhmY+RrOD+VetdIANNALKi6pRXplLqFhUhtoG0Q6m/PRX4z/IPcSRkfwKsVGa0rFwD66bP8ZWKIL/ATHEZ5j4Funncu3BbxPi3mbem1dMDUPV3z1TuB7p/F9SZcHfDRxyduNOCAShWcTU9VBpJ6UNT6kVtAuK60XaJwDMjbqnCf5WnIrysupa6/hnzxcal1R1uA0c8ZtxvxMJV0YO+n2o0obuIFNVr7IWbTbtcrAdeB4Lf8nenF08j3nxg/1h8LkabfBcVOKgHxghWPvVIRiptVWIv3FNAMbUK6/OhA50lNqV+DdEJ78XTfBW20nmnwaLAAmnvdqx1SucBMH02SEKsBelmGLnm9PeKlZlyBNAD12r7LUevXQ8Qg2TjIHvmMY2MfM49HQYRJSINyliri/3OPflYjv9Lqsqx76hdQPH/c3DlSAhT9ymQL1j3ypWdY3qWfQKx3Ws6UIqC4vLmf2nsUmIL6YVmnNYB+a31FsMQowrvkiuJ4OuCmBEING9dCzJKUV9vv3IeYZdkOiws5QMzYsVukdA6oPSeWbiO/BcZTLml/YQ2gcXhVnK1l8dlzcsO+YmB+US496oV4dm7J9kxZTmDkPrBwGFOB6OgRSoImHfno9yB7wxdiXovKMA1Qnj4onX8bjvQdtMaqVBkA7faLyit14Qif16fdMEX8dupsplT/ecQnNJL08gpgBk1XVZ16AdjG2GtJNc+AbGgl3rNoApTzov77FElADjF3uTTzEvmec1eiVvIAs3xUoHHHHiB6Chlcfs0B+JigHKrxdsCtmfbqiiwAasi1jrt8BJSnGpE3XyKfQ5j0uq66CRgcjyYMphKBERBw85oA4hmK1WCD6k6Ewz1F3D/JwFS1elmYzwAal5/eNpIlRIn3zedrI54tdDbnC3gCTIvQYNLNpcAYDVyiQEJ4Hn7+2Lnau0C7MThamr8NyPiHGaHWgwhfuV5HxuwDoqO/roO5NURp3/bYEYIH/IbNUyIfmch/FCk9a68GvPDS2+NmOUBTuPaO9joC+faf9d7MI0BR0Pt+ee4o0o0JFefWeCIdYGrjzs0H+I6EoV2jlUChTcx5fkJ5t6lnb5L0EcQLP78rl+4A/NhcWl5rFGDyyQNO7s+BIiPY3hSwA5j+fi1YLQUoHEKu5itkgDLSr8kxhXA1xOV9AMEUSMYJK5f2FwLxe2GTWs9XoH7K2y1yLRoYrUy8cJE0MEkGN4T5zIBEqW2AHsT31/W4B57YAcFrt1m/bwjQ8/kXbhy4CYwgfbdSDXVgamLxFbFDQDiwbHxKwBawTcLnNVM2A8MxXtrXZgZoXaXFShaHgMapR3BpfQzU0w/jhfvRvrztJqxr8wFs6HHc06VXAD/NUf6Oifx1+woH58patK+3P30vvYx4WVT/nstpoOjgpvdwZANVe2BK+0k0ULrOjr4uJwF2oh6bUN4PuGGxIe3V+wALSL9zd1EC+dYVWxxKQoB6t9IrOyMAmIp3yg6cqgCGx9OO4uf8QBpcUJng2YbW8aDxPCcn0ALvVXi4FQGjqOuz+UoyUC+u1SGqygH+hSVP+vtWpF92fefqcwYGT8caq4kfQN33sKpvBvFc/cG3xQ+RngrOUpsyHoEowceJvo/JgOm+XeL96SLQDVR226tvBEzGZGNj3FmI8gnkd1uB5oGvMtrJfxnC5vcLzh0UArrYJeXvjyeAnv7pAzF9E9CzKQLmb5cCyW5w+5EIPDAXshazq5cBqa915gthKeIrO97bxiif+XvGZNoSgLTeYcvHcC0gdUQUmpyPAJqtxA2Tw+2AXS5z2MvoBdwXUduV1zYAUXTJau3gMiARA0LMmpFfEek+4D8VDqSCJk3/OFugzPpsnrS7CKSHyldihYqAHqj+7XdwJdDWbv7Jh/wLY9uhjmD9Z8B0NxGX9FAF+sx+tyz9tUDP4C5ZU4LwMr37Rcs75Ddbf5o1FCP/fNrZtFeqBMJGH5p7TM4Do4xqXDRxHbAiztJfpkgfWvds5ddBenhjXIacNC8wnUdS63lRPgyr89YNUAB/LNeXWzkFSPi1oHR9DCKqnu+X8ukFitBFaWV9QSBnDcgce3wAyDZcBRXFIRCzOt6rdTofGDbaHVnDGDAiSdkVP5OBwl+TRRVeDZQzi84Rb54BJpC4dyTnBdA7yQO2h6hA1dwYqcZ4DISS5lEHdwLQjbEC80Qm0M4dJbrWdwPFWHBUg0mFqFeekU4a64F4/dnqLi08EANdOnX2MiGq2JGvL6kEyIIveHTONCMfnyHhZOwABK7sxqcEpPutQWV5BfJzPO+KRHD3ga6wJX8opAuIxTxnAgT1gJxbKlxF/Qa4BzarysulkH6cGWMUugFdXL4m8Tniayvdl1yr70LYlcNpzzW4gVS9xFPNYQzpT7n4QtpaYKx6yTFZhvKuJ+B3TxjSYy9+O90JQPk7nMeVNYbOTyF9a3nLMDDNnPMSneaBvjn/tWHoNcQnnVaba+wgykby5wAgH12wJ45x+CTgbjmOHk5CviB/KJ7HbQT1t/AuszQAssO7H8mB5chfShO8Tb8A/ehQJ4l4BxhOl+3r7v0E7GVs4DbXccAaGpsmFseBJKbpf50rGCitVRfPSW0DuoZs9Qvn+0CpsZuL7z8DdCPXR4Xv6oH+e+X3F+9TIJrfC/+Qzx2ieYmFETjkazPMXD2kvgPj/ZcTbwidEGWYXMC77CCQc272mJwPAoLOCY03A3SI2Xb+UL1QDtrf99fu86Jz827Nc3iAeNSFx01ZqwH53sHC9L5mIOMy8hVVQ4DR0HHgh208YG/2xg/sRd+7d87GgLcfmLKNu9ZwIbzJ6DQ74GCJ9Jkuj/22b0Bs+bjTeoka0JhDiQd3ygLlzjOFR4uywPi6huOIz0OIW65qyj2iAJHzLSMkCsKTB0kyd5d+hwh5vBZD7T0wsF3kCUc5IKb4vRKEW0CZ/OXW04t0iiL1fIIU8j81vX6tiQZAj7TWbyt7CVGExsvZXEFo3z8scx1Efuj2ra+Kt0oAp3dng6YRwl2bUzb2FxD+tXwR7fVwATyPgWwD7h3yTxlKywyPA/5NtFL+D37A6ijDYv6IP2wvWdu6IZwy0/RLS/oF1BHXB92GyYDVe5/BLUU6xMMonC/GAUif399MLBkHOhefN1d1IxDlw7p2XN2G/Ek755zmZSCWmn81m1uJeHHxVHP5KZRnKpxVeveAvlq80XVTJWBqQ6e2nWiDCD/5SouLGOt+4cbe6zlAsDX3Nc5pgKijtHTHUw5AMVp2VuTSWZZ+ODTv54l0VHZg46tgINaU3bfWVwPKWcKjDhccMEQVfzy9xQHMI9mVXpuQLlWJn9eNPQAkA7L2I41xYLS4lgZqHIOoJ8X4gCNqQBrfLbnfZRbFterHOYHrQBZt8Tm7agyodZIBA0dWAb5KxMpjyR0gXBbaffLlF6DqiMRJV/oCXWdxX0/3Z+TPxp5Lp9YDLcnA5MP4YQg/cXDF3FV1YHw4ZuQ5ewuYZ7MkQ+U0ILKPd/Ww1AwwtgaP62ssAs31Xoqgqz5g1FtmfHutgM5YFy9J+oD8E97iOFcMMBI9dX1uD0GEgfqwpO1VYKZ6FSn8sgZm5dnBKz2FQBHPjkr3RvUNMesel5kDOfXwVzu/OsBmE9IUWfdr50LerZMtAaqU9vakghaIrpVPUhYIAqr67poTDwqAfs3ocZXcZeTLajr6+w2AutjmWaxhi/xVvvDXfUGAyVICt3qhfZYbn772+xhg+VeONV9QA+qD7ySZPSJAvXNq5fjiOaDZNx/AyV4BZtTlFvELroDtvDjNjEI6N6wmgh7kBHTt/if3F7UgijvdOdSyHkiW9ozDqjNAsBQ9EnNsC2CfUt3aCTFAey7b+bBvFsh38zrjcLEQw/H7/lbN18Cw+4UzP50CDIEHXknGNKBGfnyTxFOIfC/hvUFtETCJCaqJBziANDGR4XkY6f06P2KE9Bog79mo/VBTDQjOHedMfugAQyeb59am10D6MEWOE0oG5g3x4KSiY0CQbvLO5kP6NVlr+bO7ywBH/7z/0FElwFsK0y6+CwdanMUyY5MnQHd7ExCqgQMSlGTOP6YiH9C9plGkCqJuOrtcA5R3nVvdeBzbgSQuvMo4eREYPj1X94yj/MysyBXTWAtU0+R5mv8I4NoSmt9sDQO6xKXlC192AePUb3PJsO9ArNtZdbLyENB5mU5eM4bA2HfDrWRiEIji+IfkPn2k598OHMk8g+I0c0Tv1l3k++gXy+wPAuNSkXJukiFghjklZ80qgXql8cSpdgAmv8VmfQ0hoBQZvVvtoQ64954G3D9IQOr+pvxlyTREc/NIrrPlRHmx9uR5+bXAlNuWsFZtHRC9J35W5E0DXVO2K+foGqBJWkoHRVgCYxkpw2fVRaCdcOmtjiMCxX0yj3w0F6Jf3j6RccgOGENmiWOYK9D5Jq+HbEVxfH9kRsTYGSJlMqPfHLYAbN3BZGHET5jMR+kiX4RHLnuvxRtvhmh9Rs36ehGItB5XKRjeDOT1VmNHrEQAu3sx7sFtxFdvC4kF42lAy/w9JLcM+QJCoUjKBVsg8Zr3Ft7eBMTXzT2rpb8BNcInYP/5E0A9E3098ps3MKfc+mq/Ih0pEHRo8nk8RF0et0qaRvHlwLTX/vUJ5eFIk2H4NDAssa/9p29DRNSlT7hjT1CeTryvPl4KWBVj22MZHmD4hZ0c7EVxtfNwB9mMD/nrqH0xNbuQXttU5/R+EGjvhGJJZGHAPqaJuTRaAFWpufS5JzrvDRfarTn8gbHiM213XBFgDmPjdC/EB3bY5nI5PzQPkQzeL0NAX+Mg+Z1RDoRt/efCk5Cf5/D+9S1bHoidJ5IdV0gA3fPMVK2CDjB9hc+ESPgDrcLzk5L6T6CJl6w7LOyAdMzTELHnk0DsifstQnUF3LTX18ebkJ+8lfJte5skMF7NffVu2wC4e5e+jxcj3gw5JrpD/TLyqQSFrrkQpPevnmmZ6wPy9EShinANEK4YBgcOI/1w0TZF8pwpEJ70m2bs/QW04GOLDWHtQL6RYK28JgCw3nDFzJxsIPbahFy6XAJ0P74f7iKiwOSibZ25vwKiAm4OtBxFetx+Oa9Vbx/ik7Mn5hQjAZ9PUphWrgbmmPzhy4Y9QBUu6d/RfhIYb89pCu2OAfJ1Q1tnpiw63wteeYeQHpGirjSKSQLq/cLulLSbgDU7d2yYSgMsd8Mw915fwDR37DI/gnDAtszvRfIQYJ0iS6TfINzd0vlwNu8O4ufBzYsD1kDNmlh8YXsbCOVrI9aavQcs5co3xpcGoM58znSV3Ap0HBHKjwQhvXEqR8wC+frJ0S5Pm/dAunf0sUmrHzDiv61xURcE+la/3iVeJwCz6jwV/ZAMJD2sq3MkAyiHVItaTAWAViJilxSB9tHWuphj1SvArkosUv3EgXj3842ElD5gyoR8MX3EB+GLuj4BOl1Aanrqc/mDHZAXLt2i+qcCefDwATltC4jaOaNHShMFakHC4EXjPMAkGwKIwjxAWLzQL5crCthJDG8lvR1o/gPReoJrgPJCXO8XSRCI2obrBQMnIcopPcr33UOgDFQmKP5aCYTcWyEd80ZIn4SGDzQoIx/74+oR7+9A5TWLzha8AMyZUJLL6DAwkj3Nn5TYAA1vvDalGukM+z0HqCd0AGuaPzEbthcim71z5dX8AZfRnTiXxw80WTKtS7UVKEfMNZN/GCB9zuN+j0gDuvXPDk/k80hfy6yVotD4vnIqLx8hHGkK0LuAbwQmr6zlPeQXQ+MKh6V5VZHO6v2wfuwBUOJn9w4/fIJ80ZdDS9YbAeHeqKzFEiVg6hYWJDLQs/b7k5tfrgeG9hq7z4kxgNsjyXASTEW852nG7d0N2ATnmmBeHyDxezYNjAIQM2sj2s1zgTZpUv3AIRgYlZmvjqkUAjno8lTMOn6IDtSUINp4IfxsWbKeyx4IQQaeDp+7gaSumVl6eAdEhaeVVf9Aele+YydfAMJ5DkXmKzdloDsf5jO74wqEg+EeU0rXgOZmeOxHNgdgT7cL1OieRHHjlOQnh3Rs25MtQ769QJtThZHlHcjHOuzJ2/kaxXEMY0amEcgZz5OV1j4HzIt/am438rl4/3XqqwIhPDfhl7TQC2AmCN/dJaQJtA3UjGhBIlAb392qrEU+3jejc7NvF/IN1oee/vAFZrCcn3C+KTCMZZTGNiUClji4aqa5Auj8HwXsvz2F6A5Sr3ztKyDvCwwUe4vitDx8eP3CDSCaJns9IqwAqutg98ZpI6A85rx/+JEYMAjB+wXOXwDGxpOxcyi/orfQzDZ4It32023hwOFLwGx6ozZ4sBHwxZkdenskgb57ncTGM4pAj6gMftf/AOg5wieYokJA+MjnHGdVDRTHKuJC2ghgzn58dfRzyKcE3bCpaIeY3Icl1m3cKK/Wlou2Iv9YsHKTo9t9lDcXvJd6awGdWpVX3hkPZO1nm8x/vwL89zW77TUeAv5pkX3WLAVoFKm9PwK2AFH1R4tQwDTC3Z7as49KIdLLdt9px8dAO/hRaMHWD+nesdOyb+SA2nHo5I0UY8AnnVoIqlsNBKdnyT8m+yH68jNvuawcwC1YCMdSM5EfOMDXroV8npIcYbEEA+p2jpH+N1YQHdZvFP6yFRjXKxr8L1GAMOq/zvtDABDsvwhtDkfzNBOO45FFeRAemvB0rwZg4y0KvpRuwIdMFazY/wCIKhzqySH5QImZci5XKABawRR2p7Ma6Pj0F2U5ZsCQEEuf6hIAxvFkKcnPaF8uXd/g2tcPsfUnYrWbfRCfRFieOVYBkS/wqy5K3gOcc67jtOdnoNu/mDukvhQwD14d3wfrgOxSVpYn/xJo3DYbzq7WhKiKrSr9KzYBttnJRNV8DLC1wxcK9Owh4qR0+DdnH4hM4giutc4H0qOtRuf9lICk6QQGu4UQf2obiYTpAi7AsDxurwjyRV+yTzxMAkKbj0BXqhxEu3ekO/kfB0JjZ+P7PRxA83O5YSFqBWSBS+ea1qI8aattEr9SCDQdw+ldMRYQcXej21SKO0SlVds+v8cJ1D2Ssnt8dCHy4Ua7qEdPgPAszSLVzQ8I58mJ1LdXgHFk5OKRhUXATCndrTH5CG9OqRmsIgBpVMnssOMWIO3rmij3DwQs0rLNvVYFMA6flY3xs0Cfa1XB5a0Cul0vr+kyayDLxTMfJ59AeL1Jc41xMFDnc1QyReWR3v4u1BTJDXiHFdMXBUwAl3lZvvqxM+DdnTY+4qtE/mCiT9PpE9DWf7dUKbgApPe7BDLE/AE7ptVwc1knxC4EKgvfugC4Jb38E1lfgZScuLT4jTLK40GP+Qg+iM5tHVhlIga0mQtLBqT4gBRx8HT6gjdgMLf7sfsGII7bNTAMCUCRd5qZXViC+L5tldm3HjTORtvPdQ+BdmtTQMi1QqC/u2vjrI/0vkkpXo/DBehvp2c1+j2A0liRNbggCaS13vOhWZNA650PSd4lB/TKZRbb2zsRrvzcpXof+dk1Sz84x+YAkfpwmObqAlTd2eDLlHSgPnT6uNS7F+Ls60NS3tUBrS9e/rREBNDjyVVnq24DfVXbbxw4Anaks1QiVBCo2o8dXtzoACqHwdTFlFag5TV1upTxACZCKZfYexWd5+hqHZwk0EwXR0/LuwMlNptLRuUZEO1CznYXrAC6Q3lAuLEsEHdsYu77tASYXXWrVnVsAaYwMWRzPtJ3/RKH7l2sBiofrjdzZwBEuDxuPrFuAQjeVxblHayAEqQZUn0excXUyKqPF9qA6Cy89Jct8peE3R6LuYi/1jC2tR3WBkbg1Yyp+4cBK247fou5A6i36qa2dvEBU1n5AY/cXsClBjKW3NMEpo4+7hymBeQVx4OXJXEDWTYvcv/0V6Bi1hE7e69AtJrcVRmGPjCqN+lFLqYA2UQjtiZ/EqhGMQ2vzWQgKnrD9ZS1CN87+od5xZBeKnS3rDmgBYR8wTuJD7MBd1qwYutH5HtHraVaN3EBTZ2nbVFiBzAV91j/vuAA0ToOO1aeXgbY9AWZWsOPQLwUHH80Ca2PMS2VW4fOY0q3nMcd+ZJ3bmPKHhmANRxqlA9/Dszv7Rmd/GeBcSZrxdF73UgPvlqtVFyN/Jf3ernLVkD9SI94snUS6FcTL5TiwiGqsKRV5lY94C+a2KiJfwHM4oSl1RPkXy0Wsu2DTSFyaL/vbRsaYEeVqzfcNYCoUb0lFc0XgKxJVMpzC4Dolc3OqcYkwPZvvzefkAgUOt+MzrgJMM/Pcpw5jXiUM2xxfcpVwHRmboZcPQTk/m9uOa9qgdhgN6dhtBmwjFYXRy90rjsVO7Mk+ABLH/x1XswdYiPDDzoHMoB29pPKu0PFwPA+E6S9QhKYfd5fpJvcgGE4nv34mBAwNp1OSc7ZCrQrbzb68asCbaPrKp/vJkAf4DDyovQChu2pGrg+CAzPg/ytGwuBJJ/5SH27FNCerlU4WILyo8Hz1/gBAYjS3L+p/9F2oH/buVdZ5RNgUnZisypo/vdEVe/WHAGS/2eB/rtbgbLDtXDwTAFgtjzv36WVAr6SMGGYWQpRxAVPh7gZhGttt8iKGcDsly0KywwHTLzZ5qMlCQjfg7lJJ5Gf45jmHXd7BPSlR35sN/eASFf92rS9yUCSm11j99IdyBWWnRtHR4CWelS6ygCdn7viGp8b6wGP93iDjakBSeA1KfHtOqCdMv2x9Gwp0M6EBdkVrgTa4l7MMcoIaPVPftdvJAJZ3fGKVzIHMAf438eU3oTIE+oi7U3Ix+MaSp2d7gJVgGt5+pNWoAaqeCTqLQLpWlOcpHAaECy2qm7YrgSUew9XG9p2AeXg8H1K0j6g4rftTm2KBPoZ+6cPA1OBmuJg1mGCxtMs192agHTGF+dmV+MnQPF98y14FeL5RxOike+sgSkZuuaneyDSyWazVQIMYN52ljxqeR8Y+dnT7XuOc3BwqBuM+/WgUrjMfjGM419/7WVP5oM4ODhDI1Rzr3P873+Ci1DYiUo+87Ube1EpWt2nV4r6DdxZxm3M1m5p26/zKqiUnT846oDKw7/Szu9FpeFnweXWqFTJfRPCNr655H69gyboOwvTTT6zfxk/1MMwRe5fH7nLTiy+1Ed/WtJyXkmgUkZdQl2Ug0MkQGFvuyIHB78q3dt6N6teYiCmGZVKHMpb1qJykLbg95jtu/oteQWASqfvA+WX0DweCAmoxPzra842uWQjKbb2S+YdFzG2eRSOmOlOoXblXlkN9WztxPD14/KsUsGAI/8P65nn+NrOjfp12/E9mGENZJS1Kod1PiXJt/vY2k12fDPuZ+2bNd5BizXg1KXON2zv+c8RWwTYnoO3fT/5DpUrlTO/uP1lP0n3J4I02Z657Z9veP2/NuMcbjJv3MxWcSbrRNsCqn9y+XDKOrb6I/njXwio/mI6V9F3tv4Gm664JqLPj4/vd5hGzwUiS1VY+30h9tLhFX+Y18YjJP8b7M+8rzxaODi43I/dupL0l/VY+EZcPcA2Lu4GfKSx/ph4BbxCJddD1QkUF5zzpi5dp9CzgJ3i+gts/XVaFqbzUOnTWBdc9pdxhH3d361C33F3jbWRZ6uXOHu6exkqeZ9fr2hmq3ecm52icnDI9VFruofZN3ZrYMVZjn/zx/90VSfnS5R2x2Vmx9n3W3BF3lFWvnLfsHkd+7/241Zw4NvnzFbBK/H2ThorfyO1Fc+g4TMf3mAG/aHfW3q4gtYf4kAox8XoEPrzbvHmr4soz+Y3vOCNRs9y6kdS1rA1zNX0i0E4IftmT1s5K/5O4qXqitjeG6WculeM+pd0Hu/3ZQFAk5/qETTuXUnTJg80js5YtT35T+tZlxt86H+/T5wLr9t1jP+ykZzEyieUv7xWOyx65jRbxYpYkScVqHSuM8XK//Ld/a5e721Q+WD1vDIf67n45O8cdjzMDAxCuMQRcb/vpgEaR9PY/EUdq/R7IG+G6lM/4861scdXoqyBDAuXpl5e7merfySreRDtl9ys/c7FEI5//vc90PeMxl/WP+N3Ok+VlQfvC3KIqBzZs0nSFJVPbFZFDaHzmuxs2TT/l+9vK/QhfmGdb+/j3w2oXJbe9+wKKu+GuL9dj0rVk+XEBPbADjU64sV2vjZE7RXs6zq3PqSAtY9H/JhKrH09lBZEecL2Hrf9gdquv+SNzM1Uoyy2iqANVAf0Pbntx4j+91n50OJ4ZfhPPQ8deynLKstjmYiXODYtMajw+UMzeKavfxiVJWWhq1g8I3CVzn+RfbwxgWgWn6nxXpOWZe8oq3CSlS+G20LDVrF45+WWJvbvq3jVFyC+5ORY+LywFD3vqhYxY61jQTtAh4XPPClClKds7cll8YP7UfvZqg82Q3+Yp88hUQGTP9SL58RSWTyzYunSWlY/vo6guGvoHLYPxh58wdaOSLIXu8b2LDM7t8UclUJ7XNrVUGkstYXezvaeUuv+ye4P8fVoKKzfjK1CtF68K5DFp0uNHyIc5uyknTuC1sc9c/7OsjhUb2ZVQnJB5fJ6ix9sebu0upI3+8pf4vh1vM411r7azu3fw9IHnHERd9H6uC9uDztq9iceJjkLq7PPv49/FzuOdOycrDj+T+RZ3bWiamX2CZGrDLf8E/07v2kXIH0ix31ffDdLN3nVr+9IZuHkzaWpvX9Yr/qI7OBV1r4Jn8bO/OF7V4tH01h4AmWOhedZFa0iw46sjnt+ZyO+5linut28Az3aH+23Cv3XbnL6jbkHpv8yz+qNXfPFLL2xPpvCyu/kof2ag+y87cO5S/Yv/Vd75vT+RKVi2wcZxMscbofqDP+wPg6JVfVBSO/w9+p/odeygEJN5l/y7n/iRpedwTYutvaHkz/FuKL13KxXDQ1g4WnNlsU6tvej4u1erHw6pmXCh3iZQ3r2TcBdVNqX0jxvovKKX+XIM5ZuE+j2ZsW3/tNzWqie++xw5nk/tu+oL+Zt+wv+cAzLmyl+/QfOe53TzvN1f3lvvv6DHWtcT6PQGNZ++T770sfLOj/BSDEWntdc5Z46yGpoYLKPXQcuC3Rfx4POsQbzOKWNngPyXyqx9LP5jTNWqD/3t9tL696iMnPgFP0nW78mvf1Jf+JZab1nC//C++3vltxmndvH9Wos/ZL/kzOXhEp3Z7obS0+0++zx82Drp9j3MyjtXx/Niq0yONnPr9Qnv4OTncd3p23kYY13KK7F4A/zWLtRIZqV3xsiFXcS/u3tXdasZbGVpV+H9l545f+Xhmp90nwb//Jep2v5PJvu5/g8ZKq3yPa8UipyEMUJl2/Y1js8/1otEhezvXMPS3+eWeHAHj8C+17VrvxDPtfb9BtuR3+skv3eyrL7nZorcWMs/DcviqCjdhlRgVfG/9B/an/J7CbU/nz1nEowiz9slGWWs+L4lE4RK+5VJIj7Sv+yzoafhk//pnd4sov2CrHw9ehPXcQLnA3Hmnaz9Dq36WNXIXbfcjZejYW3EHo6tAu1my6Ze8iu96VDJAgsfSWpKiGf+De9HdIgJszimVwR7S4WbwlruaH1c/tUziiyf4/H7+uVDyxez3DeH8CmAxYfE/NZ5y/5fHnEnj+d+5j38yVs+3fz172vLN7hI56lVqEy08QihN0n6d30vqbLGmffj3us/FvqYXtKnMWLOCkhdrwc1iZKsebHL3jtOovvBcwm/Vn6SjA3x4bdvwXEOzSi/px5L70TRP9wnoOHniehek7aTmYvwm/ZBxxnLNj963KVV2IL7Hy2Kl+Xtf7VDQaJf8KVJRKGfJf+CT4Smr9rw9oPztgL2BEW7ilZymezC/Np99PsfnU98wc98F/wP0yU5XvJ/SoSrH0RrejY/fgv43D1z6q6cPy7f8LOyiukE/6iC1aNdqQt+cML4tcvFqx1veRt+RLPIr4glTNIz/N/3LXL7TLCD7XnO/MjUf3FVE259Wz9pHxz9FpZH97s2J+KShfz5RYsveYlv+YgWx5wdaUncbHiRHD3My6WH+J6sSqCjSe59SbuRLD0bdkvZVWzf3y9IitJR96ycJbPcqEWnTc3Jd9yuxNLTypaCwb+oYO6yLmDB9n9zeXf21h6O1XnZGDYXwZa4jd8hDUvyY+WugwWjow+udvCoht5OTmEP9z5Z8yJGSx9itufa8O6RyqaSWLdxzi4ONkZsvb35bHCL//Aej5cVPx0l21fPsRtkv5Tvh47s+M0S+dwvv9th/iLwyP1SinyxxwJBh3To6hUuP34Nosf+BceOLH0uCb+1W/6H77DFz1HYvkUdc16N3s03lc1mXssv6HLbJWIQXCyo+hzGyte15Qd/zXzp3gVClvu8Ce+Pqt+i6WXuQX3b2DpbvN3L7oy2PBIp8Zt3XJ2HS7XXMB+v7Lkjs3h5j98V5fSMlfD9nyi8NLke9b8uVrlT/wl7uUFW3s+oj8fTpL3sXTD8tzsdNF/IMAsud9aXefgWLw/7X+NhVe6NomtkWzvTT4Vtb1njy/rHes0/kWQat9m+RkuDfl4W3Yi9vPFdbGvu6VNDelWzuVHdJ1zWbohRseQ/d5lmfR6abb7GRFGeKIUe35I+fOfY/m4BwPd1Swe5E2WPcviTULbkT2se74l6f7/Ek/a+NK9rHiVttTmtfrDOmOyJkXV/nTfGSdhJ8bCA9zJxj/Fz6aRuTOs+OOYWvfDiJVHXwP5WPdB/D6rZ3Ds+6+nSGH5l7V+dy+ooG35aa84wYozm+X4e+z3IiKfnCrY9A7nM52ueXY9vXpQfxcL1wV1KgdZ9X2/ah1Z89b9MNDEwg/V4zr17Dym2+Sy/g/3KBxGJZ2JUyy9ojHNz/J9y/Nn74Sz9vP5hU8tf7h3eT9/cVyYPaAeD1my8ky/I2dyEi3X15jPm/2ecUBeuXo127NpleYatvskfrHMn3XsfkvsnH17IUtP3LznyMLNC92GM6z2RmOlzj9QOXN4et6etT+1r342sPWLvzNiyn5fEKGZ5PMnvuPhNXZg6TS+t5r6rPs/p0siDaz7S4tTTaJoH+W43mgYs+E199P4RZ0S9Oe6lZ109L+dJtzFWyjn2PKCs2XHErcPf2iotWVz3lp2H239LZqFTwX8Q40x/wTRWRoezPLi4Fy8v12Fdb3A/2j/wmlW/xavtEglFF9brkp0sOU354eM1yYn/h2E+vZ5Qc35f6K9dsKn6rZ/hKifq29j+RH/J+eX30Pl7GeOgsMc/3U/Psc9lfZ/eb/pEecsF8d/+x+n56aSTy4c///vf+LUhwwJgvP/xf0XaIx/PP5fsVBszbvy/4Jx97u2hC/+P3Tg3F9O86v/O/pZXX5wKOoP9YyAV5mX/ztlhJltY/p/4fACx1qaUtjjp4temvKf+H1JyvVNpP+GQLb8MNat9Zf3BP+N1Up/u3/0rezC/T+8vqdJWRIs3a/cfCj5Dns+715emfoHnB3Zt4dW+I/gIv32W7V/x3yMa58vk/iTjxZWUvjTfbro9Kvxor98jxe7ZV/yH8G1nhdCVv+J+y01+Mh/3/93wp+nQCH7DO2/bnwubeJO+38kjniuhsm++79Id1+llOvT/iNfINte8v9PmMeV0L3lPP+APprbYp3Cx37f4Htpd+8fGsokhlyDP9R/EhmQSvhP3EAR0PP6h3xRxE2zDf8OPVhWc5iq89+Af1xwm+CfwZ/BnWWr1v8f0NdHxl/a1v0DDRmm07H3/l0jqNGz/g/M+3hbQHrvPySQJN9r/ScOfDH57sX/DN43fBCl3/Ef6C+4VMbnnzkP6ZgkhzP/gfHqUg8Xi7E9L/ukJTX3H8C34SU5IZv/L+ab/a3J2P+xbmSBVHG/V/iK8bzLq5DGtxmfnbSpWjqA5UXl8cf7bgPrzYgdshIBAzAO8jH5Gso80dorm1uPkWCApsmWuaEkqL937sKZM0NoXOQlP+P5NIZRAAM2nNfYH9KigSa7Vhdbe0VO/M8RfO1vx4Xva1nxlacWP9djmxcof6rugNS/t3/SuqhMEkl+3yoNOeT1f8xsGQVrhmF8yjIuktoF9B77ST/HwdT+YvGIOwmapxXVfGlnMprtRsEoGAVkgA/Bmr6gcU7zZXvNvUio9/s6/kbfoqI7Ju10mupGA/85T7B4KjB8okt+5rk23aoh7AHZvs37vUaz3SigLeD/fjvSYxnl5th/XRf8MoUMjSXTovY8Go0HgkBkuc8ZNWD7uva5aYj0IHBPuvDGM7uoYI6Hw/0ly0ajdxSMgmEJai3WZI2Oe5EO3px23pw4GgyjAA0wSnNzxYwGA6WA+alC49qtFBiQY6p5xHYIelxKWefft0HgDuGUKxNeUjFbTPMKn/eWgYE9ZUK52vxB4D+2jrthVqP5bGgDAMd4KLo="},"parity":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","audit_rows_10010512_10010515":[{"seed":10010512,"engine_hex":"4082f10a711db056","engine_edge_unrounded":"606.1300985640944","control_hex":"0x1.2f10a711db056p+9","control_bits":"4082f10a711db056","control_edge":"606.1300985640944","bits_equal":true,"calls":12227,"csv_calls":12227,"tries":8155,"hits":7255,"csv_tries":8155,"csv_hits":7255},{"seed":10010513,"engine_hex":"407e2c73e5b63867","engine_edge_unrounded":"482.77829524211705","control_hex":"0x1.e2c73e5b63867p+8","control_bits":"407e2c73e5b63867","control_edge":"482.77829524211705","bits_equal":true,"calls":9988,"csv_calls":9988,"tries":6388,"hits":5684,"csv_tries":6388,"csv_hits":5684},{"seed":10010514,"engine_hex":"40794cbf188fe8c4","engine_edge_unrounded":"404.7966542836623","control_hex":"0x1.94cbf188fe8c4p+8","control_bits":"40794cbf188fe8c4","control_edge":"404.7966542836623","bits_equal":true,"calls":9532,"csv_calls":9532,"tries":5838,"hits":5236,"csv_tries":5838,"csv_hits":5236},{"seed":10010515,"engine_hex":"407c241723e5f101","engine_edge_unrounded":"450.2556494695746","control_hex":"0x1.c241723e5f101p+8","control_bits":"407c241723e5f101","control_edge":"450.2556494695746","bits_equal":true,"calls":10484,"csv_calls":10484,"tries":6858,"hits":6117,"csv_tries":6858,"csv_hits":6117}],"audit4_all_equal":true,"control_vs_engine_bits_equal_10010512_10010575":64,"disabled_patch_equals_control":{"seeds":[10010512,10010575],"equal_of_64":64,"compared":"full result dict (edge bits, calls, tries, hits, firsts, arbs, tell_pos, guard, m0): control Cython build default knobs vs blend Cython build default knobs and vs blend build with phase2_blend_L=0"},"audit_source":"A/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4 b2r3/runs/per_seed_512.csv engine_hex/engine_edge_unrounded","rebuilt_hashes":{"control_qlxhot_py":"3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93","control_qlxcore_cy_py":"7e1d0d75ab5f315f03a1f74185aed0351dbed9bc7e871ddf0c5a145bd4d8aa72","control_qlxhot_c":"3ec6cc3133036121548f2321debfe83bba43227206a0f513b1d30cc0e5c64844","blend_qlxhot_py":"a9f17431619696afe3d313b5f8b9d305770412dc25a900589b7aaed0c9be86e1","qlx_tables_json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6","enginecore_f_py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd"}},"smoke":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","passed":true,"checks":["control and disabled-patch parity above","pure-Python qlxblend.py vs its Cython build, 2,000-step runs on 10010512..10010515 for default knobs and every arm: edge bits, fee calls, blend activations, split tries/hits all equal","blend branch activates (ph==2&&syn) on every smoke seed for every arm, 0 times for default knobs","Solidity recipe applied to QLX5 source and compiled with the kit engine compiler (solc 0.8.24, optimizer runs 200, paris)"],"activation_columns":["seed","fee_calls","blend_activations","split_tries","split_hits","edge_unrounded"],"activation":{"control_knobs":[[10010512,12227,0,8155,7255,"606.1300985640944"],[10010513,9988,0,6388,5684,"482.77829524211705"],[10010514,9532,0,5838,5236,"404.7966542836623"],[10010515,10484,0,6858,6117,"450.2556494695746"]],"split_window=9":[[10010512,12222,2630,8167,7274,"606.7251315718265"],[10010513,9982,1679,6414,5722,"482.8648845234082"],[10010514,9509,1386,5859,5275,"405.02377702487473"],[10010515,10483,1916,6885,6143,"450.6935337127339"]],"split_window=13":[[10010512,12222,2630,8170,7277,"606.7251315718265"],[10010513,9982,1679,6425,5734,"482.8640661044699"],[10010514,9509,1386,5864,5280,"405.0147553271401"],[10010515,10483,1916,6887,6144,"450.6935337127339"]],"split_window=17":[[10010512,12222,2630,8170,7277,"606.7251315718265"],[10010513,9982,1679,6425,5734,"482.8640661044699"],[10010514,9508,1385,5866,5269,"405.0254789555762"],[10010515,10483,1916,6887,6144,"450.6935337127339"]],"split_window=25":[[10010512,12222,2630,8170,7277,"606.7251315718265"],[10010513,9982,1679,6425,5734,"482.8640661044699"],[10010514,9508,1385,5866,5269,"405.0254789555762"],[10010515,10483,1916,6887,6144,"450.6935337127339"]]},"py_vs_cython_all_equal":true,"solidity":{"split_window=9":{"source_sha256":"86d4d57d248ed241d0d0e674a17f4d1a966ccd06a88440e3417a290f1b265373","source_characters":47687,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649},"split_window=13":{"source_sha256":"cfdbabdff47e2ae6b67082b46e942b80e550c9e73208e23b35b9d937ac5a5b1f","source_characters":47689,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649},"split_window=17":{"source_sha256":"2fbf377d5513b637850c54f84e1d2367a24f5da06ac350e2de7dc82e7b1b0a72","source_characters":47689,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649},"split_window=25":{"source_sha256":"353a0d40b67c402dc4fd9303cddf607911a93801b4318969e91b1b34481f6bbb","source_characters":47689,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649}},"timeouts":0,"timeout_s_per_job":600},"policy_patch":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","format":"unified diff qlxcore.py -> qlxblend.py (verbatim from A/2fd80ecb policy_patch)","base_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","patched_sha256":"384e917bc63146193c8b3bd2f9b813fb76cf3dbff6329f9e2079c6d9603bbd11","diff_sha256":"ab54f1a127d9bcdc809b470bf4a391f6368cf8a326ec5e58345bb8489ea1f9fb","text":"--- qlxcore.py\n+++ qlxblend.py\n@@ -75,6 +75,7 @@\n     ('table_p1_synced', 1, 'table for phase 1, rival synced'),\n     ('table_p1_stale', 2, 'table for phase 1, rival not synced'),\n     ('table_p2_synced', 3, 'table for phase 2, rival synced'),\n+    ('phase2_blend_L', 0, 'phase-2 synced table3-to-table1 log-fee blend, denominator 10000'),\n     ('table_p2_stale', 4, 'table for phase 2, rival not synced'),\n     ('sd_levels', (0, 4, 8, 12, 16, 20, 26, 34), 'belief sd levels of the tables, bps (table levels)'),\n     ('w_step', 5, 'bps per grid unit of the own-offset and rival-offset axes'),\n@@ -523,8 +524,16 @@\n             tb = (K['table_p1_synced'] if syn else K['table_p1_stale']) if ph == 1 else (K['table_p2_synced'] if syn else K['table_p2_stale'])\n             p2 = self.w2pos(tdiv(w2, st)); nc1 = len(self.T['w2l']) - 1\n         t = self.T['tabs'][tb]\n-        xa = surf(t, pw, p2, k, tt, nc1 - 1, 2 * H - 1) + wq - w\n-        xb = surf(t, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1) + w - wq\n+        xa = surf(t, pw, p2, k, tt, nc1 - 1, 2 * H - 1)\n+        xb = surf(t, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1)\n+        if ph == 2 and syn and K['phase2_blend_L']:\n+            t1 = self.T['tabs'][1]\n+            a1 = surf(t1, pw, p2, k, tt, nc1 - 1, 2 * H - 1)\n+            b1 = surf(t1, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1)\n+            xa += tdiv((a1 - xa) * K['phase2_blend_L'], 10000)\n+            xb += tdiv((b1 - xb) * K['phase2_blend_L'], 10000)\n+        xa += wq - w\n+        xb += w - wq\n         fb = U - exp(tdiv(-xb, 10000)) if xb > 0 else 0\n         fa = U - exp(tdiv(-xa, 10000)) if xa > 0 else 0\n         return clip(fb, 0, K['fee_max']), clip(fa, 0, K['fee_max'])\n"},"configs":{"9":{"module":"qlxblend","policy":"Policy(T, **knobs)","knobs":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":9},"all_other_knobs":"QLX5 defaults","config_sha256":"7683348d0ed61566e1607c68ea9e32e1d3e24675681f8c40b727307338250647"},"13":{"module":"qlxblend","policy":"Policy(T, **knobs)","knobs":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":13},"all_other_knobs":"QLX5 defaults","config_sha256":"a646d8f1f4e7017e94d6a1966d8d9e1e90da5f4188a4f61866d49521bccfba54"},"17":{"module":"qlxblend","policy":"Policy(T, **knobs)","knobs":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":17},"all_other_knobs":"QLX5 defaults","config_sha256":"936881240c965a8805bd12fdc8cfd9998b12f316c93129d6ee8416b6ed7d4292"},"25":{"module":"qlxblend","policy":"Policy(T, **knobs)","knobs":{"phase2_blend_L":5000,"clip_gamma":996750000000000000,"pull_alpha":150000000000000000,"split_nc":5,"cand_gamma":997000000000000000,"split_window":25},"all_other_knobs":"QLX5 defaults","config_sha256":"6716ab2615da8e5577fd52633f3b8052c1c90283ed2bb8ec8273e53417739f0e"}},"solidity_edit_recipe":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","status":"recipe only; compiled locally per arm, not deployed, no gas/engine run","base_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","edits_each_exactly_once":[{"find":"        int256 xa=surf(t,b,pw,p2,k,tt,uint256(nc1)-1)+wq-w;\n        int256 xb=surf(t,b,320*U-pw,nc1*U-p2,k,tt,uint256(nc1)-1)+w-wq;\n","replace":"        int256 xa=surf(t,b,pw,p2,k,tt,uint256(nc1)-1);\n        int256 xb=surf(t,b,320*U-pw,nc1*U-p2,k,tt,uint256(nc1)-1);\n        if(ph==2&&syn){\n            QT memory t1=qt(1);\n            int256 a1=surf(t1,b,pw,p2,k,tt,uint256(nc1)-1);\n            int256 b1=surf(t1,b,320*U-pw,nc1*U-p2,k,tt,uint256(nc1)-1);\n            xa+=(a1-xa)*5000/10000;\n            xb+=(b1-xb)*5000/10000;\n        }\n        xa+=wq-w;\n        xb+=w-wq;\n","knob":"phase2_blend_L=5000 (recipe of A/2fd80ecb, BLEND_NUMERATOR=5000)"},{"find":"r=clip(r,mul(pe,997e15),divi(pe,997e15));","replace":"r=clip(r,mul(pe,99675e13),divi(pe,99675e13));","knob":"clip_gamma=996750000000000000"},{"find":"r=exp(lr+mul(35e16,ln(c)-lr));","replace":"r=exp(lr+mul(15e16,ln(c)-lr));","knob":"pull_alpha=150000000000000000"},{"find":"if(t.timestamp<(s2>>128&M64)+7){","replace":"if(t.timestamp<(s2>>128&M64)+W){","knob":"split_window=W (9,13,17,25)"}],"header_line_inserted_after_pragma":"// clip-blend-window arm split_window=W. Credit Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.","per_arm":{"split_window=9":{"source_sha256":"86d4d57d248ed241d0d0e674a17f4d1a966ccd06a88440e3417a290f1b265373","source_characters":47687,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649},"split_window=13":{"source_sha256":"cfdbabdff47e2ae6b67082b46e942b80e550c9e73208e23b35b9d937ac5a5b1f","source_characters":47689,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649},"split_window=17":{"source_sha256":"2fbf377d5513b637850c54f84e1d2367a24f5da06ac350e2de7dc82e7b1b0a72","source_characters":47689,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649},"split_window=25":{"source_sha256":"353a0d40b67c402dc4fd9303cddf607911a93801b4318969e91b1b34481f6bbb","source_characters":47689,"compile_success":true,"errors":[],"bytecode_bytes":22678,"deployed_bytecode_bytes":22649}},"cand_gamma":"997e15 unchanged (line `int256 c=...997e15...`)","split_nc":"5 unchanged (qHitX(...,m0,5))","limits":{"source_chars_max":47689,"source_limit":50000,"deployed_bytes":22649,"deployed_limit":24576,"afterSwap_peak_gas":"not measured","OOG":"not measured"}},"reproduction":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","workers":8,"steps":["kit: curl -sSL https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz | tar xz -C test/scratch/kitsrc; bash .../setup_fast.sh --platform linux-x86_64 --cache $PWD/test/scratch/cache --scratch $PWD/test/scratch/runtime; . test/scratch/runtime/env.sh","download A/60dc237f..., A/362fb97f..., A/8d540069..., A/1ef80bfb..., A/2fd80ecb... (full hashes in credit) into test/scratch/dl; extract code_zb64 of 60dc237f -> x/port, payload_zb64 of 362fb97f -> x/audit, of 8d540069 -> x/cyp; mktables.py rows -> qlx_tables.json","cython 3.1.4 / setuptools 80.9.0 wheels from files.pythonhosted.org, sha256 equal to the pins in requirements-cython.txt, unzipped into test/scratch/cypkgs","bash x/cyp/cyqlx/cyport/build_cy.sh x/port/qlxcore cyout_ctl cypkgs","blendsrc = copy of x/port/qlxcore with qlxcore.py := patch(policy_patch) (sha 384e917b...); build with mkcy_blend.py (mkcy.py with SRC_SHA set to 384e917b...) -> cyout_blend","python -B cbw/parity.py; python -B cbw/search.py; python -B cbw/smoke.py; python3 -I cbw/pack.py SCRATCH  (spawned Pool(8) per implementation, NUMBA_CACHE_DIR nc_ctl / nc_blend / nc_pyblend2)"],"tools":{"encoding":"base64(zlib(tar)), members cbw/*.py","sha256_tar":"e6a556c93e19a24d4e6f7533ecf092c5fd9a1c9acf18d3b1d7a1bdb88f3c82ab","data":"eNrtXHuXm8ix99/6FJ2zxwE8iAH0GmlCTnZtb9b3xvau7T15KBPCoyVhIWABvezj736rqhsEGs3YeXhzsxbrHUFTXf2qrv5VdTXGpXH5u++93XfcC3n+4LNcprju+jXNXv9wj+mWaVv2A7Z78DNc66L0cij+wZd52VdsVUYr7lijcb83tMfm2LiyB/3hcNx5cL5+8Vfgby+3SyPbf8YycFIPxXy3RgOr+YuXPexbD6yBPerDf2ZvCPPfMs3+A2b+nPM/WoX30n3s/X/p9RV7nPMwKifsjbeP05yp83IVLJNovig1nc2jcrH2jSBdXR7SL73VqltEq9/1ryzbG/au7J5lDe0+twbm0As8q2cFXm8Q9EZXs3HPDMcs5wX38mBxWaTxhodG5yv2xzRf8nzC0oSzaJXFfMWT0iujNGEZz1mReduEhyzL04AXBVPTbcKKfWFkXrlgXhKyFz8+/+Zr9/HXj7976j559kozOsAmzUuWFjpSdp4zh70A9tfsjbzrhHzGoiQqVSzRDaNcZ4EXLDjeapMOg2sep74Xs+c6e0PPaWHwZBPlaTJVjopUboBvnZ+oqxoaUVLwvFRNnVVFaUQg6/hTvAvSnLvBXsf7RVrSW6/AXDLFcN1ZFHPXhQqExRZGQlWMIlU0an4qCwLOibfiavWccy/GG/WIiaYxx2G3qNq1wy47VE103HMjTr3QLT0/5oWqUR++TX3Vkx1WcB7qbJmkfgHUHqXllC9fJ6p4+0Znjx4RiSgn5+U6T1gYBSVROIKMh3Pu5FMFf5UbnS34zplB6aVaJ2oGJKoajlscF0hMN0hd5hGnFLqh/FFJCfgLz1R085pFeSEoxB3m8XKfUvCXuPI4drNUMJb3mD5fe3mIiXTjFotoJhisTExdmVDXqq9cD9p5or90lrhFyTPquGvmewWnjvs+jSPs/gCeqI9mHFoGsgRDkISOKToxiEFc2PcqZpO88cIykR46Np7pbAv/bJ1lC5wUic42DVLiAo3n2F3swmHWNT5TKSLBT9NYzRYoOjaJHfAQv8DcWBpzXqpKtoAa2C5lc/+g6MzUtFYZcrixosa9VRNCKNsPjf+eEsp8PzklUrLzHPl7JGOzKAHJgJwNfliDf5cAQkNcIYR1F8oBwuGONqTL6KXsz0+Q0FtSrX1uEGac8f8Z/x/wvzUeDoyBhdfgjP+/EPyfgZIvPqMJ8BH8D2C/xv8Da0D4f2AOzvj/F4z/21AdQNM6LiOJ9aNkDkCYrbLOd09fPWXOnVDX8wvCsAeIe81en6BHNlrnBDQXL2RdtkuCazQZ1MS5kjgpKHfAcpUh1HGDNCn5DiAPmSeKABoZwjQgA5gBYAlwDFoYkRdH73jugG2NjyLRy+eFo75mF0y5DPbpGhiWMeAlkZIE9CixU+b/81wF4GjwFQlaC3xnAUAv/6zkv+zrjP/O+K+F/65GhnXVuxr0+mfV8KXgPy+Pyv3nA4AfwX+9IWC+Cv/ZZg/x33B09v9+AfiPsN/bIgV4ExQbnaEm0gG/nQJrn44CG5AO4GWZr4Oygzgy9lZ+6LHFRCYa6yTzgqWq/BbBkr8veWHM8nSFDp6Fpk3Nmw4+CkhYeW7pAaBVJ5ox18WauC66xxTXXXlR4rqKwI2lCSViewz8owI0FYALUgXElGAs3aL3732UkI8J3VDKjYburhkMRg4AD3vGeBIF5StaotU044lEe7tLbw1jd+nbee8yXyfFZcZzF3m4A8s2ICNgvg+11xELiqMCCvKSOVfR7jKBTmfybogAGuDt/WSjocSRCHuzwFh5mQp49G3q62yqQte8/6BR5QusPLBDt9ZinSwLgK6OJfL62DuZ/89m5nflPvZFTpj5CQypF/vAc9pwCOqMJ/Mo4S46AXGYpsXNVDmkobtOPqFn0F0nebpOQsh6TNx+TW4+sCPyNCbWu6kiuVWpPjoFpYg2BHR32wcuMwi3Jc9y9UBz29uNPQecXf7T2oudmhKF96l6soFip6FFKb2hH2lh7Z/fNfzzII7SYUrCXrHAWeVW7s6TtRZu092x23TXcJsCa0HVYl1kcVS6MpcmyCjrCSrBSpPCAr2N8vIuylSQGcipMZjvJEM0k26ontD6IYpNsV6pn7c/76qVkN8wKqpaIM89/nlHWXY62+twL3OBBvJxG8HkMidYi9Ueg5gEjvjR5ZxwYVykwMCd6k2VgwhBA7A5Xj3EWCw+VeN8IJBD0CCoUiSB6P3Ge5mAbfCw9qI6t+WjmgIbqJTou2HfbYg5DZGOPYT7V6ELS0WwEO/cKu+w78B7XYysCz3rTOEPqH8dFca0a93A3RZ7onBoSNSGXmddUPU6syuzPUfZwiXNCNerrFChh9FMD3lSgroBBVu/E68a6hyeKyyGRDDlla2iNXJ/BkR+tv/O9l8z/se0x8bgqtfrX/XO9t8XYv8JbP6fsv8sa2T3D/af8P8Pe2f775ds/33F/ieFhZJ5+YqJVxNAjEkYhV7JGcauEIJnj/flIk2Yv47iOsjE53G61dgqStYFWyfBAs2UkP3whz8NmCrX9FZGaEcBdhqt723TM63NT2F5gvGwiCP/32Z+3mc/nihDwIAloJc8uJynXtztWaOrLjWiWyw8GKku33jxmmILukDY7Q/4aDDshZZnj2ezwBuHQ/NqFs6GZjA2/ZkNwxLaoWkpda0KjO7pfPvsTxXwa5tMzgDmJEDLOMrcOQy054zHw9HAbF5gx64BDXkxZHWs9jt6LSB1EjgDnYa15jQ6ItU6v3/17AlaXmOwL3vw/wiw1OCGtmJouNUtWsONcA2oeVXAFpBRunW2ItAmmM1d6CR1ecggx9OAZFAsTVhGrFZpuI65o1TipkgRc5YoMmiXLPm+cN7ka47oELCZV6Z54aiKjuBsAta1wZMgDQEHklEWRnMOhrPWefMS2gQ675oEC4AdAnR0KGBFwVJHyxUlQcfwoEJuNeVEhMmGl2Xx3vWKfRLUFq76VpfmyVtExJjx5loi+KkwSGqfQV4conwofAbIkCk0Us0paufNy0aQDt8FPCvZU/rBEDyvYHxS1x0qLqODci9qR9DAa2rTKsX4vULNvCgH8cZAGzH0VdTTCi0UFD0D7JQVoNx3XBADJA6xBTuqvSttHHp1I7Ma6wz1ggo53TCazRw0dWhaQ0IBWB4mxuHFjj1ighlxQroV9xIX60QEFDDFLhkMubiXBLUCIiqqvKSi+2PbAwtv8xQVOsFGZ0mavON5SrUsZDV/5TCzWc/W9lyxqmTFpQmqCvcRBqitoIPjFK1g0FveHB/mjeCyIzePoATNQtZHgdLyfjuRUx8kesVLDjJdTTbyKswimkowZ5x6Vsn3QEA2UOFMwSqiYaI76onpjRh0vDllyd9/BcCX6kJ1C6VFD+okFFY73QkPgol9XaYg0KHzrReTsKUYRVoeEvC9m3MPJr2D0Z9i7mzJmoQ+/HCYMSZNGeotKAMHnPoRyrDsq0a8XBxt0PM03bY5oWsgSUGzltMt+hNEvZSbmzqjJMD8E+ZDnZb1q4JMdyxumpsTqMoFFgoT+9iBWOfw/NrxdqQhbnvQiuKUv4u4BFIQhB/tFKd6yO/hd+gJbNyHmv03GNLoS00DE7IPsvdYlugF0E/NV3cxaSW3wxY97DXs71YqZoDaB5W/4xudPQaao5DHRqStX7lc0fUQVA/X6IUg0VZuKq2p1qQ6EkoPThc5SI+bRtlwHhxyHd5eC0cJBgJWL2s22u3IVGjIEluhSt8JLDfkEoFf4VuBRQ4ZyimjgNyFrgLCsyRVHUyXonLLdgehFq5U9aGN+qHi+qGaUOV1hvRThdQjqi6MCmU2DNoKe0O5OQrzrANWSUU4OJOAndAX6MUC2QZV6EDmBIsisXemRUG+FvgRrpY5+tE3hVCu7dIxjyPL1qF66O+2IWmd3alv6kUDs8l7YnS8dsj3zTSka2turHozgTi1FdEneooauuE2UxRHk0a41ibQtQhErqtEqdroBWRnfDbjQclUKJ3UMkBiZMZzQCi8YKamtIrlMRQM4/sbZhpm7x8oCkfjAvr8N5hPORaANpcmU+JWiUKNRXjQ7g3hP6NVbauzBmBDSp3N4nWxIEB2yHZwqL0vypzw4vvlhG3EJNLhBhUX6gojKvmqULUPRyuB9MLNlPevP5AX7j1U4IMLlmHJm644rdPSSpj3oFlqjSRmerUaUT+g8m91MLo95eyQc5DC8w9Lz4GtoACBlPOWGH7yHG5BivJf3rS60q6bPmOgipJ54cCaI7aEFvDmNmRBjK+zYZ9sg+HAtHuoxhZpCrXV6WSGYDtVJENUZ+K9K9p712SSC1qxzjdHCzPZFdDcYEGLcmM8JFTOOX/Hq4MhciIin8OI+pzQ0srbqfgCFkS+d+QmIixjqmR9PDxHCquLNTHQh7vDtfQwsnUNRIh/nr7jieuV7roMHGopSPOMWqs8/HP34ar7MHzz8LvJw+eTh6//ogiT1ZivRH9oRzYR1h3h2RG+w+SPQDwi0e5Sp3JUsIUOtB+JP94F1VDye7MI0cWejjZoZVGf31GNnOy2RTRf4BgF69U6BpsY0JkoivA881YphhIiQpPDj6GFlmn3mTrPo5ClechzgccK6E6OtogYBxh7kCQO83QPs0fYzTAvQbcXKN/K8ShOFfELmhJsnFD2LInu3TaoyHJsad5lUt5Wd1X+I+Ulku/YQriWGlb59tXTp395qrR0rMh5Qs3S3JQTlg49LeR8FTkoTdxWM0k8NYxQ61iz5NlJXTGtOrQpzgrCAkv4Fizb7I+gXWJYjvSHTCSVkd3WKeL1fTrFqnVKlZcsYMrQMIdvsy7T0os/TVud2gE6DJ/0xt5aduS4PXn5AketXXx7xP779n96t/d/rPP+z8+y/zM6Ov89NI3xlW2Oz9s/X87+zypd8v/Y+Q8MKar3f0aWbYnzH+Z5/+cXvf/zGoUOQLSliUOTXT/3ErAfDmcnhT9QnDZFLFD7Bxm864uIEOnw3EQeKxecZeucd78XWz8U6QGQTTj5dShStbWTFGAIPW6nqBhBItxSyBbQJIBRSBe+V7WnsddpHEH5e4adh4ZvlAFazKCeeI4UsB6iXg9d4Qg9I6gAC3kWp3vgIiIN79iIknBRwPvO63uOv3zKTtSdm0wlmnOKdsdOV33i/dnzJ+7Xz5+7T1/8/hngDrAnaUdLjGa1pSXPMgsrTxoTYlMAbEu1fa4e9ws+5Vh9fXQl25N42Mo1u7MxRFHkgXJ8xl5sIgJm/+GbW+FOtZyB9YoYXIxnbcri0fcfvmmffb9mQVLeeyY7zaO5yCjOHNNx584/eCwbCjk+lI0pn34se3ocBtnwMFb7NlDR+49ht9uAAL9qyifGkkoz++QGqDw41fIt9Fujt122nS1ThPnofUQxO/TVEn3KH9DiAKqCbAHGY7AAK+f1tXRLTg++SjoK3gofxRPbldNbGhpNpzdF/OHoF/dntE/ma7mzUSHAP7vyUBMNJOwxOvH4aH5DDpy2DDjMvD7hrcmF7NEp+dYReZtMp0ePlscH84PKE9eKfD0+2+7WQZx3H3BvJh4OuwfHUZvBIWrzELYa3B+2evAO7tEvHJCydrFNsnlU+UbU3+kz++Tjt+tw27pdMlOruwVlq+mN9jVz1EMistzdFzJT3gqHxCytDjpQHWIiqdIiPhXmqHO3ednwLpGBeKgGedRkvCNNDeXEnJm1jG7n/faDMGd5ULkNQFfA020HAShfXKkOsYygTy8xIsOAG0XD742E0ochd16O3CLA4LTfg9yU3Lrq8YEf9GY+mCn+yByORmbPt0xvFHrjsW3aw5HnDWb9wPPGwytuDQGFmJZv2r3e1axvCjf10yfP3uCCOhWdpCq1Cz4poQ5s56HPaaaWuq9nWz2z9aVelvpavFaTwNK6lnax/am7vf5rcpzZP2Tu2eajH7vAArLgzV2MutufgJFSyfw/V59/R1WaPGawsDiO/etfw2KgvT+8oDXhDWChVZrvWWk5P5VqK2ejBp4la2B9atUbmf1m5n+4/njtvAtH9azuztMeYXTKJWn0YyIfiHwg8u8g+nC4RYZHw47ZqwGstJaq5A4Gzqi5vlrDAs318XgEqFjTw2gTNZ61a3Tt3CYejgbc6jXJZQpkaBbCd5ka5xeYrwfvh3qcqIHWjfOac4PCukVxYAWjXZISAStolf1GLezf/tayr379fNjXLkbae2R2L80fn7148vKPQCh53hxWfbASXAS/vIxQAxl8szIkGM6rVb6C0Y9luthFgAeEgEfv1KPtlzYQKGzcf8mD1moLKNxHUpr5RxvIQg0VtkFmheqRprF0/BCP4GWD1spiL+AqsqkfFNFkhY4WtT36x/mULPfmK68Gl+xvpnFl2H2a9Oyet5eXFIDVFZaRUMciVq6pnx+GhrTeflbjDSrPHiJqbEQTNHyYqPmhqrB4kO4XLkxjm0cYwGM3gChiGhjaSiZaL32EaHNeeiX0cQ480GbC1aHy9wKAbb0HyIMi6h7THT6LVOH2Il3nAa/2Po6XIfv0KoQGAmVDow5WVdxRoc06W6stPLdYB/j9AofQebNy8gXUibaIT+6u8DzHTY8pChXXppOeaYrjD5zCAJrsBGmzJ6Y32g1kOcKaMxFA0OgSpbJBm/10u++OcOimPRaz466VLv/NhIXTGa7+xEmgVuykDR2eiQow20qw8bm6ARuaSMSpOy/Pvb2mCQxCQVmto3ibqT25od05KH+jGeiwKeX30MydIvNtjrFPNa0A+dyBa8IGqglvY5r7D2oIp9kd5zQ+ss0q7OL/Fw7W8/mP8/mPhv8ftM6VYdnWqGfb5w2AL8T/j2dMP+cXYD/2/ae+Par9/zbNf8se9c7+/1+w/1/Cf+HyFkeddfaO/N4Yw4RHNvETrmito9fXy+ebqXUjIsVpXUa/rHq8JDd2zjXtELDQoRAQsPuVMa7VVo/+jvCvPcDAtMSXYT4IPsKpd1NFUmmNA6jAQ+vIT3SGyKqmuq6MiTqgHBf9xO+0Mk8qqmYBSIh308mtom862fLw0YJdUX+1QB4JfxiGiMMx3w5DlR/B384uzQ950GyZiN0Gdcf+xvb1keDK+4gUgJv8OCU37FLW/gJvqzZWgWRZzjeNpovkdhOn1uRmUn8bQLRG0F0zKuPCYVBDFbhjMB/8IFPR9kCjCFpZStB5Jz/XOewb/rAvQTlKCNkLIFCFiix1NgakHnKB2StARwMBbzURzf0O2njrnG2UF+47YG2Uu7JtpbzTvpyl74z/zviv9f0na2jYoM3HV+fvf34p+G+1DPZiq/DzoMCPff/JHNX4b2COQBdYdn80POO/X3b8B3pkCgqvoEgOHlZfngchZKrwx7GRaYX+LLQMw9AaZ31hjU+rr+QjdSY+8A2PGMKxKHQZ0NGVrrmQobsISq3y7MIJW/A4w2gSH8DDirMgoy16KIS27Vi64TmTkSJ/T/23PCj/jgXjh0JShp/pWKx4GQUAy7x9gd+Nj8rcy/cIYYKoAB70uRdRqPyiPlUWm/xivfI9BlxXgFvoWzk+oDrawsfNWw2/O78rWYQOpQheM2gv5sNte/yuuYZd+GPhzfmEZVTHHus+YziTsYwf/vCnxy9fPXW//zN7+eObJ89eVYC7ji6RUSed168eu6+/+xoPdvSu+nxsjfxg2LP6sBL0giu/54f2bOxfWbjzNgxmPRiN2bBnj2djbpujcTAMx0Oz5/uhZSmdxi5gA7Wjh9E/7AHeuf93a9tP1k3H4y3lHZKidErxxSrcQKxgYOfxjxi+oXzFuv/iJaKKhHSBHOCT+MxMd+aBAMzWMcOK/DVROgtoHp7HjGLclYdKGeR0VKEuWifMU9zSUBU5Dsl6BcPkFSzJxF4A7ZgkJBUVyVv8wKsUEUEk34gakEjN6KRugHtQBMVDOkkKhU1ae61QNbnNEYptjmtKw+h0fFXtV0D9FWCE04h6T2y0T8CeSOZrkDU35hseOz3cAbigrB2KpVAbza0qKbA7VgyPPQu/7AU72f6Ptv2vyX0tv8VcTHLJVzxUjB8x9hVL0p+8Cfu2b1o6/Okx/GqAVBNiqCdMRL7gydo6/Edn//vi5TevdYa6qFXsiXIev8ItJ13ywRaIPkPBvCAhAYukMFbeEpRvXhymi00fHYqK0k2X0hdN86kK8nqbRkmbWqn1IPqgG2YMJH5S5oNuOmIQ7NHqo6jzdKkIUwqZijt4q50h4vk6X+frfJ2v83W+ztf5Ol//Tdf/ASBNeO8="}},"timings":{"parity_s":12.66,"choose_s":180.7,"report_s":null,"per_round_wall_s":[31.36,31.03,27.75,27.59,27.71,27.31,7.9],"workers":8,"cap_minutes":45,"within_cap":true,"total_search_runs":4096},"provenance":{"kit":"identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01","score_py_sha256":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","artifacts":["72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b","8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760","60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","2fd80ecb44fa33a216dd5f234c55cdab5de1dc77473a8a72ff66368b85cd13f8"],"environment":{"python":"3.12.16","numpy":"2.5.4","numba":"0.68.1","cython":"3.1.4","solc":"0.8.24"},"engine_seeds_used":0,"report_seeds_used":0,"submissions":0,"upstream":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved"},"limitations":["Replica evidence only (Cython replica proven bit-exact to the unrounded engine on audit rows 10010512..10010575 for unchanged QLX5; the patched/knob variants have no engine reference).","All four arms stopped by futility; the headline is a stopped diagnostic arm, never selected. No freeze, no report, advance=false.","Only the assigned joint composition was tested; components were not rerun alone and no gain additivity is assumed.","Solidity: compiled only; afterSwap peak gas, OOG, P/Q/T/F/G/E gates not run."]}