From 8bc0ddb894586643f3ff9879cb6dd7f38573c4f2 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 3 Dec 2015 13:26:51 +0100 Subject: [PATCH] Refactorings and code cleanup in the API. Renamed BuiltinConstraint -> Predicate. SessionSolver to replace Symbols. Decouple Predicate and solverClass. --- .../typesystem2/samplechecker/handle/util.mps | 34 +- .../lang/typesystem2/sampleplugin/plugin.mps | 15 +- .../jetbrains/mps/logic/jchr/predicate.mps | 559 +++++----- .../jetbrains/mps/logic/jchr/program.mps | 108 +- .../reactor/jetbrains.mps.logic.reactor.msd | 2 - .../mps/logic/reactor/constraint.mps | 971 ++++-------------- .../jetbrains/mps/logic/reactor/program.mps | 109 +- .../jetbrains/mps/logic/builtin/java.mps | 46 +- .../mps/logic/builtin/unification.mps | 123 +-- .../jetbrains/mps/logic/builtin/var.mps | 56 +- .../jetbrains/mps/logic/sandbox/runner.mps | 55 +- .../test/jetbrains.mps.logic.test.msd | 2 +- .../jetbrains/mps/logic/test/unification.mps | 301 +++--- .../mps/typechecking/handler/producer.mps | 351 +++---- 14 files changed, 942 insertions(+), 1790 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps index 356f199c..a572b312 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps @@ -342,9 +342,9 @@ - + - + @@ -371,7 +371,7 @@ - + @@ -418,12 +418,12 @@ - + - + @@ -1478,7 +1478,7 @@ - + @@ -1738,7 +1738,7 @@ - + @@ -1826,7 +1826,7 @@ - + @@ -2349,7 +2349,7 @@ - + @@ -2541,12 +2541,12 @@ - + - + @@ -2643,30 +2643,30 @@ - + - + - + - + - + - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 38825fdc..927c182e 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -1729,22 +1729,22 @@ - + - + - + - + - + @@ -5822,6 +5822,11 @@ + + + + + diff --git a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps index b271ace0..fc85b437 100644 --- a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps +++ b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/predicate.mps @@ -19,6 +19,7 @@ + @@ -195,6 +196,9 @@ + + + @@ -237,6 +241,9 @@ + + + @@ -271,7 +278,7 @@ - + @@ -298,7 +305,7 @@ - + @@ -322,7 +329,7 @@ - + @@ -349,7 +356,7 @@ - + @@ -367,7 +374,7 @@ - + @@ -570,6 +577,7 @@ + @@ -727,7 +735,7 @@ - + @@ -777,7 +785,7 @@ - + @@ -960,7 +968,7 @@ - + @@ -996,7 +1004,7 @@ - + @@ -1073,7 +1081,7 @@ - + @@ -1160,7 +1168,7 @@ - + @@ -1445,7 +1453,7 @@ - + @@ -1741,7 +1749,7 @@ - + @@ -1792,7 +1800,7 @@ - + @@ -2181,7 +2189,7 @@ - + @@ -2288,7 +2296,7 @@ - + @@ -2363,7 +2371,7 @@ - + @@ -2408,7 +2416,7 @@ - + @@ -2577,7 +2585,7 @@ - + @@ -3005,7 +3013,7 @@ - + @@ -3037,7 +3045,7 @@ - + @@ -3142,7 +3150,7 @@ - + @@ -3188,7 +3196,7 @@ - + @@ -3233,7 +3241,7 @@ - + @@ -3264,7 +3272,7 @@ - + @@ -3327,7 +3335,7 @@ - + @@ -3451,7 +3459,7 @@ - + @@ -3497,7 +3505,7 @@ - + @@ -3512,7 +3520,7 @@ - + @@ -3582,7 +3590,7 @@ - + @@ -3619,7 +3627,7 @@ - + @@ -3700,7 +3708,7 @@ - + @@ -3839,7 +3847,7 @@ - + @@ -4176,7 +4184,7 @@ - + @@ -4228,7 +4236,7 @@ - + @@ -4650,7 +4658,7 @@ - + @@ -4695,7 +4703,7 @@ - + @@ -4725,7 +4733,7 @@ - + @@ -4755,7 +4763,7 @@ - + @@ -4785,7 +4793,7 @@ - + @@ -4815,7 +4823,7 @@ - + @@ -4845,7 +4853,7 @@ - + @@ -4875,7 +4883,7 @@ - + @@ -4905,7 +4913,7 @@ - + @@ -4922,7 +4930,7 @@ - + @@ -4935,7 +4943,7 @@ - + @@ -4979,7 +4987,7 @@ - + @@ -5009,7 +5017,7 @@ - + @@ -5040,7 +5048,7 @@ - + @@ -5069,7 +5077,7 @@ - + @@ -5100,7 +5108,7 @@ - + @@ -5129,7 +5137,7 @@ - + @@ -5159,7 +5167,7 @@ - + @@ -5190,7 +5198,7 @@ - + @@ -5207,7 +5215,7 @@ - + @@ -5220,7 +5228,7 @@ - + @@ -5260,7 +5268,7 @@ - + @@ -5299,7 +5307,7 @@ - + @@ -5309,7 +5317,7 @@ - + @@ -5575,7 +5583,7 @@ - + @@ -5868,7 +5876,7 @@ - + @@ -5918,7 +5926,7 @@ - + @@ -6058,7 +6066,7 @@ - + @@ -6104,7 +6112,7 @@ - + @@ -6286,7 +6294,7 @@ - + @@ -6757,7 +6765,7 @@ - + @@ -6817,7 +6825,7 @@ - + @@ -6862,7 +6870,7 @@ - + @@ -6954,7 +6962,7 @@ - + @@ -7338,7 +7346,7 @@ - + @@ -7688,7 +7696,7 @@ - + @@ -7733,7 +7741,7 @@ - + @@ -8487,96 +8495,20 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - - + + + + + + + + @@ -8587,9 +8519,7 @@ - - - + @@ -8603,11 +8533,9 @@ - - - + - + @@ -8618,7 +8546,7 @@ - + @@ -8631,7 +8559,7 @@ - + @@ -8644,9 +8572,7 @@ - - - + @@ -8660,9 +8586,7 @@ - - - + @@ -8674,7 +8598,7 @@ - + @@ -8687,9 +8611,7 @@ - - - + @@ -8714,7 +8636,7 @@ - + @@ -8727,9 +8649,7 @@ - - - + @@ -8754,7 +8674,7 @@ - + @@ -8767,9 +8687,7 @@ - - - + @@ -8813,112 +8731,203 @@ + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + diff --git a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps index 85622ae5..3d943d7d 100644 --- a/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps +++ b/languages/jetbrains.mps.logic/jchr/models/jetbrains/mps/logic/jchr/program.mps @@ -299,57 +299,39 @@ - - + + - - + + - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - + + - - - + + + - + + + + + + + + + @@ -361,14 +343,14 @@ - - + + - - + + @@ -404,9 +386,9 @@ - + - + @@ -423,11 +405,11 @@ - + - + @@ -473,31 +455,17 @@ - - - - - - - - - - - - - - - + - + - + @@ -1324,10 +1292,10 @@ - + - + @@ -1408,7 +1376,7 @@ - + @@ -1903,7 +1871,7 @@ - + @@ -2000,7 +1968,7 @@ - + @@ -2027,7 +1995,7 @@ - + diff --git a/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd b/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd index 3eaefa6b..00b70ae0 100644 --- a/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd +++ b/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd @@ -9,7 +9,6 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.logic.atom) @@ -23,7 +22,6 @@ - diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps index 30d9d38b..a0045424 100644 --- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps +++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps @@ -43,7 +43,6 @@ - @@ -69,12 +68,10 @@ - - @@ -88,6 +85,7 @@ + @@ -176,12 +174,6 @@ - - - - - - @@ -258,7 +250,6 @@ - @@ -266,184 +257,75 @@ - - - - - + + + + + + + + + + - - + + - - - - - - - - - - - - + + + + + + + + + - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - + + - - - - - + + + + + + + + + + - - - - - - - - + + - - + @@ -463,55 +345,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -525,6 +365,9 @@ + + + @@ -532,55 +375,13 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -608,11 +409,13 @@ + + + - - + - + @@ -695,6 +498,89 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -707,48 +593,16 @@ - + - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - + @@ -757,6 +611,52 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -768,7 +668,7 @@ - + @@ -818,124 +718,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -960,22 +742,19 @@ - - + - - - - - - - + + + + + @@ -1011,35 +790,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1340,95 +1090,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1444,38 +1105,7 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1524,21 +1154,6 @@ - - - - - - - - - - - - - - - @@ -1723,111 +1338,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2392,67 +1902,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps index fffa6d02..527bb6b2 100644 --- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps +++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/program.mps @@ -2,8 +2,8 @@ - - + + @@ -136,6 +136,12 @@ + + + + + + @@ -167,6 +173,9 @@ + + + @@ -281,6 +290,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -381,6 +412,12 @@ + + + + + + @@ -554,22 +591,12 @@ - - - - - - - - - - - + - + @@ -620,33 +647,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -737,6 +737,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps index fcffd999..1b24397b 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/java.mps @@ -22,12 +22,6 @@ - - - - - - @@ -40,7 +34,6 @@ - @@ -79,23 +72,13 @@ - - - - - - - - - - @@ -106,7 +89,7 @@ - + @@ -166,33 +149,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps index a25e4b58..1f652f8b 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps @@ -1091,7 +1091,7 @@ - + @@ -1134,21 +1134,6 @@ - - - - - - - - - - - - - - - @@ -1177,30 +1162,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -1858,7 +1819,7 @@ - + @@ -1900,21 +1861,6 @@ - - - - - - - - - - - - - - - @@ -1943,30 +1889,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -1989,7 +1911,7 @@ - + @@ -2021,21 +1943,6 @@ - - - - - - - - - - - - - - - @@ -2055,30 +1962,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps index 0e9ba170..0a38ee9c 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/var.mps @@ -114,13 +114,9 @@ - - - - @@ -131,9 +127,6 @@ - - - @@ -142,7 +135,7 @@ - + @@ -185,21 +178,6 @@ - - - - - - - - - - - - - - - @@ -209,14 +187,14 @@ - + - + @@ -243,14 +221,14 @@ - + - + @@ -312,30 +290,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps b/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps index 79b183e0..0d2d3cb4 100644 --- a/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps +++ b/languages/jetbrains.mps.logic/sandbox/runner/models/jetbrains/mps/logic/sandbox/runner.mps @@ -24,6 +24,9 @@ + + + @@ -38,9 +41,6 @@ - - - @@ -169,6 +169,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -181,22 +212,8 @@ - - - - - - - - - - - - - - - - + + diff --git a/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd b/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd index 207e6cc8..d96a175f 100644 --- a/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd +++ b/languages/jetbrains.mps.logic/test/jetbrains.mps.logic.test.msd @@ -18,7 +18,7 @@ a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) + bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor) 760652ad-c01a-495e-9510-ed51532f617b(jetbrains.mps.logic.jchr) e4a4c488-aaf8-4c5b-bc98-e65c5dd9acb9(jetbrains.mps.lang.typesystem2.samplechecker.handler.test) diff --git a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps index e6da417a..b6ced03e 100644 --- a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps +++ b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps @@ -1610,27 +1610,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + @@ -1651,15 +1673,7 @@ - - - - - - - - - + @@ -1940,13 +1954,13 @@ - + - + @@ -2077,13 +2091,13 @@ - + - + @@ -2258,13 +2272,13 @@ - + - + @@ -2285,13 +2299,13 @@ - + - + @@ -2338,13 +2352,13 @@ - + - + @@ -2486,14 +2500,14 @@ - + - + @@ -2512,14 +2526,14 @@ - + - + @@ -2620,14 +2634,14 @@ - + - + @@ -2769,13 +2783,13 @@ - + - + @@ -2795,14 +2809,14 @@ - + - + @@ -2903,14 +2917,14 @@ - + - + @@ -3029,13 +3043,13 @@ - + - + @@ -3097,13 +3111,13 @@ - + - + @@ -3252,14 +3266,14 @@ - + - + @@ -3284,14 +3298,14 @@ - + - + @@ -3324,14 +3338,14 @@ - + - + @@ -3487,14 +3501,14 @@ - + - + @@ -3519,14 +3533,14 @@ - + - + @@ -3673,13 +3687,13 @@ - + - + @@ -3705,13 +3719,13 @@ - + - + @@ -3809,14 +3823,14 @@ - + - + @@ -3841,13 +3855,13 @@ - + - + @@ -3888,10 +3902,10 @@ - + - + @@ -4697,27 +4711,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + @@ -4735,22 +4771,8 @@ - - - - - - - - - - - - - - - - + + @@ -4841,51 +4863,39 @@ - + - + - + - + - - - - - - - - - - - - - - + - + - + + @@ -5032,42 +5042,29 @@ - - + + - - + + - - - - - - - - - - + + + - - - - - - - - + + - - - - + + + + @@ -5083,7 +5080,7 @@ - + @@ -5149,10 +5146,10 @@ - + - + diff --git a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps index 774c02cb..79ceebe5 100644 --- a/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps +++ b/solutions/jetbrains.mps.typechecking.handling/models/jetbrains/mps/typechecking/handler/producer.mps @@ -3055,7 +3055,7 @@ - + @@ -3077,7 +3077,7 @@ - + @@ -3205,11 +3205,19 @@ - - + + - + + + + + + + + + @@ -3219,6 +3227,7 @@ + @@ -6353,6 +6362,9 @@ + + + @@ -6361,6 +6373,15 @@ + + + + + + + + + @@ -6406,6 +6427,12 @@ + + + + + + @@ -6437,6 +6464,19 @@ + + + + + + + + + + + + + @@ -6520,14 +6560,14 @@ - - - - + + + + - - - + + + @@ -6565,6 +6605,7 @@ + @@ -6642,6 +6683,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6703,33 +6791,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7608,6 +7669,13 @@ + + + + + + + @@ -7629,7 +7697,7 @@ - + @@ -7657,7 +7725,7 @@ - + @@ -7691,53 +7759,14 @@ - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7875,7 +7904,7 @@ - + @@ -7896,7 +7925,7 @@ - + @@ -8108,7 +8137,7 @@ - + @@ -8131,92 +8160,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -8256,10 +8199,10 @@ - + - + @@ -8268,14 +8211,6 @@ - - - - - - - - @@ -8322,42 +8257,26 @@ - + - + - - - - - - - - - + - - - - - - - - - + @@ -8389,36 +8308,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -