@tuprolog/2p-full 1.3.1 → 1.4.0

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","<get-contextEquations>","occurrenceCheck","variable","term","element","equationsFor","applySubstitutionToEquations","equations","exceptIndex","changed","i","eqIterator","eq","assignment","it","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","<init>","context","<get-context>","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>","result","toSubstitution","toPair","<get-isAssignment>","asAssignment","<get-isComparison>","<get-isContradiction>","of","lhsStruct","rhsStruct","of$default","pair","from","pairs","from$default","allOf","allOf$default","castToAssignment","toTerm","swap","apply","apply$default","toEquations","<this>","item","toAssignmentPair","toSubstitution$lambda","Unificator$Companion$default$delegate$lambda","checkTermsEquality","first","second","<get-default>","mguWith","other","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAcIA,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;8BAIxCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAK1EA,CACIJ,K,EACAC,KAFJG,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BAIrCC,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;gBAYnCE,CACIC,a,EACAC,aAFJF,EAGkB;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;wCC3D9CG,CAAA,KAAAA,EAA4C;A,eAAA,K,CAAA,K;;;IAAA,gH;IAAA,OCoCgC,S;EDpCH,C;0BASzEC,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;;;;YEg4ClB,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IFh4CwB,uBAAgB,QAAhB,EEg4Cd,OFh4Cc,CEg4CxB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YFj4CqC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,CAAA,K,EACJf,K,EACAC,KAFIc,EAGgB;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAErEA,CAAA,K,EACJP,a,EACAC,aAFIM,EAIJ;A;gBACK,KAAc,WAAd,aAAc,CAAd,EAA2C,WAAd,aAAc,CAA3C,C;IACJ,OAFQ,iBACqD,WAAI,sCAAJ,CADrD,C;EAET,C;uCAGIC,CAAA,K,EACJV,Y,EACAW,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;gBAEQjB,CAAA,K,EACJc,S,EACAf,iBAFIC,EAGQ;A,QACZgB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVE,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAW,I;QAEhB,IAAA,EAAG,MAAH,C,CAAsB;A,UAClB,OAAO,gC;QACX,C,MACA,IAAA,EAAG,MAAH,C,CAAiB;A,UACb,UAAW,K;UACX,UAAU,I;QACd,C,MACA,IAAA,EAAG,MAAH,C,CAAmB;A,cACfC,aAAiB,EAAG,M;UAChB,yBAAqB,uBAAgB,UAAhB,CAA2B,KAA3B,EAAgC,EAAG,MAAnC,CAArB,C,CAA8D;A,YAC9D,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,OAAV,IACI,oCACI,UAAW,iBADf,EAEI,SAFJ,EAGI,UAAW,KAHf,C;UAKR,C;QACJ,C,MACA,IAAA,EAAG,MAAH,C,CAAmB;A,UACf,UAAW,K;cACW,wCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;4BAAA,qB,EAA8B;A,gBAApCC,KAAM,qB;YAEd,IAAA,EAAG,MAAH,C;cAAiB,kB;iBACjB,IAAA,EAAG,MAAH,C;cAAsB,OAAO,gC;;cACrB,UAAW,IAAI,EAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;sBGgpBQ,yB;QAgGA,sBH9uBD,SG8uBC,I;WAAA,uB,EAAM;A,UAAjBV,UAAW,uB;MAAU,IAAU,OH9uBC,MG8uBX,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IH9uB7D,OAA4C,eG+uB7C,WH/uB6C,C;EAChD,C;mBA4BQW,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QItCR,YAAX,yB;IJsCoD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;8DAxItCE,C,MAAAA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;OAf5D,C,EAAA,C;;oDAsC6DC,CAAAC,EAAAD,E;+CAAAE,C,QAAAA,EAAA;A,aAAA,gB;IAAuB,C,EAtCpF,C,EAAA,C;G;iDA6C8EC,CAAA,EAAAA,EAAA;A;IAAa,OK6R3B,SL7RgB,EK6RX,KAAL,EL7RgB,EK6RN,KAAV,C;EL7R4B,C;mDAWhFC,C,4CAAgBb,CAAhBa,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;6BAvDRC,CACaC,OADbD,EAAA;A,iCACyC,+B;IAArC,oB;cAGoD,I;IAAA,iBAAK,yDAAL,C;EAJxD,C;4CACaE,CAAAA,EAAA;A,IAAA,iB;EAAkC,C;6CAiHlCpC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,IACR,IAAA,SAAQ,MAAR,C;MAAkB,OAAO,gC;QAC7Bc,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,mBAAa,KAAb,EAAoB,KAApB,CAAhC,CAAT,C;IAChB,OAAO,YAAI,SAAJ,EAAe,iBAAf,C;EACX,C;;;;6CAESV,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,UACpBiC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACb,IAAA,UAAW,MAAX,C,CAAsB;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACAvB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAI,SAAJ,EAAe,iBAAf,C;EACX,C;;;;2BM1IcoB,CAClBI,S,EACAC,aAFkBL,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CASTlC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,QACZwC,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;;;;2CAEStC,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,QACZoC,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;;;;qBCgKYC,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;0BApG2CC,CAAAA,E;+CAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C,EAxIlE,C,EAAA,C;G;yCAuL8CC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;+CAgCxBC,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;0CAyBuEC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBA1MzFvB,CACNU,G,EACAC,GAFMX,EAAA;A,IAAnB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFe,C;mCACNwB,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAGjBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;2CAhEvB;A,IAAA,uF;EAAA,C;2CAAA;A,QAAAC,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;qBAsEyB3B,CACRU,G,EACAC,GAFQX,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRwB,CAAAA,EAAA;A,IAAA,iB;EAAW,C;qCACXC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;gDAGrBG,CAAAA,EAA6C;A,IAA8B,OAAjB,gCAAQ,IAAR,CAAQ,KAAR,EAAa,IAAb,CAAa,KAAb,C;EAAgB,C;qCAEjEC,CAAAA,EAAgC;A,IAAU,OAAV,eAAO,IAAP,CAAO,KAAP,C;EAAS,C;;;;qCAG9CC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;6CAlFrD;A,IAAA,yF;EAAA,C;6CAAA;A,QAAAJ,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;qBAsFyB3B,CACRU,G,EACAC,GAFQX,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRwB,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAGjBO,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;6CA3FvB;A,IAAA,yF;EAAA,C;6CAAA;A,QAAAL,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;wBAiG4B3B,CACXU,G,EACAC,GAFWX,EAAA;A,IAAxB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFoB,C;wCACXwB,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAGjBQ,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;gDAtGvB;A,IAAA,4F;EAAA,C;gDAAA;A,QAAAN,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;oBAgII3B,CAAAA,EAAA;A,EAAA,C;oCAKIkC,CACIxB,G,EACAC,G,EACAC,eAHJsB,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAa,GAAI,KAAjB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;;;WAGR,IAAA,GAAI,KAAJ,C;YAAa,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;WACb,IAAA,GAAI,KAAJ,C;YAAa,eAAW,GAAI,YAAf,EAA4B,GAA5B,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,CACI3B,G,EACAC,G,EACAC,e,QAHJyB,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACA1B,eAFJsB,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,KAAR,EAAe,IAAf,CAAoB,MAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACA1B,e,QAFJyB,E;;;YAE+C,iB;;;;;;G;oCAM/CE,CACIC,K,EACA5B,eAFJ2B,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACA5B,e,QAFJ6B,E;;;YAE+C,iB;;;;;;G;oCAM/CF,CACIC,K,EACA5B,eAFJ2B,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACA5B,e,QAFJ6B,E;;;YAE+C,iB;;;;;;G;oCAM/CF,CACIC,K,EACA5B,eAFJ2B,EAGwB;A,IAAyC,OAAzC,SAAK,aAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACA5B,e,QAFJ6B,E;;;YAE+C,iB;;;;;;G;oCAO/CC,CACIJ,I,EACA1B,eAFJ8B,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,KAAX,EAAkB,IAAlB,CAAuB,MAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACA1B,e,QAFJ+B,E;;;YAE+C,iB;;;;;;G;oCAmC/CD,CACIhC,G,EACAC,G,EACAC,eAHJ8B,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,CACIjC,G,EACAC,G,EACAC,e,QAHJ+B,E;;;YAG+C,iB;;;;;;G;;;;;mBAlOlC3C,CAEGU,G,EAEAC,GAJHX,EAAA;A,IAEjB,gB;IAEA,gB;EAJiB,C;mCAEGwB,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAI5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;mCAQZI,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;mCAEXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;mCAE1Ca,CAAAA,EACI;A,QAAA,2B;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAGjGZ,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;mCAQZC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;mCAwDPY,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAG,GAAH,EAAQ,aAAK,UAAL,CAAR,C;EAAgB,C;;;;sCAGlDhB,CAAAA,EAAiC;A,IAAc,OAAd,SAAK,UAAL,EAAU,UAAV,C;EAAa,C;oCAGnDiB,CAAAA,EAAuB;A,IAAY,OAAZ,wBAAG,UAAH,EAAQ,UAAR,C;EAAW,C;mCASlCC,CACI9E,Y,EACA2C,eAFJmC,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACI/E,Y,EACA2C,e,QAFJoC,E;;;YAE+C,iB;;;;;;G;sBCpGnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBLirDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UK5vDO,WL6vDU,IE/9CkC,K;;UG9RlC,OL6vDA,IEl9CkC,K;UG1SzB,YAA1B,eAAW,QAAX,EAAqB,IAArB,C;ML4vDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IK3vDlC,OL4vDM,W;EK5vDP,C;yBANJvB,CAAIsB,aAAJtB,EAAwD;A;gBAAqB,aAAL,aAAK,C;IAA2C,OAAnD,eAAqB,WAAI,qBAAJ,CAArB,C;EAAkD,C;2BAZvHwB,CAAIF,aAAJE,EACI;A;IACI,wB;YAAgB,mBAAmB,M;WACnC,IAAA,mBAAI,KAAJ,C;YAAa,GAAA,mBAAI,YAAJ,EAAmB,mBAAnB,C;WACb,IAAA,mBAAI,KAAJ,C;YAAa,GAAA,mBAAI,YAAJ,EAAmB,mBAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,YAA2D,aAA3D,E;;IACjB,U;EAAD,C;gCAM0FC,CAAA,EAAAA,EAAA;A,IAAuB,OAAlB,iBAAH,EAAG,C;EAAmB,C;uDT8D1FC,CAAAA,EAAA;A,IAAU,OAAR,kC;EAAS,C;;;aAAhB,Q;OAnFvB,C,EAAA,C;;uCA6GYtD,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;uDACauD,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;;;;wCAcJvD,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACauD,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;;;;sBA/D9BvD,CAAAA,EAAA;A;cAOmB,I;IAAA,iBAAK,4CAAL,C;IAmFoB,e;EA1FvC,C;sCAOI0D,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OEhCqE,S;EFgCrD,C;0CAKzBC,CAAIT,a,EAAaU,KAAjBD,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEE,CAAIX,a,EAAaU,KAAjBC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAeU,KAAnBE,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAIlEC,CAAIb,a,EAAuBU,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAM/FC,CAAU/D,OAAV+D,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAMJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDAMpDC,CAAWhE,OAAXgE,EACI;A,IAKC,OALD,0C;EAKA,C;yCAMJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAUtD1D,CACIqD,K,EACAM,QAFJ3D,EAII;A;IAAI,sC;YACA,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJ4D,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":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAwBIA,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;8BAIxCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAK1EA,CACIJ,K,EACAC,KAFJG,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BAIrCC,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;gBAYnCE,CACIC,a,EACAC,aAFJF,EAGkB;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;;;cCtExCG,CACVV,K,EACAC,K,EACAC,iBAHUQ,EAAA;A,IACV,kB;IACA,kB;IACA,8B;EAHU,C;sCAdtB;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;gBAoBwBD,CACZF,a,EACAC,a,EACAP,iBAHYQ,EAAA;A,IACZ,0B;IACA,0B;IACA,8B;EAHY,C;wCApBxB;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;wCA4BYC,CAAA,KAAAA,EAA4C;A,eAAA,K,CAAA,K;;;IAAA,gH;IAAA,OCuBoC,S;EDvBP,C;0BASzEC,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;;;;YEm3Cd,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IFn3CoB,uBAAgB,QAAhB,EEm3CV,OFn3CU,CEm3CpB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YFp3CiC,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;gBAYQnB,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;;;sBGknBY,yB;QAgGA,sBHhtBiB,SGgtBjB,I;WAAA,uB,EAAM;A,UAAjBZ,UAAW,uB;MAAU,IAAU,OHhtBmB,MGgtB7B,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IHhtBjE,OAAO,UAAa,OAAb,EAA2D,eGitB/D,WHjtB+D,CAA3D,C;EACX,C;mBA4BQa,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QIpEJ,YAAX,yB;IJoEgD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;8DAzJtCE,C,MAAAA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;OA5BxD,C,EAAA,C;;oDAmDyDC,CAAAC,EAAAD,E;+CAAAE,C,QAAAA,EAAA;A,aAAA,gB;IAAuB,C,EAnDhF,C,EAAA,C;G;iDA0D0EC,CAAA,EAAAA,EAAA;A;IAAa,OKgRvB,SLhRY,EKgRP,KAAL,ELhRY,EKgRF,KAAV,C;ELhRwB,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;6BAvEyB9B,CACpB+B,OADoB/B,EAAA;A,IAC7B,oB;cAmBoD,I;IAAA,iBAAK,yDAAL,C;EApBvB,C;4CACpBgC,CAAAA,EAAA;A,IAAA,iB;EAAwB,C;6CA8ElBC,CACXpB,O,EACAZ,MAFWgC,EAGG;A,IAAM,OAAN,M;EAAK,C;6CAERC,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;;;;6CAESZ,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;;;;2BMxKkBT,CAClBqC,S,EACAC,aAFkBtC,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CASTP,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;;;;2CAES5C,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;;;;qBC+RYC,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;0BApG2CC,CAAAA,E;+CAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C,EAvQlE,C,EAAA,C;G;yCAsT8CC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;+CAgCxBC,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;0CAyBuEC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBA1PzFxD,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;8CAtJ/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;qBAyJ6BD,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;qCASjBI,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;;;;oDApM9D;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;0BAwM8BD,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;;;;qDAzN9D;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;qBA6NyBD,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;gDAzOjD;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;wBA6O4BD,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;;;;mDA3P/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;oBA+PID,CAAAA,EAAA;A,EAAA,C;oCAKI6E,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;oCAM/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;oCAM/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;oCAM/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;oCAmC/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;;;;;mBAjWlCtF,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;mCAK5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAGXC,CAAAA,EAA8B;A,IAAI,OAAJ,I;EAAG,C;8CAGtC2B,CAAAA,EACI;A,QAAA,kC;;IAAA,2B;MAAgB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA2D,wBAA3D,C;;YAAtB,c;;IAA8F,U;EAAD,C;mCAI7FzB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAGXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAG1CyB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAIjGpB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;gDAGXC,CAAAA,EAA0C;A,IAAI,OAAJ,I;EAAG,C;oDAGlDoB,CAAAA,EACI;A,QAAA,wC;;IAAA,2B;MAAsB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAiE,8BAAjE,C;;YAA5B,c;;IAA0G,U;EAAD,C;mCAIzGlB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;iDAGXC,CAAAA,EAA4C;A,IAAI,OAAJ,I;EAAG,C;qDAGpDkB,CAAAA,EACI;A,QAAA,yC;;IAAA,2B;MAAuB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAkE,+BAAlE,C;;YAA7B,c;;IAA4G,U;EAAD,C;mCAI3GjB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAGXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAG1CiB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAIjGhB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;+CAGXC,CAAAA,EAAwC;A,IAAI,OAAJ,I;EAAG,C;mDAGhDgB,CAAAA,EACI;A,QAAA,uC;;IAAA,2B;MAAqB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAgE,6BAAhE,C;;YAA3B,c;;IAAwG,U;EAAD,C;qCAGlGC,CACLlD,G,EACAC,G,QAFKiD,E;yBACO,IAAK,M;yBACL,IAAK,M;;G;+CAIrBC,CAAAA,EAAuC;A,IAAuB,OAAvB,kBAAc,UAAd,EAAmB,UAAnB,C;EAAsB,C;gDAGxD9B,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;8CAGCC,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;mCAEK8B,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAG,GAAH,EAAQ,aAAK,UAAL,CAAR,C;EAAgB,C;;;;sCAGlDzB,CAAAA,EAAiC;A,IAAc,OAAd,SAAK,UAAL,EAAU,UAAV,C;EAAa,C;oCAGnD0B,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;sBCzHnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBL4rDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UKvwDO,WLwwDU,IE/9CkC,K;;UGzSlC,OLwwDA,IEl9CkC,K;UGrTrB,YAA9B,mBAAe,QAAf,EAAyB,IAAzB,C;MLuwDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKtwDlC,OLuwDM,W;EKvwDP,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;uDTmF1FC,CAAAA,EAAA;A,IAAU,OAAR,kC;EAAS,C;;;aAAhB,Q;OA7FvB,C,EAAA,C;;uCAuHYvG,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;;;;wCAcJxG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACawG,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;;;;sBA/D9BxG,CAAAA,EAAA;A;cAOmB,I;IAAA,iBAAK,4CAAL,C;IAmFoB,e;EA1FvC,C;sCAOI2G,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OE1CqE,S;EF0CrD,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;4CAIlEC,CAAIZ,a,EAAuBS,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAM/FC,CAAUlF,OAAVkF,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAMJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDAMpDC,CAAWnF,OAAXmF,EACI;A,IAKC,OALD,0C;EAKA,C;yCAMJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAUtD1E,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

@@ -25,7 +25,7 @@ manipulation and reasoning in an extensible and flexible way.
 
 A complete overview about modules and their dependencies is provided by the following diagram: 
 
-![2P-Kt project map](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin/raw/master/.img/project-map.png)
+![2P-Kt project map](https://raw.githubusercontent.com/tuProlog/2p-kt/master/.img/project-map.png)
 
 As shown in the project map, 2P-Kt currently focuses on supporting knowledge representation and automatic reasoning through logic programming, 
 by featuring:
@@ -121,7 +121,7 @@ However, if you have properly configured the JVM on your system, it may be suffi
 aforementioned JAR to start the IDE.
 In any case, running the JAR should make the following window appear:
 
-![A screenshot of the 2P-Kt IDE](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin/raw/master/.img/2p-kt-ide.png)
+![A screenshot of the 2P-Kt IDE](https://raw.githubusercontent.com/tuProlog/2p-kt/master/.img/2p-kt-ide.png)
 
 There, one may query the 2P-Kt Prolog interpreter against the currently opened theory file, which can of course be 
 loaded from the user's file system by pressing <kbd>File</kbd> and then <kbd>Open...</kbd>.
@@ -187,7 +187,7 @@ A normal output should be as follows:
 
 For instance:
 
-![A screenshot of the 2P-Kt CLI](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin/raw/master/.img/2p-kt-repl.png)
+![A screenshot of the 2P-Kt CLI](https://raw.githubusercontent.com/tuProlog/2p-kt/master/.img/2p-kt-repl.png)
 
 Other options or modes of execution are supported.
 One can explore them via the program help, which can be displayed by running:

package/kotlin-kotlin-stdlib.js

@@ -134,24 +134,24 @@ if (typeof String.prototype.startsWith === 'undefined') {
   initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [Collection, MutableIterable]);
   initMetadataForClass(IteratorImpl, 'IteratorImpl');
   initMetadataForClass(ListIteratorImpl, 'ListIteratorImpl', VOID, IteratorImpl);
-  initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [MutableIterable, Collection, KtList]);
+  initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [MutableIterable, KtList, Collection]);
   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, MutableIterable, Collection]);
+  initMetadataForClass(AbstractMutableSet, 'AbstractMutableSet', VOID, AbstractMutableCollection, [MutableIterable, KtSet, Collection]);
   initMetadataForCompanion(Companion_1);
-  initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [MutableIterable, Collection, KtList, RandomAccess]);
+  initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [MutableIterable, KtList, Collection, RandomAccess]);
   initMetadataForClass(HashMap, 'HashMap', HashMap_init_$Create$, AbstractMutableMap, [KtMap]);
-  initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [KtSet, MutableIterable, Collection]);
+  initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [MutableIterable, KtSet, Collection]);
   initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [Collection, MutableIterable]);
-  initMetadataForClass(HashMapEntrySetBase, 'HashMapEntrySetBase', VOID, AbstractMutableSet, [KtSet, MutableIterable, Collection]);
+  initMetadataForClass(HashMapEntrySetBase, 'HashMapEntrySetBase', VOID, AbstractMutableSet, [MutableIterable, KtSet, Collection]);
   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, MutableIterable, Collection]);
+  initMetadataForClass(HashSet, 'HashSet', HashSet_init_$Create$, AbstractMutableSet, [MutableIterable, KtSet, Collection]);
   initMetadataForCompanion(Companion_2);
   initMetadataForClass(Itr, 'Itr');
   initMetadataForClass(KeysItr, 'KeysItr', VOID, Itr);
@@ -196,7 +196,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, MutableIterable, Collection]);
+  initMetadataForClass(LinkedHashSet, 'LinkedHashSet', LinkedHashSet_init_$Create$, HashSet, [MutableIterable, KtSet, Collection]);
   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": "1.3.1",
+    "version": "1.4.0",
     "name": "@tuprolog/2p-full",
     "dependencies": {
         "sync-request": "6.1.0",