{"item":"lat-a","batch":"e08-lattice-tell","credit":"Taylor (gtmcknight): replica, Gaussian and lattice filters, qm tables (github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved). Seats qt1, TC-A #770, o1-b #1497, tca-path: frozen TellPolicy, Tell, QMRef, engine-order port.","scope":"Replica only: plain python3 -I, CPython 3.12.3, standard library, 8 worker processes. No contract, no engine, no engine seed used. Replica levels are not board scores.","answer":"With the arb/retail call settled by the wad tell, the shape of the belief is worth nothing measurable. Report seeds 10000..10511, n=512, paired per seed on the engine-order port: LatticeTell-TellPolicy +0.107 (se 0.013), LatticeTell-qt1 +3.207 (se 0.046), LatticeFlag-TellPolicy +0.141 (se 0.013) (oracle ceiling), TellPolicy-qt1 +3.100 (se 0.045). The +0.11 over TellPolicy is not the lattice: the frozen TellPolicy quoting from Taylor's full pol_mid/qm tables instead of the spline blob (control TellFull) is +0.099 (se 0.013) over TellPolicy, and LatticeTell-TellFull is +0.008 (se 0.008). Without the tell the same lattice is +0.542 (se 0.028) over qt1 (LatticePort-qt1, a gap that also carries the full tables; Taylor's README puts the lattice at +0.5 over the Gaussian version on equal tables). The reading offered: the tell takes away what the lattice was buying, because the lattice hedged an ambiguous call (lattice wrong on 16.2% of first trades, LatticeTell on 0.19%, 32 choose seeds), and there is almost no ambiguity left. The true flag adds +0.034 (se 0.006) to LatticeTell. The choose window 64000..64255 says the same (LatticeTell-TellFull +0.005 se 0.011). The lattice as gates.py runs it also does not fit 245,000 gas. Leads for the goal: full-table fidelity under the tell is worth about +0.10; the lattice is not worth porting.","P":{"status":"pass","command":"python3 -I gates.py","gates_py_unmodified":true,"output":["seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm","10000  448.261189  443.455598  443.522608  443.663520","10001  576.779199  571.463409  571.623551  571.977293","10002  531.886497  525.168028  525.865859  526.411631"],"output_block_found_verbatim_in_README":true,"seconds":4.93,"ran_before_any_other_command":true},"inputs":{"taylor_commit":"4812a6382311624e1506aca131ca35c378f930d9","taylor_tracked_files_unmodified":true,"taylor_sha256":{"gates.py":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","latt.py":"925c0fe996b19fd51fb79a85d5e4dba4bc2f5453d0a156cc1e480f65a6a00cc8","real.py":"1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","evalpol.py":"6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"},"tca_path_url":"https://api.imd.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","tca_path_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","tca_path_sha256_matches_url":true,"source_bundle_sha256_compressed":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","source_bundle_sha256_matches":true,"manifest_sha256_matches":true,"manifest_files":32,"manifest_files_all_match":true,"blob_restored_by_materialize":true,"tca_path_frozen_json_hashes_match":true,"bundled_replica2_equals_taylors":true},"how_the_lattice_takes_the_label":"LatticeTell is Taylor's LatticePolicy.on_trade (latt.py, options {qm: qm_k1e-5.json} over pol_mid.json, as gates.py column 4) with three additions copied from TellPolicy. (1) On every callback whose timestamp differs from the previous callback's, before the filter runs, label = Tell(2).classify(previous reserve wads, the bid and ask fee wads this strategy returned on its previous callback, this callback's TradeInfo wads); the previous reserve wads are then replaced by this callback's. (2) On a step's first own trade (dt >= 1) the lattice first does its own work unchanged: per silent step diffuse, cut to the no-arb interval, renormalise (cap 30), diffuse once more, then pi = L_arb / (L_arb + L_ret) with L_arb the lattice density at the arb reading and L_ret = Z * 0.26 * lognormal fill density, Z the mass inside the no-arb interval. Then pi = Tell.update(pi, label): buy_fail and retail_only give 0; arb_only gives 1; both multiplies the odds by (13069/16591)/(15/13131); buy_pass by 1/(16/12889); cap, unsupported and neither leave the lattice's own pi. (3) If the label is arb_only, both or buy_pass and pi > 0.5, pi = min(pi, 1 - 1e-4): the retail floor. The lattice then takes pi by its own rule with hard = 0.999: pi >= 0.999 pins all mass on the arb reading, pi <= 0.001 keeps the cut prior, anything between is the mixture (1 - pi) x cut prior + pi x point mass at the arb reading, recentred on the reading when pi > 0.5. The one change to that rule is the floor: after a floored positive label the lattice never pins but takes the mixture, so at least 1e-4 of the mass stays on the cut prior (TellPolicy keeps its second component in the same case). If the cut prior is empty (Z <= 1e-300) or the belief died in the silent steps, the lattice pins as latt.py does. The trade counts as an arb if pi > 0.5, which sets phase and rival tracking exactly as in latt.py; mean and sd of the lattice go to the same tables. LatticeFlag (ORACLE CEILING, not a policy) replaces step (2)-(3) by pi = 1 if the port's hidden path says arb else 0, as latt.py's oraclearb option does. LatticeTell reads only the callback's wads and its own returned fee wads: run with the hidden path poisoned, its edge is bit-identical; with a label that never fires it is bit-identical to the plain lattice.","arms":{"qt1":"QMRef(blob), frozen","TellPolicy":"TellPolicy(blob, cap 2, floor 1e-4), frozen","LatticeTell":"this item","LatticeFlag":"this item; ORACLE CEILING, reads the true flag, not a policy","LatticePort":"control: Taylor's lattice + qm tables on the port, no tell","TellFull":"control: frozen TellPolicy quoting from Taylor's full tables through real.py's lookup","all":"each run by port.run(seed, policy), 10000 steps, as tca-path's score.py"},"choice":"None was made. cap 2, floor 1e-4, hard 0.999, the tables and the likelihoods are the brief's, TellPolicy's and Taylor's. The two cases the brief leaves open, a dead belief and an empty cut prior, follow latt.py (pin) and occur on 0 and 76 of 1787846 first trades in the choose window. Order: bench on 64000, checks on 64000..64002, choose window, ops on 64000..64031, freeze of every scoring file's sha256, then the report seeds once, in order, in one command of 330.5 s (inside the 35 minutes; no stop).","windows":{"choose":{"seeds":[64000,64255],"n":256,"rows_sha256":"9ed2ffa2f29c8f8a887496ac4d9939bf46d860bff845c71cd4938249075eabc6","rows_bytes":198506,"mean_edge":{"qt1":526.762805,"TellPolicy":529.847818,"LatticeTell":529.969387,"LatticeFlag":530.014255,"LatticePort":527.289054,"TellFull":529.964121},"paired":{"LatticeTell-TellPolicy":{"n":256,"mean_diff":0.121569,"se":0.01786,"min":-0.88046,"worst5":[{"seed":64244,"diff":-0.88046},{"seed":64018,"diff":-0.785619},{"seed":64185,"diff":-0.599744},{"seed":64022,"diff":-0.514975},{"seed":64095,"diff":-0.500812}]},"LatticeTell-qt1":{"n":256,"mean_diff":3.206582,"se":0.063147,"min":0.738187,"worst5":[{"seed":64150,"diff":0.738187},{"seed":64109,"diff":0.838519},{"seed":64020,"diff":1.094735},{"seed":64203,"diff":1.127394},{"seed":64088,"diff":1.169188}]},"LatticeFlag-TellPolicy":{"n":256,"mean_diff":0.166437,"se":0.018861,"min":-0.643735,"worst5":[{"seed":64185,"diff":-0.643735},{"seed":64244,"diff":-0.635506},{"seed":64193,"diff":-0.546123},{"seed":64018,"diff":-0.530155},{"seed":64202,"diff":-0.497387}]},"TellPolicy-qt1":{"n":256,"mean_diff":3.085013,"se":0.061496,"min":0.664585,"worst5":[{"seed":64109,"diff":0.664585},{"seed":64150,"diff":0.837082},{"seed":64020,"diff":0.850138},{"seed":64102,"diff":0.921126},{"seed":64147,"diff":0.929387}]},"LatticeTell-TellFull":{"n":256,"mean_diff":0.005266,"se":0.010964,"min":-0.454982,"worst5":[{"seed":64244,"diff":-0.454982},{"seed":64001,"diff":-0.415994},{"seed":64105,"diff":-0.40898},{"seed":64106,"diff":-0.371276},{"seed":64216,"diff":-0.349814}]},"TellFull-TellPolicy":{"n":256,"mean_diff":0.116303,"se":0.017361,"min":-0.774653,"worst5":[{"seed":64185,"diff":-0.774653},{"seed":64115,"diff":-0.588047},{"seed":64022,"diff":-0.568629},{"seed":64019,"diff":-0.542254},{"seed":64193,"diff":-0.506282}]},"LatticePort-qt1":{"n":256,"mean_diff":0.526249,"se":0.035994,"min":-1.857945,"worst5":[{"seed":64101,"diff":-1.857945},{"seed":64174,"diff":-1.063225},{"seed":64190,"diff":-0.611749},{"seed":64205,"diff":-0.552627},{"seed":64156,"diff":-0.476175}]},"LatticeFlag-LatticeTell":{"n":256,"mean_diff":0.044867,"se":0.010457,"min":-0.397138,"worst5":[{"seed":64223,"diff":-0.397138},{"seed":64208,"diff":-0.355118},{"seed":64070,"diff":-0.29086},{"seed":64056,"diff":-0.269393},{"seed":64002,"diff":-0.263905}]},"LatticeTell-LatticePort":{"n":256,"mean_diff":2.680333,"se":0.059942,"min":-0.479575,"worst5":[{"seed":64003,"diff":-0.479575},{"seed":64150,"diff":0.08097},{"seed":64020,"diff":0.906656},{"seed":64109,"diff":0.964056},{"seed":64132,"diff":0.989331}]}},"seconds_per_run":{"qt1":0.321,"TellPolicy":0.492,"LatticeTell":1.515,"LatticeFlag":0.913,"LatticePort":1.459,"TellFull":0.45},"tell_labels":{"TellPolicy":{"arb_only":100498,"both":366319,"buy_fail":409995,"buy_pass":486717,"cap":17994,"retail_only":407941},"LatticeTell":{"arb_only":100291,"both":365351,"buy_fail":410592,"buy_pass":485285,"cap":17831,"retail_only":408496}},"lattice_branches":{"LatticeTell":{"first":1787846,"mix":15965,"mix_floor":950065,"pin":1624,"retail":820192,"z0":76},"LatticeFlag":{"first":1788056,"pin":963996,"retail":824060,"z0":80},"LatticePort":{"first":1784372,"mix":1600592,"pin":17854,"retail":165926,"z0":76}}},"report":{"seeds":[10000,10511],"n":512,"rows_sha256":"dc56269138c5e757522bdbd15c50365e54a44be49db663a8ab85dc6664286bc2","rows_bytes":397210,"mean_edge":{"qt1":536.990076,"TellPolicy":540.090345,"LatticeTell":540.197453,"LatticeFlag":540.231676,"LatticePort":537.532075,"TellFull":540.189533},"paired":{"LatticeTell-TellPolicy":{"n":512,"mean_diff":0.107108,"se":0.012985,"min":-0.912872,"worst5":[{"seed":10267,"diff":-0.912872},{"seed":10396,"diff":-0.6296},{"seed":10386,"diff":-0.590609},{"seed":10261,"diff":-0.554518},{"seed":10356,"diff":-0.553767}]},"LatticeTell-qt1":{"n":512,"mean_diff":3.207377,"se":0.046354,"min":-0.000761,"worst5":[{"seed":10146,"diff":-0.000761},{"seed":10141,"diff":0.186241},{"seed":10256,"diff":0.399566},{"seed":10306,"diff":0.609509},{"seed":10334,"diff":0.648231}]},"LatticeFlag-TellPolicy":{"n":512,"mean_diff":0.14133,"se":0.013135,"min":-0.636679,"worst5":[{"seed":10028,"diff":-0.636679},{"seed":10338,"diff":-0.56678},{"seed":10267,"diff":-0.557665},{"seed":10464,"diff":-0.496747},{"seed":10223,"diff":-0.491517}]},"TellPolicy-qt1":{"n":512,"mean_diff":3.100269,"se":0.045383,"min":0.080902,"worst5":[{"seed":10146,"diff":0.080902},{"seed":10141,"diff":0.199232},{"seed":10256,"diff":0.30361},{"seed":10306,"diff":0.50594},{"seed":10498,"diff":0.509876}]},"LatticeTell-TellFull":{"n":512,"mean_diff":0.00792,"se":0.007688,"min":-0.723418,"worst5":[{"seed":10254,"diff":-0.723418},{"seed":10252,"diff":-0.66056},{"seed":10502,"diff":-0.653204},{"seed":10354,"diff":-0.510779},{"seed":10248,"diff":-0.477361}]},"TellFull-TellPolicy":{"n":512,"mean_diff":0.099187,"se":0.013009,"min":-0.822115,"worst5":[{"seed":10208,"diff":-0.822115},{"seed":10267,"diff":-0.780639},{"seed":10028,"diff":-0.748797},{"seed":10386,"diff":-0.674417},{"seed":10506,"diff":-0.622147}]},"LatticePort-qt1":{"n":512,"mean_diff":0.541999,"se":0.028004,"min":-2.679933,"worst5":[{"seed":10146,"diff":-2.679933},{"seed":10499,"diff":-1.631922},{"seed":10236,"diff":-1.261714},{"seed":10267,"diff":-1.135094},{"seed":10331,"diff":-1.023126}]},"LatticeFlag-LatticeTell":{"n":512,"mean_diff":0.034223,"se":0.006451,"min":-0.350205,"worst5":[{"seed":10132,"diff":-0.350205},{"seed":10475,"diff":-0.345298},{"seed":10438,"diff":-0.335124},{"seed":10196,"diff":-0.322699},{"seed":10302,"diff":-0.315288}]},"LatticeTell-LatticePort":{"n":512,"mean_diff":2.665377,"se":0.043433,"min":-0.465844,"worst5":[{"seed":10403,"diff":-0.465844},{"seed":10387,"diff":-0.045865},{"seed":10141,"diff":0.230732},{"seed":10256,"diff":0.297138},{"seed":10072,"diff":0.40511}]}},"seconds_per_run":{"qt1":0.303,"TellPolicy":0.474,"LatticeTell":1.52,"LatticeFlag":0.921,"LatticePort":1.459,"TellFull":0.448},"tell_labels":{"TellPolicy":{"arb_only":207459,"both":735791,"buy_fail":822107,"buy_pass":976027,"cap":36208,"retail_only":815175},"LatticeTell":{"arb_only":206540,"both":733728,"buy_fail":823165,"buy_pass":972825,"cap":36395,"retail_only":816486}},"lattice_branches":{"LatticeTell":{"first":3589139,"mix":32706,"mix_floor":1911427,"pin":3212,"retail":1641794,"z0":152},"LatticeFlag":{"first":3589318,"pin":1940142,"retail":1649176,"z0":158},"LatticePort":{"first":3580729,"mix":3211261,"pin":37047,"retail":332421,"z0":150}}}},"seconds_per_run":{"note":"mean seconds per port.run of 10000 steps, 8 runs in parallel on 8 cores, report window","qt1":0.303,"TellPolicy":0.474,"LatticeTell":1.52,"LatticeFlag":0.921,"LatticePort":1.459,"TellFull":0.448},"bench_first":{"seed":64000,"seconds_per_run_single_process":{"seed":64000,"qt1":1.593,"tell":1.75,"lattell":1.597,"latflag":0.83,"latport":1.295,"tellfull":0.373},"note":"first arm includes loading the tables"},"arb_retail_call":{"note":"DIAGNOSTIC on 32 choose seeds 64000..64031: each arm's call on a step's first own trade against the port's hidden path, read after the decision","LatticePort":{"first_trades":221851,"wrong":35991,"error_rate":0.16223,"true_arbs":119472,"true_arbs_called_retail":14250,"retail_called_arb":21741},"TellPolicy":{"first_trades":222439,"wrong":493,"error_rate":0.00222,"true_arbs":119388,"true_arbs_called_retail":70,"retail_called_arb":423},"LatticeTell":{"first_trades":222258,"wrong":426,"error_rate":0.00192,"true_arbs":119121,"true_arbs_called_retail":39,"retail_called_arb":387}},"lattice_work_per_callback":{"measured_on":"32 choose seeds 64000..64031, LatticeTell, instrumented run with edges bit-identical to the scored rows","lattice":{"cells":121,"cell_bps":2.5,"kernel_taps":33,"silent_step_cap":30,"worst_case_multiply_adds_by_construction":123783},"callbacks":342708,"first_of_step_callbacks_doing_lattice_work":222258,"same_step_callbacks_no_lattice_work":120450,"per_first_of_step_callback":{"steps_diffusions":{"mean":1.44,"p50":1,"p90":3,"p99":6,"p999":9,"max":22},"bins_in_support_peak":{"mean":61.38,"p50":59,"p90":74,"p99":78,"p999":87,"max":93},"bins_in_support_after":{"mean":29.56,"p50":27,"p90":42,"p99":55,"p999":62,"max":73},"multiply_adds":{"mean":1236.51,"p50":891,"p90":2211,"p99":4818,"p999":9660,"max":41030},"other_cell_visits_cut_norm_moments_recentre":{"mean":286.94,"p50":244,"p90":441,"p99":859,"p999":1477,"max":5195}},"plain_lattice_for_comparison":{"steps_diffusions":{"mean":1.44,"p50":1,"p90":3,"p99":6,"p999":9,"max":22},"bins_in_support_peak":{"mean":63.42,"p50":62,"p90":77,"p99":78,"p999":90,"max":105},"multiply_adds":{"mean":1299.7,"p50":924,"p90":2310,"p99":5119,"p999":10312,"max":43152}},"gas_estimate":{"status":"ESTIMATE from operation counts; nothing was compiled or run in an EVM","assumptions_mid":"45 gas per multiply-add held in memory, 80 gas per other cell visit, belief stored as 121 32-bit cells in 16 slots, each read cold (2,100) and rewritten (2,900): 80,000","assumptions_low":"30 gas per multiply-add, 50 per other cell visit, 16-bit cells in 8 slots: 40,000 (16-bit cells cannot hold a 1e-4 floor spread over the cut prior)","lattice_alone_mid":{"mean":158597.65,"p50":139455,"p90":216180,"p99":364660,"p999":630100,"max":2341950,"frac_over_38541":1.0,"frac_over_100000":0.99916,"frac_over_245000":0.05415},"lattice_alone_low":{"mean":91441.98,"p50":78830,"p90":129320,"p99":226900,"p999":402100,"max":1530650,"frac_over_38541":1.0,"frac_over_100000":0.23242,"frac_over_245000":0.00751},"rest_of_callback_from_tca_path":{"qt1_afterSwap_engine":{"calls":85155,"mean_gas":138228,"max_gas":206459,"oog":0},"twocomp_plus_tell_afterSwap_engine":{"calls":83962,"oog":2579,"max_ok_gas":249996}},"verdict":"No. The lattice alone is estimated at a mean of 158597 gas per first-of-step callback (low assumptions 91441) with 5.4% (low 0.75%) of them over 245,000, and its worst observed callback (22 diffusions, 41030 multiply-adds) is over a million gas under either set of assumptions, so 0 OOG cannot hold. qt1's own afterSwap already averages 138228 gas and peaks at 206459 on the engine, which leaves 38541 of headroom at the peak before the Gaussian filter is taken out, and the tell contract ran out of gas on 2579 of 83962 calls. A bounded lattice (few silent steps, about 60 cells of 5 bps, a +-2 sigma kernel) could be costed, but with the tell its measured worth is +0.008 (se 0.008), so it is not worth the gas."}},"checks":{"tca_path_frozen_hashes_match":true,"replica_equivalence":[{"seed":64000,"taylor_lattice":437.280047901,"latport":437.280047901,"taylor_lattice_oraclearb":439.59372751,"latflag":439.59372751,"equal":true},{"seed":64001,"taylor_lattice":476.148519302,"latport":476.148519302,"taylor_lattice_oraclearb":477.781963929,"latflag":477.781963929,"equal":true},{"seed":64002,"taylor_lattice":435.218757495,"latport":435.218757495,"taylor_lattice_oraclearb":439.009421904,"latflag":439.009421904,"equal":true}],"latticetell_hidden_path_poisoned":{"seed":64000,"edge":439.536156315,"edge_poisoned":439.536156315,"equal":true},"neutral_label_equals_plain_lattice":{"seed":64000,"edge_neutral":437.280047901,"edge_latport":437.280047901,"equal":true},"pass":true},"reproduction_of_tca_path":{"note":"tca-path published single-seed TellPolicy-qt1 differences; the same frozen files rerun here","seed_10146":{"here":0.08090180604506259,"tca_path":0.08090180609713116},"seed_64109":{"here":0.6645850682334071,"tca_path":0.5769427603657391},"qt1_port_seed_64000":{"here":436.4087645205731,"tca_path":436.4087645205372},"tellpolicy_minus_qt1_mean":{"here_report_512":3.1,"tca_path_report_2048":3.133,"here_choose_256":3.085,"tca_path_choose_1024":3.078},"one_ulp_sensitivity":[{"seed":64109,"tell_minus_qt1":0.664585068,"tell_minus_qt1_exp_plus_1ulp":0.590333243,"qt1_shift":-0.0,"tell_shift":-0.074251825},{"seed":64000,"tell_minus_qt1":2.970484018,"tell_minus_qt1_exp_plus_1ulp":3.045786097,"qt1_shift":-0.0,"tell_shift":0.075302078},{"seed":64001,"tell_minus_qt1":2.901307341,"tell_minus_qt1_exp_plus_1ulp":3.020058845,"qt1_shift":-0.0,"tell_shift":0.118751504},{"seed":64002,"tell_minus_qt1":4.204097165,"tell_minus_qt1_exp_plus_1ulp":4.217061983,"qt1_shift":-0.0,"tell_shift":0.012964818}],"reading":"qt1 agrees with tca-path to 4e-11 and TellPolicy-qt1 to 5e-11 on seed 10146, but differs by 0.088 on seed 64109. The tell reads rounding: moving the price stream's exp() by one ulp shifts qt1's edge by 2e-10 and TellPolicy's by 0.01 to 0.12 a seed (sens.py, choose seeds). So single-seed edges of any tell arm, and the rows sha256, reproduce only on the same libm and CPython build; the paired means do not depend on it. That the 64109 gap comes from a different libm on tca-path's machine is an inference, not something checked."},"frozen_before_report":{"parameters":{"cap":2,"retail_floor":0.0001,"hard":0.999},"sha256":{"lattell.py":"52c003c33b7ce3ee56039cde892afbb64e23f9b7a2dacfefb6ab2fdcce47c2f8","run.py":"a8791aa47fb48a76d62d8c9fca2d2fa70455dcfa77765efaa29667f315bc0fe3","latt.py":"925c0fe996b19fd51fb79a85d5e4dba4bc2f5453d0a156cc1e480f65a6a00cc8","real.py":"1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e","evalpol.py":"6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd","policy.py":"c3ed1b9c4682133588f4775ab28adf570ab5787f6c256aa904e2b48aa7982c2d","tca_tell.py":"d5043b18ccf47cc3c2af6ce8f4f9a71121737474a076279a4dde2ebc94d51ce4","port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"},"note":"no parameter was chosen: cap 2, floor 1e-4, hard 0.999 are the brief's and Taylor's; choose window 64000..64255 scored first"},"rows":{"note":"Per-seed rows (edge of every arm, tell label counts, lattice branch counts; no timings) were written in seed order to state/choose.jsonl and state/report.jsonl; their sha256 are windows.*.rows_sha256. The state directory is test/scratch, which is not delivered, so the edges are repeated below.","report_rows_sha256":"dc56269138c5e757522bdbd15c50365e54a44be49db663a8ab85dc6664286bc2","choose_rows_sha256":"9ed2ffa2f29c8f8a887496ac4d9939bf46d860bff845c71cd4938249075eabc6"},"commands":[{"argv":["python3","-I","gates.py"],"seconds":4.93,"note":"gate P, first command run"},{"argv":["python3","-I","scratch/materialize.py"],"seconds":0.04,"note":"tca-path bundle, restores blob.bin; timed on a re-run"},{"argv":["python3","-I","run.py","<taylor>","<ref>","<state>","bench"],"seconds":7.44},{"argv":["python3","-I","run.py","<taylor>","<ref>","<state>","check"],"seconds":17.98,"pass":true},{"argv":["python3","-I","run.py","<taylor>","<ref>","<state>","choose","64000","64256","420"],"seconds":167.4,"rows_written":256,"rows_total":256,"stopped_on_budget":false},{"argv":["python3","-I","ops.py","<taylor>","<ref>","<state>","64000","64032"],"seconds":18.24},{"argv":["python3","-I","run.py","<taylor>","<ref>","<state>","freeze","no parameter was chosen: cap 2, floor 1e-4, hard 0.999 are the brief's and Taylor's; choose window 64000..64255 scored first"],"seconds":0.03},{"argv":["python3","-I","run.py","<taylor>","<ref>","<state>","report","10000","10512","400"],"seconds":330.5,"rows_written":512,"rows_total":512,"stopped_on_budget":false},{"argv":["python3","-I","sens.py","<taylor>","<ref>","<state>"],"seconds":8.0},{"argv":["python3","-I","run.py","<taylor>","<ref>","<state>","check"],"seconds":17.48,"pass":true},{"argv":["python3","-I","summarize.py","<state>"],"seconds":0.07,"note":"timed on a re-run"}],"limitations":["Replica levels, paired on Taylor's streams through the o1-b engine-order port; nothing ran on the Rust engine.","n=512 report seeds (10000..10511) and 256 choose seeds, as the brief sets; tca-path used 2048 and 1024.","TellFull and LatticePort are controls added to separate belief shape from table fidelity; they are not frozen policies of any seat.","The shape tested is the one gates.py runs: the lattice's mean and sd into the same tables. Quoting against the whole posterior (Taylor's open item 3) was not tried.","Gas figures for the lattice are estimates from operation counts under stated per-operation assumptions; the qt1 and tell gas figures are tca-path's.","Single-seed edges of tell arms are last-bit sensitive (see reproduction_of_tca_path).","State was kept under test/scratch instead of scratch/ because only this item's output path may be written."],"code_bundle":{"format":"base64(tar.xz); ordinary relative-path files under lat-a/","sha256":"c0007146e795f8214fe489d59497e64837ac265769b09b9e997275e1d018535b","bytes":15776,"files":{"README.md":"99398b160a2ee787bbd8b7764dd40860ddb421edf44413293facc4401ad7dfe0","lattell.py":"52c003c33b7ce3ee56039cde892afbb64e23f9b7a2dacfefb6ab2fdcce47c2f8","run.py":"a8791aa47fb48a76d62d8c9fca2d2fa70455dcfa77765efaa29667f315bc0fe3","summarize.py":"ca902c473aac8be1eb719f4a7e4304b728cd195ee2b2005ec0369523d7a69eef","ops.py":"e454983353a004ce536990eacac2282f358729ccddeccfded33c3698ab54d70d","sens.py":"c642e1a3d4fbea6fa796d58f0eed37f81e9dd29a302c3e857793ffc60549e028","build.py":"e0ba02c95de733399d766ce3044258a50dc9c29d82fc6a01b40592e957098b41"},"data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4O//PV5dADYYSusBbs/H4UjIHfUvGKQh6T+UKQHTSrD/NzZKjtZgsuBVx67zrvZrztZjrH6TuKc8J8N5bP1KQ9ucInpfKSI4VOia1yEScT/M46blGIGQ33y+0KUXpqHY+0gfnGHOIVvjxmEQQrzVkLmWub/ITMM061yf+yQx8Aw8Joc6w02g5a+FoUTI5kOmr/jbBYgvnexKkS6Dhlz2YR7eQC/6FXDzr0MQj3eXfu/ii9vIwaMuV2XAaWnINCQFEY/RgDRKvuoIvcMQxRJaO+zn+5I7yCjrAIkBTQZba+ZdgMdeD2N4dWqR/DvaQwMji1nWlfI/LfHTNbHbPkOqHwgBfTCLDyqEBVpd8oD/x1/yCQRHaxbGIJbA+HZ4Nv2ihIo7OkZPUvtEMerbmnxNjNinJv/KlGp5H82nVSEUre66L37j0W8DJ+XWKqmyD6jsGLqgS6VF17rA4GFdkA6QVsNacb+1odD8Zk2MJQ1O8azbz4vgYkqLADyFZohZdy7m/OfztmFqHjU7m455h8zjhp5m0LTWEO6Uf+9qXf2yKL3e6HtWB2lIuQkrGKoxSwwn83gEiCgF4Q5kRG6QjpIBiWZ3PLU/cpBhkQwIjDh9G8gN16uHtTZhjQiWmyrJU79yHzPI0z92sJO4ExZlqqPTeO1otZELzu7XO60RfONOqyNGYwMCHM/lqTMog4MPxEsYqwMqpPAi7Yh+We6aPs4oPMcBzMTZ0noaNQV7HZTfeAQy7Av6CRDlwQxsdEKiEGU7z/OoFnywboU3zNznqHpFsH+2zn4VxW9NfiYs6f2hUV2oSfLRqFWaQfKDUy/Ktvc4CHqJXpcT52IvNgK3UNcRYPjCQCh1VJINVuOqqKM7XLpClRHKGzg4BYwN231BQJIYb+6U9Vlrvu9bsmrkXDQfOr2zw1wAi3mBHq1Z1+jHNYKnfh0YMymhvQn/pTmCFOX87aF1BFiOtHZY6R0L6AV5XHflh/4fU1LMtn8+D4JAFiWBXzSuk4WXtz3FjvDm/tw3/aaUfYmKyjFCEP2HwqlJ/rEw0wPV4rJEiN0g0fifiRwcBWMu9g5qp58t8x67MgMdCiXeYWB1CRk5Y6sTsgVtEuHYNluM9AyCmReMs6l4xaDxBY60eB++ir4lmjytrM0cE1VDVdZ9hCWcAlmTj4M3WfBKTBv9zMsF1Hw+NtQ+TNtpNWQa3YnWT/wbYsRT++E5wYgo8Oz+CJf6N79KVHW2VVUgwBsT2rxMgAdQ10wCWE8U2aOx33rNGlsSbYw1HSkjXHY45vfIbzvngIjoY4SPkA4KXHLICLPzbhLASIflstcAM3BtDf6X36ZUPQ+ke4lvuQu+ZCTjIbmRzyEy6AeVm7RA1VmieNXNiwmii7Mq2+zr1M+a1Mr9K5P7nI7SURPPKze7g33JpWjY86R25vTRyz51uWcVjFVIufzs5YV/ydFlRUT1nvPvPY7vCJwxH6qg1zmig3oHMrCld5zreO9Mv+n6liqdOpTvKUPt5PBraE71UH6lv/DcO5jqQB3GKqtROLASXIsub2Cd3WWDJG2jB0FNM9luAaGvILppgfi05Q7fKOET3Dd9zw1+Or3ufZyX+ogQuv7TZHk+XYrdP9KzFH+cRznu7J201MQoMJJQ9HpvD1VFa7Y+cMa8TiEdsSKxpzzO7iwzftSpMdELOpcRncPM0bZNTbkCKvFhiDjkP56JD9MmHD3ypdO3ROxrh7OrwUqphVQKlEt6CxODLeS9cu988P3LQME3VEXxPTQaAXRgvlhwWAy1xH9h5vnoYITYFJzDr9vIoIXQ/F85nOOJ3OKtfMWt+omwqztqx99U9QHRuFRHGR4uqgE4olDl7IebCkxmcNif8IhbybLoXfLql0iBAtSRWr05WSmHudOf+DIdQVIftQ4vDsCu5sWk8UGZ/suXlSKZ34PSYg1uY/aB+2c4wrG4qF8c4XVDpIYWtkgy5rx933fPXovKZ86DmxGKeWOveTuoPMrQDdFeM4/U3d1pa+EVuBnVTjgzHn/4Varqi69JCPgdsMMEOGwrkb3pHxtanXtcuafDPRWmCjGjT5Tsie7OPRd6kVAa3T+SnijYm0DJPmKNX2M5VelHXSqabgm9v7/VSxhUFn4VkFBGo+BH7yBhERlkRD7rIdOmog94BxedGDFwjtYlPfXgc/UAj/7o9PGfyNS2TLuaPDYT3odU9bIkJxYRlqLp+Uje832+HHPaZ9AZFGnazS6w9qrD7JPfs7CAaDJqvDkDRrXCB/16GuZON3PqBLiQZn+Pk5PzDVaFCA3w2sdcKlBOGFqemg3G2MnM8e+kVqHnxJxotYLkBfni3ohYdKY8PlwfgcBPHre/baW08TdqxfBEQhRYr35Tnsz+Wwkb6XpKOeF7UA8XiDcmrJsTMAplDsbeSmNHgcllTtX+VUlGWGgOEI3Kx2Tne/WSrzl+/7ACwtB/dxBuUQrMRl/2q8Dq8B7dvIVsojiZydiw050GM/Pa6+DRvvjMeEYu8QpbxiF/6cxvl94kAIghST6aRCnEHcZinzMcXF33JenIhTO7ZzpIc7FwiKFpDMcniGT7JW13eUMR1FWk90nPk/AHDJVJWFDUqnNmKlkGBE3FihvNblV1B7ZHY31V8ykajVipNHOvIbfROoloO8MtoKIH3TKsANuot4kooA2ZXtj4Vjs5SnxFhklHDeO6dVsHi3SVWyd8rsYXe2bf73Hh9+YM2RE2h1QhFpdxgtggZFJfesMPjs+YgX+6ChUbwUyXwxs9kTCGh4kpOGf+OSed3LoK6v5jeuKwNU291aJdyTwBx8k9ROTpx2jsX8AQS0oS9YRv3AxAlDeMX2vYr6qNLZeOHOfThF15zQUB5u4ailj6AHYEAi9Vrk+voq1hVSoahC0i7X+qJnI0RO2vVVBWMtYcallLiUp/PxJmv2G1x8qsrVqreGB0YAwW8ZcT4ylPSGteTGcMuu1/5w+pjJgvb0NJatv1bZ+JFgcckht7C1wRc4jVi3jsVv/6TAYbA/kILrbSErM5pio6iyx9SGO2PPOm4x5tpPpepE17EeWgeUC41NGJb7S9pu6mGSCjic4gTSb6kUbJ3q02HNkJYJB9ch1Baqbfq+V6Wpp4wMG9kbOVOnTaPMLw/NAXQt+lCZa2AB0Ksh+yBq+ujjFnTH7f633fG7JwK5WE7FTFiiGoVgRT+etBlzonmR5uYipBhjCwq04Zit/l8RbGfH7rxXmzqtlXbn1tBtA6Z1/bgREPKzahw0dauYllSsMU2D/Y8BjISS7UqWDhhaLs9Gn4vUi/fyH1bWTisVnE+JmNjo/09HjAANVbZKtMdsNHMdynkyWLQiVgd6ZlMRyEMGmq3PFWlTRy1QPoUL+xkdW7zTdmiVxuU6GTl6Ym+BDftEiDsjDZ9Zs7uliH8iAZnaiywV55YJM/TVtEJ+7U6NP2Qrw6zn9zNc3hmbuc6DvLaK7JhccXthRCzOMIdamTsIpVMDrHtTO1+mMfnd+hgImYec3A2BKj2qavhElUZb8ZVX4VAqG63VPYjy6S3VroIMxUXT8Am06HWELino66JWQ63V8xNIlETxEpVor4/TPJP37eS+EKZkcXtLLKcDDZnx8N43iabsSS3AAtzfitwRQ8L3Apv6gCIE+8cQgF4qTB32Bvulzc5eFjkG2x06zGec29u/Cc//RoLnWYWfvHxQ2s0YWWgKqGfmLqfqaFVh3+Xq5xDwpy89CTB+7T2nJ7VKH86EAEpO5eNoik09LI1lc3dcYfD7rwc/FTtC7mKQJsAN06r+zNdMsIsTnl/9tWCb9fK4VFDeq8vtMrZdcqw7E9tff/1GISV7GxwvxaRAUlOQHH0NK93L0COKi0QtmZPxnt/RYXwlhPmWYoyXAdXSJQ1QZG/kLKbtGmyYN6dUlWbMU/f0B/tNiloV5o4Ky3WGHb9Vr/ypSH4vcOo5kqT02CBRrqh0SSsIzumqSP5i1kwbB/CjyGIz+ZlyuNaIldIvXFzVLo+94Eat/HU8sYeDqF6OEna9KV74RGP/pXG0eItBRYtvzyCyS7ddaR5cdZjkLtlbsbdCs8Fr9iPWgdM0JDKhbDN0m2+jcimdRCvh0wpofUHmJztnD7tjp/Oz7iY0l4RnxB0Be+SogUTSl0ZwOePh8/OtgKMTbUwotUQTKje2usnontqEUMM1wpyvSf2phEHqy7BcKHQk/cTUNUzY4PujL7IZEs9V3EU76hWOccN164bVs2xhOos4S/fyYW5rivqFzsHm6lTjc86G7TgoVYyRmYqe/bQJpr2x4BqFjLgoDSLpWiHay9T7cfKvX/zxbRZOFjF/jYzjGN1KLlVJEe0lth6xmC9q+0s8So6wKD7pGCSwvxaZJ/HTEhjplZZAtwb15it9DGp21tkuZtRspgsC33utmufpmixn4ylYCYv37IARoRxES2eErSlJU38KRXraL04X6FavrHlEMoX8DtZ3xi99ixDmgIE2hhr3zNENd/N3/zKATP/uyODy2ff7gNDWxGwWxeFjXioJkaEbbutk4fFg2ciKddyTlr+WGAOkX3GIi6s/HPZC336UHPiDGn8L6A0xYdzySZV4vNmFSCA6iJWl4QwwmH8xo+aUBJQr03iRlBrsD3NerBMlf3nDA7uDHZ/pZG6eIoDn3JHOJ8w2Io7okLXnM4LYDL6mSl0FAuGqZtFTDQy2Iv8zWFxLZjTlPjjci5RCJEiwhX2b1EOFg4+5jfknCuqWsp1ZctdTWk8fPfmJ82zFx7LTYrebIyrQ8gDl7dQSmUv3kpTjny2+56quBtojCb9IIQUNz4sgMN2VLMRr+r9DCbe1XmaxLGYERJcTMqJs+nY5mkBP+W0TimhzXOtB9V+QxpBTTMRpYBAc1lh9zLojlKN+Ry+mFH1xBV9VO5zVsSimDhHPw9pt9kopAIW8mg97uxZ6OdkFhIYQsOnjnLZJaCDeg6KlDNTb09snSzVkVMbzX6CHy2Gfh7m3U+IVbz682De8vCkfG8cwQNVckkPz0X8nooq2XDeTG7oAHDR72+akTGsD9SET4e5sNzro0uF5t3yW/EhDA6C4YIgX8fdUzmGjs37UbjV1QC5O6U+eZ0AEJ4F0XeHZqAHpFYDxj2QHhafTztlzKAqDFvyRjB2Gq/ew89vk3BNhRCOMaD3/XoJer0hgC5BusK6Une0pHF1M0dsTXYCAh+NG1FB+wLYWDt2pDi8exoCBdXq3haVE6j+2UvMa2EYMBwDsq3HIBQktMhxIVOF1fM56yIB9nW73MbbDvropkyAQrfGDeLEHQ9gmDFrl0K14XsMiOX0NmM+LB/fPovXBScAc32muANr38RavJfwbYy2QbBqYho8hejql+FF2lwL6DNw5G/KxEQJa9cCG2d65AhKh8pDs/w79hnbGau7346escMA/+NiEWwu9wQ6znlV23G/SEwA9fJMPPX6h5QDdM+ooBqeG18TiHp+45thyX0A6bP7bmdEvzAxWzS+L7tVa2zQz3B6WA251pN0vMOVxnHfXlQzFFMXRSSUBA1nSKyJXi93Fj2zSsmS9jtfmB0E7R8Ae1Ip93Ck70Eo3KAR4kAcHm7ke0PkcIGYKg+x4UhqV/zGYafr8qDSj6ziSep6xYP9dHvpV13Lyl9OW8CVpxsTSDj2l4k5xUgcz4E+yx+yLTnxzceTm0DOjJ/FJuiY5AvvBuCIBDbnoQlxv8YIif45qqH2Ydz13U6VfJZvY9kKDQAWIU6UUM+sRVjeU9v5g2zq2vb31K8fvmoD6GEPal6eyjwcuU8lijXfEDjBkQv/iz1KyzA5mE2kBTq12p4JJgcvMg8MwoQCaYqs1+g2tJdvVJGp1riiZrpLAYz8Q2Y85BZkO5B7/F3NPN9Ntg3od2qsTeQbZetNZ2S1PRVH7FdlrvhtrvLhYhqUKEKMb30Ocolne8bt40Jwg1m7pnR9IomTEywfwI8ZjtuBHAcscFhB9I7C6vcb2r/TfHsJbCecYTie7mJDbXCJS4d+uRWSCq5uTewU2xLOvWWENPhvAh7d1l+OQUaGIZwdqKbDCaK7+mURBJg521v7McSEze9l+4+5QZVHvei/2dbT2AuBccL62rlzq5M+97zrHKBt2vh8gu6trYvZqB9zfuL0EOtuJPTaHMv5+JX5+auYhc4GTKUGGkIhoX5dELJ6DR1+2HpUJkcP4+Ab3wG8rvNFY84wgKlWboesBXxsT6UIuoCTS/i+exu63NcI/kCr4190RJ+VClkjWLZ5p3jeD3W3wINYp0RPVOfgvEgYXs03+K6M1UgPkbqFGn98MrX489HTPMqvBkPU6v2zAhAFE6qtlzfEwxQ7T2Xp8+80z8vAHpkW2qjcNYR9eJdD7zEQIg5809dIpezHpGbvQd2qAKi2TRbIdnVfgVRAzvuoS+/yslXvv4eQJnq1YvCSPRHE4n+xbA/14N6ypLcCYazYIBxUoTJ2LvY/+TFt+G3azT8ICr5n1aHvha4IEOpq+vPtTeHn8XV8lsAX2datQTsEvv8qxYymkbneojllkh48rfpZG7TCFs9GJYH7lVd2pb183dT1BRv7ct7aMcH5uSiTbx5t6rqDMULZ4uXnVsS2r22W9+G4wEYLAGr05B9h0vYdv+7DTgRGRZG118LD+qDB7ozF9MGayR9p1vx7ghjU+wzHXtgY/egLfzeJCaJQX7CeneQJDCfgOe7hhTKWiRE9CuXMN7rx3/IiYADh/lbzMvWyvAx2wEGNIqWl15Pfu/lUIKKDA5ie5V1iqQnt52CiOVebVs/i3rD0h8zxnjL6AazaWDgy2QEVtamncHZAN1flPIFm5tEgM7vduPHfAeF0/O1x3U6SmfuR/rQNHzmqWrR5M5Us11Gs3+P0zksHlh0Y6wImPvMRm1zb0aiAJnh3hKukY1J/MkmC5uDj8tRUte9Ta0ZIzgnBUFoS1K3j8KFreI9rU2dw7HVW1vHwr6EaS6FOTQDH+tr8ZfztIUqFfhe+xpgLN45wx1j2VRxLLJl0383KtX8xO/9w6QZl0V/9HIPckJKr8O+Zty2jzgoX1KFxaIfFiqpyhuLSgzbGwSAXDFwnjV+nUJtM7U0PBI27ND6rqqIiqhnnlHH3w8HH9u9UyBCdZvRLC1AYoaj6w38r2OUaXlC7ImceO+G9XFiFPsTOMX+PwXGUigRm1fcsTapcFmM0Bb8JiP6vucTCJ70JauspRV1IGfwgxD+DNFKaAcv9xOMSwgXpZaj8LBPHzU2zb/QXIxrr2S/r2KozG7VIUkv9VzCwwd0aZ/0mh9kU6i71oPNsR3+UNR7TWcGEjP4mWpuFUOtzZFm1RF23cwWDZDGm0fUrS468yI+UftMI8G33Y31dDE1og1YtuWyhtAaUVlgWDt7zplPv/DIrxRLMu3SdtGMesZ2kQGrpqyOlYhIlTpnGRK5Jghf8FIrXA39GbtI2nGtuRm+hFrWdebcDpnKWFqQtjLJQjuEZzKTDQylYxOUvSKVMHjqA6w2nL7zL9ZArCfUZdnuZT6Hss8gF4gatAwGN61XSb+TyaCJQJXZphNmXojxPrOymf92+jPWvpmA/s8NgwNtXDDXKcjJxdHkWdP/A19z77Xn9o7b6dLZrGvXyih3hQnc11qAy093B6Zv/Xo801g6RgoU8KjhftXp+FVTyvPaTMpRolUCpcj0zyoWnHb2aANrT2dcc1pFg7Eo4NFn5MbtE+9mc9npTz0Qhj1UeXplKdHS8nFD4tFbsvRO/1moebMy+7FOCeoTjYEh4kBQe8HGFPEoZEXJI5gasdkevbkTo0rU4+jKMv5/vHsIMTv6IWlJ2Ofa/RTut44tjQQ3pAHteXQgca54L1sZNGP8lAQBHYKH3HzrnubLOzcTS3x82ct14d6z5kJThanI483XA4fOMXVGmoaMtprk8MDykk10udI2kyBW12XtEyxgFsLt/oWpfTYuX4cSEMCFUTNsjGgrpG0pDcBrIvF6FPSObW9HfqsXS6BwaU12KdaDumWuWLDdy2Yv9mv/sCFTa3f814qAmNO93GIHBzeQYYwPYQOeRdlnnRCXtMiVPYVwSE5BjF6o33d7JJK09FNCIpVIrjewssj3neS3v/uGOEdGceA5Ry6xxUFSZ31OwHvUIyG+BG6st53a3+HdY41U5Kyd5Xf6YZPY/7qZGXdvhbJWUilBS+V37DjB/V1PF6XPsQcToCzSqnMqkRA2+7NyPGJru7I3W5kuY2MuH/4MCRmcA55/TGnDFsGYGcwVVpVQCR3rBYkPSW1AZIbgK1Wx8qgZlDhya5r722r9GhguU99dJhrKkCjFztum7ZzzzhyN/NpGwbfwGhrTqFbVurSE0U/hQaUiFwtpNDfxGOKuK+NfOILl+nDTTLqcEp5U65i3P6szfl50EwCAh6KqljPgQuH1ch0wUxLnDHjAejQHPiKMttYAJfdD93KjEk1eMg+SyzIGpL7qaBHKpVYDbdA507AOK/cyYUbV5A5QVkZ8jcf+p575pxCm0Y3R8eafpCZF3cSKBcWbZ176yBy6sgbE8rNEkhY4LEPkobVsKrWrZLWe7Dmy2wgIdqnBamCWQCD3cMVUv8CKKKQNYmLJpo7a689mT+yfmrWBhgyGpLtXdeWEPyEhU+RZpKqHMTVIbXmOzJgVKmNT7GODn9iWXSvH73wzU7EUuiKTOgVQYDQdzijDSaklYbctbgbGhwKgrMxGG+raY5GU9pxj4VO0z+qVeSSM3sKlvn+AEGJttMz3vP80Ln2VljhbN16u1MME1jknjxoDkehk3HbBOczkXXkABxHtbbqcsSno6y/2ikvjZVzqqP+1bnxdZk/wuoyHabSZ5e1NOhI/wV25qdm8m4JeuO9NkdbJ/3gMM5QWBucC/PbPEd05gYbrLPBf9GnxsZ0iBsHXR+8Wt0Wr5tSm20K+CWa10/GScZnSwg76qnJ7+UOPol7DX081c5lQI9aKfpPbMBDrNWdXACDCWLfv6Yxd2rVHK58Uw5Oj4g2LbejMs4wun5pdALRytq4zVDHsFBNtgovpuRD1VKrAAcpblGWiiG6RRb5/jvpX0HBsWYy55XVmQ2zTbu0UpmgzzxUmoSy8X0iXEh4JYlUujzDGPhrBv5poWhWwl18Q0r1fP8xf629Rk0BJQ0SIDhFlK2RM0v8FRzHlxs4jNBRvkTSv2fOC3/61d/1eiA3Xca8vBppV6p6iMsXl3AAs7jS1YapUQ/cn2MQuNnrG/M+wyJqIQM1Jd/979IMpZAmMQu1OEyZ1ath2irICtKKI1qecWoy55c9RClCafnuNtioLnetx7nt9sAAC99fhkUUrfL1rX2I7DFUpL0hl88cLHW2XA8bMZIIBY6q+NaGge9dCZnys/jSglDdH0Ui7NLEYcrd9SNp5i2j/IkvwOEpxJ60TgXkgs7hZoGBQHVuoO36YBqFYFdaNvPRhEAogp24NP/9NCEfp6SleNGK60E/MD75sxtGVoGoguAB8h1vLj/d4x19vdVFy9Fe2sDqH+tTA0Nol7T6knlxIyzWDUnEsRjAx7DDbnuu+fpOHWGILj7vEQucmn8Onpdoyen9UwP1eT0iA1SfwaxmA5C1bI5pjQ/kfHGPH+HXeW6uexLL6tuSx5htV9N038jUo8HeMy4UaXJbcf6TG6CTgCZraTz7vV4uzceEhMr/m8EDfadRu5yojDnoWJOLV0KlR6n7SqGwo63YRZm6Ci2fg69hM1Xj+XZpW8JpIntAgufLxsqf9bxBbew8CmsvuFe6Z/UGaT5ZYS1FotxW3TAPn7lfBRGPVEnR38d4HUBkMXxXxBIF88MWK84lnHzH3M9ksOx23jq4fKYfdnPPMkOwZlT6C+Tp6oCLKnNvY8AHeI+hnhaJnLYtrb3SS8OD3+yex0F1Yu6O46FbkOlK0D48i0cwJxL8V+4aQKEIAKVxn35WVW0zqePooj4S5ibltnaqlTCv2b47HU4rkbcw6H6QU3D5Cd6ObRV2uI904v9QbKLrxNBbBYjhUOlMlZYDGsIac/38htgIS2/ORihF0gQ17H191/eW7QwxbIslp59x/ALsdEigPXUufMmvBacYppKDBHFCXvxVmEQwyDIeMMVnPVNXGhAgac5vpokbF7ZZFK8Kh8VWeIpvFMQqQqkX6PzgQo/H4eqw0+NXCywHOkf+Micv/0vUfxyURppMSpzgGY88BF0pdtMoLAn8I/yQVQ+P93vyRW9POSyfSh4az8u6FwsDDlsUbVsh6kHswZSW06ld8U4SopXbDDgcvqKP/J/sgRhZHSi8tzjviayWO0Llk/XPzVyHky6UR/73mzrSHbSc1Hv48RdvE+Hs7QvZGJY1ytOm3WyHxciVg0ku3pnCOF3D915T0pNGTzS4qsm7osHCwlhzjA2NtMu3aXu8hDlN3v09zHVkqvecgR64BxKTkqMUtwiRqNBw2DUIrmj0uYSz8YuEe0rtlrpyHqma7v7ruhE45JFAqBYSiZLtL1TuBYZQXxDW0DAtyarI+1UqxVn503QlRqLDL8F6cNZRhrHP4jMHl14IV4FAY+irWMmo+By3kMSEq2t13g7ulCwsYhuwmudGUsrGcVYK0NVC6w6M6nrwo2ZnXSGKGfqnxZYTFFe1NkrkkGVq0cHNTOJYbbj/0OQEZvfslD+IirBYoIyklVA2ckq1aPM85LAp4X1ReHG6LjDs17xjO7etTZ+0Eii4IuyqdBzazwMbeftCe5SOYNjArakwNGXICKBLmhfBYgEHIj6qooUj0KSbqXx79EbwvwnWHoZczDsYe7mji0TlVDuW/ETRak6OVU1s3DBFVzB94ObSrgYTeIIvCkXrcSpeQ0aT+8V79eXaq6pYzqgdDFDI7CtsLvUFx/f3yW7CXeVYGsrcBUOutKg9iTjgvynumDKiJCRK9BZz3K4Oty/FrPo9sQgE9JhA3mVs1KJ/2jkx0waLwuN3whfY6qbctw2/1Yd5psCMm7nFBVYgP5qMyX7adCbjvzwyBR8JI582nyaPnb8j3Z3hAtsO+3+C0Tn/fekwCLVrUyMeH64w6nWJtViAWVQ0oE602/wsoK+8m3eZioAQYYMIuHeHKIRtsbCtR0O4Iqlu21+7UCnkTHEvAp4/KGyaV6xEGzc7mgAapb3183Yqn8HKdlwHlpjdvcACjno+X72bgFewkE+bc2FH2QPfslsN87HwD1X2FQs4HZEqmlc83M64gs50TfQS+YSpCBKAWmq2PBJmHa2EwtpqxFnCt/OdGZp+w5meXYxqZ2ONynORh2YR3VPBm0hqwfNPWxOfAb4pAPcLlK9yKwAUVCKsfT3mLHV0fGO6Mf9fuewFbCcGLjoJn72p2SDt012zd+3+Y/4pmlaou5v0epAkgliJNYRtRHdYWb8DEv2Wg+Pttk0IthMDo7mpih5UoImV/h8yurtlVk32Ppui9RsKSmJRIgG6fsx+h4vf23XrMjyUZh60U6c49OgBidg+7X4MkTCWo278YN2LrU/sHijh6qTjHAsDogHfMtie81Ui1RioBJ5cUihwBSZEeVi680t561NRXrYKYE6/DoACypzhTqbwuy/bUelV1kjbPzAoI8wsmpJaqKBB8tHKDfn1VvCHXqx/1b9NseRlTJB+8x2rnCuVa5v8nZx06bq7S/ntcpNRf1G1VsaJ7aiwaVcD7EBDBoNvbD9kRde4mebYb6gdQc5qiQ55I6fpz9krB+z6BblMLL0wFdAHnDt82pHkUDYV1UZ7AGSugZuPF4L1xlaoGyMtPZ7NH0MRnuORq9i8gFn/weJbnEXEfZz3YstM5c36+w3/sZM54LhVrOiyF5TB7NQCLVUTvHWLrZS9v29lRVB/vAovbSCBFxqRuI3XryMlJsByWmf0BVRLnE7qoUdVqDzm+85zIIi98SetduowpQFQ1oYk8/aUJHJ3mt0Udm6lmqaVEdcQTr8zZA+qdRrSp24YWfLJOgo/M7NrTOK8dYCQUU3NAzby65is18rlciqodot2CfLa/73PTPpBQFPpop6zwO9jsgztLGj5rRxAMfviptaZyfxj847GCjAjT/w0UxU5EX2DSwbRTmOib1PjdCuhbmzvrJ7N4DH2Qkxjw5H5ou4kvoL6LfWAfyaO4xtwhrMd3dx/eZlRuCrBuI2HXJnG9HA3OTjOrBk9ADuitk99S1IB/ExprbKgu46ZKs13KM5OP0+RxsqpIglyIqYc6nkhO25p/jP3CikbtYDjpYDfwbWrbI2OVG7hFhPZBJwr9eKo/D2FhBUhK25kfSdkxjTtSVb3Y0F1ao1jkiREyIWc5a7/xLIsgv1X6X+WZ258O4cu/EPcS+/nT2a45VcXPwQuCIFw4nagJYJ/igsON6F9GfJLhIqpKYn2TXxXRIwcxCX34/yha7ACqcIT1V1HgO/NrUtagHlNm1mZ4+wgqoD6hFXO5urTI6i5GUnad6zoJjKub0IKhk6Q/nyM/g9l/yNuzJQoWzbp0W8wxG7OYF3uwf7O929T2XGpPwoKB4nXbCoSv4Sr7lV2Bh25F3WdfIh16rM+uqWqdFomuXyC/pJHTx8Rlf62gkXj3AcU+MIhUdrgoBf4SUDfmSiC71tAuxWGolvnxrzMzr0pi3QMMo9O4db8xu6+Llip6qFKFBZ1BSwve73V5hgiV8Dl7zKmOx+HNe2yRUAPhQpP+9MpjuzZAMpncOek12VQFJRLNh64gC6hbyg8vSW9gphZk/GUgTHnvYoZ1s6rMmK5LgMsKUmSDUX7QAZUhD+qdul5IErlBXQLqJL8UyL+J3i2HidwjIMrV7mD4BaGUoxPYi+8tpSdPTfDda7j48CwMfrNi/KqfDTmVKSZE7FeGZFyATNchXNSyzszz3R43sr9OzrIMOC7h8vuNLUtJ0FkLEc7RznheZQsPe/66H3pvTUiRQNpnhehZOGJrudRAKrm6X1w5bV3GhESwAS6ozWsJ9i/8LvywQ8lClAYYQKTt85rZ6gwIJCwW+qvIZt1aPAkRFIPyp8evTVBP5hZE+JOTHuDxIP7kOxVHJOQB3aZaEaFR9I5ZWocvQ+7RvKV1q0Xtk9nmSl0eesm2s8jvqNLk2bbmEXAMmsdwomZysL7fDDYgN8NgXwU+k2z9MFtd5mw6vnpivMfTWXXXwUTH9L+KvJR//wzWiHnVvxjDtP3KXcdKUxLxtGd4/A6FtXZziiO0wHhBB3Do7BWLN1Nn3YG0wzpTj11pNZhkpE29sFBr/KRuJFAH2nG8Of9V2uTWqhM9jQ2Xnu9TfL963T+Zrl0ecC1sDPI8BMMewem8nyAygq7O95Wa76YLPqzFWXa9Jqa/56V+w+O44OHSBKvdRFmR65cq2rf8Mcg7RyYX3nC8GuBcCoMCrffLmj4F08tXH4OymK0lxIk9faXqY483+sbphJq26HAF5yiz3HUWOCM6Kqne5x2SOe5VTEJRmJAW/+dHf874JgcyQ7Hum9jZORJdsK6Q93rVbuDZfBMT03iQwE1dcuefdhZ2gjuruO87PZ+oN6B7BhEXLFVby5p5hJxebRXD9yv4LFwokaTVNIe0IcfkZIiQqlIxwVuajOO1hgLofWFUHPoG+PkED5a0ri5693pS35WWLMbuYg7Gv4gL2HYTmwjz+i3sdQ90gX6VypUcDQ08OzAB+mZKbRg2xm8EVGHtlLNsl/Rnc48ESJlx2TcZbZJre8IvsVDNtxAJv4aa2XS4q99DbxNSF3ALtY4tkh52hMEf5RD5Gmsuuxxrl0uO/dV8LG4Cf67staMiUnnnFKGE8DQgakCpsMmXYEqxX9cJFaA4Z5hhHNofriuoyHqMau+v+uf7gu0p3xesErKsmTlzK+ooEMTZZGwCZOewcJ/3ZuAf6CBKWpTTPBEBXw9OSC7ZxJA20PgiKCAS+cSOIJHXzHSPVSxz6+UkqM17cu8y7NvTXsuz3bAKQtlYuucLYafHd+FCG/FwdJUP+vtZHb14b/rur0EV4HZSn4K7RPhlKzedP0yGbvezG9k+J6teDkWYxjabE+EOcC7KAxTVlc+OdOBACyVEXmUUGNYFL7AxUNEF8sXhaEzJ3iRlUUqKRDq0Ib0+1mkxJ048nj82kXstENcCFcB/5eOhmy8d3Dj7QArJ6DmeOMZfUYIE7gd1PlNdzGcBUXmuvwn/s60DWUTqiUw1YVAzbTA7ukrl/MDDbhrbvJ+4fzuc8khvD5uuFAB++NSwhmc1YdNeiqtIaUHz0ePgPejFTCWjKMyWtFcwaGi/Ms1opTRpM605e7FIJrhS3x455hlz4YQIKrKycGQuaARfOQ+2Os2x9a3v4wyWL6s5BMoF5u5zmUdktYjio26B/VIgTBwvmRgzdc9Xd4Y23xEjw4eEJngynJhVc8QyED2Ekh7IZzaZYmFVQSmKqr7GE0fceKDORsNK/L2XfoPfbD4t2rqg9XomsMF3R06T1eDIEsmHpmY/unaQZOfY7A9XK7rqwk6kVHys/K+hVyJjyLjs73skXyCz+E47HHJ1pSfBMoTGL1GIANiRvx4gG/m5PTITjKjFMTCSlybSdyCRJ5SvR0ZXWBmzNd6b8pOKAGJqo8I5kmiaewrqcy82c2ds+T4FeYK/JwJDjDwGGIPOaDui1bjcTKhjYcDxpwLjMAQ/LgYPyEHvyauHJIL9my42IShsioR5L8WV3SRet1QE04GBVhVxkSGmuxhDXHymhM+RHxQ2tTFvL/ILtNaWjyp5UqaHiYWpUltkgPjLQoHE+CIIIdXye9PCf1pfjGktrWXuNcPRjL7vzjAYTwK112dxBOEpZsBfZCT//SyD3xTGDZ2wZSgV3q2xEeX3sVTfpcbAAm8UoWIcXDg+I0VBAYJ+YK9oq1fQ8+YQDGOcIh4WwAfHKMKJZZVuLn+nz1fcFgQFyP7nV3s0GTPHPDBKutSZdJY6C+KWTRB3XIeS2MKMIEqOcCWP0Jqwms7rCD5qRQnCbtnQPgdwNHaFHpTeNs80btgTf/TonuIi9qoQMJYbO/kP1o0Q9cCKbjLb4Ko5XywQX4SSOIdzfj8uM9oaXUY15wIozfwlHW/KKD9+1wjZYGqWfWOMTX4tKukXrXTzBQsWngBoMxufEw20o/9LbV5Zhwbo1UnSWCIFN6O9PkHaKYWZfaBEf6KJ2NtEZV0Fkc/7Ueok5mKPMSl6Wdxuw8YOAoavubNFo56/jwsqFnfmlHO8lHQL65Et0gaH9rV/aKGyDyEmHoWFEVrL+/s+mDBA7zdNCLRzqsk7kToEePxv+hmqRE7S8K1f71KlAO9hvVz9P0YW9+xEB/PtbVk6gXr8W6MtjThtVU/zoze4gRdkAII5+otjNI5Ftnjpj4aeGzeoshwcSgwneDaD+9+YPK4yiqeleZYMcmUcAWg2GFQumTm5iZmQCiqeKuznyre4Y9LTL67pDetx6MCzlDZvFdu9zQB5u6zgm9nZ28XmWMiM7zv32saF1LNcshWMenU7M5GZ3mOrKym2sWtdq4jPdZHUI0oSRQiUUl/2DytPvaGFgaRkRH1BgX4IysB4v6oXvdwOUo/hECjoQsdR9nUkP2jw1Xr8Nc9/AY9esAh1VZfm1jbU82gFCqBj9Gohekr2OctUrmCnmuvSuFBHKFewKFBzwJRo/MnZDsAXJOUKjoyem4hRMJoP3hapDOCm6/xKF8o2Mz2nESnSjhpRxXhQalMDu6uNw3FTSugsZwFhnrSUakDnJ1N0pIG4Dx0/vg673InIIvk+A4RhDOOKFT2kYxpaqfBmp1FMdQyKos3NgEVcwl1nVfZVQiZXZwaDhGxu/aZ8fwydkGtQr1ACzC8HAGTS0+fCKh2EE/b2ATBYo213GD1Bs6yjcPaSX0pmGyvWtgBFmxwdjL6BYfBXR/0LpSn6LTuk6LFVtdX73F4xexYNl+VGDhlo2fcA0B186JLdCkZ0rkJRtfDKoo5DPMG4JxbpGpBQeVAAjOY9DC/2g9PxQZZRV0BSKtbs+LnVXj+1Rd+pkiKH5iHCFvEAyUmdxpeV1RqvlZhxk0cBLjb7GyE3S69XqC9xmyOPbs72q3HMjWXMB5xH2cYi23mPMHGiD+03yWsJnhpoDirm5Z6FNNw/9Kpi/7rWVSdirrbsc7sWh6kwXAbhqOGEGS4CCy4jkWwf3955PdjMr7YluWsp6ZY5ql2Cgw6O46erfXi9tzodUAg1c0rJibXENAO2wEzQ8rNjIYPLQN2WByTZbjG1+XvhLq2m2I4w+Ia+5eblo0pTWaF5W+nR5S2UVvp4tzXQ6jKwtkZwsUD/NjLO5algW+XIj1+d3lTE0UNL2LyE1X98CM+YIoHB6Ny04hxQ0Q+/Q3uln1JcmGE6kHS6SuiFqOJc8MU9hQE/kGDlgeqLgviLcq7i/5DUQ3ZwU0rqr+nJIojEmoYXRF9j68sei+uEQbHp39q2XA+M3IoWxXvhIqzwo4n92ZjkdX1sZ1FSakoX7Dz4c2aIupCwxqucJlatID4EkNcAbf2JKCi3B1v8TdB+g3XWd7Z8b10lJtTMjOgZH3Zgfu8wRjRLTA0Q++MfQVZ8XGCayssEVq3Asp3yA3NQdqy7YEOdo5jbM/QjyZkIyYAFegUM1OPsG5qyxKFAtZAGQIqNiX3V/nPlZCsByrNRxOOVBk8V+dF9vdYl8EgC1uD6oFyxLqljP249/hHAIlNcfV33bjqSjGMue65arD1or8USlJWJ94+8K8JAkN5oMEpg0tAVD0pUNqGRV75TgYvOpZyOR5EN+C/ZR0E4GwNGlhKPmOqozK7cJWBjamgHeeVwzqh/6nX9ouTst1ueHy1IEmcQE1kIcmR1Kzyd0PxR3njwLuHUO8/gKMePhVpI+NkWbz35BCDVK2ZCv2xs9jRVcJyAKUaROsWuzvIuKG/Z/42gsjWUiOsaW362bSEtQj1gUxaAh6vk+HubGH68a3uAd2uqozcGgqKISNOqR5qfISG6nUtAZkbwFW7EGWhFh7VNK4RCmncjI1Z+HJcSDu167xTDpEiMaLove59mqxA+iYjiDkUTyuB07rsiYpK3YIj5PYJWsbjO49/BkGaTiYDjQut121RbAeH//F5fNlHuxPWX4pqEG20aiqVqwHDttyW2iTOymNsij1GkLQKrTSm5qyaBle9Ux2szoHgkF59/9Jts5v7i6qQ3Lsw5UqHVGZLoOFREex4LIsayAwce/ttMQNTps51+63iktsw2dQsyTSvmejx4z98ibrgb3YGMIS1ubbQr10Xey+UZ3dmDNlMLT6BIIiu758yA1+3r6MCAvr5Tc9uupD4U0QlWfEH7708CenqAlF3yd0QEP2QKWGF78w+NKzcWHf/yyL6FKA10P8qpHz07xk35+d2fAsec8rSzXzyCTyM7bUoTRFj8faeNdXRgoR2bfWMs18gQLX34Idb+P73tC2eCGmXrMo1Fe1rMd8Oy7isWx9BhuY99b7PokOnoD6iRGMZ1kiBY0CkMALwxOoYp1ecMk8ifDPikJqgLLonE2bw4oAjy4kLri6A7vrLmLEBsGyEtQq+UKydRgEFn/Jgtciw21PIoBqeqos5Rq5a6vX5j5GJdkVSdZ586FGveWghoJXnRv7wQ2HbFVvhO2+T1gzyd+UqkC5F+rwyTyyv+mt0/rX4nEde/X4fvxH+FmXMKyHfHu8BoyRnNTPIrZybA+4X6bENf7v2YN6zlJz4FIP2PTW8RieuIL+mu7eOCDVV5MmspXxTnJVeH3Y/Yo6IxjQA+/kN0MlVtA19mmqA6S8payfm08612tJSn/b7EExmJSKdOGKGVsWNuwBuSyNCVsED9rye/LkDzgK5TR3zefJtdAPx/vqMfIBiq/IV4jV5fGaIX2H5KDLkbavP9evHSB/KPo4kQJAXY9ItShmYmMzDBekL3We8i71ceSQTeh17XM3lt7eKDRdyfB/RXqqLBi8iVkXUljl/D+5n6l6VHaofQtZDtdf0Puwb2nVqN3uY+3pnUzMZMkfcd7CYMzC7lEWBoTibMBpV2hMzVudMzfbcP6mffrQ/04S57F/G70a34K3EpZ7CvyhBO17CUOC3puOrKxIcd8l0FTTy/Ai3KurALX9dNNop6NoKf6e+dnBLEoYCSB/O+w/qgPntbsFIscrwQci6Ajjntv1odEnOCH+JkgwkLcWcZT1R39DVrMAF7gouycd9l6Ce/IcKV6h8s6+T6PQAvS/rOZyeGHuZ+uni7g9q3vt65RL1GpybsKPJgW3A9/6QHhVer5kYCLbMjx+NABTklnB7nnVOOszK/tlycnzdOoE80VX9aS5y2IXO1+p3Qsvs/sxIzgPHr28TK2qJrVjWgU2xJD7mqLje0dqCjjmZktn8lrmx9t7N1l11k9e319pxegXf4Cw3pC/pc5uWnwrhMsDc3I+Yz5MBT4ar2hrTZEzP6Z3OnsZ/vIlylsojP1sBjpLqMZLxB87u3r+7lUTKLp+rnmo9TYl4YRd6z8qaVx98+pgTbBv4j1jfFiMmFojOpAxDYXkqPXv3AxCu1WZTeRC21hB2CcdG4QQgNOQpBNDhi7Im81r4lLS7Jn33YhfwaUoMs/bIGEwpbIlwuHiE6ciBWDVS6mrNLDJKA31QF5gJPUUnKniNI4C5YdsgwrEkT4iX1lDQOmjKGya0vWSRqVkIWcLJ4Y2YxY8CWlmAgbUul3nMDM1kEZu40lpn02K4DKzlr6AD+8lfxM7W/6qkVqd7SSYd60Yd2/cjRVWUMvdAtLXXHrjNSutYdb+sq9kYOxCkRPH1sG2pc6EkqL8JEH74UEPTjW9eO153Euc3QDE/wYudFQP9VjDytw+3XAYrRqPmmACtihtEE/2MNHfxvLmh5YjONxofSf81PCUsvuWZd3BBa7hox69JWYvwqk/mU1yTz5vfODJ5KhyHfVSIbIdfs99JC8smQD4Ky/AyIhXoIOfYNb7FjNhFuIufr9yPGPwtcOrExVXiKfcF2SlEhLoC60e+TAn+TeNwPbbuQgkEisvfCTjtZWYeDsO/fkXEIrmlVslsT4ebSRtTuZ1/opspomEcZl8oi2Tl/VE8BK15HYYc6WawyO10/By9DkG4OZeg5baEh00IzEEArEWSpefH/3I6RZAfQPlXyG8BJzqNkFUmmqWnSlG2/xGHDL2+kh581h1YKvGdrELguRJUoHFejk6i8JaPiVSik5VEhDEqqvpTRQPmv7QsZNCD2acBnD/vGlMu8BTQMlFzcyQvGWxaYWxVFS/pFwvkob5VTelum7+8FSXsCN/qqmDKzEhGfh0Nirqg4nIqB71haVWiRd4dVbbBa8tBj5cLAv2M92rSCNOWRtSeGiQ0dlG1hTKeGsxtx3SggVrmRF4UqtooxpEkl98KXKqrxsnmxW/7RtXCzjgfzZFleTaydNI33YxcrvyqKMgkPMhwf8k5jtjikdxlY3+Mzyog0IRuGSGnWh8p/s/zX6YDR0rtZUy/rJfcH8uKRvYTCojZdauc2czhbXS2pe/HLXX1Du0B09kci++YughCp/cNTb+qjcmGp86HOQl+dJT3PQYCMc34P8dA1kEoPAc22snmWoThYCuIw1p1FsTkFKDZsbRl+qzHcHjFKtlwVQxrcvGfmQp6vqM1oeX312S4hF2Iopgx9M5EbO4u+y0dIlX27857EUwUcGzNFdvTi8ImaFuTt2Vu1lUu33u05Obfc7+dJQ3pawf8b4jDuGoXnjYgVu45Dd8pk/2vtwbiGe79pbmm1aWTC+YAIK558+j4K0QLJvdP6qTNAaLT62J7paIkeKYkIblt63wIibLkr51m2N1YC+vps6/oCO29yqsb0GPyV3vaqyAe9z1nYadTxUzlH8omIropm0UQqX8c2UY0svrSqSalXeguy53q3cXMWMo9xtpRJSlDsQ5NmpzT1aCzHrfzeDrUD0FFy8sTNtbLteoMBxG3AUN64lfE7eMnBpxbdC4nJcoyFndZi6M2avte2QT1rGUD5CN/G2suf0bBYAjguCtSfm+YO+MZjIfTKbnQ76mODP2pU2Xn6dEEXMFaQtOeCpf9eoGzNp2ZjVkSt3j/8KHiUWCowOXRsusHC11WaeExtjj+ZJZfYPeJpep9C47oDf+95vRdhM3s6FjTythq/mH+0GkrtxwWxikqtsZqptUIBkA6r8moMd0+uSvBHkSDTV60b8imGif/SB5ZceZ8M14NhHOSwnQRgkyZbzXosrwgID/bDqL8onMQAyaTasxVXXtzJxLHnnwfnaXEz6Kr/O+YpOx3H/Dk/b4cvDuTo6CzaANx3AoXAzteGIMDKa94ZEGGZ1LPBcUMRhu1IIOy3eyxVwFzN6K4jWietJf5f8GsZDCmpuYypTt9HVGvPKL1PSD7YmqN1NTP92sD87HcqU8uCOSKByONqQPFcjPJYL3fPUpBBPwcmKq4gAAGM09Jjkey8p/FwlVsNBP3jnZa1mQMYgxFEuebjKKv3upIEItKC5CORLaoV+am4cebMaIb44A6qJj7eRbl/IH5v+Qlw0jLhqLWPcKh2XRVINQ+v2o0YMgJvEA5DvHLef6GxArJpRASos8tUMnBi/R4RGmN2FtPLvEM0fjvUWVDME9Zazlzuc3iliTkFtJztZ9px4Ks01dJY6gsJCl2i+mWK1DHc6OZzsYeCZaYH9s++XZTDolWGaIwOxpHkP2FxORZQeQ8iLFBcxiOiajp1S2mTuWvAiw7gD08lGc+vMmDX3VV1ZcczkHlOcEXqar1k3od8haRkrp0LE/ilYibppsL8zh/S0Lx3/RBa1YLtgagKh8eJHkYHrM4vVJiTINR0UTm0kd7BoERZWokIZbkL7NmmgUyDJkvAH6rsKETQG9Jj6V+h4c07mP+0cw3YEOEapECr0D3ajrxnudKn3PiKUS/MtZqBW7Uhtw4EC6f5NaDUG2tlUD9BJjmcqxIirbuZC4QsPMvQE2+CmHkSNqfrAX3ND5QspvXWhPA8z8WFTAVo+dV2WvEXgL7bN4aofyUbjf5VrBFI+TtZ2wIHph9bj8zqot+8XeHOzvcrG4w+eyqVBYOdA4ApBtUnvzT54jnYZVAAAAAAS3G3uR4O9FgAAfp6gOADAJQjqKuxxGf7AgAAAAAEWVo="},"report_edges_compact":{"window":"report","first_seed":10000,"n":512,"unit":"round(edge * 1e4), seed order","arms":{"qt1":[4431017,5714545,5259084,5740407,5232453,5268861,4854711,5264999,6621203,6522154,4764583,3707791,4586765,4020447,6999393,6300074,5668834,4936632,4812949,4550265,4949370,4131448,4397959,6355569,4806450,4460929,3464183,5482949,5251325,4422140,5947053,3421354,6382155,5358899,5634810,6308791,5465999,4444818,6191448,5886407,6099321,6294426,7109431,6395847,4205500,3862006,4319148,5976704,4985096,3838874,3744203,4228563,4294824,5379446,4468553,7099538,5829827,5109107,4383089,5076232,9276056,5617471,6080399,4297399,6627017,5847677,4868470,6350399,5016958,6203641,4118773,4364459,6041360,5651392,5305679,5615105,5316986,4299185,6217123,6508608,4847148,5652777,5660843,4646272,4755048,4547821,5708704,5723898,4414735,4136167,5882986,4864694,5567812,6612038,4774502,5968641,4908948,5123965,5030736,4683922,4428467,5360280,7363761,7407141,7044217,4687226,4298287,4892246,5332383,7390926,5723558,4043111,4622499,4356957,5364057,6598106,5224730,4118759,4226264,4149347,5495675,5342621,5856390,5057250,5323533,4567063,4587193,4964206,7338951,5363151,4593956,4971921,5035245,6284949,5347764,4585917,6176518,6219879,4995664,4661191,5535431,5817725,6276886,4692971,4406272,4821082,7629969,4680642,6920033,5251012,5867271,4736084,4158945,5569899,4907969,4764988,5319820,5349548,4361493,4361085,4205660,4572030,7205788,6672529,6832940,4390444,4198816,4933661,6229157,5710149,3893816,5695507,6860101,3975639,5416761,5049449,4459352,6524452,6643901,3795556,5847241,4632262,5763839,6303044,5207915,5412779,5743963,5500904,5316599,7171184,6607728,6622016,6655649,5800293,5112205,5538594,5845840,4410758,5566120,4845739,5598121,4812794,5674117,6165082,4550259,4178075,5218060,6379891,6255199,5510874,4264312,4414602,6277688,5808480,5771133,4565591,4536579,6679935,6315354,5267936,5159857,5349414,6224050,6622320,4359978,4840104,7060699,4446389,5406939,4317452,6313821,6931775,5018708,4469108,5408136,6648056,4449953,6467506,4527091,5999883,5999869,4059147,4240381,6190539,4394499,5995579,5629736,5025576,4991517,5376604,4039563,3869143,3986595,5815096,4979679,6016736,7334530,4579710,6030001,4165365,6475635,4975270,5755547,5167487,4524190,5050482,4277997,7022423,5431724,5717774,4707895,3978328,7332945,6701626,4355377,4857249,4630184,4019437,6546947,4131026,4667397,6348409,4383790,5606240,4719125,4999676,4136266,6956419,4674661,5957246,4786199,5708656,4938046,6414322,6842367,5678381,4008169,4688219,5000238,5627978,5426284,5870226,4085477,5958579,4242430,3925903,6850288,5757587,5304849,4679521,4583270,5506035,4629752,6369797,4121984,3734156,4736560,6034575,4100517,6107506,5010904,6262483,5905682,4513837,5498217,5292915,3984180,6883768,4625051,5794733,3908707,5422084,5253854,4320252,6594383,7217373,6792000,3788669,5210936,5464394,7166976,5374915,6592198,4568525,5435476,4822509,6495203,4289417,5725851,4356550,5915450,6059209,4800637,6587151,4692131,5203891,5231364,5714017,6310671,6644125,4235320,5654783,4916567,6181977,4200428,5349941,4451746,4663700,4584660,6435621,4758253,4320210,4704941,6994751,3988205,5677152,5548960,5569564,4645542,6179696,6186611,5654979,5508640,6113389,6312853,4859955,5999542,6195189,5065386,6408383,6060672,4359181,4928114,5382234,5465650,6573032,3981818,5898486,5156500,4048089,5612570,9275148,4902592,6293301,5701716,5411258,6162107,5098251,5960269,4458007,5418252,5390630,4907740,6663498,6647460,4674600,4721928,5340047,5488386,5686793,3731332,4836912,5875088,4647722,5992183,5403269,5839120,5193866,5569866,5918848,6059565,4795267,4945860,3934810,6506169,5303299,6497505,6195769,3895449,4226229,4770995,6108187,6152677,4540553,5984831,4481787,3984252,4454578,5626247,6532716,7700698,6953072,5527620,4871611,7563846,6796291,4302545,6384318,4476769,6199943,7291045,4870392,5334380,4508979,6756704,4280708,7484391,5942899,4695366,4567302,4484234,4047883,5733449,6543391,4692221,8010544,5739003,5566662,4883087,5383100,3934992,5054603,6036243,4549686,5629410,5301563,5926380,4986153,5986977,5309941,4310163,5353999,5986750,4573008,3950522,6787451,5549833,4185643,6708613,5431519,5249631,5027768,6039547,6142062,7297004,4554033,5598872,4513569,5803579,4692712,4751369,5132766],"TellPolicy":[4465857,5743053,5296086,5770782,5247268,5287800,4892975,5295530,6656577,6560224,4798713,3730758,4624263,4041548,7040562,6361398,5736565,4962184,4850893,4566647,4984585,4159173,4434782,6377057,4847207,4492428,3483896,5498863,5279845,4469801,5979719,3457503,6405487,5381966,5662003,6376595,5494942,4482068,6222609,5928011,6126442,6344489,7144918,6423913,4238331,3898985,4352114,6023343,5006003,3863975,3771462,4258459,4326812,5406425,4489891,7128072,5841278,5129600,4415193,5099846,9298452,5648343,6132445,4320556,6661916,5884333,4893632,6377743,5061515,6232706,4152328,4393290,6064228,5674970,5346267,5637103,5342093,4327507,6248370,6525796,4888974,5678218,5694828,4672637,4782232,4568333,5745115,5745279,4452578,4155000,5925901,4896049,5596106,6657309,4812617,6007442,4942089,5157078,5066566,4716576,4462935,5388556,7392633,7433098,7060923,4713651,4307543,4933069,5353829,7427048,5753967,4077733,4657202,4388953,5388871,6619794,5269613,4148489,4247763,4186675,5547898,5389831,5874183,5090786,5362087,4583626,4645281,4998267,7366172,5414670,4636647,5003818,5056683,6317192,5379093,4619405,6228000,6244417,5018370,4681671,5556010,5819718,6295736,4722746,4424308,4842625,7630778,4703082,6940967,5282133,5906236,4771628,4188515,5595119,4938079,4801842,5365159,5384154,4377675,4400564,4233359,4616585,7228470,6711337,6865263,4430288,4227956,4960064,6273008,5746314,3921348,5715959,6897894,4000214,5461842,5084061,4491570,6569798,6663624,3822701,5882282,4651326,5791491,6344737,5236005,5447358,5773038,5531423,5355765,7199586,6652192,6656439,6687393,5842592,5143544,5564059,5889134,4447899,5579923,4864037,5624780,4842865,5711406,6188526,4572572,4213560,5269159,6400973,6309303,5550919,4285968,4428167,6323365,5859405,5804378,4593523,4564077,6717913,6342578,5293807,5179643,5392612,6266976,6666068,4381470,4857609,7092714,4490988,5445394,4347079,6331030,6970934,5045141,4499471,5437110,6662667,4493311,6512216,4549550,6038306,6053737,4091016,4263246,6219347,4435016,6031507,5638222,5047278,5025793,5390776,4082013,3886077,4016021,5853308,5005710,6045204,7337566,4592098,6043458,4214715,6526913,5014363,5791802,5210963,4552323,5101358,4319308,7044723,5468135,5749877,4736434,4005198,7356237,6727992,4379797,4880894,4650398,4039486,6587300,4161886,4689262,6393067,4411151,5631094,4745905,5031343,4159941,6992944,4711509,5997268,4806567,5732473,4982848,6452613,6875110,5710606,4045848,4718348,5028369,5658978,5461952,5907951,4113791,5989086,4267429,3961297,6855347,5800577,5338948,4725094,4602697,5538894,4654100,6413775,4150448,3761965,4762927,6066043,4128142,6126230,5032108,6292844,5927511,4545572,5527802,5336684,4025707,6910072,4655721,5836428,3942183,5444792,5297576,4346617,6605255,7263316,6840868,3796524,5237455,5495928,7199406,5405468,6629538,4594185,5467384,4865471,6509692,4306981,5760798,4377727,5970540,6085576,4830673,6627827,4731640,5236513,5274996,5741086,6349713,6664786,4269397,5688232,4926244,6218651,4232310,5386952,4480349,4676388,4608305,6476063,4793844,4357156,4750174,7031890,4027040,5718878,5580914,5616701,4676682,6221288,6222484,5682685,5551546,6154347,6356258,4889632,6023032,6216537,5094474,6443062,6075900,4387604,4951208,5412155,5491857,6615473,4022885,5914454,5204893,4082819,5638672,9309097,4934644,6302681,5735657,5447729,6188287,5126136,5979979,4479671,5447589,5414639,4942009,6692992,6668783,4695712,4743635,5394098,5519097,5709938,3748391,4874404,5891664,4680948,6031585,5430178,5860398,5215284,5589775,5960609,6088736,4823599,4983807,3953217,6539484,5330787,6546244,6220035,3929430,4250597,4801350,6141050,6187875,4565990,6038067,4523982,4020381,4481242,5665037,6540932,7735684,6999000,5565811,4904607,7601426,6820668,4332818,6406501,4506349,6219162,7324213,4894339,5362965,4540370,6805519,4305219,7520541,5990510,4733449,4600010,4507647,4073286,5770289,6572116,4726984,8049348,5744606,5611184,4934184,5428966,3958688,5076760,6079560,4576176,5664778,5314628,5948624,5041868,6001189,5327873,4324001,5377549,6015229,4608458,3974267,6814354,5577663,4227152,6713711,5477424,5268502,5048215,6069655,6163826,7325673,4577087,5624371,4529672,5863023,4715376,4772787,5170149],"LatticeTell":[4466860,5744391,5296411,5771044,5245830,5287290,4891928,5297323,6655938,6559307,4799706,3729005,4626250,4040220,7045031,6361974,5741239,4960805,4848176,4567963,4985317,4160658,4432188,6379669,4851896,4494371,3485184,5498491,5274533,4471865,5982165,3458014,6413884,5385087,5665977,6374879,5496841,4480005,6224081,5931693,6127422,6342919,7144813,6425257,4238967,3899248,4351139,6025285,5015676,3863602,3770401,4257706,4327469,5409713,4487761,7132340,5844408,5131505,4414584,5099411,9300949,5652828,6130442,4322585,6666026,5883521,4894722,6380565,5065414,6237437,4153831,4393173,6063396,5676696,5348311,5634797,5341693,4327539,6251298,6527867,4894014,5682133,5692311,4668116,4779814,4568606,5749698,5748269,4455512,4158881,5927139,4895664,5598427,6659498,4820735,6003362,4939508,5160737,5066236,4717110,4467543,5390073,7394143,7436743,7061205,4709707,4308427,4937108,5358498,7430003,5757009,4076879,4655816,4390730,5388953,6630479,5274977,4147949,4248137,4187560,5555138,5387865,5877668,5097285,5362826,4582299,4649771,4994242,7364794,5415330,4639017,5006163,5060461,6318358,5380997,4619542,6229043,6242971,5019381,4687573,5556403,5819588,6297563,4725348,4424344,4844531,7629962,4704573,6940803,5284981,5904381,4775068,4191651,5594451,4935828,4799335,5361261,5381844,4382261,4406392,4232145,4618421,7229239,6708467,6864937,4426653,4233999,4958893,6269605,5751354,3920868,5716335,6899345,3999314,5461715,5083550,4493820,6566104,6670605,3822543,5881857,4649515,5790096,6345924,5237433,5447514,5774530,5539133,5352710,7208966,6653323,6652549,6692111,5843522,5145466,5564818,5888057,4447051,5580627,4864876,5628556,4847873,5717509,6196290,4573709,4216291,5270278,6404695,6304614,5549788,4287118,4428283,6328739,5860642,5805464,4593345,4568472,6716883,6338958,5290549,5184977,5397623,6263745,6661973,4383149,4862295,7091435,4496539,5446713,4347708,6338546,6971836,5046059,4504460,5439632,6662924,4492366,6513071,4550023,6036164,6054554,4089808,4263615,6222413,4436258,6033636,5642151,5048525,5022435,5387380,4082401,3885836,4011675,5853533,5007549,6046912,7338525,4591482,6048940,4214280,6528480,5008818,5792043,5208636,4553317,5101579,4316729,7035594,5470561,5751562,4734370,4006998,7362057,6731798,4378484,4881255,4650911,4040908,6591252,4162602,4689346,6395575,4410198,5632269,4745038,5034745,4163529,6988321,4709940,5996908,4812435,5731739,4979872,6458301,6876563,5708667,4044998,4716387,5026348,5658156,5465000,5908626,4116305,5988210,4269692,3963154,6856383,5802815,5339210,4732102,4604666,5539214,4655413,6417036,4148173,3760979,4760613,6064393,4127607,6127025,5032054,6295204,5935287,4544934,5527982,5336052,4027364,6915862,4656567,5834725,3939756,5443937,5298989,4346564,6600865,7267474,6845633,3795168,5233386,5495597,7197541,5412336,6626581,4593326,5466969,4866718,6508100,4306017,5768330,4377372,5975204,6088200,4830635,6631650,4728056,5239317,5269458,5742376,6347839,6672716,4273222,5685117,4928851,6221190,4230763,5388305,4479452,4676936,4608331,6477712,4793758,4355062,4751847,7035460,4029513,5726019,5586841,5620843,4678799,6220983,6224468,5685176,5558443,6152892,6359458,4888822,6017126,6216031,5094158,6447205,6080712,4392212,4955312,5413942,5494651,6616112,4016589,5912035,5203205,4087119,5640408,9312020,4937046,6306366,5739279,5447437,6189375,5129499,5981221,4480057,5447055,5411546,4944961,6697262,6666996,4698212,4745014,5393282,5520726,5709958,3748184,4873459,5894439,4679620,6035907,5433961,5861065,5215474,5588911,5958005,6093607,4823115,4980520,3952766,6545740,5335949,6545319,6228832,3931362,4250328,4801615,6141139,6188135,4566691,6037570,4524840,4021955,4484361,5665966,6545490,7737368,6998570,5567906,4907993,7609520,6818980,4336791,6404421,4513784,6216654,7332941,4897797,5363838,4537892,6801656,4308973,7516596,5988802,4737577,4602564,4507031,4074382,5773638,6579586,4735005,8050829,5750313,5609813,4928993,5428688,3960123,5076993,6077692,4576849,5665743,5318531,5950991,5047369,6004042,5328065,4320219,5379024,6011207,4606699,3975550,6814873,5586080,4228351,6717521,5478664,5268325,5050676,6068089,6168516,7328454,4576488,5622793,4530663,5857584,4713606,4773117,5171988],"LatticeFlag":[4466389,5744605,5296170,5773729,5244732,5288855,4891904,5298732,6655362,6561174,4801572,3729486,4626249,4039429,7044148,6360059,5739008,4959747,4849724,4569460,4985138,4159743,4432501,6383333,4852260,4497014,3485866,5499795,5273478,4472252,5982302,3456984,6411402,5386162,5667414,6377593,5496962,4480231,6224210,5933699,6130377,6342682,7145104,6424538,4238659,3899173,4349848,6024897,5015909,3863870,3770928,4259964,4327428,5408948,4490167,7133356,5845816,5130587,4417018,5102200,9301398,5653354,6129700,4323470,6664840,5883569,4894168,6380727,5063449,6235333,4155484,4392595,6063678,5675422,5350397,5634272,5342607,4329888,6250878,6530139,4893869,5682854,5694465,4671339,4779951,4570083,5750233,5749316,4454669,4161115,5927938,4896184,5597840,6658887,4820906,6005004,4940829,5160422,5066253,4719867,4465686,5390547,7393699,7437966,7060530,4709213,4308219,4936261,5355963,7428071,5757849,4077696,4656131,4388139,5388317,6630808,5274269,4150012,4245416,4188382,5555727,5388734,5879592,5095023,5362487,4582276,4648721,4993835,7364885,5415093,4640577,5008338,5056959,6319667,5379982,4617643,6228658,6242868,5019599,4690119,5556975,5823811,6296309,4725054,4424998,4845719,7630893,4704626,6942564,5286373,5902664,4775483,4191958,5596502,4934149,4802433,5363808,5381523,4384544,4407669,4231281,4619265,7229670,6707322,6866535,4427737,4234801,4957240,6271507,5750825,3921161,5715988,6898876,3999856,5463014,5085607,4492488,6567275,6671527,3820567,5885330,4650856,5790163,6348315,5238442,5447229,5773899,5539352,5353498,7208781,6653512,6652442,6692186,5844563,5145407,5563904,5884830,4446018,5582386,4865681,5631005,4845835,5717391,6198313,4572519,4215892,5270229,6406986,6305887,5549538,4288223,4428960,6327677,5862640,5805650,4592660,4568969,6715356,6338531,5289688,5183667,5396183,6266994,6661153,4382834,4861817,7091279,4497622,5446625,4347230,6335631,6972692,5047212,4504289,5441260,6663175,4491269,6511927,4551687,6035483,6052842,4090813,4263659,6223262,4434637,6034749,5642191,5048304,5025067,5388149,4084857,3886192,4016346,5851820,5008827,6048242,7339430,4592482,6050329,4214419,6529555,5009868,5791710,5211708,4553642,5102209,4317918,7039146,5469778,5751540,4736780,4006804,7360650,6733631,4376269,4881515,4649028,4041630,6590856,4162952,4690176,6395447,4411387,5632312,4745411,5034465,4163685,6989922,4709368,5996017,4810830,5732222,4978508,6458817,6874833,5709425,4045589,4717342,5026665,5658089,5464731,5911055,4113152,5988529,4269594,3962746,6856292,5800622,5342133,4731305,4602117,5539696,4654434,6419621,4149149,3760466,4760832,6064921,4126939,6130481,5032018,6294005,5936098,4547163,5526804,5337374,4026883,6914546,4658534,5836042,3938946,5444683,5296648,4347105,6602407,7269490,6845836,3797877,5231787,5496364,7199763,5412001,6628018,4590687,5469248,4865674,6512234,4308311,5768669,4377415,5974800,6088762,4829668,6632641,4734105,5243321,5270816,5741823,6347511,6672927,4272238,5685353,4927701,6221092,4231925,5385796,4480582,4680715,4609908,6479051,4793641,4354256,4750375,7035239,4029315,5727113,5588105,5621988,4680705,6222378,6225851,5685869,5556858,6154384,6359908,4889350,6018947,6214436,5096803,6449098,6080498,4393663,4954877,5414308,5496147,6617421,4019572,5912749,5203075,4088245,5641224,9312843,4935111,6306417,5739841,5447588,6190650,5129955,5982598,4480862,5445646,5411090,4944713,6696172,6665804,4698641,4744573,5393720,5522168,5708608,3747098,4875052,5893237,4678594,6037192,5434320,5858584,5214375,5589570,5956377,6093200,4822503,4980515,3952672,6543044,5336371,6543089,6227829,3928011,4251425,4802378,6141255,6187065,4567270,6038366,4526898,4022439,4483330,5666189,6549093,7739247,6997230,5567924,4905279,7607969,6822194,4336250,6406449,4513073,6216846,7332652,4897592,5363875,4539286,6800551,4308110,7519645,5990690,4735289,4603839,4507616,4075423,5773286,6580938,4737223,8047376,5748405,5610305,4930193,5430004,3962256,5077427,6078783,4578619,5665697,5317808,5949289,5047194,6006210,5328135,4321157,5380674,6014399,4608126,3977140,6815355,5585019,4229972,6718676,5478249,5269541,5051110,6072182,6168179,7328932,4576843,5620973,4532686,5863495,4713854,4772026,5173120]}}}