curve448_tables.c 89 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483
  1. /*
  2. * Copyright 2017-2019 The OpenSSL Project Authors. All Rights Reserved.
  3. * Copyright 2015-2016 Cryptography Research, Inc.
  4. *
  5. * Licensed under the OpenSSL license (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. #include "point_448.h"
  14. static const curve448_precomputed_s curve448_precomputed_base_table = {
  15. {
  16. {{
  17. {FIELD_LITERAL(0x00cc3b062366f4cc, 0x003d6e34e314aa3c,
  18. 0x00d51c0a7521774d, 0x0094e060eec6ab8b,
  19. 0x00d21291b4d80082, 0x00befed12b55ef1e,
  20. 0x00c3dd2df5c94518, 0x00e0a7b112b8d4e6)},
  21. {FIELD_LITERAL(0x0019eb5608d8723a, 0x00d1bab52fb3aedb,
  22. 0x00270a7311ebc90c, 0x0037c12b91be7f13,
  23. 0x005be16cd8b5c704, 0x003e181acda888e1,
  24. 0x00bc1f00fc3fc6d0, 0x00d3839bfa319e20)},
  25. {FIELD_LITERAL(0x003caeb88611909f, 0x00ea8b378c4df3d4,
  26. 0x00b3295b95a5a19a, 0x00a65f97514bdfb5,
  27. 0x00b39efba743cab1, 0x0016ba98b862fd2d,
  28. 0x0001508812ee71d7, 0x000a75740eea114a)},
  29. }}, {{
  30. {FIELD_LITERAL(0x00ebcf0eb649f823, 0x00166d332e98ea03,
  31. 0x0059ddf64f5cd5f6, 0x0047763123d9471b,
  32. 0x00a64065c53ef62f, 0x00978e44c480153d,
  33. 0x000b5b2a0265f194, 0x0046a24b9f32965a)},
  34. {FIELD_LITERAL(0x00b9eef787034df0, 0x0020bc24de3390cd,
  35. 0x000022160bae99bb, 0x00ae66e886e97946,
  36. 0x0048d4bbe02cbb8b, 0x0072ba97b34e38d4,
  37. 0x00eae7ec8f03e85a, 0x005ba92ecf808b2c)},
  38. {FIELD_LITERAL(0x00c9cfbbe74258fd, 0x00843a979ea9eaa7,
  39. 0x000cbb4371cfbe90, 0x0059bac8f7f0a628,
  40. 0x004b3dff882ff530, 0x0011869df4d90733,
  41. 0x00595aa71f4abfc2, 0x0070e2d38990c2e6)},
  42. }}, {{
  43. {FIELD_LITERAL(0x00de2010c0a01733, 0x00c739a612e24297,
  44. 0x00a7212643141d7c, 0x00f88444f6b67c11,
  45. 0x00484b7b16ec28f2, 0x009c1b8856af9c68,
  46. 0x00ff4669591fe9d6, 0x0054974be08a32c8)},
  47. {FIELD_LITERAL(0x0010de3fd682ceed, 0x008c07642d83ca4e,
  48. 0x0013bb064e00a1cc, 0x009411ae27870e11,
  49. 0x00ea8e5b4d531223, 0x0032fe7d2aaece2e,
  50. 0x00d989e243e7bb41, 0x000fe79a508e9b8b)},
  51. {FIELD_LITERAL(0x005e0426b9bfc5b1, 0x0041a5b1d29ee4fa,
  52. 0x0015b0def7774391, 0x00bc164f1f51af01,
  53. 0x00d543b0942797b9, 0x003c129b6398099c,
  54. 0x002b114c6e5adf18, 0x00b4e630e4018a7b)},
  55. }}, {{
  56. {FIELD_LITERAL(0x00d490afc95f8420, 0x00b096bf50c1d9b9,
  57. 0x00799fd707679866, 0x007c74d9334afbea,
  58. 0x00efaa8be80ff4ed, 0x0075c4943bb81694,
  59. 0x00c21c2fca161f36, 0x00e77035d492bfee)},
  60. {FIELD_LITERAL(0x006658a190dd6661, 0x00e0e9bab38609a6,
  61. 0x0028895c802237ed, 0x006a0229c494f587,
  62. 0x002dcde96c9916b7, 0x00d158822de16218,
  63. 0x00173b917a06856f, 0x00ca78a79ae07326)},
  64. {FIELD_LITERAL(0x00e35bfc79caced4, 0x0087238a3e1fe3bb,
  65. 0x00bcbf0ff4ceff5b, 0x00a19c1c94099b91,
  66. 0x0071e102b49db976, 0x0059e3d004eada1e,
  67. 0x008da78afa58a47e, 0x00579c8ebf269187)},
  68. }}, {{
  69. {FIELD_LITERAL(0x00a16c2905eee75f, 0x009d4bcaea2c7e1d,
  70. 0x00d3bd79bfad19df, 0x0050da745193342c,
  71. 0x006abdb8f6b29ab1, 0x00a24fe0a4fef7ef,
  72. 0x0063730da1057dfb, 0x00a08c312c8eb108)},
  73. {FIELD_LITERAL(0x00b583be005375be, 0x00a40c8f8a4e3df4,
  74. 0x003fac4a8f5bdbf7, 0x00d4481d872cd718,
  75. 0x004dc8749cdbaefe, 0x00cce740d5e5c975,
  76. 0x000b1c1f4241fd21, 0x00a76de1b4e1cd07)},
  77. {FIELD_LITERAL(0x007a076500d30b62, 0x000a6e117b7f090f,
  78. 0x00c8712ae7eebd9a, 0x000fbd6c1d5f6ff7,
  79. 0x003a7977246ebf11, 0x00166ed969c6600e,
  80. 0x00aa42e469c98bec, 0x00dc58f307cf0666)},
  81. }}, {{
  82. {FIELD_LITERAL(0x004b491f65a9a28b, 0x006a10309e8a55b7,
  83. 0x00b67210185187ef, 0x00cf6497b12d9b8f,
  84. 0x0085778c56e2b1ba, 0x0015b4c07a814d85,
  85. 0x00686479e62da561, 0x008de5d88f114916)},
  86. {FIELD_LITERAL(0x00e37c88d6bba7b1, 0x003e4577e1b8d433,
  87. 0x0050d8ea5f510ec0, 0x0042fc9f2da9ef59,
  88. 0x003bd074c1141420, 0x00561b8b7b68774e,
  89. 0x00232e5e5d1013a3, 0x006b7f2cb3d7e73f)},
  90. {FIELD_LITERAL(0x004bdd0f0b41e6a0, 0x001773057c405d24,
  91. 0x006029f99915bd97, 0x006a5ba70a17fe2f,
  92. 0x0046111977df7e08, 0x004d8124c89fb6b7,
  93. 0x00580983b2bb2724, 0x00207bf330d6f3fe)},
  94. }}, {{
  95. {FIELD_LITERAL(0x007efdc93972a48b, 0x002f5e50e78d5fee,
  96. 0x0080dc11d61c7fe5, 0x0065aa598707245b,
  97. 0x009abba2300641be, 0x000c68787656543a,
  98. 0x00ffe0fef2dc0a17, 0x00007ffbd6cb4f3a)},
  99. {FIELD_LITERAL(0x0036012f2b836efc, 0x00458c126d6b5fbc,
  100. 0x00a34436d719ad1e, 0x0097be6167117dea,
  101. 0x0009c219c879cff3, 0x0065564493e60755,
  102. 0x00993ac94a8cdec0, 0x002d4885a4d0dbaf)},
  103. {FIELD_LITERAL(0x00598b60b4c068ba, 0x00c547a0be7f1afd,
  104. 0x009582164acf12af, 0x00af4acac4fbbe40,
  105. 0x005f6ca7c539121a, 0x003b6e752ebf9d66,
  106. 0x00f08a30d5cac5d4, 0x00e399bb5f97c5a9)},
  107. }}, {{
  108. {FIELD_LITERAL(0x007445a0409c0a66, 0x00a65c369f3829c0,
  109. 0x0031d248a4f74826, 0x006817f34defbe8e,
  110. 0x00649741d95ebf2e, 0x00d46466ab16b397,
  111. 0x00fdc35703bee414, 0x00343b43334525f8)},
  112. {FIELD_LITERAL(0x001796bea93f6401, 0x00090c5a42e85269,
  113. 0x00672412ba1252ed, 0x001201d47b6de7de,
  114. 0x006877bccfe66497, 0x00b554fd97a4c161,
  115. 0x009753f42dbac3cf, 0x00e983e3e378270a)},
  116. {FIELD_LITERAL(0x00ac3eff18849872, 0x00f0eea3bff05690,
  117. 0x00a6d72c21dd505d, 0x001b832642424169,
  118. 0x00a6813017b540e5, 0x00a744bd71b385cd,
  119. 0x0022a7d089130a7b, 0x004edeec9a133486)},
  120. }}, {{
  121. {FIELD_LITERAL(0x00b2d6729196e8a9, 0x0088a9bb2031cef4,
  122. 0x00579e7787dc1567, 0x0030f49feb059190,
  123. 0x00a0b1d69c7f7d8f, 0x0040bdcc6d9d806f,
  124. 0x00d76c4037edd095, 0x00bbf24376415dd7)},
  125. {FIELD_LITERAL(0x00240465ff5a7197, 0x00bb97e76caf27d0,
  126. 0x004b4edbf8116d39, 0x001d8586f708cbaa,
  127. 0x000f8ee8ff8e4a50, 0x00dde5a1945dd622,
  128. 0x00e6fc1c0957e07c, 0x0041c9cdabfd88a0)},
  129. {FIELD_LITERAL(0x005344b0bf5b548c, 0x002957d0b705cc99,
  130. 0x00f586a70390553d, 0x0075b3229f583cc3,
  131. 0x00a1aa78227490e4, 0x001bf09cf7957717,
  132. 0x00cf6bf344325f52, 0x0065bd1c23ca3ecf)},
  133. }}, {{
  134. {FIELD_LITERAL(0x009bff3b3239363c, 0x00e17368796ef7c0,
  135. 0x00528b0fe0971f3a, 0x0008014fc8d4a095,
  136. 0x00d09f2e8a521ec4, 0x006713ab5dde5987,
  137. 0x0003015758e0dbb1, 0x00215999f1ba212d)},
  138. {FIELD_LITERAL(0x002c88e93527da0e, 0x0077c78f3456aad5,
  139. 0x0071087a0a389d1c, 0x00934dac1fb96dbd,
  140. 0x008470e801162697, 0x005bc2196cd4ad49,
  141. 0x00e535601d5087c3, 0x00769888700f497f)},
  142. {FIELD_LITERAL(0x00da7a4b557298ad, 0x0019d2589ea5df76,
  143. 0x00ef3e38be0c6497, 0x00a9644e1312609a,
  144. 0x004592f61b2558da, 0x0082c1df510d7e46,
  145. 0x0042809a535c0023, 0x00215bcb5afd7757)},
  146. }}, {{
  147. {FIELD_LITERAL(0x002b9df55a1a4213, 0x00dcfc3b464a26be,
  148. 0x00c4f9e07a8144d5, 0x00c8e0617a92b602,
  149. 0x008e3c93accafae0, 0x00bf1bcb95b2ca60,
  150. 0x004ce2426a613bf3, 0x00266cac58e40921)},
  151. {FIELD_LITERAL(0x008456d5db76e8f0, 0x0032ca9cab2ce163,
  152. 0x0059f2b8bf91abcf, 0x0063c2a021712788,
  153. 0x00f86155af22f72d, 0x00db98b2a6c005a0,
  154. 0x00ac6e416a693ac4, 0x007a93572af53226)},
  155. {FIELD_LITERAL(0x0087767520f0de22, 0x0091f64012279fb5,
  156. 0x001050f1f0644999, 0x004f097a2477ad3c,
  157. 0x006b37913a9947bd, 0x001a3d78645af241,
  158. 0x0057832bbb3008a7, 0x002c1d902b80dc20)},
  159. }}, {{
  160. {FIELD_LITERAL(0x001a6002bf178877, 0x009bce168aa5af50,
  161. 0x005fc318ff04a7f5, 0x0052818f55c36461,
  162. 0x008768f5d4b24afb, 0x0037ffbae7b69c85,
  163. 0x0018195a4b61edc0, 0x001e12ea088434b2)},
  164. {FIELD_LITERAL(0x0047d3f804e7ab07, 0x00a809ab5f905260,
  165. 0x00b3ffc7cdaf306d, 0x00746e8ec2d6e509,
  166. 0x00d0dade8887a645, 0x00acceeebde0dd37,
  167. 0x009bc2579054686b, 0x0023804f97f1c2bf)},
  168. {FIELD_LITERAL(0x0043e2e2e50b80d7, 0x00143aafe4427e0f,
  169. 0x005594aaecab855b, 0x008b12ccaaecbc01,
  170. 0x002deeb091082bc3, 0x009cca4be2ae7514,
  171. 0x00142b96e696d047, 0x00ad2a2b1c05256a)},
  172. }}, {{
  173. {FIELD_LITERAL(0x003914f2f144b78b, 0x007a95dd8bee6f68,
  174. 0x00c7f4384d61c8e6, 0x004e51eb60f1bdb2,
  175. 0x00f64be7aa4621d8, 0x006797bfec2f0ac0,
  176. 0x007d17aab3c75900, 0x001893e73cac8bc5)},
  177. {FIELD_LITERAL(0x00140360b768665b, 0x00b68aca4967f977,
  178. 0x0001089b66195ae4, 0x00fe71122185e725,
  179. 0x000bca2618d49637, 0x00a54f0557d7e98a,
  180. 0x00cdcd2f91d6f417, 0x00ab8c13741fd793)},
  181. {FIELD_LITERAL(0x00725ee6b1e549e0, 0x007124a0769777fa,
  182. 0x000b68fdad07ae42, 0x0085b909cd4952df,
  183. 0x0092d2e3c81606f4, 0x009f22f6cac099a0,
  184. 0x00f59da57f2799a8, 0x00f06c090122f777)},
  185. }}, {{
  186. {FIELD_LITERAL(0x00ce0bed0a3532bc, 0x001a5048a22df16b,
  187. 0x00e31db4cbad8bf1, 0x00e89292120cf00e,
  188. 0x007d1dd1a9b00034, 0x00e2a9041ff8f680,
  189. 0x006a4c837ae596e7, 0x00713af1068070b3)},
  190. {FIELD_LITERAL(0x00c4fe64ce66d04b, 0x00b095d52e09b3d7,
  191. 0x00758bbecb1a3a8e, 0x00f35cce8d0650c0,
  192. 0x002b878aa5984473, 0x0062e0a3b7544ddc,
  193. 0x00b25b290ed116fe, 0x007b0f6abe0bebf2)},
  194. {FIELD_LITERAL(0x0081d4e3addae0a8, 0x003410c836c7ffcc,
  195. 0x00c8129ad89e4314, 0x000e3d5a23922dcd,
  196. 0x00d91e46f29c31f3, 0x006c728cde8c5947,
  197. 0x002bc655ba2566c0, 0x002ca94721533108)},
  198. }}, {{
  199. {FIELD_LITERAL(0x0051e4b3f764d8a9, 0x0019792d46e904a0,
  200. 0x00853bc13dbc8227, 0x000840208179f12d,
  201. 0x0068243474879235, 0x0013856fbfe374d0,
  202. 0x00bda12fe8676424, 0x00bbb43635926eb2)},
  203. {FIELD_LITERAL(0x0012cdc880a93982, 0x003c495b21cd1b58,
  204. 0x00b7e5c93f22a26e, 0x0044aa82dfb99458,
  205. 0x009ba092cdffe9c0, 0x00a14b3ab2083b73,
  206. 0x000271c2f70e1c4b, 0x00eea9cac0f66eb8)},
  207. {FIELD_LITERAL(0x001a1847c4ac5480, 0x00b1b412935bb03a,
  208. 0x00f74285983bf2b2, 0x00624138b5b5d0f1,
  209. 0x008820c0b03d38bf, 0x00b94e50a18c1572,
  210. 0x0060f6934841798f, 0x00c52f5d66d6ebe2)},
  211. }}, {{
  212. {FIELD_LITERAL(0x00da23d59f9bcea6, 0x00e0f27007a06a4b,
  213. 0x00128b5b43a6758c, 0x000cf50190fa8b56,
  214. 0x00fc877aba2b2d72, 0x00623bef52edf53f,
  215. 0x00e6af6b819669e2, 0x00e314dc34fcaa4f)},
  216. {FIELD_LITERAL(0x0066e5eddd164d1e, 0x00418a7c6fe28238,
  217. 0x0002e2f37e962c25, 0x00f01f56b5975306,
  218. 0x0048842fa503875c, 0x0057b0e968078143,
  219. 0x00ff683024f3d134, 0x0082ae28fcad12e4)},
  220. {FIELD_LITERAL(0x0011ddfd21260e42, 0x00d05b0319a76892,
  221. 0x00183ea4368e9b8f, 0x00b0815662affc96,
  222. 0x00b466a5e7ce7c88, 0x00db93b07506e6ee,
  223. 0x0033885f82f62401, 0x0086f9090ec9b419)},
  224. }}, {{
  225. {FIELD_LITERAL(0x00d95d1c5fcb435a, 0x0016d1ed6b5086f9,
  226. 0x00792aa0b7e54d71, 0x0067b65715f1925d,
  227. 0x00a219755ec6176b, 0x00bc3f026b12c28f,
  228. 0x00700c897ffeb93e, 0x0089b83f6ec50b46)},
  229. {FIELD_LITERAL(0x003c97e6384da36e, 0x00423d53eac81a09,
  230. 0x00b70d68f3cdce35, 0x00ee7959b354b92c,
  231. 0x00f4e9718819c8ca, 0x009349f12acbffe9,
  232. 0x005aee7b62cb7da6, 0x00d97764154ffc86)},
  233. {FIELD_LITERAL(0x00526324babb46dc, 0x002ee99b38d7bf9e,
  234. 0x007ea51794706ef4, 0x00abeb04da6e3c39,
  235. 0x006b457c1d281060, 0x00fe243e9a66c793,
  236. 0x00378de0fb6c6ee4, 0x003e4194b9c3cb93)},
  237. }}, {{
  238. {FIELD_LITERAL(0x00fed3cd80ca2292, 0x0015b043a73ca613,
  239. 0x000a9fd7bf9be227, 0x003b5e03de2db983,
  240. 0x005af72d46904ef7, 0x00c0f1b5c49faa99,
  241. 0x00dc86fc3bd305e1, 0x00c92f08c1cb1797)},
  242. {FIELD_LITERAL(0x0079680ce111ed3b, 0x001a1ed82806122c,
  243. 0x000c2e7466d15df3, 0x002c407f6f7150fd,
  244. 0x00c5e7c96b1b0ce3, 0x009aa44626863ff9,
  245. 0x00887b8b5b80be42, 0x00b6023cec964825)},
  246. {FIELD_LITERAL(0x00e4a8e1048970c8, 0x0062887b7830a302,
  247. 0x00bcf1c8cd81402b, 0x0056dbb81a68f5be,
  248. 0x0014eced83f12452, 0x00139e1a510150df,
  249. 0x00bb81140a82d1a3, 0x000febcc1aaf1aa7)},
  250. }}, {{
  251. {FIELD_LITERAL(0x00a7527958238159, 0x0013ec9537a84cd6,
  252. 0x001d7fee7d562525, 0x00b9eefa6191d5e5,
  253. 0x00dbc97db70bcb8a, 0x00481affc7a4d395,
  254. 0x006f73d3e70c31bb, 0x00183f324ed96a61)},
  255. {FIELD_LITERAL(0x0039dd7ce7fc6860, 0x00d64f6425653da1,
  256. 0x003e037c7f57d0af, 0x0063477a06e2bcf2,
  257. 0x001727dbb7ac67e6, 0x0049589f5efafe2e,
  258. 0x00fc0fef2e813d54, 0x008baa5d087fb50d)},
  259. {FIELD_LITERAL(0x0024fb59d9b457c7, 0x00a7d4e060223e4c,
  260. 0x00c118d1b555fd80, 0x0082e216c732f22a,
  261. 0x00cd2a2993089504, 0x003638e836a3e13d,
  262. 0x000d855ee89b4729, 0x008ec5b7d4810c91)},
  263. }}, {{
  264. {FIELD_LITERAL(0x001bf51f7d65cdfd, 0x00d14cdafa16a97d,
  265. 0x002c38e60fcd10e7, 0x00a27446e393efbd,
  266. 0x000b5d8946a71fdd, 0x0063df2cde128f2f,
  267. 0x006c8679569b1888, 0x0059ffc4925d732d)},
  268. {FIELD_LITERAL(0x00ece96f95f2b66f, 0x00ece7952813a27b,
  269. 0x0026fc36592e489e, 0x007157d1a2de0f66,
  270. 0x00759dc111d86ddf, 0x0012881e5780bb0f,
  271. 0x00c8ccc83ad29496, 0x0012b9bd1929eb71)},
  272. {FIELD_LITERAL(0x000fa15a20da5df0, 0x00349ddb1a46cd31,
  273. 0x002c512ad1d8e726, 0x00047611f669318d,
  274. 0x009e68fba591e17e, 0x004320dffa803906,
  275. 0x00a640874951a3d3, 0x00b6353478baa24f)},
  276. }}, {{
  277. {FIELD_LITERAL(0x009696510000d333, 0x00ec2f788bc04826,
  278. 0x000e4d02b1f67ba5, 0x00659aa8dace08b6,
  279. 0x00d7a38a3a3ae533, 0x008856defa8c746b,
  280. 0x004d7a4402d3da1a, 0x00ea82e06229260f)},
  281. {FIELD_LITERAL(0x006a15bb20f75c0c, 0x0079a144027a5d0c,
  282. 0x00d19116ce0b4d70, 0x0059b83bcb0b268e,
  283. 0x005f58f63f16c127, 0x0079958318ee2c37,
  284. 0x00defbb063d07f82, 0x00f1f0b931d2d446)},
  285. {FIELD_LITERAL(0x00cb5e4c3c35d422, 0x008df885ca43577f,
  286. 0x00fa50b16ca3e471, 0x005a0e58e17488c8,
  287. 0x00b2ceccd6d34d19, 0x00f01d5d235e36e9,
  288. 0x00db2e7e4be6ca44, 0x00260ab77f35fccd)},
  289. }}, {{
  290. {FIELD_LITERAL(0x006f6fd9baac61d5, 0x002a7710a020a895,
  291. 0x009de0db7fc03d4d, 0x00cdedcb1875f40b,
  292. 0x00050caf9b6b1e22, 0x005e3a6654456ab0,
  293. 0x00775fdf8c4423d4, 0x0028701ea5738b5d)},
  294. {FIELD_LITERAL(0x009ffd90abfeae96, 0x00cba3c2b624a516,
  295. 0x005ef08bcee46c91, 0x00e6fde30afb6185,
  296. 0x00f0b4db4f818ce4, 0x006c54f45d2127f5,
  297. 0x00040125035854c7, 0x00372658a3287e13)},
  298. {FIELD_LITERAL(0x00d7070fb1beb2ab, 0x0078fc845a93896b,
  299. 0x006894a4b2f224a6, 0x005bdd8192b9dbde,
  300. 0x00b38839874b3a9e, 0x00f93618b04b7a57,
  301. 0x003e3ec75fd2c67e, 0x00bf5e6bfc29494a)},
  302. }}, {{
  303. {FIELD_LITERAL(0x00f19224ebba2aa5, 0x0074f89d358e694d,
  304. 0x00eea486597135ad, 0x0081579a4555c7e1,
  305. 0x0010b9b872930a9d, 0x00f002e87a30ecc0,
  306. 0x009b9d66b6de56e2, 0x00a3c4f45e8004eb)},
  307. {FIELD_LITERAL(0x0045e8dda9400888, 0x002ff12e5fc05db7,
  308. 0x00a7098d54afe69c, 0x00cdbe846a500585,
  309. 0x00879c1593ca1882, 0x003f7a7fea76c8b0,
  310. 0x002cd73dd0c8e0a1, 0x00645d6ce96f51fe)},
  311. {FIELD_LITERAL(0x002b7e83e123d6d6, 0x00398346f7419c80,
  312. 0x0042922e55940163, 0x005e7fc5601886a3,
  313. 0x00e88f2cee1d3103, 0x00e7fab135f2e377,
  314. 0x00b059984dbf0ded, 0x0009ce080faa5bb8)},
  315. }}, {{
  316. {FIELD_LITERAL(0x0085e78af7758979, 0x00275a4ee1631a3a,
  317. 0x00d26bc0ed78b683, 0x004f8355ea21064f,
  318. 0x00d618e1a32696e5, 0x008d8d7b150e5680,
  319. 0x00a74cd854b278d2, 0x001dd62702203ea0)},
  320. {FIELD_LITERAL(0x00f89335c2a59286, 0x00a0f5c905d55141,
  321. 0x00b41fb836ee9382, 0x00e235d51730ca43,
  322. 0x00a5cb37b5c0a69a, 0x009b966ffe136c45,
  323. 0x00cb2ea10bf80ed1, 0x00fb2b370b40dc35)},
  324. {FIELD_LITERAL(0x00d687d16d4ee8ba, 0x0071520bdd069dff,
  325. 0x00de85c60d32355d, 0x0087d2e3565102f4,
  326. 0x00cde391b8dfc9aa, 0x00e18d69efdfefe5,
  327. 0x004a9d0591954e91, 0x00fa36dd8b50eee5)},
  328. }}, {{
  329. {FIELD_LITERAL(0x002e788749a865f7, 0x006e4dc3116861ea,
  330. 0x009f1428c37276e6, 0x00e7d2e0fc1e1226,
  331. 0x003aeebc6b6c45f6, 0x0071a8073bf500c9,
  332. 0x004b22ad986b530c, 0x00f439e63c0d79d4)},
  333. {FIELD_LITERAL(0x006bc3d53011f470, 0x00032d6e692b83e8,
  334. 0x00059722f497cd0b, 0x0009b4e6f0c497cc,
  335. 0x0058a804b7cce6c0, 0x002b71d3302bbd5d,
  336. 0x00e2f82a36765fce, 0x008dded99524c703)},
  337. {FIELD_LITERAL(0x004d058953747d64, 0x00701940fe79aa6f,
  338. 0x00a620ac71c760bf, 0x009532b611158b75,
  339. 0x00547ed7f466f300, 0x003cb5ab53a8401a,
  340. 0x00c7763168ce3120, 0x007e48e33e4b9ab2)},
  341. }}, {{
  342. {FIELD_LITERAL(0x001b2fc57bf3c738, 0x006a3f918993fb80,
  343. 0x0026f7a14fdec288, 0x0075a2cdccef08db,
  344. 0x00d3ecbc9eecdbf1, 0x0048c40f06e5bf7f,
  345. 0x00d63e423009896b, 0x000598bc99c056a8)},
  346. {FIELD_LITERAL(0x002f194eaafa46dc, 0x008e38f57fe87613,
  347. 0x00dc8e5ae25f4ab2, 0x000a17809575e6bd,
  348. 0x00d3ec7923ba366a, 0x003a7e72e0ad75e3,
  349. 0x0010024b88436e0a, 0x00ed3c5444b64051)},
  350. {FIELD_LITERAL(0x00831fc1340af342, 0x00c9645669466d35,
  351. 0x007692b4cc5a080f, 0x009fd4a47ac9259f,
  352. 0x001eeddf7d45928b, 0x003c0446fc45f28b,
  353. 0x002c0713aa3e2507, 0x0095706935f0f41e)},
  354. }}, {{
  355. {FIELD_LITERAL(0x00766ae4190ec6d8, 0x0065768cabc71380,
  356. 0x00b902598416cdc2, 0x00380021ad38df52,
  357. 0x008f0b89d6551134, 0x004254d4cc62c5a5,
  358. 0x000d79f4484b9b94, 0x00b516732ae3c50e)},
  359. {FIELD_LITERAL(0x001fb73475c45509, 0x00d2b2e5ea43345a,
  360. 0x00cb3c3842077bd1, 0x0029f90ad820946e,
  361. 0x007c11b2380778aa, 0x009e54ece62c1704,
  362. 0x004bc60c41ca01c3, 0x004525679a5a0b03)},
  363. {FIELD_LITERAL(0x00c64fbddbed87b3, 0x0040601d11731faa,
  364. 0x009c22475b6f9d67, 0x0024b79dae875f15,
  365. 0x00616fed3f02c3b0, 0x0000cf39f6af2d3b,
  366. 0x00c46bac0aa9a688, 0x00ab23e2800da204)},
  367. }}, {{
  368. {FIELD_LITERAL(0x000b3a37617632b0, 0x00597199fe1cfb6c,
  369. 0x0042a7ccdfeafdd6, 0x004cc9f15ebcea17,
  370. 0x00f436e596a6b4a4, 0x00168861142df0d8,
  371. 0x000753edfec26af5, 0x000c495d7e388116)},
  372. {FIELD_LITERAL(0x0017085f4a346148, 0x00c7cf7a37f62272,
  373. 0x001776e129bc5c30, 0x009955134c9eef2a,
  374. 0x001ba5bdf1df07be, 0x00ec39497103a55c,
  375. 0x006578354fda6cfb, 0x005f02719d4f15ee)},
  376. {FIELD_LITERAL(0x0052b9d9b5d9655d, 0x00d4ec7ba1b461c3,
  377. 0x00f95df4974f280b, 0x003d8e5ca11aeb51,
  378. 0x00d4981eb5a70b26, 0x000af9a4f6659f29,
  379. 0x004598c846faeb43, 0x0049d9a183a47670)},
  380. }}, {{
  381. {FIELD_LITERAL(0x000a72d23dcb3f1f, 0x00a3737f84011727,
  382. 0x00f870c0fbbf4a47, 0x00a7aadd04b5c9ca,
  383. 0x000c7715c67bd072, 0x00015a136afcd74e,
  384. 0x0080d5caea499634, 0x0026b448ec7514b7)},
  385. {FIELD_LITERAL(0x00b60167d9e7d065, 0x00e60ba0d07381e8,
  386. 0x003a4f17b725c2d4, 0x006c19fe176b64fa,
  387. 0x003b57b31af86ccb, 0x0021047c286180fd,
  388. 0x00bdc8fb00c6dbb6, 0x00fe4a9f4bab4f3f)},
  389. {FIELD_LITERAL(0x0088ffc3a16111f7, 0x009155e4245d0bc8,
  390. 0x00851d68220572d5, 0x00557ace1e514d29,
  391. 0x0031d7c339d91022, 0x00101d0ae2eaceea,
  392. 0x00246ab3f837b66a, 0x00d5216d381ff530)},
  393. }}, {{
  394. {FIELD_LITERAL(0x0057e7ea35f36dae, 0x00f47d7ad15de22e,
  395. 0x00d757ea4b105115, 0x008311457d579d7e,
  396. 0x00b49b75b1edd4eb, 0x0081c7ff742fd63a,
  397. 0x00ddda3187433df6, 0x00475727d55f9c66)},
  398. {FIELD_LITERAL(0x00a6295218dc136a, 0x00563b3af0e9c012,
  399. 0x00d3753b0145db1b, 0x004550389c043dc1,
  400. 0x00ea94ae27401bdf, 0x002b0b949f2b7956,
  401. 0x00c63f780ad8e23c, 0x00e591c47d6bab15)},
  402. {FIELD_LITERAL(0x00416c582b058eb6, 0x004107da5b2cc695,
  403. 0x00b3cd2556aeec64, 0x00c0b418267e57a1,
  404. 0x001799293579bd2e, 0x0046ed44590e4d07,
  405. 0x001d7459b3630a1e, 0x00c6afba8b6696aa)},
  406. }}, {{
  407. {FIELD_LITERAL(0x008d6009b26da3f8, 0x00898e88ca06b1ca,
  408. 0x00edb22b2ed7fe62, 0x00fbc93516aabe80,
  409. 0x008b4b470c42ce0d, 0x00e0032ba7d0dcbb,
  410. 0x00d76da3a956ecc8, 0x007f20fe74e3852a)},
  411. {FIELD_LITERAL(0x002419222c607674, 0x00a7f23af89188b3,
  412. 0x00ad127284e73d1c, 0x008bba582fae1c51,
  413. 0x00fc6aa7ca9ecab1, 0x003df5319eb6c2ba,
  414. 0x002a05af8a8b199a, 0x004bf8354558407c)},
  415. {FIELD_LITERAL(0x00ce7d4a30f0fcbf, 0x00d02c272629f03d,
  416. 0x0048c001f7400bc2, 0x002c21368011958d,
  417. 0x0098a550391e96b5, 0x002d80b66390f379,
  418. 0x001fa878760cc785, 0x001adfce54b613d5)},
  419. }}, {{
  420. {FIELD_LITERAL(0x001ed4dc71fa2523, 0x005d0bff19bf9b5c,
  421. 0x00c3801cee065a64, 0x001ed0b504323fbf,
  422. 0x0003ab9fdcbbc593, 0x00df82070178b8d2,
  423. 0x00a2bcaa9c251f85, 0x00c628a3674bd02e)},
  424. {FIELD_LITERAL(0x006b7a0674f9f8de, 0x00a742414e5c7cff,
  425. 0x0041cbf3c6e13221, 0x00e3a64fd207af24,
  426. 0x0087c05f15fbe8d1, 0x004c50936d9e8a33,
  427. 0x001306ec21042b6d, 0x00a4f4137d1141c2)},
  428. {FIELD_LITERAL(0x0009e6fb921568b0, 0x00b3c60120219118,
  429. 0x002a6c3460dd503a, 0x009db1ef11654b54,
  430. 0x0063e4bf0be79601, 0x00670d34bb2592b9,
  431. 0x00dcee2f6c4130ce, 0x00b2682e88e77f54)},
  432. }}, {{
  433. {FIELD_LITERAL(0x000d5b4b3da135ab, 0x00838f3e5064d81d,
  434. 0x00d44eb50f6d94ed, 0x0008931ab502ac6d,
  435. 0x00debe01ca3d3586, 0x0025c206775f0641,
  436. 0x005ad4b6ae912763, 0x007e2c318ad8f247)},
  437. {FIELD_LITERAL(0x00ddbe0750dd1add, 0x004b3c7b885844b8,
  438. 0x00363e7ecf12f1ae, 0x0062e953e6438f9d,
  439. 0x0023cc73b076afe9, 0x00b09fa083b4da32,
  440. 0x00c7c3d2456c541d, 0x005b591ec6b694d4)},
  441. {FIELD_LITERAL(0x0028656e19d62fcf, 0x0052a4af03df148d,
  442. 0x00122765ddd14e42, 0x00f2252904f67157,
  443. 0x004741965b636f3a, 0x006441d296132cb9,
  444. 0x005e2106f956a5b7, 0x00247029592d335c)},
  445. }}, {{
  446. {FIELD_LITERAL(0x003fe038eb92f894, 0x000e6da1b72e8e32,
  447. 0x003a1411bfcbe0fa, 0x00b55d473164a9e4,
  448. 0x00b9a775ac2df48d, 0x0002ddf350659e21,
  449. 0x00a279a69eb19cb3, 0x00f844eab25cba44)},
  450. {FIELD_LITERAL(0x00c41d1f9c1f1ac1, 0x007b2df4e9f19146,
  451. 0x00b469355fd5ba7a, 0x00b5e1965afc852a,
  452. 0x00388d5f1e2d8217, 0x0022079e4c09ae93,
  453. 0x0014268acd4ef518, 0x00c1dd8d9640464c)},
  454. {FIELD_LITERAL(0x0038526adeed0c55, 0x00dd68c607e3fe85,
  455. 0x00f746ddd48a5d57, 0x0042f2952b963b7c,
  456. 0x001cbbd6876d5ec2, 0x005e341470bca5c2,
  457. 0x00871d41e085f413, 0x00e53ab098f45732)},
  458. }}, {{
  459. {FIELD_LITERAL(0x004d51124797c831, 0x008f5ae3750347ad,
  460. 0x0070ced94c1a0c8e, 0x00f6db2043898e64,
  461. 0x000d00c9a5750cd0, 0x000741ec59bad712,
  462. 0x003c9d11aab37b7f, 0x00a67ba169807714)},
  463. {FIELD_LITERAL(0x00adb2c1566e8b8f, 0x0096c68a35771a9a,
  464. 0x00869933356f334a, 0x00ba9c93459f5962,
  465. 0x009ec73fb6e8ca4b, 0x003c3802c27202e1,
  466. 0x0031f5b733e0c008, 0x00f9058c19611fa9)},
  467. {FIELD_LITERAL(0x00238f01814a3421, 0x00c325a44b6cce28,
  468. 0x002136f97aeb0e73, 0x000cac8268a4afe2,
  469. 0x0022fd218da471b3, 0x009dcd8dfff8def9,
  470. 0x00cb9f8181d999bb, 0x00143ae56edea349)},
  471. }}, {{
  472. {FIELD_LITERAL(0x0000623bf87622c5, 0x00a1966fdd069496,
  473. 0x00c315b7b812f9fc, 0x00bdf5efcd128b97,
  474. 0x001d464f532e3e16, 0x003cd94f081bfd7e,
  475. 0x00ed9dae12ce4009, 0x002756f5736eee70)},
  476. {FIELD_LITERAL(0x00a5187e6ee7341b, 0x00e6d52e82d83b6e,
  477. 0x00df3c41323094a7, 0x00b3324f444e9de9,
  478. 0x00689eb21a35bfe5, 0x00f16363becd548d,
  479. 0x00e187cc98e7f60f, 0x00127d9062f0ccab)},
  480. {FIELD_LITERAL(0x004ad71b31c29e40, 0x00a5fcace12fae29,
  481. 0x004425b5597280ed, 0x00e7ef5d716c3346,
  482. 0x0010b53ada410ac8, 0x0092310226060c9b,
  483. 0x0091c26128729c7e, 0x0088b42900f8ec3b)},
  484. }}, {{
  485. {FIELD_LITERAL(0x00f1e26e9762d4a8, 0x00d9d74082183414,
  486. 0x00ffec9bd57a0282, 0x000919e128fd497a,
  487. 0x00ab7ae7d00fe5f8, 0x0054dc442851ff68,
  488. 0x00c9ebeb3b861687, 0x00507f7cab8b698f)},
  489. {FIELD_LITERAL(0x00c13c5aae3ae341, 0x009c6c9ed98373e7,
  490. 0x00098f26864577a8, 0x0015b886e9488b45,
  491. 0x0037692c42aadba5, 0x00b83170b8e7791c,
  492. 0x001670952ece1b44, 0x00fd932a39276da2)},
  493. {FIELD_LITERAL(0x0081a3259bef3398, 0x005480fff416107b,
  494. 0x00ce4f607d21be98, 0x003ffc084b41df9b,
  495. 0x0043d0bb100502d1, 0x00ec35f575ba3261,
  496. 0x00ca18f677300ef3, 0x00e8bb0a827d8548)},
  497. }}, {{
  498. {FIELD_LITERAL(0x00df76b3328ada72, 0x002e20621604a7c2,
  499. 0x00f910638a105b09, 0x00ef4724d96ef2cd,
  500. 0x00377d83d6b8a2f7, 0x00b4f48805ade324,
  501. 0x001cd5da8b152018, 0x0045af671a20ca7f)},
  502. {FIELD_LITERAL(0x009ae3b93a56c404, 0x004a410b7a456699,
  503. 0x00023a619355e6b2, 0x009cdc7297387257,
  504. 0x0055b94d4ae70d04, 0x002cbd607f65b005,
  505. 0x003208b489697166, 0x00ea2aa058867370)},
  506. {FIELD_LITERAL(0x00f29d2598ee3f32, 0x00b4ac5385d82adc,
  507. 0x007633eaf04df19b, 0x00aa2d3d77ceab01,
  508. 0x004a2302fcbb778a, 0x00927f225d5afa34,
  509. 0x004a8e9d5047f237, 0x008224ae9dbce530)},
  510. }}, {{
  511. {FIELD_LITERAL(0x001cf640859b02f8, 0x00758d1d5d5ce427,
  512. 0x00763c784ef4604c, 0x005fa81aee205270,
  513. 0x00ac537bfdfc44cb, 0x004b919bd342d670,
  514. 0x00238508d9bf4b7a, 0x00154888795644f3)},
  515. {FIELD_LITERAL(0x00c845923c084294, 0x00072419a201bc25,
  516. 0x0045f408b5f8e669, 0x00e9d6a186b74dfe,
  517. 0x00e19108c68fa075, 0x0017b91d874177b7,
  518. 0x002f0ca2c7912c5a, 0x009400aa385a90a2)},
  519. {FIELD_LITERAL(0x0071110b01482184, 0x00cfed0044f2bef8,
  520. 0x0034f2901cf4662e, 0x003b4ae2a67f9834,
  521. 0x00cca9b96fe94810, 0x00522507ae77abd0,
  522. 0x00bac7422721e73e, 0x0066622b0f3a62b0)},
  523. }}, {{
  524. {FIELD_LITERAL(0x00f8ac5cf4705b6a, 0x00867d82dcb457e3,
  525. 0x007e13ab2ccc2ce9, 0x009ee9a018d3930e,
  526. 0x008370f8ecb42df8, 0x002d9f019add263e,
  527. 0x003302385b92d196, 0x00a15654536e2c0c)},
  528. {FIELD_LITERAL(0x0026ef1614e160af, 0x00c023f9edfc9c76,
  529. 0x00cff090da5f57ba, 0x0076db7a66643ae9,
  530. 0x0019462f8c646999, 0x008fec00b3854b22,
  531. 0x00d55041692a0a1c, 0x0065db894215ca00)},
  532. {FIELD_LITERAL(0x00a925036e0a451c, 0x002a0390c36b6cc1,
  533. 0x00f27020d90894f4, 0x008d90d52cbd3d7f,
  534. 0x00e1d0137392f3b8, 0x00f017c158b51a8f,
  535. 0x00cac313d3ed7dbc, 0x00b99a81e3eb42d3)},
  536. }}, {{
  537. {FIELD_LITERAL(0x00b54850275fe626, 0x0053a3fd1ec71140,
  538. 0x00e3d2d7dbe096fa, 0x00e4ac7b595cce4c,
  539. 0x0077bad449c0a494, 0x00b7c98814afd5b3,
  540. 0x0057226f58486cf9, 0x00b1557154f0cc57)},
  541. {FIELD_LITERAL(0x008cc9cd236315c0, 0x0031d9c5b39fda54,
  542. 0x00a5713ef37e1171, 0x00293d5ae2886325,
  543. 0x00c4aba3e05015e1, 0x0003f35ef78e4fc6,
  544. 0x0039d6bd3ac1527b, 0x0019d7c3afb77106)},
  545. {FIELD_LITERAL(0x007b162931a985af, 0x00ad40a2e0daa713,
  546. 0x006df27c4009f118, 0x00503e9f4e2e8bec,
  547. 0x00751a77c82c182d, 0x000298937769245b,
  548. 0x00ffb1e8fabf9ee5, 0x0008334706e09abe)},
  549. }}, {{
  550. {FIELD_LITERAL(0x00dbca4e98a7dcd9, 0x00ee29cfc78bde99,
  551. 0x00e4a3b6995f52e9, 0x0045d70189ae8096,
  552. 0x00fd2a8a3b9b0d1b, 0x00af1793b107d8e1,
  553. 0x00dbf92cbe4afa20, 0x00da60f798e3681d)},
  554. {FIELD_LITERAL(0x004246bfcecc627a, 0x004ba431246c03a4,
  555. 0x00bd1d101872d497, 0x003b73d3f185ee16,
  556. 0x001feb2e2678c0e3, 0x00ff13c5a89dec76,
  557. 0x00ed06042e771d8f, 0x00a4fd2a897a83dd)},
  558. {FIELD_LITERAL(0x009a4a3be50d6597, 0x00de3165fc5a1096,
  559. 0x004f3f56e345b0c7, 0x00f7bf721d5ab8bc,
  560. 0x004313e47b098c50, 0x00e4c7d5c0e1adbb,
  561. 0x002e3e3db365051e, 0x00a480c2cd6a96fb)},
  562. }}, {{
  563. {FIELD_LITERAL(0x00417fa30a7119ed, 0x00af257758419751,
  564. 0x00d358a487b463d4, 0x0089703cc720b00d,
  565. 0x00ce56314ff7f271, 0x0064db171ade62c1,
  566. 0x00640b36d4a22fed, 0x00424eb88696d23f)},
  567. {FIELD_LITERAL(0x004ede34af2813f3, 0x00d4a8e11c9e8216,
  568. 0x004796d5041de8a5, 0x00c4c6b4d21cc987,
  569. 0x00e8a433ee07fa1e, 0x0055720b5abcc5a1,
  570. 0x008873ea9c74b080, 0x005b3fec1ab65d48)},
  571. {FIELD_LITERAL(0x0047e5277db70ec5, 0x000a096c66db7d6b,
  572. 0x00b4164cc1730159, 0x004a9f783fe720fe,
  573. 0x00a8177b94449dbc, 0x0095a24ff49a599f,
  574. 0x0069c1c578250cbc, 0x00452019213debf4)},
  575. }}, {{
  576. {FIELD_LITERAL(0x0021ce99e09ebda3, 0x00fcbd9f91875ad0,
  577. 0x009bbf6b7b7a0b5f, 0x00388886a69b1940,
  578. 0x00926a56d0f81f12, 0x00e12903c3358d46,
  579. 0x005dfce4e8e1ce9d, 0x0044cfa94e2f7e23)},
  580. {FIELD_LITERAL(0x001bd59c09e982ea, 0x00f72daeb937b289,
  581. 0x0018b76dca908e0e, 0x00edb498512384ad,
  582. 0x00ce0243b6cc9538, 0x00f96ff690cb4e70,
  583. 0x007c77bf9f673c8d, 0x005bf704c088a528)},
  584. {FIELD_LITERAL(0x0093d4628dcb33be, 0x0095263d51d42582,
  585. 0x0049b3222458fe06, 0x00e7fce73b653a7f,
  586. 0x003ca2ebce60b369, 0x00c5de239a32bea4,
  587. 0x0063b8b3d71fb6bf, 0x0039aeeb78a1a839)},
  588. }}, {{
  589. {FIELD_LITERAL(0x007dc52da400336c, 0x001fded1e15b9457,
  590. 0x00902e00f5568e3a, 0x00219bef40456d2d,
  591. 0x005684161fb3dbc9, 0x004a4e9be49a76ea,
  592. 0x006e685ae88b78ff, 0x0021c42f13042d3c)},
  593. {FIELD_LITERAL(0x00fb22bb5fd3ce50, 0x0017b48aada7ae54,
  594. 0x00fd5c44ad19a536, 0x000ccc4e4e55e45c,
  595. 0x00fd637d45b4c3f5, 0x0038914e023c37cf,
  596. 0x00ac1881d6a8d898, 0x00611ed8d3d943a8)},
  597. {FIELD_LITERAL(0x0056e2259d113d2b, 0x00594819b284ec16,
  598. 0x00c7bf794bb36696, 0x00721ee75097cdc6,
  599. 0x00f71be9047a2892, 0x00df6ba142564edf,
  600. 0x0069580b7a184e8d, 0x00f056e38fca0fee)},
  601. }}, {{
  602. {FIELD_LITERAL(0x009df98566a18c6d, 0x00cf3a200968f219,
  603. 0x0044ba60da6d9086, 0x00dbc9c0e344da03,
  604. 0x000f9401c4466855, 0x00d46a57c5b0a8d1,
  605. 0x00875a635d7ac7c6, 0x00ef4a933b7e0ae6)},
  606. {FIELD_LITERAL(0x005e8694077a1535, 0x008bef75f71c8f1d,
  607. 0x000a7c1316423511, 0x00906e1d70604320,
  608. 0x003fc46c1a2ffbd6, 0x00d1d5022e68f360,
  609. 0x002515fba37bbf46, 0x00ca16234e023b44)},
  610. {FIELD_LITERAL(0x00787c99561f4690, 0x00a857a8c1561f27,
  611. 0x00a10df9223c09fe, 0x00b98a9562e3b154,
  612. 0x004330b8744c3ed2, 0x00e06812807ec5c4,
  613. 0x00e4cf6a7db9f1e3, 0x00d95b089f132a34)},
  614. }}, {{
  615. {FIELD_LITERAL(0x002922b39ca33eec, 0x0090d12a5f3ab194,
  616. 0x00ab60c02fb5f8ed, 0x00188d292abba1cf,
  617. 0x00e10edec9698f6e, 0x0069a4d9934133c8,
  618. 0x0024aac40e6d3d06, 0x001702c2177661b0)},
  619. {FIELD_LITERAL(0x00139078397030bd, 0x000e3c447e859a00,
  620. 0x0064a5b334c82393, 0x00b8aabeb7358093,
  621. 0x00020778bb9ae73b, 0x0032ee94c7892a18,
  622. 0x008215253cb41bda, 0x005e2797593517ae)},
  623. {FIELD_LITERAL(0x0083765a5f855d4a, 0x0051b6d1351b8ee2,
  624. 0x00116de548b0f7bb, 0x0087bd88703affa0,
  625. 0x0095b2cc34d7fdd2, 0x0084cd81b53f0bc8,
  626. 0x008562fc995350ed, 0x00a39abb193651e3)},
  627. }}, {{
  628. {FIELD_LITERAL(0x0019e23f0474b114, 0x00eb94c2ad3b437e,
  629. 0x006ddb34683b75ac, 0x00391f9209b564c6,
  630. 0x00083b3bb3bff7aa, 0x00eedcd0f6dceefc,
  631. 0x00b50817f794fe01, 0x0036474deaaa75c9)},
  632. {FIELD_LITERAL(0x0091868594265aa2, 0x00797accae98ca6d,
  633. 0x0008d8c5f0f8a184, 0x00d1f4f1c2b2fe6e,
  634. 0x0036783dfb48a006, 0x008c165120503527,
  635. 0x0025fd780058ce9b, 0x0068beb007be7d27)},
  636. {FIELD_LITERAL(0x00d0ff88aa7c90c2, 0x00b2c60dacf53394,
  637. 0x0094a7284d9666d6, 0x00bed9022ce7a19d,
  638. 0x00c51553f0cd7682, 0x00c3fb870b124992,
  639. 0x008d0bc539956c9b, 0x00fc8cf258bb8885)},
  640. }}, {{
  641. {FIELD_LITERAL(0x003667bf998406f8, 0x0000115c43a12975,
  642. 0x001e662f3b20e8fd, 0x0019ffa534cb24eb,
  643. 0x00016be0dc8efb45, 0x00ff76a8b26243f5,
  644. 0x00ae20d241a541e3, 0x0069bd6af13cd430)},
  645. {FIELD_LITERAL(0x0045fdc16487cda3, 0x00b2d8e844cf2ed7,
  646. 0x00612c50e88c1607, 0x00a08aabc66c1672,
  647. 0x006031fdcbb24d97, 0x001b639525744b93,
  648. 0x004409d62639ab17, 0x00a1853d0347ab1d)},
  649. {FIELD_LITERAL(0x0075a1a56ebf5c21, 0x00a3e72be9ac53ed,
  650. 0x00efcde1629170c2, 0x0004225fe91ef535,
  651. 0x0088049fc73dfda7, 0x004abc74857e1288,
  652. 0x0024e2434657317c, 0x00d98cb3d3e5543c)},
  653. }}, {{
  654. {FIELD_LITERAL(0x00b4b53eab6bdb19, 0x009b22d8b43711d0,
  655. 0x00d948b9d961785d, 0x00cb167b6f279ead,
  656. 0x00191de3a678e1c9, 0x00d9dd9511095c2e,
  657. 0x00f284324cd43067, 0x00ed74fa535151dd)},
  658. {FIELD_LITERAL(0x007e32c049b5c477, 0x009d2bfdbd9bcfd8,
  659. 0x00636e93045938c6, 0x007fde4af7687298,
  660. 0x0046a5184fafa5d3, 0x0079b1e7f13a359b,
  661. 0x00875adf1fb927d6, 0x00333e21c61bcad2)},
  662. {FIELD_LITERAL(0x00048014f73d8b8d, 0x0075684aa0966388,
  663. 0x0092be7df06dc47c, 0x0097cebcd0f5568a,
  664. 0x005a7004d9c4c6a9, 0x00b0ecbb659924c7,
  665. 0x00d90332dd492a7c, 0x0057fc14df11493d)},
  666. }}, {{
  667. {FIELD_LITERAL(0x0008ed8ea0ad95be, 0x0041d324b9709645,
  668. 0x00e25412257a19b4, 0x0058df9f3423d8d2,
  669. 0x00a9ab20def71304, 0x009ae0dbf8ac4a81,
  670. 0x00c9565977e4392a, 0x003c9269444baf55)},
  671. {FIELD_LITERAL(0x007df6cbb926830b, 0x00d336058ae37865,
  672. 0x007af47dac696423, 0x0048d3011ec64ac8,
  673. 0x006b87666e40049f, 0x0036a2e0e51303d7,
  674. 0x00ba319bd79dbc55, 0x003e2737ecc94f53)},
  675. {FIELD_LITERAL(0x00d296ff726272d9, 0x00f6d097928fcf57,
  676. 0x00e0e616a55d7013, 0x00deaf454ed9eac7,
  677. 0x0073a56bedef4d92, 0x006ccfdf6fc92e19,
  678. 0x009d1ee1371a7218, 0x00ee3c2ee4462d80)},
  679. }}, {{
  680. {FIELD_LITERAL(0x00437bce9bccdf9d, 0x00e0c8e2f85dc0a3,
  681. 0x00c91a7073995a19, 0x00856ec9fe294559,
  682. 0x009e4b33394b156e, 0x00e245b0dc497e5c,
  683. 0x006a54e687eeaeff, 0x00f1cd1cd00fdb7c)},
  684. {FIELD_LITERAL(0x008132ae5c5d8cd1, 0x00121d68324a1d9f,
  685. 0x00d6be9dafcb8c76, 0x00684d9070edf745,
  686. 0x00519fbc96d7448e, 0x00388182fdc1f27e,
  687. 0x000235baed41f158, 0x00bf6cf6f1a1796a)},
  688. {FIELD_LITERAL(0x002adc4b4d148219, 0x003084ada0d3a90a,
  689. 0x0046de8aab0f2e4e, 0x00452d342a67b5fd,
  690. 0x00d4b50f01d4de21, 0x00db6d9fc0cefb79,
  691. 0x008c184c86a462cd, 0x00e17c83764d42da)},
  692. }}, {{
  693. {FIELD_LITERAL(0x007b2743b9a1e01a, 0x007847ffd42688c4,
  694. 0x006c7844d610a316, 0x00f0cb8b250aa4b0,
  695. 0x00a19060143b3ae6, 0x0014eb10b77cfd80,
  696. 0x000170905729dd06, 0x00063b5b9cd72477)},
  697. {FIELD_LITERAL(0x00ce382dc7993d92, 0x00021153e938b4c8,
  698. 0x00096f7567f48f51, 0x0058f81ddfe4b0d5,
  699. 0x00cc379a56b355c7, 0x002c760770d3e819,
  700. 0x00ee22d1d26e5a40, 0x00de6d93d5b082d7)},
  701. {FIELD_LITERAL(0x000a91a42c52e056, 0x00185f6b77fce7ea,
  702. 0x000803c51962f6b5, 0x0022528582ba563d,
  703. 0x0043f8040e9856d6, 0x0085a29ec81fb860,
  704. 0x005f9a611549f5ff, 0x00c1f974ecbd4b06)},
  705. }}, {{
  706. {FIELD_LITERAL(0x005b64c6fd65ec97, 0x00c1fdd7f877bc7f,
  707. 0x000d9cc6c89f841c, 0x005c97b7f1aff9ad,
  708. 0x0075e3c61475d47e, 0x001ecb1ba8153011,
  709. 0x00fe7f1c8d71d40d, 0x003fa9757a229832)},
  710. {FIELD_LITERAL(0x00ffc5c89d2b0cba, 0x00d363d42e3e6fc3,
  711. 0x0019a1a0118e2e8a, 0x00f7baeff48882e1,
  712. 0x001bd5af28c6b514, 0x0055476ca2253cb2,
  713. 0x00d8eb1977e2ddf3, 0x00b173b1adb228a1)},
  714. {FIELD_LITERAL(0x00f2cb99dd0ad707, 0x00e1e08b6859ddd8,
  715. 0x000008f2d0650bcc, 0x00d7ed392f8615c3,
  716. 0x00976750a94da27f, 0x003e83bb0ecb69ba,
  717. 0x00df8e8d15c14ac6, 0x00f9f7174295d9c2)},
  718. }}, {{
  719. {FIELD_LITERAL(0x00f11cc8e0e70bcb, 0x00e5dc689974e7dd,
  720. 0x0014e409f9ee5870, 0x00826e6689acbd63,
  721. 0x008a6f4e3d895d88, 0x00b26a8da41fd4ad,
  722. 0x000fb7723f83efd7, 0x009c749db0a5f6c3)},
  723. {FIELD_LITERAL(0x002389319450f9ba, 0x003677f31aa1250a,
  724. 0x0092c3db642f38cb, 0x00f8b64c0dfc9773,
  725. 0x00cd49fe3505b795, 0x0068105a4090a510,
  726. 0x00df0ba2072a8bb6, 0x00eb396143afd8be)},
  727. {FIELD_LITERAL(0x00a0d4ecfb24cdff, 0x00ddaf8008ba6479,
  728. 0x00f0b3e36d4b0f44, 0x003734bd3af1f146,
  729. 0x00b87e2efc75527e, 0x00d230df55ddab50,
  730. 0x002613257ae56c1d, 0x00bc0946d135934d)},
  731. }}, {{
  732. {FIELD_LITERAL(0x00468711bd994651, 0x0033108fa67561bf,
  733. 0x0089d760192a54b4, 0x00adc433de9f1871,
  734. 0x000467d05f36e050, 0x007847e0f0579f7f,
  735. 0x00a2314ad320052d, 0x00b3a93649f0b243)},
  736. {FIELD_LITERAL(0x0067f8f0c4fe26c9, 0x0079c4a3cc8f67b9,
  737. 0x0082b1e62f23550d, 0x00f2d409caefd7f5,
  738. 0x0080e67dcdb26e81, 0x0087ae993ea1f98a,
  739. 0x00aa108becf61d03, 0x001acf11efb608a3)},
  740. {FIELD_LITERAL(0x008225febbab50d9, 0x00f3b605e4dd2083,
  741. 0x00a32b28189e23d2, 0x00d507e5e5eb4c97,
  742. 0x005a1a84e302821f, 0x0006f54c1c5f08c7,
  743. 0x00a347c8cb2843f0, 0x0009f73e9544bfa5)},
  744. }}, {{
  745. {FIELD_LITERAL(0x006c59c9ae744185, 0x009fc32f1b4282cd,
  746. 0x004d6348ca59b1ac, 0x00105376881be067,
  747. 0x00af4096013147dc, 0x004abfb5a5cb3124,
  748. 0x000d2a7f8626c354, 0x009c6ed568e07431)},
  749. {FIELD_LITERAL(0x00e828333c297f8b, 0x009ef3cf8c3f7e1f,
  750. 0x00ab45f8fff31cb9, 0x00c8b4178cb0b013,
  751. 0x00d0c50dd3260a3f, 0x0097126ac257f5bc,
  752. 0x0042376cc90c705a, 0x001d96fdb4a1071e)},
  753. {FIELD_LITERAL(0x00542d44d89ee1a8, 0x00306642e0442d98,
  754. 0x0090853872b87338, 0x002362cbf22dc044,
  755. 0x002c222adff663b8, 0x0067c924495fcb79,
  756. 0x000e621d983c977c, 0x00df77a9eccb66fb)},
  757. }}, {{
  758. {FIELD_LITERAL(0x002809e4bbf1814a, 0x00b9e854f9fafb32,
  759. 0x00d35e67c10f7a67, 0x008f1bcb76e748cf,
  760. 0x004224d9515687d2, 0x005ba0b774e620c4,
  761. 0x00b5e57db5d54119, 0x00e15babe5683282)},
  762. {FIELD_LITERAL(0x00832d02369b482c, 0x00cba52ff0d93450,
  763. 0x003fa9c908d554db, 0x008d1e357b54122f,
  764. 0x00abd91c2dc950c6, 0x007eff1df4c0ec69,
  765. 0x003f6aeb13fb2d31, 0x00002d6179fc5b2c)},
  766. {FIELD_LITERAL(0x0046c9eda81c9c89, 0x00b60cb71c8f62fc,
  767. 0x0022f5a683baa558, 0x00f87319fccdf997,
  768. 0x009ca09b51ce6a22, 0x005b12baf4af7d77,
  769. 0x008a46524a1e33e2, 0x00035a77e988be0d)},
  770. }}, {{
  771. {FIELD_LITERAL(0x00a7efe46a7dbe2f, 0x002f66fd55014fe7,
  772. 0x006a428afa1ff026, 0x0056caaa9604ab72,
  773. 0x0033f3bcd7fac8ae, 0x00ccb1aa01c86764,
  774. 0x00158d1edf13bf40, 0x009848ee76fcf3b4)},
  775. {FIELD_LITERAL(0x00a9e7730a819691, 0x00d9cc73c4992b70,
  776. 0x00e299bde067de5a, 0x008c314eb705192a,
  777. 0x00e7226f17e8a3cc, 0x0029dfd956e65a47,
  778. 0x0053a8e839073b12, 0x006f942b2ab1597e)},
  779. {FIELD_LITERAL(0x001c3d780ecd5e39, 0x0094f247fbdcc5fe,
  780. 0x00d5c786fd527764, 0x00b6f4da74f0db2a,
  781. 0x0080f1f8badcd5fc, 0x00f36a373ad2e23b,
  782. 0x00f804f9f4343bf2, 0x00d1af40ec623982)},
  783. }}, {{
  784. {FIELD_LITERAL(0x0082aeace5f1b144, 0x00f68b3108cf4dd3,
  785. 0x00634af01dde3020, 0x000beab5df5c2355,
  786. 0x00e8b790d1b49b0b, 0x00e48d15854e36f4,
  787. 0x0040ab2d95f3db9f, 0x002711c4ed9e899a)},
  788. {FIELD_LITERAL(0x0039343746531ebe, 0x00c8509d835d429d,
  789. 0x00e79eceff6b0018, 0x004abfd31e8efce5,
  790. 0x007bbfaaa1e20210, 0x00e3be89c193e179,
  791. 0x001c420f4c31d585, 0x00f414a315bef5ae)},
  792. {FIELD_LITERAL(0x007c296a24990df8, 0x00d5d07525a75588,
  793. 0x00dd8e113e94b7e7, 0x007bbc58febe0cc8,
  794. 0x0029f51af9bfcad3, 0x007e9311ec7ab6f3,
  795. 0x009a884de1676343, 0x0050d5f2dce84be9)},
  796. }}, {{
  797. {FIELD_LITERAL(0x005fa020cca2450a, 0x00491c29db6416d8,
  798. 0x0037cefe3f9f9a85, 0x003d405230647066,
  799. 0x0049e835f0fdbe89, 0x00feb78ac1a0815c,
  800. 0x00828e4b32dc9724, 0x00db84f2dc8d6fd4)},
  801. {FIELD_LITERAL(0x0098cddc8b39549a, 0x006da37e3b05d22c,
  802. 0x00ce633cfd4eb3cb, 0x00fda288ef526acd,
  803. 0x0025338878c5d30a, 0x00f34438c4e5a1b4,
  804. 0x00584efea7c310f1, 0x0041a551f1b660ad)},
  805. {FIELD_LITERAL(0x00d7f7a8fbd6437a, 0x0062872413bf3753,
  806. 0x00ad4bbcb43c584b, 0x007fe49be601d7e3,
  807. 0x0077c659789babf4, 0x00eb45fcb06a741b,
  808. 0x005ce244913f9708, 0x0088426401736326)},
  809. }}, {{
  810. {FIELD_LITERAL(0x007bf562ca768d7c, 0x006c1f3a174e387c,
  811. 0x00f024b447fee939, 0x007e7af75f01143f,
  812. 0x003adb70b4eed89d, 0x00e43544021ad79a,
  813. 0x0091f7f7042011f6, 0x0093c1a1ee3a0ddc)},
  814. {FIELD_LITERAL(0x00a0b68ec1eb72d2, 0x002c03235c0d45a0,
  815. 0x00553627323fe8c5, 0x006186e94b17af94,
  816. 0x00a9906196e29f14, 0x0025b3aee6567733,
  817. 0x007e0dd840080517, 0x0018eb5801a4ba93)},
  818. {FIELD_LITERAL(0x00d7fe7017bf6a40, 0x006e3f0624be0c42,
  819. 0x00ffbba205358245, 0x00f9fc2cf8194239,
  820. 0x008d93b37bf15b4e, 0x006ddf2e38be8e95,
  821. 0x002b6e79bf5fcff9, 0x00ab355da425e2de)},
  822. }}, {{
  823. {FIELD_LITERAL(0x00938f97e20be973, 0x0099141a36aaf306,
  824. 0x0057b0ca29e545a1, 0x0085db571f9fbc13,
  825. 0x008b333c554b4693, 0x0043ab6ef3e241cb,
  826. 0x0054fb20aa1e5c70, 0x00be0ff852760adf)},
  827. {FIELD_LITERAL(0x003973d8938971d6, 0x002aca26fa80c1f5,
  828. 0x00108af1faa6b513, 0x00daae275d7924e6,
  829. 0x0053634ced721308, 0x00d2355fe0bbd443,
  830. 0x00357612b2d22095, 0x00f9bb9dd4136cf3)},
  831. {FIELD_LITERAL(0x002bff12cf5e03a5, 0x001bdb1fa8a19cf8,
  832. 0x00c91c6793f84d39, 0x00f869f1b2eba9af,
  833. 0x0059bc547dc3236b, 0x00d91611d6d38689,
  834. 0x00e062daaa2c0214, 0x00ed3c047cc2bc82)},
  835. }}, {{
  836. {FIELD_LITERAL(0x000050d70c32b31a, 0x001939d576d437b3,
  837. 0x00d709e598bf9fe6, 0x00a885b34bd2ee9e,
  838. 0x00dd4b5c08ab1a50, 0x0091bebd50b55639,
  839. 0x00cf79ff64acdbc6, 0x006067a39d826336)},
  840. {FIELD_LITERAL(0x0062dd0fb31be374, 0x00fcc96b84c8e727,
  841. 0x003f64f1375e6ae3, 0x0057d9b6dd1af004,
  842. 0x00d6a167b1103c7b, 0x00dd28f3180fb537,
  843. 0x004ff27ad7167128, 0x008934c33461f2ac)},
  844. {FIELD_LITERAL(0x0065b472b7900043, 0x00ba7efd2ff1064b,
  845. 0x000b67d6c4c3020f, 0x0012d28469f4e46d,
  846. 0x0031c32939703ec7, 0x00b49f0bce133066,
  847. 0x00f7e10416181d47, 0x005c90f51867eecc)},
  848. }}, {{
  849. {FIELD_LITERAL(0x0051207abd179101, 0x00fc2a5c20d9c5da,
  850. 0x00fb9d5f2701b6df, 0x002dd040fdea82b8,
  851. 0x00f163b0738442ff, 0x00d9736bd68855b8,
  852. 0x00e0d8e93005e61c, 0x00df5a40b3988570)},
  853. {FIELD_LITERAL(0x0006918f5dfce6dc, 0x00d4bf1c793c57fb,
  854. 0x0069a3f649435364, 0x00e89a50e5b0cd6e,
  855. 0x00b9f6a237e973af, 0x006d4ed8b104e41d,
  856. 0x00498946a3924cd2, 0x00c136ec5ac9d4f7)},
  857. {FIELD_LITERAL(0x0011a9c290ac5336, 0x002b9a2d4a6a6533,
  858. 0x009a8a68c445d937, 0x00361b27b07e5e5c,
  859. 0x003c043b1755b974, 0x00b7eb66cf1155ee,
  860. 0x0077af5909eefff2, 0x0098f609877cc806)},
  861. }}, {{
  862. {FIELD_LITERAL(0x00ab13af436bf8f4, 0x000bcf0a0dac8574,
  863. 0x00d50c864f705045, 0x00c40e611debc842,
  864. 0x0085010489bd5caa, 0x007c5050acec026f,
  865. 0x00f67d943c8da6d1, 0x00de1da0278074c6)},
  866. {FIELD_LITERAL(0x00b373076597455f, 0x00e83f1af53ac0f5,
  867. 0x0041f63c01dc6840, 0x0097dea19b0c6f4b,
  868. 0x007f9d63b4c1572c, 0x00e692d492d0f5f0,
  869. 0x00cbcb392e83b4ad, 0x0069c0f39ed9b1a8)},
  870. {FIELD_LITERAL(0x00861030012707c9, 0x009fbbdc7fd4aafb,
  871. 0x008f591d6b554822, 0x00df08a41ea18ade,
  872. 0x009d7d83e642abea, 0x0098c71bda3b78ff,
  873. 0x0022c89e7021f005, 0x0044d29a3fe1e3c4)},
  874. }}, {{
  875. {FIELD_LITERAL(0x00e748cd7b5c52f2, 0x00ea9df883f89cc3,
  876. 0x0018970df156b6c7, 0x00c5a46c2a33a847,
  877. 0x00cbde395e32aa09, 0x0072474ebb423140,
  878. 0x00fb00053086a23d, 0x001dafcfe22d4e1f)},
  879. {FIELD_LITERAL(0x00c903ee6d825540, 0x00add6c4cf98473e,
  880. 0x007636efed4227f1, 0x00905124ae55e772,
  881. 0x00e6b38fab12ed53, 0x0045e132b863fe55,
  882. 0x003974662edb366a, 0x00b1787052be8208)},
  883. {FIELD_LITERAL(0x00a614b00d775c7c, 0x00d7c78941cc7754,
  884. 0x00422dd68b5dabc4, 0x00a6110f0167d28b,
  885. 0x00685a309c252886, 0x00b439ffd5143660,
  886. 0x003656e29ee7396f, 0x00c7c9b9ed5ad854)},
  887. }}, {{
  888. {FIELD_LITERAL(0x0040f7e7c5b37bf2, 0x0064e4dc81181bba,
  889. 0x00a8767ae2a366b6, 0x001496b4f90546f2,
  890. 0x002a28493f860441, 0x0021f59513049a3a,
  891. 0x00852d369a8b7ee3, 0x00dd2e7d8b7d30a9)},
  892. {FIELD_LITERAL(0x00006e34a35d9fbc, 0x00eee4e48b2f019a,
  893. 0x006b344743003a5f, 0x00541d514f04a7e3,
  894. 0x00e81f9ee7647455, 0x005e2b916c438f81,
  895. 0x00116f8137b7eff0, 0x009bd3decc7039d1)},
  896. {FIELD_LITERAL(0x0005d226f434110d, 0x00af8288b8ef21d5,
  897. 0x004a7a52ef181c8c, 0x00be0b781b4b06de,
  898. 0x00e6e3627ded07e1, 0x00e43aa342272b8b,
  899. 0x00e86ab424577d84, 0x00fb292c566e35bb)},
  900. }}, {{
  901. {FIELD_LITERAL(0x00334f5303ea1222, 0x00dfb3dbeb0a5d3e,
  902. 0x002940d9592335c1, 0x00706a7a63e8938a,
  903. 0x005a533558bc4caf, 0x00558e33192022a9,
  904. 0x00970d9faf74c133, 0x002979fcb63493ca)},
  905. {FIELD_LITERAL(0x00e38abece3c82ab, 0x005a51f18a2c7a86,
  906. 0x009dafa2e86d592e, 0x00495a62eb688678,
  907. 0x00b79df74c0eb212, 0x0023e8cc78b75982,
  908. 0x005998cb91075e13, 0x00735aa9ba61bc76)},
  909. {FIELD_LITERAL(0x00d9f7a82ddbe628, 0x00a1fc782889ae0f,
  910. 0x0071ffda12d14b66, 0x0037cf4eca7fb3d5,
  911. 0x00c80bc242c58808, 0x0075bf8c2d08c863,
  912. 0x008d41f31afc52a7, 0x00197962ecf38741)},
  913. }}, {{
  914. {FIELD_LITERAL(0x006e9f475cccf2ee, 0x00454b9cd506430c,
  915. 0x00224a4fb79ee479, 0x0062e3347ef0b5e2,
  916. 0x0034fd2a3512232a, 0x00b8b3cb0f457046,
  917. 0x00eb20165daa38ec, 0x00128eebc2d9c0f7)},
  918. {FIELD_LITERAL(0x00bfc5fa1e4ea21f, 0x00c21d7b6bb892e6,
  919. 0x00cf043f3acf0291, 0x00c13f2f849b3c90,
  920. 0x00d1a97ebef10891, 0x0061e130a445e7fe,
  921. 0x0019513fdedbf22b, 0x001d60c813bff841)},
  922. {FIELD_LITERAL(0x0019561c7fcf0213, 0x00e3dca6843ebd77,
  923. 0x0068ea95b9ca920e, 0x009bdfb70f253595,
  924. 0x00c68f59186aa02a, 0x005aee1cca1c3039,
  925. 0x00ab79a8a937a1ce, 0x00b9a0e549959e6f)},
  926. }}, {{
  927. {FIELD_LITERAL(0x00c79e0b6d97dfbd, 0x00917c71fd2bc6e8,
  928. 0x00db7529ccfb63d8, 0x00be5be957f17866,
  929. 0x00a9e11fdc2cdac1, 0x007b91a8e1f44443,
  930. 0x00a3065e4057d80f, 0x004825f5b8d5f6d4)},
  931. {FIELD_LITERAL(0x003e4964fa8a8fc8, 0x00f6a1cdbcf41689,
  932. 0x00943cb18fe7fda7, 0x00606dafbf34440a,
  933. 0x005d37a86399c789, 0x00e79a2a69417403,
  934. 0x00fe34f7e68b8866, 0x0011f448ed2df10e)},
  935. {FIELD_LITERAL(0x00f1f57efcc1fcc4, 0x00513679117de154,
  936. 0x002e5b5b7c86d8c3, 0x009f6486561f9cfb,
  937. 0x00169e74b0170cf7, 0x00900205af4af696,
  938. 0x006acfddb77853f3, 0x00df184c90f31068)},
  939. }}, {{
  940. {FIELD_LITERAL(0x00b37396c3320791, 0x00fc7b67175c5783,
  941. 0x00c36d2cd73ecc38, 0x0080ebcc0b328fc5,
  942. 0x0043a5b22b35d35d, 0x00466c9f1713c9da,
  943. 0x0026ad346dcaa8da, 0x007c684e701183a6)},
  944. {FIELD_LITERAL(0x00fd579ffb691713, 0x00b76af4f81c412d,
  945. 0x00f239de96110f82, 0x00e965fb437f0306,
  946. 0x00ca7e9436900921, 0x00e487f1325fa24a,
  947. 0x00633907de476380, 0x00721c62ac5b8ea0)},
  948. {FIELD_LITERAL(0x00c0d54e542eb4f9, 0x004ed657171c8dcf,
  949. 0x00b743a4f7c2a39b, 0x00fd9f93ed6cc567,
  950. 0x00307fae3113e58b, 0x0058aa577c93c319,
  951. 0x00d254556f35b346, 0x00491aada2203f0d)},
  952. }}, {{
  953. {FIELD_LITERAL(0x00dff3103786ff34, 0x000144553b1f20c3,
  954. 0x0095613baeb930e4, 0x00098058275ea5d4,
  955. 0x007cd1402b046756, 0x0074d74e4d58aee3,
  956. 0x005f93fc343ff69b, 0x00873df17296b3b0)},
  957. {FIELD_LITERAL(0x00c4a1fb48635413, 0x00b5dd54423ad59f,
  958. 0x009ff5d53fd24a88, 0x003c98d267fc06a7,
  959. 0x002db7cb20013641, 0x00bd1d6716e191f2,
  960. 0x006dbc8b29094241, 0x0044bbf233dafa2c)},
  961. {FIELD_LITERAL(0x0055838d41f531e6, 0x00bf6a2dd03c81b2,
  962. 0x005827a061c4839e, 0x0000de2cbb36aac3,
  963. 0x002efa29d9717478, 0x00f9e928cc8a77ba,
  964. 0x00c134b458def9ef, 0x00958a182223fc48)},
  965. }}, {{
  966. {FIELD_LITERAL(0x000a9ee23c06881f, 0x002c727d3d871945,
  967. 0x00f47d971512d24a, 0x00671e816f9ef31a,
  968. 0x00883af2cfaad673, 0x00601f98583d6c9a,
  969. 0x00b435f5adc79655, 0x00ad87b71c04bff2)},
  970. {FIELD_LITERAL(0x007860d99db787cf, 0x00fda8983018f4a8,
  971. 0x008c8866bac4743c, 0x00ef471f84c82a3f,
  972. 0x00abea5976d3b8e7, 0x00714882896cd015,
  973. 0x00b49fae584ddac5, 0x008e33a1a0b69c81)},
  974. {FIELD_LITERAL(0x007b6ee2c9e8a9ec, 0x002455dbbd89d622,
  975. 0x006490cf4eaab038, 0x00d925f6c3081561,
  976. 0x00153b3047de7382, 0x003b421f8bdceb6f,
  977. 0x00761a4a5049da78, 0x00980348c5202433)},
  978. }}, {{
  979. {FIELD_LITERAL(0x007f8a43da97dd5c, 0x00058539c800fc7b,
  980. 0x0040f3cf5a28414a, 0x00d68dd0d95283d6,
  981. 0x004adce9da90146e, 0x00befa41c7d4f908,
  982. 0x007603bc2e3c3060, 0x00bdf360ab3545db)},
  983. {FIELD_LITERAL(0x00eebfd4e2312cc3, 0x00474b2564e4fc8c,
  984. 0x003303ef14b1da9b, 0x003c93e0e66beb1d,
  985. 0x0013619b0566925a, 0x008817c24d901bf3,
  986. 0x00b62bd8898d218b, 0x0075a7716f1e88a2)},
  987. {FIELD_LITERAL(0x0009218da1e6890f, 0x0026907f5fd02575,
  988. 0x004dabed5f19d605, 0x003abf181870249d,
  989. 0x00b52fd048cc92c4, 0x00b6dd51e415a5c5,
  990. 0x00d9eb82bd2b4014, 0x002c865a43b46b43)},
  991. }}, {{
  992. {FIELD_LITERAL(0x0070047189452f4c, 0x00f7ad12e1ce78d5,
  993. 0x00af1ba51ec44a8b, 0x005f39f63e667cd6,
  994. 0x00058eac4648425e, 0x00d7fdab42bea03b,
  995. 0x0028576a5688de15, 0x00af973209e77c10)},
  996. {FIELD_LITERAL(0x00c338b915d8fef0, 0x00a893292045c39a,
  997. 0x0028ab4f2eba6887, 0x0060743cb519fd61,
  998. 0x0006213964093ac0, 0x007c0b7a43f6266d,
  999. 0x008e3557c4fa5bda, 0x002da976de7b8d9d)},
  1000. {FIELD_LITERAL(0x0048729f8a8b6dcd, 0x00fe23b85cc4d323,
  1001. 0x00e7384d16e4db0e, 0x004a423970678942,
  1002. 0x00ec0b763345d4ba, 0x00c477b9f99ed721,
  1003. 0x00c29dad3777b230, 0x001c517b466f7df6)},
  1004. }}, {{
  1005. {FIELD_LITERAL(0x006366c380f7b574, 0x001c7d1f09ff0438,
  1006. 0x003e20a7301f5b22, 0x00d3efb1916d28f6,
  1007. 0x0049f4f81060ce83, 0x00c69d91ea43ced1,
  1008. 0x002b6f3e5cd269ed, 0x005b0fb22ce9ec65)},
  1009. {FIELD_LITERAL(0x00aa2261022d883f, 0x00ebcca4548010ac,
  1010. 0x002528512e28a437, 0x0070ca7676b66082,
  1011. 0x0084bda170f7c6d3, 0x00581b4747c9b8bb,
  1012. 0x005c96a01061c7e2, 0x00fb7c4a362b5273)},
  1013. {FIELD_LITERAL(0x00c30020eb512d02, 0x0060f288283a4d26,
  1014. 0x00b7ed13becde260, 0x0075ebb74220f6e9,
  1015. 0x00701079fcfe8a1f, 0x001c28fcdff58938,
  1016. 0x002e4544b8f4df6b, 0x0060c5bc4f1a7d73)},
  1017. }}, {{
  1018. {FIELD_LITERAL(0x00ae307cf069f701, 0x005859f222dd618b,
  1019. 0x00212d6c46ec0b0d, 0x00a0fe4642afb62d,
  1020. 0x00420d8e4a0a8903, 0x00a80ff639bdf7b0,
  1021. 0x0019bee1490b5d8e, 0x007439e4b9c27a86)},
  1022. {FIELD_LITERAL(0x00a94700032a093f, 0x0076e96c225216e7,
  1023. 0x00a63a4316e45f91, 0x007d8bbb4645d3b2,
  1024. 0x00340a6ff22793eb, 0x006f935d4572aeb7,
  1025. 0x00b1fb69f00afa28, 0x009e8f3423161ed3)},
  1026. {FIELD_LITERAL(0x009ef49c6b5ced17, 0x00a555e6269e9f0a,
  1027. 0x007e6f1d79ec73b5, 0x009ac78695a32ac4,
  1028. 0x0001d77fbbcd5682, 0x008cea1fee0aaeed,
  1029. 0x00f42bea82a53462, 0x002e46ab96cafcc9)},
  1030. }}, {{
  1031. {FIELD_LITERAL(0x0051cfcc5885377a, 0x00dce566cb1803ca,
  1032. 0x00430c7643f2c7d4, 0x00dce1a1337bdcc0,
  1033. 0x0010d5bd7283c128, 0x003b1b547f9b46fe,
  1034. 0x000f245e37e770ab, 0x007b72511f022b37)},
  1035. {FIELD_LITERAL(0x0060db815bc4786c, 0x006fab25beedc434,
  1036. 0x00c610d06084797c, 0x000c48f08537bec0,
  1037. 0x0031aba51c5b93da, 0x007968fa6e01f347,
  1038. 0x0030070da52840c6, 0x00c043c225a4837f)},
  1039. {FIELD_LITERAL(0x001bcfd00649ee93, 0x006dceb47e2a0fd5,
  1040. 0x00f2cebda0cf8fd0, 0x00b6b9d9d1fbdec3,
  1041. 0x00815262e6490611, 0x00ef7f5ce3176760,
  1042. 0x00e49cd0c998d58b, 0x005fc6cc269ba57c)},
  1043. }}, {{
  1044. {FIELD_LITERAL(0x008940211aa0d633, 0x00addae28136571d,
  1045. 0x00d68fdbba20d673, 0x003bc6129bc9e21a,
  1046. 0x000346cf184ebe9a, 0x0068774d741ebc7f,
  1047. 0x0019d5e9e6966557, 0x0003cbd7f981b651)},
  1048. {FIELD_LITERAL(0x004a2902926f8d3f, 0x00ad79b42637ab75,
  1049. 0x0088f60b90f2d4e8, 0x0030f54ef0e398c4,
  1050. 0x00021dc9bf99681e, 0x007ebf66fde74ee3,
  1051. 0x004ade654386e9a4, 0x00e7485066be4c27)},
  1052. {FIELD_LITERAL(0x00445f1263983be0, 0x004cf371dda45e6a,
  1053. 0x00744a89d5a310e7, 0x001f20ce4f904833,
  1054. 0x00e746edebe66e29, 0x000912ab1f6c153d,
  1055. 0x00f61d77d9b2444c, 0x0001499cd6647610)},
  1056. }}
  1057. }
  1058. };
  1059. const struct curve448_precomputed_s *curve448_precomputed_base
  1060. = &curve448_precomputed_base_table;
  1061. static const niels_t curve448_wnaf_base_table[32] = {
  1062. {{
  1063. {FIELD_LITERAL(0x00303cda6feea532, 0x00860f1d5a3850e4,
  1064. 0x00226b9fa4728ccd, 0x00e822938a0a0c0c,
  1065. 0x00263a61c9ea9216, 0x001204029321b828,
  1066. 0x006a468360983c65, 0x0002846f0a782143)},
  1067. {FIELD_LITERAL(0x00303cda6feea532, 0x00860f1d5a3850e4,
  1068. 0x00226b9fa4728ccd, 0x006822938a0a0c0c,
  1069. 0x00263a61c9ea9215, 0x001204029321b828,
  1070. 0x006a468360983c65, 0x0082846f0a782143)},
  1071. {FIELD_LITERAL(0x00ef8e22b275198d, 0x00b0eb141a0b0e8b,
  1072. 0x001f6789da3cb38c, 0x006d2ff8ed39073e,
  1073. 0x00610bdb69a167f3, 0x00571f306c9689b4,
  1074. 0x00f557e6f84b2df8, 0x002affd38b2c86db)},
  1075. }}, {{
  1076. {FIELD_LITERAL(0x00cea0fc8d2e88b5, 0x00821612d69f1862,
  1077. 0x0074c283b3e67522, 0x005a195ba05a876d,
  1078. 0x000cddfe557feea4, 0x008046c795bcc5e5,
  1079. 0x00540969f4d6e119, 0x00d27f96d6b143d5)},
  1080. {FIELD_LITERAL(0x000c3b1019d474e8, 0x00e19533e4952284,
  1081. 0x00cc9810ba7c920a, 0x00f103d2785945ac,
  1082. 0x00bfa5696cc69b34, 0x00a8d3d51e9ca839,
  1083. 0x005623cb459586b9, 0x00eae7ce1cd52e9e)},
  1084. {FIELD_LITERAL(0x0005a178751dd7d8, 0x002cc3844c69c42f,
  1085. 0x00acbfe5efe10539, 0x009c20f43431a65a,
  1086. 0x008435d96374a7b3, 0x009ee57566877bd3,
  1087. 0x0044691725ed4757, 0x001e87bb2fe2c6b2)},
  1088. }}, {{
  1089. {FIELD_LITERAL(0x000cedc4debf7a04, 0x002ffa45000470ac,
  1090. 0x002e9f9678201915, 0x0017da1208c4fe72,
  1091. 0x007d558cc7d656cb, 0x0037a827287cf289,
  1092. 0x00142472d3441819, 0x009c21f166cf8dd1)},
  1093. {FIELD_LITERAL(0x003ef83af164b2f2, 0x000949a5a0525d0d,
  1094. 0x00f4498186cac051, 0x00e77ac09ef126d2,
  1095. 0x0073ae0b2c9296e9, 0x001c163f6922e3ed,
  1096. 0x0062946159321bea, 0x00cfb79b22990b39)},
  1097. {FIELD_LITERAL(0x00b001431ca9e654, 0x002d7e5eabcc9a3a,
  1098. 0x0052e8114c2f6747, 0x0079ac4f94487f92,
  1099. 0x00bffd919b5d749c, 0x00261f92ad15e620,
  1100. 0x00718397b7a97895, 0x00c1443e6ebbc0c4)},
  1101. }}, {{
  1102. {FIELD_LITERAL(0x00eacd90c1e0a049, 0x008977935b149fbe,
  1103. 0x0004cb9ba11c93dc, 0x009fbd5b3470844d,
  1104. 0x004bc18c9bfc22cf, 0x0057679a991839f3,
  1105. 0x00ef15b76fb4092e, 0x0074a5173a225041)},
  1106. {FIELD_LITERAL(0x003f5f9d7ec4777b, 0x00ab2e733c919c94,
  1107. 0x001bb6c035245ae5, 0x00a325a49a883630,
  1108. 0x0033e9a9ea3cea2f, 0x00e442a1eaa0e844,
  1109. 0x00b2116d5b0e71b8, 0x00c16abed6d64047)},
  1110. {FIELD_LITERAL(0x00c560b5ed051165, 0x001945adc5d65094,
  1111. 0x00e221865710f910, 0x00cc12bc9e9b8ceb,
  1112. 0x004faa9518914e35, 0x0017476d89d42f6d,
  1113. 0x00b8f637c8fa1c8b, 0x0088c7d2790864b8)},
  1114. }}, {{
  1115. {FIELD_LITERAL(0x00ef7eafc1c69be6, 0x0085d3855778fbea,
  1116. 0x002c8d5b450cb6f5, 0x004e77de5e1e7fec,
  1117. 0x0047c057893abded, 0x001b430b85d51e16,
  1118. 0x00965c7b45640c3c, 0x00487b2bb1162b97)},
  1119. {FIELD_LITERAL(0x0099c73a311beec2, 0x00a3eff38d8912ad,
  1120. 0x002efa9d1d7e8972, 0x00f717ae1e14d126,
  1121. 0x002833f795850c8b, 0x0066c12ad71486bd,
  1122. 0x00ae9889da4820eb, 0x00d6044309555c08)},
  1123. {FIELD_LITERAL(0x004b1c5283d15e41, 0x00669d8ea308ff75,
  1124. 0x0004390233f762a1, 0x00e1d67b83cb6cec,
  1125. 0x003eebaa964c78b1, 0x006b0aff965eb664,
  1126. 0x00b313d4470bdc37, 0x008814ffcb3cb9d8)},
  1127. }}, {{
  1128. {FIELD_LITERAL(0x009724b8ce68db70, 0x007678b5ed006f3d,
  1129. 0x00bdf4b89c0abd73, 0x00299748e04c7c6d,
  1130. 0x00ddd86492c3c977, 0x00c5a7febfa30a99,
  1131. 0x00ed84715b4b02bb, 0x00319568adf70486)},
  1132. {FIELD_LITERAL(0x0070ff2d864de5bb, 0x005a37eeb637ee95,
  1133. 0x0033741c258de160, 0x00e6ca5cb1988f46,
  1134. 0x001ceabd92a24661, 0x0030957bd500fe40,
  1135. 0x001c3362afe912c5, 0x005187889f678bd2)},
  1136. {FIELD_LITERAL(0x0086835fc62bbdc7, 0x009c3516ca4910a1,
  1137. 0x00956c71f8d00783, 0x0095c78fcf63235f,
  1138. 0x00fc7ff6ba05c222, 0x00cdd8b3f8d74a52,
  1139. 0x00ac5ae16de8256e, 0x00e9d4be8ed48624)},
  1140. }}, {{
  1141. {FIELD_LITERAL(0x00c0ce11405df2d8, 0x004e3f37b293d7b6,
  1142. 0x002410172e1ac6db, 0x00b8dbff4bf8143d,
  1143. 0x003a7b409d56eb66, 0x003e0f6a0dfef9af,
  1144. 0x0081c4e4d3645be1, 0x00ce76076b127623)},
  1145. {FIELD_LITERAL(0x00f6ee0f98974239, 0x0042d89af07d3a4f,
  1146. 0x00846b7fe84346b5, 0x006a21fc6a8d39a1,
  1147. 0x00ac8bc2541ff2d9, 0x006d4e2a77732732,
  1148. 0x009a39b694cc3f2f, 0x0085c0aa2a404c8f)},
  1149. {FIELD_LITERAL(0x00b261101a218548, 0x00c1cae96424277b,
  1150. 0x00869da0a77dd268, 0x00bc0b09f8ec83ea,
  1151. 0x00d61027f8e82ba9, 0x00aa4c85999dce67,
  1152. 0x00eac3132b9f3fe1, 0x00fb9b0cf1c695d2)},
  1153. }}, {{
  1154. {FIELD_LITERAL(0x0043079295512f0d, 0x0046a009861758e0,
  1155. 0x003ee2842a807378, 0x0034cc9d1298e4fa,
  1156. 0x009744eb4d31b3ee, 0x00afacec96650cd0,
  1157. 0x00ac891b313761ae, 0x00e864d6d26e708a)},
  1158. {FIELD_LITERAL(0x00a84d7c8a23b491, 0x0088e19aa868b27f,
  1159. 0x0005986d43e78ce9, 0x00f28012f0606d28,
  1160. 0x0017ded7e10249b3, 0x005ed4084b23af9b,
  1161. 0x00b9b0a940564472, 0x00ad9056cceeb1f4)},
  1162. {FIELD_LITERAL(0x00db91b357fe755e, 0x00a1aa544b15359c,
  1163. 0x00af4931a0195574, 0x007686124fe11aef,
  1164. 0x00d1ead3c7b9ef7e, 0x00aaf5fc580f8c15,
  1165. 0x00e727be147ee1ec, 0x003c61c1e1577b86)},
  1166. }}, {{
  1167. {FIELD_LITERAL(0x009d3fca983220cf, 0x00cd11acbc853dc4,
  1168. 0x0017590409d27f1d, 0x00d2176698082802,
  1169. 0x00fa01251b2838c8, 0x00dd297a0d9b51c6,
  1170. 0x00d76c92c045820a, 0x00534bc7c46c9033)},
  1171. {FIELD_LITERAL(0x0080ed9bc9b07338, 0x00fceac7745d2652,
  1172. 0x008a9d55f5f2cc69, 0x0096ce72df301ac5,
  1173. 0x00f53232e7974d87, 0x0071728c7ae73947,
  1174. 0x0090507602570778, 0x00cb81cfd883b1b2)},
  1175. {FIELD_LITERAL(0x005011aadea373da, 0x003a8578ec896034,
  1176. 0x00f20a6535fa6d71, 0x005152d31e5a87cf,
  1177. 0x002bac1c8e68ca31, 0x00b0e323db4c1381,
  1178. 0x00f1d596b7d5ae25, 0x00eae458097cb4e0)},
  1179. }}, {{
  1180. {FIELD_LITERAL(0x00920ac80f9b0d21, 0x00f80f7f73401246,
  1181. 0x0086d37849b557d6, 0x0002bd4b317b752e,
  1182. 0x00b26463993a42bb, 0x002070422a73b129,
  1183. 0x00341acaa0380cb3, 0x00541914dd66a1b2)},
  1184. {FIELD_LITERAL(0x00c1513cd66abe8c, 0x000139e01118944d,
  1185. 0x0064abbcb8080bbb, 0x00b3b08202473142,
  1186. 0x00c629ef25da2403, 0x00f0aec3310d9b7f,
  1187. 0x0050b2227472d8cd, 0x00f6c8a922d41fb4)},
  1188. {FIELD_LITERAL(0x001075ccf26b7b1f, 0x00bb6bb213170433,
  1189. 0x00e9491ad262da79, 0x009ef4f48d2d384c,
  1190. 0x008992770766f09d, 0x001584396b6b1101,
  1191. 0x00af3f8676c9feef, 0x0024603c40269118)},
  1192. }}, {{
  1193. {FIELD_LITERAL(0x009dd7b31319527c, 0x001e7ac948d873a9,
  1194. 0x00fa54b46ef9673a, 0x0066efb8d5b02fe6,
  1195. 0x00754b1d3928aeae, 0x0004262ac72a6f6b,
  1196. 0x0079b7d49a6eb026, 0x003126a753540102)},
  1197. {FIELD_LITERAL(0x009666e24f693947, 0x00f714311269d45f,
  1198. 0x0010ffac1d0c851c, 0x0066e80c37363497,
  1199. 0x00f1f4ad010c60b0, 0x0015c87408470ff7,
  1200. 0x00651d5e9c7766a4, 0x008138819d7116de)},
  1201. {FIELD_LITERAL(0x003934b11c57253b, 0x00ef308edf21f46e,
  1202. 0x00e54e99c7a16198, 0x0080d57135764e63,
  1203. 0x00751c27b946bc24, 0x00dd389ce4e9e129,
  1204. 0x00a1a2bfd1cd84dc, 0x002fae73e5149b32)},
  1205. }}, {{
  1206. {FIELD_LITERAL(0x00911657dffb4cdd, 0x00c100b7cc553d06,
  1207. 0x00449d075ec467cc, 0x007062100bc64e70,
  1208. 0x0043cf86f7bd21e7, 0x00f401dc4b797dea,
  1209. 0x005224afb2f62e65, 0x00d1ede3fb5a42be)},
  1210. {FIELD_LITERAL(0x00f2ba36a41aa144, 0x00a0c22d946ee18f,
  1211. 0x008aae8ef9a14f99, 0x00eef4d79b19bb36,
  1212. 0x008e75ce3d27b1fc, 0x00a65daa03b29a27,
  1213. 0x00d9cc83684eb145, 0x009e1ed80cc2ed74)},
  1214. {FIELD_LITERAL(0x00bed953d1997988, 0x00b93ed175a24128,
  1215. 0x00871c5963fb6365, 0x00ca2df20014a787,
  1216. 0x00f5d9c1d0b34322, 0x00f6f5942818db0a,
  1217. 0x004cc091f49c9906, 0x00e8a188a60bff9f)},
  1218. }}, {{
  1219. {FIELD_LITERAL(0x0032c7762032fae8, 0x00e4087232e0bc21,
  1220. 0x00f767344b6e8d85, 0x00bbf369b76c2aa2,
  1221. 0x008a1f46c6e1570c, 0x001368cd9780369f,
  1222. 0x007359a39d079430, 0x0003646512921434)},
  1223. {FIELD_LITERAL(0x007c4b47ca7c73e7, 0x005396221039734b,
  1224. 0x008b64ddf0e45d7e, 0x00bfad5af285e6c2,
  1225. 0x008ec711c5b1a1a8, 0x00cf663301237f98,
  1226. 0x00917ee3f1655126, 0x004152f337efedd8)},
  1227. {FIELD_LITERAL(0x0007c7edc9305daa, 0x000a6664f273701c,
  1228. 0x00f6e78795e200b1, 0x005d05b9ecd2473e,
  1229. 0x0014f5f17c865786, 0x00c7fd2d166fa995,
  1230. 0x004939a2d8eb80e0, 0x002244ba0942c199)},
  1231. }}, {{
  1232. {FIELD_LITERAL(0x00321e767f0262cf, 0x002e57d776caf68e,
  1233. 0x00bf2c94814f0437, 0x00c339196acd622f,
  1234. 0x001db4cce71e2770, 0x001ded5ddba6eee2,
  1235. 0x0078608ab1554c8d, 0x00067fe0ab76365b)},
  1236. {FIELD_LITERAL(0x00f09758e11e3985, 0x00169efdbd64fad3,
  1237. 0x00e8889b7d6dacd6, 0x0035cdd58ea88209,
  1238. 0x00bcda47586d7f49, 0x003cdddcb2879088,
  1239. 0x0016da70187e954b, 0x009556ea2e92aacd)},
  1240. {FIELD_LITERAL(0x008cab16bd1ff897, 0x00b389972cdf753f,
  1241. 0x00ea8ed1e46dfdc0, 0x004fe7ef94c589f4,
  1242. 0x002b8ae9b805ecf3, 0x0025c08d892874a5,
  1243. 0x0023938e98d44c4c, 0x00f759134cabf69c)},
  1244. }}, {{
  1245. {FIELD_LITERAL(0x006c2a84678e4b3b, 0x007a194aacd1868f,
  1246. 0x00ed0225af424761, 0x00da0a6f293c64b8,
  1247. 0x001062ac5c6a7a18, 0x0030f5775a8aeef4,
  1248. 0x0002acaad76b7af0, 0x00410b8fd63a579f)},
  1249. {FIELD_LITERAL(0x001ec59db3d9590e, 0x001e9e3f1c3f182d,
  1250. 0x0045a9c3ec2cab14, 0x0008198572aeb673,
  1251. 0x00773b74068bd167, 0x0012535eaa395434,
  1252. 0x0044dba9e3bbb74a, 0x002fba4d3c74bd0e)},
  1253. {FIELD_LITERAL(0x0042bf08fe66922c, 0x003318b8fbb49e8c,
  1254. 0x00d75946004aa14c, 0x00f601586b42bf1c,
  1255. 0x00c74cf1d912fe66, 0x00abcb36974b30ad,
  1256. 0x007eb78720c9d2b8, 0x009f54ab7bd4df85)},
  1257. }}, {{
  1258. {FIELD_LITERAL(0x00db9fc948f73826, 0x00fa8b3746ed8ee9,
  1259. 0x00132cb65aafbeb2, 0x00c36ff3fe7925b8,
  1260. 0x00837daed353d2fe, 0x00ec661be0667cf4,
  1261. 0x005beb8ed2e90204, 0x00d77dd69e564967)},
  1262. {FIELD_LITERAL(0x0042e6268b861751, 0x0008dd0469500c16,
  1263. 0x00b51b57c338a3fd, 0x00cc4497d85cff6b,
  1264. 0x002f13d6b57c34a4, 0x0083652eaf301105,
  1265. 0x00cc344294cc93a8, 0x0060f4d02810e270)},
  1266. {FIELD_LITERAL(0x00a8954363cd518b, 0x00ad171124bccb7b,
  1267. 0x0065f46a4adaae00, 0x001b1a5b2a96e500,
  1268. 0x0043fe24f8233285, 0x0066996d8ae1f2c3,
  1269. 0x00c530f3264169f9, 0x00c0f92d07cf6a57)},
  1270. }}, {{
  1271. {FIELD_LITERAL(0x0036a55c6815d943, 0x008c8d1def993db3,
  1272. 0x002e0e1e8ff7318f, 0x00d883a4b92db00a,
  1273. 0x002f5e781ae33906, 0x001a72adb235c06d,
  1274. 0x00f2e59e736e9caa, 0x001a4b58e3031914)},
  1275. {FIELD_LITERAL(0x00d73bfae5e00844, 0x00bf459766fb5f52,
  1276. 0x0061b4f5a5313cde, 0x004392d4c3b95514,
  1277. 0x000d3551b1077523, 0x0000998840ee5d71,
  1278. 0x006de6e340448b7b, 0x00251aa504875d6e)},
  1279. {FIELD_LITERAL(0x003bf343427ac342, 0x00adc0a78642b8c5,
  1280. 0x0003b893175a8314, 0x0061a34ade5703bc,
  1281. 0x00ea3ea8bb71d632, 0x00be0df9a1f198c2,
  1282. 0x0046dd8e7c1635fb, 0x00f1523fdd25d5e5)},
  1283. }}, {{
  1284. {FIELD_LITERAL(0x00633f63fc9dd406, 0x00e713ff80e04a43,
  1285. 0x0060c6e970f2d621, 0x00a57cd7f0df1891,
  1286. 0x00f2406a550650bb, 0x00b064290efdc684,
  1287. 0x001eab0144d17916, 0x00cd15f863c293ab)},
  1288. {FIELD_LITERAL(0x0029cec55273f70d, 0x007044ee275c6340,
  1289. 0x0040f637a93015e2, 0x00338bb78db5aae9,
  1290. 0x001491b2a6132147, 0x00a125d6cfe6bde3,
  1291. 0x005f7ac561ba8669, 0x001d5eaea3fbaacf)},
  1292. {FIELD_LITERAL(0x00054e9635e3be31, 0x000e43f31e2872be,
  1293. 0x00d05b1c9e339841, 0x006fac50bd81fd98,
  1294. 0x00cdc7852eaebb09, 0x004ff519b061991b,
  1295. 0x009099e8107d4c85, 0x00273e24c36a4a61)},
  1296. }}, {{
  1297. {FIELD_LITERAL(0x00070b4441ef2c46, 0x00efa5b02801a109,
  1298. 0x00bf0b8c3ee64adf, 0x008a67e0b3452e98,
  1299. 0x001916b1f2fa7a74, 0x00d781a78ff6cdc3,
  1300. 0x008682ce57e5c919, 0x00cc1109dd210da3)},
  1301. {FIELD_LITERAL(0x00cae8aaff388663, 0x005e983a35dda1c7,
  1302. 0x007ab1030d8e37f4, 0x00e48940f5d032fe,
  1303. 0x006a36f9ef30b331, 0x009be6f03958c757,
  1304. 0x0086231ceba91400, 0x008bd0f7b823e7aa)},
  1305. {FIELD_LITERAL(0x00cf881ebef5a45a, 0x004ebea78e7c6f2c,
  1306. 0x0090da9209cf26a0, 0x00de2b2e4c775b84,
  1307. 0x0071d6031c3c15ae, 0x00d9e927ef177d70,
  1308. 0x00894ee8c23896fd, 0x00e3b3b401e41aad)},
  1309. }}, {{
  1310. {FIELD_LITERAL(0x00204fef26864170, 0x00819269c5dee0f8,
  1311. 0x00bfb4713ec97966, 0x0026339a6f34df78,
  1312. 0x001f26e64c761dc2, 0x00effe3af313cb60,
  1313. 0x00e17b70138f601b, 0x00f16e1ccd9ede5e)},
  1314. {FIELD_LITERAL(0x005d9a8353fdb2db, 0x0055cc2048c698f0,
  1315. 0x00f6c4ac89657218, 0x00525034d73faeb2,
  1316. 0x00435776fbda3c7d, 0x0070ea5312323cbc,
  1317. 0x007a105d44d069fb, 0x006dbc8d6dc786aa)},
  1318. {FIELD_LITERAL(0x0017cff19cd394ec, 0x00fef7b810922587,
  1319. 0x00e6483970dff548, 0x00ddf36ad6874264,
  1320. 0x00e61778523fcce2, 0x0093a66c0c93b24a,
  1321. 0x00fd367114db7f86, 0x007652d7ddce26dd)},
  1322. }}, {{
  1323. {FIELD_LITERAL(0x00d92ced7ba12843, 0x00aea9c7771e86e7,
  1324. 0x0046639693354f7b, 0x00a628dbb6a80c47,
  1325. 0x003a0b0507372953, 0x00421113ab45c0d9,
  1326. 0x00e545f08362ab7a, 0x0028ce087b4d6d96)},
  1327. {FIELD_LITERAL(0x00a67ee7cf9f99eb, 0x005713b275f2ff68,
  1328. 0x00f1d536a841513d, 0x00823b59b024712e,
  1329. 0x009c46b9d0d38cec, 0x00cdb1595aa2d7d4,
  1330. 0x008375b3423d9af8, 0x000ab0b516d978f7)},
  1331. {FIELD_LITERAL(0x00428dcb3c510b0f, 0x00585607ea24bb4e,
  1332. 0x003736bf1603687a, 0x00c47e568c4fe3c7,
  1333. 0x003cd00282848605, 0x0043a487c3b91939,
  1334. 0x004ffc04e1095a06, 0x00a4c989a3d4b918)},
  1335. }}, {{
  1336. {FIELD_LITERAL(0x00a8778d0e429f7a, 0x004c02b059105a68,
  1337. 0x0016653b609da3ff, 0x00d5107bd1a12d27,
  1338. 0x00b4708f9a771cab, 0x00bb63b662033f69,
  1339. 0x0072f322240e7215, 0x0019445b59c69222)},
  1340. {FIELD_LITERAL(0x00cf4f6069a658e6, 0x0053ca52859436a6,
  1341. 0x0064b994d7e3e117, 0x00cb469b9a07f534,
  1342. 0x00cfb68f399e9d47, 0x00f0dcb8dac1c6e7,
  1343. 0x00f2ab67f538b3a5, 0x0055544f178ab975)},
  1344. {FIELD_LITERAL(0x0099b7a2685d538c, 0x00e2f1897b7c0018,
  1345. 0x003adac8ce48dae3, 0x00089276d5c50c0c,
  1346. 0x00172fca07ad6717, 0x00cb1a72f54069e5,
  1347. 0x004ee42f133545b3, 0x00785f8651362f16)},
  1348. }}, {{
  1349. {FIELD_LITERAL(0x0049cbac38509e11, 0x0015234505d42cdf,
  1350. 0x00794fb0b5840f1c, 0x00496437344045a5,
  1351. 0x0031b6d944e4f9b0, 0x00b207318ac1f5d8,
  1352. 0x0000c840da7f5c5d, 0x00526f373a5c8814)},
  1353. {FIELD_LITERAL(0x002c7b7742d1dfd9, 0x002cabeb18623c01,
  1354. 0x00055f5e3e044446, 0x006c20f3b4ef54ba,
  1355. 0x00c600141ec6b35f, 0x00354f437f1a32a3,
  1356. 0x00bac4624a3520f9, 0x00c483f734a90691)},
  1357. {FIELD_LITERAL(0x0053a737d422918d, 0x00f7fca1d8758625,
  1358. 0x00c360336dadb04c, 0x00f38e3d9158a1b8,
  1359. 0x0069ce3b418e84c6, 0x005d1697eca16ead,
  1360. 0x00f8bd6a35ece13d, 0x007885dfc2b5afea)},
  1361. }}, {{
  1362. {FIELD_LITERAL(0x00c3617ae260776c, 0x00b20dc3e96922d7,
  1363. 0x00a1a7802246706a, 0x00ca6505a5240244,
  1364. 0x002246b62d919782, 0x001439102d7aa9b3,
  1365. 0x00e8af1139e6422c, 0x00c888d1b52f2b05)},
  1366. {FIELD_LITERAL(0x005b67690ffd41d9, 0x005294f28df516f9,
  1367. 0x00a879272412fcb9, 0x00098b629a6d1c8d,
  1368. 0x00fabd3c8050865a, 0x00cd7e5b0a3879c5,
  1369. 0x00153238210f3423, 0x00357cac101e9f42)},
  1370. {FIELD_LITERAL(0x008917b454444fb7, 0x00f59247c97e441b,
  1371. 0x00a6200a6815152d, 0x0009a4228601d254,
  1372. 0x001c0360559bd374, 0x007563362039cb36,
  1373. 0x00bd75b48d74e32b, 0x0017f515ac3499e8)},
  1374. }}, {{
  1375. {FIELD_LITERAL(0x001532a7ffe41c5a, 0x00eb1edce358d6bf,
  1376. 0x00ddbacc7b678a7b, 0x008a7b70f3c841a3,
  1377. 0x00f1923bf27d3f4c, 0x000b2713ed8f7873,
  1378. 0x00aaf67e29047902, 0x0044994a70b3976d)},
  1379. {FIELD_LITERAL(0x00d54e802082d42c, 0x00a55aa0dce7cc6c,
  1380. 0x006477b96073f146, 0x0082efe4ceb43594,
  1381. 0x00a922bcba026845, 0x0077f19d1ab75182,
  1382. 0x00c2bb2737846e59, 0x0004d7eec791dd33)},
  1383. {FIELD_LITERAL(0x0044588d1a81d680, 0x00b0a9097208e4f8,
  1384. 0x00212605350dc57e, 0x0028717cd2871123,
  1385. 0x00fb083c100fd979, 0x0045a056ce063fdf,
  1386. 0x00a5d604b4dd6a41, 0x001dabc08ba4e236)},
  1387. }}, {{
  1388. {FIELD_LITERAL(0x00c4887198d7a7fa, 0x00244f98fb45784a,
  1389. 0x0045911e15a15d01, 0x001d323d374c0966,
  1390. 0x00967c3915196562, 0x0039373abd2f3c67,
  1391. 0x000d2c5614312423, 0x0041cf2215442ce3)},
  1392. {FIELD_LITERAL(0x008ede889ada7f06, 0x001611e91de2e135,
  1393. 0x00fdb9a458a471b9, 0x00563484e03710d1,
  1394. 0x0031cc81925e3070, 0x0062c97b3af80005,
  1395. 0x00fa733eea28edeb, 0x00e82457e1ebbc88)},
  1396. {FIELD_LITERAL(0x006a0df5fe9b6f59, 0x00a0d4ff46040d92,
  1397. 0x004a7cedb6f93250, 0x00d1df8855b8c357,
  1398. 0x00e73a46086fd058, 0x0048fb0add6dfe59,
  1399. 0x001e03a28f1b4e3d, 0x00a871c993308d76)},
  1400. }}, {{
  1401. {FIELD_LITERAL(0x0030dbb2d1766ec8, 0x00586c0ad138555e,
  1402. 0x00d1a34f9e91c77c, 0x0063408ad0e89014,
  1403. 0x00d61231b05f6f5b, 0x0009abf569f5fd8a,
  1404. 0x00aec67a110f1c43, 0x0031d1a790938dd7)},
  1405. {FIELD_LITERAL(0x006cded841e2a862, 0x00198d60af0ab6fb,
  1406. 0x0018f09db809e750, 0x004e6ac676016263,
  1407. 0x00eafcd1620969cb, 0x002c9784ca34917d,
  1408. 0x0054f00079796de7, 0x00d9fab5c5972204)},
  1409. {FIELD_LITERAL(0x004bd0fee2438a83, 0x00b571e62b0f83bd,
  1410. 0x0059287d7ce74800, 0x00fb3631b645c3f0,
  1411. 0x00a018e977f78494, 0x0091e27065c27b12,
  1412. 0x007696c1817165e0, 0x008c40be7c45ba3a)},
  1413. }}, {{
  1414. {FIELD_LITERAL(0x00a0f326327cb684, 0x001c7d0f672680ff,
  1415. 0x008c1c81ffb112d1, 0x00f8f801674eddc8,
  1416. 0x00e926d5d48c2a9d, 0x005bd6d954c6fe9a,
  1417. 0x004c6b24b4e33703, 0x00d05eb5c09105cc)},
  1418. {FIELD_LITERAL(0x00d61731caacf2cf, 0x002df0c7609e01c5,
  1419. 0x00306172208b1e2b, 0x00b413fe4fb2b686,
  1420. 0x00826d360902a221, 0x003f8d056e67e7f7,
  1421. 0x0065025b0175e989, 0x00369add117865eb)},
  1422. {FIELD_LITERAL(0x00aaf895aec2fa11, 0x000f892bc313eb52,
  1423. 0x005b1c794dad050b, 0x003f8ec4864cec14,
  1424. 0x00af81058d0b90e5, 0x00ebe43e183997bb,
  1425. 0x00a9d610f9f3e615, 0x007acd8eec2e88d3)},
  1426. }}, {{
  1427. {FIELD_LITERAL(0x0049b2fab13812a3, 0x00846db32cd60431,
  1428. 0x000177fa578c8d6c, 0x00047d0e2ad4bc51,
  1429. 0x00b158ba38d1e588, 0x006a45daad79e3f3,
  1430. 0x000997b93cab887b, 0x00c47ea42fa23dc3)},
  1431. {FIELD_LITERAL(0x0012b6fef7aeb1ca, 0x009412768194b6a7,
  1432. 0x00ff0d351f23ab93, 0x007e8a14c1aff71b,
  1433. 0x006c1c0170c512bc, 0x0016243ea02ab2e5,
  1434. 0x007bb6865b303f3e, 0x0015ce6b29b159f4)},
  1435. {FIELD_LITERAL(0x009961cd02e68108, 0x00e2035d3a1d0836,
  1436. 0x005d51f69b5e1a1d, 0x004bccb4ea36edcd,
  1437. 0x0069be6a7aeef268, 0x0063f4dd9de8d5a7,
  1438. 0x006283783092ca35, 0x0075a31af2c35409)},
  1439. }}, {{
  1440. {FIELD_LITERAL(0x00c412365162e8cf, 0x00012283fb34388a,
  1441. 0x003e6543babf39e2, 0x00eead6b3a804978,
  1442. 0x0099c0314e8b326f, 0x00e98e0a8d477a4f,
  1443. 0x00d2eb96b127a687, 0x00ed8d7df87571bb)},
  1444. {FIELD_LITERAL(0x00777463e308cacf, 0x00c8acb93950132d,
  1445. 0x00ebddbf4ca48b2c, 0x0026ad7ca0795a0a,
  1446. 0x00f99a3d9a715064, 0x000d60bcf9d4dfcc,
  1447. 0x005e65a73a437a06, 0x0019d536a8db56c8)},
  1448. {FIELD_LITERAL(0x00192d7dd558d135, 0x0027cd6a8323ffa7,
  1449. 0x00239f1a412dc1e7, 0x0046b4b3be74fc5c,
  1450. 0x0020c47a2bef5bce, 0x00aa17e48f43862b,
  1451. 0x00f7e26c96342e5f, 0x0008011c530f39a9)},
  1452. }}, {{
  1453. {FIELD_LITERAL(0x00aad4ac569bf0f1, 0x00a67adc90b27740,
  1454. 0x0048551369a5751a, 0x0031252584a3306a,
  1455. 0x0084e15df770e6fc, 0x00d7bba1c74b5805,
  1456. 0x00a80ef223af1012, 0x0089c85ceb843a34)},
  1457. {FIELD_LITERAL(0x00c4545be4a54004, 0x0099e11f60357e6c,
  1458. 0x001f3936d19515a6, 0x007793df84341a6e,
  1459. 0x0051061886717ffa, 0x00e9b0a660b28f85,
  1460. 0x0044ea685892de0d, 0x000257d2a1fda9d9)},
  1461. {FIELD_LITERAL(0x007e8b01b24ac8a8, 0x006cf3b0b5ca1337,
  1462. 0x00f1607d3e36a570, 0x0039b7fab82991a1,
  1463. 0x00231777065840c5, 0x00998e5afdd346f9,
  1464. 0x00b7dc3e64acc85f, 0x00baacc748013ad6)},
  1465. }}, {{
  1466. {FIELD_LITERAL(0x008ea6a4177580bf, 0x005fa1953e3f0378,
  1467. 0x005fe409ac74d614, 0x00452327f477e047,
  1468. 0x00a4018507fb6073, 0x007b6e71951caac8,
  1469. 0x0012b42ab8a6ce91, 0x0080eca677294ab7)},
  1470. {FIELD_LITERAL(0x00a53edc023ba69b, 0x00c6afa83ddde2e8,
  1471. 0x00c3f638b307b14e, 0x004a357a64414062,
  1472. 0x00e4d94d8b582dc9, 0x001739caf71695b7,
  1473. 0x0012431b2ae28de1, 0x003b6bc98682907c)},
  1474. {FIELD_LITERAL(0x008a9a93be1f99d6, 0x0079fa627cc699c8,
  1475. 0x00b0cfb134ba84c8, 0x001c4b778249419a,
  1476. 0x00df4ab3d9c44f40, 0x009f596e6c1a9e3c,
  1477. 0x001979c0df237316, 0x00501e953a919b87)},
  1478. }}
  1479. };
  1480. const niels_t *curve448_wnaf_base = curve448_wnaf_base_table;