npm - @stevenvo780/st-lang - Versions diffs - 4.5.2 → 4.7.0 - Mend

@stevenvo780/st-lang 4.5.2 → 4.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (2433) hide show

package/dist/logic/profiles/shared/tableau-engine.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"tableau-engine.js","sourceRoot":"","sources":["../../../../src/logic/profiles/shared/tableau-engine.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,wDAAwD;AACxD,8DAA8D;AAC9D,+DAA+D;;;AA2K/D,oCAEC;AAmED,kCAEC;AAqCD,oDAsBC;AAED,0BAEC;AA8bD,gCAMC;AAED,oCA0BC;AAGD,0BAEC;AAED,sCAEC;AAvxBD,8DAAmD;AA2DnD,+DAA+D;AAE/D,+FAA+F;AAClF,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,gEAAgE;AACnD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;IACD,sBAAsB,CAAC,MAAM;QAC3B,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;QACnD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa;YAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACpF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,OAAO,EAAE,CAAC;gBAC1C,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACtC,IAAI,EAAE,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;wBACzB,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,sEAAsE;AACzD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,OAAO,EAAE,MAAM;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM;QAC3C,4DAA4D;QAC5D,OAAO,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACnC,CAAC;CACF,CAAC;AAEF,sCAAsC;AACzB,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,wCAAwC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,iCAAiC;AACpB,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,8BAA8B;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;YAClC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,yEAAyE;QACzE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;gBAClC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,+DAA+D;AAE/D,SAAgB,YAAY,CAAC,CAAU,EAAE,CAAU;IACjD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,CAAU,EACV,CAAU,EACV,IAAyB,EACzB,IAAyB,EACzB,QAAgB,CAAC;IAEjB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,mEAAmE;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,oDAAoD;QACpD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,KAAK,MAAM,CAAC;QAC3E,wDAAwD;QACxD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,KAAK,KAAK,CAAC;QACzE,uCAAuC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,KAAK,MAAM,CAAC;YAC3E,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wCAAwC;IACxC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,8CAA8C;IAC9C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,8CAAkD;AAElD,SAAgB,WAAW,CAAC,CAAU;IACpC,OAAO,IAAA,kBAAW,EAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,IAAI;YACP,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe;YAClB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACrF,KAAK,iBAAiB;YACpB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF;YACE,OAAO,CAAC,CAAC,IAAI,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAgB,oBAAoB,CAAC,CAAU;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,eAAe;YAClB,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;oBACzC;wBACE,IAAI,EAAE,KAAK;wBACX,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;4BAChC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC;QACJ;YACE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,IAAA,qBAAK,EAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAE/D,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;AACvF,CAAC;AAID,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC;QACjB,KAAK,IAAI,CAAC;QACV,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC;YACrD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,OAAO,CAAC;YACvD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO,OAAO,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC;QACjB,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,MAAM,CAAC,MAAc,EAAE,IAAiB;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,uEAAuE;IACvE,+DAA+D;IAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,OAAO,EAAG,CAAC,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnB,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,+DAA+D;AAE/D,MAAM,UAAU,GAAa,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,IAAI,YAAY,GAAG,CAAC,CAAC;AACrB,IAAI,eAAe,GAAG,CAAC,CAAC;AAExB,SAAS,SAAS,CAChB,MAAc,EACd,OAAe,EACf,OAMC;IAED,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;QAChB,OAAO;QACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,MAAM;QAC7B,MAAM,EAAE,OAAO,EAAE,MAAM;QACvB,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACpE,MAAM,EAAE,MAAM,eAAe,EAAE,EAAE;KAClC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,UAAU,EAAE,IAAI,GAAG,EAAE;QACrB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,IAAI,YAAY,EAAE,EAAE;QAC9B,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,UAAU,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QACtC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QACxB,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,EAAE,CAAC;QAClC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU;QAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACpC,KAAK,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,EAAE,CAAC;IACtC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAE/D,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,SAAS,uBAAuB,CAC9B,MAAc,EACd,WAAmB;IAEnB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC7C,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;IAC1C,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACnD,CAAC;IACA,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAUD,SAAS,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,KAAiB;IAC9D,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACtB,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,kCAAkC,EAAE;YAC7D,KAAK;YACL,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,OAAO;SAChB,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,oCAAoC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS;YAAE,MAAM;QAChD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACxC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yBAAyB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,EAC9E;YACE,KAAK;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CACF,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CACP,MAAM,EACN,IAAI,KAAK,0CAA0C,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,EAC/F;gBACE,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CACF,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,+BAA+B;QAC/B,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,qDAAqD,EAAE;gBAChF,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,8BAA8B,EAAE;YACzD,KAAK;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACzE,IAAI,GAAG,GAAG,CAAC;YAAE,SAAS;QAEtB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAEzD,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,iCAAiC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EACpF;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,QAAmB,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;oBAAE,QAAQ,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBACrD,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;oBAC1D,QAAQ,GAAG;wBACT,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,gBAAgB;oBACjE,QAAQ,GAAG;wBACT,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3D,OAAO,CAAC;4BACN,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gCAClD,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;6BACtE;yBACF,CAAC;qBACH,CAAC;;oBACC,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,IAAI,CAAC,aAAa;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;gBACrC,IAAI,QAAgB,CAAC;gBACrB,IAAI,OAAO,GAAG,IAAI,CAAC;gBACnB,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;oBACrE,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC9D,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC;oBAC3B,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;gBAC9B,CAAC;qBAAM,CAAC;oBACN,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;wBACvC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;oBACjD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACpE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC9B,CAAC;gBACD,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,IAAI,QAAQ,EAAE,EACtJ;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBAEF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAEzD,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACxE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAC1B,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACvE,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAEhC,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAC5F;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAC9E,CAAC;gBACF,IAAI,CAAC,MAAM;oBAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBAEzF,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,qCAAqC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EACvG;oBACE,KAAK;oBACL,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,SAAoB,CAAC;gBACzB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,SAAS,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAC3B,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;qBAClF,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBACjC,SAAS,GAAG;wBACV,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;wBAC7D;4BACE,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE;gCACJ,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gCACnD,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;6BACpD;yBACF;qBACF,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAClC,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACjB,OAAO,CAAC;4BACN,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAChE,CAAC;qBACH,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;oBACtD,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAChF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7D,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,SAAS;wBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC1C,CAAC;;oBAAM,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAE/C,IAAI,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAClC,SAAS,CAAC,KAAK,EAAE,IAAI,KAAK,oBAAoB,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE;wBACxE,KAAK;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,UAAU;wBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;wBACjB,OAAO,EAAE,CAAC;qBACX,CAAC,CAAC;oBACH,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChB,OAAO,GAAG,CAAC,CAAC,qBAAqB;oBACnC,CAAC;oBACD,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,sCAAsC;gBACjE,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,+DAA+D;AAE/D,SAAgB,UAAU,CAAC,KAAoB;IAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAgB,EAChB,KAAiB,EACjB,eAAwB;IAExB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,SAAS,CAAC,MAAM,EAAE,oDAAoD,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE;YAC5F,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;YACX,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3D,SAAS,CAAC,MAAM,EAAE,8CAA8C,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE;YACtF,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;YACX,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAgB,OAAO,CAAC,OAAgB,EAAE,KAAiB;IACzD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED,SAAgB,aAAa,CAAC,OAAgB,EAAE,KAAiB;IAC/D,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC;AACrD,CAAC"}

package/dist/logic/profiles/substructural/index.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/logic/profiles/substructural/index.ts"],"names":[],"mappings":"AAcA,YAAY,EACV,aAAa,EACb,aAAa,EACb,WAAW,EACX,WAAW,EACX,iBAAiB,GAClB,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC/E,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC"}

package/dist/logic/profiles/substructural/index.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/logic/profiles/substructural/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2CAA2C;AAC3C,+DAA+D;AAC/D,EAAE;AACF,2DAA2D;AAC3D,mEAAmE;AACnE,wDAAwD;AACxD,EAAE;AACF,aAAa;AACb,qBAAqB;AACrB,mBAAmB;AACnB,mBAAmB;AACnB,yCAAyC;;;AAUzC,mCAA+E;AAAtE,qGAAA,WAAW,OAAA;AAAE,qGAAA,WAAW,OAAA;AAAE,uGAAA,aAAa,OAAA;AAAE,oGAAA,UAAU,OAAA"}

package/dist/logic/profiles/substructural/prover.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../../../src/logic/profiles/substructural/prover.ts"],"names":[],"mappings":"AA0CA,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAkC,MAAM,SAAS,CAAC;AAIpG,wBAAgB,UAAU,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,CAmBnD;AA6aD,MAAM,WAAW,YAAY;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAqBD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,GAAG,IAAI,CAG/F;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,GAAG,IAAI,CAG/F;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,SAAI,GAAG,MAAM,CAOhE"}

package/dist/logic/profiles/substructural/prover.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"prover.js","sourceRoot":"","sources":["../../../../src/logic/profiles/substructural/prover.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,EAAE;AACF,yDAAyD;AACzD,iDAAiD;AACjD,EAAE;AACF,cAAc;AACd,EAAE;AACF,SAAS;AACT,kEAAkE;AAClE,mEAAmE;AACnE,4DAA4D;AAC5D,kEAAkE;AAClE,kEAAkE;AAClE,EAAE;AACF,oEAAoE;AACpE,gEAAgE;AAChE,EAAE;AACF,kBAAkB;AAClB,mDAAmD;AACnD,wEAAwE;AACxE,0EAA0E;AAC1E,2CAA2C;AAC3C,sEAAsE;AACtE,mEAAmE;AACnE,kDAAkD;AAClD,kEAAkE;AAClE,4DAA4D;AAC5D,yDAAyD;AACzD,qEAAqE;AACrE,gEAAgE;AAChE,gEAAgE;AAChE,2DAA2D;AAC3D,oEAAoE;AACpE,sDAAsD;AACtD,kEAAkE;AAClE,oEAAoE;AACpE,yDAAyD;AACzD,oEAAoE;AACpE,6DAA6D;;AAM7D,gCAmBC;AAycD,kCAGC;AAED,kCAGC;AAED,sCAOC;AA/eD,+CAA+C;AAE/C,SAAgB,UAAU,CAAC,CAAgB;IACzC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC1D,KAAK,UAAU;YACb,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC3D,KAAK,MAAM;YACT,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC1D,KAAK,MAAM;YACT,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC1D,KAAK,MAAM;YACT,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,QAAQ;YACX,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACnC,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB,EAAE,CAAgB;IACnD,OAAO,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,QAAQ,CAAI,GAAQ,EAAE,GAAW;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;IACzB,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iEAAiE;AACjE,EAAE;AACF,oEAAoE;AACpE,oDAAoD;AAEpD,QAAQ,CAAC,CAAC,UAAU,CAAI,KAAU;IAChC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAQ,EAAE,CAAC;QACrB,MAAM,KAAK,GAAQ,EAAE,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAYD,SAAS,IAAI,CAAC,GAAa;IACzB,GAAG,CAAC,IAAI,EAAE,CAAC;IACX,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,KAAsB,EAAE,MAAqB;IACpF,kEAAkE;IAClE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED,kCAAkC;AAElC,SAAS,OAAO,CACd,UAAyB,EACzB,IAAiB,EACjB,QAAuB;IAEvB,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,SAAS,KAAK,CACZ,KAAsB,EACtB,KAAsB,EACtB,KAAsB;IAEtB,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;AACxC,CAAC;AAED,oCAAoC;AAEpC,SAAS,MAAM,CAAC,CAAgB;IAC9B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AAC3B,CAAC;AAED,4BAA4B;AAC5B,EAAE;AACF,oBAAoB;AACpB,qEAAqE;AACrE,qDAAqD;AACrD,+DAA+D;AAC/D,uDAAuD;AACvD,qDAAqD;AAErD,SAAS,QAAQ,CACf,KAAsB,EACtB,KAAsB,EACtB,MAAqB,EACrB,IAAuB;IAEvB,wBAAwB;IACxB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,UAAU;QACV,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;YAClE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,wBAAwB;QACxB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,kDAAkD;IAClD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACjB,4DAA4D;QAC5D,IAAI,GAAG,GAAgB,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,KAAK,OAAO;gBAAE,SAAS;YAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,GAAG,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACjB,kCAAkC;QAClC,IAAI,GAAG,GAAgB,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,GAAG,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,OAAO,CACd,KAAsB,EACtB,KAAsB,EACtB,MAAqB,EACrB,IAAuB;IAEvB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IAAI,GAAG,GAAgB,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,GAAG,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,2BAA2B;AAE3B,SAAS,KAAK,CACZ,KAAsB,EACtB,KAAsB,EACtB,KAAsB,EACtB,GAAa;IAEb,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE3C,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,IAAI,SAAS,CAAC;IACrD,4CAA4C;IAC5C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAExB,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACjD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAChB,KAAsB,EACtB,KAAsB,EACtB,MAAqB,EACrB,GAAa;IAEb,YAAY;IACZ,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IAElB,WAAW;IACX,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAEhB,6DAA6D;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1D,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,uCAAuC;IAEvC,aAAa;IACb,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QACvE,IAAI,GAAG;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS;IACT,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,4DAA4D;IAC5D,iEAAiE;IACjE,0DAA0D;IAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAChD,IAAI,GAAG;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACpE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,kCAAkC;YAClC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAChD,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtE,sBAAsB;gBACtB,IAAI,GAAG,GAAG,SAAS,CAAC;gBACpB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC7C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACjB,GAAG,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACzE,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC;QACH,CAAC;QACD,0DAA0D;IAC5D,CAAC;IAED,mDAAmD;IAEnD,WAAW;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YACpE,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,QAAQ;IACR,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YAC9C,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,SAAS;IACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,0CAA0C;IAE1C,wDAAwD;IACxD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS;IACT,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,IAAI;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QACvD,IAAI,KAAK;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4CAA4C;IAE5C,YAAY;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5D,IAAI,IAAI;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,IAAI;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC7C,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC3D,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,EAAE;IACF,wDAAwD;IACxD,EAAE;IACF,yDAAyD;IACzD,qCAAqC;IACrC,EAAE;IACF,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,0DAA0D;IAE1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,iEAAiE;QACjE,kEAAkE;QAClE,iEAAiE;QACjE,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAClE,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,aAAa,IAAI,GAAG;YAAE,SAAS;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;QACvD,IAAI,GAAG,EAAE,CAAC;YACR,6DAA6D;YAC7D,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAChC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC9C,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,MAAqB;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM;gBACT,KAAK,EAAE,CAAC;gBACR,MAAM;YACR,KAAK,KAAK;gBACR,MAAM;YACR,KAAK,QAAQ,CAAC;YACd,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM,CAAC;YACZ,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC5B,MAAM;YACR,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ;gBACX,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClB,MAAM;QACV,CAAC;IACH,CAAC;IACD,gEAAgE;IAChE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAC5B,CAAC;AAaD,SAAS,aAAa,CACpB,QAAuB,EACvB,IAAuB,EACvB,UAAwB,EAAE;IAE1B,MAAM,GAAG,GAAa;QACpB,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,MAAM;QAChC,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,IAAI,GAAG,EAAE;KAChB,CAAC;IACF,kEAAkE;IAClE,oEAAoE;IACpE,kEAAkE;IAClE,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACtC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,WAAW,CAAC,QAAuB,EAAE,OAAsB;IACzE,MAAM,CAAC,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,OAAO,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;AACzB,CAAC;AAED,SAAgB,WAAW,CAAC,QAAuB,EAAE,OAAsB;IACzE,MAAM,CAAC,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,OAAO,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;AACzB,CAAC;AAED,SAAgB,aAAa,CAAC,CAAc,EAAE,MAAM,GAAG,CAAC;IACtD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACnE,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,IAAI,MAAM,KAAK,QAAQ,CAAC,CAAC,IAAI,GAAG,CAAC;IACvD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1C,CAAC"}

package/dist/logic/profiles/substructural/types.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/logic/profiles/substructural/types.ts"],"names":[],"mappings":"AAyBA;;;GAGG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC3D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC3D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,aAAa,CAAA;CAAE,CAAC;AAE3C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,WAAW,GACnB,OAAO,GACP,KAAK,GACL,MAAM,GACN,MAAM,GACN,SAAS,GACT,SAAS,GACT,WAAW,GACX,WAAW,GACX,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,OAAO,GACP,OAAO,GACP,cAAc,GACd,WAAW,GACX,aAAa,CAAC;AAElB;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,aAAa,CAAC;IAC1B,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,WAAW,EAAE,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,QAAQ,CAAC"}

package/dist/logic/profiles/substructural/types.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/logic/profiles/substructural/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iDAAiD;AACjD,+DAA+D;AAC/D,EAAE;AACF,mEAAmE;AACnE,0DAA0D;AAC1D,EAAE;AACF,6DAA6D;AAC7D,oDAAoD;AACpD,kEAAkE;AAClE,mEAAmE;AACnE,6BAA6B;AAC7B,EAAE;AACF,yCAAyC;AACzC,iEAAiE;AACjE,0DAA0D;AAC1D,2DAA2D;AAC3D,4DAA4D;AAC5D,iDAAiD;AACjD,oEAAoE;AACpE,8DAA8D;AAC9D,+DAA+D;AAC/D,iEAAiE;AACjE,oEAAoE"}

package/dist/logic/profiles/temporal/ltl.d.ts ADDED Viewed

@@ -0,0 +1,12 @@
+import { Formula } from '../../../types';
+import { BaseTableauProfile } from '../shared/base-profile';
+import { type FrameRules } from '../shared/tableau-engine';
+export declare class TemporalLTL extends BaseTableauProfile {
+    name: string;
+    description: string;
+    frameRules: FrameRules;
+    formatFormula(f: Formula): string;
+    explainSystem(): string;
+    explain(formula: Formula): import('../../../types').RunResult;
+}
+//# sourceMappingURL=ltl.d.ts.map

package/dist/logic/profiles/temporal/ltl.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"ltl.d.ts","sourceRoot":"","sources":["../../../../src/logic/profiles/temporal/ltl.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAY,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAOrE,qBAAa,WAAY,SAAQ,kBAAkB;IACjD,IAAI,SAAkB;IACtB,WAAW,SAAoE;IAC/E,UAAU,aAAa;IAEvB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM;IAIjC,aAAa,IAAI,MAAM;IAmBvB,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,gBAAgB,EAAE,SAAS;CAY9D"}

package/dist/logic/profiles/temporal/ltl.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"ltl.js","sourceRoot":"","sources":["../../../../src/logic/profiles/temporal/ltl.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2CAA2C;AAC3C,+DAA+D;AAC/D,4CAA4C;AAC5C,yCAAyC;AACzC,8CAA8C;AAC9C,oDAAoD;AACpD,iDAAiD;AACjD,4CAA4C;AAC5C,EAAE;AACF,mEAAmE;AACnE,wDAAwD;AACxD,+DAA+D;;;AAG/D,8DAA6D;AAC7D,yDAA4D;AAC5D,6DAAqE;AAErE,MAAM,SAAS,GAAe;IAC5B,GAAG,yBAAQ;IACX,iBAAiB,EAAE,IAAI;CACxB,CAAC;AAEF,MAAa,WAAY,SAAQ,iCAAkB;IACjD,IAAI,GAAG,cAAc,CAAC;IACtB,WAAW,GAAG,gEAAgE,CAAC;IAC/E,UAAU,GAAG,SAAS,CAAC;IAEvB,aAAa,CAAC,CAAU;QACtB,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED,aAAa;QACX,OAAO;YACL,wBAAwB;YACxB,yDAAyD;YACzD,iEAAiE;YACjE,mDAAmD;YACnD,0DAA0D;YAC1D,EAAE;YACF,aAAa;YACb,mDAAmD;YACnD,mDAAmD;YACnD,kDAAkD;YAClD,EAAE;YACF,0CAA0C;YAC1C,mEAAmE;YACnE,4CAA4C;SAC7C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,UAAU,GAAG,sBAAsB,OAAO,CAAC,IAAI,oBAAoB,OAAO,CAAC,OAAO,kBAAkB,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7H,MAAM,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC;YACnD,MAAM,CAAC,eAAe;gBACpB,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;oBAC9B,kDAAkD,OAAO,CAAC,IAAI,MAAM,OAAO,CAAC,QAAQ,IAAI,CAAC;QAC7F,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAxCD,kCAwCC;AAQD,SAAS,uBAAuB,CAAC,CAAU;IACzC,mCAAmC;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QAChE,OAAO;YACL,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,wBAAwB;YACjC,QAAQ,EAAE,qBAAqB;SAChC,CAAC;IACJ,CAAC;IACD,4CAA4C;IAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,iCAAiC;YAC1C,QAAQ,EAAE,uBAAuB;SAClC,CAAC;IACJ,CAAC;IACD,oDAAoD;IACpD,IACE,CAAC,CAAC,IAAI,KAAK,iBAAiB;QAC5B,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;QAC/B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,mBAAmB,EACjD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,iDAAiD;YAC1D,QAAQ,EAAE,uBAAuB;SAClC,CAAC;IACJ,CAAC;IACD,gEAAgE;IAChE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC9E,OAAO;YACL,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,wCAAwC;YACjD,QAAQ,EAAE,2BAA2B;SACtC,CAAC;IACJ,CAAC;IACD,0DAA0D;IAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC9E,OAAO;YACL,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,mCAAmC;YAC5C,QAAQ,EAAE,uBAAuB;SAClC,CAAC;IACJ,CAAC;IACD,6CAA6C;IAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,uBAAuB;YAChC,QAAQ,EAAE,oBAAoB;SAC/B,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAU;IAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1D,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1D,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1D,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7F,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,KAAK,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC;QACzC,CAAC;QACD,KAAK,KAAK;YACR,OAAO,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7F,KAAK,IAAI;YACP,OAAO,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7F,KAAK,SAAS;YACZ,OAAO,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7F,KAAK,eAAe;YAClB,OAAO,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7F;YACE,OAAO,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC"}

package/dist/namespaces/logic.d.ts CHANGED Viewed

@@ -10,33 +10,33 @@
  *   Logic.modal.s5.isValid(formula);
  *   Logic.ctl.modelCheckCTL(kripke, formula);
  */
-export { LogicProfile, ProfileRegistry, registry } from '../profiles/interface';
-export { ClassicalPropositional, formulaToString } from '../profiles/classical/propositional';
-export { ClassicalFirstOrder } from '../profiles/classical/first-order';
-export { ModalK } from '../profiles/modal/k';
-export { ParaconsistentBelnap } from '../profiles/paraconsistent/belnap';
-export { IntuitionisticPropositional } from '../profiles/intuitionistic/propositional';
-export { TemporalLTL } from '../profiles/temporal/ltl';
-export { EpistemicS5 } from '../profiles/epistemic/s5';
-export { DeonticStandard } from '../profiles/deontic/standard';
-export { AristotelianSyllogistic } from '../profiles/aristotelian/syllogistic';
-export { ProbabilisticBasic } from '../profiles/probabilistic/basic';
-import * as ctl from '../profiles/ctl';
-import * as ltl from '../profiles/ltl-sat';
-import * as muCalculus from '../profiles/mu-calculus';
-import * as hybrid from '../profiles/hybrid-logic';
-import * as descriptionLogic from '../profiles/description-logic';
-import * as modalAxioms from '../profiles/modal-frame-axioms';
-import * as sequentG3 from '../profiles/sequent-g3';
-import * as sequentLK from '../profiles/sequent-lk';
-import * as intuitNJ from '../profiles/intuitionistic-nj';
-import * as defaultLogic from '../profiles/default-logic';
-import * as manyValued from '../profiles/many-valued';
-import * as substructural from '../profiles/substructural';
-import * as arithmetic from '../profiles/arithmetic';
+export { LogicProfile, ProfileRegistry, registry } from '../logic/profiles/interface';
+export { ClassicalPropositional, formulaToString } from '../logic/profiles/classical/propositional';
+export { ClassicalFirstOrder } from '../logic/profiles/classical/first-order';
+export { ModalK } from '../logic/profiles/modal/k';
+export { ParaconsistentBelnap } from '../logic/profiles/paraconsistent/belnap';
+export { IntuitionisticPropositional } from '../logic/profiles/intuitionistic/propositional';
+export { TemporalLTL } from '../logic/profiles/temporal/ltl';
+export { EpistemicS5 } from '../logic/profiles/epistemic/s5';
+export { DeonticStandard } from '../logic/profiles/deontic/standard';
+export { AristotelianSyllogistic } from '../logic/profiles/aristotelian/syllogistic';
+export { ProbabilisticBasic } from '../logic/profiles/probabilistic/basic';
+import * as ctl from '../logic/profiles/ctl';
+import * as ltl from '../logic/profiles/ltl-sat';
+import * as muCalculus from '../logic/profiles/mu-calculus';
+import * as hybrid from '../logic/profiles/hybrid-logic';
+import * as descriptionLogic from '../logic/profiles/description-logic';
+import * as modalAxioms from '../logic/profiles/modal-frame-axioms';
+import * as sequentG3 from '../logic/profiles/sequent-g3';
+import * as sequentLK from '../logic/profiles/sequent-lk';
+import * as intuitNJ from '../logic/profiles/intuitionistic-nj';
+import * as defaultLogic from '../logic/profiles/default-logic';
+import * as manyValued from '../logic/profiles/many-valued';
+import * as substructural from '../logic/profiles/substructural';
+import * as arithmetic from '../logic/profiles/arithmetic';
 export { ctl, ltl, muCalculus, hybrid, descriptionLogic, modalAxioms, sequentG3, sequentLK, intuitNJ, defaultLogic, manyValued, substructural, arithmetic, };
-export { cdcl, cdclAsync } from '../profiles/classical/cdcl';
-export type { CDCLResult } from '../profiles/classical/cdcl';
-export { dpll, dpllAsync } from '../profiles/classical/dpll';
-export { workersAvailable, PARALLEL_THRESHOLD } from '../profiles/classical/parallel-sat';
+export { cdcl, cdclAsync } from '../logic/profiles/classical/cdcl';
+export type { CDCLResult } from '../logic/profiles/classical/cdcl';
+export { dpll, dpllAsync } from '../logic/profiles/classical/dpll';
+export { workersAvailable, PARALLEL_THRESHOLD } from '../logic/profiles/classical/parallel-sat';
 //# sourceMappingURL=logic.d.ts.map

package/dist/namespaces/logic.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/namespaces/logic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,~~uBAAuB~~,CAAC;~~AAGhF~~,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,~~qCAAqC~~,CAAC;~~AAC9F~~,OAAO,EAAE,mBAAmB,EAAE,MAAM,~~mCAAmC~~,CAAC;~~AACxE~~,OAAO,EAAE,MAAM,EAAE,MAAM,~~qBAAqB~~,CAAC;~~AAC7C~~,OAAO,EAAE,oBAAoB,EAAE,MAAM,~~mCAAmC~~,CAAC;~~AACzE~~,OAAO,EAAE,2BAA2B,EAAE,MAAM,~~0CAA0C~~,CAAC;~~AACvF~~,OAAO,EAAE,WAAW,EAAE,MAAM,~~0BAA0B~~,CAAC;~~AACvD~~,OAAO,EAAE,WAAW,EAAE,MAAM,~~0BAA0B~~,CAAC;~~AACvD~~,OAAO,EAAE,eAAe,EAAE,MAAM,~~8BAA8B~~,CAAC;~~AAC/D~~,OAAO,EAAE,uBAAuB,EAAE,MAAM,~~sCAAsC~~,CAAC;~~AAC/E~~,OAAO,EAAE,kBAAkB,EAAE,MAAM,~~iCAAiC~~,CAAC;~~AAGrE~~,OAAO,KAAK,GAAG,MAAM,~~iBAAiB~~,CAAC;~~AACvC~~,OAAO,KAAK,GAAG,MAAM,~~qBAAqB~~,CAAC;~~AAC3C~~,OAAO,KAAK,UAAU,MAAM,~~yBAAyB,~~CAAC;~~AACtD~~,OAAO,KAAK,MAAM,MAAM,~~0BAA0B~~,CAAC;~~AACnD~~,OAAO,KAAK,gBAAgB,MAAM~~,+BAA+B~~,CAAC;~~AAClE~~,OAAO,KAAK,WAAW,MAAM,~~gCAAgC~~,CAAC;~~AAC9D~~,OAAO,KAAK,SAAS,MAAM,~~wBAAwB~~,CAAC;~~AACpD~~,OAAO,KAAK,SAAS,MAAM,~~wBAAwB~~,CAAC;~~AACpD~~,OAAO,KAAK,QAAQ,MAAM~~,+BAA+B~~,CAAC;~~AAC1D~~,OAAO,KAAK,YAAY,MAAM,~~2BAA2B~~,CAAC;~~AAC1D~~,OAAO,KAAK,UAAU,MAAM,~~yBAAyB,~~CAAC;~~AACtD~~,OAAO,KAAK,aAAa,MAAM,~~2BAA2B~~,CAAC;~~AAC3D~~,OAAO,KAAK,UAAU,MAAM,~~wBAAwB~~,CAAC;~~AAErD~~,OAAO,EACL,GAAG,EACH,GAAG,EACH,UAAU,EACV,MAAM,EACN,gBAAgB,EAChB,WAAW,EACX,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,aAAa,EACb,UAAU,GACX,CAAC;AAGF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,~~4BAA4B~~,CAAC;~~AAC7D~~,YAAY,EAAE,UAAU,EAAE,MAAM,~~4BAA4B~~,CAAC;~~AAC7D~~,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,~~4BAA4B~~,CAAC;~~AAC7D~~,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,~~oCAAoC~~,CAAC"}
1	+ {"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/namespaces/logic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAGtF,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACpG,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAC7F,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAG3E,OAAO,KAAK,GAAG,MAAM,uBAAuB,CAAC;AAC7C,OAAO,KAAK,GAAG,MAAM,2BAA2B,CAAC;AACjD,OAAO,KAAK,UAAU,MAAM,+BAA+B,CAAC;AAC5D,OAAO,KAAK,MAAM,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,gBAAgB,MAAM,qCAAqC,CAAC;AACxE,OAAO,KAAK,WAAW,MAAM,sCAAsC,CAAC;AACpE,OAAO,KAAK,SAAS,MAAM,8BAA8B,CAAC;AAC1D,OAAO,KAAK,SAAS,MAAM,8BAA8B,CAAC;AAC1D,OAAO,KAAK,QAAQ,MAAM,qCAAqC,CAAC;AAChE,OAAO,KAAK,YAAY,MAAM,iCAAiC,CAAC;AAChE,OAAO,KAAK,UAAU,MAAM,+BAA+B,CAAC;AAC5D,OAAO,KAAK,aAAa,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,UAAU,MAAM,8BAA8B,CAAC;AAE3D,OAAO,EACL,GAAG,EACH,GAAG,EACH,UAAU,EACV,MAAM,EACN,gBAAgB,EAChB,WAAW,EACX,SAAS,EACT,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,aAAa,EACb,UAAU,GACX,CAAC;AAGF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AACnE,YAAY,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,0CAA0C,CAAC"}

package/dist/namespaces/logic.js CHANGED Viewed

@@ -47,66 +47,66 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.PARALLEL_THRESHOLD = exports.workersAvailable = exports.dpllAsync = exports.dpll = exports.cdclAsync = exports.cdcl = exports.arithmetic = exports.substructural = exports.manyValued = exports.defaultLogic = exports.intuitNJ = exports.sequentLK = exports.sequentG3 = exports.modalAxioms = exports.descriptionLogic = exports.hybrid = exports.muCalculus = exports.ltl = exports.ctl = exports.ProbabilisticBasic = exports.AristotelianSyllogistic = exports.DeonticStandard = exports.EpistemicS5 = exports.TemporalLTL = exports.IntuitionisticPropositional = exports.ParaconsistentBelnap = exports.ModalK = exports.ClassicalFirstOrder = exports.formulaToString = exports.ClassicalPropositional = exports.registry = exports.ProfileRegistry = void 0;
 // Perfil registry + interfaces compartidas
-var interface_1 = require("../profiles/interface");
+var interface_1 = require("../logic/profiles/interface");
 Object.defineProperty(exports, "ProfileRegistry", { enumerable: true, get: function () { return interface_1.ProfileRegistry; } });
 Object.defineProperty(exports, "registry", { enumerable: true, get: function () { return interface_1.registry; } });
 // Perfiles "clase suelta" (un solo símbolo)
-var propositional_1 = require("../profiles/classical/propositional");
+var propositional_1 = require("../logic/profiles/classical/propositional");
 Object.defineProperty(exports, "ClassicalPropositional", { enumerable: true, get: function () { return propositional_1.ClassicalPropositional; } });
 Object.defineProperty(exports, "formulaToString", { enumerable: true, get: function () { return propositional_1.formulaToString; } });
-var first_order_1 = require("../profiles/classical/first-order");
+var first_order_1 = require("../logic/profiles/classical/first-order");
 Object.defineProperty(exports, "ClassicalFirstOrder", { enumerable: true, get: function () { return first_order_1.ClassicalFirstOrder; } });
-var k_1 = require("../profiles/modal/k");
+var k_1 = require("../logic/profiles/modal/k");
 Object.defineProperty(exports, "ModalK", { enumerable: true, get: function () { return k_1.ModalK; } });
-var belnap_1 = require("../profiles/paraconsistent/belnap");
+var belnap_1 = require("../logic/profiles/paraconsistent/belnap");
 Object.defineProperty(exports, "ParaconsistentBelnap", { enumerable: true, get: function () { return belnap_1.ParaconsistentBelnap; } });
-var propositional_2 = require("../profiles/intuitionistic/propositional");
+var propositional_2 = require("../logic/profiles/intuitionistic/propositional");
 Object.defineProperty(exports, "IntuitionisticPropositional", { enumerable: true, get: function () { return propositional_2.IntuitionisticPropositional; } });
-var ltl_1 = require("../profiles/temporal/ltl");
+var ltl_1 = require("../logic/profiles/temporal/ltl");
 Object.defineProperty(exports, "TemporalLTL", { enumerable: true, get: function () { return ltl_1.TemporalLTL; } });
-var s5_1 = require("../profiles/epistemic/s5");
+var s5_1 = require("../logic/profiles/epistemic/s5");
 Object.defineProperty(exports, "EpistemicS5", { enumerable: true, get: function () { return s5_1.EpistemicS5; } });
-var standard_1 = require("../profiles/deontic/standard");
+var standard_1 = require("../logic/profiles/deontic/standard");
 Object.defineProperty(exports, "DeonticStandard", { enumerable: true, get: function () { return standard_1.DeonticStandard; } });
-var syllogistic_1 = require("../profiles/aristotelian/syllogistic");
+var syllogistic_1 = require("../logic/profiles/aristotelian/syllogistic");
 Object.defineProperty(exports, "AristotelianSyllogistic", { enumerable: true, get: function () { return syllogistic_1.AristotelianSyllogistic; } });
-var basic_1 = require("../profiles/probabilistic/basic");
+var basic_1 = require("../logic/profiles/probabilistic/basic");
 Object.defineProperty(exports, "ProbabilisticBasic", { enumerable: true, get: function () { return basic_1.ProbabilisticBasic; } });
 // Sub-namespaces (cada perfil con barrel propio)
-const ctl = __importStar(require("../profiles/ctl"));
+const ctl = __importStar(require("../logic/profiles/ctl"));
 exports.ctl = ctl;
-const ltl = __importStar(require("../profiles/ltl-sat"));
+const ltl = __importStar(require("../logic/profiles/ltl-sat"));
 exports.ltl = ltl;
-const muCalculus = __importStar(require("../profiles/mu-calculus"));
+const muCalculus = __importStar(require("../logic/profiles/mu-calculus"));
 exports.muCalculus = muCalculus;
-const hybrid = __importStar(require("../profiles/hybrid-logic"));
+const hybrid = __importStar(require("../logic/profiles/hybrid-logic"));
 exports.hybrid = hybrid;
-const descriptionLogic = __importStar(require("../profiles/description-logic"));
+const descriptionLogic = __importStar(require("../logic/profiles/description-logic"));
 exports.descriptionLogic = descriptionLogic;
-const modalAxioms = __importStar(require("../profiles/modal-frame-axioms"));
+const modalAxioms = __importStar(require("../logic/profiles/modal-frame-axioms"));
 exports.modalAxioms = modalAxioms;
-const sequentG3 = __importStar(require("../profiles/sequent-g3"));
+const sequentG3 = __importStar(require("../logic/profiles/sequent-g3"));
 exports.sequentG3 = sequentG3;
-const sequentLK = __importStar(require("../profiles/sequent-lk"));
+const sequentLK = __importStar(require("../logic/profiles/sequent-lk"));
 exports.sequentLK = sequentLK;
-const intuitNJ = __importStar(require("../profiles/intuitionistic-nj"));
+const intuitNJ = __importStar(require("../logic/profiles/intuitionistic-nj"));
 exports.intuitNJ = intuitNJ;
-const defaultLogic = __importStar(require("../profiles/default-logic"));
+const defaultLogic = __importStar(require("../logic/profiles/default-logic"));
 exports.defaultLogic = defaultLogic;
-const manyValued = __importStar(require("../profiles/many-valued"));
+const manyValued = __importStar(require("../logic/profiles/many-valued"));
 exports.manyValued = manyValued;
-const substructural = __importStar(require("../profiles/substructural"));
+const substructural = __importStar(require("../logic/profiles/substructural"));
 exports.substructural = substructural;
-const arithmetic = __importStar(require("../profiles/arithmetic"));
+const arithmetic = __importStar(require("../logic/profiles/arithmetic"));
 exports.arithmetic = arithmetic;
 // SAT solving (algoritmos clásicos para evaluación de fórmulas)
-var cdcl_1 = require("../profiles/classical/cdcl");
+var cdcl_1 = require("../logic/profiles/classical/cdcl");
 Object.defineProperty(exports, "cdcl", { enumerable: true, get: function () { return cdcl_1.cdcl; } });
 Object.defineProperty(exports, "cdclAsync", { enumerable: true, get: function () { return cdcl_1.cdclAsync; } });
-var dpll_1 = require("../profiles/classical/dpll");
+var dpll_1 = require("../logic/profiles/classical/dpll");
 Object.defineProperty(exports, "dpll", { enumerable: true, get: function () { return dpll_1.dpll; } });
 Object.defineProperty(exports, "dpllAsync", { enumerable: true, get: function () { return dpll_1.dpllAsync; } });
-var parallel_sat_1 = require("../profiles/classical/parallel-sat");
+var parallel_sat_1 = require("../logic/profiles/classical/parallel-sat");
 Object.defineProperty(exports, "workersAvailable", { enumerable: true, get: function () { return parallel_sat_1.workersAvailable; } });
 Object.defineProperty(exports, "PARALLEL_THRESHOLD", { enumerable: true, get: function () { return parallel_sat_1.PARALLEL_THRESHOLD; } });
 //# sourceMappingURL=logic.js.map

package/dist/namespaces/logic.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"logic.js","sourceRoot":"","sources":["../../src/namespaces/logic.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,2CAA2C;AAC3C,~~mDAAgF~~;~~AAAzD~~,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAEhD,4CAA4C;AAC5C,~~qEAA8F~~;~~AAArF~~,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,~~iEAAwE~~;~~AAA/D~~,kHAAA,mBAAmB,OAAA;AAC5B~~,yCAA6C~~;~~AAApC~~,2FAAA,MAAM,OAAA;AACf,~~4DAAyE~~;~~AAAhE~~,8GAAA,oBAAoB,OAAA;AAC7B,~~0EAAuF~~;~~AAA9E~~,4HAAA,2BAA2B,OAAA;AACpC,~~gDAAuD~~;~~AAA9C~~,kGAAA,WAAW,OAAA;AACpB~~,+CAAuD~~;~~AAA9C~~,iGAAA,WAAW,OAAA;AACpB~~,yDAA+D~~;~~AAAtD~~,2GAAA,eAAe,OAAA;AACxB,~~oEAA+E~~;~~AAAtE~~,sHAAA,uBAAuB,OAAA;AAChC~~,yDAAqE~~;~~AAA5D~~,2GAAA,kBAAkB,OAAA;AAE3B,iDAAiD;AACjD,~~qDAAuC~~;~~AAerC~~,kBAAG;AAdL~~,yDAA2C~~;~~AAezC~~,kBAAG;AAdL,~~oEAAsD~~;~~AAepD~~,gCAAU;AAdZ,~~iEAAmD~~;~~AAejD~~,wBAAM;AAdR,~~gFAAkE~~;~~AAehE~~,4CAAgB;AAdlB,~~4EAA8D~~;~~AAe5D~~,kCAAW;AAdb,~~kEAAoD~~;~~AAelD~~,8BAAS;AAdX,~~kEAAoD~~;~~AAelD~~,8BAAS;AAdX,~~wEAA0D~~;~~AAexD~~,4BAAQ;AAdV,~~wEAA0D~~;~~AAexD~~,oCAAY;AAdd,~~oEAAsD~~;~~AAepD~~,gCAAU;AAdZ~~,yEAA2D~~;~~AAezD~~,sCAAa;AAdf,~~mEAAqD~~;~~AAenD~~,gCAAU;AAGZ,gEAAgE;AAChE,~~mDAA6D~~;~~AAApD~~,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AAExB,~~mDAA6D~~;~~AAApD~~,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AACxB,~~mEAA0F~~;~~AAAjF~~,gHAAA,gBAAgB,OAAA;AAAE,kHAAA,kBAAkB,OAAA"}
1	+ {"version":3,"file":"logic.js","sourceRoot":"","sources":["../../src/namespaces/logic.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,2CAA2C;AAC3C,yDAAsF;AAA/D,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAEhD,4CAA4C;AAC5C,2EAAoG;AAA3F,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,uEAA8E;AAArE,kHAAA,mBAAmB,OAAA;AAC5B,+CAAmD;AAA1C,2FAAA,MAAM,OAAA;AACf,kEAA+E;AAAtE,8GAAA,oBAAoB,OAAA;AAC7B,gFAA6F;AAApF,4HAAA,2BAA2B,OAAA;AACpC,sDAA6D;AAApD,kGAAA,WAAW,OAAA;AACpB,qDAA6D;AAApD,iGAAA,WAAW,OAAA;AACpB,+DAAqE;AAA5D,2GAAA,eAAe,OAAA;AACxB,0EAAqF;AAA5E,sHAAA,uBAAuB,OAAA;AAChC,+DAA2E;AAAlE,2GAAA,kBAAkB,OAAA;AAE3B,iDAAiD;AACjD,2DAA6C;AAe3C,kBAAG;AAdL,+DAAiD;AAe/C,kBAAG;AAdL,0EAA4D;AAe1D,gCAAU;AAdZ,uEAAyD;AAevD,wBAAM;AAdR,sFAAwE;AAetE,4CAAgB;AAdlB,kFAAoE;AAelE,kCAAW;AAdb,wEAA0D;AAexD,8BAAS;AAdX,wEAA0D;AAexD,8BAAS;AAdX,8EAAgE;AAe9D,4BAAQ;AAdV,8EAAgE;AAe9D,oCAAY;AAdd,0EAA4D;AAe1D,gCAAU;AAdZ,+EAAiE;AAe/D,sCAAa;AAdf,yEAA2D;AAezD,gCAAU;AAGZ,gEAAgE;AAChE,yDAAmE;AAA1D,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AAExB,yDAAmE;AAA1D,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AACxB,yEAAgG;AAAvF,gHAAA,gBAAgB,OAAA;AAAE,kHAAA,kBAAkB,OAAA"}

package/dist/namespaces/proof-systems.d.ts CHANGED Viewed

@@ -8,11 +8,11 @@
  *   ProofSystems.folProver.proveFOL(theory);
  *   ProofSystems.proofExchange.signProof(pkg, key);
  */
-import * as folProver from '../fol-prover';
-import * as folProverEquality from '../fol-prover-equality';
-import * as proofExchange from '../proof-exchange';
-import * as proofMinify from '../runtime/proof-minify';
-import * as tableauFramework from '../tableau-framework';
-import * as proofNets from '../proof-nets';
+import * as folProver from '../proof-systems/fol-prover';
+import * as folProverEquality from '../proof-systems/fol-prover-equality';
+import * as proofExchange from '../proof-systems/proof-exchange';
+import * as proofMinify from '../proof-systems/proof-minify';
+import * as tableauFramework from '../proof-systems/tableau-framework';
+import * as proofNets from '../proof-systems/proof-nets';
 export { folProver, folProverEquality, proofExchange, proofMinify, tableauFramework, proofNets, };
 //# sourceMappingURL=proof-systems.d.ts.map

package/dist/namespaces/proof-systems.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"proof-systems.d.ts","sourceRoot":"","sources":["../../src/namespaces/proof-systems.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,SAAS,MAAM,~~eAAe~~,CAAC;~~AAC3C~~,OAAO,KAAK,iBAAiB,MAAM,~~wBAAwB~~,CAAC;~~AAC5D~~,OAAO,KAAK,aAAa,MAAM,~~mBAAmB~~,CAAC;~~AACnD~~,OAAO,KAAK,WAAW,MAAM,~~yBAAyB,~~CAAC;~~AACvD~~,OAAO,KAAK,gBAAgB,MAAM,~~sBAAsB~~,CAAC;~~AACzD~~,OAAO,KAAK,SAAS,MAAM,~~eAAe~~,CAAC;~~AAE3C~~,OAAO,EACL,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,SAAS,GACV,CAAC"}
1	+ {"version":3,"file":"proof-systems.d.ts","sourceRoot":"","sources":["../../src/namespaces/proof-systems.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,SAAS,MAAM,6BAA6B,CAAC;AACzD,OAAO,KAAK,iBAAiB,MAAM,sCAAsC,CAAC;AAC1E,OAAO,KAAK,aAAa,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,WAAW,MAAM,+BAA+B,CAAC;AAC7D,OAAO,KAAK,gBAAgB,MAAM,oCAAoC,CAAC;AACvE,OAAO,KAAK,SAAS,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EACL,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,SAAS,GACV,CAAC"}

package/dist/namespaces/proof-systems.js CHANGED Viewed

@@ -44,16 +44,16 @@ var __importStar = (this && this.__importStar) || (function () {
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.proofNets = exports.tableauFramework = exports.proofMinify = exports.proofExchange = exports.folProverEquality = exports.folProver = void 0;
-const folProver = __importStar(require("../fol-prover"));
+const folProver = __importStar(require("../proof-systems/fol-prover"));
 exports.folProver = folProver;
-const folProverEquality = __importStar(require("../fol-prover-equality"));
+const folProverEquality = __importStar(require("../proof-systems/fol-prover-equality"));
 exports.folProverEquality = folProverEquality;
-const proofExchange = __importStar(require("../proof-exchange"));
+const proofExchange = __importStar(require("../proof-systems/proof-exchange"));
 exports.proofExchange = proofExchange;
-const proofMinify = __importStar(require("../runtime/proof-minify"));
+const proofMinify = __importStar(require("../proof-systems/proof-minify"));
 exports.proofMinify = proofMinify;
-const tableauFramework = __importStar(require("../tableau-framework"));
+const tableauFramework = __importStar(require("../proof-systems/tableau-framework"));
 exports.tableauFramework = tableauFramework;
-const proofNets = __importStar(require("../proof-nets"));
+const proofNets = __importStar(require("../proof-systems/proof-nets"));
 exports.proofNets = proofNets;
 //# sourceMappingURL=proof-systems.js.map

package/dist/namespaces/proof-systems.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"proof-systems.js","sourceRoot":"","sources":["../../src/namespaces/proof-systems.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,~~yDAA2C~~;~~AAQzC~~,8BAAS;AAPX,~~0EAA4D~~;~~AAQ1D~~,8CAAiB;AAPnB~~,iEAAmD~~;~~AAQjD~~,sCAAa;AAPf,~~qEAAuD~~;~~AAQrD~~,kCAAW;AAPb,~~uEAAyD~~;~~AAQvD~~,4CAAgB;AAPlB,~~yDAA2C~~;~~AAQzC~~,8BAAS"}
1	+ {"version":3,"file":"proof-systems.js","sourceRoot":"","sources":["../../src/namespaces/proof-systems.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uEAAyD;AAQvD,8BAAS;AAPX,wFAA0E;AAQxE,8CAAiB;AAPnB,+EAAiE;AAQ/D,sCAAa;AAPf,2EAA6D;AAQ3D,kCAAW;AAPb,qFAAuE;AAQrE,4CAAgB;AAPlB,uEAAyD;AAQvD,8BAAS"}

package/dist/namespaces/reasoning.d.ts CHANGED Viewed

@@ -11,13 +11,13 @@
  *   const ext = Reasoning.argumentation.computeExtensions(af, 'grounded');
  *   const cited = Reasoning.citationReasoning.deriveWithCitations(claims, ev);
  */
-import * as argumentation from '../argumentation';
-import * as beliefRevision from '../belief-revision';
-import * as abduction from '../runtime/abduction';
-import * as markovLogic from '../runtime/markov-logic';
-import * as bayesian from '../runtime/bayesian';
-import * as citationReasoning from '../citation-reasoning';
-import * as hyperreal from '../hyperreal';
+import * as argumentation from '../reasoning/argumentation';
+import * as beliefRevision from '../reasoning/belief-revision';
+import * as abduction from '../reasoning/abduction';
+import * as markovLogic from '../reasoning/markov-logic';
+import * as bayesian from '../reasoning/bayesian';
+import * as citationReasoning from '../reasoning/citation-reasoning';
+import * as hyperreal from '../reasoning/hyperreal';
 import * as antiUnification from '../runtime/anti-unification';
 import * as termRewriting from '../runtime/term-rewriting';
 export { argumentation, beliefRevision, abduction, markovLogic, bayesian, citationReasoning, hyperreal, antiUnification, termRewriting, };

package/dist/namespaces/reasoning.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"reasoning.d.ts","sourceRoot":"","sources":["../../src/namespaces/reasoning.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,aAAa,MAAM,~~kBAAkB~~,CAAC;~~AAClD~~,OAAO,KAAK,cAAc,MAAM,~~oBAAoB~~,CAAC;~~AACrD~~,OAAO,KAAK,SAAS,MAAM,~~sBAAsB~~,CAAC;~~AAClD~~,OAAO,KAAK,WAAW,MAAM,~~yBAAyB~~,CAAC;~~AACvD~~,OAAO,KAAK,QAAQ,MAAM,~~qBAAqB~~,CAAC;~~AAChD~~,OAAO,KAAK,iBAAiB,MAAM,~~uBAAuB~~,CAAC;~~AAC3D~~,OAAO,KAAK,SAAS,MAAM,~~cAAc~~,CAAC;~~AAC1C~~,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,OAAO,EACL,aAAa,EACb,cAAc,EACd,SAAS,EACT,WAAW,EACX,QAAQ,EACR,iBAAiB,EACjB,SAAS,EACT,eAAe,EACf,aAAa,GACd,CAAC;AAGF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACvE,YAAY,EACV,aAAa,EACb,YAAY,IAAI,mBAAmB,EACnC,UAAU,IAAI,iBAAiB,EAC/B,WAAW,IAAI,kBAAkB,GAClC,MAAM,0BAA0B,CAAC"}
1	+ {"version":3,"file":"reasoning.d.ts","sourceRoot":"","sources":["../../src/namespaces/reasoning.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,cAAc,MAAM,8BAA8B,CAAC;AAC/D,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,WAAW,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,KAAK,iBAAiB,MAAM,iCAAiC,CAAC;AACrE,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,aAAa,MAAM,2BAA2B,CAAC;AAE3D,OAAO,EACL,aAAa,EACb,cAAc,EACd,SAAS,EACT,WAAW,EACX,QAAQ,EACR,iBAAiB,EACjB,SAAS,EACT,eAAe,EACf,aAAa,GACd,CAAC;AAGF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACvE,YAAY,EACV,aAAa,EACb,YAAY,IAAI,mBAAmB,EACnC,UAAU,IAAI,iBAAiB,EAC/B,WAAW,IAAI,kBAAkB,GAClC,MAAM,0BAA0B,CAAC"}

package/dist/namespaces/reasoning.js CHANGED Viewed

@@ -47,19 +47,19 @@ var __importStar = (this && this.__importStar) || (function () {
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.tryReuseProof = exports.TheoremCache = exports.termRewriting = exports.antiUnification = exports.hyperreal = exports.citationReasoning = exports.bayesian = exports.markovLogic = exports.abduction = exports.beliefRevision = exports.argumentation = void 0;
-const argumentation = __importStar(require("../argumentation"));
+const argumentation = __importStar(require("../reasoning/argumentation"));
 exports.argumentation = argumentation;
-const beliefRevision = __importStar(require("../belief-revision"));
+const beliefRevision = __importStar(require("../reasoning/belief-revision"));
 exports.beliefRevision = beliefRevision;
-const abduction = __importStar(require("../runtime/abduction"));
+const abduction = __importStar(require("../reasoning/abduction"));
 exports.abduction = abduction;
-const markovLogic = __importStar(require("../runtime/markov-logic"));
+const markovLogic = __importStar(require("../reasoning/markov-logic"));
 exports.markovLogic = markovLogic;
-const bayesian = __importStar(require("../runtime/bayesian"));
+const bayesian = __importStar(require("../reasoning/bayesian"));
 exports.bayesian = bayesian;
-const citationReasoning = __importStar(require("../citation-reasoning"));
+const citationReasoning = __importStar(require("../reasoning/citation-reasoning"));
 exports.citationReasoning = citationReasoning;
-const hyperreal = __importStar(require("../hyperreal"));
+const hyperreal = __importStar(require("../reasoning/hyperreal"));
 exports.hyperreal = hyperreal;
 const antiUnification = __importStar(require("../runtime/anti-unification"));
 exports.antiUnification = antiUnification;

package/dist/namespaces/reasoning.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"reasoning.js","sourceRoot":"","sources":["../../src/namespaces/reasoning.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,~~gEAAkD~~;~~AAWhD~~,sCAAa;AAVf,~~mEAAqD~~;~~AAWnD~~,wCAAc;AAVhB,~~gEAAkD~~;~~AAWhD~~,8BAAS;AAVX,~~qEAAuD~~;~~AAWrD~~,kCAAW;AAVb,~~8DAAgD~~;~~AAW9C~~,4BAAQ;AAVV,~~yEAA2D~~;~~AAWzD~~,8CAAiB;AAVnB,~~wDAA0C~~;~~AAWxC~~,8BAAS;AAVX,6EAA+D;AAW7D,0CAAe;AAVjB,yEAA2D;AAWzD,sCAAa;AAGf,+EAA+E;AAC/E,0DAAuE;AAA9D,6GAAA,YAAY,OAAA;AAAE,8GAAA,aAAa,OAAA"}
1	+ {"version":3,"file":"reasoning.js","sourceRoot":"","sources":["../../src/namespaces/reasoning.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,0EAA4D;AAW1D,sCAAa;AAVf,6EAA+D;AAW7D,wCAAc;AAVhB,kEAAoD;AAWlD,8BAAS;AAVX,uEAAyD;AAWvD,kCAAW;AAVb,gEAAkD;AAWhD,4BAAQ;AAVV,mFAAqE;AAWnE,8CAAiB;AAVnB,kEAAoD;AAWlD,8BAAS;AAVX,6EAA+D;AAW7D,0CAAe;AAVjB,yEAA2D;AAWzD,sCAAa;AAGf,+EAA+E;AAC/E,0DAAuE;AAA9D,6GAAA,YAAY,OAAA;AAAE,8GAAA,aAAa,OAAA"}

package/dist/namespaces/semantics.d.ts CHANGED Viewed

@@ -11,11 +11,11 @@
  *   const state = Semantics.textLayer.createTextLayerState();
  *   const win = Semantics.gameSemantics.winningStrategy(formula);
  */
-import * as textLayerCompiler from '../text-layer/compiler';
-import * as textLayerV2 from '../text-layer/v2';
-import * as gameSemantics from '../game-semantics';
-import * as profileBridge from '../profile-bridge';
-import * as coinduction from '../coinduction';
+import * as textLayerCompiler from '../semantics/text-layer/compiler';
+import * as textLayerV2 from '../semantics/text-layer/v2';
+import * as gameSemantics from '../semantics/game-semantics';
+import * as profileBridge from '../logic/profile-bridge';
+import * as coinduction from '../semantics/coinduction';
 export { textLayerCompiler, textLayerV2, gameSemantics, profileBridge, coinduction, };
 export declare const textLayer: typeof textLayerCompiler;
 //# sourceMappingURL=semantics.d.ts.map

package/dist/namespaces/semantics.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"semantics.d.ts","sourceRoot":"","sources":["../../src/namespaces/semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,iBAAiB,MAAM,~~wBAAwB~~,CAAC;~~AAE5D~~,OAAO,KAAK,WAAW,MAAM,~~kBAAkB~~,CAAC;~~AAEhD~~,OAAO,KAAK,aAAa,MAAM,~~mBAAmB~~,CAAC;~~AACnD~~,OAAO,KAAK,aAAa,MAAM,~~mBAAmB~~,CAAC;~~AACnD~~,OAAO,KAAK,WAAW,MAAM,~~gBAAgB~~,CAAC;~~AAE9C~~,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,aAAa,EACb,WAAW,GACZ,CAAC;AAGF,eAAO,MAAM,SAAS,0BAAoB,CAAC"}
1	+ {"version":3,"file":"semantics.d.ts","sourceRoot":"","sources":["../../src/namespaces/semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,iBAAiB,MAAM,kCAAkC,CAAC;AAEtE,OAAO,KAAK,WAAW,MAAM,4BAA4B,CAAC;AAE1D,OAAO,KAAK,aAAa,MAAM,6BAA6B,CAAC;AAC7D,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AAExD,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,aAAa,EACb,WAAW,GACZ,CAAC;AAGF,eAAO,MAAM,SAAS,0BAAoB,CAAC"}

package/dist/namespaces/semantics.js CHANGED Viewed

@@ -48,16 +48,16 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.textLayer = exports.coinduction = exports.profileBridge = exports.gameSemantics = exports.textLayerV2 = exports.textLayerCompiler = void 0;
 // Text layer v1 — compilador legacy
-const textLayerCompiler = __importStar(require("../text-layer/compiler"));
+const textLayerCompiler = __importStar(require("../semantics/text-layer/compiler"));
 exports.textLayerCompiler = textLayerCompiler;
 // Text layer v2 — grafo de claims con dependencias
-const textLayerV2 = __importStar(require("../text-layer/v2"));
+const textLayerV2 = __importStar(require("../semantics/text-layer/v2"));
 exports.textLayerV2 = textLayerV2;
-const gameSemantics = __importStar(require("../game-semantics"));
+const gameSemantics = __importStar(require("../semantics/game-semantics"));
 exports.gameSemantics = gameSemantics;
-const profileBridge = __importStar(require("../profile-bridge"));
+const profileBridge = __importStar(require("../logic/profile-bridge"));
 exports.profileBridge = profileBridge;
-const coinduction = __importStar(require("../coinduction"));
+const coinduction = __importStar(require("../semantics/coinduction"));
 exports.coinduction = coinduction;
 // Aliases convenientes — text-layer flat para coincidir con flat exports.
 exports.textLayer = textLayerCompiler;

package/dist/namespaces/semantics.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"semantics.js","sourceRoot":"","sources":["../../src/namespaces/semantics.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,oCAAoC;AACpC,~~0EAA4D~~;~~AAS1D~~,8CAAiB;AARnB,mDAAmD;AACnD,~~8DAAgD~~;~~AAQ9C~~,kCAAW;AANb,~~iEAAmD~~;~~AAOjD~~,sCAAa;AANf,~~iEAAmD~~;~~AAOjD~~,sCAAa;AANf,~~4DAA8C~~;~~AAO5C~~,kCAAW;AAGb,0EAA0E;AAC7D,QAAA,SAAS,GAAG,iBAAiB,CAAC"}
1	+ {"version":3,"file":"semantics.js","sourceRoot":"","sources":["../../src/namespaces/semantics.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,oCAAoC;AACpC,oFAAsE;AASpE,8CAAiB;AARnB,mDAAmD;AACnD,wEAA0D;AAQxD,kCAAW;AANb,2EAA6D;AAO3D,sCAAa;AANf,uEAAyD;AAOvD,sCAAa;AANf,sEAAwD;AAOtD,kCAAW;AAGb,0EAA0E;AAC7D,QAAA,SAAS,GAAG,iBAAiB,CAAC"}

package/dist/namespaces/solvers.d.ts CHANGED Viewed

@@ -12,9 +12,9 @@
  */
 import * as cdclV2 from '../solver/cdcl-v2';
 import * as cdclV2Incremental from '../solver/cdcl-v2-incremental';
-import * as csp from '../runtime/csp';
-import * as mus from '../runtime/mus';
-import * as smt from '../runtime/smt';
+import * as csp from '../solver/csp';
+import * as mus from '../solver/mus';
+import * as smt from '../solver/smt';
 import * as parallel from '../runtime/parallel';
 export { cdclV2, cdclV2Incremental, csp, mus, smt, parallel };
 export { solveCDCLv2 } from '../solver/cdcl-v2';

package/dist/namespaces/solvers.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"solvers.d.ts","sourceRoot":"","sources":["../../src/namespaces/solvers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,GAAG,MAAM,~~gBAAgB~~,CAAC;~~AACtC~~,OAAO,KAAK,GAAG,MAAM,~~gBAAgB~~,CAAC;~~AACtC~~,OAAO,KAAK,GAAG,MAAM,~~gBAAgB~~,CAAC;~~AACtC~~,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAG9D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC"}
1	+ {"version":3,"file":"solvers.d.ts","sourceRoot":"","sources":["../../src/namespaces/solvers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAG9D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC"}

package/dist/namespaces/solvers.js CHANGED Viewed

@@ -50,11 +50,11 @@ const cdclV2 = __importStar(require("../solver/cdcl-v2"));
 exports.cdclV2 = cdclV2;
 const cdclV2Incremental = __importStar(require("../solver/cdcl-v2-incremental"));
 exports.cdclV2Incremental = cdclV2Incremental;
-const csp = __importStar(require("../runtime/csp"));
+const csp = __importStar(require("../solver/csp"));
 exports.csp = csp;
-const mus = __importStar(require("../runtime/mus"));
+const mus = __importStar(require("../solver/mus"));
 exports.mus = mus;
-const smt = __importStar(require("../runtime/smt"));
+const smt = __importStar(require("../solver/smt"));
 exports.smt = smt;
 const parallel = __importStar(require("../runtime/parallel"));
 exports.parallel = parallel;

package/dist/namespaces/solvers.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"solvers.js","sourceRoot":"","sources":["../../src/namespaces/solvers.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,0DAA4C;AAOnC,wBAAM;AANf,iFAAmE;AAMlD,8CAAiB;AALlC,~~oDAAsC~~;~~AAKF~~,kBAAG;AAJvC,~~oDAAsC~~;~~AAIG~~,kBAAG;AAH5C,~~oDAAsC~~;~~AAGQ~~,kBAAG;AAFjD,8DAAgD;AAEG,4BAAQ;AAE3D,uEAAuE;AACvE,6CAAgD;AAAvC,sGAAA,WAAW,OAAA;AACpB,qEAAgE;AAAvD,sHAAA,eAAe,OAAA"}
1	+ {"version":3,"file":"solvers.js","sourceRoot":"","sources":["../../src/namespaces/solvers.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,0DAA4C;AAOnC,wBAAM;AANf,iFAAmE;AAMlD,8CAAiB;AALlC,mDAAqC;AAKD,kBAAG;AAJvC,mDAAqC;AAII,kBAAG;AAH5C,mDAAqC;AAGS,kBAAG;AAFjD,8DAAgD;AAEG,4BAAQ;AAE3D,uEAAuE;AACvE,6CAAgD;AAAvC,sGAAA,WAAW,OAAA;AACpB,qEAAgE;AAAvD,sHAAA,eAAe,OAAA"}