{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, replica and production U1 tables that LEAN and QLX5 are built on. Exact QLX5 replica: A/60dc237f; its audit: A/362fb97f; QLX5 source and tables: A/1ef80bfb; kit: identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01.","item":"pull-window","batch":"c3-search-a","where":"replica_choose","gain_vs_base":0.008663308732410058,"se":0.00860938412600784,"n":512,"seeds":[64000,64511],"advance":false,"gain_note":"No setting was selected: all four were stopped by the futility rule (cumulative mean + 2 se < 0.03) inside the choosing block, so these four headline fields are the last cumulative paired figures of w11_a150_nc5, the setting with the highest mean among the two that lasted longest (512 seeds), stated only so the fields are filled. It is a stopped arm, not a frozen candidate.","advance_reason":"advance=false: every setting stopped in choosing (see choosing.arms[].stopped_at_n); per the brief no setting was frozen as a candidate and the report block 10000..12047 was never opened, so there is no completed 2048-seed report gain. Baseline smoke passed.","reading":"With split_window=11 and split_nc=5, pull_alpha 0.10, 0.15, 0.25, 0.30 gave paired gains over unchanged QLX5 of +0.0052 se 0.0085 (n 512), +0.0087 se 0.0086 (n 512), +0.0041 se 0.0101 (n 128), +0.0128 se 0.0073 (n 256) on replica seeds from 64000. All point estimates are positive and none is distinguishable from zero at 2 se; all upper 2-se bounds are below the +0.03 bar. This refinement does not reach +0.03 on the exact replica.","source_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","source_hash_scope":"SHA256 of qlxcore/qlxcore.py of A/60dc237f, the measured policy code, unchanged; each setting is that file run with the three knobs in choosing.arms[].knobs (config_sha256 = SHA256 of the knobs as JSON with sorted keys and separators , and :). Baseline = the same file with no knobs = QLX5 (Solidity source sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40).","selected":null,"selected_parameters":null,"baseline":{"name":"QLX5","solidity_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","replica_knobs_default":{"split_window":7,"pull_alpha":350000000000000000,"split_nc":5},"note":"unchanged QLX5, run in the same rounds on the same seeds as the settings"},"rule":{"choose_block":[64000,65023],"report_block":[10000,12047],"round_size":128,"pairing":"setting edge minus QLX5 edge on the same seed, both from the exact replica","statistics":"kit score.py summarize(): mean of paired differences, se = stdev(n-1)/sqrt(n); its 3-se stop replaced as the brief says","stop":"a setting stops after a round when cumulative mean_diff + 2*se < 0.03","select":"highest mean among settings that complete 1024 choosing seeds, grid order for ties","grid_tested":[{"split_window":11,"pull_alpha":100000000000000000,"split_nc":5},{"split_window":11,"pull_alpha":150000000000000000,"split_nc":5},{"split_window":11,"pull_alpha":250000000000000000,"split_nc":5},{"split_window":11,"pull_alpha":300000000000000000,"split_nc":5}],"other_semantics":"all defaults (split=1, split_track=1, split_synced=1, split_skip_pull=1, production tables)"},"choosing":{"seeds_used":[64000,64511],"rounds_run_total":4,"round_counts":{"w11_a100_nc5":4,"w11_a150_nc5":4,"w11_a250_nc5":1,"w11_a300_nc5":2},"stops":{"w11_a100_nc5":512,"w11_a150_nc5":512,"w11_a250_nc5":128,"w11_a300_nc5":256},"arms":[{"name":"w11_a100_nc5","grid_index":0,"knobs":{"split_window":11,"pull_alpha":100000000000000000,"split_nc":5},"config_sha256":"56765af498a3a170f7cc0bcf9c71e322233ac57e49cd2e31a7f36eb718967680","rounds_run":4,"stopped_at_n":512,"stop_rule_value_at_stop":0.02219035998722257,"final_mean_diff":0.0051782609177664085,"final_se":0.008506049534728081,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"mean_diff":0.022587308715348975,"se":0.015089484965164324,"upper_2se":0.05276627864567762,"stop":false,"sum_diff":2.891175515564669,"sum_diff_sq":3.7666740726106047,"mean_base":534.9978274476013,"mean_cand":535.0204147563167,"n_positive":70,"n_zero":0,"min_diff":-0.43028350400447835,"max_diff":0.6234420671918315,"calls":1390916,"base_calls":1392888,"tries":903101,"hits":805155,"base_tries":901085,"base_hits":803007},{"round":2,"n":256,"seeds":[64000,64255],"mean_diff":0.014052599244085417,"se":0.012208446742610467,"upper_2se":0.03846949272930635,"stop":false,"sum_diff":3.597465406485867,"sum_diff_sq":9.78028783913976,"mean_base":532.3720767604536,"mean_cand":532.3861293596977,"n_positive":133,"n_zero":0,"min_diff":-0.9756622163241673,"max_diff":1.0504964401416146,"calls":2779365,"base_calls":2783247,"tries":1806897,"hits":1609919,"base_tries":1802701,"base_hits":1605548},{"round":3,"n":384,"seeds":[64000,64383],"mean_diff":0.013961288291795881,"se":0.009712227395807006,"upper_2se":0.03338574308340989,"stop":false,"sum_diff":5.3611347040496184,"sum_diff_sq":13.947761982381536,"mean_base":536.7100137463826,"mean_cand":536.7239750346744,"n_positive":203,"n_zero":0,"min_diff":-0.9756622163241673,"max_diff":1.0504964401416146,"calls":4200998,"base_calls":4206680,"tries":2737349,"hits":2439794,"base_tries":2731257,"base_hits":2433058},{"round":4,"n":512,"seeds":[64000,64511],"mean_diff":0.0051782609177664085,"se":0.008506049534728081,"upper_2se":0.02219035998722257,"stop":true,"sum_diff":2.651269589896401,"sum_diff_sq":18.943557322401844,"mean_base":535.2191257797188,"mean_cand":535.2243040406365,"n_positive":257,"n_zero":0,"min_diff":-0.9756622163241673,"max_diff":1.0504964401416146,"calls":5590487,"base_calls":5598231,"tries":3642835,"hits":3246553,"base_tries":3634613,"base_hits":3237553}],"solidity":{"pull_literal":"10e16","edited_source_sha256":"2cc74d311c64ec92a7e5e96451a8bedc3c883796efeef86a3423ddd93cc8e78a","edited_source_chars":47231,"compiled":false}},{"name":"w11_a150_nc5","grid_index":1,"knobs":{"split_window":11,"pull_alpha":150000000000000000,"split_nc":5},"config_sha256":"424b789e5bae5bc6ada2f7bd07ff9116f82923f9c8fb81bf77950d43d3fa11e8","rounds_run":4,"stopped_at_n":512,"stop_rule_value_at_stop":0.02588207698442574,"final_mean_diff":0.008663308732410058,"final_se":0.00860938412600784,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"mean_diff":0.01553695145327394,"se":0.014407079131673524,"upper_2se":0.044351109716620984,"stop":false,"sum_diff":1.9887297860190642,"sum_diff_sq":3.405058029691116,"mean_base":534.9978274476013,"mean_cand":535.0133643990546,"n_positive":67,"n_zero":0,"min_diff":-0.4632109352885436,"max_diff":0.39590577434847773,"calls":1391404,"base_calls":1392888,"tries":903331,"hits":805443,"base_tries":901085,"base_hits":803007},{"round":2,"n":256,"seeds":[64000,64255],"mean_diff":0.01908770403800708,"se":0.01213273405821584,"upper_2se":0.04335317215443876,"stop":false,"sum_diff":4.886452233729813,"sum_diff_sq":9.70269838231735,"mean_base":532.3720767604536,"mean_cand":532.3911644644917,"n_positive":137,"n_zero":0,"min_diff":-0.6407209104177127,"max_diff":1.1991021688414776,"calls":2780329,"base_calls":2783247,"tries":1807329,"hits":1610667,"base_tries":1802701,"base_hits":1605548},{"round":3,"n":384,"seeds":[64000,64383],"mean_diff":0.016678677297586948,"se":0.010397424368328696,"upper_2se":0.03747352603424434,"stop":false,"sum_diff":6.404612082273388,"sum_diff_sq":16.00624984513007,"mean_base":536.7100137463826,"mean_cand":536.7266924236802,"n_positive":203,"n_zero":0,"min_diff":-1.2087180566511506,"max_diff":1.1991021688414776,"calls":4202419,"base_calls":4206680,"tries":2737944,"hits":2440496,"base_tries":2731257,"base_hits":2433058},{"round":4,"n":512,"seeds":[64000,64511],"mean_diff":0.008663308732410058,"se":0.00860938412600784,"upper_2se":0.02588207698442574,"stop":true,"sum_diff":4.4356140709939496,"sum_diff_sq":19.430982081582933,"mean_base":535.2191257797188,"mean_cand":535.2277890884512,"n_positive":260,"n_zero":0,"min_diff":-1.2087180566511506,"max_diff":1.1991021688414776,"calls":5592454,"base_calls":5598231,"tries":3643721,"hits":3247255,"base_tries":3634613,"base_hits":3237553}],"solidity":{"pull_literal":"15e16","edited_source_sha256":"e95c39442a634f63957c4a3c7cc73b29371a35c7fe8678ead334886adff77ba9","edited_source_chars":47231,"compiled":false}},{"name":"w11_a250_nc5","grid_index":2,"knobs":{"split_window":11,"pull_alpha":250000000000000000,"split_nc":5},"config_sha256":"f11a7af55fd72f9dc75241705a5d4e82df0515bfd364777dd37bddbb3cfe46b2","rounds_run":1,"stopped_at_n":128,"stop_rule_value_at_stop":0.024223453104866895,"final_mean_diff":0.004074539562905155,"final_se":0.01007445677098087,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"mean_diff":0.004074539562905155,"se":0.01007445677098087,"upper_2se":0.024223453104866895,"stop":true,"sum_diff":0.5215410640518598,"sum_diff_sq":1.652022545267929,"mean_base":534.9978274476013,"mean_cand":535.0019019871642,"n_positive":62,"n_zero":0,"min_diff":-0.3136043417954397,"max_diff":0.4238023583819768,"calls":1392268,"base_calls":1392888,"tries":903806,"hits":804757,"base_tries":901085,"base_hits":803007}],"solidity":{"pull_literal":"25e16","edited_source_sha256":"79f058ca8981772d747380bf2529c0050534f618fa4b90fadce7c2c8b8d6c5fc","edited_source_chars":47231,"compiled":false}},{"name":"w11_a300_nc5","grid_index":3,"knobs":{"split_window":11,"pull_alpha":300000000000000000,"split_nc":5},"config_sha256":"b11f0fcf0e898c11ad383be9c2c142ab494af20913847596d651a6e163145ccf","rounds_run":2,"stopped_at_n":256,"stop_rule_value_at_stop":0.02742891407076213,"final_mean_diff":0.012759275961459648,"final_se":0.007334819054651242,"rounds":[{"round":1,"n":128,"seeds":[64000,64127],"mean_diff":0.02359834915527914,"se":0.008400049663882832,"upper_2se":0.0403984484830448,"stop":false,"sum_diff":3.02058869187573,"sum_diff_sq":1.2183178298915993,"mean_base":534.9978274476013,"mean_cand":535.0214257967566,"n_positive":80,"n_zero":0,"min_diff":-0.2647742110032141,"max_diff":0.43495550660736626,"calls":1392675,"base_calls":1392888,"tries":903991,"hits":805734,"base_tries":901085,"base_hits":803007},{"round":2,"n":256,"seeds":[64000,64255],"mean_diff":0.012759275961459648,"se":0.007334819054651242,"upper_2se":0.02742891407076213,"stop":true,"sum_diff":3.26637464613367,"sum_diff_sq":3.5537125419524584,"mean_base":532.3720767604536,"mean_cand":532.3848360364151,"n_positive":139,"n_zero":0,"min_diff":-0.8635971236695923,"max_diff":0.46017691839131203,"calls":2782824,"base_calls":2783247,"tries":1808563,"hits":1611353,"base_tries":1802701,"base_hits":1605548}],"solidity":{"pull_literal":"30e16","edited_source_sha256":"c0e73941e8b8b18446a71b5f930a6df6ccb3f99d5f7fac334e99665f919b14ed","edited_source_chars":47231,"compiled":false}}],"fields":"per round, cumulative: n, seeds, mean_diff, se, upper_2se (= mean_diff + 2 se), sum_diff, sum_diff_sq (paired first and second moments), mean_base, mean_cand, n_positive, n_zero, min_diff, max_diff, afterSwap calls and split-test tries/hits of the setting and of QLX5 on the same seeds"},"freeze":{"record":{"selected":null,"reason":"all four settings stopped by the futility rule in choosing; report block never opened","at_utc":"2026-11-11T01:27:10Z","report_seeds_run_before_freeze":0},"note":"Freeze step ran after choosing and before any report seed; it froze nothing because no setting survived. report_seeds_run_before_freeze = 0 and no report seed was run afterwards either."},"report":{"opened":false,"seeds_run":0,"pairs_zb64":null,"note":"No report run and so no report pairs exist: the brief forbids one when all settings stop. The unrounded choosing pairs are in choose_pairs_zb64 instead."},"baseline_smoke":{"passed":true,"what":"unchanged port (no knobs) on the first four seeds of b2r3/runs/per_seed_512.csv in the payload of A/362fb97f, compared to its unrounded engine edge as f64 bits, plus afterSwap calls and split tries/hits; done before any search run","rows":[{"seed":10010512,"audit_engine_unrounded":"606.1300985640944","audit_engine_hex":"4082f10a711db056","port_edge":"606.1300985640944","port_hex":"4082f10a711db056","bit_identical":true,"calls":12227,"audit_calls":12227,"tries":8155,"audit_tries":8155,"hits":7255,"audit_hits":7255},{"seed":10010513,"audit_engine_unrounded":"482.77829524211705","audit_engine_hex":"407e2c73e5b63867","port_edge":"482.77829524211705","port_hex":"407e2c73e5b63867","bit_identical":true,"calls":9988,"audit_calls":9988,"tries":6388,"audit_tries":6388,"hits":5684,"audit_hits":5684},{"seed":10010514,"audit_engine_unrounded":"404.7966542836623","audit_engine_hex":"40794cbf188fe8c4","port_edge":"404.7966542836623","port_hex":"40794cbf188fe8c4","bit_identical":true,"calls":9532,"audit_calls":9532,"tries":5838,"audit_tries":5838,"hits":5236,"audit_hits":5236},{"seed":10010515,"audit_engine_unrounded":"450.2556494695746","audit_engine_hex":"407c241723e5f101","port_edge":"450.2556494695746","port_hex":"407c241723e5f101","bit_identical":true,"calls":10484,"audit_calls":10484,"tries":6858,"audit_tries":6858,"hits":6117,"audit_hits":6117}],"tables":"qlx_tables.json written by mktables.py from QLX5.sol: sha256 8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6, QPL1 blob sha256 830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099 (both equal A/362fb97f hashes)"},"choose_pairs_zb64":"eNoV2mc41X0YB3AqKSm7ZFVSdnZk3ramNKRJRGVFhLPP/wyjZURRRlJREiqjqMgoWYmMJDJCITMKee7nVVdvjv/4fe/7+7nOIUeIMsxlqUBMbFfKWiBDkt9D8SW6HPijSiKeRDHhdab/nvWaBKiYvzYVO0/AIP+34zFbSDAHh1bUxbEg5SWP+xEqF2ZGaak0cxZ4vUhrDmUTYBSXtPBAlQkfjG+ufejNAqEnNwvcWSR4bRyd2kJjwBoZj6Y8dSo4NtzbqphPhtu35i/cNaGBQ0i38MV2AnKJ86s3dYeA9Zx99vpuNoSLXOwmBzPAfy1dNbaOAPvV304abAuDj44nyUu9yZC/dttvVzUCOoa9Pq6DYGgeSNsrlUyB0H3fVMR9qAB7xSyVDQgY3bPJxmcxC94XCtzyqWNDiuP6giubSPBh6GnpEhcCqiYGdzyK5cBS74wXXx+zQIC2VLFXmwpOyclHA7MZcMN98V9yfxAYSY4pzbgx4Z7bk9kOkyA4Lnfy6GFJNmi5G0Q8rmHB8nUeiv2n6ABOnUdzdelAPcUjnp3KhFu8IdJNryigt85eRmENE6J7NgVaLOfA/l8tbqpFLNhpxiccL0yD+98CdR/8DoGROz8ux6wMg+lvfh4iQmHQuLqsYiGWArWqb8PqvjFgU987M756NkxnvBhqnWWCe0Kn3KE/BAhm52bX/eTAa87P4fQ/LFC/ttvANpENC94Nr0PDQ2EJH6eKm8cEg6lnAYWfwuDm5EbDTxVMkHn5UeeDKRMe0y2/UosI6C73CPjzggFskWxT0hUOpDdQ7zSJMOF6ebavjjcHLp1xGDLcygR5T+75G1o0CKq+JXrlDh3Y1QG33M7T4P2hqHckbQrsm524dPkpB34p61zlP02BuDj52jGCBBSxIf7wdSGgst+NvTeQAZ+mJrPCf5JhOD2puIBKwO74ZOYwDxuMnnoeo/uyYepu6YUpCh3OFUWp9rHY8DtvRLxzCwcq2k3c/XkJYPziSckT5cJvyoYE4QwW9OdfTk005QCRMKd0foANQlvPc7r9mMAwSJ9f+5SA7M3Z7UkhNOg7IJZFdWZClIJKTsthCui/VQvfoMmFhsI7b85rkED9+Sif6gUycEXKe8kCJFjlGPn+mjwBFkXxlO5AFph/2auwXpoOFMpovmw6ASl3qnbvbWeB4YWhW411JDhHK+s0oNJh0xMhwSEjNsQctn1zXpwAsbQ2lZkfJMj+bl8TvYEJek4DZir4Oa+kX9o98OXArJfAZPcsDX6Gxknq/KBDcLFP4/FzLGjsrrcYN6bCVbK0ypXfFODuKgwV7mGAouBfzYj3bKhLVk45QMb330ex8qBRoWLisJ5TNh30dw9cmTlLhjmN5dbpd1mg+DxqB/ccGzqFAkXpqhyQ8CJZ9jqRoeCwnTkJ32vqVYHoS05sMO3fPyjWgs+rWSdl+h8TnmwaN39xjQGme8RdOpvJMOkWPiQzyITY0M7VamMk2NdBXd9YwwTDV0fDG04yocvoy0SuNgMUaA+TnLXoMBiULGapw4DSuxrq69vp8Dthzb+lPkxI/i1XnNIbAtH6x/MDzzGhR9QwhW3FhPPhV/s7ixlQVdIyH7aRA0c6TrsMu7EhlpqxMqyHCg30AvU3eB8/FZ6eYp0j4LSJE3nsPhsSonbW5qYwQMCWzj1bRQLuvudPZpcwQPmpuZbPCjawaIXVl+0ZsGXx1djLpQSQPpw+ucGfCX7cmWqh5Vwo6b15iazNhKKDL9bm67Ggp7TNUFmaCbNTDcWNZ7lAD9F6MEtiQ3zpZcPk+UAQSTfMkxZnwYJ9bInJdRaMartXHr3BAk+FlVopu6kg+YtxZe8/DpQZji+166WChtxkp2clC7KVlp46tJgB97cU7OhXpoKUKe9HhUYqGL9e+L5kNwGv/1FXF95jwuGk4GmFoRCQ69r5M1qUAisDBNyUKFSY3LYgfUKMANfVGUczMqjwvftOsdgsPtc7nqsGXlFh9E/XlKkXXscvxmW1TQTwnsy8FWHNhu1a7XtJ7hwYXKScOjXDAl7Y+O4izvW6X+OfLeIIsHZb3dyI5ym4aOD7uxgmEMsif/z5HgiiVboCVtlssFXoPiKYwQTeTzwD27YzIeJCaUO6LgsOFOv9fXeQAyv9W6n07wRseCH30didBA09d92iWVRIfUGia+QFQeTPXpFDK+gwVa7fUnCLBr9+xD6staJByxTx0FA2DDp/Xn23YScbyvTPBQ8Fs+FBlLYP8NGBtKtEbT6GDsrtTjxB/ExwKyi5SGpiwdrgiV/rtjDg5LLFd0cekuGFmNetH9tYoCfhI3EykYC2btvKCGM6qB0HRc0WLjCXef858ZgCNyXeVqv5UOCXfz6/eCYXLE8fCu7hp0Griuvn1mgm/Er/NKC3hAzfSqJ5ztoQsCbkw6rcpUzYWHBil7A8ztcug/L4BxQ4+/bFee80GkSWMBRulYWAK097GGWGCelXRD8tEmWBj/nmwd+WBBib5g+NZQdCjq1Glm8hFawE4bmTHgGHPxDKxmvZkJG8VF/+KxsKe2XG+uqZMC4ZGvGylw5nrORcTWXxPW9a4JgZc4CV/WathSELfl41145fzYTfF+e5atu5YFIr89vgLgk0/mZ/5T4LgRrlY0r77jHgYJN16uH1BJBNO6qOOdGgepGP+J2LwTDfq1nY5IL3sWDQPX2YDaf0HQK2fWTCScafuAuvcQ5oBWg8EaaCWOSDrlNlOEdoFXeKlVkQ+PNLcEwhHWriX+TG6LNgYLysQv0vCx4rNo65LQmFpuW3tmxbGoo5eTnsEMeEMOcvTRZdbFB0S09ftJUL3fnTV+4l0mDRoto8QV0yjDtOtFjYhmHe9laILsHnLnnTdO4U7m12ff+8Ix3GWm6XqS4jYKmsZqvPBRpcmGuOPf+aDS9sc16ebWXCkvtrZ6XKaWAzrXG1QYYD8806djfj6TA5knPfbAF7Q50hmfOeAj9N7o86hRJwQNx/e8hrOug0m/avGWGD54ZVxSWiEWD/amX1ioVg6KkUGnaqJOB52qVdAhtw75vc3baSYMMzM5fuuigK8Kz5rHx9gg5rwxr3v5Bnw6eAxQ35L9jQuyCc2RbMAv7kbuEYCheUys8FX1Mg4FXBL4mu5/he44r3yWuFwNV7rcmee3CPOq9OO/eOCf7vvq5YWEqCgwZTR64fpEB50Yv0140kODF2pEkc38Orna2reezZ8EWbK3TKmAlOEmp77H8w4Msyo80fS5gwUqUSvsWDDcZZdzrfDFKBrtxj6b+EBfdfCrVtkqHAYZllNivGOOD2wyK8OpsC4mIfH3n8ZMPntvFDVjtwHhT3nrWSZAHj0ZoFGUUmXOm1ufn7bBC8OOJ8b3gxAbpa/waV9pHh5Z89x82cuVA0VnNkrxEdeDY/e0S8ZUKxqsJs3kkCXjwb1dpZRIHskcG/0gl0iOkYHH0ngvv7KckCTnAg/p5BvYkyB9brz1v/xj2WkT0zpVvOBu4B2ecjn7gwKFrcwRqngrzC2ysUcSbstf5tvkacBpwfenrORQzItxfe0p1HgsTrJtmK6WToPDq0pBtzz6P3VZ6lwQJ/3aQD7VME6H++Kl12lYB9cx9prb4XoLbQyuhnOxsujhwSV7rNgZZ9MpaPe/A974+uuGLJhjMnfy64nCAgrIQ2psTAnhAwKmHGZgEsdRxpxj1w834dj9klNuQlakXr6ATBls/ungtRHLjCTZsxw36zMjx4B1WEDl8OVX7kLeVAgqeG4UQMDW7Wrwvv+ssEh4xP/IZJLHC5n2IiKMMA17nMlJLCUJCjP2LcVGBA5gq7uIosFrxtUgjUi2fCuqX1jh7/GPDXslLV8iEB+amhE59kmBDo+zfDdB0BAeWBd3RwL7gbyqc9eceABKtQvm+vGJB95OKdLXsJOOG4vP80hwOyeg/LjuxgwrVRfX2dQAIU5MOd6jC/F41ffjdZzIXGQy9Nkiyp8EWsTS7PnAwxpXet7HuZsLisxurcRwLuyK+pFC2jwWKBbD4DnjA4/tsm489e3HttXzOvL2dDy5ncSwHYz7Mfyb38eosNo+JDrdkhHEhR++ueO0aFfqEfG5JeUiFs9GnpvD0NOg76fVQ8TIabm71po1ps2CIWyKf0lQqGTW0XW59xIPn6MZ5Fq8ngeCh0TWEkC4baIneLh4bAC/V+n0wLEiRsLMnwCCOAe3RK9oor7tthpfwucyqoz1GMv6MDeCOOTFfkc6E44+ubvZ8JkNT7YW4hToUHq+behJxlg9+Gbb1/Y1hwO1p2v64JA7zTVynOvA+BxMfCBockWOB6azrPLYoNRz/27xR7QwHT4r3vlXhYENGyuXW7Ixvcvk4cXiFBAZNOhtSDCgqktT7J+oDzV+fenbbdyjSIWh3Nu+UeG96rPTuWhD0qX9l38inO3ytRM0tPC3Dg7lWmnPwDOvz7leX3sSsEJlo8z7e3U+F9vmupNs7LguqEXa+2UmGDMfnra1kOeAceSRTzoMCxOA7fnBr2zTfvqNdXE1AtmmmWJsgGiz1+H9/6EFDqmCex2RPzpnj0V21jKOz0+rH3DfZeyiLtuBfLWRAU8MZHtJIJUrqdDzZKB8N5fyO5a5uY8NbPTdUEz9XIZbO4DmcO+Br3//6sGwpVj3WlZ2yCIdpG9Sf/RhrohmW5O7xiQs6jpZez0Glpz7sPnk7AueBH72WSmZB9/k//akEqFE0k7olsoYAW30zkZAADur4oX4iOYcCR9dkN/uMccPTyS8nAOX7424FfPmlcUD89rxS0hwaClzMtKFZsKB7xvb/Igg3rGgq4zuwgaPZauUYYc3rLsTV+vhBzMT54PdITz41kNgjtoALV6vbppKBgCLoQd7lUkwlXjT88yOogoLD0wBmVHibMECZtuorYj4tDlrJ1GfCEut/4qjgbPPIdPXccYIJYiPiklgPu5eUhsn8O4V653VkjvI4Fr/yfNbfbkiFT8f5FYgkNiODOqo94X1NbNZRWebDgjWpsXqkXBxpJB9YQzwiYXUjXHsRef/9N04CzHQ12OSXllnxFT0iM3137NwTc/ddJ3iqiwhbvnTL9zWyImnVnHygPAXUet1MxAehk3VOS37EHiAZuXynQRwd1pTO1737T4JZum5D0AzKsIm9ZTbpDQNLOIUlqDRlyO5569WLfbY5rMQnJpsGJB0mFlzuZEKDyZyKimwIuF++yyrH3sTI6ogp4OPCmpJNm6MeFMzcXKmex9957E7D91joq/EpapjaK/h/8OP7hqB4Hnu/hz14fiXOmih7WpkHAs+u+rj1+BKza+TfhjxoJlIv0Ln66xgK+X+KKP3C/afpNbt8PLJD3cn1/lUXAJ+JbaqUyEwavifzQ8GHBlxOG6w5GkKDvTq/uNSoDOje9/puuQgWPBwZc7UIyWOieFE+2pYHCz2y5k20EbA6a7eXvCYEP/X/ETvTiXO6s2h5BZoBuye6os/UE2HyJSM81DIPmFRlB2l5kiJxtdb2Pud8Xc6BazTgY8uwN3u5F/99+c7T2lTf2bhaTOIz+r/8Qz7bhY8Gd9FdVgbVsoKrlOw1vIEGW5A+DbvS/+pPmFt44DqzQcuy9jXNYk1reJadHhVUO9SsVshjwXOrHkj3o/7eqCw1z6P+GpNAXRej/m9bZ1ODVbGDrTffw1bJg8i6PzN0zdPgo6PipSIMOdjGHdfei/+nBb+hfSyggcnug9zj6/3765i0NOA9iBEilcc9ZEO6T3r5pFQ2uiG3gGZ0OgX5lx6FXgmGQ+HviFGtlGGzirfmoiP6vsGtVrupkwKGVVecL0P9d+ha+p+aZsG1c0/7N//7fpv+KNcyBjdXMsDWzLBAsvi4plswGKb0bt35HhMLNO4dtCvKZcMnfcpLbEgZhx6qkf6P/jxtYf1AFJpQFsEV4XxLA5BmOKCpAdwkO/V16lQNx4n3cMvT/mnLqxfH/z32Xrrm2PhMEpPIcZjRoUKT6Y5tMMh38d1WrBwfSYM/xW+qDuhSoHyvxt8C5fmP7Vj0b9L9WclBhFJsEh7cUBFXKhUCGcERANc6JGCuCqYb+n3H+YpdIQY9xav+uWMSGPZHZkat82LBsyi/9Ijr6nt+H3gk2G3afCfzig251oJLmL/AQYHql4dJvCS4sSZUgz6bjfft1vN1pzgGniBdT3jgHlfeLfPgdwAQZ00jmhVwCqs6OL7EOxr44800vG/2vl7WpQsiRAuqbQh3HNLhQ8F5ow0FtEkQavnGv8ifDp+jGI7rof7vCnNLODQQcTLsUk3yBBR9ki0W0Zemg4fUonoT+p7VKfW/uYIHDbFR30gcSNAo+pT8i0+Gk61W/BPT/IjGVsAM4v8OzmzIXjZCg/cmWfvP1TBh2PKT0R4oODeJpUs/R/5d2Fx+IQ/9zmNSU7p908Li5Qt7EjwVxGsfXSJlRoY5V2MeepED4yRTx7G7c/5ua1brRa+ly5sHvKBzIT4rcX4HeMjSPdVmTQ4eyN/JnNT3JwOveM3bsHgsyk6QM6H7o5k7OgJ4aBypyt8IjRzIE+R62C8K9pcX7SUMA990Phc5X+zGXH6pfb0jE57xmlXzf+TgGtLarTVHbyGC739nowE98rut1B4XHSSC969EaRh0TXn6n3S51xV7++2TOHPp/S49cfKEOHSzPWQZk4P+v1087xaD/xx/HkIa9mTBdH8te6AsB1tJjCem+TLARVDhEQv9Xeu72NcdecytbU99fngNhqZezEl3ZcNZUrm1pNxWSt1I/++B9LP9gLnse59SSr69rvqez4dzCnvIv6H+l1VlXV9STQNCqw/UZDwOMM2H3HQE2PKz3SbbcywBNfde5hNd43kh/Vlecw/sWI3bKCnDBmaeBdVqHCTE7VA6Hov+F37isKluL17X6nU3KGS5w79hOZ5LZEHp1usN6LhDavJPcTMVYMHysUTMA3V/4UFSrLIUFDZIFFq/3UEHUoM/1KPrf1/vzudkeKrwNSU0WQv8702rchngZoHW4JbcB56LEr1n2nyYqDPb7nluM/rdbXt9xDXseT5XStpmfIXB5RuSMljD2Dmlz8RgyFWx/3LadECGg1ranRBD9b0PPfFz0hw5ie74HLC2nQuuajXP7fFnQ/bG9WAUdIhRPF9lpg89rf25w/SkOTDWVNxpPs+DK56y6EPR/8KvztstjCejYI2XrjudpSs947XQsE3y6f73V7Q+EeRf+32T0P7lQyrH8PhM8Vq6XXmuH/Vjr3sRpHRYkRr8M8jmCfVjD6ksS+n977UHWLVc85wefzmnh9fLnW+57lBsEfWZ7nt8QoENmuVnW+iQa9Py8OXzagga/H69auCIdBpH9Pltq0f9/2j5xLELY4MBQ32CI/t/msWx05gbO1ZyLmfvQ/1cuWsqqteD7OZ4vLYAO0LDveDiURQYTR35KgBELiLLJyq3of8sc1lE5MzqEp7RnnUL/i8fGxi1GBy1RPEIq86XAhcrsbMGHXBDdakjy4qPB5csd4RPo/1t1N7IGF0jQM6VQ4G5LAGXUpctlMROSX/UuXoX+79Nxj1mXQYHlCrzxN1JoMNOgXppcEQLvFPZL/JpkgvDnpFPTwiyYs1MqVTImoMhzl09OViB0iyvw8zynwqUu+6RL+gRkhgjlC0qx4VXv98FTX9hwWYA2tKORCW1GlhH6/XQgVSd/PyJHQE/ojZ0t6P+ZoJibT9D/oN71yRL75/4hrks6+t/ldPKYMvrf09ipsf95CFzMP9ZmhP1zetyTpolzK8yptGblPuwnqttbX1wJBvtOIcVr6P/6DZWKjU5s2CmqbZjbxAS2VOkABV15Vc6nqFOICuZXbig+Qv/HWqkf+a7KghuT6iejC+gQxGfi+NAA3XLph2Is7htRCckaab5Q+BXn292E/1o/8jyjc50JuzKXZJA62SBH2mVgbcCFmW5GYko8Dd4bOSTUa5OBs7Pv0AXrMJDKvbt1Av2vcnvqyDkPAm5ORfBx0f8CpyeP+fPj/BGTGenA/dIRk7AjqIQNK6ST2wdamPDX9ZzxQgUNVs6bTLqv48AFKiXhMfqzfcpWRxP7e6vorlPfayhgXOQisQL9v2J6V8bSl3Q4ZKbiuRT9X//PsPacSATES8RLHZ0LBr1rcTWB6P/MVW1NVhuDwFaD304E9w7zkZrDTfS/+Y/SDrtxOkgSq+iJG3EOdNPXyBSyQUTo43xSEAsWPQ9OTyBxIezjjblv+NxVbZprLYvQTUGn/J3VQ2DguBxjdjcHJg8sXEpEP0tPbDodsJgEGXrrx5+j/3WOXtyu/ZkEftpP9ti8ZILGtiRvHnTXC8nuVfqmTGhqUORb+pMBvxTzjjq/ZkLQ8Nz7Xnc2mJYoyvH9oMJf6sYHvNh3zmVM2wzIUcCBR3Dbdezfs6ddGv9lUqA30etMwyAb3op8O3nfjg3yU6lZPuh/QUPyn71KTCB977Da6hkE//ZaD3ktJeCALKGTs5cMFfHaoh+PcyHTc7vnlm10eOg35rAOr3+HY9uaSVcCYoh1bV8KKcAbHl6Whjk1Ej+QzhFmw+vvte0H0BcmV/Oi7NH/53QN3FPQ/58HG/tWof+7bl4ZJddz4YZ/cMfRYSp8ZT5VV8Bz3TVeb+8hSgPlTQ8q1IoZ8MckuvMn+l/8qvG5h/fJIM8pKFqiwYA9j89IXdPCPDSecdP/TUBrTN9KRfS/zc4ato7XBRB/qGM9gufvXVWygXgKByx9Nhq87Q2GGaZ10XprNmSsea6XeZyA5Tx6S5voTCC3BhJBHBb0PolOl8U9UPllmftH9P/1g0Hu13WDoG593Q+bGA5QOdryyej/HP4Hf5midFBQYUVtRf/zfynN6IrFc/rUq1B7DvtiWOiPXvR/58SaX2qSDHD2z4hehf7XsHcfYKNPdiiKG3Vh75wcWBV29gYTViyVrhfmYUL8aQmpzZno9o+phmYbmDDrQ83VQv8rRdrNl+Be8P8w9ZuoZADjqfHZbyUMiPIoV/yE/i95eey6aSg6fFvC1XvbmRDF/7dY6gIBTYqSJ9ZgfgP5mw4/XMSFp3MBfqPoZ5bsgZ98lmQolzS1OI5uMo4cT5JuIODcmXMrB0poQN275VDQ4jBYv6zz9c49bJyH0lXO/GyosDw8bYj+t1/76LhIAhvG7VY/CCZzoECk/eSNESq4fTbpPltMBc7lj0PndtPgnsmJJH4nMvwbPuncocmGj7KSoNpJBb+68KkGfI5KPj36wWvIsILny3KrKPTD72H1IE4IfGyRt6Wj/1fNjPh4of+dLlQoiZxkgYZyvwMqEKJf/attViVgJXto7+NcLlTGffycgb3lgt+Stlti6P9EvdN2XmxIubDyzLIEFryw5IuRNmKAaW9y6sqqEBi6UlcZsJoFQ2uKX7hFsmHi/KdItVIKuEW8OJeyiAV6mxMSkw6woebH6fuOYhRQGJ045v0G+3jC7cZwPKcFBT3TmSq4vwKPdTekscEvV+hWLPaorql7b/MyGHCTvGfbSUHci0fsPE49pMPZwuLLs+icJ/Osu+MdVEi49Wfg6/JQcOizucHQocLBZ7/CNeU4oPLx0DNr7M3DO948fYDvzc+yWmW1BAHHk50uJqP/667m93t4E0ANytvEf5oOIR6VE5ubQqHuyrqV4pjvreKmdKVlLIgO2K+7CP1/UfkcdYVUMPh9OeLSvhn72ee74ibYaz5Pse5ln8DnryGXJ7M1FHyWv3aYtgiGVeElT/IUcK4a26edQv8fdXK9eA39X9ZC7f4QT4BcYmA+D/o/dU+KaC8/FRbXa0fsaaPAOzXbV+/PM4AnkyJYjf4fil8xsX6KA2mk94SQAAHr7rQ577rLBbff/bTg/TQQr2r8txp7yRaHaeolc+wds298E1lBUMzpDtJE/9NZ9O9i6JaSrtH2e944t6r+TNii/90Cak3t/YLh/kcplpg2EyYDNqin4PWFpW4/lvmNCemytxUPbMJeoG9yrcSQAdTTRx4EibGBx2uwL9CRCRl7aDWvMC9AX/PJy5EGz1IkftWh/40HrIvc7Miw+4H67+IFKqQ9Sg02xvsii3yQy3RnAYUE3ud8OFA5I3ij5ikB8W9GKp+i/72zlbiSNjRYF6U5WNKOvUL0StT5yRA4JTQm1V2IHlXcTXJpY0PuL3Uf17IQONtb66VxngVhRkLh1K0EOPrdc93+nQ7atevV/ND/IwpPT3Y+JMOP7GvHUtH/FottGbkNZHhjMuAwhP6f7A4jBnNo0GwzJ30e/Z9MX2lbgf43OPMqr8AT57nHgd4kXg6Mb/kXKOzDBb5VX5z1sPc2pMVYJ8pRoV6Om3aehwKj8nv0dHU4MLziRK/nVSbO1xnnz1sIcEneNPP8PAE74vZGrlUnQd2dJG1J7In3vKKK9lO5YPp096MG9P/VRw3ed9H/AbmlUq/Q/27P6PKf0f+C5X1OReEkGD5ZzVpKY0BluXD2NVU8J8Ktu//moR+2pxBbLGkwt3nfWffPuCd1SzYv6gyBz2kGnaM9bOj8zrMD0P/hf3Si73wgYP5EXdhXgzAIDL+6+xj6nxAa2+GL/jeY5S2aNAqGG64f1E3Q/yxFtbkcLyo4hV5ekor96ohQqNA+3IdH/G/Btjo23Euoadq7kQTBbdZv1p/EPXF52DPjGgfebSqk3MtmgYnqV5ceXSrEKz9aP/6YAZKGqj9MB4Kgd2PUtS70v+Yj/3EH9L//Qpj+ZfS/5uZJHWYNfr5Q8J9gdzr0tElddkP/n/O41PUA/X8x0lPw72sKMNc/PhuG/n8VPfgjj58DAopCDfvR/6M7N1Lo6P8+m/grO9D/Vobb3oai/x+dbKDZrMK5m+MRaBtHgd9zV3OTvjJgZ11OaTn6X9nLqqMe/U/X+LO8dJYAse1e00FDHDD86WlyAPsYd5izGtD/X8ardWQuhsJWap8IFDKxHyYy7FrD4IS0zG5SORP20edzRc2YcP2XdNp79P+Kn1Yah9D/nx5KLOxF/zewdvgpo//Lgy+3hXtzgOfL3w126P+DJAmxKE0aJKqwPuml0OGbbXyj5gUabKf7BZpr4/kvE3y2CP1PHdzmsAHn2Csr3+faLBJs7zxkdwD9P/7wwausQAYsvv9yfRv6/3Ytj/QomYC13K2itbxseNAskfIH/V+ZM1u8lU4H4sY7TQXsYXBqwVsF/W9US1zLQpdGC0g8ZqP/PQU2PShF/4/w5iqKov+Pzl4LUsA56PQkVqcB/V/9cf3z6Rw8L4+F6Prof4/6ovgtLkyoUPMONztEgX9Jy0pva3LBrOJskpgOCW5efhqnex49cTEqd2w5CXYtCny3cSMBd8n8fbvQ/xbldsXFMnRI+nT82+h9At5nTDmrov+5EW95LzaQwEh5JL+eQofIa/dHY43Z4PhK37MH/d+fdnt22zAJnNVnqRfR/6YR2VUj6H+n3GVPS3Gu0EP5HJbN0UAvdArEh+mQ4TPz4RT6X3g+MfWpKfa7k65eF39T4OZBCSfoYgBbLnTlzSo2RKg2/LiD/m+JCHY+RafCcYvFN35k02HZ7sj1lWfJEHPJdff7u/g5cxG559DN+wIWq1lt4cDxw0yxcNzLZ4/S7G/j3lLT3zFMQ/+X5Rz5kdyK7vgeoN2Oz9nDCrbwXmeA7PH9lrsbySC86ojkL/T/WBYfuWqMBFL5q3maa5hg3d4drIX+D7Tn9w/QYsArS63fYSZ0ENIeu9GjiX0hlNtQ+4kOz55neKT4MEGIuVY2Gv3/vNiHOo3+n9miF7nJGn1X9nV550sG8L970bliIwe0pyN2d6D/3QbVlyj0UmF56B1rPn+8b0r5WXn0v6pf5udu9D/HNY2RdpsBRjYNiZofSGB98IGPLh8DntS+el6D/u86np1n4cAAlSttWVUlBOSbnzXX92NCq1KgT+Vy7Lcx402bsPeZlW5cQdJnAdmsOMNNCvvXmZLpKPS/rHrL8YtUNmyPsguM+RsIaoYlp1dJsOB65usIFfT/p1HriInbLEhOfLzy7S4qPEsjNpPQ/1pyi0rIeN2pHkrSD9+y4BFv4o/SRQxwdNjXGKBEBdloO7JsMxXWvJ2vltpDgPvcI00F7HmR+R/aJn+EwKfD50WnV1HgdZIVfSQE59NMenIq+j+UdzA3H/1/KtZ61B3932x2Olu/jAo6AcNf0tD/SUtEacvR/z9u95BTLdlwrsyxfhr972tboH7/NwskqeWNxTjX1+zdPFeL/jeS/2UWjv53ubHLPgj9P3d0t9c69P8ZAT/yBvR/vZju4uh0Jmyquy5piv1yzusQr6cuC4bXhYp2ov9bXP4Qpej/2wNzIRZuJPhwbF9ZO/r/bUldie+zINj7PbxVQZAO8q3Jl8sTaaALHn2aVjSA/QkxEjJhUKT6Lb8V/U95qi2dhP4//jb1wccldDjvPDfwAl1x8c+AT9pSJmyr1qwxQP931JVbWaID1hI1hz/gvnRJOn75Avq4vfk6z9FbBGx9P3tt3pQOzF7RG3/R/8OMg07RORSIvuh7k43+35X1PksP/R/QVL27agleR2Hknufo//FTnWwZHjK88j6lkor+X+9lOmiEPq239hPYgP5fHuV/KBL9P7rDdl4R/W994K5VYnkIFNwyG4MpJkx5TrZ+Qf9Hu3TkN5uiXwtPmz9D/z9TuzC5o4AKd449XsGDe/9zjEzF9bVsGGIPZR5C/ydeoLM10f9fjzt9XYp9YEPWorYwGQKcb/E2XTDhwOvFKXmx/3//zyv44D72z1/vl5EkdnJBs+UOfzb6f75+s70l+t+gsGW1Jfrf98wuaTt0aIG2f68l9pyukPpYy8vB4D7bIqWPPZoUHeJcfZgNRlNdF0XQ/2Gm5vwCpUzQe9eo1oz+L7Ud6H6A/s+bzA1SUWFBjvFGc1ohHbLKDiy6jf5PoRZba8yxQPWzg8dRdP8SvSQqz7JQ2MO3m1YYx4SRQdZDOfTX/k2RxqPo/4JKek/ATRpw/2ZckNchQ9Z9RpK8TRiIfYzOKcTnmzUVeqDenYAb29RYD07Qocy2kH4G/e93M9PYM4AGD2qqXezR/+uXFax4hf7/kDB2f+5//5u7EcHYm41HdEe90f/Xlf4y12J/Lz39etM39P9hw91fsrgEbM7c/nkB/W878S65fxh7hsdWRQb6P1Ekai3PfDB8KdY27UX/99wf8b2hEAR83VYVJ4PZMEpwCl9FU0DL9bPCsgk6LM59djUV/b8q32bzBvS/3SZu3Tv0f2WTUdXXYC4I+v94vkGeAA1pWupF9H+FZLiABvpf8+DyEyHof7+3JHkV9POLK2Mt15eSIDytdfHMAQrsfuby5VYbvsd3N08dQP/vXW5x+wb6//2VipIuEyb0Cs3OLP/BgGMCNnb86H9Z52WPF9D/P+ce+Rz7SYXNlKh/vktYQD36fIMf+p/d6h5hhP53GPG9W4D+p+91ZCj9ZMPjrw46FbZssIi/QV+O/l86JDxugC6oao+p9EL/14l/sdXjI6Daa4HIdiDD3Rtico4nuHBfsONCBvrfNMFV5Ahe/6SbLHXejYA+bxcR2XwKgMrn1MeYU+m1ryfY6P/zO5U7HNEXN+77i/Gh/6lVpxKPGOE8sHn9dfYtG84qp17QR/9rCzyz9fpFBQPW37te2JMahMnYMGjgHylY4IT+1/OalQ9D/2eUcOU/of8PHrS7+XgLAxR70rLWov+VUk3O+KD/+1K+F45cIeCMg7Sbqc8FWMN7oGxTF+ZLIaBLFP2ffTv5YFl7MHjzVQxJo/8t0+I+HDtBQORPqx+1DNxbj7I3inBZ8LmxdOg87oHThe/YbPR/QfYkzy+DIJAoDzj8OJoD1uVyuf7Yb5Z/up6Vhf4fddmZfPb/7/+38MsMXqOBY3nx1Q2zTDiVbTQynohzanhbTo4U7s+MqXdvC0Lh0bHTEU7of+GGwmlp9H/EHGm2Gf0/ULvqXfQCA6yaV3DvPCQg+Zjr1ZdyTBi16p3wXk9A7ejkaan7TDDs/j5aX8GAe+JryJqlDPje4LDoH3om0klbMp/Lgc78qUsvdjLhdoENrxX636bCwUNcjQXHtinK7FrMhUTNmz35Fpjv9r9GPej/2QeX+vvQ/3OL4xpJ6P+lbc2Zgeh/g6MvhOoWhcFmK5XHOfZs+Cep5Oy8nA1ZbXcvcIMY0GYWOiZ8iw0JwkJuDuj/iXV5fKX4Hk+uDHxSUEQF+RJLniV7aNi3824ZHyLDfiv1vhz0v8RGMVo7+n/xgW/8i9H/Ws+eklPQ/5tfOlwyQv/LC4js/cUOAXtF61Ux5iQ4WBn1UjqcAOOOZzmDrixozdswU4v+P79qSv01OsA+75v68TwuxLy8JX4WPVH1+c2fPgkqCOb8MQxC/+sPOr1siGfBS5WzC8PGDPCWLjcQeB8CzivP5aSh/+f1OE0L6P/Yu/pRPiUUGDl45ogkzo8DQaJR0tiHuubL//7/+7vZfrOutHIKPN9MjO3Dc6oga5vYrUyD7FyVALG7bGiLoygcxx5Fyvu3O/Y+AyqOC/+NQv/b6WoaGaP/FXsEx+59CwEL2eR1pM9UmNL2vNmE81IiwfdEDfpfQfmC7RqcYyOJu5+meFAg+xJPiyu+t5wzcYbr0f+iT+p2qaP/7Saec23Q/w3qCpOX0P/L6SJVnxtDYcGU/FUFe2+sq++ZpuUscHsdxDqB/ud9czNo0dpgUN37SEZXEfs767qGvQwTyhz9dLsxnzVsx+pSvVBwya6u3WETDNvtjUsvrKNBxobYkEGcQ7RAnbhtXwh4KNM1vw79z9YuUXOiMGHt365xzjIqOIvX1Hm2UODgtu1KaQEMyG6py+hE/686amxXPcGBuyIrefKW4/WOFDz+m8aFSysq8gz30UD1otvaESs23GkM6UtC/z+UZMi1o/8fSZ44lIz+H9GUHswqYAJ7Rrm3Bv0/bvJ4x/vtVGgsMCPt9g8G4SbS1TE1vJ+1wXrmHeiX06dUSejhlSej8ys2M4CVekR2uT4D/o3YmV1D/w+ufrrrOvo/d9/GmpUOBKi7BRj/3E+Djh8WNRbof5XMwV3K6P+JQ5eS7/PQYIBX+YXZZwqEH4pMvXqKBQImrKYedJBhDH3Z22e416ddlHTR/1G0ewfu2eLzupfYqdBBAYdHwicC0HM1g7zW0eh/Gbqs2JVWNhiTv09mof8/8ae/nPdnwcAizWwx7AFvaMLlFv10MGnPzzObpkGMQNH+T9hnUuv3PJFH/zd/nmHaov+3xSjs2vr/9128Q1XXsmnA6Xh68//v/8eHzJ4toP8T7i1oks6y4P6VREnzBTYUDZsvq0X/T9iXvHu8hwGunY9Ca////b9ZO7XtHxm8essbErU4IBUqcco9kgmu0zZjC5oEZFicSShE/xsluziKbyGBSatw+EwsC3jf1eupo/8jLGnK7eYs6Pqeyt6I/h+1Wy+vroLP9ZRvb443C67wXU9UjyBB7wba+0kqAxaMJ5b+VaPCxxfWmzTR/0+HT8t6m9FgKTnl/fp2PNea+Zf+YS7mg4uZGr1smF6nqnKXxIDo107TS+oI4KP1aw2g/+OEcu9WepKB3dxfd1+VAMu3Z0NiTYPBp1o3uDOJAm+36IaYe1NBz3pJ1e5tBFC8VlU1LGYBZ95+cCP6/8xBERlV9P/EoYE6DfT/Rfn4RnYsB3Y9eLc6GP0/WHZM5Dvm8A6NTzErhwH5nO6Ouv4gSLy35TrjFBMkXr1YV43+T6QNHLi7hg0bTtbprK9lwfoA4WIxzOGlN+aDGjp0CDMuz/FB/5/+k/k4Hv1/m5lQXoPz4rXF39R1AhwI/JWrI1nEAqcAs82RwjQQ134+Vz4VAsQj3wk/9D91eFq+C/0ff0+6oDiWAhbR06NX0f+bO06sFUP/N7ikdf3/+//3z9c2G80QkP36CXfqJwe27spXd/7LggzLFVllSbh/VVxKFCJCgfprXN8lnwmXAw978LWEwb/t264Z4f7+tf/i8wXsFduOWF0qQf9H2XgOT+YxQOFomEv1FdzXszMLAej/i8fuO8t54TnJSnSzxPmmnCGbtEKLBl9jK29636HD/PjlmjHsZ7T2GYOn6P9th+c5ObgfK9885I0/Q4GMrZ6cnej//vJghQ3r8D3vbJGUQP/H6hanlAyTwbG1LGsXhYCiIz9jSxZYUORxhMZE/x+cuxQ+RkPXnHfhW4X+l/VsGdBW58CFQ7f1D/ESsHOV7ooTYlzI7ek3XY7+v33mwWyhGQdWNCb67B5gw5Yf4Dnmz4TPMnsvtz4hwN+0MJ4X/V+9J78835kJkpueOKU5UkBs+WG3WvR/o5vsTxtN7BmsFsPZADLsK5+KbEX/p2SEZ+hjnzvHviySgP7XS11GF5RFxz7jVOWj/9e+f3BOsZ0FBbUxHU21JPio8sjXmkqHnQ1WCyHo/w+HmTb3cX7z9R5Uch4igUxGrGEO+v9o3tu+YvR/0lHRePDlgLCkjYU3+t9L9/ITCfS/85ua12/QceulqtVczajQ/UrMuh/935Vbtby3kwFaWxOFXlWz4Vi3YdFi9H+x9k4FIwYV9p7q7b6N/q+802/27gwZthq5bv+A/qdSLfwZmP8yAfHL33kpsFfs2fpcHQ74r2zs+xDFhJ7P8XzbMf/O35Vr//gTMEfMuUZpkOBO9YPLFejEtwcFW3wpXPgzSa5gWLDg2hZfpzHMv5zwSJQg5t+w7yV1HPMfGcDaeRTzvynxu2kOgwGhTwjeaHUq/M72+MyfT4a+k3n0l6Y0mC4/1hOI+VexVlfuw/yzzM+/ftKDc3rRkYLcEAZkCFvsvI35f6Wb8zZ5WxhIK/f1B3qTYaexem8x7n3VtpIkSQiGJHixQhnzf2XJ3FQt5l/ObWeEAuZf1TbPxRP7sEtpTERpDRsEZVKN7m0iwe2u1kNfXQhIXUPKL8H8v6ewPtfnYB4Vt+//gPkvsBUYn3jEgBVxW5t6MP9b5E3YqzD/G09c3XjaNAh8g07mnJFkQ5SvQR0F8z+2edwmwYMOi5rCLSYx/5t2kArOYv4bG7X8z2OfeOl0W+cp5n+JaHfRi2UcyOr1TB94wYLXpBWZm0Ro8Ddj2+j33yEQx1uYJ7AyDFpWzhwpw/xXu9XGhcRR4KSpxf3nHQy40He9KgHnmNIpvoWNc0w4qbXV69kfAr7P6zuUY/6JKXG1xZj/1vw3i08ks8F1iOn8F/P/3r7512bMv8p46NG2T2HQa+Xmvg17QV/Truc5ZkzY83wsiV2M73HfNe8XhQzo/7qgHob5T0xVXxSL+Z9lfB/sw/x/1PR9ZqKPez91NKtPkwbqY8y3h9LoQOpp0jyL+bfn1ZpI0aKA967rIr3Y68ZefItdfpoCkrRb1deI/39H1qjejPmfHV0X8gjzn5Y+WZIwRIYdkSmLwzD/IavlT4zzsMGjdHWjri8bqiq719yko9euXF7k9v/3sMuWXrDZwoFb5Me/L2H+Tevf9W/H/N/v4CqWYf5PnAh3EgQOlN0Q22KI+Vca6t71DfO/5G1T5XfMP+loodxxzD9rvUeWAubfWMxO7dZBCgRE7+52x/wHerad1cfzThvknP2H+Q+OSzuwWIAETTwxhzdi/nfY8Tntwfx7Xr1Nl5Ojw+uGNfFK6QS4ON2eLcL8HwprgMp6vE8ZAQs/zH/k6revHDD/tFtbT1Rg/is5iSvhJwmGVlBf229gQnwRzyEhaTokx11OV8D8v3TLmWnG/E/kvfM0G6JDSUGMO+McC7Rl4mcNMf8HrvX6aWL+Ywa9jUm9//9+eHFIFOZ/tq2Z4MH+3UUOOnSdTgWfUve4N5h/EaeTvwJxX+p8bbnWjPkvEtmTvdSfDZIjJ3fS1TjAWDXgUXmYDPp3SA5f8b3eCvPmE3FiQ2AY+bpdCwHy1Q9+Oi8wwdffeKwO+5zv4v1a5s1kWBJPWLcNMEF7s9hC8ygJfD+dmntag3thrcL1Ra5MEA6S7fuozQAX2beRa7XpkFLh8c5/EwNWf5Jqk/5Ch6bgdtH9Pnju1qeoXOsPgaTGT3wfvLF/fB4qPWjFhJRrUk/y0X0PZF55fJDngKtu8TjDlQ1P5op+M7qxvxg28ov64fneFqRXfY4AbzPyY6/7bKgRKvRkpmDvVrlCuON7uP7LaOPzJTh/tr+dWoW9eeztCy0HBwZMyG488LKUAIn3Bmc7/ZiwxuB706JlXAhJPJ12R5sJn0LuzV/Xw3lnH3qVT5oJSe6tR7U8uWAdOc+6TGFDU+XrOvJcIFSa/K1MFmOBn4DMe4HrLGB6KfDkoDNE9FeeV9lDhSVWT0Sr/nHg8XuRx9a9VBCQt32sW8mCBifVMjs+BvQEib1sVaaCRjfxYV8jFdJ3/aAK7SEg8/yhnyN3mbD49wwr4WcISBVnkKlCFKhwXx5dH0KFez+tniSKEbCOPvJY5AH+nRCLNUN/6WC48GHbu1fo6JrmGjecwyP6p3TnNuJe/9b/tg69q6xtXvfEnQM+778pfJlmgepGTZUC7HXDctfOm8QREGhXZBbzHj1XFHbsaCz2yqqSXU0DgVD9ZGr232M2PCX7/qnMYMJU1BH789uZ8CHqrFa4LgvqZD8IaThywEZe3j/oOwH7Vxpv1ncnwRJ3+7x/BBX4B0z2jz0NgrlQ2fQ+QTrMDWyt77lFg1giLnC1NQ0YqkYTy2XCYP3KN1ZNO/A6N+TPHA7Bc5hgcf4gHx2e9FiVtsbT4UXcebuj/EzgKBkXBTWyoMltz3ChOgPYMZbvpbLIsItlZ1m/jQXOaXWhBxIJWHBbJyBoQofbhno2Qy1cuObgO6ecg64yCwlR96WAm8SbCIlMLgxpZxKq/DQQ0dZySY5mwsOKE67MxWSgt7X3cmwIuNC9L4F/KRPq3VzVPTewYOtX7Uz5BxQ4dkhM6uodnN/zDc/fY68/oRlJz/6NvUKqom5OhAXcznshA5Y4NxxGdkrkBkKR2NxU4DMqiHdF3IrE3r/yodxhOSl8rn1hgy872JB29LBrbCMTplWDqzb00mHQ9VikniwBe9Pmxg8Yc8ByEXGFZcSCap3N98Vwnxz8XVnGt50L95Y2C///+x/VsmubFp6GQMu+9xYS6QzomDeQ0l1PQEWIxNgseus/J10MXQ==","choose_pairs_format":"base64(zlib(bytes)); bytes = little-endian float64 edges, unrounded, concatenated in the order of choose_pairs_layout, each arm in ascending seed order; pair a setting with QLX5 by seed. raw sha256 3225dd7187cf36726a8b53d8e6037ffeb73619e64921854aad5c64c97490dd86","choose_pairs_layout":[{"arm":"QLX5","first_seed":64000,"last_seed":64511,"count":512},{"arm":"w11_a100_nc5","first_seed":64000,"last_seed":64511,"count":512},{"arm":"w11_a150_nc5","first_seed":64000,"last_seed":64511,"count":512},{"arm":"w11_a250_nc5","first_seed":64000,"last_seed":64127,"count":128},{"arm":"w11_a300_nc5","first_seed":64000,"last_seed":64255,"count":256}],"policy_config":{"how":"No source patch is needed: the three parameters are knobs of the unchanged qlxcore.py. In a directory holding the unpacked A/60dc237f bundle files and qlx_tables.json: import qlxcore; qlxcore.run(SEED, split_window=11, pull_alpha=ALPHA_WAD, split_nc=5)[\"edge\"] is the setting, qlxcore.run(SEED)[\"edge\"] is QLX5.","settings":[{"name":"w11_a100_nc5","knobs":{"split_window":11,"pull_alpha":100000000000000000,"split_nc":5},"config_sha256":"56765af498a3a170f7cc0bcf9c71e322233ac57e49cd2e31a7f36eb718967680"},{"name":"w11_a150_nc5","knobs":{"split_window":11,"pull_alpha":150000000000000000,"split_nc":5},"config_sha256":"424b789e5bae5bc6ada2f7bd07ff9116f82923f9c8fb81bf77950d43d3fa11e8"},{"name":"w11_a250_nc5","knobs":{"split_window":11,"pull_alpha":250000000000000000,"split_nc":5},"config_sha256":"f11a7af55fd72f9dc75241705a5d4e82df0515bfd364777dd37bddbb3cfe46b2"},{"name":"w11_a300_nc5","knobs":{"split_window":11,"pull_alpha":300000000000000000,"split_nc":5},"config_sha256":"b11f0fcf0e898c11ad383be9c2c142ab494af20913847596d651a6e163145ccf"}],"what_the_knobs_change":"split_window: the split test (qHitX) runs when timestamp < previous own callback + 11 instead of + 7. pull_alpha: on a retail-read callback with no split hit where the rival bound does not bind and c != r, ln r moves this fraction (instead of 0.35) of the way to ln c. split_nc=5 is the QLX5 default.","driver_zb64":"eNrFWmtv20YW/a5fMWhgkExpWpJjJ5WXwSaO2wbdxlnJ6e5WEIgxOZJYSyTDIf2o4f++584MJZKSHwmK1EBscl73fe69wzxjx7mI4mLAzvjNIs2ZPSuW4UUSz+aF47JZXMzLcy9Ml3vr8T2+XO7KePnPF696fX64/6q/3+sd9l+I3kH3kIe8t98L+f5BuP/y1fSH/W70A8uFFDwP53syXVyKyOs8Y0MhyyU/XwiWlYvF7lWcROkV08tYmrBiLpi45mHB/v2v/x7ghGwRh5zZb/YOu1HY3385ZZ8X12GaCy+7Yd8zkcziRNB7MMWIy8oknPNkJiKHyJWSz8SAZTfFHIfvvme7b1mUx5cip+3Hp8OT4N37Ifvl/Zn6++bTOzwdj35jo7M3ZyfeHxK73n5699PJWTDqxMsszQsmb6TLUvyjWZcV8VK4bM7lfBGfu0wWeRkWLluWiyLO8jQUUsbJjHHJllmHKLpEztW0XE3INUSYT6d7PJ9djnsTd/3Sr7/s119e4GW6SHlhr4YOJk7neHiC43Ge9Q0NbHX+czr85WQ4At1XR2x4+unDOzz2+nj58RNx0/W6+0fs+M3HgNa8OGDP2WG389PwPa0bR3EIMWDxItCO4fd6rnKUgC+yOfc5BFfTSegfOGwKuTiLkw4zP3av2/5xGbjfGOtvGdvf2OtMOsc/n56OTsCcffhCrTo86Pb3HQh38vF0SCJpmiDT77546XTOgvcffsMwuYVHv2yn04nElCUczxfOAEoryjxh1tVOFPCd7n4EaXYii+0w+2Js1cW3YFsMrRVgTdjeHut12fPnEEtNVvqwYHQiE8o5t9M1GeOYHob7B4c2+awXlctM2imUCX8OLsSN9M/yEl4sRcZzXqS59G3LtVxmDSzH8UQSphEEcby5uI7imZCFranNr+3rNS3t+17Gwwvbeh1h/7XaUqkgTmJsHChzkbdmvJh7cSJFXtjQIAUHNJtKL5xHcW6rd7UxTYRdcHlh9vJ8SbyKCBpI0nNJ6sasmjNBakCCwu6zGi+aNjliOQY+e3mZ2Pqk58/VWY5abQSqEcrHlohmgkyCx5AvFtI8F3ksqud5XKjHGiW2ywotvuSXwh4ZGYplBgZU9APGLA/v1hFbmcceAWMykdgYhxmuYAalGQJEHgo9rHYb3cqCF9LOeJzL+zUM4HHqWpKkI72YoEfBKvB5yfP4T2GP7WzchTAZ4AdSZIAkHXMZLMkUKQww9oxdxOYsQlXiJJZFHMoBWwoOiJSRnez2nD35GWwkmoOIAr52cvvguhkULiS+HFsJKZcODaJ4OqWR1QvNSEFDUlkJcphF5dKOnPVAID+rsWuAz7Uie01ksWSFI9WPOvyc07HYsIVNh+2xBaykXwxrIU8is6H/yIYNikmQpTIukKEMj69Zt8EjVvwp8tTM+n57ehkb3eBBib3k12aAX9vbhLxCuBcHpDj9REiiXAqxEeRpmUR2lqYLuJuOBWQ+xAV+n/OkisjvvvuOxgbslmBuoMPy7kgtGSj7Kfxju6/ZLZ1hAyqAG2MKKZepaELQUCAhlSKGJnfMzkQu4UeUyXG8DhpEOXnq2KZMgOjX/ihJeMWaTgmYoBHiyIsLsZSIwphCJLdhgCQtaHY0JuYmnhQFhOVI13To7Z0z2Y4XYVbqBKamDR3wQPwT72DcZZE6mtTlxUueBWWS5pFAqWUDwlzNP9bPy+RCIsT8ntEf/RiGxnwy1pxOSNLa8RPNxPc+yNTDowU2Lq1ylZcpesaaSw6HMOQo+SqoQeEA1ghnNJYoPaUGN8Q11C/NDBMLKXQkhqp09HWJAd66fo0DEE5n/nhCUqapFAEJ5d/euVTLUbqp3jf88Ct+NAl1+hV8KJA+7KPkrx7hw3jSkDOq29qCewXk4bQRmeoDDKSXkfWgn2XmzUQRhGlSiGush8UvLMf7iFnblDmuymgxX8CUuU/PBtug7oWYUq6rbGTqu11mN62lyoX1rhA+09qpi6WNjSMkni6FarWVknJC4q637neRWtQYoM7GjobMEwYf7nr99RE8DBHuhX2lfA7AfTXnRcNDLa1m7IUXXh3RiFK2HgjVANHT7+vCDF6VDNgmBzgEgJjUKcB9rInHMzhlZCt/Iy58+rWyskYlsNl3KmvroVAPKauDf+zT41t1h5rNcbT0RX6zFvMZ28UPI9xfoLlgcpleANOmaZmjvVAHiojxEkHA8vSKkBBPhAj4WxfZUjutFeIMGj5PWynCFx7CPc5sx1O1HBVeGtYWtEkFp+oVnMm4NziYNM6AJIqGiiqlz9u7xgJjSkxsQfNxDGPnyPGaXk70iCto5tai/ssCoN8huOpEnMb5aUlAOW5y1ThssBHodcQHrFEZ1BRjrIlPxsTbZGM/aDb8g5DfX4niassEujMMVgbzc9VFNSZRm2L4gGocgibKRj5gKreFY4ZoBYpc4TyOVzB+EEciQeXDF76tdlGCJgIMJQEVy7pTI06c1Zxj1OEbpWgO9ZCW6uXkCeRV9vRJo/oA/a4PeEVEKK/682pavenZHyZVGLTdSnmU0jFZ0ofioRYuJbQJ9ux0bDWEtrSc6ao+JhHxVpNovcSUzY0lZuxrUoM5VRfgjUPNEDllqiKqpA54E0maKtjAQqMR52grjFH6OKoq/MZBWU5atka/nv5yYrms1oCttexQD1/KuWrDnAZqAjrW60BYad+aDDbshaq7VKJX0Trl8QJLV1wdrVhBQv80Yo1V1BCppNFGQZVi42S2Gj/W8apTb81WhtnjJmfHXplFvBA2FWP+7aoJVk6lqkT/wmWzPI4CtLwItpiuUFJEN5rjwv+gyiZlJImiQuNUbOo7kZRLkdPhdIHg3FULgwi7fCR/9fdHjsJlrdOrOeTVnI4tWtDWJd09AUb5gF2OLcWhcR6Ue5dEFvtIGCSpWm15SRao2MaGWCqXaIKxURFRwHk4p8Yv9jw3NyavfaavHajf2K2eu0iprLeJpisxwDW5T83e57ngF40NCXW9NpWGYMKhA52KbJtTXU84aEDqRUnL02gKRMK5IPsFxinuczm4f23/psttUK6oto8bnow+/Xpiyj9tdZzdVihiFkdhwhy4nSDvMr+h4/vscmRaDJ8tUBfbOd0y2hxuxqnMUktaGPJg8jWtlAoETjeGlPNQygILrFrpTJG5iUV1yZm+PGqz3WRlQyiUZ72NpM1V2xQWm172th71Jk1DIeraAHkSDQ4ZRtb6sbdoZJyNcyQFl76rGNsQ/+0q15ueR904vK01QavyRHd5cuuhXpZmdtW/QmOyMPIqN20Lr+eVAdT8WEpFFn92exMzXWYE8n2pI4tGalcNMHgffqGP2ZKwaGKVA+nmwW6IZO4RjESGX6o3g/amtnZaO7cSXmXWTcL9bYSrnLm5fP8J1BTbbZJttvv3Ctwi3t74FA4IeFdGqpvtH3TrvA0wNX6TpMYx1h2HLDaJqLuDis6gdUAD9jUPyRaPMMilgQaYhGyCdW61Hm/kXmzHOwQxof+WmfqrroZbDuiufM9ti00AMjo7/Wg1+dYNvGVtLzWULlsoq9GFShyw0Zuqywf1oDpKc2VtMOmeCsYUEdNciD8Fs8/FVF3KJjfmNkChICVLanNE1Ch9LL3rvvZJlvmlugravVxbkeK3pSfMrssLGuDOw+l8a/V5f4pXlWeNhfa7ZinRRem9eX2yrVAgETehGDBsNLOqztGoihAgXNVLgqPK9C2ynOpapSgK1HCyKq3Y+Y360jYtixgtJ6xRoiiCMqpq76iyz/kiDS9YIi5FbmxkPenmhhdBWYT6YgixPFW9t7Xzv92d5e5OdLbz82Dn18HO6HfL3JXPlro7d1b3RAqeVZGtvSbQQvtUvNAtw/o2CaabCfirgg51hec427RWL1xU9a+VcX+FXF+0vXggC3mUAOmGkCsUyy9hUgBe56k24+Yrht/EFVN6IrzSZBrPAv0Bx1ffd7aufLxHrKwbUID423FwSwSttknx4CaFRo/xQAqKL+kL0/i6Sgvq8pomKDq/2nEeo/xX+NXTVCwCcjXRNJnzMNj+ODw5+X2zQay85v4OsbaITKCdag1Pgy/yaYPXWgmr0SEVf43LU73AcqvLAdOfPdCBbbR1NX1wXVxuE+MIrV5r0rj7lo5uuL2jg5KGm9hNGxR+wwGHD7Ri+kOvhmzzfF8rNvziVqz/V3ZfxijfqvsyGaLqvoZf333V1Tr8pt0XtfkX4LRx2VmHgK3dV11yUwcNH+y+ho92X6a/aqDPl/ZXf3lv1eyiht+0i/pbOqhv1z39vZ3TF3ZNw8fbpFaLNHxSX7TCE/Vfaf6mbshaNTh08tWj7VHnnoqyKi9Mbn0s62j6ZlOYLrOFKJ58c6Y/QccJOK99t1KfnQuRLzFRqG/WauSPlD78dlpKFwueSXQCKOxCwYqu7uzoQkr997h12+eu+j630fjd80mt9o3QrX0edNdfBgHTHSgnCOgyOAioLbKCgD5PB4GlpdHfqjv/B4Q44tE=","driver_sha256":"c3131a8bfecaa52bcd6d3402f51b9241d2a23d4f3bdbe5e774cc1ceb5d110bde","driver_usage":"base64(zlib(driver.py)), the search as run. python -I -B driver.py CORE_DIR KIT_DIR per_seed_512.csv STATE.json BUDGET_S ; rerun the same command until it prints STATUS (it checkpoints per round). CORE_DIR = bundle files + qlx_tables.json, KIT_DIR = kit checkout (for score.py), interpreter = the kit venv from setup_fast.sh --platform linux-x86_64 --replica-only --cache test/scratch/cache --scratch test/scratch/runtime."},"solidity_recipe":{"status":"recipe only: not compiled, not gas-measured, no T/F/G/E gate; nothing here supports promoting a contract","base":"QLX5.sol = zlib.decompress(base64.b64decode(code_zb64.QLX5)) of A/1ef80bfb, sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40, 47230 chars","edits":[{"n":1,"line":203,"what":"split window 7 -> 11","find":"if(t.timestamp<(s2>>128&M64)+7){","replace":"if(t.timestamp<(s2>>128&M64)+11){","occurrences":1},{"n":2,"line":205,"what":"nonbinding pull 0.35 -> alpha","find":"r=exp(lr+mul(35e16,ln(c)-lr));","replace":"r=exp(lr+mul(<LIT>,ln(c)-lr));","occurrences":1,"LIT":{"w11_a100_nc5":"10e16","w11_a150_nc5":"15e16","w11_a250_nc5":"25e16","w11_a300_nc5":"30e16"}}],"unchanged":"split_nc: the qHitX call already passes 5 as its last argument (\",m0,5);\"). Comments on lines 17 and 204 still say 0.35 and are left as they are; the hashes below are for exactly the two edits.","result":{"w11_a100_nc5":{"pull_literal":"10e16","edited_source_sha256":"2cc74d311c64ec92a7e5e96451a8bedc3c883796efeef86a3423ddd93cc8e78a","edited_source_chars":47231,"compiled":false},"w11_a150_nc5":{"pull_literal":"15e16","edited_source_sha256":"e95c39442a634f63957c4a3c7cc73b29371a35c7fe8678ead334886adff77ba9","edited_source_chars":47231,"compiled":false},"w11_a250_nc5":{"pull_literal":"25e16","edited_source_sha256":"79f058ca8981772d747380bf2529c0050534f618fa4b90fadce7c2c8b8d6c5fc","edited_source_chars":47231,"compiled":false},"w11_a300_nc5":{"pull_literal":"30e16","edited_source_sha256":"c0e73941e8b8b18446a71b5f930a6df6ccb3f99d5f7fac334e99665f919b14ed","edited_source_chars":47231,"compiled":false}}},"hashes":{"qlxcore_py":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","enginecore_f_py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd","mktables_py":"2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a","bundle_tar":"0e8adc477297130b731395b8494b6652c982d2c865306a317e139835d21e27f3","qlx_tables_json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6","qlx5_sol":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","audit_payload_tar":"c9d5f89540cbcb02096c74f12e797d2f225b43adeb6002b24594dedf9b1d9ef5","kit_score_py":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","kit_setup_fast_sh":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20","driver_py":"c3131a8bfecaa52bcd6d3402f51b9241d2a23d4f3bdbe5e774cc1ceb5d110bde","checked":"qlxcore.py, enginecore_f.py, mktables.py and the bundle tar hashed here after download and equal to files_sha256 of A/60dc237f; enginecore_f.py is the shipped file with the fdlibm exp, not regenerated"},"timings":{"search_started_utc":"2026-11-11T01:11:22Z","wall_s_start_to_last_round":948.1,"cap_s":2700,"within_cap":true,"runs":1924,"run_wall_s":918.1,"worker_seconds":7223.7,"workers":8,"steps":[{"what":"smoke","wall_s":13.25,"cpu_s":50.03,"runs":4,"at":13.3},{"what":"choose round 0","wall_s":446.59,"cpu_s":3554.75,"runs":640,"at":459.9},{"what":"choose round 1","wall_s":197.13,"cpu_s":1557.74,"runs":512,"at":686.9},{"what":"choose round 2","wall_s":129.36,"cpu_s":1019.76,"runs":384,"at":816.3},{"what":"choose round 3","wall_s":131.77,"cpu_s":1041.45,"runs":384,"at":948.1}],"setup":"kit setup_fast.sh replica-only, cold: 18.6 s; downloads and unpacking before the search: about 3 min","note":"about 3.7 worker-seconds a run (A/60dc237f reports 0.946 runs per core-second on its machine); the first round ran at 0.70 s a run wall, later rounds at 0.34 to 0.38"},"environment":{"python":"3.12.16","numpy":"2.5.4","numba":"0.68.1","llvmlite":"0.50.0","platform":"linux-x86_64","kit_mode":"replica (no engine installed)"},"engine_work":{"fresh_seeds_from_10200000":0,"engine_runs":0,"leaderboard_submissions":0},"provenance":["https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz","https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved"],"limitations":["Replica evidence only, on choosing seeds only. No report seed, no engine seed, no contract was built, nothing was submitted.","The replica is proven against the engine only at its defaults (QLX5) and split=0 (LEAN); A/60dc237f says other knob values are not checked against any contract. split_window=11 and the four pull_alpha values are such values: the Solidity edits in solidity_recipe are the same two constants, but their equality with the port was not tested here.","Every tested setting changes the window and the pull together, as the brief fixes. No run has window 11 with pull 0.35 or window 7 with another pull, so the two effects are not separated.","Stopping is for futility against the +0.03 bar, not evidence of harm: all four cumulative means are positive (0.004 to 0.013). The arms were stopped at 128, 256, 512 and 512 seeds, so their means are not comparable at equal n and carry the optional-stopping bias of a sequential rule.","pull_alpha=0.30 was stopped at n=256 with mean + 2 se = 0.0274; pull_alpha=0.25 at n=128 with 0.0242. Both are close calls under the 2-se rule on small samples.","Seeds 64512..65023 of the choosing block were not used by any arm.","The first setup command printed the processor count (nproc); the worker count was fixed at 8 as the brief says and was not chosen from it.","The gtmcknight/amm-sim repository itself was not opened here; Taylor's work is used through the artifacts above."],"not_done":["report block 10000..12047 (not allowed: all settings stopped)","P, Q, T, F, G, E gates","Solidity compile, size and gas of the edited source","any setting outside the four in the brief"]}