{"credit":"Taylor (gtmcknight): pinned solved-policy research, replica2, DP/QMDP, Gaussian filter and qm tables. IdentityMD qt1/QMS1/TC/COMBO artifact authors: compressed reference and two-component/weighted-offset filter variants.","item":"finer-a","status":"completed_replica_research","blocked":null,"provenance":{"input_base_url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/","commit":"4812a6382311624e1506aca131ca35c378f930d9","commit_api_url":"https://api.github.com/repos/gtmcknight/amm-sim/commits/4812a6382311624e1506aca131ca35c378f930d9","commit_verified_by":"GitHub commits API returned matching sha","commit_api_response_sha256":"e1c47ec0c784d923ea92481aec80ea8e6c2f71b9fce9fcfcd01ab0e05ff9a75f","input_sha256":{"README.md":"02d2b51f17adbb5411a2a67f7a37255143ba381a73ff10abba557d7d23c0cef2","gates.py":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","evalpol.py":"6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c","real.py":"1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e","latt.py":"925c0fe996b19fd51fb79a85d5e4dba4bc2f5453d0a156cc1e480f65a6a00cc8","dp.py":"ca4e7c378d23c46c7def4716611135c471a831d15234b984fe30d58d9eec5734","qmdp.py":"63b8c35048718c37eb0a5dae9e70849fa3af257c335e4a2e3a625c833f1dc1eb","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"},"artifact_sha256_url_suffix_checks":{"qt1":{"sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","matches_requested_url_suffix":true},"TC":{"sha256":"d3c849db2ac31e567b57e52b80b86e8c24c842e5b4125b9d75c78e3cb07115b9","matches_requested_url_suffix":true},"COMBO":{"sha256":"d360bea6c8c982717b7b43a8069a87013169c89ee3e4da25622db4d880b936d4","matches_requested_url_suffix":true},"QMS1":{"sha256":"17d249ab0c33fc44931d9b105cf3f9e3846a560bd518b67310c2a56defacdecc","matches_requested_url_suffix":true}},"extracted_sha256":{"qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","combo.py":"c5b711a0b4fb4783e8879a484bf87a427171f4a11aa5eb5ec3513c24ead1a796","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","Strategy.sol":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"},"all_published_extracted_hashes_matched":true,"sources_quote_refetches":8},"P":{"command":"python3 -I gates.py","output":"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","unchanged_sources":true,"README_match_6dp":true,"seconds":2.4221340770018287,"qt1_QMRef_6dp":{"10000":"443.101741","10001":"571.454483","10002":"525.908441"},"qt1_matches_brief":true,"performed_before_any_candidate_edits":true,"stored_output_also_rechecked_after_setup":true},"params":{"midpoint":{"lam":0.8,"sigma_bps":9.45,"size_mean":20.0},"kappa":1e-05,"quadrature":{"retail_nodes":62,"mean":20,"log_sd":1.2,"lo_z":-3,"hi_z":4.5,"step_z":0.125,"unchanged":true},"filter":{"unchanged_from_COMBO":true,"SIG2":8.93025e-07,"rho":0.26,"fill_median_bps":11.12,"fill_log_sd":1.176,"G":0.997,"DUAL_CUTS":2,"silent_dt_cap":12,"ambiguity_pi_bounds":[0.005,0.995],"initial_fees":0.002823606104386589},"fine_max_sweeps_precommitted":60,"tol":2e-07,"saved_value_recipe":"5bps zero-start to original VD0 tolerance; multilinearly prolong float64 VN0/VN2/VD0 to 2.5bps and iterate independently, max60 sweeps. Cast VN0/1/2 to float32 NPY; accumulate QMDP in float64 at kappa=1e-5. Atomic sweep state and 16-row memory maps; phase/mode/sd/16-row table checkpoints. Exact code embedded.","residual_definition":"max absolute change in normalized VD0 per sweep, original dp.py stopping rule; not a claim of a certified full Bellman sup-norm residual."},"geometry_boundary_checks":{"5.0":{"NW":321,"W0":160,"N2":49,"FB":6,"NB":13,"NA":43,"AMINL":-12,"AMAXL":30,"MZ":6,"rival_W2L":[-160.0,-130.0,-100.0,-80.0,-60.0,-50.0,-40.0,-30.0,-25.0,-20.0,-17.0,-14.0,-12.0,-11.0,-10.0,-9.0,-8.0,-7.0,-6.0,-5.0,-4.0,-3.0,-2.0,-1.0,0.0,1.0,2.0,3.0,4.0,5.0,6.0,7.0,8.0,9.0,10.0,11.0,12.0,14.0,17.0,20.0,25.0,30.0,40.0,50.0,60.0,80.0,100.0,130.0,160.0],"rival_band_indices_are_contiguous":true,"physical_ranges_bps":{"own":[-800,800],"rival":[-800,800],"band":[-30,30],"actions":[-60,150],"price_moves":[-30,30],"IGMAX":300,"SQ_upper_index":1199,"SQ_physical_max_bps":5995},"S":[0.0,4.0,8.0,12.0,16.0,20.0,26.0,34.0],"kappa":1e-05,"invalid_action_cells":0,"A_B_reflection_max_abs_bps":0.7100000000000009,"off_center_reflection_max_abs_bps":0.0,"symmetry_note":"Only the exactly zero-own-displacement row is computed in full, preserving original argmax tie-breaking. Off-center rows are reflected exactly; reported nonzero central-row action asymmetry is retained, not hidden.","boundary_lookup_fee_min":0.0,"boundary_lookup_fee_max":0.09336378924188049,"boundary_lookup_count":3000,"saved_VN_dtype":"float32 cast from float64 at original VD0 stopping criterion; full passive arrays are not converged to that tolerance"},"2.5":{"NW":641,"W0":320,"N2":73,"FB":12,"NB":25,"NA":85,"AMINL":-24,"AMAXL":60,"MZ":12,"rival_W2L":[-320.0,-260.0,-200.0,-160.0,-120.0,-100.0,-80.0,-60.0,-50.0,-40.0,-34.0,-28.0,-24.0,-23.0,-22.0,-21.0,-20.0,-19.0,-18.0,-17.0,-16.0,-15.0,-14.0,-13.0,-12.0,-11.0,-10.0,-9.0,-8.0,-7.0,-6.0,-5.0,-4.0,-3.0,-2.0,-1.0,0.0,1.0,2.0,3.0,4.0,5.0,6.0,7.0,8.0,9.0,10.0,11.0,12.0,13.0,14.0,15.0,16.0,17.0,18.0,19.0,20.0,21.0,22.0,23.0,24.0,28.0,34.0,40.0,50.0,60.0,80.0,100.0,120.0,160.0,200.0,260.0,320.0],"rival_band_indices_are_contiguous":true,"physical_ranges_bps":{"own":[-800,800],"rival":[-800,800],"band":[-30,30],"actions":[-60,150],"price_moves":[-30,30],"IGMAX":300,"SQ_upper_index":2398,"SQ_physical_max_bps":5995},"S":[0.0,4.0,8.0,12.0,16.0,20.0,26.0,34.0],"kappa":1e-05,"invalid_action_cells":0,"A_B_reflection_max_abs_bps":0.5399999999999991,"off_center_reflection_max_abs_bps":0.0,"symmetry_note":"Only the exactly zero-own-displacement row is computed in full, preserving original argmax tie-breaking. Off-center rows are reflected exactly; reported nonzero central-row action asymmetry is retained, not hidden.","boundary_lookup_fee_min":0.0,"boundary_lookup_fee_max":0.09340458695340914,"boundary_lookup_count":3000,"saved_VN_dtype":"float32 cast from float64 at original VD0 stopping criterion; full passive arrays are not converged to that tolerance"}},"solvers":{"5bps":{"state":{"sweeps":110,"slot":0,"converged":true,"residual":1.883128843971349e-07,"gain_per_step":0.05368206098114671,"elapsed_command_s":251.73504339598003,"tol":2e-07,"half_row_symmetry":true,"last_sweep_full_VN_deltas":{"VN0":0.001427133843749484,"VN2":0.001488460487270471}},"original_VD0_criterion_met":true,"full_saved_value_arrays_converged_to_same_tol":false,"solved_value_per_run":536.8206098114671,"pol_file_sha256":"fafe2c68faec494c434339f78ae688bd281a3fd23f0921d0d63a39d9bd06ff04","qm_file_sha256":"afeab9ec765609bc466d8631444afb2caa283c2bbf7c24de078e9f97511e33c2","qm_policy_content_sha256":"cdb18604f9ae1e99fdefe61a577fc86a6da34cd86104edd9fe39a629f85e507e","VN":{"0":{"sha256":"dc602095804048829da58040ce5b40dee25b25edaeeba921f45033e9894072b6","bytes":30863636,"shape":[321,13,43,43],"dtype":"=1 immediately after likelihood pi is replaced with float(bool(arb)), before posterior/rival/phase/quotes. Oracle-only. Other callbacks unchanged.","C":"COMBO with independently solved 2.5bps uncompressed QMDP tables; same filters, parameters and initialization","Cflag":"exact same C tables/settings with identical pi intervention; oracle-only","C5":"matched 5bps zero-start re-solve and fixed-kappa QMDP integration, uncompressed, same COMBO filtering","C5flag":"C5 with identical oracle intervention","separating_effects":"C5-COMBO: compression removal. C2.5-C5: grid change plus unresolved solver error. Same flagged analogue; flags never select.","control_cell_checks":{"plain_all_six_tables_equal":true,"qm_all_ten_tables_equal":true,"qm_max_abs_diff_bps":0.0},"chunk_symmetry_optimization_check_against_unmodified_dp":{"sweeps":3,"g_abs_diff":0.0,"VN_max_abs_diff":[5.551115123125783e-17,1.1102230246251565e-16,8.326672684688674e-17],"seconds":31.637381682987325},"diagnostic_only_changes_match_original_scores":{"COMBO":{"seed":64000,"instrumented_and_original_edge_equal_exact":true},"qt1":{"seed":64000,"instrumented_and_original_edge_equal_exact":true}}},"choose":{"paired":{"C2.5-COMBO":{"n":1024,"mean_diff":0.08792224762412026,"se":0.011464527433440546,"worst5":[[64568,-1.3472368404959525],[64968,-1.1930839151408463],[64490,-1.1826085479395942],[64941,-1.109048494264016],[64449,-1.0493542063699124]]},"C2.5-qt1":{"n":1024,"mean_diff":0.6975268941536518,"se":0.01864385335232779,"worst5":[[64101,-2.0365768363413963],[64795,-1.273497493011746],[64447,-1.0165936836399396],[64875,-0.9451713115746543],[64577,-0.8969698849729753]]},"C2.5flag-Flag":{"n":1024,"mean_diff":0.11017675879089156,"se":0.009399054641026998,"worst5":[[64568,-1.6738555510397646],[64399,-1.118229289400574],[64779,-0.8869482888726452],[64885,-0.8165949083030455],[64788,-0.8128320470262906]]},"C2.5flag-COMBO":{"n":1024,"mean_diff":2.6135552166279186,"se":0.028814494311612558,"worst5":[[64901,-0.5404423534013176],[64003,-0.33137495629284786],[64854,-0.0006609132143466923],[64697,0.13555409073637747],[64203,0.15819225863276642]]},"C2.5flag-qt1":{"n":1024,"mean_diff":3.22315986315745,"se":0.030894338799629804,"worst5":[[64322,0.11616733540540736],[64703,0.6406134195615323],[64636,0.6532782723548962],[64593,0.7337901980527022],[64514,0.7910721816210753]]},"C2.5-C5":{"n":1024,"mean_diff":0.027192855997341836,"se":0.010481489371598348,"worst5":[[64963,-1.0828958248097251],[64553,-0.9525702229789204],[64505,-0.9064115283501906],[64883,-0.897541909375434],[64305,-0.8798280854773566]]},"C2.5flag-C5flag":{"n":1024,"mean_diff":-0.000603262888369982,"se":0.007644056220054534,"worst5":[[64127,-1.208415058749381],[64399,-1.1713135017332093],[64689,-0.8712226193453034],[64957,-0.8249968003868844],[64557,-0.773322905392547]]},"C5-COMBO":{"n":1024,"mean_diff":0.06072939162677843,"se":0.01038801794001174,"worst5":[[64568,-1.5405204484160322],[64490,-1.0338795478212432],[64938,-0.9739527210357437],[64455,-0.9590789709030787],[64064,-0.9267435681686038]]},"C5flag-Flag":{"n":1024,"mean_diff":0.11078002167926154,"se":0.008362131245965555,"worst5":[[64568,-1.465585225438872],[64790,-0.6223424980446453],[64779,-0.6181443830533908],[64577,-0.5927198166516519],[64926,-0.5818521720651688]]}},"mean_edges":{"COMBO":536.3301001181576,"qt1":535.720495471628,"Flag":538.8334785759946,"C5":536.3908295097843,"C5flag":538.9442585976739,"C2.5":536.4180223657817,"C2.5flag":538.9436553347855},"first_call_errors":{"COMBO":{"wrong":1154223,"total":7201469,"rate":0.1602760492338438},"qt1":{"wrong":1239361,"total":7197347,"rate":0.17219692200473313},"Flag":{"wrong":847125,"total":7192654,"rate":0.11777641465862253,"after_oracle_override":{"wrong":0,"total":7192654}},"C5":{"wrong":1150113,"total":7194163,"rate":0.15986752037728363},"C5flag":{"wrong":845430,"total":7185615,"rate":0.11765590001690879,"after_oracle_override":{"wrong":0,"total":7185615}},"C2.5":{"wrong":1152126,"total":7206526,"rate":0.15987259325783323},"C2.5flag":{"wrong":849194,"total":7202248,"rate":0.11790679798862799,"after_oracle_override":{"wrong":0,"total":7202248}}},"coverage":{"start":64000,"end_inclusive":65023,"n":1024,"missing":[],"duplicate_seeds":[],"n_steps_each_seed":10000,"seed_list_sha256":"f2f72db40ce932c90a6172d03fbf9c588773edcee7816f74f9e8b1d0377d3ff3","row_encoding":"UTF-8 json.dumps(row,sort_keys=True,separators=(comma,colon))+newline","row_stream_sha256":"6e2e71967443c7423113b7c0ebef2f9126bc929335186c80878224b413124570","concatenated_binary_row_sha256s_sha256":"f72ebb4d0c274821a2641cba786d30c7a800377c981a017625b97e3f3227d936","row_block_hashes":[[64000,64511,"0b0728c8b7d4c54c8f6c829a01ae7022ac86e0576b827c7dca2a1b3062733b12"],[64512,65023,"8dbfae57cd5e8fdd06464fc97998fdf6d3cac9dec7c58011c1c90d13a90e2c77"]],"policy_edge_row_hashes":{"COMBO":"dbe9bed547ff08ddc92399e267d439ae8944f29ac2344b372afd82a79b6e9bea","qt1":"d9f9c4404d123e67fcef5e477ed329b3bfc7e00a619f73cd25de3f444d7e939f","Flag":"23fd5db8776959629b5405ec0247663e7c42b8f2c9b5b0eac70a2b59c093cbfa","C5":"9026e7dfaa5d9f1582daa55a3e1b77fb9260d7ec92c57b499e917d223425d84d","C5flag":"6c353a1a92bb71d6eab0ff650e47618a030980e63a0f65419d6b83376a94f375","C2.5":"c77a7aeec4bc4d432530826b737a57cdf41f465701502aad97e145ceea0fef93","C2.5flag":"2b3a605e6365211bcc5e823ad9582e1f739e5dc0c55f8084c3396f893566b398"},"row_block_hashes_schema":["first_seed","last_seed","sha256 of canonical row bytes in increasing seed order"]},"first_call_error_definition":"dt>=1 callbacks; wrong=(raw likelihood pi>0.5)!=true arb before oracle intervention. Truth affects only diagnostics in live variants. Flag variants also give post-override errors, necessarily zero."},"report":{"paired":{"C2.5-COMBO":{"n":2048,"mean_diff":0.097021237206314,"se":0.007661383758794843,"worst5":[[10841,-1.4218061632545869],[11918,-1.354283278589719],[11693,-1.1502663379640126],[10105,-1.0580134756716575],[11064,-1.0407881269413792]]},"C2.5-qt1":{"n":2048,"mean_diff":0.6944122005919702,"se":0.013533847187353384,"worst5":[[10146,-3.9271240361263153],[10519,-1.762253222283789],[11062,-1.756407407665506],[10236,-1.3648912699546827],[11808,-1.229338420418003]]},"C2.5flag-Flag":{"n":2048,"mean_diff":0.11924507850136579,"se":0.006824305346381084,"worst5":[[12006,-1.6896399147721013],[10208,-1.1393888714471814],[11540,-0.9210727367656091],[10555,-0.8805334651867724],[10656,-0.8513911090706188]]},"C2.5flag-COMBO":{"n":2048,"mean_diff":2.6893644381996507,"se":0.021012166231949354,"worst5":[[11701,-1.08645965432072],[11693,-0.688556410863157],[10578,-0.3765299396250157],[11519,-0.34641275334865895],[11911,-0.14080115976776142]]},"C2.5flag-qt1":{"n":2048,"mean_diff":3.2867554015853067,"se":0.022613323550471,"worst5":[[11062,-0.7564033148412364],[11967,0.28055233754264464],[10146,0.3451416355753736],[10519,0.37703053316738533],[11376,0.45491759096250917]]},"C2.5-C5":{"n":2048,"mean_diff":0.05393421549459437,"se":0.007497747186681763,"worst5":[[10146,-1.745138081608843],[10841,-1.4887800367068849],[11366,-1.2256463359635745],[11857,-1.2139162528125098],[11741,-1.0842868096401617]]},"C2.5flag-C5flag":{"n":2048,"mean_diff":0.006753867134959096,"se":0.0053634662086404165,"worst5":[[10322,-1.370900020587328],[11837,-0.896809199648942],[11170,-0.8090018893326487],[11028,-0.7346573318268383],[10454,-0.7129256225058498]]},"C5-COMBO":{"n":2048,"mean_diff":0.04308702171171963,"se":0.00755014112041885,"worst5":[[11519,-1.9531595707616134],[12015,-1.7376331203546442],[11303,-1.2407785230790296],[11786,-1.196135054168451],[10486,-1.1584381430557187]]},"C5flag-Flag":{"n":2048,"mean_diff":0.11249121136640669,"se":0.006067823317239521,"worst5":[[12006,-1.4190353585206594],[10357,-0.9998777509358661],[10208,-0.971180484845604],[10633,-0.8941210410358735],[10928,-0.8450142274005543]]}},"mean_edges":{"COMBO":533.8602216298888,"qt1":533.2628306665031,"Flag":536.4303409895871,"C5":533.9033086516005,"C5flag":536.5428322009534,"C2.5":533.957242867095,"C2.5flag":536.5495860680884},"first_call_errors":{"COMBO":{"wrong":2318251,"total":14382447,"rate":0.16118613195654397},"qt1":{"wrong":2487830,"total":14374445,"rate":0.17307311690990504},"Flag":{"wrong":1698616,"total":14364018,"rate":0.1182549339606787,"after_oracle_override":{"wrong":0,"total":14364018}},"C5":{"wrong":2312590,"total":14367658,"rate":0.1609580350534513},"C5flag":{"wrong":1695578,"total":14349520,"rate":0.11816269812509408,"after_oracle_override":{"wrong":0,"total":14349520}},"C2.5":{"wrong":2314949,"total":14392813,"rate":0.16084062233004764},"C2.5flag":{"wrong":1703668,"total":14382937,"rate":0.1184506335527994,"after_oracle_override":{"wrong":0,"total":14382937}}},"coverage":{"start":10000,"end_inclusive":12047,"n":2048,"missing":[],"duplicate_seeds":[],"n_steps_each_seed":10000,"seed_list_sha256":"9d72a3d517161801e5353f4fd21d032e07439d55609f6d9fb8039b80ea50a86f","row_encoding":"UTF-8 json.dumps(row,sort_keys=True,separators=(comma,colon))+newline","row_stream_sha256":"a220c7a735a9471abe9e6b2623e42330e553edd73df7a0888478e2192594fcd6","concatenated_binary_row_sha256s_sha256":"699dbd3bd0ef3ecc82d60670fa3407da7c9ea2fc34c2bf89a451fd27a23be2b6","row_block_hashes":[[10000,10511,"44012c715bdc87063f8d48232be5a15ce960d9901e88a1d99670a67d241e86b1"],[10512,11023,"5d33e9aa5c4eaebc71a00772af8674be875b46eee5d1da0540ba2e7dc5b7a42f"],[11024,11535,"2695ddd34bd21cc2b2249cf42139588d6e83838c247f2d46a590e9bd031d3352"],[11536,12047,"8d585a5a085d291e8d3457b0189a756c1650e1b7312498bc7086a3a8912afb57"]],"policy_edge_row_hashes":{"COMBO":"c4d3abca9fc2cc07c648103435bc163546d6bf51f21adfedc5a9505bfd39bb40","qt1":"15af1416e79cae5be8f9f3497f98629fcc7aa431689dadb6628fa31cb796c635","Flag":"82507606d0dfb1e370f2cc0217d64fb94902da49ae4aa7102c8ff4dd803de7ea","C5":"a3867832afd5c81ccc83bbf489812551d54766c55e2fd358e0738be6e8f2f710","C5flag":"b36ffacc23c21ce0504af1707712ef3f2f4461a7624c60d87e9f71247ef60052","C2.5":"3fbfe97c126bb96616f838c68675577625c2552b9ed8a911eda9294bed6d130e","C2.5flag":"3f087303a282feb515fff73fd6e1fe9d1889b778c63ff3c8cb1d6a516c981e12"},"row_block_hashes_schema":["first_seed","last_seed","sha256 of canonical row bytes in increasing seed order"]},"first_call_error_definition":"dt>=1 callbacks; wrong=(raw likelihood pi>0.5)!=true arb before oracle intervention. Truth affects only diagnostics in live variants. Flag variants also give post-override errors, necessarily zero."},"selection":{"candidate":"C2.5","single_precommitted_candidate":true,"metric":"full choose C2.5-COMBO mean_diff only","value":0.08792224762412026,"promote_on_choose":true,"frozen_at_utc":"2026-11-10T04:40:22.829584+00:00","freeze_manifest_sha256":"71454d217e2cf2fe926257a888012cd1cd0282af3a3d3b0c6e4a6cf095a692fe","choose_row_stream_sha256":"6e2e71967443c7423113b7c0ebef2f9126bc929335186c80878224b413124570","frozen_before_report":true,"manifest_checked_before_each_report_command_and_again_after_report":true,"report_did_not_select_code_params_tables_or_sweep_budget":true,"Cflag_uses_identical_candidate_settings":true},"hidden_input_invariance":{"seed":64000,"callbacks_by_policy":{"qt1":9615,"COMBO":9656,"C5":9637,"C2.5":9667,"Flag":9520,"C5flag":9491,"C2.5flag":9533},"all_fees_equal_exact":true,"all_economic_states_equal_exact":true,"all_init_parameters_ignored":true,"all_hidden_p_s2_j_ignored":true,"arb_ignored_by_live":["qt1","COMBO","C5","C2.5"],"truth_retained_only_in_oracle_variants":["Flag","C5flag","C2.5flag"]},"commands_timings":{"commands":"python3 -I gates.py; GRID_SCALE=1 python3 -I solve_grid.py; python3 -I warmstart.py; GRID_SCALE=2 python3 -I solve_grid.py; GRID_SCALE=1/2 python3 -I table_grid.py; python3 -I check_tables.py; python3 -I check_invariance.py; WORKERS=4 python3 -I evaluate.py choose 64000 65023; python3 -I summarize.py choose; python3 -I freeze.py; WORKERS=4 python3 -I evaluate.py report ; python3 -I summarize.py report. Solver commands used scratch venv Python with -I. Exact bounded regeneration is embedded.","command_timeout_s":470,"control_solve_s":251.73504339598003,"warmstart_s":3.852090178988874,"fine_elapsed_to_saved_checkpoints_s":[223.75949435101938,110.63686563901138,379.8805782670097,372.3985521310242,49.918792637996376],"evaluation_runs":[{"command":"python3 -I evaluate.py choose 64000 65023","elapsed_s":193.56646280098357,"lo":64000,"hi":65023,"new_rows":1024,"workers":4},{"command":"python3 -I evaluate.py report 10000 11023","elapsed_s":191.0434272760176,"lo":10000,"hi":11023,"new_rows":1024,"workers":4},{"command":"python3 -I evaluate.py report 11024 12047","elapsed_s":187.33440031699138,"lo":11024,"hi":12047,"new_rows":1024,"workers":4}],"solver_dependencies":{"numpy":"2.5.4","numba":"0.68.1","llvmlite":"0.50.0"},"live_inference_and_evaluation_dependencies":"Python standard library only; blob and all executable policy/model regeneration sources embedded"},"checks":{"P":true,"Q":true,"F":"not applicable: replica-only item, no contracts/submission or engine seeds","JSON_bytes_limit":64000},"limitations":["Replica paired scores do not establish board/engine scores. No contracts or engine runs were made.","Both solves meet Taylor normalized-VD0 tolerance; full saved passive arrays do NOT meet that tolerance. Their measured last-sweep VN0/VN2 changes are explicitly reported. Grid-vs-control attribution retains this unresolved value-iteration error.","Finite grids retain Taylor boundary clipping/extrapolation; explicit support, action feasibility, symmetry, finiteness and boundary lookup checks are reported.","Full large VN/table arrays and full seed rows regenerate from embedded sources; row-stream, per-policy and block SHA256 commitments are included instead of all large arrays/rows. Solver regeneration requires the recorded numpy/numba dependencies; live policies and scoring require no third-party packages.","Recovered attempts: a shared numba module cache reused 5bps globals in a 2.5bps process (exit139); repaired with independent fixed-scale module filenames. Fine attempts also hit exit137 under excess mapped-page/concurrent verification memory; resumed valid sweep checkpoints with explicit page release and sequential heavy jobs. Aborted outputs were not used as final tables."],"source_bundle":{"credit":"Taylor (gtmcknight); qt1/TC/COMBO reference authors credited in source","encoding":"base64 of XZ/LZMA compressed UTF-8 JSON object mapping filename to content; only blob.bin content is itself base64","credit_only_header_prefixed_in_bundle":["replica2.py"],"decoded_json_sha256":"7a3a0b3bf22345f3273309f315b317a4aa620c707b4df74acea9e78d36548927","compressed_sha256":"ebb8ae78c9952e1e8d4023b01184a1767b0c6ebd30062d9c19a4fcba92569df3","data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4b+icdNdAD2IiEcEHEfW53liBh6ViGynxGQ/APF7bQ9RvFeI4FGwisyaUUwb8OfZzX42hLqBQkFGQW0etFN2HMwssuOHCbSLBy3G/GU8oDXw443deg6LcDhKot5uiWyNAk3Fcbv8KIhYs4EyWSEqkIO6kxCQwHL+t3teCpgnzsXp4cORR/qmkTosEmXGqUONVIE6botqMtZpr1ENc+aa9eQE6N9GsV5FZS61uRUo8l8ASzybfNDqrUYJdSneWryVfqS8DA3LRBmyBVHQSlTTGV4rn8N2BxFM7uM4uP28E30iQH6ZBbJP7dlCsyx3GspFLj9xtbsbHerxzgZ3yEf7waDHFsZ5k04Yyqbhtwp/Me14aCVwtSFOLvIWF9fgiV/pevQ0P3OH2hI6IvOEUW+twiPFj5ETrDC1aB112GXmnps/Z8aehDc9pfUnbw0H9iMR0KZGm1auKDi2pUAO31jualeIqe6oWnSNi7Pyiv5NRBKLaXSR4BJJnEZs1JcrS0gciMIL2nEaSILl7cDt6IPxSS/V4N6oPLgQaD10k7Ddhe8Pab8vfMi/mVlxyPZhdzyHQXGKbfpImb1cE/fCvRFgP86xQ8CKYN8NquMMesDSmRTiQ4+KtZ8bU9l8f84OniWCE4KOV6G6+tn7OtSKDa3HBr5wY2ZVG9/sEXRB7ajAZIu0Fa8w/5leT4+iSS+ubZrupThsOcb22vsujIwJ7Yr+FrefBxR12RM6hYotV0GNUPHvmWWBGZjGPimzDiW1ZS4IpCg4AwbngqX8lUH5RHtLrersVaTu3Ks2otksnJZS+N48wtvZfbzppThcdw02peF1Z4ojSQG1Dr8PdW7N/sE/mlNKG85sSC/UTZjoner2ut7mGLIulDlc3evRvmJSyscdlB3/NA9NzOyHe5ecrVH+hJV+4kQBX8Fb3wbx/SuyyyY/jKXVi+uQB62bwZizHmzaHTwOYzg9yQPtRcf09u0v1QgTzuF8J9jyimuyWRbUVsa7JDalEX8bjYMGhLMw1sJNsJu2O7bNPP6PrBUhGu8GNxC2ZyvVyHtJ4KclRuXfGptoPqu2XHXgUdoV6YwCYJsaJK0/f0teCOcsXqDfY2QrJqirfpgSSP1MPLqBMoS65AT1pIRVIqSqPuzLjhTpoGCRgURvyFYOtjBENI1b+oNWY1enVXUUNk+ZQm+cqbfPwrWIqYIRdijbpvaDm649o/iDY6u87j3/RP81maXaReGj5JQEIMmeMfm+WhvNtaq+VdvD/Mw89rOyLqRN2ZnV9RGi3crRN2d+ybhfbiUt+1HugKXfVUmfnFfGyq6QBTtldHK77DyhjShh8qRN0JOUU6bFzUR0ZqG/yqlDXuiEXPae+Mc0SzujGcR25n1tohggrYxXO1Ico1zIX8Mi5gVp+I6czdn/QpEDQ0NNrj29yGhKYjI+qOVTLL8vT4fffcAn0Jfv+YG7gV5P+os7EnkxddGXOdmXD3cuNU75S9KldgXc2nWr0LLo4HKHQlAyfLeiVD4BIwAVpEZo4602Yf13qYqWN1/bs/C6H8Axs0FuGqm2iu8uW0sCgzRub3ejnrkKNqbO+a9y2cDHCOCGDATmGcVnxS88Hw77FR3neL745AavVasrubFsakLSclr82L5DnRogfv7fZWlOXkjtZ47IIql8G/iHaGIZNdcVLRs5iuKZknfWaDEpiYQrbO4Be5rAwMJ7/bArvZseuuz5r8RSO4VlchuhDUSCg6fFfFFZfxvbo1hbuyQPxlca3/mKBAlbhxELFpywGToa/CUtDE6FzTyHq28wgyx5R7hgkjjUz6sh3NqOBBbEmYkF2BZ0yYyuFXsftJ5MZw2I7cjEZliTTxLhvUdG9oQ6dmZJSh/BxO4UqHPaPS0g0s5WKkhK+uzuVmIH208ualThwQQ3JTMP3Nx63lpMXoqOkXhmk2qMSRz3FerFl9nG4D9NL9HUyOJ6NsYWl2Ka/06mgARrn9WGDodIE7ZWZVYOP2MoMYruxC+glbuiyoDj+Q/Etk9ZHirNeKv7yrx/10D4QuMhKf5mR7tol9aTW16GDBnYyvgBagFfj6qNuKVHRoKQ8093TXztpt/cBvqplTTQ5kMZeFRui8iJesefqEoniITstQ8arOGFWwydluOIycguxGPIfkcoToWAXJMiaWXFn9hI2LP2igYeqQDaNdlSSU3wvQMu/cWO68YFSsO1+Dka7K4tAtaCw6Htume/JWG/622tLC12z9Gp5ZAeMsmcglxCoBIySXnrKtiRcwBUlvOKJAlxDGU9nVAxiiH1iE17YLnobB6szFwlVLkNPU7AVCJj+YVP5psZi3DB+I6t4r/625Rg9uckhlOfM32zfffzXFT7Pz2f02b/7gxoneJTObXEO+GmiYYtbeTmj2+hOVipjtgeLEbvwYbvTWssPp5/ieWFjxlrVGqoxgmpRaCvyQ1dQMp8sZeaHXnpjN6pw6OAdWfSE5smB6a32ODIl77k8n7eJHLI8gf/KXz9/zQyNX4/xkfCs4DwyPIbY3UfxmJ48v+p1GJu+57Jgmgwkp/iG3xdx0xdywWmCVZ/AE+VSk54qhbxPIdFIoLISJKnnGmiM1KRD6aTo+I6tIUAzsIXY0V2rKoOK0yVjgOS5OUhItuXY7uM1drl9CCTIuv8GlPAAO8pvS2BRGBJ86QZ+Pa2wRNqpmiEE2Z/6cJUwDO0WvtF6M5XvaRMdJDRb1bGlGG7XE5zKKW8aMjbuRfXgUvE/KkChFEZd2H3jeGdQY6lrTEGayiZJ2jvwUsW6T80hvN0pww5oyi18bdDZ4za13D6X/8DLF7q3ht/1DvEEJB3NOa/lFC9F848ZQyT3BijYUEW1FNCejzQjKjnprbVABnXTeow9ae/xpC0lSbWcD9BJyZ602YALAvr4v4yH6024ydEhHJGd2wy/VDZPOAf+C5AOf5um42H4qwt58B9UJm4RpVHSOl5rH1zOcQrFYw/gFhKOTxO/iBFYCTaCqLEssUTz8YMjL6d/WGVsW9BrvaGjV0fkY+ZcB9wSqlrSo381uBNN9fXgwjwc12a4eQaIJsdW9U0YMhUO4OellTB5n9Ch/8jmfwp2BtygM6HjRm7y7b0z5zpCXaJIV9IHYYCd8i2dqf9uqiuaP+Q7Sy4iUeIxv8SNeW2hp3AOMThT0ukynChsX0hcNKjBmpXCg3R0NG8YW1jrlhtZNVJlCQXWKwU9YK426/cmibPFOmm4DhowwnxmsWRbUUyFc9Ngl0BKzSsap4bdCeJvtx/fT6VbAIAHZd73ARerf6XGz5p26n2HjHfEsFOl681wakEvw7Ys0/rkBgax9icXwhBJufh+cHZ05eiGmXohJOoAwxble+spfIZ3lrBoetJ4eObjcooOxy6A8O5Z0fh59F+D34odK8X2+l1npfhseMEEedLn6fmSDy5WCxESHQ9yPQ1Yv2+YPCgpgfcWjXcaJRx0vBn7WoFGjSrRHOLO34jZ26v2f9YrSY3op1FsUtNJF/nggJ5UKfdnIpe7sL62j8eSkVZzSHHGfWaOUMyNId7mIdoYPoGWESl0p6cYaN19GJgIO6bpyh8dtGxuZCUziKh6B1tV2tL2BNQPlX6Uj/oJSCgRh4ogJue06gs1xOXui3gzpyikTQW7zjxw3T+xyHxYQLQDSUay7er/RWds3r5+oxaenyCSgyJliFPzAcPIQy2Rii4gXzFU2A3oJiWL/VfWTvk55ALvpk82RzhdbA9krIQRlouXHQvNMldauN+M2n+iksTtmDmFJCTOz4pYPdvfsQNYeAFV+IhYS9MlAeABBfynQpEnotm8Hr/RqkqGuQbDGZ2MxYl7MgAWGXxnypLhSCfqbyL85agfIXD4oYF9o3dOCcQfHclJbDnLaK1e7GE9yuCD3sYe5aJDvJT8pZQ0lLAEqLQDYf1xnjAOIz7WeWeHu7F9TgtR3SDTvvXfBN+N8N5A/3zCNy1U7Zz0LVuvte8qQLy7fsMEmhTIg96RVszSIo2zgh+83JRaxchEX23Fe2qdmPSIFrr1vqHumtNHbU7zDGLp3ZShK6yTjvT+7gOx9Ft61l2o4xmO0rjCQoR3851w7xZJd44UIg1vqLEYoTqg3dcJx0fktdYOKFBBMmASWh0cSZRjY/gxiKzJLcF/VGqE/xawteKb8CupHbu45h5BPIZaFmeVXEPydyFedql/lrDCYLcqx0qKhF3l9cpZAolsYRuzdN3SrFEzbzUlvBnK0LVz+jI2kSHNKslTaHe+bGKzUEfUqeD3jpFtVqUjdIPQabo5LMWSyBRqkZOKDzh15Pq/gIt/RhApgIoChRbbstRPRy80t2RuLHKO3oqd9Nx+EOlqLRwxWWC8mviaTCRq0uaIqB6AhN8Eq1N2otHYPW4gTnRuu1RQBs9SiW0xXcgeoXSTq+6pq2mmNuVzwChouFbboWUG4oQthheJoIU2u7j9oco88btiRyyauj8D8iN7JTjpKpSzKtFgFEP5kezeX18ZrSGDWRUm9Y9NNzMgtjpGua1HNcAJrnRRry6t5HwXtpCKvbnCJozbmJCRyNrx9x8MnfFieuAxv+vpioey0XA/oStsr0gyKDIuCNYLBJ+oDDfPZ06O1HJfgY0Nrdp+0nYp6qMKYHIGX7OaLHiH+jCYmlt/ITXsjFI3MInkJsV520dEkbDZ9Qc5Uz6TzthwJ4cdoQudzlqviEGh0dzPGtSFs+qQpX+M0gKzGPsaJkMUuzPsyZchyjBYavuK7hTdLahRl4u9mGhaIcSujbmEp4xDtmI6u5TE+WIYuR2VLnSRRTwKb/TYSWGXwtu4y8UPHy+lGa6S3HD9ofYI5ZsfqW7ae7sokWhlbIRgZthlhW2cuMCEVQPeGPn8iR7zpiAlKE7QZy6vrvGtvVWydTy1guGfirW+6N/08w0EL35z3y0uHiGyTxsusTCXdKKcV5rdTG0GHRfEFy23Ha80gdXop8W+ZkVT0/9q1ACzTNTriez6/Mflg9kva08qBYaaUwmq6HFyU/bWUyTF7BkypYeD9IUAGeI1skU6L+2RR1/+b4PbpgpK1MKLKopdIrb+y1N7gIhl1jDu6jofpWtkg0ubgvEYrSNZ2e19MV4NsjQTXIWgIydAh6myFoqpWBu4euh0a6f75w05ymB9ynRgiYbHzFV3dR1EGM/EBPndGn+rxJTgisOKWeuAN9L2mvPBk+9r+mA300F60vCbAsPr5nS4g2ZPqPXN5vXMgNgs176Ne9/DFglU2RiN+WBIbhzsdBOA36COh1lQTNoJdxYdCYexePxOi0rLacKKarejSrr4Hkd2a6qJxbjLFno0F39c/OFRYI8/KAkztER/rX2CNeqY9C4t0VI/XLVwvh/mBrC+tdkyp7SwAD5/DShoOW8K96VJGB4PNqtKsyIJrgdAS51U+LT4SE8+uXeJAbRCI0HchP1Bkv1RpNz4wzyInN4dcU3jxsixqGx0iGwmHQ4cnRlB0tW1mFNLxw6DzPvqRYXXLpYqciqn4fTBW2j4veUsqpScXz4iSqAsARwaJRDBfE0KcTduQt4tg7dQngiX2ZnMnE6i4+c7vBzu2M8A9Lx8BDNB/dUQJwQ7b0EqQxKt0PBhZ9Spu6/SdbocXkfP5X/1AEjOildzulI11pvRUf6jCm80dawRCZ5cpDjjAWReHNCST5GABvzjO6dJsxHF32X8K3ywAE1CDTNKMUPqFRCl2Jdm1M2+IMRn5XtGrtC4hyno76ugubU2q22rQBoIPyefz51+JAZoMOGk0SJoQRr2mepuUSzeGL1c9LjaA3H0GdxpfsoZVhOATqsopBrgIO7DgBgQDUHwEvwxqnLGhGgQh/ebCfq/bHtumzkjqMn8PtZMAn4Lp72UVNRUE+yPvZZqyq1Dx/ADZHMwq2sJEL5nqf1EedhzNvqMycmAQZDdnmA2ByFZ0wBwUWKZfbPFqzF4YUg9edIfJ03lD83uf4DGW7yv4oTakmCtiqeWWHYfVfZuAZinA37/x75EatNaZj4AxdvINADNy7fd1pdkbIgXOz1qLezV0xR/eTsggX1ds4S9w1w2QO6Px054/e+zUGrFRqagDqsY6TdmVRcPbX/c/Xndm5caGgNHaFmvEa58WxAhaVpUnN8rJlSrl5lfU2TuAeLGLRwbJsnj80jks5phC0qHTJFe6tVcC771KBEbb+nE6EWGM/AiiaQrxE4tZ8YXz06Mdl0DB/2r/SCX+GzFO6OFSaV/ka75Ss/uzGxtUM5iMctDoSh1Wrt2VNun6k5QfCHHLD1S36v81hM6M3E8LA4d/XZQIiX+07g4zF8/rC+miGmovyNdl/6gB7oZNlgb94AAQRgqxGDjuQqqjKiti4UG/GWcoX4T16DHxT5pnDzm0U6ZVIwvegEOZ4uofs/v3NQ9fwxt9qMfcRat3LgplXmEQ4kXsldB0TLyxm8MZK7hFrupDaQUADapzfW7wH+JkHeDy1erGEZ6jjkyQ1LIJ1V2EijB8rW2lyZ4NnTyY/jED+B3PWCpGG8f3cMJjD51BwIvk7ndcw7bIztERAhq+EoUNt4o7s9VO1/AVsOIIVkhovxrhtKY1IiIP3I8vX6n4lCovIi8aPtD0tCYAn/npodrXq/Rxxg9YjXtTilcmbKTrqYg2BJca97r46CkkX6qHjNFte+4DhAB4ctDnD7NzZpcbRSMFBAKkN+NTPhVa7/Y9woz76yCaXRB7Knf8C+Ccams6DBbx7So2hJr9FeXmd6zfqeD5gwCQ6A9cOipqF8NhXx1lsz56XOhpA8XRutJFjCRp5D+6irauAmi5d0+vUgzJ4suMg9erCgb++Zyz0+JJMCvqsDhQoroNRL4STNk6RILzZ54ec5yEMo8AwkfL4TZy1WGkUB+kSQ9cVxXVGFm3dULxow5OOL1/4xSAJvAtbJPfoUFE4mOP32MRfwIkVsNHRaW0cUCc2FlYloNNB630lYfFiT+J4qbV7Tg30sylDdoopgwQvSWrAj70WAT1Tgq6v4AA5MmsQJtRQ6xnrKo3OoiQJ6UkZpCDoTx2Ywt3ft+Xzi8wsgwu8yBwiuiFXxD13yWzlfhC/IEuJIaWD22soEUbLeFZNoYR4v+I3dXH1nRrYVybQaj3rMDiGWF9UbQ1yR2AiRAIcR7GscG0BEnZD1u9EK5KAYicSbX+KlGyThN0uU458y1GWew66dnZM9AESX1K2fNzXpcedfoY+ixEdl1PwBF4wmv8GEfUEJjTyTLmQzEt9SCjeN9siXJ7KH0e/IomlS2N+1SRDnlLx6pFHVocdwzndvuxxIqKYijhx5c50+uQRPivBvsNf5f523liy3X5nFUBatBTqNwqVplhiREQpgFCezYML2K3Lws9CsgqsKBtb6x6k0uN8pwn367kS3lekMPNzyyDa+0TseKInyJymxJdKkP6UIGZrDOE1gxoU06nmi5tw8vgQheQVhfiEVaGKCSW0/cIJ0rFZXqLEWCmEsLg08hhixcd3kvUkrY6MDlIBmTwnp+LHRW5d7PGJQpY7/iA1NdaeqBcmjMeCYSJolWvx36vOHas7R/67+uyyZwUX7v5DEg8maiWrAGHHNi9JfSiLapwQfseSMIpnry3EMBZ9JJCP5utgTjcuTcFktWa7dU+QDO+n7N5IABbtMQfIYONpHZVs6G8c/+tsT1TvIU/gV6xwg1/gi4kxEnoDA3ZJFZWAkzpJPhWsVqwb/9af91H6Uau2ff3xpn22VuGbRUv7DLjdPBUW8vkiZtTNlKVr0telTh1r2sUlX7s0HnQvqeIxTN3B3jgssQlnIJ0tN4nuO9ksrCfrEujRhiW2XpAY/DwpdsfiOzfrdriVWVzVv4oKOcpQAJU4HDR9Ol2dd/MHy+ICND1RlYYSILRWpNzQqvOFPYPF2tGuuhqgEVZ5jFqQfJBvwggKTnZukdoMGVRhVI7QCdV4HqSqQvCE+faIB6NXPKAiCQ93dAYkhWcpGku0DNCFKcSU6moZ38OZIo3Hu3nxFBJiCsMuWKPRPyyItFVVpSihgFUIsy+2SXhZqIJOR5adzmL35CNR+f7vmZVWp5K1XQQZ07HtmFR+PO5e+sFze/EmyyyzSRJx4S2oY81mnumca642k590Viwr2dVHHABJwR/mCnxjgbyI8IFPvv7Gx3130gMIHsMVnc9d2SBZeBDkc75QL7KAfIGKn8k78o2ZY46mNKaWTrNuuqhggaUrn5YntZ/FblCLfRlE/wbSlbU9MhFFOoyrxnkYpByyi/IRiHn8ViCEFYIW/ZiJL/ev9qSzG6JQSRXLax7jXqyWGaSaItGrmX1KsezGaNSKewY7LQQqNkaOeiKD/t4Xgv5sljLmPJDbRQRWriqFbUCAZ3/8h/gmgPZOxCTT5Fr2FiK7Er9jXI6l1iw9hvCxYQypIBW9tqfZNUiR9Kjf9fleVyNwrE9SR/B0YUhuJWw6qDsieir/J8kfRqTPgnw1BW0eCC5skn3egK8i3EqXscN6m/cIdf4AFPUZin8Iuz/NNHl3TDqC7v4dv4GElTxmk2C4Q/BOWspgipZH5FslX2MCCALKQbG2SNN1/vbTyAsCmuwz8s/BKCNEes4lcAfh5Z0vPMUUzUVy7HTMhpDBovSUT/72uek/8N9/693GEA632uuoLs2KE/JZYhG0v0hMCyHjE3tfE9IdRjO40uSvC0ZbF+fKuX/MCyF7Nr3EDiFISTOk8YY67RJhPpGoblKQ8wzadRNUtYAsKvevSpjkPbytqhXXp2wbxD1KnYcMR1GQ8ARF2T74ApKecbpgrSAGiJWyMvsHvJCIHUoyCG/E+sTPqQEpJ+oJycdK1txcTJ0kuyYWf5hnP0Nau5s0tQ9FmcZVf6olrJVL+a3026Eg58LkBXmA3xXNcQtAK8zQAvL4jyMEoVe6nTY4i0aMZ6CKVxAPn+usKhKk5IXIpTPF7iQduBkAA1iEWxrhfkMHLkz044wU7CN0un0oyVScQfaEsg/8aItQDN77XrfxKdkZVHHkeHnzoTK+su5US/Fxj58rsJ7XMQ8w0LFOEJcvnKt5zu2Q8oNj+DRHLyZQO2tZSOx9XxSo41ptOgr8a9AfZYjpSZIqaHkWGbWIRMFAC4xoRtVZofcU0OdT8iJcOCZdaCp+MfygAxjkg4Ex+i/K70vobtWtgRuGiyxAHIth0ygCRRdr9wFOp0/kvIy7w5Rn5Wr8hKeDxYQm/FZOiPqy4tDBczbs+pOc0U1/gR5uN0+YnQ0YFSLK70o1qVZMn0fZRHUJT+bC8kriVFS5zrMXUEFh8UtRlXkpSntcumKTmwRL7J+Ud5H5MJy+67qmO3cunGFYRfFVBM66L8/jjhyO0CIea2iYEMgYfqvKBDD3uDF1EM8h3JaB3H04XnZywvHse2oqQ7X4GdU+vrxN8nA0cWGbZ8Bva4AdfeS3bogmhrb3+iwqpSG0f9es7IZcxc8Pex7v/KpDCLOkjj2ASacBBI6Fs3upXSPXd4YS2R/olZ7oNxgcDHdCZKaNuX8C5NxKqibsNrjKmhyNCMvzeabhSEIZ31YFpyL4ZNu9z4qQxrhe9Yz5emGR3dDoDQmce1Zn1JgIUjWIGJonM19pq0MDl2H5LpJnw5uXY5rpOUj1HaOqITKBa4Gj2gNWg8aFHqzQCKRy9OCEJkpkuE+Q7225qMiJqtnzfh/hcS4ZIhCx/REQ+6Qmdt4Bt1Va9B8bGeLFOTtu3PIm8lPih8C9w3S8Y+iVnPqaoXNLEZltRTVE9mpM5la90UBzLMYeT5tBEzTaqhve0bwc/QYfIaePRZU2uSnfT1sn/mQOGB44ioG2fq2VA2fcnybSvJY4eCZISj8S8koZq7kJv+Tyglie+OyGZx+cXuuTKE1CEXORonfUjAbF0DvDsM5603ecmcwkFIpm4x9w5kM2NZXVVgnwMcBofUAvDMVJ+bawr6QIqiHOElqFRxZ78okMhxrwmDLfG81KJMdtfkOxPty+1bxlJLQC1eVNLcx9q/FLEcjyTWTvMAAdkWJdsHF36QTiF2LMCGd7MrrmEwiPriVWba0Xb4NYAPhZkGX+fNG7fPNmR4tYCTC226N30z8nhoDhQr75KM9z53IIropM645YGZ/o+N2vPd9vH43FNnwH3aqCPykoqU92Bbql+/am5zLKn5bpe7en7XeQz6LjKsW8r7DfG2N3FTWeNbFigyLbWj4zTbD01XCrUrdVCq5RH0+PUygeefm0oqnnBLEys2/7g7A59F8hun7eXVFCb6uE855A6YDMraBiOONZF9oNeYiYziF0rdunBMYFanIoTVnYdhz2ZCWOIrMjf40nYlEL1FBpJyt3xBdD4bGW0zTDSu0NFhTIlmcwXbyDemiCvDYi810J2jNml3WvfEe8ToqlcBTVgwX2j87HcLp/LwaVJ4gZL9NiikFxeJtbCck1YunYjbRXchVXgCDb3sUEErWFJOyMqN7k7EcqeVkVs5zu27r6JdwpE6Vv6bjVC/zfn8YBRSfqIcbHXfc/PE+5hT/nAWHmEtC5o7cYmO38Rfht1e8zXAHiRoyE7sasBrrHg9bv5r9Qm4bYg3oG4oOyEVVW77gX3M0D5Q6YXIpQzwePwl0vp82wue6RXMXjDtLMnoBe+5KBvwTwzyZCScaMTfs5ElNfrcnh5cdTpIPrrhpQM2xDmixDZNia9cZ4hCTIfgb6Pw6YgwlvoxDn2XjWDw1JgCPrH/mP35ZF+fk8WCW9pH1I21l1wiKeVNsxYMcumKXOMQ8/hGGIrP/sZ7XaR3o7AicIHb0Lkrra0CbZQKlo7g1/ZlmG30mIjSiptv/vX8c1WjcLDMiqF6M00enmK6Stpb5ffS+t/MTNxk5YbI9g/q1ihJOqRgtokdha2t6Y8g5KkLuzrAN6SHI8925ga4j8fTNYMXsn9pbinDFhZlV6/WOlBCYvgg/P9Uhtr76TsBUNuj3q2KZNMd9hyI7qchyvCh03i6iOCCx6LudUdSkj6NMGnsOznvs5TrMyRxFJzbe2i9QJQ4qmdcolapJUniF/Dk4n6kBylA0/CFV8t4HFQUb4EhsZPzNndpn5PASXbxzx2wYxJ2KN1FrV7aWXnDC0chnnVAW03NtcRyil1PydLbWjsJW/zEiH9Xj+Z435SEgcm1QlSeBQJSjvsXn/xZ1Ff9AZ3EKGtrtypsxRNebVXwlLgakDQ9iKUErX4ri+L5dy0tVl+4fR/QOlpJ7yuUpRilWwyTGYbPYHY3VPDBe4uNiktkju2BYNbPhkZYwupKuOHFo/xK8tGFVwn3YwUqp7Ww582d/BQyFEwAPsIoLfxIDUc4Ark/iJk0U9mm910MSyzp4IQYU71alWdQsb/p/0lGEf/ida1SmZZUrnrWM479d66vPdg7zGrnYXuK/w6YT3eMGU6AH4Oyeqefk4HmL68PTpgngzMfZ3a6awM6o5i7deiTLq5kQj7a5Asx10EWuFur64vKhqQdYL2f+RPElSWq9VmkH+AsSOyFqTPBLThgMBhD/IS5fJJl+JBytPDXXHofx8rAdjZ+nbYIk9f92EzT7NQgpCg8/FxSv1ORRfs1mDlVTNzt7t7HCaAhsYWYzyYtiYCdTuMZc6xz7rMxMo9awCfJZB6dGcBprqmf+xZ1yzvczccWHinnISNMr+iKnEGL+sChHPzhm0jtuQAPsGAsSxgsVfwzm0Ddll/kOvOisd//xomfJxeTrCJvihXrkiNRNUy7gTzd/Vm092Dkobq76DRQB6iJdbIE9b8XX7WnaIMrccNhL8+TXyk4k9jeD6yHyPJEeIwLVEMveq1/xuIhEHfVYQ2vvyVcnMAQFSffBkknk+7h1uVjHY/2RHUuSlwi4yBca8DE521t4a7KnYyZAgHx06eJugcSqCouwKgi3fjqTT3XNIhADO4FYUqe/R6BRfHT/gDv4Dil6UTaAYnGMijrGg4KU5a1gFqZpAS5dXnUwh+bYJMTMq0UoWTg13N5csCnZZOQ9Qta9jOaXwmo3WDYKgQasNLe/OrbHw1iTtHPxC8pNen7j0P7ozxG5Vuo5iIf2yBjpvU2tCYemdFExTKrn6L5/E38pGS+aAeAKzcwByDha+SU9xoRXg8ibiGz2dNjuEYQaH9aNr7lnn4qipqx9Y2qRc6stFDu+QUle/J+gwKUJt/ZF2PMbW+H30QbRlC8/Yc70RdJuDWdReuMRngFsIJCVC62e7aDNDfd5fvioHrJ1eqQhMpMXVFoAquTHY8Q0GdtEgjsde/HKLb1ucZ5Xc3zc8MJi4zNHrI/e6D+wTK5YnfEwfYSg50H3HbzllrAY2lxni/r/Pv8FZAgr5+DvqM+TBXRC4Ge3Z/dUkeY3ICjBhoWQO7n871dtngYy1cP9GwkeoCipGwTobjh8HKW1QV2/9gEhdoPnB3KS6lxdi/hGxOE8tzf4/2sjHRxq5HtNpjzFfnNA2PnH1YJ6UtwrmueeWo7hWDhmU2ZvEllg/HXPknk/vly1+C8qA+I9X+mHoMooL/UrM0Uad0GqYOmoCpSk5c32Qq4x+HA1bVMXVsqF68yZP57rgVqSsu1XbGaxDFCyQ/SHUDlAFLJTuBiBhUzpnUJOIenvWQCAKFn86qCF8HoFMSM9ayG+UNEfofQQKvVKKPIFIpLLxy8PxQ7cPHaCEdc4H4M2Q70EPQuRnJ9DY0JI644CpZe9yLgkQ/Ze6iPKHRFDNBbyHqxHd9ZTXI5oIFSEy9VM2qrydHsMHVtqTrqsZLa2CYVaK0iy1myiIimgaXxRzE1VKsaR7YWKeUPEcRCZ3a/1L2WkrqlEYitfb6TURIl23Vo6iyv33uXiprcMZVlhhmmD3u9fJOA2sxHQqJpTvEmUmHkpFut0NQYUX4iZ9rgFgExrLQvAFbM3XaVGvH4S6vLh0lzthYKmRW+IJq0kBQKnMSL//ku97QrgYaYRh9H/7FNGmA0CrvveFX1kk4dCXH8rP/fakoqSudE5G9oGD9nLCHpnVOV0I+/+R0F+ixH/ja//eugNOUkJfYZbHGktDNDyiMMmlAV2r08VMKTF9FuMxSP8A1eq4K2NzSjHrAAJ4Z+6lx8o8NKPbVzpRkIW3/jrUsvHU5/5SKZlB7KnBssoIM+ueXXr1clpMQNhmcHs+UzQ/08/jNBlKYIxHptRtc+eK+wAMzg4nJQH54e8djps2Ipo6cjCvt3nCWGx0h7e0pnzZnix2CRVnF6EkH6BjNhHzoWcn9Xc0Jm71yp91TP2u5Jkb29MKIyKZLr4U8vLguOGGarnK6sH1JL2zO4n+AAdM159QyHqy0SNY58H/f0JXxzlazQnabAOjQe07PxvkEwcTI0fqFTcEHaulTWgyCP3fOTSuJCrHzz11QXb+Y/qNGbTYtYrNqbECYOSCsERd2sel3FBnKzcGKp30pSGSvDUxyDKftb7SOtNez0W3v2wCdz7vt63GUgzdnHWV+hpbfUPUa4VoQvh3+48vGOyNgq+29FeId3S9t2fZ1quhl1NM+s4GRX4bPELAkeZuk3rynYsWfvEF8snykGGVbuyON2X5AufHdeRoqeyiCSoCYbuAQTRNk7p39KK34O7uVSxFCaCzSYSBJ2JcJ8KGbXbokk/4y9VtfzMKR5HHRyZZfNomB5jQ/5ksTwrebNeaewm0gPePjPijfr3fNjOVbpY5XBThrbtiAmiI7RP4UIdS5Qs5Qu4oxK2k0Oa1IhKCduHJqFi/frWzZc+U7QkfiUul/kwzv/szERFb7iPw7rDc+M7Nk7dvcFiI9gzP19P3n4CsY914EBeLwhckusoLjKQJ0+/f/rmKOsL7lTtHwTBVePWkY4Y9GuLq3V1Rzd+fXw4bsTmZxP7tIXhvJVsUfTEAl8XXI25D5Ft9sFwHk24MiGTZBWZsF/JELt6lrTp6dJAe3zc+LqIwtKrQ6aFKAR8G7VMf8iuqcw/1vIaEdkBN+MaC6NJPrx4cP5oGd3Eu8mD9Jj9PRREmoFEIjzUxyHUBLKgHtZIOELsg61xEsHDnGH04pTARoF4Ku1wTmOpSTgCAiqDTSpsj3r8HoRDo4l+47JBEOB+NLUvCSvDDanenj4g4Td9TuWgTMTwOsW+h0QTUz7l/UBhz1zbeEJ+u2q1smcnfyEQRSkq7XCVpIicn286CxeoW1UMFzP2zKey7w24Wc8SXcHU/34Z+qkq0tiXp8qOvhyVtk2tsP1yOZQpxeoZYGAA0mA5TT+zJ0I5Q+D2sjmvVUiKPDzs21R3owLkcGLx/9VLv6oN//XmKI2tiPNEE0+R36gUV22CNUgLs9jdktWllpb6HE6Nnz2KHyPWDiBC2EOsi/8E2A0UtJUxSSJRYePK6xj5WYSOmBvbN75u7y2YVpSb0mlCA/ujimUl34izA9XH8JyLbkgyYHhJb6/rmJM0xtHXfAfQcnkWgmuGjHvGqggAC7PSeOGgNpmDnBZyTKj7VQP9SfmtEVA929XP6kJTzbn06XcprgAOmDWP5lTFbkSI9kKY/bMG0IK10a8YJkq9J9WPixAKZEQ4QHH//pS++kpadT4TxfyWt8PX8H+ggT2at7D7k8C5hdW0v6SN6Hbtsy5qpG7otrU7BHpiOSMp5m9xFcLfOSWCWcpz7wYe5sDowSvb1WCXq/mHii+WOuJUoIFXGS+kpwirzBkUrTx3qzoySceVoYfXFTOsghf0rSGdTrLGx9ktuXSNTD2bbF6o0iqfPQbsG4ALnWlrcGvt5PbIJ3DsOgPN2dnzWUSpah//OKPpl3qMi+QkeTba/qUylTzG9LsfoY9XpmYmZnyeVbWdvk/o4HmlHGqxeb78weI/gzvHm1UAVrSkEYlMZAwlcVKgLxyx5dOQjH1YZce9ZKTs9Ww9GJYiLXIdHlTKWg76EXvBDrb3moGg64p2Vt6AoqUN4DZJZ/2f1NNgI/t6+Yp8VLAWBLghKlcWUBA3mZgG5J80SX1XGGBZJrpS8PuyT0g/gAwzUyq71HAUpT9BHMuTo5aG0fJ4erztAzV8cHPhAGpxvK7hB+KalHCHWCunKQwPtzj+o1iioT5Fj7V+l5zAraA132QRJXO75hf0smip0BA2o2ReCPiK3HfU/pBGJmuZoTS+pM2Hzmfnu/NwcMn63tI8ytssLwcD+XSI4CFAT82SyDSw/1BCwmpsxoavLc1AW3mlL/bEMgPzGQwKgbJCxz4Pn4/A35TS+q1Tzox7NPX9sJs2IQGeXncU4QiqyYxLynoZlE8UQFszA8aDbIFBpSMn+NLfPszapa9feHRE1YKCF0iB2CQkNwtoV3EURnyVYz+kEXcHk/F29dyK6p+RmazjYw8j9KqYPJJa0AFqIoxsvPtpSXWAlNIsdzqHoQ90gnV0xN8BT5MgjfQpWuKK4BZwg8tLCUdaDw22Wbstfz34e1nD3xRkd1jqv25YTeO90NzmbAOzqayfaBBOvjD5M5o14virlSiOcBfuR47HmNZssRTlLzaY5Oq1KPvlJPLtAWIwS2jcdwvllSipp2/EJQO7N7VU511iAemMcOQA2VZZu2WfzlR+nmTkLqDAJB08izuMcW6qbyVJxg3q1SgeABi9pgbt7iJH1gAEIiyTrQdo5fbdZRO8XzFlsXTAj/UhsW4CmRmPAGnNSIBn0v562LOpsFDjMcQUc66bALd6leZ/KGD0/eKXVjjJor3+6QE2SOgadMTJDQsn787tP28XnOlCT6yH+Pit0BKgKPiCCwcYGdLrxjcBEv7ID+y2z4Lbq+M/DpZMpZK3Mf55rr4dcN+RNFIRtak5//TNAZhDQrttTrrJJB1SM7zq/6FP3kZBvXWHoAyVRW9fOP4tT/HsOuQ5PZiNkdBUhCWHFSy7J0QrzHgSSOWHpjqSJz2vzwprHr5CbK0Lqou6N8ECJUH5ZpDzewBEKTJUNUvdWQ2QLD9IpXWNvkYUcErm+3OopFqjqOkYl8lXj1wMYw8zr5XMQRkV5s0zPf5JC5zAgEyWDZ+hA0zHsNDoBXTUwN2wrc6fxmapn2mPeW14aFba7HlCQU/qmCMThhjJbIOO01mKC5hWCgQlm/FAEqKGcNDnqWcbwBIlt34DD7WMYLH/aSREBjvpe86KVr5RXhD3b34NtLuHgZd/kcKFqkRfyQZFo4BVmfecvY6yMNSgtRul0QfVdjDXK4rbYYnnGH9me4bXTpNpqIxRBDDVuYdF6/MFmzlTcbm3YFw+dtaF28XY/w0GN9Pvz6S2Op2Rbs+ZVC9iv0jV9kAfz1GOlOiIVmmvI6cL7CvPT756Hw+++oywmBoFbQcewAAutwskpAimHZENGIyIxxr2RplaYfHP337Pv+JH9cGk7rsT5d/yqvH/se3mIlL9H79xa+zMqYrl10nERwOtR5IkoSyTLDFarzuHM6JfFHcQJZi6SDujF9U8vk6lrotU/Via8cCi8NfZbHyXYl8TE1em7hWD/sZNxMQGqONIn2X6Vqy1jimPOCaV0RU70qoUU4sykGksiqAAuwukpf9d3NYNN2TqR14zcqGTUjkF2kywBEtLFY2ZkXl2K2V1TgJLrTSRgOshHHLuX98DiD7TPRpAJ+ZxRm4ka0AFFoBw9a/3/bOKnoUCIKD92/XXCdSQEt57SAyneELA47/sX78JF8l/ebMB5dsg0Mu3BLQmj0VhfP7OTyOQw1OcL5cMklTSWq2trni2GP1gE9fkh5UGvj2KuCpCNJUen2jJgXNGOcHmCf+WTARgbXY7ziLuoXgVTnLvVGYyBdly/y63VwiWPE/Noi2hsFaoVUqHWrGece21/5hZDoHB7nHE/eHiQSZ1d0gnhfd5NK2I1N+Rwq4wJZPDHstblmCVO5k5Lw4ZEsyrsrIyguai2XBLJFPS5tWObwjVCIRYscdeKCpbkqRr5pcNKez0CrkwoTWpBJNc/zQ3y5ekRj+Y3QVrSkkPf3wXiUiNrBavIBQHcoNFp3kMHkFL0vMo8EaGvlXDqGoGI86cu0NGvUs67bBbG5GH7lDFfvvGFQrvvnI0PGMcYAlhPL5IXrKpe3ci9vUuw1jUk2lvMfnvTXuHcvnYVFZ6ulK+Ah0QNKXi0H1XxPh12Mlrr/zlnd9X2PQe+TUAatjgzNkotaJ67wcSdgk8fVeYGo/cYz0qeKzivH9AM2OTPwnTOaJhtJ2iOX42v9RzvwfwPkDTOBBkexCirHtk8hirMm//IJmn7pcJPECM2TZ+ySoU6TFQcUfpFrHR87+5bBg70Q7SKM0YR7jX0EWLqokjpOGQjLZqR/rjhkehYMQTjVMrGOz+QRdBXkofWjpMrQU68jdkPdRvUW8JkxDvYuIpoD9z+PrY2UzfZjz+o4MNFXTPu9TQtNIfNlTG3b3H0omygAlwhhshjA+JOz+K5kUlIcEv4IK+ufYU7eqko6XE/MxPupYk3bwpocomvwJ3sbtvk+lIlpwxhW+3bizvoRBvFMVYlW/cIrgpj8embbc6A5ZSrP3aiHtfWwbwJSf/tVBsMhk0pR0dGC2l6vG5YaDBQvk336MIVT/q/eLDxDlaRHr3TeVwzvyNK/154P24PGUcw6jRSv4Epkgxyxrw1flve8/VQYOk5B0nAjtICNwVTQB+SLroSfSKm4JQXOsPbLx3GKD/imM4qTBcpztfY8x8wB7dryi8TA5Q7nJMxCqKeuS4y8BBo7Cieft6EhTGAkK5oBMSpZ4y6WAcuA1asusTvzebDCmf1njJ8Pia95FKL8KzXHU6ORJ9I/uBcSSMwoG1lsY4Ur75+BsyNtua16UMwS4DkiWKHXJxR0Os5uAVKe8KlzlIBhRNG43qTd+vCiGtpyw2Mj3fLlMmhHS0ng+IXzsLEl7H40rS7ner4eBgvIO9C4ftJohXeU0kdOXtvG1jA8B1mtcoRHSFpJci9mUqQr3eJWI62ZNxb6h8dCB8E2iO65+jyP6bjM3h2lEW5sLXgtaGwJHCH5QpHhBrTzjXrTTWHf0GQtAo/x5tJElB3KxT+uaerJ0QoROQyRIKArBnXolot+D5jnTkebgE6ybjnb2n13sceo19MN7fNkiXmMXl/pwBQdJjr9nLPHmzOTYmjXFd4byHdmE54IkidkKg92Gooi7LfH5wuYFNHBlOaOAFV1b8YyGtB/CNYzxwa29ogUfwJ7qMwTB1pi47W16h/mQOYAW56eer9AQzEFKStSKaJf8YplAaGM1JVk1pii0bObn2iYMFD1GBpH09ypfsNsz5WTDlod0Vb5xTut3nQCtixHCaf8RPOwXeNtnm7WYey4S2bglhB/1hgjL8SvBmT6LeENkRbtif9aJnuPRS8uTit40YzT9pFDwZp5+uC9TMxO8QHbDgjBmJ/m5ufrkmUydnuqEYVLt4GiShUNLq9HYBzs6+fBVTG839LB3iwfoLmYMmdSbQsEiVm9mniCXCFyCpESKQ2uAmx6hu9/duVUVV3PZerixbJK+3IhGX37bOx6VfqiCURhsljXhA3a6lPiTIYCGr+27GjIiLCFpf1+kF7I7aFjEcMrO0kRsUktyvOQwPS16menMAaH4lOZnlvAPd5qJOQDmfDCETdmLQErDjNC/mHOImhnIZGwyIdcW8I/OXSQ76T5EE1Msw2wFktn9c6Mpl+XrSGEtATG5ESfFJeDjRIV8P4IOSEEfpEiJDpcXkAnc43LJPQhyxj2DeqbvxLU87eaRoTKRPu5f8iJ99Cgn8flPBXxqYNBCNLH34Oz53iIxF9c7Zqijm4WU8U44VJ7xJ+W6Pteb1f7qiAb3FKlql47Ybnc8jYp8+DMDDdQWv7N+HpC0SPMKwYoI18Y9ymKmGfpiGPkI55gwLM3w0/f4o7nFFsym2GcLYilIrObmuZXIrSkgFf8sz7xi2kXK9QwL9GT/KPrKbLj89ABu6LCxRasV1Sz0Q2v2ah5WRUYZwXQ1yzuQvwCRrDiAGwi6uAHM1VDcKbf+rePvgbEOYZljgQKlCiYcpTI0cqN+k7LNCih2QzmfW56YwB61qVQKKlg5tSPNyrHv1txZTb9apue1JUiDo/3TFQ5M8dumieGZZy24sgtdOz8vVrA1p9uKyUQjdYUJoCJdI4nAaZV7+LoeF8W7PJcQBEKt0hnPpcqim0zs5FWcC0JMtjGERyCnyO9/i5TNfaY4iB20tZyfeKZqSHF2WFiBjOxOA1Q4jh2Av8WHso1BHpJS+CsyPaKP9Qpu20OTEpxpIXWtWcNliAok11A5mwNKpclRKe/TRwQkyaG1HBXFI10FQv7EmA22rxKxqI8BKc2xca+/E2AIlXTVN9Gv0AkVRn/44qaUo9SeIFXTZjdEF7oBg8eYjaiLBf2IO44rxQN+oDlnCCgUD+UpZLJ/hPjA5ujiu1F9h0kX26PqDyAkeDc7ClIRD9983NhjCJspT3bkhfKOXe9eMvwXDE+bLwfEiQo9XLyYVkGwoTjHcsj05q02OpNyolPbGwmqSWIzDf84Axj7MOBJ7nxgrUywfs5c2AQIE2ge6NduNKO8YcD0aaOTcgNRQ1l/uUzfzww9t6se3Eq4CapQ0gCpHysYCID+X4y4EktMz15r4n/cI36bXDercbzgDOZTlKVBoht6Vt5VY7yQY5ud3dcN7ZCwhdSGsEwA5YTUV4Jdl7Nxt9IQ+KyU5/Nnnut0Q6S1OlWZj2Mjls1coeKGzeMt/V0qCBuqnQZYmBwCZ08KfjRFf9qs0Z254KqsIqOxo4XTvCgIuENCDeO8BoTUxD5TpVq69UG6Uz4DFJCpdk7gEnE47DddYvYJ4Gc2cTi0UnTo0ZadJ67JNhE1y+HmZExwNTobrAlokiqbR116waDJjY9RRabxi+OMFsuyMMknXDYSBlrceh6u1Uas6oz7Edup2ccbXNCzP/vphYD8yMiEBqw1n1Bsf2l59FqVgV3bDlDL1bJzKSF7bMUcYnMpzcs268sHO2JbvY0rYA/UfON0iZryV7oz7LK/SvWVS/MeCiNDd/BFRE4toUot4mCFBi4Pr51m3W7hSkrf1oHoWVeOYY6ryTx+tD9RtVl7siSdzFK1wNtmrCXC/8HGZocQiPBSInUl/qPsx8zfSjRnspEfEuTqYbu2zw4gVDXb3UELGGhEZNf72/DKOOEhJ2LGJWYyPGuRBxqbWhF3H8UygvlpDbTeP02ZNwkq+eYT2nYp8tcu4l2dN9+BbJU1e//GnlyZ7iNgTB8tJB6gH14TL9Lprv99We6E5/NB0MGz7nToGq/p67SiparrnSSUPD12MIbmXS8WnTvG13dpHF9Pfbcba0m/kHShCbGdiv9P+n9vvt6MEdloRnXgzWBpmGZGrm3wXu77YnFNSqvHGuId8GZtlUsaz2znxIteQPTlKlO7zE1zXEdQV5AnRL7xrqKUfwttmlQBVFBremXEmh/t/lJHl/6tYxz4H9kmas2N7oNLMAbaf2zVsSw9pm80xjsAXKlf7SSrBtv3nTcfzaVeHGyFNGTE4Cwleoq9v0DujC/pErA22G8ulrM5iIAUdknvroy5Pr6Gj9MXeHR9P6Rj+H4mdxLYVwimuoRsRoH0qShjX5UAhFvH6s8Zt4vJU80rNOD9p/7Olg1iU2ZMhDTZf3qWeuJXmPOOx7dE+zvNaqalSZPPY00PRAnmuJrefs9GlfzJgb4pvGOsV2z8elSF4lFuCZuYlaY0U6XNjLXgEAHwHc1ZYwNzujejojROH/lTOf4mTG7qFqlzLYFC72lgN+MBEPv4/huk7o2zQxF6QwatalnwSaKImHt0PtJhFjutgujOIZL93ZKcMAph+qw9c7ZtJpXzGAe+fpVAEplWKC8VDAulr39JD3McFc46XaHqlgJmBKvGdZaYiGo/j7IsWspacyaDUlvT3QIyXcr9vMntQJq6QeT5oq9nbpaKTSIwTRywtE767TB6gSSqQ5tDr9RLs0GaubjrL4+n/B/4e6FirBQbdV/qeEOnZSVbtEW0pEMyGLMNU0xDL6WcguaJQHNJ5GhxaYmHDlClqEsbytdlXwecQyalE3C12i2OlUa+CPYSYaSFB1G2DAMRDzVA6VCt9O/j1S03Wb8hm9bhMziMPNXeJpbB2Htmol6SAEUDjIs6ezisBgPb0gy9KVWeRB2x2T3m0StNl2nyCLd8Qp1DT9Unz8SnecGtLus8dU3mIAgLJ/V8FguFtNGpRy4+klcxkMtBfBBm6Uyn6gfJ+rWc7AFSCyjoI7HDPUTHz29e/kPXRiORoufhkgGtp0U9Yh96MN9w+4OYmWeyDdr2TAd04NOXKgSWp8iCrnV8xDp7rQcFLxG//Ym6dVUsd9cBVWPEhBtRT+owYh1YYmhmR/ojpaPZ17r4J6RC3c/aha8Aw5XUWdIh5SH5gFyW7X5416TAD3B5YODcAKpi9eCnr4Wbz9Gea17U+pIFLhPJe3AwyyFbJxf6tWCIwAujL25iSGqPEECKxVN3gsadMG+GF1qvyjw3hc8fs/wTSJEozNzCRCyHK6qELWotJuBGPSBSSwPg9kmIC2DBVmgc3a9b5bUdx9hD0pmGVdHoN48GyacZgJhqCLsauj8lH9L8f2dyCtpZECDC0pcMqxN+DUZtJSxLnx8Yt9giyao5DEISyWTa/C58e+N8zIZT2EdnmQH4R/1EtQxcBhF+Vb8YMVEXGSFlAwlDzz4DVgwfKH/hzmaEr+qjqIT4Zr5A7L8WrzKdmwKBBA/Xe5aq7BH7B7ZVH23nRXATM4MMPEluLwBUaEgjdNqZFfBWj4ES5Fl1D9hMPmYHDx6YfGnX9V2ftMvrTQRNTW5Ue7FPwioWc4fz9UzAk56/5FoU64A8lV/elvOOeToLlxMp17G94evvhrvaidPeNmEZhcJ8ieFTp1hVYBE0VdYPwxpZh0+3lOaGDlgF+K9kt3aoR1BWu005tfUcwGJ8M69QWjHWOuPyN5coTlXHjVgHiHQXyGi7uVbX+I8whFrwtlXG7+y81Ib1flYbv5H7oukOsvSzuGgMoqReHvlzxrCKHuCwt7vlhtL4nDrGq1O5o/BHI1fsfQwq4rffT/A9LBcblhq8ArcIVyooDMMOhXHZKU/w4WZZLs6f9+uI+x6yhU994LypaDwKG0Y8yx38KD8M4slMC+n8S8K/M+/W1ngTJX39k7n0TUSemCGOGBlrD5WXRIpiisNvcXl9j+bGnQyHhGU92k9EOKckHZ9satBk8WTLG0lo2W5b2GI7LIb4wDmLq6Z02rj9hzxepyZOpTmgQApU3I8CYF9cxm/GZAji9dD+Nfv4qOSndcAGFlZO3RfrbMLlJEodv0DUkcZRzk5qeXSpa/VNHDnobfdcEj7ElTF+wEmqbN+BlTyO24jTzRgfMmXr97ivQDJgwy50WFtAgsME/7CGx27agZ6zIaowhQKACSGRX2GHvd8TKYpwcc9NyE2Df/79okmF5QcOFqM0sFwOPdQHnX+W9lk8Pbd7VgvWQslz4DO0YJS664DYJnAzHw1vU5JEMhARg5gFaP6a1F2nE3Lxd0oVrwT86iJslSPSLTux7l4hQ7UidZI0P53frRoA2Y1Y4PsHIrif18OB3ARvx9r1aAHXBAeJHmfQqFCyd7boKdY+coMA1pU0sqrwteXy0AJCFX2AluwcmSrRfbbHLqebtuN+mlHpGKz4sUjeXLnBeDrIwl+mn+IjNlFRZ/oOfvwhvxogn++62tOzGkdjyTX9G4l4wyD7Px+O+1jCx/X3FuGW+uTvzuaD83eGwggF1uWTyZsqX/ZvROL2g6dgNVSb8sXSPB2loGm4pl/xVAO0WyBSSHMUBXf4nyMu/c78V820wyUvwic1m/PW6Ke8iphqAaARl46QC1oE+mOaKXGKgDM8ncGdPEiekthNlwkMETSWRDfdxiCzxUUU286vtwZBvRkHKrStFcnaTnIoieWkJ9HTRGHqVXbLj5XIb0Et+Nc5ZnA0Nel9fx0IupbpV0Hannt5xn6Fl5I0bZf+0mpLcAF5d4e5k5LexcgIGz9AwcuePgVz+gb6Tzi6ECOnyqZW56e7jCNXPAPEVQsZfvh8kmHXtaSDr3nehZnqVyFwvJ92+FQAzycEFzK9YEOOO26xFzjsP3u4IR/aHhw36+eDkC45U8w1IfAKRHHtk7+uWmLxunkdaR+uaaDN/PEbsG1hpXFrkKJm5riV/GgNFW1UalmFiLrU+BT4qSMKfz86bMKP/YQt7lGzbYodTObab1N12FHr7i6FjXodboKCPNV1RIHqcfj/AelCzFlqmtaW6H+l0nPuNwOpDQxIN9uHhUchRxZ57AsXk1q7e31OK9nHmbY91DWwNcW3ddjgSjvCwGWpN0jiybU/hINr4Zo1A0wV0Bz84nAWe0eSequEbfbChUs0chCDZLi8bUv/MUOHwAqoBljNQIei1fEGmoyGsBZ8fk7qKWEogZQW8zkTHCdxGsFG0RxRBEA8BDh4pjz65a3RR05jkW+8AvphRxicvyGHRFaP1sj0lcSkuM7n61WgOLSiIhEII4XGu1G8WsbgEZZLw0NCT/QpUqpo/MnmpLdz+U7jCvmr9UHU297IiHdL8ZBmfHebp1flLxQjOu9SIE7h6qTtltlX36KHLpwuNCtPjy4PjhfdFzZaV0tpD1Xmg3ZjkIej7niHXcK59VknOo96PrZjonS1lva+DN2MhtWdEsKF/zR4tf/8lHmSnyDhsfL09upYa9PKQmrBuo21msh/fP5P7K48BtL7aEHPJ2i4hJnjh+HyddZrEbzRa23iahh939c+Jx+OSx8ZnPcNGijBDl/VyhQilA0f2tfLKlFrCxGPZn7+G5mnz23eVhLMbQGv4iC3a+ZJD4kQhP7io3zGHIrkBml5t8+4pRQedXmO2SoIjeLhygrUqwEQCJ8tCXgaWKrQfuKgUgIL9hqklDkKplIhE9EonMDp/2EU9hv+c4w8+1Bg0rv2jE0LJfAZEyTzCRYMFoKhc0ubk9NGkUccOsjlISyAManbPZgxLjmYe8TUGBqI9jshlGmA5xwpRI4hc3VZKosL8xg/9G1idgxR21+ssfYti1Wp73o/IqmoDQ1gKOwPEGvWyXFyAodtuh1z8zJC6xZA0uhQpYzrTnO1Pd2o/pDR+57HvegUyYlLzGv1B33QGW/lepgO8gjbROvXohrTlAWybQVUeNq/tRo+4v7JK8xwd/Vrfy819VGvhqlwmR/GBW8RFGDN3g626+Cbzhb6GDaa9PcqY3jnyli0/s8gnN01DLtGz9YIl8FUb8aFHUmPJuM09tkIsThoTvMWwYeawtONRoBBSxHKe71zP4ilm0skrlJa1jl98SEhQnUmVKkY8YON7eGG9kStgH7MjYCTbwL0cYLvLvABIw7Yb8OV8DKcVVqVdFlhu66QKq04r3SY8z8VbygSOsP13JeckA3zGU0Yk6BcqltXaEYhG6SzmGxId5diVasfRXF4sTeQwGOXM9jZ6bLD5cA9xJclnrrmkuAl5pGrJzQcMQ6AZhK3Qy/q+KGwa+TwyVofVxbA7FNzcuKSW5Kq45QVu0y18QVfYVCwL8f+8wJJY/3OqnvpIBf+MTGhYXu1VhBq+AGljqE/Jvxq8r2SyMph4RBx3zdY+prw+vkK59SX6ahupmHn90JZ0vgnAJ+DKrH1uus9GVgtv74daMBSNk2SoYf0eApEqP/ltxGZQgY4CgIl3gcEfkxdE6ingj85PAZ0k/WUmW2wxe0wKY6saizYOXztqoOyU8o0VepnXSmSFYljoxKyphrPOA0sstJUPLvOMC6o57rLXYCc+8FnPnF5dPo3E57D7a1ESiNjio0iovR2hJbSOPQgxbm27H1Jl4TSy3qDrrgI18H0jVQggU2f3Yz2NenkMvQRT3OVMA/kMRDb9eYcl6Q6ngZSEUY7DtBQKaM7Hs+/aHui4Ej4BgoLR3IpvI5vg3sHGIOEsJBIfhjzUrFt4+8lKE49e95eC2606H3YCIudoHbOMiaPIvJ4Q04AQsSfFCt4NPTX9PzRC8a0G5743Ud+81og0NaSXpxXOQ8g8egNFy7sbee8ElMZ3HXqu3OAP+UyZgDWRUwtS9rpi5OIjJZmzUANs4156/S0ztx45535KWkiuj/oO9uKyf2dbnz2K3Ge6jXGNtECgdVdVbPg9H/27buKLPHxKIMZg8HsjV0fbxg57tSSCTmAuP4JP9Fu0KsOXcnASTGbe6+Oj9u+Hlvrbxam6wRLIO3hHVW0qntlHo9QY/BO3T6Lk/iTjhUrV6c5NFd48v0X9qa9lwUeAwbtS35IxIUAS57W1TKrI9ACnEIWzKs11KP/hbAEsYzGT34txGmdRvXrc4BONqUkN2NjFRkYfYJAebyU0f3TpgSiWZU76dBl3nW8azO1Pz/tl9bYGoRS+ABcb8k2kW+wsZmL2s5MomTCUlyulkLrsM7UplitQee1lYr4nsymJ90qJ5LT/Y/OVMgLEeaWBW7O12O3ltqhKiGRjoqcxKGr5/m6ozF6G8+OD07EPA+P5GFB0VjE2ZYWuMYjKuXLqtp95ugGUaR19ylAWVW6eqz8slLMeEBm7vf2mudW3tPXq2JuY87YUQm7V38Lp2bPFPw3fIN97LNFy6VtIdnWqUbrXinbl/vobcz2ILHq9ys2AWY2021LOVcOnMY3KyEUC3CbAf8xaEa55bqu89JicvsQG70QpsHnJhaWwjtwlgy2Ey8QUdOpj1Fyq2Lz+qlNbmGZJJtPK6t6qZM1yHbfGN+sPWMQrae+eWBjWiYzLBFTOE8avOigQc1OdTLyX3rays3A/5k/iTDZqeGtK9FY469M2rMtT2h+4fzb879B8KI8SB6Eb63418+SuqFTjB4y5D+AQP7CVXsFxJ7IYz9XT9McYOR+balf+V3GzLjMH/1XGgbckRyGA40OxrFo9+mzmc+c1ZCYYh4kEuDeeu/Y2wRUvN401FHkTQQtEtQztYf02AcFbRPRE+lXHQzuahbik9zcCrVNdQVm3gIMj1IWslKkIR2PDxSC6o7WjR3pLeG2U0/hkwwYkDXD5/bZi+LaY6rVlPr7/t853Zjvcxykeg52lFJlM5ARieb4gvw1RVzJwbuv8goa/dyTeKpHzE25p3mJW+4nEZAymtPO8PNL69piQLohgkxWPLCRgPUtpfd+sVgt2fBx3o8e1HOgPYfQ2ZO2T9Zj/PEmtj7GCi8gzacTE/TZguWaGy2WA3eGczHsgAmpeeAqmjiu9C4ayq083wg5xYzFWWwMd9w0KLXhM1lKU/yuiSdH/yJDY02VvOfPPCn1xLXyHj4egnVD14oOMC9jDkoaWTWrRIFUYYdP7yebHPltZcSZw4W/AkqRfvA3+I/sY6e5HNTouQ1fZVrHU5xQnVhNJ25WsnbLrNuhpJVkD38EHEE3gVlVFZqMH8iuv2oH5cky9q8H1se3z/AnC39iizfUu+ZahkJyFAsZZB1OiZaW1BPzLE65qbplSiV6hUbqBPV7H1f1PK426ESYleKMeMAxg+dnRbioHfFru9BfWMIxkyHxMhegEmWZLV6Nr4RCD/K4jq/uvD+kQpjJOy1r3Zza7PrTHq6St+y1IAFFdQKb7N0CxVa74ZJydpvg6qi+qW62sw2ssYqhkTnmoJIxSHQFo27MsrWM7PsSeFesd5Qs8qLWRsdA9i8eY0nks2XTIEPWwwMsly97O5emQBG+VxbvIt1OmjqkwPDMvC4EJFo07bRkZ30mDPzhfa5vmeEC9KE7CotaJ0Vi3+gGsgZMjuQKridih1Yj+PwFsdqcsDV+GK01JUbeXuzhxvVQXPYUScJ38RICGFMF7xMBMEXCiQeRUwmbfRYmSCaGw6ifOUcXg+54UHdmhcttzcRS883eB6qCNMMpq6n9HGgCP9YZiOz/iBrwkBdJJdKlxTu7/vqatAYrhshqIL5yk96VIH/NDe0cm+pvS7wpgac1QUmPoSzhkEbtuCFedtJRVTU5SwlK+i6Zh8UW/ekZ4yOoZCThQ2fPPvlzn5XB3QWl6J9p386Ca2IeCnPcd6v7bCzj91QyrMkS6s80Rh9yvC2fYHtVp17wGuQNvk2hnlIvrt8ZSYimI9Et58yEKvRrvCn0WbtjY+fbpXiKEW0qeBgQyf3/x2nEidB8U8s1NC9zoAwcUpBc9zX8wkkHqBHe6SzNhsYQq3fNiiIQyi+akVXvxgWN2vp1iNwpZD7Ktzv+kdn6y9Ila0b+80qKM93E6ZLd5mVZsyMCVeC0mq+ehPHxzbfuMK+H7/Y92mTR6IZb6uLu16fvFVkg3tLwznAwNM57Va7OJ/TsxENFl7Lqtfq/weze/sEB/63AfK04Hhb/Xag1gvNPjzg8jfOsYmZ8X6Sagi4ACbIT/uG66GYO47zGbBwlW69yo2zF0ba2Yg1U03DlU1NWVgovZJFnJb7SFJhodLLcjkwTK++Dpa9chJbtNLTyIZwWRauFJ2gVyiqZB+f3PDCjUTuQzUC5M28bkK9InRoav8k2QAGl0TluHgfNhHndzAUlv1FmVesB/3fZVnNzfP8aMrVQ+FS8E768hfw6Wk42Wuf53nYueXpdAIQReEfjq7IRZZ3hpBrJv5PcBHWAKSqtEKDYdvvWfg1yXLOhkoyL7WRzXAVhZ2n+9Pw5w63J9pR2Ay2uP1hRUv0AUCgM3JXldJjufdfTwHQWrQpXB8AYs1+Z8rEKvkmjU5Pg4fOidgYQ/gapPJiPv113dSmGAZegrLZeGuQFOYNO+n7IhaYu9LWKrMmZjvvc5gIQhquVlF5GNB72SeKHlx4VicvTo2fvk+lZMxsCGT+l1imvRLhiuKA5u0DsQE7cxBcSLCkpQuJlHeZZO0zFdQN/xCGgiUHJX2Ln4vvLkwHO2U1BUWUtMlCV49vPmZzWgRhEy6kcwJ5HqtWqXfYgR9WsyhIndrgirQfoMSODHz1Q9Mb3TGXAlfogHwd+QR//G0PVb2XfQoG4hBKvL5eLG2ZOZABfrAEC6OZ5mxUEM0qPMsE3loPE3dqr0X6jI90jtGgZW0xcOpnn0S1nZ6aNeMPnCIb3TIKFDuoqwCOOioO1nDF6GFd/Gq8oZmpFxGZmwlKQe5Auju+7GY3UAWFk1mL4yQdJuf8BHjCkMQX/d6nErqFKvX8kcG1ZR/1bdzdmpAIGGE7TzerD5sF2UjT88nQ5j0Rr6oPNwyVE5OVk5ZRGQkX/3SfJP84TOorvX8cvTMN7xYbQB2LF3qqYTtuKkerRn1kGADht6olIO4MZVnbSLyGyk/ZDF18/DzrAKvLl9o+5ZShgTBdDweOHJBrWhXaotdICdP42KBoo2evTfG6kBcp1egidEZt27W7sp6Kx53xFTMsZGs2TBSfSTo9zyqRrPCOt8/10034cMb30Xqh/d+g5Q6McmxlH7bS4F1I9aofUWfK/58iBjMeGe/MzDhKMaoomeb5wBKW3nozw7EahsRcyyhOeywPAY8O90K3bRJFpfBzsVi91b1I5osxIaNG0E8KUHcWbJhQxX95DKuXjmS1uEwa+Sc+HKoCtimIwVGa47dAALwFec/SwDyrL7rhwE2Ebk8kPeOkUhC6vSvS+FTnewkWiKqjCd7K23BwxSPMZBNLg01tLR0wVsyu2Llpc5BmY4gfr6RlFGivOo7llWVIM6F40Yo/S85U0kOcLiwE8IwlGsl1Cc66BVq8Z1hNAZ0QYV58LEEI7EGTCehTeyJzNqxSo3bwAmq/Qtyyjpi02/CiJydoN5y3XLNmtiQVsWGVXMclEYJvxFGZM35JDKsYN9vNfcg3YRMRcWHaipHw7H2e/N3uNGNV2hZ95Q0Wcxh3mlVpYydeWiuy4J6yJxLDkpaHMg/1wCzI4M+5xpvkmYx6BDqYeRQoQf+1zLc1Yhe6wZn1iklPuklyi6rDdLg+oRKFrAynutsagVGJ33T9QbFIroO7YxWLHf+3O8FEmRVkTJCCLbDP7wZA4BrnSPf6urH1MefpOJOZPWPJFY8immc9Ike18bIT4zHlwWzhgLL9IQ5Hsq7b2yC1lNfv4JlzCkVYERscg1PjtD9fQgS5OdpHfIUdRYgcqRqNOKimOcOA02itME4Wq9rBh6Ay61oj/FfVyPM1maAVmBpY32OGzMMadRTQhwvB2gVG+k2TqakYse+horEY18hcnbYy1dQaExX5rFrIypQ2ZX3TTuwt/Afanj/YnG1nbyhowzPuaOvlueDZOKIAFLYelleLIVoIjPD3ijXOd06K3csRYr5IO8og+g2naV0nevJl+uND9oLazELMj9aVlk+vGUTAymsROBY0rIFydgzDwMOf9JgtG17oJMljHguvIqHUGtS+zN81zDiQTN0hucz+47iTUyLEePduc2LttSUa1bQcPTsVT7StZuF7vQmdLgE5zzwKZDnE4DSKgVeWxdvmQCVtnHP23MB38+mhXG/ilk73aUgyIoVQ4fNqQ4nKaFHJDSrl6LhE/K50c4+al5od5zOtYG0sMXqqr0N8JqEp9QlI23aaG9Baov/YFGAD9JbKAkpOnBnwqSKBUMWE1PKfb5urEcehd0HYo+eoOUt4vUqh4eZIkzzTC8qmBIrnszPhs0NaemGAMTutjTpM4PN6QCj4x0iqGdZ99x0Pe/77iZm6jH25sudwsvm9HsV23ESKwdHCkYlJyZUU12k/GIoqhv1ILxtSNC2dW+QxJw+EFo/ulZgPujzccD4O0XZYHDS4QuJ5xdxM2n6XWdYpVSJeuS9eX2azA26XWWQvVRzEQZjeFO1+RzmvKItOQ6zxK4aX3TfM4b8s4br1lI2VdgwiMoSDRVWWf8ccYG8LpcA68Rj8VctXCLCQUC6sguNl+QvOZJiCt/UmUj9hi54hh8+OOpKshpIGpR2XS3qyRUfy+9mCKoD1xDKtb4pT1XNwS7ac3Mr6ldyVfH54wIP55bOCi8xqKzRerxYTD7X5De4kZyFDXgj/OQqdEQfWnyg7REEwOBp6uq+Cz5+hfjtVLiX64fx8SO/Hd++o1e0UfkaOcnZeYQPM9Wy6X8foicXn4UB48QcfokYYgKlcf60NwvoVaaiXjFNU9I+vD9vS0UQsIhEioWx/m8tFBcrVpu0mKdo71d/QYkHF+fSJz8K2sLGMPBV/2HGG3KM6UMMlsYjH89ETz3OyvBTYcilOsybId6pyEmX9ANnjjp4+SSsLJntaatA5GhknEGendnhtAjBn9+gO1ZcwXyt5TLzeHQ8cl2dM0ylZw7rRVquxK/SHTec6+Gyzf0+VfkyLRwM0u0IgO0PzUxPRqD8M0KIeQR9Hi2lnjbjQTYLXpuTBnVuuliM43Otn2W/muU2L8p/NCTdkQBwc1BOjN+m6WjTJxDoMSLz+UBUjmJACbfe9A6G+G4gHcu+jD8J/PnGjhwL5DGxySvCo9HfXGtWkfaVRRd0dCMF47kTNl2g966shnTWGmDCiUdkjN/vBvS/vBzlnRdomwwcnnXtE1WoZfxAv/pFF51QoKQEhPQJ/HrM33wRrzQ4ZjX9IjhvOXD5vVShn98dVhHc8D+gMpQGhYPprVODBwO56+frS00pzSUK5lNfFVbj9+1VlTlk1ijhKIqNteocmKOzFSad02jhO8t22piD+WP/qO7DiFjpX0PLPulii6BOoiLne2VW+EPIAInTbBqSmul9wcGGtMj6uLKrp6eKD7FjrwHzVb608rvERZxLI0yOBiOeS46HOB2MYoBf02ufRRVhng0yGM+pl5OSHrqcrT+uH12rRZ4ivO51OeNLEx2VHIa/XO+6g4AIWgpQQ5TMa+LzumsdlLEwbGMfokBgx8D7uIHTgF9MYh0GgvVyTTBozePmZVVk34O8hZFzKVZL6d9de8xY4C1R9s2CSi810r/2EICr78FIUBVGEQVfSygbk4H5zvcP7aDZUjLp1uRVmkSiEYYoCHNQntKnNPV0y06uwJUjtdvd2I2dFtFvW88hFkml/6vcSVhU7zQ0B5rKNOYoYWRGsCTui+4u5y+OSExEnzWbNyhrELvFPEjuUl6VY0e1fEU4TZH9rol1Wgs1VLa+gvSIxF/CwIkZSfNfT9kxaqFP8KnmnuQleqgSBlW6Cf79nPKpJdR785nOUA9W0MQGf+P2uNx8IM/Fmiqf+B9hgSLeccLvxBx389xf85sVSb+xba+Gl5eETTEz6Zq0k/Gi975jry40Wdx0YOVHEycaiartNpLM2Ri38mqxuMwpHZoZVwuDWmFgCV/dG+lKqusQScNwIux1wQndBEjryjFJviRDS3J9IDFZeeVBsWR56+ZzlLUib6mVjaKCO2+oSCzynqD9sPUerBuwZxflZYkWSzZ13fChl8U33gLZhQ0rmYl7iGHjiDg16Qob32wxKEVV0zkc+u8rMe+J25ad7DDjgqMaz4TIS3XjEnX0AqTyE/HZXZEAFUe8umRygbqeHePb92Yj5tT1ETe2vFoWa8eyJ2poHc8HKUgFRtP4kUnrEJDORaiW2j+Q9kUqaQ00BlwWYS0MargIj0WJIDAOWhZinnXfM2hKYaoJck0LxbHtcWAjD553mFe0kfhEGxj22KZg3SRKoEygArKg1ebs88qzv+83qdjr71KoNBtYVkqYq7je4JCNVx2s3B6lQxdP8NW87VciO3sshO6HZLTu+eZiFov/qDUBUK/6Te3NC8htpFe94iWaBzyZRZ+H9LXmplpkThFOOZvdh7aNbmr9n7t/0oYQpBXszZRQkpeRJbeHyRGplPMJJAaLeTTZpkHqZeOIABks0b61LwmVx8gCxRVJKbKxzbtnYPhr8cFHtGHiVZk3hJNtKYVDvssqI6KOXmbjzIB/nJPVCNaqc00fJrP+TZx/yvQpNJntx7tHMrP0faTDSI/dPAAilsZ8v1KVrfNf5NhYTlALCe69vI7FA9lxWeDwsJ8XSkzBfAuUIfC9q8FJBaXn6of4/J9L/NYnsWYplL+vh6p8R7RVONZeFoRu+ftP6CWKwjIhMhP8ZUFj4r5AXz/o+peOvWyRTQTUlwQf1LQAlT//CcWi5Iu7SXMzA6l0nsxIE+qzLyqh2RF6CcHFFP/XfLqBsEqzTxqsWt8dmwcUIyOs0moRAzuGX9mOhveSGE/RxRLTgroPX9yK3EksEUxNOl6HAhIlOT617ozu5HqoW2vzkM7mN5s3w4R49DdheAqMmXY4l5w4pn/Lnu/OPa8XZ+eNqmljyKMrhzpLP1mi55HozShH3VsIj6T3FIyJ8+ICfnzPcmrxBggRlbffT+uHYyzd5heoq+o15yQdyudqF4xWLRJPAzfVehHZKZcxYVbT+cRs4myvlgHVitbiVu2StFxoYpC8oEjd6vK1BUcdY0t2OEdaqEEADez7GTvFoZoe+3I/lU9+2aZHwzjXQl1zbkSGDG374357BksoDq5N2xyyJOJ5W50lERfAnmVPLo0VWscrXN0ScdcKO6jF2s7OUCQn6qgRjUfApjubmMLozH5/3WH5y2CC2ohJDh54qhThc4vrm3r5Rpv1OMJFGO/rQq1mAho0Pbamfst7wXgaPEhQAeIQAMZXZKmjxzFZW4SFytFZa8fYBVXGAFbh5E/iEZ7SX5ozdouO6qjK4hGEZCoy8Rud7A9yRFqvPTxTkYaY5/2gTAKL30SasgGw6mXrtlN1jh9bEJchib+JQ1ip5P8BdW35L8NROOsmDOCTl86xpvX9SNiZ7c4J53DJFhi4xWkpyZ99UEllTekHVzws6UVrc0GYh0a/SKxiCJDK98un0xZWD1Cw9a5ztUMED0c25uq5YW0H6rU3klR4n/ElkOQBEn2V34elhVtcNBvCNX8xWUJ1AcxDqsmbUskIna/y8+5Alfi4ZE0pto8Z8BbSZ1RNutXyWdKSmEqvCDB0adq+5CTY35nGwO7xbtJ8BAkWVRKLV9ITlntZ6r0HcoD1hKxClb4GiicjaeiNig3vWAPrE3NTZYJWVxH4GRhRTuN+6WkeBOGiJGIFSrVdeZ6Dqt4XjUNuo9K071DvhgaRJrty0AyR+BtuivDWt6Zk1UNP7a5dS0Bezrhng2Nyc8Q1oFMBb6d6RuK3wb9v2Qh16IYzkyTR+P7GiG1W5bNtfx5k3z/tf/PZJQpUDdBuTrr6E1ccUsfFQ+Wi+ZAtpogtYErYpcVcsL2NJGGzSHPP/8VYAbiQPbFHzBcITyQ1iv8fyeZeIIE66Kg9gfhRCjjHSFvVsDCoIUSMt6GAhNVyq4lgSQEjDnVJ4caITpmN+NUxp9/jirKbKNy64DncKBNXBu6PuC33XP0dnBw9fIc+C1r5WCVFDHNNAzgaT1Ef5sDMIYqymwHgn8Ki57r28uF+G/5zDDqjM6udD2EzhQWI1GBGBnidOl6xIGqmBoQ8KX7B7w3t38zM77RCecxkyd4nBjCAsVWecs8v8KmsH+ZtSH3EK3lZgkh5jNa135IdagacYrJQNUAcX8ciTjtdiFlA2UvSXbCe141n+VqkC1GAVMMSNd8LC94nZ0Wcyode73Zz3HsRbPGkZL0Xe4hb/+obtl9Zi3Cc5dJqjuDf+ZdcetzBf0HDMXVavTf+c+VxtnYVVyx0QzONc6ML7i1mYmOP2GFMpjTFbkayPrGN0MkzfZJpOSTGXJX6kZKR/E/y15H0yW6G7p9q5XLhEGeC5gjl1p6o4h/ZkjL+BruYpsFM4gsrBJAmcyPHxu98Vp6ngmcyIkJgJPacYo13OG0DEBcbv8TZA1SpabZ/lIICVw7nuOX0oSvwjFy/eisDT1hMDoeLL4jEaV71GXpIaAwELB6lh6Ilfc2m5ALqd0dncb3OunwvMEkwmGoguLLv3YOz7dwT07kfsuuEsjYkjzVkpjM94JmmCQiayRsgpt5W4KyKeK8kozY3TUNLbooRXgt9NoA3pEgJpvhlS9ddEDov58J1kEOPxpSAP4r638aiT4lUljxXbTlrR4WlZvLlpTmqWQdes1bt1xdEKqjpcLtmUOpEXxZtEXC9Urr7SwvdcFqWMI4XVTxhEIJJxSQH0SGrwx0xm0Wj5YVnDLRlON1ovRUSlnwELbIzH8U4CP1+K6lWQ6DeYtVmNZThH9uwPDoHEi59iYGY/bkAHPizKKmqcZpgaZMjVuHyq1rdm7wAosUp1abCbhE9NBZmHedyXNMUX4BFWtKTqCLmHWfKj3U/ujxv9y+SeQL5i3QJI9ZMU1PU5R9qVUvVh/4oNulDmDf6TiEWOMGsiZRXZjQfn6qzPhFuHLZCIRcUwZl4hKtTFD7idEKwO71vE5Db8LeL/CFqX8/Ppatp/pF/hG4R8yPQhXFWAnIcRrAiBK8SGxlgEcQvp7YtrB49cmGjFxx2vi/lCNJ8v8o8hvQPH9CbjhB2cycmO1tbM4H/9OIvxaAbXG93NQLj//1G5P3fGpHNuVtosBwkfiJo9CZOwA1nW7WCa/TWXOTT1Fp282qN9+JxlGrb+6XGn4buQhhWfeYjGE4CcF+tEwHQD6HdNHzHAiJWUqhPp5ck8i5GjupHsZWwvJEHQd0R4BavjljAedGM8Hkbp+B+e0jRng62UhA7uHJxF9twisznQsEs3hCJc2Y1gy9hlXnQnlL1og1zOiEDaZhB4mrpBVZ+xlVxDNh+pM8bwu3iiPX6ym87gBUG83GmZVRWcLmEaFgrA1/EX0mmAwGmiKyoRGb6JB5+7rBpvLoyBbaJx+D4P2z/kMONRHANjk5ld7p8EhQGRce6d1wX2RfC05NDVshZnYLhJcV3rwOSxUSNaRri/aYcJiS2+S3Hie3ICqY0hJrfvARA1pZL3EpJGZEuMoXdiL7eiawSfvQVOoL6g8NRUXKhGCJTRvhfneKn80/BbrlAWo5hZ3oHaKwkooM9AMDYeabrQsopxO765mKVNT4RayoWWpaIL3z7zuytQ0wBCHlabF+0OcKl02Vlj1hB9l1Leot4Akk7KNofxu1xxawlz8okCbQqubWdHRJVkUuvMKy/V+ZkfwMcfkb+m9bYkyE2CkjO4hXofSa5luDIB01RAXZ+xNsUC3AG6mGgaEoOk1We2br159m9VQkjI7WflMPyAnSJw8Sg8pU/SaD2jsxGSgSvnK6O3V0oihW9oYkTWoo6LlWcIRJEo0wh8hR+081yNp2wP2K/8WeufckMqPwZyTK6r+7B0zIExwIpXQhZUQpY8PD0YGrQ0Qpu9A6+OFF3kEKRik3+BBzgge4oMHh2L03ObvOthk/DgMFJ5bKYtqB8OCCxpkKUw13HEFnN0i2SzDmiGezYf8oiNwADPAy6egh1gRJ1zbPvje3TScM8HyYc3usBsnC5eNxJnxyZp1VH994OVPyCtTs7tujWFS/Ijmu8JOoYAm+vQQigrncGdK77td/k4O2nbRQQzqYhcuYxbNIHuRlyBWpR9mqEMOaGzz0YdMkgNBm/FUKfBoILVYHWoxK7h4WkHaTCHgN8HNggWQVeONzeK7heF9IeZdhhU5QvuDUKjQ2MWcnkLieWbMif9Dokp5ljjiAsooynSa25WeFGShNdsSPcal77lA2KOmOvkCfwAlMZXLHRDy3NFj1zw6kxbOpWFEsCeDupduHDMJX0j/xQ9yqqxDLiBol+xHStrohhQRrmaPzVqj/2hR9EDvijeuknI4NJWRrI3EOOWWyqTJT4s3gybYLgS9171v7+w39xmKIvXnKttSfF7pEEmJl2h+1Sc4X7vllKvZwZVZi6gaoLy232Tz/CMRSXEa+LuvRoRSyEMuU37qx0bjtUiurvCuRKBJrbZunIkhACmAc10rRM0U47IQOw30s6MbqkUogf1+aleHLCIp5Sqcz0R8gvxbAYQva2hVOYf6b96kWkvJZ6x4H6n6iZVY5IHceUCskfaXrdUf7UfVXC06IPnHQIe2t6grhAp4ePK22EE56HjyqMyuqrfbQLmg7o/QY8++6+l2cICF9oBN4IKbuSq7vol8iyWUhmDiA81Qq5W2AnuQgRtT9j3RRk1843FCUVzcz/wvBl3JBS5t3xdMhgI8vmFCpL3vAJtziUsF7On/cFiZnxCFMM2GIi7NkWdtUG25WwYV2Z6y89kUzW38kBDBifv+SjNAkwCWxPi7Ngj6HlFsaLSv7Wt7QnvthjZEojb0aoEe1c/PW7N+TArkTx8QjGXj4oKRMWLtgA2XMOBLhSlEU63yabgQiuQNEpLnhCxhM8zwWOju3W4AZy6ecXSlnLJeuhqWGO06xDEILdsYqS5CBHqiMdsBtNIXD7ETcd9yVhkaiP1qKCVGd0aZ/+REDgwsz+0tqFOoN6tTxO340oMLVgL7BroVxESJMLciLD8MZJy/S9BLJnY2kO1TSG+AsOGvvF68MqHx9S2eqzcR1ERMdsRS5nQBmyDBkdfb5VJ2FhRRcE6cZ5WbZWcu0PH2t5Ho1iMgaoiskybi0i2sATUYYFk3J6p2oKRagSPw557t4UvX2aaNduVzsHomes32nc2JflS6EPqFdQbzsSEe3DkxJEgNUn4Y7agf563Yv5tTzrEWgKOTS0R0XFu1sYpUvukwk8DY5ThffnobhHbM/2Uu9Fk6nSzgftDJBfvZVCOXrRouPHR9m3UZi6P3s9VBcuASKAsnzlWgUHpRQ+vRZv1deRaoqes3wTCiehnmXC5V+ef1BtN6amldtwJhqeKIBOZg84eOC3eL/vXadjN6r6+YYxlFk4oqbqZJpSlz1iIcf2ULlA25C3ThhA9oJ5fDBLjxxAmy57plElzh6ZShgn9o7McK4qY5A7itrCVLlLhm+BS918l9QNsCuDJ/s1TYleXMpsNkfHjlDcodI4yBKqTntvLihKU5s4ajuMh0fS/yl0Y60RfANIEqsDNk0dBNiBs5O7lLvtOpNr8kMyt8TYccJabSPtIPxywWzsW4zrBP70UxFa5U+/DTQDB1oefapsV6HhWddKcseGPNFRh+DYvQOWcq03zspbiaWdfPc+5cGbn02i/U7rE57BteGb+YNLUawx716UZrnDKSHmG0v3OrSWTA7MMaITLToWzmEJR0Ktf2cXOCxGyUvo1zX+MMptC0TQzywDelK7RDWUoaCGbl0dExpqScB+azsrwJNk2VZREanYV5A2O4gwSeU7JHA8BT5csvGzO6fUmBada5U7DFYJ+NG9eN9g/+6vBSn+riKvRhOeXJncAl4IwqSjKTiKvBU8AR4dFQG9NtCiqRIbzzBrI8/GiF4U30sRysjFfrjx4fYKWq+H4qn0DSXj4nMDehG4+WVZf6p9zRO/5zE6K+9aZP4K2G6eg20WlA03KFi6pkulI55DwQ3KDbG0a4d/irbmxiSTwZe/f2Ai78u1Y8A1DTfz+6drh3Bwq3nLxYnd6SFiZH9WQcla9lNYQwRCCVo7okkM/nnuNQg2sYaeLVNCRJ8BbO/OxFb6bh93siV5DiITup0OoGyuC2Vj7ZFcVyuZrBegayv2xiG6KKKJEb/04ZgWnVkVLOdiRpz9ftQdc1rJNUuJH3b7GqGpXC0fDCD2zuhl5CFFXM7wqJVARstMVhOrTkyOCHsTnOwBF/ovKdQwWjgarRP3extkW3TzJs7aVX3P8GKYW1SJgMPlwMNDhmQpqZj3eHvR/e42MLuFjJpwVnqhv5OVwRvDFbN3ZDG8r4U/c0jXSc7n7lj50PC3Z4uwKnDxhH594WAqauNodB5nu/L6A//lfDfe/XoMfxHED9BHwsSC0L4E+sPBCY5V3K4HVmldimNt4BMz9ZMRwCikYSD5L9lPxTE8eQz/YgsmDb6KweFPEj6XmK2SXfDy2LQpVGZvnm5vABXsrPyljh+qvBJrHC1jtoZRNH8T83kvLssyPWr+8+UZgIK3fMbtLCti0aA+Tr98Shm7n1qt5YqIXSu6m4vv0t9PCIJTTRTZt1lZMtzNDTuA9wGFXpu1sMBne1/tkup+sT8BgaZsVEATARjnFekjkDM1UiLyU5HjA4vasJWah1DnGCUZwHlvCJNAuQhPlmq81D9btwULLwpDDAm/J64tQlsnrpqCN+9J4pFMXaIQ2f0Cf7ikSqEeVvMPaHQQrH1bZIWbHYXfSv//wl6PlFW7kAbWI4on7fu795C4sy9ytvDS+hK7J5N+ytJBoDdqzz0IWgNnb05JP7kLGEgE45lxsXW6rsOzbGCfnHJM7MzAndGvpl0TDPwbvAYcXW/fBVSq40nUUrNGBiipJO0V53vLSkGA9UcGkoe1MpURvpxPtMAZvjhqZCYeJamy+8h5UqYVhgrRGzJa8ZnAyF8XnOcQBxZO447mHVpRtbKNrLtCNQgXPGIk8vn7kRofUJ44gHrJpvJZgz7y22XRArw8mmW12gZWWAtmQcCk2jgUNA9OpKJ+rpiW+2W+ab63/2c+Uln6tWl7m/zCLOpQKmOHMbHgUBn+5eYlMdZ+zfCx7PDs2Sv6F16oiUHJBUlcJgNhYYAIq1EKuhqSCls0/2rgbuGGKtiDgVv2e5Y/8f2FWnN18kNHd0mGPEULm/+9kKzBa56O9/lrHHHVcpNcGFwf7zFY+6G3TA71xPycYAZ1u864rq5z4yHs7gTrgnpWXZlFPiXFLIHKE2y7VghvW8afkdBeQJ9xFzvcrdBdwddmNk8rdYE1FAeGt8pgnnxtslvQWdpRDbgs7bcW3JMVIJz7fnQK55JpCSmKDrivBGnHiK4r4K8R/PIPnGqHckg70I7Gw0kJ4CsZ0r+KuqKEFjRG//mt89sl4LBqHK/ECg72VKUcpWliO1Sh/B8pjI0ql0+edofNbSLjVYUK1r13dPAXf7YpykTx4eLDGwhydAFFR9iZgycR97SS2UVhb5Ws2WxSq577DRktqYEyZYnCL/k6/JHAr31a7Z7+UXZc+j7acxkJ9Yp72gxyL2GUoPL/cUg32qV+twkZzIVqPq6YHBcD7xGPy50nkw4mgrE/D5yIJISFxbS4E2DXWy0hShsOSoswTEchsndjjvAHDzawQScTjFpM1BHNO6A32Xh3qULSjtFLSVhDxLi2PJtNVS7GqRDp/OcMq6wo8qK4QwgsfFGlf0/t6RWJOIALyuX4DgfL0XDqp4DmrN1ol6UCmD6cPeds9y35MD21jGw5XoOdCOetVY27v4vBtOhiGeW6VUTOSHziOY8h438/gyJmFw3Em6uB7XAu1k2k8LJaaigAAX+qC6rkepnEAAe/jAaP/Bp4c9lKxxGf7AgAAAAAEWVo=","extract_python":"import sys,json,lzma,base64,pathlib\na=json.load(open(sys.argv[1]));r=pathlib.Path(sys.argv[2]);r.mkdir(parents=True,exist_ok=True)\nd=json.loads(lzma.decompress(base64.b64decode(a[\"source_bundle\"][\"data\"])))\nfor n,s in d.items():\n assert pathlib.Path(n).name==n\n (r/n).write_bytes(base64.b64decode(s) if n.endswith(\".bin\") else s.encode())\n","file_count":19,"regeneration_command":"Repeatedly invoke python3 -I regenerate.py; each invocation runs one checkpoint under 470 seconds."},"outcome":{"candidate_live_report_minus_COMBO":0.097021237206314,"candidate_live_report_minus_qt1":0.6944122005919702,"grid_vs_matched_5bps_report":0.05393421549459437,"both_solvers_reached_original_tolerance":true,"report_used_only_for_final_estimation":true}}