1use super::poseidon2_params::Poseidon2Params;
2use crate::fields::babybear::FpBabyBear;
3use crate::fields::utils::from_hex;
4
5use lazy_static::lazy_static;
6use std::sync::Arc;
7
8type Scalar = FpBabyBear;
9
10lazy_static! {
11 pub static ref MAT_DIAG16_M_1: Vec<Scalar> = vec![
12 from_hex("0x0a632d94"),
13 from_hex("0x6db657b7"),
14 from_hex("0x56fbdc9e"),
15 from_hex("0x052b3d8a"),
16 from_hex("0x33745201"),
17 from_hex("0x5c03108c"),
18 from_hex("0x0beba37b"),
19 from_hex("0x258c2e8b"),
20 from_hex("0x12029f39"),
21 from_hex("0x694909ce"),
22 from_hex("0x6d231724"),
23 from_hex("0x21c3b222"),
24 from_hex("0x3c0904a5"),
25 from_hex("0x01d6acda"),
26 from_hex("0x27705c83"),
27 from_hex("0x5231c802"),
28 ];
29
30 pub static ref MAT_INTERNAL16: Vec<Vec<Scalar>> = vec![
31 vec![from_hex("0x0a632d95"),
32 from_hex("0x00000001"),
33 from_hex("0x00000001"),
34 from_hex("0x00000001"),
35 from_hex("0x00000001"),
36 from_hex("0x00000001"),
37 from_hex("0x00000001"),
38 from_hex("0x00000001"),
39 from_hex("0x00000001"),
40 from_hex("0x00000001"),
41 from_hex("0x00000001"),
42 from_hex("0x00000001"),
43 from_hex("0x00000001"),
44 from_hex("0x00000001"),
45 from_hex("0x00000001"),
46 from_hex("0x00000001"),
47 ],
48 vec![from_hex("0x00000001"),
49 from_hex("0x6db657b8"),
50 from_hex("0x00000001"),
51 from_hex("0x00000001"),
52 from_hex("0x00000001"),
53 from_hex("0x00000001"),
54 from_hex("0x00000001"),
55 from_hex("0x00000001"),
56 from_hex("0x00000001"),
57 from_hex("0x00000001"),
58 from_hex("0x00000001"),
59 from_hex("0x00000001"),
60 from_hex("0x00000001"),
61 from_hex("0x00000001"),
62 from_hex("0x00000001"),
63 from_hex("0x00000001"),
64 ],
65 vec![from_hex("0x00000001"),
66 from_hex("0x00000001"),
67 from_hex("0x56fbdc9f"),
68 from_hex("0x00000001"),
69 from_hex("0x00000001"),
70 from_hex("0x00000001"),
71 from_hex("0x00000001"),
72 from_hex("0x00000001"),
73 from_hex("0x00000001"),
74 from_hex("0x00000001"),
75 from_hex("0x00000001"),
76 from_hex("0x00000001"),
77 from_hex("0x00000001"),
78 from_hex("0x00000001"),
79 from_hex("0x00000001"),
80 from_hex("0x00000001"),
81 ],
82 vec![from_hex("0x00000001"),
83 from_hex("0x00000001"),
84 from_hex("0x00000001"),
85 from_hex("0x052b3d8b"),
86 from_hex("0x00000001"),
87 from_hex("0x00000001"),
88 from_hex("0x00000001"),
89 from_hex("0x00000001"),
90 from_hex("0x00000001"),
91 from_hex("0x00000001"),
92 from_hex("0x00000001"),
93 from_hex("0x00000001"),
94 from_hex("0x00000001"),
95 from_hex("0x00000001"),
96 from_hex("0x00000001"),
97 from_hex("0x00000001"),
98 ],
99 vec![from_hex("0x00000001"),
100 from_hex("0x00000001"),
101 from_hex("0x00000001"),
102 from_hex("0x00000001"),
103 from_hex("0x33745202"),
104 from_hex("0x00000001"),
105 from_hex("0x00000001"),
106 from_hex("0x00000001"),
107 from_hex("0x00000001"),
108 from_hex("0x00000001"),
109 from_hex("0x00000001"),
110 from_hex("0x00000001"),
111 from_hex("0x00000001"),
112 from_hex("0x00000001"),
113 from_hex("0x00000001"),
114 from_hex("0x00000001"),
115 ],
116 vec![from_hex("0x00000001"),
117 from_hex("0x00000001"),
118 from_hex("0x00000001"),
119 from_hex("0x00000001"),
120 from_hex("0x00000001"),
121 from_hex("0x5c03108d"),
122 from_hex("0x00000001"),
123 from_hex("0x00000001"),
124 from_hex("0x00000001"),
125 from_hex("0x00000001"),
126 from_hex("0x00000001"),
127 from_hex("0x00000001"),
128 from_hex("0x00000001"),
129 from_hex("0x00000001"),
130 from_hex("0x00000001"),
131 from_hex("0x00000001"),
132 ],
133 vec![from_hex("0x00000001"),
134 from_hex("0x00000001"),
135 from_hex("0x00000001"),
136 from_hex("0x00000001"),
137 from_hex("0x00000001"),
138 from_hex("0x00000001"),
139 from_hex("0x0beba37c"),
140 from_hex("0x00000001"),
141 from_hex("0x00000001"),
142 from_hex("0x00000001"),
143 from_hex("0x00000001"),
144 from_hex("0x00000001"),
145 from_hex("0x00000001"),
146 from_hex("0x00000001"),
147 from_hex("0x00000001"),
148 from_hex("0x00000001"),
149 ],
150 vec![from_hex("0x00000001"),
151 from_hex("0x00000001"),
152 from_hex("0x00000001"),
153 from_hex("0x00000001"),
154 from_hex("0x00000001"),
155 from_hex("0x00000001"),
156 from_hex("0x00000001"),
157 from_hex("0x258c2e8c"),
158 from_hex("0x00000001"),
159 from_hex("0x00000001"),
160 from_hex("0x00000001"),
161 from_hex("0x00000001"),
162 from_hex("0x00000001"),
163 from_hex("0x00000001"),
164 from_hex("0x00000001"),
165 from_hex("0x00000001"),
166 ],
167 vec![from_hex("0x00000001"),
168 from_hex("0x00000001"),
169 from_hex("0x00000001"),
170 from_hex("0x00000001"),
171 from_hex("0x00000001"),
172 from_hex("0x00000001"),
173 from_hex("0x00000001"),
174 from_hex("0x00000001"),
175 from_hex("0x12029f3a"),
176 from_hex("0x00000001"),
177 from_hex("0x00000001"),
178 from_hex("0x00000001"),
179 from_hex("0x00000001"),
180 from_hex("0x00000001"),
181 from_hex("0x00000001"),
182 from_hex("0x00000001"),
183 ],
184 vec![from_hex("0x00000001"),
185 from_hex("0x00000001"),
186 from_hex("0x00000001"),
187 from_hex("0x00000001"),
188 from_hex("0x00000001"),
189 from_hex("0x00000001"),
190 from_hex("0x00000001"),
191 from_hex("0x00000001"),
192 from_hex("0x00000001"),
193 from_hex("0x694909cf"),
194 from_hex("0x00000001"),
195 from_hex("0x00000001"),
196 from_hex("0x00000001"),
197 from_hex("0x00000001"),
198 from_hex("0x00000001"),
199 from_hex("0x00000001"),
200 ],
201 vec![from_hex("0x00000001"),
202 from_hex("0x00000001"),
203 from_hex("0x00000001"),
204 from_hex("0x00000001"),
205 from_hex("0x00000001"),
206 from_hex("0x00000001"),
207 from_hex("0x00000001"),
208 from_hex("0x00000001"),
209 from_hex("0x00000001"),
210 from_hex("0x00000001"),
211 from_hex("0x6d231725"),
212 from_hex("0x00000001"),
213 from_hex("0x00000001"),
214 from_hex("0x00000001"),
215 from_hex("0x00000001"),
216 from_hex("0x00000001"),
217 ],
218 vec![from_hex("0x00000001"),
219 from_hex("0x00000001"),
220 from_hex("0x00000001"),
221 from_hex("0x00000001"),
222 from_hex("0x00000001"),
223 from_hex("0x00000001"),
224 from_hex("0x00000001"),
225 from_hex("0x00000001"),
226 from_hex("0x00000001"),
227 from_hex("0x00000001"),
228 from_hex("0x00000001"),
229 from_hex("0x21c3b223"),
230 from_hex("0x00000001"),
231 from_hex("0x00000001"),
232 from_hex("0x00000001"),
233 from_hex("0x00000001"),
234 ],
235 vec![from_hex("0x00000001"),
236 from_hex("0x00000001"),
237 from_hex("0x00000001"),
238 from_hex("0x00000001"),
239 from_hex("0x00000001"),
240 from_hex("0x00000001"),
241 from_hex("0x00000001"),
242 from_hex("0x00000001"),
243 from_hex("0x00000001"),
244 from_hex("0x00000001"),
245 from_hex("0x00000001"),
246 from_hex("0x00000001"),
247 from_hex("0x3c0904a6"),
248 from_hex("0x00000001"),
249 from_hex("0x00000001"),
250 from_hex("0x00000001"),
251 ],
252 vec![from_hex("0x00000001"),
253 from_hex("0x00000001"),
254 from_hex("0x00000001"),
255 from_hex("0x00000001"),
256 from_hex("0x00000001"),
257 from_hex("0x00000001"),
258 from_hex("0x00000001"),
259 from_hex("0x00000001"),
260 from_hex("0x00000001"),
261 from_hex("0x00000001"),
262 from_hex("0x00000001"),
263 from_hex("0x00000001"),
264 from_hex("0x00000001"),
265 from_hex("0x01d6acdb"),
266 from_hex("0x00000001"),
267 from_hex("0x00000001"),
268 ],
269 vec![from_hex("0x00000001"),
270 from_hex("0x00000001"),
271 from_hex("0x00000001"),
272 from_hex("0x00000001"),
273 from_hex("0x00000001"),
274 from_hex("0x00000001"),
275 from_hex("0x00000001"),
276 from_hex("0x00000001"),
277 from_hex("0x00000001"),
278 from_hex("0x00000001"),
279 from_hex("0x00000001"),
280 from_hex("0x00000001"),
281 from_hex("0x00000001"),
282 from_hex("0x00000001"),
283 from_hex("0x27705c84"),
284 from_hex("0x00000001"),
285 ],
286 vec![from_hex("0x00000001"),
287 from_hex("0x00000001"),
288 from_hex("0x00000001"),
289 from_hex("0x00000001"),
290 from_hex("0x00000001"),
291 from_hex("0x00000001"),
292 from_hex("0x00000001"),
293 from_hex("0x00000001"),
294 from_hex("0x00000001"),
295 from_hex("0x00000001"),
296 from_hex("0x00000001"),
297 from_hex("0x00000001"),
298 from_hex("0x00000001"),
299 from_hex("0x00000001"),
300 from_hex("0x00000001"),
301 from_hex("0x5231c803"),
302 ],
303 ];
304
305 pub static ref RC16: Vec<Vec<Scalar>> = vec![
306 vec![from_hex("0x69cbb6af"),
307 from_hex("0x46ad93f9"),
308 from_hex("0x60a00f4e"),
309 from_hex("0x6b1297cd"),
310 from_hex("0x23189afe"),
311 from_hex("0x732e7bef"),
312 from_hex("0x72c246de"),
313 from_hex("0x2c941900"),
314 from_hex("0x0557eede"),
315 from_hex("0x1580496f"),
316 from_hex("0x3a3ea77b"),
317 from_hex("0x54f3f271"),
318 from_hex("0x0f49b029"),
319 from_hex("0x47872fe1"),
320 from_hex("0x221e2e36"),
321 from_hex("0x1ab7202e"),
322 ],
323 vec![from_hex("0x487779a6"),
324 from_hex("0x3851c9d8"),
325 from_hex("0x38dc17c0"),
326 from_hex("0x209f8849"),
327 from_hex("0x268dcee8"),
328 from_hex("0x350c48da"),
329 from_hex("0x5b9ad32e"),
330 from_hex("0x0523272b"),
331 from_hex("0x3f89055b"),
332 from_hex("0x01e894b2"),
333 from_hex("0x13ddedde"),
334 from_hex("0x1b2ef334"),
335 from_hex("0x7507d8b4"),
336 from_hex("0x6ceeb94e"),
337 from_hex("0x52eb6ba2"),
338 from_hex("0x50642905"),
339 ],
340 vec![from_hex("0x05453f3f"),
341 from_hex("0x06349efc"),
342 from_hex("0x6922787c"),
343 from_hex("0x04bfff9c"),
344 from_hex("0x768c714a"),
345 from_hex("0x3e9ff21a"),
346 from_hex("0x15737c9c"),
347 from_hex("0x2229c807"),
348 from_hex("0x0d47f88c"),
349 from_hex("0x097e0ecc"),
350 from_hex("0x27eadba0"),
351 from_hex("0x2d7d29e4"),
352 from_hex("0x3502aaa0"),
353 from_hex("0x0f475fd7"),
354 from_hex("0x29fbda49"),
355 from_hex("0x018afffd"),
356 ],
357 vec![from_hex("0x0315b618"),
358 from_hex("0x6d4497d1"),
359 from_hex("0x1b171d9e"),
360 from_hex("0x52861abd"),
361 from_hex("0x2e5d0501"),
362 from_hex("0x3ec8646c"),
363 from_hex("0x6e5f250a"),
364 from_hex("0x148ae8e6"),
365 from_hex("0x17f5fa4a"),
366 from_hex("0x3e66d284"),
367 from_hex("0x0051aa3b"),
368 from_hex("0x483f7913"),
369 from_hex("0x2cfe5f15"),
370 from_hex("0x023427ca"),
371 from_hex("0x2cc78315"),
372 from_hex("0x1e36ea47"),
373 ],
374 vec![from_hex("0x5a8053c0"),
375 from_hex("0x00000000"),
376 from_hex("0x00000000"),
377 from_hex("0x00000000"),
378 from_hex("0x00000000"),
379 from_hex("0x00000000"),
380 from_hex("0x00000000"),
381 from_hex("0x00000000"),
382 from_hex("0x00000000"),
383 from_hex("0x00000000"),
384 from_hex("0x00000000"),
385 from_hex("0x00000000"),
386 from_hex("0x00000000"),
387 from_hex("0x00000000"),
388 from_hex("0x00000000"),
389 from_hex("0x00000000"),
390 ],
391 vec![from_hex("0x693be639"),
392 from_hex("0x00000000"),
393 from_hex("0x00000000"),
394 from_hex("0x00000000"),
395 from_hex("0x00000000"),
396 from_hex("0x00000000"),
397 from_hex("0x00000000"),
398 from_hex("0x00000000"),
399 from_hex("0x00000000"),
400 from_hex("0x00000000"),
401 from_hex("0x00000000"),
402 from_hex("0x00000000"),
403 from_hex("0x00000000"),
404 from_hex("0x00000000"),
405 from_hex("0x00000000"),
406 from_hex("0x00000000"),
407 ],
408 vec![from_hex("0x3858867d"),
409 from_hex("0x00000000"),
410 from_hex("0x00000000"),
411 from_hex("0x00000000"),
412 from_hex("0x00000000"),
413 from_hex("0x00000000"),
414 from_hex("0x00000000"),
415 from_hex("0x00000000"),
416 from_hex("0x00000000"),
417 from_hex("0x00000000"),
418 from_hex("0x00000000"),
419 from_hex("0x00000000"),
420 from_hex("0x00000000"),
421 from_hex("0x00000000"),
422 from_hex("0x00000000"),
423 from_hex("0x00000000"),
424 ],
425 vec![from_hex("0x19334f6b"),
426 from_hex("0x00000000"),
427 from_hex("0x00000000"),
428 from_hex("0x00000000"),
429 from_hex("0x00000000"),
430 from_hex("0x00000000"),
431 from_hex("0x00000000"),
432 from_hex("0x00000000"),
433 from_hex("0x00000000"),
434 from_hex("0x00000000"),
435 from_hex("0x00000000"),
436 from_hex("0x00000000"),
437 from_hex("0x00000000"),
438 from_hex("0x00000000"),
439 from_hex("0x00000000"),
440 from_hex("0x00000000"),
441 ],
442 vec![from_hex("0x128f0fd8"),
443 from_hex("0x00000000"),
444 from_hex("0x00000000"),
445 from_hex("0x00000000"),
446 from_hex("0x00000000"),
447 from_hex("0x00000000"),
448 from_hex("0x00000000"),
449 from_hex("0x00000000"),
450 from_hex("0x00000000"),
451 from_hex("0x00000000"),
452 from_hex("0x00000000"),
453 from_hex("0x00000000"),
454 from_hex("0x00000000"),
455 from_hex("0x00000000"),
456 from_hex("0x00000000"),
457 from_hex("0x00000000"),
458 ],
459 vec![from_hex("0x4e2b1ccb"),
460 from_hex("0x00000000"),
461 from_hex("0x00000000"),
462 from_hex("0x00000000"),
463 from_hex("0x00000000"),
464 from_hex("0x00000000"),
465 from_hex("0x00000000"),
466 from_hex("0x00000000"),
467 from_hex("0x00000000"),
468 from_hex("0x00000000"),
469 from_hex("0x00000000"),
470 from_hex("0x00000000"),
471 from_hex("0x00000000"),
472 from_hex("0x00000000"),
473 from_hex("0x00000000"),
474 from_hex("0x00000000"),
475 ],
476 vec![from_hex("0x61210ce0"),
477 from_hex("0x00000000"),
478 from_hex("0x00000000"),
479 from_hex("0x00000000"),
480 from_hex("0x00000000"),
481 from_hex("0x00000000"),
482 from_hex("0x00000000"),
483 from_hex("0x00000000"),
484 from_hex("0x00000000"),
485 from_hex("0x00000000"),
486 from_hex("0x00000000"),
487 from_hex("0x00000000"),
488 from_hex("0x00000000"),
489 from_hex("0x00000000"),
490 from_hex("0x00000000"),
491 from_hex("0x00000000"),
492 ],
493 vec![from_hex("0x3c318939"),
494 from_hex("0x00000000"),
495 from_hex("0x00000000"),
496 from_hex("0x00000000"),
497 from_hex("0x00000000"),
498 from_hex("0x00000000"),
499 from_hex("0x00000000"),
500 from_hex("0x00000000"),
501 from_hex("0x00000000"),
502 from_hex("0x00000000"),
503 from_hex("0x00000000"),
504 from_hex("0x00000000"),
505 from_hex("0x00000000"),
506 from_hex("0x00000000"),
507 from_hex("0x00000000"),
508 from_hex("0x00000000"),
509 ],
510 vec![from_hex("0x0b5b2f22"),
511 from_hex("0x00000000"),
512 from_hex("0x00000000"),
513 from_hex("0x00000000"),
514 from_hex("0x00000000"),
515 from_hex("0x00000000"),
516 from_hex("0x00000000"),
517 from_hex("0x00000000"),
518 from_hex("0x00000000"),
519 from_hex("0x00000000"),
520 from_hex("0x00000000"),
521 from_hex("0x00000000"),
522 from_hex("0x00000000"),
523 from_hex("0x00000000"),
524 from_hex("0x00000000"),
525 from_hex("0x00000000"),
526 ],
527 vec![from_hex("0x2edb11d5"),
528 from_hex("0x00000000"),
529 from_hex("0x00000000"),
530 from_hex("0x00000000"),
531 from_hex("0x00000000"),
532 from_hex("0x00000000"),
533 from_hex("0x00000000"),
534 from_hex("0x00000000"),
535 from_hex("0x00000000"),
536 from_hex("0x00000000"),
537 from_hex("0x00000000"),
538 from_hex("0x00000000"),
539 from_hex("0x00000000"),
540 from_hex("0x00000000"),
541 from_hex("0x00000000"),
542 from_hex("0x00000000"),
543 ],
544 vec![from_hex("0x213effdf"),
545 from_hex("0x00000000"),
546 from_hex("0x00000000"),
547 from_hex("0x00000000"),
548 from_hex("0x00000000"),
549 from_hex("0x00000000"),
550 from_hex("0x00000000"),
551 from_hex("0x00000000"),
552 from_hex("0x00000000"),
553 from_hex("0x00000000"),
554 from_hex("0x00000000"),
555 from_hex("0x00000000"),
556 from_hex("0x00000000"),
557 from_hex("0x00000000"),
558 from_hex("0x00000000"),
559 from_hex("0x00000000"),
560 ],
561 vec![from_hex("0x0cac4606"),
562 from_hex("0x00000000"),
563 from_hex("0x00000000"),
564 from_hex("0x00000000"),
565 from_hex("0x00000000"),
566 from_hex("0x00000000"),
567 from_hex("0x00000000"),
568 from_hex("0x00000000"),
569 from_hex("0x00000000"),
570 from_hex("0x00000000"),
571 from_hex("0x00000000"),
572 from_hex("0x00000000"),
573 from_hex("0x00000000"),
574 from_hex("0x00000000"),
575 from_hex("0x00000000"),
576 from_hex("0x00000000"),
577 ],
578 vec![from_hex("0x241af16d"),
579 from_hex("0x00000000"),
580 from_hex("0x00000000"),
581 from_hex("0x00000000"),
582 from_hex("0x00000000"),
583 from_hex("0x00000000"),
584 from_hex("0x00000000"),
585 from_hex("0x00000000"),
586 from_hex("0x00000000"),
587 from_hex("0x00000000"),
588 from_hex("0x00000000"),
589 from_hex("0x00000000"),
590 from_hex("0x00000000"),
591 from_hex("0x00000000"),
592 from_hex("0x00000000"),
593 from_hex("0x00000000"),
594 ],
595 vec![from_hex("0x7290a80d"),
596 from_hex("0x6f7e5329"),
597 from_hex("0x598ec8a8"),
598 from_hex("0x76a859a0"),
599 from_hex("0x6559e868"),
600 from_hex("0x657b83af"),
601 from_hex("0x13271d3f"),
602 from_hex("0x1f876063"),
603 from_hex("0x0aeeae37"),
604 from_hex("0x706e9ca6"),
605 from_hex("0x46400cee"),
606 from_hex("0x72a05c26"),
607 from_hex("0x2c589c9e"),
608 from_hex("0x20bd37a7"),
609 from_hex("0x6a2d3d10"),
610 from_hex("0x20523767"),
611 ],
612 vec![from_hex("0x5b8fe9c4"),
613 from_hex("0x2aa501d6"),
614 from_hex("0x1e01ac3e"),
615 from_hex("0x1448bc54"),
616 from_hex("0x5ce5ad1c"),
617 from_hex("0x4918a14d"),
618 from_hex("0x2c46a83f"),
619 from_hex("0x4fcf6876"),
620 from_hex("0x61d8d5c8"),
621 from_hex("0x6ddf4ff9"),
622 from_hex("0x11fda4d3"),
623 from_hex("0x02933a8f"),
624 from_hex("0x170eaf81"),
625 from_hex("0x5a9c314f"),
626 from_hex("0x49a12590"),
627 from_hex("0x35ec52a1"),
628 ],
629 vec![from_hex("0x58eb1611"),
630 from_hex("0x5e481e65"),
631 from_hex("0x367125c9"),
632 from_hex("0x0eba33ba"),
633 from_hex("0x1fc28ded"),
634 from_hex("0x066399ad"),
635 from_hex("0x0cbec0ea"),
636 from_hex("0x75fd1af0"),
637 from_hex("0x50f5bf4e"),
638 from_hex("0x643d5f41"),
639 from_hex("0x6f4fe718"),
640 from_hex("0x5b3cbbde"),
641 from_hex("0x1e3afb3e"),
642 from_hex("0x296fb027"),
643 from_hex("0x45e1547b"),
644 from_hex("0x4a8db2ab"),
645 ],
646 vec![from_hex("0x59986d19"),
647 from_hex("0x30bcdfa3"),
648 from_hex("0x1db63932"),
649 from_hex("0x1d7c2824"),
650 from_hex("0x53b33681"),
651 from_hex("0x0673b747"),
652 from_hex("0x038a98a3"),
653 from_hex("0x2c5bce60"),
654 from_hex("0x351979cd"),
655 from_hex("0x5008fb73"),
656 from_hex("0x547bca78"),
657 from_hex("0x711af481"),
658 from_hex("0x3f93bf64"),
659 from_hex("0x644d987b"),
660 from_hex("0x3c8bcd87"),
661 from_hex("0x608758b8"),
662 ],
663 ];
664
665 pub static ref MAT_DIAG24_M_1: Vec<Scalar> = vec![
666 from_hex("0x409133f0"),
667 from_hex("0x1667a8a1"),
668 from_hex("0x06a6c7b6"),
669 from_hex("0x6f53160e"),
670 from_hex("0x273b11d1"),
671 from_hex("0x03176c5d"),
672 from_hex("0x72f9bbf9"),
673 from_hex("0x73ceba91"),
674 from_hex("0x5cdef81d"),
675 from_hex("0x01393285"),
676 from_hex("0x46daee06"),
677 from_hex("0x065d7ba6"),
678 from_hex("0x52d72d6f"),
679 from_hex("0x05dd05e0"),
680 from_hex("0x3bab4b63"),
681 from_hex("0x6ada3842"),
682 from_hex("0x2fc5fbec"),
683 from_hex("0x770d61b0"),
684 from_hex("0x5715aae9"),
685 from_hex("0x03ef0e90"),
686 from_hex("0x75b6c770"),
687 from_hex("0x242adf5f"),
688 from_hex("0x00d0ca4c"),
689 from_hex("0x36c0e388"),
690 ];
691
692 pub static ref MAT_INTERNAL24: Vec<Vec<Scalar>> = vec![
693 vec![from_hex("0x409133f1"),
694 from_hex("0x00000001"),
695 from_hex("0x00000001"),
696 from_hex("0x00000001"),
697 from_hex("0x00000001"),
698 from_hex("0x00000001"),
699 from_hex("0x00000001"),
700 from_hex("0x00000001"),
701 from_hex("0x00000001"),
702 from_hex("0x00000001"),
703 from_hex("0x00000001"),
704 from_hex("0x00000001"),
705 from_hex("0x00000001"),
706 from_hex("0x00000001"),
707 from_hex("0x00000001"),
708 from_hex("0x00000001"),
709 from_hex("0x00000001"),
710 from_hex("0x00000001"),
711 from_hex("0x00000001"),
712 from_hex("0x00000001"),
713 from_hex("0x00000001"),
714 from_hex("0x00000001"),
715 from_hex("0x00000001"),
716 from_hex("0x00000001"),
717 ],
718 vec![from_hex("0x00000001"),
719 from_hex("0x1667a8a2"),
720 from_hex("0x00000001"),
721 from_hex("0x00000001"),
722 from_hex("0x00000001"),
723 from_hex("0x00000001"),
724 from_hex("0x00000001"),
725 from_hex("0x00000001"),
726 from_hex("0x00000001"),
727 from_hex("0x00000001"),
728 from_hex("0x00000001"),
729 from_hex("0x00000001"),
730 from_hex("0x00000001"),
731 from_hex("0x00000001"),
732 from_hex("0x00000001"),
733 from_hex("0x00000001"),
734 from_hex("0x00000001"),
735 from_hex("0x00000001"),
736 from_hex("0x00000001"),
737 from_hex("0x00000001"),
738 from_hex("0x00000001"),
739 from_hex("0x00000001"),
740 from_hex("0x00000001"),
741 from_hex("0x00000001"),
742 ],
743 vec![from_hex("0x00000001"),
744 from_hex("0x00000001"),
745 from_hex("0x06a6c7b7"),
746 from_hex("0x00000001"),
747 from_hex("0x00000001"),
748 from_hex("0x00000001"),
749 from_hex("0x00000001"),
750 from_hex("0x00000001"),
751 from_hex("0x00000001"),
752 from_hex("0x00000001"),
753 from_hex("0x00000001"),
754 from_hex("0x00000001"),
755 from_hex("0x00000001"),
756 from_hex("0x00000001"),
757 from_hex("0x00000001"),
758 from_hex("0x00000001"),
759 from_hex("0x00000001"),
760 from_hex("0x00000001"),
761 from_hex("0x00000001"),
762 from_hex("0x00000001"),
763 from_hex("0x00000001"),
764 from_hex("0x00000001"),
765 from_hex("0x00000001"),
766 from_hex("0x00000001"),
767 ],
768 vec![from_hex("0x00000001"),
769 from_hex("0x00000001"),
770 from_hex("0x00000001"),
771 from_hex("0x6f53160f"),
772 from_hex("0x00000001"),
773 from_hex("0x00000001"),
774 from_hex("0x00000001"),
775 from_hex("0x00000001"),
776 from_hex("0x00000001"),
777 from_hex("0x00000001"),
778 from_hex("0x00000001"),
779 from_hex("0x00000001"),
780 from_hex("0x00000001"),
781 from_hex("0x00000001"),
782 from_hex("0x00000001"),
783 from_hex("0x00000001"),
784 from_hex("0x00000001"),
785 from_hex("0x00000001"),
786 from_hex("0x00000001"),
787 from_hex("0x00000001"),
788 from_hex("0x00000001"),
789 from_hex("0x00000001"),
790 from_hex("0x00000001"),
791 from_hex("0x00000001"),
792 ],
793 vec![from_hex("0x00000001"),
794 from_hex("0x00000001"),
795 from_hex("0x00000001"),
796 from_hex("0x00000001"),
797 from_hex("0x273b11d2"),
798 from_hex("0x00000001"),
799 from_hex("0x00000001"),
800 from_hex("0x00000001"),
801 from_hex("0x00000001"),
802 from_hex("0x00000001"),
803 from_hex("0x00000001"),
804 from_hex("0x00000001"),
805 from_hex("0x00000001"),
806 from_hex("0x00000001"),
807 from_hex("0x00000001"),
808 from_hex("0x00000001"),
809 from_hex("0x00000001"),
810 from_hex("0x00000001"),
811 from_hex("0x00000001"),
812 from_hex("0x00000001"),
813 from_hex("0x00000001"),
814 from_hex("0x00000001"),
815 from_hex("0x00000001"),
816 from_hex("0x00000001"),
817 ],
818 vec![from_hex("0x00000001"),
819 from_hex("0x00000001"),
820 from_hex("0x00000001"),
821 from_hex("0x00000001"),
822 from_hex("0x00000001"),
823 from_hex("0x03176c5e"),
824 from_hex("0x00000001"),
825 from_hex("0x00000001"),
826 from_hex("0x00000001"),
827 from_hex("0x00000001"),
828 from_hex("0x00000001"),
829 from_hex("0x00000001"),
830 from_hex("0x00000001"),
831 from_hex("0x00000001"),
832 from_hex("0x00000001"),
833 from_hex("0x00000001"),
834 from_hex("0x00000001"),
835 from_hex("0x00000001"),
836 from_hex("0x00000001"),
837 from_hex("0x00000001"),
838 from_hex("0x00000001"),
839 from_hex("0x00000001"),
840 from_hex("0x00000001"),
841 from_hex("0x00000001"),
842 ],
843 vec![from_hex("0x00000001"),
844 from_hex("0x00000001"),
845 from_hex("0x00000001"),
846 from_hex("0x00000001"),
847 from_hex("0x00000001"),
848 from_hex("0x00000001"),
849 from_hex("0x72f9bbfa"),
850 from_hex("0x00000001"),
851 from_hex("0x00000001"),
852 from_hex("0x00000001"),
853 from_hex("0x00000001"),
854 from_hex("0x00000001"),
855 from_hex("0x00000001"),
856 from_hex("0x00000001"),
857 from_hex("0x00000001"),
858 from_hex("0x00000001"),
859 from_hex("0x00000001"),
860 from_hex("0x00000001"),
861 from_hex("0x00000001"),
862 from_hex("0x00000001"),
863 from_hex("0x00000001"),
864 from_hex("0x00000001"),
865 from_hex("0x00000001"),
866 from_hex("0x00000001"),
867 ],
868 vec![from_hex("0x00000001"),
869 from_hex("0x00000001"),
870 from_hex("0x00000001"),
871 from_hex("0x00000001"),
872 from_hex("0x00000001"),
873 from_hex("0x00000001"),
874 from_hex("0x00000001"),
875 from_hex("0x73ceba92"),
876 from_hex("0x00000001"),
877 from_hex("0x00000001"),
878 from_hex("0x00000001"),
879 from_hex("0x00000001"),
880 from_hex("0x00000001"),
881 from_hex("0x00000001"),
882 from_hex("0x00000001"),
883 from_hex("0x00000001"),
884 from_hex("0x00000001"),
885 from_hex("0x00000001"),
886 from_hex("0x00000001"),
887 from_hex("0x00000001"),
888 from_hex("0x00000001"),
889 from_hex("0x00000001"),
890 from_hex("0x00000001"),
891 from_hex("0x00000001"),
892 ],
893 vec![from_hex("0x00000001"),
894 from_hex("0x00000001"),
895 from_hex("0x00000001"),
896 from_hex("0x00000001"),
897 from_hex("0x00000001"),
898 from_hex("0x00000001"),
899 from_hex("0x00000001"),
900 from_hex("0x00000001"),
901 from_hex("0x5cdef81e"),
902 from_hex("0x00000001"),
903 from_hex("0x00000001"),
904 from_hex("0x00000001"),
905 from_hex("0x00000001"),
906 from_hex("0x00000001"),
907 from_hex("0x00000001"),
908 from_hex("0x00000001"),
909 from_hex("0x00000001"),
910 from_hex("0x00000001"),
911 from_hex("0x00000001"),
912 from_hex("0x00000001"),
913 from_hex("0x00000001"),
914 from_hex("0x00000001"),
915 from_hex("0x00000001"),
916 from_hex("0x00000001"),
917 ],
918 vec![from_hex("0x00000001"),
919 from_hex("0x00000001"),
920 from_hex("0x00000001"),
921 from_hex("0x00000001"),
922 from_hex("0x00000001"),
923 from_hex("0x00000001"),
924 from_hex("0x00000001"),
925 from_hex("0x00000001"),
926 from_hex("0x00000001"),
927 from_hex("0x01393286"),
928 from_hex("0x00000001"),
929 from_hex("0x00000001"),
930 from_hex("0x00000001"),
931 from_hex("0x00000001"),
932 from_hex("0x00000001"),
933 from_hex("0x00000001"),
934 from_hex("0x00000001"),
935 from_hex("0x00000001"),
936 from_hex("0x00000001"),
937 from_hex("0x00000001"),
938 from_hex("0x00000001"),
939 from_hex("0x00000001"),
940 from_hex("0x00000001"),
941 from_hex("0x00000001"),
942 ],
943 vec![from_hex("0x00000001"),
944 from_hex("0x00000001"),
945 from_hex("0x00000001"),
946 from_hex("0x00000001"),
947 from_hex("0x00000001"),
948 from_hex("0x00000001"),
949 from_hex("0x00000001"),
950 from_hex("0x00000001"),
951 from_hex("0x00000001"),
952 from_hex("0x00000001"),
953 from_hex("0x46daee07"),
954 from_hex("0x00000001"),
955 from_hex("0x00000001"),
956 from_hex("0x00000001"),
957 from_hex("0x00000001"),
958 from_hex("0x00000001"),
959 from_hex("0x00000001"),
960 from_hex("0x00000001"),
961 from_hex("0x00000001"),
962 from_hex("0x00000001"),
963 from_hex("0x00000001"),
964 from_hex("0x00000001"),
965 from_hex("0x00000001"),
966 from_hex("0x00000001"),
967 ],
968 vec![from_hex("0x00000001"),
969 from_hex("0x00000001"),
970 from_hex("0x00000001"),
971 from_hex("0x00000001"),
972 from_hex("0x00000001"),
973 from_hex("0x00000001"),
974 from_hex("0x00000001"),
975 from_hex("0x00000001"),
976 from_hex("0x00000001"),
977 from_hex("0x00000001"),
978 from_hex("0x00000001"),
979 from_hex("0x065d7ba7"),
980 from_hex("0x00000001"),
981 from_hex("0x00000001"),
982 from_hex("0x00000001"),
983 from_hex("0x00000001"),
984 from_hex("0x00000001"),
985 from_hex("0x00000001"),
986 from_hex("0x00000001"),
987 from_hex("0x00000001"),
988 from_hex("0x00000001"),
989 from_hex("0x00000001"),
990 from_hex("0x00000001"),
991 from_hex("0x00000001"),
992 ],
993 vec![from_hex("0x00000001"),
994 from_hex("0x00000001"),
995 from_hex("0x00000001"),
996 from_hex("0x00000001"),
997 from_hex("0x00000001"),
998 from_hex("0x00000001"),
999 from_hex("0x00000001"),
1000 from_hex("0x00000001"),
1001 from_hex("0x00000001"),
1002 from_hex("0x00000001"),
1003 from_hex("0x00000001"),
1004 from_hex("0x00000001"),
1005 from_hex("0x52d72d70"),
1006 from_hex("0x00000001"),
1007 from_hex("0x00000001"),
1008 from_hex("0x00000001"),
1009 from_hex("0x00000001"),
1010 from_hex("0x00000001"),
1011 from_hex("0x00000001"),
1012 from_hex("0x00000001"),
1013 from_hex("0x00000001"),
1014 from_hex("0x00000001"),
1015 from_hex("0x00000001"),
1016 from_hex("0x00000001"),
1017 ],
1018 vec![from_hex("0x00000001"),
1019 from_hex("0x00000001"),
1020 from_hex("0x00000001"),
1021 from_hex("0x00000001"),
1022 from_hex("0x00000001"),
1023 from_hex("0x00000001"),
1024 from_hex("0x00000001"),
1025 from_hex("0x00000001"),
1026 from_hex("0x00000001"),
1027 from_hex("0x00000001"),
1028 from_hex("0x00000001"),
1029 from_hex("0x00000001"),
1030 from_hex("0x00000001"),
1031 from_hex("0x05dd05e1"),
1032 from_hex("0x00000001"),
1033 from_hex("0x00000001"),
1034 from_hex("0x00000001"),
1035 from_hex("0x00000001"),
1036 from_hex("0x00000001"),
1037 from_hex("0x00000001"),
1038 from_hex("0x00000001"),
1039 from_hex("0x00000001"),
1040 from_hex("0x00000001"),
1041 from_hex("0x00000001"),
1042 ],
1043 vec![from_hex("0x00000001"),
1044 from_hex("0x00000001"),
1045 from_hex("0x00000001"),
1046 from_hex("0x00000001"),
1047 from_hex("0x00000001"),
1048 from_hex("0x00000001"),
1049 from_hex("0x00000001"),
1050 from_hex("0x00000001"),
1051 from_hex("0x00000001"),
1052 from_hex("0x00000001"),
1053 from_hex("0x00000001"),
1054 from_hex("0x00000001"),
1055 from_hex("0x00000001"),
1056 from_hex("0x00000001"),
1057 from_hex("0x3bab4b64"),
1058 from_hex("0x00000001"),
1059 from_hex("0x00000001"),
1060 from_hex("0x00000001"),
1061 from_hex("0x00000001"),
1062 from_hex("0x00000001"),
1063 from_hex("0x00000001"),
1064 from_hex("0x00000001"),
1065 from_hex("0x00000001"),
1066 from_hex("0x00000001"),
1067 ],
1068 vec![from_hex("0x00000001"),
1069 from_hex("0x00000001"),
1070 from_hex("0x00000001"),
1071 from_hex("0x00000001"),
1072 from_hex("0x00000001"),
1073 from_hex("0x00000001"),
1074 from_hex("0x00000001"),
1075 from_hex("0x00000001"),
1076 from_hex("0x00000001"),
1077 from_hex("0x00000001"),
1078 from_hex("0x00000001"),
1079 from_hex("0x00000001"),
1080 from_hex("0x00000001"),
1081 from_hex("0x00000001"),
1082 from_hex("0x00000001"),
1083 from_hex("0x6ada3843"),
1084 from_hex("0x00000001"),
1085 from_hex("0x00000001"),
1086 from_hex("0x00000001"),
1087 from_hex("0x00000001"),
1088 from_hex("0x00000001"),
1089 from_hex("0x00000001"),
1090 from_hex("0x00000001"),
1091 from_hex("0x00000001"),
1092 ],
1093 vec![from_hex("0x00000001"),
1094 from_hex("0x00000001"),
1095 from_hex("0x00000001"),
1096 from_hex("0x00000001"),
1097 from_hex("0x00000001"),
1098 from_hex("0x00000001"),
1099 from_hex("0x00000001"),
1100 from_hex("0x00000001"),
1101 from_hex("0x00000001"),
1102 from_hex("0x00000001"),
1103 from_hex("0x00000001"),
1104 from_hex("0x00000001"),
1105 from_hex("0x00000001"),
1106 from_hex("0x00000001"),
1107 from_hex("0x00000001"),
1108 from_hex("0x00000001"),
1109 from_hex("0x2fc5fbed"),
1110 from_hex("0x00000001"),
1111 from_hex("0x00000001"),
1112 from_hex("0x00000001"),
1113 from_hex("0x00000001"),
1114 from_hex("0x00000001"),
1115 from_hex("0x00000001"),
1116 from_hex("0x00000001"),
1117 ],
1118 vec![from_hex("0x00000001"),
1119 from_hex("0x00000001"),
1120 from_hex("0x00000001"),
1121 from_hex("0x00000001"),
1122 from_hex("0x00000001"),
1123 from_hex("0x00000001"),
1124 from_hex("0x00000001"),
1125 from_hex("0x00000001"),
1126 from_hex("0x00000001"),
1127 from_hex("0x00000001"),
1128 from_hex("0x00000001"),
1129 from_hex("0x00000001"),
1130 from_hex("0x00000001"),
1131 from_hex("0x00000001"),
1132 from_hex("0x00000001"),
1133 from_hex("0x00000001"),
1134 from_hex("0x00000001"),
1135 from_hex("0x770d61b1"),
1136 from_hex("0x00000001"),
1137 from_hex("0x00000001"),
1138 from_hex("0x00000001"),
1139 from_hex("0x00000001"),
1140 from_hex("0x00000001"),
1141 from_hex("0x00000001"),
1142 ],
1143 vec![from_hex("0x00000001"),
1144 from_hex("0x00000001"),
1145 from_hex("0x00000001"),
1146 from_hex("0x00000001"),
1147 from_hex("0x00000001"),
1148 from_hex("0x00000001"),
1149 from_hex("0x00000001"),
1150 from_hex("0x00000001"),
1151 from_hex("0x00000001"),
1152 from_hex("0x00000001"),
1153 from_hex("0x00000001"),
1154 from_hex("0x00000001"),
1155 from_hex("0x00000001"),
1156 from_hex("0x00000001"),
1157 from_hex("0x00000001"),
1158 from_hex("0x00000001"),
1159 from_hex("0x00000001"),
1160 from_hex("0x00000001"),
1161 from_hex("0x5715aaea"),
1162 from_hex("0x00000001"),
1163 from_hex("0x00000001"),
1164 from_hex("0x00000001"),
1165 from_hex("0x00000001"),
1166 from_hex("0x00000001"),
1167 ],
1168 vec![from_hex("0x00000001"),
1169 from_hex("0x00000001"),
1170 from_hex("0x00000001"),
1171 from_hex("0x00000001"),
1172 from_hex("0x00000001"),
1173 from_hex("0x00000001"),
1174 from_hex("0x00000001"),
1175 from_hex("0x00000001"),
1176 from_hex("0x00000001"),
1177 from_hex("0x00000001"),
1178 from_hex("0x00000001"),
1179 from_hex("0x00000001"),
1180 from_hex("0x00000001"),
1181 from_hex("0x00000001"),
1182 from_hex("0x00000001"),
1183 from_hex("0x00000001"),
1184 from_hex("0x00000001"),
1185 from_hex("0x00000001"),
1186 from_hex("0x00000001"),
1187 from_hex("0x03ef0e91"),
1188 from_hex("0x00000001"),
1189 from_hex("0x00000001"),
1190 from_hex("0x00000001"),
1191 from_hex("0x00000001"),
1192 ],
1193 vec![from_hex("0x00000001"),
1194 from_hex("0x00000001"),
1195 from_hex("0x00000001"),
1196 from_hex("0x00000001"),
1197 from_hex("0x00000001"),
1198 from_hex("0x00000001"),
1199 from_hex("0x00000001"),
1200 from_hex("0x00000001"),
1201 from_hex("0x00000001"),
1202 from_hex("0x00000001"),
1203 from_hex("0x00000001"),
1204 from_hex("0x00000001"),
1205 from_hex("0x00000001"),
1206 from_hex("0x00000001"),
1207 from_hex("0x00000001"),
1208 from_hex("0x00000001"),
1209 from_hex("0x00000001"),
1210 from_hex("0x00000001"),
1211 from_hex("0x00000001"),
1212 from_hex("0x00000001"),
1213 from_hex("0x75b6c771"),
1214 from_hex("0x00000001"),
1215 from_hex("0x00000001"),
1216 from_hex("0x00000001"),
1217 ],
1218 vec![from_hex("0x00000001"),
1219 from_hex("0x00000001"),
1220 from_hex("0x00000001"),
1221 from_hex("0x00000001"),
1222 from_hex("0x00000001"),
1223 from_hex("0x00000001"),
1224 from_hex("0x00000001"),
1225 from_hex("0x00000001"),
1226 from_hex("0x00000001"),
1227 from_hex("0x00000001"),
1228 from_hex("0x00000001"),
1229 from_hex("0x00000001"),
1230 from_hex("0x00000001"),
1231 from_hex("0x00000001"),
1232 from_hex("0x00000001"),
1233 from_hex("0x00000001"),
1234 from_hex("0x00000001"),
1235 from_hex("0x00000001"),
1236 from_hex("0x00000001"),
1237 from_hex("0x00000001"),
1238 from_hex("0x00000001"),
1239 from_hex("0x242adf60"),
1240 from_hex("0x00000001"),
1241 from_hex("0x00000001"),
1242 ],
1243 vec![from_hex("0x00000001"),
1244 from_hex("0x00000001"),
1245 from_hex("0x00000001"),
1246 from_hex("0x00000001"),
1247 from_hex("0x00000001"),
1248 from_hex("0x00000001"),
1249 from_hex("0x00000001"),
1250 from_hex("0x00000001"),
1251 from_hex("0x00000001"),
1252 from_hex("0x00000001"),
1253 from_hex("0x00000001"),
1254 from_hex("0x00000001"),
1255 from_hex("0x00000001"),
1256 from_hex("0x00000001"),
1257 from_hex("0x00000001"),
1258 from_hex("0x00000001"),
1259 from_hex("0x00000001"),
1260 from_hex("0x00000001"),
1261 from_hex("0x00000001"),
1262 from_hex("0x00000001"),
1263 from_hex("0x00000001"),
1264 from_hex("0x00000001"),
1265 from_hex("0x00d0ca4d"),
1266 from_hex("0x00000001"),
1267 ],
1268 vec![from_hex("0x00000001"),
1269 from_hex("0x00000001"),
1270 from_hex("0x00000001"),
1271 from_hex("0x00000001"),
1272 from_hex("0x00000001"),
1273 from_hex("0x00000001"),
1274 from_hex("0x00000001"),
1275 from_hex("0x00000001"),
1276 from_hex("0x00000001"),
1277 from_hex("0x00000001"),
1278 from_hex("0x00000001"),
1279 from_hex("0x00000001"),
1280 from_hex("0x00000001"),
1281 from_hex("0x00000001"),
1282 from_hex("0x00000001"),
1283 from_hex("0x00000001"),
1284 from_hex("0x00000001"),
1285 from_hex("0x00000001"),
1286 from_hex("0x00000001"),
1287 from_hex("0x00000001"),
1288 from_hex("0x00000001"),
1289 from_hex("0x00000001"),
1290 from_hex("0x00000001"),
1291 from_hex("0x36c0e389"),
1292 ],
1293 ];
1294
1295 pub static ref RC24: Vec<Vec<Scalar>> = vec![
1296 vec![from_hex("0x0fa20c37"),
1297 from_hex("0x0795bb97"),
1298 from_hex("0x12c60b9c"),
1299 from_hex("0x0eabd88e"),
1300 from_hex("0x096485ca"),
1301 from_hex("0x07093527"),
1302 from_hex("0x1b1d4e50"),
1303 from_hex("0x30a01ace"),
1304 from_hex("0x3bd86f5a"),
1305 from_hex("0x69af7c28"),
1306 from_hex("0x3f94775f"),
1307 from_hex("0x731560e8"),
1308 from_hex("0x465a0ecd"),
1309 from_hex("0x574ef807"),
1310 from_hex("0x62fd4870"),
1311 from_hex("0x52ccfe44"),
1312 from_hex("0x14772b14"),
1313 from_hex("0x4dedf371"),
1314 from_hex("0x260acd7c"),
1315 from_hex("0x1f51dc58"),
1316 from_hex("0x75125532"),
1317 from_hex("0x686a4d7b"),
1318 from_hex("0x54bac179"),
1319 from_hex("0x31947706"),
1320 ],
1321 vec![from_hex("0x29799d3b"),
1322 from_hex("0x6e01ae90"),
1323 from_hex("0x203a7a64"),
1324 from_hex("0x4f7e25be"),
1325 from_hex("0x72503f77"),
1326 from_hex("0x45bd3b69"),
1327 from_hex("0x769bd6b4"),
1328 from_hex("0x5a867f08"),
1329 from_hex("0x4fdba082"),
1330 from_hex("0x251c4318"),
1331 from_hex("0x28f06201"),
1332 from_hex("0x6788c43a"),
1333 from_hex("0x4c6d6a99"),
1334 from_hex("0x357784a8"),
1335 from_hex("0x2abaf051"),
1336 from_hex("0x770f7de6"),
1337 from_hex("0x1794b784"),
1338 from_hex("0x4796c57a"),
1339 from_hex("0x724b7a10"),
1340 from_hex("0x449989a7"),
1341 from_hex("0x64935cf1"),
1342 from_hex("0x59e14aac"),
1343 from_hex("0x0e620bb8"),
1344 from_hex("0x3af5a33b"),
1345 ],
1346 vec![from_hex("0x4465cc0e"),
1347 from_hex("0x019df68f"),
1348 from_hex("0x4af8d068"),
1349 from_hex("0x08784f82"),
1350 from_hex("0x0cefdeae"),
1351 from_hex("0x6337a467"),
1352 from_hex("0x32fa7a16"),
1353 from_hex("0x486f62d6"),
1354 from_hex("0x386a7480"),
1355 from_hex("0x20f17c4a"),
1356 from_hex("0x54e50da8"),
1357 from_hex("0x2012cf03"),
1358 from_hex("0x5fe52950"),
1359 from_hex("0x09afb6cd"),
1360 from_hex("0x2523044e"),
1361 from_hex("0x5c54d0ef"),
1362 from_hex("0x71c01f3c"),
1363 from_hex("0x60b2c4fb"),
1364 from_hex("0x4050b379"),
1365 from_hex("0x5e6a70a5"),
1366 from_hex("0x418543f5"),
1367 from_hex("0x71debe56"),
1368 from_hex("0x1aad2994"),
1369 from_hex("0x3368a483"),
1370 ],
1371 vec![from_hex("0x07a86f3a"),
1372 from_hex("0x5ea43ff1"),
1373 from_hex("0x2443780e"),
1374 from_hex("0x4ce444f7"),
1375 from_hex("0x146f9882"),
1376 from_hex("0x3132b089"),
1377 from_hex("0x197ea856"),
1378 from_hex("0x667030c3"),
1379 from_hex("0x2317d5dc"),
1380 from_hex("0x0c2c48a7"),
1381 from_hex("0x56b2df66"),
1382 from_hex("0x67bd81e9"),
1383 from_hex("0x4fcdfb19"),
1384 from_hex("0x4baaef32"),
1385 from_hex("0x0328d30a"),
1386 from_hex("0x6235760d"),
1387 from_hex("0x12432912"),
1388 from_hex("0x0a49e258"),
1389 from_hex("0x030e1b70"),
1390 from_hex("0x48caeb03"),
1391 from_hex("0x49e4d9e9"),
1392 from_hex("0x1051b5c6"),
1393 from_hex("0x6a36dbbe"),
1394 from_hex("0x4cff27a5"),
1395 ],
1396 vec![from_hex("0x1da78ec2"),
1397 from_hex("0x00000000"),
1398 from_hex("0x00000000"),
1399 from_hex("0x00000000"),
1400 from_hex("0x00000000"),
1401 from_hex("0x00000000"),
1402 from_hex("0x00000000"),
1403 from_hex("0x00000000"),
1404 from_hex("0x00000000"),
1405 from_hex("0x00000000"),
1406 from_hex("0x00000000"),
1407 from_hex("0x00000000"),
1408 from_hex("0x00000000"),
1409 from_hex("0x00000000"),
1410 from_hex("0x00000000"),
1411 from_hex("0x00000000"),
1412 from_hex("0x00000000"),
1413 from_hex("0x00000000"),
1414 from_hex("0x00000000"),
1415 from_hex("0x00000000"),
1416 from_hex("0x00000000"),
1417 from_hex("0x00000000"),
1418 from_hex("0x00000000"),
1419 from_hex("0x00000000"),
1420 ],
1421 vec![from_hex("0x730b0924"),
1422 from_hex("0x00000000"),
1423 from_hex("0x00000000"),
1424 from_hex("0x00000000"),
1425 from_hex("0x00000000"),
1426 from_hex("0x00000000"),
1427 from_hex("0x00000000"),
1428 from_hex("0x00000000"),
1429 from_hex("0x00000000"),
1430 from_hex("0x00000000"),
1431 from_hex("0x00000000"),
1432 from_hex("0x00000000"),
1433 from_hex("0x00000000"),
1434 from_hex("0x00000000"),
1435 from_hex("0x00000000"),
1436 from_hex("0x00000000"),
1437 from_hex("0x00000000"),
1438 from_hex("0x00000000"),
1439 from_hex("0x00000000"),
1440 from_hex("0x00000000"),
1441 from_hex("0x00000000"),
1442 from_hex("0x00000000"),
1443 from_hex("0x00000000"),
1444 from_hex("0x00000000"),
1445 ],
1446 vec![from_hex("0x3eb56cf3"),
1447 from_hex("0x00000000"),
1448 from_hex("0x00000000"),
1449 from_hex("0x00000000"),
1450 from_hex("0x00000000"),
1451 from_hex("0x00000000"),
1452 from_hex("0x00000000"),
1453 from_hex("0x00000000"),
1454 from_hex("0x00000000"),
1455 from_hex("0x00000000"),
1456 from_hex("0x00000000"),
1457 from_hex("0x00000000"),
1458 from_hex("0x00000000"),
1459 from_hex("0x00000000"),
1460 from_hex("0x00000000"),
1461 from_hex("0x00000000"),
1462 from_hex("0x00000000"),
1463 from_hex("0x00000000"),
1464 from_hex("0x00000000"),
1465 from_hex("0x00000000"),
1466 from_hex("0x00000000"),
1467 from_hex("0x00000000"),
1468 from_hex("0x00000000"),
1469 from_hex("0x00000000"),
1470 ],
1471 vec![from_hex("0x5bd93073"),
1472 from_hex("0x00000000"),
1473 from_hex("0x00000000"),
1474 from_hex("0x00000000"),
1475 from_hex("0x00000000"),
1476 from_hex("0x00000000"),
1477 from_hex("0x00000000"),
1478 from_hex("0x00000000"),
1479 from_hex("0x00000000"),
1480 from_hex("0x00000000"),
1481 from_hex("0x00000000"),
1482 from_hex("0x00000000"),
1483 from_hex("0x00000000"),
1484 from_hex("0x00000000"),
1485 from_hex("0x00000000"),
1486 from_hex("0x00000000"),
1487 from_hex("0x00000000"),
1488 from_hex("0x00000000"),
1489 from_hex("0x00000000"),
1490 from_hex("0x00000000"),
1491 from_hex("0x00000000"),
1492 from_hex("0x00000000"),
1493 from_hex("0x00000000"),
1494 from_hex("0x00000000"),
1495 ],
1496 vec![from_hex("0x37204c97"),
1497 from_hex("0x00000000"),
1498 from_hex("0x00000000"),
1499 from_hex("0x00000000"),
1500 from_hex("0x00000000"),
1501 from_hex("0x00000000"),
1502 from_hex("0x00000000"),
1503 from_hex("0x00000000"),
1504 from_hex("0x00000000"),
1505 from_hex("0x00000000"),
1506 from_hex("0x00000000"),
1507 from_hex("0x00000000"),
1508 from_hex("0x00000000"),
1509 from_hex("0x00000000"),
1510 from_hex("0x00000000"),
1511 from_hex("0x00000000"),
1512 from_hex("0x00000000"),
1513 from_hex("0x00000000"),
1514 from_hex("0x00000000"),
1515 from_hex("0x00000000"),
1516 from_hex("0x00000000"),
1517 from_hex("0x00000000"),
1518 from_hex("0x00000000"),
1519 from_hex("0x00000000"),
1520 ],
1521 vec![from_hex("0x51642d89"),
1522 from_hex("0x00000000"),
1523 from_hex("0x00000000"),
1524 from_hex("0x00000000"),
1525 from_hex("0x00000000"),
1526 from_hex("0x00000000"),
1527 from_hex("0x00000000"),
1528 from_hex("0x00000000"),
1529 from_hex("0x00000000"),
1530 from_hex("0x00000000"),
1531 from_hex("0x00000000"),
1532 from_hex("0x00000000"),
1533 from_hex("0x00000000"),
1534 from_hex("0x00000000"),
1535 from_hex("0x00000000"),
1536 from_hex("0x00000000"),
1537 from_hex("0x00000000"),
1538 from_hex("0x00000000"),
1539 from_hex("0x00000000"),
1540 from_hex("0x00000000"),
1541 from_hex("0x00000000"),
1542 from_hex("0x00000000"),
1543 from_hex("0x00000000"),
1544 from_hex("0x00000000"),
1545 ],
1546 vec![from_hex("0x66e943e8"),
1547 from_hex("0x00000000"),
1548 from_hex("0x00000000"),
1549 from_hex("0x00000000"),
1550 from_hex("0x00000000"),
1551 from_hex("0x00000000"),
1552 from_hex("0x00000000"),
1553 from_hex("0x00000000"),
1554 from_hex("0x00000000"),
1555 from_hex("0x00000000"),
1556 from_hex("0x00000000"),
1557 from_hex("0x00000000"),
1558 from_hex("0x00000000"),
1559 from_hex("0x00000000"),
1560 from_hex("0x00000000"),
1561 from_hex("0x00000000"),
1562 from_hex("0x00000000"),
1563 from_hex("0x00000000"),
1564 from_hex("0x00000000"),
1565 from_hex("0x00000000"),
1566 from_hex("0x00000000"),
1567 from_hex("0x00000000"),
1568 from_hex("0x00000000"),
1569 from_hex("0x00000000"),
1570 ],
1571 vec![from_hex("0x1a3e72de"),
1572 from_hex("0x00000000"),
1573 from_hex("0x00000000"),
1574 from_hex("0x00000000"),
1575 from_hex("0x00000000"),
1576 from_hex("0x00000000"),
1577 from_hex("0x00000000"),
1578 from_hex("0x00000000"),
1579 from_hex("0x00000000"),
1580 from_hex("0x00000000"),
1581 from_hex("0x00000000"),
1582 from_hex("0x00000000"),
1583 from_hex("0x00000000"),
1584 from_hex("0x00000000"),
1585 from_hex("0x00000000"),
1586 from_hex("0x00000000"),
1587 from_hex("0x00000000"),
1588 from_hex("0x00000000"),
1589 from_hex("0x00000000"),
1590 from_hex("0x00000000"),
1591 from_hex("0x00000000"),
1592 from_hex("0x00000000"),
1593 from_hex("0x00000000"),
1594 from_hex("0x00000000"),
1595 ],
1596 vec![from_hex("0x70beb1e9"),
1597 from_hex("0x00000000"),
1598 from_hex("0x00000000"),
1599 from_hex("0x00000000"),
1600 from_hex("0x00000000"),
1601 from_hex("0x00000000"),
1602 from_hex("0x00000000"),
1603 from_hex("0x00000000"),
1604 from_hex("0x00000000"),
1605 from_hex("0x00000000"),
1606 from_hex("0x00000000"),
1607 from_hex("0x00000000"),
1608 from_hex("0x00000000"),
1609 from_hex("0x00000000"),
1610 from_hex("0x00000000"),
1611 from_hex("0x00000000"),
1612 from_hex("0x00000000"),
1613 from_hex("0x00000000"),
1614 from_hex("0x00000000"),
1615 from_hex("0x00000000"),
1616 from_hex("0x00000000"),
1617 from_hex("0x00000000"),
1618 from_hex("0x00000000"),
1619 from_hex("0x00000000"),
1620 ],
1621 vec![from_hex("0x30ff3b3f"),
1622 from_hex("0x00000000"),
1623 from_hex("0x00000000"),
1624 from_hex("0x00000000"),
1625 from_hex("0x00000000"),
1626 from_hex("0x00000000"),
1627 from_hex("0x00000000"),
1628 from_hex("0x00000000"),
1629 from_hex("0x00000000"),
1630 from_hex("0x00000000"),
1631 from_hex("0x00000000"),
1632 from_hex("0x00000000"),
1633 from_hex("0x00000000"),
1634 from_hex("0x00000000"),
1635 from_hex("0x00000000"),
1636 from_hex("0x00000000"),
1637 from_hex("0x00000000"),
1638 from_hex("0x00000000"),
1639 from_hex("0x00000000"),
1640 from_hex("0x00000000"),
1641 from_hex("0x00000000"),
1642 from_hex("0x00000000"),
1643 from_hex("0x00000000"),
1644 from_hex("0x00000000"),
1645 ],
1646 vec![from_hex("0x4240d1c4"),
1647 from_hex("0x00000000"),
1648 from_hex("0x00000000"),
1649 from_hex("0x00000000"),
1650 from_hex("0x00000000"),
1651 from_hex("0x00000000"),
1652 from_hex("0x00000000"),
1653 from_hex("0x00000000"),
1654 from_hex("0x00000000"),
1655 from_hex("0x00000000"),
1656 from_hex("0x00000000"),
1657 from_hex("0x00000000"),
1658 from_hex("0x00000000"),
1659 from_hex("0x00000000"),
1660 from_hex("0x00000000"),
1661 from_hex("0x00000000"),
1662 from_hex("0x00000000"),
1663 from_hex("0x00000000"),
1664 from_hex("0x00000000"),
1665 from_hex("0x00000000"),
1666 from_hex("0x00000000"),
1667 from_hex("0x00000000"),
1668 from_hex("0x00000000"),
1669 from_hex("0x00000000"),
1670 ],
1671 vec![from_hex("0x12647b8d"),
1672 from_hex("0x00000000"),
1673 from_hex("0x00000000"),
1674 from_hex("0x00000000"),
1675 from_hex("0x00000000"),
1676 from_hex("0x00000000"),
1677 from_hex("0x00000000"),
1678 from_hex("0x00000000"),
1679 from_hex("0x00000000"),
1680 from_hex("0x00000000"),
1681 from_hex("0x00000000"),
1682 from_hex("0x00000000"),
1683 from_hex("0x00000000"),
1684 from_hex("0x00000000"),
1685 from_hex("0x00000000"),
1686 from_hex("0x00000000"),
1687 from_hex("0x00000000"),
1688 from_hex("0x00000000"),
1689 from_hex("0x00000000"),
1690 from_hex("0x00000000"),
1691 from_hex("0x00000000"),
1692 from_hex("0x00000000"),
1693 from_hex("0x00000000"),
1694 from_hex("0x00000000"),
1695 ],
1696 vec![from_hex("0x65d86965"),
1697 from_hex("0x00000000"),
1698 from_hex("0x00000000"),
1699 from_hex("0x00000000"),
1700 from_hex("0x00000000"),
1701 from_hex("0x00000000"),
1702 from_hex("0x00000000"),
1703 from_hex("0x00000000"),
1704 from_hex("0x00000000"),
1705 from_hex("0x00000000"),
1706 from_hex("0x00000000"),
1707 from_hex("0x00000000"),
1708 from_hex("0x00000000"),
1709 from_hex("0x00000000"),
1710 from_hex("0x00000000"),
1711 from_hex("0x00000000"),
1712 from_hex("0x00000000"),
1713 from_hex("0x00000000"),
1714 from_hex("0x00000000"),
1715 from_hex("0x00000000"),
1716 from_hex("0x00000000"),
1717 from_hex("0x00000000"),
1718 from_hex("0x00000000"),
1719 from_hex("0x00000000"),
1720 ],
1721 vec![from_hex("0x49ef4d7c"),
1722 from_hex("0x00000000"),
1723 from_hex("0x00000000"),
1724 from_hex("0x00000000"),
1725 from_hex("0x00000000"),
1726 from_hex("0x00000000"),
1727 from_hex("0x00000000"),
1728 from_hex("0x00000000"),
1729 from_hex("0x00000000"),
1730 from_hex("0x00000000"),
1731 from_hex("0x00000000"),
1732 from_hex("0x00000000"),
1733 from_hex("0x00000000"),
1734 from_hex("0x00000000"),
1735 from_hex("0x00000000"),
1736 from_hex("0x00000000"),
1737 from_hex("0x00000000"),
1738 from_hex("0x00000000"),
1739 from_hex("0x00000000"),
1740 from_hex("0x00000000"),
1741 from_hex("0x00000000"),
1742 from_hex("0x00000000"),
1743 from_hex("0x00000000"),
1744 from_hex("0x00000000"),
1745 ],
1746 vec![from_hex("0x47785697"),
1747 from_hex("0x00000000"),
1748 from_hex("0x00000000"),
1749 from_hex("0x00000000"),
1750 from_hex("0x00000000"),
1751 from_hex("0x00000000"),
1752 from_hex("0x00000000"),
1753 from_hex("0x00000000"),
1754 from_hex("0x00000000"),
1755 from_hex("0x00000000"),
1756 from_hex("0x00000000"),
1757 from_hex("0x00000000"),
1758 from_hex("0x00000000"),
1759 from_hex("0x00000000"),
1760 from_hex("0x00000000"),
1761 from_hex("0x00000000"),
1762 from_hex("0x00000000"),
1763 from_hex("0x00000000"),
1764 from_hex("0x00000000"),
1765 from_hex("0x00000000"),
1766 from_hex("0x00000000"),
1767 from_hex("0x00000000"),
1768 from_hex("0x00000000"),
1769 from_hex("0x00000000"),
1770 ],
1771 vec![from_hex("0x46b3969f"),
1772 from_hex("0x00000000"),
1773 from_hex("0x00000000"),
1774 from_hex("0x00000000"),
1775 from_hex("0x00000000"),
1776 from_hex("0x00000000"),
1777 from_hex("0x00000000"),
1778 from_hex("0x00000000"),
1779 from_hex("0x00000000"),
1780 from_hex("0x00000000"),
1781 from_hex("0x00000000"),
1782 from_hex("0x00000000"),
1783 from_hex("0x00000000"),
1784 from_hex("0x00000000"),
1785 from_hex("0x00000000"),
1786 from_hex("0x00000000"),
1787 from_hex("0x00000000"),
1788 from_hex("0x00000000"),
1789 from_hex("0x00000000"),
1790 from_hex("0x00000000"),
1791 from_hex("0x00000000"),
1792 from_hex("0x00000000"),
1793 from_hex("0x00000000"),
1794 from_hex("0x00000000"),
1795 ],
1796 vec![from_hex("0x5c7b7a0e"),
1797 from_hex("0x00000000"),
1798 from_hex("0x00000000"),
1799 from_hex("0x00000000"),
1800 from_hex("0x00000000"),
1801 from_hex("0x00000000"),
1802 from_hex("0x00000000"),
1803 from_hex("0x00000000"),
1804 from_hex("0x00000000"),
1805 from_hex("0x00000000"),
1806 from_hex("0x00000000"),
1807 from_hex("0x00000000"),
1808 from_hex("0x00000000"),
1809 from_hex("0x00000000"),
1810 from_hex("0x00000000"),
1811 from_hex("0x00000000"),
1812 from_hex("0x00000000"),
1813 from_hex("0x00000000"),
1814 from_hex("0x00000000"),
1815 from_hex("0x00000000"),
1816 from_hex("0x00000000"),
1817 from_hex("0x00000000"),
1818 from_hex("0x00000000"),
1819 from_hex("0x00000000"),
1820 ],
1821 vec![from_hex("0x7078fc60"),
1822 from_hex("0x00000000"),
1823 from_hex("0x00000000"),
1824 from_hex("0x00000000"),
1825 from_hex("0x00000000"),
1826 from_hex("0x00000000"),
1827 from_hex("0x00000000"),
1828 from_hex("0x00000000"),
1829 from_hex("0x00000000"),
1830 from_hex("0x00000000"),
1831 from_hex("0x00000000"),
1832 from_hex("0x00000000"),
1833 from_hex("0x00000000"),
1834 from_hex("0x00000000"),
1835 from_hex("0x00000000"),
1836 from_hex("0x00000000"),
1837 from_hex("0x00000000"),
1838 from_hex("0x00000000"),
1839 from_hex("0x00000000"),
1840 from_hex("0x00000000"),
1841 from_hex("0x00000000"),
1842 from_hex("0x00000000"),
1843 from_hex("0x00000000"),
1844 from_hex("0x00000000"),
1845 ],
1846 vec![from_hex("0x4f22d482"),
1847 from_hex("0x00000000"),
1848 from_hex("0x00000000"),
1849 from_hex("0x00000000"),
1850 from_hex("0x00000000"),
1851 from_hex("0x00000000"),
1852 from_hex("0x00000000"),
1853 from_hex("0x00000000"),
1854 from_hex("0x00000000"),
1855 from_hex("0x00000000"),
1856 from_hex("0x00000000"),
1857 from_hex("0x00000000"),
1858 from_hex("0x00000000"),
1859 from_hex("0x00000000"),
1860 from_hex("0x00000000"),
1861 from_hex("0x00000000"),
1862 from_hex("0x00000000"),
1863 from_hex("0x00000000"),
1864 from_hex("0x00000000"),
1865 from_hex("0x00000000"),
1866 from_hex("0x00000000"),
1867 from_hex("0x00000000"),
1868 from_hex("0x00000000"),
1869 from_hex("0x00000000"),
1870 ],
1871 vec![from_hex("0x482a9aee"),
1872 from_hex("0x00000000"),
1873 from_hex("0x00000000"),
1874 from_hex("0x00000000"),
1875 from_hex("0x00000000"),
1876 from_hex("0x00000000"),
1877 from_hex("0x00000000"),
1878 from_hex("0x00000000"),
1879 from_hex("0x00000000"),
1880 from_hex("0x00000000"),
1881 from_hex("0x00000000"),
1882 from_hex("0x00000000"),
1883 from_hex("0x00000000"),
1884 from_hex("0x00000000"),
1885 from_hex("0x00000000"),
1886 from_hex("0x00000000"),
1887 from_hex("0x00000000"),
1888 from_hex("0x00000000"),
1889 from_hex("0x00000000"),
1890 from_hex("0x00000000"),
1891 from_hex("0x00000000"),
1892 from_hex("0x00000000"),
1893 from_hex("0x00000000"),
1894 from_hex("0x00000000"),
1895 ],
1896 vec![from_hex("0x6beb839d"),
1897 from_hex("0x00000000"),
1898 from_hex("0x00000000"),
1899 from_hex("0x00000000"),
1900 from_hex("0x00000000"),
1901 from_hex("0x00000000"),
1902 from_hex("0x00000000"),
1903 from_hex("0x00000000"),
1904 from_hex("0x00000000"),
1905 from_hex("0x00000000"),
1906 from_hex("0x00000000"),
1907 from_hex("0x00000000"),
1908 from_hex("0x00000000"),
1909 from_hex("0x00000000"),
1910 from_hex("0x00000000"),
1911 from_hex("0x00000000"),
1912 from_hex("0x00000000"),
1913 from_hex("0x00000000"),
1914 from_hex("0x00000000"),
1915 from_hex("0x00000000"),
1916 from_hex("0x00000000"),
1917 from_hex("0x00000000"),
1918 from_hex("0x00000000"),
1919 from_hex("0x00000000"),
1920 ],
1921 vec![from_hex("0x032959ad"),
1922 from_hex("0x2b18af6a"),
1923 from_hex("0x55d3dc8c"),
1924 from_hex("0x43bd26c8"),
1925 from_hex("0x0c41595f"),
1926 from_hex("0x7048d2e2"),
1927 from_hex("0x00db8983"),
1928 from_hex("0x2af563d7"),
1929 from_hex("0x6e84758f"),
1930 from_hex("0x611d64e1"),
1931 from_hex("0x1f9977e2"),
1932 from_hex("0x64163a0a"),
1933 from_hex("0x5c5fc27b"),
1934 from_hex("0x02e22561"),
1935 from_hex("0x3a2d75db"),
1936 from_hex("0x1ba7b71a"),
1937 from_hex("0x34343f64"),
1938 from_hex("0x7406b35d"),
1939 from_hex("0x19df8299"),
1940 from_hex("0x6ff4480a"),
1941 from_hex("0x514a81c8"),
1942 from_hex("0x57ab52ce"),
1943 from_hex("0x6ad69f52"),
1944 from_hex("0x3e0c0e0d"),
1945 ],
1946 vec![from_hex("0x48126114"),
1947 from_hex("0x2a9d62cc"),
1948 from_hex("0x17441f23"),
1949 from_hex("0x485762bb"),
1950 from_hex("0x2f218674"),
1951 from_hex("0x06fdc64a"),
1952 from_hex("0x0861b7f2"),
1953 from_hex("0x3b36eee6"),
1954 from_hex("0x70a11040"),
1955 from_hex("0x04b31737"),
1956 from_hex("0x3722a872"),
1957 from_hex("0x2a351c63"),
1958 from_hex("0x623560dc"),
1959 from_hex("0x62584ab2"),
1960 from_hex("0x382c7c04"),
1961 from_hex("0x3bf9edc7"),
1962 from_hex("0x0e38fe51"),
1963 from_hex("0x376f3b10"),
1964 from_hex("0x5381e178"),
1965 from_hex("0x3afc61c7"),
1966 from_hex("0x5c1bcb4d"),
1967 from_hex("0x6643ce1f"),
1968 from_hex("0x2d0af1c1"),
1969 from_hex("0x08f583cc"),
1970 ],
1971 vec![from_hex("0x5d6ff60f"),
1972 from_hex("0x6324c1e5"),
1973 from_hex("0x74412fb7"),
1974 from_hex("0x70c0192e"),
1975 from_hex("0x0b72f141"),
1976 from_hex("0x4067a111"),
1977 from_hex("0x57388c4f"),
1978 from_hex("0x351009ec"),
1979 from_hex("0x0974c159"),
1980 from_hex("0x539a58b3"),
1981 from_hex("0x038c0cff"),
1982 from_hex("0x476c0392"),
1983 from_hex("0x3f7bc15f"),
1984 from_hex("0x4491dd2c"),
1985 from_hex("0x4d1fef55"),
1986 from_hex("0x04936ae3"),
1987 from_hex("0x58214dd4"),
1988 from_hex("0x683c6aad"),
1989 from_hex("0x1b42f16b"),
1990 from_hex("0x6dc79135"),
1991 from_hex("0x2d4e71ec"),
1992 from_hex("0x3e2946ea"),
1993 from_hex("0x59dce8db"),
1994 from_hex("0x6cee892a"),
1995 ],
1996 vec![from_hex("0x47f07350"),
1997 from_hex("0x7106ce93"),
1998 from_hex("0x3bd4a7a9"),
1999 from_hex("0x2bfe636a"),
2000 from_hex("0x430011e9"),
2001 from_hex("0x001cd66a"),
2002 from_hex("0x307faf5b"),
2003 from_hex("0x0d9ef3fe"),
2004 from_hex("0x6d40043a"),
2005 from_hex("0x2e8f470c"),
2006 from_hex("0x1b6865e8"),
2007 from_hex("0x0c0e6c01"),
2008 from_hex("0x4d41981f"),
2009 from_hex("0x423b9d3d"),
2010 from_hex("0x410408cc"),
2011 from_hex("0x263f0884"),
2012 from_hex("0x5311bbd0"),
2013 from_hex("0x4dae58d8"),
2014 from_hex("0x30401cea"),
2015 from_hex("0x09afa575"),
2016 from_hex("0x4b3d5b42"),
2017 from_hex("0x63ac0b37"),
2018 from_hex("0x5fe5bb14"),
2019 from_hex("0x5244e9d4"),
2020 ],
2021 ];
2022
2023 pub static ref POSEIDON2_BABYBEAR_16_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(16, 7, 8, 13, &MAT_DIAG16_M_1, &MAT_INTERNAL16, &RC16));
2024
2025 pub static ref POSEIDON2_BABYBEAR_24_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(24, 7, 8, 21, &MAT_DIAG24_M_1, &MAT_INTERNAL24, &RC24));
2026
2027
2028}