From a88289964af16caaac3b1551c115acf0070e7bb5 Mon Sep 17 00:00:00 2001 From: Giorgio Gilestro Date: Mon, 7 Sep 2026 16:04:52 +0100 Subject: [PATCH] SI Methods: a full experimental-procedures appendix Replaces the three-paragraph methods sketch with a scientific account of how the study was run (M1-M7): - M1 design principles: cheapest falsifying tier; match claim precision to instrument precision; every tier gets an oracle independent of the model being measured; falsifiers declared before running. - M2 replication: what a replicate *is* differs by tier (independent lineage / lineage incl. fresh init and data order / training seed with test sets held fixed), and a table giving every experiment's replicate count with the reasoning - why 200 for E4 (per-item binary outcomes), 60 for the bridge gate (must detect any departure), 3-5 where the contrast is categorical, and 1 for the 7B runs, labelled as single runs. - M3-M5 per-tier procedures: parameter choices and their justification, the correlated-parent construction, why the neural sandbox is synthetic (a lossless identity code plus style entropy gives an exact oracle while still forcing the model to learn a distribution), MNIST modes and the frozen-CNN oracle with its confusion matrix as measurement floor, why no-BatchNorm MLPs for the alignment analysis, and for the LLM tier: why Qwen 0.5B/7B (one family so scale is the only variable), why procedural tasks rather than a benchmark (exact verifier, contamination-free, controlled disjointness, a difficulty knob), why LoRA (confines each parent to an additive low-rank delta over an identical base, which is what makes weight-space recombination well defined), the training algorithm, and the split scheme. - M6 negative controls, including the one that removed a result: the compatible-overlap axis collapsed the delta-cosine predictor from rho=+0.60 to +0.03. - M7 statistical procedures. Also: SI voice converted to first person and terminology synced to the "biological model" rename; removed a process ghost from the preamble ("Skeleton assembled at Phase 4"); build.py now takes a document argument and no longer eats documents that lack a title block, so the SI compiles via a new si.tex wrapper (10 pp). `make paper` builds both PDFs. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01BkRLcc18rwT2Lysu6PbG7v --- Makefile | 8 +- paper/pnas/build.py | 17 ++- paper/pnas/si.md | 294 ++++++++++++++++++++++++++++++++++++----- paper/pnas/si.pdf | Bin 0 -> 102744 bytes paper/pnas/si.tex | 28 ++++ paper/pnas/si_body.tex | 186 ++++++++++++++++++++++++++ 6 files changed, 493 insertions(+), 40 deletions(-) create mode 100644 paper/pnas/si.pdf create mode 100644 paper/pnas/si.tex create mode 100644 paper/pnas/si_body.tex diff --git a/Makefile b/Makefile index 795318c..a20224e 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ # reproducibility source of truth; every target runs inside it via `uv run`. .PHONY: env env-neural env-mnist env-llm env-notebooks test layer1 layer2 neural mnist llm \ - llm-epistasis llm-society figures paper-figures notebooks clean + llm-epistasis llm-society figures paper-figures paper notebooks clean env: ## build .venv from the committed lockfile uv sync --extra dev @@ -62,9 +62,13 @@ figures: ## regenerate per-experiment figures from committed results ( for p in figures/plot_*.py; do case "$$p" in */plot_E[1-6].py|*/_*) ;; \ *) [ -e "$$p" ] && MPLBACKEND=Agg uv run python "$$p" ;; esac; done -paper-figures: ## regenerate the manuscript figures (Fig. 1-7) and rebuild the PDF body +paper-figures: ## regenerate the manuscript figures (Fig. 1-7) and rebuild the PDF bodies MPLBACKEND=Agg uv run python paper/pnas/make_figs.py uv run python paper/pnas/build.py + uv run python paper/pnas/build.py si + +paper: paper-figures ## figures + compile both PDFs (needs tectonic) + cd paper/pnas && tectonic main.tex && tectonic si.tex env-notebooks: ## add Jupyter for the walkthrough notebooks uv sync --extra dev --extra notebooks diff --git a/paper/pnas/build.py b/paper/pnas/build.py index 9d6ac8d..d572022 100644 --- a/paper/pnas/build.py +++ b/paper/pnas/build.py @@ -151,10 +151,12 @@ def figure_env(name: str) -> str: def convert(text: str) -> str: lines = text.split("\n") + # Skip the title block only when the document opens with one (main.md separates it with a rule + # in the first few lines); si.md has no such block, so nothing is dropped there. i = 0 - while i < len(lines) and lines[i].strip() != "---": - i += 1 - i += 1 + head = [n for n, ln in enumerate(lines[:10]) if ln.strip() == "---"] + if head: + i = head[0] + 1 blocks: list[list[str]] = [] cur: list[str] = [] @@ -214,5 +216,10 @@ def convert(text: str) -> str: if __name__ == "__main__": - OUT.write_text(convert(SRC.read_text())) - print(f"wrote {OUT}") + import sys + + doc = sys.argv[1] if len(sys.argv) > 1 else "main" + src = HERE / f"{doc}.md" + out = HERE / ("body.tex" if doc == "main" else f"{doc}_body.tex") + out.write_text(convert(src.read_text())) + print(f"wrote {out}") diff --git a/paper/pnas/si.md b/paper/pnas/si.md index 16f8ec4..d066d4e 100644 --- a/paper/pnas/si.md +++ b/paper/pnas/si.md @@ -1,9 +1,10 @@ # SI Appendix — The evolution of sex for artificial intelligence -*Skeleton assembled at Phase 4; finalised at submission. Every numbered experiment has a committed -config (`configs/`), artifact triple (`results//results.parquet` + resolved config + manifest -with content hashes and git commit), a README with its legend and falsifier status, and a figure that -regenerates from the parquet alone. `reproduce.sh` re-runs everything from the master seeds.* +*Every experiment has a committed config (`configs/`), an artifact triple +(`results//results.parquet` + the resolved config + a manifest carrying content hashes, master +seed, and git commit), a README with its legend and falsifier status, and a figure that regenerates +from the parquet alone. `reproduce.sh` re-runs the whole study from the master seeds; `REPRODUCING.md` +maps each manuscript panel to the config and seed behind it.* ## SI Text S1–S2: formal statements @@ -23,7 +24,7 @@ interpolation path. For every function-preserving `T`, the endpoint functions, h losses and this chord, are identical for `(A, T(B))` and `(A, B)`. The **interpolation path itself is generally NOT invariant** — losses along `(1−α)·A + α·T(B)` change with `T`, which is precisely why alignment can lower a barrier. *(Immediate from the definition of function-preserving.)* Scope -caveat: our aligner provably recovers a permuted-and-rescaled copy exactly — an important special +caveat: the aligner provably recovers a permuted-and-rescaled copy exactly — an important special case — but this does not establish global optimality of the alignment over the symmetry group for independently trained networks; the decomposition's "removable" share is therefore a lower bound, and the "residual" an upper bound, on their true values. @@ -53,7 +54,7 @@ group can remove for *compatible* models, the sharper the meaning of the residua *incompatible* ones — and Proposition 2 caps what any of them could ever achieve on the conflict set. **Terminology note for the paper.** "Residual (after alignment)" = the estimated functional -incompatibility; for ReLU MLPs we align modulo the full unit symmetry group, so the estimate is not +incompatibility; for ReLU MLPs I align modulo the full unit symmetry group, so the estimate is not confounded by missed symmetries of that architecture class. ## S2. Emergent vs imposed incompatibility (E13b framing) @@ -82,19 +83,19 @@ long-horizon over-specialisation erodes mergeability at LLM scale (cf. arXiv:260 | Claim | Status | Key assumptions | Evidence | Known limits | |---|---|---|---|---| -| Collapse = Wright–Fisher drift (minimal model) | Exact (diagnosis conceded to prior work) | Knowledge = categorical distribution; refit = resample | Closed forms reproduced to <0.5% | Real learners add a signed, architecture-specific estimator bias (measured) | +| Collapse = Wright–Fisher drift (biological model) | Closed form (diagnosis conceded to prior work) | Knowledge = categorical distribution; refit = resample | Closed forms reproduced to <0.5% | Real learners add a signed, architecture-specific estimator bias (measured) | | Grounding = immigration; critical real-data fraction ≪ 1 | Exact + empirical sign | Fresh samples from a fixed, non-drifting truth | Exact `H_eq`; `g*≈0.048`; sign holds in RNN/MLP/VAE and on MNIST | Deepest tail unrescuable at feasible budgets (`m ∼ 1/p`); sharp threshold softens in trained nets | | "Merge, don't average" conservation | Exact **for the output-mean operator** | Rare-item regime; an oracle/verifier identifies the strongest source | E4 closed form + simulation; neural reproduction | Weight-averaging and routing are empirical cousins, not instances; budgets differ; bridge = the headroom rule | -| Offspring exceed every parent (Fisher–Muller) | Interpretation + empirical | Complementary (decorrelated) parents; verifiable fitness | E8 analytic; 7B LoRA merge beats every specialist on every family | LLM tier: 3 lexically-distinct families; multi-seed replication in progress | -| Outbreeding depression on rugged landscapes; operator design rule | Exact-model result; hypothesis at LLM scale | NK epistasis stands in for skill entanglement | E9–E10; directed selection rescues | Not yet mapped onto a real task-entanglement measure | -| Optimal mate-pool breadth shrinks with ruggedness | Exact-model result; hypothesis for merging populations | Ring population, local selection | E14 | Phenomenon known to island-model evolutionary computation; our contribution is the mapping and the diversity/mean decomposition | +| Offspring exceed every parent (Fisher–Muller) | Interpretation + empirical | Complementary (decorrelated) parents; verifiable fitness | E8 (biological model); 7B LoRA merge beats every specialist on every family | LLM tier: 3 lexically-distinct families; replicated over five training seeds at 0.5B | +| Outbreeding depression on rugged landscapes; operator design rule | Biological-model result; hypothesis at LLM scale | NK epistasis stands in for skill entanglement | E9–E10; directed selection rescues | Not yet mapped onto a real task-entanglement measure | +| Optimal mate-pool breadth shrinks with ruggedness | Biological-model result; hypothesis for merging populations | Ring population, local selection | E14 | Phenomenon known to island-model evolutionary computation; the contribution here is the mapping and the diversity/mean decomposition | | Merge failure decomposes into coordinate artefact + functional residual | Empirical (MLP tier; LLM tier in progress) | Alignment enumerates the architecture's unit symmetries | Full-symmetry residual ≈ 0 (compatible) vs ≈ naive (conflict); cliff in hybrid fitness | Scoped to aligned linear interpolation; conflict floor is information-theoretic, not genetic | -| Epistasis (not divergence) sets the cliff; snowball onset | Exact-model result; **hypothesis** at the neural tier | BDM incompatibility structure | E12 | Snowball count ≠ performance cliff without the effect-size link; neural test outstanding | +| Epistasis (not divergence) sets the cliff; snowball onset | Biological-model result; **hypothesis** at the neural tier | BDM incompatibility structure | E12 | Snowball count ≠ performance cliff without the effect-size link; neural test outstanding | | Pre-merge functional disagreement predicts merge penalty | Empirical, within a controlled grid (0.5B, 13 conditions × 3 seeds) | Constructed conflict/overlap/duration axes; oracle-potential outcome (pre-registered; ordering sensitive to reference) | Clustered CIs exclude 0; held-out LOCO ρ≈0.4; selected geometry baselines ≈ 0 | Head-to-head predictor differences not individually significant; only selected baselines; generalisation to real task pairs open | | Confidence weighting improves rank prediction over raw disagreement | **Not supported** (pre-registered internal prediction) | — | Paired Δ\|ρ\| ≈ −0.02, CI [−0.13, +0.06] | Weighting does double the conflict-vs-compat level contrast | | The predictor improves budget-matched operator choice | **Open** | — | Soup-vs-route gap readout noise-dominated at 0.5B | The practical payoff; untested | | Emergent speciation without conflict | **Not observed** (pre-registered) | Shared ancestry, compatible tasks, tested divergences | E13b: residual 0.000; merge rescues specialists | Bounds the hypothesis; longer horizons/distribution shift/capacity pressure untested | -| Grounding + sex + diversity jointly necessary | Exact-model result; hypothesis at LLM scale | Conformity stands in for self-consumption | E11 four-arm ablation, each arm failing distinctly | The full grounded LLM society is unbuilt | +| Grounding + sex + diversity jointly necessary | Biological-model result; hypothesis at LLM scale | Conformity stands in for self-consumption | E11 four-arm ablation, each arm failing distinctly | The full grounded LLM society is unbuilt | ## SI Table S2: headline quantitative results @@ -103,7 +104,7 @@ per-experiment tables and falsifier status in the per-experiment documentation). | Result | Setting / n | Outcome definition | Headline | |---|---|---|---| -| Closed-form validation | Analytic tier; standing tests | Simulated vs closed-form H-decay, immigration equilibrium, multi-teacher union | Agreement < 0.5% | +| Closed-form validation | Biological model; standing tests | Simulated vs closed-form H-decay, immigration equilibrium, multi-teacher union | Agreement < 0.5% | | Grounding retention | Minimal model; 18+ replicates per point | Fraction of equilibrium diversity retained at grounding g (operational threshold) | g ≈ 0.05 retained ≥95% (tested setting); smooth in g | | MNIST collapse & rescue | Conv-VAE, 4 replicates; frozen oracle (98.5% mode acc.) | Mode support / forward-KL over generations | Dry: 30→1 modes; 10% grounding: 30/30 held | | Fisher–Muller in LLMs | 5 seeds (0.5B), fixed tests; single 7B run | Merged vs best-specialist accuracy (overall; worst family) | Ties 0.647±0.027 vs 0.592±0.009; 7B 0.87 vs 0.77 | @@ -112,29 +113,256 @@ per-experiment tables and falsifier status in the per-experiment documentation). | Emergent isolation | MLPs 4 reps to 6.4× base training; LLM 1→12 epochs | Residual barrier; merged vs parent accuracy | 0.000 everywhere; merge rescues parents (≈0.955 vs ≈0.50) | | Predictive test | 13 conditions × 3 seeds (0.5B) | Merge penalty vs oracle parent potential (pre-registered; ±: clustered 95% CI) | Functional ρ +0.45/+0.46, CI excl. 0; LOCO ρ ≈ 0.4; geometry n.s.; paired differences n.s. | -## SI Methods (per tier — full details in the per-experiment READMEs and configs) +## SI Methods: experimental procedures -**Analytic tier (E1–E14).** Wright–Fisher simulator over K-item distributions; closed-form validation -suite (`tests/test_scientific_validation.py`, <0.5% tolerances); learning kernel; multi-locus -genotypes, NK landscapes, n-parent crossover (E7–E11); BDM speciation model (E12); mating structure -(E14). Bitwise reproducible from master seeds. +Every experiment in this paper is one YAML config, one runner invocation, and one artifact triple +(`results.parquet` + the resolved config + a manifest carrying the master seed, git commit, library +versions, and a content hash). The configs named below are the authority on any parameter; this +section gives the scientific reasoning behind the choices. `REPRODUCING.md` maps each manuscript +panel to the config and seed that produced it. -**Neural tier.** Histogram bridge (exact reduction to the analytic tier — the harness gate); -RNN/MLP/VAE collapse+grounding on a synthetic mode universe with an exact oracle; conv-VAE on MNIST -with a frozen CNN oracle (98.5% mode accuracy; 30x30 confusion matrix recorded as the measurement -floor); E13 speciation: no-BatchNorm MLPs, weight-average merges, LMC error barriers before/after -alignment under the complete unit symmetry group (deterministic Re-Basin permutation matching composed -with exact scale canonicalisation; sanity gate recovers a permuted-and-rescaled copy exactly); -pre-registered emergent conditions (disjoint classes; shifted-view conventions). +### M1. Design principles -**Language-model tier.** LoRA rank-16 specialists on procedural task families with an exact-match -verifier; Qwen2.5-Instruct 0.5B/7B; operators: soup/TIES adapter arithmetic, per-input routing, -Dirichlet offspring populations screened on held-out validation; multi-seed protocol (fixed tests, -varied training seed); speciation knobs (conflicting conventions on ambiguous prompts; duration); -the controlled predictive test (six pre-merge predictors; three decorrelated axes; robust statistics -via `figures/stats_llm_epistasis.py`: condition-clustered bootstrap, paired contrasts, -leave-one-condition-out prediction, three outcome references). Statistical (per-seed) -reproducibility documented for GPU tiers. +Four rules govern every choice that follows. + +*Test each claim at the cheapest tier that can falsify it.* A closed form beats a simulation, a +simulation beats a trained network, and a small network beats a language model, whenever the cheaper +instrument can still return the answer "no". A costlier tier is entered only where it adds a +discriminating test rather than a replication — which is why several cells of the programme (Fig. 1A) +are deliberately empty. + +*Match the precision of the claim to the precision of the instrument.* The biological model is exact, +so it carries the paper's quantitative statements. Trained systems add optimisation noise and +inductive bias, so at those tiers I claim signs and orderings, never magnitudes. + +*Make reality able to refuse.* Every tier has an oracle that is independent of the model being +measured: a fixed true distribution in the biological model, a lossless identity code or a frozen +classifier in the neural tier, an exact-match verifier over procedurally generated tasks in the +language-model tier. + +*Declare the falsifier before running.* Each experiment states the outcome that would refute the +claim it tests (per-experiment READMEs; SI Table S1). Two pre-registered predictions failed, and are +reported as failures in the main text. + +### M2. Replication: what a replicate is, and how many + +A replicate means something different at each tier, and conflating the three would misstate what the +error bars cover. + +In the biological model a replicate is an independent lineage: a fresh random stream driving the same +resolved config, with sub-seeds derived from the master seed by `SeedSequence.spawn`. Because drift +*is* the object of study, the spread across replicates is signal rather than nuisance, and replicate +counts are set so that the confidence interval on the summary statistic is small relative to the +effect being reported. + +In the trained-network tier a replicate is an independent lineage including fresh weight +initialisation and data ordering, so it carries optimisation noise on top of drift. + +In the language-model tier a replicate is an independent *training* seed evaluated on *fixed* test +sets. Holding the evaluation data constant while varying the training seed isolates training +stochasticity, which is the quantity in doubt; it also means the seed-to-seed spread I report is not +inflated by resampling the benchmark. + +Replicate counts, and why each is what it is: + +| Experiment | Replicates | Reasoning | +|---|---|---| +| E1, E2, E3, E5, E6 | 100 lineages | Long horizons (400–600 generations) with drift-dominated variance; 100 lineages put the CI on stationary diversity well inside the effect being resolved | +| E4 | 200 | Outcomes are per-item binary retentions, the highest-variance quantity in the paper | +| E7 | 20 | Trajectory contrast (sexual vs asexual adaptation speed), large and monotone | +| E8 | 40 | The vertical claim; the headline separation, so the most replicated of the genotype experiments | +| E9, E10 | 24 | Landscape sweeps where each point aggregates 200 offspring internally | +| E11 | 12 | Four-arm ablation over 80 generations; arms separate by margins far exceeding the CI | +| E12, E12_nk | 15 | Each point already averages 500 (E12) or 200 (E12_nk) offspring | +| E14 | 20 | Breadth × ruggedness grid, 60 generations per cell | +| kernel_sharpen, kernel_smooth | 24 | Two-parameter kernel fits against neural reference endpoints | +| bridge | 60 | The harness gate: must detect *any* departure from the biological model, so the most replicated neural run | +| grounding | 18 | Nine-point grounding sweep with per-generation network retraining | +| collapse, architectures | 5 | Sign-level demonstrations across architectures; each lineage retrains a network 22–25 times | +| recombination | 8 | Operator contrast in trained weights | +| mnist_collapse | 4 | 15 generations × a conv-VAE retrained from scratch each generation; the contrast (30 modes vs 1) is categorical | +| speciation_real, _cliff | 3 | Barrier decomposition; the quantity is a near-deterministic function of the training condition (residual 0.001 vs 0.497) | +| speciation_real_emergent | 4 | A null: replicates are spent on longer divergence horizons rather than more repeats | +| llm_merge_seeds | 5 training seeds | The Fisher–Muller signature, the most-replicated language-model claim | +| llm_moe_hard_seeds, llm_directed_hard_seeds, llm_epistasis(+compat), llm_speciation_add | 3 training seeds | Per-seed orderings reported individually rather than averaged | +| 7B runs, llm_speciation | 1 | Single-run confirmations at a scale where each run costs GPU-hours; reported as sign-level and labelled as single runs | + +The asymmetry is deliberate: replicates are cheap exactly where the quantitative claims live, and the +expensive tiers are asked only for the sign of an effect the cheap tier has already quantified. Where +a single run is all there is, the manuscript says so. + +### M3. The biological-model tier + +Knowledge is a distribution over `K` discrete items; reality is a fixed Zipf-tailed distribution +`p*`; one generation resamples `n` draws from the parent, optionally mixes in `m` verified draws from +`p*`, and refits. Implementation: NumPy/SciPy, no GPU, bitwise reproducible. + +*Parameter choices.* `K = 500`–`1000` with `zipf_s = 1.1` and half the items designated tail: large +enough that the rare tail contains hundreds of items (so tail statistics are not dominated by a +handful of them) and small enough to sweep densely. `n = 100`–`200` sets drift strength; it is the +population size in the Wright–Fisher correspondence and the distillation sample size in the AI +reading. Horizons of 400–600 generations were chosen so that ungrounded lineages reach fixation and +grounded ones reach stationarity within the run, which the trajectories confirm. + +*Sweeps.* E2 sweeps grounding `g ∈ {0, 0.005, 0.01, 0.02, 0.05, 0.1, 0.2, 0.4}`; E3 contrasts uniform +against region-matched grounding allocation; E4 crosses parent count `K_T ∈ {1,2,3,5}` with teacher +correlation `ρ ∈ {0, 0.25, 0.5, 0.75, 1}` and `g ∈ {0, 0.02, 0.05}`; E5 crosses selection mode +(none / greedy / quality-diversity) with novelty weight; E6 compares four re-minting arms. + +*The correlated-parent construction (E4).* Teacher correlation is constructed directly rather than +obtained by tuning drift, so that `ρ` is not confounded with `n`, `m`, tail size, or generation +count. For each tail item a shared switch `z ~ Bern(ρ)`, a shared retention `s ~ Bern(q)`, and +per-teacher `u⁽ᵏ⁾ ~ Bern(q)` give teacher `k` retention `s` if `z` else `u⁽ᵏ⁾`. This yields exact +marginal retention `q` and exact pairwise correlation `ρ`, and is exchangeable, so `ρ` is a single +scalar knob. + +*Multi-locus experiments (E7–E11, E14).* Genotypes are `L = 12` biallelic loci (4096 genotypes — +effectively open-ended relative to the population sizes used), with fitness either additive or a +Kauffman NK landscape whose interaction count `K` tunes ruggedness from 0 to 10. E9 and E10 breed +from `n_parents = 6` local optima into populations of 200 offspring; E10 additionally screens +offspring and iterates (5 rounds, keeping 8). E11 runs a population of `N = 60` agents for 80 +generations at ruggedness `K = 8`, with mutation `μ = 0.03`, 120 offspring per generation, and +selection weighting true fitness against consensus conformity at `g = 0.85`. E14 sweeps mate-pool +breadth on a ring of `N = 48` against ruggedness. + +*Speciation (E12).* `L = 20` loci, incompatibility density `ρ ∈ {0.1, 0.25, 0.5}`, parental +divergence swept 0–20 substitutions, 500 offspring per cell at recombination rate 0.5. E12_nk repeats +the question on NK landscapes (`L = 16`, `K` 0–10, 40 parent pairs, 200 offspring). + +*Validation.* Three closed forms are asserted as standing tests to within 0.5%: neutral +heterozygosity decay `E[H_t] = H_0(1 − 1/n)^t`, the exact immigration–drift equilibrium, and the +multi-parent union formula. These run in CI alongside the correctness tests. If they fail, the +science is wrong rather than merely the code. + +### M4. The trained-network tier + +*Why a synthetic universe.* Measuring collapse requires knowing the true distribution exactly. Each +mode is rendered as a token sequence carrying an identity segment (base-2 digits encoding the mode +index losslessly, so the oracle reads the mode back with zero error) followed by style tokens drawn +uniformly at random. The style segment gives genuine within-mode entropy, so a generative model must +learn a distribution rather than memorise `K` fixed strings, while the identity segment keeps the +measurement noise-free. Mode truth comes from the same `make_true_distribution` used by the +biological model, so "mode", "region", and "tail" denote the same objects at both tiers. + +*The bridge gate.* Before any trained model is interpreted, a histogram generator is run through the +identical harness; it must reproduce the biological model exactly. This separates harness bugs from +model behaviour, and is why the bridge run carries 60 replicates. + +*Architectures and training.* The recurrent generator is an embedding (24) → GRU (128 hidden; 192 in +the architecture-generality run) → linear readout, trained each generation from scratch with Adam, +learning rate 2×10⁻³, batch size 256, 25 epochs, and evaluated by sampling 12,000–15,000 sequences. +Feedforward and variational autoencoder generators share the harness. Retraining from scratch each +generation (rather than fine-tuning) makes the generational step a clean refit, matching the +biological model's operator. + +*MNIST tier.* Dataset: MNIST via torchvision (60,000 training images). Modes are digit class × +stroke-thickness bin (10 × 3 = 30 modes) with a Zipf frequency profile, so roughly eighteen modes are +rare. The generator is a convolutional variational autoencoder (latent 32, β = 1), retrained from +scratch each generation with Adam, learning rate 10⁻³, batch 256, 30 epochs, on 6,000 images drawn +from the previous generation's own samples, for 15 generations, at `g ∈ {0, 0.1}`. The oracle is a +frozen two-convolution classifier trained once (5 epochs) combined with a deterministic thickness +measure; it reaches 98.5% mode accuracy and its 30 × 30 confusion matrix is recorded in the manifest +as the measurement floor. Build gates: the oracle's accuracy, and generation-0 recovery of all 30 +modes. + +*Speciation in trained weights.* Two multilayer perceptrons (784–512–512–10, ReLU, no batch +normalisation — batch statistics would break the permutation correspondence the analysis depends on) +are forked from a shared base trained for 500 steps, then trained apart for 100–3,200 further steps +(up to 6.4× the shared base) under SGD at learning rate 0.05, batch 128. Merges are weight averages; +the readout is the linear-mode-connectivity error barrier before and after alignment. Alignment +composes deterministic Re-Basin permutation matching with exact per-unit scale canonicalisation — +the unit symmetry group of this architecture — and is gated by a control that must recover a +permuted-and-rescaled copy exactly. Since the search space is that group rather than all +possible alignments, the removable share is a lower bound and the residual an upper bound. + +### M5. The language-model tier + +*Base models.* Qwen2.5-Instruct at 0.5B and 7B, open weights under a permissive licence, with the +revision pinned. Using two sizes from one family makes scale the only variable that changes between +the small and large runs; the 0.5B model carries the multi-seed protocols and the 7B model the +single-run confirmations. + +*Task families, and why they are procedural.* Three deliberately disjoint families — list +operations, string transformations, and small-integer arithmetic — are generated procedurally from a +seed. Procedural generation buys four things that a standard benchmark cannot: an exact-match +verifier that plays the role of reality (an answer is right or it is not, with no judge model in the +loop); freedom from train/test contamination, since every evaluation item is generated fresh from a +disjoint seed offset; control over family disjointness, which is the precondition for specialists to +be genuinely decorrelated parents; and a difficulty knob. A `hard` variant (multi-step list +operations, Caesar ciphers and letter transforms, multi-step and larger arithmetic) exists because +the easy families saturate a 7B base at ceiling, and saturation removes the headroom in which +recombination operators can differ — a control that proved necessary, since two null results at 7B +turned out to be saturation artefacts rather than scale effects. + +*Data splits.* Training, validation, routing-calibration, and test items are drawn from +non-overlapping seed offsets by construction (test from 1000 + family index, routing from 2000 +, +validation from 3000 +, training from the run seed). Test sets are fixed across seeds in the +multi-seed protocols. Selection of merge weights uses validation only; the winners are then reported +on the untouched test split. + +*Specialisation.* Each parent is a LoRA adapter (rank 16, α = 32) on the frozen base, applied to all +attention and MLP projection matrices, trained with a manual supervised fine-tuning loop: answer-only +cross-entropy (prompt tokens masked out of the loss), AdamW at 2×10⁻⁴, batch size 8, 3 epochs, +bfloat16, 400–800 training items per family. Low-rank adaptation is the right instrument here for a +structural reason rather than a computational one: it confines each parent's specialisation to an +additive low-rank delta over an identical frozen base, which is what makes weight-space recombination +between parents well defined. + +*Recombination operators.* Fusion by uniform weight averaging (soup) and by sign-reconciled, +magnitude-pruned task arithmetic (TIES); union by keeping specialists intact and selecting per input +(oracle routing, and a training-free nearest-centroid router over the base model's own prompt +embeddings) or per module (winner-take-all by delta norm); and directed recombination, which breeds a +population of Dirichlet-weighted merges, scores each on validation, and keeps the fittest. + +*Evaluation.* Greedy decoding, exact match after canonicalisation. Alongside overall accuracy I +report worst-family accuracy, because the Fisher–Muller claim is about competence across all +families rather than an average that a single strong specialty can carry. + +*The controlled predictive test.* Thirty-nine parent pairs (13 conditions × 3 seeds) span three axes +that are decorrelated by construction: conflict (contradictory conventions on shared prompts, with +private training budgets held fixed), compatible overlap (the same shared prompts under the same +convention — overlap and volume without conflict), and duration (weight divergence with no conflict, +1 to 12 epochs). Six predictors are computed before any merge: confidence-weighted functional +conflict, raw disagreement, gradient alignment at the shared base, LoRA-delta cosine and L2 distance, +and a cross-task performance baseline. Probes are drawn blind to where the conflict lives. The +outcome is the merge penalty against oracle parent potential, pre-registered, and also reported +against best-parent and mean-parent references because the predictor ordering is sensitive to that +choice. + +*The composed society.* A population of `N` LoRA agents on a shared frozen base evolves for `G` +non-overlapping generations. Each generation every agent answers a fixed validation pool (verifier +scored) and a fresh conformity pool (whose modal answer defines the population consensus); selection +scores agents by `g·fitness + (1−g)·conformity`; parents are chosen with or without a +quality-diversity term over behavioural distance; offspring are bred by screened recombination; and +each child is a fresh adapter distilled from its source model's own answers, which makes the +inheritance channel literally self-consuming. The verifier enters the loop only where `g > 0`, but is +used for reporting in every arm. The four-arm ablation removes grounded evaluation, recombination, +or diversity preservation in turn. + +### M6. Negative controls + +The design leans on controls that can remove a result rather than support one, and one of them did. + +The compatible-overlap axis was added to the predictive test specifically to expose overlap-and-volume +artefacts, and it did: the initial two-axis grid's best predictor (LoRA-delta cosine, ρ = +0.60) +collapsed to ρ = +0.03 once compatible overlap was present, identifying it as an artefact rather than +a signal. The duration axis supplies divergence without conflict. The emergent-speciation condition +supplies divergence with no conflicting signal anywhere, and returns a null. The budget-controlled +speciation design (`conflict_mode: add`) removes the confound between conflict fraction and private +training budget. The histogram bridge is a harness control. In the biological model, `m = 0` arms and +`ρ = 1` (fully correlated parents) are the null conditions against which the corresponding effects +are read. + +### M7. Statistical procedures + +Error bars on replicate means are normal-approximation 95% confidence intervals unless stated +otherwise. For the predictive test, where rows share task-data seeds across conditions and are +therefore not independent, inference uses a condition-clustered bootstrap (13 clusters, 4,000 +resamples); predictors are compared by paired contrasts on the same resamples; generalisation is +assessed by leave-one-condition-out prediction; and per-seed and leave-one-seed-out sensitivity are +reported alongside, since three seeds cannot settle seed generalisation on their own. Outcome- +reference sensitivity is reported rather than resolved. Where a difference is not significant at the +sample size available, the manuscript says so rather than reporting the point estimate alone. ## SI Statistics diff --git a/paper/pnas/si.pdf b/paper/pnas/si.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c6349a9dd7b0c0fde6c3c6b18daf6a6e1fc9ab61 GIT binary patch literal 102744 zcma&NL#!|iuw{E}+qP}nwr$(CZQHhO>pQk>qyJ9cpkKNNcUGxk4R*3tc9ANGh|x0A zu|km^-`~7LF)lPnHt(cd2IG-bHmT@EoGj;+7QonK127@#g(V_~W- z`?V<3_FfY!uzs&V@sI}d1cY?IZ97!9+G@pT;!wm>+5&70dX*r?w~XRvo)_~kh24JE zvov=_uXPO)oSbTH^~J_DB1YSDKiofBFi(GFG2Brirg$0UqZv6cg1uB=%naqorai`hW@5FQ zJE6b=-Sb4*93#=ob+~h_ZruNdYgy+KFOiB}sH7C~mGYtr>O^POqTlxR-|eB6ujlwelgjOlZPvrAhjBKFprmYV?+an; zbcM{=dBL3Aov<@`{AjV+aL=UA*h%A)+}2~{L`@3|C9tU@qelToV&i5bosqKe3#hTt z!mpT>dfH|Oe?Z3@Xtw+TWk)1-L#`$Yxl?zNTPawVwimKcQarN+NM?h^8+FH2G45cw z5Po7uYs_b}VU`_6AkIdz?`w?0sKv(C97|Sc&ccWcQa5b#X$GK~%D*M&m<_%5;;M2) z04DH(uSley5^p)<_*P~h|CzL8*^Fbi9mabeNz@fl{S=6TxZ{2=x*#>6>wP53k&Wbu z?8c2iy0j!dbJjybXCXAI9@I<)cP=L+Q`!=geW;%LggG9oCYx!FI{f96`tVJ1 z+BARQ!o$%@$GB0$my0z^b3fHgR=Ll*(h5Ka2C$@EB?Qk2{~@h$8chJl`U1<4J^Kc~)(8p*2)sFE43O zz}%jQO2a0acrgkJJ(Py1TkYnU%_V;gAM8cezUrrgT`Q$w&($|6OD-bqDZAnwD;t{3 ze%Kcdh1QYtHB&A2p;c{F?RLbF0I*SzVt9=`79y@b*l;!iKL(mQ=G)-<8B;@0)I4068zz}M%OlicP{sm{*e%|VOe<&_ehKZ22&xyhK;bo6Zbkz*|E@Q^${j4 z-k|-Ql3`~a;2xN{BYTKwWB_C;%N2c>7Tcmw0?F!O)ug*$noQ;mC3;8k*G_(oc)+26 z4OJeA-&C5D1C?14AZO&yh2u~J0FJEMt2qihY3Iw6uqbqA#4-5VSo;9~&y>JV^On>O zu)RnPBkLnpegjxJ9L*bAJ4~=Cew}8(yrlk6#*Y9!Jj|MWzROsBE;mNqMc?)s#SnD) z6B*RD8|~7~dK(Fp^_6jotbWxg;0r72nbHdhDFwl@pw%3C9~Yo%zy1l5_|Vg$g1t2U z`Z^uivdpI$_G}}thI4eY8hOmYh+3(zXDR`u4hNza#3)y>zTYuebZ0$ch&>HSPNMW9 zLo80%wXN>YHw zaW>6qmUITID$r4se^>u)y)x267q`YGrc2ax^j&ViI(8MGSnipM?2@tT4)UAQ-c327 zH;3%8(K|yYj-of;IUFXF$%ZkdCGIw`dG$ef`>7(9g=p}rK&;lUf`hyBiW~&{0y}Gf zp1rp~KA4&cpGA`bbcU;@30Ms`P(J;J#)3#k-aORo&kndB>b-K8Txv|zCynA6z;Lx) zbW*7GOplV@qM+?)gz1)CNAn6QZq;{0MN6V+E;YvhSA~E=?*eobr34!w2e0TVYi-mL z2)(OEXO->fhpWL=yN#~{@)BoxBNqK?2Gr#fOoh0)Gv}I6Rt^SHutEqRe;p2ef*t%^-H?t;CYVLgQO!!fHQFx<3#~T_-AmNq z_^na>7OF{RC)7y++j;dOInAli?e(Cl-Z^Rd?%)u3&l6Kt#-Qtt2z9pw|B}`f#*qw2 zK!_*4yTVUnp&%s~{fjS6#}OV;JZ+nabe!~y;zI*`Q@-_=IjPFaHtQtoI?BAWZylVFaybh7P0Z}h2e|73DN0D0 z9FEtXPlTJ(a%%W^h=p(5)sT8|G!SDJvd%f%5#m!UBo7Ov!x9-C>-m+p z2?57HqbgqmJbNdZ0{CbtNBC}pOJ_gf9V8T?6%TeXrNzUYH$T=Wj2DwqrG4RgnP7y( zF~Ifs3_w}S^-Xiz$=BQQcEPybI>*0FJ=CE2IC)1zYHD4HjQtc;lY_unJ7y7w0i}?* zQtsvOQkY5*cB{e|)+iy6d9~jF*CE0qm)Uo<;Q)lq3!iFI&O(GHYqw)w`3nmHLqJz3_yqCbiADxvyx zpX5%?-i+NPs|GnOXpx{i2QN76jO(U+#7V}AA8+M49C2=hcT4u<9F>EiIG8|bE(K=- zw>&oZ?0!K);#58#4jh9DucoBD_@wKz;>tNQNafY)VOYT8rj~TmB_rvSk-q2XN?lKq zP>M6$?hK@G?#|xXKe13gU2>?ZYbiC?a>t@t`)VhiB7E4wYv$RQ9%YsC6P-)ClY}5v zVsx%tAi1QPYzqetl*}Z)t<@{D%6ej5S3%{xYeiJ~@p4br$wKpyMf8C{C z&uQ%kvtoJryRSz(rU??$dpcOzN(swqI5H;sn|yV|6kN!}i@U{`?%=(;Qe8t<_Tm*5Ff`1+Q=?)(p89G7H^{$cZp?whM`9WZx@Z>zhX@D!8#)i4Kmfd zlcLotXY^%7z|_OCbyNcu;a);J9`pef%UB~YcJ%la4BV^WRNq>`WO#ONH$OJ;eX+6I z#?dyEMGc~rQ8}vMqmSgPoe1c}p@M%9mZePv2PFQ z?yM^kCN^nOAD=x5ia>4Dq$uZ_apRRO{oX3zWAE*w-0XR^0DR7JWYy+Z-1)X7ceLi% z@`e+PR_iuB2*k5P8wTTCCjM-IFYwQHN>z4DNzCL}->hjy#fVkwy)APdOn(y0`$U}n zdF)Opk(wNurQ;3Z04=Bq9H2DUFpJqqkDU%zUQ<~e#0+q?c97j5KWZtnX-i4=L;G%_ z^P7WXKZ$)*ct~un3s_Ew?BOrJEn9{F{-`|h|K9U+>CntWncA8Be-QiM^uMu}iS>WN zzbwpb%>O6Sa?-*nRrZ%g$4NH4BvdqkX4(eB7~t)p&(S|_amvcBGMeNATAj(Wf!k~Y~C z@Y9bvKK&ZH><-1XCQB=!p!!?~LDOk7#Vri#+gu=4`RoBVv);ISmU*9ReyQW9gym&q zBNVAwWlU1oYuopfi5Px z?4_NP(DzgkpctGLwzGlykCG}zX}Sk|(-W=Q1)PqdBG6@OBb898mwI;75holgK2W8+ zR}b8eVwyZ0+_Ru-`rLaaSO818bAV^UtU<hIU?H`GuJ64r&SsaG=Kf%96!slC7 z(j)qSkOt&L2?~VHN>|R)${Qt=xgQfQGYzEC%HbSuULae*bDv`%;C=b^mo=JaeFuC| zZA7P=co7dl8|#;KGh*4^Q#cGc5R{c`jPS^P>}ZV~C4F!;@#FckArG5FKHs6`k2SCj z1XKn?&1kh+Q2SI03OfSIp6^j8kd8{~y)mhBGQ!}42LSjrq`NBr>F=g z5#nQ}Q}Rxf2`faC;$*JpxME^GZ^R=TCx#p6^}f~=Xt-|)H)Nt_ye|eXYwI}qXb0rl zV&<`Db3fa5ekm<=1`m{t#KyH-A8^+J9bE0J$RxH7W+WC5O8ByI;2CvAjdt`jg>vQ*z(5M;jxnQ zSax`Fh>mK&=buoq2tee;*$Nv7?$yh>J4Wd!3x^;<-wMR^b_%8gS_!oU+kAv(7wMOJ zR{=X*IrJseT-ZcFzCa$kQ3u%<_8X~-{mwY;l9@>cDCTu@a@PC;N*%#A>c_8tEJ~J& za7;U-gf2|~Smd`>(TbQYgSkj;7lL1Haq5i)>|khNdoN zY-3sC<(PmlQ!_eL4MdjnXar&!a{8eK_0y{KxFxRvg6oG)U#k|XY&e@eYR{8kkPZ95 z`rEn|yNE9Wc3&Xn zFKqOU8H_CFJ)wk$pQJe2cy73>h?})gYR2-^%;?g!#WcPlqr|nAZ}K$1U5zI@Yoa?Q z%ei-nW*5Ye-~hDw5qF+>%Kai9{#y*!8)~NG1JU!I6A6_IFN6+eppNAqbozo~Yz1w{ z@!*>@FKyc%_OhlGaZ%8WhaX%nZSryujee$>O05d>F|ET(_Y`cB$B&!^NM~1lO3BIl zNGR!Or=D;*ry8<)2^C97bAa!01WX^HY$Cb>BREE3QqM{J9={PDv`61;xIgp&vgRd=s$sv zDyk-vn%g@^h`hkE?C9(6Ub1Clk@vF#u@Q9};l}hSaYz(Rmu-Xm4kL__DYa@bGI#P3IHIbS*qTJ4N8KiWhJl#rx}wvmrO^0GY>s%Le<48GuL^}_B^wLQeyK?&WT$K8^MyK7C2a*0i!^Rz+oaFc z7~lrluH|m>v4gD0TVy30ggA+(IqW=%Xky@c$9pu;^x#bUkD7zBflv#@pKbJzsbjT~ zyom|;wgwcSWjY>2kP0weS##!uP2v+;k4luBGG)HKAWe;v&nHsbn;dx`U>6!nE=p`4 zd)Cs=&slhT*n`yE;=R}B7qWw|)5PEcTVhh$SBv;7&|5;4oSX^S${b=R2CVnFh}}rp z2WjdI*o+M+lEHef&)|dVcpQ5CDK(wV%DmyLJHf0ki z1?Qp{OVts{cPg89gCwp3Tjj^>65S#56f4C70o6V|VO~1il(d;n@_UTky_ZCF9F%AM zYDG@l=6Q~AoCs*%u;VfEkwPWSFXr_LT-c5zqtt;q&Ewdc1zB2iyu#h?YKEhg$ zHbGINYUz>dw+N7NW;leL14D+0z3UFwvNk|_$p$MUNhvCjty6F6!qj(K^EXx{J*%!E zE9%Vp>W*EmU_>{|lBR|loueirarl`!t`-9^={u*I27T|cSD_!Ig#8X43AB`f|j`WrXWmvlwdT6O6B^4#? zDt(06%17x{6!*T0tGRpjeLikRhctNA^*9U+bDo*t9YssfsAK zZ{=I-u$G67K0ejzbq%!f_(@^;)AHRMU9~)r^AAlHDGw#)%((2tP;#Q3QDGhGWMq2~ zZNc?{3@`$Oze-)G!uB?le|gjrg3QNamY)YwSspqi|D~HE9AWg4zi6$=wB9mO>&``< zXqtPrHp`1(Qt6^AbS{U7=Gx4Sz1nOQCA2FNI{lW31>M_$aA~+{BRYk z5$!?-Wdh)nrZ6#0j1Bup{gg_R{Q}%@=@Ku>+5^vaqPBiUM5=K`5>8mIf$Lbk>{<(Q zc;8ikK8)JOw7WyXym7RoqLSF>7 zw%L}WZbg9yXM&pWWfhU2ghCxbYfoXuI#O9dAjBn#LosHRu=b*=7zsz}Og^1?`K+?` zgy^dyh?7q~&T-LW2Yk^&;8lFi$SHzg zQ}&ycSIoXDLfIRM)2aH9J1v45@?A|7sIg+dUftcNp-(nm5odo7MD5m36U zUVG{bqwrjMU>Z}N&@uZ;B4^qGkaY#axp*%BeZh!?hW^aRR5l~jbRHUePHO;iF^nI>qUzt7sE z2B?zgt)#+`cWCd=LrKvP?k0%Ff6EN~AqZ9Pa^X`zCaP(a#W%)TT1vra^CMO(C~xYD z#3V-aVNmZ2^1Q^IN7f{X}qyKR#8Z>()Oaf2^CQXq(4S{U-i8YV#zO z$8ZI}BQ}Zn4=zZz1|rneOje*rBUw-9nrrwF&#Q@vxqpNvi;6s*VtuiZQ<^HA7&CM8 zB2re4K0mcQjAwGe9+Bn+um`8IX-@876pWhQ;H6MWhh8AIO>kEtV;R+WmAjQpnj|`& zvNMoY;w0HXGJJ5k=KOEKff|qkipy+@!VD`<)vmp=6~}7lGI`V(^upI}W4sN>0jXpF zfnHx{kTh@QSh|_aM0Q)jD5it`a;pggj-wmhJ%f$VC9WA1)2y5;!p~QHw*!}1H6uZr&&Dh~UG6CY z4h~re<>PvM8f)cH3V%&dXG;2#%xF)c;-dVZt!B48a?&__KCo_k7>2Kpw>xo#+%MF- zCJ*y_JDVsikW`_G#4B7Xn(s{$W9XBZ!gxkA5qZ_-^XsVv&;(sSu;Z?c&Z>eSNwT3u z2V46=wrwqZk|;fIXY$8_XQ*=6g82Jg9t@TOSC?fp85@>pfm_m<3KQh$2O8uUPJsZ* zF!GMDNa3G7eO`OhP?hJ31LZG`C11H)XKs(b67vdz90U09q-Q$UB{96jOsXr|`IFQc z0x}JEE5Bnpf~9y1IA*h`c)?%YVQIl0RDXc8_}a!;%_=1+Q@yEe!Uc#10-;)h*8#vY zQztqnh_kMBlQ*5PUi|n=2!)TXtnJ(pR`0^vfvv$$Aasx1G<44})&>Iili(h77?jSx zS9A0FEngroo57joKlG5)-I5)VjQ5L3dxeZ0%8WmKie*%y=)jHxAY36}Gm$F#Xd#%| z{=Ag9YWNX_60%Lb*6QJ9qzk&={q47(JCTo?qzoblHIQbHoQ0(NLWe)dZyoAC(B~R4 zww8#vRK1nuE~{uNphAqQsK?6rA4m(|12OBnxQrT9&1bUlP%W46!Hx9Agr8n8j-t7M zvfzTjhFc>Oks_o+BlcYhAT(}*gnLiO@OgM9pyi^FVig!ch*}KU!?#=Fu(h>Tg$!l8 z&O+4k2%gB~v-T1wYV4_{ticOzUSBdbNaTl!tym`16FmIXWaFV_&C-^%?kKnxht1sE5zrIlq6dcr zF+a;3)IPqpEUcmZB1VEqE3Qn>{}j)NUdcY+6eJqYc*`@aVZ1FSkc1&x{mSDq(9Lsg zx#O|E#jR*IeOA63Uuv?Vf0!B9#IuID!Io>LP#_qm+?Z-A&z0_KaOXn-WE^x54Wzr8 z4Z569!@WRX;_jqawuV%-kXlvoPtkMLXh@V1e4fTZQ>J1313S0f6mgQ{c=4AevvDfl zgsi?pHIO$+&5@j5(wu9u0=FJ1@tE(|$pfT2*4N4R-B$lB z?UMA1MYJqXN#+ETE?0esRaRcBIx2Pn|9X$$o;HsCVr#e4qVf8^s*M&dVHV#~*c%zd zq#$qhcX?!VFFT$mDpNWkm4YcI%p`z2xvYRb8@{6j{f|xt_&^ry_^M zna&j?t<9CJ6(twT9yg0K1b(gJYh(YfbxuJ3RA}#6GyzD^eHoW=vMc(wp`aA=rJd7# zmOB|1Ubc<(Pgy`Fa0XU2`mtYm_!Jv|b=6*sbPn&$3P~aW@c1vifD)|sKes0bMR4Jnn*kZnrW`FRY%G~6{Ib~Y;Vp9lHy|74-}U#!r@i6@ zxsG*X%ltXLm5lf`3Fe-?~FSb6p0(UK=x zZNe!YzDUxlh6B1&Ca%q@)%=R=9Vg@gLj%Jr@$2N_imYf6c7!AaW~WP4x+y#-nl-_3 zfD1tof_pH>rcui*sdS`8Bi8?5N^OBoeNZ&*%Ye%Gvis$v5#aeGR>hIWK<$s}OquCX z3`;E|4i`dF{E`AIp>+sHzadfkS_H1@iu!~>YMmSgAC*lrNqU5-gV~lqfl5ZjrsT6n z2Ou+PZNMfEYbQ%9n9zh75$Djth{8NtziS*)#DPO78*A6w8sjsu_de506GQdLz5xj` zE3NiX9hDnw3RQEboaQa~Or8KC50Es_d6lH7sg(^P+DX9MhZq)&F~FAP4tpQj!y@g& z5_wldRHII{nC*3n<(HINn_VAX4N#$*Etaac+B8LY&=Z5?r3-k{kK%$S-jX3!yq}6V z90Qc9IO7aw&%Z^`CA%fwt1N-=*b~=~MofJqay>x9-Pat&>lcLn0XU*Df0P&-=j6s` zHH>R^iNH_JeX*{jiUGAl%bUr6^Lg16ViluN&}Cm0C&H~zgi6$C1f|7jR9aItaY7vcTEOE<8B96gYWzotfd*)COD?EjNWGXHoa4CHrl|$`D`_+ z0k>6rd7`6eQ&85JuXJvh^(3}NZ~)oUiE37{&Viv{3`;2yH2&BrH#Vah3$g&+Q_6z( zF)0L=b+2xyyjY3ec7^0&R>v8IP$udE%3@LGNzl^fqphG~N~@BJX?@M*t4yoZGf@aS z$Pwp3miw!AQPQt+)4MEdTP(n2hL^lYF;_@0l(xUznR_0GQv+~~I3H-c-dSqu9>AUu z=0V)9BMe0e50-<|jg>B+4*03^l-&+9X&MeBexEoSU z^73U{^c@*Xgq|aT9}D|8pshSKd%bK7Qm0uObZz88m^lP1jTX2)k_c@aEg^hpfzF}m zMH^`a1e$ng7c1N1T(wn8ugH2Pr><@_PMka$PCN$F{e6!NE=M9d=S;G5cECJ270;gW zzA8b2I9?b8@q`XqHoajj6Bmw*7lqzQQt>+b&5eSH6rH0QR_*)$#fItGjx`phttpno z$p&}6yg9O?@|mA}|NVJ{Hy~u>GSQ4E7-6Wkfp4^Jd9AY*rkYuW=Apzq&#aM>MX7E}ob*$oKL!T4vHdJ#IljlnB)p zf>*kbzy|7D)jt80w0>gKIh2Agi1Tiy#qzW9R0BRAhZ!EdU1eXqA`<4l87T?Yl8_8kg zV$|v5WoWf5b-{CZK0H%AU#l37WUgr6^Fwx%a*V^g9GnPtZ86%%3eYn;bYqSwUg30= z46m)`#=YPP#_X>@)@($NKb&UE!ZTUD;EZixbT_@`Rgz6R$+BznrIYlq{(O z4BF8vQi4^g+S++g)2LU4P)|=pGeMMUh@yhJuh`ysl(yV75L!eXBr5Ce;*U~hCC%x* zrA-7cl7l=|g@%SFI@{A8{!IY)2L{%5lid<5j3f-ziNISut7+30@T{+_hbpJMM@p@= zN}YB&-y|m0<7YYJfJLS5JiTr^RgZDWGQx%Mlu9xk~iy-anZmb zT!4re>&Wfag~teP>pBJC*H^9_y0YS}9wut{qNs+$a?x>4ksFpxptI?JNxx32%5xM#Mz}!In&`s~B8YQsR0OOl zQop<<{nLSHL>%gY4-WNm%&+v5$qFtLiG-!+n=He6Adf)TpK|zu@A2!w_=zu5l z+~l{?^G%c-mMwC(pa2LjqDn{hf?hX7Lwq)BW3>2k)Oxtwvs=d%%#=lq!R3SxPUcpN zn@?259O_|f1|_VeVL^QpU|VAs1}N`yNt$AIdiNSAk(UeKbH;Y)!Dsr!wNF_# z!oY*8`Iv32uVrzkI8?fuY~8@-;2(;@Ev^RO921ft={4H;hn|NZn8Ootx|ZT8l>0Jm zlV2o(uTa{yAa(fY52ssuj9ass!8|K~H4%QUD7>&tvIjjFB6ap$l3%UC8i&tdq1N8x zECki+fx+x(2Is3kC5FszY!rsK|fHt(NZCmCj>!HVn=tkBdLk7)0g? z3R{%z^~Iy;PaCO;+`SyQr2HzYUH87VGG|LELkxAGPgWupmrrSTR)C*y-`PYzpKUR( zwT7t-&o9l7;Vw2jRPBl)5*dzp4NKuuUGP+L)mQ@MUOi=$9?B)S*b}?yjJ9&5>uH@Y z`sm)PT%UM$p7e!*@_iMd96t4&-OKaOr(nh}Pp!uKXqEj`GWDd2yEZg4Q?B96iP-bo zP&d!7z9Yj@o-1j3Kvj}fKW#4BuW+e^F^T(u#&t@Bkk`euYNV$SLq~`){i4(?ecOmM{x+}}#tU?`?T6FSxx|3kCMhSWiC z@db3tKm0&lIZ;I?$T30zOjW12O~@>ek6ru2L*J*<>^}f{LpaFE^0Wob77n+t4aH|) zo>qFt#Ifs1qDlT%V^_H{#NmAX3k1o{^Iqgjx$CLW_FfdXy|3%x1nG-9;^P3n>gIYq zCo5gES>CWyd!L3VdU{ZjebR1!h_C)3fE~L=us=Lit0rkvQXSPwoY$kOe&v}Wig!&twRMBH^ z-uS3IuX7_rs5UWIm%rp5FM9MkpmykqXBa)OwG)2DHnF%Vu<@gPrD)tGIy5}`mDw7m zY={=s43(lZ*mY~GROXE(t$HR}W|*nbQw>t${bzjTS$-acP=|1q#T0vj^7*I?d5bxG zIw-kg)Xy^UZHvz?=%dmvVMoyXN|%$Hj4vs1I%!~bZ+3uJ+M7_B5<^-#+o z=<1TmsF0`NcC&sjKfKxZ7tQ{#qE^|c7OFwk6L}Nsk4M(rP#%oRk**PM=uk)L`spfC{ehgLg zzC*=rPVw2Hd4&Jc?vZz&oK@JX>xXNq<`89YK~DqL2Dg8IZthH@{eo#LYm|y;vs$i7 zf{S@K@9fnsZX8p|`t(XA)i=IIsidLT#aVo5zK+`i*G{IccO#MQ^&R_G#M$BBv+7yo zKkRRxRbNuqejey9t&BTJHLP(7bv^4HsCbJ1x$0nmkA<4Mr&}|TJV`V^Bl7KW_c)-z#tDQWiA+bafiM<^-`H-uSos+w>#!jnLk3f?y-+f9DxLTXviD zXJ4xle0-cu@i^Gk{^03i7RqchPA*|S6)mdWneM^Kv)yHgJDeBF?xH>? zrt!hqR2&sl6WI0O?K)g;88oh1yKW^d{yb!4c7Sybt`pGai}SL=jR!txWGoCE&;8Bz zT4(qc61%#PaW|QR;M{^Ek3r<9tq;P6FT>2e1P__g+cZ6R4c4kBf{4zdnLJI{F`LaZ zipbi$^4_Z~6;7i_!+6Glm^dk0#6+lR0R|M!DfWT%o*FHqo4cL-T+o>i&kf+!QSLAH zs*K}5Lh1v6yDf&FTry#1RP1F=2Fe1^bAS*v;d3U}Lv{|K%6oZeHg#h@$Sw4q96FP$ z@4cM~g!@S~+$b9O-DE}KU5FvkTpnN>O8y|EJ;9SzaGg%yNh#;C?^$Ld5{`9J?WF~C zXPlEKx^<}(798B5#wX%$48udIsI%-PsnnG_I=pX}*@ghiE@^sQs}XiZC__zh+dS)( zVhA8Mgh*B(w{CGKTH}JPqX>TZtUBlak=Fbnw_@|6shu9#JvKwMDZO7#!}YMJl~#tFj`5k5r79G{j?3!oW^rA? zCi)xultWd->W<%8 ze3dy%T9D&Di*QI#RKF8lVdb&c;udq%{gDz8GGP8bmD|69Q1|-Om3qaGT52~e3qwi=QG;` zXHkW7AF&EB3eMWC;bnbauNlNXnVA8^Sqf5hKAD0IsHXtBW_g zU^4ahdA!x~Y{$Z0`Rqerb-PlZw6rUviXd!1!eO9Om;2^r@p{)Ww2Si0cnf8s(l$YE z6Y5T`;B_bknncyzlw?#1>)=6nY@r$0p3&Sl>iMtu)9(n$0^6XTRV)A_S(60f9n?mo zi3$P$V2!~vfR;cjNFvoRQH+P-@vUuUHxs_4l#dFFGeg%%8FfUuG#Iyet_hF0SzVCH z+lNWbOE>N(f)$2t0|7HVQ2FK_kB|WbH30;L1nRE8NrVx(aY*N%JlY<@;V70C+0iZ~ zT1Jrob-At-vli$k{*xH44gw#K02g_&%k$g(V!N;vL&vTtYs`A>>LUJn)&ldu$9|eO=Iw?kT+{FwVM3?LQ7GLid8YnhjM7ig zM?I&s7aCh-BrQRaYhY?bi@@s2S#b;e??}Z}da>egy1+ZhkGL^|Wj zcY#NTbQntH=VN4zTCF#P?T<%4X}qP*cfkHu1osNv4dn$gN7Yq}eB42yvI+c zklem}0@=TbTLI@nAtR{53#pe5O@5apN`cVT2G!)%c|JIpV{ZQi`Z`~Di!qiW zIfgisd3xLEV3m}ti+8EjA_X}UX7-oV2C#@ zvON78PbG}E7FCjY%^#g0{k&d${4_J0ig=inKx3~vW}e4K*u^ce?!lX03GB%h)yd}q zcHK3(*mG3gb+6P!BN_!amoGe@{9-!!T9Y{ph?-FeCv!oggmC392NrN#Qa%s%VX(OP*JZM+MY|UDB^a>qu1V8q_VvlOh#*L)t zO?u`boH7nu;>E@p(LnZ!;O<2Y&E7vm`G=5{z5CU{ppO2Tm)OWzzG*Gey@W?GNu?+= zZEdVA+7Wj?t-iFJq_}~mBaFe-{Duvb^lV@FT3$losQSZcTlm^5JJ5 z7Cr>I>J1S~*6wVCT)xCrCq%6~J{E{~+-L(B>vzv&2>O$uO z!Mz2%KG@U^qe>Hl7sMh;7+XT~64c$HM?b5FfvP7-s`~P#%mBZY>$|NUzP+`Gro?3J zuqxNFI6bnvDbB6c<-CtsruDq3U``8dJWpsF5TJw)-VTTT!A;_TRopc3WyODy-5Vm5 z&l(=~S`Q>Hy_AVpp-TWWX4NlZxl{m1FIL6L?z^gN7trcNP)6=Y@$0NLvAFsFl4RAs zUOefS*z89AtN&3J?;8?Amwlqje-LXk%h}I5!vB!C@t}!xxi_u|~n*@tA^zAAfxH6%R&0eC&F` zH*$hoE#VsK>_ka3vgNitx|08`UFG5V%!I-dtd8pf3*s-38mUWB6CB3eM~-fJZ+Ug$09K2J6M~ zsW;~i;n-k0-L3R22w9~U?>x4#n8~g1Kku48BF){0l8rFh4W{4m7A!i)(-5yaW{e@ zVZR6qtpNA>3R|3u!An|d&&8Mgm6tk#$C^2hzFLg&<0j%dbToG1i_MF$&Us)41y`uC z6ew#a7Xz$AV>%Gt%0jV01T6w}roHiFx!Jh3C_nby(gq=S@%JoHR3Y<}I3kA1c2@RT zA*I@oY^vc6&N$NTSGomrsgV^T8{#Dv@GRBn3i()pv_yQ+;ZY19#Vth#COqC;fyioS zKwJsS(OwRKv(1w$+OVs0YTFY2@OvqfMupL0L`RcpuAog(>Z*TM-GYY1)HJ=8#^`+K zFNUCE`^v-?j-E^`PWX*fv7D53;qDZX9SeKGml;Tq7P-#yK$bEm;mbn0?^yNKQRf`S zX4R+cJS3k6=qIx0y+;#V^|Np6ov-3WhDw3V_}hSUeS9<^maivKsb{Fv?nyDX4|)Ai zZMoS`cva9i>An>_#u#%7XOBfowd%A!zH#`w8q2O^H1P*espNg~0UK2g2I5+}<2bbS z&LEJUX>K(T+3!Z+2zq>AYEBf$#T4MF=*3t48v%HN4aZuk^w#IvCpK34BC@35C9V2d z2nB6t&LN0`EJt3`*PoV@9sf?;-Iviy!8e#nRt)@HDPH|-9W6tkwG8xnO{Y}TIg^Vh zDaFQ@A{2_6b}{O!d%hUNPdPh~giR#SOO$>`lbOX&7p$!DiYMbnY@~?N+nY?fphH>g z46I-UdhyksZ}~h*Dog9v+&|nc4&nNk$?ocye`;+>8`DZW+$w2xm#hG55M5=$-Udha z&1+hi^B&*{a6*sk_A+&(I7AY z@%6R_C^sgc7l0}VhhY|{#T@)~g7z<9c~$dtNQ8pf_8oxu4Ox?9b@4wBt1SPO|A2{! zo$dcVtQKod$852|^*mF4fSgMuRpIL~go0T6@4#GCpAe#s@;=Tz_x>Rg4Nm}!UqJK| z)YF8ciTZp1xa5ONs&_h!jz6%yHTv{*o@+Dz_C_r(G~9{HXI$NIMwxW zBmQ4IPH&#G)c?ffM~=z4w~^H#7YJ%w5GlPE9d#}c&zN?R0oP4jz0OphPgTk}Dm%v2 z1E1H={0ZTZusC&SGC2t8INk*Di~_l;`L4a$EnZ7&1dFf@z*Ds93erdAo-cf&r% zZ4=-ZcWla4{)_YUTs6Ack#%J`?6(xMr*Rq`liS)-$O+o6|K&+fY+RC``R4#UAzC7b zQH;Z4g-9#DHn|!Q*&GGD=THVc2Uz6udVLVdSaAhdG=_+B-j=I3#EC3o(94zEceX(X>W~&Nu9CBX^+#u`D#%4sjP76m|j${Y~{;7(`WZ9knKP z?s+=BNv`K?90!xl8hf~LZI3x_Loj4(q-%~dt0*B!^O;pO87LI)d+5Hx<%`7l2t$Gk zp85U=DoZ5a9D?cIc;5R;*C}3DOpjq%L2_MyTZwD(3K_HIZU=-BZ5XE%R$JtWZdHj~ z#j6>I{W5g-2{01NT3#@FUTIifTZ=uK_{={^y$(yk7K~H}PmkY=Gci=&9008vGeW(W ztF1Oc8~N_m=dvis8UA2#_r|^2!}0IH{**wTD=h6m9dv4Wp}=uGa%7?2Q-XXNJ{a9j z&%UC~uh*wj4v>F}q6?uTk6UHEW*ULb#ZA{X<{+10+Y884jKPN{Hso2ZbT=Tw59wzIFykP7v&PpK=n(c0&r|$L9=Du~*AacU09C70PMBfTH*smD*q6BW@<;tCK9cOoiA1Xm1 zu@U|QB7tNrk_ck-$w|(~T2gb)S+hVKB^Gf5OeNb${|ePTgA9Iaj2}&KM!q9h@m_8L zQ_#bjKXpvfI8Xp#rSc1G?`SCWN;7r=H*v5;^A8#u>(ZGP2UxmFVn>zEX7Q{*SnG2khLuc zXEV;J!Y+Gabn;b@&!#jR?>*%Yqy)Y0_xiH&;G2tdl>6(_Xrva%r+?(ezwC4J#oi=3 z9l2s0z_?u$XDd={lAipbCs@3W8t*l^o#ZTF>61gQ$gY4{YcBJ{wQ1vElv~Xn3=vDF ze|g;Uh_xhTaMnBK-yyDZrYXNlMGv$e@4D7o@;?N~;|R8C7NwJ0_pF}#t#StPYIH_V z^>QcG4FBy8XJ}8+0q=8IC9ROmOnI8sSQm4fKeu+Z>?|P z&G_rsXz5eE(aQ_T(>bhC0>Q5GKGP!HyT6`4WBvRXV)HA_iAIv&K83%Uqp)H~Ay`rr z%8OOf)GH)db3hC>mr}p3cfyXxjh0}zJlOC+1-e`PYTx$>4M1zXCA?PI>Z~TT($F!o z{Y|l&&97C(;QgN>cJZj_sSRNbALmdPmKw9113RFzin`|t+ltW3(#r=du|f3+4xn2n zfXOy7Eu<5j959ukRfrNrBzID<+RLk_rZ@FHY@MU-sLo!I`e?k zJ0N=2oS{ehm)rNe^F8czM%O91h6PVrtP&e0S6ZswLK80TqhcJjMVWli`8;`1Oj_Xr zykU9CRbDiETwAWlsb-E81rh9W=+Q&0^*M)hyvliZR&4h?HY2~Bg&LJ3b1(@%?l?v) z&G|j*hy7)0l)DHbUHW~l#zS3Z9S!YsnIJv9Y{kfRmAx8rm&^Z&7>`Ja^}kF??Eg)y z&&0~k`F~GJ&6?bahi(6f_0cv2C%yP9I=JkTFR4t`cBWhyGIIX^Sf5=GghV3T;&R8m zwZudu9u3+Hh|f>kN8^xa!MEM5*$s0Qsi1Z8c((j<_w=}Sl76znux`?KanU-Nk*f2f z>ld{eYGI}9x5ih`N7KjY=G|zoL~jr)S82CaPd7%V*tNB~jXpZv8({Mu-<7ZlZ2*U` z%6;ok5Cmxus!-a)rWIhF2cN3Qm5%T0@zOT334{;ZOH(R+xJODn(}XD>PSw2bBS?^= z+=H3JHAIrc3t27B=bRSt_r=Qq<Hg2DZ!2^)9fMw^2B!u0v~l{NcN(6MujiW3%ghLjw?m2f0J9WVCXGW zYFktFO;UN<$nB8vcu3~JV8xzrwmib|6?qePfOscVy3H+@yc(RNd;GHWYKcMtE%PI#G{yr&J z_v+syvF)AOJqJNdi5Gi;?akR9K-LS`JQnM~rFk3Dci3Vu&02|S7g}|-L)i+cN-8SW z|Fc#>m|~H*4;abjTy~3O6rx)E8zNrkdS`f=S?6WQVU>9wWK98IS<$D5L#C!41j7s3 zp<*_Eq?c9(G7S&~R&_7HD&y~{X2sIkScF1gOP{_ACa+s08caX-+rjphCO3~ZvC$Ds zjE33%3-09)BBua+#|06(jxE%PMhvTP7J+wO!ExGcb|~=7W>pZDVBWkpA!*Nl6IxGB zOwhl8s%bVjMf)p}rzn zs3D(yUdYT-M3Y4yo0=>Hv`-91&(J<9rrPag*Z7GErx`|r9teT=eB~F5@alPoEZjXP;XAd0`eVph52mz`08@)>vA@y zR&U%OvcN>)A(tk|`hyKmP<%91bWL7V2s>B7_&l~sIf{l&vLUt3{Sjt}T-vV{y%d95 zWPjWu6FzIZC^0ln;+Ww;aYC=m6Gg&cz$ts)&_BJT>wzEGr$3FoN9g#kMAh6|*|1gj zu}xBphnYODoLQFnLmJT#uN%BqgC?E_*wSt?~@-M&~7|o(@2~0SH;NC))ggqhZ`83lLpQ zK0d@sH5N?{<0)KEj-XoJ&BFK@2uw+hsH0kAt<=&|FLU$mTY~J{7vuf*Tg@`d5Esau z=XD5Xi~OKR4`OB~bG3*EGOkR>WT9oO^^w?69JCj!af4zh9x!FlVHng(-eJV0l^UO& zslXH!vo(jo?9e;s*_A=A7vHW3N5ie1Rxt;c6`+onmdrHp2#k@ERoDL@AA}QN(#%`` zY{d$Qn0h~2a_ez%yV>>t>LKlc=Q-j z5@6If=0@$QK8-axON4=U2+Iac0{udzEmyAfZkoFDW`i)H5$&}?M&T5q!*>Q`C?zaR z`P6%f-6jbQLNWm-Z^4F*Y_1*evRVSiHW}JgjRCfH8Tv2$3Mb#g>p(&?GNlO1rEjM;ZR6h}^Q!1SK&`7sV@y%bn;%!t~qWZ0P ze*wYtEwJza9L5-423xOt%Sljd7sPujRiS6Cs!RqY|<#Tcz08UW_wq*(MHj{ zEU1!C9T_pE-_iJTijxnWpN^`!9Sp`b8zQZfn6m#`3DWYZJRO8)K3M?Q#zUR&sKsh( z3Es|-si7_cuWSe3Qz|WIf{7G~Fy1G$h{Whv72v=73R1$<-Jhd+nC09|QaXM!%8})$ zkyx#lS@MPAq(JTwEg0p9nIXiv}KZs5Y)Mfjyg0rqOESZ_?2uY zSyN0TFH;FN%CLd2@&$x_wh9H)g_OkV0u@WsXUNCkRm5dDe=Ox(^F7F3sk&t6FV@U< z^THN`oC!d@dVB8Kv{pXFaSRg^ZPE;MeSFd|An8qRhhNoxP!L5w_;+ZVZ0ug(0e{>K zW@xuVst{Wf5#qw$lw{}{X~7Ax{$8=LI8*3pj}~`6PIR9H`P+>n=gj*m`5^OaAl@&J z*8&=0Y^g_mr3O$Z?adF734vIu)=*xD*&f5{^l$5~? z=T*?FEq=c#8mp1h#s8aL^!*@f;sGFGr5NZ*SNx6J%@1@@4nVbZsQpU&HOWH$%u8VVA-IvH4CS(dudl`Dp!U5U-{569M>(Q8r<4n0sd$DH+w>Bu<{I^1-^545wb9J&# zWixD*hzK%>(VJ8`>qJq&lFsY$`-n5G_gU%gC*q1&9qRuaELj=;o57NWgXRAnEVVmh zNV=69vl9iAMG zJiFYreUk-zztQ$--JFIofLS61aUF43f*w3|VLq5~QbVll|OKkhJG&Vb!I?;P2IYn0G-h|H}*N%Jx;KJA##Tv}{n9Lc?=xp^SmPF;m z7Cr3I+2Q*vR_YO4l=5aSgYg>PgoB!E1;^10U^{N=88LSjM|)Bf>As5bXZ!BT*yuRH z&BEEH3kO5xPfJ=;E1t_9W_ec;@r&Cp z93_Ldq+9(#`t(8Tl6JsII?1wvdgk~AN?W9Zc}0r?hSJ_2M;BxMO}%l{wG7wLGH;j6 zEvuUhegXV>xB6=te{)$z-{&2;4}Zrqlz-%BN_}O3JaA>BMX&kS*3I| zSDDMW#y4TFk*KpL$?TdKP2Q#q^FT}-qf5>4?>;*EC2YWH}XulNfC@!5LCpgQPjHsxSp!?I?2l~?QC@ny#{-_oz;@`jvVBEMQL&@?(%OE#p*f;`9uIVONtoc+^?jD?oYSaurmHkP&B$QrXs?4% zz41y7Wl6kJ$KJBF8ou@RW44^Vj-kA-jdR`$V%PZ(dvDHH$u1J{$u7sXi;;KCwd)Ydt;`U;5jUbr2>>?cAOU zv<+22SDegn*ps+p9H_(kCKoT*q>;FuM#7>o@%$~6_v}bJIwfwCD>8ouf3qh z9kPLd#$rQVi;V@DVOcZjHUi81L8<+?0h)!T_sjmW4lE@^jEe(60wJd>vqZNAqSQJY z?f||C4SFV&PL9cbqLEze&~Sj?Uc2bL44u z8wZakmY@~rKv^X;WOFX*lZaP^3F_J!U~8^)C8VgZBp-)IcUWCHbXfSHK4;}C&qz4t zRY*7O*kN>#PUSI}LXqUpq;ENs%Zs|TIwC8e;ZBmpINx_!B^O^K1@lD3Ijg4#ucHLo zBsk;gw4@K;CO|W>G@koWbi^YSVNQTmNDK96(-YtBYlArf|58@Vrm%msl3=ouWpoa< zoe*JOu;;S2)*CEp9*%+R5V6&EQo&`r?2NRLYw(epZ=J(E`kEY$8HU}_-F2?(RHpg& zHq+7SEPwuYYNmqA)u>^egqZyLFHXVp^U;tHO;25CTK^0&o=d|9%E~%6=@PVt=}~uM z(_Cu}lh{cF6|`2Io6<{s;8BHeCH8b$z>4UFJqA5PNE&>4*;P>vPIVTgX`xLLGmn1U zpg$0u0PT|?Rt8h%$-ABFc<;*EV31z)jYMWI#-@!!q&YjcC$S?kx4vK72P=-bvt5vp z@CIi(Q>)#4wd0i@xC9$TJ|$6FAmc4iSOq8G`}=uo_XKp3Sc4pN@L_h~-dDeL2j`M?rx{ksTYOrRU3=js+~LpIgo=wfq#fUvkS@gi!Q= zM5w4HrTIfWX)zXuolzU=aRo1LI5Kf6c-om zrJ?0@+p&hwM#I&4knnVtJ%77%v;6`HT_67$$?V1!GM>71uG-~~vH=r!1m=Cm$XP(T z$cI+D(Yfdkav_5h7dg-kS619>d6)vYzvwD9{&r;y6WL9_jX}D-i+xtlBSZefQ02MX zX*W($%$%xBggl0vh^2yy52A~cl(^W4pb-O6hqIE_NMwtX?qbSoIDxksCRtjmmd30y zBJ^)oXv*X2P^gtSLhJnIuGYBk^lVSDaf`~Z8&*#i@aDCeRaMfm184_wCUz9ZI%hRr zVZR#5Sj;@RCN3yU=uLULg^>pm6%h2KfAJ-zJNH`(q)7gT3qew{{WWa5^@=*bHb2NA zA#>eG7b@>n%dEt5$cna*3C4l|Wc8>Bm^xlLD;f{tM!5x{(I0`e@|OqIYT|mGn5gc* zb{Mb5^!kVKYVd&7q!S7~1@~C!ro&pJ4^C1D=V6>j@~9pI`XwA3(~g(483N=Ku8kdv zF*#d77G=VSs^p(^eHYk~hG~*vw?kH?t){p@_ce#C{zj3h5Tcn4 zuuQmw>sOkHMqoQCl{fnq_P>;xbS78tW~D*4 zKGblxQ1B-6=J`dj8qY3YKMIt%ozz!5=Y@*>P&mhCREfewyz%q5RGslmd*ms9 zq?RLIm)MvXdKWTk#%xuKkv_yJWQPb=D5PxF8zLd6AsJ_hM=sF+G;&;ujbJx7a!*JO z@SsU@=Yg74RlC+VT|5>vH8G7aKN~KdH0!5q(8%NImd8{{7(=_n;99$-u%Z}Dy)FK7 zhH!c+l)g99n83lNU9~gQqb#u6U*m-7zEWLcQ3aowW1lI8@RDIR@=8zsJJPm+%gw+rK+Tm72eTD9YD%MhkBG8C$1l|@LXBaxlcE% zh>>oF#~9l_qzfvoPc4*)x@fvDdJYJb)KwB@dhS=ZSt7AV#E=jMolIB@kn#tTj51pq z`A@&1Y8rQV3{rzU3CjOR{sE*7LoG)TlKnS}S2>HmpEdKKD6?^Se%3aReRp2u^ z_E7MjoD#98x2JR@BxjoWpl7PET9K9%JMkyy02DAe*;}}FqqYEIbm~&z~vhRhJssNAu&xB zi4%LV0!5@Y0<5mF%w_KxaX@wo>mwc(3IpLW1o=T$t18fdB3kN=E(~+_ZnAo*h+%|5 zEfhq-epOy}<^*3bSJT~b{%0ne^lWbDTzq*80~EKmr~$VtZWv2w6_-cf2lUDmG=)Zu z*hcvr0V5qqLsUX;vKf#z)~njPmZQJ^4?#Id+q@Vve2RJ(t$dr5qMExPhG`*9MSrM{ z;a#XH43dv+_)xSSK)i!hnf%+bS3IT}Awy%8Kji#9lgVV9uqB=;E6eWzBz*ku!w(v#7I=*pZ(G5?YJSxpg198znEIc1e z`=JA(BAxi5qbPYEDKoj)bpq3zpN(bH=D5EgCd$7wKwpI&C1sWzk|eP}aJA}ta7^A{ znp>(gXD08N#$W~yt6@F$tE8I1e2SLz#;{`i$}aQ!istkaJpCZ00a1Jnii0^ShWpmh z#u7L)=nlI>2nn_V-6LhCK?KSZ`lysU4WDAPF+rh8-cPXw*$#JAjM#l$ZB9`KJhKXJ ztftGya7^cGzyV!pe|m#PTmr8E7G~~f&(^u0SvC=8m+$3Ec^%@==%MnngYqJWeUwct z%re6v_h@e^=-dGD1cb+un|zuAa^Y$*}*;W%cgn@Xs)GMYh*-+dgY-AMma#R zV|DDfaMp)zBeD*7CmT88_&9`_POwLQV3HlCs9l^-BUZdZRQ9eStsehJMN5!V+9zcf zdzLh)eR%|uL*o=@GqA8b$~5QmkSXj`etzJ?wRxD+cUK?U7-&ajuXWR90>zb`d}_#gB=1v6(JJfT4 zjM62}6^d8X*hm9sY-!ks$CfVWf}5(iSgF34A;Zn09a|xq7E_@g;!nYnv20kE^e}Auu~6_X z^0<^}>Sm-pp{ii$Ug>TZAZ$9P6tE2P=!FRsBQp#>jR0P;@AoVFmtY(xE(vCbR8oCQ zkB5ybPZD1YM^~=|eIO0C&mJDp+G-#>^|)~QbukprCa6Ru%doaO1o}P=Y(Aj~q4&!q zeL_e>0E`xLQ=aaJ6E`)9@cbi#1{Bd6sebDc#2RGS0-_h^N*k&-#2RyT{(JkqR*{F` z0|%mG&EFV->WF2C#n-q1j+|qGPAj>+PGH_$HF3yV@Ym9NQABxy462ApJge4{PneYJ zq57DfUiYH!-+%Y@0QvkE2VCe20z;+R!utC591RvOmOUL5M7*~SDz2)v1IsUeODS#% z9tSKW9?e%9SKZj7V2WUUYs+ihI%2r9AX`7Pa?9>x5vTqsv1Gu&*xWNERNw}9y3t5= z`9yE0pS41sx}yf#5tM`R&U=kLFN62$rnbFHc-i%=7Vx#NNIQsO=sH$5r!w{kTJUTj ze^|#qDryr7W&k0td&jC&br22@K(0yHtwU9eKpJp8 zsYOi*BN?X>Odt?U&qq4` zcy==#eus9|kVnjawLPnhds!eUGmTA5zMcJl975YOxE2S~A~}LZ7ua9t&ZX}3>k?{) z@1zco>Ri=<|1z=bjyN`G2yLtH_Sq@nW#A*+1z}9Wlr_}+oWpmE`KrQUQWI$tS2|`Y zoa~O}9Rtnd^-V^W9(z}_iw)WfB447Z=InkiNpF7;(G=7emkAMwQ`(6y%?z=)`I;R^ z_s@s2d7wIP8=*8o(lBQBL{`cZ|zrx}_aNJ%^BS99y#B-s5NEJ>cFxX{iTW4cErw(Gt zDVTU77A}@Y<-~+{rNCyPc(0KhH~KG`koS5$&G);^HO;P3E6-Q@0Q)`4w|e0>sToH7C|c!@M#mM zPZhBF$Fy+6$}YMgO@dBak9(-i@!i?lWA~|%ce*36GaDQ}=ZbtIGp@k9__)HffYx-K z7MQ5^(Tv-Ye;dl%yxN>*DIBnRQ~mu7i=Vm~aJeNYqodaOb4eXAorx$|1Ka%oRto_br($z~|p zpi*hXrDgfzkuNnxO*VOt38?!|rA}`$M#U3m{yn>iG`^R^T9&NVsl#zQaVSpF`zskV zR~F(6$GHjQ7S&!BJjRi*k)=W#xsw*FXck z>MAZ9Ruq}z8Z823$#CaLsr%m8h)5IT)$l60Qy>@0%vpL0(6cIvDgQzj1#|PmFm`kiW@M z2kg`f8By?^tT2a+AKb#Q9NmAzCE$2k$|*MkNn2$xItd4Csk23el}296p-msnUr*Nc z%Ez6NKJR0lVchL;s82`7)o)S`)EX)$)wIFzNczxVvCyx_E|_-!(ax zPtfI%Q<{w;qR9N_F7TcR7Gn$Fp%s3s0QYt4*R7A@fhg|B5o*3i*Zb!4=fOW6_ng@z zx@%q_sWVV82{D@0K@oR7tIRRoAKg-FzHZlFlz)zB{(0A=RVEDYGBPsB?i-pw>Q%T6 z=1Tx+msD@E7zjpS!cZoTWdKE#@O|vRXF#o13xoiB$thD?1d|Cuv@auj=X}X>ENY zaHgr|7+?v~b3jUO)Lt93Sk!Rk>d z;woKOuPiM>9k#EgM=XMNjqpu5&z!iPFEGIg%EK>J3S>JmBvH2d_!m2D#GNCd8>7M^ zsN0raWeDd5f8g*{6Ja);Z1+|E9Au|LPk)l3C4 z%OoiG7{F-vzk6y4C>!RHU?QLU^YGXjld~W38KVCrpWlg>JdPZRgep)A_q+rd_vHR|Cyz*hg zp$Ja57D0C5ra_(c2sPIYWG&IM4rn9B3+~<|v%)t#^>}N=Rza8FB}pbo(4}qhB1QT! zT9he?8F+_+CppnF=Zrs;g)yyA>yAWn33N665TD)U57EMTnDvmH0j80PU_bSNc!H+D zF@G5r=8UB8K?#lPeaYpnp*0X{a^NMSl3Nl5FcFGZO6Fpc;oG%*(#tBIrQu>CyH(5Yv+mdvt+(LJ^AiWMpVtFs#Y%FW$I= zJFDnbPaoD~48b%J(t2S3O}reU38%c5a@9C=fWoAzN4`%Zx{LKIV3OAyNZKyjIIU1gbZd1TL@uS(0WU4ll#U!*5E zh>MHJNmk{&A`*4R4aK_CYj*Nl?Hpyqzg(J}iMKJ3c$Yma-55|Nuv#m}F@)sb)j3ia zw$+a@R_a~+SkF0vPVAXZce*un4E_;Ie>la7N8YU+oMK$EARkd_mEapFbNgSdj*KhY8zAM zo>_>d7N-gFE;hT#4Pn3Nof$h(ms_%cq#S1j%KgFYSXy;wpT=2@*>h*E70=k77(Fbw zhtE(5(c&MAhvTcR?VS7Wc(%4&T+;8#4@u==H_eFMDPPmz^ucs9s65~po(4iDM~P9( zEA<6yjDoR=&-~3H9@b$&JPSNJxAB}K48*H;OK@lBPMh#{F2GXMi;U^~b&pV*wnUxW zx__4Q#G182W5MxS9R_vb`|u{(eKB85-MHvX9W)xNjXOq33_B6gaXFB3u82%$$3`EH zBts?P1{c+!R0Znif4LvM<1iIjgy}kpi=&xh|01GP{m(e2ks=ga9(!iEA~Vhs3Q+qs0F9Mf!t-Eo(6i&rPCShC zEFFfEPb_S7XuUz3=Uvo{-Iv4!y_QtaC$^n|Gj*IUt+Jsaj87o@KDv7I9Dm-D)_$6; zkX+ZRxqi{t3lG`$Z|32S5i}HZ#=r7<7gnVZdV>az-2Z~xB0`Q^Y+->bToAvn=baZ%D zBp1rb!Fz=cI7lHoe^<`hIa~n<=Ej{a%v9->)Lpk2!UB2`(|c>gq(8n-GAC3BAK9=r z_&eKanE-~N&V`{CQ`TP>19f4loE@Ja8Q}69B^L6Qsyq%akCYdLJkz0QdP-fK0aISS zg z++>0&C{>)gXLymT%KYln`Q?VN+y!` zEpK;7b@i3dvJ6mN2FI3O4J~`G!5r8oxRhvBg&5+bOa77-giwKPk*1fzuX519?2HqB z*|elrM27-dH{6q?I_xaDMvd&$x@s3Mg;jNTBaHZwIgN10sH!6Vz(T7{Zul?TW-y0n z&5G=D0{@idI-8i#;$fJJp^KTk?kO0`#aQ3Ga^A-^bu8P5m%c?h8STw@A)W-^LcomQ+9i_ zTJ6+d$(^7ZYD>T6kj^dQG}N%FKKZ)dym zD-UvOfzY!HCfyBHF{-k2Tn=EA2k&V(ZB(KbE=hz(7?a9}tf5Q{4aKIl+1)RtZrlo^ zKF$5XA0(=>y_cX?Ti9;Wm@~snU}5zL4yqAXYb3gUnqP~W2_n?$ydPMoA_-~PdH6k@n#~h%&&M%rfQv%&b1tV$~_z}o={Dop6gQY zY<#hHF@j$!ws2xopsdgURoeb;H@XP@D7-H4G*?<|X^@9U_$O-wM?OKlJp!L;`wOGw z8#fC2=?CuMLaW+~4$AQL^JNheZO9ezo4#xaC=t#@QG2WDI?gCR5q*x5b+l+N$5(Na z`vHUZuZci4dEqM!r8Kg5?h(eI=}|wk)(x(XnofwxYYR74lP&UGEnFv-3=Bo4ZjxD#JdNY*R~UCR7B5cF+@ z+_dSAfr>Y~b9+A+g_PCX z4GvAMgLpPq)WV2NdEvWOcADdnEi=#P-1-b51GwBx9Yr>e#GeSx10dz!&($Nh$2!== zeF)BO8{E)Yf+sa;Ft3LeNL@OMR61W^S)mIgyiEguT@KEqX9V{8uZQvLT-)!L!EfMO zmDTqDCE)q*Ov?YWn#z`>^FP&8Xm8+WqwhcvFmNweKh0FkoBk%Aqw%2M-$Nvk&T-RM zSeI8qaV44J@m2Sg`(2;cvc2VZy1kACfJngqv+ld;o1RhGZrL1|}~s~h^LGHH4C-iGr4f@5Z+86U(Q6}SKGCN}K!f8(0V|*7_Vj=kTWhx@*2w07lKa3`{3>96 z1A&6maBHtAPP|>`fR=}oSUlZ)pS|vG`0dQR8nMz!-0-E&_XH;k^EQlYBJSRKTV*G# zWy|Pc8*U&W&vLt>=nNSWK5&WMx-R(Sq2F>cESGAqaBS0ax8sQnJFhF+;%yU>;s@qh zVY=8CX!}-MTgt?#1V-vvnDFWHv^G^eTY?VRa);;n?t>FB)z9^SYKg1|WmLXT7p(Pw z^WNO#q*&pQ-PG_z)f}HOdLr+;>;p-E3~G0^evc#0*c7Vl=P0q<>xs9nS{nQQMC3hn z!)vh$oHW+4ZzSXjg^UX5-*YxC=PKYS(Ni5IG07r}GI3l#Rc}EdYrqb!x>wN2 zVajfPH99<6!gvb#sZ^=SCi(&pA?;HmZol$6s-WU*@deXnlnbD%#uCqEZp^r<)SQ=4 z1piSFt**$Zs@QPk=W%kQN7R`6m1{7nzN6Yw!$MRa6OXVNS6lo1&W{LbVs+jX2(ySJaZ*LbW`p3~ z7^0Y6j;ik47|DEyw)?{*$O8Ee9o`bDrqT@}Y$D`Z9AKa;V`ZV8Z!h+b8T&iNVm^Nh%PN?`S}xh6Yu`?sK#OLQP_4vDv<9{;Wqx(qhRTq3Q4-r$qbln>mz1r6}67+rF*ywJ!-QrW*GuJTS-OgFwz% zZCrK0#4zLfL-HDA%!Ef>?fO4O_4yXd`(}O7i6DUa1u)sWBvc^suZGa}!fTtLe+-GP zorW4ysS(AGY^oNWQIO-1f`9Y7pCaWkm%O`vS{6||ozi^BByM6k1^jk{)17v2O}X`y zNcbTkEwff3h;V`wlR0B)oEYafw30cRPD=72m&~}#&ydK|#(^Y=d01Dffz;CCa+qLa zl!GjxQ&|(;@qbDW7WNSbZ4~ZrKzovR*yifF(R<{6pJyZ?8nh>3Czj=MM&_tw9S$*o!9U!nHH4(Mjv zZ**B}e8*F`j%|kOa!WhKk<%e5T@WWczs^3lAT_`>M+(RXAxd}v91-2%TRLIk7HYnR z?8p#YZtHU=b#ZmfY7aSIxT=GGt}V@S(SD#&EE0y1W2t;FNG;OFG$dbTzqLH?vX&^s ziejtY%{OV|Tr*`^AP+x>JnON#e;>Jy#8|HeKi2LAAwl&Os&k>PNBUtwFz~ysJ%>pV~#O3B%X+qn$(8o^E`Hn ztd-L5PYfAo8H5%UH30$LQVjnXH67tpNy^ZNhJUC~*47#1Uwo=8p0C2d$q? zsUd?F) zA~3G+mBR8ptO$|Xekx~CnDbWi#p9&(`0CK2s07Un+vY2@4k`}44ZZBLO7b51J3<)I zvX*w~9$vc;u3IxY7m8f$fz1ru-v!Dbbz3|982KfwqG_{aRLH7K%)%~Ay$i@sEJq^R zH21+)S2(RpexZD#tc1+8nmiRkz zj0jgwZxgZB#RN-GZ%^98x;bjh0AF-ZS$CCGv%90cBmo@QC*TFoBKX*p+s+w-35TUm z2F+m_lo(LmGE(jg&8V^h`!zgEy~0pwrooD`c0TEs;-h2dO_ENRq619cotidLxcS{| zYq=Mp8rRZawFJ`}dEKdde-&vEo17F8TN_6YImcJ1YE(~K)(*?nF;-iR(aHy?cdRld zZ_~gLReaa@)Lc)nYax4jn3WzSn@R$okl>zXhd+s<0CL4SpfW$qci+kFg4|zL=*uf` z-xo%Elr^?HL21Q|R8L}UP9`}!J~$>XB$ayUwx}{H=E0F`EA26>RZ%aYp%FZh8%9U{ zl{h(93dhsd+d>HLUv@&l)%9cu998!5$Kx`EFp8iE)I%ze--;*e z<|7Wf2xIVHg{jcupoEyDf_RFmsWea``I3UCrwdZ^L#Z}nzenAR>=MA()_X1?BE6<^ zr;H0-cbB%)6dyl}?9EDcTRD|&V*5LgvdsoeV`s%zPbr%-p!5RcagLObj6&08eo$4e z+%*V*hsc~F;Oe7;DiqoZgynOZ*Xi=n(P5#2gXXFQ>D+gn*8)EtM?%OAY5$f*_X|>F z%a=n|4$CJevh`_-(3QqwBc-^|E9XLPTGfy_Z7rYl=FJng=Fgb;eXkV`wNHQQOr?7a zg=Q9LWzY^Dw0)so1<}cUcoDmEBxe9F%4Z-^icEQY`2i_#p4q*@mBpgjN(x^4dCtdr zAn7!aLAvAc;D~CcMOhmw9~guaWA-hzaigBBV(q*pQdM(WQ);o{`>+OMpqHo0HDs-t z5U9B$cC~%seG?|A-HN;8)R3G0a*$usT6!{-&Fp5Q!m_0`IFrjE5hv)1ptZhf$uzpt z>l$Yo9a!9N*14oKZ%$K^AXKjA2xj%T^CEBz>OPJO=|RsaEgaltwIo6i3?DkS+QFoa z_jC(SjO@ur5NaIM1g?tV+}(II8i(xbM~RCxHsq2@XYq*)hG2LV5>w)FpNQgjQ$5wM zW~@1zF%(m{SnQWZFpaqwl z@~171x0#5>zLBzd!tpB|@#jDUe{Wr1qc$yqD+aP|t5?~IHl-qw zihe+bJg&Cq7o|!?<1X#G!xge#+x<<&MN~B3a+<1(XR#WhbX zSJP~jQRQq*gqZ_j1gXwSI%@2~=BHa&t=vGRBfmGGvPQkxkyf*G7Ex$&?V*IjnsOmF zIZER`B^BUfv{c)qjGyFtHxgN^kj5Hjsu!1B8x%}yQjliB@~5(MyzF#3T&0{o9)J@L z*e5rtt8395;wCa`(_ks)4Qm20WFbZa9F`=vBTz zEO%09ChAfTnO;lB%ZoKY+NZFYByCU1`Na#p^b$!G21l)rjd0M&CBe?{xJ9sO`>6`g zV2A_#9wBMr9IuArApM0_M|df#s$cIuwh{Sz>O%a6B&3H_m4F-`u;a6sE%`2^hw zheo~$YUotXqdL^3-jtdQJM36^Na^P`u_xu#mpiMyW<{I04-e)kaZR-y z#t+f-E8QmKQjn`g<=oLz$A*kk00*sKP$zJPCl!e@ z27!~O0(f$ZRlxIS2!(bo*=v(t&hPlf9-ySoh%3UlOlCKsRR*A%(S-v=duJ#c1BJz+??Fo@F>E`~8d?REc zK=~wj#k|DAG)N0P>P9fRV=t`~I+yjah+TxGRq4rE%E}7+I%HQ)@*Z#x-FGfr%vnQZ zy6I~NaT&}f#94@GNQX6xEDY6-Y6F%t$RvO2L^^VN`LB-8*UF=VqI+UxS(dt(r(kJd z0PiyM1MS+Wv$QD1ku{gk=u&#u^@ZBE#&F6T$}ZRGln#TeEhIzTDoZFKu0O?|+zP9*$W>siVQJGWJX+Rw38J*HXRGf4zVYHEhGGG za!}44O8CnL$_Gp&%xdSbd_7}?Ta}t3Z8*!^Pe!olYN?sB@}&A8h|@(R*h{%hOSOGn z-69KK3nF{+XF0S0Tl;00rM1`t7v0l)O$THp<2;e$ChkPr+=qB<{&|yAvp!}XV-a?s z*MqdJr(?~;_01#>0A|o*+-D&tZSgS)6Q8#?*V7};CTU%dnm@D29N+a)$Tz81a_2#P}ClT&mc2J*Ic*bS0FXoSuS?92dj{%6&G0sJ{^h(8;@;w zDn$Rw9xv3YuSS9;D{8_MjD89I?{tycj2n63DEO5n(G2ELEhgIOwfxn`Gn+>5 zowSdtGfXxEVAo^qqjn$YeI#tW-ouUVVMj(nYtK|b^5S+7uq(E9Y^I0{(eWj)D!~wb z1FT8F*=JI1h!@?@<<2gg;foW|X$&G}X`2K!Z3HC5HlWd?Ww@~-lu1LlUXjtFRa<(t zqrpa~>f^yTIxrzgHRtMZiC=-CMY;Ld9%&6!K*QgK8Jf=W^pkdbZ9!V44f-Vlh$acT zw0|W3`VJykff#!teT}cr@f{YwmEo*L+sgnQSTG`8<+{Uci4|Wi%C83@0}+H6cUq#m zI)V4x46&OCH`JdBLR-+Hy{y&w=Lt(W32KD{OQOr}Y#Gti?d)Cg0yS2nuuJZuEPgh& z7y44*qR#KuybS3@AdD2@ZY{5AJEyGpgczF|X^Bd)6uL~M(VzN$c~Z!9{z3&@YNd*Q zw%$QHxkclN+aTwkQrx1o3A~@LRf)&D2+(qrlQN-IWx}6sVMV zsT9#WuZ!q-)2;13HUG$>VO4GOpP0=HE`<=`AlflfuV&n}-LL7>#} z@Ovpzmu1z>}w#+qd0;h z_h&WzWU*mlh=w=63Q>s$v2MphShR+ms$6ky*FwC~7>~F!D!-=Pmo_!ci+DgIffEX+ z?{QA2d=~aZ)rli*tV^Kt5(n%Ij_P)Q_5=qk4ZRyh4XxLX_glznl_a&XyBmz8gN)Ns!jb6lriM!a)o|1T?6n zqGKe)CDq=w%(1S}PuWRAbO1iwN_K`wd~@4k0W~HopJxqk`OI1x%5B@rMUtH5w@ra6 z=y>e~Zt*#?9fakSWJ7A4x8KKlazYt6T3K!x&}?(k86|~*yZw66I_@5+oK!mMpsw%b zCt~V3^76&1gXK|GguxrwbDk{&7pCQ_YK7@{8_rHP`O)@q2|@)(mN18>12}G1MsOb! zWo;*$4#X0a2%QhIf~(C-xf$vFyspYs(%5}Cl^BXW?6}q^+igJ5`u*%8i8GO*Rrjei zPDRse-ey<#E7`2rPCGe=dlYo$l?1#hX7SDs+BB85U3udv z;}52QZF#H2byBF8aebW&mgu~nwf;DJMLcp(;+4X1eCb_N`{Vr zONtI7Gk4J0q2(Ufj8Kgvh@srW<50*lfqeu9-CTIYSrtroCtPOLG@GF1)tj&ZXC1BK7sn79qRiYkZ z%Sn#6Hn(J>?t~jM0C&JjVR-T^cL=;{iWF5Y5Dst4_F zr(T%A4b+5Oe@3xhT;>lZ1P{Iu%Y0b%xI+?_*?40P(LZwNys+>FbPu28ZCW!Q@jlV) z6zMXQy4BbMsR)Op1+oVFw2=#L#AKn{<7iPI@1dD!o<+4pc1*M%)*bgh%Ti?T%t^=m zvR4pRqfVKhLuy3a{!FTjBZ!^(mFC?d+OxRSOuozs%Va_^ZZ2l$A^o*DkP9Prxkn5Q z8Hr8x4yUe6CF5afHB%l;PFrb)ibJ01fWSQ1y?9c-&S^PP!Kd@!t{a8Ugy9=dto~b) ztx;bYYYXrmG~&$35w}sFfX-drwDctlD>LvO^<^=Ke*E=Ex45QtCf0Y*;ASy#+Kf^{4q@ULcBgvhgNJGF$U73jcCeg%NLeFAq5?CyYz(Q90P+<;Bg>d8@uv z0Mxw29DaUS(^i=s2UXd&_y-x#w1lo37gpbw=uoAE!JnKZzA%Jjv}!Vc#Q98E(&pvO zyf(CYZei_??QlTjF2vyqCnE_Gj7lt`{x3T&V&Gfo?pAb1mzT?skst%8RZnT zskyY%P(YjMD2Q?Lv^1zcg53oaWLPKnvK6tlBe1<60Eq6`KBG1|mroMM)=c+wwYhXB z>LIP~4xx(@%Uoyky31_L?iTet4t-I2_x|B){gC~C;(?y-Us)+Iviuzo@zR!oeE$JN zICpVku1#b{0C<=Re0uXhVdzF=w92oFN{^AAn#+#;8IWMpqrI$EbWVvqB^JVl9%WS{ zruy=@qWnMpoBZb@&VIsuuR;$_ z(~GYTGFmxFO1*FI$6@yU=9%0facfE{*ib(r=sjUAL*%(vEOcF1J=8C|mBh>Am^HQY zrM8R|x3W{yD0w3duOro04Di0&Y$;}3W_xA4zZkbBxRHUMTW zu2@?zsJmb@pup=Ua1wfVOxA2>P`AwPJYv61%-}MSs_?A8I~dcLaosm$^TCkUwZpW6p?qTv~5ENG5)Me(PxMI{2sGM*nY~ z^0Uyf{nc4bJ5keeoew^E>x1$>RUyE69RM8Jn*t6kt+^ZYs2sOcjh7r`#k;?yx^@-I z2h8GC0myPR5n1YgqLSrFzxqU};HBO2<>GNJsh8eeC-v>@PU^oHcZ^#peFSsi?Rnyn80@(C{P4Od z(e^yfA2dJ_zPnL#?1sLYoh-l9`Dih}SeARsGmn{_95=yLd0g)Hy(8Vy$#-kk3OPgE zSJu9m_Evw%vx@O){xxihP91)uKINt9>+XBR_UKXinbeu`>>6dWH z&pbv&U?-C~0c>a+YG*rwQ@vl?`~Jr=IC6*k{Dl(<+9eYa*LovO{eeH@+y$4}vDo9f zznvbbysGeYqq4S9EY0)D!*yI7;Z$*XRR_UJ_jQWz5rwkIjVLM@!E;7ntqGt&J{6~f zo>4_|O*Wf9ODnz^nyD`9qlucKUFfsPIyRbr4BuaM_;4Wme0^Wr)?fN3l>R%bWOl~C zp>$T)GLR1b+qEmNFb=E8Y+)6EFGyOIr14Gh0!%Dn9>fAMpXYvkdcP13itOFNb;ltr zqP(&ZL;U?BvQ(d_YHqGqkA&1uD_4;tKT?c%NO*_V!=|8>&Eaj-6VLu`-YXMUHgs>+ zOmOuS7~phZ<81TDM2x5*Wn+T^uBnyuV2zen<76q8EF3i8n1&(ZN(fgor?owM<;@Nu za}v#!8NqSBkkF)h%pXG(cFTn&TF0qR1f2|Jr{xN7Jlg3He{qx~ntRa0raeYe^?Wc@ zGH)Ow8=rWnV->RoT!n6d*{FUW;31e)iui!j2mro7TyTW%S4-E6%)6cdU?drkGg#dY!5Tz-$R|qAF)e^PO(lOrwyk57$e70LoRcTNW6q)QbzOvlIJv5fDC4A9$ zd7e>jEl&z_W8Vq7Ikvh2N_t*R!@{nNV@5cW>0o2VK09<7~@q zx3ni3=iA;@@3%r?5<8=jhRuH*_*c%5$Tj;n|8b(*CqIzKBf8jUm8lfg&ZdRsY~RY( z{(ICW#DnB6tWm~^?cSliWRF){Q@2IM{p#%o5yDloHM=;Y(B^&lVYvywMEU*+#J)gV z_D|4a`ZsqC6Z7Ap^@lV5Pm0i-n16O^1H~`aI5#7kemIvgD^9VX%yJm(s|#=y%M$(UZ^diaJse&D5 z_i~@=%MIY_@w(SGHg@Vb^-W*DFePs?GlN^6zT+b>(Lv3)voEx{JLG9%tpSSyi0*N*|@OMX{8GjTR3PXXuKZvhrC5^;>={D>?hN^+@^;W)+L zWWz}N69v$niZOtV$rA@lOXR2Z+A$s!q*M#C^#x>t$<2+#>4~G#(2I$=*kQXUtNm7ol&X(d4d zs-*aWecRtfjzqa?HjVF26CCF$ovPwM*wc_-vQpP=%UZ;<~93e5io3Jgqt zhk{(MMGzf)*AeAmYZ1~<$tR)!=em`_<^@1Mjv>PupR_>sX9i#iz%_fnt zcX`uotQR|>#{CQ>HMWe2%a6Q%e)B$sSczxvaOKF2_(H4Jk8MJMTb<6V>6YPoa|@B2 z>XdM7euEx!)Yy5MbETNM7Z=sf}L(-g@ zZxMtRaEbfwiG~@Z`b09xP)=HKVhj?FBjpsNr3XDdPKHih&pXjZ=dA?f-rl3j-QXXN zqXf31z`?N(ILZ@KRXDr+2JL!6=ABy;7?^4|AKwKlYzzM>aDTDFRdhCRaRx z7o-(2w{kLepcS#wcQO_-HncS|rj;_bF?BM-V`gXi>&0kjq^Ga1XJoX0=iv187`@=~ z`0&8Q^et?~=Cp7&860{DZha*0eyYz1;}^VXoagc2ZBD3ovcLaM3Er>wJ~)Cc z2tP4ryj~;Xf!|{zBYoQHTdIk1wt9M%rh0n&nYwc7iD}vL`MGhGWqM}j=G6syMtXW> z+o>5EiD{XsCEFQl@p0)HYCrb($$*bYO^cJ2D9l!j5)+ZsPR>$NQqG7EQO*ufi`LCg z$r4SIjmUtDP)bmeii*iv4~~+^o{0~ODfl*O!16Nh9HAs66(W$l?i3XwZqd-t(gx59 z{iZT|SEhbX4E!GX-B+72`z{K$7313Dh~o96{w(Orv-fm*l_N|_mD*nC`C~ZqwM^Lo z8}OnnjozdDsg-hEdUbhzxnG*5!YgXS|8(Eh<^7>(a=!JfZR^|{{rCbv?O?r7>-3V? z2zkE%oVBA;r+0Zwy`q!0d$Jd^IJ=H8ySO&FE~vOGgAzGAA~{iI(Qb9wy;hH&CHtDj z9%nE+8-7(nMEEt!?5ApS7Kv0>b<|d{Gak0|2zeU`8i*RIYBu^Svx*wsqzB#tC`qVu z8Z!g0hNVgyoKYD*?b;_g4_gYzihq(ysefo&th$E0j8;IoI6HbBz0ke#c#xrMtseEZ(J(Z_olq_lhN?wTn*QL9f6S86$?rMo$au2?1c zm6BzhTr60@bWi$lr{;?%pR+q+FI;z-T-a$)?q0Yu6Wm%o+*(!bwGVX|;zEz!1QEV< zk=&pD6HM9uRerPlZMB7VY_Clq9dyW*J0vcr^iQIEt0Z^@Fo9jZGzrfY1jK%VD0mRI z>qkj}#eUd29?nneGq`#N+9WN!XNI4)cK$jP`gYkW{RkXbg#?NIv0m;*Jhyd=L?h)Y zx@!pdtqY4U8a*b;chdbWZ&kVU;O9@t>%|BwgtT`i8K_v2i?Xpqz<8}|VRr^BY?*@# zI}sI&BDrxEe*N5*UPbCnpMwaCKk&sBd802`Z^XANHKU7_f#Qjv6~)2{h)V~0dfZf< zxWCM!E()6&p?S9y$0r;wQ$>=|BM66wvtpuUvkTzHC(O~g>3fdoXRVz!xvF+5=pRjN zb6xwfX^?riml9kkzCOPJ6SxEaLpv3I>}5jjVlK#R49 zqEP)5Iz{8p82~fh9mf)uLjcwtx+-Sn66?hept_75r8k;sfC8(Uc_?b z#EvL3MM{>pG_3uIXr zub5n7J-?g2T$qqQqAzyU%l!hLH*J8S6U0f*aN_8U1Ryvy;E2jm7pLCw91&q=8b`yn z2l9VGadYR%jhtQsSMp3f?AHC1GGjP4nX3DqoS|PsN62Fv%f5GAJ5jB8c1eGJ_gu2L zgVu2cIqt5^%Mk=iz&Kl#zWWOlQ4TSTO!#~e{?`nG?9Yl{0s)8UQADIsZpbmbLYi<* zZqOytQG9?i7~sxLkKEbPWlR*q3JtBe3+AAlBtebUNZYi;2sZ)+6k?o-<(lDqrUBwQ zq(Rgq$;5mD3}oS783hq_!jj*K%Cv@lx&`#f43Zb!hGC_S2OETeLNJV4NhrwdZr;#d zlY51a9rBbKIYKFr0J+x>pc10s0OMm2FXAT(Vy?6k)GW@#Ff28{9^^Zz+074;t zK?JO9DkYcFuf4fC=t`}V~i-&6=)zi>R?uIKDQKKST-Ll^R^UyhT?v5MdvY+b#hT9H&YX)Awgx zuf`K4@ z?j&AV{3V*Q)!p&*(|RMje+On^W64r;Yp>RPVy9<9*V8eG7lxccAtb;UeSx;Z=l)F< z?mByVEUgjPePp_1Ft{Z-=_7**M=DwIgf7+#n1Jcm;Czd2l{?0z>=yo4=NdC-M?)}$ zHS~feE#O=so8qGB*!hFGpU^$fr?=Ktu&2&;FQhkj$fwi!8aK?icl4j~`CrK{OiX`2 z9~1a(3+Uj3uihbXJ2aH_0xwj;V>QfF#MS}I@sBbSL=j5R4kP$qKE1Zhp#=W-`qQ26 zhO!#W&UvQHyBu9gjt?BV#Mv6lTtTlAubYgr%hQtO+aDyT|Qs- zE8br(?UoJ>v9_;41U(qrvUaitZNREnEwkc^LLpdUKt3(2Y9mG$@u&nk^ z3sIu4&7W`B9FSeS5gjcSxL@Zr^Y{EfFX~3(>O)S5i*0oU;|m;+RlJJzqsb*m85g&S z5HFYG9{LC_Tx~tpYJW`jjXjf*>m!wf8Ssi~i}~1>QsGS<82yv~(R6Uf3yB3JR#jGDr1ZIY5(W&;Cq9tZBi;$|Evo0Sc` z)F5e{WG8)B&kWah&I~tpCQ%6u`15sv@9eeq>r*yKtY<n#v zr%N#?@&jWc2f4VGU5s}R8aV~02bIEoJYgPjHqQ9uE%p4y~S3;NTC%P};mN}cL9yi+N5YfNuT6DEX)LxL+eUMIX0fP5R*onh+> zSKZLh6|4z>W?dBJy5(|LsG=E-2}Anyo;}2Ac{A)$b)|qVODJ8sbcm^q$=Oa?jDVuA z=T|I3^SbKS*ysAAfBdjNNdlFBxR^|1WMaFR`PdXv{W+3x-0csI+IayZI|7CkkV5Ei zO@tJF%U!&TYnsrRT_LkNICzb7M2CT$UXNWNxbp>aMX{ItUcp;DfhKK!g{pG}7~`Ms zdBh2!BAZ3>PH)&gKM~v*4IIHGe!pM{A!%QnuzGZ8q|fNh zwvb!xz2p=(^!GTsePK3R|vKu_sl$9zeqnHEQjx^>Qde>QnWYBA9IEMB+4Sn{}Jvi zro!eM`IJ;ieFaGtm>e5eZ2!w#12D8|4ecwlbGr7_FBjRs5xu@{#Kp4XnCWWm8WG;} zC5^B4k4MwL5`Y+3=>EzrwEuf)hSYgPxoIy+o-WsdETo3SuhAh12!1Rbod>mmmWTWF zP9XC<#@F98+B8bVqr6iXMGuHTcaLIpQh*4YZ$*oqF`z}xgAUri<9W$|iz4AyVSX(@ zhYx5OUw&)zm?(ec^l8_I@&NV+6t`Am_+L1tEuS&%$(7p#5#fL9En&_yY3SP_8bZOv za%K4urNoV8qkfU*G5d-NroGylQvf7zXrA_M%HTG32FF(2&!0`GxgV@nD)7YUzD;s2fVVpzJM`! zZ=am!Hy+ zo)mcZw!t2)waq@b|LwTT_4%`xKJa_LedkqhiVnNOLY?mh{mbd`8Psx<$MNtp7Uit%beSG2`%!$pFrL=BpKokV!b+$LRTd?Try@ z{F-Wb3M5T^=<3MJ)@fOt1^ybiBoli0MIh61XmtG|X6^hjaF55g)pOpnD zp1;F8(PypSp_+V1k`rxn)B{b2)8s^aD>34r|9+F6bowoa%?=L$J@L^lK;A2f?2HiH*Ew${tS)Z>ex0cDH%*orST>F&(2xFK8`))qIB= z==AQ7?EXj&=wWEJA8$ZC`J9E8qpLo~4Kwk&mb+#>nG2NOxAcxxDq0~7v%e(iEq^!& zFcoJjp({8SD4Ns5u-6Lh-H?Gm&?`pd{XB(GScDJTpNnl4s<>%qh8wTd60+GRL8y>P zQ5cK_PS#Miki&y4vf_td>_4tOL(E&PXlC)KB=(&hXhAB_afb!4NE%cD!Ys=>2 znz6_P+7g2Ng?6$nmh$q`HoeE!^$m9M%hbD)c*}ZsOvW9sL8jVRJ&+Fs$)g1bmW0Qe5a;F4pRUik4W&KKz*vX4nfjeJk zLz{7)!5AJUiT^2o|J4*E&I5GUi=_{%XVUMr)D7Y7z$dGYYNvYly-^xP?+-u*n1pB9fK0Nb^~F zvPkL@-1#tFK6v?^iHYI@^yQ3ss0R5?WrGdWv|W>v)7jkAdj<6Ks2YYkA2M zT)qTD(gh+R&)JroQHZY8+*{(K{i^}m(|VMCsrQ29O8>O`z-a|?#qvZ#q-0<(ZyfAcCXREdq(r#*0JN)pWZ3uu|vT^}o70mFpd_<*4hd5gm zc|Bpt#BoV^&cw6+)dD!BFz-_8Xhh{w__s`g3ZmL@dWK%*VK&`*{vxss!AM4;*3f~2 z9h~GGWed2etXOsd#V6C%RqeAP_(z8o#0(4QAK6c$;>PvoZ(vMiMe+aiL;jtf!^rU0 zyX(J5!GGzs#^m%Ja%8~#_24)g$>m+cMveaIL1=$C0W+oNu|DYGq$lHDNcgFW`cHo! z&=QPDIdlg}JSRAij=f_@}Fe(zDZ#CQHdjP>fKp z0&VWTgVGAkhAD)SF<4kO(r@>cm~6wfePuJ%!ztKr;242*gqa+(M1|^|UxN_VL6Q6J z7{fTEa{{1smhu)@5hxai=fgF_S50mPU7m*s%X`78~AmB(US zBGESo!FYI`_+Cm_VZ90 zumRw-{;1qoOatp+@4oX!eXG9LzKHsAS9Gts+=^^p?Ga|{j`)&6bgpjaR`2%QjaU6( zboG7mWOkHi9iA!*>%9f2AM~^#W=13!B!PM_*)<%qn7s^`^kK)GaXH*+#QsIQp9wO&4uc9XgW$LY_Cvnm@I+6 zA*&j5$Do8txIorNeiKqP<p zgL6n&uQsl98V%g&rv+YZ2329hrZm=yc4#L3vip_x>V8qzEw^toRn%pdJ7d!O6MJ!xA3^TlV8tlvchMQ7vX9fr1t78wRK)q`#rQ3W( z9225#KFtpERtK7EY7WeD?8=zM3(ugXg71kMyay^ewXDZb`mgA?Zv-YzRyw-(t z!>k(EXo$>j%c-Bsq~Y(8MI>^JrD+RP7AyxclX-^9BF4YTEtvUj6OBQGlAAdlb79iCY>r(%T8 zW^e7cFaCq{HhjlWBe<82c|Fn#xuZP&sm!~M{zJG9Cg>1aY#TIsPobAzxY{mlT&BBe zn{j4F#<&hcqbJGNp!%7EMF<1A-w_;T*t7|2WP~9$LQ;b^>YhHmMm?ItOTgt*xM2-* zJ+A#kt=!omh)ThYD?NU?i-p^If}_;dQP)vdAzt6KXKu>^xg0d53mcXZdEsefAB(wz zT}?oosJ`h?OZY8_Gbz>ScIyzF6ubk@c;;rhk-kY0X@i^vN~#7FZGi6wY$_u{9ts^& z2u(vn?N!AY0f3+2a_t8%(0AH|@djl$egNg6q`a{!6!6~F^L{wlg_5Pq>VWaA9%7K% ztJ`YrM@pTCuIHL+qXq93y7mjppVrGq+XYU0my&CUk(K);VhCYw*}#;uV^`9DRUH@R z)&|@BBzq4psFC$^~JZwG2Uls{NuY<}Y59YU~}8L#<%&M0R$ zm4lZtWBoG@ld(??jq=huw8UX%Cyfr;)80EmnfA3EpwwqTZWUZc2OZ$XwL~@?2zLd( z(tiP?hRGBq}y82@v(EN3>hiN`U{(GzRT3 z)O1o+TZFLL*vgdfA$2LBJ&_ZP<^V4NS8y*FQaSMF8SMZ^7Hb44x?k5&KQj59w>3?< zt%PUe(+^u^TXLV!4WC}3^MItUTR(KVy^RQmP3)l&`|<^+p%oPXg=HC+x}l*j*>9PS z$j&>3`Vx`1no?icyUN_g==V<7@NMENxa%|jZ$-r-vH6NrRsMym*nSi@ynei1- z5f-0r3Y%VDPbQ^IFH%GkI3kAD%SnI^Z(MRUy1L$?xHP!Rzu;^pCL50#B*=~Nq5Kx7W`<^*0Xt{2?xfGIZ95Vcxm?gMj&*tIshJ<3 zs1_~^oH1ltn#6qreS+y$>Cf#DS?IUjJ%D~??cb&yqp__Q@faj|moQ1IHyE)&8X1XL z*(c<#?G>R>G&^|4HWXYw|BQ5QMBnl-xriT(VTtEUN5k`5H?RDmf@gq!i&(VCHhi=4 zy1fa7rOz@)+x>o#Gb+xcddd?heOTmDbO>4}DaEN>AyCLUlEsB5w3S?YoOhZmQhW8M~y|sh#&Z4-0r8yF^=(F5W_3x zBr%uS?WJ-aMCSMIgwOJcx9TU{GO&Fy>@V;WOLqpsSkP12ELK@%QR)M`e%o%>%M6H$ zb|I5vq<(5O;;X)_%SK1shwxSszX~-p?y(STa47Z_v#u|sLX$A3Esmb*$AV8jp_p$88k}9E-cIh%G8p2oEIHJUlN7FB;#pjP|q>g z{dj_Vk19;-pe2RL?5D{YU(vtKX6_AborbF-2mGE|sTBOV_f8Dh{3d$4rdXV^Yu#+BTkMo}J# ze9pJZ^8SO~a}wpf+(gv|QVnI~VehWx3o|F?v!$HaMO+_Y)p-tDCP<2(5^U)MJv$I} zD#uTBXI8sG50>iv7QNMOrA)3H96^+5xBwp7N1(B*KFP9%T~*(3%Nk}m`A+%MEVLyc zwlUVaL!6D{JCOl?veE}z{kRA>@T*e2pNteqIDDF1RywnqI1>V=w`liJ2LQa%dOt3w#7i2=1 zFIF&V)kYhCQF$AD->UcCNJI(8_}YplYiBKG-q_VOKVTdfk$#aF1?vXE9hPBG*>2@K zmQpRG3c21gvD!CSyqyV?0(wz>83FV%kHU!UYaywcUd$T}kWDwZ8vh%iM8oJbIegEB z$cY{;&NfNtm|mjLsO(zM7%+6zpLwF>Rw9TJV?wWEZha>!y&<9E_T*LY*m7&#URax$Pue8Z_I#m6-9R}K5y54`-rmS=QX^0+Q zL=a(r@6cRA5YM;<;9%C>$yKkRYyY=R# zZTazbYB`>Y12eOp&$6e$P>-&a*$-23^{s@){Uz>vfK5;%-+w&`A%DIebMDd!duN_= z9>-ve0H}HKb~}9c<$3y=q*^xL1K;?^Ih6o#M<}?<*^}7T$oj@M5_I0WW;}t#b1@%M zgGwEWImZw7V#4j)pMo%NvUl@{I4$4}2bwT3pIp==^h@R zAPjRMRLExT!_j-2w!j|c7jvY^h$`Cm>kO|+85**Tiq!6OaG;J5qvl|H$Qa|juO5_*!-EMKh{J%R<{GD)$>BsnpY!XqR(f2ImoQm~ldenM|+IVUq8$ znz@^}6{_6kflgd(sLqxglutnSdR6`Bfc(?t)RA2)6%g$%Ak z@pTwzsU))+H0zpy4wh4pjt=YxjYqsxzBfqx-U$@Nk_u&x4-hb_C;NpCYSs25dRSAN z=35{--X`ikn4i85q;PIrpu?*m7m*8)hMk{f?pNx^=M80MQ*prsisouMvik6w3C>&y z-&9OE0)F81FyM)D8o43lMrYh>2p-HCYw*?bF4<&b4#rd#6$mD#b)1-V%}yCb9|^ zv}Ei(*>nWlNm0nNV1iwG2o#^`%=k>|>;XpP)G!3-BAPJjLLN(HD`w&AXITtujo%8ka zZ3{V?u(JKaSh)~d%gqLrugeu0jrfHuaSlz(*Ah=bVP<& zAVIN#T3CMwZ@1C2rTcY=`jFpYTPjKf)sFHFug$Z3=u=+RUh&`S3GN!@RSY||HO zrg#r#wxA@lvXIRNFr8V>P z7sE}@7rSB0#usC$1;RA0Xi2tNg@F#`Ze6{r0K`swt|Cd6*rvB_xwN;oHGOt56>$=W za_nxWD@?m)X|+0xKP6)##|qe06B8q!?jwT+2|rYZc5bcwR9|acUHn#Tx#pumy?&%c zxz0;IcQqTSn|>(A+6UX1m)@rAl+GyJ27SxD!g06QkE|3;F%G^MbLe+S5pAK9u2e_$ z;+U`Sq>V*|WJECqKcbOw;YLH$VabTqY!rQ-ERknJdxE49x-Wn+Ri8V=522(nTC6pC zD=PiNM(&D=nd!)Wfmb^$^v`!k14@Pv6ZonmuG;RL2S}2|Rp+D+#*Pf7hb$(#jPJ?m z8sCH+U$LBD5{e=?DjKhz2Fw45m@X<3$|5Vj#6{`~iGq3&DUr*84OaIeB))ZLH)FPr zM^`?)qsiX`rAZhg@{cXwTq7*HB7CZbbSK>`W4K7V~#C>fLwe=PL~wLQbN%LRe&N^8#{O9(1zZW5}B z{LT`yB9aVnB!l@JY*f}{$R3C3YGCmVoXFFWK0~rS_1W|HDyYY zw`H_rWX+JHqE=WbAW-P+=P_Hk<>`31vqk|A2-H+e%u4cmOmXqH2m**&MYLVxx;r;` zxSDhP&;ll%@X-Chnm}-fP)j9pvH~e@xIsheVCg=@Vy}mPx6H1?dyt8gVuG# ze$)QAs_Oj2X5xPBCI~WPCjR~hI&pL~9W)T(jI8CH<`7B{2@bwAJm5s0pz&D?GB^8t zygC57WcI)oQLtOblQ&8uZrWD?_^g7OQJh^cs9Lq4cf>Sw0$GS3wKj5XT`-=Wqw+jH zHlE?Ii*vcHjMw_BD2!h--nNv>wPnq z+Z}e(Q)OV#2Z9CY!2`$pZwvg7iO~PGImpCF{~v>*8Z}6DBs0uh^h7`bON^yXj2yn3 z*4lFHz?GF&%NENPaW!b%XAsB(2*_jnQYd0;qYGc5r#>{QwlLhO#qPn;o6b zRa~vL+E!~gn^(Ngt}&3-OWv&;-cRl>kG~nm?~gOyx88fNy|;Wog!umO5FiE)S*_(w ziONxigstN!o+gQ-eVwscBQv1{f5zak;q4nKwy_Cbj{v$!h20s6_ir4%-BZOMX;5cK zAp%Z#f8S$171YP$-t}I2upi?64o>33BKj$U{UJz8k(eSjhS~4U0@UFh=@yVEE{xwp zkvk;QYMDlbMaAfJi)L9Z7f~!YHKd)LuLOTRGOS&St&J9cq+0~CGH9g~OU7A6Cs{=% z4_Cl^S#((CY7$ANmJ*XI7+or<1$uQ#*CtssGX#rP&8&uqOdu`JH8TWiCX(;>Fgp}; zi&M(RpDK|%L`$WTrdG*#v+%XbRL_ka&Oc8mYqU`j2$C#L95pg!(|WimCCk)=D_J7T zm3c+6O0xefioVxHslQ5l3kq+CvREDE>0niGjdAsq<447lxx7LN+9;%W_Lr6RRRrMYs$r4KEFo8ZssDTa&#YObBBp$QmPT1c%Ne zcnJ2^f0?l|Z0Q{W6h^nx=7YKf_DN4sKmzOnH8aFc%+VZd7%tnj7t5c#F<5Yb8| z3p2yQXb!~=2=W3?-)-iB@j5qgh`>_G?OtvD`?u8y${hmRj^`S;Sgwaw59B4uz0Kuh z5k=8*#mH~I`#q{)U?ao zZ2eWtJFu6b`4pId4G&bxGP0m$-j=4GQSJh%3Gw{x#B4#Z`K!pt>|+i`(gGB;f?i|m z%Ui3eEWpR=`uv2Q{DF-9&)gd|cEtR@s76I#!P`W8?2Iu`yf|nDY%vK=7u}f2{3YWS zJoD=(k1q5thyK@9!P5+_Kfv47sL8zOp|i0A3hb;z$&;rSxcU>%A}T}vpP|G3#EJ=h z)wI5_``C#yJ8NiiNBw!BM;PfJ%-Av*TppuK0ILb%Q1pUUxw!=&i_H_2IL@%7+UA!h zodSCX^Gl5DPNBSeZKwIr%RF#4qUXjGu3q`zHcY`TaRr5s%URn%z1S(Kk%@#^BZfw) zf4NJf3jbwN7LfUayCf~w&jIr2k?syJ)w914aO2ER50Ek|1wxOQD?GEf zp?#N0a+CG^2~HJ6&AG<|V!ou5yekOvX5u}xb@U?U5U1+gs<1@Rqh%`#?7}gwT+q#GaI&K%;bvB^}rf(Q0;k_#7oXGziIU{hT z%3T5wyk|G=z(;jK2N9?Lm_Q-;c#=&&1_kYMx;Bb{V`4vZSh2fTag2ksHC8Szy2Q?_ zc*HTc0<8|vwy8Q{(h(p;O(GBP_PtncxDeHnz)`YXL#{0DEDfr$k&&^HChz1+6M3g* zi$jUt-pB2s>~6x-Af~pM(g1Hdn;w}@fKlc-Zg~I#bDI}wDCT* zybM9(Fa5L^Wzm75$^w{64}dxa^{r3pCcodl?H)gXxy0smhOFrT37Z*;G_V|{l%1JL zYk%xqY%MXyoix&HTD&-UDlA*ATVG7OpafYiD-9G9Rf%+V$}8O*yqevsStr$TbAs-K z1NHNLVY?ow<69bX{zv1*D>#ZO7=xIu6^v8c)ZVzV)K8{^9n}2z(CYJUYbxh!Li+>T z4Uyv(d}+Tbz-|c-A3^(%;OV{2%TlPy{V)M- z;Wt`^o`Y>J3m0?!7OXtB2e9k8X9nO(?WFTZ!Z%imM}KTDqSDc?a9P)`-?YFO#8u%2 zg83x?^}915HV}F4*T*8&=^UGNoSFRq9BAla+rnQ20h&s*Le^#t#=uJ?i9YyxZTvXs zgd>BsQMFjb>+)dm)`n#cfOddHPn5X_qIP+uL8Q*_UETQZV(%R+KK`lOm#(mFW^T z*;J1yp!Wpk<2#~^CLB&@ei7EKODH%=m=4i#ecd5pZCZ)%i!iA{;EU2OIU%hzH5|bOe^asu>T(quf%pe6>F4u8U;Y^Z&9@K{vPxBT6AeE70UOfc^TOUUIZeWAe*<3pUjVxLEV zh((pge!~aTQ&#<} z*#s0v!Wdc}6|+$jj)C)ev~2=jqev^947EW_H)rS~rc{uneY z)v2hSF1}|T2?artzLW#*xgZ)TgPO~@sJRa1e=YFr(d?9KVsagt{h@o3uGqTqUxd=4 zXkH{WX8_`kVit^=(op?tW16ipzp#$nUgZbEx}?|lwTS}n8DK^+fb~G}tuCZNS)-jIrNR_vz1i1Rmu32Han%WeSBbDy>O8Aw$ibSRX_ z-)O>BOhyUxsNA$5Oq78I3j2udNYod%ggTNbc&D@cwLpXS!fIEyOiFi!EZ$04g5vTZ z#uN-k)JdH?>=Znu6m5$L8M?4008BTHcaX=B`m5#U>g?b#?K`Ukkk($FUV`QTq>1!J zJe=r0+e=4Vj&|emxY8sQZI1D5sPC5vtcC$#j*Lw}#0@NI$+dc)q_YF9Q4C;fa~ZBA zN?cdl%BjO#b^ouk;OyYcb5{o?9ObzQ><`$O%`A0NbNn6(3O(GBCbs{Fa4Hy=vn1C? zLDqp0%a%TCPe0ygWR0nH~ANr}=;a4B`+5RbjOfD!fiZTmB zFP;LvZoDH45kgB81;f@Y8-Gs8bsN@nu_Jt9M89W;-^<#imnU1&iAv^*&4;WV8y6nB zYfMdqn6jIGkpAPoE7Dty4L2aSl(at=)#u74zKs1jeCD1%Y6s`oIE-n21thr7ecQCq zQ_qf8m><&%EAGOIT8NRh!n0tz(%J}l^e^Nun74{^%> zwRB=JYu7j*=T7hSkcanRyaBXU3qwbty- zVwx^$>S3Ti`O7X=1Vg5Jp=i+pu_zLf6WG5obXQaU=;z4s?&oh)eLsiUT=%Wh?nC!& zba;IOfiPjh_aO;Y5b#dWXf$re;+7ifKCUTF&eZD>pZ^X397HbCJ#5a~kD;$W4DPl} zcU6{57Sirg+;aEuF*pc;2LS zeeheFIN`<1X^5#OsFyq4-2-goIwAtks>9RSeN&)N;ZW<_hX{K#4v*(H#O0?kIGI>j z$W89gz=QoS4eX78E-W+-PAWSmHB2gWkrs9+7&wQ!`)3FE8#~A+d-a3vB|h{kEVSDl z40LKpu;1}n{iK~#dk{DK^q#;Q&R?AUYuuab6MX202Uw@@yGPgb)5Gpb16zCf;GsjB z++Bf#U05P9PWE6gFRnKc;b3VD7D~atm+07kxhBQbk$5TdjTGLTsUWPvpgBda%h_)l)29q6#xFhif<28h=OTHli3gaUP z2g4T#qa(-)!!r^l#v>^RGb0EMBRU9ohod|reUpCZJc*Sl7#`4v)Uga>UN&sPJ0g%g zppo{Xc17H7wXa__dkDkg!yr}&Q@#JopcAtp+emeOIrna#O03Ou?pd|5V4Jh$+Pi$v z&Clu4F>>p=aq8N;D!AIHFiZA<`viXi*%aTqX(?P|sVGw3@RG69xJ|mH+WoDNGugZG zkz){;#&Bitiux|e6YJB#n||MiM~8FdM_G&doF=IJt^bJw2Z1%mYIoFs#BP>-{pYeGLrBIRB9h3FtW#zPn572+ zkq-@}+m}Us72HsyPQu4>4r)GHfl`VFMd9T(Z>;Ny<)+hPS-S833V1S3XKEpou2`?! zOoN>lt;Aq`XALB+a|yv(pKxNMg`ke9sHUZ@nU<;9Dn7cXg2k}f5Gv~)b>v;ve8zr0 z8> z!03Sm5p(5m2t%KE`@&rRk`EU>s02IlkzJ^E5%qBlN!*~$x zAS9hNal+%|;S1gNIa_}rx~k1Y_uxTOGK$z3S!9|{(cmDBbtRvnU_m|Eg5oS1OZcMh zI75_+eDC-|tWZcnNdmS1MICO5C)u#b=#b7W#Ag)&E)oPpm80cf8V`KSep43_L#S=AkPr`M$@+i#7HTYl+efjQwuzPkY?kK*+E0cP&c2R1>Ra< zQT_^{m}4t%)(|op$UR%zB5WX-BXd^!?~U2^Ex|-cOXTjcVls6?&9rm4dJ)r`R_M-+ z^E`rdN67srZV2nn5#)}!`TlHVIxs4q5!j`Q&e%~=pISU|*fO6pinpvh}j@szW&*oAj1Jmw^OvN+0sbciGGqTJVhQqk3 zyl2N?^aU05o(*tG!C{P5PySRcWG&1A=o|^s~-juZ-|*NVHz4?b3d_Ymdj$)K^M<=p^%_ZlprS51CwJk z|F6Z};tZBeie!!INO5u1qLbaOFmk<>OjxSwzb0{ikI`nE~Gn0n-SUKruT zh!2JA5lMeYvV3V}D~At(?7_HJ4@l-Ru|dABAyS zJj676Xn8#f+2s5<#+yvH`Z*{1OOo_bP1T*v9coKnZCCUPxTtrTGbM{4!#p>paLT9| zjpnJBsZk*@t#mOXxfonVlTxGR-4+ibdQ#@l3?pkb5E*;i$){hJpWE=S`&m4F)(@4= zMXMo3K7X%mLN*(91f$IW5}l2Jq{hOdo94o8>NYha^L_d z&|oR~J)Lofv@_#N@dkM7JPD~HeQfhj2}Cr|lLtig{(C-gC`o;aFtsfRr!D?1xI`Nq zr+4h%B;q|zv$ah<_6lIsX1#EyZ(MiY_ILd0Xt2z4(H}V9pk|z#Z@&;N!OK6-Z2CxD zpI+s*`_x(#o+l9LYI6kFJQrozYv3FV4wv@yfF|N+ah$P@Ss*Y>Tt@Qa8wE`BgGs2& zKenk7!Pc6%J7`6#t2c|Hd7Udxyt+Gh`WH+7S#O*tmHv;Qi2lT2j%$GByCWKe6&aXD zz+t_Dh|o9D))lv~xZ76b{uH420w_3mqr%9ORhCeaRQ#V71+si_eL<@k^Pg^izp%A& zEEvbH;rL>_@9vd|efVE52D2Ez>K(Bp#k0-l=yY?zWRPS`(yL%khoRa)gi!9I3}C%#eqXcN00XE z#b&Y!o7x5Ode%5c;b@`Vz;zFJ3$oP9QpRS7A%yiqSM}#HH#!NOL`0%Jtg`hcNn>d* znGPQ411{EoK9CA)JR!!0)!j3+gJX3N9)HXmml=ci_)`X>*NIzLDi51%w8jCH8FxL! znFNgehwDGdtxdDy1fFl$@^{KiwTjhg1T1@*EY>tBn)2D9e+|5xf8PSyS+GkaX^>l$ zl5+8cg6PoXrFfXhz1u~QTL+vK?*zMhdwFK-s<=MKUXAYJ74P5-dRO;O-sDl~M(~ar z)^WOu?%lC9J)TuhGH|k~?b6B;WR?R)%p;%umjJPC`x~Qpu9HiX8L= z4pyY9^C>{_X5dm#NtQh)*r<560b@{HZf?LZF4^5~nrBGuoQTo-XgsU%km65m5`s(^ zer$86tIMk5aV{RV60n{f#8y>@`a6~+o5iJQlE9{-Bn9l3Y+WEf-yTjb zV;W)%PPSu1L!S&&ef0pD3Iw2$E0slnkdo5m)0Gl6VDGG@#f6%Gwg&kH9fj-3xNv!? z>K0c}(>Xp03E8T;J<+`IU?cYB%UWv{(>5-7F}YvI8@{=)UNQSICU}g2$?S2O-@8Gt z&%zVLK;L#ewFWCJR)Y?y%E5Z>Im_$CmwlNE*e-d1F~8dVp(=OK9JqNS4}Tpd^3H_~ z%lk;_&vNtxTzFnTfXV@IMnG@135yX1I6iwN3CfpDj(swEC)c1jjAhWbYfs{tT;Mc; zF!>d>R~J#PhG(X{jW}pNLfjmC?E)pMKJuV0ynHrm zeMwxF?j(I$4wc|7SFTI*wU%aFcY?p{V7LKi#GeL#w)je$=S@LCXHd%*v)FZ|7s~2` zR6?XSBnh}Ocf;2v_*d7gnz`6J=O};BEL4O|_E8I-U?|{rdW)JjspW&2)_0WOaPW3} zn@)>}{HVU`4Y@y;DcQwq_?of57eK~XT+GA8e?(ZMc38@D}=rcATGNQ zFSmj(9@nm{akjPKIf!Yr8MmM@f;{zz}8G;wI`46JdO6|Dxt~6uYIy{i7_cKRFYqE z8{k`6HfLfEoQn^fA3OS9RRxD(PCt?Sm~zp)%OjA<`)^zsL-KS6nb?%M_J83CLQ(v#L`2KU$xRx>gi;%2#@A@=5xLl?5!=Of-8&Ifu=#+k!~iL-ZO$nec%lFX z-|Bv!3Du1K68v!=vwuA@#njO#i?Njo?AW9Dz}o(mtJQdE0}SAOx{1H*gT`7F-#kED z`8u{Fh;HRnZ&Ej7xv_?){lT{VbFf*e^aiRY{+HCkMS(gORi21~e8m#F-LXX$Yos~l z3&vhV*|SnMtMpi`nddwyzGlg^@twXY_y|rx<*wgp9)WsqFrxPTQ~Vt)b?R42-SS7) zgsREH-MQ^65QA6HXqs#0Wd?2vw-6WZ+-wX))>A7|I{m}@s`7cE*0z6$WzYvK$jkQ? zp^>Al>)n~-uFU?cUxvz1`-w}if44f5P|7`knw5US>c=6@EG1cJ6 zKOW48Z2%fj+nI>lJDdX+E}128NQLY1V&mIIOFN2vGj;q~PODo2zjWY1E~p>;mSP}OM0MOqWk-v zoXFRNQ$pP^5?7-8N8S@^Oq%q_OtET_tUN>H6|qqP!JIk3UVaj>=Fh7V0!}fyRYFp; z&(z8FA(Vld>IUb8^@(^^p4P?-5ryN>P)MN*L2j7X;r+VMK5MKyb7mB3;ek1}BWTb= zNjth9y~DEow0GEp0xjm(d(Nl%zIC?E2?rDtUuTc(hVR(q-&RS5Is&>oul7@VYDB~M zr?!J~CePcnJkSR=3aJZd9pkKkDr={C&Q%+yjURYgYdY?=e&&HA6t97wN??<&^&T%{ z+Z62*EbW7t=0}m<1xJPaD1x=&ui;%(Kg;ON_3`_%3aIipfT+~ypdV`h6;Ci#+>=cZ z+!OvwV<@VCDhY~`<_q+F5&8r}Yf@4{~T9$&;mqOIbR-zDr=|F?(4| z4y9#o=Qr^1YG5uUf1t|Fbj2)TSFjE0aB67&@briowd`D1h3@ z8ehez=EcD{u7&@Rn=c?A91C{)jVu354l_K`_h46#ox^~7+My7JY}#%FOGQ*GmMB&hloDrtdYn;k!+J5fcgFRzdg*(? z=K-)-ie{8fj(fau6wdh*l`GLA?zM2{G(j35F%txx_fGsAzdQZin>L^HXkL`Y<5}&@ zXA!r2&Kq7%MkYybv-J%};xdbPKclQAr)=!c%i;ARyouiXbevREljGrMeZS*BR+v3q zJXi*Mxg<(${v%svZz=_)|6HqP(4zkN-s$5u{L3QcsMRfcQyCz2 zcX66FBUAcF+B<6P_mH9QV}9GDj#MMx{6Qw^l&_FbEF-%NgjV8}kJZIsJvL$=YfB)X zX0%tRYtH_dX1*U83Y{`5DCHyS3WKf?&v(HfC8zX7iF_^A{v)`+#{&3z%ZHMk{EnwP zTMJ|V2r&`0Xu+PQXzheDLQf9I;r$3Pe=v-+YzH)Zc!$4D7_)g;m)KyH^oq8eyuyOR z)=@_fg=*q^LOZmXWfGD$;ti@x<0Hc*J3)TCVC>R879yu^&83fi6XV5;5pCVK-cvR@ zeBfc%5hKsNoA@CHJ~b$y-R(Cnx@vI_EL>2lx831d|(Wye>lc&7R?iTb8DRpy50O0qc zI-MW1D;yI_rF!E~(o=B9X=#ifNogIbbeVm zG$wHxDmNemh+3pA!7e<{tgd=a2YB?n;=IMtdFIn&Xi%80ML>_lzed6Eq( zQ-PY({k9>}{8pH*R#38N25l=x4ceX-qOG{^^2Pi(a__`8Pe#f;!2(R~B5z^*sP73G z#@eE`K%r?P2z93=u?pgOg*yesV50piF_vu`Y%jW!5KL!Ssn}Yk{JEYQ^4EH2a$1+o z%5eVaNvLWd^5`OJ6Ko6HhEcgGa7fh2od^Y3DLR9*hXILSNOOmwe#CL%6)=i(?*qdH zaUT#WsW`X+sLwk&9Nu?NCQEIZ zg_hJMrI|xmpom`Mi-~LfH@pN`N%Ei0s9R*LJ!Hj%6e3dVzk^=gh? z4!dIQd)xUlwoH+;Zw}8Ds7tb?1jWqc+kCc8L#1#P)Sx9Xgq-E6pjHq*I-R`o53lP~nKhXk-3~lu|q-L?0m)_`@ zkrz&GYNBc%Bv$#VFtjOncHA?*eP)x!vAs_dopNe4fbJ-}l9b5uNV9jz!LEptq!}T6 zb{z8yewknU9Vas9%OWvdy%afjOi*y>FB9Q0?NJytAl`F+ws_rQ2S4Me&{>2R2S&sc zK%t81Jy8N`6`bvLJ%)|DCG6$`Ub`1`G}d*Qo3{%1!V6w^@q9=3+Lm9T9G~errd_(W!(hB5ej2;&ooq{z#e4L58y3OUHYU_5UxCt`9tRb72)vu!TLYJ)c zD7O?=K)}p_H(>SomQrnF43jU6V-WWZY;fJV@#HL*m@&?$UzX|>+silIa{Xyqn`%qR zawvm(JF+cc|8ANdLUso(V>V}my4CW$sAyKo(T1_Mwj@e`2^r#M)y+*K31?526;aq= z{MyJvJkNgVJSgAiW|OMk*#eR!l=Kr)+U8K$y4?H&vJ|H@#IE*WHJ6^@i$bzg-0L&X z;!*;XOs-rkWmJ-?Q;svp%YcEo>@TaAN6Z~8ri}JamqW6*%t0timO=&4Uq5RCF2C@= zomPH>T3p}b8EbbEXaFeZCFIS12V(k;#1s?O_>9lTI+#7l+#5*g_W0jlCiWG&l(f58 z*-0U{kTUKdP8jGtk$eEyFs|H``{-YX7&K%)Z3DpMUgyv!Q3pyan=2v%NZlz@i_jL2 z#%HFC9%n|roK=f|aQq9Eq!CvY%psS6M18n7v>r&Zr=*C3-eyj}Hs4^*H7BE7Ce@Kv zVMwwOpJE1L26)eJV9!{t`a{W*gdgRw)cQJ7+j|q$vWFUk`l+oeR`t$3uz!9+yYP_- z0n23m_a%o5PDS~ph53q>UH>}FLJ+v6zzJ5vflV&S#P`; zyL?U`3aU}c#eWvbnPl1cSTu)MSp6qNw(APu6a%veUK@!5qOPv_jB*37 zh6IsE$W(lSN?)4A<+K+>500P-*`q;{l)^$Q9CiL8wpT+XNwq2GvuVWfHMgCmaVQ&@ zyM=(dv^uQ4i(ax;ezYnXJ2!gj4#+uP8X;K9Y;xM-a}#D6($l41Q`#rD1cK%`9_}Y$ z*s9zOu^+-Rld~*Bh!)vVATQw*bFO$rlVJF!^ssAw*sgUwZM)?4dnJu#b1j=_Q`lf?LZxxPBTD_l(-MR__K?~_qg1ez zv65bpHVV$!=7q=G;I%>t1z_fHSrQs$+!++81N`>D?-t>)LQXngh-8f$YsYbUf;(gs znZz6KmlWd?giD5W0pg^<7G*>s5nE!$R-ZtUIrX ztqG#aW6sD|n0bcF8m&Y^Rs&5`mw0^0t*9whjc;<=pCZ6s$}3KR_2;$dMA7945k$yZ z8?QKN#6xdNq%?}N=o|5Bj=AN{F=ETkpvIeU4>o5NPpaqCJ(jzr(ut6pE5kmm}TU7srp7tm$Iy^FQoz4G_`mt&H<2&ziPB6q!od zA#tYjW27hkRA`cQTP#LvgBk0nAY3h>=GK7=0%ITBBWp#KoMUK=epUQ2T* zO1c+-6aT8w0EfX2e8q>S-P*@3EJPy7fG|-E>?!M-XgUfyx^3To#NBBJDxNlxpbv=G zMVBk_Z4VmM@3_p5pP_AaOFz?Y@UW>pTf!rsn(Ae#BxG7Me*Nldcd&TVD|825a9;5B(W~fByze7l^nx z5We29cN3M3e0nyXetFO)V)+E6M(Wesxc zCuCPVsPmfWIP?2QHSi`^DQ7)QVkB{^;o>A9cU~~nW$o#3`ogYj;B{XQH0^--@xu>; zToyI2yf7m1RY8DaFi9iMkC>|1x6RgTsY#_x>Bw;QsKiP4?Aq6Au|3)fh4K#R(-)f+ zyLjF90c<^&9!DDrzwa@;sI>>VVxY;sKv#J}PM4)K=R=yTs>?#!3*#gbru*C0 z_H!;*S`8_a@`)Emk5^y1e?d2Ud!IdBcyNdi__%RwGz1I@%kj`eLyF@f%v*2`DM4cFUs6wJn%ON zVeVI|_gwLLaKk~QLILxC$k9DP{&lhK7W?wyn#4g7(nQRkD197?sR<1o{#4MEDsxEk z;9?*&obkxvg@{evxqF!6S}dPb*msaZ$E6)aFmgvQcbciZc`F7{L6m6c#3XIFV>Upt zok2*3oyr#rR6(a4SV*S8vL!0x-uNm7XU1QKQ*Y-_5Rz-x5#O!DR9L)WDi)0)DQ5(W zitQU1u-6hnXjiORrG~EBF^IyNI;S`!@5%R0@TsfZ)Q#| z;wS3Na10YVzFo9xzBbW;ft{jY(zIiB)0A&|#tjdmN{XNaT+ z#)22^9&~6bEBu`8|lLrNzd%LeLo>ugs=gPJd z?nt|kdq@h$ZLB?)hdv%ZaBhdk^?s@7Gv%CIjertE&FzS#?AKvHcj0{;axweP45sxEx`TpTtrEWH{1ng$ z8JLiVZ3@~=uR6mTP+m%4f04{i%*=YL2RsCi>uhzcf)4B_DU)h>6O2V@yy+7TFnXk~ z1)tS*W%4TF@eGd8{o|y7;M9fG^FZCwpAOC#K#%v$Rs3Rpli33~C2ddZu3^Y^_{Z|5 zALul1Hg)TcG1U;bxa`Cxi%)VwZiZhjd|%5*&G;rbH7olvNGc8h((V|M#XP z;RDQ5k0(>fYk4``x$WOr%~x-qOw=(3@FY4kpydjTUgZOvt;I=-sI%N@$dBwTlTs!nMIa>1wbk{;&Z<^y;LbeI&c?{b$VlG5 zY+l*~;a=OV#Xr@ZQmo0iEG4EP5QV12lz>wsUNn+y!O+jNacOVYdEA;IYo_IItY^de z!ZmKEpK+?GRFeB7U)}8o+<&_V{)e;df4^@S|Kq&>|FoC-%KGx~2j=P^08n;75dZDZ z|3lUJf4yN?>Dm6nEEl5zsg1O@ng@`Pk56fY%=98#siK8ed}9S&PENi_8R-HjkXjEW zxQ_IXH~;)Gu`8K z%X7N@`}-va5*z_Z01q*0=j@saKDF1J(KWKg#yu}o(AS=uHP|zlNd$|4O|)Mux?MH8 zt(+w71gL9ZTg}9VVL#HzckE{hrAGh}U`qXK%WT0NHeL4cTj2e;_JlT?DMuz90|Cg8 zi7q8gSPCBpNllL$?a7doleWFIwJ^n{eqI)x`)`w*>|3~rH4jdylq65L)~VBr{Paj$ z+EO_^uAt+^LP6gocmjKhWmgr=tjI89d5nn=EmPP)ek;Wub0Tq9h4RXzI5lwGNVd7q$)WlPo>@K=&wRVc*91lpIi}v~K z4jAk%b~u$R(%acpNLT#P;I+$T++NeHy~{ZrdWFnFGe1LSmE*Im9r`On>%_)ctJ`I9 zscB`Btaw4BCf?JXg6kV#u=;Ded3r75C=xG*KhS5sOC7EcLBWucF4`^IEig@JisTgD z5zN96=bn@35Z%xK8b5U4KFEz&Ksj_@*!X-IRxUrn@%6dR1x5U?)Jj&uuu zi>MV|6AaxDvo3puzf0tba5Jns7<5P64PiGJ7LVW?%!j}af+!$NUx1%141ypc480iR z!FNvwJ}7X@fJB)3hBx3WP@PbbFnU&S&uqkYWJRhZtu3vdNHt13n|mwm)Nhv)z zIeC~}LY_z~z?X#Ta$~hsd^N4&QwAbxqSHcfPn?y$Jh#U9-zUrsRj|5197AgnUl2TK z8pUQ>&Gw2G?xG-d9F&oiwg@eh>PaF7HZBZ-{IkEUc6U}@Wlb*vEDg^lGa)${<@iiZ zoX{qzsr4aGW~V@F^zJs8xSzY$kSY82E9YyoyI-wJ;f*lWJUI^OwzVc(Zy3J>s*MP` z3*nRz_bx_B7G`roc+Pv5!RH*&pr_+F2uCD(=8Z|}GMmQT#wFCHyU+3)#_2vdrd%%N z7jqMoq+0f}cRB6aD!5tkiJ6505Bc-zEIH}g>eyq+!y>D13j`1A=p;xLP_S{S!>J>w zXeTFsPm2Dojy@=U@CztB4yk1lwYll!LSiSD-?S|5+;_Fne1Y;DJgdC*$cFSNZkh;RyXNT?qv!%~1=KXD5-N>sL zzzcWt>}i5GfFcA)NSj$Gr?+#0igOm$FR`5J z*blb>C+A{_9~W&*#0lH50yAE8sjkQc6PV`<66ui6?p3q2snYmawm`FRB6V7~+iTnh zuR*=?!yrQi0Q&nhetp^foW_H3l|h`F2AIY8U3Y3rl~hw{(|{U?cXR?`yzil#qV{)f`B~**-0Y4N5fv zKC~W8OoEjiyE{(}_gHL$`VHH(A9L$_+xKvgdr~4T?W$@`wKK4)%+wz~xe=Owwk#|| zDY-XSIz}O#_5G@Ro8N$*r4Q*kh~@tq9HH-7_dAe}!M6rwdyZedm;MMC(9V%A6CooV zx18UeT)yM_bhyIS%eV7~FyD$-KM7sKG^I1QwywgwgC)jgs5R?88Fc+C>|7smx*(70 zE#3cqAL0nK9%~e9NM}}f8)F%LzXsyZlLd?o-}d}!=$%PYpY~GRQe1|?A34ln%{sX4 zSBfB@ZY^Z+#|NgShlEKFH|sCorQznYW$}prhq8BC5(QeeZOgW8+tw`3vTfV8ZQHhO z+qP}H>df=DcHDJt#QuVO8$qlZt`?8BV2)wy5hePleMnUiw0;zE^ zL@J(4M=Tgpe5h^BtnsAw;d(i1 zO0Dtvy*n6@jsk7lIqM|cGvJW44~4(w{R&e0tYcdL(~{=TKYkEs1s-^s=JeKh5AiEL z^7;76^}P2KM00&~d)~cJ8GQfczf<;k&TW_jNEcRHrDv$x)oe<*!KcV#HUYMi)VsHX zIcO5%(GX=?*CMAfJmsfThXII#Ryx*+-&k$to3AS7tnJRckXb4X9oZD{$u+iD$cfMr z=IefG%A;{o1Nkak2g*{gf8PwY*RNb)rn0V+p6Hne(9G_vtW)qQv&LPm*61GYCDb44 zK*rum(5tafKoctmO6pGgZ9<#Y_eKui=fvZSa_E^P{hH;t8k!OW-b&L32Dm2W@WZo=i_ELBe2D)N6=!6YzPVo^`>05 zy9GpxvkC=wnHRsC1;+A`SR}Y+g#i?sutwr@dUO5s(CY7(&hR?vyLH|64@!X|Cnlrs zz9Ef>6p_7^%T-$Grh`XM>khKG3}O2YCiY()%&&A~ujW#VShlDJ~Y_1|9uVgs|keKDGx+=ln`Dn_`KiO;{YaU`L%sBYS zN|0KN>*AUQ>?o*d3+}(HuXl^=?7U=)RXj!fcN}+ce|SoVv)zpg=wH9K?Q%Pn-ZC1a ziq_JqTKEtm_=2_#FX)1pTRyhe&_>cu!HB=_xi_8Yt6_qKi;Y?vbx`|oaSLsgK## z?e!{B#{yG^N-Q{P)s`AS?uHp77qutcNXTUzx~De#Lia@k^)5p3Cejud@nt+(pM1If zRZxIn^#Na0>w+I|O+z6044!~L(Ke{@aDF{#I-5GdPKxqp z`34C-n7p?n0E2Jo(XnFi_XV>1v*45tLk}?X5Q+$k$Rgk;q#IMGyU0L|WiR{XF z%8=wVMXtMtEQOOMIa0Ti&vb-~G)8s4_f|!NnwUOqax9sVjEXpMm!>C7+WpPE3A(ro z{%9GN5jW2J1HXtBwYUqsxhIXs{YHCF2_-SRo|_sUj6R@God!%d@M^i%vVx#8O*3~p zr>A=rSs5g!Oikr^6PX@zeYrUJr^aXAL!##l87^^Li~*{ML-UO&y^DEaKyQTGlJja~ zqY>3bI&I(>E}b)O$hOY~1DZ&G6k=8#UQC}n9Q}|}(9NVSZP5dAlxd#!%I$&3%t}KV^R+^VpCgbRGxqY!jb+ zf5mxqV2E*9N*`7WE^L_yAfgq4(D4O(Y>0}Cx0RcVSxK4MEbCPQvT7d9{mgP2*(s`J z#CgI(zyc5%_pRm_HJ@z;CxXO9E~6PQRlO|+kH>q^%!3zv+PN>eRDMT$Lcj7S(cfcj z;G-{sSq^$muA&6hk43;g7k3OH9~G>;3DG6MF#BqQJ+pf{@wP*9D7)-INWU;(E8%4~ zKQ)Tl&c%!}5S1eGv-w9elG#6!si!hNOTdUcsFrQBus%M{Bz67f7)Ak>*gy}U+5R~1YUvl-67n&Q5KXqiB zJ%6Dq6lj0JYp_scV&O90!czK48F8Y`MrPJHi9qlN#ViH;Fxghv`sI)0C|pcdNvwo4 zkp+oQ7NJpC{}t}OHD0;mOL(lyM#vOQl3EXYKV`>|q%xJbv0HYEGm)6nUF7}o)p=^L z>v~4k`ASpkjTtq(80FLh5#{FtlRS!}Z*gg9ZglKx{~}J#s(y>#2Br~Idv~Se3=8$Af?#`az>u=#bsK_Cx%R|0DO4rAc73>K488VJ zD4ZMM;pK+wxNn0i;+nYFU1oSLBJE!KG}f{D(S-L%@U4xZoYeP*arv^rX$_xb;hZ0a zi2XEymjXi`UmWc7JMvW0Ny=3uqx@S92Rq_fk4iUWLcV+D2EU%$+t{3AGgVEu$Nc!} z?*A1vtI%gP3%ri$WZ7vgi&6bITuKGi++h(zEdtcoEk4nx1m1+fI#4NmyqrqhLB~i4 z`U;eq!Yd!=*`o2a)?g9n!WM$yA%qcqP6WD?9jEom0&>v?1aGhIUl3L%h7wK)gJ}i2wVA;vPh|NQ+#I? z^G=f2otwczM4iuH$&Rnv1m)_guI&7us%X7IUJ@BAIb{H-3bPnqVcqKAGlpK7w@|mz z%}zEm);C`Xg>U%S-bPCdUcDN)DCeuzBv|yx^zh2VSi0?cLXSddE|LO1cDtl`1}^Vl z&(v7Gr3J(&t19}>u9v~%Q3kMJV-;bxx#s0#X(2a#_nVHyn{n;1I90L9;Z?8L zkyL_NV#4=Is#H}CcN9<8tc0vtP!f zwifMnw{P*$+CdD2V2JXDlcZW=bP283o<@Zp=2CO~2eS=dmcoT5BH}_OzZFSaFwJlS zbrDNz9dl1YD6WF&ZqdN=($~-2Re8Q;!Qz!P$I$zO-MTh10`zKXG_cbu>K}oHwVjv4 z)#5+->l9?n)Fsn(RN4CSpUW9eN{2TyqVsOS4(YdDri}2*QmzlF_M4=9d_QcRt!UfI zc@s)2zF5_BkfzBN zeXQJ24hfl*z$!8jmEzXmY@Y@R*Zvlmd~;J#MQF&;ISpvlt?IB<*Gx@NC7(5C%G0Mk zJzUwk|D0sd>;0nFa9yCF18fcn(4CEn*3>ZO*g)vee&^rvd6)4JvZjhlOG}5R1SyNM zu_>uGxqRxR1(SZwV(4I#1cZMh3-bc>&+hth#?nXPv{t!1T&#!|41H96D2U%CGv|6c z`*hOP85gbrt+ID@N=%`)}wb*L}i7J16!;jjxN}|skJ?r_bi7IMeOwF-f?2! zUp%^R+5k)1lWGz_&W45knZeXVN`BJ3Y6k;L&^w2S?`ewll5bIOv1^mE!!M0*uv5+OP0?=kK009Zl@Kuv| zdM>8m91tgAy?Iz4b&bJgEXLEm=5)W7giM=l3#7d}OP)mgWFc2NLs!YtNJxs6Ny)bO zjJx^tnhj{?-gS1;x1-o0k&=)RSC)Jl=Pq#AClpWbDf4(haTf!J>~g1W>l9iByoU%G z;*a}RqOf``bNUm$7pl_jWoC&B5|iq|OL)I_d&2Aeu`PrVxhGy}R(D`hcK#egb0(dy zGzi*#s&G|IGa6gev8#oLUzfnU7L#{Vdx3T&-`#GC;({6}2met2ykHc)Q;? z0OR0mxHbMpw^%uEF2ckW4?hJ$Cfx{M_#Iz@Swx+M>Vn-PDc>MJ^?1+9Gp^PDEody$ zaslB@(kZ7o&ayR2GhM?vP2#A{eP5Pkw3v1v(UNvEMOQnmUn9_4r<^;4-M8HU>0*Gs z=AQGr2EkoE%Q+oavLSW=SqJggP1`L9XN9Q{W=v<2jnRd9=SO5sZL;$(qtj{o54Yfe z*%udHC_3b8ywYIgCBuZ>&lA-iUexudVerG6DQL=#zDDt@`LIBN!#<(yh{m2?yq*$7+0=`Vi}XSfv> zwLYrk0ZP~cNatHgC6mblvz=Kh$rD?mY?LD62aZlAR!&h{0C} zGG4buGICVNs(#4L__ZecP9HODc|0NQM`uM@@K5BaJ&rZsA!-0Y%4P3gn+7S00~PfC zih?X6q-Zw#_{>;?>FK6IXOqy$N2cf6t&1!k$H$nAs;sZ6iYZ`pI6MaY!DX4Z(l=i~ z$?}%b|AGcs{-cxO{|7p7{-;jo|3dDayWR)SpIl$`-S0)NJ^=_00DweqsQ;!=V)+k@ z{=bC}ENrao|2a8X4N?hZbmc}r&0I;i2s6>i@O3W)J79jOR9%?J0!11{X-OUp6HWfb zTMQ#D9V-M^7;s%gPE@6s6)QX=PhD&5AW}WdeVxQNYQ!-Uh4c3IPs8{4?~MCkK3GNN z<<7^=%XR`nN=lG0QTjoS_k>H=X zp;nN;VfKWTK*T^x^xzePhC+skIXXud9Z$t!V?}3kdvR*Vi#0WpXc?o&60af?&p)1n zL`Vh$g2_Mo{u9rUN!aL=>>?y#jrkMpi2D-&&SAel1jfQ~3!2x3QIYauqZEOK#0Nx% zC$tJ4p+O@Q$V3H$Ne8Y?9=#jedMNPT$y zL|&MgaURzSzmxA&0l(qLrf<-j{lD4<=&;}*=6yjPX&S;5#L4i}u;d`@eVHm^HiVoZ z(F0`z=KA0}qOS1jA+~|gJL0c!072=06%9jtL{S_9LCEpKD2UQSNcX}>@uEeN7~?|Y zvI>ZH_lFW~8TqXwFi6njKH`Z-(2>_@zzVYFktj5wMm7!A4P5Ka?eLubFeJN;8HT7P ztPJ|2K|A4!WF1m0QW{L>A<*8H#_JlgLW@y(d|EM)yVAeo=nc>Xy4ylVlxsFW~5Q9wBk zKWMWqyNEdmgM#?sybZ=w4tW@$4uyj}?nNaPAAh4!pIuzW+pBe%7;gJ}{SNECSx_Hh zpp1YATunn5@%+)@P3`3bTG(@~&rSQl_Q&zEqU8$CkxHD_o&9(N%99zK8KsJQ5DWAJ z3YcJxNza|n+pA2MYJ~B@93iqkb_5t;QLdFWt_fovWF+Q?@r!&xjUY5ptxd``x?E7n z>QQ|zHiQ3#2E1@8!&$Iff_qT10hLE^Z4!i%b#hN3O`q?buSG15c;a0&wpW zb?JlJZL_V-td3n0lCb~Ml%Etm0o*3TwESUsA5nLzFHgKQ-=EY-m(&7iyE z0i>2nV5_rzgRAOIgaQ}&TZt@h(?G{AGI$fQi`0_SALHS6!2|yN(808{Re`y6k7WwA zq0$}FFPS%H-K! zteD45Y8twO2b4-!E(c#r;iooo%QLdW(45mF^?T+4HpzH;{{^&bF}vAw)j+UITWQ9F z34t%yx4`Y%AD}#tXJD#SX3G(I>Psd`8C}LDzWb(XziL_wT4ii0MoyW+S!$Kudi-_0 zS^L_8Z>;|zv3`E0c;9J;?H1y2p*HSl;WEuP}R`jECtZ3c+kjE(8QxqC1bW6@EyXD1ISsV+A1l)cKz#8CPB0?YRye1UlL z7QgZ35SUD->MAFsh)i5qnUIlDVS%NF(;`<7UadKxkV>4I_s&MW*{klH8Plg(KwL&}&CcD$4fz5|B@^Vz#j96}ukA@Q@wb%}M3w7}A!D|8M zjAsiS^aok%nh#Lb3K(P=qF|g2N`}N4vNJPS3p27A@KJ_M6!ZDWdB5l2)ak?`1JjpNT8XcvtZn|He9~tYTvAyJn!5!*vE=u|txn{dNwBTTs#*NXR%Cnkg_} zG;VwqwAL&Vl(_vP=kP{6Go|Eo-)C)UH$(p|&d3!m0|D93A$p-FA6(U1W2 z)dd5s$l)j~$qqS~7lRBxJJ310*L$Wf_|^3{N-NJ*$eh5_-ZpqeH7ng3wFm}(N-08u z9*)2n)odf#<)@__Lk|xH!Hc#Hxufn#yh*-*kX|yfT$nTxlLvDi6{tWXT&l>4rTnbG zs}yw8d^fT`&PqN-yK;`f*wsT>X?`;Nf~RSYv2ic|cGGF10n%-|m{dPx4uMcisOGqQ zfXMdTL)5D?W)o!JaLDAXwfpY0HjiGh4Y-(5kR(5FNF25807x8{oEEI^F!Z{#5XZhT zeLju%1kRazHar|@hN032eeFXSph;m(8ASCUR7M$Mt={3rt(I%q2;FmplEy z{5ZNK`QH z-qp_3G3;o)N8m`L#KCjFmY|fBmJK>)#qp#5T2%s1($$dt4v0(h~YC}>>xdhsZDa~OH!QU?cp(?V_~;UAq%O|P_LY`Tmc zgR;kE^5*(yEjt^9BS5YuzJkWa{Bpy--wI-vzRBGF;Mr8Z)$S1OabFC_K){WoI-hR45bnF}FcmF8(4@wdNl?VRCk*J#Y6);bG=LU2=lRyte-$SV{Fe~3Si zG2MAq#@sl^BqneAXif^}H`ml*ej#tuQ+MwnLB&NXnv;y zRRgwx<0{?K#uNtwaM!4GRNvz)2MvhW3N4>$n)-0?W&!C@%Uw4(U29gT)Sf0}?HaY- zMYg8lXSJ}5M)NFyPm{A5dLPlGZqJ%NF*r>3y!5#O&QUJO1Y2b0@%czT@I1R+?iLWf z=O_NbG+7V*K}VnJcwAGgO&RSSjT}?G*ydb1b7MYMo3+%MQQ4^_J3y{%K2_V~;#K2t zmJv4Qav0@CC2)HUI3$)?v0#(gs0|%EFLc*}ruzEK5;`Q)0S)hOAtG-y_+B8W6a}O@ zm%Gr~DKOMcq&AQk+^%g>y+}XS0UFXerDQqCd8lNqOglRvjhJMzMc877HSrl&oikp? zfrt;xqg?I7-a`MZ_nxvRqtoa}UEa)%xfSKt4bWfWa!@NFNwM~D%nQxS7SZk%!{)VA zeP4ACum#dNagt=>ssu%}lb3zxwq5%7W-5tk5&JG%g1=q+uMDq5sh?JkzVe%H@xivg zPbASwJK>+XC7Ne0_@6-L%uE5N*~w{Q!|S@DF7a#wgB5Q2Z1m^^($!C8{JVr3}p zK=!t5s~|XP%kr7x!oRx(RyIrsBSj7Hi_74CWE}uPs$DsIG+I0Nd^f#y_S#m+%+#4B zvm{D*H$3hX}TN>(<2%vJXeF zieOofmMp>=6^_sj{>gLI!AmR@d&i3DP{cwDM#8MG&A{^$zp;IV|8N#Pfzc#dE-c6{Ia}sfR8zMC-EeTtneGv84PFD7>?^BaXHBK=u)gNzE zYd=X^J?>G7&llKl`ZZ{#kd5Q%QGYkm(y70TIq;an?%l3g!lmW(3R>2aguiVws^qcG zVKcpQDMlj64P2nP?Nzfj>`7}z#kk~LgbZ+7@mlm4r)$)5YesolN=cqv4^P=aTtSX| zCh;K}BhO~Qf(`is60*M^XRoe)FUS!RIUY#}_;M(GKKccU{p1{9_bBVsg6lri=(y}Yo$y7_DE7YcWH z2IAN?GzKri$P<59u@`p;e~{210Fk6x({yz zZ@8yVZO3e<4gaQ2IUN5wQRT~ zf+=~}$rNIE12U5EI45TU>Ep@q5!v)~64|um(M}>Sz4wvy`eVT5Nmqxt;ZWAIrApOS zoAvP)j(ZFRqasy=>{z(C_-xMSBf#(7=ZKWKs1(--?_WAP#d`C##Wfr&IyQJuFi$ki zAli`>1A6_*y5qIUwaPUME7}$~%~8nnv=gDa*<6Jail^h*;aO?{?0AV?@_H6LWMT0T^u_ButUsC|vpIe6vJUK$8bvng zI2OT{OKvApS0LH`U%I;n$-Azr12bjDB=k=LSgwxqnV0VowuSvbWt2~-1?Y7Uz>P4z zfk7o7lbGDs)k&|B*b+!ytTI}*Oh;$EOu-($;HiLUV;Qx5s{*=0k1Z9jYL|kRz8aau zlC$YN)f|<0(FQLU9PZ5Q`n$b}*O%92yz>$lPi~`YBQb05ysV0gr)+)F`P(pzp=xXS+6G|d z)DD|9@eyvVdiov!Jpag*9mt#nEc=V9=>?Gm1{jRz+wh1KE>;nR{+@-PqIA#+D9&TB zoLExfZllqCT_aZk)Wt%~5Mu4#x(uiwMI&$BRY{b#)U5`|(q@mu09^$JIQ`|uZ5lnu zt0`c^p+(-Z|00WoGDHp$3Pyszn@eMlKSIh47t|i`wc%=@Bos+W0jeob*%H*`jkCKn ziE?6&@1{?TmnXPOFhl~JUjpBfi|jymC(K?paQ)d ze3RWq0a*Xpl!KZm&bdXgL2JxJFNuVUnttbhz82-Xmy2+|M@ z-y9AyO*zB*B<^xqIWn92g{^O~JgWP`VjLAv)wrHV^!g5!XBXAd(%tpH&X5`O^UI;- z@S1xf!Auw0wXa4t03`dqsDDnT;y))uL&Q&sK zIR)}Je~FeIIUb#7I8sA0(B;czKNV@zy|B>-3i zngPuoi?slnz|7_qz0Z`lRN$&v=HsjxP0kviUBI^^%ddtg*q%_?jzC=|8mVDN5ULrg^WqpdlIg_SXOBVYS~uM@sw(^| zTrQksh`6EIQS3=bjFLTMoy%Qoft~U&+t&93;2O>i%tho(+rkQ*eM~Im%sB+3HR*+U zOs?<9tOsA|X6D0S^>PIlP^23Q*BP&*Uhaecfo0dG*3r{KqsR!?bE9<1eb0jfJ;ZXU zP#s9+!-r)Rq+-%#_4o6Lx3-us>|eLv>etFYgd6?J5z+LbahuY&p7892_06GW$j{#2 z+DDkLM6kw6d#`t&C*u{3{7hPq(js64^M6gO35`!48a!kJD`P4+cLGIoiTGmfZgsM= zvf|-(M803g-CR!QthcO~Dhcu((3MwHR6NY*B2zZMV>CMXx4L%?sx2VR%g=dzldl^8 z>70b?4^i!tn1-CN@VV{P(QgH=KYZHc`|>k#U=LEOp8 zSmemEb!y0y=+r>vg7P-tyjjpczKN+m$QsjQf0SsS%=LD_&YlF%nv#KqnQ+}AC--{< zS3LBZWnp2Jw4xZ<*fL^Bn}>;wtT#u?tHjOO6s`(|c-<;Wgc~!GlKZ@p7mtcM;OBUG zyGLvm#xWxZ+(U#ur`Z$dk`hCA(!Ky&w>^cZSN`Vg2wI?|jD#$#EWlj=c|g8iHFi{l zvm;#~pBB|MK3TvwrD{|ev&~)Dv^hpRc|3EjQ`M`;81v+EAghvKD7g!JXOS#*1%b;Dgm3s4WMqKz3c{dRW@$>1;@m<00GhPhe$9_-I# zjC?4_t?Rh>cakT>5}Z}r>h8h&3~|cPPHh5d+dya&LtGpo964l@TW-5HM`aU@u{zx4 zt#J#TwlJ33^^SuyinD#CLcJyt<{D@U+80r36*8Tsazx2gv`51=HDLn}nk<$!qbO=t zmxMS3gurQn3hYZE+aPA)en8RJ30iZiTey1QqAh}*0gx3+CoK52COl2Q4&kYbSeFz3+5`2Hjg1od~jfb zqIA!4ASMy5v%KHzU#_?y25bO~P!1Mt&yUj>!5fw4YTWr-_U}pRkuYsWb}9sQb!_5p6*B9m{?MSrRZ~si1s`&leRD zE_iT#&E+OM6fzge-4}6*ERTBHpjmc-3Quc9MVDFlq}gwpRS*vj7kwCnISp<1>0Ri0 zdzN+}ee<0fmp3clLRU~-`Tb`%P{W#Dr4*dRk7+`(+mjFN@vVxIGRqa`nE#0|~t93z&N&n#!4(?))9o3iC-S8;@@ zMWleHK_g9;yreM>8oX#(>*GCgIk)1yCz-@}nhCSmkZNop{B4=DA>Z-SBQ|I!*_u>BA zID^+w**Ut#D%E(aJTQX##&ki`uxFM7AT4;5YDV*{Rmf0lrXq+ECc8trE8LI>k}7|= z9dePfcQIe3XZxT5FpbyWPgW!Euw$L%B1T>u)?a?`H}}a`ssRqof|*i<0i|4g72|Mv zpHz#xviUMw>5#9ZyqGp@VPU_bbPW<0FSM~=<4kuN~$ZrC}B zCNe*wpYiwe+dVtYkwfBh_x#>EHfCB@V%ExvynNcZ4VZzMqYq92oYz7_e{m_kgJy58 zb_a&@S;5lre5H)%VbQv30%F?iDF(I{mN{o9V3FJA*JUK~MEI+tuhFINRNG!jueSwM z7a~1sUs!>}L|?dkn~uiIR6-|2w91fK>L46u|t3oAD7${E0cGLIurbqUSUVHy_ zsRB9Ev`%ks1kd>oTY$XMYBH z8$CN8WcY3$Oc8sTHr!;0S98w>4L=q+saczZ&BbjG%fAxtePm%V+v776;6mD)%N=Z~lXunrl*gPwjL2*F{N;jVR^P6AE!;(FI41W-~ z82J3BlwF_@5aoD(6B+r?U|h@4Jv07-1tY^yeB4HQ2+iUaponl^UWj)Uk-BNmoDFN$ z{+lt?0R1$K7LA;|Qnu^$bmQBoSvyl*Je->9DcMM*eOg^~S}!$Cy4+Imq|x%22zWK6 zoT_t+)|w7MARm10Nb#)S(Cn$7TDqI?M#1b5Yek5muMQATgOP)eqh}0(tx#EOB=5V% z8vg;}fg`b~kgc)Ot_B2~gZnJ7X&THNORX9$vXl^n*Qcx;4RV~VU&n0DLYkCJyH4L` zFi}!sX*NEX*x)A6<>Ji##+V&)b9<{EU;pGs{=6H$OE^pn#N!+emD5Otef*%(d63 z(f(3BuH4+4Ze>0}T~_*l4b;9(g5`+NeRX_xH>OR`aBKB0&gXccJ0rCFhqrB6zkV@D zRWTBZ^TYhxctY8dzLE?~0eIdqaXq~QKeNcM z^8QgT(P(NyMH1y+X=S47m^%!#bcj5rm6d(f|5~}b<05w|d7viUI1rlCiVTKt9N!2G z9U_0c5@;Q%kcBuIEfI(Ehzi{)y&TFhn=MnW;sHjZ4-aEvbA0JwdXzS&L9ax44g%>g z3X*c%>7p*2=0qa`&@y~UA{!HH;8-QHC*WzFR#^wiyT5DOyL@}|PiQC2md3&7KR@R* zzorXP^mou~S-PCQr@cTH@$|SnS2G-K*<`_@k?;xL%1F$54VD@2vP0)Ru3oKO(yl7O z0{V&dhR{?m0bjHZN7zpzU{L<0D?HxswbW1RAb9AGL0qEol#FD_;@|BsWEX|x6Ef(3c+c_1yE@hz;%7>Ou$G6(8K@j!#N0C%`GClQqigS=HC zL11YvRy|aqNe9f}_7yGPaikybJ)f2YXf6IFBh9js{NEvCw95P}n$qiIIw)4gIsT&2 zW3;kL5^XKp+x$7rsZHzC3o5wH0baDsO`)Lk+mVO##$s~Y91&{1eR!LsRz&?W;ltNx`Bv1+0cYCX&7N30CIxyc<%aDXx+-iKcK*UE5Nux;KK3v5szG z^6%6>v2>sAqqcc~H8kkoW7&edZ_!4oUNGt8_qdghFC80YY)=?IRaN)VLL}PosHjR= zSY&39>e(_%oP06irHN<(ko>9UbG|%bfP>!<~{ycU;bHvp_<&8)cq?N#1&ui2SLa3onx!0*)C@F zT(nAkH`%Z}MgcO;M7`lPup^F90OC)v!SHa~01 z-wiC?u{$t11CWrlXlMW`#AO|UzVeD5c){_~p-~GSR23j2{rDw>xAlj4NwDg8vwU=b z?~ZrP{1acC{gqdGRG%a{#mYS?!UHsARY3gN5jW?Ft-c$fCVAu;eV9&=VxBjYu>I~s zb#DHh2f^cq#%P|bir60j zhZ#(7QFpz7NlYqQ|1B&3k8X%f4==0Iz@+&B12k`e9sHL8 ztp9Q0`o9h1Iha}hNBKpu2c&@F=*CNU8ctK#1mgv-*y)h>uH|xv<@RbvEd^C162vDJ z0#Fc%5K@YOno*(vL0AEhvR!J2igj~~O11LkN=MU*&goG8_b;T{=B9_|?W=cCkWm`v z;|%ld1CJw7fktbIFp>P|J9G-g7thxytop$@F4Zf91Ir9b2jq4>Gy(wW9nqf^iL-r@ zC#&erHjZm&^X(=G{4=th?+Wp)>;mD6m!sz8uoxhxbMc+$-<{&tLVZ6;{E2o{(t-_z z>vB3J_6x>f5t#xu+mrMTk@|7R88q47xN5?9;!rsJpBpC;0i!t;+gyb8vHd|YSeLGt zL}_fQ%**<9RYbh2PUVyRUJ*9eGOK>MbwLph^KGij+PhTiho}2E&v6u;2IHJcqx}Ay zKmAO%1R`bvcYgT|#(bKA#`_Tjx|r|SN0hHm5HDLq(9gREm?Y5m_es+lJx=LXB?J7z zY`&K!vcGz=>v4ok>UE{1Q{*Hhd*Awlf`Z+lQ~_O~?(uy6gGaR40im2Du<7k)`wfJT zr&77~cIQ#~gouPp^dfOqk)~mzD(-i4{J@`^r@;{f{P3J2J{&-jt`+3Vkr&diMPTxQ z<%COe78tAnSmMzIJHxD%_$oK)zesuS?f>z$IB?S87Hf7za`8#jG^WeOrICFxTIQlYO$ znm$)p2cDfgJH9Vo=($*&aJKL3HWk>R7c*&X@)h{|LI$5@-~ZXIy)Y>i90Vlp!+iMCwyrquNm9Kq+(NfWnUa_pM`E2yH8(V z&b*6ev-nCsTZB5bu1(B@EUgDN?BaQg8fhbR@>tXl-EnM6hu1BnMOo0Rr6Xhx>TMST z+pG!s5}khI7DKv?>oSB4qSr*}#lss=>&Uz-_)wRK%Q4bPNAC&h8TmvCO}at0nzGeehp#;XISJ>nC!mfm~7v|=E-qUnot9ix!|H1AvP z;a>{jYXn)pu%g&JP;o8&Fvw%Qn31~l=k8zG;BKTZ5K%F4v-HfG)3hk`W^p7mvgZy| zlVL{*4yJ0(cr)`E?lcIwz-pV{9USE*M2J<+pN@!7jLvh?nNA4k>!xlne6hB7X`T#+_A>ah%*MWSiCyH4 z_U1OiJhIM*G@ZQT`|5aQ1SU1zI50b-ZQP6NgzO3`J@b&AVChkezN;kVX`Y-Y5T>yy4@|ta}#DGNj{y!39^Ssp{`IYTl){L1igQmPY;QBQTC8#H<>xu`gKaIm@ihk zDFyHqrK^m&@A?IIRoaQ0|JhZqpdG7Jd3s=K*s@1*A#6u+zWOD0NpGGZC&0*yWVxv& z8PjDVt=Z4SQ$N38K7ef*j5x&c0B`n)>bNUZEV@ik0kHw=$meSrTs3 zBQ5uGd66GcJZBxO!s4MBJR2o3l0NDo<2Mp2&({AF_apbu>U{qRZ+ zNoGTe8XMp)g`p`2R?v<{-lReQ%~IzXB`+c%ARyRhD{YIn1vV<11DCk00IT7mY3R8! zZB<4K*{x*W7-dbg^jI@@nUS=OzMWJ+nl4U!2X5!aW(JuV>6ti8d-CbF1L8%O1!!8G zjmMTds1l_N>2+q>>qY6|=$Yb%`8)rQy@RSk-HNKEPphO+5uUbw)NBhfIK_>x zZE9RDw$lWH~x!h`ld2JB~D%y9`lh+nxC(L;W_Z}Vp zt8mTO^W5a$FPb4KhXxQ>*6rCwM{+r@JvquDtwy2hmlw48V=!YId!&|p$OUp`?7#w}~j`Cc)U z^ynOEGaAiaP7wW7`e9#CLX+hy^4#lA`|GO*%)GYpBJlU#PhQY2MTStEZxc0@FDpIAq-jQz9~m2eMES6<~k^V zMgohqiEH*4Xqqri9{a^4tr%!Y_V}VLRXd?@Y<3u3aTL@SCMLcOivyY#%zOC1sP+;2 zeHuz2ul)X*+g;OXcsbTJCkd&hU$@dZ#_v6=4H>tTKH!0f6wlA59g=ehlS(iT?th#S zH$duPNjC#&Y$d!gcbIpKJfW+vY8JY4I#U5priL7%KJU|W2zq0Ci&m-kag;osM;nx5 z?ZXLExUzFf#)*`5MQ7N);E)z&O2Nb6mHtTZClSfw7Sdwv$ zb%l7AwBXPwwmjkh;=*aS4%V0d1bLirfG#$lha9haS?9k48br2D5BB1OW&;ps1#Wyl zp}5$;VXkAWkOhZE&1F=|34vgdH$Nk;%!M%U63LZDDFS{;CZ(yzN{KJ(VjZI(NWC0y znKAs8?gnB#b=RWc9R^&$^{kMM%m)z^Byw$LN3cY&LiS`gd((LRdo@mx5f3n}O{(2* zg9!`E*VUEiYaIS~aJsmL3Ljd3cy}ON_7S&^_w~B&OND=40>4&2N}e_Ot$Op&{KW#x(;O~c?IcKnxaH9p}268-sQ;o3cn0%yl2SNoh7MijvA_jnzK6ERn+=l$z5O`VcTT-JT>{I0KxZ+5Gh0>jy6rB1PXsk@x;2 z1tfmS3*?Cjc}VY7gC|>TB6#@Xr;ICB|_893Ig-Rdvi=5=u~P~V5@Mm z7fah0tlVNp-7q}q^bY=qye@V@J-zsaK33z)rcrlnUU5kH2XngbS^C%{XG7IC{CKpK!Z*~UFF z+d~@jwV_GcCs?2CR$zELn=N+)5i~6)$Q1{dw7il~Hw9>MxTMt{k>pKYk(l-=bpwSQwyMcP7D=OAuB8`EJchxd`vt5jOmFu z)EIvYm+vidc#o3SzjoiN8CRdX`hhjviGUh?Ul@ymdU&G+o92j_o;OSD$+(oi1egPU ztkI|T;9)X#7mh~6YamF}5dgdWWA)`y(XF8F4$)%bjxP!#sRm8QpK|j`n(E^&v*lJ^uxuf@JO;Iyk-c@eej8Mv=zi zh1#A?>^YQ{VVS)6-i$jy&+>TQ8xtR-{SEi`WiEFyCYObKzDx#GR&|U&1N7w zORkoymvnOvGO)HWn z!AD;hbKKim3Tok7D8fiNhKgBS>F@X$anLrYD7kINTjyhT4}?>DQ)TSOiKXAdKN%1L z5~7jC4BJlZt{h8}b?=1)C-rVocIRA2H5S9Q^Z;Ads?*}CdzHdn=>gj<=3tCoqoWT- ztrwL+Rom?CSKHm~BfOEw(w{K-+_7Dz!`-61-Or!WoN37J;SlQq6zuU6S4_&WjpI!h zt9I6U%8%l%Y+txlushi#i?82c?|M!_U}Bs(O;Xt6h~0~dRegtNFfpZO>@LxXc(?uZ^R zgGP5?U4XFUny!Q%Fyh4XU~}YuA{!a_E9~^9{GuA-!Ja#Qjvy~s0j+Rk#4S+4*ea8F z-Eg99D^Xm|pMhFOW%Mu=32^nE#IF$_597*sF>De&`{9Gw{GTJA_wlwY;U{|#`0CW$ zt_ZYXv1wU{_6FO%+D5Q;t3$rz;*wSIteH(vDr`<6jbM6DNWAAV6dv=jgr-B1nnX+C zfgaIdf*j@K(6a-IN8ibmMpzw$1Lz|vd0+Km|2W}WzT8by$qAygqyBAdzxIQ>9X$Q3 zjp^2@B9X{<>4W|VaM*jM4rvs>I5m)ZHG}i6>>DS1XhHJN{*7_Bw2^zL`tB3pRcx4c zVy_+~hS=r?4k+Ny+MGUghaGK$sK&OguIR8^`VVawnJutypG{gV-1ZUV%>2}3stXVYI+NAX=S@y=XON&Z;Szcsg}>>BueM7;UFzq>6NC(+ zwC7=X-JkjW0{mId{M$OI%nC-5Vqh9ko7TK_bFQdR)x6;{aKnK4GWMc|b4w$`t?+a8 zCY&l&;XnaENyGxEGOVa$GvhRcZ+);=7 z4UibkT1ojMe%%PoeOq_>C@;{1<~H~ff3>9SDpS^vV425nY6)i?79P5H$aaK3K7l=T zAh=|f756}zmZC}Y0++}SSI$|63?_PJY0^#yOe#_?Nc(3-CozgOr(iQyYsZ6WARr}T zj!7l4!!{8>xWB{8i@QV)bUX;Y;jf%tOb+a?^ZiqQo4q4zEVk)^hq!D4nG#~ARWcft zn3*7Gr|T<+%Fn@!xV%cwLs6PF+`X{$Gn4%~@ODuMpVD5`@B1t2IM>Z#u-y8!ov+50 z_yp8fmu_vYX;0Z|XRTwUe?57Oc7FviIyA#-LZd)dxx}rpiiQyxu=cvmb4lRQfj`Ydd3@_c&unZs1u{HSB9JQX zq0a4&UyTv2IitEZ%tWV8=pwl+H7(kEpx$Uf|c(?S+HL?<)9V8{6z0Z&U9$v@s}gyAAkm!0MPM zl9MlFLB;aeRR@S};0y`y1oSU2Ij+lTt@DlOdri=wZGzzzqUh5T<2$TNlZ|mX$sryEdZ#0~o#8F*v^)TFjh+huwA9o4P=LLP71cC`gZB88ZxfClW zBm8H=rI*eRkOZxbO(KHO&3hzoff;D(9RDC|_*AUZ42e43Ch) z$0h-Ppro(VGI$2`9^O;G<=M6? zNEph$A)FHt$Ae$x&hq-tV>kRR99C%v#w&U_itU3&$^TR%#zb6Dc0WI^)-eP;soU*A zCJat@9uY9$eP7K=&=+*JXiUzQj}1pU!cgCyfljcdu@`s>#q8*5ka#HtKZi&MdR4?7 zP>j{&ADYn+pw(E*#{&o7LBNeV&cu^LuZi%&VTZ6S4++J6fYl1u^kA&+&*q?Lj1WC} ze?pqm;ezV?_(YqrKd$&aRtg(u#-!`v$Sv1>Sx#|) z+R@jbMuV`#QG^Jfg!2vOVF5`Nv!tin$+Dp6-uz7*-*0mF%g(uOHyK?{S2agLS65kC z_8hCFoBfTNf|h5=9fBLR-3(W6QL|u9*VeZ9Wvz?p4c;P{g#l3M0_j<@wKdol;03AM z>kLLT_w<7m4Hf_hA2aZ?o*S!oMvKXDt#L>q)ta>HLX2PmI35b38=Jie%tC7ps`HtSg zuQzZkH|#szUif-<_DtAdI6wNv&4o64%T-{&rCaQ!Z*c$2Gbr`lsi&0Yz&5p|frr1D zlD?1CfWhWGXRk24L3r(+J5Ti&9ftruk01Q2d8Q8+7CwMv)trl7J|5@o;Un`X%Cs?(DTZ*Rhh6`I`6Z-hDy5(HU!i)5p~T}_lo zwa74r&6p*^Ee8-Z;6<&UR1I`np@Z?SuHl2oLijX zX$X=m*hA0Q?1%V**w1zK0J{zuRmp<5yC<>ZQ4d96X3UgHvNyDdse`2t z$BNd3-fT69n5zq%@G9lSOdQD8hcpsEvr7F%+ryJZzQZu!#w?!+^&GrR$o=s!HX?kQ zI!O>$PU0YAWgVX~F+PJ{aA#4J5KhX3IVfZCF@!Udvk|iiu_t~N$T&vP2<5E+W$iR$ zw#=N?Y>Rn}4hWq-Dsbt@_P1x#%_@=v8LZ2vr$R<1h5>6?Dxr6|n){Gt$V@_>^On4w z5YmBR)XnJD7_2ZF*`MpD(8^AReim!7)?*%1FG92?=O1<`4}H_7 zTTM@~ILa;5;osLea4%Gp%!J7(ikN$@jhtP=hzf6yO~Q8`Q4?%g7s7FC#BU0HXoL3D z%Qg@61lsr`&&1?kT~To)6WMrJL zwAU4aI_q&pANx8j2Wg)DouW!QOhOjWs~V_Qtl^*>MMN)Fts4s{ND`~k0D{$$I0XjX z00=x7BjYl!cNZ=Dt!md+P-)Q}Wac+5QfIDMTL|xp&l@`fc-5>e%w6*FE&$2n9C)i* z_{x0r1UmIJN7be!G62y$Xd^vE!S94}JF>@ytUx+DiL^9!Iy6A()00kir=g^qU3{oa zNEfaqb$3f@R2Oy3$c$kVR06`2#5vzKbZZQM*%jmzS^LPJEkuIwMo~0AZ#`N zCr5?tx|MnUOj>XM2yj8}^Lo}3#XsU}xAak;{G%=Nc>u<}L8AjOIz$hqj>N{w7yg)) z6EuYA{YB|sn$QhWn6>|Dm+17nJ5QcWAF}XMNUX;!EJ{VJ!mR76NV~@Eb-95@v zd{wpm50|3zY%umgay#9J)Z#I!RD)iU_HtDJre{a}z5jK^KK({Itz9z5_Emgzd&ApY zZ-7oxa?6gx1CTB&6@*E4{PVtoypk-fnz`rBiERh5iwV!-pny7Ri1nGT#1)=`^NyWnP#N?9nUrj$U^jRhRUHyt}>`ft}=uX$5phNguZ8UyUoc? zsSeayQZ8|{-j`I7domKLDrOQc`Zi1_b+XT|QI{pNMm}nL=}J+NHV=a)Ji7ooQr_=a94jf)_Wr(5+=LotD^9Ak*2qM&d+ z{U721)js=Mr;&M|$g5itDqrv~1JvVIpjf2N#82iPZJVk`SOMBW@zjr$ z`P5a|VPuO<3v9>sXgozN2# z?oBn1xg+&c2Y$>dkF~2Y@KJ;X-FW!WVzyqAlH~$ut&BxYK z{9K@E(#Y%vd^IjalIGc5nn0zo%^l-vZGPS+7oCj{N`NSSjMCAm1(6bO>$72nr#o1@ z{sQ*tR1y6*3B-ROxc<)?3udKtsZ?cy0#xTctj(d+wdbzapx zrKWA{%n)(8NTNr89aFAiWLTVqC!CDovUdwJd4HnAE zfaODX*mP;*S~51mRsGU@A3dUOZKho{Jp`ebwNtga@ys=1F@J6oJy>Sea=Tt_&{B^E zo}{5&*1GmAqm47T_Ut)wX0NV{goHCw;J%`ktdC%P1$lBR^b&m6(`IvFEvtPp^Avrx zjd>rd1a72n6D@Z;hn97H{|kJ@lQF#kXE~kDfI)*OJ&^d%6~xpUJvGRpPMZdvSs$%R zhNO=y8g(s_!QZe7`|uv=>!l#?484H!p6Xum9(3GNGGK^$U%vt-67K$-4rk(YC+pKw zZs=4Pd0lJWu`NO9ZRv0_F~D`sM`r%;#?>QsX&E;kp+)+@Z*&wCl~#Yr97L>kx%6SP z?5r~JQ1#h2ZsE9wqT03wZfPOTtv8X_K_%#cIC7yTa%bgaWW*H8kU7y)D`=wP4(RZV z0>cK9&HnjT;guEXH4ndu%B!=(%X}RXE|J-uGwk;qjmJTG=#oJ0rCsZ9ifZ3^zT;J= zK+MB4>@C0Z{2kByCj7|0;WB%;NW&UN6HNErEGq*P)yyt-QEQ($(q97GS8vag2FIH# ztzKTaNlOm*+Co>aF!=Z9M@GG^eVl%&Q}e&wy5JJ3X;^Uz%qyDXne zDNxeh8YGRwXalZo z`wFNr+2LvK6$0OcA;sm6*?~Rgtcv46iva{@1^aLXk1QB)cE!uPVL6B_8(cy}$bhnU z0V1JNX8IG$R~gXEcQF|fbjiUvPfWaYR8g`Rq8Ka9S`b{b& z{(oOomQs@`ntZByb2e(KmD^Dz-p?T9rMT;B#2Q5#(6ywa?)97STuJZASb7-b0)VtZPuZGs{)}>{aSRCLF_Ert%@=}7@aeT=^TnG_&Ib>p! z{h=mixWOZ8@&Ez_<|V{blKp{87&w9`(9iX6=H6Q)TaS29mwa05Y&_Saq5A}lx(|7`_~ccY1uL?I*RkvTei+`p&>bK zFYW&Pp;q;4j<5LC=X0<>lUe5^Md9^?AUH1h-dRe8w z^moKL5p0L>y{F_fh0BCdYaC}V#>In%gH`6|VjJ8)B*Z`nUu~bYle1P+Zm1HL2cr9e!lyofl`j|%Sg2v@ENxP2gR=YPmOZEjfVHE>;l1h8 zx5|@k+qLDDOlool-gO9pss6+{jgb(F#TH-xp#l+ea6& z7YXl&s*Pvh2I~nPl4!u93|1Qdf$IhtR(POQ5kO7Z5GzQhX)<0cp=m=A8%(#_-D-2N z!Hq02p50)qO|C)PAa7yZl9Cr+X}UkRu~#-LjLS=nWUX?BjHf$H4NZ-4%e{O5`XSqu z^ovsAV%xK`wtaB>)FdY)*O_@0{}%WGC&~#_`ES|uKQIFS=d{hl^8ZTP`sVr!5QYeI z>3u^(djJ6F3P5rHZS()oUH;#uY9=OD=Knl2MC~7za~$)=Ar=f%ycjdt;@VbcHf7St zrCU*v2na8a2q6VM$TMW}c!-qw#F=!q%C6#Cpr; zV#J)S@*NxMwb+dD-rYlT_44AT;^JfH*XP+!6-kJUm;@<;ipD#{KseC1W7k_)tf7)r z1cMAlTuMwIA|M4qo8KT<c!xsXx^;cR-&2OPG$5u=P&8o8?-v?vO!xz|R+qkk$dS-* zb_}O>Bw?2H$_Yu43C8!X;lnO|usbaA4lz);fJKOP{#E#vFdpe|p<&Je-nn#Y z{Os0>aHCY4>X{5T8H}^%4v5_w!d5w3{$zg5c5n-$bX8e_8t~;fIJB+)FY4MP5`q^^ z>%F?s^?4yaF3TpSmZ;4*arm|Bi5 zcuw_f5U6K~t58=_a+X$B{0`{KNlevObHrX?T@C|_Fmefj4sdUMhBpQ5khJ(}u#azX z_pK>a3oSOLIkAIy+y{&YO-w0MuU zdg?ehd9L;3Ng>4bqqeyxEi5p?D($J4{D(Uwkz*q+9{FbjBF2wlpqG>JV(vLgwKs6d z=AMA?KZ&vqmlZ1u?wPk7RU>?HKK-vB!y6rBuCS7zfRu$7%Cc5TsdMfKKqh}mo11Sy zE~`2fJhFS-H*!!6#kRMvoPFD`gg((Nd>l*X!NBF10}?~jH*M{K6Tx1Q zs-zm~soo&(?~=nZcpNOeK;iM=eWe1AY%>OR4Fn-HXwX8jRPP+-Q)M%QjY`fCXnsRPBYK^n~L-FnbtNRr+}mA0r^#!O1**fdkY@!A|_y?D&K*WR-9^)<73D zE)uJiv&UTvCp<$>DkEwCXjqb1Q{gw1iRDN(m z=;+z3Y$bnCCHM}yB=1GXO|4IOpJ8bykxS+@JvjMmeeVRC^Xi%6+=HF;WU$$sB>r&n zLtgSbPx|K>gy<)&>n=sz!Clt z(`o~(sa3t?B6sN3GqSTIRZB%*prb_>C0O`QC6uy5egBk#YvX(%(|HvJD5}A46=3s1 z^0zfFlUuzvnxv?)X8iUT*46L|R*ZrqRHxVNSotCTEv?|^S)sWdEcF(VRn-a@w=m<2 zCU!-s=<}|jZ1T?Ktes>Wc!#>-55DxT=z9*J)~t)PCaDgCVz__A!p-HK0<0zv(9Y=Q zo$J&-BnRdwP}JxkTzwq_+yMrUL$Bw;3n?bzR6+7y^1HLU{rBm;^})0bdpZhU5IYw4bP9|+Dtr}korI)i<>bQFJhimbWn)u* zfZs4OhUHu|#r(4R#5Is4=SO0}2LRKb`mpITfVpR(kt$kAn__L@GY90NO>(tIlZS}UhtPQ-M z9Fdh_kU(9qXT8PK*?sicJUa2Va>5fkQBhEQnk13kcxv;@%THhmk(@*1%pEQ?Ynt72 zK7d?(1$`){K;^b;>?U?+hjL_gc`GMuY&6tGvraaMRe&23O)}U*HCu)|;8o|~E^jnn z=sX~L4Tbxm==4kGOOU~vh!aPs(73+D^ zW`sh-TtPD8pem$o%=KWE{SewZps{9u(4q7fm((W_g+!p3-J(f9DS;qb1PoD4W% zRP(8o^C=aTlKD$ zy_=Ecx{e+5Yl?STb^7FMu8F=_lc>isDp#j68Y@qjgemtKCI9+1x*Dpxp|k7T^~AZiXHZ?#1gJ zpt|R2)JzJ$m{?D_APISHA7M{Uws4z^YrO9}qL~iHJ@^#AEL<9vOx$yo+DD{)K_xG= z3a}Zg{~P{uMzdKCXVYtn>Bn1(?%ogY`ql|A(^cc+Rps`A(@_t<;$9CrP6@-wObX3> zat@O0d@wv9cjLeQs!9M1s*~#JZ5jf-=E8wPGC#(+4;Ghk`THWo)2aqFIYC&{QJ~cS zlqQOqd?Rt*A2sCJl)Pr6*4f;&q~`Lc+f=7{AUrSqiiFC?Sj!; zSk2YuvIr8*>-xHjGc(*gT+XOP6u~kjkQb%oY!0I3X;Vwv?dS%oDVBd++^3^w?DOx5 z0=1~XPIab|{b;g|78K>XMxI3adBkM&axXV4vN`Q@|9;o?^}yrd`%cP_kvK_+5&GKN z(k=Ror9-|nT{SQHlFZnxPK~#RATvaO7$&Mfh?g7@cC_{vE#n-&NXQc_0TuCmx9CZ< zI`C6k3CEv+qp3DKNghgdEMJKnTNExW0740z_aBUA4o?DdS%AVB{-g0}|6cr7mtC2x zU|pt7J@FZDb!oM?s&Gp;vuQ)!zN_b_*yz|Bh{aMMs(w@umH`e4L&tQk0MG_2uM|v* z0y3vmyH8{-S`IporcWRn5HB?J>a$2~(z6OHvc;0N7+37lyKTsP((OXI^cl>> zsxOWcRa_$s=9M_QX*b|iCK7j_-#5+6cO;x-_0Hl5Kl!$MRh{&NY~dTt5Nq4~JO~UK6J9kNV z+UIVbrNqe?PCh6yo`SCB-J|Ym!|o+S#ui%cjbe>7 zFR5BMus^7pMK2nu7dv+fp`3fZ!EADRc=%|g=J#_%kE<0)(pX+K&c93-t$>a#YE#dQ zD=t{uxcb0fofC2Fh{Ls|u3+Z-4)Pv`hcbk>%g~Garf%NPz!#wfm2FrQ%_4LN9M`VdRl(`9EP-C9T7)9Mo{&L0L8oJ;RcoSf@VScc)sK5C@`hZ1~E~d-z>yfoR8S>fI)76 zBitoSIOmjBIW)XSRYC~3UX);Xk@b_P$YnAu(F->Q%mGIfWBe-t`nn_R5JVj*Oj&^n zC`CDhmgpbz073JLV*l}a5g{;zm3VAh0chMR+NKtJX^N%*js#k3h-sGL0j5%YA@}$g zfOUd>D8W>$mNb2V5hX*C1?ouRJ^K27iVwgWhS1n0IJvMABmo9QCW$dK)O0ETeoZd; zLbg0|T7f)*++g&-V)6qmeK9opywu|WH%<&Jp@pI6`ZDr>I8_o5fG8pm41(*d{Q$vz ze}K}18UV*6DPXY}{E_-0r2tN`==vrk_yoxEDb7);z|zHl^&~ftJqN!T6|k`|+(1Wz ziwc%B`;Y;UZL0*)6D0}Ydyt!m0V9szf_zfT{?rkHg3X+Z<^+jE3JcCT#H-pP+d~oi zbMfZGlv%~9@2L$G_B9UU$QSJK;Sp9)Q+BGwuaJCO*z9541gMbVvf!lU`r&2!bkl-+ zv9m7@?>*h*Lche4v;SgsWzWz}tjC{fM}yUZi3j;O_c^ny4Yn-yf4Yfxxz>y(RSrMd zr6rxitp4iC)l9q>@Mpc~c42f;&!P*DZGd}`o8U(ZtF68!#Jc%h{=3D0fjEXOW`SZu zibox6?;(`Z?e;0ZhYAwyigr+MOKwzks6Hw7EI-NhG&=*@5>9QdKYcZ6!+_ht!-1O} zrw#9&d3tNyoSvB2#Ylx4 z7S*3N7FjLu*0PI<%x0mLuRt5ivNWew_4IYZ7F2}6l%UHvfoR(}4LuKp%JrbLsX%qt&za2C>JZ?c7fXuS34T`xY{>0N8K zV&C^&*ZXw(uDKTW6gS&0ask(mrBg>+pW<`9eZv0qxOAq#Z`uy8$W5lx%XDs6o$KSU zVO+jk{{(Dq{=FFjZXK=ePK~opkT**pc0~uIe8}+@p_)=@sWrxgm79nfe>;AXruwiR zYJ^;_PYAz7UH{hL)Ri&g9zAS)cs=M%8a_Q>=J;o_^s$?x*WV z`BP8)@qpj0yAvLE((kT#gYyNOQjM(WzBC~ArbGA>`0JH1nzi|0O3!OhY46RU5uHd! zz8K|r=d0V(uB9z&o2Tjd_DBnrMrxDxBKdI}hkjUjPHL2htew1+$S0~BcN$VV(({~a zSJl-k4n-(1H~I!(NKmKQ+La{qj>USc%n*yh1XF!aY!fE8o-ogWMf2s{0kp8df)kcw zw^D?s!Tc0h3oc`jz`2LD&S8AWB1zzzKeNw`L-PU@&rDn!T5g8WlF%vA11~5iHX#U? zW*jK_39H9;&HzPd6Umei?uvoX5G}n4Wi$mLrg0~eQdg}e`KoK3w^fx38}o5! zxyqby&dkvCP&hcUH59$3VA!BN2kyoQl%m=O2r-LV(MbCe0DAej69`CF7vTvh<12xs zWn&WURHRkW@B^FMwB-nk=?2}0m($oriw-e4w)K`J>h?D-Tcyr^77}T7o`1Fhq z*in+9OmzH2Fu;uRyulK25bX`%)x@y)P2*$`m~8OH09NXG4>ozyf1on>u*pYQnzyC^ zE+ZI|Lf!Mhq=N0w-f&*m5#67N#vZ8QgAL=SLE-}rG-9alBN%;vp<$es*_42m78W7_ zP4&$|(x)F$k&W3ISm?uy6t5Nf-e5Yr4}F1LQr7hjk$qdwTnPH^SK8h`FZ4hd-700GqiVS={+8(M|cwOv090Q)Q!6^@Q+yMK|5^X?Zs}{r&`0gRwNy z&`&oKub)ZPtL^<)c6V2%u7gI&V2)CVTS?cK>%;z`oD5RH!HqSC7hHXdOntzp@4y;e z4dLff9Z(_wbxC51%wdPC?tsg{uoo~%?sGZeAWI@bi=a5_r$zrhOMm|st3_;b{x-}D zf48;>aW*{l0(ldQR+ATs_HV*)rn)%v+sy-UC(A#>NKLNmKf=<_A+8arUnwv74#hz~ zE#?ug^F*!Ulk2~KyFJ}tEaXbq7tLU4H>?APc_C;hxL5TRrJ6&~YBT~si+ylu%81;W zkKq3~v7;9~Rjc3c_DNk0Nu@nsDAdcAz0u|^2>NOjN%-JXS$dUy-A{hL+P$PL@K|X> zVk`MjPU-|1x6cl{90dj5h}m#?xW?|?NE$=Z*% zxE*;iG62&}esLK*o}IQD+$Q3ap&u*DPC>6bTsCy{dUml_ojE=3y&d@zB<&kLV0;m6 zXJ@uZzx-{@_I(>2xO%n2FziZrGuR*2o7-K9n_uy+mX}fgGrlP^7 zhe9;jQux`kEGLG0wNcNX=-`&ofOnO7oUvZQb4k!^)295O+m^&1Z-0A>o8!x+D}|iP z7}b!qoZ+M55?a*(%|63|WGlOM*SgQP{IE}1*+}=eTxXayoUvWP@$Y+9wHtIZC7WmS zDb7!-7J5ILc3+m3(U(;_KYm}QL?F#B{EflJ5Z7(Yjdy0(P=;F{=BCYQGegu#Zeot0 zujlRe(-#HZRqsw@4}1Hk$h5IyCD6w%^gWM(umHexklWj5k4F=RJoF=8@dU^g-~WM(lnGGSom`~QDK zhhE9f&Kc@|S_ew>lD4LH1Wf;HschkCLcqw*NdHHRk${w z9dJhPZ%Z9Jl-*_u5+MjlM?15rL}r3U(PFEb=Oa+Zn4%|wQqqH^#MUz4&|C z%FipmtFF|(yE|@I/results.parquet} + the resolved config + a manifest carrying content hashes, master seed, and git commit), a README with its legend and falsifier status, and a figure that regenerates from the parquet alone. \texttt{reproduce.sh} re-runs the whole study from the master seeds; \texttt{REPRODUCING.md} maps each manuscript panel to the config and seed behind it.* + +\section*{SI Text S1--S2: formal statements} + +\section*{S1. The incompatibility floor: what no alignment can remove (E13c)} + +\textbf{Setting.} Models A and B are trained on the same input distribution; their target label functions \texttt{f\_A} and \texttt{f\_B} agree except on a conflict set \texttt{S} of probability mass \texttt{\(\mu\)(S)} (in E13's conflict condition, the cyclically-relabelled classes; \texttt{\(\mu\)(S) \(\approx\) conflict\_frac} up to class balance). A \emph{function-preserving transformation} \texttt{T} (any composition of hidden-unit permutations and, for ReLU networks, positive per-unit rescalings --- the full unit symmetry group of a plain ReLU MLP) satisfies \texttt{T(B)(x) = B(x)} for all \texttt{x} by construction. + +\textbf{Proposition 1 (endpoint invariance --- with the term ``chord'' defined precisely).} Here ``chord'' means the α-linear interpolation \textbf{of the endpoint loss values}, \texttt{(1−α)\(\cdot\)L(A) + α\(\cdot\)L(B)} --- the baseline in the barrier definition, a function of the endpoints only --- NOT the weight-space interpolation path. For every function-preserving \texttt{T}, the endpoint functions, hence the endpoint losses and this chord, are identical for \texttt{(A, T(B))} and \texttt{(A, B)}. The \textbf{interpolation path itself is generally NOT invariant} --- losses along \texttt{(1−α)\(\cdot\)A + α\(\cdot\)T(B)} change with \texttt{T}, which is precisely why alignment can lower a barrier. \emph{(Immediate from the definition of function-preserving.)} Scope caveat: the aligner provably recovers a permuted-and-rescaled copy exactly --- an important special case --- but this does not establish global optimality of the alignment over the symmetry group for independently trained networks; the decomposition's ``removable'' share is therefore a lower bound, and the ``residual'' an upper bound, on their true values. + +\textbf{Proposition 2 (no merged model can serve both parents).} Let \texttt{h} be \emph{any} single classifier (in particular, any interpolated/merged model, under any alignment). On every \texttt{x ∈ S}, \texttt{f\_A(x) ≠ f\_B(x)}, so \texttt{h(x)} disagrees with at least one of them. Hence + +\texttt{ε\_A(h) + ε\_B(h) \(\geq\) \(\mu\)(S)}, and therefore \texttt{max(ε\_A(h), ε\_B(h)) \(\geq\) \(\mu\)(S)/2}, + +where \texttt{ε\_P(h)} is \texttt{h}'s error against parent \texttt{P}'s labels. A hybrid of two models whose conventions conflict on mass \texttt{\(\mu\)(S)} errs at rate at least \texttt{\(\mu\)(S)/2} against at least one parent --- \textbf{hybrid disadvantage with an information-theoretic floor, independent of the alignment group, the architecture, and the merging operator.} This is reproductive isolation in the fitness sense: past a given functional conflict, \emph{no} recombination operator produces an offspring loyal to both lineages. + +\textbf{What remains empirical, and why the experiment is designed as it is.} Propositions 1--2 do \emph{not} bound the single-task path barrier (the loss along the interpolation between A and \texttt{T(B)} evaluated on one parent's task): in principle a path could dip toward one parent's function. Whether it does is exactly what E13 measures --- and the measured answer is that it does not: the conflict-condition barrier is unchanged by permutation alignment (\texttt{residual}) \emph{and} by alignment modulo the full permutation \(\times\) positive-rescaling group (\texttt{residual\_scale}), while the same aligner removes \textasciitilde{}all of the independent-init barrier (the positive control). Richer-symmetry results for transformers (arXiv:2606.23607; neuron-identifiability approaches to linear mode connectivity, 2026) strengthen the \emph{removable} side of the decomposition and are therefore complementary: the more barrier a larger group can remove for \emph{compatible} models, the sharper the meaning of the residual that survives for \emph{incompatible} ones --- and Proposition 2 caps what any of them could ever achieve on the conflict set. + +\textbf{Terminology note for the paper.} ``Residual (after alignment)'' = the estimated functional incompatibility; for ReLU MLPs I align modulo the full unit symmetry group, so the estimate is not confounded by missed symmetries of that architecture class. + +\section*{S2. Emergent vs imposed incompatibility (E13b framing)} + +The conflict condition \emph{imposes} contradiction (the two label maps disagree on \texttt{S}), which pins \texttt{\(\mu\)(S) > 0} and activates Proposition 2. A true Bateson--Dobzhansky--Muller incompatibility is \emph{emergent}: each lineage's substitutions are harmless on their own background (\texttt{\(\mu\)(S) = 0} --- the training signals never contradict), and incompatibility, if any, arises only in the \emph{combination}. The \texttt{disjoint} (complementary class specialists) and \texttt{augment} (divergent input conventions) conditions realise this: any residual barrier they develop cannot be attributed to label conflict and is the emergent-speciation signal proper. Pre-registered readings: residual grows with divergence \(\rightarrow\) model speciation is emergent in real weights (E12's trajectory realised); residual stays at the \texttt{shared}-control level \(\rightarrow\) within this regime, trained networks are \emph{more} merge-compatible than the biological analogy predicts --- an honest bound on the analogy, and itself a design-relevant result (merging is safe absent functional conflict). + +\textbf{Outcome (2026-08-11 run, 4 reps, t\_div \(\leq\) 3200): the second reading.} Residual 0.000 at every divergence in both emergent conditions, and the merge \emph{rescues} the forgetting \texttt{disjoint} specialists (parents \(\rightarrow\) 0.535/0.474 on the full task; merged \(\approx\) 0.955 throughout --- a sustained Fisher--Muller rescue at zero barrier). Isolation in real weights required functional conflict in this regime; whether long-horizon over-specialisation erodes mergeability at LLM scale (cf. arXiv:2607.11997) is the \texttt{llm\_speciation} question (Phase 3). + +\section*{SI Table S1: the claims ledger (status / assumptions / evidence / limits)} + +\medskip\noindent\begin{center}\footnotesize +\begin{tabular}{p{0.184\textwidth} p{0.184\textwidth} p{0.184\textwidth} p{0.184\textwidth} p{0.184\textwidth}} +\hline +Claim & Status & Key assumptions & Evidence & Known limits \\ \hline +Collapse = Wright--Fisher drift (biological model) & Closed form (diagnosis conceded to prior work) & Knowledge = categorical distribution; refit = resample & Closed forms reproduced to <0.5\% & Real learners add a signed, architecture-specific estimator bias (measured) \\[3pt] +Grounding = immigration; critical real-data fraction \(\ll\) 1 & Exact + empirical sign & Fresh samples from a fixed, non-drifting truth & Exact \texttt{H\_eq}; \texttt{g*\(\approx\)0.048}; sign holds in RNN/MLP/VAE and on MNIST & Deepest tail unrescuable at feasible budgets (\texttt{m ∼ 1/p}); sharp threshold softens in trained nets \\[3pt] +``Merge, don't average'' conservation & Exact \textbf{for the output-mean operator} & Rare-item regime; an oracle/verifier identifies the strongest source & E4 closed form + simulation; neural reproduction & Weight-averaging and routing are empirical cousins, not instances; budgets differ; bridge = the headroom rule \\[3pt] +Offspring exceed every parent (Fisher--Muller) & Interpretation + empirical & Complementary (decorrelated) parents; verifiable fitness & E8 (biological model); 7B LoRA merge beats every specialist on every family & LLM tier: 3 lexically-distinct families; replicated over five training seeds at 0.5B \\[3pt] +Outbreeding depression on rugged landscapes; operator design rule & Biological-model result; hypothesis at LLM scale & NK epistasis stands in for skill entanglement & E9--E10; directed selection rescues & Not yet mapped onto a real task-entanglement measure \\[3pt] +Optimal mate-pool breadth shrinks with ruggedness & Biological-model result; hypothesis for merging populations & Ring population, local selection & E14 & Phenomenon known to island-model evolutionary computation; the contribution here is the mapping and the diversity/mean decomposition \\[3pt] +Merge failure decomposes into coordinate artefact + functional residual & Empirical (MLP tier; LLM tier in progress) & Alignment enumerates the architecture's unit symmetries & Full-symmetry residual \(\approx\) 0 (compatible) vs \(\approx\) naive (conflict); cliff in hybrid fitness & Scoped to aligned linear interpolation; conflict floor is information-theoretic, not genetic \\[3pt] +Epistasis (not divergence) sets the cliff; snowball onset & Biological-model result; \textbf{hypothesis} at the neural tier & BDM incompatibility structure & E12 & Snowball count ≠ performance cliff without the effect-size link; neural test outstanding \\[3pt] +Pre-merge functional disagreement predicts merge penalty & Empirical, within a controlled grid (0.5B, 13 conditions \(\times\) 3 seeds) & Constructed conflict/overlap/duration axes; oracle-potential outcome (pre-registered; ordering sensitive to reference) & Clustered CIs exclude 0; held-out LOCO \(\rho\)\(\approx\)0.4; selected geometry baselines \(\approx\) 0 & Head-to-head predictor differences not individually significant; only selected baselines; generalisation to real task pairs open \\[3pt] +Confidence weighting improves rank prediction over raw disagreement & \textbf{Not supported} (pre-registered internal prediction) & --- & Paired Δ\textbackslash{} & \(\rho\)\textbackslash{} \\[3pt] +The predictor improves budget-matched operator choice & \textbf{Open} & --- & Soup-vs-route gap readout noise-dominated at 0.5B & The practical payoff; untested \\[3pt] +Emergent speciation without conflict & \textbf{Not observed} (pre-registered) & Shared ancestry, compatible tasks, tested divergences & E13b: residual 0.000; merge rescues specialists & Bounds the hypothesis; longer horizons/distribution shift/capacity pressure untested \\[3pt] +Grounding + sex + diversity jointly necessary & Biological-model result; hypothesis at LLM scale & Conformity stands in for self-consumption & E11 four-arm ablation, each arm failing distinctly & The full grounded LLM society is unbuilt \\[3pt] +\hline\end{tabular}\end{center}\medskip + +\section*{SI Table S2: headline quantitative results} + +Headline quantitative results with sample sizes, uncertainty, and outcome definitions (full per-experiment tables and falsifier status in the per-experiment documentation). + +\medskip\noindent\begin{center}\footnotesize +\begin{tabular}{p{0.230\textwidth} p{0.230\textwidth} p{0.230\textwidth} p{0.230\textwidth}} +\hline +Result & Setting / n & Outcome definition & Headline \\ \hline +Closed-form validation & Biological model; standing tests & Simulated vs closed-form H-decay, immigration equilibrium, multi-teacher union & Agreement < 0.5\% \\[3pt] +Grounding retention & Minimal model; 18+ replicates per point & Fraction of equilibrium diversity retained at grounding g (operational threshold) & g \(\approx\) 0.05 retained \(\geq\)95\% (tested setting); smooth in g \\[3pt] +MNIST collapse \& rescue & Conv-VAE, 4 replicates; frozen oracle (98.5\% mode acc.) & Mode support / forward-KL over generations & Dry: 30\(\rightarrow\)1 modes; 10\% grounding: 30/30 held \\[3pt] +Fisher--Muller in LLMs & 5 seeds (0.5B), fixed tests; single 7B run & Merged vs best-specialist accuracy (overall; worst family) & Ties 0.647±0.027 vs 0.592±0.009; 7B 0.87 vs 0.77 \\[3pt] +Union vs blend (headroom) & 3 seeds (0.5B hard); single 7B-hard run & Paired per-seed ordering, routing vs weight-average & Routing > blend in 3/3 seeds; one catastrophic blend failure avoided \\[3pt] +Speciation decomposition & MLPs, 3 replicates & LMC error barrier residual after permutation+rescaling alignment & Same-task 0.001; conflict 0.497 (naive 0.502) \\[3pt] +Emergent isolation & MLPs 4 reps to 6.4\(\times\) base training; LLM 1\(\rightarrow\)12 epochs & Residual barrier; merged vs parent accuracy & 0.000 everywhere; merge rescues parents (\(\approx\)0.955 vs \(\approx\)0.50) \\[3pt] +Predictive test & 13 conditions \(\times\) 3 seeds (0.5B) & Merge penalty vs oracle parent potential (pre-registered; ±: clustered 95\% CI) & Functional \(\rho\) +0.45/+0.46, CI excl. 0; LOCO \(\rho\) \(\approx\) 0.4; geometry n.s.; paired differences n.s. \\[3pt] +\hline\end{tabular}\end{center}\medskip + +\section*{SI Methods: experimental procedures} + +Every experiment in this paper is one YAML config, one runner invocation, and one artifact triple (\texttt{results.parquet} + the resolved config + a manifest carrying the master seed, git commit, library versions, and a content hash). The configs named below are the authority on any parameter; this section gives the scientific reasoning behind the choices. \texttt{REPRODUCING.md} maps each manuscript panel to the config and seed that produced it. + +\subsection*{M1. Design principles} + +Four rules govern every choice that follows. + +\emph{Test each claim at the cheapest tier that can falsify it.} A closed form beats a simulation, a simulation beats a trained network, and a small network beats a language model, whenever the cheaper instrument can still return the answer ``no''. A costlier tier is entered only where it adds a discriminating test rather than a replication --- which is why several cells of the programme (Fig. 1A) are deliberately empty. + +\emph{Match the precision of the claim to the precision of the instrument.} The biological model is exact, so it carries the paper's quantitative statements. Trained systems add optimisation noise and inductive bias, so at those tiers I claim signs and orderings, never magnitudes. + +\emph{Make reality able to refuse.} Every tier has an oracle that is independent of the model being measured: a fixed true distribution in the biological model, a lossless identity code or a frozen classifier in the neural tier, an exact-match verifier over procedurally generated tasks in the language-model tier. + +\emph{Declare the falsifier before running.} Each experiment states the outcome that would refute the claim it tests (per-experiment READMEs; SI Table S1). Two pre-registered predictions failed, and are reported as failures in the main text. + +\subsection*{M2. Replication: what a replicate is, and how many} + +A replicate means something different at each tier, and conflating the three would misstate what the error bars cover. + +In the biological model a replicate is an independent lineage: a fresh random stream driving the same resolved config, with sub-seeds derived from the master seed by \texttt{SeedSequence.spawn}. Because drift \emph{is} the object of study, the spread across replicates is signal rather than nuisance, and replicate counts are set so that the confidence interval on the summary statistic is small relative to the effect being reported. + +In the trained-network tier a replicate is an independent lineage including fresh weight initialisation and data ordering, so it carries optimisation noise on top of drift. + +In the language-model tier a replicate is an independent \emph{training} seed evaluated on \emph{fixed} test sets. Holding the evaluation data constant while varying the training seed isolates training stochasticity, which is the quantity in doubt; it also means the seed-to-seed spread I report is not inflated by resampling the benchmark. + +Replicate counts, and why each is what it is: + +\medskip\noindent\begin{center}\footnotesize +\begin{tabular}{p{0.307\textwidth} p{0.307\textwidth} p{0.307\textwidth}} +\hline +Experiment & Replicates & Reasoning \\ \hline +E1, E2, E3, E5, E6 & 100 lineages & Long horizons (400--600 generations) with drift-dominated variance; 100 lineages put the CI on stationary diversity well inside the effect being resolved \\[3pt] +E4 & 200 & Outcomes are per-item binary retentions, the highest-variance quantity in the paper \\[3pt] +E7 & 20 & Trajectory contrast (sexual vs asexual adaptation speed), large and monotone \\[3pt] +E8 & 40 & The vertical claim; the headline separation, so the most replicated of the genotype experiments \\[3pt] +E9, E10 & 24 & Landscape sweeps where each point aggregates 200 offspring internally \\[3pt] +E11 & 12 & Four-arm ablation over 80 generations; arms separate by margins far exceeding the CI \\[3pt] +E12, E12\_nk & 15 & Each point already averages 500 (E12) or 200 (E12\_nk) offspring \\[3pt] +E14 & 20 & Breadth \(\times\) ruggedness grid, 60 generations per cell \\[3pt] +kernel\_sharpen, kernel\_smooth & 24 & Two-parameter kernel fits against neural reference endpoints \\[3pt] +bridge & 60 & The harness gate: must detect \emph{any} departure from the biological model, so the most replicated neural run \\[3pt] +grounding & 18 & Nine-point grounding sweep with per-generation network retraining \\[3pt] +collapse, architectures & 5 & Sign-level demonstrations across architectures; each lineage retrains a network 22--25 times \\[3pt] +recombination & 8 & Operator contrast in trained weights \\[3pt] +mnist\_collapse & 4 & 15 generations \(\times\) a conv-VAE retrained from scratch each generation; the contrast (30 modes vs 1) is categorical \\[3pt] +speciation\_real, \_cliff & 3 & Barrier decomposition; the quantity is a near-deterministic function of the training condition (residual 0.001 vs 0.497) \\[3pt] +speciation\_real\_emergent & 4 & A null: replicates are spent on longer divergence horizons rather than more repeats \\[3pt] +llm\_merge\_seeds & 5 training seeds & The Fisher--Muller signature, the most-replicated language-model claim \\[3pt] +llm\_moe\_hard\_seeds, llm\_directed\_hard\_seeds, llm\_epistasis(+compat), llm\_speciation\_add & 3 training seeds & Per-seed orderings reported individually rather than averaged \\[3pt] +7B runs, llm\_speciation & 1 & Single-run confirmations at a scale where each run costs GPU-hours; reported as sign-level and labelled as single runs \\[3pt] +\hline\end{tabular}\end{center}\medskip + +The asymmetry is deliberate: replicates are cheap exactly where the quantitative claims live, and the expensive tiers are asked only for the sign of an effect the cheap tier has already quantified. Where a single run is all there is, the manuscript says so. + +\subsection*{M3. The biological-model tier} + +Knowledge is a distribution over \texttt{K} discrete items; reality is a fixed Zipf-tailed distribution \texttt{p*}; one generation resamples \texttt{n} draws from the parent, optionally mixes in \texttt{m} verified draws from \texttt{p*}, and refits. Implementation: NumPy/SciPy, no GPU, bitwise reproducible. + +\emph{Parameter choices.} \texttt{K = 500}--\texttt{1000} with \texttt{zipf\_s = 1.1} and half the items designated tail: large enough that the rare tail contains hundreds of items (so tail statistics are not dominated by a handful of them) and small enough to sweep densely. \texttt{n = 100}--\texttt{200} sets drift strength; it is the population size in the Wright--Fisher correspondence and the distillation sample size in the AI reading. Horizons of 400--600 generations were chosen so that ungrounded lineages reach fixation and grounded ones reach stationarity within the run, which the trajectories confirm. + +\emph{Sweeps.} E2 sweeps grounding \texttt{g ∈ {0, 0.005, 0.01, 0.02, 0.05, 0.1, 0.2, 0.4}}; E3 contrasts uniform against region-matched grounding allocation; E4 crosses parent count \texttt{K\_T ∈ {1,2,3,5}} with teacher correlation \texttt{\(\rho\) ∈ {0, 0.25, 0.5, 0.75, 1}} and \texttt{g ∈ {0, 0.02, 0.05}}; E5 crosses selection mode (none / greedy / quality-diversity) with novelty weight; E6 compares four re-minting arms. + +\emph{The correlated-parent construction (E4).} Teacher correlation is constructed directly rather than obtained by tuning drift, so that \texttt{\(\rho\)} is not confounded with \texttt{n}, \texttt{m}, tail size, or generation count. For each tail item a shared switch \texttt{z \textasciitilde{} Bern(\(\rho\))}, a shared retention \texttt{s \textasciitilde{} Bern(q)}, and per-teacher \texttt{u⁽ᵏ⁾ \textasciitilde{} Bern(q)} give teacher \texttt{k} retention \texttt{s} if \texttt{z} else \texttt{u⁽ᵏ⁾}. This yields exact marginal retention \texttt{q} and exact pairwise correlation \texttt{\(\rho\)}, and is exchangeable, so \texttt{\(\rho\)} is a single scalar knob. + +\emph{Multi-locus experiments (E7--E11, E14).} Genotypes are \texttt{L = 12} biallelic loci (4096 genotypes --- effectively open-ended relative to the population sizes used), with fitness either additive or a Kauffman NK landscape whose interaction count \texttt{K} tunes ruggedness from 0 to 10. E9 and E10 breed from \texttt{n\_parents = 6} local optima into populations of 200 offspring; E10 additionally screens offspring and iterates (5 rounds, keeping 8). E11 runs a population of \texttt{N = 60} agents for 80 generations at ruggedness \texttt{K = 8}, with mutation \texttt{\(\mu\) = 0.03}, 120 offspring per generation, and selection weighting true fitness against consensus conformity at \texttt{g = 0.85}. E14 sweeps mate-pool breadth on a ring of \texttt{N = 48} against ruggedness. + +\emph{Speciation (E12).} \texttt{L = 20} loci, incompatibility density \texttt{\(\rho\) ∈ {0.1, 0.25, 0.5}}, parental divergence swept 0--20 substitutions, 500 offspring per cell at recombination rate 0.5. E12\_nk repeats the question on NK landscapes (\texttt{L = 16}, \texttt{K} 0--10, 40 parent pairs, 200 offspring). + +\emph{Validation.} Three closed forms are asserted as standing tests to within 0.5\%: neutral heterozygosity decay \texttt{E[H\_t] = H\_0(1 − 1/n)\textasciicircum{}t}, the exact immigration--drift equilibrium, and the multi-parent union formula. These run in CI alongside the correctness tests. If they fail, the science is wrong rather than merely the code. + +\subsection*{M4. The trained-network tier} + +\emph{Why a synthetic universe.} Measuring collapse requires knowing the true distribution exactly. Each mode is rendered as a token sequence carrying an identity segment (base-2 digits encoding the mode index losslessly, so the oracle reads the mode back with zero error) followed by style tokens drawn uniformly at random. The style segment gives genuine within-mode entropy, so a generative model must learn a distribution rather than memorise \texttt{K} fixed strings, while the identity segment keeps the measurement noise-free. Mode truth comes from the same \texttt{make\_true\_distribution} used by the biological model, so ``mode'', ``region'', and ``tail'' denote the same objects at both tiers. + +\emph{The bridge gate.} Before any trained model is interpreted, a histogram generator is run through the identical harness; it must reproduce the biological model exactly. This separates harness bugs from model behaviour, and is why the bridge run carries 60 replicates. + +\emph{Architectures and training.} The recurrent generator is an embedding (24) \(\rightarrow\) GRU (128 hidden; 192 in the architecture-generality run) \(\rightarrow\) linear readout, trained each generation from scratch with Adam, learning rate 2\(\times\)10⁻³, batch size 256, 25 epochs, and evaluated by sampling 12,000--15,000 sequences. Feedforward and variational autoencoder generators share the harness. Retraining from scratch each generation (rather than fine-tuning) makes the generational step a clean refit, matching the biological model's operator. + +\emph{MNIST tier.} Dataset: MNIST via torchvision (60,000 training images). Modes are digit class \(\times\) stroke-thickness bin (10 \(\times\) 3 = 30 modes) with a Zipf frequency profile, so roughly eighteen modes are rare. The generator is a convolutional variational autoencoder (latent 32, β = 1), retrained from scratch each generation with Adam, learning rate 10⁻³, batch 256, 30 epochs, on 6,000 images drawn from the previous generation's own samples, for 15 generations, at \texttt{g ∈ {0, 0.1}}. The oracle is a frozen two-convolution classifier trained once (5 epochs) combined with a deterministic thickness measure; it reaches 98.5\% mode accuracy and its 30 \(\times\) 30 confusion matrix is recorded in the manifest as the measurement floor. Build gates: the oracle's accuracy, and generation-0 recovery of all 30 modes. + +\emph{Speciation in trained weights.} Two multilayer perceptrons (784--512--512--10, ReLU, no batch normalisation --- batch statistics would break the permutation correspondence the analysis depends on) are forked from a shared base trained for 500 steps, then trained apart for 100--3,200 further steps (up to 6.4\(\times\) the shared base) under SGD at learning rate 0.05, batch 128. Merges are weight averages; the readout is the linear-mode-connectivity error barrier before and after alignment. Alignment composes deterministic Re-Basin permutation matching with exact per-unit scale canonicalisation --- the unit symmetry group of this architecture --- and is gated by a control that must recover a permuted-and-rescaled copy exactly. Since the search space is that group rather than all possible alignments, the removable share is a lower bound and the residual an upper bound. + +\subsection*{M5. The language-model tier} + +\emph{Base models.} Qwen2.5-Instruct at 0.5B and 7B, open weights under a permissive licence, with the revision pinned. Using two sizes from one family makes scale the only variable that changes between the small and large runs; the 0.5B model carries the multi-seed protocols and the 7B model the single-run confirmations. + +\emph{Task families, and why they are procedural.} Three deliberately disjoint families --- list operations, string transformations, and small-integer arithmetic --- are generated procedurally from a seed. Procedural generation buys four things that a standard benchmark cannot: an exact-match verifier that plays the role of reality (an answer is right or it is not, with no judge model in the loop); freedom from train/test contamination, since every evaluation item is generated fresh from a disjoint seed offset; control over family disjointness, which is the precondition for specialists to be genuinely decorrelated parents; and a difficulty knob. A \texttt{hard} variant (multi-step list operations, Caesar ciphers and letter transforms, multi-step and larger arithmetic) exists because the easy families saturate a 7B base at ceiling, and saturation removes the headroom in which recombination operators can differ --- a control that proved necessary, since two null results at 7B turned out to be saturation artefacts rather than scale effects. + +\emph{Data splits.} Training, validation, routing-calibration, and test items are drawn from non-overlapping seed offsets by construction (test from 1000 + family index, routing from 2000 +, validation from 3000 +, training from the run seed). Test sets are fixed across seeds in the multi-seed protocols. Selection of merge weights uses validation only; the winners are then reported on the untouched test split. + +\emph{Specialisation.} Each parent is a LoRA adapter (rank 16, α = 32) on the frozen base, applied to all attention and MLP projection matrices, trained with a manual supervised fine-tuning loop: answer-only cross-entropy (prompt tokens masked out of the loss), AdamW at 2\(\times\)10⁻⁴, batch size 8, 3 epochs, bfloat16, 400--800 training items per family. Low-rank adaptation is the right instrument here for a structural reason rather than a computational one: it confines each parent's specialisation to an additive low-rank delta over an identical frozen base, which is what makes weight-space recombination between parents well defined. + +\emph{Recombination operators.} Fusion by uniform weight averaging (soup) and by sign-reconciled, magnitude-pruned task arithmetic (TIES); union by keeping specialists intact and selecting per input (oracle routing, and a training-free nearest-centroid router over the base model's own prompt embeddings) or per module (winner-take-all by delta norm); and directed recombination, which breeds a population of Dirichlet-weighted merges, scores each on validation, and keeps the fittest. + +\emph{Evaluation.} Greedy decoding, exact match after canonicalisation. Alongside overall accuracy I report worst-family accuracy, because the Fisher--Muller claim is about competence across all families rather than an average that a single strong specialty can carry. + +\emph{The controlled predictive test.} Thirty-nine parent pairs (13 conditions \(\times\) 3 seeds) span three axes that are decorrelated by construction: conflict (contradictory conventions on shared prompts, with private training budgets held fixed), compatible overlap (the same shared prompts under the same convention --- overlap and volume without conflict), and duration (weight divergence with no conflict, 1 to 12 epochs). Six predictors are computed before any merge: confidence-weighted functional conflict, raw disagreement, gradient alignment at the shared base, LoRA-delta cosine and L2 distance, and a cross-task performance baseline. Probes are drawn blind to where the conflict lives. The outcome is the merge penalty against oracle parent potential, pre-registered, and also reported against best-parent and mean-parent references because the predictor ordering is sensitive to that choice. + +\emph{The composed society.} A population of \texttt{N} LoRA agents on a shared frozen base evolves for \texttt{G} non-overlapping generations. Each generation every agent answers a fixed validation pool (verifier scored) and a fresh conformity pool (whose modal answer defines the population consensus); selection scores agents by \texttt{g\(\cdot\)fitness + (1−g)\(\cdot\)conformity}; parents are chosen with or without a quality-diversity term over behavioural distance; offspring are bred by screened recombination; and each child is a fresh adapter distilled from its source model's own answers, which makes the inheritance channel literally self-consuming. The verifier enters the loop only where \texttt{g > 0}, but is used for reporting in every arm. The four-arm ablation removes grounded evaluation, recombination, or diversity preservation in turn. + +\subsection*{M6. Negative controls} + +The design leans on controls that can remove a result rather than support one, and one of them did. + +The compatible-overlap axis was added to the predictive test specifically to expose overlap-and-volume artefacts, and it did: the initial two-axis grid's best predictor (LoRA-delta cosine, \(\rho\) = +0.60) collapsed to \(\rho\) = +0.03 once compatible overlap was present, identifying it as an artefact rather than a signal. The duration axis supplies divergence without conflict. The emergent-speciation condition supplies divergence with no conflicting signal anywhere, and returns a null. The budget-controlled speciation design (\texttt{conflict\_mode: add}) removes the confound between conflict fraction and private training budget. The histogram bridge is a harness control. In the biological model, \texttt{m = 0} arms and \texttt{\(\rho\) = 1} (fully correlated parents) are the null conditions against which the corresponding effects are read. + +\subsection*{M7. Statistical procedures} + +Error bars on replicate means are normal-approximation 95\% confidence intervals unless stated otherwise. For the predictive test, where rows share task-data seeds across conditions and are therefore not independent, inference uses a condition-clustered bootstrap (13 clusters, 4,000 resamples); predictors are compared by paired contrasts on the same resamples; generalisation is assessed by leave-one-condition-out prediction; and per-seed and leave-one-seed-out sensitivity are reported alongside, since three seeds cannot settle seed generalisation on their own. Outcome- reference sensitivity is reported rather than resolved. Where a difference is not significant at the sample size available, the manuscript says so rather than reporting the point estimate alone. + +\section*{SI Statistics} + +Output of \texttt{figures/stats\_llm\_epistasis.py} (clustered CIs, paired predictor contrasts, LOCO held-out prediction, outcome-reference sensitivity, within/between-axis decomposition) --- reproduced verbatim at submission. Chronology of the predictive test (prospective / adaptive / post-hoc) as disclosed in \texttt{results/llm\_epistasis/README.md}. + +\section*{SI Figures} + +One per experiment, regenerated from committed artifacts: E1--E14, bridge/collapse/grounding/ architectures/recombination, kernel (sharpen/smooth), mnist\_collapse (+ montage), speciation\_real (decomposition/cliff/emergent), llm\_merge(\_hpc/\_seeds), llm\_moe(\_hpc/\_hard\_hpc/\_hard\_seeds), llm\_directed(\_hpc/\_hard\_hpc/\_hard\_seeds), llm\_speciation(\_add), llm\_epistasis(\_compat). +