universal-physics-tensor 6.0.0 → 7.0.0

package/README.md

@@ -284,7 +284,7 @@ literature-anchored result, pre-registered before implementation and
 pinned to relErr ≤ 10⁻¹² (see [Part IX](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-IX-Composition.md)
 and `docs/planning/v0.8.0-Design.md`). A computable **membership
 criterion** (a bridge's endpoint quantities must differ in regime) now
-adjudicates the catalog — <!-- readme-status:membership -->107 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
+adjudicates the catalog — <!-- readme-status:membership -->128 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
 with rejections recorded in a reviewable negative catalog
 (`src/bridges/rejected.ts`).
 
@@ -367,13 +367,13 @@ The current machine-checked state is:
 <!-- readme-status:table -->
 | Surface | Current state |
 |---|---|
-| Bridge catalog | **115 entries (BE-11…125)**: 79 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
+| Bridge catalog | **136 entries (BE-11…146)**: 100 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
 | Empirical spine | **19 committed confrontations**, exposed through `upt confront` with rigor/caveat metadata |
-| Composition layer | **106 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
+| Composition layer | **127 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
 | Canonical reference layer | **109 canonical equations** used as the non-speculative answer-key layer for bridge recovery/linkage |
 | Architecture | Generated dependency graph reports **0 circular dependencies**. The unused-analysis report lists **0** files and **74** exports with no importer. Both reports are regenerated by `bun run docs:deps`, and the `docs-fresh` job fails when they are stale |
 | Quality gates | Build, strict source+test TypeScript checks, full Vitest suite, active-plan audit, package-content smoke test, and nightly long-horizon GL4/Shapiro accuracy tests |
-| Formal references | **10** atlas bridges derive `formally-proved` from a reviewed `lean4-physjs` reference. **16** catalog equations carry a counted reference and do not light that tag. **74** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; the catalog path passes that reference, so catalog evidence and edge evidence include `formally-proved`, except an unadjudicated row, which stays `proposed`. **3** carry a cross-check and **2** carry a property, and `be-28` is a property whose covers line begins with `derivation-step`. Nested statements are not second references. The pin and the split are [`NOTES.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/NOTES.md) |
+| Formal references | **10** atlas bridges derive `formally-proved` from a reviewed `lean4-physjs` reference. **16** catalog equations carry a counted reference and do not light that tag. **95** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; the catalog path passes that reference, so catalog evidence and edge evidence include `formally-proved`, except an unadjudicated row, which stays `proposed`. **3** carry a cross-check and **2** carry a property, and `be-28` is a property whose covers line begins with `derivation-step`. Nested statements are not second references. The pin and the split are [`NOTES.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/NOTES.md) |
 <!-- /readme-status:table -->
 
 The project is **engineering-complete for its stated goal**: it is a computational

package/dist/atlas/physjs-entries.generated.d.ts

@@ -4,7 +4,7 @@
  * and a hand-edited theorem fails `atlas:formal-gate`.
  */
 /** PhysJS commit recorded by the vendored manifest. */
-export declare const PHYSJS_COMMIT = "d519c2c6504e7fbbd2cf6932f9e52981ce595a0f";
+export declare const PHYSJS_COMMIT = "10cf71e9f1f460780f8620de7ba422df61e0949b";
 /** Lean toolchain recorded by the vendored manifest. */
 export declare const PHYSJS_TOOLCHAIN = "leanprover/lean4:v4.34.1";
 /** Mathlib version recorded by the vendored manifest. */
@@ -1043,5 +1043,180 @@ export declare const PHYSJS_ENTRIES: readonly [{
     readonly coverage: "covers its statement only";
     readonly leanProof: "complete";
     readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-126";
+    readonly bridgeId: "be-126";
+    readonly theorem: "PhysJS.CombDrive.force_eq";
+    readonly covers: "derivation-step: both sidewalls give C = 2 n ε h x / g. Voltage-controlled coenergy (1/2) C V² has lateral force (1/2) V² dC/dx, so the sidewall 2 and the coenergy 1/2 cancel and F = n ε h V² / g. One sidewall leaves the 1/2. Not the normal pull-in of be-79";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-127";
+    readonly bridgeId: "be-127";
+    readonly theorem: "PhysJS.SubthresholdSwing.swing_eq";
+    readonly covers: "derivation-step: ln(I2/I1) = e (ψ2 − ψ1)/(k_B T) and the capacitive divider ψ2 − ψ1 = C_ox/(C_ox + C_d) (Vg2 − Vg1). One decade, I2/I1 = 10, gives S = ln(10) (k_B T/e) (1 + C_d/C_ox). Dropping C_d is not the swing when C_d ≠ 0. Not the ideal diode of be-82";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-128";
+    readonly bridgeId: "be-128";
+    readonly theorem: "PhysJS.BoostConverter.boost_ratio";
+    readonly covers: "derivation-step: ideal continuous-conduction volt-second balance Vin D + (Vin − Vout)(1 − D) = 0 gives Vout/Vin = 1/(1 − D) for D ≠ 1. No real duty equals both this ratio and the buck ratio D";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-129";
+    readonly bridgeId: "be-129";
+    readonly theorem: "PhysJS.FinEfficiency.efficiency_eq";
+    readonly covers: "derivation-step: θ'' = m² θ, an adiabatic tip θ'(L) = 0, and θ(0) = θ_b give θ(x) = θ_b cosh(m(L − x))/cosh(m L). Base Fourier heat over h P L θ_b is η = tanh(m L)/(m L) when m² = h P/(k A). A rectangle with P/A = 2/t gives m = √(2 h/(k t)). One face is not that m. tanh is not 1, so this is not an infinite fin";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-130";
+    readonly bridgeId: "be-130";
+    readonly theorem: "PhysJS.ThermoelectricGenerator.efficiency_eq";
+    readonly covers: "derivation-step: hot-junction heat is Q = S Th I − I² R/2 − K ΔT with ΔT = Tc − Th, and load power is P = I (S (Th − Tc) − I R). The Joule 1/2 and the 2 in P' are derivatives. Stationarity P' Q = P Q' at I = S Δ/(R (1 + m)), with m = √(1 + Z Tm), Z = S²/(R K), Δ = Th − Tc, and Tm = (Th + Tc)/2, gives η = (1 − Tc/Th) (m − 1)/(m + Tc/Th). Matched load m = 1 is not stationary when Z Tm ≠ 0. The Carnot factor alone is not this efficiency";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-131";
+    readonly bridgeId: "be-131";
+    readonly theorem: "PhysJS.Joukowsky.joukowsky_eq";
+    readonly covers: "derivation-step: the momentum jump −c Δv + Δp/ρ = 0 is Δp = ρ c Δv. Fluid compressibility dρ/ρ = dp/K and thin-wall hoop strain dA/A = dp D/(E e_wall) give c = √(K/ρ) / √(1 + (K/E)(D/e_wall)). Mass on the same front is the separate statement c² = Δp/Δρ and is not required for the pressure jump. ρ (Δv)² is not ρ c Δv when c ≠ Δv. Dropping the wall term is the rigid-pipe speed";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-132";
+    readonly bridgeId: "be-132";
+    readonly theorem: "PhysJS.CoaxialCapacitance.capacitance_per_length";
+    readonly covers: "derivation-step: the coaxial field λ/(2 π ε r) integrates to ΔV = (λ/(2 π ε)) ln(b/a), so C' = λ/ΔV = 2 π ε / ln(b/a). Dropping 2 π is not this capacitance. Not a parallel-plate ε A/d";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-133";
+    readonly bridgeId: "be-133";
+    readonly theorem: "PhysJS.DampingRatio.damping_ratio";
+    readonly covers: "derivation-step: m ẍ + c ẋ + k x = 0 has ω = √(k/m) and linear coefficient c/m = 2 ζ ω, so ζ = c / (2 √(k m)). For c ≥ 0 the discriminant (c/m)² − 4 (k/m) vanishes iff ζ = 1. Dropping the 2 is not this ratio. √(k/m) is not ζ";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-134";
+    readonly bridgeId: "be-134";
+    readonly theorem: "PhysJS.BlochLaw.bloch_law";
+    readonly covers: "derivation-step: the Bose integral I = ζ(3/2) √π/4 is a hypothesis, the same kind as π⁴/15 in be-90. The quadratic measure 1/(2 π²) (k_B T/D)^{3/2} times that integral is ζ(3/2) (k_B T/(4 π D))^{3/2}. One Bohr magneton per magnon gives ΔM = μ_B ζ(3/2) (k_B T/(4 π D))^{3/2}. g μ_B at g = 2 is not that moment. D = 2 J S a² and M(0) = μ_B S/a³ are the nested heisenberg_fraction object and put an extra 1/S. ζ(3/2) is not evaluated";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+    readonly heisenberg_fraction: {
+        readonly theorem: "PhysJS.BlochLaw.heisenberg_fraction";
+        readonly covers: "derivation-step: D = 2 J S a² and M(0) = μ_B S/a³ turn the Bloch deficit into ΔM/M(0) = (1/S) ζ(3/2) (k_B T/(8 π J S))^{3/2}";
+        readonly coverage: "covers its statement only";
+        readonly leanProof: "complete";
+        readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+    };
+}, {
+    readonly key: "be-135";
+    readonly bridgeId: "be-135";
+    readonly theorem: "PhysJS.DensityOfStates3D.dos_3d";
+    readonly covers: "derivation-step: two spins, k³ = 3 π² n, and E = ℏ² k²/(2 m) give n = (1/(3 π²)) (2 m E/ℏ²)^{3/2}. Differentiating E^{3/2} gives g(E) = (1/(2 π²)) (2 m/ℏ²)^{3/2} √E and g = (3/2) n/E. One spin replaces 1/(2 π²) by 1/(4 π²)";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-136";
+    readonly bridgeId: "be-136";
+    readonly theorem: "PhysJS.DensityOfStates2D.dos_2d";
+    readonly covers: "derivation-step: two spins in the disk, n = k²/(2 π), and E = ℏ² k²/(2 m) give n = m E/(π ℏ²). The derivative is g(E) = m/(π ℏ²), independent of E. A valley factor other than 1 is not this density";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-137";
+    readonly bridgeId: "be-137";
+    readonly theorem: "PhysJS.ThomasFermi.thomas_fermi";
+    readonly covers: "derivation-step: φ = φ0 exp(−k x) has second derivative k² φ. δn = g(E_F) e φ and Poisson φ'' = e δn/ε0 give k_TF² = e² g(E_F)/ε0. g(E_F) = (3/2) n/E_F is PhysJS.FermiSea.dos_factor, not a proof of the be-135 prefactor, so k_TF² = (e²/ε0) (3 n)/(2 E_F). A flat density leaves the factor 1. Not the classical Debye length";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-138";
+    readonly bridgeId: "be-138";
+    readonly theorem: "PhysJS.BuiltinVoltage.builtin_voltage";
+    readonly covers: "derivation-step: complete ionization and Boltzmann tails N_D = n_i exp(e (φ_n − φ_i)/(k_B T)) and N_A = n_i exp(−e (φ_p − φ_i)/(k_B T)) give V_bi = (k_B T/e) ln(N_A N_D/n_i²). The product n_p N_A = n_i² is the be-99 conclusion as an input, not a second proof, and rewrites the same logarithm as ln(N_D/n_p). Not the ideal diode of be-82";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-139";
+    readonly bridgeId: "be-139";
+    readonly theorem: "PhysJS.SemiconductorFermi.fermi_level";
+    readonly covers: "derivation-step: n = p on Boltzmann tails and N_c/N_v = (m_e*/m_h*)^{3/2} give E_F − (E_c + E_v)/2 = (3/4) k_B T ln(m_h*/m_e*). The 3/4 is half of 3/2. Complete ionization N_D = N_c exp(−(E_c − E_F)/(k_B T)) gives E_c − E_F = k_B T ln(N_c/N_D). Dropping the 3/2 leaves 1/2. Not a Fermi–Dirac integral";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-140";
+    readonly bridgeId: "be-140";
+    readonly theorem: "PhysJS.OnsagerFrequency.onsager_frequency";
+    readonly covers: "derivation-step: A = (2 π e B/ℏ) (n + γ) at n and at n + 1. The step is 1, so γ cancels and F = ℏ A/(2 π e), with Δ(1/B) = 1/F. Dropping γ on one orbit is not a step of 1";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-141";
+    readonly bridgeId: "be-141";
+    readonly theorem: "PhysJS.JosephsonInductance.inductance_eq";
+    readonly covers: "derivation-step: I = I_c sin φ and V = (ℏ/(2 e)) dφ/dt. At φ = 0, cos φ = 1, so V = L dI/dt gives L_J = ℏ/(2 e I_c). Φ₀ = h/(2 e) and h = 2 π ℏ give L_J = Φ₀/(2 π I_c). A phase with cos φ ≠ 1 is not this inductance. Not the frequency of be-59";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-142";
+    readonly bridgeId: "be-142";
+    readonly theorem: "PhysJS.LowerCritical.lower_critical";
+    readonly covers: "derivation-step: the core cutoff is the hypothesis that j(r) = Φ₀/(2 π μ0 λ² r) on ξ ≤ r ≤ λ. The London kinetic energy integrates to (Φ₀²/(4 π μ0 λ²)) ln(λ/ξ). B_c1 = μ0 ε/Φ₀ gives B_c1 = (Φ₀/(4 π λ²)) ln(λ/ξ), with Φ₀ = h/(2 e). An additive constant under the logarithm changes the field and not the prefactor. Not be-96";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-143";
+    readonly bridgeId: "be-143";
+    readonly theorem: "PhysJS.AcDrude.ac_drude";
+    readonly covers: "derivation-step: the antiderivative of exp(−a s) cos(b s) is proved, and the improper integral is a/(a² + b²). At a = 1/τ and b = ω, (σ₀/τ) times that integral is σ₀/(1 + ω² τ²). σ₀ = n e² τ/m is an input. Dropping the DC 1 is not this conductivity. Not be-123";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-144";
+    readonly bridgeId: "be-144";
+    readonly theorem: "PhysJS.Matthiessen.matthiessen";
+    readonly covers: "derivation-step: independent Poisson processes have exp(−t/τ) = exp(−t/τ₁) exp(−t/τ₂), so 1/τ = 1/τ₁ + 1/τ₂. One Drude factor ρ_i = C/τ_i makes ρ = ρ₁ + ρ₂. One lifetime is not the parallel sum. Not a collision integral";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-145";
+    readonly bridgeId: "be-145";
+    readonly theorem: "PhysJS.Stoner.stoner";
+    readonly covers: "derivation-step: χ = χ_P ∑_n (I g(E_F))^n. For |I g(E_F)| < 1 the geometric series is 1/(1 − I g(E_F)), so χ = χ_P/(1 − I g(E_F)). The pole 1 − I g(E_F) = 0 is the same formula as I g(E_F) = 1. χ_P is be-94 and is not re-proved. The first two bubbles are not the closed form";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
+}, {
+    readonly key: "be-146";
+    readonly bridgeId: "be-146";
+    readonly theorem: "PhysJS.GorterCasimir.gorter_casimir";
+    readonly covers: "derivation-step: the exponent p = 4 is a hypothesis. n_s/n = 1 − (T/T_c)^p and the London depths of be-75, not re-proved, give λ(T) = λ(0)/√(1 − (T/T_c)^4). The exponent 2 is not 4 when the reduced temperature is neither 0 nor 1. Not a BCS gap and not a second proof of be-75";
+    readonly coverage: "covers its statement only";
+    readonly leanProof: "complete";
+    readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
 }];
 //# sourceMappingURL=physjs-entries.generated.d.ts.map

package/dist/atlas/physjs-entries.generated.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-entries.generated.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-entries.generated.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,uDAAuD;AACvD,eAAO,MAAM,aAAa,6CAA6C,CAAC;AAExE,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,6BAA6B,CAAC;AAE3D,yDAAyD;AACzD,eAAO,MAAM,cAAc,YAAY,CAAC;AAExC,wDAAwD;AACxD,eAAO,MAAM,eAAe,6CAA6C,CAAC;AAE1E,sEAAsE;AACtE,eAAO,MAAM,cAAc;aAEvB,GAAG,EAAE,mBAAmB;aACxB,QAAQ,EAAE,mBAAmB;aAC7B,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,+CAA+C;iBACxD,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,sBAAsB;aAC3B,QAAQ,EAAE,sBAAsB;aAChC,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,iDAAiD;iBAC1D,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,iBAAiB;aACtB,QAAQ,EAAE,iBAAiB;aAC3B,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,6CAA6C;iBACtD,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,wBAAwB;aAC7B,QAAQ,EAAE,wBAAwB;aAClC,OAAO,EAAE,8CAA8C;aACvD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,oDAAoD;iBAC7D,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,mBAAmB;aACxB,QAAQ,EAAE,mBAAmB;aAC7B,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,+CAA+C;iBACxD,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,oBAAoB;aACzB,QAAQ,EAAE,oBAAoB;aAC9B,OAAO,EAAE,gDAAgD;aACzD,MAAM,EAAE,qCAAqC;aAC7C,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,OAAO,EAAE,kEAAkE;;aAG3E,GAAG,EAAE,kBAAkB;aACvB,QAAQ,EAAE,kBAAkB;aAC5B,OAAO,EAAE,qDAAqD;aAC9D,MAAM,EAAE,yCAAyC;aACjD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,cAAc;aACnB,QAAQ,EAAE,cAAc;aACxB,OAAO,EAAE,+CAA+C;aACxD,MAAM,EAAE,2BAA2B;aACnC,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,eAAe;aACpB,QAAQ,EAAE,eAAe;aACzB,OAAO,EAAE,gDAAgD;aACzD,MAAM,EAAE,2BAA2B;aACnC,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,mBAAmB;aACxB,QAAQ,EAAE,mBAAmB;aAC7B,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,+CAA+C;aACvD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,qFAAqF;aAC7F,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,uFAAuF;aAC/F,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,OAAO;iBACL,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,0HAA0H;iBAClI,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,kIAAkI;aAC1I,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,wIAAwI;aAChJ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,0BAA0B;iBACnC,MAAM,EAAE,yGAAyG;iBACjH,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,8HAA8H;aACtI,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,MAAM;iBACJ,OAAO,EAAE,gCAAgC;iBACzC,MAAM,EAAE,uLAAuL;iBAC/L,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,SAAS;iBACP,OAAO,EAAE,qCAAqC;iBAC9C,MAAM,EAAE,8WAA8W;iBACtX,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,qOAAqO;aAC7O,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,kJAAkJ;aAC1J,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,wBAAwB;aACjC,MAAM,EAAE,+KAA+K;aACvL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,8NAA8N;aACtO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,4BAA4B;aACrC,MAAM,EAAE,qUAAqU;aAC7U,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,2MAA2M;aACnN,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,2NAA2N;aACnO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sBAAsB;aAC/B,MAAM,EAAE,6MAA6M;aACrN,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,sKAAsK;aAC9K,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,qNAAqN;aAC7N,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,0PAA0P;aAClQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,sMAAsM;aAC9M,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,gPAAgP;aACxP,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,uSAAuS;aAC/S,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uBAAuB;aAChC,MAAM,EAAE,oLAAoL;aAC5L,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,4BAA4B;aACrC,MAAM,EAAE,wNAAwN;aAChO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,4BAA4B;aACrC,MAAM,EAAE,mLAAmL;aAC3L,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,iSAAiS;aACzS,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,sLAAsL;aAC9L,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,8KAA8K;iBACtL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,0QAA0Q;aAClR,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,eAAe;iBACb,OAAO,EAAE,wCAAwC;iBACjD,MAAM,EAAE,gSAAgS;iBACxS,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,mBAAmB;iBACjB,OAAO,EAAE,6CAA6C;iBACtD,MAAM,EAAE,+GAA+G;iBACvH,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,eAAe;iBACb,OAAO,EAAE,qDAAqD;iBAC9D,MAAM,EAAE,kMAAkM;iBAC1M,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,0PAA0P;aAClQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,wBAAwB;aACjC,MAAM,EAAE,iUAAiU;aACzU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,iSAAiS;aACzS,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,cAAc;iBACZ,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,uRAAuR;iBAC/R,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,wCAAwC;aACjD,MAAM,EAAE,4KAA4K;aACpL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,YAAY;iBACV,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,wLAAwL;iBAChM,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,UAAU;iBACR,OAAO,EAAE,gDAAgD;iBACzD,MAAM,EAAE,wKAAwK;iBAChL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sCAAsC;aAC/C,MAAM,EAAE,gOAAgO;aACxO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,0XAA0X;aAClY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,2WAA2W;aACnX,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,yZAAyZ;aACja,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,6aAA6a;aACrb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,8gBAA8gB;aACthB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,ybAAyb;aACjc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sCAAsC;aAC/C,MAAM,EAAE,4bAA4b;aACpc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,0lBAA0lB;aAClmB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6CAA6C;aACtD,MAAM,EAAE,qkBAAqkB;aAC7kB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,oyBAAoyB;aAC5yB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,oBAAoB;iBAClB,OAAO,EAAE,qDAAqD;iBAC9D,MAAM,EAAE,6MAA6M;iBACrN,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sCAAsC;aAC/C,MAAM,EAAE,8fAA8f;aACtgB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,gcAAgc;aACxc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8CAA8C;aACvD,MAAM,EAAE,0iBAA0iB;aACljB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,WAAW;iBACT,OAAO,EAAE,gDAAgD;iBACzD,MAAM,EAAE,0KAA0K;iBAClL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,+dAA+d;aACve,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,ulBAAulB;aAC/lB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,2kBAA2kB;aACnlB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,gdAAgd;aACxd,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,icAAic;aACzc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,iZAAiZ;aACzZ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,+eAA+e;aACvf,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,0WAA0W;aAClX,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,sbAAsb;aAC9b,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,0aAA0a;aAClb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,iUAAiU;aACzU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,6aAA6a;aACrb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,geAAge;aACxe,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,gWAAgW;aACxW,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,oaAAoa;aAC5a,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,kYAAkY;aAC1Y,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,mRAAmR;aAC3R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,ycAAyc;aACjd,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,2XAA2X;aACnY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,mWAAmW;aAC3W,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,qaAAqa;aAC7a,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,oQAAoQ;aAC5Q,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,+hBAA+hB;aACviB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,4VAA4V;aACpW,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+CAA+C;aACxD,MAAM,EAAE,gZAAgZ;aACxZ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,qdAAqd;aAC7d,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,oVAAoV;aAC5V,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,kRAAkR;aAC1R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,yBAAyB;aAClC,MAAM,EAAE,gZAAgZ;aACxZ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,yWAAyW;aACjX,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,yTAAyT;aACjU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,iCAAiC;iBAC1C,MAAM,EAAE,uIAAuI;iBAC/I,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,0QAA0Q;aAClR,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,2OAA2O;aACnP,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,mRAAmR;aAC3R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,OAAO;iBACL,OAAO,EAAE,kCAAkC;iBAC3C,MAAM,EAAE,8JAA8J;iBACtK,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,aAAa;iBACX,OAAO,EAAE,wCAAwC;iBACjD,MAAM,EAAE,yKAAyK;iBACjL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,2SAA2S;aACnT,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,uXAAuX;aAC/X,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,ibAAib;aACzb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,gBAAgB;iBACd,OAAO,EAAE,+CAA+C;iBACxD,MAAM,EAAE,kLAAkL;iBAC1L,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,8NAA8N;aACtO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,+TAA+T;aACvU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,8LAA8L;aACtM,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,uVAAuV;aAC/V,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,0CAA0C;iBACnD,MAAM,EAAE,sIAAsI;iBAC9I,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,6QAA6Q;aACrR,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,iOAAiO;aACzO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,0CAA0C;aACnD,MAAM,EAAE,gbAAgb;aACxb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,oBAAoB;iBAClB,OAAO,EAAE,iDAAiD;iBAC1D,MAAM,EAAE,kMAAkM;iBAC1M,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,2PAA2P;aACnQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,gFAAgF;iBACxF,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,6RAA6R;aACrS,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,gLAAgL;aACxL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,yPAAyP;aACjQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,iTAAiT;aACzT,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,oNAAoN;aAC5N,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,QAAQ;iBACN,OAAO,EAAE,gCAAgC;iBACzC,MAAM,EAAE,wIAAwI;iBAChJ,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,4CAA4C;aACrD,MAAM,EAAE,gYAAgY;aACxY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,kTAAkT;aAC1T,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,6TAA6T;aACrU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;EAE9C,CAAC"}
+{"version":3,"file":"physjs-entries.generated.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-entries.generated.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,uDAAuD;AACvD,eAAO,MAAM,aAAa,6CAA6C,CAAC;AAExE,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,6BAA6B,CAAC;AAE3D,yDAAyD;AACzD,eAAO,MAAM,cAAc,YAAY,CAAC;AAExC,wDAAwD;AACxD,eAAO,MAAM,eAAe,6CAA6C,CAAC;AAE1E,sEAAsE;AACtE,eAAO,MAAM,cAAc;aAEvB,GAAG,EAAE,mBAAmB;aACxB,QAAQ,EAAE,mBAAmB;aAC7B,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,+CAA+C;iBACxD,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,sBAAsB;aAC3B,QAAQ,EAAE,sBAAsB;aAChC,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,iDAAiD;iBAC1D,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,iBAAiB;aACtB,QAAQ,EAAE,iBAAiB;aAC3B,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,6CAA6C;iBACtD,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,wBAAwB;aAC7B,QAAQ,EAAE,wBAAwB;aAClC,OAAO,EAAE,8CAA8C;aACvD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,oDAAoD;iBAC7D,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,mBAAmB;aACxB,QAAQ,EAAE,mBAAmB;aAC7B,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,iDAAiD;aACzD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,+CAA+C;iBACxD,MAAM,EAAE,oEAAoE;iBAC5E,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,oBAAoB;aACzB,QAAQ,EAAE,oBAAoB;aAC9B,OAAO,EAAE,gDAAgD;aACzD,MAAM,EAAE,qCAAqC;aAC7C,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,OAAO,EAAE,kEAAkE;;aAG3E,GAAG,EAAE,kBAAkB;aACvB,QAAQ,EAAE,kBAAkB;aAC5B,OAAO,EAAE,qDAAqD;aAC9D,MAAM,EAAE,yCAAyC;aACjD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,cAAc;aACnB,QAAQ,EAAE,cAAc;aACxB,OAAO,EAAE,+CAA+C;aACxD,MAAM,EAAE,2BAA2B;aACnC,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,eAAe;aACpB,QAAQ,EAAE,eAAe;aACzB,OAAO,EAAE,gDAAgD;aACzD,MAAM,EAAE,2BAA2B;aACnC,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,mBAAmB;aACxB,QAAQ,EAAE,mBAAmB;aAC7B,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,+CAA+C;aACvD,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,qFAAqF;aAC7F,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,uFAAuF;aAC/F,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,OAAO;iBACL,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,0HAA0H;iBAClI,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,kIAAkI;aAC1I,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,wIAAwI;aAChJ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,0BAA0B;iBACnC,MAAM,EAAE,yGAAyG;iBACjH,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,8HAA8H;aACtI,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,MAAM;iBACJ,OAAO,EAAE,gCAAgC;iBACzC,MAAM,EAAE,uLAAuL;iBAC/L,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,SAAS;iBACP,OAAO,EAAE,qCAAqC;iBAC9C,MAAM,EAAE,8WAA8W;iBACtX,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,qOAAqO;aAC7O,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,kJAAkJ;aAC1J,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,wBAAwB;aACjC,MAAM,EAAE,+KAA+K;aACvL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,8NAA8N;aACtO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,4BAA4B;aACrC,MAAM,EAAE,qUAAqU;aAC7U,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,2MAA2M;aACnN,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,2NAA2N;aACnO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sBAAsB;aAC/B,MAAM,EAAE,6MAA6M;aACrN,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,sKAAsK;aAC9K,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,qNAAqN;aAC7N,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,0PAA0P;aAClQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,sMAAsM;aAC9M,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,gPAAgP;aACxP,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,uSAAuS;aAC/S,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uBAAuB;aAChC,MAAM,EAAE,oLAAoL;aAC5L,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,4BAA4B;aACrC,MAAM,EAAE,wNAAwN;aAChO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,4BAA4B;aACrC,MAAM,EAAE,mLAAmL;aAC3L,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,iSAAiS;aACzS,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,sLAAsL;aAC9L,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,8KAA8K;iBACtL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,0QAA0Q;aAClR,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,eAAe;iBACb,OAAO,EAAE,wCAAwC;iBACjD,MAAM,EAAE,gSAAgS;iBACxS,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,mBAAmB;iBACjB,OAAO,EAAE,6CAA6C;iBACtD,MAAM,EAAE,+GAA+G;iBACvH,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,eAAe;iBACb,OAAO,EAAE,qDAAqD;iBAC9D,MAAM,EAAE,kMAAkM;iBAC1M,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,0PAA0P;aAClQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,wBAAwB;aACjC,MAAM,EAAE,iUAAiU;aACzU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,iSAAiS;aACzS,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,cAAc;iBACZ,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,uRAAuR;iBAC/R,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,wCAAwC;aACjD,MAAM,EAAE,4KAA4K;aACpL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,YAAY;iBACV,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,wLAAwL;iBAChM,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,UAAU;iBACR,OAAO,EAAE,gDAAgD;iBACzD,MAAM,EAAE,wKAAwK;iBAChL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sCAAsC;aAC/C,MAAM,EAAE,gOAAgO;aACxO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,0XAA0X;aAClY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,2WAA2W;aACnX,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,yZAAyZ;aACja,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,6aAA6a;aACrb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,8gBAA8gB;aACthB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,ybAAyb;aACjc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sCAAsC;aAC/C,MAAM,EAAE,4bAA4b;aACpc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,0lBAA0lB;aAClmB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6CAA6C;aACtD,MAAM,EAAE,qkBAAqkB;aAC7kB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,oyBAAoyB;aAC5yB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,oBAAoB;iBAClB,OAAO,EAAE,qDAAqD;iBAC9D,MAAM,EAAE,6MAA6M;iBACrN,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,sCAAsC;aAC/C,MAAM,EAAE,8fAA8f;aACtgB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,gcAAgc;aACxc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8CAA8C;aACvD,MAAM,EAAE,0iBAA0iB;aACljB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,WAAW;iBACT,OAAO,EAAE,gDAAgD;iBACzD,MAAM,EAAE,0KAA0K;iBAClL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,+dAA+d;aACve,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,ulBAAulB;aAC/lB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,2kBAA2kB;aACnlB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,gdAAgd;aACxd,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,icAAic;aACzc,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,iZAAiZ;aACzZ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,+eAA+e;aACvf,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,0WAA0W;aAClX,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,sbAAsb;aAC9b,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,0aAA0a;aAClb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,iUAAiU;aACzU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,6aAA6a;aACrb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,geAAge;aACxe,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,gWAAgW;aACxW,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,oaAAoa;aAC5a,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,kYAAkY;aAC1Y,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,mRAAmR;aAC3R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,ycAAyc;aACjd,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,2XAA2X;aACnY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,mWAAmW;aAC3W,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,qaAAqa;aAC7a,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,oQAAoQ;aAC5Q,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,+hBAA+hB;aACviB,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,4VAA4V;aACpW,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+CAA+C;aACxD,MAAM,EAAE,gZAAgZ;aACxZ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,qdAAqd;aAC7d,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,OAAO;aACZ,QAAQ,EAAE,OAAO;aACjB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,oVAAoV;aAC5V,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,kRAAkR;aAC1R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,yBAAyB;aAClC,MAAM,EAAE,gZAAgZ;aACxZ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,yWAAyW;aACjX,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,yTAAyT;aACjU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,iCAAiC;iBAC1C,MAAM,EAAE,uIAAuI;iBAC/I,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,0QAA0Q;aAClR,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,2OAA2O;aACnP,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,mRAAmR;aAC3R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,OAAO;iBACL,OAAO,EAAE,kCAAkC;iBAC3C,MAAM,EAAE,8JAA8J;iBACtK,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAEtD,aAAa;iBACX,OAAO,EAAE,wCAAwC;iBACjD,MAAM,EAAE,yKAAyK;iBACjL,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,2SAA2S;aACnT,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,uXAAuX;aAC/X,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,ibAAib;aACzb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,gBAAgB;iBACd,OAAO,EAAE,+CAA+C;iBACxD,MAAM,EAAE,kLAAkL;iBAC1L,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,8BAA8B;aACvC,MAAM,EAAE,8NAA8N;aACtO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,+TAA+T;aACvU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,0BAA0B;aACnC,MAAM,EAAE,8LAA8L;aACtM,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,uVAAuV;aAC/V,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,0CAA0C;iBACnD,MAAM,EAAE,sIAAsI;iBAC9I,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,6QAA6Q;aACrR,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,6BAA6B;aACtC,MAAM,EAAE,iOAAiO;aACzO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,0CAA0C;aACnD,MAAM,EAAE,gbAAgb;aACxb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,oBAAoB;iBAClB,OAAO,EAAE,iDAAiD;iBAC1D,MAAM,EAAE,kMAAkM;iBAC1M,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,2PAA2P;aACnQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,SAAS;iBACP,OAAO,EAAE,sCAAsC;iBAC/C,MAAM,EAAE,gFAAgF;iBACxF,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,6RAA6R;aACrS,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kCAAkC;aAC3C,MAAM,EAAE,gLAAgL;aACxL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,yPAAyP;aACjQ,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,iTAAiT;aACzT,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,yCAAyC;aAClD,MAAM,EAAE,oNAAoN;aAC5N,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,QAAQ;iBACN,OAAO,EAAE,gCAAgC;iBACzC,MAAM,EAAE,wIAAwI;iBAChJ,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,4CAA4C;aACrD,MAAM,EAAE,gYAAgY;aACxY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,kTAAkT;aAC1T,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,6TAA6T;aACrU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,mQAAmQ;aAC3Q,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,kQAAkQ;aAC1Q,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,iMAAiM;aACzM,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,oCAAoC;aAC7C,MAAM,EAAE,yTAAyT;aACjU,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,8CAA8C;aACvD,MAAM,EAAE,ubAAub;aAC/b,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,2XAA2X;aACnY,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,kDAAkD;aAC3D,MAAM,EAAE,yLAAyL;aACjM,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,mCAAmC;aAC5C,MAAM,EAAE,oOAAoO;aAC5O,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2BAA2B;aACpC,MAAM,EAAE,gbAAgb;aACxb,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;aACpD,mBAAmB;iBACjB,OAAO,EAAE,qCAAqC;iBAC9C,MAAM,EAAE,8HAA8H;iBACtI,QAAQ,EAAE,2BAA2B;iBACrC,SAAS,EAAE,UAAU;iBACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;;aAItD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,gOAAgO;aACxO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,sMAAsM;aAC9M,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,iCAAiC;aAC1C,MAAM,EAAE,kUAAkU;aAC1U,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,kVAAkV;aAC1V,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,uCAAuC;aAChD,MAAM,EAAE,8SAA8S;aACtT,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,2CAA2C;aACpD,MAAM,EAAE,4KAA4K;aACpL,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,0CAA0C;aACnD,MAAM,EAAE,oPAAoP;aAC5P,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,oUAAoU;aAC5U,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,yBAAyB;aAClC,MAAM,EAAE,sQAAsQ;aAC9Q,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,gCAAgC;aACzC,MAAM,EAAE,6NAA6N;aACrO,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,sBAAsB;aAC/B,MAAM,EAAE,oRAAoR;aAC5R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,qCAAqC;aAC9C,MAAM,EAAE,qRAAqR;aAC7R,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;EAE9C,CAAC"}

package/dist/atlas/physjs-entries.generated.js

@@ -4,7 +4,7 @@
  * and a hand-edited theorem fails `atlas:formal-gate`.
  */
 /** PhysJS commit recorded by the vendored manifest. */
-export const PHYSJS_COMMIT = "d519c2c6504e7fbbd2cf6932f9e52981ce595a0f";
+export const PHYSJS_COMMIT = "10cf71e9f1f460780f8620de7ba422df61e0949b";
 /** Lean toolchain recorded by the vendored manifest. */
 export const PHYSJS_TOOLCHAIN = "leanprover/lean4:v4.34.1";
 /** Mathlib version recorded by the vendored manifest. */
@@ -1150,5 +1150,201 @@ export const PHYSJS_ENTRIES = [
         leanProof: "complete",
         axioms: ["propext", "Classical.choice", "Quot.sound"],
     },
+    {
+        key: "be-126",
+        bridgeId: "be-126",
+        theorem: "PhysJS.CombDrive.force_eq",
+        covers: "derivation-step: both sidewalls give C = 2 n ε h x / g. Voltage-controlled coenergy (1/2) C V² has lateral force (1/2) V² dC/dx, so the sidewall 2 and the coenergy 1/2 cancel and F = n ε h V² / g. One sidewall leaves the 1/2. Not the normal pull-in of be-79",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-127",
+        bridgeId: "be-127",
+        theorem: "PhysJS.SubthresholdSwing.swing_eq",
+        covers: "derivation-step: ln(I2/I1) = e (ψ2 − ψ1)/(k_B T) and the capacitive divider ψ2 − ψ1 = C_ox/(C_ox + C_d) (Vg2 − Vg1). One decade, I2/I1 = 10, gives S = ln(10) (k_B T/e) (1 + C_d/C_ox). Dropping C_d is not the swing when C_d ≠ 0. Not the ideal diode of be-82",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-128",
+        bridgeId: "be-128",
+        theorem: "PhysJS.BoostConverter.boost_ratio",
+        covers: "derivation-step: ideal continuous-conduction volt-second balance Vin D + (Vin − Vout)(1 − D) = 0 gives Vout/Vin = 1/(1 − D) for D ≠ 1. No real duty equals both this ratio and the buck ratio D",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-129",
+        bridgeId: "be-129",
+        theorem: "PhysJS.FinEfficiency.efficiency_eq",
+        covers: "derivation-step: θ'' = m² θ, an adiabatic tip θ'(L) = 0, and θ(0) = θ_b give θ(x) = θ_b cosh(m(L − x))/cosh(m L). Base Fourier heat over h P L θ_b is η = tanh(m L)/(m L) when m² = h P/(k A). A rectangle with P/A = 2/t gives m = √(2 h/(k t)). One face is not that m. tanh is not 1, so this is not an infinite fin",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-130",
+        bridgeId: "be-130",
+        theorem: "PhysJS.ThermoelectricGenerator.efficiency_eq",
+        covers: "derivation-step: hot-junction heat is Q = S Th I − I² R/2 − K ΔT with ΔT = Tc − Th, and load power is P = I (S (Th − Tc) − I R). The Joule 1/2 and the 2 in P' are derivatives. Stationarity P' Q = P Q' at I = S Δ/(R (1 + m)), with m = √(1 + Z Tm), Z = S²/(R K), Δ = Th − Tc, and Tm = (Th + Tc)/2, gives η = (1 − Tc/Th) (m − 1)/(m + Tc/Th). Matched load m = 1 is not stationary when Z Tm ≠ 0. The Carnot factor alone is not this efficiency",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-131",
+        bridgeId: "be-131",
+        theorem: "PhysJS.Joukowsky.joukowsky_eq",
+        covers: "derivation-step: the momentum jump −c Δv + Δp/ρ = 0 is Δp = ρ c Δv. Fluid compressibility dρ/ρ = dp/K and thin-wall hoop strain dA/A = dp D/(E e_wall) give c = √(K/ρ) / √(1 + (K/E)(D/e_wall)). Mass on the same front is the separate statement c² = Δp/Δρ and is not required for the pressure jump. ρ (Δv)² is not ρ c Δv when c ≠ Δv. Dropping the wall term is the rigid-pipe speed",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-132",
+        bridgeId: "be-132",
+        theorem: "PhysJS.CoaxialCapacitance.capacitance_per_length",
+        covers: "derivation-step: the coaxial field λ/(2 π ε r) integrates to ΔV = (λ/(2 π ε)) ln(b/a), so C' = λ/ΔV = 2 π ε / ln(b/a). Dropping 2 π is not this capacitance. Not a parallel-plate ε A/d",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-133",
+        bridgeId: "be-133",
+        theorem: "PhysJS.DampingRatio.damping_ratio",
+        covers: "derivation-step: m ẍ + c ẋ + k x = 0 has ω = √(k/m) and linear coefficient c/m = 2 ζ ω, so ζ = c / (2 √(k m)). For c ≥ 0 the discriminant (c/m)² − 4 (k/m) vanishes iff ζ = 1. Dropping the 2 is not this ratio. √(k/m) is not ζ",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-134",
+        bridgeId: "be-134",
+        theorem: "PhysJS.BlochLaw.bloch_law",
+        covers: "derivation-step: the Bose integral I = ζ(3/2) √π/4 is a hypothesis, the same kind as π⁴/15 in be-90. The quadratic measure 1/(2 π²) (k_B T/D)^{3/2} times that integral is ζ(3/2) (k_B T/(4 π D))^{3/2}. One Bohr magneton per magnon gives ΔM = μ_B ζ(3/2) (k_B T/(4 π D))^{3/2}. g μ_B at g = 2 is not that moment. D = 2 J S a² and M(0) = μ_B S/a³ are the nested heisenberg_fraction object and put an extra 1/S. ζ(3/2) is not evaluated",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+        heisenberg_fraction: {
+            theorem: "PhysJS.BlochLaw.heisenberg_fraction",
+            covers: "derivation-step: D = 2 J S a² and M(0) = μ_B S/a³ turn the Bloch deficit into ΔM/M(0) = (1/S) ζ(3/2) (k_B T/(8 π J S))^{3/2}",
+            coverage: "covers its statement only",
+            leanProof: "complete",
+            axioms: ["propext", "Classical.choice", "Quot.sound"],
+        },
+    },
+    {
+        key: "be-135",
+        bridgeId: "be-135",
+        theorem: "PhysJS.DensityOfStates3D.dos_3d",
+        covers: "derivation-step: two spins, k³ = 3 π² n, and E = ℏ² k²/(2 m) give n = (1/(3 π²)) (2 m E/ℏ²)^{3/2}. Differentiating E^{3/2} gives g(E) = (1/(2 π²)) (2 m/ℏ²)^{3/2} √E and g = (3/2) n/E. One spin replaces 1/(2 π²) by 1/(4 π²)",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-136",
+        bridgeId: "be-136",
+        theorem: "PhysJS.DensityOfStates2D.dos_2d",
+        covers: "derivation-step: two spins in the disk, n = k²/(2 π), and E = ℏ² k²/(2 m) give n = m E/(π ℏ²). The derivative is g(E) = m/(π ℏ²), independent of E. A valley factor other than 1 is not this density",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-137",
+        bridgeId: "be-137",
+        theorem: "PhysJS.ThomasFermi.thomas_fermi",
+        covers: "derivation-step: φ = φ0 exp(−k x) has second derivative k² φ. δn = g(E_F) e φ and Poisson φ'' = e δn/ε0 give k_TF² = e² g(E_F)/ε0. g(E_F) = (3/2) n/E_F is PhysJS.FermiSea.dos_factor, not a proof of the be-135 prefactor, so k_TF² = (e²/ε0) (3 n)/(2 E_F). A flat density leaves the factor 1. Not the classical Debye length",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-138",
+        bridgeId: "be-138",
+        theorem: "PhysJS.BuiltinVoltage.builtin_voltage",
+        covers: "derivation-step: complete ionization and Boltzmann tails N_D = n_i exp(e (φ_n − φ_i)/(k_B T)) and N_A = n_i exp(−e (φ_p − φ_i)/(k_B T)) give V_bi = (k_B T/e) ln(N_A N_D/n_i²). The product n_p N_A = n_i² is the be-99 conclusion as an input, not a second proof, and rewrites the same logarithm as ln(N_D/n_p). Not the ideal diode of be-82",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-139",
+        bridgeId: "be-139",
+        theorem: "PhysJS.SemiconductorFermi.fermi_level",
+        covers: "derivation-step: n = p on Boltzmann tails and N_c/N_v = (m_e*/m_h*)^{3/2} give E_F − (E_c + E_v)/2 = (3/4) k_B T ln(m_h*/m_e*). The 3/4 is half of 3/2. Complete ionization N_D = N_c exp(−(E_c − E_F)/(k_B T)) gives E_c − E_F = k_B T ln(N_c/N_D). Dropping the 3/2 leaves 1/2. Not a Fermi–Dirac integral",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-140",
+        bridgeId: "be-140",
+        theorem: "PhysJS.OnsagerFrequency.onsager_frequency",
+        covers: "derivation-step: A = (2 π e B/ℏ) (n + γ) at n and at n + 1. The step is 1, so γ cancels and F = ℏ A/(2 π e), with Δ(1/B) = 1/F. Dropping γ on one orbit is not a step of 1",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-141",
+        bridgeId: "be-141",
+        theorem: "PhysJS.JosephsonInductance.inductance_eq",
+        covers: "derivation-step: I = I_c sin φ and V = (ℏ/(2 e)) dφ/dt. At φ = 0, cos φ = 1, so V = L dI/dt gives L_J = ℏ/(2 e I_c). Φ₀ = h/(2 e) and h = 2 π ℏ give L_J = Φ₀/(2 π I_c). A phase with cos φ ≠ 1 is not this inductance. Not the frequency of be-59",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-142",
+        bridgeId: "be-142",
+        theorem: "PhysJS.LowerCritical.lower_critical",
+        covers: "derivation-step: the core cutoff is the hypothesis that j(r) = Φ₀/(2 π μ0 λ² r) on ξ ≤ r ≤ λ. The London kinetic energy integrates to (Φ₀²/(4 π μ0 λ²)) ln(λ/ξ). B_c1 = μ0 ε/Φ₀ gives B_c1 = (Φ₀/(4 π λ²)) ln(λ/ξ), with Φ₀ = h/(2 e). An additive constant under the logarithm changes the field and not the prefactor. Not be-96",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-143",
+        bridgeId: "be-143",
+        theorem: "PhysJS.AcDrude.ac_drude",
+        covers: "derivation-step: the antiderivative of exp(−a s) cos(b s) is proved, and the improper integral is a/(a² + b²). At a = 1/τ and b = ω, (σ₀/τ) times that integral is σ₀/(1 + ω² τ²). σ₀ = n e² τ/m is an input. Dropping the DC 1 is not this conductivity. Not be-123",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-144",
+        bridgeId: "be-144",
+        theorem: "PhysJS.Matthiessen.matthiessen",
+        covers: "derivation-step: independent Poisson processes have exp(−t/τ) = exp(−t/τ₁) exp(−t/τ₂), so 1/τ = 1/τ₁ + 1/τ₂. One Drude factor ρ_i = C/τ_i makes ρ = ρ₁ + ρ₂. One lifetime is not the parallel sum. Not a collision integral",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-145",
+        bridgeId: "be-145",
+        theorem: "PhysJS.Stoner.stoner",
+        covers: "derivation-step: χ = χ_P ∑_n (I g(E_F))^n. For |I g(E_F)| < 1 the geometric series is 1/(1 − I g(E_F)), so χ = χ_P/(1 − I g(E_F)). The pole 1 − I g(E_F) = 0 is the same formula as I g(E_F) = 1. χ_P is be-94 and is not re-proved. The first two bubbles are not the closed form",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
+    {
+        key: "be-146",
+        bridgeId: "be-146",
+        theorem: "PhysJS.GorterCasimir.gorter_casimir",
+        covers: "derivation-step: the exponent p = 4 is a hypothesis. n_s/n = 1 − (T/T_c)^p and the London depths of be-75, not re-proved, give λ(T) = λ(0)/√(1 − (T/T_c)^4). The exponent 2 is not 4 when the reduced temperature is neither 0 nor 1. Not a BCS gap and not a second proof of be-75",
+        coverage: "covers its statement only",
+        leanProof: "complete",
+        axioms: ["propext", "Classical.choice", "Quot.sound"],
+    },
 ];
 //# sourceMappingURL=physjs-entries.generated.js.map