-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathrain_192_4.h
1255 lines (1245 loc) · 87 KB
/
rain_192_4.h
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
#pragma once
#include "gsl-lite.hpp"
#include "types.h"
#include <array>
#include <cstdint>
#include <vector>
namespace RAIN_192_4 {
class Params final {
public:
constexpr static size_t NUM_SBOXES = 4;
constexpr static size_t BLOCK_SIZE = 24;
constexpr static size_t KEY_SIZE = 24;
// --- ROUND CONSTANTS ---
// Round 0:
// 0x49756ff08a38e29677b0ddfcc7bef736c47319604ae37426
// Round 1:
// 0x5eee9e9cbbcb54a758134c84f0203a409f511a0fb5c7969b
// Round 2:
// 0xc3227397a76c636fcb4c2ecce2683d694384d6893dbd0692
// Round 3:
// 0x228cfc58ab6239259794a61517df3b5a5da49843e7d0c945
constexpr static field::GF2_192 roundconst[4] = {
{std::array<uint64_t, 4>{
0xc47319604ae37426,
0x77b0ddfcc7bef736,
0x49756ff08a38e296,
0x0,
}},
{std::array<uint64_t, 4>{
0x9f511a0fb5c7969b,
0x58134c84f0203a40,
0x5eee9e9cbbcb54a7,
0x0,
}},
{std::array<uint64_t, 4>{
0x4384d6893dbd0692,
0xcb4c2ecce2683d69,
0xc3227397a76c636f,
0x0,
}},
{std::array<uint64_t, 4>{
0x5da49843e7d0c945,
0x9794a61517df3b5a,
0x228cfc58ab623925,
0x0,
}},
};
#ifdef INCLUDE_STANDARD_MATRICES
alignas(32) constexpr static std::array<uint64_t, 4> m1[192] = {
{{0xc536a7a0795f52ce, 0x1ba7ebf6d0b02c3c, 0xe28435a4012a00c5, 0x0}},
{{0x1d835c9e037493c, 0x42b98bde488993ed, 0x272b1decdfcb28c8, 0x0}},
{{0x7e8f9e3802adbba2, 0x7c6350fc4426d4d6, 0x15e7ece83a501b89, 0x0}},
{{0x2f43e64717d132a8, 0x4f55f8ab676ca79b, 0xd436170bddeef937, 0x0}},
{{0xd5342594ce472ebd, 0x234113141ef6d1df, 0x45ea322488a9cc43, 0x0}},
{{0x412857b457e9bb4f, 0xb9bd9e0f7972c001, 0xcdd3779b4d623b95, 0x0}},
{{0x9cd95c41d60d2e48, 0xedb3e1ca13384569, 0xd298c78c6f3ec196, 0x0}},
{{0x2eee4ee333fd140, 0x67d63851b632c4e6, 0xd97e4ff276bd4936, 0x0}},
{{0x4d88f7a4f4d2934, 0x32270eda6f5b33f9, 0x244079c53b16efb6, 0x0}},
{{0x8e2178710b444519, 0xed33142c8f3ba274, 0xbbeaac4d22e1c44b, 0x0}},
{{0xf56abc9720fa651, 0xb16b59c06be7a5de, 0xae0fc7720a677c8f, 0x0}},
{{0x1d83933d9efca53d, 0x6807fe68229eefd5, 0x510e148698f5ae13, 0x0}},
{{0x94d0c879c77540e, 0x62c0d4f495098652, 0xb1bb60235cdd9011, 0x0}},
{{0xb28ecda1b78e187e, 0xe7ee274d770bf60f, 0x75552f3bc2c8f909, 0x0}},
{{0xb4aa05a14f7899e2, 0xa795fa622ff914cb, 0xa771bb589e00570, 0x0}},
{{0x2933dad7557b0e07, 0xd84adf647f1f0618, 0xee501505c5d214f3, 0x0}},
{{0x100e124f74475793, 0x42494c577c4f4c12, 0x8282d1fe1c6a72f7, 0x0}},
{{0xb27fec48fc84c4a6, 0xfb1ecbfdd272e75f, 0xb4188de1a2f6a44, 0x0}},
{{0xe15dd263448a5a9f, 0xda0a94d57703bc21, 0xec093a9e5e6e22a7, 0x0}},
{{0x6b78d125173866f4, 0x37d42ee900d0b6c6, 0xd264fef609a6cec2, 0x0}},
{{0x556aa26d0d80d3c, 0x5fa6328458c5648, 0xa28c747d9e0c8e0, 0x0}},
{{0xaa88b69e5f5649f8, 0x31940c22ce844df9, 0xa2a6ed45b8469d8, 0x0}},
{{0x3a9207b143f20ca0, 0x615391d8cce663fe, 0x39b51b795f9a2481, 0x0}},
{{0xb8ea533bdd9445a7, 0x8f877dae33d93341, 0x6da2eaf09954363, 0x0}},
{{0xb6d7e98e6d0c1a63, 0x7710d45343347664, 0x64769f9e3a5880b9, 0x0}},
{{0x2cef58c7d6367ac6, 0xe905ff51a7a15796, 0x1ee4ed75e169358b, 0x0}},
{{0x83cff311fda9a042, 0x78821cb5e491c5b7, 0xa9e83d7d7809dda2, 0x0}},
{{0xc74fc0644372576, 0x9cca094eb78be9fb, 0x6025e0b2c07d3a6b, 0x0}},
{{0xd9482fb571deedf8, 0x6d5fc98c1466bc46, 0x913abad81458a50c, 0x0}},
{{0x667f99cf25b4af5, 0xbdd3127f7f4c3a10, 0x9e38e491e6a9fee1, 0x0}},
{{0x58c99487bc38a69a, 0xa3634506dc64f2c7, 0x7414709f5a8a61f1, 0x0}},
{{0x17f235e77d2c73ef, 0xa8836f8669eadd33, 0xa4ca4982a61b92b7, 0x0}},
{{0xc2c3871d14c45f3a, 0xcd3f2e6175d9c9bd, 0xbc865f69663c4755, 0x0}},
{{0x94c586527541d6f7, 0xfbe36ae38e27b469, 0xff792e90b80e6250, 0x0}},
{{0x2a6d352f6c6b48d2, 0x53674bf54798916d, 0x6d23a5e9687c462b, 0x0}},
{{0xa1a940e0fc681149, 0xf4c71c69984ee2b4, 0xc1bf07306c81e1c7, 0x0}},
{{0xaeac619d3b879acc, 0x165ecccd1ea4ea5f, 0xb57ab94456ae527d, 0x0}},
{{0xe15dfb402afeef96, 0x7bdc184e62772369, 0xf5ed1b7ec865f8b8, 0x0}},
{{0x109a6a92019d0944, 0xaee41cd509c38e3b, 0xbc28ea537ba9deb3, 0x0}},
{{0xf4f18f7981150bdb, 0x54512dbc27330a94, 0x1c1b1b3e93f3df8d, 0x0}},
{{0xa5cdba53f3f6e1be, 0x6966f94018fe3445, 0x7abd1f994fd4a00f, 0x0}},
{{0x2832b70377b177b3, 0xfe2c98f7fe7d9fae, 0xb6944c11cfe372a8, 0x0}},
{{0xffd0c43426416ea5, 0xed0dc25946b6c846, 0x80555cfc8672f219, 0x0}},
{{0x255f4ead7ca11dea, 0xeb6f025a39fed0e, 0x5ca244c779ba369b, 0x0}},
{{0xb20bf613fc9c8653, 0x888114dfeabbb9f9, 0xa4b4d57ac353c29a, 0x0}},
{{0xf4b1cc63ac2e800b, 0xf049f4e340053b16, 0x6bc11daf042d66fa, 0x0}},
{{0xee1548bef785baa6, 0x6d2f6f529a2f8ef5, 0x8d85d826111257d6, 0x0}},
{{0x91cca7409723ba01, 0x7ca4df758248796a, 0x774636747b8ea128, 0x0}},
{{0x5c56c36abb8e2c9c, 0x383c7e64a8b7080f, 0xba0e1ec4080be9ed, 0x0}},
{{0x57db6f114ddfc233, 0x727d768424a58763, 0xde3f777735ce596b, 0x0}},
{{0x8a6f35dd31207ec9, 0xad2ea6f46db06e45, 0x94990695c121a53, 0x0}},
{{0x3adae8a41667f5e0, 0x19c7e1157ccbe610, 0x82c012c1237891bf, 0x0}},
{{0x5495cff7e500dec7, 0x26ee5d88ad61f0d0, 0x4ff8e3883cfa51d5, 0x0}},
{{0x9204a5b459d3d7a7, 0xe4405093a399423, 0xcfc913aef107082c, 0x0}},
{{0xc4ab1cba8500e14, 0xc0457976ba39af40, 0x479b6d354e75705, 0x0}},
{{0xecbfab7a93c586c5, 0xfeaf20a6d6a9248c, 0xfb696d600a9f2cde, 0x0}},
{{0xe58df1747bb11d9d, 0xe8f3aa070f8ff9fe, 0xc37ec405513be482, 0x0}},
{{0x268380fc3a2f395d, 0xefce7af99442b21, 0xb93a80748308cda2, 0x0}},
{{0xaee3873b66412486, 0xb42f024d67eb7e40, 0x886036726db2d08, 0x0}},
{{0x71a5b522608db29c, 0x65caafbc5c27a914, 0x407fc44f31fc3ab, 0x0}},
{{0x5d613ce65d4e5f0a, 0xfc20ada48f5394eb, 0xfb933301d107f3ca, 0x0}},
{{0x5e5956b56a212990, 0x7003f4c28e2a7b85, 0x84798e7740f47e45, 0x0}},
{{0xee7f01286669d21a, 0x985b005e4aa0baf4, 0xa155cfbcb1521c4d, 0x0}},
{{0x1289a5ca856adaa4, 0x67ef9e5eba089127, 0xf27cc1b08b9d379d, 0x0}},
{{0x5380c1fcf56f8f22, 0x7244ac7a33bc555b, 0x6cb4ac30ab3bfc85, 0x0}},
{{0x15aca5bb124d81fb, 0x54bc86d74909c320, 0x16b0c3aa48fd8b9f, 0x0}},
{{0xc859add98aaf288f, 0xab90291e4db28790, 0x42d186b3a1783d03, 0x0}},
{{0x455448e9f2343a84, 0x803cea36e82e436d, 0xb893a401c2dba1d1, 0x0}},
{{0x8fda0197e47cb0b6, 0x8bcbe8b2e7a2931f, 0x7ce3ebcd878ba95e, 0x0}},
{{0xf1ef026453e930fb, 0xd9b115830bfadcd0, 0x37c910506eca5ceb, 0x0}},
{{0xca171a6556557264, 0x392f9b5404f4c06f, 0x2410d791d15f7b28, 0x0}},
{{0x86dda9a110da28a2, 0x7921f36c8181ed0d, 0x896a3b8435e50157, 0x0}},
{{0x854a0a9c6c9c0d90, 0x5f543a252b747a70, 0x5483729f437fe987, 0x0}},
{{0xe74ec146d0c03c85, 0xf444e1d97d50dda4, 0xe2cf838d745e542d, 0x0}},
{{0xca2609fd0cc0ee85, 0x6ba5f5f298849941, 0x5712e539567bbf82, 0x0}},
{{0xb51d76d52fa62452, 0xf648fab14fc1286e, 0x93695214d58fe9fb, 0x0}},
{{0x313ccc33ddd3e892, 0x1f29e466681386bc, 0xcacd003946d06fbc, 0x0}},
{{0x12473a4d8f75a677, 0x96d896cecf0d7f90, 0x8407ea2f438ef131, 0x0}},
{{0x3378de41f81662bd, 0x735e27c1059c1a65, 0x10ae85a1a13ce77d, 0x0}},
{{0xcc7a1d479c86280f, 0xed8ad16ecef7502, 0x6fd5b0655cdaed4d, 0x0}},
{{0x3e20c37a00eecdfe, 0x17a67fc9488f62e, 0x53bfdfd99c6a3a81, 0x0}},
{{0xcd1802611c4cd02, 0xf32f7f9af05983ee, 0x7438d3ec8082b9d2, 0x0}},
{{0xc3bcd7d7886135aa, 0xff313b7d6210e34a, 0x438fb947787a7940, 0x0}},
{{0xb0ba9acb90b4c657, 0xcd819e099e00b0c4, 0xb84487bb9be9dad2, 0x0}},
{{0xbd255a033846cf2f, 0x6f30a7f2f63f9683, 0xf2ee04d98f88c099, 0x0}},
{{0xe3ee4d834cb626c8, 0x6201eb1bd0811e4, 0x859d960dc5190135, 0x0}},
{{0x3d1be4bc170f9241, 0xff74a71dea1df54a, 0xc917489dc7a9e5f3, 0x0}},
{{0x4036a274a7c69995, 0xb6fd2d4f55b61518, 0xa7cf4e08ffc4864c, 0x0}},
{{0x92071b3b4d6f0b67, 0x1cc25b766b1b07c5, 0xd0926e760afa3fb8, 0x0}},
{{0xc2b19afbcdcbd3de, 0xd8afc890c8656d6b, 0xaf39a366df7bb225, 0x0}},
{{0x4504e9513a0fc8a2, 0xe1f4d3d3e63d5897, 0x18b937cf958aa1fe, 0x0}},
{{0x54a02243460e8ef0, 0xc304031178c50687, 0x87808470d87a7cf1, 0x0}},
{{0x3407522bc1c1d74b, 0x4c48119aff74fda4, 0x961c265c7841b7be, 0x0}},
{{0x31db87e782920682, 0x96e40282784806be, 0x7af564da5b0a549d, 0x0}},
{{0xe8730a3bbb8939dc, 0x861218920b6058e5, 0x6ca8483db45c6e3c, 0x0}},
{{0xd5c60b36e080112d, 0xa679ade4d9ad1ea, 0xb1e915741140d1a8, 0x0}},
{{0xff16b628848de5ba, 0x14c0073def2c117d, 0x606ff778af0ac807, 0x0}},
{{0xdace72f1662b826f, 0xfecfc9805db22ceb, 0x3b1fcea63a2250f2, 0x0}},
{{0x17f033084442187a, 0x66ddbd65c3145ca5, 0xaf2e4458d70339a3, 0x0}},
{{0x3c1d62bbc6653dcf, 0x6d16728c839ef616, 0x479e42e142a32c69, 0x0}},
{{0xe9c2102fba7503d0, 0x9f50f94530a73b0b, 0x4b08eab9f46de26c, 0x0}},
{{0x55b4267229a0c111, 0x2c2b99cc94f0a644, 0x87f204bbddb8f19a, 0x0}},
{{0xa7245af18ab7d091, 0x2c07f2727cf2f50, 0xe19ae8e1f2f36132, 0x0}},
{{0xc0102b995e117eba, 0x56fddd4e1f3fc706, 0xc22127d8966b1099, 0x0}},
{{0xb190b52d7a3466d5, 0x35c3c040b357055, 0xc6a310c35c3839bb, 0x0}},
{{0x356c8d49a40d2557, 0xacfd19a72986be73, 0x723aac53ab35b4af, 0x0}},
{{0x521a26f1c98f7374, 0xfb30bce0f8138d05, 0xca8d4f83d64882e9, 0x0}},
{{0x1f8ccb44f21d47db, 0x31eae631fb5d836c, 0x4a52422396a5a24c, 0x0}},
{{0x9ff56b732bda3c8, 0xa15f2d5dfeb4570d, 0x3ecf13fd07e8f86, 0x0}},
{{0x4c1b05d8d7a24eca, 0xb17f0f720a4b6264, 0x4585d107bba7ec28, 0x0}},
{{0x31abec9011c0312c, 0x27bba77fb12ff9a1, 0x164422bd4ba12934, 0x0}},
{{0xe9dec587d46372a2, 0x3b426986938a45c3, 0xae8fcf41a0476012, 0x0}},
{{0xfcaf4618c0addb85, 0x6c49cd6e129a234, 0x1b7c0ab9fed852b9, 0x0}},
{{0x30ace4aecc6ddf7, 0xfc9b41b3f500dc26, 0x4f47a432992818ff, 0x0}},
{{0x21ab7709e06a0a89, 0x1ea4b899f351b5f4, 0x476813208ba16ec3, 0x0}},
{{0x65985cd01dd674ad, 0x4cc5b09c2bc329f0, 0x1e35fb803f8330e5, 0x0}},
{{0xff1121e51ab616cc, 0xb8c83c10f048ed29, 0x6d6986b72ddff43c, 0x0}},
{{0xc910f12ea2f0236d, 0x930495cb89f58b70, 0x7da635127b818864, 0x0}},
{{0x4b088eeaa1d6f50d, 0x6f48b32ed829fe70, 0x37624346d10bc914, 0x0}},
{{0xc8bccc999ff6700d, 0x284e9925d52d317c, 0xb2759de73dfe0dd3, 0x0}},
{{0xdd88a8f6327f1f29, 0xab07b37ea4fb6177, 0xfbdd43292d09c2db, 0x0}},
{{0xdfb572bac58435a3, 0x7ed061bc52e1abd5, 0x89c3ef364b71b6ac, 0x0}},
{{0xc629aaf3e9c8af30, 0xfc6e279582a572d1, 0x43e106783561f90e, 0x0}},
{{0xa54897fd0ba75ab, 0xa46b5aaf721642a0, 0xd27dec5c30283bc6, 0x0}},
{{0xc0bb5ecd0b29d710, 0x83df8a60114ffd90, 0x779a1f6f9daa9cf5, 0x0}},
{{0xd8f25df3a48b5400, 0xeeaa3a11d34d718c, 0x8e8e10536e357a7c, 0x0}},
{{0xe800ee2a56095962, 0x59a4e70dd741f338, 0x663b394a8d95d15a, 0x0}},
{{0xeedcf07951ba1bc4, 0x7406648144c7d9c4, 0x2e43d19f477e3d51, 0x0}},
{{0xaed4d6d6c1b842a4, 0x2c8d1ce91c8668cd, 0xfa0da695248d52f3, 0x0}},
{{0xd1776a512e5ea4c3, 0xa3807e2e8b6a5c37, 0x145ec3f0d4be2159, 0x0}},
{{0xcc1124347d74ba77, 0x2ed2dfecc30a2dd0, 0x6d834910b7c8c596, 0x0}},
{{0x3a942ea330d5d35c, 0x31feeca2c42fcedf, 0x555e27d11de60bd5, 0x0}},
{{0x3e3cef25a8c4d7a, 0xfc799a81576de4de, 0x1da5dfe3a1456a64, 0x0}},
{{0x996435f04bb799cf, 0x65117de5891c9dde, 0xbcfe0825e3ab4158, 0x0}},
{{0x82c45bbef1038e5e, 0xd8fbe8e8325c01e, 0xd33c790a5052966e, 0x0}},
{{0x4197c1105b2223c3, 0x40c773e48914518e, 0xbc4bc81ecfa972c5, 0x0}},
{{0x34dea7bbd616cd1e, 0xe46363d64a2ffeb4, 0xaf2d5ce3a259cc8, 0x0}},
{{0x5c26780e065189b4, 0x89c6c18e134c1a6d, 0x512e5e024b6913b6, 0x0}},
{{0x190e1fc5a10de10d, 0x96b4c53726a90eed, 0xaf7adf5dd322c42d, 0x0}},
{{0x9fd3ab0046e7ddcb, 0xc5b6ea8b028b662f, 0xaf0a89c5b63840ab, 0x0}},
{{0xd7e52c4fa436f702, 0x96ab0a9d53cd3b72, 0x6096b0f1b90bf11f, 0x0}},
{{0x7e015cc3048be968, 0x561bbd46ff93c808, 0x93e0a9152f96e5c0, 0x0}},
{{0x5f00fc8bc5b649f0, 0x95b9cd356251991c, 0x12b4c44ed814b5de, 0x0}},
{{0xdd8c72317188421d, 0x57b6cffc90f780a7, 0xbf331aabc206cc5e, 0x0}},
{{0xaec498aeb9966141, 0x70118f553209d718, 0x6b72c0112b6400e2, 0x0}},
{{0xa2cdc65d852fb2dc, 0xe822e9045ab425f6, 0x684b51313992777d, 0x0}},
{{0x6f951d4bfc8571aa, 0x9d4daadfbbb05203, 0x8fa0cbc36b02afe9, 0x0}},
{{0xb7556063e0df95ce, 0x6671ac4293913ebc, 0x8305a05dd35042fb, 0x0}},
{{0x663db07dcd8b3f30, 0x39ad29cb2cd023ce, 0xae8d9fa160383e51, 0x0}},
{{0x290070d7468c8f99, 0xfd2ec40957842d2b, 0xb3b01fa37d870fc6, 0x0}},
{{0x810a927e76afb64d, 0xc3e54775ebf7e379, 0x7de084c556ad42ca, 0x0}},
{{0xb2aeda3dbd86e1ba, 0x15e36fab47cf28d8, 0x9e919fc9e24db494, 0x0}},
{{0x9eb168cb09a2036, 0xb0cfa46c4775ec10, 0x518dfaee4ada7882, 0x0}},
{{0x5766b89c815fa6fc, 0x54511e146f603411, 0x3e712d4d484b45de, 0x0}},
{{0x9be3c4f0ca5f5d65, 0x7eb5db3bece44f3f, 0xa86699eae0fc514b, 0x0}},
{{0xe5cf6d08212dfa69, 0xb19473a7817bedc5, 0x729659074c1a2a82, 0x0}},
{{0x966a8fbf650e7b47, 0xaefb92b4194e00a6, 0xe614945a6957e596, 0x0}},
{{0x932f18e8d4ebea9a, 0xdfaa2aecc270c4fe, 0xd0762889c4545442, 0x0}},
{{0x2afb4ec29b1ec532, 0xb32af5ffae85c55, 0xe3eba5a72ff9aa2, 0x0}},
{{0x99fa5d4ccc5abea8, 0x41b97a0c683877f9, 0x444b5b3ddb62b25a, 0x0}},
{{0xd984e9bfcc260066, 0x6a0c601328d14f7b, 0xdaed95f326826ffd, 0x0}},
{{0x6e7193cfcb68ccc7, 0x742e43e7b84871e5, 0xaa2734782f6b6699, 0x0}},
{{0x304fa1501440b72c, 0xb2b71eb05d25fa19, 0x1860c28c83726212, 0x0}},
{{0x12006de73c20640c, 0x864b7c9e7a3ea218, 0x75999fe6b547a331, 0x0}},
{{0x1607112944eedbee, 0x55b45b2fba30d3ea, 0x39ee17133dad3793, 0x0}},
{{0x6ec8bbad0c5fce58, 0x710b6bfd38d0a581, 0x2daf14157c61aa67, 0x0}},
{{0x3e6f7f9563eb8b4d, 0xc5a11d2aacf86bda, 0x6df3e33d648e72a1, 0x0}},
{{0xcdde221fd45aa0b5, 0x7de7ff961c8aaa85, 0xb3d864f50a11b353, 0x0}},
{{0x61451e48bf043365, 0x135fd22d526a16a5, 0x62cb6642bd8086a6, 0x0}},
{{0x7469817ea74246b8, 0x5ca76cc6783cc147, 0xcc3d1956e44264a5, 0x0}},
{{0x33076e697443245, 0xb229c9f72d9df373, 0x53f667972e211c82, 0x0}},
{{0x871af0e48494a0a7, 0xe22dcf04d271a354, 0xff9b63eaeb221147, 0x0}},
{{0x4360cf6faed853cb, 0xf7e91028906ab8f1, 0xe5549b2a97fdd378, 0x0}},
{{0xbb2e7b6f746983aa, 0xc9a8acd6e0feca4d, 0x99e54375284d2c19, 0x0}},
{{0xc152d2ed96cfe2bd, 0xcaf65a9529228477, 0x754cb6aa812d68fb, 0x0}},
{{0x12e8333461be234, 0x925d9a01ded93443, 0x446452cb08eb76b1, 0x0}},
{{0xe641f645c24907cf, 0x87078b43b4c99735, 0xaa7afbd2114d1fbb, 0x0}},
{{0xd01271ebdf77e9bb, 0x72bbac70f5ac31bc, 0x3f30ac78a478721, 0x0}},
{{0x22bd829ce3631afd, 0x6ad004d1a773b1be, 0x7b81888e1363ae43, 0x0}},
{{0x73af3b1d4d26bcc5, 0xd06a422f396a2ed7, 0x47489b0424b2b472, 0x0}},
{{0x260484deaa4a740d, 0x7677e48964bc813, 0x85593876b5ee9a45, 0x0}},
{{0x24f0b812803afa4d, 0x80e527b76a8bf30d, 0xc09c5afd27da2653, 0x0}},
{{0x3132c26831529dd2, 0x74e2cf1b1468cf1, 0xfd5c50fbc5c8c51c, 0x0}},
{{0xc0f00fcff537a60a, 0x5a1a7ca55c8eda7a, 0xf5e45cf070a9e3a9, 0x0}},
{{0x8cad1f397815620b, 0xe30cc1efa784b0e2, 0x6071440a2351076, 0x0}},
{{0x7677cca512eb8161, 0x71ca3bed67265d63, 0xa09d683ef6858bc2, 0x0}},
{{0xa324d20833dcda42, 0x93660a5a0adadccf, 0x1be01740e89833ed, 0x0}},
{{0xdda5306f78c19689, 0xd4ccb20554b337b3, 0xd2d121151fc489e2, 0x0}},
{{0x3898068cc8f6c564, 0x73f8e37d5cfc22bb, 0xc951e7e983989e6a, 0x0}},
{{0xd853714de0961480, 0xee8f92200837b96a, 0x4a9e3314b6301e23, 0x0}},
{{0x1224772fc1e9d298, 0x3626b0c671ebf928, 0x8761b48b4bf9e423, 0x0}},
{{0x7e29c88fe314af25, 0x9cd929fec512b9d9, 0x6e1eb9e9c1ffe48b, 0x0}},
};
#endif
alignas(32) constexpr static std::array<uint64_t, 4> m1_transposed[192] = {
{{0x3b6b68aa1858e30, 0xbef0b6a91d8e626, 0x8b3f5dc21c618ca6, 0x0}},
{{0x54327ba7cf87f025, 0x4a02aa8f371fb8b7, 0x5c33813718c19f6, 0x0}},
{{0x8ff14572aa9eb933, 0x80fb470ac399e65c, 0x903dcddf174a876d, 0x0}},
{{0x5b052999d0343a7b, 0x9fc788fd235c026, 0x49b7727caaeead78, 0x0}},
{{0x6b4313a7783d2f12, 0x14020ff54a897932, 0x4046c2a063b2c35c, 0x0}},
{{0x802a4f03b9fa691e, 0x4f2ac4878d1560f3, 0x9206eb95cf946215, 0x0}},
{{0x29c18debf2864e1, 0xc0323f1e5b692862, 0x166d15731e4b68fe, 0x0}},
{{0xadbd4fb6f2ef401d, 0x8a1fb9d96ea557be, 0x684f7a92a2ae4aa3, 0x0}},
{{0x33280be998b14ba6, 0xdf635e39d3970103, 0x9243315454bd7fb8, 0x0}},
{{0xd8f6d6b3e30d847d, 0x9535bd923b786449, 0xcda5f774ba7290cd, 0x0}},
{{0x15fd1e2358db9e50, 0x3f5a2b89383f2f01, 0xb8d9022ec6781952, 0x0}},
{{0xb355ccf53374e176, 0xc507208c4d93978d, 0x846e0072bc306b74, 0x0}},
{{0xdb3cca1b830570ad, 0xfbdbc4ccd2c40278, 0x6c7c15149c5e182c, 0x0}},
{{0x2e0dc720de080d7c, 0xee8d7894024fefc, 0x81bacd8cbbd73486, 0x0}},
{{0xd03e0727b2af1283, 0x78cbade1161b5440, 0x5532d23a7c85fd19, 0x0}},
{{0xc8baf13254024ca4, 0x144310631edb3413, 0xdeeae8f6eaea3f6e, 0x0}},
{{0x6faaced62c0195ff, 0x71019edb57443067, 0x4b87e0602e5e2e68, 0x0}},
{{0x922ba1343a65b493, 0xa9dea4462ff1d885, 0x32fec2f1f7db79e2, 0x0}},
{{0x1a8b71f19ba33fd7, 0x3db1f590dfbe95f, 0xb58a4d315eef5d3e, 0x0}},
{{0xda03306cf51cede5, 0xfd051e034f4101b7, 0x4631f0f2ff7aa413, 0x0}},
{{0x16213e07af8d88b, 0x89f819d0202871d8, 0xb5e298a0c709532f, 0x0}},
{{0xe30cab2cce48d8a6, 0x99b5b17a012d283d, 0x52ae205b284258a5, 0x0}},
{{0xd4ea052f3071db39, 0x5eec01c139736f3, 0x5e5776f6a6080a0e, 0x0}},
{{0x9a35b7114d6282c, 0xaefb7461f2ab9fa4, 0x7e00585021fde839, 0x0}},
{{0x91b7c3d295e8e3a9, 0x96c8642053c23821, 0xc4ce07425a93c4e5, 0x0}},
{{0x6789c73022686ffc, 0x51b039da6cc0286e, 0x8617d74244600bb2, 0x0}},
{{0xd41afe0fcfaff978, 0x628aa28f0be0bd51, 0x8affbdb0f67b06, 0x0}},
{{0x3363383cc5a25b11, 0x149a05f04734fd04, 0x191a112bc49500b6, 0x0}},
{{0x13addb1bf6bbbce9, 0xc998f990445ad2eb, 0xfc2658c61c581dc, 0x0}},
{{0x6f557f3ef5032483, 0x25661b32c4904919, 0xadd4334819cd944e, 0x0}},
{{0x7d325b0ebff7c573, 0xce07ad8e9b205379, 0xf98fa0d3b47cc9f5, 0x0}},
{{0x80d1f18866923852, 0x2ee7ae59f28cf21d, 0xf0b75f83e79f5541, 0x0}},
{{0x24563b95d6cdfe4a, 0xbc9497da7f3cfcde, 0xeb8bf0fb10bef50a, 0x0}},
{{0x9cd17346cbb59188, 0x6f629038fb3f9212, 0xc8b2b68b506d7359, 0x0}},
{{0x333c4c15fb3998b8, 0x19309910a0c6af71, 0xfa9d7eeb93f31645, 0x0}},
{{0xc6c5489521a30d86, 0xdae7239d5349250f, 0xfdde73b3bbd75340, 0x0}},
{{0x27b655d334e08b34, 0xaf8974eac7c51d17, 0x13c82c516f281f7, 0x0}},
{{0x7fb96c8c90dc6ba5, 0xef70157bf3c314eb, 0x4b42fe3934d9817c, 0x0}},
{{0x93d5a1aa820787ca, 0xbd5a2e622e8dee6d, 0x28d37f0ee47e3433, 0x0}},
{{0xb27c4858f360f4b3, 0x37d8f4ca226c0d9f, 0x92964c6b77216579, 0x0}},
{{0xcdf782b5b5c86d33, 0x2834ab84a5258697, 0x618ab27f98040de0, 0x0}},
{{0x24939be314f58d2d, 0x56471ceffb9d6960, 0x55cdf5e251c28d5b, 0x0}},
{{0xbc36be87d86271ff, 0x70cff7212064d806, 0x53911548dd06753d, 0x0}},
{{0x109a69e03b12b744, 0x7dca4ac0c738f5cc, 0x83a83169fa857e5a, 0x0}},
{{0x39441324eead8a66, 0xb22c1157131ce840, 0x6d2b6d72a3f5e661, 0x0}},
{{0x99ee9374bd32069b, 0xc73445af0cc02886, 0x682b2ced0a38db2e, 0x0}},
{{0x211b7c782f8ea2e8, 0xf2afd84a14755a09, 0xe6437c49ccaae2d3, 0x0}},
{{0x8ff9b7a36d3ead8d, 0xcde2cb0126cf5287, 0x8675da2716d34991, 0x0}},
{{0xff9679af67069a4c, 0x16157008735228e4, 0xab0d03566d1e3896, 0x0}},
{{0x46cf1a41a7d3ec8d, 0x3007f413f1e8a770, 0x224ae8d4ffc00f92, 0x0}},
{{0x49b5c9362f173495, 0x8a819a6b95b43eea, 0x4f1ca1d52a9f97eb, 0x0}},
{{0xe1ce997c56af71e6, 0x95cffe0a206cdbb6, 0x910caae4f9d28500, 0x0}},
{{0x609b6ee0895e8553, 0xbab8b5ad62ced8dc, 0x32e64c82c01c098f, 0x0}},
{{0x5c84229caa8ac2b1, 0x368552644abdd422, 0xcfecb642f7901232, 0x0}},
{{0x744f8da7ff9e15ca, 0xa8009216e022e3bc, 0x22a153e6df0b1973, 0x0}},
{{0x8f9aa5dbc7e069c6, 0xb38dd936aa2e00b3, 0x19ac00a1cd8799d9, 0x0}},
{{0x19028d28941c9c3b, 0x37edb75a4745b3b, 0xc48fd81af6cdcb2, 0x0}},
{{0xe62e5415a56a268c, 0x8e520c47032566d1, 0xc61d3c7a769f7859, 0x0}},
{{0x77d36d92ab104f5d, 0x87192a6d9c538b9a, 0x8b310af21a1dfb05, 0x0}},
{{0x74cd46145ae89e4c, 0xebf1b81b40538454, 0xb90020e3c525ee2d, 0x0}},
{{0xb83bb4c2d1c36854, 0x23114f2fb9597823, 0xfa4a225db688ff2a, 0x0}},
{{0x4f887fbc03eee00c, 0xc01dc35970795a20, 0x967d236648bf2109, 0x0}},
{{0x799364a1500c0035, 0xf7f9a4b3cea4866d, 0xaa8b53a30a14f286, 0x0}},
{{0x45a4f5bb15a66251, 0xf7b181d3c33c8ff4, 0x2d836881bccb9867, 0x0}},
{{0xb2275177cca6697a, 0x710d7174f1044d9, 0x9e79f7a7ce648e0b, 0x0}},
{{0x9123ae50de4b749c, 0x102829aae578851, 0x3f9cc651343698fa, 0x0}},
{{0xe9856f9d574a2e97, 0xa3873dad7d2b5ad8, 0x42f6b827c1acffb, 0x0}},
{{0x11819a770872e55b, 0x60901813a2c718d9, 0xf4a6205da4f96ef9, 0x0}},
{{0x491870d9ae639f1d, 0x57ed034924803135, 0x98df5c4de7cb517e, 0x0}},
{{0xd322d26f8d6403c3, 0x49ff6a07f2235b4a, 0x7bc75513b46a9f02, 0x0}},
{{0x5556d53659fa5fd6, 0x87ecab63c36e4d69, 0xa7c8fe53e8d2163d, 0x0}},
{{0x719052894e684d9e, 0xbe0cc006fd3a3224, 0x9d4e11f2b89a85bd, 0x0}},
{{0xab42ba258ee20d5a, 0xf3bcdcd193e6a69f, 0xea270e738c7350a4, 0x0}},
{{0x664e62f863dabb0a, 0x4e613af82917711e, 0x18a92ddd845d1f08, 0x0}},
{{0x14ee4b42973ffccd, 0x105696ee3bd1b2a5, 0xe49c121ef2b0d3e, 0x0}},
{{0x6f45fed1b8250801, 0x927a465656006fa0, 0xe6d830c54da8772f, 0x0}},
{{0xf530b306f39c6116, 0xf4c6531dd4f9e731, 0xefa79516c20d53a2, 0x0}},
{{0x6fdcb93a79ce2f09, 0x77dd637a124da980, 0xf92e9cee8bfa1915, 0x0}},
{{0x251c8c19cf7328f4, 0xfd52f18cd645a3eb, 0x46b02657ed4529db, 0x0}},
{{0xd97a5e5fdc0e3ebe, 0xd2774ea8905f16f6, 0xe5f57ebc2941e178, 0x0}},
{{0x1dfb7ae30e85f702, 0xf7ed6dd00f52b882, 0x68358c0509c9fd58, 0x0}},
{{0x3d095dea9847afb4, 0x9908e6da8190903c, 0xeefc718818c0a90f, 0x0}},
{{0xb036f3a71718c1c, 0xbca05bdd1ed0e549, 0x33c2260c15e293f9, 0x0}},
{{0xa5e8db0da891fb4a, 0x31d1e8c9a573e02b, 0x54bbb7cad8811f3e, 0x0}},
{{0x10651fa5058acbf1, 0x9241dae95d65365, 0xbc04ae79a95ee0a0, 0x0}},
{{0x6cf757b2d34246fd, 0x7e151b35690817d, 0x7a0e7b5cef46855a, 0x0}},
{{0x16188369f0cb4538, 0xf33c28607a028b60, 0x545db9637fd0d212, 0x0}},
{{0x458f1d558ef84c13, 0x8728927a8881ccf5, 0x5da3a4e144febc01, 0x0}},
{{0x171408c5ab94f768, 0x70afcbcfd1a06bb7, 0xc34e44041bec32f6, 0x0}},
{{0xf5e0deb62ba6efd8, 0x6e0cb9cd555c2931, 0x734891863ef7f56, 0x0}},
{{0x3d9e06977e75f39c, 0xc18210e394b9ea54, 0x9b9784c407b02419, 0x0}},
{{0xfb7d535ae061c732, 0x683f83fb68bf2e, 0x34a8c6ffd65621a3, 0x0}},
{{0x8ae843197887b0f1, 0x7ad6dcb238bb0601, 0x58db9bbe502fb211, 0x0}},
{{0x847f1aa1ae85eda8, 0x91f5e513d769319, 0x436f667bc6556400, 0x0}},
{{0x4c8c3625e577a52f, 0xead71c07bfd6ba1e, 0xdaa2ab0ce7e2711c, 0x0}},
{{0xb2d1da0a4e621281, 0x65f7dc2d167ba498, 0x8157b8526c4ca0ee, 0x0}},
{{0x728be5f270f20a8, 0xeca65a550cec4b22, 0x1bedc5334cf55c31, 0x0}},
{{0xe3c07222e9a1416b, 0x963e2c0f592b43f, 0xc52926db4c9c2f4a, 0x0}},
{{0xdfcf9af4fc87b237, 0x4fc9d3fd81c5b1ce, 0xdba86fbafb47f7e6, 0x0}},
{{0xce3014b838da2b6e, 0x4b6c50a990cf2285, 0x97181178e5b49a47, 0x0}},
{{0xc84cd6c427471197, 0x271f7801df778e5f, 0x946664ad5645d500, 0x0}},
{{0x1ac5aa8f24bada0d, 0x1bc26e4501351d99, 0xb3ea15763dc0c4af, 0x0}},
{{0xe445f77f2b4ffdc7, 0x112174b4859576c3, 0xd7572622615da1a5, 0x0}},
{{0x3a9632d694ce154f, 0x8e2f862af6336e32, 0xc3e466ae38949bfd, 0x0}},
{{0x1a78c184dad2a453, 0x47e2f2f71dd7c6e4, 0x93210cf24cd3e7a4, 0x0}},
{{0x8f07c407a21ae933, 0x7d406849ad7f69ca, 0x3e39c9b6fec599d6, 0x0}},
{{0xba37f0d9c7adbb20, 0xc4317dc500fbf423, 0xf62acc43e9e46f, 0x0}},
{{0x9951c3ff9eabcdab, 0x3895b7f6c3ae895d, 0x86d3eefce69ff87f, 0x0}},
{{0xa053bb6827c4debc, 0x29fd07fcd52e2de0, 0x6a90d1dc9e0020f7, 0x0}},
{{0x3bcf6983829868c9, 0xe75cdd5c00d7df9d, 0xdaf222a9e99e29ea, 0x0}},
{{0x225bed16d393dc4d, 0xca0288da07031e98, 0x11984fbb8ce2cfae, 0x0}},
{{0xbb0caf101346d86b, 0x51ed4cb68658bedb, 0x7903ad80552fee5c, 0x0}},
{{0xe5ca748ff2c14f7f, 0x190a72a6828e14f0, 0xa0339fec97dd71f1, 0x0}},
{{0xed9c491ffcd6afc5, 0xbd82f82ac3034050, 0x66db43ae71a2bbcc, 0x0}},
{{0x86ffcf7d12aa69a9, 0xd5ad338eaec2474b, 0x6d71cb970d748ec9, 0x0}},
{{0xce9766311817a422, 0x3cd27ba61283f85a, 0xbbcabd2bb1347059, 0x0}},
{{0x430308b1317a42ea, 0x1202779c44d5e12e, 0x9086c114de09ec3c, 0x0}},
{{0x9797cb4740102767, 0x6c046ea0a6f714ea, 0x543a7ed6f4fadd18, 0x0}},
{{0xcb7a21fe7859b49c, 0x1ed9bbd7b5c1eb11, 0x9e7cd18813cc039c, 0x0}},
{{0x8b98986aacb870e3, 0x721f4ac72788a436, 0xba2672d4bdd0decf, 0x0}},
{{0x880c452773fa66f9, 0x5160fd180c5f55f4, 0x175131f0e8f4ca6a, 0x0}},
{{0x82b20a76418f719b, 0x3365c5d6e8f6fd15, 0x75d7dd0d7448b406, 0x0}},
{{0x9eb4ced9399862cc, 0xae4f42bf71fcbb02, 0xe85112da36acfd75, 0x0}},
{{0x53addf63be868a6d, 0x67de863a935c95f4, 0xa084628174360255, 0x0}},
{{0x748ba2be2d2e8525, 0xc636ac9323c67be3, 0xde8a97b62fb5f418, 0x0}},
{{0xbd97e76af76a7ff4, 0xafd2fe2e04d64ec5, 0x73061ca71d3b013f, 0x0}},
{{0xb9c2e7af1747bace, 0xe64a048e1e5e4fa3, 0x3b8e7af3a66ba9b0, 0x0}},
{{0x55c4364bea86e660, 0x3d3236126ece2a3c, 0xad29fc4c39665f12, 0x0}},
{{0xe85f0dddebc5be3d, 0x918f078d2a71ebaf, 0xe4b7eafb041e1c8b, 0x0}},
{{0x1b8e794c8e8d8fd8, 0x4d869367144a0db6, 0xfb2d4db4ff69da45, 0x0}},
{{0xe0f94199900705e9, 0x3e7a5a1176a0d393, 0x5500b2112a2d6dc, 0x0}},
{{0xdcabbfb41b202606, 0x67132fb8f590da72, 0x94c17003864edd62, 0x0}},
{{0x809c7c73c121d9e8, 0xf1d3c1e27d7a789a, 0x169f09f929ad22f, 0x0}},
{{0xa2ba274ed95c188, 0x323b675edf607a60, 0x7d8bd369400f0e51, 0x0}},
{{0x7097601b68bbc213, 0xf9ae0c1a0ccec8b8, 0x1f3c58a1a67fe1fb, 0x0}},
{{0x9b997ae8e77d8567, 0x1b8f17a6bd5b1d2b, 0x8e81c7535bed6b8d, 0x0}},
{{0x9e5bc08956a061ec, 0xccc051649566fdde, 0xec318991626722e, 0x0}},
{{0xb8447ed7a88f0924, 0x2b051c1053895442, 0x36b791ffc87e02d9, 0x0}},
{{0xe7c068c53648cf10, 0x9294320879c0d625, 0xf06fa71332b6e544, 0x0}},
{{0x66a700e02c3a2dbe, 0xbce6710d490f9d77, 0x3a15642149348118, 0x0}},
{{0xf05e4ef0ae01b42c, 0xfe1b03a6bb0f2665, 0x35199cd0e59253c1, 0x0}},
{{0xb581af2a7a672d2a, 0xae1ceb7c5f47fd5d, 0xc4ace2ff99967092, 0x0}},
{{0x3b5376ff64bb27d8, 0x6555a073e85cfb61, 0xc0c0d247374abcb5, 0x0}},
{{0x1b0995e8b5183b58, 0x57703e3196daed1b, 0xdade11a8d084f544, 0x0}},
{{0x9de132e8ae821e92, 0x677ceadc12680ddb, 0xc387f4ba52e013b1, 0x0}},
{{0x5df7de92c04f856b, 0x90d8b0cf2f07af79, 0x803e8a4fdb26b46a, 0x0}},
{{0xb8e2a13708ae1dc8, 0xe090ba1040806bc2, 0x8b13705874e1e11b, 0x0}},
{{0x8f9ba857ff4730db, 0x99d315b16f7def7f, 0xd4f1f0524fd01aa7, 0x0}},
{{0xed9c5d8599c099c4, 0xe29113604b24d74f, 0xf52810847d1a6842, 0x0}},
{{0x21582ef52a1f4ef9, 0xbe867bfa0b4d4587, 0xe19cdc36c4510faa, 0x0}},
{{0x645a17a41b15fe2e, 0x869194d0db8d97ee, 0xc877b22ef789025c, 0x0}},
{{0xa4d28bd860f8fa9a, 0x50bd686805dab8ba, 0xdef89151456220af, 0x0}},
{{0xdb2adbc002f8c16b, 0xd7fe6225a6f869d5, 0xd875591e902f36bc, 0x0}},
{{0x8e8897d1e16627c6, 0xa22d6ecf23d83539, 0x7b261c87c1cdafa4, 0x0}},
{{0x4562719b04590ea, 0xf5990db546f19eb0, 0x2a78177b2860288f, 0x0}},
{{0x80958b6e45ff5d7e, 0x73bf63233b9d8023, 0x4c02adb29b277388, 0x0}},
{{0x5976c8d25577198e, 0x1ceb3df6fe8d8ec0, 0x2a951138c06a5d4e, 0x0}},
{{0x4c3a884fa70003c4, 0x2db9a253508442a5, 0x27b82f7b54b73935, 0x0}},
{{0x39649b7d6e74b0ea, 0xa261557c3ae4bf6a, 0xc6c00a60fffcc6e2, 0x0}},
{{0xda2016a2aa10e81a, 0x5047bef54efb485d, 0xb7525b0ca488dcb6, 0x0}},
{{0x354e2b4566d0f328, 0xb191ff78447df75c, 0xd862a4f1aaffbc39, 0x0}},
{{0x246278e0c99f3ca8, 0xf2f23f22270c2106, 0x4257df195d24c3d0, 0x0}},
{{0x6f23ecb047bfcb53, 0x9ad07002d766ab90, 0x2a3e26ec8b486da1, 0x0}},
{{0x403435a555c7226e, 0xdd0150b574fb3712, 0xd264d846f788c5c0, 0x0}},
{{0xe24297ea7f6f64a0, 0xae3352b5f9591d65, 0x2af126f3d00b348f, 0x0}},
{{0xe6a6f4ad0ec97497, 0x1797587bcb0af407, 0x92f078cb85329032, 0x0}},
{{0x2ecf9c75167b0786, 0x7cc083cdbf178030, 0x95f3ab8b57cc5d1a, 0x0}},
{{0xc0792d06f9af49e7, 0x809945fa245b43d6, 0xd0e7cc8d25f4991b, 0x0}},
{{0xd4b231bd8751e5eb, 0xd3ecb481860f46d2, 0xbc093e598eb62d5e, 0x0}},
{{0x747b81eb11fc64f8, 0x175dcc9b17ab2bd6, 0x342bfd5cc1b4861b, 0x0}},
{{0x69c3bf0f27b8aeef, 0x1eb286a7bdb9444d, 0x558045bb12f04719, 0x0}},
{{0x688167f397ee6386, 0x5a89865241c52091, 0x82bf1208efb4aef4, 0x0}},
{{0x186ff5b1554dc93b, 0xf0ac3101842789e0, 0xe5f9d23bddb29750, 0x0}},
{{0x18d280567eac3335, 0x4a2a52d13704a599, 0xfa114dc263083049, 0x0}},
{{0xc9925e41ea3915e4, 0x8b48bc5f61c32d52, 0x12e1adc4890747d6, 0x0}},
{{0xeb5450543b1b0644, 0x8a9ab2530a2fe65f, 0xd00d504d55dd7d93, 0x0}},
{{0x78e665ae08467426, 0xcf9aa583a6e5bb3c, 0x5b162b6b839a8095, 0x0}},
{{0x1f03889d91a15ebe, 0xf2628b6f01d56798, 0xa1030d72ec039fae, 0x0}},
{{0xcd03d7294b486c8d, 0x29abf40f30fdf201, 0xa3e0f6337d18527b, 0x0}},
{{0xa3f701fab4b41ed2, 0x7915965fd6b75aa0, 0xa2794bb9c1120eeb, 0x0}},
{{0xf352179a71c0f0e8, 0x59890a6a3763844f, 0xba731ec87aa1d56a, 0x0}},
{{0xa3d2197e3f78529e, 0x4cfd13a5e6134893, 0x4483a6776665e770, 0x0}},
{{0xe1fca432878ae3b4, 0x8fd75821a0989ab4, 0x5cdbf5d5a64325aa, 0x0}},
{{0x14387b2986c11275, 0x3720b568edb5d33f, 0x2ea62df909f47134, 0x0}},
{{0x53b4e03e14423ab6, 0x1777307e8ae58ca0, 0x54de7cf8016dae5c, 0x0}},
{{0x91bba30222bbc643, 0xfdcfdfbe3a959e26, 0xed0f0d835abded41, 0x0}},
{{0x2872daf7e384a53e, 0xf07ee12c5aa2a573, 0xc1d8da68d2d48cbe, 0x0}},
{{0x16b769c72676c6a0, 0xa33b8c1666489099, 0xb4452a7746d78db5, 0x0}},
{{0x92838bf372483acc, 0x19e94202b51b4d3a, 0xcc46c9d2be0e2fb, 0x0}},
{{0xd281b377cd44b703, 0xd1f08247e29a8279, 0x82c559fa1e739ca5, 0x0}},
{{0x91b2a92e490ca8f9, 0x5d362fd961579715, 0xb8ecdf49b943124d, 0x0}},
{{0xf3ab567bb40d96e9, 0x2b8085e49bf83a88, 0x5af13a8334bcace1, 0x0}},
};
#ifdef INCLUDE_STANDARD_MATRICES
alignas(32) constexpr static std::array<uint64_t, 4> m2[192] = {
{{0x28fd614418efdacc, 0xd1681f3aca80cf2, 0xa1f0ca52bbbdd190, 0x0}},
{{0xae626ad4248e2d56, 0xead6d110687c9375, 0x606951df969b5343, 0x0}},
{{0xf39fed5c365edaf3, 0x7eed8be46267fa68, 0x2699592e9531d8a7, 0x0}},
{{0x65b514fd0a49e785, 0x7e0e95e3ecdc0080, 0x862a3ea0eb9400ef, 0x0}},
{{0x6f3429551611b3c4, 0x774de27cbfbba5ef, 0x8342eb7aa74f79ff, 0x0}},
{{0xa0d1c82f49c18489, 0xe75e814c53581341, 0xb34beb4bfdd068ea, 0x0}},
{{0xe142efd16a8fa131, 0xeaa37c4d3f5df8ee, 0xeb9a6ed025a360b2, 0x0}},
{{0xa3ae1ec29fdeaaee, 0xdc262a4edd89607a, 0xe3b5863e7846b68a, 0x0}},
{{0xf57748b04c6f5c85, 0x118989d70edfbe11, 0x15a5c1e129538069, 0x0}},
{{0x9e7e0dbee2ea8d06, 0x86eb0bc39f88b276, 0x73c30a30049879c8, 0x0}},
{{0xe83d960cfcf50590, 0x2f66e9046162a2c3, 0x31e3920370080c4a, 0x0}},
{{0xb8b20443982e5ff6, 0x6b10c8c65b2e7657, 0x811fd30feebf0145, 0x0}},
{{0x51bd531d123abfba, 0xfb82922f8326fe25, 0x78cce38a8038762b, 0x0}},
{{0x4e035b74f7e6f346, 0xb067e20bb5dd65ca, 0x35a8de5f261a0367, 0x0}},
{{0xe4dedd628a005e7a, 0xde1b2db5b2420fd5, 0x1e1135ce4417f33f, 0x0}},
{{0xf949a38f2c13b8fa, 0xdf2585dad1cc74db, 0x64fafff8c888d727, 0x0}},
{{0x4108ab4af61c2002, 0x3cc4099f7b0b366c, 0x7a7b72ca92a76077, 0x0}},
{{0x9eebad1cd8edd0, 0x1219d48782258076, 0x62b2f1ae160f54a1, 0x0}},
{{0xcdebdca144bdb108, 0xea9433ce085285, 0xb1f10c6bd743ebbb, 0x0}},
{{0x62d5ae17a86b085, 0x53de27747b3a9ca2, 0xe732683c78c7c2b5, 0x0}},
{{0xdce6530871f46d2b, 0x85db3f4bb08f2778, 0x8354dc4323dd3c08, 0x0}},
{{0x791eda57e0d763e7, 0x56c9e401bd9e3e93, 0x1544fb2959cfa821, 0x0}},
{{0x1b8261e81763685f, 0x166fe2cec33a99ec, 0x4a22d2b3a507d902, 0x0}},
{{0x80c323fd065afb23, 0xaee144290b601690, 0x36d6da7d464d01e2, 0x0}},
{{0x4fce28a678603d92, 0x5d7d1ad8d1b8f607, 0xa31c7110242239de, 0x0}},
{{0x503ab39f323d316c, 0x4fc9fe3d40303c41, 0xd67dbf92409d830d, 0x0}},
{{0xfa869bc9f5e3e46e, 0xd2de73ccd7aa014c, 0xfbd544873e2ebfb6, 0x0}},
{{0x6d9eb7f09967863a, 0x9009a410e0a74a28, 0x408102a4407d5b40, 0x0}},
{{0x1fe16a376266381c, 0xc0ee485300221ac7, 0x3f44a7632a717074, 0x0}},
{{0x151e3bf84a6ce98, 0x6c0771672a596da6, 0x432c060760d6814b, 0x0}},
{{0x979adaa748c93515, 0x8910af8795e298e5, 0x1561268431a39d5d, 0x0}},
{{0x48d987dded1f6b6a, 0x30ba3db4a9c8fb71, 0xb64ce1cf17d5114b, 0x0}},
{{0x9c1d29d88f7b5a76, 0x3e5d9205a105f297, 0xcb07b60c2c0a2b23, 0x0}},
{{0x6052de858b05e6c1, 0xc97a11b8f944edf7, 0x6f28865203d79d79, 0x0}},
{{0x7d50c1340a8b68a0, 0xb3c76e6c600ea836, 0x5dac3e5cbafb0dd1, 0x0}},
{{0x99a2d0704db78786, 0xacefc692e0f25d2c, 0xe8fcacb2bd994ef6, 0x0}},
{{0xd7ebb650b5f4757f, 0x34378baa4faa5d4d, 0xd36a2a3e7af10126, 0x0}},
{{0xb9e3c20450ff962, 0x959b4b3ff11303f1, 0x2c2c3e8565643fa1, 0x0}},
{{0xedb0805c147d7d49, 0xe12710545943a891, 0x1cccd5603f72bd94, 0x0}},
{{0xb7747f0457f52abd, 0xfd43011bf10b724a, 0x3587f80c15789659, 0x0}},
{{0x3202dc820c886a16, 0xad984d44fbc35f1c, 0xfb872ffc3df61eaa, 0x0}},
{{0x2f3b256d5bf0e246, 0x3d50228619015ff5, 0x5640a700f023a824, 0x0}},
{{0x8da29b819d386f08, 0x5916a550a326b03, 0xf120e67af0660976, 0x0}},
{{0x2324a571974efc34, 0x41959bee477b089f, 0x9edec6a6c553a83b, 0x0}},
{{0x26830b9b5d20ec4c, 0xdbcf1f3d0f28d2b2, 0x648808ac33a9b23c, 0x0}},
{{0xb5bbb6e551dc9fd9, 0x2a8a5fa47715aeb3, 0x2067aac9a4e226b9, 0x0}},
{{0xffbdd0dfe5b2a323, 0x980ea679f559dc12, 0xb8e9acf774737ffb, 0x0}},
{{0xb0502e22e70e3305, 0x76e7e29966219e34, 0x3ba24c42b871c0b7, 0x0}},
{{0xedc14482da50c33c, 0x83b3bd6b19310e04, 0x921ed3d8f50ff561, 0x0}},
{{0xe7f8c5fce1a496d1, 0x3bd0d49bd688b4de, 0x249cbc5772c75f5b, 0x0}},
{{0xddc887866af0147f, 0xb4ca579be4b93d1e, 0x42e1d0b1a57a2cfd, 0x0}},
{{0xb89af7fd40d810d5, 0x9e56dcd352bd5d3e, 0xbd08c1f1ff46eb13, 0x0}},
{{0x2f342c34ab6c4ca6, 0xec8f1a5b6601f93b, 0x6f230b5fd8d483c, 0x0}},
{{0xbe8fc32cb6de4172, 0xc628b1b8b5a0b20e, 0xb9a9aa9f5ecf25d4, 0x0}},
{{0x91d31aa81b203ae4, 0xbc7580f55e387a40, 0xc928cc927ef1ac36, 0x0}},
{{0x5cf606e4214670d5, 0xf9dde724a1dd4d8c, 0x30d5c543f86b5e22, 0x0}},
{{0xc033fa32093cbcc1, 0xd123d2aebca1a2f7, 0xbdde0dec24663b41, 0x0}},
{{0x44155e0a0b48975a, 0x68c523731370192a, 0xb66d1bcd0fa7d455, 0x0}},
{{0x486c5399267a489c, 0xa1a13fdf11308544, 0xfb3cd9318dda5a2, 0x0}},
{{0x28a9f1e9c0ce684a, 0xb7ea46ec3090fdca, 0xbc9206372acf2d4b, 0x0}},
{{0xf56af023338148c3, 0xe81977ebfd05b10b, 0x349f9628281beb2e, 0x0}},
{{0xf41a9e9a0430415b, 0x5411f0b66e0a6fb5, 0xabcaa9018ced6f6b, 0x0}},
{{0xeeafe8068dd14cbe, 0x279a010d362736b0, 0xfbf538b7e1e6164, 0x0}},
{{0x816070265d000981, 0xf04f10966b48576a, 0xf319a754aa0dbdc0, 0x0}},
{{0x2037d64d2aed9326, 0xf9dcc148d2059c68, 0x52b25558d43abfb1, 0x0}},
{{0x18b037865d1baf12, 0x35d00881a05c6ba0, 0x392f5104f21fb0df, 0x0}},
{{0x67c14aa82e527dce, 0x2d161ccf226d62a, 0xe5a21c338cb2320d, 0x0}},
{{0xb785ad9511bf639d, 0x4c57cabcf854313a, 0xd46a9decdc4ce12a, 0x0}},
{{0x9e2b41bee555abb3, 0x6232a2600cfe928a, 0x6fd7cbc5f1011973, 0x0}},
{{0x7cde14c77159dc5c, 0x991bd70d62f29cb8, 0x92cb5794d25a6fe, 0x0}},
{{0xb3f1715fe0d67572, 0xbc24ae5678b72f9, 0xfc475526022fa5ae, 0x0}},
{{0x6388ef47ea8885e3, 0x57c133955e2ad5f2, 0xb547168a90a2ea1d, 0x0}},
{{0xa8b517a9a2304fa6, 0xdebc72b0de0349cb, 0xd81d1383cd555d5e, 0x0}},
{{0xadc8efeba0c88f3d, 0x7492ef65780c743f, 0xcbe4fd7ebacee17e, 0x0}},
{{0x8026ba6247a5601a, 0xe6973d805246e37a, 0xf0bfed69cb5add2b, 0x0}},
{{0x3430195f8c690385, 0x83c27674e0cbba9a, 0xdea930a2207ad5ce, 0x0}},
{{0xe43a01298b1e9c3d, 0x6074c62b12242076, 0x71b808a0d19a72a0, 0x0}},
{{0x90c6bba17ffa39ed, 0x9000864b29b52ac, 0xe474ec0e58b25343, 0x0}},
{{0x59c2a6d8385ed1e7, 0xaa2b9c9b8b71e30f, 0x9aa333fd5545558e, 0x0}},
{{0x2e743d9584442e0f, 0xb5c113f0398d4289, 0x860e3a4637596b3e, 0x0}},
{{0xa444995f40d42fa5, 0xc417aceb8ef02193, 0xfcd24a3ee4824a56, 0x0}},
{{0x6fd6ec426dcac79f, 0xc427711e32b0f6d8, 0xc76981ac79fdd737, 0x0}},
{{0xb388cb269dd59fd8, 0x90534dc8cf1e1aac, 0x759088c62e850fc3, 0x0}},
{{0x7613d432f4a71266, 0xcd27c0f07f1f793, 0x30853026d7ca8b36, 0x0}},
{{0xcc238c1594426b1a, 0xc2e39fa96d6cd478, 0x2a6819eea28ccb63, 0x0}},
{{0x4cba398b89e2c9d8, 0x51f678f77b6adabc, 0x620aa85df1e6a5b5, 0x0}},
{{0x1069daac35e228c2, 0x8165d6e47a94e675, 0x2681a056544c76a6, 0x0}},
{{0x43d0102a5b828b87, 0x9071ac3ce58988c7, 0x2d428ceff948aa6, 0x0}},
{{0x811f3bb36f68f76c, 0x6d6dd56b74d24a68, 0x4d3eb1e41fb77d92, 0x0}},
{{0xc98723d3a1f77ff7, 0x3894831c1705961, 0x2e4a3e0217ad76ec, 0x0}},
{{0x2765e76619c489ef, 0xf02b5844f9f8a2be, 0xc0168d072163ba3c, 0x0}},
{{0x497d18b85e9638f5, 0xeede03e9fa73c8da, 0x3e5a89b1b59aa8b2, 0x0}},
{{0x3f9fb86acbe8eb29, 0x61111f9bb5b279e2, 0xa48baff1879bb38d, 0x0}},
{{0x193fa93d07534a95, 0x8e53b5ac698381ac, 0xe34bf6cd30a67388, 0x0}},
{{0xe6e0c96bc2e406a6, 0x98fdf3aa625be66f, 0x17f3c72f690c4e43, 0x0}},
{{0x17c2cdaa5821285, 0x54ea7c7b9784ed6c, 0x84b182f8dba82b21, 0x0}},
{{0x48562bbd8263594a, 0x108735b77321e2ce, 0x1b84eab761bfe336, 0x0}},
{{0xbf2c099889447a0e, 0xc2127fe7f3e5cafb, 0x3a024edaf81555e, 0x0}},
{{0xb398f02e375ea26d, 0xf245de2e27aeb6f9, 0x7d61f788a92ba6b9, 0x0}},
{{0xf2f572baf426990e, 0xde660443c0185cb5, 0x9c2f7537ef3109e4, 0x0}},
{{0x19cc6a30561d0cea, 0xb9b694470fedefb0, 0x7d3a475645b3ed8f, 0x0}},
{{0xf2d0523c86b7886d, 0x7f86626e9ffb107e, 0xd022fb5188ead4fe, 0x0}},
{{0xac9e2db26735669, 0xa0a30ae16b9538b, 0x923b8d79b35fecf7, 0x0}},
{{0xb3921cfd8af37b7f, 0xd53bb827990180e7, 0xceaf6cff0080c405, 0x0}},
{{0xbd31efc62a5c4040, 0xf3747cab6f06e50e, 0x466a371c6c6cbf6d, 0x0}},
{{0xe1111c53330f84cf, 0x400421d21762aab7, 0x4fd849f619357925, 0x0}},
{{0x5b04d6650659e48f, 0xbef298b00ad79ac, 0xaa6c1ce9c2e49624, 0x0}},
{{0x315b8218a209bd4, 0x72a5258b61d74750, 0xf794f900b7186d3, 0x0}},
{{0xe1db4195ddecc46, 0xfb799a7eb6dce521, 0x3abefaa62c116dc, 0x0}},
{{0x37215fad455d3873, 0x85d269766a532bec, 0xb8d0e0de154031ca, 0x0}},
{{0x132ac66c9ac6a9f0, 0x50f39a719efa1d68, 0x7f700e509236dc0a, 0x0}},
{{0xc24a3326be95e6b6, 0xbff76b0d4fae5b16, 0x38803666053d5785, 0x0}},
{{0x839c64faf3f89e10, 0x1b92e5162e040342, 0x38e9258e63c2e93, 0x0}},
{{0x700ac63e3734cec7, 0xc5a8540e3ff4e1fe, 0xde27e43edab2dad0, 0x0}},
{{0xbbafeab81b7998f, 0xccaf1d8ab1f580ec, 0x4d1be701fb19cc15, 0x0}},
{{0x9f9e00ea99c61bfe, 0x829c8d74ae4251f4, 0x5850e17a8091fe1c, 0x0}},
{{0xf341c454af77ee4e, 0x3d86b53b29a34e80, 0xce9a584c29c7a2f4, 0x0}},
{{0x2d72e9b8671356b6, 0x8f46877142be836e, 0xe19d57606b115bf6, 0x0}},
{{0x6b644baa91e3b148, 0x26318ade3aa731cb, 0xbc9a855f4dbf7c15, 0x0}},
{{0xff092e1cf73d593a, 0x13214c15459554cf, 0xcf01e4b9e8bdfbed, 0x0}},
{{0x5e67e10785c8a465, 0x3e58fb2bd3e431d5, 0xfaf185c2a9b12546, 0x0}},
{{0x38cc13e5e243f58, 0x16e12483fe248bb7, 0x3c85dfe6516710ae, 0x0}},
{{0x2fdff49e5ca292b5, 0x9fad30ec15a89496, 0x7df7fcd1c9e1e4, 0x0}},
{{0x356dedf502f5d511, 0x57e1f8cedb646a02, 0xab0f6d6dc898c722, 0x0}},
{{0x534533b21a410eba, 0xf8359e6d14c667c5, 0x86694b2f41bc1575, 0x0}},
{{0xe7ad12a11c4d7086, 0xbb2dc609f7e281f6, 0xce2b1ff903c6f1d, 0x0}},
{{0x712926cb72224c3b, 0x64dbb97d3f6fbb73, 0xbc89188fb795b51b, 0x0}},
{{0xb8cffc6ee3345820, 0x882d84817165b856, 0xf690f33ba3ca1e35, 0x0}},
{{0xe56a143b4c924103, 0x4cde69e7a5462ca2, 0xbe634068ef10feff, 0x0}},
{{0x662072a2097bbbcf, 0xfe68a77a8804cf0d, 0xd8ebe16edb135f02, 0x0}},
{{0xadebf4ef54e0b694, 0xf036b9935358e516, 0xdcfd40df24718fb3, 0x0}},
{{0xbfbe3f926a7bc702, 0xf19b9358a1a13fc9, 0xde7b55fd5576bd7a, 0x0}},
{{0x144dc81fdceb5835, 0xfae1357abd0d35d9, 0x8c89979805d3dcb4, 0x0}},
{{0x6e6517f3f536fac4, 0xd0d2f41bb30f8882, 0xb828ecf2035a08eb, 0x0}},
{{0x1ba9a81e67865b6a, 0x2116d32434aa849d, 0x212204416f871a48, 0x0}},
{{0xdb2cc003e11ec3b2, 0x6dee240d99f34a6b, 0x7aea15855a367135, 0x0}},
{{0x6445a41f08a674a0, 0x2fd8fbd4738033bf, 0xa1f2180c0b160a8e, 0x0}},
{{0xb46ff6098f9292d2, 0xfbc818e046e25bf4, 0x564e1ec112dcd87c, 0x0}},
{{0xeece01e393a5d07e, 0xe48c654be5a747b2, 0xd064295e10559a05, 0x0}},
{{0x6619aa014cfdc24c, 0x7fca20ce939121a, 0x764d792c1ed40ec5, 0x0}},
{{0xf4721d2c260302f5, 0x176cfaf11ff7bdb4, 0xb0f8f27319e19875, 0x0}},
{{0x9ef7fdba3ee10bdc, 0x432a612eedd33ea0, 0xaeca9aa69d5bc6cc, 0x0}},
{{0xd350e969b517b5b8, 0xf94f6506ca13ed0, 0x51ffe82ed4885de7, 0x0}},
{{0xc9eb482430325a3, 0xba96acc809924eef, 0x325cea814c29e8a7, 0x0}},
{{0x2db5cbdc8854dc33, 0x731a13266f10145c, 0x537e655b219bdd78, 0x0}},
{{0x4e5e527f27a7d0ee, 0x25fa352ff9bfee65, 0xf5098ab28891bb1c, 0x0}},
{{0x81c565c50d6ba35e, 0x37f4d84446c3066, 0xbdf3883c8828d16, 0x0}},
{{0x222c037c8ce2c685, 0xfbde50c84edf0cbf, 0x82d7bdb405d417fd, 0x0}},
{{0x272353d780851003, 0x7c163e4cce6dc92, 0x908af88837bbf7ee, 0x0}},
{{0xca09b1b7d98e59c8, 0xf76159e067962bb6, 0x794ee417dbeb499d, 0x0}},
{{0x3d011e51acde29c0, 0x8e10a5697a85b927, 0x6db39a0be8e00c9c, 0x0}},
{{0x45d5f41832608558, 0xe6448ab0a4dca9f2, 0x8e6873c1dada77d3, 0x0}},
{{0xb469b443c4824445, 0x8087458265a722fc, 0x28426b0d2bc6fa9d, 0x0}},
{{0xc88c7359c3291319, 0x30816e97414b33c3, 0xd7295de893d46ae6, 0x0}},
{{0x4573c14282080009, 0x532a24dbf970da02, 0xd3444170814994c3, 0x0}},
{{0x85d01eb32d474ef8, 0x5b29560b15beff02, 0x1ae2d69077614421, 0x0}},
{{0xc0fe75c51bc0fcbe, 0xdc9cb3b85d066126, 0x4488a1540b929c97, 0x0}},
{{0x1c70d874ac1072a2, 0xb69f3e617adf2165, 0x5603aa56e0b74f95, 0x0}},
{{0x958d53dfbe86b4a9, 0x44bac72c9ebca340, 0xcec4801b5972621f, 0x0}},
{{0x7ef3d8a3afdd57bf, 0xc6fa4f05d088d2ee, 0xa540eb6b7c09f711, 0x0}},
{{0x1be36a7a203f7cab, 0x97824d0a34f8e4f2, 0x6f886e83b98e0fe5, 0x0}},
{{0x8bafe14430713f89, 0x1749926321b523e8, 0x86e208ad933f2308, 0x0}},
{{0x351fbc5943878800, 0xcc0d332fd4377df, 0x178196016326e5ef, 0x0}},
{{0x696bf17591b6aff6, 0x34670d4552e32a82, 0x22da27c00a2bdf84, 0x0}},
{{0xbbf30d5b59741db6, 0xa1110785b14224ec, 0x318f7862acf675af, 0x0}},
{{0xb0c28773327ab128, 0x5db7700dd2ab27fd, 0x71386dc980faf69, 0x0}},
{{0xc1565d199d8f901d, 0x47d800055d39aaf7, 0x38152eac318fb360, 0x0}},
{{0xc9f9848b306e8d13, 0xc456d96fe5e379be, 0x587504b20191004f, 0x0}},
{{0x4537c7ff333e4c4b, 0xe39d79ada9018383, 0x91ed7baf16d92faa, 0x0}},
{{0xd242c7dfeb4860a7, 0xac0ac9e35d2e2bdd, 0x4f7722083de51871, 0x0}},
{{0xacc126d910c0e425, 0x28d3fd6353aa53cf, 0x46935816a90154c4, 0x0}},
{{0xb0e64aa5eb181a9b, 0xb4d72f777e16fe40, 0xf5b0199054f810df, 0x0}},
{{0xc0c385606d912309, 0x6e29bd12a95392a, 0xd6bb5162a7eb32c6, 0x0}},
{{0x26040d6f3ab23ae3, 0x3f561f2916e33283, 0x66e60732d728e355, 0x0}},
{{0x6a3d9e8bb93fd3a7, 0x7a2d3e0991f8be8a, 0x327c0263003f59a6, 0x0}},
{{0x2645277cca2cf06f, 0xd9c8086b72a61b82, 0x4258fb99020b4058, 0x0}},
{{0x83e3d34d38c8b49, 0xdd9ab7c40420a66e, 0xe568b1177a55c8f3, 0x0}},
{{0x46145745f513a40f, 0xca810bbaa80ec62f, 0x510dbc45325934a, 0x0}},
{{0xa1e92cec1b91c9c5, 0xcf56920e96ad6656, 0x66038bea519e7820, 0x0}},
{{0xfbd0bb0dbad1e210, 0x8cae855521b55c44, 0xede15ddd96169c98, 0x0}},
{{0x76a7a865cafe1d6e, 0xde70210579b063e0, 0x4ee2dc24dadbac7e, 0x0}},
{{0x53121fcbb68ecd2d, 0x100723de516fe67d, 0x668a7e0d80e239a8, 0x0}},
{{0x5f965ca4cc7bc670, 0x68cc396a9c04932c, 0xb3796108742c5460, 0x0}},
{{0x583f7fbfe0aabe08, 0xa855b489a66a2229, 0xe10c31b71f3957cd, 0x0}},
{{0xaf55bff051e94d0a, 0x2efc17cf85a04046, 0xad5f1456522c0e69, 0x0}},
{{0x6415267cdb7f4680, 0xa3de6e9f3a2c3bb, 0x5cd46257a24b7cc0, 0x0}},
{{0x8bb989fe2982c515, 0x65ae276b928dfe43, 0xa86181f9a21f867a, 0x0}},
{{0x23175f811741164e, 0x3f1ee4f341850b3c, 0x680ef4ed11058637, 0x0}},
{{0xbbfc094c5168b8d1, 0x8beac56846da50f, 0x461f30105848c96e, 0x0}},
{{0x55994eb4150097e1, 0xc430f9bc841f6b91, 0xff12ad33b9d092b, 0x0}},
{{0x72ed0ac09d3bfb8a, 0xd5f0fad9fb0659f4, 0x425b2ee4899929a9, 0x0}},
{{0x429d3a677948801f, 0xd9d8e41df084b1a7, 0xd95d78689c73b05f, 0x0}},
};
#endif
alignas(32) constexpr static std::array<uint64_t, 4> m2_transposed[192] = {
{{0xb18ee0d240f8016c, 0x4d0626e4be83fa98, 0xb427ffc3c7199013, 0x0}},
{{0x7a3443398df1fa86, 0x70beb69b46dac5d7, 0xc912eb99b01786cb, 0x0}},
{{0x44dd9b9956682b9b, 0x253e9eaeef8bfb2d, 0x8c36c658910e3c36, 0x0}},
{{0x6e0534d0be54d0a1, 0x52dc06ff1536b62c, 0xc9b39963dea66c42, 0x0}},
{{0x66af29917942dc46, 0x5ea9e8802a36167a, 0x944808d89a857694, 0x0}},
{{0x407548b58eb0d8c4, 0xd5a8e0f45f0973d1, 0x2070e639f803d5d0, 0x0}},
{{0x3bee32738662e897, 0x35a7bf50f6c60e4, 0x3855a10809e63e62, 0x0}},
{{0xd5da208e212a9dbd, 0x342ece10eee7699c, 0x72046a1bf86af3a6, 0x0}},
{{0xa221e478c3b63e5a, 0xacc488917b76bdf, 0x653550ba82e4e0cb, 0x0}},
{{0x243e78ba8a0789d, 0x163b88c6f39f8b1b, 0x6ac9780aaa0c3aee, 0x0}},
{{0x43163c5a6d125f2a, 0x5b339650430793e6, 0x2ff2059bd989c10c, 0x0}},
{{0xdd503de5b1d2db87, 0xd29f78bb3ef5b336, 0x51b5299f18612072, 0x0}},
{{0x3cea871538cf915, 0xaeed28cb8b0c7065, 0x7890e873f2334776, 0x0}},
{{0x9c0dff6d7ffb0da, 0x2350e4861b51a45e, 0x508ab62b7044c126, 0x0}},
{{0x7cb11f77a4f2690d, 0xe8b295c33332456c, 0x476cc701b92b0df9, 0x0}},
{{0x3037a2a2c8eb2fd, 0xd57de2c15a652b3, 0xf4efc4ec508f4eae, 0x0}},
{{0x500000efce648579, 0x38f4a6f1220c0c3b, 0x4b4e50478a16fc1a, 0x0}},
{{0xca0c82dbce8bbc7, 0x447c52edaafa704e, 0x46f261ed496ed3fb, 0x0}},
{{0x9b2a8faba3d2dc7, 0xaa9ef33e4e0dd459, 0x231c1ddc8734de0, 0x0}},
{{0xf38ad65c2871bcf, 0x2181371411027aab, 0xd3f1cbe18664089a, 0x0}},
{{0x652d66d982b79494, 0x88b7b5f42a05717e, 0x425e793ba0414aab, 0x0}},
{{0x255656d93f543f01, 0xced708e953682d09, 0x53d0e1bb028e2d3e, 0x0}},
{{0x4ebd2ad15df227ad, 0x395975c77777ea75, 0x9b5806b298cd281e, 0x0}},
{{0x582e639c643e26e3, 0xd4dd0a0deef26c9, 0x5bd344cd17a2f55, 0x0}},
{{0xd3d2febb8c5020a0, 0x81ff3206b7e6343a, 0xff075b5c9a26c6e2, 0x0}},
{{0x16758a8712c972dc, 0xdab3cff579803585, 0xa3dab24d682b648, 0x0}},
{{0xe420ddf9a4c7a596, 0x27b2b47ca95eac16, 0x68621040e94e7a75, 0x0}},
{{0xc355170fc90acde9, 0x3618d9821da67887, 0xc65cfa50f86d2b1b, 0x0}},
{{0x90613ed00f5b3c95, 0x76cbd21c0cdc602a, 0xfb2f65fa50a06434, 0x0}},
{{0x14b6c0109739a646, 0xc0b3834c834a63f5, 0x84aa7ba3e8c270e8, 0x0}},
{{0x880ff2a8d53d2760, 0xc6a13018598b24f2, 0x93d39a14032088fd, 0x0}},
{{0x4833cc13ac216e80, 0x81ddc8abd23c9bd0, 0x42fbca48e77946b0, 0x0}},
{{0x1c087e02f6ae9878, 0x69043ec16331bbe9, 0x88ba6ffcdb764fb5, 0x0}},
{{0xf305d1007321caa0, 0xd74f834cd7af0ef2, 0x84a063b1cd32a5ff, 0x0}},
{{0xc0be62c6f3a2b63f, 0x8f92e5a5245588fb, 0xb6dfab0a703f1154, 0x0}},
{{0x2e6a5241a6d3962c, 0xc6ef70eff8e15b55, 0x16ace7d5428b7355, 0x0}},
{{0x251a585dbaa0335e, 0x1eb312fbab19c858, 0x2781877d6afb2179, 0x0}},
{{0x99faaa2c79ce6328, 0xba6fecbd7dcc3714, 0xa7d5b929a82a7427, 0x0}},
{{0x88a6a598ce968df, 0xc81947c0d6034ee1, 0xd736b73f775f4424, 0x0}},
{{0x2ccf7503efce83ca, 0x7c6d21cb8b60e33e, 0x6de44f80d835a42e, 0x0}},
{{0xc2e1e85aed3f255, 0x1b60a1036725bbda, 0x1dabb37a563d7428, 0x0}},
{{0x27ecb492febbb4c2, 0x70c6e57907446787, 0xebaacf214a5b0a2a, 0x0}},
{{0x229fabb288044ecc, 0xcc977780841ac3ab, 0x2be7f7f419c4b32d, 0x0}},
{{0x635095a3552f63f6, 0x88e42b93f977ae8c, 0xfdfd6855a8417858, 0x0}},
{{0xbf4865ba4e3c7488, 0xb404beac19e9ad63, 0x89eb404cfbf2b22f, 0x0}},
{{0xd918aab13bc38057, 0xdda5995db722e6ca, 0x839d840f13a4eb4e, 0x0}},
{{0xdf2b418e707e7167, 0x8f77657c444e02d5, 0x28c20b4bf6976296, 0x0}},
{{0x792e6d5eee27c464, 0x8f365d44745f6689, 0x51853aea5a1ebd4, 0x0}},
{{0x4b617211b08cb52d, 0xfd903b483f58015d, 0xef94d59fc5f52b74, 0x0}},
{{0x71e8373a4ff66bc6, 0x852ec081333a7431, 0x8f11b7f9412b60d, 0x0}},
{{0x46b048a10d3a579d, 0xbf491c1bbf03a529, 0xdbd3e946528fa7b8, 0x0}},
{{0x7c2e6231cb2fd685, 0xee8fd056b96412b0, 0xf485408e532a8edd, 0x0}},
{{0x23dae2e7ea225f3d, 0x42d1badb9aa9963, 0xbfeb41d4bc83f808, 0x0}},
{{0xdd926ed8121c1f9b, 0x6964610aec709d53, 0x5495499bb51932ef, 0x0}},
{{0x94c78096b194c363, 0x9d708079ccc3e264, 0x510c9ef9bd867735, 0x0}},
{{0x48ef7478ddd658ad, 0xa60d00fc52a663ee, 0xf45c1cb3da85a44c, 0x0}},
{{0x90576efc796591dc, 0x7efd6f96bf8642cc, 0x3d6c01df4cd540cd, 0x0}},
{{0x40325bb055482296, 0x37ddfcee548e80dc, 0xdd7ae213803a6cea, 0x0}},
{{0x72b776d5591c631a, 0x2da83102543b9a3c, 0x2352a504edd3bf3f, 0x0}},
{{0x4cbd466d9d74ae13, 0x85ec15533a32c332, 0x15c9449ba263a4ec, 0x0}},
{{0x30ece19d56709b04, 0xd99a65be304c687a, 0x70f80a35e14072d8, 0x0}},
{{0x783bfbc60c20cdff, 0xecf223ae540f9bed, 0x5b1cec3c81591f2f, 0x0}},
{{0x778740568f35f55c, 0x71d286294aba50a4, 0xe2fa53c896a25da3, 0x0}},
{{0xf16fe4d94494cfe6, 0xa09983ae43153758, 0x150c1ef25b24768d, 0x0}},
{{0x31102e73d324dd32, 0x53c012ce42c9c340, 0xb6a22764224a81da, 0x0}},
{{0x9b3e7c87312aaed1, 0xeee383e35c895f9c, 0x9707f5cd9efc8da5, 0x0}},
{{0x25af8b1f75475a52, 0xb7aea7a9e4e47200, 0xd96f06f4b16f9346, 0x0}},
{{0x9abe09980c51a0d4, 0xe66567ed36ef7d, 0x1ae356b6810989da, 0x0}},
{{0x611efb6780b2cb83, 0xe70a8a3e0c7b1ee8, 0x6a2402e501b95f54, 0x0}},
{{0xe318b22ee85b12d7, 0x622e76bef77436ef, 0xcaf310f3b1eeb781, 0x0}},
{{0x8d4202b2d653eef7, 0xf1ef68a7dbd215c1, 0x453d0e77e387c298, 0x0}},
{{0x69823a6370ece459, 0x37de26df3cafa9f2, 0xe210e7ff83b8f779, 0x0}},
{{0xbe9c073aa4506032, 0x736bfd50b209458a, 0xfa5097a67ae0171e, 0x0}},
{{0xe161b7a199b55f26, 0x5a31aa57456eec56, 0x2ef7ef6ecf22ef8a, 0x0}},
{{0xec8fe31a23b9f911, 0x1490591cc05a02a5, 0x142f4835081bf45f, 0x0}},
{{0x2addef5efa685145, 0xca10e61a9ba40923, 0x6c08dac80cfaf2ab, 0x0}},
{{0xda7ed399d3ed9b66, 0xc5c8c46c123e2afd, 0xc448fc848e557b18, 0x0}},
{{0x797624c7a331bfd4, 0xd9423715d44b5e4a, 0xb4b57aff7be6711d, 0x0}},
{{0xa8d8579ba904b8c4, 0x189a9d5bdb7ae7c6, 0x673e0c859c128686, 0x0}},
{{0x1d32f047c14a1756, 0xe6261397ecfa4cb5, 0x96634941ccd21066, 0x0}},
{{0x519debe1281321d4, 0xc0d42cf36888e941, 0x3c2c31ee234a7cb8, 0x0}},
{{0x60000dfc5c795d14, 0x7078eb2479242df4, 0x62a2aebc3b3ab6e1, 0x0}},
{{0x508820070832b94e, 0xdbe79d168054961f, 0xfc6e9a0279fe1433, 0x0}},
{{0xa0ce5894a57dabfb, 0x4420d47c44b4aad2, 0x34a64661ea8e0874, 0x0}},
{{0xecd6c282368217a, 0xa678685f4f603a, 0x201858436cabb884, 0x0}},
{{0x476d9c185fca1c17, 0xef76c6771e3b50b4, 0x13bde6eb4d165ec8, 0x0}},
{{0x8280494ae080e56e, 0xf90e7a324f394c3a, 0x10a0609d269c3285, 0x0}},
{{0x9ae0118cd30a399, 0x35f6dc76b5cba870, 0x8f1cf4abe9faf7c8, 0x0}},
{{0x96a17bf3c5e9bef0, 0xed968bb7b6bcc040, 0x4b3847d61f23bdbd, 0x0}},
{{0xe25abd1024cf5b74, 0x6b6bf377c86f75e5, 0x4684bc2860691324, 0x0}},
{{0x7176f810442423d9, 0x768bd374919d01d0, 0x31c52ac559bd7651, 0x0}},
{{0xb1411752a0ad0bdb, 0x4a5be1b02c75c398, 0x40521b44745bf892, 0x0}},
{{0x5f6b63e24539eaf0, 0xff4652e39d62b78d, 0xc674ee7dfc4211f4, 0x0}},
{{0xf9b4e1afa839645f, 0xe25f39077df2aa6e, 0xc29a999725e36d79, 0x0}},
{{0xb05ee9fe0f4d8cae, 0xaba0a90b6ff40fed, 0xca308eecb77f6f04, 0x0}},
{{0x11a641abcd76f299, 0x2b0c50aa9e85690f, 0xf7c641b4c4922cbb, 0x0}},
{{0x565fd4a172b77349, 0xf3b0cd9b9b3952e2, 0xcf98fffaae4214a5, 0x0}},
{{0xb71f0ab87057bb89, 0xb573fffd12b5000, 0x1d668e870f032437, 0x0}},
{{0xedc03f65e64b5df4, 0x5ccbb0f724ea2aec, 0xb13d09f8c21729c1, 0x0}},
{{0x5d37d8b607d1b0f0, 0x7d569d64f99f502d, 0xe7e6e1a15c4aacba, 0x0}},
{{0xa67ed4ea9b0dc113, 0x40f9720192a2c988, 0xf82a18041680513e, 0x0}},
{{0x3be17836a28c501d, 0x553871e7ebf1bb58, 0x2e42af8670f33253, 0x0}},
{{0x1e594d4435588bfd, 0x5c68723a8d65aa55, 0x5f699e8a2478d71b, 0x0}},
{{0xbd6eaa1ac543cb0d, 0x8e440f437875c5ce, 0x6ba3131017bc9305, 0x0}},
{{0x56a539b2e419c72f, 0x413dae03791686a5, 0x257b3f9dd177255f, 0x0}},
{{0x1f94fe3d47583294, 0x3160d02658509bf8, 0x47277816fa91594a, 0x0}},
{{0x1c8f710ccabec048, 0xb2bf091fb1dd5e20, 0x9f896c19ef46c4b2, 0x0}},
{{0x4193d34d3114fc4, 0x59ccf58696bd664a, 0x7042ff89a2a49305, 0x0}},
{{0xb53f3843a716104a, 0x5d1651d7f57acda0, 0x61c575a6382b537c, 0x0}},
{{0x36a1c604ee7864d0, 0x4f11afe3e0ab0f94, 0xfef14d203652fdb7, 0x0}},
{{0x398ea52c36e22c52, 0x2983a126c76e1b6d, 0xea0007a5cb3c7561, 0x0}},
{{0x21ebc8194a66bd3f, 0xf979509461d15239, 0xfa8d168650c0d96e, 0x0}},
{{0xb7d19cfd2bf2e354, 0xfec4dc8577d7c4ac, 0x2a24d3a2b340018, 0x0}},
{{0xc91df0feb45c76eb, 0x4035e4fbac3f4e78, 0x1c2d3ea9e50fa0ed, 0x0}},
{{0x82d8d85d3549a4bf, 0xb43c8f3d49631509, 0x1fec69a8318cdcc5, 0x0}},
{{0xd8b4712b9f7e433c, 0xe50e14c0cf004121, 0x9f49c342fc0f3f8b, 0x0}},
{{0x70cb0f33c51a4823, 0x5149f19278ad173f, 0xfb952df0f04fc96d, 0x0}},
{{0xd61805a91c4a6c4, 0xbec6dd98c5f25110, 0x77185028cc263896, 0x0}},
{{0x8ace928f17fd2636, 0x4b20f50ce9fc98cf, 0xc1d4bcce80be1bb3, 0x0}},
{{0x4e97bd2c96bd1346, 0x4e1fec31ca388fc7, 0xd54b9d65f31acfb9, 0x0}},
{{0x4d831fe643189d31, 0x2cb3b5b01360a8e3, 0xcc05a1730c3f7bc8, 0x0}},
{{0x482bb00506eade7e, 0x2fe99d6e2a104dd4, 0xb167143acfdfb12, 0x0}},
{{0x687c87b923f1c6bd, 0x4f76a0a8a90b878a, 0x6d1d3aeff0f25d83, 0x0}},
{{0x12da738b6381dccf, 0xb535947869086169, 0x9bdfe6241848c393, 0x0}},
{{0xa9ced2b58d6bf19c, 0x3f91d9bdc4a483a3, 0xc831e82b3e29923e, 0x0}},
{{0xded6a3dda0813c7e, 0x715099341d00d613, 0xdc06f1822ab87de, 0x0}},
{{0xb3b098c23728d8fe, 0x58065bae9d331799, 0xe457c1e0dca926bf, 0x0}},
{{0x9dfd51ee5c90f2e2, 0xb42eb19e6cd7cd21, 0xe09f8b91b1e8863e, 0x0}},
{{0x2b0fe8a7e22ff91e, 0xf0c58bd4d0362497, 0xe9812ab5fda8dca5, 0x0}},
{{0x3ccacd19a5c5f4fe, 0x4b21687349dfef7a, 0xbc1359945694c12f, 0x0}},
{{0x527496585709e81c, 0xb7fc97fb16ebcbe6, 0x98907c9d737eff91, 0x0}},
{{0x38167982e31457b8, 0x628871363600cfee, 0xf5ba89b6417b2369, 0x0}},
{{0x27efcce550d4051, 0xf07f18670d2b83b3, 0x8c19aa00f1ef129d, 0x0}},
{{0x74d5ff3b14aff17c, 0x9eb0076d8efa9679, 0x7d7543750a19d2bd, 0x0}},
{{0xeb27448ef9812f3a, 0x15b2396a42152b32, 0x97d3bee506997a69, 0x0}},
{{0x8424e16c058e02fd, 0x6b3b87c3be45863, 0x42a95d1d37f8e935, 0x0}},
{{0xfd2b4477efc4ea13, 0x7da0a31bb13eef59, 0x70a2617fa0bf408e, 0x0}},
{{0x318a71a90e0cf082, 0xa8bb9d05f6dfb0a5, 0xd82316be39a2d47, 0x0}},
{{0xaee761ee44129480, 0xf94dddf643664d61, 0xfd8053dbcdd681f, 0x0}},
{{0xb9de4f6f4d740634, 0xa0ef4358cd9d8591, 0x733d43293367df7f, 0x0}},
{{0x838351e2dd52d297, 0xd2eaf72237427d17, 0x82ee5e58959b56db, 0x0}},
{{0xfd6d7a61153552f0, 0x65d92355bf6092ef, 0xc2343176c3928089, 0x0}},
{{0x729bc008184fd277, 0x2ceec2f36353ff88, 0x12c5e41cebb1e293, 0x0}},
{{0x96499ac2666cc185, 0x4c9e4df51cba0eeb, 0x9c1b206c9517b61d, 0x0}},
{{0xbef3da1edaff4957, 0x47fc9a5f1706c172, 0xee93d7eaac33b456, 0x0}},
{{0x5baf6f47656f69d2, 0x825240753d293ec7, 0x863cd07f71b521fa, 0x0}},
{{0xef3b0522aefb4899, 0x72d1c74163f6436a, 0x2d4f427723080fc8, 0x0}},
{{0xfcb5108d0eb2be13, 0xbcc58165da5a9e4b, 0x77d4f96b84b1e220, 0x0}},
{{0x5444c9deba107b2f, 0x79efca591982bd07, 0xe49d4992729b2fbf, 0x0}},
{{0x23c4f7f45d011845, 0x33c3cf3da72228e5, 0x81e27a1e6870908c, 0x0}},
{{0x2deeedf6b8bc01b0, 0x86103d60046acf08, 0x92311b104fe83e3c, 0x0}},
{{0x2e72311ee2398a6b, 0xddda14b3bbbf3284, 0x60341bd133ff5a50, 0x0}},
{{0x21d19eac074017d, 0xd774aa5fdfaad530, 0x688636c75f39317b, 0x0}},
{{0xca6a10569497281b, 0xc0275c4a939c8642, 0x279bb10e1bb00be3, 0x0}},
{{0x637d69e985c66a76, 0x4041a11a1bcdc12d, 0x80c83b108818e85d, 0x0}},
{{0xfef8815d142889a9, 0x9f60b2ec186272c, 0xf0910639d1e6b9c3, 0x0}},
{{0x44fbd7dcc42f04a7, 0x66066240abeaf29b, 0xb9df2b63cab07e8a, 0x0}},
{{0xd9dff77d75582df9, 0xc1b5114f6cb78a12, 0x26411655a9510045, 0x0}},
{{0x40fb4e302aaccca8, 0x1ee71519c0eb753b, 0x11572804e8e4c0cb, 0x0}},
{{0xa09dae0c0045983f, 0xed8f446e98b9179f, 0xc638343326e66003, 0x0}},
{{0x6ebe6020b4f42d22, 0xf8c404eb7c204534, 0x2ea9c107c1e592cc, 0x0}},
{{0x4ce2cc1ab6577cb7, 0xf34ab29946ddabc4, 0x23857591e0677426, 0x0}},
{{0x8b3259b5ec8a6886, 0x7e52a39b65ffe25a, 0x4bbb056231286d8e, 0x0}},
{{0x5321359580aff8b6, 0xfcdb35c6e0b366a9, 0x8c6c8362c3514d1f, 0x0}},
{{0x8c7f451e03c8a2d3, 0xa4cb6bf998614225, 0x3789aca07c2b143c, 0x0}},
{{0x191c5d5818ee839c, 0xbeaa96cbd91b5e6c, 0xcc9471d2860a782b, 0x0}},
{{0x838be5469095e173, 0x2f79e6f2b1f4c639, 0xef0e5038b681166f, 0x0}},
{{0x477d7928ce43d14a, 0x67803e87b9965998, 0x6c8e89eb0a9ea2bc, 0x0}},
{{0xe78903409322d936, 0xbf6c1b7c5d12477b, 0x4cfb90897890c9a, 0x0}},
{{0xda212f377ae1bef9, 0x9625d935f201c190, 0x6226e36da9c2b210, 0x0}},
{{0x9dc2cf6f7614e0c8, 0xfe6ddde760026ed, 0x493820ed0a2902f8, 0x0}},
{{0x2762f1bc02bca27d, 0x5a105ee11eb5b61c, 0xe03e8d53a35eef20, 0x0}},
{{0x521700e503f3ec0e, 0xe631852c2318cbef, 0x99bb9d140adc3b98, 0x0}},
{{0xa03267bdd32bd078, 0xac8eb1af33e8ee20, 0xfae18359b1bddc22, 0x0}},
{{0x44cd8cc085fbb977, 0x9ebe3abd60012653, 0x8a7a95118fb1d82f, 0x0}},
{{0xb4ef6ecb92f2bdb1, 0xa7cf3065fd662638, 0xc178024f87af032, 0x0}},
{{0xd6a461814e054fa6, 0x5fa618ccf04a4dd2, 0xf54c17f4224e481f, 0x0}},
{{0x7d11a99100cb8e78, 0x285711f87f21c4df, 0x5934363a297d63cb, 0x0}},
{{0x538329edb7b01980, 0xe2304890588a7f2, 0x9b8063d0442dce04, 0x0}},
{{0xf36b587ea301b86e, 0x5c751fd83b329d2a, 0xd9e1d11912b7fabe, 0x0}},
{{0xdd930808079fc8c5, 0x857c6a50cd853511, 0xf342dee8004dd10c, 0x0}},
{{0x4674e43e624fa58b, 0x35025dfec1127e2f, 0x24597b820ac155ef, 0x0}},
{{0x23946a58d6b59633, 0x35086f046a9322d8, 0xe759e38acdadff8f, 0x0}},
{{0x7db6d9cc0c86b7c5, 0xe371b283d0cd5e15, 0x22383d1f585c7196, 0x0}},
{{0xe5688597753c2ff1, 0x8a55a17610612b6, 0xa1cb0b3586674140, 0x0}},
{{0xe6158b13b7db42fc, 0x99935fc36af2ca11, 0x7074f62f6e8daa89, 0x0}},
{{0x5f1a1ae6d2a8e10c, 0xf2d64b9cdb47a8dc, 0x333f3e27f2c22a1d, 0x0}},
{{0x6d68c96f14415040, 0x6bdeee9d0b114b72, 0xaf1802c149e420bf, 0x0}},
{{0x9ba9cfd4d6a57720, 0xc34ae07d480d5dcb, 0x824059d42e33deaf, 0x0}},
{{0xbbaaf5aa958fb6e7, 0xcb60e4143a7d34d6, 0xded68598162b9e1, 0x0}},
{{0x8044171f2e4b92c2, 0x81be43b425273f5d, 0xdabdbe8176634e8e, 0x0}},
{{0xab694d19871c08f9, 0xd9f224e8b403efcc, 0x85c91902c69a353f, 0x0}},
};
#ifdef INCLUDE_STANDARD_MATRICES
alignas(32) constexpr static std::array<uint64_t, 4> m3[192] = {
{{0x9d8db6d67dfff7ce, 0x9cf886ddd0e63d3c, 0x5029bd5a1ff16f85, 0x0}},
{{0xaa1c9f0b1505433f, 0x4d67414e2b2d16f9, 0xb49277ef4f3699e9, 0x0}},
{{0xd2942f41a49a00dd, 0x71476019b1c542af, 0x343b1049007f4569, 0x0}},
{{0x31000105304a1daa, 0x69ed1ff92331dc9c, 0xd6fed8edd9776c3, 0x0}},
{{0x90ac469d1af8884e, 0x9fb0d14171d84862, 0xddc572689d09f34f, 0x0}},
{{0x31d1f85492f4f9dd, 0xf0899f8631e921f3, 0x11892004590b5f27, 0x0}},
{{0x28ec415097da3696, 0x3e1d01fb5640bc51, 0x8916488bdfe11e33, 0x0}},
{{0xa63aebd1750e437c, 0xeb485ec44f8935b2, 0x4fc770ed7536869c, 0x0}},
{{0x15bc8f9f37ee3e28, 0xe0c8e1872698afeb, 0x9b0bc421a479b9a4, 0x0}},
{{0xc318457280f05231, 0x7a3a2431326c5d85, 0xaec15a4bb32fb915, 0x0}},
{{0xbb2aadd0d2325414, 0x3ab31df1e6c876bb, 0xb4d556c7c359fa7, 0x0}},
{{0x4265cc7e03c7e2e1, 0xa1e981f4f5162156, 0xd637e38c19788c1b, 0x0}},
{{0x580c4d01d09da6e2, 0x425ac60177c84de8, 0x45ba3c23d63b0465, 0x0}},
{{0xed9cdf11aea518bc, 0x794e603c756ed493, 0x2455a354ea888bfd, 0x0}},
{{0x279e662e9964740b, 0x619f4a9578ee6e65, 0x1850f616d8224c19, 0x0}},
{{0x979c85232aec8e6b, 0x26c6b7a0288540aa, 0xf4b126047bd44f06, 0x0}},
{{0xe199dc042359cbf9, 0xdb2d301540f6b653, 0xb0ecd080284b1d5e, 0x0}},
{{0x710085ee07fffa08, 0xc54051667e9f6159, 0x4d1c59fc50b5c18f, 0x0}},
{{0xb78eb609c6dfb8d1, 0x778c9d47f36b1ded, 0x97a9c5bdd32cecd1, 0x0}},
{{0x999799ab219a1af1, 0xb781ce95ac2b75b5, 0x5c300ceeb6103a4a, 0x0}},
{{0x215434ca52ec26d, 0xda091c0daa77b05a, 0x9c1c2920212a281f, 0x0}},
{{0xc5d2160470187239, 0x55f0fc2466ceefe6, 0xd22b960e06ae870, 0x0}},
{{0xe75b819f47a58084, 0xc091d106bf0f1805, 0xbc02b538d7f803b6, 0x0}},
{{0xae59e49347452183, 0xc2e1d4a8a9f812b7, 0xe451d56c45cf445d, 0x0}},
{{0x33917092b161b763, 0xe4afdb965b893c29, 0xcd643cf1fbe5cb42, 0x0}},
{{0xff76153e302528ec, 0xf418a379aa74d378, 0x368c785c14e3569f, 0x0}},
{{0x38e4245a20b79486, 0xdcd90ece47a58227, 0xf37de7ed00a21c97, 0x0}},
{{0x77f3ebc6904287f5, 0xe86244284413059d, 0xb91128c953cde3f9, 0x0}},
{{0xc03d2e5c3e9094ea, 0x84f7c859d714d29d, 0x2d32e00445cec2fa, 0x0}},
{{0x2312a2899b70ba5d, 0xb5bdcee0a382d25a, 0xc9898e97e3e91b2d, 0x0}},
{{0xa6691f459e2978ea, 0x7874420e46589454, 0x96cc062b6b9ab091, 0x0}},
{{0xd7cc1121a5aeaf12, 0xc94eb638fa0c8564, 0x44334224cfc21073, 0x0}},
{{0x86a84ab714d7d1df, 0xe358dc19c53a13eb, 0xfca9c73cf7591b39, 0x0}},
{{0x5d31bd193a18b777, 0xbacfb092a1c9a820, 0xd96269a344a20cdc, 0x0}},
{{0xb8215f2cafd92a93, 0x36612ac3a12f8e8a, 0x34bcf4767c7fc64b, 0x0}},
{{0xc9be6d5dafbb5b62, 0x3225cd4d6c0eebd1, 0x61ea346a2a5f79eb, 0x0}},
{{0x9e4d72446f390cb2, 0x7b4a97a3b768d52a, 0x5d536f136110d325, 0x0}},
{{0x11490195de034302, 0x14083d76f923b56c, 0xfc4d03b00c63234c, 0x0}},
{{0x818503f2672690ed, 0xd326495f43608389, 0xfa33f75f3f815267, 0x0}},
{{0x717c6edb6e25763b, 0x2359b71c4caf0c3a, 0x2426759f47ff63ba, 0x0}},
{{0xf0d077d2184bac83, 0x8abcf6ab304067ef, 0x81f21d10a06ba1d0, 0x0}},
{{0xd6794c48f193fe29, 0xf2e4aa2544e7347d, 0xc0516f6d856755a4, 0x0}},
{{0xdb17ebe8eca6ba9e, 0x3ec1e38ebd1482e5, 0xa9b66ebf81f447e, 0x0}},
{{0x15809336a2d73d22, 0x99845a2156d14838, 0x10f7dbe40deda21a, 0x0}},
{{0x4b0e2f4d22c1afed, 0xd2704b216c30817d, 0xc28fd13cc7dd6d8e, 0x0}},
{{0x20a210eb57a60edd, 0xd42e824b6f42621c, 0x488e014d50c7840, 0x0}},
{{0xf8d40547abc06cc2, 0xaaeaeef45901f3c5, 0xa06e8f8f85049ab5, 0x0}},
{{0x7397be3f8eaf3fb4, 0x845136e0d04ec5d4, 0x3db526427f093a5a, 0x0}},
{{0x24c844a955a5f0ff, 0xab190a253741a095, 0xbc745b00c8e38374, 0x0}},
{{0xb2bb3ecf890838a3, 0x27e49eedd787b6dc, 0x81d205c7142a4768, 0x0}},
{{0xc372e5aa531cad4f, 0x20cf08503af827da, 0xf3f5f54adca68b88, 0x0}},
{{0xdba5799c6c0557b1, 0x529a0eaaf9cff9b8, 0x8fb20633b177396a, 0x0}},
{{0xa87c5c0ad5e7f13c, 0x7c0842b7a8dc7d88, 0xa0bc4af7158d027c, 0x0}},
{{0x5085deafbbb6be04, 0xe0e5abcd4f18572, 0x2d8614208085fe78, 0x0}},
{{0x6113b1622feaa3d4, 0x7b237c121ed389c8, 0x1328952dd3cb77f3, 0x0}},
{{0x8f05cc89ea2409c4, 0x4c423a80295dda85, 0xc92e29c3c7b8ac76, 0x0}},
{{0x5e60b0c2248995d5, 0x2e4e69e6f3a91b40, 0xc4a6abe7d8e858f7, 0x0}},
{{0x1743adab91424917, 0x3c28315e8359dab1, 0x67f48b010113740e, 0x0}},
{{0x3020759bb3164bf4, 0x8aea9c25549d43f0, 0x4799f50c012e0fb9, 0x0}},
{{0x4690a7a46e31745c, 0x57bf2938f80e7e95, 0x9d98655025dfc001, 0x0}},
{{0x8178d9cb601cfa8e, 0x6067c2011673f86d, 0x8d210ad0d8966bb9, 0x0}},
{{0x2beb0f0e4c3a66cd, 0x2438c5b8602b16de, 0xe53868a93aac970, 0x0}},
{{0xe25facbd6005ab6d, 0x73931123eff5c19e, 0x5e5618fd51e15128, 0x0}},
{{0x260b042819495e70, 0x767fb43053206415, 0x651a68724cae63c4, 0x0}},
{{0xd813b1ec184dd854, 0x32ed80d24b7d2e5f, 0xf2d69c67e58ad5bf, 0x0}},
{{0x2f261d2cc67f68c7, 0x8f04bf156509e922, 0xef24c47fbf86f190, 0x0}},
{{0x1adca73d45b8eab5, 0xf3a8e6d9f62abc9c, 0x757dabd2a33afed1, 0x0}},
{{0xce31a56ef8b9a113, 0xafa706428202095, 0x4643243ad099c7be, 0x0}},
{{0x69b3198adf767f46, 0x58873a6450939692, 0x892a6ef7a8bb50a9, 0x0}},
{{0xe66f19790774f605, 0x7e6c24f5198d920, 0xc8599f1b4aef8ec, 0x0}},
{{0x417677c14ed51eee, 0xfab6d51813f5fe0e, 0xc99b151d37d00037, 0x0}},
{{0xd2d69ae75343484e, 0x4d6ef0270f7aec77, 0xc24618fc0bf57fd6, 0x0}},
{{0xe2771d3f9c73f25e, 0x9eda9ef4ab766019, 0x704244f389ddfad8, 0x0}},
{{0xf7e64222fb6af202, 0x3efb59cf804a0eb1, 0xafa800a333b46a86, 0x0}},
{{0xcbb1e25bd9049d3e, 0x1a6da164e22fd28, 0xdcda9094fccb4c62, 0x0}},
{{0x61ba57bf6557467b, 0x19121c216a5488ad, 0xbe981fad6c144c02, 0x0}},
{{0xa76181ba45bb4c47, 0xccd4f85046452761, 0x8ba5f3aad676cb5b, 0x0}},
{{0x6ff0e8f18591dced, 0xcd7537966222bb7e, 0x6fd01244b63e6d6, 0x0}},
{{0x18e36d9ca4c20786, 0x8730f5d53c3d2cdf, 0x3c095626912f6918, 0x0}},
{{0xf611dca6e65513fd, 0x718bca5944e4120d, 0x111295040c356ad8, 0x0}},
{{0xd927906f13cc0341, 0x8ea211caa2e2af3d, 0x62683afe43f5cb64, 0x0}},
{{0x8660aedd207975a5, 0xca1b614a6fdc0216, 0x208ad3b8dc3af43, 0x0}},
{{0xd4015d1ea9e2738, 0xb422d761bd208dfb, 0xa0158a4c3c1046d8, 0x0}},
{{0xeb74c2954b182c4a, 0x7415ac75e556e8e1, 0xb1ed2daf2342ad79, 0x0}},
{{0xc4b82b8c9c03b0f6, 0xf76321e0b62767e8, 0x25237c2116477dc6, 0x0}},
{{0x7420616904d480d4, 0x7f2197852abf1c11, 0x40dbce4f51fdf03a, 0x0}},
{{0xee4d7e956e888f6f, 0x91169ecf3505022d, 0xb000598b9a95cd25, 0x0}},
{{0xa40c6e25bcbe40e7, 0xfc0e7a847be7f6b0, 0xa4082cb2b8f563b, 0x0}},
{{0x51a4f5bdd5aefe6c, 0x68780b5956dba841, 0x5affe4b653fa0fab, 0x0}},
{{0xe7b64326ea476b17, 0xaf74ae1efcdb8ec, 0x188c6dede79fbd10, 0x0}},
{{0xc944d460901bce15, 0x713a40ef781158cf, 0x80e865d7c668e827, 0x0}},
{{0x2683c050d63f1fd2, 0xcd01f2eaec0a5f28, 0xb99a79737ff04a8b, 0x0}},
{{0x5115e7b59fd5ddca, 0xc708af3bcb0402ac, 0x59eaed5f4c3bb948, 0x0}},
{{0x5cff7a2ad1a72967, 0x2165761cd2b94f22, 0x18027bcf98c1ed26, 0x0}},
{{0xe51cf4a7fba5aa05, 0x8ef1668b2d7d694c, 0x434028334c22bcbf, 0x0}},
{{0x84ff4ba2f994fc71, 0x7ecbeb4544fcab05, 0x6546207705710a13, 0x0}},
{{0xf6165a62e5afc00a, 0xe0a0ebc7c8d9638c, 0x4ee1555957ad0703, 0x0}},
{{0xe8d0c56a9f580607, 0xd7ab39e3a2b3023e, 0x51bf69a4ccc44311, 0x0}},
{{0xf02c250386fc2bee, 0xdda84da067d3db18, 0x2a72b94514a70317, 0x0}},
{{0xb6fae44dd811992b, 0x3ae1afa9c3d7468f, 0x5bd943cc4f188b59, 0x0}},
{{0x442e5fae87b0c9bb, 0xca923fdeb3c87e23, 0x940d6600be63dbd0, 0x0}},
{{0xb54dd31c5468f496, 0x7d3887e3cedae5e5, 0x671a446e2a4d5eba, 0x0}},
{{0x9574781cb33ad113, 0x5eb0273ae0e553b6, 0x779af65ea8d95259, 0x0}},
{{0xb7a8ba2a78bba17d, 0xe76c2a516843507c, 0x62afa28412ec363a, 0x0}},
{{0x2c3f2d0b5cc33d13, 0xf68bcbd8635501bd, 0x9fb91685d78bf91, 0x0}},
{{0x4a8b9565f0c26cc0, 0x4855ff4ae09c8ec9, 0x8b5557bedb960f91, 0x0}},
{{0x8d9f5dbe2d058561, 0x8d63eb238323a91a, 0x3f043d8b1e4aaef6, 0x0}},
{{0xb86aa3e8fff5e742, 0x6923a34ff108cf75, 0xaef3c112aaab9eb7, 0x0}},
{{0xf9573dc6ad9d7be6, 0x248f01de34543c1c, 0x15ac59eb59c4f003, 0x0}},
{{0x57cec33981ab1b40, 0x6945603bea0c20d3, 0x9e233314ba2689d5, 0x0}},
{{0x49f2f9875bf09a61, 0xf2529413be9de85e, 0xde6dc8198247d68c, 0x0}},
{{0xd8e6da7478fcb135, 0xdcb0d2b78a50bca8, 0xe763255613202437, 0x0}},
{{0xa441e468037cda48, 0xc03232806c706de4, 0x99136ef839cd368c, 0x0}},
{{0x490ab2b38c3c6ab4, 0xbd6a914390319e41, 0xa38706122d759f29, 0x0}},
{{0x9a3c4e41b7e80e22, 0x74162e4ecbb5243f, 0xeeb66aba9c34ce0, 0x0}},
{{0xf251816d2a490f85, 0x1271c3fda876c999, 0xb8faa9fd49d0e63, 0x0}},
{{0x783bc31a4ce6a1a0, 0x250a59fc83285f3c, 0x46c19e9d7a101dee, 0x0}},
{{0xba39f915b3d5d495, 0x25d2b63d2696a75a, 0x3acb91df02eafbcb, 0x0}},
{{0x3e34798e6c304f7e, 0xb59b9e35dd2d2fc4, 0x36027d778d7928a9, 0x0}},
{{0x5e7a1eadb942b91f, 0xce9a60191fe26740, 0xec7fae5d252a30fc, 0x0}},
{{0x87d577e930196f37, 0x45e1eb821dd04732, 0x18336efa475bdfb8, 0x0}},
{{0x37cc6c3bd83ddbd3, 0xdd2f5ac12a1151b, 0x473bba99e17532b3, 0x0}},
{{0xa622ef1a3340db01, 0xacb635c51c41d4ac, 0xf5dc9e4b3a09a67c, 0x0}},
{{0x15b73ac19083cf4d, 0x5ae0ecbb83460d2c, 0x5a23175ef7c15a53, 0x0}},
{{0xf2a99416f0763d1d, 0x4442a0b3a4ee565e, 0xc9fd1f4450e2c189, 0x0}},
{{0x14008e10815af000, 0xf19e2b2bfc773033, 0x1135f0e6e7e4c652, 0x0}},
{{0x55ed83dacd4fd040, 0x9c3ecbd93560668, 0x431338dbd3dbeaaa, 0x0}},
{{0xd4e861ab5d33868b, 0x3aff0249b3c9279e, 0x2b5aff1d6e759871, 0x0}},
{{0xc6bac8d47956ff7, 0x4f1bb5f28a0da8e4, 0xc9a5ec2f459b092d, 0x0}},
{{0x65620f390010c01, 0xc66ba86e65a9bc58, 0x9a6ad131a647752a, 0x0}},
{{0x2283a228486e62a, 0x7f33e235aec72839, 0x8982e3d6440ec0a0, 0x0}},
{{0x761c9fdf77a3fc48, 0x6b048a25bfb1575a, 0xdbae3bad0aa65150, 0x0}},
{{0x4da7a6f1b4a23fcc, 0xba25ae5391a30e8d, 0x7e4e7013afa21f4e, 0x0}},
{{0xd4641d0dd0df580a, 0x913eb4ac009b4d08, 0xe60d4c25161e1642, 0x0}},
{{0x575a23356cc111ce, 0xe207dd13a60e1cf1, 0xe7e18d36e8dde03b, 0x0}},
{{0x8ba7d68f39269f7, 0xf8eb0a5bd51cce7e, 0x35a4a62f86d8ba70, 0x0}},
{{0xcabfc15a66583d0c, 0xbd48e0c5f6df7dba, 0x6ec1865058153aa1, 0x0}},
{{0xe749a69469ac1adf, 0x54ed3337270d26c2, 0x90d5bd3bd0a14019, 0x0}},
{{0x12aab2b35025670c, 0xdaef9172e02ea198, 0xb99f943cbbc86da3, 0x0}},
{{0xb7b7c82804a1eada, 0x8e01a35b6867c16d, 0x724990805c3a7798, 0x0}},
{{0xe6ee510b89a053ae, 0xfec76addbe5f755f, 0x4b78a50e440ec5cd, 0x0}},
{{0xd814631ba2b93d96, 0xffbb1114659014f, 0x27cd25dad37d1962, 0x0}},
{{0xa88921ea48d69a0, 0x7e131d0e4f721df3, 0xa536d7e79f8bc671, 0x0}},
{{0x86e6856acf69b537, 0xad35aa2e266624d6, 0x1256608471be99fd, 0x0}},
{{0x460f5443634fdea0, 0x9920160d4de5594, 0xfd3ba6cc13345e65, 0x0}},
{{0x87cbda7030dd3192, 0x861cfd0efac6b9ba, 0xd2467ab924c663ad, 0x0}},
{{0x70bebbe43726ca2d, 0x7b95493a5e4646ac, 0xc85b30e8bae2a55c, 0x0}},
{{0x457c5e699c80265a, 0x3d98c51a54783740, 0xfcbfa1a3d39067f9, 0x0}},
{{0xf182bd919c263257, 0xdd86c47f0e29da42, 0x634bae204717ae4d, 0x0}},
{{0x16666065f9824f28, 0xfd367adb6811342f, 0x958cb3e5129bc861, 0x0}},
{{0xc601777a609a4c16, 0x80db0bb3c029e3f6, 0xc00d8fb189911283, 0x0}},
{{0x8996bde11721efb6, 0x16ac99cb39b23aa7, 0x3fa8aa747fd906e5, 0x0}},
{{0x5cd8ca30e39952f8, 0xa41a68b521eea4de, 0x70ae4552b0696b2e, 0x0}},
{{0x11fcb237b1ceba10, 0x13ceab64d4460232, 0x4abad1674742dd95, 0x0}},
{{0x2eab7283c542c78f, 0x1fc3c94b726a8ee4, 0x3dd5d6f0f549a8ef, 0x0}},
{{0xef08901383b12f90, 0x14f9d3b639ff473a, 0x8a60fec8254e22a, 0x0}},
{{0xe21a55c63eba5a36, 0x6d44679dee0c2fd6, 0x5845f7fd63871728, 0x0}},
{{0x588f14d5daeb90cf, 0x31c9972dde6c45a8, 0xfe2ca2183d868bbd, 0x0}},
{{0xfb4dadf7227b5b41, 0x6bffc5eaad78df9d, 0xcb4f8a3a20eae443, 0x0}},
{{0x794dc1d19e2dd85b, 0x26d23e5c4206c2f1, 0x48b97db2c5b6f0d7, 0x0}},
{{0xbb6dd8ee34e9ca56, 0x82677c567fb592d1, 0x13efee32e348f65d, 0x0}},
{{0x48871134030a46d8, 0xa360973da743ff2c, 0x787483013f80166, 0x0}},
{{0xc1586baf5286093c, 0xf55a5f6468e06507, 0x96d8441da8624f66, 0x0}},
{{0x64d05e7445df1293, 0x9abd81e77e019f2e, 0x7747ac821d9b05b3, 0x0}},
{{0x244f848a00488063, 0xd6365c8cc0cabe13, 0x9924da03e04a48e6, 0x0}},
{{0x8e90a3f8e73960f7, 0x94d65102566a019, 0x68e301cbe9d8f31a, 0x0}},