Skip to content

Commit 4e0b4dd

Browse files
fionafibrationfionafibration
committed
Add better number literals
1 parent b3e684f commit 4e0b4dd

File tree

7 files changed

+212
-226
lines changed

7 files changed

+212
-226
lines changed

‎OwOScriptGrammar/OwOScript.g4‎

Lines changed: 18 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ grammar OwOScript;
33
/*
44
This is the grammar for the OwOScript pseudocode,
55
before it is compiled into OwO format.
6-
6+
77
Parser rules
88
*/
99

@@ -28,7 +28,7 @@ number : ('literal' | 'lit' | 'l') SINGLE_HEX_DIGIT;
2828

2929
bignumber : 'number' integer;
3030

31-
integer : ('+' | '-')? NUMBER;
31+
integer : NUMBER;
3232

3333
command : IDENTIFIER;
3434

@@ -52,17 +52,27 @@ HASH_COMMENT : '#' ~[\r\n]* -> skip;
5252

5353
WS : [ \n\t\r]+ -> channel(HIDDEN);
5454

55-
fragment SEMICOLON : ';';
56-
5755
SINGLE_HEX_DIGIT : '0' .. '9'
5856
| 'a' .. 'f'
5957
| 'A' .. 'F'
6058
;
6159

62-
NUMBER : ('0' .. '9') + (('e' | 'E') NUMBER)*;
63-
64-
LETTER : 'a' .. 'z'
65-
| 'A' .. 'Z'
60+
NUMBER : DECIMAL_INTEGER
61+
| EXPONENT_INTEGER
6662
;
6763

64+
fragment DIGIT : [0-9];
65+
66+
fragment NON_ZERO_DIGIT : [1-9];
67+
68+
DECIMAL_INTEGER : ('+' | '-')? NON_ZERO_DIGIT DIGIT*
69+
| '0'+
70+
;
71+
72+
fragment EXPONENT : [eE] DECIMAL_INTEGER;
73+
74+
fragment EXPONENT_INTEGER : DECIMAL_INTEGER EXPONENT;
75+
76+
fragment LETTER : [a-zA-Z];
77+
6878
IDENTIFIER : LETTER+;

‎OwOScriptGrammar/OwOScript.interp‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ null
55
'lit'
66
'l'
77
'number'
8-
'+'
9-
'-'
108
'()'
119
'func'
1210
'{'
@@ -37,15 +35,13 @@ null
3735
null
3836
null
3937
null
40-
null
41-
null
4238
COMMENT
4339
LINE_COMMENT
4440
HASH_COMMENT
4541
WS
4642
SINGLE_HEX_DIGIT
4743
NUMBER
48-
LETTER
44+
DECIMAL_INTEGER
4945
IDENTIFIER
5046

5147
rule names:
@@ -65,4 +61,4 @@ whileloop
6561

6662

6763
atn:
68-
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 24, 94, 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, 3, 2, 3, 2, 3, 2, 3, 2, 3, 3, 7, 3, 34, 10, 3, 12, 3, 14, 3, 37, 11, 3, 3, 4, 7, 4, 40, 10, 4, 12, 4, 14, 4, 43, 11, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 50, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 56, 10, 6, 3, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 9, 5, 9, 65, 10, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 2, 2, 15, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 2, 4, 3, 2, 4, 6, 3, 2, 8, 9, 2, 88, 2, 28, 3, 2, 2, 2, 4, 35, 3, 2, 2, 2, 6, 41, 3, 2, 2, 2, 8, 49, 3, 2, 2, 2, 10, 55, 3, 2, 2, 2, 12, 57, 3, 2, 2, 2, 14, 60, 3, 2, 2, 2, 16, 64, 3, 2, 2, 2, 18, 68, 3, 2, 2, 2, 20, 70, 3, 2, 2, 2, 22, 73, 3, 2, 2, 2, 24, 79, 3, 2, 2, 2, 26, 88, 3, 2, 2, 2, 28, 29, 5, 6, 4, 2, 29, 30, 5, 4, 3, 2, 30, 31, 7, 2, 2, 3, 31, 3, 3, 2, 2, 2, 32, 34, 5, 8, 5, 2, 33, 32, 3, 2, 2, 2, 34, 37, 3, 2, 2, 2, 35, 33, 3, 2, 2, 2, 35, 36, 3, 2, 2, 2, 36, 5, 3, 2, 2, 2, 37, 35, 3, 2, 2, 2, 38, 40, 5, 22, 12, 2, 39, 38, 3, 2, 2, 2, 40, 43, 3, 2, 2, 2, 41, 39, 3, 2, 2, 2, 41, 42, 3, 2, 2, 2, 42, 7, 3, 2, 2, 2, 43, 41, 3, 2, 2, 2, 44, 45, 5, 10, 6, 2, 45, 46, 7, 3, 2, 2, 46, 50, 3, 2, 2, 2, 47, 50, 5, 24, 13, 2, 48, 50, 5, 26, 14, 2, 49, 44, 3, 2, 2, 2, 49, 47, 3, 2, 2, 2, 49, 48, 3, 2, 2, 2, 50, 9, 3, 2, 2, 2, 51, 56, 5, 12, 7, 2, 52, 56, 5, 14, 8, 2, 53, 56, 5, 18, 10, 2, 54, 56, 5, 20, 11, 2, 55, 51, 3, 2, 2, 2, 55, 52, 3, 2, 2, 2, 55, 53, 3, 2, 2, 2, 55, 54, 3, 2, 2, 2, 56, 11, 3, 2, 2, 2, 57, 58, 9, 2, 2, 2, 58, 59, 7, 21, 2, 2, 59, 13, 3, 2, 2, 2, 60, 61, 7, 7, 2, 2, 61, 62, 5, 16, 9, 2, 62, 15, 3, 2, 2, 2, 63, 65, 9, 3, 2, 2, 64, 63, 3, 2, 2, 2, 64, 65, 3, 2, 2, 2, 65, 66, 3, 2, 2, 2, 66, 67, 7, 22, 2, 2, 67, 17, 3, 2, 2, 2, 68, 69, 7, 24, 2, 2, 69, 19, 3, 2, 2, 2, 70, 71, 7, 24, 2, 2, 71, 72, 7, 10, 2, 2, 72, 21, 3, 2, 2, 2, 73, 74, 7, 11, 2, 2, 74, 75, 7, 24, 2, 2, 75, 76, 7, 12, 2, 2, 76, 77, 5, 4, 3, 2, 77, 78, 7, 13, 2, 2, 78, 23, 3, 2, 2, 2, 79, 80, 7, 14, 2, 2, 80, 81, 7, 12, 2, 2, 81, 82, 5, 4, 3, 2, 82, 83, 7, 13, 2, 2, 83, 84, 7, 15, 2, 2, 84, 85, 7, 12, 2, 2, 85, 86, 5, 4, 3, 2, 86, 87, 7, 13, 2, 2, 87, 25, 3, 2, 2, 2, 88, 89, 7, 16, 2, 2, 89, 90, 7, 12, 2, 2, 90, 91, 5, 4, 3, 2, 91, 92, 7, 13, 2, 2, 92, 27, 3, 2, 2, 2, 7, 35, 41, 49, 55, 64]
64+
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 22, 91, 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, 3, 2, 3, 2, 3, 2, 3, 2, 3, 3, 7, 3, 34, 10, 3, 12, 3, 14, 3, 37, 11, 3, 3, 4, 7, 4, 40, 10, 4, 12, 4, 14, 4, 43, 11, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 50, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 56, 10, 6, 3, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 2, 2, 15, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 2, 3, 3, 2, 4, 6, 2, 84, 2, 28, 3, 2, 2, 2, 4, 35, 3, 2, 2, 2, 6, 41, 3, 2, 2, 2, 8, 49, 3, 2, 2, 2, 10, 55, 3, 2, 2, 2, 12, 57, 3, 2, 2, 2, 14, 60, 3, 2, 2, 2, 16, 63, 3, 2, 2, 2, 18, 65, 3, 2, 2, 2, 20, 67, 3, 2, 2, 2, 22, 70, 3, 2, 2, 2, 24, 76, 3, 2, 2, 2, 26, 85, 3, 2, 2, 2, 28, 29, 5, 6, 4, 2, 29, 30, 5, 4, 3, 2, 30, 31, 7, 2, 2, 3, 31, 3, 3, 2, 2, 2, 32, 34, 5, 8, 5, 2, 33, 32, 3, 2, 2, 2, 34, 37, 3, 2, 2, 2, 35, 33, 3, 2, 2, 2, 35, 36, 3, 2, 2, 2, 36, 5, 3, 2, 2, 2, 37, 35, 3, 2, 2, 2, 38, 40, 5, 22, 12, 2, 39, 38, 3, 2, 2, 2, 40, 43, 3, 2, 2, 2, 41, 39, 3, 2, 2, 2, 41, 42, 3, 2, 2, 2, 42, 7, 3, 2, 2, 2, 43, 41, 3, 2, 2, 2, 44, 45, 5, 10, 6, 2, 45, 46, 7, 3, 2, 2, 46, 50, 3, 2, 2, 2, 47, 50, 5, 24, 13, 2, 48, 50, 5, 26, 14, 2, 49, 44, 3, 2, 2, 2, 49, 47, 3, 2, 2, 2, 49, 48, 3, 2, 2, 2, 50, 9, 3, 2, 2, 2, 51, 56, 5, 12, 7, 2, 52, 56, 5, 14, 8, 2, 53, 56, 5, 18, 10, 2, 54, 56, 5, 20, 11, 2, 55, 51, 3, 2, 2, 2, 55, 52, 3, 2, 2, 2, 55, 53, 3, 2, 2, 2, 55, 54, 3, 2, 2, 2, 56, 11, 3, 2, 2, 2, 57, 58, 9, 2, 2, 2, 58, 59, 7, 19, 2, 2, 59, 13, 3, 2, 2, 2, 60, 61, 7, 7, 2, 2, 61, 62, 5, 16, 9, 2, 62, 15, 3, 2, 2, 2, 63, 64, 7, 20, 2, 2, 64, 17, 3, 2, 2, 2, 65, 66, 7, 22, 2, 2, 66, 19, 3, 2, 2, 2, 67, 68, 7, 22, 2, 2, 68, 69, 7, 8, 2, 2, 69, 21, 3, 2, 2, 2, 70, 71, 7, 9, 2, 2, 71, 72, 7, 22, 2, 2, 72, 73, 7, 10, 2, 2, 73, 74, 5, 4, 3, 2, 74, 75, 7, 11, 2, 2, 75, 23, 3, 2, 2, 2, 76, 77, 7, 12, 2, 2, 77, 78, 7, 10, 2, 2, 78, 79, 5, 4, 3, 2, 79, 80, 7, 11, 2, 2, 80, 81, 7, 13, 2, 2, 81, 82, 7, 10, 2, 2, 82, 83, 5, 4, 3, 2, 83, 84, 7, 11, 2, 2, 84, 25, 3, 2, 2, 2, 85, 86, 7, 14, 2, 2, 86, 87, 7, 10, 2, 2, 87, 88, 5, 4, 3, 2, 88, 89, 7, 11, 2, 2, 89, 27, 3, 2, 2, 2, 6, 35, 41, 49, 55]

‎OwOScriptGrammar/OwOScript.tokens‎

Lines changed: 15 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -10,27 +10,23 @@ T__8=9
1010
T__9=10
1111
T__10=11
1212
T__11=12
13-
T__12=13
14-
T__13=14
15-
COMMENT=15
16-
LINE_COMMENT=16
17-
HASH_COMMENT=17
18-
WS=18
19-
SINGLE_HEX_DIGIT=19
20-
NUMBER=20
21-
LETTER=21
22-
IDENTIFIER=22
13+
COMMENT=13
14+
LINE_COMMENT=14
15+
HASH_COMMENT=15
16+
WS=16
17+
SINGLE_HEX_DIGIT=17
18+
NUMBER=18
19+
DECIMAL_INTEGER=19
20+
IDENTIFIER=20
2321
';'=1
2422
'literal'=2
2523
'lit'=3
2624
'l'=4
2725
'number'=5
28-
'+'=6
29-
'-'=7
30-
'()'=8
31-
'func'=9
32-
'{'=10
33-
'}'=11
34-
'if'=12
35-
'else'=13
36-
'while'=14
26+
'()'=6
27+
'func'=7
28+
'{'=8
29+
'}'=9
30+
'if'=10
31+
'else'=11
32+
'while'=12

‎OwOScriptGrammar/OwOScriptLexer.interp‎

Lines changed: 7 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@ null
55
'lit'
66
'l'
77
'number'
8-
'+'
9-
'-'
108
'()'
119
'func'
1210
'{'
@@ -37,15 +35,13 @@ null
3735
null
3836
null
3937
null
40-
null
41-
null
4238
COMMENT
4339
LINE_COMMENT
4440
HASH_COMMENT
4541
WS
4642
SINGLE_HEX_DIGIT
4743
NUMBER
48-
LETTER
44+
DECIMAL_INTEGER
4945
IDENTIFIER
5046

5147
rule names:
@@ -61,15 +57,17 @@ T__8
6157
T__9
6258
T__10
6359
T__11
64-
T__12
65-
T__13
6660
COMMENT
6761
LINE_COMMENT
6862
HASH_COMMENT
6963
WS
70-
SEMICOLON
7164
SINGLE_HEX_DIGIT
7265
NUMBER
66+
DIGIT
67+
NON_ZERO_DIGIT
68+
DECIMAL_INTEGER
69+
EXPONENT
70+
EXPONENT_INTEGER
7371
LETTER
7472
IDENTIFIER
7573

@@ -81,4 +79,4 @@ mode names:
8179
DEFAULT_MODE
8280

8381
atn:
84-
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 2, 24, 166, 8, 1, 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, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 3, 16, 7, 16, 107, 10, 16, 12, 16, 14, 16, 110, 11, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 17, 7, 17, 121, 10, 17, 12, 17, 14, 17, 124, 11, 17, 3, 17, 3, 17, 3, 18, 3, 18, 7, 18, 130, 10, 18, 12, 18, 14, 18, 133, 11, 18, 3, 18, 3, 18, 3, 19, 6, 19, 138, 10, 19, 13, 19, 14, 19, 139, 3, 19, 3, 19, 3, 20, 3, 20, 3, 21, 3, 21, 3, 22, 6, 22, 149, 10, 22, 13, 22, 14, 22, 150, 3, 22, 3, 22, 7, 22, 155, 10, 22, 12, 22, 14, 22, 158, 11, 22, 3, 23, 3, 23, 3, 24, 6, 24, 163, 10, 24, 13, 24, 14, 24, 164, 3, 108, 2, 25, 3, 3, 5, 4, 7, 5, 9, 6, 11, 7, 13, 8, 15, 9, 17, 10, 19, 11, 21, 12, 23, 13, 25, 14, 27, 15, 29, 16, 31, 17, 33, 18, 35, 19, 37, 20, 39, 2, 41, 21, 43, 22, 45, 23, 47, 24, 3, 2, 7, 4, 2, 12, 12, 15, 15, 5, 2, 11, 12, 15, 15, 34, 34, 5, 2, 50, 59, 67, 72, 99, 104, 4, 2, 71, 71, 103, 103, 4, 2, 67, 92, 99, 124, 2, 171, 2, 3, 3, 2, 2, 2, 2, 5, 3, 2, 2, 2, 2, 7, 3, 2, 2, 2, 2, 9, 3, 2, 2, 2, 2, 11, 3, 2, 2, 2, 2, 13, 3, 2, 2, 2, 2, 15, 3, 2, 2, 2, 2, 17, 3, 2, 2, 2, 2, 19, 3, 2, 2, 2, 2, 21, 3, 2, 2, 2, 2, 23, 3, 2, 2, 2, 2, 25, 3, 2, 2, 2, 2, 27, 3, 2, 2, 2, 2, 29, 3, 2, 2, 2, 2, 31, 3, 2, 2, 2, 2, 33, 3, 2, 2, 2, 2, 35, 3, 2, 2, 2, 2, 37, 3, 2, 2, 2, 2, 41, 3, 2, 2, 2, 2, 43, 3, 2, 2, 2, 2, 45, 3, 2, 2, 2, 2, 47, 3, 2, 2, 2, 3, 49, 3, 2, 2, 2, 5, 51, 3, 2, 2, 2, 7, 59, 3, 2, 2, 2, 9, 63, 3, 2, 2, 2, 11, 65, 3, 2, 2, 2, 13, 72, 3, 2, 2, 2, 15, 74, 3, 2, 2, 2, 17, 76, 3, 2, 2, 2, 19, 79, 3, 2, 2, 2, 21, 84, 3, 2, 2, 2, 23, 86, 3, 2, 2, 2, 25, 88, 3, 2, 2, 2, 27, 91, 3, 2, 2, 2, 29, 96, 3, 2, 2, 2, 31, 102, 3, 2, 2, 2, 33, 116, 3, 2, 2, 2, 35, 127, 3, 2, 2, 2, 37, 137, 3, 2, 2, 2, 39, 143, 3, 2, 2, 2, 41, 145, 3, 2, 2, 2, 43, 148, 3, 2, 2, 2, 45, 159, 3, 2, 2, 2, 47, 162, 3, 2, 2, 2, 49, 50, 7, 61, 2, 2, 50, 4, 3, 2, 2, 2, 51, 52, 7, 110, 2, 2, 52, 53, 7, 107, 2, 2, 53, 54, 7, 118, 2, 2, 54, 55, 7, 103, 2, 2, 55, 56, 7, 116, 2, 2, 56, 57, 7, 99, 2, 2, 57, 58, 7, 110, 2, 2, 58, 6, 3, 2, 2, 2, 59, 60, 7, 110, 2, 2, 60, 61, 7, 107, 2, 2, 61, 62, 7, 118, 2, 2, 62, 8, 3, 2, 2, 2, 63, 64, 7, 110, 2, 2, 64, 10, 3, 2, 2, 2, 65, 66, 7, 112, 2, 2, 66, 67, 7, 119, 2, 2, 67, 68, 7, 111, 2, 2, 68, 69, 7, 100, 2, 2, 69, 70, 7, 103, 2, 2, 70, 71, 7, 116, 2, 2, 71, 12, 3, 2, 2, 2, 72, 73, 7, 45, 2, 2, 73, 14, 3, 2, 2, 2, 74, 75, 7, 47, 2, 2, 75, 16, 3, 2, 2, 2, 76, 77, 7, 42, 2, 2, 77, 78, 7, 43, 2, 2, 78, 18, 3, 2, 2, 2, 79, 80, 7, 104, 2, 2, 80, 81, 7, 119, 2, 2, 81, 82, 7, 112, 2, 2, 82, 83, 7, 101, 2, 2, 83, 20, 3, 2, 2, 2, 84, 85, 7, 125, 2, 2, 85, 22, 3, 2, 2, 2, 86, 87, 7, 127, 2, 2, 87, 24, 3, 2, 2, 2, 88, 89, 7, 107, 2, 2, 89, 90, 7, 104, 2, 2, 90, 26, 3, 2, 2, 2, 91, 92, 7, 103, 2, 2, 92, 93, 7, 110, 2, 2, 93, 94, 7, 117, 2, 2, 94, 95, 7, 103, 2, 2, 95, 28, 3, 2, 2, 2, 96, 97, 7, 121, 2, 2, 97, 98, 7, 106, 2, 2, 98, 99, 7, 107, 2, 2, 99, 100, 7, 110, 2, 2, 100, 101, 7, 103, 2, 2, 101, 30, 3, 2, 2, 2, 102, 103, 7, 49, 2, 2, 103, 104, 7, 44, 2, 2, 104, 108, 3, 2, 2, 2, 105, 107, 11, 2, 2, 2, 106, 105, 3, 2, 2, 2, 107, 110, 3, 2, 2, 2, 108, 109, 3, 2, 2, 2, 108, 106, 3, 2, 2, 2, 109, 111, 3, 2, 2, 2, 110, 108, 3, 2, 2, 2, 111, 112, 7, 44, 2, 2, 112, 113, 7, 49, 2, 2, 113, 114, 3, 2, 2, 2, 114, 115, 8, 16, 2, 2, 115, 32, 3, 2, 2, 2, 116, 117, 7, 49, 2, 2, 117, 118, 7, 49, 2, 2, 118, 122, 3, 2, 2, 2, 119, 121, 10, 2, 2, 2, 120, 119, 3, 2, 2, 2, 121, 124, 3, 2, 2, 2, 122, 120, 3, 2, 2, 2, 122, 123, 3, 2, 2, 2, 123, 125, 3, 2, 2, 2, 124, 122, 3, 2, 2, 2, 125, 126, 8, 17, 2, 2, 126, 34, 3, 2, 2, 2, 127, 131, 7, 37, 2, 2, 128, 130, 10, 2, 2, 2, 129, 128, 3, 2, 2, 2, 130, 133, 3, 2, 2, 2, 131, 129, 3, 2, 2, 2, 131, 132, 3, 2, 2, 2, 132, 134, 3, 2, 2, 2, 133, 131, 3, 2, 2, 2, 134, 135, 8, 18, 2, 2, 135, 36, 3, 2, 2, 2, 136, 138, 9, 3, 2, 2, 137, 136, 3, 2, 2, 2, 138, 139, 3, 2, 2, 2, 139, 137, 3, 2, 2, 2, 139, 140, 3, 2, 2, 2, 140, 141, 3, 2, 2, 2, 141, 142, 8, 19, 3, 2, 142, 38, 3, 2, 2, 2, 143, 144, 7, 61, 2, 2, 144, 40, 3, 2, 2, 2, 145, 146, 9, 4, 2, 2, 146, 42, 3, 2, 2, 2, 147, 149, 4, 50, 59, 2, 148, 147, 3, 2, 2, 2, 149, 150, 3, 2, 2, 2, 150, 148, 3, 2, 2, 2, 150, 151, 3, 2, 2, 2, 151, 156, 3, 2, 2, 2, 152, 153, 9, 5, 2, 2, 153, 155, 5, 43, 22, 2, 154, 152, 3, 2, 2, 2, 155, 158, 3, 2, 2, 2, 156, 154, 3, 2, 2, 2, 156, 157, 3, 2, 2, 2, 157, 44, 3, 2, 2, 2, 158, 156, 3, 2, 2, 2, 159, 160, 9, 6, 2, 2, 160, 46, 3, 2, 2, 2, 161, 163, 5, 45, 23, 2, 162, 161, 3, 2, 2, 2, 163, 164, 3, 2, 2, 2, 164, 162, 3, 2, 2, 2, 164, 165, 3, 2, 2, 2, 165, 48, 3, 2, 2, 2, 10, 2, 108, 122, 131, 139, 150, 156, 164, 4, 8, 2, 2, 2, 3, 2]
82+
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 2, 22, 183, 8, 1, 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, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 14, 7, 14, 107, 10, 14, 12, 14, 14, 14, 110, 11, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 7, 15, 121, 10, 15, 12, 15, 14, 15, 124, 11, 15, 3, 15, 3, 15, 3, 16, 3, 16, 7, 16, 130, 10, 16, 12, 16, 14, 16, 133, 11, 16, 3, 16, 3, 16, 3, 17, 6, 17, 138, 10, 17, 13, 17, 14, 17, 139, 3, 17, 3, 17, 3, 18, 3, 18, 3, 19, 3, 19, 5, 19, 148, 10, 19, 3, 20, 3, 20, 3, 21, 3, 21, 3, 22, 5, 22, 155, 10, 22, 3, 22, 3, 22, 7, 22, 159, 10, 22, 12, 22, 14, 22, 162, 11, 22, 3, 22, 6, 22, 165, 10, 22, 13, 22, 14, 22, 166, 5, 22, 169, 10, 22, 3, 23, 3, 23, 3, 23, 3, 24, 3, 24, 3, 24, 3, 25, 3, 25, 3, 26, 6, 26, 180, 10, 26, 13, 26, 14, 26, 181, 3, 108, 2, 27, 3, 3, 5, 4, 7, 5, 9, 6, 11, 7, 13, 8, 15, 9, 17, 10, 19, 11, 21, 12, 23, 13, 25, 14, 27, 15, 29, 16, 31, 17, 33, 18, 35, 19, 37, 20, 39, 2, 41, 2, 43, 21, 45, 2, 47, 2, 49, 2, 51, 22, 3, 2, 10, 4, 2, 12, 12, 15, 15, 5, 2, 11, 12, 15, 15, 34, 34, 5, 2, 50, 59, 67, 72, 99, 104, 3, 2, 50, 59, 3, 2, 51, 59, 4, 2, 45, 45, 47, 47, 4, 2, 71, 71, 103, 103, 4, 2, 67, 92, 99, 124, 2, 187, 2, 3, 3, 2, 2, 2, 2, 5, 3, 2, 2, 2, 2, 7, 3, 2, 2, 2, 2, 9, 3, 2, 2, 2, 2, 11, 3, 2, 2, 2, 2, 13, 3, 2, 2, 2, 2, 15, 3, 2, 2, 2, 2, 17, 3, 2, 2, 2, 2, 19, 3, 2, 2, 2, 2, 21, 3, 2, 2, 2, 2, 23, 3, 2, 2, 2, 2, 25, 3, 2, 2, 2, 2, 27, 3, 2, 2, 2, 2, 29, 3, 2, 2, 2, 2, 31, 3, 2, 2, 2, 2, 33, 3, 2, 2, 2, 2, 35, 3, 2, 2, 2, 2, 37, 3, 2, 2, 2, 2, 43, 3, 2, 2, 2, 2, 51, 3, 2, 2, 2, 3, 53, 3, 2, 2, 2, 5, 55, 3, 2, 2, 2, 7, 63, 3, 2, 2, 2, 9, 67, 3, 2, 2, 2, 11, 69, 3, 2, 2, 2, 13, 76, 3, 2, 2, 2, 15, 79, 3, 2, 2, 2, 17, 84, 3, 2, 2, 2, 19, 86, 3, 2, 2, 2, 21, 88, 3, 2, 2, 2, 23, 91, 3, 2, 2, 2, 25, 96, 3, 2, 2, 2, 27, 102, 3, 2, 2, 2, 29, 116, 3, 2, 2, 2, 31, 127, 3, 2, 2, 2, 33, 137, 3, 2, 2, 2, 35, 143, 3, 2, 2, 2, 37, 147, 3, 2, 2, 2, 39, 149, 3, 2, 2, 2, 41, 151, 3, 2, 2, 2, 43, 168, 3, 2, 2, 2, 45, 170, 3, 2, 2, 2, 47, 173, 3, 2, 2, 2, 49, 176, 3, 2, 2, 2, 51, 179, 3, 2, 2, 2, 53, 54, 7, 61, 2, 2, 54, 4, 3, 2, 2, 2, 55, 56, 7, 110, 2, 2, 56, 57, 7, 107, 2, 2, 57, 58, 7, 118, 2, 2, 58, 59, 7, 103, 2, 2, 59, 60, 7, 116, 2, 2, 60, 61, 7, 99, 2, 2, 61, 62, 7, 110, 2, 2, 62, 6, 3, 2, 2, 2, 63, 64, 7, 110, 2, 2, 64, 65, 7, 107, 2, 2, 65, 66, 7, 118, 2, 2, 66, 8, 3, 2, 2, 2, 67, 68, 7, 110, 2, 2, 68, 10, 3, 2, 2, 2, 69, 70, 7, 112, 2, 2, 70, 71, 7, 119, 2, 2, 71, 72, 7, 111, 2, 2, 72, 73, 7, 100, 2, 2, 73, 74, 7, 103, 2, 2, 74, 75, 7, 116, 2, 2, 75, 12, 3, 2, 2, 2, 76, 77, 7, 42, 2, 2, 77, 78, 7, 43, 2, 2, 78, 14, 3, 2, 2, 2, 79, 80, 7, 104, 2, 2, 80, 81, 7, 119, 2, 2, 81, 82, 7, 112, 2, 2, 82, 83, 7, 101, 2, 2, 83, 16, 3, 2, 2, 2, 84, 85, 7, 125, 2, 2, 85, 18, 3, 2, 2, 2, 86, 87, 7, 127, 2, 2, 87, 20, 3, 2, 2, 2, 88, 89, 7, 107, 2, 2, 89, 90, 7, 104, 2, 2, 90, 22, 3, 2, 2, 2, 91, 92, 7, 103, 2, 2, 92, 93, 7, 110, 2, 2, 93, 94, 7, 117, 2, 2, 94, 95, 7, 103, 2, 2, 95, 24, 3, 2, 2, 2, 96, 97, 7, 121, 2, 2, 97, 98, 7, 106, 2, 2, 98, 99, 7, 107, 2, 2, 99, 100, 7, 110, 2, 2, 100, 101, 7, 103, 2, 2, 101, 26, 3, 2, 2, 2, 102, 103, 7, 49, 2, 2, 103, 104, 7, 44, 2, 2, 104, 108, 3, 2, 2, 2, 105, 107, 11, 2, 2, 2, 106, 105, 3, 2, 2, 2, 107, 110, 3, 2, 2, 2, 108, 109, 3, 2, 2, 2, 108, 106, 3, 2, 2, 2, 109, 111, 3, 2, 2, 2, 110, 108, 3, 2, 2, 2, 111, 112, 7, 44, 2, 2, 112, 113, 7, 49, 2, 2, 113, 114, 3, 2, 2, 2, 114, 115, 8, 14, 2, 2, 115, 28, 3, 2, 2, 2, 116, 117, 7, 49, 2, 2, 117, 118, 7, 49, 2, 2, 118, 122, 3, 2, 2, 2, 119, 121, 10, 2, 2, 2, 120, 119, 3, 2, 2, 2, 121, 124, 3, 2, 2, 2, 122, 120, 3, 2, 2, 2, 122, 123, 3, 2, 2, 2, 123, 125, 3, 2, 2, 2, 124, 122, 3, 2, 2, 2, 125, 126, 8, 15, 2, 2, 126, 30, 3, 2, 2, 2, 127, 131, 7, 37, 2, 2, 128, 130, 10, 2, 2, 2, 129, 128, 3, 2, 2, 2, 130, 133, 3, 2, 2, 2, 131, 129, 3, 2, 2, 2, 131, 132, 3, 2, 2, 2, 132, 134, 3, 2, 2, 2, 133, 131, 3, 2, 2, 2, 134, 135, 8, 16, 2, 2, 135, 32, 3, 2, 2, 2, 136, 138, 9, 3, 2, 2, 137, 136, 3, 2, 2, 2, 138, 139, 3, 2, 2, 2, 139, 137, 3, 2, 2, 2, 139, 140, 3, 2, 2, 2, 140, 141, 3, 2, 2, 2, 141, 142, 8, 17, 3, 2, 142, 34, 3, 2, 2, 2, 143, 144, 9, 4, 2, 2, 144, 36, 3, 2, 2, 2, 145, 148, 5, 43, 22, 2, 146, 148, 5, 47, 24, 2, 147, 145, 3, 2, 2, 2, 147, 146, 3, 2, 2, 2, 148, 38, 3, 2, 2, 2, 149, 150, 9, 5, 2, 2, 150, 40, 3, 2, 2, 2, 151, 152, 9, 6, 2, 2, 152, 42, 3, 2, 2, 2, 153, 155, 9, 7, 2, 2, 154, 153, 3, 2, 2, 2, 154, 155, 3, 2, 2, 2, 155, 156, 3, 2, 2, 2, 156, 160, 5, 41, 21, 2, 157, 159, 5, 39, 20, 2, 158, 157, 3, 2, 2, 2, 159, 162, 3, 2, 2, 2, 160, 158, 3, 2, 2, 2, 160, 161, 3, 2, 2, 2, 161, 169, 3, 2, 2, 2, 162, 160, 3, 2, 2, 2, 163, 165, 7, 50, 2, 2, 164, 163, 3, 2, 2, 2, 165, 166, 3, 2, 2, 2, 166, 164, 3, 2, 2, 2, 166, 167, 3, 2, 2, 2, 167, 169, 3, 2, 2, 2, 168, 154, 3, 2, 2, 2, 168, 164, 3, 2, 2, 2, 169, 44, 3, 2, 2, 2, 170, 171, 9, 8, 2, 2, 171, 172, 5, 43, 22, 2, 172, 46, 3, 2, 2, 2, 173, 174, 5, 43, 22, 2, 174, 175, 5, 45, 23, 2, 175, 48, 3, 2, 2, 2, 176, 177, 9, 9, 2, 2, 177, 50, 3, 2, 2, 2, 178, 180, 5, 49, 25, 2, 179, 178, 3, 2, 2, 2, 180, 181, 3, 2, 2, 2, 181, 179, 3, 2, 2, 2, 181, 182, 3, 2, 2, 2, 182, 52, 3, 2, 2, 2, 13, 2, 108, 122, 131, 139, 147, 154, 160, 166, 168, 181, 4, 8, 2, 2, 2, 3, 2]

0 commit comments

Comments
 (0)