@tuprolog/2p-full 1.5.1 → 2.0.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.
Files changed (27) hide show
  1. package/2p-bdd.js +7 -7
  2. package/2p-core.js +45 -45
  3. package/2p-gui-plp.js +15 -0
  4. package/2p-gui-plp.js.map +1 -0
  5. package/2p-gui.js +15 -0
  6. package/2p-gui.js.map +1 -0
  7. package/2p-ide-web.js +15 -0
  8. package/2p-ide-web.js.map +1 -0
  9. package/2p-solve-classic.js +25 -25
  10. package/2p-solve-plp.js +1 -1
  11. package/2p-solve-problog.js +17 -17
  12. package/2p-solve-streams.js +28 -28
  13. package/2p-solve.js +68 -73
  14. package/2p-solve.js.map +1 -1
  15. package/2p-theory.js +28 -28
  16. package/2p-unify.js +14 -14
  17. package/2p-unify.js.map +1 -1
  18. package/2p-utils.js +22 -22
  19. package/README.md +83 -66
  20. package/kotlin-kotlin-stdlib.js +133 -134
  21. package/kotlin-kotlin-stdlib.js.map +1 -1
  22. package/kotlinx-serialization-kotlinx-serialization-core.js +15 -0
  23. package/kotlinx-serialization-kotlinx-serialization-core.js.map +1 -0
  24. package/kotlinx-serialization-kotlinx-serialization-json.js +15 -0
  25. package/kotlinx-serialization-kotlinx-serialization-json.js.map +1 -0
  26. package/kt-math.js +25 -25
  27. package/package.json +3 -2
package/2p-theory.js CHANGED
@@ -23,22 +23,22 @@
23
23
  //region block: imports
24
24
  var imul = Math.imul;
25
25
  var protoOf = kotlin_kotlin.$_$.p6;
26
- var asIterable = kotlin_kotlin.$_$.l7;
27
- var any = kotlin_kotlin.$_$.k7;
26
+ var asIterable = kotlin_kotlin.$_$.k7;
27
+ var any = kotlin_kotlin.$_$.j7;
28
28
  var asSequence = kotlin_kotlin.$_$.a2;
29
- var getKClassFromExpression = kotlin_kotlin.$_$.f7;
29
+ var getKClassFromExpression = kotlin_kotlin.$_$.e7;
30
30
  var joinToString = kotlin_kotlin.$_$.t2;
31
31
  var initMetadataForClass = kotlin_kotlin.$_$.a6;
32
32
  var Unit_instance = kotlin_kotlin.$_$.m;
33
- var toList = kotlin_kotlin.$_$.v8;
34
- var none = kotlin_kotlin.$_$.j8;
33
+ var toList = kotlin_kotlin.$_$.u8;
34
+ var none = kotlin_kotlin.$_$.i8;
35
35
  var VOID = kotlin_kotlin.$_$.b;
36
36
  var emptyList = kotlin_kotlin.$_$.l2;
37
37
  var asIterable_0 = kotlin_kotlin.$_$.w1;
38
38
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.n;
39
39
  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.n;
40
40
  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.c1;
41
- var getKClass = kotlin_kotlin.$_$.g7;
41
+ var getKClass = kotlin_kotlin.$_$.f7;
42
42
  var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
43
43
  var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.e1;
44
44
  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
@@ -52,20 +52,20 @@
52
52
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.b1;
53
53
  var asReversed = kotlin_kotlin.$_$.x1;
54
54
  var isInterface = kotlin_kotlin.$_$.j6;
55
- var KProperty1 = kotlin_kotlin.$_$.h7;
55
+ var KProperty1 = kotlin_kotlin.$_$.g7;
56
56
  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
57
57
  var constructCallableReference = kotlin_kotlin.$_$.r5;
58
- var lazy = kotlin_kotlin.$_$.ua;
58
+ var lazy = kotlin_kotlin.$_$.ta;
59
59
  var CoroutineImpl = kotlin_kotlin.$_$.p4;
60
- var THROW_CCE = kotlin_kotlin.$_$.oa;
61
- var SequenceScope = kotlin_kotlin.$_$.i7;
60
+ var THROW_CCE = kotlin_kotlin.$_$.na;
61
+ var SequenceScope = kotlin_kotlin.$_$.h7;
62
62
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o4;
63
63
  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
64
- var sequence = kotlin_kotlin.$_$.p8;
64
+ var sequence = kotlin_kotlin.$_$.o8;
65
65
  var listOf = kotlin_kotlin.$_$.c3;
66
66
  var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.g1;
67
- var sequenceOf = kotlin_kotlin.$_$.n8;
68
- var flatten = kotlin_kotlin.$_$.z7;
67
+ var sequenceOf = kotlin_kotlin.$_$.m8;
68
+ var flatten = kotlin_kotlin.$_$.y7;
69
69
  var initMetadataForObject = kotlin_kotlin.$_$.f6;
70
70
  var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.i;
71
71
  var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.j;
@@ -76,24 +76,24 @@
76
76
  var plus = kotlin_kotlin.$_$.u3;
77
77
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.o;
78
78
  var minOrNull = kotlin_kotlin.$_$.g3;
79
- var map = kotlin_kotlin.$_$.h8;
80
- var ensureNotNull = kotlin_kotlin.$_$.sa;
79
+ var map = kotlin_kotlin.$_$.g8;
80
+ var ensureNotNull = kotlin_kotlin.$_$.ra;
81
81
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.q;
82
- var sum = kotlin_kotlin.$_$.q8;
82
+ var sum = kotlin_kotlin.$_$.p8;
83
83
  var Collection = kotlin_kotlin.$_$.p1;
84
- var filter = kotlin_kotlin.$_$.v7;
85
- var emptySequence = kotlin_kotlin.$_$.r7;
84
+ var filter = kotlin_kotlin.$_$.u7;
85
+ var emptySequence = kotlin_kotlin.$_$.q7;
86
86
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
87
87
  var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.p;
88
88
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
89
89
  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
90
90
  var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.v;
91
91
  var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
92
- var flatMap = kotlin_kotlin.$_$.y7;
93
- var sequenceOf_0 = kotlin_kotlin.$_$.o8;
94
- var firstOrNull = kotlin_kotlin.$_$.w7;
95
- var NotImplementedError = kotlin_kotlin.$_$.ja;
96
- var take = kotlin_kotlin.$_$.s8;
92
+ var flatMap = kotlin_kotlin.$_$.x7;
93
+ var sequenceOf_0 = kotlin_kotlin.$_$.n8;
94
+ var firstOrNull = kotlin_kotlin.$_$.v7;
95
+ var NotImplementedError = kotlin_kotlin.$_$.ia;
96
+ var take = kotlin_kotlin.$_$.r8;
97
97
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.e1;
98
98
  var get_ONE = kotlin_kotlin.$_$.s4;
99
99
  var add = kotlin_kotlin.$_$.t4;
@@ -103,15 +103,15 @@
103
103
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.t;
104
104
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
105
105
  var numberRangeToNumber = kotlin_kotlin.$_$.l6;
106
- var plus_0 = kotlin_kotlin.$_$.l8;
106
+ var plus_0 = kotlin_kotlin.$_$.k8;
107
107
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
108
108
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
109
109
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
110
110
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.g;
111
111
  var first_0 = kotlin_kotlin.$_$.q2;
112
- var filterNotNull = kotlin_kotlin.$_$.t7;
112
+ var filterNotNull = kotlin_kotlin.$_$.s7;
113
113
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
114
- var filterNot = kotlin_kotlin.$_$.u7;
114
+ var filterNot = kotlin_kotlin.$_$.t7;
115
115
  var asSequence_0 = kotlin_kotlin.$_$.b2;
116
116
  var fromInt = kotlin_kotlin.$_$.y4;
117
117
  var emptyMap = kotlin_kotlin.$_$.m2;
@@ -119,9 +119,9 @@
119
119
  var listOf_0 = kotlin_kotlin.$_$.b3;
120
120
  var none_0 = kotlin_kotlin.$_$.p3;
121
121
  var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.w;
122
- var Pair = kotlin_kotlin.$_$.ma;
122
+ var Pair = kotlin_kotlin.$_$.la;
123
123
  var toMutableList = kotlin_kotlin.$_$.k4;
124
- var toMutableList_0 = kotlin_kotlin.$_$.w8;
124
+ var toMutableList_0 = kotlin_kotlin.$_$.v8;
125
125
  var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.o;
126
126
  var addAll = kotlin_kotlin.$_$.t1;
127
127
  //endregion
package/2p-unify.js CHANGED
@@ -25,34 +25,34 @@
25
25
  var toString = kotlin_kotlin.$_$.s6;
26
26
  var hashCode = kotlin_kotlin.$_$.z5;
27
27
  var equals = kotlin_kotlin.$_$.t5;
28
- var KProperty1 = kotlin_kotlin.$_$.h7;
28
+ var KProperty1 = kotlin_kotlin.$_$.g7;
29
29
  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
30
30
  var asSequence = kotlin_kotlin.$_$.z1;
31
- var plus = kotlin_kotlin.$_$.l8;
32
- var map = kotlin_kotlin.$_$.h8;
31
+ var plus = kotlin_kotlin.$_$.k8;
32
+ var map = kotlin_kotlin.$_$.g8;
33
33
  var Unit_instance = kotlin_kotlin.$_$.m;
34
34
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.p;
35
35
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.o;
36
- var toCollection = kotlin_kotlin.$_$.t8;
36
+ var toCollection = kotlin_kotlin.$_$.s8;
37
37
  var constructCallableReference = kotlin_kotlin.$_$.r5;
38
- var Pair = kotlin_kotlin.$_$.ma;
39
- var lazy = kotlin_kotlin.$_$.ua;
38
+ var Pair = kotlin_kotlin.$_$.la;
39
+ var lazy = kotlin_kotlin.$_$.ta;
40
40
  var asSequence_0 = kotlin_kotlin.$_$.a2;
41
- var THROW_CCE = kotlin_kotlin.$_$.oa;
41
+ var THROW_CCE = kotlin_kotlin.$_$.na;
42
42
  var VOID = kotlin_kotlin.$_$.b;
43
43
  var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
44
- var Triple = kotlin_kotlin.$_$.qa;
44
+ var Triple = kotlin_kotlin.$_$.pa;
45
45
  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
46
- var zip = kotlin_kotlin.$_$.a9;
47
- var flatMap = kotlin_kotlin.$_$.y7;
48
- var sequenceOf = kotlin_kotlin.$_$.o8;
46
+ var zip = kotlin_kotlin.$_$.z8;
47
+ var flatMap = kotlin_kotlin.$_$.x7;
48
+ var sequenceOf = kotlin_kotlin.$_$.n8;
49
49
  var defineProp = kotlin_kotlin.$_$.s5;
50
- var sequenceOf_0 = kotlin_kotlin.$_$.n8;
50
+ var sequenceOf_0 = kotlin_kotlin.$_$.m8;
51
51
  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
52
- var getKClass = kotlin_kotlin.$_$.g7;
52
+ var getKClass = kotlin_kotlin.$_$.f7;
53
53
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.z;
54
54
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.b1;
55
- var to = kotlin_kotlin.$_$.za;
55
+ var to = kotlin_kotlin.$_$.ya;
56
56
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
57
57
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
58
58
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
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","<init>","result","<get-contextEquations>","occurrenceCheck","variable","term","element","equationsFor","applySubstitutionToEquations","equations","exceptIndex","changed","i","request","eqIterator","eq","assignment","it","subEq","newDeque","items","AbstractUnificator$contextEquations$delegate$lambda","AbstractUnificator$contextEquations$delegate$lambda$lambda","AbstractUnificator$checkTermsEquality$ref","p0","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","applySubstitutionToEquations$handleIndex","currentEq","newLhs","newRhs","context","<get-context>","handleResult","handleEquation","equation","quickMerge","decorated","cacheCapacity","mguRequest","cached","mguResult","allOfLists","lhs","rhs","equalityChecker","allOfTuples","Term$equals$ref","Term$equals$ref$lambda","Equation$Companion$from$lambda","Equation$Companion$from$lambda$lambda","Equation$Companion$allOfLists$lambda","Equation$Companion$allOfLists$lambda$lambda","Equation$Companion$allOfTuples$lambda","Equation$Companion$allOfTuples$lambda$lambda","Equation$Companion$allOf$lambda","Equation$Companion$allOf$lambda$lambda","<get-lhs>","<get-rhs>","<get-isIdentity>","asIdentity","clone","<get-isAssignment>","asAssignment","toAssignmentPair","toSubstitution","<get-variable>","<get-term>","<get-isLeftAssignment>","asLeftAssignment","toPair","<get-isRightAssignment>","asRightAssignment","<get-isComparison>","asComparison","<get-isContradiction>","asContradiction","of","lhsStruct","rhsStruct","of$default","pair","from","pairs","from$default","allOf","allOf$default","castToIdentity","castToAssignment","castToLeftAssignment","castToRightAssignment","castToComparison","castToContradiction","clone$default","toContradiction","toTerm","swap","apply","apply$default","toEquations","<this>","item","toSubstitution$lambda","Unificator$Companion$default$delegate$lambda","checkTermsEquality","first","second","<get-default>","mguWith","other","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BA6DIA,CACIC,K,EACAC,K,EACAC,iB,QAHJH,E;qDAGiC,I;;G;cAKjCI,CACIH,K,EACAC,KAFJE,EAGkB;A,IAAuB,OAAvB,SAAI,KAAJ,EAAW,KAAX,EAAkB,IAAlB,C;EAAsB,C;8BAOxCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAO1EA,CACIJ,K,EACAC,KAFJG,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BASrCC,CACIL,K,EACAC,K,EACAC,iBAHJG,EAIS;A,QACLC,eAAmB,SAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;IACnB,OAAW,YAAa,MAAb,GAAuB,IAAvB,GAAiC,qBAAM,YAAN,K;EAChD,C;gBAIAD,CACIL,K,EACAC,KAFJI,EAGW;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;gBAmBnCE,CACIC,a,EACAC,aAFJF,EAGkB;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;;;cC3FxCG,CACVV,K,EACAC,K,EACAC,iBAHUQ,EAAA;A,IACV,kB;IACA,kB;IACA,8B;EAHU,C;sCA/CtB;A,IAAA,4H;EAAA,C;sCAAA;A,QAAAC,8B;IAAA,qD;IAAA,8D;IAAA,a;EAAA,C;yCAAA;A,IAAA,mB;MAAA,W;IAAA,4B;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;gBAsDwBD,CACZF,a,EACAC,a,EACAP,iBAHYQ,EAAA;A,IACZ,0B;IACA,0B;IACA,8B;EAHY,C;wCAtDxB;A,IAAA,4I;EAAA,C;wCAAA;A,QAAAC,6B;IAAA,oD;IAAA,8D;IAAA,a;EAAA,C;2CAAA;A,IAAA,mB;MAAA,W;IAAA,8B;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;wCA8DYC,CAAA,KAAAA,EAA4C;A,eAAA,K,CAAA,K;;;IAAA,gH;IAAA,OCXoC,S;EDWP,C;0BAczEC,CAAA,K,EACJC,Q,EACAC,IAFIF,EAIJ;A;IACI,IAAA,IAAK,KAAL,C;YAAc,UAAmB,QAAnB,EAA6B,IAA7B,C;WACd,IAAA,IAAK,KAAL,C;iBAAiB,IAAK,K;;;;YE40Cd,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IF50CoB,uBAAgB,QAAhB,EE40CV,OF50CU,CE40CpB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YF70CiC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,CAAA,K,EACJjB,K,EACAC,KAFIgB,EAGgB;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAErEA,CAAA,K,EACJT,a,EACAC,aAFIQ,EAIJ;A;gBACK,KAAc,WAAd,aAAc,CAAd,EAA2C,WAAd,aAAc,CAA3C,C;IACJ,OAFQ,iBACqD,WAAI,sCAAJ,CADrD,C;EAET,C;uCAGIC,CAAA,K,EACJZ,Y,EACAa,S,EACAC,WAHIF,EAIG;A,QACPG,eAAc,KAAdA,C;QAcU,qB;IAAV,wBAAkB,WAAlB,C;SAAA;A,YAAKC,IAAK,iB;QAAA,6C;QAAqB,kFAAY,CAAZ,C;;MAA/B,4BAAkB,WAAlB,C;QACW,oCAAc,CAAd,I;QAAiC,OAAV,SAAU,I;IAA5C,0BAAU,IAAV,C;SAAA;A,YAAKA,MAAK,mB;QAAA,iD;QAAwC,kFAAY,GAAZ,C;;MAAlD,8BAAU,IAAV,C;IAEA,OAAO,OAAP,CAAO,E;EACX,C;gBAuBQnB,CAAA,K,EACJoB,O,EACAJ,S,EACAjB,iBAHIC,EAIQ;A,QACZkB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVG,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAe,OAAf,EAAwB,UAAW,IAAnC,C;QAEL,IAAA,EAAG,MAAH,C,CAAsB;A,UAClB,OAAO,gC;QACX,C,MAEA,IAAA,EAAG,MAAH,C,CAAiB;A,UACb,UAAW,K;UACX,UAAU,I;QACd,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,cACfC,aAAiB,EAAG,mB;UAChB,yBAAqB,uBAAgB,UAAW,MAA3B,EAAqC,UAAW,MAAhD,CAArB,C,CAA4E;A,YAC5E,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,OAAV,IACI,oCACI,UAAW,MADf,EAEI,SAFJ,EAGI,UAAW,KAHf,C;UAKR,C;QACJ,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,UACf,UAAW,K;cACA,wCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;0BAAA,qB,EAA8B;A,gBAApCC,KAAM,qB;gBACPC,QAAgB,EAAG,MAAH,IAAsB,EAAG,MAAzB,GAAqC,UAAe,OAAf,EAAwB,EAAxB,CAArC,GAAsE,E;YAIlF,IAAA,KAAM,MAAN,C;cAAoB,gB;iBACpB,IAAA,KAAM,MAAN,C;cAAyB,OAAO,gC;;cACxB,UAAW,IAAI,KAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;sBGgkBY,yB;QAgGA,sBH9pBiB,SG8pBjB,I;WAAA,uB,EAAM;A,UAAjBZ,UAAW,uB;MAAU,IAAU,OH9pBmB,MG8pB7B,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IH9pBjE,OAAO,UAAa,OAAb,EAA2D,eG+pB/D,WH/pB+D,CAA3D,C;EACX,C;mBAiCQa,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QI3HJ,YAAX,yB;IJ2HgD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;8DA9KtCE,C,MAAAA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;OA9DxD,C,EAAA,C;;oDA0FyDC,CAAAC,EAAAD,E;+CAAAE,C,QAAAA,EAAA;A,aAAA,gB;IAAuB,C,EA1FhF,C,EAAA,C;G;iDAiG0EC,CAAA,EAAAA,EAAA;A;IAAa,OKyOvB,SLzOY,EKyOP,KAAL,ELzOY,EKyOF,KAAV,C;ELzOwB,C;mDAWhFC,C,4CAAgBf,CAAhBe,EAAwB;A,IAChB,IAAA,aAAU,CAAV,CAAa,MAAb,IAAgC,aAAU,CAAV,CAAa,MAA7C,C;MAAyD,oB;QAE7DC,YAAgB,aAAU,CAAV,C;QAChB,oBAAuB,SAAU,OAAM,aAAN,CAAoB,S;QAAhDC,+B;QAAQC,+B;IAET,KAAA,SAAU,MAAV,QAAiB,MAAjB,KAA2B,CAAA,SAAU,MAAV,QAAiB,MAAjB,CAA3B,C,CAAoD;A;MACpD,cAAU,CAAV,EAAwB,QAAG,MAAH,EAAW,MAAX,EAAmB,iDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;6BApFyB9B,CACpB+B,OADoB/B,EAAA;A,IAC7B,oB;cA2BoD,I;IAAA,iBAAK,yDAAL,C;EA5BvB,C;4CACpBgC,CAAAA,EAAA;A,IAAA,iB;EAAwB,C;6CAgGlBC,CACXpB,O,EACAZ,MAFWgC,EAGG;A,IAAM,OAAN,M;EAAK,C;6CAQRC,CACXrB,O,EACAsB,QAFWD,EAGD;A,IAAQ,OAAR,Q;EAAO,C;6CA4DZzC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,IACR,IAAA,SAAQ,MAAR,C;MAAkB,OAAO,gC;QAC7BgB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,mBAAa,KAAb,EAAoB,KAApB,CAAhC,CAAT,C;IAChB,OAAO,YAAY,QAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,CAAZ,EAAkD,SAAlD,EAA6D,iBAA7D,C;EACX,C;;;;6CAOSZ,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,IACR,IAAA,SAAQ,MAAR,IAAoB,aAAc,MAAlC,IAA8C,aAAc,MAA5D,C;MAAsE,OAAO,gC;IAC7E,KAAC,iBAAD,C,CAAoB;A,UACpBuC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACb,IAAA,UAAW,MAAX,C,CAAsB;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACA3B,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAY,UAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,CAAZ,EAAoE,SAApE,EAA+E,iBAA/E,C;EACX,C;;;;2BM7MkBT,CAClBqC,S,EACAC,aAFkBtC,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CAWTP,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,QACZ8C,aAAiB,WAAmB,KAAnB,EAA0B,KAA1B,EAAiC,iBAAjC,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,KAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;2CAMS5C,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,QACZ0C,aAAiB,WAA2B,aAA3B,EAA0C,aAA1C,EAAyD,iBAAzD,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,qBAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;qBCkUYC,CAAA,K,EACJC,G,EACAC,G,EACAC,eAHIH,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,eAAQ,qDAAR,C;EAM/B,C;sBAEII,CAAA,K,EACJH,G,EACAC,G,EACAC,eAHIC,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAQZ,OAR8B,eAAQ,sDAAR,C;EAQ/B,C;0BAvG2CC,CAAAA,E;+CAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C,EA/TlE,C,EAAA,C;G;yCA+W8CC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;+CAkCxBC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAKxC,OAHG,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAa,KAAlB,EAAwB,CAAE,aAAa,KAAvC,EAA6C,gBAA7C,CAAX,CAAxB,GACA,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAL,EAAmB,CAAE,aAArB,EAAmC,gBAAnC,CAAX,CAAxB,GACQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;gDAOuCC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAOxC,OALG,CAAE,KAAF,IAAa,CAAE,KAAf,GACI,WACI,yBAAG,CAAE,cAAc,KAAnB,EAAyB,CAAE,cAAc,KAAzC,EAA+C,gBAA/C,CADJ,CADJ,GAIQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;0CA+BuEC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBAhRzFxD,CACN2C,G,EACAC,GAFM5C,EAAA;A,IAAnB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFe,C;mCACNyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAGjBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;mCAENC,CAAAA,EAA6B;A,IAAI,OAAJ,I;EAAG,C;;;;mCAEhCC,CACLlB,G,EACAC,GAFKiB,EAGK;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;8CAjM/C;A,IAAA,6B;EAAA,C;2CAAA;A,IAAA,uF;EAAA,C;2CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;8CAAA;A,IAAA,mB;MAAA,W;IAAA,iC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBAqM6BD,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFqB,C;qCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAWjBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCC,CAAAA,EAA0C;A,IAAoB,OAApB,SAAK,UAAL,EAAe,UAAf,C;EAAmB,C;;;;qCAE7DC,CAAAA,EAAqC;A,IAAoC,OAAvB,gCAAQ,UAAR,EAAkB,UAAlB,C;EAAsB,C;;;;yBAS5DjE,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALL,C;yCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAW,C;yCACXC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;yCAEZQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;yCAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;yCAGlBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;yCAENC,CAAAA,EAAyC;A,IAAI,OAAJ,I;EAAG,C;;;;yCAE5CR,CACLlB,G,EACAC,GAFKiB,EAGW;A,IAAsC,OAAtC,SAAW,GAAI,YAAf,EAAkC,GAAlC,C;EAAqC,C;yCAEhDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;oDAlP9D;A,IAAA,mC;EAAA,C;iDAAA;A,IAAA,6F;EAAA,C;iDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;oDAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;0BAsP8BD,CACb2C,G,EACAC,GAFa5C,EAAA;A,IAA1B,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALJ,C;0CACbyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;0CACZC,CAAAA,EAAA;A,IAAA,iB;EAAW,C;0CAEXQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;0CAGlBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;0CAENC,CAAAA,EAA2C;A,IAAI,OAAJ,I;EAAG,C;;;;0CAE9CX,CACLlB,G,EACAC,GAFKiB,EAGY;A,IAAsC,OAAtC,SAAW,GAAX,EAAsB,GAAI,YAA1B,C;EAAqC,C;0CAEjDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;qDAvQ9D;A,IAAA,oC;EAAA,C;kDAAA;A,IAAA,8F;EAAA,C;kDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;qDAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBA2QyBD,CACR2C,G,EACAC,GAFQ5C,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAGjBe,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCb,CACLlB,G,EACAC,GAFKiB,EAGO;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;gDAvRjD;A,IAAA,+B;EAAA,C;6CAAA;A,IAAA,yF;EAAA,C;6CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;gDAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;wBA2R4BD,CACX2C,G,EACAC,GAFW5C,EAAA;A,IAAxB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFoB,C;wCACXyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAGjBiB,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;wCAENC,CAAAA,EAAuC;A,IAAI,OAAJ,I;EAAG,C;;;;wCAE1Cf,CACLlB,G,EACAC,GAFKiB,EAGU;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;wCAEnCI,CAAAA,EAA0C;A,IAAqB,OAAR,gC;EAAO,C;;;;mDAzS/E;A,IAAA,kC;EAAA,C;gDAAA;A,IAAA,4F;EAAA,C;gDAAA;A,QAAAhE,8B;IAAA,qD;IAAA,a;EAAA,C;mDAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;oBA6SID,CAAAA,EAAA;A,EAAA,C;oCAeI6E,CACIlC,G,EACAC,G,EACAC,eAHJgC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAa,GAAI,KAAjB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;;;WAGR,IAAA,GAAI,KAAJ,C;YAAa,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;WACb,IAAA,GAAI,KAAJ,C;YAAa,oBAAgB,GAAhB,EAAqB,GAAI,YAAzB,C;WACb,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,kBAAc,GAAd,EAAmB,GAAnB,C;;;WAGR,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;YAAoC,kBAAc,GAAd,EAAmB,GAAnB,C;WACpC,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIC,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,MAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,KAAsC,EAAA,SAAU,KAAV,KAAqB,SAAU,KAA/B,CAAtC,C;gBACA,kBAAc,SAAd,EAAyB,SAAzB,C;;gBAEA,eAAW,SAAX,EAAsB,SAAtB,C;;;;YAGA,eAAW,GAAX,EAAgB,GAAhB,C;;IACX,U;EAAD,C;mCAjCJC,CACIrC,G,EACAC,G,EACAC,e,QAHJmC,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACApC,eAFJgC,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,KAAR,EAAe,IAAf,CAAoB,MAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACApC,e,QAFJmC,E;;;YAE+C,iB;;;;;;G;oCAO/CE,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAK,aAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CC,CACIJ,I,EACApC,eAFJwC,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,KAAX,EAAkB,IAAlB,CAAuB,MAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACApC,e,QAFJyC,E;;;YAE+C,iB;;;;;;G;oCAyC/CD,CACI1C,G,EACAC,G,EACAC,eAHJwC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;WAEJ,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,iBAAW,GAAI,aAAf,EAA6B,GAAI,aAAjC,EAA+C,eAA/C,C;WAEJ,IAAA,GAAI,KAAJ,IAAe,GAAI,KAAnB,C;YACI,kBAAY,GAAI,cAAhB,EAA+B,GAAI,cAAnC,EAAkD,eAAlD,C;WAEJ,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIP,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,IAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,IAAsC,SAAU,KAAV,KAAqB,SAAU,KAArE,C;oBACuB,IAAvB,SAAU,KAAa,EAAI,SAAU,KAAd,C;gBAA4B,eAAQ,gDAAR,C;;gBAEnD,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;;;YAIJ,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;IAEP,U;EAAD,C;sCA3BJO,CACI3C,G,EACAC,G,EACAC,e,QAHJyC,E;;;YAG+C,iB;;;;;;G;;;;;mBAtZlCtF,CAEG2C,G,EAEAC,GAJH5C,EAAA;A,IAEjB,gB;IAEA,gB;EAJiB,C;mCAEGyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAM5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAIXC,CAAAA,EAA8B;A,IAAI,OAAJ,I;EAAG,C;8CAItC2B,CAAAA,EACI;A,QAAA,kC;;IAAA,2B;MAAgB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA2D,wBAA3D,C;;YAAtB,c;;IAA8F,U;EAAD,C;mCAK7FzB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CyB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGpB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;gDAIXC,CAAAA,EAA0C;A,IAAI,OAAJ,I;EAAG,C;oDAIlDoB,CAAAA,EACI;A,QAAA,wC;;IAAA,2B;MAAsB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAiE,8BAAjE,C;;YAA5B,c;;IAA0G,U;EAAD,C;mCAKzGlB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;iDAIXC,CAAAA,EAA4C;A,IAAI,OAAJ,I;EAAG,C;qDAIpDkB,CAAAA,EACI;A,QAAA,yC;;IAAA,2B;MAAuB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAkE,+BAAlE,C;;YAA7B,c;;IAA4G,U;EAAD,C;mCAK3GjB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CiB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGhB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;+CAIXC,CAAAA,EAAwC;A,IAAI,OAAJ,I;EAAG,C;mDAIhDgB,CAAAA,EACI;A,QAAA,uC;;IAAA,2B;MAAqB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAgE,6BAAhE,C;;YAA3B,c;;IAAwG,U;EAAD,C;qCAIlGC,CACLlD,G,EACAC,G,QAFKiD,E;yBACO,IAAK,M;yBACL,IAAK,M;;G;+CAKrBC,CAAAA,EAAuC;A,IAAuB,OAAvB,kBAAc,UAAd,EAAmB,UAAnB,C;EAAsB,C;gDAOxD9B,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;WACb,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;8CAOCC,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;WAC1B,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;;MAClB,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;mCAGK8B,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAG,GAAH,EAAQ,aAAK,UAAL,CAAR,C;EAAgB,C;;;;sCAIlDzB,CAAAA,EAAiC;A,IAAc,OAAd,SAAK,UAAL,EAAU,UAAV,C;EAAa,C;oCAInD0B,CAAAA,EAAuB;A,IAAY,OAAZ,wBAAG,UAAH,EAAQ,UAAR,C;EAAW,C;mCASlCC,CACIrG,Y,EACAiD,eAFJoD,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACItG,Y,EACAiD,e,QAFJqD,E;;;YAE+C,iB;;;;;;G;sBC9JnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBLsrDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UKjwDO,WLkwDU,IE/9CkC,K;;UGnSlC,OLkwDA,IEl9CkC,K;UG/SrB,YAA9B,mBAAe,QAAf,EAAyB,IAAzB,C;MLiwDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKhwDlC,OLiwDM,W;EKjwDP,C;yBANJpC,CAAImC,aAAJnC,EAAwD;A;gBAAqB,aAAL,aAAK,C;IAA2C,OAAnD,eAAqB,WAAI,qBAAJ,CAArB,C;EAAkD,C;gCAAzBqC,CAAA,EAAAA,EAAA;A,IAAuB,OAArB,EAAG,mB;EAAmB,C;uDTsI1FC,CAAAA,EAAA;A,IAAU,OAAR,kC;EAAS,C;;;aAAhB,Q;OAtJvB,C,EAAA,C;;uCAqLYvG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;uDACawG,CACLC,K,EACAC,MAFKF,EAGL;A;IACA,IAAA,KAAM,KAAN,IAAmB,MAAO,KAA1B,C;YACI,KAAM,gBAAgB,KAAM,IAAU,MAAO,gBAAgB,KAAjC,CAA5B,KAAuE,C;WAE3E,IAAA,KAAM,KAAN,IAAkB,MAAO,KAAzB,C;YACI,KAAM,gBAAgB,KAAa,IAAU,MAAO,gBAAgB,KAAjC,CAAnC,KAAqF,C;;YAEjF,aAAS,MAAT,C;;IACX,U;EAAD,C;;;;wCAgBJxG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACawG,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;;;;sBAzE9BxG,CAAAA,EAAA;A;cAUmB,I;IAAA,iBAAK,4CAAL,C;IAgGoB,e;EA1GvC,C;sCAUI2G,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OEnGqE,S;EFmGrD,C;0CAKzBC,CAAIR,a,EAAaS,KAAjBD,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEE,CAAIV,a,EAAaS,KAAjBC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIX,a,EAAeS,KAAnBE,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAuBS,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAU/FC,CAAUlF,OAAVkF,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAKJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDASpDC,CAAWnF,OAAXmF,EACI;A,IAKC,OALD,0C;EAKA,C;yCAKJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAgBtD1E,CACIqE,K,EACAM,QAFJ3E,EAII;A;IAAI,sC;YACA,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJ4E,CACIP,K,EACAM,Q,QAFJC,E;mCAEoB,E;;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
1
+ {"version":3,"sources":["../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/Unificator.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/AbstractUnificator.kt","src/kotlin/util/Lazy.kt","common/src/generated/_Sequences.kt","common/src/generated/_Collections.kt","src/kotlin/collections/Collections.kt","src/kotlin/collections/Maps.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/CachedUnificator.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/Equation.kt","../../../../../../../unify/src/commonMain/kotlin/it/unibo/tuprolog/unify/UnificationUtils.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["mgu$default","term1","term2","occurCheckEnabled","mgu","match","unify","substitution","merge","substitution1","substitution2","<init>","result","<get-contextEquations>","occurrenceCheck","variable","term","element","equationsFor","applySubstitutionToEquations","equations","exceptIndex","changed","i","request","eqIterator","eq","assignment","it","subEq","newDeque","items","AbstractUnificator$contextEquations$delegate$lambda","AbstractUnificator$contextEquations$delegate$lambda$lambda","AbstractUnificator$checkTermsEquality$ref","p0","AbstractUnificator$checkTermsEquality$ref$lambda","AbstractUnificator$equationsFor$lambda","applySubstitutionToEquations$handleIndex","currentEq","newLhs","newRhs","context","<get-context>","handleResult","handleEquation","equation","quickMerge","decorated","cacheCapacity","mguRequest","cached","mguResult","allOfLists","lhs","rhs","equalityChecker","allOfTuples","Term$equals$ref","Term$equals$ref$lambda","Equation$Companion$from$lambda","Equation$Companion$from$lambda$lambda","Equation$Companion$allOfLists$lambda","Equation$Companion$allOfLists$lambda$lambda","Equation$Companion$allOfTuples$lambda","Equation$Companion$allOfTuples$lambda$lambda","Equation$Companion$allOf$lambda","Equation$Companion$allOf$lambda$lambda","<get-lhs>","<get-rhs>","<get-isIdentity>","asIdentity","clone","<get-isAssignment>","asAssignment","toAssignmentPair","toSubstitution","<get-variable>","<get-term>","<get-isLeftAssignment>","asLeftAssignment","toPair","<get-isRightAssignment>","asRightAssignment","<get-isComparison>","asComparison","<get-isContradiction>","asContradiction","of","lhsStruct","rhsStruct","of$default","pair","from","pairs","from$default","allOf","allOf$default","castToIdentity","castToAssignment","castToLeftAssignment","castToRightAssignment","castToComparison","castToContradiction","clone$default","toContradiction","toTerm","swap","apply","apply$default","toEquations","<this>","item","toSubstitution$lambda","Unificator$Companion$default$delegate$lambda","checkTermsEquality","first","second","<get-default>","mguWith","other","matches","unifyWith","mergeWith","naive","strict","capacity","cached$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BA6DIA,CACIC,K,EACAC,K,EACAC,iB,QAHJH,E;qDAGiC,I;;G;cAKjCI,CACIH,K,EACAC,KAFJE,EAGkB;A,IAAuB,OAAvB,SAAI,KAAJ,EAAW,KAAX,EAAkB,IAAlB,C;EAAsB,C;8BAOxCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAA8D,OAA9D,WAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,MAAsD,gCAAtD,C;EAA6D,C;gBAO1EA,CACIJ,K,EACAC,KAFJG,EAGa;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;8BASrCC,CACIL,K,EACAC,K,EACAC,iBAHJG,EAIS;A,QACLC,eAAmB,SAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;IACnB,OAAW,YAAa,MAAb,GAAuB,IAAvB,GAAiC,qBAAM,YAAN,K;EAChD,C;gBAIAD,CACIL,K,EACAC,KAFJI,EAGW;A,IAAyB,OAAzB,yBAAM,KAAN,EAAa,KAAb,EAAoB,IAApB,C;EAAwB,C;gBAmBnCE,CACIC,a,EACAC,aAFJF,EAGkB;A,IAAyC,OAAzC,yBAAM,aAAN,EAAqB,aAArB,EAAoC,IAApC,C;EAAwC,C;;;;;;;;;;;;;;;;cC3FxCG,CACVV,K,EACAC,K,EACAC,iBAHUQ,EAAA;A,IACV,kB;IACA,kB;IACA,8B;EAHU,C;sCA/CtB;A,IAAA,4H;EAAA,C;sCAAA;A,QAAAC,8B;IAAA,qD;IAAA,8D;IAAA,a;EAAA,C;yCAAA;A,IAAA,mB;MAAA,W;IAAA,4B;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;gBAsDwBD,CACZF,a,EACAC,a,EACAP,iBAHYQ,EAAA;A,IACZ,0B;IACA,0B;IACA,8B;EAHY,C;wCAtDxB;A,IAAA,4I;EAAA,C;wCAAA;A,QAAAC,6B;IAAA,oD;IAAA,8D;IAAA,a;EAAA,C;2CAAA;A,IAAA,mB;MAAA,W;IAAA,8B;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,qC;MAAA,Y;IAAA,kC;MAAA,Y;IAAA,W;EAAA,C;wCA8DYC,CAAA,KAAAA,EAA4C;A,eAAA,K,CAAA,K;;;IAAA,gH;IAAA,OCXoC,S;EDWP,C;0BAczEC,CAAA,K,EACJC,Q,EACAC,IAFIF,EAIJ;A;IACI,IAAA,IAAK,KAAL,C;YAAc,UAAmB,QAAnB,EAA6B,IAA7B,C;WACd,IAAA,IAAK,KAAL,C;iBAAiB,IAAK,K;;;;YE40Cd,4B;eAAA,qB,EAAM;A,cAAjBG,UAAW,qB;UAAU,IF50CoB,uBAAgB,QAAhB,EE40CV,OF50CU,CE40CpB,C;YAAoB,YAAO,I;;;QAAG,C;QACxD,YAAO,K;;YF70CiC,S;;YACxB,K;;IACX,U;EAAD,C;uBAGIC,CAAA,K,EACJjB,K,EACAC,KAFIgB,EAGgB;A;IAAsD,OAA7C,QAAM,KAAN,EAAa,KAAb,EAAoB,gDAApB,C;EAA4C,C;yBAErEA,CAAA,K,EACJT,a,EACAC,aAFIQ,EAIJ;A;gBACK,KAAc,WAAd,aAAc,CAAd,EAA2C,WAAd,aAAc,CAA3C,C;IACJ,OAFQ,iBACqD,WAAI,sCAAJ,CADrD,C;EAET,C;uCAGIC,CAAA,K,EACJZ,Y,EACAa,S,EACAC,WAHIF,EAIG;A,QACPG,eAAc,KAAdA,C;QAcU,qB;IAAV,wBAAkB,WAAlB,C;SAAA;A,YAAKC,IAAK,iB;QAAA,6C;QAAqB,kFAAY,CAAZ,C;;MAA/B,4BAAkB,WAAlB,C;QACW,oCAAc,CAAd,I;QAAiC,OAAV,SAAU,I;IAA5C,0BAAU,IAAV,C;SAAA;A,YAAKA,MAAK,mB;QAAA,iD;QAAwC,kFAAY,GAAZ,C;;MAAlD,8BAAU,IAAV,C;IAEA,OAAO,OAAP,CAAO,E;EACX,C;gBAuBQnB,CAAA,K,EACJoB,O,EACAJ,S,EACAjB,iBAHIC,EAIQ;A,QACZkB,UAAc,I;WAEP,O,EAAS;A,MACZ,UAAU,K;UACVG,aAAiB,SAAU,K;aAEpB,UAAW,I,EAAW;A,YACzBC,KAAS,UAAe,OAAf,EAAwB,UAAW,IAAnC,C;QAEL,IAAA,EAAG,MAAH,C,CAAsB;A,UAClB,OAAO,gC;QACX,C,MAEA,IAAA,EAAG,MAAH,C,CAAiB;A,UACb,UAAW,K;UACX,UAAU,I;QACd,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,cACfC,aAAiB,EAAG,mB;UAChB,yBAAqB,uBAAgB,UAAW,MAA3B,EAAqC,UAAW,MAAhD,CAArB,C,CAA4E;A,YAC5E,OAAO,gC;UACX,C,MAAO;A,YACH,UAAU,OAAV,IACI,oCACI,UAAW,MADf,EAEI,SAFJ,EAGI,UAAW,KAHf,C;UAKR,C;QACJ,C,MAEA,IAAA,EAAG,MAAH,C,CAAmB;A,UACf,UAAW,K;cACA,wCAAa,EAAG,MAAhB,EAAqB,EAAG,MAAxB,K;0BAAA,qB,EAA8B;A,gBAApCC,KAAM,qB;gBACPC,QAAgB,EAAG,MAAH,IAAsB,EAAG,MAAzB,GAAqC,UAAe,OAAf,EAAwB,EAAxB,CAArC,GAAsE,E;YAIlF,IAAA,KAAM,MAAN,C;cAAoB,gB;iBACpB,IAAA,KAAM,MAAN,C;cAAyB,OAAO,gC;;cACxB,UAAW,IAAI,KAAJ,C;;UAE3B,C;UACA,UAAU,I;QACd,C;MAER,C;IACJ,C;;;sBGgkBY,yB;QAgGA,sBH9pBiB,SG8pBjB,I;WAAA,uB,EAAM;A,UAAjBZ,UAAW,uB;MAAU,IAAU,OH9pBmB,MG8pB7B,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;IH9pBjE,OAAO,UAAa,OAAb,EAA2D,eG+pB/D,WH/pB+D,CAA3D,C;EACX,C;mBAiCQa,CAAA,K,EAAiBC,KAAjBD,EAAuD;A;QI3HJ,YAAX,yB;IJ2HgD,OAA3B,aAAN,KAAM,EAAa,SAAb,C;EAA0B,C;8DA9KtCE,C,MAAAA,E;oBAAAC,CAAAA,EAAA;A,MAAuB,OAAb,YAAR,WAAQ,C;IAAc,C;G;;;aAA7B,iC;OA9DxD,C,EAAA,C;;oDA0FyDC,CAAAC,EAAAD,E;+CAAAE,C,QAAAA,EAAA;A,aAAA,gB;IAAuB,C,EA1FhF,C,EAAA,C;G;iDAiG0EC,CAAA,EAAAA,EAAA;A;IAAa,OKyOvB,SLzOY,EKyOP,KAAL,ELzOY,EKyOF,KAAV,C;ELzOwB,C;mDAWhFC,C,4CAAgBf,CAAhBe,EAAwB;A,IAChB,IAAA,aAAU,CAAV,CAAa,MAAb,IAAgC,aAAU,CAAV,CAAa,MAA7C,C;MAAyD,oB;QAE7DC,YAAgB,aAAU,CAAV,C;QAChB,oBAAuB,SAAU,OAAM,aAAN,CAAoB,S;QAAhDC,+B;QAAQC,+B;IAET,KAAA,SAAU,MAAV,QAAiB,MAAjB,KAA2B,CAAA,SAAU,MAAV,QAAiB,MAAjB,CAA3B,C,CAAoD;A;MACpD,cAAU,CAAV,EAAwB,QAAG,MAAH,EAAW,MAAX,EAAmB,iDAAnB,CAAxB,C;MACA,aAAU,I;IACd,C;EACJ,C;6BApFyB9B,CACpB+B,OADoB/B,EAAA;A,IAC7B,oB;cA2BoD,I;IAAA,iBAAK,yDAAL,C;EA5BvB,C;4CACpBgC,CAAAA,EAAA;A,IAAA,iB;EAAwB,C;6CAgGlBC,CACXpB,O,EACAZ,MAFWgC,EAGG;A,IAAM,OAAN,M;EAAK,C;6CAQRC,CACXrB,O,EACAsB,QAFWD,EAGD;A,IAAQ,OAAR,Q;EAAO,C;6CA4DZzC,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,IACR,IAAA,SAAQ,MAAR,C;MAAkB,OAAO,gC;QAC7BgB,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,mBAAa,KAAb,EAAoB,KAApB,CAAhC,CAAT,C;IAChB,OAAO,YAAY,QAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,CAAZ,EAAkD,SAAlD,EAA6D,iBAA7D,C;EACX,C;;;;6CAOSZ,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,IACR,IAAA,SAAQ,MAAR,IAAoB,aAAc,MAAlC,IAA8C,aAAc,MAA5D,C;MAAsE,OAAO,gC;IAC7E,KAAC,iBAAD,C,CAAoB;A,UACpBuC,aAAiB,eAAU,aAAV,OAA0B,aAA1B,C;MACb,IAAA,UAAW,MAAX,C,CAAsB;A,QACtB,OAAO,U;MACX,C;IACJ,C;QACA3B,YAAgB,eAAS,KAAiB,aAAjB,mCAAiB,CAAjB,EAAgC,qBAAa,aAAb,EAA4B,aAA5B,CAAhC,CAAT,C;IAChB,OAAO,YAAY,UAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,CAAZ,EAAoE,SAApE,EAA+E,iBAA/E,C;EACX,C;;;;2BM5MkBT,CAClBqC,S,EACAC,aAFkBtC,EAAA;A,IAClB,sB;IAG8D,mCAAU,aAAV,C;EAJ5C,C;2CAWTP,CACLH,K,EACAC,K,EACAC,iBAHKC,EAIO;A,QACZ8C,aAAiB,WAAmB,KAAnB,EAA0B,KAA1B,EAAiC,iBAAjC,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,KAAI,KAAJ,EAAW,KAAX,EAAkB,iBAAlB,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;2CAMS5C,CACLC,a,EACAC,a,EACAP,iBAHKK,EAIO;A,QACZ0C,aAAiB,WAA2B,aAA3B,EAA0C,aAA1C,EAAyD,iBAAzD,C;QACJC,SAAa,cAAS,UAAT,C;;IACtB,2B;YAAoB,M,CAAO,I;;UAEvBC,YAAgB,IAAU,CAAV,KAAU,qBAAM,aAAN,EAAqB,aAArB,EAAoC,iBAApC,C;MAC1B,cAAS,UAAT,EAAuB,SAAvB,C;YACA,S;;IALR,U;EAQJ,C;;;;qBCiUYC,CAAA,K,EACJC,G,EACAC,G,EACAC,eAHIH,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAMZ,OAN8B,eAAQ,qDAAR,C;EAM/B,C;sBAEII,CAAA,K,EACJH,G,EACAC,G,EACAC,eAHIC,EAKJ;A;;YAF2C,iB;;;;;gBAE9B,IAAb,GAAI,SAAS,EAAI,GAAI,SAAR,C;IAQZ,OAR8B,eAAQ,sDAAR,C;EAQ/B,C;0BAvG2CC,CAAAA,E;+CAAAC,C,MAAAA,EAAA;A,aAAA,a;IAAW,C,EA/TlE,C,EAAA,C;G;yCA+W8CC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;+CAkCxBC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAKxC,OAHG,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAa,KAAlB,EAAwB,CAAE,aAAa,KAAvC,EAA6C,gBAA7C,CAAX,CAAxB,GACA,CAAE,KAAF,IAAY,CAAE,KAAd,GAAwB,WAAW,yBAAG,CAAE,aAAL,EAAmB,CAAE,aAArB,EAAmC,gBAAnC,CAAX,CAAxB,GACQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;gDAOuCC,C,gBAAAA,E;oBAAAC,CAAE,iBAAFA,EAAA;A,UAAG,0B;UAAG,0B;MAOxC,OALG,CAAE,KAAF,IAAa,CAAE,KAAf,GACI,WACI,yBAAG,CAAE,cAAc,KAAnB,EAAyB,CAAE,cAAc,KAAzC,EAA+C,gBAA/C,CADJ,CADJ,GAIQ,yBAAM,CAAN,EAAS,CAAT,EAAY,gBAAZ,C;IAEhB,C;G;0CA+BuEC,C,gBAAAA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4B,OAA1B,yBAAM,EAAN,EAAU,gBAAV,C;IAA2B,C;G;mBAhRzFxD,CACN2C,G,EACAC,GAFM5C,EAAA;A,IAAnB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFe,C;mCACNyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAGjBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;mCAENC,CAAAA,EAA6B;A,IAAI,OAAJ,I;EAAG,C;;;;mCAEhCC,CACLlB,G,EACAC,GAFKiB,EAGK;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;8CAjM/C;A,IAAA,6B;EAAA,C;2CAAA;A,IAAA,uF;EAAA,C;2CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;8CAAA;A,IAAA,mB;MAAA,W;IAAA,iC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBAqM6BD,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFqB,C;qCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAWjBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCC,CAAAA,EAA0C;A,IAAoB,OAApB,SAAK,UAAL,EAAe,UAAf,C;EAAmB,C;;;;qCAE7DC,CAAAA,EAAqC;A,IAAoC,OAAvB,gCAAQ,UAAR,EAAkB,UAAlB,C;EAAsB,C;;;;yBAS5DjE,CACZ2C,G,EACAC,GAFY5C,EAAA;A,IAAzB,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALL,C;yCACZyD,CAAAA,EAAA;A,IAAA,iB;EAAW,C;yCACXC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;yCAEZQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;yCAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;yCAGlBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;yCAENC,CAAAA,EAAyC;A,IAAI,OAAJ,I;EAAG,C;;;;yCAE5CR,CACLlB,G,EACAC,GAFKiB,EAGW;A,IAAsC,OAAtC,SAAW,GAAI,YAAf,EAAkC,GAAlC,C;EAAqC,C;yCAEhDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;oDAlP9D;A,IAAA,mC;EAAA,C;iDAAA;A,IAAA,6F;EAAA,C;iDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;oDAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;0BAsP8BD,CACb2C,G,EACAC,GAFa5C,EAAA;A,IAA1B,sBAGe,GAHf,EAGoB,GAHpB,C;IACI,gB;IACA,gB;IAE6B,uB;IACH,uB;EALJ,C;0CACbyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;0CACZC,CAAAA,EAAA;A,IAAA,iB;EAAW,C;0CAEXQ,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAChBC,CAAAA,EAAA;A,IAAA,iB;EAAa,C;0CAGlBI,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;0CAENC,CAAAA,EAA2C;A,IAAI,OAAJ,I;EAAG,C;;;;0CAE9CX,CACLlB,G,EACAC,GAFKiB,EAGY;A,IAAsC,OAAtC,SAAW,GAAX,EAAsB,GAAI,YAA1B,C;EAAqC,C;0CAEjDS,CAAAA,EAAgC;A,IAAc,OAAd,SAAK,IAAL,CAAK,KAAL,EAAU,IAAV,CAAU,KAAV,C;EAAa,C;;;;qDAvQ9D;A,IAAA,oC;EAAA,C;kDAAA;A,IAAA,8F;EAAA,C;kDAAA;A,QAAArE,8B;IAAA,qD;IAAA,a;EAAA,C;qDAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;qBA2QyBD,CACR2C,G,EACAC,GAFQ5C,EAAA;A,IAArB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFiB,C;qCACRyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qCAGjBe,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAENC,CAAAA,EAAiC;A,IAAI,OAAJ,I;EAAG,C;;;;qCAEpCb,CACLlB,G,EACAC,GAFKiB,EAGO;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;gDAvRjD;A,IAAA,+B;EAAA,C;6CAAA;A,IAAA,yF;EAAA,C;6CAAA;A,QAAA5D,8B;IAAA,qD;IAAA,a;EAAA,C;gDAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;wBA2R4BD,CACX2C,G,EACAC,GAFW5C,EAAA;A,IAAxB,oBAGa,GAHb,EAGkB,GAHlB,C;IACI,gB;IACA,gB;EAFoB,C;wCACXyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCACZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;wCAGjBiB,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;wCAENC,CAAAA,EAAuC;A,IAAI,OAAJ,I;EAAG,C;;;;wCAE1Cf,CACLlB,G,EACAC,GAFKiB,EAGU;A,IAA0B,OAA1B,SAAW,GAAX,EAAsB,GAAtB,C;EAAyB,C;wCAEnCI,CAAAA,EAA0C;A,IAAqB,OAAR,gC;EAAO,C;;;;mDAzS/E;A,IAAA,kC;EAAA,C;gDAAA;A,IAAA,4F;EAAA,C;gDAAA;A,QAAAhE,8B;IAAA,qD;IAAA,a;EAAA,C;mDAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,oC;MAAA,Y;IAAA,W;EAAA,C;oBA6SID,CAAAA,EAAA;A,EAAA,C;oCAeI6E,CACIlC,G,EACAC,G,EACAC,eAHJgC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAa,GAAI,KAAjB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;;;WAGR,IAAA,GAAI,KAAJ,C;YAAa,mBAAe,GAAI,YAAnB,EAAgC,GAAhC,C;WACb,IAAA,GAAI,KAAJ,C;YAAa,oBAAgB,GAAhB,EAAqB,GAAI,YAAzB,C;WACb,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;;MACQ,oBAAgB,GAAhB,EAAqB,GAArB,E;gBACA,aAAS,GAAT,EAAc,GAAd,C;;gBAEA,kBAAc,GAAd,EAAmB,GAAnB,C;;;WAGR,IAAA,GAAI,KAAJ,IAAkB,GAAI,KAAtB,C;YAAoC,kBAAc,GAAd,EAAmB,GAAnB,C;WACpC,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIC,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,MAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,KAAsC,EAAA,SAAU,KAAV,KAAqB,SAAU,KAA/B,CAAtC,C;gBACA,kBAAc,SAAd,EAAyB,SAAzB,C;;gBAEA,eAAW,SAAX,EAAsB,SAAtB,C;;;;YAGA,eAAW,GAAX,EAAgB,GAAhB,C;;IACX,U;EAAD,C;mCAjCJC,CACIrC,G,EACAC,G,EACAC,e,QAHJmC,E;;;YAG+C,iB;;;;;;G;oCAoC/CH,CACII,I,EACApC,eAFJgC,EAGc;A,IAA4C,OAA5C,SAAG,IAAH,CAAQ,KAAR,EAAe,IAAf,CAAoB,MAApB,EAA4B,eAA5B,C;EAA2C,C;uCAHzDG,CACIC,I,EACApC,e,QAFJmC,E;;;YAE+C,iB;;;;;;G;oCAO/CE,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAA4C,OAAtC,QAAN,KAAM,EAAQ,+CAAR,C;EAAqC,C;6CAHnEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAW,aAAN,KAAM,CAAX,EAAyB,eAAzB,C;EAAwC,C;6CAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CF,CACIC,K,EACAtC,eAFJqC,EAGwB;A,IAAyC,OAAzC,SAAK,aAAY,KAAD,QAAX,CAAL,EAAyB,eAAzB,C;EAAwC,C;qCAHhEE,CACID,K,EACAtC,e,QAFJuC,E;;;YAE+C,iB;;;;;;G;oCAO/CC,CACIJ,I,EACApC,eAFJwC,EAGwB;A,IAA+C,OAA/C,SAAM,IAAN,CAAW,KAAX,EAAkB,IAAlB,CAAuB,MAAvB,EAA+B,eAA/B,C;EAA8C,C;0CAHtEC,CACIL,I,EACApC,e,QAFJyC,E;;;YAE+C,iB;;;;;;G;oCAyC/CD,CACI1C,G,EACAC,G,EACAC,eAHJwC,EAKI;A;IACI,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;WAEJ,IAAA,GAAI,KAAJ,IAAc,GAAI,KAAlB,C;YACI,iBAAW,GAAI,aAAf,EAA6B,GAAI,aAAjC,EAA+C,eAA/C,C;WAEJ,IAAA,GAAI,KAAJ,IAAe,GAAI,KAAnB,C;YACI,kBAAY,GAAI,cAAhB,EAA+B,GAAI,cAAnC,EAAkD,eAAlD,C;WAEJ,IAAA,GAAI,KAAJ,IAAgB,GAAI,KAApB,C;UACIP,YAAgB,GAAI,e;UACpBC,YAAgB,GAAI,e;;MAChB,IAAA,SAAU,KAAV,KAAmB,SAAU,KAA7B,IAAsC,SAAU,KAAV,KAAqB,SAAU,KAArE,C;oBACuB,IAAvB,SAAU,KAAa,EAAI,SAAU,KAAd,C;gBAA4B,eAAQ,gDAAR,C;;gBAEnD,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;;;YAIJ,WAAW,SAAG,GAAH,EAAQ,GAAR,EAAa,eAAb,CAAX,C;;IAEP,U;EAAD,C;sCA3BJO,CACI3C,G,EACAC,G,EACAC,e,QAHJyC,E;;;YAG+C,iB;;;;;;G;;;;;mBAtZlCtF,CAEG2C,G,EAEAC,GAJH5C,EAAA;A,IAEjB,gB;IAEA,gB;EAJiB,C;mCAEGyD,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAEZC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;mCAM5BC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAIXC,CAAAA,EAA8B;A,IAAI,OAAJ,I;EAAG,C;8CAItC2B,CAAAA,EACI;A,QAAA,kC;;IAAA,2B;MAAgB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA2D,wBAA3D,C;;YAAtB,c;;IAA8F,U;EAAD,C;mCAK7FzB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CyB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGpB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;gDAIXC,CAAAA,EAA0C;A,IAAI,OAAJ,I;EAAG,C;oDAIlDoB,CAAAA,EACI;A,QAAA,wC;;IAAA,2B;MAAsB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAiE,8BAAjE,C;;YAA5B,c;;IAA0G,U;EAAD,C;mCAKzGlB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;iDAIXC,CAAAA,EAA4C;A,IAAI,OAAJ,I;EAAG,C;qDAIpDkB,CAAAA,EACI;A,QAAA,yC;;IAAA,2B;MAAuB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAkE,+BAAlE,C;;YAA7B,c;;IAA4G,U;EAAD,C;mCAK3GjB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;4CAIXC,CAAAA,EAAkC;A,IAAI,OAAJ,I;EAAG,C;gDAI1CiB,CAAAA,EACI;A,QAAA,oC;;IAAA,2B;MAAkB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAA6D,0BAA7D,C;;YAAxB,c;;IAAkG,U;EAAD,C;mCAKjGhB,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;+CAIXC,CAAAA,EAAwC;A,IAAI,OAAJ,I;EAAG,C;mDAIhDgB,CAAAA,EACI;A,QAAA,uC;;IAAA,2B;MAAqB,MAAM,iCAAoB,cAApB,YAAiC,IAAjC,IAAqC,MAArC,GAAgE,6BAAhE,C;;YAA3B,c;;IAAwG,U;EAAD,C;qCAIlGC,CACLlD,G,EACAC,G,QAFKiD,E;yBACO,IAAK,M;yBACL,IAAK,M;;G;+CAKrBC,CAAAA,EAAuC;A,IAAuB,OAAvB,kBAAc,UAAd,EAAmB,UAAnB,C;EAAsB,C;gDAOxD9B,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;WACb,IAAA,UAAI,KAAJ,C;YAAa,GAAA,UAAI,YAAJ,EAAmB,UAAnB,C;;MACL,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;8CAOCC,CAAAA,EACD;A;IACI,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;WAC1B,IAAA,UAAI,KAAJ,C;YAA0B,gCAAQ,UAAI,YAAZ,EAAyB,UAAzB,C;;MAClB,MAAM,uCAA0B,kCAA1B,YAA2D,IAA3D,E;;IACjB,U;EAAD,C;mCAGK8B,CAAAA,EAAuB;A,IAAwB,OAAjB,6BAAG,GAAH,EAAQ,aAAK,UAAL,CAAR,C;EAAgB,C;;;;sCAIlDzB,CAAAA,EAAiC;A,IAAc,OAAd,SAAK,UAAL,EAAU,UAAV,C;EAAa,C;oCAInD0B,CAAAA,EAAuB;A,IAAY,OAAZ,wBAAG,UAAH,EAAQ,UAAR,C;EAAW,C;mCASlCC,CACIrG,Y,EACAiD,eAFJoD,EAGc;A,IAAyD,OAAzD,yBAAG,0BAAI,YAAJ,KAAH,EAAsB,0BAAI,YAAJ,KAAtB,EAAyC,eAAzC,C;EAAwD,C;qCAHtEC,CACItG,Y,EACAiD,e,QAFJqD,E;;;YAE+C,iB;;;;;;G;sBC9JnDC,CAAIC,aAAJD,EACI;A;iBAAA,aAAK,K;;sBLsrDQ,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCE,OAAQ,qB;;UKjwDO,WLkwDU,IE/9CkC,K;;UGnSlC,OLkwDA,IEl9CkC,K;UG/SrB,YAA9B,mBAAe,QAAf,EAAyB,IAAzB,C;MLiwDT,WAAY,GAAI,SAAJ,C;IAAmB,C;IKhwDlC,OLiwDM,W;EKjwDP,C;yBANJpC,CAAImC,aAAJnC,EAAwD;A;gBAAqB,aAAL,aAAK,C;IAA2C,OAAnD,eAAqB,WAAI,qBAAJ,CAArB,C;EAAkD,C;gCAAzBqC,CAAA,EAAAA,EAAA;A,IAAuB,OAArB,EAAG,mB;EAAmB,C;uDTsI1FC,CAAAA,EAAA;A,IAAU,OAAR,kC;EAAS,C;;;aAAhB,Q;OAtJvB,C,EAAA,C;;uCAqLYvG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;uDACawG,CACLC,K,EACAC,MAFKF,EAGL;A;IACA,IAAA,KAAM,KAAN,IAAmB,MAAO,KAA1B,C;YACI,KAAM,gBAAgB,KAAM,IAAU,MAAO,gBAAgB,KAAjC,CAA5B,KAAuE,C;WAE3E,IAAA,KAAM,KAAN,IAAkB,MAAO,KAAzB,C;YACI,KAAM,gBAAgB,KAAa,IAAU,MAAO,gBAAgB,KAAjC,CAAnC,KAAqF,C;;YAEjF,aAAS,MAAT,C;;IACX,U;EAAD,C;;;;wCAgBJxG,C,QAAAA,EAAA;A,IAAA,8BAA4B,QAA5B,C;EAAA,C;wDACawG,CACLC,K,EACAC,MAFKF,EAGL;A,IAAe,OAAf,aAAS,MAAT,C;EAAc,C;;;;sBAzE9BxG,CAAAA,EAAA;A;cAUmB,I;IAAA,iBAAK,4CAAL,C;IAgGoB,e;EA1GvC,C;sCAUI2G,CAAAA,EAAe;A,eAAA,I,CAAA,K;;;IAAA,gG;IAAA,OEnGqE,S;EFmGrD,C;0CAKzBC,CAAIR,a,EAAaS,KAAjBD,EAA8C;A,IAAwB,OAAxB,UAAQ,KAAI,aAAJ,EAAU,KAAV,C;EAAe,C;0CAKrEE,CAAIV,a,EAAaS,KAAjBC,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIX,a,EAAeS,KAAnBE,EAAyC;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;4CAKlEC,CAAIZ,a,EAAuBS,KAA3BG,EAAgE;A,IAA0B,OAA1B,UAAQ,OAAM,aAAN,EAAY,KAAZ,C;EAAiB,C;mDAU/FC,CAAUlF,OAAVkF,EACI;A,IAaC,OAbD,yC;EAaA,C;wCAKJA,CAAAA,EAA0B;A,IAA2B,OAA3B,sBAAmB,+BAAnB,C;EAA0B,C;oDASpDC,CAAWnF,OAAXmF,EACI;A,IAKC,OALD,0C;EAKA,C;yCAKJA,CAAAA,EAA2B;A,IAA4B,OAA5B,uBAAoB,+BAApB,C;EAA2B,C;sCAgBtD1E,CACIqE,K,EACAM,QAFJ3E,EAII;A;IAAI,sC;YACA,qBAAiB,KAAjB,CAAuB,KAAvB,EAAkC,QAAlC,C;;YAEA,qBAAiB,KAAjB,EAAwB,QAAxB,C;;IACH,U;EAAD,C;yCARJ4E,CACIP,K,EACAM,Q,QAFJC,E;mCAEoB,E;;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
package/2p-utils.js CHANGED
@@ -17,57 +17,57 @@
17
17
  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
18
18
  var Unit_instance = kotlin_kotlin.$_$.m;
19
19
  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
20
- var THROW_CCE = kotlin_kotlin.$_$.oa;
20
+ var THROW_CCE = kotlin_kotlin.$_$.na;
21
21
  var isInterface = kotlin_kotlin.$_$.j6;
22
22
  var initMetadataForClass = kotlin_kotlin.$_$.a6;
23
- var Sequence = kotlin_kotlin.$_$.j7;
23
+ var Sequence = kotlin_kotlin.$_$.i7;
24
24
  var VOID = kotlin_kotlin.$_$.b;
25
25
  var arrayIterator = kotlin_kotlin.$_$.j5;
26
26
  var compareTo = kotlin_kotlin.$_$.q5;
27
- var Comparable = kotlin_kotlin.$_$.da;
28
- var toList = kotlin_kotlin.$_$.v8;
27
+ var Comparable = kotlin_kotlin.$_$.ca;
28
+ var toList = kotlin_kotlin.$_$.u8;
29
29
  var asSequence = kotlin_kotlin.$_$.a2;
30
30
  var asIterable = kotlin_kotlin.$_$.w1;
31
31
  var hashCode = kotlin_kotlin.$_$.z5;
32
32
  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
33
33
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.n;
34
- var asIterable_0 = kotlin_kotlin.$_$.l7;
35
- var sequence = kotlin_kotlin.$_$.p8;
34
+ var asIterable_0 = kotlin_kotlin.$_$.k7;
35
+ var sequence = kotlin_kotlin.$_$.o8;
36
36
  var IntRange = kotlin_kotlin.$_$.b7;
37
- var zip = kotlin_kotlin.$_$.z8;
37
+ var zip = kotlin_kotlin.$_$.y8;
38
38
  var equals = kotlin_kotlin.$_$.t5;
39
39
  var FunctionAdapter = kotlin_kotlin.$_$.i5;
40
- var Comparator = kotlin_kotlin.$_$.ea;
40
+ var Comparator = kotlin_kotlin.$_$.da;
41
41
  var CoroutineImpl = kotlin_kotlin.$_$.p4;
42
- var SequenceScope = kotlin_kotlin.$_$.i7;
42
+ var SequenceScope = kotlin_kotlin.$_$.h7;
43
43
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o4;
44
44
  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
45
45
  var constructCallableReference = kotlin_kotlin.$_$.r5;
46
- var withIndex = kotlin_kotlin.$_$.y8;
47
- var ensureNotNull = kotlin_kotlin.$_$.sa;
48
- var map = kotlin_kotlin.$_$.h8;
49
- var filterNot = kotlin_kotlin.$_$.u7;
50
- var toMutableList = kotlin_kotlin.$_$.w8;
51
- var minWithOrNull = kotlin_kotlin.$_$.i8;
52
- var toString = kotlin_kotlin.$_$.ya;
46
+ var withIndex = kotlin_kotlin.$_$.x8;
47
+ var ensureNotNull = kotlin_kotlin.$_$.ra;
48
+ var map = kotlin_kotlin.$_$.g8;
49
+ var filterNot = kotlin_kotlin.$_$.t7;
50
+ var toMutableList = kotlin_kotlin.$_$.v8;
51
+ var minWithOrNull = kotlin_kotlin.$_$.h8;
52
+ var toString = kotlin_kotlin.$_$.xa;
53
53
  var initMetadataForObject = kotlin_kotlin.$_$.f6;
54
54
  var KtMap = kotlin_kotlin.$_$.r1;
55
55
  var toMutableMap = kotlin_kotlin.$_$.l4;
56
56
  var toString_0 = kotlin_kotlin.$_$.s6;
57
- var lazy = kotlin_kotlin.$_$.ua;
58
- var KProperty1 = kotlin_kotlin.$_$.h7;
57
+ var lazy = kotlin_kotlin.$_$.ta;
58
+ var KProperty1 = kotlin_kotlin.$_$.g7;
59
59
  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
60
- var getKClassFromExpression = kotlin_kotlin.$_$.f7;
60
+ var getKClassFromExpression = kotlin_kotlin.$_$.e7;
61
61
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.h1;
62
62
  var subtract = kotlin_kotlin.$_$.g5;
63
63
  var convertToInt = kotlin_kotlin.$_$.v4;
64
64
  var getBigIntHashCode = kotlin_kotlin.$_$.u5;
65
65
  var first = kotlin_kotlin.$_$.q2;
66
- var to = kotlin_kotlin.$_$.za;
67
- var Pair = kotlin_kotlin.$_$.ma;
66
+ var to = kotlin_kotlin.$_$.ya;
67
+ var Pair = kotlin_kotlin.$_$.la;
68
68
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.b1;
69
69
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.q;
70
- var joinToString = kotlin_kotlin.$_$.d8;
70
+ var joinToString = kotlin_kotlin.$_$.c8;
71
71
  var mutableListOf = kotlin_kotlin.$_$.m3;
72
72
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.o;
73
73
  var addAll = kotlin_kotlin.$_$.t1;
package/README.md CHANGED
@@ -14,7 +14,7 @@
14
14
 
15
15
  ## Intro
16
16
 
17
- ![The 2P logo](https://raw.githubusercontent.com/tuProlog/2p-kt/master/.img/logo.png)
17
+ ![The 2P logo](https://raw.githubusercontent.com/tuProlog/2p-kt/master/.img/logos/2p-arcade.svg)
18
18
 
19
19
  [tuProlog](https://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/) (2P henceforth) is a multi-paradigm
20
20
  logic programming framework written in Java.
@@ -51,35 +51,40 @@ by featuring:
51
51
  aimed at bridging the logic programming with the Kotlin object-oriented \& functional environment,
52
52
  - further details are provided in [this paper](http://ceur-ws.org/Vol-2706/paper14.pdf)
53
53
 
54
- * two parsing modules: one aimed at parsing terms, namely `parser-core`, and the other aimed at parsing theories,
55
- namely `parser-theory`,
54
+ * three parsing modules: `parser-impl`, providing the actual (hand-written, ANTLR-free) lexer/parser, and two
55
+ thin public-facing wrappers around it — `parser-core`, aimed at parsing single terms/clauses, and `parser-theory`,
56
+ aimed at parsing whole theories (with `op/3` operator-table support),
56
57
 
57
58
  * two serialisation-related modules: one aimed at (de)serialising terms and clauses, namely `serialize-core`, and the
58
59
  other aimed at (de)serialising terms theories, namely `serialize-theory`,
59
60
 
60
61
  * a module for using Prolog via a command-line interface, namely `repl`,
61
62
 
62
- * a module for using Prolog via a graphical user interface (GUI), namely `ide`,
63
+ * a toolkit-neutral GUI model shared by every Prolog-editing frontend, namely `gui`, coming with a probabilistic-logic
64
+ (PLP) extension, namely `gui-plp`,
63
65
 
64
- * a module for using PLP (and, in particular, ProbLob) via a GUI, namely `ide-plp`.
66
+ * a desktop, Swing-based IDE/GUI for editing and running Prolog theories, namely `ide-swing`, coming with a
67
+ PLP-specific extension for inspecting ProbLog explanations, namely `ide-plp-swing`,
68
+
69
+ * a browser-based IDE requiring no installation, namely `ide-web`, built on the very same `gui` model as `ide-swing`.
65
70
 
66
71
  The modular, unopinionated architecture of 2P-Kt is deliberately aimed at supporting and encouraging extensions towards
67
72
  other sorts of symbolic AI systems than Prolog---such as ASP, tabled-Prolog, concurrent LP, etc.
68
73
 
69
74
  Furthermore, 2P-Kt is developed as in _pure_, __multi-platform__ Kotlin project.
70
75
  This brings two immediate advantages:
71
- 1. it virtually supports several platforms, there including JVM, JS, Android, and Native (even if, currently, only JVM,
72
- JS and Android are supported),
76
+ 1. it virtually supports several platforms, there including JVM, JS, Android, and Native (even if, currently, only JVM
77
+ and JS are supported),
73
78
  2. it consists of a very minimal and lightweight library, only leveraging on the Kotlin _common_ library, as it cannot
74
79
  commit to any particular platform standard library.
75
80
 
76
81
  ## Users
77
- 2P-Kt can either be used as a command-line program or as a Kotlin, JVM, Android, or JS library.
82
+ 2P-Kt can either be used as a command-line program or as a Kotlin, JVM, or JS library.
78
83
 
79
84
  The 2P-Kt executables are currently available for download on the [Releases section](https://github.com/tuProlog/2p-kt/releases) of the
80
85
  GitHub repository.
81
86
 
82
- The 2P-Kt modules for JVM, Android, or Kotlin users are currently available for import
87
+ The 2P-Kt modules for JVM or Kotlin users are currently available for import
83
88
  on [Maven Central](https://search.maven.org/search?q=g:it.unibo.tuprolog), under the `it.unibo.tuprolog` group ID (not
84
89
  to be confused with the `it.unibo.alice.tuprolog`, which contains the old Java-based implementation).
85
90
  The same modules are available through an _ad-hoc_ [Maven repository](https://github.com/orgs/tuProlog/packages?repo_name=2p-kt) as well,
@@ -91,32 +96,27 @@ The 2P-Kt modules for JS users, are available for import on NPM, under the [`@tu
91
96
 
92
97
  #### Graphical User Interface
93
98
 
94
- If you need a GUI for your Prolog interpreter, you can rely on the 2P-Kt IDE which is available on the [Releases section of the
95
- GitHub repository](https://github.com/tuProlog/2p-kt/releases).
99
+ If you need a GUI for your Prolog interpreter, 2P-Kt ships two IDE flavors, both available on the [Releases section
100
+ of the GitHub repository](https://github.com/tuProlog/2p-kt/releases): a desktop application (Swing-based, `ide-swing`)
101
+ and a browser-based one requiring no installation (`ide-web`). Both are built on the very same, toolkit-neutral `gui`
102
+ model, so they offer the same core editing/solving experience.
103
+
104
+ ##### Desktop IDE
96
105
 
97
106
  The page of the [latest release](https://github.com/tuProlog/2p-kt/releases/latest) of 2P-Kt exposes a number of _Assets_.
98
107
  There, the one named:
99
108
  ```
100
- 2p-ide-VERSION-redist.jar
109
+ 2p-ide-swing-VERSION-redist.jar
101
110
  ```
102
111
  is the self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`VERSION` may vary depending on the
103
112
  actual release version).
104
113
 
105
- Platform-specific variants of that Jar are published as well:
106
- ```
107
- 2p-ide-VERSION-redist-win.jar
108
- 2p-ide-VERSION-redist-linux.jar
109
- 2p-ide-VERSION-redist-mac.jar
110
- 2p-ide-VERSION-redist-mac-aarch64.jar
111
- ```
112
- Users of macOS on Apple Silicon must rely on the `mac-aarch64` variant.
113
- The all-in-one `2p-ide-VERSION-redist.jar` cannot carry the native libraries of both macOS architectures, as they share
114
- the very same file names, hence it ships the Intel ones: running it on an ARM JVM fails with an `UnsatisfiedLinkError`
115
- reporting an incompatible architecture.
114
+ A ProbLog-specific build, bundling the `ide-plp-swing` extension described above (explanations rendered as BDD
115
+ diagrams), is published the same way, under matching `2p-ide-plp-swing-VERSION-redist*.jar` asset names.
116
116
 
117
117
  After you download the Jar, you can simply launch it by running:
118
118
  ```bash
119
- java -jar 2p-ide-VERSION-redist.jar
119
+ java -jar 2p-ide-swing-VERSION-redist.jar
120
120
  ```
121
121
  However, if you have properly configured the JVM on your system, it may be sufficient to just double-click on the
122
122
  aforementioned JAR to start the IDE.
@@ -141,7 +141,7 @@ Avoid this option in case of your query is expected to compute an unlimited amou
141
141
  To perform a novel query, they user may either:
142
142
  - write the new query in the query text field, and then press <kbd>Enter</kbd>, or
143
143
  - click on the <kbd>Stop</kbd> button, write the new query in the query text field, and then press the <kbd>Solve</kbd>
144
- (resp. <kbd>SolveNext</kbd>) button again.
144
+ (resp. <kbd>Next</kbd>) button again.
145
145
 
146
146
  The <kbd>Reset</kbd> button cleans up the status of the solver, clearing any side effect possibly provoked by previous
147
147
  queries (including assertions, retractions, prints, warnings, loading of libraries, operators, or flags).
@@ -153,6 +153,8 @@ There,
153
153
  - the _Stdout_ tab is aimed at showing the Prolog interpreter's standard output stream;
154
154
  - the _Stderr_ tab is aimed at showing the Prolog interpreter's standard error stream;
155
155
  - the _Warnings_ tab is aimed at showing any warning possibly generated by the Prolog interpreter while computing;
156
+ - the _Diagnostics_ tab lists syntax errors/warnings found in the currently edited theory, each with a one-based
157
+ line/column location matching the same underlining and tooltip shown directly in the editor;
156
158
  - the _Operators_ tab is aimed at showing the current content Prolog interpreter's operator table;
157
159
  - the _Flags_ tab is aimed showing the actual values of all the flags currently defined with the Prolog interpreter;
158
160
  - the _Libraries_ tab is aimed at letting the user inspect the currently loaded libraries and the predicates, operators, and functions they import;
@@ -160,7 +162,31 @@ There,
160
162
 
161
163
  Any of these tabs may be automatically updated after a solution to some query is computed.
162
164
  Whenever something changes w.r.t. the previous content of the tab, an asterisk will appear close to the tab name, to notify an update in that tab.
163
-
165
+
166
+ Finally, the status bar at the bottom of the window shows the caret's current line/column (one-based, like every
167
+ other location shown by the IDE), next to the current resolution status.
168
+
169
+ ##### Web IDE
170
+
171
+ If you would rather not install anything, the same editing/solving experience is available straight from a browser.
172
+
173
+ Up-to-date Web IDE is available at <https://tuprolog.github.io/2p-kt/web-ide/>
174
+
175
+ If you want to deploy the Web IDE yourself,
176
+ the page of the [latest release](https://github.com/tuProlog/2p-kt/releases/latest) of 2P-Kt exposes, among its
177
+ _Assets_, one named:
178
+ ```
179
+ ide-web-VERSION.zip
180
+ ```
181
+ Unzip it, then serve the resulting folder with any local static file server (its own end-to-end tests do the same)
182
+ and open `index.html` in a modern browser. Editing, syntax highlighting, diagnostics, and query solving all work the
183
+ same way as in the desktop IDE.
184
+
185
+ One notable difference among Web and Swing IDEs is how pages are stored: <kbd>New</kbd>/<kbd>Open...</kbd>/
186
+ <kbd>Save</kbd>/<kbd>Save as...</kbd> manage pages persisted in the browser's own local storage (so they survive a
187
+ reload but do not touch the file system), while <kbd>Upload...</kbd>/<kbd>Download</kbd> are the ones that read/write
188
+ an actual theory file on disk.
189
+
164
190
  #### Command Line Interface
165
191
 
166
192
  If you just need a command-line Prolog interpreter, you can rely on the 2P-Kt REPL which is available on the [Releases section of the
@@ -197,16 +223,16 @@ java -jar 2p-repl-VERSION-redist.jar --help
197
223
  ```
198
224
  This should display a message similar to the following one:
199
225
  ```
200
- Usage: java -jar 2p-repl.jar [OPTIONS] COMMAND [ARGS]...
226
+ Usage: java -jar 2p-repl.jar [<options>] <command> [<args>]...
201
227
 
202
228
  Start a Prolog Read-Eval-Print loop
203
229
 
204
230
  Options:
205
- -T, --theory TEXT Path of theory file to be loaded
206
- -t, --timeout INT Maximum amount of time for computing a solution (default:
207
- 1000 ms)
208
- --oop Loads the OOP library
209
- -h, --help Show this message and exit
231
+ -T, --theory=<text> Path of theory file to be loaded
232
+ -t, --timeout=<int> Maximum amount of time for computing a solution
233
+ (default: 1000 ms)
234
+ --oop Loads the OOP library
235
+ -h, --help Show this message and exit
210
236
 
211
237
  Commands:
212
238
  solve Compute a particular query and then terminate
@@ -253,7 +279,7 @@ you simply need to declare the corresponding dependency in your `pom.xml` file:
253
279
  ```xml
254
280
  <dependency>
255
281
  <groupId>it.unibo.tuprolog</groupId>
256
- <artifactId>2P_MODULE</artifactId>
282
+ <artifactId>2P_MODULE-jvm</artifactId>
257
283
  <version>2P_VERSION</version>
258
284
  </dependency>
259
285
  ```
@@ -286,24 +312,31 @@ Remember to add the `-jvm` suffix to `2P_MODULE` in case your project only targe
286
312
  ### NPM users (JavaScript-only projects)
287
313
 
288
314
  The 2P-Kt software is available as a JavaScript library as well, on NPM, under the [`@tuprolog` organization](https://www.npmjs.com/org/tuprolog).
289
- To import the `2P_MODULE` into your `package.json`, it is sufficient to declare your dependency as follows:
315
+ Because of how the Kotlin-to-JS compiler works,
316
+ there's no sense in importing one module selectively.
317
+ So if you want to use 2P-Kt in JavaScript, better would be for you to use the `@tuprolog/2p-full` project as a
318
+ dependency (note the `2p-` prefix: every 2P-Kt npm package is published as `@tuprolog/2p-<module>`, not bare
319
+ `@tuprolog/<module>`).
320
+ To import the `@tuprolog/2p-full` module into your `package.json`, it is sufficient to declare your dependency as follows:
290
321
  ```json
291
322
  {
292
323
  "dependencies": {
293
- "@tuprolog/2P_MODULE": "^2P_MODULE_VERSION"
324
+ "@tuprolog/2p-full": "^2P_MODULE_VERSION"
294
325
  }
295
326
  }
296
327
  ```
297
- Notice that the JS dependencies of `2P_MODULE` should be automatically imported.
298
328
 
299
329
  ## Developers
300
330
 
301
331
  Working with the 2P-Kt codebase requires a number of tools to be installed and properly configured on your system:
302
- - JDK 11+ (please ensure the `JAVA_HOME` environment variable is properly) configured
303
- - Kotlin 1.5.10+
304
- - Gradle 7.1+ (please ensure the `GRADLE_HOME` environment variable is properly configured)
332
+ - JDK 17+ (please ensure the `JAVA_HOME` environment variable is properly configured)
333
+ - Kotlin 2.4+
334
+ - Gradle 9.7+ (the `./gradlew` wrapper already pins this version, so a separately installed Gradle is optional)
305
335
  - Git 2.20+
306
336
 
337
+ > `detekt` (the static analyzer run by `./gradlew check`) is known to crash on very recent JDKs (e.g. JDK 26); if it
338
+ > fails for no apparent reason, retry with `JAVA_HOME` pointed at a JDK 21-23 instead.
339
+
307
340
  ### Develop 2P-Kt with IntelliJ Idea
308
341
 
309
342
  To participate in the development of 2P-Kt, we suggest the [IntelliJ Idea](https://www.jetbrains.com/idea/download/) IDE.
@@ -319,32 +352,14 @@ To open such dialog, use <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>A</kbd>, then sea
319
352
 
320
353
  1. Clone this repository in a folder of your preference using `git clone` appropriately
321
354
 
322
- 0. Open IntellJ Idea.
323
- If a project opens automatically, select "Close project".
324
- You should be on the welcome screen of IntelliJ idea, with an aspect similar to this image:
325
- ![IntelliJ Welcome Screen](https://www.jetbrains.com/help/img/idea/2018.2/ideaWelcomeScreen.png)
326
-
327
- 0. Select "Import Project"
328
-
329
- 0. Navigate your file system and find the folder where you cloned the repository.
330
- **Do not select it**.
331
- Open the folder, and you should find a lowercase `2p-in-kotlin` folder.
332
- That is the correct project folder, created by `git` in case you cloned without specifying a different folder name.
333
- Once the correct folder has been selected, click <kbd>Ok</kbd>
334
-
335
- 0. Select "Import Project from external model"
336
-
337
- 0. Make sure "Gradle" is selected as external model tool
338
-
339
- 0. Click <kbd>Finish</kbd>
340
-
341
- 0. If prompted to override any `.idea` file, try to answer <kbd>No</kbd>. It's possible that IntelliJ refuses to proceed, in which case click <kbd>Finish</kbd> again, then select <kbd>Yes</kbd>
342
-
343
- 0. A dialog stating that "IntelliJ IDEA found a Gradle build script" may appear, in such case answer <kbd>Import Gradle Project</kbd>
344
-
345
- 0. Wait for the IDE to import the project from Gradle. The process may take several minutes, due to the amount of dependencies. Should the synchronization fail, make sure that the IDE's Gradle is configured correctly:
355
+ 0. Open IntelliJ Idea, then <kbd>File</kbd> > <kbd>Open...</kbd> and select the `2p-kt` folder you just cloned
356
+ (assuming you cloned without specifying a different folder name). Modern IntelliJ versions auto-detect the Gradle
357
+ build and import it, no separate "Import Project" wizard needed.
346
358
 
347
- 0. In 'Settings -> Build, Execution, Deployment -> Build Tools > Gradle', for the option 'Use Gradle from' select 'gradle-wrapper.properties file'. Enabling auto-import is also recommended
359
+ 0. Wait for the IDE to import the project from Gradle. The process may take several minutes, due to the amount of
360
+ dependencies. Should the synchronization fail, make sure the IDE's Gradle is configured correctly: in
361
+ 'Settings -> Build, Execution, Deployment -> Build Tools > Gradle', for the option 'Use Gradle from' select
362
+ 'gradle-wrapper.properties file'. Enabling auto-import is also recommended
348
363
 
349
364
  ### Developing the project
350
365
  Contributions to this project are welcome. Just some rules:
@@ -377,8 +392,10 @@ The 2P project leverages on [Semantic Versioning](https://semver.org/) (SemVer,
377
392
  In particular, SemVer is enforced by the current Gradle configuration, which features [DanySK](https://github.com/DanySK)'s [Git sensitive SemVer Gradle Plugin](https://github.com/DanySK/git-sensitive-semantic-versioning-gradle-plugin).
378
393
  This implies it is strictly forbidden in this project to create tags whose label is not a valid SemVar string.
379
394
 
380
- Notice that the 2P project is still in its initial development stage---as proven by the major number equal to `0` in its version string.
381
- According to SemVer, this implies anything _may_ change at any time, as the public API _should not_ be considered stable.
395
+ Notice that the 2P project's version has reached major `1` (e.g. `1.5.1`), meaning it is no longer in the initial-development
396
+ stage of SemVer (major `0`).
397
+ According to SemVer, this implies the public API should not undergo breaking changes
398
+ without a major version bump; minor and patch releases should remain backward-compatible.
382
399
 
383
400
  #### Issue tracking
384
401