@tuprolog/2p-full 1.1.4 → 1.3.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/2p-unify.js.map CHANGED
@@ -1 +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","applySubstitutionToEquations$handleIndex","$equations","$substitution","this$0","currentEq","newLhs","newRhs","AbstractUnificator$contextEquations$delegate$lambda","AbstractUnificator$contextEquations$delegate$lambda$lambda","AbstractUnificator$checkTermsEquality$ref","p0","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","<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","$equalityChecker","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","$context","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;;;;YEwsClB,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IFxsCwB,uBAAgB,QAAhB,EEwsCd,OFxsCc,CEwsCxB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YFzsCqC,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;;;sBG6oBQ,yB;QA2FA,sBHtuBD,SGsuBC,I;WAAA,uB,EAAM;A,UAAjBV,UAAW,uB;MAAU,IAAU,OHtuBC,MGsuBX,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IHtuB7D,OAA4C,eGuuB7C,WHvuB6C,C;EAChD,C;mBA4BQW,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QItCR,YAAX,yB;IJsCoD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;mDA/F3FE,CALAC,U,EADAC,a,EADIC,M,EAKJX,O,EAEgBC,CAAhBO,EAAwB;A,IAChB,IAAA,aAAU,CAAV,CAAa,MAAb,IAAgC,aAAU,CAAV,CAAa,MAA7C,C;MAAyD,oB;QAE7DI,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,mDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;8DAnDqDC,CANjE,MAMiEA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;;;oDAuBCC,CAAAC,EAAAD,E;qBAAAE,C,mBAAAA,EAAA;A,aAAA,2B;IAAuB,C;;;G;iDAONC,CAAA,EAAAA,EAAA;A;IAAa,OK4R3B,SL5RgB,EK4RX,KAAL,EL5RgB,EK4RN,KAAV,C;EL5R4B,C;sDAkB7BH,CAAAC,EAAAD,E;qBAAAE,C,mBAAAA,EAAA;A,aAAA,2B;IAAuB,C;;;G;6BApDlFE,CACaC,OADbD,EAAA;A,iCACyC,+B;IAArC,oB;cAGoD,I;IAAA,iBAAK,yDAAL,C;EAJxD,C;4CACaE,CAAAA,EAAA;A,IAAA,iB;EAAkC,C;6CAiHlCvC,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;4DAvH4CjB,K,EACxCC,K,EAAqBC,iB;;;6CAwHhBK,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,UACpBoC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACb,IAAA,UAAW,MAAX,C,CAAsB;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACA1B,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAI,SAAJ,EAAe,iBAAf,C;EACX,C;8DAlGgCT,a,EAEvCC,a,EACgBP,iB;;;2BM3CKsC,CAClBI,S,EACAC,aAFkBL,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CASTrC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,QACZ2C,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;0DApBQhD,K,EACIC,K,EAAqBC,iB;;;2CAqBxBK,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,QACZuC,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;4DAEoOxC,a,EAAqCC,a,EAAqCP,iB;;;qBC8JlS+C,CAAA,K,EACJC,G,EACAC,G,EACAC,eAHIH,EAKJ;A,cAAa,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,aAAQ,qDAAR,C;EAM/B,C;sBAEII,CAAA,K,EACJH,G,EACAC,G,EACAC,eAHIC,EAKJ;A,cAAa,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAQZ,OAR8B,aAAQ,sDAAR,C;EAQ/B,C;0BApG2CC,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;4BAsCXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;4BAQXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;yCACpBC,CADlCC,gBACkCD,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;4BAOpBJ,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;4BAQXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;4BASXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;+CAQfI,CAFvCF,gBAEuCE,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,CAFvCJ,gBAEuCI,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;4BAS2CR,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;0CAgBiBQ,CAhBvEN,gBAgBuEM,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBA1MzFxB,CACNU,G,EACAC,GAFMX,EAAA;A,IAAnB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFe,C;mCACNyB,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;qBAsEyB5B,CACRU,G,EACAC,GAFQX,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRyB,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;qBAsFyB5B,CACRU,G,EACAC,GAFQX,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRyB,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;wBAiG4B5B,CACXU,G,EACAC,GAFWX,EAAA;A,IAAxB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFoB,C;wCACXyB,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;oBAgII5B,CAAAA,EAAA;A,EAAA,C;oCAKImC,CACIzB,G,EACAC,G,EACAC,eAHJuB,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,CACI5B,G,EACAC,G,EACAC,e,QAHJ0B,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACA3B,eAFJuB,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,IAAR,EAAe,IAAf,CAAoB,IAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACA3B,e,QAFJ0B,E;;;YAE+C,mB;;;;;;G;oCAM/CE,CACIC,K,EACA7B,eAFJ4B,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACA7B,e,QAFJ8B,E;;;YAE+C,mB;;;;;;G;oCAM/CF,CACIC,K,EACA7B,eAFJ4B,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACA7B,e,QAFJ8B,E;;;YAE+C,mB;;;;;;G;oCAM/CF,CACIC,K,EACA7B,eAFJ4B,EAGwB;A,IAAyC,OAAzC,SAAK,aAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACA7B,e,QAFJ8B,E;;;YAE+C,mB;;;;;;G;oCAO/CC,CACIJ,I,EACA3B,eAFJ+B,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,IAAX,EAAkB,IAAlB,CAAuB,IAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACA3B,e,QAFJgC,E;;;YAE+C,mB;;;;;;G;oCAmC/CD,CACIjC,G,EACAC,G,EACAC,eAHJ+B,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,CACIlC,G,EACAC,G,EACAC,e,QAHJgC,E;;;YAG+C,mB;;;;;;G;;;;;4BAzHJ9B,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C;;;G;mBAzGzCf,CAEGU,G,EAEAC,GAJHX,EAAA;A,IAEjB,gB;IAEA,gB;EAJiB,C;mCAEGyB,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,CACIlF,Y,EACA8C,eAFJoC,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACInF,Y,EACA8C,e,QAFJqC,E;;;YAE+C,mB;;;;;;G;sBCpGnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBLigDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UKxkDO,WLykDU,IE5yCkC,K;;UG7RlC,OLykDA,IE/xCkC,K;UGzSzB,YAA1B,eAAW,QAAX,EAAqB,IAArB,C;MLwkDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKvkDlC,OLwkDM,W;EKxkDP,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;;;uCA0BXvD,CADMwD,QACNxD,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;uDACayD,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;sEA1GRjG,K,EACAC,K,EACAC,iB;;;wCAsHIsC,CADOwD,QACPxD,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACayD,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;uEA5H1BjG,K,EACAC,K,EACAC,iB;;;sBA2DJsC,CAAAA,EAAA;A;cAOmB,I;IAAA,iBAAK,4CAAL,C;IAmFoB,e;EA1FvC,C;sCAOI4D,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OEhCqE,S;EFgCrD,C;0CAKzBC,CAAIV,a,EAAaW,KAAjBD,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEE,CAAIZ,a,EAAaW,KAAjBC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIb,a,EAAeW,KAAnBE,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAIlEC,CAAId,a,EAAuBW,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAM/FC,CAAUjE,OAAViE,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAMJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDAMpDC,CAAWlE,OAAXkE,EACI;A,IAKC,OALD,0C;EAKA,C;yCAMJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAUtD5D,CACIuD,K,EACAM,QAFJ7D,EAII;A;IAAI,sC;YACA,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJ8D,CACIP,K,EACAM,Q,QAFJC,E;mCAEoB,E;;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}