src/mp3_tab.bend
emerging-ezaudio@0.4.0.0 · 1,508 lines · 0 definitions
1import Base
2
3def tabs.join(xs: List<&2, List<&2, U32>>) -> List<&2, U32>:
4 match xs:
5 case Nil{}:
6 []
7 case +hd <> tl:
8 List.append(&2, U32, hd, tabs.join(tl))
9
10def tab.win.p0() -> List<&2, U32>:
11 [
12 0, 2147483648, 2147483648, 2147483648, 2147483648, 2147483648, 2147483648, 3045472189,
13 3045472189, 3045472189, 3045472189, 3045472189, 3045472189, 3053860797, 3053860797, 3053860797,
14 3053860797, 3058258844, 3058258844, 3058258844, 3062249405, 3062249405, 3064448428, 3064448428,
15 3066647452, 3068846475, 3070638013, 3070638013, 3071737525, 3072837036, 3073936548, 3075036060,
16 3077235083, 3078334594, 3079576377, 3080126133, 3081225644, 3081775400, 3082874912, 3083974423,
17 3085623691, 3086723202, 3087415229, 3088239863, 3089064496, 3089889130, 3090438886, 3091263520,
18 3092363031, 3093187665, 3094012299, 3095111810, 3095666398, 3096078715, 3096628471, 3097040788,
19 3097590543, 3098140299, 3098552616, 3098964933, 3099514689, 3099789567, 3100201884, 3100614200,
20 953542869, 953817747, 954092625, 954230064, 954367503, 954504942, 954504942, 954367503,
21 954230064, 953955186, 953680308, 953130552, 952580797, 951893602, 951068968, 950244334,
22 949144823, 947903040, 945154261, 942130604, 937590287, 929751435, 3045472189, 3079576377,
23 3087964985, 3093187665, 3097040788, 3099927006, 3102950663, 3105017079, 3106735066, 3108521772,
24 3110445917, 3112271815, 3113302608, 3114367759, 3115432911, 3116532423, 3117666294, 3118834525,
25 3120037116, 3120883762, 3121485057, 3122086353, 3122687648, 3123288943, 3123873059, 3124439995,
26 3125006930, 3125556686, 3126089262, 3126587478, 3127051335, 3127498011, 3127893148, 3128253926,
27 3128563163, 3128820861, 3128988902, 3129057621, 3129100571, 3129109161, 3129083391, 3129014672,
28 981371573, 981079515, 980684378, 980203342, 979619226, 978932032, 978158937, 977265584,
29 976269152, 975169640, 973949869, 972209871, 969323653, 966196917, 961106844, 951618724,
30 3081775400, 3104810920, 3112718492, 3117116538, 3121141460, 3123546641, 3126037722, 3128614703,
31 3130105593, 3131471393, 3132862962, 3134288891, 3135740590, 3137200879, 3138013165, 3138756194,
32 3139503519, 3140250843, 3140989577, 3141724017, 3142445571, 3143154241, 3143841436, 3144511451,
33 3145151401, 3145744643, 3146034553, 3146305136, 3146554244, 3146779730, 3146981594, 3147153392,
34 3147299421, 3147413238, 3147492695, 3147537792, 3147544234, 3147512022, 3147439008, 3147323043,
35 3147161982, 3146953676, 3146698126, 3146391036, 3146034553, 3145525063, 3144597350, 3143562263,
36 994931858, 993669138, 992299044, 990808690, 988549000, 985104436, 981371573, 973554732,
37 940206459, 3120140195, 3129255190, 3134082733, 3138236503, 3140865023, 3143600917, 3146083945,
38 3147552824, 3149068948, 3150630168, 3152236486, 3153881459, 3154840847, 3155700914, 3156577087,
39 3157467219, 3158371310, 3159287212, 3160211703, 3161145859, 3162085383, 3162767209, 3163240192,
40 3163713712, 3164186696, 3164657531, 3165126220, 3165590613, 3166050712, 3166504367, 3166951581,
41 3167390741, 3167821312, 3168242219, 3168651851, 3169049672, 3169435146, 3169806660, 3170163680,
42 3170505666, 3170831010, 3171016499, 3171161723, 3171297819, 3171424252, 3171540753, 3171647054,
43 3171742885, 3171827979, 3171902336, 3171965418, 3172017226, 3172057760, 3172086751, 3172104199
44 ]
45
46def tab.win.p1() -> List<&2, U32>:
47 [
48 1024626457, 1024620551, 1024603103, 1024574112, 1024533578, 1024481770, 1024418688, 1024344331,
49 1024259237, 1024163406, 1024057105, 1023940604, 1023814171, 1023678075, 1023532851, 1023347362,
50 1023022018, 1022680032, 1022323012, 1021951498, 1021566024, 1021168203, 1020758571, 1020337664,
51 1019907093, 1019467933, 1019020719, 1018567064, 1018106965, 1017642572, 1017173883, 1016703048,
52 1016230064, 1015756544, 1015283561, 1014601735, 1013662211, 1012728055, 1011803564, 1010887662,
53 1009983571, 1009093439, 1008217266, 1007357199, 1006397811, 1004752838, 1003146520, 1001585300,
54 1000069176, 998600297, 996117269, 993381375, 990752855, 986599085, 981771542, 972656547,
55 3087690107, 3121038380, 3128855221, 3132588084, 3136032648, 3138292338, 3139782692, 3141152786,
56 994931858, 996078615, 997113702, 998041415, 998550905, 998907388, 999214478, 999470028,
57 999678334, 999839395, 999955360, 1000028374, 1000060586, 1000054144, 1000009047, 999929590,
58 999815773, 999669744, 999497946, 999296082, 999070596, 998821488, 998550905, 998260995,
59 997667753, 997027803, 996357788, 995670593, 994961923, 994240369, 993505929, 992767195,
60 992019871, 991272546, 990529517, 989717231, 988256942, 986805243, 985379314, 983987745,
61 982621945, 981131055, 978554074, 976062993, 973657812, 969632890, 965234844, 957327272,
62 934291752, 3099102372, 3108590492, 3113680565, 3116807301, 3119693519, 3121433517, 3122653288,
63 3123752800, 3124749232, 3125642585, 3126415680, 3127102874, 3127686990, 3128168026, 3128563163,
64 981371573, 981531024, 981599743, 981625513, 981616923, 981573973, 981505254, 981337213,
65 981079515, 980770278, 980409500, 980014363, 979567687, 979103830, 978605614, 978073038,
66 977523282, 976956347, 976389411, 975805295, 975204000, 974602705, 974001409, 973400114,
67 972553468, 971350877, 970182646, 969048775, 967949263, 966884111, 965818960, 964788167,
68 962962269, 961038124, 959251418, 957533431, 955467015, 952443358, 949557140, 945704017,
69 940481337, 932092729, 897988541, 3077235083, 3085073935, 3089614252, 3092637909, 3095386688,
70 3096628471, 3097727982, 3098552616, 3099377250, 3100064445, 3100614200, 3101163956, 3101438834,
71 3101713712, 3101851151, 3101988590, 3101988590, 3101851151, 3101713712, 3101576273, 3101301395,
72 953542869, 953130552, 952718236, 952305919, 952031041, 951481285, 951068968, 950656651,
73 950106895, 949557140, 949144823, 948595067, 948182750, 947628162, 946528651, 945704017,
74 944879383, 943779872, 942955238, 942405482, 941580848, 940756215, 939931581, 939239554,
75 938140043, 936490775, 935391264, 934291752, 933741996, 932642485, 932092729, 930850946,
76 929751435, 927552412, 926452900, 925353388, 924253877, 923154365, 923154365, 921362827,
77 919163804, 916964780, 916964780, 914765757, 914765757, 910775196, 910775196, 910775196,
78 906377149, 906377149, 906377149, 906377149, 897988541, 897988541, 897988541, 897988541,
79 897988541, 897988541, 0, 0, 0, 0, 0, 0
80 ]
81
82def tab.win() -> List<&2, U32>:
83 tabs.join([
84 tab.win.p0(),
85 tab.win.p1(),
86 ])
87
88def tab.cos.p0() -> List<&2, U32>:
89 [
90 1060439283, 1059842890, 1059219353, 1058570176, 1057896922, 1057201213, 1056004842, 1054533760,
91 1053028117, 1051491540, 1049927729, 1048104908, 1044891074, 1041645699, 1036565814, 1028193072,
92 613232946, 3175676720, 3184049462, 3189129347, 3192374722, 3195588556, 3197411377, 3198975188,
93 3200511765, 3202017408, 3203488490, 3204684861, 3205380570, 3206053824, 3206703001, 3207326538,
94 3207922931, 3208490745, 3209028611, 3209535234, 3210009393, 3210449946, 3210855832, 3211226072,
95 3211559774, 3211856136, 3212114443, 3212334072, 3212514494, 3212655276, 3212756077, 3212816655,
96 3212836864, 3212816655, 3212756077, 3212655276, 3212514494, 3212334072, 3212114443, 3211856136,
97 3211559774, 3211226072, 3210855832, 3210449946, 3210009393, 3209535234, 3209028611, 3208490745,
98 3207922931, 3209535234, 3210855832, 3211856136, 3212514494, 3212816655, 3212756077, 3212334072,
99 3211559774, 3210449946, 3209028611, 3207326538, 3205380570, 3202017408, 3197411377, 3189129347,
100 2773731786, 1041645699, 1049927729, 1054533760, 1057896922, 1059842890, 1061544963, 1062966298,
101 1064076126, 1064850424, 1065272429, 1065333007, 1065030846, 1064372488, 1063372184, 1062051586,
102 1060439283, 1058570176, 1056004842, 1051491540, 1044891074, 1028193072, 3184049462, 3195588556,
103 3200511765, 3204684861, 3206703001, 3208490745, 3210009393, 3211226072, 3212114443, 3212655276,
104 3212836864, 3212655276, 3212114443, 3211226072, 3210009393, 3208490745, 3206703001, 3204684861,
105 3200511765, 3195588556, 3184049462, 1028193072, 1044891074, 1051491540, 1056004842, 1058570176,
106 3207922931, 3204684861, 3197411377, 3175676720, 1044891074, 1054533760, 1059219353, 1062051586,
107 1064076126, 1065171628, 1065272429, 1064372488, 1062525745, 1059842890, 1056004842, 1048104908,
108 632323454, 3195588556, 3203488490, 3207326538, 3210009393, 3211856136, 3212756077, 3212655276,
109 3211559774, 3209535234, 3206703001, 3202017408, 3192374722, 1028193072, 1049927729, 1057201213,
110 1060439283, 1062966298, 1064630795, 1065333007, 1065030846, 1063742424, 1061544963, 1058570176,
111 1053028117, 1041645699, 3184049462, 3198975188, 3205380570, 3208490745, 3210855832, 3212334072,
112 3212836864, 3212334072, 3210855832, 3208490745, 3205380570, 3198975188, 3184049462, 1041645699,
113 1053028117, 1058570176, 1061544963, 1063742424, 1065030846, 1065333007, 1064630795, 1062966298,
114 1060439283, 1063742424, 1065272429, 1064850424, 1062525745, 1058570176, 1049927729, 3175676720,
115 3200511765, 3207326538, 3210855832, 3212655276, 3212514494, 3210449946, 3206703001, 3198975188,
116 2784433687, 1051491540, 1059219353, 1062966298, 1065030846, 1065171628, 1063372184, 1059842890,
117 1053028117, 1028193072, 3197411377, 3206053824, 3210009393, 3212334072, 3212756077, 3211226072,
118 3207922931, 3202017408, 3184049462, 1048104908, 1057896922, 1062051586, 1064630795, 1065333007,
119 1064076126, 1061007097, 1056004842, 1041645699, 3192374722, 3204684861, 3209028611, 3211856136,
120 3212836864, 3211856136, 3209028611, 3204684861, 3192374722, 1041645699, 1056004842, 1061007097,
121 1064076126, 1065333007, 1064630795, 1062051586, 1057896922, 1048104908, 3184049462, 3202017408
122 ]
123
124def tab.cos.p1() -> List<&2, U32>:
125 [
126 1060439283, 1051491540, 3184049462, 3204684861, 3210009393, 3212655276, 3212114443, 3208490745,
127 3200511765, 1028193072, 1056004842, 1062051586, 1065030846, 1064850424, 1061544963, 1054533760,
128 639555416, 3202017408, 3209028611, 3212334072, 3212514494, 3209535234, 3203488490, 3175676720,
129 1053028117, 1061007097, 1064630795, 1065171628, 1062525745, 1057201213, 1036565814, 3198975188,
130 3207922931, 3211856136, 3212756077, 3210449946, 3205380570, 3189129347, 1049927729, 1059842890,
131 1064076126, 1065333007, 1063372184, 1058570176, 1044891074, 3195588556, 3206703001, 3211226072,
132 3212836864, 3211226072, 3206703001, 3195588556, 1044891074, 1058570176, 1063372184, 1065333007,
133 1064076126, 1059842890, 1049927729, 3189129347, 3205380570, 3210449946, 3212756077, 3211856136,
134 3207922931, 3212334072, 3212114443, 3207326538, 3192374722, 1051491540, 1061544963, 1065171628,
135 1064076126, 1058570176, 1036565814, 3202017408, 3210009393, 3212816655, 3210855832, 3204684861,
136 2804975849, 1057201213, 1063372184, 1065333007, 1062525745, 1054533760, 3184049462, 3206053824,
137 3211559774, 3212655276, 3209028611, 3198975188, 1044891074, 1059842890, 1064630795, 1064850424,
138 1060439283, 1048104908, 3197411377, 3208490745, 3212514494, 3211856136, 3206703001, 3189129347,
139 1053028117, 1062051586, 1065272429, 1063742424, 1057896922, 1028193072, 3203488490, 3210449946,
140 3212836864, 3210449946, 3203488490, 1028193072, 1057896922, 1063742424, 1065272429, 1062051586,
141 1053028117, 3189129347, 3206703001, 3211856136, 3212514494, 3208490745, 3197411377, 1048104908,
142 3207922931, 3189129347, 1056004842, 1063742424, 1065030846, 1059842890, 1036565814, 3204684861,
143 3211559774, 3212334072, 3206703001, 3175676720, 1057896922, 1064372488, 1064630795, 1058570176,
144 2794276872, 3206053824, 3212114443, 3211856136, 3205380570, 1028193072, 1059219353, 1064850424,
145 1064076126, 1057201213, 3184049462, 3207326538, 3212514494, 3211226072, 3203488490, 1041645699,
146 1060439283, 1065171628, 1063372184, 1054533760, 3192374722, 3208490745, 3212756077, 3210449946,
147 3200511765, 1048104908, 1061544963, 1065333007, 1062525745, 1051491540, 3197411377, 3209535234,
148 3212836864, 3209535234, 3197411377, 1051491540, 1062525745, 1065333007, 1061544963, 1048104908,
149 3200511765, 3210449946, 3212756077, 3208490745, 3192374722, 1054533760, 1063372184, 1065171628,
150 1060439283, 1065333007, 1061544963, 1041645699, 3205380570, 3212334072, 3210855832, 3198975188,
151 1053028117, 1063742424, 1064630795, 1057201213, 3192374722, 3209535234, 3212756077, 3207326538,
152 2806132495, 1059842890, 1065272429, 1062051586, 1044891074, 3204684861, 3212114443, 3211226072,
153 3200511765, 1051491540, 1063372184, 1064850424, 1057896922, 3189129347, 3209028611, 3212816655,
154 3207922931, 3175676720, 1059219353, 1065171628, 1062525745, 1048104908, 3203488490, 3211856136,
155 3211559774, 3202017408, 1049927729, 1062966298, 1065030846, 1058570176, 3184049462, 3208490745,
156 3212836864, 3208490745, 3184049462, 1058570176, 1065030846, 1062966298, 1049927729, 3202017408,
157 3211559774, 3211856136, 3203488490, 1048104908, 1062525745, 1065171628, 1059219353, 3175676720
158 ]
159
160def tab.cos.p2() -> List<&2, U32>:
161 [
162 1060439283, 3175676720, 3209028611, 3212655276, 3205380570, 1048104908, 1063372184, 1064372488,
163 1053028117, 3202017408, 3212114443, 3210449946, 3192374722, 1058570176, 1065272429, 1061007097,
164 2790520695, 3208490745, 3212756077, 3206053824, 1044891074, 1062966298, 1064630795, 1054533760,
165 3200511765, 3211856136, 3210855832, 3195588556, 1057896922, 1065171628, 1061544963, 1028193072,
166 3207922931, 3212816655, 3206703001, 1041645699, 1062525745, 1064850424, 1056004842, 3198975188,
167 3211559774, 3211226072, 3197411377, 1057201213, 1065030846, 1062051586, 1036565814, 3207326538,
168 3212836864, 3207326538, 1036565814, 1062051586, 1065030846, 1057201213, 3197411377, 3211226072,
169 3211559774, 3198975188, 1056004842, 1064850424, 1062525745, 1041645699, 3206703001, 3212816655,
170 3207922931, 3212655276, 3203488490, 1054533760, 1065030846, 1061007097, 3184049462, 3210449946,
171 3211559774, 3195588556, 1059219353, 1065333007, 1057896922, 3198975188, 3212114443, 3209535234,
172 2807289141, 1062051586, 1064630795, 1051491540, 3205380570, 3212816655, 3206703001, 1048104908,
173 1064076126, 1062966298, 1036565814, 3208490745, 3212514494, 3202017408, 1056004842, 1065171628,
174 1060439283, 3189129347, 3210855832, 3211226072, 3192374722, 1059842890, 1065272429, 1057201213,
175 3200511765, 3212334072, 3209028611, 1028193072, 1062525745, 1064372488, 1049927729, 3206053824,
176 3212836864, 3206053824, 1049927729, 1064372488, 1062525745, 1028193072, 3209028611, 3212334072,
177 3200511765, 1057201213, 1065272429, 1059842890, 3192374722, 3211226072, 3210855832, 3189129347,
178 3207922931, 1048104908, 1064630795, 1061007097, 3192374722, 3211856136, 3209028611, 1041645699,
179 1064076126, 1062051586, 3184049462, 3211226072, 3210009393, 1028193072, 1063372184, 1062966298,
180 2785894110, 3210449946, 3210855832, 3175676720, 1062525745, 1063742424, 1036565814, 3209535234,
181 3211559774, 3189129347, 1061544963, 1064372488, 1044891074, 3208490745, 3212114443, 3195588556,
182 1060439283, 1064850424, 1049927729, 3207326538, 3212514494, 3198975188, 1059219353, 1065171628,
183 1053028117, 3206053824, 3212756077, 3202017408, 1057896922, 1065333007, 1056004842, 3204684861,
184 3212836864, 3204684861, 1056004842, 1065333007, 1057896922, 3202017408, 3212756077, 3206053824,
185 1053028117, 1065171628, 1059219353, 3198975188, 3212514494, 3207326538, 1049927729, 1064850424,
186 1060439283, 1064372488, 1036565814, 3210449946, 3210009393, 1041645699, 1064630795, 1059842890,
187 3200511765, 3212816655, 3203488490, 1058570176, 1065030846, 1048104908, 3209028611, 3211226072,
188 2808445788, 1063742424, 1061544963, 3195588556, 3212514494, 3206053824, 1056004842, 1065333007,
189 1053028117, 3207326538, 3212114443, 3189129347, 1062525745, 1062966298, 3184049462, 3211856136,
190 3207922931, 1051491540, 1065272429, 1057201213, 3205380570, 3212655276, 3197411377, 1061007097,
191 1064076126, 1028193072, 3210855832, 3209535234, 1044891074, 1064850424, 1059219353, 3202017408,
192 3212836864, 3202017408, 1059219353, 1064850424, 1044891074, 3209535234, 3210855832, 1028193072,
193 1064076126, 1061007097, 3197411377, 3212655276, 3205380570, 1057201213, 1065272429, 1051491540
194 ]
195
196def tab.cos.p3() -> List<&2, U32>:
197 [
198 1060439283, 3202017408, 3212756077, 3195588556, 1062525745, 1062051586, 3197411377, 3212816655,
199 3200511765, 1061007097, 1063372184, 3189129347, 3212514494, 3204684861, 1059219353, 1064372488,
200 2777517194, 3211856136, 3206703001, 1057201213, 1065030846, 1041645699, 3210855832, 3208490745,
201 1053028117, 1065333007, 1049927729, 3209535234, 3210009393, 1048104908, 1065272429, 1054533760,
202 3207922931, 3211226072, 1036565814, 1064850424, 1057896922, 3206053824, 3212114443, 3175676720,
203 1064076126, 1059842890, 3203488490, 3212655276, 3192374722, 1062966298, 1061544963, 3198975188,
204 3212836864, 3198975188, 1061544963, 1062966298, 3192374722, 3212655276, 3203488490, 1059842890,
205 1064076126, 3175676720, 3212114443, 3206053824, 1057896922, 1064850424, 1036565814, 3211226072,
206 3207922931, 3210449946, 1049927729, 1065333007, 1044891074, 3211226072, 3206703001, 1058570176,
207 1064076126, 3189129347, 3212756077, 3198975188, 1062525745, 1061007097, 3203488490, 3212334072,
208 2809602434, 1064850424, 1056004842, 3208490745, 3210009393, 1051491540, 1065272429, 1041645699,
209 3211559774, 3206053824, 1059219353, 1063742424, 3192374722, 3212816655, 3197411377, 1062966298,
210 1060439283, 3204684861, 3212114443, 1028193072, 1065030846, 1054533760, 3209028611, 3209535234,
211 1053028117, 1065171628, 1036565814, 3211856136, 3205380570, 1059842890, 1063372184, 3195588556,
212 3212836864, 3195588556, 1063372184, 1059842890, 3205380570, 3211856136, 1036565814, 1065171628,
213 1053028117, 3209535234, 3209028611, 1054533760, 1065030846, 1028193072, 3212114443, 3204684861,
214 3207922931, 1058570176, 1063372184, 3198975188, 3212514494, 1028193072, 1065272429, 1048104908,
215 3211559774, 3204684861, 1061544963, 1061007097, 3205380570, 3211226072, 1049927729, 1065171628,
216 2704715995, 3212655276, 3197411377, 1063742424, 1057896922, 3208490745, 3209028611, 1057201213,
217 1064076126, 3195588556, 3212756077, 3175676720, 1065030846, 1051491540, 3210855832, 3206053824,
218 1060439283, 1062051586, 3203488490, 3211856136, 1044891074, 1065333007, 1036565814, 3212334072,
219 3200511765, 1062966298, 1059219353, 3207326538, 3210009393, 1054533760, 1064630795, 3189129347,
220 3212836864, 3189129347, 1064630795, 1054533760, 3210009393, 3207326538, 1059219353, 1062966298,
221 3200511765, 3212334072, 1036565814, 1065333007, 1044891074, 3211856136, 3203488490, 1062051586,
222 1060439283, 1061007097, 3206703001, 3209535234, 1057896922, 1062966298, 3203488490, 3211226072,
223 1053028117, 1064372488, 3197411377, 3212334072, 1044891074, 1065171628, 3184049462, 3212816655,
224 2810471380, 1065333007, 1036565814, 3212655276, 3192374722, 1064850424, 1049927729, 3211856136,
225 3200511765, 1063742424, 1056004842, 3210449946, 3205380570, 1062051586, 1059219353, 3208490745,
226 3207922931, 1059842890, 1061544963, 3206053824, 3210009393, 1057201213, 1063372184, 3202017408,
227 3211559774, 1051491540, 1064630795, 3195588556, 3212514494, 1041645699, 1065272429, 3175676720,
228 3212836864, 3175676720, 1065272429, 1041645699, 3212514494, 3195588556, 1064630795, 1051491540,
229 3211559774, 3202017408, 1063372184, 1057201213, 3210009393, 3206053824, 1061544963, 1059842890
230 ]
231
232def tab.cos.p4() -> List<&2, U32>:
233 [
234 1060439283, 3208490745, 3206703001, 1062051586, 1057896922, 3210449946, 3203488490, 1063742424,
235 1053028117, 3211856136, 3197411377, 1064850424, 1044891074, 3212655276, 3184049462, 1065333007,
236 629986777, 3212816655, 1036565814, 1065171628, 3192374722, 3212334072, 1049927729, 1064372488,
237 3200511765, 3211226072, 1056004842, 1062966298, 3205380570, 3209535234, 1059219353, 1061007097,
238 3207922931, 3207326538, 1061544963, 1058570176, 3210009393, 3204684861, 1063372184, 1054533760,
239 3211559774, 3198975188, 1064630795, 1048104908, 3212514494, 3189129347, 1065272429, 1028193072,
240 3212836864, 1028193072, 1065272429, 3189129347, 3212514494, 1048104908, 1064630795, 3198975188,
241 3211559774, 1054533760, 1063372184, 3204684861, 3210009393, 1058570176, 1061544963, 3207326538,
242 3207922931, 3206053824, 1063372184, 1051491540, 3212514494, 3175676720, 1065272429, 3195588556,
243 3211559774, 1057201213, 1061544963, 3208490745, 3205380570, 1063742424, 1049927729, 3212655276,
244 2811049703, 1065171628, 3197411377, 3211226072, 1057896922, 1061007097, 3209028611, 3204684861,
245 1064076126, 1048104908, 3212756077, 1028193072, 1065030846, 3198975188, 3210855832, 1058570176,
246 1060439283, 3209535234, 3203488490, 1064372488, 1044891074, 3212816655, 1036565814, 1064850424,
247 3200511765, 3210449946, 1059219353, 1059842890, 3210009393, 3202017408, 1064630795, 1041645699,
248 3212836864, 1041645699, 1064630795, 3202017408, 3210009393, 1059842890, 1059219353, 3210449946,
249 3200511765, 1064850424, 1036565814, 3212816655, 1044891074, 1064372488, 3203488490, 3209535234,
250 3207922931, 1062966298, 1049927729, 3212816655, 1044891074, 1063742424, 3206703001, 3206053824,
251 1064076126, 1041645699, 3212756077, 1051491540, 1062525745, 3208490745, 3203488490, 1064850424,
252 638387077, 3212334072, 1056004842, 1061007097, 3210009393, 3198975188, 1065272429, 3189129347,
253 3211559774, 1058570176, 1059219353, 3211226072, 3192374722, 1065333007, 3197411377, 3210449946,
254 1060439283, 1057201213, 3212114443, 3175676720, 1065030846, 3202017408, 3209028611, 1062051586,
255 1053028117, 3212655276, 1036565814, 1064372488, 3205380570, 3207326538, 1063372184, 1048104908,
256 3212836864, 1048104908, 1063372184, 3207326538, 3205380570, 1064372488, 1036565814, 3212655276,
257 1053028117, 1062051586, 3209028611, 3202017408, 1065030846, 3175676720, 3212114443, 1057201213,
258 1060439283, 1054533760, 3212756077, 1048104908, 1062525745, 3209535234, 3197411377, 1065333007,
259 3200511765, 3208490745, 1063372184, 1041645699, 3212514494, 1057201213, 1059219353, 3211856136,
260 2811628026, 1064372488, 3206703001, 3204684861, 1065030846, 3189129347, 3210855832, 1061007097,
261 1053028117, 3212816655, 1049927729, 1062051586, 3210009393, 3195588556, 1065272429, 3202017408,
262 3207922931, 1063742424, 1036565814, 3212334072, 1057896922, 1058570176, 3212114443, 1028193072,
263 1064076126, 3207326538, 3203488490, 1065171628, 3192374722, 3210449946, 1061544963, 1051491540,
264 3212836864, 1051491540, 1061544963, 3210449946, 3192374722, 1065171628, 3203488490, 3207326538,
265 1064076126, 1028193072, 3212114443, 1058570176, 1057896922, 3212334072, 1036565814, 1063742424
266 ]
267
268def tab.cos.p5() -> List<&2, U32>:
269 [
270 1060439283, 3211856136, 1036565814, 1062966298, 3210009393, 3189129347, 1064630795, 3207326538,
271 3200511765, 1065333007, 3203488490, 3206053824, 1065030846, 3195588556, 3209028611, 1063742424,
272 671955394, 3211226072, 1061544963, 1048104908, 3212514494, 1058570176, 1056004842, 3212816655,
273 1053028117, 1059842890, 3212114443, 1041645699, 1062525745, 3210449946, 3184049462, 1064372488,
274 3207922931, 3198975188, 1065272429, 3204684861, 3205380570, 1065171628, 3197411377, 3208490745,
275 1064076126, 3175676720, 3210855832, 1062051586, 1044891074, 3212334072, 1059219353, 1054533760,
276 3212836864, 1054533760, 1059219353, 3212334072, 1044891074, 1062051586, 3210855832, 3175676720,
277 1064076126, 3208490745, 3197411377, 1065171628, 3205380570, 3204684861, 1065272429, 3198975188,
278 3207922931, 3195588556, 1064630795, 3208490745, 3192374722, 1064372488, 3209028611, 3189129347,
279 1064076126, 3209535234, 3184049462, 1063742424, 3210009393, 3175676720, 1063372184, 3210449946,
280 2812206349, 1062966298, 3210855832, 1028193072, 1062525745, 3211226072, 1036565814, 1062051586,
281 3211559774, 1041645699, 1061544963, 3211856136, 1044891074, 1061007097, 3212114443, 1048104908,
282 1060439283, 3212334072, 1049927729, 1059842890, 3212514494, 1051491540, 1059219353, 3212655276,
283 1053028117, 1058570176, 3212756077, 1054533760, 1057896922, 3212816655, 1056004842, 1057201213,
284 3212836864, 1057201213, 1056004842, 3212816655, 1057896922, 1054533760, 3212756077, 1058570176,
285 1053028117, 3212655276, 1059219353, 1051491540, 3212514494, 1059842890, 1049927729, 3212334072,
286 3207922931, 1065171628, 3203488490, 3202017408, 1065030846, 3208490745, 3184049462, 1062966298,
287 3211559774, 1048104908, 1059219353, 3212816655, 1057896922, 1051491540, 3212114443, 1062051586,
288 646781531, 3209535234, 1064630795, 3198975188, 3205380570, 1065333007, 3206703001, 3195588556,
289 1064076126, 3210449946, 1036565814, 1061007097, 3212514494, 1054533760, 1056004842, 3212655276,
290 1060439283, 1041645699, 3210855832, 1063742424, 3192374722, 3207326538, 1065272429, 3204684861,
291 3200511765, 1064850424, 3209028611, 3175676720, 1062525745, 3211856136, 1049927729, 1058570176,
292 3212836864, 1058570176, 1049927729, 3211856136, 1062525745, 3175676720, 3209028611, 1064850424,
293 3200511765, 3204684861, 1065272429, 3207326538, 3192374722, 1063742424, 3210855832, 1041645699,
294 1060439283, 1028193072, 3209028611, 1065171628, 3205380570, 3195588556, 1063372184, 3211856136,
295 1053028117, 1054533760, 3212114443, 1062966298, 3192374722, 3206053824, 1065272429, 3208490745,
296 657498047, 1061007097, 3212756077, 1058570176, 1044891074, 3210449946, 1064630795, 3202017408,
297 3200511765, 1064372488, 3210855832, 1048104908, 1057896922, 3212655276, 1061544963, 3175676720,
298 3207922931, 1065333007, 3206703001, 3189129347, 1062525745, 3212334072, 1056004842, 1051491540,
299 3211559774, 1063742424, 3197411377, 3204684861, 1065030846, 3209535234, 1036565814, 1059842890,
300 3212836864, 1059842890, 1036565814, 3209535234, 1065030846, 3204684861, 3197411377, 1063742424,
301 3211559774, 1051491540, 1056004842, 3212334072, 1062525745, 3189129347, 3206703001, 1065333007
302 ]
303
304def tab.cos.p6() -> List<&2, U32>:
305 [
306 1060439283, 3212816655, 1061544963, 3189129347, 3205380570, 1064850424, 3210855832, 1051491540,
307 1053028117, 3211226072, 1064630795, 3204684861, 3192374722, 1062051586, 3212756077, 1059842890,
308 672533717, 3207326538, 1065272429, 3209535234, 1044891074, 1057201213, 3212114443, 1063742424,
309 3200511765, 3198975188, 1063372184, 3212334072, 1057896922, 1041645699, 3209028611, 1065333007,
310 3207922931, 1028193072, 1059219353, 3212655276, 1062525745, 3195588556, 3203488490, 1064372488,
311 3211559774, 1054533760, 1049927729, 3210449946, 1065030846, 3206053824, 3184049462, 1061007097,
312 3212836864, 1061007097, 3184049462, 3206053824, 1065030846, 3210449946, 1049927729, 1054533760,
313 3211559774, 1064372488, 3203488490, 3195588556, 1062525745, 3212655276, 1059219353, 1028193072,
314 3207922931, 1041645699, 1056004842, 3211226072, 1065030846, 3207326538, 1036565814, 1057201213,
315 3211559774, 1064850424, 3206703001, 1028193072, 1057896922, 3211856136, 1064630795, 3206053824,
316 2813362996, 1058570176, 3212114443, 1064372488, 3205380570, 3175676720, 1059219353, 3212334072,
317 1064076126, 3204684861, 3184049462, 1059842890, 3212514494, 1063742424, 3203488490, 3189129347,
318 1060439283, 3212655276, 1063372184, 3202017408, 3192374722, 1061007097, 3212756077, 1062966298,
319 3200511765, 3195588556, 1061544963, 3212816655, 1062525745, 3198975188, 3197411377, 1062051586,
320 3212836864, 1062051586, 3197411377, 3198975188, 1062525745, 3212816655, 1061544963, 3195588556,
321 3200511765, 1062966298, 3212756077, 1061007097, 3192374722, 3202017408, 1063372184, 3212655276,
322 3207922931, 1064850424, 3212114443, 1059842890, 3192374722, 3198975188, 1061544963, 3212655276,
323 1064076126, 3206053824, 1036565814, 1054533760, 3210009393, 1065333007, 3210855832, 1057201213,
324 651408116, 3204684861, 1063372184, 3212816655, 1062525745, 3202017408, 3184049462, 1058570176,
325 3211559774, 1065171628, 3209028611, 1051491540, 1044891074, 3207326538, 1064630795, 3212334072,
326 1060439283, 3195588556, 3197411377, 1061007097, 3212514494, 1064372488, 3206703001, 1041645699,
327 1053028117, 3209535234, 1065272429, 3211226072, 1057896922, 3175676720, 3203488490, 1062966298,
328 3212836864, 1062966298, 3203488490, 3175676720, 1057896922, 3211226072, 1065272429, 3209535234,
329 1053028117, 1041645699, 3206703001, 1064372488, 3212514494, 1061007097, 3197411377, 3195588556,
330 1060439283, 3198975188, 3184049462, 1057201213, 3210009393, 1065171628, 3212114443, 1061007097,
331 3200511765, 3175676720, 1056004842, 3209535234, 1065030846, 3212334072, 1061544963, 3202017408,
332 655184755, 1054533760, 3209028611, 1064850424, 3212514494, 1062051586, 3203488490, 1028193072,
333 1053028117, 3208490745, 1064630795, 3212655276, 1062525745, 3204684861, 1036565814, 1051491540,
334 3207922931, 1064372488, 3212756077, 1062966298, 3205380570, 1041645699, 1049927729, 3207326538,
335 1064076126, 3212816655, 1063372184, 3206053824, 1044891074, 1048104908, 3206703001, 1063742424,
336 3212836864, 1063742424, 3206703001, 1048104908, 1044891074, 3206053824, 1063372184, 3212816655,
337 1064076126, 3207326538, 1049927729, 1041645699, 3205380570, 1062966298, 3212756077, 1064372488
338 ]
339
340def tab.cos.p7() -> List<&2, U32>:
341 [
342 1060439283, 3211226072, 1065272429, 3212334072, 1062525745, 3206053824, 1049927729, 1028193072,
343 3200511765, 1059842890, 3210855832, 1065171628, 3212514494, 1062966298, 3206703001, 1051491540,
344 673112040, 3198975188, 1059219353, 3210449946, 1065030846, 3212655276, 1063372184, 3207326538,
345 1053028117, 3175676720, 3197411377, 1058570176, 3210009393, 1064850424, 3212756077, 1063742424,
346 3207922931, 1054533760, 3184049462, 3195588556, 1057896922, 3209535234, 1064630795, 3212816655,
347 1064076126, 3208490745, 1056004842, 3189129347, 3192374722, 1057201213, 3209028611, 1064372488,
348 3212836864, 1064372488, 3209028611, 1057201213, 3192374722, 3189129347, 1056004842, 3208490745,
349 1064076126, 3212816655, 1064630795, 3209535234, 1057896922, 3195588556, 3184049462, 1054533760,
350 3207922931, 1057201213, 3197411377, 1028193072, 1044891074, 3202017408, 1059219353, 3209535234,
351 1064076126, 3212655276, 1065272429, 3211856136, 1062525745, 3207326538, 1056004842, 3195588556,
352 2814519642, 1048104908, 3203488490, 1059842890, 3210009393, 1064372488, 3212756077, 1065171628,
353 3211559774, 1062051586, 3206703001, 1054533760, 3192374722, 3175676720, 1049927729, 3204684861,
354 1060439283, 3210449946, 1064630795, 3212816655, 1065030846, 3211226072, 1061544963, 3206053824,
355 1053028117, 3189129347, 3184049462, 1051491540, 3205380570, 1061007097, 3210855832, 1064850424,
356 3212836864, 1064850424, 3210855832, 1061007097, 3205380570, 1051491540, 3184049462, 3189129347,
357 1053028117, 3206053824, 1061544963, 3211226072, 1065030846, 3212816655, 1064630795, 3210449946,
358 3207922931, 1062051586, 3210855832, 1064372488, 3212514494, 1065333007, 3212756077, 1064850424,
359 3211559774, 1062966298, 3209028611, 1059842890, 3205380570, 1054533760, 3197411377, 1041645699,
360 655173063, 3189129347, 1049927729, 3202017408, 1057896922, 3207326538, 1061544963, 3210449946,
361 1064076126, 3212334072, 1065272429, 3212816655, 1065030846, 3211856136, 1063372184, 3209535234,
362 1060439283, 3206053824, 1056004842, 3198975188, 1044891074, 3175676720, 3184049462, 1048104908,
363 3200511765, 1057201213, 3206703001, 1061007097, 3210009393, 1063742424, 3212114443, 1065171628,
364 3212836864, 1065171628, 3212114443, 1063742424, 3210009393, 1061007097, 3206703001, 1057201213,
365 3200511765, 1048104908, 3184049462, 3175676720, 1044891074, 3198975188, 1056004842, 3206053824,
366 1060439283, 3207326538, 1059219353, 3206053824, 1057896922, 3204684861, 1056004842, 3202017408,
367 1053028117, 3198975188, 1049927729, 3195588556, 1044891074, 3189129347, 1036565814, 3175676720,
368 651431501, 1028193072, 3184049462, 1041645699, 3192374722, 1048104908, 3197411377, 1051491540,
369 3200511765, 1054533760, 3203488490, 1057201213, 3205380570, 1058570176, 3206703001, 1059842890,
370 3207922931, 1061007097, 3209028611, 1062051586, 3210009393, 1062966298, 3210855832, 1063742424,
371 3211559774, 1064372488, 3212114443, 1064850424, 3212514494, 1065171628, 3212756077, 1065333007,
372 3212836864, 1065333007, 3212756077, 1065171628, 3212514494, 1064850424, 3212114443, 1064372488,
373 3211559774, 1063742424, 3210855832, 1062966298, 3210009393, 1062051586, 3209028611, 1061007097
374 ]
375
376def tab.cos() -> List<&2, U32>:
377 tabs.join([
378 tab.cos.p0(),
379 tab.cos.p1(),
380 tab.cos.p2(),
381 tab.cos.p3(),
382 tab.cos.p4(),
383 tab.cos.p5(),
384 tab.cos.p6(),
385 tab.cos.p7(),
386 ])
387
388def tab.bt.p0() -> List<&2, U32>:
389 [
390 995530207, 1007724217, 1012118638, 1014809860, 1015368840, 1014809860, 1012118638, 1007724217,
391 995530207, 3144297932, 3158082400, 3165005741, 3170027630, 3173050356, 3175639986, 3178150932,
392 3179894665, 3180959366, 3181878436, 3182623948, 3183173251, 3183509652, 3183622934, 3183509652,
393 3183173251, 3182623948, 3181878436, 3180959366, 3179894665, 3178150932, 3175639986, 3173050356,
394 3170027630, 3165005741, 3158082400, 3144297932, 3145465211, 3160115004, 3166917277, 3171397385,
395 3173050356, 3173431428, 3172260974, 3168013388, 3156248549, 1009725516, 1024076885, 1030335042,
396 1033904705, 1036139286, 1037511355, 1037845198, 1037070195, 1035230258, 1032480044, 1026337897,
397 1013447607, 3160579643, 3173050356, 3178610686, 3180872277, 3181824559, 3181794836, 3180882762,
398 3179280112, 3175219168, 3170884562, 3162852488, 3146704802, 994949057, 1001774327, 994139101,
399 3140135201, 3136823004, 1005385545, 1018751561, 1025566708, 1028780648, 1029236436, 1026074860,
400 1015355590, 3163635688, 3176910146, 3182050260, 3184109298, 3183622934, 3180502647, 3171261517,
401 1013683511, 1031031900, 1035975770, 1038069181, 1037295896, 1033896366, 1025566708, 3146571393,
402 3174120564, 3180280260, 3181628273, 3180730135, 3176910147, 3168916193, 3138562534, 1015368840,
403 1019858092, 1018946520, 1013683508, 998633753, 999087743, 1013683508, 1016152040, 1005385545,
404 3162852488, 3174120562, 3178515548, 3176910147, 3166235211, 1019858093, 1032796612, 1035975771,
405 1034566612, 1025566708, 3166430167, 3181628274, 3185552829, 3184109299, 3176264297, 1013683511,
406 1033246487, 1037295895, 1036139286, 1029236435, 3146117401, 3176910146, 3181380014, 3180502648,
407 3173558508, 3140135201, 1021432542, 1025566708, 1023777868, 1015355590, 989339356, 3138562533,
408 989010389, 3149257975, 3166044932, 3170688972, 3162852488, 1017173737, 1029827279, 1031796464,
409 1022055303, 3170920483, 3181824559, 3182513980, 3172629538, 1025566708, 1036550383, 1036861476,
410 1026337898, 3173908331, 3184658600, 3184553843, 3173648638, 1025907272, 1036139286, 1035631313,
411 1024648020, 3171560534, 3181051950, 3180202032, 3168013388, 1018898412, 1027745411, 1025566708,
412 1011973348, 3155609748, 3160115004, 3146955120, 3147265668, 3158082400, 982089335, 1021761547,
413 1025566708, 1010167740, 3173331945, 3179894665, 3171809572, 1025175491, 1035140300, 1031907456,
414 3165568916, 3183622934, 3182889260, 3147500673, 1035140300, 1037619497, 1023981932, 3179894665,
415 3185439548, 3177789086, 1025566708, 1036324682, 1032683330, 3158082400, 3180646576, 3179830574,
416 3155207865, 1026836869, 1028467300, 1015368840, 3163754580, 3167015445, 3155207865, 985597499,
417 3129572981, 1010598752, 1018085268, 3133081150, 3173050356, 3172659138, 1016270933, 1032411017,
418 1025848297, 3174320516, 3182623948, 3169245196, 1033162928, 1036139286, 999782022, 3183808331,
419 3182623948, 1019531798, 1037955900, 1032411017, 3175950949, 3185103144, 3173050356, 1032346926,
420 1035405613, 1010598752, 3180166978, 3179391104, 1007724217, 1030305440, 1024325924, 3162852488,
421 3171465579, 3157651388, 1007724217, 1000017022, 1000174692, 1001774327, 3164359692, 3168347620
422 ]
423
424def tab.bt.p1() -> List<&2, U32>:
425 [
426 1015368840, 1028675933, 1006589815, 3179280112, 3174771919, 1028408325, 1034340911, 3158861614,
427 3184008720, 3173050356, 1034693927, 1034961069, 3173821546, 3185665249, 3161285559, 1037070195,
428 1032273487, 3179552151, 3183622934, 1012057222, 1035880139, 1024076886, 3179616804, 3178491493,
429 1020529740, 1030910053, 1004236794, 3173050356, 3165036448, 1013963943, 1012631356, 3123041689,
430 962440391, 3161167156, 3148517308, 1023575359, 1015368840, 3174721296, 3171115756, 1029426499,
431 1028634889, 3177361548, 3180280260, 1028537410, 1035143612, 3173050356, 3184458404, 1019238042,
432 1038069181, 3147737480, 3185778531, 3161167159, 1037624638, 1023575359, 3183622934, 3174721296,
433 1034017988, 1029426498, 3178718057, 3177361548, 1026074860, 1028537411, 3166835186, 3173050356,
434 1009032352, 1019238041, 3136823004, 3147737476, 3147737476, 989339356, 1019238041, 3156516000,
435 3173050356, 1019351538, 1028537410, 3173558508, 3177361548, 1031234409, 1029426498, 3181501635,
436 3174721296, 1036139286, 1023575359, 3185108285, 3161167159, 1038294883, 3147737480, 3185552829,
437 1019238042, 1036974756, 3173050356, 3182627260, 1028537409, 1032796612, 3177361548, 3176118537,
438 1029426499, 1023632108, 3174721296, 3162852488, 1023575359, 1001033661, 3161167156, 3109924039,
439 975558041, 1012631356, 3161447591, 3165036448, 1025566708, 1004236794, 3178393701, 1020529740,
440 1031007847, 3179616804, 3171560533, 1035880139, 3159540869, 3183622934, 1032068503, 1032273488,
441 3184553843, 3161285559, 1038181602, 3173821545, 3182444717, 1034693927, 1025566708, 3184008720,
442 1011377966, 1034340911, 3175891973, 3174771919, 1031796464, 1006589815, 3176159581, 1015368840,
443 1020863972, 3164359693, 3149257975, 1000174692, 1000017022, 3155207865, 3157651388, 1023981931,
444 3162852488, 3171809572, 1030305440, 3155207865, 3179391104, 1032683330, 1010598752, 3182889261,
445 1032346926, 1025566708, 3185103144, 1028467301, 1032411017, 3185439548, 1019531798, 1035140300,
446 3183808331, 3147265670, 1036139286, 3180646576, 3169245196, 1035140300, 3174320517, 3173331945,
447 1032411017, 3163754582, 3172659139, 1025566708, 3133081150, 3165568916, 1010598752, 982089333,
448 3133081147, 3155207865, 1019531797, 3163754580, 3162852488, 1028467300, 3174320517, 3155207865,
449 1032346927, 3180646576, 1010598752, 1032683330, 3183808330, 1025566708, 1030305440, 3185439548,
450 1032411017, 1023981931, 3185103145, 1035140300, 1000017025, 3182889260, 1036139286, 3165568916,
451 3179391104, 1035140300, 3172659139, 3171809572, 1032411017, 3173331945, 3157651389, 1025566708,
452 3169245195, 982089335, 1010598752, 3147265668, 3146955120, 1012631356, 3155609748, 3159456996,
453 1025566708, 3175229059, 1018898412, 1020529740, 3180202032, 1033568302, 3171560533, 3172131668,
454 1035631313, 3183622934, 1025907272, 1026164989, 3184553843, 1037174953, 3173908332, 3173821545,
455 1036861476, 3184034031, 1025566708, 1025145890, 3182513979, 1034340911, 3170920483, 3169538951,
456 1031796464, 3177310926, 1017173737, 1015368840, 3170688972, 1018561284, 3149257975, 3136494037,
457 991078885, 989339356, 3162839238, 1023777868, 3173050356, 1021432542, 992651553, 3173558508
458 ]
459
460def tab.bt.p2() -> List<&2, U32>:
461 [
462 1033019000, 3181380015, 1029426498, 3146117401, 3176720083, 1036139286, 3184779543, 1033246487,
463 3161167159, 3176264297, 1036625650, 3185552829, 1034144626, 3166430168, 3173050356, 1034566612,
464 3183459419, 1032796612, 3167341742, 3166235211, 1029426499, 3178515548, 1026636914, 3162852488,
465 3152869193, 1016152041, 3161167156, 999087743, 998633753, 3161167156, 1018946520, 3167341740,
466 1015368840, 991078887, 3168916192, 1029426499, 3180730135, 1034144626, 3180280260, 1026636915,
467 3146571393, 3173050356, 1033896366, 3184779544, 1038069181, 3183459418, 1031031900, 3161167159,
468 3171261517, 1033019000, 3183622934, 1036625649, 3182050260, 1029426498, 3163635688, 3162839238,
469 1026074860, 3176720084, 1028780648, 3173050356, 1018751562, 3152869195, 3136823004, 992651554,
470 3141622748, 1001774327, 3142432705, 3146704803, 1015368840, 3170884562, 1027735520, 3179280112,
471 1033399114, 3181794836, 1034340911, 3180872277, 1031127038, 3173050356, 1013095996, 1013447605,
472 3173821546, 1032480044, 3182713906, 1037070195, 3185328846, 1037511355, 3183622934, 1033904705,
473 3177818690, 1024076886, 3157209164, 3156248549, 1020529740, 3172260974, 1025947780, 3173050356,
474 1023913737, 3166917277, 1012631356, 3145465209, 3144297932, 1010598752, 3165005741, 1022543982,
475 3173050356, 1028156338, 3178150932, 1032411017, 3180959366, 1034394788, 3182623948, 1035689603,
476 3183509652, 1036139286, 3183509652, 1035689603, 3182623948, 1034394788, 3180959366, 1032411017,
477 3178150932, 1028156338, 3173050356, 1022543982, 3165005741, 1010598752, 3144297932, 3143013855,
478 1007724217, 3159602286, 1014809860, 3162852488, 1014809860, 3159602286, 1007724217, 3143013855
479 ]
480
481def tab.bt() -> List<&2, U32>:
482 tabs.join([
483 tab.bt.p0(),
484 tab.bt.p1(),
485 tab.bt.p2(),
486 ])
487
488def tab.aa.p0() -> List<&2, U32>:
489 [
490 1062962344, 1063369176, 1064508125, 1065073281, 1065278017, 1065339133, 1065351525, 1065353101,
491 1057207806, 1056016090, 1050702594, 1044006772, 1036103709, 1026018182, 1013489940, 997358386
492 ]
493
494def tab.aa() -> List<&2, U32>:
495 tab.aa.p0()
496
497def tab.winl.p0() -> List<&2, U32>:
498 [
499 1065337248, 1065209685, 1064955529, 1064576715, 1064076126, 1063457572, 1062725761, 1061886260,
500 1060945461, 1026730556, 1040558248, 1046323800, 1050277404, 1053028117, 1055681104, 1057590392,
501 1058789322, 1059910523
502 ]
503
504def tab.winl() -> List<&2, U32>:
505 tab.winl.p0()
506
507def tab.tw.p0() -> List<&2, U32>:
508 [
509 1060945461, 1061886260, 1062725761, 1063457572, 1064076126, 1064576715, 1064955529, 1065209685,
510 1065337248, 1059910523, 1058789322, 1057590392, 1055681104, 1053028117, 1050277404, 1046323800,
511 1040558248, 1026730556
512 ]
513
514def tab.tw() -> List<&2, U32>:
515 tab.tw.p0()
516
517def tab.sec.p0() -> List<&2, U32>:
518 [
519 1092815430, 1056974725, 1057005197, 1079645762, 1057056395, 1057342072, 1073984175, 1057223771,
520 1058087743, 1069414683, 1057485416, 1059427869, 1066774581, 1057855544, 1061799040, 1064892987,
521 1058356026, 1065862217, 1062657950, 1059019886, 1071413542, 1061067246, 1059897405, 1084439708
522 ]
523
524def tab.sec() -> List<&2, U32>:
525 tab.sec.p0()
526
527def tab.syn.p0() -> List<&2, U32>:
528 [
529 3212836864, 1104150528, 3254255616, 1129316352, 1129971712, 1137213440, 3288449024, 1157689344,
530 1157234688, 1167433728, 3316410368, 1172238336, 1169831936, 1191917568, 3340347392, 1200781312,
531 3212836864, 1103101952, 3255566336, 1128923136, 1130233856, 1135443968, 3289464832, 1157758976,
532 1156841472, 1166690304, 3317151744, 1173274624, 1168457728, 1191444224, 3340818432, 1200763904,
533 3212836864, 1101529088, 3256352768, 1128529920, 1130430464, 1133707264, 3290513408, 1157787648,
534 1156358144, 1165881344, 3317884928, 1174200320, 1166968832, 1190761984, 3341286912, 1200734976,
535 3212836864, 1100480512, 3257139200, 1128136704, 1130561536, 1131675648, 3291594752, 1157779456,
536 1155776512, 1164414976, 3318605824, 1174712320, 1164705792, 1189822464, 3341751552, 1200694400,
537 3212836864, 1099431936, 3258187776, 1127677952, 1130627072, 1128595456, 3292708864, 1157738496,
538 1155096576, 1162964992, 3319314432, 1175068672, 1161261056, 1188889088, 3342211328, 1200642560,
539 3212836864, 1098907648, 3259236352, 1127219200, 1130627072, 1125711872, 3293839360, 1157664768,
540 1154318336, 1161543680, 3320002560, 1175374848, 1157537792, 1187963904, 3342665216, 1200579456,
541 3221225472, 1096810496, 3260284928, 1126760448, 1130561536, 1121845248, 3295002624, 1157496832,
542 1153425408, 1160146944, 3320670208, 1175630848, 1149714432, 1187048448, 3343112448, 1200505216,
543 3221225472, 1095761920, 3261595648, 1126236160, 1130364928, 1116733440, 3296182272, 1157242880,
544 1152434176, 1158782976, 3321311232, 1175838720, 1116471296, 1186144768, 3343551744, 1200419968,
545 3221225472, 1093664768, 3262906368, 1125777408, 1130168320, 1108344832, 3297050624, 1156923392,
546 1151336448, 1157283840, 3321906176, 1176000512, 3296296960, 1185253888, 3343982080, 1200324096,
547 3221225472, 1092616192, 3263692800, 1125318656, 1129775104, 1073741824, 3297648640, 1156571136,
548 1150115840, 1154711552, 3322194944, 1176116224, 3305414656, 1184377856, 3344402944, 1200217856,
549 3225419776, 1091567616, 3264348160, 1124794368, 1129316352, 3253207040, 3298246656, 1156169728,
550 1148354560, 1152221184, 3322465280, 1176189952, 3310239744, 1183518208, 3344812544, 1200101248,
551 3225419776, 1090519040, 3265134592, 1124335616, 1128792064, 3261333504, 3298844672, 1155735552,
552 1145470976, 1149820928, 3322714112, 1176221696, 3314395136, 1182559232, 3345210624, 1199974912,
553 3229614080, 1088421888, 3265921024, 1123680256, 1128071168, 3265658880, 3299442688, 1155260416,
554 1142374400, 1145798656, 3322940416, 1176214528, 3317026816, 1180913664, 3345595904, 1199838848,
555 3229614080, 1088421888, 3266707456, 1122631680, 1127284736, 3268673536, 3300032512, 1154760704,
556 1137246208, 1141391360, 3323142144, 1176170496, 3319762944, 1179308032, 3345967360, 1199693568,
557 3231711232, 1086324736, 3267493888, 1121845248, 1126367232, 3271426048, 3300605952, 1154236416,
558 1127809024, 1133510656, 3323315200, 1176090624, 3322245120, 1177746432, 3346324480, 1199507968
559 ]
560
561def tab.syn() -> List<&2, U32>:
562 tab.syn.p0()
563
564def tab.pow.p0() -> List<&2, U32>:
565 [
566 0, 3212836864, 3223405847, 3230299322, 3234541557, 3238579279, 3241046415, 3243655056,
567 3246391296, 3247817755, 3249298131, 3250828755, 3252406527, 3254028783, 3255236557, 3256088836,
568 0, 1065353216, 1075922199, 1082815674, 1087057909, 1091095631, 1093562767, 1096171408,
569 1098907648, 1100334107, 1101814483, 1103345107, 1104922879, 1106545135, 1107752909, 1108605188,
570 1109476632, 1110366431, 1111273857, 1112198252, 1113139014, 1114095592, 1115067479, 1115869537,
571 1116370106, 1116877677, 1117392063, 1117913088, 1118440586, 1118974403, 1119514391, 1120060414,
572 1120612341, 1121170048, 1121733418, 1122302338, 1122876704, 1123456412, 1124041368, 1124352475,
573 1124650063, 1124950141, 1125252669, 1125557608, 1125864920, 1126174569, 1126486521, 1126800741,
574 1127117198, 1127435861, 1127756698, 1128079682, 1128404784, 1128731977, 1129061234, 1129392530,
575 1129725840, 1130061140, 1130398407, 1130737617, 1131078750, 1131421783, 1131766696, 1132113468,
576 1132462080, 1132637296, 1132813413, 1132990422, 1133168314, 1133347080, 1133526711, 1133707200,
577 1133888539, 1134070719, 1134253733, 1134437573, 1134622231, 1134807702, 1134993977, 1135181050,
578 1135368915, 1135557563, 1135746989, 1135937188, 1136128151, 1136319874, 1136512350, 1136705573,
579 1136899539, 1137094240, 1137289672, 1137485830, 1137682707, 1137880298, 1138078600, 1138277605,
580 1138477311, 1138677710, 1138878800, 1139080575, 1139283030, 1139486162, 1139689965, 1139894434,
581 1140099567, 1140305359, 1140511804, 1140718900, 1140888665, 1140992857, 1141097369, 1141202197,
582 1141307341, 1141412798, 1141518566, 1141624645, 1141731031, 1141837724, 1141944720, 1142052020,
583 1142159620, 1142267520, 1142375718, 1142484211, 1142592999, 1142702080, 1142811452, 1142921114,
584 1143031064
585 ]
586
587def tab.pow() -> List<&2, U32>:
588 tab.pow.p0()
589
590def tab.huff.p0() -> List<&2, U32>:
591 [
592 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
593 785, 785, 785, 785, 784, 784, 784, 784, 513, 513, 513, 513, 513, 513, 513, 513, 256, 256, 256,
594 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 65281, 1313, 1298, 1282, 785,
595 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256,
596 256, 256, 256, 256, 256, 256, 256, 256, 290, 288, 65281, 1313, 1298, 1282, 769, 769, 769, 769,
597 529, 529, 529, 529, 529, 529, 529, 529, 528, 528, 528, 528, 528, 528, 528, 528, 512, 512, 512,
598 512, 512, 512, 512, 512, 290, 288, 65283, 65218, 65185, 65169, 785, 785, 785, 785, 784, 784,
599 784, 784, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256,
600 256, 256, 256, 819, 818, 547, 547, 275, 275, 275, 275, 561, 560, 515, 546, 289, 274, 288, 258,
601 65282, 65249, 1329, 1299, 1314, 1312, 1057, 1057, 1042, 1042, 1026, 1026, 784, 784, 784, 784,
602 529, 529, 529, 529, 529, 529, 529, 529, 769, 769, 769, 769, 768, 768, 768, 768, 563, 560, 306,
603 306, 291, 259, 65284, 65123, 65059, 64994, 1298, 64961, 1041, 1041, 784, 784, 784, 784, 769,
604 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256,
605 65153, 65137, 1107, 1092, 1106, 1061
606 ]
607
608def tab.huff.p1() -> List<&2, U32>:
609 [
610 849, 849, 789, 789, 1104, 1091, 773, 773, 1076, 1075, 341, 340, 325, 309, 834, 804, 577, 577,
611 532, 532, 516, 516, 832, 818, 803, 816, 561, 561, 531, 531, 515, 546, 289, 289, 288, 258, 65284,
612 65107, 65043, 64977, 1057, 1057, 1042, 1042, 529, 529, 529, 529, 529, 529, 529, 529, 784, 784,
613 784, 784, 769, 769, 769, 769, 512, 512, 512, 512, 512, 512, 512, 512, 65154, 1077, 65121, 1106,
614 1061, 1104, 849, 849, 789, 789, 1091, 1076, 1029, 1075, 834, 834, 597, 581, 340, 340, 339, 324,
615 804, 833, 532, 532, 832, 772, 818, 803, 817, 787, 816, 771, 290, 290, 290, 290, 288, 258, 65283,
616 65187, 65122, 65089, 65073, 1329, 1299, 65057, 1314, 1312, 1057, 1057, 1042, 1042, 1026, 1026,
617 785, 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 768, 768, 768, 768, 65217, 851, 821,
618 65201, 836, 850, 805, 849, 341, 340, 325, 336, 533, 533, 579, 579, 564, 564, 773, 832, 578, 548,
619 563, 516, 321, 276, 306, 291, 304, 259, 65285, 64964, 64803, 64706, 64673, 64657, 1041, 1041,
620 784, 784, 784, 784, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256,
621 256, 256, 256, 256, 256, 65025, 65009, 64993, 1396, 1351, 1381, 1366, 1395, 1335, 1380, 64977,
622 1334, 1138, 1138, 1063, 1063, 1350, 1392, 1031, 1031, 1062, 1062, 1364, 1363, 1120, 1120, 1333,
623 1348, 881, 881, 881, 881, 375, 374, 359, 373, 343, 358, 341, 325, 791, 791, 1123, 1122, 64833,
624 1105, 1045, 64817, 865, 865, 790, 790, 774, 774
625 ]
626
627def tab.huff.p2() -> List<&2, U32>:
628 [
629 1104, 1029, 338, 293, 323, 308, 64737, 64721, 833, 788, 772, 818, 803, 816, 322, 292, 307, 320,
630 561, 531, 515, 546, 289, 274, 288, 258, 65285, 65011, 64931, 64851, 64771, 64705, 64690, 1298,
631 1057, 1057, 1312, 1282, 785, 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 512, 512,
632 512, 512, 512, 512, 512, 512, 1399, 1398, 1383, 1367, 1382, 1396, 1351, 65025, 1381, 1366, 1139,
633 1139, 1079, 1079, 1124, 1124, 1364, 1349, 1363, 1333, 882, 882, 882, 882, 807, 807, 807, 807,
634 1094, 1094, 1136, 1136, 373, 341, 535, 535, 881, 775, 867, 822, 774, 64945, 324, 338, 64865,
635 849, 550, 550, 866, 864, 609, 609, 293, 336, 534, 534, 789, 835, 773, 64785, 834, 804, 308, 307,
636 833, 788, 832, 772, 562, 562, 547, 547, 305, 275, 560, 515, 290, 290, 65284, 65139, 65059,
637 64979, 64914, 64883, 64817, 64801, 64786, 1329, 1299, 1314, 1057, 1057, 1042, 1042, 1312, 1282,
638 1024, 1024, 785, 785, 785, 785, 784, 784, 784, 784, 769, 769, 769, 769, 65153, 1127, 1141, 1111,
639 1126, 1140, 1095, 1110, 869, 869, 883, 883, 1079, 1109, 882, 882, 375, 374, 807, 868, 838, 881,
640 791, 65073, 867, 822, 368, 263, 852, 837, 836, 64993, 610, 610, 550, 550, 352, 336, 534, 534,
641 865, 774, 851, 821, 850, 805, 593, 533, 579, 564, 773, 832, 578, 578, 548, 548, 577, 577, 307,
642 276, 306, 291, 516, 560, 259, 259, 65286, 63429, 63029, 62772, 62627, 62562, 62529, 62513, 1041,
643 1041, 1040, 1040, 769, 769, 769, 769, 256, 256, 256, 256, 256, 256
644 ]
645
646def tab.huff.p3() -> List<&2, U32>:
647 [
648 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 64769, 64484, 64323, 64259, 64178, 64131,
649 64067, 64001, 63986, 63954, 63922, 63889, 63874, 63842, 63810, 63777, 63762, 63729, 63714,
650 63682, 63650, 1565, 63617, 63601, 63585, 63569, 1731, 1730, 1580, 1717, 63553, 1729, 1564,
651 63537, 1548, 63521, 63505, 1715, 1595, 63489, 1714, 63473, 1610, 63457, 1609, 63441, 1323, 1323,
652 1457, 1457, 1307, 1307, 1712, 1547, 1641, 1700, 1699, 1594, 1685, 1625, 1442, 1442, 1322, 1322,
653 64756, 64563, 64626, 1279, 1278, 1277, 1262, 1276, 1261, 1275, 1215, 1260, 1229, 64577, 974,
654 974, 989, 989, 64593, 735, 478, 478, 495, 463, 506, 414, 64497, 1003, 958, 1017, 927, 942, 987,
655 957, 431, 476, 1272, 1167, 1228, 64353, 1256, 64337, 895, 895, 941, 941, 1242, 1227, 1212, 1135,
656 1014, 1014, 490, 489, 503, 487, 910, 1013, 985, 925, 863, 894, 970, 955, 1012, 847, 64193, 831,
657 755, 755, 984, 909, 428, 366, 754, 559, 64145, 752, 486, 457, 924, 997, 698, 698, 983, 893, 740,
658 740, 908, 877, 739, 739, 667, 667, 953, 938, 497, 287, 271, 271, 683, 606, 590, 712, 726, 574,
659 302, 302, 738, 736, 481, 286, 526, 725, 605, 711, 636, 724, 696, 651, 589, 681, 666, 710, 364,
660 467, 573, 695, 466, 466, 301, 465, 379, 379, 709, 604, 665, 679, 316, 316, 634, 633, 436, 436,
661 464, 269, 424, 394, 452, 332, 438, 363, 347, 408, 393, 448, 331, 422, 362, 407, 392, 421, 346,
662 406, 391, 376, 375, 359, 1441, 1306, 63169, 1290, 63153, 1337, 63137, 63121, 1426, 1321, 63105,
663 1411, 1336, 63089
664 ]
665
666def tab.huff.p4() -> List<&2, U32>:
667 [
668 63073, 63057, 1169, 1169, 1049, 1049, 1424, 1289, 1412, 1352, 1319, 63041, 1154, 1154, 1064,
669 1064, 1153, 1153, 416, 390, 360, 404, 403, 389, 344, 374, 373, 343, 358, 372, 327, 357, 342,
670 311, 356, 326, 1395, 1394, 1137, 1137, 1047, 1047, 1365, 1392, 1287, 1379, 1334, 1364, 1349,
671 1378, 1318, 1363, 792, 792, 792, 792, 1152, 1152, 1032, 1032, 1121, 1121, 1046, 1046, 1120,
672 1120, 1030, 1030, 62641, 1106, 1061, 1104, 849, 849, 789, 789, 1091, 1076, 1029, 1090, 1060,
673 1075, 833, 833, 309, 324, 532, 532, 832, 772, 818, 803, 561, 561, 531, 560, 515, 546, 289, 274,
674 288, 258, 65286, 64357, 63957, 63700, 63540, 63412, 63283, 63203, 63123, 63059, 62994, 62962,
675 62929, 62914, 62881, 1314, 1313, 1298, 1312, 1282, 785, 785, 785, 785, 1040, 1040, 1025, 1025,
676 768, 768, 768, 768, 64770, 64738, 64706, 64674, 64641, 64625, 64609, 64593, 64577, 64561, 64545,
677 64529, 64513, 64497, 64481, 64466, 1724, 1647, 64433, 64417, 1631, 1767, 1662, 1738, 1708, 1723,
678 64401, 1780, 1615, 1779, 1599, 1677, 1646, 1778, 1583, 64385, 1777, 1567, 1737, 1692, 1765,
679 1722, 1707, 1630, 1751, 1661, 1764, 1614, 1736, 1676, 1763, 1750, 1645, 1598, 1721, 1691, 1762,
680 1706, 1582, 1761, 1566, 64369, 1749, 1629, 767, 766, 751, 765, 494, 494, 735, 764, 719, 749,
681 734, 763, 447, 447, 748, 718, 477, 506, 431, 491, 446, 476, 461, 505, 415, 430, 475, 445, 504,
682 399, 460, 489, 414, 503, 383, 474, 429, 459, 502, 502, 746, 752, 488, 398, 501, 473, 413, 472,
683 486, 271, 480, 270, 64097, 64081, 1357, 64065, 64049, 64033
684 ]
685
686def tab.huff.p5() -> List<&2, U32>:
687 [
688 1341, 1325, 64017, 1489, 1463, 1403, 1309, 64001, 1372, 1448, 1418, 1476, 1356, 1462, 1387,
689 63985, 1475, 1340, 1447, 1402, 1386, 63969, 1068, 1068, 1474, 1461, 455, 380, 468, 440, 395,
690 425, 410, 454, 364, 467, 466, 464, 453, 269, 409, 448, 268, 432, 1371, 1473, 1432, 1417, 1308,
691 1460, 1355, 1446, 1459, 1431, 1083, 1083, 1401, 1416, 1458, 1445, 1067, 1067, 1370, 1457, 1051,
692 1051, 1291, 1430, 1385, 1444, 1354, 1415, 1400, 1443, 1082, 1082, 1173, 1113, 1186, 1066, 1185,
693 1050, 63569, 1158, 1128, 1172, 1097, 1171, 1081, 63553, 1157, 1112, 416, 266, 375, 400, 1170,
694 1142, 1127, 1065, 793, 793, 1169, 1033, 1156, 1096, 1141, 1111, 1155, 1080, 1126, 1140, 898,
695 898, 808, 808, 897, 897, 792, 792, 1095, 1152, 1032, 1125, 1110, 1139, 1079, 1124, 882, 807,
696 838, 881, 853, 791, 63217, 867, 368, 263, 822, 852, 837, 866, 806, 865, 63137, 851, 352, 262,
697 534, 534, 821, 836, 594, 594, 549, 549, 593, 593, 533, 533, 848, 773, 579, 579, 564, 578, 548,
698 563, 276, 276, 577, 576, 306, 291, 516, 560, 305, 305, 275, 259, 65285, 64644, 63478, 62916,
699 62708, 62579, 62513, 62497, 1041, 1041, 1040, 1040, 769, 769, 769, 769, 256, 256, 256, 256, 256,
700 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 65025, 65009, 64993, 64977, 1530, 64961,
701 64945, 1528, 1527, 1407, 1526, 1391, 1023, 1023, 1023, 1023, 1525, 1375, 1268, 1268, 1103, 1103,
702 1087, 1087, 1039, 1039, 1523, 64932, 815, 815, 815, 815, 510, 495, 509, 479, 508, 463, 507, 447,
703 431, 505, 415, 399
704 ]
705
706def tab.huff.p6() -> List<&2, U32>:
707 [
708 64802, 64754, 1262, 64721, 1259, 1244, 64705, 1258, 1228, 64689, 64673, 1196, 64657, 1253, 987,
709 987, 748, 64769, 493, 493, 462, 477, 414, 414, 686, 669, 478, 446, 461, 445, 474, 429, 487, 458,
710 412, 471, 1266, 1264, 1009, 1009, 799, 799, 64517, 64260, 64084, 63955, 63859, 63779, 63715,
711 63650, 63603, 63539, 1257, 1257, 1483, 1468, 1512, 1422, 1497, 1406, 1467, 1496, 1421, 1510,
712 1134, 1134, 1225, 1225, 1466, 1451, 1374, 1405, 1252, 1252, 1358, 1480, 1164, 1164, 1251, 1251,
713 1238, 1238, 1389, 1465, 64129, 1054, 1101, 64113, 1207, 64097, 830, 830, 1248, 1038, 1237, 1117,
714 1223, 1148, 1236, 1208, 411, 426, 395, 410, 379, 269, 1193, 1222, 1132, 1235, 1221, 1116, 976,
715 976, 1192, 1162, 1177, 1220, 1131, 1191, 963, 963, 63889, 961, 780, 63873, 558, 558, 994, 993,
716 437, 408, 393, 407, 829, 978, 813, 797, 947, 63793, 721, 721, 377, 392, 844, 950, 828, 890, 706,
717 706, 812, 859, 796, 960, 948, 843, 934, 874, 571, 571, 63617, 690, 555, 689, 421, 346, 539, 539,
718 944, 779, 918, 873, 932, 842, 903, 888, 570, 570, 931, 917, 674, 674, 62961, 1562, 62945, 1609,
719 62929, 1654, 1322, 1322, 1441, 1441, 1696, 1546, 1683, 1593, 1669, 1624, 1426, 1426, 1321, 1321,
720 1639, 1680, 1425, 1425, 1305, 1305, 1545, 1668, 1608, 1623, 1667, 1592, 1638, 1666, 1320, 1320,
721 1652, 1607, 1409, 1409, 1304, 1304, 1288, 1288, 1664, 1637, 1395, 1395, 1335, 1335, 1622, 1636,
722 1394, 1394, 1319, 1319, 1606, 1621, 1392, 1392, 1137, 1137, 1137, 1137, 345, 390, 360, 375, 404,
723 373, 1047, 62785, 62769, 62753
724 ]
725
726def tab.huff.p7() -> List<&2, U32>:
727 [
728 1062, 1121, 1046, 62737, 1077, 62721, 1106, 1061, 789, 789, 1105, 1104, 263, 355, 310, 340, 325,
729 354, 352, 262, 339, 324, 1091, 1076, 1029, 1090, 1060, 1075, 833, 833, 788, 788, 1088, 1028,
730 818, 818, 803, 803, 561, 561, 531, 531, 816, 771, 546, 546, 289, 274, 288, 258, 65283, 65219,
731 65155, 65090, 65058, 65027, 1279, 1279, 64725, 64357, 64085, 63780, 63636, 63508, 63347, 63283,
732 63203, 63122, 63091, 63025, 63010, 1313, 1298, 62977, 1041, 1041, 1040, 1040, 1025, 1025, 1024,
733 1024, 1022, 1007, 1021, 991, 1020, 975, 1019, 959, 687, 687, 1018, 1017, 671, 671, 655, 655,
734 1016, 1015, 639, 639, 758, 758, 623, 623, 757, 607, 756, 591, 755, 575, 754, 559, 543, 543,
735 1009, 783, 64961, 64915, 64851, 64787, 496, 64946, 750, 749, 734, 748, 974, 989, 1003, 958, 988,
736 973, 1002, 942, 987, 957, 972, 1001, 926, 986, 941, 971, 956, 1000, 910, 985, 925, 999, 894,
737 970, 64465, 64449, 64434, 1390, 64401, 1436, 1509, 1451, 1374, 64385, 1405, 1358, 1480, 1420,
738 64369, 1507, 1494, 1389, 1342, 1465, 1435, 1450, 1326, 1505, 1310, 1493, 1373, 1479, 1404, 1492,
739 1464, 1419, 428, 443, 472, 397, 736, 526, 464, 464, 486, 457, 442, 471, 484, 482, 1357, 1449,
740 1434, 1478, 1388, 1491, 1341, 1490, 1325, 1489, 1463, 1403, 1309, 1477, 1372, 1448, 1418, 1433,
741 1476, 1356, 1462, 1387, 64097, 1475, 1340, 1447, 1402, 1474, 1324, 1461, 1371, 1473, 269, 448,
742 1432, 1417, 1308, 1460, 63825, 1459, 63809, 1441, 1099, 1099, 1446, 1386, 1431, 1401, 63793,
743 1289, 1083, 1083, 1160, 1160, 1458, 1445, 1067, 1067
744 ]
745
746def tab.huff.p8() -> List<&2, U32>:
747 [
748 1370, 1457, 1307, 1430, 1129, 1129, 1098, 1098, 268, 432, 267, 416, 266, 400, 63649, 1144, 1187,
749 1082, 1173, 1113, 1186, 1066, 1050, 1158, 1128, 1143, 1172, 1097, 1171, 1081, 420, 391, 1157,
750 1112, 1170, 1142, 1127, 1065, 1169, 1049, 1156, 1096, 1141, 1111, 1155, 1080, 1126, 1154, 1064,
751 1153, 1140, 1095, 1048, 63377, 1125, 1110, 1137, 63361, 823, 823, 1139, 1138, 807, 807, 384,
752 264, 368, 263, 868, 838, 853, 791, 867, 822, 852, 837, 866, 806, 865, 790, 63217, 851, 821, 836,
753 352, 262, 850, 805, 849, 63137, 533, 533, 835, 820, 336, 261, 578, 548, 563, 577, 532, 532, 832,
754 772, 562, 562, 547, 547, 305, 275, 560, 515, 290, 290, 288, 258
755 ]
756
757def tab.huff() -> List<&2, U32>:
758 tabs.join([
759 tab.huff.p0(),
760 tab.huff.p1(),
761 tab.huff.p2(),
762 tab.huff.p3(),
763 tab.huff.p4(),
764 tab.huff.p5(),
765 tab.huff.p6(),
766 tab.huff.p7(),
767 tab.huff.p8(),
768 ])
769
770def tab.ix.p0() -> List<&2, U32>:
771 [
772 0, 32, 64, 98, 0, 132, 180, 218, 292, 364, 426, 538, 648, 746, 0, 1126, 1460, 1460, 1460, 1460,
773 1460, 1460, 1460, 1460, 1842, 1842, 1842, 1842, 1842, 1842, 1842, 1842
774 ]
775
776def tab.ix() -> List<&2, U32>:
777 tab.ix.p0()
778
779def tab.lin.p0() -> List<&2, U32>:
780 [
781 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 6, 8, 10, 13, 4, 5, 6, 7, 8, 9, 11,
782 13
783 ]
784
785def tab.lin() -> List<&2, U32>:
786 tab.lin.p0()
787
788def tab.c32.p0() -> List<&2, U32>:
789 [
790 130, 162, 193, 209, 44, 28, 76, 140, 9, 9, 9, 9, 9, 9, 9, 9, 190, 254, 222, 238, 126, 94, 157,
791 157, 109, 61, 173, 205
792 ]
793
794def tab.c32() -> List<&2, U32>:
795 tab.c32.p0()
796
797def tab.c33.p0() -> List<&2, U32>:
798 [
799 252, 236, 220, 204, 188, 172, 156, 140, 124, 108, 92, 76, 60, 44, 28, 12
800 ]
801
802def tab.c33() -> List<&2, U32>:
803 tab.c33.p0()
804
805def tab.code.p0() -> List<&2, U32>:
806 [
807 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
808 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
809 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
810 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
811 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
812 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
813 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
814 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
815 ]
816
817def tab.code.p1() -> List<&2, U32>:
818 [
819 65537, 196609, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 131073, 196608, 0, 0, 0, 0, 0, 0, 0, 0,
820 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
821 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
822 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
823 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
824 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
825 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
826 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
827 0, 0, 0, 0, 0, 0
828 ]
829
830def tab.code.p2() -> List<&2, U32>:
831 [
832 65537, 196610, 393217, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196611, 196609, 327681, 0, 0, 0,
833 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 327683, 327682, 393216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
834 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
835 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
836 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
837 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
838 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
839 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
840 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
841 ]
842
843def tab.code.p3() -> List<&2, U32>:
844 [
845 131075, 131074, 393217, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196609, 131073, 327681, 0, 0, 0,
846 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 327683, 327682, 393216, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
847 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
848 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
849 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
850 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
851 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
852 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
853 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
854 ]
855
856def tab.code.p4() -> List<&2, U32>:
857 [
858 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
859 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
860 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
861 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
862 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
863 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
864 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
865 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
866 ]
867
868def tab.code.p5() -> List<&2, U32>:
869 [
870 65537, 196610, 393222, 458757, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196611, 196609, 393220,
871 458756, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393223, 393221, 458759, 524289, 0, 0, 0, 0, 0, 0, 0,
872 0, 0, 0, 0, 0, 458758, 393217, 458753, 524288, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
873 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
874 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
875 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
876 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
877 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
878 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
879 ]
880
881def tab.code.p6() -> List<&2, U32>:
882 [
883 196615, 196611, 327685, 458753, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196614, 131074, 262147,
884 327682, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 262149, 262148, 327684, 393217, 0, 0, 0, 0, 0, 0, 0,
885 0, 0, 0, 0, 0, 393219, 327683, 393218, 458752, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
886 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
887 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
888 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
889 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
890 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
891 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
892 ]
893
894def tab.code.p7() -> List<&2, U32>:
895 [
896 65537, 196610, 393226, 524307, 524304, 589834, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196611, 262147,
897 393223, 458762, 458757, 524291, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393227, 327684, 458765, 524305,
898 524296, 589828, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 458764, 458763, 524306, 589839, 589835, 589826, 0,
899 0, 0, 0, 0, 0, 0, 0, 0, 0, 458759, 458758, 524297, 589838, 589827, 655361, 0, 0, 0, 0, 0, 0, 0,
900 0, 0, 0, 524294, 524292, 589829, 655363, 655362, 655360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
901 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
902 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
903 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
904 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
905 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
906 ]
907
908def tab.code.p8() -> List<&2, U32>:
909 [
910 131075, 196612, 393222, 524306, 524300, 589829, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196613, 131073,
911 262146, 524304, 524297, 524291, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393223, 262147, 393221, 524302,
912 524295, 589827, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 524307, 524305, 524303, 589837, 589834, 655364, 0,
913 0, 0, 0, 0, 0, 0, 0, 0, 0, 524301, 458757, 524296, 589835, 655365, 655361, 0, 0, 0, 0, 0, 0, 0,
914 0, 0, 0, 589836, 524292, 589828, 589825, 720897, 720896, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
915 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
916 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
917 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
918 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
919 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
920 ]
921
922def tab.code.p9() -> List<&2, U32>:
923 [
924 196615, 196613, 327689, 393230, 524303, 589831, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 196614, 196612,
925 262149, 327685, 393222, 524295, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 262151, 262150, 327688, 393224,
926 458760, 524293, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 393231, 327686, 393225, 458762, 458757, 524289, 0,
927 0, 0, 0, 0, 0, 0, 0, 0, 0, 458763, 393223, 458761, 458758, 524292, 589825, 0, 0, 0, 0, 0, 0, 0,
928 0, 0, 0, 524302, 458756, 524294, 524290, 589830, 589824, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
929 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
930 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
931 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
932 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
933 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
934 ]
935
936def tab.code.p10() -> List<&2, U32>:
937 [
938 65537, 196610, 393226, 524311, 589859, 589854, 589836, 655377, 0, 0, 0, 0, 0, 0, 0, 0, 196611,
939 262147, 393224, 458764, 524306, 589845, 524300, 524295, 0, 0, 0, 0, 0, 0, 0, 0, 393227, 393225,
940 458767, 524309, 589856, 655400, 589843, 589830, 0, 0, 0, 0, 0, 0, 0, 0, 458766, 458765, 524310,
941 589858, 655406, 655383, 589842, 655367, 0, 0, 0, 0, 0, 0, 0, 0, 524308, 524307, 589857, 655407,
942 655387, 655382, 655369, 655363, 0, 0, 0, 0, 0, 0, 0, 0, 589855, 589846, 655401, 655386, 720917,
943 720916, 655365, 720899, 0, 0, 0, 0, 0, 0, 0, 0, 524302, 524301, 589834, 655371, 655376, 655366,
944 720901, 720897, 0, 0, 0, 0, 0, 0, 0, 0, 589833, 524296, 589831, 655368, 655364, 720900, 720898,
945 720896, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
946 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
947 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
948 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
949 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
950 ]
951
952def tab.code.p11() -> List<&2, U32>:
953 [
954 131075, 196612, 327690, 458776, 524322, 589857, 524309, 589839, 0, 0, 0, 0, 0, 0, 0, 0, 196613,
955 196611, 262148, 393226, 524320, 524305, 458763, 524298, 0, 0, 0, 0, 0, 0, 0, 0, 327691, 327687,
956 393229, 458770, 524318, 589855, 524308, 524293, 0, 0, 0, 0, 0, 0, 0, 0, 458777, 393227, 458771,
957 589883, 524315, 655378, 524300, 589829, 0, 0, 0, 0, 0, 0, 0, 0, 524323, 524321, 524319, 589882,
958 589854, 655376, 589831, 655365, 0, 0, 0, 0, 0, 0, 0, 0, 524316, 524314, 589856, 655379, 655377,
959 720911, 655368, 720910, 0, 0, 0, 0, 0, 0, 0, 0, 524302, 458764, 458761, 524301, 589838, 655369,
960 655364, 655361, 0, 0, 0, 0, 0, 0, 0, 0, 524299, 458756, 524294, 589830, 655366, 655363, 655362,
961 655360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
962 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
963 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
964 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
965 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
966 ]
967
968def tab.code.p12() -> List<&2, U32>:
969 [
970 262153, 196614, 327696, 458785, 524329, 589863, 589862, 589850, 0, 0, 0, 0, 0, 0, 0, 0, 196615,
971 196613, 262150, 327689, 458775, 458768, 524314, 524299, 0, 0, 0, 0, 0, 0, 0, 0, 327697, 262151,
972 327691, 393230, 458773, 524318, 458762, 524295, 0, 0, 0, 0, 0, 0, 0, 0, 393233, 327690, 393231,
973 393228, 458770, 524316, 524302, 524293, 0, 0, 0, 0, 0, 0, 0, 0, 458784, 393229, 458774, 458771,
974 524306, 524304, 524297, 589829, 0, 0, 0, 0, 0, 0, 0, 0, 524328, 458769, 524319, 524317, 524305,
975 589837, 524292, 589826, 0, 0, 0, 0, 0, 0, 0, 0, 524315, 458764, 458763, 524303, 524298, 589831,
976 589828, 655361, 0, 0, 0, 0, 0, 0, 0, 0, 589851, 524300, 524296, 589836, 589830, 589827, 589825,
977 655360, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
978 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
979 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
980 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
981 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
982 ]
983
984def tab.code.p13() -> List<&2, U32>:
985 [
986 65537, 262149, 393230, 458773, 524322, 589875, 589870, 655431, 589866, 655412, 720964, 720948,
987 786499, 786476, 852011, 851987, 196611, 262148, 393228, 458771, 524319, 524314, 589868, 589857,
988 589855, 589848, 655392, 655384, 720927, 786467, 786454, 786446, 393231, 393229, 458775, 524324,
989 589883, 589873, 655437, 655425, 589853, 655400, 655390, 720936, 720923, 786465, 852010, 851984,
990 458774, 458772, 524325, 589885, 589880, 655439, 655433, 655424, 655403, 720972, 720952, 720933,
991 720922, 786463, 851993, 851982, 524323, 458768, 589884, 589881, 655457, 655435, 721010, 720987,
992 655414, 720969, 720951, 786473, 786480, 852021, 851991, 917528, 589882, 524315, 589874, 655456,
993 655436, 655430, 720989, 720980, 720973, 720954, 786511, 720925, 852042, 852017, 917545, 917521,
994 589871, 589869, 655438, 655434, 721011, 720990, 720986, 720975, 720965, 786515, 786503, 786482,
995 852027, 852006, 917540, 917519, 655432, 589858, 655416, 720991, 720988, 720981, 786523, 786522,
996 786518, 786505, 852045, 852033, 852019, 917548, 1048619, 1048618, 589867, 524308, 589854,
997 655404, 655415, 720974, 720968, 786519, 786510, 786493, 786478, 852022, 852005, 917534, 983060,
998 983056, 655413, 589849, 655401, 655397, 720940, 720955, 720950, 852049, 786498, 852044, 852025,
999 917558, 917541, 917522, 1048615, 983051, 655395, 655393, 655391, 720953, 720938, 786514, 786504,
1000 852048, 786479, 852026, 917559, 851989, 917526, 983066, 1048614, 1114134, 720949, 655385,
1001 655383, 720934, 786502, 786492, 786483, 786468, 852023, 851994, 852002, 917527, 983067, 983054,
1002 983049, 1048583, 720930, 720928, 720924, 786471, 786481, 852043, 786462, 852020, 917552, 917544,
1003 983092, 983068, 983058, 1048593, 1048585, 1048581, 786477, 720917, 786466, 852032, 852024,
1004 852018, 917553, 917549, 917535, 917523, 917516, 983055, 1048586, 983047, 1048582, 1048579,
1005 852016, 786455, 786452, 852007, 852004, 852003, 983093, 917525, 917520, 1114135, 983053, 983050,
1006 983046, 1114113, 1048580, 1048578, 786448, 786447, 851985, 917531, 917529, 917524, 983069,
1007 917515, 983057, 983052, 1048592, 1048584, 1245185, 1179649, 1245184, 1048577
1008 ]
1009
1010def tab.code.p14() -> List<&2, U32>:
1011 [
1012 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1013 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1014 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1015 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1016 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1017 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1018 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1019 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
1020 ]
1021
1022def tab.code.p15() -> List<&2, U32>:
1023 [
1024 196615, 262156, 327698, 458805, 458799, 524364, 589948, 589932, 589913, 655483, 655468, 721015,
1025 721003, 720977, 786554, 852031, 262157, 196613, 327696, 393243, 458798, 458788, 524349, 524339,
1026 524330, 589894, 589876, 655443, 655425, 655401, 720955, 720932, 327699, 327697, 327695, 393240,
1027 458793, 458786, 524347, 524336, 524328, 589888, 589874, 655438, 655422, 720976, 720952, 720929,
1028 393245, 393244, 393241, 458795, 458791, 524351, 524343, 589917, 589900, 589883, 655453, 655432,
1029 655414, 720971, 720946, 720925, 458804, 393238, 458794, 458792, 524355, 524345, 589919, 589903,
1030 589896, 589881, 655449, 655429, 655409, 720962, 720942, 720923, 524365, 458789, 458787, 524354,
1031 524346, 524340, 589915, 589898, 589886, 589872, 655439, 655423, 720986, 720958, 720936, 786470,
1032 589949, 458784, 524348, 524344, 524338, 589916, 589902, 589889, 589879, 655447, 655431, 655411,
1033 720969, 720947, 786502, 786462, 589933, 524341, 524337, 589918, 589912, 589899, 589890, 655482,
1034 655451, 655433, 655416, 655402, 720960, 720940, 720917, 786457, 589914, 524331, 524329, 589901,
1035 589897, 589887, 589880, 655452, 655437, 655426, 655407, 720963, 720944, 786485, 786468, 786452,
1036 589895, 524322, 589891, 589884, 589882, 589873, 655448, 655436, 655427, 721002, 720967, 720950,
1037 720934, 786471, 786455, 786447, 655469, 589877, 589875, 589871, 655450, 655442, 655418, 655417,
1038 655408, 720968, 720953, 720937, 720919, 786459, 852030, 786441, 655446, 589866, 589864, 589861,
1039 655430, 655424, 655412, 655403, 720966, 720951, 720938, 720921, 786461, 786450, 786443, 851979,
1040 721014, 655428, 589854, 655415, 655410, 655406, 720970, 720961, 720945, 720935, 720920, 720912,
1041 786454, 786445, 851982, 851975, 720987, 655404, 655399, 655398, 655394, 720959, 720948, 720941,
1042 720927, 786484, 786460, 786451, 786446, 786440, 851977, 851971, 786555, 720956, 720954, 720949,
1043 720943, 720939, 720928, 720918, 786469, 786456, 786449, 786444, 851983, 851978, 786434, 851969,
1044 786503, 720933, 720930, 720926, 720924, 720916, 720913, 786458, 786453, 786448, 786442, 786438,
1045 851976, 851974, 851970, 851968
1046 ]
1047
1048def tab.code.p16() -> List<&2, U32>:
1049 [
1050 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1051 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1052 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1053 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1054 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1055 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1056 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1057 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1058 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1059 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1060 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1061 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1062 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1063 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1064 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1065 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1066 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1067 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1068 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1069 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1070 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1071 720906, 720903, 720901, 720899, 720897, 524291
1072 ]
1073
1074def tab.code.p17() -> List<&2, U32>:
1075 [
1076 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1077 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1078 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1079 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1080 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1081 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1082 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1083 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1084 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1085 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1086 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1087 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1088 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1089 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1090 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1091 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1092 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1093 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1094 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1095 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1096 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1097 720906, 720903, 720901, 720899, 720897, 524291
1098 ]
1099
1100def tab.code.p18() -> List<&2, U32>:
1101 [
1102 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1103 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1104 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1105 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1106 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1107 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1108 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1109 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1110 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1111 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1112 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1113 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1114 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1115 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1116 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1117 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1118 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1119 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1120 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1121 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1122 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1123 720906, 720903, 720901, 720899, 720897, 524291
1124 ]
1125
1126def tab.code.p19() -> List<&2, U32>:
1127 [
1128 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1129 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1130 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1131 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1132 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1133 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1134 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1135 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1136 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1137 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1138 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1139 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1140 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1141 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1142 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1143 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1144 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1145 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1146 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1147 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1148 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1149 720906, 720903, 720901, 720899, 720897, 524291
1150 ]
1151
1152def tab.code.p20() -> List<&2, U32>:
1153 [
1154 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1155 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1156 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1157 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1158 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1159 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1160 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1161 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1162 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1163 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1164 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1165 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1166 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1167 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1168 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1169 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1170 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1171 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1172 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1173 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1174 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1175 720906, 720903, 720901, 720899, 720897, 524291
1176 ]
1177
1178def tab.code.p21() -> List<&2, U32>:
1179 [
1180 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1181 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1182 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1183 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1184 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1185 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1186 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1187 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1188 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1189 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1190 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1191 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1192 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1193 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1194 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1195 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1196 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1197 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1198 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1199 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1200 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1201 720906, 720903, 720901, 720899, 720897, 524291
1202 ]
1203
1204def tab.code.p22() -> List<&2, U32>:
1205 [
1206 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1207 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1208 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1209 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1210 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1211 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1212 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1213 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1214 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1215 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1216 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1217 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1218 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1219 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1220 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1221 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1222 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1223 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1224 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1225 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1226 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1227 720906, 720903, 720901, 720899, 720897, 524291
1228 ]
1229
1230def tab.code.p23() -> List<&2, U32>:
1231 [
1232 65537, 262149, 393230, 524332, 589898, 589887, 655470, 655453, 721068, 721045, 721034, 786674,
1233 786657, 786627, 852344, 589841, 196611, 262148, 393228, 458772, 524323, 589886, 589877, 589871,
1234 655443, 655435, 655428, 721015, 786633, 721003, 786639, 524297, 393231, 393229, 458775, 524326,
1235 589891, 589882, 655463, 655450, 721057, 655432, 721023, 721013, 721006, 786641, 786638, 589840,
1236 524333, 458773, 524327, 589893, 589888, 655474, 655459, 655447, 721054, 721036, 786684, 786644,
1237 786631, 852355, 852333, 655386, 589899, 524324, 589892, 589889, 655475, 655461, 721075, 721060,
1238 721051, 786696, 786678, 786658, 852363, 852350, 852330, 589833, 589890, 524318, 589883, 589880,
1239 655462, 721081, 721069, 786697, 721038, 786685, 786664, 852368, 852356, 852346, 917949, 655376,
1240 655471, 589878, 589876, 655460, 721080, 721074, 721056, 721029, 786689, 786676, 786660, 786649,
1241 852353, 852334, 918219, 655370, 655458, 589872, 655451, 655448, 721061, 721053, 721044, 786693,
1242 786680, 852375, 852365, 852340, 852348, 983929, 983924, 655368, 655445, 655444, 655441, 721055,
1243 721052, 721039, 786692, 786681, 852395, 852369, 852360, 852351, 918231, 918217, 918212, 655367,
1244 721050, 655436, 655433, 721037, 721027, 786688, 786677, 852394, 852374, 852362, 852352, 918239,
1245 852327, 918214, 852320, 720907, 721035, 721025, 655427, 721021, 786679, 786665, 786661, 786651,
1246 852361, 918247, 918241, 918224, 983925, 983922, 917943, 655364, 786675, 721016, 721014, 721011,
1247 786659, 786655, 852364, 918250, 918246, 918240, 918225, 918216, 918210, 852191, 917940, 720902,
1248 786634, 786656, 786654, 786650, 786648, 852357, 852354, 852349, 852332, 983928, 917947, 918211,
1249 917944, 917941, 1050304, 720900, 918251, 786643, 786642, 786640, 852338, 852347, 918238, 918227,
1250 918218, 1050311, 983923, 983917, 983916, 1117571, 983905, 720898, 852345, 852337, 720998,
1251 786619, 918230, 918226, 852326, 918215, 918213, 983906, 1050310, 983911, 1117570, 983910,
1252 917938, 720896, 589836, 524298, 524295, 589835, 589834, 655377, 655371, 655369, 720909, 720908,
1253 720906, 720903, 720901, 720899, 720897, 524291
1254 ]
1255
1256def tab.code.p24() -> List<&2, U32>:
1257 [
1258 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1259 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1260 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1261 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1262 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1263 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1264 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1265 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1266 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1267 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1268 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1269 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1270 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1271 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1272 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1273 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1274 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1275 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1276 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1277 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1278 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1279 524293, 524291, 524289, 262147
1280 ]
1281
1282def tab.code.p25() -> List<&2, U32>:
1283 [
1284 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1285 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1286 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1287 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1288 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1289 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1290 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1291 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1292 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1293 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1294 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1295 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1296 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1297 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1298 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1299 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1300 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1301 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1302 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1303 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1304 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1305 524293, 524291, 524289, 262147
1306 ]
1307
1308def tab.code.p26() -> List<&2, U32>:
1309 [
1310 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1311 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1312 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1313 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1314 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1315 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1316 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1317 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1318 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1319 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1320 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1321 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1322 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1323 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1324 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1325 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1326 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1327 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1328 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1329 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1330 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1331 524293, 524291, 524289, 262147
1332 ]
1333
1334def tab.code.p27() -> List<&2, U32>:
1335 [
1336 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1337 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1338 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1339 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1340 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1341 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1342 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1343 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1344 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1345 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1346 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1347 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1348 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1349 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1350 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1351 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1352 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1353 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1354 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1355 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1356 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1357 524293, 524291, 524289, 262147
1358 ]
1359
1360def tab.code.p28() -> List<&2, U32>:
1361 [
1362 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1363 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1364 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1365 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1366 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1367 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1368 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1369 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1370 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1371 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1372 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1373 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1374 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1375 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1376 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1377 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1378 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1379 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1380 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1381 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1382 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1383 524293, 524291, 524289, 262147
1384 ]
1385
1386def tab.code.p29() -> List<&2, U32>:
1387 [
1388 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1389 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1390 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1391 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1392 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1393 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1394 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1395 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1396 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1397 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1398 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1399 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1400 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1401 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1402 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1403 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1404 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1405 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1406 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1407 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1408 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1409 524293, 524291, 524289, 262147
1410 ]
1411
1412def tab.code.p30() -> List<&2, U32>:
1413 [
1414 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1415 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1416 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1417 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1418 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1419 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1420 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1421 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1422 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1423 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1424 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1425 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1426 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1427 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1428 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1429 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1430 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1431 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1432 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1433 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1434 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1435 524293, 524291, 524289, 262147
1436 ]
1437
1438def tab.code.p31() -> List<&2, U32>:
1439 [
1440 262159, 262157, 393262, 458832, 524434, 590086, 590072, 655794, 655786, 721565, 721549, 721545,
1441 721517, 721413, 787464, 589912, 262158, 262156, 327701, 393254, 458823, 524418, 524410, 590040,
1442 590033, 590022, 655687, 655705, 655679, 655657, 655639, 524330, 393263, 327702, 393257, 458826,
1443 458820, 524416, 524408, 590045, 590031, 590018, 590006, 655700, 655675, 655655, 721437, 458770,
1444 458833, 393255, 458827, 458822, 524422, 524413, 524404, 590044, 590028, 590014, 590002, 655685,
1445 655671, 655653, 655631, 458768, 524435, 458824, 458821, 524423, 524415, 524406, 524400, 590034,
1446 590024, 590012, 655712, 655683, 655666, 655645, 721436, 458766, 590087, 458818, 524417, 524414,
1447 524407, 524402, 590038, 590026, 590016, 590004, 655701, 655677, 655661, 655641, 655622, 458764,
1448 590073, 524411, 524409, 524405, 524401, 590039, 590030, 590019, 590009, 655707, 655690, 655668,
1449 655651, 655632, 721416, 458762, 655795, 524403, 524399, 524397, 590035, 590027, 590020, 590011,
1450 655713, 655692, 655673, 655658, 655643, 721427, 721277, 524305, 655787, 590036, 590032, 590029,
1451 590025, 590017, 590010, 590001, 589993, 655680, 655663, 655646, 655628, 721410, 721273, 524304,
1452 655695, 590023, 590021, 590015, 590013, 590005, 589998, 655693, 655681, 655665, 655649, 655635,
1453 721417, 721275, 721267, 524299, 721564, 590008, 590007, 590003, 589999, 655704, 655691, 655674,
1454 655664, 655650, 655637, 721426, 721279, 721269, 721262, 524298, 721548, 655706, 589995, 589992,
1455 589988, 655678, 655669, 655659, 655647, 655636, 655623, 721409, 721271, 721264, 721258, 524294,
1456 721544, 655682, 655676, 655672, 655667, 655662, 655652, 655644, 655629, 655621, 721408, 721272,
1457 721266, 721260, 721255, 524292, 721516, 655660, 655656, 655654, 655648, 655642, 655633, 655626,
1458 721411, 721276, 721270, 721265, 721261, 721257, 721253, 524290, 787465, 655640, 655638, 655634,
1459 655627, 655624, 655619, 721278, 721274, 721268, 721263, 721259, 721256, 721254, 721252, 524288,
1460 524331, 458772, 458771, 458769, 458767, 458765, 458763, 458761, 458759, 458758, 458756, 524295,
1461 524293, 524291, 524289, 262147
1462 ]
1463
1464def tab.code() -> List<&2, U32>:
1465 tabs.join([
1466 tab.code.p0(),
1467 tab.code.p1(),
1468 tab.code.p2(),
1469 tab.code.p3(),
1470 tab.code.p4(),
1471 tab.code.p5(),
1472 tab.code.p6(),
1473 tab.code.p7(),
1474 tab.code.p8(),
1475 tab.code.p9(),
1476 tab.code.p10(),
1477 tab.code.p11(),
1478 tab.code.p12(),
1479 tab.code.p13(),
1480 tab.code.p14(),
1481 tab.code.p15(),
1482 tab.code.p16(),
1483 tab.code.p17(),
1484 tab.code.p18(),
1485 tab.code.p19(),
1486 tab.code.p20(),
1487 tab.code.p21(),
1488 tab.code.p22(),
1489 tab.code.p23(),
1490 tab.code.p24(),
1491 tab.code.p25(),
1492 tab.code.p26(),
1493 tab.code.p27(),
1494 tab.code.p28(),
1495 tab.code.p29(),
1496 tab.code.p30(),
1497 tab.code.p31(),
1498 ])
1499
1500def tab.scf.p0() -> List<&2, U32>:
1501 [
1502 4, 4, 4, 4, 4, 4, 6, 6, 8, 8, 10, 12, 16, 20, 24, 28, 34, 42, 50, 54, 76, 158, 4, 4, 4, 4, 4, 4,
1503 6, 6, 6, 8, 10, 12, 16, 18, 22, 28, 34, 40, 46, 54, 54, 192, 4, 4, 4, 4, 4, 4, 6, 6, 8, 10, 12,
1504 16, 20, 24, 30, 38, 46, 56, 68, 84, 102, 26
1505 ]
1506
1507def tab.scf() -> List<&2, U32>:
1508 tab.scf.p0()