diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl index d2b5bd15..ceb1e23d 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl @@ -24,7 +24,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps index e4a769e8..07eacdb3 100644 --- a/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps @@ -3,7 +3,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index 0be5f0ca..ba105ccd 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -66,7 +66,7 @@ - + diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index 28868fa0..25f0f533 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -2,7 +2,7 @@ - + @@ -265,9 +265,6 @@ - - - @@ -405,10 +402,11 @@ - - + + + @@ -806,10 +804,11 @@ - - + + + @@ -883,10 +882,11 @@ - - + + + @@ -907,10 +907,11 @@ - - + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd index c4b40881..46be9bfd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd @@ -33,7 +33,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps index 2f9f2d5f..e6aaf67c 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.incrementality@tests.mps @@ -12,7 +12,7 @@ - + @@ -228,6 +228,7 @@ + @@ -373,9 +374,6 @@ - - - @@ -1013,8 +1011,8 @@ - - + + @@ -1022,6 +1020,7 @@ + @@ -1031,8 +1030,8 @@ - - + + @@ -1040,6 +1039,7 @@ + @@ -1092,10 +1092,11 @@ - - + + + @@ -1118,8 +1119,8 @@ - - + + @@ -1127,6 +1128,7 @@ + @@ -1136,8 +1138,8 @@ - - + + @@ -1145,6 +1147,7 @@ + @@ -1214,10 +1217,11 @@ - - + + + @@ -1240,8 +1244,8 @@ - - + + @@ -1249,6 +1253,7 @@ + @@ -1258,8 +1263,8 @@ - - + + @@ -1267,6 +1272,7 @@ + @@ -1326,10 +1332,11 @@ - - + + + @@ -1372,8 +1379,8 @@ - - + + @@ -1381,6 +1388,7 @@ + @@ -1390,8 +1398,8 @@ - - + + @@ -1399,6 +1407,7 @@ + @@ -1458,10 +1467,11 @@ - - + + + @@ -1504,8 +1514,8 @@ - - + + @@ -1513,6 +1523,7 @@ + @@ -1522,8 +1533,8 @@ - - + + @@ -1531,6 +1542,7 @@ + @@ -1540,10 +1552,11 @@ - - + + + @@ -1616,8 +1629,8 @@ - - + + @@ -1625,6 +1638,7 @@ + @@ -1634,8 +1648,8 @@ - - + + @@ -1643,6 +1657,7 @@ + @@ -1652,10 +1667,11 @@ - - + + + @@ -1670,10 +1686,11 @@ - - + + + @@ -1785,8 +1802,8 @@ - - + + @@ -1794,6 +1811,7 @@ + @@ -1803,8 +1821,8 @@ - - + + @@ -1812,6 +1830,7 @@ + @@ -1821,10 +1840,11 @@ - - + + + @@ -1926,8 +1946,8 @@ - - + + @@ -1935,6 +1955,7 @@ + @@ -1944,8 +1965,8 @@ - - + + @@ -1953,6 +1974,7 @@ + @@ -3135,8 +3157,8 @@ - - + + @@ -3144,6 +3166,7 @@ + @@ -3174,8 +3197,8 @@ - - + + @@ -3183,6 +3206,7 @@ + @@ -3255,8 +3279,8 @@ - - + + @@ -3264,6 +3288,7 @@ + @@ -3278,8 +3303,8 @@ - - + + @@ -3287,6 +3312,7 @@ + @@ -3572,8 +3598,8 @@ - - + + @@ -3581,6 +3607,7 @@ + @@ -3590,8 +3617,8 @@ - - + + @@ -3599,6 +3626,7 @@ + @@ -3622,10 +3650,11 @@ - - + + + @@ -3670,8 +3699,8 @@ - - + + @@ -3679,6 +3708,7 @@ + @@ -3688,8 +3718,8 @@ - - + + @@ -3697,6 +3727,7 @@ + @@ -3721,10 +3752,11 @@ - - + + + @@ -3778,10 +3810,11 @@ - - + + + @@ -3809,8 +3842,8 @@ - - + + @@ -3818,6 +3851,7 @@ + @@ -3827,8 +3861,8 @@ - - + + @@ -3836,6 +3870,7 @@ + @@ -3889,8 +3924,8 @@ - - + + @@ -3898,6 +3933,7 @@ + @@ -3907,8 +3943,8 @@ - - + + @@ -3916,6 +3952,7 @@ + @@ -3925,8 +3962,8 @@ - - + + @@ -3934,6 +3971,7 @@ + @@ -3981,10 +4019,11 @@ - - + + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index ee626d5d..eea48aa9 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -2,7 +2,7 @@ - + @@ -143,6 +143,7 @@ + @@ -311,9 +312,6 @@ - - - @@ -475,10 +473,11 @@ - - + + + @@ -539,10 +538,11 @@ - - + + + @@ -553,10 +553,11 @@ - - + + + @@ -1125,8 +1126,8 @@ - - + + @@ -1144,6 +1145,7 @@ + @@ -1174,8 +1176,8 @@ - - + + @@ -1193,6 +1195,7 @@ + @@ -1202,10 +1205,11 @@ - - + + + @@ -1217,8 +1221,8 @@ - - + + @@ -1236,14 +1240,15 @@ + - - + + @@ -1261,6 +1266,7 @@ + @@ -1300,10 +1306,11 @@ - - + + + @@ -1905,8 +1912,8 @@ - - + + @@ -1924,6 +1931,7 @@ + @@ -1954,8 +1962,8 @@ - - + + @@ -1973,6 +1981,7 @@ + @@ -1982,10 +1991,11 @@ - - + + + @@ -1997,8 +2007,8 @@ - - + + @@ -2016,14 +2026,15 @@ + - - + + @@ -2041,6 +2052,7 @@ + @@ -2080,10 +2092,11 @@ - - + + + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl index e6295933..0562c5cb 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl @@ -68,7 +68,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 5bf69fbf..6d5a75d8 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -2,7 +2,7 @@ - + @@ -201,6 +201,7 @@ + @@ -406,9 +407,6 @@ - - - @@ -1284,8 +1282,8 @@ - - + + @@ -1303,6 +1301,7 @@ + @@ -1333,10 +1332,11 @@ - - + + + @@ -1348,8 +1348,8 @@ - - + + @@ -1367,6 +1367,7 @@ + @@ -1384,10 +1385,11 @@ - - + + + @@ -1995,8 +1997,8 @@ - - + + @@ -2014,6 +2016,7 @@ + @@ -2023,10 +2026,11 @@ - - + + + @@ -2038,8 +2042,8 @@ - - + + @@ -2057,6 +2061,7 @@ + @@ -2096,10 +2101,11 @@ - - + + + @@ -2182,8 +2188,8 @@ - - + + @@ -2201,6 +2207,7 @@ + @@ -2231,10 +2238,11 @@ - - + + + @@ -2246,8 +2254,8 @@ - - + + @@ -2265,6 +2273,7 @@ + @@ -2297,10 +2306,11 @@ - - + + + @@ -2523,8 +2533,8 @@ - - + + @@ -2542,6 +2552,7 @@ + @@ -2593,8 +2604,8 @@ - - + + @@ -2612,6 +2623,7 @@ + @@ -2626,10 +2638,11 @@ - - + + + @@ -2641,8 +2654,8 @@ - - + + @@ -2660,14 +2673,15 @@ + - - + + @@ -2685,6 +2699,7 @@ + @@ -2724,10 +2739,11 @@ - - + + + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl index 50f5ae03..eb003637 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl @@ -69,7 +69,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index 9303d923..7280ca0f 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -2,7 +2,7 @@ - + @@ -127,6 +127,7 @@ + @@ -259,9 +260,6 @@ - - - @@ -890,10 +888,11 @@ - - + + + @@ -944,20 +943,22 @@ - - + + + - - + + + @@ -1008,20 +1009,22 @@ - - + + + - - + + + @@ -1061,10 +1064,11 @@ - - + + + @@ -1079,8 +1083,8 @@ - - + + @@ -1096,6 +1100,7 @@ + @@ -1107,8 +1112,8 @@ - - + + @@ -1124,6 +1129,7 @@ + @@ -1134,10 +1140,11 @@ - - + + + @@ -1202,8 +1209,8 @@ - - + + @@ -1221,6 +1228,7 @@ + @@ -1230,8 +1238,8 @@ - - + + @@ -1249,6 +1257,7 @@ + @@ -1280,10 +1289,11 @@ - - + + + @@ -1295,8 +1305,8 @@ - - + + @@ -1314,14 +1324,15 @@ + - - + + @@ -1339,6 +1350,7 @@ + @@ -1349,10 +1361,11 @@ - - + + + @@ -1417,8 +1430,8 @@ - - + + @@ -1436,6 +1449,7 @@ + @@ -1445,8 +1459,8 @@ - - + + @@ -1464,6 +1478,7 @@ + @@ -1495,10 +1510,11 @@ - - + + + @@ -1510,8 +1526,8 @@ - - + + @@ -1529,14 +1545,15 @@ + - - + + @@ -1554,6 +1571,7 @@ + @@ -1564,10 +1582,11 @@ - - + + + @@ -1629,10 +1648,11 @@ - - + + + @@ -1660,8 +1680,8 @@ - - + + @@ -1677,6 +1697,7 @@ + @@ -1688,8 +1709,8 @@ - - + + @@ -1705,6 +1726,7 @@ + @@ -1715,10 +1737,11 @@ - - + + + @@ -1780,10 +1803,11 @@ - - + + + @@ -1811,8 +1835,8 @@ - - + + @@ -1828,6 +1852,7 @@ + @@ -1839,8 +1864,8 @@ - - + + @@ -1856,6 +1881,7 @@ + @@ -1866,10 +1892,11 @@ - - + + + @@ -1931,8 +1958,8 @@ - - + + @@ -1948,6 +1975,7 @@ + @@ -1975,10 +2003,11 @@ - - + + + @@ -1990,8 +2019,8 @@ - - + + @@ -2007,6 +2036,7 @@ + @@ -2017,10 +2047,11 @@ - - + + + @@ -2077,8 +2108,8 @@ - - + + @@ -2094,6 +2125,7 @@ + @@ -2121,10 +2153,11 @@ - - + + + @@ -2136,8 +2169,8 @@ - - + + @@ -2153,6 +2186,7 @@ + @@ -2163,10 +2197,11 @@ - - + + + @@ -2235,10 +2270,11 @@ - - + + + @@ -2269,8 +2305,8 @@ - - + + @@ -2288,6 +2324,7 @@ + @@ -2318,8 +2355,8 @@ - - + + @@ -2337,6 +2374,7 @@ + @@ -2368,8 +2406,8 @@ - - + + @@ -2387,6 +2425,7 @@ + @@ -2398,8 +2437,8 @@ - - + + @@ -2417,14 +2456,15 @@ + - - + + @@ -2442,14 +2482,15 @@ + - - + + @@ -2467,6 +2508,7 @@ + @@ -2477,10 +2519,11 @@ - - + + + @@ -2554,10 +2597,11 @@ - - + + + @@ -2588,8 +2632,8 @@ - - + + @@ -2607,6 +2651,7 @@ + @@ -2637,8 +2682,8 @@ - - + + @@ -2656,6 +2701,7 @@ + @@ -2687,8 +2733,8 @@ - - + + @@ -2706,6 +2752,7 @@ + @@ -2717,8 +2764,8 @@ - - + + @@ -2736,14 +2783,15 @@ + - - + + @@ -2761,14 +2809,15 @@ + - - + + @@ -2786,6 +2835,7 @@ + @@ -2796,10 +2846,11 @@ - - + + + @@ -2877,10 +2928,11 @@ - - + + + @@ -2906,8 +2958,8 @@ - - + + @@ -2925,6 +2977,7 @@ + @@ -2958,8 +3011,8 @@ - - + + @@ -2977,6 +3030,7 @@ + @@ -2988,8 +3042,8 @@ - - + + @@ -3007,14 +3061,15 @@ + - - + + @@ -3032,6 +3087,7 @@ + @@ -3042,10 +3098,11 @@ - - + + + @@ -3123,10 +3180,11 @@ - - + + + @@ -3160,8 +3218,8 @@ - - + + @@ -3179,6 +3237,7 @@ + @@ -3204,8 +3263,8 @@ - - + + @@ -3223,6 +3282,7 @@ + @@ -3234,8 +3294,8 @@ - - + + @@ -3253,14 +3313,15 @@ + - - + + @@ -3278,6 +3339,7 @@ + @@ -3288,10 +3350,11 @@ - - + + + @@ -3358,10 +3421,11 @@ - - + + + @@ -3392,8 +3456,8 @@ - - + + @@ -3409,6 +3473,7 @@ + @@ -3420,8 +3485,8 @@ - - + + @@ -3439,6 +3504,7 @@ + @@ -3449,10 +3515,11 @@ - - + + + @@ -3538,10 +3605,11 @@ - - + + + @@ -3551,8 +3619,8 @@ - - + + @@ -3582,6 +3650,7 @@ + @@ -3591,8 +3660,8 @@ - - + + @@ -3622,6 +3691,7 @@ + @@ -3633,8 +3703,8 @@ - - + + @@ -3664,14 +3734,15 @@ + - - + + @@ -3701,6 +3772,7 @@ + @@ -3711,10 +3783,11 @@ - - + + + @@ -3797,10 +3870,11 @@ - - + + + @@ -3810,8 +3884,8 @@ - - + + @@ -3841,6 +3915,7 @@ + @@ -3852,8 +3927,8 @@ - - + + @@ -3883,6 +3958,7 @@ + @@ -3893,10 +3969,11 @@ - - + + + @@ -3998,10 +4075,11 @@ - - + + + @@ -4032,8 +4110,8 @@ - - + + @@ -4051,6 +4129,7 @@ + @@ -4060,8 +4139,8 @@ - - + + @@ -4079,6 +4158,7 @@ + @@ -4090,8 +4170,8 @@ - - + + @@ -4109,14 +4189,15 @@ + - - + + @@ -4134,6 +4215,7 @@ + @@ -4144,10 +4226,11 @@ - - + + + @@ -4239,8 +4322,8 @@ - - + + @@ -4258,6 +4341,7 @@ + @@ -4288,8 +4372,8 @@ - - + + @@ -4307,6 +4391,7 @@ + @@ -4337,10 +4422,11 @@ - - + + + @@ -4352,8 +4438,8 @@ - - + + @@ -4371,14 +4457,15 @@ + - - + + @@ -4396,6 +4483,7 @@ + @@ -4406,10 +4494,11 @@ - - + + + @@ -4501,8 +4590,8 @@ - - + + @@ -4520,6 +4609,7 @@ + @@ -4550,8 +4640,8 @@ - - + + @@ -4569,6 +4659,7 @@ + @@ -4599,10 +4690,11 @@ - - + + + @@ -4613,10 +4705,11 @@ - - + + + @@ -4705,10 +4798,11 @@ - - + + + @@ -4739,8 +4833,8 @@ - - + + @@ -4756,6 +4850,7 @@ + @@ -4767,8 +4862,8 @@ - - + + @@ -4784,6 +4879,7 @@ + @@ -4794,10 +4890,11 @@ - - + + + @@ -4886,10 +4983,11 @@ - - + + + @@ -4920,8 +5018,8 @@ - - + + @@ -4937,6 +5035,7 @@ + @@ -4948,8 +5047,8 @@ - - + + @@ -4965,6 +5064,7 @@ + @@ -4975,10 +5075,11 @@ - - + + + @@ -5051,10 +5152,11 @@ - - + + + @@ -5094,8 +5196,8 @@ - - + + @@ -5121,6 +5223,7 @@ + @@ -5135,10 +5238,11 @@ - - + + + @@ -5150,8 +5254,8 @@ - - + + @@ -5171,6 +5275,7 @@ + @@ -5181,10 +5286,11 @@ - - + + + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl index 5e29457f..3392e70b 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl @@ -67,7 +67,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 931e41ad..8fbd3f25 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -2,7 +2,7 @@ - + @@ -162,9 +162,6 @@ - - - @@ -230,10 +227,11 @@ - - + + + @@ -284,10 +282,11 @@ - - + + + @@ -326,10 +325,11 @@ - - + + + @@ -340,10 +340,11 @@ - - + + + @@ -369,10 +370,11 @@ - - + + + @@ -437,10 +439,11 @@ - - + + + @@ -451,10 +454,11 @@ - - + + + @@ -511,10 +515,11 @@ - - + + + diff --git a/samples/fitch/languages/samples.fitch/samples.fitch.mpl b/samples/fitch/languages/samples.fitch/samples.fitch.mpl index ad8f89c3..ea40034e 100644 --- a/samples/fitch/languages/samples.fitch/samples.fitch.mpl +++ b/samples/fitch/languages/samples.fitch/samples.fitch.mpl @@ -67,7 +67,7 @@ - + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index 895c9b94..01ed115d 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -2,7 +2,7 @@ - + @@ -536,9 +536,6 @@ - - - @@ -818,10 +815,11 @@ - - + + + @@ -2433,10 +2431,11 @@ - - + + + @@ -2446,10 +2445,11 @@ - - + + + @@ -2495,10 +2495,11 @@ - - + + + @@ -2508,10 +2509,11 @@ - - + + + @@ -2556,8 +2558,8 @@ - - + + @@ -2565,6 +2567,7 @@ + @@ -2574,8 +2577,8 @@ - - + + @@ -2583,6 +2586,7 @@ + @@ -2681,8 +2685,8 @@ - - + + @@ -2690,6 +2694,7 @@ + @@ -2704,8 +2709,8 @@ - - + + @@ -2713,6 +2718,7 @@ + @@ -2726,8 +2732,8 @@ - - + + @@ -2735,6 +2741,7 @@ + @@ -2799,8 +2806,8 @@ - - + + @@ -2808,6 +2815,7 @@ + @@ -2822,8 +2830,8 @@ - - + + @@ -2831,6 +2839,7 @@ + @@ -2844,10 +2853,11 @@ - - + + + @@ -2857,10 +2867,11 @@ - - + + + @@ -2924,8 +2935,8 @@ - - + + @@ -2933,6 +2944,7 @@ + @@ -2960,10 +2972,11 @@ - - + + + @@ -2973,10 +2986,11 @@ - - + + + @@ -3034,8 +3048,8 @@ - - + + @@ -3048,6 +3062,7 @@ + @@ -3057,8 +3072,8 @@ - - + + @@ -3066,6 +3081,7 @@ + @@ -3080,8 +3096,8 @@ - - + + @@ -3094,6 +3110,7 @@ + @@ -3103,8 +3120,8 @@ - - + + @@ -3112,6 +3129,7 @@ + @@ -3153,10 +3171,11 @@ - - + + + @@ -3180,10 +3199,11 @@ - - + + + @@ -3269,8 +3289,8 @@ - - + + @@ -3278,6 +3298,7 @@ + @@ -3287,8 +3308,8 @@ - - + + @@ -3296,6 +3317,7 @@ + @@ -3310,8 +3332,8 @@ - - + + @@ -3319,6 +3341,7 @@ + @@ -3328,8 +3351,8 @@ - - + + @@ -3337,6 +3360,7 @@ + @@ -3551,10 +3575,11 @@ - - + + + @@ -3641,10 +3666,11 @@ - - + + + @@ -3724,8 +3750,8 @@ - - + + @@ -3733,6 +3759,7 @@ + @@ -3742,8 +3769,8 @@ - - + + @@ -3751,6 +3778,7 @@ + @@ -3760,8 +3788,8 @@ - - + + @@ -3769,6 +3797,7 @@ + @@ -3783,8 +3812,8 @@ - - + + @@ -3792,6 +3821,7 @@ + @@ -3827,10 +3857,11 @@ - - + + + @@ -3840,10 +3871,11 @@ - - + + + @@ -3988,10 +4020,11 @@ - - + + + @@ -4001,10 +4034,11 @@ - - + + + @@ -4036,8 +4070,8 @@ - - + + @@ -4045,6 +4079,7 @@ + @@ -4054,8 +4089,8 @@ - - + + @@ -4063,6 +4098,7 @@ + @@ -4077,8 +4113,8 @@ - - + + @@ -4086,6 +4122,7 @@ + @@ -4095,8 +4132,8 @@ - - + + @@ -4104,6 +4141,7 @@ + @@ -4169,10 +4207,11 @@ - - + + + @@ -4196,10 +4235,11 @@ - - + + + @@ -4966,10 +5006,11 @@ - - + + + @@ -5140,10 +5181,11 @@ - - + + + @@ -5281,10 +5323,11 @@ - - + + + @@ -11023,10 +11066,11 @@ - - + + + @@ -11040,10 +11084,11 @@ - - + + + @@ -11114,10 +11159,11 @@ - - + + + @@ -11185,8 +11231,8 @@ - - + + @@ -11194,6 +11240,7 @@ + @@ -11269,8 +11316,8 @@ - - + + @@ -11278,6 +11325,7 @@ + @@ -11287,8 +11335,8 @@ - - + + @@ -11296,6 +11344,7 @@ + @@ -11310,10 +11359,11 @@ - - + + + @@ -11421,8 +11471,8 @@ - - + + @@ -11430,6 +11480,7 @@ + @@ -11444,8 +11495,8 @@ - - + + @@ -11453,6 +11504,7 @@ + @@ -11467,10 +11519,11 @@ - - + + + @@ -11484,8 +11537,8 @@ - - + + @@ -11493,6 +11546,7 @@ + @@ -11749,8 +11803,8 @@ - - + + @@ -11758,6 +11812,7 @@ + @@ -11772,10 +11827,11 @@ - - + + + @@ -11799,10 +11855,11 @@ - - + + + @@ -11812,10 +11869,11 @@ - - + + + @@ -11900,10 +11958,11 @@ - - + + + @@ -11913,10 +11972,11 @@ - - + + + @@ -11931,8 +11991,8 @@ - - + + @@ -11940,6 +12000,7 @@ + @@ -11954,8 +12015,8 @@ - - + + @@ -11963,6 +12024,7 @@ + @@ -11977,8 +12039,8 @@ - - + + @@ -11986,6 +12048,7 @@ + @@ -12243,8 +12306,8 @@ - - + + @@ -12252,6 +12315,7 @@ + @@ -12459,8 +12523,8 @@ - - + + @@ -12468,6 +12532,7 @@ + @@ -12553,10 +12618,11 @@ - - + + + @@ -12571,8 +12637,8 @@ - - + + @@ -12585,6 +12651,7 @@ + @@ -12626,8 +12693,8 @@ - - + + @@ -12635,6 +12702,7 @@ + @@ -12754,8 +12822,8 @@ - - + + @@ -12763,6 +12831,7 @@ + @@ -12798,8 +12867,8 @@ - - + + @@ -12812,6 +12881,7 @@ + @@ -12826,8 +12896,8 @@ - - + + @@ -12835,6 +12905,7 @@ + @@ -12849,8 +12920,8 @@ - - + + @@ -12858,6 +12929,7 @@ + @@ -13163,10 +13235,11 @@ - - + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl index fbe57a14..a7ff063a 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl +++ b/samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl @@ -33,7 +33,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadoc/jetbrains.mps.baseLanguage.javadocExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadoc/jetbrains.mps.baseLanguage.javadocExt.mpl index c91cec3c..1ba04458 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadoc/jetbrains.mps.baseLanguage.javadocExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.javadoc/jetbrains.mps.baseLanguage.javadocExt.mpl @@ -17,7 +17,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl index efa0bc45..ee354304 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl @@ -28,7 +28,7 @@ - + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index ae94576f..de74ca10 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -2,7 +2,7 @@ - + @@ -322,9 +322,6 @@ - - - @@ -391,13 +388,14 @@ - - + + + - - + + @@ -413,14 +411,15 @@ + - - + + @@ -428,9 +427,10 @@ + - - + + @@ -446,6 +446,7 @@ + @@ -549,10 +550,11 @@ - - + + + @@ -572,10 +574,11 @@ - - + + + @@ -587,10 +590,11 @@ - - + + + @@ -614,10 +618,11 @@ - - + + + @@ -665,10 +670,11 @@ - - + + + @@ -688,10 +694,11 @@ - - + + + @@ -703,10 +710,11 @@ - - + + + @@ -730,10 +738,11 @@ - - + + + @@ -790,10 +799,11 @@ - - + + + @@ -822,15 +832,17 @@ - - + + + - - + + + @@ -845,10 +857,11 @@ - - + + + @@ -886,15 +899,17 @@ - - + + + - - + + + @@ -909,10 +924,11 @@ - - + + + @@ -947,10 +963,11 @@ - - + + + @@ -1030,10 +1047,11 @@ - - + + + @@ -1050,8 +1068,8 @@ - - + + @@ -1059,11 +1077,13 @@ + - - + + + @@ -1078,10 +1098,11 @@ - - + + + @@ -1139,8 +1160,8 @@ - - + + @@ -1148,11 +1169,13 @@ + - - + + + @@ -1167,10 +1190,11 @@ - - + + + @@ -1205,10 +1229,11 @@ - - + + + @@ -1285,10 +1310,11 @@ - - + + + @@ -1367,10 +1393,11 @@ - - + + + @@ -1385,10 +1412,11 @@ - - + + + @@ -1412,8 +1440,8 @@ - - + + @@ -1421,6 +1449,7 @@ + @@ -1430,8 +1459,8 @@ - - + + @@ -1439,6 +1468,7 @@ + @@ -1466,13 +1496,14 @@ - - + + + - - + + @@ -1480,14 +1511,15 @@ + - - + + @@ -1495,9 +1527,10 @@ + - - + + @@ -1505,6 +1538,7 @@ + @@ -1514,8 +1548,8 @@ - - + + @@ -1523,6 +1557,7 @@ + @@ -1539,10 +1574,11 @@ - - + + + @@ -1557,10 +1593,11 @@ - - + + + @@ -1601,8 +1638,8 @@ - - + + @@ -1610,14 +1647,15 @@ + - - + + @@ -1625,9 +1663,10 @@ + - - + + @@ -1635,6 +1674,7 @@ + @@ -1644,8 +1684,8 @@ - - + + @@ -1653,6 +1693,7 @@ + @@ -1669,10 +1710,11 @@ - - + + + @@ -1687,10 +1729,11 @@ - - + + + @@ -1730,10 +1773,11 @@ - - + + + @@ -1748,10 +1792,11 @@ - - + + + @@ -1775,8 +1820,8 @@ - - + + @@ -1784,6 +1829,7 @@ + @@ -1793,8 +1839,8 @@ - - + + @@ -1802,6 +1848,7 @@ + @@ -1831,10 +1878,11 @@ - - + + + @@ -1849,10 +1897,11 @@ - - + + + @@ -1876,8 +1925,8 @@ - - + + @@ -1885,6 +1934,7 @@ + @@ -1894,8 +1944,8 @@ - - + + @@ -1903,6 +1953,7 @@ + @@ -1933,8 +1984,8 @@ - - + + @@ -1942,14 +1993,15 @@ + - - + + @@ -1957,14 +2009,15 @@ + - - + + @@ -1972,9 +2025,10 @@ + - - + + @@ -1982,14 +2036,15 @@ + - - + + @@ -1997,9 +2052,10 @@ + - - + + @@ -2007,6 +2063,7 @@ + @@ -2016,8 +2073,8 @@ - - + + @@ -2025,6 +2082,7 @@ + @@ -2034,8 +2092,8 @@ - - + + @@ -2043,6 +2101,7 @@ + @@ -2059,10 +2118,11 @@ - - + + + @@ -2077,10 +2137,11 @@ - - + + + @@ -2120,10 +2181,11 @@ - - + + + @@ -2138,10 +2200,11 @@ - - + + + @@ -2162,10 +2225,11 @@ - - + + + @@ -2198,10 +2262,11 @@ - - + + + @@ -2216,10 +2281,11 @@ - - + + + @@ -2247,8 +2313,8 @@ - - + + @@ -2259,6 +2325,7 @@ + @@ -2268,8 +2335,8 @@ - - + + @@ -2280,6 +2347,7 @@ + @@ -2308,15 +2376,17 @@ - - + + + - - + + + @@ -2407,10 +2477,11 @@ - - + + + @@ -2425,10 +2496,11 @@ - - + + + @@ -2452,8 +2524,8 @@ - - + + @@ -2461,6 +2533,7 @@ + @@ -2470,8 +2543,8 @@ - - + + @@ -2479,6 +2552,7 @@ + @@ -2510,8 +2584,8 @@ - - + + @@ -2519,14 +2593,15 @@ + - - + + @@ -2534,9 +2609,10 @@ + - - + + @@ -2544,6 +2620,7 @@ + @@ -2553,8 +2630,8 @@ - - + + @@ -2562,6 +2639,7 @@ + @@ -2578,10 +2656,11 @@ - - + + + @@ -2596,10 +2675,11 @@ - - + + + @@ -2639,10 +2719,11 @@ - - + + + @@ -2657,10 +2738,11 @@ - - + + + @@ -2715,10 +2797,11 @@ - - + + + @@ -2733,10 +2816,11 @@ - - + + + @@ -2793,18 +2877,20 @@ - - + + + - - + + + @@ -2842,10 +2928,11 @@ - - + + + @@ -2863,10 +2950,11 @@ - - + + + @@ -2881,10 +2969,11 @@ - - + + + @@ -2921,10 +3010,11 @@ - - + + + @@ -2942,10 +3032,11 @@ - - + + + @@ -2960,10 +3051,11 @@ - - + + + @@ -2999,13 +3091,14 @@ - - + + + - - + + @@ -3013,6 +3106,7 @@ + @@ -3022,8 +3116,8 @@ - - + + @@ -3031,6 +3125,7 @@ + @@ -3045,10 +3140,11 @@ - - + + + @@ -3063,10 +3159,11 @@ - - + + + @@ -3102,13 +3199,14 @@ - - + + + - - + + @@ -3116,6 +3214,7 @@ + @@ -3125,8 +3224,8 @@ - - + + @@ -3134,6 +3233,7 @@ + @@ -3148,10 +3248,11 @@ - - + + + @@ -3166,10 +3267,11 @@ - - + + + @@ -3209,13 +3311,14 @@ - - + + + - - + + @@ -3223,6 +3326,7 @@ + @@ -3232,8 +3336,8 @@ - - + + @@ -3241,6 +3345,7 @@ + @@ -3262,10 +3367,11 @@ - - + + + @@ -3288,10 +3394,11 @@ - - + + + @@ -3306,10 +3413,11 @@ - - + + + @@ -3349,10 +3457,11 @@ - - + + + @@ -3367,10 +3476,11 @@ - - + + + @@ -3395,13 +3505,14 @@ - - + + + - - + + @@ -3417,6 +3528,7 @@ + @@ -3426,8 +3538,8 @@ - - + + @@ -3443,6 +3555,7 @@ + @@ -3469,10 +3582,11 @@ - - + + + @@ -3511,8 +3625,8 @@ - - + + @@ -3520,19 +3634,21 @@ + - - + + + - - + + @@ -3540,6 +3656,7 @@ + @@ -3547,10 +3664,11 @@ - - + + + @@ -3560,13 +3678,14 @@ - - + + + - - + + @@ -3582,6 +3701,7 @@ + @@ -3591,8 +3711,8 @@ - - + + @@ -3608,6 +3728,7 @@ + @@ -3634,10 +3755,11 @@ - - + + + @@ -3662,10 +3784,11 @@ - - + + + @@ -3673,15 +3796,17 @@ - - + + + - - + + + @@ -3691,10 +3816,11 @@ - - + + + @@ -3727,10 +3853,11 @@ - - + + + @@ -3738,13 +3865,14 @@ - - + + + - - + + @@ -3752,6 +3880,7 @@ + @@ -3761,8 +3890,8 @@ - - + + @@ -3770,6 +3899,7 @@ + @@ -3791,10 +3921,11 @@ - - + + + @@ -3817,10 +3948,11 @@ - - + + + @@ -3835,10 +3967,11 @@ - - + + + @@ -3878,10 +4011,11 @@ - - + + + @@ -3896,10 +4030,11 @@ - - + + + @@ -3925,8 +4060,8 @@ - - + + @@ -3934,19 +4069,21 @@ + - - + + + - - + + @@ -3954,6 +4091,7 @@ + @@ -3961,10 +4099,11 @@ - - + + + @@ -3974,13 +4113,14 @@ - - + + + - - + + @@ -3996,6 +4136,7 @@ + @@ -4005,8 +4146,8 @@ - - + + @@ -4022,6 +4163,7 @@ + @@ -4048,10 +4190,11 @@ - - + + + @@ -4089,10 +4232,11 @@ - - + + + @@ -4107,10 +4251,11 @@ - - + + + @@ -4334,15 +4479,17 @@ - - + + + - - + + + @@ -4390,15 +4537,17 @@ - - + + + - - + + + @@ -4429,31 +4578,34 @@ - - + + + - - + + + - - + + + @@ -4473,10 +4625,11 @@ - - + + + @@ -4487,10 +4640,11 @@ - - + + + @@ -4507,13 +4661,14 @@ - - + + + - - + + @@ -4529,6 +4684,7 @@ + @@ -4537,16 +4693,17 @@ - - + + + - - + + @@ -4562,6 +4719,7 @@ + @@ -4571,13 +4729,14 @@ - - + + + @@ -4610,8 +4769,8 @@ - - + + @@ -4627,6 +4786,7 @@ + @@ -4680,18 +4840,20 @@ - - + + + - - + + + @@ -4701,13 +4863,14 @@ - - + + + @@ -4740,15 +4903,17 @@ - - + + + - - + + + @@ -4771,10 +4936,11 @@ - - + + + @@ -4809,10 +4975,11 @@ - - + + + @@ -4827,10 +4994,11 @@ - - + + + @@ -4866,13 +5034,14 @@ - - + + + - - + + @@ -4880,6 +5049,7 @@ + @@ -4889,8 +5059,8 @@ - - + + @@ -4898,6 +5068,7 @@ + @@ -4908,10 +5079,11 @@ - - + + + @@ -4952,10 +5124,11 @@ - - + + + @@ -6610,10 +6783,11 @@ - - + + + @@ -6622,15 +6796,17 @@ - - + + + - - + + + @@ -6675,8 +6851,8 @@ - - + + @@ -6684,11 +6860,13 @@ + - - + + + @@ -6714,8 +6892,8 @@ - - + + @@ -6723,11 +6901,13 @@ + - - + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 6c17144a..b2d4376c 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -5,7 +5,7 @@ - + @@ -797,9 +797,6 @@ - - - @@ -855,8 +852,8 @@ - - + + @@ -864,6 +861,7 @@ + @@ -877,10 +875,11 @@ - - + + + @@ -917,8 +916,8 @@ - - + + @@ -926,6 +925,7 @@ + @@ -939,10 +939,11 @@ - - + + + @@ -972,8 +973,8 @@ - - + + @@ -981,6 +982,7 @@ + @@ -1001,10 +1003,11 @@ - - + + + @@ -1111,10 +1114,11 @@ - - + + + @@ -1218,10 +1222,11 @@ - - + + + @@ -1271,10 +1276,11 @@ - - + + + @@ -1341,10 +1347,11 @@ - - + + + @@ -1411,10 +1418,11 @@ - - + + + @@ -1481,10 +1489,11 @@ - - + + + @@ -1551,10 +1560,11 @@ - - + + + @@ -1621,10 +1631,11 @@ - - + + + @@ -1713,10 +1724,11 @@ - - + + + @@ -1922,10 +1934,11 @@ - - + + + @@ -1967,8 +1980,8 @@ - - + + @@ -1976,6 +1989,7 @@ + @@ -2000,10 +2014,11 @@ - - + + + @@ -2300,10 +2315,11 @@ - - + + + @@ -2350,8 +2366,8 @@ - - + + @@ -2359,6 +2375,7 @@ + @@ -2413,10 +2430,11 @@ - - + + + @@ -2550,10 +2568,11 @@ - - + + + @@ -2593,8 +2612,8 @@ - - + + @@ -2602,6 +2621,7 @@ + @@ -2630,10 +2650,11 @@ - - + + + @@ -2670,8 +2691,8 @@ - - + + @@ -2679,6 +2700,7 @@ + @@ -2692,10 +2714,11 @@ - - + + + @@ -2837,10 +2860,11 @@ - - + + + @@ -2850,8 +2874,8 @@ - - + + @@ -2859,6 +2883,7 @@ + @@ -2953,10 +2978,11 @@ - - + + + @@ -6083,10 +6109,11 @@ - - + + + @@ -6110,8 +6137,8 @@ - - + + @@ -6124,6 +6151,7 @@ + @@ -6173,8 +6201,8 @@ - - + + @@ -6182,6 +6210,7 @@ + @@ -7385,10 +7414,11 @@ - - + + + @@ -7412,8 +7442,8 @@ - - + + @@ -7426,6 +7456,7 @@ + @@ -7809,10 +7840,11 @@ - - + + + @@ -8248,10 +8280,11 @@ - - + + + @@ -8282,8 +8315,8 @@ - - + + @@ -8291,6 +8324,7 @@ + @@ -8523,8 +8557,8 @@ - - + + @@ -8532,6 +8566,7 @@ + @@ -8884,10 +8919,11 @@ - - + + + @@ -11890,10 +11926,11 @@ - - + + + @@ -12010,8 +12047,8 @@ - - + + @@ -12019,6 +12056,7 @@ + @@ -12133,10 +12171,11 @@ - - + + + @@ -12171,10 +12210,11 @@ - - + + + @@ -12292,8 +12332,8 @@ - - + + @@ -12301,6 +12341,7 @@ + @@ -12310,8 +12351,8 @@ - - + + @@ -12319,6 +12360,7 @@ + @@ -12356,10 +12398,11 @@ - - + + + @@ -12415,10 +12458,11 @@ - - + + + @@ -12448,8 +12492,8 @@ - - + + @@ -12457,6 +12501,7 @@ + @@ -12466,8 +12511,8 @@ - - + + @@ -12475,6 +12520,7 @@ + @@ -12514,8 +12560,8 @@ - - + + @@ -12523,6 +12569,7 @@ + @@ -12532,8 +12579,8 @@ - - + + @@ -12541,6 +12588,7 @@ + @@ -12565,10 +12613,11 @@ - - + + + @@ -12619,10 +12668,11 @@ - - + + + @@ -12650,8 +12700,8 @@ - - + + @@ -12659,6 +12709,7 @@ + @@ -12668,8 +12719,8 @@ - - + + @@ -12677,6 +12728,7 @@ + @@ -12727,8 +12779,8 @@ - - + + @@ -12736,6 +12788,7 @@ + @@ -12745,8 +12798,8 @@ - - + + @@ -12754,6 +12807,7 @@ + @@ -12763,8 +12817,8 @@ - - + + @@ -12772,6 +12826,7 @@ + @@ -12819,10 +12874,11 @@ - - + + + @@ -12852,8 +12908,8 @@ - - + + @@ -12861,6 +12917,7 @@ + @@ -12870,8 +12927,8 @@ - - + + @@ -12879,6 +12936,7 @@ + @@ -12919,10 +12977,11 @@ - - + + + @@ -12952,8 +13011,8 @@ - - + + @@ -12961,6 +13020,7 @@ + @@ -12970,8 +13030,8 @@ - - + + @@ -12979,6 +13039,7 @@ + @@ -13019,10 +13080,11 @@ - - + + + @@ -13052,8 +13114,8 @@ - - + + @@ -13061,6 +13123,7 @@ + @@ -13070,8 +13133,8 @@ - - + + @@ -13079,6 +13142,7 @@ + @@ -13119,10 +13183,11 @@ - - + + + @@ -13152,8 +13217,8 @@ - - + + @@ -13161,6 +13226,7 @@ + @@ -13170,8 +13236,8 @@ - - + + @@ -13179,6 +13245,7 @@ + @@ -13219,10 +13286,11 @@ - - + + + @@ -13252,8 +13320,8 @@ - - + + @@ -13261,6 +13329,7 @@ + @@ -13270,8 +13339,8 @@ - - + + @@ -13279,6 +13348,7 @@ + @@ -13319,10 +13389,11 @@ - - + + + @@ -13352,8 +13423,8 @@ - - + + @@ -13361,6 +13432,7 @@ + @@ -13370,8 +13442,8 @@ - - + + @@ -13379,6 +13451,7 @@ + @@ -13419,10 +13492,11 @@ - - + + + @@ -13452,8 +13526,8 @@ - - + + @@ -13461,6 +13535,7 @@ + @@ -13470,8 +13545,8 @@ - - + + @@ -13479,6 +13554,7 @@ + @@ -13519,10 +13595,11 @@ - - + + + @@ -13552,8 +13629,8 @@ - - + + @@ -13561,6 +13638,7 @@ + @@ -13570,8 +13648,8 @@ - - + + @@ -13579,6 +13657,7 @@ + @@ -13619,10 +13698,11 @@ - - + + + @@ -37063,8 +37143,8 @@ - - + + @@ -37072,6 +37152,7 @@ + @@ -37605,10 +37686,11 @@ - - + + + @@ -37695,10 +37777,11 @@ - - + + + @@ -37730,8 +37813,8 @@ - - + + @@ -37744,6 +37827,7 @@ + @@ -37859,8 +37943,8 @@ - - + + @@ -37868,6 +37952,7 @@ + @@ -37890,8 +37975,8 @@ - - + + @@ -37899,6 +37984,7 @@ + @@ -37923,10 +38009,11 @@ - - + + + @@ -37987,10 +38074,11 @@ - - + + + @@ -38004,10 +38092,11 @@ - - + + + @@ -38072,10 +38161,11 @@ - - + + + @@ -38151,10 +38241,11 @@ - - + + + @@ -38168,10 +38259,11 @@ - - + + + @@ -38181,10 +38273,11 @@ - - + + + @@ -38296,15 +38389,17 @@ - - + + + - - + + + @@ -38362,10 +38457,11 @@ - - + + + @@ -38380,10 +38476,11 @@ - - + + + @@ -38482,10 +38579,11 @@ - - + + + @@ -41827,8 +41925,8 @@ - - + + @@ -41836,6 +41934,7 @@ + @@ -41856,10 +41955,11 @@ - - + + + @@ -41938,10 +42038,11 @@ - - + + + @@ -42000,10 +42101,11 @@ - - + + + @@ -42062,10 +42164,11 @@ - - + + + @@ -42124,10 +42227,11 @@ - - + + + @@ -42213,10 +42317,11 @@ - - + + + @@ -42231,10 +42336,11 @@ - - + + + @@ -42331,14 +42437,15 @@ - - + + + @@ -42353,10 +42460,11 @@ - - + + + @@ -42453,10 +42561,11 @@ - - + + + @@ -42471,10 +42580,11 @@ - - + + + @@ -42571,10 +42681,11 @@ - - + + + @@ -42589,10 +42700,11 @@ - - + + + @@ -42689,10 +42801,11 @@ - - + + + @@ -42757,10 +42870,11 @@ - - + + + @@ -42868,10 +42982,11 @@ - - + + + @@ -42979,10 +43094,11 @@ - - + + +