{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","item":"full-information","requires":{"platform":"linux-x64","minCpus":8},"source":"https://api.imd.fun/artifacts/a1eef2f3dbbcbc7a1de9d15a2b22d1d25ac6d316a72efde67275b5d5a16ab16b","artifact_ids_sha256":{"base":"1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","replica":"a1eef2f3dbbcbc7a1de9d15a2b22d1d25ac6d316a72efde67275b5d5a16ab16b","core":"2ad2abf45223c729557e83e77d22de54c5db7da2be0599658144906b91dbf0f7","fast":"72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b","harness":"9ad960e6c7e11509b81f2852f7f34d395425adc226141b0bc828ed6f5f344663","probes":"6c23d23d4a21a37a502bf47a69d9f87b4c7ac84f614f2097e2488c6d5e6dd164","probe2":"9d06411b9d249e074a426b33b08474edac375f300111ace5bb34928f853531e6","port":"60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","cybuild":"8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760","audit":"362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4"},"source_sha256":"56cde84d17fef731c3608ba3a564ddbc0074060247c27b4f51418add6b173e80","base_source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","gain_vs_base":23.838253663028897,"se":0.27507639991996496,"n":2048,"seeds":{"choose":[64000,64063],"choose_control":[64000,64127],"report":[10000,12047]},"units":"paired difference in complete 10000-step own-pool edge per seed, in the replica scoring units; sample SD of paired differences / sqrt(n)","advance":true,"stop":{"bar":0.08,"trigger":"mean + 2*se < bar","early_stop":false,"last_n":2048},"history":[{"mean":23.035508535785986,"se":0.8946407526813818,"n":128,"bar":0.08,"upper_2se":24.82479004114875,"early_stop":false,"first":10000,"last":10127,"base_calls":1386726,"candidate_calls":1349837,"candidate_uses":106175,"candidate_legal":106175},{"mean":23.293487154311315,"se":0.6183071845471889,"n":256,"bar":0.08,"upper_2se":24.530101523405694,"early_stop":false,"first":10000,"last":10255,"base_calls":2797550,"candidate_calls":2722053,"candidate_uses":216640,"candidate_legal":216640},{"mean":23.648455177422704,"se":0.46760783466243855,"n":512,"bar":0.08,"upper_2se":24.58367084674758,"early_stop":false,"first":10000,"last":10511,"base_calls":5604619,"candidate_calls":5452238,"candidate_uses":435370,"candidate_legal":435370},{"mean":23.909237690460248,"se":0.3540503729010693,"n":1024,"bar":0.08,"upper_2se":24.617338436262386,"early_stop":false,"first":10000,"last":11023,"base_calls":11178786,"candidate_calls":10877045,"candidate_uses":866072,"candidate_legal":866072},{"mean":23.838253663028897,"se":0.27507639991996496,"n":2048,"bar":0.08,"upper_2se":24.388406462868826,"early_stop":false,"first":10000,"last":12047,"base_calls":22356428,"candidate_calls":21752344,"candidate_uses":1735019,"candidate_legal":1735019}],"moments":{"base_mean":533.2560040516776,"candidate_mean":557.0942577147064,"delta_sd":12.448536814578555,"delta_min":6.5843937582220065,"delta_max":206.0669206699548,"wins":2048,"losses":0,"ties":0},"info":{"timing":"after a successful own fill has updated own reserves, before returned fees are applied; for retail, after all orders of the current timestamp have already been drawn and before the current normalizer leg executes","callback_available_engine_state_exposed":["current true fair price after this step GBM draw","run mean retail size, arrival rate and volatility","own post-fill reserves and current fee state","normalizer reserves and fixed fees before its pending current leg","current fill event type, side and size","all already-generated current-timestamp orders, next order index and pending normalizer amount","timestamp and QLX5 private history"],"future_boundary":"No next-timestamp price/retail draws, RNG state extrapolation or future-path replay entered the primary policy. Already-generated remaining orders in this timestamp are current engine state, though hidden from a deployable contract.","policy_use":"The winning rule uses true fair price, own and normalizer state, pending normalizer fill and the next already-generated order. It falls back to unchanged QLX5 when no next same-timestamp order exists; sigma, rate and mean were offered to the search but the winning rule does not use them directly."},"search":{"objective":"maximize replica total edge over complete runs, pairing every candidate with unchanged QLX5 by seed; all fee returns clamped to [0,0.1] and routed by the unmodified market kernel","baseline_option":"mode 0 is literal QLX5; oracle-off control uses the same patched core and matches the original port bitwise","families":[{"name":"true-price Taylor table blend","choose_n":32,"grid":{"alpha":[0.01,0.03,0.1,0.3,1.0],"offset_bps":[0,2,5],"variance_multiplier":[0,1,4,16]},"best_observed_gain":0.09272659693997198},{"name":"bounded next-order discrete fee search","choose_n_first":32,"choose_n_refined":64,"radius_bps_tested":[0.1,0.25,0.5,1,2,4,8,16,24,32,48,64,80,96,112,128,144,160,192,256,512,1000],"best_refined_gain":16.386423951174226},{"name":"next-order full legal-fee grid plus local golden search","choose_n":64,"coarse_grid":"0..1000 bps in 50 bps steps, both sides evaluated via current router and quote algebra, only the next order side changed","local_refinement":"15 golden steps in ±50 bps bracket about the best coarse point; final bracket at most 0.0734 bps wide","blend_alpha_tested":[0.25,0.5,0.75,1.0],"best_choose_gain":22.590408535245615,"best_choose_se":1.178812912351152}],"selected":{"mode":3,"alpha":1.0,"fee_rule":"At each retail callback with a further pre-drawn order in the same step, simulate the pending normalizer fill, evaluate candidate fees on the next order side with actual current price/reserves/router, choose the fee with greatest immediate own edge, keep the other QLX5 fee. Otherwise use QLX5. Final WAD fee is guarded/clamped.","choose_seed_interval":[64000,64063]},"convergence":"Choose-seed discrete radius gains plateaued around 112–128 bps then declined by 256–1000 bps. The continuous one-order family improved from alpha 0.25 through 1.0 on 64 seeds. Checkpoint report means stabilize near 24 edge units as n grows. The local numerical bracket width is not a global-policy guarantee.","global_optimality_gap":null,"global_optimality_gap_reason":"The market is a 10000-step stochastic control problem with routing and callback opportunities changing with fees; neither the parameter sweep nor the next-order local maximization solves it globally."},"ceiling_kind":"achieved full-information search lower bound plus a separate loose certified pathwise upper bound; the exact full-information ceiling is unresolved","certified_upper_bound":{"method":"For every generated retail order of quote-unit size z, own retail edge is at most z: buy edge = received Y - price*paid X <= received Y <= z; sell edge = price*received X - paid Y <= price*received X <= z. Arb edge is -profit <= 0. Thus every policy edge <= sum of all generated retail sizes on that exogenous path. A 0.001 numerical slack is added per run.","mean_gain_vs_base_on_report_paths":159185.8165286168,"se_of_pathwise_bound_minus_base":523.6695874018054,"min_pathwise_slack_above_candidate":113300.49649658703,"global_gain_gap_at_most_on_report_paths":159161.97827495376,"tight":false,"source":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4"},"future_path_relaxation":{"run":false,"gain_vs_base":null,"reason":"No draws after the callback timestamp were used or evaluated."},"controls":{"oracle_off_vs_original_qlx5":{"n":128,"seeds":[64000,64127],"edge_bits_equal":128,"callback_counts_equal":128},"exogenous_trace":{"n":4,"seeds":[64000,64003],"price_and_raw_order_events_equal":true,"note":"Compared the full trace event subsequence of price draws and raw generated orders between mode 0 and frozen mode 3; counts ranged 16538..19897."},"legal_fee_returns":{"candidate_adjustments":1735019,"candidate_adjustments_in_0_to_0p1":1735019,"qlx5_fallback":"unmodified QLX5 fee guard and cap"},"market_mechanics":"Only the callback information arguments and returned own fees differ; price and retail RNG calls, normalizer fee policy, router, arbitrage and score code are unchanged. Off parity and exogenous trace checks cover the patch.","old_engine_parity_source":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4"},"limitations":["The achieved +gain is a lower bound on the value of the full callback-time information set, not a certified optimum. The quoted universal upper bound is far too loose to locate the true ceiling.","Already-drawn same-step queue and true fair price are engine-private, not observable to a deployable contract; no realisable estimator or rule was developed.","The one-order objective ignores downstream value and may miss nonlocal fee optima; the coarse legal-fee grid and local golden search are not a proof of the best immediate fee across all floating routing discontinuities.","Replica only; no engine runs, Solidity builds or submissions. Original port parity to the engine is documented in the cited audit artifact.","The report set was never used to tune or change the frozen policy."],"hashes":{"files_sha256":{"oracle/oraclepolicy.py":"56cde84d17fef731c3608ba3a564ddbc0074060247c27b4f51418add6b173e80","oracle/enginecore_f.py":"2ed3ddd57a6df08fb2cf9036aceca4c969ac2150136d9f5b492570344c340543","oracle/qlxcore.py":"507ee254d92f01fd7e7256e8187bb8e1f02d642a45240b8fab243c1e8859d8b8","make_oracle.py":"690323134fa890c97fa91e6a6e324ef106ab9aeba73845a65eaad742e09a3b53","oracle/driver.py":"edf1d6e7903188c79d139cd77b93a7f5a9e936d8240f808b83318c530dc3d544","oracle/sweep.py":"53d9b9784c7d483f4c408360c690b87cff3667232b727e9a5d94a742c11886d6","oracle/upper.py":"5db9b3f4b5dee59290c8b0d765c9511888c5c898b0596593fc58bf9fed3987f2","report_run.py":"68d05d9a78ad4df440b9ec1dadcbcc3d2b26051a78380d409dfc18f7c0788961","harness/score.py":"38856d193fa9f8e8a7ca0e43b62778f5d9f7b8a6bc7bf67168843ca1e03c6958","port/qlxcore/qlxcore.py":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","port/qlxcore/enginecore_f.py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd"},"patch_tar_sha256":"71ff2f89e7cdaea23a2ef2f25e0fa855a2b0e90092314a8693cdd8a8bd9cb984","base_csv_sha256":"79be7e70267f727ad9c6a5c7554344728e42aae60962d8cfb55de34c54679dc0","candidate_csv_sha256":"9bcee78aa192549c048db70438220aadb90b39826f9866d043cfa8c6448d76af","retail_upper_csv_sha256":"a4fc1d2a7d3ff8aa9fa46a77980afd9057277441d42674dcce832b5506a7f482","delta_binary_sha256":"04d0db0e61c8d6ddff40e73adc5b829a3804551dcfa9824ef92d98fbc4811647"},"hash_scope":"source_sha256 is exact UTF-8 oracle/oraclepolicy.py bytes in the embedded patch tar. base_source_sha256 is decoded QLX5.sol bytes. artifact_ids_sha256 are SHA256 of each fetched raw JSON response. Other file hashes are exact local bytes; patch_tar_sha256 covers a normalized ustar archive.","reproducible_patch":{"encoding":"base64(zlib(normalized ustar))","archive_sha256":"71ff2f89e7cdaea23a2ef2f25e0fa855a2b0e90092314a8693cdd8a8bd9cb984","zb64":"eNrtPGuTm7iW+exfwc18ANwyBvzoTjtMTdV91a3KTrK7ye5W9XZRAgubNAYacLeZqfz3PUcSBvxqJ5POzGZQVWMQ0jlHRzpPiV7RO+YmGfUjZqTli2cpJpTpeMx/oez+jsfmqLoX9ZY5mdovFPPFNyjrvKAZoH/x5yw/KH/N2DwslPe0jJJM0RbFyr+Lw8Wy0ImyCIvl2jP8ZDWs64d0tRrk4eqn8ZVl0+noyh5Z1tQeM2tiTqlPrZHl09HEH11eBa9G5vyVkrGc0cxfDvMkemBzoxdkyUpJabGMQk8JV2mSFco7eOzlme/gjaYWLC+GuZ/RAvphg+F9tPGTjKl6b54Xh1qJZSzeG6u7eZhpbBPmhZvcOe+zNdN7zNEAw1Bl8SKMGUJzA1j2qm5kjM7dgm0KDVsxeE4j6jNNnbNAYRvmrwumpeQujOeEkoIkjzHxaRR51L8jsIQKpl+r5PzWJM1Cn5EsfKAR8ZM4CBckyeYsy0kMVLjQk20Ie2Bx4RZlCu1ZPA/jhct7AK4dMh/pXEtvzFudiDsL7gRZQNXRl4eoaODcJ6hNxSEiLNM0TIHIQmnGhxYhRxsIYkyC9FXEDCzCVmlRupIUk2D7XbwKFI9Qp2KxhrNN/kGjnBHAiq8FbIcjnylNmE6cGvxZ00xi6/r/xifB7aDeTvZNeCvne5Ws4wImPXQcc3eNADWf10POEPBkEG65ssMS6yBTjuHJ8fmzqTve6yCFkraPFxaxtxBg2QGRNM8ZiLv6FRagqoSxwnoayPshmX7MwoIJoQbZv5eyL9XIvtjfO/dtsXfT0t2ugTAOi5BG4S+AnShh7nrrkih0s8RLBJcS70q4K4iSYXWG1RlWZ2W01Q5fEygRyxruOf8UyUClwUFFslBp8FDZ1yWtsXuAU3GUNImM/JGmmpckkSaI05EwJAmojQsNbUS2QVpw7XxRPyUMlDgplCXNaVFkGvQmykuhyl0E81JXGEgeB9uoPgv612GQemBtPDmFgpyipqRtJL6w/zPNeFaCdUA0XEZJ6/mr8VCIaUv8GhJ632jgFtSLWG58zJN428orwdhrWxneacMFWTThS+pYO+4QYBu+pjwV6HrxZy5CoqTrBCIW+uVXjwNO+/+WbY3tHf/ftidW5/9/v/7/y5cv/yoV4KAIV0wJGFNEGyWgqzAqZ8qKZnesAI2orGN/SeMFdFT+LZkzxcRKtqF+ofz7m/+ZGACtJ4OIFQYR8l5qGoXmyr2IOKoa2eADUaK41/MjcEmUt1wC3nEJ0O4NcaNf99AZ5HbbRU3tulrOooAo752fkxg0X58oK6AJvCKFRumSOpYBt0kQ5KxwTLx/cFfrSN5zXejS+UdYdaIGuuS8d0bn4ToX3WHo4MuIBv3+XZx4uaQES75OWabpxpai93WruhFQaXDK8DITz4JCfpU1klDxI+skweKnDbBFf/NBdhWj4VdZI4clfmSdHJ74aSNY5yx3TNkuYgsa1U8UIrkiWxdLzvredmaaToGYnLYJzb+uN1BPhGcSajrVdAinBDADYsALaAErODjb5mCV6llxzGsQi2KdxQLMwVbo3mo2GTVwYpH9eDOXE8qp1jggwDr8AHjh0vStPyOq2+L6QcHARxGOtfA/FBoULFOSdaYEYQQ89FjAZSwuwYvLVujIwHuYOUP5O+/XgDbP6GMu5kChhVIsOVAQxASCZgqinxcsnSnZOlZSmtEVA1S5QgF8EG5QbVSgYBUwd+VEsbaiG80i6PRxsP0Pul7TD1G3C0uv7H8YDrPNtlqs27zdXeO14O4MxQ0Ey21gj44GHThIfSAI0Ps8gK2b2I4mgR9pUU1uU3Tacws8R7aEczbIU+aHQegLgmVaIUxiyUFYvUUWehCs5UqRIDd3AOVLOk8epTKh0UAyHhwgXFfIfe4aSYVrtJdYIMT7ZnyLRMOyFg6TqJzctho/2hcO56E2sFqtLb2/N9x+FkiuAH9r4Q8XK+oEUUILTYjljX1bv354cHCqTD5VDSXV5/3k9YO+L2tCIYGwtQhOl46JTWqhcBxLkKxZ275+XLyuqu0aNIt2gFvXCNBqNMgZr6rnvfBIQR3eCSxdrj2SR5ukS8ITCw8PNfDAkwNdhbEGy9YSQ9asQa3A9b5nXtSP/cK7aOhyWOycu821G9BzoNI2VPokVE+MaLGm2dyFcWmBp88Q2W413bFL0DPwZuIWZp3Otrr/osHH2gaI5WW+hl6vHU4/KJy5ghVUVtQYpHYMPBJQYSR+QtUV+qBPlsm8NujQkIaRy+YLxuV6g2k6tyRAslSaOSgzgiqdi05DC/+g/GsOSyeEKE7JkjWqRBotmJdRThjAGaQQnir36wRjNhgZVMZRiYKa0fgO/Z3caK5WwNJeoxuLlJbToGumbGxS2k6ln0ilsYDlVe0EHoqkAKuJpLdX5BHoJYe+aUO3KuhmE/q4BX3ImbKFurAcawDDmi1svLG3L6jloFdm5PdZoW2s/sLql5Y+o3az2u4v7H5ptwQYWqCVFNkjhyM+MaIMpjhxqDWk9gzmN3YW1gWvA8ithk14QxsRYWtQCEL+RR+ttC+AIt5IHwC9Q2h0CAxKFMqWzOGZOhF9WgPh7147BkY713J9gnN3cv5hVYnZH/Brn8/VkC/U8kJABFbqhxwD8XYAEPpC5wN8ePhRDrGJucJS7mPZHMLSwiCgI54DGE5KnrAH6EoIg1mlQDGXU7MhFesOwo+01J7maLptsSGlg/lunko+yWVYsNASxAYZsRls+jD4LXs1vqD1No+rkV4jgoED9zPEcuFIrsu+0PHEYhVoxwJtKdBuzkd7ABkngpOzO1dp7Sk3nUXuKQuPsan8vtBnvG5yue73F8cGj7rhTP/oRAy8KA5Nvz7oAPvrLMP+MFcOz/GJ1jc1kIFFrIZzkNrC4BxYVi0iSQNy0/P4hUnHYw8RAS9wdpyOFhUe+gLUbPk/XmNUgJhlDrYafqjFL5pXtB8xRqIfSe1dY1QjZhCLAaCZF3DwR+INu70CfbBT4Rw8+ty5qX0Dw5IIL4R3VUdwlflXwN1X8CWPTQYYrg6MCfzZE8L/JgTq9NsTi7+JOuyDCE840BAhZhjna7bVAIDvAnxX92vDQ549wcXgFAOrVQudfkRmXjSC1DamLbuxLfIb3ZKg6ce2eT7i3oAX/IVPzI4KMB0vGH6YRYnwzQwSmANkhj5bho6cjMC84FXtnsAQt2aWNdH3qdw4UXKhLcNBlOh9Y3RlvZpOTcuyJ7Oy9WZqXZmj0aurq8vJHgy2eYKrm6e4yqGUT0Apz4GC87N5zcprYNdmHweuMeBa2eYTRGzJxTLUh/azrpfrQwuBLxVRv+u8w1JoOtpe0Fo+0EmsloPKEd7uONe73cHCVY61F7Qc69kBh9oLKv95VuPzgj13/ctABUj6i6788fP/c7CQLHumE0BPnP+xppPd/L9lTkdd/v/7zf/LBHxe5sTPHwjuzRF0KsI0S3yW5+CzYdp+lVYt4/UqLbEqTo+n95ubWFWOv5nW7/V4ujhm4PyyubSaiyjxIIp/++79f5L3vAYAOK3dgPek38f3QtHeG+67t2/AC3eg4Qwf37z9Jz7yrLRIT5bXmXNvMN/I1rEmclaAcHtwAt61z1DgGZRfWJbkmkXgFnpMxzIACDB3F5XXNdotHqlma/jZjYpWSYXAJ4k4ipzfodbmN1xj93ohbmfEdMVc13FU113RMHZdVTCEp2S5UofpMcALesBN4ZnPw91WtQ3VGMBsK0a3M+STg/NpgEs9z+vGY2j8HgaO1XJPVsZ0j7DIYKqNBStcTGribrAKTs6dqhvv0PGWiwL8RXSLrggnBVxRmHnMstTeT5Y85g5WgfeWarg/I1wkPiTCrxeiM/GX6/iO+/5Wg4okxehkXRD1UYVg5zEKY+aoKkcVXDdywbBqxbZ0pgX67FHeJ4/ajYpTgQdpcCKIyicBfnEK4IdPgHrb7JJreBFEgKcBDEYCsI4nefB3gIHGs+r//JGx9LkOgD6h/21rNNk9/3lpmZ3+/1Po/+O6n6vGMC9CPyfNfd1vYQv+9fbnyhyghrsR4ShGXknKQ1/ZppGsOmQ1oLE+axuMA/bigM1Aor7IXDxhMuSADJpiakTbGgy919pYBOSYSXpeO4H8a5oKrnyb9oIf6tH0L7YbV7WJ+AzToFejK/LmvH8kcuYZrD+WwSxocgyN8Hvu3GTAhZuPtwP+a97yvhmP1oGCOqvB4VfTMA990Popbu45H8mK0dip176BzxpY95w1a/Nizh6gelhn0TG1Ntf58aePMhGLRDu4Cpv2hfN8DlKUa5wMgtksmDQLWN20gPLkVbN9g9LcqeSE8xYvRHCNX3GnqAuv/r/Ef/6S+Xcu2yTP4QM8Ff+Npnvx38Sadvb/u7f/DUtOvtSEb60lplxRFe8Z4u0pKLI9ofWUUf7t1pgUQAKTn50ctcggcNibZhkttZsNNxYbbizAMOMuSq7y8xcbMCY84W4axDZ0NNfSVmcEYGBs18O+SCi2u5mOQZAIXi1+tfl1dAv8oZi3dbbDAl54pCRJXTMC6MJQ8EcVELjsfg1xC6loFc/ahpQ6UWPUGypB67PRq8CHbkNRb3tXBUOpDE0T+SuDo0TEqTJGgkd+Q1QPzPIcYyq+C6MBPLTjwJkbk4yvp7c/OqZuACBN5+n2/QavHcOSLTqjdFj/r8ERyX6v+M+cTPfiP7v7/u/7Pv+L3+89huCjLkBz5gNUEQpfhQqX92slX6/wYCCIrbJgMfe454rYsBGnNPnWbd48/VvlE49Fi9ysQIVHK3sSfwyLqmXzAyLswPxe7ydsoPkU/COpy9Hm8CMeLqKXpgc8dIIEkhiPMOaO2CwVcUGWOWBGUn/hYlsNVOiamwgReF7Uz5Z00qNksVqLwzFwy0+XcASGCS0GxqRvGTb+9cQmXepGdOXNKWIJ4FEbYA9ODe8hUpL82E518gNNRVHvIAqiG2FMzClOwhwcfy1DE1Mh0Vvbsh8bMHY2IXlqraKIj+gCyYYacUwUwO6ccMAzj9hjHYcAe4UNXhvtXUk+iov6bJO0geJo0DNGq8+SIJR7jzgYly989bbN3cqYHwtUd3bVgwVyTxyedKG/WF/tg5oNMvjC3V3IAASTjvgD3LndSUp2tvP7KxlD3eeC8/dsn/8/Zf9HI/ty7/t/u9v/+/7jv+3eX5KTfO3JBDBBM45fBR3/NwFZkhz6DwCqPoO7MC0cbDBUdze3VXgN5l2+XdIsBnTDvPoesccdCufGsq8I/tmTKZlYNrFMe3w7ExZEnOdfhjlPCvNzS7GPWpr3vd6a14h6rPqimUdkmoqnOlTyq4qhqHptftKJpm7PNNUvRkTlcap6DYHqJ/22kWKGAQvaA/VXjuCT+ysnC36BjE8GMFStj5yt5s4NWjHx5QCmTsF+gF3gLNLFPfYWtwBA3CAanTSSfmIUjSNZ9Vzx8BgQEZ5A4i4SYfGDkwDW+CHMYG7zYs7Nad3nb3//r58/vHlT2ybw8Q6NTegmPqgZnpSLgOsaGta/hX7xH4ziMUZukGV/XeQ+5dPOp543Nflgt4/DkoBqU741+xLuE6a/Nv8I+b+lC0CCkEVzdE5gfX3eFuFSENfeMgR2XAANVdo+xw+2mruuNbNFZg9mIF0X2uHlAMsf4vbBQCxQrBMCgs/NSeCNGiu2brmt3Gvu0QzGBI7nFQypSS74l6nGOZGrrfp1ioC0IMxyKW4EP/1yhOsDq3RgEU4Z5xusqxXfYc9uJCNv9TrnfmiCj4xNx+35ahS/CfRhZrTg88/cGuD51H816OK7uQb4akn9FvhijlDxbTeP+HzpM9lRehLYIsnK9rfbfG+moVGw0bEtCQmWBNE6X1YJtMqDx9Nmfk+edRMtb1SwLVHpAtpUvb32MkbvOkf1/PxPuHjWw19n5P/Ny/Gu/ze+nHT+35/m/NfJo1+tjYG9XXvM0leZ6zorzoPZ+jRUrcDxtshCJm+XIWbYT2QO6H7KID4jXfBVtqYpoRcxasnzMg9fcChJcIJINhw8lPTtTyR15Zvq/7QQ/xvlGXE8uf873tH/5uXUvuz0/7coN7++xLDz5bVifiLK9sEiykseheILw8RH8SHw5zS0z204OdFwdC7q0bmoR2eiPnfQ54753CGfO+JzB3zeePk/HjkD7047+8x2T/BZfM6Pr85sNz4X3vTTbaflT+t/+5kNwBP63xyNJ7v6/9Lq/v/T76n/bZAh8eGnEKkT7+zJiZfH3x0HaR99Mz765uo4nk4BPCX/o99Z/sdjc0/+ze783x9G/kGEjsrqcZEcnZDj4+I6PQ7w1XEyLPs4RHtyvN/EOk4kpp6/f9WB8j/+veX/8oD97+K/P4z8X5lfJJOnZOuEvFrj8QlNdEJLvWrhG7VigraT0n534tXl0Xe4N9v5FV3pSle60pWudKUrXelKV7rSla50pStd6UpXutKVP2r5PySkssA=","inputs":"Fetch named artifact JSONs by full ID, verify each raw SHA256 equals its ID, extract port.code_zb64 to test/scratch/port and harness.implementation_zb64 JSON files to test/scratch/harness, decode base.code_zb64.QLX5 and verify its SHA256. The bundled source files are the exact patch and driver used.","commands":["python3 test/scratch/port/qlxcore/mktables.py test/scratch/base.json test/scratch/port/qlxcore/qlx_tables.json","python3 test/scratch/make_oracle.py","PYTHONPATH=test/scratch/pypkgs:test/scratch/oracle python3 test/scratch/oracle/sweep.py 64000 64 test/scratch/sweep4_64.json test/scratch/opts4.json","PYTHONPATH=test/scratch/pypkgs:test/scratch/oracle python3 test/scratch/report_run.py","PYTHONPATH=test/scratch/pypkgs:test/scratch/oracle python3 test/scratch/oracle/upper.py 10000 2048 test/scratch/retail_upper.csv"],"runtime_used":"Python 3.12, numpy 2.2.6, numba 0.61.2; artifacts and dependencies were fetched into test/scratch for this research run."},"per_seed_deltas":{"encoding":"base64(zlib(little-endian float64 array))","first_seed":10000,"last_seed":12047,"n":2048,"sha256_uncompressed":"04d0db0e61c8d6ddff40e73adc5b829a3804551dcfa9824ef92d98fbc4811647","zb64":"eNoVW3c8lH8cv1KpEA0aorM3Z28+tqyUIhVdO5VICf1KF9HQuCIi44xKhVBJpRwqlUK7RE4DUTnRkvF7+8urc889z/fzeU8k8GxYzVmkQ+Sa+6Utz5Y4kkMyHdqGxNnN+GUfbUk002D5+dnaxBZ22t0P1CVG9ZBZRo0FceY2dD31UCZ6t9fr4ElrYkwsDjprYEt8xwXXts43IL5YfPKxZDPiR8wc1NukQIy2jovpUcYk0Et07z5uSoJ/wSuzzxuQ1Pkk4uXpE7t+cdC+YlNiLjg7XH5Di3iH7hfKl9kSe1t43GWOKTX6NX0LnG1E/OnZd8/ZmRHvpaFtXZYVcdQDs775WBDLNDc/X9aeBLfE9nxYpUL8kKKIhrkaRAUVvb+mmpFZU8Gvt9GLSfjzWkJcEYukurYt+N3MIpb7MaFxKxG5z1nmb25OvKriZ29NbaiYGV1xyM6AhCa06ME9fWIWJEbbGSiQ4NushsoiB2J+8F4df9KY+F9VAp4lWhAlVI6v3a5L/MGhejVffeJYrctv/GlIAv0unZ/dtuT91HiX7h3cp/Gamu8mPJeKMWdxrSZ5x0z+9DrRihjuwRsbFayI/nTn9TVYErOVlbpWRZ04phFOfrOtiXNg8NCHkzbEL7PlRdzXIsGrG/NiRbSJmhSnXzxoRKyltWFa+kbEdt58afdVVeKdX7wuLMic2JYyzMhHrsQ4VRL8okiP+CuWbVT8ZkwkuVA1OA7PF3/1RPU/A2LOseJ4YX4MroF61pA1CSYqLR8gE2IHqOnauBgST0P30UAf9mQQrxXxypwYltZ2DwqNqVi+y+blHCK+YdGB+6uxD046c3GiDbHfb/t14LwhMXbU95qkmxBnSKX87XMF4sVnnD63xY4YC4688NhjQIIap5u312Aeq9ml/VXmxPFZsUMQYkSktlk31Afn7j8lzeqwIMF6T9X8VcDZGeV2dzsn4ARD0MDnz/dKmuqlQYyuHL2Fe1ywv/TqvkOKxCl5HbNkpwrRQr8bFkbWwM3H7hczbIhz2VJkabs6sStYazc1mxNTbdD3/TrMc6yNj8tTF2KHiOez5FSpMck/88w+K2L/WlBoyNMkQa3ihOkVasRv9h3zcYMNCcxWfqiVNSIeY+W1i9dtiKFsuqbmHXB1RZN1ysgQeGlbLWahj/1/vv9V15iYD4LfCGM0SBC970FaoA3xkm3HilWAL0onxm3x0x6dZ4njVNxHnpG51wTvH1qd7r3agvj7dilkTtEn3tjhGZOa8Lp3gPcOzIdRw9kcrWZLzIjtHT2x6iRlEHW/bh32l8d3ST9rS7xtYxXOflQnEn7/u7dbhzj7o7Tzr2oS3+vX46Z+OxKeenyyTAGfEy82wUvelCjm24qQW8Cbe5v69qWGxBd6qg9kyxP/Tl9e4FPgKXLmvJt/gF+X6qioDuznc3+sQEcbc37hJ7wB3qR31IQGGJO3KKcuORi4uJDSIznfjJj/HtW/TtAletJlahRpT/yglI1bZgLHC5VFMu3UqdhUZV9yDhEn/MR/zkmWJNBJyg0dZ0kcnTnh319DJ4w3fZJaakSCVs0/T/yBn6M5t0y9MBeD2++5A8C9e/556XBH4p86cD82WZkEvcUzVn22JTryuyd6vQPR22/nYpXNSermhqXxLBZxgxyfrgixJ174vbdGvk7ELjk+4flN6F3lzFOUCBxdu3LPHHjlNzku3fXRhLi9e4PbRMCjkJ1h8rtMiMf8T87zqyexVXXaYzvNiH1N8+uspSziuA0EsFiaxOlpyPv5yIqYgvdTgiJwLsUGhTpnM+IWnowVPeNAvPu/bv9m4HxC7U9bUiyJv+1586+b2sQ0EVru1bAm1kiW/sB+8Jhhd6thEfC6b6v9mEJrYr993LVsInRmzPiG+lQLYgR31n3YLEf8mlfKH56Bryc+Lq/uAn+yhNxXFxSJn+2m9WyhGrFX5H/q+WlEnNX7XxQaWBGvy+hM2B7wStn82O+VpsRx2jxfMs6A2OMv1o6tm0+MZXskjuzRJYG2ho1otg5xO2Z8VpE1IO//Zp5Rk9Mnxq78f8eFFsR7cK3Exd6FWHfNfXskoR9DjxfXhaiTYLJfX9Y3JjFr3I901cMfskOjXf/YEF2166o0xPkHn24sdWUSQ836+9A7G2K2n288/8SU2MYXy9p/WUBXpyiO2ahPfL8UtzmT4DeVW83l1OA/NuvZ/w2wiF3lKFv6AjoUdD6X4WJBwlfijsradiSQe/7I7y3m+fdZcCKfRYK9JyfcfmBLjacrxWvOEDHmVJvrvIEuuzNbzO6ZEmPthIteFtDdK9P/8zyKfYdqK06PVyB2//RpP27AZ8ZrpbldAo+X/dlcNYWIWWSRLiGiQoIb82sfZAN/d6KfsCuwF43AqsXQR3Zqb4y/tiIxEoOnfpuN5/DKHOk7qkGcgs6srmJLClWY4B9r6Uy81vMtD29ZEw0abDS7o0XeldzxLf9hPw8SS2/MN8H8lVffKjIhKr1R2JauSGxaETzWkIgVMnVZk5ohSU167L7oLPRg+QHumBl47is7YmZuYxGjwCVXLwl6MjG0YWIYrt9R+sqlXp9CW//s9AzF9Q1OPc+m2RNTIrz5cL8jsW9tCXnerQH/5XCPS7kQ85oEY/AJeF3s+vmQijYJfCq4138aE8/n9rOvHsDdp1lV7XpaFJod97so2oU40mdOGaTh9VuuH+9Ug59Ldre0Z1kQW+o122cX9nov70J6sAYxBwP3XdliSbyyqc8ltpgTXUzxv30Tvl/KbdDV8SZ+xkelqkXwmSzPR3tS4Ss140jRZ3SPYWt7Q0wpNHCepY+eHfGdHySeWGZCzB9BN44c0iFB9u83Vr+UiV2Q1DDhsQ5Jtb1O+kgOxM+V+900zohCX61TTU+Bb/yUaj9zXpWkxoSsGNgD/ObMrSz2wedG/6p+0GZI3jmsVbq1mF95vHCqDHRzYSlT7zX4UfH0pc9O+NK8k3nn5XThay4rdnOMSOj108/yKAt+tUD4wgL73rHizpp12GfR2DUi+RokXG4z22MidPj9YkHDZC0qThCf8EgGunnUzvS8kynxeqJCVgTheuEWsePIDcIrkUtbVIDfewqP8myhl0kx11ZXmhLf9tCh3Ol2EBCJrf/c4Je3FTQMyuFb5Z//XnICbr89fT4+BfyVdhDPdjEjjval+ePH6kPnVozdWQ28d9pevHnFmLiXMlMDnOCXTwqDPuhgTx99UyWUcR8ZjcBec+SXOoZzWzfwHt1fMTBbi/jPkjVuGSoB98ecI+4oktAyQfn2H/gDp3JxZaQeMRtv31bGYwnq/kY0h3kRX/zFNx0fHeK90dslC/8g/SkbWuYhR4bM7ngxUZu4/1TS+UmOxGnqlt73SJPo+t83Ys3QTUmZ8GN3lYln63nd7hT0q+OX5wvH0XyRwJizQ4PY96NjBo4bUrFT67m0RHPisgpfxK+BX9WO5CbIqpC3srPglhT0TFKM+eGhAfFOvk5bGAw/8JWubZ5LJDU1wX1ACvlC6rihV5wqMaZLVPxehfPF2t7WN4U++f09Y8IwI9Za4WeVYhb4XDR7HJeInZzDHJcK/Vla0jHrDHwlR4J37C783Txiwub7TsSxTcrpOAG/Kzw0V6kSOaM25O37N3pE9r23t/+GXk9sFmguUiHG5VVZ9qvwXI3dNRPsgO/nbc2KM5GH13kFi3jYEeeG+yuPN8oUGrttcmMR8pjziJ5zCa4zdjt15YEdcWXE1vYnwIetUiJqFiE3dzrfL4UuMUaWT5xQoEk88b2tfvswL4e1s7LMoK+K6n1efPB+nXRj/gV8/8HwR6XtqsRPPjS1qUyHGDZhimsSkRdn9ZfHa2kQryK1t2UdcJZa0FWylIk8oBps4obn/XTSgxMJ3aOe7OBhzC/G81hBkDp561xM0QMOSfyH3vEGI2L6HtoxVw/+sFcqNfE/Bype0LVvUakdsW4UbHoxDjKyI/tmVTVwOdJ66ugD+PqAyYqXWuDB4j9HTVXw+uK6GUEeJuQ9dsz1Lb6O8In1H7bpIMe01UeEH8b7Ri4YBN6AXhuFzmp4ZkKCfUl/v2UaE0OHmscMGBPnLjde7BTuP7fuVoS8OQnU+s5ZTrAkRrtYhMl16PIqlw8L6mxJMN20sE0N81t/ttnGGw/wIXfJeuQE9stYi73LtUkq5Izb2HTs/3qGwaIE6INq7YkLvnrENVGLvTFZn6hj3rTpiJGC98+bBg3h/4cM000ckRfX3qo86IEc55DEZ70E/u3cBW9vaRFbVsJIbbcZcoz9nGEyIIa1d3NrA3SrcShQ3dKQOr31z02w8SaqMozb+xvX5cTJebkh7ydd+sGUcyE6LlR+dxB+WvXs1fEV4PeupLrYSOTpwep3x4OwX9nOrC3X0b+uRisvLYAPT9jrqNRmRVKL1xp52iLH7FO2H7dCn4pXSTC+33EiRlnF+ZkF0IOYjUse5mDvGn+ZdBh4+cHPcb8Hv00zOVZnYk+RNU93Vln7k9BnQeFQPea1hbXU640VNfY3mKVWYB/JCaKH3gAvDSOXsq1dic398s6qTw094frUGeLIublH3PfHAd9jVYtTNyBvfzy1TlLaloQ5/KhPE7E//scic+RfVvYyPU8m8D+Wnu4zQv5+FfBE0wq4tmznrC/WJebW4h9Tn1kR3zzyefsc9MFz4kHdfAfi+Eu+lfZA3r+kIRnb70ze2+aHHnthRozFP6qc32EuZjHbWBbQt4vLPev+sdBnJPIlzBYTI+XDor392KPPR82N0vAnny+hL8VNyXvwdQ+ljfY9t+UXnyO3GDS2PX2O+c0IkuhVVyOO50rPXQ/xeXcdp50HHkNP3Fm275UDMba6VPubs6h4JMzyEmRRePWj0mUR3O9O3Um2AXA9yyDDj2VNPL0lU52fYW8LrnUa34Defes6ty4HvTX64NOUBchb/jaa46EHnCs3jW9FwnenDS9vv2BCLLkNu1psDYiTe6ovcsSY2IcNlG2fIhf+2LjvezxweOKTyMpe8NTi++EnevCdgV8pVqP5U6bly1h33G9sYXCfly6xzYPkAivB4/z9nePZ0Hdl9/xPB82Jf+6iXtLuUfwEvUtzxPl1X4zVnYh9fVFhHFLDHiZxp7G56D2bVjdc8ge+uQnN7kwN4gbOsTPMR+81Vj0ZZswinnn5Gg1V5OkASf9PVcD517Erj2zGHkQelDWjNLNGlm5vbjAd7W/Hxr6HDxfHil3Phm78Fjt6Fv2UafE6SmM++lBL2kXuUTMqFvM8F74Ned+wIa+iDD3VN7FafjPOO2/Kw9xtwOvl6/MrtcB/5x9libbwv/pTje7foZsiS5xnLES/kb5v4pGuSaHWatdbe9Azrs91SbKGflVPk9+BfMt36iyuQS9pnPZ9/dlv4Jv2elEz6JaAbVtRLYo+Mt/Lf3s93r8u4/gBPhFvjVOThDrud7Hg+McK5G1BzlLOD/iHmusd62M4x6X32wyQt0jH8WxJHnB8o8Lu9mRVEkTYXbRPc6LGsd113K94voKXzyOAH8Hq3TJbb2sRs3r3igTIKNtc01SzE/5o1ePLHmtHvJ/rjimUQu8kVnqeHbRGb9qY2j4Z/n1TcnD1XmOSEl2b3+iG/HbYdMaW28ivjTHHszYCHyvWtESXm5CUlncSY9RXbeb03UrAPvJ+qB73hU5Grj/iLYC/KnFZqiHIa4x7Xz5EmVO+DDtT6tVCYpwV8rYag9dua7fqLkVeablyfhlwLBBI/vDIxvlfqofYfDGjfE5w1KEZRNzr4w317uM8XlPrK1PsiT3X4KryG+yn/931Kn3kiud61fn+8LsrVYHaYabE/SV5aswf6P+e79OMZztT6O9XWQ8U4a/aTkb92+2JHh0+XaMEnZKcW2EQhphx/cEhzQZ8znlHZ6e7OE+V4gthH/ysTGu982fozKSH40eSFInZIRKetFmT2Oq/vbd7aBHn6aHNA+sx2IZdIV5h4LurBt9ZTZUoIf9A73ptalRdUpO1woKKvcdZuLpjX1Ud2XE1OsQX9Wr2nAp99v68YMWmRcRhN3b9c7Im7zmRyqoHkbtejmSkOYLo5eF8jX9W4GlGb+Md7F16lZPUOczpwK4/4hngb+rEEQWOCXEmr3NIvoPcuKHcTVoffdtv53SpJ8iVl443h2iDf+zfIUGToJNLPBlLTuM8B+NKxWPRkwKUDlQJgWvVeZKSyJ+CVuXs2SfMiMQasiWPQW9mKx7zk7Gj4riJN+skkMsLL00o7ME5uhl/JCXUiPcwc0rRbPD20uD9kFnY/wzN5o6T6IHee5LSpqiRVKxM/utzuN+xIqXWIuzL2lS6dTyes/qM1na2DoX+OKjySBF9edLeZsmf8DnJgiBnzI0v6+t6VQ840mte6foG+S0xYgkFQFeGY8yKbAxIKP3f5XplV+IrFVr5HESelJYg9b04T/T+zL5oKxLMrXh3/LclCRcoStfPhd71ru6VSMNzJsqILNwKvbi8beYGfF9qStS+r39x/8xQRuh/6E2Ddyt36tiTwChCtI8BPImW9vo1oD/4Lz8z/hx4Jvut9Th6Am9+92ET3Jdds5b3+w3yTYnWQddR3P0pspgnhT71ctv60DF4LvrdsvCvFjHSa8afkAWuoy1lo8AfmryVeXYe8sdVWf/uHJznYt+ju41EjUHnTuuogY9X7FT9bkEn+taXuzA1iaF8gFM+Dv0yZYVDhwh8Q3Pg5dwC9O4Z1e1W5w0o1PhtaN8O4Nhqav3WMOhnQJRL5hL4bmPkX4YUegZz1yKvg/D9me9iv8ZCtzZ4bfFdYkyslZ6u5e7ode99T9WeBO7nxtfHhyNPbsm90LnJkthPwuo31gHXwbGazo7wz9ZXvZwXmsBJakqoEvhif9m8f7k5CVM6L0z5a0LcBxbpjf7IP09kSwU/kU87xfimm4HjCe03NZrxXJu/pEhUmpHUjA27blQYUWfLyd3CHuQSg4cyDq2W5G1jmvjvoT0JjTc1TQ9HP1FQ7alpVifu9/fc4bkmVOx7+MaeT5hPraGF6gb46bIic53pmIv8M5s9+qYkjBnac3QunttdyFLaCv7Pb+NzvqI/eayYW8hxJka2vP50dfDvxXS7MJ4tsQ5ffRvxCHuakFxQHIYeOGbj2rftyDen06YYf4XvG6jEvotYQYy4uhfWhPNLvu3dfA580v5ivyMPOBHMTJ7zAZ+XsHx6mAY+J6P5bDJ6IvOFz0e5fuj9maz7d7SxR4t604vV6JMV1n/M0pEffrzYv0h7Pnl3mTp/+Q+80TNI6Q6GL6YNyKSLaRLLtX/Syqvw25LPmr0ngH+rlJlygcbEdLOb0rkLPbHqu+GeP/AH5dM9G37oUKOCo82+p/BFru+0s27g6YMU20bkE15BzD1GHnJQg3Z6J15nSp/cdv8+/LZy+eWPbtDlC9Nud08CPhuqffqhw8KC8by8L8ijF37wPQfA75jU/hNcnOMN/86TN+glcxz8/4QpE/9CfSQrHDw6JfgzHADf/DX+3xgd9DIVnfyAPuis6ED44CPkvJyurewk9LeF2598D8c8G05128jCx1hS9jUMnK8m42aSN+ZS5yVywQN9SWNmxUwZA6ItokGuc4yIg15QeAtzryhiqDlaU+MWjnn5NDf09HBrxkfkie8yAaJ30T9PX/8o2IPPT+K+iZuK+7/Kb8kfD18/cc+nLVOPGD3aRx5sB26uqx+dbwBf/l0lmtGkT8LM11JnfDDHNR83xEerEK9rVpBOry0xx50WzRDXpVA7YbWuLvZcerhh93LMQ69y57XR3Ln3v+eL9uN9SqVmLZ147vjDw5Km4M2vqb2ZD5G3OjREFvcjV/54LbdXAD1wqbL+nQY9UmHzHYdYxP7Xe3ebriKCnOwqJ13g9LTMl03yHiTV1MeZ+NmJWHV9WxpFMN+Bg/cnbLGiUParhYGSuE7y1ieT+bjfqT7vD9WKxBi8UMo+gn6fW2l0Q0Gb2AUZnrmh0E/fvgfTdmoSZ4+LRuSABjFOcKTeXcI5HetLPHdrEW/D0ps5ew2R4z/9qhjAHAWda/SWqhH/zc84g5tqFKq949P8KZj72vD1U/PgP+m6YkHoO+xof6MPZxSIwZ2Y/SYBee+w4YNxRuoUethdefAI5hL8u+mLszb6UnRL+TLw7oP2uJKzmLfvApGT9uBNj8/79xHoTWftsoVZ0K2DstVJt22peM7Lti1hyMFL5rWqe6MHTLx4wNYZPpt3Mnj1ByPy5nHljtjZE8ddpuzgllXEzG2+LKKJvp+3QGQ8C7lv/ZrhPaO57YZKe+dL9Os5mXcajo2+3+Tefl0H4tHujuj/oLtDztlaSuCBkbpZjr01hb5umGibDH28cCC98pAD8auf9gRvQs5MVoz7HKlCHKHqz0xt8HFmSqduFD7vzdf9dEmeBD9kd788hflNWZdszQZvn0zPLQ8Bfkpj8ruKbYkt03e69BL0jj01rk0XfTpny7K0KdDBdfJVn0zMqPHmiT9CP8xrl1n1dlvo57qa7s+X4EOyekpK3eDTkrdafZb43IWTTli8wTnNQ00+3QQfrOu/PBaxocYn8YcKTkC3XzjH/s3HHh5HB5+GnXAmHTeK08Ie774QrXmOPG+euaroCvKw5cm+kmz47xRRr9JUzOnUP05Nkx36g/aiTa8NqJGb+spEHnu6HB0xa5ceCYocMzaIo59eVv/u+dGWpN7PsVdVd6Xie/HryiXguzJrVA/3Q2/kz5XbolfREPfv6mb0U5pR9PeYDrGvaz7fpGCFvt2RnaeDuVf9dvgho0PFW02db6y2Ip7VzHXZJ9GbzXhi17eCL18lu/9kYU4nZLnPp1gSfzf9vTwZrytUNqtAh4pnvxvPjMK8T1jFPw2yJG43Y8gvUJ+Ys4pVagPxPsM9vOTHSsT02m0qbEeuXGu3f9196MsX9bMbsg1Jaq3eLNFm9JGyhmcLSgyJbtftG5JEnnqpeNzwFHzeumr69Vzo/pZ2nyL0FW7eFTeDFsTWuo+6ZfBx79uT5ufWoof8+MZfskqTmClmr4rtkev0bctf892I0/wosFIMeUBcU9TZRIP4h1KnXhdD7khu27cvBH74Z400tx9z0qqpSelGDvB32z13OfKzwp4VrXcxxwb+wBE36GIDz22pqg0xpvxWOXjUkLy3H/ikogUdS1hcOa8UeB3KW5gggZ7RxXszpkuJaOklpfxXOI/jobfqTEsi2+1no5jyRDI+m1KroE+XfZ/n1qoTb9e927+nzSeKEsm3l9QjnvTG7ZHJmEfxwI4WSeDcdduuBvg3NTnd27cEn6OQLdeTq0ve+QZ/++boE/vACgW9JOCnpuGn5kHk4j23S3MJPTXe/mIHE3Mr+VAwNViLOm0yltyX8wH+HF5yQ3Fu1TET6A18PPDUFs1g+IjmIFtsgxGx2x/MurccPi0fv7RjmS5y0ur23By8f8mKG8lZyLWMhm9rjDHHOeLcvEr4VP8O3sh7+KD+kfylqcgVEX1VdmLuRFIF3DsKeiR1SX/RzZcGxGp3W9hdidxYFX65WQv8K+GuClkFPks2O365DP6sMtdum4KcszV7iuVM9MOqhfHK3tCd/dlBWg0sepOxd+ov3hIi8WBd5d3Im8aXhlWmmpP3GmHTSp4VFcsoPtoXPtrrN6w7fQQ+1U9G80sxr9bjNzWfIE8aRI8JVnVAj5evDrqF5xYqOuZYQhdo/Wf339hjWeWxX/ZOJBArCNDlgJ/G+/SX9eL1rSFuM8NUKTSiVqDuYUms3X7vxi3GcxfGbH9lBp4EFZ+7exa4+LAk8rw1+B6ka2PqhR4+N6hmoj1y0O5T+SHQSaHCjJ9nB22IefH72oZ25EbZyKT8Y2rE6Vv8RjnehIT29xY3fGYRde/Xtt2mgc/5lG07BXlw6Jp3rKo2cSycdJjZ8MtTt2fzM7CXoTMrtf9DP7sw2P+7DLlFW2NOTgd8c1N50Jp0FoXOevyJ74X+6nOT9SPOmELfq9ua+UOXjrQufqaNfee0D3VOh+6vobGFC5FXa19V+9W6gH9n5kkBz+zXP+47lUK3Er4J39xBHz4SdvhpAnAWfTQyKt+K+H3CsFkboZubupbKleJ6kZ7r11yx1y7L+wUCJ+KI/mya1g9903837OaHPjXYm//JC/oRv+XzsJ8ecV+f2qk5hFzACS9Yt8GEvIcOrJVzRx6LmrE6vBHP5bizoihbmXixmicN0VeYFmavw44i347z+F0sDr98XKdyI220J5fFvOkGD05IPA/MBf/n26gWmGD+O+JapTLhH/+O/bncDL9/EXHzuRA5w3iKbogn9pYiZ1isj7zO748fmKhBTI+uFxuLFYi9WdKgtQl+qto2kCYKnQ+d/pM3GXz6LSGaHuyAfn38wScb9Az5YQeFDdDNDxYfL7OB6/L9sQlWmLel6aTm5fDxxHJNm2PoLa/dxGLloOfL5w1rpyuRd/B2fzMx6ELkn7Ttdch7X7U+xbxHzpRIqpY1ViJO4gKfmVfhE3/cVA4gt3KmNHkc+6YAf9k/7421IvE6+V9MzmLf3b3hUzYqEztD8FcrFrgxFYxPF7UmRmIaXQ03BY9L3/Z+Qx93fleqUoPzNrXe2e8IPytxmvJwkQFJrWjtv9AJXfQsUzgQpkuCzi0b8tAT+Xp1e6KMkJeCYx+5GKsT56+4w9JxyLHzEhVEx2N+B5fIXc7QIan9h/W1M0f9c9v36ec0SPAu8LPKoBUx+z68PuWF+6dNUJGZ407C3Q+lenyBo+6crpnm0BEDvecH1KD/SgwdlTIjKh5RzktrY1HjT9+e8Gj43emCtOiPROzxcwpMHgNnIrr7tM+g3xmm16+pRh/bnDVQcB25z7e2vOqhBfFfmuSFFGGOi7QVh1LwPpFIc4kRzDtR02jsP/jCtjMjx2LhP63uOr9OQcevBa6PfYwc8/FS8YMy8DFX3L/VxRH9bcLMmMnAs9+/ubfr8PWg05UvUUrEfj9GTx35npN4L0ExGPNs2LP+eZY68a8ZK+48gX7f379p8h3kMYn3dVmom8wXx219vZAHr2ddzmwyIinx97JjxoGXf/YtcwiHb/tO8F/piD7ya0p/RSLed43xcKUd+u9P1q2RKPB654aKm+W4b+7PSBkt9P47Uw5XzEIf0tJenbWVBX9beb7gixmFmqtETjwDHoiyPtxtQ441f/TjtxzwdrfB3TTCBv3qw7BDghYx4z5+DmixoFln141YvltM7HlSO/YrYq6Kp5NnVELPyyaXZaxHbql1TJfNAA6PZbw6oKdCdOl72NU24GZidZOrkiqxpadlL+RB58W32WvpI2f1dv4M44DXd53H+Xqgh3drrH00F7qootgsUwb/P3Y6LcjajIQbDNMLpOGvhX7HtnGhYxGJe0fQW/llF+54HsHnFnwyPGvpQAy5e8uNHlsQV2VntQ9yHjtB/pbqeey1vvufEj5PqvXtHJY7fDsu4MaSYOzHTenC4dFcuknz0So35Jrg0/UGAlWiKx9OfuXoEGNy9+oqM1XirqiVu22DHnN2x9Qijjlw/ObaMHovM0yi5s43NWIMTxTXO4P7qN7dPtBvQ1LTRBgLAuDjJQNfzLbhPgdOXn2hjd4Wwa/deBr4Nztcz+1kIT/RikcMM+QZr6Zla5Cn5kfP6FkB38opt7qHXtHYcSOs9Rf2bbBsxuFh9P0tDy+OmQgdnf3NaZwe9izPkC+SRt8WyxDX8YDuNW443bMJPLHhZysJkJuaW2bH6pmRoEX5kO4VfD294Nm3ESPkqxOGWeOAxxV/WvLYesT2SfSs+I49TtFJDOzWJc5AeJyqLvQqpC0nb78BMaN6Ol7vtCHvpgTmgmI8Nyttlow7zjH7acS80d5xaHOLVBNy1AhntedX6HjNl5SMMYrkvfLCpbOf0E8HMhWPP1JCLj2Y8RV+JcxXtelLQs9LaX45zQ/3TVY78iF6LvEG3g0/NTAllr3X/jnoqewbDtPloQNSmLaIih0xShrXHrPSJsER/6Vth5SIcW1L1q0x+PzIVKnzJbhv/vSTrLHIkelqzvMuwh//XNsceBX6kvbyUqgxcvtRl+1jXqsQ/06F9K8x2sRbt66e7WlCoQGBMYvZ6MXh73TbRmyJ0fXHqfAdfG5VVudJU3US5lQOqpZZUvHRLPWwF/CbivHrD3TbEPeqPPP3YfhH817FXTOhX0KjtVlp8Kvn39oNm+yJaa9mtLkGfWqZRmDwG+TOVL/+GTXQncDMCX9U0H9cZCWYxeCRr2lAgCp69O3AzmboLP9lfO69g9BBtcSr7B3gR5Mqtz8COIkvWTxlkzVxvK1nL6s0JHbpXdFJ/ehZCjp++cbYS/3uf4w6NWLbqOzkBqN/qKf11bRDJ1Omi8w+gH1Fd6ru4SCvPP66yH0xeDLs2rdkpgHykrrcrTbw3q3+9vxNmFe77sVL9xWIv1AoW7AduedodmdGmT0VZ3Ytj2IT8QO2Sh5jopc6dKi2S8BPu/bsKUB/p6t9GcdDTInbPvnx6UBDYllO2j9W2ZEYCZ5VV7PcSSp9r46UCPrFqzH3ZCRdiJn0d/6pNbj+n9acujHAgeKllyGa8B/Zd8IL34G74CcprHHgQ1zEXUUmdHF7o/pqK8xpvviLgGnwyc/vEvud4TNLtO1mXoP+Vzy5/3wA+lameVS2xpkEgj6DDVrqxLacppvrpEKChsfpJXgOZt4rrQuYo/etBTVlHbDRhTbPQ2YtpMbpYsMx/vDFdbY9rarQIcb1pRXrobNlOULzch2iygXOWSJWxCi+cXPjEHJ3qE5M21Pg7e2t+PFNFiS1eJGJ+nbkP+W4l4WJyI8Tn0ekPDeBnpV+YM8E75hPlCWPGVKxuFdya44hCZbPrN9Sp0OCi31THqD/8XqW5hXVwE8tysa09SE/HDmtPOwGXC7pHB75qo1zGTnsGETeM7SaItkKfVLd517ORV5RW3C75xRyuHZ9y/m/1sTaYn/suB3yQemJVP+DlsSJ0tfMP4i9BhRsnH/JkTgn/Q1l16HvJu0/xytUI+6F6x67/e2JNzHY7vRX6Ni8xZeTrfD9w4Hm645jL9aVmVfe6hD/Xs0VDk+LGBHbdz1cC1yasTSz52qSsJ71VCvUiZgPC6YdXoqeUTnot0iIHrGOOyU4AL3Stdwjboo9Sc3TLG+TH/2513SN7jzkMfs4zqy95sRI3R8btBXni4+0XUTwq/MZSrrToG83zyzY8c2KBOFx3UeyHIgrPVPmlBf0bfeTnxdVzak4sWeP0Bk+77b41+OryCWLqy8/d0TfG+PTqaEO32GsPznLE3yWP/dVeQz0xDJ3wPCPLTVKHXWoHEGuiyjyjBI3IX63baKMoikVl1wRxpiBN9JiY0SngNdWSVf8jsLvi2+y2keQ43sr5OrnQX+GewaX3Mc8f4jV9/ipES9OPOrzL/iCrnbTcV8P+OgvAwrQIvYuhWf+kjivebLuiUfAU5fD4oXz8Plj+KIt0ugH/MjEsh9mRNrFJ5j9yP2nhxQmFSkSe2VG9HAdeD6QckJwBX66wWTfm0XIn/0ZViXyyN3LL7LWTsT1anO3mF9QIynn6r6jl53oj1lvcPEmN7Ka+9REuTqIuKsEI1qb4EP30lt/xVqQt4jEKmNtJ2IEKt0fKTWmxg+zv8+Cf7AaZB3Eecgf5Y7H191EX6xOWRA/g8j7QH69lbE90bQ28TT0HX6Pxuo/o3+P6vKd3aYB/Trk+UouFDyctG3bjCjg9FzJ5sY18MM9HUuXJgH/pc/2SBF8z91y/uYsnOMCv3dXhBaFXjly9ewL+DerMeKhFHxtvITygzr4xbrUprRo1MNVUZtLQsBjw8iytkHgSTJ3nLw+8uPP1+OmWeE664cPPpghrzSN25nXgPvufrQzshA5LOqwy8AnXNc6qeF4vwY1pg4UDnYDIHq/BJ4Z8tD//qBCJz3iSB7csScVvvzO9Pix7cgDN0Z6D7GgZz7MJ5lHrMi7YmhM0nZH4FN0+FEu/G1rQBej1ZT4IVXtaeif9Mj88i439EKnB5GXZo/+nWbfm1MR0KmB950+9fAN9vU35vpKxBXoZ2zgI3dIfGVINGCfR1IPHFOEvlUsdUqS0yPB7A4V+1Xw2eo1kqJHMSet2E/uR+yo2P7CorB6SwrdYvwp5j/owmCPYlq+JQmstRZFNaPXKM4V1/sLXEa+rVffYE3czcuYXmvtidGr5fx9pi4xlAKHrzQqEleo6l27goiGfguT27VIoHK9LGkf9GlXjOhqVx1ihnjf91oJX/j0+Fx4HXSuRKX1P0/sWVT6RsVx5LHZh81LvgJ3Y1g/WzyQk3y81ZbPwD6yW8Ou4Xo+X0fH9Br2emq87rc3OMcrl6RSU/SLmNN9SySgGy3P7d1PgTfCr4s5TdjLY4mOKywropDb9mU/oDNT12ubf8dzLb1j/LrNiPjhcxd5S6NXi610ytuP89JthnUS+BJ9U3raduiN15W0paKL0KePeqSmYO/5Zyd0ueO5Whg5sSswj7arn/RjHIn/cbrlo9H8vi5d138v5ponYiq/EL3BfpX1kXb8O2uihNY5I2Jfcb53QcqKuNpiyZrB1lS8+dyyv/+gv8c37dyAPEATJTfFyGFfp+PvFyqYEfPbzO5Xvbju4UIzaz6C+j9XdZkWbSoWyehoy7EjNjN5zff7wKfID/GfP9Fjtzs/rFe1JeaKBTr8g3j/BMW9F1r0iI7vOM+VQv+LZj4LMwCe5rhf67gAXRPLvVqgJU+hRiTxfI4rsXVFpFLC4IOVGi1Z8AV+iCFb7wT6mrXlpPQHmN+URKeOd4bErL+e9/A9/CIs98DgBfjLsq6/IWH49/EBactX6Kf/XQ4wQT9hP9YoyO40pMb1a3R8RvGW/b3n9mJDCp1bc8LTH340uT1E8TZ6bE7b9I/of6Gbtp++sh45POFEZddv+EgTHbcdpwy8VrpcOaZDvPiuoRk+o32xeIdwEfixsNvNsgG5u/T4oyf7wb/CWPF7Fg7Er2c0X7CFv7xeOcjbi/Nrn6rg7kdO+npxsKUcumuztm7e6M/N34ZbqXYBL+01/tsAP5K4VW8ogO9XuL5f7g296Z7r4XgL5062ejY3D/no6dIjnx8ugL+lRk8vUiVeWMfDkvHg968f7ffmIh8lPpfbrgf/vbNfLboY+VfC1sp4tj5xM+bsXLcdOY493uVVH3K3ia6q9S4N+jO533RvJnDDsPh7o0OBeIEvtd5vgD63XIi5WT6PeEaGU7eN7u1tblbIK2viHUjZZP0U+UVp3N1ls/Fcw9l3lIXQr6OzK2x2mRPzbEB/wGzkQstxreOyNYjbOu3SrBrozvQLfd3j4HtzH/sG3LEiXquI+uEFyPkmWvfURdAzFu96XIX8RunJOwaLgO89M82c4kyJ8Txs6pwR5MkPAV9zA6Cb+ZEfBHPB34oBs6TLwKd/DON+HnL/+2ylMcW2xK9V3q8qNCCuVG/51mnwSYftMasnwgdfmqx88wtz8dd0tz+MeXuZTnoTpU7MQ7VV61vQI65mjexZhvtygnV//cMcMz8FlizH67VeRTlJNsSeMrb01TX46kG92vg+9H1r5XCdLzhvkax2mQH8oGBfUtd45Nw3xoWyj5CnBpN/dq4DflYWbBUooJfecFr69T9VYgrbMl9+QB6XeKh7KR35YVP706noY4wvdn6yq0d/zqN6+GIucGr38GdtH/qDekPIibvQY9O3/LFjwZuX7/Z/CsP5SyYtF70O/dXwqY7lo//7rlr1qBv6YOXXF3keuXio2ceDa4bX5S4+OgOe5e8VxGibEts7cGD/KuQFdsC1LgMt4ik9jv9mguvExu9ZUDT6e6QVyZOr8RyK0zNLLqtT8x+r1mXnVuE5HKbZJ8D3PdXFw7JMyXvt5lvlpu7EGH+X0/ZdlwR+Oo+b5VhE15V3M49h3im7FSd5Iicm7sk0GQJPtqfVhWagx7Uv92OP/l2s9MXhqa9xzi+DeVJZ0N8AjmCVjQlyDkchdSN8Jqku98c+5Fs/x0o9ffi0WSWLFhuTwPmK+8iIDdHdxHkPf0Av40x9xYBLSu8wOT8J9zUaSWwYRD48c/LWtDwLYvd+2D6tWI34j21UniDPCW50aVQswn0MMiTMvczIW07uv0lrHYiXa7VYeAj5/UFswItGR5oVeufXFt/lxFcamRpnA7wElNU6PYEuzR/OnrzWgoSMg+9yVhtT6Kq4+pL50KnYNavcus2oOK2Wc4iD8yia96Uc0SP+jC4DgRb2UehRtXUIz1Fwz1lKHTjUn5XqX4Y9OMxbrQe+se5KZyowwKc9qiH9r8EDtLXyG4ReH3JnQzT6Hu82P2k/+muQUdIRfehVydie2UZmJDQR9g5FAKcSR8QdnSyJLfbMl1vmRBsL36fIxhN08Vppgsnoj59rbba0aBA5Rt12ykY/sJ6unz7TkLzfOpn1p6AnHrDOrlFXxx5+HDCZaEGcwWSv8dALft482XoHDWLsDdK++QE5zP/uTplEzNvQZuFm3znEu+IZ8MvYklgmQ5HjdaB3UWXBD0TBo0b/Y8JCbfKu9NeuDbUnoXq05CH4JrPD5tThJ8rEl64qVDNVRe7fqFv2l0UCvn1yQpotvWkbnhSZ50TC//6sUZWbT7SrYyLTD368r0G4KBh5ZamS0b45mHf14r+DJUS85F4R2z16xLoepWGwDPr5PrVbbXS/4mJb6l7i/eVahXpLLKjx7+lrHmrI92lL9hUlGpPUIL/9khN8a9ysilPXVaDf0Xt+WGNfjRXVhxYDf5VH5/15jH4jLV96ZLYx+qza1mAvY2JekRNM6yZqvHtGZw16gkDW+/k0SQy46La60QacO91oZ4mmGbGnTpXRiEFvGP9tSZIzcs/JT/H60DshfUix3wW9E53ww6gW91XY5biFjbw8Kyl+/nfknPV/L/NGedEXPcNsMnJN/zXfnjac629E3+5+zFNgGzx8B3qja6Ej7wQ9qvgtfXOQRd5JwqLUw6O+dWtPy2n4jJ58xHIP6KJD4Zqxg0xiZy1LoGY9Yly5n/UKvYcTHvNV5Rt0/ZbVVOOZmsQ/c2XPbhvk9fW2lz5ngAfDJgaByGWC4Q2cfCV8DQi9tWUC5hJjHCq7A/7xPdvj7y4FKl6VVzEvyY3Yk5cnzrGAnxW3/8g4PPr74jXt65FrmClvGadzoCd/aob60bvJwC7j8nxr4vs5Lo/Uh05OcEtVOqxJVPvpu8M96JBIyZsMtgmxBlSfueaB78MDGUHy0BcyPiP+25RYkTbfftsir5g+HLPFWJdYCzKFe2fAX6aOMF7c1iNuQdmcl/g+h8KLclYiRzpvd9wkC58RW/nhxih/Xhx49KMWeJJ/vJA1HTnO9XrQgxbgRWfsyNhC+OW6p+u2hkGfz7KH7xsAn+VPd9/7Cx0OKfl8LRM6bcJPvuOJ/GzUO/7QC3PirE5oC9yMr9delq55gT4zv9F/tzb4vnqJWYIPcDr0L1mt0o4Ywcpz8puR81oMMm+M/n6uyMbVwRN+Wt6d4NEGHXfbH28/22D0//PcMMvEdWOvzlLmot/Zdz7MbLcbzd3JlaGYf86se/xDxiQ8Fj4cchp7eiWce2k5fDJVyUBn9Pcrz8XWfAlGkMh3naALP+AxeS9LjExJ+ERXcKkeeadLc0lvCHqEwib3/AcqVO72MLAgbhFxO2azyl65UGimf8ErFwdieHuy+KnQif0c/ZtjoZv7L78RDUcPerhF11ITOLtzhvtRC58/c9gnXk6dGILXmV9zkYv6J86qszAnKfUUB6du9LVKf++aOOTv4PSgLyvRawtvLY6+aUXsBa4DGUz4w72wHZcPIr8OLL++7Rh0/jH7fv1Z6IxA6XzFDfjzBI+BlIfYf1zG6RZp5LOws/ybxi7Enndi+rkqXO9snnymA7m8+NorUZ41McszurQuIhfkxF0apwFeLmAUPnwGXX0l3Sw1KoTj+i9Pe21AxQqKuVZOpsQNXcm1GO3XXJeyqEXglVh4bMAP8G9/svdM9AOmeZeEPBM5PSiVZZ0NXD9SHUxfOPr/Isb9cMklYs3ZeMCqD/wTizpdcgf4X/5V6f40HQrNlniwZvro+ScpbghGX3rbeP7n3NH/16N0uNNTn4r3fdRZ3zSaT6pMB9jIs/0HSkqOgg8br6UnrwROWv0c1ezwPG4eW4emQheGp66d6onn2hf767GnKfzNuq02XYNYLukN1y4id9Q8kKsNAe87nZ7efof5pHQ9ntED3xhTNGnfTPDqc11rZzLyQ+r5D4fGYk7X5L+Pdwfvkhd47/LUpsbsZvkVr4Fvz4M76sEjmtJx8PU4vC/hUUlQKfx+tXRdtRSRgON7UdoMuPNWvvxCBP3kZ1uhlKgdNc6ckGYwyv8XFptk9JF7HBuKEoaYxMg9L2nWhX16yNzSWg+8s7K2XV2I961deOZ6KuZ5aCgpMB19oez4oOVh8PCbh13SWMy7TVlc5SKen6v8L2U8cPVyr0ajH/Lj+e1N6wORI/RuzolRQM4uLhJ7exY67ydaayKCXPTG32LuQeB86EmlSxrmZBDWHPGZKHTs7BVxS6EHZvFt3Uzw8+nsfc+qgEf9/TntW62JPW7nNY8+I+IkuirYGcwnXtLbZs0E6HupW6DhEF7/rmvxucSFGHecFLUPzSe200FuXRF4v2R30HcTzP1qVUtjD57vl+21a7Ph773Jen6KWsSXaujYW2FOvJOPjjdmOBFna3pfhpsmmbmoaHkcXUVcSbFxViLAUbJf3Z2z4K/DanOjYuhco1bcj9H/h9jy7M63XWrIbeNmRsXhOV5tGrmYZo8c6JQTpgQf0r6TtW+GM7HDF0j9FULnbTcf2vkPPr/yvk5nLHjgxh5R3Iuv++pebLDVHf05zMt4O0OS2nnkfMoE+DLTRLeqCbqos9y9h4tcJuNiav8Tcwzf3XEmFL01JeHm6R5b4jS/niR+QQV7tCpX6TCnUNfugsmbMGfZHRd0pxqQVNe75gFRF+I3aK4QVEDvf1YOv5qPvBOrGvHXSIfYI6sqTo9DT4k+5XzYW4fyv8r13mBCZx4nKlwOAP+Upl2wiIL+7bjOsvZFPz190M83Cr3uwoIHWtXwR42VkvwRPeJtoLxsIXJs0PIxWl7QH0XuwOKDesTe8qFOgD7Hibp97dwTTfJ+p/xzbiP8ZsFevs4YYyo2fGRkCl1rrFGcoAR5ZDjqKDl/AL5WrpFpjDEgls+qSdHhHui9R7IVJiHvTJj2uHO5FTH0EjM1N2GfB7eaGu3VJc7OU0WFeuhvC7T4FRPtKLRPJ+qfIfy0v1zfED7HWvxomuro3y8Y/fdz8X/we6HP+1Ap6P/ZBVmFu3SIGdBjucwG/lF35cyOeuiW6sDHKGP0pU2XnriEQu9v+b6LWYTnq4idPPLHiYp3NgmfvgRfHNPfTXDVJs7s2+6HUjGvd3HV0qO9S5z/YsklLRIa/ROp6UMOLJOxfLzHirw58WZnouF7Q5bBW4zgk7aRT8/5Q2cnGNoUn8d5aFLjJlctYkfqjqlyxP4bY6qkH8IX7o/4PzXDfCcOFb2wRr8Mtyx9N9uUPIz+JXIV1xH7ttny/7SQ3zxd53VmQB82pH9RnQb/0t2YVY6ezbj2NHFRgiLxb0heOutsSYzQhJw7z5Gv+QfWNOYAJ+J/mmUi4R/vvT9yy6Bnxc+aZk8Ej+SW7j/pjn7dExK3oAjzmLP9ZsBrLQpddumnqwVw8bmxfpm1AbGfrC2sWm9F/LIfD59YaBFTRqRT+zH0auB4bL356N851cq+/Q49Xef45U0C8HFtwsmtEcDj6mIfYasOckb307knbKjcKny/ZbIvMSS1K/crQQ9eb9gvPgP4eWsaIWulTTz1Vfmpu+Grf5Vd3VuhL6y7T8btRR7xWH/GwBU9rsBS/vQ65GWm93tNXP8/vkpZIA=="}}