diff --git a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/util.mps b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/util.mps index 2857dcd6..1d6e3028 100644 --- a/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/util.mps +++ b/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/runtime/util.mps @@ -5,11 +5,11 @@ - - + + - - + + @@ -312,7 +312,7 @@ - + @@ -330,8 +330,8 @@ - - + + @@ -436,10 +436,10 @@ - + - + @@ -451,7 +451,7 @@ - + @@ -571,7 +571,7 @@ - + @@ -628,7 +628,7 @@ - + @@ -666,7 +666,7 @@ - + @@ -699,7 +699,7 @@ - + @@ -721,7 +721,7 @@ - + @@ -735,7 +735,7 @@ - + @@ -749,7 +749,7 @@ - + @@ -770,7 +770,7 @@ - + @@ -793,11 +793,11 @@ - + - + @@ -824,7 +824,7 @@ - + @@ -856,11 +856,11 @@ - + - + @@ -885,7 +885,7 @@ - + @@ -915,7 +915,7 @@ - + @@ -927,10 +927,10 @@ - + - - + + @@ -942,10 +942,10 @@ - + - - + + @@ -995,7 +995,7 @@ - + @@ -1082,7 +1082,7 @@ - + @@ -1097,7 +1097,7 @@ - + @@ -1116,7 +1116,7 @@ - + @@ -1132,7 +1132,7 @@ - + @@ -1153,7 +1153,7 @@ - + @@ -1165,7 +1165,7 @@ - + @@ -1183,7 +1183,7 @@ - + @@ -1203,7 +1203,7 @@ - + @@ -1239,7 +1239,7 @@ - + @@ -1270,7 +1270,7 @@ - + @@ -1285,7 +1285,7 @@ - + @@ -1306,7 +1306,7 @@ - + @@ -1321,7 +1321,7 @@ - + @@ -1336,7 +1336,7 @@ - + @@ -1356,7 +1356,7 @@ - + @@ -1406,8 +1406,8 @@ - - + + @@ -1424,8 +1424,8 @@ - - + + @@ -1445,7 +1445,7 @@ - + @@ -1491,7 +1491,7 @@ - + @@ -1526,7 +1526,7 @@ - + @@ -1554,7 +1554,7 @@ - + @@ -1568,7 +1568,7 @@ - + @@ -1605,7 +1605,7 @@ - + @@ -1628,7 +1628,7 @@ - + @@ -1734,7 +1734,7 @@ - + @@ -1758,7 +1758,7 @@ - + @@ -1777,7 +1777,7 @@ - + @@ -1788,7 +1788,7 @@ - + @@ -1806,14 +1806,14 @@ - + - + @@ -1827,7 +1827,7 @@ - + @@ -1842,7 +1842,7 @@ - + @@ -1856,7 +1856,7 @@ - + @@ -1877,7 +1877,7 @@ - + @@ -1898,7 +1898,7 @@ - + @@ -1920,7 +1920,7 @@ - + @@ -1981,7 +1981,7 @@ - + @@ -2037,7 +2037,7 @@ - + @@ -2058,7 +2058,7 @@ - + @@ -2119,7 +2119,7 @@ - + @@ -2222,7 +2222,7 @@ - + @@ -2253,7 +2253,7 @@ - + @@ -2292,7 +2292,7 @@ - + @@ -2374,7 +2374,7 @@ - + @@ -2393,7 +2393,7 @@ - + @@ -2421,20 +2421,20 @@ - + - + - + @@ -2452,13 +2452,13 @@ - + - + @@ -2501,8 +2501,8 @@ - - + + @@ -2522,14 +2522,14 @@ - + - + @@ -2540,14 +2540,14 @@ - + - + @@ -2558,7 +2558,7 @@ - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index 64440367..b99ddd44 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -10,17 +10,17 @@ - + - + - - - - - - - + + + + + + + @@ -314,8 +314,8 @@ - - + + @@ -328,7 +328,7 @@ - + @@ -338,8 +338,8 @@ - - + + @@ -368,7 +368,7 @@ - + @@ -511,9 +511,9 @@ - + - + @@ -553,7 +553,7 @@ - + @@ -588,11 +588,11 @@ - - + + - + @@ -601,7 +601,7 @@ - + @@ -612,9 +612,9 @@ - + - + @@ -624,15 +624,15 @@ - + - + - + @@ -641,7 +641,7 @@ - + @@ -660,21 +660,21 @@ - + - + - + - + - - + + @@ -705,7 +705,7 @@ - + @@ -715,9 +715,9 @@ - + - + @@ -757,7 +757,7 @@ - + @@ -785,14 +785,14 @@ - + - + - + @@ -845,7 +845,7 @@ - + @@ -855,7 +855,7 @@ - + @@ -876,14 +876,14 @@ - + - + @@ -900,7 +900,7 @@ - + @@ -934,7 +934,7 @@ - + @@ -954,7 +954,7 @@ - + @@ -974,7 +974,7 @@ - + @@ -994,7 +994,7 @@ - + @@ -1016,9 +1016,9 @@ - + - + @@ -1029,7 +1029,7 @@ - + @@ -1045,7 +1045,7 @@ - + @@ -1066,10 +1066,10 @@ - + - + @@ -1077,10 +1077,10 @@ - + - + @@ -1092,7 +1092,7 @@ - + @@ -1101,7 +1101,7 @@ - + @@ -1124,7 +1124,7 @@ - + @@ -1133,7 +1133,7 @@ - + @@ -1145,7 +1145,7 @@ - + @@ -1171,7 +1171,7 @@ - + @@ -1180,7 +1180,7 @@ - + @@ -1190,7 +1190,7 @@ - + @@ -1204,7 +1204,7 @@ - + @@ -1299,18 +1299,18 @@ - + - + - + @@ -1326,8 +1326,8 @@ - - + + @@ -1363,13 +1363,13 @@ - + - + - + @@ -1397,7 +1397,7 @@ - + @@ -1420,9 +1420,9 @@ - + - + @@ -1437,19 +1437,19 @@ - + - + - + - + - + @@ -1479,10 +1479,10 @@ - + - + @@ -1503,7 +1503,7 @@ - + @@ -1513,7 +1513,7 @@ - + @@ -1527,7 +1527,7 @@ - + @@ -1535,11 +1535,11 @@ - + - + @@ -1551,19 +1551,19 @@ - + - + - + @@ -1576,7 +1576,7 @@ - + @@ -1584,7 +1584,7 @@ - + @@ -1611,7 +1611,7 @@ - + @@ -1627,7 +1627,7 @@ - + @@ -1754,7 +1754,7 @@ - + @@ -1769,21 +1769,21 @@ - + - + - + @@ -1822,7 +1822,7 @@ - + @@ -1838,7 +1838,7 @@ - + @@ -1853,14 +1853,14 @@ - + - + @@ -1894,7 +1894,7 @@ - + @@ -1909,35 +1909,35 @@ - + - + - + - + - + @@ -1980,7 +1980,7 @@ - + @@ -2044,7 +2044,7 @@ - + @@ -2059,13 +2059,13 @@ - + - + @@ -2073,13 +2073,13 @@ - + - + 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 e11c45e5..62c207c4 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 @@ -18,52 +18,52 @@ - + - + - + - + - + - - + + - + - - - - - + + + + + - - - - - + + + + + - - - - - - + + + + + + - - - - - + + + + + - - + + @@ -546,7 +546,7 @@ - + @@ -671,7 +671,7 @@ - + @@ -694,7 +694,7 @@ - + @@ -1028,7 +1028,7 @@ - + @@ -1412,8 +1412,8 @@ - - + + @@ -1438,21 +1438,21 @@ - + - + - - + + @@ -1467,7 +1467,7 @@ - + @@ -1492,7 +1492,7 @@ - + @@ -1521,7 +1521,7 @@ - + @@ -1552,7 +1552,7 @@ - + @@ -1566,7 +1566,7 @@ - + @@ -1613,10 +1613,10 @@ - + - - + + @@ -1629,14 +1629,14 @@ - - + + - + @@ -1662,8 +1662,8 @@ - - + + @@ -1676,10 +1676,10 @@ - + - - + + @@ -1697,8 +1697,8 @@ - - + + @@ -1721,10 +1721,10 @@ - + - - + + @@ -1734,14 +1734,14 @@ - - + + - + @@ -1781,10 +1781,10 @@ - + - - + + @@ -1794,14 +1794,14 @@ - - + + - + @@ -1827,8 +1827,8 @@ - - + + @@ -1841,10 +1841,10 @@ - + - - + + @@ -1862,8 +1862,8 @@ - - + + @@ -1893,7 +1893,7 @@ - + @@ -1904,7 +1904,7 @@ - + @@ -1935,7 +1935,7 @@ - + @@ -1956,7 +1956,7 @@ - + @@ -1987,7 +1987,7 @@ - + @@ -1997,8 +1997,8 @@ - - + + @@ -2027,7 +2027,7 @@ - + @@ -2080,7 +2080,7 @@ - + @@ -2113,7 +2113,7 @@ - + @@ -2131,7 +2131,7 @@ - + @@ -2170,10 +2170,10 @@ - + - - + + @@ -2186,14 +2186,14 @@ - - + + - + @@ -2224,8 +2224,8 @@ - - + + @@ -2238,10 +2238,10 @@ - + - - + + @@ -2262,8 +2262,8 @@ - - + + @@ -2281,7 +2281,7 @@ - + @@ -2290,7 +2290,7 @@ - + @@ -2302,7 +2302,7 @@ - + @@ -2327,7 +2327,7 @@ - + @@ -2353,8 +2353,8 @@ - - + + @@ -2367,10 +2367,10 @@ - + - - + + @@ -2384,14 +2384,14 @@ - - + + - + @@ -2409,7 +2409,7 @@ - + @@ -2425,12 +2425,12 @@ - - + + - + @@ -2440,17 +2440,17 @@ - + - + - + @@ -2467,7 +2467,7 @@ - + @@ -2487,7 +2487,7 @@ - + @@ -2575,7 +2575,7 @@ - + @@ -2602,7 +2602,7 @@ - + @@ -2612,11 +2612,11 @@ - - + + - + @@ -2625,24 +2625,24 @@ - + - + - + - + @@ -2670,7 +2670,7 @@ - + @@ -2704,7 +2704,7 @@ - + @@ -2744,8 +2744,8 @@ - - + + @@ -2771,7 +2771,7 @@ - + @@ -2783,8 +2783,8 @@ - - + + @@ -2807,7 +2807,7 @@ - + @@ -2827,14 +2827,14 @@ - + - + @@ -2864,7 +2864,7 @@ - + @@ -2944,8 +2944,8 @@ - - + + @@ -2963,7 +2963,7 @@ - + @@ -2972,7 +2972,7 @@ - + @@ -3000,16 +3000,16 @@ - + - + - + - + @@ -3019,15 +3019,15 @@ - + - + - - + + @@ -3045,7 +3045,7 @@ - + @@ -3078,7 +3078,7 @@ - + @@ -3089,14 +3089,14 @@ - + - + @@ -3108,7 +3108,7 @@ - + @@ -3117,14 +3117,14 @@ - + - + @@ -3132,13 +3132,13 @@ - + - + @@ -3149,13 +3149,13 @@ - + - + @@ -3166,7 +3166,7 @@ - + @@ -3174,7 +3174,7 @@ - + @@ -3193,7 +3193,7 @@ - + @@ -3201,7 +3201,7 @@ - + @@ -3233,7 +3233,7 @@ - + @@ -3248,8 +3248,8 @@ - - + + @@ -3268,13 +3268,13 @@ - + - + @@ -3287,7 +3287,7 @@ - + @@ -3295,7 +3295,7 @@ - + @@ -3345,7 +3345,7 @@ - + @@ -3374,13 +3374,13 @@ - + - + @@ -3390,7 +3390,7 @@ - + @@ -3424,7 +3424,7 @@ - + @@ -3432,7 +3432,7 @@ - + @@ -3504,11 +3504,11 @@ - + - + @@ -3526,20 +3526,20 @@ - + - + - + @@ -3548,7 +3548,7 @@ - + @@ -3561,7 +3561,7 @@ - + @@ -3577,7 +3577,7 @@ - + @@ -3596,7 +3596,7 @@ - + @@ -3653,7 +3653,7 @@ - + @@ -3688,7 +3688,7 @@ - + @@ -3705,20 +3705,20 @@ - + - + - + @@ -3727,7 +3727,7 @@ - + @@ -3740,7 +3740,7 @@ - + @@ -3756,7 +3756,7 @@ - + @@ -3774,7 +3774,7 @@ - + @@ -3829,10 +3829,10 @@ - + - - + + @@ -3869,13 +3869,13 @@ - + - + @@ -3885,7 +3885,7 @@ - + @@ -3949,7 +3949,7 @@ - + @@ -3959,7 +3959,7 @@ - + @@ -3982,7 +3982,7 @@ - + @@ -3994,14 +3994,14 @@ - + - + @@ -4018,7 +4018,7 @@ - + @@ -4045,7 +4045,7 @@ - + @@ -4057,7 +4057,7 @@ - + @@ -4077,7 +4077,7 @@ - + @@ -4091,14 +4091,14 @@ - + - + @@ -4108,7 +4108,7 @@ - + @@ -4119,16 +4119,16 @@ - + - + - + @@ -4138,7 +4138,7 @@ - + @@ -4155,7 +4155,7 @@ - + @@ -4176,10 +4176,10 @@ - + - + @@ -4187,10 +4187,10 @@ - + - + @@ -4202,7 +4202,7 @@ - + @@ -4211,7 +4211,7 @@ - + @@ -4234,7 +4234,7 @@ - + @@ -4243,7 +4243,7 @@ - + @@ -4255,7 +4255,7 @@ - + @@ -4281,7 +4281,7 @@ - + @@ -4290,7 +4290,7 @@ - + @@ -4300,7 +4300,7 @@ - + @@ -4314,7 +4314,7 @@ - + @@ -4409,18 +4409,18 @@ - + - + - + @@ -4439,9 +4439,9 @@ - + - + @@ -4456,19 +4456,19 @@ - + - + - + - + - + @@ -4481,7 +4481,7 @@ - + @@ -4566,11 +4566,11 @@ - + - + @@ -4588,20 +4588,20 @@ - + - + - + @@ -4610,7 +4610,7 @@ - + @@ -4623,7 +4623,7 @@ - + @@ -4636,7 +4636,7 @@ - + @@ -4654,8 +4654,8 @@ - - + + @@ -4671,7 +4671,7 @@ - + @@ -4680,7 +4680,7 @@ - + @@ -4699,11 +4699,11 @@ - + - + @@ -4726,7 +4726,7 @@ - + @@ -4736,7 +4736,7 @@ - + @@ -4772,7 +4772,7 @@ - + @@ -4805,14 +4805,14 @@ - + - + @@ -4823,7 +4823,7 @@ - + @@ -4848,7 +4848,7 @@ - + @@ -4857,16 +4857,16 @@ - + - - + + - + @@ -4892,7 +4892,7 @@ - + @@ -4904,7 +4904,7 @@ - + @@ -4916,7 +4916,7 @@ - + @@ -4926,7 +4926,7 @@ - + @@ -4934,7 +4934,7 @@ - + @@ -4944,7 +4944,7 @@ - + @@ -4963,11 +4963,11 @@ - + - + @@ -4976,7 +4976,7 @@ - + @@ -4997,20 +4997,20 @@ - + - - + + - - + + @@ -5023,13 +5023,13 @@ - + - + @@ -5037,7 +5037,7 @@ - + @@ -5095,7 +5095,7 @@ - + @@ -5107,16 +5107,16 @@ - + - + - + @@ -5127,7 +5127,7 @@ - + @@ -5156,7 +5156,7 @@ - + @@ -5181,7 +5181,7 @@ - + @@ -5213,8 +5213,8 @@ - - + + @@ -5226,7 +5226,7 @@ - + @@ -5238,7 +5238,7 @@ - + @@ -5270,7 +5270,7 @@ - + @@ -5302,7 +5302,7 @@ - + @@ -5334,7 +5334,7 @@ - + @@ -5366,7 +5366,7 @@ - + @@ -5398,7 +5398,7 @@ - + @@ -5430,7 +5430,7 @@ - + @@ -5441,7 +5441,7 @@ - + @@ -5501,7 +5501,7 @@ - + @@ -5512,7 +5512,7 @@ - + @@ -5570,7 +5570,7 @@ - + @@ -5600,7 +5600,7 @@ - + @@ -5660,13 +5660,13 @@ - + - + - - + + @@ -5694,7 +5694,7 @@ - + @@ -5705,35 +5705,35 @@ - + - + - + - + - + - + - + - + @@ -5742,7 +5742,7 @@ - + @@ -5759,14 +5759,14 @@ - + - - + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index e387fbe2..077b3c77 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -7,10 +7,10 @@ - + - - + + @@ -306,7 +306,7 @@ - + @@ -315,7 +315,7 @@ - + @@ -366,7 +366,7 @@ - + @@ -397,7 +397,7 @@ - + @@ -408,13 +408,13 @@ - + - + @@ -424,7 +424,7 @@ - + @@ -493,7 +493,7 @@ - + @@ -529,7 +529,7 @@ - + @@ -540,13 +540,13 @@ - + - + @@ -556,7 +556,7 @@ - + @@ -601,7 +601,7 @@ - + @@ -630,7 +630,7 @@ - + @@ -641,13 +641,13 @@ - + - + @@ -657,7 +657,7 @@ - + @@ -703,7 +703,7 @@ - + @@ -733,7 +733,7 @@ - + @@ -744,13 +744,13 @@ - + - + @@ -779,7 +779,7 @@ - + @@ -805,7 +805,7 @@ - + @@ -831,7 +831,7 @@ - + @@ -872,7 +872,7 @@ - + @@ -971,7 +971,7 @@ - + @@ -1050,7 +1050,7 @@ - + @@ -1202,7 +1202,7 @@ - + @@ -1211,8 +1211,8 @@ - - + + @@ -1232,7 +1232,7 @@ - + @@ -1243,8 +1243,8 @@ - - + + @@ -1265,7 +1265,7 @@ - + @@ -1274,7 +1274,7 @@ - + @@ -1286,14 +1286,14 @@ - + - + @@ -1318,13 +1318,13 @@ - + - + @@ -1336,7 +1336,7 @@ - + @@ -1357,13 +1357,13 @@ - + - + @@ -1379,8 +1379,8 @@ - - + + @@ -1397,7 +1397,7 @@ - + @@ -1419,8 +1419,8 @@ - - + + 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 b676c80e..9ea6d2ad 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 @@ -7,15 +7,15 @@ - + - - - - - + + + + + - + @@ -294,9 +294,9 @@ - + - + @@ -324,9 +324,9 @@ - + - + @@ -354,9 +354,9 @@ - + - + @@ -384,9 +384,9 @@ - + - + @@ -414,9 +414,9 @@ - + - + @@ -444,9 +444,9 @@ - + - + @@ -474,9 +474,9 @@ - + - + @@ -504,9 +504,9 @@ - + - + @@ -516,37 +516,37 @@ - + - + - + - + - + - + - + - - + + @@ -575,8 +575,8 @@ - - + + @@ -600,7 +600,7 @@ - + @@ -621,8 +621,8 @@ - - + + @@ -668,7 +668,7 @@ - + @@ -687,7 +687,7 @@ - + @@ -701,7 +701,7 @@ - + @@ -725,7 +725,7 @@ - + @@ -741,7 +741,7 @@ - + @@ -929,7 +929,7 @@ - + @@ -954,7 +954,7 @@ - + @@ -966,7 +966,7 @@ - + @@ -983,7 +983,7 @@ - + @@ -997,7 +997,7 @@ - + @@ -1021,7 +1021,7 @@ - + @@ -1037,7 +1037,7 @@ - + @@ -1225,7 +1225,7 @@ - + @@ -1250,7 +1250,7 @@ - + @@ -1262,7 +1262,7 @@ - + @@ -1284,9 +1284,9 @@ - + - + @@ -1298,8 +1298,8 @@ - - + + @@ -1327,7 +1327,7 @@ - + @@ -1336,7 +1336,7 @@ - + @@ -1354,7 +1354,7 @@ - + @@ -1383,7 +1383,7 @@ - + @@ -1394,15 +1394,15 @@ - - + + - + @@ -1458,14 +1458,14 @@ - + - - + + @@ -1502,14 +1502,14 @@ - + - - - - + + + + @@ -1520,14 +1520,14 @@ - + - + - - + + @@ -1535,15 +1535,15 @@ - - + + - + @@ -1615,7 +1615,7 @@ - + @@ -1640,15 +1640,15 @@ - - + + - + @@ -1664,14 +1664,14 @@ - - + + - + @@ -1712,14 +1712,14 @@ - + - + - - + + @@ -1730,14 +1730,14 @@ - + - + - - + + @@ -1745,15 +1745,15 @@ - - + + - + @@ -1822,7 +1822,7 @@ - + @@ -1830,7 +1830,7 @@ - + @@ -1842,7 +1842,7 @@ - + @@ -1864,9 +1864,9 @@ - + - + @@ -1887,7 +1887,7 @@ - + @@ -1909,9 +1909,9 @@ - + - + @@ -1940,8 +1940,8 @@ - - + + @@ -1969,7 +1969,7 @@ - + @@ -2011,7 +2011,7 @@ - + @@ -2057,7 +2057,7 @@ - + @@ -2079,9 +2079,9 @@ - + - + @@ -2154,8 +2154,8 @@ - - + + @@ -2183,7 +2183,7 @@ - + @@ -2332,7 +2332,7 @@ - + @@ -2408,7 +2408,7 @@ - + @@ -2484,7 +2484,7 @@ - + @@ -2506,9 +2506,9 @@ - + - + @@ -2520,7 +2520,7 @@ - + @@ -2547,7 +2547,7 @@ - + @@ -2577,7 +2577,7 @@ - + @@ -2591,7 +2591,7 @@ - + @@ -2601,7 +2601,7 @@ - + @@ -2609,7 +2609,7 @@ - + @@ -2621,7 +2621,7 @@ - + @@ -2643,9 +2643,9 @@ - + - + @@ -2666,7 +2666,7 @@ - + @@ -2688,9 +2688,9 @@ - + - + @@ -2739,7 +2739,7 @@ - + @@ -2771,7 +2771,7 @@ - + @@ -2789,7 +2789,7 @@ - + @@ -2820,7 +2820,7 @@ - + @@ -2834,7 +2834,7 @@ - + @@ -2844,7 +2844,7 @@ - + @@ -2852,7 +2852,7 @@ - + @@ -2864,7 +2864,7 @@ - + @@ -2886,9 +2886,9 @@ - + - + @@ -3001,7 +3001,7 @@ - + @@ -3038,7 +3038,7 @@ - + @@ -3060,7 +3060,7 @@ - + @@ -3070,7 +3070,7 @@ - + @@ -3102,7 +3102,7 @@ - + @@ -3116,7 +3116,7 @@ - + @@ -3126,7 +3126,7 @@ - + @@ -3134,7 +3134,7 @@ - + @@ -3158,8 +3158,8 @@ - - + + @@ -3281,8 +3281,8 @@ - - + + @@ -3325,10 +3325,10 @@ - + - - + + @@ -3369,10 +3369,10 @@ - + - - + + @@ -3382,7 +3382,7 @@ - + @@ -3415,8 +3415,8 @@ - - + + @@ -3428,10 +3428,10 @@ - + - - + + @@ -3446,14 +3446,14 @@ - - + + - + @@ -3540,10 +3540,10 @@ - + - - + + @@ -3553,7 +3553,7 @@ - + @@ -3596,8 +3596,8 @@ - - + + @@ -3619,7 +3619,7 @@ - + @@ -3633,7 +3633,7 @@ - + @@ -3663,7 +3663,7 @@ - + @@ -3683,9 +3683,9 @@ - + - + @@ -3714,9 +3714,9 @@ - + - + @@ -3741,9 +3741,9 @@ - + - + @@ -3751,7 +3751,7 @@ - + @@ -3767,7 +3767,7 @@ - + @@ -3788,11 +3788,11 @@ - + - + @@ -3802,7 +3802,7 @@ - + @@ -3869,7 +3869,7 @@ - + @@ -3885,7 +3885,7 @@ - + @@ -3901,7 +3901,7 @@ - + @@ -3925,7 +3925,7 @@ - + @@ -3948,7 +3948,7 @@ - + @@ -3977,7 +3977,7 @@ - + @@ -3995,13 +3995,13 @@ - + - + @@ -4010,8 +4010,8 @@ - - + + @@ -4066,7 +4066,7 @@ - + @@ -4080,11 +4080,11 @@ - + - + @@ -4111,7 +4111,7 @@ - + @@ -4147,8 +4147,8 @@ - - + + @@ -4162,8 +4162,8 @@ - - + + @@ -4215,7 +4215,7 @@ - + @@ -4234,7 +4234,7 @@ - + @@ -4277,7 +4277,7 @@ - + @@ -4305,8 +4305,8 @@ - - + + @@ -4330,7 +4330,7 @@ - + @@ -4343,8 +4343,8 @@ - - + + @@ -4357,8 +4357,8 @@ - - + + @@ -4374,8 +4374,8 @@ - - + + @@ -4384,7 +4384,7 @@ - + @@ -4402,7 +4402,7 @@ - + @@ -4424,7 +4424,7 @@ - + @@ -4446,7 +4446,7 @@ - + @@ -4470,7 +4470,7 @@ - + @@ -4504,7 +4504,7 @@ - + @@ -4518,7 +4518,7 @@ - + @@ -4571,7 +4571,7 @@ - + @@ -4697,7 +4697,7 @@ - + @@ -4713,7 +4713,7 @@ - + @@ -4747,7 +4747,7 @@ - + @@ -4764,7 +4764,7 @@ - + @@ -4783,7 +4783,7 @@ - + @@ -4799,7 +4799,7 @@ - + @@ -4824,7 +4824,7 @@ - + @@ -4851,7 +4851,7 @@ - + @@ -4866,7 +4866,7 @@ - + @@ -4875,7 +4875,7 @@ - + @@ -4936,7 +4936,7 @@ - + @@ -4953,7 +4953,7 @@ - + @@ -5016,7 +5016,7 @@ - + @@ -5033,7 +5033,7 @@ - + @@ -5053,7 +5053,7 @@ - + @@ -5065,7 +5065,7 @@ - + @@ -5089,7 +5089,7 @@ - + @@ -5125,11 +5125,11 @@ - + - + @@ -5214,7 +5214,7 @@ - + @@ -5237,7 +5237,7 @@ - + @@ -5277,7 +5277,7 @@ - + @@ -5322,7 +5322,7 @@ - + @@ -5359,12 +5359,12 @@ - + - + @@ -5379,12 +5379,12 @@ - + - + @@ -5409,12 +5409,12 @@ - + - + @@ -5432,7 +5432,7 @@ - + @@ -5450,7 +5450,7 @@ - + @@ -5466,11 +5466,11 @@ - + - + @@ -5483,7 +5483,7 @@ - + @@ -5501,7 +5501,7 @@ - + @@ -5514,13 +5514,13 @@ - + - + @@ -5534,7 +5534,7 @@ - + @@ -5565,7 +5565,7 @@ - + @@ -5573,7 +5573,7 @@ - + @@ -5629,7 +5629,7 @@ - + @@ -5661,7 +5661,7 @@ - + @@ -5683,7 +5683,7 @@ - + @@ -5726,14 +5726,14 @@ - + - - + + @@ -5748,13 +5748,13 @@ - + - + @@ -5782,7 +5782,7 @@ - + @@ -5820,7 +5820,7 @@ - + @@ -5836,7 +5836,7 @@ - + @@ -5855,7 +5855,7 @@ - + @@ -5874,13 +5874,13 @@ - + - + @@ -5896,7 +5896,7 @@ - + @@ -5914,15 +5914,15 @@ - + - + - + @@ -5932,9 +5932,9 @@ - + - + @@ -5949,7 +5949,7 @@ - + @@ -5968,7 +5968,7 @@ - + @@ -5986,9 +5986,9 @@ - + - + @@ -6007,9 +6007,9 @@ - + - + @@ -6017,7 +6017,7 @@ - + @@ -6031,11 +6031,11 @@ - + - + @@ -6045,7 +6045,7 @@ - + @@ -6137,7 +6137,7 @@ - + @@ -6153,7 +6153,7 @@ - + @@ -6187,7 +6187,7 @@ - + @@ -6204,7 +6204,7 @@ - + @@ -6225,22 +6225,22 @@ - + - + - + - + @@ -6255,7 +6255,7 @@ - + @@ -6268,9 +6268,9 @@ - + - + @@ -6291,16 +6291,16 @@ - + - + - + @@ -6328,9 +6328,9 @@ - + - + @@ -6345,22 +6345,22 @@ - + - + - + - + @@ -6375,7 +6375,7 @@ - + @@ -6388,9 +6388,9 @@ - + - + @@ -6411,16 +6411,16 @@ - + - + - + @@ -6448,9 +6448,9 @@ - + - + @@ -6461,37 +6461,37 @@ - + - + - + - + - + - + - + - - + + @@ -6516,8 +6516,8 @@ - - + + @@ -6541,7 +6541,7 @@ - + @@ -6556,8 +6556,8 @@ - - + + @@ -6609,7 +6609,7 @@ - + @@ -6627,7 +6627,7 @@ - + @@ -6641,7 +6641,7 @@ - + @@ -6665,7 +6665,7 @@ - + @@ -6681,7 +6681,7 @@ - + @@ -6866,7 +6866,7 @@ - + @@ -6891,7 +6891,7 @@ - + @@ -6903,7 +6903,7 @@ - + @@ -6920,7 +6920,7 @@ - + @@ -6934,7 +6934,7 @@ - + @@ -6958,7 +6958,7 @@ - + @@ -6974,7 +6974,7 @@ - + @@ -7159,7 +7159,7 @@ - + @@ -7184,7 +7184,7 @@ - + @@ -7196,7 +7196,7 @@ - + @@ -7206,21 +7206,21 @@ - + - + - + - + @@ -7232,8 +7232,8 @@ - - + + @@ -7261,7 +7261,7 @@ - + @@ -7295,7 +7295,7 @@ - + @@ -7307,7 +7307,7 @@ - + @@ -7336,7 +7336,7 @@ - + @@ -7346,7 +7346,7 @@ - + @@ -7358,9 +7358,9 @@ - + - + @@ -7381,7 +7381,7 @@ - + @@ -7397,15 +7397,15 @@ - + - + - + @@ -7435,8 +7435,8 @@ - - + + @@ -7464,7 +7464,7 @@ - + @@ -7473,7 +7473,7 @@ - + @@ -7518,7 +7518,7 @@ - + @@ -7564,7 +7564,7 @@ - + @@ -7586,9 +7586,9 @@ - + - + @@ -7668,8 +7668,8 @@ - - + + @@ -7697,7 +7697,7 @@ - + @@ -7798,7 +7798,7 @@ - + @@ -7814,7 +7814,7 @@ - + @@ -7870,7 +7870,7 @@ - + @@ -7958,7 +7958,7 @@ - + @@ -8034,7 +8034,7 @@ - + @@ -8044,21 +8044,21 @@ - + - + - + - + @@ -8073,7 +8073,7 @@ - + @@ -8095,7 +8095,7 @@ - + @@ -8105,7 +8105,7 @@ - + @@ -8117,9 +8117,9 @@ - + - + @@ -8140,7 +8140,7 @@ - + @@ -8156,15 +8156,15 @@ - + - + - + @@ -8222,7 +8222,7 @@ - + @@ -8231,7 +8231,7 @@ - + @@ -8253,9 +8253,9 @@ - + - + @@ -8378,7 +8378,7 @@ - + @@ -8392,7 +8392,7 @@ - + @@ -8411,7 +8411,7 @@ - + @@ -8441,7 +8441,7 @@ - + @@ -8461,9 +8461,9 @@ - + - + @@ -8492,9 +8492,9 @@ - + - + @@ -8519,9 +8519,9 @@ - + - + @@ -8529,7 +8529,7 @@ - + @@ -8545,7 +8545,7 @@ - + @@ -8566,11 +8566,11 @@ - + - + @@ -8580,7 +8580,7 @@ - + @@ -8649,7 +8649,7 @@ - + @@ -8662,16 +8662,16 @@ - + - + - + @@ -8688,7 +8688,7 @@ - + @@ -8696,9 +8696,9 @@ - + - + @@ -8713,16 +8713,16 @@ - + - + - + @@ -8739,7 +8739,7 @@ - + @@ -8747,9 +8747,9 @@ - + - + @@ -8760,30 +8760,30 @@ - + - + - + - + - + - + - - + + @@ -8841,7 +8841,7 @@ - + @@ -8857,7 +8857,7 @@ - + @@ -8888,7 +8888,7 @@ - + @@ -8924,8 +8924,8 @@ - - + + @@ -8935,7 +8935,7 @@ - + @@ -8970,7 +8970,7 @@ - + @@ -8982,7 +8982,7 @@ - + @@ -9006,7 +9006,7 @@ - + @@ -9029,7 +9029,7 @@ - + @@ -9052,7 +9052,7 @@ - + @@ -9067,7 +9067,7 @@ - + @@ -9080,7 +9080,7 @@ - + @@ -9106,7 +9106,7 @@ - + @@ -9118,7 +9118,7 @@ - + @@ -9142,7 +9142,7 @@ - + @@ -9165,7 +9165,7 @@ - + @@ -9188,7 +9188,7 @@ - + @@ -9203,7 +9203,7 @@ - + @@ -9216,7 +9216,7 @@ - + @@ -9239,15 +9239,15 @@ - + - + - + @@ -9260,7 +9260,7 @@ - + @@ -9276,7 +9276,7 @@ - + @@ -9288,16 +9288,16 @@ - + - + - + @@ -9309,8 +9309,8 @@ - - + + @@ -9335,7 +9335,7 @@ - + @@ -9346,7 +9346,7 @@ - + @@ -9364,7 +9364,7 @@ - + @@ -9398,7 +9398,7 @@ - + @@ -9420,8 +9420,8 @@ - - + + @@ -9432,7 +9432,7 @@ - + @@ -9462,7 +9462,7 @@ - + @@ -9472,15 +9472,15 @@ - + - + - + @@ -9495,7 +9495,7 @@ - + @@ -9507,16 +9507,16 @@ - + - + - + @@ -9530,7 +9530,7 @@ - + @@ -9580,7 +9580,7 @@ - + @@ -9596,7 +9596,7 @@ - + @@ -9619,7 +9619,7 @@ - + @@ -9648,7 +9648,7 @@ - + @@ -9666,7 +9666,7 @@ - + @@ -9691,7 +9691,7 @@ - + @@ -9720,7 +9720,7 @@ - + @@ -9728,7 +9728,7 @@ - + @@ -9743,7 +9743,7 @@ - + @@ -9755,7 +9755,7 @@ - + @@ -9772,7 +9772,7 @@ - + @@ -9797,14 +9797,14 @@ - + - + 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 b98e8432..b1a8503e 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 @@ -8,11 +8,11 @@ - - + + - - + + @@ -214,7 +214,7 @@ - + @@ -222,9 +222,9 @@ - + - + @@ -237,30 +237,30 @@ - + - + - + - + - + - + - - + + @@ -289,7 +289,7 @@ - + @@ -299,7 +299,7 @@ - + @@ -312,13 +312,13 @@ - + - + @@ -346,7 +346,7 @@ - + @@ -356,7 +356,7 @@ - + @@ -369,13 +369,13 @@ - + - + @@ -429,7 +429,7 @@ - + @@ -445,7 +445,7 @@ - + @@ -474,7 +474,7 @@ - + @@ -491,7 +491,7 @@ - + @@ -530,7 +530,7 @@ - + @@ -575,7 +575,7 @@ - + @@ -592,7 +592,7 @@ - + @@ -717,7 +717,7 @@ - + @@ -790,7 +790,7 @@ - + @@ -802,7 +802,7 @@ - + @@ -826,7 +826,7 @@ - + @@ -843,7 +843,7 @@ - + @@ -855,7 +855,7 @@ - + @@ -870,7 +870,7 @@ - + @@ -895,7 +895,7 @@ - + @@ -907,7 +907,7 @@ - + @@ -931,7 +931,7 @@ - + @@ -948,7 +948,7 @@ - + @@ -960,7 +960,7 @@ - + @@ -975,7 +975,7 @@ - + @@ -988,7 +988,7 @@ - + diff --git a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps index 416e00d6..3efe44d0 100644 --- a/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps +++ b/languages/jetbrains.mps.logic/sandbox/models/jetbrains/mps/logic/sandbox.mps @@ -9,12 +9,12 @@ - - - + + + - - + + @@ -350,11 +350,11 @@ - - + + - + @@ -369,11 +369,11 @@ - - + + - + @@ -390,11 +390,11 @@ - + - - + + @@ -418,11 +418,11 @@ - - + + - + @@ -440,15 +440,15 @@ - - + + - + @@ -458,8 +458,8 @@ - - + + @@ -467,8 +467,8 @@ - - + + @@ -485,11 +485,11 @@ - - + + - + @@ -504,7 +504,7 @@ - + @@ -520,7 +520,7 @@ - + @@ -528,7 +528,7 @@ - + @@ -539,8 +539,8 @@ - - + + @@ -563,11 +563,11 @@ - - + + - + @@ -739,7 +739,7 @@ - + @@ -913,7 +913,7 @@ - + @@ -947,15 +947,15 @@ - - + + - + - - + + @@ -990,7 +990,7 @@ - + @@ -1029,15 +1029,15 @@ - - + + - + - - + + @@ -1072,7 +1072,7 @@ - + @@ -1103,7 +1103,7 @@ - + @@ -1128,7 +1128,7 @@ - + @@ -1150,7 +1150,7 @@ - + @@ -1170,11 +1170,11 @@ - - + + - + @@ -1209,7 +1209,7 @@ - + @@ -1230,19 +1230,19 @@ - - + + - + - - + + @@ -1263,7 +1263,7 @@ - + @@ -1273,7 +1273,7 @@ - + @@ -1359,11 +1359,11 @@ - - + + - + @@ -1436,11 +1436,11 @@ - - + + - + @@ -1507,11 +1507,11 @@ - - + + - + @@ -1573,11 +1573,11 @@ - - + + - + @@ -1823,11 +1823,11 @@ - - + + - + @@ -1860,11 +1860,11 @@ - - + + - + @@ -1899,11 +1899,11 @@ - + - - + + @@ -1927,18 +1927,18 @@ - - + + - + - + @@ -1953,18 +1953,18 @@ - - + + - + - + @@ -1977,7 +1977,7 @@ - + @@ -1993,7 +1993,7 @@ - + @@ -2001,7 +2001,7 @@ - + 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 7b6d838f..37ebfe2b 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 @@ -7,12 +7,12 @@ - - + + - + @@ -174,7 +174,7 @@ - + @@ -1044,7 +1044,7 @@ - + @@ -1055,7 +1055,7 @@ - + @@ -1089,7 +1089,7 @@ - + @@ -1887,7 +1887,7 @@ - + @@ -1908,7 +1908,7 @@ - + @@ -2143,7 +2143,7 @@ - + @@ -2164,7 +2164,7 @@ - + @@ -2639,6 +2639,14 @@ + + + + + + + + @@ -2690,6 +2698,14 @@ + + + + + + + + @@ -3047,7 +3063,7 @@ - + @@ -3058,7 +3074,7 @@ - + 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 4db1ec53..562c8290 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 @@ -11,22 +11,22 @@ - - + + - + - - + + - - + + - + @@ -428,8 +428,8 @@ - - + + @@ -462,7 +462,7 @@ - + @@ -732,8 +732,8 @@ - - + + @@ -754,7 +754,7 @@ - + @@ -796,7 +796,7 @@ - + @@ -841,7 +841,7 @@ - + @@ -873,7 +873,7 @@ - + @@ -906,7 +906,7 @@ - + @@ -927,7 +927,7 @@ - + @@ -936,10 +936,10 @@ - + - + @@ -951,7 +951,7 @@ - + @@ -1018,7 +1018,7 @@ - + @@ -1081,7 +1081,7 @@ - + @@ -1168,13 +1168,13 @@ - + - + @@ -1196,7 +1196,7 @@ - + @@ -1210,7 +1210,7 @@ - + @@ -1318,7 +1318,7 @@ - + @@ -1358,7 +1358,7 @@ - + @@ -1402,7 +1402,7 @@ - + @@ -1414,7 +1414,7 @@ - + @@ -1439,7 +1439,7 @@ - + @@ -1875,11 +1875,11 @@ - + - + @@ -2479,7 +2479,7 @@ - + @@ -2591,7 +2591,7 @@ - + @@ -2638,7 +2638,7 @@ - + @@ -2671,7 +2671,7 @@ - + @@ -2962,7 +2962,7 @@ - + @@ -3013,7 +3013,7 @@ - + @@ -3143,7 +3143,7 @@ - + @@ -3541,8 +3541,8 @@ - - + + @@ -3576,8 +3576,8 @@ - - + + @@ -3660,13 +3660,13 @@ - + - + @@ -3679,14 +3679,14 @@ - + - - + + - - + + @@ -3697,10 +3697,10 @@ - + - - + + @@ -3726,7 +3726,7 @@ - + @@ -3739,7 +3739,7 @@ - + @@ -3907,7 +3907,7 @@ - + @@ -3916,7 +3916,7 @@ - + @@ -3999,14 +3999,14 @@ - - + + - + @@ -4019,10 +4019,10 @@ - - - - + + + + @@ -4323,7 +4323,7 @@ - + @@ -4386,8 +4386,8 @@ - - + + @@ -4579,7 +4579,7 @@ - + @@ -4601,7 +4601,7 @@ - + @@ -4624,7 +4624,7 @@ - + @@ -4698,8 +4698,8 @@ - - + + @@ -4807,8 +4807,8 @@ - - + + @@ -4901,7 +4901,7 @@ - + @@ -4917,8 +4917,8 @@ - - + + @@ -4942,7 +4942,7 @@ - + @@ -5027,8 +5027,8 @@ - - + + @@ -5092,8 +5092,8 @@ - - + + @@ -5366,7 +5366,7 @@ - + @@ -5393,13 +5393,13 @@ - + - + @@ -5468,8 +5468,8 @@ - - + + @@ -5619,14 +5619,14 @@ - - + + - + @@ -5667,7 +5667,7 @@ - + @@ -5858,8 +5858,8 @@ - - + + @@ -6000,8 +6000,8 @@ - - + + @@ -6091,7 +6091,7 @@ - + @@ -6122,7 +6122,7 @@ - + @@ -6138,7 +6138,7 @@ - + @@ -6158,7 +6158,7 @@ - + diff --git a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps index a7cfd6a4..2f039409 100644 --- a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps +++ b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps @@ -10,9 +10,9 @@ - - - + + + @@ -338,8 +338,8 @@ - - + + @@ -352,8 +352,8 @@ - - + + @@ -392,8 +392,8 @@ - - + + @@ -412,8 +412,8 @@ - - + + @@ -429,7 +429,7 @@ - + @@ -476,13 +476,13 @@ - + - + @@ -520,7 +520,7 @@ - + @@ -564,11 +564,11 @@ - + - + @@ -605,7 +605,7 @@ - + @@ -631,7 +631,7 @@ - + @@ -641,8 +641,8 @@ - - + + @@ -721,7 +721,7 @@ - + @@ -731,7 +731,7 @@ - + @@ -742,21 +742,21 @@ - - - + + + - - + + - + @@ -769,8 +769,8 @@ - - + + @@ -780,9 +780,9 @@ - - - + + + @@ -795,8 +795,8 @@ - - + + @@ -804,7 +804,7 @@ - + @@ -817,31 +817,31 @@ - - + + - - + + - + - - + + - + @@ -850,7 +850,7 @@ - + @@ -865,7 +865,7 @@ - + @@ -885,8 +885,8 @@ - - + + @@ -896,7 +896,7 @@ - + @@ -917,7 +917,7 @@ - + @@ -941,7 +941,7 @@ - + @@ -955,7 +955,7 @@ - + @@ -972,7 +972,7 @@ - + @@ -986,8 +986,8 @@ - - + + @@ -995,7 +995,7 @@ - + @@ -1005,8 +1005,8 @@ - - + + @@ -1048,7 +1048,7 @@ - + @@ -1056,7 +1056,7 @@ - + @@ -1091,7 +1091,7 @@ - + @@ -1135,11 +1135,11 @@ - + - + @@ -1173,7 +1173,7 @@ - + @@ -1202,7 +1202,7 @@ - + @@ -1228,7 +1228,7 @@ - + @@ -1327,7 +1327,7 @@ - + @@ -1342,7 +1342,7 @@ - + @@ -1459,7 +1459,7 @@ - + @@ -1476,7 +1476,7 @@ - + @@ -1492,11 +1492,11 @@ - + - + @@ -1508,10 +1508,10 @@ - + - - + + @@ -1519,7 +1519,7 @@ - + @@ -1542,20 +1542,20 @@ - + - + - + @@ -1590,20 +1590,20 @@ - + - + - + @@ -1686,7 +1686,7 @@ - + @@ -1694,11 +1694,11 @@ - - + + - - + + @@ -1707,7 +1707,7 @@ - + @@ -1720,8 +1720,8 @@ - - + + @@ -1731,15 +1731,15 @@ - - - + + + - + @@ -1750,7 +1750,7 @@ - + @@ -1765,7 +1765,7 @@ - + @@ -1775,8 +1775,8 @@ - - + + @@ -1784,7 +1784,7 @@ - + @@ -1797,31 +1797,31 @@ - - + + - - + + - + - - + + - + @@ -1830,7 +1830,7 @@ - + @@ -1846,7 +1846,7 @@ - + @@ -1868,7 +1868,7 @@ - + @@ -1906,7 +1906,7 @@ - + @@ -1943,7 +1943,7 @@ - + @@ -1964,7 +1964,7 @@ - + @@ -2014,7 +2014,7 @@ - + @@ -2022,7 +2022,7 @@ - + @@ -2048,8 +2048,8 @@ - - + + @@ -2127,11 +2127,11 @@ - + - + @@ -2166,8 +2166,8 @@ - - + + @@ -2231,7 +2231,7 @@ - + @@ -2319,8 +2319,8 @@ - - + + @@ -2342,7 +2342,7 @@ - + @@ -2573,7 +2573,7 @@ - + @@ -2588,7 +2588,7 @@ - + @@ -2708,7 +2708,7 @@ - + @@ -2725,7 +2725,7 @@ - + @@ -2741,11 +2741,11 @@ - + - + @@ -2757,10 +2757,10 @@ - + - - + + @@ -2768,7 +2768,7 @@ - + @@ -2791,20 +2791,20 @@ - + - + - + @@ -2839,20 +2839,20 @@ - + - + - + @@ -2892,7 +2892,7 @@ - + @@ -2902,7 +2902,7 @@ - + @@ -3028,7 +3028,7 @@ - + @@ -3172,7 +3172,7 @@ - + @@ -3182,7 +3182,7 @@ - + @@ -3235,8 +3235,8 @@ - - + + @@ -3252,7 +3252,7 @@ - + @@ -3288,7 +3288,7 @@ - + @@ -3298,7 +3298,7 @@ - + @@ -3335,10 +3335,10 @@ - + - - + + @@ -3348,7 +3348,7 @@ - + @@ -3358,8 +3358,8 @@ - - + + @@ -3367,7 +3367,7 @@ - + @@ -3380,8 +3380,8 @@ - - + + @@ -3391,15 +3391,15 @@ - - - + + + - + @@ -3412,8 +3412,8 @@ - - + + @@ -3422,26 +3422,26 @@ - - + + - + - + - - + + - + @@ -3455,13 +3455,13 @@ - + - + @@ -3469,23 +3469,23 @@ - - + + - + - - + + - + @@ -3494,7 +3494,7 @@ - + @@ -3511,7 +3511,7 @@ - + @@ -3535,7 +3535,7 @@ - + @@ -3553,7 +3553,7 @@ - + @@ -3577,7 +3577,7 @@ - + @@ -3591,7 +3591,7 @@ - + @@ -3608,7 +3608,7 @@ - + @@ -3622,7 +3622,7 @@ - + @@ -3672,7 +3672,7 @@ - + @@ -3703,7 +3703,7 @@ - + @@ -3733,7 +3733,7 @@ - + @@ -3762,7 +3762,7 @@ - + @@ -3789,7 +3789,7 @@ - + @@ -3877,7 +3877,7 @@ - + @@ -3895,7 +3895,7 @@ - + @@ -4000,7 +4000,7 @@ - + @@ -4017,7 +4017,7 @@ - + @@ -4114,11 +4114,11 @@ - + - + @@ -4130,10 +4130,10 @@ - + - - + + @@ -4141,7 +4141,7 @@ - + @@ -4164,14 +4164,14 @@ - + - + @@ -4211,21 +4211,21 @@ - + - + - + @@ -4242,7 +4242,7 @@ - + @@ -4284,7 +4284,7 @@ - + @@ -4303,7 +4303,7 @@ - + @@ -4337,7 +4337,7 @@ - + @@ -4384,7 +4384,7 @@ - + @@ -4418,7 +4418,7 @@ - + @@ -4439,7 +4439,7 @@ - + @@ -4459,7 +4459,7 @@ - + @@ -4473,7 +4473,7 @@ - + @@ -4491,19 +4491,19 @@ - + - + - + @@ -4526,8 +4526,8 @@ - - + + @@ -4550,10 +4550,10 @@ - + - - + + @@ -4570,7 +4570,7 @@ - + @@ -4601,12 +4601,12 @@ - + - + @@ -4619,7 +4619,7 @@ - + @@ -4708,7 +4708,7 @@ - + @@ -4747,7 +4747,7 @@ - + @@ -4782,7 +4782,7 @@ - + @@ -4801,7 +4801,7 @@ - + @@ -4811,7 +4811,7 @@ - + @@ -4846,7 +4846,7 @@ - + @@ -4865,7 +4865,7 @@ - + @@ -4874,13 +4874,13 @@ - - + + - - + + @@ -4997,7 +4997,7 @@ - + @@ -5187,7 +5187,7 @@ - + @@ -5336,17 +5336,17 @@ - + - - + + - + @@ -5358,7 +5358,7 @@ - + @@ -5371,7 +5371,7 @@ - + @@ -5384,7 +5384,7 @@ - + @@ -5407,7 +5407,7 @@ - + @@ -5419,7 +5419,7 @@ - + @@ -5437,7 +5437,7 @@ - + @@ -5463,7 +5463,7 @@ - + @@ -5471,8 +5471,8 @@ - - + + @@ -5481,7 +5481,7 @@ - + @@ -5533,7 +5533,7 @@ - + @@ -5544,7 +5544,7 @@ - + @@ -5574,7 +5574,7 @@ - + @@ -5604,7 +5604,7 @@ - + @@ -5612,7 +5612,7 @@ - + @@ -5629,14 +5629,14 @@ - + - + @@ -5662,13 +5662,13 @@ - + - + @@ -5752,7 +5752,7 @@ - + @@ -5803,7 +5803,7 @@ - + @@ -5838,7 +5838,7 @@ - + @@ -5931,7 +5931,7 @@ - + @@ -5942,7 +5942,7 @@ - + @@ -5972,7 +5972,7 @@ - + @@ -6002,7 +6002,7 @@ - + @@ -6019,7 +6019,7 @@ - + @@ -6057,7 +6057,7 @@ - + @@ -6084,7 +6084,7 @@ - + @@ -6098,7 +6098,7 @@ - + @@ -6146,8 +6146,8 @@ - - + + @@ -6210,7 +6210,7 @@ - + @@ -6221,7 +6221,7 @@ - + @@ -6251,7 +6251,7 @@ - + @@ -6281,7 +6281,7 @@ - + @@ -6295,7 +6295,7 @@ - + @@ -6330,7 +6330,7 @@ - + @@ -6357,7 +6357,7 @@ - + @@ -6387,7 +6387,7 @@ - + @@ -6406,9 +6406,9 @@ - + - + @@ -6419,9 +6419,9 @@ - + - + @@ -6506,7 +6506,7 @@ - + @@ -6624,7 +6624,7 @@ - + @@ -6693,7 +6693,7 @@ - + @@ -6883,7 +6883,7 @@ - + @@ -6906,7 +6906,7 @@ - + @@ -6931,7 +6931,7 @@ - + @@ -6971,7 +6971,7 @@ - + @@ -7003,7 +7003,7 @@ - + @@ -7029,7 +7029,7 @@ - + @@ -7056,7 +7056,7 @@ - + @@ -7067,7 +7067,7 @@ - + @@ -7087,7 +7087,7 @@ - + @@ -7104,7 +7104,7 @@ - + @@ -7159,7 +7159,7 @@ - + @@ -7176,10 +7176,10 @@ - + - - + + @@ -7206,14 +7206,14 @@ - + - + @@ -7230,7 +7230,7 @@ - + @@ -7253,7 +7253,7 @@ - + @@ -7288,7 +7288,7 @@ - + @@ -7334,7 +7334,7 @@ - + @@ -7356,7 +7356,7 @@ - + @@ -7401,7 +7401,7 @@ - + @@ -7419,7 +7419,7 @@ - + @@ -7437,7 +7437,7 @@ - + @@ -7451,7 +7451,7 @@ - + @@ -7499,7 +7499,7 @@ - + @@ -7517,7 +7517,7 @@ - + @@ -7531,7 +7531,7 @@ - + @@ -7571,7 +7571,7 @@ - + @@ -7589,7 +7589,7 @@ - + @@ -7603,7 +7603,7 @@ - + @@ -7629,7 +7629,7 @@ - + @@ -7656,7 +7656,7 @@ - + @@ -7667,7 +7667,7 @@ - + @@ -7683,7 +7683,7 @@ - + @@ -7699,9 +7699,9 @@ - + - + @@ -7722,7 +7722,7 @@ - + @@ -7739,10 +7739,10 @@ - + - - + + @@ -7769,7 +7769,7 @@ - + @@ -7792,7 +7792,7 @@ - + @@ -7837,7 +7837,7 @@ - + @@ -7855,7 +7855,7 @@ - + @@ -7873,7 +7873,7 @@ - + @@ -7887,7 +7887,7 @@ - + @@ -7910,7 +7910,7 @@ - + @@ -7935,7 +7935,7 @@ - + @@ -7985,7 +7985,7 @@ - + @@ -8036,7 +8036,7 @@ - + @@ -8057,7 +8057,7 @@ - + @@ -8084,7 +8084,7 @@ - + @@ -8124,7 +8124,7 @@ - + @@ -8142,7 +8142,7 @@ - + @@ -8156,7 +8156,7 @@ - + @@ -8182,7 +8182,7 @@ - + @@ -8193,7 +8193,7 @@ - + @@ -8209,7 +8209,7 @@ - + @@ -8219,9 +8219,9 @@ - + - + @@ -8317,7 +8317,7 @@ - + @@ -8490,7 +8490,7 @@ - + @@ -8498,7 +8498,7 @@ - + @@ -8531,7 +8531,7 @@ - + @@ -8539,7 +8539,7 @@ - + @@ -8565,7 +8565,7 @@ - + @@ -8589,7 +8589,7 @@ - + @@ -8608,7 +8608,7 @@ - + @@ -8625,7 +8625,7 @@ - + @@ -8640,13 +8640,13 @@ - + - + @@ -8660,7 +8660,7 @@ - + @@ -8677,7 +8677,7 @@ - + @@ -8691,7 +8691,7 @@ - + @@ -8703,13 +8703,13 @@ - + - + @@ -8771,7 +8771,7 @@ - + @@ -8921,7 +8921,7 @@ - + @@ -8929,7 +8929,7 @@ - + @@ -8997,7 +8997,7 @@ - + @@ -9037,7 +9037,7 @@ - + @@ -9063,8 +9063,8 @@ - - + + @@ -9085,7 +9085,7 @@ - + @@ -9102,7 +9102,7 @@ - + @@ -9117,13 +9117,13 @@ - + - + @@ -9152,13 +9152,13 @@ - - + + - + @@ -9172,7 +9172,7 @@ - + @@ -9184,13 +9184,13 @@ - + - + @@ -9198,7 +9198,7 @@ - + @@ -9226,7 +9226,7 @@ - + @@ -9384,8 +9384,8 @@ - - + + @@ -9399,7 +9399,7 @@ - + @@ -9576,8 +9576,8 @@ - - + + @@ -9981,8 +9981,8 @@ - - + + @@ -10173,7 +10173,7 @@ - + @@ -10252,7 +10252,7 @@ - + @@ -10337,11 +10337,11 @@ - + - + @@ -10353,10 +10353,10 @@ - + - - + + @@ -10364,7 +10364,7 @@ - + @@ -10387,20 +10387,20 @@ - + - + - + @@ -10434,20 +10434,20 @@ - + - + - + @@ -10456,14 +10456,14 @@ - + - + @@ -10501,7 +10501,7 @@ - + @@ -10518,7 +10518,7 @@ - + @@ -10557,7 +10557,7 @@ - + @@ -10669,7 +10669,7 @@ - + @@ -10738,7 +10738,7 @@ - + @@ -10819,16 +10819,16 @@ - - + + - - + + @@ -10842,7 +10842,7 @@ - + @@ -10852,7 +10852,7 @@ - + @@ -10867,7 +10867,7 @@ - + @@ -10889,7 +10889,7 @@ - + @@ -10958,8 +10958,8 @@ - - + + @@ -10995,7 +10995,7 @@ - + @@ -11028,7 +11028,7 @@ - + @@ -11065,7 +11065,7 @@ - + @@ -11075,7 +11075,7 @@ - + @@ -11091,7 +11091,7 @@ - + @@ -11154,7 +11154,7 @@ - + @@ -11214,7 +11214,7 @@ - + @@ -11281,13 +11281,13 @@ - - + + - + @@ -11295,9 +11295,9 @@ - - - + + + @@ -11314,7 +11314,7 @@ - + @@ -11343,8 +11343,8 @@ - - + + @@ -11353,7 +11353,7 @@ - + @@ -11363,7 +11363,7 @@ - + @@ -11378,7 +11378,7 @@ - + @@ -11387,7 +11387,7 @@ - + @@ -11448,7 +11448,7 @@ - + @@ -11677,8 +11677,8 @@ - - + + @@ -11692,10 +11692,10 @@ - - - - + + + + @@ -11828,7 +11828,7 @@ - + @@ -11877,8 +11877,8 @@ - - + + @@ -11915,7 +11915,7 @@ - + @@ -11931,7 +11931,7 @@ - + @@ -11954,7 +11954,7 @@ - + @@ -11985,8 +11985,8 @@ - - + + @@ -12020,7 +12020,7 @@ - + @@ -12036,7 +12036,7 @@ - + @@ -12077,8 +12077,8 @@ - - + + @@ -12113,8 +12113,8 @@ - - + + @@ -12141,7 +12141,7 @@ - + @@ -12168,13 +12168,13 @@ - + - + @@ -12207,8 +12207,8 @@ - - + + @@ -12243,8 +12243,8 @@ - - + + @@ -12271,7 +12271,7 @@ - + @@ -12298,8 +12298,8 @@ - - + + @@ -12322,7 +12322,7 @@ - + @@ -12339,7 +12339,7 @@ - + @@ -12350,7 +12350,7 @@ - + @@ -12365,7 +12365,7 @@ - + @@ -12463,10 +12463,10 @@ - + - - + + @@ -12478,7 +12478,7 @@ - + @@ -12489,7 +12489,7 @@ - + @@ -12520,7 +12520,7 @@ - + @@ -12703,7 +12703,7 @@ - + @@ -12741,13 +12741,13 @@ - + - + @@ -12775,7 +12775,7 @@ - + @@ -12834,7 +12834,7 @@ - + @@ -12933,7 +12933,7 @@ - + @@ -12978,7 +12978,7 @@ - + @@ -13007,7 +13007,7 @@ - + @@ -13027,7 +13027,7 @@ - + @@ -13072,7 +13072,7 @@ - + @@ -13096,7 +13096,7 @@ - + @@ -13122,14 +13122,14 @@ - + - + @@ -13140,11 +13140,11 @@ - + - + @@ -13304,11 +13304,11 @@ - + - - + + @@ -13332,7 +13332,7 @@ - + @@ -13363,7 +13363,7 @@ - + @@ -13373,7 +13373,7 @@ - + @@ -13381,7 +13381,7 @@ - + @@ -13414,11 +13414,11 @@ - + - - + + @@ -13442,7 +13442,7 @@ - + @@ -13462,7 +13462,7 @@ - + @@ -13495,15 +13495,15 @@ - - + + - + @@ -13554,11 +13554,11 @@ - + - + @@ -13567,7 +13567,7 @@ - + @@ -13575,7 +13575,7 @@ - + @@ -13594,7 +13594,7 @@ - + @@ -13775,14 +13775,14 @@ - + - + @@ -13836,7 +13836,7 @@ - + @@ -13867,7 +13867,7 @@ - + @@ -14014,7 +14014,7 @@ - + @@ -14067,7 +14067,7 @@ - + @@ -14216,7 +14216,7 @@ - + @@ -14323,14 +14323,14 @@ - + - + @@ -14352,15 +14352,15 @@ - + - + - +