@mneme-ai/core 2.22.0 → 2.22.1-lite
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/agent_manifest.d.ts +1 -1
- package/dist/agent_manifest.d.ts.map +1 -1
- package/dist/agent_manifest.js +8 -1
- package/dist/agent_manifest.js.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +11 -0
- package/dist/index.js.map +1 -1
- package/dist/physics_lathe/axioms.d.ts +79 -0
- package/dist/physics_lathe/axioms.d.ts.map +1 -0
- package/dist/physics_lathe/axioms.js +248 -0
- package/dist/physics_lathe/axioms.js.map +1 -0
- package/dist/physics_lathe/extractor.d.ts +32 -0
- package/dist/physics_lathe/extractor.d.ts.map +1 -0
- package/dist/physics_lathe/extractor.js +102 -0
- package/dist/physics_lathe/extractor.js.map +1 -0
- package/dist/physics_lathe/index.d.ts +35 -0
- package/dist/physics_lathe/index.d.ts.map +1 -0
- package/dist/physics_lathe/index.js +39 -0
- package/dist/physics_lathe/index.js.map +1 -0
- package/dist/physics_lathe/physics_lathe.test.d.ts +2 -0
- package/dist/physics_lathe/physics_lathe.test.d.ts.map +1 -0
- package/dist/physics_lathe/physics_lathe.test.js +109 -0
- package/dist/physics_lathe/physics_lathe.test.js.map +1 -0
- package/dist/physics_lathe/units.d.ts +23 -0
- package/dist/physics_lathe/units.d.ts.map +1 -0
- package/dist/physics_lathe/units.js +143 -0
- package/dist/physics_lathe/units.js.map +1 -0
- package/dist/physics_lathe/verifier.d.ts +56 -0
- package/dist/physics_lathe/verifier.d.ts.map +1 -0
- package/dist/physics_lathe/verifier.js +155 -0
- package/dist/physics_lathe/verifier.js.map +1 -0
- package/package.json +2 -5
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,cAAc,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,uEAAuE;AACvE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,uEAAuE;AACvE,oEAAoE;AACpE,6DAA6D;AAC7D,OAAO,KAAK,eAAe,MAAM,wBAAwB,CAAC;AAC1D,sEAAsE;AACtE,uEAAuE;AACvE,qEAAqE;AACrE,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,cAAc,CAAC;AACvC,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,sEAAsE;AACtE,0EAA0E;AAC1E,oEAAoE;AACpE,OAAO,KAAK,iBAAiB,MAAM,yBAAyB,CAAC;AAC7D,yEAAyE;AACzE,uEAAuE;AACvE,sEAAsE;AACtE,2CAA2C;AAC3C,OAAO,EAAE,iBAAiB,EAAuF,MAAM,yBAAyB,CAAC;AACjJ,6BAA6B;AAC7B,oEAAoE;AACpE,0DAA0D;AAC1D,OAAO,KAAK,uBAAuB,MAAM,gCAAgC,CAAC;AAC1E,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,qEAAqE;AACrE,6DAA6D;AAC7D,+DAA+D;AAC/D,mDAAmD;AACnD,qEAAqE;AACrE,2DAA2D;AAC3D,mEAAmE;AACnE,gEAAgE;AAChE,kEAAkE;AAClE,+DAA+D;AAC/D,yCAAyC;AACzC,OAAO,KAAK,gBAAgB,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,kBAAkB,MAAM,sCAAsC,CAAC;AAC3E,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,eAAe,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,aAAa,MAAM,+BAA+B,CAAC;AAC/D,mEAAmE;AACnE,uEAAuE;AACvE,gEAAgE;AAChE,yDAAyD;AACzD,qEAAqE;AACrE,0DAA0D;AAC1D,gEAAgE;AAChE,iEAAiE;AACjE,yCAAyC;AACzC,oEAAoE;AACpE,gEAAgE;AAChE,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,gBAAgB,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,iBAAiB,MAAM,0BAA0B,CAAC;AAC9D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,qBAAqB,MAAM,mCAAmC,CAAC;AAC3E,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,gBAAgB,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,uBAAuB,MAAM,gCAAgC,CAAC;AAC1E,mEAAmE;AACnE,oEAAoE;AACpE,kCAAkC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,oEAAoE;AACpE,kEAAkE;AAClE,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,sDAAsD;AACtD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,qEAAqE;AACrE,8DAA8D;AAC9D,mEAAmE;AACnE,kEAAkE;AAClE,mEAAmE;AACnE,mEAAmE;AACnE,gEAAgE;AAChE,qEAAqE;AACrE,8DAA8D;AAC9D,gEAAgE;AAChE,OAAO,KAAK,cAAc,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,kBAAkB,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,eAAe,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,gBAAgB,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,+DAA+D;AAC/D,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,iEAAiE;AACjE,uEAAuE;AACvE,OAAO,KAAK,SAAS,MAAM,2BAA2B,CAAC;AACvD,sEAAsE;AACtE,sEAAsE;AACtE,qEAAqE;AACrE,8CAA8C;AAC9C,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAC/C,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,iEAAiE;AACjE,4DAA4D;AAC5D,mCAAmC;AACnC,OAAO,KAAK,eAAe,MAAM,uBAAuB,CAAC;AACzD,sEAAsE;AACtE,qEAAqE;AACrE,mEAAmE;AACnE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,qEAAqE;AACrE,mEAAmE;AACnE,gEAAgE;AAChE,sEAAsE;AACtE,sCAAsC;AACtC,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,qEAAqE;AACrE,qEAAqE;AACrE,+DAA+D;AAC/D,iEAAiE;AACjE,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,kEAAkE;AAClE,mEAAmE;AACnE,oEAAoE;AACpE,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,8DAA8D;AAC9D,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,gEAAgE;AAChE,qEAAqE;AACrE,sEAAsE;AACtE,wEAAwE;AACxE,uEAAuE;AACvE,8CAA8C;AAC9C,OAAO,KAAK,aAAa,MAAM,6BAA6B,CAAC;AAC7D,8DAA8D;AAC9D,iEAAiE;AACjE,kEAAkE;AAClE,mEAAmE;AACnE,kEAAkE;AAClE,uEAAuE;AACvE,OAAO,KAAK,mBAAmB,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,eAAe,MAAM,uBAAuB,CAAC;AACzD,gEAAgE;AAChE,gEAAgE;AAChE,gEAAgE;AAChE,8CAA8C;AAC9C,OAAO,KAAK,mBAAmB,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,iEAAiE;AACjE,+DAA+D;AAC/D,sEAAsE;AACtE,iEAAiE;AACjE,mEAAmE;AACnE,oEAAoE;AACpE,yDAAyD;AACzD,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,uEAAuE;AACvE,uDAAuD;AACvD,0DAA0D;AAC1D,8DAA8D;AAC9D,qDAAqD;AACrD,wEAAwE;AACxE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,+DAA+D;AAC/D,yEAAyE;AACzE,yEAAyE;AACzE,+DAA+D;AAC/D,yEAAyE;AACzE,mCAAmC;AACnC,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,wCAAwC;AACxC,sFAAsF;AACtF,iFAAiF;AACjF,mFAAmF;AACnF,uEAAuE;AACvE,2DAA2D;AAC3D,oEAAoE;AACpE,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,4DAA4D;AAC5D,gEAAgE;AAChE,uEAAuE;AACvE,6DAA6D;AAC7D,qEAAqE;AACrE,4CAA4C;AAC5C,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,0DAA0D;AAC1D,kEAAkE;AAClE,mDAAmD;AACnD,6EAA6E;AAC7E,2EAA2E;AAC3E,kFAAkF;AAClF,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,yEAAyE;AACzE,oEAAoE;AACpE,oEAAoE;AACpE,yDAAyD;AACzD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,2DAA2D;AAC3D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AACxD,oEAAoE;AACpE,mEAAmE;AACnE,oEAAoE;AACpE,+DAA+D;AAC/D,2EAA2E;AAC3E,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,2EAA2E;AAC3E,4EAA4E;AAC5E,uEAAuE;AACvE,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,6EAA6E;AAC7E,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,wEAAwE;AACxE,wEAAwE;AACxE,wEAAwE;AACxE,2DAA2D;AAC3D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,kEAAkE;AAClE,qEAAqE;AACrE,wEAAwE;AACxE,oEAAoE;AACpE,gDAAgD;AAChD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,sEAAsE;AACtE,uEAAuE;AACvE,0EAA0E;AAC1E,sEAAsE;AACtE,+CAA+C;AAC/C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,gEAAgE;AAChE,gEAAgE;AAChE,OAAO,KAAK,gBAAgB,MAAM,yBAAyB,CAAC;AAC5D,qEAAqE;AACrE,uEAAuE;AACvE,kEAAkE;AAClE,0DAA0D;AAC1D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,eAAe,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,kEAAkE;AAClE,qEAAqE;AACrE,mEAAmE;AACnE,sEAAsE;AACtE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,qEAAqE;AACrE,qEAAqE;AACrE,mEAAmE;AACnE,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,kEAAkE;AAClE,kEAAkE;AAClE,uDAAuD;AACvD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,oEAAoE;AACpE,qDAAqD;AACrD,OAAO,KAAK,aAAa,MAAM,uBAAuB,CAAC;AACvD,uEAAuE;AACvE,2EAA2E;AAC3E,uEAAuE;AACvE,gEAAgE;AAChE,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,uEAAuE;AACvE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,mEAAmE;AACnE,4BAA4B;AAC5B,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,gEAAgE;AAChE,kEAAkE;AAClE,iEAAiE;AACjE,kEAAkE;AAClE,uDAAuD;AACvD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,+DAA+D;AAC/D,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,8DAA8D;AAC9D,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAC;AACjD,qEAAqE;AACrE,mEAAmE;AACnE,kEAAkE;AAClE,oDAAoD;AACpD,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AACrD,uEAAuE;AACvE,qEAAqE;AACrE,6DAA6D;AAC7D,6BAA6B;AAC7B,OAAO,KAAK,UAAU,MAAM,+BAA+B,CAAC;AAC5D,4DAA4D;AAC5D,oEAAoE;AACpE,sEAAsE;AACtE,qEAAqE;AACrE,wDAAwD;AACxD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,oEAAoE;AACpE,sEAAsE;AACtE,+DAA+D;AAC/D,sEAAsE;AACtE,iEAAiE;AACjE,gEAAgE;AAChE,+DAA+D;AAC/D,2DAA2D;AAC3D,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,wEAAwE;AACxE,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,8DAA8D;AAC9D,OAAO,KAAK,qBAAqB,MAAM,8BAA8B,CAAC;AACtE,6EAA6E;AAC7E,iEAAiE;AACjE,4EAA4E;AAC5E,4EAA4E;AAC5E,oEAAoE;AACpE,uEAAuE;AACvE,4EAA4E;AAC5E,0EAA0E;AAC1E,uEAAuE;AACvE,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,KAAK,IAAI,MAAM,oBAAoB,CAAC;AAC3C,OAAO,KAAK,YAAY,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,iBAAiB,MAAM,kCAAkC,CAAC;AACtE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,cAAc,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAC1D,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,4EAA4E;AAC5E,yEAAyE;AACzE,sEAAsE;AACtE,uEAAuE;AACvE,yEAAyE;AACzE,wEAAwE;AACxE,+BAA+B;AAC/B,OAAO,KAAK,WAAW,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAC1D,4EAA4E;AAC5E,sEAAsE;AACtE,wEAAwE;AACxE,sEAAsE;AACtE,gDAAgD;AAChD,OAAO,KAAK,QAAQ,MAAM,yBAAyB,CAAC;AACpD,OAAO,KAAK,cAAc,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,0EAA0E;AAC1E,yCAAyC;AACzC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,qEAAqE;AACrE,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,kEAAkE;AAClE,qEAAqE;AACrE,oEAAoE;AACpE,iCAAiC;AACjC,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAC;AACnD,8DAA8D;AAC9D,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAC;AACnD,uDAAuD;AACvD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,+DAA+D;AAC/D,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,oEAAoE;AACpE,OAAO,KAAK,aAAa,MAAM,oCAAoC,CAAC;AACpE,uDAAuD;AACvD,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,iEAAiE;AACjE,qEAAqE;AACrE,mEAAmE;AACnE,iEAAiE;AACjE,+DAA+D;AAC/D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,kEAAkE;AAClE,0EAA0E;AAC1E,+EAA+E;AAC/E,oEAAoE;AACpE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uEAAuE;AACvE,oEAAoE;AACpE,uEAAuE;AACvE,aAAa;AACb,OAAO,KAAK,aAAa,MAAM,kCAAkC,CAAC;AAClE,oEAAoE;AACpE,kEAAkE;AAClE,oDAAoD;AACpD,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAC;AACnD,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,wDAAwD;AACxD,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,SAAS,MAAM,2BAA2B,CAAC;AACvD,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,+DAA+D;AAC/D,qBAAqB;AACrB,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,6DAA6D;AAC7D,mEAAmE;AACnE,sEAAsE;AACtE,gEAAgE;AAChE,yEAAyE;AACzE,yEAAyE;AACzE,uEAAuE;AACvE,6CAA6C;AAC7C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,0DAA0D;AAC1D,uEAAuE;AACvE,OAAO,KAAK,oBAAoB,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,qBAAqB,MAAM,uBAAuB,CAAC;AAC/D,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,iCAAiC;AACjC,OAAO,KAAK,oBAAoB,MAAM,4BAA4B,CAAC;AACnE,0DAA0D;AAC1D,8DAA8D;AAC9D,uEAAuE;AACvE,oEAAoE;AACpE,oDAAoD;AACpD,iEAAiE;AACjE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,gEAAgE;AAChE,+DAA+D;AAC/D,oEAAoE;AACpE,sEAAsE;AACtE,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,kEAAkE;AAClE,mEAAmE;AACnE,qEAAqE;AACrE,oDAAoD;AACpD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,4DAA4D;AAC5D,sEAAsE;AACtE,iEAAiE;AACjE,mEAAmE;AACnE,gEAAgE;AAChE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,oEAAoE;AACpE,qEAAqE;AACrE,sEAAsE;AACtE,kEAAkE;AAClE,iBAAiB;AACjB,4DAA4D;AAC5D,gEAAgE;AAChE,oEAAoE;AACpE,uDAAuD;AACvD,iEAAiE;AACjE,gEAAgE;AAChE,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,mEAAmE;AACnE,kEAAkE;AAClE,qEAAqE;AACrE,mEAAmE;AACnE,8DAA8D;AAC9D,0DAA0D;AAC1D,2DAA2D;AAC3D,yDAAyD;AACzD,4DAA4D;AAC5D,2DAA2D;AAC3D,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,0EAA0E;AAC1E,qEAAqE;AACrE,iEAAiE;AACjE,mEAAmE;AACnE,iEAAiE;AACjE,+BAA+B;AAC/B,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,+CAA+C;AAC/C,wEAAwE;AACxE,8DAA8D;AAC9D,4EAA4E;AAC5E,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,oEAAoE;AACpE,sEAAsE;AACtE,gDAAgD;AAChD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,uEAAuE;AACvE,oEAAoE;AACpE,8CAA8C;AAC9C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uEAAuE;AACvE,wEAAwE;AACxE,sEAAsE;AACtE,qEAAqE;AACrE,6CAA6C;AAC7C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,yDAAyD;AACzD,sEAAsE;AACtE,qEAAqE;AACrE,oEAAoE;AACpE,qEAAqE;AACrE,qEAAqE;AACrE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uDAAuD;AACvD,qEAAqE;AACrE,mEAAmE;AACnE,oEAAoE;AACpE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uEAAuE;AACvE,mEAAmE;AACnE,oDAAoD;AACpD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,gEAAgE;AAChE,oEAAoE;AACpE,sEAAsE;AACtE,6CAA6C;AAC7C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,6DAA6D;AAC7D,wEAAwE;AACxE,oEAAoE;AACpE,8DAA8D;AAC9D,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,gEAAgE;AAChE,sEAAsE;AACtE,oEAAoE;AACpE,6CAA6C;AAC7C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,0DAA0D;AAC1D,mEAAmE;AACnE,gEAAgE;AAChE,8DAA8D;AAC9D,4DAA4D;AAC5D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,iEAAiE;AACjE,sEAAsE;AACtE,oEAAoE;AACpE,qEAAqE;AACrE,gEAAgE;AAChE,2CAA2C;AAC3C,2DAA2D;AAC3D,6DAA6D;AAC7D,4DAA4D;AAC5D,gEAAgE;AAChE,iDAAiD;AACjD,6DAA6D;AAC7D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,wEAAwE;AACxE,gEAAgE;AAChE,mEAAmE;AACnE,iEAAiE;AACjE,6DAA6D;AAC7D,+DAA+D;AAC/D,sEAAsE;AACtE,gEAAgE;AAChE,8DAA8D;AAC9D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,mEAAmE;AACnE,sDAAsD;AACtD,8DAA8D;AAC9D,sEAAsE;AACtE,0EAA0E;AAC1E,yEAAyE;AACzE,sEAAsE;AACtE,gEAAgE;AAChE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,iEAAiE;AACjE,gEAAgE;AAChE,oEAAoE;AACpE,qEAAqE;AACrE,6DAA6D;AAC7D,6DAA6D;AAC7D,iEAAiE;AACjE,yDAAyD;AACzD,0DAA0D;AAC1D,8DAA8D;AAC9D,gEAAgE;AAChE,6DAA6D;AAC7D,yDAAyD;AACzD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,qEAAqE;AACrE,qEAAqE;AACrE,sEAAsE;AACtE,uEAAuE;AACvE,iEAAiE;AACjE,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC,oFAAoF;AACpF,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,uEAAuE;AACvE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,gEAAgE;AAChE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAE9C,uEAAuE;AACvE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAE9C,kDAAkD;AAClD,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,0FAA0F;AAC1F,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,uDAAuD;AACvD,8EAA8E;AAC9E,2EAA2E;AAC3E,yEAAyE;AACzE,8EAA8E;AAC9E,wEAAwE;AACxE,wDAAwD;AACxD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,oBAAoB,MAAM,kCAAkC,CAAC;AACzE,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,aAAa,MAAM,oCAAoC,CAAC;AACpE,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,uBAAuB,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,8DAA8D;AAC9D,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,cAAc,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,sEAAsE;AACtE,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,iBAAiB,MAAM,gCAAgC,CAAC;AACpE,uFAAuF;AACvF,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,uEAAuE;AACvE,OAAO,KAAK,mBAAmB,MAAM,iCAAiC,CAAC;AACvE,OAAO,KAAK,mBAAmB,MAAM,iCAAiC,CAAC;AACvE,gGAAgG;AAChG,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,sBAAsB,MAAM,oCAAoC,CAAC;AAC7E,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,uFAAuF;AACvF,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,qEAAqE;AACrE,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,wEAAwE;AACxE,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,kEAAkE;AAClE,gFAAgF;AAChF,+DAA+D;AAC/D,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,8EAA8E;AAC9E,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,mEAAmE;AACnE,+EAA+E;AAC/E,2EAA2E;AAC3E,OAAO,KAAK,eAAe,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,qEAAqE;AACrE,uEAAuE;AACvE,mFAAmF;AACnF,8EAA8E;AAC9E,sFAAsF;AACtF,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,gFAAgF;AAChF,mEAAmE;AACnE,oFAAoF;AACpF,0FAA0F;AAC1F,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,0DAA0D;AAC1D,2EAA2E;AAC3E,6EAA6E;AAC7E,qEAAqE;AACrE,mEAAmE;AACnE,qEAAqE;AACrE,OAAO,KAAK,oBAAoB,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,kFAAkF;AAClF,yFAAyF;AACzF,2EAA2E;AAC3E,mGAAmG;AACnG,sFAAsF;AACtF,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,kBAAkB,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAEnE,+DAA+D;AAC/D,kEAAkE;AAClE,kEAAkE;AAClE,mEAAmE;AACnE,qEAAqE;AACrE,OAAO,KAAK,mBAAmB,MAAM,iCAAiC,CAAC;AAEvE,mEAAmE;AACnE,6EAA6E;AAC7E,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,4DAA4D;AAC5D,qEAAqE;AACrE,iEAAiE;AACjE,sEAAsE;AACtE,2EAA2E;AAC3E,wFAAwF;AACxF,6EAA6E;AAC7E,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,+FAA+F;AAC/F,uGAAuG;AACvG,uFAAuF;AACvF,OAAO,KAAK,oBAAoB,MAAM,kCAAkC,CAAC;AAEzE,mEAAmE;AACnE,4EAA4E;AAC5E,gFAAgF;AAChF,6EAA6E;AAC7E,sFAAsF;AACtF,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AAExD,2GAA2G;AAC3G,iGAAiG;AACjG,gHAAgH;AAChH,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,+DAA+D;AAC/D,sFAAsF;AACtF,mFAAmF;AACnF,gFAAgF;AAChF,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,2FAA2F;AAC3F,0EAA0E;AAC1E,8FAA8F;AAC9F,mEAAmE;AACnE,wEAAwE;AACxE,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,mBAAmB,MAAM,kCAAkC,CAAC;AACxE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,yFAAyF;AACzF,4EAA4E;AAC5E,0FAA0F;AAC1F,4FAA4F;AAC5F,8EAA8E;AAC9E,wFAAwF;AACxF,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,2FAA2F;AAC3F,4FAA4F;AAC5F,0GAA0G;AAC1G,mGAAmG;AACnG,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,0FAA0F;AAC1F,0GAA0G;AAC1G,0GAA0G;AAC1G,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,mGAAmG;AACnG,uFAAuF;AACvF,2FAA2F;AAC3F,yFAAyF;AACzF,kCAAkC;AAClC,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,yEAAyE;AACzE,4FAA4F;AAC5F,4FAA4F;AAC5F,uFAAuF;AACvF,kFAAkF;AAClF,uFAAuF;AACvF,2DAA2D;AAC3D,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AAEtD,iFAAiF;AACjF,2EAA2E;AAC3E,iFAAiF;AACjF,0FAA0F;AAC1F,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,oEAAoE;AACpE,sEAAsE;AACtE,wEAAwE;AACxE,qEAAqE;AACrE,oEAAoE;AACpE,6DAA6D;AAC7D,0CAA0C;AAC1C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,uEAAuE;AACvE,2EAA2E;AAC3E,iEAAiE;AACjE,oEAAoE;AACpE,wDAAwD;AACxD,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,sEAAsE;AACtE,iEAAiE;AACjE,qEAAqE;AACrE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,kEAAkE;AAClE,uEAAuE;AACvE,wEAAwE;AACxE,0EAA0E;AAC1E,kEAAkE;AAClE,+DAA+D;AAC/D,2DAA2D;AAC3D,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,4EAA4E;AAC5E,8EAA8E;AAC9E,2EAA2E;AAC3E,0EAA0E;AAC1E,qEAAqE;AAErE,0EAA0E;AAC1E,oEAAoE;AACpE,mEAAmE;AACnE,iFAAiF;AACjF,wEAAwE;AACxE,2EAA2E;AAC3E,yBAAyB;AACzB,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,uEAAuE;AACvE,qEAAqE;AACrE,0EAA0E;AAC1E,uEAAuE;AACvE,yEAAyE;AACzE,oEAAoE;AACpE,uEAAuE;AACvE,yDAAyD;AACzD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAC5E,0EAA0E;AAC1E,2EAA2E;AAC3E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,qEAAqE;AACrE,kEAAkE;AAClE,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,qEAAqE;AACrE,uEAAuE;AACvE,4EAA4E;AAC5E,0EAA0E;AAC1E,2EAA2E;AAC3E,8EAA8E;AAC9E,oEAAoE;AACpE,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAE5C,2EAA2E;AAC3E,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,6EAA6E;AAC7E,uEAAuE;AACvE,wDAAwD;AACxD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,2EAA2E;AAC3E,6EAA6E;AAC7E,iBAAiB;AACjB,8EAA8E;AAC9E,sEAAsE;AACtE,sFAAsF;AACtF,wEAAwE;AACxE,4DAA4D;AAC5D,4EAA4E;AAC5E,+EAA+E;AAC/E,wEAAwE;AACxE,+EAA+E;AAC/E,sEAAsE;AACtE,6EAA6E;AAC7E,6CAA6C;AAC7C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAE9C,qEAAqE;AACrE,uEAAuE;AACvE,qEAAqE;AACrE,sEAAsE;AACtE,8CAA8C;AAC9C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,iEAAiE;AACjE,mEAAmE;AACnE,qEAAqE;AACrE,sEAAsE;AACtE,iEAAiE;AACjE,oDAAoD;AACpD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,uEAAuE;AACvE,oEAAoE;AACpE,6CAA6C;AAC7C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,mEAAmE;AACnE,iEAAiE;AACjE,iCAAiC;AACjC,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,4CAA4C;AAC5C,4EAA4E;AAC5E,6EAA6E;AAC7E,qEAAqE;AACrE,wEAAwE;AACxE,4DAA4D;AAC5D,qEAAqE;AACrE,6DAA6D;AAC7D,wEAAwE;AACxE,oDAAoD;AACpD,yEAAyE;AACzE,iDAAiD;AACjD,OAAO,KAAK,aAAa,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,+DAA+D;AAC/D,gFAAgF;AAChF,4EAA4E;AAC5E,gEAAgE;AAChE,8DAA8D;AAC9D,qEAAqE;AACrE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AAEnD,qEAAqE;AACrE,oEAAoE;AACpE,+CAA+C;AAC/C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,qEAAqE;AACrE,gEAAgE;AAChE,8DAA8D;AAC9D,mEAAmE;AACnE,2BAA2B;AAC3B,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,iEAAiE;AACjE,kEAAkE;AAClE,oEAAoE;AACpE,gEAAgE;AAChE,+DAA+D;AAC/D,6DAA6D;AAC7D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,sEAAsE;AACtE,iEAAiE;AACjE,mEAAmE;AACnE,qEAAqE;AACrE,iCAAiC;AACjC,OAAO,KAAK,iBAAiB,MAAM,gCAAgC,CAAC;AAEpE,wEAAwE;AACxE,yEAAyE;AACzE,sEAAsE;AACtE,uEAAuE;AACvE,uEAAuE;AACvE,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAE1C,wEAAwE;AACxE,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,uEAAuE;AACvE,yDAAyD;AACzD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,0EAA0E;AAC1E,uEAAuE;AACvE,kEAAkE;AAClE,uEAAuE;AACvE,gCAAgC;AAChC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,qEAAqE;AACrE,+DAA+D;AAC/D,kEAAkE;AAClE,iEAAiE;AACjE,qEAAqE;AACrE,qEAAqE;AACrE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AAEnD,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,kEAAkE;AAClE,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,yEAAyE;AACzE,oEAAoE;AACpE,0EAA0E;AAC1E,kEAAkE;AAClE,+DAA+D;AAC/D,2EAA2E;AAC3E,0CAA0C;AAC1C,gEAAgE;AAChE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAEhE,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,sEAAsE;AACtE,uEAAuE;AACvE,wDAAwD;AACxD,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,uEAAuE;AACvE,kEAAkE;AAClE,oEAAoE;AACpE,kDAAkD;AAClD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,iEAAiE;AACjE,kEAAkE;AAClE,gEAAgE;AAChE,6DAA6D;AAC7D,qDAAqD;AACrD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,iEAAiE;AACjE,+DAA+D;AAC/D,sEAAsE;AACtE,8DAA8D;AAC9D,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AAEpD,oEAAoE;AACpE,uEAAuE;AACvE,qEAAqE;AACrE,gEAAgE;AAChE,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,+CAA+C;AAC/C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,oEAAoE;AACpE,iEAAiE;AACjE,mEAAmE;AACnE,+DAA+D;AAC/D,8DAA8D;AAC9D,kEAAkE;AAClE,iEAAiE;AACjE,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAE1C,iEAAiE;AACjE,iEAAiE;AACjE,gEAAgE;AAChE,gEAAgE;AAChE,kEAAkE;AAClE,0DAA0D;AAC1D,8DAA8D;AAC9D,6CAA6C;AAC7C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,oEAAoE;AACpE,iEAAiE;AACjE,oEAAoE;AACpE,+DAA+D;AAC/D,kEAAkE;AAClE,iEAAiE;AACjE,4DAA4D;AAC5D,4DAA4D;AAC5D,wCAAwC;AACxC,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAEnE,mEAAmE;AACnE,iEAAiE;AACjE,mEAAmE;AACnE,gEAAgE;AAChE,iEAAiE;AACjE,oEAAoE;AACpE,mEAAmE;AACnE,sDAAsD;AACtD,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,qEAAqE;AACrE,kEAAkE;AAClE,oEAAoE;AACpE,gEAAgE;AAChE,+DAA+D;AAC/D,gEAAgE;AAChE,oEAAoE;AACpE,oEAAoE;AACpE,kEAAkE;AAClE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,cAAc,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,uEAAuE;AACvE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,uEAAuE;AACvE,oEAAoE;AACpE,6DAA6D;AAC7D,OAAO,KAAK,eAAe,MAAM,wBAAwB,CAAC;AAC1D,sEAAsE;AACtE,uEAAuE;AACvE,qEAAqE;AACrE,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,cAAc,CAAC;AACvC,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,sEAAsE;AACtE,0EAA0E;AAC1E,oEAAoE;AACpE,OAAO,KAAK,iBAAiB,MAAM,yBAAyB,CAAC;AAC7D,yEAAyE;AACzE,uEAAuE;AACvE,sEAAsE;AACtE,2CAA2C;AAC3C,OAAO,EAAE,iBAAiB,EAAuF,MAAM,yBAAyB,CAAC;AACjJ,6BAA6B;AAC7B,oEAAoE;AACpE,0DAA0D;AAC1D,OAAO,KAAK,uBAAuB,MAAM,gCAAgC,CAAC;AAC1E,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,qEAAqE;AACrE,6DAA6D;AAC7D,+DAA+D;AAC/D,mDAAmD;AACnD,qEAAqE;AACrE,2DAA2D;AAC3D,mEAAmE;AACnE,gEAAgE;AAChE,kEAAkE;AAClE,+DAA+D;AAC/D,yCAAyC;AACzC,OAAO,KAAK,gBAAgB,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,kBAAkB,MAAM,sCAAsC,CAAC;AAC3E,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,eAAe,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,aAAa,MAAM,+BAA+B,CAAC;AAC/D,mEAAmE;AACnE,uEAAuE;AACvE,gEAAgE;AAChE,yDAAyD;AACzD,qEAAqE;AACrE,0DAA0D;AAC1D,gEAAgE;AAChE,iEAAiE;AACjE,yCAAyC;AACzC,oEAAoE;AACpE,gEAAgE;AAChE,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,gBAAgB,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,iBAAiB,MAAM,0BAA0B,CAAC;AAC9D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,cAAc,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,qBAAqB,MAAM,mCAAmC,CAAC;AAC3E,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,gBAAgB,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,uBAAuB,MAAM,gCAAgC,CAAC;AAC1E,mEAAmE;AACnE,oEAAoE;AACpE,kCAAkC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,oEAAoE;AACpE,kEAAkE;AAClE,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,sDAAsD;AACtD,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,qEAAqE;AACrE,8DAA8D;AAC9D,mEAAmE;AACnE,kEAAkE;AAClE,mEAAmE;AACnE,mEAAmE;AACnE,gEAAgE;AAChE,qEAAqE;AACrE,8DAA8D;AAC9D,gEAAgE;AAChE,OAAO,KAAK,cAAc,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,kBAAkB,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,eAAe,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,gBAAgB,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,+DAA+D;AAC/D,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,iEAAiE;AACjE,uEAAuE;AACvE,OAAO,KAAK,SAAS,MAAM,2BAA2B,CAAC;AACvD,sEAAsE;AACtE,sEAAsE;AACtE,qEAAqE;AACrE,8CAA8C;AAC9C,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAC/C,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,iEAAiE;AACjE,4DAA4D;AAC5D,mCAAmC;AACnC,OAAO,KAAK,eAAe,MAAM,uBAAuB,CAAC;AACzD,sEAAsE;AACtE,qEAAqE;AACrE,mEAAmE;AACnE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,qEAAqE;AACrE,mEAAmE;AACnE,gEAAgE;AAChE,sEAAsE;AACtE,sCAAsC;AACtC,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,qEAAqE;AACrE,qEAAqE;AACrE,+DAA+D;AAC/D,iEAAiE;AACjE,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,kEAAkE;AAClE,mEAAmE;AACnE,oEAAoE;AACpE,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,8DAA8D;AAC9D,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,gEAAgE;AAChE,qEAAqE;AACrE,sEAAsE;AACtE,wEAAwE;AACxE,uEAAuE;AACvE,8CAA8C;AAC9C,OAAO,KAAK,aAAa,MAAM,6BAA6B,CAAC;AAC7D,8DAA8D;AAC9D,iEAAiE;AACjE,kEAAkE;AAClE,mEAAmE;AACnE,kEAAkE;AAClE,uEAAuE;AACvE,OAAO,KAAK,mBAAmB,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,eAAe,MAAM,uBAAuB,CAAC;AACzD,gEAAgE;AAChE,gEAAgE;AAChE,gEAAgE;AAChE,8CAA8C;AAC9C,OAAO,KAAK,mBAAmB,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,iEAAiE;AACjE,+DAA+D;AAC/D,sEAAsE;AACtE,iEAAiE;AACjE,mEAAmE;AACnE,oEAAoE;AACpE,yDAAyD;AACzD,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,uEAAuE;AACvE,uDAAuD;AACvD,0DAA0D;AAC1D,8DAA8D;AAC9D,qDAAqD;AACrD,wEAAwE;AACxE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,+DAA+D;AAC/D,yEAAyE;AACzE,yEAAyE;AACzE,+DAA+D;AAC/D,yEAAyE;AACzE,mCAAmC;AACnC,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,wCAAwC;AACxC,sFAAsF;AACtF,iFAAiF;AACjF,mFAAmF;AACnF,uEAAuE;AACvE,2DAA2D;AAC3D,oEAAoE;AACpE,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,4DAA4D;AAC5D,gEAAgE;AAChE,uEAAuE;AACvE,6DAA6D;AAC7D,qEAAqE;AACrE,4CAA4C;AAC5C,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,0DAA0D;AAC1D,kEAAkE;AAClE,mDAAmD;AACnD,6EAA6E;AAC7E,2EAA2E;AAC3E,kFAAkF;AAClF,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,yEAAyE;AACzE,oEAAoE;AACpE,oEAAoE;AACpE,yDAAyD;AACzD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,2DAA2D;AAC3D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AACxD,oEAAoE;AACpE,mEAAmE;AACnE,oEAAoE;AACpE,+DAA+D;AAC/D,2EAA2E;AAC3E,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,2EAA2E;AAC3E,4EAA4E;AAC5E,uEAAuE;AACvE,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,6EAA6E;AAC7E,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,wEAAwE;AACxE,wEAAwE;AACxE,wEAAwE;AACxE,2DAA2D;AAC3D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,kEAAkE;AAClE,qEAAqE;AACrE,wEAAwE;AACxE,oEAAoE;AACpE,gDAAgD;AAChD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,sEAAsE;AACtE,uEAAuE;AACvE,0EAA0E;AAC1E,sEAAsE;AACtE,+CAA+C;AAC/C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,gEAAgE;AAChE,gEAAgE;AAChE,OAAO,KAAK,gBAAgB,MAAM,yBAAyB,CAAC;AAC5D,qEAAqE;AACrE,uEAAuE;AACvE,kEAAkE;AAClE,0DAA0D;AAC1D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,eAAe,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,kEAAkE;AAClE,qEAAqE;AACrE,mEAAmE;AACnE,sEAAsE;AACtE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,qEAAqE;AACrE,qEAAqE;AACrE,mEAAmE;AACnE,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,kEAAkE;AAClE,kEAAkE;AAClE,uDAAuD;AACvD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,oEAAoE;AACpE,qDAAqD;AACrD,OAAO,KAAK,aAAa,MAAM,uBAAuB,CAAC;AACvD,uEAAuE;AACvE,2EAA2E;AAC3E,uEAAuE;AACvE,gEAAgE;AAChE,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,uEAAuE;AACvE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,mEAAmE;AACnE,4BAA4B;AAC5B,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,gEAAgE;AAChE,kEAAkE;AAClE,iEAAiE;AACjE,kEAAkE;AAClE,uDAAuD;AACvD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,+DAA+D;AAC/D,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,8DAA8D;AAC9D,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAC;AACjD,qEAAqE;AACrE,mEAAmE;AACnE,kEAAkE;AAClE,oDAAoD;AACpD,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAC;AACrD,uEAAuE;AACvE,qEAAqE;AACrE,6DAA6D;AAC7D,6BAA6B;AAC7B,OAAO,KAAK,UAAU,MAAM,+BAA+B,CAAC;AAC5D,4DAA4D;AAC5D,oEAAoE;AACpE,sEAAsE;AACtE,qEAAqE;AACrE,wDAAwD;AACxD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,oEAAoE;AACpE,sEAAsE;AACtE,+DAA+D;AAC/D,sEAAsE;AACtE,iEAAiE;AACjE,gEAAgE;AAChE,+DAA+D;AAC/D,2DAA2D;AAC3D,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,wEAAwE;AACxE,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,8DAA8D;AAC9D,OAAO,KAAK,qBAAqB,MAAM,8BAA8B,CAAC;AACtE,6EAA6E;AAC7E,iEAAiE;AACjE,4EAA4E;AAC5E,4EAA4E;AAC5E,oEAAoE;AACpE,uEAAuE;AACvE,4EAA4E;AAC5E,0EAA0E;AAC1E,uEAAuE;AACvE,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,KAAK,IAAI,MAAM,oBAAoB,CAAC;AAC3C,OAAO,KAAK,YAAY,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,iBAAiB,MAAM,kCAAkC,CAAC;AACtE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,cAAc,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAC1D,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,4EAA4E;AAC5E,yEAAyE;AACzE,sEAAsE;AACtE,uEAAuE;AACvE,yEAAyE;AACzE,wEAAwE;AACxE,+BAA+B;AAC/B,OAAO,KAAK,WAAW,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAC1D,4EAA4E;AAC5E,sEAAsE;AACtE,wEAAwE;AACxE,sEAAsE;AACtE,gDAAgD;AAChD,OAAO,KAAK,QAAQ,MAAM,yBAAyB,CAAC;AACpD,OAAO,KAAK,cAAc,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,0EAA0E;AAC1E,yCAAyC;AACzC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,qEAAqE;AACrE,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,kEAAkE;AAClE,qEAAqE;AACrE,oEAAoE;AACpE,iCAAiC;AACjC,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAC;AACnD,8DAA8D;AAC9D,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAC;AACnD,uDAAuD;AACvD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,+DAA+D;AAC/D,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,oEAAoE;AACpE,OAAO,KAAK,aAAa,MAAM,oCAAoC,CAAC;AACpE,uDAAuD;AACvD,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,iEAAiE;AACjE,qEAAqE;AACrE,mEAAmE;AACnE,iEAAiE;AACjE,+DAA+D;AAC/D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,kEAAkE;AAClE,0EAA0E;AAC1E,+EAA+E;AAC/E,oEAAoE;AACpE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uEAAuE;AACvE,oEAAoE;AACpE,uEAAuE;AACvE,aAAa;AACb,OAAO,KAAK,aAAa,MAAM,kCAAkC,CAAC;AAClE,oEAAoE;AACpE,kEAAkE;AAClE,oDAAoD;AACpD,OAAO,KAAK,QAAQ,MAAM,wBAAwB,CAAC;AACnD,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,wDAAwD;AACxD,OAAO,KAAK,SAAS,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,SAAS,MAAM,2BAA2B,CAAC;AACvD,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,+DAA+D;AAC/D,qBAAqB;AACrB,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,6DAA6D;AAC7D,mEAAmE;AACnE,sEAAsE;AACtE,gEAAgE;AAChE,yEAAyE;AACzE,yEAAyE;AACzE,uEAAuE;AACvE,6CAA6C;AAC7C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,0DAA0D;AAC1D,uEAAuE;AACvE,OAAO,KAAK,oBAAoB,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,qBAAqB,MAAM,uBAAuB,CAAC;AAC/D,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,iCAAiC;AACjC,OAAO,KAAK,oBAAoB,MAAM,4BAA4B,CAAC;AACnE,0DAA0D;AAC1D,8DAA8D;AAC9D,uEAAuE;AACvE,oEAAoE;AACpE,oDAAoD;AACpD,iEAAiE;AACjE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,gEAAgE;AAChE,+DAA+D;AAC/D,oEAAoE;AACpE,sEAAsE;AACtE,OAAO,KAAK,aAAa,MAAM,qBAAqB,CAAC;AACrD,kEAAkE;AAClE,mEAAmE;AACnE,qEAAqE;AACrE,oDAAoD;AACpD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,4DAA4D;AAC5D,sEAAsE;AACtE,iEAAiE;AACjE,mEAAmE;AACnE,gEAAgE;AAChE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,oEAAoE;AACpE,qEAAqE;AACrE,sEAAsE;AACtE,kEAAkE;AAClE,iBAAiB;AACjB,4DAA4D;AAC5D,gEAAgE;AAChE,oEAAoE;AACpE,uDAAuD;AACvD,iEAAiE;AACjE,gEAAgE;AAChE,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,mEAAmE;AACnE,kEAAkE;AAClE,qEAAqE;AACrE,mEAAmE;AACnE,8DAA8D;AAC9D,0DAA0D;AAC1D,2DAA2D;AAC3D,yDAAyD;AACzD,4DAA4D;AAC5D,2DAA2D;AAC3D,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,0EAA0E;AAC1E,qEAAqE;AACrE,iEAAiE;AACjE,mEAAmE;AACnE,iEAAiE;AACjE,+BAA+B;AAC/B,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,+CAA+C;AAC/C,wEAAwE;AACxE,8DAA8D;AAC9D,4EAA4E;AAC5E,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,oEAAoE;AACpE,sEAAsE;AACtE,gDAAgD;AAChD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,uEAAuE;AACvE,oEAAoE;AACpE,8CAA8C;AAC9C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uEAAuE;AACvE,wEAAwE;AACxE,sEAAsE;AACtE,qEAAqE;AACrE,6CAA6C;AAC7C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,yDAAyD;AACzD,sEAAsE;AACtE,qEAAqE;AACrE,oEAAoE;AACpE,qEAAqE;AACrE,qEAAqE;AACrE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uDAAuD;AACvD,qEAAqE;AACrE,mEAAmE;AACnE,oEAAoE;AACpE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,uEAAuE;AACvE,mEAAmE;AACnE,oDAAoD;AACpD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,gEAAgE;AAChE,oEAAoE;AACpE,sEAAsE;AACtE,6CAA6C;AAC7C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,6DAA6D;AAC7D,wEAAwE;AACxE,oEAAoE;AACpE,8DAA8D;AAC9D,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,gEAAgE;AAChE,sEAAsE;AACtE,oEAAoE;AACpE,6CAA6C;AAC7C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,0DAA0D;AAC1D,mEAAmE;AACnE,gEAAgE;AAChE,8DAA8D;AAC9D,4DAA4D;AAC5D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,iEAAiE;AACjE,sEAAsE;AACtE,oEAAoE;AACpE,qEAAqE;AACrE,gEAAgE;AAChE,2CAA2C;AAC3C,2DAA2D;AAC3D,6DAA6D;AAC7D,4DAA4D;AAC5D,gEAAgE;AAChE,iDAAiD;AACjD,6DAA6D;AAC7D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,wEAAwE;AACxE,gEAAgE;AAChE,mEAAmE;AACnE,iEAAiE;AACjE,6DAA6D;AAC7D,+DAA+D;AAC/D,sEAAsE;AACtE,gEAAgE;AAChE,8DAA8D;AAC9D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,mEAAmE;AACnE,sDAAsD;AACtD,8DAA8D;AAC9D,sEAAsE;AACtE,0EAA0E;AAC1E,yEAAyE;AACzE,sEAAsE;AACtE,gEAAgE;AAChE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,iEAAiE;AACjE,gEAAgE;AAChE,oEAAoE;AACpE,qEAAqE;AACrE,6DAA6D;AAC7D,6DAA6D;AAC7D,iEAAiE;AACjE,yDAAyD;AACzD,0DAA0D;AAC1D,8DAA8D;AAC9D,gEAAgE;AAChE,6DAA6D;AAC7D,yDAAyD;AACzD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,qEAAqE;AACrE,qEAAqE;AACrE,sEAAsE;AACtE,uEAAuE;AACvE,iEAAiE;AACjE,OAAO,KAAK,gBAAgB,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC,oFAAoF;AACpF,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,uEAAuE;AACvE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,gEAAgE;AAChE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAE9C,uEAAuE;AACvE,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAE9C,kDAAkD;AAClD,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,0FAA0F;AAC1F,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,uDAAuD;AACvD,8EAA8E;AAC9E,2EAA2E;AAC3E,yEAAyE;AACzE,8EAA8E;AAC9E,wEAAwE;AACxE,wDAAwD;AACxD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,oBAAoB,MAAM,kCAAkC,CAAC;AACzE,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,aAAa,MAAM,oCAAoC,CAAC;AACpE,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,uBAAuB,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,cAAc,MAAM,6BAA6B,CAAC;AAC9D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,8DAA8D;AAC9D,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,cAAc,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,sEAAsE;AACtE,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,iBAAiB,MAAM,gCAAgC,CAAC;AACpE,uFAAuF;AACvF,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,uEAAuE;AACvE,OAAO,KAAK,mBAAmB,MAAM,iCAAiC,CAAC;AACvE,OAAO,KAAK,mBAAmB,MAAM,iCAAiC,CAAC;AACvE,gGAAgG;AAChG,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,sBAAsB,MAAM,oCAAoC,CAAC;AAC7E,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,uFAAuF;AACvF,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,qEAAqE;AACrE,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,wEAAwE;AACxE,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AACnD,kEAAkE;AAClE,gFAAgF;AAChF,+DAA+D;AAC/D,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,8EAA8E;AAC9E,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,mEAAmE;AACnE,+EAA+E;AAC/E,2EAA2E;AAC3E,OAAO,KAAK,eAAe,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,qEAAqE;AACrE,uEAAuE;AACvE,mFAAmF;AACnF,8EAA8E;AAC9E,sFAAsF;AACtF,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,gFAAgF;AAChF,mEAAmE;AACnE,oFAAoF;AACpF,0FAA0F;AAC1F,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,0DAA0D;AAC1D,2EAA2E;AAC3E,6EAA6E;AAC7E,qEAAqE;AACrE,mEAAmE;AACnE,qEAAqE;AACrE,OAAO,KAAK,oBAAoB,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,kFAAkF;AAClF,yFAAyF;AACzF,2EAA2E;AAC3E,mGAAmG;AACnG,sFAAsF;AACtF,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,kBAAkB,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAEnE,+DAA+D;AAC/D,kEAAkE;AAClE,kEAAkE;AAClE,mEAAmE;AACnE,qEAAqE;AACrE,OAAO,KAAK,mBAAmB,MAAM,iCAAiC,CAAC;AAEvE,mEAAmE;AACnE,6EAA6E;AAC7E,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,4DAA4D;AAC5D,qEAAqE;AACrE,iEAAiE;AACjE,sEAAsE;AACtE,2EAA2E;AAC3E,wFAAwF;AACxF,6EAA6E;AAC7E,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,kBAAkB,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,+FAA+F;AAC/F,uGAAuG;AACvG,uFAAuF;AACvF,OAAO,KAAK,oBAAoB,MAAM,kCAAkC,CAAC;AAEzE,mEAAmE;AACnE,4EAA4E;AAC5E,gFAAgF;AAChF,6EAA6E;AAC7E,sFAAsF;AACtF,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AAExD,2GAA2G;AAC3G,iGAAiG;AACjG,gHAAgH;AAChH,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,+DAA+D;AAC/D,sFAAsF;AACtF,mFAAmF;AACnF,gFAAgF;AAChF,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,2FAA2F;AAC3F,0EAA0E;AAC1E,8FAA8F;AAC9F,mEAAmE;AACnE,wEAAwE;AACxE,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,mBAAmB,MAAM,kCAAkC,CAAC;AACxE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,yFAAyF;AACzF,4EAA4E;AAC5E,0FAA0F;AAC1F,4FAA4F;AAC5F,8EAA8E;AAC9E,wFAAwF;AACxF,OAAO,KAAK,YAAY,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,2FAA2F;AAC3F,4FAA4F;AAC5F,0GAA0G;AAC1G,mGAAmG;AACnG,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,0FAA0F;AAC1F,0GAA0G;AAC1G,0GAA0G;AAC1G,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,mGAAmG;AACnG,uFAAuF;AACvF,2FAA2F;AAC3F,yFAAyF;AACzF,kCAAkC;AAClC,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,yEAAyE;AACzE,4FAA4F;AAC5F,4FAA4F;AAC5F,uFAAuF;AACvF,kFAAkF;AAClF,uFAAuF;AACvF,2DAA2D;AAC3D,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AAEtD,iFAAiF;AACjF,2EAA2E;AAC3E,iFAAiF;AACjF,0FAA0F;AAC1F,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,oEAAoE;AACpE,sEAAsE;AACtE,wEAAwE;AACxE,qEAAqE;AACrE,oEAAoE;AACpE,6DAA6D;AAC7D,0CAA0C;AAC1C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,uEAAuE;AACvE,2EAA2E;AAC3E,iEAAiE;AACjE,oEAAoE;AACpE,wDAAwD;AACxD,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,sEAAsE;AACtE,iEAAiE;AACjE,qEAAqE;AACrE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,kEAAkE;AAClE,uEAAuE;AACvE,wEAAwE;AACxE,0EAA0E;AAC1E,kEAAkE;AAClE,+DAA+D;AAC/D,2DAA2D;AAC3D,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,4EAA4E;AAC5E,8EAA8E;AAC9E,2EAA2E;AAC3E,0EAA0E;AAC1E,qEAAqE;AAErE,0EAA0E;AAC1E,oEAAoE;AACpE,mEAAmE;AACnE,iFAAiF;AACjF,wEAAwE;AACxE,2EAA2E;AAC3E,yBAAyB;AACzB,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,uEAAuE;AACvE,qEAAqE;AACrE,0EAA0E;AAC1E,uEAAuE;AACvE,yEAAyE;AACzE,oEAAoE;AACpE,uEAAuE;AACvE,yDAAyD;AACzD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,4EAA4E;AAC5E,yEAAyE;AACzE,4EAA4E;AAC5E,0EAA0E;AAC1E,2EAA2E;AAC3E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,qEAAqE;AACrE,kEAAkE;AAClE,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,qEAAqE;AACrE,uEAAuE;AACvE,4EAA4E;AAC5E,0EAA0E;AAC1E,2EAA2E;AAC3E,8EAA8E;AAC9E,oEAAoE;AACpE,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAE5C,2EAA2E;AAC3E,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,6EAA6E;AAC7E,uEAAuE;AACvE,wDAAwD;AACxD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,2EAA2E;AAC3E,6EAA6E;AAC7E,iBAAiB;AACjB,8EAA8E;AAC9E,sEAAsE;AACtE,sFAAsF;AACtF,wEAAwE;AACxE,4DAA4D;AAC5D,4EAA4E;AAC5E,+EAA+E;AAC/E,wEAAwE;AACxE,+EAA+E;AAC/E,sEAAsE;AACtE,6EAA6E;AAC7E,6CAA6C;AAC7C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAE9C,qEAAqE;AACrE,uEAAuE;AACvE,qEAAqE;AACrE,sEAAsE;AACtE,8CAA8C;AAC9C,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,iEAAiE;AACjE,mEAAmE;AACnE,qEAAqE;AACrE,sEAAsE;AACtE,iEAAiE;AACjE,oDAAoD;AACpD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,uEAAuE;AACvE,oEAAoE;AACpE,6CAA6C;AAC7C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,mEAAmE;AACnE,iEAAiE;AACjE,iCAAiC;AACjC,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,4CAA4C;AAC5C,4EAA4E;AAC5E,6EAA6E;AAC7E,qEAAqE;AACrE,wEAAwE;AACxE,4DAA4D;AAC5D,qEAAqE;AACrE,6DAA6D;AAC7D,wEAAwE;AACxE,oDAAoD;AACpD,yEAAyE;AACzE,iDAAiD;AACjD,OAAO,KAAK,aAAa,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,cAAc,MAAM,4BAA4B,CAAC;AAE7D,+DAA+D;AAC/D,gFAAgF;AAChF,4EAA4E;AAC5E,gEAAgE;AAChE,8DAA8D;AAC9D,qEAAqE;AACrE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAC7C,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AAEnD,qEAAqE;AACrE,oEAAoE;AACpE,+CAA+C;AAC/C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,qEAAqE;AACrE,gEAAgE;AAChE,8DAA8D;AAC9D,mEAAmE;AACnE,2BAA2B;AAC3B,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAE/D,iEAAiE;AACjE,kEAAkE;AAClE,oEAAoE;AACpE,gEAAgE;AAChE,+DAA+D;AAC/D,6DAA6D;AAC7D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,sEAAsE;AACtE,iEAAiE;AACjE,mEAAmE;AACnE,qEAAqE;AACrE,iCAAiC;AACjC,OAAO,KAAK,iBAAiB,MAAM,gCAAgC,CAAC;AAEpE,wEAAwE;AACxE,yEAAyE;AACzE,sEAAsE;AACtE,uEAAuE;AACvE,uEAAuE;AACvE,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAE1C,wEAAwE;AACxE,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,uEAAuE;AACvE,yDAAyD;AACzD,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,0EAA0E;AAC1E,uEAAuE;AACvE,kEAAkE;AAClE,uEAAuE;AACvE,gCAAgC;AAChC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,qEAAqE;AACrE,+DAA+D;AAC/D,kEAAkE;AAClE,iEAAiE;AACjE,qEAAqE;AACrE,qEAAqE;AACrE,OAAO,KAAK,SAAS,MAAM,uBAAuB,CAAC;AAEnD,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,kEAAkE;AAClE,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AACvD,OAAO,KAAK,WAAW,MAAM,yBAAyB,CAAC;AAEvD,yEAAyE;AACzE,oEAAoE;AACpE,0EAA0E;AAC1E,kEAAkE;AAClE,+DAA+D;AAC/D,2EAA2E;AAC3E,0CAA0C;AAC1C,gEAAgE;AAChE,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAEhE,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,sEAAsE;AACtE,uEAAuE;AACvE,wDAAwD;AACxD,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,uEAAuE;AACvE,kEAAkE;AAClE,oEAAoE;AACpE,kDAAkD;AAClD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,iEAAiE;AACjE,kEAAkE;AAClE,gEAAgE;AAChE,6DAA6D;AAC7D,qDAAqD;AACrD,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,iEAAiE;AACjE,+DAA+D;AAC/D,sEAAsE;AACtE,8DAA8D;AAC9D,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AAEpD,oEAAoE;AACpE,uEAAuE;AACvE,qEAAqE;AACrE,gEAAgE;AAChE,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,+CAA+C;AAC/C,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAEzD,oEAAoE;AACpE,iEAAiE;AACjE,mEAAmE;AACnE,+DAA+D;AAC/D,8DAA8D;AAC9D,kEAAkE;AAClE,iEAAiE;AACjE,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAE1C,iEAAiE;AACjE,iEAAiE;AACjE,gEAAgE;AAChE,gEAAgE;AAChE,kEAAkE;AAClE,0DAA0D;AAC1D,8DAA8D;AAC9D,6CAA6C;AAC7C,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,oEAAoE;AACpE,iEAAiE;AACjE,oEAAoE;AACpE,+DAA+D;AAC/D,kEAAkE;AAClE,iEAAiE;AACjE,4DAA4D;AAC5D,4DAA4D;AAC5D,wCAAwC;AACxC,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAEnE,mEAAmE;AACnE,iEAAiE;AACjE,mEAAmE;AACnE,gEAAgE;AAChE,iEAAiE;AACjE,oEAAoE;AACpE,mEAAmE;AACnE,sDAAsD;AACtD,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AAEjE,qEAAqE;AACrE,kEAAkE;AAClE,oEAAoE;AACpE,gEAAgE;AAChE,+DAA+D;AAC/D,gEAAgE;AAChE,oEAAoE;AACpE,oEAAoE;AACpE,kEAAkE;AAClE,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAElD,kEAAkE;AAClE,oEAAoE;AACpE,8DAA8D;AAC9D,mEAAmE;AACnE,gEAAgE;AAChE,oEAAoE;AACpE,mEAAmE;AACnE,qEAAqE;AACrE,gEAAgE;AAChE,gEAAgE;AAChE,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC"}
|
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.22.1 — PHYSICS LATHE · AXIOMS.
|
|
3
|
+
*
|
|
4
|
+
* Hardcoded SI-unit physics axioms (constants + equations) used to
|
|
5
|
+
* verify LLM claims that involve physical quantities. Each axiom
|
|
6
|
+
* carries the variables it relates, their SI units, an optional
|
|
7
|
+
* canonical numeric value, and tolerance for the dimensional check.
|
|
8
|
+
*
|
|
9
|
+
* Coverage is intentionally rocket-/orbital-/thermo-leaning — the
|
|
10
|
+
* domains where LLM hallucinations are most expensive (wrong delta-v,
|
|
11
|
+
* wrong heat budget, wrong orbital altitude).
|
|
12
|
+
*
|
|
13
|
+
* For a claim "X needs N <unit> of <quantity> to do Y", the verifier
|
|
14
|
+
* picks the axiom(s) whose variable set matches the units in the
|
|
15
|
+
* claim, substitutes the supplied values, and checks consistency.
|
|
16
|
+
*/
|
|
17
|
+
export type SiBase = "m" | "kg" | "s" | "A" | "K" | "mol" | "cd" | "rad" | "Hz" | "N" | "Pa" | "J" | "W" | "V" | "Ω" | "T" | "C" | "F" | "H";
|
|
18
|
+
/** A unit can be a list of (base, exponent) pairs, e.g. acceleration =
|
|
19
|
+
* [["m", 1], ["s", -2]]. We canonicalise to base SI for comparison. */
|
|
20
|
+
export type Unit = Array<[SiBase, number]>;
|
|
21
|
+
export interface Constant {
|
|
22
|
+
symbol: string;
|
|
23
|
+
/** Plain-English label. */
|
|
24
|
+
name: string;
|
|
25
|
+
/** Canonical SI value. */
|
|
26
|
+
value: number;
|
|
27
|
+
/** SI units. */
|
|
28
|
+
unit: Unit;
|
|
29
|
+
/** Source citation. */
|
|
30
|
+
citation: string;
|
|
31
|
+
}
|
|
32
|
+
export declare const CONSTANTS: Constant[];
|
|
33
|
+
export interface KnownValue {
|
|
34
|
+
/** Human-friendly label for the LLM claim to match. */
|
|
35
|
+
label: string;
|
|
36
|
+
/** Plain-English description. */
|
|
37
|
+
description: string;
|
|
38
|
+
/** Canonical value in SI. */
|
|
39
|
+
value: number;
|
|
40
|
+
unit: Unit;
|
|
41
|
+
/** Acceptable relative error (e.g. 0.05 = within ±5%). */
|
|
42
|
+
tolerance: number;
|
|
43
|
+
citation: string;
|
|
44
|
+
}
|
|
45
|
+
/** Well-known physical numbers (LEO velocity, ISS altitude, Mars
|
|
46
|
+
* escape velocity, etc.). The verifier matches a claim's
|
|
47
|
+
* (quantity, unit) tuple against this list before falling back to
|
|
48
|
+
* axiom-based derivation. */
|
|
49
|
+
export declare const KNOWN_VALUES: KnownValue[];
|
|
50
|
+
export interface Axiom {
|
|
51
|
+
/** Stable id; used in proof tree. */
|
|
52
|
+
id: string;
|
|
53
|
+
name: string;
|
|
54
|
+
/** Plain-English formula. */
|
|
55
|
+
formulaText: string;
|
|
56
|
+
/** Variable symbols + their SI units. */
|
|
57
|
+
variables: Array<{
|
|
58
|
+
symbol: string;
|
|
59
|
+
description: string;
|
|
60
|
+
unit: Unit;
|
|
61
|
+
}>;
|
|
62
|
+
/** Apply the axiom: given variable values, compute the LHS or
|
|
63
|
+
* the bound. Implementations return either a single value (when
|
|
64
|
+
* the equation determines one variable from the rest) or null
|
|
65
|
+
* if not enough vars supplied. */
|
|
66
|
+
apply: (vars: Record<string, number>) => {
|
|
67
|
+
value: number;
|
|
68
|
+
computed: string;
|
|
69
|
+
} | null;
|
|
70
|
+
/** Tolerance (relative). */
|
|
71
|
+
tolerance: number;
|
|
72
|
+
citation: string;
|
|
73
|
+
}
|
|
74
|
+
export declare const AXIOMS: Axiom[];
|
|
75
|
+
/** Combined view used by the verifier. */
|
|
76
|
+
export declare function allAxioms(): Axiom[];
|
|
77
|
+
export declare function allConstants(): Constant[];
|
|
78
|
+
export declare function allKnownValues(): KnownValue[];
|
|
79
|
+
//# sourceMappingURL=axioms.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"axioms.d.ts","sourceRoot":"","sources":["../../src/physics_lathe/axioms.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,MAAM,MAAM,GACd,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,KAAK,GAAG,IAAI,GAC3C,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAE9E;wEACwE;AACxE,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3C,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,gBAAgB;IAChB,IAAI,EAAE,IAAI,CAAC;IACX,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,eAAO,MAAM,SAAS,EAAE,QAAQ,EAgB/B,CAAC;AAEF,MAAM,WAAW,UAAU;IACzB,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;IACX,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;8BAG8B;AAC9B,eAAO,MAAM,YAAY,EAAE,UAAU,EAWpC,CAAC;AAEF,MAAM,WAAW,KAAK;IACpB,qCAAqC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,yCAAyC;IACzC,SAAS,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC,CAAC;IACtE;;;uCAGmC;IACnC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACpF,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAWD,eAAO,MAAM,MAAM,EAAE,KAAK,EA8KzB,CAAC;AAEF,0CAA0C;AAC1C,wBAAgB,SAAS,IAAI,KAAK,EAAE,CAAmB;AACvD,wBAAgB,YAAY,IAAI,QAAQ,EAAE,CAAsB;AAChE,wBAAgB,cAAc,IAAI,UAAU,EAAE,CAAyB"}
|
|
@@ -0,0 +1,248 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.22.1 — PHYSICS LATHE · AXIOMS.
|
|
3
|
+
*
|
|
4
|
+
* Hardcoded SI-unit physics axioms (constants + equations) used to
|
|
5
|
+
* verify LLM claims that involve physical quantities. Each axiom
|
|
6
|
+
* carries the variables it relates, their SI units, an optional
|
|
7
|
+
* canonical numeric value, and tolerance for the dimensional check.
|
|
8
|
+
*
|
|
9
|
+
* Coverage is intentionally rocket-/orbital-/thermo-leaning — the
|
|
10
|
+
* domains where LLM hallucinations are most expensive (wrong delta-v,
|
|
11
|
+
* wrong heat budget, wrong orbital altitude).
|
|
12
|
+
*
|
|
13
|
+
* For a claim "X needs N <unit> of <quantity> to do Y", the verifier
|
|
14
|
+
* picks the axiom(s) whose variable set matches the units in the
|
|
15
|
+
* claim, substitutes the supplied values, and checks consistency.
|
|
16
|
+
*/
|
|
17
|
+
export const CONSTANTS = [
|
|
18
|
+
{ symbol: "c", name: "speed of light in vacuum", value: 2.99792458e8, unit: [["m", 1], ["s", -1]], citation: "CODATA 2018 (exact)" },
|
|
19
|
+
{ symbol: "G", name: "Newtonian gravitational constant", value: 6.67430e-11, unit: [["m", 3], ["kg", -1], ["s", -2]], citation: "CODATA 2018" },
|
|
20
|
+
{ symbol: "g₀", name: "standard surface gravity (Earth)", value: 9.80665, unit: [["m", 1], ["s", -2]], citation: "BIPM (defined)" },
|
|
21
|
+
{ symbol: "k_B", name: "Boltzmann constant", value: 1.380649e-23, unit: [["J", 1], ["K", -1]], citation: "SI 2019 (exact)" },
|
|
22
|
+
{ symbol: "h", name: "Planck constant", value: 6.62607015e-34, unit: [["J", 1], ["s", 1]], citation: "SI 2019 (exact)" },
|
|
23
|
+
{ symbol: "N_A", name: "Avogadro number", value: 6.02214076e23, unit: [["mol", -1]], citation: "SI 2019 (exact)" },
|
|
24
|
+
{ symbol: "R", name: "molar gas constant", value: 8.314462618, unit: [["J", 1], ["mol", -1], ["K", -1]], citation: "CODATA" },
|
|
25
|
+
{ symbol: "σ", name: "Stefan-Boltzmann constant", value: 5.670374419e-8, unit: [["W", 1], ["m", -2], ["K", -4]], citation: "CODATA" },
|
|
26
|
+
{ symbol: "M_E", name: "Earth mass", value: 5.9722e24, unit: [["kg", 1]], citation: "IAU" },
|
|
27
|
+
{ symbol: "R_E", name: "Earth radius (mean)", value: 6.371e6, unit: [["m", 1]], citation: "IUGG" },
|
|
28
|
+
{ symbol: "M_M", name: "Moon mass", value: 7.342e22, unit: [["kg", 1]], citation: "NASA" },
|
|
29
|
+
{ symbol: "M_Mars", name: "Mars mass", value: 6.4171e23, unit: [["kg", 1]], citation: "NASA" },
|
|
30
|
+
{ symbol: "R_Mars", name: "Mars radius (equatorial)", value: 3.3895e6, unit: [["m", 1]], citation: "NASA" },
|
|
31
|
+
{ symbol: "AU", name: "astronomical unit", value: 1.495978707e11, unit: [["m", 1]], citation: "IAU 2012 (exact)" },
|
|
32
|
+
{ symbol: "M_sun", name: "solar mass", value: 1.98892e30, unit: [["kg", 1]], citation: "IAU" },
|
|
33
|
+
];
|
|
34
|
+
/** Well-known physical numbers (LEO velocity, ISS altitude, Mars
|
|
35
|
+
* escape velocity, etc.). The verifier matches a claim's
|
|
36
|
+
* (quantity, unit) tuple against this list before falling back to
|
|
37
|
+
* axiom-based derivation. */
|
|
38
|
+
export const KNOWN_VALUES = [
|
|
39
|
+
{ label: "LEO orbital velocity", description: "Circular orbital velocity at ~400 km altitude (e.g. ISS).", value: 7.66e3, unit: [["m", 1], ["s", -1]], tolerance: 0.05, citation: "Compute from v=√(GM/r) at r=R_E+400km" },
|
|
40
|
+
{ label: "Earth escape velocity", description: "Escape velocity from Earth's surface.", value: 1.118e4, unit: [["m", 1], ["s", -1]], tolerance: 0.03, citation: "v_esc = √(2GM/R)" },
|
|
41
|
+
{ label: "Mars escape velocity", description: "Escape velocity from Mars surface.", value: 5.03e3, unit: [["m", 1], ["s", -1]], tolerance: 0.05, citation: "v_esc = √(2GM/R) for Mars" },
|
|
42
|
+
{ label: "Moon escape velocity", description: "Escape velocity from Moon surface.", value: 2.38e3, unit: [["m", 1], ["s", -1]], tolerance: 0.05, citation: "v_esc = √(2GM/R) for Moon" },
|
|
43
|
+
{ label: "ISS altitude", description: "Nominal ISS orbital altitude above Earth's surface.", value: 4.0e5, unit: [["m", 1]], tolerance: 0.10, citation: "NASA ISS Trajectory Operations" },
|
|
44
|
+
{ label: "GEO altitude", description: "Geostationary altitude above Earth's surface.", value: 3.5786e7, unit: [["m", 1]], tolerance: 0.01, citation: "ITU Radio Regulations" },
|
|
45
|
+
{ label: "LEO altitude range max", description: "Upper limit of low Earth orbit.", value: 2.0e6, unit: [["m", 1]], tolerance: 0.05, citation: "NASA convention" },
|
|
46
|
+
{ label: "Delta-v to LEO from Earth", description: "Total delta-v from Earth's surface to a stable LEO.", value: 9.4e3, unit: [["m", 1], ["s", -1]], tolerance: 0.10, citation: "Includes gravity + drag losses; typical 9.3-9.5 km/s" },
|
|
47
|
+
{ label: "Delta-v Earth-to-Moon", description: "Single Hohmann delta-v from LEO to lunar transfer.", value: 3.1e3, unit: [["m", 1], ["s", -1]], tolerance: 0.05, citation: "NASA mission design" },
|
|
48
|
+
{ label: "Delta-v Earth-to-Mars", description: "Hohmann delta-v from LEO to Mars transfer.", value: 3.6e3, unit: [["m", 1], ["s", -1]], tolerance: 0.05, citation: "NASA mission design" },
|
|
49
|
+
];
|
|
50
|
+
const G = CONSTANTS.find((c) => c.symbol === "G").value;
|
|
51
|
+
const M_E = CONSTANTS.find((c) => c.symbol === "M_E").value;
|
|
52
|
+
const R_E = CONSTANTS.find((c) => c.symbol === "R_E").value;
|
|
53
|
+
const g0 = CONSTANTS.find((c) => c.symbol === "g₀").value;
|
|
54
|
+
const c_light = CONSTANTS.find((c) => c.symbol === "c").value;
|
|
55
|
+
const sigma = CONSTANTS.find((c) => c.symbol === "σ").value;
|
|
56
|
+
const k_B = CONSTANTS.find((c) => c.symbol === "k_B").value;
|
|
57
|
+
const R_gas = CONSTANTS.find((c) => c.symbol === "R").value;
|
|
58
|
+
export const AXIOMS = [
|
|
59
|
+
{
|
|
60
|
+
id: "tsiolkovsky",
|
|
61
|
+
name: "Tsiolkovsky rocket equation",
|
|
62
|
+
formulaText: "Δv = v_e · ln(m_0 / m_f)",
|
|
63
|
+
variables: [
|
|
64
|
+
{ symbol: "delta_v", description: "change in velocity", unit: [["m", 1], ["s", -1]] },
|
|
65
|
+
{ symbol: "v_e", description: "effective exhaust velocity", unit: [["m", 1], ["s", -1]] },
|
|
66
|
+
{ symbol: "m_0", description: "wet mass (initial)", unit: [["kg", 1]] },
|
|
67
|
+
{ symbol: "m_f", description: "dry mass (final)", unit: [["kg", 1]] },
|
|
68
|
+
],
|
|
69
|
+
apply: (v) => {
|
|
70
|
+
if (v.v_e === undefined || v.m_0 === undefined || v.m_f === undefined)
|
|
71
|
+
return null;
|
|
72
|
+
if (v.m_f <= 0 || v.m_0 <= v.m_f)
|
|
73
|
+
return null;
|
|
74
|
+
const dv = v.v_e * Math.log(v.m_0 / v.m_f);
|
|
75
|
+
return { value: dv, computed: `${v.v_e} * ln(${v.m_0}/${v.m_f}) = ${dv.toFixed(2)} m/s` };
|
|
76
|
+
},
|
|
77
|
+
tolerance: 0.02,
|
|
78
|
+
citation: "Tsiolkovsky 1903",
|
|
79
|
+
},
|
|
80
|
+
{
|
|
81
|
+
id: "newton-2nd",
|
|
82
|
+
name: "Newton's second law",
|
|
83
|
+
formulaText: "F = m · a",
|
|
84
|
+
variables: [
|
|
85
|
+
{ symbol: "F", description: "force", unit: [["N", 1]] },
|
|
86
|
+
{ symbol: "m", description: "mass", unit: [["kg", 1]] },
|
|
87
|
+
{ symbol: "a", description: "acceleration", unit: [["m", 1], ["s", -2]] },
|
|
88
|
+
],
|
|
89
|
+
apply: (v) => {
|
|
90
|
+
if (v.m === undefined || v.a === undefined)
|
|
91
|
+
return null;
|
|
92
|
+
return { value: v.m * v.a, computed: `${v.m} * ${v.a} = ${(v.m * v.a).toFixed(2)} N` };
|
|
93
|
+
},
|
|
94
|
+
tolerance: 0.01,
|
|
95
|
+
citation: "Newton Principia 1687",
|
|
96
|
+
},
|
|
97
|
+
{
|
|
98
|
+
id: "kinetic-energy",
|
|
99
|
+
name: "Classical kinetic energy",
|
|
100
|
+
formulaText: "KE = (1/2) · m · v²",
|
|
101
|
+
variables: [
|
|
102
|
+
{ symbol: "KE", description: "kinetic energy", unit: [["J", 1]] },
|
|
103
|
+
{ symbol: "m", description: "mass", unit: [["kg", 1]] },
|
|
104
|
+
{ symbol: "v", description: "speed", unit: [["m", 1], ["s", -1]] },
|
|
105
|
+
],
|
|
106
|
+
apply: (v) => {
|
|
107
|
+
if (v.m === undefined || v.v === undefined)
|
|
108
|
+
return null;
|
|
109
|
+
const ke = 0.5 * v.m * v.v * v.v;
|
|
110
|
+
return { value: ke, computed: `0.5 * ${v.m} * ${v.v}² = ${ke.toFixed(2)} J` };
|
|
111
|
+
},
|
|
112
|
+
tolerance: 0.01,
|
|
113
|
+
citation: "Standard mechanics",
|
|
114
|
+
},
|
|
115
|
+
{
|
|
116
|
+
id: "circular-orbital-v",
|
|
117
|
+
name: "Circular orbital velocity",
|
|
118
|
+
formulaText: "v = √(GM / r)",
|
|
119
|
+
variables: [
|
|
120
|
+
{ symbol: "v", description: "orbital velocity", unit: [["m", 1], ["s", -1]] },
|
|
121
|
+
{ symbol: "M", description: "central body mass", unit: [["kg", 1]] },
|
|
122
|
+
{ symbol: "r", description: "orbital radius from center of mass", unit: [["m", 1]] },
|
|
123
|
+
],
|
|
124
|
+
apply: (v) => {
|
|
125
|
+
if (v.M === undefined || v.r === undefined || v.r <= 0)
|
|
126
|
+
return null;
|
|
127
|
+
const vel = Math.sqrt(G * v.M / v.r);
|
|
128
|
+
return { value: vel, computed: `√(G·${v.M}/${v.r}) = ${vel.toFixed(2)} m/s` };
|
|
129
|
+
},
|
|
130
|
+
tolerance: 0.02,
|
|
131
|
+
citation: "Newtonian gravity",
|
|
132
|
+
},
|
|
133
|
+
{
|
|
134
|
+
id: "escape-velocity",
|
|
135
|
+
name: "Escape velocity from a spherical body",
|
|
136
|
+
formulaText: "v_esc = √(2GM / r)",
|
|
137
|
+
variables: [
|
|
138
|
+
{ symbol: "v_esc", description: "escape velocity", unit: [["m", 1], ["s", -1]] },
|
|
139
|
+
{ symbol: "M", description: "body mass", unit: [["kg", 1]] },
|
|
140
|
+
{ symbol: "r", description: "distance from center", unit: [["m", 1]] },
|
|
141
|
+
],
|
|
142
|
+
apply: (v) => {
|
|
143
|
+
if (v.M === undefined || v.r === undefined || v.r <= 0)
|
|
144
|
+
return null;
|
|
145
|
+
const vesc = Math.sqrt(2 * G * v.M / v.r);
|
|
146
|
+
return { value: vesc, computed: `√(2G·${v.M}/${v.r}) = ${vesc.toFixed(2)} m/s` };
|
|
147
|
+
},
|
|
148
|
+
tolerance: 0.02,
|
|
149
|
+
citation: "Standard celestial mechanics",
|
|
150
|
+
},
|
|
151
|
+
{
|
|
152
|
+
id: "kepler-3rd",
|
|
153
|
+
name: "Kepler's third law (Newtonian form)",
|
|
154
|
+
formulaText: "T² = (4π² / GM) · a³",
|
|
155
|
+
variables: [
|
|
156
|
+
{ symbol: "T", description: "orbital period", unit: [["s", 1]] },
|
|
157
|
+
{ symbol: "a", description: "semi-major axis", unit: [["m", 1]] },
|
|
158
|
+
{ symbol: "M", description: "central body mass", unit: [["kg", 1]] },
|
|
159
|
+
],
|
|
160
|
+
apply: (v) => {
|
|
161
|
+
if (v.M === undefined || v.a === undefined)
|
|
162
|
+
return null;
|
|
163
|
+
const T = Math.sqrt((4 * Math.PI ** 2 * v.a ** 3) / (G * v.M));
|
|
164
|
+
return { value: T, computed: `√(4π²·${v.a}³ / G·${v.M}) = ${T.toFixed(2)} s` };
|
|
165
|
+
},
|
|
166
|
+
tolerance: 0.02,
|
|
167
|
+
citation: "Kepler 1619 / Newton 1687",
|
|
168
|
+
},
|
|
169
|
+
{
|
|
170
|
+
id: "ideal-gas",
|
|
171
|
+
name: "Ideal gas law",
|
|
172
|
+
formulaText: "PV = nRT",
|
|
173
|
+
variables: [
|
|
174
|
+
{ symbol: "P", description: "pressure", unit: [["Pa", 1]] },
|
|
175
|
+
{ symbol: "V", description: "volume", unit: [["m", 3]] },
|
|
176
|
+
{ symbol: "n", description: "amount of substance", unit: [["mol", 1]] },
|
|
177
|
+
{ symbol: "T", description: "absolute temperature", unit: [["K", 1]] },
|
|
178
|
+
],
|
|
179
|
+
apply: (v) => {
|
|
180
|
+
if (v.n === undefined || v.T === undefined)
|
|
181
|
+
return null;
|
|
182
|
+
// Solve for PV given n,T; user can compare with their P·V.
|
|
183
|
+
const pv = v.n * R_gas * v.T;
|
|
184
|
+
return { value: pv, computed: `${v.n} · R · ${v.T} = ${pv.toFixed(2)} Pa·m³` };
|
|
185
|
+
},
|
|
186
|
+
tolerance: 0.02,
|
|
187
|
+
citation: "Standard thermodynamics",
|
|
188
|
+
},
|
|
189
|
+
{
|
|
190
|
+
id: "stefan-boltzmann",
|
|
191
|
+
name: "Stefan-Boltzmann (blackbody radiation)",
|
|
192
|
+
formulaText: "P = ε · σ · A · T⁴",
|
|
193
|
+
variables: [
|
|
194
|
+
{ symbol: "P", description: "radiated power", unit: [["W", 1]] },
|
|
195
|
+
{ symbol: "A", description: "surface area", unit: [["m", 2]] },
|
|
196
|
+
{ symbol: "T", description: "absolute temperature", unit: [["K", 1]] },
|
|
197
|
+
{ symbol: "ε", description: "emissivity (0-1)", unit: [] }, // dimensionless
|
|
198
|
+
],
|
|
199
|
+
apply: (v) => {
|
|
200
|
+
if (v.A === undefined || v.T === undefined)
|
|
201
|
+
return null;
|
|
202
|
+
const eps = v.ε ?? 1;
|
|
203
|
+
const P = eps * sigma * v.A * v.T ** 4;
|
|
204
|
+
return { value: P, computed: `${eps} · σ · ${v.A} · ${v.T}⁴ = ${P.toFixed(2)} W` };
|
|
205
|
+
},
|
|
206
|
+
tolerance: 0.05,
|
|
207
|
+
citation: "Stefan-Boltzmann 1879",
|
|
208
|
+
},
|
|
209
|
+
{
|
|
210
|
+
id: "mass-energy",
|
|
211
|
+
name: "Mass-energy equivalence",
|
|
212
|
+
formulaText: "E = m · c²",
|
|
213
|
+
variables: [
|
|
214
|
+
{ symbol: "E", description: "rest energy", unit: [["J", 1]] },
|
|
215
|
+
{ symbol: "m", description: "rest mass", unit: [["kg", 1]] },
|
|
216
|
+
],
|
|
217
|
+
apply: (v) => {
|
|
218
|
+
if (v.m === undefined)
|
|
219
|
+
return null;
|
|
220
|
+
const E = v.m * c_light ** 2;
|
|
221
|
+
return { value: E, computed: `${v.m} · c² = ${E.toExponential(3)} J` };
|
|
222
|
+
},
|
|
223
|
+
tolerance: 0.01,
|
|
224
|
+
citation: "Einstein 1905",
|
|
225
|
+
},
|
|
226
|
+
{
|
|
227
|
+
id: "boltzmann-thermal-energy",
|
|
228
|
+
name: "Boltzmann thermal energy",
|
|
229
|
+
formulaText: "E ≈ (3/2) · k_B · T",
|
|
230
|
+
variables: [
|
|
231
|
+
{ symbol: "E", description: "average particle thermal energy", unit: [["J", 1]] },
|
|
232
|
+
{ symbol: "T", description: "absolute temperature", unit: [["K", 1]] },
|
|
233
|
+
],
|
|
234
|
+
apply: (v) => {
|
|
235
|
+
if (v.T === undefined)
|
|
236
|
+
return null;
|
|
237
|
+
const E = 1.5 * k_B * v.T;
|
|
238
|
+
return { value: E, computed: `1.5 · k_B · ${v.T} = ${E.toExponential(3)} J` };
|
|
239
|
+
},
|
|
240
|
+
tolerance: 0.02,
|
|
241
|
+
citation: "Equipartition theorem",
|
|
242
|
+
},
|
|
243
|
+
];
|
|
244
|
+
/** Combined view used by the verifier. */
|
|
245
|
+
export function allAxioms() { return AXIOMS; }
|
|
246
|
+
export function allConstants() { return CONSTANTS; }
|
|
247
|
+
export function allKnownValues() { return KNOWN_VALUES; }
|
|
248
|
+
//# sourceMappingURL=axioms.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"axioms.js","sourceRoot":"","sources":["../../src/physics_lathe/axioms.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAsBH,MAAM,CAAC,MAAM,SAAS,GAAe;IACnC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,qBAAqB,EAAE;IACpI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,kCAAkC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE;IAC/I,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,kCAAkC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE;IACnI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE;IAC5H,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE;IACxH,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE;IAClH,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE;IAC7H,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE;IACrI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC3F,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;IAClG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;IAC1F,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;IAC9F,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE;IAC3G,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE;IAClH,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;CAC/F,CAAC;AAeF;;;8BAG8B;AAC9B,MAAM,CAAC,MAAM,YAAY,GAAiB;IACxC,EAAE,KAAK,EAAE,sBAAsB,EAAM,WAAW,EAAE,2DAA2D,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,uCAAuC,EAAE;IAC/N,EAAE,KAAK,EAAE,uBAAuB,EAAK,WAAW,EAAE,uCAAuC,EAAwB,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,kBAAkB,EAAE;IAC7M,EAAE,KAAK,EAAE,sBAAsB,EAAM,WAAW,EAAE,oCAAoC,EAA2B,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,2BAA2B,EAAE;IACrN,EAAE,KAAK,EAAE,sBAAsB,EAAM,WAAW,EAAE,oCAAoC,EAA2B,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,2BAA2B,EAAE;IACrN,EAAE,KAAK,EAAE,cAAc,EAAc,WAAW,EAAE,qDAAqD,EAAU,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,gCAAgC,EAAE;IAC9M,EAAE,KAAK,EAAE,cAAc,EAAc,WAAW,EAAE,+CAA+C,EAAgB,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,uBAAuB,EAAE;IACxM,EAAE,KAAK,EAAE,wBAAwB,EAAI,WAAW,EAAE,iCAAiC,EAA8B,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE;IAC/L,EAAE,KAAK,EAAE,2BAA2B,EAAC,WAAW,EAAE,qDAAqD,EAAU,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,sDAAsD,EAAE;IAC/O,EAAE,KAAK,EAAE,uBAAuB,EAAK,WAAW,EAAE,oDAAoD,EAAW,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,qBAAqB,EAAE;IAC9M,EAAE,KAAK,EAAE,uBAAuB,EAAK,WAAW,EAAE,4CAA4C,EAAmB,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,qBAAqB,EAAE;CAC/M,CAAC;AAoBF,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAE,CAAC,KAAK,CAAC;AACzD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAE,CAAC,KAAK,CAAC;AAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAE,CAAC,KAAK,CAAC;AAC7D,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAE,CAAC,KAAK,CAAC;AAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAE,CAAC,KAAK,CAAC;AAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAE,CAAC,KAAK,CAAC;AAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAE,CAAC,KAAK,CAAC;AAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAE,CAAC,KAAK,CAAC;AAE7D,MAAM,CAAC,MAAM,MAAM,GAAY;IAC7B;QACE,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACrF,EAAE,MAAM,EAAE,KAAK,EAAM,WAAW,EAAE,4BAA4B,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YAC7F,EAAE,MAAM,EAAE,KAAK,EAAM,WAAW,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YAC3E,EAAE,MAAM,EAAE,KAAK,EAAM,WAAW,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;SAC1E;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACnF,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YAC9C,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3C,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5F,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,kBAAkB;KAC7B;IACD;QACE,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,qBAAqB;QAC3B,WAAW,EAAE,WAAW;QACxB,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YACvD,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YACvD,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;SAC1E;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACxD,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,uBAAuB;KAClC;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YACjE,EAAE,MAAM,EAAE,GAAG,EAAG,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YACxD,EAAE,MAAM,EAAE,GAAG,EAAG,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;SACpE;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACxD,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,oBAAoB;KAC/B;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,2BAA2B;QACjC,WAAW,EAAE,eAAe;QAC5B,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YAC7E,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YACpE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,oCAAoC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;SACrF;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAChF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,mBAAmB;KAC9B;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,uCAAuC;QAC7C,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YAChF,EAAE,MAAM,EAAE,GAAG,EAAM,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YAChE,EAAE,MAAM,EAAE,GAAG,EAAM,WAAW,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;SAC3E;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACnF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,8BAA8B;KACzC;IACD;QACE,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,qCAAqC;QAC3C,WAAW,EAAE,sBAAsB;QACnC,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YAChE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YACjE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;SACrE;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACxD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,2BAA2B;KACtC;IACD;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,UAAU;QACvB,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YAC3D,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YACxD,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YACvE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;SACvE;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACxD,2DAA2D;YAC3D,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7B,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,yBAAyB;KACpC;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wCAAwC;QAC9C,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YAChE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YAC9D,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YACtE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,gBAAgB;SAC7E;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACxD,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,uBAAuB;KAClC;IACD;QACE,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,yBAAyB;QAC/B,WAAW,EAAE,YAAY;QACzB,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YAC7D,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;SAC7D;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;YAC7B,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzE,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,eAAe;KAC1B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE;YACT,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,iCAAiC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;YACjF,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;SACvE;QACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YACX,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACnC,MAAM,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChF,CAAC;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,uBAAuB;KAClC;CACF,CAAC;AAEF,0CAA0C;AAC1C,MAAM,UAAU,SAAS,KAAc,OAAO,MAAM,CAAC,CAAC,CAAC;AACvD,MAAM,UAAU,YAAY,KAAiB,OAAO,SAAS,CAAC,CAAC,CAAC;AAChE,MAAM,UAAU,cAAc,KAAmB,OAAO,YAAY,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.22.1 — PHYSICS LATHE · EXTRACTOR.
|
|
3
|
+
*
|
|
4
|
+
* Pull (value, unit, quantity) triples from free-text LLM claims and
|
|
5
|
+
* normalise them to SI. The extractor is regex-based for v2.22.1; a
|
|
6
|
+
* later release can swap in an NER model without changing the verifier
|
|
7
|
+
* surface.
|
|
8
|
+
*
|
|
9
|
+
* Match cases handled:
|
|
10
|
+
* "9.8 km/s" → value=9.8e3 unit=[m, s^-1]
|
|
11
|
+
* "50,000 N" → value=5.0e4 unit=[N]
|
|
12
|
+
* "1.5 × 10^6 K" → value=1.5e6 unit=[K]
|
|
13
|
+
* "PSI 14.7" → value=14.7 unit=[psi → Pa]
|
|
14
|
+
* "9.8 m s^-2" → value=9.8 unit=[m, s^-2]
|
|
15
|
+
*/
|
|
16
|
+
import type { Unit } from "./axioms.js";
|
|
17
|
+
export interface ExtractedQuantity {
|
|
18
|
+
/** Source span. */
|
|
19
|
+
raw: string;
|
|
20
|
+
/** Value in original units. */
|
|
21
|
+
rawValue: number;
|
|
22
|
+
/** Original unit text. */
|
|
23
|
+
rawUnit: string;
|
|
24
|
+
/** Value normalised to SI base. */
|
|
25
|
+
siValue: number;
|
|
26
|
+
/** SI base-unit vector. */
|
|
27
|
+
siUnit: Unit;
|
|
28
|
+
/** Caller-facing nearest physical quantity label (best-effort). */
|
|
29
|
+
quantityGuess?: string;
|
|
30
|
+
}
|
|
31
|
+
export declare function extractQuantities(text: string): ExtractedQuantity[];
|
|
32
|
+
//# sourceMappingURL=extractor.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"extractor.d.ts","sourceRoot":"","sources":["../../src/physics_lathe/extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,MAAM,WAAW,iBAAiB;IAChC,mBAAmB;IACnB,GAAG,EAAE,MAAM,CAAC;IACZ,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,2BAA2B;IAC3B,MAAM,EAAE,IAAI,CAAC;IACb,mEAAmE;IACnE,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAqDD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAwBnE"}
|
|
@@ -0,0 +1,102 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* v2.22.1 — PHYSICS LATHE · EXTRACTOR.
|
|
3
|
+
*
|
|
4
|
+
* Pull (value, unit, quantity) triples from free-text LLM claims and
|
|
5
|
+
* normalise them to SI. The extractor is regex-based for v2.22.1; a
|
|
6
|
+
* later release can swap in an NER model without changing the verifier
|
|
7
|
+
* surface.
|
|
8
|
+
*
|
|
9
|
+
* Match cases handled:
|
|
10
|
+
* "9.8 km/s" → value=9.8e3 unit=[m, s^-1]
|
|
11
|
+
* "50,000 N" → value=5.0e4 unit=[N]
|
|
12
|
+
* "1.5 × 10^6 K" → value=1.5e6 unit=[K]
|
|
13
|
+
* "PSI 14.7" → value=14.7 unit=[psi → Pa]
|
|
14
|
+
* "9.8 m s^-2" → value=9.8 unit=[m, s^-2]
|
|
15
|
+
*/
|
|
16
|
+
import { parseUnit } from "./units.js";
|
|
17
|
+
/** Regex captures a number (with optional thousands commas, scientific
|
|
18
|
+
* notation, "x 10^N" notation) followed by an optional unit token. */
|
|
19
|
+
const NUMBER_RE = /(?<num>[-+]?\d{1,3}(?:,\d{3})*(?:\.\d+)?(?:\s*[×x*]\s*10\s*\^?\s*[-+]?\d+)?(?:[eE][-+]?\d+)?)/.source;
|
|
20
|
+
const UNIT_RE = /(?<unit>[A-Za-zµμ°][A-Za-zµμ°\d\^\-/\*·²³⁻¹]{0,30})?/.source;
|
|
21
|
+
const COMBINED = new RegExp(`(?<![A-Za-z])${NUMBER_RE}\\s*${UNIT_RE}`, "g");
|
|
22
|
+
function parseNumeric(text) {
|
|
23
|
+
const cleaned = text.replace(/,/g, "").replace(/\s+/g, "");
|
|
24
|
+
// Handle "1.5×10^6" form.
|
|
25
|
+
const m = cleaned.match(/^([-+]?\d*\.?\d+)[*×x]10\^?([-+]?\d+)$/);
|
|
26
|
+
if (m) {
|
|
27
|
+
const mantissa = parseFloat(m[1]);
|
|
28
|
+
const exp = parseInt(m[2], 10);
|
|
29
|
+
return mantissa * Math.pow(10, exp);
|
|
30
|
+
}
|
|
31
|
+
const v = parseFloat(cleaned);
|
|
32
|
+
return Number.isFinite(v) ? v : null;
|
|
33
|
+
}
|
|
34
|
+
const QUANTITY_HINTS = {
|
|
35
|
+
"velocity": "v", "speed": "v", "Δv": "delta_v", "delta-v": "delta_v", "deltav": "delta_v",
|
|
36
|
+
"thrust": "F", "force": "F",
|
|
37
|
+
"mass": "m", "dry mass": "m_f", "wet mass": "m_0", "propellant": "m_p",
|
|
38
|
+
"altitude": "altitude", "orbit": "altitude",
|
|
39
|
+
"period": "T", "temperature": "T", "energy": "E", "pressure": "P", "volume": "V",
|
|
40
|
+
"isp": "Isp", "specific impulse": "Isp",
|
|
41
|
+
"radius": "r", "distance": "r",
|
|
42
|
+
"exhaust velocity": "v_e", "ve": "v_e",
|
|
43
|
+
"delta v": "delta_v",
|
|
44
|
+
};
|
|
45
|
+
function guessQuantity(beforeText, unit) {
|
|
46
|
+
const lower = beforeText.toLowerCase();
|
|
47
|
+
for (const [hint, sym] of Object.entries(QUANTITY_HINTS)) {
|
|
48
|
+
if (lower.includes(hint))
|
|
49
|
+
return sym;
|
|
50
|
+
}
|
|
51
|
+
// Fall back: unit pattern → likely quantity
|
|
52
|
+
const u = unit.unit;
|
|
53
|
+
if (u.length === 0)
|
|
54
|
+
return undefined;
|
|
55
|
+
const flat = u.map(([s, e]) => `${s}^${e}`).join(",");
|
|
56
|
+
if (flat === "m^1,s^-1")
|
|
57
|
+
return "v";
|
|
58
|
+
if (flat === "kg^1,m^1,s^-2")
|
|
59
|
+
return "F";
|
|
60
|
+
if (flat === "kg^1")
|
|
61
|
+
return "m";
|
|
62
|
+
if (flat === "kg^1,m^2,s^-2")
|
|
63
|
+
return "E";
|
|
64
|
+
if (flat === "kg^1,m^-1,s^-2")
|
|
65
|
+
return "P";
|
|
66
|
+
if (flat === "K^1")
|
|
67
|
+
return "T";
|
|
68
|
+
if (flat === "m^1")
|
|
69
|
+
return "r";
|
|
70
|
+
if (flat === "s^1")
|
|
71
|
+
return "T_period";
|
|
72
|
+
return undefined;
|
|
73
|
+
}
|
|
74
|
+
export function extractQuantities(text) {
|
|
75
|
+
const out = [];
|
|
76
|
+
const re = new RegExp(COMBINED.source, "g");
|
|
77
|
+
let m;
|
|
78
|
+
while ((m = re.exec(text)) !== null) {
|
|
79
|
+
const numText = m.groups?.num ?? "";
|
|
80
|
+
const unitText = (m.groups?.unit ?? "").trim();
|
|
81
|
+
const num = parseNumeric(numText);
|
|
82
|
+
if (num === null)
|
|
83
|
+
continue;
|
|
84
|
+
const before = text.slice(Math.max(0, m.index - 40), m.index);
|
|
85
|
+
if (!unitText)
|
|
86
|
+
continue;
|
|
87
|
+
const pu = parseUnit(unitText);
|
|
88
|
+
if (!pu)
|
|
89
|
+
continue;
|
|
90
|
+
const guess = guessQuantity(before + " " + unitText, pu);
|
|
91
|
+
out.push({
|
|
92
|
+
raw: numText.trim() + (unitText ? " " + unitText : ""),
|
|
93
|
+
rawValue: num,
|
|
94
|
+
rawUnit: unitText,
|
|
95
|
+
siValue: num * pu.scale,
|
|
96
|
+
siUnit: pu.unit,
|
|
97
|
+
quantityGuess: guess,
|
|
98
|
+
});
|
|
99
|
+
}
|
|
100
|
+
return out;
|
|
101
|
+
}
|
|
102
|
+
//# sourceMappingURL=extractor.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"extractor.js","sourceRoot":"","sources":["../../src/physics_lathe/extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,SAAS,EAAmB,MAAM,YAAY,CAAC;AAkBxD;uEACuE;AACvE,MAAM,SAAS,GAAG,+FAA+F,CAAC,MAAM,CAAC;AACzH,MAAM,OAAO,GAAG,sDAAsD,CAAC,MAAM,CAAC;AAC9E,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,gBAAgB,SAAS,OAAO,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;AAE5E,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3D,0BAA0B;IAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAClE,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;QAChC,OAAO,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,MAAM,cAAc,GAA2B;IAC7C,UAAU,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS;IACzF,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG;IAC3B,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK;IACtE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU;IAC3C,QAAQ,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG;IAChF,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK;IACvC,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG;IAC9B,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;IACtC,SAAS,EAAE,SAAS;CACrB,CAAC;AAEF,SAAS,aAAa,CAAC,UAAkB,EAAE,IAAgB;IACzD,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACzD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC;IACvC,CAAC;IACD,4CAA4C;IAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IACpB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,GAAG,CAAC;IACpC,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO,GAAG,CAAC;IACzC,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC;IAChC,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO,GAAG,CAAC;IACzC,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,GAAG,CAAC;IAC1C,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC;IAC/B,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC;IAC/B,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,UAAU,CAAC;IACtC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,GAAG,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC;YACP,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC,KAAK;YACvB,MAAM,EAAE,EAAE,CAAC,IAAI;YACf,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|