1use super::poseidon2_params::Poseidon2Params;
2use crate::fields::{babybear::FpBabyBear, utils::from_hex};
3
4use lazy_static::lazy_static;
5use std::sync::Arc;
6
7type Scalar = FpBabyBear;
8
9lazy_static! {
10 pub static ref MAT_DIAG16_M_1: Vec<Scalar> = vec![
11 from_hex("0x0a632d94"),
12 from_hex("0x6db657b7"),
13 from_hex("0x56fbdc9e"),
14 from_hex("0x052b3d8a"),
15 from_hex("0x33745201"),
16 from_hex("0x5c03108c"),
17 from_hex("0x0beba37b"),
18 from_hex("0x258c2e8b"),
19 from_hex("0x12029f39"),
20 from_hex("0x694909ce"),
21 from_hex("0x6d231724"),
22 from_hex("0x21c3b222"),
23 from_hex("0x3c0904a5"),
24 from_hex("0x01d6acda"),
25 from_hex("0x27705c83"),
26 from_hex("0x5231c802"),
27 ];
28 pub static ref MAT_INTERNAL16: Vec<Vec<Scalar>> = vec![
29 vec![
30 from_hex("0x0a632d95"),
31 from_hex("0x00000001"),
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 ],
47 vec![
48 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![
66 from_hex("0x00000001"),
67 from_hex("0x00000001"),
68 from_hex("0x56fbdc9f"),
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 from_hex("0x00000001"),
82 ],
83 vec![
84 from_hex("0x00000001"),
85 from_hex("0x00000001"),
86 from_hex("0x00000001"),
87 from_hex("0x052b3d8b"),
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 from_hex("0x00000001"),
99 from_hex("0x00000001"),
100 ],
101 vec![
102 from_hex("0x00000001"),
103 from_hex("0x00000001"),
104 from_hex("0x00000001"),
105 from_hex("0x00000001"),
106 from_hex("0x33745202"),
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 from_hex("0x00000001"),
116 from_hex("0x00000001"),
117 from_hex("0x00000001"),
118 ],
119 vec![
120 from_hex("0x00000001"),
121 from_hex("0x00000001"),
122 from_hex("0x00000001"),
123 from_hex("0x00000001"),
124 from_hex("0x00000001"),
125 from_hex("0x5c03108d"),
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 from_hex("0x00000001"),
133 from_hex("0x00000001"),
134 from_hex("0x00000001"),
135 from_hex("0x00000001"),
136 ],
137 vec![
138 from_hex("0x00000001"),
139 from_hex("0x00000001"),
140 from_hex("0x00000001"),
141 from_hex("0x00000001"),
142 from_hex("0x00000001"),
143 from_hex("0x00000001"),
144 from_hex("0x0beba37c"),
145 from_hex("0x00000001"),
146 from_hex("0x00000001"),
147 from_hex("0x00000001"),
148 from_hex("0x00000001"),
149 from_hex("0x00000001"),
150 from_hex("0x00000001"),
151 from_hex("0x00000001"),
152 from_hex("0x00000001"),
153 from_hex("0x00000001"),
154 ],
155 vec![
156 from_hex("0x00000001"),
157 from_hex("0x00000001"),
158 from_hex("0x00000001"),
159 from_hex("0x00000001"),
160 from_hex("0x00000001"),
161 from_hex("0x00000001"),
162 from_hex("0x00000001"),
163 from_hex("0x258c2e8c"),
164 from_hex("0x00000001"),
165 from_hex("0x00000001"),
166 from_hex("0x00000001"),
167 from_hex("0x00000001"),
168 from_hex("0x00000001"),
169 from_hex("0x00000001"),
170 from_hex("0x00000001"),
171 from_hex("0x00000001"),
172 ],
173 vec![
174 from_hex("0x00000001"),
175 from_hex("0x00000001"),
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("0x12029f3a"),
183 from_hex("0x00000001"),
184 from_hex("0x00000001"),
185 from_hex("0x00000001"),
186 from_hex("0x00000001"),
187 from_hex("0x00000001"),
188 from_hex("0x00000001"),
189 from_hex("0x00000001"),
190 ],
191 vec![
192 from_hex("0x00000001"),
193 from_hex("0x00000001"),
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 from_hex("0x00000001"),
201 from_hex("0x694909cf"),
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 ],
209 vec![
210 from_hex("0x00000001"),
211 from_hex("0x00000001"),
212 from_hex("0x00000001"),
213 from_hex("0x00000001"),
214 from_hex("0x00000001"),
215 from_hex("0x00000001"),
216 from_hex("0x00000001"),
217 from_hex("0x00000001"),
218 from_hex("0x00000001"),
219 from_hex("0x00000001"),
220 from_hex("0x6d231725"),
221 from_hex("0x00000001"),
222 from_hex("0x00000001"),
223 from_hex("0x00000001"),
224 from_hex("0x00000001"),
225 from_hex("0x00000001"),
226 ],
227 vec![
228 from_hex("0x00000001"),
229 from_hex("0x00000001"),
230 from_hex("0x00000001"),
231 from_hex("0x00000001"),
232 from_hex("0x00000001"),
233 from_hex("0x00000001"),
234 from_hex("0x00000001"),
235 from_hex("0x00000001"),
236 from_hex("0x00000001"),
237 from_hex("0x00000001"),
238 from_hex("0x00000001"),
239 from_hex("0x21c3b223"),
240 from_hex("0x00000001"),
241 from_hex("0x00000001"),
242 from_hex("0x00000001"),
243 from_hex("0x00000001"),
244 ],
245 vec![
246 from_hex("0x00000001"),
247 from_hex("0x00000001"),
248 from_hex("0x00000001"),
249 from_hex("0x00000001"),
250 from_hex("0x00000001"),
251 from_hex("0x00000001"),
252 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("0x3c0904a6"),
259 from_hex("0x00000001"),
260 from_hex("0x00000001"),
261 from_hex("0x00000001"),
262 ],
263 vec![
264 from_hex("0x00000001"),
265 from_hex("0x00000001"),
266 from_hex("0x00000001"),
267 from_hex("0x00000001"),
268 from_hex("0x00000001"),
269 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("0x01d6acdb"),
278 from_hex("0x00000001"),
279 from_hex("0x00000001"),
280 ],
281 vec![
282 from_hex("0x00000001"),
283 from_hex("0x00000001"),
284 from_hex("0x00000001"),
285 from_hex("0x00000001"),
286 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("0x27705c84"),
297 from_hex("0x00000001"),
298 ],
299 vec![
300 from_hex("0x00000001"),
301 from_hex("0x00000001"),
302 from_hex("0x00000001"),
303 from_hex("0x00000001"),
304 from_hex("0x00000001"),
305 from_hex("0x00000001"),
306 from_hex("0x00000001"),
307 from_hex("0x00000001"),
308 from_hex("0x00000001"),
309 from_hex("0x00000001"),
310 from_hex("0x00000001"),
311 from_hex("0x00000001"),
312 from_hex("0x00000001"),
313 from_hex("0x00000001"),
314 from_hex("0x00000001"),
315 from_hex("0x5231c803"),
316 ],
317 ];
318 pub static ref RC16: Vec<Vec<Scalar>> = vec![
319 vec![
320 from_hex("0x69cbb6af"),
321 from_hex("0x46ad93f9"),
322 from_hex("0x60a00f4e"),
323 from_hex("0x6b1297cd"),
324 from_hex("0x23189afe"),
325 from_hex("0x732e7bef"),
326 from_hex("0x72c246de"),
327 from_hex("0x2c941900"),
328 from_hex("0x0557eede"),
329 from_hex("0x1580496f"),
330 from_hex("0x3a3ea77b"),
331 from_hex("0x54f3f271"),
332 from_hex("0x0f49b029"),
333 from_hex("0x47872fe1"),
334 from_hex("0x221e2e36"),
335 from_hex("0x1ab7202e"),
336 ],
337 vec![
338 from_hex("0x487779a6"),
339 from_hex("0x3851c9d8"),
340 from_hex("0x38dc17c0"),
341 from_hex("0x209f8849"),
342 from_hex("0x268dcee8"),
343 from_hex("0x350c48da"),
344 from_hex("0x5b9ad32e"),
345 from_hex("0x0523272b"),
346 from_hex("0x3f89055b"),
347 from_hex("0x01e894b2"),
348 from_hex("0x13ddedde"),
349 from_hex("0x1b2ef334"),
350 from_hex("0x7507d8b4"),
351 from_hex("0x6ceeb94e"),
352 from_hex("0x52eb6ba2"),
353 from_hex("0x50642905"),
354 ],
355 vec![
356 from_hex("0x05453f3f"),
357 from_hex("0x06349efc"),
358 from_hex("0x6922787c"),
359 from_hex("0x04bfff9c"),
360 from_hex("0x768c714a"),
361 from_hex("0x3e9ff21a"),
362 from_hex("0x15737c9c"),
363 from_hex("0x2229c807"),
364 from_hex("0x0d47f88c"),
365 from_hex("0x097e0ecc"),
366 from_hex("0x27eadba0"),
367 from_hex("0x2d7d29e4"),
368 from_hex("0x3502aaa0"),
369 from_hex("0x0f475fd7"),
370 from_hex("0x29fbda49"),
371 from_hex("0x018afffd"),
372 ],
373 vec![
374 from_hex("0x0315b618"),
375 from_hex("0x6d4497d1"),
376 from_hex("0x1b171d9e"),
377 from_hex("0x52861abd"),
378 from_hex("0x2e5d0501"),
379 from_hex("0x3ec8646c"),
380 from_hex("0x6e5f250a"),
381 from_hex("0x148ae8e6"),
382 from_hex("0x17f5fa4a"),
383 from_hex("0x3e66d284"),
384 from_hex("0x0051aa3b"),
385 from_hex("0x483f7913"),
386 from_hex("0x2cfe5f15"),
387 from_hex("0x023427ca"),
388 from_hex("0x2cc78315"),
389 from_hex("0x1e36ea47"),
390 ],
391 vec![
392 from_hex("0x5a8053c0"),
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 from_hex("0x00000000"),
408 ],
409 vec![
410 from_hex("0x693be639"),
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 from_hex("0x00000000"),
425 from_hex("0x00000000"),
426 ],
427 vec![
428 from_hex("0x3858867d"),
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 from_hex("0x00000000"),
442 from_hex("0x00000000"),
443 from_hex("0x00000000"),
444 ],
445 vec![
446 from_hex("0x19334f6b"),
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 from_hex("0x00000000"),
459 from_hex("0x00000000"),
460 from_hex("0x00000000"),
461 from_hex("0x00000000"),
462 ],
463 vec![
464 from_hex("0x128f0fd8"),
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 from_hex("0x00000000"),
476 from_hex("0x00000000"),
477 from_hex("0x00000000"),
478 from_hex("0x00000000"),
479 from_hex("0x00000000"),
480 ],
481 vec![
482 from_hex("0x4e2b1ccb"),
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 from_hex("0x00000000"),
493 from_hex("0x00000000"),
494 from_hex("0x00000000"),
495 from_hex("0x00000000"),
496 from_hex("0x00000000"),
497 from_hex("0x00000000"),
498 ],
499 vec![
500 from_hex("0x61210ce0"),
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 from_hex("0x00000000"),
510 from_hex("0x00000000"),
511 from_hex("0x00000000"),
512 from_hex("0x00000000"),
513 from_hex("0x00000000"),
514 from_hex("0x00000000"),
515 from_hex("0x00000000"),
516 ],
517 vec![
518 from_hex("0x3c318939"),
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 from_hex("0x00000000"),
527 from_hex("0x00000000"),
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 ],
535 vec![
536 from_hex("0x0b5b2f22"),
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 from_hex("0x00000000"),
544 from_hex("0x00000000"),
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 ],
553 vec![
554 from_hex("0x2edb11d5"),
555 from_hex("0x00000000"),
556 from_hex("0x00000000"),
557 from_hex("0x00000000"),
558 from_hex("0x00000000"),
559 from_hex("0x00000000"),
560 from_hex("0x00000000"),
561 from_hex("0x00000000"),
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 ],
571 vec![
572 from_hex("0x213effdf"),
573 from_hex("0x00000000"),
574 from_hex("0x00000000"),
575 from_hex("0x00000000"),
576 from_hex("0x00000000"),
577 from_hex("0x00000000"),
578 from_hex("0x00000000"),
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 ],
589 vec![
590 from_hex("0x0cac4606"),
591 from_hex("0x00000000"),
592 from_hex("0x00000000"),
593 from_hex("0x00000000"),
594 from_hex("0x00000000"),
595 from_hex("0x00000000"),
596 from_hex("0x00000000"),
597 from_hex("0x00000000"),
598 from_hex("0x00000000"),
599 from_hex("0x00000000"),
600 from_hex("0x00000000"),
601 from_hex("0x00000000"),
602 from_hex("0x00000000"),
603 from_hex("0x00000000"),
604 from_hex("0x00000000"),
605 from_hex("0x00000000"),
606 ],
607 vec![
608 from_hex("0x241af16d"),
609 from_hex("0x00000000"),
610 from_hex("0x00000000"),
611 from_hex("0x00000000"),
612 from_hex("0x00000000"),
613 from_hex("0x00000000"),
614 from_hex("0x00000000"),
615 from_hex("0x00000000"),
616 from_hex("0x00000000"),
617 from_hex("0x00000000"),
618 from_hex("0x00000000"),
619 from_hex("0x00000000"),
620 from_hex("0x00000000"),
621 from_hex("0x00000000"),
622 from_hex("0x00000000"),
623 from_hex("0x00000000"),
624 ],
625 vec![
626 from_hex("0x7290a80d"),
627 from_hex("0x6f7e5329"),
628 from_hex("0x598ec8a8"),
629 from_hex("0x76a859a0"),
630 from_hex("0x6559e868"),
631 from_hex("0x657b83af"),
632 from_hex("0x13271d3f"),
633 from_hex("0x1f876063"),
634 from_hex("0x0aeeae37"),
635 from_hex("0x706e9ca6"),
636 from_hex("0x46400cee"),
637 from_hex("0x72a05c26"),
638 from_hex("0x2c589c9e"),
639 from_hex("0x20bd37a7"),
640 from_hex("0x6a2d3d10"),
641 from_hex("0x20523767"),
642 ],
643 vec![
644 from_hex("0x5b8fe9c4"),
645 from_hex("0x2aa501d6"),
646 from_hex("0x1e01ac3e"),
647 from_hex("0x1448bc54"),
648 from_hex("0x5ce5ad1c"),
649 from_hex("0x4918a14d"),
650 from_hex("0x2c46a83f"),
651 from_hex("0x4fcf6876"),
652 from_hex("0x61d8d5c8"),
653 from_hex("0x6ddf4ff9"),
654 from_hex("0x11fda4d3"),
655 from_hex("0x02933a8f"),
656 from_hex("0x170eaf81"),
657 from_hex("0x5a9c314f"),
658 from_hex("0x49a12590"),
659 from_hex("0x35ec52a1"),
660 ],
661 vec![
662 from_hex("0x58eb1611"),
663 from_hex("0x5e481e65"),
664 from_hex("0x367125c9"),
665 from_hex("0x0eba33ba"),
666 from_hex("0x1fc28ded"),
667 from_hex("0x066399ad"),
668 from_hex("0x0cbec0ea"),
669 from_hex("0x75fd1af0"),
670 from_hex("0x50f5bf4e"),
671 from_hex("0x643d5f41"),
672 from_hex("0x6f4fe718"),
673 from_hex("0x5b3cbbde"),
674 from_hex("0x1e3afb3e"),
675 from_hex("0x296fb027"),
676 from_hex("0x45e1547b"),
677 from_hex("0x4a8db2ab"),
678 ],
679 vec![
680 from_hex("0x59986d19"),
681 from_hex("0x30bcdfa3"),
682 from_hex("0x1db63932"),
683 from_hex("0x1d7c2824"),
684 from_hex("0x53b33681"),
685 from_hex("0x0673b747"),
686 from_hex("0x038a98a3"),
687 from_hex("0x2c5bce60"),
688 from_hex("0x351979cd"),
689 from_hex("0x5008fb73"),
690 from_hex("0x547bca78"),
691 from_hex("0x711af481"),
692 from_hex("0x3f93bf64"),
693 from_hex("0x644d987b"),
694 from_hex("0x3c8bcd87"),
695 from_hex("0x608758b8"),
696 ],
697 ];
698 pub static ref MAT_DIAG24_M_1: Vec<Scalar> = vec![
699 from_hex("0x409133f0"),
700 from_hex("0x1667a8a1"),
701 from_hex("0x06a6c7b6"),
702 from_hex("0x6f53160e"),
703 from_hex("0x273b11d1"),
704 from_hex("0x03176c5d"),
705 from_hex("0x72f9bbf9"),
706 from_hex("0x73ceba91"),
707 from_hex("0x5cdef81d"),
708 from_hex("0x01393285"),
709 from_hex("0x46daee06"),
710 from_hex("0x065d7ba6"),
711 from_hex("0x52d72d6f"),
712 from_hex("0x05dd05e0"),
713 from_hex("0x3bab4b63"),
714 from_hex("0x6ada3842"),
715 from_hex("0x2fc5fbec"),
716 from_hex("0x770d61b0"),
717 from_hex("0x5715aae9"),
718 from_hex("0x03ef0e90"),
719 from_hex("0x75b6c770"),
720 from_hex("0x242adf5f"),
721 from_hex("0x00d0ca4c"),
722 from_hex("0x36c0e388"),
723 ];
724 pub static ref MAT_INTERNAL24: Vec<Vec<Scalar>> = vec![
725 vec![
726 from_hex("0x409133f1"),
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 from_hex("0x00000001"),
743 from_hex("0x00000001"),
744 from_hex("0x00000001"),
745 from_hex("0x00000001"),
746 from_hex("0x00000001"),
747 from_hex("0x00000001"),
748 from_hex("0x00000001"),
749 from_hex("0x00000001"),
750 ],
751 vec![
752 from_hex("0x00000001"),
753 from_hex("0x1667a8a2"),
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 from_hex("0x00000001"),
768 from_hex("0x00000001"),
769 from_hex("0x00000001"),
770 from_hex("0x00000001"),
771 from_hex("0x00000001"),
772 from_hex("0x00000001"),
773 from_hex("0x00000001"),
774 from_hex("0x00000001"),
775 from_hex("0x00000001"),
776 ],
777 vec![
778 from_hex("0x00000001"),
779 from_hex("0x00000001"),
780 from_hex("0x06a6c7b7"),
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 from_hex("0x00000001"),
793 from_hex("0x00000001"),
794 from_hex("0x00000001"),
795 from_hex("0x00000001"),
796 from_hex("0x00000001"),
797 from_hex("0x00000001"),
798 from_hex("0x00000001"),
799 from_hex("0x00000001"),
800 from_hex("0x00000001"),
801 from_hex("0x00000001"),
802 ],
803 vec![
804 from_hex("0x00000001"),
805 from_hex("0x00000001"),
806 from_hex("0x00000001"),
807 from_hex("0x6f53160f"),
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 from_hex("0x00000001"),
818 from_hex("0x00000001"),
819 from_hex("0x00000001"),
820 from_hex("0x00000001"),
821 from_hex("0x00000001"),
822 from_hex("0x00000001"),
823 from_hex("0x00000001"),
824 from_hex("0x00000001"),
825 from_hex("0x00000001"),
826 from_hex("0x00000001"),
827 from_hex("0x00000001"),
828 ],
829 vec![
830 from_hex("0x00000001"),
831 from_hex("0x00000001"),
832 from_hex("0x00000001"),
833 from_hex("0x00000001"),
834 from_hex("0x273b11d2"),
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 from_hex("0x00000001"),
843 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("0x00000001"),
850 from_hex("0x00000001"),
851 from_hex("0x00000001"),
852 from_hex("0x00000001"),
853 from_hex("0x00000001"),
854 ],
855 vec![
856 from_hex("0x00000001"),
857 from_hex("0x00000001"),
858 from_hex("0x00000001"),
859 from_hex("0x00000001"),
860 from_hex("0x00000001"),
861 from_hex("0x03176c5e"),
862 from_hex("0x00000001"),
863 from_hex("0x00000001"),
864 from_hex("0x00000001"),
865 from_hex("0x00000001"),
866 from_hex("0x00000001"),
867 from_hex("0x00000001"),
868 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("0x00000001"),
876 from_hex("0x00000001"),
877 from_hex("0x00000001"),
878 from_hex("0x00000001"),
879 from_hex("0x00000001"),
880 ],
881 vec![
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("0x72f9bbfa"),
889 from_hex("0x00000001"),
890 from_hex("0x00000001"),
891 from_hex("0x00000001"),
892 from_hex("0x00000001"),
893 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("0x00000001"),
902 from_hex("0x00000001"),
903 from_hex("0x00000001"),
904 from_hex("0x00000001"),
905 from_hex("0x00000001"),
906 ],
907 vec![
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("0x73ceba92"),
916 from_hex("0x00000001"),
917 from_hex("0x00000001"),
918 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("0x00000001"),
928 from_hex("0x00000001"),
929 from_hex("0x00000001"),
930 from_hex("0x00000001"),
931 from_hex("0x00000001"),
932 ],
933 vec![
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 from_hex("0x5cdef81e"),
943 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("0x00000001"),
954 from_hex("0x00000001"),
955 from_hex("0x00000001"),
956 from_hex("0x00000001"),
957 from_hex("0x00000001"),
958 ],
959 vec![
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 from_hex("0x00000001"),
968 from_hex("0x00000001"),
969 from_hex("0x01393286"),
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("0x00000001"),
980 from_hex("0x00000001"),
981 from_hex("0x00000001"),
982 from_hex("0x00000001"),
983 from_hex("0x00000001"),
984 ],
985 vec![
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 from_hex("0x00000001"),
993 from_hex("0x00000001"),
994 from_hex("0x00000001"),
995 from_hex("0x00000001"),
996 from_hex("0x46daee07"),
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("0x00000001"),
1006 from_hex("0x00000001"),
1007 from_hex("0x00000001"),
1008 from_hex("0x00000001"),
1009 from_hex("0x00000001"),
1010 ],
1011 vec![
1012 from_hex("0x00000001"),
1013 from_hex("0x00000001"),
1014 from_hex("0x00000001"),
1015 from_hex("0x00000001"),
1016 from_hex("0x00000001"),
1017 from_hex("0x00000001"),
1018 from_hex("0x00000001"),
1019 from_hex("0x00000001"),
1020 from_hex("0x00000001"),
1021 from_hex("0x00000001"),
1022 from_hex("0x00000001"),
1023 from_hex("0x065d7ba7"),
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("0x00000001"),
1032 from_hex("0x00000001"),
1033 from_hex("0x00000001"),
1034 from_hex("0x00000001"),
1035 from_hex("0x00000001"),
1036 ],
1037 vec![
1038 from_hex("0x00000001"),
1039 from_hex("0x00000001"),
1040 from_hex("0x00000001"),
1041 from_hex("0x00000001"),
1042 from_hex("0x00000001"),
1043 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("0x52d72d70"),
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("0x00000001"),
1058 from_hex("0x00000001"),
1059 from_hex("0x00000001"),
1060 from_hex("0x00000001"),
1061 from_hex("0x00000001"),
1062 ],
1063 vec![
1064 from_hex("0x00000001"),
1065 from_hex("0x00000001"),
1066 from_hex("0x00000001"),
1067 from_hex("0x00000001"),
1068 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("0x05dd05e1"),
1078 from_hex("0x00000001"),
1079 from_hex("0x00000001"),
1080 from_hex("0x00000001"),
1081 from_hex("0x00000001"),
1082 from_hex("0x00000001"),
1083 from_hex("0x00000001"),
1084 from_hex("0x00000001"),
1085 from_hex("0x00000001"),
1086 from_hex("0x00000001"),
1087 from_hex("0x00000001"),
1088 ],
1089 vec![
1090 from_hex("0x00000001"),
1091 from_hex("0x00000001"),
1092 from_hex("0x00000001"),
1093 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("0x3bab4b64"),
1105 from_hex("0x00000001"),
1106 from_hex("0x00000001"),
1107 from_hex("0x00000001"),
1108 from_hex("0x00000001"),
1109 from_hex("0x00000001"),
1110 from_hex("0x00000001"),
1111 from_hex("0x00000001"),
1112 from_hex("0x00000001"),
1113 from_hex("0x00000001"),
1114 ],
1115 vec![
1116 from_hex("0x00000001"),
1117 from_hex("0x00000001"),
1118 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("0x6ada3843"),
1132 from_hex("0x00000001"),
1133 from_hex("0x00000001"),
1134 from_hex("0x00000001"),
1135 from_hex("0x00000001"),
1136 from_hex("0x00000001"),
1137 from_hex("0x00000001"),
1138 from_hex("0x00000001"),
1139 from_hex("0x00000001"),
1140 ],
1141 vec![
1142 from_hex("0x00000001"),
1143 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("0x2fc5fbed"),
1159 from_hex("0x00000001"),
1160 from_hex("0x00000001"),
1161 from_hex("0x00000001"),
1162 from_hex("0x00000001"),
1163 from_hex("0x00000001"),
1164 from_hex("0x00000001"),
1165 from_hex("0x00000001"),
1166 ],
1167 vec![
1168 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("0x770d61b1"),
1186 from_hex("0x00000001"),
1187 from_hex("0x00000001"),
1188 from_hex("0x00000001"),
1189 from_hex("0x00000001"),
1190 from_hex("0x00000001"),
1191 from_hex("0x00000001"),
1192 ],
1193 vec![
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("0x5715aaea"),
1213 from_hex("0x00000001"),
1214 from_hex("0x00000001"),
1215 from_hex("0x00000001"),
1216 from_hex("0x00000001"),
1217 from_hex("0x00000001"),
1218 ],
1219 vec![
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("0x03ef0e91"),
1240 from_hex("0x00000001"),
1241 from_hex("0x00000001"),
1242 from_hex("0x00000001"),
1243 from_hex("0x00000001"),
1244 ],
1245 vec![
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("0x00000001"),
1266 from_hex("0x75b6c771"),
1267 from_hex("0x00000001"),
1268 from_hex("0x00000001"),
1269 from_hex("0x00000001"),
1270 ],
1271 vec![
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("0x00000001"),
1292 from_hex("0x00000001"),
1293 from_hex("0x242adf60"),
1294 from_hex("0x00000001"),
1295 from_hex("0x00000001"),
1296 ],
1297 vec![
1298 from_hex("0x00000001"),
1299 from_hex("0x00000001"),
1300 from_hex("0x00000001"),
1301 from_hex("0x00000001"),
1302 from_hex("0x00000001"),
1303 from_hex("0x00000001"),
1304 from_hex("0x00000001"),
1305 from_hex("0x00000001"),
1306 from_hex("0x00000001"),
1307 from_hex("0x00000001"),
1308 from_hex("0x00000001"),
1309 from_hex("0x00000001"),
1310 from_hex("0x00000001"),
1311 from_hex("0x00000001"),
1312 from_hex("0x00000001"),
1313 from_hex("0x00000001"),
1314 from_hex("0x00000001"),
1315 from_hex("0x00000001"),
1316 from_hex("0x00000001"),
1317 from_hex("0x00000001"),
1318 from_hex("0x00000001"),
1319 from_hex("0x00000001"),
1320 from_hex("0x00d0ca4d"),
1321 from_hex("0x00000001"),
1322 ],
1323 vec![
1324 from_hex("0x00000001"),
1325 from_hex("0x00000001"),
1326 from_hex("0x00000001"),
1327 from_hex("0x00000001"),
1328 from_hex("0x00000001"),
1329 from_hex("0x00000001"),
1330 from_hex("0x00000001"),
1331 from_hex("0x00000001"),
1332 from_hex("0x00000001"),
1333 from_hex("0x00000001"),
1334 from_hex("0x00000001"),
1335 from_hex("0x00000001"),
1336 from_hex("0x00000001"),
1337 from_hex("0x00000001"),
1338 from_hex("0x00000001"),
1339 from_hex("0x00000001"),
1340 from_hex("0x00000001"),
1341 from_hex("0x00000001"),
1342 from_hex("0x00000001"),
1343 from_hex("0x00000001"),
1344 from_hex("0x00000001"),
1345 from_hex("0x00000001"),
1346 from_hex("0x00000001"),
1347 from_hex("0x36c0e389"),
1348 ],
1349 ];
1350 pub static ref RC24: Vec<Vec<Scalar>> = vec![
1351 vec![
1352 from_hex("0x0fa20c37"),
1353 from_hex("0x0795bb97"),
1354 from_hex("0x12c60b9c"),
1355 from_hex("0x0eabd88e"),
1356 from_hex("0x096485ca"),
1357 from_hex("0x07093527"),
1358 from_hex("0x1b1d4e50"),
1359 from_hex("0x30a01ace"),
1360 from_hex("0x3bd86f5a"),
1361 from_hex("0x69af7c28"),
1362 from_hex("0x3f94775f"),
1363 from_hex("0x731560e8"),
1364 from_hex("0x465a0ecd"),
1365 from_hex("0x574ef807"),
1366 from_hex("0x62fd4870"),
1367 from_hex("0x52ccfe44"),
1368 from_hex("0x14772b14"),
1369 from_hex("0x4dedf371"),
1370 from_hex("0x260acd7c"),
1371 from_hex("0x1f51dc58"),
1372 from_hex("0x75125532"),
1373 from_hex("0x686a4d7b"),
1374 from_hex("0x54bac179"),
1375 from_hex("0x31947706"),
1376 ],
1377 vec![
1378 from_hex("0x29799d3b"),
1379 from_hex("0x6e01ae90"),
1380 from_hex("0x203a7a64"),
1381 from_hex("0x4f7e25be"),
1382 from_hex("0x72503f77"),
1383 from_hex("0x45bd3b69"),
1384 from_hex("0x769bd6b4"),
1385 from_hex("0x5a867f08"),
1386 from_hex("0x4fdba082"),
1387 from_hex("0x251c4318"),
1388 from_hex("0x28f06201"),
1389 from_hex("0x6788c43a"),
1390 from_hex("0x4c6d6a99"),
1391 from_hex("0x357784a8"),
1392 from_hex("0x2abaf051"),
1393 from_hex("0x770f7de6"),
1394 from_hex("0x1794b784"),
1395 from_hex("0x4796c57a"),
1396 from_hex("0x724b7a10"),
1397 from_hex("0x449989a7"),
1398 from_hex("0x64935cf1"),
1399 from_hex("0x59e14aac"),
1400 from_hex("0x0e620bb8"),
1401 from_hex("0x3af5a33b"),
1402 ],
1403 vec![
1404 from_hex("0x4465cc0e"),
1405 from_hex("0x019df68f"),
1406 from_hex("0x4af8d068"),
1407 from_hex("0x08784f82"),
1408 from_hex("0x0cefdeae"),
1409 from_hex("0x6337a467"),
1410 from_hex("0x32fa7a16"),
1411 from_hex("0x486f62d6"),
1412 from_hex("0x386a7480"),
1413 from_hex("0x20f17c4a"),
1414 from_hex("0x54e50da8"),
1415 from_hex("0x2012cf03"),
1416 from_hex("0x5fe52950"),
1417 from_hex("0x09afb6cd"),
1418 from_hex("0x2523044e"),
1419 from_hex("0x5c54d0ef"),
1420 from_hex("0x71c01f3c"),
1421 from_hex("0x60b2c4fb"),
1422 from_hex("0x4050b379"),
1423 from_hex("0x5e6a70a5"),
1424 from_hex("0x418543f5"),
1425 from_hex("0x71debe56"),
1426 from_hex("0x1aad2994"),
1427 from_hex("0x3368a483"),
1428 ],
1429 vec![
1430 from_hex("0x07a86f3a"),
1431 from_hex("0x5ea43ff1"),
1432 from_hex("0x2443780e"),
1433 from_hex("0x4ce444f7"),
1434 from_hex("0x146f9882"),
1435 from_hex("0x3132b089"),
1436 from_hex("0x197ea856"),
1437 from_hex("0x667030c3"),
1438 from_hex("0x2317d5dc"),
1439 from_hex("0x0c2c48a7"),
1440 from_hex("0x56b2df66"),
1441 from_hex("0x67bd81e9"),
1442 from_hex("0x4fcdfb19"),
1443 from_hex("0x4baaef32"),
1444 from_hex("0x0328d30a"),
1445 from_hex("0x6235760d"),
1446 from_hex("0x12432912"),
1447 from_hex("0x0a49e258"),
1448 from_hex("0x030e1b70"),
1449 from_hex("0x48caeb03"),
1450 from_hex("0x49e4d9e9"),
1451 from_hex("0x1051b5c6"),
1452 from_hex("0x6a36dbbe"),
1453 from_hex("0x4cff27a5"),
1454 ],
1455 vec![
1456 from_hex("0x1da78ec2"),
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 from_hex("0x00000000"),
1471 from_hex("0x00000000"),
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 ],
1481 vec![
1482 from_hex("0x730b0924"),
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 from_hex("0x00000000"),
1496 from_hex("0x00000000"),
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 ],
1507 vec![
1508 from_hex("0x3eb56cf3"),
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 from_hex("0x00000000"),
1521 from_hex("0x00000000"),
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 ],
1533 vec![
1534 from_hex("0x5bd93073"),
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 from_hex("0x00000000"),
1546 from_hex("0x00000000"),
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 ],
1559 vec![
1560 from_hex("0x37204c97"),
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 from_hex("0x00000000"),
1571 from_hex("0x00000000"),
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 ],
1585 vec![
1586 from_hex("0x51642d89"),
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 from_hex("0x00000000"),
1596 from_hex("0x00000000"),
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 ],
1611 vec![
1612 from_hex("0x66e943e8"),
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 from_hex("0x00000000"),
1621 from_hex("0x00000000"),
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 ],
1637 vec![
1638 from_hex("0x1a3e72de"),
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 from_hex("0x00000000"),
1646 from_hex("0x00000000"),
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 ],
1663 vec![
1664 from_hex("0x70beb1e9"),
1665 from_hex("0x00000000"),
1666 from_hex("0x00000000"),
1667 from_hex("0x00000000"),
1668 from_hex("0x00000000"),
1669 from_hex("0x00000000"),
1670 from_hex("0x00000000"),
1671 from_hex("0x00000000"),
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 ],
1689 vec![
1690 from_hex("0x30ff3b3f"),
1691 from_hex("0x00000000"),
1692 from_hex("0x00000000"),
1693 from_hex("0x00000000"),
1694 from_hex("0x00000000"),
1695 from_hex("0x00000000"),
1696 from_hex("0x00000000"),
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 ],
1715 vec![
1716 from_hex("0x4240d1c4"),
1717 from_hex("0x00000000"),
1718 from_hex("0x00000000"),
1719 from_hex("0x00000000"),
1720 from_hex("0x00000000"),
1721 from_hex("0x00000000"),
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 ],
1741 vec![
1742 from_hex("0x12647b8d"),
1743 from_hex("0x00000000"),
1744 from_hex("0x00000000"),
1745 from_hex("0x00000000"),
1746 from_hex("0x00000000"),
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 ],
1767 vec![
1768 from_hex("0x65d86965"),
1769 from_hex("0x00000000"),
1770 from_hex("0x00000000"),
1771 from_hex("0x00000000"),
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 ],
1793 vec![
1794 from_hex("0x49ef4d7c"),
1795 from_hex("0x00000000"),
1796 from_hex("0x00000000"),
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 ],
1819 vec![
1820 from_hex("0x47785697"),
1821 from_hex("0x00000000"),
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 ],
1845 vec![
1846 from_hex("0x46b3969f"),
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![
1872 from_hex("0x5c7b7a0e"),
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 from_hex("0x00000000"),
1896 ],
1897 vec![
1898 from_hex("0x7078fc60"),
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 from_hex("0x00000000"),
1921 from_hex("0x00000000"),
1922 ],
1923 vec![
1924 from_hex("0x4f22d482"),
1925 from_hex("0x00000000"),
1926 from_hex("0x00000000"),
1927 from_hex("0x00000000"),
1928 from_hex("0x00000000"),
1929 from_hex("0x00000000"),
1930 from_hex("0x00000000"),
1931 from_hex("0x00000000"),
1932 from_hex("0x00000000"),
1933 from_hex("0x00000000"),
1934 from_hex("0x00000000"),
1935 from_hex("0x00000000"),
1936 from_hex("0x00000000"),
1937 from_hex("0x00000000"),
1938 from_hex("0x00000000"),
1939 from_hex("0x00000000"),
1940 from_hex("0x00000000"),
1941 from_hex("0x00000000"),
1942 from_hex("0x00000000"),
1943 from_hex("0x00000000"),
1944 from_hex("0x00000000"),
1945 from_hex("0x00000000"),
1946 from_hex("0x00000000"),
1947 from_hex("0x00000000"),
1948 ],
1949 vec![
1950 from_hex("0x482a9aee"),
1951 from_hex("0x00000000"),
1952 from_hex("0x00000000"),
1953 from_hex("0x00000000"),
1954 from_hex("0x00000000"),
1955 from_hex("0x00000000"),
1956 from_hex("0x00000000"),
1957 from_hex("0x00000000"),
1958 from_hex("0x00000000"),
1959 from_hex("0x00000000"),
1960 from_hex("0x00000000"),
1961 from_hex("0x00000000"),
1962 from_hex("0x00000000"),
1963 from_hex("0x00000000"),
1964 from_hex("0x00000000"),
1965 from_hex("0x00000000"),
1966 from_hex("0x00000000"),
1967 from_hex("0x00000000"),
1968 from_hex("0x00000000"),
1969 from_hex("0x00000000"),
1970 from_hex("0x00000000"),
1971 from_hex("0x00000000"),
1972 from_hex("0x00000000"),
1973 from_hex("0x00000000"),
1974 ],
1975 vec![
1976 from_hex("0x6beb839d"),
1977 from_hex("0x00000000"),
1978 from_hex("0x00000000"),
1979 from_hex("0x00000000"),
1980 from_hex("0x00000000"),
1981 from_hex("0x00000000"),
1982 from_hex("0x00000000"),
1983 from_hex("0x00000000"),
1984 from_hex("0x00000000"),
1985 from_hex("0x00000000"),
1986 from_hex("0x00000000"),
1987 from_hex("0x00000000"),
1988 from_hex("0x00000000"),
1989 from_hex("0x00000000"),
1990 from_hex("0x00000000"),
1991 from_hex("0x00000000"),
1992 from_hex("0x00000000"),
1993 from_hex("0x00000000"),
1994 from_hex("0x00000000"),
1995 from_hex("0x00000000"),
1996 from_hex("0x00000000"),
1997 from_hex("0x00000000"),
1998 from_hex("0x00000000"),
1999 from_hex("0x00000000"),
2000 ],
2001 vec![
2002 from_hex("0x032959ad"),
2003 from_hex("0x2b18af6a"),
2004 from_hex("0x55d3dc8c"),
2005 from_hex("0x43bd26c8"),
2006 from_hex("0x0c41595f"),
2007 from_hex("0x7048d2e2"),
2008 from_hex("0x00db8983"),
2009 from_hex("0x2af563d7"),
2010 from_hex("0x6e84758f"),
2011 from_hex("0x611d64e1"),
2012 from_hex("0x1f9977e2"),
2013 from_hex("0x64163a0a"),
2014 from_hex("0x5c5fc27b"),
2015 from_hex("0x02e22561"),
2016 from_hex("0x3a2d75db"),
2017 from_hex("0x1ba7b71a"),
2018 from_hex("0x34343f64"),
2019 from_hex("0x7406b35d"),
2020 from_hex("0x19df8299"),
2021 from_hex("0x6ff4480a"),
2022 from_hex("0x514a81c8"),
2023 from_hex("0x57ab52ce"),
2024 from_hex("0x6ad69f52"),
2025 from_hex("0x3e0c0e0d"),
2026 ],
2027 vec![
2028 from_hex("0x48126114"),
2029 from_hex("0x2a9d62cc"),
2030 from_hex("0x17441f23"),
2031 from_hex("0x485762bb"),
2032 from_hex("0x2f218674"),
2033 from_hex("0x06fdc64a"),
2034 from_hex("0x0861b7f2"),
2035 from_hex("0x3b36eee6"),
2036 from_hex("0x70a11040"),
2037 from_hex("0x04b31737"),
2038 from_hex("0x3722a872"),
2039 from_hex("0x2a351c63"),
2040 from_hex("0x623560dc"),
2041 from_hex("0x62584ab2"),
2042 from_hex("0x382c7c04"),
2043 from_hex("0x3bf9edc7"),
2044 from_hex("0x0e38fe51"),
2045 from_hex("0x376f3b10"),
2046 from_hex("0x5381e178"),
2047 from_hex("0x3afc61c7"),
2048 from_hex("0x5c1bcb4d"),
2049 from_hex("0x6643ce1f"),
2050 from_hex("0x2d0af1c1"),
2051 from_hex("0x08f583cc"),
2052 ],
2053 vec![
2054 from_hex("0x5d6ff60f"),
2055 from_hex("0x6324c1e5"),
2056 from_hex("0x74412fb7"),
2057 from_hex("0x70c0192e"),
2058 from_hex("0x0b72f141"),
2059 from_hex("0x4067a111"),
2060 from_hex("0x57388c4f"),
2061 from_hex("0x351009ec"),
2062 from_hex("0x0974c159"),
2063 from_hex("0x539a58b3"),
2064 from_hex("0x038c0cff"),
2065 from_hex("0x476c0392"),
2066 from_hex("0x3f7bc15f"),
2067 from_hex("0x4491dd2c"),
2068 from_hex("0x4d1fef55"),
2069 from_hex("0x04936ae3"),
2070 from_hex("0x58214dd4"),
2071 from_hex("0x683c6aad"),
2072 from_hex("0x1b42f16b"),
2073 from_hex("0x6dc79135"),
2074 from_hex("0x2d4e71ec"),
2075 from_hex("0x3e2946ea"),
2076 from_hex("0x59dce8db"),
2077 from_hex("0x6cee892a"),
2078 ],
2079 vec![
2080 from_hex("0x47f07350"),
2081 from_hex("0x7106ce93"),
2082 from_hex("0x3bd4a7a9"),
2083 from_hex("0x2bfe636a"),
2084 from_hex("0x430011e9"),
2085 from_hex("0x001cd66a"),
2086 from_hex("0x307faf5b"),
2087 from_hex("0x0d9ef3fe"),
2088 from_hex("0x6d40043a"),
2089 from_hex("0x2e8f470c"),
2090 from_hex("0x1b6865e8"),
2091 from_hex("0x0c0e6c01"),
2092 from_hex("0x4d41981f"),
2093 from_hex("0x423b9d3d"),
2094 from_hex("0x410408cc"),
2095 from_hex("0x263f0884"),
2096 from_hex("0x5311bbd0"),
2097 from_hex("0x4dae58d8"),
2098 from_hex("0x30401cea"),
2099 from_hex("0x09afa575"),
2100 from_hex("0x4b3d5b42"),
2101 from_hex("0x63ac0b37"),
2102 from_hex("0x5fe5bb14"),
2103 from_hex("0x5244e9d4"),
2104 ],
2105 ];
2106 pub static ref POSEIDON2_BABYBEAR_16_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(
2107 Poseidon2Params::new(16, 7, 8, 13, &MAT_DIAG16_M_1, &MAT_INTERNAL16, &RC16)
2108 );
2109 pub static ref POSEIDON2_BABYBEAR_24_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(
2110 Poseidon2Params::new(24, 7, 8, 21, &MAT_DIAG24_M_1, &MAT_INTERNAL24, &RC24)
2111 );
2112}