xref: /DragonOS/kernel/crates/crc/src/tables/crc64.rs (revision 4935c74f326cd4e0854959c0ec8ab1d726c05e41)
1*4935c74fSLoGin use core::ops::Deref;
2*4935c74fSLoGin 
3*4935c74fSLoGin #[repr(align(128))]
4*4935c74fSLoGin pub struct Crc64Table {
5*4935c74fSLoGin     pub table: [u64; 256],
6*4935c74fSLoGin     pub poly: u64,
7*4935c74fSLoGin }
8*4935c74fSLoGin 
9*4935c74fSLoGin impl Crc64Table {
new(poly: u64, table: [u64; 256]) -> Self10*4935c74fSLoGin     pub const fn new(poly: u64, table: [u64; 256]) -> Self {
11*4935c74fSLoGin         Self { poly, table }
12*4935c74fSLoGin     }
13*4935c74fSLoGin }
14*4935c74fSLoGin 
15*4935c74fSLoGin impl Deref for Crc64Table {
16*4935c74fSLoGin     type Target = [u64; 256];
17*4935c74fSLoGin 
deref(&self) -> &Self::Target18*4935c74fSLoGin     fn deref(&self) -> &Self::Target {
19*4935c74fSLoGin         &self.table
20*4935c74fSLoGin     }
21*4935c74fSLoGin }
22*4935c74fSLoGin 
23*4935c74fSLoGin pub const CRC64_TABLE: Crc64Table = Crc64Table::new(
24*4935c74fSLoGin     0x42F0E1EBA9EA3693,
25*4935c74fSLoGin     [
26*4935c74fSLoGin         0x0000000000000000,
27*4935c74fSLoGin         0x42f0e1eba9ea3693,
28*4935c74fSLoGin         0x85e1c3d753d46d26,
29*4935c74fSLoGin         0xc711223cfa3e5bb5,
30*4935c74fSLoGin         0x493366450e42ecdf,
31*4935c74fSLoGin         0x0bc387aea7a8da4c,
32*4935c74fSLoGin         0xccd2a5925d9681f9,
33*4935c74fSLoGin         0x8e224479f47cb76a,
34*4935c74fSLoGin         0x9266cc8a1c85d9be,
35*4935c74fSLoGin         0xd0962d61b56fef2d,
36*4935c74fSLoGin         0x17870f5d4f51b498,
37*4935c74fSLoGin         0x5577eeb6e6bb820b,
38*4935c74fSLoGin         0xdb55aacf12c73561,
39*4935c74fSLoGin         0x99a54b24bb2d03f2,
40*4935c74fSLoGin         0x5eb4691841135847,
41*4935c74fSLoGin         0x1c4488f3e8f96ed4,
42*4935c74fSLoGin         0x663d78ff90e185ef,
43*4935c74fSLoGin         0x24cd9914390bb37c,
44*4935c74fSLoGin         0xe3dcbb28c335e8c9,
45*4935c74fSLoGin         0xa12c5ac36adfde5a,
46*4935c74fSLoGin         0x2f0e1eba9ea36930,
47*4935c74fSLoGin         0x6dfeff5137495fa3,
48*4935c74fSLoGin         0xaaefdd6dcd770416,
49*4935c74fSLoGin         0xe81f3c86649d3285,
50*4935c74fSLoGin         0xf45bb4758c645c51,
51*4935c74fSLoGin         0xb6ab559e258e6ac2,
52*4935c74fSLoGin         0x71ba77a2dfb03177,
53*4935c74fSLoGin         0x334a9649765a07e4,
54*4935c74fSLoGin         0xbd68d2308226b08e,
55*4935c74fSLoGin         0xff9833db2bcc861d,
56*4935c74fSLoGin         0x388911e7d1f2dda8,
57*4935c74fSLoGin         0x7a79f00c7818eb3b,
58*4935c74fSLoGin         0xcc7af1ff21c30bde,
59*4935c74fSLoGin         0x8e8a101488293d4d,
60*4935c74fSLoGin         0x499b3228721766f8,
61*4935c74fSLoGin         0x0b6bd3c3dbfd506b,
62*4935c74fSLoGin         0x854997ba2f81e701,
63*4935c74fSLoGin         0xc7b97651866bd192,
64*4935c74fSLoGin         0x00a8546d7c558a27,
65*4935c74fSLoGin         0x4258b586d5bfbcb4,
66*4935c74fSLoGin         0x5e1c3d753d46d260,
67*4935c74fSLoGin         0x1cecdc9e94ace4f3,
68*4935c74fSLoGin         0xdbfdfea26e92bf46,
69*4935c74fSLoGin         0x990d1f49c77889d5,
70*4935c74fSLoGin         0x172f5b3033043ebf,
71*4935c74fSLoGin         0x55dfbadb9aee082c,
72*4935c74fSLoGin         0x92ce98e760d05399,
73*4935c74fSLoGin         0xd03e790cc93a650a,
74*4935c74fSLoGin         0xaa478900b1228e31,
75*4935c74fSLoGin         0xe8b768eb18c8b8a2,
76*4935c74fSLoGin         0x2fa64ad7e2f6e317,
77*4935c74fSLoGin         0x6d56ab3c4b1cd584,
78*4935c74fSLoGin         0xe374ef45bf6062ee,
79*4935c74fSLoGin         0xa1840eae168a547d,
80*4935c74fSLoGin         0x66952c92ecb40fc8,
81*4935c74fSLoGin         0x2465cd79455e395b,
82*4935c74fSLoGin         0x3821458aada7578f,
83*4935c74fSLoGin         0x7ad1a461044d611c,
84*4935c74fSLoGin         0xbdc0865dfe733aa9,
85*4935c74fSLoGin         0xff3067b657990c3a,
86*4935c74fSLoGin         0x711223cfa3e5bb50,
87*4935c74fSLoGin         0x33e2c2240a0f8dc3,
88*4935c74fSLoGin         0xf4f3e018f031d676,
89*4935c74fSLoGin         0xb60301f359dbe0e5,
90*4935c74fSLoGin         0xda050215ea6c212f,
91*4935c74fSLoGin         0x98f5e3fe438617bc,
92*4935c74fSLoGin         0x5fe4c1c2b9b84c09,
93*4935c74fSLoGin         0x1d14202910527a9a,
94*4935c74fSLoGin         0x93366450e42ecdf0,
95*4935c74fSLoGin         0xd1c685bb4dc4fb63,
96*4935c74fSLoGin         0x16d7a787b7faa0d6,
97*4935c74fSLoGin         0x5427466c1e109645,
98*4935c74fSLoGin         0x4863ce9ff6e9f891,
99*4935c74fSLoGin         0x0a932f745f03ce02,
100*4935c74fSLoGin         0xcd820d48a53d95b7,
101*4935c74fSLoGin         0x8f72eca30cd7a324,
102*4935c74fSLoGin         0x0150a8daf8ab144e,
103*4935c74fSLoGin         0x43a04931514122dd,
104*4935c74fSLoGin         0x84b16b0dab7f7968,
105*4935c74fSLoGin         0xc6418ae602954ffb,
106*4935c74fSLoGin         0xbc387aea7a8da4c0,
107*4935c74fSLoGin         0xfec89b01d3679253,
108*4935c74fSLoGin         0x39d9b93d2959c9e6,
109*4935c74fSLoGin         0x7b2958d680b3ff75,
110*4935c74fSLoGin         0xf50b1caf74cf481f,
111*4935c74fSLoGin         0xb7fbfd44dd257e8c,
112*4935c74fSLoGin         0x70eadf78271b2539,
113*4935c74fSLoGin         0x321a3e938ef113aa,
114*4935c74fSLoGin         0x2e5eb66066087d7e,
115*4935c74fSLoGin         0x6cae578bcfe24bed,
116*4935c74fSLoGin         0xabbf75b735dc1058,
117*4935c74fSLoGin         0xe94f945c9c3626cb,
118*4935c74fSLoGin         0x676dd025684a91a1,
119*4935c74fSLoGin         0x259d31cec1a0a732,
120*4935c74fSLoGin         0xe28c13f23b9efc87,
121*4935c74fSLoGin         0xa07cf2199274ca14,
122*4935c74fSLoGin         0x167ff3eacbaf2af1,
123*4935c74fSLoGin         0x548f120162451c62,
124*4935c74fSLoGin         0x939e303d987b47d7,
125*4935c74fSLoGin         0xd16ed1d631917144,
126*4935c74fSLoGin         0x5f4c95afc5edc62e,
127*4935c74fSLoGin         0x1dbc74446c07f0bd,
128*4935c74fSLoGin         0xdaad56789639ab08,
129*4935c74fSLoGin         0x985db7933fd39d9b,
130*4935c74fSLoGin         0x84193f60d72af34f,
131*4935c74fSLoGin         0xc6e9de8b7ec0c5dc,
132*4935c74fSLoGin         0x01f8fcb784fe9e69,
133*4935c74fSLoGin         0x43081d5c2d14a8fa,
134*4935c74fSLoGin         0xcd2a5925d9681f90,
135*4935c74fSLoGin         0x8fdab8ce70822903,
136*4935c74fSLoGin         0x48cb9af28abc72b6,
137*4935c74fSLoGin         0x0a3b7b1923564425,
138*4935c74fSLoGin         0x70428b155b4eaf1e,
139*4935c74fSLoGin         0x32b26afef2a4998d,
140*4935c74fSLoGin         0xf5a348c2089ac238,
141*4935c74fSLoGin         0xb753a929a170f4ab,
142*4935c74fSLoGin         0x3971ed50550c43c1,
143*4935c74fSLoGin         0x7b810cbbfce67552,
144*4935c74fSLoGin         0xbc902e8706d82ee7,
145*4935c74fSLoGin         0xfe60cf6caf321874,
146*4935c74fSLoGin         0xe224479f47cb76a0,
147*4935c74fSLoGin         0xa0d4a674ee214033,
148*4935c74fSLoGin         0x67c58448141f1b86,
149*4935c74fSLoGin         0x253565a3bdf52d15,
150*4935c74fSLoGin         0xab1721da49899a7f,
151*4935c74fSLoGin         0xe9e7c031e063acec,
152*4935c74fSLoGin         0x2ef6e20d1a5df759,
153*4935c74fSLoGin         0x6c0603e6b3b7c1ca,
154*4935c74fSLoGin         0xf6fae5c07d3274cd,
155*4935c74fSLoGin         0xb40a042bd4d8425e,
156*4935c74fSLoGin         0x731b26172ee619eb,
157*4935c74fSLoGin         0x31ebc7fc870c2f78,
158*4935c74fSLoGin         0xbfc9838573709812,
159*4935c74fSLoGin         0xfd39626eda9aae81,
160*4935c74fSLoGin         0x3a28405220a4f534,
161*4935c74fSLoGin         0x78d8a1b9894ec3a7,
162*4935c74fSLoGin         0x649c294a61b7ad73,
163*4935c74fSLoGin         0x266cc8a1c85d9be0,
164*4935c74fSLoGin         0xe17dea9d3263c055,
165*4935c74fSLoGin         0xa38d0b769b89f6c6,
166*4935c74fSLoGin         0x2daf4f0f6ff541ac,
167*4935c74fSLoGin         0x6f5faee4c61f773f,
168*4935c74fSLoGin         0xa84e8cd83c212c8a,
169*4935c74fSLoGin         0xeabe6d3395cb1a19,
170*4935c74fSLoGin         0x90c79d3fedd3f122,
171*4935c74fSLoGin         0xd2377cd44439c7b1,
172*4935c74fSLoGin         0x15265ee8be079c04,
173*4935c74fSLoGin         0x57d6bf0317edaa97,
174*4935c74fSLoGin         0xd9f4fb7ae3911dfd,
175*4935c74fSLoGin         0x9b041a914a7b2b6e,
176*4935c74fSLoGin         0x5c1538adb04570db,
177*4935c74fSLoGin         0x1ee5d94619af4648,
178*4935c74fSLoGin         0x02a151b5f156289c,
179*4935c74fSLoGin         0x4051b05e58bc1e0f,
180*4935c74fSLoGin         0x87409262a28245ba,
181*4935c74fSLoGin         0xc5b073890b687329,
182*4935c74fSLoGin         0x4b9237f0ff14c443,
183*4935c74fSLoGin         0x0962d61b56fef2d0,
184*4935c74fSLoGin         0xce73f427acc0a965,
185*4935c74fSLoGin         0x8c8315cc052a9ff6,
186*4935c74fSLoGin         0x3a80143f5cf17f13,
187*4935c74fSLoGin         0x7870f5d4f51b4980,
188*4935c74fSLoGin         0xbf61d7e80f251235,
189*4935c74fSLoGin         0xfd913603a6cf24a6,
190*4935c74fSLoGin         0x73b3727a52b393cc,
191*4935c74fSLoGin         0x31439391fb59a55f,
192*4935c74fSLoGin         0xf652b1ad0167feea,
193*4935c74fSLoGin         0xb4a25046a88dc879,
194*4935c74fSLoGin         0xa8e6d8b54074a6ad,
195*4935c74fSLoGin         0xea16395ee99e903e,
196*4935c74fSLoGin         0x2d071b6213a0cb8b,
197*4935c74fSLoGin         0x6ff7fa89ba4afd18,
198*4935c74fSLoGin         0xe1d5bef04e364a72,
199*4935c74fSLoGin         0xa3255f1be7dc7ce1,
200*4935c74fSLoGin         0x64347d271de22754,
201*4935c74fSLoGin         0x26c49cccb40811c7,
202*4935c74fSLoGin         0x5cbd6cc0cc10fafc,
203*4935c74fSLoGin         0x1e4d8d2b65facc6f,
204*4935c74fSLoGin         0xd95caf179fc497da,
205*4935c74fSLoGin         0x9bac4efc362ea149,
206*4935c74fSLoGin         0x158e0a85c2521623,
207*4935c74fSLoGin         0x577eeb6e6bb820b0,
208*4935c74fSLoGin         0x906fc95291867b05,
209*4935c74fSLoGin         0xd29f28b9386c4d96,
210*4935c74fSLoGin         0xcedba04ad0952342,
211*4935c74fSLoGin         0x8c2b41a1797f15d1,
212*4935c74fSLoGin         0x4b3a639d83414e64,
213*4935c74fSLoGin         0x09ca82762aab78f7,
214*4935c74fSLoGin         0x87e8c60fded7cf9d,
215*4935c74fSLoGin         0xc51827e4773df90e,
216*4935c74fSLoGin         0x020905d88d03a2bb,
217*4935c74fSLoGin         0x40f9e43324e99428,
218*4935c74fSLoGin         0x2cffe7d5975e55e2,
219*4935c74fSLoGin         0x6e0f063e3eb46371,
220*4935c74fSLoGin         0xa91e2402c48a38c4,
221*4935c74fSLoGin         0xebeec5e96d600e57,
222*4935c74fSLoGin         0x65cc8190991cb93d,
223*4935c74fSLoGin         0x273c607b30f68fae,
224*4935c74fSLoGin         0xe02d4247cac8d41b,
225*4935c74fSLoGin         0xa2dda3ac6322e288,
226*4935c74fSLoGin         0xbe992b5f8bdb8c5c,
227*4935c74fSLoGin         0xfc69cab42231bacf,
228*4935c74fSLoGin         0x3b78e888d80fe17a,
229*4935c74fSLoGin         0x7988096371e5d7e9,
230*4935c74fSLoGin         0xf7aa4d1a85996083,
231*4935c74fSLoGin         0xb55aacf12c735610,
232*4935c74fSLoGin         0x724b8ecdd64d0da5,
233*4935c74fSLoGin         0x30bb6f267fa73b36,
234*4935c74fSLoGin         0x4ac29f2a07bfd00d,
235*4935c74fSLoGin         0x08327ec1ae55e69e,
236*4935c74fSLoGin         0xcf235cfd546bbd2b,
237*4935c74fSLoGin         0x8dd3bd16fd818bb8,
238*4935c74fSLoGin         0x03f1f96f09fd3cd2,
239*4935c74fSLoGin         0x41011884a0170a41,
240*4935c74fSLoGin         0x86103ab85a2951f4,
241*4935c74fSLoGin         0xc4e0db53f3c36767,
242*4935c74fSLoGin         0xd8a453a01b3a09b3,
243*4935c74fSLoGin         0x9a54b24bb2d03f20,
244*4935c74fSLoGin         0x5d45907748ee6495,
245*4935c74fSLoGin         0x1fb5719ce1045206,
246*4935c74fSLoGin         0x919735e51578e56c,
247*4935c74fSLoGin         0xd367d40ebc92d3ff,
248*4935c74fSLoGin         0x1476f63246ac884a,
249*4935c74fSLoGin         0x568617d9ef46bed9,
250*4935c74fSLoGin         0xe085162ab69d5e3c,
251*4935c74fSLoGin         0xa275f7c11f7768af,
252*4935c74fSLoGin         0x6564d5fde549331a,
253*4935c74fSLoGin         0x279434164ca30589,
254*4935c74fSLoGin         0xa9b6706fb8dfb2e3,
255*4935c74fSLoGin         0xeb46918411358470,
256*4935c74fSLoGin         0x2c57b3b8eb0bdfc5,
257*4935c74fSLoGin         0x6ea7525342e1e956,
258*4935c74fSLoGin         0x72e3daa0aa188782,
259*4935c74fSLoGin         0x30133b4b03f2b111,
260*4935c74fSLoGin         0xf7021977f9cceaa4,
261*4935c74fSLoGin         0xb5f2f89c5026dc37,
262*4935c74fSLoGin         0x3bd0bce5a45a6b5d,
263*4935c74fSLoGin         0x79205d0e0db05dce,
264*4935c74fSLoGin         0xbe317f32f78e067b,
265*4935c74fSLoGin         0xfcc19ed95e6430e8,
266*4935c74fSLoGin         0x86b86ed5267cdbd3,
267*4935c74fSLoGin         0xc4488f3e8f96ed40,
268*4935c74fSLoGin         0x0359ad0275a8b6f5,
269*4935c74fSLoGin         0x41a94ce9dc428066,
270*4935c74fSLoGin         0xcf8b0890283e370c,
271*4935c74fSLoGin         0x8d7be97b81d4019f,
272*4935c74fSLoGin         0x4a6acb477bea5a2a,
273*4935c74fSLoGin         0x089a2aacd2006cb9,
274*4935c74fSLoGin         0x14dea25f3af9026d,
275*4935c74fSLoGin         0x562e43b4931334fe,
276*4935c74fSLoGin         0x913f6188692d6f4b,
277*4935c74fSLoGin         0xd3cf8063c0c759d8,
278*4935c74fSLoGin         0x5dedc41a34bbeeb2,
279*4935c74fSLoGin         0x1f1d25f19d51d821,
280*4935c74fSLoGin         0xd80c07cd676f8394,
281*4935c74fSLoGin         0x9afce626ce85b507,
282*4935c74fSLoGin     ],
283*4935c74fSLoGin );
284*4935c74fSLoGin 
285*4935c74fSLoGin pub const CRC64_ROCKSOFT_TABLE: Crc64Table = Crc64Table::new(
286*4935c74fSLoGin     0x9A6C9329AC4BC9B5,
287*4935c74fSLoGin     [
288*4935c74fSLoGin         0x0000000000000000,
289*4935c74fSLoGin         0x7f6ef0c830358979,
290*4935c74fSLoGin         0xfedde190606b12f2,
291*4935c74fSLoGin         0x81b31158505e9b8b,
292*4935c74fSLoGin         0xc962e5739841b68f,
293*4935c74fSLoGin         0xb60c15bba8743ff6,
294*4935c74fSLoGin         0x37bf04e3f82aa47d,
295*4935c74fSLoGin         0x48d1f42bc81f2d04,
296*4935c74fSLoGin         0xa61cecb46814fe75,
297*4935c74fSLoGin         0xd9721c7c5821770c,
298*4935c74fSLoGin         0x58c10d24087fec87,
299*4935c74fSLoGin         0x27affdec384a65fe,
300*4935c74fSLoGin         0x6f7e09c7f05548fa,
301*4935c74fSLoGin         0x1010f90fc060c183,
302*4935c74fSLoGin         0x91a3e857903e5a08,
303*4935c74fSLoGin         0xeecd189fa00bd371,
304*4935c74fSLoGin         0x78e0ff3b88be6f81,
305*4935c74fSLoGin         0x078e0ff3b88be6f8,
306*4935c74fSLoGin         0x863d1eabe8d57d73,
307*4935c74fSLoGin         0xf953ee63d8e0f40a,
308*4935c74fSLoGin         0xb1821a4810ffd90e,
309*4935c74fSLoGin         0xceecea8020ca5077,
310*4935c74fSLoGin         0x4f5ffbd87094cbfc,
311*4935c74fSLoGin         0x30310b1040a14285,
312*4935c74fSLoGin         0xdefc138fe0aa91f4,
313*4935c74fSLoGin         0xa192e347d09f188d,
314*4935c74fSLoGin         0x2021f21f80c18306,
315*4935c74fSLoGin         0x5f4f02d7b0f40a7f,
316*4935c74fSLoGin         0x179ef6fc78eb277b,
317*4935c74fSLoGin         0x68f0063448deae02,
318*4935c74fSLoGin         0xe943176c18803589,
319*4935c74fSLoGin         0x962de7a428b5bcf0,
320*4935c74fSLoGin         0xf1c1fe77117cdf02,
321*4935c74fSLoGin         0x8eaf0ebf2149567b,
322*4935c74fSLoGin         0x0f1c1fe77117cdf0,
323*4935c74fSLoGin         0x7072ef2f41224489,
324*4935c74fSLoGin         0x38a31b04893d698d,
325*4935c74fSLoGin         0x47cdebccb908e0f4,
326*4935c74fSLoGin         0xc67efa94e9567b7f,
327*4935c74fSLoGin         0xb9100a5cd963f206,
328*4935c74fSLoGin         0x57dd12c379682177,
329*4935c74fSLoGin         0x28b3e20b495da80e,
330*4935c74fSLoGin         0xa900f35319033385,
331*4935c74fSLoGin         0xd66e039b2936bafc,
332*4935c74fSLoGin         0x9ebff7b0e12997f8,
333*4935c74fSLoGin         0xe1d10778d11c1e81,
334*4935c74fSLoGin         0x606216208142850a,
335*4935c74fSLoGin         0x1f0ce6e8b1770c73,
336*4935c74fSLoGin         0x8921014c99c2b083,
337*4935c74fSLoGin         0xf64ff184a9f739fa,
338*4935c74fSLoGin         0x77fce0dcf9a9a271,
339*4935c74fSLoGin         0x08921014c99c2b08,
340*4935c74fSLoGin         0x4043e43f0183060c,
341*4935c74fSLoGin         0x3f2d14f731b68f75,
342*4935c74fSLoGin         0xbe9e05af61e814fe,
343*4935c74fSLoGin         0xc1f0f56751dd9d87,
344*4935c74fSLoGin         0x2f3dedf8f1d64ef6,
345*4935c74fSLoGin         0x50531d30c1e3c78f,
346*4935c74fSLoGin         0xd1e00c6891bd5c04,
347*4935c74fSLoGin         0xae8efca0a188d57d,
348*4935c74fSLoGin         0xe65f088b6997f879,
349*4935c74fSLoGin         0x9931f84359a27100,
350*4935c74fSLoGin         0x1882e91b09fcea8b,
351*4935c74fSLoGin         0x67ec19d339c963f2,
352*4935c74fSLoGin         0xd75adabd7a6e2d6f,
353*4935c74fSLoGin         0xa8342a754a5ba416,
354*4935c74fSLoGin         0x29873b2d1a053f9d,
355*4935c74fSLoGin         0x56e9cbe52a30b6e4,
356*4935c74fSLoGin         0x1e383fcee22f9be0,
357*4935c74fSLoGin         0x6156cf06d21a1299,
358*4935c74fSLoGin         0xe0e5de5e82448912,
359*4935c74fSLoGin         0x9f8b2e96b271006b,
360*4935c74fSLoGin         0x71463609127ad31a,
361*4935c74fSLoGin         0x0e28c6c1224f5a63,
362*4935c74fSLoGin         0x8f9bd7997211c1e8,
363*4935c74fSLoGin         0xf0f5275142244891,
364*4935c74fSLoGin         0xb824d37a8a3b6595,
365*4935c74fSLoGin         0xc74a23b2ba0eecec,
366*4935c74fSLoGin         0x46f932eaea507767,
367*4935c74fSLoGin         0x3997c222da65fe1e,
368*4935c74fSLoGin         0xafba2586f2d042ee,
369*4935c74fSLoGin         0xd0d4d54ec2e5cb97,
370*4935c74fSLoGin         0x5167c41692bb501c,
371*4935c74fSLoGin         0x2e0934dea28ed965,
372*4935c74fSLoGin         0x66d8c0f56a91f461,
373*4935c74fSLoGin         0x19b6303d5aa47d18,
374*4935c74fSLoGin         0x980521650afae693,
375*4935c74fSLoGin         0xe76bd1ad3acf6fea,
376*4935c74fSLoGin         0x09a6c9329ac4bc9b,
377*4935c74fSLoGin         0x76c839faaaf135e2,
378*4935c74fSLoGin         0xf77b28a2faafae69,
379*4935c74fSLoGin         0x8815d86aca9a2710,
380*4935c74fSLoGin         0xc0c42c4102850a14,
381*4935c74fSLoGin         0xbfaadc8932b0836d,
382*4935c74fSLoGin         0x3e19cdd162ee18e6,
383*4935c74fSLoGin         0x41773d1952db919f,
384*4935c74fSLoGin         0x269b24ca6b12f26d,
385*4935c74fSLoGin         0x59f5d4025b277b14,
386*4935c74fSLoGin         0xd846c55a0b79e09f,
387*4935c74fSLoGin         0xa72835923b4c69e6,
388*4935c74fSLoGin         0xeff9c1b9f35344e2,
389*4935c74fSLoGin         0x90973171c366cd9b,
390*4935c74fSLoGin         0x1124202993385610,
391*4935c74fSLoGin         0x6e4ad0e1a30ddf69,
392*4935c74fSLoGin         0x8087c87e03060c18,
393*4935c74fSLoGin         0xffe938b633338561,
394*4935c74fSLoGin         0x7e5a29ee636d1eea,
395*4935c74fSLoGin         0x0134d92653589793,
396*4935c74fSLoGin         0x49e52d0d9b47ba97,
397*4935c74fSLoGin         0x368bddc5ab7233ee,
398*4935c74fSLoGin         0xb738cc9dfb2ca865,
399*4935c74fSLoGin         0xc8563c55cb19211c,
400*4935c74fSLoGin         0x5e7bdbf1e3ac9dec,
401*4935c74fSLoGin         0x21152b39d3991495,
402*4935c74fSLoGin         0xa0a63a6183c78f1e,
403*4935c74fSLoGin         0xdfc8caa9b3f20667,
404*4935c74fSLoGin         0x97193e827bed2b63,
405*4935c74fSLoGin         0xe877ce4a4bd8a21a,
406*4935c74fSLoGin         0x69c4df121b863991,
407*4935c74fSLoGin         0x16aa2fda2bb3b0e8,
408*4935c74fSLoGin         0xf86737458bb86399,
409*4935c74fSLoGin         0x8709c78dbb8deae0,
410*4935c74fSLoGin         0x06bad6d5ebd3716b,
411*4935c74fSLoGin         0x79d4261ddbe6f812,
412*4935c74fSLoGin         0x3105d23613f9d516,
413*4935c74fSLoGin         0x4e6b22fe23cc5c6f,
414*4935c74fSLoGin         0xcfd833a67392c7e4,
415*4935c74fSLoGin         0xb0b6c36e43a74e9d,
416*4935c74fSLoGin         0x9a6c9329ac4bc9b5,
417*4935c74fSLoGin         0xe50263e19c7e40cc,
418*4935c74fSLoGin         0x64b172b9cc20db47,
419*4935c74fSLoGin         0x1bdf8271fc15523e,
420*4935c74fSLoGin         0x530e765a340a7f3a,
421*4935c74fSLoGin         0x2c608692043ff643,
422*4935c74fSLoGin         0xadd397ca54616dc8,
423*4935c74fSLoGin         0xd2bd67026454e4b1,
424*4935c74fSLoGin         0x3c707f9dc45f37c0,
425*4935c74fSLoGin         0x431e8f55f46abeb9,
426*4935c74fSLoGin         0xc2ad9e0da4342532,
427*4935c74fSLoGin         0xbdc36ec59401ac4b,
428*4935c74fSLoGin         0xf5129aee5c1e814f,
429*4935c74fSLoGin         0x8a7c6a266c2b0836,
430*4935c74fSLoGin         0x0bcf7b7e3c7593bd,
431*4935c74fSLoGin         0x74a18bb60c401ac4,
432*4935c74fSLoGin         0xe28c6c1224f5a634,
433*4935c74fSLoGin         0x9de29cda14c02f4d,
434*4935c74fSLoGin         0x1c518d82449eb4c6,
435*4935c74fSLoGin         0x633f7d4a74ab3dbf,
436*4935c74fSLoGin         0x2bee8961bcb410bb,
437*4935c74fSLoGin         0x548079a98c8199c2,
438*4935c74fSLoGin         0xd53368f1dcdf0249,
439*4935c74fSLoGin         0xaa5d9839ecea8b30,
440*4935c74fSLoGin         0x449080a64ce15841,
441*4935c74fSLoGin         0x3bfe706e7cd4d138,
442*4935c74fSLoGin         0xba4d61362c8a4ab3,
443*4935c74fSLoGin         0xc52391fe1cbfc3ca,
444*4935c74fSLoGin         0x8df265d5d4a0eece,
445*4935c74fSLoGin         0xf29c951de49567b7,
446*4935c74fSLoGin         0x732f8445b4cbfc3c,
447*4935c74fSLoGin         0x0c41748d84fe7545,
448*4935c74fSLoGin         0x6bad6d5ebd3716b7,
449*4935c74fSLoGin         0x14c39d968d029fce,
450*4935c74fSLoGin         0x95708ccedd5c0445,
451*4935c74fSLoGin         0xea1e7c06ed698d3c,
452*4935c74fSLoGin         0xa2cf882d2576a038,
453*4935c74fSLoGin         0xdda178e515432941,
454*4935c74fSLoGin         0x5c1269bd451db2ca,
455*4935c74fSLoGin         0x237c997575283bb3,
456*4935c74fSLoGin         0xcdb181ead523e8c2,
457*4935c74fSLoGin         0xb2df7122e51661bb,
458*4935c74fSLoGin         0x336c607ab548fa30,
459*4935c74fSLoGin         0x4c0290b2857d7349,
460*4935c74fSLoGin         0x04d364994d625e4d,
461*4935c74fSLoGin         0x7bbd94517d57d734,
462*4935c74fSLoGin         0xfa0e85092d094cbf,
463*4935c74fSLoGin         0x856075c11d3cc5c6,
464*4935c74fSLoGin         0x134d926535897936,
465*4935c74fSLoGin         0x6c2362ad05bcf04f,
466*4935c74fSLoGin         0xed9073f555e26bc4,
467*4935c74fSLoGin         0x92fe833d65d7e2bd,
468*4935c74fSLoGin         0xda2f7716adc8cfb9,
469*4935c74fSLoGin         0xa54187de9dfd46c0,
470*4935c74fSLoGin         0x24f29686cda3dd4b,
471*4935c74fSLoGin         0x5b9c664efd965432,
472*4935c74fSLoGin         0xb5517ed15d9d8743,
473*4935c74fSLoGin         0xca3f8e196da80e3a,
474*4935c74fSLoGin         0x4b8c9f413df695b1,
475*4935c74fSLoGin         0x34e26f890dc31cc8,
476*4935c74fSLoGin         0x7c339ba2c5dc31cc,
477*4935c74fSLoGin         0x035d6b6af5e9b8b5,
478*4935c74fSLoGin         0x82ee7a32a5b7233e,
479*4935c74fSLoGin         0xfd808afa9582aa47,
480*4935c74fSLoGin         0x4d364994d625e4da,
481*4935c74fSLoGin         0x3258b95ce6106da3,
482*4935c74fSLoGin         0xb3eba804b64ef628,
483*4935c74fSLoGin         0xcc8558cc867b7f51,
484*4935c74fSLoGin         0x8454ace74e645255,
485*4935c74fSLoGin         0xfb3a5c2f7e51db2c,
486*4935c74fSLoGin         0x7a894d772e0f40a7,
487*4935c74fSLoGin         0x05e7bdbf1e3ac9de,
488*4935c74fSLoGin         0xeb2aa520be311aaf,
489*4935c74fSLoGin         0x944455e88e0493d6,
490*4935c74fSLoGin         0x15f744b0de5a085d,
491*4935c74fSLoGin         0x6a99b478ee6f8124,
492*4935c74fSLoGin         0x224840532670ac20,
493*4935c74fSLoGin         0x5d26b09b16452559,
494*4935c74fSLoGin         0xdc95a1c3461bbed2,
495*4935c74fSLoGin         0xa3fb510b762e37ab,
496*4935c74fSLoGin         0x35d6b6af5e9b8b5b,
497*4935c74fSLoGin         0x4ab846676eae0222,
498*4935c74fSLoGin         0xcb0b573f3ef099a9,
499*4935c74fSLoGin         0xb465a7f70ec510d0,
500*4935c74fSLoGin         0xfcb453dcc6da3dd4,
501*4935c74fSLoGin         0x83daa314f6efb4ad,
502*4935c74fSLoGin         0x0269b24ca6b12f26,
503*4935c74fSLoGin         0x7d0742849684a65f,
504*4935c74fSLoGin         0x93ca5a1b368f752e,
505*4935c74fSLoGin         0xeca4aad306bafc57,
506*4935c74fSLoGin         0x6d17bb8b56e467dc,
507*4935c74fSLoGin         0x12794b4366d1eea5,
508*4935c74fSLoGin         0x5aa8bf68aecec3a1,
509*4935c74fSLoGin         0x25c64fa09efb4ad8,
510*4935c74fSLoGin         0xa4755ef8cea5d153,
511*4935c74fSLoGin         0xdb1bae30fe90582a,
512*4935c74fSLoGin         0xbcf7b7e3c7593bd8,
513*4935c74fSLoGin         0xc399472bf76cb2a1,
514*4935c74fSLoGin         0x422a5673a732292a,
515*4935c74fSLoGin         0x3d44a6bb9707a053,
516*4935c74fSLoGin         0x759552905f188d57,
517*4935c74fSLoGin         0x0afba2586f2d042e,
518*4935c74fSLoGin         0x8b48b3003f739fa5,
519*4935c74fSLoGin         0xf42643c80f4616dc,
520*4935c74fSLoGin         0x1aeb5b57af4dc5ad,
521*4935c74fSLoGin         0x6585ab9f9f784cd4,
522*4935c74fSLoGin         0xe436bac7cf26d75f,
523*4935c74fSLoGin         0x9b584a0fff135e26,
524*4935c74fSLoGin         0xd389be24370c7322,
525*4935c74fSLoGin         0xace74eec0739fa5b,
526*4935c74fSLoGin         0x2d545fb4576761d0,
527*4935c74fSLoGin         0x523aaf7c6752e8a9,
528*4935c74fSLoGin         0xc41748d84fe75459,
529*4935c74fSLoGin         0xbb79b8107fd2dd20,
530*4935c74fSLoGin         0x3acaa9482f8c46ab,
531*4935c74fSLoGin         0x45a459801fb9cfd2,
532*4935c74fSLoGin         0x0d75adabd7a6e2d6,
533*4935c74fSLoGin         0x721b5d63e7936baf,
534*4935c74fSLoGin         0xf3a84c3bb7cdf024,
535*4935c74fSLoGin         0x8cc6bcf387f8795d,
536*4935c74fSLoGin         0x620ba46c27f3aa2c,
537*4935c74fSLoGin         0x1d6554a417c62355,
538*4935c74fSLoGin         0x9cd645fc4798b8de,
539*4935c74fSLoGin         0xe3b8b53477ad31a7,
540*4935c74fSLoGin         0xab69411fbfb21ca3,
541*4935c74fSLoGin         0xd407b1d78f8795da,
542*4935c74fSLoGin         0x55b4a08fdfd90e51,
543*4935c74fSLoGin         0x2ada5047efec8728,
544*4935c74fSLoGin     ],
545*4935c74fSLoGin );
546