{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, U1 tables and replica; QLX5 and AGE are network extensions.","item":"s1","batch":"a2-age-a","where":"engine","advance":false,"gain_vs_base":0.014754469120679792,"se":0.009765126744169886,"n":256,"seeds":[10208000,10208255],"allocated_seeds":[10208000,10208001,10208002,10208003,10208004,10208005,10208006,10208007,10208008,10208009,10208010,10208011,10208012,10208013,10208014,10208015,10208016,10208017,10208018,10208019,10208020,10208021,10208022,10208023,10208024,10208025,10208026,10208027,10208028,10208029,10208030,10208031,10208032,10208033,10208034,10208035,10208036,10208037,10208038,10208039,10208040,10208041,10208042,10208043,10208044,10208045,10208046,10208047,10208048,10208049,10208050,10208051,10208052,10208053,10208054,10208055,10208056,10208057,10208058,10208059,10208060,10208061,10208062,10208063,10208064,10208065,10208066,10208067,10208068,10208069,10208070,10208071,10208072,10208073,10208074,10208075,10208076,10208077,10208078,10208079,10208080,10208081,10208082,10208083,10208084,10208085,10208086,10208087,10208088,10208089,10208090,10208091,10208092,10208093,10208094,10208095,10208096,10208097,10208098,10208099,10208100,10208101,10208102,10208103,10208104,10208105,10208106,10208107,10208108,10208109,10208110,10208111,10208112,10208113,10208114,10208115,10208116,10208117,10208118,10208119,10208120,10208121,10208122,10208123,10208124,10208125,10208126,10208127,10208128,10208129,10208130,10208131,10208132,10208133,10208134,10208135,10208136,10208137,10208138,10208139,10208140,10208141,10208142,10208143,10208144,10208145,10208146,10208147,10208148,10208149,10208150,10208151,10208152,10208153,10208154,10208155,10208156,10208157,10208158,10208159,10208160,10208161,10208162,10208163,10208164,10208165,10208166,10208167,10208168,10208169,10208170,10208171,10208172,10208173,10208174,10208175,10208176,10208177,10208178,10208179,10208180,10208181,10208182,10208183,10208184,10208185,10208186,10208187,10208188,10208189,10208190,10208191,10208192,10208193,10208194,10208195,10208196,10208197,10208198,10208199,10208200,10208201,10208202,10208203,10208204,10208205,10208206,10208207,10208208,10208209,10208210,10208211,10208212,10208213,10208214,10208215,10208216,10208217,10208218,10208219,10208220,10208221,10208222,10208223,10208224,10208225,10208226,10208227,10208228,10208229,10208230,10208231,10208232,10208233,10208234,10208235,10208236,10208237,10208238,10208239,10208240,10208241,10208242,10208243,10208244,10208245,10208246,10208247,10208248,10208249,10208250,10208251,10208252,10208253,10208254,10208255],"completed_seeds":[10208000,10208001,10208002,10208003,10208004,10208005,10208006,10208007,10208008,10208009,10208010,10208011,10208012,10208013,10208014,10208015,10208016,10208017,10208018,10208019,10208020,10208021,10208022,10208023,10208024,10208025,10208026,10208027,10208028,10208029,10208030,10208031,10208032,10208033,10208034,10208035,10208036,10208037,10208038,10208039,10208040,10208041,10208042,10208043,10208044,10208045,10208046,10208047,10208048,10208049,10208050,10208051,10208052,10208053,10208054,10208055,10208056,10208057,10208058,10208059,10208060,10208061,10208062,10208063,10208064,10208065,10208066,10208067,10208068,10208069,10208070,10208071,10208072,10208073,10208074,10208075,10208076,10208077,10208078,10208079,10208080,10208081,10208082,10208083,10208084,10208085,10208086,10208087,10208088,10208089,10208090,10208091,10208092,10208093,10208094,10208095,10208096,10208097,10208098,10208099,10208100,10208101,10208102,10208103,10208104,10208105,10208106,10208107,10208108,10208109,10208110,10208111,10208112,10208113,10208114,10208115,10208116,10208117,10208118,10208119,10208120,10208121,10208122,10208123,10208124,10208125,10208126,10208127,10208128,10208129,10208130,10208131,10208132,10208133,10208134,10208135,10208136,10208137,10208138,10208139,10208140,10208141,10208142,10208143,10208144,10208145,10208146,10208147,10208148,10208149,10208150,10208151,10208152,10208153,10208154,10208155,10208156,10208157,10208158,10208159,10208160,10208161,10208162,10208163,10208164,10208165,10208166,10208167,10208168,10208169,10208170,10208171,10208172,10208173,10208174,10208175,10208176,10208177,10208178,10208179,10208180,10208181,10208182,10208183,10208184,10208185,10208186,10208187,10208188,10208189,10208190,10208191,10208192,10208193,10208194,10208195,10208196,10208197,10208198,10208199,10208200,10208201,10208202,10208203,10208204,10208205,10208206,10208207,10208208,10208209,10208210,10208211,10208212,10208213,10208214,10208215,10208216,10208217,10208218,10208219,10208220,10208221,10208222,10208223,10208224,10208225,10208226,10208227,10208228,10208229,10208230,10208231,10208232,10208233,10208234,10208235,10208236,10208237,10208238,10208239,10208240,10208241,10208242,10208243,10208244,10208245,10208246,10208247,10208248,10208249,10208250,10208251,10208252,10208253,10208254,10208255],"partial_seeds":[],"burned_seeds":[10208000,10208001,10208002,10208003,10208004,10208005,10208006,10208007,10208008,10208009,10208010,10208011,10208012,10208013,10208014,10208015,10208016,10208017,10208018,10208019,10208020,10208021,10208022,10208023,10208024,10208025,10208026,10208027,10208028,10208029,10208030,10208031,10208032,10208033,10208034,10208035,10208036,10208037,10208038,10208039,10208040,10208041,10208042,10208043,10208044,10208045,10208046,10208047,10208048,10208049,10208050,10208051,10208052,10208053,10208054,10208055,10208056,10208057,10208058,10208059,10208060,10208061,10208062,10208063,10208064,10208065,10208066,10208067,10208068,10208069,10208070,10208071,10208072,10208073,10208074,10208075,10208076,10208077,10208078,10208079,10208080,10208081,10208082,10208083,10208084,10208085,10208086,10208087,10208088,10208089,10208090,10208091,10208092,10208093,10208094,10208095,10208096,10208097,10208098,10208099,10208100,10208101,10208102,10208103,10208104,10208105,10208106,10208107,10208108,10208109,10208110,10208111,10208112,10208113,10208114,10208115,10208116,10208117,10208118,10208119,10208120,10208121,10208122,10208123,10208124,10208125,10208126,10208127,10208128,10208129,10208130,10208131,10208132,10208133,10208134,10208135,10208136,10208137,10208138,10208139,10208140,10208141,10208142,10208143,10208144,10208145,10208146,10208147,10208148,10208149,10208150,10208151,10208152,10208153,10208154,10208155,10208156,10208157,10208158,10208159,10208160,10208161,10208162,10208163,10208164,10208165,10208166,10208167,10208168,10208169,10208170,10208171,10208172,10208173,10208174,10208175,10208176,10208177,10208178,10208179,10208180,10208181,10208182,10208183,10208184,10208185,10208186,10208187,10208188,10208189,10208190,10208191,10208192,10208193,10208194,10208195,10208196,10208197,10208198,10208199,10208200,10208201,10208202,10208203,10208204,10208205,10208206,10208207,10208208,10208209,10208210,10208211,10208212,10208213,10208214,10208215,10208216,10208217,10208218,10208219,10208220,10208221,10208222,10208223,10208224,10208225,10208226,10208227,10208228,10208229,10208230,10208231,10208232,10208233,10208234,10208235,10208236,10208237,10208238,10208239,10208240,10208241,10208242,10208243,10208244,10208245,10208246,10208247,10208248,10208249,10208250,10208251,10208252,10208253,10208254,10208255],"burn_policy":"Entire lease is retired and must never be reused, including completed and unused seeds.","unused_burned_seeds":[],"source_sha256":"c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da","hashes":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","normalizer":{"source_sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572","creation_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","runtime_sha256":"69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b","source_chars":989,"runtime_bytes":640},"files":{"driver.py":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","run_item.py":"a76da5e58a55bf27f5593b366bc98b5f89282b7b351014f09f5ded50b27c0cc2","kit/setup_fast.sh":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20","kit/score.py":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","kit/gatep.py":"1d1d65bc18647530037cf3cff73fd8d4448f353d61b4494dd2ee7d556be122db","kit/engine_eval.py":"0a3ed61457cb66c85a292c82acbb9657b5e5544a98c7aa04c7a6a5dccdc1d3b2","kit/bootstrap/manifest.tsv":"f9a0c49310aa6f501eac9a760e537af444d21f556239e3f00a9ed6f1d9628dad","kit/bootstrap/pins.sh":"cc5af39de3626b919659b5bc8ae9b5536363037a8310453a65784c3463127bcb","kit/reference/materialize.py":"79e316706e8b4a84ee29e261c817476120d7a502f9017ec2f7f76f8f4444aaad","kit/reference/sources.json":"62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5","runtime/engine/amm-challenge/amm_competition/evm/compiler.py":"52f6a4627a4aef298d3f3602ecc8dcdfa9c7e1b9c2d2145400af4898622307f4","runtime/engine/amm-challenge/amm_competition/evm/validator.py":"d43a373a3fdc90d0c1b0201099a6c3bf58ecbf893cd6ca2525ae694db48c6848","runtime/engine/amm-challenge/contracts/src/AMMStrategyBase.sol":"3f4154a6c4bb8f1223c7fc0bde1f9cd9dba10cef502e300d0f6d229f610b8869","runtime/engine/amm-challenge/contracts/src/IAMMStrategy.sol":"85b2a0fce484b1c4f70c5bebe6c06042293b2099983f0b641c4a6656c7ea15ff"},"native_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14"},"arm_compile":{"CAND":{"source_path":"test/scratch/CAND.sol","source_sha256":"c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da","source_chars":47757,"source_bytes":47757,"runtime_bytes":22558,"runtime_sha256":"d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9","creation_bytes":22587,"creation_sha256":"c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f","vanilla_creation_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","compiler":"solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)","compile_seconds":18.989871049998328},"QLX5":{"source_path":"test/scratch/QLX5.sol","source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","source_chars":47230,"source_bytes":47230,"runtime_bytes":22440,"runtime_sha256":"903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8","creation_bytes":22469,"creation_sha256":"275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab","vanilla_creation_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","compiler":"solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)","compile_seconds":22.125313811004162},"QT1":{"source_path":"test/scratch/QT1.sol","source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","source_chars":42990,"source_bytes":42990,"runtime_bytes":20605,"runtime_sha256":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189","creation_bytes":20633,"creation_sha256":"0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f","vanilla_creation_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","compiler":"solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)","compile_seconds":14.38333457801491}},"peak_gas":208800,"oog":0,"other_callback_failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"gas_by_arm":{"CAND":{"afterSwap_calls":2774677,"afterSwap_ok":2774677,"peak_gas":207006,"oog":0,"other_callback_failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"counter_scope":"peak and calls: Submission afterSwap; failures: all callbacks of both participants"},"QLX5":{"afterSwap_calls":2774566,"afterSwap_ok":2774566,"peak_gas":207890,"oog":0,"other_callback_failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"counter_scope":"peak and calls: Submission afterSwap; failures: all callbacks of both participants"},"QT1":{"afterSwap_calls":2776872,"afterSwap_ok":2776872,"peak_gas":208800,"oog":0,"other_callback_failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"counter_scope":"peak and calls: Submission afterSwap; failures: all callbacks of both participants"}},"callback_failure_details":[],"chars":47757,"bytes":22558,"paired":{"CAND-QLX5":{"n":256,"sum_d":3.7771440948940267,"sum_d2":6.280680433435415,"mean":0.014754469120679792,"se":0.009765126744169886},"CAND-QT1":{"n":256,"sum_d":864.0139235124283,"sum_d2":3217.2811107520556,"mean":3.375054388720423,"se":0.06792476264665795}},"rounds":[{"round":1,"requested_seeds":[10208000,10208127],"exit_code":0,"cumulative_pairs":{"CAND-QLX5":{"n":128,"mean_diff":0.024177773588951013,"se":0.013152841140899601,"worst5":[{"seed":10208081,"diff":-0.4492607699751261},{"seed":10208033,"diff":-0.31392999236049945},{"seed":10208121,"diff":-0.2774470620208831},{"seed":10208060,"diff":-0.26573927450965584},{"seed":10208001,"diff":-0.2317136414349079}]},"CAND-QT1":{"n":128,"mean_diff":3.299850560379899,"se":0.09739257521802169,"worst5":[{"seed":10208100,"diff":-0.7666755243416219},{"seed":10208121,"diff":1.0845204856722148},{"seed":10208030,"diff":1.1451805068193153},{"seed":10208090,"diff":1.4352164897067041},{"seed":10208005,"diff":1.4479775400751578}]}},"elapsed_seconds":536.8381408890709},{"round":2,"requested_seeds":[10208128,10208255],"exit_code":0,"cumulative_pairs":{"CAND-QLX5":{"n":256,"mean_diff":0.014754469120679792,"se":0.009765126744169886,"worst5":[{"seed":10208148,"diff":-0.8043083483204327},{"seed":10208081,"diff":-0.4492607699751261},{"seed":10208232,"diff":-0.42897297025797343},{"seed":10208033,"diff":-0.31392999236049945},{"seed":10208121,"diff":-0.2774470620208831}]},"CAND-QT1":{"n":256,"mean_diff":3.375054388720423,"se":0.06792476264665795,"worst5":[{"seed":10208100,"diff":-0.7666755243416219},{"seed":10208224,"diff":0.6711802195377459},{"seed":10208121,"diff":1.0845204856722148},{"seed":10208030,"diff":1.1451805068193153},{"seed":10208226,"diff":1.3599660514532843}]}},"elapsed_seconds":865.8604482489172}],"stopping_reason":"completed two rounds","config_check":{"measured":true,"all_equal":true,"seeds":[10208000,10208255],"fields_compared":3072,"n_steps":[10000],"simulation_performed":false,"method":"Exact value and type equality for all 12 fields per seed, driver.config_for versus kit engine_eval._config.","kit_vs_MatchRunner_fields_at_indices_0_3":48},"gates":{"P":{"inherited":"pass","inherited_source":"https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0","measured":"pass","evidence":{"_credit":"Taylor (gtmcknight), solved-policy research, amm-sim@4812a6382311624e1506aca131ca35c378f930d9","identity":{"format":1,"commit":"4812a6382311624e1506aca131ca35c378f930d9","python":"3.12.16 (main, Oct 26 2026, 14:08:45) [Clang 23.1.3 ]","implementation":"cpython","input_digest":"0dabe003f62d413d6cb222acca4586f806e2a3f94b183d02569f04fd010f2d5e"},"status":"passed","returncode":0,"stdout":"seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm\n10000  448.261189  443.455598  443.522608  443.663520\n10001  576.779199  571.463409  571.623551  571.977293\n10002  531.886497  525.168028  525.865859  526.411631\n","stdout_sha256":"10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8","stderr":"","elapsed_seconds":14.155540391104296}},"T":{"inherited":"pass","inherited_source":"https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0","measured":null,"reason":"Inherited for exact frozen candidate; not rerun in this engine item.","evidence":{"callbacks":549905,"split_tests":356959,"mismatch_count":{"inferred_arb":0,"split_tested":0,"split_verdict":0,"tracked_offset":0,"age_rule_kind":0,"age":0,"weight":0,"rt":0,"synced":0,"twin_fee":0,"twin_state":0},"seeds":[74200,74249],"stream":"autonomous contract-driven replica_e","kind_counts":{"arb":191729,"binding":320342,"pull":37834,"neither":0},"max_relative_rival_error":8.731332265820772e-15,"fixed_input":{"callbacks":549733,"split_tests":548149,"mismatch_count":{"inferred_arb":0,"split_tested":0,"split_verdict":0,"tracked_offset":0,"age_rule_kind":0,"age":0,"weight":0,"rt":0,"synced":0,"twin_fee":0,"twin_state":0},"kind_counts":{"arb":146,"binding":440688,"pull":108899,"neither":0},"fee_callbacks":100000,"worst_fee_bps":8.254e-11,"fee_sides_over_tolerance":0,"max_relative_rival_error":6.795853303475876e-15},"method":"Python reference shadows contract-driven callbacks with only prior observable fees synchronized. Candidate storage supplies arb and offset; QLX5 TellMath probe supplies split verdict. An instrumented AGE twin records branch kind, and its fee outputs and storage words 0,1,2,6 matched the unchanged candidate on every callback. AGE age, weight, rt and synced are compared on every callback."}},"F":{"inherited":"pass","inherited_source":"https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0","measured":null,"reason":"Inherited for exact frozen candidate; not rerun in this engine item.","evidence":{"callbacks":100000,"worst_bps":6.0834e-10,"fee_sides_over_tolerance":0,"tolerance_bps":0.01,"seeds":[74200,74249],"stream":"autonomous","both_sides":true,"fixed_input":{"callbacks":100000,"worst_bps":8.254e-11,"fee_sides_over_tolerance":0},"method":"First 2000 callbacks per seed per stream, both fee WADs versus independent production-QPL Python reference before contract quote feedback; error = absolute WAD difference / 1e14 bps."}},"size":{"measured":"pass","source_chars_limit":50000,"deployed_bytes_limit":24576},"static_validation":{"measured":"pass","evidence":{"CAND":{"valid":true,"errors":[],"warnings":[]},"QLX5":{"valid":true,"errors":[],"warnings":[]},"QT1":{"valid":true,"errors":[],"warnings":[]}}},"gas":{"inherited":null,"measured":"pass","limit":245000,"evidence":"gas_by_arm; full block counters in ledger_zb64"},"G":{"measured":"pass","scope":"Measured source size, deployed size and observed engine gas/callback safety for this block only."},"Q":{"inherited":null,"measured":null,"reason":"Replica gate not part of this leased engine block."},"E":{"certified":false,"block_screen_pass":false,"reason":"This is a bounded 256-seed maximum block, not the 1024+ fresh-seed pooled promotion. An early stop cannot certify E."}},"rows_zb64":"eNpVmwmuZLcNRTf08aB5WEuQ/W8j51BlS4kRo82uUkkUeXk56D//yamklVL662N/rZZda+1zjjRDUlbvvc5URuodSf3qaLWt1Wfvc/z3758F8t9I5durzpXzrmmMhaR+Jfe226qtp8ySe318c7BCymOPdRcof72tL41VU1qLXaQRkpxH3/Gfe7NA61+uveXOv8dO+y5Q/0ad7GDOXEqtO692JP48wlT5EpL21ZbZQ+mtpf3soP3VVb/OFvpqffO7OSR1r4IK2iytbCT5y6W1nVhqop67QP9rZXC+2ToqaDPNOUM0Ri8517VyKxkJZyi7zVZ3G7U8Whx/beevpJZ36qWjpB6SmnervZTCL5a/tubXt18fanuWuwC/V8eXpwpNeaW+ywhRaWn0NUtl74tFKycdXBC/UTf/fo6x/lpnz7uVVLbarD0kbWb+zL4m/0fSvlHzKp0faTnlu8D+G1zT4sL27gnjKSUkrNXX7tzo5iJa/lqfmzXnLFzxv9/P6a+N8nGFKLmqoNmOZHSOnTEgboMNzI8Pz8wee6rtft/FCydm5aPycgRzzLz4ctU2sYw6RkaFqD2t5+tYYu9fXVgJS6+iISkp2sTOaWfuF0n+UB33NMZoHOsuUP/YOn+5uIKBL6lwJVl1czezoVKsjYtF+2UNztO9hrsExysNQ+ib5dYue5cjwrY9wp4p740kfSM+VdXV4w4YztT9VuLYC3tsOQRoC1fh0vhF/GNvLnFhkXtjzunZAd43F2duI/MJzlFXSBKWlAau01EGEu1IE8m7t7mvLePtoycWKLuwBW4F0w8JGsXHuUq+w8VwD4tf72gB373+mLkkfAdD3qi4+vmOpH8b6Bn6/8QlkJRvcidVYxz12QDqSelrgFraEwjhpkLSa8XsGiDh5XANEwfNXCKHRnZXKBhiGp8/xKEnP6DdI8EtuFuuZC2dXrWihDxwBpBr3gVwdsxkADcaHnv4SfDchGXmtsp0VyqhodlZyti4012h/HHb7K/tgobBpDGPBBT2SKuNkPSvd0+Et2ys+i5Qw3Zxdb4ukKdx7HtOMLk05AADkvLltRrGCmqUdwf6Hs6fNtA+JkjR2k+EGpKmwSbQNbEByCtbnAP1Hy2gIryfra1asAZuo4aEawDbUeIsKUTlawDG6NwrCHZhDQyrWA5GMBr6GbjKT7LKypW7BPkIAGDuhxJwBOw/9wfcC6GjY6rEjF4b8JpzDsmsEbFA6G4IYk3cfRHHcApw/y6w4i8bfxz4f8fU2pGMwZnZfwaoiU9Y7PQK+SUw7zEmVZQ+gwiY1RJ/t0aIOhEyEGQTeDCPhRZYtOkjq98t1PTHcSN64QZcZmELGNDHp2cacwshNSTAWsdCUVa6N1nZXiL6YXWc0VCAPkOEaxJKPRnBH0nSnjcfAHyAhnuIir+hNICoevl8fBwJW+Eo2Cfr4rdtf8n40bHGyl3cBTBHrnkOwQIzA9hQY6sqDRMDC7EIYKVuIhwkgkgoMlx75sht4YFjLwgHoAUQHFGCU2D6XCRHQ7OLn8HQ9TB+pzx6BEZQe10ER3RPHJ05JJxqcSnogM1zrKkEIBMAcIy7gCEVJMQDZ1qby8iGSETaQccAsaisX1c9rxGiWyDmswfQkahMfOIvJupvbR2JoIALgDaCWy0fwQCD0moJlHcBLKUQQYsewO9gsPNIRiFkEyC5DGN/nh8exleBKk52w3RFzVtr1eeWMRxqAch+GyBlt0Obxuo3tI7PG+I3zOxuoUEaM/sjQvAfQAlYEhLJTQHd0IV3mdCLpA/mUQmpV48txwEJq9hy568w+pDMFZbANaZA+Bl72voclPB+n/1y8RnK6Mre/xFAL+EMXKOMipD7rZz8T/5hI/f7GCMhdQBf2BheUSAaSrjugvaWl+BnjCJY1YBA7PcSBEIiKO4IoEBKRd8RIiJ65ZMErypVMcSAflAfjFo+c5c44CjiDFwQZJHDiSJYTZeD4GhEnYaXqhRgO7PAdYg2/hB+DV8UCffGIENCtCLiQDPZMwLOmTEymKwR49mAZgNiDL0fvXF160iAtQgoGRKABPT0+/AvTlEuU8Bwf1oc6IAYkuUOSgAf/aFjNBgGtik+oGnumtB4FziGiF48H78BthyJVJGoDF0gbnIYTrn1LyCw3e/3FAgCHjXOTZzaBj0lsHciRo6YGLhjdNoZvokdXRXC5ohc30SFRC44CmwhJAQLMZV7Dp8fKpX7A3awpyf70UhxHP7MHvi1ID8QvuaS0BoUKSleC/jnA8YgnPHZQI2PzwAUHBgYaUci29riNbaBJDIsvIUTsPCzAWMR0E7k5AgAI4TySJokFAk4HJR1DbkkLgd1eL5/MgL+WMAK3D27ZIhw+5xgNSvITwUl1SoswAB5fclIgo0RuMGuqvOPFRLIXcM21qwi/TRgVkFOU7lG1FEYlAKwwUCIxqYEIWE9TJY7YFHsGpIhK8dS+NZ+ki8iJxD3mdfhigtFcKshEdemiJSmn8HXIAimsJzjyVq62AF2of3CJWFp7SeRHxALDZEADp4FPJAkcosYwtXhSCAVTgLT46ywoOoRkEy8GtfkB5uJUAYwYMSs1gs4e9FkYOOYCDA2B9kdOjIJR4IvsBb4SfLgnrCLHTQHd9kPySEWN1cHScgxOLGENESsl0Qv0KVGUIAuYpLwg8o+8rNEDbwmc8WBQN+kbYYE/MU3EEKB5AgVzMIzsHXSg3n1OE6eMtWArIa7i8jUhMmN+tg5VDJiFSZFLoA9EjH7NQb5aJbcQZuntyXjDxFmyKZQQwKGMKfg4qyCjbVex7MLbAXIFDs7xrxm+I8giulDv0xiI081NgTAYN/ryQKH9Q9yPsQQNUx6pSMh0YLoiQJdAZjCDxMcZS4PT9H6QX1gBuVg1mB3Dwk2IOEFVoF3JGySxaH16ua1BnaXgUwcGA02efkICe4BGMNbi9CfICloA0UDxOsxhpn+prWOneQ/VlU475FUoyDpMTvCq7hadgBQVaPw/b6xPEOnJY7wvMU91RCBMFYo0AHcZoR18Cduy0wLmvKsoUF6QHYPFeA3Vw6JTGKzIbLRoYTcHqqWtgGwovu7Qo3EgiMT1zqqZF9HRGwBLYkq5HCaE/wNUKol4qPee9cwXcEt+AJ5Ab6vPSJg8+JGsQixAt0JQeyf3YrR9/teHCE9y4chzv7tkaAFC10Ai8yHiLWtqGAvMoJHDeadbACuSZAuhVQ9Hwn+xD3wlWbVBWuGRECp5W7tksVJglfnZwGH+Cm5I1VREpwLs0lWFeIuWzu1MujMeDawIvxyQVFpq4lUISTm3AQ8ALmZ/cAVQT9yjmrsfjQA6sCGsRxQydqFzAuBTKByrfjXOOnUwAKwF/X3BIdFIo2hD4ML2J6N8yGR4VRLb1wrXo8VuyaOBDGHClxrXtYXSSogJouUgRi0VkjIi0Epi1QAD+nCB48lie6Dcz4BckkjVQ9cVVJBRNwhYbegFEaE7/AbagBblcvwxX3vYNWoHbCQUDGtWVnB2QRkUqVmMrTQgcUEyL1ZKUa6XrK4DokiiTdlMVmDfypZnD6Z9vtvJDoDX7GYgffdW7BsZ+a/tA7CGd/IIQEKzO5luOaP4S7F8gxIuy8mrpMUuU/UyL0NTVuR+crEEbDDHiKiNKlbRldY9JNCBpJbVRrSY4IyZPIcwsIxttSFtxHgzvfZj3UlIPCCO/dWRc2ohg4JLkmlEvIeXGiYxzarY31DQYEM4B7m/6Rfa0c1EDvCxvTKGWVSRBhyxcbk4qbnjSVqmBsJtTZ119gEa9jNiloCnMjCRNSGMaZtdW1IISIZ4SyYB3fqme8COfICzjAjBzWVDYn0Eopr7qokA46YA/4EZcSB7wLlgBDoi56nxZmoB7jlrE8A+j1KtZZagBS8NsPunmC9a9gbZxVVNKrcQkJcbNgf0XsQPxGVILfQUZIB/vfoAS0lUj4IMmHBjLyawSQzku5XrEkF5KaiYaNzE3I0dg17n9gMXSGwoTwQytoIIigN2yKRsGob0bpX/Y+NwYifXWiZ/Wum8CS64HH5SaCqVUfg8JD6Zn0e4CFQb+tKD/uyNwDfLXI9uws7+gdIskwkGSJHOzUc4hjOgRNbnbgL4Dq5RnVyE+zYd43AxMW1qBWqHSRJq7RyklB5fw/BbTfvP+rehCZY2JHoSpgJRxCI68I1LI5jG/uWrXMiYLOB7L2Dp5xa3FcyqhxUhwcflOwkhABP+0mnCU74UXDDFtySfPpIAF1coZhAZ21GZ8OpCGeYWrlxgn9FUZrtgr1maqSj/YjsyKADlI7P/OG8gkbU7aw+t3HXIJeZMjUCtoU488MQEB50WCzKLH9YqRMcuqW661h4SSiNJEf+gAdMiVezbgwZbabZ4B1qtHShDUCvyV+eDeAyE9eOGoqpGgZ3JIRWy32khP3kd+SaRottfWbeBUbUaCW8LM8t4M01RKbweKhszXIl3mujrJhJwIkePc5f8ZwMAbObcIRTPDeVAt/0Es1l2i1a5qTQkJtSZ2Ec689WFVAjblt3SCxoQOOr9NG6gr0oTRXQG9YGHmPYcWaCY7dyQ1TVnpFUQARbmM0OVA3AWf6tXQor9f+ukIVIq0GoAEz1MteRQNuK5AnnhoHCOqxtg/9ABlnpXQCIBD+XXbbof8l3qx5lLxDrEAnAzA1BxGuSTBkCdr+PNdrpMjxG7VjCrGRK2PlJg9jWGJtAjpoEb/KRu0KNyqDqK/Yw+U0y8ygWemu2Y2CjJXClRuEiBcw+ezjFm22ZG3aybZchsfhnoSXtX/bdSP8xJW6OlMYY9qihB+U1EGWT5m7JJiQ9N28im0kG1kzbGjYRsNl7lVksXBwRBkvIRNMp7h6RLrtt1vRgT90OruVlfNsKwV3CmpK5MPESAmxE3iHh5izUch1dAGzCB97Pb9YoetwVVP22Zwj22yvBdWuIGsFR5zblIZHhI0RPa5V53G4OphyVRBOfYvkZkB0hCfYNn5F0Yw0s6P6jvkx6ec2xHA4ptmLcFuzWOiSSxAlgAZKgYNZhdyK5Jemvlr/7JVA2oCJmR8eNwGbzImgwLm+BEOOxCmAK3eThkNr61J6z2bv2jxHxgcDCU7TVHg2gIImVnyqt5BvJ5Lq9G6iRAiLmqxik9diQEDsrST8UtIl/NgaX+bf1nydQ5tKCpPN39jes7UTJFck0NSAs2EJCgoUvAm81j0zPNRQdDj6xLFnaMrNFrYRMtkkgDGt+xryW0CBkk1ZdeCYwd3ORZp98YzzAW4CxvMd0ZJ0l8XOolWTXrtqt9mU7Mcm2XrNGRE6Db5vJo1fLKVOOs9BulBiaZW3OFzd8l1gxGSATjBQMc+khMTO38W+l16DRHDaYtpeMoff7mxg4tJuYRJBmY4zVkORxYerW4GbETuKPtaOond7OHvcdeE4wYb8tGMoRmBKBjPC1qH7xaZk2Hxq3+g8lCt4OQ2v+3/L74fZCgj0RVBv5kH1ow/SMOma7Dm0EhN1aiauAbsXuckg4VDnV/Wp9wrY1f+u4Bje7ni3gvDPqzhB5i5bL+Qck02TJ/qhhAq1MnHarM/DObvkFNkiezVcc32ST1fvuIVF9q0aV4aRUnCoZC3WRa8z1gL92CpROKUkLibdSbCaVdoxTsBZ9CX7p2nI9aXW1pj22yUY7kmb5E5Aeln+DzHLAJY+PKv2zg3nqE/ZgiLTY/ywHm4tsnJgMiJmrZ2Nc0jBl4I9D2oaZ7AH92HHYEqIWomIt3moZ/zKKTIc+IBJdxO0Pdc02YjrsGvAwieRb0Zu0Fgkm8R27OZo8i26iFnYoS78L2IiZgIildHS/bE6GxEaBPbDJHrRHgvE00kfnrl5NthxUuRm3YBI4kTho+ThLbuxv9qDTKSq0w0I/tnLVQAzFQ+16RF8ui5whwRixSGuZxBQkDug0gYHbfEyJTNgJjShBQSJYzyYGkmQf0taUqR3IiqodW1kWTB6PthEDr+62wwC9eYZxkNgNS3xN0tTOJEwFDJaxLeWnz429RzEtO1QULdLqdILltURYhnwsq8pRYgAJ+LgXvm87LFuNa9Y0zX/shsiEEQSm2HlHk+McgdAkbiG8Hm0fBhKRTeubxT2DS4S3WsNzQPbuZxxkASGAFMH3fh8LGUAg+Uuzf1YCJq17GRlsJ/fgzaN/w/ZyiTmth241UTH4oT0mNrstPCmKplU0+yXkiGwCbHtdODYc+98l7MSUZUU1SCuwGg7MrtCdvocXWNx1iMMmBKaqcV9LNhySYRlhbdXFGEfUHJNMCfIL0V2npWhfZBzmm68hxGDSjkKe3e/dI6AqclTLJiT8Zq0z0CQRb3AiW7MP1bHiPcxvUrV3YPL5k1RdebnKKQ4nfxw9gFPXltGQNX4jZ7OPGrM4SggT3TY97EvekE1vq9hZncm5N2mt291hhqAiBtzmPxIU6+xLil6+jXh/bls2KbclaOfZQnEy9ufoKVUl6LVYjY8EWvBWi/JFIhA/9uRwdmOS5RcTJtBBj4uPr1WcfbBLk0bM99kubM6uWPm7C6yYD+MWztQJie6ZGONWsF38qUYBpEf7GA9zsGOUZwc7WoiY4TaYWmj6SbYMx4S8W3uGzk3Ld3b5wKnrjSOF3awpbHdby16DIisUNiH5hiEs2tNAhC0ZMohrzNGOgdsRh1KzY2RmqYQLcXDAsrM1/aU3FPsKDqc8duSgTcqkBSPm8HqJhrMSK67VKoj1c7MJP4xzeLb8lASEcQkxdMzBopHPDyJxwnDIEkJTJEAmNDYRMLKHrdmMqSbjDnctewYx+5esihRhaDqbFO1eR4GSc4b6zF2gn0xWqsZfajsnkfVitjOVDi7gWJaSbfTBq/MToy0mWRSzlW6DlxuvRwK+TEcyya9LTClIWTbINaLFeVeYMWC1w0cxaOwlKlTV7Mdwxjcix7I6q1XxU/Z47gKnCmMFz2qWuy4/iT9o+cD4I6vNDggQ6oop9l2AOEDoBDWTJcDqxFRIqhAKrlvM21HSwLKCxBOknkx6pkA1KI2zMIllgiIrItTXKb/cjtcRbYgUoKpdjv7kb5A7o5llSX+wSyNCYgPD1Afn23HZpid2r2SwT3MxxwxBlmNDZFb0R1tMXCVbFRjO2qf2W6NFldhSBSTu7E82/nZzVAd1ovQ6V0jMEmzA2VlYMeJHzAapKgd+uuTZ4QpCR+RZDjetyH4cgFqR3sNTR7QRIsVaRiiIym3qaam2QzP/c0wu2rH+N/qYToDVAGqcAZJmg8wa1kXFeTr4sm2LEcNs40jsWDjZGYNm9pY4EQ5PRkxC/FzCKR3YDLThUc+SSHBkeLQ1uTBN501Qx7S1wF+8hrAibliGg0hijZZOEaBOskAgCdUaapwLJb1eMQD1IIp9GNgsXAJKhaFZTQjJcsRikncsOetJnUyIJYA4wLPEwhYtJEX5A46QrAgqEeS5FzMN21ug2jDeOXwAVbtasIOH2Rg0MRjoigEmRM6Nk5dDXsaZ+QN44G/FatEq/VnitAVnDq6XneYIAan4sLHjzMcMJg8SOM5owejJXVaNNMOZUbMtSzgn8egmGX2eSZiIuaeHmG2NPnWh30Av1pEwm2xBIQR4hSNOluhEDSd8i5m8+c96opMoPFb0krEm4rftoZA46sXH246RDExJDpTdF6HwwqqV/m2H23EN2eQyPu4YD4xwWwxaIya92QvO7dTyfoyR/DKGjEl7vTenB4bF/+q8O6huo9N6SFRvgWTHPRzo288SOiuHzibNTZ+aRzLlPVGOiAKH432CJkxBJ74eZSPGJFRE8RaSmfgRYaI5uP+yvEZmy19ptPzxqTfvFMi/T385ZSdc6xE53WDAyZZONQ4HA5dnqN7OXcKhxiLJNgWGNjtpEiIvFjyZkp0cQ411Rl+zSk3Xs4sSbZriSL2cE95VQ8KmukONAL91F2uh0Bfu0mz26jEcyI4ZMcF7hxO3Qwv4PTvi2YbOmRwxnXEGYr32jNKm0K/1G2R0oZDs6NVN62nJz+Aiy+CW2v+9PEBtgUNSU4gSjMXEOZAJ5zRfxRZ6Or0+s5DkHNh6ZkOzZVR4CFLnqveKNFaJM89Lms/ZqjZHpIdx+ULD8tWrxjPl4auBiECORx6JwxewRnOeHq3BYZCbQQyfJNICpOPklpQsPuRTppfl2neHW8TEa4xq6RIWDNJ8eosxEW9XDzO3H2uVU0UgmlM9Eu2LozVsImyUaNx9EXGZK2EkuAV/AgqwIAdQR3S/2JbDM1FDi8ZvtzfmmN4cz/dzzMRXJ7aTQ/IxlOgh7LmigOQwUiRmeHmLRyCmp3cBezBJluo/I0aFjiQGJIKGWpuyA5Mt/RjOrZ/cFdRajsFkTs1ftXIk6Act4F7QB6tLQ+K54yENlCU9e2gBLt3mCQA5Y4ZbSckx2LlsHrcZ2+q+78D2UVG/C/ToY2Me3VEiZ3pHSIZQiVPZYpNt4GXbCNX8aHnaaUWOZQsYiIa3OXrsG6Pu51eP9oExGomTv9NyU3E2/FlgxkiGQWXFPFaT5TlWqBKao4nGe2vQWAD7B1+fYFvs3hXHsUzox3lxdCTb9L5bwRxnXjTFPKENAjjXXcAWTLGBMk05zTx/PZhkTzHqY92cQIt2WNzaYZdGXUXmFCO5xYpWstFrTh6SJld2+j+YIzkBxLBIajCm9iwgxQJ+y1ysgQzXQ+KoSscxbElHFhSsx/H9qPLdem3Jp9IIL8DScnSg66k9ghOWoB297Ye1SRvjgczjUPmf/rNFJAcSZvy3T2+ikJUcrdeaqyzUvgXR674eKAZysNspVg6ATwbJ9BlHsytj6JzWprhYx6qbz0rK6w75jHsTgIiK1qdMHEMSZL1bJbSPZXZanbMjgqfnPY9Nrpibdyqv+1QmWsvWgRxX2FFebSbtpHb+XHfCB9AudwXn+GKyxJzNYa5+ksu9nIaNaUQHKB1ZX6KrCcGDrcU5bBNHjcYnYD5ZGkck5PhgDf2kk0zaNYg8rttYuWvsuOVu7mg3vKQYYOPe5fk9aFdcJC6Gb64z5HYnyoodmOEMzvbLIzpqRyKqObo7LSLHmCw/4aCeUw/Xo3z8Mpx3IcDBFoYVsEO4t0/LUK1PZHSI7stD8kVMTLS7miwlMhTI1DBLtFT6S1oIGUBQHfHAKxKh5MsuQioau2M4xR4MoRwEsXJhh3f9JMMGqC3Msk+loMtIim+PSnu20H7T1PEoqvm0bx8JPtbsfthPRWLSOk5Tkzu/HiU3rtZyi+EEw929H1GOrAVDl/qcbM68KB7Z/V/BFU+P9wmyP4cALAzNkEztLxtrh8+luuPxazhyOx0KuwvMk6h0W3XdGla1NIBoiynW32YNNjYtBE0LaVMafzloscCIWRsmASNbyr4gQMKliwvL/ow5m7OiOTr6llKuWcfMjXXuZOpW44nVefOAm/s4iGR+Se3XZ50sm031Z3Aacs7HHRZovrXEu4YvVJTYgwCWbVvHMzLMM9mAreOZey4Sw4yKhvMzzonUVn4S+5+4oh3ieNQwrKujlsh27wLlb9X4ONtNFjNmCGxOE+tgigQNbjMeD9pQm+31SQOYFSV3YlJo1qDAQUqVFc8+kBB5dTGfbrb7hCPYkDMrrFqD/Y52JE59OmBWbBrH0IoToNl+k29Z7gKEdTmhA0xYgqPj8j5FVhRgV93yIJA9bcto6jGsu58wZ7YIPwdfge9igmCEYRNOYfowo9j+PxO9PVqyIB6R71lhxmhudNTtjU5f7iJovnAFZCvG0KOWXk0jiiMcTyPKgGCzIhlCsQSrYDXKo4ZCvuIS/cz+OD05HbBwsuwu4IsjG8MWxFCydx2S7YuqFB0LU4AyHXo+435vCsA1x6te26W+jfAdgA6GyMHK4Syeycgthvl2eZgj3VP4GmZY6Y7Bu2Hy3iJOma4Q+eaIuWnjVIqiprWsdUueRdMdQS7AjO1DXk13wEB8Bbx92hFRxtidrNRhtSLDXeDwI7bl4+HtZN0Za8VyohJnPbAEY6q+QcPlfap3v3+mEohmFiyH00Uh6DLUZunc9y0nVckWUVIUbq832cZ1MEKvzfFU0MBnZSAXrTFaffNMHC8by9M54vycYERFaOC5PrwwAP0kMxrsOaakeox7+MDOhkJLzwa0dNyPqBIvGWPAOSQGs+0b9CrpA6ej6V8sGvlA9q6wfuTbl2f2ZVdMSCry4eS0NDCiUQn7Hr6r2pHo1jt7DmrFLTspzyFUXDr8pG3VbuEp6vc93ksuX9iS2d98sNiHCWOXu7tCvAZx3sk3G00Xq+eposO+1sLTvrXC4nuYRsZiE9WXHHjUkRB+NQVH4q3eN4t5kKJieYSfeTZQ4tpipj1icLweRuILU66SDLM5EkWQ9Zl9dw4UCp+fFRyz4Zqsa9vRixaEkm6/HvyxcryiZlIcJI9xsfQUz+1U2Uy2GW8bN96Infay86K+Sum+s5a/y12Sr+DXQxQifEJlinURiW10s5HkiE1gZRkRdDkD7im8Ozme//vf/wFwWXGN","rows_format":"base64(zlib(UTF-8 JSON [[seed,CAND,QLX5,QT1], ...])); unrounded engine submission edges; complete paired seeds only.","rows_sha256":"1d7e64311d9760fceb4b26182920b24caf6b284ea2e88faca67d33e484c97a44","ledger_zb64":"eNrtnWtvJDl2pv9KQ59soCqGh3c2YMDe8RcDxgBezwcDg0Ehr93arktDUvW4bcx/3/clg2QEQ6qswaztLWVO290hhTIy4vBcScZ5/vPu3eHhdLx/uvv+7ve7X99/evjub354+nD46eP9Dz8+/e2b7364f/rx8346fPrwm/773+w+fHj7eP/h720UvfMmaiPitT2JU3532ImRw864gwnxnIw6pu8eTo+n3cPhx988fnr/y+n45rvy37c/f3p/f/i1nb57c/dTvpf74+nj0/3Tr28/HN++333+ePjx9PibHz7t3r81EuLb/ef798e3jz/ucO9vT7/s3n/ePd1/+vgWH/57607BeXOUnU7n82GXjl7F8/Hs1SGp/VnjPo/6qATf9adPDz+dHh7vvo9v7t6fdo+nu+//IEqrqJR6kw+0c398c7d7+IA/+s+73/7D7/6R/4U0fr5/f+Lh46fPD4fTu593Tz/itp9Oj0+/eTw87J7wqPzrCc+JL5r/CjesncffHdR5r1zysvfKOxes3Z8PzqWwUyme9DnJ/uD2SR336RR9jCcb41GFEL09791x1y95gAxwbzYEF9ov97/iRtovHz5DlB/abzWeKfbftns6Ovxz3B2Ph/PuYHdBiz6H/cnKSXvrTAjeGe+C7I9K+YM9aLsXfIE2Z292GGPcE1Qpj8Piq2JY/Lo/vztZa3ZOB5VE41vFik9HlVTYye7sMHQnLyaogOffizsGE/1JmePOp3ByZ3zXL7uP9+/f795tL272h/0x4hKQ4DEdjAun4I9n43cqHrw2+hx3Z1xI77TEdPDWnE/qqHTapdP5oBwfpAzwQ78oxsvgkjsnwTq9T2fR+8PZOnzEhKPaOWsgoP3e7PeHJHIKahfD0e9MOMAA8h3Xi+Jq0IrDd2qKk7Zvvvv0Mwbi/j9OD99pqN13v9zv/ul/v/nu593D/eN3fwON/u5fYSQw0V9/O1/gb/vF3j2eDp8+HiFriVOKKQZRNqUUjY5/xiB/+lNW3KrUd987nyZrdDIGcgleYXjmk3L3vVcaF4HVisBsvY/tpMYnbZyUj0apGPFp5dtJg0+agE+GIFobkyTadtLefW+imeAYoouQl3gn7aSDkmo/4U6sw1daDHjodwS52ySTVlaSctAlJa6dDDhp/ARvgLtTEmFOut9SxFnnJ5+sxsDyvkz/aML9WjdFD0Elp4LSWteTAhlZryc8hU3KeKN9aA8jlJHVGDXRIUaxsJF2jiJybjLRSsA3Rr2QgkBEuOCk4CqVeAjexnY/YikFi+d0CX8Zk05J949CRkGZSUelA2QoyTb5CSTkArTIWS9ww7iyaWMmkJB3Cid10vgo7l73T0JAHpKH7JLz3sD3uH5DEJBVaoKJapUCdEW5JlpNASk/QX2Mtip4I64JQQvlLpOX4CQGh4/279SQEBzS5L1NWpKDJvg22NoU8XncZ4K3wS99vywl5P1kVYJy+uCis7ZJSFOLMJ4YK6g9Hhb3bNpJiMhACnhEbz2e1STTnyXwS6GcsApnLNRMpN9u5ElIAcdeLJymN/07KSKvpqChA0GsgrbFdl0DGUUdJwNV8HC3Juj+UQMZOWUnI4ie0eKUmC5eozlqZoJCwEoD9MF0ORgKCfoHT2MD1MRCU/p1KaToJ+1ThCEnPLEsvhVCgmyhnrATh4/DX7VHNbQ0A/M2+K2KCfcs3V4MFQmmBo33FvcLDbRNywwtTQvuFw8s1rhoYhtUAykhyk0qWNgZvtlKbA9j6Y1ETwq6i5+05dC3k7Q0oyf4CwgPThf31J7F0tTwpAJnZJEP2KhSO0cRwZh8xFdCTEhQuv1aiiglyA8PIQ4xB+bdRG9nPYIXNR5xGEPe3aOFiGC3k8WAIL3BVSCmdpLOSIdJEM0h80i30yRkY7sjj++M8A/SPzlLCLaoodgQLEa9nnSUkDUT1MDiu6H8STfFdjS1AA3EDcHXwNJhqO0ktSi5CT/gs3hIeIN2ju4avijkwYavE9Ul5CyVHsrp8E/E5xChmyI4CsjAFSEvipGGJvhAO5udkZ0Q1JEmQETQ/SYERx2CBUP5YCni8Ti6XxcSgsOckLZpDEvEd/cY4SihqCFbOFuEAhipbRLyim4MBgxnExB3EGn6ZT0NLcYJ6hGQNuCTto+nh4RwKUgB2SHUE2EoLj5KLVIwCCQ4iDIYCYitnZz9deD3wZHTQ3ad945qDYcD94fgZGAEobtWTzWy8PUJzw/xRYxqE5KnO/IOrl7gkSKEGBc3TDVKYXKWQR5yTLqHEM+QJoKTGBZEIA9DazoWICQM9mSQXcEEGcG7vQQKCZ/Ump4Jziaa1PUoZCnhdhGw8J0JehzbyARDH2gwMril5Jh6QBnb2eyzIWD4RiQX8F1dRoEygh3Cy4iiD0Sk6bdLZ6TwQTgp2JrWiMP9OwOfJSARgQNApIF6quZRQrY0wVeanLMY5JP9fqhHiD7w/9AEpAPWtg9GxjSYhKdaQzeFtthO5sQowU8h5sPfahNjG7JIQ6P7oxODXUONumyjKXEUf4VoIkFD6Zu5xKxFMG4n9NO402TbzUZaGkMl4j3UBRENjrCdpIBoERFhSUPtHdK4pgoxlOviEWAyGGzkVr5fGCJCQJn4EGI9cxXTxZBK7gMBYKg5OGGRcSXaGqw/5hgamUh3V5WoRhoZrdiQAw9jUzupiyrAC2mBpTK+d/VMOTeCZ/V5tCkLaVJKlJJyU/L4x1DroSn9o7OtwbAjLosLyyLQpiwnhwBu6fUQMaVniCkUR4ewxeDM2+gZbWJQE8oQcQIWgZtqEkzUI6smJLJMHw2clqrqIMywYQMTHIOFQSAlMC2fFWbYxtNvIG+CKeGOvbSTmlKAHXrGM8vQ5ZrbkJxiw9kjK43QFBiw7d9pyw0hUNJg4QKC6t9JRQoYNLhkBLuUtbSd9CVbQxWESo23iiE07WyoySUSSHiUgHqgf2ksshXGUdxTgB6ldjKVL0VCixgLFZIuP5GsRhhR5NbIKBIfp12WCbZD2I8QUIQpIwvp5yihSAcIj5ZTvbA4aUryw9uAT4AzTz3kSc6woWKJKTIcNpxVf04m2PRxBmqPlMzCL1vfTmYdilB6+DEYDAYcsm9naWsoi1C9OHo4jE5oUmCKjWR+QnoNY0HSC4VciCEHfqRyNCPmgVC09q169kdUMEiTiUxs3lN0tTXNUdVIAkxzysIkO4sXjw+36pAd91HLSXaiD+SvISYUgf2T1CMJkD0yeiYqqEb7SVoa6gXIGCaBoZNeqAlzbEenbFnlIdNL0JZ2kmqkWGlYZgRw3Bi8JsGcZEOCdD6QO5Ql2ab1TLJh7XCRnNBB4PK6p2vCJJv6CQsUx6TLNDcnRor/tDAj/j+Tz3ZZkyu1NEUmqw6jhnFsD8oUG1dkEgjvydwp9vFmio17mOAqUHFBtkhp+2WziHhZPFWCMkVJ/ZNzUONUGZIRwQ11JWOCnaMs02uYEzxg0P0sTS3go5AHMkToNyJvv3AOa8iiUboglFJBu4HnFBtJK/NrJO2swLuMmGLTAyK1hD3gk3iCprxMsREFUJmrXE5g5KR/0pQyGKILKB+R6umWC0vOsVFLOFYECDOsz5uMmGIjWCFlSHC4LICM9O/MuRHckaMbZ7rcjTRn2EhohZEQOSiyyK7WOcP2nP/Q+EM6M9H9ZFYiA/FBEgYlAzxDV92cYqNSo7nSiUHBuuo6KeGFtgRXFnJt3E4yqEGLYNqoQiB3xyqwnTXllnJdhqIHd9Afhkm2F44o0olorVpMbAiTbGR/EwcSSuRRvoR+0pc8T2FUUBoygW+Jk+QcGzpG4eX82y8ik8szItQxU+rrmFrgl5xjI6OFdBI8JNOslmOLVyVDRIYNR+NYiS1utyTZcLxIVJDoGTxtH24m2chyUTT5PD8Dr9VyHMk5NvwjJAlnhMwT2XL/ZNYiBjwYPnIajPjipJsjE/0JHge23caMCTbyJU5GwSFwstfp/pXUIoWcCykFHEuCT/LdoeQMG4EU+SWqeiqStNxScoYdkBsl1nhIfpDStk8GVRQFAQ+/h7dDKt91jCk2LSLQOdJnoBjvJ6lGUHpkNnDIMdc+TYuYYXvHeh93nHJSFtqIMsFG7jFZprlIM+nMmnbmDBtxCxEV7pkuuT1Jzq89fCN8ECMsaq4uA+bXjKMsPhRFyL9vJ2OpT5BZwksbyKh7v5xeI1FDUEHYQXXMQFpPMr9GWYdylPUQrBNuvg0K82ukuHAYnEVBEZGo1+3sXIEgJ6engc635FCYX9MdJ4+SEvETpxbfacuEEmwU6RJ8mbTEXJhe0zqh+PTEyGeRq7eTedqRBRwr4Egv1S2F2XWeyEPQgq3lKtP3G+KsGr7T4dvwVxR9H6+cXTPscJx5r0otAgSza8RHpJW5BlPCCbJ2Tzm9VkjbOUOFBFMj6wj9LM1MmKmhyqWbguvoJ7OZQU0c1DfhvuFn+7daTi4i5nP2kJrtbU9RmF1TF/BVnKCFhevuG5lcw1mwkEDcCCkug1IKpULm5Guuazmx1E7Gkh06ZgkO4QxRoZ9MZYqBSSSKD05op/alWqliv1yXSRxTRSfXzlJIuLDhBCMsAiJpQ65Lfg2/EPI/kIUO/SSzxwA/5eFuMd64s+Y0dJ7BxpBzuYbzzoEzju1knsGG8kZOFiFNQVnbb4jeGiOO+1TwKJzca/FD5/Q6+QlZLmtuVgy2f2csYQkpNqTO2rvPx+mSXmtm0KgwYp4ca6OmmV8jK0FBj5ilWFT1cKdzfg3bh5Gi7oELYzbSTs55UTCMD8iLObTtZK7S4IpoSHCpKfWLMpyhzA2B88xcw9FtFlrLPO8IXffCsBWd7d/o56lQzs8gYXCLIkwzuUaSysl2ZNCJkxrNv2km1zmyWPrLQNXwi4/SGXlOC+EjCvUvxqndbk6uPev5xBM+lwvtpJQ5DX4bLB/WrRYSYnIN3zQhhmLMYOJMHdu45OxaHJckMNiWJVXzKprZNbK3iQUYojOyR90yH51nsE2adEI1AL+DWrcXf1pnNWLhg5QUuptYQ7eT2WELq3KLgggfh/D7R2ORIW0lodoKTMrayVTmWBG4oSTUEzxXPWlymcaq0nJNBkPgmxfUeQpbEPQ9C3boLuy7n4SQIldmUN/BpXDlsN0ts2vPOWpeg1Gkzx/qPH/NohullslOztt+0rGYQmHIqQU8KqcmTT9LPUKQgJIFpDUIjakPWp6+tpz+gl2z8gmxfzCWHFhBtxDQ4Kn6JIzOqbVhnWVQ/GpI33fJMrWGwk6ISQjMeGguI7XnzNPXXjhnhMgUPdch2pfm6WvoGPy/wZdwtaot6eg8f80pc82fKdtenOicW0euK0QmTRCB7+dckYFhRS15GUSaFTK1ZjqA3Nty4Q95V7cW5tZQ8onKrDS+Ef6zn4zVNTrH8cPT9OkkzeQapRCqWJaSMDSaTD2Zc2unJppgYAHtW2ao8+y1NRMVIHGqGKJvj+J0eRTUJcg5oXixL2tpZtY2wcvDzXAAwyLL1Xn6GjWYZ+4Jpc3rA+2kK3aEghthGUMDnyN/fnO3f//p8NPj3fd/+M+7x9OJa6nDJgCkdH98c/fx7nvO27cFVww+RI0g4zijIIxhu/PT6eFf/7T7OW8S2L1/z3VZ3AY/9+mnfvzzaffTux92vAhTamjG4+cP7z7V3xnEasXaHbf+6fPTu0/nckLhZnHw7vFp91Tu9+ETdyHc/a/d4+n9/ccT14XxrfvdAV9W7uafPt4/3e/e3/9HPflYHiPfDv77Yffv/YsZSdb3Yphn8M8//YDvf3P3cPrl9PCUDz89/Xh6ePfj7n358enf350eHj495B/2u+O7h9PT54eP+a6/5kaz2Ba3yAS33mY5Xt0qYoUebhW2i/rZyH/17f5wevrd7sNXydPpjTyR7P+/u8F//bz/cP/4eP/p41859Fxlo/ta6aFwuVT/99zsMPzPGM1KshfN5r/2lv8SFeDE/VoFnHV/rQr8kTe59lb46rrA/Iy3EhQe8PSWeRZntWjoL7gr4WziLPl8vHRXSCDiRu45BzAMq1frroJhCl5usxxfdFdc4AoMMjd39e27q43RrN3VJbO5PneFkaqbJ55PrlyegjMOhWNKLN+ed1cpV8ZF8uV46a6cl8HukESLU8iP0xVnVygAuEZYpFaOL7mrhAowcbvDzV19++5qazRrd3XJbK7PXUHv69ag59yVRk3OTXPG5LXpl71VXlueBZ+PV97KcdllFDu3jCl9xclVQB3fvFU5vuitQkCm68OtFnwN3mpjNIO3umA21+etvH1Td709n1xx+hqen0tuSfkXp66QG+gq+XLc3ZXwNQMZ5c6dqMwUzBW7K5t3bxSpleOL7spqwx0ht1rwFbirrdGsbvei2Vyfu4p1oj2555MrhHMv1nCDILezvuCuuKIc54eZj5fZFSTsNmoCF8gFh3S97sq5GOtM+3x8yV05vvKi/W3q6hW4q2eMZp1dXTKb63NXaZ5phzd6zl1Zbq/IL1M47jV5KbdSeU9WCRPleOmsdN4htZ4w1HmbYX5v4Wrn2VHSqXqb5fjiPLvn3naxN2f1CnKrrdGsndUls7k6ZyUyz7OLfm6eXZBbJeGLaoL6I9nw8i4GY2xb4cjHS3fFSnKzvmG5gdZyF8r1Lgs6p9uyYD6+6K742mzIuwhv7uqbXxbcGM3aXV0ym+tzV3qeZ0e195y7MhPTzryHQazLrRCed1fWKNXmYPLxellwGyb4ll1gynbFM1eiXZtoL8eX3FX0VqES9LdlwVfgrrZGMy4Lftlsrs9d2XmiHd/4fHaV2ybpkJQ47k98yV1F11e4yvFqj2gwmxlDw9fxUQOla97FID28luOLE+2Or/iapG/u6tt3V1ujGfaIXjCb63NXfp5oh7k8n13xhSFuZ4fwvHcv7hF1PrRAUY5X2VV+DW8dJlJC+uvyPv7rza5CVruf+vHF7CrwtWN9c1evwV1tjWbIri6YzfW5q1An2pM8n115dqrQIYbIN3Xdi1Pt1rU8oRyvd10FP8rdKL6MnGK65rkrManNXeXjy1vaRZSLtzdwXsVU+8Zoxl1XXzab63NXaZ5q1yo8n10ZZKlsyce1QeNfKgbZFrMZXjlez125cW+u9gnJrnVsqnW17kov3JX+KnflHfsYJmVv7uqbd1fPGM04d/Vls7k6d4X/e1MbF7y0MpibWig2ETPhxezKiU19FsYO7oqvdm+yWonQapXfQbjWYlCrtu1mPr5YDLI3Tbq93/w6isGN0QwrgxfM5vrclZ6n2iGH57Or3Jpae2F/x6RedFdsxthmDfPx0l0FtZG7NR5FuNHumueunNN98iIfX35hULH/n7vNXb2GqfaN0azd1SWzuT53ZVcEmWeyq0g2RWQfOLG5WfLz7sp71/KEcjzsuxrfK7fCpUZdluSv1V2Z3F6+SK0cX3RXkpDpIhe7uatv311tjWaz7+qLZvPq3RVc0v3H83vCvO6+//j5/Xs4h3/5539zX0+34l+/QLc6STQntz+Y8z4ku2dvr6DMXtQuHHdcW9Q+7HbubA+7XfLxJP6wEyV79qOOZ6ueoVtpo7Z0q/zLDd0qb6nb0K1Q6e/U4cymnaL4Hrv4UziI3+3kfD6c97jPTNvSjv0CvUs2HBHpvLidtbtTfJZuZbmGtwVQ6eDOR2vPOxP2zuNbAiSSW6/502m/OzlRJ70/Ut9C2p/NTp+Pe7bSi0eXjrv9jW61oVtpPYl2RvgKmGLXT/0i3UpH5zJAyKvO3Sh0KzPBoiwRGOwSFUa6lYgnscgo37tbdroVPxYCyi9ZAKxmupVJ7DOoLBsHp5Fu5X3uZF94USPcykiyxmnNZid6hFshiYDzIiFIL3hRFW5lgwhMgBC1TmCqcCvcqYvJ4ZE6OKKxrTxRc1A/F9SWbRXYuhynTKe3VLaVJr6LjXSlt+JsbCsWpuwRHCzhGiPcitodqPBKUhrZVgy9CpmiYsfSEW6lIAXlLfu5+rSBW7EzKT7m8KhpDbdyE8Ernp1Tg+kCqnArZwxfgNZslh02dCud2FM0Qeyx828q3YqlDfun2whL9xu8lUXWi2GJcCMbvFUIUD34DXaPdhu8FYFPRBTgs2mkW7GZJuktUAf1DN6K9CU2YleEI4x8q2Ay0w2K6DotpfGtPKk7XJSwXVUq34qv1pOY4FJ0cY23gkngAdkyU5nU+RgVbyVIAFRif2SzQEnNdCvucvYcUFhMXNOtzKQCu13rSC+cRroVWR7JC6GJujNjKt0KRUckdAMiWYCxZroVn9HxPWtBqPcbuhXHU2VMRleWRrdiN0nNZTDxnSFS8FZEWXBiRnnKMI54KyGmix0uzeJpKt6KzerxnJqIIb3BWxFqgKABs+hoksq3YlZLvgtv14x8K8cmJOwthqe1a7wVJMietQS/kEE04q3g3OACEfxC0hu6FdSEjew1PLHd0K3YcRnPSFCFbOhW9EOoc2Cq3QM2uhUcqPOW/V47UavSrdi6HNqFJ+uN7me6laUDZNfRiNvq0J2Gt6LfSESsLQhLDW9FuoVw3/KCmVXpVkhFREWkIguwXYVbGVRtPrKs6fpV2VbwnAgCuNnSg3JgW5ECEKgLKsQN24rWSYZq6n3aG9sqREsUT0TQ6pjCyraCdOE3kTuwA/vItvKJ5sn3TqAOfsO2IvYFw2IwMguSVIVbwSm4wL6uyWzYVpCN5zp/UIgidmRbMWkNiBBkM6WRbWUQfuFtvNZug7bC89G9sYFvdzYVbcU+6xAv0Q/PkK2geMHxpQk3gq0MOz4jucft+cUn57bykHhMir31g9+ArbiYbXBZQYDoQqhgK1yNw4vnSN3qG9mKLBNPkkJcwKsq2QpCx72yc7WKI9kqc/DY95axdCRbwT0xPJgAe9Aj2cqR2pmcZt9+GdFWNHnDhAWC6ZGnsq0sknIkvjRvO6KtDCzPkgwQU2d/xRz004SwAGPLrdoX3zmjrSJJPbBgqmEa0VaGzdCTo3uLI9kqo3U4c4Ja5xmyVcrhzFFd/Ai2ghN3bFXGRjFdNSvZCpIzXPLFhxcwx0K2YlN/0i6JaXA9ZFWyVaIW4MCTrTiSrQyiHFNFmOoiUatkK6eYEyBdgRVEM6KtmKUZwhSCXuDTKtoKlo4MB66XCduGbJWQE2fwjVqQASvaKrf2wgignum8xoK20mSa2Jz8kKm1YVs57QnywlXDlm1F+A8ZRajv08i2imQFI6YlMiLMBm5FcKzxGUrUInCHWzk204ZKkL4x0q0082lLZqPpNIZGtxIST4jiWqAEKt2KG8Ms+877sGFb0dFDU1iHpTSyrRh24T0NHVInu1S4FSKlwYMi2y1vTQ50KzYFp4fA6PmRbpUUqw/4HcKnRrxVYJQMkCFCTKfqVL4Vm14bJtpkXazxVsR3ssU5Bi1Hug3fistMuGFk0U5v+FYcpMSk23k34q2QuCsmMQGmFUe8FVIFw5FTPo5sq+wZERE8u/Rv2FaOPelRFcF1LM5KcXTCzvuZbNKZRAVthbwIAiINTpOFMaKtxLJhP1usLGg8DW1FgLZDcgFb0yPaynlkj4hNXLZwa7SVz9ZPxxxX3KtQmCeJBJVAXgLSQDeirRjvuHTnVMeJzmirQKBHosMkhjNsyFb06Gxl3tlfFWzFwST91cfU3XkjWyVuGs4J6oI0U8lWga6dpQ/1149oK95JNDmcyki2IoRLM2tfcEAq2MqyCoUS+thhth1sRd4fWQXSEa+Na6UJU2USgn/JhmvFBAUDwo4KHXlXuVbas8sb7pUojJFrRQwXgj9xFZ3UU7lW3FTtMhI0LHBZM9eK7zlpsmoZLkauFUsB5FApZIrDCLZCdpff94mkmI5gqzzYnJnAffk12Qr2YNiUmQzsnhnNZCvcLvUWYkd2271fJVshh8HIsXQMPTFvZKuEO2G8s2Fh2W5OjhQ9AtwcYmJMI9kqkKuE3BKFZ+zwpUa2IrGJaJjOMKxcKzgqx7oQ7qhDujrXCq6DdTnCpay5Vgg8mixVUo5ip8kUrhV9lCaFmQTZPqCVa2WIPUfFaMwCddS4VokGz3DX4SONa0VsJDcHIbJ0XnLjWunAIMuqcEmnqlwrpmIIBJyf8BuuFZHmJJfAA6eRawWhIqyQK9EBIo1rlTFciTNNHbTcwVZwuuwuQq6GHsFW3CISiBD3i8jSuVaJfREjF5zMyLXixBrhVMxp0oZrRfBSICM3mThirZgE049ruJtOFipcK9gSHBu3Y6Fu6qlcA1tBfqhCkMwqbTZgKxcz5dGgmvJbsBVf+OFsh1mA1RraCr/LM1+xo10a2gqjhfQEbsws2F8VbYWwjSgCZUh2cdmZbRVZ2wZPzpPWYYRbEbeGpBM1sO9Mtgq3gh8O5JbAaNSCUTVXIWQAkSrLGjmMdCtH/qYLBTs90q2QqCKNIPx0EX8b3grxEUEi2rRIByreKrBHIpNZMt38mm9lONsJ1SS2l+F55FsFMu1ylF1Q+BrfCg5Osn+NPUVpeCuMTCSyTRYw0Uq3IqUGQx1o/TLCrQyyck4ZIcGxI9sKuZLXBO0xDR/ZVilzcgkSWWQElW3lDLuKEVyHKOFGuBXR9hGRluSsjiRrdCuym+GQ+C66G+lWlnkN8r+wQL83ulUIvCHYoiaXek23Is7Msl5nZjKirSx5v7kRb9BbtBXqfERSAvgkjGgrfDe+k6AV0+NAY1tpyXNUMbN1wgi38sSjQfhE4XbcUaFbIcAkIqgylrZTqCrdipK3ljNDC8hSo1slUh4dyaCdjlPza8UCJechrkMDO90KNWdmQi080ky38uTBQcpwzrE79Ea3IsGQcFMyhtxIt4L2MULz3WcdR74V0ht6SS4DLFBTlW+Fa7PGIIRvw7eyuXk2LDiS6rsGXOF2ES5Rxxnk4c5vAFccfJiZzWuTI+AKX2czvNOqBYeqAq6oJ5xBDB1h2gBXiYsHVnO2r7PZGuAqEIZEBifXATZ8KxKqSONDwuI2fCvilZgkQylk5FsJ528QT0nVS3bkWyGDhiOkOfkF/GrmWyUONTGcwXQuXuNboVzgiEZCZN3It0KQ0Jw8R+3T+U2Nb8WEV0GdOip8gbcyVF1L8cuIt2KFBsNATtbJbBVvZcgnUVx/MnbDtyKGnbBvTSTShm/FKKoC2ceuG2LhW2G4LZF3nA2ITo98K1gLPEdCoqK7LhTAFYebebTwdJtaa4CrxPl7th81qStKBVxxpslz6YW+2a8BV4gipJorXH0xTTgDruDIICP2jE92odgNcCU+Jy5Me/QIuHKMaaRJ4d9dFyriinhYCCmzdMMGcRVyASick9gQrpiqJC7vmYXHaYgrR34Qo6WPCwDWjLhCFcf5XaYK3alUxJVlMQb/AL9sRsQVjIrPCuX2LTNtiKtIshj7/UQbN4grR+JxYuN1EzaIK0c2O2ej4SXsiLiSrPFRe4SR8FcgrlBcWGYRnHZg1qlfZlz17YHleNW/wIW0aXPDAIeS5soZV27BuHJfx7jKDv22S+k1MK5Goxn6F1wwmxvjatN50zOdR5hUSM3zNN5LjCvTJZ+PV+7KPsMW4/Q/ArG+asaV7i8E5+OvYFwZzjfcXll5FYyr0WgGd3XBbG6Mq012FZCQRy6T8w07715mXHW6WNog+Vh7b/AX3K/n85ayK2ZcmQXjynwV44q73uzNXb0OxtVoNMMrKxfM5sa42lBjhJPqjkt1rrzX8xLkqje6KccrgqjoZ9hikLvEEK4actX6F8zHlyFX0XNh5da/4FVArkajGQiiF8zmBrnaUGMitxEYwyXNMvX7AuTKq/ZuYzlegRiU3oQJbTRnHzNS4HohVxI75EriV0GuRJdNvjd39c1DrjZGM4AYLpjNDXI1uCuZuFGbe/i9cDOVeRFy5VoXyfl43R0q6i2tRyTxqa4ZcpWavs7HXwG58jaoG0L0VUCuNkYzdof6stncIFebdiucKyG2khsQ8ht0L2KuzILYY4ZiMG+XH3g9jnu9dYxXjbmKC8xV/CrMlVGozm9MvleCuRqMZigGL5jNDXO1BTFwK4+XwBokfGEjwxcxVzY+w+vhJgsXnVw15kr1lcF8fHllMPElOHXjxlwB5uqS2dwwV5vsCsPJ/iB8vUdUTF/AXKUFsWfsvZnfuxp4PdyxyAYYV425stIxV1a+BnPFtwWiv021vw7M1WA0Y3eoL5vNDXO1cVcwmWD5qhZf04z6ZcyVLIg9MmCufN5TNDQRhIvwfFfqmjcyqNR7xebjy5grxQ3bt5XB14G5Go1mALRfMJsb5mrbe9MEz7dYQjKirH4Zc+VcJ/bweLUymF8FH3k9fPUy8Q2V682uorTJi3J8GXPlyTi6TbW/DszVaDTDyuAFs7lhrjbuStivMqOV/Bc4DMr2OFGOB4boJqk1bOfFbmRXTbkS1ylX8jXv4ITMPjK3TsGvgnI1Gs2GIfpFs7lRrrYMUXbytIZNVNl47WXKlQ8d2OPHWlBtklp2n/Dsa2qumnLVtl3Nx5cpV4HvwdvbwuCroFyNRjPUghfM5ka52rorvntbGsbYZF6GXOUh/6kfr9YFg93SerRxwuYjVw25EtshV2K/CnLFPiO3dcHXAbkajWZYF7xgNjfI1RZyxY4PQSmkYbn5xYuMK7vA9Qy7GLgrfjthqNjXT9RVM66UdMaVkq+ZZ08hBn/zVq+EcTUYzbAseMFsboyr7aYr9ntitxvlvPjwMuPK6o7rsUNy5fJ2rQHWA0/prEn6qhlX/YXBcnzRXWnFPkS37jGvg3E1Gs2wpf2C2Vwn4+r38hcgrn4vLxCuDp49Nw/nsxeJ6iR6v9N7OZz2xpjT8Rz8Lhp1TnL2Zu+OIbhdjMqf9+l0UHF32G0JVzqlLeGq/HIkXLGx3DOEq5AO8egPRrnTwR/PB51CUHuNu9yL2/vD/ujCXs57JTvNLrmHczyIkcPOHdi+Pz1HuFKeLR23ECq1wzOedx6pqGYvmBAPlh3id0EdD8d48nbv4mmv4+F4THavTxhSf0jubHywNvOiboSrNeGKHdrZHt86IiNskhcAV2YypAnEyM6YHVyUO4SmOLFjs2HzUZ86v6kArtwkhi308W+fOpmjAK7IROF6nXbWLoApBXAlk2jLvnjGsin0GnDlMuImwKtYv8CM5Pb7MUzcGMTGGmwnPwCuzOS8ZzP73Kh8BFzZyRthiz2XbO/lNwOu2K0vYJx0CIhzZkW4cmEiIEqg/06ZNeDKBIjPC+4HN6iiXROuhC30E3IVn5lHa8KVTGzoEll9ZSbNmnClJg+Xm/B9bIS6Ilz5lPAoEZJKCRLseKZCuKIUJBe9zoZOwMmEKxtInElsyo86o/NACuEK+ZVKYiim3nI4A65IncBjejYUZvudgW9lJsF3iod0oXJhxbfiV1pFGoUmusOu8VZuck5nCBD0qxO3Ct5KTxLZ0NCy7/Lik7a0HLUBvyUHDS4/rPFWGnWtU94Zp6H9ekW3wg3hGyFUCFM6gGCGWyl8J8YqUr4pruFWhB0FPgP03dsFqSt3Ko65LSvhYsiIFsinGW4FHXFskOt7T8yZbaUoPZTfUEqDMfUruJVNE1kJynHaVXVkR4ZbmTTx3UNPgB2GdIBbYTgdbkUH3LHuqB8z93TUbOAZCDMLfmBbOQy2ZbPnjEnTa7SVnqCi7HFu2D04rNBWEiZ4EvyW3CTTmW5mJjikTKhVpOQ0BkEhW6k4Se4Onxvp9sHOjUHJBmNjb6glgShrsBXsiGgH4hDcgu5SwFZspYmYQu5GWtxsAVtBpwnzkNzw3oeBbMU272x3G4yQC7AmW1l2IrZsGEoqm12jrWCBPBeEl+4cFTtDd4gpY4N4Jwt6VUFbQaklESoG52kHspWedAY/wENBCGlFtvIkbeWu/cRchDXZKsYp6LyA5hDMzUC2wqBEg2SUjaU7amEmW0G2HkkDOX3cLLBGW7GPe6SftbQVt0ZbkQNnyEDD2c6oKWgrw3b1AbLHr1J3/wVt5SYCSRiQcPHupnPr/RDIKVM+EjmSuhfKaKtCYQiIRE5Ha8MabWUnKADNHiOautEXtBW8kIaVwcLw6Q5fKmQrM0UCw7xiT/XOIitgK0Qy+C8MSyIIrpPTcuv9zP1jy+8EJTSdZ+RnfgPfhTRwLeJijxwFbIXBxidgKqTWdcMuZCvLBuXkz5CotXjQNDMjiOiJcDMx9gctaCsEJIQ4DDf+F/SabQUL9NyTjvDK3mvWrdlW7DmfG4JHSzhLWMOtkLsg49HZVmzvxTzDrWho7H0cSG7p6KYCt2J/bTglh29mb/813MpPJPTAq9Jo9JpthZhtC17TwzW7FdtKiELRcMOG/jat0VaGsZUrNHlR2a3QVjGRewWZa9xR6L6mkK3slFjzwNkiB+rGktFW/EqoEtsMk32j12irMBGnwYVTaNHCExW2FYUrbK6NR9VxYFsRkYRgL4wRqSMVC9wKdka4krDJvOqRpbCtZMIpDCzzhBQ75THDrVwiAhWSZZN579dsK0cGVYAEEdMoi4FthfiqER8IDURWoFdsK2HPZDxKQvZkfQevFbaVn9jEHhkN8Tbd1NLcMD2/7hNw5YT/2TXaSlOESMMY6+CWwgptRU1BiBDCM0R3QRS0lSH1IMDKEjOE7jjSHPNTYpt17u/UXT0L2kpRSkxxkbHIAiea2VYGGTu9UcJTp96Xv6KtEqkQ8I0onZJdo62Y2wh3i8Iv6A5Syb334bAz8YJd7hHf7ZpsRcoPST2IeOK68AvZyjBF4SMSy+EWTCxX+IeISzbv/kLcCiuyFRINRMnMgyLmpkMlCtsK4iUY0STHlc812gpO0MAH6khWZghrtJVni3z4OU+Q2gJzUchWQhhUYlMd9n93K7KVThO5Qh4DAU30Zk22shNRcYE0nqRkAFuhqMFzCgmaKolZg60cgqzGrcNxk+vm1mAr6CAZr0xlMUJ2DbbCRw3UIHDkGC/XZCvGGM9elrnPe4d2FLQVggzxpsyZ2KZ8Bbci3iWQ3AtNQawJa7iVItCDDd9hU65zdTLbilHP0kUGL8aPcCvS9vAje8Anu/hk7pkO2Ud4QOqL1SPcCnqEtECz7XzqhMkZbsXopH2mq8Ht6zXcSqM4oUE4lgotwZnhVgRZIIrCP2dc15ptZVltBgJpyYRbo60sPphxlznvMgPbirRgAs7wraa3f5/pVm4ytLOQqaCdVGMqhDhzFAINPOo13Aq6kHgDfG0OJZ5bwa2EhEQaWcYsdcKcmflftCSb28OHRiSc8VZuQjoW6UJJUlpAqjLfijahyP5yGSWy5luxOs6dnKH2rnuywreCDaNoQSJC5MSCRlP4Vnoiy4c9SBj/45pvpQggsOSTE1Fp13wrpN+5mz/kkLoUMt4KJYhh1R3JnuyDVuhW7JAPt0pbUNIruJluxSFFDEYGEOCXw4puxctC4Um9NB1APMOtCJXmBl9Hbptds61QurAK0zQs031GYVsxY8VQIV8Q6zv4qqCtCNlj+RVJQ1kAoebciPBXX5xcJ3wVtBUyGDKGAxv+I6v2a7QVNEzxQ4Zttrv0CtzKZWgJ6ZFEVts13IrGQr44AZQ6pBXcindEV+Ssy/SBNdwKoccidrPwZqqzhlshjpJRQbqh7/ThGW6lJr53xZqbrLOwgluxRuPbIbgX+F29RltRtnnu1TOP9ku0FVmCPEICSHDWkoplSm7OsMN81sae5RW2lc4EU7K9EgTRTaWwrRwJpiToBq6ZrdlWwpSLhKoI+2SJs4ZbqYnzKgQeEy+7YlsZVOssJhFatA9dT3KCjfCbMpuFb/X1LKSwrZB981UQ5HKwNNfjQ2FbQcNygk84Xy9QCtrKZFwtSlrPtwI7qLGQrQgu5u48ZOaul3eFbOV4WSG7RLh4OJCt4FNxwbxsZnt0KGArQ14Wai0H67bdMYYZkcKyJZDWipRw8ZzZzDh55dkKj5MPfbQL2Qp6Sw4jq2YIdAGvUkVRPFlvRCnDm5g12UqRqQHxJM3JJLMCWylkEobzkIz50n11BlshDpZqhIyP1POBONexRFeTSIlQ01W+gK2I1IC+k4vll0isecIRDhx6RH596jIqXCtUIMj1UBhz8iYNWCuCZfEzbJQDldZYK+gmnpEoI6RWbk21shNJ5ZFXNSF1T5Tm2SK+i0VsC1kpnSFXuFaEh7ODjiPbr8svg61YPXOiiRjmuJBfAVtBUSJNQdnlnOwMtuIbThEjTQBMWlCvMtcKRgifgXqdbDW3uKO5BvG0iACrYpBYc63gbShcpsJIMroyZLCVzuwvLjBCvN2LZa5VZgU7zioSPx68WZGtSFNWdDc2OwC/Ilsxu4ZrNrwfqIpfo608XVXKU9ow8E5IKmQrRUwK17y8VQuaVk4cSa5isIMEnO6Fwsy1Imk+EIQJb5acXXOt+EYGcWLQsG5MM9YKzjHP93AGWeyAtVKEezlOMzky79wKa4WkMuFmPfMTOHS3xlrR+DmBmlOblqbNWCsySOGLoA3EBq6oVpEcUcIYyYTxfeY1Y61YzXOeEK7GIeB32eZ5a2IVDfHiweaZnzXWCi5Fc6yJ4gotusxUK6LtqWREBnYVy1SrTKolI44BwknsIJ6cWpMohowmFkh4mxCZqVaZfMoFsMhy1a+oVqiBUcZqRhgS0PQaauX4pXB/SOxtZ7jOUCuZ8Dx0Yp4DrtdQKwZnX2qatABBFagVp790WadYJmIz1MpzRtxzYi1w0mMFtQqs5wNT0kDfaQeoFaexSF3kbJkdoFYaJTtyEDaG0K7PEBaoFVJZVHUIaJwu6ZOAM9WKjLOY0e2ZvbimWgnf4+aSPDL0xbgUrJXFSabclhAzWVOtFFNDwoPpHzsIKlOtAsGxjuxTTrmlBRDLF7okHwUjhvARXJdRwVqxIBJOBAbudh6wVookqBBY1nJiZIW1Qh6CCr+wyReedcZawQ6ZSHjGCr3gwOXZa8f8RmU9iTC3NdaKBDnF/EXYEWLBvDLFMRhSoiIqJjNSrTyCD8IzV3a4QrKCWnEuL7IAC+TRywC1YnXMdQpyWjsxfqZamcxD1mRdeul+NUOt4Bw9Z/BTZi6aaNdQq7zqgrI6r2V0zFaZvoYD5HwcwajIpMOaaoXxhmwZljLFzK2xVjJBE5D2RhIFjbg11wqJp2KRHzjJuQD0FbCVpfKSBexi7FZauFa4blCJCsqJSfkruFaIrMz+kX1lNpd5cWeShM4QKMerd+qibF5lRISjEV31tm+VmdTzS1X5+OK2b5NZkP62kfIvH3q4DM7aLm+VcO+g4/9QN6iNzQyv1F2wmv9/NiaN+C3DuXv73461IieGyGwaE0KlvNy8zsUu+Xy8eklFRbORu+S1MH3F4AUKtG6km48veishmjHEm7d6Bd5qYzPDOyoXrOb6vNUFqlWYLGd7gkncGuFe9lYx9CyhHK9yqzy9ut6+yokmfOs1vwAckPqm3njfXt71jcIBCbRPt951r8BbbW1myK0uWM31eauLUCvLLSgoN0k4ju7lV+pSb8JWjpfeClqyeTfIW1zT5RXBq/VWnDFtUsvHF71V3nJob33MX4O32tjM2ltdsprr81YXmFZ+cpKiS9Fw+fQLRCu3yBHc4Kt8XnQcSGKRq5lervl9Op9fp5hfqMrHF9+n46YtpdKtE9S376u2NjN0VrlgNdfnqy4ArfKuAmMUN1/kPX3Pt4FSef9seZRyvPJV1o3tt1B2ay7pqivuWseWTrUN1Hx8EWflVSBu+lYFfvO+6hmbGXzVBau5Pl91kWaVktMmKWOEu8xe5C1w20Jb2crHK2/l4lh9c1eZNiLXzFvg7v9GsyrHF2fYFexLvL7NsH/7mdXWZgZvdcFqrs5bXYJZ2Qny4Y7oyJdgvPvC7gUb+0osj5feKhi9XYc13FNt41WvB7rYWmyW44veSnu+1nbrX/4qdi+MNrP2Vpes5vq81QWWVX5bwDkxksTqyIm9F1hWtrdfK8erGfaoNkBp5SH45OM1rwcaCL51gcrHF2etlBO+JXWbtfr2vdXWZoYZ9gtWc33e6gLKyk6am0a9zptQ8+bVF9YDte0rsfl4jWG3m+ZbjtugVb7k9e5eUH2OvRxf9FbsgiFyy61ew3rgxmZGCvuXreb6vNUFkpWZosdpyodj/XIl6FzvbVqO1xR2vdk1wt6GKoZ41R02ywTUT/34ordiSwqdbt7qFXirrc2MEPYvW831easLICt2OLQ+BaJCkzbmRdiCyl0+5hnDfDy8dTMyLoxHaRlQ1lwzGobtXNosez6+vI89Z1a3SvA1zLJvbGbz1s0Xreb6vNVFkBVbQ2rv2KhL5Tc2n9/B4KXhpOfj1Zqg3kQJ1DMqGKfjFcMW2DajrQmW44sgq+QZctVtB8O3v4NhazPDmuAFq7k6b3WJY2UnlRufiLDbq7cvc6x0p7Pm45Wzis5vesZz55vWcs0vNJvUkcbl+DJqwSQ4q3hzVq+gENzYzOCsLljN9TmrCxgrO1n22WOfbOHKYHz5FcH2MPPxapI9t2cbXh8Q9q6LvOT1TrJb3RaFyvHlVwQROEyZ77h5q2/9FcHRZoZJ9gtWc33e6gLGyk5cLXeWPagit4m+iLHKjcLmF0jy8XpzaNjiw2JKhi3Dr5q6119oLscXcyuv2OZebpPs37632trMuDn0y1bz6r3VlmLFvlc4jR//gJPn3f37zw+kNfGnw6cPH3bZbcFp7B5++AUHd2/f/nT/hGdYwa3Kr96+PewOP57GkzOdqJ18+/b9CSZy96ajiBatuXi+eNTtefaR5vncqYu/9OXHz0fIlj+HlKao2bzRBMXWwvk8vOF4T+9P+MjD9H8e8yDhG5/w+9MPv+KH3/7D7/7x71Z/zN/M7K7VX/7LP/+bW/8lf/PsX/5e/u5ZGtgf57ZjRQnmB/l++xxUr/+xEWCH7uH8iyOgCfjwiu/csgtpJoF9iyOweQ7aDizyw+7h10x6e75DnJJ6UPuaKFMP6tu4ytWD2qlJhXpQ+wuoVFvOtd5z9cp1P7eSemWxrT/dm6EHlNQrS72y1CvremVdr6zrlXW9ci292F20UpTqQb1y3bFJWHylHrUOVG+GLi+mXtnUK5t6ZdP6VtUrm3plU69ckytl65Vt6x9Tr1z3ZClbr2x96zHzZujjYOuVXb2yq1d29cquXtnVK7t6ZVev7OqVXb2yq1euuy6Ur1f2unWReDO8qe3rlX29sq9X9q33RL1yqFcO9cqhXjnUK4f2Dni9cl1XVaFeOcT2nvib4W3MWK8c65VjvXKsV471yrFeOdYrx3rlWK+c2nue9cp15YQ9lCvxo70L+mb9xpVK9cqpXjnNV5Zqg1JtUKoNSrVBqTYo1Qal2qBUG5Rqg1JtUKoNSrXB/k5FtUGpNijVBkXaW2L1ytUGpdqgVBuUaoOi29sa9crVBqXaoFQblGqDfdd0tUGpNijVBqXaoFQblGqDUm1Qqg1KtUGpNijVBqXaoFQblGqDUm2w74usNijVBqXaoNi207teudqgVBuUaoNSbVBc23FZr1xtUKoNSrVBqTbYdz5VG5Rqg1JtUKoNSrVBqTYo1Qal2qBUG5TQ9lTVK1cblGqDUm1Qqg32vQ3VBqXaoFQblGqDUm1Qqg1KtUGpNijVBqXaoFQblGqDUm1Qqg1KtcG2einVBqXaoFQblPbWY7VBqTYo1QZ1tUFdbVCrti5q6kGdzqs2qKsN6mqDfX2i2qCuNqirDepqg7raoK42qKsN6mqDutqgrjaoqw3qaoO62qCuNqirDfYpyGqDutqgrjaodVtTqVeuNqirDepqg7raoDZtcrNeudqgrjaoqw3qaoN9kqHaoK42qKsN6mqDutqgrjaoqw3qaoO62qB2bfqiXrnaoK42qKsNtimOTMPaPXzIfFHmavxv/f2H0+7jOyZ77MibewjbaEkwo3t/dvJDBwKKhoaT7Lc9X2xGKHtPXCi5OrCD3Lt/nPbo/QOinUyGT1ibMTLt3LufCXZFMocrTsLmz9E7JEkGX+j/XDLMLz0NIr9m63f2wH/5aTKrZfU0kTDe9dNEM0G7iXwz/rkFskVXPOFLe/RCxDiyR/tzT4MUJAUX2QjfeGM7sPjZZ3ETO83jWZInQ+HFZ2G76udeplk+C1OlCfcm5IxE96VHST63nCY3LcyNy58dGUgwwbETlRKc86xbf97dPzSNe/fh/uPnx3fPDtfx/nzG92Z0pbO56SnSqhTyXNApn0Fi4R1Rj5xoIX4BH73HRd6qiamlIs3HkKPI97X+9Onh8cm1RtG4vxrQ7spXPfOpOlE4/3F+t6b9MZRSeyRmHC/chAx/TLex+GP2FtOJoC88g7FmvDS3wrW/NsL3M9gu3SPZTdYNf83Mo/81ddVC8bkLOEYjnOBcifcZBSofNrAvh2E3kQgnq00TLeGbNnhN4IzLU4VVssGzDbuDy4LQ87u8L0iW+tXucfzUKCyuO9QR94FIbe6jNLTC9PLDw1yidfRNcCgIBTZuxKr63yKvEdYMPmPcnNncg+9/a0jqZSVpnSGWJ8uUevo1MvWKg4f7TyQf24VQPWEKtGs4NLLTmlAtOfIEyGnSJvRXCnX41BeFypTfwktG2GSil3xJULgunLOmB7KZoxm/NAAmo5SJuMGfpo38o+1/aonuICvBkm8dKFMItUwpUJhlemOszku8evj88Va33+r2W91+q9tvdfutbr/V7be6/Srr9sWy38+7B675lh8+Iyll1vWHnFN93D3d/3J69/jjThM9eXc+x7j3qD4Perc7ovzQZ7VDyZLsGT+EU4j7dDB7E4+oZ3eoJhLSpSPqgRTi4Sj27s//FxSQ2fA=","ledger_format":"base64(zlib(UTF-8 JSON)); compile identity, per-arm submission rows, each block gas counters, timings, lease and failure ledger. Paths made repository-relative. Normalizer edge scores omitted to fit the output limit; normalizer gas and callback counters retained.","controller_zb64":"eNqVV2tv3LgV/a5fwWI/ULJljd7STONFF8kuUGCRpLG3KDAYCBRFzbCjVyjKjw3833tJSp5x7BTtAIYk8r547r3n0j/9ZTWNYlXybsW6OzQ8ykPfRdZP6L1gFZcbdEsem14gey9beuz4/iAdF+25PEylR/t2dVpfkba9Gnn7tzgPQpJGeRgFQRrGLEj8lFASRAElUUKjLK/XkV+tkWAjI4IeVmPf3LHKs3g79EKikowsjV10IOOh4aWL/j32nYtaIg8u6kcXDfCmN8ZH+JK8ZS76ExasWvQtqogktCHjyEY0WyRjxam0rC+fPt2i60Xf+wxPuyhq3rCicDyIRwViO95ABOukBeY9JevxbmRC2j54lMJWVhznv+2iFcJHLjFIzRFUgt8xARK0F8zECXgVAOHAJJe87zx213p3pOEQPyA+6930sMDl4z+XDev9l18//F2dwpj0zLdVsj3pYFWh4bV918u+49R2rIrVaCRwrI4onMDDxJyNheA3WwCzLaeFQnmJ/lzWshSWEMucD288kDBJbS27wrOR4RErBElVlI+SjbbjeAf2UPE9G6XtoOtrhKuoztM4LZM4IFm6DgMSZ2xd+VEYZzSn66omZbKO/SwlGU0qSrI1jdIypX6ckzAP8RJIwzq7H72RHlhV7Jkkdc07AMn2HQf9fI3yRRDviWTDBn3+5eYGI96hOWa97DX9folZsgeI0vpKAEGFA+yRalyO+JV4VX/fqbWXCs7iiDSN/ZVsteER77bHnT7xANsY1ZDOo/aOP2MX38Lfb6o0VPKh9Ko3fc6bntr5zul22cQ7iz0MjEpt4xt+/8vHD3iDMPXr0k/WaVCmfpokWRyXNU2SdUb8dc7Ceh2UNCnXflWuWZ7mOYvzvPKzDLJTl0lFsIvwP37/V6JssSCPWFLSqC6zdVxmfpplflQGPskqsl6HfphmhCR1TAlZpzkLUmh1Pyj9MIryOva1rdtAhwWu8ozWdRoEuc+CsCRhGVBWRlHEqhrSnkc+BFenEUSRZQnJcz+tIUjq58Ag+Mma+wPaRR+YapYC26YJwBUR7Qjf356eLAV7Q0rWQNcdiMJ/AcvjkrVQoqYLxn4SlIE9g7ytdS6xB2QAWXpR01r+7W4wVl4VvfIMjyXVW218t8VGvDDKkMczwz+SpQcioLbQu2uU+PA71/HRu9d6YuoUG5jgjWIYJ1mqFU9Ibg1ou1kPgDB0ab/iHmDGWY3N5/UqRvsKKNN5gc0PjW+x3oIDa0rCJ0FT6O6ZKhBPL/ied6Q5sR2cqSibnh41r+0nIipW2RdE7GESXFwc79XbnFhWQR5cRCY4BAwN0ZcNpB1sLWZf6Wk1XhsVCL2WTNzckwHixwMjx2JPFJA/KxwhA8aN+i3GPTIMrKvskypSelB5lLFqnPWwcaQKdJREqtKcPYL9Qi2Bl5NxCEitQdsDzZSEHrFhl1N4iHTVLNOSh6L/caD/f7DQuJdqrhnzole0M2dbMDmJ7gc4W99nDICf82VZop+6SqViC5Ug+wHePvYd0z3Lu4o9uMiuuRjBHkxy6eju7aaWCVV7WzvwQz+H4Fz9EoSZ49rza27WwiRxdm4wl4JgLYER0e3BEXCPj66Q/f2kvNIj9LkGTirvUHCG4BwujnzU8m6SDFXAEA3vGP4rKoEtjqYTxP5One9sPrr46krdCtzlmrAylwS1TgkMs/OduZvnDcd9kUFQaBjcksDkgsTyCufWjkaVQmNQA+noVw3mK1s6PcpAqlXLCRI6h/mMgo6yn15E36jMi3lE7Z5rWrf6Od+ewFOoeDDFVNltVZRSJXQP2Myse22K7S0m3pnUqGvXDK56mPTSE0OoeGemNvG9OV5fhP5ypOubERQj6BkpYOCpbYl4VDRgcDWHHQggqwbR0/PZe3lgwsx6PUFdPfycEwLqdqrqwh7dxfrMkGZ8K97u79W3bjpnd/WdmPbwSsoxbKI8q9h3J2ZSMRrbV/jSKIN/fQ/1zLn4n8xWYc1NrVtz4YZvWH/jjelKLNjXCYYb3LsMEJutaVNVWDsXswcuCzUR8EZQF9OpnRog8ztW6DjwRj9AriHDqI3QvlNm3m7Gp1M30tcduNDhCsgO1YQ3k2DYCCt+DBFrRnbeqKawtT42E6IBaX0ypRBoGj0HTKcQsG4Z6YqK1zVw6iUKL96SgW6EEYt8z49fh1pPkjcwSjfoBAl6VkfK/mV4MbJ3Sh1pPkYaWASE9las4RtwAGM0TN0F5X0/p9Gomlk7J9bM2dPdab46zduQN/10sTI7QOMX0BxKZaMWYPl/ytggeCdt/OXTHx8/FF9+vfnj91sYI7oNq6kdRtt42V4FO8etm2k8XN8K9b/G87zrh9MJDavONm9uP31+Hkn98FL9P6o/pDA=","controller_format":"base64(zlib(UTF-8 Python source)); imports exact unedited pinned driver, adds gas ceiling guard, validates inputs, controls rounds and calls score.summarize.","method":{"driver_sha256":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","driver_source":"https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42","kit_commit":"45e7563d1a29ffca9d608fdf60c90bf2624d2d01","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","native_version":"0.1.0.post1","workers":8,"allocated_cores":8,"n_steps":10000,"block_size":16,"match":"Each arm separately vs kit VanillaStrategy fixed 30 bps; same seed and config; driver compares all 12 config fields with kit before each batch.","statistic":"score.py summarize on complete paired rows; SE = sample standard deviation of paired differences / sqrt(n). score CLI has an old seed range and baseline policy restriction, so its unchanged summarize function is called directly.","stopping_rule":"After first cumulative 128, stop iff mean(CAND-QLX5)+2*SE<0.04. Otherwise second 128. No tuning, no seed reuse. Callback/missing gas/OOG/peak>245000 stops before next native batch. 1800-second hard timeout.","advance_rule":"n=256 and CAND-QLX5 mean>=0.04 and P/size/gas pass and all callbacks succeed. This is not pooled promotion.","dependencies":"All installed tools were scratch-only measurement dependencies; these static JSON outputs require no runtime dependencies."},"commands":["bash test/scratch/kit/setup_fast.sh --platform linux-x86_64 --cache \"$PWD/test/scratch/cache\" --scratch \"$PWD/test/scratch/runtime\"","python3 -B test/scratch/kit/reference/materialize.py --out test/scratch/reference",". test/scratch/runtime/env.sh","python3 -B test/scratch/kit/gatep.py --reference test/scratch/reference/taylor --cache test/scratch/gatep-cache","python3 -B test/scratch/driver.py --kit test/scratch/kit --cache test/scratch/compile-cache --compile-only --strategy CAND=test/scratch/CAND.sol --strategy QLX5=test/scratch/QLX5.sol --strategy QT1=test/scratch/QT1.sol --out test/scratch/compile.json","python3 -B test/scratch/driver.py --kit test/scratch/kit --check-configs --seeds 10208000 10208255 --out test/scratch/configs.json","timeout --signal=TERM --kill-after=10s 1800s python3 -B test/scratch/run_item.py","python3 -B test/scratch/report.py"],"timing":{"setup_seconds":14.998,"compile_seconds_by_arm":{"CAND":18.989871049998328,"QLX5":22.125313811004162,"QT1":14.38333457801491},"engine_controller_seconds":865.8604519329965,"native_run_batch_seconds":851.8389975102618},"submission":false,"contract_delivered":false,"evidence_sources":{"candidate":"https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0","QLX5":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","QT1":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/reference/sources.json"},"limitations":["Gas counters are native per-batch aggregates, not per-seed measurements.","Local checks and observations carry no independent certification authority.","No leaderboard submission. No contract promotion based on this block."]}