httlib_huffman/decoder/
table5.rs

1/// Represents a static translation table for decoding Huffman sequence by
2/// reading 5-bits at at time.
3pub const DECODE_TABLE: [[(Option<u8>, Option<u16>, u8); 32]; 61] = [ // (next_id, ascii, leftover)
4    [ // 0
5        (None, Some(48), 0),
6        (None, Some(49), 0),
7        (None, Some(50), 0),
8        (None, Some(97), 0),
9        (None, Some(99), 0),
10        (None, Some(101), 0),
11        (None, Some(105), 0),
12        (None, Some(111), 0),
13        (None, Some(115), 0),
14        (None, Some(116), 0),
15        (Some(11), None, 0),
16        (Some(14), None, 0),
17        (Some(15), None, 0),
18        (Some(16), None, 0),
19        (Some(17), None, 0),
20        (Some(18), None, 0),
21        (Some(20), None, 0),
22        (Some(26), None, 0),
23        (Some(27), None, 0),
24        (Some(28), None, 0),
25        (Some(30), None, 0),
26        (Some(31), None, 0),
27        (Some(32), None, 0),
28        (Some(19), None, 0),
29        (Some(21), None, 0),
30        (Some(22), None, 0),
31        (Some(23), None, 0),
32        (Some(24), None, 0),
33        (Some(25), None, 0),
34        (Some(29), None, 0),
35        (Some(33), None, 0),
36        (Some(1), None, 0)
37    ],
38    [ // 1
39        (None, Some(38), 2),
40        (None, Some(38), 2),
41        (None, Some(38), 2),
42        (None, Some(38), 2),
43        (None, Some(42), 2),
44        (None, Some(42), 2),
45        (None, Some(42), 2),
46        (None, Some(42), 2),
47        (None, Some(44), 2),
48        (None, Some(44), 2),
49        (None, Some(44), 2),
50        (None, Some(44), 2),
51        (None, Some(59), 2),
52        (None, Some(59), 2),
53        (None, Some(59), 2),
54        (None, Some(59), 2),
55        (None, Some(88), 2),
56        (None, Some(88), 2),
57        (None, Some(88), 2),
58        (None, Some(88), 2),
59        (None, Some(90), 2),
60        (None, Some(90), 2),
61        (None, Some(90), 2),
62        (None, Some(90), 2),
63        (None, Some(33), 0),
64        (None, Some(34), 0),
65        (None, Some(40), 0),
66        (None, Some(41), 0),
67        (None, Some(63), 0),
68        (Some(13), None, 0),
69        (Some(12), None, 0),
70        (Some(2), None, 0)
71    ],
72    [ // 2
73        (None, Some(0), 2),
74        (None, Some(0), 2),
75        (None, Some(0), 2),
76        (None, Some(0), 2),
77        (None, Some(36), 2),
78        (None, Some(36), 2),
79        (None, Some(36), 2),
80        (None, Some(36), 2),
81        (None, Some(64), 2),
82        (None, Some(64), 2),
83        (None, Some(64), 2),
84        (None, Some(64), 2),
85        (None, Some(91), 2),
86        (None, Some(91), 2),
87        (None, Some(91), 2),
88        (None, Some(91), 2),
89        (None, Some(93), 2),
90        (None, Some(93), 2),
91        (None, Some(93), 2),
92        (None, Some(93), 2),
93        (None, Some(126), 2),
94        (None, Some(126), 2),
95        (None, Some(126), 2),
96        (None, Some(126), 2),
97        (None, Some(94), 1),
98        (None, Some(94), 1),
99        (None, Some(125), 1),
100        (None, Some(125), 1),
101        (None, Some(60), 0),
102        (None, Some(96), 0),
103        (None, Some(123), 0),
104        (Some(3), None, 0)
105    ],
106    [ // 3
107        (None, Some(92), 1),
108        (None, Some(92), 1),
109        (None, Some(195), 1),
110        (None, Some(195), 1),
111        (None, Some(208), 1),
112        (None, Some(208), 1),
113        (None, Some(128), 0),
114        (None, Some(130), 0),
115        (None, Some(131), 0),
116        (None, Some(162), 0),
117        (None, Some(184), 0),
118        (None, Some(194), 0),
119        (None, Some(224), 0),
120        (None, Some(226), 0),
121        (Some(37), None, 0),
122        (Some(41), None, 0),
123        (Some(42), None, 0),
124        (Some(44), None, 0),
125        (Some(53), None, 0),
126        (Some(56), None, 0),
127        (Some(34), None, 0),
128        (Some(35), None, 0),
129        (Some(38), None, 0),
130        (Some(39), None, 0),
131        (Some(43), None, 0),
132        (Some(45), None, 0),
133        (Some(47), None, 0),
134        (Some(4), None, 0),
135        (Some(36), None, 0),
136        (Some(40), None, 0),
137        (Some(8), None, 0),
138        (Some(5), None, 0)
139    ],
140    [ // 4
141        (None, Some(1), 2),
142        (None, Some(1), 2),
143        (None, Some(1), 2),
144        (None, Some(1), 2),
145        (None, Some(135), 2),
146        (None, Some(135), 2),
147        (None, Some(135), 2),
148        (None, Some(135), 2),
149        (None, Some(137), 2),
150        (None, Some(137), 2),
151        (None, Some(137), 2),
152        (None, Some(137), 2),
153        (None, Some(138), 2),
154        (None, Some(138), 2),
155        (None, Some(138), 2),
156        (None, Some(138), 2),
157        (None, Some(139), 2),
158        (None, Some(139), 2),
159        (None, Some(139), 2),
160        (None, Some(139), 2),
161        (None, Some(140), 2),
162        (None, Some(140), 2),
163        (None, Some(140), 2),
164        (None, Some(140), 2),
165        (None, Some(141), 2),
166        (None, Some(141), 2),
167        (None, Some(141), 2),
168        (None, Some(141), 2),
169        (None, Some(143), 2),
170        (None, Some(143), 2),
171        (None, Some(143), 2),
172        (None, Some(143), 2)
173    ],
174    [ // 5
175        (None, Some(171), 1),
176        (None, Some(171), 1),
177        (None, Some(206), 1),
178        (None, Some(206), 1),
179        (None, Some(215), 1),
180        (None, Some(215), 1),
181        (None, Some(225), 1),
182        (None, Some(225), 1),
183        (None, Some(236), 1),
184        (None, Some(236), 1),
185        (None, Some(237), 1),
186        (None, Some(237), 1),
187        (None, Some(199), 0),
188        (None, Some(207), 0),
189        (None, Some(234), 0),
190        (None, Some(235), 0),
191        (Some(46), None, 0),
192        (Some(48), None, 0),
193        (Some(49), None, 0),
194        (Some(51), None, 0),
195        (Some(54), None, 0),
196        (Some(57), None, 0),
197        (Some(58), None, 0),
198        (Some(50), None, 0),
199        (Some(52), None, 0),
200        (Some(55), None, 0),
201        (Some(59), None, 0),
202        (Some(60), None, 0),
203        (Some(6), None, 0),
204        (Some(7), None, 0),
205        (Some(10), None, 0),
206        (Some(9), None, 0)
207    ],
208    [ // 6
209        (None, Some(254), 3),
210        (None, Some(254), 3),
211        (None, Some(254), 3),
212        (None, Some(254), 3),
213        (None, Some(254), 3),
214        (None, Some(254), 3),
215        (None, Some(254), 3),
216        (None, Some(254), 3),
217        (None, Some(2), 2),
218        (None, Some(2), 2),
219        (None, Some(2), 2),
220        (None, Some(2), 2),
221        (None, Some(3), 2),
222        (None, Some(3), 2),
223        (None, Some(3), 2),
224        (None, Some(3), 2),
225        (None, Some(4), 2),
226        (None, Some(4), 2),
227        (None, Some(4), 2),
228        (None, Some(4), 2),
229        (None, Some(5), 2),
230        (None, Some(5), 2),
231        (None, Some(5), 2),
232        (None, Some(5), 2),
233        (None, Some(6), 2),
234        (None, Some(6), 2),
235        (None, Some(6), 2),
236        (None, Some(6), 2),
237        (None, Some(7), 2),
238        (None, Some(7), 2),
239        (None, Some(7), 2),
240        (None, Some(7), 2)
241    ],
242    [ // 7
243        (None, Some(8), 2),
244        (None, Some(8), 2),
245        (None, Some(8), 2),
246        (None, Some(8), 2),
247        (None, Some(11), 2),
248        (None, Some(11), 2),
249        (None, Some(11), 2),
250        (None, Some(11), 2),
251        (None, Some(12), 2),
252        (None, Some(12), 2),
253        (None, Some(12), 2),
254        (None, Some(12), 2),
255        (None, Some(14), 2),
256        (None, Some(14), 2),
257        (None, Some(14), 2),
258        (None, Some(14), 2),
259        (None, Some(15), 2),
260        (None, Some(15), 2),
261        (None, Some(15), 2),
262        (None, Some(15), 2),
263        (None, Some(16), 2),
264        (None, Some(16), 2),
265        (None, Some(16), 2),
266        (None, Some(16), 2),
267        (None, Some(17), 2),
268        (None, Some(17), 2),
269        (None, Some(17), 2),
270        (None, Some(17), 2),
271        (None, Some(18), 2),
272        (None, Some(18), 2),
273        (None, Some(18), 2),
274        (None, Some(18), 2)
275    ],
276    [ // 8
277        (None, Some(188), 2),
278        (None, Some(188), 2),
279        (None, Some(188), 2),
280        (None, Some(188), 2),
281        (None, Some(191), 2),
282        (None, Some(191), 2),
283        (None, Some(191), 2),
284        (None, Some(191), 2),
285        (None, Some(197), 2),
286        (None, Some(197), 2),
287        (None, Some(197), 2),
288        (None, Some(197), 2),
289        (None, Some(231), 2),
290        (None, Some(231), 2),
291        (None, Some(231), 2),
292        (None, Some(231), 2),
293        (None, Some(239), 2),
294        (None, Some(239), 2),
295        (None, Some(239), 2),
296        (None, Some(239), 2),
297        (None, Some(9), 1),
298        (None, Some(9), 1),
299        (None, Some(142), 1),
300        (None, Some(142), 1),
301        (None, Some(144), 1),
302        (None, Some(144), 1),
303        (None, Some(145), 1),
304        (None, Some(145), 1),
305        (None, Some(148), 1),
306        (None, Some(148), 1),
307        (None, Some(159), 1),
308        (None, Some(159), 1)
309    ],
310    [ // 9
311        (None, Some(28), 2),
312        (None, Some(28), 2),
313        (None, Some(28), 2),
314        (None, Some(28), 2),
315        (None, Some(29), 2),
316        (None, Some(29), 2),
317        (None, Some(29), 2),
318        (None, Some(29), 2),
319        (None, Some(30), 2),
320        (None, Some(30), 2),
321        (None, Some(30), 2),
322        (None, Some(30), 2),
323        (None, Some(31), 2),
324        (None, Some(31), 2),
325        (None, Some(31), 2),
326        (None, Some(31), 2),
327        (None, Some(127), 2),
328        (None, Some(127), 2),
329        (None, Some(127), 2),
330        (None, Some(127), 2),
331        (None, Some(220), 2),
332        (None, Some(220), 2),
333        (None, Some(220), 2),
334        (None, Some(220), 2),
335        (None, Some(249), 2),
336        (None, Some(249), 2),
337        (None, Some(249), 2),
338        (None, Some(249), 2),
339        (None, Some(10), 0),
340        (None, Some(13), 0),
341        (None, Some(22), 0),
342        (None, Some(256), 0)
343    ],
344    [ // 10
345        (None, Some(19), 2),
346        (None, Some(19), 2),
347        (None, Some(19), 2),
348        (None, Some(19), 2),
349        (None, Some(20), 2),
350        (None, Some(20), 2),
351        (None, Some(20), 2),
352        (None, Some(20), 2),
353        (None, Some(21), 2),
354        (None, Some(21), 2),
355        (None, Some(21), 2),
356        (None, Some(21), 2),
357        (None, Some(23), 2),
358        (None, Some(23), 2),
359        (None, Some(23), 2),
360        (None, Some(23), 2),
361        (None, Some(24), 2),
362        (None, Some(24), 2),
363        (None, Some(24), 2),
364        (None, Some(24), 2),
365        (None, Some(25), 2),
366        (None, Some(25), 2),
367        (None, Some(25), 2),
368        (None, Some(25), 2),
369        (None, Some(26), 2),
370        (None, Some(26), 2),
371        (None, Some(26), 2),
372        (None, Some(26), 2),
373        (None, Some(27), 2),
374        (None, Some(27), 2),
375        (None, Some(27), 2),
376        (None, Some(27), 2)
377    ],
378    [ // 11
379        (None, Some(32), 4),
380        (None, Some(32), 4),
381        (None, Some(32), 4),
382        (None, Some(32), 4),
383        (None, Some(32), 4),
384        (None, Some(32), 4),
385        (None, Some(32), 4),
386        (None, Some(32), 4),
387        (None, Some(32), 4),
388        (None, Some(32), 4),
389        (None, Some(32), 4),
390        (None, Some(32), 4),
391        (None, Some(32), 4),
392        (None, Some(32), 4),
393        (None, Some(32), 4),
394        (None, Some(32), 4),
395        (None, Some(37), 4),
396        (None, Some(37), 4),
397        (None, Some(37), 4),
398        (None, Some(37), 4),
399        (None, Some(37), 4),
400        (None, Some(37), 4),
401        (None, Some(37), 4),
402        (None, Some(37), 4),
403        (None, Some(37), 4),
404        (None, Some(37), 4),
405        (None, Some(37), 4),
406        (None, Some(37), 4),
407        (None, Some(37), 4),
408        (None, Some(37), 4),
409        (None, Some(37), 4),
410        (None, Some(37), 4)
411    ],
412    [ // 12
413        (None, Some(124), 4),
414        (None, Some(124), 4),
415        (None, Some(124), 4),
416        (None, Some(124), 4),
417        (None, Some(124), 4),
418        (None, Some(124), 4),
419        (None, Some(124), 4),
420        (None, Some(124), 4),
421        (None, Some(124), 4),
422        (None, Some(124), 4),
423        (None, Some(124), 4),
424        (None, Some(124), 4),
425        (None, Some(124), 4),
426        (None, Some(124), 4),
427        (None, Some(124), 4),
428        (None, Some(124), 4),
429        (None, Some(35), 3),
430        (None, Some(35), 3),
431        (None, Some(35), 3),
432        (None, Some(35), 3),
433        (None, Some(35), 3),
434        (None, Some(35), 3),
435        (None, Some(35), 3),
436        (None, Some(35), 3),
437        (None, Some(62), 3),
438        (None, Some(62), 3),
439        (None, Some(62), 3),
440        (None, Some(62), 3),
441        (None, Some(62), 3),
442        (None, Some(62), 3),
443        (None, Some(62), 3),
444        (None, Some(62), 3)
445    ],
446    [ // 13
447        (None, Some(39), 4),
448        (None, Some(39), 4),
449        (None, Some(39), 4),
450        (None, Some(39), 4),
451        (None, Some(39), 4),
452        (None, Some(39), 4),
453        (None, Some(39), 4),
454        (None, Some(39), 4),
455        (None, Some(39), 4),
456        (None, Some(39), 4),
457        (None, Some(39), 4),
458        (None, Some(39), 4),
459        (None, Some(39), 4),
460        (None, Some(39), 4),
461        (None, Some(39), 4),
462        (None, Some(39), 4),
463        (None, Some(43), 4),
464        (None, Some(43), 4),
465        (None, Some(43), 4),
466        (None, Some(43), 4),
467        (None, Some(43), 4),
468        (None, Some(43), 4),
469        (None, Some(43), 4),
470        (None, Some(43), 4),
471        (None, Some(43), 4),
472        (None, Some(43), 4),
473        (None, Some(43), 4),
474        (None, Some(43), 4),
475        (None, Some(43), 4),
476        (None, Some(43), 4),
477        (None, Some(43), 4),
478        (None, Some(43), 4)
479    ],
480    [ // 14
481        (None, Some(45), 4),
482        (None, Some(45), 4),
483        (None, Some(45), 4),
484        (None, Some(45), 4),
485        (None, Some(45), 4),
486        (None, Some(45), 4),
487        (None, Some(45), 4),
488        (None, Some(45), 4),
489        (None, Some(45), 4),
490        (None, Some(45), 4),
491        (None, Some(45), 4),
492        (None, Some(45), 4),
493        (None, Some(45), 4),
494        (None, Some(45), 4),
495        (None, Some(45), 4),
496        (None, Some(45), 4),
497        (None, Some(46), 4),
498        (None, Some(46), 4),
499        (None, Some(46), 4),
500        (None, Some(46), 4),
501        (None, Some(46), 4),
502        (None, Some(46), 4),
503        (None, Some(46), 4),
504        (None, Some(46), 4),
505        (None, Some(46), 4),
506        (None, Some(46), 4),
507        (None, Some(46), 4),
508        (None, Some(46), 4),
509        (None, Some(46), 4),
510        (None, Some(46), 4),
511        (None, Some(46), 4),
512        (None, Some(46), 4)
513    ],
514    [ // 15
515        (None, Some(47), 4),
516        (None, Some(47), 4),
517        (None, Some(47), 4),
518        (None, Some(47), 4),
519        (None, Some(47), 4),
520        (None, Some(47), 4),
521        (None, Some(47), 4),
522        (None, Some(47), 4),
523        (None, Some(47), 4),
524        (None, Some(47), 4),
525        (None, Some(47), 4),
526        (None, Some(47), 4),
527        (None, Some(47), 4),
528        (None, Some(47), 4),
529        (None, Some(47), 4),
530        (None, Some(47), 4),
531        (None, Some(51), 4),
532        (None, Some(51), 4),
533        (None, Some(51), 4),
534        (None, Some(51), 4),
535        (None, Some(51), 4),
536        (None, Some(51), 4),
537        (None, Some(51), 4),
538        (None, Some(51), 4),
539        (None, Some(51), 4),
540        (None, Some(51), 4),
541        (None, Some(51), 4),
542        (None, Some(51), 4),
543        (None, Some(51), 4),
544        (None, Some(51), 4),
545        (None, Some(51), 4),
546        (None, Some(51), 4)
547    ],
548    [ // 16
549        (None, Some(52), 4),
550        (None, Some(52), 4),
551        (None, Some(52), 4),
552        (None, Some(52), 4),
553        (None, Some(52), 4),
554        (None, Some(52), 4),
555        (None, Some(52), 4),
556        (None, Some(52), 4),
557        (None, Some(52), 4),
558        (None, Some(52), 4),
559        (None, Some(52), 4),
560        (None, Some(52), 4),
561        (None, Some(52), 4),
562        (None, Some(52), 4),
563        (None, Some(52), 4),
564        (None, Some(52), 4),
565        (None, Some(53), 4),
566        (None, Some(53), 4),
567        (None, Some(53), 4),
568        (None, Some(53), 4),
569        (None, Some(53), 4),
570        (None, Some(53), 4),
571        (None, Some(53), 4),
572        (None, Some(53), 4),
573        (None, Some(53), 4),
574        (None, Some(53), 4),
575        (None, Some(53), 4),
576        (None, Some(53), 4),
577        (None, Some(53), 4),
578        (None, Some(53), 4),
579        (None, Some(53), 4),
580        (None, Some(53), 4)
581    ],
582    [ // 17
583        (None, Some(54), 4),
584        (None, Some(54), 4),
585        (None, Some(54), 4),
586        (None, Some(54), 4),
587        (None, Some(54), 4),
588        (None, Some(54), 4),
589        (None, Some(54), 4),
590        (None, Some(54), 4),
591        (None, Some(54), 4),
592        (None, Some(54), 4),
593        (None, Some(54), 4),
594        (None, Some(54), 4),
595        (None, Some(54), 4),
596        (None, Some(54), 4),
597        (None, Some(54), 4),
598        (None, Some(54), 4),
599        (None, Some(55), 4),
600        (None, Some(55), 4),
601        (None, Some(55), 4),
602        (None, Some(55), 4),
603        (None, Some(55), 4),
604        (None, Some(55), 4),
605        (None, Some(55), 4),
606        (None, Some(55), 4),
607        (None, Some(55), 4),
608        (None, Some(55), 4),
609        (None, Some(55), 4),
610        (None, Some(55), 4),
611        (None, Some(55), 4),
612        (None, Some(55), 4),
613        (None, Some(55), 4),
614        (None, Some(55), 4)
615    ],
616    [ // 18
617        (None, Some(56), 4),
618        (None, Some(56), 4),
619        (None, Some(56), 4),
620        (None, Some(56), 4),
621        (None, Some(56), 4),
622        (None, Some(56), 4),
623        (None, Some(56), 4),
624        (None, Some(56), 4),
625        (None, Some(56), 4),
626        (None, Some(56), 4),
627        (None, Some(56), 4),
628        (None, Some(56), 4),
629        (None, Some(56), 4),
630        (None, Some(56), 4),
631        (None, Some(56), 4),
632        (None, Some(56), 4),
633        (None, Some(57), 4),
634        (None, Some(57), 4),
635        (None, Some(57), 4),
636        (None, Some(57), 4),
637        (None, Some(57), 4),
638        (None, Some(57), 4),
639        (None, Some(57), 4),
640        (None, Some(57), 4),
641        (None, Some(57), 4),
642        (None, Some(57), 4),
643        (None, Some(57), 4),
644        (None, Some(57), 4),
645        (None, Some(57), 4),
646        (None, Some(57), 4),
647        (None, Some(57), 4),
648        (None, Some(57), 4)
649    ],
650    [ // 19
651        (None, Some(58), 3),
652        (None, Some(58), 3),
653        (None, Some(58), 3),
654        (None, Some(58), 3),
655        (None, Some(58), 3),
656        (None, Some(58), 3),
657        (None, Some(58), 3),
658        (None, Some(58), 3),
659        (None, Some(66), 3),
660        (None, Some(66), 3),
661        (None, Some(66), 3),
662        (None, Some(66), 3),
663        (None, Some(66), 3),
664        (None, Some(66), 3),
665        (None, Some(66), 3),
666        (None, Some(66), 3),
667        (None, Some(67), 3),
668        (None, Some(67), 3),
669        (None, Some(67), 3),
670        (None, Some(67), 3),
671        (None, Some(67), 3),
672        (None, Some(67), 3),
673        (None, Some(67), 3),
674        (None, Some(67), 3),
675        (None, Some(68), 3),
676        (None, Some(68), 3),
677        (None, Some(68), 3),
678        (None, Some(68), 3),
679        (None, Some(68), 3),
680        (None, Some(68), 3),
681        (None, Some(68), 3),
682        (None, Some(68), 3)
683    ],
684    [ // 20
685        (None, Some(61), 4),
686        (None, Some(61), 4),
687        (None, Some(61), 4),
688        (None, Some(61), 4),
689        (None, Some(61), 4),
690        (None, Some(61), 4),
691        (None, Some(61), 4),
692        (None, Some(61), 4),
693        (None, Some(61), 4),
694        (None, Some(61), 4),
695        (None, Some(61), 4),
696        (None, Some(61), 4),
697        (None, Some(61), 4),
698        (None, Some(61), 4),
699        (None, Some(61), 4),
700        (None, Some(61), 4),
701        (None, Some(65), 4),
702        (None, Some(65), 4),
703        (None, Some(65), 4),
704        (None, Some(65), 4),
705        (None, Some(65), 4),
706        (None, Some(65), 4),
707        (None, Some(65), 4),
708        (None, Some(65), 4),
709        (None, Some(65), 4),
710        (None, Some(65), 4),
711        (None, Some(65), 4),
712        (None, Some(65), 4),
713        (None, Some(65), 4),
714        (None, Some(65), 4),
715        (None, Some(65), 4),
716        (None, Some(65), 4)
717    ],
718    [ // 21
719        (None, Some(69), 3),
720        (None, Some(69), 3),
721        (None, Some(69), 3),
722        (None, Some(69), 3),
723        (None, Some(69), 3),
724        (None, Some(69), 3),
725        (None, Some(69), 3),
726        (None, Some(69), 3),
727        (None, Some(70), 3),
728        (None, Some(70), 3),
729        (None, Some(70), 3),
730        (None, Some(70), 3),
731        (None, Some(70), 3),
732        (None, Some(70), 3),
733        (None, Some(70), 3),
734        (None, Some(70), 3),
735        (None, Some(71), 3),
736        (None, Some(71), 3),
737        (None, Some(71), 3),
738        (None, Some(71), 3),
739        (None, Some(71), 3),
740        (None, Some(71), 3),
741        (None, Some(71), 3),
742        (None, Some(71), 3),
743        (None, Some(72), 3),
744        (None, Some(72), 3),
745        (None, Some(72), 3),
746        (None, Some(72), 3),
747        (None, Some(72), 3),
748        (None, Some(72), 3),
749        (None, Some(72), 3),
750        (None, Some(72), 3)
751    ],
752    [ // 22
753        (None, Some(73), 3),
754        (None, Some(73), 3),
755        (None, Some(73), 3),
756        (None, Some(73), 3),
757        (None, Some(73), 3),
758        (None, Some(73), 3),
759        (None, Some(73), 3),
760        (None, Some(73), 3),
761        (None, Some(74), 3),
762        (None, Some(74), 3),
763        (None, Some(74), 3),
764        (None, Some(74), 3),
765        (None, Some(74), 3),
766        (None, Some(74), 3),
767        (None, Some(74), 3),
768        (None, Some(74), 3),
769        (None, Some(75), 3),
770        (None, Some(75), 3),
771        (None, Some(75), 3),
772        (None, Some(75), 3),
773        (None, Some(75), 3),
774        (None, Some(75), 3),
775        (None, Some(75), 3),
776        (None, Some(75), 3),
777        (None, Some(76), 3),
778        (None, Some(76), 3),
779        (None, Some(76), 3),
780        (None, Some(76), 3),
781        (None, Some(76), 3),
782        (None, Some(76), 3),
783        (None, Some(76), 3),
784        (None, Some(76), 3)
785    ],
786    [ // 23
787        (None, Some(77), 3),
788        (None, Some(77), 3),
789        (None, Some(77), 3),
790        (None, Some(77), 3),
791        (None, Some(77), 3),
792        (None, Some(77), 3),
793        (None, Some(77), 3),
794        (None, Some(77), 3),
795        (None, Some(78), 3),
796        (None, Some(78), 3),
797        (None, Some(78), 3),
798        (None, Some(78), 3),
799        (None, Some(78), 3),
800        (None, Some(78), 3),
801        (None, Some(78), 3),
802        (None, Some(78), 3),
803        (None, Some(79), 3),
804        (None, Some(79), 3),
805        (None, Some(79), 3),
806        (None, Some(79), 3),
807        (None, Some(79), 3),
808        (None, Some(79), 3),
809        (None, Some(79), 3),
810        (None, Some(79), 3),
811        (None, Some(80), 3),
812        (None, Some(80), 3),
813        (None, Some(80), 3),
814        (None, Some(80), 3),
815        (None, Some(80), 3),
816        (None, Some(80), 3),
817        (None, Some(80), 3),
818        (None, Some(80), 3)
819    ],
820    [ // 24
821        (None, Some(81), 3),
822        (None, Some(81), 3),
823        (None, Some(81), 3),
824        (None, Some(81), 3),
825        (None, Some(81), 3),
826        (None, Some(81), 3),
827        (None, Some(81), 3),
828        (None, Some(81), 3),
829        (None, Some(82), 3),
830        (None, Some(82), 3),
831        (None, Some(82), 3),
832        (None, Some(82), 3),
833        (None, Some(82), 3),
834        (None, Some(82), 3),
835        (None, Some(82), 3),
836        (None, Some(82), 3),
837        (None, Some(83), 3),
838        (None, Some(83), 3),
839        (None, Some(83), 3),
840        (None, Some(83), 3),
841        (None, Some(83), 3),
842        (None, Some(83), 3),
843        (None, Some(83), 3),
844        (None, Some(83), 3),
845        (None, Some(84), 3),
846        (None, Some(84), 3),
847        (None, Some(84), 3),
848        (None, Some(84), 3),
849        (None, Some(84), 3),
850        (None, Some(84), 3),
851        (None, Some(84), 3),
852        (None, Some(84), 3)
853    ],
854    [ // 25
855        (None, Some(85), 3),
856        (None, Some(85), 3),
857        (None, Some(85), 3),
858        (None, Some(85), 3),
859        (None, Some(85), 3),
860        (None, Some(85), 3),
861        (None, Some(85), 3),
862        (None, Some(85), 3),
863        (None, Some(86), 3),
864        (None, Some(86), 3),
865        (None, Some(86), 3),
866        (None, Some(86), 3),
867        (None, Some(86), 3),
868        (None, Some(86), 3),
869        (None, Some(86), 3),
870        (None, Some(86), 3),
871        (None, Some(87), 3),
872        (None, Some(87), 3),
873        (None, Some(87), 3),
874        (None, Some(87), 3),
875        (None, Some(87), 3),
876        (None, Some(87), 3),
877        (None, Some(87), 3),
878        (None, Some(87), 3),
879        (None, Some(89), 3),
880        (None, Some(89), 3),
881        (None, Some(89), 3),
882        (None, Some(89), 3),
883        (None, Some(89), 3),
884        (None, Some(89), 3),
885        (None, Some(89), 3),
886        (None, Some(89), 3)
887    ],
888    [ // 26
889        (None, Some(95), 4),
890        (None, Some(95), 4),
891        (None, Some(95), 4),
892        (None, Some(95), 4),
893        (None, Some(95), 4),
894        (None, Some(95), 4),
895        (None, Some(95), 4),
896        (None, Some(95), 4),
897        (None, Some(95), 4),
898        (None, Some(95), 4),
899        (None, Some(95), 4),
900        (None, Some(95), 4),
901        (None, Some(95), 4),
902        (None, Some(95), 4),
903        (None, Some(95), 4),
904        (None, Some(95), 4),
905        (None, Some(98), 4),
906        (None, Some(98), 4),
907        (None, Some(98), 4),
908        (None, Some(98), 4),
909        (None, Some(98), 4),
910        (None, Some(98), 4),
911        (None, Some(98), 4),
912        (None, Some(98), 4),
913        (None, Some(98), 4),
914        (None, Some(98), 4),
915        (None, Some(98), 4),
916        (None, Some(98), 4),
917        (None, Some(98), 4),
918        (None, Some(98), 4),
919        (None, Some(98), 4),
920        (None, Some(98), 4)
921    ],
922    [ // 27
923        (None, Some(100), 4),
924        (None, Some(100), 4),
925        (None, Some(100), 4),
926        (None, Some(100), 4),
927        (None, Some(100), 4),
928        (None, Some(100), 4),
929        (None, Some(100), 4),
930        (None, Some(100), 4),
931        (None, Some(100), 4),
932        (None, Some(100), 4),
933        (None, Some(100), 4),
934        (None, Some(100), 4),
935        (None, Some(100), 4),
936        (None, Some(100), 4),
937        (None, Some(100), 4),
938        (None, Some(100), 4),
939        (None, Some(102), 4),
940        (None, Some(102), 4),
941        (None, Some(102), 4),
942        (None, Some(102), 4),
943        (None, Some(102), 4),
944        (None, Some(102), 4),
945        (None, Some(102), 4),
946        (None, Some(102), 4),
947        (None, Some(102), 4),
948        (None, Some(102), 4),
949        (None, Some(102), 4),
950        (None, Some(102), 4),
951        (None, Some(102), 4),
952        (None, Some(102), 4),
953        (None, Some(102), 4),
954        (None, Some(102), 4)
955    ],
956    [ // 28
957        (None, Some(103), 4),
958        (None, Some(103), 4),
959        (None, Some(103), 4),
960        (None, Some(103), 4),
961        (None, Some(103), 4),
962        (None, Some(103), 4),
963        (None, Some(103), 4),
964        (None, Some(103), 4),
965        (None, Some(103), 4),
966        (None, Some(103), 4),
967        (None, Some(103), 4),
968        (None, Some(103), 4),
969        (None, Some(103), 4),
970        (None, Some(103), 4),
971        (None, Some(103), 4),
972        (None, Some(103), 4),
973        (None, Some(104), 4),
974        (None, Some(104), 4),
975        (None, Some(104), 4),
976        (None, Some(104), 4),
977        (None, Some(104), 4),
978        (None, Some(104), 4),
979        (None, Some(104), 4),
980        (None, Some(104), 4),
981        (None, Some(104), 4),
982        (None, Some(104), 4),
983        (None, Some(104), 4),
984        (None, Some(104), 4),
985        (None, Some(104), 4),
986        (None, Some(104), 4),
987        (None, Some(104), 4),
988        (None, Some(104), 4)
989    ],
990    [ // 29
991        (None, Some(106), 3),
992        (None, Some(106), 3),
993        (None, Some(106), 3),
994        (None, Some(106), 3),
995        (None, Some(106), 3),
996        (None, Some(106), 3),
997        (None, Some(106), 3),
998        (None, Some(106), 3),
999        (None, Some(107), 3),
1000        (None, Some(107), 3),
1001        (None, Some(107), 3),
1002        (None, Some(107), 3),
1003        (None, Some(107), 3),
1004        (None, Some(107), 3),
1005        (None, Some(107), 3),
1006        (None, Some(107), 3),
1007        (None, Some(113), 3),
1008        (None, Some(113), 3),
1009        (None, Some(113), 3),
1010        (None, Some(113), 3),
1011        (None, Some(113), 3),
1012        (None, Some(113), 3),
1013        (None, Some(113), 3),
1014        (None, Some(113), 3),
1015        (None, Some(118), 3),
1016        (None, Some(118), 3),
1017        (None, Some(118), 3),
1018        (None, Some(118), 3),
1019        (None, Some(118), 3),
1020        (None, Some(118), 3),
1021        (None, Some(118), 3),
1022        (None, Some(118), 3)
1023    ],
1024    [ // 30
1025        (None, Some(108), 4),
1026        (None, Some(108), 4),
1027        (None, Some(108), 4),
1028        (None, Some(108), 4),
1029        (None, Some(108), 4),
1030        (None, Some(108), 4),
1031        (None, Some(108), 4),
1032        (None, Some(108), 4),
1033        (None, Some(108), 4),
1034        (None, Some(108), 4),
1035        (None, Some(108), 4),
1036        (None, Some(108), 4),
1037        (None, Some(108), 4),
1038        (None, Some(108), 4),
1039        (None, Some(108), 4),
1040        (None, Some(108), 4),
1041        (None, Some(109), 4),
1042        (None, Some(109), 4),
1043        (None, Some(109), 4),
1044        (None, Some(109), 4),
1045        (None, Some(109), 4),
1046        (None, Some(109), 4),
1047        (None, Some(109), 4),
1048        (None, Some(109), 4),
1049        (None, Some(109), 4),
1050        (None, Some(109), 4),
1051        (None, Some(109), 4),
1052        (None, Some(109), 4),
1053        (None, Some(109), 4),
1054        (None, Some(109), 4),
1055        (None, Some(109), 4),
1056        (None, Some(109), 4)
1057    ],
1058    [ // 31
1059        (None, Some(110), 4),
1060        (None, Some(110), 4),
1061        (None, Some(110), 4),
1062        (None, Some(110), 4),
1063        (None, Some(110), 4),
1064        (None, Some(110), 4),
1065        (None, Some(110), 4),
1066        (None, Some(110), 4),
1067        (None, Some(110), 4),
1068        (None, Some(110), 4),
1069        (None, Some(110), 4),
1070        (None, Some(110), 4),
1071        (None, Some(110), 4),
1072        (None, Some(110), 4),
1073        (None, Some(110), 4),
1074        (None, Some(110), 4),
1075        (None, Some(112), 4),
1076        (None, Some(112), 4),
1077        (None, Some(112), 4),
1078        (None, Some(112), 4),
1079        (None, Some(112), 4),
1080        (None, Some(112), 4),
1081        (None, Some(112), 4),
1082        (None, Some(112), 4),
1083        (None, Some(112), 4),
1084        (None, Some(112), 4),
1085        (None, Some(112), 4),
1086        (None, Some(112), 4),
1087        (None, Some(112), 4),
1088        (None, Some(112), 4),
1089        (None, Some(112), 4),
1090        (None, Some(112), 4)
1091    ],
1092    [ // 32
1093        (None, Some(114), 4),
1094        (None, Some(114), 4),
1095        (None, Some(114), 4),
1096        (None, Some(114), 4),
1097        (None, Some(114), 4),
1098        (None, Some(114), 4),
1099        (None, Some(114), 4),
1100        (None, Some(114), 4),
1101        (None, Some(114), 4),
1102        (None, Some(114), 4),
1103        (None, Some(114), 4),
1104        (None, Some(114), 4),
1105        (None, Some(114), 4),
1106        (None, Some(114), 4),
1107        (None, Some(114), 4),
1108        (None, Some(114), 4),
1109        (None, Some(117), 4),
1110        (None, Some(117), 4),
1111        (None, Some(117), 4),
1112        (None, Some(117), 4),
1113        (None, Some(117), 4),
1114        (None, Some(117), 4),
1115        (None, Some(117), 4),
1116        (None, Some(117), 4),
1117        (None, Some(117), 4),
1118        (None, Some(117), 4),
1119        (None, Some(117), 4),
1120        (None, Some(117), 4),
1121        (None, Some(117), 4),
1122        (None, Some(117), 4),
1123        (None, Some(117), 4),
1124        (None, Some(117), 4)
1125    ],
1126    [ // 33
1127        (None, Some(119), 3),
1128        (None, Some(119), 3),
1129        (None, Some(119), 3),
1130        (None, Some(119), 3),
1131        (None, Some(119), 3),
1132        (None, Some(119), 3),
1133        (None, Some(119), 3),
1134        (None, Some(119), 3),
1135        (None, Some(120), 3),
1136        (None, Some(120), 3),
1137        (None, Some(120), 3),
1138        (None, Some(120), 3),
1139        (None, Some(120), 3),
1140        (None, Some(120), 3),
1141        (None, Some(120), 3),
1142        (None, Some(120), 3),
1143        (None, Some(121), 3),
1144        (None, Some(121), 3),
1145        (None, Some(121), 3),
1146        (None, Some(121), 3),
1147        (None, Some(121), 3),
1148        (None, Some(121), 3),
1149        (None, Some(121), 3),
1150        (None, Some(121), 3),
1151        (None, Some(122), 3),
1152        (None, Some(122), 3),
1153        (None, Some(122), 3),
1154        (None, Some(122), 3),
1155        (None, Some(122), 3),
1156        (None, Some(122), 3),
1157        (None, Some(122), 3),
1158        (None, Some(122), 3)
1159    ],
1160    [ // 34
1161        (None, Some(230), 4),
1162        (None, Some(230), 4),
1163        (None, Some(230), 4),
1164        (None, Some(230), 4),
1165        (None, Some(230), 4),
1166        (None, Some(230), 4),
1167        (None, Some(230), 4),
1168        (None, Some(230), 4),
1169        (None, Some(230), 4),
1170        (None, Some(230), 4),
1171        (None, Some(230), 4),
1172        (None, Some(230), 4),
1173        (None, Some(230), 4),
1174        (None, Some(230), 4),
1175        (None, Some(230), 4),
1176        (None, Some(230), 4),
1177        (None, Some(129), 3),
1178        (None, Some(129), 3),
1179        (None, Some(129), 3),
1180        (None, Some(129), 3),
1181        (None, Some(129), 3),
1182        (None, Some(129), 3),
1183        (None, Some(129), 3),
1184        (None, Some(129), 3),
1185        (None, Some(132), 3),
1186        (None, Some(132), 3),
1187        (None, Some(132), 3),
1188        (None, Some(132), 3),
1189        (None, Some(132), 3),
1190        (None, Some(132), 3),
1191        (None, Some(132), 3),
1192        (None, Some(132), 3)
1193    ],
1194    [ // 35
1195        (None, Some(133), 3),
1196        (None, Some(133), 3),
1197        (None, Some(133), 3),
1198        (None, Some(133), 3),
1199        (None, Some(133), 3),
1200        (None, Some(133), 3),
1201        (None, Some(133), 3),
1202        (None, Some(133), 3),
1203        (None, Some(134), 3),
1204        (None, Some(134), 3),
1205        (None, Some(134), 3),
1206        (None, Some(134), 3),
1207        (None, Some(134), 3),
1208        (None, Some(134), 3),
1209        (None, Some(134), 3),
1210        (None, Some(134), 3),
1211        (None, Some(136), 3),
1212        (None, Some(136), 3),
1213        (None, Some(136), 3),
1214        (None, Some(136), 3),
1215        (None, Some(136), 3),
1216        (None, Some(136), 3),
1217        (None, Some(136), 3),
1218        (None, Some(136), 3),
1219        (None, Some(146), 3),
1220        (None, Some(146), 3),
1221        (None, Some(146), 3),
1222        (None, Some(146), 3),
1223        (None, Some(146), 3),
1224        (None, Some(146), 3),
1225        (None, Some(146), 3),
1226        (None, Some(146), 3)
1227    ],
1228    [ // 36
1229        (None, Some(147), 2),
1230        (None, Some(147), 2),
1231        (None, Some(147), 2),
1232        (None, Some(147), 2),
1233        (None, Some(149), 2),
1234        (None, Some(149), 2),
1235        (None, Some(149), 2),
1236        (None, Some(149), 2),
1237        (None, Some(150), 2),
1238        (None, Some(150), 2),
1239        (None, Some(150), 2),
1240        (None, Some(150), 2),
1241        (None, Some(151), 2),
1242        (None, Some(151), 2),
1243        (None, Some(151), 2),
1244        (None, Some(151), 2),
1245        (None, Some(152), 2),
1246        (None, Some(152), 2),
1247        (None, Some(152), 2),
1248        (None, Some(152), 2),
1249        (None, Some(155), 2),
1250        (None, Some(155), 2),
1251        (None, Some(155), 2),
1252        (None, Some(155), 2),
1253        (None, Some(157), 2),
1254        (None, Some(157), 2),
1255        (None, Some(157), 2),
1256        (None, Some(157), 2),
1257        (None, Some(158), 2),
1258        (None, Some(158), 2),
1259        (None, Some(158), 2),
1260        (None, Some(158), 2)
1261    ],
1262    [ // 37
1263        (None, Some(153), 4),
1264        (None, Some(153), 4),
1265        (None, Some(153), 4),
1266        (None, Some(153), 4),
1267        (None, Some(153), 4),
1268        (None, Some(153), 4),
1269        (None, Some(153), 4),
1270        (None, Some(153), 4),
1271        (None, Some(153), 4),
1272        (None, Some(153), 4),
1273        (None, Some(153), 4),
1274        (None, Some(153), 4),
1275        (None, Some(153), 4),
1276        (None, Some(153), 4),
1277        (None, Some(153), 4),
1278        (None, Some(153), 4),
1279        (None, Some(161), 4),
1280        (None, Some(161), 4),
1281        (None, Some(161), 4),
1282        (None, Some(161), 4),
1283        (None, Some(161), 4),
1284        (None, Some(161), 4),
1285        (None, Some(161), 4),
1286        (None, Some(161), 4),
1287        (None, Some(161), 4),
1288        (None, Some(161), 4),
1289        (None, Some(161), 4),
1290        (None, Some(161), 4),
1291        (None, Some(161), 4),
1292        (None, Some(161), 4),
1293        (None, Some(161), 4),
1294        (None, Some(161), 4)
1295    ],
1296    [ // 38
1297        (None, Some(154), 3),
1298        (None, Some(154), 3),
1299        (None, Some(154), 3),
1300        (None, Some(154), 3),
1301        (None, Some(154), 3),
1302        (None, Some(154), 3),
1303        (None, Some(154), 3),
1304        (None, Some(154), 3),
1305        (None, Some(156), 3),
1306        (None, Some(156), 3),
1307        (None, Some(156), 3),
1308        (None, Some(156), 3),
1309        (None, Some(156), 3),
1310        (None, Some(156), 3),
1311        (None, Some(156), 3),
1312        (None, Some(156), 3),
1313        (None, Some(160), 3),
1314        (None, Some(160), 3),
1315        (None, Some(160), 3),
1316        (None, Some(160), 3),
1317        (None, Some(160), 3),
1318        (None, Some(160), 3),
1319        (None, Some(160), 3),
1320        (None, Some(160), 3),
1321        (None, Some(163), 3),
1322        (None, Some(163), 3),
1323        (None, Some(163), 3),
1324        (None, Some(163), 3),
1325        (None, Some(163), 3),
1326        (None, Some(163), 3),
1327        (None, Some(163), 3),
1328        (None, Some(163), 3)
1329    ],
1330    [ // 39
1331        (None, Some(164), 3),
1332        (None, Some(164), 3),
1333        (None, Some(164), 3),
1334        (None, Some(164), 3),
1335        (None, Some(164), 3),
1336        (None, Some(164), 3),
1337        (None, Some(164), 3),
1338        (None, Some(164), 3),
1339        (None, Some(169), 3),
1340        (None, Some(169), 3),
1341        (None, Some(169), 3),
1342        (None, Some(169), 3),
1343        (None, Some(169), 3),
1344        (None, Some(169), 3),
1345        (None, Some(169), 3),
1346        (None, Some(169), 3),
1347        (None, Some(170), 3),
1348        (None, Some(170), 3),
1349        (None, Some(170), 3),
1350        (None, Some(170), 3),
1351        (None, Some(170), 3),
1352        (None, Some(170), 3),
1353        (None, Some(170), 3),
1354        (None, Some(170), 3),
1355        (None, Some(173), 3),
1356        (None, Some(173), 3),
1357        (None, Some(173), 3),
1358        (None, Some(173), 3),
1359        (None, Some(173), 3),
1360        (None, Some(173), 3),
1361        (None, Some(173), 3),
1362        (None, Some(173), 3)
1363    ],
1364    [ // 40
1365        (None, Some(165), 2),
1366        (None, Some(165), 2),
1367        (None, Some(165), 2),
1368        (None, Some(165), 2),
1369        (None, Some(166), 2),
1370        (None, Some(166), 2),
1371        (None, Some(166), 2),
1372        (None, Some(166), 2),
1373        (None, Some(168), 2),
1374        (None, Some(168), 2),
1375        (None, Some(168), 2),
1376        (None, Some(168), 2),
1377        (None, Some(174), 2),
1378        (None, Some(174), 2),
1379        (None, Some(174), 2),
1380        (None, Some(174), 2),
1381        (None, Some(175), 2),
1382        (None, Some(175), 2),
1383        (None, Some(175), 2),
1384        (None, Some(175), 2),
1385        (None, Some(180), 2),
1386        (None, Some(180), 2),
1387        (None, Some(180), 2),
1388        (None, Some(180), 2),
1389        (None, Some(182), 2),
1390        (None, Some(182), 2),
1391        (None, Some(182), 2),
1392        (None, Some(182), 2),
1393        (None, Some(183), 2),
1394        (None, Some(183), 2),
1395        (None, Some(183), 2),
1396        (None, Some(183), 2)
1397    ],
1398    [ // 41
1399        (None, Some(167), 4),
1400        (None, Some(167), 4),
1401        (None, Some(167), 4),
1402        (None, Some(167), 4),
1403        (None, Some(167), 4),
1404        (None, Some(167), 4),
1405        (None, Some(167), 4),
1406        (None, Some(167), 4),
1407        (None, Some(167), 4),
1408        (None, Some(167), 4),
1409        (None, Some(167), 4),
1410        (None, Some(167), 4),
1411        (None, Some(167), 4),
1412        (None, Some(167), 4),
1413        (None, Some(167), 4),
1414        (None, Some(167), 4),
1415        (None, Some(172), 4),
1416        (None, Some(172), 4),
1417        (None, Some(172), 4),
1418        (None, Some(172), 4),
1419        (None, Some(172), 4),
1420        (None, Some(172), 4),
1421        (None, Some(172), 4),
1422        (None, Some(172), 4),
1423        (None, Some(172), 4),
1424        (None, Some(172), 4),
1425        (None, Some(172), 4),
1426        (None, Some(172), 4),
1427        (None, Some(172), 4),
1428        (None, Some(172), 4),
1429        (None, Some(172), 4),
1430        (None, Some(172), 4)
1431    ],
1432    [ // 42
1433        (None, Some(176), 4),
1434        (None, Some(176), 4),
1435        (None, Some(176), 4),
1436        (None, Some(176), 4),
1437        (None, Some(176), 4),
1438        (None, Some(176), 4),
1439        (None, Some(176), 4),
1440        (None, Some(176), 4),
1441        (None, Some(176), 4),
1442        (None, Some(176), 4),
1443        (None, Some(176), 4),
1444        (None, Some(176), 4),
1445        (None, Some(176), 4),
1446        (None, Some(176), 4),
1447        (None, Some(176), 4),
1448        (None, Some(176), 4),
1449        (None, Some(177), 4),
1450        (None, Some(177), 4),
1451        (None, Some(177), 4),
1452        (None, Some(177), 4),
1453        (None, Some(177), 4),
1454        (None, Some(177), 4),
1455        (None, Some(177), 4),
1456        (None, Some(177), 4),
1457        (None, Some(177), 4),
1458        (None, Some(177), 4),
1459        (None, Some(177), 4),
1460        (None, Some(177), 4),
1461        (None, Some(177), 4),
1462        (None, Some(177), 4),
1463        (None, Some(177), 4),
1464        (None, Some(177), 4)
1465    ],
1466    [ // 43
1467        (None, Some(178), 3),
1468        (None, Some(178), 3),
1469        (None, Some(178), 3),
1470        (None, Some(178), 3),
1471        (None, Some(178), 3),
1472        (None, Some(178), 3),
1473        (None, Some(178), 3),
1474        (None, Some(178), 3),
1475        (None, Some(181), 3),
1476        (None, Some(181), 3),
1477        (None, Some(181), 3),
1478        (None, Some(181), 3),
1479        (None, Some(181), 3),
1480        (None, Some(181), 3),
1481        (None, Some(181), 3),
1482        (None, Some(181), 3),
1483        (None, Some(185), 3),
1484        (None, Some(185), 3),
1485        (None, Some(185), 3),
1486        (None, Some(185), 3),
1487        (None, Some(185), 3),
1488        (None, Some(185), 3),
1489        (None, Some(185), 3),
1490        (None, Some(185), 3),
1491        (None, Some(186), 3),
1492        (None, Some(186), 3),
1493        (None, Some(186), 3),
1494        (None, Some(186), 3),
1495        (None, Some(186), 3),
1496        (None, Some(186), 3),
1497        (None, Some(186), 3),
1498        (None, Some(186), 3)
1499    ],
1500    [ // 44
1501        (None, Some(179), 4),
1502        (None, Some(179), 4),
1503        (None, Some(179), 4),
1504        (None, Some(179), 4),
1505        (None, Some(179), 4),
1506        (None, Some(179), 4),
1507        (None, Some(179), 4),
1508        (None, Some(179), 4),
1509        (None, Some(179), 4),
1510        (None, Some(179), 4),
1511        (None, Some(179), 4),
1512        (None, Some(179), 4),
1513        (None, Some(179), 4),
1514        (None, Some(179), 4),
1515        (None, Some(179), 4),
1516        (None, Some(179), 4),
1517        (None, Some(209), 4),
1518        (None, Some(209), 4),
1519        (None, Some(209), 4),
1520        (None, Some(209), 4),
1521        (None, Some(209), 4),
1522        (None, Some(209), 4),
1523        (None, Some(209), 4),
1524        (None, Some(209), 4),
1525        (None, Some(209), 4),
1526        (None, Some(209), 4),
1527        (None, Some(209), 4),
1528        (None, Some(209), 4),
1529        (None, Some(209), 4),
1530        (None, Some(209), 4),
1531        (None, Some(209), 4),
1532        (None, Some(209), 4)
1533    ],
1534    [ // 45
1535        (None, Some(187), 3),
1536        (None, Some(187), 3),
1537        (None, Some(187), 3),
1538        (None, Some(187), 3),
1539        (None, Some(187), 3),
1540        (None, Some(187), 3),
1541        (None, Some(187), 3),
1542        (None, Some(187), 3),
1543        (None, Some(189), 3),
1544        (None, Some(189), 3),
1545        (None, Some(189), 3),
1546        (None, Some(189), 3),
1547        (None, Some(189), 3),
1548        (None, Some(189), 3),
1549        (None, Some(189), 3),
1550        (None, Some(189), 3),
1551        (None, Some(190), 3),
1552        (None, Some(190), 3),
1553        (None, Some(190), 3),
1554        (None, Some(190), 3),
1555        (None, Some(190), 3),
1556        (None, Some(190), 3),
1557        (None, Some(190), 3),
1558        (None, Some(190), 3),
1559        (None, Some(196), 3),
1560        (None, Some(196), 3),
1561        (None, Some(196), 3),
1562        (None, Some(196), 3),
1563        (None, Some(196), 3),
1564        (None, Some(196), 3),
1565        (None, Some(196), 3),
1566        (None, Some(196), 3)
1567    ],
1568    [ // 46
1569        (None, Some(192), 4),
1570        (None, Some(192), 4),
1571        (None, Some(192), 4),
1572        (None, Some(192), 4),
1573        (None, Some(192), 4),
1574        (None, Some(192), 4),
1575        (None, Some(192), 4),
1576        (None, Some(192), 4),
1577        (None, Some(192), 4),
1578        (None, Some(192), 4),
1579        (None, Some(192), 4),
1580        (None, Some(192), 4),
1581        (None, Some(192), 4),
1582        (None, Some(192), 4),
1583        (None, Some(192), 4),
1584        (None, Some(192), 4),
1585        (None, Some(193), 4),
1586        (None, Some(193), 4),
1587        (None, Some(193), 4),
1588        (None, Some(193), 4),
1589        (None, Some(193), 4),
1590        (None, Some(193), 4),
1591        (None, Some(193), 4),
1592        (None, Some(193), 4),
1593        (None, Some(193), 4),
1594        (None, Some(193), 4),
1595        (None, Some(193), 4),
1596        (None, Some(193), 4),
1597        (None, Some(193), 4),
1598        (None, Some(193), 4),
1599        (None, Some(193), 4),
1600        (None, Some(193), 4)
1601    ],
1602    [ // 47
1603        (None, Some(198), 3),
1604        (None, Some(198), 3),
1605        (None, Some(198), 3),
1606        (None, Some(198), 3),
1607        (None, Some(198), 3),
1608        (None, Some(198), 3),
1609        (None, Some(198), 3),
1610        (None, Some(198), 3),
1611        (None, Some(228), 3),
1612        (None, Some(228), 3),
1613        (None, Some(228), 3),
1614        (None, Some(228), 3),
1615        (None, Some(228), 3),
1616        (None, Some(228), 3),
1617        (None, Some(228), 3),
1618        (None, Some(228), 3),
1619        (None, Some(232), 3),
1620        (None, Some(232), 3),
1621        (None, Some(232), 3),
1622        (None, Some(232), 3),
1623        (None, Some(232), 3),
1624        (None, Some(232), 3),
1625        (None, Some(232), 3),
1626        (None, Some(232), 3),
1627        (None, Some(233), 3),
1628        (None, Some(233), 3),
1629        (None, Some(233), 3),
1630        (None, Some(233), 3),
1631        (None, Some(233), 3),
1632        (None, Some(233), 3),
1633        (None, Some(233), 3),
1634        (None, Some(233), 3)
1635    ],
1636    [ // 48
1637        (None, Some(200), 4),
1638        (None, Some(200), 4),
1639        (None, Some(200), 4),
1640        (None, Some(200), 4),
1641        (None, Some(200), 4),
1642        (None, Some(200), 4),
1643        (None, Some(200), 4),
1644        (None, Some(200), 4),
1645        (None, Some(200), 4),
1646        (None, Some(200), 4),
1647        (None, Some(200), 4),
1648        (None, Some(200), 4),
1649        (None, Some(200), 4),
1650        (None, Some(200), 4),
1651        (None, Some(200), 4),
1652        (None, Some(200), 4),
1653        (None, Some(201), 4),
1654        (None, Some(201), 4),
1655        (None, Some(201), 4),
1656        (None, Some(201), 4),
1657        (None, Some(201), 4),
1658        (None, Some(201), 4),
1659        (None, Some(201), 4),
1660        (None, Some(201), 4),
1661        (None, Some(201), 4),
1662        (None, Some(201), 4),
1663        (None, Some(201), 4),
1664        (None, Some(201), 4),
1665        (None, Some(201), 4),
1666        (None, Some(201), 4),
1667        (None, Some(201), 4),
1668        (None, Some(201), 4)
1669    ],
1670    [ // 49
1671        (None, Some(202), 4),
1672        (None, Some(202), 4),
1673        (None, Some(202), 4),
1674        (None, Some(202), 4),
1675        (None, Some(202), 4),
1676        (None, Some(202), 4),
1677        (None, Some(202), 4),
1678        (None, Some(202), 4),
1679        (None, Some(202), 4),
1680        (None, Some(202), 4),
1681        (None, Some(202), 4),
1682        (None, Some(202), 4),
1683        (None, Some(202), 4),
1684        (None, Some(202), 4),
1685        (None, Some(202), 4),
1686        (None, Some(202), 4),
1687        (None, Some(205), 4),
1688        (None, Some(205), 4),
1689        (None, Some(205), 4),
1690        (None, Some(205), 4),
1691        (None, Some(205), 4),
1692        (None, Some(205), 4),
1693        (None, Some(205), 4),
1694        (None, Some(205), 4),
1695        (None, Some(205), 4),
1696        (None, Some(205), 4),
1697        (None, Some(205), 4),
1698        (None, Some(205), 4),
1699        (None, Some(205), 4),
1700        (None, Some(205), 4),
1701        (None, Some(205), 4),
1702        (None, Some(205), 4)
1703    ],
1704    [ // 50
1705        (None, Some(255), 4),
1706        (None, Some(255), 4),
1707        (None, Some(255), 4),
1708        (None, Some(255), 4),
1709        (None, Some(255), 4),
1710        (None, Some(255), 4),
1711        (None, Some(255), 4),
1712        (None, Some(255), 4),
1713        (None, Some(255), 4),
1714        (None, Some(255), 4),
1715        (None, Some(255), 4),
1716        (None, Some(255), 4),
1717        (None, Some(255), 4),
1718        (None, Some(255), 4),
1719        (None, Some(255), 4),
1720        (None, Some(255), 4),
1721        (None, Some(203), 3),
1722        (None, Some(203), 3),
1723        (None, Some(203), 3),
1724        (None, Some(203), 3),
1725        (None, Some(203), 3),
1726        (None, Some(203), 3),
1727        (None, Some(203), 3),
1728        (None, Some(203), 3),
1729        (None, Some(204), 3),
1730        (None, Some(204), 3),
1731        (None, Some(204), 3),
1732        (None, Some(204), 3),
1733        (None, Some(204), 3),
1734        (None, Some(204), 3),
1735        (None, Some(204), 3),
1736        (None, Some(204), 3)
1737    ],
1738    [ // 51
1739        (None, Some(210), 4),
1740        (None, Some(210), 4),
1741        (None, Some(210), 4),
1742        (None, Some(210), 4),
1743        (None, Some(210), 4),
1744        (None, Some(210), 4),
1745        (None, Some(210), 4),
1746        (None, Some(210), 4),
1747        (None, Some(210), 4),
1748        (None, Some(210), 4),
1749        (None, Some(210), 4),
1750        (None, Some(210), 4),
1751        (None, Some(210), 4),
1752        (None, Some(210), 4),
1753        (None, Some(210), 4),
1754        (None, Some(210), 4),
1755        (None, Some(213), 4),
1756        (None, Some(213), 4),
1757        (None, Some(213), 4),
1758        (None, Some(213), 4),
1759        (None, Some(213), 4),
1760        (None, Some(213), 4),
1761        (None, Some(213), 4),
1762        (None, Some(213), 4),
1763        (None, Some(213), 4),
1764        (None, Some(213), 4),
1765        (None, Some(213), 4),
1766        (None, Some(213), 4),
1767        (None, Some(213), 4),
1768        (None, Some(213), 4),
1769        (None, Some(213), 4),
1770        (None, Some(213), 4)
1771    ],
1772    [ // 52
1773        (None, Some(211), 3),
1774        (None, Some(211), 3),
1775        (None, Some(211), 3),
1776        (None, Some(211), 3),
1777        (None, Some(211), 3),
1778        (None, Some(211), 3),
1779        (None, Some(211), 3),
1780        (None, Some(211), 3),
1781        (None, Some(212), 3),
1782        (None, Some(212), 3),
1783        (None, Some(212), 3),
1784        (None, Some(212), 3),
1785        (None, Some(212), 3),
1786        (None, Some(212), 3),
1787        (None, Some(212), 3),
1788        (None, Some(212), 3),
1789        (None, Some(214), 3),
1790        (None, Some(214), 3),
1791        (None, Some(214), 3),
1792        (None, Some(214), 3),
1793        (None, Some(214), 3),
1794        (None, Some(214), 3),
1795        (None, Some(214), 3),
1796        (None, Some(214), 3),
1797        (None, Some(221), 3),
1798        (None, Some(221), 3),
1799        (None, Some(221), 3),
1800        (None, Some(221), 3),
1801        (None, Some(221), 3),
1802        (None, Some(221), 3),
1803        (None, Some(221), 3),
1804        (None, Some(221), 3)
1805    ],
1806    [ // 53
1807        (None, Some(216), 4),
1808        (None, Some(216), 4),
1809        (None, Some(216), 4),
1810        (None, Some(216), 4),
1811        (None, Some(216), 4),
1812        (None, Some(216), 4),
1813        (None, Some(216), 4),
1814        (None, Some(216), 4),
1815        (None, Some(216), 4),
1816        (None, Some(216), 4),
1817        (None, Some(216), 4),
1818        (None, Some(216), 4),
1819        (None, Some(216), 4),
1820        (None, Some(216), 4),
1821        (None, Some(216), 4),
1822        (None, Some(216), 4),
1823        (None, Some(217), 4),
1824        (None, Some(217), 4),
1825        (None, Some(217), 4),
1826        (None, Some(217), 4),
1827        (None, Some(217), 4),
1828        (None, Some(217), 4),
1829        (None, Some(217), 4),
1830        (None, Some(217), 4),
1831        (None, Some(217), 4),
1832        (None, Some(217), 4),
1833        (None, Some(217), 4),
1834        (None, Some(217), 4),
1835        (None, Some(217), 4),
1836        (None, Some(217), 4),
1837        (None, Some(217), 4),
1838        (None, Some(217), 4)
1839    ],
1840    [ // 54
1841        (None, Some(218), 4),
1842        (None, Some(218), 4),
1843        (None, Some(218), 4),
1844        (None, Some(218), 4),
1845        (None, Some(218), 4),
1846        (None, Some(218), 4),
1847        (None, Some(218), 4),
1848        (None, Some(218), 4),
1849        (None, Some(218), 4),
1850        (None, Some(218), 4),
1851        (None, Some(218), 4),
1852        (None, Some(218), 4),
1853        (None, Some(218), 4),
1854        (None, Some(218), 4),
1855        (None, Some(218), 4),
1856        (None, Some(218), 4),
1857        (None, Some(219), 4),
1858        (None, Some(219), 4),
1859        (None, Some(219), 4),
1860        (None, Some(219), 4),
1861        (None, Some(219), 4),
1862        (None, Some(219), 4),
1863        (None, Some(219), 4),
1864        (None, Some(219), 4),
1865        (None, Some(219), 4),
1866        (None, Some(219), 4),
1867        (None, Some(219), 4),
1868        (None, Some(219), 4),
1869        (None, Some(219), 4),
1870        (None, Some(219), 4),
1871        (None, Some(219), 4),
1872        (None, Some(219), 4)
1873    ],
1874    [ // 55
1875        (None, Some(222), 3),
1876        (None, Some(222), 3),
1877        (None, Some(222), 3),
1878        (None, Some(222), 3),
1879        (None, Some(222), 3),
1880        (None, Some(222), 3),
1881        (None, Some(222), 3),
1882        (None, Some(222), 3),
1883        (None, Some(223), 3),
1884        (None, Some(223), 3),
1885        (None, Some(223), 3),
1886        (None, Some(223), 3),
1887        (None, Some(223), 3),
1888        (None, Some(223), 3),
1889        (None, Some(223), 3),
1890        (None, Some(223), 3),
1891        (None, Some(241), 3),
1892        (None, Some(241), 3),
1893        (None, Some(241), 3),
1894        (None, Some(241), 3),
1895        (None, Some(241), 3),
1896        (None, Some(241), 3),
1897        (None, Some(241), 3),
1898        (None, Some(241), 3),
1899        (None, Some(244), 3),
1900        (None, Some(244), 3),
1901        (None, Some(244), 3),
1902        (None, Some(244), 3),
1903        (None, Some(244), 3),
1904        (None, Some(244), 3),
1905        (None, Some(244), 3),
1906        (None, Some(244), 3)
1907    ],
1908    [ // 56
1909        (None, Some(227), 4),
1910        (None, Some(227), 4),
1911        (None, Some(227), 4),
1912        (None, Some(227), 4),
1913        (None, Some(227), 4),
1914        (None, Some(227), 4),
1915        (None, Some(227), 4),
1916        (None, Some(227), 4),
1917        (None, Some(227), 4),
1918        (None, Some(227), 4),
1919        (None, Some(227), 4),
1920        (None, Some(227), 4),
1921        (None, Some(227), 4),
1922        (None, Some(227), 4),
1923        (None, Some(227), 4),
1924        (None, Some(227), 4),
1925        (None, Some(229), 4),
1926        (None, Some(229), 4),
1927        (None, Some(229), 4),
1928        (None, Some(229), 4),
1929        (None, Some(229), 4),
1930        (None, Some(229), 4),
1931        (None, Some(229), 4),
1932        (None, Some(229), 4),
1933        (None, Some(229), 4),
1934        (None, Some(229), 4),
1935        (None, Some(229), 4),
1936        (None, Some(229), 4),
1937        (None, Some(229), 4),
1938        (None, Some(229), 4),
1939        (None, Some(229), 4),
1940        (None, Some(229), 4)
1941    ],
1942    [ // 57
1943        (None, Some(238), 4),
1944        (None, Some(238), 4),
1945        (None, Some(238), 4),
1946        (None, Some(238), 4),
1947        (None, Some(238), 4),
1948        (None, Some(238), 4),
1949        (None, Some(238), 4),
1950        (None, Some(238), 4),
1951        (None, Some(238), 4),
1952        (None, Some(238), 4),
1953        (None, Some(238), 4),
1954        (None, Some(238), 4),
1955        (None, Some(238), 4),
1956        (None, Some(238), 4),
1957        (None, Some(238), 4),
1958        (None, Some(238), 4),
1959        (None, Some(240), 4),
1960        (None, Some(240), 4),
1961        (None, Some(240), 4),
1962        (None, Some(240), 4),
1963        (None, Some(240), 4),
1964        (None, Some(240), 4),
1965        (None, Some(240), 4),
1966        (None, Some(240), 4),
1967        (None, Some(240), 4),
1968        (None, Some(240), 4),
1969        (None, Some(240), 4),
1970        (None, Some(240), 4),
1971        (None, Some(240), 4),
1972        (None, Some(240), 4),
1973        (None, Some(240), 4),
1974        (None, Some(240), 4)
1975    ],
1976    [ // 58
1977        (None, Some(242), 4),
1978        (None, Some(242), 4),
1979        (None, Some(242), 4),
1980        (None, Some(242), 4),
1981        (None, Some(242), 4),
1982        (None, Some(242), 4),
1983        (None, Some(242), 4),
1984        (None, Some(242), 4),
1985        (None, Some(242), 4),
1986        (None, Some(242), 4),
1987        (None, Some(242), 4),
1988        (None, Some(242), 4),
1989        (None, Some(242), 4),
1990        (None, Some(242), 4),
1991        (None, Some(242), 4),
1992        (None, Some(242), 4),
1993        (None, Some(243), 4),
1994        (None, Some(243), 4),
1995        (None, Some(243), 4),
1996        (None, Some(243), 4),
1997        (None, Some(243), 4),
1998        (None, Some(243), 4),
1999        (None, Some(243), 4),
2000        (None, Some(243), 4),
2001        (None, Some(243), 4),
2002        (None, Some(243), 4),
2003        (None, Some(243), 4),
2004        (None, Some(243), 4),
2005        (None, Some(243), 4),
2006        (None, Some(243), 4),
2007        (None, Some(243), 4),
2008        (None, Some(243), 4)
2009    ],
2010    [ // 59
2011        (None, Some(245), 3),
2012        (None, Some(245), 3),
2013        (None, Some(245), 3),
2014        (None, Some(245), 3),
2015        (None, Some(245), 3),
2016        (None, Some(245), 3),
2017        (None, Some(245), 3),
2018        (None, Some(245), 3),
2019        (None, Some(246), 3),
2020        (None, Some(246), 3),
2021        (None, Some(246), 3),
2022        (None, Some(246), 3),
2023        (None, Some(246), 3),
2024        (None, Some(246), 3),
2025        (None, Some(246), 3),
2026        (None, Some(246), 3),
2027        (None, Some(247), 3),
2028        (None, Some(247), 3),
2029        (None, Some(247), 3),
2030        (None, Some(247), 3),
2031        (None, Some(247), 3),
2032        (None, Some(247), 3),
2033        (None, Some(247), 3),
2034        (None, Some(247), 3),
2035        (None, Some(248), 3),
2036        (None, Some(248), 3),
2037        (None, Some(248), 3),
2038        (None, Some(248), 3),
2039        (None, Some(248), 3),
2040        (None, Some(248), 3),
2041        (None, Some(248), 3),
2042        (None, Some(248), 3)
2043    ],
2044    [ // 60
2045        (None, Some(250), 3),
2046        (None, Some(250), 3),
2047        (None, Some(250), 3),
2048        (None, Some(250), 3),
2049        (None, Some(250), 3),
2050        (None, Some(250), 3),
2051        (None, Some(250), 3),
2052        (None, Some(250), 3),
2053        (None, Some(251), 3),
2054        (None, Some(251), 3),
2055        (None, Some(251), 3),
2056        (None, Some(251), 3),
2057        (None, Some(251), 3),
2058        (None, Some(251), 3),
2059        (None, Some(251), 3),
2060        (None, Some(251), 3),
2061        (None, Some(252), 3),
2062        (None, Some(252), 3),
2063        (None, Some(252), 3),
2064        (None, Some(252), 3),
2065        (None, Some(252), 3),
2066        (None, Some(252), 3),
2067        (None, Some(252), 3),
2068        (None, Some(252), 3),
2069        (None, Some(253), 3),
2070        (None, Some(253), 3),
2071        (None, Some(253), 3),
2072        (None, Some(253), 3),
2073        (None, Some(253), 3),
2074        (None, Some(253), 3),
2075        (None, Some(253), 3),
2076        (None, Some(253), 3)
2077    ]
2078];