{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; replica, solved fee policy, price filter, tell and QM tables. Few-point marginal approximation derived from the cited rc-joint artifact.","idea":"K=3 or K=5 deterministic weighted support for ln(rival spot)-m, with band clipping, silent rival-only retail branches, and fill-size-likelihood sync. Third arm adds the BASE 0.35 against-bound pull if majority sync has not occurred.","setup":{"reference":"https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research","commands":["mkdir -p test/scratch/amm","curl -fLsS https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/fetch.sh -o test/scratch/fetch.sh","sh test/scratch/fetch.sh https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research test/scratch/amm","Fetch the BASE artifact URL in sources.json; decode zlib(base64(code_zb64)) to test/scratch/amm/stalerival.py. Assert SHA256 176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3.","Decode this result code_zb64 as fewpoint.py beside run.py. cd test/scratch/amm.","python3 -I gates.py","PROCS=2 python3 -I run.py stalerival:Policy <seed0> <n> ../base-<seed0>.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35","PROCS=2 python3 -I run.py fewpoint:Policy <seed0> <n> ../arm-<seed0>.json soft=1 qm=qm_k1e-5.json a0=0.35 ainf=0.35 K=<3-or-5> fallback=<0-or-1>"],"verified_files":34,"mismatches":0,"dependencies":"Python stdlib only. Unmodified pinned run.run_policy; PROCS=2 initially, then benchmarked PROCS=8 on fresh report seeds. Shared kit score.py used for summary and strict mean+3se<0 stopping. Fast kit runtime not needed for custom Python policy.","materialization_python":"import json,zlib,base64,hashlib; from pathlib import Path; b=zlib.decompress(base64.b64decode(json.load(open(\"test/scratch/base.json\"))[\"code_zb64\"])); assert hashlib.sha256(b).hexdigest()==\"176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3\"; Path(\"test/scratch/amm/stalerival.py\").write_bytes(b); d=json.load(open(\"artifacts/goal/batches/e02-rival-track/items/few-point/result.json\")); c=zlib.decompress(base64.b64decode(d[\"code_zb64\"])); assert hashlib.sha256(c).hexdigest()==d[\"frozen\"][\"code_sha256\"]; Path(\"test/scratch/amm/fewpoint.py\").write_bytes(c)","base_download_command":"curl -fLsS https://api.imd.fun/artifacts/f5a140f51df99423d6ede60b618dbc6eabc37a3050ac439c80dc3824191e9f59 -o test/scratch/base.json"},"rule":{"state":"At most K (offset,weight) pairs, anchor m, pending-silent-remainder flag, sticky per-step posterior synced flag, reset counter; BASE state retained separately. Initial point offset 0, weight 1.","compression":"Sort absolute rival-log points and partition normalized mass into K equal-mass bins, splitting input atoms at boundaries. Each bin becomes its conditional-mean log spot. Renormalize; tiny remainder below 1e-12 total is dropped. Dead mass <=1e-290 resets to log(BASE s2h).","price":"Use BASE m,v unchanged. At a new timestamp, process pending silent remainder, then min(dt-1,12) silent steps. Each silent step: real.trunc(m,v+0.000945^2,lo,hi), then clip each rival support against each of 3 price nodes m+sqrt(v)*[-sqrt(3),0,sqrt(3)], weights [1/6,2/3,1/6], compress. Finally clip against current BASE posterior by same quadrature. No retained price-rival covariance or joint pin likelihood.","silent":"Exactly rc-joint FT/EW grids, j in [0,400], STEP=0.5 bps, G=.997, MU=ln20-.72, size log-sd1.2. ja=clip(int((hi-r+lnG)/STEP)); jb=clip(int((r+lnG-lo)/STEP)). Weight*=EW[ja]*EW[jb]. Branch stay with 1-.4FT[ja]-.4FT[jb], plus up/down each with total .4FT[j]. Each moving side uses midpoint quantiles .25,.75 of truncated FT, each half side weight; binary-search FT to get movement. Compress 5K branches.","fill":"On nonarb callback c=ln(s*(1-fb)/G) for pool-buy-X, ln(s*G/(1-fa)) otherwise, using pretrade fees and WAD-reconstructed reserves. If d=r-c (buy) or c-r (sell)>0, q=ay+1000*exp(r/2)*expm1(d/2)/G; multiply weight by 2*f(q)/f(ay), set r=c. Others unchanged. Normalize/compress. If at least half pre-normalization updated weight synced, set sticky psync true; reset at new timestamp.","fallback":"Third arm only: when psync false on retail, pull each point against the bound by 0.35*(c-r), only if c>r on buy or c<r on sell; set psync if any point pulled. BASE shadow estimate continues its ordinary 0.35 pull.","lookup":"Feed sum(weight*(r-m))*1e4 to ordinary table, own displacement and sd from BASE, phase from BASE and psync for synced-table choice. Restore shadow BASE synced after lookup; round fees through BASE WAD gamma guard. K=0 delegates straight to BASE.","approximation_limit":"This marginal deterministic filter approximates, rather than exactly reproduces, the joint 64-particle filter: independent price quadrature, moment truncation, quantile-mean compression and two quantiles per silent move replace joint price particles, pin reweighting and random resampling."},"frozen":{"params":{"pick":"k3","arm_options":{"base":{},"k3":{"K":3},"k5":{"K":5},"pull":{"K":3,"fallback":1}},"common":{"soft":1,"qm":"qm_k1e-5.json","a0":0.35,"ainf":0.35},"sigma":0.000945,"G":0.997,"rate":0.8,"silent_quantiles":[0.25,0.75],"price_quadrature_nodes":[-1.7320508075688772,0,1.7320508075688772],"price_quadrature_weights":[0.16666666666666666,0.6666666666666666,0.16666666666666666]},"code_sha256":"ba7f7b2d764da09dc89dbbd9572fac62701c6d66e5b84e5bfa8d7a83b34369d6"},"choose":{"seeds":[64000,64127],"table":[{"name":"k3","n":128,"mean_diff":0.053163897478019084,"se":0.02620277829575031,"min":-0.7228504817062458,"worst5":[[64045,-0.7228504817062458],[64118,-0.6237670153046793],[64076,-0.6166548393041467],[64038,-0.5225511057756194],[64023,-0.49852025538569933]]},{"name":"k5","n":128,"mean_diff":0.041189912595331,"se":0.024845760670351557,"min":-0.6336768252278944,"worst5":[[64118,-0.6336768252278944],[64045,-0.6033917372748192],[64124,-0.5014889318268843],[64023,-0.49373833714895454],[64076,-0.4729187303038316]]},{"name":"pull","n":128,"mean_diff":0.03934694701356989,"se":0.02373638057013305,"min":-0.5899927144207595,"worst5":[[64074,-0.5899927144207595],[64105,-0.5536912455432912],[64045,-0.5115341985197119],[64060,-0.508849284654957],[64076,-0.45401076817177]]}]},"report":{"seeds":[10000,11215],"n":1216,"arms":[{"name":"k3","minus_base":{"mean_diff":0.047541367796937205,"se":0.007667469482240694,"min":-1.1146804541227766,"worst5":[[10602,-1.1146804541227766],[10166,-0.9304674091242191],[10971,-0.917954098536029],[10879,-0.8081135204773773],[10748,-0.7859936240158731]]}},{"name":"k5","minus_base":{"mean_diff":0.05068416970446267,"se":0.00810297959949269,"min":-3.5484320101436424,"worst5":[[10475,-3.5484320101436424],[10166,-0.8634570538697517],[10879,-0.8606934870381338],[10897,-0.7966452029136235],[10971,-0.7906245456043735]]}},{"name":"pull","minus_base":{"mean_diff":0.05400316073591701,"se":0.007740665546235375,"min":-1.1957723641791063,"worst5":[[10300,-1.1957723641791063],[10879,-1.0375020860325321],[10166,-1.0016498881240636],[10003,-0.9004104549721887],[10105,-0.8738357069229892]]}}]},"cost":{"extra_storage_words":10,"worst_ops_per_callback":{"silent_steps":12,"silent_remainders":1,"price_clip_passes":13,"price_clip_candidates":"39K","silent_candidates":"65K","FT_binary_searches":"52K, each <=9 comparisons for 401 entries","FT_EW_lookups":"104K direct table accesses plus binary searches","compression_sorts":"at most 27 sorts, <=5K inputs each","retail_likelihoods":"K; each <=3 exp/expm1 and 1 log, plus common density","price_moment_truncations":12,"truncation_special_functions":"At most 24 erf and 24 exp calls in extra silent-step truncations; up to 51 square roots including two recomputed sqrt(3) constants per clip pass.","extra_logarithms":"At most K+5 ordinarily; up to 27 more in pathological dead-mass resets.","extra_fee_table_lookup":1,"extra_fee_exp":2,"storage_writes":"O(K), not measured in EVM"}},"diagnostics":{"gate_P":"All twelve unmodified gates.py values equal pinned README to six decimals; seeds 10000..10002 were reference gate runs only, no candidate holdout tuning.","off":{"n":8,"mean_diff":0.0,"se":0.0,"min":0.0,"worst5":[[64900,0.0],[64901,0.0],[64902,0.0],[64903,0.0],[64904,0.0]]},"timing_seconds_8_seeds_all_four_arms":47.710693359375,"hidden_inputs":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","rows":[{"K":3,"fallback":0,"seed":64900,"callbacks":9523,"identical":true},{"K":3,"fallback":0,"seed":64901,"callbacks":12139,"identical":true},{"K":5,"fallback":0,"seed":64900,"callbacks":9513,"identical":true},{"K":5,"fallback":0,"seed":64901,"callbacks":12137,"identical":true},{"K":3,"fallback":1,"seed":64900,"callbacks":9547,"identical":true},{"K":3,"fallback":1,"seed":64901,"callbacks":12164,"identical":true},{"K":5,"fallback":1,"seed":64900,"callbacks":9539,"identical":true},{"K":5,"fallback":1,"seed":64901,"callbacks":12160,"identical":true}],"all_identical":true},"hidden_test_method":"Two twin policies per path: real versus garbled init args and flag; arb,p,s2,j are received only by wrapper, replaced in twin call, and excluded from policy API except deliberately garbled ignored optional flag. All fees compared exactly. Policy uses only side, WAD-rounded amounts/reserves, timestamp, own state/fees and public constants.","compression":"20,000 deterministic randomized point sets: positive normalized mass, <=K support, weighted mean preserved to 1e-11.","sources_quotes":"All nine quotes refetched and found verbatim.","fallback_flag_caveat":"The pull arm retains a legacy-style synced=True after any support is pulled; it is not a majority-weight pull flag. Pure k3/k5 use the >=half post-likelihood fill-weight rule. This was fixed before choose, not changed on report.","report_by_arm":{"base":{"callbacks":13284123,"misread_rate":0.0002991599429748287,"price_rms_bps":7.113572957859634},"k3":{"callbacks":13311119,"misread_rate":0.00028654864303337077,"price_rms_bps":7.098147973553601},"k5":{"callbacks":13305652,"misread_rate":0.0002962147931022601,"price_rms_bps":7.101486485214405},"pull":{"callbacks":13328158,"misread_rate":0.0002984042140554451,"price_rms_bps":7.087065397342419}},"report_limit":"Fixed at 1216 seeds after the 1024-seed checkpoint, based on approximately eight minutes remaining and two minutes per block, reserving final validation time. No report-based parameter selection; all settings retained.","freeze_record":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","params":{"pick":"k3","arm_options":{"base":{},"k3":{"K":3},"k5":{"K":5},"pull":{"K":3,"fallback":1}},"common":{"soft":1,"qm":"qm_k1e-5.json","a0":0.35,"ainf":0.35},"sigma":0.000945,"G":0.997,"rate":0.8,"silent_quantiles":[0.25,0.75],"price_quadrature_nodes":[-1.7320508075688772,0,1.7320508075688772],"price_quadrature_weights":[0.16666666666666666,0.6666666666666666,0.16666666666666666]},"pick":"k3","arms":{"base":{},"k3":{"K":3},"k5":{"K":5},"pull":{"K":3,"fallback":1}},"code_sha256":"ba7f7b2d764da09dc89dbbd9572fac62701c6d66e5b84e5bfa8d7a83b34369d6","base_sha256":"176f8115fb67d99340f1de1e6994042dfaa41f830c22e000595df3377cc6a2b3","utc":"2026-11-10T15:30:03.384001+00:00","before_report":true,"choose_table":[{"n":128,"mean_diff":0.053163897478019084,"se":0.02620277829575031,"worst5":[{"seed":64045,"diff":-0.7228504817062458},{"seed":64118,"diff":-0.6237670153046793},{"seed":64076,"diff":-0.6166548393041467},{"seed":64038,"diff":-0.5225511057756194},{"seed":64023,"diff":-0.49852025538569933}],"name":"k3","dropped":false},{"n":128,"mean_diff":0.041189912595331,"se":0.024845760670351557,"worst5":[{"seed":64118,"diff":-0.6336768252278944},{"seed":64045,"diff":-0.6033917372748192},{"seed":64124,"diff":-0.5014889318268843},{"seed":64023,"diff":-0.49373833714895454},{"seed":64076,"diff":-0.4729187303038316}],"name":"k5","dropped":false},{"n":128,"mean_diff":0.03934694701356989,"se":0.02373638057013305,"worst5":[{"seed":64074,"diff":-0.5899927144207595},{"seed":64105,"diff":-0.5536912455432912},{"seed":64045,"diff":-0.5115341985197119},{"seed":64060,"diff":-0.508849284654957},{"seed":64076,"diff":-0.45401076817177}],"name":"pull","dropped":false}],"settings_sha256":"1c1fcbf4dbf695b28c4324e1911a7cecf06c883f87676ee49fe33422885e7cbf","params_sha256":"793ac5db23f63a80ab4aae71def7a947ca914888220c541b4c737a1f6b4f8edf"},"settings_before_scoring":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","settings_before_scoring":[{"name":"k3","K":3,"fallback":0},{"name":"k5","K":5,"fallback":0},{"name":"better_with_pull","K":"higher choose mean of k3/k5","fallback":1}],"fixed":{"soft":1,"a0":0.35,"ainf":0.35,"qm":"qm_k1e-5.json","price_quadrature":"three point normal weights 1/6,2/3,1/6; nodes +-sqrt(3),0","silent_quantiles":[0.25,0.75],"compression":"equal probability bins with conditional means","cap_silent_steps":12},"selection":"k3 and k5 first on 64000..64127; then better_with_pull on same seeds; choose highest mean among surviving settings; eliminate mean+3se<0","report":"once on consecutive 64-seed blocks from 10000, at least 512 if time allows"},"report_order":"Consecutive nonoverlapping 64-seed blocks; same seeds for BASE and each surviving arm; each policy run once per report seed. No holdout retuning.","rows_encoding":"base64(zlib(UTF-8 JSON [[seed,pick_minus_base],...]))","cost_notes":{"extra_storage_words_by_arm":{"k3":10,"k5":14,"pull":10},"storage_basis":"Unpacked conceptual scalar words: 2K for offsets/weights plus anchor, pending, psync, reset counter; packing not measured. Anchor equals existing m and diagnostic reset counter could be removed in a port.","gas":"Python only; no claim of fitting gas, source-character, runtime-bytecode or storage-slot limits. 401-entry FT/EW constants need compression or formulas for a contract."}},"advance":true,"code_zb64":"eNqVWFlz4zYSftevYHkfhqB4y54ZW4FrM4mtSs0km9pRah5cKhVIghJtkqBB6Jqt/e/bACmecpLlg0yiG33h6wO+urr6idMoEXfakpxSxjV9I7LwJU82W4FMbZOI7S6wQ5Y57bpDsswqk+yf1x89n7yfffRnnvfev6bejfuehMSbeSGZ3YSzDx/j25kb3WqclpTwcOuULN3TyJ480oNVsCQXWkQF5VmSJ6VIQi0jfJPkJNV4soffgpVATRifa+UuCFNSlhqLtSLJcxpppSAprRg//fj1wZ5cXV1NkqxgXIAgsZ3EnGVakJQ0FFq9Xn2tUxqLM2tHDCm1T+dlTkk6WWD79vbD5MsCS4F2yjb6Ak1+/aP99F1k2R/8ydflw+/YvqHW9eRxiZ9cezV9sm8M3ZsqVspjXW82eS48RkU4FpmnPxtyv+MjZ4GsX/9Aju7ZfsVQvnKh+wgeLYbzedaSXOMk31DdM69dD60mD9/w01mWbtnXoNSKa/ZYsj8uV5MqeL+zNAlP+ie7ekF3Ew2eiMbaeg1nINZrvaRpbC5NVgj8G8tpzSIfuRQlodDhRQPZ//kvamhyl/0Zw4lKql2wQn/3+Z05Q2iuSDFJ04CELzhgLG1ZzsvvTBd1hO0KynVkNzYpcwbKFHxK/KS7tunZaFXpIXm4ZRyr92ywgeZRkm/wI0lLWnEX5SkPuwsSqCDUbcICyC9gsazCUoiyEw/4wiVAhUa6zs1DFXB4kSEHmpbE2uHebc0WDJCGy12mHwasLQ/syZmoWO89avm3bquwcaUyc4q9HolTseO59tTiTDGX/hapCDXM/9AeXncktTIJiSDJSxP2SjdpDs5owQnchliJhMlUzCjJy7tBopI8UgRLbeN7CKzdOgpZTAVWTjgVMuZsJ/DTai5V4oxloAm77Y5+OPoeH7ZJSmUk+8uVoheKwSb9YFY6lUtIaZliSZ1XuqoPg88PlnobSYK4y033uJIjUwii7/lorFSlwk7YpJCIgqxWGhy53ZQ/jvIbobd8PatSbIbS0lcCDCnNddCB7iskfx5bAdHC0gqZRmjetUfnxmFaG1WZ4uiw0Fpm9r5QTzSFVLj7O941u76PES0tn4xQCUTnOxrwrdpMS5OiyTIzM/ed0JcRbmthRo66C2RUY6oD6+WWU1o3lpzxDNALQI84AROoqcXJEeCd5BGVvoFb6Um2k899HH43C2mcrlutzhlkkPMembLY+A586SPaAClHnE2/G2XUWxzAvBdnQLH0jJvH6ZcFMo+W/D0YBRqFUkGiKUxNsGUQS0gVKMFNGFNmbpNuCe9H7M/S7pngKtLSsmvXNWVt17eJxaV9juxXaACe5+DSFslvpezyloOBH749PZOVIf8Eq3lBMHSwx6VcmxfB+SNYTd7KP3BApmtBrCIYigdIHJiWJVGFCQBDLiBEaoqgJNxqgu/ykMiql7E91VJymMtamJIQmP7928IenZ/qqLrt35j2h5sL5aFn2lT6bHSGDv1xaca1e+p4iWHfDIweSbHelhJUUoK+lL8GCsvXgpOIVlBJynWwO5nkaJKTKcyjeTLjlGyGA0DdnOqSdFZSN+tG4lhYpwWqCUGgeQTtwVKCBAwmYs7SKDPhZ1+3blP92c/jwIxJtQav9SjRiEsZHvS6Qg0/gIP5NhnRHEkjnTgVaoDg087oMOjjnVFj1cui/8vtahGWsL53PtnffvxZ6dg3GlgAXavEJ+fYDXYk7rF3of13xpZh4+hOOndqQFGuV2WhrQi9bVBrcRP/Ed7X7cAp0zoSlmdCX7yA/LWs2ljOzbZKKx0+p+rz6y8L/5LmZopSQJUN4Fz753/T9vHuHn7QRezCUREe9B0IO2ipMeQs5K7qXFVj1EpjMcKQipOL2wG8Hb/ISQ3zhuE7um/Iid6AwDnkJOWS071bSXV7svKjGpTKUzU/dSeHvyrZKrkxt8Kh3aHFL008EVggB7nYvTRcyecVk9PU615WdLjUcNS9u8BCBLG6uB/Ku29cCs3rxci8OrF7UQ7HIURkig8jKoSr2wkg8VXYhqzgbTVTVx6Xp2qOuYcr210np5Z8R9/A17mMgsL6TtO7UAzazr+KenqWN1ONbAhM2cIK2A6UF7s0lQY1t1stSiKFThYIYITx8JnxRJw0aZN9McXPFyflTQNs5cT4JGVrizDJT7oe3vMROH7g6M37yLBS2jO40wKckKyTIOhNgert0rVodXH2lha+eRBqKO2FvEceX/zm/Rsit+qi8CfG8EDNsTA7v1H+25i8UFrUtQlMpdG8845bH9ous8Vuc3BV7anD4zXLYS5+wF617KN+p5H0lLGXXdH5F0KJaqcQXCGuTR6oP8XWbAfTugRKwuDuXNsqHbk4M3CJ03VMaT01/A+m7kYG","rows_zb64":"eNpNnQsSJbmpRDfUnij9pbVMeP/bcB5Ibtvh55nX6rpVkhAkkKB//22f/vPnP98/Y+92+jz97PPttvd//8Rg+/P90765Zv/66ve1b/frsa6x3tfb43339d7W2DU2+NHZ23fvN25f7Wvzmx6cDJ7euh5t7/XZ51seW/zoe7fxId8cc+83PLZ5Tr/TXr97fe+N3k/34NGDU6+5/N43+5ln1QsvD36vr7nX0UOaw571xhe/2vnJodeNPvQvnkf7+Jz2dtNUxp3zajIeajzXtR6aftdUzrdm8xhLM1qfa2jpWjvf2Z9n0WJpPq3GGnrozTPaXDX/Fmsz9Pff3POc187RvniQxbn6kL53/9pp4/fYjmW747025mm7vXbrqZOz18fvNc9ubY576ktjadru7X59jNXuml+taXv86l1Dm9/GHlrI7Rf2WJi9tI5jTvb+nVVjsTLfGqfrK0fTH0i2mkWqszbfmWN/+py3NHKOl7vH2uzbtdKtby2Clshf2ifPfbddfQS7+LRN03PsrMz3tiY7p5ZUsrp/nxNrs/dsb911H+v+HY/l2mh3r+R/6CM/yfCp0Yv07ym512+vxnZ0r00PsflYHInbba1pUbf3eMSZkqDqt67e2s8ay/MfHCkdi7Uki/1pYYf+osd67Mado69vrStZnLt5HiMWh0/UBkpcxzhLy+hBVmf2tTmEnaff7vXGOFNzsy5jXI7WW/Xcjq/R+f3me0siIhXg3RixODr6Eov2Lit6SvoHS7O0bE8vZeun5uGhXBktp96E1Lx3Wr1vpraR3O0x73xjLf2KZzhTcDgtjUW462lrngdjbU7ro+2xj4SLf3hsMIvGYdHuntv43VuvnDH9oV3fEu3+zrul3+aKNd2nSd7Wazqy+7dTk7VhH/TIfdoJaaz60tA2+iX92/nmfXt+XpkZJ0oKo3+SXr12zFdnf+bSPO3D0a9KbK+2xQ+uL3RtKMRvb0TnpxZX6OGrdZPILol4105Z9lcPKdW0T9P8JjraM1ipa3SQrgb6ln7QjtRzoWqkDPWVWh6poH5e6doVC7Ml5luS+m0Jm9bDY6xLk+ZCBUnhTO1uHbaValgHTHvbhiT6NAv3QmQkcJKGrackqfMrsVi5MP1NHRlp0qed1/b7S/cXKkPCMyQXGtFZHt76HTKj4ycVoyMiWTpX3+XB1MMSie+ip6Tevjr6e8SYBGmhorQAvwOzkRj2Qechzo/W76ux0DRDB2boU44UitSDD8zeKU2SbOR6NR1SKVwPnlRDUoZLS/k01eGV2XGY9JmyNJJErfUuA7RfbLy0bwjmvnqd1+ywKlLAT6dF+k6GUhLgIcRlTk60vlwTm+ywx3oqrte3DpzEV8+u2qNjgZk6YGgSTVd/wQJ6YlkkvbJsHTygxZ/1RpYFEKGpSW7Puj+ROKFiZCKk0znZQ8fi/SZxQpZQ11LUOkf64PqWOEhSr0PPTAm/DEUpg/NSPK/UAcdSenDUDt1UMVrkK2HgXLSf+rmpYfRr7F2XojiInOXsxtJ0nRV959GotJRHcl0kPlKuAAT9knbDk79hmrQLL+VINkoy6jEWRqa8S6Xre3VovkIJd+diS4fcs6QlJTAy3F62y8pI6839vY8t6iATj8XSdFRnZ39RDKuMz0VkpjTy0Ayk2YZURh3rFzpGorZZbR1tmZPa3pcnSZBMy3mlZttP/by0S+ctLcGROOmojEIlj4Mkda5v1L5oMSSZnuFLFaMnQBZSTVqg5i18cZAEDKXMdBiW1J2Ohif4cmmEPXS+tENa0f47Zi9OEsqaN0qvHeTGYzdOmRZ0gl9klFvBzpdATzs/pG8kikIDL8c0mmprTm21TrusiA9nCwjcW2gsSbZeJtTTPZYCI/wiU4fx1Q59vX5zpBxKlyGeTeZuteGxsElSY4JAU/pXm6g5eCxUr+Drx+YCGKU76mNyXSQTEjCda4mTfnksj57UTfpYPXt00KTZ6snAMkCGI0h1QR2v13OB82Ra+7hCFxvN56EAwPpCAI5W7OkvlPHUn4QwXS2NhEDq4UjOayw0r861TIHk7QHJfQiFlGJFUfOvoeclHLaekrmAnEDfxdGUKip7rFOc+F+Ka+/ALNoto9yWCFhnXkLBrkvup72RZgSsNR76WQFuqXRNpj6HldEfPKAqCk8KddZYrozWQ8dTyhSl7rPUeugZrbX0xRY80k9Ks/uVPaQGkyotgb6R2fZIuE36Ze3f06mW7J+aYR+xSdhMnXysnc6wVybxrwwAgPNIZQo416r1XBlkRngrPAYJcH1nyozmrRfpVVtzeT6FkhK+RlZKJ02nXuPaaw+l13RBMFdnU8BCYl5fGguDuptSKlIa/SfbI3TMlGVlC/QlSKMnP0LHyM+QdhU+WtJN30/WRq7MwzhKdjfPWXpHLIz0gQRRSkigROLtoUC+cjOPVJrkEJ+wfjBUjARGQqstHGCL32EJ5CvJ1qoJ2ssP/cG0lsBXZ1OLhuVHv4xZzwWMkeqVAMpO6G/oKNZnJoyRCyEtqfOnJRUCTCvREvp+7KiWWdpZZnAacmi5AsRJc8m3lW/T0M/eiNlTKmQFND/JqzygOoNzpBAKS2mSeKVSgaveaIR3T1jmFuZr+MDMZRTXMONYwfb70Z27JJ2OxxxQ9jd2AhTruX0WaA6U46E4SNohTV6n+3JK62UhLmD69brAWEOB5VDAXqzGjY98SLAhgBRH4mVNWzpZb8Pv2hbdwL1T3yAcLvlD8d4aCg0jyy/gc5DIr5c7LNQZiGqD6iZATItTjy1bnQ/8CkKa/L4H040Eikl4ZVGnjJ1lIlAvHjSqQrpAelLQ0WOsCi4ZB1pOCE59PZbion3jLDxO1561eQF6h8ziftgACaJExkMhLPpsJE6iIAN/PIUdFkmirN3Qe244ivVYOpAHDcKRlKt8yotogXkvYESiKQsCFvEM9vKhlW7QKZLykMLzDiXklfaXOEgTSEvpANdYmCNWGesgv1L/V0MhKtg1ratcJx21MlSBeKVOEC2dIbTS8OSOQ1U4XjoLeJPSWhbMwLzCQqB2Yk3g21HHK0GvpFKrIZskkyNpqV9N3bK7vlCeJGGFVpt+jOxOqGutzECdeSwOkM4yMaPO22TnPZSRqr5lFPTHi9jSXjWYwO4iYjKr0nQ6/fW+gC/gPXnf+jkpPnvjOqm8rhFlwnkAfrfaoRsqV5/YeZ2OnuZnZC5TH0dv6ZiMCHHpq8pK3ThCOufgxJmwv9YzIa/E+BDzYl+kgOo3MxajNdNqdFBaOogeTadasAdlLYcbhFdjsTLSifraiTKemGWPnXxOB2jLq9R2SNJqLBZGsx4A7yOrqnNWXxPKBWlaoXIFO1cZ9/f9vkVfSdCMeIXH0kvCOgMnBNJ+BjUBbyc4I4ghv1rKaRW2eekM6BNjA+W4dIyOBwPADDCfMAmHU/Px5F+aaWFaqRHto4yYvre+1GYa0yD7J4sLPK1fPQmWpegEfh6q5t1R3xOHSX6xjLtUtWzcT7af/WqMgnAz6gJnNmfZP1ukgxN1iabhSnrMQTzJiAY0vzEL1veEvRJSIhTjEOJkdHs0ztNGlKRHJxqzfnPmsThaUCl74beDDHhwpacLPOvC2R+Roekxe0o67aHRieV83n7Z4FRP2gaJt6RqY4M8lufpcW4lMHLZ+++xkBpcCF6F4uUY5FiGffWLspJyxOQHafM9iUS92E+BXK3rRwynxgLBaFVAh0DKVfi0B+gN916S29CzMlfXY2GS5KPrx7TzArZC6ctj4VjrD4WGZKqE6PWdNRaBGFmps8J1JDRz6n3pWINIG1FUQmpfvS+Dvh/LcYF1QnHP4bIekFc70ImMSOh1Flqdi56YF4dQvhzQdeDNf8+joWqQzE7Yde+H++mxcAikJWSqND/989U0EvUK/B4i56hSHWF/as9QjBZLkENoRzOtWUTMl7OLu3dBQDrA9ZOpgJdERQZVNpz4cc0wg77ELkC0knj5NSX2EfL90nUMUEFmQfqohkMJH6KrwqDAZX21fzaDvrjNBMS1GBs15zFWhhA0uQVCYDoXlrWM+eo8P2yZDpLMidwXS+kwvpPlEmzC2ZO/2GswdA3yIOHVVk+gk4ci5ovvrJ8gyCMZrm8J4AtskubUQXv397L0k/g87LzkZZEV8uC1smjE2HSWw3WtEzPCakurRcieENhadpS6ge/nyIkspvRtJWd6IN8Psf8IJApiCDj7gzLmK0iiz9T85UvoPNUHJfTVIdKjDe0tjFHbmMhXDhlKdwKDiMX6W6dh3olo3ArpmBU76wl+gTpybS7m9BeS6gF+Bb8uX6Kl0eFoJXIZ9yU8HaEqcjKz1XMvA4Nkw4RbhcdHZbV64N9+0aQRhMHuexYJf+PY4X0JFmiK9pZ6wF/W7KKvjt4WDpMH08Um/tHZaCLKr341tXCERAliNUIkxo/yxUKkrrZCCBJ7fW2DegBgXDGNkNERHtCpq68JA4XfcjDqUmR4pV7wdZ0qI84lV6Jjs04NvvSnpE5wpC6OtoU4ILDgBD4s0Vsp1mvPvGfc9yOIACCX/vvIGXkwcI3Uryav/5LwsvvWI+yrxRMkld7C5zujXheoJmAgmuhJaO6qsXAlBYWkwgcbKLfp9yk7Isn6cM4MgHXa/kozpagFKpV06jNufUhC4IWTL5EC19x6KiNVAw9KZuuSA/rp5wTBEpRF4FC2S5vbHDvqp1JvD/jfyHZqHjUYfqTEZPMq6fatw1NjoYP1/5NxFXrib/mABgbGnWfNRkzRuLMnBNZCgI6IWejXf28L40QAVCL2APpavZpDLovQUydzJF+K9IdlNzEwrrzMBCi3Fa7uiYGl6x55Q+kfncAylIGBO+6lhPZIxuT91bcEBpbFBrEIC0hjoKQ9FudokFohb61XalHruVgVTYUQrGamf32l7m861xIVzkgEi3GCPLgSBRIuHCReLskCj6VtYocmQUySlq1OQ2JgGY4eyW9yIKh8D6aDHSZts7dDdqIeDJkh562NEMgXWFh20nqCYG2A8J8s6tNf2bXaAYIF5ElxoaAkuhVl7y/dA/lgV4or0sCz1GREfbVDm+wSxleg3CuTUV8mSnKIf0gTfqMeDLPdCbwArx4Hpr7FUV+t9yFhLrxOBsaDJ15Iupgcil5dxyVjvsRZtRtaLMIZpV1fprAJZODxkmk4loqR8HdzChq6DHPhMz0i6itH5HLOERmhveuh9A20cxLtR5QWiTkejEzkjNBXIzgiMXwe4hxp7wYAUI4teZLmodAufIn0tV4oNNZffWVm225kaTBX0jLTQ+lJ6neEpeVoEVqY9SFOEeDYCOksaW38Kg++XLFD9G7DRdgGDiOh7xX2aShwzrR3bgTylcxtIklyYh7a3L8YyFeiQyAOagjHs34x/QHcDplvaUJN3kGokci3ES/aRH4OvIXusVAuoakJM8qQ4994LIIx8hQkjwRLpew+K5eR0V6dIAK6g4PXf0M3cyrEFuXTdkBcmTApynhOJ64T5p1yTwiY5mDwHQh5yRqhXN8rT2kk3YGQkBw+PFRYIsYaI2GvwFmHlnIgttTGBuyVf6HTqFfCoyHI6rFYF/mq8j0RJdmWXo+t3HTtsAAbbpvm5yk41EvsR+fjI2orD2zVk3GChLuBGBHtHqfmENkBLcmWmJDEQSjqR8u91kEQ/ABwDxuxkZhXOlAQS44G1AudW08iQO+CK/JtghPaJr/OmHcHV2URR9Cf/WQpgr0RVAgGiORWUuB9GAleGpwZAuus6Nfra5bDLlrtEza+jdIEI2CvQPnS0WJvhc7rOIyEdY/ELAFKohKvfjN0rmy8lgycSACxNjdAL8QKInAjPuVzYlMHK+JpkCB0lFEo02GsEYi3E6Tp+PkXS+Uli1Av0bDJxHVmJV31g2mLCIwttCgUoBLdhLt4R1KnqOol5eoVS7Qrb/WxRSSbpQ9KrIPi0AgYSI/foI4UXBgBdgeUrGAT4cr/JncjckJWD4Cp949dn5JQV0f8yRuB/tEqPK4dTv0+ifudOTPl51VZ5lNhvxaBM6G4ylvKEjjvNdAjE0QwZkHhEWhXnr+ewFvtoSw8lHwqTsGKiKt8kPMbTJLDRYc3nT64KssiujIGfojRX3SusOTvfazMiVlIdUpWNAtvYER7+ZTLmYB11H87sTJnQiC3keCaJG79um3nEW6S9lYAWy5vHdyI96bjP3pIW53NJDh0otvaPdCk9EKNpetIMmVJNB/h/P7qfTOj7sxBW0WE5Le722EqEhw6tTp8H0rRg4leBtw7fY4Ogw7q70Mz4qsniQvJ1ZU3VHor8W4nNClx44BVEmokyWFghMEoH1EcOyTDcFeQFbcK3sUm4uZPzaAv8aRDuEWL+4o1MgLuQnn6NoQZIeFf8mMk3L3oAZlWvYSAhe3VsX8k2CSdp9nrzBX9YyTilUkcMB14MxDHY+EHbAIG84XBXr/fPDmEK8YKyPCWNjhm4JEi1v7Iqj6CAh4Mt5qoNNERqV9to2HWSJ6DTF8PiqXO9yKG5MEMxRBoxH8I/6MWJhCvDjTsKhnDN/nh+tHUMpAjFv4BAbmvxjI3K8mWMVqBbSxqN0kxPWhysrKRd771ulC88im+yPttfFwvS6LdiJN2krLC12AED16ne2WPZN0BYafVC1PL4IV1lNqHPS7FFSSHhRQdUPs8f21ZchwEPoVzB0hfQOdnWRPutk1GffPTocQ8ZtYmQd9OdkFexnSiY0TMV1qSGLi+X8qy2REYiXb1k2DCTWLoO/WTjlEFy+3gB3yEPj0YJolgNgtzYGH99EjgXRLVjV8l0vTVgjrei17WwoFaP7I2MTgd7pXlAE6Qh5NGt2s1P/OoZMLl/32LwHThpumAr5YmOI16r6T7mmU1k+hAfgeyKtgHt9NjeZgEwAlay+mSKqodnhnyPfBEmsAfTNq765UJZS7GBndoXpK/9eAx3w+ah/SofvGW0zY/5/MHaV1C98SMPeQcyiAYTB5I/8wF1wdkbunCZZsNreFEzzTTdwXZb+IN6X88v5YrI90Fhef2ICwXoWgm1xf92RAzaABl6mcyfQkkzRUBGogRTnfMwL5w1OTrLLYjCLPGKxLRVBkEmYFs8kMqZDYj7qsfFfDDP3+RWqtXZupa2EKqdBH+xMeuwWe1N1BuM+zkrjXtyU0ky0NqBqxU/tBM/Nsibr07kPlHhpw9uYlL2ypbhye971fPZd6N8JP0K39JEuJlDfwrzaSDDnkI8tvnKOU02YGoAWGfK+gpQa8XOosi/SQPXfhBf+0WGpg95QZtg0FYHPPba473b35+RBZ0jwrDT9N9SRZN4jKwsk4RaGZQHgSdFpiIkA4v91AzJMf1xEtGQKwCZjAeguUjSdZ/D3JSY5mtJa/TyBt/kXiuF05z3ABgkOrWX7LaNAw+qMlGTgwLWzuS0d/Q3vKnblCrSgQCB3PSFtGXHe7rrTfeXDoSr4LAgzzabPXGiOFpWhrmkOss3FIsAYRlUZiDtoxz1WqoJV8JXiZIGHe6O1A3k/WwYP/JvwisNUaNpZVqPBPY5Fb0aAbbl+VcEIWhIZJH9OSno3jCjzvyYW+VDz5n+gc6ifB1jqwcWMtjmd8nEULwHrHYpaiMhb9ICJDB6T8q9EwwjEGc0K8lanI7jCLnSpdysFZ8T0NwPFTBzQb5QnoOdlyJeAR+B+ogQqsy1V/FaOfKLBP04U8wAzp4mfYZxIcBUR36tEQfAlk9l7BGUkQebMIOXL/ndgYnDvjukaZYVR8hPyIUHArlgPnlP9zSCxn1/ch3EJVpyM2rw78ykge5E2CKdLfa+Qz7EiGRHwYJHOfZk992tjfZkI8Q6KpE4Ezug+SXnI20kHztVVTomXFfyHaocApSKg6kLXGOBeeDrDreav2mk/yL4DXRacTCC7MdhOj4K4ck4mdPZyYQ1hILlG0mWR7XDBjcFlxf7KT+vDi0M2CwzBVse9Ak1ASzSOZJDRNBZM0eokz/jRnUTNJuC3402s1jKSxQtfmGBWz3MgcGHqRwD4HjS+WE/a157DaRqcACQzE4tZTHPDwo853aFqnrEpYk+2pjB9pVpwuU9erBTPAfKOydXBsLbl2QMLgHD59QAodzl8pPui+lLKA8gjqSZmlxz+QWE2+PcGRArw7kzQz9EriV+cRcDo6Ex5x6kzKDroU5OKckNJAwGb/IbVPCQIagnswQp/ZBf+8LOyr0U09m8BdIcAhHwRBs9alJEUdpkX2TyQAge32S8guzDAIynuMvCj9N+dVKE44kHfCIRHgwaYrk35BTPJcKbsyX5PlJKJCaA4qYrNaK8UsmkHjZDfaSx5KMt2BkOUteFLgZsV/5tofZk+6dr9Ia81V2Cd44VgA+dEmjCRBMAF659CFMae/Uy1IULZhUDjmfCX7xWMJhvITDAOSR+s1r3gDghFyfVHGpSlN+g2UIJRL7Mw1bV3B+cWj1FoakMXv5ectw+BJRvZQN4bn2Guz2rHW8YS5H/MqncSUaDlW3sefScc4CrwTDk+WWAXnUuGiZpgdT06AvofdBumjejJVgePbgkgaj674aSjL05HXwdoNhPjx2E15AXgDx6/F3avZJs3qo7YlTymJ7LLFwF9wgs0M5CZpveTAPlKSsf3il0rKfYetKNCy5BKpzXIk/WqcsF75FfQ6lDEuK/dQ0WubeiDaFdzlxFC37y5HgQf4JlqNO8zWeWcbCPWNNDwZbXzUW50lLRSK8hxUd9b40TkF9pFRgcVYLQS1jYdzhDaGEpHOd/WUOxCGTLfwIH2fZE1zJgCAc3TlC8q5mWaDVexKqvogBoDZ3xciXsfAkLY+vL9hS3IHVM/+mI094gLqpXeGmFcFgKS0dqCj2IDdr6tPKujdUHnSxAJ/WQitwcKNSA0ZY5I93r5+8TlkShJSYSkPP0rQr+Q/kCYekZqCmigq4xlfVL1jziFBWPnolCtYXYEv0MGr81XFKFDyxzdL4kE4wjB4bWR+yoAR/UcdTm2QMjG3W4caYSD/U+U0MLCcGV5V0jDzLaRgoPe+IPagSohJ5PxvoFSAYZgwo4ZJXrqTQMgVikvGBgw2hbM/60lyaCHSQjl9kSDw2UwdvWCza3A8n2CNJ5cRQS5PJ0K1Zqepl9gOUAgA8Skqnqj7GzF/S6ZEmiAq82vvpUh3JuWBLx/NttU+uebsgdRxEyh5KngIEU1oEDNEkIPWPiu2ujAhTIyB0jit3f1U+K2CwFMLFhWkbOvizK7MMg7X7F19mgpSK/7KS/ytUifqCkSDAYGy9jINHVPXCoiRFVnPMujcdlsYYZu8rOspy4Zvgwg2vvFFpau9hrdQ1UgZBbZMW3hBhPWg1fHZk6IQlNFcrjeX0ysfxJE8xf4yjlUi4t5AlzYbI/fy9MQq8NtxZLSLJkulUyMqgMCsCUI7yt8qOrQwKC1qCwbBi8xRnbEVMuFNZQUwCvuesqPDajpZTtiZnnmCj9KSXLYEwDCHCe8TGcOY8NrOIInLHsKMaJRYec+GbdBAVUxQcCo7VGzPZr2PRAhEeeZ6/F/pAHWr0NnqwUmcrwbBwi3YVuo1WrL16X2KamDzFKrLutdYZE4YXgFMF0wHKRg22rBO+FHpI5rCylQlfAYc1A6LrsH86VW0eGlnNoiPWZyg/iK0eS1AjOcHFl5Uh52GhSDQs74UNlIOhf54it6yEw5GNA2K+cC3rhRn8JDI7oTZQJFX2IDkQxDgIHklfopdrLLn0khTck8OJqBK95do36ofJZi0Cmc3u/crit6i4vxHfoiCp1FcEhaUbWodzQrRp1odea5pOIbNgZ4ey7Pj8iqCw/i6x33WC21rwwzxgvkpKQ5OZVJh6bFt5zxWheWIG/fctWSqJnSS9QBVimfubbPpG3Yl0MP506a6MCTeAzpsdTgXxDz9nCgT5wvA0RxAIPBbpFTKfMDkx9BgXj2WsXEKLTpgwa7fz4StjwlJnAW7kkUBuqiNfJAiBStiJuPI4PJYLA2HBK3DXjXxHhfCWA8MD3agDLgUmlOI1zdo3WgvMqIHCtSuY9LJgkrMC2o2qc8t90CAGeUhBxznCNBnP7AoLU0RBLGYS3irTtQ2EZUmArZDNYKLVo1I0DTyALK6wi+Ul7i9rMABCEnVYUhquH50VicbhBl5uahlrNPl5wkdfFtDgtRpJbMeFHyFuYspQ7fauwTxSMBh1Lh6UQIGl+tibzIaNxoAnrX/tHnLsUwLKuaJzQVUU7iBERMYcsID1G2Xzd0vuogxWI4lCAciooV5ZJLSUTD9+iyVuJxTuwVnleD9Cv/W+mdKISElSYe6u+k1UMH0zCOIQ820Vod9JBd6Q4+GYZkSwxpKbhydHYjh7PDj4sTMmTMxbTg5Md/71ecytMQ7akEweLLCae3aAoOCAkCiVTMu4e7sBBGGDCcQRjpCDUs9xos4XUd0GdJ0VDt2BgrHPB2CloyEr2VYNmm8laRk5ydnKWd9JiuDsyu7SIARCyVdv3HZJO7kvOISn8hPbDSAmngdpJApAIX94NE8UjOkogyIcVTKctAiQ8IT/BAWxiAg7S+CwmTApYDF95QbtUcT6DcRgtc8PKe0sgbsrgCnEcsCwh5yBgk8nV4DTNn/vS/tEvxLBagLjFCDUgxmOIHGDl7r23/LyPVw1iTydEyWO1RpiJxuYeisyvDJPpHQtGRENngAIUqt7Un7ukaRzAhYp5WMqrxY7YLCkqxFB7ODHqv3YgYPhQMLKaITtiz68IxB8KHQa1AKh+Wpns+8DWWbZEdD6q1D/dhyYcN+RtYdQDw724DKuvHDUtcY3MnseND+PxD8sFHThT17mqUpoaTUKJuQg1hmcNtr9i9w+vmiZ1x0FcC35XdSXacFenfhEwBtOvL4yIuvX8HBH4weqVuQCdSgtNMcYNRjURZIK1KfoWAvwlbZLBIyrtrCusLF/mGVnDdzm3BDbCgeidiIAsOw7/C4tDE5sAdIdoeAoqxN2PrhyY/3GTB7fkF5OEPGAwh68yYfsVPoTFpFiNKF1ZxVcZz03O8EqVbh0bzvbPXJtER16Vem+EwNjMMHc/IAOao0Fngk0+mh/8IqNvN34IRZ3wJt7QB6POa4HwJAly2Nt+L/Ni8DTpMhow0n4LU0gYKgoD8Kd9IVsVpmlZAEDtIlSUHyHEapXZvVOUKIRuvfjWO4MCPdoxUKIUmt9ysXZJkawKZSStgfd67s12pzpAjxDr92R9fVgUl61g/q0s8Jjc75quwNEp2sRsJVAcxFtduJgye4i9ECFQ68U4c4OEPRd+uLQ63tKVZ5MreAvkFmhYZLjxTuL4R6AJEJim+Y+9bYsWceWIoz6fLi0HvN5omQWuA5s908mBiZWDgrojzhqNYfY1xabSqGI7AIR/b4MBxN/PNGQoFNL7ClENHjcSP1MaNevPLh9nT6AF0TZddSKFbJIDAz4QNFfNEOHXO/RsNqE3Xuwawc4vKYRbhOJuqiz3bAf67HQvhd2YTQhgMLyaoLmX1EJBAs1OIdGiPu51mBDBttUItWpz1q4qNlZUfyitSuVnhg4CAM3kqfy5fyRGQmWQ0GLmgOBbJbvs4MVQcLjPKJFOtn4955ClcIhXnRtuMEy8FgmnBC7FvXVQJcaS8qrvH74Ejeg463fzBQl7h0xE6kFCl/qS58z0ZJqshnQNX12z5fNrATnGvVoD96FQ9bHdXA3uOqCFaRumh3t40DwF51Uok5sIuMedOmO9EXH55AlWuWlni8LS2d467D2WuVeTgSC5dFrI3pU351KkpzgAgPUaKmwvihSvh4KxyDS8SCOjS6ooaxpamFyA90KWRyfpPOlwe5kPAlgUrrmuZsTQT6GZO/94gR6rDlcrcPSyRUTuN0ey/gDxBiY5hBcghji0dQwgo1URVOZRX2UBeMkI5gaSHIVkn4CePXkMuMJdUi/rSiLq8FUwKDcL9KY6A3P0Q0gzhfFbFJfEo7fRDKop1+MwA0h5FMA4yQCDrB2gvE9AqTlYAaCaYxA6cfN0JWXzqQItg6+NDCfqhoPJlmavFEmqDHcHsqsE9W4b0bcL5rZeXCahrMohNdhXBF9r1/NYowbBBsccQlKCWrPIzWIhZOHaL8g+emuOLghTHhw1IB47OZPUqdwIRiev0tjRgSmnqLrTXj1t8dJiJgjSqQ6tPDhPPsJVvCkjdAX9KaJYFlwMhJMf6xNwQ8HzJDlZCBYiwbHv+PFwnr0mEnBwTjEj6YZUv1kBiGCtEWBfXxprwfdGg5KTceH4Xc9vyQFPzrc9Rb+9Cre2kkyRDR/glUb3S9mvTApe8jvSc1X2PhkGFjHMBLQ2LNWjI6Tvc8gqBJMaTPqWLya021maBcYrfQEwYwRzvRp6tQbEE481Dx5racX5otqZMgJ84fGj0EwZWZaEmqbzk+xRRyYOidpWDLG6BM7cCeiwIdwQIdAKIT4fu+Ls6R10akk2B0ZlxpLw0TpIDo4aJfl+Z3sfdZpbUJDvc0xrlULCBz9RaRESKdRw+vvXNmDckiydeLJjrQq8zxZA3ci86K3R9H0qbG0TcLUoKdHo5aimB93gVgU5GHQqao7tk0nyRDsHP04TqSc60SsDHTifj/UP0yGmkPWNAXoJ2RLprIEbWUmbkfp+hfnyM75cQB4U41L3ApwbYN2kgmxo1sR5j46vfiwJC1YU/uiG1xU/Fh0zYPoxAFww9qqPg8n254Bw4NRgs9QYaAT0V94PSPit5dColLLSQkGK7N/FCQ8m+STsV+6ltFUa0X7C484l0LYX2Y6OpPof+o59xDERSR09L6fv3Ac/cW7WlQjLFK4FrKkQsAzi16QeD1wDj3Y3QaUKmwALLjQcz+5LHgopLseZQK1ZFEAF+c5IkTETWuhT8YdQo46a0rLAkOxkxVw9GSQot9k9apG/vyYEJcuR4RtEAyPZaZ/R4MOuTUdwp1jjidx78AQjegORXmMx7ILBK1JaMtIEETWwXLrxmeCRBQlb8wlqtKD2TQETPvoj/Eqv3iq79kLqj+BjgjbeDAOUZRF6IVUtPcKYJ/kQODPhTGkMsauyXH9mzQjJVwwT2UCa2Ey9DsgpUhn0Xem6qfOve5dRmEIPWUJCnprb8Y3OUSNaieCFTWWBAho1TsgycHOe8mSAQEni6oCAsr0rPJYVqzzDO4cJXzOc5+X/DMZZ/070Z/926DnHD8JIgqoJq0naoeeCa8E5UEv1IaUdD4nJUcwrkMXV83nSfoDmdKw/LhW9mZP0h900CZeLszrUrjvV+QVTTqgA9uuX4d86V+xJF0EeNooL+FmxzO6/z2yQAiEyRY3ev7SKOKdILJHDwsPZe/WdyJa/chuF4n/flnFD5qdhBTCV/VQUvIOYtvhPsAaqLFUtgMvG4MwKGdfHgtHgIz0pH0ngebnQMxNwIsipRrw0Dtw/iYXkiKPuNM7ECGc1ULmRqiX9k8nqHDQdemK5EEbaJrnbOKEMGGbx3q+MBozkU7stHjyWPb00r+QPui0Ly7Vf5P1QN5g05iNZroV7L3Z+IH2RhQEwCmdFdy5jvZGTQN1dcLPt9X7spjpkvHdxKH0V2pBI9hLJczOzjIU89YUnkuIWM75ApgdH5NrpAsghULGRmBSPJjVKdHPBKdt16m8gXOpOnrUkhBumbeGTAaB9CvTsOBgNDt5NxgP7MIgMBlObIVkb6BcesrQu5A6RHTT9ViVvxGXoRSSvGc1MbxJ/r0UbHxBTSJjZQE16SE2MEwGzSZqLGl5eArA0IaPZF12k/PAWY80M4V6tWZudTaxszoqL5o8esil+4OOVVEqwqgnGEB3RkuCsUmkUuzloZm0V8wbfZZ2kMI9FrkB2GFXyo/MgFNG12wHejTf6B9yAazePLd8oLExaQGSyXQz9GBWYGBiyRgGX3zV9Nz/GEbkF20d4f/7Q5PzS9EGyWAq1V9x1a6b/MLMoEUcPncxMa8ZDzL3Ouf0RyPGbf1/k/S7vsiQUQEujVVDzg1AgoZLSgD1OQRzs9HZI+gq8waxYVXw7Sbpl5YWg+g2LVFHbcRMDiecuBFsTShJ9VwmBra+XM4tPkWr4+Aev7ALCQFLDX4k8LykCXRpMADP9qNeshv0XLMdSIW2CKkcIEwpvKQ7QIOnTw3H+9c6+Faw90akd0XH0+qFcbME7ovoPeX09A8rut5dTkRu6PmUQZNcMaC92eh3kbiH4Ud6+5a8ZcszksRfpHUjzVfPmfmrBaMbDCW/+Fbe5Gz4EEWnlNoSS9vF773/VwcHpSl8pRKAbHv2jIuinXXlPm+Ge7MWBpKBwI39h7sd0aQUHYTyaMa6SgKyEI7IFw2Eoq1pa79HkxYdTXL1CvoIV0DpblNlaHJ/aAEQhYE+HdX6LOgOpOhpEmwB2ekLBCktqtxpf1kvtFNN6wJ60cNBqOreexxvIIjF/HRgabDsQR8rnV6SLwTaYfR5eTLiK61GR3rkiiKdUivHfeFm5P+kelavYoubDdAISsk0T+gY8JW9BBnyHZ1e7NFR7asQ5U3iw6OFIp1NtDq9ElL3VJuZbDkaaafiZt2TbTFOVgXBuCck6bFYncsxhxdBGq/Y7feaNI7VWVHjRAmix5rTRNHfDgdgV+f86/YP9Dm+sT73qy51NynA7Hp0JCPOUY2JrhnAVCUSVVsv/EVPIqO+NDkkk0eZ8qRq04MZ9IU91g6NxwGN9avZwfWQqYvSfUlJqxneLOmDj0vHbQ7O74WJ9cJBHY++C6O4Bjfxr9TXIdFNURKdVDwWR+oEswrg08n0emUC/wbxlZyw5rGrV9dN5kMjPyB8AUbc5WXdCPtqrYlN4VdBiaovqf6KnUpNFBUtH8uWmvZAs41ohhKBB+/gcy4S2pgMajRucmj+ZtiXHimQxyki+RWK3MDA34u+r5TIdEKAqU5eguAOKmVGAFrhweNBx++iWQFM1WDIbw92vxEjfHY0qqxaoJc4mLwMBgAq4IQAfT2aPrbWGU4mTABIAx4LE37ZKAg8tEYxln8mAJP6PlF+tEgieSwqvg48tXA3pBdbPeZEAZCAshuAn5ftuQcE8Zwb7eRpZeGfbK7ZkeyFg0DJSM0vA78HyQ0CQlgrzy67QEQiJMqw969fzwsYTOJ+MsQ83vmNZf+z1yNmT75yVPb3ZcyXPpiU6+7oL91+3+IibXoFvOiN0VsVtL0M+vYR2RgE/H3lEz53QJOpGzdInhv4Wg++YOttikohYfeq0HhZBkc6jS6Hl74E1afj9ewxQydPeryRkTHZ+PU0TjMY+DOuO7GKedkEgttFCE1KQ93q6PKyBg7uDgeeHiOj1XckpIGJQvIAHlFB0pehXhoc0L0rmnCPVR9yqglbo8M3P3iMy16Vv1FyRLfugTZ4JRG9Gq5Lm29YC6sVefm5CQRsUHihD7+h15KNbD+pZaYanEbK87s11t1LnwrsRXRvylnxFgUOxhYRz47mOt+u55L5C0sk+gdfkKAPkeO9QjKdxuw0zPylod/IXiqy8zeY7QRMV42d7IUZHacfHtJX3ayf471xIOTC0u5s1Q5mE4gX3WtJfo4KQD73PYtsOPTlR8ywjuZ0IZN0YaPOEiqu1zObQHSCTTAv6L5d+PG56RmJVPiiI0Kp1vQvWb+UlHTcV4hnze75m2mrD6UFPTqI0kHBYykyYKMe/ThptmWRMeEhLrLYcR/CmdUF+hkGQ/KikjCaY3y/r3m+WoYEEdniGR1dczA5D7RKxMbPuJji1plfbgknADSpe18IYj1oFv2h0Up/YUpq4QyDQeuPXkWT1mCeR1IeqH/UwtBfk0RZPbeSHcdn9Gw+Xd3Bnzm/D9IK7pL80Vvlby8jvhCw0TC0USgq2svbLnZ0B9F5GfACHPN4WfxGU2K6CnFrQNEGn/kOL8gVnBfYeo5uvgz5ErG40fCBXkHVqvxth8Kpwt9cX0CavcayYCcuYqInOU6Av8V3XUwSeLSwB17U67IrUUOSWqybvHxvg2O+NO3hzJwezYs9drKHHD5XiwuVCDB5zEX9m3T/Jnsy63KGZ7pDUPw3R5vadr/PbAfCKCsOJKUr1YfsJfh9Qcuh1Sld+L3vDvrSE4y2kytuFrKj8o5b9Ec7tGj4UC7sM+UXK7zizhj6R5ZoF/CNKEmkb18d0Gz9G+1ECDxRSY9YePBUN8dGypRoy1etHp8bQZzox0sXhQv5pn42K2yjgGJDVRUAHvbTXrY+0+t423cS5HkeGfjtQeLAp0YB//RagF+aCFA4oe2C71R2xKFfcnrk4bGUvx5m79f8bFN0GB1Gb9FyXvF+L75ej9qaVUn6Z+IvYcxJkixwnvfKDYCBbbR3JVj4K4l/WQA34sQQZaPqvaQjr7xoFH3j9wG2y/Ym8Zf+iXME/552kbcARHY/G6gnCmYbNdwVi36v0thwPHBwBreFzFHDBsEtgH8UdN6K/rwkP0ByfIR2adX3rXpw+aXvBWlC86n+3S+4D9GLPQKsZFMKzL7nyF7UxoUR6189losDzXBxKxSluqWkkvlwqbshsEmpXzqNNLwzEQg/mMputObxWDJCsDKUetFravzGep7UTf8IahcCXdaPZr+vAbuMin64z+mmN1/9Bv8aOix0a7qU14MmcUYkMbo5alnrwQjUwB1ji2h7t77M3bS8+i3ax5A8pUrqudMg7QddX0Mt02MnUhM13/tGpdAglb/B/lqfnaMugeOmEIpE8iqn6+kHBMaLIV8OEJx1G0rLq99mfDlyTNXSXfWj7owcd2YNWojoV5vHspfri5b0RBWiWNxjbrPI5RN0XoM3sGtsO/8Lvf5AREdpePbJ/F1wuztJXvL3LpFqdfVbp6Mb4WW46LPWNDAw4fakul1oNvWrFQ3uUFCJGkWz4xps1bKVbgUk1Fy40PLmN5Zt3SCh0BfMK+qLL150vIQV9tzmv+W9b4RsYdW9uLLCA7EqegO4k2tZwqX2WIYfuD+DW/bobm0aX6s731DRI241abSuPF6VbADc4z+QZGgwYros7QQzMzJgg0QM9vc1wwUGCw9TJpteNrvOWYBgQsCwizqhyeNtT8bDoE9x1OhMujxZlMz4hcG3otZBeOEbtUMRDKYKCkByCVJdB95b3vhGdyTYV6j3qEH2WC5N/+JaI8hCBNk8ZjwDOYo+XFC/a+haaVFfS190ODYlSsP8eQKENHK7hx5kfuF067wI2s4TF7d4K7IBBHw7rHOntd6r2c+8u4t+xxgeuAQesN6VTK64KoxqjZKxWeE8qn6ITvRVjKzm294izQndktxM5Xcov6+gJS1CCfRR61A/m+wq0vZf3K9HCtKbmw0g6B/SbnSNIphQb3SUnAsEooMF+LF2MDv/RkSIns7UTrRabndDg2lLs2TajbSfPkjWA9G6YKshTTUyyud93NtHK79eC+r+DxKELxQzd5vUl5jykNaefipcGGcRNQLGCJCtDz9nl8SY9Quj4XzBHKKVjbfXcWDaOBwIgOR4TqvBOEu7ZeNeGg3QCzHHKgrMTUUb5hrUIj+3s74r7rMbcUEiStjz33m55KAYckfxmCOS0LbsjZFypzgzxuu56YtboHDSA2LMuloUnrCTPOgfMo33mcfYfOUbRQ502+HCMe4eKBuTxN8I4eJu4zp9qzTNrsZfZKNIKp0o4/OgK9elTi61iy3bqeVg1b+1uCU0rhp062O0WW4I7ia1VZR43dKl2QE4OuJEcQ2eTOm2uvqN1j8E00gJOdjd8uo32EXcxADjiYvtag2yJ1pcZxrVFW8599Ly7jdmTmHAiZxOHeO8+Q2txmWvKCITJwinZ6bu0pSB3qZUMNZj2dAVx4G+DXREram7IRqp5B39faCKF2TJPhDYbHJZNB0a7vjWfO9bhDx1quN+RcduWt38drics3ENwD3b3njzxW8yETT4pX/3wsPymK+WjBtOelypdlf9aPLoiTiOkOHj5icEuZOLQfwJYEiezJF6NEV27aMcGuIQxKzSGBkChkgbDWXJQ78CCREChnh8aXXw5b09HsrjNOK2wEkveB1RF6sQ98lQBPEgrNbkCgJPPrm/uK7oerqH7N8BNgsCe9e5ZS6M863BlWUgA8Qx4qKa2vmAvxQIf8E9o+XV76hlDPgA/zYJU9pDdW/9czwvaPJQ+fasIDcIOKZI1J8Y2+aeK3cwBQdWl0Ralx4a/l43BQMGZYt5+KlI/I32ix7rDrmHmqc//nGgG4OYLXrQtdLuPa7+qReGGqbt1UznObjeHnPwinBrIIUR/EMPbot3tI8PN/FnFPPqN86D6xgjQeQh57ZJ6kePpsYdhPWlzw1HqcOgkxgs3xwq9i+pW+hJc/yus+A/rt9EX0LtJ3heY92FQ/TtHRDD4+InD0bAkwv7uADuEvAdnn12ROPu0ZGdyylhLMZHa4GCV5ghyNTcXbDqjTZRiyr4L1hMdTlT8+1vtNCnU3qP5vS2bb777Yvuzlz6d2ddENZaMiJ6ZIyhWh2C0V7ubiI90ERmlh969Z3dHbUnlQ4k+TiJHsr7QbjYAMoLEarmKSTxN/ouQ8iCmJLRm+ab37644JUYPzUjLiyi30Bo5keq9URyuy7va775rY/E6dyEi7dTU/Cy9Lgpib4SRc5rdfVb8PWITvaoOKzBl0bkcWmnztoYJaGj6rIjIICjSzdOzz3vPV4RHp/ROKed2r8se/uiSTWV8LDoLaDJ+4WwvePuCzr5+0MyDIwXDEpfQSjzmc+r38jn7Rd3WcGj8XL6ymMZAhg30bjv1L4m6ZcwNiSe6HXlWwS539mRFL4979PtzXKUQeC48IkHd/ZMzbEkQ7RsqA2moSObFUy2AsaoEpiKALjzb0TdXIkzBwwH0rNslScfbIhwROQUxtWvBdVbYmCuKliw7yGufc8fOvNeEDhOXA/MK+2dNvd+yOsIOu0U6JHc6n3ZZwZ+GSlCwjan3pdtBXGHcTbodflGTTBDnZMMALeQUJBeW5sN0CLUj13pdIz3T66iz3OLK43juGTZuDkvfvuiEpDAHddIrl4PujVRVNRzTykY0EMpLsgzDZRpp1e02FZXvyVVOgpZTjAwPVoHiSAnh+I1X3cI0cL0ih73SdDZavlSgpaXv9H7+RI/InE5Z73RPJEeyAh3Y9HFoo6gm6At+tBRiEpNXJ1r331B0nUTSqW+ttU5c0vguB+hQ6mHK+IV9w1wF1QM2YWoVG1wQWCKzuPuDzJfpWWS/guVEXIJEMI97ppvgIvbeUCyRByrR0fLK+BoMAKMB1jTEbU+xhHyQUdxCRR1/yX7CX8p3gsVM+My7Bw6GbOiORKGIBqhewpZ9EYWccVF8Yt2Dl89x7qwXBPi+Yj+JB4ZSccKDIdzw5XlpSZPdZn54soi2gyfUw/mrfP0EHyR92kuPwWZ/3FLNtqsokRfzS1L3rhWmwL1lnF8HxfffRH3PAtYXe45Kb2byDcuHxl4LzRvLtl2BzRUVgQ86APtm0Nb3gD3RZOZTRVa3Gn1WSEk/4ErhHaPa7/GLvTjvg+bZGzEWwkf+2McACaAgOolm144vAX3Nwi/caPaiTCCl9N3HnNzRd/RpuK6orH5/jeAC5VU98YVpzVBV+nM1KAci2sGIrY3PwY5pdybW4pLJhz/jd7oVMKF7SyVHuB351UbETa/dXB94zFcYzzGHg2YLUkJfEd0ejxQeGFU13NeF/rjSAFR7FtsY4Qj0487ioC5e6qvQmlGviTj2R3a2Tpg5cvf+gwO6QrXB/TgQSPfCxALXlkvzlhriXyJbpJNw/8wLZWuRn9c/EE73z04KAWZ+pc3PaxoABZZywrL9IS9O/rjTHqBtln2v7viTRt/cFihNpqF1Xz3G/4AbfJn9C+wO9Td8IGMEwV7JFuiHbtHM2MAy/rNuMvpM+un+e43iiYwJzTAftcsbaqFXduPtO1oFQrerDmm0JCORhI5277tp/n+t958Z2xGwT3JvAWDgrvwF1rc1uWhOktfFJORpJpfjWWHL6oISbjSniUJYa2uf+P6rgvsj5YCnqBL3vAuTlzBwvbS8uS//wNjOhqZ","seeds_used":{"diagnostic":[64900,64907],"hidden_garble":[64900,64901],"choose":[64000,64127],"reference_gate":[10000,10002],"report":[10000,11215],"engine":[]},"not_done":["Solidity implementation and gates T/F/G/E; gas/size/characters unmeasured.","qt1 comparison is outside this bounded item, which specifies paired minus BASE.","No engine run or board submission.","Report incomplete: 1216/2048 seeds; bounded item time budget.","Auxiliary all-arm per-seed rows omitted to fit 64000-byte output; required pick deltas retained."]}