From 0c692dd09f1a3e0d36f79ab2e5dc8f7e057a7f02 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 16 Jul 2015 13:16:51 +0200 Subject: [PATCH] Typechecking templates updated --- .../lang/typesystem2/samplechecker/chr.mps | 29428 +++++++++------- .../lang/typesystem2/samplechecker/runner.mps | 70 +- .../typesystem2/samplechecker/template.mps | 941 +- .../lang/typesystem2/sampleplugin/plugin.mps | 2 +- 4 files changed, 16624 insertions(+), 13817 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps index 7a73fd65..52050702 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps @@ -131,469 +131,544 @@ - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - - + + - - + + - - + + - + - + - + + + + - + - + - + - + + + + - + - + - + - + - + - + - - - - + - + - + - + - + - + - + - + - + - + - + - + + + + - + - + + + + - + - + - + - + - + - + - + - + - + - + - + + + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + + + + - + - + - + + + + - + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - + - + - + - + - + - - - - - - - + + + + + + + - - - + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -601,46 +676,46 @@ - - - - + + + + - + - + - - - - + + + + - + - - - - + + + + - - + + - + - - - - + + + + @@ -651,21 +726,21 @@ - - - - + + + + - - + + - + - - - - + + + + @@ -675,244 +750,244 @@ - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - + + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - - - + + + @@ -922,73 +997,73 @@ - - - - + + + + - + - - - - - - + + + + + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + @@ -996,50 +1071,136 @@ - - - - + + + + - + - - - - - - + + + + + + - + - - - + + + - + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1047,165 +1208,165 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - + + + - - - + + + - + - - + + - + - + - - + + - + - + - - + + @@ -1214,41 +1375,41 @@ - - - + + + - - - + + + - + - - + + - + - + - - + + - + - + - - + + @@ -1257,215 +1418,215 @@ - - - + + + - + - + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - + - + - - - + + + - + - - + + - + - - - - - - + + + + + + - + - + - + - - + + - + - + - - + + - + - + - + - - - - - + + + + + - + - + - + - - + + - + - + - - + + - + - + - + - - - + + + - - - + + + - + - - + + - + - + - - + + - + - + - - + + @@ -1474,41 +1635,41 @@ - - - + + + - - - + + + - + - - + + - + - + - - + + - + - + - - + + @@ -1517,140 +1678,140 @@ - - - + + + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - + - - - - + + + + - + - - + + - + - - - - + + + + - + - - - - + + + + - - - + + + - + - + - + - - - - + + + + - - - + + + - + - + - - - + + + @@ -1659,73 +1820,73 @@ - - - + + + - + - + - - - - + + + + - + - - - - + + + + - - - + + + - + - + - + - - - - + + + + - - - + + + - + - + - - - + + + @@ -1734,161 +1895,161 @@ - - - + + + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1896,33 +2057,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1931,28 +2092,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1960,126 +2121,126 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -2088,202 +2249,202 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -2291,83 +2452,83 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2376,45 +2537,45 @@ - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -2422,67 +2583,67 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -2497,223 +2658,223 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + @@ -2724,28 +2885,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2753,351 +2914,351 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3106,101 +3267,101 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + @@ -3209,44 +3370,44 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + @@ -3255,96 +3416,96 @@ - - - + + + - + - - - + + + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -3352,45 +3513,45 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + @@ -3399,121 +3560,121 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -3521,67 +3682,67 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -3596,154 +3757,154 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3754,28 +3915,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3783,251 +3944,251 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4036,94 +4197,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -4132,37 +4293,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -4171,87 +4332,87 @@ - - - + + + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -4259,38 +4420,38 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -4299,109 +4460,109 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -4409,67 +4570,67 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -4484,53 +4645,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4538,33 +4699,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -4573,28 +4734,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4602,208 +4763,208 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -4811,83 +4972,83 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4896,45 +5057,45 @@ - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -4942,67 +5103,67 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -5017,53 +5178,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5071,33 +5232,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -5106,28 +5267,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5135,208 +5296,208 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5344,83 +5505,83 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5429,76 +5590,76 @@ - - - - - - + + + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5506,216 +5667,216 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -5723,91 +5884,91 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -5822,53 +5983,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5876,33 +6037,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -5911,28 +6072,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5940,51 +6101,51 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -5993,202 +6154,202 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6196,83 +6357,83 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6281,45 +6442,45 @@ - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -6327,67 +6488,67 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -6402,154 +6563,154 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6557,166 +6718,166 @@ - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6724,95 +6885,95 @@ - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -6820,95 +6981,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6917,83 +7078,83 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -7001,95 +7162,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7098,28 +7259,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7127,70 +7288,70 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + @@ -7199,25 +7360,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -7225,75 +7386,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7302,28 +7463,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7331,20 +7492,20 @@ - - - - - - + + + + + + - + - + - + @@ -7353,25 +7514,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -7379,113 +7540,113 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7494,28 +7655,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7523,20 +7684,20 @@ - - - - - - + + + + + + - + - + - + @@ -7545,25 +7706,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -7571,113 +7732,113 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7686,28 +7847,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7715,170 +7876,170 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7887,25 +8048,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -7913,235 +8074,235 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8150,28 +8311,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -8179,45 +8340,45 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + @@ -8226,25 +8387,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -8252,75 +8413,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8329,28 +8490,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -8358,20 +8519,20 @@ - - - - - - + + + + + + - + - + - + @@ -8380,25 +8541,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -8406,75 +8567,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8483,28 +8644,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -8512,45 +8673,45 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + @@ -8559,25 +8720,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -8585,75 +8746,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8662,28 +8823,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -8691,20 +8852,20 @@ - - - - - - + + + + + + - + - + - + @@ -8713,25 +8874,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -8739,97 +8900,97 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8838,154 +8999,154 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -8993,95 +9154,95 @@ - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9089,95 +9250,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9186,28 +9347,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -9215,45 +9376,45 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + @@ -9262,25 +9423,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9288,75 +9449,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9365,28 +9526,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -9394,20 +9555,20 @@ - - - - - - + + + + + + - + - + - + @@ -9416,25 +9577,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9442,75 +9603,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9519,28 +9680,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -9548,20 +9709,20 @@ - - - - - - + + + + + + - + - + - + @@ -9570,25 +9731,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9596,113 +9757,113 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9711,28 +9872,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -9740,45 +9901,45 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + @@ -9787,25 +9948,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9813,75 +9974,75 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9890,28 +10051,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -9919,95 +10080,95 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10016,25 +10177,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -10042,166 +10203,166 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -10210,28 +10371,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -10239,20 +10400,20 @@ - - - - - - + + + + + + - + - + - + @@ -10261,25 +10422,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -10287,97 +10448,97 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -10386,28 +10547,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -10415,45 +10576,45 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + @@ -10462,25 +10623,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -10488,212 +10649,212 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -10702,28 +10863,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -10731,20 +10892,20 @@ - - - - - - + + + + + + - + - + - + @@ -10753,83 +10914,83 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -10837,95 +10998,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -10934,83 +11095,83 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -11018,95 +11179,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -11115,22 +11276,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11138,39 +11299,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -11179,22 +11340,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11202,20 +11363,20 @@ - - - - - - + + + + + + - + - + - + @@ -11224,22 +11385,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11247,20 +11408,20 @@ - - - - - - + + + + + + - + - + - + @@ -11269,154 +11430,154 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11424,166 +11585,166 @@ - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11591,95 +11752,95 @@ - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -11687,95 +11848,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -11784,83 +11945,83 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -11868,95 +12029,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -11965,22 +12126,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11988,20 +12149,20 @@ - - - - - - + + + + + + - + - + - + @@ -12010,28 +12171,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -12039,79 +12200,79 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -12120,22 +12281,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12143,20 +12304,20 @@ - - - - - - + + + + + + - + - + - + @@ -12165,22 +12326,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12188,77 +12349,77 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12267,28 +12428,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -12296,79 +12457,79 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -12377,22 +12538,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12400,20 +12561,20 @@ - - - - - - + + + + + + - + - + - + @@ -12422,22 +12583,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12445,20 +12606,20 @@ - - - - - - + + + + + + - + - + - + @@ -12467,83 +12628,83 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -12551,95 +12712,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -12648,22 +12809,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12671,20 +12832,20 @@ - - - - - - + + + + + + - + - + - + @@ -12693,22 +12854,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12716,20 +12877,20 @@ - - - - - - + + + + + + - + - + - + @@ -12738,22 +12899,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12761,20 +12922,20 @@ - - - - - - + + + + + + - + - + - + @@ -12783,83 +12944,83 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -12867,95 +13028,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -12964,22 +13125,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12987,20 +13148,20 @@ - - - - - - + + + + + + - + - + - + @@ -13009,154 +13170,154 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -13164,95 +13325,95 @@ - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -13260,95 +13421,95 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -13357,22 +13518,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13380,20 +13541,20 @@ - - - - - - + + + + + + - + - + - + @@ -13402,22 +13563,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13425,20 +13586,20 @@ - - - - - - + + + + + + - + - + - + @@ -13447,28 +13608,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -13476,79 +13637,79 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -13557,22 +13718,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13580,58 +13741,58 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -13640,22 +13801,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13663,58 +13824,58 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -13723,22 +13884,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13746,20 +13907,20 @@ - - - - - - + + + + + + - + - + - + @@ -13768,22 +13929,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13791,20 +13952,20 @@ - - - - - - + + + + + + - + - + - + @@ -13813,22 +13974,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13836,20 +13997,20 @@ - - - - - - + + + + + + - + - + - + @@ -13858,25 +14019,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -13884,23 +14045,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -13909,22 +14070,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -13932,20 +14093,20 @@ - - - - - - + + + + + + - + - + - + @@ -13954,25 +14115,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -13980,23 +14141,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14005,22 +14166,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14028,20 +14189,20 @@ - - - - - - + + + + + + - + - + - + @@ -14050,25 +14211,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14076,23 +14237,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14101,22 +14262,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14124,20 +14285,20 @@ - - - - - - + + + + + + - + - + - + @@ -14146,25 +14307,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14172,23 +14333,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14197,22 +14358,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14220,26 +14381,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -14248,22 +14409,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14271,39 +14432,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -14312,25 +14473,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14338,50 +14499,50 @@ - - - - - + + + + + - - - + + + - + - - - + + + - - + + - + - - - - - - + + + + + + - + - + - + @@ -14389,39 +14550,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -14430,25 +14591,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14456,50 +14617,50 @@ - - - - - + + + + + - - - + + + - + - - - + + + - - + + - + - - - - - - + + + + + + - + - + - + @@ -14507,20 +14668,20 @@ - - - - - - + + + + + + - + - + - + @@ -14529,25 +14690,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14555,23 +14716,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14580,22 +14741,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14603,20 +14764,20 @@ - - - - - - + + + + + + - + - + - + @@ -14625,25 +14786,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14651,23 +14812,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14676,22 +14837,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14699,20 +14860,20 @@ - - - - - - + + + + + + - + - + - + @@ -14721,25 +14882,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14747,23 +14908,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14772,22 +14933,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14795,20 +14956,20 @@ - - - - - - + + + + + + - + - + - + @@ -14817,22 +14978,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14840,20 +15001,20 @@ - - - - - - + + + + + + - + - + - + @@ -14862,25 +15023,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14888,23 +15049,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -14913,22 +15074,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -14936,20 +15097,20 @@ - - - - - - + + + + + + - + - + - + @@ -14958,25 +15119,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -14984,23 +15145,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -15009,22 +15170,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15032,20 +15193,20 @@ - - - - - - + + + + + + - + - + - + @@ -15054,22 +15215,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15077,20 +15238,20 @@ - - - - - - + + + + + + - + - + - + @@ -15099,25 +15260,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -15125,23 +15286,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -15150,22 +15311,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15173,20 +15334,20 @@ - - - - - - + + + + + + - + - + - + @@ -15195,25 +15356,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -15221,23 +15382,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -15246,22 +15407,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15269,26 +15430,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -15297,22 +15458,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15320,26 +15481,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -15348,22 +15509,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15371,20 +15532,20 @@ - - - - - - + + + + + + - + - + - + @@ -15393,25 +15554,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -15419,23 +15580,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -15444,22 +15605,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15467,26 +15628,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -15495,22 +15656,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15518,26 +15679,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -15546,22 +15707,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15569,26 +15730,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -15597,22 +15758,270 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + - + - + @@ -15620,155 +16029,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -15777,22 +16186,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15800,155 +16209,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -15957,22 +16366,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -15980,20 +16389,20 @@ - - - - - - + + + + + + - + - + - + @@ -16002,53 +16411,117 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -16056,40 +16529,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -16097,76 +16570,76 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -16175,22 +16648,86 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -16198,20 +16735,20 @@ - - - - - - + + + + + + - + - + - + @@ -16220,22 +16757,86 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -16243,20 +16844,20 @@ - - - - - - + + + + + + - + - + - + @@ -16265,22 +16866,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -16288,51 +16889,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -16341,25 +16942,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -16367,23 +16968,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -16392,22 +16993,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -16415,39 +17016,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -16456,22 +17057,328 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16479,155 +17386,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -16636,22 +17543,146 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -16659,20 +17690,20 @@ - - - - - - + + + + + + - + - + - + @@ -16681,53 +17712,268 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -16735,40 +17981,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -16776,76 +18022,76 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -16854,53 +18100,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -16908,40 +18154,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -16949,107 +18195,107 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -17058,22 +18304,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -17081,39 +18327,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -17122,47 +18368,47 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -17170,433 +18416,433 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -17605,53 +18851,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -17659,40 +18905,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -17700,257 +18946,257 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -17959,53 +19205,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -18013,40 +19259,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -18054,204 +19300,204 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -18260,53 +19506,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -18314,40 +19560,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -18355,98 +19601,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -18455,25 +19701,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -18481,23 +19727,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -18506,22 +19752,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -18529,39 +19775,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -18570,22 +19816,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -18593,155 +19839,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -18750,25 +19996,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -18776,23 +20022,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -18801,22 +20047,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -18824,39 +20070,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -18865,22 +20111,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -18888,155 +20134,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -19045,47 +20291,47 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -19093,43 +20339,43 @@ - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -19138,22 +20384,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19161,39 +20407,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -19202,22 +20448,92 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -19225,155 +20541,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -19382,22 +20698,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19405,39 +20721,39 @@ - - - - + + + + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -19446,22 +20762,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19469,20 +20785,20 @@ - - - - - - + + + + + + - + - + - + @@ -19491,22 +20807,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19514,155 +20830,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -19671,22 +20987,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19694,39 +21010,39 @@ - - - - + + + + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -19735,22 +21051,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19758,20 +21074,20 @@ - - - - - - + + + + + + - + - + - + @@ -19780,22 +21096,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -19803,73 +21119,73 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -19878,25 +21194,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -19904,110 +21220,110 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -20016,22 +21332,86 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -20039,73 +21419,73 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -20114,22 +21494,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -20137,155 +21517,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -20294,22 +21674,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -20317,155 +21697,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -20474,22 +21854,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -20497,155 +21877,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -20654,22 +22034,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -20677,39 +22057,39 @@ - - - - + + + + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -20718,22 +22098,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -20741,155 +22121,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -20898,22 +22278,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -20921,155 +22301,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -21078,25 +22458,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -21104,43 +22484,43 @@ - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -21149,22 +22529,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21172,20 +22552,20 @@ - - - - - - + + + + + + - + - + - + @@ -21194,22 +22574,140 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -21217,39 +22715,39 @@ - - - - + + + + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -21258,25 +22756,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -21284,23 +22782,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -21309,22 +22807,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21332,39 +22830,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -21373,22 +22871,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21396,20 +22894,20 @@ - - - - - - + + + + + + - + - + - + @@ -21418,22 +22916,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21441,82 +22939,82 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -21525,22 +23023,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21548,51 +23046,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -21601,22 +23099,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21624,20 +23122,20 @@ - - - - - - + + + + + + - + - + - + @@ -21646,25 +23144,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -21672,23 +23170,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -21697,22 +23195,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21720,39 +23218,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -21761,25 +23259,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -21787,23 +23285,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -21812,22 +23310,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21835,39 +23333,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -21876,22 +23374,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -21899,79 +23397,79 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -21980,25 +23478,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -22006,197 +23504,197 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -22205,22 +23703,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -22228,79 +23726,79 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -22309,25 +23807,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -22335,197 +23833,197 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -22534,22 +24032,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -22557,155 +24055,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -22714,22 +24212,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -22737,155 +24235,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -22894,22 +24392,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -22917,73 +24415,73 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -22992,22 +24490,396 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + - + - + @@ -23015,155 +24887,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -23172,22 +25044,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -23195,155 +25067,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -23352,22 +25224,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -23375,155 +25247,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -23532,22 +25404,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -23555,39 +25427,39 @@ - - - - + + + + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -23596,22 +25468,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -23619,155 +25491,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -23776,25 +25648,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -23802,132 +25674,132 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -23936,22 +25808,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -23959,43 +25831,43 @@ - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -24004,22 +25876,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -24027,20 +25899,20 @@ - - - - - - + + + + + + - + - + - + @@ -24049,22 +25921,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -24072,232 +25944,232 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -24306,25 +26178,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -24332,153 +26204,153 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -24487,22 +26359,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -24510,179 +26382,179 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -24691,25 +26563,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -24717,156 +26589,156 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -24875,22 +26747,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -24898,51 +26770,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -24951,22 +26823,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -24974,20 +26846,20 @@ - - - - - - + + + + + + - + - + - + @@ -24996,25 +26868,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -25022,110 +26894,110 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25134,22 +27006,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -25157,51 +27029,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25210,22 +27082,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -25233,20 +27105,20 @@ - - - - - - + + + + + + - + - + - + @@ -25255,25 +27127,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -25281,110 +27153,110 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25393,22 +27265,86 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + - + - + @@ -25416,73 +27352,73 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25491,22 +27427,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -25514,155 +27450,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25671,22 +27607,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -25694,155 +27630,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25851,22 +27787,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -25874,73 +27810,73 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -25949,22 +27885,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -25972,155 +27908,155 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + @@ -26129,53 +28065,123 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -26183,33 +28189,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -26218,28 +28224,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -26247,301 +28253,301 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -26550,202 +28556,202 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -26753,83 +28759,83 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -26838,45 +28844,45 @@ - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -26884,43 +28890,43 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + @@ -26935,53 +28941,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -26989,33 +28995,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -27024,28 +29030,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -27053,2076 +29059,2076 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -29131,202 +31137,202 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -29334,83 +31340,83 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -29419,76 +31425,76 @@ - - - - - - + + + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -29496,247 +31502,247 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - - - - + + + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -29744,303 +31750,303 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - - - - + + + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -30048,247 +32054,247 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - - - - + + + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -30296,216 +32302,216 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -30513,91 +32519,91 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -30605,79 +32611,79 @@ - + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -30685,79 +32691,79 @@ - + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -30765,55 +32771,55 @@ - + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -30828,154 +32834,1367 @@ - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - - + + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -30986,28 +34205,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -31015,77 +34234,77 @@ - - - - - - + + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - - + + @@ -31093,94 +34312,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -31189,37 +34408,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -31228,87 +34447,87 @@ - - - + + + - + - + - - - - + + + + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -31316,38 +34535,38 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -31356,109 +34575,109 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -31466,67 +34685,67 @@ - - - - + + + + - - + + - + - - + + - + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + @@ -31541,1242 +34760,29 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - + + + + - + - + - + - - - - + + + + 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 d9b1a06b..64440367 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 @@ -277,9 +277,19 @@ + + + + + + + + + + @@ -394,32 +404,66 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - + - + - - + + - + - - + + - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps index 5850180d..74523666 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps @@ -324,6 +324,14 @@ + + + + + + + + @@ -755,6 +763,86 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1551,6 +1639,60 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4400,6 +4542,195 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4759,7 +5090,7 @@ - + @@ -4863,6 +5194,114 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7986,63 +8425,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -11081,6 +11463,7 @@ + @@ -11517,6 +11900,7 @@ + @@ -11556,13 +11940,13 @@ - + - + @@ -11585,7 +11969,7 @@ - + @@ -11665,49 +12049,129 @@ - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - + + + + + + + + + - + @@ -11716,13 +12180,306 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 52b42185..050e67de 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 @@ -2042,7 +2042,7 @@ - +