diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps index 28f6bded..84613dee 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem.sample/models/jetbrains/mps/lang/typesystem2/sample/bounds.mps @@ -327,6 +327,20 @@ + + + + + + + + + + + + + + @@ -371,6 +385,25 @@ + + + + + + + + + + + + + + + + + + + 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 868fbf3f..44b88ee1 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 @@ -120,642 +120,1088 @@ - + - - - - - - - - - - - - - - - - - + + - + - + - - - + + + - + - + - + - - - + + + - - - - - - - - - - - - - - - - - - - + - + - + - + - + - + - + - + - + - - - - - - - + - + - + - + - + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + - - + + - + - - + + - + + + + + + + + + + - + + + + - - + + - - - - + - + - - + + - - + + - - + + - - + + - - + + - + + + + - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + - + - + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - - - - + + + - + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - + - + - - - + + + + + - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - + - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - + + - - - - + + + + - + - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -763,33 +1209,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -798,28 +1244,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -827,176 +1273,176 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -1005,266 +1451,286 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1273,53 +1739,53 @@ - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1327,33 +1793,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1362,28 +1828,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1391,26 +1857,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -1419,266 +1885,286 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1687,53 +2173,53 @@ - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1741,33 +2227,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1776,28 +2262,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1805,272 +2291,292 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2079,240 +2585,402 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2323,28 +2991,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2352,101 +3020,101 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2455,94 +3123,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2551,37 +3219,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2590,106 +3258,126 @@ - - - + + + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + @@ -2698,117 +3386,117 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2816,33 +3504,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2851,28 +3539,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2880,272 +3568,292 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3154,240 +3862,458 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3398,28 +4324,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3427,51 +4353,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3480,94 +4406,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3576,37 +4502,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3615,106 +4541,126 @@ - - - + + + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + @@ -3723,117 +4669,117 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3841,33 +4787,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3876,28 +4822,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3905,51 +4851,51 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -3958,266 +4904,286 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4226,53 +5192,53 @@ - - - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4280,33 +5246,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -4315,28 +5281,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4344,26 +5310,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4372,266 +5338,286 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - - + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4640,28 +5626,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4669,20 +5655,20 @@ - - - - - - + + + + + + - + - + - + @@ -4691,53 +5677,53 @@ - + - - - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4745,26 +5731,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4772,38 +5758,38 @@ - - - - + + + + - - + + - - - + + + - - - + + + - + - + - + - + - + @@ -4812,28 +5798,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4841,20 +5827,20 @@ - - - - - - + + + + + + - + - + - + @@ -4863,53 +5849,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4917,124 +5903,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5042,40 +6028,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -5083,95 +6069,95 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5180,28 +6166,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5209,145 +6195,145 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5356,28 +6342,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5385,170 +6371,170 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5557,22 +6543,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5580,20 +6566,20 @@ - - - - - - + + + + + + - + - + - + @@ -5602,22 +6588,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5625,20 +6611,20 @@ - - - - - - + + + + + + - + - + - + @@ -5647,53 +6633,53 @@ - + - - - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5701,26 +6687,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -5728,185 +6714,175 @@ - - - - - + + + + + - - + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - + + - - - + + + - - - + + + - + - + - + - + - + - - - - - - - - - - - - + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5915,22 +6891,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5938,20 +6914,20 @@ - - - - - - + + + + + + - + - + - + @@ -5960,53 +6936,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6014,124 +6990,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6139,26 +7115,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -6166,91 +7142,91 @@ - - - - + + + + - - + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6259,22 +7235,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -6282,20 +7258,20 @@ - - - - - - + + + + + + - + - + - + @@ -6304,53 +7280,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6358,174 +7334,174 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6533,146 +7509,136 @@ - - - - - + + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - - - - - - - - - - + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -6680,115 +7646,153 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -6797,53 +7801,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6851,174 +7855,174 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7026,177 +8030,167 @@ - - - - - + + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - - - - - - - - - - + + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7204,26 +8198,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7231,38 +8225,38 @@ - - - - + + + + - - + + - - - + + + - - - + + + - + - + - + - + - + @@ -7271,28 +8265,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7300,132 +8294,132 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7434,22 +8428,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7457,20 +8451,20 @@ - - - - - - + + + + + + - + - + - + @@ -7479,22 +8473,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7502,20 +8496,20 @@ - - - - - - + + + + + + - + - + - + @@ -7524,22 +8518,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7547,20 +8541,20 @@ - - - - - - + + + + + + - + - + - + @@ -7569,22 +8563,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7592,20 +8586,20 @@ - - - - - - + + + + + + - + - + - + @@ -7614,22 +8608,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7637,26 +8631,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7665,22 +8659,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7688,26 +8682,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7716,22 +8710,67 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -7739,26 +8778,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7767,22 +8806,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7790,26 +8829,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7818,22 +8857,67 @@ - - - - - - - - + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -7841,26 +8925,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7869,22 +8953,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7892,26 +8976,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7920,22 +9004,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7943,51 +9027,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7996,22 +9080,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -8019,30 +9103,39 @@ - - - - - - + + + + + + + + + - + - - - + + + + + + + + + - + - + - + @@ -8051,128 +9144,167 @@ - + - - - - - + + + + + - - - + + + - + - + - + - + - + - - + + - - - - - + + + + + - - - + + + + + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - - - - + + - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - + + + + + + - + - + - + @@ -8180,246 +9312,300 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - + - - + + - - - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + + + - - + + - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8427,40 +9613,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8468,98 +9654,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8568,53 +9754,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8622,40 +9808,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8663,98 +9849,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8763,53 +9949,168 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8817,40 +10118,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8858,98 +10159,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8958,53 +10259,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9012,40 +10313,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9053,98 +10354,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9153,53 +10454,168 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9207,40 +10623,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9248,98 +10664,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9348,53 +10764,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9402,40 +10818,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9443,98 +10859,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9543,128 +10959,191 @@ - + - - - - - + + + + + - - - + + + - + - + - + - + - + - - + + - - - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + + + - - + + - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -9672,39 +11151,63 @@ - - - - - - + + + + + + + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - + - + - + @@ -9713,22 +11216,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9736,20 +11239,20 @@ - - - - - - + + + + + + - + - + - + @@ -9758,22 +11261,618 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -9781,39 +11880,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -9822,22 +11945,49 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -9845,39 +11995,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -9886,22 +12060,618 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9909,39 +12679,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -9950,22 +12744,49 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -9973,39 +12794,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -10014,22 +12859,49 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -10037,39 +12909,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -10078,25 +12974,25 @@ - - - - - - - + + + + + + + - - - + + + - + - + - + @@ -10104,138 +13000,132 @@ - - - - - + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - + + - - - - + + + + - - - + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - + - - - + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - + + + + - - - + + + - + - + - + @@ -10244,22 +13134,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10267,20 +13157,20 @@ - - - - - - + + + + + + - + - + - + @@ -10289,31 +13179,109 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10321,20 +13289,20 @@ - - - - - - + + + + + + - + - + - + @@ -10342,23 +13310,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10367,484 +13335,22 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - + + + + + + - + - + - + @@ -10852,20 +13358,20 @@ - - - - - - + + + + + + - + - + - + @@ -10874,539 +13380,445 @@ - - - - - - - + + + + + + + - - - + + + - - + + - - - - - - - + - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - - + + + + - - - + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - + + - - - - + + + + - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - + - + - + - - - + + + - + - + - + - + - + - - + + - - - + + + - - - + + + - + - + - + - + - + - - - - - - - - - - - - + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - + + - - - - + + + + - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - - + + @@ -11414,22 +13826,100 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - + - + - + @@ -11437,20 +13927,20 @@ - - - - - - + + + + + + - + - + - + @@ -11459,31 +13949,592 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11491,20 +14542,20 @@ - - - - - - + + + + + + - + - + - + @@ -11512,23 +14563,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11537,390 +14588,22 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - + + + + + + - + - + - + @@ -11928,20 +14611,20 @@ - - - - - - + + + + + + - + - + - + @@ -11950,31 +14633,443 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11982,20 +15077,20 @@ - - - - - - + + + + + + - + - + - + @@ -12003,23 +15098,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12028,366 +15123,455 @@ - - - - - - - - - - - + + + + + + + + - - + + - + - - + + - - - - - - - - + + + + + + + - + - + - + - - - - + + + + + + + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - - + + + + - - - + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - - + + + + - - + + - - - - + + + + - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + - + @@ -12396,76 +15580,31 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12473,20 +15612,20 @@ - - - - - - + + + + + + - + - + - + @@ -12494,23 +15633,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12519,31 +15658,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12551,20 +15690,20 @@ - - - - - - + + + + + + - + - + - + @@ -12572,23 +15711,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12597,22 +15736,49 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -12620,39 +15786,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -12661,31 +15851,396 @@ - - - - - - + + + + + + - - - + + + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -12693,20 +16248,20 @@ - - - - - - + + + + + + - + - + - + @@ -12714,23 +16269,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12739,22 +16294,49 @@ - - - - - - - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -12762,39 +16344,63 @@ - - - - - - + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + - + - + - - - - - + + + + + - + - + - + @@ -12803,31 +16409,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12835,20 +16441,20 @@ - - - - - - + + + + + + - + - + - + @@ -12856,23 +16462,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12881,252 +16487,285 @@ - - - - - - - + + + + + + + - - - + + + - + - + - + - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - + + - - - - + + + + - - + + - - - - + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + @@ -13135,31 +16774,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -13167,20 +16806,20 @@ - - - - - - + + + + + + - + - + - + @@ -13188,23 +16827,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -13213,253 +16852,1020 @@ - - - - - - - + + + + + + + - - - + + + - + - + - + - - - - + + + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - + + - - - - + + + + - - + + - - - - + + + + - - - + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + - - - + + + - - + + - + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 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 a576067c..934186c9 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 @@ -20,8 +20,8 @@ - + @@ -381,13 +381,13 @@ - + - + @@ -397,7 +397,45 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -988,12 +1026,64 @@ - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd index bceae0aa..56c9175e 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd @@ -26,12 +26,14 @@ 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) 760a0a8c-eabb-4521-8bfd-65db761a9ba3(jetbrains.mps.baseLanguage.logging) a247e09e-2435-45ba-b8d2-07e93feba96a(jetbrains.mps.baseLanguage.tuples) + f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc) + 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 78a31b5f..756d997e 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 @@ -10,6 +10,7 @@ + @@ -49,7 +50,6 @@ - @@ -75,9 +75,6 @@ - - - @@ -121,8 +118,6 @@ - - @@ -147,20 +142,15 @@ - - - - - @@ -172,7 +162,6 @@ - @@ -201,6 +190,9 @@ + + + @@ -219,6 +211,18 @@ + + + + + + + + + + + + @@ -264,16 +268,17 @@ + - - - + + + @@ -283,15 +288,9 @@ - - - - - - @@ -309,7 +308,6 @@ - @@ -331,6 +329,7 @@ + @@ -347,11 +346,23 @@ - + + + + + + + + + + + + + @@ -364,21 +375,19 @@ - - - + - + @@ -389,9 +398,7 @@ - - - + @@ -407,6 +414,7 @@ + @@ -418,12 +426,15 @@ + + + + - @@ -472,1353 +483,57 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - - + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + @@ -1949,7 +664,8 @@ - + + @@ -1974,43 +690,19 @@ - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -2035,6 +727,20 @@ + + + + + + + + + + + + + + @@ -2053,203 +759,74 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -2258,7 +835,7 @@ - + @@ -2270,9 +847,150 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2338,6 +1056,153 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2357,25 +1222,40 @@ - - - - - - + + + + + + + + + + + - + + + + + + + + + + + @@ -2490,7 +1370,8 @@ - + + @@ -2527,59 +1408,26 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - + + - - - - @@ -2593,27 +1441,30 @@ - - - - - - - - - - - - - + + + + + - - + + + + + + + + + + + + + @@ -2641,6 +1492,11 @@ + + + + + @@ -2649,40 +1505,26 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - + + + + + + + + + @@ -2713,6 +1555,11 @@ + + + + + @@ -2720,12 +1567,17 @@ - - - - - - + + + + + + + + + + + @@ -2740,7 +1592,13 @@ - + + + + + + + @@ -2785,12 +1643,6 @@ - - - - - - @@ -2819,6 +1671,11 @@ + + + + + @@ -2826,12 +1683,12 @@ - - - - - - + + + + + + @@ -2839,12 +1696,6 @@ - - - - - - @@ -2853,19 +1704,19 @@ - + - + - + - + @@ -2874,73 +1725,139 @@ - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + - + - - - - - - + + + + + + + + + + + @@ -2954,6 +1871,59 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2962,16 +1932,16 @@ - + - + - + @@ -2979,7 +1949,35 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2987,69 +1985,103 @@ - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + - + - - - - - - + + + + + + + + + + + @@ -3063,29 +2095,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - @@ -3094,8 +2162,8 @@ - - + + @@ -3122,88 +2190,37 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - + + + + + - + + + + + + + + + + + + + + @@ -3217,7 +2234,7 @@ - + @@ -3227,7 +2244,7 @@ - + @@ -3330,1187 +2347,58 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - + + + + + - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4527,10 +2415,6 @@ - - - - @@ -4544,7 +2428,11 @@ - + + + + + @@ -4557,7 +2445,7 @@ - + @@ -4880,8 +2768,8 @@ - - + + @@ -5004,8 +2892,14 @@ - - + + + + + + + + @@ -5019,12 +2913,6 @@ - - - - - - @@ -5089,117 +2977,31 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - + + + + + + + + + + + + - - - @@ -5245,22 +3047,31 @@ - - - - - - - - - + + + + + + + - - - + + + + + + + + + + + + + + @@ -5285,6 +3096,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5334,7 +3204,7 @@ - + @@ -5351,8 +3221,8 @@ - - + + @@ -5602,8 +3472,8 @@ - - + + @@ -5786,11 +3656,26 @@ - + + + + + + + + + + + + + + + + @@ -5805,9 +3690,14 @@ - - - + + + + + + + + @@ -5825,7 +3715,7 @@ - + @@ -5870,7 +3760,7 @@ - + @@ -5929,7 +3819,7 @@ - + @@ -5988,7 +3878,7 @@ - + @@ -6047,7 +3937,7 @@ - + @@ -6176,16 +4066,40 @@ - - - - + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + @@ -6217,13 +4131,27 @@ - + + + + + + + + - - + + + + + + + + + @@ -6255,6 +4183,18 @@ + + + + + + + + + + + + @@ -6279,7 +4219,7 @@ - + @@ -6289,7 +4229,7 @@ - + @@ -6300,7 +4240,7 @@ - + @@ -6405,7 +4345,7 @@ - + @@ -6579,7 +4519,7 @@ - + @@ -6664,35 +4604,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + + + + + + + - - - - + + - - - - + + - + - + @@ -6792,7 +4762,7 @@ - + @@ -6808,7 +4778,7 @@ - + @@ -6825,21 +4795,21 @@ - - - - + + + + - - + + - + - - + + @@ -6880,2126 +4850,709 @@ - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - + + - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - + + + - + - - - - - - - - - - - - + + + + + + - - - - - - - - + + + - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + - - - - - - - - + + + + + + + + - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + - - - - - - - - - - - + + + + + + + + - - + + + + + + + + + + - - - - - + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + - - - - - + + + + + + + - - - - - - - - - + + + + + + + + + - - - - - - - + + + + + - - - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + - - - + + + + + + + - + - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - + + + + - - + + + + + + + - - - - + + + + - + - - - - + + + + - + - + - + - - - - - - - - + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -9009,136 +5562,215 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + - - - - + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + @@ -9193,5 +5825,2450 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +