-
Notifications
You must be signed in to change notification settings - Fork 26
/
lowmc_129_129_4.c
2771 lines (2748 loc) · 338 KB
/
lowmc_129_129_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_129_129_4.h"
static const mzd_local_t L_0[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3ce84e7dabb1b5ff), UINT64_C(0xaec0e87f5ec44964), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc078a98402182027), UINT64_C(0xec4e502c9f3bb861), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x94e95d5a34ba6673), UINT64_C(0xf1032011bc5271fd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9f219fa5b2183cad), UINT64_C(0x18f467e8fa3a7db9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x345b7773ff5dd410), UINT64_C(0xddd9f523fb9b7744), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x25fe6cdad5947231), UINT64_C(0x08863f9ff3f7e80e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x98f97dabea94fa06), UINT64_C(0xccc560fac2bfe3c6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x11596edefa9975e3), UINT64_C(0x2b6a07c059cb7d4d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd9428cb979058a27), UINT64_C(0x7c5e5f89d1e17b10), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb3765b74c789353a), UINT64_C(0xbd8eecc3811485d2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7d5aa6736d18ff00), UINT64_C(0xf9d3cb84f0112752), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xca3d0bc87f5e7fd0), UINT64_C(0x57ac12947834683c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7b24e6d014c2ea45), UINT64_C(0x10d195039651474f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3120692c6341e6f6), UINT64_C(0x4cb20fb8e1ae9d23), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x389c93e13a4c80fb), UINT64_C(0x5e5ea823be7c5a67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1ebf241cfbf7fa3b), UINT64_C(0x7cc9036d28ae78d2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc39c1acf58331b7a), UINT64_C(0x032a2570823ce9a3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x57ba051453d404ce), UINT64_C(0x0172f9c1bd25d7d0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1fed17d3ffb045df), UINT64_C(0x90683be9b5f3cb0a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x653fb557f3fac02c), UINT64_C(0xaea7a975c8d2355f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6068491d340d401b), UINT64_C(0x615b682fc38a7af9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x92965f1d1a7ab07e), UINT64_C(0x4aacf92bc689228a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x05f22f74db2ab7ab), UINT64_C(0xa44e66c6f1578378), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5fe486f29362fd58), UINT64_C(0x85faab0bdf422303), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6937f2bc5ae1c769), UINT64_C(0xe65161fa8f6b9cec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x06482950e024b1a9), UINT64_C(0x660f2b94775d743f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8cec7caa2d6c7feb), UINT64_C(0xb54e8ea2b9e6a6ee), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7d7adfce7d89b6f1), UINT64_C(0x25f2d2db267f2853), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbad518172eee2e29), UINT64_C(0x1e9daf3b6b64f446), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfd50830a1d0e24de), UINT64_C(0x7be028528985f048), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x71e928d36e2b9162), UINT64_C(0x4396c1062f3d12a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xbfd040ed7d83c401), UINT64_C(0x50fd90a3e2445496), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd5986d7ca41cdf3c), UINT64_C(0x3d76cda440b391ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x251b1ec5caeea7df), UINT64_C(0xd669f18ef0df7830), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x26b867b432b23b5f), UINT64_C(0x810e27191824cde0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf3db70e69d0b387c), UINT64_C(0xbd5ffacc3e974b55), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa8319530aa249b88), UINT64_C(0x6de9971caf13d68d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfd46f97892429a40), UINT64_C(0x77d98889750b8c18), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1cc85f83a4df201a), UINT64_C(0x8adfcb5e50bfee13), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9dc8626d3e569d7c), UINT64_C(0x22afd19b4b698363), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x63edbc1e006b30f5), UINT64_C(0x0dc35e3d9941bc67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x94fdf3a79b8e599b), UINT64_C(0xf55e44a12ead44eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8cb28212b7a1f815), UINT64_C(0x2277eea693ec2727), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4ae67cf4a7c2b4d9), UINT64_C(0x96e5d345c52e56bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6520270493a540ed), UINT64_C(0xbdd3428053a5e0d7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x98656939a08b2fa4), UINT64_C(0x9e778534391a6324), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa1d08ddf93112afd), UINT64_C(0x889a8f57cffecff8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x21a6acb897cf259b), UINT64_C(0xf3ad663e3eabeb77), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7280d76dd4efee33), UINT64_C(0x57343410c42ecac0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x197c451d387404d0), UINT64_C(0xa49356b201b2d8ad), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9e660151b1f61296), UINT64_C(0x1ea916eefe18bb74), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x710f35ddd5534a5c), UINT64_C(0x5472680ded63ebc3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf3119f3c374c6213), UINT64_C(0x546a3d56be418c02), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xdf04f6f8afa92cb4), UINT64_C(0xe295c4dbc7b2917e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0de33bd75267dec3), UINT64_C(0x4a8db76e7991f430), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb14fbe2cc8b217cb), UINT64_C(0x142107cbfc54c638), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x255ade612f0c7c94), UINT64_C(0xd31b2e3597b7f2be), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x516afdfa7d844498), UINT64_C(0x74cb2248a3744b32), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5c0abd476b77ba0f), UINT64_C(0xb9ed4ea50c1c7fb0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xaecea8e3846a6378), UINT64_C(0x5ea3aa5232a0a7bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa7779214dc7678df), UINT64_C(0x9f7cb662b016f467), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa53b3e69a322429a), UINT64_C(0xac0943723a3bae82), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6493abd10153823c), UINT64_C(0x81570f947ba98947), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6b89f4800346cd3c), UINT64_C(0xca628948e34accc8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xea024683705b1234), UINT64_C(0xf038c21f4b6e6c20), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7f782ddd16762e40), UINT64_C(0x27c50127685456f7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb5cc89096da24c9e), UINT64_C(0x52576373fcc3d92c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf4379241e68fa9bb), UINT64_C(0x6ea2fe249464a377), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x921ca2d9acd77a52), UINT64_C(0xe2620517056a92ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x441b9ce3edc22393), UINT64_C(0xb6037dd251709f6a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1849ad6c333c4c83), UINT64_C(0x0387f8d654da904c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9a91dabdd7833204), UINT64_C(0x9113054fad179de8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa4216abc4784f565), UINT64_C(0xfa833c3f67e0d515), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6f7c1108c4573a08), UINT64_C(0x442e8536adb16f08), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9a4dd79b33cf0c3f), UINT64_C(0xf2fc0ffbc42402fe), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x4fce226e5456b742), UINT64_C(0xfe7f33293d3e26d6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcd3802d8630b89c4), UINT64_C(0xaf04c689a7e7bc9c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9b553934cab99c71), UINT64_C(0x40e2d43956d7f5df), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x2b547b2e3596f613), UINT64_C(0xd66dd5a0c640fe05), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd7c2c22eac5233d2), UINT64_C(0x0cd1eb14d44d5a40), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5648c9d446d2b40a), UINT64_C(0xf5f346f9cd1a4d99), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf9451fdb23bae890), UINT64_C(0xd342660b90e5f309), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8839f71fe1b14e63), UINT64_C(0xe197030c657bcba1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x295a688d94560784), UINT64_C(0x357449db14b6ae4e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf7baf51f472e45b7), UINT64_C(0x49f9dc100e3c15c6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb63afdfcbe2fec3e), UINT64_C(0xd577bef734cb9f06), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x657dd512d63d3f8a), UINT64_C(0x11a1f09b9938f61a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf13653e08b4dde50), UINT64_C(0xaba31c2a28cc0b9c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd28da1f16b07e5e0), UINT64_C(0xe58c5d9211dccf92), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf1611a1e8801ce19), UINT64_C(0xf38cfa7b748a4489), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb6efa0b5f820610b), UINT64_C(0x717f03904806d3a8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9840ac1c6013517e), UINT64_C(0x7e8b2306d14574cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x390a04579fddbfb1), UINT64_C(0x47da6f3037e5e352), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6e755b92fdb76541), UINT64_C(0x96dd0897a493b59b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x03080869e70c9871), UINT64_C(0x822e4ae943cd8781), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf8c1e3a7d7be233b), UINT64_C(0x2b9bfec6f11888ac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xfb4992f884ae1727), UINT64_C(0xa0332bc1a90855c1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb4fd59abb82cc3c0), UINT64_C(0x1052e27c1f68ab55), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd8f1824124ce4c42), UINT64_C(0xe4cb8963794d976c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xeb47b61f5dafaba6), UINT64_C(0xe569658e2efb8110), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x04ddaf7f036c6f8a), UINT64_C(0x756d62358d799646), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x34ac6d74190ec51b), UINT64_C(0xfc744e9442b2406d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x66832d9fc5cf68c7), UINT64_C(0xc6b4e4ccf92bdb7c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5bf2816e9bd7b5b2), UINT64_C(0x6aecabc4fefc88af), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x40f5d7fcf195b646), UINT64_C(0x46d6f83f146ba7ce), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd957bc3d3e39dda7), UINT64_C(0x7eaa8043f3340eb0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcc25a46dcef6bbcf), UINT64_C(0xcf5a56e60f7c3f6f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8b886976e80312d1), UINT64_C(0x5534b41d91db5cf2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7530ccb28ca0c16a), UINT64_C(0x0638d2b1cd3840c0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x94ff36e2f2d3828b), UINT64_C(0xb179154cafe9cc6b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf2552f9be9597eba), UINT64_C(0x0e896342fd7cd2b7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4fa14031cbb27647), UINT64_C(0x55d95dce1ca5a801), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe833cdcb0f06fbc5), UINT64_C(0x6b98d220b68caf0f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x94b2ba276d52a3de), UINT64_C(0xd5dd687ae1d2fb9a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x53568899bc81a69a), UINT64_C(0x357158a82b2bf4b3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe9703a38eb26fbdc), UINT64_C(0x6c87e8e9195dc601), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xca76ff3a6be2b522), UINT64_C(0x60c818eb612d35be), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc97c7fc2fd9a9b42), UINT64_C(0x1d9415828b5ca4cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3c14d8ffe66b0490), UINT64_C(0x29435b61c6f51640), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x59a22fa22470b911), UINT64_C(0x80f584ab802cebee), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc3804efce51bdb5a), UINT64_C(0x83e968933b107f0d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x50c90ef8a14ac6b4), UINT64_C(0xa3b27a650d17df5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xae5f5e968626eac2), UINT64_C(0x3d5bf2817b0f314a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4f3b6e56670f4ed0), UINT64_C(0x6ffec5f655a3b721), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7cb317cd8c865593), UINT64_C(0x0c0335bb9437dd80), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x44c4b55d66e7a850), UINT64_C(0x990e8e4b54733656), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb40b385f2488db4a), UINT64_C(0xa04edeff6ca24f0b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0b8d7c1a883e5a66), UINT64_C(0x3172588a74cc21bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x533bac8bac6811b4), UINT64_C(0x561eaa155357a696), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t L_1[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8fbf4fdaa498b991), UINT64_C(0xb356831a047fdf3f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1a7dda5e0d686cdf), UINT64_C(0x04dda133221492ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7bd38c7eaf55a38f), UINT64_C(0x8c45ff8673c1ed10), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6d9d278201633ce5), UINT64_C(0x316ad778a3a2a016), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe208b3c8ef9db3d6), UINT64_C(0xc476dafa104f536a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8d9e20dc810d19a6), UINT64_C(0xea4527d26814df47), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf842b8acff6c4002), UINT64_C(0x6e0fb4451c03c4b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x48ad9f8d638f0f1c), UINT64_C(0x70938741d20a136a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1f7f89ae1276f036), UINT64_C(0xe0c6b17fdd8ccd7d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5474071fceeb571c), UINT64_C(0x6963ea530d683a93), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x741826e19b657b7b), UINT64_C(0xc6207583089a96eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x34d2db60d6cc3484), UINT64_C(0x2ba7803f350195bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa18416dba0e24f8a), UINT64_C(0x98871be4b344e936), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xec4bde9dc0dfd275), UINT64_C(0x2487d9bfcf6b43eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3dbd99e09b5746e8), UINT64_C(0x879ac415d20123f0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x25a8138d34b6bf32), UINT64_C(0x468d960e39a9e373), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb430d42055840004), UINT64_C(0xbccc18cb8b3ec0db), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xad75b3be2f3472d6), UINT64_C(0x7446565294e54489), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x29776c863dfd69d1), UINT64_C(0x034cffd1986dff7f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd41328d5a4e9a747), UINT64_C(0xb64895f0ccdb5554), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x100ace29343ba237), UINT64_C(0x1e2b747b85f644a2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0c42f157d175d87e), UINT64_C(0xe03b9cf56f683231), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6720a0566660859a), UINT64_C(0xe7b30da2ef365220), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0428fc778aafaae2), UINT64_C(0xa577ae8e576827ac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc750cbbf1291c47c), UINT64_C(0x643d1d9a3396a9d1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x50ab1a2b090e3bf4), UINT64_C(0x5baef880af4c693c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x34b9e856bad58732), UINT64_C(0xc7a3abc6675f313c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6ffa6d88cab5ae1d), UINT64_C(0x095f7616d6c5a416), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x201d38cb89e95be3), UINT64_C(0x714ed01e54e1db9f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0f2492d8a79681ad), UINT64_C(0xc0287b83d3ca0361), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x86130fda9cbff84e), UINT64_C(0x558ff1ded80b20ed), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x38fbbb2cdf14c312), UINT64_C(0xe54ca037bc4b86f9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3613fa9c506c3d30), UINT64_C(0xa10f446777016f1d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9460354f6f598a98), UINT64_C(0x2228d625539869de), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x20037999222c5e93), UINT64_C(0xae132ef032a9408b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfac31bfc7f16fd0b), UINT64_C(0x93e0814233d1a0e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3f7cec8bdfc340ab), UINT64_C(0x9b48bbd4f574a074), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd7f600ec4b92ae8f), UINT64_C(0x12d3ed549c9cc495), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x79e56fe68f7e3452), UINT64_C(0x91b22e1e7561c95f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0a41a8ad886774cf), UINT64_C(0xe21a28ced2eeded8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xac43f732475dd88d), UINT64_C(0x11a8736f52013f7a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb2f65ad0d15a10d7), UINT64_C(0x7fc669efd16d3557), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x05724bb9244f53fa), UINT64_C(0x8f6acf2c26f32c67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6404ded7110032c7), UINT64_C(0xd01220ac0d3584bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x602ef1465f8ee328), UINT64_C(0x4434579d6fc54918), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x03edaedc858a0d01), UINT64_C(0x3afaa8d9926a5ef7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3a23823fdc223874), UINT64_C(0xf16c6659299b771b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x64e50a47ed60a886), UINT64_C(0x722191b902a22db8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd86658b5f99a11a1), UINT64_C(0xf3343739df40ff5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x4b5f291ccb4da2f1), UINT64_C(0x1beee9bb50419905), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0c6f9d6775869d3e), UINT64_C(0x2b22665444ada553), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5790dbfe07086021), UINT64_C(0x09e1424284146f2d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfd5c192449fd5607), UINT64_C(0xcf57b455867d90fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x138fa5529b92f280), UINT64_C(0xf72be2b3ef95897a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6b0850fbab4cbd3e), UINT64_C(0xf64dea7ef12fcb24), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x22ededbf5422b909), UINT64_C(0x3b0511bc0d48fb20), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2f06233fca8c13a0), UINT64_C(0x26e4b27784e50afa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6f86e780cf982fe5), UINT64_C(0x02549a77f3f20724), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf837a359a2b199a0), UINT64_C(0xac580766a4951df1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd458cba7fe587579), UINT64_C(0xcc72458e5703ed70), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf13b8434285f302f), UINT64_C(0x637a04d8d9526772), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x2e4fe24f4cfa63b9), UINT64_C(0x6bdd33d8d4ec8249), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x81f9901671c23b65), UINT64_C(0x9305f8b35ee203db), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x441e04fd7e1667c5), UINT64_C(0x7ad47eb362d60f19), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x008004ccb68a8def), UINT64_C(0x14beeaa42e1bbb3d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xeeedc323047b613f), UINT64_C(0x0fa17d447921b1f8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x2388927503dd1ba7), UINT64_C(0x11f1202b6f44219f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfb37c96c546b74fa), UINT64_C(0xc304b370f680cb55), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x32bf5ec87d31f6c8), UINT64_C(0xb7943f7d51a4b280), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9fbd97e1b3b9ca03), UINT64_C(0xa411f602821b01a4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x16bc07cc4b199a64), UINT64_C(0xef98da59a80d6a3a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8abf59ecf2053c94), UINT64_C(0xa205f0caf4161f84), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x541990eaa1467155), UINT64_C(0xe91dc4e39d07fd7d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb573d62f68e44d73), UINT64_C(0xe2d3ef0172c2944d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xca82a0840caa0efa), UINT64_C(0xd4b0c40669622bd8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf636d7b97f436ad1), UINT64_C(0x4600b6e87300c002), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5cc3b0290da8e13b), UINT64_C(0x9386e4b31874c7b8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1ba0bf0538568e33), UINT64_C(0x61209f197f288c61), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe13bf3bf055afb19), UINT64_C(0xd5ef12dd27b8c0eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc83d513a476fbe31), UINT64_C(0xc6962ec7f5ca1d15), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8252805f9d3b1ba6), UINT64_C(0xae360fdfe2c04e5b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x670a948e0fd30b54), UINT64_C(0x1165fe81995aa735), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa72a68af4f1fc5ee), UINT64_C(0xea1f5d689ef48b48), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x591f3690458a5443), UINT64_C(0xc52d2bd379ebc4c5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1b2f97be4704f7a2), UINT64_C(0x4879653fafa1e061), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf1606c0c68a68540), UINT64_C(0xc60867b05a7bb94d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x391e41838f86cb98), UINT64_C(0x6b4e32ff23965d4c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x402345b1bf7132c7), UINT64_C(0xfc0829ab58982d0b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4b6a93368ca51360), UINT64_C(0xe2851041a975d413), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6d920389688c1197), UINT64_C(0xa1bc360d36f50a07), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd64fe8b007e3690c), UINT64_C(0x044708298accb812), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc78ff1f378397f7d), UINT64_C(0xcdca74f3b6653ad8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf64ecf26d763bf46), UINT64_C(0x6cc38db683c4a949), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf1e0259da814e43c), UINT64_C(0xd6778f9fb7942ef1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc6bdd879be01b83c), UINT64_C(0x559feff760b31caf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcf6784bfc50a7922), UINT64_C(0xd9a9972a71504c72), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x29556e0c79badd9b), UINT64_C(0x95fab6c856ddcd63), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x214acb1c9023b29a), UINT64_C(0xbcf3dbc50f646fd8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x524a0f756f06f805), UINT64_C(0xbd608f7a93a50865), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xace304eacda9c30b), UINT64_C(0xc0d2ec1af320f14e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb75f0dd19161b2c2), UINT64_C(0x5569154e8f797611), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd1083af7412eb1ee), UINT64_C(0xaa2a2b4a6cfd2517), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x40f3ebff77ef4205), UINT64_C(0x2cd915ab2ec6cd87), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xcce25e3617a7b602), UINT64_C(0xaf1694a3d75e93ae), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa41c4be98a16f7d1), UINT64_C(0x215ca4a3f15ddb1c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xaee54391d5a9130a), UINT64_C(0x7ee01ea676bc6319), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x232cef02e62c1d4f), UINT64_C(0x6cf3cd86dd781e32), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x75bf75285be31f6a), UINT64_C(0x1974e0f53b9c243e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xbe05c40153748d08), UINT64_C(0xaf6aa4ec77be4c83), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe1ac189020f942df), UINT64_C(0x29d66d2fa54bc72a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xfce173026c78912a), UINT64_C(0xd4d368fe7948a070), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd6d2b075b563a147), UINT64_C(0x39da28065e0b6613), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x291b0e3772923421), UINT64_C(0x6ce8745dd3b3575a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6ec2e06cc038b09a), UINT64_C(0x87973a642aeddd21), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcf8aadf6d2c64a08), UINT64_C(0x2d64942dfa2ff77f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9c7acd781852df01), UINT64_C(0x6d73e6fe200dd56c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf720f7657a041f20), UINT64_C(0x98e93b706d3ee452), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x682429b5e3bd49db), UINT64_C(0x52301363d6cd0702), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x816e524b9bf4b9cd), UINT64_C(0x69394f8b85b4714e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xac413254fb8433b4), UINT64_C(0xf62539a152e999cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x821b0b7006b5276e), UINT64_C(0x4e34de874f47d18b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6687e2ae53c1e136), UINT64_C(0x8b85ac5f4239160c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbeda852f403e8d92), UINT64_C(0x14dc10ed162c6ae2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0eb7b7423a922fe3), UINT64_C(0xc3f51811e686cd73), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4239f5dbac0d669c), UINT64_C(0x4e131717fc53cb2d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd0967d90e54a26f8), UINT64_C(0xc0a99c0e99ac1c33), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xaa0a1dffe91cca5e), UINT64_C(0x3158c400ce760e92), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0d6c6eccb3a61f97), UINT64_C(0xed927b95dbd9e7d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5f7c915f4bbf9952), UINT64_C(0x78701574faacb626), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t L_2[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe657c33ebece05a4), UINT64_C(0x7f10363963225fbc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb4a71ce9d6295b54), UINT64_C(0xa989acd6502d9127), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe4c4d6566f88e932), UINT64_C(0x448a4009d9987bc2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x157018f9f3cfa2c7), UINT64_C(0xe2acdadd1e47492c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5b670a61731475dd), UINT64_C(0xcac5a79f43d4626a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd8841b91a406b5ff), UINT64_C(0xd95f5bc26b15d258), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5d2c255653d28092), UINT64_C(0x9b512f754f776205), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3c50ad9a90168826), UINT64_C(0x130121871687ba9d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf6133cefafa51b6f), UINT64_C(0x081c61e887debefd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb5efc7ca0e187566), UINT64_C(0x093c833cdf12b33e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x347232fd210af0b1), UINT64_C(0x7590679bf6755d17), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xde0f75ef49287b3f), UINT64_C(0x203a2ddebf729f3a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x10914b7ed06742b4), UINT64_C(0xbb3b3ea829be828e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3c2c057e2184e1b1), UINT64_C(0x9725116983173417), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x49ef91cbf7a69834), UINT64_C(0xe5e1e867c74ed00f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x65ad5692573fd5d1), UINT64_C(0x734f984b112ed57c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x490c90aef5b2f15c), UINT64_C(0x6b78a4f9f100a3a1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x67919e8f994d7b99), UINT64_C(0x020fbfb991cd01a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5edc4b9280f4d11b), UINT64_C(0x7afecabc964505fb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x610f9506f9fa7f59), UINT64_C(0xc9acdcfc10d82111), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbfd5c27772772934), UINT64_C(0x7fc87d1f1393cb6a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5ab36681976900ce), UINT64_C(0x2c4998df08a7162e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xaad2e0643859d3fe), UINT64_C(0x51f9c587814bfadf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x301bd71c371d6b89), UINT64_C(0x0d0b4c5eec3d4f3b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0a7be01124d2decd), UINT64_C(0xaf43f954a9ea6365), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x476ea60b3725a0dc), UINT64_C(0x6968fc9067dd1bec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x520f4561881e5b55), UINT64_C(0xd9018e66a1a038ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x917476c4b20cb98e), UINT64_C(0xa455a6bb94a24550), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd56aac0b0d835b5b), UINT64_C(0x817f228cbd12cbc9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x86c68aede58f7015), UINT64_C(0x0cc7a43a280cef0c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6bd399f86b433ec5), UINT64_C(0x79f3d801dee9a11d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5207dc5435be17db), UINT64_C(0x1aa893bf2490baa7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x53c99bc7bc7f1af0), UINT64_C(0xf2391ea40f975069), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xfb0baf9a48775685), UINT64_C(0x82e46545344c80b3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9fbcc792b7bc560a), UINT64_C(0xdc81ea9f5347f6f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb65e97756959d223), UINT64_C(0x35b4a49c5b9a6a96), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x530405d35d15e58b), UINT64_C(0xcf1f946a4a485352), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x417d489267b835e5), UINT64_C(0xb2e92c3256ef7613), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa52f731a400c1b3c), UINT64_C(0x1807a09736a45b4f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcda695f65e4d5346), UINT64_C(0x6143c8082fb868bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4bc9b6a11319026f), UINT64_C(0xf982d2afbc608e56), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x12bfdae5e0cd6788), UINT64_C(0x13fcbfcb631fc124), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2e57e93ac2f29f8c), UINT64_C(0xcec70bbff88ba0d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7ad6847b960b85d2), UINT64_C(0x6fc2b216207aa97d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x99c18d6dff303cce), UINT64_C(0x112676250624cd05), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1c4d8db9c63b9ae6), UINT64_C(0xfcb2d8fff23bda26), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9732fbfd6a759be8), UINT64_C(0x0894cbcabfa6d2d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xbf5bc3fe16cedfd1), UINT64_C(0x1041b7a3ff39560b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xdbf686d2dd1f2258), UINT64_C(0x01503145bca2505d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xfa7c5115d5b95c3a), UINT64_C(0xcd20ee60919ae963), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0c98be1bf6aacef2), UINT64_C(0x69b4a2b60aa026fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf0a1143607ce2b01), UINT64_C(0x5d7c61f993c5143f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0c8f2475117e8b12), UINT64_C(0x75bbbb44b28097f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa0b87f6bd339c223), UINT64_C(0xb80f11a52ee05e7c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf66696abdd802227), UINT64_C(0xee2480b0b5aba489), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0b0b7ab1f4eb9c0a), UINT64_C(0xc56c7a428b1441af), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1e0f6e194933234c), UINT64_C(0xbb19e21af94c48a9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6483b4daec99df35), UINT64_C(0xfec1df03b6896785), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x32e1db82edda2624), UINT64_C(0x0d31f006c29cdc8e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x562f93be4f47ab2d), UINT64_C(0x9293fb2993299f3c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xae6f0e0cfec7ba8a), UINT64_C(0xa922e816c2b366a9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x48d0bae9af6e168e), UINT64_C(0xf2d426d97fff4530), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8c4019b1b143e7fc), UINT64_C(0x89695d18a7300a43), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7bd02c8a3b71b517), UINT64_C(0x284e5c29fec8a72f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x34044e2fe4e21df2), UINT64_C(0x33fb1a76525c63c7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x79f12e3a5a30343c), UINT64_C(0x4525b7be5b311806), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x39293fff0b4f294a), UINT64_C(0xb444a7324cf1ce6e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5e2ae4918def302e), UINT64_C(0x2ddd52ccac8d052a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x00e493c221e5f1c5), UINT64_C(0x1c7816599b2112fe), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3513384e3a241291), UINT64_C(0x4b41587c8bea87cf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x56a79839905bdaec), UINT64_C(0xaa3dfda469ce9223), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xdf45984e24042e5e), UINT64_C(0x36fcc0c2d819d0d0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x756a6929cc0ef1a7), UINT64_C(0xebc62ce4f6a2cb80), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x53f76d507e8348de), UINT64_C(0x30a4fd57af000cf1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x30b5abe4920760c4), UINT64_C(0x017e68d780b8bc0d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1cbf70166e02d5f2), UINT64_C(0x5ad4e662eb1f7034), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcc0a93967b1a73ce), UINT64_C(0x69749273458f81a3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xaa72311aac5a24f7), UINT64_C(0x57cab18808d2dbf4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3d78590ada7233b5), UINT64_C(0xa2c06b5101b047de), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x05f4900074a2a7f3), UINT64_C(0x5b249a223a506035), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5d4746c9e96708bc), UINT64_C(0x2cb83751dd15a484), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1daa72b10dfe00ab), UINT64_C(0xeedfab119a909fae), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe547864dbe9dd1cf), UINT64_C(0xb2225b7d01987151), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd662827eb8f76367), UINT64_C(0x86f0db9233873ffa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x2006865c9ebb3f2e), UINT64_C(0x1a931fabffbf76e2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xac7ddf4c37c7d74e), UINT64_C(0xa52c0f87f035a1d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd196da8d197274e5), UINT64_C(0x8d39188ccc24e2bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe645f6cac2ae4b9c), UINT64_C(0x502e0ae838f1cd0f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x42aa219b85e13771), UINT64_C(0x3b56d2666751e7c9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1e201fc3303cb2e4), UINT64_C(0x45ac8dfc2c69a5ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x96c961aed9da0d24), UINT64_C(0x73cf8d8d28863a68), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x031fc8a1784da19d), UINT64_C(0xa19f39626e16cd21), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0cd4d70acbf886e1), UINT64_C(0xd1162f8780d46620), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf158c24b763983d0), UINT64_C(0x53a015f08e580a30), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x488521d1cfb54a54), UINT64_C(0xdb5e3d740ee9cf0c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbf7a06857463411a), UINT64_C(0x112fc82d86927b99), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x12b795ae9cadd8d1), UINT64_C(0xa38545a723d39901), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x87b33e7f9603b92e), UINT64_C(0x644d5d328c39204c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5a10fd082b5bad2b), UINT64_C(0x939106cd29a514e1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb70afbb17aa3547f), UINT64_C(0xd777fe6b44a934e0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa0f969c45371c07d), UINT64_C(0xe3e912ae290eb532), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7ed9991777f79bba), UINT64_C(0x98c09a992f8b832c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbd72549d6e2350e3), UINT64_C(0x9d53f57c258b8114), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc2d816ed1c33cbb7), UINT64_C(0x7a6007a58bc3ae4d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x92eed4e752d417a6), UINT64_C(0x720f868c090c633e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x14994e7dddb4fb42), UINT64_C(0x568825a33b83b5f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa03097c719d713c7), UINT64_C(0x586348d2cf2108a7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe844780f1ed1a211), UINT64_C(0x74d729beb21d0c2d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xcb749a3cf71f9e88), UINT64_C(0x24a4eda094c93d35), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x606e34978e252a0c), UINT64_C(0xb469c36b344af8c5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc3cafc697bc253ac), UINT64_C(0x8108d414bcf53c9a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9ac33dd419ea5a61), UINT64_C(0xaceee65dd7e3d96b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9e08c13c939a15b0), UINT64_C(0x5b9cca5823dcd2dd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2d43002af8f25eae), UINT64_C(0x67220d22c12e3df0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x97881801a2b56fa1), UINT64_C(0xde2c92e81354ccb7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x22cd5e85872519ec), UINT64_C(0xa8a49d7361eb997c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xba8b0a0b4532e641), UINT64_C(0xa94590372ef794fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc78d0c8f21cba731), UINT64_C(0x5fc24ffc44779c5a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4c9b370afc5f5642), UINT64_C(0x462ba5bd607c3209), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd099a03e966caa1c), UINT64_C(0xe0cee32eb80de9c8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc58f95ee4c51f3e9), UINT64_C(0xecf3157c218e05d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0af7e39ac190fed7), UINT64_C(0x31db52cb832228bf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf81fc1d38ea5fdae), UINT64_C(0x1f4d19c1e8b50d96), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0aabd349d3a1b659), UINT64_C(0x3fa963f0c374c3d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa0d371cb8cd7a224), UINT64_C(0x74d4905df8c8500a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8ff3b0e09efa7622), UINT64_C(0xd515f1b689658424), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x73b8d91826061da6), UINT64_C(0x352b55b4809e5d0f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x25cf9528fda74b0c), UINT64_C(0x5ceeac4c1aa198ad), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x716e31b6a0dae741), UINT64_C(0x1e7e9f80b9f15813), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t L_3[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0d1df2efeb111aaf), UINT64_C(0x7996850307bef0f2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf197b7ed55baacae), UINT64_C(0x2bbaa267f09b460b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x52ce61c3310e747b), UINT64_C(0xd144605de0dbff40), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x2364631f20b2df59), UINT64_C(0x2156424640f53554), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x55acd652edbe14ad), UINT64_C(0xaa7809a86063f9ba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xdf9f0bb7b51a4511), UINT64_C(0x7ddc05ec6befb051), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbed5291c9c9f7c52), UINT64_C(0x02465c181d7266c2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3b2160d06537c5bd), UINT64_C(0x8c06ee29db89e269), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc743c729f4bc1f55), UINT64_C(0x076abf36dfb1883b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xea167801ce296244), UINT64_C(0xafa141b7e67ff727), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6b41c68408408296), UINT64_C(0x6e964b30645e04b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe66199858b97c7c6), UINT64_C(0x748bc8e6df396d71), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9380f0eb4c1e6540), UINT64_C(0x3c604ccdbaeb3cdc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x41c451b7ad419da4), UINT64_C(0x0e403fd09f823323), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x43924dbc82c8964a), UINT64_C(0x7f56ab7ae4f4d47a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xdc46aa8e273154ec), UINT64_C(0x50e906c9dce7fbce), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd79a93023a9374c0), UINT64_C(0xd4507d7f0d0a312d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x37217c18b446b1df), UINT64_C(0x0cbcdf594ef4dc13), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf5f06523ca5c3bdb), UINT64_C(0x222c1ef484b6c8d2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xdba015771514777c), UINT64_C(0x2efa0c014e541c02), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe0d80c9fde2ddfb3), UINT64_C(0xc69df6eee63462da), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xcb2796b31b69feae), UINT64_C(0xe551b6abdd3997a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xeefc8a2e51f56347), UINT64_C(0xd4c6e1df7e97e66f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa5ec40c2373cd444), UINT64_C(0x4f516910b85ad6a8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0f74ac31f98ada82), UINT64_C(0xb6a062091941a3bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2c2fe699f201b184), UINT64_C(0x31a305edaa191c67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x66a6f29baac16d0e), UINT64_C(0xffeec1f99260bdd1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3844ecb4a5a92585), UINT64_C(0xeef49d6207773433), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5f579860eafe6d13), UINT64_C(0x66b4ac5471e961d3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x12ad49de4d3c18ba), UINT64_C(0xc747ea324281e8bd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9ab3682273b658db), UINT64_C(0x3a541893b11bf814), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x75f526ccf8fcfe30), UINT64_C(0x7630adfc9728b5f5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf6247e7ad006b169), UINT64_C(0x7c12c3ef24fc54f1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb2cb2f34fb35cfeb), UINT64_C(0xefb3f9a9527aaf46), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x535a529f45d5031c), UINT64_C(0xb7657bce3aac6748), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x14ac9559fd177752), UINT64_C(0x2e6da55e02176d25), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x600d153fb1c21cf7), UINT64_C(0x136a776c1b122ce7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa9a0a19631171cb2), UINT64_C(0x472335ee770a06bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3c392f6a9b679ae8), UINT64_C(0x6f192a139fc7c24b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x99b6349549cb13eb), UINT64_C(0xf1c3b056296d367f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1bbacdebc19a57d7), UINT64_C(0xd938b3bfa19aa517), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb5ccf6f09f458038), UINT64_C(0x28f9eb806d4114a1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb501225ab225d1a6), UINT64_C(0xdc417f7a58967f6d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8822014936b91ec8), UINT64_C(0xa808bab0bee75cde), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xad747835cde5ea0b), UINT64_C(0x195a2d2155557d90), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x050ec4058161c6a8), UINT64_C(0xfecbdffa093be660), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5a33c58894004865), UINT64_C(0x50b1a6d760ed7ea3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x72fb96724a0bdac6), UINT64_C(0xd234b8e47445b899), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xaf21388d20805322), UINT64_C(0xa7c8386d916cddec), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x75c2393428ce0455), UINT64_C(0x12a0a24c90d22df4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd9385edcdc236304), UINT64_C(0xf2f4c9609562d348), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x91bdd2d28fa59dde), UINT64_C(0xed1f80ad40c77414), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3d89cf428213d2b9), UINT64_C(0x955e55b37ab186e3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x86f7be81b65b710b), UINT64_C(0xb4571bc40f05b3b0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xeb44d0d909ad4638), UINT64_C(0xc64d3f0b7c1bc1b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x92dfa30ba6e7b593), UINT64_C(0x2a119296af26304b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4ee22f1deca68733), UINT64_C(0x815d76f84ca51fdf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa4b2158572756ad8), UINT64_C(0xf51fe902c678b54e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb61fc92d05161180), UINT64_C(0xc49bb677919e3853), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd2e941b6a75e8454), UINT64_C(0xec4b9566cf218772), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4da83e5143caa4e0), UINT64_C(0xc14f84cb4335ac1e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd3148d44057550c5), UINT64_C(0xd72f0aacda242843), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf7b88f78446cd7d3), UINT64_C(0xc0c99d4b5f7981d4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb27d8b19512e3d14), UINT64_C(0xdddcee1a476b21b9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xce44cc1a9f907974), UINT64_C(0x89eab4bc81aa2e4a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x52054bb20c96080e), UINT64_C(0x99c76163266e48e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9535e4365a539de9), UINT64_C(0xba775cac12fe6565), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa9b7de124700033f), UINT64_C(0x7981b1f09178c38c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0b6bea1899fda0d1), UINT64_C(0xd7fcdbec7a620492), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf8ff533941ddb4eb), UINT64_C(0x3bb376f911bb3444), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbd548e0971cdbe3f), UINT64_C(0x67d407fe30db2494), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xeb2d887a442b2703), UINT64_C(0xc49fdf19a25f7098), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x41565971e4a1e963), UINT64_C(0xcdd15fc549e4bfdb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2e8106b8535a8dda), UINT64_C(0xbf66df18ab87d9ea), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcfa84c413fc2ef04), UINT64_C(0xad71e03e4d656862), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3d51dcb6f2d3040e), UINT64_C(0xca2aef42dd49a862), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xffa9701e24229243), UINT64_C(0x939447cc12a7f72f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x285168e41c3018ef), UINT64_C(0x27655a46070b6a4a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcbaf93ccdb7f973e), UINT64_C(0x98f4a6b3f39ddea7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9eb4a2601d53b4d9), UINT64_C(0x5e8a5abc7d87c194), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7610658b408f8009), UINT64_C(0x0eb49245ca2f260e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x53c428cceb798ada), UINT64_C(0x29ea927b5fa28438), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x22e5b074d2ffc985), UINT64_C(0x16067ef8e5832b49), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x49a5f9beea278929), UINT64_C(0x5d86730f81168d67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x384f453584035e72), UINT64_C(0x914fff035a816000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb0671ec4424b9022), UINT64_C(0xe61679c3d09d9bc8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd85e5e43fdd012bd), UINT64_C(0x46a0809b68e60904), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9eb98f679eae7df2), UINT64_C(0x6214e343237e6a14), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x84f34b6f508f34ea), UINT64_C(0x0aefc89a62951c0d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6ee1d4b65b498d2e), UINT64_C(0x46c2b4a532ca1095), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xce23468f895a184b), UINT64_C(0xfc481eb29560e1fb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0714c01ff3017e53), UINT64_C(0xdbcf633f5bc49438), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb52e8d09ac46d2e0), UINT64_C(0x32344ce7309e8429), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x65c0bd7b3163aaca), UINT64_C(0xa80be35b5f5694b9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x94ec12827c8a032e), UINT64_C(0x8f0c8da2b5e8cb5e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7be8fa0c07322cb8), UINT64_C(0xacf43ad4d130f59b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb424b523dc350850), UINT64_C(0x895601b44f164043), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc078307aeeccf5ef), UINT64_C(0x87a55626887ff0bb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa9e7612a93b8001a), UINT64_C(0xfb8e1193f5ee0178), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xca024ddb26d8db8b), UINT64_C(0x60d682354e8e1b14), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x98c270edccc867a7), UINT64_C(0xb7c94730cc965c66), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfcf85323080d340c), UINT64_C(0x27e54f0174f3d657), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2dacc75431a1f94b), UINT64_C(0x7639b98da80a9e55), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf417a57e03bb3e49), UINT64_C(0xaf92c67809587799), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x13ed625f68af770e), UINT64_C(0x44efa7a61b623aa3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa333c909420e8ab5), UINT64_C(0x657c07d6be336403), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x51ac85398627e852), UINT64_C(0x1c15fa55a1240b39), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5eae3206e11f5b74), UINT64_C(0x7aaac3a367c8f841), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb82ae6d29e250fa5), UINT64_C(0x1edc0970b285c43f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x7d11c0f3b2a9b80c), UINT64_C(0x12cabcd2302305eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb769db6071ee5689), UINT64_C(0xf78283122330a66a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x15d0366997b2cd70), UINT64_C(0x571c3ffa889163cc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb14a9fe641d223d7), UINT64_C(0xd1518055e472c9a0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x888509755bae48a5), UINT64_C(0x759d3beb39d9e949), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x43545978a199efac), UINT64_C(0xec62c13ac5a60909), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xea0f77b59df56cd6), UINT64_C(0xe8e2b47b641ae918), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf86ccb9f92bd4eca), UINT64_C(0xa3a3a73cdcc04c56), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x645f6fa0d1b08df2), UINT64_C(0xa5a9cc44d949035d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xcce5954d38d8c404), UINT64_C(0x7b67a1c5ecc29059), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbcdb12e966f323f7), UINT64_C(0xab2538acaee09103), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5239d044fa4d6aaa), UINT64_C(0x77d399c5053875d5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x18dafe76f278487c), UINT64_C(0x095e3231c6181788), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3f2009752e7105d9), UINT64_C(0x8beae8bb1edfa3c4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2e5df56fe2ee0187), UINT64_C(0xb1d533b3cfa7cc2b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xb64b12cdd0655712), UINT64_C(0x07393cd818bc14fb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x48ac2131efb451b5), UINT64_C(0x5bbecd9a43e686aa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x984e93e9d67a972e), UINT64_C(0xc966fb4a66fcfc17), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6402056444789c71), UINT64_C(0x595a3b65e9bf0dac), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x86dedc4eb3531030), UINT64_C(0x4c962c641f8a2d4f), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t Li_0[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xaa68c1a3b90ce23f), UINT64_C(0x390d3bf628c3281c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3e16e3f5b4d14976), UINT64_C(0xae129d014e5b2722), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x92ee0b48d4c68651), UINT64_C(0x69b42ae2776cabf6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9c89b18f90612060), UINT64_C(0x1c0d2ec7daf8d2c7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe08f08e6bdf226db), UINT64_C(0x7135da04c859c8ff), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3f6f78d4044681a1), UINT64_C(0x22c322d7c3092336), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x372eea7be9084f19), UINT64_C(0x082df10db593cc19), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xdfac955384d02616), UINT64_C(0xae54ae1ad37cf1d6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf82824deb2e11f83), UINT64_C(0xd42ace148e4569ce), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3b53fc93e52f6c6b), UINT64_C(0xaa505eb8b16cb54a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x24cae53131496b05), UINT64_C(0xd7f059d46a72fb69), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5b9e66ddb62f6203), UINT64_C(0x649af25b421ce48b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5bc3d0d5fb5b1dfb), UINT64_C(0x83ae96d839b444e6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x921d8e3b22ab86b6), UINT64_C(0x18666057e9efe1fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd5793f64abcd69e6), UINT64_C(0xeaf17d94b26a978a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x434c635a4e3bc5c4), UINT64_C(0x640f1a84a0ffd0e8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4bcb80d08b80e471), UINT64_C(0x15bfae938db0d486), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x77c4c73ac0c88fdb), UINT64_C(0x98aec9024295556f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x2bf55e8985851459), UINT64_C(0xc1757ac1de45d5da), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc726e7f05b677201), UINT64_C(0x94558b66b11aa9cf), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe955918d3d8085b6), UINT64_C(0x072e34fa571186b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1bf5aee1baef3bbd), UINT64_C(0x52a3cab7253b3e12), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe35c510e19706375), UINT64_C(0x86b8818b3462e538), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb97151f49425e815), UINT64_C(0x4fc5d3b7fc4064a1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1ac342c42ab3aec7), UINT64_C(0xc71bf0ac3c6afe2a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xddc8b495159b431b), UINT64_C(0xd7857b0cfa3e8b82), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x736c0f52753d235a), UINT64_C(0x62bfd75ced4fb536), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x36b95fb96bffb570), UINT64_C(0xf8a17b2fab35f0d1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfa1cfe99f5bbdf45), UINT64_C(0x49677187ccb95b94), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xcba76fc8f43953b1), UINT64_C(0xa7746f74e4ac8391), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb32ee67e46cce68f), UINT64_C(0xa4f11d9c3dab0c8c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0eda258def839363), UINT64_C(0xe13aa79a7a5b56d1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x167c4a868b678670), UINT64_C(0x9f47392b8a6554ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x15098865f062cf98), UINT64_C(0xa4a25834f3bd8640), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x38f609c91b0c63cf), UINT64_C(0xb5a527b54e032fb1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x72bf79794d6e4c97), UINT64_C(0xbc7cdb33620b41b1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5830f4a78b410759), UINT64_C(0x1f20c6f5fde173a9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x931bc506c9452045), UINT64_C(0x3a461bfa5f93934a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xcb0fa383e04c844e), UINT64_C(0xbb329e4a89bdde9c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x036648363e4737be), UINT64_C(0x111c84543cd67cee), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x858c15ba79be65d1), UINT64_C(0xcbb44cfe33750d1c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x956aa402a15fde78), UINT64_C(0x2ab6c1314b4043dd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8e45148b8f03e302), UINT64_C(0x6d6e3f8372653d06), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xffa491c3bf50a5f9), UINT64_C(0x8cfd1f1b8d76ecba), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x79f5c206c04fb229), UINT64_C(0x9d569d545f2b292b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x30ca59261d3ae998), UINT64_C(0x58fe0129fb2f3d68), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4cf09508c8fbcda7), UINT64_C(0x92ae30a24bc244e2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x144201c0917ee039), UINT64_C(0x928dc1a258b08a4c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x163d23884390018d), UINT64_C(0xd8b26f1161b9d8bc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x009d916c6189e633), UINT64_C(0xc667fcd063419ae7), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe3bb39fc52830b46), UINT64_C(0x691f97d3bb980cc1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x05393f74cb48fea5), UINT64_C(0x8bb871196efe9706), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6f08d2f4848a4842), UINT64_C(0x4e6f44b3317cf012), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8a47e2b997eb7f7c), UINT64_C(0x0233148855003152), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x880c8d34ff090a83), UINT64_C(0x3671f21aa4ca6922), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x51b91ffceb0c6787), UINT64_C(0x0f2540fe575dc037), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe0f5d1f999f055d2), UINT64_C(0x33f72b33d3c0a8d0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7e33c2f7a34e7565), UINT64_C(0x6f6b781b59cb7943), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8f4c15addbc9b1fd), UINT64_C(0x62cdd755f04b19ab), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6a72fa8a3061d8c7), UINT64_C(0xb80d12c6678449b0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x3276de2fe87e7829), UINT64_C(0x058f6499c26c42c0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe4e0b88bbdc6c612), UINT64_C(0xb412b58e983e55f9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x5e267eabd2a64d15), UINT64_C(0xf3e2eb5d9c6b260a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9796ba5d1ca0f801), UINT64_C(0x282fbbc772cfa9a8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x732fb685e843d718), UINT64_C(0x10de0f0369c0395b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x1ca659cf67192d18), UINT64_C(0x0204486839015bf0), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xbbd17aab9ba456bf), UINT64_C(0x1a81346636c163b8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfe32a2ec9abebbcf), UINT64_C(0xb7c55b36e881dba8), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x8e90686157dc4592), UINT64_C(0x48df13c19b400ed2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7ce571f22655ac13), UINT64_C(0x5f6c20394fbd0c12), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x9e5c3e47792a3ac7), UINT64_C(0x35a831aaadf141eb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xdaaf91e9e2d89ce2), UINT64_C(0x265403200ed49c14), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd679805bb61463f7), UINT64_C(0x294c20ee1113872d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xa3f36bcf22fd1bfc), UINT64_C(0xcf39c2fd94fd50bb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2c9b6fd40ffdd7f3), UINT64_C(0xb82596130e084bf1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf82285e8cb470ea8), UINT64_C(0xbe75e62cfb50ec48), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x751aa8d293afd437), UINT64_C(0x067f1ed63675d2b6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x34134e405377925e), UINT64_C(0x0a97c29b4aee92b4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x39596377354993d7), UINT64_C(0xbf0b9b4f95517ff2), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6812c0616a55cfa6), UINT64_C(0x9c936edeefd9a60c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xaa35f738b19ba30e), UINT64_C(0xec9b6b9d480cfc60), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfdcd667ddb204f14), UINT64_C(0x5ef6267b8433f9d9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa7a9179d3dd47c93), UINT64_C(0x6106dade597d6e2a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xccc88ebde17c34ca), UINT64_C(0xe00f0244cdaa6ed4), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0b13940ef68d4508), UINT64_C(0x706a8ead5a9bd045), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xe51440ac3821f406), UINT64_C(0x8f65081435f22864), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xe0d85f0e3a643eb3), UINT64_C(0xc850b04dd8785f37), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x400e201b277c9e50), UINT64_C(0x60a75e1b0ee0b5fe), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfc333d4f3f333e90), UINT64_C(0xa852b5e169dc1611), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xb1b93d35c8ed7f15), UINT64_C(0xfffebd6fe91b4922), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xd016f21046a8b2ef), UINT64_C(0x607cf847f478fd38), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x6546c1bfd50e4be3), UINT64_C(0x2fe7bae4bbae5066), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x045d59d701fd588e), UINT64_C(0xb025ad561f75e283), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xc72a5df2aa68a11f), UINT64_C(0x522faab4ffe92180), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xbf2df1207230f5fb), UINT64_C(0xd731f31d7afa39d6), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x3dd26c2afae4a6ac), UINT64_C(0xa70b25be2bfcf6fc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x1923a934ba8ff77e), UINT64_C(0x3e905a54b3957df9), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x288acd5db3df11dd), UINT64_C(0x0d5923dfba91bba1), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x18b0ac64a833a975), UINT64_C(0xc27c27c030d0cacb), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc1f890116605d435), UINT64_C(0x65c605908dea03dd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xfed1a874772f9f5e), UINT64_C(0xe41fb33ecc60ee67), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x63e7f9d88ff8a465), UINT64_C(0x7beec31801479bdd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xce43ffa51bf7288d), UINT64_C(0xdb3e39a3e037c0a5), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x4a3d6f50c607acbe), UINT64_C(0x4fc646111469fbbc), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x2b4181da3e47f934), UINT64_C(0x0998b9310187522a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x43d6a0562ea23bc0), UINT64_C(0xcc12c0f680fe324b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xaac522fba452d82d), UINT64_C(0x07f56b16ff50556a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xf01c607b8da005b1), UINT64_C(0x86db8193f8ad890d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xad93e8105ce95e63), UINT64_C(0xd5b25df8b6a85f7f), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x5249887bf5b200d0), UINT64_C(0xf7f92e4898c6c34e), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x0c6b2fb0dfc321d6), UINT64_C(0x41fe2e6193f3c654), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xa5edb1a42de73a70), UINT64_C(0x82fff66bb4415362), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x304f6b46c4bb6d2d), UINT64_C(0xcc1972a2f70b8851), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x6d71c20ce1f400aa), UINT64_C(0xa2a54c9a1182021b), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x77baf01c7910a278), UINT64_C(0x611466850c7b8324), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x96385ea18747da95), UINT64_C(0x46c1da8042748405), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xba1142e9f973b1ca), UINT64_C(0x2104c3ccb5353e00), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xc991579c89ad62dd), UINT64_C(0xcb95ed1e917f932d), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x05cd43a63899d73e), UINT64_C(0xaf16eb705d7b99aa), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x53edc2842fd4a841), UINT64_C(0x83c81622c2a16bfe), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd987c895a94ad134), UINT64_C(0xd78b49b860876aa3), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x9e7882d376682f1a), UINT64_C(0xec960184351bb2cd), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0x7c56ebc79502caf5), UINT64_C(0x95e200068fe5d5da), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x877906b58695fd5f), UINT64_C(0xb5dd6e1343c33584), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x8000000000000000), UINT64_C(0xf1f6ca7c49021f9f), UINT64_C(0xf4e9c7cf51283945), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0dbe1bb8ac5a80a4), UINT64_C(0x43a758b72f46931c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xd2ff0496b9b7a970), UINT64_C(0x0ef3fccae6dff03a), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0xeaadfd699f9cfb74), UINT64_C(0x7804a3c53db5768c), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x8a93968b9e85e953), UINT64_C(0x7e6308ec418000d1), UINT64_C(0x0000000000000000) }},
};
static const mzd_local_t Li_1[] = {
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},
{{ UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000), UINT64_C(0x0000000000000000) }},