-
Notifications
You must be signed in to change notification settings - Fork 8
/
tables.rs
3348 lines (3322 loc) · 257 KB
/
tables.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
//////////////////// Known small primes ////////////////////
// The prime table here is used for prime buffer initialization, and also used
// for trivial division in integer factorization and moebius mu function
// only list primes to 256 if big-table feature is disabled
/// A static table of small primes
#[cfg(not(feature = "big-table"))]
pub const SMALL_PRIMES: [u8; 54] = [
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97,
101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193,
197, 199, 211, 223, 227, 229, 233, 239, 241, 251,
];
/// Next prime of the last one in SMALL_PRIMES
#[cfg(not(feature = "big-table"))]
pub const SMALL_PRIMES_NEXT: u64 = 257;
// list 1024 primes if big-table feature is enabled
/// A static table of small primes
#[cfg(feature = "big-table")]
pub const SMALL_PRIMES: [u16; 1024] = [
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97,
101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193,
197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307,
311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421,
431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547,
557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659,
661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797,
809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929,
937, 941, 947, 953, 967, 971, 977, 983, 991, 997, 1009, 1013, 1019, 1021, 1031, 1033, 1039,
1049, 1051, 1061, 1063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153,
1163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 1259, 1277, 1279,
1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 1361, 1367, 1373, 1381, 1399, 1409,
1423, 1427, 1429, 1433, 1439, 1447, 1451, 1453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499,
1511, 1523, 1531, 1543, 1549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613,
1619, 1621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 1733, 1741,
1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 1847, 1861, 1867, 1871, 1873,
1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 1949, 1951, 1973, 1979, 1987, 1993, 1997, 1999,
2003, 2011, 2017, 2027, 2029, 2039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113,
2129, 2131, 2137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 2251,
2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 2347, 2351, 2357, 2371,
2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 2437, 2441, 2447, 2459, 2467, 2473, 2477,
2503, 2521, 2531, 2539, 2543, 2549, 2551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647,
2657, 2659, 2663, 2671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731,
2741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 2843, 2851, 2857,
2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 2957, 2963, 2969, 2971, 2999, 3001,
3011, 3019, 3023, 3037, 3041, 3049, 3061, 3067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163,
3167, 3169, 3181, 3187, 3191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299,
3301, 3307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 3391, 3407,
3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 3517, 3527, 3529, 3533, 3539,
3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 3607, 3613, 3617, 3623, 3631, 3637, 3643, 3659,
3671, 3673, 3677, 3691, 3697, 3701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793,
3797, 3803, 3821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 3919,
3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 4021, 4027, 4049, 4051,
4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 4133, 4139, 4153, 4157, 4159, 4177, 4201,
4211, 4217, 4219, 4229, 4231, 4241, 4243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327,
4337, 4339, 4349, 4357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463,
4481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 4591, 4597, 4603,
4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 4691, 4703, 4721, 4723, 4729, 4733,
4751, 4759, 4783, 4787, 4789, 4793, 4799, 4801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903,
4909, 4919, 4931, 4933, 4937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009,
5011, 5021, 5023, 5039, 5051, 5059, 5077, 5081, 5087, 5099, 5101, 5107, 5113, 5119, 5147, 5153,
5167, 5171, 5179, 5189, 5197, 5209, 5227, 5231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303,
5309, 5323, 5333, 5347, 5351, 5381, 5387, 5393, 5399, 5407, 5413, 5417, 5419, 5431, 5437, 5441,
5443, 5449, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 5531, 5557, 5563, 5569,
5573, 5581, 5591, 5623, 5639, 5641, 5647, 5651, 5653, 5657, 5659, 5669, 5683, 5689, 5693, 5701,
5711, 5717, 5737, 5741, 5743, 5749, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 5839, 5843,
5849, 5851, 5857, 5861, 5867, 5869, 5879, 5881, 5897, 5903, 5923, 5927, 5939, 5953, 5981, 5987,
6007, 6011, 6029, 6037, 6043, 6047, 6053, 6067, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 6131,
6133, 6143, 6151, 6163, 6173, 6197, 6199, 6203, 6211, 6217, 6221, 6229, 6247, 6257, 6263, 6269,
6271, 6277, 6287, 6299, 6301, 6311, 6317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373,
6379, 6389, 6397, 6421, 6427, 6449, 6451, 6469, 6473, 6481, 6491, 6521, 6529, 6547, 6551, 6553,
6563, 6569, 6571, 6577, 6581, 6599, 6607, 6619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691,
6701, 6703, 6709, 6719, 6733, 6737, 6761, 6763, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 6829,
6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 6911, 6917, 6947, 6949, 6959, 6961, 6967,
6971, 6977, 6983, 6991, 6997, 7001, 7013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 7103, 7109,
7121, 7127, 7129, 7151, 7159, 7177, 7187, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 7243, 7247,
7253, 7283, 7297, 7307, 7309, 7321, 7331, 7333, 7349, 7351, 7369, 7393, 7411, 7417, 7433, 7451,
7457, 7459, 7477, 7481, 7487, 7489, 7499, 7507, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559,
7561, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 7621, 7639, 7643, 7649, 7669, 7673, 7681, 7687,
7691, 7699, 7703, 7717, 7723, 7727, 7741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841,
7853, 7867, 7873, 7877, 7879, 7883, 7901, 7907, 7919, 7927, 7933, 7937, 7949, 7951, 7963, 7993,
8009, 8011, 8017, 8039, 8053, 8059, 8069, 8081, 8087, 8089, 8093, 8101, 8111, 8117, 8123, 8147,
8161, // 8167, 8171, 8179, 8191
];
/// Next prime of the last one in SMALL_PRIMES
#[cfg(feature = "big-table")]
pub const SMALL_PRIMES_NEXT: u64 = 8167;
//////////////////// Pre-computed inversions for primes ////////////////////
#[cfg(feature = "big-table")]
type P64 = num_modular::PreInv<u64>;
/// Precomputed modular inverse for fast divisibility check
///
/// Note that the factor 2 should be eliminated before checking the primes
#[rustfmt::skip]
#[cfg(feature = "big-table")]
pub const SMALL_PRIMES_INV: [P64; 1024] = [
// the first should be 2, but 2 has not modular inverse
P64::new(0x0000000000000001, 0xffffffffffffffff),
P64::new(0xaaaaaaaaaaaaaaab, 0x5555555555555555),
P64::new(0xcccccccccccccccd, 0x3333333333333333),
P64::new(0x6db6db6db6db6db7, 0x2492492492492492),
P64::new(0x2e8ba2e8ba2e8ba3, 0x1745d1745d1745d1),
P64::new(0x4ec4ec4ec4ec4ec5, 0x13b13b13b13b13b1),
P64::new(0xf0f0f0f0f0f0f0f1, 0x0f0f0f0f0f0f0f0f),
P64::new(0x86bca1af286bca1b, 0x0d79435e50d79435),
P64::new(0xd37a6f4de9bd37a7, 0x0b21642c8590b216),
P64::new(0x34f72c234f72c235, 0x08d3dcb08d3dcb08),
P64::new(0xef7bdef7bdef7bdf, 0x0842108421084210),
P64::new(0x14c1bacf914c1bad, 0x06eb3e45306eb3e4),
P64::new(0x8f9c18f9c18f9c19, 0x063e7063e7063e70),
P64::new(0x82fa0be82fa0be83, 0x05f417d05f417d05),
P64::new(0x51b3bea3677d46cf, 0x0572620ae4c415c9),
P64::new(0x21cfb2b78c13521d, 0x04d4873ecade304d),
P64::new(0xcbeea4e1a08ad8f3, 0x0456c797dd49c341),
P64::new(0x4fbcda3ac10c9715, 0x04325c53ef368eb0),
P64::new(0xf0b7672a07a44c6b, 0x03d226357e16ece5),
P64::new(0x193d4bb7e327a977, 0x039b0ad12073615a),
P64::new(0x7e3f1f8fc7e3f1f9, 0x0381c0e070381c0e),
P64::new(0x9b8b577e613716af, 0x033d91d2a2067b23),
P64::new(0xa3784a062b2e43db, 0x03159721ed7e7534),
P64::new(0xf47e8fd1fa3f47e9, 0x02e05c0b81702e05),
P64::new(0xa3a0fd5c5f02a3a1, 0x02a3a0fd5c5f02a3),
P64::new(0x3a4c0a237c32b16d, 0x0288df0cac5b3f5d),
P64::new(0xdab7ec1dd3431b57, 0x027c45979c95204f),
P64::new(0x77a04c8f8d28ac43, 0x02647c69456217ec),
P64::new(0xa6c0964fda6c0965, 0x02593f69b02593f6),
P64::new(0x90fdbc090fdbc091, 0x0243f6f0243f6f02),
P64::new(0x7efdfbf7efdfbf7f, 0x0204081020408102),
P64::new(0x03e88cb3c9484e2b, 0x01f44659e4a42715),
P64::new(0xe21a291c077975b9, 0x01de5d6e3f8868a4),
P64::new(0x3aef6ca970586723, 0x01d77b654b82c339),
P64::new(0xdf5b0f768ce2cabd, 0x01b7d6c3dda338b2),
P64::new(0x6fe4dfc9bf937f27, 0x01b2036406c80d90),
P64::new(0x5b4fe5e92c0685b5, 0x01a16d3f97a4b01a),
P64::new(0x1f693a1c451ab30b, 0x01920fb49d0e228d),
P64::new(0x8d07aa27db35a717, 0x01886e5f0abb0499),
P64::new(0x882383b30d516325, 0x017ad2208e0ecc35),
P64::new(0xed6866f8d962ae7b, 0x016e1f76b4337c6c),
P64::new(0x3454dca410f8ed9d, 0x016a13cd15372904),
P64::new(0x1d7ca632ee936f3f, 0x01571ed3c506b39a),
P64::new(0x70bf015390948f41, 0x015390948f40feac),
P64::new(0xc96bdb9d3d137e0d, 0x014cab88725af6e7),
P64::new(0x2697cc8aef46c0f7, 0x0149539e3b2d066e),
P64::new(0xc0e8f2a76e68575b, 0x013698df3de07479),
P64::new(0x687763dfdb43bb1f, 0x0125e22708092f11),
P64::new(0x1b10ea929ba144cb, 0x0120b470c67c0d88),
P64::new(0x1d10c4c0478bbced, 0x011e2ef3b3fb8744),
P64::new(0x63fb9aeb1fdcd759, 0x0119453808ca29c0),
P64::new(0x64afaa4f437b2e0f, 0x0112358e75d30336),
P64::new(0xf010fef010fef011, 0x010fef010fef010f),
P64::new(0x28cbfbeb9a020a33, 0x0105197f7d734041),
P64::new(0xff00ff00ff00ff01, 0x00ff00ff00ff00ff),
P64::new(0xd624fd1470e99cb7, 0x00f92fb2211855a8),
P64::new(0x8fb3ddbd6205b5c5, 0x00f3a0d52cba8723),
P64::new(0xd57da36ca27acdef, 0x00f1d48bcee0d399),
P64::new(0xee70c03b25e4463d, 0x00ec979118f3fc4d),
P64::new(0xc5b1a6b80749cb29, 0x00e939651fe2d8d3),
P64::new(0x47768073c9b97113, 0x00e79372e225fe30),
P64::new(0x2591e94884ce32ad, 0x00dfac1f74346c57),
P64::new(0xf02806abc74be1fb, 0x00d578e97c3f5fe5),
P64::new(0x7ec3e8f3a7198487, 0x00d2ba083b445250),
P64::new(0x58550f8a39409d09, 0x00d161543e28e502),
P64::new(0xec9e48ae6f71de15, 0x00cebcf8bb5b4169),
P64::new(0x2ff3a018bfce8063, 0x00c5fe740317f9d0),
P64::new(0x7f9ec3fcf61fe7b1, 0x00c2780613c0309e),
P64::new(0x89f5abe570e046d3, 0x00bcdd535db1cc5b),
P64::new(0xda971b23f1545af5, 0x00bbc8408cd63069),
P64::new(0x79d5f00b9a7862a1, 0x00b9a7862a0ff465),
P64::new(0x4dba1df32a128a57, 0x00b68d31340e4307),
P64::new(0x87530217b7747d8f, 0x00b2927c29da5519),
P64::new(0x30baae53bb5e06dd, 0x00afb321a1496fdf),
P64::new(0xee70206c12e9b5b3, 0x00aceb0f891e6551),
P64::new(0xcdde9462ec9dbe7f, 0x00ab1cbdd3e2970f),
P64::new(0xafb64b05ec41cf4d, 0x00a87917088e262b),
P64::new(0x02944ff5aec02945, 0x00a513fd6bb00a51),
P64::new(0x2cb033128382df71, 0x00a36e71a2cb0331),
P64::new(0x1ccacc0c84b1c2a9, 0x00a03c1688732b30),
P64::new(0x19a93db575eb3a0b, 0x009c69169b30446d),
P64::new(0xcebeef94fa86fe2d, 0x009baade8e4a2f6e),
P64::new(0x6faa77fb3f8df54f, 0x00980e4156201301),
P64::new(0x68a58af00975a751, 0x00975a750ff68a58),
P64::new(0xd56e36d0c3efac07, 0x009548e4979e0829),
P64::new(0xd8b44c47a8299b73, 0x0093efd1c50e726b),
P64::new(0x02d9ccaf9ba70e41, 0x0091f5bcb8bb02d9),
P64::new(0x0985e1c023d9e879, 0x008f67a1e3fdc261),
P64::new(0x2a343316c494d305, 0x008e2917e0e702c6),
P64::new(0x70cb7916ab67652f, 0x008d8be33f95d715),
P64::new(0xd398f132fb10fe5b, 0x008c55841c815ed5),
P64::new(0x6f2a38a6bf54fa1f, 0x0088d180cd3a4133),
P64::new(0x211df689b98f81d7, 0x00869222b1acf1ce),
P64::new(0x0e994983e90f1ec3, 0x0085797b917765ab),
P64::new(0xad671e44bed87f3b, 0x008355ace3c897db),
P64::new(0xf9623a0516e70fc7, 0x00824a4e60b3262b),
P64::new(0x4b7129be9dece355, 0x0080c121b28bd1ba),
P64::new(0x190f3b7473f62c39, 0x007dc9f3397d4c29),
P64::new(0x63dacc9aad46f9a3, 0x007d4ece8fe88139),
P64::new(0xc1108fda24e8d035, 0x0079237d65bcce50),
P64::new(0xb77578472319bd8b, 0x0077cf53c5f7936c),
P64::new(0x473d20a1c7ed9da5, 0x0075a8accfbdd11e),
P64::new(0xfbe85af0fea2c8fb, 0x007467ac557c228e),
P64::new(0x58a1f7e6ce0f4c09, 0x00732d70ed8db8e9),
P64::new(0x1a00e58c544986f3, 0x0072c62a24c3797f),
P64::new(0x7194a17f55a10dc1, 0x007194a17f55a10d),
P64::new(0x7084944785e33763, 0x006fa549b41da7e7),
P64::new(0xba10679bd84886b1, 0x006e8419e6f61221),
P64::new(0xebe9c6bb31260967, 0x006d68b5356c207b),
P64::new(0x97a3fe4bd1ff25e9, 0x006d0b803685c01b),
P64::new(0x6c6388395b84d99f, 0x006bf790a8b2d207),
P64::new(0x8c51da6a1335df6d, 0x006ae907ef4b96c2),
P64::new(0x46f3234475d5add9, 0x006a37991a23aead),
P64::new(0x905605ca3c619a43, 0x0069dfbdd4295b66),
P64::new(0xcee8dff304767747, 0x0067dc4c45c8033e),
P64::new(0xff99c27f00663d81, 0x00663d80ff99c27f),
P64::new(0xacca407f671ddc2b, 0x0065ec17e3559948),
P64::new(0xe71298bac1e12337, 0x00654ac835cfba5c),
P64::new(0xfa1e94309cd09045, 0x00645c854ae10772),
P64::new(0xbebccb8e91496b9b, 0x006372990e5f901f),
P64::new(0x312fa30cc7d7b8bd, 0x006325913c07beef),
P64::new(0x6160ff9e9f006161, 0x006160ff9e9f0061),
P64::new(0x6b03673b5e28152d, 0x0060cdb520e5e88e),
P64::new(0xfe802ffa00bfe803, 0x005ff4017fd005ff),
P64::new(0xe66fe25c9e907c7b, 0x005ed79e31a4dccd),
P64::new(0x3f8b236c76528895, 0x005d7d42d48ac5ef),
P64::new(0xf6f923bf01ce2c0d, 0x005c6f35ccba5028),
P64::new(0x6c3d3d98bed7c42f, 0x005b2618ec6ad0a5),
P64::new(0x30981efcd4b010e7, 0x005a2553748e42e7),
P64::new(0x6f691fc81ebbe575, 0x0059686cf744cd5b),
P64::new(0xb10480ddb47b52cb, 0x0058ae97bab79976),
P64::new(0x74cd59ed64f3f0d7, 0x0058345f1876865f),
P64::new(0x0105cb81316d6c0f, 0x005743d5bb24795a),
P64::new(0x9be64c6d91c1195d, 0x005692c4d1ab74ab),
P64::new(0x71b3f945a27b1f49, 0x00561e46a4d5f337),
P64::new(0x77d80d50e508fd01, 0x005538ed06533997),
P64::new(0xa5eb778e133551cd, 0x0054c807f2c0bec2),
P64::new(0x18657d3c2d8a3f1b, 0x005345efbc572d36),
P64::new(0x2e40e220c34ad735, 0x00523a758f941345),
P64::new(0xa76593c70a714919, 0x005102370f816c89),
P64::new(0x1eef452124eea383, 0x0050cf129fb94acf),
P64::new(0x38206dc242ba771d, 0x004fd31941cafdd1),
P64::new(0x4cd4c35807772287, 0x004fa1704aa75945),
P64::new(0x83de917d5e69ddf3, 0x004f3ed6d45a63ad),
P64::new(0x882ef0403b4a6c15, 0x004f0de57154ebed),
P64::new(0xf8fb6c51c606b677, 0x004e1cae8815f811),
P64::new(0xb4abaac446d3e1fd, 0x004cd47ba5f6ff19),
P64::new(0xa9f83bbe484a14e9, 0x004c78ae734df709),
P64::new(0x0bebbc0d1ce874d3, 0x004c4b19ed85cfb8),
P64::new(0xbd418eaf0473189f, 0x004bf093221d1218),
P64::new(0x44e3af6f372b7e65, 0x004aba3c21dc633f),
P64::new(0xc87fdace4f9e5d91, 0x004a6360c344de00),
P64::new(0xec93479c446bd9bb, 0x004a383e9f74d68a),
P64::new(0xdac4d592e777c647, 0x0049e28fbabb9940),
P64::new(0xa63ea8c8f61f0c23, 0x0048417b57c78cd7),
P64::new(0xe476062ea5cbbb6f, 0x0047f043713f3a2b),
P64::new(0xdf68761c69daac27, 0x00474ff2a10281cf),
P64::new(0xb813d737637aa061, 0x00468b6f9a978f91),
P64::new(0xa3a77aac1fb15099, 0x0045f13f1caff2e2),
P64::new(0x17f0c3e0712c5825, 0x0045a5228cec23e9),
P64::new(0xfd912a70ff30637b, 0x0045342c556c66b9),
P64::new(0xfbb3b5dc01131289, 0x0044c4a23feeced7),
P64::new(0x856d560a0f5acdf7, 0x0043c5c20d3c9fe6),
P64::new(0x96472f314d3f89e3, 0x00437e494b239798),
P64::new(0xa76f5c7ed2253531, 0x0043142d118e47cb),
P64::new(0x816eae7c7bf69fe7, 0x0042ab5c73a13458),
P64::new(0xb6a2bea4cfb1781f, 0x004221950db0f3db),
P64::new(0xa3900c53318e81ed, 0x0041bbb2f80a4553),
P64::new(0x60aa7f5d9f148d11, 0x0040f391612c6680),
P64::new(0x6be8c0102c7a505d, 0x0040b1e94173fefd),
P64::new(0x8ff3f0ed28728f33, 0x004050647d9d0445),
P64::new(0x680e0a87e5ec7155, 0x004030241b144f3b),
P64::new(0xbbf70fa49fe829b7, 0x003f90c2ab542cb1),
P64::new(0xd69d1e7b6a50ca39, 0x003f71412d59f597),
P64::new(0x1a1e0f46b6d26aef, 0x003f137701b98841),
P64::new(0x7429f9a7a8251829, 0x003e79886b60e278),
P64::new(0xd9c2219d1b863613, 0x003e5b1916a7181d),
P64::new(0x91406c1820d077ad, 0x003dc4a50968f524),
P64::new(0x521f4ec02e3d2b97, 0x003da6e4c9550321),
P64::new(0xbb8283b63dc8eba5, 0x003d4e4f06f1def3),
P64::new(0x431eda153229ebbf, 0x003c4a6bdd24f9a4),
P64::new(0xaf0bf78d7e01686b, 0x003c11d54b525c73),
P64::new(0xa9ced0742c086e8d, 0x003bf5b1c5721065),
P64::new(0xc26458ad9f632df9, 0x003bbdb9862f23b4),
P64::new(0xbbff1255dff892af, 0x003b6a8801db5440),
P64::new(0xcbd49a333f04d8fd, 0x003b183cf0fed886),
P64::new(0xec84ed6f9cfdeff5, 0x003aabe394bdc3f4),
P64::new(0x97980cc40bda9d4b, 0x003a5ba3e76156da),
P64::new(0x777f34d524f5cbd9, 0x003a0c3e953378db),
P64::new(0x2797051d94cbbb7f, 0x0038f03561320b1e),
P64::new(0xea769051b4f43b81, 0x0038d6ecaef5908a),
P64::new(0xce7910f3034d4323, 0x003859cf221e6069),
P64::new(0x92791d1374f5b99b, 0x0037f7415dc9588a),
P64::new(0x89a5645cc68ea1b5, 0x00377df0d3902626),
P64::new(0x5f8aacf796c0cf0b, 0x00373622136907fa),
P64::new(0xf2e90a15e33edf99, 0x0036ef0c3b39b92f),
P64::new(0x8e99e5feb897c451, 0x0036915f47d55e6d),
P64::new(0xaca2eda38fb91695, 0x0036072cf3f866fd),
P64::new(0x5d9b737be5ea8b41, 0x0035d9b737be5ea8),
P64::new(0x4aefe1db93fd7cf7, 0x0035961559cc81c7),
P64::new(0xa0994ef20b3f8805, 0x0035531c897a4592),
P64::new(0x103890bda912822f, 0x00353ceebd3e98a4),
P64::new(0xb441659d13a9147d, 0x0034fad381585e5e),
P64::new(0x1e2134440c4c3f21, 0x00347884d1103130),
P64::new(0x263a27727a6883c3, 0x00340dd3ac39bf56),
P64::new(0x78e221472ab33855, 0x003351fdfecc140c),
P64::new(0x95eac88e82e6faff, 0x00333d72b089b524),
P64::new(0xf66c258317be8dab, 0x0033148d44d6b261),
P64::new(0x09ee202c7cb91939, 0x0032d7aef8412458),
P64::new(0x8d2fca1042a09ea3, 0x0032c3850e79c0f1),
P64::new(0x82779c856d8b8bf1, 0x00328766d59048a2),
P64::new(0x3879361cba8a223d, 0x00325fa18cb11833),
P64::new(0xf23f43639c3182a7, 0x00324bd659327e22),
P64::new(0xa03868fc474bcd13, 0x0032246e784360f4),
P64::new(0x651e78b8c5311a97, 0x0031afa5f1a33a08),
P64::new(0x8ffce639c00c6719, 0x00319c63ff398e70),
P64::new(0xf7b460754b0b61cf, 0x003162f7519a86a7),
P64::new(0x7b03f3359b8e63b1, 0x0030271fc9d3fc3c),
P64::new(0xa55c5326041eb667, 0x002ff104ae89750b),
P64::new(0x647f88ab896a76f5, 0x002fbb62a236d133),
P64::new(0x8fd971434a55a46d, 0x002f74997d2070b4),
P64::new(0x9fbf969958046447, 0x002ed84aa8b6fce3),
P64::new(0x9986feba69be3a81, 0x002e832df7a46dbd),
P64::new(0xa668b3e6d053796f, 0x002e0e0846857cab),
P64::new(0x97694e6589f4e09b, 0x002decfbdfb55ee6),
P64::new(0x37890c00b7721dbd, 0x002ddc876f3ff488),
P64::new(0x5ac094a235f37ea9, 0x002dbbc1d4c482c4),
P64::new(0x31cff775f2d5d65f, 0x002d8af0e0de0556),
P64::new(0xddad8e6b36505217, 0x002d4a7b7d14b30a),
P64::new(0x5a27df897062cd03, 0x002d2a85073bcf4e),
P64::new(0xe2396fe0fdb5a625, 0x002d1a9ab13e8be4),
P64::new(0xb352a4957e82317b, 0x002ceb1eb4b9fd8b),
P64::new(0xd8ab3f2c60c2ea3f, 0x002c8d503a79794c),
P64::new(0x6893f702f0452479, 0x002c404d708784ed),
P64::new(0x9686fdc182acf7e3, 0x002c31066315ec52),
P64::new(0x6854037173dce12f, 0x002c1297d80f2664),
P64::new(0x7f0ded1685c27331, 0x002c037044c55f6b),
P64::new(0xeeda72e1fe490b7d, 0x002be5404cd13086),
P64::new(0x9e7bfc959a8e6e53, 0x002bb845adaf0cce),
P64::new(0x49b314d6d4753dd7, 0x002b5f62c639f16d),
P64::new(0x2e8f8c5ac4aa1b3b, 0x002b07e6734f2b88),
P64::new(0xb8ef723481163d33, 0x002ace569d8342b7),
P64::new(0x6a2ec96a594287b7, 0x002a791d5dbd4dcf),
P64::new(0xdba41c6d13aab8c5, 0x002a4eff8113017c),
P64::new(0xc2adbe648dc3aaf1, 0x002a3319e156df32),
P64::new(0x87a2bade565f91a7, 0x002a0986286526ea),
P64::new(0x4d6fe8798c01f5df, 0x0029d29551d91e39),
P64::new(0x3791310c8c23d98b, 0x0029b7529e109f0a),
P64::new(0xf80e446b01228883, 0x00298137491ea465),
P64::new(0x9aed1436fbf500cf, 0x0029665e1eb9f9da),
P64::new(0x7839b54cc8b24115, 0x002909752e019a5e),
P64::new(0xc128c646ad0309c1, 0x0028ef35e2e5efb0),
P64::new(0x14de631624a3c377, 0x0028c815aa4b8278),
P64::new(0x3f7b9fe68b0ecbf9, 0x0028bb1b867199da),
P64::new(0x284ffd75ec00a285, 0x0028a13ff5d7b002),
P64::new(0x37803cb80dea2ddb, 0x00287ab3f173e755),
P64::new(0x86b63f7c9ac4c6fd, 0x00286dead67713bd),
P64::new(0x8b6851d1bd99b9d3, 0x002847bfcda6503e),
P64::new(0xb62fda77ca343b6d, 0x002808c1ea6b4777),
P64::new(0x1f0dc009e34383c9, 0x00278d0e0f23ff61),
P64::new(0x496dc21ddd35b97f, 0x002768863c093c7f),
P64::new(0xb0e96ce17090f82b, 0x0027505115a73ca8),
P64::new(0xaadf05acdd7d024d, 0x00274441a61dc1b9),
P64::new(0xcb138196746eafb5, 0x0026b5c166113cf0),
P64::new(0x347f523736755d61, 0x00269e65ad07b18e),
P64::new(0xd14a48a051f7dd0b, 0x002692c25f877560),
P64::new(0x474d71b1ce914d25, 0x002658fa7523cd11),
P64::new(0x386063f5e28c1f89, 0x0026148710cf0f9e),
P64::new(0x1db7325e32d04e73, 0x002609363b22524f),
P64::new(0xfef748d3893b880d, 0x0025d1065a1c1122),
P64::new(0x2f3351506e935605, 0x0025a48a382b863f),
P64::new(0x7a3637fa2376415b, 0x0025837190eccdbc),
P64::new(0x4ac525d2baa21969, 0x00256292e95d510c),
P64::new(0x3a11c16b42cd351f, 0x002541eda98d068c),
P64::new(0x6c7abde0049c2a11, 0x0024e15087fed8f5),
P64::new(0x54dad0303e069ac7, 0x0024c18b20979e5d),
P64::new(0xebf1ac9fdfe91433, 0x0024ac7b336de0c5),
P64::new(0xfafdda8237cec655, 0x0024a1fc478c60bb),
P64::new(0xdce3ff6e71ffb739, 0x002463801231c009),
P64::new(0xbed5737d6286db1b, 0x0024300fd506ed33),
P64::new(0xe479e431fe08b4df, 0x0023f314a494da81),
P64::new(0x9dd9b0dd7742f897, 0x0023cadedd2fad3a),
P64::new(0x8f09d7402c5a5e87, 0x00237b7ed2664a03),
P64::new(0x9216d5c4d958738d, 0x0023372967dbaf1d),
P64::new(0xb3139ba11d34ca63, 0x00231a308a371f20),
P64::new(0x47d54f7ed644afaf, 0x002306fa63e1e600),
P64::new(0x92a81d85cf11a1b1, 0x0022fd6731575684),
P64::new(0x754b26533253bdfd, 0x0022ea507805749c),
P64::new(0xbbe0efc980bfd467, 0x0022e0cce8b3d720),
P64::new(0xc0d8d594f024dca1, 0x0022b1887857d161),
P64::new(0x8238d43bcaac1a65, 0x00227977fcc49cc0),
P64::new(0x27779c1fae6175bb, 0x00225db37b5e5f4f),
P64::new(0xa746ca9af708b2c9, 0x0022421b91322ed6),
P64::new(0x93f3cd9f389be823, 0x0021f05b35f52102),
P64::new(0x5cb4a4c04c489345, 0x0021e75de5c70d60),
P64::new(0xbf6047743e85b6b5, 0x0021a01d6c19be96),
P64::new(0x61c147831563545f, 0x0021974a6615c81a),
P64::new(0xedb47c0ae62dee9d, 0x00213767697cf36a),
P64::new(0x0a3824386673a573, 0x00211d9f7fad35f1),
P64::new(0xa4a77d19e575a0eb, 0x0020fb7d9dd36c18),
P64::new(0xa2bee045e066c279, 0x0020e2123d661e0e),
P64::new(0xc23618de8ab43d05, 0x0020d135b66ae990),
P64::new(0x266b515216cb9f2f, 0x0020c8cded4d7a8e),
P64::new(0xe279edd9e9c2e85b, 0x0020b80b3f43ddbf),
P64::new(0xd0c591c221dc9c53, 0x002096b9180f46a6),
P64::new(0x06da8ee9c9ee7c21, 0x00207de7e28de5da),
P64::new(0x9dfebcaf4c27e8c3, 0x002054dec8cf1fb3),
P64::new(0x49aeff9f19dd6de5, 0x00204cb630b3aab5),
P64::new(0x86976a57a296e9c7, 0x00202428adc37beb),
P64::new(0xa3b9abf4872b84cd, 0x001fec0c7834def4),
P64::new(0x34fca6483895e6ef, 0x001fc46fae98a1d0),
P64::new(0x34b5a333988f873d, 0x001facda430ff619),
P64::new(0xd9dd4f19b5f17be1, 0x001f7e17dd8e15e5),
P64::new(0xb935b507fd0ce78b, 0x001f765a3556a4ee),
P64::new(0xb450f5540660e797, 0x001f66ea49d802f1),
P64::new(0x63ff82831ffc1419, 0x001f5f3800faf9c0),
P64::new(0x8992f718c22a32fb, 0x001f38f4e6c0f1f9),
P64::new(0x5f3253ad0d37e7bf, 0x001f0b8546752578),
P64::new(0x007c0ffe0fc007c1, 0x001f03ff83f001f0),
P64::new(0x4d8ebadc0c0640b1, 0x001ec853b0a3883c),
P64::new(0xe2729af831037bdb, 0x001ec0ee573723eb),
P64::new(0xb8f64bf30feebfe9, 0x001eaad38e6f6894),
P64::new(0xda93124b544c0bf5, 0x001e9c28a765fe53),
P64::new(0x9cf7ff0b593c539f, 0x001e94d8758c2003),
P64::new(0xd6bd8861fa0e07d9, 0x001e707ba8f65e68),
P64::new(0x5cfe75c0bd8ab891, 0x001e53a2a68f574e),
P64::new(0x43e808757c2e862b, 0x001e1380a56b438d),
P64::new(0x90caa96d595c9d93, 0x001dbf9f513a3802),
P64::new(0x8fd550625d07135f, 0x001db1d1d58bc600),
P64::new(0x76b010a86e209f2d, 0x001d9d358f53de38),
P64::new(0xecc0426447769b25, 0x001d81e6df6165c7),
P64::new(0xe381339caabe3295, 0x001d4bdf7fd40e30),
P64::new(0xd1b190a2d0c7673f, 0x001d452c7a1c958d),
P64::new(0xc3bce3cf26b0e7eb, 0x001d37cf9b902659),
P64::new(0x5f87e76f56c61ce3, 0x001d1d3a5791e97b),
P64::new(0xc06c6857a124b353, 0x001ce89fe6b47416),
P64::new(0x38c040fcba630f75, 0x001ce219f3235071),
P64::new(0xd078bc4fbd533b21, 0x001cd516dcf92139),
P64::new(0xde8e15c5dd354f59, 0x001cbb33bd1c2b8b),
P64::new(0xca61d53d7414260f, 0x001ca7e7d2546688),
P64::new(0xb56bf5ba8eae635d, 0x001c94b5c1b3dbd3),
P64::new(0x44a72cb0fb6e3949, 0x001c87f7f9c241c1),
P64::new(0x879839a714f45bcd, 0x001c6202706c35a9),
P64::new(0x02a8994fde5314b7, 0x001c5bb8a9437632),
P64::new(0xb971920cf2b90135, 0x001c174343b4111e),
P64::new(0x8a8fd0b7df9a6e8b, 0x001c04d0d3e46b42),
P64::new(0xb31f9a84c1c6eaad, 0x001bfeb00fbf4308),
P64::new(0x92293b02823c6d83, 0x001bec5dce0b202d),
P64::new(0xeee77ff20fe5ddcf, 0x001be03444620037),
P64::new(0x0e1ea0f6c496c11d, 0x001bce09c66f6fc3),
P64::new(0xfdf2d3d6f88ccb6b, 0x001ba40228d02b30),
P64::new(0xfa9d74a3457738f9, 0x001b9225b1cf8919),
P64::new(0xefc3ca3db71a5785, 0x001b864a2ff3f53f),
P64::new(0x8e2071718d0d6daf, 0x001b80604150e49b),
P64::new(0xbc0fdbfeb6cfabfd, 0x001b6eb1aaeaacf3),
P64::new(0x1eeab613e5e5aee9, 0x001b62f48da3c8cc),
P64::new(0x2d2388e90e9e929f, 0x001b516babe96092),
P64::new(0x81dbafba588ddb43, 0x001b2e9cef1e0c87),
P64::new(0x52eebc51c4799791, 0x001b1d56bedc849b),
P64::new(0x1c6bc4693b45a047, 0x001b0c267546aec0),
P64::new(0x06eee0974498874d, 0x001ae45f62024fa0),
P64::new(0xd85b7377a9953cb9, 0x001ad917631b5f54),
P64::new(0x4b6df412d4caf56f, 0x001ac83d18cb608f),
P64::new(0x6b8afbbb4a053493, 0x001aa6c7ad8c063f),
P64::new(0xcc5299c96ac7720b, 0x001a90a7b1228e2a),
P64::new(0xadce84b5c710aa99, 0x001a8027c03ba059),
P64::new(0x9d673f5aa3804225, 0x001a7533289deb89),
P64::new(0xe6541268efbce7f7, 0x001a2ed7ce16b49f),
P64::new(0xfcf41e76cf5be669, 0x0019fefc0a279a73),
P64::new(0x5c3eb5dc31c383cb, 0x0019e4b0cd873b5f),
P64::new(0x301832d11d8ad6c3, 0x0019cfcdfd60e514),
P64::new(0x2e9c0942f1ce450f, 0x0019c56932d66c85),
P64::new(0x97f3f2be37a39a5d, 0x0019b5e1ab6fc7c2),
P64::new(0xe8b7d8a9654187c7, 0x0019b0b8a62f2a73),
P64::new(0xb5d024d7da5b1b55, 0x0019a149fc98942c),
P64::new(0xb8ba9d6e7ae3501b, 0x001969517ec25b85),
P64::new(0xf50865f71b90f1df, 0x00194b3083360ba8),
P64::new(0x739c1682847df9e1, 0x00194631f4bebdc1),
P64::new(0xc470a4d842b90ed1, 0x00191e84127268fd),
P64::new(0x1fb1be11698cc409, 0x00190adbb543984f),
P64::new(0xd8d5512a7cd35d15, 0x001901130bd18200),
P64::new(0xa5496821723e07f9, 0x0018e3e6b889ac94),
P64::new(0xbcc8c6d7abaa8167, 0x0018c233420e1ec1),
P64::new(0x52c396c95eb619a1, 0x0018aa5872d92bd6),
P64::new(0x6eb7e380878ec74b, 0x0018a5989945ccf9),
P64::new(0x3d5513b504537157, 0x00189c1e60b57f60),
P64::new(0x314391f8862e948f, 0x0018893fbc8690b9),
P64::new(0xdc0b17cfcd81f5dd, 0x00187b2bb3e1041c),
P64::new(0x2f6bea3ec89044b3, 0x00186d27c9cdcfb8),
P64::new(0xce13a05869f1b57f, 0x001863d8bf4f2c1c),
P64::new(0x7593474e8ace3581, 0x00185f33e2ad7593),
P64::new(0x07fc329295a05e4d, 0x001855ef75973e13),
P64::new(0xb05377cba4908d23, 0x001848160153f134),
P64::new(0xe7b2131a628aa39b, 0x001835b72e6f0656),
P64::new(0x9031dbed7de01527, 0x00182c922d83eb39),
P64::new(0x76844b1c670aa9a9, 0x0018280243c0365a),
P64::new(0x6a03f4533b08915f, 0x00181a5cd5898e73),
P64::new(0x1dbca579db0a3999, 0x001803c0961773aa),
P64::new(0x002ffe800bffa003, 0x0017ff4005ffd001),
P64::new(0x478ab1a3e936139d, 0x0017e8d670433edb),
P64::new(0x66e722bc4c5cc095, 0x0017d7066cf4bb5d),
P64::new(0x7a8f63c717278541, 0x0017ce285b806b1f),
P64::new(0xdf6eee24d292bc2f, 0x0017af52cdf27e02),
P64::new(0x9fc20d17237dd569, 0x0017997d47d01039),
P64::new(0xcdf9932356bda2ed, 0x00177f7ec2c6d0ba),
P64::new(0x97b5e332e80f68d7, 0x00177b2f3cd00756),
P64::new(0x46eee26fd875e2e5, 0x00176e4a22f692a0),
P64::new(0x3548a8e65157a611, 0x001765b94271e11b),
P64::new(0xc288d03be9b71e3b, 0x001761732b044ae4),
P64::new(0x8151186db38937ab, 0x00173f7a5300a2bc),
P64::new(0x7800b910895a45f1, 0x001722112b48be1f),
P64::new(0xaee0b024182eec3d, 0x001719b7a16eb843),
P64::new(0x96323eda173b5713, 0x00170d3c99cc5052),
P64::new(0x0ed0dbd03ae77c8b, 0x0016fcad7aed3bb6),
P64::new(0xf73800b7828dc119, 0x0016f051b8231ffd),
P64::new(0x1b61715ec22b7ca5, 0x0016e81beae20643),
P64::new(0xa8533a991ead64bf, 0x0016c3721584c1d8),
P64::new(0x7f6c7290e46c2e77, 0x0016b34c2ba09663),
P64::new(0x6325e8d907b01db1, 0x00169f3ce292ddcd),
P64::new(0x28909f70152a1067, 0x00169344b2220a0d),
P64::new(0xea7077af0997a0f5, 0x001687592593c1b1),
P64::new(0x7e605cad10c32e6d, 0x00167787f1418ec9),
P64::new(0x471b33570635b38f, 0x001663e190395ff2),
P64::new(0xab559fa997a61bb3, 0x00164c7a4b6eb5b3),
P64::new(0xad4bdae562bddab9, 0x0016316a061182fd),
P64::new(0x055e1b2f2ed62f45, 0x001629ba914584e4),
P64::new(0x03cd328b1a2dca9b, 0x00161e3d57de21b2),
P64::new(0xd28f4e08733218a9, 0x001612cc01b977f0),
P64::new(0xb6800b077f186293, 0x00160efe30c525ff),
P64::new(0x6fbd138c3fd9c207, 0x0015da45249ec5de),
P64::new(0xb117ccd12ae88a89, 0x0015d68ab4acff92),
P64::new(0x2f1a1a044046bceb, 0x0015c3f989d1eb15),
P64::new(0x548aba0b060541e3, 0x0015b535ad11b8f0),
P64::new(0xcf4e808cea111b2f, 0x0015addb3f424ec1),
P64::new(0xdbec1b4fa855a475, 0x00159445cb91be6b),
P64::new(0xe3f794eb600d7821, 0x00158d0199771e63),
P64::new(0x34fae0d9a11f7c59, 0x00157e87d9b69e04),
P64::new(0xf006b0ccbbac085d, 0x001568f58bc01ac3),
P64::new(0x3f45076dc3114733, 0x00155e3c993fda9b),
P64::new(0xeef49bfa58a1a1b7, 0x001548eacc5e1e6e),
P64::new(0x12c4218bea691fa3, 0x001541d8f91ba6a7),
P64::new(0xbc7504e3bd5e64f1, 0x00153747060cc340),
P64::new(0x4ee21c292bb92fad, 0x001514569f93f7c4),
P64::new(0x34338b7327a4bacf, 0x00150309705d3d79),
P64::new(0x3fe5c0833d6fccd1, 0x0014ff97020cf5bf),
P64::new(0xb1e70743535203c1, 0x0014e42c114cf47e),
P64::new(0xefbb5dcdfb4e43d3, 0x0014b835bdcb6447),
P64::new(0xca68467ca5394f9f, 0x0014b182b53a9ab7),
P64::new(0x8c51c081408b97a1, 0x0014ae2ad094a3d3),
P64::new(0x3275a899dfa5dd65, 0x00149a320ea59f96),
P64::new(0x9e674cb62e1b78bb, 0x001490441de1a2fb),
P64::new(0xa37ff5bb2a998d47, 0x001489aacce57200),
P64::new(0x792a999db131a22b, 0x001475f82ad6ff99),
P64::new(0x1b48841bc30d29b9, 0x00146c2cfe53204f),
P64::new(0xf06721d2011d3471, 0x00145f2ca490d4a1),
P64::new(0x93fd2386dff85ebd, 0x001458b2aae0ec87),
P64::new(0x4ce72f54c07ed9b5, 0x00144bcb0a3a3150),
P64::new(0xd6d0fd3e71dd827b, 0x001428a1e65441d4),
P64::new(0x856405fb1eed819d, 0x00142575a6c210d7),
P64::new(0x8ea8aceb7c443989, 0x00141f2025ba5c46),
P64::new(0x34a13026f62e5873, 0x00141bf6e35420fd),
P64::new(0x1eea0208ec0af4f7, 0x001409141d1d313a),
P64::new(0x63679853cea598cb, 0x0013dd8bc19c3513),
P64::new(0xc30b3ebd61f2d0ed, 0x0013da76f714dc8f),
P64::new(0x7eb9037bc7f43bc3, 0x0013d13e50f8f49e),
P64::new(0xa583e6f6ce016411, 0x0013c80e37ca3819),
P64::new(0xf1938d895f1a74c7, 0x0013bee69fa99ccf),
P64::new(0x80cf1491c1e81e33, 0x0013b8d0ede55835),
P64::new(0x3c0f12886ba8f301, 0x0013afb7680bb054),
P64::new(0x0e4b786e0dfcc5ab, 0x0013acb0c3841c96),
P64::new(0x672684c93f2d41ef, 0x00139a9c5f434fde),
P64::new(0xe00757badb35c51b, 0x0013949cf33a0d9d),
P64::new(0xd6d84afe66472edf, 0x001382b4a00c31b0),
P64::new(0xfbbc0eedcbbfb6e1, 0x00137fbbc0eedcbb),
P64::new(0x250f43aa08a84983, 0x001370ecf047b069),
P64::new(0x04400e927b1acaa5, 0x00136df9790e3155),
P64::new(0x56572be34b9d3215, 0x0013567dd8defd5b),
P64::new(0x87964ef7781c62bf, 0x0013539261fdbc34),
P64::new(0x29ed84051c06e9af, 0x00133c564292d28a),
P64::new(0xb00acd11ed3f87fd, 0x001333ae178d6388),
P64::new(0x06307881744152d9, 0x0013170ad00d1fd7),
P64::new(0x7a786459f5c1ccc9, 0x0013005f01db0947),
P64::new(0x1308125d74563281, 0x0012f51d40342210),
P64::new(0x395310a480b3e34d, 0x0012ef815e4ed950),
P64::new(0x35985baa8b202837, 0x0012ecb4abccd827),
P64::new(0x96304a6e052b3223, 0x0012e71dc1d3d820),
P64::new(0xbd8265fc9af8fd45, 0x0012e45389a16495),
P64::new(0x1b6d0b383ec58e0b, 0x0012c5d9226476cc),
P64::new(0xc21a7c3b68b28503, 0x0012badc391156fd),
P64::new(0x236fa180fbfd6007, 0x0012aa78e412f522),
P64::new(0xc42accd440ed9595, 0x0012a251f5f47fd1),
P64::new(0x7acf7128236ba3f7, 0x001294cb85c53534),
P64::new(0xf909367a987b9c79, 0x0012921963beb65e),
P64::new(0xb64efb252bfba705, 0x00128cb777c69ca8),
P64::new(0x980d4f5a7e4cd25b, 0x001284aa6cf07294),
P64::new(0xe1ecc4ef27b0c37d, 0x001281fcf6ac7f87),
P64::new(0x9111aebb81d72653, 0x001279f937367db9),
P64::new(0x8951f985cb2c67ed, 0x00126cad0488be94),
P64::new(0xc439d4fc54e0b5d7, 0x00126a06794646a2),
P64::new(0xe857bf31896d533b, 0x00125a2f2bcd3e95),
P64::new(0xb614bb4cb5023755, 0x00124d108389e6b1),
P64::new(0x938a89e5473bf1ff, 0x00124a73083771ac),
P64::new(0xeac481aca34de039, 0x00123d6acda0620a),
P64::new(0x14b961badf4809a7, 0x00122b4b2917eafd),
P64::new(0x76784fecba352435, 0x00122391bfce1e2f),
P64::new(0xefa689bb58aef5e1, 0x00121e6f1ea579f2),
P64::new(0xb2b2c4db9c3a8197, 0x001216c09e471568),
P64::new(0x2503bc992279f8cf, 0x00120c8cb9d93909),
P64::new(0xd2ab9aec5ca1541d, 0x001204ed58e64ef9),
P64::new(0x3e78ba1460f99af3, 0x0011fd546578f00c),
P64::new(0x0a01426572cfcb63, 0x0011e9310b8b4c9c),
P64::new(0xbea857968f3cbd67, 0x0011da3405db9911),
P64::new(0x78db213eefe659e9, 0x0011d7b6f4eb055d),
P64::new(0x963e8541a74d35f5, 0x0011d2bee748c145),
P64::new(0x9e22d152776f2e43, 0x0011c1706ddce7a7),
P64::new(0x05d10d39d1e1f291, 0x0011ba0fed2a4f14),
P64::new(0x374468dccaced1dd, 0x0011b528538ed64a),
P64::new(0x8d145c7d110c5ad5, 0x0011ab61404242ac),
P64::new(0x3251a39f5acb5737, 0x00119f378ce81d2f),
P64::new(0xa66e50171443506f, 0x001195889ece79da),
P64::new(0x124f69ad91dd4cbd, 0x00118e4c65387077),
P64::new(0xec24f8f2a61a2793, 0x001187161d70e725),
P64::new(0xb472148e656b7a51, 0x00116cd6d1c85239),
P64::new(0x0adf9570e1142f07, 0x001165bbe7ce86b1),
P64::new(0x89bf33b065119789, 0x0011635ee344ce36),
P64::new(0x8f0149803cb291eb, 0x0011579767b6d679),
P64::new(0x8334b63afd190a31, 0x00114734711e2b54),
P64::new(0x920908d50d6aba7d, 0x0011428b90147f05),
P64::new(0x57d8b018c5a33d53, 0x00113b92f3021636),
P64::new(0xea1773092dc27ee5, 0x001126cabc886884),
P64::new(0xcae5f38b7bf2e00f, 0x0011247eb1b85976),
P64::new(0x2bd02df34f695349, 0x0011190bb01efd65),
P64::new(0xddfecd5be62e2eb7, 0x0011091de0fd679c),
P64::new(0xdbf849ebec96c4a3, 0x001104963c7e4e0b),
P64::new(0xda31d4d0187357c5, 0x00110253516420b0),
P64::new(0xe34e21cc2d5418a7, 0x0010f70db7c41797),
P64::new(0x68ca5137a9e574ad, 0x0010e75ee2bf9ecd),
P64::new(0x3eaa0d0f804bfd19, 0x0010e2e91c6e0676),
P64::new(0x554fb753cc20e9d1, 0x0010da049b9d428d),
P64::new(0x797afcca1300756b, 0x0010c6248fe3b1a2),
P64::new(0x8b8d950b52eeea77, 0x0010c1c03ed690eb),
P64::new(0xfb6cd166acabc185, 0x0010bb2e1379e3a2),
P64::new(0x4eb6c5ed9437a7af, 0x0010b8fe7f61228e),
P64::new(0xd1eddbd91b790cdb, 0x0010b4a10d60a4f7),
P64::new(0x93d714ea4d8948e9, 0x0010ae192681ec0f),
P64::new(0x3ca13ed8145188d3, 0x0010abecfbe5b0ae),
P64::new(0x829086016da89c57, 0x00109eefd568b96d),
P64::new(0xd7da1f432124a543, 0x00109a9ff178b40c),
P64::new(0x7ead5581632fb07f, 0x00108531e22f9ff9),
P64::new(0x35443837f63ec3bd, 0x00106ddec1af4417),
P64::new(0x89e2b200e5519461, 0x0010614174a4911d),
P64::new(0xe9ae44f0b7289c0b, 0x00105f291f0448e7),
P64::new(0x94387a277b9fa817, 0x00105afa0ef32891),
P64::new(0xc84f1a58abfc2c25, 0x001054b777bd2530),
P64::new(0x71101d8e3c83377b, 0x00104e79a97fb69e),
P64::new(0xc024abe5c50ba69d, 0x00104c661eafd845),
P64::new(0x15de4eb365a65d73, 0x0010462ea939c933),
P64::new(0x09ed28a76bcca931, 0x00102f8baa442836),
P64::new(0x816bffbf4a00205b, 0x00102d7ff7e94004),
P64::new(0x1f5c71543d558069, 0x0010275ff9f13c02),
P64::new(0xf25c64d0ec53b859, 0x001017213fcbb4d3),
P64::new(0x96c02c2ef1e0ff0f, 0x00101112234579d1),
P64::new(0x19a804816870a333, 0x00100501907d271c),
P64::new(0x6de49add0971c555, 0x00100300901b0510),
P64::new(0x528087e684c71aab, 0x000ffd008fe5050f),
P64::new(0xa94152c269bcdeef, 0x000ff10e02dd5084),
P64::new(0x0379450a3c2b6bdf, 0x000fe13b9c80c67f),
P64::new(0xd2cd38bafe5373e1, 0x000fdf4384be37ad),
P64::new(0xc29df2bea71d8bad, 0x000fdb54cbe8766e),
P64::new(0xc15862775f302e83, 0x000fd5725ca6ff32),
P64::new(0x1016af2fe55ede09, 0x000fc7c84684c6fb),
P64::new(0x3d26dbd9d1910715, 0x000fc3e5265dbaa8),
P64::new(0x621dab2dfaf3dfbf, 0x000fc1f44e0cae12),
P64::new(0xb6f1d7ac287338b1, 0x000fb0921c50a7af),
P64::new(0x8d9e9f0c3f9e7fd9, 0x000f999fd70cbc6b),
P64::new(0x60a93f8762e914bb, 0x000f9023fd5339d0),
P64::new(0xb14371f247c159c9, 0x000f8a78ce671475),
P64::new(0x6dd3b484471d4eb3, 0x000f8895fee86574),
P64::new(0xcd172f4701c1684d, 0x000f7f2ecb084b10),
P64::new(0x0372e686ed8bb537, 0x000f7d4eb7d10c29),
P64::new(0xbc07f7ca65c5b071, 0x000f73f52277a3c3),
P64::new(0xab2b6170c3f78d9b, 0x000f7217c598961c),
P64::new(0xf3d74f461fe6f5b5, 0x000f68cbb1448f42),
P64::new(0xdbc13f4b31f3230b, 0x000f633d0276e4c5),
P64::new(0xd1420716e3f1572d, 0x000f6163ac20ec79),
P64::new(0xd5be2fd4d805464f, 0x000f582ba2bc16c6),
P64::new(0xc68b97c136943851, 0x000f5654f43290a0),
P64::new(0x9e27918af7cfb473, 0x000f4d2a23810bc6),
P64::new(0x5ec8ab6c36ac7f41, 0x000f47af4d6a2f27),
P64::new(0x964076331dd90979, 0x000f4066f2b6e652),
P64::new(0x30198eff77b002d7, 0x000f2555048e3a92),
P64::new(0x3af7cb9583ece011, 0x000f1c64588a5bf6),
P64::new(0x34ce06f643d9883b, 0x000f1a9be09cb411),
P64::new(0x79f767e528708c55, 0x000f11b7d5259d39),
P64::new(0x185332d2ef2313cd, 0x000f0aa284e7f802),
P64::new(0x43b611b84c8332a3, 0x000f0556e5e3b7f2),
P64::new(0xc2e215e4f43bb63d, 0x000efc8bcbc808e5),
P64::new(0xf94b9dd22ce44e97, 0x000eecd1a690efbb),
P64::new(0xd895834a1db166a5, 0x000ee79aed6d65f2),
P64::new(0x347d2f16d19b8d09, 0x000edd386114d83a),
P64::new(0x1b54d4dc45b7d98d, 0x000ed2e44366e5e2),
P64::new(0x117ac30d9a044877, 0x000ed12cf8e17f64),
P64::new(0x0e10b78a67a526e9, 0x000ec1cd284b2b2d),
P64::new(0x92da68a818688a9f, 0x000ebcb44cadda1e),
P64::new(0xcf2b6c87f741f84b, 0x000eb9505943771d),
P64::new(0xd264f9bd41e18ed9, 0x000eb43d57efeadc),
P64::new(0x733cbeaa97166d8f, 0x000eaf2dd4c00b03),
P64::new(0xc9f475b021d22e81, 0x000ea0141c1ba6a6),
P64::new(0x731f76f2ec4c852b, 0x000e9e68805f05a7),
P64::new(0xdaf6f0c978f69945, 0x000e96142b87e431),
P64::new(0x749c8ad20c61ec93, 0x000e8a7acd811b8c),
P64::new(0x09307ff8bd3c1261, 0x000e8587db3e001d),
P64::new(0x334a69fb5a486e2d, 0x000e823d186d44dc),
P64::new(0x1f36c7bf31578617, 0x000e8098463ee194),
P64::new(0x31ebbcc279ea6103, 0x000e7d4fbfb3ee1d),
P64::new(0x42e2aad119f466eb, 0x000e69bba6981ffa),
P64::new(0x106ec05a0ab1450d, 0x000e681c5cf7d707),
P64::new(0xb1b38db92a99e731, 0x000e5e684930e334),
P64::new(0x784ae377e67071e7, 0x000e5993247dc92d),
P64::new(0x3e9e1471ba6671d7, 0x000e4cbfee201016),
P64::new(0x82c29b59d4d73d0f, 0x000e465ee7daf979),
P64::new(0xc23dd07128b5525d, 0x000e4199de07af5c),
P64::new(0x4d4e5ce0e9245133, 0x000e3cd8031d4f40),
P64::new(0xc8fd1057c09f8cc5, 0x000e2ea56c157eb2),
P64::new(0xea1516e94f394035, 0x000e221e5d4d3c73),
P64::new(0xb5e3319c564ee9df, 0x000e208f09a841c7),
P64::new(0x126a69f90d822d8b, 0x000e1d716a945161),
P64::new(0x501ed6348857aa19, 0x000e18c78ec8fd4d),
P64::new(0xde344a324eee1c83, 0x000e173a4a162079),
P64::new(0x1dd9690cb2c406d1, 0x000e1294881bb494),
P64::new(0x08d6c5178d5e4387, 0x000e0df1d5f24661),
P64::new(0x4cea4050a3e8fdc1, 0x000e063ec7f50b1e),
P64::new(0xc114a06acc83f777, 0x000e01a4313dc53d),
P64::new(0x20b060ebc0ea01db, 0x000df8780f47c350),
P64::new(0xfe50045acb78c99f, 0x000def57e8eb9666),
P64::new(0x291a68705b196e91, 0x000de1bdf3f63d46),
P64::new(0xc1042c724273e2bb, 0x000de03cb5099809),
P64::new(0x2cee680bb165b7c9, 0x000ddbbaecc84bc9),
P64::new(0xfd2ff9f12e0776d5, 0x000dd8bb5ca73db6),
P64::new(0x166a5da63af2cc6f, 0x000dcb4d529a6e07),
P64::new(0xedd16a5930408d27, 0x000dc55da73dea60),
P64::new(0x2adf30c26528844f, 0x000db3ad2585011f),
P64::new(0x9a48d6572b5eec7b, 0x000db0becf636a79),
P64::new(0x6e8bf2877503cb9d, 0x000daf481ca6fefb),
P64::new(0xea27a191a7045389, 0x000dac5ba7565dae),
P64::new(0x6eb091f34dd45d3f, 0x000da7fb4e419d19),
P64::new(0xdc8a6cabb2937d41, 0x000da6867a88d327),
P64::new(0xbc2f04f254922a05, 0x000d9dd005f50b02),
P64::new(0x41431f4d6eb38631, 0x000d9aeb01f763f7),
P64::new(0x7bd717435a08291f, 0x000d90d31dd5804a),
P64::new(0x4232df9c91fc1a55, 0x000d7b6453358f31),
P64::new(0xa4651e1d5382eab7, 0x000d744e69d900e4),
P64::new(0x7cfb5409de4cf3c5, 0x000d7011a317260e),
P64::new(0xcdd636fb068b9929, 0x000d67a0126e7c19),
P64::new(0xee8f95e740462c97, 0x000d5dd39e775bd7),
P64::new(0x490f97b3a758b4a5, 0x000d59a4f2990168),
P64::new(0x641431563c441287, 0x000d52b24cb6269d),
P64::new(0xb743dad3ec45916b, 0x000d4a6571da4f04),
P64::new(0x7b188be8f55c878d, 0x000d49044eac6581),
P64::new(0xd805648b2ca54ef9, 0x000d4642e40d1129),
P64::new(0x76dbe6eef60123af, 0x000d4222e81fe723),
P64::new(0x3711525e6a9e8867, 0x000d3ca6e8c89f41),
P64::new(0x85c2215cb383d8f5, 0x000d388ce29d4edc),
P64::new(0xe58f554c89825857, 0x000d31bc7b7d8013),
P64::new(0x8fbd3b17c01dacd9, 0x000d306071c13fd5),
P64::new(0x4c8c39dc7aedee65, 0x000d2da935479b1a),
P64::new(0x653ac6dda86cd3b3, 0x000d2430aa043597),
P64::new(0x0d61c6791a9c2c81, 0x000d2025bc6c7db7),
P64::new(0xb627a30090354237, 0x000d1c1d4ad1732b),
P64::new(0x83a89a539c527c23, 0x000d196e5f46f8c8),
P64::new(0x28c8c09330e90d71, 0x000d156a0c9293e8),
P64::new(0xee1178d27b1f029b, 0x000d1413d26e0aee),
P64::new(0xcecc740b37860ab5, 0x000d0d68c6a4128f),
P64::new(0x79736fde910c485f, 0x000d0c142eaf3837),
P64::new(0x6873d51f2487234f, 0x000d01792ab9d70d),
P64::new(0x2a112180614fb973, 0x000cf990317775bc),
P64::new(0xcb04cea98508f4eb, 0x000cf44f8c38790a),
P64::new(0xc2fcd2c527e28d7d, 0x000ce88d96d10e45),
P64::new(0x980203ee10393c69, 0x000ce5f39b07e906),
P64::new(0x3fa90a1d7d75681f, 0x000ce20e98148847),
P64::new(0xdbf3bfefef217cc3, 0x000cda4b9c30ccd7),
P64::new(0x66a17fd3087b41e5, 0x000cd9015ae32495),
P64::new(0x962195d496fbbd3b, 0x000cd524244aca36),
P64::new(0xc705a86155443e49, 0x000cd14940099cf6),
P64::new(0x3f298ee0be6febff, 0x000ccd70ac089a07),
P64::new(0xaa99b084e62fa613, 0x000cbb9c535c4371),
P64::new(0x1f000cb7d0b46fe1, 0x000cb7d0b46fe0ff),
P64::new(0x9ed7858637c9b2cf, 0x000caefe5d7135f4),
P64::new(0x4d871aaf27c106fb, 0x000cac7b5f00f0cd),
P64::new(0x2e6a467cdc75a4f3, 0x000ca7785ceddbea),
P64::new(0xe9d938fb696dde8d, 0x000ca13a2a86e1db),
P64::new(0x40ec71b0b1554485, 0x000c9c4009753007),
P64::new(0x3aae12f861e5f3e9, 0x000c94d02e64bfab),
P64::new(0xa97565873959f843, 0x000c89b8c9c875ef),
P64::new(0x0b5a960c09fbca8f, 0x000c87447737277e),
P64::new(0x463fe3d268012c91, 0x000c860aaa2514e3),
P64::new(0xe59a6bd5f5ee1bdd, 0x000c8397c813f1b9),
P64::new(0x6542e84d7775ce45, 0x000c74fa805d6d56),
P64::new(0x8b6eef58fd9effa9, 0x000c6db8a1f5cdfe),
P64::new(0x58993dbb9f98075f, 0x000c6a1add9e2398),
P64::new(0x2997955a810acf61, 0x000c68e6be826648),
P64::new(0x76e3d2f5077db451, 0x000c5f4e25fc9df0),
P64::new(0xb37c1d2867e30907, 0x000c5bb8bf2ad1cd),
P64::new(0x53ce6e09bd8d8695, 0x000c58256b316ced),
P64::new(0x39db291ea2a6b0e3, 0x000c4fd5ad917b5b),
P64::new(0xddd265ab9c58847d, 0x000c49ecb3ea4d7a),
P64::new(0x5beca8562dddd0cb, 0x000c41b00b7d950a),
P64::new(0xb69031c153ddbed7, 0x000c3f57990b87a1),
P64::new(0xd03c2271b42a6fcd, 0x000c2ddcb31250f8),
P64::new(0xcd6fd19e63e40ea3, 0x000c2a63b3651432),
P64::new(0xf7687aa8e4fd7bf1, 0x000c26ecae1db72e),
P64::new(0x649dfda112a272a7, 0x000c2377a18c051e),
P64::new(0xecf7866a56d526df, 0x000c1ede9efcec29),
P64::new(0x72bbf1cfdaebfead, 0x000c1b6e258d13a0),
P64::new(0x55f6a48df7055719, 0x000c19243f5399bb),
P64::new(0x80060bffcfa00183, 0x000c17ff9f400305),
P64::new(0x8a104f309919b087, 0x000c112865703b94),
P64::new(0x98fa7db7652f6a15, 0x000c0dbfaea33225),
P64::new(0x5d7d1b3df70f7ac1, 0x000c0b7af12ddfb9),
P64::new(0x16ab7b5e04cc1f6b, 0x000c0a58e464462c),
P64::new(0x78a5bfd2e5ececf9, 0x000c06f40512eef2),
P64::new(0x6506392e171d869f, 0x000bfa9275a2b247),
P64::new(0xc3fc12e221ef146d, 0x000bf7367402cdf0),
P64::new(0xf8aa132822c33657, 0x000bf61833f4f921),
P64::new(0x894496574f536f43, 0x000bf3dc543a74a1),
P64::new(0x8b2546b08fb4cbd5, 0x000be9d9302a7115),
P64::new(0x043bbb561bd1aa7f, 0x000be8bd6e051e01),
P64::new(0x2412c7cc4ea7a12b, 0x000be6868804d5a6),
P64::new(0x6f0bd406dd71696f, 0x000bdfe6c4359f0e),
P64::new(0xad475c6988d54b71, 0x000bdeccdb0b5c3a),
P64::new(0xd812e5d48dbbba27, 0x000bdb8058ee429a),
P64::new(0x22aaca437ba04893, 0x000bd94e5c1b371f),
P64::new(0xdba6ff1fecd5f09d, 0x000bcb1d293b1af3),
P64::new(0x13016d3396286773, 0x000bc7db8db0c1a5),
P64::new(0xc746494631bcfa41, 0x000bc49bbdfd2662),
P64::new(0xd14888565bf6a10d, 0x000bc2723240f402),
P64::new(0xc002ef885f0adf05, 0x000bbe217c2b7c13),
P64::new(0xe5a04da7fee6ade7, 0x000bb8c10aab27b2),
P64::new(0xc114ce5468593bc7, 0x000ba7ad528a7e79),
P64::new(0x0bb6747dd7f577b7, 0x000b9f3611b48c5e),
P64::new(0x395ce5a20f285839, 0x000b9e2806e5e7c4),
P64::new(0x6eee8be66e8618ef, 0x000b9aff0c4913fe),
P64::new(0x52acf64297f1241b, 0x000b98e4aedd581c),
P64::new(0x361dcc48a364093d, 0x000b97d7c94b7dc2),
P64::new(0x342d6f475d72e629, 0x000b95be902d9d9e),
P64::new(0x5e978bd46410d413, 0x000b94b23c872b90),
P64::new(0xcc3433d75ba015ad, 0x000b8f77714d15a1),
P64::new(0x1c83b7628458d4fb, 0x000b882d0beff6a1),
P64::new(0xf9ca45637e38f809, 0x000b850ff9852703),
P64::new(0xcbed792ffaf6b115, 0x000b82fd86db8806),
P64::new(0x9abd961d8c0e8c8d, 0x000b7edadd32f76c),
P64::new(0xe69572fa659340af, 0x000b79b3b4df3b7b),
P64::new(0x9187e7483a6436fd, 0x000b769e6d59833f),
P64::new(0x1e9c726993bed9d9, 0x000b6c636b5141ff),
P64::new(0x243554db91976365, 0x000b6a59ceae8801),
P64::new(0x04d06ff994c0088f, 0x000b6955461e38f7),
P64::new(0x25b76abcb74889dd, 0x000b6648c2dc6bc2),
P64::new(0x3a409642893c779b, 0x000b572282260209),
P64::new(0x8f8f620d8bc0c927, 0x000b552072bde889),
P64::new(0x6f9f196b3369855f, 0x000b511e7552f9c4),
P64::new(0x92a522bb0638ed99, 0x000b4c1ff34a5c0e),
P64::new(0x96270f1efdd7004f, 0x000b4922f58d4aa2),
P64::new(0xb4844b380fdaa79d, 0x000b46278c16b967),
P64::new(0x108936aa5f9c1495, 0x000b42301cd99b49),
P64::new(0x0b60f606f104c9eb, 0x000b3f385dd77e4e),
P64::new(0xc663dfe8263b302f, 0x000b394d8ef8f0f6),
P64::new(0xc91a280b9110b15b, 0x000b375601507c14),
P64::new(0x0904287118d10969, 0x000b3463f76be376),
P64::new(0x160d36a5d31bf553, 0x000b3368f6c4a07c),
P64::new(0xe84f5fda3c67ad21, 0x000b3078fc1c25f0),
P64::new(0xbd85701f72d4b6ed, 0x000b2e84854e93e5),
P64::new(0x4c50cf5924dee1c3, 0x000b2b971aa909a4),
P64::new(0x2455aaf1633bb6e5, 0x000b2a9da39d6bc8),
P64::new(0xd775b39f549b8ac7, 0x000b25c0dc29a0fc),
P64::new(0x87fcdda7a252cb49, 0x000b24c8698449a7),
P64::new(0x53df2e3bd254a739, 0x000b1d0ae579aefe),
P64::new(0x8915e69623a5f7ef, 0x000b1a2698ea2f9e),
P64::new(0x1ef24c80742dd08b, 0x000b108dc4186078),
P64::new(0xb4d87aaa6fb1e897, 0x000b0ea463b00212),
P64::new(0x788573e8b92dbbfb, 0x000b08ec37007962),
P64::new(0x02527b137b0878c1, 0x000b024778cc023c),
P64::new(0x1870a7c8dee9f4f5, 0x000af515df36a88e),
P64::new(0x39b99e40910a224b, 0x000af24635f6561e),
P64::new(0x45821c0abd4df247, 0x000ae8f1b92baeaf),
P64::new(0x10fe2b2f50e02fb3, 0x000ae715eee11f8e),
P64::new(0x5762b90c043f0345, 0x000adec0b0a3bb36),
P64::new(0x82a67b9193b27bbd, 0x000adb10aa4c956f),
P64::new(0xa6e914e28ec37693, 0x000ad84e49752245),
P64::new(0x835d9a4facaf445f, 0x000ad6782597f0c2),
P64::new(0x48def8175884f82d, 0x000ad3b81a0d72fe),
P64::new(0xae900e2d7c9a6f7b, 0x000acd52beced79e),
P64::new(0x1c08431bdd18be89, 0x000aca9755063254),
P64::new(0xb370a66d684fd83f, 0x000ac7dd4cafb12a),
P64::new(0xb4be33e18f93b279, 0x000ac354f80dca44),
P64::new(0x310c50872a7dd5e3, 0x000ac26d5c2b8ad2),
P64::new(0x447ab1281276697d, 0x000abde997dabd3d),
P64::new(0xc2f122216b2a6c21, 0x000ab883aa1100a0),
P64::new(0xab99c8b5ae1c3059, 0x000ab4ed637f5a0b),
P64::new(0xb78e17a2227d593b, 0x000ab074e9febf52),
P64::new(0xabf97d03f7269c5d, 0x000aaf90778c2039),
P64::new(0x867aefc9fdbfe7ff, 0x000aab1c7684f034),
P64::new(0xf7f7ad182e47d5b7, 0x000aa78f20ebbb3e),
P64::new(0x50dff95a9847721b, 0x000aa23f8dafd4cc),
P64::new(0xe4cb8a0e83cb6a35, 0x000a9dd69cad5934),
P64::new(0x8da72ecdf9247a1d, 0x000a935004a07302),
P64::new(0xc5b04bfc87f31d87, 0x000a9270690f3d14),
P64::new(0xe2dcf622ea2b00f3, 0x000a90b1a0aa5d30),
P64::new(0xb9ce9f2e4972f46b, 0x000a8d35c9d731e9),
P64::new(0x1ed785c911bf59f9, 0x000a8a9a6a51f16c),
P64::new(0x4ddb8a4eed70e085, 0x000a88de370f596b),
P64::new(0x81e93b4df68c24fd, 0x000a856786adae36),
P64::new(0xee0d0812afcd8357, 0x000a7da4c77d3161),
P64::new(0xf62e3ba72268a891, 0x000a7959f863d4a1),
P64::new(0x3194d367c8154147, 0x000a76c85e80c195),
P64::new(0xd096ede8e30c20d5, 0x000a743806dc44c4),
P64::new(0xd68624d27b87a77f, 0x000a735d866dfa0a),
P64::new(0xb728fcdc11c8204d, 0x000a70cedb02531e),
P64::new(0x9d6b6038077e066f, 0x000a6c8e842c770f),
P64::new(0xaa732d7a4a360d93, 0x000a67791215dd74),
P64::new(0x36af98a423972db5, 0x000a66a0a51d363d),
P64::new(0xc31d00da12940f17, 0x000a626893011861),
P64::new(0xed85352107410b25, 0x000a5fe22c55c089),
P64::new(0x829c85ee6db8567b, 0x000a5d5cffb77275),
P64::new(0xef60258952cc6d89, 0x000a5ad90c4186e5),
P64::new(0xcf28c2e0da787741, 0x000a578057e7c2eb),
P64::new(0x57567d8494af28f7, 0x000a54ff3bb10e91),
P64::new(0x2c7c98518f174031, 0x000a50d5683edc94),
P64::new(0xb28b363a36825ae7, 0x000a4e57854b3df4),
P64::new(0xed1ffeb64f9ae769, 0x000a4d8328c4b800),
P64::new(0xcbbb0115e9b9a31f, 0x000a4b06e01d97b3),
P64::new(0x8d3c5fecb7f9e4ed, 0x000a488bca2c4449),
P64::new(0x816271698195cfc3, 0x000a4611e6132ed5),
P64::new(0x9ac939d1c2b1d35d, 0x000a41f40f39e646),
P64::new(0xdd9fb7017b0ec455, 0x000a3eab5c3e44e9),
P64::new(0xc94cab1e57276e3d, 0x000a34ddd50561e0),
P64::new(0x8b8806b117c79913, 0x000a326d60e94186),
P64::new(0xa9e63292a3269fd1, 0x000a2985a81ce614),
P64::new(0x76da5710f1e989fb, 0x000a28b72e26f82e),
P64::new(0xdded6688d83a918d, 0x000a217aa3479693),
P64::new(0x4e446b6a305428f9, 0x000a1fe05c62df4b),
P64::new(0x4ddaca7a3696cfb1, 0x000a1cad538aebf9),
P64::new(0x7eadc4eb87f26ed3, 0x000a18b05f490083),
P64::new(0x76c13a0ff04c00c9, 0x000a0ccc4c28fc31),
P64::new(0xcbf800504d2a2681, 0x000a09a544d01ffe),
P64::new(0x0731dada6c4fec9b, 0x000a0294aa53e9a2),
P64::new(0xbcb52a664e63f627, 0x000a01041a6aaed5),
P64::new(0xf1f9abda071c2aa9, 0x000a003c01680870),
P64::new(0xf262ffa620ffe20b, 0x0009fc5558a971c8),
P64::new(0x93774a3d57199a99, 0x0009f9ff9c3c03e5),
P64::new(0xfb3541cd467a1903, 0x0009f9389b864ab9),
P64::new(0x6828cab6b4fe8f51, 0x0009f6e4534bdca8),
P64::new(0x12ac03e3d624cc9d, 0x0009f557687235c2),
P64::new(0x6363bd1e9bb7d7f7, 0x0009ee633c0391ab),
P64::new(0x334cfd676a484d2f, 0x0009eb4f28e0bb39),
P64::new(0xd511acd86f143a53, 0x0009e6b49e92e4bb),
P64::new(0x73fc2490e0062be5, 0x0009dfd4ccbd0045),
P64::new(0x10780dda36b78b55, 0x0009d9c0828536c1),
P64::new(0xabf601274064e0ab, 0x0009d77ad449f777),
P64::new(0x3ef3e4ca27e4a2cd, 0x0009d6b92b28ee48),
P64::new(0x9216a26e690a16f1, 0x0009d231a476ed51),
P64::new(0xbae4849e6034bda7, 0x0009cfef711bf120),
P64::new(0xf943a0520e01e9e1, 0x0009cc2e1448b765),
P64::new(0x7c89958f48f6658b, 0x0009cb6e26cbc64d),
P64::new(0xe67128750e0545a5, 0x0009c7b03b4a9c67),
P64::new(0xc6c9e1d414516ccf, 0x0009c6f0fd980ab1),
P64::new(0x805307f996e9e81d, 0x0009c4b3f3a30c3f),
P64::new(0x3eddd2cff46ad5bf, 0x0009c0fb29436687),
P64::new(0x35582c1aeb5aae85, 0x0009bbca025b7aec),
P64::new(0x4973c88573ef6eb1, 0x0009ba4f4421e52c),
P64::new(0x3063f627c1e715d9, 0x0009b1783809ff03),
P64::new(0x711ad679a8dcc243, 0x0009b0bc5b4d2eac),
P64::new(0x51c224a17a3db4b3, 0x0009aae172fd8b9c),
P64::new(0x612325ca50ddaed5, 0x0009aa26954607ed),
P64::new(0x9929a7b6b7958b37, 0x0009a681e758a022),
P64::new(0xa78d222e5a857bb9, 0x0009a5c7b284942e),
P64::new(0x3ad0ffe3198d139b, 0x0009a2264ecc5558),
P64::new(0x08b4659ac547ed17, 0x00099aebb39be56f),
P64::new(0x1752e8904aff1003, 0x0009997ae1a9faac),
P64::new(0x60745c37ee4e5925, 0x000998c2a22b6900),
P64::new(0x29e2da1f6557ee51, 0x000997527603f8a8),
P64::new(0x80d78c24ac49cb89, 0x00099473685e4d50),
P64::new(0xc56c3b495c8d1f79, 0x00098eba72512a13),
P64::new(0xcf5bdf9f5088ac2f, 0x00098c96d8dee9e1),
P64::new(0x8a44800e4fae4e7d, 0x00098a743453554e),
P64::new(0xdd76384277e578e7, 0x000989be33c9e6bd),
P64::new(0x20b1562d2703facb, 0x0009857c692e9a59),
P64::new(0xef56caf96e9d8e3b, 0x00097fd540c05c9e),
P64::new(0xf54061416aede033, 0x00097d04302ed944),
P64::new(0xe0bc78c21a26e4ff, 0x00097b9c48289935),
P64::new(0x0524f92731a179cd, 0x0009798133ece717),
P64::new(0x5d3b4ad7deafec8b, 0x00096f07c683689e),
P64::new(0x508828f744da88ad, 0x00096e55d6393fc5),
P64::new(0x6e82014031710bcf, 0x00096addad861696),
P64::new(0xadf3b77a22595dd1, 0x00096a2c5a2cf0cf),
P64::new(0x0d8f0c03f7ea8a87, 0x00096818fc825eba),
P64::new(0x2c49e3483c3a05f3, 0x000966b74027f48a),
P64::new(0xccecbc98c91274c1, 0x000964a56850b8ed),
P64::new(0x273a08941bb71e77, 0x000962947990eb36),
P64::new(0xdead5a1e3f341baf, 0x00095fd4a4c885e0),
P64::new(0x83eee092593309fd, 0x00095dc5d3954fde),