crc32.h.lean

本页保留 Lean 源码及行号。点击行号可定位语句，点击 import 中的模块名可查看依赖。

1-- GENERATED by scripts/gen_crc32_tables.py from crc32.h of the verified source. Do not edit.
2/-!
3# crc32.h: the tables of the default build
4
5W = 8 (`z_word_t` is 64 bits), N = 5, `z_crc_t` is 32 bits. The tables for the other values of W and N are
6not live in this configuration. `crc_table` and `x2n_table` are also the content of the `Statics` fields of the
7same name (`initStatics`); the others are only ever indexed, never addressed, and are plain constants.
8-/
9
10namespace Zlib.Crc32H
11
12set_option maxRecDepth 100000
13
14/-- `crc_table[256]` (`z_crc_t`) -/
15def crc_table : Array UInt32 := #[
16    0x00000000, 0x77073096, 0xee0e612c, 0x990951ba,
17    0x076dc419, 0x706af48f, 0xe963a535, 0x9e6495a3,
18    0x0edb8832, 0x79dcb8a4, 0xe0d5e91e, 0x97d2d988,
19    0x09b64c2b, 0x7eb17cbd, 0xe7b82d07, 0x90bf1d91,
20    0x1db71064, 0x6ab020f2, 0xf3b97148, 0x84be41de,
21    0x1adad47d, 0x6ddde4eb, 0xf4d4b551, 0x83d385c7,
22    0x136c9856, 0x646ba8c0, 0xfd62f97a, 0x8a65c9ec,
23    0x14015c4f, 0x63066cd9, 0xfa0f3d63, 0x8d080df5,
24    0x3b6e20c8, 0x4c69105e, 0xd56041e4, 0xa2677172,
25    0x3c03e4d1, 0x4b04d447, 0xd20d85fd, 0xa50ab56b,
26    0x35b5a8fa, 0x42b2986c, 0xdbbbc9d6, 0xacbcf940,
27    0x32d86ce3, 0x45df5c75, 0xdcd60dcf, 0xabd13d59,
28    0x26d930ac, 0x51de003a, 0xc8d75180, 0xbfd06116,
29    0x21b4f4b5, 0x56b3c423, 0xcfba9599, 0xb8bda50f,
30    0x2802b89e, 0x5f058808, 0xc60cd9b2, 0xb10be924,
31    0x2f6f7c87, 0x58684c11, 0xc1611dab, 0xb6662d3d,
32    0x76dc4190, 0x01db7106, 0x98d220bc, 0xefd5102a,
33    0x71b18589, 0x06b6b51f, 0x9fbfe4a5, 0xe8b8d433,
34    0x7807c9a2, 0x0f00f934, 0x9609a88e, 0xe10e9818,
35    0x7f6a0dbb, 0x086d3d2d, 0x91646c97, 0xe6635c01,
36    0x6b6b51f4, 0x1c6c6162, 0x856530d8, 0xf262004e,
37    0x6c0695ed, 0x1b01a57b, 0x8208f4c1, 0xf50fc457,
38    0x65b0d9c6, 0x12b7e950, 0x8bbeb8ea, 0xfcb9887c,
39    0x62dd1ddf, 0x15da2d49, 0x8cd37cf3, 0xfbd44c65,
40    0x4db26158, 0x3ab551ce, 0xa3bc0074, 0xd4bb30e2,
41    0x4adfa541, 0x3dd895d7, 0xa4d1c46d, 0xd3d6f4fb,
42    0x4369e96a, 0x346ed9fc, 0xad678846, 0xda60b8d0,
43    0x44042d73, 0x33031de5, 0xaa0a4c5f, 0xdd0d7cc9,
44    0x5005713c, 0x270241aa, 0xbe0b1010, 0xc90c2086,
45    0x5768b525, 0x206f85b3, 0xb966d409, 0xce61e49f,
46    0x5edef90e, 0x29d9c998, 0xb0d09822, 0xc7d7a8b4,
47    0x59b33d17, 0x2eb40d81, 0xb7bd5c3b, 0xc0ba6cad,
48    0xedb88320, 0x9abfb3b6, 0x03b6e20c, 0x74b1d29a,
49    0xead54739, 0x9dd277af, 0x04db2615, 0x73dc1683,
50    0xe3630b12, 0x94643b84, 0x0d6d6a3e, 0x7a6a5aa8,
51    0xe40ecf0b, 0x9309ff9d, 0x0a00ae27, 0x7d079eb1,
52    0xf00f9344, 0x8708a3d2, 0x1e01f268, 0x6906c2fe,
53    0xf762575d, 0x806567cb, 0x196c3671, 0x6e6b06e7,
54    0xfed41b76, 0x89d32be0, 0x10da7a5a, 0x67dd4acc,
55    0xf9b9df6f, 0x8ebeeff9, 0x17b7be43, 0x60b08ed5,
56    0xd6d6a3e8, 0xa1d1937e, 0x38d8c2c4, 0x4fdff252,
57    0xd1bb67f1, 0xa6bc5767, 0x3fb506dd, 0x48b2364b,
58    0xd80d2bda, 0xaf0a1b4c, 0x36034af6, 0x41047a60,
59    0xdf60efc3, 0xa867df55, 0x316e8eef, 0x4669be79,
60    0xcb61b38c, 0xbc66831a, 0x256fd2a0, 0x5268e236,
61    0xcc0c7795, 0xbb0b4703, 0x220216b9, 0x5505262f,
62    0xc5ba3bbe, 0xb2bd0b28, 0x2bb45a92, 0x5cb36a04,
63    0xc2d7ffa7, 0xb5d0cf31, 0x2cd99e8b, 0x5bdeae1d,
64    0x9b64c2b0, 0xec63f226, 0x756aa39c, 0x026d930a,
65    0x9c0906a9, 0xeb0e363f, 0x72076785, 0x05005713,
66    0x95bf4a82, 0xe2b87a14, 0x7bb12bae, 0x0cb61b38,
67    0x92d28e9b, 0xe5d5be0d, 0x7cdcefb7, 0x0bdbdf21,
68    0x86d3d2d4, 0xf1d4e242, 0x68ddb3f8, 0x1fda836e,
69    0x81be16cd, 0xf6b9265b, 0x6fb077e1, 0x18b74777,
70    0x88085ae6, 0xff0f6a70, 0x66063bca, 0x11010b5c,
71    0x8f659eff, 0xf862ae69, 0x616bffd3, 0x166ccf45,
72    0xa00ae278, 0xd70dd2ee, 0x4e048354, 0x3903b3c2,
73    0xa7672661, 0xd06016f7, 0x4969474d, 0x3e6e77db,
74    0xaed16a4a, 0xd9d65adc, 0x40df0b66, 0x37d83bf0,
75    0xa9bcae53, 0xdebb9ec5, 0x47b2cf7f, 0x30b5ffe9,
76    0xbdbdf21c, 0xcabac28a, 0x53b39330, 0x24b4a3a6,
77    0xbad03605, 0xcdd70693, 0x54de5729, 0x23d967bf,
78    0xb3667a2e, 0xc4614ab8, 0x5d681b02, 0x2a6f2b94,
79    0xb40bbe37, 0xc30c8ea1, 0x5a05df1b, 0x2d02ef8d]
80
81/-- `crc_big_table[256]` for `W == 8` (`z_word_t`) -/
82def crc_big_table : Array UInt64 := #[
83    0x0000000000000000, 0x9630077700000000, 0x2c610eee00000000, 0xba51099900000000,
84    0x19c46d0700000000, 0x8ff46a7000000000, 0x35a563e900000000, 0xa395649e00000000,
85    0x3288db0e00000000, 0xa4b8dc7900000000, 0x1ee9d5e000000000, 0x88d9d29700000000,
86    0x2b4cb60900000000, 0xbd7cb17e00000000, 0x072db8e700000000, 0x911dbf9000000000,
87    0x6410b71d00000000, 0xf220b06a00000000, 0x4871b9f300000000, 0xde41be8400000000,
88    0x7dd4da1a00000000, 0xebe4dd6d00000000, 0x51b5d4f400000000, 0xc785d38300000000,
89    0x56986c1300000000, 0xc0a86b6400000000, 0x7af962fd00000000, 0xecc9658a00000000,
90    0x4f5c011400000000, 0xd96c066300000000, 0x633d0ffa00000000, 0xf50d088d00000000,
91    0xc8206e3b00000000, 0x5e10694c00000000, 0xe44160d500000000, 0x727167a200000000,
92    0xd1e4033c00000000, 0x47d4044b00000000, 0xfd850dd200000000, 0x6bb50aa500000000,
93    0xfaa8b53500000000, 0x6c98b24200000000, 0xd6c9bbdb00000000, 0x40f9bcac00000000,
94    0xe36cd83200000000, 0x755cdf4500000000, 0xcf0dd6dc00000000, 0x593dd1ab00000000,
95    0xac30d92600000000, 0x3a00de5100000000, 0x8051d7c800000000, 0x1661d0bf00000000,
96    0xb5f4b42100000000, 0x23c4b35600000000, 0x9995bacf00000000, 0x0fa5bdb800000000,
97    0x9eb8022800000000, 0x0888055f00000000, 0xb2d90cc600000000, 0x24e90bb100000000,
98    0x877c6f2f00000000, 0x114c685800000000, 0xab1d61c100000000, 0x3d2d66b600000000,
99    0x9041dc7600000000, 0x0671db0100000000, 0xbc20d29800000000, 0x2a10d5ef00000000,
100    0x8985b17100000000, 0x1fb5b60600000000, 0xa5e4bf9f00000000, 0x33d4b8e800000000,
101    0xa2c9077800000000, 0x34f9000f00000000, 0x8ea8099600000000, 0x18980ee100000000,
102    0xbb0d6a7f00000000, 0x2d3d6d0800000000, 0x976c649100000000, 0x015c63e600000000,
103    0xf4516b6b00000000, 0x62616c1c00000000, 0xd830658500000000, 0x4e0062f200000000,
104    0xed95066c00000000, 0x7ba5011b00000000, 0xc1f4088200000000, 0x57c40ff500000000,
105    0xc6d9b06500000000, 0x50e9b71200000000, 0xeab8be8b00000000, 0x7c88b9fc00000000,
106    0xdf1ddd6200000000, 0x492dda1500000000, 0xf37cd38c00000000, 0x654cd4fb00000000,
107    0x5861b24d00000000, 0xce51b53a00000000, 0x7400bca300000000, 0xe230bbd400000000,
108    0x41a5df4a00000000, 0xd795d83d00000000, 0x6dc4d1a400000000, 0xfbf4d6d300000000,
109    0x6ae9694300000000, 0xfcd96e3400000000, 0x468867ad00000000, 0xd0b860da00000000,
110    0x732d044400000000, 0xe51d033300000000, 0x5f4c0aaa00000000, 0xc97c0ddd00000000,
111    0x3c71055000000000, 0xaa41022700000000, 0x10100bbe00000000, 0x86200cc900000000,
112    0x25b5685700000000, 0xb3856f2000000000, 0x09d466b900000000, 0x9fe461ce00000000,
113    0x0ef9de5e00000000, 0x98c9d92900000000, 0x2298d0b000000000, 0xb4a8d7c700000000,
114    0x173db35900000000, 0x810db42e00000000, 0x3b5cbdb700000000, 0xad6cbac000000000,
115    0x2083b8ed00000000, 0xb6b3bf9a00000000, 0x0ce2b60300000000, 0x9ad2b17400000000,
116    0x3947d5ea00000000, 0xaf77d29d00000000, 0x1526db0400000000, 0x8316dc7300000000,
117    0x120b63e300000000, 0x843b649400000000, 0x3e6a6d0d00000000, 0xa85a6a7a00000000,
118    0x0bcf0ee400000000, 0x9dff099300000000, 0x27ae000a00000000, 0xb19e077d00000000,
119    0x44930ff000000000, 0xd2a3088700000000, 0x68f2011e00000000, 0xfec2066900000000,
120    0x5d5762f700000000, 0xcb67658000000000, 0x71366c1900000000, 0xe7066b6e00000000,
121    0x761bd4fe00000000, 0xe02bd38900000000, 0x5a7ada1000000000, 0xcc4add6700000000,
122    0x6fdfb9f900000000, 0xf9efbe8e00000000, 0x43beb71700000000, 0xd58eb06000000000,
123    0xe8a3d6d600000000, 0x7e93d1a100000000, 0xc4c2d83800000000, 0x52f2df4f00000000,
124    0xf167bbd100000000, 0x6757bca600000000, 0xdd06b53f00000000, 0x4b36b24800000000,
125    0xda2b0dd800000000, 0x4c1b0aaf00000000, 0xf64a033600000000, 0x607a044100000000,
126    0xc3ef60df00000000, 0x55df67a800000000, 0xef8e6e3100000000, 0x79be694600000000,
127    0x8cb361cb00000000, 0x1a8366bc00000000, 0xa0d26f2500000000, 0x36e2685200000000,
128    0x95770ccc00000000, 0x03470bbb00000000, 0xb916022200000000, 0x2f26055500000000,
129    0xbe3bbac500000000, 0x280bbdb200000000, 0x925ab42b00000000, 0x046ab35c00000000,
130    0xa7ffd7c200000000, 0x31cfd0b500000000, 0x8b9ed92c00000000, 0x1daede5b00000000,
131    0xb0c2649b00000000, 0x26f263ec00000000, 0x9ca36a7500000000, 0x0a936d0200000000,
132    0xa906099c00000000, 0x3f360eeb00000000, 0x8567077200000000, 0x1357000500000000,
133    0x824abf9500000000, 0x147ab8e200000000, 0xae2bb17b00000000, 0x381bb60c00000000,
134    0x9b8ed29200000000, 0x0dbed5e500000000, 0xb7efdc7c00000000, 0x21dfdb0b00000000,
135    0xd4d2d38600000000, 0x42e2d4f100000000, 0xf8b3dd6800000000, 0x6e83da1f00000000,
136    0xcd16be8100000000, 0x5b26b9f600000000, 0xe177b06f00000000, 0x7747b71800000000,
137    0xe65a088800000000, 0x706a0fff00000000, 0xca3b066600000000, 0x5c0b011100000000,
138    0xff9e658f00000000, 0x69ae62f800000000, 0xd3ff6b6100000000, 0x45cf6c1600000000,
139    0x78e20aa000000000, 0xeed20dd700000000, 0x5483044e00000000, 0xc2b3033900000000,
140    0x612667a700000000, 0xf71660d000000000, 0x4d47694900000000, 0xdb776e3e00000000,
141    0x4a6ad1ae00000000, 0xdc5ad6d900000000, 0x660bdf4000000000, 0xf03bd83700000000,
142    0x53aebca900000000, 0xc59ebbde00000000, 0x7fcfb24700000000, 0xe9ffb53000000000,
143    0x1cf2bdbd00000000, 0x8ac2baca00000000, 0x3093b35300000000, 0xa6a3b42400000000,
144    0x0536d0ba00000000, 0x9306d7cd00000000, 0x2957de5400000000, 0xbf67d92300000000,
145    0x2e7a66b300000000, 0xb84a61c400000000, 0x021b685d00000000, 0x942b6f2a00000000,
146    0x37be0bb400000000, 0xa18e0cc300000000, 0x1bdf055a00000000, 0x8def022d00000000]
147
148/-- `crc_braid_table[8][256]` for `N == 5`, `W == 8` -/
149def crc_braid_table : Array (Array UInt32) := #[
150  #[
151    0x00000000, 0xaf449247, 0x85f822cf, 0x2abcb088,
152    0xd08143df, 0x7fc5d198, 0x55796110, 0xfa3df357,
153    0x7a7381ff, 0xd53713b8, 0xff8ba330, 0x50cf3177,
154    0xaaf2c220, 0x05b65067, 0x2f0ae0ef, 0x804e72a8,
155    0xf4e703fe, 0x5ba391b9, 0x711f2131, 0xde5bb376,
156    0x24664021, 0x8b22d266, 0xa19e62ee, 0x0edaf0a9,
157    0x8e948201, 0x21d01046, 0x0b6ca0ce, 0xa4283289,
158    0x5e15c1de, 0xf1515399, 0xdbede311, 0x74a97156,
159    0x32bf01bd, 0x9dfb93fa, 0xb7472372, 0x1803b135,
160    0xe23e4262, 0x4d7ad025, 0x67c660ad, 0xc882f2ea,
161    0x48cc8042, 0xe7881205, 0xcd34a28d, 0x627030ca,
162    0x984dc39d, 0x370951da, 0x1db5e152, 0xb2f17315,
163    0xc6580243, 0x691c9004, 0x43a0208c, 0xece4b2cb,
164    0x16d9419c, 0xb99dd3db, 0x93216353, 0x3c65f114,
165    0xbc2b83bc, 0x136f11fb, 0x39d3a173, 0x96973334,
166    0x6caac063, 0xc3ee5224, 0xe952e2ac, 0x461670eb,
167    0x657e037a, 0xca3a913d, 0xe08621b5, 0x4fc2b3f2,
168    0xb5ff40a5, 0x1abbd2e2, 0x3007626a, 0x9f43f02d,
169    0x1f0d8285, 0xb04910c2, 0x9af5a04a, 0x35b1320d,
170    0xcf8cc15a, 0x60c8531d, 0x4a74e395, 0xe53071d2,
171    0x91990084, 0x3edd92c3, 0x1461224b, 0xbb25b00c,
172    0x4118435b, 0xee5cd11c, 0xc4e06194, 0x6ba4f3d3,
173    0xebea817b, 0x44ae133c, 0x6e12a3b4, 0xc15631f3,
174    0x3b6bc2a4, 0x942f50e3, 0xbe93e06b, 0x11d7722c,
175    0x57c102c7, 0xf8859080, 0xd2392008, 0x7d7db24f,
176    0x87404118, 0x2804d35f, 0x02b863d7, 0xadfcf190,
177    0x2db28338, 0x82f6117f, 0xa84aa1f7, 0x070e33b0,
178    0xfd33c0e7, 0x527752a0, 0x78cbe228, 0xd78f706f,
179    0xa3260139, 0x0c62937e, 0x26de23f6, 0x899ab1b1,
180    0x73a742e6, 0xdce3d0a1, 0xf65f6029, 0x591bf26e,
181    0xd95580c6, 0x76111281, 0x5cada209, 0xf3e9304e,
182    0x09d4c319, 0xa690515e, 0x8c2ce1d6, 0x23687391,
183    0xcafc06f4, 0x65b894b3, 0x4f04243b, 0xe040b67c,
184    0x1a7d452b, 0xb539d76c, 0x9f8567e4, 0x30c1f5a3,
185    0xb08f870b, 0x1fcb154c, 0x3577a5c4, 0x9a333783,
186    0x600ec4d4, 0xcf4a5693, 0xe5f6e61b, 0x4ab2745c,
187    0x3e1b050a, 0x915f974d, 0xbbe327c5, 0x14a7b582,
188    0xee9a46d5, 0x41ded492, 0x6b62641a, 0xc426f65d,
189    0x446884f5, 0xeb2c16b2, 0xc190a63a, 0x6ed4347d,
190    0x94e9c72a, 0x3bad556d, 0x1111e5e5, 0xbe5577a2,
191    0xf8430749, 0x5707950e, 0x7dbb2586, 0xd2ffb7c1,
192    0x28c24496, 0x8786d6d1, 0xad3a6659, 0x027ef41e,
193    0x823086b6, 0x2d7414f1, 0x07c8a479, 0xa88c363e,
194    0x52b1c569, 0xfdf5572e, 0xd749e7a6, 0x780d75e1,
195    0x0ca404b7, 0xa3e096f0, 0x895c2678, 0x2618b43f,
196    0xdc254768, 0x7361d52f, 0x59dd65a7, 0xf699f7e0,
197    0x76d78548, 0xd993170f, 0xf32fa787, 0x5c6b35c0,
198    0xa656c697, 0x091254d0, 0x23aee458, 0x8cea761f,
199    0xaf82058e, 0x00c697c9, 0x2a7a2741, 0x853eb506,
200    0x7f034651, 0xd047d416, 0xfafb649e, 0x55bff6d9,
201    0xd5f18471, 0x7ab51636, 0x5009a6be, 0xff4d34f9,
202    0x0570c7ae, 0xaa3455e9, 0x8088e561, 0x2fcc7726,
203    0x5b650670, 0xf4219437, 0xde9d24bf, 0x71d9b6f8,
204    0x8be445af, 0x24a0d7e8, 0x0e1c6760, 0xa158f527,
205    0x2116878f, 0x8e5215c8, 0xa4eea540, 0x0baa3707,
206    0xf197c450, 0x5ed35617, 0x746fe69f, 0xdb2b74d8,
207    0x9d3d0433, 0x32799674, 0x18c526fc, 0xb781b4bb,
208    0x4dbc47ec, 0xe2f8d5ab, 0xc8446523, 0x6700f764,
209    0xe74e85cc, 0x480a178b, 0x62b6a703, 0xcdf23544,
210    0x37cfc613, 0x988b5454, 0xb237e4dc, 0x1d73769b,
211    0x69da07cd, 0xc69e958a, 0xec222502, 0x4366b745,
212    0xb95b4412, 0x161fd655, 0x3ca366dd, 0x93e7f49a,
213    0x13a98632, 0xbced1475, 0x9651a4fd, 0x391536ba,
214    0xc328c5ed, 0x6c6c57aa, 0x46d0e722, 0xe9947565],
215  #[
216    0x00000000, 0x4e890ba9, 0x9d121752, 0xd39b1cfb,
217    0xe15528e5, 0xafdc234c, 0x7c473fb7, 0x32ce341e,
218    0x19db578b, 0x57525c22, 0x84c940d9, 0xca404b70,
219    0xf88e7f6e, 0xb60774c7, 0x659c683c, 0x2b156395,
220    0x33b6af16, 0x7d3fa4bf, 0xaea4b844, 0xe02db3ed,
221    0xd2e387f3, 0x9c6a8c5a, 0x4ff190a1, 0x01789b08,
222    0x2a6df89d, 0x64e4f334, 0xb77fefcf, 0xf9f6e466,
223    0xcb38d078, 0x85b1dbd1, 0x562ac72a, 0x18a3cc83,
224    0x676d5e2c, 0x29e45585, 0xfa7f497e, 0xb4f642d7,
225    0x863876c9, 0xc8b17d60, 0x1b2a619b, 0x55a36a32,
226    0x7eb609a7, 0x303f020e, 0xe3a41ef5, 0xad2d155c,
227    0x9fe32142, 0xd16a2aeb, 0x02f13610, 0x4c783db9,
228    0x54dbf13a, 0x1a52fa93, 0xc9c9e668, 0x8740edc1,
229    0xb58ed9df, 0xfb07d276, 0x289cce8d, 0x6615c524,
230    0x4d00a6b1, 0x0389ad18, 0xd012b1e3, 0x9e9bba4a,
231    0xac558e54, 0xe2dc85fd, 0x31479906, 0x7fce92af,
232    0xcedabc58, 0x8053b7f1, 0x53c8ab0a, 0x1d41a0a3,
233    0x2f8f94bd, 0x61069f14, 0xb29d83ef, 0xfc148846,
234    0xd701ebd3, 0x9988e07a, 0x4a13fc81, 0x049af728,
235    0x3654c336, 0x78ddc89f, 0xab46d464, 0xe5cfdfcd,
236    0xfd6c134e, 0xb3e518e7, 0x607e041c, 0x2ef70fb5,
237    0x1c393bab, 0x52b03002, 0x812b2cf9, 0xcfa22750,
238    0xe4b744c5, 0xaa3e4f6c, 0x79a55397, 0x372c583e,
239    0x05e26c20, 0x4b6b6789, 0x98f07b72, 0xd67970db,
240    0xa9b7e274, 0xe73ee9dd, 0x34a5f526, 0x7a2cfe8f,
241    0x48e2ca91, 0x066bc138, 0xd5f0ddc3, 0x9b79d66a,
242    0xb06cb5ff, 0xfee5be56, 0x2d7ea2ad, 0x63f7a904,
243    0x51399d1a, 0x1fb096b3, 0xcc2b8a48, 0x82a281e1,
244    0x9a014d62, 0xd48846cb, 0x07135a30, 0x499a5199,
245    0x7b546587, 0x35dd6e2e, 0xe64672d5, 0xa8cf797c,
246    0x83da1ae9, 0xcd531140, 0x1ec80dbb, 0x50410612,
247    0x628f320c, 0x2c0639a5, 0xff9d255e, 0xb1142ef7,
248    0x46c47ef1, 0x084d7558, 0xdbd669a3, 0x955f620a,
249    0xa7915614, 0xe9185dbd, 0x3a834146, 0x740a4aef,
250    0x5f1f297a, 0x119622d3, 0xc20d3e28, 0x8c843581,
251    0xbe4a019f, 0xf0c30a36, 0x235816cd, 0x6dd11d64,
252    0x7572d1e7, 0x3bfbda4e, 0xe860c6b5, 0xa6e9cd1c,
253    0x9427f902, 0xdaaef2ab, 0x0935ee50, 0x47bce5f9,
254    0x6ca9866c, 0x22208dc5, 0xf1bb913e, 0xbf329a97,
255    0x8dfcae89, 0xc375a520, 0x10eeb9db, 0x5e67b272,
256    0x21a920dd, 0x6f202b74, 0xbcbb378f, 0xf2323c26,
257    0xc0fc0838, 0x8e750391, 0x5dee1f6a, 0x136714c3,
258    0x38727756, 0x76fb7cff, 0xa5606004, 0xebe96bad,
259    0xd9275fb3, 0x97ae541a, 0x443548e1, 0x0abc4348,
260    0x121f8fcb, 0x5c968462, 0x8f0d9899, 0xc1849330,
261    0xf34aa72e, 0xbdc3ac87, 0x6e58b07c, 0x20d1bbd5,
262    0x0bc4d840, 0x454dd3e9, 0x96d6cf12, 0xd85fc4bb,
263    0xea91f0a5, 0xa418fb0c, 0x7783e7f7, 0x390aec5e,
264    0x881ec2a9, 0xc697c900, 0x150cd5fb, 0x5b85de52,
265    0x694bea4c, 0x27c2e1e5, 0xf459fd1e, 0xbad0f6b7,
266    0x91c59522, 0xdf4c9e8b, 0x0cd78270, 0x425e89d9,
267    0x7090bdc7, 0x3e19b66e, 0xed82aa95, 0xa30ba13c,
268    0xbba86dbf, 0xf5216616, 0x26ba7aed, 0x68337144,
269    0x5afd455a, 0x14744ef3, 0xc7ef5208, 0x896659a1,
270    0xa2733a34, 0xecfa319d, 0x3f612d66, 0x71e826cf,
271    0x432612d1, 0x0daf1978, 0xde340583, 0x90bd0e2a,
272    0xef739c85, 0xa1fa972c, 0x72618bd7, 0x3ce8807e,
273    0x0e26b460, 0x40afbfc9, 0x9334a332, 0xddbda89b,
274    0xf6a8cb0e, 0xb821c0a7, 0x6bbadc5c, 0x2533d7f5,
275    0x17fde3eb, 0x5974e842, 0x8aeff4b9, 0xc466ff10,
276    0xdcc53393, 0x924c383a, 0x41d724c1, 0x0f5e2f68,
277    0x3d901b76, 0x731910df, 0xa0820c24, 0xee0b078d,
278    0xc51e6418, 0x8b976fb1, 0x580c734a, 0x168578e3,
279    0x244b4cfd, 0x6ac24754, 0xb9595baf, 0xf7d05006],
280  #[
281    0x00000000, 0x8d88fde2, 0xc060fd85, 0x4de80067,
282    0x5bb0fd4b, 0xd63800a9, 0x9bd000ce, 0x1658fd2c,
283    0xb761fa96, 0x3ae90774, 0x77010713, 0xfa89faf1,
284    0xecd107dd, 0x6159fa3f, 0x2cb1fa58, 0xa13907ba,
285    0xb5b2f36d, 0x383a0e8f, 0x75d20ee8, 0xf85af30a,
286    0xee020e26, 0x638af3c4, 0x2e62f3a3, 0xa3ea0e41,
287    0x02d309fb, 0x8f5bf419, 0xc2b3f47e, 0x4f3b099c,
288    0x5963f4b0, 0xd4eb0952, 0x99030935, 0x148bf4d7,
289    0xb014e09b, 0x3d9c1d79, 0x70741d1e, 0xfdfce0fc,
290    0xeba41dd0, 0x662ce032, 0x2bc4e055, 0xa64c1db7,
291    0x07751a0d, 0x8afde7ef, 0xc715e788, 0x4a9d1a6a,
292    0x5cc5e746, 0xd14d1aa4, 0x9ca51ac3, 0x112de721,
293    0x05a613f6, 0x882eee14, 0xc5c6ee73, 0x484e1391,
294    0x5e16eebd, 0xd39e135f, 0x9e761338, 0x13feeeda,
295    0xb2c7e960, 0x3f4f1482, 0x72a714e5, 0xff2fe907,
296    0xe977142b, 0x64ffe9c9, 0x2917e9ae, 0xa49f144c,
297    0xbb58c777, 0x36d03a95, 0x7b383af2, 0xf6b0c710,
298    0xe0e83a3c, 0x6d60c7de, 0x2088c7b9, 0xad003a5b,
299    0x0c393de1, 0x81b1c003, 0xcc59c064, 0x41d13d86,
300    0x5789c0aa, 0xda013d48, 0x97e93d2f, 0x1a61c0cd,
301    0x0eea341a, 0x8362c9f8, 0xce8ac99f, 0x4302347d,
302    0x555ac951, 0xd8d234b3, 0x953a34d4, 0x18b2c936,
303    0xb98bce8c, 0x3403336e, 0x79eb3309, 0xf463ceeb,
304    0xe23b33c7, 0x6fb3ce25, 0x225bce42, 0xafd333a0,
305    0x0b4c27ec, 0x86c4da0e, 0xcb2cda69, 0x46a4278b,
306    0x50fcdaa7, 0xdd742745, 0x909c2722, 0x1d14dac0,
307    0xbc2ddd7a, 0x31a52098, 0x7c4d20ff, 0xf1c5dd1d,
308    0xe79d2031, 0x6a15ddd3, 0x27fdddb4, 0xaa752056,
309    0xbefed481, 0x33762963, 0x7e9e2904, 0xf316d4e6,
310    0xe54e29ca, 0x68c6d428, 0x252ed44f, 0xa8a629ad,
311    0x099f2e17, 0x8417d3f5, 0xc9ffd392, 0x44772e70,
312    0x522fd35c, 0xdfa72ebe, 0x924f2ed9, 0x1fc7d33b,
313    0xadc088af, 0x2048754d, 0x6da0752a, 0xe02888c8,
314    0xf67075e4, 0x7bf88806, 0x36108861, 0xbb987583,
315    0x1aa17239, 0x97298fdb, 0xdac18fbc, 0x5749725e,
316    0x41118f72, 0xcc997290, 0x817172f7, 0x0cf98f15,
317    0x18727bc2, 0x95fa8620, 0xd8128647, 0x559a7ba5,
318    0x43c28689, 0xce4a7b6b, 0x83a27b0c, 0x0e2a86ee,
319    0xaf138154, 0x229b7cb6, 0x6f737cd1, 0xe2fb8133,
320    0xf4a37c1f, 0x792b81fd, 0x34c3819a, 0xb94b7c78,
321    0x1dd46834, 0x905c95d6, 0xddb495b1, 0x503c6853,
322    0x4664957f, 0xcbec689d, 0x860468fa, 0x0b8c9518,
323    0xaab592a2, 0x273d6f40, 0x6ad56f27, 0xe75d92c5,
324    0xf1056fe9, 0x7c8d920b, 0x3165926c, 0xbced6f8e,
325    0xa8669b59, 0x25ee66bb, 0x680666dc, 0xe58e9b3e,
326    0xf3d66612, 0x7e5e9bf0, 0x33b69b97, 0xbe3e6675,
327    0x1f0761cf, 0x928f9c2d, 0xdf679c4a, 0x52ef61a8,
328    0x44b79c84, 0xc93f6166, 0x84d76101, 0x095f9ce3,
329    0x16984fd8, 0x9b10b23a, 0xd6f8b25d, 0x5b704fbf,
330    0x4d28b293, 0xc0a04f71, 0x8d484f16, 0x00c0b2f4,
331    0xa1f9b54e, 0x2c7148ac, 0x619948cb, 0xec11b529,
332    0xfa494805, 0x77c1b5e7, 0x3a29b580, 0xb7a14862,
333    0xa32abcb5, 0x2ea24157, 0x634a4130, 0xeec2bcd2,
334    0xf89a41fe, 0x7512bc1c, 0x38fabc7b, 0xb5724199,
335    0x144b4623, 0x99c3bbc1, 0xd42bbba6, 0x59a34644,
336    0x4ffbbb68, 0xc273468a, 0x8f9b46ed, 0x0213bb0f,
337    0xa68caf43, 0x2b0452a1, 0x66ec52c6, 0xeb64af24,
338    0xfd3c5208, 0x70b4afea, 0x3d5caf8d, 0xb0d4526f,
339    0x11ed55d5, 0x9c65a837, 0xd18da850, 0x5c0555b2,
340    0x4a5da89e, 0xc7d5557c, 0x8a3d551b, 0x07b5a8f9,
341    0x133e5c2e, 0x9eb6a1cc, 0xd35ea1ab, 0x5ed65c49,
342    0x488ea165, 0xc5065c87, 0x88ee5ce0, 0x0566a102,
343    0xa45fa6b8, 0x29d75b5a, 0x643f5b3d, 0xe9b7a6df,
344    0xffef5bf3, 0x7267a611, 0x3f8fa676, 0xb2075b94],
345  #[
346    0x00000000, 0x80f0171f, 0xda91287f, 0x5a613f60,
347    0x6e5356bf, 0xeea341a0, 0xb4c27ec0, 0x343269df,
348    0xdca6ad7e, 0x5c56ba61, 0x06378501, 0x86c7921e,
349    0xb2f5fbc1, 0x3205ecde, 0x6864d3be, 0xe894c4a1,
350    0x623c5cbd, 0xe2cc4ba2, 0xb8ad74c2, 0x385d63dd,
351    0x0c6f0a02, 0x8c9f1d1d, 0xd6fe227d, 0x560e3562,
352    0xbe9af1c3, 0x3e6ae6dc, 0x640bd9bc, 0xe4fbcea3,
353    0xd0c9a77c, 0x5039b063, 0x0a588f03, 0x8aa8981c,
354    0xc478b97a, 0x4488ae65, 0x1ee99105, 0x9e19861a,
355    0xaa2befc5, 0x2adbf8da, 0x70bac7ba, 0xf04ad0a5,
356    0x18de1404, 0x982e031b, 0xc24f3c7b, 0x42bf2b64,
357    0x768d42bb, 0xf67d55a4, 0xac1c6ac4, 0x2cec7ddb,
358    0xa644e5c7, 0x26b4f2d8, 0x7cd5cdb8, 0xfc25daa7,
359    0xc817b378, 0x48e7a467, 0x12869b07, 0x92768c18,
360    0x7ae248b9, 0xfa125fa6, 0xa07360c6, 0x208377d9,
361    0x14b11e06, 0x94410919, 0xce203679, 0x4ed02166,
362    0x538074b5, 0xd37063aa, 0x89115cca, 0x09e14bd5,
363    0x3dd3220a, 0xbd233515, 0xe7420a75, 0x67b21d6a,
364    0x8f26d9cb, 0x0fd6ced4, 0x55b7f1b4, 0xd547e6ab,
365    0xe1758f74, 0x6185986b, 0x3be4a70b, 0xbb14b014,
366    0x31bc2808, 0xb14c3f17, 0xeb2d0077, 0x6bdd1768,
367    0x5fef7eb7, 0xdf1f69a8, 0x857e56c8, 0x058e41d7,
368    0xed1a8576, 0x6dea9269, 0x378bad09, 0xb77bba16,
369    0x8349d3c9, 0x03b9c4d6, 0x59d8fbb6, 0xd928eca9,
370    0x97f8cdcf, 0x1708dad0, 0x4d69e5b0, 0xcd99f2af,
371    0xf9ab9b70, 0x795b8c6f, 0x233ab30f, 0xa3caa410,
372    0x4b5e60b1, 0xcbae77ae, 0x91cf48ce, 0x113f5fd1,
373    0x250d360e, 0xa5fd2111, 0xff9c1e71, 0x7f6c096e,
374    0xf5c49172, 0x7534866d, 0x2f55b90d, 0xafa5ae12,
375    0x9b97c7cd, 0x1b67d0d2, 0x4106efb2, 0xc1f6f8ad,
376    0x29623c0c, 0xa9922b13, 0xf3f31473, 0x7303036c,
377    0x47316ab3, 0xc7c17dac, 0x9da042cc, 0x1d5055d3,
378    0xa700e96a, 0x27f0fe75, 0x7d91c115, 0xfd61d60a,
379    0xc953bfd5, 0x49a3a8ca, 0x13c297aa, 0x933280b5,
380    0x7ba64414, 0xfb56530b, 0xa1376c6b, 0x21c77b74,
381    0x15f512ab, 0x950505b4, 0xcf643ad4, 0x4f942dcb,
382    0xc53cb5d7, 0x45cca2c8, 0x1fad9da8, 0x9f5d8ab7,
383    0xab6fe368, 0x2b9ff477, 0x71fecb17, 0xf10edc08,
384    0x199a18a9, 0x996a0fb6, 0xc30b30d6, 0x43fb27c9,
385    0x77c94e16, 0xf7395909, 0xad586669, 0x2da87176,
386    0x63785010, 0xe388470f, 0xb9e9786f, 0x39196f70,
387    0x0d2b06af, 0x8ddb11b0, 0xd7ba2ed0, 0x574a39cf,
388    0xbfdefd6e, 0x3f2eea71, 0x654fd511, 0xe5bfc20e,
389    0xd18dabd1, 0x517dbcce, 0x0b1c83ae, 0x8bec94b1,
390    0x01440cad, 0x81b41bb2, 0xdbd524d2, 0x5b2533cd,
391    0x6f175a12, 0xefe74d0d, 0xb586726d, 0x35766572,
392    0xdde2a1d3, 0x5d12b6cc, 0x077389ac, 0x87839eb3,
393    0xb3b1f76c, 0x3341e073, 0x6920df13, 0xe9d0c80c,
394    0xf4809ddf, 0x74708ac0, 0x2e11b5a0, 0xaee1a2bf,
395    0x9ad3cb60, 0x1a23dc7f, 0x4042e31f, 0xc0b2f400,
396    0x282630a1, 0xa8d627be, 0xf2b718de, 0x72470fc1,
397    0x4675661e, 0xc6857101, 0x9ce44e61, 0x1c14597e,
398    0x96bcc162, 0x164cd67d, 0x4c2de91d, 0xccddfe02,
399    0xf8ef97dd, 0x781f80c2, 0x227ebfa2, 0xa28ea8bd,
400    0x4a1a6c1c, 0xcaea7b03, 0x908b4463, 0x107b537c,
401    0x24493aa3, 0xa4b92dbc, 0xfed812dc, 0x7e2805c3,
402    0x30f824a5, 0xb00833ba, 0xea690cda, 0x6a991bc5,
403    0x5eab721a, 0xde5b6505, 0x843a5a65, 0x04ca4d7a,
404    0xec5e89db, 0x6cae9ec4, 0x36cfa1a4, 0xb63fb6bb,
405    0x820ddf64, 0x02fdc87b, 0x589cf71b, 0xd86ce004,
406    0x52c47818, 0xd2346f07, 0x88555067, 0x08a54778,
407    0x3c972ea7, 0xbc6739b8, 0xe60606d8, 0x66f611c7,
408    0x8e62d566, 0x0e92c279, 0x54f3fd19, 0xd403ea06,
409    0xe03183d9, 0x60c194c6, 0x3aa0aba6, 0xba50bcb9],
410  #[
411    0x00000000, 0x9570d495, 0xf190af6b, 0x64e07bfe,
412    0x38505897, 0xad208c02, 0xc9c0f7fc, 0x5cb02369,
413    0x70a0b12e, 0xe5d065bb, 0x81301e45, 0x1440cad0,
414    0x48f0e9b9, 0xdd803d2c, 0xb96046d2, 0x2c109247,
415    0xe141625c, 0x7431b6c9, 0x10d1cd37, 0x85a119a2,
416    0xd9113acb, 0x4c61ee5e, 0x288195a0, 0xbdf14135,
417    0x91e1d372, 0x049107e7, 0x60717c19, 0xf501a88c,
418    0xa9b18be5, 0x3cc15f70, 0x5821248e, 0xcd51f01b,
419    0x19f3c2f9, 0x8c83166c, 0xe8636d92, 0x7d13b907,
420    0x21a39a6e, 0xb4d34efb, 0xd0333505, 0x4543e190,
421    0x695373d7, 0xfc23a742, 0x98c3dcbc, 0x0db30829,
422    0x51032b40, 0xc473ffd5, 0xa093842b, 0x35e350be,
423    0xf8b2a0a5, 0x6dc27430, 0x09220fce, 0x9c52db5b,
424    0xc0e2f832, 0x55922ca7, 0x31725759, 0xa40283cc,
425    0x8812118b, 0x1d62c51e, 0x7982bee0, 0xecf26a75,
426    0xb042491c, 0x25329d89, 0x41d2e677, 0xd4a232e2,
427    0x33e785f2, 0xa6975167, 0xc2772a99, 0x5707fe0c,
428    0x0bb7dd65, 0x9ec709f0, 0xfa27720e, 0x6f57a69b,
429    0x434734dc, 0xd637e049, 0xb2d79bb7, 0x27a74f22,
430    0x7b176c4b, 0xee67b8de, 0x8a87c320, 0x1ff717b5,
431    0xd2a6e7ae, 0x47d6333b, 0x233648c5, 0xb6469c50,
432    0xeaf6bf39, 0x7f866bac, 0x1b661052, 0x8e16c4c7,
433    0xa2065680, 0x37768215, 0x5396f9eb, 0xc6e62d7e,
434    0x9a560e17, 0x0f26da82, 0x6bc6a17c, 0xfeb675e9,
435    0x2a14470b, 0xbf64939e, 0xdb84e860, 0x4ef43cf5,
436    0x12441f9c, 0x8734cb09, 0xe3d4b0f7, 0x76a46462,
437    0x5ab4f625, 0xcfc422b0, 0xab24594e, 0x3e548ddb,
438    0x62e4aeb2, 0xf7947a27, 0x937401d9, 0x0604d54c,
439    0xcb552557, 0x5e25f1c2, 0x3ac58a3c, 0xafb55ea9,
440    0xf3057dc0, 0x6675a955, 0x0295d2ab, 0x97e5063e,
441    0xbbf59479, 0x2e8540ec, 0x4a653b12, 0xdf15ef87,
442    0x83a5ccee, 0x16d5187b, 0x72356385, 0xe745b710,
443    0x67cf0be4, 0xf2bfdf71, 0x965fa48f, 0x032f701a,
444    0x5f9f5373, 0xcaef87e6, 0xae0ffc18, 0x3b7f288d,
445    0x176fbaca, 0x821f6e5f, 0xe6ff15a1, 0x738fc134,
446    0x2f3fe25d, 0xba4f36c8, 0xdeaf4d36, 0x4bdf99a3,
447    0x868e69b8, 0x13febd2d, 0x771ec6d3, 0xe26e1246,
448    0xbede312f, 0x2baee5ba, 0x4f4e9e44, 0xda3e4ad1,
449    0xf62ed896, 0x635e0c03, 0x07be77fd, 0x92cea368,
450    0xce7e8001, 0x5b0e5494, 0x3fee2f6a, 0xaa9efbff,
451    0x7e3cc91d, 0xeb4c1d88, 0x8fac6676, 0x1adcb2e3,
452    0x466c918a, 0xd31c451f, 0xb7fc3ee1, 0x228cea74,
453    0x0e9c7833, 0x9becaca6, 0xff0cd758, 0x6a7c03cd,
454    0x36cc20a4, 0xa3bcf431, 0xc75c8fcf, 0x522c5b5a,
455    0x9f7dab41, 0x0a0d7fd4, 0x6eed042a, 0xfb9dd0bf,
456    0xa72df3d6, 0x325d2743, 0x56bd5cbd, 0xc3cd8828,
457    0xefdd1a6f, 0x7aadcefa, 0x1e4db504, 0x8b3d6191,
458    0xd78d42f8, 0x42fd966d, 0x261ded93, 0xb36d3906,
459    0x54288e16, 0xc1585a83, 0xa5b8217d, 0x30c8f5e8,
460    0x6c78d681, 0xf9080214, 0x9de879ea, 0x0898ad7f,
461    0x24883f38, 0xb1f8ebad, 0xd5189053, 0x406844c6,
462    0x1cd867af, 0x89a8b33a, 0xed48c8c4, 0x78381c51,
463    0xb569ec4a, 0x201938df, 0x44f94321, 0xd18997b4,
464    0x8d39b4dd, 0x18496048, 0x7ca91bb6, 0xe9d9cf23,
465    0xc5c95d64, 0x50b989f1, 0x3459f20f, 0xa129269a,
466    0xfd9905f3, 0x68e9d166, 0x0c09aa98, 0x99797e0d,
467    0x4ddb4cef, 0xd8ab987a, 0xbc4be384, 0x293b3711,
468    0x758b1478, 0xe0fbc0ed, 0x841bbb13, 0x116b6f86,
469    0x3d7bfdc1, 0xa80b2954, 0xcceb52aa, 0x599b863f,
470    0x052ba556, 0x905b71c3, 0xf4bb0a3d, 0x61cbdea8,
471    0xac9a2eb3, 0x39eafa26, 0x5d0a81d8, 0xc87a554d,
472    0x94ca7624, 0x01baa2b1, 0x655ad94f, 0xf02a0dda,
473    0xdc3a9f9d, 0x494a4b08, 0x2daa30f6, 0xb8dae463,
474    0xe46ac70a, 0x711a139f, 0x15fa6861, 0x808abcf4],
475  #[
476    0x00000000, 0xcf9e17c8, 0x444d29d1, 0x8bd33e19,
477    0x889a53a2, 0x4704446a, 0xccd77a73, 0x03496dbb,
478    0xca45a105, 0x05dbb6cd, 0x8e0888d4, 0x41969f1c,
479    0x42dff2a7, 0x8d41e56f, 0x0692db76, 0xc90cccbe,
480    0x4ffa444b, 0x80645383, 0x0bb76d9a, 0xc4297a52,
481    0xc76017e9, 0x08fe0021, 0x832d3e38, 0x4cb329f0,
482    0x85bfe54e, 0x4a21f286, 0xc1f2cc9f, 0x0e6cdb57,
483    0x0d25b6ec, 0xc2bba124, 0x49689f3d, 0x86f688f5,
484    0x9ff48896, 0x506a9f5e, 0xdbb9a147, 0x1427b68f,
485    0x176edb34, 0xd8f0ccfc, 0x5323f2e5, 0x9cbde52d,
486    0x55b12993, 0x9a2f3e5b, 0x11fc0042, 0xde62178a,
487    0xdd2b7a31, 0x12b56df9, 0x996653e0, 0x56f84428,
488    0xd00eccdd, 0x1f90db15, 0x9443e50c, 0x5bddf2c4,
489    0x58949f7f, 0x970a88b7, 0x1cd9b6ae, 0xd347a166,
490    0x1a4b6dd8, 0xd5d57a10, 0x5e064409, 0x919853c1,
491    0x92d13e7a, 0x5d4f29b2, 0xd69c17ab, 0x19020063,
492    0xe498176d, 0x2b0600a5, 0xa0d53ebc, 0x6f4b2974,
493    0x6c0244cf, 0xa39c5307, 0x284f6d1e, 0xe7d17ad6,
494    0x2eddb668, 0xe143a1a0, 0x6a909fb9, 0xa50e8871,
495    0xa647e5ca, 0x69d9f202, 0xe20acc1b, 0x2d94dbd3,
496    0xab625326, 0x64fc44ee, 0xef2f7af7, 0x20b16d3f,
497    0x23f80084, 0xec66174c, 0x67b52955, 0xa82b3e9d,
498    0x6127f223, 0xaeb9e5eb, 0x256adbf2, 0xeaf4cc3a,
499    0xe9bda181, 0x2623b649, 0xadf08850, 0x626e9f98,
500    0x7b6c9ffb, 0xb4f28833, 0x3f21b62a, 0xf0bfa1e2,
501    0xf3f6cc59, 0x3c68db91, 0xb7bbe588, 0x7825f240,
502    0xb1293efe, 0x7eb72936, 0xf564172f, 0x3afa00e7,
503    0x39b36d5c, 0xf62d7a94, 0x7dfe448d, 0xb2605345,
504    0x3496dbb0, 0xfb08cc78, 0x70dbf261, 0xbf45e5a9,
505    0xbc0c8812, 0x73929fda, 0xf841a1c3, 0x37dfb60b,
506    0xfed37ab5, 0x314d6d7d, 0xba9e5364, 0x750044ac,
507    0x76492917, 0xb9d73edf, 0x320400c6, 0xfd9a170e,
508    0x1241289b, 0xdddf3f53, 0x560c014a, 0x99921682,
509    0x9adb7b39, 0x55456cf1, 0xde9652e8, 0x11084520,
510    0xd804899e, 0x179a9e56, 0x9c49a04f, 0x53d7b787,
511    0x509eda3c, 0x9f00cdf4, 0x14d3f3ed, 0xdb4de425,
512    0x5dbb6cd0, 0x92257b18, 0x19f64501, 0xd66852c9,
513    0xd5213f72, 0x1abf28ba, 0x916c16a3, 0x5ef2016b,
514    0x97fecdd5, 0x5860da1d, 0xd3b3e404, 0x1c2df3cc,
515    0x1f649e77, 0xd0fa89bf, 0x5b29b7a6, 0x94b7a06e,
516    0x8db5a00d, 0x422bb7c5, 0xc9f889dc, 0x06669e14,
517    0x052ff3af, 0xcab1e467, 0x4162da7e, 0x8efccdb6,
518    0x47f00108, 0x886e16c0, 0x03bd28d9, 0xcc233f11,
519    0xcf6a52aa, 0x00f44562, 0x8b277b7b, 0x44b96cb3,
520    0xc24fe446, 0x0dd1f38e, 0x8602cd97, 0x499cda5f,
521    0x4ad5b7e4, 0x854ba02c, 0x0e989e35, 0xc10689fd,
522    0x080a4543, 0xc794528b, 0x4c476c92, 0x83d97b5a,
523    0x809016e1, 0x4f0e0129, 0xc4dd3f30, 0x0b4328f8,
524    0xf6d93ff6, 0x3947283e, 0xb2941627, 0x7d0a01ef,
525    0x7e436c54, 0xb1dd7b9c, 0x3a0e4585, 0xf590524d,
526    0x3c9c9ef3, 0xf302893b, 0x78d1b722, 0xb74fa0ea,
527    0xb406cd51, 0x7b98da99, 0xf04be480, 0x3fd5f348,
528    0xb9237bbd, 0x76bd6c75, 0xfd6e526c, 0x32f045a4,
529    0x31b9281f, 0xfe273fd7, 0x75f401ce, 0xba6a1606,
530    0x7366dab8, 0xbcf8cd70, 0x372bf369, 0xf8b5e4a1,
531    0xfbfc891a, 0x34629ed2, 0xbfb1a0cb, 0x702fb703,
532    0x692db760, 0xa6b3a0a8, 0x2d609eb1, 0xe2fe8979,
533    0xe1b7e4c2, 0x2e29f30a, 0xa5facd13, 0x6a64dadb,
534    0xa3681665, 0x6cf601ad, 0xe7253fb4, 0x28bb287c,
535    0x2bf245c7, 0xe46c520f, 0x6fbf6c16, 0xa0217bde,
536    0x26d7f32b, 0xe949e4e3, 0x629adafa, 0xad04cd32,
537    0xae4da089, 0x61d3b741, 0xea008958, 0x259e9e90,
538    0xec92522e, 0x230c45e6, 0xa8df7bff, 0x67416c37,
539    0x6408018c, 0xab961644, 0x2045285d, 0xefdb3f95],
540  #[
541    0x00000000, 0x24825136, 0x4904a26c, 0x6d86f35a,
542    0x920944d8, 0xb68b15ee, 0xdb0de6b4, 0xff8fb782,
543    0xff638ff1, 0xdbe1dec7, 0xb6672d9d, 0x92e57cab,
544    0x6d6acb29, 0x49e89a1f, 0x246e6945, 0x00ec3873,
545    0x25b619a3, 0x01344895, 0x6cb2bbcf, 0x4830eaf9,
546    0xb7bf5d7b, 0x933d0c4d, 0xfebbff17, 0xda39ae21,
547    0xdad59652, 0xfe57c764, 0x93d1343e, 0xb7536508,
548    0x48dcd28a, 0x6c5e83bc, 0x01d870e6, 0x255a21d0,
549    0x4b6c3346, 0x6fee6270, 0x0268912a, 0x26eac01c,
550    0xd965779e, 0xfde726a8, 0x9061d5f2, 0xb4e384c4,
551    0xb40fbcb7, 0x908ded81, 0xfd0b1edb, 0xd9894fed,
552    0x2606f86f, 0x0284a959, 0x6f025a03, 0x4b800b35,
553    0x6eda2ae5, 0x4a587bd3, 0x27de8889, 0x035cd9bf,
554    0xfcd36e3d, 0xd8513f0b, 0xb5d7cc51, 0x91559d67,
555    0x91b9a514, 0xb53bf422, 0xd8bd0778, 0xfc3f564e,
556    0x03b0e1cc, 0x2732b0fa, 0x4ab443a0, 0x6e361296,
557    0x96d8668c, 0xb25a37ba, 0xdfdcc4e0, 0xfb5e95d6,
558    0x04d12254, 0x20537362, 0x4dd58038, 0x6957d10e,
559    0x69bbe97d, 0x4d39b84b, 0x20bf4b11, 0x043d1a27,
560    0xfbb2ada5, 0xdf30fc93, 0xb2b60fc9, 0x96345eff,
561    0xb36e7f2f, 0x97ec2e19, 0xfa6add43, 0xdee88c75,
562    0x21673bf7, 0x05e56ac1, 0x6863999b, 0x4ce1c8ad,
563    0x4c0df0de, 0x688fa1e8, 0x050952b2, 0x218b0384,
564    0xde04b406, 0xfa86e530, 0x9700166a, 0xb382475c,
565    0xddb455ca, 0xf93604fc, 0x94b0f7a6, 0xb032a690,
566    0x4fbd1112, 0x6b3f4024, 0x06b9b37e, 0x223be248,
567    0x22d7da3b, 0x06558b0d, 0x6bd37857, 0x4f512961,
568    0xb0de9ee3, 0x945ccfd5, 0xf9da3c8f, 0xdd586db9,
569    0xf8024c69, 0xdc801d5f, 0xb106ee05, 0x9584bf33,
570    0x6a0b08b1, 0x4e895987, 0x230faadd, 0x078dfbeb,
571    0x0761c398, 0x23e392ae, 0x4e6561f4, 0x6ae730c2,
572    0x95688740, 0xb1ead676, 0xdc6c252c, 0xf8ee741a,
573    0xf6c1cb59, 0xd2439a6f, 0xbfc56935, 0x9b473803,
574    0x64c88f81, 0x404adeb7, 0x2dcc2ded, 0x094e7cdb,
575    0x09a244a8, 0x2d20159e, 0x40a6e6c4, 0x6424b7f2,
576    0x9bab0070, 0xbf295146, 0xd2afa21c, 0xf62df32a,
577    0xd377d2fa, 0xf7f583cc, 0x9a737096, 0xbef121a0,
578    0x417e9622, 0x65fcc714, 0x087a344e, 0x2cf86578,
579    0x2c145d0b, 0x08960c3d, 0x6510ff67, 0x4192ae51,
580    0xbe1d19d3, 0x9a9f48e5, 0xf719bbbf, 0xd39bea89,
581    0xbdadf81f, 0x992fa929, 0xf4a95a73, 0xd02b0b45,
582    0x2fa4bcc7, 0x0b26edf1, 0x66a01eab, 0x42224f9d,
583    0x42ce77ee, 0x664c26d8, 0x0bcad582, 0x2f4884b4,
584    0xd0c73336, 0xf4456200, 0x99c3915a, 0xbd41c06c,
585    0x981be1bc, 0xbc99b08a, 0xd11f43d0, 0xf59d12e6,
586    0x0a12a564, 0x2e90f452, 0x43160708, 0x6794563e,
587    0x67786e4d, 0x43fa3f7b, 0x2e7ccc21, 0x0afe9d17,
588    0xf5712a95, 0xd1f37ba3, 0xbc7588f9, 0x98f7d9cf,
589    0x6019add5, 0x449bfce3, 0x291d0fb9, 0x0d9f5e8f,
590    0xf210e90d, 0xd692b83b, 0xbb144b61, 0x9f961a57,
591    0x9f7a2224, 0xbbf87312, 0xd67e8048, 0xf2fcd17e,
592    0x0d7366fc, 0x29f137ca, 0x4477c490, 0x60f595a6,
593    0x45afb476, 0x612de540, 0x0cab161a, 0x2829472c,
594    0xd7a6f0ae, 0xf324a198, 0x9ea252c2, 0xba2003f4,
595    0xbacc3b87, 0x9e4e6ab1, 0xf3c899eb, 0xd74ac8dd,
596    0x28c57f5f, 0x0c472e69, 0x61c1dd33, 0x45438c05,
597    0x2b759e93, 0x0ff7cfa5, 0x62713cff, 0x46f36dc9,
598    0xb97cda4b, 0x9dfe8b7d, 0xf0787827, 0xd4fa2911,
599    0xd4161162, 0xf0944054, 0x9d12b30e, 0xb990e238,
600    0x461f55ba, 0x629d048c, 0x0f1bf7d6, 0x2b99a6e0,
601    0x0ec38730, 0x2a41d606, 0x47c7255c, 0x6345746a,
602    0x9ccac3e8, 0xb84892de, 0xd5ce6184, 0xf14c30b2,
603    0xf1a008c1, 0xd52259f7, 0xb8a4aaad, 0x9c26fb9b,
604    0x63a94c19, 0x472b1d2f, 0x2aadee75, 0x0e2fbf43],
605  #[
606    0x00000000, 0x36f290f3, 0x6de521e6, 0x5b17b115,
607    0xdbca43cc, 0xed38d33f, 0xb62f622a, 0x80ddf2d9,
608    0x6ce581d9, 0x5a17112a, 0x0100a03f, 0x37f230cc,
609    0xb72fc215, 0x81dd52e6, 0xdacae3f3, 0xec387300,
610    0xd9cb03b2, 0xef399341, 0xb42e2254, 0x82dcb2a7,
611    0x0201407e, 0x34f3d08d, 0x6fe46198, 0x5916f16b,
612    0xb52e826b, 0x83dc1298, 0xd8cba38d, 0xee39337e,
613    0x6ee4c1a7, 0x58165154, 0x0301e041, 0x35f370b2,
614    0x68e70125, 0x5e1591d6, 0x050220c3, 0x33f0b030,
615    0xb32d42e9, 0x85dfd21a, 0xdec8630f, 0xe83af3fc,
616    0x040280fc, 0x32f0100f, 0x69e7a11a, 0x5f1531e9,
617    0xdfc8c330, 0xe93a53c3, 0xb22de2d6, 0x84df7225,
618    0xb12c0297, 0x87de9264, 0xdcc92371, 0xea3bb382,
619    0x6ae6415b, 0x5c14d1a8, 0x070360bd, 0x31f1f04e,
620    0xddc9834e, 0xeb3b13bd, 0xb02ca2a8, 0x86de325b,
621    0x0603c082, 0x30f15071, 0x6be6e164, 0x5d147197,
622    0xd1ce024a, 0xe73c92b9, 0xbc2b23ac, 0x8ad9b35f,
623    0x0a044186, 0x3cf6d175, 0x67e16060, 0x5113f093,
624    0xbd2b8393, 0x8bd91360, 0xd0cea275, 0xe63c3286,
625    0x66e1c05f, 0x501350ac, 0x0b04e1b9, 0x3df6714a,
626    0x080501f8, 0x3ef7910b, 0x65e0201e, 0x5312b0ed,
627    0xd3cf4234, 0xe53dd2c7, 0xbe2a63d2, 0x88d8f321,
628    0x64e08021, 0x521210d2, 0x0905a1c7, 0x3ff73134,
629    0xbf2ac3ed, 0x89d8531e, 0xd2cfe20b, 0xe43d72f8,
630    0xb929036f, 0x8fdb939c, 0xd4cc2289, 0xe23eb27a,
631    0x62e340a3, 0x5411d050, 0x0f066145, 0x39f4f1b6,
632    0xd5cc82b6, 0xe33e1245, 0xb829a350, 0x8edb33a3,
633    0x0e06c17a, 0x38f45189, 0x63e3e09c, 0x5511706f,
634    0x60e200dd, 0x5610902e, 0x0d07213b, 0x3bf5b1c8,
635    0xbb284311, 0x8ddad3e2, 0xd6cd62f7, 0xe03ff204,
636    0x0c078104, 0x3af511f7, 0x61e2a0e2, 0x57103011,
637    0xd7cdc2c8, 0xe13f523b, 0xba28e32e, 0x8cda73dd,
638    0x78ed02d5, 0x4e1f9226, 0x15082333, 0x23fab3c0,
639    0xa3274119, 0x95d5d1ea, 0xcec260ff, 0xf830f00c,
640    0x1408830c, 0x22fa13ff, 0x79eda2ea, 0x4f1f3219,
641    0xcfc2c0c0, 0xf9305033, 0xa227e126, 0x94d571d5,
642    0xa1260167, 0x97d49194, 0xccc32081, 0xfa31b072,
643    0x7aec42ab, 0x4c1ed258, 0x1709634d, 0x21fbf3be,
644    0xcdc380be, 0xfb31104d, 0xa026a158, 0x96d431ab,
645    0x1609c372, 0x20fb5381, 0x7bece294, 0x4d1e7267,
646    0x100a03f0, 0x26f89303, 0x7def2216, 0x4b1db2e5,
647    0xcbc0403c, 0xfd32d0cf, 0xa62561da, 0x90d7f129,
648    0x7cef8229, 0x4a1d12da, 0x110aa3cf, 0x27f8333c,
649    0xa725c1e5, 0x91d75116, 0xcac0e003, 0xfc3270f0,
650    0xc9c10042, 0xff3390b1, 0xa42421a4, 0x92d6b157,
651    0x120b438e, 0x24f9d37d, 0x7fee6268, 0x491cf29b,
652    0xa524819b, 0x93d61168, 0xc8c1a07d, 0xfe33308e,
653    0x7eeec257, 0x481c52a4, 0x130be3b1, 0x25f97342,
654    0xa923009f, 0x9fd1906c, 0xc4c62179, 0xf234b18a,
655    0x72e94353, 0x441bd3a0, 0x1f0c62b5, 0x29fef246,
656    0xc5c68146, 0xf33411b5, 0xa823a0a0, 0x9ed13053,
657    0x1e0cc28a, 0x28fe5279, 0x73e9e36c, 0x451b739f,
658    0x70e8032d, 0x461a93de, 0x1d0d22cb, 0x2bffb238,
659    0xab2240e1, 0x9dd0d012, 0xc6c76107, 0xf035f1f4,
660    0x1c0d82f4, 0x2aff1207, 0x71e8a312, 0x471a33e1,
661    0xc7c7c138, 0xf13551cb, 0xaa22e0de, 0x9cd0702d,
662    0xc1c401ba, 0xf7369149, 0xac21205c, 0x9ad3b0af,
663    0x1a0e4276, 0x2cfcd285, 0x77eb6390, 0x4119f363,
664    0xad218063, 0x9bd31090, 0xc0c4a185, 0xf6363176,
665    0x76ebc3af, 0x4019535c, 0x1b0ee249, 0x2dfc72ba,
666    0x180f0208, 0x2efd92fb, 0x75ea23ee, 0x4318b31d,
667    0xc3c541c4, 0xf537d137, 0xae206022, 0x98d2f0d1,
668    0x74ea83d1, 0x42181322, 0x190fa237, 0x2ffd32c4,
669    0xaf20c01d, 0x99d250ee, 0xc2c5e1fb, 0xf4377108]]
670
671/-- `crc_braid_big_table[8][256]` for `N == 5`, `W == 8` -/
672def crc_braid_big_table : Array (Array UInt64) := #[
673  #[
674    0x0000000000000000, 0xf390f23600000000, 0xe621e56d00000000, 0x15b1175b00000000,
675    0xcc43cadb00000000, 0x3fd338ed00000000, 0x2a622fb600000000, 0xd9f2dd8000000000,
676    0xd981e56c00000000, 0x2a11175a00000000, 0x3fa0000100000000, 0xcc30f23700000000,
677    0x15c22fb700000000, 0xe652dd8100000000, 0xf3e3cada00000000, 0x007338ec00000000,
678    0xb203cbd900000000, 0x419339ef00000000, 0x54222eb400000000, 0xa7b2dc8200000000,
679    0x7e40010200000000, 0x8dd0f33400000000, 0x9861e46f00000000, 0x6bf1165900000000,
680    0x6b822eb500000000, 0x9812dc8300000000, 0x8da3cbd800000000, 0x7e3339ee00000000,
681    0xa7c1e46e00000000, 0x5451165800000000, 0x41e0010300000000, 0xb270f33500000000,
682    0x2501e76800000000, 0xd691155e00000000, 0xc320020500000000, 0x30b0f03300000000,
683    0xe9422db300000000, 0x1ad2df8500000000, 0x0f63c8de00000000, 0xfcf33ae800000000,
684    0xfc80020400000000, 0x0f10f03200000000, 0x1aa1e76900000000, 0xe931155f00000000,
685    0x30c3c8df00000000, 0xc3533ae900000000, 0xd6e22db200000000, 0x2572df8400000000,
686    0x97022cb100000000, 0x6492de8700000000, 0x7123c9dc00000000, 0x82b33bea00000000,
687    0x5b41e66a00000000, 0xa8d1145c00000000, 0xbd60030700000000, 0x4ef0f13100000000,
688    0x4e83c9dd00000000, 0xbd133beb00000000, 0xa8a22cb000000000, 0x5b32de8600000000,
689    0x82c0030600000000, 0x7150f13000000000, 0x64e1e66b00000000, 0x9771145d00000000,
690    0x4a02ced100000000, 0xb9923ce700000000, 0xac232bbc00000000, 0x5fb3d98a00000000,
691    0x8641040a00000000, 0x75d1f63c00000000, 0x6060e16700000000, 0x93f0135100000000,
692    0x93832bbd00000000, 0x6013d98b00000000, 0x75a2ced000000000, 0x86323ce600000000,
693    0x5fc0e16600000000, 0xac50135000000000, 0xb9e1040b00000000, 0x4a71f63d00000000,
694    0xf801050800000000, 0x0b91f73e00000000, 0x1e20e06500000000, 0xedb0125300000000,
695    0x3442cfd300000000, 0xc7d23de500000000, 0xd2632abe00000000, 0x21f3d88800000000,
696    0x2180e06400000000, 0xd210125200000000, 0xc7a1050900000000, 0x3431f73f00000000,
697    0xedc32abf00000000, 0x1e53d88900000000, 0x0be2cfd200000000, 0xf8723de400000000,
698    0x6f0329b900000000, 0x9c93db8f00000000, 0x8922ccd400000000, 0x7ab23ee200000000,
699    0xa340e36200000000, 0x50d0115400000000, 0x4561060f00000000, 0xb6f1f43900000000,
700    0xb682ccd500000000, 0x45123ee300000000, 0x50a329b800000000, 0xa333db8e00000000,
701    0x7ac1060e00000000, 0x8951f43800000000, 0x9ce0e36300000000, 0x6f70115500000000,
702    0xdd00e26000000000, 0x2e90105600000000, 0x3b21070d00000000, 0xc8b1f53b00000000,
703    0x114328bb00000000, 0xe2d3da8d00000000, 0xf762cdd600000000, 0x04f23fe000000000,
704    0x0481070c00000000, 0xf711f53a00000000, 0xe2a0e26100000000, 0x1130105700000000,
705    0xc8c2cdd700000000, 0x3b523fe100000000, 0x2ee328ba00000000, 0xdd73da8c00000000,
706    0xd502ed7800000000, 0x26921f4e00000000, 0x3323081500000000, 0xc0b3fa2300000000,
707    0x194127a300000000, 0xead1d59500000000, 0xff60c2ce00000000, 0x0cf030f800000000,
708    0x0c83081400000000, 0xff13fa2200000000, 0xeaa2ed7900000000, 0x19321f4f00000000,
709    0xc0c0c2cf00000000, 0x335030f900000000, 0x26e127a200000000, 0xd571d59400000000,
710    0x670126a100000000, 0x9491d49700000000, 0x8120c3cc00000000, 0x72b031fa00000000,
711    0xab42ec7a00000000, 0x58d21e4c00000000, 0x4d63091700000000, 0xbef3fb2100000000,
712    0xbe80c3cd00000000, 0x4d1031fb00000000, 0x58a126a000000000, 0xab31d49600000000,
713    0x72c3091600000000, 0x8153fb2000000000, 0x94e2ec7b00000000, 0x67721e4d00000000,
714    0xf0030a1000000000, 0x0393f82600000000, 0x1622ef7d00000000, 0xe5b21d4b00000000,
715    0x3c40c0cb00000000, 0xcfd032fd00000000, 0xda6125a600000000, 0x29f1d79000000000,
716    0x2982ef7c00000000, 0xda121d4a00000000, 0xcfa30a1100000000, 0x3c33f82700000000,
717    0xe5c125a700000000, 0x1651d79100000000, 0x03e0c0ca00000000, 0xf07032fc00000000,
718    0x4200c1c900000000, 0xb19033ff00000000, 0xa42124a400000000, 0x57b1d69200000000,
719    0x8e430b1200000000, 0x7dd3f92400000000, 0x6862ee7f00000000, 0x9bf21c4900000000,
720    0x9b8124a500000000, 0x6811d69300000000, 0x7da0c1c800000000, 0x8e3033fe00000000,
721    0x57c2ee7e00000000, 0xa4521c4800000000, 0xb1e30b1300000000, 0x4273f92500000000,
722    0x9f0023a900000000, 0x6c90d19f00000000, 0x7921c6c400000000, 0x8ab134f200000000,
723    0x5343e97200000000, 0xa0d31b4400000000, 0xb5620c1f00000000, 0x46f2fe2900000000,
724    0x4681c6c500000000, 0xb51134f300000000, 0xa0a023a800000000, 0x5330d19e00000000,
725    0x8ac20c1e00000000, 0x7952fe2800000000, 0x6ce3e97300000000, 0x9f731b4500000000,
726    0x2d03e87000000000, 0xde931a4600000000, 0xcb220d1d00000000, 0x38b2ff2b00000000,
727    0xe14022ab00000000, 0x12d0d09d00000000, 0x0761c7c600000000, 0xf4f135f000000000,
728    0xf4820d1c00000000, 0x0712ff2a00000000, 0x12a3e87100000000, 0xe1331a4700000000,
729    0x38c1c7c700000000, 0xcb5135f100000000, 0xdee022aa00000000, 0x2d70d09c00000000,
730    0xba01c4c100000000, 0x499136f700000000, 0x5c2021ac00000000, 0xafb0d39a00000000,
731    0x76420e1a00000000, 0x85d2fc2c00000000, 0x9063eb7700000000, 0x63f3194100000000,
732    0x638021ad00000000, 0x9010d39b00000000, 0x85a1c4c000000000, 0x763136f600000000,
733    0xafc3eb7600000000, 0x5c53194000000000, 0x49e20e1b00000000, 0xba72fc2d00000000,
734    0x08020f1800000000, 0xfb92fd2e00000000, 0xee23ea7500000000, 0x1db3184300000000,
735    0xc441c5c300000000, 0x37d137f500000000, 0x226020ae00000000, 0xd1f0d29800000000,
736    0xd183ea7400000000, 0x2213184200000000, 0x37a20f1900000000, 0xc432fd2f00000000,
737    0x1dc020af00000000, 0xee50d29900000000, 0xfbe1c5c200000000, 0x087137f400000000],
738  #[
739    0x0000000000000000, 0x3651822400000000, 0x6ca2044900000000, 0x5af3866d00000000,
740    0xd844099200000000, 0xee158bb600000000, 0xb4e60ddb00000000, 0x82b78fff00000000,
741    0xf18f63ff00000000, 0xc7dee1db00000000, 0x9d2d67b600000000, 0xab7ce59200000000,
742    0x29cb6a6d00000000, 0x1f9ae84900000000, 0x45696e2400000000, 0x7338ec0000000000,
743    0xa319b62500000000, 0x9548340100000000, 0xcfbbb26c00000000, 0xf9ea304800000000,
744    0x7b5dbfb700000000, 0x4d0c3d9300000000, 0x17ffbbfe00000000, 0x21ae39da00000000,
745    0x5296d5da00000000, 0x64c757fe00000000, 0x3e34d19300000000, 0x086553b700000000,
746    0x8ad2dc4800000000, 0xbc835e6c00000000, 0xe670d80100000000, 0xd0215a2500000000,
747    0x46336c4b00000000, 0x7062ee6f00000000, 0x2a91680200000000, 0x1cc0ea2600000000,
748    0x9e7765d900000000, 0xa826e7fd00000000, 0xf2d5619000000000, 0xc484e3b400000000,
749    0xb7bc0fb400000000, 0x81ed8d9000000000, 0xdb1e0bfd00000000, 0xed4f89d900000000,
750    0x6ff8062600000000, 0x59a9840200000000, 0x035a026f00000000, 0x350b804b00000000,
751    0xe52ada6e00000000, 0xd37b584a00000000, 0x8988de2700000000, 0xbfd95c0300000000,
752    0x3d6ed3fc00000000, 0x0b3f51d800000000, 0x51ccd7b500000000, 0x679d559100000000,
753    0x14a5b99100000000, 0x22f43bb500000000, 0x7807bdd800000000, 0x4e563ffc00000000,
754    0xcce1b00300000000, 0xfab0322700000000, 0xa043b44a00000000, 0x9612366e00000000,
755    0x8c66d89600000000, 0xba375ab200000000, 0xe0c4dcdf00000000, 0xd6955efb00000000,
756    0x5422d10400000000, 0x6273532000000000, 0x3880d54d00000000, 0x0ed1576900000000,
757    0x7de9bb6900000000, 0x4bb8394d00000000, 0x114bbf2000000000, 0x271a3d0400000000,
758    0xa5adb2fb00000000, 0x93fc30df00000000, 0xc90fb6b200000000, 0xff5e349600000000,
759    0x2f7f6eb300000000, 0x192eec9700000000, 0x43dd6afa00000000, 0x758ce8de00000000,
760    0xf73b672100000000, 0xc16ae50500000000, 0x9b99636800000000, 0xadc8e14c00000000,
761    0xdef00d4c00000000, 0xe8a18f6800000000, 0xb252090500000000, 0x84038b2100000000,
762    0x06b404de00000000, 0x30e586fa00000000, 0x6a16009700000000, 0x5c4782b300000000,
763    0xca55b4dd00000000, 0xfc0436f900000000, 0xa6f7b09400000000, 0x90a632b000000000,
764    0x1211bd4f00000000, 0x24403f6b00000000, 0x7eb3b90600000000, 0x48e23b2200000000,
765    0x3bdad72200000000, 0x0d8b550600000000, 0x5778d36b00000000, 0x6129514f00000000,
766    0xe39edeb000000000, 0xd5cf5c9400000000, 0x8f3cdaf900000000, 0xb96d58dd00000000,
767    0x694c02f800000000, 0x5f1d80dc00000000, 0x05ee06b100000000, 0x33bf849500000000,
768    0xb1080b6a00000000, 0x8759894e00000000, 0xddaa0f2300000000, 0xebfb8d0700000000,
769    0x98c3610700000000, 0xae92e32300000000, 0xf461654e00000000, 0xc230e76a00000000,
770    0x4087689500000000, 0x76d6eab100000000, 0x2c256cdc00000000, 0x1a74eef800000000,
771    0x59cbc1f600000000, 0x6f9a43d200000000, 0x3569c5bf00000000, 0x0338479b00000000,
772    0x818fc86400000000, 0xb7de4a4000000000, 0xed2dcc2d00000000, 0xdb7c4e0900000000,
773    0xa844a20900000000, 0x9e15202d00000000, 0xc4e6a64000000000, 0xf2b7246400000000,
774    0x7000ab9b00000000, 0x465129bf00000000, 0x1ca2afd200000000, 0x2af32df600000000,
775    0xfad277d300000000, 0xcc83f5f700000000, 0x9670739a00000000, 0xa021f1be00000000,
776    0x22967e4100000000, 0x14c7fc6500000000, 0x4e347a0800000000, 0x7865f82c00000000,
777    0x0b5d142c00000000, 0x3d0c960800000000, 0x67ff106500000000, 0x51ae924100000000,
778    0xd3191dbe00000000, 0xe5489f9a00000000, 0xbfbb19f700000000, 0x89ea9bd300000000,
779    0x1ff8adbd00000000, 0x29a92f9900000000, 0x735aa9f400000000, 0x450b2bd000000000,
780    0xc7bca42f00000000, 0xf1ed260b00000000, 0xab1ea06600000000, 0x9d4f224200000000,
781    0xee77ce4200000000, 0xd8264c6600000000, 0x82d5ca0b00000000, 0xb484482f00000000,
782    0x3633c7d000000000, 0x006245f400000000, 0x5a91c39900000000, 0x6cc041bd00000000,
783    0xbce11b9800000000, 0x8ab099bc00000000, 0xd0431fd100000000, 0xe6129df500000000,
784    0x64a5120a00000000, 0x52f4902e00000000, 0x0807164300000000, 0x3e56946700000000,
785    0x4d6e786700000000, 0x7b3ffa4300000000, 0x21cc7c2e00000000, 0x179dfe0a00000000,
786    0x952a71f500000000, 0xa37bf3d100000000, 0xf98875bc00000000, 0xcfd9f79800000000,
787    0xd5ad196000000000, 0xe3fc9b4400000000, 0xb90f1d2900000000, 0x8f5e9f0d00000000,
788    0x0de910f200000000, 0x3bb892d600000000, 0x614b14bb00000000, 0x571a969f00000000,
789    0x24227a9f00000000, 0x1273f8bb00000000, 0x48807ed600000000, 0x7ed1fcf200000000,
790    0xfc66730d00000000, 0xca37f12900000000, 0x90c4774400000000, 0xa695f56000000000,
791    0x76b4af4500000000, 0x40e52d6100000000, 0x1a16ab0c00000000, 0x2c47292800000000,
792    0xaef0a6d700000000, 0x98a124f300000000, 0xc252a29e00000000, 0xf40320ba00000000,
793    0x873bccba00000000, 0xb16a4e9e00000000, 0xeb99c8f300000000, 0xddc84ad700000000,
794    0x5f7fc52800000000, 0x692e470c00000000, 0x33ddc16100000000, 0x058c434500000000,
795    0x939e752b00000000, 0xa5cff70f00000000, 0xff3c716200000000, 0xc96df34600000000,
796    0x4bda7cb900000000, 0x7d8bfe9d00000000, 0x277878f000000000, 0x1129fad400000000,
797    0x621116d400000000, 0x544094f000000000, 0x0eb3129d00000000, 0x38e290b900000000,
798    0xba551f4600000000, 0x8c049d6200000000, 0xd6f71b0f00000000, 0xe0a6992b00000000,
799    0x3087c30e00000000, 0x06d6412a00000000, 0x5c25c74700000000, 0x6a74456300000000,
800    0xe8c3ca9c00000000, 0xde9248b800000000, 0x8461ced500000000, 0xb2304cf100000000,
801    0xc108a0f100000000, 0xf75922d500000000, 0xadaaa4b800000000, 0x9bfb269c00000000,
802    0x194ca96300000000, 0x2f1d2b4700000000, 0x75eead2a00000000, 0x43bf2f0e00000000],
803  #[
804    0x0000000000000000, 0xc8179ecf00000000, 0xd1294d4400000000, 0x193ed38b00000000,
805    0xa2539a8800000000, 0x6a44044700000000, 0x737ad7cc00000000, 0xbb6d490300000000,
806    0x05a145ca00000000, 0xcdb6db0500000000, 0xd488088e00000000, 0x1c9f964100000000,
807    0xa7f2df4200000000, 0x6fe5418d00000000, 0x76db920600000000, 0xbecc0cc900000000,
808    0x4b44fa4f00000000, 0x8353648000000000, 0x9a6db70b00000000, 0x527a29c400000000,
809    0xe91760c700000000, 0x2100fe0800000000, 0x383e2d8300000000, 0xf029b34c00000000,
810    0x4ee5bf8500000000, 0x86f2214a00000000, 0x9fccf2c100000000, 0x57db6c0e00000000,
811    0xecb6250d00000000, 0x24a1bbc200000000, 0x3d9f684900000000, 0xf588f68600000000,
812    0x9688f49f00000000, 0x5e9f6a5000000000, 0x47a1b9db00000000, 0x8fb6271400000000,
813    0x34db6e1700000000, 0xfcccf0d800000000, 0xe5f2235300000000, 0x2de5bd9c00000000,
814    0x9329b15500000000, 0x5b3e2f9a00000000, 0x4200fc1100000000, 0x8a1762de00000000,
815    0x317a2bdd00000000, 0xf96db51200000000, 0xe053669900000000, 0x2844f85600000000,
816    0xddcc0ed000000000, 0x15db901f00000000, 0x0ce5439400000000, 0xc4f2dd5b00000000,
817    0x7f9f945800000000, 0xb7880a9700000000, 0xaeb6d91c00000000, 0x66a147d300000000,
818    0xd86d4b1a00000000, 0x107ad5d500000000, 0x0944065e00000000, 0xc153989100000000,
819    0x7a3ed19200000000, 0xb2294f5d00000000, 0xab179cd600000000, 0x6300021900000000,
820    0x6d1798e400000000, 0xa500062b00000000, 0xbc3ed5a000000000, 0x74294b6f00000000,
821    0xcf44026c00000000, 0x07539ca300000000, 0x1e6d4f2800000000, 0xd67ad1e700000000,
822    0x68b6dd2e00000000, 0xa0a143e100000000, 0xb99f906a00000000, 0x71880ea500000000,
823    0xcae547a600000000, 0x02f2d96900000000, 0x1bcc0ae200000000, 0xd3db942d00000000,
824    0x265362ab00000000, 0xee44fc6400000000, 0xf77a2fef00000000, 0x3f6db12000000000,
825    0x8400f82300000000, 0x4c1766ec00000000, 0x5529b56700000000, 0x9d3e2ba800000000,
826    0x23f2276100000000, 0xebe5b9ae00000000, 0xf2db6a2500000000, 0x3accf4ea00000000,
827    0x81a1bde900000000, 0x49b6232600000000, 0x5088f0ad00000000, 0x989f6e6200000000,
828    0xfb9f6c7b00000000, 0x3388f2b400000000, 0x2ab6213f00000000, 0xe2a1bff000000000,
829    0x59ccf6f300000000, 0x91db683c00000000, 0x88e5bbb700000000, 0x40f2257800000000,
830    0xfe3e29b100000000, 0x3629b77e00000000, 0x2f1764f500000000, 0xe700fa3a00000000,
831    0x5c6db33900000000, 0x947a2df600000000, 0x8d44fe7d00000000, 0x455360b200000000,
832    0xb0db963400000000, 0x78cc08fb00000000, 0x61f2db7000000000, 0xa9e545bf00000000,
833    0x12880cbc00000000, 0xda9f927300000000, 0xc3a141f800000000, 0x0bb6df3700000000,
834    0xb57ad3fe00000000, 0x7d6d4d3100000000, 0x64539eba00000000, 0xac44007500000000,
835    0x1729497600000000, 0xdf3ed7b900000000, 0xc600043200000000, 0x0e179afd00000000,
836    0x9b28411200000000, 0x533fdfdd00000000, 0x4a010c5600000000, 0x8216929900000000,
837    0x397bdb9a00000000, 0xf16c455500000000, 0xe85296de00000000, 0x2045081100000000,
838    0x9e8904d800000000, 0x569e9a1700000000, 0x4fa0499c00000000, 0x87b7d75300000000,
839    0x3cda9e5000000000, 0xf4cd009f00000000, 0xedf3d31400000000, 0x25e44ddb00000000,
840    0xd06cbb5d00000000, 0x187b259200000000, 0x0145f61900000000, 0xc95268d600000000,
841    0x723f21d500000000, 0xba28bf1a00000000, 0xa3166c9100000000, 0x6b01f25e00000000,
842    0xd5cdfe9700000000, 0x1dda605800000000, 0x04e4b3d300000000, 0xccf32d1c00000000,
843    0x779e641f00000000, 0xbf89fad000000000, 0xa6b7295b00000000, 0x6ea0b79400000000,
844    0x0da0b58d00000000, 0xc5b72b4200000000, 0xdc89f8c900000000, 0x149e660600000000,
845    0xaff32f0500000000, 0x67e4b1ca00000000, 0x7eda624100000000, 0xb6cdfc8e00000000,
846    0x0801f04700000000, 0xc0166e8800000000, 0xd928bd0300000000, 0x113f23cc00000000,
847    0xaa526acf00000000, 0x6245f40000000000, 0x7b7b278b00000000, 0xb36cb94400000000,
848    0x46e44fc200000000, 0x8ef3d10d00000000, 0x97cd028600000000, 0x5fda9c4900000000,
849    0xe4b7d54a00000000, 0x2ca04b8500000000, 0x359e980e00000000, 0xfd8906c100000000,
850    0x43450a0800000000, 0x8b5294c700000000, 0x926c474c00000000, 0x5a7bd98300000000,
851    0xe116908000000000, 0x29010e4f00000000, 0x303fddc400000000, 0xf828430b00000000,
852    0xf63fd9f600000000, 0x3e28473900000000, 0x271694b200000000, 0xef010a7d00000000,
853    0x546c437e00000000, 0x9c7bddb100000000, 0x85450e3a00000000, 0x4d5290f500000000,
854    0xf39e9c3c00000000, 0x3b8902f300000000, 0x22b7d17800000000, 0xeaa04fb700000000,
855    0x51cd06b400000000, 0x99da987b00000000, 0x80e44bf000000000, 0x48f3d53f00000000,
856    0xbd7b23b900000000, 0x756cbd7600000000, 0x6c526efd00000000, 0xa445f03200000000,
857    0x1f28b93100000000, 0xd73f27fe00000000, 0xce01f47500000000, 0x06166aba00000000,
858    0xb8da667300000000, 0x70cdf8bc00000000, 0x69f32b3700000000, 0xa1e4b5f800000000,
859    0x1a89fcfb00000000, 0xd29e623400000000, 0xcba0b1bf00000000, 0x03b72f7000000000,
860    0x60b72d6900000000, 0xa8a0b3a600000000, 0xb19e602d00000000, 0x7989fee200000000,
861    0xc2e4b7e100000000, 0x0af3292e00000000, 0x13cdfaa500000000, 0xdbda646a00000000,
862    0x651668a300000000, 0xad01f66c00000000, 0xb43f25e700000000, 0x7c28bb2800000000,
863    0xc745f22b00000000, 0x0f526ce400000000, 0x166cbf6f00000000, 0xde7b21a000000000,
864    0x2bf3d72600000000, 0xe3e449e900000000, 0xfada9a6200000000, 0x32cd04ad00000000,
865    0x89a04dae00000000, 0x41b7d36100000000, 0x588900ea00000000, 0x909e9e2500000000,
866    0x2e5292ec00000000, 0xe6450c2300000000, 0xff7bdfa800000000, 0x376c416700000000,
867    0x8c01086400000000, 0x441696ab00000000, 0x5d28452000000000, 0x953fdbef00000000],
868  #[
869    0x0000000000000000, 0x95d4709500000000, 0x6baf90f100000000, 0xfe7be06400000000,
870    0x9758503800000000, 0x028c20ad00000000, 0xfcf7c0c900000000, 0x6923b05c00000000,
871    0x2eb1a07000000000, 0xbb65d0e500000000, 0x451e308100000000, 0xd0ca401400000000,
872    0xb9e9f04800000000, 0x2c3d80dd00000000, 0xd24660b900000000, 0x4792102c00000000,
873    0x5c6241e100000000, 0xc9b6317400000000, 0x37cdd11000000000, 0xa219a18500000000,
874    0xcb3a11d900000000, 0x5eee614c00000000, 0xa095812800000000, 0x3541f1bd00000000,
875    0x72d3e19100000000, 0xe707910400000000, 0x197c716000000000, 0x8ca801f500000000,
876    0xe58bb1a900000000, 0x705fc13c00000000, 0x8e24215800000000, 0x1bf051cd00000000,
877    0xf9c2f31900000000, 0x6c16838c00000000, 0x926d63e800000000, 0x07b9137d00000000,
878    0x6e9aa32100000000, 0xfb4ed3b400000000, 0x053533d000000000, 0x90e1434500000000,
879    0xd773536900000000, 0x42a723fc00000000, 0xbcdcc39800000000, 0x2908b30d00000000,
880    0x402b035100000000, 0xd5ff73c400000000, 0x2b8493a000000000, 0xbe50e33500000000,
881    0xa5a0b2f800000000, 0x3074c26d00000000, 0xce0f220900000000, 0x5bdb529c00000000,
882    0x32f8e2c000000000, 0xa72c925500000000, 0x5957723100000000, 0xcc8302a400000000,
883    0x8b11128800000000, 0x1ec5621d00000000, 0xe0be827900000000, 0x756af2ec00000000,
884    0x1c4942b000000000, 0x899d322500000000, 0x77e6d24100000000, 0xe232a2d400000000,
885    0xf285e73300000000, 0x675197a600000000, 0x992a77c200000000, 0x0cfe075700000000,
886    0x65ddb70b00000000, 0xf009c79e00000000, 0x0e7227fa00000000, 0x9ba6576f00000000,
887    0xdc34474300000000, 0x49e037d600000000, 0xb79bd7b200000000, 0x224fa72700000000,
888    0x4b6c177b00000000, 0xdeb867ee00000000, 0x20c3878a00000000, 0xb517f71f00000000,
889    0xaee7a6d200000000, 0x3b33d64700000000, 0xc548362300000000, 0x509c46b600000000,
890    0x39bff6ea00000000, 0xac6b867f00000000, 0x5210661b00000000, 0xc7c4168e00000000,
891    0x805606a200000000, 0x1582763700000000, 0xebf9965300000000, 0x7e2de6c600000000,
892    0x170e569a00000000, 0x82da260f00000000, 0x7ca1c66b00000000, 0xe975b6fe00000000,
893    0x0b47142a00000000, 0x9e9364bf00000000, 0x60e884db00000000, 0xf53cf44e00000000,
894    0x9c1f441200000000, 0x09cb348700000000, 0xf7b0d4e300000000, 0x6264a47600000000,
895    0x25f6b45a00000000, 0xb022c4cf00000000, 0x4e5924ab00000000, 0xdb8d543e00000000,
896    0xb2aee46200000000, 0x277a94f700000000, 0xd901749300000000, 0x4cd5040600000000,
897    0x572555cb00000000, 0xc2f1255e00000000, 0x3c8ac53a00000000, 0xa95eb5af00000000,
898    0xc07d05f300000000, 0x55a9756600000000, 0xabd2950200000000, 0x3e06e59700000000,
899    0x7994f5bb00000000, 0xec40852e00000000, 0x123b654a00000000, 0x87ef15df00000000,
900    0xeecca58300000000, 0x7b18d51600000000, 0x8563357200000000, 0x10b745e700000000,
901    0xe40bcf6700000000, 0x71dfbff200000000, 0x8fa45f9600000000, 0x1a702f0300000000,
902    0x73539f5f00000000, 0xe687efca00000000, 0x18fc0fae00000000, 0x8d287f3b00000000,
903    0xcaba6f1700000000, 0x5f6e1f8200000000, 0xa115ffe600000000, 0x34c18f7300000000,
904    0x5de23f2f00000000, 0xc8364fba00000000, 0x364dafde00000000, 0xa399df4b00000000,
905    0xb8698e8600000000, 0x2dbdfe1300000000, 0xd3c61e7700000000, 0x46126ee200000000,
906    0x2f31debe00000000, 0xbae5ae2b00000000, 0x449e4e4f00000000, 0xd14a3eda00000000,
907    0x96d82ef600000000, 0x030c5e6300000000, 0xfd77be0700000000, 0x68a3ce9200000000,
908    0x01807ece00000000, 0x94540e5b00000000, 0x6a2fee3f00000000, 0xfffb9eaa00000000,
909    0x1dc93c7e00000000, 0x881d4ceb00000000, 0x7666ac8f00000000, 0xe3b2dc1a00000000,
910    0x8a916c4600000000, 0x1f451cd300000000, 0xe13efcb700000000, 0x74ea8c2200000000,
911    0x33789c0e00000000, 0xa6acec9b00000000, 0x58d70cff00000000, 0xcd037c6a00000000,
912    0xa420cc3600000000, 0x31f4bca300000000, 0xcf8f5cc700000000, 0x5a5b2c5200000000,
913    0x41ab7d9f00000000, 0xd47f0d0a00000000, 0x2a04ed6e00000000, 0xbfd09dfb00000000,
914    0xd6f32da700000000, 0x43275d3200000000, 0xbd5cbd5600000000, 0x2888cdc300000000,
915    0x6f1addef00000000, 0xfacead7a00000000, 0x04b54d1e00000000, 0x91613d8b00000000,
916    0xf8428dd700000000, 0x6d96fd4200000000, 0x93ed1d2600000000, 0x06396db300000000,
917    0x168e285400000000, 0x835a58c100000000, 0x7d21b8a500000000, 0xe8f5c83000000000,
918    0x81d6786c00000000, 0x140208f900000000, 0xea79e89d00000000, 0x7fad980800000000,
919    0x383f882400000000, 0xadebf8b100000000, 0x539018d500000000, 0xc644684000000000,
920    0xaf67d81c00000000, 0x3ab3a88900000000, 0xc4c848ed00000000, 0x511c387800000000,
921    0x4aec69b500000000, 0xdf38192000000000, 0x2143f94400000000, 0xb49789d100000000,
922    0xddb4398d00000000, 0x4860491800000000, 0xb61ba97c00000000, 0x23cfd9e900000000,
923    0x645dc9c500000000, 0xf189b95000000000, 0x0ff2593400000000, 0x9a2629a100000000,
924    0xf30599fd00000000, 0x66d1e96800000000, 0x98aa090c00000000, 0x0d7e799900000000,
925    0xef4cdb4d00000000, 0x7a98abd800000000, 0x84e34bbc00000000, 0x11373b2900000000,
926    0x78148b7500000000, 0xedc0fbe000000000, 0x13bb1b8400000000, 0x866f6b1100000000,
927    0xc1fd7b3d00000000, 0x54290ba800000000, 0xaa52ebcc00000000, 0x3f869b5900000000,
928    0x56a52b0500000000, 0xc3715b9000000000, 0x3d0abbf400000000, 0xa8decb6100000000,
929    0xb32e9aac00000000, 0x26faea3900000000, 0xd8810a5d00000000, 0x4d557ac800000000,
930    0x2476ca9400000000, 0xb1a2ba0100000000, 0x4fd95a6500000000, 0xda0d2af000000000,
931    0x9d9f3adc00000000, 0x084b4a4900000000, 0xf630aa2d00000000, 0x63e4dab800000000,
932    0x0ac76ae400000000, 0x9f131a7100000000, 0x6168fa1500000000, 0xf4bc8a8000000000],
933  #[
934    0x0000000000000000, 0x1f17f08000000000, 0x7f2891da00000000, 0x603f615a00000000,
935    0xbf56536e00000000, 0xa041a3ee00000000, 0xc07ec2b400000000, 0xdf69323400000000,
936    0x7eada6dc00000000, 0x61ba565c00000000, 0x0185370600000000, 0x1e92c78600000000,
937    0xc1fbf5b200000000, 0xdeec053200000000, 0xbed3646800000000, 0xa1c494e800000000,
938    0xbd5c3c6200000000, 0xa24bcce200000000, 0xc274adb800000000, 0xdd635d3800000000,
939    0x020a6f0c00000000, 0x1d1d9f8c00000000, 0x7d22fed600000000, 0x62350e5600000000,
940    0xc3f19abe00000000, 0xdce66a3e00000000, 0xbcd90b6400000000, 0xa3cefbe400000000,
941    0x7ca7c9d000000000, 0x63b0395000000000, 0x038f580a00000000, 0x1c98a88a00000000,
942    0x7ab978c400000000, 0x65ae884400000000, 0x0591e91e00000000, 0x1a86199e00000000,
943    0xc5ef2baa00000000, 0xdaf8db2a00000000, 0xbac7ba7000000000, 0xa5d04af000000000,
944    0x0414de1800000000, 0x1b032e9800000000, 0x7b3c4fc200000000, 0x642bbf4200000000,
945    0xbb428d7600000000, 0xa4557df600000000, 0xc46a1cac00000000, 0xdb7dec2c00000000,
946    0xc7e544a600000000, 0xd8f2b42600000000, 0xb8cdd57c00000000, 0xa7da25fc00000000,
947    0x78b317c800000000, 0x67a4e74800000000, 0x079b861200000000, 0x188c769200000000,
948    0xb948e27a00000000, 0xa65f12fa00000000, 0xc66073a000000000, 0xd977832000000000,
949    0x061eb11400000000, 0x1909419400000000, 0x793620ce00000000, 0x6621d04e00000000,
950    0xb574805300000000, 0xaa6370d300000000, 0xca5c118900000000, 0xd54be10900000000,
951    0x0a22d33d00000000, 0x153523bd00000000, 0x750a42e700000000, 0x6a1db26700000000,
952    0xcbd9268f00000000, 0xd4ced60f00000000, 0xb4f1b75500000000, 0xabe647d500000000,
953    0x748f75e100000000, 0x6b98856100000000, 0x0ba7e43b00000000, 0x14b014bb00000000,
954    0x0828bc3100000000, 0x173f4cb100000000, 0x77002deb00000000, 0x6817dd6b00000000,
955    0xb77eef5f00000000, 0xa8691fdf00000000, 0xc8567e8500000000, 0xd7418e0500000000,
956    0x76851aed00000000, 0x6992ea6d00000000, 0x09ad8b3700000000, 0x16ba7bb700000000,
957    0xc9d3498300000000, 0xd6c4b90300000000, 0xb6fbd85900000000, 0xa9ec28d900000000,
958    0xcfcdf89700000000, 0xd0da081700000000, 0xb0e5694d00000000, 0xaff299cd00000000,
959    0x709babf900000000, 0x6f8c5b7900000000, 0x0fb33a2300000000, 0x10a4caa300000000,
960    0xb1605e4b00000000, 0xae77aecb00000000, 0xce48cf9100000000, 0xd15f3f1100000000,
961    0x0e360d2500000000, 0x1121fda500000000, 0x711e9cff00000000, 0x6e096c7f00000000,
962    0x7291c4f500000000, 0x6d86347500000000, 0x0db9552f00000000, 0x12aea5af00000000,
963    0xcdc7979b00000000, 0xd2d0671b00000000, 0xb2ef064100000000, 0xadf8f6c100000000,
964    0x0c3c622900000000, 0x132b92a900000000, 0x7314f3f300000000, 0x6c03037300000000,
965    0xb36a314700000000, 0xac7dc1c700000000, 0xcc42a09d00000000, 0xd355501d00000000,
966    0x6ae900a700000000, 0x75fef02700000000, 0x15c1917d00000000, 0x0ad661fd00000000,
967    0xd5bf53c900000000, 0xcaa8a34900000000, 0xaa97c21300000000, 0xb580329300000000,
968    0x1444a67b00000000, 0x0b5356fb00000000, 0x6b6c37a100000000, 0x747bc72100000000,
969    0xab12f51500000000, 0xb405059500000000, 0xd43a64cf00000000, 0xcb2d944f00000000,
970    0xd7b53cc500000000, 0xc8a2cc4500000000, 0xa89dad1f00000000, 0xb78a5d9f00000000,
971    0x68e36fab00000000, 0x77f49f2b00000000, 0x17cbfe7100000000, 0x08dc0ef100000000,
972    0xa9189a1900000000, 0xb60f6a9900000000, 0xd6300bc300000000, 0xc927fb4300000000,
973    0x164ec97700000000, 0x095939f700000000, 0x696658ad00000000, 0x7671a82d00000000,
974    0x1050786300000000, 0x0f4788e300000000, 0x6f78e9b900000000, 0x706f193900000000,
975    0xaf062b0d00000000, 0xb011db8d00000000, 0xd02ebad700000000, 0xcf394a5700000000,
976    0x6efddebf00000000, 0x71ea2e3f00000000, 0x11d54f6500000000, 0x0ec2bfe500000000,
977    0xd1ab8dd100000000, 0xcebc7d5100000000, 0xae831c0b00000000, 0xb194ec8b00000000,
978    0xad0c440100000000, 0xb21bb48100000000, 0xd224d5db00000000, 0xcd33255b00000000,
979    0x125a176f00000000, 0x0d4de7ef00000000, 0x6d7286b500000000, 0x7265763500000000,
980    0xd3a1e2dd00000000, 0xccb6125d00000000, 0xac89730700000000, 0xb39e838700000000,
981    0x6cf7b1b300000000, 0x73e0413300000000, 0x13df206900000000, 0x0cc8d0e900000000,
982    0xdf9d80f400000000, 0xc08a707400000000, 0xa0b5112e00000000, 0xbfa2e1ae00000000,
983    0x60cbd39a00000000, 0x7fdc231a00000000, 0x1fe3424000000000, 0x00f4b2c000000000,
984    0xa130262800000000, 0xbe27d6a800000000, 0xde18b7f200000000, 0xc10f477200000000,
985    0x1e66754600000000, 0x017185c600000000, 0x614ee49c00000000, 0x7e59141c00000000,
986    0x62c1bc9600000000, 0x7dd64c1600000000, 0x1de92d4c00000000, 0x02feddcc00000000,
987    0xdd97eff800000000, 0xc2801f7800000000, 0xa2bf7e2200000000, 0xbda88ea200000000,
988    0x1c6c1a4a00000000, 0x037beaca00000000, 0x63448b9000000000, 0x7c537b1000000000,
989    0xa33a492400000000, 0xbc2db9a400000000, 0xdc12d8fe00000000, 0xc305287e00000000,
990    0xa524f83000000000, 0xba3308b000000000, 0xda0c69ea00000000, 0xc51b996a00000000,
991    0x1a72ab5e00000000, 0x05655bde00000000, 0x655a3a8400000000, 0x7a4dca0400000000,
992    0xdb895eec00000000, 0xc49eae6c00000000, 0xa4a1cf3600000000, 0xbbb63fb600000000,
993    0x64df0d8200000000, 0x7bc8fd0200000000, 0x1bf79c5800000000, 0x04e06cd800000000,
994    0x1878c45200000000, 0x076f34d200000000, 0x6750558800000000, 0x7847a50800000000,
995    0xa72e973c00000000, 0xb83967bc00000000, 0xd80606e600000000, 0xc711f66600000000,
996    0x66d5628e00000000, 0x79c2920e00000000, 0x19fdf35400000000, 0x06ea03d400000000,
997    0xd98331e000000000, 0xc694c16000000000, 0xa6aba03a00000000, 0xb9bc50ba00000000],
998  #[
999    0x0000000000000000, 0xe2fd888d00000000, 0x85fd60c000000000, 0x6700e84d00000000,
1000    0x4bfdb05b00000000, 0xa90038d600000000, 0xce00d09b00000000, 0x2cfd581600000000,
1001    0x96fa61b700000000, 0x7407e93a00000000, 0x1307017700000000, 0xf1fa89fa00000000,
1002    0xdd07d1ec00000000, 0x3ffa596100000000, 0x58fab12c00000000, 0xba0739a100000000,
1003    0x6df3b2b500000000, 0x8f0e3a3800000000, 0xe80ed27500000000, 0x0af35af800000000,
1004    0x260e02ee00000000, 0xc4f38a6300000000, 0xa3f3622e00000000, 0x410eeaa300000000,
1005    0xfb09d30200000000, 0x19f45b8f00000000, 0x7ef4b3c200000000, 0x9c093b4f00000000,
1006    0xb0f4635900000000, 0x5209ebd400000000, 0x3509039900000000, 0xd7f48b1400000000,
1007    0x9be014b000000000, 0x791d9c3d00000000, 0x1e1d747000000000, 0xfce0fcfd00000000,
1008    0xd01da4eb00000000, 0x32e02c6600000000, 0x55e0c42b00000000, 0xb71d4ca600000000,
1009    0x0d1a750700000000, 0xefe7fd8a00000000, 0x88e715c700000000, 0x6a1a9d4a00000000,
1010    0x46e7c55c00000000, 0xa41a4dd100000000, 0xc31aa59c00000000, 0x21e72d1100000000,
1011    0xf613a60500000000, 0x14ee2e8800000000, 0x73eec6c500000000, 0x91134e4800000000,
1012    0xbdee165e00000000, 0x5f139ed300000000, 0x3813769e00000000, 0xdaeefe1300000000,
1013    0x60e9c7b200000000, 0x82144f3f00000000, 0xe514a77200000000, 0x07e92fff00000000,
1014    0x2b1477e900000000, 0xc9e9ff6400000000, 0xaee9172900000000, 0x4c149fa400000000,
1015    0x77c758bb00000000, 0x953ad03600000000, 0xf23a387b00000000, 0x10c7b0f600000000,
1016    0x3c3ae8e000000000, 0xdec7606d00000000, 0xb9c7882000000000, 0x5b3a00ad00000000,
1017    0xe13d390c00000000, 0x03c0b18100000000, 0x64c059cc00000000, 0x863dd14100000000,
1018    0xaac0895700000000, 0x483d01da00000000, 0x2f3de99700000000, 0xcdc0611a00000000,
1019    0x1a34ea0e00000000, 0xf8c9628300000000, 0x9fc98ace00000000, 0x7d34024300000000,
1020    0x51c95a5500000000, 0xb334d2d800000000, 0xd4343a9500000000, 0x36c9b21800000000,
1021    0x8cce8bb900000000, 0x6e33033400000000, 0x0933eb7900000000, 0xebce63f400000000,
1022    0xc7333be200000000, 0x25ceb36f00000000, 0x42ce5b2200000000, 0xa033d3af00000000,
1023    0xec274c0b00000000, 0x0edac48600000000, 0x69da2ccb00000000, 0x8b27a44600000000,
1024    0xa7dafc5000000000, 0x452774dd00000000, 0x22279c9000000000, 0xc0da141d00000000,
1025    0x7add2dbc00000000, 0x9820a53100000000, 0xff204d7c00000000, 0x1dddc5f100000000,
1026    0x31209de700000000, 0xd3dd156a00000000, 0xb4ddfd2700000000, 0x562075aa00000000,
1027    0x81d4febe00000000, 0x6329763300000000, 0x04299e7e00000000, 0xe6d416f300000000,
1028    0xca294ee500000000, 0x28d4c66800000000, 0x4fd42e2500000000, 0xad29a6a800000000,
1029    0x172e9f0900000000, 0xf5d3178400000000, 0x92d3ffc900000000, 0x702e774400000000,
1030    0x5cd32f5200000000, 0xbe2ea7df00000000, 0xd92e4f9200000000, 0x3bd3c71f00000000,
1031    0xaf88c0ad00000000, 0x4d75482000000000, 0x2a75a06d00000000, 0xc88828e000000000,
1032    0xe47570f600000000, 0x0688f87b00000000, 0x6188103600000000, 0x837598bb00000000,
1033    0x3972a11a00000000, 0xdb8f299700000000, 0xbc8fc1da00000000, 0x5e72495700000000,
1034    0x728f114100000000, 0x907299cc00000000, 0xf772718100000000, 0x158ff90c00000000,
1035    0xc27b721800000000, 0x2086fa9500000000, 0x478612d800000000, 0xa57b9a5500000000,
1036    0x8986c24300000000, 0x6b7b4ace00000000, 0x0c7ba28300000000, 0xee862a0e00000000,
1037    0x548113af00000000, 0xb67c9b2200000000, 0xd17c736f00000000, 0x3381fbe200000000,
1038    0x1f7ca3f400000000, 0xfd812b7900000000, 0x9a81c33400000000, 0x787c4bb900000000,
1039    0x3468d41d00000000, 0xd6955c9000000000, 0xb195b4dd00000000, 0x53683c5000000000,
1040    0x7f95644600000000, 0x9d68eccb00000000, 0xfa68048600000000, 0x18958c0b00000000,
1041    0xa292b5aa00000000, 0x406f3d2700000000, 0x276fd56a00000000, 0xc5925de700000000,
1042    0xe96f05f100000000, 0x0b928d7c00000000, 0x6c92653100000000, 0x8e6fedbc00000000,
1043    0x599b66a800000000, 0xbb66ee2500000000, 0xdc66066800000000, 0x3e9b8ee500000000,
1044    0x1266d6f300000000, 0xf09b5e7e00000000, 0x979bb63300000000, 0x75663ebe00000000,
1045    0xcf61071f00000000, 0x2d9c8f9200000000, 0x4a9c67df00000000, 0xa861ef5200000000,
1046    0x849cb74400000000, 0x66613fc900000000, 0x0161d78400000000, 0xe39c5f0900000000,
1047    0xd84f981600000000, 0x3ab2109b00000000, 0x5db2f8d600000000, 0xbf4f705b00000000,
1048    0x93b2284d00000000, 0x714fa0c000000000, 0x164f488d00000000, 0xf4b2c00000000000,
1049    0x4eb5f9a100000000, 0xac48712c00000000, 0xcb48996100000000, 0x29b511ec00000000,
1050    0x054849fa00000000, 0xe7b5c17700000000, 0x80b5293a00000000, 0x6248a1b700000000,
1051    0xb5bc2aa300000000, 0x5741a22e00000000, 0x30414a6300000000, 0xd2bcc2ee00000000,
1052    0xfe419af800000000, 0x1cbc127500000000, 0x7bbcfa3800000000, 0x994172b500000000,
1053    0x23464b1400000000, 0xc1bbc39900000000, 0xa6bb2bd400000000, 0x4446a35900000000,
1054    0x68bbfb4f00000000, 0x8a4673c200000000, 0xed469b8f00000000, 0x0fbb130200000000,
1055    0x43af8ca600000000, 0xa152042b00000000, 0xc652ec6600000000, 0x24af64eb00000000,
1056    0x08523cfd00000000, 0xeaafb47000000000, 0x8daf5c3d00000000, 0x6f52d4b000000000,
1057    0xd555ed1100000000, 0x37a8659c00000000, 0x50a88dd100000000, 0xb255055c00000000,
1058    0x9ea85d4a00000000, 0x7c55d5c700000000, 0x1b553d8a00000000, 0xf9a8b50700000000,
1059    0x2e5c3e1300000000, 0xcca1b69e00000000, 0xaba15ed300000000, 0x495cd65e00000000,
1060    0x65a18e4800000000, 0x875c06c500000000, 0xe05cee8800000000, 0x02a1660500000000,
1061    0xb8a65fa400000000, 0x5a5bd72900000000, 0x3d5b3f6400000000, 0xdfa6b7e900000000,
1062    0xf35befff00000000, 0x11a6677200000000, 0x76a68f3f00000000, 0x945b07b200000000],
1063  #[
1064    0x0000000000000000, 0xa90b894e00000000, 0x5217129d00000000, 0xfb1c9bd300000000,
1065    0xe52855e100000000, 0x4c23dcaf00000000, 0xb73f477c00000000, 0x1e34ce3200000000,
1066    0x8b57db1900000000, 0x225c525700000000, 0xd940c98400000000, 0x704b40ca00000000,
1067    0x6e7f8ef800000000, 0xc77407b600000000, 0x3c689c6500000000, 0x9563152b00000000,
1068    0x16afb63300000000, 0xbfa43f7d00000000, 0x44b8a4ae00000000, 0xedb32de000000000,
1069    0xf387e3d200000000, 0x5a8c6a9c00000000, 0xa190f14f00000000, 0x089b780100000000,
1070    0x9df86d2a00000000, 0x34f3e46400000000, 0xcfef7fb700000000, 0x66e4f6f900000000,
1071    0x78d038cb00000000, 0xd1dbb18500000000, 0x2ac72a5600000000, 0x83cca31800000000,
1072    0x2c5e6d6700000000, 0x8555e42900000000, 0x7e497ffa00000000, 0xd742f6b400000000,
1073    0xc976388600000000, 0x607db1c800000000, 0x9b612a1b00000000, 0x326aa35500000000,
1074    0xa709b67e00000000, 0x0e023f3000000000, 0xf51ea4e300000000, 0x5c152dad00000000,
1075    0x4221e39f00000000, 0xeb2a6ad100000000, 0x1036f10200000000, 0xb93d784c00000000,
1076    0x3af1db5400000000, 0x93fa521a00000000, 0x68e6c9c900000000, 0xc1ed408700000000,
1077    0xdfd98eb500000000, 0x76d207fb00000000, 0x8dce9c2800000000, 0x24c5156600000000,
1078    0xb1a6004d00000000, 0x18ad890300000000, 0xe3b112d000000000, 0x4aba9b9e00000000,
1079    0x548e55ac00000000, 0xfd85dce200000000, 0x0699473100000000, 0xaf92ce7f00000000,
1080    0x58bcdace00000000, 0xf1b7538000000000, 0x0aabc85300000000, 0xa3a0411d00000000,
1081    0xbd948f2f00000000, 0x149f066100000000, 0xef839db200000000, 0x468814fc00000000,
1082    0xd3eb01d700000000, 0x7ae0889900000000, 0x81fc134a00000000, 0x28f79a0400000000,
1083    0x36c3543600000000, 0x9fc8dd7800000000, 0x64d446ab00000000, 0xcddfcfe500000000,
1084    0x4e136cfd00000000, 0xe718e5b300000000, 0x1c047e6000000000, 0xb50ff72e00000000,
1085    0xab3b391c00000000, 0x0230b05200000000, 0xf92c2b8100000000, 0x5027a2cf00000000,
1086    0xc544b7e400000000, 0x6c4f3eaa00000000, 0x9753a57900000000, 0x3e582c3700000000,
1087    0x206ce20500000000, 0x89676b4b00000000, 0x727bf09800000000, 0xdb7079d600000000,
1088    0x74e2b7a900000000, 0xdde93ee700000000, 0x26f5a53400000000, 0x8ffe2c7a00000000,
1089    0x91cae24800000000, 0x38c16b0600000000, 0xc3ddf0d500000000, 0x6ad6799b00000000,
1090    0xffb56cb000000000, 0x56bee5fe00000000, 0xada27e2d00000000, 0x04a9f76300000000,
1091    0x1a9d395100000000, 0xb396b01f00000000, 0x488a2bcc00000000, 0xe181a28200000000,
1092    0x624d019a00000000, 0xcb4688d400000000, 0x305a130700000000, 0x99519a4900000000,
1093    0x8765547b00000000, 0x2e6edd3500000000, 0xd57246e600000000, 0x7c79cfa800000000,
1094    0xe91ada8300000000, 0x401153cd00000000, 0xbb0dc81e00000000, 0x1206415000000000,
1095    0x0c328f6200000000, 0xa539062c00000000, 0x5e259dff00000000, 0xf72e14b100000000,
1096    0xf17ec44600000000, 0x58754d0800000000, 0xa369d6db00000000, 0x0a625f9500000000,
1097    0x145691a700000000, 0xbd5d18e900000000, 0x4641833a00000000, 0xef4a0a7400000000,
1098    0x7a291f5f00000000, 0xd322961100000000, 0x283e0dc200000000, 0x8135848c00000000,
1099    0x9f014abe00000000, 0x360ac3f000000000, 0xcd16582300000000, 0x641dd16d00000000,
1100    0xe7d1727500000000, 0x4edafb3b00000000, 0xb5c660e800000000, 0x1ccde9a600000000,
1101    0x02f9279400000000, 0xabf2aeda00000000, 0x50ee350900000000, 0xf9e5bc4700000000,
1102    0x6c86a96c00000000, 0xc58d202200000000, 0x3e91bbf100000000, 0x979a32bf00000000,
1103    0x89aefc8d00000000, 0x20a575c300000000, 0xdbb9ee1000000000, 0x72b2675e00000000,
1104    0xdd20a92100000000, 0x742b206f00000000, 0x8f37bbbc00000000, 0x263c32f200000000,
1105    0x3808fcc000000000, 0x9103758e00000000, 0x6a1fee5d00000000, 0xc314671300000000,
1106    0x5677723800000000, 0xff7cfb7600000000, 0x046060a500000000, 0xad6be9eb00000000,
1107    0xb35f27d900000000, 0x1a54ae9700000000, 0xe148354400000000, 0x4843bc0a00000000,
1108    0xcb8f1f1200000000, 0x6284965c00000000, 0x99980d8f00000000, 0x309384c100000000,
1109    0x2ea74af300000000, 0x87acc3bd00000000, 0x7cb0586e00000000, 0xd5bbd12000000000,
1110    0x40d8c40b00000000, 0xe9d34d4500000000, 0x12cfd69600000000, 0xbbc45fd800000000,
1111    0xa5f091ea00000000, 0x0cfb18a400000000, 0xf7e7837700000000, 0x5eec0a3900000000,
1112    0xa9c21e8800000000, 0x00c997c600000000, 0xfbd50c1500000000, 0x52de855b00000000,
1113    0x4cea4b6900000000, 0xe5e1c22700000000, 0x1efd59f400000000, 0xb7f6d0ba00000000,
1114    0x2295c59100000000, 0x8b9e4cdf00000000, 0x7082d70c00000000, 0xd9895e4200000000,
1115    0xc7bd907000000000, 0x6eb6193e00000000, 0x95aa82ed00000000, 0x3ca10ba300000000,
1116    0xbf6da8bb00000000, 0x166621f500000000, 0xed7aba2600000000, 0x4471336800000000,
1117    0x5a45fd5a00000000, 0xf34e741400000000, 0x0852efc700000000, 0xa159668900000000,
1118    0x343a73a200000000, 0x9d31faec00000000, 0x662d613f00000000, 0xcf26e87100000000,
1119    0xd112264300000000, 0x7819af0d00000000, 0x830534de00000000, 0x2a0ebd9000000000,
1120    0x859c73ef00000000, 0x2c97faa100000000, 0xd78b617200000000, 0x7e80e83c00000000,
1121    0x60b4260e00000000, 0xc9bfaf4000000000, 0x32a3349300000000, 0x9ba8bddd00000000,
1122    0x0ecba8f600000000, 0xa7c021b800000000, 0x5cdcba6b00000000, 0xf5d7332500000000,
1123    0xebe3fd1700000000, 0x42e8745900000000, 0xb9f4ef8a00000000, 0x10ff66c400000000,
1124    0x9333c5dc00000000, 0x3a384c9200000000, 0xc124d74100000000, 0x682f5e0f00000000,
1125    0x761b903d00000000, 0xdf10197300000000, 0x240c82a000000000, 0x8d070bee00000000,
1126    0x18641ec500000000, 0xb16f978b00000000, 0x4a730c5800000000, 0xe378851600000000,
1127    0xfd4c4b2400000000, 0x5447c26a00000000, 0xaf5b59b900000000, 0x0650d0f700000000],
1128  #[
1129    0x0000000000000000, 0x479244af00000000, 0xcf22f88500000000, 0x88b0bc2a00000000,
1130    0xdf4381d000000000, 0x98d1c57f00000000, 0x1061795500000000, 0x57f33dfa00000000,
1131    0xff81737a00000000, 0xb81337d500000000, 0x30a38bff00000000, 0x7731cf5000000000,
1132    0x20c2f2aa00000000, 0x6750b60500000000, 0xefe00a2f00000000, 0xa8724e8000000000,
1133    0xfe03e7f400000000, 0xb991a35b00000000, 0x31211f7100000000, 0x76b35bde00000000,
1134    0x2140662400000000, 0x66d2228b00000000, 0xee629ea100000000, 0xa9f0da0e00000000,
1135    0x0182948e00000000, 0x4610d02100000000, 0xcea06c0b00000000, 0x893228a400000000,
1136    0xdec1155e00000000, 0x995351f100000000, 0x11e3eddb00000000, 0x5671a97400000000,
1137    0xbd01bf3200000000, 0xfa93fb9d00000000, 0x722347b700000000, 0x35b1031800000000,
1138    0x62423ee200000000, 0x25d07a4d00000000, 0xad60c66700000000, 0xeaf282c800000000,
1139    0x4280cc4800000000, 0x051288e700000000, 0x8da234cd00000000, 0xca30706200000000,
1140    0x9dc34d9800000000, 0xda51093700000000, 0x52e1b51d00000000, 0x1573f1b200000000,
1141    0x430258c600000000, 0x04901c6900000000, 0x8c20a04300000000, 0xcbb2e4ec00000000,
1142    0x9c41d91600000000, 0xdbd39db900000000, 0x5363219300000000, 0x14f1653c00000000,
1143    0xbc832bbc00000000, 0xfb116f1300000000, 0x73a1d33900000000, 0x3433979600000000,
1144    0x63c0aa6c00000000, 0x2452eec300000000, 0xace252e900000000, 0xeb70164600000000,
1145    0x7a037e6500000000, 0x3d913aca00000000, 0xb52186e000000000, 0xf2b3c24f00000000,
1146    0xa540ffb500000000, 0xe2d2bb1a00000000, 0x6a62073000000000, 0x2df0439f00000000,
1147    0x85820d1f00000000, 0xc21049b000000000, 0x4aa0f59a00000000, 0x0d32b13500000000,
1148    0x5ac18ccf00000000, 0x1d53c86000000000, 0x95e3744a00000000, 0xd27130e500000000,
1149    0x8400999100000000, 0xc392dd3e00000000, 0x4b22611400000000, 0x0cb025bb00000000,
1150    0x5b43184100000000, 0x1cd15cee00000000, 0x9461e0c400000000, 0xd3f3a46b00000000,
1151    0x7b81eaeb00000000, 0x3c13ae4400000000, 0xb4a3126e00000000, 0xf33156c100000000,
1152    0xa4c26b3b00000000, 0xe3502f9400000000, 0x6be093be00000000, 0x2c72d71100000000,
1153    0xc702c15700000000, 0x809085f800000000, 0x082039d200000000, 0x4fb27d7d00000000,
1154    0x1841408700000000, 0x5fd3042800000000, 0xd763b80200000000, 0x90f1fcad00000000,
1155    0x3883b22d00000000, 0x7f11f68200000000, 0xf7a14aa800000000, 0xb0330e0700000000,
1156    0xe7c033fd00000000, 0xa052775200000000, 0x28e2cb7800000000, 0x6f708fd700000000,
1157    0x390126a300000000, 0x7e93620c00000000, 0xf623de2600000000, 0xb1b19a8900000000,
1158    0xe642a77300000000, 0xa1d0e3dc00000000, 0x29605ff600000000, 0x6ef21b5900000000,
1159    0xc68055d900000000, 0x8112117600000000, 0x09a2ad5c00000000, 0x4e30e9f300000000,
1160    0x19c3d40900000000, 0x5e5190a600000000, 0xd6e12c8c00000000, 0x9173682300000000,
1161    0xf406fcca00000000, 0xb394b86500000000, 0x3b24044f00000000, 0x7cb640e000000000,
1162    0x2b457d1a00000000, 0x6cd739b500000000, 0xe467859f00000000, 0xa3f5c13000000000,
1163    0x0b878fb000000000, 0x4c15cb1f00000000, 0xc4a5773500000000, 0x8337339a00000000,
1164    0xd4c40e6000000000, 0x93564acf00000000, 0x1be6f6e500000000, 0x5c74b24a00000000,
1165    0x0a051b3e00000000, 0x4d975f9100000000, 0xc527e3bb00000000, 0x82b5a71400000000,
1166    0xd5469aee00000000, 0x92d4de4100000000, 0x1a64626b00000000, 0x5df626c400000000,
1167    0xf584684400000000, 0xb2162ceb00000000, 0x3aa690c100000000, 0x7d34d46e00000000,
1168    0x2ac7e99400000000, 0x6d55ad3b00000000, 0xe5e5111100000000, 0xa27755be00000000,
1169    0x490743f800000000, 0x0e95075700000000, 0x8625bb7d00000000, 0xc1b7ffd200000000,
1170    0x9644c22800000000, 0xd1d6868700000000, 0x59663aad00000000, 0x1ef47e0200000000,
1171    0xb686308200000000, 0xf114742d00000000, 0x79a4c80700000000, 0x3e368ca800000000,
1172    0x69c5b15200000000, 0x2e57f5fd00000000, 0xa6e749d700000000, 0xe1750d7800000000,
1173    0xb704a40c00000000, 0xf096e0a300000000, 0x78265c8900000000, 0x3fb4182600000000,
1174    0x684725dc00000000, 0x2fd5617300000000, 0xa765dd5900000000, 0xe0f799f600000000,
1175    0x4885d77600000000, 0x0f1793d900000000, 0x87a72ff300000000, 0xc0356b5c00000000,
1176    0x97c656a600000000, 0xd054120900000000, 0x58e4ae2300000000, 0x1f76ea8c00000000,
1177    0x8e0582af00000000, 0xc997c60000000000, 0x41277a2a00000000, 0x06b53e8500000000,
1178    0x5146037f00000000, 0x16d447d000000000, 0x9e64fbfa00000000, 0xd9f6bf5500000000,
1179    0x7184f1d500000000, 0x3616b57a00000000, 0xbea6095000000000, 0xf9344dff00000000,
1180    0xaec7700500000000, 0xe95534aa00000000, 0x61e5888000000000, 0x2677cc2f00000000,
1181    0x7006655b00000000, 0x379421f400000000, 0xbf249dde00000000, 0xf8b6d97100000000,
1182    0xaf45e48b00000000, 0xe8d7a02400000000, 0x60671c0e00000000, 0x27f558a100000000,
1183    0x8f87162100000000, 0xc815528e00000000, 0x40a5eea400000000, 0x0737aa0b00000000,
1184    0x50c497f100000000, 0x1756d35e00000000, 0x9fe66f7400000000, 0xd8742bdb00000000,
1185    0x33043d9d00000000, 0x7496793200000000, 0xfc26c51800000000, 0xbbb481b700000000,
1186    0xec47bc4d00000000, 0xabd5f8e200000000, 0x236544c800000000, 0x64f7006700000000,
1187    0xcc854ee700000000, 0x8b170a4800000000, 0x03a7b66200000000, 0x4435f2cd00000000,
1188    0x13c6cf3700000000, 0x54548b9800000000, 0xdce437b200000000, 0x9b76731d00000000,
1189    0xcd07da6900000000, 0x8a959ec600000000, 0x022522ec00000000, 0x45b7664300000000,
1190    0x12445bb900000000, 0x55d61f1600000000, 0xdd66a33c00000000, 0x9af4e79300000000,
1191    0x3286a91300000000, 0x7514edbc00000000, 0xfda4519600000000, 0xba36153900000000,
1192    0xedc528c300000000, 0xaa576c6c00000000, 0x22e7d04600000000, 0x657594e900000000]]
1193
1194/-- `x2n_table[32]` (`z_crc_t`) -/
1195def x2n_table : Array UInt32 := #[
1196    0x40000000, 0x20000000, 0x08000000, 0x00800000,
1197    0x00008000, 0xedb88320, 0xb1e6b092, 0xa06a2517,
1198    0xed627dae, 0x88d14467, 0xd7bbfe6a, 0xec447f11,
1199    0x8e7ea170, 0x6427800e, 0x4d47bae0, 0x09fe548f,
1200    0x83852d0f, 0x30362f1a, 0x7b5a9cc3, 0x31fec169,
1201    0x9fec022a, 0x6c8dedc4, 0x15d6874d, 0x5fde7a4e,
1202    0xbad90e37, 0x2e4e5eef, 0x4eaba214, 0xa8a472c0,
1203    0x429a969e, 0x148d302a, 0xc40ba6d0, 0xc4e22c3c]
1204
1205end Zlib.Crc32H