@tuprolog/2p-full 2.0.0 → 2.0.1

package/2p-solve.js

@@ -931,7 +931,7 @@
   initMetadataForClass(ExtensionLibrary, 'ExtensionLibrary', VOID, AbstractLibrary);
   initMetadataForClass(LibraryImpl, 'LibraryImpl', VOID, AbstractLibrary);
   initMetadataForCompanion(Companion_37);
-  initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [KtMap, Pluggable]);
+  initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [Pluggable, KtMap]);
   initMetadataForClass(PrimitiveWrapper, 'PrimitiveWrapper', VOID, AbstractWrapper);
   initMetadataForClass(BinaryRelation, 'BinaryRelation', VOID, PrimitiveWrapper);
   initMetadataForClass(NonBacktrackable, 'NonBacktrackable', VOID, BinaryRelation);

package/2p-unify.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/Unificator.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/AbstractUnificator.kt","src/kotlin/util/Lazy.kt","common/src/generated/_Sequences.kt","common/src/generated/_Collections.kt","src/kotlin/collections/Collections.kt","src/kotlin/collections/Maps.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/CachedUnificator.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/Equation.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/UnificationUtils.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["mgu$default","term1","term2","occurCheckEnabled","mgu","match","unify","substitution","merge","substitution1","substitution2","<init>","result","<get-contextEquations>","occurrenceCheck","variable","term","element","equationsFor","applySubstitutionToEquations","equations","exceptIndex","changed","i","request","eqIterator","eq","assignment","it","subEq","newDeque","items","AbstractUnificator$contextEquations$delegate$lambda","AbstractUnificator$contextEquations$delegate$lambda$lambda","AbstractUnificator$checkTermsEquality$ref","p0","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","applySubstitutionToEquations$handleIndex","currentEq","newLhs","newRhs","context","<get-context>","handleResult","handleEquation","equation","quickMerge","decorated","cacheCapacity","mguRequest","cached","mguResult","allOfLists","lhs","rhs","equalityChecker","allOfTuples","Term$equals$ref","Term$equals$ref$lambda","Equation$Companion$from$lambda","Equation$Companion$from$lambda$lambda","Equation$Companion$allOfLists$lambda","Equation$Companion$allOfLists$lambda$lambda","Equation$Companion$allOfTuples$lambda","Equation$Companion$allOfTuples$lambda$lambda","Equation$Companion$allOf$lambda","Equation$Companion$allOf$lambda$lambda","<get-lhs>","<get-rhs>","<get-isIdentity>","asIdentity","clone","<get-isAssignment>","asAssignment","toAssignmentPair","toSubstitution","<get-variable>","<get-term>","<get-isLeftAssignment>","asLeftAssignment","toPair","<get-isRightAssignment>","asRightAssignment","<get-isComparison>","asComparison","<get-isContradiction>","asContradiction","of","lhsStruct","rhsStruct","of$default","pair","from","pairs","from$default","allOf","allOf$default","castToIdentity","castToAssignment","castToLeftAssignment","castToRightAssignment","castToComparison","castToContradiction","clone$default","toContradiction","toTerm","swap","apply","apply$default","toEquations","<this>","item","toSubstitution$lambda","Unificator$Companion$default$delegate$lambda","checkTermsEquality","first","second","<get-default>","mguWith","other","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BA6DIA,CACIC,K,EACAC,K,EACAC,iB,QAHJH,E;qDAGiC,I;;G;cAKjCI,CACIH,K,EACAC,KAFJE,EAGkB;A,IAAuB,OAAvB,SAAI,KAAJ,EAAW,KAAX,EAAkB,IAAlB,C;EAAsB,C;8BAOxCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAO1EA,CACIJ,K,EACAC,KAFJG,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BASrCC,CACIL,K,EACAC,K,EACAC,iBAHJG,EAIS;A,QACLC,eAAmB,SAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;IACnB,OAAW,YAAa,MAAb,GAAuB,IAAvB,GAAiC,qBAAM,YAAN,K;EAChD,C;gBAIAD,CACIL,K,EACAC,KAFJI,EAGW;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;gBAmBnCE,CACIC,a,EACAC,aAFJF,EAGkB;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;;;cC3FxCG,CACVV,K,EACAC,K,EACAC,iBAHUQ,EAAA;A,IACV,kB;IACA,kB;IACA,8B;EAHU,C;sCA/CtB;A,IAAA,4H;EAAA,C;sCAAA;A,QAAAC,8B;IAAA,qD;IAAA,8D;IAAA,a;EAAA,C;yCAAA;A,IAAA,mB;MAAA,W;IAAA,4B;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;gBAsDwBD,CACZF,a,EACAC,a,EACAP,iBAHYQ,EAAA;A,IACZ,0B;IACA,0B;IACA,8B;EAHY,C;wCAtDxB;A,IAAA,4I;EAAA,C;wCAAA;A,QAAAC,6B;IAAA,oD;IAAA,8D;IAAA,a;EAAA,C;2CAAA;A,IAAA,mB;MAAA,W;IAAA,8B;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;wCA8DYC,CAAA,KAAAA,EAA4C;A,eAAA,K,CAAA,K;;;IAAA,gH;IAAA,OCXoC,S;EDWP,C;0BAczEC,CAAA,K,EACJC,Q,EACAC,IAFIF,EAIJ;A;IACI,IAAA,IAAK,KAAL,C;YAAc,UAAmB,QAAnB,EAA6B,IAA7B,C;WACd,IAAA,IAAK,KAAL,C;iBAAiB,IAAK,K;;;;YE40Cd,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IF50CoB,uBAAgB,QAAhB,EE40CV,OF50CU,CE40CpB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YF70CiC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,CAAA,K,EACJjB,K,EACAC,KAFIgB,EAGgB;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAErEA,CAAA,K,EACJT,a,EACAC,aAFIQ,EAIJ;A;gBACK,KAAc,WAAd,aAAc,CAAd,EAA2C,WAAd,aAAc,CAA3C,C;IACJ,OAFQ,iBACqD,WAAI,sCAAJ,CADrD,C;EAET,C;uCAGIC,CAAA,K,EACJZ,Y,EACAa,S,EACAC,WAHIF,EAIG;A,QACPG,eAAc,KAAdA,C;QAcU,qB;IAAV,wBAAkB,WAAlB,C;SAAA;A,YAAKC,IAAK,iB;QAAA,6C;QAAqB,kFAAY,CAAZ,C;;MAA/B,4BAAkB,WAAlB,C;QACW,oCAAc,CAAd,I;QAAiC,OAAV,SAAU,I;IAA5C,0BAAU,IAAV,C;SAAA;A,YAAKA,MAAK,mB;QAAA,iD;QAAwC,kFAAY,GAAZ,C;;MAAlD,8BAAU,IAAV,C;IAEA,OAAO,OAAP,CAAO,E;EACX,C;gBAuBQnB,CAAA,K,EACJoB,O,EACAJ,S,EACAjB,iBAHIC,EAIQ;A,QACZkB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVG,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAe,OAAf,EAAwB,UAAW,IAAnC,C;QAEL,IAAA,EAAG,MAAH,C,CAAsB;A,UAClB,OAAO,gC;QACX,C,MAEA,IAAA,EAAG,MAAH,C,CAAiB;A,UACb,UAAW,K;UACX,UAAU,I;QACd,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,cACfC,aAAiB,EAAG,mB;UAChB,yBAAqB,uBAAgB,UAAW,MAA3B,EAAqC,UAAW,MAAhD,CAArB,C,CAA4E;A,YAC5E,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,OAAV,IACI,oCACI,UAAW,MADf,EAEI,SAFJ,EAGI,UAAW,KAHf,C;UAKR,C;QACJ,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,UACf,UAAW,K;cACA,wCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;0BAAA,qB,EAA8B;A,gBAApCC,KAAM,qB;gBACPC,QAAgB,EAAG,MAAH,IAAsB,EAAG,MAAzB,GAAqC,UAAe,OAAf,EAAwB,EAAxB,CAArC,GAAsE,E;YAIlF,IAAA,KAAM,MAAN,C;cAAoB,gB;iBACpB,IAAA,KAAM,MAAN,C;cAAyB,OAAO,gC;;cACxB,UAAW,IAAI,KAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;sBGgkBY,yB;QAgGA,sBH9pBiB,SG8pBjB,I;WAAA,uB,EAAM;A,UAAjBZ,UAAW,uB;MAAU,IAAU,OH9pBmB,MG8pB7B,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IH9pBjE,OAAO,UAAa,OAAb,EAA2D,eG+pB/D,WH/pB+D,CAA3D,C;EACX,C;mBAiCQa,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QI3HJ,YAAX,yB;IJ2HgD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;8DA9KtCE,C,MAAAA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;OA9DxD,C,EAAA,C;;oDA0FyDC,CAAAC,EAAAD,E;+CAAAE,C,QAAAA,EAAA;A,aAAA,gB;IAAuB,C,EA1FhF,C,EAAA,C;G;iDAiG0EC,CAAA,EAAAA,EAAA;A;IAAa,OKyOvB,SLzOY,EKyOP,KAAL,ELzOY,EKyOF,KAAV,C;ELzOwB,C;mDAWhFC,C,4CAAgBf,CAAhBe,EAAwB;A,IAChB,IAAA,aAAU,CAAV,CAAa,MAAb,IAAgC,aAAU,CAAV,CAAa,MAA7C,C;MAAyD,oB;QAE7DC,YAAgB,aAAU,CAAV,C;QAChB,oBAAuB,SAAU,OAAM,aAAN,CAAoB,S;QAAhDC,+B;QAAQC,+B;IAET,KAAA,SAAU,MAAV,QAAiB,MAAjB,KAA2B,CAAA,SAAU,MAAV,QAAiB,MAAjB,CAA3B,C,CAAoD;A;MACpD,cAAU,CAAV,EAAwB,QAAG,MAAH,EAAW,MAAX,EAAmB,iDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;6BApFyB9B,CACpB+B,OADoB/B,EAAA;A,IAC7B,oB;cA2BoD,I;IAAA,iBAAK,yDAAL,C;EA5BvB,C;4CACpBgC,CAAAA,EAAA;A,IAAA,iB;EAAwB,C;6CAgGlBC,CACXpB,O,EACAZ,MAFWgC,EAGG;A,IAAM,OAAN,M;EAAK,C;6CAQRC,CACXrB,O,EACAsB,QAFWD,EAGD;A,IAAQ,OAAR,Q;EAAO,C;6CA4DZzC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,IACR,IAAA,SAAQ,MAAR,C;MAAkB,OAAO,gC;QAC7BgB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,mBAAa,KAAb,EAAoB,KAApB,CAAhC,CAAT,C;IAChB,OAAO,YAAY,QAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,CAAZ,EAAkD,SAAlD,EAA6D,iBAA7D,C;EACX,C;;;;6CAOSZ,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,IACR,IAAA,SAAQ,MAAR,IAAoB,aAAc,MAAlC,IAA8C,aAAc,MAA5D,C;MAAsE,OAAO,gC;IAC7E,KAAC,iBAAD,C,CAAoB;A,UACpBuC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACb,IAAA,UAAW,MAAX,C,CAAsB;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACA3B,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAY,UAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,CAAZ,EAAoE,SAApE,EAA+E,iBAA/E,C;EACX,C;;;;2BM7MkBT,CAClBqC,S,EACAC,aAFkBtC,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CAWTP,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,QACZ8C,aAAiB,WAAmB,KAAnB,EAA0B,KAA1B,EAAiC,iBAAjC,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,KAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;2CAMS5C,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,QACZ0C,aAAiB,WAA2B,aAA3B,EAA0C,aAA1C,EAAyD,iBAAzD,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,qBAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;qBCkUYC,CAAA,K,EACJC,G,EACAC,G,EACAC,eAHIH,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,eAAQ,qDAAR,C;EAM/B,C;sBAEII,CAAA,K,EACJH,G,EACAC,G,EACAC,eAHIC,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAQZ,OAR8B,eAAQ,sDAAR,C;EAQ/B,C;0BAvG2CC,CAAAA,E;+CAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C,EA/TlE,C,EAAA,C;G;yCA+W8CC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;+CAkCxBC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAKxC,OAHG,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAa,KAAlB,EAAwB,CAAE,aAAa,KAAvC,EAA6C,gBAA7C,CAAX,CAAxB,GACA,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAL,EAAmB,CAAE,aAArB,EAAmC,gBAAnC,CAAX,CAAxB,GACQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;gDAOuCC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAOxC,OALG,CAAE,KAAF,IAAa,CAAE,KAAf,GACI,WACI,yBAAG,CAAE,cAAc,KAAnB,EAAyB,CAAE,cAAc,KAAzC,EAA+C,gBAA/C,CADJ,CADJ,GAIQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;0CA+BuEC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBAhRzFxD,CACN2C,G,EACAC,GAFM5C,EAAA;A,IAAnB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFe,C;mCACNyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAGjBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;mCAENC,CAAAA,EAA6B;A,IAAI,OAAJ,I;EAAG,C;;;;mCAEhCC,CACLlB,G,EACAC,GAFKiB,EAGK;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;8CAjM/C;A,IAAA,6B;EAAA,C;2CAAA;A,IAAA,uF;EAAA,C;2CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;8CAAA;A,IAAA,mB;MAAA,W;IAAA,iC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBAqM6BD,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFqB,C;qCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAWjBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCC,CAAAA,EAA0C;A,IAAoB,OAApB,SAAK,UAAL,EAAe,UAAf,C;EAAmB,C;;;;qCAE7DC,CAAAA,EAAqC;A,IAAoC,OAAvB,gCAAQ,UAAR,EAAkB,UAAlB,C;EAAsB,C;;;;yBAS5DjE,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALL,C;yCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAW,C;yCACXC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;yCAEZQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;yCAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;yCAGlBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;yCAENC,CAAAA,EAAyC;A,IAAI,OAAJ,I;EAAG,C;;;;yCAE5CR,CACLlB,G,EACAC,GAFKiB,EAGW;A,IAAsC,OAAtC,SAAW,GAAI,YAAf,EAAkC,GAAlC,C;EAAqC,C;yCAEhDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;oDAlP9D;A,IAAA,mC;EAAA,C;iDAAA;A,IAAA,6F;EAAA,C;iDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;oDAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;0BAsP8BD,CACb2C,G,EACAC,GAFa5C,EAAA;A,IAA1B,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALJ,C;0CACbyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;0CACZC,CAAAA,EAAA;A,IAAA,iB;EAAW,C;0CAEXQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;0CAGlBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;0CAENC,CAAAA,EAA2C;A,IAAI,OAAJ,I;EAAG,C;;;;0CAE9CX,CACLlB,G,EACAC,GAFKiB,EAGY;A,IAAsC,OAAtC,SAAW,GAAX,EAAsB,GAAI,YAA1B,C;EAAqC,C;0CAEjDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;qDAvQ9D;A,IAAA,oC;EAAA,C;kDAAA;A,IAAA,8F;EAAA,C;kDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;qDAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBA2QyBD,CACR2C,G,EACAC,GAFQ5C,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAGjBe,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCb,CACLlB,G,EACAC,GAFKiB,EAGO;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;gDAvRjD;A,IAAA,+B;EAAA,C;6CAAA;A,IAAA,yF;EAAA,C;6CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;gDAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;wBA2R4BD,CACX2C,G,EACAC,GAFW5C,EAAA;A,IAAxB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFoB,C;wCACXyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAGjBiB,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;wCAENC,CAAAA,EAAuC;A,IAAI,OAAJ,I;EAAG,C;;;;wCAE1Cf,CACLlB,G,EACAC,GAFKiB,EAGU;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;wCAEnCI,CAAAA,EAA0C;A,IAAqB,OAAR,gC;EAAO,C;;;;mDAzS/E;A,IAAA,kC;EAAA,C;gDAAA;A,IAAA,4F;EAAA,C;gDAAA;A,QAAAhE,8B;IAAA,qD;IAAA,a;EAAA,C;mDAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;oBA6SID,CAAAA,EAAA;A,EAAA,C;oCAeI6E,CACIlC,G,EACAC,G,EACAC,eAHJgC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAa,GAAI,KAAjB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;;;WAGR,IAAA,GAAI,KAAJ,C;YAAa,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;WACb,IAAA,GAAI,KAAJ,C;YAAa,oBAAgB,GAAhB,EAAqB,GAAI,YAAzB,C;WACb,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,kBAAc,GAAd,EAAmB,GAAnB,C;;;WAGR,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;YAAoC,kBAAc,GAAd,EAAmB,GAAnB,C;WACpC,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIC,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,MAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,KAAsC,EAAA,SAAU,KAAV,KAAqB,SAAU,KAA/B,CAAtC,C;gBACA,kBAAc,SAAd,EAAyB,SAAzB,C;;gBAEA,eAAW,SAAX,EAAsB,SAAtB,C;;;;YAGA,eAAW,GAAX,EAAgB,GAAhB,C;;IACX,U;EAAD,C;mCAjCJC,CACIrC,G,EACAC,G,EACAC,e,QAHJmC,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACApC,eAFJgC,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,KAAR,EAAe,IAAf,CAAoB,MAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACApC,e,QAFJmC,E;;;YAE+C,iB;;;;;;G;oCAO/CE,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAK,aAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CC,CACIJ,I,EACApC,eAFJwC,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,KAAX,EAAkB,IAAlB,CAAuB,MAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACApC,e,QAFJyC,E;;;YAE+C,iB;;;;;;G;oCAyC/CD,CACI1C,G,EACAC,G,EACAC,eAHJwC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;WAEJ,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,iBAAW,GAAI,aAAf,EAA6B,GAAI,aAAjC,EAA+C,eAA/C,C;WAEJ,IAAA,GAAI,KAAJ,IAAe,GAAI,KAAnB,C;YACI,kBAAY,GAAI,cAAhB,EAA+B,GAAI,cAAnC,EAAkD,eAAlD,C;WAEJ,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIP,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,IAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,IAAsC,SAAU,KAAV,KAAqB,SAAU,KAArE,C;oBACuB,IAAvB,SAAU,KAAa,EAAI,SAAU,KAAd,C;gBAA4B,eAAQ,gDAAR,C;;gBAEnD,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;;;YAIJ,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;IAEP,U;EAAD,C;sCA3BJO,CACI3C,G,EACAC,G,EACAC,e,QAHJyC,E;;;YAG+C,iB;;;;;;G;;;;;mBAtZlCtF,CAEG2C,G,EAEAC,GAJH5C,EAAA;A,IAEjB,gB;IAEA,gB;EAJiB,C;mCAEGyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAM5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAIXC,CAAAA,EAA8B;A,IAAI,OAAJ,I;EAAG,C;8CAItC2B,CAAAA,EACI;A,QAAA,kC;;IAAA,2B;MAAgB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA2D,wBAA3D,C;;YAAtB,c;;IAA8F,U;EAAD,C;mCAK7FzB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CyB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGpB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;gDAIXC,CAAAA,EAA0C;A,IAAI,OAAJ,I;EAAG,C;oDAIlDoB,CAAAA,EACI;A,QAAA,wC;;IAAA,2B;MAAsB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAiE,8BAAjE,C;;YAA5B,c;;IAA0G,U;EAAD,C;mCAKzGlB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;iDAIXC,CAAAA,EAA4C;A,IAAI,OAAJ,I;EAAG,C;qDAIpDkB,CAAAA,EACI;A,QAAA,yC;;IAAA,2B;MAAuB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAkE,+BAAlE,C;;YAA7B,c;;IAA4G,U;EAAD,C;mCAK3GjB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CiB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGhB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;+CAIXC,CAAAA,EAAwC;A,IAAI,OAAJ,I;EAAG,C;mDAIhDgB,CAAAA,EACI;A,QAAA,uC;;IAAA,2B;MAAqB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAgE,6BAAhE,C;;YAA3B,c;;IAAwG,U;EAAD,C;qCAIlGC,CACLlD,G,EACAC,G,QAFKiD,E;yBACO,IAAK,M;yBACL,IAAK,M;;G;+CAKrBC,CAAAA,EAAuC;A,IAAuB,OAAvB,kBAAc,UAAd,EAAmB,UAAnB,C;EAAsB,C;gDAOxD9B,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;WACb,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;8CAOCC,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;WAC1B,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;;MAClB,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;mCAGK8B,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAG,GAAH,EAAQ,aAAK,UAAL,CAAR,C;EAAgB,C;;;;sCAIlDzB,CAAAA,EAAiC;A,IAAc,OAAd,SAAK,UAAL,EAAU,UAAV,C;EAAa,C;oCAInD0B,CAAAA,EAAuB;A,IAAY,OAAZ,wBAAG,UAAH,EAAQ,UAAR,C;EAAW,C;mCASlCC,CACIrG,Y,EACAiD,eAFJoD,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACItG,Y,EACAiD,e,QAFJqD,E;;;YAE+C,iB;;;;;;G;sBC9JnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBLsrDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UKjwDO,WLkwDU,IE/9CkC,K;;UGnSlC,OLkwDA,IEl9CkC,K;UG/SrB,YAA9B,mBAAe,QAAf,EAAyB,IAAzB,C;MLiwDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKhwDlC,OLiwDM,W;EKjwDP,C;yBANJpC,CAAImC,aAAJnC,EAAwD;A;gBAAqB,aAAL,aAAK,C;IAA2C,OAAnD,eAAqB,WAAI,qBAAJ,CAArB,C;EAAkD,C;gCAAzBqC,CAAA,EAAAA,EAAA;A,IAAuB,OAArB,EAAG,mB;EAAmB,C;uDTsI1FC,CAAAA,EAAA;A,IAAU,OAAR,kC;EAAS,C;;;aAAhB,Q;OAtJvB,C,EAAA,C;;uCAqLYvG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;uDACawG,CACLC,K,EACAC,MAFKF,EAGL;A;IACA,IAAA,KAAM,KAAN,IAAmB,MAAO,KAA1B,C;YACI,KAAM,gBAAgB,KAAM,IAAU,MAAO,gBAAgB,KAAjC,CAA5B,KAAuE,C;WAE3E,IAAA,KAAM,KAAN,IAAkB,MAAO,KAAzB,C;YACI,KAAM,gBAAgB,KAAa,IAAU,MAAO,gBAAgB,KAAjC,CAAnC,KAAqF,C;;YAEjF,aAAS,MAAT,C;;IACX,U;EAAD,C;;;;wCAgBJxG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACawG,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;;;;sBAzE9BxG,CAAAA,EAAA;A;cAUmB,I;IAAA,iBAAK,4CAAL,C;IAgGoB,e;EA1GvC,C;sCAUI2G,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OEnGqE,S;EFmGrD,C;0CAKzBC,CAAIR,a,EAAaS,KAAjBD,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEE,CAAIV,a,EAAaS,KAAjBC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIX,a,EAAeS,KAAnBE,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAuBS,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAU/FC,CAAUlF,OAAVkF,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAKJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDASpDC,CAAWnF,OAAXmF,EACI;A,IAKC,OALD,0C;EAKA,C;yCAKJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAgBtD1E,CACIqE,K,EACAM,QAFJ3E,EAII;A;IAAI,sC;YACA,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJ4E,CACIP,K,EACAM,Q,QAFJC,E;mCAEoB,E;;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/Unificator.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/AbstractUnificator.kt","src/kotlin/util/Lazy.kt","common/src/generated/_Sequences.kt","common/src/generated/_Collections.kt","src/kotlin/collections/Collections.kt","src/kotlin/collections/Maps.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/CachedUnificator.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/Equation.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/UnificationUtils.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["mgu$default","term1","term2","occurCheckEnabled","mgu","match","unify","substitution","merge","substitution1","substitution2","<init>","result","<get-contextEquations>","occurrenceCheck","variable","term","element","equationsFor","applySubstitutionToEquations","equations","exceptIndex","changed","i","request","eqIterator","eq","assignment","it","subEq","newDeque","items","AbstractUnificator$contextEquations$delegate$lambda","AbstractUnificator$contextEquations$delegate$lambda$lambda","AbstractUnificator$checkTermsEquality$ref","p0","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","applySubstitutionToEquations$handleIndex","currentEq","newLhs","newRhs","context","<get-context>","handleResult","handleEquation","equation","quickMerge","decorated","cacheCapacity","mguRequest","cached","mguResult","allOfLists","lhs","rhs","equalityChecker","allOfTuples","Term$equals$ref","Term$equals$ref$lambda","Equation$Companion$from$lambda","Equation$Companion$from$lambda$lambda","Equation$Companion$allOfLists$lambda","Equation$Companion$allOfLists$lambda$lambda","Equation$Companion$allOfTuples$lambda","Equation$Companion$allOfTuples$lambda$lambda","Equation$Companion$allOf$lambda","Equation$Companion$allOf$lambda$lambda","<get-lhs>","<get-rhs>","<get-isIdentity>","asIdentity","clone","<get-isAssignment>","asAssignment","toAssignmentPair","toSubstitution","<get-variable>","<get-term>","<get-isLeftAssignment>","asLeftAssignment","toPair","<get-isRightAssignment>","asRightAssignment","<get-isComparison>","asComparison","<get-isContradiction>","asContradiction","of","lhsStruct","rhsStruct","of$default","pair","from","pairs","from$default","allOf","allOf$default","castToIdentity","castToAssignment","castToLeftAssignment","castToRightAssignment","castToComparison","castToContradiction","clone$default","toContradiction","toTerm","swap","apply","apply$default","toEquations","<this>","item","toSubstitution$lambda","Unificator$Companion$default$delegate$lambda","checkTermsEquality","first","second","<get-default>","mguWith","other","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BA6DIA,CACIC,K,EACAC,K,EACAC,iB,QAHJH,E;qDAGiC,I;;G;cAKjCI,CACIH,K,EACAC,KAFJE,EAGkB;A,IAAuB,OAAvB,SAAI,KAAJ,EAAW,KAAX,EAAkB,IAAlB,C;EAAsB,C;8BAOxCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAO1EA,CACIJ,K,EACAC,KAFJG,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BASrCC,CACIL,K,EACAC,K,EACAC,iBAHJG,EAIS;A,QACLC,eAAmB,SAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;IACnB,OAAW,YAAa,MAAb,GAAuB,IAAvB,GAAiC,qBAAM,YAAN,K;EAChD,C;gBAIAD,CACIL,K,EACAC,KAFJI,EAGW;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;gBAmBnCE,CACIC,a,EACAC,aAFJF,EAGkB;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;;;cC3FxCG,CACVV,K,EACAC,K,EACAC,iBAHUQ,EAAA;A,IACV,kB;IACA,kB;IACA,8B;EAHU,C;sCA/CtB;A,IAAA,4H;EAAA,C;sCAAA;A,QAAAC,8B;IAAA,qD;IAAA,8D;IAAA,a;EAAA,C;yCAAA;A,IAAA,mB;MAAA,W;IAAA,4B;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;gBAsDwBD,CACZF,a,EACAC,a,EACAP,iBAHYQ,EAAA;A,IACZ,0B;IACA,0B;IACA,8B;EAHY,C;wCAtDxB;A,IAAA,4I;EAAA,C;wCAAA;A,QAAAC,6B;IAAA,oD;IAAA,8D;IAAA,a;EAAA,C;2CAAA;A,IAAA,mB;MAAA,W;IAAA,8B;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;wCA8DYC,CAAA,KAAAA,EAA4C;A,eAAA,K,CAAA,K;;;IAAA,gH;IAAA,OCXoC,S;EDWP,C;0BAczEC,CAAA,K,EACJC,Q,EACAC,IAFIF,EAIJ;A;IACI,IAAA,IAAK,KAAL,C;YAAc,UAAmB,QAAnB,EAA6B,IAA7B,C;WACd,IAAA,IAAK,KAAL,C;iBAAiB,IAAK,K;;;;YE40Cd,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IF50CoB,uBAAgB,QAAhB,EE40CV,OF50CU,CE40CpB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YF70CiC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,CAAA,K,EACJjB,K,EACAC,KAFIgB,EAGgB;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAErEA,CAAA,K,EACJT,a,EACAC,aAFIQ,EAIJ;A;gBACK,KAAc,WAAd,aAAc,CAAd,EAA2C,WAAd,aAAc,CAA3C,C;IACJ,OAFQ,iBACqD,WAAI,sCAAJ,CADrD,C;EAET,C;uCAGIC,CAAA,K,EACJZ,Y,EACAa,S,EACAC,WAHIF,EAIG;A,QACPG,eAAc,KAAdA,C;QAcU,qB;IAAV,wBAAkB,WAAlB,C;SAAA;A,YAAKC,IAAK,iB;QAAA,6C;QAAqB,kFAAY,CAAZ,C;;MAA/B,4BAAkB,WAAlB,C;QACW,oCAAc,CAAd,I;QAAiC,OAAV,SAAU,I;IAA5C,0BAAU,IAAV,C;SAAA;A,YAAKA,MAAK,mB;QAAA,iD;QAAwC,kFAAY,GAAZ,C;;MAAlD,8BAAU,IAAV,C;IAEA,OAAO,OAAP,CAAO,E;EACX,C;gBAuBQnB,CAAA,K,EACJoB,O,EACAJ,S,EACAjB,iBAHIC,EAIQ;A,QACZkB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVG,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAe,OAAf,EAAwB,UAAW,IAAnC,C;QAEL,IAAA,EAAG,MAAH,C,CAAsB;A,UAClB,OAAO,gC;QACX,C,MAEA,IAAA,EAAG,MAAH,C,CAAiB;A,UACb,UAAW,K;UACX,UAAU,I;QACd,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,cACfC,aAAiB,EAAG,mB;UAChB,yBAAqB,uBAAgB,UAAW,MAA3B,EAAqC,UAAW,MAAhD,CAArB,C,CAA4E;A,YAC5E,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,OAAV,IACI,oCACI,UAAW,MADf,EAEI,SAFJ,EAGI,UAAW,KAHf,C;UAKR,C;QACJ,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,UACf,UAAW,K;cACA,wCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;0BAAA,qB,EAA8B;A,gBAApCC,KAAM,qB;gBACPC,QAAgB,EAAG,MAAH,IAAsB,EAAG,MAAzB,GAAqC,UAAe,OAAf,EAAwB,EAAxB,CAArC,GAAsE,E;YAIlF,IAAA,KAAM,MAAN,C;cAAoB,gB;iBACpB,IAAA,KAAM,MAAN,C;cAAyB,OAAO,gC;;cACxB,UAAW,IAAI,KAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;sBGgkBY,yB;QAgGA,sBH9pBiB,SG8pBjB,I;WAAA,uB,EAAM;A,UAAjBZ,UAAW,uB;MAAU,IAAU,OH9pBmB,MG8pB7B,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IH9pBjE,OAAO,UAAa,OAAb,EAA2D,eG+pB/D,WH/pB+D,CAA3D,C;EACX,C;mBAiCQa,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QI3HJ,YAAX,yB;IJ2HgD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;8DA9KtCE,C,MAAAA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;OA9DxD,C,EAAA,C;;oDA0FyDC,CAAAC,EAAAD,E;+CAAAE,C,QAAAA,EAAA;A,aAAA,gB;IAAuB,C,EA1FhF,C,EAAA,C;G;iDAiG0EC,CAAA,EAAAA,EAAA;A;IAAa,OKyOvB,SLzOY,EKyOP,KAAL,ELzOY,EKyOF,KAAV,C;ELzOwB,C;mDAWhFC,C,4CAAgBf,CAAhBe,EAAwB;A,IAChB,IAAA,aAAU,CAAV,CAAa,MAAb,IAAgC,aAAU,CAAV,CAAa,MAA7C,C;MAAyD,oB;QAE7DC,YAAgB,aAAU,CAAV,C;QAChB,oBAAuB,SAAU,OAAM,aAAN,CAAoB,S;QAAhDC,+B;QAAQC,+B;IAET,KAAA,SAAU,MAAV,QAAiB,MAAjB,KAA2B,CAAA,SAAU,MAAV,QAAiB,MAAjB,CAA3B,C,CAAoD;A;MACpD,cAAU,CAAV,EAAwB,QAAG,MAAH,EAAW,MAAX,EAAmB,iDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;6BApFyB9B,CACpB+B,OADoB/B,EAAA;A,IAC7B,oB;cA2BoD,I;IAAA,iBAAK,yDAAL,C;EA5BvB,C;4CACpBgC,CAAAA,EAAA;A,IAAA,iB;EAAwB,C;6CAgGlBC,CACXpB,O,EACAZ,MAFWgC,EAGG;A,IAAM,OAAN,M;EAAK,C;6CAQRC,CACXrB,O,EACAsB,QAFWD,EAGD;A,IAAQ,OAAR,Q;EAAO,C;6CA4DZzC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,IACR,IAAA,SAAQ,MAAR,C;MAAkB,OAAO,gC;QAC7BgB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,mBAAa,KAAb,EAAoB,KAApB,CAAhC,CAAT,C;IAChB,OAAO,YAAY,QAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,CAAZ,EAAkD,SAAlD,EAA6D,iBAA7D,C;EACX,C;;;;6CAOSZ,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,IACR,IAAA,SAAQ,MAAR,IAAoB,aAAc,MAAlC,IAA8C,aAAc,MAA5D,C;MAAsE,OAAO,gC;IAC7E,KAAC,iBAAD,C,CAAoB;A,UACpBuC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACb,IAAA,UAAW,MAAX,C,CAAsB;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACA3B,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAY,UAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,CAAZ,EAAoE,SAApE,EAA+E,iBAA/E,C;EACX,C;;;;2BM5MkBT,CAClBqC,S,EACAC,aAFkBtC,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CAWTP,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,QACZ8C,aAAiB,WAAmB,KAAnB,EAA0B,KAA1B,EAAiC,iBAAjC,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,KAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;2CAMS5C,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,QACZ0C,aAAiB,WAA2B,aAA3B,EAA0C,aAA1C,EAAyD,iBAAzD,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,qBAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;qBCiUYC,CAAA,K,EACJC,G,EACAC,G,EACAC,eAHIH,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,eAAQ,qDAAR,C;EAM/B,C;sBAEII,CAAA,K,EACJH,G,EACAC,G,EACAC,eAHIC,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAQZ,OAR8B,eAAQ,sDAAR,C;EAQ/B,C;0BAvG2CC,CAAAA,E;+CAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C,EA/TlE,C,EAAA,C;G;yCA+W8CC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;+CAkCxBC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAKxC,OAHG,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAa,KAAlB,EAAwB,CAAE,aAAa,KAAvC,EAA6C,gBAA7C,CAAX,CAAxB,GACA,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAL,EAAmB,CAAE,aAArB,EAAmC,gBAAnC,CAAX,CAAxB,GACQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;gDAOuCC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAOxC,OALG,CAAE,KAAF,IAAa,CAAE,KAAf,GACI,WACI,yBAAG,CAAE,cAAc,KAAnB,EAAyB,CAAE,cAAc,KAAzC,EAA+C,gBAA/C,CADJ,CADJ,GAIQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;0CA+BuEC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBAhRzFxD,CACN2C,G,EACAC,GAFM5C,EAAA;A,IAAnB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFe,C;mCACNyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAGjBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;mCAENC,CAAAA,EAA6B;A,IAAI,OAAJ,I;EAAG,C;;;;mCAEhCC,CACLlB,G,EACAC,GAFKiB,EAGK;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;8CAjM/C;A,IAAA,6B;EAAA,C;2CAAA;A,IAAA,uF;EAAA,C;2CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;8CAAA;A,IAAA,mB;MAAA,W;IAAA,iC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBAqM6BD,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFqB,C;qCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAWjBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCC,CAAAA,EAA0C;A,IAAoB,OAApB,SAAK,UAAL,EAAe,UAAf,C;EAAmB,C;;;;qCAE7DC,CAAAA,EAAqC;A,IAAoC,OAAvB,gCAAQ,UAAR,EAAkB,UAAlB,C;EAAsB,C;;;;yBAS5DjE,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALL,C;yCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAW,C;yCACXC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;yCAEZQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;yCAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;yCAGlBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;yCAENC,CAAAA,EAAyC;A,IAAI,OAAJ,I;EAAG,C;;;;yCAE5CR,CACLlB,G,EACAC,GAFKiB,EAGW;A,IAAsC,OAAtC,SAAW,GAAI,YAAf,EAAkC,GAAlC,C;EAAqC,C;yCAEhDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;oDAlP9D;A,IAAA,mC;EAAA,C;iDAAA;A,IAAA,6F;EAAA,C;iDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;oDAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;0BAsP8BD,CACb2C,G,EACAC,GAFa5C,EAAA;A,IAA1B,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALJ,C;0CACbyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;0CACZC,CAAAA,EAAA;A,IAAA,iB;EAAW,C;0CAEXQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;0CAGlBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;0CAENC,CAAAA,EAA2C;A,IAAI,OAAJ,I;EAAG,C;;;;0CAE9CX,CACLlB,G,EACAC,GAFKiB,EAGY;A,IAAsC,OAAtC,SAAW,GAAX,EAAsB,GAAI,YAA1B,C;EAAqC,C;0CAEjDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;qDAvQ9D;A,IAAA,oC;EAAA,C;kDAAA;A,IAAA,8F;EAAA,C;kDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;qDAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBA2QyBD,CACR2C,G,EACAC,GAFQ5C,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAGjBe,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCb,CACLlB,G,EACAC,GAFKiB,EAGO;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;gDAvRjD;A,IAAA,+B;EAAA,C;6CAAA;A,IAAA,yF;EAAA,C;6CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;gDAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;wBA2R4BD,CACX2C,G,EACAC,GAFW5C,EAAA;A,IAAxB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFoB,C;wCACXyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAGjBiB,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;wCAENC,CAAAA,EAAuC;A,IAAI,OAAJ,I;EAAG,C;;;;wCAE1Cf,CACLlB,G,EACAC,GAFKiB,EAGU;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;wCAEnCI,CAAAA,EAA0C;A,IAAqB,OAAR,gC;EAAO,C;;;;mDAzS/E;A,IAAA,kC;EAAA,C;gDAAA;A,IAAA,4F;EAAA,C;gDAAA;A,QAAAhE,8B;IAAA,qD;IAAA,a;EAAA,C;mDAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;oBA6SID,CAAAA,EAAA;A,EAAA,C;oCAeI6E,CACIlC,G,EACAC,G,EACAC,eAHJgC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAa,GAAI,KAAjB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;;;WAGR,IAAA,GAAI,KAAJ,C;YAAa,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;WACb,IAAA,GAAI,KAAJ,C;YAAa,oBAAgB,GAAhB,EAAqB,GAAI,YAAzB,C;WACb,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,kBAAc,GAAd,EAAmB,GAAnB,C;;;WAGR,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;YAAoC,kBAAc,GAAd,EAAmB,GAAnB,C;WACpC,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIC,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,MAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,KAAsC,EAAA,SAAU,KAAV,KAAqB,SAAU,KAA/B,CAAtC,C;gBACA,kBAAc,SAAd,EAAyB,SAAzB,C;;gBAEA,eAAW,SAAX,EAAsB,SAAtB,C;;;;YAGA,eAAW,GAAX,EAAgB,GAAhB,C;;IACX,U;EAAD,C;mCAjCJC,CACIrC,G,EACAC,G,EACAC,e,QAHJmC,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACApC,eAFJgC,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,KAAR,EAAe,IAAf,CAAoB,MAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACApC,e,QAFJmC,E;;;YAE+C,iB;;;;;;G;oCAO/CE,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAK,aAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CC,CACIJ,I,EACApC,eAFJwC,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,KAAX,EAAkB,IAAlB,CAAuB,MAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACApC,e,QAFJyC,E;;;YAE+C,iB;;;;;;G;oCAyC/CD,CACI1C,G,EACAC,G,EACAC,eAHJwC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;WAEJ,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,iBAAW,GAAI,aAAf,EAA6B,GAAI,aAAjC,EAA+C,eAA/C,C;WAEJ,IAAA,GAAI,KAAJ,IAAe,GAAI,KAAnB,C;YACI,kBAAY,GAAI,cAAhB,EAA+B,GAAI,cAAnC,EAAkD,eAAlD,C;WAEJ,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIP,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,IAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,IAAsC,SAAU,KAAV,KAAqB,SAAU,KAArE,C;oBACuB,IAAvB,SAAU,KAAa,EAAI,SAAU,KAAd,C;gBAA4B,eAAQ,gDAAR,C;;gBAEnD,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;;;YAIJ,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;IAEP,U;EAAD,C;sCA3BJO,CACI3C,G,EACAC,G,EACAC,e,QAHJyC,E;;;YAG+C,iB;;;;;;G;;;;;mBAtZlCtF,CAEG2C,G,EAEAC,GAJH5C,EAAA;A,IAEjB,gB;IAEA,gB;EAJiB,C;mCAEGyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAM5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAIXC,CAAAA,EAA8B;A,IAAI,OAAJ,I;EAAG,C;8CAItC2B,CAAAA,EACI;A,QAAA,kC;;IAAA,2B;MAAgB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA2D,wBAA3D,C;;YAAtB,c;;IAA8F,U;EAAD,C;mCAK7FzB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CyB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGpB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;gDAIXC,CAAAA,EAA0C;A,IAAI,OAAJ,I;EAAG,C;oDAIlDoB,CAAAA,EACI;A,QAAA,wC;;IAAA,2B;MAAsB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAiE,8BAAjE,C;;YAA5B,c;;IAA0G,U;EAAD,C;mCAKzGlB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;iDAIXC,CAAAA,EAA4C;A,IAAI,OAAJ,I;EAAG,C;qDAIpDkB,CAAAA,EACI;A,QAAA,yC;;IAAA,2B;MAAuB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAkE,+BAAlE,C;;YAA7B,c;;IAA4G,U;EAAD,C;mCAK3GjB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CiB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGhB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;+CAIXC,CAAAA,EAAwC;A,IAAI,OAAJ,I;EAAG,C;mDAIhDgB,CAAAA,EACI;A,QAAA,uC;;IAAA,2B;MAAqB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAgE,6BAAhE,C;;YAA3B,c;;IAAwG,U;EAAD,C;qCAIlGC,CACLlD,G,EACAC,G,QAFKiD,E;yBACO,IAAK,M;yBACL,IAAK,M;;G;+CAKrBC,CAAAA,EAAuC;A,IAAuB,OAAvB,kBAAc,UAAd,EAAmB,UAAnB,C;EAAsB,C;gDAOxD9B,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;WACb,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;8CAOCC,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;WAC1B,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;;MAClB,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;mCAGK8B,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAG,GAAH,EAAQ,aAAK,UAAL,CAAR,C;EAAgB,C;;;;sCAIlDzB,CAAAA,EAAiC;A,IAAc,OAAd,SAAK,UAAL,EAAU,UAAV,C;EAAa,C;oCAInD0B,CAAAA,EAAuB;A,IAAY,OAAZ,wBAAG,UAAH,EAAQ,UAAR,C;EAAW,C;mCASlCC,CACIrG,Y,EACAiD,eAFJoD,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACItG,Y,EACAiD,e,QAFJqD,E;;;YAE+C,iB;;;;;;G;sBC9JnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBLsrDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UKjwDO,WLkwDU,IE/9CkC,K;;UGnSlC,OLkwDA,IEl9CkC,K;UG/SrB,YAA9B,mBAAe,QAAf,EAAyB,IAAzB,C;MLiwDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKhwDlC,OLiwDM,W;EKjwDP,C;yBANJpC,CAAImC,aAAJnC,EAAwD;A;gBAAqB,aAAL,aAAK,C;IAA2C,OAAnD,eAAqB,WAAI,qBAAJ,CAArB,C;EAAkD,C;gCAAzBqC,CAAA,EAAAA,EAAA;A,IAAuB,OAArB,EAAG,mB;EAAmB,C;uDTsI1FC,CAAAA,EAAA;A,IAAU,OAAR,kC;EAAS,C;;;aAAhB,Q;OAtJvB,C,EAAA,C;;uCAqLYvG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;uDACawG,CACLC,K,EACAC,MAFKF,EAGL;A;IACA,IAAA,KAAM,KAAN,IAAmB,MAAO,KAA1B,C;YACI,KAAM,gBAAgB,KAAM,IAAU,MAAO,gBAAgB,KAAjC,CAA5B,KAAuE,C;WAE3E,IAAA,KAAM,KAAN,IAAkB,MAAO,KAAzB,C;YACI,KAAM,gBAAgB,KAAa,IAAU,MAAO,gBAAgB,KAAjC,CAAnC,KAAqF,C;;YAEjF,aAAS,MAAT,C;;IACX,U;EAAD,C;;;;wCAgBJxG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACawG,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;;;;sBAzE9BxG,CAAAA,EAAA;A;cAUmB,I;IAAA,iBAAK,4CAAL,C;IAgGoB,e;EA1GvC,C;sCAUI2G,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OEnGqE,S;EFmGrD,C;0CAKzBC,CAAIR,a,EAAaS,KAAjBD,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEE,CAAIV,a,EAAaS,KAAjBC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIX,a,EAAeS,KAAnBE,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAuBS,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAU/FC,CAAUlF,OAAVkF,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAKJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDASpDC,CAAWnF,OAAXmF,EACI;A,IAKC,OALD,0C;EAKA,C;yCAKJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAgBtD1E,CACIqE,K,EACAM,QAFJ3E,EAII;A;IAAI,sC;YACA,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJ4E,CACIP,K,EACAM,Q,QAFJC,E;mCAEoB,E;;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/README.md

@@ -51,35 +51,40 @@ by featuring:
 aimed at bridging the logic programming with the Kotlin object-oriented \& functional environment,
   - further details are provided in [this paper](http://ceur-ws.org/Vol-2706/paper14.pdf)
 
-* two parsing modules: one aimed at parsing terms, namely `parser-core`, and the other aimed at parsing theories, 
-namely `parser-theory`,
+* three parsing modules: `parser-impl`, providing the actual (hand-written, ANTLR-free) lexer/parser, and two 
+thin public-facing wrappers around it — `parser-core`, aimed at parsing single terms/clauses, and `parser-theory`, 
+aimed at parsing whole theories (with `op/3` operator-table support),
 
 * two serialisation-related modules: one aimed at (de)serialising terms and clauses, namely `serialize-core`, and the 
 other aimed at  (de)serialising terms theories, namely `serialize-theory`,
 
 * a module for using Prolog via a command-line interface, namely `repl`,
 
-* a module for using Prolog via a graphical user interface (GUI), namely `ide`,
+* a toolkit-neutral GUI model shared by every Prolog-editing frontend, namely `gui`, coming with a probabilistic-logic
+  (PLP) extension, namely `gui-plp`,
 
-* a module for using PLP (and, in particular, ProbLob) via a GUI, namely `ide-plp`.
+* a desktop, Swing-based IDE/GUI for editing and running Prolog theories, namely `ide-swing`, coming with a
+  PLP-specific extension for inspecting ProbLog explanations, namely `ide-plp-swing`,
+
+* a browser-based IDE requiring no installation, namely `ide-web`, built on the very same `gui` model as `ide-swing`.
     
 The modular, unopinionated architecture of 2P-Kt is deliberately aimed at supporting and encouraging extensions towards 
 other sorts of symbolic AI systems than Prolog---such as ASP, tabled-Prolog, concurrent LP, etc.
 
 Furthermore, 2P-Kt is developed as in _pure_, __multi-platform__ Kotlin project. 
 This brings two immediate advantages:
-1. it virtually supports several platforms, there including JVM, JS, Android, and Native (even if, currently, only JVM, 
-JS and Android are supported),
+1. it virtually supports several platforms, there including JVM, JS, Android, and Native (even if, currently, only JVM 
+and JS are supported),
 2. it consists of a very minimal and lightweight library, only leveraging on the Kotlin _common_ library, as it cannot 
 commit to any particular platform standard library.
 
 ## Users
-2P-Kt can either be used as a command-line program or as a Kotlin, JVM, Android, or JS library.
+2P-Kt can either be used as a command-line program or as a Kotlin, JVM, or JS library.
 
 The 2P-Kt executables are currently available for download on the [Releases section](https://github.com/tuProlog/2p-kt/releases) of the
 GitHub repository.
 
-The 2P-Kt modules for JVM, Android, or Kotlin users are currently available for import 
+The 2P-Kt modules for JVM or Kotlin users are currently available for import 
 on [Maven Central](https://search.maven.org/search?q=g:it.unibo.tuprolog), under the `it.unibo.tuprolog` group ID (not 
 to be confused with the `it.unibo.alice.tuprolog`, which contains the old Java-based implementation).
 The same modules are available through an _ad-hoc_ [Maven repository](https://github.com/orgs/tuProlog/packages?repo_name=2p-kt) as well, 
@@ -91,32 +96,27 @@ The 2P-Kt modules for JS users, are available for import on NPM, under the [`@tu
 
 #### Graphical User Interface
 
-If you need a GUI for your Prolog interpreter, you can rely on the 2P-Kt IDE which is available on the [Releases section of the 
-GitHub repository](https://github.com/tuProlog/2p-kt/releases). 
+If you need a GUI for your Prolog interpreter, 2P-Kt ships two IDE flavors, both available on the [Releases section 
+of the GitHub repository](https://github.com/tuProlog/2p-kt/releases): a desktop application (Swing-based, `ide-swing`) 
+and a browser-based one requiring no installation (`ide-web`). Both are built on the very same, toolkit-neutral `gui` 
+model, so they offer the same core editing/solving experience.
+
+##### Desktop IDE
 
 The page of the [latest release](https://github.com/tuProlog/2p-kt/releases/latest) of 2P-Kt exposes a number of _Assets_.
 There, the one named:
 ```
-2p-ide-VERSION-redist.jar
+2p-ide-swing-VERSION-redist.jar
 ```
 is the self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`VERSION` may vary depending on the
 actual release version).
 
-Platform-specific variants of that Jar are published as well:
-```
-2p-ide-VERSION-redist-win.jar
-2p-ide-VERSION-redist-linux.jar
-2p-ide-VERSION-redist-mac.jar
-2p-ide-VERSION-redist-mac-aarch64.jar
-```
-Users of macOS on Apple Silicon must rely on the `mac-aarch64` variant.
-The all-in-one `2p-ide-VERSION-redist.jar` cannot carry the native libraries of both macOS architectures, as they share
-the very same file names, hence it ships the Intel ones: running it on an ARM JVM fails with an `UnsatisfiedLinkError`
-reporting an incompatible architecture.
+A ProbLog-specific build, bundling the `ide-plp-swing` extension described above (explanations rendered as BDD 
+diagrams), is published the same way, under matching `2p-ide-plp-swing-VERSION-redist*.jar` asset names.
 
 After you download the Jar, you can simply launch it by running:
 ```bash
-java -jar 2p-ide-VERSION-redist.jar
+java -jar 2p-ide-swing-VERSION-redist.jar
 ```
 However, if you have properly configured the JVM on your system, it may be sufficient to just double-click on the 
 aforementioned JAR to start the IDE.
@@ -141,7 +141,7 @@ Avoid this option in case of your query is expected to compute an unlimited amou
 To perform a novel query, they user may either:
 - write the new query in the query text field, and then press <kbd>Enter</kbd>, or
 - click on the <kbd>Stop</kbd> button, write the new query in the query text field, and then press the <kbd>Solve</kbd> 
-  (resp. <kbd>SolveNext</kbd>) button again.
+  (resp. <kbd>Next</kbd>) button again.
   
 The <kbd>Reset</kbd> button cleans up the status of the solver, clearing any side effect possibly provoked by previous
 queries (including assertions, retractions, prints, warnings, loading of libraries, operators, or flags).
@@ -153,6 +153,8 @@ There,
 - the _Stdout_ tab is aimed at showing the Prolog interpreter's standard output stream;
 - the _Stderr_ tab is aimed at showing the Prolog interpreter's standard error stream;
 - the _Warnings_ tab is aimed at showing any warning possibly generated by the Prolog interpreter while computing;
+- the _Diagnostics_ tab lists syntax errors/warnings found in the currently edited theory, each with a one-based 
+  line/column location matching the same underlining and tooltip shown directly in the editor;
 - the _Operators_ tab is aimed at showing the current content Prolog interpreter's operator table;
 - the _Flags_ tab is aimed showing the actual values of all the flags currently defined with the Prolog interpreter;
 - the _Libraries_ tab is aimed at letting the user inspect the currently loaded libraries and the predicates, operators, and functions they import;
@@ -160,7 +162,31 @@ There,
 
 Any of these tabs may be automatically updated after a solution to some query is computed. 
 Whenever something changes w.r.t. the previous content of the tab, an asterisk will appear close to the tab name, to notify an update in that tab.
-  
+
+Finally, the status bar at the bottom of the window shows the caret's current line/column (one-based, like every 
+other location shown by the IDE), next to the current resolution status.
+
+##### Web IDE
+
+If you would rather not install anything, the same editing/solving experience is available straight from a browser.
+
+Up-to-date Web IDE is available at <https://tuprolog.github.io/2p-kt/web-ide/>
+
+If you want to deploy the Web IDE yourself, 
+the page of the [latest release](https://github.com/tuProlog/2p-kt/releases/latest) of 2P-Kt exposes, among its 
+_Assets_, one named:
+```
+ide-web-VERSION.zip
+```
+Unzip it, then serve the resulting folder with any local static file server (its own end-to-end tests do the same) 
+and open `index.html` in a modern browser. Editing, syntax highlighting, diagnostics, and query solving all work the 
+same way as in the desktop IDE. 
+
+One notable difference among Web and Swing IDEs is how pages are stored: <kbd>New</kbd>/<kbd>Open...</kbd>/
+<kbd>Save</kbd>/<kbd>Save as...</kbd> manage pages persisted in the browser's own local storage (so they survive a 
+reload but do not touch the file system), while <kbd>Upload...</kbd>/<kbd>Download</kbd> are the ones that read/write 
+an actual theory file on disk.
+
 #### Command Line Interface
 
 If you just need a command-line Prolog interpreter, you can rely on the 2P-Kt REPL which is available on the [Releases section of the 
@@ -197,16 +223,16 @@ java -jar 2p-repl-VERSION-redist.jar --help
 ```
 This should display a message similar to the following one:
 ```
-Usage: java -jar 2p-repl.jar [OPTIONS] COMMAND [ARGS]...
+Usage: java -jar 2p-repl.jar [<options>] <command> [<args>]...
 
   Start a Prolog Read-Eval-Print loop
 
 Options:
-  -T, --theory TEXT  Path of theory file to be loaded
-  -t, --timeout INT  Maximum amount of time for computing a solution (default:
-                     1000 ms)
-  --oop              Loads the OOP library
-  -h, --help         Show this message and exit
+  -T, --theory=<text>  Path of theory file to be loaded
+  -t, --timeout=<int>  Maximum amount of time for computing a solution
+                       (default: 1000 ms)
+  --oop                Loads the OOP library
+  -h, --help           Show this message and exit
 
 Commands:
   solve  Compute a particular query and then terminate
@@ -253,7 +279,7 @@ you simply need to declare the corresponding dependency in your `pom.xml` file:
  ```xml
 <dependency>
     <groupId>it.unibo.tuprolog</groupId>
-    <artifactId>2P_MODULE</artifactId>
+    <artifactId>2P_MODULE-jvm</artifactId>
     <version>2P_VERSION</version>
 </dependency>
  ``` 
@@ -286,24 +312,31 @@ Remember to add the `-jvm` suffix to `2P_MODULE` in case your project only targe
 ### NPM users (JavaScript-only projects)
 
 The 2P-Kt software is available as a JavaScript library as well, on NPM, under the  [`@tuprolog` organization](https://www.npmjs.com/org/tuprolog).
-To import the `2P_MODULE` into your `package.json`, it is sufficient to declare your dependency as follows:
+Because of how the Kotlin-to-JS compiler works,
+there's no sense in importing one module selectively.
+So if you want to use 2P-Kt in JavaScript, better would be for you to use the `@tuprolog/2p-full` project as a
+dependency (note the `2p-` prefix: every 2P-Kt npm package is published as `@tuprolog/2p-<module>`, not bare
+`@tuprolog/<module>`).
+To import the `@tuprolog/2p-full` module into your `package.json`, it is sufficient to declare your dependency as follows:
 ```json
 {
   "dependencies": {
-    "@tuprolog/2P_MODULE": "^2P_MODULE_VERSION"
+    "@tuprolog/2p-full": "^2P_MODULE_VERSION"
   }
 }
 ```
-Notice that the JS dependencies of `2P_MODULE` should be automatically imported. 
 
 ## Developers
 
 Working with the 2P-Kt codebase requires a number of tools to be installed and properly configured on your system:
-- JDK 11+ (please ensure the `JAVA_HOME` environment variable is properly) configured
-- Kotlin 1.5.10+
-- Gradle 7.1+ (please ensure the `GRADLE_HOME` environment variable is properly configured)
+- JDK 17+ (please ensure the `JAVA_HOME` environment variable is properly configured)
+- Kotlin 2.4+
+- Gradle 9.7+ (the `./gradlew` wrapper already pins this version, so a separately installed Gradle is optional)
 - Git 2.20+
 
+> `detekt` (the static analyzer run by `./gradlew check`) is known to crash on very recent JDKs (e.g. JDK 26); if it 
+> fails for no apparent reason, retry with `JAVA_HOME` pointed at a JDK 21-23 instead.
+
 ### Develop 2P-Kt with IntelliJ Idea
 
 To participate in the development of 2P-Kt, we suggest the [IntelliJ Idea](https://www.jetbrains.com/idea/download/) IDE. 
@@ -319,32 +352,14 @@ To open such dialog, use <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>A</kbd>, then sea
 
 1. Clone this repository in a folder of your preference using `git clone` appropriately
 
-0. Open IntellJ Idea. 
-If a project opens automatically, select "Close project". 
-You should be on the welcome screen of IntelliJ idea, with an aspect similar to this image: 
-![IntelliJ Welcome Screen](https://www.jetbrains.com/help/img/idea/2018.2/ideaWelcomeScreen.png)
-
-0. Select "Import Project"
-
-0. Navigate your file system and find the folder where you cloned the repository. 
-**Do not select it**. 
-Open the folder, and you should find a lowercase `2p-in-kotlin` folder. 
-That is the correct project folder, created by `git` in case you cloned without specifying a different folder name. 
-Once the correct folder has been selected, click <kbd>Ok</kbd>
-
-0. Select "Import Project from external model"
-
-0. Make sure "Gradle" is selected as external model tool
-
-0. Click <kbd>Finish</kbd>
-
-0. If prompted to override any `.idea` file, try to answer <kbd>No</kbd>. It's possible that IntelliJ refuses to proceed, in which case click <kbd>Finish</kbd> again, then select <kbd>Yes</kbd>
-
-0. A dialog stating that "IntelliJ IDEA found a Gradle build script" may appear, in such case answer <kbd>Import Gradle Project</kbd>
-
-0. Wait for the IDE to import the project from Gradle. The process may take several minutes, due to the amount of dependencies. Should the synchronization fail, make sure that the IDE's Gradle is configured correctly:
+0. Open IntelliJ Idea, then <kbd>File</kbd> > <kbd>Open...</kbd> and select the `2p-kt` folder you just cloned 
+(assuming you cloned without specifying a different folder name). Modern IntelliJ versions auto-detect the Gradle 
+build and import it, no separate "Import Project" wizard needed.
 
-0. In 'Settings -> Build, Execution, Deployment -> Build Tools > Gradle', for the option 'Use Gradle from' select 'gradle-wrapper.properties file'. Enabling auto-import is also recommended
+0. Wait for the IDE to import the project from Gradle. The process may take several minutes, due to the amount of 
+dependencies. Should the synchronization fail, make sure the IDE's Gradle is configured correctly: in 
+'Settings -> Build, Execution, Deployment -> Build Tools > Gradle', for the option 'Use Gradle from' select 
+'gradle-wrapper.properties file'. Enabling auto-import is also recommended
 
 ### Developing the project
 Contributions to this project are welcome. Just some rules:
@@ -377,8 +392,10 @@ The 2P project leverages on [Semantic Versioning](https://semver.org/) (SemVer,
 In particular, SemVer is enforced by the current Gradle configuration, which features [DanySK](https://github.com/DanySK)'s [Git sensitive SemVer Gradle Plugin](https://github.com/DanySK/git-sensitive-semantic-versioning-gradle-plugin).
 This implies it is strictly forbidden in this project to create tags whose label is not a valid SemVar string.
 
-Notice that the 2P project is still in its initial development stage---as proven by the major number equal to `0` in its version string.
-According to SemVer, this implies anything _may_ change at any time, as the public API _should not_ be considered stable.
+Notice that the 2P project's version has reached major `1` (e.g. `1.5.1`), meaning it is no longer in the initial-development 
+stage of SemVer (major `0`). 
+According to SemVer, this implies the public API should not undergo breaking changes 
+without a major version bump; minor and patch releases should remain backward-compatible.
 
 #### Issue tracking
 

package/kotlin-kotlin-stdlib.js

@@ -132,27 +132,27 @@ if (typeof String.prototype.startsWith === 'undefined') {
   initMetadataForInterface(Comparator, 'Comparator');
   initMetadataForObject(Unit, 'Unit');
   initMetadataForClass(AbstractCollection, 'AbstractCollection', VOID, VOID, [Collection]);
-  initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [Collection, MutableIterable]);
+  initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [MutableIterable, Collection]);
   initMetadataForClass(IteratorImpl, 'IteratorImpl');
   initMetadataForClass(ListIteratorImpl, 'ListIteratorImpl', VOID, IteratorImpl);
-  initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [Collection, MutableIterable, KtList]);
+  initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [KtList, Collection, MutableIterable]);
   initMetadataForInterface(RandomAccess, 'RandomAccess');
   initMetadataForClass(SubList, 'SubList', VOID, AbstractMutableList, [RandomAccess]);
   initMetadataForClass(AbstractMap, 'AbstractMap', VOID, VOID, [KtMap]);
   initMetadataForClass(AbstractMutableMap, 'AbstractMutableMap', VOID, AbstractMap, [KtMap]);
-  initMetadataForClass(AbstractMutableSet, 'AbstractMutableSet', VOID, AbstractMutableCollection, [KtSet, Collection, MutableIterable]);
+  initMetadataForClass(AbstractMutableSet, 'AbstractMutableSet', VOID, AbstractMutableCollection, [Collection, KtSet, MutableIterable]);
   initMetadataForCompanion(Companion_1);
-  initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [Collection, MutableIterable, KtList, RandomAccess]);
+  initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [KtList, Collection, MutableIterable, RandomAccess]);
   initMetadataForClass(HashMap, 'HashMap', HashMap_init_$Create$, AbstractMutableMap, [KtMap]);
-  initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [KtSet, Collection, MutableIterable]);
-  initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [Collection, MutableIterable]);
-  initMetadataForClass(HashMapEntrySetBase, 'HashMapEntrySetBase', VOID, AbstractMutableSet, [KtSet, Collection, MutableIterable]);
+  initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [Collection, KtSet, MutableIterable]);
+  initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [MutableIterable, Collection]);
+  initMetadataForClass(HashMapEntrySetBase, 'HashMapEntrySetBase', VOID, AbstractMutableSet, [Collection, KtSet, MutableIterable]);
   initMetadataForClass(HashMapEntrySet, 'HashMapEntrySet', VOID, HashMapEntrySetBase);
   initMetadataForClass(HashMapKeysDefault$iterator$1);
   initMetadataForClass(HashMapKeysDefault, 'HashMapKeysDefault', VOID, AbstractMutableSet);
   initMetadataForClass(HashMapValuesDefault$iterator$1);
   initMetadataForClass(HashMapValuesDefault, 'HashMapValuesDefault', VOID, AbstractMutableCollection);
-  initMetadataForClass(HashSet, 'HashSet', HashSet_init_$Create$, AbstractMutableSet, [KtSet, Collection, MutableIterable]);
+  initMetadataForClass(HashSet, 'HashSet', HashSet_init_$Create$, AbstractMutableSet, [Collection, KtSet, MutableIterable]);
   initMetadataForCompanion(Companion_2);
   initMetadataForClass(Itr, 'Itr');
   initMetadataForClass(KeysItr, 'KeysItr', VOID, Itr);
@@ -197,7 +197,7 @@ if (typeof String.prototype.startsWith === 'undefined') {
   initMetadataForInterface(InternalMap, 'InternalMap');
   initMetadataForClass(InternalHashMap, 'InternalHashMap', InternalHashMap_init_$Create$, VOID, [InternalMap]);
   initMetadataForClass(LinkedHashMap, 'LinkedHashMap', LinkedHashMap_init_$Create$, HashMap, [KtMap]);
-  initMetadataForClass(LinkedHashSet, 'LinkedHashSet', LinkedHashSet_init_$Create$, HashSet, [KtSet, Collection, MutableIterable]);
+  initMetadataForClass(LinkedHashSet, 'LinkedHashSet', LinkedHashSet_init_$Create$, HashSet, [Collection, KtSet, MutableIterable]);
   initMetadataForClass(BaseOutput, 'BaseOutput');
   initMetadataForClass(NodeJsOutput, 'NodeJsOutput', VOID, BaseOutput);
   initMetadataForClass(BufferedOutput, 'BufferedOutput', BufferedOutput, BaseOutput);

package/package.json

@@ -55,7 +55,7 @@
         "url": "https://github.com/tuProlog/2p-kt"
     },
     "main": "2p-full.js",
-    "version": "2.0.0",
+    "version": "2.0.1",
     "name": "@tuprolog/2p-full",
     "dependencies": {
         "sync-request": "6.1.0",