ed25519_donna_32bit_tables.c 18 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049
  1. #include "ed25519_donna.h"
  2. const ge25519 ALIGN(16) ge25519_basepoint = {
  3. {0x0325d51a,
  4. 0x018b5823,
  5. 0x00f6592a,
  6. 0x0104a92d,
  7. 0x01a4b31d,
  8. 0x01d6dc5c,
  9. 0x027118fe,
  10. 0x007fd814,
  11. 0x013cd6e5,
  12. 0x0085a4db},
  13. {0x02666658,
  14. 0x01999999,
  15. 0x00cccccc,
  16. 0x01333333,
  17. 0x01999999,
  18. 0x00666666,
  19. 0x03333333,
  20. 0x00cccccc,
  21. 0x02666666,
  22. 0x01999999},
  23. {0x00000001,
  24. 0x00000000,
  25. 0x00000000,
  26. 0x00000000,
  27. 0x00000000,
  28. 0x00000000,
  29. 0x00000000,
  30. 0x00000000,
  31. 0x00000000,
  32. 0x00000000},
  33. {0x01b7dda3,
  34. 0x01a2ace9,
  35. 0x025eadbb,
  36. 0x0003ba8a,
  37. 0x0083c27e,
  38. 0x00abe37d,
  39. 0x01274732,
  40. 0x00ccacdd,
  41. 0x00fd78b7,
  42. 0x019e1d7c}};
  43. /*
  44. d
  45. */
  46. const bignum25519 ALIGN(16) ge25519_ecd = {
  47. 0x035978a3,
  48. 0x00d37284,
  49. 0x03156ebd,
  50. 0x006a0a0e,
  51. 0x0001c029,
  52. 0x0179e898,
  53. 0x03a03cbb,
  54. 0x01ce7198,
  55. 0x02e2b6ff,
  56. 0x01480db3};
  57. const bignum25519 ALIGN(16) ge25519_ec2d = {
  58. 0x02b2f159,
  59. 0x01a6e509,
  60. 0x022add7a,
  61. 0x00d4141d,
  62. 0x00038052,
  63. 0x00f3d130,
  64. 0x03407977,
  65. 0x019ce331,
  66. 0x01c56dff,
  67. 0x00901b67};
  68. /*
  69. sqrt(-1)
  70. */
  71. const bignum25519 ALIGN(16) ge25519_sqrtneg1 = {
  72. 0x020ea0b0,
  73. 0x0186c9d2,
  74. 0x008f189d,
  75. 0x0035697f,
  76. 0x00bd0c60,
  77. 0x01fbd7a7,
  78. 0x02804c9e,
  79. 0x01e16569,
  80. 0x0004fc1d,
  81. 0x00ae0c92};
  82. const ge25519_niels ALIGN(16) ge25519_niels_sliding_multiples[32] = {
  83. {{0x0340913e,
  84. 0x000e4175,
  85. 0x03d673a2,
  86. 0x002e8a05,
  87. 0x03f4e67c,
  88. 0x008f8a09,
  89. 0x00c21a34,
  90. 0x004cf4b8,
  91. 0x01298f81,
  92. 0x0113f4be},
  93. {0x018c3b85,
  94. 0x0124f1bd,
  95. 0x01c325f7,
  96. 0x0037dc60,
  97. 0x033e4cb7,
  98. 0x003d42c2,
  99. 0x01a44c32,
  100. 0x014ca4e1,
  101. 0x03a33d4b,
  102. 0x001f3e74},
  103. {0x037aaa68,
  104. 0x00448161,
  105. 0x0093d579,
  106. 0x011e6556,
  107. 0x009b67a0,
  108. 0x0143598c,
  109. 0x01bee5ee,
  110. 0x00b50b43,
  111. 0x0289f0c6,
  112. 0x01bc45ed}},
  113. {{0x00fcd265,
  114. 0x0047fa29,
  115. 0x034faacc,
  116. 0x01ef2e0d,
  117. 0x00ef4d4f,
  118. 0x014bd6bd,
  119. 0x00f98d10,
  120. 0x014c5026,
  121. 0x007555bd,
  122. 0x00aae456},
  123. {0x00ee9730,
  124. 0x016c2a13,
  125. 0x017155e4,
  126. 0x01874432,
  127. 0x00096a10,
  128. 0x01016732,
  129. 0x01a8014f,
  130. 0x011e9823,
  131. 0x01b9a80f,
  132. 0x01e85938},
  133. {0x01d0d889,
  134. 0x01a4cfc3,
  135. 0x034c4295,
  136. 0x0110e1ae,
  137. 0x0162508c,
  138. 0x00f2db4c,
  139. 0x0072a2c6,
  140. 0x0098da2e,
  141. 0x02f12b9b,
  142. 0x0168a09a}},
  143. {{0x0047d6ba,
  144. 0x0060b0e9,
  145. 0x0136eff2,
  146. 0x008a5939,
  147. 0x03540053,
  148. 0x0064a087,
  149. 0x02788e5c,
  150. 0x00be7c67,
  151. 0x033eb1b5,
  152. 0x005529f9},
  153. {0x00a5bb33,
  154. 0x00af1102,
  155. 0x01a05442,
  156. 0x001e3af7,
  157. 0x02354123,
  158. 0x00bfec44,
  159. 0x01f5862d,
  160. 0x00dd7ba3,
  161. 0x03146e20,
  162. 0x00a51733},
  163. {0x012a8285,
  164. 0x00f6fc60,
  165. 0x023f9797,
  166. 0x003e85ee,
  167. 0x009c3820,
  168. 0x01bda72d,
  169. 0x01b3858d,
  170. 0x00d35683,
  171. 0x0296b3bb,
  172. 0x010eaaf9}},
  173. {{0x023221b1,
  174. 0x01cb26aa,
  175. 0x0074f74d,
  176. 0x0099ddd1,
  177. 0x01b28085,
  178. 0x00192c3a,
  179. 0x013b27c9,
  180. 0x00fc13bd,
  181. 0x01d2e531,
  182. 0x0075bb75},
  183. {0x004ea3bf,
  184. 0x00973425,
  185. 0x001a4d63,
  186. 0x01d59cee,
  187. 0x01d1c0d4,
  188. 0x00542e49,
  189. 0x01294114,
  190. 0x004fce36,
  191. 0x029283c9,
  192. 0x01186fa9},
  193. {0x01b8b3a2,
  194. 0x00db7200,
  195. 0x00935e30,
  196. 0x003829f5,
  197. 0x02cc0d7d,
  198. 0x0077adf3,
  199. 0x0220dd2c,
  200. 0x0014ea53,
  201. 0x01c6a0f9,
  202. 0x01ea7eec}},
  203. {{0x039d8064,
  204. 0x01885f80,
  205. 0x00337e6d,
  206. 0x01b7a902,
  207. 0x02628206,
  208. 0x015eb044,
  209. 0x01e30473,
  210. 0x0191f2d9,
  211. 0x011fadc9,
  212. 0x01270169},
  213. {0x02a8632f,
  214. 0x0199e2a9,
  215. 0x00d8b365,
  216. 0x017a8de2,
  217. 0x02994279,
  218. 0x0086f5b5,
  219. 0x0119e4e3,
  220. 0x01eb39d6,
  221. 0x0338add7,
  222. 0x00d2e7b4},
  223. {0x0045af1b,
  224. 0x013a2fe4,
  225. 0x0245e0d6,
  226. 0x014538ce,
  227. 0x038bfe0f,
  228. 0x01d4cf16,
  229. 0x037e14c9,
  230. 0x0160d55e,
  231. 0x0021b008,
  232. 0x01cf05c8}},
  233. {{0x01864348,
  234. 0x01d6c092,
  235. 0x0070262b,
  236. 0x014bb844,
  237. 0x00fb5acd,
  238. 0x008deb95,
  239. 0x003aaab5,
  240. 0x00eff474,
  241. 0x00029d5c,
  242. 0x0062ad66},
  243. {0x02802ade,
  244. 0x01c02122,
  245. 0x01c4e5f7,
  246. 0x00781181,
  247. 0x039767fb,
  248. 0x01703406,
  249. 0x0342388b,
  250. 0x01f5e227,
  251. 0x022546d8,
  252. 0x0109d6ab},
  253. {0x016089e9,
  254. 0x00cb317f,
  255. 0x00949b05,
  256. 0x01099417,
  257. 0x000c7ad2,
  258. 0x011a8622,
  259. 0x0088ccda,
  260. 0x01290886,
  261. 0x022b53df,
  262. 0x00f71954}},
  263. {{0x027fbf93,
  264. 0x01c04ecc,
  265. 0x01ed6a0d,
  266. 0x004cdbbb,
  267. 0x02bbf3af,
  268. 0x00ad5968,
  269. 0x01591955,
  270. 0x0094f3a2,
  271. 0x02d17602,
  272. 0x00099e20},
  273. {0x02007f6d,
  274. 0x003088a8,
  275. 0x03db77ee,
  276. 0x00d5ade6,
  277. 0x02fe12ce,
  278. 0x0107ba07,
  279. 0x0107097d,
  280. 0x00482a6f,
  281. 0x02ec346f,
  282. 0x008d3f5f},
  283. {0x032ea378,
  284. 0x0028465c,
  285. 0x028e2a6c,
  286. 0x018efc6e,
  287. 0x0090df9a,
  288. 0x01a7e533,
  289. 0x039bfc48,
  290. 0x010c745d,
  291. 0x03daa097,
  292. 0x0125ee9b}},
  293. {{0x028ccf0b,
  294. 0x00f36191,
  295. 0x021ac081,
  296. 0x012154c8,
  297. 0x034e0a6e,
  298. 0x01b25192,
  299. 0x00180403,
  300. 0x01d7eea1,
  301. 0x00218d05,
  302. 0x010ed735},
  303. {0x03cfeaa0,
  304. 0x01b300c4,
  305. 0x008da499,
  306. 0x0068c4e1,
  307. 0x0219230a,
  308. 0x01f2d4d0,
  309. 0x02defd60,
  310. 0x00e565b7,
  311. 0x017f12de,
  312. 0x018788a4},
  313. {0x03d0b516,
  314. 0x009d8be6,
  315. 0x03ddcbb3,
  316. 0x0071b9fe,
  317. 0x03ace2bd,
  318. 0x01d64270,
  319. 0x032d3ec9,
  320. 0x01084065,
  321. 0x0210ae4d,
  322. 0x01447584}},
  323. {{0x0020de87,
  324. 0x00e19211,
  325. 0x01b68102,
  326. 0x00b5ac97,
  327. 0x022873c0,
  328. 0x01942d25,
  329. 0x01271394,
  330. 0x0102073f,
  331. 0x02fe2482,
  332. 0x01c69ff9},
  333. {0x010e9d81,
  334. 0x019dbbe5,
  335. 0x0089f258,
  336. 0x006e06b8,
  337. 0x02951883,
  338. 0x018f1248,
  339. 0x019b3237,
  340. 0x00bc7553,
  341. 0x024ddb85,
  342. 0x01b4c964},
  343. {0x01c8c854,
  344. 0x0060ae29,
  345. 0x01406d8e,
  346. 0x01cff2f9,
  347. 0x00cff451,
  348. 0x01778d0c,
  349. 0x03ac8c41,
  350. 0x01552e59,
  351. 0x036559ee,
  352. 0x011d1b12}},
  353. {{0x00741147,
  354. 0x0151b219,
  355. 0x01092690,
  356. 0x00e877e6,
  357. 0x01f4d6bb,
  358. 0x0072a332,
  359. 0x01cd3b03,
  360. 0x00dadff2,
  361. 0x0097db5e,
  362. 0x0086598d},
  363. {0x01c69a2b,
  364. 0x01decf1b,
  365. 0x02c2fa6e,
  366. 0x013b7c4f,
  367. 0x037beac8,
  368. 0x013a16b5,
  369. 0x028e7bda,
  370. 0x01f6e8ac,
  371. 0x01e34fe9,
  372. 0x01726947},
  373. {0x01f10e67,
  374. 0x003c73de,
  375. 0x022b7ea2,
  376. 0x010f32c2,
  377. 0x03ff776a,
  378. 0x00142277,
  379. 0x01d38b88,
  380. 0x00776138,
  381. 0x03c60822,
  382. 0x01201140}},
  383. {{0x0236d175,
  384. 0x0008748e,
  385. 0x03c6476d,
  386. 0x013f4cdc,
  387. 0x02eed02a,
  388. 0x00838a47,
  389. 0x032e7210,
  390. 0x018bcbb3,
  391. 0x00858de4,
  392. 0x01dc7826},
  393. {0x00a37fc7,
  394. 0x0127b40b,
  395. 0x01957884,
  396. 0x011d30ad,
  397. 0x02816683,
  398. 0x016e0e23,
  399. 0x00b76be4,
  400. 0x012db115,
  401. 0x02516506,
  402. 0x0154ce62},
  403. {0x00451edf,
  404. 0x00bd749e,
  405. 0x03997342,
  406. 0x01cc2c4c,
  407. 0x00eb6975,
  408. 0x01a59508,
  409. 0x03a516cf,
  410. 0x00c228ef,
  411. 0x0168ff5a,
  412. 0x01697b47}},
  413. {{0x00527359,
  414. 0x01783156,
  415. 0x03afd75c,
  416. 0x00ce56dc,
  417. 0x00e4b970,
  418. 0x001cabe9,
  419. 0x029e0f6d,
  420. 0x0188850c,
  421. 0x0135fefd,
  422. 0x00066d80},
  423. {0x02150e83,
  424. 0x01448abf,
  425. 0x02bb0232,
  426. 0x012bf259,
  427. 0x033c8268,
  428. 0x00711e20,
  429. 0x03fc148f,
  430. 0x005e0e70,
  431. 0x017d8bf9,
  432. 0x0112b2e2},
  433. {0x02134b83,
  434. 0x001a0517,
  435. 0x0182c3cc,
  436. 0x00792182,
  437. 0x0313d799,
  438. 0x001a3ed7,
  439. 0x0344547e,
  440. 0x01f24a0d,
  441. 0x03de6ad2,
  442. 0x00543127}},
  443. {{0x00dca868,
  444. 0x00618f27,
  445. 0x015a1709,
  446. 0x00ddc38a,
  447. 0x0320fd13,
  448. 0x0036168d,
  449. 0x0371ab06,
  450. 0x01783fc7,
  451. 0x0391e05f,
  452. 0x01e29b5d},
  453. {0x01471138,
  454. 0x00fca542,
  455. 0x00ca31cf,
  456. 0x01ca7bad,
  457. 0x0175bfbc,
  458. 0x01a708ad,
  459. 0x03bce212,
  460. 0x01244215,
  461. 0x0075bb99,
  462. 0x01acad68},
  463. {0x03a0b976,
  464. 0x01dc12d1,
  465. 0x011aab17,
  466. 0x00aba0ba,
  467. 0x029806cd,
  468. 0x0142f590,
  469. 0x018fd8ea,
  470. 0x01a01545,
  471. 0x03c4ad55,
  472. 0x01c971ff}},
  473. {{0x00d098c0,
  474. 0x000afdc7,
  475. 0x006cd230,
  476. 0x01276af3,
  477. 0x03f905b2,
  478. 0x0102994c,
  479. 0x002eb8a4,
  480. 0x015cfbeb,
  481. 0x025f855f,
  482. 0x01335518},
  483. {0x01cf99b2,
  484. 0x0099c574,
  485. 0x01a69c88,
  486. 0x00881510,
  487. 0x01cd4b54,
  488. 0x0112109f,
  489. 0x008abdc5,
  490. 0x0074647a,
  491. 0x0277cb1f,
  492. 0x01e53324},
  493. {0x02ac5053,
  494. 0x01b109b0,
  495. 0x024b095e,
  496. 0x016997b3,
  497. 0x02f26bb6,
  498. 0x00311021,
  499. 0x00197885,
  500. 0x01d0a55a,
  501. 0x03b6fcc8,
  502. 0x01c020d5}},
  503. {{0x02584a34,
  504. 0x00e7eee0,
  505. 0x03257a03,
  506. 0x011e95a3,
  507. 0x011ead91,
  508. 0x00536202,
  509. 0x00b1ce24,
  510. 0x008516c6,
  511. 0x03669d6d,
  512. 0x004ea4a8},
  513. {0x00773f01,
  514. 0x0019c9ce,
  515. 0x019f6171,
  516. 0x01d4afde,
  517. 0x02e33323,
  518. 0x01ad29b6,
  519. 0x02ead1dc,
  520. 0x01ed51a5,
  521. 0x01851ad0,
  522. 0x001bbdfa},
  523. {0x00577de5,
  524. 0x00ddc730,
  525. 0x038b9952,
  526. 0x00f281ae,
  527. 0x01d50390,
  528. 0x0002e071,
  529. 0x000780ec,
  530. 0x010d448d,
  531. 0x01f8a2af,
  532. 0x00f0a5b7}},
  533. {{0x031f2541,
  534. 0x00d34bae,
  535. 0x0323ff9d,
  536. 0x003a056d,
  537. 0x02e25443,
  538. 0x00a1ad05,
  539. 0x00d1bee8,
  540. 0x002f7f8e,
  541. 0x03007477,
  542. 0x002a24b1},
  543. {0x0114a713,
  544. 0x01457e76,
  545. 0x032255d5,
  546. 0x01cc647f,
  547. 0x02a4bdef,
  548. 0x0153d730,
  549. 0x00118bcf,
  550. 0x00f755ff,
  551. 0x013490c7,
  552. 0x01ea674e},
  553. {0x02bda3e8,
  554. 0x00bb490d,
  555. 0x00f291ea,
  556. 0x000abf40,
  557. 0x01dea321,
  558. 0x002f9ce0,
  559. 0x00b2b193,
  560. 0x00fa54b5,
  561. 0x0128302f,
  562. 0x00a19d8b}},
  563. {{0x022ef5bd,
  564. 0x01638af3,
  565. 0x038c6f8a,
  566. 0x01a33a3d,
  567. 0x039261b2,
  568. 0x01bb89b8,
  569. 0x010bcf9d,
  570. 0x00cf42a9,
  571. 0x023d6f17,
  572. 0x01da1bca},
  573. {0x00e35b25,
  574. 0x000d824f,
  575. 0x0152e9cf,
  576. 0x00ed935d,
  577. 0x020b8460,
  578. 0x01c7b83f,
  579. 0x00c969e5,
  580. 0x01a74198,
  581. 0x0046a9d9,
  582. 0x00cbc768},
  583. {0x01597c6a,
  584. 0x0144a99b,
  585. 0x00a57551,
  586. 0x0018269c,
  587. 0x023c464c,
  588. 0x0009b022,
  589. 0x00ee39e1,
  590. 0x0114c7f2,
  591. 0x038a9ad2,
  592. 0x01584c17}},
  593. {{0x03b0c0d5,
  594. 0x00b30a39,
  595. 0x038a6ce4,
  596. 0x01ded83a,
  597. 0x01c277a6,
  598. 0x01010a61,
  599. 0x0346d3eb,
  600. 0x018d995e,
  601. 0x02f2c57c,
  602. 0x000c286b},
  603. {0x0092aed1,
  604. 0x0125e37b,
  605. 0x027ca201,
  606. 0x001a6b6b,
  607. 0x03290f55,
  608. 0x0047ba48,
  609. 0x018d916c,
  610. 0x01a59062,
  611. 0x013e35d4,
  612. 0x0002abb1},
  613. {0x003ad2aa,
  614. 0x007ddcc0,
  615. 0x00c10f76,
  616. 0x0001590b,
  617. 0x002cfca6,
  618. 0x000ed23e,
  619. 0x00ee4329,
  620. 0x00900f04,
  621. 0x01c24065,
  622. 0x0082fa70}},
  623. {{0x02025e60,
  624. 0x003912b8,
  625. 0x0327041c,
  626. 0x017e5ee5,
  627. 0x02c0ecec,
  628. 0x015a0d1c,
  629. 0x02b1ce7c,
  630. 0x0062220b,
  631. 0x0145067e,
  632. 0x01a5d931},
  633. {0x009673a6,
  634. 0x00e1f609,
  635. 0x00927c2a,
  636. 0x016faa37,
  637. 0x01650ef0,
  638. 0x016f63b5,
  639. 0x03cd40e1,
  640. 0x003bc38f,
  641. 0x0361f0ac,
  642. 0x01d42acc},
  643. {0x02f81037,
  644. 0x008ca0e8,
  645. 0x017e23d1,
  646. 0x011debfe,
  647. 0x01bcbb68,
  648. 0x002e2563,
  649. 0x03e8add6,
  650. 0x000816e5,
  651. 0x03fb7075,
  652. 0x0153e5ac}},
  653. {{0x02b11ecd,
  654. 0x016bf185,
  655. 0x008f22ef,
  656. 0x00e7d2bb,
  657. 0x0225d92e,
  658. 0x00ece785,
  659. 0x00508873,
  660. 0x017e16f5,
  661. 0x01fbe85d,
  662. 0x01e39a0e},
  663. {0x01669279,
  664. 0x017c810a,
  665. 0x024941f5,
  666. 0x0023ebeb,
  667. 0x00eb7688,
  668. 0x005760f1,
  669. 0x02ca4146,
  670. 0x0073cde7,
  671. 0x0052bb75,
  672. 0x00f5ffa7},
  673. {0x03b8856b,
  674. 0x00cb7dcd,
  675. 0x02f14e06,
  676. 0x001820d0,
  677. 0x01d74175,
  678. 0x00e59e22,
  679. 0x03fba550,
  680. 0x00484641,
  681. 0x03350088,
  682. 0x01c3c9a3}},
  683. {{0x00dcf355,
  684. 0x0104481c,
  685. 0x0022e464,
  686. 0x01f73fe7,
  687. 0x00e03325,
  688. 0x0152b698,
  689. 0x02ef769a,
  690. 0x00973663,
  691. 0x00039b8c,
  692. 0x0101395b},
  693. {0x01805f47,
  694. 0x019160ec,
  695. 0x03832cd0,
  696. 0x008b06eb,
  697. 0x03d4d717,
  698. 0x004cb006,
  699. 0x03a75b8f,
  700. 0x013b3d30,
  701. 0x01cfad88,
  702. 0x01f034d1},
  703. {0x0078338a,
  704. 0x01c7d2e3,
  705. 0x02bc2b23,
  706. 0x018b3f05,
  707. 0x0280d9aa,
  708. 0x005f3d44,
  709. 0x0220a95a,
  710. 0x00eeeb97,
  711. 0x0362aaec,
  712. 0x00835d51}},
  713. {{0x01b9f543,
  714. 0x013fac4d,
  715. 0x02ad93ae,
  716. 0x018ef464,
  717. 0x0212cdf7,
  718. 0x01138ba9,
  719. 0x011583ab,
  720. 0x019c3d26,
  721. 0x028790b4,
  722. 0x00e2e2b6},
  723. {0x033bb758,
  724. 0x01f0dbf1,
  725. 0x03734bd1,
  726. 0x0129b1e5,
  727. 0x02b3950e,
  728. 0x003bc922,
  729. 0x01a53ec8,
  730. 0x018c5532,
  731. 0x006f3cee,
  732. 0x00ae3c79},
  733. {0x0351f95d,
  734. 0x0012a737,
  735. 0x03d596b8,
  736. 0x017658fe,
  737. 0x00ace54a,
  738. 0x008b66da,
  739. 0x0036c599,
  740. 0x012a63a2,
  741. 0x032ceba1,
  742. 0x00126bac}},
  743. {{0x03dcfe7e,
  744. 0x019f4f18,
  745. 0x01c81aee,
  746. 0x0044bc2b,
  747. 0x00827165,
  748. 0x014f7c13,
  749. 0x03b430f0,
  750. 0x00bf96cc,
  751. 0x020c8d62,
  752. 0x01471997},
  753. {0x01fc7931,
  754. 0x001f42dd,
  755. 0x00ba754a,
  756. 0x005bd339,
  757. 0x003fbe49,
  758. 0x016b3930,
  759. 0x012a159c,
  760. 0x009f83b0,
  761. 0x03530f67,
  762. 0x01e57b85},
  763. {0x02ecbd81,
  764. 0x0096c294,
  765. 0x01fce4a9,
  766. 0x017701a5,
  767. 0x0175047d,
  768. 0x00ee4a31,
  769. 0x012686e5,
  770. 0x008efcd4,
  771. 0x0349dc54,
  772. 0x01b3466f}},
  773. {{0x02179ca3,
  774. 0x01d86414,
  775. 0x03f0afd0,
  776. 0x00305964,
  777. 0x015c7428,
  778. 0x0099711e,
  779. 0x015d5442,
  780. 0x00c71014,
  781. 0x01b40b2e,
  782. 0x01d483cf},
  783. {0x01afc386,
  784. 0x01984859,
  785. 0x036203ff,
  786. 0x0045c6a8,
  787. 0x0020a8aa,
  788. 0x00990baa,
  789. 0x03313f10,
  790. 0x007ceede,
  791. 0x027429e4,
  792. 0x017806ce},
  793. {0x039357a1,
  794. 0x0142f8f4,
  795. 0x0294a7b6,
  796. 0x00eaccf4,
  797. 0x0259edb3,
  798. 0x01311e6e,
  799. 0x004d326f,
  800. 0x0130c346,
  801. 0x01ccef3c,
  802. 0x01c424b2}},
  803. {{0x0364918c,
  804. 0x00148fc0,
  805. 0x01638a7b,
  806. 0x01a1fd5b,
  807. 0x028ad013,
  808. 0x0081e5a4,
  809. 0x01a54f33,
  810. 0x0174e101,
  811. 0x003d0257,
  812. 0x003a856c},
  813. {0x00051dcf,
  814. 0x00f62b1d,
  815. 0x0143d0ad,
  816. 0x0042adbd,
  817. 0x000fda90,
  818. 0x01743ceb,
  819. 0x0173e5e4,
  820. 0x017bc749,
  821. 0x03b7137a,
  822. 0x0105ce96},
  823. {0x00f9218a,
  824. 0x015b8c7c,
  825. 0x00e102f8,
  826. 0x0158d7e2,
  827. 0x0169a5b8,
  828. 0x00b2f176,
  829. 0x018b347a,
  830. 0x014cfef2,
  831. 0x0214a4e3,
  832. 0x017f1595}},
  833. {{0x006d7ae5,
  834. 0x0195c371,
  835. 0x0391e26d,
  836. 0x0062a7c6,
  837. 0x003f42ab,
  838. 0x010dad86,
  839. 0x024f8198,
  840. 0x01542b2a,
  841. 0x0014c454,
  842. 0x0189c471},
  843. {0x0390988e,
  844. 0x00b8799d,
  845. 0x02e44912,
  846. 0x0078e2e6,
  847. 0x00075654,
  848. 0x01923eed,
  849. 0x0040cd72,
  850. 0x00a37c76,
  851. 0x0009d466,
  852. 0x00c8531d},
  853. {0x02651770,
  854. 0x00609d01,
  855. 0x0286c265,
  856. 0x0134513c,
  857. 0x00ee9281,
  858. 0x005d223c,
  859. 0x035c760c,
  860. 0x00679b36,
  861. 0x0073ecb8,
  862. 0x016faa50}},
  863. {{0x02c89be4,
  864. 0x016fc244,
  865. 0x02f38c83,
  866. 0x018beb72,
  867. 0x02b3ce2c,
  868. 0x0097b065,
  869. 0x034f017b,
  870. 0x01dd957f,
  871. 0x00148f61,
  872. 0x00eab357},
  873. {0x0343d2f8,
  874. 0x003398fc,
  875. 0x011e368e,
  876. 0x00782a1f,
  877. 0x00019eea,
  878. 0x00117b6f,
  879. 0x0128d0d1,
  880. 0x01a5e6bb,
  881. 0x01944f1b,
  882. 0x012b41e1},
  883. {0x03318301,
  884. 0x018ecd30,
  885. 0x0104d0b1,
  886. 0x0038398b,
  887. 0x03726701,
  888. 0x019da88c,
  889. 0x002d9769,
  890. 0x00a7a681,
  891. 0x031d9028,
  892. 0x00ebfc32}},
  893. {{0x0220405e,
  894. 0x0171face,
  895. 0x02d930f8,
  896. 0x017f6d6a,
  897. 0x023b8c47,
  898. 0x0129d5f9,
  899. 0x02972456,
  900. 0x00a3a524,
  901. 0x006f4cd2,
  902. 0x004439fa},
  903. {0x00c53505,
  904. 0x0190c2fd,
  905. 0x00507244,
  906. 0x009930f9,
  907. 0x01a39270,
  908. 0x01d327c6,
  909. 0x0399bc47,
  910. 0x01cfe13d,
  911. 0x0332bd99,
  912. 0x00b33e7d},
  913. {0x0203f5e4,
  914. 0x003627b5,
  915. 0x00018af8,
  916. 0x01478581,
  917. 0x004a2218,
  918. 0x002e3bb7,
  919. 0x039384d0,
  920. 0x0146ea62,
  921. 0x020b9693,
  922. 0x0017155f}},
  923. {{0x03c97e6f,
  924. 0x00738c47,
  925. 0x03b5db1f,
  926. 0x01808fcf,
  927. 0x01e8fc98,
  928. 0x01ed25dd,
  929. 0x01bf5045,
  930. 0x00eb5c2b,
  931. 0x0178fe98,
  932. 0x01b85530},
  933. {0x01c20eb0,
  934. 0x01aeec22,
  935. 0x030b9eee,
  936. 0x01b7d07e,
  937. 0x0187e16f,
  938. 0x014421fb,
  939. 0x009fa731,
  940. 0x0040b6d7,
  941. 0x00841861,
  942. 0x00a27fbc},
  943. {0x02d69abf,
  944. 0x0058cdbf,
  945. 0x0129f9ec,
  946. 0x013c19ae,
  947. 0x026c5b93,
  948. 0x013a7fe7,
  949. 0x004bb2ba,
  950. 0x0063226f,
  951. 0x002a95ca,
  952. 0x01abefd9}},
  953. {{0x02f5d2c1,
  954. 0x00378318,
  955. 0x03734fb5,
  956. 0x01258073,
  957. 0x0263f0f6,
  958. 0x01ad70e0,
  959. 0x01b56d06,
  960. 0x01188fbd,
  961. 0x011b9503,
  962. 0x0036d2e1},
  963. {0x0113a8cc,
  964. 0x01541c3e,
  965. 0x02ac2bbc,
  966. 0x01d95867,
  967. 0x01f47459,
  968. 0x00ead489,
  969. 0x00ab5b48,
  970. 0x01db3b45,
  971. 0x00edb801,
  972. 0x004b024f},
  973. {0x00b8190f,
  974. 0x011fe4c2,
  975. 0x00621f82,
  976. 0x010508d7,
  977. 0x001a5a76,
  978. 0x00c7d7fd,
  979. 0x03aab96d,
  980. 0x019cd9dc,
  981. 0x019c6635,
  982. 0x00ceaa1e}},
  983. {{0x01085cf2,
  984. 0x01fd47af,
  985. 0x03e3f5e1,
  986. 0x004b3e99,
  987. 0x01e3d46a,
  988. 0x0060033c,
  989. 0x015ff0a8,
  990. 0x0150cdd8,
  991. 0x029e8e21,
  992. 0x008cf1bc},
  993. {0x00156cb1,
  994. 0x003d623f,
  995. 0x01a4f069,
  996. 0x00d8d053,
  997. 0x01b68aea,
  998. 0x01ca5ab6,
  999. 0x0316ae43,
  1000. 0x0134dc44,
  1001. 0x001c8d58,
  1002. 0x0084b343},
  1003. {0x0318c781,
  1004. 0x0135441f,
  1005. 0x03a51a5e,
  1006. 0x019293f4,
  1007. 0x0048bb37,
  1008. 0x013d3341,
  1009. 0x0143151e,
  1010. 0x019c74e1,
  1011. 0x00911914,
  1012. 0x0076ddde}},
  1013. {{0x006bc26f,
  1014. 0x00d48e5f,
  1015. 0x00227bbe,
  1016. 0x00629ea8,
  1017. 0x01ea5f8b,
  1018. 0x0179a330,
  1019. 0x027a1d5f,
  1020. 0x01bf8f8e,
  1021. 0x02d26e2a,
  1022. 0x00c6b65e},
  1023. {0x01701ab6,
  1024. 0x0051da77,
  1025. 0x01b4b667,
  1026. 0x00a0ce7c,
  1027. 0x038ae37b,
  1028. 0x012ac852,
  1029. 0x03a0b0fe,
  1030. 0x0097c2bb,
  1031. 0x00a017d2,
  1032. 0x01eb8b2a},
  1033. {0x0120b962,
  1034. 0x0005fb42,
  1035. 0x0353b6fd,
  1036. 0x0061f8ce,
  1037. 0x007a1463,
  1038. 0x01560a64,
  1039. 0x00e0a792,
  1040. 0x01907c92,
  1041. 0x013a6622,
  1042. 0x007b47f1}}};