diablo130302.cl 44 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361
  1. /*
  2. * DiabloMiner - OpenCL miner for BitCoin
  3. * Copyright (C) 2012, 2013 Con Kolivas <kernel@kolivas.org>
  4. * Copyright (C) 2010, 2011, 2012 Patrick McFarland <diablod3@gmail.com>
  5. *
  6. * This program is free software: you can redistribute it and/or modify
  7. * it under the terms of the GNU General Public License as published by
  8. * the Free Software Foundation, either version 3 of the License, or
  9. * (at your option) any later version.
  10. *
  11. * This program is distributed in the hope that it will be useful,
  12. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. * GNU General Public License for more detail).
  15. *
  16. * You should have received a copy of the GNU General Public License
  17. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  18. */
  19. #ifdef VECTORS4
  20. typedef uint4 z;
  21. #elif defined(VECTORS2)
  22. typedef uint2 z;
  23. #else
  24. typedef uint z;
  25. #endif
  26. #ifdef BITALIGN
  27. #pragma OPENCL EXTENSION cl_amd_media_ops : enable
  28. #define Zrotr(a, b) amd_bitalign((z)a, (z)a, (z)(32 - b))
  29. #else
  30. #define Zrotr(a, b) rotate((z)a, (z)b)
  31. #endif
  32. #ifdef BFI_INT
  33. #define ZCh(a, b, c) amd_bytealign(a, b, c)
  34. #define ZMa(a, b, c) amd_bytealign((c ^ a), (b), (a))
  35. #else
  36. #define ZCh(a, b, c) bitselect((z)c, (z)b, (z)a)
  37. #define ZMa(a, b, c) bitselect((z)a, (z)b, (z)c ^ (z)a)
  38. #endif
  39. /* These constants are not the classic SHA256 constants but the order that
  40. * constants are used in this kernel.
  41. */
  42. __constant uint K[] = {
  43. 0xd807aa98U,
  44. 0x12835b01U,
  45. 0x243185beU,
  46. 0x550c7dc3U,
  47. 0x72be5d74U,
  48. 0x80deb1feU,
  49. 0x9bdc06a7U,
  50. 0xc19bf3f4U,
  51. 0x0fc19dc6U,
  52. 0x240ca1ccU,
  53. 0x80000000U, // 10
  54. 0x2de92c6fU,
  55. 0x4a7484aaU,
  56. 0x00000280U,
  57. 0x5cb0a9dcU,
  58. 0x76f988daU,
  59. 0x983e5152U,
  60. 0xa831c66dU,
  61. 0xb00327c8U,
  62. 0xbf597fc7U,
  63. 0xc6e00bf3U, // 20
  64. 0x00A00055U,
  65. 0xd5a79147U,
  66. 0x06ca6351U,
  67. 0x14292967U,
  68. 0x27b70a85U,
  69. 0x2e1b2138U,
  70. 0x4d2c6dfcU,
  71. 0x53380d13U,
  72. 0x650a7354U,
  73. 0x766a0abbU, // 30
  74. 0x81c2c92eU,
  75. 0x92722c85U,
  76. 0xa2bfe8a1U,
  77. 0xa81a664bU,
  78. 0xc24b8b70U,
  79. 0xc76c51a3U,
  80. 0xd192e819U,
  81. 0xd6990624U,
  82. 0xf40e3585U,
  83. 0x106aa070U, // 40
  84. 0x19a4c116U,
  85. 0x1e376c08U,
  86. 0x2748774cU,
  87. 0x34b0bcb5U,
  88. 0x391c0cb3U,
  89. 0x4ed8aa4aU,
  90. 0x5b9cca4fU,
  91. 0x682e6ff3U,
  92. 0x748f82eeU,
  93. 0x78a5636fU, // 50
  94. 0x84c87814U,
  95. 0x8cc70208U,
  96. 0x90befffaU,
  97. 0xa4506cebU,
  98. 0xbef9a3f7U,
  99. 0xc67178f2U,
  100. 0x98c7e2a2U,
  101. 0x90bb1e3cU,
  102. 0x510e527fU,
  103. 0x9b05688cU, // 60
  104. 0xfc08884dU,
  105. 0x3c6ef372U,
  106. 0x50c6645bU,
  107. 0x6a09e667U,
  108. 0xbb67ae85U,
  109. 0x3ac42e24U,
  110. 0xd21ea4fdU,
  111. 0x59f111f1U,
  112. 0x923f82a4U,
  113. 0xab1c5ed5U, // 70
  114. 0x5807aa98U,
  115. 0xc19bf274U,
  116. 0xe49b69c1U,
  117. 0x00a00000U,
  118. 0xefbe4786U,
  119. 0x00000100U,
  120. 0x11002000U,
  121. 0x00400022U,
  122. 0x136032EDU
  123. };
  124. #define ZR25(n) ((Zrotr((n), 25) ^ Zrotr((n), 14) ^ ((n) >> 3U)))
  125. #define ZR15(n) ((Zrotr((n), 15) ^ Zrotr((n), 13) ^ ((n) >> 10U)))
  126. #define ZR26(n) ((Zrotr((n), 26) ^ Zrotr((n), 21) ^ Zrotr((n), 7)))
  127. #define ZR30(n) ((Zrotr((n), 30) ^ Zrotr((n), 19) ^ Zrotr((n), 10)))
  128. __kernel
  129. __attribute__((vec_type_hint(z)))
  130. __attribute__((reqd_work_group_size(WORKSIZE, 1, 1)))
  131. void search(
  132. #ifndef GOFFSET
  133. const z base,
  134. #endif
  135. const uint PreVal4_state0, const uint PreVal4_state0_k7,
  136. const uint PreVal4_T1,
  137. const uint W18, const uint W19,
  138. const uint W16, const uint W17,
  139. const uint W16_plus_K16, const uint W17_plus_K17,
  140. const uint W31, const uint W32,
  141. const uint d1, const uint b1, const uint c1,
  142. const uint h1, const uint f1, const uint g1,
  143. const uint c1_plus_k5, const uint b1_plus_k6,
  144. const uint state0, const uint state1, const uint state2, const uint state3,
  145. const uint state4, const uint state5, const uint state6, const uint state7,
  146. volatile __global uint * output)
  147. {
  148. z ZA[930];
  149. #ifdef GOFFSET
  150. const z Znonce = (uint)(get_global_id(0));
  151. #else
  152. const z Znonce = base + (uint)(get_global_id(0));
  153. #endif
  154. ZA[15] = Znonce + PreVal4_state0;
  155. ZA[16] = (ZCh(ZA[15], b1, c1) + d1) + ZR26(ZA[15]);
  156. ZA[26] = Znonce + PreVal4_T1;
  157. ZA[27] = ZMa(f1, g1, ZA[26]) + ZR30(ZA[26]);
  158. ZA[17] = ZA[16] + h1;
  159. ZA[19] = (ZCh(ZA[17], ZA[15], b1) + c1_plus_k5) + ZR26(ZA[17]);
  160. ZA[28] = ZA[27] + ZA[16];
  161. ZA[548] = ZMa(ZA[26], f1, ZA[28]) + ZR30(ZA[28]);
  162. ZA[20] = ZA[19] + g1;
  163. ZA[22] = (ZCh(ZA[20], ZA[17], ZA[15]) + b1_plus_k6) + ZR26(ZA[20]);
  164. ZA[29] = ZA[548] + ZA[19];
  165. ZA[549] = ZMa(ZA[28], ZA[26], ZA[29]) + ZR30(ZA[29]);
  166. ZA[23] = ZA[22] + f1;
  167. ZA[24] = ZCh(ZA[23], ZA[20], ZA[17]) + ZR26(ZA[23]);
  168. ZA[180] = Znonce + PreVal4_state0_k7;
  169. ZA[30] = ZA[549] + ZA[22];
  170. ZA[31] = ZMa(ZA[29], ZA[28], ZA[30]) + ZR30(ZA[30]);
  171. ZA[181] = ZA[180] + ZA[24];
  172. ZA[182] = ZA[181] + ZA[26];
  173. ZA[183] = ZA[181] + ZA[31];
  174. ZA[18] = ZA[17] + K[0];
  175. ZA[186] = (ZCh(ZA[182], ZA[23], ZA[20]) + ZA[18]) + ZR26(ZA[182]);
  176. ZA[184] = ZMa(ZA[30], ZA[29], ZA[183]) + ZR30(ZA[183]);
  177. ZA[187] = ZA[186] + ZA[28];
  178. ZA[188] = ZA[186] + ZA[184];
  179. ZA[21] = ZA[20] + K[1];
  180. ZA[191] = (ZCh(ZA[187], ZA[182], ZA[23]) + ZA[21]) + ZR26(ZA[187]);
  181. ZA[189] = ZMa(ZA[183], ZA[30], ZA[188]) + ZR30(ZA[188]);
  182. ZA[192] = ZA[191] + ZA[29];
  183. ZA[193] = ZA[191] + ZA[189];
  184. ZA[25] = ZA[23] + K[2];
  185. ZA[196] = (ZCh(ZA[192], ZA[187], ZA[182]) + ZA[25]) + ZR26(ZA[192]);
  186. ZA[194] = ZMa(ZA[188], ZA[183], ZA[193]) + ZR30(ZA[193]);
  187. ZA[197] = ZA[196] + ZA[30];
  188. ZA[198] = ZA[196] + ZA[194];
  189. ZA[185] = ZA[182] + K[3];
  190. ZA[201] = (ZCh(ZA[197], ZA[192], ZA[187]) + ZA[185]) + ZR26(ZA[197]);
  191. ZA[199] = ZMa(ZA[193], ZA[188], ZA[198]) + ZR30(ZA[198]);
  192. ZA[202] = ZA[201] + ZA[183];
  193. ZA[203] = ZA[201] + ZA[199];
  194. ZA[190] = ZA[187] + K[4];
  195. ZA[206] = (ZCh(ZA[202], ZA[197], ZA[192]) + ZA[190]) + ZR26(ZA[202]);
  196. ZA[204] = ZMa(ZA[198], ZA[193], ZA[203]) + ZR30(ZA[203]);
  197. ZA[207] = ZA[206] + ZA[188];
  198. ZA[208] = ZA[206] + ZA[204];
  199. ZA[195] = ZA[192] + K[5];
  200. ZA[211] = (ZCh(ZA[207], ZA[202], ZA[197]) + ZA[195]) + ZR26(ZA[207]);
  201. ZA[209] = ZMa(ZA[203], ZA[198], ZA[208]) + ZR30(ZA[208]);
  202. ZA[212] = ZA[193] + ZA[211];
  203. ZA[213] = ZA[211] + ZA[209];
  204. ZA[200] = ZA[197] + K[6];
  205. ZA[216] = (ZCh(ZA[212], ZA[207], ZA[202]) + ZA[200]) + ZR26(ZA[212]);
  206. ZA[214] = ZMa(ZA[208], ZA[203], ZA[213]) + ZR30(ZA[213]);
  207. ZA[217] = ZA[198] + ZA[216];
  208. ZA[218] = ZA[216] + ZA[214];
  209. ZA[205] = ZA[202] + K[7];
  210. ZA[220] = (ZCh(ZA[217], ZA[212], ZA[207]) + ZA[205]) + ZR26(ZA[217]);
  211. ZA[219] = ZMa(ZA[213], ZA[208], ZA[218]) + ZR30(ZA[218]);
  212. ZA[222] = ZA[203] + ZA[220];
  213. ZA[223] = ZA[220] + ZA[219];
  214. ZA[210] = ZA[207] + W16_plus_K16;
  215. ZA[226] = (ZCh(ZA[222], ZA[217], ZA[212]) + ZA[210]) + ZR26(ZA[222]);
  216. ZA[225] = ZMa(ZA[218], ZA[213], ZA[223]) + ZR30(ZA[223]);
  217. ZA[0] = ZR25(Znonce) + W18;
  218. ZA[228] = ZA[226] + ZA[225];
  219. ZA[227] = ZA[208] + ZA[226];
  220. ZA[215] = ZA[212] + W17_plus_K17;
  221. ZA[231] = (ZCh(ZA[227], ZA[222], ZA[217]) + ZA[215]) + ZR26(ZA[227]);
  222. ZA[229] = ZMa(ZA[223], ZA[218], ZA[228]) + ZR30(ZA[228]);
  223. ZA[1] = ZA[0] + K[8];
  224. ZA[232] = ZA[213] + ZA[231];
  225. ZA[233] = ZA[231] + ZA[229];
  226. ZA[221] = ZA[217] + ZA[1];
  227. ZA[32] = Znonce + W19;
  228. ZA[236] = (ZCh(ZA[232], ZA[227], ZA[222]) + ZA[221]) + ZR26(ZA[232]);
  229. ZA[234] = ZMa(ZA[228], ZA[223], ZA[233]) + ZR30(ZA[233]);
  230. ZA[33] = ZA[32] + K[9];
  231. ZA[3] = ZR15(ZA[0]) + K[10];
  232. ZA[238] = ZA[236] + ZA[234];
  233. ZA[237] = ZA[218] + ZA[236];
  234. ZA[224] = ZA[222] + ZA[33];
  235. ZA[241] = (ZCh(ZA[237], ZA[232], ZA[227]) + ZA[224]) + ZR26(ZA[237]);
  236. ZA[239] = ZMa(ZA[233], ZA[228], ZA[238]) + ZR30(ZA[238]);
  237. ZA[4] = ZA[3] + K[11];
  238. ZA[35] = ZR15(ZA[32]);
  239. ZA[243] = ZA[241] + ZA[239];
  240. ZA[242] = ZA[223] + ZA[241];
  241. ZA[230] = ZA[227] + ZA[4];
  242. ZA[246] = (ZCh(ZA[242], ZA[237], ZA[232]) + ZA[230]) + ZR26(ZA[242]);
  243. ZA[244] = ZMa(ZA[238], ZA[233], ZA[243]) + ZR30(ZA[243]);
  244. ZA[36] = ZA[35] + K[12];
  245. ZA[7] = ZR15(ZA[3]) + K[13];
  246. ZA[248] = ZA[246] + ZA[244];
  247. ZA[247] = ZA[228] + ZA[246];
  248. ZA[235] = ZA[232] + ZA[36];
  249. ZA[251] = (ZCh(ZA[247], ZA[242], ZA[237]) + ZA[235]) + ZR26(ZA[247]);
  250. ZA[249] = ZMa(ZA[243], ZA[238], ZA[248]) + ZR30(ZA[248]);
  251. ZA[8] = ZA[7] + K[14];
  252. ZA[38] = ZR15(ZA[35]) + W16;
  253. ZA[253] = ZA[251] + ZA[249];
  254. ZA[252] = ZA[233] + ZA[251];
  255. ZA[240] = ZA[237] + ZA[8];
  256. ZA[256] = (ZCh(ZA[252], ZA[247], ZA[242]) + ZA[240]) + ZR26(ZA[252]);
  257. ZA[254] = ZMa(ZA[248], ZA[243], ZA[253]) + ZR30(ZA[253]);
  258. ZA[40] = ZA[38] + K[15];
  259. ZA[10] = ZR15(ZA[7]) + W17;
  260. ZA[258] = ZA[256] + ZA[254];
  261. ZA[257] = ZA[238] + ZA[256];
  262. ZA[245] = ZA[242] + ZA[40];
  263. ZA[261] = (ZCh(ZA[257], ZA[252], ZA[247]) + ZA[245]) + ZR26(ZA[257]);
  264. ZA[259] = ZMa(ZA[253], ZA[248], ZA[258]) + ZR30(ZA[258]);
  265. ZA[13] = ZA[10] + K[16];
  266. ZA[43] = ZR15(ZA[38]) + ZA[0];
  267. ZA[263] = ZA[261] + ZA[259];
  268. ZA[262] = ZA[243] + ZA[261];
  269. ZA[250] = ZA[247] + ZA[13];
  270. ZA[266] = (ZCh(ZA[262], ZA[257], ZA[252]) + ZA[250]) + ZR26(ZA[262]);
  271. ZA[264] = ZMa(ZA[258], ZA[253], ZA[263]) + ZR30(ZA[263]);
  272. ZA[11] = ZR15(ZA[10]);
  273. ZA[45] = ZA[43] + K[17];
  274. ZA[52] = ZA[11] + ZA[32];
  275. ZA[267] = ZA[248] + ZA[266];
  276. ZA[255] = ZA[252] + ZA[45];
  277. ZA[268] = ZA[266] + ZA[264];
  278. ZA[271] = (ZCh(ZA[267], ZA[262], ZA[257]) + ZA[255]) + ZR26(ZA[267]);
  279. ZA[269] = ZMa(ZA[263], ZA[258], ZA[268]) + ZR30(ZA[268]);
  280. ZA[54] = ZA[52] + K[18];
  281. ZA[48] = ZR15(ZA[43]) + ZA[3];
  282. ZA[273] = ZA[271] + ZA[269];
  283. ZA[272] = ZA[253] + ZA[271];
  284. ZA[260] = ZA[257] + ZA[54];
  285. ZA[276] = (ZCh(ZA[272], ZA[267], ZA[262]) + ZA[260]) + ZR26(ZA[272]);
  286. ZA[274] = ZMa(ZA[268], ZA[263], ZA[273]) + ZR30(ZA[273]);
  287. ZA[49] = ZA[48] + K[19];
  288. ZA[61] = ZR15(ZA[52]) + ZA[35];
  289. ZA[278] = ZA[276] + ZA[274];
  290. ZA[277] = ZA[258] + ZA[276];
  291. ZA[265] = ZA[262] + ZA[49];
  292. ZA[281] = (ZCh(ZA[277], ZA[272], ZA[267]) + ZA[265]) + ZR26(ZA[277]);
  293. ZA[279] = ZMa(ZA[273], ZA[268], ZA[278]) + ZR30(ZA[278]);
  294. ZA[62] = ZA[61] + K[20];
  295. ZA[53] = ZR15(ZA[48]) + ZA[7];
  296. ZA[283] = ZA[281] + ZA[279];
  297. ZA[282] = ZA[263] + ZA[281];
  298. ZA[270] = ZA[267] + ZA[62];
  299. ZA[286] = (ZCh(ZA[282], ZA[277], ZA[272]) + ZA[270]) + ZR26(ZA[282]);
  300. ZA[284] = ZMa(ZA[278], ZA[273], ZA[283]) + ZR30(ZA[283]);
  301. ZA[39] = ZA[38] + K[21];
  302. ZA[55] = ZA[53] + K[22];
  303. ZA[66] = ZR15(ZA[61]) + ZA[39];
  304. ZA[288] = ZA[286] + ZA[284];
  305. ZA[287] = ZA[268] + ZA[286];
  306. ZA[275] = ZA[272] + ZA[55];
  307. ZA[291] = (ZCh(ZA[287], ZA[282], ZA[277]) + ZA[275]) + ZR26(ZA[287]);
  308. ZA[289] = ZMa(ZA[283], ZA[278], ZA[288]) + ZR30(ZA[288]);
  309. ZA[12] = ZA[10] + W31;
  310. ZA[68] = ZA[66] + K[23];
  311. ZA[67] = ZR15(ZA[53]) + ZA[12];
  312. ZA[293] = ZA[291] + ZA[289];
  313. ZA[292] = ZA[273] + ZA[291];
  314. ZA[280] = ZA[277] + ZA[68];
  315. ZA[296] = (ZCh(ZA[292], ZA[287], ZA[282]) + ZA[280]) + ZR26(ZA[292]);
  316. ZA[294] = ZMa(ZA[288], ZA[283], ZA[293]) + ZR30(ZA[293]);
  317. ZA[2] = ZR25(ZA[0]);
  318. ZA[69] = ZA[67] + K[24];
  319. ZA[44] = ZA[43] + W32;
  320. ZA[75] = ZR15(ZA[66]) + ZA[44];
  321. ZA[298] = ZA[296] + ZA[294];
  322. ZA[297] = ZA[278] + ZA[296];
  323. ZA[285] = ZA[282] + ZA[69];
  324. ZA[5] = ZA[2] + W17;
  325. ZA[301] = (ZCh(ZA[297], ZA[292], ZA[287]) + ZA[285]) + ZR26(ZA[297]);
  326. ZA[299] = ZMa(ZA[293], ZA[288], ZA[298]) + ZR30(ZA[298]);
  327. ZA[56] = ZA[52] + ZA[5];
  328. ZA[76] = ZA[75] + K[25];
  329. ZA[34] = ZR25(ZA[32]) + ZA[0];
  330. ZA[70] = ZR15(ZA[67]) + ZA[56];
  331. ZA[302] = ZA[283] + ZA[301];
  332. ZA[303] = ZA[301] + ZA[299];
  333. ZA[290] = ZA[287] + ZA[76];
  334. ZA[306] = (ZCh(ZA[302], ZA[297], ZA[292]) + ZA[290]) + ZR26(ZA[302]);
  335. ZA[304] = ZMa(ZA[298], ZA[293], ZA[303]) + ZR30(ZA[303]);
  336. ZA[6] = ZR25(ZA[3]);
  337. ZA[77] = ZA[70] + K[26];
  338. ZA[50] = ZA[34] + ZA[48];
  339. ZA[78] = ZR15(ZA[75]) + ZA[50];
  340. ZA[308] = ZA[306] + ZA[304];
  341. ZA[307] = ZA[288] + ZA[306];
  342. ZA[295] = ZA[292] + ZA[77];
  343. ZA[41] = ZA[32] + ZA[6];
  344. ZA[311] = (ZCh(ZA[307], ZA[302], ZA[297]) + ZA[295]) + ZR26(ZA[307]);
  345. ZA[309] = ZMa(ZA[303], ZA[298], ZA[308]) + ZR30(ZA[308]);
  346. ZA[63] = ZA[41] + ZA[61];
  347. ZA[85] = ZA[78] + K[27];
  348. ZA[37] = ZR25(ZA[35]) + ZA[3];
  349. ZA[79] = ZR15(ZA[70]) + ZA[63];
  350. ZA[312] = ZA[293] + ZA[311];
  351. ZA[313] = ZA[311] + ZA[309];
  352. ZA[300] = ZA[297] + ZA[85];
  353. ZA[316] = (ZCh(ZA[312], ZA[307], ZA[302]) + ZA[300]) + ZR26(ZA[312]);
  354. ZA[314] = ZMa(ZA[308], ZA[303], ZA[313]) + ZR30(ZA[313]);
  355. ZA[9] = ZR25(ZA[7]);
  356. ZA[86] = ZA[79] + K[28];
  357. ZA[57] = ZA[37] + ZA[53];
  358. ZA[87] = ZR15(ZA[78]) + ZA[57];
  359. ZA[318] = ZA[316] + ZA[314];
  360. ZA[317] = ZA[298] + ZA[316];
  361. ZA[305] = ZA[302] + ZA[86];
  362. ZA[46] = ZA[35] + ZA[9];
  363. ZA[321] = (ZCh(ZA[317], ZA[312], ZA[307]) + ZA[305]) + ZR26(ZA[317]);
  364. ZA[319] = ZMa(ZA[313], ZA[308], ZA[318]) + ZR30(ZA[318]);
  365. ZA[71] = ZA[46] + ZA[66];
  366. ZA[92] = ZA[87] + K[29];
  367. ZA[42] = ZR25(ZA[38]) + ZA[7];
  368. ZA[88] = ZR15(ZA[79]) + ZA[71];
  369. ZA[322] = ZA[303] + ZA[321];
  370. ZA[323] = ZA[321] + ZA[319];
  371. ZA[310] = ZA[307] + ZA[92];
  372. ZA[326] = (ZCh(ZA[322], ZA[317], ZA[312]) + ZA[310]) + ZR26(ZA[322]);
  373. ZA[324] = ZMa(ZA[318], ZA[313], ZA[323]) + ZR30(ZA[323]);
  374. ZA[14] = ZR25(ZA[10]);
  375. ZA[93] = ZA[88] + K[30];
  376. ZA[72] = ZA[42] + ZA[67];
  377. ZA[94] = ZR15(ZA[87]) + ZA[72];
  378. ZA[328] = ZA[326] + ZA[324];
  379. ZA[327] = ZA[308] + ZA[326];
  380. ZA[315] = ZA[312] + ZA[93];
  381. ZA[51] = ZA[38] + ZA[14];
  382. ZA[331] = (ZCh(ZA[327], ZA[322], ZA[317]) + ZA[315]) + ZR26(ZA[327]);
  383. ZA[329] = ZMa(ZA[323], ZA[318], ZA[328]) + ZR30(ZA[328]);
  384. ZA[80] = ZA[51] + ZA[75];
  385. ZA[100] = ZA[94] + K[31];
  386. ZA[47] = ZR25(ZA[43]) + ZA[10];
  387. ZA[95] = ZR15(ZA[88]) + ZA[80];
  388. ZA[332] = ZA[313] + ZA[331];
  389. ZA[333] = ZA[331] + ZA[329];
  390. ZA[320] = ZA[317] + ZA[100];
  391. ZA[336] = (ZCh(ZA[332], ZA[327], ZA[322]) + ZA[320]) + ZR26(ZA[332]);
  392. ZA[334] = ZMa(ZA[328], ZA[323], ZA[333]) + ZR30(ZA[333]);
  393. ZA[81] = ZA[47] + ZA[70];
  394. ZA[101] = ZA[95] + K[32];
  395. ZA[58] = ZR25(ZA[52]) + ZA[43];
  396. ZA[102] = ZR15(ZA[94]) + ZA[81];
  397. ZA[337] = ZA[318] + ZA[336];
  398. ZA[338] = ZA[336] + ZA[334];
  399. ZA[325] = ZA[322] + ZA[101];
  400. ZA[341] = (ZCh(ZA[337], ZA[332], ZA[327]) + ZA[325]) + ZR26(ZA[337]);
  401. ZA[339] = ZMa(ZA[333], ZA[328], ZA[338]) + ZR30(ZA[338]);
  402. ZA[89] = ZA[58] + ZA[78];
  403. ZA[108] = ZA[102] + K[33];
  404. ZA[59] = ZR25(ZA[48]) + ZA[52];
  405. ZA[103] = ZR15(ZA[95]) + ZA[89];
  406. ZA[342] = ZA[323] + ZA[341];
  407. ZA[343] = ZA[341] + ZA[339];
  408. ZA[330] = ZA[327] + ZA[108];
  409. ZA[346] = (ZCh(ZA[342], ZA[337], ZA[332]) + ZA[330]) + ZR26(ZA[342]);
  410. ZA[344] = ZMa(ZA[338], ZA[333], ZA[343]) + ZR30(ZA[343]);
  411. ZA[90] = ZA[59] + ZA[79];
  412. ZA[109] = ZA[103] + K[34];
  413. ZA[64] = ZR25(ZA[61]) + ZA[48];
  414. ZA[110] = ZR15(ZA[102]) + ZA[90];
  415. ZA[347] = ZA[328] + ZA[346];
  416. ZA[348] = ZA[346] + ZA[344];
  417. ZA[335] = ZA[332] + ZA[109];
  418. ZA[351] = (ZCh(ZA[347], ZA[342], ZA[337]) + ZA[335]) + ZR26(ZA[347]);
  419. ZA[349] = ZMa(ZA[343], ZA[338], ZA[348]) + ZR30(ZA[348]);
  420. ZA[60] = ZR25(ZA[53]);
  421. ZA[116] = ZA[110] + K[35];
  422. ZA[96] = ZA[87] + ZA[64];
  423. ZA[111] = ZR15(ZA[103]) + ZA[96];
  424. ZA[353] = ZA[351] + ZA[349];
  425. ZA[352] = ZA[333] + ZA[351];
  426. ZA[340] = ZA[337] + ZA[116];
  427. ZA[65] = ZA[60] + ZA[61];
  428. ZA[356] = (ZCh(ZA[352], ZA[347], ZA[342]) + ZA[340]) + ZR26(ZA[352]);
  429. ZA[354] = ZMa(ZA[348], ZA[343], ZA[353]) + ZR30(ZA[353]);
  430. ZA[97] = ZA[88] + ZA[65];
  431. ZA[117] = ZA[111] + K[36];
  432. ZA[73] = ZR25(ZA[66]) + ZA[53];
  433. ZA[118] = ZR15(ZA[110]) + ZA[97];
  434. ZA[357] = ZA[338] + ZA[356];
  435. ZA[358] = ZA[356] + ZA[354];
  436. ZA[345] = ZA[342] + ZA[117];
  437. ZA[361] = (ZCh(ZA[357], ZA[352], ZA[347]) + ZA[345]) + ZR26(ZA[357]);
  438. ZA[359] = ZMa(ZA[353], ZA[348], ZA[358]) + ZR30(ZA[358]);
  439. ZA[104] = ZA[73] + ZA[94];
  440. ZA[124] = ZA[118] + K[37];
  441. ZA[74] = ZR25(ZA[67]) + ZA[66];
  442. ZA[119] = ZR15(ZA[111]) + ZA[104];
  443. ZA[362] = ZA[343] + ZA[361];
  444. ZA[363] = ZA[361] + ZA[359];
  445. ZA[350] = ZA[347] + ZA[124];
  446. ZA[366] = (ZCh(ZA[362], ZA[357], ZA[352]) + ZA[350]) + ZR26(ZA[362]);
  447. ZA[364] = ZMa(ZA[358], ZA[353], ZA[363]) + ZR30(ZA[363]);
  448. ZA[105] = ZA[74] + ZA[95];
  449. ZA[125] = ZA[119] + K[38];
  450. ZA[82] = ZR25(ZA[75]) + ZA[67];
  451. ZA[126] = ZR15(ZA[118]) + ZA[105];
  452. ZA[367] = ZA[348] + ZA[366];
  453. ZA[368] = ZA[366] + ZA[364];
  454. ZA[355] = ZA[352] + ZA[125];
  455. ZA[371] = (ZCh(ZA[367], ZA[362], ZA[357]) + ZA[355]) + ZR26(ZA[367]);
  456. ZA[369] = ZMa(ZA[363], ZA[358], ZA[368]) + ZR30(ZA[368]);
  457. ZA[112] = ZA[102] + ZA[82];
  458. ZA[132] = ZA[126] + K[39];
  459. ZA[83] = ZR25(ZA[70]) + ZA[75];
  460. ZA[127] = ZR15(ZA[119]) + ZA[112];
  461. ZA[372] = ZA[353] + ZA[371];
  462. ZA[373] = ZA[371] + ZA[369];
  463. ZA[360] = ZA[357] + ZA[132];
  464. ZA[376] = (ZCh(ZA[372], ZA[367], ZA[362]) + ZA[360]) + ZR26(ZA[372]);
  465. ZA[374] = ZMa(ZA[368], ZA[363], ZA[373]) + ZR30(ZA[373]);
  466. ZA[113] = ZA[103] + ZA[83];
  467. ZA[133] = ZA[127] + K[40];
  468. ZA[84] = ZR25(ZA[78]) + ZA[70];
  469. ZA[134] = ZR15(ZA[126]) + ZA[113];
  470. ZA[377] = ZA[358] + ZA[376];
  471. ZA[378] = ZA[376] + ZA[374];
  472. ZA[365] = ZA[362] + ZA[133];
  473. ZA[381] = (ZCh(ZA[377], ZA[372], ZA[367]) + ZA[365]) + ZR26(ZA[377]);
  474. ZA[379] = ZMa(ZA[373], ZA[368], ZA[378]) + ZR30(ZA[378]);
  475. ZA[120] = ZA[110] + ZA[84];
  476. ZA[140] = ZA[134] + K[41];
  477. ZA[91] = ZR25(ZA[79]) + ZA[78];
  478. ZA[135] = ZR15(ZA[127]) + ZA[120];
  479. ZA[382] = ZA[363] + ZA[381];
  480. ZA[383] = ZA[381] + ZA[379];
  481. ZA[370] = ZA[367] + ZA[140];
  482. ZA[386] = (ZCh(ZA[382], ZA[377], ZA[372]) + ZA[370]) + ZR26(ZA[382]);
  483. ZA[384] = ZMa(ZA[378], ZA[373], ZA[383]) + ZR30(ZA[383]);
  484. ZA[121] = ZA[111] + ZA[91];
  485. ZA[141] = ZA[135] + K[42];
  486. ZA[98] = ZR25(ZA[87]) + ZA[79];
  487. ZA[142] = ZR15(ZA[134]) + ZA[121];
  488. ZA[387] = ZA[368] + ZA[386];
  489. ZA[388] = ZA[386] + ZA[384];
  490. ZA[375] = ZA[372] + ZA[141];
  491. ZA[391] = (ZCh(ZA[387], ZA[382], ZA[377]) + ZA[375]) + ZR26(ZA[387]);
  492. ZA[389] = ZMa(ZA[383], ZA[378], ZA[388]) + ZR30(ZA[388]);
  493. ZA[128] = ZA[118] + ZA[98];
  494. ZA[147] = ZA[142] + K[43];
  495. ZA[99] = ZR25(ZA[88]) + ZA[87];
  496. ZA[143] = ZR15(ZA[135]) + ZA[128];
  497. ZA[392] = ZA[373] + ZA[391];
  498. ZA[393] = ZA[391] + ZA[389];
  499. ZA[380] = ZA[377] + ZA[147];
  500. ZA[396] = (ZCh(ZA[392], ZA[387], ZA[382]) + ZA[380]) + ZR26(ZA[392]);
  501. ZA[394] = ZMa(ZA[388], ZA[383], ZA[393]) + ZR30(ZA[393]);
  502. ZA[129] = ZA[119] + ZA[99];
  503. ZA[148] = ZA[143] + K[44];
  504. ZA[106] = ZR25(ZA[94]) + ZA[88];
  505. ZA[149] = ZR15(ZA[142]) + ZA[129];
  506. ZA[397] = ZA[378] + ZA[396];
  507. ZA[398] = ZA[396] + ZA[394];
  508. ZA[385] = ZA[382] + ZA[148];
  509. ZA[401] = (ZCh(ZA[397], ZA[392], ZA[387]) + ZA[385]) + ZR26(ZA[397]);
  510. ZA[399] = ZMa(ZA[393], ZA[388], ZA[398]) + ZR30(ZA[398]);
  511. ZA[136] = ZA[126] + ZA[106];
  512. ZA[153] = ZA[149] + K[45];
  513. ZA[107] = ZR25(ZA[95]) + ZA[94];
  514. ZA[150] = ZR15(ZA[143]) + ZA[136];
  515. ZA[402] = ZA[383] + ZA[401];
  516. ZA[403] = ZA[401] + ZA[399];
  517. ZA[390] = ZA[387] + ZA[153];
  518. ZA[406] = (ZCh(ZA[402], ZA[397], ZA[392]) + ZA[390]) + ZR26(ZA[402]);
  519. ZA[404] = ZMa(ZA[398], ZA[393], ZA[403]) + ZR30(ZA[403]);
  520. ZA[137] = ZA[127] + ZA[107];
  521. ZA[154] = ZA[150] + K[46];
  522. ZA[114] = ZR25(ZA[102]) + ZA[95];
  523. ZA[155] = ZR15(ZA[149]) + ZA[137];
  524. ZA[407] = ZA[388] + ZA[406];
  525. ZA[408] = ZA[406] + ZA[404];
  526. ZA[395] = ZA[392] + ZA[154];
  527. ZA[411] = (ZCh(ZA[407], ZA[402], ZA[397]) + ZA[395]) + ZR26(ZA[407]);
  528. ZA[409] = ZMa(ZA[403], ZA[398], ZA[408]) + ZR30(ZA[408]);
  529. ZA[144] = ZA[134] + ZA[114];
  530. ZA[159] = ZA[155] + K[47];
  531. ZA[115] = ZR25(ZA[103]) + ZA[102];
  532. ZA[156] = ZR15(ZA[150]) + ZA[144];
  533. ZA[412] = ZA[393] + ZA[411];
  534. ZA[413] = ZA[411] + ZA[409];
  535. ZA[400] = ZA[397] + ZA[159];
  536. ZA[416] = (ZCh(ZA[412], ZA[407], ZA[402]) + ZA[400]) + ZR26(ZA[412]);
  537. ZA[414] = ZMa(ZA[408], ZA[403], ZA[413]) + ZR30(ZA[413]);
  538. ZA[145] = ZA[135] + ZA[115];
  539. ZA[160] = ZA[156] + K[48];
  540. ZA[122] = ZR25(ZA[110]) + ZA[103];
  541. ZA[161] = ZR15(ZA[155]) + ZA[145];
  542. ZA[417] = ZA[398] + ZA[416];
  543. ZA[418] = ZA[416] + ZA[414];
  544. ZA[405] = ZA[402] + ZA[160];
  545. ZA[421] = (ZCh(ZA[417], ZA[412], ZA[407]) + ZA[405]) + ZR26(ZA[417]);
  546. ZA[419] = ZMa(ZA[413], ZA[408], ZA[418]) + ZR30(ZA[418]);
  547. ZA[151] = ZA[142] + ZA[122];
  548. ZA[165] = ZA[161] + K[49];
  549. ZA[123] = ZR25(ZA[111]) + ZA[110];
  550. ZA[162] = ZR15(ZA[156]) + ZA[151];
  551. ZA[422] = ZA[403] + ZA[421];
  552. ZA[423] = ZA[421] + ZA[419];
  553. ZA[410] = ZA[407] + ZA[165];
  554. ZA[426] = (ZCh(ZA[422], ZA[417], ZA[412]) + ZA[410]) + ZR26(ZA[422]);
  555. ZA[424] = ZMa(ZA[418], ZA[413], ZA[423]) + ZR30(ZA[423]);
  556. ZA[152] = ZA[143] + ZA[123];
  557. ZA[166] = ZA[162] + K[50];
  558. ZA[130] = ZR25(ZA[118]) + ZA[111];
  559. ZA[167] = ZR15(ZA[161]) + ZA[152];
  560. ZA[427] = ZA[408] + ZA[426];
  561. ZA[428] = ZA[426] + ZA[424];
  562. ZA[415] = ZA[412] + ZA[166];
  563. ZA[431] = (ZCh(ZA[427], ZA[422], ZA[417]) + ZA[415]) + ZR26(ZA[427]);
  564. ZA[429] = ZMa(ZA[423], ZA[418], ZA[428]) + ZR30(ZA[428]);
  565. ZA[157] = ZA[149] + ZA[130];
  566. ZA[170] = ZA[167] + K[51];
  567. ZA[131] = ZR25(ZA[119]) + ZA[118];
  568. ZA[168] = ZR15(ZA[162]) + ZA[157];
  569. ZA[432] = ZA[413] + ZA[431];
  570. ZA[433] = ZA[431] + ZA[429];
  571. ZA[420] = ZA[417] + ZA[170];
  572. ZA[436] = (ZCh(ZA[432], ZA[427], ZA[422]) + ZA[420]) + ZR26(ZA[432]);
  573. ZA[434] = ZMa(ZA[428], ZA[423], ZA[433]) + ZR30(ZA[433]);
  574. ZA[158] = ZA[150] + ZA[131];
  575. ZA[171] = ZA[168] + K[52];
  576. ZA[138] = ZR25(ZA[126]) + ZA[119];
  577. ZA[172] = ZR15(ZA[167]) + ZA[158];
  578. ZA[437] = ZA[418] + ZA[436];
  579. ZA[438] = ZA[436] + ZA[434];
  580. ZA[425] = ZA[422] + ZA[171];
  581. ZA[441] = (ZCh(ZA[437], ZA[432], ZA[427]) + ZA[425]) + ZR26(ZA[437]);
  582. ZA[439] = ZMa(ZA[433], ZA[428], ZA[438]) + ZR30(ZA[438]);
  583. ZA[163] = ZA[155] + ZA[138];
  584. ZA[174] = ZA[172] + K[53];
  585. ZA[139] = ZR25(ZA[127]) + ZA[126];
  586. ZA[173] = ZR15(ZA[168]) + ZA[163];
  587. ZA[442] = ZA[423] + ZA[441];
  588. ZA[443] = ZA[441] + ZA[439];
  589. ZA[430] = ZA[427] + ZA[174];
  590. ZA[445] = (ZCh(ZA[442], ZA[437], ZA[432]) + ZA[430]) + ZR26(ZA[442]);
  591. ZA[444] = ZMa(ZA[438], ZA[433], ZA[443]) + ZR30(ZA[443]);
  592. ZA[164] = ZA[156] + ZA[139];
  593. ZA[175] = ZA[173] + K[54];
  594. ZA[146] = ZR25(ZA[134]) + ZA[127];
  595. ZA[176] = ZR15(ZA[172]) + ZA[164];
  596. ZA[446] = ZA[428] + ZA[445];
  597. ZA[447] = ZA[445] + ZA[444];
  598. ZA[435] = ZA[432] + ZA[175];
  599. ZA[449] = (ZCh(ZA[446], ZA[442], ZA[437]) + ZA[435]) + ZR26(ZA[446]);
  600. ZA[448] = ZMa(ZA[443], ZA[438], ZA[447]) + ZR30(ZA[447]);
  601. ZA[169] = ZA[161] + ZA[146];
  602. ZA[178] = ZA[176] + K[55];
  603. ZA[177] = ZR15(ZA[173]) + ZA[169];
  604. ZA[451] = ZA[449] + ZA[448];
  605. ZA[450] = ZA[433] + ZA[449];
  606. ZA[440] = ZA[437] + ZA[178];
  607. ZA[453] = (ZCh(ZA[450], ZA[446], ZA[442]) + ZA[440]) + ZR26(ZA[450]);
  608. ZA[452] = ZMa(ZA[447], ZA[443], ZA[451]) + ZR30(ZA[451]);
  609. ZA[179] = ZA[177] + K[56];
  610. ZA[454] = ZA[438] + ZA[453];
  611. ZA[494] = ZA[442] + ZA[179];
  612. ZA[455] = ZA[453] + ZA[452];
  613. ZA[457] = (ZCh(ZA[454], ZA[450], ZA[446]) + ZA[494]) + ZR26(ZA[454]);
  614. ZA[456] = ZMa(ZA[451], ZA[447], ZA[455]) + ZR30(ZA[455]);
  615. ZA[459] = ZA[457] + ZA[456];
  616. ZA[461] = ZA[455] + state1;
  617. ZA[460] = ZA[459] + state0;
  618. ZA[495] = ZA[460] + K[57];
  619. ZA[469] = ZA[461] + K[58];
  620. ZA[498] = (ZCh(ZA[495], K[59], K[60]) + ZA[469]) + ZR26(ZA[495]);
  621. ZA[462] = ZA[451] + state2;
  622. ZA[496] = ZA[460] + K[61];
  623. ZA[506] = ZA[498] + K[62];
  624. ZA[470] = ZA[462] + K[63];
  625. ZA[507] = (ZCh(ZA[506], ZA[495], K[59]) + ZA[470]) + ZR26(ZA[506]);
  626. ZA[500] = ZMa(K[64], K[65], ZA[496]) + ZR30(ZA[496]);
  627. ZA[463] = ZA[447] + state3;
  628. ZA[458] = ZA[443] + ZA[457];
  629. ZA[499] = ZA[498] + ZA[500];
  630. ZA[508] = ZA[507] + K[65];
  631. ZA[473] = ZA[463] + K[66];
  632. ZA[510] = (ZCh(ZA[508], ZA[506], ZA[495]) + ZA[473]) + ZR26(ZA[508]);
  633. ZA[928] = ZMa(ZA[496], K[64], ZA[499]) + ZR30(ZA[499]);
  634. ZA[464] = ZA[458] + state4;
  635. ZA[476] = ZA[464] + ZA[460] + K[67];
  636. ZA[511] = ZA[510] + K[64];
  637. ZA[509] = ZA[928] + ZA[507];
  638. ZA[465] = ZA[454] + state5;
  639. ZA[514] = (ZCh(ZA[511], ZA[508], ZA[506]) + ZA[476]) + ZR26(ZA[511]);
  640. ZA[512] = ZMa(ZA[499], ZA[496], ZA[509]) + ZR30(ZA[509]);
  641. ZA[478] = ZA[465] + K[68];
  642. ZA[519] = ZA[506] + ZA[478];
  643. ZA[516] = ZA[496] + ZA[514];
  644. ZA[513] = ZA[510] + ZA[512];
  645. ZA[466] = ZA[450] + state6;
  646. ZA[520] = (ZCh(ZA[516], ZA[511], ZA[508]) + ZA[519]) + ZR26(ZA[516]);
  647. ZA[515] = ZMa(ZA[509], ZA[499], ZA[513]) + ZR30(ZA[513]);
  648. ZA[480] = ZA[466] + K[69];
  649. ZA[524] = ZA[508] + ZA[480];
  650. ZA[521] = ZA[499] + ZA[520];
  651. ZA[517] = ZA[514] + ZA[515];
  652. ZA[467] = ZA[446] + state7;
  653. ZA[525] = (ZCh(ZA[521], ZA[516], ZA[511]) + ZA[524]) + ZR26(ZA[521]);
  654. ZA[522] = ZMa(ZA[513], ZA[509], ZA[517]) + ZR30(ZA[517]);
  655. ZA[484] = ZA[467] + K[70];
  656. ZA[529] = ZA[511] + ZA[484];
  657. ZA[526] = ZA[509] + ZA[525];
  658. ZA[523] = ZA[520] + ZA[522];
  659. ZA[530] = (ZCh(ZA[526], ZA[521], ZA[516]) + ZA[529]) + ZR26(ZA[526]);
  660. ZA[550] = ZMa(ZA[517], ZA[513], ZA[523]) + ZR30(ZA[523]);
  661. ZA[531] = ZA[513] + ZA[530];
  662. ZA[533] = ZA[516] + K[71];
  663. ZA[527] = ZA[550] + ZA[525];
  664. ZA[534] = (ZCh(ZA[531], ZA[526], ZA[521]) + ZA[533]) + ZR26(ZA[531]);
  665. ZA[551] = ZMa(ZA[523], ZA[517], ZA[527]) + ZR30(ZA[527]);
  666. ZA[535] = ZA[517] + ZA[534];
  667. ZA[538] = ZA[521] + K[1];
  668. ZA[532] = ZA[551] + ZA[530];
  669. ZA[539] = (ZCh(ZA[535], ZA[531], ZA[526]) + ZA[538]) + ZR26(ZA[535]);
  670. ZA[552] = ZMa(ZA[527], ZA[523], ZA[532]) + ZR30(ZA[532]);
  671. ZA[540] = ZA[523] + ZA[539];
  672. ZA[542] = ZA[526] + K[2];
  673. ZA[536] = ZA[552] + ZA[534];
  674. ZA[543] = (ZCh(ZA[540], ZA[535], ZA[531]) + ZA[542]) + ZR26(ZA[540]);
  675. ZA[553] = ZMa(ZA[532], ZA[527], ZA[536]) + ZR30(ZA[536]);
  676. ZA[544] = ZA[527] + ZA[543];
  677. ZA[555] = ZA[531] + K[3];
  678. ZA[541] = ZA[553] + ZA[539];
  679. ZA[558] = (ZCh(ZA[544], ZA[540], ZA[535]) + ZA[555]) + ZR26(ZA[544]);
  680. ZA[547] = ZMa(ZA[536], ZA[532], ZA[541]) + ZR30(ZA[541]);
  681. ZA[559] = ZA[532] + ZA[558];
  682. ZA[556] = ZA[535] + K[4];
  683. ZA[545] = ZA[547] + ZA[543];
  684. ZA[562] = (ZCh(ZA[559], ZA[544], ZA[540]) + ZA[556]) + ZR26(ZA[559]);
  685. ZA[561] = ZMa(ZA[541], ZA[536], ZA[545]) + ZR30(ZA[545]);
  686. ZA[563] = ZA[536] + ZA[562];
  687. ZA[560] = ZA[561] + ZA[558];
  688. ZA[557] = ZA[540] + K[5];
  689. ZA[568] = (ZCh(ZA[563], ZA[559], ZA[544]) + ZA[557]) + ZR26(ZA[563]);
  690. ZA[564] = ZMa(ZA[545], ZA[541], ZA[560]) + ZR30(ZA[560]);
  691. ZA[569] = ZA[541] + ZA[568];
  692. ZA[572] = ZA[544] + K[6];
  693. ZA[565] = ZA[562] + ZA[564];
  694. ZA[574] = (ZCh(ZA[569], ZA[563], ZA[559]) + ZA[572]) + ZR26(ZA[569]);
  695. ZA[570] = ZMa(ZA[560], ZA[545], ZA[565]) + ZR30(ZA[565]);
  696. ZA[468] = ZR25(ZA[461]);
  697. ZA[497] = ZA[468] + ZA[460];
  698. ZA[575] = ZA[545] + ZA[574];
  699. ZA[571] = ZA[568] + ZA[570];
  700. ZA[573] = ZA[559] + K[72];
  701. ZA[578] = (ZCh(ZA[575], ZA[569], ZA[563]) + ZA[573]) + ZR26(ZA[575]);
  702. ZA[576] = ZMa(ZA[565], ZA[560], ZA[571]) + ZR30(ZA[571]);
  703. ZA[929] = ZR25(ZA[462]);
  704. ZA[503] = ZA[497] + 0xe49b69c1U;
  705. ZA[471] = ZA[929] + ZA[461] + K[74];
  706. ZA[582] = ZA[563] + ZA[503];
  707. ZA[579] = ZA[560] + ZA[578];
  708. ZA[577] = ZA[574] + ZA[576];
  709. ZA[583] = (ZCh(ZA[579], ZA[575], ZA[569]) + ZA[582]) + ZR26(ZA[579]);
  710. ZA[580] = ZMa(ZA[571], ZA[565], ZA[577]) + ZR30(ZA[577]);
  711. ZA[488] = ZA[471] + K[75];
  712. ZA[472] = ZR25(ZA[463]) + ZA[462];
  713. ZA[587] = ZA[569] + ZA[488];
  714. ZA[584] = ZA[565] + ZA[583];
  715. ZA[581] = ZA[578] + ZA[580];
  716. ZA[588] = (ZCh(ZA[584], ZA[579], ZA[575]) + ZA[587]) + ZR26(ZA[584]);
  717. ZA[586] = ZMa(ZA[577], ZA[571], ZA[581]) + ZR30(ZA[581]);
  718. ZA[501] = ZR15(ZA[497]) + ZA[472];
  719. ZA[475] = ZR15(ZA[471]);
  720. ZA[926] = ZA[575] + K[8];
  721. ZA[474] = ZA[475] + ZA[463] + ZR25(ZA[464]);
  722. ZA[927] = ZA[926] + ZA[501];
  723. ZA[589] = ZA[571] + ZA[588];
  724. ZA[585] = ZA[583] + ZA[586];
  725. ZA[592] = (ZCh(ZA[589], ZA[584], ZA[579]) + ZA[927]) + ZR26(ZA[589]);
  726. ZA[590] = ZMa(ZA[581], ZA[577], ZA[585]) + ZR30(ZA[585]);
  727. ZA[477] = ZR25(ZA[465]) + ZA[464];
  728. ZA[489] = ZA[474] + K[9];
  729. ZA[518] = ZR15(ZA[501]) + ZA[477];
  730. ZA[479] = ZR25(ZA[466]);
  731. ZA[596] = ZA[579] + ZA[489];
  732. ZA[593] = ZA[577] + ZA[592];
  733. ZA[591] = ZA[588] + ZA[590];
  734. ZA[597] = (ZCh(ZA[593], ZA[589], ZA[584]) + ZA[596]) + ZR26(ZA[593]);
  735. ZA[594] = ZMa(ZA[585], ZA[581], ZA[591]) + ZR30(ZA[591]);
  736. ZA[481] = ZA[479] + ZA[465];
  737. ZA[601] = ZA[518] + K[11];
  738. ZA[482] = ZR15(ZA[474]) + ZA[481];
  739. ZA[602] = ZA[584] + ZA[601];
  740. ZA[598] = ZA[581] + ZA[597];
  741. ZA[595] = ZA[592] + ZA[594];
  742. ZA[632] = (ZCh(ZA[598], ZA[593], ZA[589]) + ZA[602]) + ZR26(ZA[598]);
  743. ZA[599] = ZMa(ZA[591], ZA[585], ZA[595]) + ZR30(ZA[595]);
  744. ZA[483] = ZA[466] + K[76] + ZR25(ZA[467]);
  745. ZA[490] = ZA[482] + K[12];
  746. ZA[528] = ZR15(ZA[518]) + ZA[483];
  747. ZA[736] = ZA[585] + ZA[632];
  748. ZA[605] = ZA[589] + ZA[490];
  749. ZA[600] = ZA[597] + ZA[599];
  750. ZA[485] = ZA[467] + K[77];
  751. ZA[738] = (ZCh(ZA[736], ZA[598], ZA[593]) + ZA[605]) + ZR26(ZA[736]);
  752. ZA[744] = ZMa(ZA[595], ZA[591], ZA[600]) + ZR30(ZA[600]);
  753. ZA[487] = ZR15(ZA[482]) + ZA[485];
  754. ZA[603] = ZA[528] + K[14];
  755. ZA[502] = ZA[497] + ZA[487];
  756. ZA[739] = ZA[591] + ZA[738];
  757. ZA[604] = ZA[593] + ZA[603];
  758. ZA[737] = ZA[744] + ZA[632];
  759. ZA[741] = (ZCh(ZA[739], ZA[736], ZA[598]) + ZA[604]) + ZR26(ZA[739]);
  760. ZA[745] = ZMa(ZA[600], ZA[595], ZA[737]) + ZR30(ZA[737]);
  761. ZA[486] = ZA[471] + K[10];
  762. ZA[606] = ZA[502] + K[15];
  763. ZA[537] = ZR15(ZA[528]) + ZA[486];
  764. ZA[742] = ZA[595] + ZA[741];
  765. ZA[613] = ZA[598] + ZA[606];
  766. ZA[740] = ZA[745] + ZA[738];
  767. ZA[747] = (ZCh(ZA[742], ZA[739], ZA[736]) + ZA[613]) + ZR26(ZA[742]);
  768. ZA[746] = ZMa(ZA[737], ZA[600], ZA[740]) + ZR30(ZA[740]);
  769. ZA[607] = ZA[537] + K[16];
  770. ZA[546] = ZR15(ZA[502]) + ZA[501];
  771. ZA[751] = ZA[736] + ZA[607];
  772. ZA[748] = ZA[600] + ZA[747];
  773. ZA[743] = ZA[746] + ZA[741];
  774. ZA[752] = (ZCh(ZA[748], ZA[742], ZA[739]) + ZA[751]) + ZR26(ZA[748]);
  775. ZA[749] = ZMa(ZA[740], ZA[737], ZA[743]) + ZR30(ZA[743]);
  776. ZA[608] = ZA[546] + K[17];
  777. ZA[554] = ZR15(ZA[537]) + ZA[474];
  778. ZA[756] = ZA[739] + ZA[608];
  779. ZA[753] = ZA[737] + ZA[752];
  780. ZA[750] = ZA[747] + ZA[749];
  781. ZA[757] = (ZCh(ZA[753], ZA[748], ZA[742]) + ZA[756]) + ZR26(ZA[753]);
  782. ZA[754] = ZMa(ZA[743], ZA[740], ZA[750]) + ZR30(ZA[750]);
  783. ZA[609] = ZA[554] + K[18];
  784. ZA[566] = ZR15(ZA[546]) + ZA[518];
  785. ZA[761] = ZA[742] + ZA[609];
  786. ZA[758] = ZA[740] + ZA[757];
  787. ZA[755] = ZA[752] + ZA[754];
  788. ZA[762] = (ZCh(ZA[758], ZA[753], ZA[748]) + ZA[761]) + ZR26(ZA[758]);
  789. ZA[759] = ZMa(ZA[750], ZA[743], ZA[755]) + ZR30(ZA[755]);
  790. ZA[610] = ZA[566] + K[19];
  791. ZA[567] = ZR15(ZA[554]) + ZA[482];
  792. ZA[766] = ZA[748] + ZA[610];
  793. ZA[763] = ZA[743] + ZA[762];
  794. ZA[760] = ZA[757] + ZA[759];
  795. ZA[767] = (ZCh(ZA[763], ZA[758], ZA[753]) + ZA[766]) + ZR26(ZA[763]);
  796. ZA[764] = ZMa(ZA[755], ZA[750], ZA[760]) + ZR30(ZA[760]);
  797. ZA[611] = ZA[567] + K[20];
  798. ZA[614] = ZR15(ZA[566]) + ZA[528];
  799. ZA[771] = ZA[753] + ZA[611];
  800. ZA[768] = ZA[750] + ZA[767];
  801. ZA[765] = ZA[762] + ZA[764];
  802. ZA[772] = (ZCh(ZA[768], ZA[763], ZA[758]) + ZA[771]) + ZR26(ZA[768]);
  803. ZA[769] = ZMa(ZA[760], ZA[755], ZA[765]) + ZR30(ZA[765]);
  804. ZA[612] = ZA[502] + K[78];
  805. ZA[615] = ZA[614] + K[22];
  806. ZA[616] = ZR15(ZA[567]) + ZA[612];
  807. ZA[504] = ZR25(ZA[497]) + K[76];
  808. ZA[776] = ZA[758] + ZA[615];
  809. ZA[773] = ZA[755] + ZA[772];
  810. ZA[770] = ZA[767] + ZA[769];
  811. ZA[777] = (ZCh(ZA[773], ZA[768], ZA[763]) + ZA[776]) + ZR26(ZA[773]);
  812. ZA[774] = ZMa(ZA[765], ZA[760], ZA[770]) + ZR30(ZA[770]);
  813. ZA[492] = ZR25(ZA[471]);
  814. ZA[618] = ZA[537] + ZA[504];
  815. ZA[617] = ZA[616] + K[23];
  816. ZA[619] = ZR15(ZA[614]) + ZA[618];
  817. ZA[781] = ZA[763] + ZA[617];
  818. ZA[778] = ZA[760] + ZA[777];
  819. ZA[775] = ZA[772] + ZA[774];
  820. ZA[505] = ZA[492] + ZA[497];
  821. ZA[782] = (ZCh(ZA[778], ZA[773], ZA[768]) + ZA[781]) + ZR26(ZA[778]);
  822. ZA[779] = ZMa(ZA[770], ZA[765], ZA[775]) + ZR30(ZA[775]);
  823. ZA[621] = ZA[505] + ZA[546];
  824. ZA[620] = ZA[619] + K[24];
  825. ZA[622] = ZR15(ZA[616]) + ZA[621];
  826. ZA[625] = ZR25(ZA[501]);
  827. ZA[786] = ZA[768] + ZA[620];
  828. ZA[783] = ZA[765] + ZA[782];
  829. ZA[624] = ZA[554] + ZA[471];
  830. ZA[780] = ZA[777] + ZA[779];
  831. ZA[787] = (ZCh(ZA[783], ZA[778], ZA[773]) + ZA[786]) + ZR26(ZA[783]);
  832. ZA[784] = ZMa(ZA[775], ZA[770], ZA[780]) + ZR30(ZA[780]);
  833. ZA[493] = ZR25(ZA[474]);
  834. ZA[626] = ZA[625] + ZA[624];
  835. ZA[623] = ZA[622] + K[25];
  836. ZA[627] = ZR15(ZA[619]) + ZA[626];
  837. ZA[791] = ZA[773] + ZA[623];
  838. ZA[788] = ZA[770] + ZA[787];
  839. ZA[785] = ZA[782] + ZA[784];
  840. ZA[629] = ZA[493] + ZA[501];
  841. ZA[792] = (ZCh(ZA[788], ZA[783], ZA[778]) + ZA[791]) + ZR26(ZA[788]);
  842. ZA[789] = ZMa(ZA[780], ZA[775], ZA[785]) + ZR30(ZA[785]);
  843. ZA[630] = ZA[566] + ZA[629];
  844. ZA[628] = ZA[627] + K[26];
  845. ZA[634] = ZR25(ZA[518]) + ZA[474];
  846. ZA[631] = ZR15(ZA[622]) + ZA[630];
  847. ZA[796] = ZA[778] + ZA[628];
  848. ZA[793] = ZA[775] + ZA[792];
  849. ZA[790] = ZA[787] + ZA[789];
  850. ZA[797] = (ZCh(ZA[793], ZA[788], ZA[783]) + ZA[796]) + ZR26(ZA[793]);
  851. ZA[794] = ZMa(ZA[785], ZA[780], ZA[790]) + ZR30(ZA[790]);
  852. ZA[491] = ZR25(ZA[482]);
  853. ZA[635] = ZA[567] + ZA[634];
  854. ZA[633] = ZA[631] + K[27];
  855. ZA[636] = ZR15(ZA[627]) + ZA[635];
  856. ZA[801] = ZA[783] + ZA[633];
  857. ZA[798] = ZA[780] + ZA[797];
  858. ZA[795] = ZA[792] + ZA[794];
  859. ZA[638] = ZA[491] + ZA[518];
  860. ZA[802] = (ZCh(ZA[798], ZA[793], ZA[788]) + ZA[801]) + ZR26(ZA[798]);
  861. ZA[799] = ZMa(ZA[790], ZA[785], ZA[795]) + ZR30(ZA[795]);
  862. ZA[639] = ZA[638] + ZA[614];
  863. ZA[637] = ZA[636] + K[28];
  864. ZA[642] = ZR25(ZA[528]) + ZA[482];
  865. ZA[640] = ZR15(ZA[631]) + ZA[639];
  866. ZA[806] = ZA[788] + ZA[637];
  867. ZA[803] = ZA[785] + ZA[802];
  868. ZA[800] = ZA[797] + ZA[799];
  869. ZA[807] = (ZCh(ZA[803], ZA[798], ZA[793]) + ZA[806]) + ZR26(ZA[803]);
  870. ZA[804] = ZMa(ZA[795], ZA[790], ZA[800]) + ZR30(ZA[800]);
  871. ZA[643] = ZA[616] + ZA[642];
  872. ZA[641] = ZA[640] + K[29];
  873. ZA[646] = ZR25(ZA[502]) + ZA[528];
  874. ZA[644] = ZR15(ZA[636]) + ZA[643];
  875. ZA[811] = ZA[793] + ZA[641];
  876. ZA[808] = ZA[790] + ZA[807];
  877. ZA[805] = ZA[802] + ZA[804];
  878. ZA[812] = (ZCh(ZA[808], ZA[803], ZA[798]) + ZA[811]) + ZR26(ZA[808]);
  879. ZA[809] = ZMa(ZA[800], ZA[795], ZA[805]) + ZR30(ZA[805]);
  880. ZA[647] = ZA[619] + ZA[646];
  881. ZA[645] = ZA[644] + K[30];
  882. ZA[650] = ZR25(ZA[537]) + ZA[502];
  883. ZA[648] = ZR15(ZA[640]) + ZA[647];
  884. ZA[816] = ZA[798] + ZA[645];
  885. ZA[813] = ZA[795] + ZA[812];
  886. ZA[810] = ZA[807] + ZA[809];
  887. ZA[817] = (ZCh(ZA[813], ZA[808], ZA[803]) + ZA[816]) + ZR26(ZA[813]);
  888. ZA[814] = ZMa(ZA[805], ZA[800], ZA[810]) + ZR30(ZA[810]);
  889. ZA[925] = ZA[622] + ZA[650];
  890. ZA[649] = ZA[648] + K[31];
  891. ZA[653] = ZR25(ZA[546]) + ZA[537];
  892. ZA[651] = ZR15(ZA[644]) + ZA[925];
  893. ZA[821] = ZA[803] + ZA[649];
  894. ZA[818] = ZA[800] + ZA[817];
  895. ZA[815] = ZA[812] + ZA[814];
  896. ZA[822] = (ZCh(ZA[818], ZA[813], ZA[808]) + ZA[821]) + ZR26(ZA[818]);
  897. ZA[819] = ZMa(ZA[810], ZA[805], ZA[815]) + ZR30(ZA[815]);
  898. ZA[654] = ZA[627] + ZA[653];
  899. ZA[652] = ZA[651] + K[32];
  900. ZA[657] = ZR25(ZA[554]) + ZA[546];
  901. ZA[655] = ZR15(ZA[648]) + ZA[654];
  902. ZA[826] = ZA[808] + ZA[652];
  903. ZA[823] = ZA[805] + ZA[822];
  904. ZA[820] = ZA[817] + ZA[819];
  905. ZA[827] = (ZCh(ZA[823], ZA[818], ZA[813]) + ZA[826]) + ZR26(ZA[823]);
  906. ZA[824] = ZMa(ZA[815], ZA[810], ZA[820]) + ZR30(ZA[820]);
  907. ZA[658] = ZA[631] + ZA[657];
  908. ZA[656] = ZA[655] + K[33];
  909. ZA[661] = ZR25(ZA[566]) + ZA[554];
  910. ZA[659] = ZR15(ZA[651]) + ZA[658];
  911. ZA[831] = ZA[813] + ZA[656];
  912. ZA[828] = ZA[810] + ZA[827];
  913. ZA[825] = ZA[822] + ZA[824];
  914. ZA[832] = (ZCh(ZA[828], ZA[823], ZA[818]) + ZA[831]) + ZR26(ZA[828]);
  915. ZA[829] = ZMa(ZA[820], ZA[815], ZA[825]) + ZR30(ZA[825]);
  916. ZA[662] = ZA[636] + ZA[661];
  917. ZA[660] = ZA[659] + K[34];
  918. ZA[665] = ZR25(ZA[567]) + ZA[566];
  919. ZA[663] = ZR15(ZA[655]) + ZA[662];
  920. ZA[836] = ZA[818] + ZA[660];
  921. ZA[833] = ZA[815] + ZA[832];
  922. ZA[830] = ZA[827] + ZA[829];
  923. ZA[837] = (ZCh(ZA[833], ZA[828], ZA[823]) + ZA[836]) + ZR26(ZA[833]);
  924. ZA[834] = ZMa(ZA[825], ZA[820], ZA[830]) + ZR30(ZA[830]);
  925. ZA[666] = ZA[640] + ZA[665];
  926. ZA[664] = ZA[663] + K[35];
  927. ZA[669] = ZR25(ZA[614]) + ZA[567];
  928. ZA[667] = ZR15(ZA[659]) + ZA[666];
  929. ZA[841] = ZA[823] + ZA[664];
  930. ZA[838] = ZA[820] + ZA[837];
  931. ZA[835] = ZA[832] + ZA[834];
  932. ZA[842] = (ZCh(ZA[838], ZA[833], ZA[828]) + ZA[841]) + ZR26(ZA[838]);
  933. ZA[839] = ZMa(ZA[830], ZA[825], ZA[835]) + ZR30(ZA[835]);
  934. ZA[670] = ZA[644] + ZA[669];
  935. ZA[668] = ZA[667] + K[36];
  936. ZA[677] = ZR25(ZA[616]) + ZA[614];
  937. ZA[671] = ZR15(ZA[663]) + ZA[670];
  938. ZA[846] = ZA[828] + ZA[668];
  939. ZA[843] = ZA[825] + ZA[842];
  940. ZA[840] = ZA[837] + ZA[839];
  941. ZA[847] = (ZCh(ZA[843], ZA[838], ZA[833]) + ZA[846]) + ZR26(ZA[843]);
  942. ZA[844] = ZMa(ZA[835], ZA[830], ZA[840]) + ZR30(ZA[840]);
  943. ZA[678] = ZA[648] + ZA[677];
  944. ZA[676] = ZA[671] + K[37];
  945. ZA[682] = ZR25(ZA[619]) + ZA[616];
  946. ZA[679] = ZR15(ZA[667]) + ZA[678];
  947. ZA[851] = ZA[833] + ZA[676];
  948. ZA[848] = ZA[830] + ZA[847];
  949. ZA[845] = ZA[842] + ZA[844];
  950. ZA[852] = (ZCh(ZA[848], ZA[843], ZA[838]) + ZA[851]) + ZR26(ZA[848]);
  951. ZA[849] = ZMa(ZA[840], ZA[835], ZA[845]) + ZR30(ZA[845]);
  952. ZA[683] = ZA[651] + ZA[682];
  953. ZA[680] = ZA[679] + K[38];
  954. ZA[686] = ZR25(ZA[622]) + ZA[619];
  955. ZA[684] = ZR15(ZA[671]) + ZA[683];
  956. ZA[856] = ZA[838] + ZA[680];
  957. ZA[853] = ZA[835] + ZA[852];
  958. ZA[850] = ZA[847] + ZA[849];
  959. ZA[857] = (ZCh(ZA[853], ZA[848], ZA[843]) + ZA[856]) + ZR26(ZA[853]);
  960. ZA[854] = ZMa(ZA[845], ZA[840], ZA[850]) + ZR30(ZA[850]);
  961. ZA[687] = ZA[655] + ZA[686];
  962. ZA[685] = ZA[684] + K[39];
  963. ZA[690] = ZR25(ZA[627]) + ZA[622];
  964. ZA[688] = ZR15(ZA[679]) + ZA[687];
  965. ZA[861] = ZA[843] + ZA[685];
  966. ZA[858] = ZA[840] + ZA[857];
  967. ZA[855] = ZA[852] + ZA[854];
  968. ZA[862] = (ZCh(ZA[858], ZA[853], ZA[848]) + ZA[861]) + ZR26(ZA[858]);
  969. ZA[859] = ZMa(ZA[850], ZA[845], ZA[855]) + ZR30(ZA[855]);
  970. ZA[691] = ZA[659] + ZA[690];
  971. ZA[689] = ZA[688] + K[40];
  972. ZA[694] = ZR25(ZA[631]) + ZA[627];
  973. ZA[692] = ZR15(ZA[684]) + ZA[691];
  974. ZA[866] = ZA[848] + ZA[689];
  975. ZA[863] = ZA[845] + ZA[862];
  976. ZA[860] = ZA[857] + ZA[859];
  977. ZA[867] = (ZCh(ZA[863], ZA[858], ZA[853]) + ZA[866]) + ZR26(ZA[863]);
  978. ZA[864] = ZMa(ZA[855], ZA[850], ZA[860]) + ZR30(ZA[860]);
  979. ZA[695] = ZA[663] + ZA[694];
  980. ZA[693] = ZA[692] + K[41];
  981. ZA[698] = ZR25(ZA[636]) + ZA[631];
  982. ZA[696] = ZR15(ZA[688]) + ZA[695];
  983. ZA[871] = ZA[853] + ZA[693];
  984. ZA[868] = ZA[850] + ZA[867];
  985. ZA[865] = ZA[862] + ZA[864];
  986. ZA[873] = (ZCh(ZA[868], ZA[863], ZA[858]) + ZA[871]) + ZR26(ZA[868]);
  987. ZA[869] = ZMa(ZA[860], ZA[855], ZA[865]) + ZR30(ZA[865]);
  988. ZA[699] = ZA[667] + ZA[698];
  989. ZA[697] = ZA[696] + K[42];
  990. ZA[702] = ZR25(ZA[640]) + ZA[636];
  991. ZA[700] = ZR15(ZA[692]) + ZA[699];
  992. ZA[877] = ZA[858] + ZA[697];
  993. ZA[874] = ZA[855] + ZA[873];
  994. ZA[870] = ZA[867] + ZA[869];
  995. ZA[878] = (ZCh(ZA[874], ZA[868], ZA[863]) + ZA[877]) + ZR26(ZA[874]);
  996. ZA[875] = ZMa(ZA[865], ZA[860], ZA[870]) + ZR30(ZA[870]);
  997. ZA[703] = ZA[671] + ZA[702];
  998. ZA[701] = ZA[700] + K[43];
  999. ZA[706] = ZR25(ZA[644]) + ZA[640];
  1000. ZA[704] = ZR15(ZA[696]) + ZA[703];
  1001. ZA[882] = ZA[863] + ZA[701];
  1002. ZA[879] = ZA[860] + ZA[878];
  1003. ZA[876] = ZA[873] + ZA[875];
  1004. ZA[883] = (ZCh(ZA[879], ZA[874], ZA[868]) + ZA[882]) + ZR26(ZA[879]);
  1005. ZA[880] = ZMa(ZA[870], ZA[865], ZA[876]) + ZR30(ZA[876]);
  1006. ZA[707] = ZA[679] + ZA[706];
  1007. ZA[705] = ZA[704] + K[44];
  1008. ZA[710] = ZR25(ZA[648]) + ZA[644];
  1009. ZA[708] = ZR15(ZA[700]) + ZA[707];
  1010. ZA[887] = ZA[868] + ZA[705];
  1011. ZA[884] = ZA[865] + ZA[883];
  1012. ZA[881] = ZA[878] + ZA[880];
  1013. ZA[888] = (ZCh(ZA[884], ZA[879], ZA[874]) + ZA[887]) + ZR26(ZA[884]);
  1014. ZA[885] = ZMa(ZA[876], ZA[870], ZA[881]) + ZR30(ZA[881]);
  1015. ZA[711] = ZA[684] + ZA[710];
  1016. ZA[709] = ZA[708] + K[45];
  1017. ZA[714] = ZR25(ZA[651]) + ZA[648];
  1018. ZA[712] = ZR15(ZA[704]) + ZA[711];
  1019. ZA[892] = ZA[874] + ZA[709];
  1020. ZA[889] = ZA[870] + ZA[888];
  1021. ZA[886] = ZA[883] + ZA[885];
  1022. ZA[893] = (ZCh(ZA[889], ZA[884], ZA[879]) + ZA[892]) + ZR26(ZA[889]);
  1023. ZA[890] = ZMa(ZA[881], ZA[876], ZA[886]) + ZR30(ZA[886]);
  1024. ZA[715] = ZA[688] + ZA[714];
  1025. ZA[713] = ZA[712] + K[46];
  1026. ZA[718] = ZR25(ZA[655]) + ZA[651];
  1027. ZA[716] = ZR15(ZA[708]) + ZA[715];
  1028. ZA[897] = ZA[879] + ZA[713];
  1029. ZA[894] = ZA[876] + ZA[893];
  1030. ZA[891] = ZA[888] + ZA[890];
  1031. ZA[898] = (ZCh(ZA[894], ZA[889], ZA[884]) + ZA[897]) + ZR26(ZA[894]);
  1032. ZA[895] = ZMa(ZA[886], ZA[881], ZA[891]) + ZR30(ZA[891]);
  1033. ZA[719] = ZA[692] + ZA[718];
  1034. ZA[717] = ZA[716] + K[47];
  1035. ZA[722] = ZR25(ZA[659]) + ZA[655];
  1036. ZA[720] = ZR15(ZA[712]) + ZA[719];
  1037. ZA[902] = ZA[884] + ZA[717];
  1038. ZA[899] = ZA[881] + ZA[898];
  1039. ZA[896] = ZA[893] + ZA[895];
  1040. ZA[903] = (ZCh(ZA[899], ZA[894], ZA[889]) + ZA[902]) + ZR26(ZA[899]);
  1041. ZA[900] = ZMa(ZA[891], ZA[886], ZA[896]) + ZR30(ZA[896]);
  1042. ZA[723] = ZA[696] + ZA[722];
  1043. ZA[721] = ZA[720] + K[48];
  1044. ZA[672] = ZR25(ZA[663]) + ZA[659];
  1045. ZA[724] = ZR15(ZA[716]) + ZA[723];
  1046. ZA[907] = ZA[889] + ZA[721];
  1047. ZA[904] = ZA[886] + ZA[903];
  1048. ZA[901] = ZA[898] + ZA[900];
  1049. ZA[908] = (ZCh(ZA[904], ZA[899], ZA[894]) + ZA[907]) + ZR26(ZA[904]);
  1050. ZA[905] = ZMa(ZA[896], ZA[891], ZA[901]) + ZR30(ZA[901]);
  1051. ZA[673] = ZR25(ZA[667]) + ZA[663];
  1052. ZA[726] = ZA[700] + ZA[672];
  1053. ZA[725] = ZA[724] + K[49];
  1054. ZA[727] = ZR15(ZA[720]) + ZA[726];
  1055. ZA[912] = ZA[894] + ZA[725];
  1056. ZA[909] = ZA[891] + ZA[908];
  1057. ZA[906] = ZA[903] + ZA[905];
  1058. ZA[675] = ZA[667] + K[52];
  1059. ZA[729] = ZA[704] + ZA[673];
  1060. ZA[913] = (ZCh(ZA[909], ZA[904], ZA[899]) + ZA[912]) + ZR26(ZA[909]);
  1061. ZA[910] = ZMa(ZA[901], ZA[896], ZA[906]) + ZR30(ZA[906]);
  1062. ZA[674] = ZR25(ZA[671]) + ZA[675];
  1063. ZA[730] = ZR15(ZA[724]) + ZA[729];
  1064. ZA[728] = ZA[727] + K[50];
  1065. ZA[681] = ZR25(ZA[679]) + ZA[671];
  1066. ZA[917] = ZA[899] + ZA[901] + ZA[728];
  1067. ZA[914] = ZA[896] + ZA[913];
  1068. ZA[911] = ZA[908] + ZA[910];
  1069. ZA[732] = ZA[708] + ZA[674];
  1070. ZA[731] = ZA[730] + K[51];
  1071. ZA[918] = (ZCh(ZA[914], ZA[909], ZA[904]) + ZA[917]) + ZR26(ZA[914]);
  1072. ZA[915] = ZMa(ZA[906], ZA[901], ZA[911]) + ZR30(ZA[911]);
  1073. ZA[733] = ZR15(ZA[727]) + ZA[732];
  1074. ZA[919] = ZA[906] + ZA[904] + ZA[731];
  1075. ZA[734] = ZA[712] + ZA[681];
  1076. ZA[920] = (ZCh(ZA[918], ZA[914], ZA[909]) + ZA[919]) + ZR26(ZA[918]);
  1077. ZA[735] = ZR15(ZA[730]) + ZA[734];
  1078. ZA[921] = ZA[911] + ZA[909] + ZA[733];
  1079. ZA[916] = ZA[913] + ZA[915];
  1080. ZA[922] = (ZCh(ZA[920], ZA[918], ZA[914]) + ZA[921]) + ZR26(ZA[920]);
  1081. ZA[923] = ZA[916] + ZA[914] + ZA[735];
  1082. ZA[924] = (ZCh(ZA[922], ZA[920], ZA[918]) + ZA[923]) + ZR26(ZA[922]);
  1083. #define FOUND (0x0F)
  1084. #define SETFOUND(Xnonce) output[output[FOUND]++] = Xnonce
  1085. #if defined(VECTORS4)
  1086. bool result = any(ZA[924] == K[79]);
  1087. if (result) {
  1088. if (ZA[924].x == K[79])
  1089. SETFOUND(Znonce.x);
  1090. if (ZA[924].y == K[79])
  1091. SETFOUND(Znonce.y);
  1092. if (ZA[924].z == K[79])
  1093. SETFOUND(Znonce.z);
  1094. if (ZA[924].w == K[79])
  1095. SETFOUND(Znonce.w);
  1096. }
  1097. #elif defined(VECTORS2)
  1098. bool result = any(ZA[924] == K[79]);
  1099. if (result) {
  1100. if (ZA[924].x == K[79])
  1101. SETFOUND(Znonce.x);
  1102. if (ZA[924].y == K[79])
  1103. SETFOUND(Znonce.y);
  1104. }
  1105. #else
  1106. if (ZA[924] == K[79])
  1107. SETFOUND(Znonce);
  1108. #endif
  1109. }