@tuprolog/2p-full 0.31.21 → 0.32.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-bdd.js +198 -215
- package/2p-bdd.js.map +1 -1
- package/2p-core.js +3282 -5092
- package/2p-core.js.map +1 -1
- package/2p-full.js +6 -6
- package/2p-io-lib.js +874 -1121
- package/2p-io-lib.js.map +1 -1
- package/2p-oop-lib.js +1140 -1327
- package/2p-oop-lib.js.map +1 -1
- package/2p-parser-core.js +438 -609
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-js.js +7 -8
- package/2p-parser-js.js.map +1 -1
- package/2p-parser-theory.js +35 -39
- package/2p-parser-theory.js.map +1 -1
- package/2p-repl.js +152 -179
- package/2p-repl.js.map +1 -1
- package/2p-solve-classic.js +1141 -1371
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve-plp.js +9 -14
- package/2p-solve-plp.js.map +1 -1
- package/2p-solve-problog.js +1689 -1981
- package/2p-solve-problog.js.map +1 -1
- package/2p-solve-streams.js +1206 -1372
- package/2p-solve-streams.js.map +1 -1
- package/2p-solve.js +4879 -6147
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1820 -2246
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +290 -330
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +483 -557
- package/2p-utils.js.map +1 -1
- package/clikt-clikt-js-ir.js +2243 -3266
- package/clikt-clikt-js-ir.js.map +1 -1
- package/{kotlin-kotlin-stdlib-js-ir.js → kotlin-kotlin-stdlib.js} +9601 -10371
- package/kotlin-kotlin-stdlib.js.map +1 -0
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js +15 -0
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -0
- package/kt-math.js +2926 -4247
- package/kt-math.js.map +1 -1
- package/package.json +9 -3
- package/kotlin-kotlin-stdlib-js-ir.js.map +0 -1
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","commonMainSources/libraries/stdlib/src/kotlin/util/Lazy.kt","commonMainSources/libraries/stdlib/common/src/generated/_Sequences.kt","commonMainSources/libraries/stdlib/common/src/generated/_Collections.kt","commonMainSources/libraries/stdlib/src/kotlin/collections/Collections.kt","commonMainSources/libraries/stdlib/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],"names":["mgu","term1","term2","match","occurCheckEnabled","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","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","<init>","context","<get-context>","quickMerge","contextEquations$factory","get","receiver","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","l","r","Equation$Companion$allOfTuples$lambda","Equation$Companion$allOfTuples$lambda$lambda","Equation$Companion$allOf$lambda","Equation$Companion$allOf$lambda$lambda","<get-lhs>","<get-rhs>","<get-isIdentity>","toString","hashCode","result","equals","other","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","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default","default$factory"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAmBIA,CAAQC,K,EAAaC,KAArBF,EACI;A,IAAuB,OAAvB,SAAI,KAAJ,EAAW,KAAX,EAAkB,IAAlB,C;EAAsB,C;8BAI1BG,CAAUF,K,EAAaC,K,EAAaE,iBAApCD,EACI;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAKjEA,CAAUF,K,EAAaC,KAAvBC,EACI;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BAI5BE,CAAUJ,K,EAAaC,K,EAAaE,iBAApCC,EAAuE;A,QACnEC,eAAmB,SAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;IACnB,OAAW,YAAa,MAAjB,GAA2B,IAA3B,GAAqC,qBAAM,YAAN,K;EAChD,C;gBAIAD,CAAUJ,K,EAAaC,KAAvBG,EACI;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;gBAQ5BE,CAAUC,a,EAA6BC,aAAvCF,EACI;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;wCCxCKG,C,KAAAA,EAAG;A;;QCOhB,0C;IAwByD,YAxBzD,KAwBoD,CAxBpD,KAwBoD,K;ID/BpC,gB;EAA6B,C;0BAMzEC,C,OAAoBC,Q,EAAeC,IAAnCF,EACJ;A;IACS,IAAL,IAAK,M;YAAS,UAAmB,QAAnB,EAA6B,IAA7B,C;WACT,IAAL,IAAK,M;;;;YEYV,WAAL,IAAK,K;YA2qCa,4B;eAAA,iB,EAAhB;A,cAAKG,UAAW,iB;;;UFvrC8B,mCAAgB,QAAhB,EA8G27mC,OA9G37mC,C;UEurCxB,IAAI,SAAJ,C;YAAwB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YFxrCiC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,C,OAAiBd,K,EAAaC,KAA9Ba,EACJ;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAEjDA,C,OAAiBP,a,EAA6BC,aAA9CM,EACJ;A;gBACK,KAAc,WAAd,aAAc,CAAd,EAA2C,WAAd,aAAc,CAA3C,C;IACJ,OAFQ,iBACqD,WAAI,sCAAJ,CADrD,C;EAET,C;uCAGIC,C,OACJV,Y,EACAW,S,EACAC,WAHIF,EAIG;A,QACPG,UAAc,W;QAcJ,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;gBAEQpB,C,OAAQiB,S,EAAkCb,iBAA1CJ,EAAoF;A,QACxFmB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVE,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAW,I;QAEb,IAAH,EAAG,O,CAAmB;A,UAClB,OAAO,gC;QACX,C,MACG,IAAH,EAAG,O,CAAc;A,UACb,UAAW,K;UACX,UAAU,I;QACd,C,MACG,IAAH,EAAG,O,CAAgB;A,cACfC,aAAiB,EAAG,M;UACpB,IAAI,oBAAqB,uBAAgB,UAAhB,CAA2B,KAA3B,EAAgC,EAAG,MAAnC,CAArB,GAAqB,KAAzB,C,CAAkE;A,YAC9D,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,iBAAW,oCACjB,UAAW,iBADM,EAEjB,SAFiB,EAGjB,UAAW,KAHM,C;UAKzB,C;QACJ,C,MACG,IAAH,EAAG,O,CAAgB;A,UACf,UAAW,K;cACW,oCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;4BAAA,iB,EAAX;A,gBAAKC,KAAM,iB;YAEX,IAAH,EAAG,O;cAAc,kB;iBACd,IAAH,EAAG,O;cAAmB,OAAO,gC;;cACrB,UAAW,IAAI,EAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;;;QGupBY,yC;QA2FA,kBA7sBX,SA6sBW,I;WAAA,mB,EAAhB;A,UAAKV,UAAW,mB;;;MHhvBiB,YA2BmzoB,OA3BnzoB,M;MGgvBX,IAAI,SAAJ,C,CAAoC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;IACrE,YAAO,a;IA5FP,YAAO,S;IHrpBH,OAA4C,eAA3B,SAA2B,C;EAChD,C;mBAwBQW,C,OAAiBC,KAAjBD,EAAuD;A;;II9BJ,YAAX,yB;IJ8BgD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;mDAvF3FE,CALAC,U,EADAC,a,EADJC,M,EAKIX,O,EAEgBC,CAAhBO,EAAwB;A,IACpB,IAAI,aAAU,CAAV,CAAa,gBAAmB,aAAU,CAAV,CAAa,MAAjD,C;MAA6D,yB;QAE7DI,YAAgB,aAAU,CAAV,C;QACqC,iBAA9B,SAAU,OAAM,aAAN,CAAoB,S;QAAhDC,SAAgD,cAAhD,K;QAAQC,SAAwC,cAAxC,K;IAEb,IAAI,CAAA,SAAU,MAAV,QAAiB,MAAjB,WAA2B,CAAA,SAAU,MAAV,QAAiB,MAAjB,CAA/B,C,CAAwD;A;MACpD,cAAU,CAAV,EAAwB,QAAG,MAAH,EAAW,MAAX,EAAmB,mDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;8DAxCqDC,CAH7D,MAG6DA,E;oBAAAC,CAAAA,EAAA;A,MAAU,mBAAR,WAAQ,C;IAAc,C;G;oDAehDC,C,UAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAuB,C;;;G;iDAIcC,CAAAd,EAAAc,EAAA;A;;IK6RM,YAAhB,SAlR3B,EAkRgC,KAAL,EAlR3B,EAkRqC,KAAV,C;IL7Re,gB;EAAS,C;sDAkB7BF,C,UAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAuB,C;;;G;6BAxClCE,CAAYC,OAAZD,EAAhD;A,iCAAiG,+B;IAArC,oB;cAGJ,I;IAAA,iBAAK,yDAAL,C;EAHxD,C;4CAAqEE,CAAAA,EAAA;A,IAAA,iB;EAAkC,C;6CAkG1FzC,CAAQC,K,EAAaC,K,EAAaE,iBAAlCJ,EAA4E;A,IACjF,IAAI,SAAQ,MAAZ,C;MAAsB,OAAO,gC;QAC7BiB,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,EACAL,iBAHKG,EAIO;A,IACZ,IAAI,CAAA,SAAQ,gBAAY,aAAc,MAAlC,WAA8C,aAAc,MAAhE,C;MAA0E,OAAO,gC;IACjF,IAAI,CAAC,iBAAL,C,CAAwB;A,UACpBmC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACjB,IAAI,UAAW,MAAf,C,CAA0B;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACAzB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAI,SAAJ,EAAe,iBAAf,C;EACX,C;8DArFoBT,a,EACLC,a,EAA6BL,iB;;;mCA/BKuC,CAAAA,E;kCAAA,kB,KAAA,U,WAAAC,CAqCpCC,QArCoCD,E;;K,EAAA,I;G;2BMDrDL,CACIO,S,EACAC,aAFJR,EAAA;A,IACI,sB;IAI8D,0CAAU,aAAV,C;EALlE,C;2CAUavC,CAAQC,K,EAAaC,K,EAAaE,iBAAlCJ,EAA4E;A,QACjFgD,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;2CAES3C,CACLC,a,EACAC,a,EACAL,iBAHKG,EAIO;A,QACZyC,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;4DAE0H1C,a,EAA6BC,a,EAA6BL,iB;;;qBCkJxK+C,C,OAAeC,G,EAAgBC,G,EAAgBC,eAA/CH,EACJ;A,cAAa,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,aAAQ,qDAAR,C;EAM/B,C;sBAEII,C,OAAgBH,G,EAAYC,G,EAAYC,eAAxCC,EACJ;A,cAAa,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAKZ,OAL8B,aAAQ,sDAAR,C;EAK/B,C;0BAxFoEC,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BAqCpCD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BAQXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;yCACpBC,CADlCC,gBACkCD,E;oBAAAE,CAAApC,EAAAoC,EAAA;A,MAAE,qCAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;4BAOpBJ,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BAQXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BASXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;+CAIfI,CADYF,gBACZE,E;oBAAAC,CAAE,2CAAFA,EAAA;A,UAAGC,IAAD,2CAAC,K;UAAGC,IAAJ,2CAAI,K;MACzC,OACI,CAAA,CAAE,QAAU,CAAE,KAAZ,GAAY,KAAd,IAAwB,WAAW,+BAAG,CAAE,aAAa,KAAlB,EAAwB,CAAE,aAAa,KAAvC,EAA6C,gBAA7C,EAAX,CAAxB,GACA,CAAA,CAAE,QAAU,CAAE,KAAZ,GAAY,KAAd,IAAwB,WAAW,+BAAG,CAAE,aAAL,EAAmB,CAAE,aAArB,EAAmC,gBAAnC,EAAX,CAAxB,GACQ,8BAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;gDAGuCC,CADKN,gBACLM,E;oBAAAC,CAAE,2CAAFA,EAAA;A,UAAGH,IAAD,2CAAC,K;UAAGC,IAAJ,2CAAI,K;MACzC,OACI,CAAA,CAAE,QAAW,CAAE,KAAb,GAAa,KAAf,IAA0B,WAAW,+BAAG,CAAE,cAAc,KAAnB,EAAyB,CAAE,cAAc,KAAzC,EAA+C,gBAA/C,EAAX,CAA1B,GACQ,8BAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;4BAMuER,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;0CAeXU,CAf3CR,gBAe2CQ,E;oBAAAC,CAAA5C,EAAA4C,EAAA;A,MAAE,qCAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBA5KvG7B,CAAea,G,EAAwBC,GAAvCd,EAAL;A,IAAsE,oBAAS,GAAT,EAAc,GAAd,C;IAAlD,gB;IAAwB,gB;EAA5C,C;mCAA6B8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEzDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;wCA7DvBC,CAAAA,EAAA;A,IAAA,iE;EAAA,C;wCAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;sCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,iC;MAAA,Y;QAAA,sE;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;qBAmESpC,CAAiBa,G,EAAuBC,GAAxCd,EAAL;A,IAAuE,oBAAS,GAAT,EAAc,GAAd,C;IAAjD,gB;IAAuB,gB;EAA7C,C;qCAA+B8B,CAAAA,EAAA;A,IAAA,iB;EAAW,C;qCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;gDAE9DO,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;0CA5ErDR,CAAAA,EAAA;A,IAAA,mE;EAAA,C;0CAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;wCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;qBAgFSpC,CAAiBa,G,EAAwBC,GAAzCd,EAAL;A,IAAwE,oBAAS,GAAT,EAAc,GAAd,C;IAAlD,gB;IAAwB,gB;EAA9C,C;qCAA+B8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAE3DW,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;0CAlFvBT,CAAAA,EAAA;A,IAAA,mE;EAAA,C;0CAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;wCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;wBAwFSpC,CAAoBa,G,EAAwBC,GAA5Cd,EAAL;A,IAA2E,oBAAS,GAAT,EAAc,GAAd,C;IAAlD,gB;IAAwB,gB;EAAjD,C;wCAAkC8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAE9DY,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;6CA1FvBV,CAAAA,EAAA;A,IAAA,sE;EAAA,C;6CAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;2CAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;QAAA,2E;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;oBAoHIpC,CAAAA,EAAA;A;EAAA,C;oCAMI4C,CAAO/B,G,EAAWC,G,EAAWC,eAA7B6B,EACI;A;IACI,IAAA,GAAI,QAAS,GAAI,KAAb,GAAa,KAAjB,C;;MACI,IAAI,gBAAgB,GAAhB,EAAqB,GAArB,CAAJ,C;gBACI,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;;;WAGJ,IAAJ,GAAI,M;YAAS,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;WACT,IAAJ,GAAI,M;YAAS,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;WACb,IAAA,GAAI,QAAc,GAAI,KAAlB,GAAkB,KAAtB,C;;MACI,IAAI,gBAAgB,GAAhB,EAAqB,GAArB,CAAJ,C;gBACI,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,kBAAc,GAAd,EAAmB,GAAnB,C;;;WAGR,IAAA,GAAI,eAAc,GAAI,KAAtB,C;YAAoC,kBAAc,GAAd,EAAmB,GAAnB,C;WACpC,IAAA,GAAI,QAAY,GAAI,KAAhB,GAAgB,KAApB,C;UACIC,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MACpB,IAAI,EAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,WAAsC,EAAA,SAAU,KAAV,KAAqB,SAAU,KAA/B,CAA1C,C;gBACI,kBAAc,SAAd,EAAyB,SAAzB,C;;gBAEA,eAAW,SAAX,EAAsB,SAAtB,C;;;;YAGA,eAAW,GAAX,EAAgB,GAAhB,C;;IACX,U;EAAD,C;mCA7BJC,CAAOlC,G,EAAWC,G,EAAWC,e,QAA7BgC,E;;;YAAwE,iB;;;;;;G;oCAmCxEH,CACII,I,EACAjC,eAFJ6B,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,IAAR,EAAe,IAAf,CAAoB,IAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACAjC,e,QAFJgC,E;;;YAE+C,mB;;;;;;G;oCAM/CE,CACIC,K,EACAnC,eAFJkC,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACAnC,e,QAFJoC,E;;;YAE+C,mB;;;;;;G;oCAM/CF,CACIC,K,EACAnC,eAFJkC,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACAnC,e,QAFJoC,E;;;YAE+C,mB;;;;;;G;oCAM/CF,CACIC,K,EACAnC,eAFJkC,EAGwB;A,IAAyC,OAAzC,SAAK,WAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACAnC,e,QAFJoC,E;;;YAE+C,mB;;;;;;G;oCAO/CC,CACIJ,I,EACAjC,eAFJqC,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,IAAX,EAAkB,IAAlB,CAAuB,IAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACAjC,e,QAFJsC,E;;;YAE+C,mB;;;;;;G;oCAwB/CD,CAAUvC,G,EAAWC,G,EAAWC,eAAhCqC,EACI;A;IACI,IAAA,GAAI,QAAU,GAAI,KAAd,GAAc,KAAlB,C;YACI,WAAW,UAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,EAAX,C;WAEJ,IAAA,GAAI,QAAU,GAAI,KAAd,GAAc,KAAlB,C;YACI,iBAAW,GAAI,aAAf,EAA6B,GAAI,aAAjC,EAA+C,eAA/C,C;WAEJ,IAAA,GAAI,QAAW,GAAI,KAAf,GAAe,KAAnB,C;YACI,kBAAY,GAAI,cAAhB,EAA+B,GAAI,cAAnC,EAAkD,eAAlD,C;WAEJ,IAAA,GAAI,QAAY,GAAI,KAAhB,GAAgB,KAApB,C;UACIP,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MACpB,IAAI,SAAU,KAAV,KAAmB,SAAU,KAA7B,GAAsC,SAAU,KAAV,KAAqB,SAAU,KAArE,GAAsC,KAA1C,C;oBAC2B,IAAvB,SAAU,KAAa,EAAI,SAAU,KAAd,C;gBAA4B,eAAQ,gDAAR,C;;gBAEnD,WAAW,UAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,EAAX,C;;;;YAIJ,WAAW,UAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,EAAX,C;;IAEP,U;EAAD,C;sCAvBJO,CAAUxC,G,EAAWC,G,EAAWC,e,QAAhCsC,E;;;YAA2E,mB;;;;;;G;;;;;;;4BAxGhCpC,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;mBA7FvDlB,CAEHa,G,EAEAC,GAJGd,EAAP;A,IAAA,yB;IAEI,gB;IAEA,gB;EAJJ,C;mCAEwB8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAI5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;mCAQZQ,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,GAAiC,IAAjC,GAAqC,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;mCA4CPY,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAI,GAAJ,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,6BAAG,UAAH,EAAQ,UAAR,C;EAAW,C;mCASlCC,CACI1F,Y,EACAgD,eAFJ0C,EAGc;A,IAAyD,OAAzD,8BAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACI3F,Y,EACAgD,e,QAFJ2C,E;;;YAE+C,mB;;;;;;G;;;;;;;sBCtFnDC,CAAIC,aAAJD,EACI;A;;QLaoB,WAAL,aAAK,I;;;QAo+CP,uCAAa,kCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,QAuEM,I;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;;;;;ME1yCsD,YA+eioxB,IA/epoxB,K;UG9Q5CxF,oB;;;MH2RiD,YAke+nxB,IAlepoxB,K;UG3RlCC,gB;MAAkB,2BAAW,QAAX,EAAqB,IAArB,C;MLyjD5C,UAAY,GAAI,SAAJ,C;IAAmB,C;IACnC,YAAO,U;IAzEP,YAAO,S;IKj/CqE,OAA/D,S;EAA8D,C;yBAL/EgE,CAAIsB,aAAJtB,EACI;A;gBAAqB,aAAL,aAAK,C;IAA2C,OAAnD,eAAqB,WAAI,qBAAJ,CAArB,C;EAAkD,C;2BAdnEwB,CAAIF,aAAJE,EACI;A;IACI,wB;YAAgB,mBAAmB,M;WAC/B,IAAJ,mBAAI,M;YAAS,GAAA,mBAAI,YAAJ,EAAmB,mBAAnB,C;WACT,IAAJ,mBAAI,M;YAAS,GAAA,mBAAI,YAAJ,EAAmB,mBAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,GAA2D,aAA3D,C;;IACjB,U;EAAD,C;gCAQsCC,CAAA9E,EAAA8E,EAAA;A,IAAK,wBAAH,EAAG,C;EAAmB,C;uDTuCtCC,CAAAA,EAAA;A,IAAE,yC;EAAS,C;uCA0B3BhE,CADMiE,QACNjE,EAAA;A,IAAS,8BAAmB,QAAnB,C;EAAT,C;uDACakE,CAAuBC,K,EAAaC,MAApCF,EACL;A;IACI,IAAA,KAAM,QAAa,MAAO,KAApB,GAAoB,KAA1B,C;YACI,KAAM,gBAAgB,KAAM,IAAU,MAAO,gBAAgB,KAAjC,CAA5B,KAAuE,C;WAE3E,IAAA,KAAM,QAAY,MAAO,KAAnB,GAAmB,KAAzB,C;YACI,KAAM,gBAAgB,KAAa,IAAU,MAAO,gBAAgB,KAAjC,CAAnC,KAAqF,C;;YAEjF,aAAS,MAAT,C;;IACX,U;EAAD,C;wCAeRlE,CADOiE,QACPjE,EAAA;A,IAAS,8BAAmB,QAAnB,C;EAAT,C;wDACakE,CAAuBC,K,EAAaC,MAApCF,EAAoD;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;sBA5DvFlE,CAAAA,EAAA;A;cAQmB,I;IAAA,iBAAK,4CAAL,C;IA6EoB,e;EArFvC,C;sCAQgBqE,CAAAA,EAAG;A;;QEWgC,iC;IA9B0C,YA8B1C,IA9BqC,CA8BrC,KA9BqC,K;IFmBrE,gB;EAAgB,C;0CAKzBC,CAAIV,a,EAAavB,KAAjBiC,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEC,CAAIX,a,EAAavB,KAAjBkC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAevB,KAAnBmC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAIlEC,CAAIb,a,EAAuBvB,KAA3BoC,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAM/FC,CAAUzE,OAAVyE,EACI;A,IAWC,OAXD,yC;EAWA,C;wCAMJA,CAAAA,EACI;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDAM9BC,CAAW1E,OAAX0E,EACI;A,IAEC,OAFD,0C;EAEA,C;yCAMJA,CAAAA,EACI;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAU/BjE,CAAW2B,K,EAAmBuC,QAA9BlE,EACI;A;IAAA,IAAI,KAAJ,6B;YACI,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCALJmE,CAAWxC,K,EAAmBuC,Q,QAA9BC,E;mCAOmC,E;;G;;;;;;;;;;0BA7EvBC,CAAAA,E;kCAAA,S,KAAA,U,WAAAzE,CAVMC,QAUND,E;;K,EAAA,I;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],"names":["mgu","term1","term2","match","occurCheckEnabled","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","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","<init>","context","<get-context>","quickMerge","contextEquations$factory","get","receiver","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","l","r","Equation$Companion$allOfTuples$lambda","Equation$Companion$allOfTuples$lambda$lambda","Equation$Companion$allOf$lambda","Equation$Companion$allOf$lambda$lambda","<get-lhs>","<get-rhs>","<get-isIdentity>","toString","hashCode","result","equals","other","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","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default","default$factory"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAsBIA,CACIC,K,EACAC,KAFJF,EAGkB;A,IAAuB,OAAvB,SAAI,KAAJ,EAAW,KAAX,EAAkB,IAAlB,C;EAAsB,C;8BAIxCG,CACIF,K,EACAC,K,EACAE,iBAHJD,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAK1EA,CACIF,K,EACAC,KAFJC,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BAIrCE,CACIJ,K,EACAC,K,EACAE,iBAHJC,EAIS;A,QACLC,eAAmB,SAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;IACnB,OAAW,YAAa,MAAjB,GAA2B,IAA3B,GAAqC,qBAAM,YAAN,K;EAChD,C;gBAIAD,CACIJ,K,EACAC,KAFJG,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;;;;;;;;;;;;;;wCC7DLG,C,KAAAA,EAAG;A;iBCML,K,CAAA,K;IAAA,0B;IDNK,OC8BgC,W;ED9BH,C;0BASzEC,C,OACJC,Q,EACAC,IAFIF,EAIJ;A;IACS,IAAL,IAAK,M;YAAS,UAAmB,QAAnB,EAA6B,IAA7B,C;WACT,IAAL,IAAK,M;;;;YEksCD,gBA5rCyC,IAAK,KA4rC9C,I;eAAA,iB,EAAhB;A,cAAKG,UAAW,iB;;UAAM,IFlsC4B,uBAAgB,QAAhB,EA2HqqmC,OA3HrqmC,CEksC5B,C;YAAwB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YFnsCqC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,C,OACJd,K,EACAC,KAFIa,EAGgB;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAErEA,C,OACJP,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,C,OACJV,Y,EACAW,S,EACAC,WAHIF,EAIG;A,QACPG,UAAc,W;QAcJ,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;gBAEQpB,C,OACJiB,S,EACAb,iBAFIJ,EAGQ;A,QACZmB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVE,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAW,I;QAEb,IAAH,EAAG,O,CAAmB;A,UAClB,OAAO,gC;QACX,C,MACG,IAAH,EAAG,O,CAAc;A,UACb,UAAW,I;UACX,UAAU,I;QACd,C,MACG,IAAH,EAAG,O,CAAgB;A,cACfC,aAAiB,EAAG,M;UACpB,IAAI,oBAAqB,uBAAgB,UAAhB,CAA2B,KAA3B,EAAgC,EAAG,MAAnC,CAArB,GAAqB,KAAzB,C,CAAkE;A,YAC9D,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,iBACN,oCACI,UAAW,iBADf,EAEI,SAFJ,EAGI,UAAW,KAHf,C;UAKR,C;QACJ,C,MACG,IAAH,EAAG,O,CAAgB;A,UACf,UAAW,I;cACW,oCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;4BAAA,iB,EAAX;A,gBAAKC,KAAM,iB;YAEX,IAAH,EAAG,O;cAAc,kB;iBACd,IAAH,EAAG,O;cAAmB,OAAO,gC;;cACrB,UAAW,IAAI,EAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;sBGuoBQ,yB;QA2FA,kBAxrBsB,SAwrBtB,I;WAAA,mB,EAAhB;A,UAAKV,UAAW,mB;;MAAM,IHjsBipnB,OA/BlonB,MGguBf,C,CAAoC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IHhuB7D,OAA4C,eGiuB7C,WHjuB6C,C;EAChD,C;mBA4BQW,C,OAAiBC,KAAjBD,EAAuD;A;oBIvCnB,yB;IJuCoD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;mDA/F3FE,CALAC,U,EADAC,a,EADJC,M,EAKIX,O,EAEgBC,CAAhBO,EAAwB;A,IACpB,IAAI,cAAU,CAAV,CAAa,gBAAmB,cAAU,CAAV,CAAa,MAAjD,C;MAA6D,oB;QAE7DI,YAAgB,cAAU,CAAV,C;QACqC,iBAA9B,SAAU,OAAM,aAAN,CAAoB,S;QAAhDC,SAAgD,cAAhD,K;QAAQC,SAAwC,cAAxC,K;IAEb,IAAI,CAAA,SAAU,MAAV,QAAiB,MAAjB,WAA2B,CAAA,SAAU,MAAV,QAAiB,MAAjB,CAA/B,C,CAAwD;A;MACpD,aAAU,CAAV,EAAwB,QAAG,MAAH,EAAW,MAAX,EAAmB,mDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;8DAnDqDC,CAJjE,MAIiEA,E;oBAAAC,CAAAA,EAAA;A,MAAU,mBAAR,WAAQ,C;IAAc,C;G;oDAuB5BC,C,UAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAuB,C;;;G;iDAONC,CAAAd,EAAAc,EAAA;A;IAAK,OK4RnB,SA1RuB,EA0RlB,KAAL,EA1RuB,EA0Rb,KAAV,C;EL5R4B,C;sDAkB7BF,C,UAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAuB,C;;;G;6BAlDlFE,CAAYC,OAAZD,EAFJ;A,iCAEqD,+B;IAArC,oB;cAE4C,I;IAAA,iBAAK,yDAAL,C;EAJ5D,C;4CAEyBE,CAAAA,EAAA;A,IAAA,iB;EAAkC,C;6CAgH1CzC,CACLC,K,EACAC,K,EACAE,iBAHKJ,EAIO;A,IACZ,IAAI,SAAQ,MAAZ,C;MAAsB,OAAO,gC;QAC7BiB,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,EACAL,iBAHKG,EAIO;A,IACZ,IAAI,CAAA,SAAQ,gBAAY,aAAc,MAAlC,WAA8C,aAAc,MAAhE,C;MAA0E,OAAO,gC;IACjF,IAAI,CAAC,iBAAL,C,CAAwB;A,UACpBmC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACjB,IAAI,UAAW,MAAf,C,CAA0B;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACAzB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAI,SAAJ,EAAe,iBAAf,C;EACX,C;8DAjGCT,a,EACOC,a,EAEhBL,iB;;;mCAxCyDuC,CAAAA,E;kCAAA,kB,KAAA,U,WAAAC,CA0CmBC,QA1CnBD,E;;K,EAAA,I;G;2BMFzDL,CACIO,S,EACAC,aAFJR,EAAA;A,IACI,sB;IAG8D,mCAAU,aAAV,C;EAJlE,C;2CASavC,CACLC,K,EACAC,K,EACAE,iBAHKJ,EAIO;A,QACZgD,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;2CAES3C,CACLC,a,EACAC,a,EACAL,iBAHKG,EAIO;A,QACZyC,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;4DAEoO1C,a,EAAqCC,a,EAAqCL,iB;;;qBCiJlS+C,C,OACJC,G,EACAC,G,EACAC,eAHIH,EAKJ;A,cAAa,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,aAAQ,qDAAR,C;EAM/B,C;sBAEII,C,OACJH,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;IAAW,C;;;G;4BAsCXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BAQXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;yCACpBC,CADlCC,gBACkCD,E;oBAAAE,CAAApC,EAAAoC,EAAA;A,MAAE,gCAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;4BAOpBJ,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BAQXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;4BASXD,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;+CAQfI,CAFvCF,gBAEuCE,E;oBAAAC,CAAE,2CAAFA,EAAA;A,UAAGC,IAAD,2CAAC,K;UAAGC,IAAJ,2CAAI,K;MACzC,OACI,CAAA,CAAE,QAAU,CAAE,KAAZ,GAAY,KAAd,IAAwB,WAAW,0BAAG,CAAE,aAAa,KAAlB,EAAwB,CAAE,aAAa,KAAvC,EAA6C,gBAA7C,EAAX,CAAxB,GACA,CAAA,CAAE,QAAU,CAAE,KAAZ,GAAY,KAAd,IAAwB,WAAW,0BAAG,CAAE,aAAL,EAAmB,CAAE,aAArB,EAAmC,gBAAnC,EAAX,CAAxB,GACQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;gDAOuCC,CAFvCN,gBAEuCM,E;oBAAAC,CAAE,2CAAFA,EAAA;A,UAAGH,IAAD,2CAAC,K;UAAGC,IAAJ,2CAAI,K;MACzC,OACI,CAAA,CAAE,QAAW,CAAE,KAAb,GAAa,KAAf,IACI,WACI,0BAAG,CAAE,cAAc,KAAnB,EAAyB,CAAE,cAAc,KAAzC,EAA+C,gBAA/C,EADJ,CADJ,GAIQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;4BAS2CR,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;0CAgBiBU,CAhBvER,gBAgBuEQ,E;oBAAAC,CAAA5C,EAAA4C,EAAA;A,MAAE,gCAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBA9LvG7B,CAAea,G,EAAwBC,GAAvCd,EAAL;A,IAAsE,oBAAS,GAAT,EAAc,GAAd,C;IAAlD,gB;IAAwB,gB;EAA5C,C;mCAA6B8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEzDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;wCA5DvBC,CAAAA,EAAA;A,IAAA,iE;EAAA,C;wCAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;sCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,iC;MAAA,Y;QAAA,sE;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;qBAkESpC,CAAiBa,G,EAAuBC,GAAxCd,EAAL;A,IAAuE,oBAAS,GAAT,EAAc,GAAd,C;IAAjD,gB;IAAuB,gB;EAA7C,C;qCAA+B8B,CAAAA,EAAA;A,IAAA,iB;EAAW,C;qCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;gDAE9DO,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;0CA3ErDR,CAAAA,EAAA;A,IAAA,mE;EAAA,C;0CAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;wCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;qBA+ESpC,CAAiBa,G,EAAwBC,GAAzCd,EAAL;A,IAAwE,oBAAS,GAAT,EAAc,GAAd,C;IAAlD,gB;IAAwB,gB;EAA9C,C;qCAA+B8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAE3DW,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;0CAjFvBT,CAAAA,EAAA;A,IAAA,mE;EAAA,C;0CAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;wCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;wBAuFSpC,CAAoBa,G,EAAwBC,GAA5Cd,EAAL;A,IAA2E,oBAAS,GAAT,EAAc,GAAd,C;IAAlD,gB;IAAwB,gB;EAAjD,C;wCAAkC8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAAYC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAE9DY,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;6CAzFvBV,CAAAA,EAAA;A,IAAA,sE;EAAA,C;6CAAAC,CAAAA,EAAA;A,QAAAC,8B;IAAA,qD;IAAA,a;EAAA,C;2CAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;QAAA,2E;IAAA,mD;MAAA,Y;IAAA,mD;MAAA,Y;IAAA,W;EAAA,C;oBAmHIpC,CAAAA,EAAA;A,EAAA,C;oCAKI4C,CACI/B,G,EACAC,G,EACAC,eAHJ6B,EAKI;A;IACI,IAAA,GAAI,QAAS,GAAI,KAAb,GAAa,KAAjB,C;;MACI,IAAI,gBAAgB,GAAhB,EAAqB,GAArB,CAAJ,C;gBACI,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;;;WAGJ,IAAJ,GAAI,M;YAAS,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;WACT,IAAJ,GAAI,M;YAAS,eAAW,GAAI,YAAf,EAA4B,GAA5B,C;WACb,IAAA,GAAI,QAAc,GAAI,KAAlB,GAAkB,KAAtB,C;;MACI,IAAI,gBAAgB,GAAhB,EAAqB,GAArB,CAAJ,C;gBACI,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,kBAAc,GAAd,EAAmB,GAAnB,C;;;WAGR,IAAA,GAAI,eAAc,GAAI,KAAtB,C;YAAoC,kBAAc,GAAd,EAAmB,GAAnB,C;WACpC,IAAA,GAAI,QAAY,GAAI,KAAhB,GAAgB,KAApB,C;UACIC,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MACpB,IAAI,EAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,WAAsC,EAAA,SAAU,KAAV,KAAqB,SAAU,KAA/B,CAA1C,C;gBACI,kBAAc,SAAd,EAAyB,SAAzB,C;;gBAEA,eAAW,SAAX,EAAsB,SAAtB,C;;;;YAGA,eAAW,GAAX,EAAgB,GAAhB,C;;IACX,U;EAAD,C;mCAjCJC,CACIlC,G,EACAC,G,EACAC,e,QAHJgC,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACAjC,eAFJ6B,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,IAAR,EAAe,IAAf,CAAoB,IAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACAjC,e,QAFJgC,E;;;YAE+C,mB;;;;;;G;oCAM/CE,CACIC,K,EACAnC,eAFJkC,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACAnC,e,QAFJoC,E;;;YAE+C,mB;;;;;;G;oCAM/CF,CACIC,K,EACAnC,eAFJkC,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACAnC,e,QAFJoC,E;;;YAE+C,mB;;;;;;G;oCAM/CF,CACIC,K,EACAnC,eAFJkC,EAGwB;A,IAAyC,OAAzC,SAAK,WAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACAnC,e,QAFJoC,E;;;YAE+C,mB;;;;;;G;oCAO/CC,CACIJ,I,EACAjC,eAFJqC,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,IAAX,EAAkB,IAAlB,CAAuB,IAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACAjC,e,QAFJsC,E;;;YAE+C,mB;;;;;;G;oCAmC/CD,CACIvC,G,EACAC,G,EACAC,eAHJqC,EAKI;A;IACI,IAAA,GAAI,QAAU,GAAI,KAAd,GAAc,KAAlB,C;YACI,WAAW,UAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,EAAX,C;WAEJ,IAAA,GAAI,QAAU,GAAI,KAAd,GAAc,KAAlB,C;YACI,iBAAW,GAAI,aAAf,EAA6B,GAAI,aAAjC,EAA+C,eAA/C,C;WAEJ,IAAA,GAAI,QAAW,GAAI,KAAf,GAAe,KAAnB,C;YACI,kBAAY,GAAI,cAAhB,EAA+B,GAAI,cAAnC,EAAkD,eAAlD,C;WAEJ,IAAA,GAAI,QAAY,GAAI,KAAhB,GAAgB,KAApB,C;UACIP,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MACpB,IAAI,SAAU,KAAV,KAAmB,SAAU,KAA7B,GAAsC,SAAU,KAAV,KAAqB,SAAU,KAArE,GAAsC,KAA1C,C;oBAC2B,IAAvB,SAAU,KAAa,EAAI,SAAU,KAAd,C;gBAA4B,eAAQ,gDAAR,C;;gBAEnD,WAAW,UAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,EAAX,C;;;;YAIJ,WAAW,UAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,EAAX,C;;IAEP,U;EAAD,C;sCA3BJO,CACIxC,G,EACAC,G,EACAC,e,QAHJsC,E;;;YAG+C,mB;;;;;;G;;;;;4BAzHJpC,CAAAA,E;qBAAAC,C,MAAAA,EAAA;A;IAAW,C;;;G;mBA5FvDlB,CAEHa,G,EAEAC,GAJGd,EAAP;A,IAEI,gB;IAEA,gB;EAJJ,C;mCAEwB8B,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAG5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;mCAQZQ,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,GAAiC,IAAjC,GAAqC,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;mCA4CPY,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAI,GAAJ,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,CACI1F,Y,EACAgD,eAFJ0C,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACI3F,Y,EACAgD,e,QAFJ2C,E;;;YAE+C,mB;;;;;;G;sBCvFnDC,CAAIC,aAAJD,EACI;A;iBLeO,aAAK,K;;sBAo+CC,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,MAuEM,I;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;;;UKzjDJxF,WAOuhnD,IHmRh+mD,K;;UG1R7CC,OAO6gnD,IHgSh+mD,K;sBGtSnD,eAAW,QAAX,EAAqB,IAArB,C;MLyjDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKxjDlC,OLyjDM,W;EKzjDP,C;yBAPJgE,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;WAC/B,IAAJ,mBAAI,M;YAAS,GAAA,mBAAI,YAAJ,EAAmB,mBAAnB,C;WACT,IAAJ,mBAAI,M;YAAS,GAAA,mBAAI,YAAJ,EAAmB,mBAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,GAA2D,aAA3D,C;;IACjB,U;EAAD,C;gCAM0FC,CAAA9E,EAAA8E,EAAA;A,IAAK,wBAAH,EAAG,C;EAAmB,C;uDT8D1FC,CAAAA,EAAA;A,IAAE,yC;EAAS,C;uCA0B3BhE,CADMiE,QACNjE,EAAA;A,IAAS,8BAAmB,QAAnB,C;EAAT,C;uDACakE,CACLC,K,EACAC,MAFKF,EAGL;A;IACA,IAAA,KAAM,QAAa,MAAO,KAApB,GAAoB,KAA1B,C;YACI,KAAM,gBAAgB,KAAM,IAAU,MAAO,gBAAgB,KAAjC,CAA5B,KAAuE,C;WAE3E,IAAA,KAAM,QAAY,MAAO,KAAnB,GAAmB,KAAzB,C;YACI,KAAM,gBAAgB,MAAa,IAAU,MAAO,gBAAgB,MAAjC,CAAnC,KAAqF,C;;YAEjF,aAAS,MAAT,C;;IACX,U;EAAD,C;wCAcJlE,CADOiE,QACPjE,EAAA;A,IAAS,8BAAmB,QAAnB,C;EAAT,C;wDACakE,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;sBA/D9BlE,CAAAA,EAAA;A;cAOmB,I;IAAA,iBAAK,4CAAL,C;IAmFoB,e;EA1FvC,C;sCAOgBqE,CAAAA,EAAG;A;iBELX,I,CAAA,K;IAAA,iB;IFKW,OExCqE,W;EFwCrD,C;0CAKzBC,CAAIV,a,EAAavB,KAAjBiC,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEC,CAAIX,a,EAAavB,KAAjBkC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAevB,KAAnBmC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAIlEC,CAAIb,a,EAAuBvB,KAA3BoC,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAM/FC,CAAUzE,OAAVyE,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAMJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDAMpDC,CAAW1E,OAAX0E,EACI;A,IAKC,OALD,0C;EAKA,C;yCAMJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAUtDjE,CACI2B,K,EACAuC,QAFJlE,EAII;A;IAAA,IAAI,KAAJ,6B;YACI,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJmE,CACIxC,K,EACAuC,Q,QAFJC,E;mCAEoB,E;;G;;;;;;;;;0BA3ERC,CAAAA,E;kCAAA,S,KAAA,U,WAAAzE,CAbZC,QAaYD,E;;K,EAAA,I;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|