Skip to content

Commit 173ba91

Browse files
NeumimToNeumimTo
committed
syntax changes 4
1 parent 0dcb863 commit 173ba91

3 files changed

Lines changed: 235 additions & 230 deletions

File tree

‎src/main/java/cz/neumimto/nts/nts.interp‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,7 @@ null
3333
null
3434
null
3535
null
36+
null
3637
'.'
3738

3839
token symbolic names:
@@ -69,6 +70,7 @@ FOREACH
6970
IN
7071
FUNCTION
7172
IDENTIFIER
73+
ENUM_IDENTIFIER
7274
INT
7375
DOT
7476

@@ -101,4 +103,4 @@ terminator
101103

102104

103105
atn:
104-
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 36, 256, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 9, 23, 4, 24, 9, 24, 4, 25, 9, 25, 4, 26, 9, 26, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 3, 61, 10, 3, 3, 3, 3, 3, 7, 3, 65, 10, 3, 12, 3, 14, 3, 68, 11, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 5, 4, 76, 10, 4, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 82, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 92, 10, 6, 3, 7, 3, 7, 3, 7, 3, 7, 5, 7, 98, 10, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 5, 10, 113, 10, 10, 3, 11, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 7, 13, 124, 10, 13, 12, 13, 14, 13, 127, 11, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 5, 14, 135, 10, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 150, 10, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 7, 15, 158, 10, 15, 12, 15, 14, 15, 161, 11, 15, 3, 16, 3, 16, 3, 16, 5, 16, 166, 10, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 5, 18, 175, 10, 18, 3, 18, 3, 18, 7, 18, 179, 10, 18, 12, 18, 14, 18, 182, 11, 18, 3, 18, 3, 18, 3, 18, 5, 18, 187, 10, 18, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 21, 3, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 23, 3, 23, 3, 24, 5, 24, 212, 10, 24, 3, 24, 6, 24, 215, 10, 24, 13, 24, 14, 24, 216, 3, 24, 3, 24, 6, 24, 221, 10, 24, 13, 24, 14, 24, 222, 3, 24, 5, 24, 226, 10, 24, 3, 24, 3, 24, 6, 24, 230, 10, 24, 13, 24, 14, 24, 231, 3, 24, 5, 24, 235, 10, 24, 3, 24, 6, 24, 238, 10, 24, 13, 24, 14, 24, 239, 5, 24, 242, 10, 24, 3, 25, 3, 25, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 7, 26, 251, 10, 26, 12, 26, 14, 26, 254, 11, 26, 3, 26, 2, 5, 4, 28, 50, 27, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 2, 7, 3, 2, 24, 27, 3, 2, 22, 23, 3, 2, 18, 19, 3, 2, 16, 17, 3, 2, 14, 15, 2, 272, 2, 52, 3, 2, 2, 2, 4, 60, 3, 2, 2, 2, 6, 75, 3, 2, 2, 2, 8, 81, 3, 2, 2, 2, 10, 91, 3, 2, 2, 2, 12, 97, 3, 2, 2, 2, 14, 99, 3, 2, 2, 2, 16, 101, 3, 2, 2, 2, 18, 107, 3, 2, 2, 2, 20, 114, 3, 2, 2, 2, 22, 118, 3, 2, 2, 2, 24, 121, 3, 2, 2, 2, 26, 134, 3, 2, 2, 2, 28, 149, 3, 2, 2, 2, 30, 165, 3, 2, 2, 2, 32, 167, 3, 2, 2, 2, 34, 171, 3, 2, 2, 2, 36, 188, 3, 2, 2, 2, 38, 194, 3, 2, 2, 2, 40, 202, 3, 2, 2, 2, 42, 206, 3, 2, 2, 2, 44, 208, 3, 2, 2, 2, 46, 241, 3, 2, 2, 2, 48, 243, 3, 2, 2, 2, 50, 245, 3, 2, 2, 2, 52, 53, 5, 4, 3, 2, 53, 54, 7, 2, 2, 3, 54, 3, 3, 2, 2, 2, 55, 56, 8, 3, 1, 2, 56, 57, 5, 6, 4, 2, 57, 58, 5, 50, 26, 2, 58, 61, 3, 2, 2, 2, 59, 61, 5, 50, 26, 2, 60, 55, 3, 2, 2, 2, 60, 59, 3, 2, 2, 2, 61, 66, 3, 2, 2, 2, 62, 63, 12, 4, 2, 2, 63, 65, 5, 50, 26, 2, 64, 62, 3, 2, 2, 2, 65, 68, 3, 2, 2, 2, 66, 64, 3, 2, 2, 2, 66, 67, 3, 2, 2, 2, 67, 5, 3, 2, 2, 2, 68, 66, 3, 2, 2, 2, 69, 76, 5, 20, 11, 2, 70, 76, 5, 16, 9, 2, 71, 76, 5, 22, 12, 2, 72, 76, 5, 36, 19, 2, 73, 76, 5, 38, 20, 2, 74, 76, 5, 34, 18, 2, 75, 69, 3, 2, 2, 2, 75, 70, 3, 2, 2, 2, 75, 71, 3, 2, 2, 2, 75, 72, 3, 2, 2, 2, 75, 73, 3, 2, 2, 2, 75, 74, 3, 2, 2, 2, 76, 7, 3, 2, 2, 2, 77, 82, 5, 34, 18, 2, 78, 82, 5, 48, 25, 2, 79, 82, 5, 14, 8, 2, 80, 82, 5, 10, 6, 2, 81, 77, 3, 2, 2, 2, 81, 78, 3, 2, 2, 2, 81, 79, 3, 2, 2, 2, 81, 80, 3, 2, 2, 2, 82, 9, 3, 2, 2, 2, 83, 84, 5, 12, 7, 2, 84, 85, 9, 2, 2, 2, 85, 86, 5, 12, 7, 2, 86, 92, 3, 2, 2, 2, 87, 88, 5, 12, 7, 2, 88, 89, 9, 3, 2, 2, 89, 90, 5, 12, 7, 2, 90, 92, 3, 2, 2, 2, 91, 83, 3, 2, 2, 2, 91, 87, 3, 2, 2, 2, 92, 11, 3, 2, 2, 2, 93, 98, 5, 48, 25, 2, 94, 98, 5, 46, 24, 2, 95, 98, 5, 14, 8, 2, 96, 98, 5, 34, 18, 2, 97, 93, 3, 2, 2, 2, 97, 94, 3, 2, 2, 2, 97, 95, 3, 2, 2, 2, 97, 96, 3, 2, 2, 2, 98, 13, 3, 2, 2, 2, 99, 100, 7, 34, 2, 2, 100, 15, 3, 2, 2, 2, 101, 102, 5, 14, 8, 2, 102, 103, 7, 36, 2, 2, 103, 104, 7, 34, 2, 2, 104, 105, 7, 11, 2, 2, 105, 106, 5, 28, 15, 2, 106, 17, 3, 2, 2, 2, 107, 108, 5, 14, 8, 2, 108, 109, 7, 36, 2, 2, 109, 112, 7, 34, 2, 2, 110, 111, 7, 3, 2, 2, 111, 113, 7, 34, 2, 2, 112, 110, 3, 2, 2, 2, 112, 113, 3, 2, 2, 2, 113, 19, 3, 2, 2, 2, 114, 115, 7, 34, 2, 2, 115, 116, 7, 11, 2, 2, 116, 117, 5, 26, 14, 2, 117, 21, 3, 2, 2, 2, 118, 119, 7, 13, 2, 2, 119, 120, 5, 28, 15, 2, 120, 23, 3, 2, 2, 2, 121, 125, 7, 33, 2, 2, 122, 124, 5, 14, 8, 2, 123, 122, 3, 2, 2, 2, 124, 127, 3, 2, 2, 2, 125, 123, 3, 2, 2, 2, 125, 126, 3, 2, 2, 2, 126, 128, 3, 2, 2, 2, 127, 125, 3, 2, 2, 2, 128, 129, 5, 50, 26, 2, 129, 130, 5, 4, 3, 2, 130, 131, 7, 30, 2, 2, 131, 25, 3, 2, 2, 2, 132, 135, 5, 28, 15, 2, 133, 135, 5, 24, 13, 2, 134, 132, 3, 2, 2, 2, 134, 133, 3, 2, 2, 2, 135, 27, 3, 2, 2, 2, 136, 137, 8, 15, 1, 2, 137, 150, 5, 44, 23, 2, 138, 150, 5, 46, 24, 2, 139, 140, 7, 4, 2, 2, 140, 141, 5, 28, 15, 2, 141, 142, 7, 5, 2, 2, 142, 150, 3, 2, 2, 2, 143, 150, 5, 34, 18, 2, 144, 150, 5, 32, 17, 2, 145, 150, 5, 48, 25, 2, 146, 150, 5, 14, 8, 2, 147, 150, 5, 10, 6, 2, 148, 150, 5, 18, 10, 2, 149, 136, 3, 2, 2, 2, 149, 138, 3, 2, 2, 2, 149, 139, 3, 2, 2, 2, 149, 143, 3, 2, 2, 2, 149, 144, 3, 2, 2, 2, 149, 145, 3, 2, 2, 2, 149, 146, 3, 2, 2, 2, 149, 147, 3, 2, 2, 2, 149, 148, 3, 2, 2, 2, 150, 159, 3, 2, 2, 2, 151, 152, 12, 11, 2, 2, 152, 153, 9, 4, 2, 2, 153, 158, 5, 28, 15, 12, 154, 155, 12, 10, 2, 2, 155, 156, 9, 5, 2, 2, 156, 158, 5, 28, 15, 11, 157, 151, 3, 2, 2, 2, 157, 154, 3, 2, 2, 2, 158, 161, 3, 2, 2, 2, 159, 157, 3, 2, 2, 2, 159, 160, 3, 2, 2, 2, 160, 29, 3, 2, 2, 2, 161, 159, 3, 2, 2, 2, 162, 166, 3, 2, 2, 2, 163, 166, 5, 34, 18, 2, 164, 166, 5, 14, 8, 2, 165, 162, 3, 2, 2, 2, 165, 163, 3, 2, 2, 2, 165, 164, 3, 2, 2, 2, 166, 31, 3, 2, 2, 2, 167, 168, 7, 34, 2, 2, 168, 169, 7, 36, 2, 2, 169, 170, 7, 34, 2, 2, 170, 33, 3, 2, 2, 2, 171, 172, 7, 34, 2, 2, 172, 174, 7, 4, 2, 2, 173, 175, 5, 40, 21, 2, 174, 173, 3, 2, 2, 2, 174, 175, 3, 2, 2, 2, 175, 180, 3, 2, 2, 2, 176, 177, 7, 6, 2, 2, 177, 179, 5, 40, 21, 2, 178, 176, 3, 2, 2, 2, 179, 182, 3, 2, 2, 2, 180, 178, 3, 2, 2, 2, 180, 181, 3, 2, 2, 2, 181, 183, 3, 2, 2, 2, 182, 180, 3, 2, 2, 2, 183, 186, 7, 5, 2, 2, 184, 185, 7, 3, 2, 2, 185, 187, 7, 34, 2, 2, 186, 184, 3, 2, 2, 2, 186, 187, 3, 2, 2, 2, 187, 35, 3, 2, 2, 2, 188, 189, 7, 28, 2, 2, 189, 190, 5, 8, 5, 2, 190, 191, 5, 50, 26, 2, 191, 192, 5, 4, 3, 2, 192, 193, 7, 30, 2, 2, 193, 37, 3, 2, 2, 2, 194, 195, 7, 31, 2, 2, 195, 196, 5, 14, 8, 2, 196, 197, 7, 32, 2, 2, 197, 198, 5, 30, 16, 2, 198, 199, 5, 50, 26, 2, 199, 200, 5, 4, 3, 2, 200, 201, 7, 30, 2, 2, 201, 39, 3, 2, 2, 2, 202, 203, 7, 34, 2, 2, 203, 204, 7, 7, 2, 2, 204, 205, 5, 28, 15, 2, 205, 41, 3, 2, 2, 2, 206, 207, 7, 12, 2, 2, 207, 43, 3, 2, 2, 2, 208, 209, 7, 8, 2, 2, 209, 45, 3, 2, 2, 2, 210, 212, 7, 17, 2, 2, 211, 210, 3, 2, 2, 2, 211, 212, 3, 2, 2, 2, 212, 214, 3, 2, 2, 2, 213, 215, 7, 35, 2, 2, 214, 213, 3, 2, 2, 2, 215, 216, 3, 2, 2, 2, 216, 214, 3, 2, 2, 2, 216, 217, 3, 2, 2, 2, 217, 218, 3, 2, 2, 2, 218, 220, 7, 36, 2, 2, 219, 221, 7, 35, 2, 2, 220, 219, 3, 2, 2, 2, 221, 222, 3, 2, 2, 2, 222, 220, 3, 2, 2, 2, 222, 223, 3, 2, 2, 2, 223, 242, 3, 2, 2, 2, 224, 226, 7, 17, 2, 2, 225, 224, 3, 2, 2, 2, 225, 226, 3, 2, 2, 2, 226, 227, 3, 2, 2, 2, 227, 229, 7, 36, 2, 2, 228, 230, 7, 35, 2, 2, 229, 228, 3, 2, 2, 2, 230, 231, 3, 2, 2, 2, 231, 229, 3, 2, 2, 2, 231, 232, 3, 2, 2, 2, 232, 242, 3, 2, 2, 2, 233, 235, 7, 17, 2, 2, 234, 233, 3, 2, 2, 2, 234, 235, 3, 2, 2, 2, 235, 237, 3, 2, 2, 2, 236, 238, 7, 35, 2, 2, 237, 236, 3, 2, 2, 2, 238, 239, 3, 2, 2, 2, 239, 237, 3, 2, 2, 2, 239, 240, 3, 2, 2, 2, 240, 242, 3, 2, 2, 2, 241, 211, 3, 2, 2, 2, 241, 225, 3, 2, 2, 2, 241, 234, 3, 2, 2, 2, 242, 47, 3, 2, 2, 2, 243, 244, 9, 6, 2, 2, 244, 49, 3, 2, 2, 2, 245, 246, 8, 26, 1, 2, 246, 247, 5, 42, 22, 2, 247, 252, 3, 2, 2, 2, 248, 249, 12, 4, 2, 2, 249, 251, 5, 42, 22, 2, 250, 248, 3, 2, 2, 2, 251, 254, 3, 2, 2, 2, 252, 250, 3, 2, 2, 2, 252, 253, 3, 2, 2, 2, 253, 51, 3, 2, 2, 2, 254, 252, 3, 2, 2, 2, 27, 60, 66, 75, 81, 91, 97, 112, 125, 134, 149, 157, 159, 165, 174, 180, 186, 211, 216, 222, 225, 231, 234, 239, 241, 252]
106+
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 37, 258, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 9, 23, 4, 24, 9, 24, 4, 25, 9, 25, 4, 26, 9, 26, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 3, 61, 10, 3, 3, 3, 3, 3, 3, 3, 3, 3, 7, 3, 67, 10, 3, 12, 3, 14, 3, 70, 11, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 5, 4, 78, 10, 4, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 84, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 94, 10, 6, 3, 7, 3, 7, 3, 7, 3, 7, 5, 7, 100, 10, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 5, 10, 115, 10, 10, 3, 11, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 7, 13, 126, 10, 13, 12, 13, 14, 13, 129, 11, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 5, 14, 137, 10, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 152, 10, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 7, 15, 160, 10, 15, 12, 15, 14, 15, 163, 11, 15, 3, 16, 3, 16, 3, 16, 5, 16, 168, 10, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 5, 18, 177, 10, 18, 3, 18, 3, 18, 7, 18, 181, 10, 18, 12, 18, 14, 18, 184, 11, 18, 3, 18, 3, 18, 3, 18, 5, 18, 189, 10, 18, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 21, 3, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 23, 3, 23, 3, 24, 5, 24, 214, 10, 24, 3, 24, 6, 24, 217, 10, 24, 13, 24, 14, 24, 218, 3, 24, 3, 24, 6, 24, 223, 10, 24, 13, 24, 14, 24, 224, 3, 24, 5, 24, 228, 10, 24, 3, 24, 3, 24, 6, 24, 232, 10, 24, 13, 24, 14, 24, 233, 3, 24, 5, 24, 237, 10, 24, 3, 24, 6, 24, 240, 10, 24, 13, 24, 14, 24, 241, 5, 24, 244, 10, 24, 3, 25, 3, 25, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 7, 26, 253, 10, 26, 12, 26, 14, 26, 256, 11, 26, 3, 26, 2, 5, 4, 28, 50, 27, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 2, 7, 3, 2, 24, 27, 3, 2, 22, 23, 3, 2, 18, 19, 3, 2, 16, 17, 3, 2, 14, 15, 2, 274, 2, 52, 3, 2, 2, 2, 4, 60, 3, 2, 2, 2, 6, 77, 3, 2, 2, 2, 8, 83, 3, 2, 2, 2, 10, 93, 3, 2, 2, 2, 12, 99, 3, 2, 2, 2, 14, 101, 3, 2, 2, 2, 16, 103, 3, 2, 2, 2, 18, 109, 3, 2, 2, 2, 20, 116, 3, 2, 2, 2, 22, 120, 3, 2, 2, 2, 24, 123, 3, 2, 2, 2, 26, 136, 3, 2, 2, 2, 28, 151, 3, 2, 2, 2, 30, 167, 3, 2, 2, 2, 32, 169, 3, 2, 2, 2, 34, 173, 3, 2, 2, 2, 36, 190, 3, 2, 2, 2, 38, 196, 3, 2, 2, 2, 40, 204, 3, 2, 2, 2, 42, 208, 3, 2, 2, 2, 44, 210, 3, 2, 2, 2, 46, 243, 3, 2, 2, 2, 48, 245, 3, 2, 2, 2, 50, 247, 3, 2, 2, 2, 52, 53, 5, 4, 3, 2, 53, 54, 7, 2, 2, 3, 54, 3, 3, 2, 2, 2, 55, 56, 8, 3, 1, 2, 56, 57, 5, 6, 4, 2, 57, 58, 5, 50, 26, 2, 58, 61, 3, 2, 2, 2, 59, 61, 5, 50, 26, 2, 60, 55, 3, 2, 2, 2, 60, 59, 3, 2, 2, 2, 61, 68, 3, 2, 2, 2, 62, 63, 12, 4, 2, 2, 63, 64, 5, 6, 4, 2, 64, 65, 5, 50, 26, 2, 65, 67, 3, 2, 2, 2, 66, 62, 3, 2, 2, 2, 67, 70, 3, 2, 2, 2, 68, 66, 3, 2, 2, 2, 68, 69, 3, 2, 2, 2, 69, 5, 3, 2, 2, 2, 70, 68, 3, 2, 2, 2, 71, 78, 5, 20, 11, 2, 72, 78, 5, 16, 9, 2, 73, 78, 5, 22, 12, 2, 74, 78, 5, 36, 19, 2, 75, 78, 5, 38, 20, 2, 76, 78, 5, 34, 18, 2, 77, 71, 3, 2, 2, 2, 77, 72, 3, 2, 2, 2, 77, 73, 3, 2, 2, 2, 77, 74, 3, 2, 2, 2, 77, 75, 3, 2, 2, 2, 77, 76, 3, 2, 2, 2, 78, 7, 3, 2, 2, 2, 79, 84, 5, 34, 18, 2, 80, 84, 5, 48, 25, 2, 81, 84, 5, 14, 8, 2, 82, 84, 5, 10, 6, 2, 83, 79, 3, 2, 2, 2, 83, 80, 3, 2, 2, 2, 83, 81, 3, 2, 2, 2, 83, 82, 3, 2, 2, 2, 84, 9, 3, 2, 2, 2, 85, 86, 5, 12, 7, 2, 86, 87, 9, 2, 2, 2, 87, 88, 5, 12, 7, 2, 88, 94, 3, 2, 2, 2, 89, 90, 5, 12, 7, 2, 90, 91, 9, 3, 2, 2, 91, 92, 5, 12, 7, 2, 92, 94, 3, 2, 2, 2, 93, 85, 3, 2, 2, 2, 93, 89, 3, 2, 2, 2, 94, 11, 3, 2, 2, 2, 95, 100, 5, 48, 25, 2, 96, 100, 5, 46, 24, 2, 97, 100, 5, 14, 8, 2, 98, 100, 5, 34, 18, 2, 99, 95, 3, 2, 2, 2, 99, 96, 3, 2, 2, 2, 99, 97, 3, 2, 2, 2, 99, 98, 3, 2, 2, 2, 100, 13, 3, 2, 2, 2, 101, 102, 7, 34, 2, 2, 102, 15, 3, 2, 2, 2, 103, 104, 5, 14, 8, 2, 104, 105, 7, 37, 2, 2, 105, 106, 7, 34, 2, 2, 106, 107, 7, 11, 2, 2, 107, 108, 5, 28, 15, 2, 108, 17, 3, 2, 2, 2, 109, 110, 5, 14, 8, 2, 110, 111, 7, 37, 2, 2, 111, 114, 7, 34, 2, 2, 112, 113, 7, 3, 2, 2, 113, 115, 7, 34, 2, 2, 114, 112, 3, 2, 2, 2, 114, 115, 3, 2, 2, 2, 115, 19, 3, 2, 2, 2, 116, 117, 7, 34, 2, 2, 117, 118, 7, 11, 2, 2, 118, 119, 5, 26, 14, 2, 119, 21, 3, 2, 2, 2, 120, 121, 7, 13, 2, 2, 121, 122, 5, 28, 15, 2, 122, 23, 3, 2, 2, 2, 123, 127, 7, 33, 2, 2, 124, 126, 5, 14, 8, 2, 125, 124, 3, 2, 2, 2, 126, 129, 3, 2, 2, 2, 127, 125, 3, 2, 2, 2, 127, 128, 3, 2, 2, 2, 128, 130, 3, 2, 2, 2, 129, 127, 3, 2, 2, 2, 130, 131, 5, 50, 26, 2, 131, 132, 5, 4, 3, 2, 132, 133, 7, 30, 2, 2, 133, 25, 3, 2, 2, 2, 134, 137, 5, 28, 15, 2, 135, 137, 5, 24, 13, 2, 136, 134, 3, 2, 2, 2, 136, 135, 3, 2, 2, 2, 137, 27, 3, 2, 2, 2, 138, 139, 8, 15, 1, 2, 139, 152, 5, 44, 23, 2, 140, 152, 5, 46, 24, 2, 141, 142, 7, 4, 2, 2, 142, 143, 5, 28, 15, 2, 143, 144, 7, 5, 2, 2, 144, 152, 3, 2, 2, 2, 145, 152, 5, 34, 18, 2, 146, 152, 5, 32, 17, 2, 147, 152, 5, 48, 25, 2, 148, 152, 5, 14, 8, 2, 149, 152, 5, 10, 6, 2, 150, 152, 5, 18, 10, 2, 151, 138, 3, 2, 2, 2, 151, 140, 3, 2, 2, 2, 151, 141, 3, 2, 2, 2, 151, 145, 3, 2, 2, 2, 151, 146, 3, 2, 2, 2, 151, 147, 3, 2, 2, 2, 151, 148, 3, 2, 2, 2, 151, 149, 3, 2, 2, 2, 151, 150, 3, 2, 2, 2, 152, 161, 3, 2, 2, 2, 153, 154, 12, 11, 2, 2, 154, 155, 9, 4, 2, 2, 155, 160, 5, 28, 15, 12, 156, 157, 12, 10, 2, 2, 157, 158, 9, 5, 2, 2, 158, 160, 5, 28, 15, 11, 159, 153, 3, 2, 2, 2, 159, 156, 3, 2, 2, 2, 160, 163, 3, 2, 2, 2, 161, 159, 3, 2, 2, 2, 161, 162, 3, 2, 2, 2, 162, 29, 3, 2, 2, 2, 163, 161, 3, 2, 2, 2, 164, 168, 3, 2, 2, 2, 165, 168, 5, 34, 18, 2, 166, 168, 5, 14, 8, 2, 167, 164, 3, 2, 2, 2, 167, 165, 3, 2, 2, 2, 167, 166, 3, 2, 2, 2, 168, 31, 3, 2, 2, 2, 169, 170, 7, 34, 2, 2, 170, 171, 7, 37, 2, 2, 171, 172, 7, 34, 2, 2, 172, 33, 3, 2, 2, 2, 173, 174, 7, 34, 2, 2, 174, 176, 7, 4, 2, 2, 175, 177, 5, 40, 21, 2, 176, 175, 3, 2, 2, 2, 176, 177, 3, 2, 2, 2, 177, 182, 3, 2, 2, 2, 178, 179, 7, 6, 2, 2, 179, 181, 5, 40, 21, 2, 180, 178, 3, 2, 2, 2, 181, 184, 3, 2, 2, 2, 182, 180, 3, 2, 2, 2, 182, 183, 3, 2, 2, 2, 183, 185, 3, 2, 2, 2, 184, 182, 3, 2, 2, 2, 185, 188, 7, 5, 2, 2, 186, 187, 7, 3, 2, 2, 187, 189, 7, 34, 2, 2, 188, 186, 3, 2, 2, 2, 188, 189, 3, 2, 2, 2, 189, 35, 3, 2, 2, 2, 190, 191, 7, 28, 2, 2, 191, 192, 5, 8, 5, 2, 192, 193, 5, 50, 26, 2, 193, 194, 5, 4, 3, 2, 194, 195, 7, 30, 2, 2, 195, 37, 3, 2, 2, 2, 196, 197, 7, 31, 2, 2, 197, 198, 5, 14, 8, 2, 198, 199, 7, 32, 2, 2, 199, 200, 5, 30, 16, 2, 200, 201, 5, 50, 26, 2, 201, 202, 5, 4, 3, 2, 202, 203, 7, 30, 2, 2, 203, 39, 3, 2, 2, 2, 204, 205, 7, 34, 2, 2, 205, 206, 7, 7, 2, 2, 206, 207, 5, 28, 15, 2, 207, 41, 3, 2, 2, 2, 208, 209, 7, 12, 2, 2, 209, 43, 3, 2, 2, 2, 210, 211, 7, 8, 2, 2, 211, 45, 3, 2, 2, 2, 212, 214, 7, 17, 2, 2, 213, 212, 3, 2, 2, 2, 213, 214, 3, 2, 2, 2, 214, 216, 3, 2, 2, 2, 215, 217, 7, 36, 2, 2, 216, 215, 3, 2, 2, 2, 217, 218, 3, 2, 2, 2, 218, 216, 3, 2, 2, 2, 218, 219, 3, 2, 2, 2, 219, 220, 3, 2, 2, 2, 220, 222, 7, 37, 2, 2, 221, 223, 7, 36, 2, 2, 222, 221, 3, 2, 2, 2, 223, 224, 3, 2, 2, 2, 224, 222, 3, 2, 2, 2, 224, 225, 3, 2, 2, 2, 225, 244, 3, 2, 2, 2, 226, 228, 7, 17, 2, 2, 227, 226, 3, 2, 2, 2, 227, 228, 3, 2, 2, 2, 228, 229, 3, 2, 2, 2, 229, 231, 7, 37, 2, 2, 230, 232, 7, 36, 2, 2, 231, 230, 3, 2, 2, 2, 232, 233, 3, 2, 2, 2, 233, 231, 3, 2, 2, 2, 233, 234, 3, 2, 2, 2, 234, 244, 3, 2, 2, 2, 235, 237, 7, 17, 2, 2, 236, 235, 3, 2, 2, 2, 236, 237, 3, 2, 2, 2, 237, 239, 3, 2, 2, 2, 238, 240, 7, 36, 2, 2, 239, 238, 3, 2, 2, 2, 240, 241, 3, 2, 2, 2, 241, 239, 3, 2, 2, 2, 241, 242, 3, 2, 2, 2, 242, 244, 3, 2, 2, 2, 243, 213, 3, 2, 2, 2, 243, 227, 3, 2, 2, 2, 243, 236, 3, 2, 2, 2, 244, 47, 3, 2, 2, 2, 245, 246, 9, 6, 2, 2, 246, 49, 3, 2, 2, 2, 247, 248, 8, 26, 1, 2, 248, 249, 5, 42, 22, 2, 249, 254, 3, 2, 2, 2, 250, 251, 12, 4, 2, 2, 251, 253, 5, 42, 22, 2, 252, 250, 3, 2, 2, 2, 253, 256, 3, 2, 2, 2, 254, 252, 3, 2, 2, 2, 254, 255, 3, 2, 2, 2, 255, 51, 3, 2, 2, 2, 256, 254, 3, 2, 2, 2, 27, 60, 68, 77, 83, 93, 99, 114, 127, 136, 151, 159, 161, 167, 176, 182, 188, 213, 218, 224, 227, 233, 236, 241, 243, 254]

0 commit comments

Comments
 (0)