/
lowmc_192_192_4.c
2771 lines (2748 loc) · 338 KB
/
lowmc_192_192_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_192_192_4.h"
static const mzd_local_t L_0[] = {
{{ UINT64_C(0x91d895ecdb28884c), UINT64_C(0x759546c7eab5b1c6), UINT64_C(0x32382adc69b20600), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x99f9026f002451b7), UINT64_C(0x96ce1991fa7d0a5e), UINT64_C(0xe55d63824542a451), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x820e88818e8f42ba), UINT64_C(0xbb1bcdf1d104c9cf), UINT64_C(0x28d59a65573baba5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaded8dc02b0cb256), UINT64_C(0x3176eaa2e72757bc), UINT64_C(0x85a9f89edcc5f345), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4ac1998960f98127), UINT64_C(0x86918902f1bd5c4c), UINT64_C(0x0f8e19f30c84cd4a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd260cc2341869ada), UINT64_C(0xdac71918aee92773), UINT64_C(0x48de818a97c1464d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcd58cd5c100b43cd), UINT64_C(0x8823c5f90dec7089), UINT64_C(0xd779c3ef377402b2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb78e8190fcd199a6), UINT64_C(0x08cb1e4448752bfe), UINT64_C(0xd4114b13fb37262c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xab0205453a3b2a43), UINT64_C(0x3f34c8dd9c4eb10d), UINT64_C(0x497aaa02942c3640), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfcff03ba4b5d836c), UINT64_C(0xfc267a181b0f8da9), UINT64_C(0xebfaa0d95fe78260), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x11d375f0452ecd2b), UINT64_C(0xa3a1fcdd9570d157), UINT64_C(0xb64e216f8226dd93), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbf89972811594086), UINT64_C(0x04197caf432199b6), UINT64_C(0x36e132d0576fa3b0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x35b587a68e016499), UINT64_C(0xa0a5fbdd58ff5d98), UINT64_C(0x9e95a4bfcd0a151e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x10699bbcb81b59e6), UINT64_C(0x460b31fbfabe8001), UINT64_C(0xe096207b85769c88), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x61890c2f3c812f42), UINT64_C(0x517aab59a935a37a), UINT64_C(0xcbc1bb84ee3849f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe1ba48e476348957), UINT64_C(0xea1ec91ae9eb8bea), UINT64_C(0x2086e558143c69cf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2054f15ad471c638), UINT64_C(0x7626ba8563491c18), UINT64_C(0x5aff222539ad403f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5614e8d95ed210f7), UINT64_C(0x07167c74be4ff046), UINT64_C(0x78b6e3abb35c8cef), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1ac8b52a6c79415d), UINT64_C(0x3088188d81c37894), UINT64_C(0x766d1e9f4a8e3d62), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x72dbd7b0d2fa4da9), UINT64_C(0x39f2e512332c4586), UINT64_C(0x763d8cde3be4cb96), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x53dc50b80a9a1d06), UINT64_C(0xb0cd11c2eba24b48), UINT64_C(0x30eb21e50b92961b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4fef51c1c32b077d), UINT64_C(0x5c87960b440f4f16), UINT64_C(0xdd7f57d9bcbcc6b4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaac3ec19dea729fb), UINT64_C(0xfe4333b4513ad17a), UINT64_C(0x988b1655e4776e4d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x62a60b7e5a66795b), UINT64_C(0xc4c814470f8e2148), UINT64_C(0x15c68850093e8067), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd4137b89ccec1c25), UINT64_C(0xce59009af12253c1), UINT64_C(0xa4d2214ea6831b0d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x32e27d8c1f6f40f9), UINT64_C(0x84749f39301f24bd), UINT64_C(0x91d36e97a1401bd9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa994e8b6363c38e0), UINT64_C(0xfe4dba25aa02d979), UINT64_C(0x7f7f3ed625df14be), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc65e0bf0ec190e1b), UINT64_C(0x14cb364e03656a77), UINT64_C(0x2170f3182289e18c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe4810d30a18e1a79), UINT64_C(0xa689e2b4477064af), UINT64_C(0xff89f5acffc84603), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9975b21635b7c4cb), UINT64_C(0x08efb5f2043e5543), UINT64_C(0xa41ac3f9c3010361), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x17b51d2e0447ae05), UINT64_C(0xec693e31a697024b), UINT64_C(0x0fd633c8380464c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x669ad5cc00e4c052), UINT64_C(0x079ff52efb13f7da), UINT64_C(0x6ab6c0dee9937ec7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6b76aa3fc60da6bd), UINT64_C(0xeef90c694dac1c9f), UINT64_C(0x156c68688ccbf020), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x194ff3990d242742), UINT64_C(0x6a76f479904b6e0d), UINT64_C(0xcf5030db3dd47855), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0a79972abee9389b), UINT64_C(0xbb3746b6cec972f7), UINT64_C(0x52897f573305ed8c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2e1c64d8bb32b635), UINT64_C(0x2204559bb2ad1788), UINT64_C(0x841a5cdb39e4f985), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8758ed99994e0f74), UINT64_C(0xfe07303ff8b45ca8), UINT64_C(0xf0347b8bff11dd71), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x06bdf0ac812f707d), UINT64_C(0x1d35bfc1fc3e9a91), UINT64_C(0x728d3c141259dea4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdb49dd6b41267504), UINT64_C(0x32c91ad025bb412b), UINT64_C(0x3910637052ea17ac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x04810c7db19ca825), UINT64_C(0x0ee4a783559706ef), UINT64_C(0x25e2979bb380ea5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa50694a8b97067ff), UINT64_C(0xb198fe49f2d553fa), UINT64_C(0x950bb89f21c909c0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xded57e1dad436fd8), UINT64_C(0xc6ada6fa20667e9c), UINT64_C(0xee1ed12c44b962c9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5d480f3842521113), UINT64_C(0x812fc1ce7dc781a2), UINT64_C(0xf629cf7d4eec1eda), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9adeeeee4d25c22c), UINT64_C(0x851b529ec41020e7), UINT64_C(0x718e3eccc741e69d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4290b02ae3b6a025), UINT64_C(0x948618ca1c2e2ac9), UINT64_C(0x416870b422b2a8b7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2980bc264c45ff95), UINT64_C(0xa837c42b9816205a), UINT64_C(0x89fdf5424331511d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc7ca3e8612fb8c51), UINT64_C(0x4d17c747e87636fd), UINT64_C(0x1cbcfab187cc9544), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x047b550e67d9be97), UINT64_C(0xc0ba95269617d83c), UINT64_C(0xe432aa653f10c41d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x88bbe8201000642b), UINT64_C(0xbf6877f6cf34b74d), UINT64_C(0x94f642e0e8c48f2c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3fa1c020101f9b06), UINT64_C(0xf646818b941371b5), UINT64_C(0x692eea2815893e45), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x797d709497c4e885), UINT64_C(0x11df1f456532c6e7), UINT64_C(0x4a2f68609288f359), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0689263504d9d383), UINT64_C(0x962ca83be8bacf34), UINT64_C(0x65594746e9238151), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x943af4bc7053c66d), UINT64_C(0x7361e8f80285bdd8), UINT64_C(0x925584d0f0c8960a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xee3e6aa156db3c58), UINT64_C(0x397c7cdca26face7), UINT64_C(0x0b309f2aa73e4952), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9a7cd21c1da83675), UINT64_C(0xc680c07c9736927c), UINT64_C(0xe0fd77d69f75eac5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x26db465d6f59acf6), UINT64_C(0x5af368492b96e91a), UINT64_C(0x5865a1cb5ae92886), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb149059ebd5174df), UINT64_C(0xc16a4458592db4cc), UINT64_C(0x34dc20ad24b8b242), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5f81061ae0e77ddc), UINT64_C(0xe3afaac4d78f7350), UINT64_C(0xe60671c525282834), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd7abd8598e93dde0), UINT64_C(0x604e4dda842149a0), UINT64_C(0xa984e1988fab64ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9ad08c0eb176b06a), UINT64_C(0xe5a18cc0c405495c), UINT64_C(0x81312acfd9ba2346), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa7f2cbaec172bf4e), UINT64_C(0xe7cdb67c35118fb1), UINT64_C(0x643eeedf98872711), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8f80c3b1d3431257), UINT64_C(0x0c3e8fb120c622c7), UINT64_C(0x1de817c66dd69f98), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xead96c4e7ce8e79c), UINT64_C(0x57543a33f266aa3e), UINT64_C(0x276c916923496020), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x07f7ca97d1b91495), UINT64_C(0xb0218c5ac327c07f), UINT64_C(0x3fe7d602a771d44c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8335862660c5f3d5), UINT64_C(0x0ecaa6b6a41d1bce), UINT64_C(0x21341f16d131723d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb8f6d00630375b8e), UINT64_C(0x025ed20d561e3901), UINT64_C(0xe23fc49287d65351), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x09dc6174ea10e715), UINT64_C(0x874aa6f8da009949), UINT64_C(0x9b1503e5bfc89c1f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc9836ea510332fc1), UINT64_C(0x0f26886e3c47fc51), UINT64_C(0x4187f9769a27ee66), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf37bccc6c77c01b3), UINT64_C(0x07c60acd3adc2f3b), UINT64_C(0x0a55273e54a3ea6b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9f0fe96510bd2710), UINT64_C(0xfa447df0e39e0c4c), UINT64_C(0x895b363ae509d337), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8b97d5d5a95477f6), UINT64_C(0x73c162f0445ea280), UINT64_C(0x3169b61c229a33ca), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3e043547e3afc554), UINT64_C(0x986ee01ac79bcccf), UINT64_C(0x48571e38967298ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x22f6442d7ce6bf55), UINT64_C(0x644d66def7e1517f), UINT64_C(0x7ea6a8c79385c7f9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x04660bcee2c56936), UINT64_C(0x3c1c7fc1ea5efbf0), UINT64_C(0xc418e2447aff8c99), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc2ac12ab246394ea), UINT64_C(0xede3f30e26a10bee), UINT64_C(0x5ec66ce2029566e7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7c00f867fc334bae), UINT64_C(0x0901d81db5c70f7e), UINT64_C(0xd16cc166a4775042), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x603d3e825f62e20e), UINT64_C(0xdd70e58af3404699), UINT64_C(0x1d314348785ecae2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3ec11c7e91bc9f93), UINT64_C(0x3384dba514c65eac), UINT64_C(0x6adfaa4dafb5f881), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4cf212380416cda4), UINT64_C(0x9e0e1ff30583730e), UINT64_C(0x0aa7729e1589e266), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x44b3748ca30b7c20), UINT64_C(0xd0e635549e327eae), UINT64_C(0x7d84346c02be7b9e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x46c85d948bfdec8f), UINT64_C(0x8504311c3379d02f), UINT64_C(0xa332170edabc1a2b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7b3736df2de2d743), UINT64_C(0xf2da380731e364dc), UINT64_C(0xd64b9059aa9ca87a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x40260a559a415d8a), UINT64_C(0xa997030f23383047), UINT64_C(0xe9c505bc8508b332), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa43ef3f4239fc394), UINT64_C(0x5e3d286630115ac0), UINT64_C(0xc0f3e3a0c38fed5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7b1b69fd677142d4), UINT64_C(0x0e35b927da635f19), UINT64_C(0xd02abae1000ae291), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc57c8b99f0eb2d6c), UINT64_C(0x2fc4e7ea92e13fcf), UINT64_C(0x1b327dbf126a560a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbb93d0a41c3d6c1a), UINT64_C(0xc610692f067f7517), UINT64_C(0x69303d7b7c535f14), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe1710a96c004c351), UINT64_C(0xe54497d2e61bed4e), UINT64_C(0x244fa74efc2e53d8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x98f2a08989571366), UINT64_C(0x0f01ed31850a658c), UINT64_C(0xdf926d5cee774088), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1f8024a55eaf0f79), UINT64_C(0xfc265d62baec13d3), UINT64_C(0x030cd589c9996c25), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfde646921bc4d913), UINT64_C(0x440c721244bbf410), UINT64_C(0x6fea01b5d3c0a3bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9689c25a678bea73), UINT64_C(0xef3e00f0c243fbce), UINT64_C(0x10b39077da190dd8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x790620990903f9a9), UINT64_C(0x66252f69e071b400), UINT64_C(0x2d9618e93e83688f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa1977abcc488bc73), UINT64_C(0x9b2c04bcb4abd052), UINT64_C(0x03ef667979336ae6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xae00743d90aab597), UINT64_C(0xe11a6b6e023d38d8), UINT64_C(0x791d27ed781f0b64), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2c33a59fdbd83e9f), UINT64_C(0x5d3f5f1d9ec7853c), UINT64_C(0xaf96d8ea3bc1e96b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x08bc14ae2708cc3f), UINT64_C(0xd142cc0516fbcfb4), UINT64_C(0xd30276077643a861), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf07a86c9057d93bd), UINT64_C(0xefcdab8a384e61ce), UINT64_C(0xaeb14a796e426819), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3eef837fc148806b), UINT64_C(0x94a26806b4772a32), UINT64_C(0x8f5ef6116efaded5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8d112045d4ae3fe1), UINT64_C(0x77cf4d1f56d7c7ee), UINT64_C(0xdee2536f6cc95a3d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe005860226bd38ae), UINT64_C(0x5631bba43e5cb0ee), UINT64_C(0xe3b4fc540833fe3a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x40232714565b7a9a), UINT64_C(0x8600382a848b224c), UINT64_C(0x722401b4b68d1c6b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9964b7e8c0075b46), UINT64_C(0xf17b59bc3d3acde1), UINT64_C(0x6339310e6dc24f16), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x64f9c34f8d0f9761), UINT64_C(0x663702b77db21c6d), UINT64_C(0x25b7ff915429a4a9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd0d18f2dca2a13d8), UINT64_C(0xc6fa97c35c02a215), UINT64_C(0x056e0b678d35f4f6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3dd2c79a9522dfd2), UINT64_C(0x4277e6b0dd758489), UINT64_C(0x121ffa83054fe53f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x66b18cf66166f48a), UINT64_C(0xfbe0fd669ab4f1a7), UINT64_C(0xccf2077c9217efdf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb56f8637243b22a0), UINT64_C(0x50fe896d6e83de25), UINT64_C(0x19438fe303f828e4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdf4fa4b32016a35e), UINT64_C(0xd3bcf1eac71eaf74), UINT64_C(0x88ea5f402ffc1b43), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1372c4ad1a552ce5), UINT64_C(0xf37881fd380166a6), UINT64_C(0x9572a3828e7194d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7eb899943f03d28b), UINT64_C(0x8cae7259e64ebccc), UINT64_C(0x1bc9f2575f22cc8a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc1451a1cb16bc019), UINT64_C(0xbc4486edf8f5fefe), UINT64_C(0xee7af07d1eb45324), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaea7e4e87318949f), UINT64_C(0x2aa6dd71634f770c), UINT64_C(0x76f517fffa4c40be), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbecb0bb309e418fd), UINT64_C(0xabfb641a48402866), UINT64_C(0xf0106192d8f209c7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4b0639b1cd92f9d7), UINT64_C(0x568e602370495969), UINT64_C(0x61d8268f49344676), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x64693a566406f913), UINT64_C(0xfb2b71f4e704447b), UINT64_C(0xf07702ff1720ab61), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf0eda18fa23ad6a4), UINT64_C(0x6e331621bf45f6a2), UINT64_C(0xba7bf01d9ed0cc23), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd8abbe8fd5c2a86d), UINT64_C(0x64dd9cfe8f88cde4), UINT64_C(0x0335d60e7a80a13e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x311e7599eb850fbf), UINT64_C(0xadf953b8c270eff5), UINT64_C(0x867d7a881f39fe25), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x08bd1d9ff9badaa9), UINT64_C(0xb44d498cefd757c1), UINT64_C(0x738e8ba542dc2896), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1924d0eaa7b07b14), UINT64_C(0x9117600871570814), UINT64_C(0xb70f44fc56a7efc1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf50328df969dcf33), UINT64_C(0xa69b577fdbf9cf20), UINT64_C(0x429dfcecdb5ee6e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x313146c65d9d34e5), UINT64_C(0x05a6164f64ab0a32), UINT64_C(0x7d5ae5384f8d6fdf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xde1d6d6854631946), UINT64_C(0xe5f9c0175174a8df), UINT64_C(0x59abe747cfb528a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2a7be87a5c5e9235), UINT64_C(0xd3e92417a1f4cfdd), UINT64_C(0xb1ab21c857cd4a01), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x49a7e35ced0af35f), UINT64_C(0x95dcda6e22dfd952), UINT64_C(0x899e1c06d764d1b5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x60e357100f522832), UINT64_C(0x7a382bcb509509a3), UINT64_C(0xaf64f90db3d144e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe8fef153be7d1493), UINT64_C(0x207bc5cec2b433d7), UINT64_C(0xb941d8f616699fd8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfa6699217cfb5694), UINT64_C(0xe2bb68ccf5ce2de0), UINT64_C(0x2e07427c45d1613b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x34b38a21be6f3c0a), UINT64_C(0x0c00db49f4c8616c), UINT64_C(0x8ba2e2e98dda73a1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x415baaeff93bc89c), UINT64_C(0x77817e1ed73e1c2b), UINT64_C(0xa69e101a45b2bb6a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x96610ffde1a479c3), UINT64_C(0x5ec450e06097e836), UINT64_C(0x0d0148cb6e13f4d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfaf5ad5d60ced562), UINT64_C(0xca5980c9d370eb80), UINT64_C(0xd6f9e1eeb0e582e7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7f8fc36065134deb), UINT64_C(0xf5a03d2e49519697), UINT64_C(0x7dcc3cb13a3d0301), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x08f5aa2000ce69b9), UINT64_C(0xae6278baf946a61c), UINT64_C(0x0a4b2913d80bfc7f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xddf04e1d907fc02b), UINT64_C(0x8c49b1d8818de76b), UINT64_C(0x04cf2d74e119e89b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4cfbe94537f4b7cb), UINT64_C(0x5fc7fa1cda3c47c3), UINT64_C(0x78178fb54ccd7955), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb4d52cbab223240a), UINT64_C(0x45da8f15f39ec3a4), UINT64_C(0x6df8a087d856daaa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x723fcd697fa66b0c), UINT64_C(0x1f3c8f6f2ffbd484), UINT64_C(0x3a3939cef23e2daa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xba403a302e7c684d), UINT64_C(0x6ee04152b244c05c), UINT64_C(0x78d4a2afdc48cbf7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd0ef584a950b90b2), UINT64_C(0x3e3ab0dab0ab285f), UINT64_C(0xefd64cd413fce73e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3b484739e80610bb), UINT64_C(0xa981275d5b2fad09), UINT64_C(0xf6b79c34cf056f09), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf658fb56214c4e6a), UINT64_C(0x3bfd94136f5a349c), UINT64_C(0x77eb5a5aea2d53f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9801a34dead63638), UINT64_C(0x331a08d08b26d94a), UINT64_C(0xc481d86863da1d8e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x14eac881cfc4d7c2), UINT64_C(0xec9bc2b34be20b36), UINT64_C(0x4b73ba354bfa7209), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfaa9335e2d8b860c), UINT64_C(0x05ec185374731dc2), UINT64_C(0xa11d62007fad469d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfd995ab43ea9d574), UINT64_C(0x34ba9fa02607cd01), UINT64_C(0x5406c3a8608ba730), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc18ae6f09e2b4597), UINT64_C(0x126680c4a10a7d1d), UINT64_C(0x0b0ded6b543dd3f5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x26c52127dab8c5f7), UINT64_C(0x0f3f6967392006f9), UINT64_C(0xe03ffd2c7cc211da), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x56c9ff9e13a147ef), UINT64_C(0x9fc5b0fb1b200579), UINT64_C(0xd7f9fd6343210f00), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xce65b9cef1f70b53), UINT64_C(0xf5eb9bd508c25c91), UINT64_C(0x35f7e717deb1245f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x93b407dfc2563e57), UINT64_C(0x9e4498abfec1a10c), UINT64_C(0x014c43249b5ce77b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1088a504d75ce273), UINT64_C(0xde51f181dc3d3d1f), UINT64_C(0x107f702a7ccf49d0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa9867d39d00b42c0), UINT64_C(0xdfc7d2c8f84fbfa2), UINT64_C(0x755bf291bee59da2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9ee2bfa4cf97f259), UINT64_C(0xb0d87aed6b2520dc), UINT64_C(0x0880c39448febeea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfd47cf7cd623732e), UINT64_C(0x27b16f45326e7155), UINT64_C(0x4ad0bbc2e0f7232d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb3bbe2fc1f607fca), UINT64_C(0x6d68be9bccd64e2e), UINT64_C(0xbf09d796c975d324), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb112455f1e53d8ba), UINT64_C(0x34cc3f405e7a0625), UINT64_C(0x08e9dcb6a2694c00), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xae7e44837179273f), UINT64_C(0x2d2aef4ea53311ba), UINT64_C(0xf899e9392237081c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6f5d83e7134284f9), UINT64_C(0x8900194c3474d773), UINT64_C(0xe93231e281c8df89), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0c01880322502612), UINT64_C(0x4afdda20b682c955), UINT64_C(0x736c5bb70f51ec49), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9f332d6f6d3b8032), UINT64_C(0xa79dffd114b7ce83), UINT64_C(0x43c1857142b39b44), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x831e59bf6d33450a), UINT64_C(0x6c545d88f3558165), UINT64_C(0x599eb69a468a4698), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa5324519f1a37802), UINT64_C(0x43a17e2a40887288), UINT64_C(0x7a5cf006f37f9d8f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb97fdd6387c8c350), UINT64_C(0xf326e99954520b4e), UINT64_C(0x3a7e56e3ede8a819), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe2a9c22adb87fc28), UINT64_C(0x658e71655d7cdd6e), UINT64_C(0x813897365d7428e4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb176dd5d649c0fee), UINT64_C(0xa4ece475f8f5a33d), UINT64_C(0xc7719939d1e7727e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2e37606b20a0a9b4), UINT64_C(0x6b997d6f5f5970e0), UINT64_C(0xe8d2db62d13344f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x62b301dc38fdf9a5), UINT64_C(0x13d161cfca1f73cc), UINT64_C(0x4169b3c37b12f1c4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x10980178d30188d8), UINT64_C(0x9836baa954f7ad1f), UINT64_C(0x8a71698a10be4edf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x28177d84d6a87cdb), UINT64_C(0x3bc9f64c474716e2), UINT64_C(0xbc2d8f9c00045054), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3c1f391fe87459f1), UINT64_C(0xce11af6e384a4785), UINT64_C(0x1a5b5ccf336a2dfd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbffeaa4c50df5371), UINT64_C(0x2d8863ec0c84ed2b), UINT64_C(0x1679ce842f7cac43), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8a4ec3fbd241ce50), UINT64_C(0x4b73300bf8d0b54e), UINT64_C(0xca8d68cd5600a578), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4da4986c273f1333), UINT64_C(0x868c0ee8affa194a), UINT64_C(0x678b4d811ef67ee2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5861f81f17e0b916), UINT64_C(0xd78a3a6b4e47fddc), UINT64_C(0x03aa2ea39eb20d45), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8888b8154218fa4f), UINT64_C(0x68e7a19fd9913843), UINT64_C(0x9aaa37ea0a1dc396), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x56fc4bb34b5d17dc), UINT64_C(0xc7ca423d3dac8974), UINT64_C(0x608ac3fe9ef0d25c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x21002443e62c0536), UINT64_C(0x889f22d37fd0fdf0), UINT64_C(0xca0ca08ab532372d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x60b3e75d26a8a976), UINT64_C(0xeae3bb43a1ff0b31), UINT64_C(0xc17354d8380ff205), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0593601d44159d9c), UINT64_C(0x453a419392fcb25b), UINT64_C(0x0fca30af5604dff9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2c60c679bf37b1a6), UINT64_C(0xe5bfcff3b50a9264), UINT64_C(0x45629e407d73456b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa668b8efcb4cf29d), UINT64_C(0x19d756797a1990d9), UINT64_C(0xc9099559d0ca1060), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x775e1bdaf36f9575), UINT64_C(0x5d44ca22982673c4), UINT64_C(0xa61690ddd61d030a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5586c5122a0ba2a4), UINT64_C(0x89597fd3adaa85af), UINT64_C(0x07a912d93c6c3e3e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xff23f5a248276ba6), UINT64_C(0x36684af953ba3904), UINT64_C(0xc2a5a22732e1e3c2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5ec113c92b947c69), UINT64_C(0x3194c7a92e4af4f3), UINT64_C(0x9a9fb28050e3f2ae), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7cac5c63dfa3b381), UINT64_C(0x93f522f53aacd8ad), UINT64_C(0x511d502e46da19f9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdbd0241900c620c8), UINT64_C(0xb1e375c59827c0f2), UINT64_C(0x1dea1e5b1e948c59), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe1373a8b7e6983b3), UINT64_C(0x619cb6cfb2bd51f2), UINT64_C(0x1dfd3250df041aa7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x038d5a645113420f), UINT64_C(0x925a0d8edb7c7e14), UINT64_C(0xe0594f96593b0e02), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x846b605e09c5ff55), UINT64_C(0x68e9de2320361c5f), UINT64_C(0x21db535a07d0bbae), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t L_1[] = {
{{ UINT64_C(0x44fc0f57d887c3fa), UINT64_C(0x481495d2da5f3c04), UINT64_C(0x8ed5ba66172c39e9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf7c334185b9b0fa2), UINT64_C(0xee0ea8268d4b3428), UINT64_C(0xb1d6d4d22edfb82b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x18579b5c37334162), UINT64_C(0x71e2a7a727d5ebb1), UINT64_C(0x0a3f7a40fd5a76b0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4555874124d0e6de), UINT64_C(0x62cd5472e92a76d4), UINT64_C(0x6c82c5f572f2b29c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdca7132be2eb41bf), UINT64_C(0xbdf202ba8c97c1e4), UINT64_C(0x3a790fc79544adc7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6af0abdcee73f298), UINT64_C(0x48a2c1219efb2d25), UINT64_C(0xdfa9e99e1657bbd8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x12c6b564cd4b07e2), UINT64_C(0xcaf15cc0aaacda24), UINT64_C(0x16d1362853975b02), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe3d87c4a3acfe131), UINT64_C(0x6afc534368000d1c), UINT64_C(0x485a1b88ad3982ba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdbd9c98607f0dcd3), UINT64_C(0x5fc775b7ff377715), UINT64_C(0xbbae9d99893cd043), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x513afd8a8076ca63), UINT64_C(0x2d31557de521d155), UINT64_C(0x89bddaf4b27be64e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x12ea1bd0966c6983), UINT64_C(0x6b548eee869c3377), UINT64_C(0xa25eec7b7c1ba8b4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc8b1680e4f279341), UINT64_C(0x3c7fc5bf209a9b9c), UINT64_C(0x2dd83be4849cc05a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x22cdb3b02faa3cca), UINT64_C(0xb6370d67f9d4c135), UINT64_C(0x2bcfcfa80120cc17), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x13203cfde168fae7), UINT64_C(0x562f173cc400ed7c), UINT64_C(0x7c7cc8095d5f0330), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3feaa120be6b6055), UINT64_C(0x1471ac7a4bea6158), UINT64_C(0xa806c4d1b11c18d3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0643954677294764), UINT64_C(0x995f85625e0d6172), UINT64_C(0x4413b5bb3367b9cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1ff8833a8f14d816), UINT64_C(0x20ea772310eb776b), UINT64_C(0x44ed3f10eb2c022e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf8f49267de58fddf), UINT64_C(0xc372f49ceb221cfb), UINT64_C(0x61af0b3053d98bcf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xca2f1ed11f3e799b), UINT64_C(0x5914c1ba17763991), UINT64_C(0xa3546ef397947b7b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc1b3dcc37dadc345), UINT64_C(0x1c24a7c84c232977), UINT64_C(0xef1ef5f02235f2f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x84ed53e21f3cdbf3), UINT64_C(0x057d3b1125bb29ea), UINT64_C(0xc15abe1df9e16677), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4edfae6ff387bc02), UINT64_C(0xf6994e881eea39e6), UINT64_C(0x21bb310b9dc896db), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xde0408e27d15b58b), UINT64_C(0x595e9d09d150bdd5), UINT64_C(0x389195d88f10d170), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1782cc09a0b21252), UINT64_C(0xac3822b55cae9f75), UINT64_C(0x1b9b12693ff92c0c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaee63a75487ccc67), UINT64_C(0x26a0d8fb198c8054), UINT64_C(0xa66fe37ada4dbc5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdfbadae264f24148), UINT64_C(0x7e84d487ddf27340), UINT64_C(0xc34762727023ab83), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x11cb770fcb14951e), UINT64_C(0x5cd360654b5862cc), UINT64_C(0x80615617eae29103), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x11348e22b7e7cf45), UINT64_C(0x02fedcf1a2c1e5f4), UINT64_C(0x448f8d90bd676a69), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf0aa762c4134f4e4), UINT64_C(0x299f7bd3e9b41ab1), UINT64_C(0xc0481bc4764cf984), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x09078b94d96cb513), UINT64_C(0x8b69b1dde0f24baa), UINT64_C(0xa8d0eb4bbab445d2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd5ab59577ee7f025), UINT64_C(0x591c239f609bd986), UINT64_C(0x643591ff15c464fd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x48728aebaaab3036), UINT64_C(0x4f987515b56a1de9), UINT64_C(0xa72e8abef533e245), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc867ce4ef3d04198), UINT64_C(0x6b1dd762faa9b3e0), UINT64_C(0x1186ff9b21d12595), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x347a8a807d5616cc), UINT64_C(0x78f8306a999c4115), UINT64_C(0x0655fe01fa2714e1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa5069b8936d32144), UINT64_C(0x671013620d63a5e9), UINT64_C(0xd1667ebc5f22c800), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x700778f125bb5a0d), UINT64_C(0xf6670db3fcaf2f06), UINT64_C(0x7b562f35bf27b29d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbdd22c8877157bba), UINT64_C(0x41385f858cc4a0f7), UINT64_C(0xe524ceb278e54415), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x17541782b48617aa), UINT64_C(0x610fba4bab5eae49), UINT64_C(0x091aeb102bc0d8d7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbe00e2ce2d294534), UINT64_C(0x97d8dd744bffe4be), UINT64_C(0xc5ad6735950e3e82), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1862a61068fd9f9c), UINT64_C(0x29dec93ad8748a56), UINT64_C(0xf9d74991e422b2d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xebb8bad4254c35da), UINT64_C(0x8f50861dca3abeb0), UINT64_C(0xad0678d24dfcfbc9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdf89fa56b1bdd2da), UINT64_C(0x40830b08d76ba907), UINT64_C(0x9eb753b24f03baf8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc57674b7e7040939), UINT64_C(0x727a2f2b0b9cc725), UINT64_C(0xee7e0bdc0e3adfa6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe69de86da2f233a9), UINT64_C(0x3641b7f55da98e74), UINT64_C(0x081be6dc6489b0f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf6854e29013340e4), UINT64_C(0x62f7ebf8157b84c6), UINT64_C(0xff61ab111e64e817), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5b9c6518e4bfb331), UINT64_C(0xd899b9e3bbf23980), UINT64_C(0xb94419baeeca5178), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd178848f812ffb25), UINT64_C(0xce04a91a181e7f54), UINT64_C(0x8d6de6ceb52f8e26), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x419c291a7a6cdae8), UINT64_C(0x54783a16953d64c2), UINT64_C(0x5b2f1c2c829d13f6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbb41764e009344bf), UINT64_C(0x9bb907dffc0cbf79), UINT64_C(0xde9702f22f067d49), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb69abbfe97f61e93), UINT64_C(0x491d5ea1b794c798), UINT64_C(0xce6dfe162594bc12), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x38aff69c36e3afc4), UINT64_C(0x7b7bf1f52bd03087), UINT64_C(0xdb56fb9362322d70), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x54f4d9004168ba30), UINT64_C(0x11caf292f6353ea1), UINT64_C(0x57034106053621e4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb7d952649df80fc3), UINT64_C(0xdd1bb8078dc784c8), UINT64_C(0xb7ede4891f1a8440), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3987153bca465ee7), UINT64_C(0x3c11a10333ffd9ff), UINT64_C(0x4bf82f9410092f73), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbf33cfea0bbe28a2), UINT64_C(0x2029fe061d37cc87), UINT64_C(0xff2e4b2802dfe4ad), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x33fb2ac337e27c38), UINT64_C(0x3d2c7f3197b76dcf), UINT64_C(0xd36f2ea4b20c07f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x61f30aa9eb2bb952), UINT64_C(0x2912142837ef607b), UINT64_C(0x7c99b982cdaad1b0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7314040a00517797), UINT64_C(0xadd8345337a79b75), UINT64_C(0x46415e34f6ea71ba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9af9f90b03ab6a8e), UINT64_C(0x970b435e79798f54), UINT64_C(0x5987c806576404f4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4a29e0981124069d), UINT64_C(0xcc9cd9f14e3dd3a8), UINT64_C(0x424990d7a30c26c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x83fa94e3525dd0d2), UINT64_C(0xfde1b918ba3e21c4), UINT64_C(0x12b871573b48bb57), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3d5e390d559870bc), UINT64_C(0xf636fa6778200c50), UINT64_C(0xbebc5b6c8add85e4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf3388e2a7b2481df), UINT64_C(0x206ad2a5d60c575a), UINT64_C(0x95f2a0c19c59b2bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x080bef799be2e859), UINT64_C(0x6d3704e42411abab), UINT64_C(0xf3093903e9ac0bab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcd7b86414d5f741d), UINT64_C(0xf38b6a66b95d93fb), UINT64_C(0x1b3e738c0c2e295a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9691cadc38125765), UINT64_C(0x496f4d7484fb50c4), UINT64_C(0x7fd772c899bf561b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x696241b90a4c2e7c), UINT64_C(0x768693805ac023e1), UINT64_C(0x19c3d4229e54aff8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd5b3b07571a46818), UINT64_C(0xdc6433891eb40d84), UINT64_C(0x9ec4151d228669a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x93b8ccb894eefcac), UINT64_C(0xc7b0fd6b34dedcec), UINT64_C(0xf81ca0456a170d2b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x264abc3f3b652a8f), UINT64_C(0x81e98132111d241f), UINT64_C(0x0b80cd73ae3133ae), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x503cf0893c82de63), UINT64_C(0x3dcf15308ba89ca0), UINT64_C(0x332db6492673e397), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2c16361ac7dad7c4), UINT64_C(0xdf4644fb86bf760a), UINT64_C(0x54aa17bb76233f92), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7a84474e61fb8c7b), UINT64_C(0xa87946a8fc2b00d6), UINT64_C(0x435fa5358bca85db), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb4f308073a4b315b), UINT64_C(0x9b21a582649757a7), UINT64_C(0x3c734e6ff73a75ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5511c90a5c7ef270), UINT64_C(0x517ad966fcb4bebc), UINT64_C(0x9c66817de129b173), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8c1e596f62296e8c), UINT64_C(0x47eb3c83d3298f98), UINT64_C(0x1bdc0e0ae02a8f94), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7b33f0d783c0b85c), UINT64_C(0x34e22047fc9153bc), UINT64_C(0xdce1b6fa6755fc1d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x93fdc135d7f59d76), UINT64_C(0x8aa8f33e4a323e25), UINT64_C(0x7ef5fc1c6a2d98c5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x42727d2c7fcc7af2), UINT64_C(0x4c50aa7137961299), UINT64_C(0x9cbd95617abb2661), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2db4e0221cacbf4c), UINT64_C(0x12235212dcf40861), UINT64_C(0x1a24fed97403a4e9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x16a536ab6fd74161), UINT64_C(0xd1cfc162030eefac), UINT64_C(0x09254fc5f6edc59a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfe3de59891fe9398), UINT64_C(0x89ea5d2ee53249e5), UINT64_C(0x24fd5a3ff23d35d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xae7ca216799248b1), UINT64_C(0x71d2b175dfc154dc), UINT64_C(0x2e6b2ebb1e17fdae), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xefad60fd4599de92), UINT64_C(0x7170416741e5d5f4), UINT64_C(0xd40a74186e7c41b5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe13454fd76b25473), UINT64_C(0x171ab889391c9c25), UINT64_C(0x456fbb0b91741f83), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2fbc972267f3a250), UINT64_C(0x079f6f795431eaa9), UINT64_C(0x32a88ff822c1e77c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2526dd8caa2cd288), UINT64_C(0x565131d79036bdcf), UINT64_C(0x9528120ef534d9ce), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb8fdb2e249e8f626), UINT64_C(0x6aa574b123897c94), UINT64_C(0x8fdf6fce7841eb08), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc6c0d0020fb304d5), UINT64_C(0xfe0dfe0e5f78a56a), UINT64_C(0x75a6423da2c04258), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x718c189377ed924a), UINT64_C(0xc8aaa1a19e716f6a), UINT64_C(0x415f87db95db609b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe9632f190e9c8963), UINT64_C(0x1771b6ea2835f36a), UINT64_C(0x6bbbb0d2b5ebe69b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xde6e5f3cc28a159c), UINT64_C(0x4b99fd44cb3d90af), UINT64_C(0x21d2293e7d5b9096), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa57b49bda62fce4a), UINT64_C(0x628870fa6e18e542), UINT64_C(0x146811168d0b016c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7bc6973f95741a4c), UINT64_C(0xd1df2503247231e2), UINT64_C(0x658b6e394011866b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x65285ddd3aa69712), UINT64_C(0xd5b1ab21b0dfe21c), UINT64_C(0xc837c9b00dbac206), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x71d0c9cfb1c6bf3e), UINT64_C(0x9c5ce30636e57d8d), UINT64_C(0xb8ca088d8c718ec3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2892c14f81d8ed97), UINT64_C(0xab096ecce6469ba0), UINT64_C(0xcb52e913132dc62d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x369cb865c087340e), UINT64_C(0x0edb76097607b996), UINT64_C(0x78fc8467bfc777a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa5b368472580d1c7), UINT64_C(0xd2a78eb5bf0f1b77), UINT64_C(0xb0a78743bc95ce45), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa55f30bdfa65e0b5), UINT64_C(0x01727acba6ba5695), UINT64_C(0x452b2400c06a029d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3ce4ad9116fb6eb3), UINT64_C(0x055b68e3522b7bec), UINT64_C(0x423c7fd17000f4d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x914209c45baea6ce), UINT64_C(0x8733b5e90dd0eaf2), UINT64_C(0x6ae918af4fe51511), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd7f61e7ec026077a), UINT64_C(0x69eb9ab903cde511), UINT64_C(0x0cb7cda868670f31), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x777dfa397c0850ee), UINT64_C(0x37c9d6bba4143256), UINT64_C(0x390af3983c6692d6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3c2612989c1ac199), UINT64_C(0xf2ce0cfec6e3a06a), UINT64_C(0x52dcd0e8db6e61f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe219c80745d94459), UINT64_C(0xec85b2fb26a93c86), UINT64_C(0xb38e183213586071), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0f686f5491fddb00), UINT64_C(0x63667e9a7af94b6d), UINT64_C(0x4294f81aaa2a252a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xea2eb10b0393f4a9), UINT64_C(0x97216af9762f5ee2), UINT64_C(0xa4b56f770e9f6b5c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x66f032afae224a69), UINT64_C(0x155897863c1bf95a), UINT64_C(0x1d9beb1ddc4395c7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5cc758767df5e989), UINT64_C(0xd3508e8d13dfd3a2), UINT64_C(0xe7e0c61b49c42278), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x00e13e2e661f8c5e), UINT64_C(0x27b13e540f978572), UINT64_C(0x081495573161567e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb807f25433a483f4), UINT64_C(0xa25033f4ebed8c04), UINT64_C(0x212551eb42eed4e3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd9801ceea4d9eae2), UINT64_C(0xbb8ae09f3bfde64c), UINT64_C(0xff4b65bbf41188cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x613d6f22e162754b), UINT64_C(0x2c112a23ecfe5d5b), UINT64_C(0x9056041767326f99), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x40d74ffa235ba161), UINT64_C(0xc1d0901f2c5efe29), UINT64_C(0xcae37338e57e6aff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x052de0edb1bf5bdd), UINT64_C(0xb6bdabc12e2d6d99), UINT64_C(0xbb509410f979f1a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf9e3d585e70fb733), UINT64_C(0x4710e1aa819a2636), UINT64_C(0xe7257887c5627f9a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x49f18a4947f825ec), UINT64_C(0xf4672e01482aa5d8), UINT64_C(0x1dc4b4272250b674), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x35a0cfc64f3936e3), UINT64_C(0x15983f898dbc76e0), UINT64_C(0xd043cecf46da22c4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa4da1849177be1c9), UINT64_C(0xd8e47abae3441109), UINT64_C(0x6e420c803d4ffcfa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa718a46cbe78788a), UINT64_C(0x79420c221a1e73ac), UINT64_C(0x02cbeb385eefd327), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xafc7d98c938d81eb), UINT64_C(0x1d2f02ecb72c374d), UINT64_C(0x43259477885452ec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6b2cd313d4a3903f), UINT64_C(0xaa9e963abc109718), UINT64_C(0xd6229a76a3d27faf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9e4e04fa7a2b1973), UINT64_C(0xc6aba896e57bfbc2), UINT64_C(0x1ebcc94e971c80f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x50e6d1a4c062430b), UINT64_C(0xeea475ce2da46f1e), UINT64_C(0x9c5841cc59cdfa67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa85c71bb62ba5dac), UINT64_C(0xbf53600bd8827db3), UINT64_C(0xc1c45ab4a546dd31), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa92d2c1eeff0d697), UINT64_C(0x4c55d825b3d87598), UINT64_C(0x449d8427266435ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4aba1df20210b1f3), UINT64_C(0x7126afb87f54dcd8), UINT64_C(0xbe71dcb78d4fa6b7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa62b07cf6a645bc5), UINT64_C(0x167ed60b1370eb23), UINT64_C(0xba769fe32847fc29), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf2d320233ec64834), UINT64_C(0x4c9a3d5dbdacc81f), UINT64_C(0x05e79f3d2da6bdf4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x54f1bac4aa0e156e), UINT64_C(0x0ccaebf9bb0d40d3), UINT64_C(0x2745ff207b2eb54a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe967dcad5c9d178c), UINT64_C(0x5598c6dc702c812e), UINT64_C(0x85a99e82b0c7774a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x42e431f0d7fb4364), UINT64_C(0x50592367d4359dd3), UINT64_C(0x5ef1a445a6477995), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x639743a229e98f45), UINT64_C(0x6742e2fb7f4d6c56), UINT64_C(0xe9872fe35a0a7f5f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4c677b51eb191e17), UINT64_C(0x61dfbc6a92012bd0), UINT64_C(0x2d5fbe3ef1c1c60b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x12828f8267a52f09), UINT64_C(0x5405940c780c4476), UINT64_C(0x21f661b0c98db387), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2221b4a28d22a87e), UINT64_C(0x29e41ccde2352a4b), UINT64_C(0xb87bfe9e9e6edb53), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x84c9b92097837578), UINT64_C(0x690a50b6c0f743bc), UINT64_C(0xb01ad770c209a64d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x23024b43ceeabd06), UINT64_C(0x19c4e2bab30c21d0), UINT64_C(0x8ad785dd5a4639ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x782fd908d7805fa2), UINT64_C(0xa8154bf7b47d67ac), UINT64_C(0x9ac61ce61e278b6f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6d62289b39a100ce), UINT64_C(0xcb176201a481bf57), UINT64_C(0xc3a344465666229e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x32c16bcdbe869324), UINT64_C(0x0848123f54abe7ca), UINT64_C(0x83dab71a07d1f5ca), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3a846e452606ddd8), UINT64_C(0xad884ccec10f0c5c), UINT64_C(0xee3254eb20927d18), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xca4bb1482f5def72), UINT64_C(0x129e09b28613404d), UINT64_C(0x9b4a799f29846195), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd34e3619d6121008), UINT64_C(0xc689282a37afe419), UINT64_C(0xeb8e8a4d110b1422), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x81074baa712276c1), UINT64_C(0x70c383a317c0fd6c), UINT64_C(0x86e048182714ebd8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb08af8832bbdc7d4), UINT64_C(0x5a65da16d414b73a), UINT64_C(0xef2e85e74491c5aa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd4b394c7e2ff12e5), UINT64_C(0xa89645baadb3e230), UINT64_C(0xd61e5d007f40418a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x35bfa6df6c84cf8e), UINT64_C(0xa5ee8174fbaf7b60), UINT64_C(0x5138f8216bb09fd3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7165c321b5f18027), UINT64_C(0xfbc92719a28273cb), UINT64_C(0xed3f63eeae175661), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3beb09d691eeaddd), UINT64_C(0x309b6431d0d26e5c), UINT64_C(0x8f0842129e313bc1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2cd4eeb216cf96e3), UINT64_C(0xab91b49201f0a9d9), UINT64_C(0xcaf5277dfc53c966), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3240e59cad316943), UINT64_C(0x4030748b146608bd), UINT64_C(0xfaffab9c4867ae1f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc41b5763de5ae3a8), UINT64_C(0xbb936d630d5eebaf), UINT64_C(0xc807dcf32f4fc041), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaa73ff1ea52c2aa3), UINT64_C(0x50286e8dd5edadc9), UINT64_C(0x460e69cf6066668a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1f4b1c0fe84aeb7b), UINT64_C(0x3c47393595b25786), UINT64_C(0x09f5391e547ab395), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbc009cdb342a92c5), UINT64_C(0x461744b45fd6dab4), UINT64_C(0x2b49cb3afbf3dd11), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2134e44e5549f5b0), UINT64_C(0xa18ef5402a28bce3), UINT64_C(0xb4c029356128fba6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa1983e90add3dbbe), UINT64_C(0x8b48c171a4a13730), UINT64_C(0x1507e8c94d84d0bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x89005c87114392bf), UINT64_C(0xcedfe0e63e8af42d), UINT64_C(0xc620cbb407b151b2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc0482971e15f65c2), UINT64_C(0x379f6e506440b74d), UINT64_C(0x658bc5d198cf3801), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x80cc6bb373292c9a), UINT64_C(0x620440b2f56450c7), UINT64_C(0xa7561843a752dd15), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0c345571dd5d9d3a), UINT64_C(0x564e66604e598bb7), UINT64_C(0xaa42f183b159db12), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x56dde74b947cb0a0), UINT64_C(0xd876654dfd02bd72), UINT64_C(0x389c46b994c59f9c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe22fb17a8b75d600), UINT64_C(0x4e655bda5da956b6), UINT64_C(0x6c31c8f012ca117a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x25d7a85d89bf1477), UINT64_C(0x55e618e63c0d7282), UINT64_C(0xe5e49845e6038a72), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x09aa4a577e42d329), UINT64_C(0x6281d309ad9a9af6), UINT64_C(0xb93f1b8acacbd2b3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcb3c3bcda5a8c94c), UINT64_C(0x8d01058763705f3a), UINT64_C(0x9edb1b001c085c9d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd960b05ef81bf95e), UINT64_C(0xf640efd44a1792dd), UINT64_C(0x5bbb23406cd2ed48), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xec800f5d84fcb826), UINT64_C(0xb7afd6a45de720ef), UINT64_C(0xfbd000cd50fc85c9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9c1611b4e71e243b), UINT64_C(0xc01c9f6cdef1bd55), UINT64_C(0xd891e63dfeb38efb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5d338014b21299b9), UINT64_C(0x71bc2729ca180efa), UINT64_C(0x55db123420408804), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3709930439aa48c7), UINT64_C(0x529552d2a99bc97d), UINT64_C(0x7307384c67672b97), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x59301c2fef48e1b4), UINT64_C(0xddd8c77dc7cab630), UINT64_C(0x2d69dbf553aad63b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x19f6761667a1f38e), UINT64_C(0x540a9f727774ec56), UINT64_C(0xe2865f241669652e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x28bd9b8c14272f33), UINT64_C(0x99ceda8d0dbd6953), UINT64_C(0xc650414fb2c52c31), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa674ca178b345c16), UINT64_C(0x0f98ad769a334650), UINT64_C(0x10c8faa1f863dda4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9ad2515935a48614), UINT64_C(0x0b7523325a7546d7), UINT64_C(0xe24592d77cb7e4cb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4a7d2546ade37cf4), UINT64_C(0x819c1b32aa1a43c1), UINT64_C(0xe5b43fbd6f790f09), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2d2279f08048d9ab), UINT64_C(0x20c5e3dd14d82c14), UINT64_C(0x6deb5fd913c08898), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb023cf09b0b59d9c), UINT64_C(0x74a2960fff4c6f19), UINT64_C(0x3e496193326a7644), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5c6c302cfd6bcd76), UINT64_C(0x9e21789888146205), UINT64_C(0x165e5b7752a7661b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x61c28e9f9f032ecc), UINT64_C(0x708fd9ff30c35169), UINT64_C(0x69182637f37333cb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x78abc36570e6af45), UINT64_C(0x9cb997d590418cc1), UINT64_C(0x9d80a7138a019cb9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7288885d164322c8), UINT64_C(0x8d10b540191d75f8), UINT64_C(0x332318a28233552d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb48279f5318a1a4e), UINT64_C(0x9aceb4de4df4606f), UINT64_C(0xaf9c69a2ff253cec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6e0f27d4574036bd), UINT64_C(0xfd85375d04a93002), UINT64_C(0x4b920ce747837059), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6df4501eb17f7b32), UINT64_C(0x30f78e5bd7f5391b), UINT64_C(0xa4234fc62ebf9db8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x11d97c1b0a2fb2bd), UINT64_C(0xb3e2772590206dfe), UINT64_C(0x5b3db1440aef2386), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2ce7265a84c887d6), UINT64_C(0x879625de00da8d71), UINT64_C(0x2be2b0092731658f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x34f9355aad294e1e), UINT64_C(0xda4674a85dd1d2f2), UINT64_C(0xaaebfc6b6c6aa44d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc12ad38c6739597a), UINT64_C(0xd7083259908b43e1), UINT64_C(0xb7f1768dd98e3737), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t L_2[] = {
{{ UINT64_C(0x4fe31784d0f9255b), UINT64_C(0xd991e9e2084a0efc), UINT64_C(0xbb51a0ec5f4bce47), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5e37fe4f4981f789), UINT64_C(0x20a8d8c4e16db9ca), UINT64_C(0x72c17ac393e5e68b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6a9bc945e6f2e2b6), UINT64_C(0xfde2746a4378c37a), UINT64_C(0x5e65094dc3256832), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcbf721b05b07f7ef), UINT64_C(0xce2f78e57945b6a2), UINT64_C(0x650f42c66ba4dfc0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc962122e5787e493), UINT64_C(0xa64be2d6921d3f53), UINT64_C(0x01abdda4b6aceb0a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1ad344fc8d9a83ab), UINT64_C(0xcbd891357cf5f543), UINT64_C(0x9135cad342b0875f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x582bd2e331b361bd), UINT64_C(0xfc17d2762cbfe78b), UINT64_C(0xabd58682c66901b7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x175001041fcb1258), UINT64_C(0xd5465c9684375d28), UINT64_C(0x602f9b085f403dff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x756846f8f730cea1), UINT64_C(0x5ae9f08e50b41134), UINT64_C(0xdd5d2f81c75ccaa3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4ae09b04f6386e2a), UINT64_C(0xf7d1aca08e566986), UINT64_C(0xccb0c34ae18b5e72), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4fce16af75de3fdf), UINT64_C(0x0245cab803f7a4a8), UINT64_C(0xd93e0b43ab4dc5a9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x971595d1326b65c4), UINT64_C(0x1aa819966daff5b1), UINT64_C(0xffde9d9aff631632), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd1060a87a1e382bd), UINT64_C(0x652410b69ce62789), UINT64_C(0x83420aebd3fc21aa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x43e66dcf50eda7c8), UINT64_C(0xf1c49c025f7680e7), UINT64_C(0x759f2d3d0d32a8a8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8dfac9a6bc4c6d9d), UINT64_C(0x2bea9e030d9f2ff3), UINT64_C(0x86de2bff21344824), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5000e1d50194d473), UINT64_C(0x30ed96d058296a80), UINT64_C(0xb2a0399c1673df7e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x38ca22fe548096ca), UINT64_C(0x43999b686d5cff1d), UINT64_C(0xdfdd3c64f8702b63), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x71a11705393e7015), UINT64_C(0x436a0e481d18f2e1), UINT64_C(0xd0c999661990dc4f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd91a99c8b3f7175a), UINT64_C(0x20dc55e4bbef24c3), UINT64_C(0xc0b688ece7f7794e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x965afdd9f2145ab9), UINT64_C(0xff3c3713ac31f863), UINT64_C(0x41c56e6f1d2bf9a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf9f1f96d1b856d51), UINT64_C(0xaed072065f59e7db), UINT64_C(0xf664d4a6813b4c9a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf6a246a68869d632), UINT64_C(0xfeeaa3ed80ca9c71), UINT64_C(0xd3547dd49893dd9f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa50bb7b76c1e0d72), UINT64_C(0xe29421387650830a), UINT64_C(0x31672eb0325b297d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x61f2e6c122a4cde9), UINT64_C(0xc9087098a681a924), UINT64_C(0x988b001140b3ff91), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1e4b71c50c1d7fe9), UINT64_C(0x6d274a519e071804), UINT64_C(0x6945eecc7c02f3a8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5ba6d301f1881cd6), UINT64_C(0xaa7d5ab9240ba8b4), UINT64_C(0x90fa65cde86a9208), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7aae4ed1fb8d1de9), UINT64_C(0x7eb20c79c0834893), UINT64_C(0xf7c3339e4a882cb8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x594acfc705e9f6f9), UINT64_C(0xad0eb15f30aa7003), UINT64_C(0xc5052d2c4010d69c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7262ab3ca044944c), UINT64_C(0xbc1628ef459964a8), UINT64_C(0xcd68dbe37278dde6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf0672bc16789e370), UINT64_C(0x1333bb36f259472b), UINT64_C(0xf6c6d667da64711f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x81eac634c5e31179), UINT64_C(0x2a44095dc5498410), UINT64_C(0xb6c62d8eeefc815a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4b685445adc9a542), UINT64_C(0xf41543cf667da199), UINT64_C(0x323f88e5c9450c59), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc643d0e2faa21551), UINT64_C(0x5943d43e995f0ef9), UINT64_C(0xb8a8a4cc07d48bfd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x488df57fb3da33b6), UINT64_C(0xcd0cd3c0bc249007), UINT64_C(0x963f689cd22034e7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd22346c7e41ff4a9), UINT64_C(0x1633a5508544b21b), UINT64_C(0x751e090091ba9a1a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x631749e58395617a), UINT64_C(0xca1c72b3f5fb0103), UINT64_C(0xdbedca5a41b93732), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf62a137d09bac701), UINT64_C(0x639677a3ac22b970), UINT64_C(0xbc6041cb14d88f75), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x868ad02e767aa1c2), UINT64_C(0x6c6d9efe37fdd895), UINT64_C(0x755af2a0912e81fa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x70e993053f4f9731), UINT64_C(0xfcc6d91ec3563a00), UINT64_C(0x6211677c5e8cb8b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf93ae94a99cbee9d), UINT64_C(0x2fc8fa43efd67979), UINT64_C(0x3de8321f17139c0c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x969bf42686ac314a), UINT64_C(0xe220ca2f9673c98d), UINT64_C(0x560852351c00e341), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcba8e42442fcd761), UINT64_C(0xc29f34c47178a07b), UINT64_C(0x9f99db93e4a82300), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4af723fae81d9292), UINT64_C(0x552f03568a324b42), UINT64_C(0xa58056ab5f321718), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7ac10da38e1d217e), UINT64_C(0x0e85e33997f448cc), UINT64_C(0xd3ec2e82127e70ac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbd3bd9ffaf8638be), UINT64_C(0xa09ea0e7fb5aea8a), UINT64_C(0xe37a170ef2d75bd6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe89b337ef1c79971), UINT64_C(0x2cff87ae97b11513), UINT64_C(0xb02ce77d03354be8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbe7c8aca4e330c44), UINT64_C(0x69794f9b379316f1), UINT64_C(0xc136276b24ded021), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3a495a9eb9696a98), UINT64_C(0x3fcbe1ee677ae040), UINT64_C(0xde1d6028dac3e460), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3b7b8d647bc1c1cb), UINT64_C(0x5eb2ebb928716df6), UINT64_C(0x20cdfe029396f665), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x87a006cb6038dea0), UINT64_C(0x0fee192863331c3b), UINT64_C(0xa44d8790cad351e5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5d5145ca34fcbf37), UINT64_C(0x43fdc14a282289b4), UINT64_C(0xafa60b5c0cdb1d0a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8b9fce6c5f2d451e), UINT64_C(0x6a3ca4ccc0af546d), UINT64_C(0x9e955ec3dcd4c239), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x475f7ae8703adff1), UINT64_C(0x832e039de4a4b97b), UINT64_C(0x9dd12a3a3aa4ce0a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe594d90430f00382), UINT64_C(0xf370654040d79f1f), UINT64_C(0xce08d54cd72f24fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7e83779c12ddcd8c), UINT64_C(0x98ad53e75fe63724), UINT64_C(0xb5e3957707944fe0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8564a270dbf81c74), UINT64_C(0x76227398dc27ec91), UINT64_C(0x01e6fef9c0380aee), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x14d1d578a73416b9), UINT64_C(0xdfd6d93079f9baf4), UINT64_C(0x91cccf217ca4fd22), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaa323558847fec9a), UINT64_C(0x6d6131b7653afd39), UINT64_C(0x0e1c0ed74cc02e11), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x077de431cbf8e2aa), UINT64_C(0xc4ca0147cae35cdc), UINT64_C(0x98f886760522543d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x449071cccc04e02a), UINT64_C(0xbe9c576e0540e59e), UINT64_C(0x3972c69fc4628ae2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcda0a89ac007d57a), UINT64_C(0x1c7c06e79e62c955), UINT64_C(0xe20039518bdf0aa7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x97ad96545f21882f), UINT64_C(0xc76b4c7abd85da96), UINT64_C(0x0a206264c0fd035a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6d1a91e0ab60dc3a), UINT64_C(0x11685f5404a25347), UINT64_C(0xa3ec04efdcdc4f8a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5a79af84013a7aed), UINT64_C(0xe93b18c29eeb3a4a), UINT64_C(0xc169df4b6f6a0c62), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0ef0d03bd7b775cd), UINT64_C(0x0ca46ab7fcb4af62), UINT64_C(0xc44232a168541eb8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x215ff52acb2067aa), UINT64_C(0x767f0fbae90f2e2c), UINT64_C(0x10de5d42915dc371), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd694edd048ed9d24), UINT64_C(0xb389abe331f43d60), UINT64_C(0x2606dc9be71ae92c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbfb5dc15543475a7), UINT64_C(0xa0bb3aeb529a3796), UINT64_C(0x909c38e5408572fb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7d95c744acdae783), UINT64_C(0xcc0871e06b9bfef4), UINT64_C(0xcbbd3e8a9e4f9b14), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x93e28115a7b7a97f), UINT64_C(0x77cabfcc57375444), UINT64_C(0x27d7e219835a0ebf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x19c10813571b6026), UINT64_C(0xce693fc8e43516fc), UINT64_C(0xc542297fbb269ef6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe299f66f15592c52), UINT64_C(0xdaacc59f96eabd93), UINT64_C(0xb67074b846fc38d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x653614bc278b8068), UINT64_C(0x16c458b6179e6cd7), UINT64_C(0xc068f2b987ebda7a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe9ddc873f71e8f33), UINT64_C(0x9ed2df8f69b3e520), UINT64_C(0x2d2ada04ea2b38c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x635cf59dfb3d585c), UINT64_C(0xa37ceaacfef32432), UINT64_C(0x05bd311ee36dcfe8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3e021f3a1054bfcb), UINT64_C(0x471bb290de878e2d), UINT64_C(0xc4c2581a6b298b4a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x38b60479d6c51992), UINT64_C(0x87c473b2d40969f8), UINT64_C(0x4baceb9928c3349a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x657b195d536304e1), UINT64_C(0x3853cb9f2d5d1e89), UINT64_C(0x1ae3f6709bbcd137), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x11b7dd7e1263ccf8), UINT64_C(0xec95e3002d76f16c), UINT64_C(0xd4dcdf3ebe0376f4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xde6e054becd140ea), UINT64_C(0x55d98d113a77856f), UINT64_C(0x1174d8f998ed8c01), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9d0f1f5d567dfddf), UINT64_C(0xe570c6fd841958d4), UINT64_C(0x18426e59737c4b66), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0f9bc49069b627b8), UINT64_C(0xf94067e08bd8b4bd), UINT64_C(0x535502b620f3da67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xad9d79e789318893), UINT64_C(0x676238032d97a589), UINT64_C(0x741f73661513d10c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x73b8f373008ee043), UINT64_C(0x51d46a0a627b0923), UINT64_C(0xef1d6104251c2ed3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd3ebca5a143d305e), UINT64_C(0xebe4832d9b657a30), UINT64_C(0xb7a8f9baac0436ca), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x09a33f50c616f816), UINT64_C(0x963de9ba173e724a), UINT64_C(0x70e5423a016a26a3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc6fe003b5e4b0ff8), UINT64_C(0xb894fe5e5e3525ad), UINT64_C(0x167ba728147eefb3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5f5790908c71ede7), UINT64_C(0x660a2d6172aa2923), UINT64_C(0x270df853c702e2ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x083f909b112fb463), UINT64_C(0xb50b3fd00bfc89ff), UINT64_C(0x6a270daf3a40e186), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x68c2d1b0e4e53669), UINT64_C(0xd9489c464888ef02), UINT64_C(0xd7bae776b759c8e2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdb6af7f6b41d06d7), UINT64_C(0xc2f8ccad51374ba1), UINT64_C(0x91265403e01fa695), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x793d5c6777f9fba8), UINT64_C(0x75010e2c9209445e), UINT64_C(0xe4a7e6cbbc287ffd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4c67b2ac7835f267), UINT64_C(0x632cbe7014a1a458), UINT64_C(0x94d5c2b72545b0d7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1cc9db2dc2aa5f36), UINT64_C(0x5ffeebd45b8aa477), UINT64_C(0x6f93de2642238140), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x352433d8ee283ca7), UINT64_C(0x96e545bae4d54cb5), UINT64_C(0x734241e82035af2d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x24b3fe7cce7ff883), UINT64_C(0x7043990c2f6c0495), UINT64_C(0x97b49fdff68953a0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x49942681fb3ec751), UINT64_C(0x60c8558e0cb5b06e), UINT64_C(0xe8d87da5035c5450), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x314b7ffd9f5a591e), UINT64_C(0x753f56bd19364724), UINT64_C(0x8f59495ba96f94ac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4eaafabd09488136), UINT64_C(0x9b8d6c95418e49c6), UINT64_C(0xc71b0f900080ebb2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9e24991db207a84b), UINT64_C(0x6d00a42e61d40a26), UINT64_C(0x71768349ff02239a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x235c836c10c27daa), UINT64_C(0x27306b0fdc69bd75), UINT64_C(0xd5873e9c3a941152), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb112eb055b90c771), UINT64_C(0x1712f529a6ab524c), UINT64_C(0x9da52a0b0b07da72), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9be452cd0ef7ca7c), UINT64_C(0xde34dc82cad3de93), UINT64_C(0x29078cd61836d894), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x43404815be2bb39c), UINT64_C(0xf055f8cd01921a6b), UINT64_C(0xc9121397f8f33061), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x38d8d6ba237f6085), UINT64_C(0xd23beb3892ca2fca), UINT64_C(0xd9e18a4264847340), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x58c5efa4c547924e), UINT64_C(0xf5880505d0c3a8ab), UINT64_C(0x589ed6da788d6a4d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb199afafb85f9fe7), UINT64_C(0x3300a91626cff3ab), UINT64_C(0x7f9941720462f5f8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xefda0597d8628167), UINT64_C(0x78a81d28560cd71d), UINT64_C(0x949f1c0b9b5fa654), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcc0b89ecee794ecd), UINT64_C(0x5898a03a0d47413b), UINT64_C(0x5bb902ba6f4e1e01), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xab84df1da2163a7e), UINT64_C(0xe0ce31007a11fe3c), UINT64_C(0x40d77670d5217a51), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xab6665114aaf6276), UINT64_C(0xff437c2016162a33), UINT64_C(0xc5cc2b5f876ef7cd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcea1608b1710ff57), UINT64_C(0x325cfc3024468c55), UINT64_C(0x7b8ed3b48969733a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb88ce32b04d03f0b), UINT64_C(0x23568b13ed5aea89), UINT64_C(0x0e33c9684d80ec87), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x26c201d6e540ab12), UINT64_C(0x6467ee56fdb9bf45), UINT64_C(0xb3b497207f87a192), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6b4c4252163d9e8a), UINT64_C(0x557b09c2e6ece58f), UINT64_C(0x536e361a3190675e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x04347c0af2984b0b), UINT64_C(0x1a03047e8b14b013), UINT64_C(0x222a95b056b31c34), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc87a160a80d01810), UINT64_C(0x9fda656add03150c), UINT64_C(0xcf23cb73ac97c7a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x421d43650269eff5), UINT64_C(0xd1dc049b50078703), UINT64_C(0x6fa75e9d7085f40d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe4acff9c27f0bf10), UINT64_C(0xb8861ac353533c8c), UINT64_C(0x14e6574c29d6e994), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x391aa8a751eba815), UINT64_C(0x461c75a1453f4b98), UINT64_C(0x2d6c645ae917136a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1adbaddfe486225f), UINT64_C(0xf5ac0c1e142d36c8), UINT64_C(0xdb340a526d37be1b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x312cc82e4b70c7f8), UINT64_C(0x8cbaf2da37bbefa2), UINT64_C(0x78ddbcbb5bed85ef), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xea30bb07e85ee059), UINT64_C(0xdad6c80f653990a4), UINT64_C(0xbe1c901016eb2f8b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd89cfde04fca0244), UINT64_C(0x59cbfcae821482f7), UINT64_C(0x224f335aa895d2a7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x16547575465e3c05), UINT64_C(0xd3b7423dd9e4234e), UINT64_C(0xc560a032859f9e77), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x91dd938a44c59767), UINT64_C(0xa9439fd8872a485e), UINT64_C(0x23e9fc56d8cc9234), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf54aa2411bf41ecb), UINT64_C(0x874688ef21b70007), UINT64_C(0xd4673f7e04903716), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x12bcc9b4e2d74b23), UINT64_C(0xda3090691f38c523), UINT64_C(0x78ca6487e065b082), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1981783f8efd80cc), UINT64_C(0x7dd33830c0b6a771), UINT64_C(0xcf95f51ca709f97e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x02eb43459fbb7abc), UINT64_C(0x8f98352c0fcc242d), UINT64_C(0x6081ff25aab4a235), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1618aa4774ee3d23), UINT64_C(0xea2b971042c6103f), UINT64_C(0xff4c93c2eb8b76ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x36ed76ee2e031887), UINT64_C(0x1fafefd670f41510), UINT64_C(0xec69ba6a14e9ae52), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc6cb26e3687f5ec2), UINT64_C(0x653cafe590a9a350), UINT64_C(0xa64de7cb2896daa4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x70d26b67ae6e7f39), UINT64_C(0xae32cd2c1244b237), UINT64_C(0x677351b3fad45113), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x75c824f4e5e951e3), UINT64_C(0xac722fe051091206), UINT64_C(0xb7381dd63892b895), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf827bcbc60c99581), UINT64_C(0xa2d951004b070827), UINT64_C(0xf16695153d9b62b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x02bb8c6e36c01fab), UINT64_C(0xb10132736cde0f63), UINT64_C(0x2db1e071bced4436), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd5565db71d83b370), UINT64_C(0xe031c978b7c1967f), UINT64_C(0xca888877f457b6bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x46773cacfb1ffbbf), UINT64_C(0xa8dbe70f4c1577a4), UINT64_C(0xf715258d1441196d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6dedeb2f2bbf7185), UINT64_C(0xb697fba8e4f0fe7b), UINT64_C(0x1968a32b908547af), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe9b9bcd5919f7b68), UINT64_C(0x7c829669127314a8), UINT64_C(0x8c4d011d2bd62aaf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0b96f49165f994e5), UINT64_C(0x122861e193bfde21), UINT64_C(0xaa084705851bba10), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x42230378ab9bd5d7), UINT64_C(0x4f57976c05bc13c6), UINT64_C(0x9598f7368af583e1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc4d62e90df0b2d69), UINT64_C(0x660711c3ec2faf90), UINT64_C(0x4860937cb3215dd7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb6db8443ab570622), UINT64_C(0xde7704e8159e4d22), UINT64_C(0x4c0776df6504d4b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xffffac3afec4bc71), UINT64_C(0x7f419b5af396bdb0), UINT64_C(0xbc222e1e5567574f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7ab65be59c469f52), UINT64_C(0xc9d0e1ae5e17d7a8), UINT64_C(0xbb8b0c8234dffa33), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x22dc643e0fb46e48), UINT64_C(0x00a4eeb576159825), UINT64_C(0x4f677cb286785388), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x439af5d6ec8ed98f), UINT64_C(0x14aa0e8edaa88ac9), UINT64_C(0x7bb7577c62c0ca84), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9e264a9812c3e3c6), UINT64_C(0x862cf328cbe05a39), UINT64_C(0xec7dc7977a4db763), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x273e270b10245982), UINT64_C(0x60bdf6f06ac74543), UINT64_C(0xc46c1fb776f2e628), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8b2328e040bf5379), UINT64_C(0xf0098813ae42ea60), UINT64_C(0x6748dca1501cd653), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6f3e63762bb1e166), UINT64_C(0x45fc97052fc06388), UINT64_C(0xf8592e28b323d1ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc751dcbc4961e17e), UINT64_C(0x36abaa9c4a7ef9dd), UINT64_C(0x37a6f24957fb5345), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x295e3970e934f343), UINT64_C(0xc3da30a0ab760b00), UINT64_C(0xbc5d4c54d9315a6f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x47d74fd862c9824b), UINT64_C(0x758fb2b35bfa895c), UINT64_C(0x0ae975e59e66ed63), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3147d6f26931e327), UINT64_C(0x6e2398f39b67b544), UINT64_C(0x46e0e2daf7d89701), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc79ef94bf7612bae), UINT64_C(0x9ad3aacb9cbb146f), UINT64_C(0xadb18ee5a8d6c7da), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa95571353eea9329), UINT64_C(0xd9b4bd4b195f9059), UINT64_C(0x05911f448b551c33), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbef9acfae82294ac), UINT64_C(0x5fab000857687a36), UINT64_C(0xc89936f13d034713), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x405856c54bc6f14f), UINT64_C(0xea24a1ea5aa98829), UINT64_C(0xe5782038602c79b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x06032d24413b7d20), UINT64_C(0x0efb567ba740a0fe), UINT64_C(0x9dd22dc25418bff6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe6caa9102a2d5cf2), UINT64_C(0xc2718877af9bb8f6), UINT64_C(0x25b69db4eb5f44d2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4e31244d7010ff88), UINT64_C(0x1f4f8cc78c111159), UINT64_C(0x45be08e240aeb706), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9e11caaf3d73114d), UINT64_C(0x3fcdb343f0b89fa9), UINT64_C(0xa6c8cf80bed5a00f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd201feeebfe47ab3), UINT64_C(0x623516a41180281d), UINT64_C(0x3ee51d7cd21f6b97), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x566b13f8ad6c6ff8), UINT64_C(0x87df27a80aea24b4), UINT64_C(0xe338374a0533848f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4ede7263c7948408), UINT64_C(0xe5e0f64abb048e77), UINT64_C(0x7b16bfa62527190d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6ab7b498c23f4038), UINT64_C(0x9ebcd45300fe4daf), UINT64_C(0xa6203d5d3c8e7a8f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc93745959d094d6f), UINT64_C(0x767fc4a9a5bec9bc), UINT64_C(0x3a6be60161e64e28), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd8241943d16c43e8), UINT64_C(0xac1f01a1980f9066), UINT64_C(0x4caa2db53717fe74), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xabb9b6922b87610c), UINT64_C(0xef7317cc18091ba3), UINT64_C(0xd95cf6dc50dfb134), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x72dea4cf7112207e), UINT64_C(0xd6b8323db15932aa), UINT64_C(0xf76dcf1a025a2472), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x42be9842c796aa20), UINT64_C(0x554ac916f4f596b8), UINT64_C(0xa6e09d4a0697ee78), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3e6dfbeba8bcea0b), UINT64_C(0x4e63e3ad9fcb5ea6), UINT64_C(0xd81bd137b2eced23), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x91fa9cb02b0c96e3), UINT64_C(0x7b34b5126566cea6), UINT64_C(0x0205d93334454aeb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8abe6e021158f30f), UINT64_C(0xf13d84df52ff6479), UINT64_C(0x48af6c1006916763), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xebe9a7f563566c0f), UINT64_C(0xd1f75015f957b7d0), UINT64_C(0x7ae9b90d79a7edc6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbc7a7c31ea88a667), UINT64_C(0x63e6fbe03099ca5d), UINT64_C(0x391aee7a987a23f6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4879f125dbf14f1e), UINT64_C(0x6b931478eb77e6b0), UINT64_C(0x218856e8bb86a9e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1a8ea74e5524422a), UINT64_C(0xeaaec24353363c2a), UINT64_C(0xa25d057d7afe255a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdbd98892b3e314ea), UINT64_C(0x7d16b66de8c95de7), UINT64_C(0x7c27dca256e3bf88), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6e7e93dfabd9c12a), UINT64_C(0x8d613d681511ee67), UINT64_C(0xc5aeaa822801f6bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7c85155de90f1969), UINT64_C(0x5fcc501cfa7d7b35), UINT64_C(0x05875663c3c03286), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfd840d7b02fca1ea), UINT64_C(0xadcc26c521ff4374), UINT64_C(0x9245f9958cc6b1dd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe617f3a2948b225b), UINT64_C(0xf9ab7a71562bb7a6), UINT64_C(0x717c82a545b72fd3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x829cd4cb5765b5ca), UINT64_C(0xc34a43d84537d057), UINT64_C(0xef37b1823d34a685), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe5e83ec92f5650f1), UINT64_C(0x3eddc384a2dee51d), UINT64_C(0x8b5960fa74b1082b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3b9dd2807ed3ee1a), UINT64_C(0x84e2881af464355f), UINT64_C(0x3f4cb5bade8c360a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x22b13e10d40404d2), UINT64_C(0xe69b6584932fddc3), UINT64_C(0x21026f26dbba314a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x16d68d84a429d3d2), UINT64_C(0xc2ef9b8158daf4d5), UINT64_C(0xec7fe1ef61423c15), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x848a34f7110b4691), UINT64_C(0xb7637b5121f980f6), UINT64_C(0x9e4bfdc614191bc4), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t L_3[] = {
{{ UINT64_C(0x2ee637cd06f00878), UINT64_C(0x83de691082849931), UINT64_C(0x76ef555fa1ae11b0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf929f375583c505a), UINT64_C(0xabbe82439f3f29d3), UINT64_C(0x0fd06f74ee9ef0e6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8f0e70474cda4023), UINT64_C(0xd98eed07f731e8a4), UINT64_C(0xb72e2681b2090174), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1be590952432c23e), UINT64_C(0x16538ab19587513b), UINT64_C(0x40c418c2ac49f482), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x24ce98e5d468107b), UINT64_C(0x4c6c94d286577292), UINT64_C(0x27946077b434343d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9ee20aabcb2baf0c), UINT64_C(0xee74eab4ac3fc032), UINT64_C(0x31e61433fbcd926d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x15e11074b2095d38), UINT64_C(0x2be0e2b691f333b0), UINT64_C(0x91b608225af99294), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x124512f1d5bc85ff), UINT64_C(0xe7662751ec8abe0a), UINT64_C(0xbc20f097712e6ded), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7975d6dcc532acc5), UINT64_C(0xf7915f1dc63f22d3), UINT64_C(0xb5b626afb9373c38), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x39c4d8bc2cb28baf), UINT64_C(0x1be53d1911073d80), UINT64_C(0x96ead496d6ba77c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1142cf13feb995fb), UINT64_C(0x3e40aa0a1a95db22), UINT64_C(0x48cc0e542c11476a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfa6ad4be451a7fb2), UINT64_C(0xc873bf9cbf09c854), UINT64_C(0x4ffe72009d2a3d6d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x577ab19f11158d24), UINT64_C(0x7e8bad86eb147835), UINT64_C(0x3459e048e034bc52), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x459be0f70185fd71), UINT64_C(0xb0a611b54ed555d5), UINT64_C(0x5ef0b904841a62fe), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0eb7eb8dfeacac85), UINT64_C(0x1633933c1d2e0826), UINT64_C(0x7db0dc9c60961b83), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfa658433adaf299c), UINT64_C(0x806239ad1a792092), UINT64_C(0x1a254f896f85bdb4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x450bf4d1a9e170cc), UINT64_C(0x5220be6b02d9a308), UINT64_C(0x0c7590101872d407), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x909ba4ec1a1fb943), UINT64_C(0xfb1bf2c499df2971), UINT64_C(0x91f2a4372ff487dc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xad3d552eb261e519), UINT64_C(0x357e5d608c53a530), UINT64_C(0x3003bfb46f82e573), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6389dd462ad5d114), UINT64_C(0xa6a46c780defe3d3), UINT64_C(0x64a4811618899a7d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9e90835f7b2eea0a), UINT64_C(0x86ccd577511ebc8c), UINT64_C(0xf3c6b589bf448677), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x68a17afae6b21517), UINT64_C(0x5f0f78e0cb030ae3), UINT64_C(0xa91b0b4d7d1010c2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcec8f61c92e00558), UINT64_C(0xfda3540c94a598c4), UINT64_C(0xdf3d3b09d3507b9a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x640f1d775e7ced18), UINT64_C(0x663137ccfc897211), UINT64_C(0x1f37698646863d6a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa52d6746d246eab1), UINT64_C(0x6a572dfaf4fdde87), UINT64_C(0x081a38826d20dc8b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb199657ba9d3cd25), UINT64_C(0x40e2bec80fd64449), UINT64_C(0x195a6c0f01b3bfff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1cbbf0a55bdf5e74), UINT64_C(0x3708e9ec3ec8fc83), UINT64_C(0x0f9d9a421c102574), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3c0f780d9d130b62), UINT64_C(0x455e13cd1f98acf6), UINT64_C(0xdca9791af627c4d0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6a0b6ae7b6971f3f), UINT64_C(0xe56b6b2979070977), UINT64_C(0xea003965de322f79), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0d43a02716d3cf4a), UINT64_C(0xbd424f74d3e1661c), UINT64_C(0xe2f14c81b6536456), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6676a71249d8c0bf), UINT64_C(0x84f26b9fb8dd1eae), UINT64_C(0xa98f1fd9c29924cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1209627d24e32411), UINT64_C(0x3230caa6391c36f7), UINT64_C(0x87620ac87145c0f8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x47dfebf160c2d23f), UINT64_C(0x3d38acc75f7077b9), UINT64_C(0x701d1a95c58c1175), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x71ab2f625cd11a01), UINT64_C(0x476466a20d242002), UINT64_C(0x7f3b63cbbf565a83), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3579bc7afc05d6ec), UINT64_C(0x6f447d94758de213), UINT64_C(0x02f427d326f56ea5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x56ddc6317eb89558), UINT64_C(0xc254155d360f328d), UINT64_C(0x94db3376c9b93033), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc486095dfeb25dbc), UINT64_C(0x33637a1a14da11cf), UINT64_C(0xa44edbb2d5280d68), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1de3d9af265216fb), UINT64_C(0xab68856842bd8e3e), UINT64_C(0xcde0cbea0fb723a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8abea48ec35ec662), UINT64_C(0x65f20764d7676a66), UINT64_C(0x30c2275bee9750f6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8d9fb7deacf87fd0), UINT64_C(0x8c6e00a93c985c07), UINT64_C(0xce824f0f2fa50c0d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x441478cecaf70d3b), UINT64_C(0xec1d18d6b92ce9d1), UINT64_C(0xf81d0c9986848d72), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3705547e2a54b8c0), UINT64_C(0xc8f354cdf91f2433), UINT64_C(0xe740d025f40b85ad), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x61f9e1c710df9b17), UINT64_C(0x8e33b4e2480a5e81), UINT64_C(0x3d793b57bf9d3962), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x92308c4eb828c176), UINT64_C(0x23a3bfdbd8bb81f8), UINT64_C(0xe4a8f6693891d0e3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x92efe3e4bd9af09f), UINT64_C(0x1cd3ce06fe55e6a9), UINT64_C(0x9334d11623a6fe58), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb906853144638e33), UINT64_C(0x7399ee7066c99b7b), UINT64_C(0xddebbfdabcbb55e1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb11c070baef4e1e5), UINT64_C(0x4cbde4ed66c1c7f9), UINT64_C(0xced726d137b460aa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1df49f6ac9ebffff), UINT64_C(0xbd974a71931c5a9f), UINT64_C(0x7ec34789437beee1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x214ba35e63800394), UINT64_C(0x48b9a2fb1c1398bd), UINT64_C(0x986d24fb8f697911), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x23a343beafd0bc68), UINT64_C(0x68d8e26814f6496a), UINT64_C(0x7d4ff1a0c54fdbd0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1e05c9a780659600), UINT64_C(0xd2cf7e5d4e2f4bea), UINT64_C(0x31f94d3befbb96b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xed07138641febc82), UINT64_C(0x328133f2cb186dda), UINT64_C(0xf85a11721d0cf84f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7dd0ae5ba83c8eac), UINT64_C(0xc2624c5d908bb900), UINT64_C(0x975af8b55a32eca3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe53ca8c3870cbb81), UINT64_C(0x00a395d219d9d057), UINT64_C(0x14c2b3d49716e1b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfcaa6813996fbff3), UINT64_C(0x9da3c9b840fc91ee), UINT64_C(0xc289ae86a6717afd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc86607e540a3f0d2), UINT64_C(0x87733e2a3ae6d90d), UINT64_C(0xe2c432dddce22201), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x67c68bdf9e6b676a), UINT64_C(0xbd2f981408018a33), UINT64_C(0x7dd3f63826404ba3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2fcf1d5852908548), UINT64_C(0x4dab5ed44bef20f9), UINT64_C(0x815bc99ff3859ee8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x787279658692f4f6), UINT64_C(0x99a1c26bf0932bf7), UINT64_C(0xa532a02b70d482f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x61ad887998ecde04), UINT64_C(0x48421c64d5537ede), UINT64_C(0xf8b4249b11b09faf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbcbe726429e81d44), UINT64_C(0x3dbec35a8d689740), UINT64_C(0x5f25317c45b805ee), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd0fd6f53d95bba49), UINT64_C(0x61fc11f277dbd2d8), UINT64_C(0x565cd697e3f77d33), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x44720ab591aa8230), UINT64_C(0xd3f57785c143cd85), UINT64_C(0x603c843c1d3fa31e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb4e6fd41de5ceb42), UINT64_C(0xff2b12742aefc536), UINT64_C(0x068e9b3900b097a7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbc1a071318d2cf54), UINT64_C(0x5f1c7b7f17e46132), UINT64_C(0xbe2e1b75c70d05a7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xae879547020bea31), UINT64_C(0xccadbf7a756f67a7), UINT64_C(0x78e2f26a26b1764d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1a9f0da9e7b06caf), UINT64_C(0x4a44a005f31fd8e3), UINT64_C(0xb8dfb38dfd2e5a3a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1fa4f53cf3eecc0f), UINT64_C(0x1bcd250082b79b6e), UINT64_C(0x7093bce383c9377e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x007008aa4a57719c), UINT64_C(0x7c4e4c7430867416), UINT64_C(0xaa9fd72e98967637), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3aeff35ed6d61bdc), UINT64_C(0x2cd186370e60bedc), UINT64_C(0xf43aedc49026f63c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xede72b97390bdc0e), UINT64_C(0xf107094448b3896e), UINT64_C(0x1bf4874bcb26d7eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x58958f5efa8e0ab8), UINT64_C(0x85c5721d03e65f9c), UINT64_C(0x759a5c4a50d47219), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6127e18f8c9fd7a9), UINT64_C(0x59771da793763352), UINT64_C(0x96bde3e40355b9d6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6c3aa3b5bb64c7a7), UINT64_C(0x087f17862677c390), UINT64_C(0xa35e3745bfc4631f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x82630356d3c9d82f), UINT64_C(0xa0f3e6e102a723cc), UINT64_C(0xd03971d35c50b0e7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x03fe040345194c1a), UINT64_C(0x571e5268bf630d66), UINT64_C(0x2f4a64e1eafb0c84), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x09ac3b593032e9a5), UINT64_C(0x72a4111f92173883), UINT64_C(0x519455c05c971fdd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9e5b3a1932e19ac6), UINT64_C(0x53bcdf4fb65cb0c3), UINT64_C(0xcfb455c107247ccf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9d4d681e0b27c62b), UINT64_C(0x3f7c39c7c99fa77b), UINT64_C(0x6e4dd1df86b312da), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8a0603da3470416e), UINT64_C(0x00670811a370726e), UINT64_C(0xa6b991de8ab0d7ed), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x313894065e8ae81d), UINT64_C(0x351f441f5eec074b), UINT64_C(0x61491a9af477aaba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2ac7c1c2178fe1a5), UINT64_C(0xd79df0e73b3bb247), UINT64_C(0x108411583e855299), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3ae404cf9ecb68d4), UINT64_C(0xcbfca82d3e451daf), UINT64_C(0xb0fccb40f8622a10), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa51bf986797e8b6a), UINT64_C(0x820a8f3beb831ec4), UINT64_C(0xf93716ebe6ae64a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x22a0b91488e6976d), UINT64_C(0xebd0bd69c293fd5a), UINT64_C(0x695fc29478a890aa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4a4702fc7e1220af), UINT64_C(0xcde3036edbdc8952), UINT64_C(0xf24cc01a9fed145b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x414c8372bf10a0f2), UINT64_C(0xd857998823ca419d), UINT64_C(0xcf72185f28d54953), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaf6e3f5e3348d08c), UINT64_C(0xe74ce0e23b74d0c1), UINT64_C(0xd4b2e8415c891c58), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfc6c6192d77615b7), UINT64_C(0x7e44be76170c3f86), UINT64_C(0xaa5a0624c6942005), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x29319ecd73bf3d46), UINT64_C(0xb918f9599c868a5f), UINT64_C(0xb5996cfdb15b0aa9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd46b10ac00362af3), UINT64_C(0xd0103292d7afd343), UINT64_C(0x0fb1e64a98a579d6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe58dcd0b8821d9c3), UINT64_C(0x94f51bb19f899115), UINT64_C(0xdf7fe9931e2283e6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2e42fa9e486e264c), UINT64_C(0x13d6b710601dc105), UINT64_C(0x319ec2f7aae26fdd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb8e1c8ea765f4319), UINT64_C(0xc202ba41c5080112), UINT64_C(0x9250caeeb020b374), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfc33daccd588147e), UINT64_C(0x5213adfb9be7ccc5), UINT64_C(0xdb2e34c25e9a9a21), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x58f93fdc47c3f6bf), UINT64_C(0xc9ca4f9a395e7234), UINT64_C(0xbb1d4f9fe6bf0dc0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4778494af7dad1e0), UINT64_C(0xebccce6195dedc23), UINT64_C(0xa3c5bcb57f4f549d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xea187f5a5737ba77), UINT64_C(0xf6b681316d64a7d1), UINT64_C(0x755ba06707ad77ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe06b1f9013301732), UINT64_C(0xa3c58a3eb85a8b4f), UINT64_C(0x649d3db927dc3a87), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8a3d688bd9ebb4c8), UINT64_C(0xc2980022276e877e), UINT64_C(0xd2646b1d1989bec5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf14a623f909a3cac), UINT64_C(0xff7c182664fab103), UINT64_C(0x7747c72e93ceb26b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0d63daa6993aeb4f), UINT64_C(0x52c1fbfbbc6facea), UINT64_C(0xcd4502fe20c0b38e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfadd15dde95f1f3b), UINT64_C(0x0054a084b101343e), UINT64_C(0x2994cbb3be394ba7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcd5da0a29cea4b88), UINT64_C(0x8ef2b7100f7e55d0), UINT64_C(0x6d2564ef44705653), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x052438db3e9b6312), UINT64_C(0x91b8821574ea0317), UINT64_C(0x9aa71e8ec7d418b4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xec8d7f4e0774df63), UINT64_C(0x5af352eec49ecf8d), UINT64_C(0x05b37affab2ebeff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3032531167d431ca), UINT64_C(0x13bd952270833fdd), UINT64_C(0xbcd4eaead851c7b5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x59370ac1c87f561a), UINT64_C(0xc9f6b9b7723e5f9f), UINT64_C(0xed1cb5ec4c11352a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x70872f885d31c6f3), UINT64_C(0x0810effa35d98c18), UINT64_C(0x84680e29a68488b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x74886ffe9c7190f7), UINT64_C(0x4beb1c157add308b), UINT64_C(0x8ab28b81937b8075), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x532418b0c342be53), UINT64_C(0xbc2845b84863b259), UINT64_C(0xcda2443202dc9aca), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4205280208bab732), UINT64_C(0xe3f7d9e7b622b1ac), UINT64_C(0xd18433d0c3fb2401), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x89023a413f20390b), UINT64_C(0xb2ef1a067b9b6624), UINT64_C(0x73dea803c13390c9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4628422fc3166306), UINT64_C(0x06a62547f270b34c), UINT64_C(0xa92bfc0380cdf314), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7176602137cdf00a), UINT64_C(0xe75cd69b0f55418a), UINT64_C(0x2bd045b0ff109b62), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x20a81d9325a4720c), UINT64_C(0xd52b8438d1e8dfc1), UINT64_C(0x407d857720e71533), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x596955de2f294c83), UINT64_C(0x239d632217bdce8d), UINT64_C(0xd8cc25ad8dabd4cd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x01090ef7908f749c), UINT64_C(0x9b45492bb0159a4b), UINT64_C(0x54dab779dea7a06d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe879951c6fb6cb60), UINT64_C(0x711c14bba058eb11), UINT64_C(0x279c56d526503ca2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x59e4938241b37b83), UINT64_C(0x5fa0ddd78e96dd41), UINT64_C(0xea42ae5e4b296a70), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x200659ebc9b6c0fb), UINT64_C(0xa519ac4df77f03b4), UINT64_C(0x5f3c6300ec513688), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1f9f6a1324fdafa7), UINT64_C(0x1ddaf46e1d2d99ba), UINT64_C(0x2c3d61035d9036b3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x59aceafa41a012a8), UINT64_C(0x7ca2a3044b054cb8), UINT64_C(0x6b1d381f89e74b8b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x86740033717cf6eb), UINT64_C(0xf6596f55e04e5fdc), UINT64_C(0x05023a0950fead64), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x64f9dcb9ac53b8da), UINT64_C(0xfb30fb87348b9b0c), UINT64_C(0x3336c8de7a2f024b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa92201d75b265fe3), UINT64_C(0x47e1a4f5739881fb), UINT64_C(0x12a07ec42ced7f10), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0ef7058ffccafccd), UINT64_C(0x38941d8833dfd6d2), UINT64_C(0x177a637d0141a803), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x110880bdd8353651), UINT64_C(0xb45cbe2825f01814), UINT64_C(0x1110af29f5f426ba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa04c4df7cf919895), UINT64_C(0x13d63a3f6a3b9ad0), UINT64_C(0x43a2ab100e56a787), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe3ab9ef74f8fa762), UINT64_C(0x85e1390bbb9f1ff0), UINT64_C(0x19dbf875dcc61bba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0099bc8b5429051e), UINT64_C(0xbbd8e075f452f351), UINT64_C(0xd38099eee90e6fab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x21574227cd56aad2), UINT64_C(0x8f2271e935aa5d3b), UINT64_C(0x8a20331e225d5f70), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5a2fe308c6531fde), UINT64_C(0xc3ad4c6a71f08cbc), UINT64_C(0xfda4c3963c0de7dc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xae1303974f938316), UINT64_C(0x046bbc9a1dea2790), UINT64_C(0x6c8aa3cbc1a37c9e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0350245ddb6eb25b), UINT64_C(0x215b649f08831467), UINT64_C(0xb72f5d57e9e3d35d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc59a956c70c0a207), UINT64_C(0xa9442bef575f63cf), UINT64_C(0x760bb191c0291bba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9ba2b1e11e885efc), UINT64_C(0x9f85b9a866790383), UINT64_C(0xe73d9edd95e7b618), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbd320f74234eec5c), UINT64_C(0xedf97d12d0afdca7), UINT64_C(0x1bf294f304d0379f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x97aa1a46eebedd7e), UINT64_C(0x210545ccdab9812f), UINT64_C(0x888b0fd92235b08c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x80a90254178aa709), UINT64_C(0x139f28a8108a782b), UINT64_C(0xe58806645c63b112), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3ebba729cdb8fd04), UINT64_C(0xca60ecb438aaee6f), UINT64_C(0x053c9bc3fcdac97a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x60fc38bdee323575), UINT64_C(0x7be7a0db2783c70f), UINT64_C(0xc0c51a72a36c70e1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5cf01c26a9a99865), UINT64_C(0x4590c09167f93587), UINT64_C(0xb221d967f1b65da6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5c2fb229ecee66a4), UINT64_C(0x8be9891ef9d5320f), UINT64_C(0x0d03d7133c1002a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb4d6dc6cb400df12), UINT64_C(0x9055b4a54ca47390), UINT64_C(0x2d97fd491f0e87ac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x04a6e2a619ff968d), UINT64_C(0x68b3f5795168bd71), UINT64_C(0x173f7e773ddd166c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0ac780b7a594ffa0), UINT64_C(0xc5128b42ee343c68), UINT64_C(0xb328e818daed44cd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5e01eded7a8f9f75), UINT64_C(0x2fc11813ff37f4e2), UINT64_C(0x65017f2202d0e570), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xba670146c4969643), UINT64_C(0x9573e8a8cff609de), UINT64_C(0x68151b7e3fd55651), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe4fe600c0f69ddc0), UINT64_C(0xbd0a3d5f6deed206), UINT64_C(0x474544e31f4240b8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8daa13f127611be5), UINT64_C(0xa0bfe8ff94c3b347), UINT64_C(0x33504cedf225b7f5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3ccfa1b4bd9358ed), UINT64_C(0x4ae31ec7a5e64f46), UINT64_C(0x2776e9b66a976e61), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcf56150a71ec45c0), UINT64_C(0xf0c6097f1f0e6e3d), UINT64_C(0x9b551944019c73a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x46e9d57dac1f85aa), UINT64_C(0x3cda081488048682), UINT64_C(0x3b6ebdf2077ec6b8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x861e27ee7c7e15f8), UINT64_C(0xf2b8afc6c7fdf38c), UINT64_C(0x2f57236f125a47d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa661b1972a5fb091), UINT64_C(0x9b7b955e863e27b5), UINT64_C(0xae5ea83ee1831bb1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5cdbf282754191d1), UINT64_C(0x9eb5f2629eb58a4e), UINT64_C(0x06ddb78daad0a0d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe11b0c2006dd47ad), UINT64_C(0xe493a5d89d4131b8), UINT64_C(0xff1059d8add8eb75), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd56b37d92e0863f8), UINT64_C(0x990c639e5669c3ba), UINT64_C(0x3cfdc0684233e9e6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x98f2ecd8fe402c19), UINT64_C(0x4fff1aca76c94df1), UINT64_C(0x87830c3b76003380), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcb0557b4fc4afbf0), UINT64_C(0xa0e617346fc1e42a), UINT64_C(0x02408846f8d5e619), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4493f0aef0d1632a), UINT64_C(0x062d2453014330d9), UINT64_C(0xfc870ebc2cc3b502), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x91c2891ef8d05476), UINT64_C(0xe4872af37e30a99a), UINT64_C(0xb5037fa9ed6cc8de), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x667c849a80cb9815), UINT64_C(0x7b60b1a4221d108b), UINT64_C(0x45be31ced5d71505), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb2756d16123b8420), UINT64_C(0x7b2b39b0d50ab333), UINT64_C(0xf1391c086180a208), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x66b3c9f746dd3b61), UINT64_C(0xcb9d3fd26f787032), UINT64_C(0x2282b86a3635a129), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf4d71acbee9297df), UINT64_C(0x12652cc5f39779d6), UINT64_C(0x5855bdadc6a022b3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4c68ffb0e09db5f0), UINT64_C(0x7c9d250f248a97db), UINT64_C(0xa5d93c260ae40458), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x801ac53214f4f685), UINT64_C(0x5d5be85d643c05ed), UINT64_C(0x94f2ccc435318b3f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x534cc86233226577), UINT64_C(0x9d0fa3842713e7a4), UINT64_C(0xe3b984901f1189d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xafdd40ba5f9b4a68), UINT64_C(0x5cf864458040e7e4), UINT64_C(0x1f80f098ca91122d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x04a86648780121a0), UINT64_C(0xfc84e65bb7f53f45), UINT64_C(0x0caf768ca923701e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa32de733aa4e52f4), UINT64_C(0xc207c0611fe76060), UINT64_C(0x06b425b3d6a52b0d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xedff0f6a0ce9d5f2), UINT64_C(0x217fb84d44839763), UINT64_C(0x337e842b5561d547), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3e3d9ff1b4bf98e9), UINT64_C(0x472aef8c47aa1ab9), UINT64_C(0x916b7c8c565cb402), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x77a92cfd7cd0503a), UINT64_C(0xd2fcc01b5bc17cc3), UINT64_C(0x7948dcec729500bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x76a1f494cde903b6), UINT64_C(0x878f8340bdeb9354), UINT64_C(0x755297ce307036e0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x91bc8c52dda7e8d0), UINT64_C(0xbd1848d4e485f7ea), UINT64_C(0xce604ba3d93dbad3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7fe248947fd7139e), UINT64_C(0xc4ee3ab6fcfb5167), UINT64_C(0x51c7380dd9e46754), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7b261efb81f637d2), UINT64_C(0xfb1afcdd827e8674), UINT64_C(0xdd7b2fc6a64f7706), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe5963cc7da180c44), UINT64_C(0x7c4ae8b8a2892402), UINT64_C(0xe77df3336f542d2a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc183efcbbce9c66a), UINT64_C(0x8f4a208327715197), UINT64_C(0x5cbba7e6c06deb80), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x94a3496295616daa), UINT64_C(0x53f60d6b0e9d8b6d), UINT64_C(0x6057ccef90505702), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6980e77aa8fa0a70), UINT64_C(0x3bf9448dc29a5c51), UINT64_C(0x3e9064e5af13fc26), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x167e73686d5cdd6d), UINT64_C(0xf214ecb16df015c4), UINT64_C(0x24cfcbf2d3b8aea8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe84ec511efc184b7), UINT64_C(0x7399a20b86ef5e18), UINT64_C(0x64d8dad9b61fe41e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x925f2a020cf87533), UINT64_C(0xdec5104013478fa9), UINT64_C(0x725bd7c6a87eacce), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x63778ece96ede3ec), UINT64_C(0x0bf3b5d541eef739), UINT64_C(0x82d4219621f10179), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3f7454d1d55fb176), UINT64_C(0xd8e848b1a5bcbd24), UINT64_C(0xdc6ac3da143d54b4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb636f7aa53e471b5), UINT64_C(0x961ea8154fda1485), UINT64_C(0xda0288deb33f2f87), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5a5dd3ab941aa207), UINT64_C(0x6bbb27b5ea7ce9bb), UINT64_C(0xe6b75c08f8c1ac76), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbdec5cf5a4ed704a), UINT64_C(0xf22138d19dfbbee6), UINT64_C(0xe62429296ebbcc1d), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t Li_0[] = {
{{ UINT64_C(0xa7c227bc00cf0b07), UINT64_C(0xba1608e6ee91781d), UINT64_C(0x0d9ec910b3851202), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc5993c0f1ffe60b6), UINT64_C(0x3abd7b47c1c97e35), UINT64_C(0x49168daa1cd6d4f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc640e121cdf4618c), UINT64_C(0xe1bba8c66e482369), UINT64_C(0xb8a02fe2f8b791e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8428d69ca739bc3b), UINT64_C(0x9753e3a34baf79ba), UINT64_C(0x8bb5e6213b51f44e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf9cf6dac80870ba1), UINT64_C(0xc5e976ca6385a011), UINT64_C(0x9970a9c6a2e14dc1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6042e510fcd3c582), UINT64_C(0x99167f64e02776fb), UINT64_C(0xee5b207c5eca2609), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb17706ca89b6a71a), UINT64_C(0x2f72927059c314d5), UINT64_C(0xbafdf7b587b16070), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7d1bfe75ad9ee8ad), UINT64_C(0xaf37781c96be3fc1), UINT64_C(0x36644169b62f0968), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x715d7cfbc103407e), UINT64_C(0xb2f5961370b4d278), UINT64_C(0xfbc3a166945859d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x381990d7a8187f3a), UINT64_C(0x69a1db2795575afd), UINT64_C(0x2b6ca455a12e3048), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5eca4f1ee0895b3c), UINT64_C(0x23116b574b35c04b), UINT64_C(0xb67ad9e43cd7945a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe2522d657cd452c0), UINT64_C(0x9488a761e734d5c5), UINT64_C(0xca7b6a74931d0e26), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa14ba962af0a6cd6), UINT64_C(0x5d790032b6824538), UINT64_C(0x848e5aaef8eda3ad), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x68377f7031177341), UINT64_C(0x06d1d0bef5274b46), UINT64_C(0xa8aef2bc51175982), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4dd628787c65a88f), UINT64_C(0xf00db57e2a5c7d6a), UINT64_C(0x5a2e3590ecc5e070), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xed2394addf61085f), UINT64_C(0x390694de1fa0c0d9), UINT64_C(0x520e656a5ebebf9c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x465985eb2bdc1aef), UINT64_C(0x7f4c2f7d720dfa50), UINT64_C(0x18bb19ecb2ba623f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9d813b469e25f815), UINT64_C(0xae714d83e6fcaf98), UINT64_C(0xd2ae41167e431c97), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9463a7da10457a0b), UINT64_C(0xb949e9367e8a0193), UINT64_C(0x678f567da0ef2540), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x82ed01f482861ed7), UINT64_C(0x2b178780f0443c39), UINT64_C(0x00a2b86f095bd4d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdc3eceab81c654b6), UINT64_C(0xa2e41cf402528616), UINT64_C(0xe67ad94a4906d08d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9c01fcdff9cdfdc4), UINT64_C(0xdd27b4076b0f3d8b), UINT64_C(0x303acf54f29c94bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xef48b5177a9c3757), UINT64_C(0xc44b1a39b7e3fcad), UINT64_C(0x80092591bee3305b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x03c239a34f255632), UINT64_C(0xb2c04cfaebcd5d08), UINT64_C(0xb0d3252d2f4ff3d1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6845cb03c1adf53a), UINT64_C(0xef73f2ae4b12fe61), UINT64_C(0x6a86a3e219457e5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb73e31f74cb95f2e), UINT64_C(0xa69643324d07adec), UINT64_C(0x6d3742dea401fbcf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc8a6a8c4b1b40f0c), UINT64_C(0x048eee79aaae0829), UINT64_C(0xc6af2d9385697115), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x34aced97f8fae259), UINT64_C(0x9187212525926b07), UINT64_C(0xc8ac3cb2c0b345ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfaf278bcb0ee1b29), UINT64_C(0xc24b5ad3c367c8ca), UINT64_C(0x15af2509229042c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x942018cfca696dbb), UINT64_C(0x0fda1f3c0cfa4de7), UINT64_C(0x769f0272f35e1dc5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3a5c6087317da280), UINT64_C(0x264c317185ce2d4b), UINT64_C(0x614becaa2d9e1556), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1a953b3276aa1407), UINT64_C(0x2ff963d5bb53ea09), UINT64_C(0x0f4275a76a2beea9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xea8b9b6699c1865b), UINT64_C(0x5e9383c44a998624), UINT64_C(0x5dcb99f84c5f1d3d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4749b26e0c54dccf), UINT64_C(0x811e01d7e8599b4a), UINT64_C(0xf5cb135fa0204e31), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xec9fbdeb3594d205), UINT64_C(0x766eeac625183f4e), UINT64_C(0xf12278e1faf70848), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x650cb9dadca509e6), UINT64_C(0xcb2604412827b5d2), UINT64_C(0x9b7ccc3217ebe505), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa6a5da18d51c2df8), UINT64_C(0xb4ba95e2ea4e87c5), UINT64_C(0x711ada5daf733d86), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb1114c965d9d0a3e), UINT64_C(0xe0cddfabd68fa262), UINT64_C(0x052b0693a9d07444), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x20743ed2013a6540), UINT64_C(0xfc2d2faf27ed718b), UINT64_C(0xfc21ac9af83c74fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfa74944d58fbc7d0), UINT64_C(0x3efa91de72254d91), UINT64_C(0x15ce333b6aa9a593), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9f614c2ff3a90a31), UINT64_C(0xa2a63004369c8862), UINT64_C(0xcda1c27ee5ed76e1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x20ececfd20787fb5), UINT64_C(0x6c26fd571aee8c93), UINT64_C(0xc5a56967cd5f9a36), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd7e43175e8c0c1ff), UINT64_C(0xc400618975da9d90), UINT64_C(0xd993716d67a37009), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8abcb08cf9caedb2), UINT64_C(0xd3ecd9196cdd1869), UINT64_C(0xfb8e2978f2b2cfed), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa156a789b896ae6e), UINT64_C(0x255da60b73606e69), UINT64_C(0xe11a065e83340056), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe015397a9efe3f19), UINT64_C(0xe458dbde816f56df), UINT64_C(0x5dc17ca8aa20ce5f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x31bf31ac6b0dbc53), UINT64_C(0xc266603d37537bb4), UINT64_C(0x32aefb3f5b3e1cd9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0c622c93c178658c), UINT64_C(0xc5aa8a50bae1f8bc), UINT64_C(0x81dc925e3aaa25cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf20085e57713ee4b), UINT64_C(0x4ed7ccdbe02dfd6b), UINT64_C(0x7181c1f89e0e4839), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7bddf330671fb96f), UINT64_C(0x7175afb91b084c57), UINT64_C(0xf02cb7955a275f8b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x439703ee364164f0), UINT64_C(0x4c5e30682949c0cf), UINT64_C(0x24ff32e1b3b13800), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcc34ed6cf9492922), UINT64_C(0x413bd399dc132165), UINT64_C(0xa4793db641d55010), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd94e5311ed74e02b), UINT64_C(0xf4cedaf104e8d62a), UINT64_C(0xa2bfb224a7978274), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb7730d31d55df73b), UINT64_C(0xa3344d136e495f5d), UINT64_C(0x4743cff32c8ddba2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd1311ebbcc981776), UINT64_C(0xdf44a231ea54db66), UINT64_C(0xe4e528447ef65eb9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd4703e69b57f213f), UINT64_C(0x540bf4d2da2ad267), UINT64_C(0xa1878109fa2509ec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x515ead9223dc460f), UINT64_C(0x2e32657204f4972f), UINT64_C(0x3458f1604bb19410), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf37b7b706a2cd72d), UINT64_C(0x068c9a17593c6950), UINT64_C(0x14969b2153ec2402), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1981704434467ada), UINT64_C(0x917295bfba3403d0), UINT64_C(0x9575135ac4eba572), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdaac75f765244475), UINT64_C(0x134c4ae3a234a416), UINT64_C(0xc0776cffbee5b276), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x212ed5eab78533b3), UINT64_C(0x612a5850c81ba54a), UINT64_C(0x1b482b120bd2e667), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x05a177c9509c7c43), UINT64_C(0xce54e43aea49b4bd), UINT64_C(0xd06d962ccd03517f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf5b49130b17ef307), UINT64_C(0x48e4dd2f4e47896b), UINT64_C(0xa8fb46261f770979), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xacf8449525d3628a), UINT64_C(0x7bec1477d6e5eb3d), UINT64_C(0xe9ebd6a8a1a3b54c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x26716d02c4b2d031), UINT64_C(0xfa29d80f6cd482b6), UINT64_C(0x0a32c6f08c03ea8d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x893365ef1b8f7d67), UINT64_C(0x687e63380dc755b3), UINT64_C(0x6cea7cbe1d997df6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcddfdcf0e7a9df2b), UINT64_C(0xe0e6ec24c6093c16), UINT64_C(0x79c42f2197060df2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb0972b91d3f9a710), UINT64_C(0x2a3726c2f7f0b894), UINT64_C(0xf4f045540012a8c3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x853733b89ffddb96), UINT64_C(0xa7ce771d6cecf6cf), UINT64_C(0x07f78b04076710c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x16daea6acb98e871), UINT64_C(0x98cd70ad1268e329), UINT64_C(0xc77c532b3eee9582), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc519b7843e0595af), UINT64_C(0xd0e4233d2a61e0b5), UINT64_C(0x29ab652719d1ff4d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd2e2f796c9dc6207), UINT64_C(0xee35f899bd43e4e3), UINT64_C(0x39ffcb9e51b74177), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3bcd6a76ea3f7679), UINT64_C(0x613f52e7c121fca4), UINT64_C(0xbbb1b5f0548e9664), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9f2ca62e611ec3e0), UINT64_C(0x2df1fd75ec45773c), UINT64_C(0x50f6d9f362a164ef), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x42971336c2b9ecd9), UINT64_C(0x9b661b7bcc104fd7), UINT64_C(0x327814f8d4506bec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x08828a909c1bab5a), UINT64_C(0xeb585bb393b116f7), UINT64_C(0x659865f96a46082f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8099f0a6e74af083), UINT64_C(0x6bddae66cb157bd4), UINT64_C(0xf29c7fe7c71673bb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xff78db62f5ea0403), UINT64_C(0xaa55b22e126ead54), UINT64_C(0xc2dcaab52e531b49), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x852def1943cd57f0), UINT64_C(0x40a9e1f6f8954a1f), UINT64_C(0xf7a1616c84a1dbcc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf4bcce922c084d72), UINT64_C(0x0b8f15d55d42ed73), UINT64_C(0xf1a0f86a857d88d2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe12dbd5463dab77f), UINT64_C(0xd513d31f414812bb), UINT64_C(0x2e73b08ba535c5a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8ee9b01f13df1bfc), UINT64_C(0xa3eb110143816805), UINT64_C(0x94f44d99f4d80730), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0192e2c09790a664), UINT64_C(0x3e763822775d7368), UINT64_C(0xfd065214eb0379f6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6dacad4614cbe18d), UINT64_C(0x75685a19e7e95b36), UINT64_C(0xeac12d8f1f569f6d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb6301536802815af), UINT64_C(0x476272e3ab43d8c7), UINT64_C(0x7fdb82dfb0d1a4a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3f23874430227755), UINT64_C(0x16388f3b1f8fd956), UINT64_C(0xb4d288b7a1217eed), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x130440fc96deda47), UINT64_C(0xba425d2c5afbfa29), UINT64_C(0x0fa6961ac326150f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1f01cb2ffee0457a), UINT64_C(0xe6904569761d0f31), UINT64_C(0x36fdf1a2899377a8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa921324ca375c630), UINT64_C(0x739c11d4d85fc6e3), UINT64_C(0xb26b77aa1f9cc6d8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe8bb47a0dc44fe7f), UINT64_C(0xf1217a0b2e32d230), UINT64_C(0x96025a8362636dc6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2a696306d9a41cbf), UINT64_C(0x4f8c72accaff26a3), UINT64_C(0x0aa78c4b7c2b3cf2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe3d195fd4d0fa1fb), UINT64_C(0x1aca0676cc29d949), UINT64_C(0xbaaf4112cea6de7d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1de60aa4f3e36f17), UINT64_C(0x056aa465b6d3677e), UINT64_C(0xd378514e1ce0c668), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd8e5e68d32645915), UINT64_C(0x71cb92357aae7b22), UINT64_C(0x0492a9c2120bf555), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xeeb1f8bdf836341e), UINT64_C(0xb0fcb577ca14626b), UINT64_C(0xfe240182b2c3d46d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc6eb1c03fe0bf43a), UINT64_C(0x0f879c5f1eeabf37), UINT64_C(0x21f5063113485eb7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaaa772fb7d92dd5d), UINT64_C(0xae1608c2a9f880f0), UINT64_C(0xa2756a738a1d52d1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x877c03db5498031b), UINT64_C(0xf0b212fbba2e14b6), UINT64_C(0x962e190ef31087bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x027c660518d60567), UINT64_C(0x800a3821b6b2649d), UINT64_C(0xc3b238d17e35cefa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2943e5e943febce8), UINT64_C(0x391b73d98920aeba), UINT64_C(0x82c8e5298f0b94f2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3a3b6d74d66a773e), UINT64_C(0x394e7ad11f472728), UINT64_C(0x84253c29b2ea5341), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6c34589c205881f5), UINT64_C(0x8a4d1b42bc6c5d52), UINT64_C(0xa5c17df7e97e6f3a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5c4482fda50efcbc), UINT64_C(0x633fef1a91c7478e), UINT64_C(0x274a72d09fc295c7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2858b9aa51c7dabd), UINT64_C(0x5f52cb13f481eb03), UINT64_C(0xc1dc16d7bf7dadfa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2dcf0bd0192c7a66), UINT64_C(0x7012bd9760f10694), UINT64_C(0x2775233ab16316bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc58ab34d2a9b178b), UINT64_C(0x4f4d120513a94730), UINT64_C(0x18429b6cdd388533), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2a55492ce9b76a50), UINT64_C(0xc57ed73a6e3b9095), UINT64_C(0xaf09ade78e337e30), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa1e07d85e25f7732), UINT64_C(0x56250839447c3560), UINT64_C(0x2842d5fa21a6ba3d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9772c420ce60988f), UINT64_C(0x925ac83d7cc6f01d), UINT64_C(0xdaf74967c7c03290), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xeb88686c569fb4af), UINT64_C(0x37e0b9ce8d237831), UINT64_C(0xe285e99a1329169c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb7090648593f93ee), UINT64_C(0xfaf634556babe30f), UINT64_C(0x139e73c87c48d68b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf2d640e899277062), UINT64_C(0x9c37f2d7510d2525), UINT64_C(0xd3252b1cfbc616af), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc305a195d227c37b), UINT64_C(0x409ad64864cc436c), UINT64_C(0xa7b5f0da6d568fd1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x04743c06a8257b0d), UINT64_C(0xfc8460683619c8f3), UINT64_C(0x4b2928959be0543f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x342d091b36c9d49d), UINT64_C(0x2dab878f8d05b863), UINT64_C(0x240d21be036067d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3f3067014ed65105), UINT64_C(0x1f5898890e25ccd7), UINT64_C(0xc93fe022131f0696), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x6c5559349b6d865d), UINT64_C(0xecb3e4f57344bf3e), UINT64_C(0xc8bae09ef544a652), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc0a1abc3001e2033), UINT64_C(0xa8240f494ac055f2), UINT64_C(0xc00233335597eb62), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfe7a9c4b20c5dc44), UINT64_C(0xe61f29d5de7fff25), UINT64_C(0xbfe5787fef763883), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8abde64bf3225d69), UINT64_C(0x432aac4e5081361b), UINT64_C(0x7e53a00da08a6c3d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd9e8483ee5dab466), UINT64_C(0x093ada06bbfc726d), UINT64_C(0xa834f67ae8103bc8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xbbc7551566f73223), UINT64_C(0x26117505c68ee19b), UINT64_C(0x6de20e2421ae8be4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2a4d2176e89e56b2), UINT64_C(0xe2c8c314656d1986), UINT64_C(0xf49861b8b3e5c565), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3d867d03d5802970), UINT64_C(0x648a271638615ec7), UINT64_C(0x168ca8ecd5a80405), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x307e25f5277788fd), UINT64_C(0xf200f4741babd14b), UINT64_C(0xa97d5ea1cb2e749e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcb5182a09214948b), UINT64_C(0x09f37c1d8c0c976e), UINT64_C(0x2533431418dc6052), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xabe6efcdf7c691a4), UINT64_C(0xcd4b24b7bc55ac72), UINT64_C(0x2089e750896aa651), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x14ab9afb0a424c95), UINT64_C(0x350a915d93bec116), UINT64_C(0xbef7799de7aa34ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc32f7adba4f05f2f), UINT64_C(0x41b81c22709ba784), UINT64_C(0x2a586d21b3f459f2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa4e269355f79f9f6), UINT64_C(0xfbb4b10876fbb9c8), UINT64_C(0x0288e2c4966f7c93), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4f48cc87c00eea6b), UINT64_C(0xe7acec1329ef268b), UINT64_C(0xd28a1af3c3ff099a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x89fb78acf786e3f3), UINT64_C(0x3147b196047a067a), UINT64_C(0x2251d993c919309d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe297ff115275de0b), UINT64_C(0x62e52890aa309d50), UINT64_C(0xd77c0be973aa3c77), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1dca74b2ed506e9e), UINT64_C(0xcee98dd5448d93a3), UINT64_C(0x1fd3380484fe0ad4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x916398daddd6bf72), UINT64_C(0x288e775aed7e130d), UINT64_C(0x27a0d57d3a61a066), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf97b3a112b2e0df3), UINT64_C(0xf2621d80e670eb02), UINT64_C(0x5372f132c99c2845), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x07649d049717398a), UINT64_C(0x5b6c8d7a2211c05e), UINT64_C(0x2847d600fce66eb1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd20fc0d1219b294c), UINT64_C(0x417503337b213f48), UINT64_C(0x83dd58d4871415f8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc53ffec0bdc5a391), UINT64_C(0x13fa9bd81259fa7e), UINT64_C(0x14c8b6291dc13ed1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xdb1964a166f4eaf5), UINT64_C(0xee95eb3f202bcb4a), UINT64_C(0xae2514a8f93ebbd3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x490a57219ab20fd6), UINT64_C(0xcdc2f5458fbb485d), UINT64_C(0x6bb2d16d2dbee0c3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x927c1b42a4de0569), UINT64_C(0x7a67087a1d0a6674), UINT64_C(0xfa8f71790f2390e0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x78321c3e7b83cb31), UINT64_C(0xf1cf8f15a93f5c13), UINT64_C(0xb7c50f63bbcdda00), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x98bb520be2ffa2ed), UINT64_C(0x754e9a1704a01be6), UINT64_C(0x4c4d0043587ea817), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x39f20823684c5ae3), UINT64_C(0xca78cb5ae616853f), UINT64_C(0x2bc84e68baa07ecc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcfc2b8f2da46cc15), UINT64_C(0xb931067951a8ab4a), UINT64_C(0x15c77a9b200a2756), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3eefbbcfd6ca0e65), UINT64_C(0x8954940bd0999b8c), UINT64_C(0xe85c36e790589bb7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd03dbab0cce2449a), UINT64_C(0x7112656909f29711), UINT64_C(0xf668005efd868449), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x99a0fdbd962ec200), UINT64_C(0x5f23bcdb65a428f3), UINT64_C(0xdee5a50e37d66f48), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4b35d696968cc88f), UINT64_C(0x6916681502457108), UINT64_C(0xd107620734292ca1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xa4055b75be5b3b6c), UINT64_C(0x60dddfa974faab5b), UINT64_C(0x71df008a4eecfee0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xed599edeaa6232f7), UINT64_C(0x73765c931284738c), UINT64_C(0x0d03ffb8d84891b3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x973c2aa537b19d52), UINT64_C(0xcc1213726ed17566), UINT64_C(0x43c2dd6d5e43b7b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0d084d51e7d8916a), UINT64_C(0xfc5484448f6f0f96), UINT64_C(0xe624db60b3a95e84), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x768d7a771f67a87d), UINT64_C(0x4c1e8e260a6ad928), UINT64_C(0x4bb59899fc4c9cdd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x68d7b9a4dcc2a45a), UINT64_C(0xa65378e6087be015), UINT64_C(0xebfec474cf5eb29d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf80f1ca8cca59c4c), UINT64_C(0xe69d1f5e74853948), UINT64_C(0x2c05f09c5fc057e4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0cf08ca379407d9b), UINT64_C(0x876a952ab5169fdb), UINT64_C(0x038b89cab7af2939), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x810c078046cd3cec), UINT64_C(0x2c685e98c6e4d909), UINT64_C(0x9576887fc8a8e9ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x491b5b16ac010c93), UINT64_C(0x47d88d6a4f68f091), UINT64_C(0x3e2678eaef878c65), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8c3463d9a8cdd343), UINT64_C(0xea7e3909b4939b90), UINT64_C(0x68897090f591b5d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x10feddd5af6b52a3), UINT64_C(0x770de4bc7c5198aa), UINT64_C(0x91231e340b2c8006), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1010349728b1cf27), UINT64_C(0x531abdc3b52a097e), UINT64_C(0xa1fc6e4cc7f18a47), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xff3f9f85fa48500d), UINT64_C(0x2af522c6d68072cb), UINT64_C(0xcaf0eed40d31b1ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x467f667689a7b305), UINT64_C(0x8277f40c17ce2bca), UINT64_C(0x678cb6c16a5b1951), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf313bc26448f6ebd), UINT64_C(0x7a5ed9fea2e2edf5), UINT64_C(0x98148cbd683f0562), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc24237476825f3eb), UINT64_C(0x9384c0400185e225), UINT64_C(0xe7d11d89f2369198), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2a5703b264b2d0ac), UINT64_C(0x3adadc8cd03d438a), UINT64_C(0x5f74d3b884a22739), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x1e2fbf7bbd059fb6), UINT64_C(0xf9c6fe2d648b5d29), UINT64_C(0xdec3be9e4a7c73dc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb335cc4b3e3e7ab8), UINT64_C(0xd78e7c8bcb2fa752), UINT64_C(0xfdcb1cabd1ac7c54), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x984c3710e1be0449), UINT64_C(0xa66f34dbf1dfc022), UINT64_C(0x123f00211419468a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xfdbf500b1e80e235), UINT64_C(0xb8d74fbaee6919bd), UINT64_C(0xa0c7c1872013ba7f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xeff3105fd08dcf35), UINT64_C(0x4ca16cf3937fec38), UINT64_C(0x0a082e1cd45c5f7d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x70789de67537519b), UINT64_C(0x83b88187d733e588), UINT64_C(0xb85dbb5a936f5a49), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf45b5978b2086049), UINT64_C(0xd090c839fb7f98a4), UINT64_C(0x09bc971d83044b1c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x536d6f7e2c76eea5), UINT64_C(0x1b9dd38bd581a03d), UINT64_C(0xac20da8b4f83ffbd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xaf67051a3dd742d5), UINT64_C(0xde49f88078b23607), UINT64_C(0x669ec7ef1b598185), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5f82c5503323fe53), UINT64_C(0x52feed55c91f7c6b), UINT64_C(0xf61229ef588da62e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x2d9ad45e5c7daa71), UINT64_C(0xb208ef59ea422448), UINT64_C(0x9341cf741958a4a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3ed5425ecd3cc477), UINT64_C(0x3cd686039c2c1750), UINT64_C(0x3244089a2842387d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8a8d4c9b0296e8b3), UINT64_C(0xb49d9e99797d5508), UINT64_C(0x49c977e734c5b6b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x9f24e9a571dc24b4), UINT64_C(0x35d027393ef5e4aa), UINT64_C(0x2051672668c6f3ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xcff48868fb4668ed), UINT64_C(0x7e786531b7d01399), UINT64_C(0xd1a5c0d64456e892), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x538e521f6aded101), UINT64_C(0x166c85e96efb61db), UINT64_C(0x22337634d40d8c9b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x545474bad8f12e13), UINT64_C(0x36037f01b73405bc), UINT64_C(0x54297cc231da5ab2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0acb6ea41f7db378), UINT64_C(0x41eb9f98c4777940), UINT64_C(0x5666fc4523e2de8a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5c6839a67cef7eec), UINT64_C(0xdafe6ac4e7bc9b61), UINT64_C(0xfafd40482fa0d37d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd19b77971af31f43), UINT64_C(0x57dc8c6018693569), UINT64_C(0x077d3b497592349f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x3c410b592d943573), UINT64_C(0xc9eb7bed34dcf8a9), UINT64_C(0x113a05934f45e29f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x30b8e0aa008d299e), UINT64_C(0x0f96ad1f5bf234c3), UINT64_C(0xc75d93a5267cf304), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x18503985afb02b2c), UINT64_C(0x28a7dba58b3d7260), UINT64_C(0x9d0252808cdcc061), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x127345ba64889f6e), UINT64_C(0x5eaa665e298650ad), UINT64_C(0xcc8ffe933535a15f), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t Li_1[] = {
{{ UINT64_C(0x934a3821903ed93f), UINT64_C(0x0c26b4244b2501e8), UINT64_C(0x93e4285150f7a551), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x7021de0823f03935), UINT64_C(0xcadc055074c283ca), UINT64_C(0x027b4f12c3c6410d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xe6510b5c3d483a7e), UINT64_C(0x707dc683fb711029), UINT64_C(0x04deea10aead9fa0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x06ccd2a983915e85), UINT64_C(0x2ee25851ad5b2e39), UINT64_C(0xa7d21294fd9f2bf5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x36f29523df60300d), UINT64_C(0xf2393fd5a89cec90), UINT64_C(0x6225001ecb54d10e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x794b2692d5464b65), UINT64_C(0x16047eecc52ed347), UINT64_C(0xc144a19c871be934), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x4a06c49861a321f6), UINT64_C(0xc7a7df6c7c9ac20b), UINT64_C(0x89ac9b0d65562760), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x233a2974221564ca), UINT64_C(0xda44cdce7800bdde), UINT64_C(0x8a0e8f0d068b4320), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x5145a39d82b3413d), UINT64_C(0x19861b539b604f31), UINT64_C(0xc5603ee1f10de49c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xf136d9fc684ce0d8), UINT64_C(0xa7f3464c6e057d5c), UINT64_C(0x9c0eaba1747a9c30), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xd9cef1a487c92a93), UINT64_C(0xdb9fe50485874d31), UINT64_C(0xfd088f957375b06e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xb7f7f030f6d8c6cb), UINT64_C(0x7f7ffdb8c70b5053), UINT64_C(0x4e9f79bb0d7dfce6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x975efa84dafbade5), UINT64_C(0x6d158c731ec9e9f1), UINT64_C(0x4fcbe3827ba7a485), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x96ad0869b0828572), UINT64_C(0xcd84f289c81a6f16), UINT64_C(0x4348fe8e245824d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x75310bbf692d0265), UINT64_C(0x3eb9a3b61f161c98), UINT64_C(0x7310972111453ce0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0xc5e82a43615b81f6), UINT64_C(0xb9a6826c44c63893), UINT64_C(0x66f04af52c9da086), UINT64_C(0x0000000000000000) }},