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.
Files changed (818) hide show
  1. package/README.md +5 -5
  2. package/data/atlas/atlas.json +3044 -0
  3. package/data/atlas/atlas.jsonld +1819 -0
  4. package/data/atlas/diffusion.json +1084 -0
  5. package/data/atlas/oscillators.json +1041 -0
  6. package/data/atlas/qudt-resolution.json +60 -0
  7. package/data/atlas/waves.json +916 -0
  8. package/data/atlas/witness-results.json +249 -0
  9. package/data/bridge-catalog.json +15273 -0
  10. package/data/bridge-catalog.schema.json +116 -0
  11. package/data/confrontation-sources.md +137 -0
  12. package/data/quantities.json +9743 -0
  13. package/data/schemas/atlas-record.v0.json +236 -0
  14. package/data/schemas/discovery-run.v0.json +203 -0
  15. package/dist/atlas/catalog-formal-ref.d.ts +6 -12
  16. package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
  17. package/dist/atlas/catalog-formal-ref.js +15 -25
  18. package/dist/atlas/catalog-formal-ref.js.map +1 -1
  19. package/dist/atlas/physjs-entries.generated.d.ts +193 -1
  20. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  21. package/dist/atlas/physjs-entries.generated.js +217 -1
  22. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  23. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  24. package/dist/atlas/physjs-ref.js +4 -97
  25. package/dist/atlas/physjs-ref.js.map +1 -1
  26. package/dist/bridges/caller-table.d.ts +56 -0
  27. package/dist/bridges/caller-table.d.ts.map +1 -0
  28. package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
  29. package/dist/bridges/caller-table.js.map +1 -0
  30. package/dist/bridges/catalog-load.d.ts +34 -0
  31. package/dist/bridges/catalog-load.d.ts.map +1 -0
  32. package/dist/bridges/catalog-load.js +89 -0
  33. package/dist/bridges/catalog-load.js.map +1 -0
  34. package/dist/bridges/catalog-types.d.ts +119 -0
  35. package/dist/bridges/catalog-types.d.ts.map +1 -0
  36. package/dist/bridges/catalog-types.js +8 -0
  37. package/dist/bridges/catalog-types.js.map +1 -0
  38. package/dist/bridges/coefficient-statement.d.ts +27 -0
  39. package/dist/bridges/coefficient-statement.d.ts.map +1 -0
  40. package/dist/bridges/coefficient-statement.js +33 -0
  41. package/dist/bridges/coefficient-statement.js.map +1 -0
  42. package/dist/bridges/confrontations.d.ts +8 -25
  43. package/dist/bridges/confrontations.d.ts.map +1 -1
  44. package/dist/bridges/confrontations.js +26 -714
  45. package/dist/bridges/confrontations.js.map +1 -1
  46. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  47. package/dist/bridges/evaluator-inputs.js +13 -3
  48. package/dist/bridges/evaluator-inputs.js.map +1 -1
  49. package/dist/bridges/evaluators.d.ts +14 -27
  50. package/dist/bridges/evaluators.d.ts.map +1 -1
  51. package/dist/bridges/evaluators.js +83 -415
  52. package/dist/bridges/evaluators.js.map +1 -1
  53. package/dist/bridges/expr-parse.d.ts +19 -0
  54. package/dist/bridges/expr-parse.d.ts.map +1 -0
  55. package/dist/bridges/expr-parse.js +269 -0
  56. package/dist/bridges/expr-parse.js.map +1 -0
  57. package/dist/bridges/holds.d.ts +22 -0
  58. package/dist/bridges/holds.d.ts.map +1 -0
  59. package/dist/bridges/holds.js +266 -0
  60. package/dist/bridges/holds.js.map +1 -0
  61. package/dist/bridges/index.d.ts +18 -354
  62. package/dist/bridges/index.d.ts.map +1 -1
  63. package/dist/bridges/index.js +17 -3312
  64. package/dist/bridges/index.js.map +1 -1
  65. package/dist/bridges/relation-eval.d.ts +23 -0
  66. package/dist/bridges/relation-eval.d.ts.map +1 -0
  67. package/dist/bridges/relation-eval.js +136 -0
  68. package/dist/bridges/relation-eval.js.map +1 -0
  69. package/dist/bridges/rhs-registry.d.ts +7 -21
  70. package/dist/bridges/rhs-registry.d.ts.map +1 -1
  71. package/dist/bridges/rhs-registry.js +13 -123
  72. package/dist/bridges/rhs-registry.js.map +1 -1
  73. package/dist/bridges/sensitivity.d.ts +11 -3
  74. package/dist/bridges/sensitivity.d.ts.map +1 -1
  75. package/dist/bridges/sensitivity.js +20 -36
  76. package/dist/bridges/sensitivity.js.map +1 -1
  77. package/dist/bridges/types.d.ts +52 -0
  78. package/dist/bridges/types.d.ts.map +1 -0
  79. package/dist/bridges/types.js +10 -0
  80. package/dist/bridges/types.js.map +1 -0
  81. package/dist/canonical/entries/atomic.js +1 -1
  82. package/dist/canonical/entries/atomic.js.map +1 -1
  83. package/dist/canonical/entries/condensed-matter.js +1 -1
  84. package/dist/canonical/entries/condensed-matter.js.map +1 -1
  85. package/dist/canonical/entries/electromagnetism.js +1 -1
  86. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  87. package/dist/canonical/entries/fluids-waves.js +1 -1
  88. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  89. package/dist/canonical/entries/mechanics.js +1 -1
  90. package/dist/canonical/entries/mechanics.js.map +1 -1
  91. package/dist/canonical/entries/nonmonomial.js +1 -1
  92. package/dist/canonical/entries/nonmonomial.js.map +1 -1
  93. package/dist/canonical/entries/relativity.js +1 -1
  94. package/dist/canonical/entries/relativity.js.map +1 -1
  95. package/dist/canonical/entries/statistical-mechanics.js +1 -1
  96. package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
  97. package/dist/canonical/entries/thermo-nuclear-cosmo.js +2 -2
  98. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  99. package/dist/canonical/normal-form.d.ts.map +1 -1
  100. package/dist/canonical/normal-form.js +9 -4
  101. package/dist/canonical/normal-form.js.map +1 -1
  102. package/dist/cases/kepler-rv.d.ts.map +1 -1
  103. package/dist/cases/kepler-rv.js +7 -3
  104. package/dist/cases/kepler-rv.js.map +1 -1
  105. package/dist/cases/resistor-noise.d.ts.map +1 -1
  106. package/dist/cases/resistor-noise.js +10 -5
  107. package/dist/cases/resistor-noise.js.map +1 -1
  108. package/dist/cli/commands/atlas.js +1 -1
  109. package/dist/cli/commands/atlas.js.map +1 -1
  110. package/dist/cli/commands/chain.js +2 -2
  111. package/dist/cli/commands/chain.js.map +1 -1
  112. package/dist/cli/commands/confront.d.ts.map +1 -1
  113. package/dist/cli/commands/confront.js +17 -17
  114. package/dist/cli/commands/confront.js.map +1 -1
  115. package/dist/cli/commands/eval.d.ts.map +1 -1
  116. package/dist/cli/commands/eval.js +2 -0
  117. package/dist/cli/commands/eval.js.map +1 -1
  118. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  119. package/dist/cli/commands/evaluate.js +19 -14
  120. package/dist/cli/commands/evaluate.js.map +1 -1
  121. package/dist/cli/commands/explain.d.ts.map +1 -1
  122. package/dist/cli/commands/explain.js +2 -0
  123. package/dist/cli/commands/explain.js.map +1 -1
  124. package/dist/cli/commands/symbolic.d.ts.map +1 -1
  125. package/dist/cli/commands/symbolic.js +5 -4
  126. package/dist/cli/commands/symbolic.js.map +1 -1
  127. package/dist/cli-api.d.ts +7 -2
  128. package/dist/cli-api.d.ts.map +1 -1
  129. package/dist/cli-api.js +7 -2
  130. package/dist/cli-api.js.map +1 -1
  131. package/dist/composition/canonical-graph.d.ts +5 -3
  132. package/dist/composition/canonical-graph.d.ts.map +1 -1
  133. package/dist/composition/canonical-graph.js +61 -6
  134. package/dist/composition/canonical-graph.js.map +1 -1
  135. package/dist/composition/catalog-graph.d.ts +11 -4
  136. package/dist/composition/catalog-graph.d.ts.map +1 -1
  137. package/dist/composition/catalog-graph.js +78 -47
  138. package/dist/composition/catalog-graph.js.map +1 -1
  139. package/dist/composition/discovery.d.ts.map +1 -1
  140. package/dist/composition/discovery.js +26 -22
  141. package/dist/composition/discovery.js.map +1 -1
  142. package/dist/composition/evaluate-relation.d.ts +2 -0
  143. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  144. package/dist/composition/evaluate-relation.js +26 -3
  145. package/dist/composition/evaluate-relation.js.map +1 -1
  146. package/dist/composition/expr-eval.d.ts.map +1 -1
  147. package/dist/composition/expr-eval.js +6 -0
  148. package/dist/composition/expr-eval.js.map +1 -1
  149. package/dist/composition/frontier-account.d.ts.map +1 -1
  150. package/dist/composition/frontier-account.js +1 -1
  151. package/dist/composition/frontier-account.js.map +1 -1
  152. package/dist/composition/index.d.ts +3 -14
  153. package/dist/composition/index.d.ts.map +1 -1
  154. package/dist/composition/index.js +3 -14
  155. package/dist/composition/index.js.map +1 -1
  156. package/dist/composition/quantities.d.ts +11 -27
  157. package/dist/composition/quantities.d.ts.map +1 -1
  158. package/dist/composition/quantities.js +29 -29
  159. package/dist/composition/quantities.js.map +1 -1
  160. package/dist/composition/user-equation.d.ts +3 -10
  161. package/dist/composition/user-equation.d.ts.map +1 -1
  162. package/dist/composition/user-equation.js +3 -28
  163. package/dist/composition/user-equation.js.map +1 -1
  164. package/dist/core/constants.d.ts +14 -0
  165. package/dist/core/constants.d.ts.map +1 -1
  166. package/dist/core/constants.js +16 -0
  167. package/dist/core/constants.js.map +1 -1
  168. package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
  169. package/dist/diff/bridge-ast-gradient.js +1 -0
  170. package/dist/diff/bridge-ast-gradient.js.map +1 -1
  171. package/dist/diff/bridge-gradient.d.ts +1 -1
  172. package/dist/diff/bridge-gradient.d.ts.map +1 -1
  173. package/dist/diff/bridge-specs.d.ts +32 -62
  174. package/dist/diff/bridge-specs.d.ts.map +1 -1
  175. package/dist/diff/bridge-specs.js +55 -76
  176. package/dist/diff/bridge-specs.js.map +1 -1
  177. package/dist/dimensional/bridge-check.d.ts +9 -26
  178. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  179. package/dist/dimensional/bridge-check.js +22 -227
  180. package/dist/dimensional/bridge-check.js.map +1 -1
  181. package/dist/dimensional/formula-names.d.ts +17 -1
  182. package/dist/dimensional/formula-names.d.ts.map +1 -1
  183. package/dist/dimensional/formula-names.js +39 -8
  184. package/dist/dimensional/formula-names.js.map +1 -1
  185. package/dist/dimensional/hyphen-names.d.ts +13 -0
  186. package/dist/dimensional/hyphen-names.d.ts.map +1 -0
  187. package/dist/dimensional/hyphen-names.js +27 -0
  188. package/dist/dimensional/hyphen-names.js.map +1 -0
  189. package/dist/dimensional/quantity-registry.d.ts +33 -0
  190. package/dist/dimensional/quantity-registry.d.ts.map +1 -0
  191. package/dist/dimensional/quantity-registry.js +49 -0
  192. package/dist/dimensional/quantity-registry.js.map +1 -0
  193. package/dist/dimensional/units.d.ts +4 -2
  194. package/dist/dimensional/units.d.ts.map +1 -1
  195. package/dist/dimensional/units.js +202 -44
  196. package/dist/dimensional/units.js.map +1 -1
  197. package/dist/index.d.ts +19 -61
  198. package/dist/index.d.ts.map +1 -1
  199. package/dist/index.js +11 -48
  200. package/dist/index.js.map +1 -1
  201. package/dist/numerical/binding-value.d.ts.map +1 -1
  202. package/dist/numerical/binding-value.js +72 -21
  203. package/dist/numerical/binding-value.js.map +1 -1
  204. package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
  205. package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
  206. package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
  207. package/dist/numerical/covariant-eikonal.js.map +1 -0
  208. package/dist/numerical/derivative-lowering.d.ts +2 -1
  209. package/dist/numerical/derivative-lowering.d.ts.map +1 -1
  210. package/dist/numerical/derivative-lowering.js +2 -1
  211. package/dist/numerical/derivative-lowering.js.map +1 -1
  212. package/dist/numerical/gl4-integrator.d.ts +6 -3
  213. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  214. package/dist/numerical/gl4-integrator.js +6 -3
  215. package/dist/numerical/gl4-integrator.js.map +1 -1
  216. package/dist/numerical/index.d.ts +4 -3
  217. package/dist/numerical/index.d.ts.map +1 -1
  218. package/dist/numerical/index.js +2 -2
  219. package/dist/numerical/index.js.map +1 -1
  220. package/dist/numerical/null-ic.d.ts +6 -5
  221. package/dist/numerical/null-ic.d.ts.map +1 -1
  222. package/dist/numerical/null-ic.js +6 -5
  223. package/dist/numerical/null-ic.js.map +1 -1
  224. package/dist/numerical/null-ray-integrator.js +1 -1
  225. package/dist/numerical/perihelion-finder.d.ts +5 -4
  226. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  227. package/dist/numerical/perihelion-finder.js +5 -4
  228. package/dist/numerical/perihelion-finder.js.map +1 -1
  229. package/package.json +2 -1
  230. package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
  231. package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
  232. package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
  233. package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
  234. package/dist/bridges/be101-bkt-jump.d.ts +0 -24
  235. package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
  236. package/dist/bridges/be101-bkt-jump.js +0 -29
  237. package/dist/bridges/be101-bkt-jump.js.map +0 -1
  238. package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
  239. package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
  240. package/dist/bridges/be102-landauer-conductance.js +0 -28
  241. package/dist/bridges/be102-landauer-conductance.js.map +0 -1
  242. package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
  243. package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
  244. package/dist/bridges/be11-decoherence-confrontation.js +0 -39
  245. package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
  246. package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
  247. package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
  248. package/dist/bridges/be21-kss-confrontation.js +0 -38
  249. package/dist/bridges/be21-kss-confrontation.js.map +0 -1
  250. package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
  251. package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
  252. package/dist/bridges/be23-planckian-confrontation.js +0 -196
  253. package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
  254. package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
  255. package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
  256. package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
  257. package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
  258. package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
  259. package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
  260. package/dist/bridges/be36-gw170817-confrontation.js +0 -100
  261. package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
  262. package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
  263. package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
  264. package/dist/bridges/be37-cassini-confrontation.js +0 -34
  265. package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
  266. package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
  267. package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
  268. package/dist/bridges/be48-collapse-confrontation.js +0 -37
  269. package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
  270. package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
  271. package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
  272. package/dist/bridges/be51-lensing-confrontation.js +0 -52
  273. package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
  274. package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
  275. package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
  276. package/dist/bridges/be52-mercury-confrontation.js +0 -70
  277. package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
  278. package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
  279. package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
  280. package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
  281. package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
  282. package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
  283. package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
  284. package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
  285. package/dist/bridges/be55-quantum-hall.d.ts +0 -24
  286. package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
  287. package/dist/bridges/be55-quantum-hall.js +0 -46
  288. package/dist/bridges/be55-quantum-hall.js.map +0 -1
  289. package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
  290. package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
  291. package/dist/bridges/be56-casimir-confrontation.js +0 -31
  292. package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
  293. package/dist/bridges/be56-casimir.d.ts +0 -18
  294. package/dist/bridges/be56-casimir.d.ts.map +0 -1
  295. package/dist/bridges/be56-casimir.js +0 -36
  296. package/dist/bridges/be56-casimir.js.map +0 -1
  297. package/dist/bridges/be57-unruh.d.ts +0 -18
  298. package/dist/bridges/be57-unruh.d.ts.map +0 -1
  299. package/dist/bridges/be57-unruh.js +0 -38
  300. package/dist/bridges/be57-unruh.js.map +0 -1
  301. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
  302. package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
  303. package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
  304. package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
  305. package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
  306. package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
  307. package/dist/bridges/be58-johnson-nyquist.js +0 -36
  308. package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
  309. package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
  310. package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
  311. package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
  312. package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
  313. package/dist/bridges/be59-ac-josephson.d.ts +0 -22
  314. package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
  315. package/dist/bridges/be59-ac-josephson.js +0 -35
  316. package/dist/bridges/be59-ac-josephson.js.map +0 -1
  317. package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
  318. package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
  319. package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
  320. package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
  321. package/dist/bridges/be60-fractional-qh.d.ts +0 -20
  322. package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
  323. package/dist/bridges/be60-fractional-qh.js +0 -33
  324. package/dist/bridges/be60-fractional-qh.js.map +0 -1
  325. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
  326. package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
  327. package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
  328. package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
  329. package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
  330. package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
  331. package/dist/bridges/be61-wiedemann-franz.js +0 -41
  332. package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
  333. package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
  334. package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
  335. package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
  336. package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
  337. package/dist/bridges/be62-bcs-gap.d.ts +0 -22
  338. package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
  339. package/dist/bridges/be62-bcs-gap.js +0 -38
  340. package/dist/bridges/be62-bcs-gap.js.map +0 -1
  341. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
  342. package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
  343. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
  344. package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
  345. package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
  346. package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
  347. package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
  348. package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
  349. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
  350. package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
  351. package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
  352. package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
  353. package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
  354. package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
  355. package/dist/bridges/be64-eddington-luminosity.js +0 -35
  356. package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
  357. package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
  358. package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
  359. package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
  360. package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
  361. package/dist/bridges/be65-jeans-mass.d.ts +0 -24
  362. package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
  363. package/dist/bridges/be65-jeans-mass.js +0 -38
  364. package/dist/bridges/be65-jeans-mass.js.map +0 -1
  365. package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
  366. package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
  367. package/dist/bridges/be66-radiation-pressure.js +0 -37
  368. package/dist/bridges/be66-radiation-pressure.js.map +0 -1
  369. package/dist/bridges/be67-alfven-speed.d.ts +0 -41
  370. package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
  371. package/dist/bridges/be67-alfven-speed.js +0 -50
  372. package/dist/bridges/be67-alfven-speed.js.map +0 -1
  373. package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
  374. package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
  375. package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
  376. package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
  377. package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
  378. package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
  379. package/dist/bridges/be69-fast-magnetosonic.js +0 -33
  380. package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
  381. package/dist/bridges/be70-einstein-relation.d.ts +0 -30
  382. package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
  383. package/dist/bridges/be70-einstein-relation.js +0 -41
  384. package/dist/bridges/be70-einstein-relation.js.map +0 -1
  385. package/dist/bridges/be71-clapeyron.d.ts +0 -43
  386. package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
  387. package/dist/bridges/be71-clapeyron.js +0 -32
  388. package/dist/bridges/be71-clapeyron.js.map +0 -1
  389. package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
  390. package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
  391. package/dist/bridges/be72-gravitational-redshift.js +0 -32
  392. package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
  393. package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
  394. package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
  395. package/dist/bridges/be73-kelvin-peltier.js +0 -31
  396. package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
  397. package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
  398. package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
  399. package/dist/bridges/be74-magnetic-pressure.js +0 -29
  400. package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
  401. package/dist/bridges/be75-london-penetration.d.ts +0 -27
  402. package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
  403. package/dist/bridges/be75-london-penetration.js +0 -31
  404. package/dist/bridges/be75-london-penetration.js.map +0 -1
  405. package/dist/bridges/be76-plasma-beta.d.ts +0 -32
  406. package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
  407. package/dist/bridges/be76-plasma-beta.js +0 -34
  408. package/dist/bridges/be76-plasma-beta.js.map +0 -1
  409. package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
  410. package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
  411. package/dist/bridges/be77-hagen-poiseuille.js +0 -39
  412. package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
  413. package/dist/bridges/be78-euler-buckling.d.ts +0 -44
  414. package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
  415. package/dist/bridges/be78-euler-buckling.js +0 -33
  416. package/dist/bridges/be78-euler-buckling.js.map +0 -1
  417. package/dist/bridges/be79-pull-in.d.ts +0 -33
  418. package/dist/bridges/be79-pull-in.d.ts.map +0 -1
  419. package/dist/bridges/be79-pull-in.js +0 -35
  420. package/dist/bridges/be79-pull-in.js.map +0 -1
  421. package/dist/bridges/be80-mott-gurney.d.ts +0 -52
  422. package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
  423. package/dist/bridges/be80-mott-gurney.js +0 -38
  424. package/dist/bridges/be80-mott-gurney.js.map +0 -1
  425. package/dist/bridges/be81-child-langmuir.d.ts +0 -33
  426. package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
  427. package/dist/bridges/be81-child-langmuir.js +0 -38
  428. package/dist/bridges/be81-child-langmuir.js.map +0 -1
  429. package/dist/bridges/be82-shockley-diode.d.ts +0 -32
  430. package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
  431. package/dist/bridges/be82-shockley-diode.js +0 -37
  432. package/dist/bridges/be82-shockley-diode.js.map +0 -1
  433. package/dist/bridges/be83-thomson.d.ts +0 -46
  434. package/dist/bridges/be83-thomson.d.ts.map +0 -1
  435. package/dist/bridges/be83-thomson.js +0 -32
  436. package/dist/bridges/be83-thomson.js.map +0 -1
  437. package/dist/bridges/be84-four-point.d.ts +0 -45
  438. package/dist/bridges/be84-four-point.d.ts.map +0 -1
  439. package/dist/bridges/be84-four-point.js +0 -34
  440. package/dist/bridges/be84-four-point.js.map +0 -1
  441. package/dist/bridges/be85-shot-noise.d.ts +0 -30
  442. package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
  443. package/dist/bridges/be85-shot-noise.js +0 -32
  444. package/dist/bridges/be85-shot-noise.js.map +0 -1
  445. package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
  446. package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
  447. package/dist/bridges/be86-reynolds-analogy.js +0 -30
  448. package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
  449. package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
  450. package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
  451. package/dist/bridges/be87-capacitor-noise.js +0 -32
  452. package/dist/bridges/be87-capacitor-noise.js.map +0 -1
  453. package/dist/bridges/be88-fermi-sea.d.ts +0 -31
  454. package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
  455. package/dist/bridges/be88-fermi-sea.js +0 -35
  456. package/dist/bridges/be88-fermi-sea.js.map +0 -1
  457. package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
  458. package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
  459. package/dist/bridges/be89-debye-cutoff.js +0 -28
  460. package/dist/bridges/be89-debye-cutoff.js.map +0 -1
  461. package/dist/bridges/be90-debye-heat.d.ts +0 -30
  462. package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
  463. package/dist/bridges/be90-debye-heat.js +0 -35
  464. package/dist/bridges/be90-debye-heat.js.map +0 -1
  465. package/dist/bridges/be91-einstein-solid.d.ts +0 -30
  466. package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
  467. package/dist/bridges/be91-einstein-solid.js +0 -37
  468. package/dist/bridges/be91-einstein-solid.js.map +0 -1
  469. package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
  470. package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
  471. package/dist/bridges/be92-sommerfeld-heat.js +0 -34
  472. package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
  473. package/dist/bridges/be93-curie-weiss.d.ts +0 -41
  474. package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
  475. package/dist/bridges/be93-curie-weiss.js +0 -45
  476. package/dist/bridges/be93-curie-weiss.js.map +0 -1
  477. package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
  478. package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
  479. package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
  480. package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
  481. package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
  482. package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
  483. package/dist/bridges/be95-ginzburg-landau.js +0 -32
  484. package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
  485. package/dist/bridges/be96-upper-critical.d.ts +0 -24
  486. package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
  487. package/dist/bridges/be96-upper-critical.js +0 -27
  488. package/dist/bridges/be96-upper-critical.js.map +0 -1
  489. package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
  490. package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
  491. package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
  492. package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
  493. package/dist/bridges/be98-bcs-jump.d.ts +0 -40
  494. package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
  495. package/dist/bridges/be98-bcs-jump.js +0 -29
  496. package/dist/bridges/be98-bcs-jump.js.map +0 -1
  497. package/dist/bridges/be99-mass-action.d.ts +0 -33
  498. package/dist/bridges/be99-mass-action.d.ts.map +0 -1
  499. package/dist/bridges/be99-mass-action.js +0 -37
  500. package/dist/bridges/be99-mass-action.js.map +0 -1
  501. package/dist/bridges/bridge-equations.d.ts +0 -225
  502. package/dist/bridges/bridge-equations.d.ts.map +0 -1
  503. package/dist/bridges/bridge-equations.js +0 -226
  504. package/dist/bridges/bridge-equations.js.map +0 -1
  505. package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
  506. package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
  507. package/dist/bridges/condensed-r8-catalog.js +0 -272
  508. package/dist/bridges/condensed-r8-catalog.js.map +0 -1
  509. package/dist/bridges/condensed-r8.d.ts +0 -260
  510. package/dist/bridges/condensed-r8.d.ts.map +0 -1
  511. package/dist/bridges/condensed-r8.js +0 -329
  512. package/dist/bridges/condensed-r8.js.map +0 -1
  513. package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
  514. package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
  515. package/dist/bridges/engineering-r7-catalog.js +0 -172
  516. package/dist/bridges/engineering-r7-catalog.js.map +0 -1
  517. package/dist/bridges/engineering-r7.d.ts +0 -152
  518. package/dist/bridges/engineering-r7.d.ts.map +0 -1
  519. package/dist/bridges/engineering-r7.js +0 -208
  520. package/dist/bridges/engineering-r7.js.map +0 -1
  521. package/dist/bridges/equations/_be-helpers.d.ts +0 -80
  522. package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
  523. package/dist/bridges/equations/_be-helpers.js +0 -103
  524. package/dist/bridges/equations/_be-helpers.js.map +0 -1
  525. package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
  526. package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
  527. package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
  528. package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
  529. package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
  530. package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
  531. package/dist/bridges/equations/be-12-coherence-length.js +0 -120
  532. package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
  533. package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
  534. package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
  535. package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
  536. package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
  537. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
  538. package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
  539. package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
  540. package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
  541. package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
  542. package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
  543. package/dist/bridges/equations/be-15-emergence.js +0 -208
  544. package/dist/bridges/equations/be-15-emergence.js.map +0 -1
  545. package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
  546. package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
  547. package/dist/bridges/equations/be-16-landauer.js +0 -198
  548. package/dist/bridges/equations/be-16-landauer.js.map +0 -1
  549. package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
  550. package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
  551. package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
  552. package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
  553. package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
  554. package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
  555. package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
  556. package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
  557. package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
  558. package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
  559. package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
  560. package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
  561. package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
  562. package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
  563. package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
  564. package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
  565. package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
  566. package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
  567. package/dist/bridges/equations/be-21-kss-bound.js +0 -97
  568. package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
  569. package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
  570. package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
  571. package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
  572. package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
  573. package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
  574. package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
  575. package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
  576. package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
  577. package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
  578. package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
  579. package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
  580. package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
  581. package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
  582. package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
  583. package/dist/bridges/equations/be-25-iit-phi.js +0 -255
  584. package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
  585. package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
  586. package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
  587. package/dist/bridges/equations/be-25-orch-or.js +0 -124
  588. package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
  589. package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
  590. package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
  591. package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
  592. package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
  593. package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
  594. package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
  595. package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
  596. package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
  597. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
  598. package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
  599. package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
  600. package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
  601. package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
  602. package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
  603. package/dist/bridges/equations/be-29-jarzynski.js +0 -127
  604. package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
  605. package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
  606. package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
  607. package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
  608. package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
  609. package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
  610. package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
  611. package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
  612. package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
  613. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
  614. package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
  615. package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
  616. package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
  617. package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
  618. package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
  619. package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
  620. package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
  621. package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
  622. package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
  623. package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
  624. package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
  625. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
  626. package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
  627. package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
  628. package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
  629. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
  630. package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
  631. package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
  632. package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
  633. package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
  634. package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
  635. package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
  636. package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
  637. package/dist/bridges/equations/be-38-mond.d.ts +0 -94
  638. package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
  639. package/dist/bridges/equations/be-38-mond.js +0 -114
  640. package/dist/bridges/equations/be-38-mond.js.map +0 -1
  641. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
  642. package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
  643. package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
  644. package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
  645. package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
  646. package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
  647. package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
  648. package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
  649. package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
  650. package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
  651. package/dist/bridges/equations/be-41-swampland.js +0 -108
  652. package/dist/bridges/equations/be-41-swampland.js.map +0 -1
  653. package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
  654. package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
  655. package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
  656. package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
  657. package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
  658. package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
  659. package/dist/bridges/equations/be-43-er-epr.js +0 -106
  660. package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
  661. package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
  662. package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
  663. package/dist/bridges/equations/be-44-soft-hair.js +0 -177
  664. package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
  665. package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
  666. package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
  667. package/dist/bridges/equations/be-45-tcc.js +0 -149
  668. package/dist/bridges/equations/be-45-tcc.js.map +0 -1
  669. package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
  670. package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
  671. package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
  672. package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
  673. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
  674. package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
  675. package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
  676. package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
  677. package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
  678. package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
  679. package/dist/bridges/equations/be-48-grw-localization.js +0 -103
  680. package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
  681. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
  682. package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
  683. package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
  684. package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
  685. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
  686. package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
  687. package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
  688. package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
  689. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
  690. package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
  691. package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
  692. package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
  693. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
  694. package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
  695. package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
  696. package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
  697. package/dist/bridges/gravitational-lensing.d.ts +0 -73
  698. package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
  699. package/dist/bridges/gravitational-lensing.js +0 -59
  700. package/dist/bridges/gravitational-lensing.js.map +0 -1
  701. package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
  702. package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
  703. package/dist/bridges/perihelion-precession-labeled.js +0 -54
  704. package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
  705. package/dist/bridges/perihelion-precession.d.ts +0 -87
  706. package/dist/bridges/perihelion-precession.d.ts.map +0 -1
  707. package/dist/bridges/perihelion-precession.js +0 -82
  708. package/dist/bridges/perihelion-precession.js.map +0 -1
  709. package/dist/bridges/plasma-catalog.d.ts +0 -29
  710. package/dist/bridges/plasma-catalog.d.ts.map +0 -1
  711. package/dist/bridges/plasma-catalog.js +0 -427
  712. package/dist/bridges/plasma-catalog.js.map +0 -1
  713. package/dist/bridges/plasma-space.d.ts +0 -310
  714. package/dist/bridges/plasma-space.d.ts.map +0 -1
  715. package/dist/bridges/plasma-space.js +0 -262
  716. package/dist/bridges/plasma-space.js.map +0 -1
  717. package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
  718. package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
  719. package/dist/composition/edges/_catalog-helpers.js +0 -90
  720. package/dist/composition/edges/_catalog-helpers.js.map +0 -1
  721. package/dist/composition/edges/applied-physicist.d.ts +0 -181
  722. package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
  723. package/dist/composition/edges/applied-physicist.js +0 -843
  724. package/dist/composition/edges/applied-physicist.js.map +0 -1
  725. package/dist/composition/edges/calibration.d.ts +0 -107
  726. package/dist/composition/edges/calibration.d.ts.map +0 -1
  727. package/dist/composition/edges/calibration.js +0 -559
  728. package/dist/composition/edges/calibration.js.map +0 -1
  729. package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
  730. package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
  731. package/dist/composition/edges/catalog-condensed-matter.js +0 -257
  732. package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
  733. package/dist/composition/edges/catalog-fields.d.ts +0 -68
  734. package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
  735. package/dist/composition/edges/catalog-fields.js +0 -207
  736. package/dist/composition/edges/catalog-fields.js.map +0 -1
  737. package/dist/composition/edges/catalog-full.d.ts +0 -43
  738. package/dist/composition/edges/catalog-full.d.ts.map +0 -1
  739. package/dist/composition/edges/catalog-full.js +0 -73
  740. package/dist/composition/edges/catalog-full.js.map +0 -1
  741. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
  742. package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
  743. package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
  744. package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
  745. package/dist/composition/edges/catalog-quantum.d.ts +0 -85
  746. package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
  747. package/dist/composition/edges/catalog-quantum.js +0 -297
  748. package/dist/composition/edges/catalog-quantum.js.map +0 -1
  749. package/dist/composition/edges/catalog-tranche.d.ts +0 -108
  750. package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
  751. package/dist/composition/edges/catalog-tranche.js +0 -304
  752. package/dist/composition/edges/catalog-tranche.js.map +0 -1
  753. package/dist/composition/edges/condensed-r5.d.ts +0 -105
  754. package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
  755. package/dist/composition/edges/condensed-r5.js +0 -505
  756. package/dist/composition/edges/condensed-r5.js.map +0 -1
  757. package/dist/composition/edges/condensed-r8.d.ts +0 -30
  758. package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
  759. package/dist/composition/edges/condensed-r8.js +0 -325
  760. package/dist/composition/edges/condensed-r8.js.map +0 -1
  761. package/dist/composition/edges/engineering-r7.d.ts +0 -20
  762. package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
  763. package/dist/composition/edges/engineering-r7.js +0 -262
  764. package/dist/composition/edges/engineering-r7.js.map +0 -1
  765. package/dist/composition/edges/plasma-space.d.ts +0 -50
  766. package/dist/composition/edges/plasma-space.d.ts.map +0 -1
  767. package/dist/composition/edges/plasma-space.js +0 -481
  768. package/dist/composition/edges/plasma-space.js.map +0 -1
  769. package/dist/composition/edges/proved-seeds.d.ts +0 -39
  770. package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
  771. package/dist/composition/edges/proved-seeds.js +0 -197
  772. package/dist/composition/edges/proved-seeds.js.map +0 -1
  773. package/dist/composition/quantities/_dims.d.ts +0 -45
  774. package/dist/composition/quantities/_dims.d.ts.map +0 -1
  775. package/dist/composition/quantities/_dims.js +0 -55
  776. package/dist/composition/quantities/_dims.js.map +0 -1
  777. package/dist/composition/quantities/applied-physicist.d.ts +0 -166
  778. package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
  779. package/dist/composition/quantities/applied-physicist.js +0 -543
  780. package/dist/composition/quantities/applied-physicist.js.map +0 -1
  781. package/dist/composition/quantities/common.d.ts +0 -69
  782. package/dist/composition/quantities/common.d.ts.map +0 -1
  783. package/dist/composition/quantities/common.js +0 -210
  784. package/dist/composition/quantities/common.js.map +0 -1
  785. package/dist/composition/quantities/condensed-matter.d.ts +0 -79
  786. package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
  787. package/dist/composition/quantities/condensed-matter.js +0 -238
  788. package/dist/composition/quantities/condensed-matter.js.map +0 -1
  789. package/dist/composition/quantities/condensed-r5.d.ts +0 -110
  790. package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
  791. package/dist/composition/quantities/condensed-r5.js +0 -359
  792. package/dist/composition/quantities/condensed-r5.js.map +0 -1
  793. package/dist/composition/quantities/condensed-r8.d.ts +0 -96
  794. package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
  795. package/dist/composition/quantities/condensed-r8.js +0 -107
  796. package/dist/composition/quantities/condensed-r8.js.map +0 -1
  797. package/dist/composition/quantities/engineering-r7.d.ts +0 -82
  798. package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
  799. package/dist/composition/quantities/engineering-r7.js +0 -92
  800. package/dist/composition/quantities/engineering-r7.js.map +0 -1
  801. package/dist/composition/quantities/fields.d.ts +0 -69
  802. package/dist/composition/quantities/fields.d.ts.map +0 -1
  803. package/dist/composition/quantities/fields.js +0 -210
  804. package/dist/composition/quantities/fields.js.map +0 -1
  805. package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
  806. package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
  807. package/dist/composition/quantities/gravitation-cosmology.js +0 -215
  808. package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
  809. package/dist/composition/quantities/plasma-space.d.ts +0 -178
  810. package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
  811. package/dist/composition/quantities/plasma-space.js +0 -185
  812. package/dist/composition/quantities/plasma-space.js.map +0 -1
  813. package/dist/composition/quantities/quantum.d.ts +0 -63
  814. package/dist/composition/quantities/quantum.d.ts.map +0 -1
  815. package/dist/composition/quantities/quantum.js +0 -190
  816. package/dist/composition/quantities/quantum.js.map +0 -1
  817. package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
  818. 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 = "10cf71e9f1f460780f8620de7ba422df61e0949b";
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 = "10cf71e9f1f460780f8620de7ba422df61e0949b";
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