@stevenvo780/st-lang 4.13.0 → 4.14.1

package/dist/tests/properties/generators.js

@@ -60,7 +60,13 @@ exports.constName = constName;
 const propAtom = () => (0, exports.atomName)().map((name) => ({ kind: 'atom', name }));
 const propFormula = (maxDepth = 3) => {
     const { formula } = fc.letrec((tie) => ({
-        formula: fc.oneof({ maxDepth, depthIdentifier: 'prop' }, propAtom(), tie('formula').map((arg) => ({ kind: 'not', args: [arg] })), fc.tuple(tie('formula'), tie('formula')).map(([l, r]) => ({ kind: 'and', args: [l, r] })), fc.tuple(tie('formula'), tie('formula')).map(([l, r]) => ({ kind: 'or', args: [l, r] })), fc.tuple(tie('formula'), tie('formula')).map(([l, r]) => ({ kind: 'implies', args: [l, r] }))),
+        formula: fc.oneof({ maxDepth, depthIdentifier: 'prop' }, propAtom(), tie('formula').map((arg) => ({ kind: 'not', args: [arg] })), fc
+            .tuple(tie('formula'), tie('formula'))
+            .map(([l, r]) => ({ kind: 'and', args: [l, r] })), fc
+            .tuple(tie('formula'), tie('formula'))
+            .map(([l, r]) => ({ kind: 'or', args: [l, r] })), fc
+            .tuple(tie('formula'), tie('formula'))
+            .map(([l, r]) => ({ kind: 'implies', args: [l, r] }))),
     }));
     return formula;
 };
@@ -75,11 +81,7 @@ exports.propFormula = propFormula;
  * ningún literal y su negación coexistan en la misma cláusula —
  * evitamos cláusulas trivialmente true por tautología).
  */
-const dimacs3SAT = (maxVars = 8, maxRatio = 4) => fc
-    .integer({ min: 3, max: maxVars })
-    .chain((numVars) => fc
-    .integer({ min: 1, max: Math.max(1, Math.floor(maxRatio * numVars)) })
-    .chain((numClauses) => fc
+const dimacs3SAT = (maxVars = 8, maxRatio = 4) => fc.integer({ min: 3, max: maxVars }).chain((numVars) => fc.integer({ min: 1, max: Math.max(1, Math.floor(maxRatio * numVars)) }).chain((numClauses) => fc
     .array(fc
     .tuple(fc.integer({ min: 1, max: numVars }), fc.boolean(), fc.integer({ min: 1, max: numVars }), fc.boolean(), fc.integer({ min: 1, max: numVars }), fc.boolean())
     .map(([v1, s1, v2, s2, v3, s3]) => {
@@ -136,29 +138,25 @@ const metaName = () => fc.constantFrom('M', 'N', 'P', 'Q');
  * aparecen aplicadas únicamente a variables ligadas distintas.
  * Construye términos del tipo λx.λy. M x y, var x, etc.
  */
-const hoPatternTerm = (maxDepth = 3) => {
+const hoPatternTerm = (_maxDepth = 3) => {
     // Generamos un λ-spine con boundVars distintos, luego el cuerpo:
     // variables ligadas o meta aplicada a un subconjunto de boundVars.
-    return fc
-        .uniqueArray((0, exports.varName)(), { minLength: 0, maxLength: 3 })
-        .chain((bvs) => {
+    return fc.uniqueArray((0, exports.varName)(), { minLength: 0, maxLength: 3 }).chain((bvs) => {
         const bodyArb = fc.oneof(
         // var libre o ligada
         (0, exports.varName)().map((n) => ({ kind: 'var', name: n })), 
         // var ligada del scope (si hay)
         ...(bvs.length > 0
-            ? [
-                fc
-                    .constantFrom(...bvs)
-                    .map((n) => ({ kind: 'var', name: n })),
-            ]
+            ? [fc.constantFrom(...bvs).map((n) => ({ kind: 'var', name: n }))]
             : []), 
         // meta aplicada a vars ligadas distintas
         ...(bvs.length > 0
             ? [
-                fc.tuple(metaName(), fc
+                fc
+                    .tuple(metaName(), fc
                     .shuffledSubarray(bvs, { minLength: 1, maxLength: bvs.length })
-                    .map((sub) => sub.map((n) => ({ kind: 'var', name: n })))).map(([m, args]) => ({
+                    .map((sub) => sub.map((n) => ({ kind: 'var', name: n }))))
+                    .map(([m, args]) => ({
                     kind: 'app',
                     fn: { kind: 'meta', name: m },
                     args: args,
@@ -231,9 +229,7 @@ exports.mlttSimpleTerm = mlttSimpleTerm;
 // ============================================================
 const symExpr = (maxDepth = 3) => {
     const { expr } = fc.letrec((tie) => ({
-        expr: fc.oneof({ maxDepth, depthIdentifier: 'sym' }, fc
-            .integer({ min: -5, max: 5 })
-            .map((v) => ({ kind: 'const', value: v })), fc.constantFrom('x', 'y').map((name) => ({ kind: 'var', name })), fc
+        expr: fc.oneof({ maxDepth, depthIdentifier: 'sym' }, fc.integer({ min: -5, max: 5 }).map((v) => ({ kind: 'const', value: v })), fc.constantFrom('x', 'y').map((name) => ({ kind: 'var', name })), fc
             .tuple(tie('expr'), tie('expr'))
             .map(([a, b]) => ({ kind: 'add', args: [a, b] })), fc
             .tuple(tie('expr'), tie('expr'))
@@ -241,9 +237,7 @@ const symExpr = (maxDepth = 3) => {
             .tuple(tie('expr'), tie('expr'))
             .map(([l, r]) => ({ kind: 'sub', left: l, right: r })), 
         // Potencias enteras pequeñas para evitar números absurdos.
-        fc
-            .tuple(tie('expr'), fc.integer({ min: 0, max: 3 }))
-            .map(([base, n]) => ({
+        fc.tuple(tie('expr'), fc.integer({ min: 0, max: 3 })).map(([base, n]) => ({
             kind: 'pow',
             base: base,
             exp: { kind: 'const', value: n },
@@ -296,9 +290,7 @@ exports.tinyBayesNet = tinyBayesNet;
 // ============================================================
 // LTS pequeño (states + transitions etiquetados)
 // ============================================================
-const tinyLTS = () => fc
-    .integer({ min: 1, max: 5 })
-    .chain((nStates) => fc
+const tinyLTS = () => fc.integer({ min: 1, max: 5 }).chain((nStates) => fc
     .array(fc
     .tuple(fc.integer({ min: 0, max: nStates - 1 }), fc.constantFrom('a', 'b', 'c', 'tau'), fc.integer({ min: 0, max: nStates - 1 }))
     .map(([i, l, j]) => [`s${i}`, l, `s${j}`]), { minLength: 0, maxLength: 12 })
@@ -319,9 +311,7 @@ exports.beliefSetAndFormula = beliefSetAndFormula;
 // ============================================================
 // Argumentation framework pequeño
 // ============================================================
-const tinyAF = () => fc
-    .integer({ min: 1, max: 5 })
-    .chain((n) => {
+const tinyAF = () => fc.integer({ min: 1, max: 5 }).chain((n) => {
     const args = Array.from({ length: n }, (_, i) => `a${i}`);
     return fc
         .array(fc
@@ -333,7 +323,9 @@ exports.tinyAF = tinyAF;
 // ============================================================
 // Hyperreal random
 // ============================================================
-const hyperrealArb = () => fc.tuple(fc.double({ min: -100, max: 100, noNaN: true, noDefaultInfinity: true }), fc.double({ min: -100, max: 100, noNaN: true, noDefaultInfinity: true })).map(([s, i]) => ({ standard: s, infinitesimal: i }));
+const hyperrealArb = () => fc
+    .tuple(fc.double({ min: -100, max: 100, noNaN: true, noDefaultInfinity: true }), fc.double({ min: -100, max: 100, noNaN: true, noDefaultInfinity: true }))
+    .map(([s, i]) => ({ standard: s, infinitesimal: i }));
 exports.hyperrealArb = hyperrealArb;
 const refTypeIntSimple = () => fc.oneof(fc.integer({ min: -20, max: 20 }).map((k) => ({
     base: 'Int',

package/dist/tests/properties/generators.js.map

@@ -1 +1 @@
-{"version":3,"file":"generators.js","sourceRoot":"","sources":["../../../src/tests/properties/generators.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kDAAkD;AAClD,+DAA+D;AAC/D,EAAE;AACF,2DAA2D;AAC3D,2DAA2D;AAC3D,iDAAiD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEjD,+CAAiC;AA+fxB,gBAAE;AApfX,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAExD,MAAM,QAAQ,GAAG,GAAyB,EAAE,CACjD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAD7C,QAAA,QAAQ,YACqC;AAEnD,MAAM,OAAO,GAAG,GAAyB,EAAE,CAChD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AADnC,QAAA,OAAO,WAC4B;AAEzC,MAAM,QAAQ,GAAG,GAAyB,EAAE,CACjD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AADzB,QAAA,QAAQ,YACiB;AAE/B,MAAM,SAAS,GAAG,GAAyB,EAAE,CAClD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAD9B,QAAA,SAAS,aACqB;AAE3C,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAE/D,MAAM,QAAQ,GAAG,GAA0B,EAAE,CAC3C,IAAA,gBAAQ,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAY,CAAC,CAAC;AAEzD,MAAM,WAAW,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IACjE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,EAAE,EAAE,CAAC,KAAK,CACf,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,EACrC,QAAQ,EAAE,EACV,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAc,CAAC,EAAE,CAAY,CAAC,EACjF,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAC1C,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAY,EAAE,CAAY,CAAC,EAAE,CAAY,CAC7E,EACD,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAC1C,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAY,EAAE,CAAY,CAAC,EAAE,CAAY,CAC5E,EACD,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAC1C,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAY,EAAE,CAAY,CAAC,EAAE,CAAY,CACjF,CACF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,OAAgC,CAAC;AAC1C,CAAC,CAAC;AAlBW,QAAA,WAAW,eAkBtB;AAEF,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D;;;;;;GAMG;AACI,MAAM,UAAU,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,QAAQ,GAAG,CAAC,EAGjD,EAAE,CACH,EAAE;KACC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;KACjC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CACjB,EAAE;KACC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC;KACrE,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CACpB,EAAE;KACC,KAAK,CACJ,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,EAAE,CAAC,OAAO,EAAE,CACb;KACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE;IAChC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,6DAA6D;IAC7D,0CAA0C;IAC1C,MAAM,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1B,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC,CAAC,EACJ,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CACjD;KACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAC5C,CACJ,CAAC;AAlCO,QAAA,UAAU,cAkCjB;AAEN,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAE/D,yDAAyD;AAClD,MAAM,MAAM,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAwB,EAAE;IAC3D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,EACnC,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAW,CAAC,EAC1D,IAAA,iBAAS,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAW,CAAC,EAC9D,EAAE;aACC,KAAK,CAAC,IAAA,gBAAQ,GAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;aACxE,GAAG,CACF,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CACf,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAgB,EAAE,CAAW,CAC7D,CACJ;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAA4B,CAAC;AACtC,CAAC,CAAC;AAfW,QAAA,MAAM,UAejB;AAEF,uEAAuE;AAChE,MAAM,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IAC7D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EACpC,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAY,CAAC,EAC3D,IAAA,iBAAS,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAY,CAAC,EACxE,EAAE;aACC,KAAK,CAAC,IAAA,gBAAQ,GAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;aACxE,GAAG,CACF,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CACf,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAiB,EAAE,CAAY,CAC/D,CACJ;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAA6B,CAAC;AACvC,CAAC,CAAC;AAfW,QAAA,OAAO,WAelB;AAEF;0BAC0B;AACnB,MAAM,aAAa,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IACnE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,EACrC,IAAA,iBAAS,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAY,CAAC,EACxE,EAAE;aACC,KAAK,CAAC,IAAA,gBAAQ,GAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;aACxE,GAAG,CACF,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CACf,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAiB,EAAE,CAAY,CAC/D,CACJ;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAA6B,CAAC;AACvC,CAAC,CAAC;AAdW,QAAA,aAAa,iBAcxB;AAEF,+DAA+D;AAC/D,6BAA6B;AAC7B,+DAA+D;AAE/D,MAAM,QAAQ,GAAG,GAAyB,EAAE,CAC1C,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEtC;;;;GAIG;AACI,MAAM,aAAa,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAwB,EAAE;IAClE,iEAAiE;IACjE,mEAAmE;IACnE,OAAO,EAAE;SACN,WAAW,CAAC,IAAA,eAAO,GAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;SACtD,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QACb,MAAM,OAAO,GAAyB,EAAE,CAAC,KAAK;QAC5C,qBAAqB;QACrB,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC;QAC1D,gCAAgC;QAChC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC;gBACE,EAAE;qBACC,YAAY,CAAC,GAAG,GAAG,CAAC;qBACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC;aACpD;YACH,CAAC,CAAC,EAAE,CAAC;QACP,yCAAyC;QACzC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC;gBACE,EAAE,CAAC,KAAK,CACN,QAAQ,EAAE,EACV,EAAE;qBACC,gBAAgB,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;qBAC9D,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC,CACrD,CACJ,CAAC,GAAG,CACH,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CACZ,CAAC;oBACC,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;oBAC7B,IAAI,EAAE,IAAgB;iBACvB,CAAW,CACf;aACF;YACH,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC,CAAC,CAAC,CACpE,CAAC;QACF,yBAAyB;QACzB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,CAAC,GAAW,IAAI,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC/C,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC,CAAC;AA/CW,QAAA,aAAa,iBA+CxB;AAEF,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAExD,MAAM,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IAC7D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EACpC,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAY,CAAC,EAC3D,EAAE;aACC,KAAK,CAAC,IAAA,eAAO,GAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC7B,GAAG,CACF,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAChB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAe,EAAE,CAAY,CAC7D,EACH,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CACZ,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAa,EAAE,GAAG,EAAE,GAAc,EAAE,CAAY,CACvE,CACJ;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAA6B,CAAC;AACvC,CAAC,CAAC;AApBW,QAAA,OAAO,WAoBlB;AAEF,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAE/D,2DAA2D;AAC3D,oDAAoD;AAC7C,MAAM,WAAW,GAAG,GAGxB,EAAE;IACH,gDAAgD;IAChD,MAAM,QAAQ,GAAwB,EAAE,CAAC,YAAY,CACnD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAC5B,CAAC;IACF,MAAM,SAAS,GAAwB,EAAE;SACtC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAU,CAAC,CAAC;IAE/D,0DAA0D;IAC1D,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAU;YACpB,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,CAAC;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACjC,CAAC;QACF,OAAO,EAAE,CAAC,QAAQ,CAAC;YACjB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAW;SACjD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AA1BW,QAAA,WAAW,eA0BtB;AAEF,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAExD,MAAM,cAAc,GAAG,GAA2B,EAAE,CACzD,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAc,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,EAAc,CAAC,EACxC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACvC,IAAI,CAAC,GAAa,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACzD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EACF,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAa,CAAC,CAC5F,CAAC;AAVS,QAAA,cAAc,kBAUvB;AAEJ,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAExD,MAAM,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAsB,EAAE;IAC1D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EACpC,EAAE;aACC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;aAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAS,CAAC,EACpD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAS,CAAC,EACxE,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CACF,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAS,EAAE,CAAS,CAAC,EAAE,CAAS,CAC1D,EACH,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CACF,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAS,EAAE,CAAS,CAAC,EAAE,CAAS,CAC1D,EACH,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CACF,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAS,EAAE,KAAK,EAAE,CAAS,EAAE,CAAS,CACzE;QACH,2DAA2D;QAC3D,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;aAClD,GAAG,CACF,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,CAAC;YACC,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAY;YAClB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;SACjC,CAAS,CACb,CACJ;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAA0B,CAAC;AACpC,CAAC,CAAC;AAvCW,QAAA,OAAO,WAuClB;AAEF;6CAC6C;AAChC,QAAA,WAAW,GAAG,eAAO,CAAC;AAEnC,+DAA+D;AAC/D,yCAAyC;AACzC,+DAA+D;AAE/D,yEAAyE;AAClE,MAAM,YAAY,GAAG,GAOzB,EAAE,CACH,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CACjD;KACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE;IAChC,MAAM,SAAS,GAAG;QAChB,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;KAClC,CAAC;IACF,MAAM,IAAI,GAIL;QACH;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE;SACtC;QACD;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;gBAC7B,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;aAC9B;SACF;QACD;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;gBAC7B,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;aAC9B;SACF;KACF,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AAC7B,CAAC,CAAC,CAAC;AAlDM,QAAA,YAAY,gBAkDlB;AAEP,+DAA+D;AAC/D,iDAAiD;AACjD,+DAA+D;AAExD,MAAM,OAAO,GAAG,GAAsB,EAAE,CAC7C,EAAE;KACC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3B,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CACjB,EAAE;KACC,KAAK,CACJ,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,EACxC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EACrC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CACzC;KACA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAA6B,CAAC,EACxE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAChC;KACA,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACrB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1D,WAAW;CACZ,CAAC,CAAC,CACN,CAAC;AAnBO,QAAA,OAAO,WAmBd;AAEN,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAE/D,MAAM,cAAc,GAAG,GAAyB,EAAE,CAChD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEjC,MAAM,WAAW,GAAG,GAAyB,EAAE,CAC7C,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3E,MAAM,mBAAmB,GAAG,GAGhC,EAAE,CACH,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACvD,WAAW,EAAE,CACd;KACA,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AATpC,QAAA,mBAAmB,uBASiB;AAEjD,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAExD,MAAM,MAAM,GAAG,GAGnB,EAAE,CACH,EAAE;KACC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KAC3B,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACX,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,OAAO,EAAE;SACN,KAAK,CACJ,EAAE;SACC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAC7E,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAqB,CAAC,EAC5D,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAC/B;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAhBM,QAAA,MAAM,UAgBZ;AAEP,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAExD,MAAM,YAAY,GAAG,GAA8D,EAAE,CAC1F,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,EACxE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CACzE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAJ5C,QAAA,YAAY,gBAIgC;AAQlD,MAAM,gBAAgB,GAAG,GAA0B,EAAE,CAC1D,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;IACC,IAAI,EAAE,KAAc;IACpB,OAAO,EAAE,GAAG;IACZ,SAAS,EAAE,OAAO,CAAC,EAAE;CACtB,CAAY,CAChB,EACD,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;IACC,IAAI,EAAE,KAAc;IACpB,OAAO,EAAE,GAAG;IACZ,SAAS,EAAE,QAAQ,CAAC,EAAE;CACvB,CAAY,CAChB,EACD,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAa,CAAC,CAClF,CAAC;AAnBS,QAAA,gBAAgB,oBAmBzB"}
+{"version":3,"file":"generators.js","sourceRoot":"","sources":["../../../src/tests/properties/generators.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kDAAkD;AAClD,+DAA+D;AAC/D,EAAE;AACF,2DAA2D;AAC3D,2DAA2D;AAC3D,iDAAiD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEjD,+CAAiC;AAmdxB,gBAAE;AAxcX,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAExD,MAAM,QAAQ,GAAG,GAAyB,EAAE,CACjD,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAD7C,QAAA,QAAQ,YACqC;AAEnD,MAAM,OAAO,GAAG,GAAyB,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAApF,QAAA,OAAO,WAA6E;AAE1F,MAAM,QAAQ,GAAG,GAAyB,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAA3E,QAAA,QAAQ,YAAmE;AAEjF,MAAM,SAAS,GAAG,GAAyB,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAAjF,QAAA,SAAS,aAAwE;AAE9F,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAE/D,MAAM,QAAQ,GAAG,GAA0B,EAAE,CAC3C,IAAA,gBAAQ,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAY,CAAC,CAAC;AAEzD,MAAM,WAAW,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IACjE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,EAAE,EAAE,CAAC,KAAK,CACf,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,EACrC,QAAQ,EAAE,EACV,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAc,CAAC,EAAE,CAAY,CAAC,EACjF,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAY,EAAE,CAAY,CAAC,EAAE,CAAY,CAAC,EACpF,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAY,EAAE,CAAY,CAAC,EAAE,CAAY,CAAC,EACnF,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAY,EAAE,CAAY,CAAC,EAAE,CAAY,CAAC,CACzF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAlBW,QAAA,WAAW,eAkBtB;AAEF,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D;;;;;;GAMG;AACI,MAAM,UAAU,GAAG,CACxB,OAAO,GAAG,CAAC,EACX,QAAQ,GAAG,CAAC,EAIX,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CACrD,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAC5F,EAAE;KACC,KAAK,CACJ,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,EAAE,CAAC,OAAO,EAAE,CACb;KACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE;IAChC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,6DAA6D;IAC7D,0CAA0C;IAC1C,MAAM,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1B,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC,CAAC,EACJ,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CACjD;KACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAC5C,CACF,CAAC;AAjCS,QAAA,UAAU,cAiCnB;AAEJ,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAE/D,yDAAyD;AAClD,MAAM,MAAM,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAwB,EAAE;IAC3D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,EACnC,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAW,CAAC,EAC1D,IAAA,iBAAS,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAW,CAAC,EAC9D,EAAE;aACC,KAAK,CAAC,IAAA,gBAAQ,GAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;aACxE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAgB,EAAE,CAAW,CAAC,CACrF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAZW,QAAA,MAAM,UAYjB;AAEF,uEAAuE;AAChE,MAAM,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IAC7D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EACpC,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAY,CAAC,EAC3D,IAAA,iBAAS,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAY,CAAC,EACxE,EAAE;aACC,KAAK,CAAC,IAAA,gBAAQ,GAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;aACxE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAiB,EAAE,CAAY,CAAC,CACvF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAZW,QAAA,OAAO,WAYlB;AAEF;0BAC0B;AACnB,MAAM,aAAa,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IACnE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,EACrC,IAAA,iBAAS,GAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAY,CAAC,EACxE,EAAE;aACC,KAAK,CAAC,IAAA,gBAAQ,GAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;aACxE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAiB,EAAE,CAAY,CAAC,CACvF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAXW,QAAA,aAAa,iBAWxB;AAEF,+DAA+D;AAC/D,6BAA6B;AAC7B,+DAA+D;AAE/D,MAAM,QAAQ,GAAG,GAAyB,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEjF;;;;GAIG;AACI,MAAM,aAAa,GAAG,CAAC,SAAS,GAAG,CAAC,EAAwB,EAAE;IACnE,iEAAiE;IACjE,mEAAmE;IACnE,OAAO,EAAE,CAAC,WAAW,CAAC,IAAA,eAAO,GAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7E,MAAM,OAAO,GAAyB,EAAE,CAAC,KAAK;QAC5C,qBAAqB;QACrB,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC;QAC1D,gCAAgC;QAChC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC,CAAC;YAC5E,CAAC,CAAC,EAAE,CAAC;QACP,yCAAyC;QACzC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC;gBACE,EAAE;qBACC,KAAK,CACJ,QAAQ,EAAE,EACV,EAAE;qBACC,gBAAgB,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;qBAC9D,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC,CAAC,CACtE;qBACA,GAAG,CACF,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CACZ,CAAC;oBACC,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;oBAC7B,IAAI,EAAE,IAAI;iBACX,CAAW,CACf;aACJ;YACH,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAW,CAAC,CAAC,CAAC,CACpE,CAAC;QACF,yBAAyB;QACzB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,CAAC,GAAW,IAAI,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9C,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAzCW,QAAA,aAAa,iBAyCxB;AAEF,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAExD,MAAM,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAyB,EAAE;IAC7D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EACpC,IAAA,eAAO,GAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAY,CAAC,EAC3D,EAAE;aACC,KAAK,CAAC,IAAA,eAAO,GAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC7B,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAe,EAAE,CAAY,CAAC,EACrF,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAa,EAAE,GAAG,EAAE,GAAc,EAAE,CAAY,CAAC,CAC5F;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAdW,QAAA,OAAO,WAclB;AAEF,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAE/D,2DAA2D;AAC3D,oDAAoD;AAC7C,MAAM,WAAW,GAAG,GAGxB,EAAE;IACH,gDAAgD;IAChD,MAAM,QAAQ,GAAwB,EAAE,CAAC,YAAY,CACnD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAC5B,CAAC;IACF,MAAM,SAAS,GAAwB,EAAE;SACtC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAU,CAAC,CAAC;IAE/D,0DAA0D;IAC1D,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAU;YACpB,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,CAAC;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACjC,CAAC;QACF,OAAO,EAAE,CAAC,QAAQ,CAAC;YACjB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAW;SACjD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AA1BW,QAAA,WAAW,eA0BtB;AAEF,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAExD,MAAM,cAAc,GAAG,GAA2B,EAAE,CACzD,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAc,CAAC,EACzC,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,EAAc,CAAC,EACxC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACvC,IAAI,CAAC,GAAa,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACzD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EACF,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAa,CAAC,CAC5F,CAAC;AAVS,QAAA,cAAc,kBAUvB;AAEJ,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAExD,MAAM,OAAO,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAsB,EAAE;IAC1D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,EAAE,CAAC,KAAK,CACZ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,EACpC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAS,CAAC,EACjF,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAS,CAAC,EACxE,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAS,EAAE,CAAS,CAAC,EAAE,CAAS,CAAC,EAC3E,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAS,EAAE,CAAS,CAAC,EAAE,CAAS,CAAC,EAC3E,EAAE;aACC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAS,EAAE,KAAK,EAAE,CAAS,EAAE,CAAS,CAAC;QAChF,2DAA2D;QAC3D,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CACvD,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,CAAC;YACC,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAY;YAClB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;SACjC,CAAS,CACb,CACF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AA3BW,QAAA,OAAO,WA2BlB;AAEF;6CAC6C;AAChC,QAAA,WAAW,GAAG,eAAO,CAAC;AAEnC,+DAA+D;AAC/D,yCAAyC;AACzC,+DAA+D;AAE/D,yEAAyE;AAClE,MAAM,YAAY,GAAG,GAOzB,EAAE,CACH,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAChD,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CACjD;KACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE;IAChC,MAAM,SAAS,GAAG;QAChB,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;KAClC,CAAC;IACF,MAAM,IAAI,GAIL;QACH;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE;SACtC;QACD;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;gBAC7B,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;aAC9B;SACF;QACD;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;gBAC7B,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE;aAC9B;SACF;KACF,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AAC7B,CAAC,CAAC,CAAC;AAlDM,QAAA,YAAY,gBAkDlB;AAEP,+DAA+D;AAC/D,iDAAiD;AACjD,+DAA+D;AAExD,MAAM,OAAO,GAAG,GAAsB,EAAE,CAC7C,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAC/C,EAAE;KACC,KAAK,CACJ,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,EACxC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EACrC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CACzC;KACA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAA6B,CAAC,EACxE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAChC;KACA,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACrB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1D,WAAW;CACZ,CAAC,CAAC,CACN,CAAC;AAjBS,QAAA,OAAO,WAiBhB;AAEJ,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAE/D,MAAM,cAAc,GAAG,GAAyB,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAElF,MAAM,WAAW,GAAG,GAAyB,EAAE,CAC7C,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3E,MAAM,mBAAmB,GAAG,GAGhC,EAAE,CACH,EAAE;KACC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;KAC7E,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AANpC,QAAA,mBAAmB,uBAMiB;AAEjD,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAExD,MAAM,MAAM,GAAG,GAGnB,EAAE,CACH,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;IACzC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,OAAO,EAAE;SACN,KAAK,CACJ,EAAE;SACC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAC7E,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAqB,CAAC,EAC1D,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAC/B;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAdQ,QAAA,MAAM,UAcd;AAEL,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAExD,MAAM,YAAY,GAAG,GAA8D,EAAE,CAC1F,EAAE;KACC,KAAK,CACJ,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,EACxE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CACzE;KACA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAN7C,QAAA,YAAY,gBAMiC;AAQnD,MAAM,gBAAgB,GAAG,GAA0B,EAAE,CAC1D,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;IACC,IAAI,EAAE,KAAc;IACpB,OAAO,EAAE,GAAG;IACZ,SAAS,EAAE,OAAO,CAAC,EAAE;CACtB,CAAY,CAChB,EACD,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;IACC,IAAI,EAAE,KAAc;IACpB,OAAO,EAAE,GAAG;IACZ,SAAS,EAAE,QAAQ,CAAC,EAAE;CACvB,CAAY,CAChB,EACD,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAa,CAAC,CAClF,CAAC;AAnBS,QAAA,gBAAgB,oBAmBzB"}

package/dist/tests/properties/intuit-nj.property.test.js

@@ -16,7 +16,9 @@ const sequent_g3_1 = require("../../logic/profiles/sequent-g3");
 // Generador de IntuitFormula simple.
 function intuitFormulaArb(maxDepth = 3) {
     const { f } = generators_1.fc.letrec((tie) => ({
-        f: generators_1.fc.oneof({ maxDepth, depthIdentifier: 'i' }, generators_1.fc.constantFrom('p', 'q', 'r').map((n) => (0, intuitionistic_nj_1.atom)(n)), tie('f').map((arg) => (0, intuitionistic_nj_1.not)(arg)), generators_1.fc.tuple(tie('f'), tie('f')).map(([l, r]) => (0, intuitionistic_nj_1.and)(l, r)), generators_1.fc.tuple(tie('f'), tie('f')).map(([l, r]) => (0, intuitionistic_nj_1.or)(l, r)), generators_1.fc.tuple(tie('f'), tie('f')).map(([l, r]) => (0, intuitionistic_nj_1.implies)(l, r))),
+        f: generators_1.fc.oneof({ maxDepth, depthIdentifier: 'i' }, generators_1.fc.constantFrom('p', 'q', 'r').map((n) => (0, intuitionistic_nj_1.atom)(n)), tie('f').map((arg) => (0, intuitionistic_nj_1.not)(arg)), generators_1.fc.tuple(tie('f'), tie('f')).map(([l, r]) => (0, intuitionistic_nj_1.and)(l, r)), generators_1.fc.tuple(tie('f'), tie('f')).map(([l, r]) => (0, intuitionistic_nj_1.or)(l, r)), generators_1.fc
+            .tuple(tie('f'), tie('f'))
+            .map(([l, r]) => (0, intuitionistic_nj_1.implies)(l, r))),
     }));
     return f;
 }

package/dist/tests/properties/intuit-nj.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"intuit-nj.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/intuit-nj.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,8DAA8D;AAC9D,4DAA4D;AAC5D,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,8EAOgD;AAEhD,gEAAiF;AAGjF,qCAAqC;AACrC,SAAS,gBAAgB,CAAC,QAAQ,GAAG,CAAC;IACpC,MAAM,EAAE,CAAC,EAAE,GAAG,eAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,EAAE,eAAE,CAAC,KAAK,CACT,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,EAAE,EAClC,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAK,EAAC,CAAC,CAAC,CAAC,EACnD,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,uBAAI,EAAC,GAAoB,CAAC,CAAC,EACjD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,uBAAI,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAC7C,EACD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,sBAAG,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAC5C,EACD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,2BAAQ,EAAC,CAAkB,EAAE,CAAkB,CAAC,CACjD,CACF;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,CAAgC,CAAC;AAC1C,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CAAC,GAAkB;IAC3C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1C,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aAClE,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,YAAY,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACvE,MAAM,SAAS,GAAG,IAAA,yBAAc,EAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3E,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,0CAA0C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAChE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"intuit-nj.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/intuit-nj.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,8DAA8D;AAC9D,4DAA4D;AAC5D,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,8EAOgD;AAEhD,gEAAiF;AAGjF,qCAAqC;AACrC,SAAS,gBAAgB,CAAC,QAAQ,GAAG,CAAC;IACpC,MAAM,EAAE,CAAC,EAAE,GAAG,eAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,EAAE,eAAE,CAAC,KAAK,CACT,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,EAAE,EAClC,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAK,EAAC,CAAC,CAAC,CAAC,EACnD,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,uBAAI,EAAC,GAAoB,CAAC,CAAC,EACjD,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,uBAAI,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAAC,EAC1F,eAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAG,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAAC,EACzF,eAAE;aACC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,2BAAQ,EAAC,CAAkB,EAAE,CAAkB,CAAC,CAAC,CACrE;KACF,CAAC,CAAC,CAAC;IACJ,OAAO,CAAC,CAAC;AACX,CAAC;AAED,kEAAkE;AAClE,SAAS,iBAAiB,CAAC,GAAkB;IAC3C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1C,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,IAAI;YACP,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3F,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aAClE,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,YAAY,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACvE,MAAM,SAAS,GAAG,IAAA,yBAAc,EAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3E,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,0CAA0C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnF,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/lambda-calc.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"lambda-calc.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/lambda-calc.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,EAAE;AACF,kDAAkD;AAClD,sEAAsE;AACtE,kEAAkE;AAClE,4CAA4C;;AAE5C,mCAAsC;AACtC,6CAA2C;AAC3C,6EAAkF;AAElF,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CACT,IAAA,oBAAO,EAAC,CAAC,CAAC,EACV,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC9B,IAAA,oBAAO,EAAC,CAAC,CAAC,EACV,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACV,MAAM,KAAK,GAAG,IAAA,yBAAU,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,OAAO,GAAG,IAAA,uBAAQ,EAAC,KAAK,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,+BAA+B,CAAC,MAAM;wBAC1F,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACnF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"lambda-calc.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/lambda-calc.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,EAAE;AACF,kDAAkD;AAClD,sEAAsE;AACtE,kEAAkE;AAClE,4CAA4C;;AAE5C,mCAAsC;AACtC,6CAA2C;AAC3C,6EAAkF;AAElF,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,oBAAO,EAAC,CAAC,CAAC,EAAE,eAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAA,oBAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9E,MAAM,KAAK,GAAG,IAAA,yBAAU,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,OAAO,GAAG,IAAA,uBAAQ,EAAC,KAAK,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,+BAA+B,CAAC,MAAM;wBAC1F,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACnF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/mln.property.test.js

@@ -14,9 +14,7 @@ const markov_logic_1 = require("../../reasoning/markov-logic");
         generators_1.fc.assert(generators_1.fc.property(generators_1.fc.boolean(), generators_1.fc.boolean(), (alicePred, bobPred) => {
             // Hard constraint: ∀x. Friends(x, x) — todos amigos de sí mismos.
             const theory = {
-                formulas: [
-                    { formula: 'Friends(x, x)', weight: Infinity },
-                ],
+                formulas: [{ formula: 'Friends(x, x)', weight: Infinity }],
                 constants: { Person: ['Alice', 'Bob'] },
                 predicates: [{ name: 'Friends', types: ['Person', 'Person'] }],
             };

package/dist/tests/properties/mln.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"mln.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/mln.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,EAAE;AACF,4CAA4C;AAC5C,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,+DAAsD;AAGtD,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,eAAE,CAAC,OAAO,EAAE,EAAE,eAAE,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;YAC7D,kEAAkE;YAClE,MAAM,MAAM,GAAc;gBACxB,QAAQ,EAAE;oBACR,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE;iBAC/C;gBACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;gBACvC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;aAC/D,CAAC;YACF,MAAM,KAAK,GAAa;gBACtB,WAAW,EAAE;oBACX,sBAAsB,EAAE,SAAS;oBACjC,kBAAkB,EAAE,OAAO;iBAC5B;aACF,CAAC;YACF,MAAM,CAAC,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC;YACxC,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,kDAAkD,SAAS,aAAa,OAAO,OAAO,CAAC,EAAE,CAC1F,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CACb,sCAAsC,CACvC,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"mln.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/mln.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,EAAE;AACF,4CAA4C;AAC5C,qEAAqE;;AAErE,mCAAsC;AACtC,6CAAkC;AAClC,+DAAsD;AAGtD,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,eAAE,CAAC,OAAO,EAAE,EAAE,eAAE,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;YAC7D,kEAAkE;YAClE,MAAM,MAAM,GAAc;gBACxB,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;gBAC1D,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;gBACvC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;aAC/D,CAAC;YACF,MAAM,KAAK,GAAa;gBACtB,WAAW,EAAE;oBACX,sBAAsB,EAAE,SAAS;oBACjC,kBAAkB,EAAE,OAAO;iBAC5B;aACF,CAAC;YACF,MAAM,CAAC,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC;YACxC,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,kDAAkD,SAAS,aAAa,OAAO,OAAO,CAAC,EAAE,CAC1F,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC1D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/planning.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"planning.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/planning.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAC/D,EAAE;AACF,4DAA4D;AAC5D,sEAAsE;AACtE,aAAa;;AAEb,mCAAsC;AACtC,6CAAkC;AAClC,uDAAuF;AAGvF,uDAAuD;AACvD,6DAA6D;AAC7D,MAAM,UAAU,GAAgC,eAAE;KAC/C,KAAK,CACJ,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACjC,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAClC;KACA,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;KAC3B,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;IACpC,OAAO,EAAE;QACP;YACE,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB;KACF;IACD,YAAY,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC;IAC7C,IAAI,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;CACrC,CAAC,CAAC,CAAC;AAEN,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,6BAA6B;YAC7D,IAAI,KAAK,GAAG,IAAI,GAAG,CAAO,OAAO,CAAC,YAAY,CAAC,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxI,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"planning.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/planning.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAC/D,EAAE;AACF,4DAA4D;AAC5D,sEAAsE;AACtE,aAAa;;AAEb,mCAAsC;AACtC,6CAAkC;AAClC,uDAAuF;AAGvF,uDAAuD;AACvD,6DAA6D;AAC7D,MAAM,UAAU,GAAgC,eAAE;KAC/C,KAAK,CAAC,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,eAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;KAC3E,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;KAC3B,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;IACpC,OAAO,EAAE;QACP;YACE,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB;KACF;IACD,YAAY,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC;IAC7C,IAAI,EAAE,IAAI,GAAG,CAAO,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;CACrC,CAAC,CAAC,CAAC;AAEN,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;YAClC,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,CAAC,6BAA6B;YAC7D,IAAI,KAAK,GAAG,IAAI,GAAG,CAAO,OAAO,CAAC,YAAY,CAAC,CAAC;YAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACxI,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/profile-bridge.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"profile-bridge.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/profile-bridge.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sEAAsE;AACtE,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,sCAAsC;AACtC,EAAE;AACF,iDAAiD;AACjD,2DAA2D;AAC3D,sDAAsD;;AAEtD,mCAAsC;AACtC,6CAA+C;AAC/C,gEAAiF;AACjF,+DAAiE;AACjE,8EAAiF;AAIjF,+CAA+C;AAC/C,SAAS,iBAAiB,CAAC,GAAY;IACrC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;gBACtC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC;aACxC,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM;YACT,sDAAsD;YACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QAClF,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B;YACE,wEAAwE;YACxE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,MAAM,UAAU,GAAG,IAAA,yBAAc,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACtE,8DAA8D;YAC9D,yDAAyD;YACzD,MAAM,UAAU,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,4DAA4D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAC5H,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"profile-bridge.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/profile-bridge.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sEAAsE;AACtE,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,sCAAsC;AACtC,EAAE;AACF,iDAAiD;AACjD,2DAA2D;AAC3D,sDAAsD;;AAEtD,mCAAsC;AACtC,6CAA+C;AAC/C,gEAAiF;AACjF,+DAAiE;AACjE,8EAAiF;AAIjF,+CAA+C;AAC/C,SAAS,iBAAiB,CAAC,GAAY;IACrC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;gBACrC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;aACvC,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;gBACrC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;aACvC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;gBACrC,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;aACvC,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,KAAK,MAAM;YACT,sDAAsD;YACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QAClF,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B;YACE,wEAAwE;YACxE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvC,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,MAAM,UAAU,GAAG,IAAA,yBAAc,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,IAAI,CAAC,UAAU,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;YACtE,8DAA8D;YAC9D,yDAAyD;YACzD,MAAM,UAAU,GAAG,IAAA,oCAAmB,EAAC,GAAG,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,IAAA,2CAAuB,EAAC,EAAE,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CACb,4DAA4D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAC5H,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/properties/theorem-cache.property.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"theorem-cache.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/theorem-cache.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,EAAE;AACF,wCAAwC;AACxC,4DAA4D;AAC5D,mDAAmD;;AAEnD,mCAAsC;AACtC,6CAAkC;AAClC,+DAA2D;AAE3D,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CACT,eAAE;aACC,KAAK,CACJ,eAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,eAAE,CAAC,YAAY,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,EAC/C,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CACrC;aACA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAChD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;YACjC,KAAK,CAAC,KAAK,CAAC;gBACV,OAAO,EAAE,CAAC;gBACV,iBAAiB,EAAE,EAAE;gBACrB,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,EAAE,OAAO,EAAE;gBAClB,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;aACxD,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtE,CAAC;YACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAwC,CAAC;YACjE,IAAI,KAAK,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,6BAA6B,OAAO,eAAe,KAAK,EAAE,OAAO,EAAE,CACpE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"theorem-cache.property.test.js","sourceRoot":"","sources":["../../../src/tests/properties/theorem-cache.property.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,EAAE;AACF,wCAAwC;AACxC,4DAA4D;AAC5D,mDAAmD;;AAEnD,mCAAsC;AACtC,6CAAkC;AAClC,+DAA2D;AAE3D,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,eAAE,CAAC,MAAM,CACP,eAAE,CAAC,QAAQ,CACT,eAAE;aACC,KAAK,CACJ,eAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,eAAE,CAAC,YAAY,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,EAC/C,eAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CACrC;aACA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAChD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;YACjC,KAAK,CAAC,KAAK,CAAC;gBACV,OAAO,EAAE,CAAC;gBACV,iBAAiB,EAAE,EAAE;gBACrB,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,EAAE,OAAO,EAAE;gBAClB,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;aACxD,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtE,CAAC;YACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAwC,CAAC;YACjE,IAAI,KAAK,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,6BAA6B,OAAO,eAAe,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;YACvF,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/protocol-text-layer.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"protocol-text-layer.test.js","sourceRoot":"","sources":["../../src/tests/protocol-text-layer.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,iDAAsD;AACtD,+DAA0G;AAE1G,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;SACvB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE;SACzE,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QAEtC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,6CAA6C,EAAE;SAClE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC5B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE;SACzC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,MAA+B,CAAC;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAgD,CAAC;QAE7E,IAAA,eAAM,EAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC;YACnD,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7C,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,WAAW;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAA,+BAAoB,GAAE,CAAC;QACrC,MAAM,WAAW,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAExD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"protocol-text-layer.test.js","sourceRoot":"","sources":["../../src/tests/protocol-text-layer.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,iDAAsD;AACtD,+DAI0C;AAE1C,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;SACvB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE;SACzE,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;QAEtC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,6CAA6C,EAAE;SAClE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC5B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,oBAAoB,EAAE;SACzC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,MAA+B,CAAC;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAgD,CAAC;QAE7E,IAAA,eAAM,EAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC;YACnD,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,0BAAe,EAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7C,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,WAAW;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAA,+BAAoB,GAAE,CAAC;QACrC,MAAM,WAAW,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAExD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/combinatorics/combinatorics.test.js

@@ -59,7 +59,7 @@ const combinatorics_1 = require("../../../reasoning/combinatorics");
             [1, 4],
             [2, 3],
             [2, 4],
-            [3, 4]
+            [3, 4],
         ]);
     });
     (0, vitest_1.it)('generateCombinations(r=0) emite [] y r>n nada', () => {

package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js

@@ -48,7 +48,7 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
     // So modulus(eps) = ceil(2 * eps) works.
     const xSquared = {
         fn: (x) => (0, constructive_reals_1.mul)(x, x),
-        modulus: (eps) => Math.max(1, 2 * eps)
+        modulus: (eps) => Math.max(1, 2 * eps),
     };
     (0, vitest_1.it)('x^2 is uniformly continuous on [0, 1]', () => {
         (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(xSquared, [constructive_reals_1.zero, constructive_reals_1.one], 50)).toBe(true);
@@ -74,7 +74,7 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
     (0, vitest_1.it)('a wrong modulus is rejected', () => {
         const wrongMod = {
             fn: (x) => (0, constructive_reals_1.mul)(x, (0, constructive_reals_1.mul)(x, x)), // x^3
-            modulus: () => 1 // claims |x-y| < 1 => |f(x)-f(y)| < 1/eps. False.
+            modulus: () => 1, // claims |x-y| < 1 => |f(x)-f(y)| < 1/eps. False.
         };
         (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(wrongMod, [constructive_reals_1.zero, (0, constructive_reals_1.fromFloat)(5)], 10)).toBe(false);
     });
@@ -93,7 +93,7 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
     (0, vitest_1.it)('integral of x^2 over [0, 1] is approximately 1/3', () => {
         const xSq = {
             fn: (x) => (0, constructive_reals_1.mul)(x, x),
-            modulus: (eps) => Math.max(1, 2 * eps)
+            modulus: (eps) => Math.max(1, 2 * eps),
         };
         const I = (0, constructive_analysis_1.bishopIntegral)(xSq, constructive_reals_1.zero, constructive_reals_1.one, 200);
         (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(I, 10_000)).toBeCloseTo(1 / 3, 2);
@@ -112,8 +112,8 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
             intervals: [
                 [(0, constructive_reals_1.fromFloat)(-0.1), (0, constructive_reals_1.fromFloat)(0.5)],
                 [(0, constructive_reals_1.fromFloat)(0.3), (0, constructive_reals_1.fromFloat)(0.8)],
-                [(0, constructive_reals_1.fromFloat)(0.7), (0, constructive_reals_1.fromFloat)(1.2)]
-            ]
+                [(0, constructive_reals_1.fromFloat)(0.7), (0, constructive_reals_1.fromFloat)(1.2)],
+            ],
         };
         (0, vitest_1.expect)((0, constructive_analysis_1.hasFiniteSubcover)(cover, [constructive_reals_1.zero, constructive_reals_1.one])).toBe(true);
     });
@@ -121,8 +121,8 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
         const cover = {
             intervals: [
                 [(0, constructive_reals_1.fromFloat)(-0.1), (0, constructive_reals_1.fromFloat)(0.3)],
-                [(0, constructive_reals_1.fromFloat)(0.7), (0, constructive_reals_1.fromFloat)(1.2)]
-            ]
+                [(0, constructive_reals_1.fromFloat)(0.7), (0, constructive_reals_1.fromFloat)(1.2)],
+            ],
         };
         (0, vitest_1.expect)((0, constructive_analysis_1.hasFiniteSubcover)(cover, [constructive_reals_1.zero, constructive_reals_1.one])).toBe(false);
     });
@@ -131,7 +131,7 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
     (0, vitest_1.it)('IVT for f(x) = x^2 - 2 on [1, 2] finds c with f(c) ≈ 0', () => {
         const f = {
             fn: (x) => (0, constructive_reals_1.sub)((0, constructive_reals_1.mul)(x, x), (0, constructive_reals_1.fromFloat)(2)),
-            modulus: (eps) => Math.max(1, 4 * eps) // L = 4 on [1, 2]
+            modulus: (eps) => Math.max(1, 4 * eps), // L = 4 on [1, 2]
         };
         const c = (0, constructive_analysis_1.intermediateValueTheorem)(f, constructive_reals_1.one, (0, constructive_reals_1.fromFloat)(2), constructive_reals_1.zero, 200);
         (0, vitest_1.expect)(c).not.toBeNull();
@@ -146,7 +146,7 @@ const constructive_analysis_1 = require("../../../reasoning/constructive-analysi
     (0, vitest_1.it)('IVT for f(x) = x - 0.5 on [0, 1] hits target 0', () => {
         const f = {
             fn: (x) => (0, constructive_reals_1.sub)(x, (0, constructive_reals_1.fromFloat)(0.5)),
-            modulus: (eps) => Math.max(1, eps)
+            modulus: (eps) => Math.max(1, eps),
         };
         const c = (0, constructive_analysis_1.intermediateValueTheorem)(f, constructive_reals_1.zero, constructive_reals_1.one, constructive_reals_1.zero, 100);
         (0, vitest_1.expect)(c).not.toBeNull();

package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"constructive-analysis.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/constructive-analysis/constructive-analysis.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,8EAY+C;AAE/C,oFAekD;AAElD,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,QAAQ,GAA0B,IAAA,kCAAU,EAChD,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS;IAChD,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAC7B,CAAC;IAEF,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,GAAG,GAAG,IAAA,6BAAK,EAAC,QAAQ,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,yBAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAA0B,IAAA,kCAAU,EAC7C,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EACnC,GAAG,EAAE,CAAC,CAAC,CACR,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,kCAAU,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,6BAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,yCAAyC;QACzC,4EAA4E;QAC5E,MAAM,OAAO,GAA0B,IAAA,kCAAU,EAC/C,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAC7C,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAC5D,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,6BAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,oEAAoE;IACpE,yCAAyC;IACzC,MAAM,QAAQ,GAA2B;QACvC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;KACvC,CAAC;IAEF,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,wBAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,CAAC,EAAE,CAAC,yBAAI,EAAE,IAAA,8BAAS,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,iCAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,wBAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe;QAC3D,MAAM,CAAC,GAAG,IAAA,iCAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY;QACjE,MAAM,GAAG,GAAG,IAAA,mCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,CAAC,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;QACpE,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,GAAG,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,QAAQ,GAA2B;YACvC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM;YACpC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,kDAAkD;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAA2B;YAClC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC;YACpB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;SACvC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,GAAG,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,GAAG,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,wBAAG,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE;gBACT,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBACjC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBAChC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;aACS;SAC5C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yCAAiB,EAAC,KAAK,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE;gBACT,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBACjC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;aACS;SAC5C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yCAAiB,EAAC,KAAK,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAA2B;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;YACvC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,kBAAkB;SAC1D,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,wBAAG,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,gCAAgC;YAChC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACvD,6BAA6B;YAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAA2B;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;YACjC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,yBAAI,EAAE,wBAAG,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,+DAA+D;QAC/D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,wBAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,yBAAI,EAAE,wBAAG,EAAE,yBAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,6CAAqB,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"constructive-analysis.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/constructive-analysis/constructive-analysis.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,8EAY+C;AAE/C,oFAekD;AAElD,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,QAAQ,GAA0B,IAAA,kCAAU,EAChD,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS;IAChD,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAC7B,CAAC;IAEF,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,GAAG,GAAG,IAAA,6BAAK,EAAC,QAAQ,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,yBAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAA0B,IAAA,kCAAU,EAC7C,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EACnC,GAAG,EAAE,CAAC,CAAC,CACR,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,kCAAU,EAClB,GAAG,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAClB,GAAG,EAAE,CAAC,CAAC,CACR,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,6BAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,yCAAyC;QACzC,4EAA4E;QAC5E,MAAM,OAAO,GAA0B,IAAA,kCAAU,EAC/C,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAC7C,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAC5D,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,6BAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,oEAAoE;IACpE,yCAAyC;IACzC,MAAM,QAAQ,GAA2B;QACvC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;KACvC,CAAC;IAEF,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,wBAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,CAAC,EAAE,CAAC,yBAAI,EAAE,IAAA,8BAAS,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,iCAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,wBAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe;QAC3D,MAAM,CAAC,GAAG,IAAA,iCAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY;QACjE,MAAM,GAAG,GAAG,IAAA,mCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,CAAC,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;QACpE,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,GAAG,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,QAAQ,GAA2B;YACvC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM;YACpC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,kDAAkD;SACrE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAA2B;YAClC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC;YACpB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;SACvC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,GAAG,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,GAAG,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,wBAAG,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE;gBACT,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBACjC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBAChC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;aACS;SAC5C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yCAAiB,EAAC,KAAK,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE;gBACT,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBACjC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;aACS;SAC5C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yCAAiB,EAAC,KAAK,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAA2B;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;YACvC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,kBAAkB;SAC3D,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,wBAAG,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,gCAAgC;YAChC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACvD,6BAA6B;YAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAA2B;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;YACjC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,yBAAI,EAAE,wBAAG,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,+DAA+D;QAC/D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,wBAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,yBAAI,EAAE,wBAAG,EAAE,yBAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,6CAAqB,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/hoare-logic/hoare-logic.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=hoare-logic.test.d.ts.map

package/dist/tests/reasoning/hoare-logic/hoare-logic.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoare-logic.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/reasoning/hoare-logic/hoare-logic.test.ts"],"names":[],"mappings":""}