-
Notifications
You must be signed in to change notification settings - Fork 26
/
lowmc_255_255_4.c
3667 lines (3644 loc) · 450 KB
/
lowmc_255_255_4.c
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
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif
#include <stddef.h>
#include "lowmc_255_255_4.h"
static const mzd_local_t L_0[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb03b6f3ce10531ba), UINT64_C(0x7aaa352163fa29c4), UINT64_C(0x816ce4925e91153a), UINT64_C(0x2b92c85196fca5fa) }},
{{ UINT64_C(0x12706c4dadea2d0c), UINT64_C(0xe3ab31e8f0b4c880), UINT64_C(0xee9e16334196fe31), UINT64_C(0x83626951677f9dda) }},
{{ UINT64_C(0x7c9984193b5ddb06), UINT64_C(0xcd8aed4116c7ee9a), UINT64_C(0xf62257add0e395a3), UINT64_C(0x6c12daa60528234e) }},
{{ UINT64_C(0xc034b092d767474a), UINT64_C(0xa023b66ca077d3e0), UINT64_C(0x37f78a8ac337953b), UINT64_C(0xc8f59cf4fd233c7b) }},
{{ UINT64_C(0xb764f03852153542), UINT64_C(0xb24783788fe189d5), UINT64_C(0x577c83f7a03c1c35), UINT64_C(0x730c9dbaadd7eb11) }},
{{ UINT64_C(0x2b489d25e9fa08c2), UINT64_C(0x69c38cc6712f5026), UINT64_C(0x4c611d6588c09e8e), UINT64_C(0xfec74fab8a2ce225) }},
{{ UINT64_C(0xb4e093a1fd545bb0), UINT64_C(0x6020ee668e2c0fff), UINT64_C(0x3a0e888c03857709), UINT64_C(0x64c64ad0f93871af) }},
{{ UINT64_C(0x9b1574ce7cac56ca), UINT64_C(0xa42ec7ed0f31ca1e), UINT64_C(0x02de9d6aa59d3ce6), UINT64_C(0x8b3f4fe7d1f0f45f) }},
{{ UINT64_C(0x55befb22c6b439e0), UINT64_C(0xa82f84a274984410), UINT64_C(0x24863e4d3e054d4c), UINT64_C(0xd8a15272677b0970) }},
{{ UINT64_C(0x048c0700bb3f6fb2), UINT64_C(0x907ff1402af67686), UINT64_C(0x549445b6338a76e8), UINT64_C(0x4f723d1e94f27700) }},
{{ UINT64_C(0x91fb1568d874467e), UINT64_C(0xd6267b5f288f2c18), UINT64_C(0xb595eaff1fb95066), UINT64_C(0xa655233b0e485034) }},
{{ UINT64_C(0x19dfced1d3e33824), UINT64_C(0x54d7e12a4018f715), UINT64_C(0x4c1f25cded337796), UINT64_C(0x9b8eb48ad8316f51) }},
{{ UINT64_C(0xeb5b01b0d84f6dee), UINT64_C(0x91f08a753b8bba77), UINT64_C(0x1b4be38be24d3c47), UINT64_C(0xcda0d274d20b3ba9) }},
{{ UINT64_C(0x5daa0bf3665bf0d4), UINT64_C(0xce475bda9a262fee), UINT64_C(0xdb677d3dda00314e), UINT64_C(0x27eaf9fba375485a) }},
{{ UINT64_C(0x8ccd2ca944457626), UINT64_C(0xd2fecc51e2e9446d), UINT64_C(0x0e3ecb1156dfb7ab), UINT64_C(0x3facae990f879852) }},
{{ UINT64_C(0x712254faef761e4c), UINT64_C(0x514a038189c70a19), UINT64_C(0x17dd98bbc46737b4), UINT64_C(0x31a8fafd9457fd6d) }},
{{ UINT64_C(0xd02c501a2959c8a6), UINT64_C(0x990d4d1cba79a787), UINT64_C(0xd583fbac11a418ab), UINT64_C(0x29b97c81c6e01789) }},
{{ UINT64_C(0x5c2c97d34a017858), UINT64_C(0x1647e92b55573954), UINT64_C(0x4e527f047cb8e328), UINT64_C(0xbea724aee70efe35) }},
{{ UINT64_C(0x01f47506a9413d60), UINT64_C(0xbf39179ce5737991), UINT64_C(0x51c2ffc8f4a8a071), UINT64_C(0xbb59ae51afd8c830) }},
{{ UINT64_C(0xd4975b9f50ac65aa), UINT64_C(0xaeaaedf90cc53d5d), UINT64_C(0xe715c5a43fe5281e), UINT64_C(0x2576ab2b73129121) }},
{{ UINT64_C(0x06a87f9dc01ac924), UINT64_C(0xfd6a276ab0039268), UINT64_C(0xec4e32112f6551c5), UINT64_C(0x5fef355cbcbb9ff6) }},
{{ UINT64_C(0x71c5878b2a5ad472), UINT64_C(0x688c054af18904d4), UINT64_C(0x7b13539b95b2963c), UINT64_C(0x8b28e388a4384581) }},
{{ UINT64_C(0x0b6b938397c5cd24), UINT64_C(0x001458df434ac03b), UINT64_C(0x5c4b19b002139f3b), UINT64_C(0xdaee3f58c2644579) }},
{{ UINT64_C(0x3c05f393dc638ccc), UINT64_C(0xb003efc13ab0d894), UINT64_C(0x07435ef510239aaa), UINT64_C(0x7d23e2260a058b41) }},
{{ UINT64_C(0x7611e067163ada02), UINT64_C(0x6ee42a6fcec8aece), UINT64_C(0xef879a190ec90907), UINT64_C(0x36cd0867fd18c150) }},
{{ UINT64_C(0x9594bab45e0d1470), UINT64_C(0xabfe9e057dfa1a7c), UINT64_C(0x58971a8f57b12edf), UINT64_C(0x59326a2180efbdae) }},
{{ UINT64_C(0x9943e75bc1ea8d30), UINT64_C(0xfeea37e4181bb161), UINT64_C(0x2b5cd00d9591744f), UINT64_C(0xef97b1a6c7359562) }},
{{ UINT64_C(0x9f82be7f571329f6), UINT64_C(0xcfebdd9de70e82f8), UINT64_C(0xfa3929bec25ffdea), UINT64_C(0xee3fe583666f9d5d) }},
{{ UINT64_C(0xadc94a5db61a6728), UINT64_C(0x42ef6c097cfc66fd), UINT64_C(0xbdd650f491862e3f), UINT64_C(0xbc07b970076ec775) }},
{{ UINT64_C(0x1d9759b0c0413b04), UINT64_C(0xcef752074f92594c), UINT64_C(0xa0d6416f5a2a84fa), UINT64_C(0x5931ce5082c8f12a) }},
{{ UINT64_C(0x2c969589ed29747e), UINT64_C(0xe99568adfe5325ca), UINT64_C(0x135451608219729d), UINT64_C(0x8d5c010937b481ca) }},
{{ UINT64_C(0xbca70635e5bb5894), UINT64_C(0xdfb9e8ff149d4013), UINT64_C(0x8229f582adc7daf1), UINT64_C(0x658cd82dc3117216) }},
{{ UINT64_C(0xc3c84fa1cd752976), UINT64_C(0x8d6c9ef6bf0ad176), UINT64_C(0x01bab126a4e4685f), UINT64_C(0x331d71dafe2ce519) }},
{{ UINT64_C(0x6c8d6dcb7b10e050), UINT64_C(0x93756e8f806f1ea4), UINT64_C(0xaf404373b3ef448e), UINT64_C(0x871104a09de2a4e1) }},
{{ UINT64_C(0xec3bcc565ba647ea), UINT64_C(0x9e00f0bb797780fd), UINT64_C(0xabf085eb74152dd7), UINT64_C(0xa1a25eaa2c0633ec) }},
{{ UINT64_C(0xc054ed93a123ba0c), UINT64_C(0x6ff97472c42c7e4c), UINT64_C(0xc427e11a5024de46), UINT64_C(0x753d7dfe2cdac1d7) }},
{{ UINT64_C(0xbee0ce8b28bacdca), UINT64_C(0x83817160b92f7f8b), UINT64_C(0xf73b2ac409f24a09), UINT64_C(0x38203a70f91679d1) }},
{{ UINT64_C(0x4d24865de958b30e), UINT64_C(0x02ed8103477b88e2), UINT64_C(0x0b064a4dc518e6d2), UINT64_C(0x4bd75f34566acd25) }},
{{ UINT64_C(0x57b2bfb1158ced98), UINT64_C(0x0c8e630fbb630dbd), UINT64_C(0xfaf03ba27b336282), UINT64_C(0xc535d0dfb6741abd) }},
{{ UINT64_C(0xcb5fecb35cd95bee), UINT64_C(0x969dc5c80472fb65), UINT64_C(0x42419732450d9279), UINT64_C(0x62f085b7fe1709a5) }},
{{ UINT64_C(0x4e7d3521152f85a0), UINT64_C(0xda2578e7c2d0deda), UINT64_C(0xe76eb10d15053dff), UINT64_C(0x20e2bcf4486a5343) }},
{{ UINT64_C(0x91a215385e8d997a), UINT64_C(0x4bfc230210208a4b), UINT64_C(0xc3aeb6fc50f13427), UINT64_C(0x632d4e06cc1a8b73) }},
{{ UINT64_C(0x06b67ee9939fb6ce), UINT64_C(0x7a51ef46e7fec7ae), UINT64_C(0x1a1a3d0534ea3335), UINT64_C(0x6dd4377537c1a905) }},
{{ UINT64_C(0x8fcf67d4eac27ed2), UINT64_C(0xc1428f3cb0208008), UINT64_C(0xd5ba788e31543446), UINT64_C(0x28b4eb7300e7d0c9) }},
{{ UINT64_C(0x58beae7593ba796e), UINT64_C(0x20846f2f781341cb), UINT64_C(0x592cc911e0044198), UINT64_C(0xd62ccde81b453d30) }},
{{ UINT64_C(0xc19769013df1f8c8), UINT64_C(0x850f3529732d58c7), UINT64_C(0xe6c41edfdebe4999), UINT64_C(0xcb6110e9063a73d9) }},
{{ UINT64_C(0xe4d648a05ba0a0ea), UINT64_C(0x95cdbdc4cf1c73cc), UINT64_C(0x48b872f4c115569a), UINT64_C(0x751f3bc1dbe441bf) }},
{{ UINT64_C(0xf0af0807ee7d6354), UINT64_C(0x279f65f7e560f2e1), UINT64_C(0xcdc63d11f5e1d629), UINT64_C(0x0974be6362ec58c1) }},
{{ UINT64_C(0xe13ea642dca18c18), UINT64_C(0x886f4646cf85fe9a), UINT64_C(0x93148e2523fea949), UINT64_C(0xbd67522b28cc4e5f) }},
{{ UINT64_C(0x562070fb39bda826), UINT64_C(0x5042ca48346f8207), UINT64_C(0x1e5345131a5bb0f7), UINT64_C(0xc28077b11c13d71a) }},
{{ UINT64_C(0x6689bb94b94ffa8c), UINT64_C(0xaab39336577f469b), UINT64_C(0x8ec7b9a59a4c1a94), UINT64_C(0xf88fdb042a549ae3) }},
{{ UINT64_C(0x5ca767e40a83bee4), UINT64_C(0x14bc92c266997d6b), UINT64_C(0x0d21101f6cf89b9a), UINT64_C(0xe9a4e5b9e7188e2d) }},
{{ UINT64_C(0x0a24e70f8a0a2948), UINT64_C(0x80667b539c7cfba2), UINT64_C(0xb6553ffcf886240c), UINT64_C(0x62b3af453bb40da8) }},
{{ UINT64_C(0x1870f202bc032db0), UINT64_C(0x340101e94f87b2c5), UINT64_C(0x31a00bf4a01f6fd3), UINT64_C(0xde8073742a9af41f) }},
{{ UINT64_C(0xc734b9f99047f5f2), UINT64_C(0x1463d61e5e947c2a), UINT64_C(0x347427137ef68fb9), UINT64_C(0xc3f2bc4340e31163) }},
{{ UINT64_C(0x501cbad3d74f84be), UINT64_C(0x236d3b9e7a2657a0), UINT64_C(0xfafea4fa96f9bc07), UINT64_C(0x037e3ef67420e0da) }},
{{ UINT64_C(0x21173ba28f94c7d6), UINT64_C(0x1ec96f698c250e3d), UINT64_C(0x18c882d3a84b1e8f), UINT64_C(0xa5db5163dd6a0318) }},
{{ UINT64_C(0x001f959a52b7a190), UINT64_C(0x4d99f58f7e67f632), UINT64_C(0xb1ef35e8945ed237), UINT64_C(0x06cbd05a4c7855e1) }},
{{ UINT64_C(0x8e8b922d617bee44), UINT64_C(0xaeed98695d6d5c28), UINT64_C(0x12ecceda1675601b), UINT64_C(0x714e474bccfa5278) }},
{{ UINT64_C(0x99b8ca231a8ed33e), UINT64_C(0xae30a315622b70ea), UINT64_C(0xb9d1a2c574df1bd0), UINT64_C(0x18ef87fd8dbb93dd) }},
{{ UINT64_C(0x08fc4ce94a103a10), UINT64_C(0xc897d33c9c3dd0a5), UINT64_C(0x7d90ba0abf94910c), UINT64_C(0xe91111836d47571a) }},
{{ UINT64_C(0x1ae3520099b98324), UINT64_C(0xef1e9e07ee125060), UINT64_C(0xbfd6814261ee3911), UINT64_C(0x87827367faf6f2d9) }},
{{ UINT64_C(0xfa4b774af6006c78), UINT64_C(0x3a8fd332c33a1e57), UINT64_C(0x31a053ae74b481cf), UINT64_C(0x0fb69d7ae4ee0fb0) }},
{{ UINT64_C(0xef7dcd02b76793f6), UINT64_C(0x30335e5795b0db12), UINT64_C(0xa73117ebce746f12), UINT64_C(0xc91813bc638f2f91) }},
{{ UINT64_C(0x4a20e626408fd39a), UINT64_C(0x8f833563ae44694e), UINT64_C(0xb2e9abfb83aa4d08), UINT64_C(0xbe0a2f255dd3e7bd) }},
{{ UINT64_C(0x42915d0dafeffd2c), UINT64_C(0x89782670c65ae50b), UINT64_C(0x9c9231626ed3bea9), UINT64_C(0xccc488178df8ba40) }},
{{ UINT64_C(0x50623a08b6559b36), UINT64_C(0xd8b8d3e8fbdd0f96), UINT64_C(0xa40c0182fa3ede51), UINT64_C(0x6d2e6e78a9ef2ed3) }},
{{ UINT64_C(0x473c6ac4eb691906), UINT64_C(0x91db4bdfe3d39808), UINT64_C(0x79e692435d114f88), UINT64_C(0x2799a2d0e303d5e9) }},
{{ UINT64_C(0x5723ec98eaf2db18), UINT64_C(0xfe9a0f453cd5d6ed), UINT64_C(0x91dbb3a1674b1c5b), UINT64_C(0x5aa1743a03dcb948) }},
{{ UINT64_C(0x9881e9579829ae2c), UINT64_C(0x61fee8509b120bd8), UINT64_C(0x397cb6408b617414), UINT64_C(0xfb207404b7b7ea7b) }},
{{ UINT64_C(0x279be4bf042ebf68), UINT64_C(0x73c845bff98adede), UINT64_C(0x8354ae04821fe615), UINT64_C(0xb88979c0032e41dc) }},
{{ UINT64_C(0x3f0c7f026e5b46d6), UINT64_C(0xcbd5d35f5a825f9c), UINT64_C(0xe44f113f6da9673d), UINT64_C(0xb10dccd5d37380f6) }},
{{ UINT64_C(0x330adb43587072a4), UINT64_C(0x03fb118c3f653183), UINT64_C(0x4af7253462b2c31f), UINT64_C(0xd789b9ef8cb2cdb5) }},
{{ UINT64_C(0x31c008d642e0603e), UINT64_C(0xb19757d2c9448a77), UINT64_C(0x3976abe9a678fefa), UINT64_C(0x12b17a0f73d27d82) }},
{{ UINT64_C(0xb20e8db15ab92104), UINT64_C(0x2e8f493d47a9fe4e), UINT64_C(0x179c5ab17b4c2018), UINT64_C(0xf5f9fe4970898bef) }},
{{ UINT64_C(0x9904d5811a82b8a6), UINT64_C(0x39acd3354c19be0c), UINT64_C(0xbb611d1de09cb129), UINT64_C(0xdd90b331c6d8a4b8) }},
{{ UINT64_C(0xdd4be5f3012a2040), UINT64_C(0x76a6342afc929159), UINT64_C(0x192cac60afd91120), UINT64_C(0x316ba7c88594d910) }},
{{ UINT64_C(0x81e07aeb45be2aa4), UINT64_C(0x4971d9428865e9d3), UINT64_C(0xc2303cc7e80eb5ad), UINT64_C(0xdcc9c5432aabe1e0) }},
{{ UINT64_C(0x0ac0c76f6185bc32), UINT64_C(0x70aaba95caaaf2b8), UINT64_C(0xfdef99526fa7dd3c), UINT64_C(0x9c6744cc63759db3) }},
{{ UINT64_C(0x5e8d9efc6b7de3de), UINT64_C(0xbac96ecf8513f0c5), UINT64_C(0x086e753121d38dd0), UINT64_C(0xe6c8ed46401eb9a5) }},
{{ UINT64_C(0x49392d6087cabab6), UINT64_C(0x9d2e339df30c8fd5), UINT64_C(0x045a3c6858c27d38), UINT64_C(0x5201c7d59ee100d2) }},
{{ UINT64_C(0x350819385246a330), UINT64_C(0x500bd95095bb9b63), UINT64_C(0xf87531960641a3e9), UINT64_C(0x82d79f341a6c2b30) }},
{{ UINT64_C(0x0a67568faba63272), UINT64_C(0x21ffaf2f5e76ad0c), UINT64_C(0x1e2310474c0ba878), UINT64_C(0xaa5c80a6e60b371a) }},
{{ UINT64_C(0xc9cec9966e2fc59e), UINT64_C(0x140bb11451d8d55a), UINT64_C(0xde31fdb2d126bc96), UINT64_C(0x7e82b1b8e0206587) }},
{{ UINT64_C(0xc8fe06ea923b2d8e), UINT64_C(0x43e87170b3df6e34), UINT64_C(0x428a703b9f3bc763), UINT64_C(0x6cee8b55191bfbaf) }},
{{ UINT64_C(0x6930ddf7b01bdaf8), UINT64_C(0x92de74341995ca5b), UINT64_C(0xcc395b03fa50be13), UINT64_C(0xc9835a2f92e7973f) }},
{{ UINT64_C(0x3511bcf99fdddf22), UINT64_C(0xfcad096ea159f960), UINT64_C(0x4a09b0268ad91de8), UINT64_C(0x8fede8ad52d4ed6c) }},
{{ UINT64_C(0x95d2104b0edeeb26), UINT64_C(0xd812c88fd5ae8317), UINT64_C(0xf0faffbd27d0f336), UINT64_C(0xd1dfae10664f2ab3) }},
{{ UINT64_C(0x54b59403b646d9a6), UINT64_C(0x2dd06501a7b287dc), UINT64_C(0xd9c95be0561d3578), UINT64_C(0x9cd4c0bc67c7f174) }},
{{ UINT64_C(0xa60f9bb282eb93c2), UINT64_C(0xcb6cdc08470e081c), UINT64_C(0x8c7d606c869f11e5), UINT64_C(0xad027547f828f456) }},
{{ UINT64_C(0xa224b5ab54c0e636), UINT64_C(0x5f65f26e53eb5092), UINT64_C(0x88dd06ed59d7203c), UINT64_C(0x2527d799c09aa266) }},
{{ UINT64_C(0xf5e06aef181620ec), UINT64_C(0xf1716b79c09bada6), UINT64_C(0xb86b5bebcb387701), UINT64_C(0x6de4a4dac4eeb2f8) }},
{{ UINT64_C(0x662e7567e82f9a58), UINT64_C(0xff1946d5d9fd8074), UINT64_C(0x60f9f84035b9db9c), UINT64_C(0x2262d9965397e622) }},
{{ UINT64_C(0xc9aada2ff8169bd8), UINT64_C(0x8a39ffa06c9e47b2), UINT64_C(0x1fbda626647378ae), UINT64_C(0x24ad57dd4973e20c) }},
{{ UINT64_C(0x959d05dc766de708), UINT64_C(0xa7a800faddef348d), UINT64_C(0xd4bd253081779902), UINT64_C(0x5fc091a5f3e74fc0) }},
{{ UINT64_C(0x391c51e8166b1c32), UINT64_C(0x6089e98bba5cab24), UINT64_C(0x3cb27a1a5f7e7189), UINT64_C(0xf589ad7732155fd5) }},
{{ UINT64_C(0x55c6b7f95437ff94), UINT64_C(0x5dea13f369a992e6), UINT64_C(0xc65c9bc1da397a45), UINT64_C(0xaff8b074939cdbf6) }},
{{ UINT64_C(0x1d6693dff4711878), UINT64_C(0xd0a2d5a02e1adb64), UINT64_C(0x816b0402cf7c7392), UINT64_C(0xb04ad624aeb5c268) }},
{{ UINT64_C(0x5df7f4dc06565c50), UINT64_C(0xefc3efceed11429b), UINT64_C(0x610a776546f6089b), UINT64_C(0xab18aaedb24f530f) }},
{{ UINT64_C(0x24fa54561e4fe53e), UINT64_C(0x4c389951340c008e), UINT64_C(0x32c6e9d1e69477cd), UINT64_C(0xfcca9a267504ca4d) }},
{{ UINT64_C(0xffeadb9dfdb765fa), UINT64_C(0xb2aa8c470a49c195), UINT64_C(0x2c0989eab0214f30), UINT64_C(0x919cf1b97626e699) }},
{{ UINT64_C(0xea8bef2224d133ba), UINT64_C(0x326bd12ccf8cae18), UINT64_C(0x472ed5fe9e2f1b28), UINT64_C(0xfc7deed9b5b1011f) }},
{{ UINT64_C(0xdadc1e3b578ac004), UINT64_C(0x4444a3fb2ebdc5f9), UINT64_C(0x1435a022bbc2aa71), UINT64_C(0xb2c7e7d3aeefc0f6) }},
{{ UINT64_C(0x80eb13e378587af6), UINT64_C(0x42a69d6423661644), UINT64_C(0xcf1f1cc7f10200ed), UINT64_C(0xcc5d439c004baae2) }},
{{ UINT64_C(0x063fa1be68065476), UINT64_C(0x0dbf9c16fbbc5051), UINT64_C(0xae6b4c0c7d32ee2a), UINT64_C(0xae739d9686cffb72) }},
{{ UINT64_C(0x85d72b3a91678506), UINT64_C(0x6901772d8100a9f7), UINT64_C(0xaf21e38722197d7c), UINT64_C(0x7e6757ee74e0411d) }},
{{ UINT64_C(0x2f1bf7397c9aa204), UINT64_C(0x1ab5aa8e83a000e3), UINT64_C(0xb0b16df723a3dd9c), UINT64_C(0x31b467b6ba9e9035) }},
{{ UINT64_C(0xeb604dc7411a560e), UINT64_C(0x3f5efb5b257836e2), UINT64_C(0x8e01538ad5a8bba2), UINT64_C(0x4b0faecfa0357dfe) }},
{{ UINT64_C(0xd8e74620d35aee98), UINT64_C(0x13b95bea70eb3c09), UINT64_C(0x615085b5665e5083), UINT64_C(0xf85f7b854f6b2e6b) }},
{{ UINT64_C(0x5046ef59e04e274c), UINT64_C(0x337b61829b0dc185), UINT64_C(0xddecd6e7398baf2a), UINT64_C(0x962184e292c6ae1e) }},
{{ UINT64_C(0x51000c26f7d18ab4), UINT64_C(0xac2b43b53cbfd134), UINT64_C(0xe591884848645186), UINT64_C(0x95215fff40f4af53) }},
{{ UINT64_C(0x01581ead6c014d48), UINT64_C(0xf20007eb388c6dc2), UINT64_C(0x8f1581cfa275ee52), UINT64_C(0x5897f460d18d96bf) }},
{{ UINT64_C(0xa368b859869321ec), UINT64_C(0x146852910597aa54), UINT64_C(0x07ad350ce309ae31), UINT64_C(0x8b8b6c72c7ff7a07) }},
{{ UINT64_C(0x3f4755aa81ed669c), UINT64_C(0x42cd95f72c56f0ff), UINT64_C(0x167d5dc25622c0c9), UINT64_C(0xb164399e4e7b7420) }},
{{ UINT64_C(0xfc39ccba4178d358), UINT64_C(0xa35af1cfbfc1fe7c), UINT64_C(0x1b97139f3fbce267), UINT64_C(0x2da984b0d1bbda88) }},
{{ UINT64_C(0xfdbf85418515f2de), UINT64_C(0xf63c351229689ae2), UINT64_C(0x8f1e8e043955020a), UINT64_C(0x337c18c0b82bc566) }},
{{ UINT64_C(0x82379a29e6de21fe), UINT64_C(0x21717e1f5814f443), UINT64_C(0x3bccf50e4a0a8cee), UINT64_C(0x42f8548b6c7a696f) }},
{{ UINT64_C(0x2f322f7f5b4461a2), UINT64_C(0x7a026613ed655de8), UINT64_C(0xeace271262c03e9e), UINT64_C(0x1a6a21abf033ecb3) }},
{{ UINT64_C(0x1267bad0746c2208), UINT64_C(0x55f09c4aa767d584), UINT64_C(0xa2af57bb761befd7), UINT64_C(0x0d56a3598df849a6) }},
{{ UINT64_C(0x7463a008e771ca18), UINT64_C(0xc1015650a9da666b), UINT64_C(0x78625293012c60f5), UINT64_C(0x6bf73c3beef2e503) }},
{{ UINT64_C(0xd0822ed50ec9f370), UINT64_C(0xbb02c77db74958af), UINT64_C(0x066e023c0b1fbb7e), UINT64_C(0xa853cd90f8f4342a) }},
{{ UINT64_C(0xc95930b8622cf650), UINT64_C(0xd87d4cabdc2eab9b), UINT64_C(0xd6d8821420efa7ce), UINT64_C(0x61fa93a58f33e836) }},
{{ UINT64_C(0xb3276f0cccf99330), UINT64_C(0x4e11303b8c0573b9), UINT64_C(0x7645bce1d8a473ce), UINT64_C(0x476a7e8a69ee3dab) }},
{{ UINT64_C(0x43d73a4fb139f4ee), UINT64_C(0xade44861ed2a0490), UINT64_C(0xdf45a2415408cc7a), UINT64_C(0x6acb239275216134) }},
{{ UINT64_C(0x582e23313d3b7346), UINT64_C(0x63d09fdfe3568115), UINT64_C(0x67df48ec0b2fc47f), UINT64_C(0x7f62a6f8548e6421) }},
{{ UINT64_C(0xd430eca1640aac5e), UINT64_C(0xf633e4f6d2a42ee9), UINT64_C(0x001ba49130866c9c), UINT64_C(0xe9a85d83890eead2) }},
{{ UINT64_C(0x5bb2baac6090faea), UINT64_C(0x7ac92daaffae519e), UINT64_C(0x521a17a3e3a09bc9), UINT64_C(0xaa00f0fbc47a6957) }},
{{ UINT64_C(0x5e1f7d38ef516e62), UINT64_C(0xd5603403279a5585), UINT64_C(0x5fad4feba4c215c2), UINT64_C(0xad5d6572ac2fe294) }},
{{ UINT64_C(0xdbd295003caa1108), UINT64_C(0xebf9fafb8d85b1d5), UINT64_C(0x20bb413ad4cded5d), UINT64_C(0xb7f59b70d5703943) }},
{{ UINT64_C(0xdc2e194e8339a6d0), UINT64_C(0x0deec425488db83c), UINT64_C(0x7a7455dc6c496aef), UINT64_C(0x2e9cc04eea5fb583) }},
{{ UINT64_C(0x7037dc3396e874fc), UINT64_C(0x0b885868e30ab6a7), UINT64_C(0xb5bb505b8f28b84e), UINT64_C(0xe781f6b82455d80b) }},
{{ UINT64_C(0xbb00d48577210a66), UINT64_C(0x5827e11471ff320a), UINT64_C(0x32177abdad52dafc), UINT64_C(0x533b94ba3df593b6) }},
{{ UINT64_C(0xacc63824f1e9cfd6), UINT64_C(0xdc570cddefecbc3b), UINT64_C(0xef0664fd883bcb3f), UINT64_C(0xc5cc5dd8157ef2d7) }},
{{ UINT64_C(0x5ad2bdf7a310995c), UINT64_C(0x549ff0558c2b95de), UINT64_C(0xf1cb3437d9396044), UINT64_C(0x7af1b13903315492) }},
{{ UINT64_C(0x6180ae158176bde0), UINT64_C(0xa271e58d59665a17), UINT64_C(0x7d4e398d34cd3194), UINT64_C(0x26efe14606df3d98) }},
{{ UINT64_C(0x82d0866c1b28c046), UINT64_C(0xdc2c00519db3563c), UINT64_C(0xe626f963483f4974), UINT64_C(0xa993c6b8f32344f2) }},
{{ UINT64_C(0xe94a7070f40c498e), UINT64_C(0x4009f29da24cc239), UINT64_C(0x4557e1d6e3ccca4f), UINT64_C(0x92356ca9a05f2462) }},
{{ UINT64_C(0x2809264222fd934e), UINT64_C(0xa042bf493b98c840), UINT64_C(0xd44f2143a97f24eb), UINT64_C(0x099665dfd9ca1127) }},
{{ UINT64_C(0x9ec35bfed62ded22), UINT64_C(0x4dc06d317e310b16), UINT64_C(0x34c5715b5adcef10), UINT64_C(0x54a2ec0a0ef741cb) }},
{{ UINT64_C(0x2bbff3086ffa6880), UINT64_C(0x3e704afca235aa9f), UINT64_C(0x405881d46a7fa032), UINT64_C(0x239a0f93eec6e720) }},
{{ UINT64_C(0x3badb1f434f8e210), UINT64_C(0x8e6c582fb87a1fb1), UINT64_C(0x990a10972a1eefd4), UINT64_C(0x05994387a20a39c5) }},
{{ UINT64_C(0x6bc4204564f8b0da), UINT64_C(0x5e9f85f9950d2572), UINT64_C(0x830ba3af21f6a61e), UINT64_C(0x3ac7d00430dbd8f0) }},
{{ UINT64_C(0xcaca5be98657e546), UINT64_C(0x56268bcf6ac9a300), UINT64_C(0x137a344681a4bf43), UINT64_C(0x5e310bd7ea8fab09) }},
{{ UINT64_C(0x51745cf651cd5a3a), UINT64_C(0x393e0d9bab8d7737), UINT64_C(0x5eff7d8736eb8c59), UINT64_C(0x4f1c2871bd3c0e52) }},
{{ UINT64_C(0xf6862616a598b9c0), UINT64_C(0xd7fe037b8080915b), UINT64_C(0x55155c91f96c8bfb), UINT64_C(0x8f8086c41458b75c) }},
{{ UINT64_C(0xff6b62122dc41cb0), UINT64_C(0xc4ea821cd529d401), UINT64_C(0x90a0606af5390340), UINT64_C(0xdb8db63fce7f1ce0) }},
{{ UINT64_C(0x7ed49028bb91c5fa), UINT64_C(0x40c329ebda13ccb9), UINT64_C(0x35c8db3aa173f3a9), UINT64_C(0x1341578da6812d02) }},
{{ UINT64_C(0x2c845fab497a65ae), UINT64_C(0x0370f0e443eac519), UINT64_C(0xa0c71c771593638e), UINT64_C(0x57f77f99a337254e) }},
{{ UINT64_C(0x6fdb5b6d4330178a), UINT64_C(0x2477779931a2149d), UINT64_C(0x41eaf69471d40b8d), UINT64_C(0xe0be42c636390716) }},
{{ UINT64_C(0x0df7b90e6dd2633e), UINT64_C(0x2f886075c780f969), UINT64_C(0x6b6bf4237c004685), UINT64_C(0xe3118e9f5513b8a5) }},
{{ UINT64_C(0x62ef03af5675c9a4), UINT64_C(0x532d72e0e7b3ade9), UINT64_C(0x13efb95a1b291776), UINT64_C(0xdd5141389fac9d5b) }},
{{ UINT64_C(0xe6949ba0c4efc35e), UINT64_C(0xb6ccec7741fd730e), UINT64_C(0x7e40df0969e60b8d), UINT64_C(0x0951c8b066062a8d) }},
{{ UINT64_C(0x41d7e9825fb1fe70), UINT64_C(0x9bb84371e1837c80), UINT64_C(0xa86f8780f8fc4151), UINT64_C(0xe83da08b9f5ca870) }},
{{ UINT64_C(0x0b811d13413e8d1e), UINT64_C(0xefd48f90ad986a57), UINT64_C(0xf3cf9d3bd89a00ab), UINT64_C(0x0c5518a675f73332) }},
{{ UINT64_C(0x9bd53e6e685a10fc), UINT64_C(0x7d276bb8ea86b042), UINT64_C(0x4ddab6c319eec194), UINT64_C(0x1f358aa11d8334ee) }},
{{ UINT64_C(0x20275904e33bc4d6), UINT64_C(0xf25bcb9f0d9f5923), UINT64_C(0xedc02a6e313ffb9b), UINT64_C(0x72f30e7f3a2d3f90) }},
{{ UINT64_C(0x97f864f778559a40), UINT64_C(0x19efc69cd5228905), UINT64_C(0xb6d473c0003e7a01), UINT64_C(0x35c2a38aab60ec72) }},
{{ UINT64_C(0x20ffec81a67b0b98), UINT64_C(0x5a8d3114ecef229a), UINT64_C(0x90c3299f9586526a), UINT64_C(0x0910c2f26b2fab01) }},
{{ UINT64_C(0xc7b415e72b1b29bc), UINT64_C(0x8cfaf38ef002e7bc), UINT64_C(0xcb391966ab134718), UINT64_C(0x6e62ab9f025117ba) }},
{{ UINT64_C(0x9969835f256347c6), UINT64_C(0xdcb28078a17d8aec), UINT64_C(0xd430635c13966fba), UINT64_C(0xd47eab2929def42c) }},
{{ UINT64_C(0x9b089b9a5b6bf590), UINT64_C(0xb5cf8ba57db5ca59), UINT64_C(0x3126ff7e12ea3076), UINT64_C(0xfa1e4e30ba1b8db6) }},
{{ UINT64_C(0x064c315ac83647d0), UINT64_C(0x3c43176acfe49596), UINT64_C(0x30d92e0e7a1ded96), UINT64_C(0x8d861129a1089eba) }},
{{ UINT64_C(0x165f18e10d0444dc), UINT64_C(0x1303593b3f669388), UINT64_C(0x1637b04f323e83aa), UINT64_C(0x57856647a733f951) }},
{{ UINT64_C(0x7348c46f20327dfa), UINT64_C(0x75cd82d2fb454407), UINT64_C(0x02492e018c69cfa3), UINT64_C(0x0c2016d22ac7439e) }},
{{ UINT64_C(0xd8847c0b82915878), UINT64_C(0xad5bc9319a49e052), UINT64_C(0xf71ae05ff8143d9d), UINT64_C(0xfb0fc7d14d7a0592) }},
{{ UINT64_C(0x50dff9c9fe58d97c), UINT64_C(0xbe6c2476ac669bbe), UINT64_C(0xfea9d300f668c1e9), UINT64_C(0x72e60cd03aa1ed5d) }},
{{ UINT64_C(0xe97edf096df738c2), UINT64_C(0xab34e17f50183bbf), UINT64_C(0x4143e13fc735b852), UINT64_C(0x26eb169ded77425c) }},
{{ UINT64_C(0xb64914e4aa642068), UINT64_C(0x7dc2b6cd1212feae), UINT64_C(0x2a7a250e513917e3), UINT64_C(0xd9174ee3746a9038) }},
{{ UINT64_C(0x37b99516d190d33a), UINT64_C(0x53d4a038f6fa250d), UINT64_C(0xd55ad75b3c074f52), UINT64_C(0x0b7976f7728f5b69) }},
{{ UINT64_C(0x7812b0a32fba6404), UINT64_C(0xdff1a30ad9456f34), UINT64_C(0xf091d3cada90e607), UINT64_C(0x86d1aead1e7bbcc4) }},
{{ UINT64_C(0x269895c9972553ba), UINT64_C(0x7e5091c23c3fd5b9), UINT64_C(0xd8ce530dad71ca0b), UINT64_C(0xf42b735c2ef6be1f) }},
{{ UINT64_C(0xd972a930204e246c), UINT64_C(0x50d863325a57b122), UINT64_C(0x5dcb310de743a5e0), UINT64_C(0x9d42e5d8acce1e59) }},
{{ UINT64_C(0x4bc88a6f4903b6de), UINT64_C(0x1e91d8544d21837d), UINT64_C(0xf2f60fcadb53e9ee), UINT64_C(0xcb953624d639c2eb) }},
{{ UINT64_C(0x9c199395e5353292), UINT64_C(0x120c89312e0e7ed2), UINT64_C(0x624f0493f826f0b9), UINT64_C(0x991accdbd65c9be0) }},
{{ UINT64_C(0x091e0d5440cf65f8), UINT64_C(0x3dc23412d63689da), UINT64_C(0xdd6bd3352adf1bce), UINT64_C(0x2555f66f2e1f53dc) }},
{{ UINT64_C(0x3212420aa061a944), UINT64_C(0x82990b96e39a9827), UINT64_C(0x9a7a555d9e00557a), UINT64_C(0x85b83a8ed7d8ffe8) }},
{{ UINT64_C(0x4017dcdf072cb736), UINT64_C(0x43627474bd696df9), UINT64_C(0x3d81587eb7185821), UINT64_C(0x510d02437a84a79e) }},
{{ UINT64_C(0x7c4bd252dedfdbbe), UINT64_C(0x5f98b1fd3b4fe02e), UINT64_C(0x64897ea6df807147), UINT64_C(0x11004e9c1a7ed961) }},
{{ UINT64_C(0x68ca553d39f8df12), UINT64_C(0xf3e66b3b684b2517), UINT64_C(0x4e039f35e51b2775), UINT64_C(0x25daf9fc8914819d) }},
{{ UINT64_C(0x6ff7318a385c7172), UINT64_C(0x5a2e1a3542cf4f73), UINT64_C(0x75c8685a658cceaa), UINT64_C(0xaca50f68dd17e697) }},
{{ UINT64_C(0x152828847e909a2e), UINT64_C(0xd5fc7fef323c4ed9), UINT64_C(0x6e8625dfdbc2dd18), UINT64_C(0x71e9e16e68e8f88c) }},
{{ UINT64_C(0xb824a0e00c754df6), UINT64_C(0xa01a496bb1de8486), UINT64_C(0x586b99b1ac591770), UINT64_C(0x6aa6b539357c5859) }},
{{ UINT64_C(0x3a9e224788c24210), UINT64_C(0xeb95d7f432127233), UINT64_C(0xc3068b80101d2745), UINT64_C(0x931027c6be369152) }},
{{ UINT64_C(0x8eb5a9190527aa2c), UINT64_C(0xe9da148baafee291), UINT64_C(0x10bb70fcef1a501e), UINT64_C(0x323ab15c77306d1e) }},
{{ UINT64_C(0xf1b9628b37be908a), UINT64_C(0x49ffdf223031ff6c), UINT64_C(0x38fe0fd89546671c), UINT64_C(0xdc7c48fabc314366) }},
{{ UINT64_C(0x6dbc65d2308d00f4), UINT64_C(0x8c9c0321120545ba), UINT64_C(0x5f1bfa4364ae87c9), UINT64_C(0x157dc166656fd364) }},
{{ UINT64_C(0x46a5ecb81b99365a), UINT64_C(0x1e0455b362b9be14), UINT64_C(0x2c3f92ce8276e285), UINT64_C(0x9f8bb551c8a11be0) }},
{{ UINT64_C(0x7c9e783a287eecb0), UINT64_C(0xd4ebefe488005619), UINT64_C(0xe26353e1e38ea18b), UINT64_C(0xf195f6df1fb4192f) }},
{{ UINT64_C(0xcf51a9580cd0db22), UINT64_C(0x6cd39729ca5dbfde), UINT64_C(0x7c8e07c98677d4ba), UINT64_C(0xccf2c4cd714e773a) }},
{{ UINT64_C(0x477a3f0c57f4d9d0), UINT64_C(0x206e1f6605c5357c), UINT64_C(0x37d172cb118369f5), UINT64_C(0x94387c8895ff01d6) }},
{{ UINT64_C(0xa07fa582ec471122), UINT64_C(0x0f7ef80e440c9ea2), UINT64_C(0x04d451c396f83d4c), UINT64_C(0xc17082af26b4618a) }},
{{ UINT64_C(0xec42da835f38e8f2), UINT64_C(0x60bbef7ffb4b5b38), UINT64_C(0x5b68c92d88599cd3), UINT64_C(0x5cefd3f0f91329a8) }},
{{ UINT64_C(0xa17fd90efd1b1fc6), UINT64_C(0x437a4096467e4fde), UINT64_C(0x9cfc3a7062dc9da9), UINT64_C(0x73292f673021c9fe) }},
{{ UINT64_C(0x4fe44b1d962b3ace), UINT64_C(0xe940e131d469efde), UINT64_C(0xd77ea7933867d873), UINT64_C(0x181e2a994f0b8923) }},
{{ UINT64_C(0xc17f926a470893c6), UINT64_C(0x90832fe3e031de5a), UINT64_C(0x9ebb2e5f46372563), UINT64_C(0x8c71266dbc03dddf) }},
{{ UINT64_C(0x082e3f3f0a79b140), UINT64_C(0x4ea91b688578ebb9), UINT64_C(0x5c2c0cc79b8fd749), UINT64_C(0xf546c3c480d4b04d) }},
{{ UINT64_C(0x15bdbceabef16c9a), UINT64_C(0x976cafca720e052c), UINT64_C(0x55ffd624b828acc6), UINT64_C(0x2f58886648fd57f0) }},
{{ UINT64_C(0x8ee454523ca2b792), UINT64_C(0xac90c916cb003674), UINT64_C(0x0f796a2762ba1d77), UINT64_C(0xc7a3d567838b32a6) }},
{{ UINT64_C(0x902344663bb26622), UINT64_C(0x24696a2444d048a3), UINT64_C(0xd3541b5bb26d5a0d), UINT64_C(0xde4b3253ada37e27) }},
{{ UINT64_C(0xbd14471f516b4190), UINT64_C(0x0aa0707b2e08faab), UINT64_C(0xe15e45c4f36e12e2), UINT64_C(0x63f61f10cc03ce5e) }},
{{ UINT64_C(0x4111f03627fe64c6), UINT64_C(0xd660cb0370e0e4e3), UINT64_C(0x8f5127151171d955), UINT64_C(0x8ba71fd6dc3c3822) }},
{{ UINT64_C(0x64fd738e9d238d90), UINT64_C(0x20198cacabcd1e44), UINT64_C(0x9a2ba402a6ca9aa5), UINT64_C(0x8f5d63a0ae0ed8be) }},
{{ UINT64_C(0xde06ece3f9561c6c), UINT64_C(0x1aa5dd8459f7cb23), UINT64_C(0x72ada309ccf56890), UINT64_C(0x8b44e9372aa26f10) }},
{{ UINT64_C(0xb45107ca4e7373b0), UINT64_C(0x9dbdf0430a09e385), UINT64_C(0x6abb3de57a562a65), UINT64_C(0x4b562b0ebe6bca0a) }},
{{ UINT64_C(0xde3d19601390b98e), UINT64_C(0x7daee9af8814b55a), UINT64_C(0x4ab56ff162860ae7), UINT64_C(0xb0896c817dc93245) }},
{{ UINT64_C(0x48340ec56c0c47c2), UINT64_C(0xca02c69fc8d9d253), UINT64_C(0x84d405cc427c7724), UINT64_C(0x4c9d22f9218f85e2) }},
{{ UINT64_C(0x48cdcf815da97786), UINT64_C(0x5ced94e8dba8947b), UINT64_C(0xb6c6b510e29c37c5), UINT64_C(0xdacd2429b3e3a64a) }},
{{ UINT64_C(0x2133fcafbbf6c8f0), UINT64_C(0x93642c63d676e878), UINT64_C(0xcea8ad0c21b2ed24), UINT64_C(0xaea9c2a548be50e2) }},
{{ UINT64_C(0x05cdc155322032a6), UINT64_C(0xfc3d4ddeaa56f015), UINT64_C(0xd3e3fb539e534ce5), UINT64_C(0x92076bf6fa1eb064) }},
{{ UINT64_C(0x8984b4c64afe35ae), UINT64_C(0xdd60f17f7fcc36b5), UINT64_C(0x9178dfbed37544c8), UINT64_C(0x19eae067568bac29) }},
{{ UINT64_C(0xa166d788554ddbbe), UINT64_C(0x5441089c20e56f34), UINT64_C(0xe5d047024af9fb69), UINT64_C(0x55af54b8be7afaf9) }},
{{ UINT64_C(0xe7b9e743620a8c28), UINT64_C(0xafa00217cc0def27), UINT64_C(0x00b776a695865b5d), UINT64_C(0xf737e75331788863) }},
{{ UINT64_C(0x5cdc77803bf44648), UINT64_C(0xac2a135941c539a7), UINT64_C(0xf0ed9eb27e32e865), UINT64_C(0x5c68f9971bd44faf) }},
{{ UINT64_C(0x974902af381584fc), UINT64_C(0x14a385ead5c636f8), UINT64_C(0x8c61b648a003cdc6), UINT64_C(0xc60e29e849238373) }},
{{ UINT64_C(0xdc711a492062fd4c), UINT64_C(0xed40891f033e0581), UINT64_C(0x834096ac7f8485bc), UINT64_C(0xc6f8475446657d0f) }},
{{ UINT64_C(0xf95a0d8c1526fe68), UINT64_C(0x5e797a40fa324936), UINT64_C(0x65e93a247501dd15), UINT64_C(0xa013fdd711615d3d) }},
{{ UINT64_C(0x71ca6f911fa53926), UINT64_C(0x537de3e1ce9e4404), UINT64_C(0x4f68443158ef5c66), UINT64_C(0x0e2c97dc11ef9829) }},
{{ UINT64_C(0x88471bf02d2a3606), UINT64_C(0x7f6d0c8f83a7a64a), UINT64_C(0x01c5e7332ed0aa98), UINT64_C(0x0aa84d3816d3c57b) }},
{{ UINT64_C(0x2a67b566d3cad9f2), UINT64_C(0xee9979d6b3797064), UINT64_C(0xc62afde41ae2ef0c), UINT64_C(0x4e122ccfe67f4095) }},
{{ UINT64_C(0xff65ebc5d6c3307c), UINT64_C(0x9563cab1fed623d6), UINT64_C(0x233d2daf80b2f61b), UINT64_C(0xde56bf86f743787f) }},
{{ UINT64_C(0xf0854468770af570), UINT64_C(0x23733c5373b02f10), UINT64_C(0x58362b09484e26f9), UINT64_C(0x97410db2680d1b2b) }},
{{ UINT64_C(0xfd5e34e8cb875602), UINT64_C(0x46f60dd9c9c47f97), UINT64_C(0x9cda218d6243f664), UINT64_C(0x72f19bcfe487d561) }},
{{ UINT64_C(0xeb94913435e8fd82), UINT64_C(0xfc5faeb66033bb7a), UINT64_C(0xe414fc943a77a92a), UINT64_C(0xd02c928b1c22bb32) }},
{{ UINT64_C(0x212fad31251d390c), UINT64_C(0x7295255c7242a2bb), UINT64_C(0x4686fdf0ae1abba8), UINT64_C(0x716c7cc27e8cc177) }},
{{ UINT64_C(0xb14411af7b38cf9c), UINT64_C(0x402f703bf958433c), UINT64_C(0x4b1a6d8bf9357147), UINT64_C(0xcaaaebcbaf8ed603) }},
{{ UINT64_C(0x6c25bdf8b86422ce), UINT64_C(0x4019463f4644ecfd), UINT64_C(0xead8692e03927c0c), UINT64_C(0xbc95de405ffad462) }},
{{ UINT64_C(0xef3acf7dcfab1fda), UINT64_C(0x11b156d25043986e), UINT64_C(0xce0a49816ef04e34), UINT64_C(0x693ae0709b3c514e) }},
{{ UINT64_C(0xa7c5ac2a180e7d26), UINT64_C(0x051e7ed3bd25de94), UINT64_C(0x35a2ebe97272cb65), UINT64_C(0x99d8e3e1a65f14c5) }},
{{ UINT64_C(0x7749e9f3a1e164e0), UINT64_C(0xc68f5fbcd0c5de46), UINT64_C(0x2d05269d5d77b43e), UINT64_C(0xc3c0915d0bb259cf) }},
{{ UINT64_C(0x7b2d53034b26aa12), UINT64_C(0x8eb93a20093b924b), UINT64_C(0x36b641cb5b9e9e5e), UINT64_C(0x197b415950448901) }},
{{ UINT64_C(0x550bf2bff32ef262), UINT64_C(0xe4ccb70c3379f074), UINT64_C(0xae4f9e31c30ebe9c), UINT64_C(0x2fb181af3c98151f) }},
{{ UINT64_C(0x490d77ab399cdafc), UINT64_C(0x648228ee9f911898), UINT64_C(0x5ef8fc871cff5e5e), UINT64_C(0x0f5c0c64c9925ca9) }},
{{ UINT64_C(0x12ce9060cc5cb4fe), UINT64_C(0xac2fdcd66cace4b2), UINT64_C(0x606531285de86720), UINT64_C(0xe54f4d1360970ce8) }},
{{ UINT64_C(0xb44b9d61e9959f12), UINT64_C(0xb748868a2cf25082), UINT64_C(0xa86ef6027abcc37f), UINT64_C(0x0ba4103e2cea4133) }},
{{ UINT64_C(0xe5caed7a296239ce), UINT64_C(0x8b64d8378bce6457), UINT64_C(0x29e131c6bfcc29f1), UINT64_C(0x0e5cbfd13eb12c45) }},
{{ UINT64_C(0xbfbf4a8ec620d59a), UINT64_C(0xfec97bb2c0191578), UINT64_C(0x26032dd4ce72d48a), UINT64_C(0xe99dfaf4559a98f0) }},
{{ UINT64_C(0xaf8b76e5a353a49e), UINT64_C(0xf05796090cabf2c0), UINT64_C(0x3792f7c6fb6a8618), UINT64_C(0x02686045d851a069) }},
{{ UINT64_C(0xa9a435153d4ebba4), UINT64_C(0x582855da78e2301e), UINT64_C(0x40fde35ef253ba54), UINT64_C(0x79ea48ffe587feee) }},
{{ UINT64_C(0x3610d97a745bd58a), UINT64_C(0x18120e9d35960024), UINT64_C(0x57c09fe7bc83574e), UINT64_C(0x745eae5d233733eb) }},
{{ UINT64_C(0x9185ff6fc1788386), UINT64_C(0xd020bf733ad6ccfb), UINT64_C(0x808c8c11ec462173), UINT64_C(0xc1003a978fcb99b1) }},
{{ UINT64_C(0x461eb798edf765d4), UINT64_C(0x687ca4096ddc6546), UINT64_C(0x9a6c6a68bdb05dfb), UINT64_C(0x170f084bf4cf6748) }},
{{ UINT64_C(0x0d94bcc7e2c8592a), UINT64_C(0x902c582c998e874c), UINT64_C(0x0027cf4a01670b6a), UINT64_C(0x4682f902ae847b1d) }},
{{ UINT64_C(0x7b5476ed92d81382), UINT64_C(0xd40cff72748ba26d), UINT64_C(0xabad787bfde4ee10), UINT64_C(0x212b432e653afc17) }},
{{ UINT64_C(0x2427b316e35549ee), UINT64_C(0xdca1157270e69241), UINT64_C(0x35ee7fa30abca457), UINT64_C(0x25ad677c7d574e72) }},
{{ UINT64_C(0x0191983a59145c0a), UINT64_C(0xbc02d75c62c4bcb5), UINT64_C(0x820cf2aec391c2fb), UINT64_C(0x64189fc867e6e6f6) }},
{{ UINT64_C(0x09c707661a18d956), UINT64_C(0x3cdab057bb319842), UINT64_C(0x7f872e88de195904), UINT64_C(0xfb4532f762b5bbe4) }},
{{ UINT64_C(0xa04345e8bac549a8), UINT64_C(0x8370075ca6b4affc), UINT64_C(0xa83fd63020bfa67d), UINT64_C(0xd4a1bb710ab6dbd7) }},
{{ UINT64_C(0x43a75d30bb39c508), UINT64_C(0x04e13dedaddf63e9), UINT64_C(0xc6338343805fb0e1), UINT64_C(0x9e0ac63515b8bb84) }},
{{ UINT64_C(0x047155d12e565c92), UINT64_C(0xabcf6f28e5226523), UINT64_C(0x46d0e82b05a2513d), UINT64_C(0x0551f828a5592334) }},
{{ UINT64_C(0xb7e0fb4571e0f718), UINT64_C(0x26ad1506b9ae24cc), UINT64_C(0x47f6423b4754710e), UINT64_C(0x424a1eb166533dd8) }},
{{ UINT64_C(0xcda6a0852d7c8c16), UINT64_C(0x51d58da66238a795), UINT64_C(0xd7cf3224be167422), UINT64_C(0x5ed1d3103a578aed) }},
{{ UINT64_C(0x5c6be0f99651919a), UINT64_C(0xfa063b8c91108bbf), UINT64_C(0x11f741db093d2fce), UINT64_C(0xa28e391e72310986) }},
{{ UINT64_C(0xcc7ec906901b3080), UINT64_C(0x3c14ed4535ebd2af), UINT64_C(0x95a3eeda1a2191bf), UINT64_C(0xbc6b485ed94e7f79) }},
{{ UINT64_C(0x7d18fb4ea8d9335a), UINT64_C(0x722003f639f2082e), UINT64_C(0xf1cc6f415a318dda), UINT64_C(0x690bb16b863034b1) }},
{{ UINT64_C(0xf93ac38de90e2fa2), UINT64_C(0x23f1d839933f7989), UINT64_C(0x43b007562456a60c), UINT64_C(0x5e1452b06f77218d) }},
};
static const mzd_local_t L_1[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa8041ceeb1547656), UINT64_C(0x669efc5b3fdeb021), UINT64_C(0x6fb9295542735193), UINT64_C(0xe420909bb8726590) }},
{{ UINT64_C(0xbf07b0ec2f6de944), UINT64_C(0xfb584120308e5dd1), UINT64_C(0x284f6788d23bd2f1), UINT64_C(0x8524de39e3f2af96) }},
{{ UINT64_C(0x7d0a92c56c93430e), UINT64_C(0x77a428745ca4c244), UINT64_C(0xe90d7f4452bd25d4), UINT64_C(0x8598f462e3a1922a) }},
{{ UINT64_C(0x32e1f54be0516670), UINT64_C(0x4c86003b43faac72), UINT64_C(0x8c24b4873965c017), UINT64_C(0xf81a782538a530ec) }},
{{ UINT64_C(0xe885dd74fb61f1e2), UINT64_C(0x34811fe5a9d0187a), UINT64_C(0xe17383febf8feb8c), UINT64_C(0xa6979114d2da608e) }},
{{ UINT64_C(0x731416e149945280), UINT64_C(0x169716a65ab774d6), UINT64_C(0x44db586bf91423e4), UINT64_C(0x028fcee41a5fbff4) }},
{{ UINT64_C(0xca8255480974c568), UINT64_C(0xf09e4ae363b9a508), UINT64_C(0x3777020c168bb6f0), UINT64_C(0x23518457dbfbd875) }},
{{ UINT64_C(0xfb5dd08889761826), UINT64_C(0xf96aaf8b91f77e42), UINT64_C(0x50f0389c0cd37ac2), UINT64_C(0x0149c7d263e02d87) }},
{{ UINT64_C(0x10f6d02fcc04852c), UINT64_C(0x514d49aebc68f35e), UINT64_C(0x04b90aa9ba817ccd), UINT64_C(0x4c2c21c278b566d1) }},
{{ UINT64_C(0x3f2126f9a387ff1a), UINT64_C(0x4dc6bd8e289d2ab0), UINT64_C(0x70341ba057981021), UINT64_C(0xcb8f5972e3f66df9) }},
{{ UINT64_C(0xf33bab5cd1e3011c), UINT64_C(0x6192ece5a2f3bf03), UINT64_C(0xbe5744bcefb830ee), UINT64_C(0xd0e2674514b0bace) }},
{{ UINT64_C(0xdddc1e9d19bf00ee), UINT64_C(0xf425e73510b49629), UINT64_C(0x13789437bb19136d), UINT64_C(0x80ffe678938c811f) }},
{{ UINT64_C(0xd574b081fc99a192), UINT64_C(0x43989ddfd122abdd), UINT64_C(0x18bf8629933c49f4), UINT64_C(0xf8e4451f6398bc91) }},
{{ UINT64_C(0x6861eb29b45b9cb8), UINT64_C(0xb6562934e8672df6), UINT64_C(0xffb52be7b97844af), UINT64_C(0xa9b8e1230a44672f) }},
{{ UINT64_C(0x08e77c8aa4f11584), UINT64_C(0x9a2f7bbac24f33b8), UINT64_C(0xb08d65405417becb), UINT64_C(0x8678f507c880f9ca) }},
{{ UINT64_C(0xe142a2b80da66ef0), UINT64_C(0xa7a10bc5d23ddb50), UINT64_C(0xa3545fe3313da706), UINT64_C(0x11a551f3c730841d) }},
{{ UINT64_C(0x301ec821da1e5f5a), UINT64_C(0x919ee120f9e1da3f), UINT64_C(0x773d9b9fadb5ab88), UINT64_C(0x8aa7f24b38260ee5) }},
{{ UINT64_C(0x3cd6e9d0f66ed020), UINT64_C(0xa78834107dfd5790), UINT64_C(0xf989b6986df74ce7), UINT64_C(0x93deaebe2b371571) }},
{{ UINT64_C(0xe65416d56b548f0c), UINT64_C(0x10d7901f2927f92b), UINT64_C(0x280bb6b426a69927), UINT64_C(0xa951abe7726f7900) }},
{{ UINT64_C(0x7e692a547fb8cd8c), UINT64_C(0x567c2923b65cd65a), UINT64_C(0xb20b707b78e0fb04), UINT64_C(0x6dc5e009a7bfd57b) }},
{{ UINT64_C(0x7e51820a302e8968), UINT64_C(0xe75e1070d48f94df), UINT64_C(0x48c43187c1374d15), UINT64_C(0x9b3c8d74bf77a618) }},
{{ UINT64_C(0x0956b243a68962f2), UINT64_C(0x976647f60ff8ca29), UINT64_C(0x261466ff2ea7345c), UINT64_C(0xb65671c7ca3e40b8) }},
{{ UINT64_C(0x3d222a124abf8dca), UINT64_C(0x9612da34dd00a35f), UINT64_C(0x629f122a421a0d14), UINT64_C(0x0469915817abf956) }},
{{ UINT64_C(0x55abc2229876f014), UINT64_C(0x6320545e235e35d8), UINT64_C(0xa0941e2ad69d9037), UINT64_C(0xcbde777a80daac0c) }},
{{ UINT64_C(0x573dedb2bf7e2f4c), UINT64_C(0xc14f9eabbd208574), UINT64_C(0x372821f9bae60fd8), UINT64_C(0x1d368a5253cfc8ba) }},
{{ UINT64_C(0x2761a555aa340d4a), UINT64_C(0x70c00ba1e93d9b5d), UINT64_C(0x60e1d0dc43474fb7), UINT64_C(0x04cd94898fa78e1c) }},
{{ UINT64_C(0x5a26849e18fd565a), UINT64_C(0x7e5dc7474e6a10d1), UINT64_C(0xeae3edd80828c1e8), UINT64_C(0x20e914cf222f5796) }},
{{ UINT64_C(0xd797d550cf65875e), UINT64_C(0x1214baaadd51676b), UINT64_C(0xc80cb1d1334e6d0a), UINT64_C(0x9bee28da5b98693a) }},
{{ UINT64_C(0x87171644ca0e2080), UINT64_C(0x218123876d3ff6a1), UINT64_C(0x545c81c20e2b9a92), UINT64_C(0xc16f7c9fced5ebd2) }},
{{ UINT64_C(0x3a4d78d7245aab86), UINT64_C(0xf71a84d7435affed), UINT64_C(0x8d3131e942c3861b), UINT64_C(0x35284cef5deaf2e9) }},
{{ UINT64_C(0x4d675dd683c0a6ca), UINT64_C(0x367c76646eb78108), UINT64_C(0xcd00d25093ca8e15), UINT64_C(0x51a4385d38c24545) }},
{{ UINT64_C(0xe0cbf94387b97622), UINT64_C(0x65ea90e4f6a846c9), UINT64_C(0x36159eb35137c835), UINT64_C(0x771034f9895f01ca) }},
{{ UINT64_C(0xcbdb5f898fe98c52), UINT64_C(0x4817c99ef33602e6), UINT64_C(0x5c3028e8a6bd09a2), UINT64_C(0x578d44ca07c4ccd9) }},
{{ UINT64_C(0x85ca5a21b2393c2a), UINT64_C(0x6eba3dfb966957fb), UINT64_C(0x9d5faca7ca3d6322), UINT64_C(0x74f8ef68836a616d) }},
{{ UINT64_C(0xaf0735e8764e51f0), UINT64_C(0x68bfd40ca8110757), UINT64_C(0x6095c489cd95ecea), UINT64_C(0x569d8b5f53642e52) }},
{{ UINT64_C(0xea3dfabec7f79608), UINT64_C(0x7db5995e7835e31c), UINT64_C(0xdcb34e464aec3863), UINT64_C(0x13fc0ea2154b1d1c) }},
{{ UINT64_C(0xfe8d305c27189ff4), UINT64_C(0xdcb764d2180fced8), UINT64_C(0x617159e2121489d7), UINT64_C(0xcc065c6ed78c6bcb) }},
{{ UINT64_C(0x7eff0ff4bfe2f22a), UINT64_C(0x9e80196e5538901a), UINT64_C(0xa1549499ea33bc73), UINT64_C(0x98eaf3593c55b5d9) }},
{{ UINT64_C(0x8e369bd008e7098e), UINT64_C(0x6131e4d95a3c622e), UINT64_C(0x664a55ef5257260f), UINT64_C(0xb617df6ed3f60b23) }},
{{ UINT64_C(0x507ce8f349e4866c), UINT64_C(0x181d28535b65780c), UINT64_C(0xf5c50cc159158e60), UINT64_C(0xca13ecc648f5389a) }},
{{ UINT64_C(0x6434ee5d55f6bf84), UINT64_C(0x715e268ca4611ad8), UINT64_C(0xfb9108969d73483c), UINT64_C(0x4f7a8b8a874041fb) }},
{{ UINT64_C(0xd3b941232806f154), UINT64_C(0x318d46b0d15934b1), UINT64_C(0x6592901a8b07f498), UINT64_C(0x805a6b318ebb7562) }},
{{ UINT64_C(0x06d3a9738a6e2a7c), UINT64_C(0x9d4572a3ed9a57b6), UINT64_C(0xdec66d04e3e30d0a), UINT64_C(0xae6999f4941c0096) }},
{{ UINT64_C(0xbf910fe94e4e28c0), UINT64_C(0x55783de6a867ea8b), UINT64_C(0xf1eda49518c498e0), UINT64_C(0xdb007bc920c8b3d0) }},
{{ UINT64_C(0xfa52bf122c45d554), UINT64_C(0xd3c2ade7ab59cd58), UINT64_C(0xefbf77e5fa199d67), UINT64_C(0xf8115bdf8236567b) }},
{{ UINT64_C(0x156ef08aeb812324), UINT64_C(0x7d00addf57f3e75e), UINT64_C(0xafa7f2682510f614), UINT64_C(0x31c3f3fd3d558558) }},
{{ UINT64_C(0x1ad07708737a8736), UINT64_C(0x01df07b586c943df), UINT64_C(0x3b9fc9ca0efc1a0a), UINT64_C(0x191cab812b8af101) }},
{{ UINT64_C(0x03f63ea50965e566), UINT64_C(0x732b542cc80aebcf), UINT64_C(0x72597f27eb8b46d4), UINT64_C(0x7f1a7a8e999961b7) }},
{{ UINT64_C(0x797893fe21bafab2), UINT64_C(0xa063ab9c4acd0e88), UINT64_C(0xb3fa733da7e955f6), UINT64_C(0x902ea662dac60450) }},
{{ UINT64_C(0x29182d7a415f0b3a), UINT64_C(0x2f19d0a8a0c8bf46), UINT64_C(0x918567eea3b4c12a), UINT64_C(0x526fa0af6760293f) }},
{{ UINT64_C(0x5054ace7bcb2afba), UINT64_C(0xe59f446454c08170), UINT64_C(0xbb4cd3578c4421d3), UINT64_C(0x519a85d627fd73d2) }},
{{ UINT64_C(0x625f171b511eb5ec), UINT64_C(0xbfcf457578ebfe3a), UINT64_C(0x87a00c7f0f3f3c99), UINT64_C(0x0993e33289ddacfc) }},
{{ UINT64_C(0x3269c67b2e3a2b8c), UINT64_C(0x4f5d23215972f2e5), UINT64_C(0xf8dd89e3fe831a7b), UINT64_C(0x5d8275d7e421f3a4) }},
{{ UINT64_C(0x2cdc1d925332a1d8), UINT64_C(0xee8b1c416eec067d), UINT64_C(0x8954c3e3bc17ac5a), UINT64_C(0x9b17cbdd9a1e51d6) }},
{{ UINT64_C(0xcb6882e232a5e39a), UINT64_C(0x93c5c6b555521cda), UINT64_C(0x362cbf6f0f029b7a), UINT64_C(0x5c21787511bedacb) }},
{{ UINT64_C(0xb88e9833c8733046), UINT64_C(0xc20ea1c1e7c132fa), UINT64_C(0xfc26dd08e725e3c6), UINT64_C(0x99d4d0e648f4da05) }},
{{ UINT64_C(0x53b7abf31b9189c2), UINT64_C(0x739d6d3d73334c0d), UINT64_C(0x56de7d4e8fc8d4cf), UINT64_C(0x968177b098838190) }},
{{ UINT64_C(0x5f443bb55591a18c), UINT64_C(0x745a6e2c0e658a2d), UINT64_C(0xbeebd958b38e56fe), UINT64_C(0xdec2e570f624b2e5) }},
{{ UINT64_C(0x4a9d1f0bd3cf3974), UINT64_C(0x264ce43fd7d7bbe9), UINT64_C(0xad2774a88e241a2c), UINT64_C(0x22229d1402aab202) }},
{{ UINT64_C(0x2aa1b2310a5a8188), UINT64_C(0x2deca1c2ab47f6f9), UINT64_C(0xa1cebc1807703c55), UINT64_C(0xaf581cfe8f90a46d) }},
{{ UINT64_C(0xac17e8d9d2fa8db2), UINT64_C(0xbf5d14d2b79748ba), UINT64_C(0x8f388702364f067d), UINT64_C(0xf211aa675c91f00e) }},
{{ UINT64_C(0x54e63e8d92c5067a), UINT64_C(0x99606376798584cc), UINT64_C(0xee5b0ccd35d627f4), UINT64_C(0x580e72cf9c4d6bab) }},
{{ UINT64_C(0x6513ca9da92f7406), UINT64_C(0x8566e3a7d9acd335), UINT64_C(0xfc23394bfb8f4ce3), UINT64_C(0xcdde1be16600f767) }},
{{ UINT64_C(0x7280708430b7094e), UINT64_C(0x67b5bb577bae52af), UINT64_C(0x6ab7594eb2a877ba), UINT64_C(0x767e58ac2b87833f) }},
{{ UINT64_C(0x1ef874c5904f5d28), UINT64_C(0x28f6ee30249e740d), UINT64_C(0x69ab1bf1a4dd6c15), UINT64_C(0x50fad986c02900f0) }},
{{ UINT64_C(0xa89ed8e6481d9bc0), UINT64_C(0xb25e8cdc6c8797a3), UINT64_C(0xeeedfda8b9099bc7), UINT64_C(0x864d77f235782423) }},
{{ UINT64_C(0xb3a0aa584dffd82a), UINT64_C(0x0779dd50b8b3831e), UINT64_C(0x9139f5a4c3f9a115), UINT64_C(0xe83e1499e58afc8a) }},
{{ UINT64_C(0xbc150b3891f4ec30), UINT64_C(0x22d464296cd1ba31), UINT64_C(0x0d765d311115ba02), UINT64_C(0xd11485000b50f9d0) }},
{{ UINT64_C(0x9baa47e639329f18), UINT64_C(0x8cb718fe700ac8dd), UINT64_C(0x235c0f186efb09a5), UINT64_C(0xe212865a7cb8e68d) }},
{{ UINT64_C(0x7bebc1d2fa3ae426), UINT64_C(0x9c7684fcede4b190), UINT64_C(0x1c2a25890be80671), UINT64_C(0x4020c157a30b1868) }},
{{ UINT64_C(0x4e50aecaed5fb880), UINT64_C(0x3198763191ea7453), UINT64_C(0x3a98f9f7af0a55c4), UINT64_C(0xfa0f0c6b9e2fb686) }},
{{ UINT64_C(0x2c87ce466724b4d8), UINT64_C(0xf0e8a00dfa4ba6d1), UINT64_C(0x29346eb3e1e5009e), UINT64_C(0x6c1473b3de4888e8) }},
{{ UINT64_C(0xf94d77e8c640f3b8), UINT64_C(0xc5868bee9ea1b64a), UINT64_C(0xc9dcd7c977d71ad1), UINT64_C(0x8c64580aa7d2cde6) }},
{{ UINT64_C(0xa801f2b72d3ac020), UINT64_C(0x537648038d3d67d9), UINT64_C(0xf496d53df9d24339), UINT64_C(0xd9f62137b59c7cc6) }},
{{ UINT64_C(0xd2705c5f532e8ef4), UINT64_C(0x7e30c234da603fc7), UINT64_C(0x9586785c987299f0), UINT64_C(0x413d8dc306f4b7ca) }},
{{ UINT64_C(0x9fab0213305c30da), UINT64_C(0xbcf1a289ead3ea39), UINT64_C(0xdb0df2e34fbff973), UINT64_C(0x657237bddde1ccfd) }},
{{ UINT64_C(0x5f4ab032504751ac), UINT64_C(0x35deb9ff3c736cc7), UINT64_C(0x1652db387cbbe0a5), UINT64_C(0xea400db9076416c4) }},
{{ UINT64_C(0x3968bb3f8c8adcc2), UINT64_C(0x30117167537c674c), UINT64_C(0x8667ef1a62fa967a), UINT64_C(0xdebe4fee68471969) }},
{{ UINT64_C(0x5a3fdde8145cbc48), UINT64_C(0x8aa7b4044ff254a2), UINT64_C(0x630f18ae6a7f9148), UINT64_C(0x7614e32d192dda83) }},
{{ UINT64_C(0x5b11eee33d5c657e), UINT64_C(0x1612f2adecc4582a), UINT64_C(0x54c411bc3e5c1f59), UINT64_C(0x4c42e9d10b692913) }},
{{ UINT64_C(0x64ecec3701192a68), UINT64_C(0x436aa50d08d9c519), UINT64_C(0xb333256286721be3), UINT64_C(0x026f887ad5588d77) }},
{{ UINT64_C(0xaf3f6e17091ce6e2), UINT64_C(0x09c0b5d90e3de27a), UINT64_C(0x19c0f719db9db2ed), UINT64_C(0x638ffdc7ef38508e) }},
{{ UINT64_C(0x62b5bd9319123bc6), UINT64_C(0xfe5f5b05f462e214), UINT64_C(0x1a11400aa7e41ae2), UINT64_C(0xd0e56a17b8611550) }},
{{ UINT64_C(0xd558648a15fb53ea), UINT64_C(0xd1dc5645e1565be5), UINT64_C(0x321f5150c06a9d94), UINT64_C(0xc75b4013e8b547af) }},
{{ UINT64_C(0xd7d243c3275fbfaa), UINT64_C(0x6d8ca4f165a4be0c), UINT64_C(0x5d4619d9f39c3b5f), UINT64_C(0x1cc52bfcffe2dc6c) }},
{{ UINT64_C(0x9be153f44d06aaaa), UINT64_C(0x6dc3e0837c6c1538), UINT64_C(0x2ed3ebdfb26db137), UINT64_C(0x7d9368328a080d28) }},
{{ UINT64_C(0x8068ac895c0b11c8), UINT64_C(0xdb5230d98b0b5a8e), UINT64_C(0xd35272b2eb350923), UINT64_C(0x4e3bde9c0877fb8e) }},
{{ UINT64_C(0xbd04cafc85620ac4), UINT64_C(0xe84c7b3af420c1f3), UINT64_C(0x13040ac2a5523b3c), UINT64_C(0xe2970d50df025261) }},
{{ UINT64_C(0xab2b79eff2869c50), UINT64_C(0x3e282d1be65e9a9b), UINT64_C(0x1211484dd5eb85c3), UINT64_C(0xc11995300237ca93) }},
{{ UINT64_C(0x3fb22c24e87a4772), UINT64_C(0xe1132a10563483df), UINT64_C(0xe1ae3c6aca65388c), UINT64_C(0xe9c71b3c16416325) }},
{{ UINT64_C(0x625b52bd283bff44), UINT64_C(0x2684b5c416ec3b7a), UINT64_C(0xdbbe9937560168de), UINT64_C(0xfb93fa9131dd92d7) }},
{{ UINT64_C(0xfd257c58c2cfbbe8), UINT64_C(0x08d9a362480fba09), UINT64_C(0xf670046b7db0848d), UINT64_C(0x11cae740bc0c9783) }},
{{ UINT64_C(0x5cf97d252205b19a), UINT64_C(0xb0121e9d8f985353), UINT64_C(0x5c8ed7e189b59152), UINT64_C(0x46c1417c982ad846) }},
{{ UINT64_C(0x373bf1907f89dcd2), UINT64_C(0x20986d9635842f66), UINT64_C(0xaa0b4bcd0ca96a07), UINT64_C(0x613654c7304fff92) }},
{{ UINT64_C(0x3676b2e41a562e4e), UINT64_C(0xbba38792248748f6), UINT64_C(0xfbbbfb0f16d087e8), UINT64_C(0x09eb044e267bf7c7) }},
{{ UINT64_C(0xed9866a7e3fbd2fe), UINT64_C(0x11cfa9e70581758c), UINT64_C(0x96210f9cd1643f20), UINT64_C(0xc8127b6822e1260c) }},
{{ UINT64_C(0xb2c04141c98c1a10), UINT64_C(0xfe524a51e5da91fe), UINT64_C(0xdfc512cadf8a3e0f), UINT64_C(0xd448da124bd53281) }},
{{ UINT64_C(0x81d963fa50777d76), UINT64_C(0xc14303ce66d3e808), UINT64_C(0x4ecd94e5482dc936), UINT64_C(0x188af67a1a190470) }},
{{ UINT64_C(0xdb0b93b57c6119cc), UINT64_C(0x4f3593d52d2f6404), UINT64_C(0x2b3fb0f4b71e5284), UINT64_C(0x9db95ca1f70e18c8) }},
{{ UINT64_C(0xb462ce41a64bf1a6), UINT64_C(0x30848b1b86eb6443), UINT64_C(0x5172f4147dbd5ce9), UINT64_C(0xa21c53dfcf7d81cc) }},
{{ UINT64_C(0x052182b5f970e2ea), UINT64_C(0x756c7c79b53e1388), UINT64_C(0x1117b941cba2c0d0), UINT64_C(0xce502b318a1cfd53) }},
{{ UINT64_C(0x3639b88dd72a4bd8), UINT64_C(0x2071069f8e4e0c95), UINT64_C(0x6bb64f4fa8da1dac), UINT64_C(0x6856729b0864cb53) }},
{{ UINT64_C(0x8a85dd1d8e70123c), UINT64_C(0xfdacf65868bac167), UINT64_C(0x6b1f640abf115148), UINT64_C(0xf0ff9fcbd8f2680a) }},
{{ UINT64_C(0xeaa8169f6f0b2ea4), UINT64_C(0xf889389626763c44), UINT64_C(0x70d19054c7e6fadb), UINT64_C(0x255df4d1343f3054) }},
{{ UINT64_C(0xbbb23d71a55c405c), UINT64_C(0x74ff7598f8c8c21d), UINT64_C(0x61c1603b00eeb081), UINT64_C(0x90496c4a35de5055) }},
{{ UINT64_C(0xc84801292b8f9af4), UINT64_C(0xb774e7fac20f305e), UINT64_C(0x9a651de22f163254), UINT64_C(0x89ecf61074b81844) }},
{{ UINT64_C(0x62d6e52007be8a64), UINT64_C(0xe975c4872fed6e06), UINT64_C(0xb11bded3517c72fa), UINT64_C(0xaecf764092d94974) }},
{{ UINT64_C(0x662678d69e45eb0c), UINT64_C(0xf9de6bd680869664), UINT64_C(0x59d5fe4fb8ed125d), UINT64_C(0xbf5f5e9dd205e757) }},
{{ UINT64_C(0xf2eec265e174d974), UINT64_C(0xbbbaf79e1e47d073), UINT64_C(0x41eed29b39d75a59), UINT64_C(0x7a362d4daa175d6f) }},
{{ UINT64_C(0x1be4fd4398a702ac), UINT64_C(0x84234c460d3ae7e4), UINT64_C(0x85895879f8128e77), UINT64_C(0xeee862314086be31) }},
{{ UINT64_C(0x7c482b0833a5ee12), UINT64_C(0x7674a463d2b49fbb), UINT64_C(0x952a49d23558f5ac), UINT64_C(0x717b4a022165fd37) }},
{{ UINT64_C(0xadab54f378a18630), UINT64_C(0x61fb08dd3561a8b8), UINT64_C(0x34651078f7ffcc49), UINT64_C(0x1b9a2b3beb8ecaca) }},
{{ UINT64_C(0x0d3a2990f0bcbd0e), UINT64_C(0x73cb15f7ce48b48e), UINT64_C(0x3d19d5f2ccc5543e), UINT64_C(0xe4de934ec9de2c3e) }},
{{ UINT64_C(0x09d98d46b9662100), UINT64_C(0x39f52b1125225b03), UINT64_C(0x158702a8306cddd5), UINT64_C(0xcdedbb12d45733eb) }},
{{ UINT64_C(0x2d5fefe09cf52ad2), UINT64_C(0xdd2c0289148f9233), UINT64_C(0x9f6dec3f4a1cb346), UINT64_C(0x127dfea691ae0267) }},
{{ UINT64_C(0x457342045ad70294), UINT64_C(0x46aeb6b13d978bc3), UINT64_C(0x07fac5a968ae09f9), UINT64_C(0xa3f61bc633240859) }},
{{ UINT64_C(0xdb41696fd91a047a), UINT64_C(0xaa2bf3b9a968c48d), UINT64_C(0x08c3bb1039155976), UINT64_C(0xbb4d5c4c89d0d9a6) }},
{{ UINT64_C(0xc9c499585a213820), UINT64_C(0xfd738610c2ec6ffe), UINT64_C(0x78d7b517f4f5bf8b), UINT64_C(0x83b6cee5a902a8ee) }},
{{ UINT64_C(0x19f3c0018a2abedc), UINT64_C(0xa663d3969dfc52f7), UINT64_C(0xbcfa8e1463dbf248), UINT64_C(0x9abd30aec2c44796) }},
{{ UINT64_C(0x8eb7823f5fe1a278), UINT64_C(0xffaa7cdef73c9783), UINT64_C(0xa19a9b1aba0adbf9), UINT64_C(0x68d016aa99b19945) }},
{{ UINT64_C(0xe8bd2411f6041d8a), UINT64_C(0x496d7f325edd1329), UINT64_C(0xd6ce9c5b4c4fd778), UINT64_C(0xf613100c4e9c562a) }},
{{ UINT64_C(0x7ec8fad2a72be75e), UINT64_C(0xcff4add4beab80e2), UINT64_C(0x5351ce4f008275ba), UINT64_C(0xc704675b25b88262) }},
{{ UINT64_C(0xee61d45655dab22a), UINT64_C(0x80c5275ac45d49dd), UINT64_C(0x12161477ec65f3ab), UINT64_C(0xdca244b8848d64a0) }},
{{ UINT64_C(0xa126aa79ff4ced16), UINT64_C(0xf4703bff338e75e4), UINT64_C(0x4374ec954780b91d), UINT64_C(0x09c6b8bf9fccab46) }},
{{ UINT64_C(0xffe00f62cba9d850), UINT64_C(0x4279a348f14c50c0), UINT64_C(0x4403455b10c35226), UINT64_C(0x688fe646f13bc317) }},
{{ UINT64_C(0x85da431eeee0ffce), UINT64_C(0x5ad78fd19901abd1), UINT64_C(0xbe0b900d8a709e1b), UINT64_C(0x45fba1fd1a741e79) }},
{{ UINT64_C(0x32f8ee5e0b91101a), UINT64_C(0xe2dbaf372b146961), UINT64_C(0xe42de5d1d172f12e), UINT64_C(0xbdc2ef49598322b9) }},
{{ UINT64_C(0x1f0ad1e0a2d73d0e), UINT64_C(0x943b6a0934e88e52), UINT64_C(0xc187921b7c1e1a4f), UINT64_C(0x9a8de35880e5beda) }},
{{ UINT64_C(0x2011a700fbc318da), UINT64_C(0x2529ecdb2fe65dfd), UINT64_C(0x87d7795a6a7e48a9), UINT64_C(0x3d249d6ca26e9884) }},
{{ UINT64_C(0x17b54d8d8aaa18b0), UINT64_C(0xc31f962f981976a6), UINT64_C(0x81a0ad20b7169c29), UINT64_C(0xcb59b9d4290b7883) }},
{{ UINT64_C(0xe038b5736a7b726e), UINT64_C(0x6fe7e64a905d1d31), UINT64_C(0xf2240e6519234793), UINT64_C(0x1955c85e6fe94c91) }},
{{ UINT64_C(0x8672f451d40b8d3a), UINT64_C(0xc6a1d8e3cb300510), UINT64_C(0x1d8ab58a1f78da84), UINT64_C(0x7cd7d9d6c30c6b4c) }},
{{ UINT64_C(0x2d356ae3fd142e08), UINT64_C(0xa5b63ce856ea0fcb), UINT64_C(0x7038b680303bc3fe), UINT64_C(0xd22ee6451494befc) }},
{{ UINT64_C(0x7735758b76dfc14a), UINT64_C(0xe0e03b7b67c563bb), UINT64_C(0xbad309ba1bbb662b), UINT64_C(0xa5cd5d540e4b618f) }},
{{ UINT64_C(0xd25049ba20a921a6), UINT64_C(0xc6ca92bf74e25c69), UINT64_C(0x7aebfa0c94cb2f7b), UINT64_C(0x00d342921385bbfb) }},
{{ UINT64_C(0x8a7576707afcb58a), UINT64_C(0x080fa7eee0e536a8), UINT64_C(0x98d2b985a6133de9), UINT64_C(0x4ddfc186d2e40270) }},
{{ UINT64_C(0x5293b78c91c0a760), UINT64_C(0x7420918e699eebd9), UINT64_C(0x787ef410d77bd583), UINT64_C(0x6d2b44282fb6757f) }},
{{ UINT64_C(0xabae3cef5e8fd83c), UINT64_C(0x971dc12c20e9506f), UINT64_C(0x32ac03b75c36b97f), UINT64_C(0xc5783e93d5b6df36) }},
{{ UINT64_C(0x29f90e6328dee996), UINT64_C(0x1226a5271dade033), UINT64_C(0xdf9833bcbe9b023a), UINT64_C(0x59cffda1e2c83527) }},
{{ UINT64_C(0x70683d2b925b92e0), UINT64_C(0x4908a633265091e6), UINT64_C(0xfa1d433da6cee67c), UINT64_C(0x349a96d16ad9abd3) }},
{{ UINT64_C(0xbdd3d49182a435e8), UINT64_C(0x7b5afcf515f1bf37), UINT64_C(0xc57beb076c85d3f3), UINT64_C(0x2d84bd5e412bb124) }},
{{ UINT64_C(0x6dcf66ad4325d0d6), UINT64_C(0x50097995af0028be), UINT64_C(0x74f3f713ec0d14b0), UINT64_C(0x96ad9525fdf4f785) }},
{{ UINT64_C(0xf6aa288a9df2b63e), UINT64_C(0x103f590c6fb17d86), UINT64_C(0x2296570b2c3a1768), UINT64_C(0xb8bcf96238fb7b7c) }},
{{ UINT64_C(0x81de1b3d496478dc), UINT64_C(0x46b4df447a562e4d), UINT64_C(0xacfa499faa0b997d), UINT64_C(0x5c6533c9954e9a74) }},
{{ UINT64_C(0xf77ed85e74e40ad4), UINT64_C(0xc9b81ca302777d1a), UINT64_C(0xf834aecf95a402e6), UINT64_C(0x92e491db8b0c7dd9) }},
{{ UINT64_C(0xad4faf3cd271812e), UINT64_C(0xd14b44f05c7ac2e2), UINT64_C(0x39928c1753683e1d), UINT64_C(0x1fa5074987666347) }},
{{ UINT64_C(0x146c64920887f370), UINT64_C(0x232052857db7624c), UINT64_C(0xbb05975b5b7e0320), UINT64_C(0xb2b0899209fd8024) }},
{{ UINT64_C(0x880434553351ed1c), UINT64_C(0x39ce7872e00a89ab), UINT64_C(0x67eeceadbf6ae556), UINT64_C(0xf83fa5ea31df68f5) }},
{{ UINT64_C(0x2d78bf9cc141efa8), UINT64_C(0xfdd08bf6b14de4c4), UINT64_C(0x9ba291143e89b529), UINT64_C(0x8355d24a6ef3c21d) }},
{{ UINT64_C(0xfb07a6dd383c8ad6), UINT64_C(0xd6ac98376c6cb687), UINT64_C(0xd9d5092062d943ce), UINT64_C(0x971057d957322cc5) }},
{{ UINT64_C(0x025bd2df2c45a030), UINT64_C(0x082ac186bee86167), UINT64_C(0x4179730e7c1ab581), UINT64_C(0xe04792b0b104b7e1) }},
{{ UINT64_C(0x933af7d453548e96), UINT64_C(0x7b77d18cc8f8aa88), UINT64_C(0x1e689275a4808372), UINT64_C(0xfcc671f88d1cf304) }},
{{ UINT64_C(0xdd4ffe19bbcccd96), UINT64_C(0x24c723c82eed5afa), UINT64_C(0x587b5989de955402), UINT64_C(0x0fc1c73947feb5e6) }},
{{ UINT64_C(0x9f7b7580c8de1408), UINT64_C(0x857dd70a99720716), UINT64_C(0xf456e0ea596b797c), UINT64_C(0xc442031858d13580) }},
{{ UINT64_C(0xfa56194e2719cce6), UINT64_C(0xcbfdf4b20fc3c551), UINT64_C(0x05e42f73c3569d25), UINT64_C(0x72b69737d97e1da6) }},
{{ UINT64_C(0x32e10a0f0078db2e), UINT64_C(0xd44563f7d94aef6d), UINT64_C(0xd5587ed237fae2d1), UINT64_C(0x33ba7ad6d9d916ca) }},
{{ UINT64_C(0x8298698041a4d41e), UINT64_C(0xf0c8abdf552602b3), UINT64_C(0x49e6e18aa1bfc78c), UINT64_C(0xd6d8867d0ed1fa33) }},
{{ UINT64_C(0xdba303ad063d8980), UINT64_C(0x340e4b189c3fe412), UINT64_C(0x82508fecdfc42782), UINT64_C(0x31ccdabdc71d0f0a) }},
{{ UINT64_C(0x243dd40badc60f92), UINT64_C(0x0dddeceaadde4aa6), UINT64_C(0x3e000305853f515b), UINT64_C(0x7519391bfa1e9c8d) }},
{{ UINT64_C(0xb83db33be1b46e4a), UINT64_C(0xb63ee81ce6d0272b), UINT64_C(0x5db7f3a44dcdc706), UINT64_C(0xfc478434ea8b3be5) }},
{{ UINT64_C(0xc79bbf117ce2c610), UINT64_C(0x8dd09158bfa34a43), UINT64_C(0xb793050edb2ac0a8), UINT64_C(0x8846ac21407cbf33) }},
{{ UINT64_C(0x44d749c4a7dd8822), UINT64_C(0xe31b1278caf96325), UINT64_C(0x7e4eda02e4d9087c), UINT64_C(0x3bb65575aa4474bb) }},
{{ UINT64_C(0xfaef197513ca5d7c), UINT64_C(0x6db8d6579a87ceb7), UINT64_C(0xab88bc62f33cb875), UINT64_C(0xf0ee28f9563bf777) }},
{{ UINT64_C(0x68de22a266504724), UINT64_C(0x13d48ddabb7b82cb), UINT64_C(0x64d357a2d99c492e), UINT64_C(0xfa60d0dc44359cdf) }},
{{ UINT64_C(0xc2c06bb535b43f4a), UINT64_C(0xe6ab34b69420aa93), UINT64_C(0xbcecfcf222c4dec8), UINT64_C(0x930e55c1101a0378) }},
{{ UINT64_C(0x7dff5990272844b0), UINT64_C(0x1632c23360d299d3), UINT64_C(0x85c94f8bc44d46e0), UINT64_C(0x06d6e3e48070cfd1) }},
{{ UINT64_C(0xb574253d8c27d8a8), UINT64_C(0x63130309141c1f6e), UINT64_C(0x6a02488e2075121c), UINT64_C(0xb34d4a80634b4040) }},
{{ UINT64_C(0x7b86d14ab3957444), UINT64_C(0xf50b38e462f787a9), UINT64_C(0x277b76ba01fd47c2), UINT64_C(0xf7dc9e12c90c8dc7) }},
{{ UINT64_C(0x865c44b6e2200ef6), UINT64_C(0x75db585a49780312), UINT64_C(0x85a5f38158566c65), UINT64_C(0x56e20065277ca1d5) }},
{{ UINT64_C(0x1742f29ff0987668), UINT64_C(0x182f8c3ad4af8f92), UINT64_C(0x8e2909c199ca1f11), UINT64_C(0xdc116a94ee3f50ea) }},
{{ UINT64_C(0x5651251e5aeecd7a), UINT64_C(0xb983e1bb36b14331), UINT64_C(0xf45826786189cf8e), UINT64_C(0xa1ddbd4db715aebd) }},
{{ UINT64_C(0x68e26a4ecb0b4ebc), UINT64_C(0xdc01717f812a7fc7), UINT64_C(0x53de07b06e93b2d9), UINT64_C(0x9ecd6b689df614e9) }},
{{ UINT64_C(0xfa76b22cdddd735a), UINT64_C(0xe5ca40b52b9d93f2), UINT64_C(0x373814b6dc1cc29e), UINT64_C(0x444f79035e02144f) }},
{{ UINT64_C(0x68eebf1c949025a2), UINT64_C(0xc66c78fdb9f1a9aa), UINT64_C(0x772477bcf5fd02c0), UINT64_C(0x8be74582ea7b9ec0) }},
{{ UINT64_C(0xe358d7b21920d712), UINT64_C(0x72249afb6b2e6e30), UINT64_C(0x0cbcbd4adc1a6f4b), UINT64_C(0x036eb64c8471ae7d) }},
{{ UINT64_C(0xddaf10715eef2b1e), UINT64_C(0xaa0f9bd25f3262c7), UINT64_C(0x7f6d074c8d25c462), UINT64_C(0x047373e568886a7f) }},
{{ UINT64_C(0xbc17d04db3065e08), UINT64_C(0x072219341a110ad6), UINT64_C(0x0858c54a31be4a99), UINT64_C(0x412f1d6c87cad749) }},
{{ UINT64_C(0xa243931cd71c695a), UINT64_C(0x203c6d6af15fa196), UINT64_C(0x511d85ae9a9d38e0), UINT64_C(0xf706b0d72cfcec90) }},
{{ UINT64_C(0xdb55055d01c98614), UINT64_C(0x2b0ffae0c49ab892), UINT64_C(0x59f093512d037137), UINT64_C(0xff742c887d8f19a1) }},
{{ UINT64_C(0x89739ead13df268a), UINT64_C(0xecdf187de05a44ab), UINT64_C(0x2f85e51721c52416), UINT64_C(0x850a9fdcdc466846) }},
{{ UINT64_C(0xf56caeace676b69a), UINT64_C(0x08f6e2770bb367ed), UINT64_C(0x08a665051dcc72d9), UINT64_C(0x426bbc8c3a925083) }},
{{ UINT64_C(0xdaab4847bd53c668), UINT64_C(0x2540039c7678efaa), UINT64_C(0x161dd27a7792d235), UINT64_C(0x9997cb581f84806d) }},
{{ UINT64_C(0xa3c67b41a4d8a692), UINT64_C(0xbd5e58b617321776), UINT64_C(0xe4f3b284a0ee532a), UINT64_C(0x1991440da134795a) }},
{{ UINT64_C(0x36b994b05ebd74ba), UINT64_C(0xbdde2b084c4458f7), UINT64_C(0xe1bda822a398c739), UINT64_C(0x12d74dd9d172f9fc) }},
{{ UINT64_C(0xaa0e73cac3d60590), UINT64_C(0x704b5f20c9670733), UINT64_C(0xe85e91e78c819be6), UINT64_C(0xcbc8beceb69743ed) }},
{{ UINT64_C(0xe784c00eb5dd031e), UINT64_C(0xe73ad747d6f136bb), UINT64_C(0x8962dae06ad12654), UINT64_C(0x4064a85603f4ee33) }},
{{ UINT64_C(0x553229e2bbbe9528), UINT64_C(0xcebb52d86e1126f9), UINT64_C(0x23440126ea1f1424), UINT64_C(0x2ec8c40b50c8f6cc) }},
{{ UINT64_C(0xd616d0c13578626c), UINT64_C(0x72e9c9014bb939bc), UINT64_C(0x78d1b881457c9b1f), UINT64_C(0x60ebc8f06e7424d2) }},
{{ UINT64_C(0x3b0039c115271300), UINT64_C(0xd8fd5d157f5f13ee), UINT64_C(0xb2245dcfada258b8), UINT64_C(0xf701b6d14c652f83) }},
{{ UINT64_C(0x8701850e2763e9ee), UINT64_C(0xb07dcb2902dee2ba), UINT64_C(0x50c86a1ee0c053c1), UINT64_C(0xb2f5b3ae0521ad5c) }},
{{ UINT64_C(0x62e495847246f71c), UINT64_C(0x5756063576b6fe52), UINT64_C(0xb50ade920134bc90), UINT64_C(0x90da6855ae4fdb96) }},
{{ UINT64_C(0x810064c9b3dbb99a), UINT64_C(0x31e71d0d00ea3160), UINT64_C(0xd809ac4b3f32a2fe), UINT64_C(0xb397a9eef4db96e7) }},
{{ UINT64_C(0x154a029671617312), UINT64_C(0xad4f0c30742c6979), UINT64_C(0x10d4e2c4b314f07a), UINT64_C(0xe26ebaa0f01f16d9) }},
{{ UINT64_C(0x4a89bb30352c0802), UINT64_C(0xacb3cf3fb0b9ce89), UINT64_C(0xe83694eae7a34199), UINT64_C(0x089c53e38db73209) }},
{{ UINT64_C(0xa68abbd83dffa962), UINT64_C(0xc5038b159a22fc72), UINT64_C(0x5fa06bebd5a0b819), UINT64_C(0xa225bb26e34bee1c) }},
{{ UINT64_C(0xa32e3792313e6284), UINT64_C(0x7532113dda906f2a), UINT64_C(0xfd885609bdf129e5), UINT64_C(0x5d501590bdea55ad) }},
{{ UINT64_C(0x99e02ffacdda1fca), UINT64_C(0x9fe8f2f0888d60cb), UINT64_C(0xa0684ef8a8980dd1), UINT64_C(0xf995964b05d37f57) }},
{{ UINT64_C(0xd1e24fd2e3df245a), UINT64_C(0x7653804c5458c3e7), UINT64_C(0x67e73badf4506ef3), UINT64_C(0xa6eede2f4bb9eb0d) }},
{{ UINT64_C(0x350e69881c03be2a), UINT64_C(0xa30987abb7aa4d79), UINT64_C(0xbdac8a7ed5387d27), UINT64_C(0x1597ae785fb59082) }},
{{ UINT64_C(0x74214e091c3281aa), UINT64_C(0xdb7a8050c9e29f65), UINT64_C(0x38dbd5a9dd4ab7cc), UINT64_C(0xca5a417063c9a517) }},
{{ UINT64_C(0x332fb48e9a53b076), UINT64_C(0x17f8b3f766bf6460), UINT64_C(0x9c9d5ae6b915522d), UINT64_C(0x4a4cd2217cc5ad66) }},
{{ UINT64_C(0x552d4226fa49736e), UINT64_C(0x510a5032c2e92194), UINT64_C(0x0e4b52e47e97ad70), UINT64_C(0x2385d1e2a3aa06f2) }},
{{ UINT64_C(0xe247bfe3fd3bf44a), UINT64_C(0x1fa618de266131b7), UINT64_C(0xd81a549d6f63d845), UINT64_C(0x5126d449a2329ac7) }},
{{ UINT64_C(0xd53ee5efe4f6bafc), UINT64_C(0x9154ebb4b97f9f6d), UINT64_C(0x9b9a3bacda670913), UINT64_C(0xb8f5f90ba5fe3994) }},
{{ UINT64_C(0xe8cf5b9d6b3526b0), UINT64_C(0xa76ff4e981ddd5fa), UINT64_C(0x15f9ba5ec2d19467), UINT64_C(0x13ed2b8bb68e0f5d) }},
{{ UINT64_C(0x51d2df187c550c46), UINT64_C(0xb0ed58b412d0020d), UINT64_C(0x642dac8bd97d764d), UINT64_C(0x3467e20bd92bb0a4) }},
{{ UINT64_C(0xd9567830956a1340), UINT64_C(0x3bcd6af03706b1ae), UINT64_C(0x80119b797764086a), UINT64_C(0xe9233152fb3da71f) }},
{{ UINT64_C(0xfbcdbbc529ba0d42), UINT64_C(0x5166ad4900001ef4), UINT64_C(0x186d9d3736d8780b), UINT64_C(0x49e6fbab2be7c6a8) }},
{{ UINT64_C(0x356fe297d4c55cb0), UINT64_C(0x68cffa48e8631f87), UINT64_C(0xbd464c51800dd625), UINT64_C(0x662caca0886d335b) }},
{{ UINT64_C(0x762327f7f6f9d9fc), UINT64_C(0x7bcf2a8eac42a45c), UINT64_C(0x6baa16efb361bf8b), UINT64_C(0xd9758a1e05003aea) }},
{{ UINT64_C(0x0d494f4b45cde3e8), UINT64_C(0x3c22d22128370e17), UINT64_C(0xf9c218a6c1a9e7c6), UINT64_C(0x8b904a8f47797f1b) }},
{{ UINT64_C(0xc0db8b520e32dbc4), UINT64_C(0xefd8a82b9e76da76), UINT64_C(0x24acaccc45247f87), UINT64_C(0x5e5a71112ccae9a3) }},
{{ UINT64_C(0x5666427e31731eee), UINT64_C(0x6e10c80ecfa12121), UINT64_C(0x9b049beda3b80770), UINT64_C(0x4c922788d7bd134a) }},
{{ UINT64_C(0xbb1c8d47eed9d40c), UINT64_C(0x9621a56f7e7c1b11), UINT64_C(0x2e15f234297414c8), UINT64_C(0xceb232335d607af7) }},
{{ UINT64_C(0xb3bd0c7d8a7a89a4), UINT64_C(0xb346a10ca08f2913), UINT64_C(0xd75f509a5ecec672), UINT64_C(0x934e67ad5816636c) }},
{{ UINT64_C(0x51ff0cad160d265a), UINT64_C(0x67d6744bfd1286c6), UINT64_C(0xd3a2c7ad7405ea67), UINT64_C(0xb537caa9a5f49df8) }},
{{ UINT64_C(0xcf4ba0117c668f12), UINT64_C(0x49468b7a7e83aa5b), UINT64_C(0xa94a94cee647f636), UINT64_C(0x8f14b742d903f290) }},
{{ UINT64_C(0xa337372304b705f8), UINT64_C(0xc78ddfab4eedd259), UINT64_C(0xd41a0ab1a65c0279), UINT64_C(0xd696f073d3e003c8) }},
{{ UINT64_C(0x002d2752e8b11ca8), UINT64_C(0xcc2472446ff76ae6), UINT64_C(0x6a20f0ac273297b2), UINT64_C(0x976eaabdf60d0a51) }},
{{ UINT64_C(0x7b52868682df2966), UINT64_C(0x34f1e8dbcece2c08), UINT64_C(0xc524b1301a09fd95), UINT64_C(0x9d50044eb79c35ec) }},
{{ UINT64_C(0x9dac83af64a3d4e0), UINT64_C(0x0ce18ec95a6649e4), UINT64_C(0x077f69fde8732760), UINT64_C(0x7377d36b22e4e803) }},
{{ UINT64_C(0xc751741208b0a1f4), UINT64_C(0x6da53a07acc5d7d2), UINT64_C(0x3e55c9fb6ba951be), UINT64_C(0x7e2d9ec01cdcc85c) }},
{{ UINT64_C(0x268a826ea5ed989e), UINT64_C(0xbdf4782ed6ca96f7), UINT64_C(0x038cfcd568ebd312), UINT64_C(0x6c92d932cf839203) }},
{{ UINT64_C(0x75d43bf7b83087ae), UINT64_C(0x4bb1943dea543b27), UINT64_C(0x2539821c7fd3e3d8), UINT64_C(0xf12644f3bac5b421) }},
{{ UINT64_C(0x31b85d5597a70f4e), UINT64_C(0x31df18f5067eb334), UINT64_C(0x521e4ccc8ee7060a), UINT64_C(0x4b239c18d98b342d) }},
{{ UINT64_C(0x9605c6b4eee692ae), UINT64_C(0x828db2808d678485), UINT64_C(0x5c8242a65fbc9f6f), UINT64_C(0xb6002a9c4d475146) }},
{{ UINT64_C(0x79c6aed37e917bba), UINT64_C(0x3e90b0c1b0a9ae62), UINT64_C(0x53e6825665d150c6), UINT64_C(0x13bb101edfdc1fc3) }},
{{ UINT64_C(0xcdd57553b58e4d8c), UINT64_C(0x20180c43dd412be0), UINT64_C(0xe5e95b890c783838), UINT64_C(0xda6fc90acad7804c) }},
{{ UINT64_C(0xf1a0b2387dfc130e), UINT64_C(0x700b3ac66f627e28), UINT64_C(0x8c4079f648835560), UINT64_C(0xc88fe95ddec2d1c9) }},
{{ UINT64_C(0x2d8b43844dc3d45c), UINT64_C(0x43d1e4327d0e3677), UINT64_C(0xe0441082a65f3a96), UINT64_C(0x40a314ca7ca7e686) }},
{{ UINT64_C(0x739d181d423dba4a), UINT64_C(0xd72d783f4809dc40), UINT64_C(0x250b4b64be4120bc), UINT64_C(0xf8656c7be7df4055) }},
{{ UINT64_C(0xcd1f3f475f3fb94e), UINT64_C(0xb577ec89ab19b710), UINT64_C(0xcf0b0a8081672b9b), UINT64_C(0xd2c2e27d364cec92) }},
{{ UINT64_C(0x7701612d3cca10b0), UINT64_C(0xb85adb03130dd0f6), UINT64_C(0xe0e221cbc16878fe), UINT64_C(0x3633b1cfa731debd) }},
{{ UINT64_C(0x72f124f15119a30c), UINT64_C(0xbfc73abb98e0243f), UINT64_C(0xeb92aaf180b3f9d2), UINT64_C(0x0e97bc80d89e0fa7) }},
{{ UINT64_C(0xacd732b3de622e54), UINT64_C(0xa3e2cb38a5ed181a), UINT64_C(0xffd75bff2cd6895b), UINT64_C(0xd95d9b97e8599971) }},
{{ UINT64_C(0x68e534615d4191d0), UINT64_C(0x73145a84a6dd99e1), UINT64_C(0xfab29f02afd672a1), UINT64_C(0x823b83d6d0041123) }},
{{ UINT64_C(0x4dfb76b4a5bf1616), UINT64_C(0xe91e06ec5dd16d45), UINT64_C(0x95bea9b79f510747), UINT64_C(0x54f44a5e0644576d) }},
{{ UINT64_C(0x23e75d82727113f6), UINT64_C(0xeece20733c5fbf72), UINT64_C(0x5c1faf877c1342b1), UINT64_C(0x282684c6bdea489a) }},
{{ UINT64_C(0x517799b72b97fff4), UINT64_C(0xeb95c5387d4ae0ee), UINT64_C(0xd260147fb029924c), UINT64_C(0x6b0716b48880972e) }},
{{ UINT64_C(0x0ca9a9526f549366), UINT64_C(0x739695b96e5de7fa), UINT64_C(0xe64e5c5b2b8a31c0), UINT64_C(0x4b5e9e339b4fb042) }},
{{ UINT64_C(0x01f6277de19a77ac), UINT64_C(0xf650500b1069611f), UINT64_C(0xd7abaa1dea651ec4), UINT64_C(0xaa4c1955fd9e7f08) }},
{{ UINT64_C(0x828f18c4bb54d630), UINT64_C(0x93ec228b6916fac1), UINT64_C(0xdbc413f3203e787b), UINT64_C(0x1192b9da9c4e1347) }},
{{ UINT64_C(0x821370983ce4a780), UINT64_C(0x6609c073d1d8a9b6), UINT64_C(0xdbdfd7418c5bdac3), UINT64_C(0x8a67eb8a513a4909) }},
{{ UINT64_C(0x1dec0c2a0185414c), UINT64_C(0x0c7d89e6ed21ccc1), UINT64_C(0x047e774e79e5f880), UINT64_C(0x77b5f2d42ae6bf81) }},
{{ UINT64_C(0xef76f2a10d37c28a), UINT64_C(0xf6bbc68d68cb352c), UINT64_C(0x6724a7b168edd0de), UINT64_C(0x0ed3d362dc48a37c) }},
{{ UINT64_C(0xb438c4ea1e1847e4), UINT64_C(0xcb9cd8f0d7c8ef5f), UINT64_C(0xe741eb0859d2ea20), UINT64_C(0x7515e1d733c35e48) }},
{{ UINT64_C(0x0c32dbeaefffc388), UINT64_C(0x6d0eb7c6020331e8), UINT64_C(0x4924575a9c0410dc), UINT64_C(0x0a5b48da49f951f1) }},
{{ UINT64_C(0x1210e8ad41a55a0c), UINT64_C(0xa68ed6c4989be62a), UINT64_C(0x5375cac4a69452d4), UINT64_C(0x6ed8324e6bc24836) }},
{{ UINT64_C(0xb0d1c3dd4ece1d00), UINT64_C(0xc9dd4f1e9cdda7a3), UINT64_C(0x54ad7ea32d9ad4cb), UINT64_C(0x152707a7e427eb40) }},
{{ UINT64_C(0xf4c7329f37bf1440), UINT64_C(0xaf0ada4716147b6d), UINT64_C(0x94fb9dc9314bbe3b), UINT64_C(0x9f43a92fcc7c1067) }},
{{ UINT64_C(0x7b097cc000104df0), UINT64_C(0x3a5b073ec7e23829), UINT64_C(0x4c468e790ef955be), UINT64_C(0x2f878436adbad8fa) }},
{{ UINT64_C(0x8376682c4d2cc7d8), UINT64_C(0x5a6587682499310b), UINT64_C(0x5d8662a30147c235), UINT64_C(0xc05afbf96d498e2e) }},
{{ UINT64_C(0xc5d63095d3df3cfc), UINT64_C(0x8a26dfcf5d396f1a), UINT64_C(0x42ecb0b31ebd1db5), UINT64_C(0x0727dbac9fd36e05) }},
{{ UINT64_C(0x5d47a4e4389208b6), UINT64_C(0x94ea2ab90c4b1f5a), UINT64_C(0x7eb204faa5a0e5dc), UINT64_C(0x3f41767c3d793a18) }},
{{ UINT64_C(0x828cb371d5919f9e), UINT64_C(0xdc985e3f462eacab), UINT64_C(0x2b61ed56d903e768), UINT64_C(0xf82007c9a47631dc) }},
};
static const mzd_local_t L_2[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xeffcdb74f18797e6), UINT64_C(0x7c2281a4ee8ae589), UINT64_C(0xc753ca47bc369278), UINT64_C(0xf9a6350a33d829cd) }},
{{ UINT64_C(0x7e21327980115a78), UINT64_C(0x59229b2d2ec214df), UINT64_C(0xf852beae4f85aae4), UINT64_C(0x9a46dd115ba4fa69) }},
{{ UINT64_C(0xff1b569ea14be2de), UINT64_C(0x070cf2698f96f35a), UINT64_C(0xe85b8f91a19bc8b3), UINT64_C(0x8531f995accfb54b) }},
{{ UINT64_C(0x24fdd86a2c6efc8c), UINT64_C(0xbd94c90587426721), UINT64_C(0xc5e29170e39012bd), UINT64_C(0xea70b17bee039170) }},
{{ UINT64_C(0xf9e643bfc03d4ee4), UINT64_C(0xab28c1fbed125061), UINT64_C(0x5b2f0349a1c6cad9), UINT64_C(0xa7be5cba13797fa4) }},
{{ UINT64_C(0x8f292d6518931b98), UINT64_C(0xb0c84e0ad8222a13), UINT64_C(0x8005191fdab8ec77), UINT64_C(0x86ca96b4314acaf7) }},
{{ UINT64_C(0x91bf06ea197dce3a), UINT64_C(0xab899707c6bb0049), UINT64_C(0x9262717484c17b61), UINT64_C(0xf29098dc005972ea) }},
{{ UINT64_C(0x83e9bf5124c117fc), UINT64_C(0x45bb3fc646b4def9), UINT64_C(0x8e6890c616fdc344), UINT64_C(0x97c6d4b30d149b24) }},
{{ UINT64_C(0xc431d55a0673e2fe), UINT64_C(0x9eb0512f2291e32e), UINT64_C(0x54e5fad1cbf752e1), UINT64_C(0x0dcab11083e7f7d7) }},
{{ UINT64_C(0x2225c2eb74f04efa), UINT64_C(0x7ee33a71616c19ac), UINT64_C(0x3615e8ef81599340), UINT64_C(0x768d3233689e55f7) }},
{{ UINT64_C(0xb0cd0ec2e084c90e), UINT64_C(0x6182ed3d7d98f3ac), UINT64_C(0x21b20bffe7a40a93), UINT64_C(0x8dd5aa86404ae0f3) }},
{{ UINT64_C(0xb48f873e92e3bc20), UINT64_C(0x8aa36050ca4d25fb), UINT64_C(0x1ca9882c7bd7fad5), UINT64_C(0x6fd463024992619a) }},
{{ UINT64_C(0x1f40a171546624a6), UINT64_C(0xf64e6775c866a89c), UINT64_C(0x4a41b89304c6bdfd), UINT64_C(0xae9c1b93f58472c6) }},
{{ UINT64_C(0xf5d6095c96ca9c90), UINT64_C(0xa5b518ea6f283442), UINT64_C(0x82c1e53e162835af), UINT64_C(0x3f57f477d57809a9) }},
{{ UINT64_C(0xc4d9f21710aa07c8), UINT64_C(0xfcef182618623c14), UINT64_C(0x63d540cf9d0e5ad9), UINT64_C(0xff8e71e2fe230601) }},
{{ UINT64_C(0x619a259dc922c8b8), UINT64_C(0x5d067ea7c783eee5), UINT64_C(0xa19d85380a4b8310), UINT64_C(0x1d8542caeddd3bda) }},
{{ UINT64_C(0xf3b5bd2555fb1598), UINT64_C(0x427a62524458de77), UINT64_C(0xa765ebbde7700b86), UINT64_C(0x969298ea7771b3df) }},
{{ UINT64_C(0xfe2fe8b665c9156e), UINT64_C(0x28205958842a109f), UINT64_C(0x353a34da2bd1fa2c), UINT64_C(0x4937470866920c69) }},
{{ UINT64_C(0x47a0fa3eb16302f0), UINT64_C(0x0fdfcac5b37c3567), UINT64_C(0xa72111a0de8d289b), UINT64_C(0x954fce01c4fb0314) }},
{{ UINT64_C(0x68bd57058e3a0ee8), UINT64_C(0xc53a9ff38a625d47), UINT64_C(0x66e99724a907b6b6), UINT64_C(0x37a224f967e6f234) }},
{{ UINT64_C(0x0d52ae9d893e4e26), UINT64_C(0x5cbf2c335dd867b2), UINT64_C(0x397af6df9b45035f), UINT64_C(0xf6e43621e5d6aa0f) }},
{{ UINT64_C(0x83c77a445485b6f2), UINT64_C(0xde7df78968390e09), UINT64_C(0xa022d76172f5513f), UINT64_C(0xa6e60e2c20b88aa7) }},
{{ UINT64_C(0xa99ea4fd512ae634), UINT64_C(0xc0f0b7a0338cee27), UINT64_C(0x00d6439e4a6937d4), UINT64_C(0x8f34f841cbf909aa) }},
{{ UINT64_C(0x37d3e01046b480f6), UINT64_C(0xbe1de66b9e2a1c38), UINT64_C(0x1f02d4c1e093e2cc), UINT64_C(0x0564075d90502fa1) }},
{{ UINT64_C(0x5eec2aa47d6b4506), UINT64_C(0x38c5919a5f15d8f9), UINT64_C(0xea1d5368ecba3eca), UINT64_C(0xb1e7705b0db2884a) }},
{{ UINT64_C(0x99aa84f4ac905a0e), UINT64_C(0xf87f83533ef9e063), UINT64_C(0xd45d178174bd367b), UINT64_C(0xe79d5907704e2781) }},
{{ UINT64_C(0xb9fcd7bf01012cbc), UINT64_C(0xf1bfec731abe6084), UINT64_C(0x5fa7274b496f1c1f), UINT64_C(0xe806174ad2d8b0bb) }},
{{ UINT64_C(0x910704fc91e3d6f2), UINT64_C(0xcee64e686ae98c28), UINT64_C(0xd03a2cc8a6103c34), UINT64_C(0xcd57a8ec4fe35383) }},
{{ UINT64_C(0xe3e64fdf90236920), UINT64_C(0x05a0e265c5a1ed99), UINT64_C(0x570ad838aade1a3f), UINT64_C(0x727eda3053e4fa18) }},
{{ UINT64_C(0x203b6a039cb41192), UINT64_C(0x027d817c946e2b02), UINT64_C(0x98681ad450a9916a), UINT64_C(0x546a50e46780e54c) }},
{{ UINT64_C(0x29120e890b61869e), UINT64_C(0x90cc257d6f8899e0), UINT64_C(0xf4acc13992e039e5), UINT64_C(0xc5d2dfbf77b5d8d1) }},
{{ UINT64_C(0x966dd8bec71be33e), UINT64_C(0x488f4cae192f0341), UINT64_C(0xd40856132a2d3ee8), UINT64_C(0x3e158c6a51f734a2) }},
{{ UINT64_C(0x2545f75e70ce8c5c), UINT64_C(0xb820ba6beebddf89), UINT64_C(0x3ba714650ad9cce5), UINT64_C(0xd76f9db2ae0aaeaf) }},
{{ UINT64_C(0x7b2f064732483e50), UINT64_C(0x65d6f5cbd0f5540a), UINT64_C(0x0562c4c162d027d6), UINT64_C(0xfc8de2833cdb278d) }},
{{ UINT64_C(0xcd2404feed7b0ad6), UINT64_C(0x9b86f68dc12e9e81), UINT64_C(0xc32196c6ea6bb715), UINT64_C(0x77694d053634b8fa) }},
{{ UINT64_C(0x5f02ecc7b87a55d6), UINT64_C(0xf6e0b532b1172e12), UINT64_C(0x038f59bf9a6478ee), UINT64_C(0x6db6730963e95b25) }},
{{ UINT64_C(0xb17f370130fdd6a4), UINT64_C(0xbf25a7dd421877a1), UINT64_C(0x2c5ff8033dd2e622), UINT64_C(0x88fe69d2b3d63818) }},
{{ UINT64_C(0xc83c838687e65720), UINT64_C(0x38f14722e7190679), UINT64_C(0xeb3167d1ab91e161), UINT64_C(0x5ac23d275f06cbef) }},
{{ UINT64_C(0x9a5d668a18fc6fde), UINT64_C(0xa0c56d23ea98b7d2), UINT64_C(0x273cba48c5e86bec), UINT64_C(0x99691390cc9db06c) }},
{{ UINT64_C(0x1bff4abc00e7ff46), UINT64_C(0x72395ed6f62f03ba), UINT64_C(0x4f93309d3eb134cb), UINT64_C(0x022618359ca63106) }},
{{ UINT64_C(0xb7631a2d923fe98e), UINT64_C(0xacd4dc13fc532c95), UINT64_C(0x968d1094b8a122ab), UINT64_C(0x4be27bb0f2c28981) }},
{{ UINT64_C(0x4b12f7db6f6eb148), UINT64_C(0x9bb07806f11252aa), UINT64_C(0x4cedd7377f7d7951), UINT64_C(0xd72769c9c34da121) }},
{{ UINT64_C(0x7264a20923ccf44e), UINT64_C(0xf9455a4ecdc242f6), UINT64_C(0x6a05801114397d84), UINT64_C(0xc6524e55a9cefc32) }},
{{ UINT64_C(0x87b19cf28a11f7e2), UINT64_C(0xed4f68de547c01ef), UINT64_C(0xddbf46d167df2b16), UINT64_C(0x6b8b4e09789d8fa6) }},
{{ UINT64_C(0x9cb48cc5b077caf0), UINT64_C(0x000eb1897b678093), UINT64_C(0x91089ad75b2e60cc), UINT64_C(0xd936509287dc69f6) }},
{{ UINT64_C(0x42ee52ccbbb57a1c), UINT64_C(0x16c3c3c191ed4a8e), UINT64_C(0xb72be1ec936e9aff), UINT64_C(0x56d2cd4076dad9fb) }},
{{ UINT64_C(0xbf501db309be7cf2), UINT64_C(0x85568f571cafd0c1), UINT64_C(0x13cdaa215efb80e2), UINT64_C(0x0e8ebb691f6b6411) }},
{{ UINT64_C(0xcb689fab6bbc7ffc), UINT64_C(0x05c1ae5902adb684), UINT64_C(0x0c9851dc4feaebed), UINT64_C(0x127dab9b7dd1ce44) }},
{{ UINT64_C(0x71855dee36910962), UINT64_C(0x3f5f9806e2749bd1), UINT64_C(0x7fd214d1b8774834), UINT64_C(0x771ff6ee03b6afeb) }},
{{ UINT64_C(0xb9add2f66500606e), UINT64_C(0x239dfad1df286835), UINT64_C(0x3e94781ac048c23b), UINT64_C(0xae5f7932cf48e1ce) }},
{{ UINT64_C(0x495340a2e2020ee2), UINT64_C(0x200fab88dea2a59c), UINT64_C(0xe2de975e120d6480), UINT64_C(0x11945af49d33a410) }},
{{ UINT64_C(0x96faa3a8f3d55e24), UINT64_C(0x651344d2da5bfdf2), UINT64_C(0xdf238093f05b8b2f), UINT64_C(0xb819209e064a83fc) }},
{{ UINT64_C(0x1fdd11c6bd4eda86), UINT64_C(0x0e344f2982cfe5e3), UINT64_C(0x5661a1e808d8c74c), UINT64_C(0xc10bfa5265f06367) }},
{{ UINT64_C(0x11c39cb704523426), UINT64_C(0x8b29cd21af15ecf4), UINT64_C(0xb0eb44cc75b5b3e5), UINT64_C(0xbec69ad4344678fd) }},
{{ UINT64_C(0x3405760f959c6066), UINT64_C(0x29de65e523c342da), UINT64_C(0x6c8687b759d90355), UINT64_C(0xf3a4d2acb9ba16d7) }},
{{ UINT64_C(0x711db128b61b0a8e), UINT64_C(0xda4e41a4aeade744), UINT64_C(0xabe91e01f76adc54), UINT64_C(0xcea06d39a0074b75) }},
{{ UINT64_C(0x215dec262a949746), UINT64_C(0x300d7ae367f2a780), UINT64_C(0x09a0a84c0a639f8c), UINT64_C(0x626f7d408f00070b) }},
{{ UINT64_C(0x2dceff5cf6c3561c), UINT64_C(0x564927e293f6405c), UINT64_C(0xcd4f9e04b96a751b), UINT64_C(0xdc14a6eee0691121) }},
{{ UINT64_C(0x05848cdddf2e291c), UINT64_C(0x8c48158d4ca70953), UINT64_C(0xc069d0b6a2095fe1), UINT64_C(0xdc9bbf4a24212627) }},
{{ UINT64_C(0x147def38d3672f14), UINT64_C(0xfc0d564104fb5460), UINT64_C(0xf21a2e97a276ffb0), UINT64_C(0x8fa72be35d7403f7) }},
{{ UINT64_C(0xc142004a14d7f6bc), UINT64_C(0xd0fc5e659f5f172b), UINT64_C(0x5ae959110e71f43b), UINT64_C(0x6e308cd03f42d0d2) }},
{{ UINT64_C(0x07d4bcacba217d26), UINT64_C(0xb38e0b51fb10de5b), UINT64_C(0x8be7394d135dcbd9), UINT64_C(0xcaeeb89f233a651b) }},
{{ UINT64_C(0x5a433dbcfab27d00), UINT64_C(0xf7eb9532074276ea), UINT64_C(0x53af6df1c316fe66), UINT64_C(0xb7217fccfef4e232) }},
{{ UINT64_C(0xf6d4a279114e0d46), UINT64_C(0xc952281c5fd919f9), UINT64_C(0x5bf92cce13adc00e), UINT64_C(0x5432ab31b1170e04) }},
{{ UINT64_C(0x90136dcb2f6b3380), UINT64_C(0x964555bcd7e6f814), UINT64_C(0xe76c263fcc2cf510), UINT64_C(0x442e4efafc251bb9) }},
{{ UINT64_C(0x1805d06fb4c3ebf4), UINT64_C(0x0bedc8de2800cf44), UINT64_C(0x7c00a7af7c767723), UINT64_C(0xeb0b63309cdf579f) }},
{{ UINT64_C(0x9c2406238727fd3c), UINT64_C(0xeee701ae6b6bb1ab), UINT64_C(0xc03b1b1a8e3172ba), UINT64_C(0x56a48ebcb22acc03) }},
{{ UINT64_C(0x9539a2cf979c7038), UINT64_C(0x0787e087f6f147af), UINT64_C(0x897f5b290110ef27), UINT64_C(0xa676ea7cd29bd75a) }},
{{ UINT64_C(0x55c803bd0187f492), UINT64_C(0xbed35e7142e80033), UINT64_C(0x2c87470e9d228156), UINT64_C(0xf00fa4e67329b638) }},
{{ UINT64_C(0xcc11dec7edb66a7c), UINT64_C(0x6bdb4322c99e67b4), UINT64_C(0x54e4eb79539d8b5a), UINT64_C(0x01849f141144161d) }},
{{ UINT64_C(0xbe51a978031e89d4), UINT64_C(0x852e939c7e09c01c), UINT64_C(0xef5bf1efdf795278), UINT64_C(0x000538e77e7f7075) }},
{{ UINT64_C(0xd36d59dd52c98f02), UINT64_C(0xb8eef1427f46a7cd), UINT64_C(0xee3c84dc24006210), UINT64_C(0xb9f3701d26ccbcc7) }},
{{ UINT64_C(0xdcbcf3c83b7e2494), UINT64_C(0x9535e6b4211ef895), UINT64_C(0xda94562cb5a27b0c), UINT64_C(0x10b37bb7c4b19bb6) }},
{{ UINT64_C(0x60623f031d1520f2), UINT64_C(0x280fc537ee3d405c), UINT64_C(0x4a6419c2d786ecc3), UINT64_C(0xfdd04672b25b3f7b) }},
{{ UINT64_C(0x556bd80c79c7dcbc), UINT64_C(0xfd84ace2c3c3a850), UINT64_C(0x935dce77bfe9aca2), UINT64_C(0x6a4c67db4c915b77) }},
{{ UINT64_C(0x37c7e92f7e262d06), UINT64_C(0x2346f6f87304f9cf), UINT64_C(0xcc5217b3599f88d7), UINT64_C(0x8499a012bcfc6ec6) }},
{{ UINT64_C(0x3c77d9855099167e), UINT64_C(0x31539f98891f1e2c), UINT64_C(0xc445f6b0b8c5b5f4), UINT64_C(0x6c4d34fe8e3f5ec9) }},
{{ UINT64_C(0xe05d700e71c12fd6), UINT64_C(0x4e9a52763d1862ee), UINT64_C(0x0c14f06c326a33cb), UINT64_C(0x386ce8d695e3af07) }},
{{ UINT64_C(0x595eb0893915048e), UINT64_C(0xa93275ba2462b144), UINT64_C(0xd885ab89672f45a5), UINT64_C(0xc81744b01e5e69ef) }},
{{ UINT64_C(0x54b7a43c885609f6), UINT64_C(0x44c20bdfc7ccb2e1), UINT64_C(0x39ee63524191d669), UINT64_C(0x719db0cac87b4c78) }},
{{ UINT64_C(0x77f509ee1223026a), UINT64_C(0x697e880ab4560dad), UINT64_C(0x1c8fb8e61c0fee52), UINT64_C(0xe7f6c949604f6550) }},
{{ UINT64_C(0xbc10c71de73aafd6), UINT64_C(0x6be8ea13d1f1cb0d), UINT64_C(0x0ec3dcc732960a19), UINT64_C(0xe7086d626479b155) }},
{{ UINT64_C(0x98cad7188199b47a), UINT64_C(0x5596ba7eb60f231b), UINT64_C(0x3d08671b8081bdcb), UINT64_C(0x810e483ccf662c01) }},
{{ UINT64_C(0x8761d09b030a2e42), UINT64_C(0xff4ff7c44a38d1f3), UINT64_C(0x91e05ca39a4aa8da), UINT64_C(0x1e014af561c2a68c) }},
{{ UINT64_C(0x45370b1ebe046dc0), UINT64_C(0xbcd9d9ae9233bac0), UINT64_C(0x73fcd17b7f3a7594), UINT64_C(0x5aa61ac0c504df47) }},
{{ UINT64_C(0xca7be54ec6e479b4), UINT64_C(0x9ead653025b806b4), UINT64_C(0xf362d468323aa9f0), UINT64_C(0x7a1d039a7cf434cc) }},
{{ UINT64_C(0x2619fe9cd3c4b19a), UINT64_C(0x27c264b67ba85d80), UINT64_C(0xb4d81daac4be18d2), UINT64_C(0x7d6750b05b187381) }},
{{ UINT64_C(0x0fbf91442ea244a0), UINT64_C(0xf95f83329d4958dc), UINT64_C(0x23ebbec3ba2d2521), UINT64_C(0x79086928968a5d4b) }},
{{ UINT64_C(0x57f5a063c89dd9ea), UINT64_C(0xfc76604ad244be01), UINT64_C(0x853fbb1dd7c52bf3), UINT64_C(0x54229caa023c506d) }},
{{ UINT64_C(0x28318d2f9c84fed0), UINT64_C(0x985202362cce179a), UINT64_C(0x9f4fa6325e47c1a3), UINT64_C(0x7658d63f7e91ed22) }},
{{ UINT64_C(0x790ba2555a2d3b78), UINT64_C(0xb7f6fb6b7ee56252), UINT64_C(0x3611d60a5aa11781), UINT64_C(0x6f015a6442651725) }},
{{ UINT64_C(0x0add134874121594), UINT64_C(0xba69136689db3563), UINT64_C(0x6d0ec5de5d0967a3), UINT64_C(0xc3ca65b10401c5ff) }},
{{ UINT64_C(0xf11024ce2de9663c), UINT64_C(0x8f7e2ec25384758c), UINT64_C(0x6aab756fcd1587b7), UINT64_C(0x8f37a104518de1a5) }},
{{ UINT64_C(0xea1bb9bf5cf784a6), UINT64_C(0x0a351acc11cbd46d), UINT64_C(0x709bc544128c28de), UINT64_C(0xef3f1f1b4119ff5f) }},
{{ UINT64_C(0xd16577ccd650dc0e), UINT64_C(0xf4ea51395b2f88b2), UINT64_C(0xe6260400af59b557), UINT64_C(0x72e364c66532742b) }},
{{ UINT64_C(0x1b75b6525b17bafc), UINT64_C(0x9dd43d9f52482c73), UINT64_C(0xd9256e250684a0c4), UINT64_C(0x1eab35ebf5bd959d) }},
{{ UINT64_C(0x1a58419c7aa2b822), UINT64_C(0xfd9b5448eef03f63), UINT64_C(0x49dd4f02babe6b1a), UINT64_C(0xb5b03398afd63a1c) }},
{{ UINT64_C(0x72aba9d1be6acf34), UINT64_C(0x93b6fe001e0898a7), UINT64_C(0xc9c0843d88c17b6c), UINT64_C(0x5f6c95546476f310) }},
{{ UINT64_C(0x6664892025010dd2), UINT64_C(0xe11f378f2b32ed09), UINT64_C(0x903d10192e73c7e5), UINT64_C(0x65e83f36d2f7cf53) }},
{{ UINT64_C(0x5fa55fc6aa33ddae), UINT64_C(0x986ecaa89a47a8a3), UINT64_C(0x0bed50cdf3fc815a), UINT64_C(0xea890b8af3f460ab) }},
{{ UINT64_C(0x184c4f611f809c3c), UINT64_C(0xd641a18bcc838e1d), UINT64_C(0x7b9fb2ada8851929), UINT64_C(0x65be74348550f419) }},
{{ UINT64_C(0x39b96a0932246fb8), UINT64_C(0x2908d070720f4967), UINT64_C(0x3bf11bfcf932d492), UINT64_C(0xbb08f2647cc15371) }},
{{ UINT64_C(0x6a1e5a3fde309d60), UINT64_C(0xf1fc014a22c73a35), UINT64_C(0x0cff2302f7b3bd06), UINT64_C(0x2c23ba494404ed36) }},
{{ UINT64_C(0x65306a611a89cede), UINT64_C(0x8343aec3901a6d07), UINT64_C(0xbaf9ecd7960c663f), UINT64_C(0xfb0ef5b401f64b60) }},
{{ UINT64_C(0x1a1e4a2a96ed29f0), UINT64_C(0x3ab581a04ae79508), UINT64_C(0xe2a2290c4820e330), UINT64_C(0x08056aff7bf9c4cf) }},
{{ UINT64_C(0x10ad6f754c046534), UINT64_C(0x125dc50d7f19b39d), UINT64_C(0x3fc52ce5f6bca917), UINT64_C(0xd9a85adbe0af0d79) }},
{{ UINT64_C(0x9743b47de4ce0730), UINT64_C(0x296022a39eafc771), UINT64_C(0x07512fe2a16f6777), UINT64_C(0xb52864684222a3af) }},
{{ UINT64_C(0x9950b67d577648b6), UINT64_C(0x5570bfb0303c78d4), UINT64_C(0x5c79419c08f5cdf0), UINT64_C(0x93972493e6ff8cce) }},
{{ UINT64_C(0x3c0bc1f565194652), UINT64_C(0x1336eb74cde95aa5), UINT64_C(0x58f036f0dee515b7), UINT64_C(0xae75478d53aad8a1) }},
{{ UINT64_C(0x33541b1a99a25eb0), UINT64_C(0x1ce483bcabca5046), UINT64_C(0x20da5654ac5085ac), UINT64_C(0xd45af4a70de34c69) }},
{{ UINT64_C(0x28bf7839e3a5b3d6), UINT64_C(0x4b21f51b24087cb6), UINT64_C(0x5391c40957890e3f), UINT64_C(0xee844fb479ed9caf) }},
{{ UINT64_C(0x1458c8206259c550), UINT64_C(0x9fedbf2e27965eb5), UINT64_C(0x29f48f02e7c01cf4), UINT64_C(0xb00cb73c56a6f399) }},
{{ UINT64_C(0xe5131048fde2487e), UINT64_C(0x899c6f52e5c3cc14), UINT64_C(0xae5c48f83e585135), UINT64_C(0xb2c51d8933a06511) }},
{{ UINT64_C(0x0e6ff4db6a5f9e46), UINT64_C(0x65df67c65023bb85), UINT64_C(0xf0f632a161582d0c), UINT64_C(0xced513a484ceb268) }},
{{ UINT64_C(0x65f622d174ecd27a), UINT64_C(0xe450fd068161e84e), UINT64_C(0x26733ae25ea5acd3), UINT64_C(0x5a865a8c787e7ee6) }},
{{ UINT64_C(0xb238977ed20bbf00), UINT64_C(0xf938242bfb4b6982), UINT64_C(0x9795f0e0b813cdd3), UINT64_C(0x4e5f1bf704b78246) }},
{{ UINT64_C(0xc81acc19d778e104), UINT64_C(0xc47ae09cf86289ef), UINT64_C(0x8ce9e9a3bbcd0238), UINT64_C(0x236035707367c256) }},
{{ UINT64_C(0x9550857f76c30c28), UINT64_C(0x2fd6ddaa77a6a46b), UINT64_C(0xc30f4d0bf129e0b5), UINT64_C(0xbe2d9655d733a0d5) }},
{{ UINT64_C(0x320e5a2c2184f0fa), UINT64_C(0x3c4dbd0a0bcaad3b), UINT64_C(0xff63e850ed853bd5), UINT64_C(0x8b25ad2817e13f1d) }},
{{ UINT64_C(0xf841aedc13e03aca), UINT64_C(0x863822509400cec0), UINT64_C(0x55bee20b374653eb), UINT64_C(0x55f871c75819efea) }},
{{ UINT64_C(0x9bee781dd8557cb0), UINT64_C(0x996c4dfbd84c7300), UINT64_C(0x9df141bf307de87e), UINT64_C(0x5407901b6797eccd) }},
{{ UINT64_C(0xffcb6a3ecd0b57da), UINT64_C(0x20733b6712ac48af), UINT64_C(0xdf05a19ab0c3a242), UINT64_C(0xf4aed1858468287f) }},
{{ UINT64_C(0xa48a468b00d2d592), UINT64_C(0x845ba4eb02e28f38), UINT64_C(0x64c3863687d279c1), UINT64_C(0xa7d810a34471c3c2) }},
{{ UINT64_C(0x973a902beaa361d2), UINT64_C(0xb0c5fca400b6767b), UINT64_C(0x83256ba45c5beeb6), UINT64_C(0xb7f4272bb2fb2420) }},
{{ UINT64_C(0xe9ea2a3daabfd096), UINT64_C(0x0920963413912a73), UINT64_C(0xd61d8cba0700f491), UINT64_C(0x75dc30898f7e3287) }},
{{ UINT64_C(0x1837f246ed132eec), UINT64_C(0xc9941f391b5e06ec), UINT64_C(0x08cc8649cc820d68), UINT64_C(0x650d0526bc6cc5f6) }},
{{ UINT64_C(0xf716c5fd3675ba7c), UINT64_C(0x3102b6657888c0cd), UINT64_C(0xd6e6c9af747feea2), UINT64_C(0xe6b350af5ecb3686) }},
{{ UINT64_C(0xc66ab78b060d35e2), UINT64_C(0x9d6c430362054ed1), UINT64_C(0x9833ea7614731925), UINT64_C(0xdaa401c1e0a696c1) }},
{{ UINT64_C(0xbdb49bc7c87bb6a6), UINT64_C(0x006bef5c2dd669af), UINT64_C(0xdc9eb70d9e843d36), UINT64_C(0xee64725e6ee6d124) }},
{{ UINT64_C(0xb216551c2f413218), UINT64_C(0x013da882dea87d1b), UINT64_C(0x71f790dfe0181add), UINT64_C(0x3be51704ffde28d3) }},
{{ UINT64_C(0xf6743d818d0bc46e), UINT64_C(0xa708d77c22f846a3), UINT64_C(0x1c39c363ea355278), UINT64_C(0x2bbb35845a9cdb8f) }},
{{ UINT64_C(0x368514a072956b9c), UINT64_C(0x24c457d1f1a20295), UINT64_C(0x291b43cef09391d8), UINT64_C(0x06e4b7daf1c8ed42) }},
{{ UINT64_C(0x8b4f38fda900e14a), UINT64_C(0x2510ec4a5d58a0f6), UINT64_C(0xeb1b320c927aea40), UINT64_C(0x8caacbb95c2bc677) }},
{{ UINT64_C(0x5729988fd5823f3c), UINT64_C(0xfdc40c5aa3cd90d8), UINT64_C(0x3a986517a3a9f7ff), UINT64_C(0x9223cefb93b3be65) }},
{{ UINT64_C(0x121d6e276a70a612), UINT64_C(0xc0c6988865e544b9), UINT64_C(0x5f729bc1967cd37d), UINT64_C(0x5cf8307381662b73) }},
{{ UINT64_C(0xd97d693fa3a97c16), UINT64_C(0x3096b04b36aa3a61), UINT64_C(0xec6c15d027d19ad1), UINT64_C(0x63e31720de80a686) }},
{{ UINT64_C(0x2a8742cada71eae0), UINT64_C(0x269a19cdb4019a49), UINT64_C(0x19181ea31201eba1), UINT64_C(0x5b61695410670aed) }},
{{ UINT64_C(0x053614d23773bf62), UINT64_C(0x191f9d0abbf3f87d), UINT64_C(0xdf161559f4f215a5), UINT64_C(0x8e97c53db858c0e1) }},
{{ UINT64_C(0x9ef528bbe07dbd5e), UINT64_C(0x10a1b96933c15497), UINT64_C(0x0a798f77e74f0ccd), UINT64_C(0x465efae6c7e51993) }},
{{ UINT64_C(0x11235269413d2024), UINT64_C(0x3b51b842d8871936), UINT64_C(0x5c00c9bc3f87734c), UINT64_C(0x878fac16fb3544b3) }},
{{ UINT64_C(0x0fc7bc6c8cf6ed46), UINT64_C(0x449942c7df85ed3a), UINT64_C(0x44f40316a2ee732b), UINT64_C(0x554ab6d76057abb5) }},
{{ UINT64_C(0xe42cec006238bae2), UINT64_C(0xc4a3638533a6ba20), UINT64_C(0x06056ae0964909fe), UINT64_C(0x578f80a8ac5e77be) }},
{{ UINT64_C(0xd3920a96529f912e), UINT64_C(0xd82636f48d758a72), UINT64_C(0xb181d3f07c4b5ff3), UINT64_C(0x09648c99a2f5e2df) }},
{{ UINT64_C(0x619757c5bdc5fe5e), UINT64_C(0x8ad870aa018afb73), UINT64_C(0xd8db183800352b2a), UINT64_C(0xb3924a77d494b7ed) }},
{{ UINT64_C(0xca13770177d4bcb2), UINT64_C(0xb5d311511356031e), UINT64_C(0xe4841c099543221d), UINT64_C(0xc2a92018c2244538) }},
{{ UINT64_C(0x6586aff775e0bd54), UINT64_C(0xa24e751522f81dc8), UINT64_C(0x31a67ecd114f3c29), UINT64_C(0x5f7d579528d54c8c) }},
{{ UINT64_C(0x555536a8623810ec), UINT64_C(0x43372f0018880440), UINT64_C(0x0a8d58d2313a9cb8), UINT64_C(0x5f72736458433a3a) }},
{{ UINT64_C(0x161c0cb4c77f2d6a), UINT64_C(0xcdd831347ee3c79a), UINT64_C(0x3e6cee393e1ec026), UINT64_C(0x51bbfd3ab616dcd6) }},
{{ UINT64_C(0xacc72a2c902fb3ce), UINT64_C(0x1edb6dd7733757b7), UINT64_C(0x867b793c24d2ace7), UINT64_C(0x67dc2a946ba9c1da) }},
{{ UINT64_C(0x07fdb1f22e82ed68), UINT64_C(0xd22074c8df1f8622), UINT64_C(0x334d234aa27c4e70), UINT64_C(0xa7e82068ae674d45) }},
{{ UINT64_C(0x87dc2a22489e78a4), UINT64_C(0x4ec117b4c7a627d2), UINT64_C(0x118981993da993a7), UINT64_C(0x136598c9d35125be) }},
{{ UINT64_C(0xd35a2f93f531bd2a), UINT64_C(0x4ea0f82f78662ee3), UINT64_C(0xf885c3818ebb3039), UINT64_C(0x3d54b47f62435936) }},
{{ UINT64_C(0x3cf4e382f153d91e), UINT64_C(0x12b24ccf74d89298), UINT64_C(0x65588c5d44b96854), UINT64_C(0xb90408f096297963) }},
{{ UINT64_C(0x27cffcd9d2cf0e54), UINT64_C(0x1ce1cd39198f6f1a), UINT64_C(0x8b8ee8f61529aa18), UINT64_C(0x95b0f76e5b321c02) }},
{{ UINT64_C(0x32816e86aa094f0a), UINT64_C(0xaab527ae0ec4609e), UINT64_C(0xe72b3402a53e1730), UINT64_C(0x8653c7371ad7f3f0) }},
{{ UINT64_C(0x22bf7e3e45a23c58), UINT64_C(0x7200c300355c1831), UINT64_C(0x0add9fa43bef8c25), UINT64_C(0x94dcce1ed84f4713) }},
{{ UINT64_C(0xed3ed778d4c6f9d6), UINT64_C(0x0883d49ce9f83bc6), UINT64_C(0xf3465101522cbd65), UINT64_C(0x0a385af5453719df) }},
{{ UINT64_C(0x14027cfb56b4a2a6), UINT64_C(0xa1362c3be32ffc20), UINT64_C(0x7ae4c1819ef7df8e), UINT64_C(0xc1000103cccdb709) }},
{{ UINT64_C(0x73d38b04f407c2ce), UINT64_C(0x6605a4fcb2336f97), UINT64_C(0x5a18b0c1dd4e1d84), UINT64_C(0x67298a68957c4915) }},
{{ UINT64_C(0xe27b2215520ed4b2), UINT64_C(0x6433940001a6ea81), UINT64_C(0x04ae9bfd93d3e193), UINT64_C(0xe2aae85cc931e41d) }},
{{ UINT64_C(0x67234718d84b8a1c), UINT64_C(0xe4121621657afbb9), UINT64_C(0xc4a67c4371ff30f2), UINT64_C(0xafc5f9f2a5603a5a) }},
{{ UINT64_C(0xb3ed6cedf79e7d06), UINT64_C(0x7e3b5c0b08bf6ee4), UINT64_C(0x5de2a1c35f370b1c), UINT64_C(0xf0a7ee94c3db3293) }},
{{ UINT64_C(0x53d538cafe73bb2c), UINT64_C(0x1b19fb854abd127d), UINT64_C(0x997b088158a8cf72), UINT64_C(0x773e5bcfd23dc37e) }},
{{ UINT64_C(0x1236417081c8d1c8), UINT64_C(0x0f0cfb3c4d2076a2), UINT64_C(0xb3bcfca8572511a1), UINT64_C(0xbf972c928fd88724) }},
{{ UINT64_C(0x2ceeb351574fbf08), UINT64_C(0xd6c3eeb1d38b405b), UINT64_C(0xf60710fe883e5384), UINT64_C(0x3afe022263fbec16) }},
{{ UINT64_C(0x568d713ebf0c7518), UINT64_C(0xe0460919002ba23d), UINT64_C(0xa16083b9b4c59eee), UINT64_C(0xc1a73189082a2ac3) }},
{{ UINT64_C(0x3a2c18e19f96e136), UINT64_C(0x62b77c1dde07adc2), UINT64_C(0x3842bb6500db3d1c), UINT64_C(0xb87590e7337a532f) }},
{{ UINT64_C(0xa135aa72a372bf1a), UINT64_C(0x6d4db6f3245d0bd3), UINT64_C(0x908e0c811c728b51), UINT64_C(0x3ca464ef4cfec55a) }},
{{ UINT64_C(0x5edbf7bbafa9230a), UINT64_C(0x186907e643a2dc90), UINT64_C(0xd737890dec4432ce), UINT64_C(0x22caa71c257b7b26) }},
{{ UINT64_C(0x38b696236dd811e0), UINT64_C(0x01d3da03d0f034aa), UINT64_C(0x9db21ed2011f1e98), UINT64_C(0x29b8b0bb9800aa9a) }},
{{ UINT64_C(0xbb76bcb9eea6ff56), UINT64_C(0xf82dc47651f8925a), UINT64_C(0xebe8996b67f0d94b), UINT64_C(0xe78175261dd4d16a) }},
{{ UINT64_C(0x3af629da6afc76d2), UINT64_C(0x63b973d4ebbb660a), UINT64_C(0xa2672c88b8955998), UINT64_C(0xb8978546bfddc7e3) }},
{{ UINT64_C(0x36f7513e48a25ee2), UINT64_C(0x565174f26b277cf7), UINT64_C(0x2508e633ee7bd98e), UINT64_C(0x1fd23b362ac89aa2) }},
{{ UINT64_C(0xca94039b6d02c1ca), UINT64_C(0xea87df7d6b1ee77d), UINT64_C(0xc2734294a875fc88), UINT64_C(0xb9e80c5c17eb1a62) }},
{{ UINT64_C(0xba75c2e7ac44f2fc), UINT64_C(0x8a0a0ddbbddc7c5e), UINT64_C(0xd1e3e0ab92b07611), UINT64_C(0x51d2144b2e64827c) }},
{{ UINT64_C(0xf279e838b74caf0e), UINT64_C(0x7bb2fa5a25d97f22), UINT64_C(0x2697ff5b1504659d), UINT64_C(0x0c537d8260352a13) }},
{{ UINT64_C(0x3237f7b45102730e), UINT64_C(0xc1aab2784fa9aa73), UINT64_C(0xdb77963c4a75f9a3), UINT64_C(0x28bf45f865eafb21) }},
{{ UINT64_C(0xd24a09d2ba8645de), UINT64_C(0x136f5063782d766f), UINT64_C(0x66b4211d21efed3d), UINT64_C(0x98fd0839f8ffac83) }},
{{ UINT64_C(0x9f048a8b700e5280), UINT64_C(0x3d917fefb7082faa), UINT64_C(0x25672fbfd40fc613), UINT64_C(0xcf28b16597acaaf2) }},
{{ UINT64_C(0xe9ea7b06f1219c00), UINT64_C(0x703049309b21aa05), UINT64_C(0x31f61e4de718f0e8), UINT64_C(0xd1574012d41695da) }},
{{ UINT64_C(0x210f016a55658720), UINT64_C(0x0330e7178835c6fc), UINT64_C(0xbbe7f2de492853ae), UINT64_C(0x9e6931f64e0fd54c) }},
{{ UINT64_C(0x707335cfd1ad50b6), UINT64_C(0x818ffa6813336a35), UINT64_C(0xb2a6ae3c898d7fb3), UINT64_C(0xdbf3ea90f68f2d0a) }},
{{ UINT64_C(0xdbc455029b0f4a54), UINT64_C(0x029522bc64b1347c), UINT64_C(0x9177b58f02d3456f), UINT64_C(0x054c8af0bbca4843) }},
{{ UINT64_C(0x987c5a89ff2a8c4a), UINT64_C(0x86250e20daadf9f4), UINT64_C(0x9300ce11885c0c26), UINT64_C(0x8b3833783dd9edc3) }},
{{ UINT64_C(0xfed7275ceb8a0148), UINT64_C(0x41812e5ac65e8656), UINT64_C(0x8846fc9a668d4ff8), UINT64_C(0x0dc6a1f6520fc083) }},
{{ UINT64_C(0x4932abd8673cd0ea), UINT64_C(0x8d3c9c02bc96242d), UINT64_C(0xa361bc14419c5a1a), UINT64_C(0x6099446fadb594a8) }},
{{ UINT64_C(0x80522451df64deb2), UINT64_C(0xa7edd2a7e47db101), UINT64_C(0xf62357aeec1a480c), UINT64_C(0xc3ccea4f8ad61bf4) }},
{{ UINT64_C(0x33a423463601a010), UINT64_C(0xbbf1e7f576a10857), UINT64_C(0xf8496b8c1b06919d), UINT64_C(0x6dc45c529c45f694) }},
{{ UINT64_C(0x086559061a559186), UINT64_C(0x23922ef40f7ac29e), UINT64_C(0x5928c9fb37dc5912), UINT64_C(0x472beb94594acb88) }},
{{ UINT64_C(0x34317a9e932c1aa4), UINT64_C(0x3b04625f41fb3451), UINT64_C(0x898c2b5856614955), UINT64_C(0x3640014f9216d786) }},
{{ UINT64_C(0xef0eb535ea9469c6), UINT64_C(0x32b0fa995d623902), UINT64_C(0x45db78b499ca1484), UINT64_C(0x3ba6ca0ae250f537) }},
{{ UINT64_C(0x315658a01500e71a), UINT64_C(0xd098942d3898b54c), UINT64_C(0x76054cb430fcaddb), UINT64_C(0xdde09eca6a8c4d58) }},
{{ UINT64_C(0x3f6f11fc5ac2a666), UINT64_C(0x36753da2f81641a6), UINT64_C(0x0e0ba7e0aeb2a524), UINT64_C(0x8124f7f4f36ce1f7) }},
{{ UINT64_C(0xfb03eb9db4b12a1e), UINT64_C(0xfe0c699909fdfff0), UINT64_C(0x086e00249bd4a66b), UINT64_C(0x32816b94fe877703) }},
{{ UINT64_C(0x8652cbc3b3f7e7ec), UINT64_C(0x248ebe1c85693a3b), UINT64_C(0x40520285934fa37a), UINT64_C(0x558d4ec4332d9ed4) }},
{{ UINT64_C(0xa834037455d722a8), UINT64_C(0x28ceda39476f716c), UINT64_C(0xcac0b8e76bdb0c98), UINT64_C(0x36a24b2e2f118799) }},
{{ UINT64_C(0xbc9b4d21e0edeffe), UINT64_C(0xfde4ef0ce57690dc), UINT64_C(0x27f9551bf7e75a52), UINT64_C(0xa875deddabbf55d8) }},
{{ UINT64_C(0xde80aed7826ec464), UINT64_C(0xdf2dd8d092019671), UINT64_C(0x38fb9ba2a6271d04), UINT64_C(0xea63abb72e8e7f62) }},
{{ UINT64_C(0x84243b0d61c3a416), UINT64_C(0x0dc61b4b8a4f7ecc), UINT64_C(0x2cb056d5c7bc1eb6), UINT64_C(0xbd04e71b2fcbb85d) }},
{{ UINT64_C(0x164338e024083b0c), UINT64_C(0xaf0246a3fbb6a2f9), UINT64_C(0xfbe24c5d01cb7f69), UINT64_C(0x18e0a1ed56795b0f) }},
{{ UINT64_C(0x2bdbc6ffb38c5782), UINT64_C(0xe8513ab726386e66), UINT64_C(0x55bf19b60a29d317), UINT64_C(0xfe2a8357fa099075) }},
{{ UINT64_C(0xbb7a095adb817d0c), UINT64_C(0x489a62ec870fe107), UINT64_C(0x8627e8ffd080695b), UINT64_C(0x82dc7c946ea0b721) }},
{{ UINT64_C(0xb5f32c89185dd4cc), UINT64_C(0x80a0727822c7d23a), UINT64_C(0xbd7ae9bd3c54e631), UINT64_C(0x1ed8fbd40b9aa4c4) }},
{{ UINT64_C(0xab2619ca8e19a82a), UINT64_C(0x8d3b8036c7f68133), UINT64_C(0xc371ae20bc7a63c5), UINT64_C(0x6c7cc55159df7660) }},
{{ UINT64_C(0x254621b361bd4292), UINT64_C(0x7a2dab4c60c12a27), UINT64_C(0x27af24bdda7ca7cf), UINT64_C(0x0aed5b417a39e264) }},
{{ UINT64_C(0x85389d0b0590692e), UINT64_C(0xc7387f0271959531), UINT64_C(0x61c68c6d55871c7d), UINT64_C(0x61f1d90c64ed3129) }},
{{ UINT64_C(0x88715c2e76f196de), UINT64_C(0x02aaab3babe86371), UINT64_C(0x7e450e2a6d3a917d), UINT64_C(0x18f015660f4109a6) }},
{{ UINT64_C(0xc70b5f7b7d50561c), UINT64_C(0x3e4baa444b001290), UINT64_C(0x285519f22f4bc825), UINT64_C(0x0132193ca0380af1) }},
{{ UINT64_C(0x5fb967304b12d79c), UINT64_C(0x0c73bb47423004c3), UINT64_C(0xcd8281ef0d025fd9), UINT64_C(0x75858f95b10b737e) }},
{{ UINT64_C(0xcf86773a21c6780c), UINT64_C(0x9226d424f2e665ee), UINT64_C(0x9c2a4778ce6b749f), UINT64_C(0xa9e5bdb6fedcd6ea) }},
{{ UINT64_C(0x6b06d4d5cb6d034e), UINT64_C(0x627c650cb997e857), UINT64_C(0x584afef9997c2708), UINT64_C(0xa0ed0ba030f0e51e) }},
{{ UINT64_C(0x86e62426e19752c4), UINT64_C(0x609b162fa8de7d51), UINT64_C(0xf270a5333e51ddf8), UINT64_C(0x384e867979cc2bf8) }},
{{ UINT64_C(0x3ce6286e56fbfbe8), UINT64_C(0x3aa90b71f83cf953), UINT64_C(0xa29b6a06fb39e71f), UINT64_C(0x4bc024240dec484d) }},
{{ UINT64_C(0xd6e0e87728fcedea), UINT64_C(0x480f3be3648947af), UINT64_C(0x4bc965b21c26d8d4), UINT64_C(0xe84d13e14c85e6a3) }},
{{ UINT64_C(0xd010fc8642d934e2), UINT64_C(0x9f728ed52e55fc8f), UINT64_C(0xa136683ff0cc511e), UINT64_C(0xf364b663ae55af0c) }},
{{ UINT64_C(0xb4fd1418965f4bf2), UINT64_C(0x9c76834a41807c2b), UINT64_C(0x319337f518b1061d), UINT64_C(0xef1c96183a8fbdbd) }},
{{ UINT64_C(0x089c4a36fbb842de), UINT64_C(0xab64272fdc186201), UINT64_C(0xaeb44fc6e49f2685), UINT64_C(0xbb9bb9a5507a6832) }},
{{ UINT64_C(0x19ee639d292f114a), UINT64_C(0x8c87c85938bfa386), UINT64_C(0x1e1f5fd431870adb), UINT64_C(0x7eaaf8ddf0068201) }},
{{ UINT64_C(0xed9eb220abcf475e), UINT64_C(0xaefac0f3522cde63), UINT64_C(0xc895ee415a2d03a1), UINT64_C(0x1faa423ec5579fca) }},
{{ UINT64_C(0x77e1d7f7957428da), UINT64_C(0x27a54369bd851f93), UINT64_C(0x38befc3b83e8b390), UINT64_C(0x53428869b4d48c88) }},
{{ UINT64_C(0x0a76d9c0f6350578), UINT64_C(0xf7f5a8a914746245), UINT64_C(0xacd93af24e112672), UINT64_C(0xb6e1f6a57d29a94e) }},
{{ UINT64_C(0x7d2fdbdc173d698c), UINT64_C(0xedb4f13b8127cf05), UINT64_C(0xfe0a57b96fb692d3), UINT64_C(0x6cbbc0fb862d71fe) }},
{{ UINT64_C(0xcbf8f7aca2fe9faa), UINT64_C(0xaec743539d2f688d), UINT64_C(0x5c27bbd157d28788), UINT64_C(0xf03512551ddb3671) }},
{{ UINT64_C(0xa7e7b157deb21644), UINT64_C(0xcbaaafcab94db7b3), UINT64_C(0x54e0ad2308276d23), UINT64_C(0x90a7dd4c69117da9) }},
{{ UINT64_C(0xbafc11645479a882), UINT64_C(0x921569e8e2fd599e), UINT64_C(0x2a2905cbe3d85da6), UINT64_C(0x4f19535657858b65) }},
{{ UINT64_C(0x06119b9ea7b861a2), UINT64_C(0x864062141167c8c8), UINT64_C(0x7371fb7a534f4fb3), UINT64_C(0x829de28be8ec27ba) }},
{{ UINT64_C(0x4c6b0ebc8fb0d156), UINT64_C(0x5fb4ad7280d21954), UINT64_C(0xabb9b609978a0e22), UINT64_C(0xc12aa67042007a07) }},
{{ UINT64_C(0xdef65026a0ed2c22), UINT64_C(0x2e01437f8a252716), UINT64_C(0xde3175023ed197a3), UINT64_C(0x67df0990e468de57) }},
{{ UINT64_C(0x0e198492c8c6f4d2), UINT64_C(0x2b0c38c5cc530b40), UINT64_C(0x7a1b21aaa6d4cec4), UINT64_C(0x9a657988ce9a919b) }},
{{ UINT64_C(0x551ae9c314bd3c3c), UINT64_C(0x3045e83352aec294), UINT64_C(0x13b9044a1ee797d0), UINT64_C(0xb7e545e16bc24f07) }},
{{ UINT64_C(0x9cce637eaa3547de), UINT64_C(0x680acb3013aa3d70), UINT64_C(0xf8628503125cea18), UINT64_C(0x2110117764ab5559) }},
{{ UINT64_C(0xbb61598c2924820a), UINT64_C(0x61504a3a0de7dd3f), UINT64_C(0x1954066f7df60bf1), UINT64_C(0xeec31c0e96e11cac) }},
{{ UINT64_C(0xb1c15ae3d71cd2f6), UINT64_C(0x733dcf5313df3321), UINT64_C(0xea4d8e8d6629822e), UINT64_C(0xf7c7ce6d83edfa11) }},
{{ UINT64_C(0x70a4ee54078bf080), UINT64_C(0xb25fca403ffd27f9), UINT64_C(0xbb577670a6e03845), UINT64_C(0x711f3a4ed0561776) }},
{{ UINT64_C(0xa080e63f0a6ff68e), UINT64_C(0xd45860a53a153e51), UINT64_C(0xe80045a074b20a6d), UINT64_C(0x4f2c672396efa335) }},
{{ UINT64_C(0x1de91c919c84ed18), UINT64_C(0x0ad70a5dc04430d0), UINT64_C(0x1502c52a0f68858e), UINT64_C(0xa423fb1214a38051) }},
{{ UINT64_C(0xca46abef1917f848), UINT64_C(0x725b7ec578b198cf), UINT64_C(0xe84f7a57d73d70d4), UINT64_C(0x3916ae9b11c456df) }},
{{ UINT64_C(0xc450e0622c2080c2), UINT64_C(0xfe885e6c4327d10b), UINT64_C(0xe003a3f93efa1a7b), UINT64_C(0x908fdb0213ba4406) }},
{{ UINT64_C(0xe909a642255aa50e), UINT64_C(0xf164f6135ff15e68), UINT64_C(0x7649f2d53ce14c6a), UINT64_C(0x5502f5b0582f1d12) }},
{{ UINT64_C(0x39a1b94e2e4c5b66), UINT64_C(0xfdf29edac3c3c67c), UINT64_C(0x30728716c7e15ef9), UINT64_C(0xc9327cc6033c5617) }},
{{ UINT64_C(0x231c29e351534556), UINT64_C(0x57c837a263153f4e), UINT64_C(0xba37a09e7ca43ef5), UINT64_C(0x7ed3e5bfe57c90f5) }},
{{ UINT64_C(0xf1a01b82402c4ee0), UINT64_C(0x63abaaef47de0114), UINT64_C(0x97211d2a7a24a0c2), UINT64_C(0xfe1129fa77ff5a97) }},
{{ UINT64_C(0xeedd1f38e8c92ae6), UINT64_C(0x4a4577c91ae9bf62), UINT64_C(0x25013c36fc69372c), UINT64_C(0xa8dc466099cd6860) }},
{{ UINT64_C(0x276a336234523336), UINT64_C(0xc66e82309ba4494f), UINT64_C(0xc3872f5c00ffe59d), UINT64_C(0xad211f138f10bbec) }},
{{ UINT64_C(0x6e5ce4e0f90501a6), UINT64_C(0x42a0be23af8757e6), UINT64_C(0xfdc1d86b01cb56b6), UINT64_C(0x49663a11dfc5e6e8) }},
{{ UINT64_C(0x08f9a646d86c709a), UINT64_C(0xc89d726e991efd24), UINT64_C(0x4ee17505c4acb87d), UINT64_C(0x78c2df8382f91f44) }},
{{ UINT64_C(0xa707482543150980), UINT64_C(0xfe9e27a4ddbf2a7e), UINT64_C(0x63cf28ed2b182998), UINT64_C(0x7a80305268e83f4a) }},
{{ UINT64_C(0x9f5b8cf0e1f3c2c0), UINT64_C(0x2e6e103b7348428e), UINT64_C(0xb790dcda0c80f6e2), UINT64_C(0x4b658d7a30fbb22f) }},
{{ UINT64_C(0x7ebc8bb544e27ab6), UINT64_C(0x332c839ae88063c7), UINT64_C(0xcb24066f8c8b5bd2), UINT64_C(0x00d954848a74e0b4) }},
{{ UINT64_C(0x05a16cb1022e2a46), UINT64_C(0x0f22653813852d12), UINT64_C(0x6134824c6fc99f95), UINT64_C(0x151645f9bd9692ea) }},
{{ UINT64_C(0x053c57fa558fdcf0), UINT64_C(0x07eac2ad6c778355), UINT64_C(0xd346eaec412b284b), UINT64_C(0x6c152b6590d7571b) }},
{{ UINT64_C(0x557e52e93ce53ec8), UINT64_C(0x12f91146d6a5a095), UINT64_C(0x551dbb145c92affd), UINT64_C(0x2e0cb4323fa7d831) }},
{{ UINT64_C(0x28750b09a7a3a656), UINT64_C(0x5d0d4e9a38978433), UINT64_C(0x78ff314d33a01e8d), UINT64_C(0xc0a761b9c13fc6e0) }},
{{ UINT64_C(0x1433c3330c143158), UINT64_C(0xdf445b81ca38389f), UINT64_C(0x794a4e27623a005b), UINT64_C(0x1b840a7c261812e9) }},
{{ UINT64_C(0x314ce8249e114c36), UINT64_C(0xaf0528edeb649b70), UINT64_C(0xa4a9961f71c27ae9), UINT64_C(0x1e6f98702339a01a) }},
};
static const mzd_local_t L_3[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x99d5d25b7f19a1bc), UINT64_C(0xa619ff9e13186bb9), UINT64_C(0xee6a5170c80219ff), UINT64_C(0x644f20c69e238d45) }},
{{ UINT64_C(0xa9cb90154825c06c), UINT64_C(0x19ddbddc5320fcca), UINT64_C(0x34c0bd45fa5b7d06), UINT64_C(0xa729aebf5027bcf5) }},
{{ UINT64_C(0xafcf9c600187de66), UINT64_C(0xf50679683a794fb5), UINT64_C(0x01aecef73c3c870d), UINT64_C(0x81e45f0a100e0110) }},
{{ UINT64_C(0x01b5f1629f9c1640), UINT64_C(0x7d034609228c594e), UINT64_C(0xed5525a3218ec5b3), UINT64_C(0x8f51f878bc870c8a) }},
{{ UINT64_C(0xb6965a95674fa28e), UINT64_C(0xd46310aa7b6f12da), UINT64_C(0xec1e74ca5f286a02), UINT64_C(0x9c65dbb3bd1b9168) }},
{{ UINT64_C(0x9bb5a3b7e290638c), UINT64_C(0x2a9b0681d6b9d0f2), UINT64_C(0xaba77c21d6f81ceb), UINT64_C(0x4fa3f68a2931d0f2) }},
{{ UINT64_C(0x88d509769e7afef2), UINT64_C(0xcf131c3c3877fcdc), UINT64_C(0x0909e1a3cdc966a1), UINT64_C(0xb1d5de32c1d15188) }},
{{ UINT64_C(0x90dfa3b14cfbfd80), UINT64_C(0xecea4a83d4b348a0), UINT64_C(0xe01c75ea23ab8512), UINT64_C(0x36b6fbb767eb3c4c) }},
{{ UINT64_C(0xa07ebdcbdb726740), UINT64_C(0x0906eeacfc0fd290), UINT64_C(0x3a920b43e2defdff), UINT64_C(0x92c4c4874637b954) }},
{{ UINT64_C(0x2eab5201dfbf3ae6), UINT64_C(0x9da1f868009062c7), UINT64_C(0x5e58d2ffc184bc9d), UINT64_C(0x4e0dac749c42c142) }},
{{ UINT64_C(0xe79d3275f40b18fe), UINT64_C(0xe8269e619fd11d85), UINT64_C(0xe71028699f71c83c), UINT64_C(0x31635cd995dd6807) }},
{{ UINT64_C(0x3c9cbf2843f3f66e), UINT64_C(0xe08d05cd6b1b6265), UINT64_C(0x68a50e6ea650d35d), UINT64_C(0x4f23cbf561564658) }},
{{ UINT64_C(0x2143b9e7435cbba2), UINT64_C(0xb166eed2a63372c7), UINT64_C(0xafe5725402f466c2), UINT64_C(0xaf227293a4d6a4db) }},
{{ UINT64_C(0xd45775cad3e357e4), UINT64_C(0x44f1d4517633b76c), UINT64_C(0xda3dab1e1ec9f1cd), UINT64_C(0x80c4f75d4cf8b972) }},
{{ UINT64_C(0xd76e984fe0030bee), UINT64_C(0x636e5399b45a5953), UINT64_C(0x6d018e968a5e9cca), UINT64_C(0xa6a275b07bbde98e) }},
{{ UINT64_C(0xd1c3ea7301ae99dc), UINT64_C(0xb7f2272e46413f62), UINT64_C(0xfe96597518e4c23b), UINT64_C(0x3a1246c5b79fd156) }},
{{ UINT64_C(0x72b207c07c4b80aa), UINT64_C(0x3ced1529f79e4c38), UINT64_C(0xc3be3c3aefea4480), UINT64_C(0xe038cbf10d43ab13) }},
{{ UINT64_C(0x37a48ef4e198a8a2), UINT64_C(0x31de69b61d7bd8fd), UINT64_C(0x4a219130248b1b6b), UINT64_C(0x2b08420e801e2cb4) }},
{{ UINT64_C(0x952ae22f475fca6e), UINT64_C(0xd5eab202900d7421), UINT64_C(0x47665c2b5cbdcb30), UINT64_C(0xd98a95f1a35f94ba) }},
{{ UINT64_C(0x72ec54140e069f98), UINT64_C(0xf067ca724f83a129), UINT64_C(0x00200e3cf169eea7), UINT64_C(0x2e4e39905d54d816) }},
{{ UINT64_C(0xb2e98c75ec1f02ce), UINT64_C(0x0e3ea0c13bf7d729), UINT64_C(0x8c334e20ddfa9865), UINT64_C(0x5cf7f45e1e545596) }},
{{ UINT64_C(0x16bef0eed5a52eae), UINT64_C(0x97eee5005762b057), UINT64_C(0x32feb26d596b1551), UINT64_C(0x0fac3cf68999221b) }},
{{ UINT64_C(0x9d722e55a40c5148), UINT64_C(0x655c101797f975c6), UINT64_C(0x3c4ff0f5413c74ad), UINT64_C(0x2afb0879db3ee68a) }},
{{ UINT64_C(0x05c49d89f5075168), UINT64_C(0xf9493fa7fdc338bc), UINT64_C(0xc7b824b8c94a5085), UINT64_C(0x736fdc81c8ba6f32) }},
{{ UINT64_C(0x3b64c2c8ce33a1aa), UINT64_C(0x3d147b5100f2384e), UINT64_C(0x73dc67f4a0f1dce1), UINT64_C(0x658016cf2c3ede37) }},
{{ UINT64_C(0x7c298ffe7a80766e), UINT64_C(0xfdeea1048efd77fd), UINT64_C(0x02ff6f10a87fab61), UINT64_C(0xa572f3ee4605be71) }},
{{ UINT64_C(0x86da4dac22a077c4), UINT64_C(0x747dd4dc934a63d7), UINT64_C(0x82712093576c5fd7), UINT64_C(0x55b1f7f9afaf5abd) }},
{{ UINT64_C(0x6eed05850d684c9e), UINT64_C(0x70ceb4213e3d01d9), UINT64_C(0x7e93a4430b67c9ea), UINT64_C(0x5220b5ffa53af303) }},
{{ UINT64_C(0xcb8a384707f387d6), UINT64_C(0xe9944c2a0e826bfe), UINT64_C(0xd3d8b8452857ad24), UINT64_C(0x908bd23d2409a2cc) }},
{{ UINT64_C(0x235ed1d562246438), UINT64_C(0x48b58e25337e0790), UINT64_C(0x3053a5cd829150c6), UINT64_C(0x3344fb41642456b9) }},
{{ UINT64_C(0x8cfdddd5ca2a2976), UINT64_C(0xcced77b604b9e95a), UINT64_C(0xde46cfe0e4fc93a4), UINT64_C(0xdf94e48f90fbf331) }},
{{ UINT64_C(0x8cbd0038c3dd6c54), UINT64_C(0xfbf51dd9ee9423dd), UINT64_C(0x580b96b60cb0f2d5), UINT64_C(0xd6f3b133f33de7b5) }},
{{ UINT64_C(0xb4f62c7355f986e6), UINT64_C(0xfac5dfe693eb72bc), UINT64_C(0x794e31daa5752aad), UINT64_C(0xd5872d94d01a8e68) }},
{{ UINT64_C(0x1be61e52cfe58be8), UINT64_C(0x92daef66c64dab94), UINT64_C(0x72db2de6e1f04418), UINT64_C(0xc10e37d1e0404425) }},
{{ UINT64_C(0xa3c462e21c73a570), UINT64_C(0xa07ee0f13fa71462), UINT64_C(0x0faa3b271cefd73f), UINT64_C(0xfe09f2ef9e91a7eb) }},
{{ UINT64_C(0xd8a500fa39f4fe60), UINT64_C(0x255171e00da1824d), UINT64_C(0x2bd06f71d37ae6b7), UINT64_C(0x0b18a2a5c94d2de3) }},
{{ UINT64_C(0xf97d8445a51620a8), UINT64_C(0x1b501d4fe99f86f2), UINT64_C(0xbfc22fa0803e58e8), UINT64_C(0x403d904182eff0d6) }},
{{ UINT64_C(0x539b173d0528f082), UINT64_C(0x0f1931d92ac29def), UINT64_C(0x9bfb4789b8a240cd), UINT64_C(0x344f6c01e003671d) }},
{{ UINT64_C(0x1d3272b41c1de548), UINT64_C(0x2f77b76aa96ec347), UINT64_C(0x3129ce6d6071952b), UINT64_C(0xaf81d10a5ba22afe) }},
{{ UINT64_C(0xf447eed3ad52593a), UINT64_C(0x3a3164253ea1b260), UINT64_C(0x9acb3a6323f6f0be), UINT64_C(0xb7ddd96e003e5c36) }},
{{ UINT64_C(0xa1895cabb5cdba12), UINT64_C(0x49b4d61ad0614b56), UINT64_C(0x94e33af155e4edc4), UINT64_C(0x05a820eaefaf46c6) }},
{{ UINT64_C(0x3babb57b0a831a00), UINT64_C(0x564ca11bc580488b), UINT64_C(0x618d149b431b05f7), UINT64_C(0xe2920e7fc5d379a4) }},
{{ UINT64_C(0x71c2ba894ff1d194), UINT64_C(0x2a2172cac0faf696), UINT64_C(0xee2f2326a2cef9a3), UINT64_C(0x6a5179553bbf7bc9) }},
{{ UINT64_C(0x65b760a4e35ec778), UINT64_C(0x771292bbe3415015), UINT64_C(0xb2fa1abe92580ae2), UINT64_C(0xee88e85661a279f0) }},
{{ UINT64_C(0x06eda7b1ecb86890), UINT64_C(0x62c5def2d60d04cd), UINT64_C(0x81f20e8724bd49e7), UINT64_C(0x81a110beb2983dfe) }},
{{ UINT64_C(0xadcb63122750100c), UINT64_C(0x734c15881e5054d3), UINT64_C(0xec5d33baad4cc0b4), UINT64_C(0x6803c793c7557589) }},
{{ UINT64_C(0x59735bf1aef1a304), UINT64_C(0xf62ddfeab3b4b3fb), UINT64_C(0xb57200d2b24a7a43), UINT64_C(0x074f0b3c175207c7) }},
{{ UINT64_C(0xc3b6151f00fd389a), UINT64_C(0x250091604c7e89b4), UINT64_C(0x852ebe5c7cb21beb), UINT64_C(0x9a051e07b8d27885) }},
{{ UINT64_C(0xc95c1926f5ed76e2), UINT64_C(0x992aa6d38d1e950e), UINT64_C(0x65e64424907bb77f), UINT64_C(0x2a92bbbada22a41c) }},
{{ UINT64_C(0x302337d9e0262252), UINT64_C(0xef019b7fcc03a3e2), UINT64_C(0x3d23011ad490327b), UINT64_C(0x16d67e42377af10d) }},
{{ UINT64_C(0xc878b56cdf353f6c), UINT64_C(0x544ed68f864aff7a), UINT64_C(0xda8f14c3df1b7f37), UINT64_C(0xcb7381dbdd5ade17) }},
{{ UINT64_C(0xa0fa54726744c6d0), UINT64_C(0x577478afd2fcbc1c), UINT64_C(0xbcef7cb6518cc630), UINT64_C(0x13b65f87747ae6ff) }},
{{ UINT64_C(0x39da512a0a56ce0c), UINT64_C(0x6410b1b3ae1343d3), UINT64_C(0xd043bf6a3db43fa3), UINT64_C(0xdcb5a6536b6da899) }},
{{ UINT64_C(0xc8f6781a71866cc0), UINT64_C(0xa65cb9624af87b1b), UINT64_C(0x8b24aeccfd10b1f3), UINT64_C(0xc2cef7453aace50f) }},
{{ UINT64_C(0xb9e67ff49fcf7af0), UINT64_C(0xd2c67c522f9ad74b), UINT64_C(0xcf562f841e522bcc), UINT64_C(0xb42bd4977dfaaf82) }},
{{ UINT64_C(0x22426368a7d06f06), UINT64_C(0x6c49fbb6e285ef91), UINT64_C(0x53af36086e27ec93), UINT64_C(0x5c868d9ca02d1142) }},
{{ UINT64_C(0xbb61a40420e88a3a), UINT64_C(0xedc41c6c2bb94d1f), UINT64_C(0xf1e6a776a13748aa), UINT64_C(0x7f6d4a9d961ab44e) }},
{{ UINT64_C(0xa8db1f8e92e90e3a), UINT64_C(0x68b62f33cf96f02b), UINT64_C(0x1eb2d061083374a1), UINT64_C(0xcd85e72b5809703f) }},
{{ UINT64_C(0xd277f656b1f6e74a), UINT64_C(0xc8239251cb5311e6), UINT64_C(0x41c7171284609ea5), UINT64_C(0x6f46f4346f2589ba) }},
{{ UINT64_C(0xa94d07b4298c9202), UINT64_C(0x02502428948c01f1), UINT64_C(0xbddc57c63aab80b4), UINT64_C(0xcd33423dd76b3b21) }},
{{ UINT64_C(0xfd3e08e701758938), UINT64_C(0x4403901c6734991a), UINT64_C(0xc76eb9322933a829), UINT64_C(0xc9850135ade3f1ed) }},
{{ UINT64_C(0x35add520d0cf9386), UINT64_C(0x01befd50fe6e4159), UINT64_C(0x35a79a4f0ed13d19), UINT64_C(0xbdade28b0d5a9c4d) }},
{{ UINT64_C(0x3a6913d77e1e2532), UINT64_C(0x0ed52a1fea457d2c), UINT64_C(0x25da2d9acda2b578), UINT64_C(0xb2281aedbf60585d) }},
{{ UINT64_C(0xddbbce9e984b75d6), UINT64_C(0x5a6025a33ca86bb3), UINT64_C(0xadc2b44c3b65a853), UINT64_C(0x5c7acdaec85e73ce) }},
{{ UINT64_C(0x862c8dddb039336e), UINT64_C(0xfbf9db17768489a1), UINT64_C(0x322f9852beef2201), UINT64_C(0xc07942f5b2a11f01) }},
{{ UINT64_C(0x69f31d0e7fc2f194), UINT64_C(0x4196119f86c2881f), UINT64_C(0x0f0fc004872370b5), UINT64_C(0x721d4e37963956fb) }},
{{ UINT64_C(0xe73f8af228ac9366), UINT64_C(0x8d7db913c0d51092), UINT64_C(0x7f922d17346a492d), UINT64_C(0x305087f79690db0b) }},
{{ UINT64_C(0x60eb3e53c163bf04), UINT64_C(0x2690909e02d75ac3), UINT64_C(0xced370608eeb85d1), UINT64_C(0x0c6d7ec10b956623) }},
{{ UINT64_C(0xa7a2302815467f9a), UINT64_C(0xd0164f74bf5a796c), UINT64_C(0xa55576e5636ae184), UINT64_C(0x086161738b3ef4eb) }},
{{ UINT64_C(0x85fcd2096a72d060), UINT64_C(0x48806fc4e8e05ba2), UINT64_C(0xb442f6e39f323a92), UINT64_C(0x5dd782f422670900) }},
{{ UINT64_C(0x9c7dc908c68eb7fa), UINT64_C(0x6a535a27e8e0c1b8), UINT64_C(0x1a9adf41509985b8), UINT64_C(0x239ec1a3fbaf8aca) }},
{{ UINT64_C(0x2d9f3553fa63609a), UINT64_C(0xeb14f469f4fac110), UINT64_C(0xc627db9d35ff9ede), UINT64_C(0xe09d13a6b4e515d1) }},
{{ UINT64_C(0xfd34b01afb4b5ca8), UINT64_C(0xaff2d92957a0fa92), UINT64_C(0x4bc8f894a4e1dc3b), UINT64_C(0x8030351e160a97f3) }},
{{ UINT64_C(0xd768c2e29bf2d182), UINT64_C(0x726cf9d6af8cb58a), UINT64_C(0x7d8ba77add61638f), UINT64_C(0x7d0880448e7c57cb) }},
{{ UINT64_C(0x457cb4f24ed8565a), UINT64_C(0x71363b88a70c7e1f), UINT64_C(0xf069f511f7c0f718), UINT64_C(0xf72394fd109cf289) }},
{{ UINT64_C(0xd3e0090e7096d2be), UINT64_C(0x7a4fa3c2151ac2a1), UINT64_C(0x39dee92dc43931df), UINT64_C(0xfe840a6e11672152) }},
{{ UINT64_C(0xcc460e35708494e8), UINT64_C(0x2d0108987914d91f), UINT64_C(0x4188c977b69668af), UINT64_C(0x6d6cb811f2ec24eb) }},
{{ UINT64_C(0x80ff78612fb4b012), UINT64_C(0x1fa348d2c8e1e88a), UINT64_C(0x98586b3b7c678d65), UINT64_C(0x7816e3ab2c134205) }},
{{ UINT64_C(0x5e5637b7d20326e0), UINT64_C(0x08708558aa28df05), UINT64_C(0x5cc0a5a1336113cc), UINT64_C(0x35cce5ba4041a7af) }},
{{ UINT64_C(0x40ec9acdfe5de546), UINT64_C(0x080c0cb76ac9c745), UINT64_C(0x1a009c081d38c006), UINT64_C(0x4c994802196f3c36) }},
{{ UINT64_C(0x73b12f922828386c), UINT64_C(0xba371f3682d8dcc5), UINT64_C(0xc4f9f5f0f730726a), UINT64_C(0x6669fb598b9c1391) }},
{{ UINT64_C(0xc005673ba088dd94), UINT64_C(0x5990090a76591109), UINT64_C(0x15306ddb99b99ec1), UINT64_C(0xd487bc5fee7280be) }},
{{ UINT64_C(0xa3b3c557f500dcdc), UINT64_C(0x3e5dafa3c8edada4), UINT64_C(0x79d8da4a67887843), UINT64_C(0xb9d241e60c965300) }},
{{ UINT64_C(0x9f971fe5598689ea), UINT64_C(0x0072ff9f95b2370a), UINT64_C(0x140bb92838b3b6bf), UINT64_C(0xe55d7ccd0c75844d) }},
{{ UINT64_C(0xd64cb0aedc117b2c), UINT64_C(0x30f4138016f71726), UINT64_C(0x8fc2f0c4e9924f51), UINT64_C(0x6d52768beea8e251) }},
{{ UINT64_C(0xb6565022c101d082), UINT64_C(0xaf21e64529d1c4a9), UINT64_C(0xeb9edb9e2b8150f2), UINT64_C(0xb2f7cacfac08f317) }},
{{ UINT64_C(0xa77b7e3c362b343e), UINT64_C(0x9fd2c3ef70b1f237), UINT64_C(0x08ae7f6b8c76882c), UINT64_C(0xa8cb8ed4eba20509) }},
{{ UINT64_C(0x176720045eaa8108), UINT64_C(0x750e81ec4641772b), UINT64_C(0x82b4d0082088fb7c), UINT64_C(0x581ff8af991b5ea7) }},
{{ UINT64_C(0x76fe30d4e4c1ff6e), UINT64_C(0xe2f6f1ebbf2d2db8), UINT64_C(0x6c481a4287e16999), UINT64_C(0x75d75c7223cc3534) }},
{{ UINT64_C(0x8359eac3885ed0dc), UINT64_C(0xeee5354596786b2b), UINT64_C(0xd29332bab22adedf), UINT64_C(0x7060c82e1604551a) }},
{{ UINT64_C(0xd2d433b8f5766ff8), UINT64_C(0xb89b6a7fdcea1db7), UINT64_C(0xaf3122251615f8ba), UINT64_C(0x3fdca1fe14a72306) }},
{{ UINT64_C(0xf5edbd6749763668), UINT64_C(0x572386d4305937e5), UINT64_C(0x491078fedf349041), UINT64_C(0x9823d07825063327) }},
{{ UINT64_C(0xa96090820c6ff3b6), UINT64_C(0xd517fb2f327f883c), UINT64_C(0x7bbb7289b977bdd9), UINT64_C(0xe1f223cb4a3a6283) }},
{{ UINT64_C(0x9a0dd1b92421f062), UINT64_C(0x54379de48e0e2f40), UINT64_C(0xa32fadb65716a4af), UINT64_C(0x376c2a4f4d3097ce) }},
{{ UINT64_C(0xb14fd57af8f97292), UINT64_C(0x0362c04642d5f83d), UINT64_C(0xfa049007bb859996), UINT64_C(0xe8cc5b1b38de1c83) }},
{{ UINT64_C(0xe5040b3f232260e4), UINT64_C(0x0c764774eed3b1eb), UINT64_C(0x9ee120899a2e6318), UINT64_C(0xc35bba9a0741f25b) }},
{{ UINT64_C(0xefd29f2658e9fab6), UINT64_C(0x62719c1e634e5f01), UINT64_C(0xf039b0ff874af298), UINT64_C(0x5687dea8b2f1b5dc) }},
{{ UINT64_C(0x657dc6b0f60b2d2e), UINT64_C(0x845edef8b954b06d), UINT64_C(0xa3596d7a0088d25e), UINT64_C(0x49b916bdaa774819) }},
{{ UINT64_C(0x63fcbf45534a73fe), UINT64_C(0x30f2497576d78626), UINT64_C(0xc64e9b654911c50f), UINT64_C(0x98a5a70eee4e8dce) }},
{{ UINT64_C(0xe74b482d3d9ae3a0), UINT64_C(0xca6eb4c45d88e085), UINT64_C(0x6f2167b663cee989), UINT64_C(0x3a10c63d4805dc0e) }},
{{ UINT64_C(0x8a274a41bfbf0696), UINT64_C(0xaeda2a058db0f58f), UINT64_C(0x99d503c43355cbf8), UINT64_C(0xedbde4a1615f7d30) }},
{{ UINT64_C(0x4b88cf64f9c48ad0), UINT64_C(0x80be23cb740a4dd8), UINT64_C(0xc8f65fee8c362f23), UINT64_C(0x1cb042d816b9c3eb) }},
{{ UINT64_C(0xb214de27729065fa), UINT64_C(0xff3e1be233ee7639), UINT64_C(0x0763a0709ed094f1), UINT64_C(0x55bb4d23ffd7a6cf) }},
{{ UINT64_C(0x1ff93b9abead27e2), UINT64_C(0xa43d5122e22244f1), UINT64_C(0x5c00e4891fe9f157), UINT64_C(0xcc5c431e22dd8bda) }},
{{ UINT64_C(0x85259feb22d74f1a), UINT64_C(0xac2371dcd7af05c4), UINT64_C(0xb3eceb2650b31697), UINT64_C(0x1d17206a4f896ee6) }},
{{ UINT64_C(0x316eef1edc1470f4), UINT64_C(0x79547805a2edf624), UINT64_C(0x6b6890d207034cf8), UINT64_C(0x089b2645915d0fa7) }},
{{ UINT64_C(0x17ac116a23a22e18), UINT64_C(0x4a984aa97790c637), UINT64_C(0xacfcbd3d711485a1), UINT64_C(0x9f1e29f72350a40c) }},
{{ UINT64_C(0x58c5d89a9fec8848), UINT64_C(0xdacc1b7753188252), UINT64_C(0x306ec45fa5fb4122), UINT64_C(0xc151842724a4e15c) }},
{{ UINT64_C(0x793e69b450789c2e), UINT64_C(0xf4999e955e559d97), UINT64_C(0x1f25adfc59a65594), UINT64_C(0x16850fafbbe7782b) }},
{{ UINT64_C(0x676d6fae3518d67c), UINT64_C(0xb8d43028d066191d), UINT64_C(0x18f6dd0b785dfd4d), UINT64_C(0xf44abfb4e74753b4) }},
{{ UINT64_C(0x1ca9dad53d97b84a), UINT64_C(0x6e3cd6444e52eb0c), UINT64_C(0x27214ae04e276e81), UINT64_C(0x5ed8d720c0802cae) }},
{{ UINT64_C(0x4cb3a06d6db4cc92), UINT64_C(0x0d698023f727a1e8), UINT64_C(0x235d5f4798e9af91), UINT64_C(0x272e46f1da1cfe43) }},
{{ UINT64_C(0xc4c523009ee8db34), UINT64_C(0x90567f3e0d73372b), UINT64_C(0xbcee4fc6e5133996), UINT64_C(0x2aec46af7808ae94) }},
{{ UINT64_C(0x2b580aa35bf07efe), UINT64_C(0xc934f9774b78d54f), UINT64_C(0x3908fd9697c59cb7), UINT64_C(0xa8c2fbd966341dda) }},
{{ UINT64_C(0x000b48046b35a0dc), UINT64_C(0x81c002156b44512b), UINT64_C(0xe538c2468dadce7c), UINT64_C(0xb0dc47f3f73525b4) }},
{{ UINT64_C(0xc0ca567f636a32b2), UINT64_C(0x4829733d0c17d11d), UINT64_C(0x8102f2d81deb3838), UINT64_C(0x3ed69e82bba4be3c) }},
{{ UINT64_C(0x5f2cf666a889901c), UINT64_C(0x48e58f4f8c252bd2), UINT64_C(0x22ef04bd88c6bd33), UINT64_C(0xa95aca43537a3ed7) }},
{{ UINT64_C(0xe6053e3ba0ec80be), UINT64_C(0xd47cd8270ae2ba64), UINT64_C(0x0e1715fa17c4ce6e), UINT64_C(0x2c4fc822eefbadb1) }},
{{ UINT64_C(0x3c01f0d25ce146e6), UINT64_C(0x177ff07bd0312e24), UINT64_C(0xb4dcaed5fa0fb566), UINT64_C(0x6f1c4acef04b03cd) }},
{{ UINT64_C(0x3c11a07e572fa266), UINT64_C(0x81692d04970225e5), UINT64_C(0x98e29fc6a3051d89), UINT64_C(0xdd1d2fc2e94f229a) }},
{{ UINT64_C(0x8b463a7fc75b460c), UINT64_C(0x640849abead6ddd0), UINT64_C(0xf2d4c3b129f07d4c), UINT64_C(0x3c5d021a7f6d3482) }},
{{ UINT64_C(0x9f3c8fbfdf87e9c2), UINT64_C(0x8018c8a66d507a71), UINT64_C(0xcab0851815d71664), UINT64_C(0x82a780d4e2e6a88f) }},
{{ UINT64_C(0xe9de18d54fa5448a), UINT64_C(0xf7cca8b49203e778), UINT64_C(0x30a54c9c90ca3f55), UINT64_C(0xf38e6e6420ad5d3a) }},
{{ UINT64_C(0x7d87330c85aae05e), UINT64_C(0x3cb2418879fb2ea2), UINT64_C(0x5f7892766dab23d2), UINT64_C(0xb0683418c6d9bad5) }},
{{ UINT64_C(0x642b9b832721e420), UINT64_C(0x6db833681fcc8462), UINT64_C(0xbacb88e78cc131f2), UINT64_C(0xe8ca0b302d697908) }},
{{ UINT64_C(0xdf535e23eb279886), UINT64_C(0x4fe259595250bbe4), UINT64_C(0x3d6c6aca0a4ae901), UINT64_C(0x808e3619a3570fcd) }},
{{ UINT64_C(0x17750344f146e76c), UINT64_C(0x57a960ac5102661e), UINT64_C(0x77837aca6d5e702a), UINT64_C(0xf41cf817ca4895dc) }},
{{ UINT64_C(0xd744deeb8e7f2892), UINT64_C(0x29604e739d36e6d2), UINT64_C(0xed9372daab964975), UINT64_C(0xb2f53ed6340a7653) }},
{{ UINT64_C(0x0b24428b0189ddfe), UINT64_C(0x8a45caa6a2b6e1b5), UINT64_C(0xd444b0d1bbbba2a3), UINT64_C(0x95e71f26ed529281) }},
{{ UINT64_C(0x7c9f0d20ea8882fa), UINT64_C(0xb32e9a42ac50ed44), UINT64_C(0xfd59b3b95c9f5dbf), UINT64_C(0x679079f8301e59dd) }},
{{ UINT64_C(0x0819e6dbd78e9a3e), UINT64_C(0x2ec72c56476f3b1c), UINT64_C(0x2caee5b44b6f8d35), UINT64_C(0xfb80f6c6fcc67185) }},
{{ UINT64_C(0xad7b3100b2f64dd8), UINT64_C(0x1ec9288dbacde9ac), UINT64_C(0xd4f4e9c008c64dc6), UINT64_C(0x79e928b5d6bf1e98) }},
{{ UINT64_C(0x37b317a5318e5d1a), UINT64_C(0x9459747081a70055), UINT64_C(0xc4c978c5b3c51f9a), UINT64_C(0x846d782dd680068f) }},
{{ UINT64_C(0x5561d74ee1b003f4), UINT64_C(0x6a602607ceb6577e), UINT64_C(0x68d44cfdc4540279), UINT64_C(0xde318834f75e594b) }},
{{ UINT64_C(0xe0dbb0d64b061704), UINT64_C(0x1e4b9272c5205ad1), UINT64_C(0x5a6baff5d54283ba), UINT64_C(0xb19cac9ff8bb35c7) }},
{{ UINT64_C(0xb0e3e7705a35d372), UINT64_C(0x7e774db9d36ff237), UINT64_C(0x9885f24cfe8b2974), UINT64_C(0xcbc6a9b523df254d) }},
{{ UINT64_C(0x89c7e41a929e729e), UINT64_C(0x96243502f1e5fbe7), UINT64_C(0x671dde7f027fad56), UINT64_C(0x752a6b5eeaa283cf) }},
{{ UINT64_C(0x02db1656f298cae2), UINT64_C(0xe3efea8c60547cf6), UINT64_C(0x98590a14ace7bb92), UINT64_C(0x214744ecf8137475) }},
{{ UINT64_C(0x925bbf6298e645be), UINT64_C(0x2a71b774bd73c391), UINT64_C(0x9562438fe4aa8425), UINT64_C(0x3136e7186ce3f700) }},
{{ UINT64_C(0xe64bc9fe2c9db480), UINT64_C(0x92999b4e70717d9f), UINT64_C(0x55a85a9123210cbf), UINT64_C(0x2fa503d7586a8d70) }},
{{ UINT64_C(0x1b535ada100c78ce), UINT64_C(0x5945637bd5e56d94), UINT64_C(0xe9dace728848b5b5), UINT64_C(0x8d9e12a0c0808f86) }},
{{ UINT64_C(0x318b654adbe4963c), UINT64_C(0xa4594d7257afd823), UINT64_C(0xdf810b1a068b06a2), UINT64_C(0x3eecc1d939bb5b93) }},
{{ UINT64_C(0x92fcd130b712bb62), UINT64_C(0xfffdf4a5bcb9dc24), UINT64_C(0xaafc0c0ed8278d12), UINT64_C(0x71cb088b5f6ed010) }},
{{ UINT64_C(0x24c202734cba8c6e), UINT64_C(0x21e994ed1242298b), UINT64_C(0x345599ef7d7ac9f7), UINT64_C(0x011dcec8b9e86f13) }},
{{ UINT64_C(0x1d9878e4d74b03a8), UINT64_C(0x15744554bff6b134), UINT64_C(0x415ac114051deccd), UINT64_C(0x8d650e3df5321d98) }},
{{ UINT64_C(0x6dfff3058b6f0702), UINT64_C(0xd8ab2f906eb632aa), UINT64_C(0x34998b7874a762ea), UINT64_C(0x882f90d8cdc5987c) }},
{{ UINT64_C(0x9ffa1b808e2c0c42), UINT64_C(0x098e99d21be18172), UINT64_C(0x2c202b05a77e0223), UINT64_C(0x3c04c5044675db21) }},
{{ UINT64_C(0x6fcda7da1d1fb210), UINT64_C(0xd6626a607fec5aef), UINT64_C(0xa11c3b195cea0131), UINT64_C(0x573bf578120ea619) }},
{{ UINT64_C(0xa06a70d024843c7a), UINT64_C(0xb31a9e8dd9d5a139), UINT64_C(0x2908b46ad55b0bc7), UINT64_C(0xef1a1f4e0fbcf3d7) }},
{{ UINT64_C(0x55de98bc8bb99d60), UINT64_C(0x21994987927fc23a), UINT64_C(0x8f4c5d9fecde346b), UINT64_C(0x1fc381b616233a18) }},
{{ UINT64_C(0x9b013fa6aad01cc0), UINT64_C(0xabc0c66e2069c72a), UINT64_C(0x7575d1653918da72), UINT64_C(0xca50fcc4f2a8674f) }},
{{ UINT64_C(0x2d9ff58b71da611c), UINT64_C(0xa31d3e0f023cf8d4), UINT64_C(0xb08c70b4109839d7), UINT64_C(0x91a3b680fb58ee7f) }},
{{ UINT64_C(0x51d70fb04b1740e8), UINT64_C(0xa5f33c4d41e07f3d), UINT64_C(0x07da6494b376adaf), UINT64_C(0x734807bdf8919374) }},
{{ UINT64_C(0x2abd3033e39084c0), UINT64_C(0x2f3f4c92da87d7dc), UINT64_C(0x34ee0e371a9aa567), UINT64_C(0x53f4630db3a53fda) }},
{{ UINT64_C(0xc864abb0113a8f3e), UINT64_C(0x7eb7b0bc60ec1f51), UINT64_C(0xa700feca068eca96), UINT64_C(0x00936798a40bd972) }},
{{ UINT64_C(0x4d5ad0dcd6095a72), UINT64_C(0xc02bd0ed70c4a70f), UINT64_C(0x72d9d5b93caefc63), UINT64_C(0x5f7891754247d746) }},
{{ UINT64_C(0x315fe88d1f2ce4ee), UINT64_C(0xd05900c3d9a2d0f1), UINT64_C(0xed62922c5f7ce175), UINT64_C(0xab30abd4093d08c6) }},
{{ UINT64_C(0x54a44f4769d8ff64), UINT64_C(0xe30be9b2236530f3), UINT64_C(0xac9ce637d2275bd3), UINT64_C(0x1f353c331d4a4515) }},
{{ UINT64_C(0x19eaaee398364790), UINT64_C(0x6a7a3dfe3353dff6), UINT64_C(0x9367c45480b3ef9e), UINT64_C(0x71dcf99cc2bcdcc4) }},
{{ UINT64_C(0x83b698ad672e896e), UINT64_C(0x12b7fc1d4144e50c), UINT64_C(0xdffb8cbe5cda4827), UINT64_C(0x5356aab303174247) }},
{{ UINT64_C(0x098ce40a9ee21536), UINT64_C(0xacad0cce554796ee), UINT64_C(0xe4c724e48d94f8ea), UINT64_C(0x557179d89806804f) }},
{{ UINT64_C(0xf921e6918580ed9c), UINT64_C(0x7f2577e8165aaf22), UINT64_C(0x7ea5a89954ae795c), UINT64_C(0x3518089f5cecbe30) }},
{{ UINT64_C(0xad9fd853e06ab45a), UINT64_C(0x89ce2507eb474952), UINT64_C(0x06fdeb41f1dd10b1), UINT64_C(0xcb8a67df29506706) }},
{{ UINT64_C(0x306dffe4da9ce756), UINT64_C(0x015adfc9e4495d43), UINT64_C(0x39b925e017ca4880), UINT64_C(0x638c3ca367b73228) }},
{{ UINT64_C(0x394e32764ac3eefe), UINT64_C(0xeb0f56a738dceca2), UINT64_C(0x13a418f54898e53e), UINT64_C(0x2350e44a5eec7a3b) }},
{{ UINT64_C(0x537b91a798241b96), UINT64_C(0xa2ea69370a7c40a4), UINT64_C(0x5ddda94750e90d38), UINT64_C(0x7312cce5b5ef0a6a) }},
{{ UINT64_C(0xefea12c230f4df48), UINT64_C(0x4421a1c071d9a876), UINT64_C(0x376288c172c2660c), UINT64_C(0xbc9b3cda42a9b15a) }},
{{ UINT64_C(0x4a50bbf05acf3e0e), UINT64_C(0x0937b517b0717320), UINT64_C(0xb64104b2c7700e1e), UINT64_C(0xd07b3398606266b3) }},
{{ UINT64_C(0xbb63089daffc2efc), UINT64_C(0xea985f25dd3d70d1), UINT64_C(0x7ee3b5a411ced609), UINT64_C(0x44f0f3796b8d5a33) }},
{{ UINT64_C(0x1e87b9aff9ec5542), UINT64_C(0xdfe3d3c6e307c508), UINT64_C(0xbb6b73495fd0ded9), UINT64_C(0xc81e2c6868182737) }},
{{ UINT64_C(0x5ff49b0d8f08abd2), UINT64_C(0x418f20f0968a2787), UINT64_C(0x3ef9114b2c7a9b94), UINT64_C(0x6a2adb08d884688a) }},
{{ UINT64_C(0xfb4386ed5eebe706), UINT64_C(0x8cea16051e4a2382), UINT64_C(0xe444da0fc12a254c), UINT64_C(0x23c87fe8a3773581) }},
{{ UINT64_C(0xf81e0c999ba26fce), UINT64_C(0x5fb0691efac63c67), UINT64_C(0x8d60e81e5b8a892e), UINT64_C(0x4fce93c16a548fa4) }},
{{ UINT64_C(0x71d2725ae04ee1b4), UINT64_C(0x0e374545a8200384), UINT64_C(0x4c96afe11c77a0e7), UINT64_C(0x4fccd1a0d094fbab) }},
{{ UINT64_C(0xd30d73dc4c7bf104), UINT64_C(0xa5bf8001a5529883), UINT64_C(0x428af60ccca7eb0c), UINT64_C(0xc06e995e8926a86c) }},
{{ UINT64_C(0xfd7270546c8e2fa8), UINT64_C(0xf4aac1b8476e81e0), UINT64_C(0xd7019a1bb5ca71c0), UINT64_C(0x56100490a2e9fd38) }},
{{ UINT64_C(0x2e3eabfe7ec19dfa), UINT64_C(0x1ee03086c4fa392d), UINT64_C(0xf95843ff664b8833), UINT64_C(0x28b2aef711d0c311) }},
{{ UINT64_C(0x6e859b2100b46be4), UINT64_C(0x030641a7883525da), UINT64_C(0x39b718026c28d29f), UINT64_C(0x11e21a207a5c4254) }},
{{ UINT64_C(0x7c9edcd4658c7416), UINT64_C(0x57b455b814943730), UINT64_C(0x088d1e6271b00eb5), UINT64_C(0xa48da62cdf7ec244) }},
{{ UINT64_C(0x7b1a4150bd212c7e), UINT64_C(0x26ec20c271cf4a5e), UINT64_C(0x623cb22c65890f7d), UINT64_C(0x7819a9b4b26ec5d2) }},
{{ UINT64_C(0x566d63d92d931114), UINT64_C(0x3ef075b2e1926c38), UINT64_C(0x7e8fde198b10351e), UINT64_C(0x7f1336d264e91665) }},
{{ UINT64_C(0x4c1ac209058bb6e8), UINT64_C(0x89eeee7126d95d66), UINT64_C(0xaf784117425ef359), UINT64_C(0x42dad7c2290a5c9f) }},
{{ UINT64_C(0x483398410a917e52), UINT64_C(0xb4d55d35c3deda09), UINT64_C(0x9fe699bd4df7d09b), UINT64_C(0x9280e337ec59cc90) }},
{{ UINT64_C(0x3ba2107e716de016), UINT64_C(0xe68cce21483b6d70), UINT64_C(0x3860c6915d7bbbd7), UINT64_C(0xc02441eff1a51137) }},
{{ UINT64_C(0xdc27834ffd1ffce2), UINT64_C(0x256ce890c4eb5f87), UINT64_C(0x3906e2e14baefa69), UINT64_C(0x37d1e8eb0adf883a) }},
{{ UINT64_C(0x82ba339eb67fd7ba), UINT64_C(0x121011364d5bb058), UINT64_C(0xb03cf8ee9b22e485), UINT64_C(0x2952ce41c0536530) }},
{{ UINT64_C(0xc671ef1d775a9cba), UINT64_C(0x34ed2747582b9a4d), UINT64_C(0x1302cab04918e686), UINT64_C(0xdff3053f26db0f63) }},
{{ UINT64_C(0x9c85bde6eeabc67a), UINT64_C(0xabc58abc130c296f), UINT64_C(0x9c333d4f1f4b2b8d), UINT64_C(0x226dc0c721185a28) }},
{{ UINT64_C(0x121527de476fb032), UINT64_C(0xc0ff059166dd548c), UINT64_C(0xf44469ad1098141a), UINT64_C(0x1894be7c358f3f7e) }},
{{ UINT64_C(0x6dcf090fce9f13b0), UINT64_C(0x171bf97aa5e77ceb), UINT64_C(0xc88a3874bd5bc90f), UINT64_C(0xa38ac68598fdf8e3) }},
{{ UINT64_C(0x24e899e81a9bc228), UINT64_C(0x312122dc3130f2bd), UINT64_C(0x4075b89d4fd167d4), UINT64_C(0xda4b2cf1fa744dd4) }},
{{ UINT64_C(0x2df535ff46ac4e6a), UINT64_C(0x86fbc5443dda2614), UINT64_C(0x2b47926d83232d7e), UINT64_C(0x75d5a7cd8feb5140) }},
{{ UINT64_C(0x0cd4bf7e004c18c2), UINT64_C(0x7f502155d7c72ff2), UINT64_C(0xc69eece1824e8df8), UINT64_C(0x5b3c7481aa372283) }},
{{ UINT64_C(0xc2255f69605e2786), UINT64_C(0x90d9a140af373399), UINT64_C(0x42431d723b965e21), UINT64_C(0x969c8ea216cd4c56) }},
{{ UINT64_C(0xa1ec32326f1772d6), UINT64_C(0x9c847720c2321fb0), UINT64_C(0xb03bfb0b7b6eecae), UINT64_C(0x257378e43c280c0e) }},
{{ UINT64_C(0xf8baf74a92e4c840), UINT64_C(0xdd8cb33da9a6712c), UINT64_C(0x1d4d255e6a866fe3), UINT64_C(0x0b1a2a71fe1e8ff3) }},
{{ UINT64_C(0xdd0437c3eed04948), UINT64_C(0x521658e53ad53ae4), UINT64_C(0x2f845da3953805f9), UINT64_C(0x94423c2bb0845278) }},
{{ UINT64_C(0x72c27243faf0d6d8), UINT64_C(0x24c8588e4d9d8408), UINT64_C(0xf20da92d6940fea9), UINT64_C(0x791b012bd9d21b02) }},
{{ UINT64_C(0x9db2ee9cf3bd2146), UINT64_C(0xb06ac60e5b22aca5), UINT64_C(0xb6d4ad5139fda057), UINT64_C(0x7d37e75c6b6331df) }},
{{ UINT64_C(0xf674b7da26a373a6), UINT64_C(0xb44cedd4f3e53403), UINT64_C(0x12e312f110f046e5), UINT64_C(0x321756c54174b881) }},
{{ UINT64_C(0x1082c12b9bcc0fd2), UINT64_C(0x22862387468ff556), UINT64_C(0xad16d9ebc262e5d4), UINT64_C(0xb8737121f2c839d3) }},
{{ UINT64_C(0x9cd7158a4727421e), UINT64_C(0x220cc92fe5e8088e), UINT64_C(0xae95d9ca0779673a), UINT64_C(0x89cddd04a502dae8) }},
{{ UINT64_C(0x2ba444f37a3ee91a), UINT64_C(0xed3cb35493c4f06b), UINT64_C(0xbe773803d98da904), UINT64_C(0x3a5338269fbbda8a) }},
{{ UINT64_C(0x7bc79fcd6090d4ec), UINT64_C(0x06f09ed737919ffc), UINT64_C(0x9697694c06d87d84), UINT64_C(0x9fecbeeb0cbe251d) }},
{{ UINT64_C(0xc269f045c9fdfe4a), UINT64_C(0xae83a8bfb2b34e08), UINT64_C(0xad62a3c32578a970), UINT64_C(0x3ed2b3327bda6a54) }},
{{ UINT64_C(0xfdf8e33b630823ea), UINT64_C(0xdd37b31c258f0c93), UINT64_C(0x0b62c739db04d987), UINT64_C(0x823d17afb1fe910a) }},
{{ UINT64_C(0x66aada7fa1040f3e), UINT64_C(0x850ddca5613dc06f), UINT64_C(0x9415ea59f97be097), UINT64_C(0x166a07f89ca3cb7b) }},
{{ UINT64_C(0xe333e8c49f12b482), UINT64_C(0xafaf886b1353bd9c), UINT64_C(0xbd5cdd3e4caaa314), UINT64_C(0x6021a14e510708fd) }},
{{ UINT64_C(0xa6ec548d77bfd2d8), UINT64_C(0x6f4191be2366c4fc), UINT64_C(0xe22bf641a02924bb), UINT64_C(0x94fbbcc34518ab1f) }},
{{ UINT64_C(0x9f6cc273006bd194), UINT64_C(0x021edb92a445dffc), UINT64_C(0xb4ab81a4d8bc02a7), UINT64_C(0x1ab815f758f3613c) }},
{{ UINT64_C(0x4be1fc4d627c926c), UINT64_C(0x4823ca2a0eb874bc), UINT64_C(0x7659a8b0892492c1), UINT64_C(0x02f46f874506bfa6) }},
{{ UINT64_C(0xdb65a9576243ed58), UINT64_C(0xac7cf737594b4e63), UINT64_C(0x807f5376d7791ac8), UINT64_C(0x80b07adc0618c384) }},
{{ UINT64_C(0x43a31fbdfd865836), UINT64_C(0x360a3344450fdd91), UINT64_C(0xd88c9a5139c05944), UINT64_C(0xe3e444a6a60fc47f) }},