universal-physics-tensor 7.0.0 → 8.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +5 -5
- package/data/atlas/atlas.json +3044 -0
- package/data/atlas/atlas.jsonld +1819 -0
- package/data/atlas/diffusion.json +1084 -0
- package/data/atlas/oscillators.json +1041 -0
- package/data/atlas/qudt-resolution.json +60 -0
- package/data/atlas/waves.json +916 -0
- package/data/atlas/witness-results.json +249 -0
- package/data/bridge-catalog.json +15273 -0
- package/data/bridge-catalog.schema.json +116 -0
- package/data/confrontation-sources.md +137 -0
- package/data/quantities.json +9743 -0
- package/data/schemas/atlas-record.v0.json +236 -0
- package/data/schemas/discovery-run.v0.json +203 -0
- package/dist/atlas/catalog-formal-ref.d.ts +6 -12
- package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
- package/dist/atlas/catalog-formal-ref.js +15 -25
- package/dist/atlas/catalog-formal-ref.js.map +1 -1
- package/dist/atlas/physjs-entries.generated.d.ts +193 -1
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +217 -1
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +4 -97
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/bridges/caller-table.d.ts +56 -0
- package/dist/bridges/caller-table.d.ts.map +1 -0
- package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
- package/dist/bridges/caller-table.js.map +1 -0
- package/dist/bridges/catalog-load.d.ts +34 -0
- package/dist/bridges/catalog-load.d.ts.map +1 -0
- package/dist/bridges/catalog-load.js +89 -0
- package/dist/bridges/catalog-load.js.map +1 -0
- package/dist/bridges/catalog-types.d.ts +119 -0
- package/dist/bridges/catalog-types.d.ts.map +1 -0
- package/dist/bridges/catalog-types.js +8 -0
- package/dist/bridges/catalog-types.js.map +1 -0
- package/dist/bridges/coefficient-statement.d.ts +27 -0
- package/dist/bridges/coefficient-statement.d.ts.map +1 -0
- package/dist/bridges/coefficient-statement.js +33 -0
- package/dist/bridges/coefficient-statement.js.map +1 -0
- package/dist/bridges/confrontations.d.ts +8 -25
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +26 -714
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +13 -3
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +14 -27
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +83 -415
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +19 -0
- package/dist/bridges/expr-parse.d.ts.map +1 -0
- package/dist/bridges/expr-parse.js +269 -0
- package/dist/bridges/expr-parse.js.map +1 -0
- package/dist/bridges/holds.d.ts +22 -0
- package/dist/bridges/holds.d.ts.map +1 -0
- package/dist/bridges/holds.js +266 -0
- package/dist/bridges/holds.js.map +1 -0
- package/dist/bridges/index.d.ts +18 -354
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +17 -3312
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/relation-eval.d.ts +23 -0
- package/dist/bridges/relation-eval.d.ts.map +1 -0
- package/dist/bridges/relation-eval.js +136 -0
- package/dist/bridges/relation-eval.js.map +1 -0
- package/dist/bridges/rhs-registry.d.ts +7 -21
- package/dist/bridges/rhs-registry.d.ts.map +1 -1
- package/dist/bridges/rhs-registry.js +13 -123
- package/dist/bridges/rhs-registry.js.map +1 -1
- package/dist/bridges/sensitivity.d.ts +11 -3
- package/dist/bridges/sensitivity.d.ts.map +1 -1
- package/dist/bridges/sensitivity.js +20 -36
- package/dist/bridges/sensitivity.js.map +1 -1
- package/dist/bridges/types.d.ts +52 -0
- package/dist/bridges/types.d.ts.map +1 -0
- package/dist/bridges/types.js +10 -0
- package/dist/bridges/types.js.map +1 -0
- package/dist/canonical/entries/atomic.js +1 -1
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +1 -1
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +1 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +1 -1
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.js +1 -1
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +1 -1
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.js +1 -1
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +1 -1
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +2 -2
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/normal-form.d.ts.map +1 -1
- package/dist/canonical/normal-form.js +9 -4
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/cases/kepler-rv.d.ts.map +1 -1
- package/dist/cases/kepler-rv.js +7 -3
- package/dist/cases/kepler-rv.js.map +1 -1
- package/dist/cases/resistor-noise.d.ts.map +1 -1
- package/dist/cases/resistor-noise.js +10 -5
- package/dist/cases/resistor-noise.js.map +1 -1
- package/dist/cli/commands/atlas.js +1 -1
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/chain.js +2 -2
- package/dist/cli/commands/chain.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +17 -17
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +2 -0
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +19 -14
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +2 -0
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +5 -4
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli-api.d.ts +7 -2
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +7 -2
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +5 -3
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +61 -6
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts +11 -4
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +78 -47
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +26 -22
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +2 -0
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +26 -3
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +6 -0
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/frontier-account.d.ts.map +1 -1
- package/dist/composition/frontier-account.js +1 -1
- package/dist/composition/frontier-account.js.map +1 -1
- package/dist/composition/index.d.ts +3 -14
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +3 -14
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/quantities.d.ts +11 -27
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +29 -29
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/user-equation.d.ts +3 -10
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +3 -28
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +14 -0
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +16 -0
- package/dist/core/constants.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +1 -0
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-gradient.d.ts +1 -1
- package/dist/diff/bridge-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-specs.d.ts +32 -62
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +55 -76
- package/dist/diff/bridge-specs.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +9 -26
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +22 -227
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/formula-names.d.ts +17 -1
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +39 -8
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/hyphen-names.d.ts +13 -0
- package/dist/dimensional/hyphen-names.d.ts.map +1 -0
- package/dist/dimensional/hyphen-names.js +27 -0
- package/dist/dimensional/hyphen-names.js.map +1 -0
- package/dist/dimensional/quantity-registry.d.ts +33 -0
- package/dist/dimensional/quantity-registry.d.ts.map +1 -0
- package/dist/dimensional/quantity-registry.js +49 -0
- package/dist/dimensional/quantity-registry.js.map +1 -0
- package/dist/dimensional/units.d.ts +4 -2
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +202 -44
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +19 -61
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +11 -48
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +72 -21
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
- package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
- package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
- package/dist/numerical/covariant-eikonal.js.map +1 -0
- package/dist/numerical/derivative-lowering.d.ts +2 -1
- package/dist/numerical/derivative-lowering.d.ts.map +1 -1
- package/dist/numerical/derivative-lowering.js +2 -1
- package/dist/numerical/derivative-lowering.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +6 -3
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +6 -3
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/index.d.ts +4 -3
- package/dist/numerical/index.d.ts.map +1 -1
- package/dist/numerical/index.js +2 -2
- package/dist/numerical/index.js.map +1 -1
- package/dist/numerical/null-ic.d.ts +6 -5
- package/dist/numerical/null-ic.d.ts.map +1 -1
- package/dist/numerical/null-ic.js +6 -5
- package/dist/numerical/null-ic.js.map +1 -1
- package/dist/numerical/null-ray-integrator.js +1 -1
- package/dist/numerical/perihelion-finder.d.ts +5 -4
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +5 -4
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/package.json +2 -1
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
- package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
- package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
- package/dist/bridges/be101-bkt-jump.d.ts +0 -24
- package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
- package/dist/bridges/be101-bkt-jump.js +0 -29
- package/dist/bridges/be101-bkt-jump.js.map +0 -1
- package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
- package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
- package/dist/bridges/be102-landauer-conductance.js +0 -28
- package/dist/bridges/be102-landauer-conductance.js.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
- package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.js +0 -39
- package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
- package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
- package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
- package/dist/bridges/be21-kss-confrontation.js +0 -38
- package/dist/bridges/be21-kss-confrontation.js.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
- package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.js +0 -196
- package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
- package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
- package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
- package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.js +0 -100
- package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
- package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.js +0 -34
- package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
- package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.js +0 -37
- package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
- package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.js +0 -52
- package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
- package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.js +0 -70
- package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
- package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall.d.ts +0 -24
- package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall.js +0 -46
- package/dist/bridges/be55-quantum-hall.js.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
- package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.js +0 -31
- package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
- package/dist/bridges/be56-casimir.d.ts +0 -18
- package/dist/bridges/be56-casimir.d.ts.map +0 -1
- package/dist/bridges/be56-casimir.js +0 -36
- package/dist/bridges/be56-casimir.js.map +0 -1
- package/dist/bridges/be57-unruh.d.ts +0 -18
- package/dist/bridges/be57-unruh.d.ts.map +0 -1
- package/dist/bridges/be57-unruh.js +0 -38
- package/dist/bridges/be57-unruh.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
- package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.js +0 -36
- package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
- package/dist/bridges/be59-ac-josephson.d.ts +0 -22
- package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson.js +0 -35
- package/dist/bridges/be59-ac-josephson.js.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
- package/dist/bridges/be60-fractional-qh.d.ts +0 -20
- package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh.js +0 -33
- package/dist/bridges/be60-fractional-qh.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
- package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.js +0 -41
- package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
- package/dist/bridges/be62-bcs-gap.d.ts +0 -22
- package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap.js +0 -38
- package/dist/bridges/be62-bcs-gap.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
- package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
- package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
- package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
- package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.js +0 -35
- package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
- package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
- package/dist/bridges/be65-jeans-mass.d.ts +0 -24
- package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass.js +0 -38
- package/dist/bridges/be65-jeans-mass.js.map +0 -1
- package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
- package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
- package/dist/bridges/be66-radiation-pressure.js +0 -37
- package/dist/bridges/be66-radiation-pressure.js.map +0 -1
- package/dist/bridges/be67-alfven-speed.d.ts +0 -41
- package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
- package/dist/bridges/be67-alfven-speed.js +0 -50
- package/dist/bridges/be67-alfven-speed.js.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
- package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
- package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
- package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.js +0 -33
- package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
- package/dist/bridges/be70-einstein-relation.d.ts +0 -30
- package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
- package/dist/bridges/be70-einstein-relation.js +0 -41
- package/dist/bridges/be70-einstein-relation.js.map +0 -1
- package/dist/bridges/be71-clapeyron.d.ts +0 -43
- package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
- package/dist/bridges/be71-clapeyron.js +0 -32
- package/dist/bridges/be71-clapeyron.js.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
- package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.js +0 -32
- package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
- package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.js +0 -31
- package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
- package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.js +0 -29
- package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
- package/dist/bridges/be75-london-penetration.d.ts +0 -27
- package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
- package/dist/bridges/be75-london-penetration.js +0 -31
- package/dist/bridges/be75-london-penetration.js.map +0 -1
- package/dist/bridges/be76-plasma-beta.d.ts +0 -32
- package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
- package/dist/bridges/be76-plasma-beta.js +0 -34
- package/dist/bridges/be76-plasma-beta.js.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
- package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.js +0 -39
- package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
- package/dist/bridges/be78-euler-buckling.d.ts +0 -44
- package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
- package/dist/bridges/be78-euler-buckling.js +0 -33
- package/dist/bridges/be78-euler-buckling.js.map +0 -1
- package/dist/bridges/be79-pull-in.d.ts +0 -33
- package/dist/bridges/be79-pull-in.d.ts.map +0 -1
- package/dist/bridges/be79-pull-in.js +0 -35
- package/dist/bridges/be79-pull-in.js.map +0 -1
- package/dist/bridges/be80-mott-gurney.d.ts +0 -52
- package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
- package/dist/bridges/be80-mott-gurney.js +0 -38
- package/dist/bridges/be80-mott-gurney.js.map +0 -1
- package/dist/bridges/be81-child-langmuir.d.ts +0 -33
- package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
- package/dist/bridges/be81-child-langmuir.js +0 -38
- package/dist/bridges/be81-child-langmuir.js.map +0 -1
- package/dist/bridges/be82-shockley-diode.d.ts +0 -32
- package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
- package/dist/bridges/be82-shockley-diode.js +0 -37
- package/dist/bridges/be82-shockley-diode.js.map +0 -1
- package/dist/bridges/be83-thomson.d.ts +0 -46
- package/dist/bridges/be83-thomson.d.ts.map +0 -1
- package/dist/bridges/be83-thomson.js +0 -32
- package/dist/bridges/be83-thomson.js.map +0 -1
- package/dist/bridges/be84-four-point.d.ts +0 -45
- package/dist/bridges/be84-four-point.d.ts.map +0 -1
- package/dist/bridges/be84-four-point.js +0 -34
- package/dist/bridges/be84-four-point.js.map +0 -1
- package/dist/bridges/be85-shot-noise.d.ts +0 -30
- package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
- package/dist/bridges/be85-shot-noise.js +0 -32
- package/dist/bridges/be85-shot-noise.js.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
- package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.js +0 -30
- package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
- package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
- package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
- package/dist/bridges/be87-capacitor-noise.js +0 -32
- package/dist/bridges/be87-capacitor-noise.js.map +0 -1
- package/dist/bridges/be88-fermi-sea.d.ts +0 -31
- package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
- package/dist/bridges/be88-fermi-sea.js +0 -35
- package/dist/bridges/be88-fermi-sea.js.map +0 -1
- package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
- package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
- package/dist/bridges/be89-debye-cutoff.js +0 -28
- package/dist/bridges/be89-debye-cutoff.js.map +0 -1
- package/dist/bridges/be90-debye-heat.d.ts +0 -30
- package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
- package/dist/bridges/be90-debye-heat.js +0 -35
- package/dist/bridges/be90-debye-heat.js.map +0 -1
- package/dist/bridges/be91-einstein-solid.d.ts +0 -30
- package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
- package/dist/bridges/be91-einstein-solid.js +0 -37
- package/dist/bridges/be91-einstein-solid.js.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
- package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.js +0 -34
- package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
- package/dist/bridges/be93-curie-weiss.d.ts +0 -41
- package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
- package/dist/bridges/be93-curie-weiss.js +0 -45
- package/dist/bridges/be93-curie-weiss.js.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
- package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
- package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
- package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.js +0 -32
- package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
- package/dist/bridges/be96-upper-critical.d.ts +0 -24
- package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
- package/dist/bridges/be96-upper-critical.js +0 -27
- package/dist/bridges/be96-upper-critical.js.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
- package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
- package/dist/bridges/be98-bcs-jump.d.ts +0 -40
- package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
- package/dist/bridges/be98-bcs-jump.js +0 -29
- package/dist/bridges/be98-bcs-jump.js.map +0 -1
- package/dist/bridges/be99-mass-action.d.ts +0 -33
- package/dist/bridges/be99-mass-action.d.ts.map +0 -1
- package/dist/bridges/be99-mass-action.js +0 -37
- package/dist/bridges/be99-mass-action.js.map +0 -1
- package/dist/bridges/bridge-equations.d.ts +0 -225
- package/dist/bridges/bridge-equations.d.ts.map +0 -1
- package/dist/bridges/bridge-equations.js +0 -226
- package/dist/bridges/bridge-equations.js.map +0 -1
- package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
- package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
- package/dist/bridges/condensed-r8-catalog.js +0 -272
- package/dist/bridges/condensed-r8-catalog.js.map +0 -1
- package/dist/bridges/condensed-r8.d.ts +0 -260
- package/dist/bridges/condensed-r8.d.ts.map +0 -1
- package/dist/bridges/condensed-r8.js +0 -329
- package/dist/bridges/condensed-r8.js.map +0 -1
- package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
- package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
- package/dist/bridges/engineering-r7-catalog.js +0 -172
- package/dist/bridges/engineering-r7-catalog.js.map +0 -1
- package/dist/bridges/engineering-r7.d.ts +0 -152
- package/dist/bridges/engineering-r7.d.ts.map +0 -1
- package/dist/bridges/engineering-r7.js +0 -208
- package/dist/bridges/engineering-r7.js.map +0 -1
- package/dist/bridges/equations/_be-helpers.d.ts +0 -80
- package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
- package/dist/bridges/equations/_be-helpers.js +0 -103
- package/dist/bridges/equations/_be-helpers.js.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
- package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
- package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
- package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.js +0 -120
- package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
- package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
- package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
- package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
- package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
- package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
- package/dist/bridges/equations/be-15-emergence.js +0 -208
- package/dist/bridges/equations/be-15-emergence.js.map +0 -1
- package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
- package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
- package/dist/bridges/equations/be-16-landauer.js +0 -198
- package/dist/bridges/equations/be-16-landauer.js.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
- package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
- package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
- package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
- package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
- package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.js +0 -97
- package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
- package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
- package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
- package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
- package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
- package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
- package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.js +0 -255
- package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
- package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.js +0 -124
- package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
- package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
- package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
- package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
- package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
- package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.js +0 -127
- package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
- package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
- package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
- package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
- package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
- package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
- package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
- package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
- package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
- package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
- package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
- package/dist/bridges/equations/be-38-mond.d.ts +0 -94
- package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
- package/dist/bridges/equations/be-38-mond.js +0 -114
- package/dist/bridges/equations/be-38-mond.js.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
- package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
- package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
- package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
- package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
- package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
- package/dist/bridges/equations/be-41-swampland.js +0 -108
- package/dist/bridges/equations/be-41-swampland.js.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
- package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
- package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.js +0 -106
- package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
- package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.js +0 -177
- package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
- package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
- package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
- package/dist/bridges/equations/be-45-tcc.js +0 -149
- package/dist/bridges/equations/be-45-tcc.js.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
- package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
- package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
- package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.js +0 -103
- package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
- package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
- package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
- package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
- package/dist/bridges/gravitational-lensing.d.ts +0 -73
- package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
- package/dist/bridges/gravitational-lensing.js +0 -59
- package/dist/bridges/gravitational-lensing.js.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
- package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.js +0 -54
- package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
- package/dist/bridges/perihelion-precession.d.ts +0 -87
- package/dist/bridges/perihelion-precession.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession.js +0 -82
- package/dist/bridges/perihelion-precession.js.map +0 -1
- package/dist/bridges/plasma-catalog.d.ts +0 -29
- package/dist/bridges/plasma-catalog.d.ts.map +0 -1
- package/dist/bridges/plasma-catalog.js +0 -427
- package/dist/bridges/plasma-catalog.js.map +0 -1
- package/dist/bridges/plasma-space.d.ts +0 -310
- package/dist/bridges/plasma-space.d.ts.map +0 -1
- package/dist/bridges/plasma-space.js +0 -262
- package/dist/bridges/plasma-space.js.map +0 -1
- package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
- package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
- package/dist/composition/edges/_catalog-helpers.js +0 -90
- package/dist/composition/edges/_catalog-helpers.js.map +0 -1
- package/dist/composition/edges/applied-physicist.d.ts +0 -181
- package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
- package/dist/composition/edges/applied-physicist.js +0 -843
- package/dist/composition/edges/applied-physicist.js.map +0 -1
- package/dist/composition/edges/calibration.d.ts +0 -107
- package/dist/composition/edges/calibration.d.ts.map +0 -1
- package/dist/composition/edges/calibration.js +0 -559
- package/dist/composition/edges/calibration.js.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
- package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.js +0 -257
- package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
- package/dist/composition/edges/catalog-fields.d.ts +0 -68
- package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
- package/dist/composition/edges/catalog-fields.js +0 -207
- package/dist/composition/edges/catalog-fields.js.map +0 -1
- package/dist/composition/edges/catalog-full.d.ts +0 -43
- package/dist/composition/edges/catalog-full.d.ts.map +0 -1
- package/dist/composition/edges/catalog-full.js +0 -73
- package/dist/composition/edges/catalog-full.js.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
- package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
- package/dist/composition/edges/catalog-quantum.d.ts +0 -85
- package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
- package/dist/composition/edges/catalog-quantum.js +0 -297
- package/dist/composition/edges/catalog-quantum.js.map +0 -1
- package/dist/composition/edges/catalog-tranche.d.ts +0 -108
- package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
- package/dist/composition/edges/catalog-tranche.js +0 -304
- package/dist/composition/edges/catalog-tranche.js.map +0 -1
- package/dist/composition/edges/condensed-r5.d.ts +0 -105
- package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r5.js +0 -505
- package/dist/composition/edges/condensed-r5.js.map +0 -1
- package/dist/composition/edges/condensed-r8.d.ts +0 -30
- package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r8.js +0 -325
- package/dist/composition/edges/condensed-r8.js.map +0 -1
- package/dist/composition/edges/engineering-r7.d.ts +0 -20
- package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
- package/dist/composition/edges/engineering-r7.js +0 -262
- package/dist/composition/edges/engineering-r7.js.map +0 -1
- package/dist/composition/edges/plasma-space.d.ts +0 -50
- package/dist/composition/edges/plasma-space.d.ts.map +0 -1
- package/dist/composition/edges/plasma-space.js +0 -481
- package/dist/composition/edges/plasma-space.js.map +0 -1
- package/dist/composition/edges/proved-seeds.d.ts +0 -39
- package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
- package/dist/composition/edges/proved-seeds.js +0 -197
- package/dist/composition/edges/proved-seeds.js.map +0 -1
- package/dist/composition/quantities/_dims.d.ts +0 -45
- package/dist/composition/quantities/_dims.d.ts.map +0 -1
- package/dist/composition/quantities/_dims.js +0 -55
- package/dist/composition/quantities/_dims.js.map +0 -1
- package/dist/composition/quantities/applied-physicist.d.ts +0 -166
- package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
- package/dist/composition/quantities/applied-physicist.js +0 -543
- package/dist/composition/quantities/applied-physicist.js.map +0 -1
- package/dist/composition/quantities/common.d.ts +0 -69
- package/dist/composition/quantities/common.d.ts.map +0 -1
- package/dist/composition/quantities/common.js +0 -210
- package/dist/composition/quantities/common.js.map +0 -1
- package/dist/composition/quantities/condensed-matter.d.ts +0 -79
- package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-matter.js +0 -238
- package/dist/composition/quantities/condensed-matter.js.map +0 -1
- package/dist/composition/quantities/condensed-r5.d.ts +0 -110
- package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r5.js +0 -359
- package/dist/composition/quantities/condensed-r5.js.map +0 -1
- package/dist/composition/quantities/condensed-r8.d.ts +0 -96
- package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r8.js +0 -107
- package/dist/composition/quantities/condensed-r8.js.map +0 -1
- package/dist/composition/quantities/engineering-r7.d.ts +0 -82
- package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
- package/dist/composition/quantities/engineering-r7.js +0 -92
- package/dist/composition/quantities/engineering-r7.js.map +0 -1
- package/dist/composition/quantities/fields.d.ts +0 -69
- package/dist/composition/quantities/fields.d.ts.map +0 -1
- package/dist/composition/quantities/fields.js +0 -210
- package/dist/composition/quantities/fields.js.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
- package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.js +0 -215
- package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
- package/dist/composition/quantities/plasma-space.d.ts +0 -178
- package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
- package/dist/composition/quantities/plasma-space.js +0 -185
- package/dist/composition/quantities/plasma-space.js.map +0 -1
- package/dist/composition/quantities/quantum.d.ts +0 -63
- package/dist/composition/quantities/quantum.d.ts.map +0 -1
- package/dist/composition/quantities/quantum.js +0 -190
- package/dist/composition/quantities/quantum.js.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
* and a hand-edited theorem fails `atlas:formal-gate`.
|
|
5
5
|
*/
|
|
6
6
|
/** PhysJS commit recorded by the vendored manifest. */
|
|
7
|
-
export declare const PHYSJS_COMMIT = "
|
|
7
|
+
export declare const PHYSJS_COMMIT = "10e48f140c0e9fad3c50e5e5538124c52b3e732c";
|
|
8
8
|
/** Lean toolchain recorded by the vendored manifest. */
|
|
9
9
|
export declare const PHYSJS_TOOLCHAIN = "leanprover/lean4:v4.34.1";
|
|
10
10
|
/** Mathlib version recorded by the vendored manifest. */
|
|
@@ -1218,5 +1218,197 @@ export declare const PHYSJS_ENTRIES: readonly [{
|
|
|
1218
1218
|
readonly coverage: "covers its statement only";
|
|
1219
1219
|
readonly leanProof: "complete";
|
|
1220
1220
|
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1221
|
+
}, {
|
|
1222
|
+
readonly key: "be-147";
|
|
1223
|
+
readonly bridgeId: "be-147";
|
|
1224
|
+
readonly theorem: "PhysJS.Arrhenius.arrhenius_eq";
|
|
1225
|
+
readonly covers: "derivation-step: k = A exp(−Ea/(R T)) with R = N_A k_B is the molecular factor exp(−ε/(k_B T)) at ε = Ea/N_A. The prefactor A is temperature-independent here. Not the Eyring identification of A";
|
|
1226
|
+
readonly coverage: "covers its statement only";
|
|
1227
|
+
readonly leanProof: "complete";
|
|
1228
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1229
|
+
}, {
|
|
1230
|
+
readonly key: "be-148";
|
|
1231
|
+
readonly bridgeId: "be-148";
|
|
1232
|
+
readonly theorem: "PhysJS.Eyring.eyring_eq";
|
|
1233
|
+
readonly covers: "derivation-step: k = (k_B T/h) exp(−ΔG‡/(k_B T)). The molar form calls PhysJS.Arrhenius.arrhenius_eq at R = N_A k_B. The logarithmic derivative is Ea = ΔH‡ + R T. That Ea is not the constant in k = A exp(−Ea/(R T)) at A = (k_B T/h) exp(ΔS‡/R); those substitutions differ by exp(−1). The transmission coefficient is 1";
|
|
1234
|
+
readonly coverage: "covers its statement only";
|
|
1235
|
+
readonly leanProof: "complete";
|
|
1236
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1237
|
+
}, {
|
|
1238
|
+
readonly key: "be-149";
|
|
1239
|
+
readonly bridgeId: "be-149";
|
|
1240
|
+
readonly theorem: "PhysJS.VanTHoff.vant_hoff";
|
|
1241
|
+
readonly covers: "derivation-step: equilibrium_log is PhysJS.GibbsIsotherm.gibbs_eq, so ln K = −ΔG°/(R T). At ΔG° = ΔH° − T ΔS° with both constant, d ln K/dT = ΔH°/(R T²). Not a second proof of be-150 and not a van 't Hoff plot";
|
|
1242
|
+
readonly coverage: "covers its statement only";
|
|
1243
|
+
readonly leanProof: "complete";
|
|
1244
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1245
|
+
}, {
|
|
1246
|
+
readonly key: "be-150";
|
|
1247
|
+
readonly bridgeId: "be-150";
|
|
1248
|
+
readonly theorem: "PhysJS.GibbsIsotherm.gibbs_eq";
|
|
1249
|
+
readonly covers: "derivation-step: Σ ν_i μ_i = 0 with μ_i = μ_i° + R T ln a_i gives ΔG° = −R T ln K for K > 0 and T ≠ 0. Not an activity model";
|
|
1250
|
+
readonly coverage: "covers its statement only";
|
|
1251
|
+
readonly leanProof: "complete";
|
|
1252
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1253
|
+
}, {
|
|
1254
|
+
readonly key: "be-151";
|
|
1255
|
+
readonly bridgeId: "be-151";
|
|
1256
|
+
readonly theorem: "PhysJS.NernstGibbs.nernst_eq";
|
|
1257
|
+
readonly covers: "derivation-step: the cell standard state is PhysJS.GibbsIsotherm.gibbs_eq, and ΔG = −n F E with F = N_A e gives E = E° − (R T/(n F)) ln Q. Not a second proof of be-150";
|
|
1258
|
+
readonly coverage: "covers its statement only";
|
|
1259
|
+
readonly leanProof: "complete";
|
|
1260
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1261
|
+
}, {
|
|
1262
|
+
readonly key: "be-152";
|
|
1263
|
+
readonly bridgeId: "be-152";
|
|
1264
|
+
readonly theorem: "PhysJS.ClausiusClapeyron.integrated_eq";
|
|
1265
|
+
readonly covers: "derivation-step: ideal_vapor_slope calls PhysJS.Clapeyron.slope_eq, be-71, and substitutes Δv = R T/P. Constant latent heat integrates to ln(P2/P1) = −(ΔH/R)(1/T2 − 1/T1). Both temperatures are positive. Not a second proof of be-71. A separate liquid volume is not this row";
|
|
1266
|
+
readonly coverage: "covers its statement only";
|
|
1267
|
+
readonly leanProof: "complete";
|
|
1268
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1269
|
+
}, {
|
|
1270
|
+
readonly key: "be-153";
|
|
1271
|
+
readonly bridgeId: "be-153";
|
|
1272
|
+
readonly theorem: "PhysJS.Raoult.raoult_eq";
|
|
1273
|
+
readonly covers: "derivation-step: PhysJS.GibbsIsotherm.gibbs_eq on the ideal mixture and on the pure liquid gives P = x P*. The liquid activity is the mole fraction and the vapor activity is P/P°. Not a second proof of be-150. A nonideal activity is not this row";
|
|
1274
|
+
readonly coverage: "covers its statement only";
|
|
1275
|
+
readonly leanProof: "complete";
|
|
1276
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1277
|
+
}, {
|
|
1278
|
+
readonly key: "be-154";
|
|
1279
|
+
readonly bridgeId: "be-154";
|
|
1280
|
+
readonly theorem: "PhysJS.Prandtl.prandtl_eq";
|
|
1281
|
+
readonly covers: "derivation-step: the ratio identity Pr = ν/α with ν = μ/ρ and α = k/(ρ c_p) is the product Pr k = μ c_p. Not a heat-transfer correlation and not the Reynolds analogy of be-86";
|
|
1282
|
+
readonly coverage: "covers its statement only";
|
|
1283
|
+
readonly leanProof: "complete";
|
|
1284
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1285
|
+
}, {
|
|
1286
|
+
readonly key: "be-155";
|
|
1287
|
+
readonly bridgeId: "be-155";
|
|
1288
|
+
readonly theorem: "PhysJS.ReynoldsNumber.reynolds_eq";
|
|
1289
|
+
readonly covers: "derivation-step: inertial flux over viscous flux is Re = (ρ v²)/(μ v/L) = v L/ν with ν = μ/ρ, so Re μ = ρ v L. Not a friction correlation and not the pipe factor of be-77";
|
|
1290
|
+
readonly coverage: "covers its statement only";
|
|
1291
|
+
readonly leanProof: "complete";
|
|
1292
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1293
|
+
}, {
|
|
1294
|
+
readonly key: "be-156";
|
|
1295
|
+
readonly bridgeId: "be-156";
|
|
1296
|
+
readonly theorem: "PhysJS.Biot.biot_eq";
|
|
1297
|
+
readonly covers: "derivation-step: with L_c = V/A, Bi = (L_c/k)/(1/h) = h V/(k A), so Bi k = h L_c. Not a lumped-capacitance criterion";
|
|
1298
|
+
readonly coverage: "covers its statement only";
|
|
1299
|
+
readonly leanProof: "complete";
|
|
1300
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1301
|
+
}, {
|
|
1302
|
+
readonly key: "be-157";
|
|
1303
|
+
readonly bridgeId: "be-157";
|
|
1304
|
+
readonly theorem: "PhysJS.Nusselt.nusselt_eq";
|
|
1305
|
+
readonly covers: "derivation-step: h = k (∂T/∂n)/ΔT makes Nu = h L/k equal to L (∂T/∂n)/ΔT, so Nu k = h L. Not a correlation for Nu";
|
|
1306
|
+
readonly coverage: "covers its statement only";
|
|
1307
|
+
readonly leanProof: "complete";
|
|
1308
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1309
|
+
}, {
|
|
1310
|
+
readonly key: "be-158";
|
|
1311
|
+
readonly bridgeId: "be-158";
|
|
1312
|
+
readonly theorem: "PhysJS.Schmidt.schmidt_eq";
|
|
1313
|
+
readonly covers: "derivation-step: Sc = ν/D with ν = μ/ρ is Sc ρ D = μ, and Le = α/D = Sc/Pr once Pr = ν/α. Not a mass-transfer correlation";
|
|
1314
|
+
readonly coverage: "covers its statement only";
|
|
1315
|
+
readonly leanProof: "complete";
|
|
1316
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1317
|
+
}, {
|
|
1318
|
+
readonly key: "be-159";
|
|
1319
|
+
readonly bridgeId: "be-159";
|
|
1320
|
+
readonly theorem: "PhysJS.Sherwood.sherwood_eq";
|
|
1321
|
+
readonly covers: "derivation-step: k_m = D (∂c/∂n)/Δc makes Sh = k_m L/D equal to L (∂c/∂n)/Δc, so Sh D = k_m L. Not a correlation for Sh";
|
|
1322
|
+
readonly coverage: "covers its statement only";
|
|
1323
|
+
readonly leanProof: "complete";
|
|
1324
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1325
|
+
}, {
|
|
1326
|
+
readonly key: "be-160";
|
|
1327
|
+
readonly bridgeId: "be-160";
|
|
1328
|
+
readonly theorem: "PhysJS.FourierConduction.fourier_eq";
|
|
1329
|
+
readonly covers: "derivation-step: a constant flux q = −k dT/dx integrates to q L = −k (T(L) − T(0)). A temperature-dependent conductivity is not this row";
|
|
1330
|
+
readonly coverage: "covers its statement only";
|
|
1331
|
+
readonly leanProof: "complete";
|
|
1332
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1333
|
+
}, {
|
|
1334
|
+
readonly key: "be-161";
|
|
1335
|
+
readonly bridgeId: "be-161";
|
|
1336
|
+
readonly theorem: "PhysJS.NewtonCooling.newton_eq";
|
|
1337
|
+
readonly covers: "derivation-step: ρ c V dθ/dt = −h A θ integrates to θ(t) = θ(0) exp(−t/τ) with τ = ρ c V/(h A). Radiation in T⁴ is not this row";
|
|
1338
|
+
readonly coverage: "covers its statement only";
|
|
1339
|
+
readonly leanProof: "complete";
|
|
1340
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1341
|
+
}, {
|
|
1342
|
+
readonly key: "be-162";
|
|
1343
|
+
readonly bridgeId: "be-162";
|
|
1344
|
+
readonly theorem: "PhysJS.Otto.otto_eq";
|
|
1345
|
+
readonly covers: "derivation-step: the cold-air isentropic cycle at constant γ > 1 gives η = 1 − r^(1−γ). A temperature-dependent heat capacity is not this row";
|
|
1346
|
+
readonly coverage: "covers its statement only";
|
|
1347
|
+
readonly leanProof: "complete";
|
|
1348
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1349
|
+
}, {
|
|
1350
|
+
readonly key: "be-163";
|
|
1351
|
+
readonly bridgeId: "be-163";
|
|
1352
|
+
readonly theorem: "PhysJS.JouleThomson.joule_thomson_eq";
|
|
1353
|
+
readonly covers: "derivation-step: the enthalpy differential dh = c_p dT + (v − T (∂v/∂T)_p) dP is a hypothesis. It gives μ_JT c_p = T (∂v/∂T)_p − v, and the ideal-gas bracket v = R T/P vanishes. Not a measured inversion curve";
|
|
1354
|
+
readonly coverage: "covers its statement only";
|
|
1355
|
+
readonly leanProof: "complete";
|
|
1356
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1357
|
+
}, {
|
|
1358
|
+
readonly key: "be-164";
|
|
1359
|
+
readonly bridgeId: "be-164";
|
|
1360
|
+
readonly theorem: "PhysJS.PlanckSpectrum.planck_eq";
|
|
1361
|
+
readonly covers: "derivation-step: bose_factor proves 1/(e^x − 1) = Σ_{n≥1} e^{−n x}. The mode density 8 π ν²/c³, two polarizations, is a hypothesis. Their product is u (e^{hν/kT} − 1) c³ = 8 π h ν³. The frequency integral is be-165";
|
|
1362
|
+
readonly coverage: "covers its statement only";
|
|
1363
|
+
readonly leanProof: "complete";
|
|
1364
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1365
|
+
}, {
|
|
1366
|
+
readonly key: "be-165";
|
|
1367
|
+
readonly bridgeId: "be-165";
|
|
1368
|
+
readonly theorem: "PhysJS.StefanBoltzmann.stefan_boltzmann_eq";
|
|
1369
|
+
readonly covers: "derivation-step: ∫_0^∞ x³/(e^x − 1) dx = π⁴/15 from Σ n^{−4} = π⁴/90 and Γ(4) = 6. The hemisphere integrals give the factor c/4. With h = 2 π ℏ, σ = π² k_B⁴/(60 ℏ³ c²) = 2 π⁵ k_B⁴/(15 h³ c²). The mode density 8 π is the hypothesis of be-164. Not a radiometer measurement";
|
|
1370
|
+
readonly coverage: "covers its statement only";
|
|
1371
|
+
readonly leanProof: "complete";
|
|
1372
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1373
|
+
}, {
|
|
1374
|
+
readonly key: "be-166";
|
|
1375
|
+
readonly bridgeId: "be-166";
|
|
1376
|
+
readonly theorem: "PhysJS.WienDisplacement.wien_eq";
|
|
1377
|
+
readonly covers: "derivation-step: spectral(x) = x⁵/(e^x − 1) has derivative zero for x > 0 exactly when 5 − x = 5 exp(−x). That equation has a unique positive root and the root lies in (4, 5). The decimal is not evaluated. x = 0 is an extraneous root. The displacement constant is b k_B x = h c";
|
|
1378
|
+
readonly coverage: "covers its statement only";
|
|
1379
|
+
readonly leanProof: "complete";
|
|
1380
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1381
|
+
}, {
|
|
1382
|
+
readonly key: "be-167";
|
|
1383
|
+
readonly bridgeId: "be-167";
|
|
1384
|
+
readonly theorem: "PhysJS.SackurTetrode.sackur_tetrode";
|
|
1385
|
+
readonly covers: "derivation-step: n_Q = λ_T^{−3} uses PhysJS.ThermalDeBroglie.wavelength_eq, be-12. Stirling ln N! = N ln N − N is a hypothesis, and U = (3/2) N k_B T is equipartition. They give S = N k_B (ln(n_Q/n) + 5/2). Not a second proof of be-12 and not the Stirling series";
|
|
1386
|
+
readonly coverage: "covers its statement only";
|
|
1387
|
+
readonly leanProof: "complete";
|
|
1388
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1389
|
+
}, {
|
|
1390
|
+
readonly key: "be-168";
|
|
1391
|
+
readonly bridgeId: "be-168";
|
|
1392
|
+
readonly theorem: "PhysJS.Saha.saha_eq";
|
|
1393
|
+
readonly covers: "derivation-step: the thermal factor is PhysJS.ThermalDeBroglie.wavelength_eq, so K = (2 π m k_B T/h²)^{3/2} exp(−I/(k_B T)). The electron weight 2 and the internal partition functions are not in this statement. Not a second proof of be-12";
|
|
1394
|
+
readonly coverage: "covers its statement only";
|
|
1395
|
+
readonly leanProof: "complete";
|
|
1396
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1397
|
+
}, {
|
|
1398
|
+
readonly key: "be-169";
|
|
1399
|
+
readonly bridgeId: "be-169";
|
|
1400
|
+
readonly theorem: "PhysJS.RichardsonDushman.richardson_eq";
|
|
1401
|
+
readonly covers: "derivation-step: ∫_a^∞ exp(−c x) dx = exp(−c a)/c is proved. The current is the hypothesis 4 π m e/h³ times one factor k_B T from each tail, so J h³ exp(φ/(k_B T)) = 4 π m e k_B² T². Here e is the elementary charge. The Boltzmann tail replaces Fermi–Dirac and the reflection coefficient is 1";
|
|
1402
|
+
readonly coverage: "covers its statement only";
|
|
1403
|
+
readonly leanProof: "complete";
|
|
1404
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1405
|
+
}, {
|
|
1406
|
+
readonly key: "be-170";
|
|
1407
|
+
readonly bridgeId: "be-170";
|
|
1408
|
+
readonly theorem: "PhysJS.OnsagerReciprocity.onsager_eq";
|
|
1409
|
+
readonly covers: "derivation-step: the mixed partials of Φ = ½ L11 X1² + L12 X1 X2 + ½ L22 X2² are both L12, so L12 = L21. thermoelectric_instance applies PhysJS.KelvinRelation.peltier_eq, be-73, and does not re-prove Π = S T. An antisymmetric cross term produces no entropy. The magnetic case L12(B) = L21(−B) is not this row";
|
|
1410
|
+
readonly coverage: "covers its statement only";
|
|
1411
|
+
readonly leanProof: "complete";
|
|
1412
|
+
readonly axioms: readonly ["propext", "Classical.choice", "Quot.sound"];
|
|
1221
1413
|
}];
|
|
1222
1414
|
//# sourceMappingURL=physjs-entries.generated.d.ts.map
|
|
@@ -1 +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;;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"}
|
|
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;;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;;aAGpD,GAAG,EAAE,QAAQ;aACb,QAAQ,EAAE,QAAQ;aAClB,OAAO,EAAE,+BAA+B;aACxC,MAAM,EAAE,mMAAmM;aAC3M,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,8TAA8T;aACtU,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,mNAAmN;aAC3N,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,8HAA8H;aACtI,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,8BAA8B;aACvC,MAAM,EAAE,yKAAyK;aACjL,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,wCAAwC;aACjD,MAAM,EAAE,mRAAmR;aAC3R,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,uPAAuP;aAC/P,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,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,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,qBAAqB;aAC9B,MAAM,EAAE,sHAAsH;aAC9H,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,mHAAmH;aAC3H,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,2HAA2H;aACnI,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,yHAAyH;aACjI,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,0IAA0I;aAClJ,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,iIAAiI;aACzI,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,qBAAqB;aAC9B,MAAM,EAAE,+IAA+I;aACvJ,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,sCAAsC;aAC/C,MAAM,EAAE,kNAAkN;aAC1N,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,wNAAwN;aAChO,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,4CAA4C;aACrD,MAAM,EAAE,gRAAgR;aACxR,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,uRAAuR;aAC/R,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,wQAAwQ;aAChR,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,qBAAqB;aAC9B,MAAM,EAAE,gPAAgP;aACxP,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,wCAAwC;aACjD,MAAM,EAAE,qSAAqS;aAC7S,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,sCAAsC;aAC/C,MAAM,EAAE,sTAAsT;aAC9T,QAAQ,EAAE,2BAA2B;aACrC,SAAS,EAAE,UAAU;aACrB,MAAM,YAAG,SAAS,EAAE,kBAAkB,EAAE,YAAY;EAE9C,CAAC"}
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
* and a hand-edited theorem fails `atlas:formal-gate`.
|
|
5
5
|
*/
|
|
6
6
|
/** PhysJS commit recorded by the vendored manifest. */
|
|
7
|
-
export const PHYSJS_COMMIT = "
|
|
7
|
+
export const PHYSJS_COMMIT = "10e48f140c0e9fad3c50e5e5538124c52b3e732c";
|
|
8
8
|
/** Lean toolchain recorded by the vendored manifest. */
|
|
9
9
|
export const PHYSJS_TOOLCHAIN = "leanprover/lean4:v4.34.1";
|
|
10
10
|
/** Mathlib version recorded by the vendored manifest. */
|
|
@@ -1346,5 +1346,221 @@ export const PHYSJS_ENTRIES = [
|
|
|
1346
1346
|
leanProof: "complete",
|
|
1347
1347
|
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1348
1348
|
},
|
|
1349
|
+
{
|
|
1350
|
+
key: "be-147",
|
|
1351
|
+
bridgeId: "be-147",
|
|
1352
|
+
theorem: "PhysJS.Arrhenius.arrhenius_eq",
|
|
1353
|
+
covers: "derivation-step: k = A exp(−Ea/(R T)) with R = N_A k_B is the molecular factor exp(−ε/(k_B T)) at ε = Ea/N_A. The prefactor A is temperature-independent here. Not the Eyring identification of A",
|
|
1354
|
+
coverage: "covers its statement only",
|
|
1355
|
+
leanProof: "complete",
|
|
1356
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1357
|
+
},
|
|
1358
|
+
{
|
|
1359
|
+
key: "be-148",
|
|
1360
|
+
bridgeId: "be-148",
|
|
1361
|
+
theorem: "PhysJS.Eyring.eyring_eq",
|
|
1362
|
+
covers: "derivation-step: k = (k_B T/h) exp(−ΔG‡/(k_B T)). The molar form calls PhysJS.Arrhenius.arrhenius_eq at R = N_A k_B. The logarithmic derivative is Ea = ΔH‡ + R T. That Ea is not the constant in k = A exp(−Ea/(R T)) at A = (k_B T/h) exp(ΔS‡/R); those substitutions differ by exp(−1). The transmission coefficient is 1",
|
|
1363
|
+
coverage: "covers its statement only",
|
|
1364
|
+
leanProof: "complete",
|
|
1365
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1366
|
+
},
|
|
1367
|
+
{
|
|
1368
|
+
key: "be-149",
|
|
1369
|
+
bridgeId: "be-149",
|
|
1370
|
+
theorem: "PhysJS.VanTHoff.vant_hoff",
|
|
1371
|
+
covers: "derivation-step: equilibrium_log is PhysJS.GibbsIsotherm.gibbs_eq, so ln K = −ΔG°/(R T). At ΔG° = ΔH° − T ΔS° with both constant, d ln K/dT = ΔH°/(R T²). Not a second proof of be-150 and not a van 't Hoff plot",
|
|
1372
|
+
coverage: "covers its statement only",
|
|
1373
|
+
leanProof: "complete",
|
|
1374
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1375
|
+
},
|
|
1376
|
+
{
|
|
1377
|
+
key: "be-150",
|
|
1378
|
+
bridgeId: "be-150",
|
|
1379
|
+
theorem: "PhysJS.GibbsIsotherm.gibbs_eq",
|
|
1380
|
+
covers: "derivation-step: Σ ν_i μ_i = 0 with μ_i = μ_i° + R T ln a_i gives ΔG° = −R T ln K for K > 0 and T ≠ 0. Not an activity model",
|
|
1381
|
+
coverage: "covers its statement only",
|
|
1382
|
+
leanProof: "complete",
|
|
1383
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1384
|
+
},
|
|
1385
|
+
{
|
|
1386
|
+
key: "be-151",
|
|
1387
|
+
bridgeId: "be-151",
|
|
1388
|
+
theorem: "PhysJS.NernstGibbs.nernst_eq",
|
|
1389
|
+
covers: "derivation-step: the cell standard state is PhysJS.GibbsIsotherm.gibbs_eq, and ΔG = −n F E with F = N_A e gives E = E° − (R T/(n F)) ln Q. Not a second proof of be-150",
|
|
1390
|
+
coverage: "covers its statement only",
|
|
1391
|
+
leanProof: "complete",
|
|
1392
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1393
|
+
},
|
|
1394
|
+
{
|
|
1395
|
+
key: "be-152",
|
|
1396
|
+
bridgeId: "be-152",
|
|
1397
|
+
theorem: "PhysJS.ClausiusClapeyron.integrated_eq",
|
|
1398
|
+
covers: "derivation-step: ideal_vapor_slope calls PhysJS.Clapeyron.slope_eq, be-71, and substitutes Δv = R T/P. Constant latent heat integrates to ln(P2/P1) = −(ΔH/R)(1/T2 − 1/T1). Both temperatures are positive. Not a second proof of be-71. A separate liquid volume is not this row",
|
|
1399
|
+
coverage: "covers its statement only",
|
|
1400
|
+
leanProof: "complete",
|
|
1401
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1402
|
+
},
|
|
1403
|
+
{
|
|
1404
|
+
key: "be-153",
|
|
1405
|
+
bridgeId: "be-153",
|
|
1406
|
+
theorem: "PhysJS.Raoult.raoult_eq",
|
|
1407
|
+
covers: "derivation-step: PhysJS.GibbsIsotherm.gibbs_eq on the ideal mixture and on the pure liquid gives P = x P*. The liquid activity is the mole fraction and the vapor activity is P/P°. Not a second proof of be-150. A nonideal activity is not this row",
|
|
1408
|
+
coverage: "covers its statement only",
|
|
1409
|
+
leanProof: "complete",
|
|
1410
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1411
|
+
},
|
|
1412
|
+
{
|
|
1413
|
+
key: "be-154",
|
|
1414
|
+
bridgeId: "be-154",
|
|
1415
|
+
theorem: "PhysJS.Prandtl.prandtl_eq",
|
|
1416
|
+
covers: "derivation-step: the ratio identity Pr = ν/α with ν = μ/ρ and α = k/(ρ c_p) is the product Pr k = μ c_p. Not a heat-transfer correlation and not the Reynolds analogy of be-86",
|
|
1417
|
+
coverage: "covers its statement only",
|
|
1418
|
+
leanProof: "complete",
|
|
1419
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1420
|
+
},
|
|
1421
|
+
{
|
|
1422
|
+
key: "be-155",
|
|
1423
|
+
bridgeId: "be-155",
|
|
1424
|
+
theorem: "PhysJS.ReynoldsNumber.reynolds_eq",
|
|
1425
|
+
covers: "derivation-step: inertial flux over viscous flux is Re = (ρ v²)/(μ v/L) = v L/ν with ν = μ/ρ, so Re μ = ρ v L. Not a friction correlation and not the pipe factor of be-77",
|
|
1426
|
+
coverage: "covers its statement only",
|
|
1427
|
+
leanProof: "complete",
|
|
1428
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1429
|
+
},
|
|
1430
|
+
{
|
|
1431
|
+
key: "be-156",
|
|
1432
|
+
bridgeId: "be-156",
|
|
1433
|
+
theorem: "PhysJS.Biot.biot_eq",
|
|
1434
|
+
covers: "derivation-step: with L_c = V/A, Bi = (L_c/k)/(1/h) = h V/(k A), so Bi k = h L_c. Not a lumped-capacitance criterion",
|
|
1435
|
+
coverage: "covers its statement only",
|
|
1436
|
+
leanProof: "complete",
|
|
1437
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1438
|
+
},
|
|
1439
|
+
{
|
|
1440
|
+
key: "be-157",
|
|
1441
|
+
bridgeId: "be-157",
|
|
1442
|
+
theorem: "PhysJS.Nusselt.nusselt_eq",
|
|
1443
|
+
covers: "derivation-step: h = k (∂T/∂n)/ΔT makes Nu = h L/k equal to L (∂T/∂n)/ΔT, so Nu k = h L. Not a correlation for Nu",
|
|
1444
|
+
coverage: "covers its statement only",
|
|
1445
|
+
leanProof: "complete",
|
|
1446
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1447
|
+
},
|
|
1448
|
+
{
|
|
1449
|
+
key: "be-158",
|
|
1450
|
+
bridgeId: "be-158",
|
|
1451
|
+
theorem: "PhysJS.Schmidt.schmidt_eq",
|
|
1452
|
+
covers: "derivation-step: Sc = ν/D with ν = μ/ρ is Sc ρ D = μ, and Le = α/D = Sc/Pr once Pr = ν/α. Not a mass-transfer correlation",
|
|
1453
|
+
coverage: "covers its statement only",
|
|
1454
|
+
leanProof: "complete",
|
|
1455
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1456
|
+
},
|
|
1457
|
+
{
|
|
1458
|
+
key: "be-159",
|
|
1459
|
+
bridgeId: "be-159",
|
|
1460
|
+
theorem: "PhysJS.Sherwood.sherwood_eq",
|
|
1461
|
+
covers: "derivation-step: k_m = D (∂c/∂n)/Δc makes Sh = k_m L/D equal to L (∂c/∂n)/Δc, so Sh D = k_m L. Not a correlation for Sh",
|
|
1462
|
+
coverage: "covers its statement only",
|
|
1463
|
+
leanProof: "complete",
|
|
1464
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1465
|
+
},
|
|
1466
|
+
{
|
|
1467
|
+
key: "be-160",
|
|
1468
|
+
bridgeId: "be-160",
|
|
1469
|
+
theorem: "PhysJS.FourierConduction.fourier_eq",
|
|
1470
|
+
covers: "derivation-step: a constant flux q = −k dT/dx integrates to q L = −k (T(L) − T(0)). A temperature-dependent conductivity is not this row",
|
|
1471
|
+
coverage: "covers its statement only",
|
|
1472
|
+
leanProof: "complete",
|
|
1473
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1474
|
+
},
|
|
1475
|
+
{
|
|
1476
|
+
key: "be-161",
|
|
1477
|
+
bridgeId: "be-161",
|
|
1478
|
+
theorem: "PhysJS.NewtonCooling.newton_eq",
|
|
1479
|
+
covers: "derivation-step: ρ c V dθ/dt = −h A θ integrates to θ(t) = θ(0) exp(−t/τ) with τ = ρ c V/(h A). Radiation in T⁴ is not this row",
|
|
1480
|
+
coverage: "covers its statement only",
|
|
1481
|
+
leanProof: "complete",
|
|
1482
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1483
|
+
},
|
|
1484
|
+
{
|
|
1485
|
+
key: "be-162",
|
|
1486
|
+
bridgeId: "be-162",
|
|
1487
|
+
theorem: "PhysJS.Otto.otto_eq",
|
|
1488
|
+
covers: "derivation-step: the cold-air isentropic cycle at constant γ > 1 gives η = 1 − r^(1−γ). A temperature-dependent heat capacity is not this row",
|
|
1489
|
+
coverage: "covers its statement only",
|
|
1490
|
+
leanProof: "complete",
|
|
1491
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1492
|
+
},
|
|
1493
|
+
{
|
|
1494
|
+
key: "be-163",
|
|
1495
|
+
bridgeId: "be-163",
|
|
1496
|
+
theorem: "PhysJS.JouleThomson.joule_thomson_eq",
|
|
1497
|
+
covers: "derivation-step: the enthalpy differential dh = c_p dT + (v − T (∂v/∂T)_p) dP is a hypothesis. It gives μ_JT c_p = T (∂v/∂T)_p − v, and the ideal-gas bracket v = R T/P vanishes. Not a measured inversion curve",
|
|
1498
|
+
coverage: "covers its statement only",
|
|
1499
|
+
leanProof: "complete",
|
|
1500
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1501
|
+
},
|
|
1502
|
+
{
|
|
1503
|
+
key: "be-164",
|
|
1504
|
+
bridgeId: "be-164",
|
|
1505
|
+
theorem: "PhysJS.PlanckSpectrum.planck_eq",
|
|
1506
|
+
covers: "derivation-step: bose_factor proves 1/(e^x − 1) = Σ_{n≥1} e^{−n x}. The mode density 8 π ν²/c³, two polarizations, is a hypothesis. Their product is u (e^{hν/kT} − 1) c³ = 8 π h ν³. The frequency integral is be-165",
|
|
1507
|
+
coverage: "covers its statement only",
|
|
1508
|
+
leanProof: "complete",
|
|
1509
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1510
|
+
},
|
|
1511
|
+
{
|
|
1512
|
+
key: "be-165",
|
|
1513
|
+
bridgeId: "be-165",
|
|
1514
|
+
theorem: "PhysJS.StefanBoltzmann.stefan_boltzmann_eq",
|
|
1515
|
+
covers: "derivation-step: ∫_0^∞ x³/(e^x − 1) dx = π⁴/15 from Σ n^{−4} = π⁴/90 and Γ(4) = 6. The hemisphere integrals give the factor c/4. With h = 2 π ℏ, σ = π² k_B⁴/(60 ℏ³ c²) = 2 π⁵ k_B⁴/(15 h³ c²). The mode density 8 π is the hypothesis of be-164. Not a radiometer measurement",
|
|
1516
|
+
coverage: "covers its statement only",
|
|
1517
|
+
leanProof: "complete",
|
|
1518
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1519
|
+
},
|
|
1520
|
+
{
|
|
1521
|
+
key: "be-166",
|
|
1522
|
+
bridgeId: "be-166",
|
|
1523
|
+
theorem: "PhysJS.WienDisplacement.wien_eq",
|
|
1524
|
+
covers: "derivation-step: spectral(x) = x⁵/(e^x − 1) has derivative zero for x > 0 exactly when 5 − x = 5 exp(−x). That equation has a unique positive root and the root lies in (4, 5). The decimal is not evaluated. x = 0 is an extraneous root. The displacement constant is b k_B x = h c",
|
|
1525
|
+
coverage: "covers its statement only",
|
|
1526
|
+
leanProof: "complete",
|
|
1527
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1528
|
+
},
|
|
1529
|
+
{
|
|
1530
|
+
key: "be-167",
|
|
1531
|
+
bridgeId: "be-167",
|
|
1532
|
+
theorem: "PhysJS.SackurTetrode.sackur_tetrode",
|
|
1533
|
+
covers: "derivation-step: n_Q = λ_T^{−3} uses PhysJS.ThermalDeBroglie.wavelength_eq, be-12. Stirling ln N! = N ln N − N is a hypothesis, and U = (3/2) N k_B T is equipartition. They give S = N k_B (ln(n_Q/n) + 5/2). Not a second proof of be-12 and not the Stirling series",
|
|
1534
|
+
coverage: "covers its statement only",
|
|
1535
|
+
leanProof: "complete",
|
|
1536
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1537
|
+
},
|
|
1538
|
+
{
|
|
1539
|
+
key: "be-168",
|
|
1540
|
+
bridgeId: "be-168",
|
|
1541
|
+
theorem: "PhysJS.Saha.saha_eq",
|
|
1542
|
+
covers: "derivation-step: the thermal factor is PhysJS.ThermalDeBroglie.wavelength_eq, so K = (2 π m k_B T/h²)^{3/2} exp(−I/(k_B T)). The electron weight 2 and the internal partition functions are not in this statement. Not a second proof of be-12",
|
|
1543
|
+
coverage: "covers its statement only",
|
|
1544
|
+
leanProof: "complete",
|
|
1545
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1546
|
+
},
|
|
1547
|
+
{
|
|
1548
|
+
key: "be-169",
|
|
1549
|
+
bridgeId: "be-169",
|
|
1550
|
+
theorem: "PhysJS.RichardsonDushman.richardson_eq",
|
|
1551
|
+
covers: "derivation-step: ∫_a^∞ exp(−c x) dx = exp(−c a)/c is proved. The current is the hypothesis 4 π m e/h³ times one factor k_B T from each tail, so J h³ exp(φ/(k_B T)) = 4 π m e k_B² T². Here e is the elementary charge. The Boltzmann tail replaces Fermi–Dirac and the reflection coefficient is 1",
|
|
1552
|
+
coverage: "covers its statement only",
|
|
1553
|
+
leanProof: "complete",
|
|
1554
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1555
|
+
},
|
|
1556
|
+
{
|
|
1557
|
+
key: "be-170",
|
|
1558
|
+
bridgeId: "be-170",
|
|
1559
|
+
theorem: "PhysJS.OnsagerReciprocity.onsager_eq",
|
|
1560
|
+
covers: "derivation-step: the mixed partials of Φ = ½ L11 X1² + L12 X1 X2 + ½ L22 X2² are both L12, so L12 = L21. thermoelectric_instance applies PhysJS.KelvinRelation.peltier_eq, be-73, and does not re-prove Π = S T. An antisymmetric cross term produces no entropy. The magnetic case L12(B) = L21(−B) is not this row",
|
|
1561
|
+
coverage: "covers its statement only",
|
|
1562
|
+
leanProof: "complete",
|
|
1563
|
+
axioms: ["propext", "Classical.choice", "Quot.sound"],
|
|
1564
|
+
},
|
|
1349
1565
|
];
|
|
1350
1566
|
//# sourceMappingURL=physjs-entries.generated.js.map
|