aboutsummaryrefslogtreecommitdiff
path: root/waffle/autocorrect_data.h
blob: 3cca35a416b9c89384e04c857af616c247dec1b5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
// Copyright 2022 jack (@waffle87)
// SPDX-License-Identifier: GPL-2.0-or-later
#define AUTOCORRECT_MIN_LENGTH 5
#define AUTOCORRECT_MAX_LENGTH 10
#define DICTIONARY_SIZE 5867

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