universal-physics-tensor 3.0.0 → 4.0.0

package/README.md

@@ -99,7 +99,7 @@ records. Every flag of every command is in [`docs/CLI.md`](https://github.com/da
 
 | Command | What it does |
 |---|---|
-| `audit` | Derive every bridge equation by dimensions and sort derived, decoy, and open. |
+| `audit` | Derive every bridge equation by dimensions and sort derived, decoy, not a monomial, and open. |
 | `derive` (`dim`) | Derive the dimensional form of your own equation and, with --formula, the prefactor. |
 | `eval` (`calc`) | Evaluate a scalar formula. A bare e is the elementary charge; Euler's number is exp(x). |
 | `evaluate` | Evaluate a closed-form bridge or an applied case, with units on every input. |
@@ -117,7 +117,7 @@ records. Every flag of every command is in [`docs/CLI.md`](https://github.com/da
 | `path` | Show the bridge chain between two models and whether a bound is claimed there. |
 | `recover` (`recovery`, `validate`) | Classify each bridge-to-canonical link as restates, recovers, or dimensional-only. |
 | `regime` | Report where a family's models are valid, violated, or unknown. |
-| `search` | Find a bridge, equation, model, quantity, or case by the words in its record. |
+| `search` | Find a bridge, equation, model, quantity, case, or regime by the words in its record. |
 
 **Discovery and probes**
 
@@ -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 -->55 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
+adjudicates the catalog — <!-- readme-status:membership -->69 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 | **63 entries (BE-11…73)**: 27 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
+| Bridge catalog | **77 entries (BE-11…87)**: 41 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 | **54 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
+| Composition layer | **68 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 **1** file and **78** 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. **22** 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. **36** 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/catalog-formal-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAiBvD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAElE"}
+{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAkBvD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAElE"}

package/dist/atlas/catalog-formal-ref.js

@@ -21,7 +21,8 @@ import { physjsFormalRef } from './physjs-ref.js';
  */
 const CATALOG_FORMAL_REF_IDS = [
     11, 12, 13, 14, 15, 16, 17, 19, 21, 22, 24, 27, 28, 29, 30, 32, 33, 34, 35, 37, 38, 40, 42, 43,
-    50, 51, 54, 53, 55, 58, 59, 60, 61, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73,
+    50, 51, 54, 53, 55, 58, 59, 60, 61, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76,
+    77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87,
 ];
 const BY_ID = new Map(CATALOG_FORMAL_REF_IDS.map((id) => [id, physjsFormalRef(`be-${id}`)]));
 /**

package/dist/atlas/catalog-formal-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG;IAC7B,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAC9F,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;CACtE,CAAC;AAEX,MAAM,KAAK,GAAmC,IAAI,GAAG,CACnD,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG;IAC7B,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAC9F,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAC1F,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;CAClC,CAAC;AAEX,MAAM,KAAK,GAAmC,IAAI,GAAG,CACnD,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC"}

package/dist/atlas/physjs-ref.d.ts

@@ -7,7 +7,16 @@
  * the file and this copy disagree on the commit, a theorem, a key, or the
  * coverage phrase.
  *
- * The commit is PhysJS `main` `3af15b49be09442350510e7c7f56f4aab92ea3bc`.
+ * The commit is PhysJS `main` `92f87257a1e3086a48cdc19fe4361cc1c5909d49`.
+ * PhysJS #63 stores each Lean file at `lean/<File>.lean`. The sentence that
+ * the pin is `ee753df77bd5b29b7207443181606b6004bfcf6a` is the record from
+ * before PhysJS #64. The sentence that the pin is
+ * `4ea35872513f8d4d12a01bfac225156bdddb87a9` and that the path is
+ * `lean/PhysJS/<File>.lean` is the record from before that flatten. The
+ * sentence that the pin is `3af15b49be09442350510e7c7f56f4aab92ea3bc` and
+ * that the path is `PhysJS/<File>.lean` is the record from before PhysJS #61.
+ * Theorem names of the earlier entries are unchanged. PhysJS #62 adds be-74,
+ * be-75, and be-76. PhysJS #64 adds be-77 through be-87.
  * Milestone 1's six top-level theorems are unchanged. Milestone 2 adds four
  * atlas entries. Milestone 2b adds fifteen catalog entries. Bucket A adds
  * twenty-one counted catalog entries, keyed `be-<n>`. BE-20 is the nested
@@ -23,7 +32,7 @@
  */
 import type { FormalRef, FormalRefKind } from './types.js';
 /** PhysJS commit the vendored manifest records. @internal */
-export declare const PHYSJS_COMMIT = "3af15b49be09442350510e7c7f56f4aab92ea3bc";
+export declare const PHYSJS_COMMIT = "92f87257a1e3086a48cdc19fe4361cc1c5909d49";
 /** A second statement on the same entry. No key. Not a `formalRef`. */
 interface PhysjsNestedStatement {
     readonly theorem: string;
@@ -93,6 +102,23 @@ export interface PhysjsManifestFile {
  * @internal
  */
 export declare function physjsTheorem(key: string): string | undefined;
+/**
+ * Lean file name that contains `theorem` at the pinned commit.
+ *
+ * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`.
+ *
+ * @internal
+ */
+export declare function physjsLeanFile(theorem: string): string;
+/**
+ * Permalink to one Lean file at the pinned commit.
+ *
+ * PhysJS #63 stores sources at `lean/<File>.lean`. This is the only builder
+ * of those URLs.
+ *
+ * @internal
+ */
+export declare function physjsFileUrl(file: string): string;
 /**
  * Manifest keys whose derived kind is `bridge`.
  *

package/dist/atlas/physjs-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3D,6DAA6D;AAC7D,eAAO,MAAM,aAAa,6CAA6C,CAAC;AAoBxE,uEAAuE;AACvE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AA2CD,6EAA6E;AAC7E,UAAU,WAAW;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qFAAqF;IACrF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC;IACxC,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,CAAC;IAChD,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,sFAAsF;IACtF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,qBAAqB,CAAC;IACrD,sEAAsE;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sHAAsH;IACtH,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IACtD,yFAAyF;IACzF,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC;CAC9C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C;AA4pBD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE7D;AA+ED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAC5B,OAAO,GAAE,SAAS;IAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,EAAmB,GACnB,SAAS,MAAM,EAAE,CAOnB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAetD;AA8BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACtF,GAAG,MAAM,EAAE,CAkIX"}
+{"version":3,"file":"physjs-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3D,6DAA6D;AAC7D,eAAO,MAAM,aAAa,6CAA6C,CAAC;AAoBxE,uEAAuE;AACvE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AA2CD,6EAA6E;AAC7E,UAAU,WAAW;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qFAAqF;IACrF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC;IACxC,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,CAAC;IAChD,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,sFAAsF;IACtF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,qBAAqB,CAAC;IACrD,sEAAsE;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sHAAsH;IACtH,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IACtD,yFAAyF;IACzF,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC;CAC9C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C;AA0yBD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE7D;AAiBD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAMtD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAyED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAC5B,OAAO,GAAE,SAAS;IAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,EAAmB,GACnB,SAAS,MAAM,EAAE,CAOnB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAetD;AA8BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACtF,GAAG,MAAM,EAAE,CAkIX"}

package/dist/atlas/physjs-ref.js

@@ -7,7 +7,16 @@
  * the file and this copy disagree on the commit, a theorem, a key, or the
  * coverage phrase.
  *
- * The commit is PhysJS `main` `3af15b49be09442350510e7c7f56f4aab92ea3bc`.
+ * The commit is PhysJS `main` `92f87257a1e3086a48cdc19fe4361cc1c5909d49`.
+ * PhysJS #63 stores each Lean file at `lean/<File>.lean`. The sentence that
+ * the pin is `ee753df77bd5b29b7207443181606b6004bfcf6a` is the record from
+ * before PhysJS #64. The sentence that the pin is
+ * `4ea35872513f8d4d12a01bfac225156bdddb87a9` and that the path is
+ * `lean/PhysJS/<File>.lean` is the record from before that flatten. The
+ * sentence that the pin is `3af15b49be09442350510e7c7f56f4aab92ea3bc` and
+ * that the path is `PhysJS/<File>.lean` is the record from before PhysJS #61.
+ * Theorem names of the earlier entries are unchanged. PhysJS #62 adds be-74,
+ * be-75, and be-76. PhysJS #64 adds be-77 through be-87.
  * Milestone 1's six top-level theorems are unchanged. Milestone 2 adds four
  * atlas entries. Milestone 2b adds fifteen catalog entries. Bucket A adds
  * twenty-one counted catalog entries, keyed `be-<n>`. BE-20 is the nested
@@ -22,7 +31,7 @@
  * @module atlas/physjs-ref
  */
 /** PhysJS commit the vendored manifest records. @internal */
-export const PHYSJS_COMMIT = '3af15b49be09442350510e7c7f56f4aab92ea3bc';
+export const PHYSJS_COMMIT = '92f87257a1e3086a48cdc19fe4361cc1c5909d49';
 /** Lean toolchain the vendored manifest records. */
 const PHYSJS_TOOLCHAIN = 'leanprover/lean4:v4.34.1';
 /** Mathlib pin the vendored manifest records. */
@@ -676,6 +685,132 @@ const PHYSJS_ENTRIES = [
         leanProof: 'complete',
         axioms: PHYSJS_AXIOMS,
     },
+    {
+        key: "be-74",
+        bridgeId: "be-74",
+        theorem: "PhysJS.MagneticPressure.pressure_eq",
+        covers: "derivation-step: a linear inductor with dU/dI = L I and U(0) = 0 stores U = (L/2) I². A long solenoid with B = μ0 n I and flux linkage Λ = (n ℓ) B A has L = μ0 n² V. At fixed current the battery supplies I ΔΛ. The stored energy rises by half of that, and the difference is the mechanical work p ΔV, so p = B²/(2 μ0). Homogeneity in B and μ0 gives p = C B²/μ0 with C unfixed. C = 1 is the battery work per volume, not this pressure. Not a kinetic pressure, and not a Lagrangian derivation of the Maxwell stress tensor. Ampere's law, the flux linkage, and the quasistatic work balance are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-75",
+        bridgeId: "be-75",
+        theorem: "PhysJS.LondonPenetration.depth_eq",
+        covers: "derivation-step: on B(x) = B0 exp(−x/λ) with λ > 0, Ampere's law j = −(1/μ0) dB/dx and the London equation dj/dx = −(n e²/m) B give λ = √(m/(μ0 n e²)). e is the elementary charge. The dimension matrix of {m, μ0, n, e} admits both that monomial and μ0 e²/m, so units do not choose. Those lengths disagree when n (μ0 e²/m)³ ≠ 1. The growing exponential is not the screened field. Replacing e by 2e at the same n and m fails, and dropping the square on e fails when e ≠ 1. A factor C ≠ 1 is not this depth. Not the classical skin depth. The London equation and Ampere's law are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-76",
+        bridgeId: "be-76",
+        theorem: "PhysJS.PlasmaBeta.beta_eq",
+        covers: "derivation-step: β = p_gas / p_B where p_B is PhysJS.MagneticPressure.pressure_eq, so β = p_gas / (B²/(2 μ0)) = 2 μ0 p_gas / B². The ideal-gas closure p_gas = n k_B T gives β = 2 μ0 n k_B T / B². B ≠ 0. Using B²/μ0 in place of the magnetic pressure is a different ratio. The constant 1 is dimensionless and is not this beta when the ratio is not 1. A factor C ≠ 1 is not this beta. Dropping p = n k_B T fails. Not a unique monomial, and not a plasma-β inequality",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-77",
+        bridgeId: "be-77",
+        theorem: "PhysJS.HagenPoiseuille.flow_eq",
+        covers: "derivation-step: steady axisymmetric Newtonian flow with d/dr (r du/dr) = (G/\u03bc) r, centerline slope 0, and no-slip u(R) = 0 integrates to u = (G/(4\u03bc))(r\u00b2\u2212R\u00b2). With G = \u2212\u0394P/L the flux Q = \u222b u 2\u03c0 r dr is \u03c0 R\u2074 \u0394P/(8 \u03bc L). Darcy's definition then gives f_D Re = 64. The same wall shear with the Fanning normalization is 16. A factor other than 8 is not this flux. Not a square duct. The axial balance, no-slip, and the Darcy definitions are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-78",
+        bridgeId: "be-78",
+        theorem: "PhysJS.EulerBuckling.critical_load",
+        covers: "derivation-step: the Euler\u2013Bernoulli balance y'' = \u2212\u03c9\u00b2 y with \u03c9\u00b2 = P/(E I) and pinned ends y(0) = y(L) = 0 has the eigenfunction sin(\u03c0 x/L) at P = \u03c0\u00b2 E I/L\u00b2, and every nontrivial solution has \u03c9 L = n \u03c0 for a nonzero integer n, so the load is at least that value. The clamped-free column is \u03c0\u00b2 E I/(4 L\u00b2). That factor is not the pinned load. Not read off from units. The beam equation is a hypothesis",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-79",
+        bridgeId: "be-79",
+        theorem: "PhysJS.PullIn.pull_in_eq",
+        covers: "derivation-step: C = \u03b50 A/g has dC/dg = \u2212\u03b50 A/g\u00b2. Equilibrium of a linear spring against the coenergy force is k(g0\u2212g) = \u03b50 A V\u00b2/(2 g\u00b2), so V\u00b2 is proportional to (g0\u2212g) g\u00b2. The derivative 2 g0 g \u2212 3 g\u00b2 vanishes only at g = 0 and g = 2 g0/3, and the second derivative at the fold is \u22122 g0. Substituting the gap gives V_pi\u00b2 = 8 k g0\u00b3/(27 \u03b50 A) = 8 k g0\u00b2/(27 C0) with C0 = \u03b50 A/g0. g = g0/2 is not the fold. Not a fringing field. The parallel-plate law and the quasi-static balance are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-80",
+        bridgeId: "be-80",
+        theorem: "PhysJS.MottGurney.current_eq",
+        covers: "derivation-step: drift J = q n \u03bc E and Poisson dE/dx = q n/\u03b5 give E dE/dx = J/(\u03b5 \u03bc). With E(0) = 0 the integral is E\u00b2/2 = J x/(\u03b5 \u03bc). The nonnegative root integrated from 0 to d is V = sqrt(2 J/(\u03b5 \u03bc)) (2/3) d^{3/2}, so J = (9/8) \u03b5 \u03bc V\u00b2/d\u00b3. A factor other than 9/8 is not this current. Not Child\u2013Langmuir. Drift, Poisson, and the injecting contact are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-81",
+        bridgeId: "be-81",
+        theorem: "PhysJS.ChildLangmuir.current_eq",
+        covers: "derivation-step: collisionless energy (1/2) m v\u00b2 = e \u03c6, J = \u03c1 v, and Poisson \u03c6'' = \u03c1/\u03b50 give J = \u03b50 \u03c6'' v. A power \u03c6 \u221d x^\u03b1 makes \u03c6'' v independent of x only for \u03b1 = 4/3. The profile \u03c6 = V (x/d)^{4/3} has \u03c6(0) = 0, \u03c6(d) = V, and cathode field 0, and for x > 0 its current is (4 \u03b50/9) sqrt(2 e/m) V^{3/2}/d\u00b2. e is the elementary charge. The Mott\u2013Gurney exponent 3/2 does not cancel. Poisson is not claimed at x = 0. Not a drift-only solid",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-82",
+        bridgeId: "be-82",
+        theorem: "PhysJS.ShockleyDiode.shockley_eq",
+        covers: "derivation-step: quasi-equilibrium multiplies the equilibrium flux by exp(e V/(\u03b7 k_B T)). Ideality 1 sets \u03b7 = 1. Detailed balance sets the reverse flux equal to the forward flux at V = 0, and low injection keeps that reverse flux under bias. The net current is I = I_s (exp(e V/(k_B T)) \u2212 1). Zero bias carries zero current. Ideality 2 is not this current when e V \u2260 0. e is the elementary charge. Not a diffusion-length ODE",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-83",
+        bridgeId: "be-83",
+        theorem: "PhysJS.Thomson.thomson_eq",
+        covers: "derivation-step: the Kelvin relation \u03a0(t) = S(t) t, which is PhysJS.KelvinRelation.peltier_eq read along temperature, and the Thomson split \u03bc = d\u03a0/dT \u2212 S, give \u03bc = T dS/dT by the product rule. d\u03a0/dT is not \u03bc when S T \u2260 0. Not a second copy of \u03a0 = S T. The functional Kelvin relation and the Thomson split are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-84",
+        bridgeId: "be-84",
+        theorem: "PhysJS.FourPoint.sheet_eq",
+        covers: "derivation-step: on an infinite sheet the radial field of a point current is (I R_s)/(2 \u03c0 r), and the potential drop is the integral of 1/r. Probes at 0, s, 2s, and 3s, with current in at 0 and out at 3s, each contribute (I R_s/(2 \u03c0)) ln 2 on the inner pair. Superposition gives R_s = (\u03c0/ln 2)(V/I). A sink at 4s gives 2\u03c0/ln 3 instead. Not PhysJS.Crossing.antisymmetry. The Laplace field and linear superposition are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-85",
+        bridgeId: "be-85",
+        theorem: "PhysJS.ShotNoise.shot_eq",
+        covers: "derivation-step: in a window of length T the count N has mean (I/e) T, and the Poisson premise is Var(N) = mean(N). Charge e scales the variance by e\u00b2 and the windowed current divides by T, so Var(I) = e I/T. The one-sided bandwidth of that window is \u0394f = 1/(2 T), and S_I = Var(I)/\u0394f is 2 e I. The two-sided bandwidth \u0394f = 1/T gives e I. e is the elementary charge. Not a Fourier theorem and not Johnson\u2013Nyquist. The Poisson variance and the one-sided convention are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-86",
+        bridgeId: "be-86",
+        theorem: "PhysJS.ReynoldsAnalogy.reynolds_eq",
+        covers: "derivation-step: wall fluxes \u03c4 = \u03bc du/dy and q = k dT/dy, with C_f = \u03c4/(\u03c1 U\u00b2/2), h = q/\u0394T, St = h/(\u03c1 U c_p), and Pr = \u03bc c_p/k, satisfy St Pr = C_f/2 when the normalized wall gradients agree. That common slope is the equal-diffusivity hypothesis. At Pr = 1, St = C_f/2. Pr \u2260 1 with nonzero skin friction is not this equality. Not a Nusselt correlation",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-87",
+        bridgeId: "be-87",
+        theorem: "PhysJS.CapacitorNoise.noise_eq",
+        covers: "derivation-step: dU/dV = C V and U(0) = 0 integrate to U = (C/2) V\u00b2. The normalized Boltzmann weight of that energy is the Gaussian of mean 0 and variance k_B T/C, because the partition function is the Gaussian integral. The mean square on that law is k_B T/C, and (C/2) of it is (1/2) k_B T. (3/2) k_B T/C is not this variance. Dropping the energy half replaces it by k_B T/(2 C). Not three kinetic degrees of freedom",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
 ];
 const entryByKey = new Map(PHYSJS_ENTRIES.map((entry) => [entry.key, entry]));
 /**
@@ -695,21 +830,41 @@ function physjsVersion() {
 }
 /**
  * Namespaces whose theorems live in another Lean file at this pin.
- * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`,
+ * `SpringLc` and `DampedRlc` are namespaces inside `lean/OscillatorDictionary.lean`,
  * not their own files. Rechecked at this pin.
  */
 const PHYSJS_FILE_BY_NAMESPACE = {
     SpringLc: 'OscillatorDictionary.lean',
     DampedRlc: 'OscillatorDictionary.lean',
 };
-/** Permalink to the Lean file that contains `theorem` at the pinned commit. */
-function physjsStatementUrl(theorem) {
+/**
+ * Lean file name that contains `theorem` at the pinned commit.
+ *
+ * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`.
+ *
+ * @internal
+ */
+export function physjsLeanFile(theorem) {
     const parts = theorem.split('.');
     if (parts.length < 3 || parts[0] !== 'PhysJS' || parts[1] === undefined) {
         throw new Error(`PhysJS theorem '${theorem}' is not PhysJS.<module>.<name>`);
     }
-    const file = PHYSJS_FILE_BY_NAMESPACE[parts[1]] ?? `${parts[1]}.lean`;
-    return `https://github.com/danielsimonjr/PhysJS/blob/${PHYSJS_COMMIT}/PhysJS/${file}`;
+    return PHYSJS_FILE_BY_NAMESPACE[parts[1]] ?? `${parts[1]}.lean`;
+}
+/**
+ * Permalink to one Lean file at the pinned commit.
+ *
+ * PhysJS #63 stores sources at `lean/<File>.lean`. This is the only builder
+ * of those URLs.
+ *
+ * @internal
+ */
+export function physjsFileUrl(file) {
+    return `https://github.com/danielsimonjr/PhysJS/blob/${PHYSJS_COMMIT}/lean/${file}`;
+}
+/** Permalink to the Lean file that contains `theorem` at the pinned commit. */
+function physjsStatementUrl(theorem) {
+    return physjsFileUrl(physjsLeanFile(theorem));
 }
 /**
  * Catalog keys whose theorem states the catalogued equation.
@@ -739,6 +894,20 @@ const CATALOG_EQUATION_KEYS = new Set([
     'be-71',
     'be-72',
     'be-73',
+    'be-74',
+    'be-75',
+    'be-76',
+    'be-77',
+    'be-78',
+    'be-79',
+    'be-80',
+    'be-81',
+    'be-82',
+    'be-83',
+    'be-84',
+    'be-85',
+    'be-86',
+    'be-87',
 ]);
 /**
  * Atlas keys are bridges. A catalog key whose theorem states the catalogued

package/dist/atlas/physjs-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAIH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,0CAA0C,CAAC;AAExE,oDAAoD;AACpD,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,iDAAiD;AACjD,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC,iDAAiD;AACjD,MAAM,eAAe,GAAG,0CAA0C,CAAC;AAEnE;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAEpD,4EAA4E;AAC5E,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,kBAAkB,EAAE,YAAY,CAAU,CAAC;AAW7E,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;CACL,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AAwDjD,MAAM,YAAY,GAAG,iDAAiD,CAAC;AAEvE,MAAM,iBAAiB,GAAG,oEAAoE,CAAC;AAE/F;;;;GAIG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,OAAO;QACL,OAAO,EAAE,UAAU,SAAS,2BAA2B;QACvD,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAA2B;IAC7C;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,sBAAsB;QAC3B,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,iBAAiB,CAAC;KACxC;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,QAAQ,EAAE,iBAAiB;QAC3B,OAAO,EAAE,uCAAuC;QAChD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC;KACpC;IACD;QACE,GAAG,EAAE,wBAAwB;QAC7B,QAAQ,EAAE,wBAAwB;QAClC,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,oBAAoB,CAAC;KAC3C;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,qCAAqC;QAC7C,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,kEAAkE;QAC3E,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,QAAQ,EAAE,kBAAkB;QAC5B,OAAO,EAAE,qDAAqD;QAC9D,MAAM,EAAE,yCAAyC;QACjD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,QAAQ,EAAE,cAAc;QACxB,OAAO,EAAE,+CAA+C;QACxD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,+CAA+C;QACvD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EAAE,qFAAqF;QAC7F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EAAE,uFAAuF;QAC/F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE;YACP,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,0HAA0H;YAC5H,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yCAAyC;QAClD,MAAM,EACJ,kIAAkI;QACpI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,wIAAwI;QAC1I,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,0BAA0B;YACnC,MAAM,EACJ,yGAAyG;YAC3G,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,+HAA+H;QACjI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE;YACN,OAAO,EAAE,gCAAgC;YACzC,MAAM,EACJ,uLAAuL;YACzL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,SAAS,EAAE;YACT,OAAO,EAAE,qCAAqC;YAC9C,MAAM,EACJ,8WAA8W;YAChX,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,qOAAqO;QACvO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kJAAkJ;QACpJ,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,+KAA+K;QACjL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,8NAA8N;QAChO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,qUAAqU;QACvU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,4MAA4M;QAC9M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,2NAA2N;QAC7N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sBAAsB;QAC/B,MAAM,EACJ,6MAA6M;QAC/M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,sKAAsK;QACxK,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,qNAAqN;QACvN,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,sMAAsM;QACxM,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,gPAAgP;QAClP,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,wSAAwS;QAC1S,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uBAAuB;QAChC,MAAM,EACJ,oLAAoL;QACtL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,wNAAwN;QAC1N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,mLAAmL;QACrL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,iSAAiS;QACnS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,sLAAsL;QACxL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,+KAA+K;YACjL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,0QAA0Q;QAC5Q,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,eAAe,EAAE;YACf,OAAO,EAAE,wCAAwC;YACjD,MAAM,EACJ,gSAAgS;YAClS,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,mBAAmB,EAAE;YACnB,OAAO,EAAE,6CAA6C;YACtD,MAAM,EACJ,+GAA+G;YACjH,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,eAAe,EAAE;YACf,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EACJ,kMAAkM;YACpM,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,iUAAiU;QACnU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kSAAkS;QACpS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE;YACd,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,uRAAuR;YACzR,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wCAAwC;QACjD,MAAM,EACJ,4KAA4K;QAC9K,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,YAAY,EAAE;YACZ,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,wLAAwL;YAC1L,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,UAAU,EAAE;YACV,OAAO,EAAE,gDAAgD;YACzD,MAAM,EACJ,wKAAwK;YAC1K,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,gOAAgO;QAClO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,2XAA2X;QAC7X,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,2WAA2W;QAC7W,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,yZAAyZ;QAC3Z,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,6aAA6a;QAC/a,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,8gBAA8gB;QAChhB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,MAAM,EACJ,ybAAyb;QAC3b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,4bAA4b;QAC9b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,0lBAA0lB;QAC5lB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6CAA6C;QACtD,MAAM,EACJ,qkBAAqkB;QACvkB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,oyBAAoyB;QACtyB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,oBAAoB,EAAE;YACpB,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EAAE,6MAA6M;YACrN,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,8fAA8f;QAChgB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,gcAAgc;QAClc,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8CAA8C;QACvD,MAAM,EACJ,0iBAA0iB;QAC5iB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,WAAW,EAAE;YACX,OAAO,EAAE,gDAAgD;YACzD,MAAM,EAAE,0KAA0K;YAClL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,+dAA+d;QACje,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;CACF,CAAC;AAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACtE,OAAO,gDAAgD,aAAa,WAAW,IAAI,EAAE,CAAC;AACxF,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,0CAA0C,CAAC;AAExE,oDAAoD;AACpD,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,iDAAiD;AACjD,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC,iDAAiD;AACjD,MAAM,eAAe,GAAG,0CAA0C,CAAC;AAEnE;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAEpD,4EAA4E;AAC5E,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,kBAAkB,EAAE,YAAY,CAAU,CAAC;AAW7E,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;CACL,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AAwDjD,MAAM,YAAY,GAAG,iDAAiD,CAAC;AAEvE,MAAM,iBAAiB,GAAG,oEAAoE,CAAC;AAE/F;;;;GAIG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,OAAO;QACL,OAAO,EAAE,UAAU,SAAS,2BAA2B;QACvD,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAA2B;IAC7C;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,sBAAsB;QAC3B,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,iBAAiB,CAAC;KACxC;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,QAAQ,EAAE,iBAAiB;QAC3B,OAAO,EAAE,uCAAuC;QAChD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC;KACpC;IACD;QACE,GAAG,EAAE,wBAAwB;QAC7B,QAAQ,EAAE,wBAAwB;QAClC,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,oBAAoB,CAAC;KAC3C;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,qCAAqC;QAC7C,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,kEAAkE;QAC3E,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,QAAQ,EAAE,kBAAkB;QAC5B,OAAO,EAAE,qDAAqD;QAC9D,MAAM,EAAE,yCAAyC;QACjD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,QAAQ,EAAE,cAAc;QACxB,OAAO,EAAE,+CAA+C;QACxD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,+CAA+C;QACvD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EAAE,qFAAqF;QAC7F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EAAE,uFAAuF;QAC/F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE;YACP,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,0HAA0H;YAC5H,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yCAAyC;QAClD,MAAM,EACJ,kIAAkI;QACpI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,wIAAwI;QAC1I,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,0BAA0B;YACnC,MAAM,EACJ,yGAAyG;YAC3G,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,+HAA+H;QACjI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE;YACN,OAAO,EAAE,gCAAgC;YACzC,MAAM,EACJ,uLAAuL;YACzL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,SAAS,EAAE;YACT,OAAO,EAAE,qCAAqC;YAC9C,MAAM,EACJ,8WAA8W;YAChX,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,qOAAqO;QACvO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kJAAkJ;QACpJ,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,+KAA+K;QACjL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,8NAA8N;QAChO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,qUAAqU;QACvU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,4MAA4M;QAC9M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,2NAA2N;QAC7N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sBAAsB;QAC/B,MAAM,EACJ,6MAA6M;QAC/M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,sKAAsK;QACxK,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,qNAAqN;QACvN,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,sMAAsM;QACxM,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,gPAAgP;QAClP,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,wSAAwS;QAC1S,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uBAAuB;QAChC,MAAM,EACJ,oLAAoL;QACtL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,wNAAwN;QAC1N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,mLAAmL;QACrL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,iSAAiS;QACnS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,sLAAsL;QACxL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,+KAA+K;YACjL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,0QAA0Q;QAC5Q,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,eAAe,EAAE;YACf,OAAO,EAAE,wCAAwC;YACjD,MAAM,EACJ,gSAAgS;YAClS,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,mBAAmB,EAAE;YACnB,OAAO,EAAE,6CAA6C;YACtD,MAAM,EACJ,+GAA+G;YACjH,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,eAAe,EAAE;YACf,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EACJ,kMAAkM;YACpM,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,iUAAiU;QACnU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kSAAkS;QACpS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE;YACd,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,uRAAuR;YACzR,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wCAAwC;QACjD,MAAM,EACJ,4KAA4K;QAC9K,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,YAAY,EAAE;YACZ,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,wLAAwL;YAC1L,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,UAAU,EAAE;YACV,OAAO,EAAE,gDAAgD;YACzD,MAAM,EACJ,wKAAwK;YAC1K,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,gOAAgO;QAClO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,2XAA2X;QAC7X,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,2WAA2W;QAC7W,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,yZAAyZ;QAC3Z,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,6aAA6a;QAC/a,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,8gBAA8gB;QAChhB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,MAAM,EACJ,ybAAyb;QAC3b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,4bAA4b;QAC9b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,0lBAA0lB;QAC5lB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6CAA6C;QACtD,MAAM,EACJ,qkBAAqkB;QACvkB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,oyBAAoyB;QACtyB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,oBAAoB,EAAE;YACpB,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EAAE,6MAA6M;YACrN,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,8fAA8f;QAChgB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,gcAAgc;QAClc,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8CAA8C;QACvD,MAAM,EACJ,0iBAA0iB;QAC5iB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,WAAW,EAAE;YACX,OAAO,EAAE,gDAAgD;YACzD,MAAM,EAAE,0KAA0K;YAClL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,+dAA+d;QACje,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,MAAM,EACJ,ulBAAulB;QACzlB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EACJ,2kBAA2kB;QAC7kB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,gdAAgd;QACld,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kgBAAkgB;QACpgB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EACJ,4dAA4d;QAC9d,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,8kBAA8kB;QAChlB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,gbAAgb;QAClb,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,qhBAAqhB;QACvhB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,8bAA8b;QAChc,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,8WAA8W;QAChX,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,icAAic;QACnc,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,yfAAyf;QAC3f,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EACJ,6YAA6Y;QAC/Y,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,yaAAya;QAC3a,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;CACF,CAAC;AAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/bridges/be70-einstein-relation.d.ts

@@ -7,7 +7,7 @@ export interface EinsteinRelationInputs {
     readonly mu_m2_per_Vs: number;
     /** Absolute temperature, kelvin. */
     readonly T_K: number;
-    /** Carrier charge, coulomb. Nonzero. */
+    /** Carrier charge, coulomb. Nonzero, and the same sign as `mu_m2_per_Vs`. */
     readonly q_C: number;
 }
 /**

package/dist/bridges/be70-einstein-relation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be70-einstein-relation.d.ts","sourceRoot":"","sources":["../../src/bridges/be70-einstein-relation.ts"],"names":[],"mappings":"AAeA;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,qCAAqC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EACvC,YAAY,EACZ,GAAG,EACH,GAAG,GACJ,EAAE,sBAAsB,GAAG,sBAAsB,CAYjD"}
+{"version":3,"file":"be70-einstein-relation.d.ts","sourceRoot":"","sources":["../../src/bridges/be70-einstein-relation.ts"],"names":[],"mappings":"AAgBA;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,qCAAqC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EACvC,YAAY,EACZ,GAAG,EACH,GAAG,GACJ,EAAE,sBAAsB,GAAG,sBAAsB,CAejD"}

package/dist/bridges/be70-einstein-relation.js

@@ -4,7 +4,8 @@
  * where drift cancels diffusion on a Boltzmann profile. Dropping `q`
  * is a different diffusivity. `μ` is the electrical mobility (drift
  * speed per electric field). The force-mobility writing needs
- * `μ_force = μ/q` and is not this function.
+ * `μ_force = μ/q` and is not this function. `μ` and `q` have the
+ * same sign: opposite signs are not a negative diffusivity.
  *
  * Onsager reciprocity is not an input. Stokes–Einstein is a different
  * equation. The overlay formalRef is `PhysJS.EinsteinRelation.diffusion_eq`.
@@ -27,6 +28,9 @@ export function evaluateEinsteinRelation({ mu_m2_per_Vs, T_K, q_C, }) {
     if (!Number.isFinite(q_C) || q_C === 0) {
         throw new Error('evaluateEinsteinRelation: q_C must be finite and nonzero');
     }
+    if (mu_m2_per_Vs * q_C < 0) {
+        throw new Error('evaluateEinsteinRelation: mu_m2_per_Vs and q_C must have the same sign');
+    }
     const D_m2_per_s = (mu_m2_per_Vs * K_B_SI * T_K) / q_C;
     return { mu_m2_per_Vs, T_K, q_C, D_m2_per_s };
 }

package/dist/bridges/be70-einstein-relation.js.map

@@ -1 +1 @@
-{"version":3,"file":"be70-einstein-relation.js","sourceRoot":"","sources":["../../src/bridges/be70-einstein-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AA2B9C;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EACvC,YAAY,EACZ,GAAG,EACH,GAAG,GACoB;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,YAAY,GAAG,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IACvD,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC"}
+{"version":3,"file":"be70-einstein-relation.js","sourceRoot":"","sources":["../../src/bridges/be70-einstein-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AA2B9C;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EACvC,YAAY,EACZ,GAAG,EACH,GAAG,GACoB;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,YAAY,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAC5F,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,YAAY,GAAG,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IACvD,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC"}

package/dist/bridges/be74-magnetic-pressure.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Inputs for {@link evaluateMagneticPressure}.
+ * @public
+ */
+export interface MagneticPressureInputs {
+    /** Magnetic flux density, tesla. The formula uses `B²`. */
+    readonly B_T: number;
+}
+/**
+ * Result of {@link evaluateMagneticPressure}.
+ * @public
+ */
+export interface MagneticPressureResult {
+    readonly B_T: number;
+    /** Magnetic pressure, pascal. */
+    readonly p_Pa: number;
+}
+/**
+ * Evaluate `p_B = B² / (2 μ0)`.
+ *
+ * The factor 2 is the stored-energy half of the battery work. It is not
+ * recovered from the dimensions of B and μ0.
+ *
+ * @public
+ */
+export declare function evaluateMagneticPressure({ B_T }: MagneticPressureInputs): MagneticPressureResult;
+//# sourceMappingURL=be74-magnetic-pressure.d.ts.map

package/dist/bridges/be74-magnetic-pressure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be74-magnetic-pressure.d.ts","sourceRoot":"","sources":["../../src/bridges/be74-magnetic-pressure.ts"],"names":[],"mappings":"AAcA;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,GAAG,EAAE,EAAE,sBAAsB,GAAG,sBAAsB,CAMhG"}

package/dist/bridges/be74-magnetic-pressure.js

@@ -0,0 +1,29 @@
+/**
+ * BE-74 — magnetic pressure of a long solenoid,
+ *   p_B = B² / (2 μ0).
+ *
+ * The 2 is the inductor integral U = (L/2) I². Homogeneity in B and μ0
+ * only gives p = C B²/μ0. C = 1 is the battery work per volume, not this
+ * pressure. `μ0` is `1/(ε0 c²)`, the same product the Alfvén evaluator uses.
+ *
+ * The overlay formalRef is `PhysJS.MagneticPressure.pressure_eq`.
+ *
+ * @module bridges/be74-magnetic-pressure
+ */
+import { MU0_SI } from '../dimensional/formula-names.js';
+/**
+ * Evaluate `p_B = B² / (2 μ0)`.
+ *
+ * The factor 2 is the stored-energy half of the battery work. It is not
+ * recovered from the dimensions of B and μ0.
+ *
+ * @public
+ */
+export function evaluateMagneticPressure({ B_T }) {
+    if (!Number.isFinite(B_T)) {
+        throw new Error('evaluateMagneticPressure: B_T must be finite');
+    }
+    const p_Pa = (B_T * B_T) / (2 * MU0_SI);
+    return { B_T, p_Pa };
+}
+//# sourceMappingURL=be74-magnetic-pressure.js.map

package/dist/bridges/be74-magnetic-pressure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be74-magnetic-pressure.js","sourceRoot":"","sources":["../../src/bridges/be74-magnetic-pressure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AAqBzD;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAE,GAAG,EAA0B;IACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;IACxC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvB,CAAC"}

package/dist/bridges/be75-london-penetration.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Inputs for {@link evaluateLondonPenetration}.
+ * @public
+ */
+export interface LondonPenetrationInputs {
+    /** Carrier mass, kg. */
+    readonly m_kg: number;
+    /** Carrier number density, m⁻³. */
+    readonly n_per_m3: number;
+}
+/**
+ * Result of {@link evaluateLondonPenetration}.
+ * @public
+ */
+export interface LondonPenetrationResult {
+    readonly m_kg: number;
+    readonly n_per_m3: number;
+    /** London depth, metres. */
+    readonly lambda_m: number;
+}
+/**
+ * Evaluate `λ_L = √(m / (μ0 n e²))` with `e` the elementary charge.
+ *
+ * @public
+ */
+export declare function evaluateLondonPenetration({ m_kg, n_per_m3, }: LondonPenetrationInputs): LondonPenetrationResult;
+//# sourceMappingURL=be75-london-penetration.d.ts.map

package/dist/bridges/be75-london-penetration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be75-london-penetration.d.ts","sourceRoot":"","sources":["../../src/bridges/be75-london-penetration.ts"],"names":[],"mappings":"AAgBA;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,wBAAwB;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,4BAA4B;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EACxC,IAAI,EACJ,QAAQ,GACT,EAAE,uBAAuB,GAAG,uBAAuB,CASnD"}