1 /*
2  * Copyright 2017-2021 The OpenSSL Project Authors. All Rights Reserved.
3  * Copyright 2015-2016 Cryptography Research, Inc.
4  *
5  * Licensed under the Apache License 2.0 (the "License").  You may not use
6  * this file except in compliance with the License.  You can obtain a copy
7  * in the file LICENSE in the source distribution or at
8  * https://www.openssl.org/source/license.html
9  *
10  * Originally written by Mike Hamburg
11  */
12 #include "field.h"
13 
14 #include "point_448.h"
15 
16 static const curve448_precomputed_s curve448_precomputed_base_table = {
17     {
18         {{
19             {FIELD_LITERAL(0x00cc3b062366f4ccULL, 0x003d6e34e314aa3cULL,
20                            0x00d51c0a7521774dULL, 0x0094e060eec6ab8bULL,
21                            0x00d21291b4d80082ULL, 0x00befed12b55ef1eULL,
22                            0x00c3dd2df5c94518ULL, 0x00e0a7b112b8d4e6ULL)},
23             {FIELD_LITERAL(0x0019eb5608d8723aULL, 0x00d1bab52fb3aedbULL,
24                            0x00270a7311ebc90cULL, 0x0037c12b91be7f13ULL,
25                            0x005be16cd8b5c704ULL, 0x003e181acda888e1ULL,
26                            0x00bc1f00fc3fc6d0ULL, 0x00d3839bfa319e20ULL)},
27             {FIELD_LITERAL(0x003caeb88611909fULL, 0x00ea8b378c4df3d4ULL,
28                            0x00b3295b95a5a19aULL, 0x00a65f97514bdfb5ULL,
29                            0x00b39efba743cab1ULL, 0x0016ba98b862fd2dULL,
30                            0x0001508812ee71d7ULL, 0x000a75740eea114aULL)},
31         }}, {{
32             {FIELD_LITERAL(0x00ebcf0eb649f823ULL, 0x00166d332e98ea03ULL,
33                            0x0059ddf64f5cd5f6ULL, 0x0047763123d9471bULL,
34                            0x00a64065c53ef62fULL, 0x00978e44c480153dULL,
35                            0x000b5b2a0265f194ULL, 0x0046a24b9f32965aULL)},
36             {FIELD_LITERAL(0x00b9eef787034df0ULL, 0x0020bc24de3390cdULL,
37                            0x000022160bae99bbULL, 0x00ae66e886e97946ULL,
38                            0x0048d4bbe02cbb8bULL, 0x0072ba97b34e38d4ULL,
39                            0x00eae7ec8f03e85aULL, 0x005ba92ecf808b2cULL)},
40             {FIELD_LITERAL(0x00c9cfbbe74258fdULL, 0x00843a979ea9eaa7ULL,
41                            0x000cbb4371cfbe90ULL, 0x0059bac8f7f0a628ULL,
42                            0x004b3dff882ff530ULL, 0x0011869df4d90733ULL,
43                            0x00595aa71f4abfc2ULL, 0x0070e2d38990c2e6ULL)},
44         }}, {{
45             {FIELD_LITERAL(0x00de2010c0a01733ULL, 0x00c739a612e24297ULL,
46                            0x00a7212643141d7cULL, 0x00f88444f6b67c11ULL,
47                            0x00484b7b16ec28f2ULL, 0x009c1b8856af9c68ULL,
48                            0x00ff4669591fe9d6ULL, 0x0054974be08a32c8ULL)},
49             {FIELD_LITERAL(0x0010de3fd682ceedULL, 0x008c07642d83ca4eULL,
50                            0x0013bb064e00a1ccULL, 0x009411ae27870e11ULL,
51                            0x00ea8e5b4d531223ULL, 0x0032fe7d2aaece2eULL,
52                            0x00d989e243e7bb41ULL, 0x000fe79a508e9b8bULL)},
53             {FIELD_LITERAL(0x005e0426b9bfc5b1ULL, 0x0041a5b1d29ee4faULL,
54                            0x0015b0def7774391ULL, 0x00bc164f1f51af01ULL,
55                            0x00d543b0942797b9ULL, 0x003c129b6398099cULL,
56                            0x002b114c6e5adf18ULL, 0x00b4e630e4018a7bULL)},
57         }}, {{
58             {FIELD_LITERAL(0x00d490afc95f8420ULL, 0x00b096bf50c1d9b9ULL,
59                            0x00799fd707679866ULL, 0x007c74d9334afbeaULL,
60                            0x00efaa8be80ff4edULL, 0x0075c4943bb81694ULL,
61                            0x00c21c2fca161f36ULL, 0x00e77035d492bfeeULL)},
62             {FIELD_LITERAL(0x006658a190dd6661ULL, 0x00e0e9bab38609a6ULL,
63                            0x0028895c802237edULL, 0x006a0229c494f587ULL,
64                            0x002dcde96c9916b7ULL, 0x00d158822de16218ULL,
65                            0x00173b917a06856fULL, 0x00ca78a79ae07326ULL)},
66             {FIELD_LITERAL(0x00e35bfc79caced4ULL, 0x0087238a3e1fe3bbULL,
67                            0x00bcbf0ff4ceff5bULL, 0x00a19c1c94099b91ULL,
68                            0x0071e102b49db976ULL, 0x0059e3d004eada1eULL,
69                            0x008da78afa58a47eULL, 0x00579c8ebf269187ULL)},
70         }}, {{
71             {FIELD_LITERAL(0x00a16c2905eee75fULL, 0x009d4bcaea2c7e1dULL,
72                            0x00d3bd79bfad19dfULL, 0x0050da745193342cULL,
73                            0x006abdb8f6b29ab1ULL, 0x00a24fe0a4fef7efULL,
74                            0x0063730da1057dfbULL, 0x00a08c312c8eb108ULL)},
75             {FIELD_LITERAL(0x00b583be005375beULL, 0x00a40c8f8a4e3df4ULL,
76                            0x003fac4a8f5bdbf7ULL, 0x00d4481d872cd718ULL,
77                            0x004dc8749cdbaefeULL, 0x00cce740d5e5c975ULL,
78                            0x000b1c1f4241fd21ULL, 0x00a76de1b4e1cd07ULL)},
79             {FIELD_LITERAL(0x007a076500d30b62ULL, 0x000a6e117b7f090fULL,
80                            0x00c8712ae7eebd9aULL, 0x000fbd6c1d5f6ff7ULL,
81                            0x003a7977246ebf11ULL, 0x00166ed969c6600eULL,
82                            0x00aa42e469c98becULL, 0x00dc58f307cf0666ULL)},
83         }}, {{
84             {FIELD_LITERAL(0x004b491f65a9a28bULL, 0x006a10309e8a55b7ULL,
85                            0x00b67210185187efULL, 0x00cf6497b12d9b8fULL,
86                            0x0085778c56e2b1baULL, 0x0015b4c07a814d85ULL,
87                            0x00686479e62da561ULL, 0x008de5d88f114916ULL)},
88             {FIELD_LITERAL(0x00e37c88d6bba7b1ULL, 0x003e4577e1b8d433ULL,
89                            0x0050d8ea5f510ec0ULL, 0x0042fc9f2da9ef59ULL,
90                            0x003bd074c1141420ULL, 0x00561b8b7b68774eULL,
91                            0x00232e5e5d1013a3ULL, 0x006b7f2cb3d7e73fULL)},
92             {FIELD_LITERAL(0x004bdd0f0b41e6a0ULL, 0x001773057c405d24ULL,
93                            0x006029f99915bd97ULL, 0x006a5ba70a17fe2fULL,
94                            0x0046111977df7e08ULL, 0x004d8124c89fb6b7ULL,
95                            0x00580983b2bb2724ULL, 0x00207bf330d6f3feULL)},
96         }}, {{
97             {FIELD_LITERAL(0x007efdc93972a48bULL, 0x002f5e50e78d5feeULL,
98                            0x0080dc11d61c7fe5ULL, 0x0065aa598707245bULL,
99                            0x009abba2300641beULL, 0x000c68787656543aULL,
100                            0x00ffe0fef2dc0a17ULL, 0x00007ffbd6cb4f3aULL)},
101             {FIELD_LITERAL(0x0036012f2b836efcULL, 0x00458c126d6b5fbcULL,
102                            0x00a34436d719ad1eULL, 0x0097be6167117deaULL,
103                            0x0009c219c879cff3ULL, 0x0065564493e60755ULL,
104                            0x00993ac94a8cdec0ULL, 0x002d4885a4d0dbafULL)},
105             {FIELD_LITERAL(0x00598b60b4c068baULL, 0x00c547a0be7f1afdULL,
106                            0x009582164acf12afULL, 0x00af4acac4fbbe40ULL,
107                            0x005f6ca7c539121aULL, 0x003b6e752ebf9d66ULL,
108                            0x00f08a30d5cac5d4ULL, 0x00e399bb5f97c5a9ULL)},
109         }}, {{
110             {FIELD_LITERAL(0x007445a0409c0a66ULL, 0x00a65c369f3829c0ULL,
111                            0x0031d248a4f74826ULL, 0x006817f34defbe8eULL,
112                            0x00649741d95ebf2eULL, 0x00d46466ab16b397ULL,
113                            0x00fdc35703bee414ULL, 0x00343b43334525f8ULL)},
114             {FIELD_LITERAL(0x001796bea93f6401ULL, 0x00090c5a42e85269ULL,
115                            0x00672412ba1252edULL, 0x001201d47b6de7deULL,
116                            0x006877bccfe66497ULL, 0x00b554fd97a4c161ULL,
117                            0x009753f42dbac3cfULL, 0x00e983e3e378270aULL)},
118             {FIELD_LITERAL(0x00ac3eff18849872ULL, 0x00f0eea3bff05690ULL,
119                            0x00a6d72c21dd505dULL, 0x001b832642424169ULL,
120                            0x00a6813017b540e5ULL, 0x00a744bd71b385cdULL,
121                            0x0022a7d089130a7bULL, 0x004edeec9a133486ULL)},
122         }}, {{
123             {FIELD_LITERAL(0x00b2d6729196e8a9ULL, 0x0088a9bb2031cef4ULL,
124                            0x00579e7787dc1567ULL, 0x0030f49feb059190ULL,
125                            0x00a0b1d69c7f7d8fULL, 0x0040bdcc6d9d806fULL,
126                            0x00d76c4037edd095ULL, 0x00bbf24376415dd7ULL)},
127             {FIELD_LITERAL(0x00240465ff5a7197ULL, 0x00bb97e76caf27d0ULL,
128                            0x004b4edbf8116d39ULL, 0x001d8586f708cbaaULL,
129                            0x000f8ee8ff8e4a50ULL, 0x00dde5a1945dd622ULL,
130                            0x00e6fc1c0957e07cULL, 0x0041c9cdabfd88a0ULL)},
131             {FIELD_LITERAL(0x005344b0bf5b548cULL, 0x002957d0b705cc99ULL,
132                            0x00f586a70390553dULL, 0x0075b3229f583cc3ULL,
133                            0x00a1aa78227490e4ULL, 0x001bf09cf7957717ULL,
134                            0x00cf6bf344325f52ULL, 0x0065bd1c23ca3ecfULL)},
135         }}, {{
136             {FIELD_LITERAL(0x009bff3b3239363cULL, 0x00e17368796ef7c0ULL,
137                            0x00528b0fe0971f3aULL, 0x0008014fc8d4a095ULL,
138                            0x00d09f2e8a521ec4ULL, 0x006713ab5dde5987ULL,
139                            0x0003015758e0dbb1ULL, 0x00215999f1ba212dULL)},
140             {FIELD_LITERAL(0x002c88e93527da0eULL, 0x0077c78f3456aad5ULL,
141                            0x0071087a0a389d1cULL, 0x00934dac1fb96dbdULL,
142                            0x008470e801162697ULL, 0x005bc2196cd4ad49ULL,
143                            0x00e535601d5087c3ULL, 0x00769888700f497fULL)},
144             {FIELD_LITERAL(0x00da7a4b557298adULL, 0x0019d2589ea5df76ULL,
145                            0x00ef3e38be0c6497ULL, 0x00a9644e1312609aULL,
146                            0x004592f61b2558daULL, 0x0082c1df510d7e46ULL,
147                            0x0042809a535c0023ULL, 0x00215bcb5afd7757ULL)},
148         }}, {{
149             {FIELD_LITERAL(0x002b9df55a1a4213ULL, 0x00dcfc3b464a26beULL,
150                            0x00c4f9e07a8144d5ULL, 0x00c8e0617a92b602ULL,
151                            0x008e3c93accafae0ULL, 0x00bf1bcb95b2ca60ULL,
152                            0x004ce2426a613bf3ULL, 0x00266cac58e40921ULL)},
153             {FIELD_LITERAL(0x008456d5db76e8f0ULL, 0x0032ca9cab2ce163ULL,
154                            0x0059f2b8bf91abcfULL, 0x0063c2a021712788ULL,
155                            0x00f86155af22f72dULL, 0x00db98b2a6c005a0ULL,
156                            0x00ac6e416a693ac4ULL, 0x007a93572af53226ULL)},
157             {FIELD_LITERAL(0x0087767520f0de22ULL, 0x0091f64012279fb5ULL,
158                            0x001050f1f0644999ULL, 0x004f097a2477ad3cULL,
159                            0x006b37913a9947bdULL, 0x001a3d78645af241ULL,
160                            0x0057832bbb3008a7ULL, 0x002c1d902b80dc20ULL)},
161         }}, {{
162             {FIELD_LITERAL(0x001a6002bf178877ULL, 0x009bce168aa5af50ULL,
163                            0x005fc318ff04a7f5ULL, 0x0052818f55c36461ULL,
164                            0x008768f5d4b24afbULL, 0x0037ffbae7b69c85ULL,
165                            0x0018195a4b61edc0ULL, 0x001e12ea088434b2ULL)},
166             {FIELD_LITERAL(0x0047d3f804e7ab07ULL, 0x00a809ab5f905260ULL,
167                            0x00b3ffc7cdaf306dULL, 0x00746e8ec2d6e509ULL,
168                            0x00d0dade8887a645ULL, 0x00acceeebde0dd37ULL,
169                            0x009bc2579054686bULL, 0x0023804f97f1c2bfULL)},
170             {FIELD_LITERAL(0x0043e2e2e50b80d7ULL, 0x00143aafe4427e0fULL,
171                            0x005594aaecab855bULL, 0x008b12ccaaecbc01ULL,
172                            0x002deeb091082bc3ULL, 0x009cca4be2ae7514ULL,
173                            0x00142b96e696d047ULL, 0x00ad2a2b1c05256aULL)},
174         }}, {{
175             {FIELD_LITERAL(0x003914f2f144b78bULL, 0x007a95dd8bee6f68ULL,
176                            0x00c7f4384d61c8e6ULL, 0x004e51eb60f1bdb2ULL,
177                            0x00f64be7aa4621d8ULL, 0x006797bfec2f0ac0ULL,
178                            0x007d17aab3c75900ULL, 0x001893e73cac8bc5ULL)},
179             {FIELD_LITERAL(0x00140360b768665bULL, 0x00b68aca4967f977ULL,
180                            0x0001089b66195ae4ULL, 0x00fe71122185e725ULL,
181                            0x000bca2618d49637ULL, 0x00a54f0557d7e98aULL,
182                            0x00cdcd2f91d6f417ULL, 0x00ab8c13741fd793ULL)},
183             {FIELD_LITERAL(0x00725ee6b1e549e0ULL, 0x007124a0769777faULL,
184                            0x000b68fdad07ae42ULL, 0x0085b909cd4952dfULL,
185                            0x0092d2e3c81606f4ULL, 0x009f22f6cac099a0ULL,
186                            0x00f59da57f2799a8ULL, 0x00f06c090122f777ULL)},
187         }}, {{
188             {FIELD_LITERAL(0x00ce0bed0a3532bcULL, 0x001a5048a22df16bULL,
189                            0x00e31db4cbad8bf1ULL, 0x00e89292120cf00eULL,
190                            0x007d1dd1a9b00034ULL, 0x00e2a9041ff8f680ULL,
191                            0x006a4c837ae596e7ULL, 0x00713af1068070b3ULL)},
192             {FIELD_LITERAL(0x00c4fe64ce66d04bULL, 0x00b095d52e09b3d7ULL,
193                            0x00758bbecb1a3a8eULL, 0x00f35cce8d0650c0ULL,
194                            0x002b878aa5984473ULL, 0x0062e0a3b7544ddcULL,
195                            0x00b25b290ed116feULL, 0x007b0f6abe0bebf2ULL)},
196             {FIELD_LITERAL(0x0081d4e3addae0a8ULL, 0x003410c836c7ffccULL,
197                            0x00c8129ad89e4314ULL, 0x000e3d5a23922dcdULL,
198                            0x00d91e46f29c31f3ULL, 0x006c728cde8c5947ULL,
199                            0x002bc655ba2566c0ULL, 0x002ca94721533108ULL)},
200         }}, {{
201             {FIELD_LITERAL(0x0051e4b3f764d8a9ULL, 0x0019792d46e904a0ULL,
202                            0x00853bc13dbc8227ULL, 0x000840208179f12dULL,
203                            0x0068243474879235ULL, 0x0013856fbfe374d0ULL,
204                            0x00bda12fe8676424ULL, 0x00bbb43635926eb2ULL)},
205             {FIELD_LITERAL(0x0012cdc880a93982ULL, 0x003c495b21cd1b58ULL,
206                            0x00b7e5c93f22a26eULL, 0x0044aa82dfb99458ULL,
207                            0x009ba092cdffe9c0ULL, 0x00a14b3ab2083b73ULL,
208                            0x000271c2f70e1c4bULL, 0x00eea9cac0f66eb8ULL)},
209             {FIELD_LITERAL(0x001a1847c4ac5480ULL, 0x00b1b412935bb03aULL,
210                            0x00f74285983bf2b2ULL, 0x00624138b5b5d0f1ULL,
211                            0x008820c0b03d38bfULL, 0x00b94e50a18c1572ULL,
212                            0x0060f6934841798fULL, 0x00c52f5d66d6ebe2ULL)},
213         }}, {{
214             {FIELD_LITERAL(0x00da23d59f9bcea6ULL, 0x00e0f27007a06a4bULL,
215                            0x00128b5b43a6758cULL, 0x000cf50190fa8b56ULL,
216                            0x00fc877aba2b2d72ULL, 0x00623bef52edf53fULL,
217                            0x00e6af6b819669e2ULL, 0x00e314dc34fcaa4fULL)},
218             {FIELD_LITERAL(0x0066e5eddd164d1eULL, 0x00418a7c6fe28238ULL,
219                            0x0002e2f37e962c25ULL, 0x00f01f56b5975306ULL,
220                            0x0048842fa503875cULL, 0x0057b0e968078143ULL,
221                            0x00ff683024f3d134ULL, 0x0082ae28fcad12e4ULL)},
222             {FIELD_LITERAL(0x0011ddfd21260e42ULL, 0x00d05b0319a76892ULL,
223                            0x00183ea4368e9b8fULL, 0x00b0815662affc96ULL,
224                            0x00b466a5e7ce7c88ULL, 0x00db93b07506e6eeULL,
225                            0x0033885f82f62401ULL, 0x0086f9090ec9b419ULL)},
226         }}, {{
227             {FIELD_LITERAL(0x00d95d1c5fcb435aULL, 0x0016d1ed6b5086f9ULL,
228                            0x00792aa0b7e54d71ULL, 0x0067b65715f1925dULL,
229                            0x00a219755ec6176bULL, 0x00bc3f026b12c28fULL,
230                            0x00700c897ffeb93eULL, 0x0089b83f6ec50b46ULL)},
231             {FIELD_LITERAL(0x003c97e6384da36eULL, 0x00423d53eac81a09ULL,
232                            0x00b70d68f3cdce35ULL, 0x00ee7959b354b92cULL,
233                            0x00f4e9718819c8caULL, 0x009349f12acbffe9ULL,
234                            0x005aee7b62cb7da6ULL, 0x00d97764154ffc86ULL)},
235             {FIELD_LITERAL(0x00526324babb46dcULL, 0x002ee99b38d7bf9eULL,
236                            0x007ea51794706ef4ULL, 0x00abeb04da6e3c39ULL,
237                            0x006b457c1d281060ULL, 0x00fe243e9a66c793ULL,
238                            0x00378de0fb6c6ee4ULL, 0x003e4194b9c3cb93ULL)},
239         }}, {{
240             {FIELD_LITERAL(0x00fed3cd80ca2292ULL, 0x0015b043a73ca613ULL,
241                            0x000a9fd7bf9be227ULL, 0x003b5e03de2db983ULL,
242                            0x005af72d46904ef7ULL, 0x00c0f1b5c49faa99ULL,
243                            0x00dc86fc3bd305e1ULL, 0x00c92f08c1cb1797ULL)},
244             {FIELD_LITERAL(0x0079680ce111ed3bULL, 0x001a1ed82806122cULL,
245                            0x000c2e7466d15df3ULL, 0x002c407f6f7150fdULL,
246                            0x00c5e7c96b1b0ce3ULL, 0x009aa44626863ff9ULL,
247                            0x00887b8b5b80be42ULL, 0x00b6023cec964825ULL)},
248             {FIELD_LITERAL(0x00e4a8e1048970c8ULL, 0x0062887b7830a302ULL,
249                            0x00bcf1c8cd81402bULL, 0x0056dbb81a68f5beULL,
250                            0x0014eced83f12452ULL, 0x00139e1a510150dfULL,
251                            0x00bb81140a82d1a3ULL, 0x000febcc1aaf1aa7ULL)},
252         }}, {{
253             {FIELD_LITERAL(0x00a7527958238159ULL, 0x0013ec9537a84cd6ULL,
254                            0x001d7fee7d562525ULL, 0x00b9eefa6191d5e5ULL,
255                            0x00dbc97db70bcb8aULL, 0x00481affc7a4d395ULL,
256                            0x006f73d3e70c31bbULL, 0x00183f324ed96a61ULL)},
257             {FIELD_LITERAL(0x0039dd7ce7fc6860ULL, 0x00d64f6425653da1ULL,
258                            0x003e037c7f57d0afULL, 0x0063477a06e2bcf2ULL,
259                            0x001727dbb7ac67e6ULL, 0x0049589f5efafe2eULL,
260                            0x00fc0fef2e813d54ULL, 0x008baa5d087fb50dULL)},
261             {FIELD_LITERAL(0x0024fb59d9b457c7ULL, 0x00a7d4e060223e4cULL,
262                            0x00c118d1b555fd80ULL, 0x0082e216c732f22aULL,
263                            0x00cd2a2993089504ULL, 0x003638e836a3e13dULL,
264                            0x000d855ee89b4729ULL, 0x008ec5b7d4810c91ULL)},
265         }}, {{
266             {FIELD_LITERAL(0x001bf51f7d65cdfdULL, 0x00d14cdafa16a97dULL,
267                            0x002c38e60fcd10e7ULL, 0x00a27446e393efbdULL,
268                            0x000b5d8946a71fddULL, 0x0063df2cde128f2fULL,
269                            0x006c8679569b1888ULL, 0x0059ffc4925d732dULL)},
270             {FIELD_LITERAL(0x00ece96f95f2b66fULL, 0x00ece7952813a27bULL,
271                            0x0026fc36592e489eULL, 0x007157d1a2de0f66ULL,
272                            0x00759dc111d86ddfULL, 0x0012881e5780bb0fULL,
273                            0x00c8ccc83ad29496ULL, 0x0012b9bd1929eb71ULL)},
274             {FIELD_LITERAL(0x000fa15a20da5df0ULL, 0x00349ddb1a46cd31ULL,
275                            0x002c512ad1d8e726ULL, 0x00047611f669318dULL,
276                            0x009e68fba591e17eULL, 0x004320dffa803906ULL,
277                            0x00a640874951a3d3ULL, 0x00b6353478baa24fULL)},
278         }}, {{
279             {FIELD_LITERAL(0x009696510000d333ULL, 0x00ec2f788bc04826ULL,
280                            0x000e4d02b1f67ba5ULL, 0x00659aa8dace08b6ULL,
281                            0x00d7a38a3a3ae533ULL, 0x008856defa8c746bULL,
282                            0x004d7a4402d3da1aULL, 0x00ea82e06229260fULL)},
283             {FIELD_LITERAL(0x006a15bb20f75c0cULL, 0x0079a144027a5d0cULL,
284                            0x00d19116ce0b4d70ULL, 0x0059b83bcb0b268eULL,
285                            0x005f58f63f16c127ULL, 0x0079958318ee2c37ULL,
286                            0x00defbb063d07f82ULL, 0x00f1f0b931d2d446ULL)},
287             {FIELD_LITERAL(0x00cb5e4c3c35d422ULL, 0x008df885ca43577fULL,
288                            0x00fa50b16ca3e471ULL, 0x005a0e58e17488c8ULL,
289                            0x00b2ceccd6d34d19ULL, 0x00f01d5d235e36e9ULL,
290                            0x00db2e7e4be6ca44ULL, 0x00260ab77f35fccdULL)},
291         }}, {{
292             {FIELD_LITERAL(0x006f6fd9baac61d5ULL, 0x002a7710a020a895ULL,
293                            0x009de0db7fc03d4dULL, 0x00cdedcb1875f40bULL,
294                            0x00050caf9b6b1e22ULL, 0x005e3a6654456ab0ULL,
295                            0x00775fdf8c4423d4ULL, 0x0028701ea5738b5dULL)},
296             {FIELD_LITERAL(0x009ffd90abfeae96ULL, 0x00cba3c2b624a516ULL,
297                            0x005ef08bcee46c91ULL, 0x00e6fde30afb6185ULL,
298                            0x00f0b4db4f818ce4ULL, 0x006c54f45d2127f5ULL,
299                            0x00040125035854c7ULL, 0x00372658a3287e13ULL)},
300             {FIELD_LITERAL(0x00d7070fb1beb2abULL, 0x0078fc845a93896bULL,
301                            0x006894a4b2f224a6ULL, 0x005bdd8192b9dbdeULL,
302                            0x00b38839874b3a9eULL, 0x00f93618b04b7a57ULL,
303                            0x003e3ec75fd2c67eULL, 0x00bf5e6bfc29494aULL)},
304         }}, {{
305             {FIELD_LITERAL(0x00f19224ebba2aa5ULL, 0x0074f89d358e694dULL,
306                            0x00eea486597135adULL, 0x0081579a4555c7e1ULL,
307                            0x0010b9b872930a9dULL, 0x00f002e87a30ecc0ULL,
308                            0x009b9d66b6de56e2ULL, 0x00a3c4f45e8004ebULL)},
309             {FIELD_LITERAL(0x0045e8dda9400888ULL, 0x002ff12e5fc05db7ULL,
310                            0x00a7098d54afe69cULL, 0x00cdbe846a500585ULL,
311                            0x00879c1593ca1882ULL, 0x003f7a7fea76c8b0ULL,
312                            0x002cd73dd0c8e0a1ULL, 0x00645d6ce96f51feULL)},
313             {FIELD_LITERAL(0x002b7e83e123d6d6ULL, 0x00398346f7419c80ULL,
314                            0x0042922e55940163ULL, 0x005e7fc5601886a3ULL,
315                            0x00e88f2cee1d3103ULL, 0x00e7fab135f2e377ULL,
316                            0x00b059984dbf0dedULL, 0x0009ce080faa5bb8ULL)},
317         }}, {{
318             {FIELD_LITERAL(0x0085e78af7758979ULL, 0x00275a4ee1631a3aULL,
319                            0x00d26bc0ed78b683ULL, 0x004f8355ea21064fULL,
320                            0x00d618e1a32696e5ULL, 0x008d8d7b150e5680ULL,
321                            0x00a74cd854b278d2ULL, 0x001dd62702203ea0ULL)},
322             {FIELD_LITERAL(0x00f89335c2a59286ULL, 0x00a0f5c905d55141ULL,
323                            0x00b41fb836ee9382ULL, 0x00e235d51730ca43ULL,
324                            0x00a5cb37b5c0a69aULL, 0x009b966ffe136c45ULL,
325                            0x00cb2ea10bf80ed1ULL, 0x00fb2b370b40dc35ULL)},
326             {FIELD_LITERAL(0x00d687d16d4ee8baULL, 0x0071520bdd069dffULL,
327                            0x00de85c60d32355dULL, 0x0087d2e3565102f4ULL,
328                            0x00cde391b8dfc9aaULL, 0x00e18d69efdfefe5ULL,
329                            0x004a9d0591954e91ULL, 0x00fa36dd8b50eee5ULL)},
330         }}, {{
331             {FIELD_LITERAL(0x002e788749a865f7ULL, 0x006e4dc3116861eaULL,
332                            0x009f1428c37276e6ULL, 0x00e7d2e0fc1e1226ULL,
333                            0x003aeebc6b6c45f6ULL, 0x0071a8073bf500c9ULL,
334                            0x004b22ad986b530cULL, 0x00f439e63c0d79d4ULL)},
335             {FIELD_LITERAL(0x006bc3d53011f470ULL, 0x00032d6e692b83e8ULL,
336                            0x00059722f497cd0bULL, 0x0009b4e6f0c497ccULL,
337                            0x0058a804b7cce6c0ULL, 0x002b71d3302bbd5dULL,
338                            0x00e2f82a36765fceULL, 0x008dded99524c703ULL)},
339             {FIELD_LITERAL(0x004d058953747d64ULL, 0x00701940fe79aa6fULL,
340                            0x00a620ac71c760bfULL, 0x009532b611158b75ULL,
341                            0x00547ed7f466f300ULL, 0x003cb5ab53a8401aULL,
342                            0x00c7763168ce3120ULL, 0x007e48e33e4b9ab2ULL)},
343         }}, {{
344             {FIELD_LITERAL(0x001b2fc57bf3c738ULL, 0x006a3f918993fb80ULL,
345                            0x0026f7a14fdec288ULL, 0x0075a2cdccef08dbULL,
346                            0x00d3ecbc9eecdbf1ULL, 0x0048c40f06e5bf7fULL,
347                            0x00d63e423009896bULL, 0x000598bc99c056a8ULL)},
348             {FIELD_LITERAL(0x002f194eaafa46dcULL, 0x008e38f57fe87613ULL,
349                            0x00dc8e5ae25f4ab2ULL, 0x000a17809575e6bdULL,
350                            0x00d3ec7923ba366aULL, 0x003a7e72e0ad75e3ULL,
351                            0x0010024b88436e0aULL, 0x00ed3c5444b64051ULL)},
352             {FIELD_LITERAL(0x00831fc1340af342ULL, 0x00c9645669466d35ULL,
353                            0x007692b4cc5a080fULL, 0x009fd4a47ac9259fULL,
354                            0x001eeddf7d45928bULL, 0x003c0446fc45f28bULL,
355                            0x002c0713aa3e2507ULL, 0x0095706935f0f41eULL)},
356         }}, {{
357             {FIELD_LITERAL(0x00766ae4190ec6d8ULL, 0x0065768cabc71380ULL,
358                            0x00b902598416cdc2ULL, 0x00380021ad38df52ULL,
359                            0x008f0b89d6551134ULL, 0x004254d4cc62c5a5ULL,
360                            0x000d79f4484b9b94ULL, 0x00b516732ae3c50eULL)},
361             {FIELD_LITERAL(0x001fb73475c45509ULL, 0x00d2b2e5ea43345aULL,
362                            0x00cb3c3842077bd1ULL, 0x0029f90ad820946eULL,
363                            0x007c11b2380778aaULL, 0x009e54ece62c1704ULL,
364                            0x004bc60c41ca01c3ULL, 0x004525679a5a0b03ULL)},
365             {FIELD_LITERAL(0x00c64fbddbed87b3ULL, 0x0040601d11731faaULL,
366                            0x009c22475b6f9d67ULL, 0x0024b79dae875f15ULL,
367                            0x00616fed3f02c3b0ULL, 0x0000cf39f6af2d3bULL,
368                            0x00c46bac0aa9a688ULL, 0x00ab23e2800da204ULL)},
369         }}, {{
370             {FIELD_LITERAL(0x000b3a37617632b0ULL, 0x00597199fe1cfb6cULL,
371                            0x0042a7ccdfeafdd6ULL, 0x004cc9f15ebcea17ULL,
372                            0x00f436e596a6b4a4ULL, 0x00168861142df0d8ULL,
373                            0x000753edfec26af5ULL, 0x000c495d7e388116ULL)},
374             {FIELD_LITERAL(0x0017085f4a346148ULL, 0x00c7cf7a37f62272ULL,
375                            0x001776e129bc5c30ULL, 0x009955134c9eef2aULL,
376                            0x001ba5bdf1df07beULL, 0x00ec39497103a55cULL,
377                            0x006578354fda6cfbULL, 0x005f02719d4f15eeULL)},
378             {FIELD_LITERAL(0x0052b9d9b5d9655dULL, 0x00d4ec7ba1b461c3ULL,
379                            0x00f95df4974f280bULL, 0x003d8e5ca11aeb51ULL,
380                            0x00d4981eb5a70b26ULL, 0x000af9a4f6659f29ULL,
381                            0x004598c846faeb43ULL, 0x0049d9a183a47670ULL)},
382         }}, {{
383             {FIELD_LITERAL(0x000a72d23dcb3f1fULL, 0x00a3737f84011727ULL,
384                            0x00f870c0fbbf4a47ULL, 0x00a7aadd04b5c9caULL,
385                            0x000c7715c67bd072ULL, 0x00015a136afcd74eULL,
386                            0x0080d5caea499634ULL, 0x0026b448ec7514b7ULL)},
387             {FIELD_LITERAL(0x00b60167d9e7d065ULL, 0x00e60ba0d07381e8ULL,
388                            0x003a4f17b725c2d4ULL, 0x006c19fe176b64faULL,
389                            0x003b57b31af86ccbULL, 0x0021047c286180fdULL,
390                            0x00bdc8fb00c6dbb6ULL, 0x00fe4a9f4bab4f3fULL)},
391             {FIELD_LITERAL(0x0088ffc3a16111f7ULL, 0x009155e4245d0bc8ULL,
392                            0x00851d68220572d5ULL, 0x00557ace1e514d29ULL,
393                            0x0031d7c339d91022ULL, 0x00101d0ae2eaceeaULL,
394                            0x00246ab3f837b66aULL, 0x00d5216d381ff530ULL)},
395         }}, {{
396             {FIELD_LITERAL(0x0057e7ea35f36daeULL, 0x00f47d7ad15de22eULL,
397                            0x00d757ea4b105115ULL, 0x008311457d579d7eULL,
398                            0x00b49b75b1edd4ebULL, 0x0081c7ff742fd63aULL,
399                            0x00ddda3187433df6ULL, 0x00475727d55f9c66ULL)},
400             {FIELD_LITERAL(0x00a6295218dc136aULL, 0x00563b3af0e9c012ULL,
401                            0x00d3753b0145db1bULL, 0x004550389c043dc1ULL,
402                            0x00ea94ae27401bdfULL, 0x002b0b949f2b7956ULL,
403                            0x00c63f780ad8e23cULL, 0x00e591c47d6bab15ULL)},
404             {FIELD_LITERAL(0x00416c582b058eb6ULL, 0x004107da5b2cc695ULL,
405                            0x00b3cd2556aeec64ULL, 0x00c0b418267e57a1ULL,
406                            0x001799293579bd2eULL, 0x0046ed44590e4d07ULL,
407                            0x001d7459b3630a1eULL, 0x00c6afba8b6696aaULL)},
408         }}, {{
409             {FIELD_LITERAL(0x008d6009b26da3f8ULL, 0x00898e88ca06b1caULL,
410                            0x00edb22b2ed7fe62ULL, 0x00fbc93516aabe80ULL,
411                            0x008b4b470c42ce0dULL, 0x00e0032ba7d0dcbbULL,
412                            0x00d76da3a956ecc8ULL, 0x007f20fe74e3852aULL)},
413             {FIELD_LITERAL(0x002419222c607674ULL, 0x00a7f23af89188b3ULL,
414                            0x00ad127284e73d1cULL, 0x008bba582fae1c51ULL,
415                            0x00fc6aa7ca9ecab1ULL, 0x003df5319eb6c2baULL,
416                            0x002a05af8a8b199aULL, 0x004bf8354558407cULL)},
417             {FIELD_LITERAL(0x00ce7d4a30f0fcbfULL, 0x00d02c272629f03dULL,
418                            0x0048c001f7400bc2ULL, 0x002c21368011958dULL,
419                            0x0098a550391e96b5ULL, 0x002d80b66390f379ULL,
420                            0x001fa878760cc785ULL, 0x001adfce54b613d5ULL)},
421         }}, {{
422             {FIELD_LITERAL(0x001ed4dc71fa2523ULL, 0x005d0bff19bf9b5cULL,
423                            0x00c3801cee065a64ULL, 0x001ed0b504323fbfULL,
424                            0x0003ab9fdcbbc593ULL, 0x00df82070178b8d2ULL,
425                            0x00a2bcaa9c251f85ULL, 0x00c628a3674bd02eULL)},
426             {FIELD_LITERAL(0x006b7a0674f9f8deULL, 0x00a742414e5c7cffULL,
427                            0x0041cbf3c6e13221ULL, 0x00e3a64fd207af24ULL,
428                            0x0087c05f15fbe8d1ULL, 0x004c50936d9e8a33ULL,
429                            0x001306ec21042b6dULL, 0x00a4f4137d1141c2ULL)},
430             {FIELD_LITERAL(0x0009e6fb921568b0ULL, 0x00b3c60120219118ULL,
431                            0x002a6c3460dd503aULL, 0x009db1ef11654b54ULL,
432                            0x0063e4bf0be79601ULL, 0x00670d34bb2592b9ULL,
433                            0x00dcee2f6c4130ceULL, 0x00b2682e88e77f54ULL)},
434         }}, {{
435             {FIELD_LITERAL(0x000d5b4b3da135abULL, 0x00838f3e5064d81dULL,
436                            0x00d44eb50f6d94edULL, 0x0008931ab502ac6dULL,
437                            0x00debe01ca3d3586ULL, 0x0025c206775f0641ULL,
438                            0x005ad4b6ae912763ULL, 0x007e2c318ad8f247ULL)},
439             {FIELD_LITERAL(0x00ddbe0750dd1addULL, 0x004b3c7b885844b8ULL,
440                            0x00363e7ecf12f1aeULL, 0x0062e953e6438f9dULL,
441                            0x0023cc73b076afe9ULL, 0x00b09fa083b4da32ULL,
442                            0x00c7c3d2456c541dULL, 0x005b591ec6b694d4ULL)},
443             {FIELD_LITERAL(0x0028656e19d62fcfULL, 0x0052a4af03df148dULL,
444                            0x00122765ddd14e42ULL, 0x00f2252904f67157ULL,
445                            0x004741965b636f3aULL, 0x006441d296132cb9ULL,
446                            0x005e2106f956a5b7ULL, 0x00247029592d335cULL)},
447         }}, {{
448             {FIELD_LITERAL(0x003fe038eb92f894ULL, 0x000e6da1b72e8e32ULL,
449                            0x003a1411bfcbe0faULL, 0x00b55d473164a9e4ULL,
450                            0x00b9a775ac2df48dULL, 0x0002ddf350659e21ULL,
451                            0x00a279a69eb19cb3ULL, 0x00f844eab25cba44ULL)},
452             {FIELD_LITERAL(0x00c41d1f9c1f1ac1ULL, 0x007b2df4e9f19146ULL,
453                            0x00b469355fd5ba7aULL, 0x00b5e1965afc852aULL,
454                            0x00388d5f1e2d8217ULL, 0x0022079e4c09ae93ULL,
455                            0x0014268acd4ef518ULL, 0x00c1dd8d9640464cULL)},
456             {FIELD_LITERAL(0x0038526adeed0c55ULL, 0x00dd68c607e3fe85ULL,
457                            0x00f746ddd48a5d57ULL, 0x0042f2952b963b7cULL,
458                            0x001cbbd6876d5ec2ULL, 0x005e341470bca5c2ULL,
459                            0x00871d41e085f413ULL, 0x00e53ab098f45732ULL)},
460         }}, {{
461             {FIELD_LITERAL(0x004d51124797c831ULL, 0x008f5ae3750347adULL,
462                            0x0070ced94c1a0c8eULL, 0x00f6db2043898e64ULL,
463                            0x000d00c9a5750cd0ULL, 0x000741ec59bad712ULL,
464                            0x003c9d11aab37b7fULL, 0x00a67ba169807714ULL)},
465             {FIELD_LITERAL(0x00adb2c1566e8b8fULL, 0x0096c68a35771a9aULL,
466                            0x00869933356f334aULL, 0x00ba9c93459f5962ULL,
467                            0x009ec73fb6e8ca4bULL, 0x003c3802c27202e1ULL,
468                            0x0031f5b733e0c008ULL, 0x00f9058c19611fa9ULL)},
469             {FIELD_LITERAL(0x00238f01814a3421ULL, 0x00c325a44b6cce28ULL,
470                            0x002136f97aeb0e73ULL, 0x000cac8268a4afe2ULL,
471                            0x0022fd218da471b3ULL, 0x009dcd8dfff8def9ULL,
472                            0x00cb9f8181d999bbULL, 0x00143ae56edea349ULL)},
473         }}, {{
474             {FIELD_LITERAL(0x0000623bf87622c5ULL, 0x00a1966fdd069496ULL,
475                            0x00c315b7b812f9fcULL, 0x00bdf5efcd128b97ULL,
476                            0x001d464f532e3e16ULL, 0x003cd94f081bfd7eULL,
477                            0x00ed9dae12ce4009ULL, 0x002756f5736eee70ULL)},
478             {FIELD_LITERAL(0x00a5187e6ee7341bULL, 0x00e6d52e82d83b6eULL,
479                            0x00df3c41323094a7ULL, 0x00b3324f444e9de9ULL,
480                            0x00689eb21a35bfe5ULL, 0x00f16363becd548dULL,
481                            0x00e187cc98e7f60fULL, 0x00127d9062f0ccabULL)},
482             {FIELD_LITERAL(0x004ad71b31c29e40ULL, 0x00a5fcace12fae29ULL,
483                            0x004425b5597280edULL, 0x00e7ef5d716c3346ULL,
484                            0x0010b53ada410ac8ULL, 0x0092310226060c9bULL,
485                            0x0091c26128729c7eULL, 0x0088b42900f8ec3bULL)},
486         }}, {{
487             {FIELD_LITERAL(0x00f1e26e9762d4a8ULL, 0x00d9d74082183414ULL,
488                            0x00ffec9bd57a0282ULL, 0x000919e128fd497aULL,
489                            0x00ab7ae7d00fe5f8ULL, 0x0054dc442851ff68ULL,
490                            0x00c9ebeb3b861687ULL, 0x00507f7cab8b698fULL)},
491             {FIELD_LITERAL(0x00c13c5aae3ae341ULL, 0x009c6c9ed98373e7ULL,
492                            0x00098f26864577a8ULL, 0x0015b886e9488b45ULL,
493                            0x0037692c42aadba5ULL, 0x00b83170b8e7791cULL,
494                            0x001670952ece1b44ULL, 0x00fd932a39276da2ULL)},
495             {FIELD_LITERAL(0x0081a3259bef3398ULL, 0x005480fff416107bULL,
496                            0x00ce4f607d21be98ULL, 0x003ffc084b41df9bULL,
497                            0x0043d0bb100502d1ULL, 0x00ec35f575ba3261ULL,
498                            0x00ca18f677300ef3ULL, 0x00e8bb0a827d8548ULL)},
499         }}, {{
500             {FIELD_LITERAL(0x00df76b3328ada72ULL, 0x002e20621604a7c2ULL,
501                            0x00f910638a105b09ULL, 0x00ef4724d96ef2cdULL,
502                            0x00377d83d6b8a2f7ULL, 0x00b4f48805ade324ULL,
503                            0x001cd5da8b152018ULL, 0x0045af671a20ca7fULL)},
504             {FIELD_LITERAL(0x009ae3b93a56c404ULL, 0x004a410b7a456699ULL,
505                            0x00023a619355e6b2ULL, 0x009cdc7297387257ULL,
506                            0x0055b94d4ae70d04ULL, 0x002cbd607f65b005ULL,
507                            0x003208b489697166ULL, 0x00ea2aa058867370ULL)},
508             {FIELD_LITERAL(0x00f29d2598ee3f32ULL, 0x00b4ac5385d82adcULL,
509                            0x007633eaf04df19bULL, 0x00aa2d3d77ceab01ULL,
510                            0x004a2302fcbb778aULL, 0x00927f225d5afa34ULL,
511                            0x004a8e9d5047f237ULL, 0x008224ae9dbce530ULL)},
512         }}, {{
513             {FIELD_LITERAL(0x001cf640859b02f8ULL, 0x00758d1d5d5ce427ULL,
514                            0x00763c784ef4604cULL, 0x005fa81aee205270ULL,
515                            0x00ac537bfdfc44cbULL, 0x004b919bd342d670ULL,
516                            0x00238508d9bf4b7aULL, 0x00154888795644f3ULL)},
517             {FIELD_LITERAL(0x00c845923c084294ULL, 0x00072419a201bc25ULL,
518                            0x0045f408b5f8e669ULL, 0x00e9d6a186b74dfeULL,
519                            0x00e19108c68fa075ULL, 0x0017b91d874177b7ULL,
520                            0x002f0ca2c7912c5aULL, 0x009400aa385a90a2ULL)},
521             {FIELD_LITERAL(0x0071110b01482184ULL, 0x00cfed0044f2bef8ULL,
522                            0x0034f2901cf4662eULL, 0x003b4ae2a67f9834ULL,
523                            0x00cca9b96fe94810ULL, 0x00522507ae77abd0ULL,
524                            0x00bac7422721e73eULL, 0x0066622b0f3a62b0ULL)},
525         }}, {{
526             {FIELD_LITERAL(0x00f8ac5cf4705b6aULL, 0x00867d82dcb457e3ULL,
527                            0x007e13ab2ccc2ce9ULL, 0x009ee9a018d3930eULL,
528                            0x008370f8ecb42df8ULL, 0x002d9f019add263eULL,
529                            0x003302385b92d196ULL, 0x00a15654536e2c0cULL)},
530             {FIELD_LITERAL(0x0026ef1614e160afULL, 0x00c023f9edfc9c76ULL,
531                            0x00cff090da5f57baULL, 0x0076db7a66643ae9ULL,
532                            0x0019462f8c646999ULL, 0x008fec00b3854b22ULL,
533                            0x00d55041692a0a1cULL, 0x0065db894215ca00ULL)},
534             {FIELD_LITERAL(0x00a925036e0a451cULL, 0x002a0390c36b6cc1ULL,
535                            0x00f27020d90894f4ULL, 0x008d90d52cbd3d7fULL,
536                            0x00e1d0137392f3b8ULL, 0x00f017c158b51a8fULL,
537                            0x00cac313d3ed7dbcULL, 0x00b99a81e3eb42d3ULL)},
538         }}, {{
539             {FIELD_LITERAL(0x00b54850275fe626ULL, 0x0053a3fd1ec71140ULL,
540                            0x00e3d2d7dbe096faULL, 0x00e4ac7b595cce4cULL,
541                            0x0077bad449c0a494ULL, 0x00b7c98814afd5b3ULL,
542                            0x0057226f58486cf9ULL, 0x00b1557154f0cc57ULL)},
543             {FIELD_LITERAL(0x008cc9cd236315c0ULL, 0x0031d9c5b39fda54ULL,
544                            0x00a5713ef37e1171ULL, 0x00293d5ae2886325ULL,
545                            0x00c4aba3e05015e1ULL, 0x0003f35ef78e4fc6ULL,
546                            0x0039d6bd3ac1527bULL, 0x0019d7c3afb77106ULL)},
547             {FIELD_LITERAL(0x007b162931a985afULL, 0x00ad40a2e0daa713ULL,
548                            0x006df27c4009f118ULL, 0x00503e9f4e2e8becULL,
549                            0x00751a77c82c182dULL, 0x000298937769245bULL,
550                            0x00ffb1e8fabf9ee5ULL, 0x0008334706e09abeULL)},
551         }}, {{
552             {FIELD_LITERAL(0x00dbca4e98a7dcd9ULL, 0x00ee29cfc78bde99ULL,
553                            0x00e4a3b6995f52e9ULL, 0x0045d70189ae8096ULL,
554                            0x00fd2a8a3b9b0d1bULL, 0x00af1793b107d8e1ULL,
555                            0x00dbf92cbe4afa20ULL, 0x00da60f798e3681dULL)},
556             {FIELD_LITERAL(0x004246bfcecc627aULL, 0x004ba431246c03a4ULL,
557                            0x00bd1d101872d497ULL, 0x003b73d3f185ee16ULL,
558                            0x001feb2e2678c0e3ULL, 0x00ff13c5a89dec76ULL,
559                            0x00ed06042e771d8fULL, 0x00a4fd2a897a83ddULL)},
560             {FIELD_LITERAL(0x009a4a3be50d6597ULL, 0x00de3165fc5a1096ULL,
561                            0x004f3f56e345b0c7ULL, 0x00f7bf721d5ab8bcULL,
562                            0x004313e47b098c50ULL, 0x00e4c7d5c0e1adbbULL,
563                            0x002e3e3db365051eULL, 0x00a480c2cd6a96fbULL)},
564         }}, {{
565             {FIELD_LITERAL(0x00417fa30a7119edULL, 0x00af257758419751ULL,
566                            0x00d358a487b463d4ULL, 0x0089703cc720b00dULL,
567                            0x00ce56314ff7f271ULL, 0x0064db171ade62c1ULL,
568                            0x00640b36d4a22fedULL, 0x00424eb88696d23fULL)},
569             {FIELD_LITERAL(0x004ede34af2813f3ULL, 0x00d4a8e11c9e8216ULL,
570                            0x004796d5041de8a5ULL, 0x00c4c6b4d21cc987ULL,
571                            0x00e8a433ee07fa1eULL, 0x0055720b5abcc5a1ULL,
572                            0x008873ea9c74b080ULL, 0x005b3fec1ab65d48ULL)},
573             {FIELD_LITERAL(0x0047e5277db70ec5ULL, 0x000a096c66db7d6bULL,
574                            0x00b4164cc1730159ULL, 0x004a9f783fe720feULL,
575                            0x00a8177b94449dbcULL, 0x0095a24ff49a599fULL,
576                            0x0069c1c578250cbcULL, 0x00452019213debf4ULL)},
577         }}, {{
578             {FIELD_LITERAL(0x0021ce99e09ebda3ULL, 0x00fcbd9f91875ad0ULL,
579                            0x009bbf6b7b7a0b5fULL, 0x00388886a69b1940ULL,
580                            0x00926a56d0f81f12ULL, 0x00e12903c3358d46ULL,
581                            0x005dfce4e8e1ce9dULL, 0x0044cfa94e2f7e23ULL)},
582             {FIELD_LITERAL(0x001bd59c09e982eaULL, 0x00f72daeb937b289ULL,
583                            0x0018b76dca908e0eULL, 0x00edb498512384adULL,
584                            0x00ce0243b6cc9538ULL, 0x00f96ff690cb4e70ULL,
585                            0x007c77bf9f673c8dULL, 0x005bf704c088a528ULL)},
586             {FIELD_LITERAL(0x0093d4628dcb33beULL, 0x0095263d51d42582ULL,
587                            0x0049b3222458fe06ULL, 0x00e7fce73b653a7fULL,
588                            0x003ca2ebce60b369ULL, 0x00c5de239a32bea4ULL,
589                            0x0063b8b3d71fb6bfULL, 0x0039aeeb78a1a839ULL)},
590         }}, {{
591             {FIELD_LITERAL(0x007dc52da400336cULL, 0x001fded1e15b9457ULL,
592                            0x00902e00f5568e3aULL, 0x00219bef40456d2dULL,
593                            0x005684161fb3dbc9ULL, 0x004a4e9be49a76eaULL,
594                            0x006e685ae88b78ffULL, 0x0021c42f13042d3cULL)},
595             {FIELD_LITERAL(0x00fb22bb5fd3ce50ULL, 0x0017b48aada7ae54ULL,
596                            0x00fd5c44ad19a536ULL, 0x000ccc4e4e55e45cULL,
597                            0x00fd637d45b4c3f5ULL, 0x0038914e023c37cfULL,
598                            0x00ac1881d6a8d898ULL, 0x00611ed8d3d943a8ULL)},
599             {FIELD_LITERAL(0x0056e2259d113d2bULL, 0x00594819b284ec16ULL,
600                            0x00c7bf794bb36696ULL, 0x00721ee75097cdc6ULL,
601                            0x00f71be9047a2892ULL, 0x00df6ba142564edfULL,
602                            0x0069580b7a184e8dULL, 0x00f056e38fca0feeULL)},
603         }}, {{
604             {FIELD_LITERAL(0x009df98566a18c6dULL, 0x00cf3a200968f219ULL,
605                            0x0044ba60da6d9086ULL, 0x00dbc9c0e344da03ULL,
606                            0x000f9401c4466855ULL, 0x00d46a57c5b0a8d1ULL,
607                            0x00875a635d7ac7c6ULL, 0x00ef4a933b7e0ae6ULL)},
608             {FIELD_LITERAL(0x005e8694077a1535ULL, 0x008bef75f71c8f1dULL,
609                            0x000a7c1316423511ULL, 0x00906e1d70604320ULL,
610                            0x003fc46c1a2ffbd6ULL, 0x00d1d5022e68f360ULL,
611                            0x002515fba37bbf46ULL, 0x00ca16234e023b44ULL)},
612             {FIELD_LITERAL(0x00787c99561f4690ULL, 0x00a857a8c1561f27ULL,
613                            0x00a10df9223c09feULL, 0x00b98a9562e3b154ULL,
614                            0x004330b8744c3ed2ULL, 0x00e06812807ec5c4ULL,
615                            0x00e4cf6a7db9f1e3ULL, 0x00d95b089f132a34ULL)},
616         }}, {{
617             {FIELD_LITERAL(0x002922b39ca33eecULL, 0x0090d12a5f3ab194ULL,
618                            0x00ab60c02fb5f8edULL, 0x00188d292abba1cfULL,
619                            0x00e10edec9698f6eULL, 0x0069a4d9934133c8ULL,
620                            0x0024aac40e6d3d06ULL, 0x001702c2177661b0ULL)},
621             {FIELD_LITERAL(0x00139078397030bdULL, 0x000e3c447e859a00ULL,
622                            0x0064a5b334c82393ULL, 0x00b8aabeb7358093ULL,
623                            0x00020778bb9ae73bULL, 0x0032ee94c7892a18ULL,
624                            0x008215253cb41bdaULL, 0x005e2797593517aeULL)},
625             {FIELD_LITERAL(0x0083765a5f855d4aULL, 0x0051b6d1351b8ee2ULL,
626                            0x00116de548b0f7bbULL, 0x0087bd88703affa0ULL,
627                            0x0095b2cc34d7fdd2ULL, 0x0084cd81b53f0bc8ULL,
628                            0x008562fc995350edULL, 0x00a39abb193651e3ULL)},
629         }}, {{
630             {FIELD_LITERAL(0x0019e23f0474b114ULL, 0x00eb94c2ad3b437eULL,
631                            0x006ddb34683b75acULL, 0x00391f9209b564c6ULL,
632                            0x00083b3bb3bff7aaULL, 0x00eedcd0f6dceefcULL,
633                            0x00b50817f794fe01ULL, 0x0036474deaaa75c9ULL)},
634             {FIELD_LITERAL(0x0091868594265aa2ULL, 0x00797accae98ca6dULL,
635                            0x0008d8c5f0f8a184ULL, 0x00d1f4f1c2b2fe6eULL,
636                            0x0036783dfb48a006ULL, 0x008c165120503527ULL,
637                            0x0025fd780058ce9bULL, 0x0068beb007be7d27ULL)},
638             {FIELD_LITERAL(0x00d0ff88aa7c90c2ULL, 0x00b2c60dacf53394ULL,
639                            0x0094a7284d9666d6ULL, 0x00bed9022ce7a19dULL,
640                            0x00c51553f0cd7682ULL, 0x00c3fb870b124992ULL,
641                            0x008d0bc539956c9bULL, 0x00fc8cf258bb8885ULL)},
642         }}, {{
643             {FIELD_LITERAL(0x003667bf998406f8ULL, 0x0000115c43a12975ULL,
644                            0x001e662f3b20e8fdULL, 0x0019ffa534cb24ebULL,
645                            0x00016be0dc8efb45ULL, 0x00ff76a8b26243f5ULL,
646                            0x00ae20d241a541e3ULL, 0x0069bd6af13cd430ULL)},
647             {FIELD_LITERAL(0x0045fdc16487cda3ULL, 0x00b2d8e844cf2ed7ULL,
648                            0x00612c50e88c1607ULL, 0x00a08aabc66c1672ULL,
649                            0x006031fdcbb24d97ULL, 0x001b639525744b93ULL,
650                            0x004409d62639ab17ULL, 0x00a1853d0347ab1dULL)},
651             {FIELD_LITERAL(0x0075a1a56ebf5c21ULL, 0x00a3e72be9ac53edULL,
652                            0x00efcde1629170c2ULL, 0x0004225fe91ef535ULL,
653                            0x0088049fc73dfda7ULL, 0x004abc74857e1288ULL,
654                            0x0024e2434657317cULL, 0x00d98cb3d3e5543cULL)},
655         }}, {{
656             {FIELD_LITERAL(0x00b4b53eab6bdb19ULL, 0x009b22d8b43711d0ULL,
657                            0x00d948b9d961785dULL, 0x00cb167b6f279eadULL,
658                            0x00191de3a678e1c9ULL, 0x00d9dd9511095c2eULL,
659                            0x00f284324cd43067ULL, 0x00ed74fa535151ddULL)},
660             {FIELD_LITERAL(0x007e32c049b5c477ULL, 0x009d2bfdbd9bcfd8ULL,
661                            0x00636e93045938c6ULL, 0x007fde4af7687298ULL,
662                            0x0046a5184fafa5d3ULL, 0x0079b1e7f13a359bULL,
663                            0x00875adf1fb927d6ULL, 0x00333e21c61bcad2ULL)},
664             {FIELD_LITERAL(0x00048014f73d8b8dULL, 0x0075684aa0966388ULL,
665                            0x0092be7df06dc47cULL, 0x0097cebcd0f5568aULL,
666                            0x005a7004d9c4c6a9ULL, 0x00b0ecbb659924c7ULL,
667                            0x00d90332dd492a7cULL, 0x0057fc14df11493dULL)},
668         }}, {{
669             {FIELD_LITERAL(0x0008ed8ea0ad95beULL, 0x0041d324b9709645ULL,
670                            0x00e25412257a19b4ULL, 0x0058df9f3423d8d2ULL,
671                            0x00a9ab20def71304ULL, 0x009ae0dbf8ac4a81ULL,
672                            0x00c9565977e4392aULL, 0x003c9269444baf55ULL)},
673             {FIELD_LITERAL(0x007df6cbb926830bULL, 0x00d336058ae37865ULL,
674                            0x007af47dac696423ULL, 0x0048d3011ec64ac8ULL,
675                            0x006b87666e40049fULL, 0x0036a2e0e51303d7ULL,
676                            0x00ba319bd79dbc55ULL, 0x003e2737ecc94f53ULL)},
677             {FIELD_LITERAL(0x00d296ff726272d9ULL, 0x00f6d097928fcf57ULL,
678                            0x00e0e616a55d7013ULL, 0x00deaf454ed9eac7ULL,
679                            0x0073a56bedef4d92ULL, 0x006ccfdf6fc92e19ULL,
680                            0x009d1ee1371a7218ULL, 0x00ee3c2ee4462d80ULL)},
681         }}, {{
682             {FIELD_LITERAL(0x00437bce9bccdf9dULL, 0x00e0c8e2f85dc0a3ULL,
683                            0x00c91a7073995a19ULL, 0x00856ec9fe294559ULL,
684                            0x009e4b33394b156eULL, 0x00e245b0dc497e5cULL,
685                            0x006a54e687eeaeffULL, 0x00f1cd1cd00fdb7cULL)},
686             {FIELD_LITERAL(0x008132ae5c5d8cd1ULL, 0x00121d68324a1d9fULL,
687                            0x00d6be9dafcb8c76ULL, 0x00684d9070edf745ULL,
688                            0x00519fbc96d7448eULL, 0x00388182fdc1f27eULL,
689                            0x000235baed41f158ULL, 0x00bf6cf6f1a1796aULL)},
690             {FIELD_LITERAL(0x002adc4b4d148219ULL, 0x003084ada0d3a90aULL,
691                            0x0046de8aab0f2e4eULL, 0x00452d342a67b5fdULL,
692                            0x00d4b50f01d4de21ULL, 0x00db6d9fc0cefb79ULL,
693                            0x008c184c86a462cdULL, 0x00e17c83764d42daULL)},
694         }}, {{
695             {FIELD_LITERAL(0x007b2743b9a1e01aULL, 0x007847ffd42688c4ULL,
696                            0x006c7844d610a316ULL, 0x00f0cb8b250aa4b0ULL,
697                            0x00a19060143b3ae6ULL, 0x0014eb10b77cfd80ULL,
698                            0x000170905729dd06ULL, 0x00063b5b9cd72477ULL)},
699             {FIELD_LITERAL(0x00ce382dc7993d92ULL, 0x00021153e938b4c8ULL,
700                            0x00096f7567f48f51ULL, 0x0058f81ddfe4b0d5ULL,
701                            0x00cc379a56b355c7ULL, 0x002c760770d3e819ULL,
702                            0x00ee22d1d26e5a40ULL, 0x00de6d93d5b082d7ULL)},
703             {FIELD_LITERAL(0x000a91a42c52e056ULL, 0x00185f6b77fce7eaULL,
704                            0x000803c51962f6b5ULL, 0x0022528582ba563dULL,
705                            0x0043f8040e9856d6ULL, 0x0085a29ec81fb860ULL,
706                            0x005f9a611549f5ffULL, 0x00c1f974ecbd4b06ULL)},
707         }}, {{
708             {FIELD_LITERAL(0x005b64c6fd65ec97ULL, 0x00c1fdd7f877bc7fULL,
709                            0x000d9cc6c89f841cULL, 0x005c97b7f1aff9adULL,
710                            0x0075e3c61475d47eULL, 0x001ecb1ba8153011ULL,
711                            0x00fe7f1c8d71d40dULL, 0x003fa9757a229832ULL)},
712             {FIELD_LITERAL(0x00ffc5c89d2b0cbaULL, 0x00d363d42e3e6fc3ULL,
713                            0x0019a1a0118e2e8aULL, 0x00f7baeff48882e1ULL,
714                            0x001bd5af28c6b514ULL, 0x0055476ca2253cb2ULL,
715                            0x00d8eb1977e2ddf3ULL, 0x00b173b1adb228a1ULL)},
716             {FIELD_LITERAL(0x00f2cb99dd0ad707ULL, 0x00e1e08b6859ddd8ULL,
717                            0x000008f2d0650bccULL, 0x00d7ed392f8615c3ULL,
718                            0x00976750a94da27fULL, 0x003e83bb0ecb69baULL,
719                            0x00df8e8d15c14ac6ULL, 0x00f9f7174295d9c2ULL)},
720         }}, {{
721             {FIELD_LITERAL(0x00f11cc8e0e70bcbULL, 0x00e5dc689974e7ddULL,
722                            0x0014e409f9ee5870ULL, 0x00826e6689acbd63ULL,
723                            0x008a6f4e3d895d88ULL, 0x00b26a8da41fd4adULL,
724                            0x000fb7723f83efd7ULL, 0x009c749db0a5f6c3ULL)},
725             {FIELD_LITERAL(0x002389319450f9baULL, 0x003677f31aa1250aULL,
726                            0x0092c3db642f38cbULL, 0x00f8b64c0dfc9773ULL,
727                            0x00cd49fe3505b795ULL, 0x0068105a4090a510ULL,
728                            0x00df0ba2072a8bb6ULL, 0x00eb396143afd8beULL)},
729             {FIELD_LITERAL(0x00a0d4ecfb24cdffULL, 0x00ddaf8008ba6479ULL,
730                            0x00f0b3e36d4b0f44ULL, 0x003734bd3af1f146ULL,
731                            0x00b87e2efc75527eULL, 0x00d230df55ddab50ULL,
732                            0x002613257ae56c1dULL, 0x00bc0946d135934dULL)},
733         }}, {{
734             {FIELD_LITERAL(0x00468711bd994651ULL, 0x0033108fa67561bfULL,
735                            0x0089d760192a54b4ULL, 0x00adc433de9f1871ULL,
736                            0x000467d05f36e050ULL, 0x007847e0f0579f7fULL,
737                            0x00a2314ad320052dULL, 0x00b3a93649f0b243ULL)},
738             {FIELD_LITERAL(0x0067f8f0c4fe26c9ULL, 0x0079c4a3cc8f67b9ULL,
739                            0x0082b1e62f23550dULL, 0x00f2d409caefd7f5ULL,
740                            0x0080e67dcdb26e81ULL, 0x0087ae993ea1f98aULL,
741                            0x00aa108becf61d03ULL, 0x001acf11efb608a3ULL)},
742             {FIELD_LITERAL(0x008225febbab50d9ULL, 0x00f3b605e4dd2083ULL,
743                            0x00a32b28189e23d2ULL, 0x00d507e5e5eb4c97ULL,
744                            0x005a1a84e302821fULL, 0x0006f54c1c5f08c7ULL,
745                            0x00a347c8cb2843f0ULL, 0x0009f73e9544bfa5ULL)},
746         }}, {{
747             {FIELD_LITERAL(0x006c59c9ae744185ULL, 0x009fc32f1b4282cdULL,
748                            0x004d6348ca59b1acULL, 0x00105376881be067ULL,
749                            0x00af4096013147dcULL, 0x004abfb5a5cb3124ULL,
750                            0x000d2a7f8626c354ULL, 0x009c6ed568e07431ULL)},
751             {FIELD_LITERAL(0x00e828333c297f8bULL, 0x009ef3cf8c3f7e1fULL,
752                            0x00ab45f8fff31cb9ULL, 0x00c8b4178cb0b013ULL,
753                            0x00d0c50dd3260a3fULL, 0x0097126ac257f5bcULL,
754                            0x0042376cc90c705aULL, 0x001d96fdb4a1071eULL)},
755             {FIELD_LITERAL(0x00542d44d89ee1a8ULL, 0x00306642e0442d98ULL,
756                            0x0090853872b87338ULL, 0x002362cbf22dc044ULL,
757                            0x002c222adff663b8ULL, 0x0067c924495fcb79ULL,
758                            0x000e621d983c977cULL, 0x00df77a9eccb66fbULL)},
759         }}, {{
760             {FIELD_LITERAL(0x002809e4bbf1814aULL, 0x00b9e854f9fafb32ULL,
761                            0x00d35e67c10f7a67ULL, 0x008f1bcb76e748cfULL,
762                            0x004224d9515687d2ULL, 0x005ba0b774e620c4ULL,
763                            0x00b5e57db5d54119ULL, 0x00e15babe5683282ULL)},
764             {FIELD_LITERAL(0x00832d02369b482cULL, 0x00cba52ff0d93450ULL,
765                            0x003fa9c908d554dbULL, 0x008d1e357b54122fULL,
766                            0x00abd91c2dc950c6ULL, 0x007eff1df4c0ec69ULL,
767                            0x003f6aeb13fb2d31ULL, 0x00002d6179fc5b2cULL)},
768             {FIELD_LITERAL(0x0046c9eda81c9c89ULL, 0x00b60cb71c8f62fcULL,
769                            0x0022f5a683baa558ULL, 0x00f87319fccdf997ULL,
770                            0x009ca09b51ce6a22ULL, 0x005b12baf4af7d77ULL,
771                            0x008a46524a1e33e2ULL, 0x00035a77e988be0dULL)},
772         }}, {{
773             {FIELD_LITERAL(0x00a7efe46a7dbe2fULL, 0x002f66fd55014fe7ULL,
774                            0x006a428afa1ff026ULL, 0x0056caaa9604ab72ULL,
775                            0x0033f3bcd7fac8aeULL, 0x00ccb1aa01c86764ULL,
776                            0x00158d1edf13bf40ULL, 0x009848ee76fcf3b4ULL)},
777             {FIELD_LITERAL(0x00a9e7730a819691ULL, 0x00d9cc73c4992b70ULL,
778                            0x00e299bde067de5aULL, 0x008c314eb705192aULL,
779                            0x00e7226f17e8a3ccULL, 0x0029dfd956e65a47ULL,
780                            0x0053a8e839073b12ULL, 0x006f942b2ab1597eULL)},
781             {FIELD_LITERAL(0x001c3d780ecd5e39ULL, 0x0094f247fbdcc5feULL,
782                            0x00d5c786fd527764ULL, 0x00b6f4da74f0db2aULL,
783                            0x0080f1f8badcd5fcULL, 0x00f36a373ad2e23bULL,
784                            0x00f804f9f4343bf2ULL, 0x00d1af40ec623982ULL)},
785         }}, {{
786             {FIELD_LITERAL(0x0082aeace5f1b144ULL, 0x00f68b3108cf4dd3ULL,
787                            0x00634af01dde3020ULL, 0x000beab5df5c2355ULL,
788                            0x00e8b790d1b49b0bULL, 0x00e48d15854e36f4ULL,
789                            0x0040ab2d95f3db9fULL, 0x002711c4ed9e899aULL)},
790             {FIELD_LITERAL(0x0039343746531ebeULL, 0x00c8509d835d429dULL,
791                            0x00e79eceff6b0018ULL, 0x004abfd31e8efce5ULL,
792                            0x007bbfaaa1e20210ULL, 0x00e3be89c193e179ULL,
793                            0x001c420f4c31d585ULL, 0x00f414a315bef5aeULL)},
794             {FIELD_LITERAL(0x007c296a24990df8ULL, 0x00d5d07525a75588ULL,
795                            0x00dd8e113e94b7e7ULL, 0x007bbc58febe0cc8ULL,
796                            0x0029f51af9bfcad3ULL, 0x007e9311ec7ab6f3ULL,
797                            0x009a884de1676343ULL, 0x0050d5f2dce84be9ULL)},
798         }}, {{
799             {FIELD_LITERAL(0x005fa020cca2450aULL, 0x00491c29db6416d8ULL,
800                            0x0037cefe3f9f9a85ULL, 0x003d405230647066ULL,
801                            0x0049e835f0fdbe89ULL, 0x00feb78ac1a0815cULL,
802                            0x00828e4b32dc9724ULL, 0x00db84f2dc8d6fd4ULL)},
803             {FIELD_LITERAL(0x0098cddc8b39549aULL, 0x006da37e3b05d22cULL,
804                            0x00ce633cfd4eb3cbULL, 0x00fda288ef526acdULL,
805                            0x0025338878c5d30aULL, 0x00f34438c4e5a1b4ULL,
806                            0x00584efea7c310f1ULL, 0x0041a551f1b660adULL)},
807             {FIELD_LITERAL(0x00d7f7a8fbd6437aULL, 0x0062872413bf3753ULL,
808                            0x00ad4bbcb43c584bULL, 0x007fe49be601d7e3ULL,
809                            0x0077c659789babf4ULL, 0x00eb45fcb06a741bULL,
810                            0x005ce244913f9708ULL, 0x0088426401736326ULL)},
811         }}, {{
812             {FIELD_LITERAL(0x007bf562ca768d7cULL, 0x006c1f3a174e387cULL,
813                            0x00f024b447fee939ULL, 0x007e7af75f01143fULL,
814                            0x003adb70b4eed89dULL, 0x00e43544021ad79aULL,
815                            0x0091f7f7042011f6ULL, 0x0093c1a1ee3a0ddcULL)},
816             {FIELD_LITERAL(0x00a0b68ec1eb72d2ULL, 0x002c03235c0d45a0ULL,
817                            0x00553627323fe8c5ULL, 0x006186e94b17af94ULL,
818                            0x00a9906196e29f14ULL, 0x0025b3aee6567733ULL,
819                            0x007e0dd840080517ULL, 0x0018eb5801a4ba93ULL)},
820             {FIELD_LITERAL(0x00d7fe7017bf6a40ULL, 0x006e3f0624be0c42ULL,
821                            0x00ffbba205358245ULL, 0x00f9fc2cf8194239ULL,
822                            0x008d93b37bf15b4eULL, 0x006ddf2e38be8e95ULL,
823                            0x002b6e79bf5fcff9ULL, 0x00ab355da425e2deULL)},
824         }}, {{
825             {FIELD_LITERAL(0x00938f97e20be973ULL, 0x0099141a36aaf306ULL,
826                            0x0057b0ca29e545a1ULL, 0x0085db571f9fbc13ULL,
827                            0x008b333c554b4693ULL, 0x0043ab6ef3e241cbULL,
828                            0x0054fb20aa1e5c70ULL, 0x00be0ff852760adfULL)},
829             {FIELD_LITERAL(0x003973d8938971d6ULL, 0x002aca26fa80c1f5ULL,
830                            0x00108af1faa6b513ULL, 0x00daae275d7924e6ULL,
831                            0x0053634ced721308ULL, 0x00d2355fe0bbd443ULL,
832                            0x00357612b2d22095ULL, 0x00f9bb9dd4136cf3ULL)},
833             {FIELD_LITERAL(0x002bff12cf5e03a5ULL, 0x001bdb1fa8a19cf8ULL,
834                            0x00c91c6793f84d39ULL, 0x00f869f1b2eba9afULL,
835                            0x0059bc547dc3236bULL, 0x00d91611d6d38689ULL,
836                            0x00e062daaa2c0214ULL, 0x00ed3c047cc2bc82ULL)},
837         }}, {{
838             {FIELD_LITERAL(0x000050d70c32b31aULL, 0x001939d576d437b3ULL,
839                            0x00d709e598bf9fe6ULL, 0x00a885b34bd2ee9eULL,
840                            0x00dd4b5c08ab1a50ULL, 0x0091bebd50b55639ULL,
841                            0x00cf79ff64acdbc6ULL, 0x006067a39d826336ULL)},
842             {FIELD_LITERAL(0x0062dd0fb31be374ULL, 0x00fcc96b84c8e727ULL,
843                            0x003f64f1375e6ae3ULL, 0x0057d9b6dd1af004ULL,
844                            0x00d6a167b1103c7bULL, 0x00dd28f3180fb537ULL,
845                            0x004ff27ad7167128ULL, 0x008934c33461f2acULL)},
846             {FIELD_LITERAL(0x0065b472b7900043ULL, 0x00ba7efd2ff1064bULL,
847                            0x000b67d6c4c3020fULL, 0x0012d28469f4e46dULL,
848                            0x0031c32939703ec7ULL, 0x00b49f0bce133066ULL,
849                            0x00f7e10416181d47ULL, 0x005c90f51867eeccULL)},
850         }}, {{
851             {FIELD_LITERAL(0x0051207abd179101ULL, 0x00fc2a5c20d9c5daULL,
852                            0x00fb9d5f2701b6dfULL, 0x002dd040fdea82b8ULL,
853                            0x00f163b0738442ffULL, 0x00d9736bd68855b8ULL,
854                            0x00e0d8e93005e61cULL, 0x00df5a40b3988570ULL)},
855             {FIELD_LITERAL(0x0006918f5dfce6dcULL, 0x00d4bf1c793c57fbULL,
856                            0x0069a3f649435364ULL, 0x00e89a50e5b0cd6eULL,
857                            0x00b9f6a237e973afULL, 0x006d4ed8b104e41dULL,
858                            0x00498946a3924cd2ULL, 0x00c136ec5ac9d4f7ULL)},
859             {FIELD_LITERAL(0x0011a9c290ac5336ULL, 0x002b9a2d4a6a6533ULL,
860                            0x009a8a68c445d937ULL, 0x00361b27b07e5e5cULL,
861                            0x003c043b1755b974ULL, 0x00b7eb66cf1155eeULL,
862                            0x0077af5909eefff2ULL, 0x0098f609877cc806ULL)},
863         }}, {{
864             {FIELD_LITERAL(0x00ab13af436bf8f4ULL, 0x000bcf0a0dac8574ULL,
865                            0x00d50c864f705045ULL, 0x00c40e611debc842ULL,
866                            0x0085010489bd5caaULL, 0x007c5050acec026fULL,
867                            0x00f67d943c8da6d1ULL, 0x00de1da0278074c6ULL)},
868             {FIELD_LITERAL(0x00b373076597455fULL, 0x00e83f1af53ac0f5ULL,
869                            0x0041f63c01dc6840ULL, 0x0097dea19b0c6f4bULL,
870                            0x007f9d63b4c1572cULL, 0x00e692d492d0f5f0ULL,
871                            0x00cbcb392e83b4adULL, 0x0069c0f39ed9b1a8ULL)},
872             {FIELD_LITERAL(0x00861030012707c9ULL, 0x009fbbdc7fd4aafbULL,
873                            0x008f591d6b554822ULL, 0x00df08a41ea18adeULL,
874                            0x009d7d83e642abeaULL, 0x0098c71bda3b78ffULL,
875                            0x0022c89e7021f005ULL, 0x0044d29a3fe1e3c4ULL)},
876         }}, {{
877             {FIELD_LITERAL(0x00e748cd7b5c52f2ULL, 0x00ea9df883f89cc3ULL,
878                            0x0018970df156b6c7ULL, 0x00c5a46c2a33a847ULL,
879                            0x00cbde395e32aa09ULL, 0x0072474ebb423140ULL,
880                            0x00fb00053086a23dULL, 0x001dafcfe22d4e1fULL)},
881             {FIELD_LITERAL(0x00c903ee6d825540ULL, 0x00add6c4cf98473eULL,
882                            0x007636efed4227f1ULL, 0x00905124ae55e772ULL,
883                            0x00e6b38fab12ed53ULL, 0x0045e132b863fe55ULL,
884                            0x003974662edb366aULL, 0x00b1787052be8208ULL)},
885             {FIELD_LITERAL(0x00a614b00d775c7cULL, 0x00d7c78941cc7754ULL,
886                            0x00422dd68b5dabc4ULL, 0x00a6110f0167d28bULL,
887                            0x00685a309c252886ULL, 0x00b439ffd5143660ULL,
888                            0x003656e29ee7396fULL, 0x00c7c9b9ed5ad854ULL)},
889         }}, {{
890             {FIELD_LITERAL(0x0040f7e7c5b37bf2ULL, 0x0064e4dc81181bbaULL,
891                            0x00a8767ae2a366b6ULL, 0x001496b4f90546f2ULL,
892                            0x002a28493f860441ULL, 0x0021f59513049a3aULL,
893                            0x00852d369a8b7ee3ULL, 0x00dd2e7d8b7d30a9ULL)},
894             {FIELD_LITERAL(0x00006e34a35d9fbcULL, 0x00eee4e48b2f019aULL,
895                            0x006b344743003a5fULL, 0x00541d514f04a7e3ULL,
896                            0x00e81f9ee7647455ULL, 0x005e2b916c438f81ULL,
897                            0x00116f8137b7eff0ULL, 0x009bd3decc7039d1ULL)},
898             {FIELD_LITERAL(0x0005d226f434110dULL, 0x00af8288b8ef21d5ULL,
899                            0x004a7a52ef181c8cULL, 0x00be0b781b4b06deULL,
900                            0x00e6e3627ded07e1ULL, 0x00e43aa342272b8bULL,
901                            0x00e86ab424577d84ULL, 0x00fb292c566e35bbULL)},
902         }}, {{
903             {FIELD_LITERAL(0x00334f5303ea1222ULL, 0x00dfb3dbeb0a5d3eULL,
904                            0x002940d9592335c1ULL, 0x00706a7a63e8938aULL,
905                            0x005a533558bc4cafULL, 0x00558e33192022a9ULL,
906                            0x00970d9faf74c133ULL, 0x002979fcb63493caULL)},
907             {FIELD_LITERAL(0x00e38abece3c82abULL, 0x005a51f18a2c7a86ULL,
908                            0x009dafa2e86d592eULL, 0x00495a62eb688678ULL,
909                            0x00b79df74c0eb212ULL, 0x0023e8cc78b75982ULL,
910                            0x005998cb91075e13ULL, 0x00735aa9ba61bc76ULL)},
911             {FIELD_LITERAL(0x00d9f7a82ddbe628ULL, 0x00a1fc782889ae0fULL,
912                            0x0071ffda12d14b66ULL, 0x0037cf4eca7fb3d5ULL,
913                            0x00c80bc242c58808ULL, 0x0075bf8c2d08c863ULL,
914                            0x008d41f31afc52a7ULL, 0x00197962ecf38741ULL)},
915         }}, {{
916             {FIELD_LITERAL(0x006e9f475cccf2eeULL, 0x00454b9cd506430cULL,
917                            0x00224a4fb79ee479ULL, 0x0062e3347ef0b5e2ULL,
918                            0x0034fd2a3512232aULL, 0x00b8b3cb0f457046ULL,
919                            0x00eb20165daa38ecULL, 0x00128eebc2d9c0f7ULL)},
920             {FIELD_LITERAL(0x00bfc5fa1e4ea21fULL, 0x00c21d7b6bb892e6ULL,
921                            0x00cf043f3acf0291ULL, 0x00c13f2f849b3c90ULL,
922                            0x00d1a97ebef10891ULL, 0x0061e130a445e7feULL,
923                            0x0019513fdedbf22bULL, 0x001d60c813bff841ULL)},
924             {FIELD_LITERAL(0x0019561c7fcf0213ULL, 0x00e3dca6843ebd77ULL,
925                            0x0068ea95b9ca920eULL, 0x009bdfb70f253595ULL,
926                            0x00c68f59186aa02aULL, 0x005aee1cca1c3039ULL,
927                            0x00ab79a8a937a1ceULL, 0x00b9a0e549959e6fULL)},
928         }}, {{
929             {FIELD_LITERAL(0x00c79e0b6d97dfbdULL, 0x00917c71fd2bc6e8ULL,
930                            0x00db7529ccfb63d8ULL, 0x00be5be957f17866ULL,
931                            0x00a9e11fdc2cdac1ULL, 0x007b91a8e1f44443ULL,
932                            0x00a3065e4057d80fULL, 0x004825f5b8d5f6d4ULL)},
933             {FIELD_LITERAL(0x003e4964fa8a8fc8ULL, 0x00f6a1cdbcf41689ULL,
934                            0x00943cb18fe7fda7ULL, 0x00606dafbf34440aULL,
935                            0x005d37a86399c789ULL, 0x00e79a2a69417403ULL,
936                            0x00fe34f7e68b8866ULL, 0x0011f448ed2df10eULL)},
937             {FIELD_LITERAL(0x00f1f57efcc1fcc4ULL, 0x00513679117de154ULL,
938                            0x002e5b5b7c86d8c3ULL, 0x009f6486561f9cfbULL,
939                            0x00169e74b0170cf7ULL, 0x00900205af4af696ULL,
940                            0x006acfddb77853f3ULL, 0x00df184c90f31068ULL)},
941         }}, {{
942             {FIELD_LITERAL(0x00b37396c3320791ULL, 0x00fc7b67175c5783ULL,
943                            0x00c36d2cd73ecc38ULL, 0x0080ebcc0b328fc5ULL,
944                            0x0043a5b22b35d35dULL, 0x00466c9f1713c9daULL,
945                            0x0026ad346dcaa8daULL, 0x007c684e701183a6ULL)},
946             {FIELD_LITERAL(0x00fd579ffb691713ULL, 0x00b76af4f81c412dULL,
947                            0x00f239de96110f82ULL, 0x00e965fb437f0306ULL,
948                            0x00ca7e9436900921ULL, 0x00e487f1325fa24aULL,
949                            0x00633907de476380ULL, 0x00721c62ac5b8ea0ULL)},
950             {FIELD_LITERAL(0x00c0d54e542eb4f9ULL, 0x004ed657171c8dcfULL,
951                            0x00b743a4f7c2a39bULL, 0x00fd9f93ed6cc567ULL,
952                            0x00307fae3113e58bULL, 0x0058aa577c93c319ULL,
953                            0x00d254556f35b346ULL, 0x00491aada2203f0dULL)},
954         }}, {{
955             {FIELD_LITERAL(0x00dff3103786ff34ULL, 0x000144553b1f20c3ULL,
956                            0x0095613baeb930e4ULL, 0x00098058275ea5d4ULL,
957                            0x007cd1402b046756ULL, 0x0074d74e4d58aee3ULL,
958                            0x005f93fc343ff69bULL, 0x00873df17296b3b0ULL)},
959             {FIELD_LITERAL(0x00c4a1fb48635413ULL, 0x00b5dd54423ad59fULL,
960                            0x009ff5d53fd24a88ULL, 0x003c98d267fc06a7ULL,
961                            0x002db7cb20013641ULL, 0x00bd1d6716e191f2ULL,
962                            0x006dbc8b29094241ULL, 0x0044bbf233dafa2cULL)},
963             {FIELD_LITERAL(0x0055838d41f531e6ULL, 0x00bf6a2dd03c81b2ULL,
964                            0x005827a061c4839eULL, 0x0000de2cbb36aac3ULL,
965                            0x002efa29d9717478ULL, 0x00f9e928cc8a77baULL,
966                            0x00c134b458def9efULL, 0x00958a182223fc48ULL)},
967         }}, {{
968             {FIELD_LITERAL(0x000a9ee23c06881fULL, 0x002c727d3d871945ULL,
969                            0x00f47d971512d24aULL, 0x00671e816f9ef31aULL,
970                            0x00883af2cfaad673ULL, 0x00601f98583d6c9aULL,
971                            0x00b435f5adc79655ULL, 0x00ad87b71c04bff2ULL)},
972             {FIELD_LITERAL(0x007860d99db787cfULL, 0x00fda8983018f4a8ULL,
973                            0x008c8866bac4743cULL, 0x00ef471f84c82a3fULL,
974                            0x00abea5976d3b8e7ULL, 0x00714882896cd015ULL,
975                            0x00b49fae584ddac5ULL, 0x008e33a1a0b69c81ULL)},
976             {FIELD_LITERAL(0x007b6ee2c9e8a9ecULL, 0x002455dbbd89d622ULL,
977                            0x006490cf4eaab038ULL, 0x00d925f6c3081561ULL,
978                            0x00153b3047de7382ULL, 0x003b421f8bdceb6fULL,
979                            0x00761a4a5049da78ULL, 0x00980348c5202433ULL)},
980         }}, {{
981             {FIELD_LITERAL(0x007f8a43da97dd5cULL, 0x00058539c800fc7bULL,
982                            0x0040f3cf5a28414aULL, 0x00d68dd0d95283d6ULL,
983                            0x004adce9da90146eULL, 0x00befa41c7d4f908ULL,
984                            0x007603bc2e3c3060ULL, 0x00bdf360ab3545dbULL)},
985             {FIELD_LITERAL(0x00eebfd4e2312cc3ULL, 0x00474b2564e4fc8cULL,
986                            0x003303ef14b1da9bULL, 0x003c93e0e66beb1dULL,
987                            0x0013619b0566925aULL, 0x008817c24d901bf3ULL,
988                            0x00b62bd8898d218bULL, 0x0075a7716f1e88a2ULL)},
989             {FIELD_LITERAL(0x0009218da1e6890fULL, 0x0026907f5fd02575ULL,
990                            0x004dabed5f19d605ULL, 0x003abf181870249dULL,
991                            0x00b52fd048cc92c4ULL, 0x00b6dd51e415a5c5ULL,
992                            0x00d9eb82bd2b4014ULL, 0x002c865a43b46b43ULL)},
993         }}, {{
994             {FIELD_LITERAL(0x0070047189452f4cULL, 0x00f7ad12e1ce78d5ULL,
995                            0x00af1ba51ec44a8bULL, 0x005f39f63e667cd6ULL,
996                            0x00058eac4648425eULL, 0x00d7fdab42bea03bULL,
997                            0x0028576a5688de15ULL, 0x00af973209e77c10ULL)},
998             {FIELD_LITERAL(0x00c338b915d8fef0ULL, 0x00a893292045c39aULL,
999                            0x0028ab4f2eba6887ULL, 0x0060743cb519fd61ULL,
1000                            0x0006213964093ac0ULL, 0x007c0b7a43f6266dULL,
1001                            0x008e3557c4fa5bdaULL, 0x002da976de7b8d9dULL)},
1002             {FIELD_LITERAL(0x0048729f8a8b6dcdULL, 0x00fe23b85cc4d323ULL,
1003                            0x00e7384d16e4db0eULL, 0x004a423970678942ULL,
1004                            0x00ec0b763345d4baULL, 0x00c477b9f99ed721ULL,
1005                            0x00c29dad3777b230ULL, 0x001c517b466f7df6ULL)},
1006         }}, {{
1007             {FIELD_LITERAL(0x006366c380f7b574ULL, 0x001c7d1f09ff0438ULL,
1008                            0x003e20a7301f5b22ULL, 0x00d3efb1916d28f6ULL,
1009                            0x0049f4f81060ce83ULL, 0x00c69d91ea43ced1ULL,
1010                            0x002b6f3e5cd269edULL, 0x005b0fb22ce9ec65ULL)},
1011             {FIELD_LITERAL(0x00aa2261022d883fULL, 0x00ebcca4548010acULL,
1012                            0x002528512e28a437ULL, 0x0070ca7676b66082ULL,
1013                            0x0084bda170f7c6d3ULL, 0x00581b4747c9b8bbULL,
1014                            0x005c96a01061c7e2ULL, 0x00fb7c4a362b5273ULL)},
1015             {FIELD_LITERAL(0x00c30020eb512d02ULL, 0x0060f288283a4d26ULL,
1016                            0x00b7ed13becde260ULL, 0x0075ebb74220f6e9ULL,
1017                            0x00701079fcfe8a1fULL, 0x001c28fcdff58938ULL,
1018                            0x002e4544b8f4df6bULL, 0x0060c5bc4f1a7d73ULL)},
1019         }}, {{
1020             {FIELD_LITERAL(0x00ae307cf069f701ULL, 0x005859f222dd618bULL,
1021                            0x00212d6c46ec0b0dULL, 0x00a0fe4642afb62dULL,
1022                            0x00420d8e4a0a8903ULL, 0x00a80ff639bdf7b0ULL,
1023                            0x0019bee1490b5d8eULL, 0x007439e4b9c27a86ULL)},
1024             {FIELD_LITERAL(0x00a94700032a093fULL, 0x0076e96c225216e7ULL,
1025                            0x00a63a4316e45f91ULL, 0x007d8bbb4645d3b2ULL,
1026                            0x00340a6ff22793ebULL, 0x006f935d4572aeb7ULL,
1027                            0x00b1fb69f00afa28ULL, 0x009e8f3423161ed3ULL)},
1028             {FIELD_LITERAL(0x009ef49c6b5ced17ULL, 0x00a555e6269e9f0aULL,
1029                            0x007e6f1d79ec73b5ULL, 0x009ac78695a32ac4ULL,
1030                            0x0001d77fbbcd5682ULL, 0x008cea1fee0aaeedULL,
1031                            0x00f42bea82a53462ULL, 0x002e46ab96cafcc9ULL)},
1032         }}, {{
1033             {FIELD_LITERAL(0x0051cfcc5885377aULL, 0x00dce566cb1803caULL,
1034                            0x00430c7643f2c7d4ULL, 0x00dce1a1337bdcc0ULL,
1035                            0x0010d5bd7283c128ULL, 0x003b1b547f9b46feULL,
1036                            0x000f245e37e770abULL, 0x007b72511f022b37ULL)},
1037             {FIELD_LITERAL(0x0060db815bc4786cULL, 0x006fab25beedc434ULL,
1038                            0x00c610d06084797cULL, 0x000c48f08537bec0ULL,
1039                            0x0031aba51c5b93daULL, 0x007968fa6e01f347ULL,
1040                            0x0030070da52840c6ULL, 0x00c043c225a4837fULL)},
1041             {FIELD_LITERAL(0x001bcfd00649ee93ULL, 0x006dceb47e2a0fd5ULL,
1042                            0x00f2cebda0cf8fd0ULL, 0x00b6b9d9d1fbdec3ULL,
1043                            0x00815262e6490611ULL, 0x00ef7f5ce3176760ULL,
1044                            0x00e49cd0c998d58bULL, 0x005fc6cc269ba57cULL)},
1045         }}, {{
1046             {FIELD_LITERAL(0x008940211aa0d633ULL, 0x00addae28136571dULL,
1047                            0x00d68fdbba20d673ULL, 0x003bc6129bc9e21aULL,
1048                            0x000346cf184ebe9aULL, 0x0068774d741ebc7fULL,
1049                            0x0019d5e9e6966557ULL, 0x0003cbd7f981b651ULL)},
1050             {FIELD_LITERAL(0x004a2902926f8d3fULL, 0x00ad79b42637ab75ULL,
1051                            0x0088f60b90f2d4e8ULL, 0x0030f54ef0e398c4ULL,
1052                            0x00021dc9bf99681eULL, 0x007ebf66fde74ee3ULL,
1053                            0x004ade654386e9a4ULL, 0x00e7485066be4c27ULL)},
1054             {FIELD_LITERAL(0x00445f1263983be0ULL, 0x004cf371dda45e6aULL,
1055                            0x00744a89d5a310e7ULL, 0x001f20ce4f904833ULL,
1056                            0x00e746edebe66e29ULL, 0x000912ab1f6c153dULL,
1057                            0x00f61d77d9b2444cULL, 0x0001499cd6647610ULL)},
1058         }}
1059     }
1060 };
1061 const struct curve448_precomputed_s *ossl_curve448_precomputed_base
1062     = &curve448_precomputed_base_table;
1063 
1064 static const niels_t curve448_wnaf_base_table[32] = {
1065     {{
1066         {FIELD_LITERAL(0x00303cda6feea532ULL, 0x00860f1d5a3850e4ULL,
1067                        0x00226b9fa4728ccdULL, 0x00e822938a0a0c0cULL,
1068                        0x00263a61c9ea9216ULL, 0x001204029321b828ULL,
1069                        0x006a468360983c65ULL, 0x0002846f0a782143ULL)},
1070         {FIELD_LITERAL(0x00303cda6feea532ULL, 0x00860f1d5a3850e4ULL,
1071                        0x00226b9fa4728ccdULL, 0x006822938a0a0c0cULL,
1072                        0x00263a61c9ea9215ULL, 0x001204029321b828ULL,
1073                        0x006a468360983c65ULL, 0x0082846f0a782143ULL)},
1074         {FIELD_LITERAL(0x00ef8e22b275198dULL, 0x00b0eb141a0b0e8bULL,
1075                        0x001f6789da3cb38cULL, 0x006d2ff8ed39073eULL,
1076                        0x00610bdb69a167f3ULL, 0x00571f306c9689b4ULL,
1077                        0x00f557e6f84b2df8ULL, 0x002affd38b2c86dbULL)},
1078     }}, {{
1079         {FIELD_LITERAL(0x00cea0fc8d2e88b5ULL, 0x00821612d69f1862ULL,
1080                        0x0074c283b3e67522ULL, 0x005a195ba05a876dULL,
1081                        0x000cddfe557feea4ULL, 0x008046c795bcc5e5ULL,
1082                        0x00540969f4d6e119ULL, 0x00d27f96d6b143d5ULL)},
1083         {FIELD_LITERAL(0x000c3b1019d474e8ULL, 0x00e19533e4952284ULL,
1084                        0x00cc9810ba7c920aULL, 0x00f103d2785945acULL,
1085                        0x00bfa5696cc69b34ULL, 0x00a8d3d51e9ca839ULL,
1086                        0x005623cb459586b9ULL, 0x00eae7ce1cd52e9eULL)},
1087         {FIELD_LITERAL(0x0005a178751dd7d8ULL, 0x002cc3844c69c42fULL,
1088                        0x00acbfe5efe10539ULL, 0x009c20f43431a65aULL,
1089                        0x008435d96374a7b3ULL, 0x009ee57566877bd3ULL,
1090                        0x0044691725ed4757ULL, 0x001e87bb2fe2c6b2ULL)},
1091     }}, {{
1092         {FIELD_LITERAL(0x000cedc4debf7a04ULL, 0x002ffa45000470acULL,
1093                        0x002e9f9678201915ULL, 0x0017da1208c4fe72ULL,
1094                        0x007d558cc7d656cbULL, 0x0037a827287cf289ULL,
1095                        0x00142472d3441819ULL, 0x009c21f166cf8dd1ULL)},
1096         {FIELD_LITERAL(0x003ef83af164b2f2ULL, 0x000949a5a0525d0dULL,
1097                        0x00f4498186cac051ULL, 0x00e77ac09ef126d2ULL,
1098                        0x0073ae0b2c9296e9ULL, 0x001c163f6922e3edULL,
1099                        0x0062946159321beaULL, 0x00cfb79b22990b39ULL)},
1100         {FIELD_LITERAL(0x00b001431ca9e654ULL, 0x002d7e5eabcc9a3aULL,
1101                        0x0052e8114c2f6747ULL, 0x0079ac4f94487f92ULL,
1102                        0x00bffd919b5d749cULL, 0x00261f92ad15e620ULL,
1103                        0x00718397b7a97895ULL, 0x00c1443e6ebbc0c4ULL)},
1104     }}, {{
1105         {FIELD_LITERAL(0x00eacd90c1e0a049ULL, 0x008977935b149fbeULL,
1106                        0x0004cb9ba11c93dcULL, 0x009fbd5b3470844dULL,
1107                        0x004bc18c9bfc22cfULL, 0x0057679a991839f3ULL,
1108                        0x00ef15b76fb4092eULL, 0x0074a5173a225041ULL)},
1109         {FIELD_LITERAL(0x003f5f9d7ec4777bULL, 0x00ab2e733c919c94ULL,
1110                        0x001bb6c035245ae5ULL, 0x00a325a49a883630ULL,
1111                        0x0033e9a9ea3cea2fULL, 0x00e442a1eaa0e844ULL,
1112                        0x00b2116d5b0e71b8ULL, 0x00c16abed6d64047ULL)},
1113         {FIELD_LITERAL(0x00c560b5ed051165ULL, 0x001945adc5d65094ULL,
1114                        0x00e221865710f910ULL, 0x00cc12bc9e9b8cebULL,
1115                        0x004faa9518914e35ULL, 0x0017476d89d42f6dULL,
1116                        0x00b8f637c8fa1c8bULL, 0x0088c7d2790864b8ULL)},
1117     }}, {{
1118         {FIELD_LITERAL(0x00ef7eafc1c69be6ULL, 0x0085d3855778fbeaULL,
1119                        0x002c8d5b450cb6f5ULL, 0x004e77de5e1e7fecULL,
1120                        0x0047c057893abdedULL, 0x001b430b85d51e16ULL,
1121                        0x00965c7b45640c3cULL, 0x00487b2bb1162b97ULL)},
1122         {FIELD_LITERAL(0x0099c73a311beec2ULL, 0x00a3eff38d8912adULL,
1123                        0x002efa9d1d7e8972ULL, 0x00f717ae1e14d126ULL,
1124                        0x002833f795850c8bULL, 0x0066c12ad71486bdULL,
1125                        0x00ae9889da4820ebULL, 0x00d6044309555c08ULL)},
1126         {FIELD_LITERAL(0x004b1c5283d15e41ULL, 0x00669d8ea308ff75ULL,
1127                        0x0004390233f762a1ULL, 0x00e1d67b83cb6cecULL,
1128                        0x003eebaa964c78b1ULL, 0x006b0aff965eb664ULL,
1129                        0x00b313d4470bdc37ULL, 0x008814ffcb3cb9d8ULL)},
1130     }}, {{
1131         {FIELD_LITERAL(0x009724b8ce68db70ULL, 0x007678b5ed006f3dULL,
1132                        0x00bdf4b89c0abd73ULL, 0x00299748e04c7c6dULL,
1133                        0x00ddd86492c3c977ULL, 0x00c5a7febfa30a99ULL,
1134                        0x00ed84715b4b02bbULL, 0x00319568adf70486ULL)},
1135         {FIELD_LITERAL(0x0070ff2d864de5bbULL, 0x005a37eeb637ee95ULL,
1136                        0x0033741c258de160ULL, 0x00e6ca5cb1988f46ULL,
1137                        0x001ceabd92a24661ULL, 0x0030957bd500fe40ULL,
1138                        0x001c3362afe912c5ULL, 0x005187889f678bd2ULL)},
1139         {FIELD_LITERAL(0x0086835fc62bbdc7ULL, 0x009c3516ca4910a1ULL,
1140                        0x00956c71f8d00783ULL, 0x0095c78fcf63235fULL,
1141                        0x00fc7ff6ba05c222ULL, 0x00cdd8b3f8d74a52ULL,
1142                        0x00ac5ae16de8256eULL, 0x00e9d4be8ed48624ULL)},
1143     }}, {{
1144         {FIELD_LITERAL(0x00c0ce11405df2d8ULL, 0x004e3f37b293d7b6ULL,
1145                        0x002410172e1ac6dbULL, 0x00b8dbff4bf8143dULL,
1146                        0x003a7b409d56eb66ULL, 0x003e0f6a0dfef9afULL,
1147                        0x0081c4e4d3645be1ULL, 0x00ce76076b127623ULL)},
1148         {FIELD_LITERAL(0x00f6ee0f98974239ULL, 0x0042d89af07d3a4fULL,
1149                        0x00846b7fe84346b5ULL, 0x006a21fc6a8d39a1ULL,
1150                        0x00ac8bc2541ff2d9ULL, 0x006d4e2a77732732ULL,
1151                        0x009a39b694cc3f2fULL, 0x0085c0aa2a404c8fULL)},
1152         {FIELD_LITERAL(0x00b261101a218548ULL, 0x00c1cae96424277bULL,
1153                        0x00869da0a77dd268ULL, 0x00bc0b09f8ec83eaULL,
1154                        0x00d61027f8e82ba9ULL, 0x00aa4c85999dce67ULL,
1155                        0x00eac3132b9f3fe1ULL, 0x00fb9b0cf1c695d2ULL)},
1156     }}, {{
1157         {FIELD_LITERAL(0x0043079295512f0dULL, 0x0046a009861758e0ULL,
1158                        0x003ee2842a807378ULL, 0x0034cc9d1298e4faULL,
1159                        0x009744eb4d31b3eeULL, 0x00afacec96650cd0ULL,
1160                        0x00ac891b313761aeULL, 0x00e864d6d26e708aULL)},
1161         {FIELD_LITERAL(0x00a84d7c8a23b491ULL, 0x0088e19aa868b27fULL,
1162                        0x0005986d43e78ce9ULL, 0x00f28012f0606d28ULL,
1163                        0x0017ded7e10249b3ULL, 0x005ed4084b23af9bULL,
1164                        0x00b9b0a940564472ULL, 0x00ad9056cceeb1f4ULL)},
1165         {FIELD_LITERAL(0x00db91b357fe755eULL, 0x00a1aa544b15359cULL,
1166                        0x00af4931a0195574ULL, 0x007686124fe11aefULL,
1167                        0x00d1ead3c7b9ef7eULL, 0x00aaf5fc580f8c15ULL,
1168                        0x00e727be147ee1ecULL, 0x003c61c1e1577b86ULL)},
1169     }}, {{
1170         {FIELD_LITERAL(0x009d3fca983220cfULL, 0x00cd11acbc853dc4ULL,
1171                        0x0017590409d27f1dULL, 0x00d2176698082802ULL,
1172                        0x00fa01251b2838c8ULL, 0x00dd297a0d9b51c6ULL,
1173                        0x00d76c92c045820aULL, 0x00534bc7c46c9033ULL)},
1174         {FIELD_LITERAL(0x0080ed9bc9b07338ULL, 0x00fceac7745d2652ULL,
1175                        0x008a9d55f5f2cc69ULL, 0x0096ce72df301ac5ULL,
1176                        0x00f53232e7974d87ULL, 0x0071728c7ae73947ULL,
1177                        0x0090507602570778ULL, 0x00cb81cfd883b1b2ULL)},
1178         {FIELD_LITERAL(0x005011aadea373daULL, 0x003a8578ec896034ULL,
1179                        0x00f20a6535fa6d71ULL, 0x005152d31e5a87cfULL,
1180                        0x002bac1c8e68ca31ULL, 0x00b0e323db4c1381ULL,
1181                        0x00f1d596b7d5ae25ULL, 0x00eae458097cb4e0ULL)},
1182     }}, {{
1183         {FIELD_LITERAL(0x00920ac80f9b0d21ULL, 0x00f80f7f73401246ULL,
1184                        0x0086d37849b557d6ULL, 0x0002bd4b317b752eULL,
1185                        0x00b26463993a42bbULL, 0x002070422a73b129ULL,
1186                        0x00341acaa0380cb3ULL, 0x00541914dd66a1b2ULL)},
1187         {FIELD_LITERAL(0x00c1513cd66abe8cULL, 0x000139e01118944dULL,
1188                        0x0064abbcb8080bbbULL, 0x00b3b08202473142ULL,
1189                        0x00c629ef25da2403ULL, 0x00f0aec3310d9b7fULL,
1190                        0x0050b2227472d8cdULL, 0x00f6c8a922d41fb4ULL)},
1191         {FIELD_LITERAL(0x001075ccf26b7b1fULL, 0x00bb6bb213170433ULL,
1192                        0x00e9491ad262da79ULL, 0x009ef4f48d2d384cULL,
1193                        0x008992770766f09dULL, 0x001584396b6b1101ULL,
1194                        0x00af3f8676c9feefULL, 0x0024603c40269118ULL)},
1195     }}, {{
1196         {FIELD_LITERAL(0x009dd7b31319527cULL, 0x001e7ac948d873a9ULL,
1197                        0x00fa54b46ef9673aULL, 0x0066efb8d5b02fe6ULL,
1198                        0x00754b1d3928aeaeULL, 0x0004262ac72a6f6bULL,
1199                        0x0079b7d49a6eb026ULL, 0x003126a753540102ULL)},
1200         {FIELD_LITERAL(0x009666e24f693947ULL, 0x00f714311269d45fULL,
1201                        0x0010ffac1d0c851cULL, 0x0066e80c37363497ULL,
1202                        0x00f1f4ad010c60b0ULL, 0x0015c87408470ff7ULL,
1203                        0x00651d5e9c7766a4ULL, 0x008138819d7116deULL)},
1204         {FIELD_LITERAL(0x003934b11c57253bULL, 0x00ef308edf21f46eULL,
1205                        0x00e54e99c7a16198ULL, 0x0080d57135764e63ULL,
1206                        0x00751c27b946bc24ULL, 0x00dd389ce4e9e129ULL,
1207                        0x00a1a2bfd1cd84dcULL, 0x002fae73e5149b32ULL)},
1208     }}, {{
1209         {FIELD_LITERAL(0x00911657dffb4cddULL, 0x00c100b7cc553d06ULL,
1210                        0x00449d075ec467ccULL, 0x007062100bc64e70ULL,
1211                        0x0043cf86f7bd21e7ULL, 0x00f401dc4b797deaULL,
1212                        0x005224afb2f62e65ULL, 0x00d1ede3fb5a42beULL)},
1213         {FIELD_LITERAL(0x00f2ba36a41aa144ULL, 0x00a0c22d946ee18fULL,
1214                        0x008aae8ef9a14f99ULL, 0x00eef4d79b19bb36ULL,
1215                        0x008e75ce3d27b1fcULL, 0x00a65daa03b29a27ULL,
1216                        0x00d9cc83684eb145ULL, 0x009e1ed80cc2ed74ULL)},
1217         {FIELD_LITERAL(0x00bed953d1997988ULL, 0x00b93ed175a24128ULL,
1218                        0x00871c5963fb6365ULL, 0x00ca2df20014a787ULL,
1219                        0x00f5d9c1d0b34322ULL, 0x00f6f5942818db0aULL,
1220                        0x004cc091f49c9906ULL, 0x00e8a188a60bff9fULL)},
1221     }}, {{
1222         {FIELD_LITERAL(0x0032c7762032fae8ULL, 0x00e4087232e0bc21ULL,
1223                        0x00f767344b6e8d85ULL, 0x00bbf369b76c2aa2ULL,
1224                        0x008a1f46c6e1570cULL, 0x001368cd9780369fULL,
1225                        0x007359a39d079430ULL, 0x0003646512921434ULL)},
1226         {FIELD_LITERAL(0x007c4b47ca7c73e7ULL, 0x005396221039734bULL,
1227                        0x008b64ddf0e45d7eULL, 0x00bfad5af285e6c2ULL,
1228                        0x008ec711c5b1a1a8ULL, 0x00cf663301237f98ULL,
1229                        0x00917ee3f1655126ULL, 0x004152f337efedd8ULL)},
1230         {FIELD_LITERAL(0x0007c7edc9305daaULL, 0x000a6664f273701cULL,
1231                        0x00f6e78795e200b1ULL, 0x005d05b9ecd2473eULL,
1232                        0x0014f5f17c865786ULL, 0x00c7fd2d166fa995ULL,
1233                        0x004939a2d8eb80e0ULL, 0x002244ba0942c199ULL)},
1234     }}, {{
1235         {FIELD_LITERAL(0x00321e767f0262cfULL, 0x002e57d776caf68eULL,
1236                        0x00bf2c94814f0437ULL, 0x00c339196acd622fULL,
1237                        0x001db4cce71e2770ULL, 0x001ded5ddba6eee2ULL,
1238                        0x0078608ab1554c8dULL, 0x00067fe0ab76365bULL)},
1239         {FIELD_LITERAL(0x00f09758e11e3985ULL, 0x00169efdbd64fad3ULL,
1240                        0x00e8889b7d6dacd6ULL, 0x0035cdd58ea88209ULL,
1241                        0x00bcda47586d7f49ULL, 0x003cdddcb2879088ULL,
1242                        0x0016da70187e954bULL, 0x009556ea2e92aacdULL)},
1243         {FIELD_LITERAL(0x008cab16bd1ff897ULL, 0x00b389972cdf753fULL,
1244                        0x00ea8ed1e46dfdc0ULL, 0x004fe7ef94c589f4ULL,
1245                        0x002b8ae9b805ecf3ULL, 0x0025c08d892874a5ULL,
1246                        0x0023938e98d44c4cULL, 0x00f759134cabf69cULL)},
1247     }}, {{
1248         {FIELD_LITERAL(0x006c2a84678e4b3bULL, 0x007a194aacd1868fULL,
1249                        0x00ed0225af424761ULL, 0x00da0a6f293c64b8ULL,
1250                        0x001062ac5c6a7a18ULL, 0x0030f5775a8aeef4ULL,
1251                        0x0002acaad76b7af0ULL, 0x00410b8fd63a579fULL)},
1252         {FIELD_LITERAL(0x001ec59db3d9590eULL, 0x001e9e3f1c3f182dULL,
1253                        0x0045a9c3ec2cab14ULL, 0x0008198572aeb673ULL,
1254                        0x00773b74068bd167ULL, 0x0012535eaa395434ULL,
1255                        0x0044dba9e3bbb74aULL, 0x002fba4d3c74bd0eULL)},
1256         {FIELD_LITERAL(0x0042bf08fe66922cULL, 0x003318b8fbb49e8cULL,
1257                        0x00d75946004aa14cULL, 0x00f601586b42bf1cULL,
1258                        0x00c74cf1d912fe66ULL, 0x00abcb36974b30adULL,
1259                        0x007eb78720c9d2b8ULL, 0x009f54ab7bd4df85ULL)},
1260     }}, {{
1261         {FIELD_LITERAL(0x00db9fc948f73826ULL, 0x00fa8b3746ed8ee9ULL,
1262                        0x00132cb65aafbeb2ULL, 0x00c36ff3fe7925b8ULL,
1263                        0x00837daed353d2feULL, 0x00ec661be0667cf4ULL,
1264                        0x005beb8ed2e90204ULL, 0x00d77dd69e564967ULL)},
1265         {FIELD_LITERAL(0x0042e6268b861751ULL, 0x0008dd0469500c16ULL,
1266                        0x00b51b57c338a3fdULL, 0x00cc4497d85cff6bULL,
1267                        0x002f13d6b57c34a4ULL, 0x0083652eaf301105ULL,
1268                        0x00cc344294cc93a8ULL, 0x0060f4d02810e270ULL)},
1269         {FIELD_LITERAL(0x00a8954363cd518bULL, 0x00ad171124bccb7bULL,
1270                        0x0065f46a4adaae00ULL, 0x001b1a5b2a96e500ULL,
1271                        0x0043fe24f8233285ULL, 0x0066996d8ae1f2c3ULL,
1272                        0x00c530f3264169f9ULL, 0x00c0f92d07cf6a57ULL)},
1273     }}, {{
1274         {FIELD_LITERAL(0x0036a55c6815d943ULL, 0x008c8d1def993db3ULL,
1275                        0x002e0e1e8ff7318fULL, 0x00d883a4b92db00aULL,
1276                        0x002f5e781ae33906ULL, 0x001a72adb235c06dULL,
1277                        0x00f2e59e736e9caaULL, 0x001a4b58e3031914ULL)},
1278         {FIELD_LITERAL(0x00d73bfae5e00844ULL, 0x00bf459766fb5f52ULL,
1279                        0x0061b4f5a5313cdeULL, 0x004392d4c3b95514ULL,
1280                        0x000d3551b1077523ULL, 0x0000998840ee5d71ULL,
1281                        0x006de6e340448b7bULL, 0x00251aa504875d6eULL)},
1282         {FIELD_LITERAL(0x003bf343427ac342ULL, 0x00adc0a78642b8c5ULL,
1283                        0x0003b893175a8314ULL, 0x0061a34ade5703bcULL,
1284                        0x00ea3ea8bb71d632ULL, 0x00be0df9a1f198c2ULL,
1285                        0x0046dd8e7c1635fbULL, 0x00f1523fdd25d5e5ULL)},
1286     }}, {{
1287         {FIELD_LITERAL(0x00633f63fc9dd406ULL, 0x00e713ff80e04a43ULL,
1288                        0x0060c6e970f2d621ULL, 0x00a57cd7f0df1891ULL,
1289                        0x00f2406a550650bbULL, 0x00b064290efdc684ULL,
1290                        0x001eab0144d17916ULL, 0x00cd15f863c293abULL)},
1291         {FIELD_LITERAL(0x0029cec55273f70dULL, 0x007044ee275c6340ULL,
1292                        0x0040f637a93015e2ULL, 0x00338bb78db5aae9ULL,
1293                        0x001491b2a6132147ULL, 0x00a125d6cfe6bde3ULL,
1294                        0x005f7ac561ba8669ULL, 0x001d5eaea3fbaacfULL)},
1295         {FIELD_LITERAL(0x00054e9635e3be31ULL, 0x000e43f31e2872beULL,
1296                        0x00d05b1c9e339841ULL, 0x006fac50bd81fd98ULL,
1297                        0x00cdc7852eaebb09ULL, 0x004ff519b061991bULL,
1298                        0x009099e8107d4c85ULL, 0x00273e24c36a4a61ULL)},
1299     }}, {{
1300         {FIELD_LITERAL(0x00070b4441ef2c46ULL, 0x00efa5b02801a109ULL,
1301                        0x00bf0b8c3ee64adfULL, 0x008a67e0b3452e98ULL,
1302                        0x001916b1f2fa7a74ULL, 0x00d781a78ff6cdc3ULL,
1303                        0x008682ce57e5c919ULL, 0x00cc1109dd210da3ULL)},
1304         {FIELD_LITERAL(0x00cae8aaff388663ULL, 0x005e983a35dda1c7ULL,
1305                        0x007ab1030d8e37f4ULL, 0x00e48940f5d032feULL,
1306                        0x006a36f9ef30b331ULL, 0x009be6f03958c757ULL,
1307                        0x0086231ceba91400ULL, 0x008bd0f7b823e7aaULL)},
1308         {FIELD_LITERAL(0x00cf881ebef5a45aULL, 0x004ebea78e7c6f2cULL,
1309                        0x0090da9209cf26a0ULL, 0x00de2b2e4c775b84ULL,
1310                        0x0071d6031c3c15aeULL, 0x00d9e927ef177d70ULL,
1311                        0x00894ee8c23896fdULL, 0x00e3b3b401e41aadULL)},
1312     }}, {{
1313         {FIELD_LITERAL(0x00204fef26864170ULL, 0x00819269c5dee0f8ULL,
1314                        0x00bfb4713ec97966ULL, 0x0026339a6f34df78ULL,
1315                        0x001f26e64c761dc2ULL, 0x00effe3af313cb60ULL,
1316                        0x00e17b70138f601bULL, 0x00f16e1ccd9ede5eULL)},
1317         {FIELD_LITERAL(0x005d9a8353fdb2dbULL, 0x0055cc2048c698f0ULL,
1318                        0x00f6c4ac89657218ULL, 0x00525034d73faeb2ULL,
1319                        0x00435776fbda3c7dULL, 0x0070ea5312323cbcULL,
1320                        0x007a105d44d069fbULL, 0x006dbc8d6dc786aaULL)},
1321         {FIELD_LITERAL(0x0017cff19cd394ecULL, 0x00fef7b810922587ULL,
1322                        0x00e6483970dff548ULL, 0x00ddf36ad6874264ULL,
1323                        0x00e61778523fcce2ULL, 0x0093a66c0c93b24aULL,
1324                        0x00fd367114db7f86ULL, 0x007652d7ddce26ddULL)},
1325     }}, {{
1326         {FIELD_LITERAL(0x00d92ced7ba12843ULL, 0x00aea9c7771e86e7ULL,
1327                        0x0046639693354f7bULL, 0x00a628dbb6a80c47ULL,
1328                        0x003a0b0507372953ULL, 0x00421113ab45c0d9ULL,
1329                        0x00e545f08362ab7aULL, 0x0028ce087b4d6d96ULL)},
1330         {FIELD_LITERAL(0x00a67ee7cf9f99ebULL, 0x005713b275f2ff68ULL,
1331                        0x00f1d536a841513dULL, 0x00823b59b024712eULL,
1332                        0x009c46b9d0d38cecULL, 0x00cdb1595aa2d7d4ULL,
1333                        0x008375b3423d9af8ULL, 0x000ab0b516d978f7ULL)},
1334         {FIELD_LITERAL(0x00428dcb3c510b0fULL, 0x00585607ea24bb4eULL,
1335                        0x003736bf1603687aULL, 0x00c47e568c4fe3c7ULL,
1336                        0x003cd00282848605ULL, 0x0043a487c3b91939ULL,
1337                        0x004ffc04e1095a06ULL, 0x00a4c989a3d4b918ULL)},
1338     }}, {{
1339         {FIELD_LITERAL(0x00a8778d0e429f7aULL, 0x004c02b059105a68ULL,
1340                        0x0016653b609da3ffULL, 0x00d5107bd1a12d27ULL,
1341                        0x00b4708f9a771cabULL, 0x00bb63b662033f69ULL,
1342                        0x0072f322240e7215ULL, 0x0019445b59c69222ULL)},
1343         {FIELD_LITERAL(0x00cf4f6069a658e6ULL, 0x0053ca52859436a6ULL,
1344                        0x0064b994d7e3e117ULL, 0x00cb469b9a07f534ULL,
1345                        0x00cfb68f399e9d47ULL, 0x00f0dcb8dac1c6e7ULL,
1346                        0x00f2ab67f538b3a5ULL, 0x0055544f178ab975ULL)},
1347         {FIELD_LITERAL(0x0099b7a2685d538cULL, 0x00e2f1897b7c0018ULL,
1348                        0x003adac8ce48dae3ULL, 0x00089276d5c50c0cULL,
1349                        0x00172fca07ad6717ULL, 0x00cb1a72f54069e5ULL,
1350                        0x004ee42f133545b3ULL, 0x00785f8651362f16ULL)},
1351     }}, {{
1352         {FIELD_LITERAL(0x0049cbac38509e11ULL, 0x0015234505d42cdfULL,
1353                        0x00794fb0b5840f1cULL, 0x00496437344045a5ULL,
1354                        0x0031b6d944e4f9b0ULL, 0x00b207318ac1f5d8ULL,
1355                        0x0000c840da7f5c5dULL, 0x00526f373a5c8814ULL)},
1356         {FIELD_LITERAL(0x002c7b7742d1dfd9ULL, 0x002cabeb18623c01ULL,
1357                        0x00055f5e3e044446ULL, 0x006c20f3b4ef54baULL,
1358                        0x00c600141ec6b35fULL, 0x00354f437f1a32a3ULL,
1359                        0x00bac4624a3520f9ULL, 0x00c483f734a90691ULL)},
1360         {FIELD_LITERAL(0x0053a737d422918dULL, 0x00f7fca1d8758625ULL,
1361                        0x00c360336dadb04cULL, 0x00f38e3d9158a1b8ULL,
1362                        0x0069ce3b418e84c6ULL, 0x005d1697eca16eadULL,
1363                        0x00f8bd6a35ece13dULL, 0x007885dfc2b5afeaULL)},
1364     }}, {{
1365         {FIELD_LITERAL(0x00c3617ae260776cULL, 0x00b20dc3e96922d7ULL,
1366                        0x00a1a7802246706aULL, 0x00ca6505a5240244ULL,
1367                        0x002246b62d919782ULL, 0x001439102d7aa9b3ULL,
1368                        0x00e8af1139e6422cULL, 0x00c888d1b52f2b05ULL)},
1369         {FIELD_LITERAL(0x005b67690ffd41d9ULL, 0x005294f28df516f9ULL,
1370                        0x00a879272412fcb9ULL, 0x00098b629a6d1c8dULL,
1371                        0x00fabd3c8050865aULL, 0x00cd7e5b0a3879c5ULL,
1372                        0x00153238210f3423ULL, 0x00357cac101e9f42ULL)},
1373         {FIELD_LITERAL(0x008917b454444fb7ULL, 0x00f59247c97e441bULL,
1374                        0x00a6200a6815152dULL, 0x0009a4228601d254ULL,
1375                        0x001c0360559bd374ULL, 0x007563362039cb36ULL,
1376                        0x00bd75b48d74e32bULL, 0x0017f515ac3499e8ULL)},
1377     }}, {{
1378         {FIELD_LITERAL(0x001532a7ffe41c5aULL, 0x00eb1edce358d6bfULL,
1379                        0x00ddbacc7b678a7bULL, 0x008a7b70f3c841a3ULL,
1380                        0x00f1923bf27d3f4cULL, 0x000b2713ed8f7873ULL,
1381                        0x00aaf67e29047902ULL, 0x0044994a70b3976dULL)},
1382         {FIELD_LITERAL(0x00d54e802082d42cULL, 0x00a55aa0dce7cc6cULL,
1383                        0x006477b96073f146ULL, 0x0082efe4ceb43594ULL,
1384                        0x00a922bcba026845ULL, 0x0077f19d1ab75182ULL,
1385                        0x00c2bb2737846e59ULL, 0x0004d7eec791dd33ULL)},
1386         {FIELD_LITERAL(0x0044588d1a81d680ULL, 0x00b0a9097208e4f8ULL,
1387                        0x00212605350dc57eULL, 0x0028717cd2871123ULL,
1388                        0x00fb083c100fd979ULL, 0x0045a056ce063fdfULL,
1389                        0x00a5d604b4dd6a41ULL, 0x001dabc08ba4e236ULL)},
1390     }}, {{
1391         {FIELD_LITERAL(0x00c4887198d7a7faULL, 0x00244f98fb45784aULL,
1392                        0x0045911e15a15d01ULL, 0x001d323d374c0966ULL,
1393                        0x00967c3915196562ULL, 0x0039373abd2f3c67ULL,
1394                        0x000d2c5614312423ULL, 0x0041cf2215442ce3ULL)},
1395         {FIELD_LITERAL(0x008ede889ada7f06ULL, 0x001611e91de2e135ULL,
1396                        0x00fdb9a458a471b9ULL, 0x00563484e03710d1ULL,
1397                        0x0031cc81925e3070ULL, 0x0062c97b3af80005ULL,
1398                        0x00fa733eea28edebULL, 0x00e82457e1ebbc88ULL)},
1399         {FIELD_LITERAL(0x006a0df5fe9b6f59ULL, 0x00a0d4ff46040d92ULL,
1400                        0x004a7cedb6f93250ULL, 0x00d1df8855b8c357ULL,
1401                        0x00e73a46086fd058ULL, 0x0048fb0add6dfe59ULL,
1402                        0x001e03a28f1b4e3dULL, 0x00a871c993308d76ULL)},
1403     }}, {{
1404         {FIELD_LITERAL(0x0030dbb2d1766ec8ULL, 0x00586c0ad138555eULL,
1405                        0x00d1a34f9e91c77cULL, 0x0063408ad0e89014ULL,
1406                        0x00d61231b05f6f5bULL, 0x0009abf569f5fd8aULL,
1407                        0x00aec67a110f1c43ULL, 0x0031d1a790938dd7ULL)},
1408         {FIELD_LITERAL(0x006cded841e2a862ULL, 0x00198d60af0ab6fbULL,
1409                        0x0018f09db809e750ULL, 0x004e6ac676016263ULL,
1410                        0x00eafcd1620969cbULL, 0x002c9784ca34917dULL,
1411                        0x0054f00079796de7ULL, 0x00d9fab5c5972204ULL)},
1412         {FIELD_LITERAL(0x004bd0fee2438a83ULL, 0x00b571e62b0f83bdULL,
1413                        0x0059287d7ce74800ULL, 0x00fb3631b645c3f0ULL,
1414                        0x00a018e977f78494ULL, 0x0091e27065c27b12ULL,
1415                        0x007696c1817165e0ULL, 0x008c40be7c45ba3aULL)},
1416     }}, {{
1417         {FIELD_LITERAL(0x00a0f326327cb684ULL, 0x001c7d0f672680ffULL,
1418                        0x008c1c81ffb112d1ULL, 0x00f8f801674eddc8ULL,
1419                        0x00e926d5d48c2a9dULL, 0x005bd6d954c6fe9aULL,
1420                        0x004c6b24b4e33703ULL, 0x00d05eb5c09105ccULL)},
1421         {FIELD_LITERAL(0x00d61731caacf2cfULL, 0x002df0c7609e01c5ULL,
1422                        0x00306172208b1e2bULL, 0x00b413fe4fb2b686ULL,
1423                        0x00826d360902a221ULL, 0x003f8d056e67e7f7ULL,
1424                        0x0065025b0175e989ULL, 0x00369add117865ebULL)},
1425         {FIELD_LITERAL(0x00aaf895aec2fa11ULL, 0x000f892bc313eb52ULL,
1426                        0x005b1c794dad050bULL, 0x003f8ec4864cec14ULL,
1427                        0x00af81058d0b90e5ULL, 0x00ebe43e183997bbULL,
1428                        0x00a9d610f9f3e615ULL, 0x007acd8eec2e88d3ULL)},
1429     }}, {{
1430         {FIELD_LITERAL(0x0049b2fab13812a3ULL, 0x00846db32cd60431ULL,
1431                        0x000177fa578c8d6cULL, 0x00047d0e2ad4bc51ULL,
1432                        0x00b158ba38d1e588ULL, 0x006a45daad79e3f3ULL,
1433                        0x000997b93cab887bULL, 0x00c47ea42fa23dc3ULL)},
1434         {FIELD_LITERAL(0x0012b6fef7aeb1caULL, 0x009412768194b6a7ULL,
1435                        0x00ff0d351f23ab93ULL, 0x007e8a14c1aff71bULL,
1436                        0x006c1c0170c512bcULL, 0x0016243ea02ab2e5ULL,
1437                        0x007bb6865b303f3eULL, 0x0015ce6b29b159f4ULL)},
1438         {FIELD_LITERAL(0x009961cd02e68108ULL, 0x00e2035d3a1d0836ULL,
1439                        0x005d51f69b5e1a1dULL, 0x004bccb4ea36edcdULL,
1440                        0x0069be6a7aeef268ULL, 0x0063f4dd9de8d5a7ULL,
1441                        0x006283783092ca35ULL, 0x0075a31af2c35409ULL)},
1442     }}, {{
1443         {FIELD_LITERAL(0x00c412365162e8cfULL, 0x00012283fb34388aULL,
1444                        0x003e6543babf39e2ULL, 0x00eead6b3a804978ULL,
1445                        0x0099c0314e8b326fULL, 0x00e98e0a8d477a4fULL,
1446                        0x00d2eb96b127a687ULL, 0x00ed8d7df87571bbULL)},
1447         {FIELD_LITERAL(0x00777463e308cacfULL, 0x00c8acb93950132dULL,
1448                        0x00ebddbf4ca48b2cULL, 0x0026ad7ca0795a0aULL,
1449                        0x00f99a3d9a715064ULL, 0x000d60bcf9d4dfccULL,
1450                        0x005e65a73a437a06ULL, 0x0019d536a8db56c8ULL)},
1451         {FIELD_LITERAL(0x00192d7dd558d135ULL, 0x0027cd6a8323ffa7ULL,
1452                        0x00239f1a412dc1e7ULL, 0x0046b4b3be74fc5cULL,
1453                        0x0020c47a2bef5bceULL, 0x00aa17e48f43862bULL,
1454                        0x00f7e26c96342e5fULL, 0x0008011c530f39a9ULL)},
1455     }}, {{
1456         {FIELD_LITERAL(0x00aad4ac569bf0f1ULL, 0x00a67adc90b27740ULL,
1457                        0x0048551369a5751aULL, 0x0031252584a3306aULL,
1458                        0x0084e15df770e6fcULL, 0x00d7bba1c74b5805ULL,
1459                        0x00a80ef223af1012ULL, 0x0089c85ceb843a34ULL)},
1460         {FIELD_LITERAL(0x00c4545be4a54004ULL, 0x0099e11f60357e6cULL,
1461                        0x001f3936d19515a6ULL, 0x007793df84341a6eULL,
1462                        0x0051061886717ffaULL, 0x00e9b0a660b28f85ULL,
1463                        0x0044ea685892de0dULL, 0x000257d2a1fda9d9ULL)},
1464         {FIELD_LITERAL(0x007e8b01b24ac8a8ULL, 0x006cf3b0b5ca1337ULL,
1465                        0x00f1607d3e36a570ULL, 0x0039b7fab82991a1ULL,
1466                        0x00231777065840c5ULL, 0x00998e5afdd346f9ULL,
1467                        0x00b7dc3e64acc85fULL, 0x00baacc748013ad6ULL)},
1468     }}, {{
1469         {FIELD_LITERAL(0x008ea6a4177580bfULL, 0x005fa1953e3f0378ULL,
1470                        0x005fe409ac74d614ULL, 0x00452327f477e047ULL,
1471                        0x00a4018507fb6073ULL, 0x007b6e71951caac8ULL,
1472                        0x0012b42ab8a6ce91ULL, 0x0080eca677294ab7ULL)},
1473         {FIELD_LITERAL(0x00a53edc023ba69bULL, 0x00c6afa83ddde2e8ULL,
1474                        0x00c3f638b307b14eULL, 0x004a357a64414062ULL,
1475                        0x00e4d94d8b582dc9ULL, 0x001739caf71695b7ULL,
1476                        0x0012431b2ae28de1ULL, 0x003b6bc98682907cULL)},
1477         {FIELD_LITERAL(0x008a9a93be1f99d6ULL, 0x0079fa627cc699c8ULL,
1478                        0x00b0cfb134ba84c8ULL, 0x001c4b778249419aULL,
1479                        0x00df4ab3d9c44f40ULL, 0x009f596e6c1a9e3cULL,
1480                        0x001979c0df237316ULL, 0x00501e953a919b87ULL)},
1481     }}
1482 };
1483 const niels_t *ossl_curve448_wnaf_base = curve448_wnaf_base_table;
1484