diff --git a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps index b15ed2b2..29e1a75c 100644 --- a/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps +++ b/coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps @@ -107,28 +107,6 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -187,6 +165,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -202,6 +201,7 @@ + @@ -360,9 +360,9 @@ - + - + @@ -370,7 +370,7 @@ - + @@ -484,15 +484,15 @@ - + - + - + @@ -506,15 +506,15 @@ - + - + - + @@ -589,15 +589,15 @@ - + - + - + @@ -611,15 +611,15 @@ - + - + - + @@ -1038,15 +1038,15 @@ - + - + - + @@ -1132,15 +1132,15 @@ - + - + - + @@ -1200,9 +1200,9 @@ - + - + @@ -1265,9 +1265,9 @@ - + - + @@ -1278,7 +1278,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 c42f0d13..401eadb1 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 @@ -213,15 +213,6 @@ - - - - - - - - - @@ -318,6 +309,14 @@ + + + + + + + + @@ -326,6 +325,7 @@ + @@ -1076,9 +1076,9 @@ - + - + @@ -1086,7 +1086,7 @@ - + @@ -1198,9 +1198,9 @@ - + - + @@ -1208,7 +1208,7 @@ - + @@ -1310,7 +1310,7 @@ - + @@ -1330,9 +1330,9 @@ - + - + @@ -1340,7 +1340,7 @@ - + @@ -1452,7 +1452,7 @@ - + @@ -1462,9 +1462,9 @@ - + - + @@ -1472,7 +1472,7 @@ - + @@ -1587,9 +1587,9 @@ - + - + @@ -1597,7 +1597,7 @@ - + @@ -1726,9 +1726,9 @@ - + - + @@ -1736,7 +1736,7 @@ - + @@ -1758,9 +1758,9 @@ - + - + @@ -1768,7 +1768,7 @@ - + @@ -1886,9 +1886,9 @@ - + - + @@ -1896,7 +1896,7 @@ - + @@ -2007,9 +2007,9 @@ - + - + @@ -2017,7 +2017,7 @@ - + @@ -2033,9 +2033,9 @@ - + - + @@ -3180,9 +3180,9 @@ - + - + @@ -3190,7 +3190,7 @@ - + @@ -3268,9 +3268,9 @@ - + - + @@ -3278,7 +3278,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps index e86210f7..223a3087 100644 --- a/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps @@ -112,28 +112,6 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -220,6 +198,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -228,6 +227,7 @@ + @@ -362,9 +362,9 @@ - + - + @@ -372,7 +372,7 @@ - + @@ -478,9 +478,9 @@ - + - + @@ -488,7 +488,7 @@ - + @@ -1113,9 +1113,9 @@ - + - + @@ -1123,7 +1123,7 @@ - + @@ -1894,9 +1894,9 @@ - + - + @@ -1904,7 +1904,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps index 42cca4e5..a4c38fd6 100644 --- a/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps @@ -162,30 +162,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -295,6 +271,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -303,6 +302,7 @@ + @@ -437,9 +437,9 @@ - + - + @@ -447,7 +447,7 @@ - + @@ -529,9 +529,9 @@ - + - + @@ -539,7 +539,7 @@ - + @@ -641,9 +641,9 @@ - + - + @@ -658,7 +658,7 @@ - + @@ -712,9 +712,9 @@ - + - + @@ -758,9 +758,9 @@ - + - + @@ -866,9 +866,9 @@ - + - + @@ -879,7 +879,7 @@ - + @@ -1171,9 +1171,9 @@ - + - + @@ -1181,7 +1181,7 @@ - + @@ -1828,9 +1828,9 @@ - + - + @@ -1838,7 +1838,7 @@ - + @@ -2065,9 +2065,9 @@ - + - + @@ -2075,7 +2075,7 @@ - + @@ -2344,9 +2344,9 @@ - + - + @@ -2354,7 +2354,7 @@ - + @@ -2398,9 +2398,9 @@ - + - + @@ -2408,12 +2408,12 @@ - + - + - + @@ -2421,7 +2421,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps index c192f873..d61d7b4d 100644 --- a/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps +++ b/samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps @@ -87,34 +87,10 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -179,6 +155,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -188,6 +187,7 @@ + @@ -297,9 +297,9 @@ - + - + @@ -420,9 +420,9 @@ - + - + @@ -551,9 +551,9 @@ - + - + @@ -638,9 +638,9 @@ - + - + @@ -715,9 +715,9 @@ - + - + @@ -725,7 +725,7 @@ - + @@ -803,9 +803,9 @@ - + - + @@ -813,7 +813,7 @@ - + @@ -1268,9 +1268,9 @@ - + - + @@ -1482,9 +1482,9 @@ - + - + @@ -1653,9 +1653,9 @@ - + - + @@ -1803,9 +1803,9 @@ - + - + @@ -1966,9 +1966,9 @@ - + - + @@ -2111,9 +2111,9 @@ - + - + @@ -2243,9 +2243,9 @@ - + - + @@ -2253,7 +2253,7 @@ - + @@ -2292,9 +2292,9 @@ - + - + @@ -2302,7 +2302,7 @@ - + @@ -2341,9 +2341,9 @@ - + - + @@ -2561,9 +2561,9 @@ - + - + @@ -2571,7 +2571,7 @@ - + @@ -2610,9 +2610,9 @@ - + - + @@ -2620,7 +2620,7 @@ - + @@ -2659,9 +2659,9 @@ - + - + @@ -2866,9 +2866,9 @@ - + - + @@ -2891,9 +2891,9 @@ - + - + @@ -2901,7 +2901,7 @@ - + @@ -2935,9 +2935,9 @@ - + - + @@ -2945,12 +2945,12 @@ - + - + - + @@ -3111,9 +3111,9 @@ - + - + @@ -3136,9 +3136,9 @@ - + - + @@ -3146,12 +3146,12 @@ - + - + - + @@ -3188,9 +3188,9 @@ - + - + @@ -3198,7 +3198,7 @@ - + @@ -3369,14 +3369,14 @@ - + - + - + - + @@ -3517,9 +3517,9 @@ - + - + @@ -3527,7 +3527,7 @@ - + @@ -3778,9 +3778,9 @@ - + - + @@ -3788,7 +3788,7 @@ - + @@ -4009,9 +4009,9 @@ - + - + @@ -4019,7 +4019,7 @@ - + @@ -4209,9 +4209,9 @@ - + - + @@ -4219,7 +4219,7 @@ - + @@ -4258,9 +4258,9 @@ - + - + @@ -4268,7 +4268,7 @@ - + @@ -4307,9 +4307,9 @@ - + - + @@ -4317,7 +4317,7 @@ - + @@ -4470,9 +4470,9 @@ - + - + @@ -4480,7 +4480,7 @@ - + @@ -4519,9 +4519,9 @@ - + - + @@ -4529,7 +4529,7 @@ - + @@ -4568,9 +4568,9 @@ - + - + @@ -4578,7 +4578,7 @@ - + @@ -4676,9 +4676,9 @@ - + - + @@ -4686,7 +4686,7 @@ - + @@ -4710,9 +4710,9 @@ - + - + @@ -4720,7 +4720,7 @@ - + @@ -4856,9 +4856,9 @@ - + - + @@ -4866,7 +4866,7 @@ - + @@ -4890,9 +4890,9 @@ - + - + @@ -4900,7 +4900,7 @@ - + diff --git a/samples/fitch/languages/samples.fitch/models/types.mps b/samples/fitch/languages/samples.fitch/models/types.mps index 62f3d2c9..326d33f4 100644 --- a/samples/fitch/languages/samples.fitch/models/types.mps +++ b/samples/fitch/languages/samples.fitch/models/types.mps @@ -65,13 +65,6 @@ - - - - - - - @@ -98,6 +91,13 @@ + + + + + + + diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps index ab2b837b..fee9bbee 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps @@ -211,33 +211,10 @@ - - - - - - - - - - - - - - - - - - - - - - - @@ -408,6 +385,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -429,6 +428,7 @@ + @@ -659,9 +659,9 @@ - + - + @@ -669,7 +669,7 @@ - + @@ -707,9 +707,9 @@ - + - + @@ -717,7 +717,7 @@ - + @@ -808,9 +808,9 @@ - + - + @@ -818,7 +818,7 @@ - + @@ -906,14 +906,14 @@ - + - + - + - + @@ -924,12 +924,12 @@ - + - + - + @@ -948,9 +948,9 @@ - + - + @@ -1020,9 +1020,9 @@ - + - + @@ -1030,7 +1030,7 @@ - + @@ -1067,9 +1067,9 @@ - + - + @@ -1249,7 +1249,7 @@ - + @@ -1275,7 +1275,7 @@ - + @@ -1312,7 +1312,7 @@ - + @@ -1338,7 +1338,7 @@ - + @@ -1418,9 +1418,9 @@ - + - + @@ -1428,10 +1428,10 @@ - + - + @@ -1962,9 +1962,9 @@ - + - + @@ -1972,7 +1972,7 @@ - + @@ -2320,9 +2320,9 @@ - + - + @@ -2330,7 +2330,7 @@ - + @@ -2455,9 +2455,9 @@ - + - + @@ -2465,7 +2465,7 @@ - + @@ -2647,7 +2647,7 @@ - + @@ -2750,9 +2750,9 @@ - + - + @@ -2760,10 +2760,10 @@ - + - + @@ -2776,14 +2776,14 @@ - + - + - + - + @@ -2791,7 +2791,7 @@ - + @@ -2802,7 +2802,7 @@ - + @@ -2848,7 +2848,7 @@ - + @@ -2989,9 +2989,9 @@ - + - + @@ -2999,7 +2999,7 @@ - + @@ -3903,9 +3903,9 @@ - + - + @@ -4268,7 +4268,7 @@ - + @@ -4338,9 +4338,9 @@ - + - + @@ -4348,7 +4348,7 @@ - + @@ -4499,9 +4499,9 @@ - + - + @@ -4509,7 +4509,7 @@ - + @@ -4654,9 +4654,9 @@ - + - + @@ -4664,7 +4664,7 @@ - + @@ -4861,9 +4861,9 @@ - + - + @@ -4871,7 +4871,7 @@ - + @@ -5015,7 +5015,7 @@ - + @@ -5187,9 +5187,9 @@ - + - + @@ -5197,7 +5197,7 @@ - + @@ -5417,7 +5417,7 @@ - + @@ -5514,7 +5514,7 @@ - + @@ -5538,7 +5538,7 @@ - + @@ -5655,9 +5655,9 @@ - + - + @@ -5665,7 +5665,7 @@ - + @@ -5859,9 +5859,9 @@ - + - + @@ -5896,9 +5896,9 @@ - + - + @@ -5906,7 +5906,7 @@ - + @@ -5986,9 +5986,9 @@ - + - + @@ -5996,7 +5996,7 @@ - + @@ -6295,9 +6295,9 @@ - + - + @@ -6305,7 +6305,7 @@ - + @@ -6368,9 +6368,9 @@ - + - + @@ -6378,7 +6378,7 @@ - + @@ -6452,7 +6452,7 @@ - + @@ -6553,9 +6553,9 @@ - + - + @@ -6563,7 +6563,7 @@ - + @@ -6647,9 +6647,9 @@ - + - + @@ -6657,7 +6657,7 @@ - + @@ -6738,7 +6738,7 @@ - + @@ -6781,7 +6781,7 @@ - + @@ -6909,9 +6909,9 @@ - + - + @@ -6919,7 +6919,7 @@ - + @@ -7053,9 +7053,9 @@ - + - + @@ -7207,9 +7207,9 @@ - + - + @@ -7217,7 +7217,7 @@ - + @@ -7378,7 +7378,7 @@ - + @@ -7430,80 +7430,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7600,9 +7526,9 @@ - + - + @@ -7610,7 +7536,7 @@ - + @@ -7624,9 +7550,9 @@ - + - + @@ -7634,7 +7560,7 @@ - + @@ -7662,7 +7588,7 @@ - + @@ -7701,9 +7627,9 @@ - + - + @@ -7805,9 +7731,9 @@ - + - + @@ -7815,7 +7741,7 @@ - + @@ -7829,9 +7755,9 @@ - + - + @@ -7839,7 +7765,7 @@ - + @@ -7885,9 +7811,9 @@ - + - + @@ -7944,10 +7870,10 @@ - + - + @@ -8076,9 +8002,9 @@ - + - + @@ -8086,7 +8012,7 @@ - + @@ -8100,9 +8026,9 @@ - + - + @@ -8110,7 +8036,7 @@ - + @@ -8186,10 +8112,10 @@ - + - + @@ -8252,9 +8178,9 @@ - + - + @@ -8262,7 +8188,7 @@ - + @@ -8276,9 +8202,9 @@ - + - + @@ -8286,7 +8212,7 @@ - + @@ -8314,7 +8240,7 @@ - + @@ -8353,9 +8279,9 @@ - + - + @@ -8448,9 +8374,9 @@ - + - + @@ -8458,7 +8384,7 @@ - + @@ -8565,9 +8491,9 @@ - + - + @@ -8575,7 +8501,7 @@ - + @@ -8695,9 +8621,9 @@ - + - + @@ -8705,7 +8631,7 @@ - + @@ -8719,9 +8645,9 @@ - + - + @@ -8729,7 +8655,7 @@ - + @@ -8813,9 +8739,9 @@ - + - + @@ -8823,7 +8749,7 @@ - + @@ -8837,9 +8763,9 @@ - + - + @@ -8847,7 +8773,7 @@ - + @@ -9030,9 +8956,9 @@ - + - + @@ -9041,9 +8967,9 @@ - + - + @@ -9865,7 +9791,7 @@ - + @@ -10378,7 +10304,7 @@ - + @@ -10979,9 +10905,9 @@ - + - + @@ -11140,9 +11066,9 @@ - + - + @@ -11150,10 +11076,10 @@ - + - + @@ -11174,9 +11100,9 @@ - + - + @@ -11184,7 +11110,7 @@ - + @@ -11260,9 +11186,9 @@ - + - + @@ -11270,7 +11196,7 @@ - + @@ -11507,9 +11433,9 @@ - + - + @@ -11563,9 +11489,9 @@ - + - + @@ -11573,7 +11499,7 @@ - + @@ -11932,9 +11858,9 @@ - + - + @@ -11942,7 +11868,7 @@ - + @@ -12004,7 +11930,7 @@ - + @@ -13876,9 +13802,9 @@ - + - + @@ -14370,9 +14296,9 @@ - + - + @@ -14380,7 +14306,7 @@ - + @@ -14881,9 +14807,9 @@ - + - + @@ -14891,7 +14817,7 @@ - + @@ -14960,9 +14886,9 @@ - + - + @@ -14970,7 +14896,7 @@ - + @@ -14994,7 +14920,7 @@ - + @@ -15104,9 +15030,9 @@ - + - + @@ -15114,7 +15040,7 @@ - + @@ -15181,7 +15107,7 @@ - + @@ -15220,7 +15146,7 @@ - + @@ -15279,9 +15205,9 @@ - + - + @@ -15289,7 +15215,7 @@ - + @@ -15363,9 +15289,9 @@ - + - + @@ -15373,7 +15299,7 @@ - + @@ -15492,9 +15418,9 @@ - + - + @@ -16121,9 +16047,9 @@ - + - + @@ -16131,7 +16057,7 @@ - + @@ -16307,9 +16233,9 @@ - + - + @@ -16364,5 +16290,79 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps index 8e2baf59..d685ace4 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps @@ -142,27 +142,6 @@ - - - - - - - - - - - - - - - - - - - - - @@ -216,6 +195,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -228,6 +227,7 @@ + @@ -428,9 +428,9 @@ - + - + @@ -461,23 +461,6 @@ - - - - - - - - - - - - - - - - - @@ -525,9 +508,9 @@ - + - + @@ -781,7 +764,7 @@ - + @@ -913,9 +896,9 @@ - + - + @@ -1123,9 +1106,9 @@ - + - + @@ -1220,5 +1203,22 @@ + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps index 0b602f4d..5014fc57 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/controlflow.mps @@ -135,7 +135,6 @@ - @@ -265,6 +264,7 @@ + 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 86392180..3349cf35 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 @@ -396,31 +396,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - @@ -428,8 +403,6 @@ - - @@ -698,6 +671,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -719,6 +717,8 @@ + + @@ -1141,9 +1141,9 @@ - + - + @@ -1160,15 +1160,15 @@ - + - + - + @@ -1703,9 +1703,9 @@ - + - + @@ -2203,9 +2203,9 @@ - + - + @@ -2411,7 +2411,7 @@ - + @@ -3064,9 +3064,9 @@ - + - + @@ -3075,7 +3075,7 @@ - + @@ -3517,7 +3517,7 @@ - + @@ -3572,9 +3572,9 @@ - + - + @@ -3619,7 +3619,7 @@ - + @@ -3665,9 +3665,9 @@ - + - + @@ -4991,9 +4991,9 @@ - + - + @@ -5002,7 +5002,7 @@ - + @@ -5087,9 +5087,9 @@ - + - + @@ -5097,7 +5097,7 @@ - + @@ -6481,9 +6481,9 @@ - + - + @@ -6491,7 +6491,7 @@ - + @@ -7114,9 +7114,9 @@ - + - + @@ -7130,9 +7130,9 @@ - + - + @@ -7140,7 +7140,7 @@ - + @@ -7265,9 +7265,9 @@ - + - + @@ -7276,7 +7276,7 @@ - + @@ -7304,9 +7304,9 @@ - + - + @@ -7315,7 +7315,7 @@ - + @@ -7685,9 +7685,9 @@ - + - + @@ -7701,9 +7701,9 @@ - + - + @@ -7711,7 +7711,7 @@ - + @@ -7908,9 +7908,9 @@ - + - + @@ -7919,7 +7919,7 @@ - + @@ -7947,9 +7947,9 @@ - + - + @@ -7958,7 +7958,7 @@ - + @@ -8357,9 +8357,9 @@ - + - + @@ -8373,9 +8373,9 @@ - + - + @@ -8383,7 +8383,7 @@ - + @@ -8580,9 +8580,9 @@ - + - + @@ -8591,7 +8591,7 @@ - + @@ -8619,9 +8619,9 @@ - + - + @@ -8630,7 +8630,7 @@ - + @@ -8853,9 +8853,9 @@ - + - + @@ -11673,7 +11673,7 @@ - + @@ -11712,7 +11712,7 @@ - + @@ -11798,9 +11798,9 @@ - + - + @@ -11808,7 +11808,7 @@ - + @@ -11895,9 +11895,9 @@ - + - + @@ -11911,9 +11911,9 @@ - + - + @@ -11978,9 +11978,9 @@ - + - + @@ -11994,9 +11994,9 @@ - + - + @@ -12064,9 +12064,9 @@ - + - + @@ -12131,9 +12131,9 @@ - + - + @@ -12742,7 +12742,7 @@ - + @@ -12772,7 +12772,7 @@ - + @@ -12881,7 +12881,7 @@ - + @@ -12911,7 +12911,7 @@ - + @@ -14307,7 +14307,7 @@ - + @@ -14413,7 +14413,7 @@ - + @@ -14540,7 +14540,7 @@ - + @@ -14649,7 +14649,7 @@ - + @@ -14822,7 +14822,7 @@ - + @@ -15727,9 +15727,9 @@ - + - + @@ -15737,12 +15737,12 @@ - + - + - + @@ -15836,9 +15836,9 @@ - + - + @@ -15917,7 +15917,7 @@ - + @@ -15925,7 +15925,7 @@ - + @@ -15978,7 +15978,7 @@ - + @@ -15989,7 +15989,7 @@ - + @@ -16054,7 +16054,7 @@ - + @@ -16127,7 +16127,7 @@ - + @@ -16135,7 +16135,7 @@ - + @@ -16228,12 +16228,12 @@ - + - + - + @@ -16600,9 +16600,9 @@ - + - + @@ -16669,9 +16669,9 @@ - + - + @@ -16733,9 +16733,9 @@ - + - + @@ -16749,9 +16749,9 @@ - + - + @@ -16798,7 +16798,7 @@ - + @@ -16890,7 +16890,7 @@ - + @@ -16929,9 +16929,9 @@ - + - + @@ -16973,7 +16973,7 @@ - + @@ -17012,7 +17012,7 @@ - + @@ -17020,7 +17020,7 @@ - + @@ -17073,9 +17073,9 @@ - + - + @@ -17089,9 +17089,9 @@ - + - + @@ -17156,7 +17156,7 @@ - + @@ -17164,9 +17164,9 @@ - + - + @@ -17208,7 +17208,7 @@ - + @@ -17216,9 +17216,9 @@ - + - + @@ -17262,9 +17262,9 @@ - + - + @@ -17325,9 +17325,9 @@ - + - + @@ -17437,9 +17437,9 @@ - + - + @@ -17501,7 +17501,7 @@ - + @@ -17534,9 +17534,9 @@ - + - + @@ -17598,9 +17598,9 @@ - + - + @@ -18000,7 +18000,7 @@ - + @@ -18085,9 +18085,9 @@ - + - + @@ -18176,9 +18176,9 @@ - + - + @@ -18239,9 +18239,9 @@ - + - + @@ -18304,9 +18304,9 @@ - + - + @@ -18369,9 +18369,9 @@ - + - + @@ -18418,7 +18418,7 @@ - + @@ -18449,7 +18449,7 @@ - + @@ -18480,7 +18480,7 @@ - + @@ -18606,9 +18606,9 @@ - + - + @@ -18623,9 +18623,9 @@ - + - + @@ -18699,9 +18699,9 @@ - + - + @@ -18715,9 +18715,9 @@ - + - + @@ -18887,9 +18887,9 @@ - + - + @@ -18903,9 +18903,9 @@ - + - + @@ -18986,9 +18986,9 @@ - + - + @@ -19003,9 +19003,9 @@ - + - + @@ -19014,7 +19014,7 @@ - + @@ -19088,9 +19088,9 @@ - + - + @@ -19098,7 +19098,7 @@ - + @@ -19113,9 +19113,9 @@ - + - + @@ -19123,7 +19123,7 @@ - + @@ -19271,9 +19271,9 @@ - + - + @@ -19281,7 +19281,7 @@ - + @@ -19558,7 +19558,7 @@ - + @@ -19633,7 +19633,7 @@ - + @@ -19772,9 +19772,9 @@ - + - + @@ -19788,9 +19788,9 @@ - + - + @@ -19863,9 +19863,9 @@ - + - + @@ -19879,9 +19879,9 @@ - + - + @@ -20298,9 +20298,9 @@ - + - + @@ -20420,7 +20420,7 @@ - + @@ -20530,7 +20530,7 @@ - + @@ -20591,9 +20591,9 @@ - + - + @@ -20670,7 +20670,7 @@ - + @@ -20806,7 +20806,7 @@ - + @@ -20906,7 +20906,7 @@ - + @@ -21006,7 +21006,7 @@ - + @@ -21945,9 +21945,9 @@ - + - + @@ -22171,7 +22171,7 @@ - + @@ -22179,7 +22179,7 @@ - + @@ -22211,7 +22211,7 @@ - + @@ -22219,7 +22219,7 @@ - + @@ -22251,7 +22251,7 @@ - + @@ -22259,7 +22259,7 @@ - + @@ -22291,7 +22291,7 @@ - + @@ -22299,7 +22299,7 @@ - + @@ -22331,7 +22331,7 @@ - + @@ -22339,7 +22339,7 @@ - + @@ -22371,7 +22371,7 @@ - + @@ -22379,7 +22379,7 @@ - + @@ -22411,7 +22411,7 @@ - + @@ -22419,7 +22419,7 @@ - + @@ -22451,7 +22451,7 @@ - + @@ -22459,7 +22459,7 @@ - + @@ -22492,9 +22492,9 @@ - + - + @@ -22508,7 +22508,7 @@ - + @@ -22571,9 +22571,9 @@ - + - + @@ -22587,9 +22587,9 @@ - + - + @@ -22662,9 +22662,9 @@ - + - + @@ -22678,7 +22678,7 @@ - + @@ -22741,9 +22741,9 @@ - + - + @@ -22757,9 +22757,9 @@ - + - + @@ -22832,7 +22832,7 @@ - + @@ -22840,7 +22840,7 @@ - + @@ -22866,7 +22866,7 @@ - + @@ -22893,7 +22893,7 @@ - + @@ -22901,7 +22901,7 @@ - + @@ -22931,7 +22931,7 @@ - + @@ -22958,7 +22958,7 @@ - + @@ -22966,7 +22966,7 @@ - + @@ -22992,7 +22992,7 @@ - + @@ -23019,9 +23019,9 @@ - + - + @@ -23035,7 +23035,7 @@ - + @@ -23117,9 +23117,9 @@ - + - + @@ -23133,9 +23133,9 @@ - + - + @@ -23227,9 +23227,9 @@ - + - + @@ -23243,7 +23243,7 @@ - + @@ -23325,9 +23325,9 @@ - + - + @@ -23341,9 +23341,9 @@ - + - + @@ -23435,9 +23435,9 @@ - + - + @@ -23451,7 +23451,7 @@ - + @@ -23533,9 +23533,9 @@ - + - + @@ -23549,9 +23549,9 @@ - + - + @@ -23643,9 +23643,9 @@ - + - + @@ -23659,7 +23659,7 @@ - + @@ -23741,9 +23741,9 @@ - + - + @@ -23757,9 +23757,9 @@ - + - + @@ -23851,7 +23851,7 @@ - + @@ -23859,7 +23859,7 @@ - + @@ -23895,7 +23895,7 @@ - + @@ -23903,7 +23903,7 @@ - + @@ -23929,7 +23929,7 @@ - + @@ -23956,7 +23956,7 @@ - + @@ -23964,7 +23964,7 @@ - + @@ -23990,7 +23990,7 @@ - + @@ -24017,7 +24017,7 @@ - + @@ -24025,7 +24025,7 @@ - + @@ -24051,7 +24051,7 @@ - + @@ -24078,7 +24078,7 @@ - + @@ -24086,7 +24086,7 @@ - + @@ -24308,9 +24308,9 @@ - + - + @@ -24380,9 +24380,9 @@ - + - + @@ -24617,9 +24617,9 @@ - + - + @@ -24868,7 +24868,7 @@ - + @@ -24893,9 +24893,9 @@ - + - + @@ -24927,7 +24927,7 @@ - + @@ -24952,9 +24952,9 @@ - + - + @@ -24986,7 +24986,7 @@ - + @@ -25011,9 +25011,9 @@ - + - + @@ -25045,7 +25045,7 @@ - + @@ -25070,9 +25070,9 @@ - + - + @@ -25104,7 +25104,7 @@ - + @@ -25129,9 +25129,9 @@ - + - + @@ -25163,7 +25163,7 @@ - + @@ -25188,9 +25188,9 @@ - + - + @@ -25222,7 +25222,7 @@ - + @@ -25247,9 +25247,9 @@ - + - + @@ -25281,7 +25281,7 @@ - + @@ -25306,9 +25306,9 @@ - + - + @@ -25340,7 +25340,7 @@ - + @@ -25449,9 +25449,9 @@ - + - + @@ -25482,7 +25482,7 @@ - + @@ -25508,9 +25508,9 @@ - + - + @@ -25541,7 +25541,7 @@ - + @@ -25567,9 +25567,9 @@ - + - + @@ -25600,7 +25600,7 @@ - + @@ -25626,9 +25626,9 @@ - + - + @@ -25659,7 +25659,7 @@ - + @@ -25685,9 +25685,9 @@ - + - + @@ -25718,7 +25718,7 @@ - + @@ -25744,9 +25744,9 @@ - + - + @@ -25777,7 +25777,7 @@ - + @@ -25803,9 +25803,9 @@ - + - + @@ -25836,7 +25836,7 @@ - + @@ -25862,9 +25862,9 @@ - + - + @@ -25895,7 +25895,7 @@ - + @@ -25925,7 +25925,7 @@ - + @@ -26067,7 +26067,7 @@ - + @@ -26129,9 +26129,9 @@ - + - + @@ -26139,7 +26139,7 @@ - + @@ -26263,9 +26263,9 @@ - + - + @@ -26273,7 +26273,7 @@ - + @@ -26477,9 +26477,9 @@ - + - + @@ -26606,9 +26606,9 @@ - + - + @@ -26724,14 +26724,14 @@ - + - + - + - + @@ -26778,9 +26778,9 @@ - + - + @@ -26885,9 +26885,9 @@ - + - + @@ -26895,7 +26895,7 @@ - + @@ -26939,9 +26939,9 @@ - + - + @@ -26973,9 +26973,9 @@ - + - + @@ -27046,9 +27046,9 @@ - + - + @@ -27145,9 +27145,9 @@ - + - + @@ -27244,9 +27244,9 @@ - + - + @@ -27343,9 +27343,9 @@ - + - + @@ -27442,7 +27442,7 @@ - + @@ -27502,7 +27502,7 @@ - + @@ -27562,7 +27562,7 @@ - + @@ -27622,7 +27622,7 @@ - + @@ -27682,7 +27682,7 @@ - + @@ -27742,7 +27742,7 @@ - + @@ -27802,7 +27802,7 @@ - + @@ -27862,7 +27862,7 @@ - + @@ -27922,7 +27922,7 @@ - + @@ -27982,7 +27982,7 @@ - + @@ -28042,7 +28042,7 @@ - + @@ -28104,9 +28104,9 @@ - + - + @@ -31596,9 +31596,9 @@ - + - + @@ -31606,7 +31606,7 @@ - + @@ -31615,7 +31615,7 @@ - + @@ -31714,9 +31714,9 @@ - + - + @@ -31724,7 +31724,7 @@ - + @@ -31800,9 +31800,9 @@ - + - + @@ -31810,7 +31810,7 @@ - + @@ -31819,7 +31819,7 @@ - + @@ -31863,7 +31863,7 @@ - + @@ -32048,7 +32048,7 @@ - + @@ -32085,9 +32085,9 @@ - + - + @@ -32095,15 +32095,15 @@ - + - + - + @@ -32162,9 +32162,9 @@ - + - + @@ -32251,9 +32251,9 @@ - + - + @@ -32261,15 +32261,15 @@ - + - + - + @@ -32298,9 +32298,9 @@ - + - + @@ -32363,9 +32363,9 @@ - + - + @@ -32373,15 +32373,15 @@ - + - + - + @@ -32405,7 +32405,7 @@ - + @@ -32435,9 +32435,9 @@ - + - + @@ -32511,9 +32511,9 @@ - + - + @@ -32521,15 +32521,15 @@ - + - + - + @@ -32600,9 +32600,9 @@ - + - + @@ -32629,7 +32629,7 @@ - + @@ -32662,9 +32662,9 @@ - + - + @@ -32672,7 +32672,7 @@ - + @@ -32680,7 +32680,7 @@ - + @@ -32709,9 +32709,9 @@ - + - + @@ -32787,9 +32787,9 @@ - + - + @@ -32797,7 +32797,7 @@ - + @@ -32805,7 +32805,7 @@ - + @@ -32894,9 +32894,9 @@ - + - + @@ -32964,9 +32964,9 @@ - + - + @@ -32974,7 +32974,7 @@ - + @@ -32982,7 +32982,7 @@ - + @@ -33483,244 +33483,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -33851,9 +33613,9 @@ - + - + @@ -33893,9 +33655,9 @@ - + - + @@ -33930,9 +33692,9 @@ - + - + @@ -33969,9 +33731,9 @@ - + - + @@ -34192,7 +33954,7 @@ - + @@ -34200,7 +33962,7 @@ - + @@ -34367,7 +34129,7 @@ - + @@ -34375,7 +34137,7 @@ - + @@ -34442,7 +34204,7 @@ - + @@ -34450,7 +34212,7 @@ - + @@ -34600,7 +34362,7 @@ - + @@ -34608,7 +34370,7 @@ - + @@ -34759,7 +34521,7 @@ - + @@ -34791,7 +34553,7 @@ - + @@ -34801,7 +34563,7 @@ - + @@ -34830,7 +34592,7 @@ - + @@ -34859,7 +34621,7 @@ - + @@ -34869,7 +34631,7 @@ - + @@ -34899,7 +34661,7 @@ - + @@ -34931,7 +34693,7 @@ - + @@ -34941,7 +34703,7 @@ - + @@ -34970,7 +34732,7 @@ - + @@ -34999,7 +34761,7 @@ - + @@ -35009,7 +34771,7 @@ - + @@ -35281,7 +35043,7 @@ - + @@ -35313,7 +35075,7 @@ - + @@ -35323,7 +35085,7 @@ - + @@ -35352,7 +35114,7 @@ - + @@ -35381,7 +35143,7 @@ - + @@ -35391,7 +35153,7 @@ - + @@ -35448,7 +35210,7 @@ - + @@ -35459,7 +35221,7 @@ - + @@ -35469,7 +35231,7 @@ - + @@ -35503,7 +35265,7 @@ - + @@ -35528,7 +35290,7 @@ - + @@ -35554,7 +35316,7 @@ - + @@ -35579,7 +35341,7 @@ - + @@ -35605,7 +35367,7 @@ - + @@ -35630,7 +35392,7 @@ - + @@ -35656,7 +35418,7 @@ - + @@ -35681,7 +35443,7 @@ - + @@ -35707,7 +35469,7 @@ - + @@ -35732,7 +35494,7 @@ - + @@ -35758,7 +35520,7 @@ - + @@ -35783,7 +35545,7 @@ - + @@ -35809,7 +35571,7 @@ - + @@ -35834,7 +35596,7 @@ - + @@ -35860,7 +35622,7 @@ - + @@ -35885,7 +35647,7 @@ - + @@ -36299,9 +36061,9 @@ - + - + @@ -36320,7 +36082,7 @@ - + @@ -36352,9 +36114,9 @@ - + - + @@ -36362,7 +36124,7 @@ - + @@ -36370,7 +36132,7 @@ - + @@ -36378,7 +36140,7 @@ - + @@ -36452,9 +36214,9 @@ - + - + @@ -36462,7 +36224,7 @@ - + @@ -36643,9 +36405,9 @@ - + - + @@ -36679,9 +36441,9 @@ - + - + @@ -36808,9 +36570,9 @@ - + - + @@ -36991,9 +36753,9 @@ - + - + @@ -37006,7 +36768,7 @@ - + @@ -37081,9 +36843,9 @@ - + - + @@ -37096,7 +36858,7 @@ - + @@ -37175,7 +36937,7 @@ - + @@ -37266,9 +37028,9 @@ - + - + @@ -37326,9 +37088,9 @@ - + - + @@ -37341,7 +37103,7 @@ - + @@ -37349,7 +37111,7 @@ - + @@ -37435,9 +37197,9 @@ - + - + @@ -37445,7 +37207,7 @@ - + @@ -37555,9 +37317,9 @@ - + - + @@ -37724,9 +37486,9 @@ - + - + @@ -38333,9 +38095,9 @@ - + - + @@ -38395,7 +38157,7 @@ - + @@ -38426,9 +38188,9 @@ - + - + @@ -38479,7 +38241,7 @@ - + @@ -38510,7 +38272,7 @@ - + @@ -38637,9 +38399,9 @@ - + - + @@ -38661,7 +38423,7 @@ - + @@ -38748,9 +38510,9 @@ - + - + @@ -38839,7 +38601,7 @@ - + @@ -38926,9 +38688,9 @@ - + - + @@ -38964,7 +38726,7 @@ - + @@ -39051,9 +38813,9 @@ - + - + @@ -39089,7 +38851,7 @@ - + @@ -39613,7 +39375,7 @@ - + @@ -40071,9 +39833,9 @@ - + - + @@ -40207,9 +39969,9 @@ - + - + @@ -40391,9 +40153,9 @@ - + - + @@ -40446,7 +40208,7 @@ - + @@ -40605,7 +40367,7 @@ - + @@ -41103,7 +40865,7 @@ - + @@ -41245,9 +41007,9 @@ - + - + @@ -42016,9 +41778,9 @@ - + - + @@ -42026,7 +41788,7 @@ - + @@ -42040,9 +41802,9 @@ - + - + @@ -42050,7 +41812,7 @@ - + @@ -42160,9 +41922,9 @@ - + - + @@ -42170,7 +41932,7 @@ - + @@ -42221,9 +41983,9 @@ - + - + @@ -42237,9 +41999,9 @@ - + - + @@ -42324,9 +42086,9 @@ - + - + @@ -42340,9 +42102,9 @@ - + - + @@ -43319,9 +43081,9 @@ - + - + @@ -43358,9 +43120,9 @@ - + - + @@ -43374,9 +43136,9 @@ - + - + @@ -43467,9 +43229,9 @@ - + - + @@ -43483,9 +43245,9 @@ - + - + @@ -43534,7 +43296,7 @@ - + @@ -43559,7 +43321,7 @@ - + @@ -43567,7 +43329,7 @@ - + @@ -43631,9 +43393,9 @@ - + - + @@ -43647,9 +43409,9 @@ - + - + @@ -43727,9 +43489,9 @@ - + - + @@ -43815,9 +43577,9 @@ - + - + @@ -43901,9 +43663,9 @@ - + - + @@ -43917,9 +43679,9 @@ - + - + @@ -43968,9 +43730,9 @@ - + - + @@ -44015,9 +43777,9 @@ - + - + @@ -44080,9 +43842,9 @@ - + - + @@ -44130,9 +43892,9 @@ - + - + @@ -44192,9 +43954,9 @@ - + - + @@ -45722,9 +45484,9 @@ - + - + @@ -46289,9 +46051,9 @@ - + - + @@ -46378,9 +46140,9 @@ - + - + @@ -46388,7 +46150,7 @@ - + @@ -46396,7 +46158,7 @@ - + @@ -47532,7 +47294,7 @@ - + @@ -47844,7 +47606,7 @@ - + @@ -47852,7 +47614,7 @@ - + @@ -47904,7 +47666,7 @@ - + @@ -47912,7 +47674,7 @@ - + @@ -48015,7 +47777,7 @@ - + @@ -48023,7 +47785,7 @@ - + @@ -48076,7 +47838,7 @@ - + @@ -48951,9 +48713,9 @@ - + - + @@ -48961,7 +48723,7 @@ - + @@ -48969,7 +48731,7 @@ - + @@ -49383,9 +49145,9 @@ - + - + @@ -49479,9 +49241,9 @@ - + - + @@ -49531,5 +49293,243 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +