|
|
@ -60,486 +60,486 @@ __kernel __attribute__((reqd_work_group_size(WORKSIZE, 1, 1))) void search( |
|
|
|
__global uint * output) |
|
|
|
__global uint * output) |
|
|
|
{ |
|
|
|
{ |
|
|
|
|
|
|
|
|
|
|
|
z ZA[930]; |
|
|
|
z ZA[448]; |
|
|
|
|
|
|
|
|
|
|
|
const z Znonce = base + (uint)(get_global_id(0)); |
|
|
|
const z Znonce = base + (uint)(get_global_id(0)); |
|
|
|
|
|
|
|
|
|
|
|
ZA[15]=Znonce+PreVal4_state0; |
|
|
|
ZA[4]=Znonce+PreVal4_state0; |
|
|
|
ZA[16]=(ZCh(ZA[15],b1,c1)+d1)+ZR26(ZA[15]); |
|
|
|
ZA[5]=(ZCh(ZA[4],b1,c1)+d1)+ZR26(ZA[4]); |
|
|
|
ZA[26]=Znonce+PreVal4_T1; |
|
|
|
ZA[11]=Znonce+PreVal4_T1; |
|
|
|
ZA[17]=ZA[16]+h1; |
|
|
|
ZA[6]=ZA[5]+h1; |
|
|
|
ZA[19]=(ZCh(ZA[17],ZA[15],b1)+c1_plus_k5)+ZR26(ZA[17]); |
|
|
|
ZA[7]=(ZCh(ZA[6],ZA[4],b1)+c1_plus_k5)+ZR26(ZA[6]); |
|
|
|
ZA[28]=ZMa(f1,g1,ZA[26])+ZR30(ZA[26])+ZA[16]; |
|
|
|
ZA[12]=ZMa(f1,g1,ZA[11])+ZR30(ZA[11])+ZA[5]; |
|
|
|
ZA[20]=ZA[19]+g1; |
|
|
|
ZA[8]=ZA[7]+g1; |
|
|
|
ZA[22]=(ZCh(ZA[20],ZA[17],ZA[15])+b1_plus_k6)+ZR26(ZA[20]); |
|
|
|
ZA[9]=(ZCh(ZA[8],ZA[6],ZA[4])+b1_plus_k6)+ZR26(ZA[8]); |
|
|
|
ZA[29]=ZMa(ZA[26],f1,ZA[28])+ZR30(ZA[28])+ZA[19]; |
|
|
|
ZA[13]=ZMa(ZA[11],f1,ZA[12])+ZR30(ZA[12])+ZA[7]; |
|
|
|
ZA[23]=ZA[22]+f1; |
|
|
|
ZA[10]=ZA[9]+f1; |
|
|
|
ZA[30]=ZMa(ZA[28],ZA[26],ZA[29])+ZR30(ZA[29])+ZA[22]; |
|
|
|
ZA[14]=ZMa(ZA[12],ZA[11],ZA[13])+ZR30(ZA[13])+ZA[9]; |
|
|
|
ZA[181]=Znonce+PreVal4_state0_k7+ZCh(ZA[23],ZA[20],ZA[17])+ZR26(ZA[23]); |
|
|
|
ZA[55]=Znonce+PreVal4_state0_k7+ZCh(ZA[10],ZA[8],ZA[6])+ZR26(ZA[10]); |
|
|
|
ZA[182]=ZA[181]+ZA[26]; |
|
|
|
ZA[56]=ZA[55]+ZA[11]; |
|
|
|
ZA[183]=ZA[181]+ZMa(ZA[29],ZA[28],ZA[30])+ZR30(ZA[30]); |
|
|
|
ZA[57]=ZA[55]+ZMa(ZA[13],ZA[12],ZA[14])+ZR30(ZA[14]); |
|
|
|
ZA[186]=(ZCh(ZA[182],ZA[23],ZA[20])+ZA[17]+0xd807aa98U)+ZR26(ZA[182]); |
|
|
|
ZA[58]=(ZCh(ZA[56],ZA[10],ZA[8])+ZA[6]+0xd807aa98U)+ZR26(ZA[56]); |
|
|
|
ZA[187]=ZA[186]+ZA[28]; |
|
|
|
ZA[59]=ZA[58]+ZA[12]; |
|
|
|
ZA[188]=ZA[186]+ZMa(ZA[30],ZA[29],ZA[183])+ZR30(ZA[183]); |
|
|
|
ZA[60]=ZA[58]+ZMa(ZA[14],ZA[13],ZA[57])+ZR30(ZA[57]); |
|
|
|
ZA[191]=(ZCh(ZA[187],ZA[182],ZA[23])+ZA[20]+0x12835b01U)+ZR26(ZA[187]); |
|
|
|
ZA[61]=(ZCh(ZA[59],ZA[56],ZA[10])+ZA[8]+0x12835b01U)+ZR26(ZA[59]); |
|
|
|
ZA[192]=ZA[191]+ZA[29]; |
|
|
|
ZA[62]=ZA[61]+ZA[13]; |
|
|
|
ZA[193]=ZA[191]+ZMa(ZA[183],ZA[30],ZA[188])+ZR30(ZA[188]); |
|
|
|
ZA[63]=ZA[61]+ZMa(ZA[57],ZA[14],ZA[60])+ZR30(ZA[60]); |
|
|
|
ZA[196]=(ZCh(ZA[192],ZA[187],ZA[182])+ZA[23]+0x243185beU)+ZR26(ZA[192]); |
|
|
|
ZA[64]=(ZCh(ZA[62],ZA[59],ZA[56])+ZA[10]+0x243185beU)+ZR26(ZA[62]); |
|
|
|
ZA[197]=ZA[196]+ZA[30]; |
|
|
|
ZA[65]=ZA[64]+ZA[14]; |
|
|
|
ZA[198]=ZA[196]+ZMa(ZA[188],ZA[183],ZA[193])+ZR30(ZA[193]); |
|
|
|
ZA[66]=ZA[64]+ZMa(ZA[60],ZA[57],ZA[63])+ZR30(ZA[63]); |
|
|
|
ZA[201]=(ZCh(ZA[197],ZA[192],ZA[187])+ZA[182]+0x550c7dc3U)+ZR26(ZA[197]); |
|
|
|
ZA[67]=(ZCh(ZA[65],ZA[62],ZA[59])+ZA[56]+0x550c7dc3U)+ZR26(ZA[65]); |
|
|
|
ZA[202]=ZA[201]+ZA[183]; |
|
|
|
ZA[68]=ZA[67]+ZA[57]; |
|
|
|
ZA[203]=ZA[201]+ZMa(ZA[193],ZA[188],ZA[198])+ZR30(ZA[198]); |
|
|
|
ZA[69]=ZA[67]+ZMa(ZA[63],ZA[60],ZA[66])+ZR30(ZA[66]); |
|
|
|
ZA[206]=(ZCh(ZA[202],ZA[197],ZA[192])+ZA[187]+0x72be5d74U)+ZR26(ZA[202]); |
|
|
|
ZA[70]=(ZCh(ZA[68],ZA[65],ZA[62])+ZA[59]+0x72be5d74U)+ZR26(ZA[68]); |
|
|
|
ZA[207]=ZA[206]+ZA[188]; |
|
|
|
ZA[71]=ZA[70]+ZA[60]; |
|
|
|
ZA[208]=ZA[206]+ZMa(ZA[198],ZA[193],ZA[203])+ZR30(ZA[203]); |
|
|
|
ZA[72]=ZA[70]+ZMa(ZA[66],ZA[63],ZA[69])+ZR30(ZA[69]); |
|
|
|
ZA[211]=(ZCh(ZA[207],ZA[202],ZA[197])+ZA[192]+0x80deb1feU)+ZR26(ZA[207]); |
|
|
|
ZA[73]=(ZCh(ZA[71],ZA[68],ZA[65])+ZA[62]+0x80deb1feU)+ZR26(ZA[71]); |
|
|
|
ZA[212]=ZA[193]+ZA[211]; |
|
|
|
ZA[74]=ZA[63]+ZA[73]; |
|
|
|
ZA[213]=ZA[211]+ZMa(ZA[203],ZA[198],ZA[208])+ZR30(ZA[208]); |
|
|
|
ZA[75]=ZA[73]+ZMa(ZA[69],ZA[66],ZA[72])+ZR30(ZA[72]); |
|
|
|
ZA[216]=(ZCh(ZA[212],ZA[207],ZA[202])+ZA[197]+0x9bdc06a7U)+ZR26(ZA[212]); |
|
|
|
ZA[76]=(ZCh(ZA[74],ZA[71],ZA[68])+ZA[65]+0x9bdc06a7U)+ZR26(ZA[74]); |
|
|
|
ZA[217]=ZA[198]+ZA[216]; |
|
|
|
ZA[77]=ZA[66]+ZA[76]; |
|
|
|
ZA[218]=ZA[216]+ZMa(ZA[208],ZA[203],ZA[213])+ZR30(ZA[213]); |
|
|
|
ZA[78]=ZA[76]+ZMa(ZA[72],ZA[69],ZA[75])+ZR30(ZA[75]); |
|
|
|
ZA[220]=(ZCh(ZA[217],ZA[212],ZA[207])+ZA[202]+0xc19bf3f4U)+ZR26(ZA[217]); |
|
|
|
ZA[79]=(ZCh(ZA[77],ZA[74],ZA[71])+ZA[68]+0xc19bf3f4U)+ZR26(ZA[77]); |
|
|
|
ZA[222]=ZA[203]+ZA[220]; |
|
|
|
ZA[80]=ZA[69]+ZA[79]; |
|
|
|
ZA[223]=ZA[220]+ZMa(ZA[213],ZA[208],ZA[218])+ZR30(ZA[218]); |
|
|
|
ZA[81]=ZA[79]+ZMa(ZA[75],ZA[72],ZA[78])+ZR30(ZA[78]); |
|
|
|
ZA[226]=(ZCh(ZA[222],ZA[217],ZA[212])+ZA[207]+W16_plus_K16)+ZR26(ZA[222]); |
|
|
|
ZA[82]=(ZCh(ZA[80],ZA[77],ZA[74])+ZA[71]+W16_plus_K16)+ZR26(ZA[80]); |
|
|
|
ZA[0]=ZR25(Znonce)+W18; |
|
|
|
ZA[0]=ZR25(Znonce)+W18; |
|
|
|
ZA[228]=ZA[226]+ZMa(ZA[218],ZA[213],ZA[223])+ZR30(ZA[223]); |
|
|
|
ZA[84]=ZA[82]+ZMa(ZA[78],ZA[75],ZA[81])+ZR30(ZA[81]); |
|
|
|
ZA[227]=ZA[208]+ZA[226]; |
|
|
|
ZA[83]=ZA[72]+ZA[82]; |
|
|
|
ZA[231]=(ZCh(ZA[227],ZA[222],ZA[217])+ZA[212]+W17_plus_K17)+ZR26(ZA[227]); |
|
|
|
ZA[85]=(ZCh(ZA[83],ZA[80],ZA[77])+ZA[74]+W17_plus_K17)+ZR26(ZA[83]); |
|
|
|
ZA[232]=ZA[213]+ZA[231]; |
|
|
|
ZA[86]=ZA[75]+ZA[85]; |
|
|
|
ZA[233]=ZA[231]+ZMa(ZA[223],ZA[218],ZA[228])+ZR30(ZA[228]); |
|
|
|
ZA[87]=ZA[85]+ZMa(ZA[81],ZA[78],ZA[84])+ZR30(ZA[84]); |
|
|
|
ZA[32]=Znonce+W19; |
|
|
|
ZA[15]=Znonce+W19; |
|
|
|
ZA[236]=(ZCh(ZA[232],ZA[227],ZA[222])+ZA[217]+ZA[0]+0x0fc19dc6U)+ZR26(ZA[232]); |
|
|
|
ZA[88]=(ZCh(ZA[86],ZA[83],ZA[80])+ZA[77]+ZA[0]+0x0fc19dc6U)+ZR26(ZA[86]); |
|
|
|
ZA[3]=ZR15(ZA[0])+0x80000000U; |
|
|
|
ZA[1]=ZR15(ZA[0])+0x80000000U; |
|
|
|
ZA[238]=ZA[236]+ZMa(ZA[228],ZA[223],ZA[233])+ZR30(ZA[233]); |
|
|
|
ZA[90]=ZA[88]+ZMa(ZA[84],ZA[81],ZA[87])+ZR30(ZA[87]); |
|
|
|
ZA[237]=ZA[218]+ZA[236]; |
|
|
|
ZA[89]=ZA[78]+ZA[88]; |
|
|
|
ZA[241]=(ZCh(ZA[237],ZA[232],ZA[227])+ZA[222]+ZA[32]+0x240ca1ccU)+ZR26(ZA[237]); |
|
|
|
ZA[91]=(ZCh(ZA[89],ZA[86],ZA[83])+ZA[80]+ZA[15]+0x240ca1ccU)+ZR26(ZA[89]); |
|
|
|
ZA[35]=ZR15(ZA[32]); |
|
|
|
ZA[16]=ZR15(ZA[15]); |
|
|
|
ZA[243]=ZA[241]+ZMa(ZA[233],ZA[228],ZA[238])+ZR30(ZA[238]); |
|
|
|
ZA[93]=ZA[91]+ZMa(ZA[87],ZA[84],ZA[90])+ZR30(ZA[90]); |
|
|
|
ZA[242]=ZA[223]+ZA[241]; |
|
|
|
ZA[92]=ZA[81]+ZA[91]; |
|
|
|
ZA[246]=(ZCh(ZA[242],ZA[237],ZA[232])+ZA[227]+ZA[3]+0x2de92c6fU)+ZR26(ZA[242]); |
|
|
|
ZA[94]=(ZCh(ZA[92],ZA[89],ZA[86])+ZA[83]+ZA[1]+0x2de92c6fU)+ZR26(ZA[92]); |
|
|
|
ZA[7]=ZR15(ZA[3])+0x00000280U; |
|
|
|
ZA[2]=ZR15(ZA[1])+0x00000280U; |
|
|
|
ZA[248]=ZA[246]+ZMa(ZA[238],ZA[233],ZA[243])+ZR30(ZA[243]); |
|
|
|
ZA[96]=ZA[94]+ZMa(ZA[90],ZA[87],ZA[93])+ZR30(ZA[93]); |
|
|
|
ZA[247]=ZA[228]+ZA[246]; |
|
|
|
ZA[95]=ZA[84]+ZA[94]; |
|
|
|
ZA[251]=(ZCh(ZA[247],ZA[242],ZA[237])+ZA[232]+ZA[35]+0x4a7484aaU)+ZR26(ZA[247]); |
|
|
|
ZA[97]=(ZCh(ZA[95],ZA[92],ZA[89])+ZA[86]+ZA[16]+0x4a7484aaU)+ZR26(ZA[95]); |
|
|
|
ZA[38]=ZR15(ZA[35])+W16; |
|
|
|
ZA[17]=ZR15(ZA[16])+W16; |
|
|
|
ZA[253]=ZA[251]+ZMa(ZA[243],ZA[238],ZA[248])+ZR30(ZA[248]); |
|
|
|
ZA[99]=ZA[97]+ZMa(ZA[93],ZA[90],ZA[96])+ZR30(ZA[96]); |
|
|
|
ZA[252]=ZA[233]+ZA[251]; |
|
|
|
ZA[98]=ZA[87]+ZA[97]; |
|
|
|
ZA[256]=(ZCh(ZA[252],ZA[247],ZA[242])+ZA[237]+ZA[7]+0x5cb0a9dcU)+ZR26(ZA[252]); |
|
|
|
ZA[100]=(ZCh(ZA[98],ZA[95],ZA[92])+ZA[89]+ZA[2]+0x5cb0a9dcU)+ZR26(ZA[98]); |
|
|
|
ZA[10]=ZR15(ZA[7])+W17; |
|
|
|
ZA[3]=ZR15(ZA[2])+W17; |
|
|
|
ZA[258]=ZA[256]+ZMa(ZA[248],ZA[243],ZA[253])+ZR30(ZA[253]); |
|
|
|
ZA[102]=ZA[100]+ZMa(ZA[96],ZA[93],ZA[99])+ZR30(ZA[99]); |
|
|
|
ZA[257]=ZA[238]+ZA[256]; |
|
|
|
ZA[101]=ZA[90]+ZA[100]; |
|
|
|
ZA[261]=(ZCh(ZA[257],ZA[252],ZA[247])+ZA[242]+ZA[38]+0x76f988daU)+ZR26(ZA[257]); |
|
|
|
ZA[103]=(ZCh(ZA[101],ZA[98],ZA[95])+ZA[92]+ZA[17]+0x76f988daU)+ZR26(ZA[101]); |
|
|
|
ZA[43]=ZR15(ZA[38])+ZA[0]; |
|
|
|
ZA[18]=ZR15(ZA[17])+ZA[0]; |
|
|
|
ZA[263]=ZA[261]+ZMa(ZA[253],ZA[248],ZA[258])+ZR30(ZA[258]); |
|
|
|
ZA[105]=ZA[103]+ZMa(ZA[99],ZA[96],ZA[102])+ZR30(ZA[102]); |
|
|
|
ZA[262]=ZA[243]+ZA[261]; |
|
|
|
ZA[104]=ZA[93]+ZA[103]; |
|
|
|
ZA[266]=(ZCh(ZA[262],ZA[257],ZA[252])+ZA[247]+ZA[10]+0x983e5152U)+ZR26(ZA[262]); |
|
|
|
ZA[106]=(ZCh(ZA[104],ZA[101],ZA[98])+ZA[95]+ZA[3]+0x983e5152U)+ZR26(ZA[104]); |
|
|
|
ZA[52]=ZR15(ZA[10])+ZA[32]; |
|
|
|
ZA[20]=ZR15(ZA[3])+ZA[15]; |
|
|
|
ZA[267]=ZA[248]+ZA[266]; |
|
|
|
ZA[107]=ZA[96]+ZA[106]; |
|
|
|
ZA[268]=ZA[266]+ZMa(ZA[258],ZA[253],ZA[263])+ZR30(ZA[263]); |
|
|
|
ZA[108]=ZA[106]+ZMa(ZA[102],ZA[99],ZA[105])+ZR30(ZA[105]); |
|
|
|
ZA[271]=(ZCh(ZA[267],ZA[262],ZA[257])+ZA[252]+ZA[43]+0xa831c66dU)+ZR26(ZA[267]); |
|
|
|
ZA[109]=(ZCh(ZA[107],ZA[104],ZA[101])+ZA[98]+ZA[18]+0xa831c66dU)+ZR26(ZA[107]); |
|
|
|
ZA[48]=ZR15(ZA[43])+ZA[3]; |
|
|
|
ZA[19]=ZR15(ZA[18])+ZA[1]; |
|
|
|
ZA[273]=ZA[271]+ZMa(ZA[263],ZA[258],ZA[268])+ZR30(ZA[268]); |
|
|
|
ZA[111]=ZA[109]+ZMa(ZA[105],ZA[102],ZA[108])+ZR30(ZA[108]); |
|
|
|
ZA[272]=ZA[253]+ZA[271]; |
|
|
|
ZA[110]=ZA[99]+ZA[109]; |
|
|
|
ZA[276]=(ZCh(ZA[272],ZA[267],ZA[262])+ZA[257]+ZA[52]+0xb00327c8U)+ZR26(ZA[272]); |
|
|
|
ZA[112]=(ZCh(ZA[110],ZA[107],ZA[104])+ZA[101]+ZA[20]+0xb00327c8U)+ZR26(ZA[110]); |
|
|
|
ZA[61]=ZR15(ZA[52])+ZA[35]; |
|
|
|
ZA[22]=ZR15(ZA[20])+ZA[16]; |
|
|
|
ZA[278]=ZA[276]+ZMa(ZA[268],ZA[263],ZA[273])+ZR30(ZA[273]); |
|
|
|
ZA[114]=ZA[112]+ZMa(ZA[108],ZA[105],ZA[111])+ZR30(ZA[111]); |
|
|
|
ZA[277]=ZA[258]+ZA[276]; |
|
|
|
ZA[113]=ZA[102]+ZA[112]; |
|
|
|
ZA[281]=(ZCh(ZA[277],ZA[272],ZA[267])+ZA[262]+ZA[48]+0xbf597fc7U)+ZR26(ZA[277]); |
|
|
|
ZA[115]=(ZCh(ZA[113],ZA[110],ZA[107])+ZA[104]+ZA[19]+0xbf597fc7U)+ZR26(ZA[113]); |
|
|
|
ZA[53]=ZR15(ZA[48])+ZA[7]; |
|
|
|
ZA[21]=ZR15(ZA[19])+ZA[2]; |
|
|
|
ZA[283]=ZA[281]+ZMa(ZA[273],ZA[268],ZA[278])+ZR30(ZA[278]); |
|
|
|
ZA[117]=ZA[115]+ZMa(ZA[111],ZA[108],ZA[114])+ZR30(ZA[114]); |
|
|
|
ZA[282]=ZA[263]+ZA[281]; |
|
|
|
ZA[116]=ZA[105]+ZA[115]; |
|
|
|
ZA[286]=(ZCh(ZA[282],ZA[277],ZA[272])+ZA[267]+ZA[61]+0xc6e00bf3U)+ZR26(ZA[282]); |
|
|
|
ZA[118]=(ZCh(ZA[116],ZA[113],ZA[110])+ZA[107]+ZA[22]+0xc6e00bf3U)+ZR26(ZA[116]); |
|
|
|
ZA[66]=ZR15(ZA[61])+ZA[38]+0x00A00055U; |
|
|
|
ZA[23]=ZR15(ZA[22])+ZA[17]+0x00A00055U; |
|
|
|
ZA[288]=ZA[286]+ZMa(ZA[278],ZA[273],ZA[283])+ZR30(ZA[283]); |
|
|
|
ZA[120]=ZA[118]+ZMa(ZA[114],ZA[111],ZA[117])+ZR30(ZA[117]); |
|
|
|
ZA[287]=ZA[268]+ZA[286]; |
|
|
|
ZA[119]=ZA[108]+ZA[118]; |
|
|
|
ZA[291]=(ZCh(ZA[287],ZA[282],ZA[277])+ZA[272]+ZA[53]+0xd5a79147U)+ZR26(ZA[287]); |
|
|
|
ZA[121]=(ZCh(ZA[119],ZA[116],ZA[113])+ZA[110]+ZA[21]+0xd5a79147U)+ZR26(ZA[119]); |
|
|
|
ZA[67]=ZR15(ZA[53])+ZA[10]+W31; |
|
|
|
ZA[24]=ZR15(ZA[21])+ZA[3]+W31; |
|
|
|
ZA[293]=ZA[291]+ZMa(ZA[283],ZA[278],ZA[288])+ZR30(ZA[288]); |
|
|
|
ZA[123]=ZA[121]+ZMa(ZA[117],ZA[114],ZA[120])+ZR30(ZA[120]); |
|
|
|
ZA[292]=ZA[273]+ZA[291]; |
|
|
|
ZA[122]=ZA[111]+ZA[121]; |
|
|
|
ZA[296]=(ZCh(ZA[292],ZA[287],ZA[282])+ZA[277]+ZA[66]+0x06ca6351U)+ZR26(ZA[292]); |
|
|
|
ZA[124]=(ZCh(ZA[122],ZA[119],ZA[116])+ZA[113]+ZA[23]+0x06ca6351U)+ZR26(ZA[122]); |
|
|
|
ZA[75]=ZR15(ZA[66])+ZA[43]+W32; |
|
|
|
ZA[26]=ZR15(ZA[23])+ZA[18]+W32; |
|
|
|
ZA[298]=ZA[296]+ZMa(ZA[288],ZA[283],ZA[293])+ZR30(ZA[293]); |
|
|
|
ZA[126]=ZA[124]+ZMa(ZA[120],ZA[117],ZA[123])+ZR30(ZA[123]); |
|
|
|
ZA[297]=ZA[278]+ZA[296]; |
|
|
|
ZA[125]=ZA[114]+ZA[124]; |
|
|
|
ZA[301]=(ZCh(ZA[297],ZA[292],ZA[287])+ZA[282]+ZA[67]+0x14292967U)+ZR26(ZA[297]); |
|
|
|
ZA[127]=(ZCh(ZA[125],ZA[122],ZA[119])+ZA[116]+ZA[24]+0x14292967U)+ZR26(ZA[125]); |
|
|
|
ZA[70]=ZR15(ZA[67])+ZA[52]+ZR25(ZA[0])+W17; |
|
|
|
ZA[25]=ZR15(ZA[24])+ZA[20]+ZR25(ZA[0])+W17; |
|
|
|
ZA[302]=ZA[283]+ZA[301]; |
|
|
|
ZA[128]=ZA[117]+ZA[127]; |
|
|
|
ZA[303]=ZA[301]+ZMa(ZA[293],ZA[288],ZA[298])+ZR30(ZA[298]); |
|
|
|
ZA[129]=ZA[127]+ZMa(ZA[123],ZA[120],ZA[126])+ZR30(ZA[126]); |
|
|
|
ZA[306]=(ZCh(ZA[302],ZA[297],ZA[292])+ZA[287]+ZA[75]+0x27b70a85U)+ZR26(ZA[302]); |
|
|
|
ZA[130]=(ZCh(ZA[128],ZA[125],ZA[122])+ZA[119]+ZA[26]+0x27b70a85U)+ZR26(ZA[128]); |
|
|
|
ZA[78]=ZR15(ZA[75])+ZR25(ZA[32])+ZA[0]+ZA[48]; |
|
|
|
ZA[27]=ZR15(ZA[26])+ZR25(ZA[15])+ZA[0]+ZA[19]; |
|
|
|
ZA[308]=ZA[306]+ZMa(ZA[298],ZA[293],ZA[303])+ZR30(ZA[303]); |
|
|
|
ZA[132]=ZA[130]+ZMa(ZA[126],ZA[123],ZA[129])+ZR30(ZA[129]); |
|
|
|
ZA[307]=ZA[288]+ZA[306]; |
|
|
|
ZA[131]=ZA[120]+ZA[130]; |
|
|
|
ZA[311]=(ZCh(ZA[307],ZA[302],ZA[297])+ZA[292]+ZA[70]+0x2e1b2138U)+ZR26(ZA[307]); |
|
|
|
ZA[133]=(ZCh(ZA[131],ZA[128],ZA[125])+ZA[122]+ZA[25]+0x2e1b2138U)+ZR26(ZA[131]); |
|
|
|
ZA[79]=ZR15(ZA[70])+ZA[32]+ZR25(ZA[3])+ZA[61]; |
|
|
|
ZA[28]=ZR15(ZA[25])+ZA[15]+ZR25(ZA[1])+ZA[22]; |
|
|
|
ZA[312]=ZA[293]+ZA[311]; |
|
|
|
ZA[134]=ZA[123]+ZA[133]; |
|
|
|
ZA[313]=ZA[311]+ZMa(ZA[303],ZA[298],ZA[308])+ZR30(ZA[308]); |
|
|
|
ZA[135]=ZA[133]+ZMa(ZA[129],ZA[126],ZA[132])+ZR30(ZA[132]); |
|
|
|
ZA[316]=(ZCh(ZA[312],ZA[307],ZA[302])+ZA[297]+ZA[78]+0x4d2c6dfcU)+ZR26(ZA[312]); |
|
|
|
ZA[136]=(ZCh(ZA[134],ZA[131],ZA[128])+ZA[125]+ZA[27]+0x4d2c6dfcU)+ZR26(ZA[134]); |
|
|
|
ZA[87]=ZR15(ZA[78])+ZR25(ZA[35])+ZA[3]+ZA[53]; |
|
|
|
ZA[29]=ZR15(ZA[27])+ZR25(ZA[16])+ZA[1]+ZA[21]; |
|
|
|
ZA[318]=ZA[316]+ZMa(ZA[308],ZA[303],ZA[313])+ZR30(ZA[313]); |
|
|
|
ZA[138]=ZA[136]+ZMa(ZA[132],ZA[129],ZA[135])+ZR30(ZA[135]); |
|
|
|
ZA[317]=ZA[298]+ZA[316]; |
|
|
|
ZA[137]=ZA[126]+ZA[136]; |
|
|
|
ZA[321]=(ZCh(ZA[317],ZA[312],ZA[307])+ZA[302]+ZA[79]+0x53380d13U)+ZR26(ZA[317]); |
|
|
|
ZA[139]=(ZCh(ZA[137],ZA[134],ZA[131])+ZA[128]+ZA[28]+0x53380d13U)+ZR26(ZA[137]); |
|
|
|
ZA[88]=ZR15(ZA[79])+ZA[35]+ZR25(ZA[7])+ZA[66]; |
|
|
|
ZA[30]=ZR15(ZA[28])+ZA[16]+ZR25(ZA[2])+ZA[23]; |
|
|
|
ZA[322]=ZA[303]+ZA[321]; |
|
|
|
ZA[140]=ZA[129]+ZA[139]; |
|
|
|
ZA[323]=ZA[321]+ZMa(ZA[313],ZA[308],ZA[318])+ZR30(ZA[318]); |
|
|
|
ZA[141]=ZA[139]+ZMa(ZA[135],ZA[132],ZA[138])+ZR30(ZA[138]); |
|
|
|
ZA[326]=(ZCh(ZA[322],ZA[317],ZA[312])+ZA[307]+ZA[87]+0x650a7354U)+ZR26(ZA[322]); |
|
|
|
ZA[142]=(ZCh(ZA[140],ZA[137],ZA[134])+ZA[131]+ZA[29]+0x650a7354U)+ZR26(ZA[140]); |
|
|
|
ZA[94]=ZR15(ZA[87])+ZR25(ZA[38])+ZA[7]+ZA[67]; |
|
|
|
ZA[31]=ZR15(ZA[29])+ZR25(ZA[17])+ZA[2]+ZA[24]; |
|
|
|
ZA[328]=ZA[326]+ZMa(ZA[318],ZA[313],ZA[323])+ZR30(ZA[323]); |
|
|
|
ZA[144]=ZA[142]+ZMa(ZA[138],ZA[135],ZA[141])+ZR30(ZA[141]); |
|
|
|
ZA[327]=ZA[308]+ZA[326]; |
|
|
|
ZA[143]=ZA[132]+ZA[142]; |
|
|
|
ZA[331]=(ZCh(ZA[327],ZA[322],ZA[317])+ZA[312]+ZA[88]+0x766a0abbU)+ZR26(ZA[327]); |
|
|
|
ZA[145]=(ZCh(ZA[143],ZA[140],ZA[137])+ZA[134]+ZA[30]+0x766a0abbU)+ZR26(ZA[143]); |
|
|
|
ZA[95]=ZR15(ZA[88])+ZA[38]+ZR25(ZA[10])+ZA[75]; |
|
|
|
ZA[32]=ZR15(ZA[30])+ZA[17]+ZR25(ZA[3])+ZA[26]; |
|
|
|
ZA[332]=ZA[313]+ZA[331]; |
|
|
|
ZA[146]=ZA[135]+ZA[145]; |
|
|
|
ZA[333]=ZA[331]+ZMa(ZA[323],ZA[318],ZA[328])+ZR30(ZA[328]); |
|
|
|
ZA[147]=ZA[145]+ZMa(ZA[141],ZA[138],ZA[144])+ZR30(ZA[144]); |
|
|
|
ZA[336]=(ZCh(ZA[332],ZA[327],ZA[322])+ZA[317]+ZA[94]+0x81c2c92eU)+ZR26(ZA[332]); |
|
|
|
ZA[148]=(ZCh(ZA[146],ZA[143],ZA[140])+ZA[137]+ZA[31]+0x81c2c92eU)+ZR26(ZA[146]); |
|
|
|
ZA[102]=ZR15(ZA[94])+ZR25(ZA[43])+ZA[10]+ZA[70]; |
|
|
|
ZA[33]=ZR15(ZA[31])+ZR25(ZA[18])+ZA[3]+ZA[25]; |
|
|
|
ZA[337]=ZA[318]+ZA[336]; |
|
|
|
ZA[149]=ZA[138]+ZA[148]; |
|
|
|
ZA[338]=ZA[336]+ZMa(ZA[328],ZA[323],ZA[333])+ZR30(ZA[333]); |
|
|
|
ZA[150]=ZA[148]+ZMa(ZA[144],ZA[141],ZA[147])+ZR30(ZA[147]); |
|
|
|
ZA[341]=(ZCh(ZA[337],ZA[332],ZA[327])+ZA[322]+ZA[95]+0x92722c85U)+ZR26(ZA[337]); |
|
|
|
ZA[151]=(ZCh(ZA[149],ZA[146],ZA[143])+ZA[140]+ZA[32]+0x92722c85U)+ZR26(ZA[149]); |
|
|
|
ZA[103]=ZR15(ZA[95])+ZR25(ZA[52])+ZA[43]+ZA[78]; |
|
|
|
ZA[34]=ZR15(ZA[32])+ZR25(ZA[20])+ZA[18]+ZA[27]; |
|
|
|
ZA[342]=ZA[323]+ZA[341]; |
|
|
|
ZA[152]=ZA[141]+ZA[151]; |
|
|
|
ZA[343]=ZA[341]+ZMa(ZA[333],ZA[328],ZA[338])+ZR30(ZA[338]); |
|
|
|
ZA[153]=ZA[151]+ZMa(ZA[147],ZA[144],ZA[150])+ZR30(ZA[150]); |
|
|
|
ZA[346]=(ZCh(ZA[342],ZA[337],ZA[332])+ZA[327]+ZA[102]+0xa2bfe8a1U)+ZR26(ZA[342]); |
|
|
|
ZA[154]=(ZCh(ZA[152],ZA[149],ZA[146])+ZA[143]+ZA[33]+0xa2bfe8a1U)+ZR26(ZA[152]); |
|
|
|
ZA[110]=ZR15(ZA[102])+ZR25(ZA[48])+ZA[52]+ZA[79]; |
|
|
|
ZA[35]=ZR15(ZA[33])+ZR25(ZA[19])+ZA[20]+ZA[28]; |
|
|
|
ZA[347]=ZA[328]+ZA[346]; |
|
|
|
ZA[155]=ZA[144]+ZA[154]; |
|
|
|
ZA[348]=ZA[346]+ZMa(ZA[338],ZA[333],ZA[343])+ZR30(ZA[343]); |
|
|
|
ZA[156]=ZA[154]+ZMa(ZA[150],ZA[147],ZA[153])+ZR30(ZA[153]); |
|
|
|
ZA[351]=(ZCh(ZA[347],ZA[342],ZA[337])+ZA[332]+ZA[103]+0xa81a664bU)+ZR26(ZA[347]); |
|
|
|
ZA[157]=(ZCh(ZA[155],ZA[152],ZA[149])+ZA[146]+ZA[34]+0xa81a664bU)+ZR26(ZA[155]); |
|
|
|
ZA[111]=ZR15(ZA[103])+ZA[87]+ZR25(ZA[61])+ZA[48]; |
|
|
|
ZA[36]=ZR15(ZA[34])+ZA[29]+ZR25(ZA[22])+ZA[19]; |
|
|
|
ZA[353]=ZA[351]+ZMa(ZA[343],ZA[338],ZA[348])+ZR30(ZA[348]); |
|
|
|
ZA[159]=ZA[157]+ZMa(ZA[153],ZA[150],ZA[156])+ZR30(ZA[156]); |
|
|
|
ZA[352]=ZA[333]+ZA[351]; |
|
|
|
ZA[158]=ZA[147]+ZA[157]; |
|
|
|
ZA[356]=(ZCh(ZA[352],ZA[347],ZA[342])+ZA[337]+ZA[110]+0xc24b8b70U)+ZR26(ZA[352]); |
|
|
|
ZA[160]=(ZCh(ZA[158],ZA[155],ZA[152])+ZA[149]+ZA[35]+0xc24b8b70U)+ZR26(ZA[158]); |
|
|
|
ZA[118]=ZR15(ZA[110])+ZA[88]+ZR25(ZA[53])+ZA[61]; |
|
|
|
ZA[37]=ZR15(ZA[35])+ZA[30]+ZR25(ZA[21])+ZA[22]; |
|
|
|
ZA[357]=ZA[338]+ZA[356]; |
|
|
|
ZA[161]=ZA[150]+ZA[160]; |
|
|
|
ZA[358]=ZA[356]+ZMa(ZA[348],ZA[343],ZA[353])+ZR30(ZA[353]); |
|
|
|
ZA[162]=ZA[160]+ZMa(ZA[156],ZA[153],ZA[159])+ZR30(ZA[159]); |
|
|
|
ZA[361]=(ZCh(ZA[357],ZA[352],ZA[347])+ZA[342]+ZA[111]+0xc76c51a3U)+ZR26(ZA[357]); |
|
|
|
ZA[163]=(ZCh(ZA[161],ZA[158],ZA[155])+ZA[152]+ZA[36]+0xc76c51a3U)+ZR26(ZA[161]); |
|
|
|
ZA[119]=ZR15(ZA[111])+ZR25(ZA[66])+ZA[53]+ZA[94]; |
|
|
|
ZA[38]=ZR15(ZA[36])+ZR25(ZA[23])+ZA[21]+ZA[31]; |
|
|
|
ZA[362]=ZA[343]+ZA[361]; |
|
|
|
ZA[164]=ZA[153]+ZA[163]; |
|
|
|
ZA[363]=ZA[361]+ZMa(ZA[353],ZA[348],ZA[358])+ZR30(ZA[358]); |
|
|
|
ZA[165]=ZA[163]+ZMa(ZA[159],ZA[156],ZA[162])+ZR30(ZA[162]); |
|
|
|
ZA[366]=(ZCh(ZA[362],ZA[357],ZA[352])+ZA[347]+ZA[118]+0xd192e819U)+ZR26(ZA[362]); |
|
|
|
ZA[166]=(ZCh(ZA[164],ZA[161],ZA[158])+ZA[155]+ZA[37]+0xd192e819U)+ZR26(ZA[164]); |
|
|
|
ZA[126]=ZR15(ZA[118])+ZR25(ZA[67])+ZA[66]+ZA[95]; |
|
|
|
ZA[39]=ZR15(ZA[37])+ZR25(ZA[24])+ZA[23]+ZA[32]; |
|
|
|
ZA[367]=ZA[348]+ZA[366]; |
|
|
|
ZA[167]=ZA[156]+ZA[166]; |
|
|
|
ZA[368]=ZA[366]+ZMa(ZA[358],ZA[353],ZA[363])+ZR30(ZA[363]); |
|
|
|
ZA[168]=ZA[166]+ZMa(ZA[162],ZA[159],ZA[165])+ZR30(ZA[165]); |
|
|
|
ZA[371]=(ZCh(ZA[367],ZA[362],ZA[357])+ZA[352]+ZA[119]+0xd6990624U)+ZR26(ZA[367]); |
|
|
|
ZA[169]=(ZCh(ZA[167],ZA[164],ZA[161])+ZA[158]+ZA[38]+0xd6990624U)+ZR26(ZA[167]); |
|
|
|
ZA[127]=ZR15(ZA[119])+ZA[102]+ZR25(ZA[75])+ZA[67]; |
|
|
|
ZA[40]=ZR15(ZA[38])+ZA[33]+ZR25(ZA[26])+ZA[24]; |
|
|
|
ZA[372]=ZA[353]+ZA[371]; |
|
|
|
ZA[170]=ZA[159]+ZA[169]; |
|
|
|
ZA[373]=ZA[371]+ZMa(ZA[363],ZA[358],ZA[368])+ZR30(ZA[368]); |
|
|
|
ZA[171]=ZA[169]+ZMa(ZA[165],ZA[162],ZA[168])+ZR30(ZA[168]); |
|
|
|
ZA[376]=(ZCh(ZA[372],ZA[367],ZA[362])+ZA[357]+ZA[126]+0xf40e3585U)+ZR26(ZA[372]); |
|
|
|
ZA[172]=(ZCh(ZA[170],ZA[167],ZA[164])+ZA[161]+ZA[39]+0xf40e3585U)+ZR26(ZA[170]); |
|
|
|
ZA[134]=ZR15(ZA[126])+ZA[103]+ZR25(ZA[70])+ZA[75]; |
|
|
|
ZA[41]=ZR15(ZA[39])+ZA[34]+ZR25(ZA[25])+ZA[26]; |
|
|
|
ZA[377]=ZA[358]+ZA[376]; |
|
|
|
ZA[173]=ZA[162]+ZA[172]; |
|
|
|
ZA[378]=ZA[376]+ZMa(ZA[368],ZA[363],ZA[373])+ZR30(ZA[373]); |
|
|
|
ZA[174]=ZA[172]+ZMa(ZA[168],ZA[165],ZA[171])+ZR30(ZA[171]); |
|
|
|
ZA[381]=(ZCh(ZA[377],ZA[372],ZA[367])+ZA[362]+ZA[127]+0x106aa070U)+ZR26(ZA[377]); |
|
|
|
ZA[175]=(ZCh(ZA[173],ZA[170],ZA[167])+ZA[164]+ZA[40]+0x106aa070U)+ZR26(ZA[173]); |
|
|
|
ZA[135]=ZR15(ZA[127])+ZA[110]+ZR25(ZA[78])+ZA[70]; |
|
|
|
ZA[42]=ZR15(ZA[40])+ZA[35]+ZR25(ZA[27])+ZA[25]; |
|
|
|
ZA[382]=ZA[363]+ZA[381]; |
|
|
|
ZA[176]=ZA[165]+ZA[175]; |
|
|
|
ZA[383]=ZA[381]+ZMa(ZA[373],ZA[368],ZA[378])+ZR30(ZA[378]); |
|
|
|
ZA[177]=ZA[175]+ZMa(ZA[171],ZA[168],ZA[174])+ZR30(ZA[174]); |
|
|
|
ZA[386]=(ZCh(ZA[382],ZA[377],ZA[372])+ZA[367]+ZA[134]+0x19a4c116U)+ZR26(ZA[382]); |
|
|
|
ZA[178]=(ZCh(ZA[176],ZA[173],ZA[170])+ZA[167]+ZA[41]+0x19a4c116U)+ZR26(ZA[176]); |
|
|
|
ZA[142]=ZR15(ZA[134])+ZA[111]+ZR25(ZA[79])+ZA[78]; |
|
|
|
ZA[43]=ZR15(ZA[41])+ZA[36]+ZR25(ZA[28])+ZA[27]; |
|
|
|
ZA[387]=ZA[368]+ZA[386]; |
|
|
|
ZA[179]=ZA[168]+ZA[178]; |
|
|
|
ZA[388]=ZA[386]+ZMa(ZA[378],ZA[373],ZA[383])+ZR30(ZA[383]); |
|
|
|
ZA[180]=ZA[178]+ZMa(ZA[174],ZA[171],ZA[177])+ZR30(ZA[177]); |
|
|
|
ZA[391]=(ZCh(ZA[387],ZA[382],ZA[377])+ZA[372]+ZA[135]+0x1e376c08U)+ZR26(ZA[387]); |
|
|
|
ZA[181]=(ZCh(ZA[179],ZA[176],ZA[173])+ZA[170]+ZA[42]+0x1e376c08U)+ZR26(ZA[179]); |
|
|
|
ZA[143]=ZR15(ZA[135])+ZA[118]+ZR25(ZA[87])+ZA[79]; |
|
|
|
ZA[44]=ZR15(ZA[42])+ZA[37]+ZR25(ZA[29])+ZA[28]; |
|
|
|
ZA[392]=ZA[373]+ZA[391]; |
|
|
|
ZA[182]=ZA[171]+ZA[181]; |
|
|
|
ZA[393]=ZA[391]+ZMa(ZA[383],ZA[378],ZA[388])+ZR30(ZA[388]); |
|
|
|
ZA[183]=ZA[181]+ZMa(ZA[177],ZA[174],ZA[180])+ZR30(ZA[180]); |
|
|
|
ZA[396]=(ZCh(ZA[392],ZA[387],ZA[382])+ZA[377]+ZA[142]+0x2748774cU)+ZR26(ZA[392]); |
|
|
|
ZA[184]=(ZCh(ZA[182],ZA[179],ZA[176])+ZA[173]+ZA[43]+0x2748774cU)+ZR26(ZA[182]); |
|
|
|
ZA[149]=ZR15(ZA[142])+ZA[119]+ZR25(ZA[88])+ZA[87]; |
|
|
|
ZA[45]=ZR15(ZA[43])+ZA[38]+ZR25(ZA[30])+ZA[29]; |
|
|
|
ZA[397]=ZA[378]+ZA[396]; |
|
|
|
ZA[185]=ZA[174]+ZA[184]; |
|
|
|
ZA[398]=ZA[396]+ZMa(ZA[388],ZA[383],ZA[393])+ZR30(ZA[393]); |
|
|
|
ZA[186]=ZA[184]+ZMa(ZA[180],ZA[177],ZA[183])+ZR30(ZA[183]); |
|
|
|
ZA[401]=(ZCh(ZA[397],ZA[392],ZA[387])+ZA[382]+ZA[143]+0x34b0bcb5U)+ZR26(ZA[397]); |
|
|
|
ZA[187]=(ZCh(ZA[185],ZA[182],ZA[179])+ZA[176]+ZA[44]+0x34b0bcb5U)+ZR26(ZA[185]); |
|
|
|
ZA[150]=ZR15(ZA[143])+ZA[126]+ZR25(ZA[94])+ZA[88]; |
|
|
|
ZA[46]=ZR15(ZA[44])+ZA[39]+ZR25(ZA[31])+ZA[30]; |
|
|
|
ZA[402]=ZA[383]+ZA[401]; |
|
|
|
ZA[188]=ZA[177]+ZA[187]; |
|
|
|
ZA[403]=ZA[401]+ZMa(ZA[393],ZA[388],ZA[398])+ZR30(ZA[398]); |
|
|
|
ZA[189]=ZA[187]+ZMa(ZA[183],ZA[180],ZA[186])+ZR30(ZA[186]); |
|
|
|
ZA[406]=(ZCh(ZA[402],ZA[397],ZA[392])+ZA[387]+ZA[149]+0x391c0cb3U)+ZR26(ZA[402]); |
|
|
|
ZA[190]=(ZCh(ZA[188],ZA[185],ZA[182])+ZA[179]+ZA[45]+0x391c0cb3U)+ZR26(ZA[188]); |
|
|
|
ZA[155]=ZR15(ZA[149])+ZA[127]+ZR25(ZA[95])+ZA[94]; |
|
|
|
ZA[47]=ZR15(ZA[45])+ZA[40]+ZR25(ZA[32])+ZA[31]; |
|
|
|
ZA[407]=ZA[388]+ZA[406]; |
|
|
|
ZA[191]=ZA[180]+ZA[190]; |
|
|
|
ZA[408]=ZA[406]+ZMa(ZA[398],ZA[393],ZA[403])+ZR30(ZA[403]); |
|
|
|
ZA[192]=ZA[190]+ZMa(ZA[186],ZA[183],ZA[189])+ZR30(ZA[189]); |
|
|
|
ZA[411]=(ZCh(ZA[407],ZA[402],ZA[397])+ZA[392]+ZA[150]+0x4ed8aa4aU)+ZR26(ZA[407]); |
|
|
|
ZA[193]=(ZCh(ZA[191],ZA[188],ZA[185])+ZA[182]+ZA[46]+0x4ed8aa4aU)+ZR26(ZA[191]); |
|
|
|
ZA[156]=ZR15(ZA[150])+ZA[134]+ZR25(ZA[102])+ZA[95]; |
|
|
|
ZA[48]=ZR15(ZA[46])+ZA[41]+ZR25(ZA[33])+ZA[32]; |
|
|
|
ZA[412]=ZA[393]+ZA[411]; |
|
|
|
ZA[194]=ZA[183]+ZA[193]; |
|
|
|
ZA[413]=ZA[411]+ZMa(ZA[403],ZA[398],ZA[408])+ZR30(ZA[408]); |
|
|
|
ZA[195]=ZA[193]+ZMa(ZA[189],ZA[186],ZA[192])+ZR30(ZA[192]); |
|
|
|
ZA[416]=(ZCh(ZA[412],ZA[407],ZA[402])+ZA[397]+ZA[155]+0x5b9cca4fU)+ZR26(ZA[412]); |
|
|
|
ZA[196]=(ZCh(ZA[194],ZA[191],ZA[188])+ZA[185]+ZA[47]+0x5b9cca4fU)+ZR26(ZA[194]); |
|
|
|
ZA[161]=ZR15(ZA[155])+ZA[135]+ZR25(ZA[103])+ZA[102]; |
|
|
|
ZA[49]=ZR15(ZA[47])+ZA[42]+ZR25(ZA[34])+ZA[33]; |
|
|
|
ZA[417]=ZA[398]+ZA[416]; |
|
|
|
ZA[197]=ZA[186]+ZA[196]; |
|
|
|
ZA[418]=ZA[416]+ZMa(ZA[408],ZA[403],ZA[413])+ZR30(ZA[413]); |
|
|
|
ZA[198]=ZA[196]+ZMa(ZA[192],ZA[189],ZA[195])+ZR30(ZA[195]); |
|
|
|
ZA[421]=(ZCh(ZA[417],ZA[412],ZA[407])+ZA[402]+ZA[156]+0x682e6ff3U)+ZR26(ZA[417]); |
|
|
|
ZA[199]=(ZCh(ZA[197],ZA[194],ZA[191])+ZA[188]+ZA[48]+0x682e6ff3U)+ZR26(ZA[197]); |
|
|
|
ZA[162]=ZR15(ZA[156])+ZA[142]+ZR25(ZA[110])+ZA[103]; |
|
|
|
ZA[50]=ZR15(ZA[48])+ZA[43]+ZR25(ZA[35])+ZA[34]; |
|
|
|
ZA[422]=ZA[403]+ZA[421]; |
|
|
|
ZA[200]=ZA[189]+ZA[199]; |
|
|
|
ZA[423]=ZA[421]+ZMa(ZA[413],ZA[408],ZA[418])+ZR30(ZA[418]); |
|
|
|
ZA[201]=ZA[199]+ZMa(ZA[195],ZA[192],ZA[198])+ZR30(ZA[198]); |
|
|
|
ZA[426]=(ZCh(ZA[422],ZA[417],ZA[412])+ZA[407]+ZA[161]+0x748f82eeU)+ZR26(ZA[422]); |
|
|
|
ZA[202]=(ZCh(ZA[200],ZA[197],ZA[194])+ZA[191]+ZA[49]+0x748f82eeU)+ZR26(ZA[200]); |
|
|
|
ZA[167]=ZR15(ZA[161])+ZA[143]+ZR25(ZA[111])+ZA[110]; |
|
|
|
ZA[51]=ZR15(ZA[49])+ZA[44]+ZR25(ZA[36])+ZA[35]; |
|
|
|
ZA[427]=ZA[408]+ZA[426]; |
|
|
|
ZA[203]=ZA[192]+ZA[202]; |
|
|
|
ZA[428]=ZA[426]+ZMa(ZA[418],ZA[413],ZA[423])+ZR30(ZA[423]); |
|
|
|
ZA[204]=ZA[202]+ZMa(ZA[198],ZA[195],ZA[201])+ZR30(ZA[201]); |
|
|
|
ZA[431]=(ZCh(ZA[427],ZA[422],ZA[417])+ZA[412]+ZA[162]+0x78a5636fU)+ZR26(ZA[427]); |
|
|
|
ZA[205]=(ZCh(ZA[203],ZA[200],ZA[197])+ZA[194]+ZA[50]+0x78a5636fU)+ZR26(ZA[203]); |
|
|
|
ZA[168]=ZR15(ZA[162])+ZA[149]+ZR25(ZA[118])+ZA[111]; |
|
|
|
ZA[52]=ZR15(ZA[50])+ZA[45]+ZR25(ZA[37])+ZA[36]; |
|
|
|
ZA[432]=ZA[413]+ZA[431]; |
|
|
|
ZA[206]=ZA[195]+ZA[205]; |
|
|
|
ZA[433]=ZA[431]+ZMa(ZA[423],ZA[418],ZA[428])+ZR30(ZA[428]); |
|
|
|
ZA[207]=ZA[205]+ZMa(ZA[201],ZA[198],ZA[204])+ZR30(ZA[204]); |
|
|
|
ZA[436]=(ZCh(ZA[432],ZA[427],ZA[422])+ZA[417]+ZA[167]+0x84c87814U)+ZR26(ZA[432]); |
|
|
|
ZA[208]=(ZCh(ZA[206],ZA[203],ZA[200])+ZA[197]+ZA[51]+0x84c87814U)+ZR26(ZA[206]); |
|
|
|
ZA[172]=ZR15(ZA[167])+ZA[150]+ZR25(ZA[119])+ZA[118]; |
|
|
|
ZA[53]=ZR15(ZA[51])+ZA[46]+ZR25(ZA[38])+ZA[37]; |
|
|
|
ZA[437]=ZA[418]+ZA[436]; |
|
|
|
ZA[209]=ZA[198]+ZA[208]; |
|
|
|
ZA[438]=ZA[436]+ZMa(ZA[428],ZA[423],ZA[433])+ZR30(ZA[433]); |
|
|
|
ZA[210]=ZA[208]+ZMa(ZA[204],ZA[201],ZA[207])+ZR30(ZA[207]); |
|
|
|
ZA[441]=(ZCh(ZA[437],ZA[432],ZA[427])+ZA[422]+ZA[168]+0x8cc70208U)+ZR26(ZA[437]); |
|
|
|
ZA[211]=(ZCh(ZA[209],ZA[206],ZA[203])+ZA[200]+ZA[52]+0x8cc70208U)+ZR26(ZA[209]); |
|
|
|
ZA[173]=ZR15(ZA[168])+ZA[155]+ZR25(ZA[126])+ZA[119]; |
|
|
|
ZA[54]=ZR15(ZA[52])+ZA[47]+ZR25(ZA[39])+ZA[38]; |
|
|
|
ZA[442]=ZA[423]+ZA[441]; |
|
|
|
ZA[212]=ZA[201]+ZA[211]; |
|
|
|
ZA[443]=ZA[441]+ZMa(ZA[433],ZA[428],ZA[438])+ZR30(ZA[438]); |
|
|
|
ZA[213]=ZA[211]+ZMa(ZA[207],ZA[204],ZA[210])+ZR30(ZA[210]); |
|
|
|
ZA[445]=(ZCh(ZA[442],ZA[437],ZA[432])+ZA[427]+ZA[172]+0x90befffaU)+ZR26(ZA[442]); |
|
|
|
ZA[214]=(ZCh(ZA[212],ZA[209],ZA[206])+ZA[203]+ZA[53]+0x90befffaU)+ZR26(ZA[212]); |
|
|
|
ZA[446]=ZA[428]+ZA[445]; |
|
|
|
ZA[215]=ZA[204]+ZA[214]; |
|
|
|
ZA[447]=ZA[445]+ZMa(ZA[438],ZA[433],ZA[443])+ZR30(ZA[443]); |
|
|
|
ZA[216]=ZA[214]+ZMa(ZA[210],ZA[207],ZA[213])+ZR30(ZA[213]); |
|
|
|
ZA[449]=(ZCh(ZA[446],ZA[442],ZA[437])+ZA[432]+ZA[173]+0xa4506cebU)+ZR26(ZA[446]); |
|
|
|
ZA[217]=(ZCh(ZA[215],ZA[212],ZA[209])+ZA[206]+ZA[54]+0xa4506cebU)+ZR26(ZA[215]); |
|
|
|
ZA[451]=ZA[449]+ZMa(ZA[443],ZA[438],ZA[447])+ZR30(ZA[447]); |
|
|
|
ZA[219]=ZA[217]+ZMa(ZA[213],ZA[210],ZA[216])+ZR30(ZA[216]); |
|
|
|
ZA[450]=ZA[433]+ZA[449]; |
|
|
|
ZA[218]=ZA[207]+ZA[217]; |
|
|
|
ZA[453]=(ZCh(ZA[450],ZA[446],ZA[442])+ZA[437]+ZR15(ZA[172])+ZA[156]+ZR25(ZA[127])+ZA[126]+0xbef9a3f7U)+ZR26(ZA[450]); |
|
|
|
ZA[220]=(ZCh(ZA[218],ZA[215],ZA[212])+ZA[209]+ZR15(ZA[53])+ZA[48]+ZR25(ZA[40])+ZA[39]+0xbef9a3f7U)+ZR26(ZA[218]); |
|
|
|
ZA[454]=ZA[438]+ZA[453]; |
|
|
|
ZA[221]=ZA[210]+ZA[220]; |
|
|
|
ZA[455]=ZA[453]+ZMa(ZA[447],ZA[443],ZA[451])+ZR30(ZA[451]); |
|
|
|
ZA[222]=ZA[220]+ZMa(ZA[216],ZA[213],ZA[219])+ZR30(ZA[219]); |
|
|
|
ZA[457]=(ZCh(ZA[454],ZA[450],ZA[446])+ZA[442]+ZR15(ZA[173])+ZA[161]+ZR25(ZA[134])+ZA[127]+0xc67178f2U)+ZR26(ZA[454]); |
|
|
|
ZA[223]=(ZCh(ZA[221],ZA[218],ZA[215])+ZA[212]+ZR15(ZA[54])+ZA[49]+ZR25(ZA[41])+ZA[40]+0xc67178f2U)+ZR26(ZA[221]); |
|
|
|
ZA[461]=ZA[455]+state1; |
|
|
|
ZA[225]=ZA[222]+state1; |
|
|
|
ZA[460]=ZA[457]+ZMa(ZA[451],ZA[447],ZA[455])+ZR30(ZA[455])+state0; |
|
|
|
ZA[224]=ZA[223]+ZMa(ZA[219],ZA[216],ZA[222])+ZR30(ZA[222])+state0; |
|
|
|
ZA[495]=ZA[460]+0x98c7e2a2U; |
|
|
|
ZA[235]=ZA[224]+0x98c7e2a2U; |
|
|
|
ZA[498]=(ZCh(ZA[495],0x510e527fU,0x9b05688cU)+ZA[461]+0x90bb1e3cU)+ZR26(ZA[495]); |
|
|
|
ZA[238]=(ZCh(ZA[235],0x510e527fU,0x9b05688cU)+ZA[225]+0x90bb1e3cU)+ZR26(ZA[235]); |
|
|
|
ZA[462]=ZA[451]+state2; |
|
|
|
ZA[226]=ZA[219]+state2; |
|
|
|
ZA[496]=ZA[460]+0xfc08884dU; |
|
|
|
ZA[236]=ZA[224]+0xfc08884dU; |
|
|
|
ZA[506]=ZA[498]+0x3c6ef372U; |
|
|
|
ZA[242]=ZA[238]+0x3c6ef372U; |
|
|
|
ZA[507]=(ZCh(ZA[506],ZA[495],0x510e527fU)+ZA[462]+0x50c6645bU)+ZR26(ZA[506]); |
|
|
|
ZA[243]=(ZCh(ZA[242],ZA[235],0x510e527fU)+ZA[226]+0x50c6645bU)+ZR26(ZA[242]); |
|
|
|
ZA[463]=ZA[447]+state3; |
|
|
|
ZA[227]=ZA[216]+state3; |
|
|
|
ZA[499]=ZA[498]+ZMa(0x6a09e667U,0xbb67ae85U,ZA[496])+ZR30(ZA[496]); |
|
|
|
ZA[239]=ZA[238]+ZMa(0x6a09e667U,0xbb67ae85U,ZA[236])+ZR30(ZA[236]); |
|
|
|
ZA[508]=ZA[507]+0xbb67ae85U; |
|
|
|
ZA[244]=ZA[243]+0xbb67ae85U; |
|
|
|
ZA[510]=(ZCh(ZA[508],ZA[506],ZA[495])+ZA[463]+0x3ac42e24U)+ZR26(ZA[508]); |
|
|
|
ZA[246]=(ZCh(ZA[244],ZA[242],ZA[235])+ZA[227]+0x3ac42e24U)+ZR26(ZA[244]); |
|
|
|
ZA[464]=ZA[443]+ZA[457]+state4; |
|
|
|
ZA[228]=ZA[213]+ZA[223]+state4; |
|
|
|
ZA[511]=ZA[510]+0x6a09e667U; |
|
|
|
ZA[247]=ZA[246]+0x6a09e667U; |
|
|
|
ZA[509]=ZMa(ZA[496],0x6a09e667U,ZA[499])+ZR30(ZA[499])+ZA[507]; |
|
|
|
ZA[245]=ZMa(ZA[236],0x6a09e667U,ZA[239])+ZR30(ZA[239])+ZA[243]; |
|
|
|
ZA[465]=ZA[454]+state5; |
|
|
|
ZA[229]=ZA[221]+state5; |
|
|
|
ZA[514]=(ZCh(ZA[511],ZA[508],ZA[506])+ZA[464]+ZA[460]+0xd21ea4fdU)+ZR26(ZA[511]); |
|
|
|
ZA[249]=(ZCh(ZA[247],ZA[244],ZA[242])+ZA[228]+ZA[224]+0xd21ea4fdU)+ZR26(ZA[247]); |
|
|
|
ZA[516]=ZA[496]+ZA[514]; |
|
|
|
ZA[250]=ZA[236]+ZA[249]; |
|
|
|
ZA[513]=ZA[510]+ZMa(ZA[499],ZA[496],ZA[509])+ZR30(ZA[509]); |
|
|
|
ZA[248]=ZA[246]+ZMa(ZA[239],ZA[236],ZA[245])+ZR30(ZA[245]); |
|
|
|
ZA[466]=ZA[450]+state6; |
|
|
|
ZA[230]=ZA[218]+state6; |
|
|
|
ZA[520]=(ZCh(ZA[516],ZA[511],ZA[508])+ZA[506]+ZA[465]+0x59f111f1U)+ZR26(ZA[516]); |
|
|
|
ZA[253]=(ZCh(ZA[250],ZA[247],ZA[244])+ZA[242]+ZA[229]+0x59f111f1U)+ZR26(ZA[250]); |
|
|
|
ZA[521]=ZA[499]+ZA[520]; |
|
|
|
ZA[254]=ZA[239]+ZA[253]; |
|
|
|
ZA[517]=ZA[514]+ZMa(ZA[509],ZA[499],ZA[513])+ZR30(ZA[513]); |
|
|
|
ZA[251]=ZA[249]+ZMa(ZA[245],ZA[239],ZA[248])+ZR30(ZA[248]); |
|
|
|
ZA[467]=ZA[446]+state7; |
|
|
|
ZA[231]=ZA[215]+state7; |
|
|
|
ZA[525]=(ZCh(ZA[521],ZA[516],ZA[511])+ZA[508]+ZA[466]+0x923f82a4U)+ZR26(ZA[521]); |
|
|
|
ZA[256]=(ZCh(ZA[254],ZA[250],ZA[247])+ZA[244]+ZA[230]+0x923f82a4U)+ZR26(ZA[254]); |
|
|
|
ZA[526]=ZA[509]+ZA[525]; |
|
|
|
ZA[257]=ZA[245]+ZA[256]; |
|
|
|
ZA[523]=ZA[520]+ZMa(ZA[513],ZA[509],ZA[517])+ZR30(ZA[517]); |
|
|
|
ZA[255]=ZA[253]+ZMa(ZA[248],ZA[245],ZA[251])+ZR30(ZA[251]); |
|
|
|
ZA[530]=(ZCh(ZA[526],ZA[521],ZA[516])+ZA[511]+ZA[467]+0xab1c5ed5U)+ZR26(ZA[526]); |
|
|
|
ZA[260]=(ZCh(ZA[257],ZA[254],ZA[250])+ZA[247]+ZA[231]+0xab1c5ed5U)+ZR26(ZA[257]); |
|
|
|
ZA[531]=ZA[513]+ZA[530]; |
|
|
|
ZA[261]=ZA[248]+ZA[260]; |
|
|
|
ZA[527]=ZMa(ZA[517],ZA[513],ZA[523])+ZR30(ZA[523])+ZA[525]; |
|
|
|
ZA[258]=ZMa(ZA[251],ZA[248],ZA[255])+ZR30(ZA[255])+ZA[256]; |
|
|
|
ZA[534]=(ZCh(ZA[531],ZA[526],ZA[521])+ZA[516]+0x5807aa98U)+ZR26(ZA[531]); |
|
|
|
ZA[263]=(ZCh(ZA[261],ZA[257],ZA[254])+ZA[250]+0x5807aa98U)+ZR26(ZA[261]); |
|
|
|
ZA[535]=ZA[517]+ZA[534]; |
|
|
|
ZA[264]=ZA[251]+ZA[263]; |
|
|
|
ZA[532]=ZMa(ZA[523],ZA[517],ZA[527])+ZR30(ZA[527])+ZA[530]; |
|
|
|
ZA[262]=ZMa(ZA[255],ZA[251],ZA[258])+ZR30(ZA[258])+ZA[260]; |
|
|
|
ZA[539]=(ZCh(ZA[535],ZA[531],ZA[526])+ZA[521]+0x12835b01U)+ZR26(ZA[535]); |
|
|
|
ZA[267]=(ZCh(ZA[264],ZA[261],ZA[257])+ZA[254]+0x12835b01U)+ZR26(ZA[264]); |
|
|
|
ZA[540]=ZA[523]+ZA[539]; |
|
|
|
ZA[268]=ZA[255]+ZA[267]; |
|
|
|
ZA[536]=ZMa(ZA[527],ZA[523],ZA[532])+ZR30(ZA[532])+ZA[534]; |
|
|
|
ZA[265]=ZMa(ZA[258],ZA[255],ZA[262])+ZR30(ZA[262])+ZA[263]; |
|
|
|
ZA[543]=(ZCh(ZA[540],ZA[535],ZA[531])+ZA[526]+0x243185beU)+ZR26(ZA[540]); |
|
|
|
ZA[270]=(ZCh(ZA[268],ZA[264],ZA[261])+ZA[257]+0x243185beU)+ZR26(ZA[268]); |
|
|
|
ZA[544]=ZA[527]+ZA[543]; |
|
|
|
ZA[271]=ZA[258]+ZA[270]; |
|
|
|
ZA[541]=ZMa(ZA[532],ZA[527],ZA[536])+ZR30(ZA[536])+ZA[539]; |
|
|
|
ZA[269]=ZMa(ZA[262],ZA[258],ZA[265])+ZR30(ZA[265])+ZA[267]; |
|
|
|
ZA[558]=(ZCh(ZA[544],ZA[540],ZA[535])+ZA[531]+0x550c7dc3U)+ZR26(ZA[544]); |
|
|
|
ZA[275]=(ZCh(ZA[271],ZA[268],ZA[264])+ZA[261]+0x550c7dc3U)+ZR26(ZA[271]); |
|
|
|
ZA[559]=ZA[532]+ZA[558]; |
|
|
|
ZA[276]=ZA[262]+ZA[275]; |
|
|
|
ZA[545]=ZMa(ZA[536],ZA[532],ZA[541])+ZR30(ZA[541])+ZA[543]; |
|
|
|
ZA[272]=ZMa(ZA[265],ZA[262],ZA[269])+ZR30(ZA[269])+ZA[270]; |
|
|
|
ZA[562]=(ZCh(ZA[559],ZA[544],ZA[540])+ZA[535]+0x72be5d74U)+ZR26(ZA[559]); |
|
|
|
ZA[278]=(ZCh(ZA[276],ZA[271],ZA[268])+ZA[264]+0x72be5d74U)+ZR26(ZA[276]); |
|
|
|
ZA[563]=ZA[536]+ZA[562]; |
|
|
|
ZA[279]=ZA[265]+ZA[278]; |
|
|
|
ZA[560]=ZMa(ZA[541],ZA[536],ZA[545])+ZR30(ZA[545])+ZA[558]; |
|
|
|
ZA[277]=ZMa(ZA[269],ZA[265],ZA[272])+ZR30(ZA[272])+ZA[275]; |
|
|
|
ZA[568]=(ZCh(ZA[563],ZA[559],ZA[544])+ZA[540]+0x80deb1feU)+ZR26(ZA[563]); |
|
|
|
ZA[283]=(ZCh(ZA[279],ZA[276],ZA[271])+ZA[268]+0x80deb1feU)+ZR26(ZA[279]); |
|
|
|
ZA[569]=ZA[541]+ZA[568]; |
|
|
|
ZA[284]=ZA[269]+ZA[283]; |
|
|
|
ZA[565]=ZA[562]+ZMa(ZA[545],ZA[541],ZA[560])+ZR30(ZA[560]); |
|
|
|
ZA[280]=ZA[278]+ZMa(ZA[272],ZA[269],ZA[277])+ZR30(ZA[277]); |
|
|
|
ZA[574]=(ZCh(ZA[569],ZA[563],ZA[559])+ZA[544]+0x9bdc06a7U)+ZR26(ZA[569]); |
|
|
|
ZA[286]=(ZCh(ZA[284],ZA[279],ZA[276])+ZA[271]+0x9bdc06a7U)+ZR26(ZA[284]); |
|
|
|
ZA[497]=ZR25(ZA[461])+ZA[460]; |
|
|
|
ZA[237]=ZR25(ZA[225])+ZA[224]; |
|
|
|
ZA[575]=ZA[545]+ZA[574]; |
|
|
|
ZA[287]=ZA[272]+ZA[286]; |
|
|
|
ZA[571]=ZA[568]+ZMa(ZA[560],ZA[545],ZA[565])+ZR30(ZA[565]); |
|
|
|
ZA[285]=ZA[283]+ZMa(ZA[277],ZA[272],ZA[280])+ZR30(ZA[280]); |
|
|
|
ZA[578]=(ZCh(ZA[575],ZA[569],ZA[563])+ZA[559]+0xc19bf274U)+ZR26(ZA[575]); |
|
|
|
ZA[289]=(ZCh(ZA[287],ZA[284],ZA[279])+ZA[276]+0xc19bf274U)+ZR26(ZA[287]); |
|
|
|
ZA[471]=ZR25(ZA[462])+ZA[461]+0x00a00000U; |
|
|
|
ZA[232]=ZR25(ZA[226])+ZA[225]+0x00a00000U; |
|
|
|
ZA[579]=ZA[560]+ZA[578]; |
|
|
|
ZA[290]=ZA[277]+ZA[289]; |
|
|
|
ZA[577]=ZA[574]+ZMa(ZA[565],ZA[560],ZA[571])+ZR30(ZA[571]); |
|
|
|
ZA[288]=ZA[286]+ZMa(ZA[280],ZA[277],ZA[285])+ZR30(ZA[285]); |
|
|
|
ZA[583]=(ZCh(ZA[579],ZA[575],ZA[569])+ZA[563]+ZA[497]+0xe49b69c1U)+ZR26(ZA[579]); |
|
|
|
ZA[292]=(ZCh(ZA[290],ZA[287],ZA[284])+ZA[279]+ZA[237]+0xe49b69c1U)+ZR26(ZA[290]); |
|
|
|
ZA[584]=ZA[565]+ZA[583]; |
|
|
|
ZA[293]=ZA[280]+ZA[292]; |
|
|
|
ZA[581]=ZA[578]+ZMa(ZA[571],ZA[565],ZA[577])+ZR30(ZA[577]); |
|
|
|
ZA[291]=ZA[289]+ZMa(ZA[285],ZA[280],ZA[288])+ZR30(ZA[288]); |
|
|
|
ZA[588]=(ZCh(ZA[584],ZA[579],ZA[575])+ZA[569]+ZA[471]+0xefbe4786U)+ZR26(ZA[584]); |
|
|
|
ZA[295]=(ZCh(ZA[293],ZA[290],ZA[287])+ZA[284]+ZA[232]+0xefbe4786U)+ZR26(ZA[293]); |
|
|
|
ZA[501]=ZR15(ZA[497])+ZR25(ZA[463])+ZA[462]; |
|
|
|
ZA[240]=ZR15(ZA[237])+ZR25(ZA[227])+ZA[226]; |
|
|
|
ZA[474]=ZR15(ZA[471])+ZA[463]+ZR25(ZA[464]); |
|
|
|
ZA[233]=ZR15(ZA[232])+ZA[227]+ZR25(ZA[228]); |
|
|
|
ZA[589]=ZA[571]+ZA[588]; |
|
|
|
ZA[296]=ZA[285]+ZA[295]; |
|
|
|
ZA[585]=ZA[583]+ZMa(ZA[577],ZA[571],ZA[581])+ZR30(ZA[581]); |
|
|
|
ZA[294]=ZA[292]+ZMa(ZA[288],ZA[285],ZA[291])+ZR30(ZA[291]); |
|
|
|
ZA[592]=(ZCh(ZA[589],ZA[584],ZA[579])+ZA[575]+0x0fc19dc6U+ZA[501])+ZR26(ZA[589]); |
|
|
|
ZA[298]=(ZCh(ZA[296],ZA[293],ZA[290])+ZA[287]+0x0fc19dc6U+ZA[240])+ZR26(ZA[296]); |
|
|
|
ZA[518]=ZR15(ZA[501])+ZR25(ZA[465])+ZA[464]; |
|
|
|
ZA[252]=ZR15(ZA[240])+ZR25(ZA[229])+ZA[228]; |
|
|
|
ZA[593]=ZA[577]+ZA[592]; |
|
|
|
ZA[299]=ZA[288]+ZA[298]; |
|
|
|
ZA[591]=ZA[588]+ZMa(ZA[581],ZA[577],ZA[585])+ZR30(ZA[585]); |
|
|
|
ZA[297]=ZA[295]+ZMa(ZA[291],ZA[288],ZA[294])+ZR30(ZA[294]); |
|
|
|
ZA[597]=(ZCh(ZA[593],ZA[589],ZA[584])+ZA[579]+ZA[474]+0x240ca1ccU)+ZR26(ZA[593]); |
|
|
|
ZA[301]=(ZCh(ZA[299],ZA[296],ZA[293])+ZA[290]+ZA[233]+0x240ca1ccU)+ZR26(ZA[299]); |
|
|
|
ZA[482]=ZR15(ZA[474])+ZR25(ZA[466])+ZA[465]; |
|
|
|
ZA[234]=ZR15(ZA[233])+ZR25(ZA[230])+ZA[229]; |
|
|
|
ZA[598]=ZA[581]+ZA[597]; |
|
|
|
ZA[302]=ZA[291]+ZA[301]; |
|
|
|
ZA[595]=ZA[592]+ZMa(ZA[585],ZA[581],ZA[591])+ZR30(ZA[591]); |
|
|
|
ZA[300]=ZA[298]+ZMa(ZA[294],ZA[291],ZA[297])+ZR30(ZA[297]); |
|
|
|
ZA[632]=(ZCh(ZA[598],ZA[593],ZA[589])+ZA[584]+ZA[518]+0x2de92c6fU)+ZR26(ZA[598]); |
|
|
|
ZA[310]=(ZCh(ZA[302],ZA[299],ZA[296])+ZA[293]+ZA[252]+0x2de92c6fU)+ZR26(ZA[302]); |
|
|
|
ZA[528]=ZR15(ZA[518])+ZA[466]+0x00000100U+ZR25(ZA[467]); |
|
|
|
ZA[259]=ZR15(ZA[252])+ZA[230]+0x00000100U+ZR25(ZA[231]); |
|
|
|
ZA[736]=ZA[585]+ZA[632]; |
|
|
|
ZA[335]=ZA[294]+ZA[310]; |
|
|
|
ZA[600]=ZA[597]+ZMa(ZA[591],ZA[585],ZA[595])+ZR30(ZA[595]); |
|
|
|
ZA[303]=ZA[301]+ZMa(ZA[297],ZA[294],ZA[300])+ZR30(ZA[300]); |
|
|
|
ZA[738]=(ZCh(ZA[736],ZA[598],ZA[593])+ZA[589]+ZA[482]+0x4a7484aaU)+ZR26(ZA[736]); |
|
|
|
ZA[337]=(ZCh(ZA[335],ZA[302],ZA[299])+ZA[296]+ZA[234]+0x4a7484aaU)+ZR26(ZA[335]); |
|
|
|
ZA[502]=ZA[497]+ZR15(ZA[482])+ZA[467]+0x11002000U; |
|
|
|
ZA[241]=ZA[237]+ZR15(ZA[234])+ZA[231]+0x11002000U; |
|
|
|
ZA[739]=ZA[591]+ZA[738]; |
|
|
|
ZA[338]=ZA[297]+ZA[337]; |
|
|
|
ZA[737]=ZMa(ZA[595],ZA[591],ZA[600])+ZR30(ZA[600])+ZA[632]; |
|
|
|
ZA[336]=ZMa(ZA[300],ZA[297],ZA[303])+ZR30(ZA[303])+ZA[310]; |
|
|
|
ZA[741]=(ZCh(ZA[739],ZA[736],ZA[598])+ZA[593]+ZA[528]+0x5cb0a9dcU)+ZR26(ZA[739]); |
|
|
|
ZA[340]=(ZCh(ZA[338],ZA[335],ZA[302])+ZA[299]+ZA[259]+0x5cb0a9dcU)+ZR26(ZA[338]); |
|
|
|
ZA[537]=ZR15(ZA[528])+ZA[471]+0x80000000U; |
|
|
|
ZA[266]=ZR15(ZA[259])+ZA[232]+0x80000000U; |
|
|
|
ZA[742]=ZA[595]+ZA[741]; |
|
|
|
ZA[341]=ZA[300]+ZA[340]; |
|
|
|
ZA[740]=ZMa(ZA[600],ZA[595],ZA[737])+ZR30(ZA[737])+ZA[738]; |
|
|
|
ZA[339]=ZMa(ZA[303],ZA[300],ZA[336])+ZR30(ZA[336])+ZA[337]; |
|
|
|
ZA[747]=(ZCh(ZA[742],ZA[739],ZA[736])+ZA[598]+ZA[502]+0x76f988daU)+ZR26(ZA[742]); |
|
|
|
ZA[343]=(ZCh(ZA[341],ZA[338],ZA[335])+ZA[302]+ZA[241]+0x76f988daU)+ZR26(ZA[341]); |
|
|
|
ZA[546]=ZR15(ZA[502])+ZA[501]; |
|
|
|
ZA[273]=ZR15(ZA[241])+ZA[240]; |
|
|
|
ZA[748]=ZA[600]+ZA[747]; |
|
|
|
ZA[344]=ZA[303]+ZA[343]; |
|
|
|
ZA[743]=ZMa(ZA[737],ZA[600],ZA[740])+ZR30(ZA[740])+ZA[741]; |
|
|
|
ZA[342]=ZMa(ZA[336],ZA[303],ZA[339])+ZR30(ZA[339])+ZA[340]; |
|
|
|
ZA[752]=(ZCh(ZA[748],ZA[742],ZA[739])+ZA[736]+ZA[537]+0x983e5152U)+ZR26(ZA[748]); |
|
|
|
ZA[346]=(ZCh(ZA[344],ZA[341],ZA[338])+ZA[335]+ZA[266]+0x983e5152U)+ZR26(ZA[344]); |
|
|
|
ZA[554]=ZR15(ZA[537])+ZA[474]; |
|
|
|
ZA[274]=ZR15(ZA[266])+ZA[233]; |
|
|
|
ZA[753]=ZA[737]+ZA[752]; |
|
|
|
ZA[347]=ZA[336]+ZA[346]; |
|
|
|
ZA[750]=ZA[747]+ZMa(ZA[740],ZA[737],ZA[743])+ZR30(ZA[743]); |
|
|
|
ZA[345]=ZA[343]+ZMa(ZA[339],ZA[336],ZA[342])+ZR30(ZA[342]); |
|
|
|
ZA[757]=(ZCh(ZA[753],ZA[748],ZA[742])+ZA[739]+ZA[546]+0xa831c66dU)+ZR26(ZA[753]); |
|
|
|
ZA[349]=(ZCh(ZA[347],ZA[344],ZA[341])+ZA[338]+ZA[273]+0xa831c66dU)+ZR26(ZA[347]); |
|
|
|
ZA[566]=ZR15(ZA[546])+ZA[518]; |
|
|
|
ZA[281]=ZR15(ZA[273])+ZA[252]; |
|
|
|
ZA[758]=ZA[740]+ZA[757]; |
|
|
|
ZA[350]=ZA[339]+ZA[349]; |
|
|
|
ZA[755]=ZA[752]+ZMa(ZA[743],ZA[740],ZA[750])+ZR30(ZA[750]); |
|
|
|
ZA[348]=ZA[346]+ZMa(ZA[342],ZA[339],ZA[345])+ZR30(ZA[345]); |
|
|
|
ZA[762]=(ZCh(ZA[758],ZA[753],ZA[748])+ZA[742]+ZA[554]+0xb00327c8U)+ZR26(ZA[758]); |
|
|
|
ZA[352]=(ZCh(ZA[350],ZA[347],ZA[344])+ZA[341]+ZA[274]+0xb00327c8U)+ZR26(ZA[350]); |
|
|
|
ZA[567]=ZR15(ZA[554])+ZA[482]; |
|
|
|
ZA[282]=ZR15(ZA[274])+ZA[234]; |
|
|
|
ZA[763]=ZA[743]+ZA[762]; |
|
|
|
ZA[353]=ZA[342]+ZA[352]; |
|
|
|
ZA[760]=ZA[757]+ZMa(ZA[750],ZA[743],ZA[755])+ZR30(ZA[755]); |
|
|
|
ZA[351]=ZA[349]+ZMa(ZA[345],ZA[342],ZA[348])+ZR30(ZA[348]); |
|
|
|
ZA[767]=(ZCh(ZA[763],ZA[758],ZA[753])+ZA[748]+ZA[566]+0xbf597fc7U)+ZR26(ZA[763]); |
|
|
|
ZA[355]=(ZCh(ZA[353],ZA[350],ZA[347])+ZA[344]+ZA[281]+0xbf597fc7U)+ZR26(ZA[353]); |
|
|
|
ZA[614]=ZR15(ZA[566])+ZA[528]; |
|
|
|
ZA[304]=ZR15(ZA[281])+ZA[259]; |
|
|
|
ZA[768]=ZA[750]+ZA[767]; |
|
|
|
ZA[356]=ZA[345]+ZA[355]; |
|
|
|
ZA[765]=ZA[762]+ZMa(ZA[755],ZA[750],ZA[760])+ZR30(ZA[760]); |
|
|
|
ZA[354]=ZA[352]+ZMa(ZA[348],ZA[345],ZA[351])+ZR30(ZA[351]); |
|
|
|
ZA[772]=(ZCh(ZA[768],ZA[763],ZA[758])+ZA[753]+ZA[567]+0xc6e00bf3U)+ZR26(ZA[768]); |
|
|
|
ZA[358]=(ZCh(ZA[356],ZA[353],ZA[350])+ZA[347]+ZA[282]+0xc6e00bf3U)+ZR26(ZA[356]); |
|
|
|
ZA[616]=ZR15(ZA[567])+ZA[502]+0x00400022U; |
|
|
|
ZA[305]=ZR15(ZA[282])+ZA[241]+0x00400022U; |
|
|
|
ZA[773]=ZA[755]+ZA[772]; |
|
|
|
ZA[359]=ZA[348]+ZA[358]; |
|
|
|
ZA[770]=ZA[767]+ZMa(ZA[760],ZA[755],ZA[765])+ZR30(ZA[765]); |
|
|
|
ZA[357]=ZA[355]+ZMa(ZA[351],ZA[348],ZA[354])+ZR30(ZA[354]); |
|
|
|
ZA[777]=(ZCh(ZA[773],ZA[768],ZA[763])+ZA[758]+ZA[614]+0xd5a79147U)+ZR26(ZA[773]); |
|
|
|
ZA[361]=(ZCh(ZA[359],ZA[356],ZA[353])+ZA[350]+ZA[304]+0xd5a79147U)+ZR26(ZA[359]); |
|
|
|
ZA[619]=ZR15(ZA[614])+ZA[537]+ZR25(ZA[497])+0x00000100U; |
|
|
|
ZA[306]=ZR15(ZA[304])+ZA[266]+ZR25(ZA[237])+0x00000100U; |
|
|
|
ZA[778]=ZA[760]+ZA[777]; |
|
|
|
ZA[362]=ZA[351]+ZA[361]; |
|
|
|
ZA[775]=ZA[772]+ZMa(ZA[765],ZA[760],ZA[770])+ZR30(ZA[770]); |
|
|
|
ZA[360]=ZA[358]+ZMa(ZA[354],ZA[351],ZA[357])+ZR30(ZA[357]); |
|
|
|
ZA[782]=(ZCh(ZA[778],ZA[773],ZA[768])+ZA[763]+ZA[616]+0x06ca6351U)+ZR26(ZA[778]); |
|
|
|
ZA[364]=(ZCh(ZA[362],ZA[359],ZA[356])+ZA[353]+ZA[305]+0x06ca6351U)+ZR26(ZA[362]); |
|
|
|
ZA[622]=ZR15(ZA[616])+ZR25(ZA[471])+ZA[497]+ZA[546]; |
|
|
|
ZA[307]=ZR15(ZA[305])+ZR25(ZA[232])+ZA[237]+ZA[273]; |
|
|
|
ZA[783]=ZA[765]+ZA[782]; |
|
|
|
ZA[365]=ZA[354]+ZA[364]; |
|
|
|
ZA[780]=ZA[777]+ZMa(ZA[770],ZA[765],ZA[775])+ZR30(ZA[775]); |
|
|
|
ZA[363]=ZA[361]+ZMa(ZA[357],ZA[354],ZA[360])+ZR30(ZA[360]); |
|
|
|
ZA[787]=(ZCh(ZA[783],ZA[778],ZA[773])+ZA[768]+ZA[619]+0x14292967U)+ZR26(ZA[783]); |
|
|
|
ZA[367]=(ZCh(ZA[365],ZA[362],ZA[359])+ZA[356]+ZA[306]+0x14292967U)+ZR26(ZA[365]); |
|
|
|
ZA[627]=ZR15(ZA[619])+ZR25(ZA[501])+ZA[554]+ZA[471]; |
|
|
|
ZA[308]=ZR15(ZA[306])+ZR25(ZA[240])+ZA[274]+ZA[232]; |
|
|
|
ZA[788]=ZA[770]+ZA[787]; |
|
|
|
ZA[368]=ZA[357]+ZA[367]; |
|
|
|
ZA[785]=ZA[782]+ZMa(ZA[775],ZA[770],ZA[780])+ZR30(ZA[780]); |
|
|
|
ZA[366]=ZA[364]+ZMa(ZA[360],ZA[357],ZA[363])+ZR30(ZA[363]); |
|
|
|
ZA[792]=(ZCh(ZA[788],ZA[783],ZA[778])+ZA[773]+ZA[622]+0x27b70a85U)+ZR26(ZA[788]); |
|
|
|
ZA[370]=(ZCh(ZA[368],ZA[365],ZA[362])+ZA[359]+ZA[307]+0x27b70a85U)+ZR26(ZA[368]); |
|
|
|
ZA[631]=ZR15(ZA[622])+ZA[566]+ZR25(ZA[474])+ZA[501]; |
|
|
|
ZA[309]=ZR15(ZA[307])+ZA[281]+ZR25(ZA[233])+ZA[240]; |
|
|
|
ZA[793]=ZA[775]+ZA[792]; |
|
|
|
ZA[371]=ZA[360]+ZA[370]; |
|
|
|
ZA[790]=ZA[787]+ZMa(ZA[780],ZA[775],ZA[785])+ZR30(ZA[785]); |
|
|
|
ZA[369]=ZA[367]+ZMa(ZA[363],ZA[360],ZA[366])+ZR30(ZA[366]); |
|
|
|
ZA[797]=(ZCh(ZA[793],ZA[788],ZA[783])+ZA[778]+ZA[627]+0x2e1b2138U)+ZR26(ZA[793]); |
|
|
|
ZA[373]=(ZCh(ZA[371],ZA[368],ZA[365])+ZA[362]+ZA[308]+0x2e1b2138U)+ZR26(ZA[371]); |
|
|
|
ZA[636]=ZR15(ZA[627])+ZA[567]+ZR25(ZA[518])+ZA[474]; |
|
|
|
ZA[311]=ZR15(ZA[308])+ZA[282]+ZR25(ZA[252])+ZA[233]; |
|
|
|
ZA[798]=ZA[780]+ZA[797]; |
|
|
|
ZA[374]=ZA[363]+ZA[373]; |
|
|
|
ZA[795]=ZA[792]+ZMa(ZA[785],ZA[780],ZA[790])+ZR30(ZA[790]); |
|
|
|
ZA[372]=ZA[370]+ZMa(ZA[366],ZA[363],ZA[369])+ZR30(ZA[369]); |
|
|
|
ZA[802]=(ZCh(ZA[798],ZA[793],ZA[788])+ZA[783]+ZA[631]+0x4d2c6dfcU)+ZR26(ZA[798]); |
|
|
|
ZA[376]=(ZCh(ZA[374],ZA[371],ZA[368])+ZA[365]+ZA[309]+0x4d2c6dfcU)+ZR26(ZA[374]); |
|
|
|
ZA[640]=ZR15(ZA[631])+ZR25(ZA[482])+ZA[518]+ZA[614]; |
|
|
|
ZA[312]=ZR15(ZA[309])+ZR25(ZA[234])+ZA[252]+ZA[304]; |
|
|
|
ZA[803]=ZA[785]+ZA[802]; |
|
|
|
ZA[377]=ZA[366]+ZA[376]; |
|
|
|
ZA[800]=ZA[797]+ZMa(ZA[790],ZA[785],ZA[795])+ZR30(ZA[795]); |
|
|
|
ZA[375]=ZA[373]+ZMa(ZA[369],ZA[366],ZA[372])+ZR30(ZA[372]); |
|
|
|
ZA[807]=(ZCh(ZA[803],ZA[798],ZA[793])+ZA[788]+ZA[636]+0x53380d13U)+ZR26(ZA[803]); |
|
|
|
ZA[379]=(ZCh(ZA[377],ZA[374],ZA[371])+ZA[368]+ZA[311]+0x53380d13U)+ZR26(ZA[377]); |
|
|
|
ZA[644]=ZR15(ZA[636])+ZA[616]+ZR25(ZA[528])+ZA[482]; |
|
|
|
ZA[313]=ZR15(ZA[311])+ZA[305]+ZR25(ZA[259])+ZA[234]; |
|
|
|
ZA[808]=ZA[790]+ZA[807]; |
|
|
|
ZA[380]=ZA[369]+ZA[379]; |
|
|
|
ZA[805]=ZA[802]+ZMa(ZA[795],ZA[790],ZA[800])+ZR30(ZA[800]); |
|
|
|
ZA[378]=ZA[376]+ZMa(ZA[372],ZA[369],ZA[375])+ZR30(ZA[375]); |
|
|
|
ZA[812]=(ZCh(ZA[808],ZA[803],ZA[798])+ZA[793]+ZA[640]+0x650a7354U)+ZR26(ZA[808]); |
|
|
|
ZA[382]=(ZCh(ZA[380],ZA[377],ZA[374])+ZA[371]+ZA[312]+0x650a7354U)+ZR26(ZA[380]); |
|
|
|
ZA[648]=ZR15(ZA[640])+ZA[619]+ZR25(ZA[502])+ZA[528]; |
|
|
|
ZA[314]=ZR15(ZA[312])+ZA[306]+ZR25(ZA[241])+ZA[259]; |
|
|
|
ZA[813]=ZA[795]+ZA[812]; |
|
|
|
ZA[383]=ZA[372]+ZA[382]; |
|
|
|
ZA[810]=ZA[807]+ZMa(ZA[800],ZA[795],ZA[805])+ZR30(ZA[805]); |
|
|
|
ZA[381]=ZA[379]+ZMa(ZA[375],ZA[372],ZA[378])+ZR30(ZA[378]); |
|
|
|
ZA[817]=(ZCh(ZA[813],ZA[808],ZA[803])+ZA[798]+ZA[644]+0x766a0abbU)+ZR26(ZA[813]); |
|
|
|
ZA[385]=(ZCh(ZA[383],ZA[380],ZA[377])+ZA[374]+ZA[313]+0x766a0abbU)+ZR26(ZA[383]); |
|
|
|
ZA[651]=ZR15(ZA[644])+ZA[622]+ZR25(ZA[537])+ZA[502]; |
|
|
|
ZA[315]=ZR15(ZA[313])+ZA[307]+ZR25(ZA[266])+ZA[241]; |
|
|
|
ZA[818]=ZA[800]+ZA[817]; |
|
|
|
ZA[386]=ZA[375]+ZA[385]; |
|
|
|
ZA[815]=ZA[812]+ZMa(ZA[805],ZA[800],ZA[810])+ZR30(ZA[810]); |
|
|
|
ZA[384]=ZA[382]+ZMa(ZA[378],ZA[375],ZA[381])+ZR30(ZA[381]); |
|
|
|
ZA[822]=(ZCh(ZA[818],ZA[813],ZA[808])+ZA[803]+ZA[648]+0x81c2c92eU)+ZR26(ZA[818]); |
|
|
|
ZA[388]=(ZCh(ZA[386],ZA[383],ZA[380])+ZA[377]+ZA[314]+0x81c2c92eU)+ZR26(ZA[386]); |
|
|
|
ZA[655]=ZR15(ZA[648])+ZA[627]+ZR25(ZA[546])+ZA[537]; |
|
|
|
ZA[316]=ZR15(ZA[314])+ZA[308]+ZR25(ZA[273])+ZA[266]; |
|
|
|
ZA[823]=ZA[805]+ZA[822]; |
|
|
|
ZA[389]=ZA[378]+ZA[388]; |
|
|
|
ZA[820]=ZA[817]+ZMa(ZA[810],ZA[805],ZA[815])+ZR30(ZA[815]); |
|
|
|
ZA[387]=ZA[385]+ZMa(ZA[381],ZA[378],ZA[384])+ZR30(ZA[384]); |
|
|
|
ZA[827]=(ZCh(ZA[823],ZA[818],ZA[813])+ZA[808]+ZA[651]+0x92722c85U)+ZR26(ZA[823]); |
|
|
|
ZA[391]=(ZCh(ZA[389],ZA[386],ZA[383])+ZA[380]+ZA[315]+0x92722c85U)+ZR26(ZA[389]); |
|
|
|
ZA[659]=ZR15(ZA[651])+ZA[631]+ZR25(ZA[554])+ZA[546]; |
|
|
|
ZA[317]=ZR15(ZA[315])+ZA[309]+ZR25(ZA[274])+ZA[273]; |
|
|
|
ZA[828]=ZA[810]+ZA[827]; |
|
|
|
ZA[392]=ZA[381]+ZA[391]; |
|
|
|
ZA[825]=ZA[822]+ZMa(ZA[815],ZA[810],ZA[820])+ZR30(ZA[820]); |
|
|
|
ZA[390]=ZA[388]+ZMa(ZA[384],ZA[381],ZA[387])+ZR30(ZA[387]); |
|
|
|
ZA[832]=(ZCh(ZA[828],ZA[823],ZA[818])+ZA[813]+ZA[655]+0xa2bfe8a1U)+ZR26(ZA[828]); |
|
|
|
ZA[394]=(ZCh(ZA[392],ZA[389],ZA[386])+ZA[383]+ZA[316]+0xa2bfe8a1U)+ZR26(ZA[392]); |
|
|
|
ZA[663]=ZR15(ZA[655])+ZA[636]+ZR25(ZA[566])+ZA[554]; |
|
|
|
ZA[318]=ZR15(ZA[316])+ZA[311]+ZR25(ZA[281])+ZA[274]; |
|
|
|
ZA[833]=ZA[815]+ZA[832]; |
|
|
|
ZA[395]=ZA[384]+ZA[394]; |
|
|
|
ZA[830]=ZA[827]+ZMa(ZA[820],ZA[815],ZA[825])+ZR30(ZA[825]); |
|
|
|
ZA[393]=ZA[391]+ZMa(ZA[387],ZA[384],ZA[390])+ZR30(ZA[390]); |
|
|
|
ZA[837]=(ZCh(ZA[833],ZA[828],ZA[823])+ZA[818]+ZA[659]+0xa81a664bU)+ZR26(ZA[833]); |
|
|
|
ZA[397]=(ZCh(ZA[395],ZA[392],ZA[389])+ZA[386]+ZA[317]+0xa81a664bU)+ZR26(ZA[395]); |
|
|
|
ZA[667]=ZR15(ZA[659])+ZA[640]+ZR25(ZA[567])+ZA[566]; |
|
|
|
ZA[319]=ZR15(ZA[317])+ZA[312]+ZR25(ZA[282])+ZA[281]; |
|
|
|
ZA[838]=ZA[820]+ZA[837]; |
|
|
|
ZA[398]=ZA[387]+ZA[397]; |
|
|
|
ZA[835]=ZA[832]+ZMa(ZA[825],ZA[820],ZA[830])+ZR30(ZA[830]); |
|
|
|
ZA[396]=ZA[394]+ZMa(ZA[390],ZA[387],ZA[393])+ZR30(ZA[393]); |
|
|
|
ZA[842]=(ZCh(ZA[838],ZA[833],ZA[828])+ZA[823]+ZA[663]+0xc24b8b70U)+ZR26(ZA[838]); |
|
|
|
ZA[400]=(ZCh(ZA[398],ZA[395],ZA[392])+ZA[389]+ZA[318]+0xc24b8b70U)+ZR26(ZA[398]); |
|
|
|
ZA[671]=ZR15(ZA[663])+ZA[644]+ZR25(ZA[614])+ZA[567]; |
|
|
|
ZA[320]=ZR15(ZA[318])+ZA[313]+ZR25(ZA[304])+ZA[282]; |
|
|
|
ZA[843]=ZA[825]+ZA[842]; |
|
|
|
ZA[401]=ZA[390]+ZA[400]; |
|
|
|
ZA[840]=ZA[837]+ZMa(ZA[830],ZA[825],ZA[835])+ZR30(ZA[835]); |
|
|
|
ZA[399]=ZA[397]+ZMa(ZA[393],ZA[390],ZA[396])+ZR30(ZA[396]); |
|
|
|
ZA[847]=(ZCh(ZA[843],ZA[838],ZA[833])+ZA[828]+ZA[667]+0xc76c51a3U)+ZR26(ZA[843]); |
|
|
|
ZA[403]=(ZCh(ZA[401],ZA[398],ZA[395])+ZA[392]+ZA[319]+0xc76c51a3U)+ZR26(ZA[401]); |
|
|
|
ZA[679]=ZR15(ZA[667])+ZA[648]+ZR25(ZA[616])+ZA[614]; |
|
|
|
ZA[321]=ZR15(ZA[319])+ZA[314]+ZR25(ZA[305])+ZA[304]; |
|
|
|
ZA[848]=ZA[830]+ZA[847]; |
|
|
|
ZA[404]=ZA[393]+ZA[403]; |
|
|
|
ZA[845]=ZA[842]+ZMa(ZA[835],ZA[830],ZA[840])+ZR30(ZA[840]); |
|
|
|
ZA[402]=ZA[400]+ZMa(ZA[396],ZA[393],ZA[399])+ZR30(ZA[399]); |
|
|
|
ZA[852]=(ZCh(ZA[848],ZA[843],ZA[838])+ZA[833]+ZA[671]+0xd192e819U)+ZR26(ZA[848]); |
|
|
|
ZA[406]=(ZCh(ZA[404],ZA[401],ZA[398])+ZA[395]+ZA[320]+0xd192e819U)+ZR26(ZA[404]); |
|
|
|
ZA[684]=ZR15(ZA[671])+ZA[651]+ZR25(ZA[619])+ZA[616]; |
|
|
|
ZA[322]=ZR15(ZA[320])+ZA[315]+ZR25(ZA[306])+ZA[305]; |
|
|
|
ZA[853]=ZA[835]+ZA[852]; |
|
|
|
ZA[407]=ZA[396]+ZA[406]; |
|
|
|
ZA[850]=ZA[847]+ZMa(ZA[840],ZA[835],ZA[845])+ZR30(ZA[845]); |
|
|
|
ZA[405]=ZA[403]+ZMa(ZA[399],ZA[396],ZA[402])+ZR30(ZA[402]); |
|
|
|
ZA[857]=(ZCh(ZA[853],ZA[848],ZA[843])+ZA[838]+ZA[679]+0xd6990624U)+ZR26(ZA[853]); |
|
|
|
ZA[409]=(ZCh(ZA[407],ZA[404],ZA[401])+ZA[398]+ZA[321]+0xd6990624U)+ZR26(ZA[407]); |
|
|
|
ZA[688]=ZR15(ZA[679])+ZA[655]+ZR25(ZA[622])+ZA[619]; |
|
|
|
ZA[323]=ZR15(ZA[321])+ZA[316]+ZR25(ZA[307])+ZA[306]; |
|
|
|
ZA[858]=ZA[840]+ZA[857]; |
|
|
|
ZA[410]=ZA[399]+ZA[409]; |
|
|
|
ZA[855]=ZA[852]+ZMa(ZA[845],ZA[840],ZA[850])+ZR30(ZA[850]); |
|
|
|
ZA[408]=ZA[406]+ZMa(ZA[402],ZA[399],ZA[405])+ZR30(ZA[405]); |
|
|
|
ZA[862]=(ZCh(ZA[858],ZA[853],ZA[848])+ZA[843]+ZA[684]+0xf40e3585U)+ZR26(ZA[858]); |
|
|
|
ZA[412]=(ZCh(ZA[410],ZA[407],ZA[404])+ZA[401]+ZA[322]+0xf40e3585U)+ZR26(ZA[410]); |
|
|
|
ZA[692]=ZR15(ZA[684])+ZA[659]+ZR25(ZA[627])+ZA[622]; |
|
|
|
ZA[324]=ZR15(ZA[322])+ZA[317]+ZR25(ZA[308])+ZA[307]; |
|
|
|
ZA[863]=ZA[845]+ZA[862]; |
|
|
|
ZA[413]=ZA[402]+ZA[412]; |
|
|
|
ZA[860]=ZA[857]+ZMa(ZA[850],ZA[845],ZA[855])+ZR30(ZA[855]); |
|
|
|
ZA[411]=ZA[409]+ZMa(ZA[405],ZA[402],ZA[408])+ZR30(ZA[408]); |
|
|
|
ZA[867]=(ZCh(ZA[863],ZA[858],ZA[853])+ZA[848]+ZA[688]+0x106aa070U)+ZR26(ZA[863]); |
|
|
|
ZA[415]=(ZCh(ZA[413],ZA[410],ZA[407])+ZA[404]+ZA[323]+0x106aa070U)+ZR26(ZA[413]); |
|
|
|
ZA[696]=ZR15(ZA[688])+ZA[663]+ZR25(ZA[631])+ZA[627]; |
|
|
|
ZA[325]=ZR15(ZA[323])+ZA[318]+ZR25(ZA[309])+ZA[308]; |
|
|
|
ZA[868]=ZA[850]+ZA[867]; |
|
|
|
ZA[416]=ZA[405]+ZA[415]; |
|
|
|
ZA[865]=ZA[862]+ZMa(ZA[855],ZA[850],ZA[860])+ZR30(ZA[860]); |
|
|
|
ZA[414]=ZA[412]+ZMa(ZA[408],ZA[405],ZA[411])+ZR30(ZA[411]); |
|
|
|
ZA[873]=(ZCh(ZA[868],ZA[863],ZA[858])+ZA[853]+ZA[692]+0x19a4c116U)+ZR26(ZA[868]); |
|
|
|
ZA[418]=(ZCh(ZA[416],ZA[413],ZA[410])+ZA[407]+ZA[324]+0x19a4c116U)+ZR26(ZA[416]); |
|
|
|
ZA[700]=ZR15(ZA[692])+ZA[667]+ZR25(ZA[636])+ZA[631]; |
|
|
|
ZA[326]=ZR15(ZA[324])+ZA[319]+ZR25(ZA[311])+ZA[309]; |
|
|
|
ZA[874]=ZA[855]+ZA[873]; |
|
|
|
ZA[419]=ZA[408]+ZA[418]; |
|
|
|
ZA[870]=ZA[867]+ZMa(ZA[860],ZA[855],ZA[865])+ZR30(ZA[865]); |
|
|
|
ZA[417]=ZA[415]+ZMa(ZA[411],ZA[408],ZA[414])+ZR30(ZA[414]); |
|
|
|
ZA[878]=(ZCh(ZA[874],ZA[868],ZA[863])+ZA[858]+ZA[696]+0x1e376c08U)+ZR26(ZA[874]); |
|
|
|
ZA[421]=(ZCh(ZA[419],ZA[416],ZA[413])+ZA[410]+ZA[325]+0x1e376c08U)+ZR26(ZA[419]); |
|
|
|
ZA[704]=ZR15(ZA[696])+ZA[671]+ZR25(ZA[640])+ZA[636]; |
|
|
|
ZA[327]=ZR15(ZA[325])+ZA[320]+ZR25(ZA[312])+ZA[311]; |
|
|
|
ZA[879]=ZA[860]+ZA[878]; |
|
|
|
ZA[422]=ZA[411]+ZA[421]; |
|
|
|
ZA[876]=ZA[873]+ZMa(ZA[865],ZA[860],ZA[870])+ZR30(ZA[870]); |
|
|
|
ZA[420]=ZA[418]+ZMa(ZA[414],ZA[411],ZA[417])+ZR30(ZA[417]); |
|
|
|
ZA[883]=(ZCh(ZA[879],ZA[874],ZA[868])+ZA[863]+ZA[700]+0x2748774cU)+ZR26(ZA[879]); |
|
|
|
ZA[424]=(ZCh(ZA[422],ZA[419],ZA[416])+ZA[413]+ZA[326]+0x2748774cU)+ZR26(ZA[422]); |
|
|
|
ZA[708]=ZR15(ZA[700])+ZA[679]+ZR25(ZA[644])+ZA[640]; |
|
|
|
ZA[328]=ZR15(ZA[326])+ZA[321]+ZR25(ZA[313])+ZA[312]; |
|
|
|
ZA[884]=ZA[865]+ZA[883]; |
|
|
|
ZA[425]=ZA[414]+ZA[424]; |
|
|
|
ZA[881]=ZA[878]+ZMa(ZA[870],ZA[865],ZA[876])+ZR30(ZA[876]); |
|
|
|
ZA[423]=ZA[421]+ZMa(ZA[417],ZA[414],ZA[420])+ZR30(ZA[420]); |
|
|
|
ZA[888]=(ZCh(ZA[884],ZA[879],ZA[874])+ZA[868]+ZA[704]+0x34b0bcb5U)+ZR26(ZA[884]); |
|
|
|
ZA[427]=(ZCh(ZA[425],ZA[422],ZA[419])+ZA[416]+ZA[327]+0x34b0bcb5U)+ZR26(ZA[425]); |
|
|
|
ZA[712]=ZR15(ZA[704])+ZA[684]+ZR25(ZA[648])+ZA[644]; |
|
|
|
ZA[329]=ZR15(ZA[327])+ZA[322]+ZR25(ZA[314])+ZA[313]; |
|
|
|
ZA[889]=ZA[870]+ZA[888]; |
|
|
|
ZA[428]=ZA[417]+ZA[427]; |
|
|
|
ZA[886]=ZA[883]+ZMa(ZA[876],ZA[870],ZA[881])+ZR30(ZA[881]); |
|
|
|
ZA[426]=ZA[424]+ZMa(ZA[420],ZA[417],ZA[423])+ZR30(ZA[423]); |
|
|
|
ZA[893]=(ZCh(ZA[889],ZA[884],ZA[879])+ZA[874]+ZA[708]+0x391c0cb3U)+ZR26(ZA[889]); |
|
|
|
ZA[430]=(ZCh(ZA[428],ZA[425],ZA[422])+ZA[419]+ZA[328]+0x391c0cb3U)+ZR26(ZA[428]); |
|
|
|
ZA[716]=ZR15(ZA[708])+ZA[688]+ZR25(ZA[651])+ZA[648]; |
|
|
|
ZA[330]=ZR15(ZA[328])+ZA[323]+ZR25(ZA[315])+ZA[314]; |
|
|
|
ZA[894]=ZA[876]+ZA[893]; |
|
|
|
ZA[431]=ZA[420]+ZA[430]; |
|
|
|
ZA[891]=ZA[888]+ZMa(ZA[881],ZA[876],ZA[886])+ZR30(ZA[886]); |
|
|
|
ZA[429]=ZA[427]+ZMa(ZA[423],ZA[420],ZA[426])+ZR30(ZA[426]); |
|
|
|
ZA[898]=(ZCh(ZA[894],ZA[889],ZA[884])+ZA[879]+ZA[712]+0x4ed8aa4aU)+ZR26(ZA[894]); |
|
|
|
ZA[433]=(ZCh(ZA[431],ZA[428],ZA[425])+ZA[422]+ZA[329]+0x4ed8aa4aU)+ZR26(ZA[431]); |
|
|
|
ZA[720]=ZR15(ZA[712])+ZA[692]+ZR25(ZA[655])+ZA[651]; |
|
|
|
ZA[331]=ZR15(ZA[329])+ZA[324]+ZR25(ZA[316])+ZA[315]; |
|
|
|
ZA[899]=ZA[881]+ZA[898]; |
|
|
|
ZA[434]=ZA[423]+ZA[433]; |
|
|
|
ZA[896]=ZA[893]+ZMa(ZA[886],ZA[881],ZA[891])+ZR30(ZA[891]); |
|
|
|
ZA[432]=ZA[430]+ZMa(ZA[426],ZA[423],ZA[429])+ZR30(ZA[429]); |
|
|
|
ZA[903]=(ZCh(ZA[899],ZA[894],ZA[889])+ZA[884]+ZA[716]+0x5b9cca4fU)+ZR26(ZA[899]); |
|
|
|
ZA[436]=(ZCh(ZA[434],ZA[431],ZA[428])+ZA[425]+ZA[330]+0x5b9cca4fU)+ZR26(ZA[434]); |
|
|
|
ZA[724]=ZR15(ZA[716])+ZA[696]+ZR25(ZA[659])+ZA[655]; |
|
|
|
ZA[332]=ZR15(ZA[330])+ZA[325]+ZR25(ZA[317])+ZA[316]; |
|
|
|
ZA[904]=ZA[886]+ZA[903]; |
|
|
|
ZA[437]=ZA[426]+ZA[436]; |
|
|
|
ZA[901]=ZA[898]+ZMa(ZA[891],ZA[886],ZA[896])+ZR30(ZA[896]); |
|
|
|
ZA[435]=ZA[433]+ZMa(ZA[429],ZA[426],ZA[432])+ZR30(ZA[432]); |
|
|
|
ZA[908]=(ZCh(ZA[904],ZA[899],ZA[894])+ZA[889]+ZA[720]+0x682e6ff3U)+ZR26(ZA[904]); |
|
|
|
ZA[439]=(ZCh(ZA[437],ZA[434],ZA[431])+ZA[428]+ZA[331]+0x682e6ff3U)+ZR26(ZA[437]); |
|
|
|
ZA[727]=ZR15(ZA[720])+ZA[700]+ZR25(ZA[663])+ZA[659]; |
|
|
|
ZA[333]=ZR15(ZA[331])+ZA[326]+ZR25(ZA[318])+ZA[317]; |
|
|
|
ZA[909]=ZA[891]+ZA[908]; |
|
|
|
ZA[440]=ZA[429]+ZA[439]; |
|
|
|
ZA[906]=ZA[903]+ZMa(ZA[896],ZA[891],ZA[901])+ZR30(ZA[901]); |
|
|
|
ZA[438]=ZA[436]+ZMa(ZA[432],ZA[429],ZA[435])+ZR30(ZA[435]); |
|
|
|
ZA[913]=(ZCh(ZA[909],ZA[904],ZA[899])+ZA[894]+ZA[724]+0x748f82eeU)+ZR26(ZA[909]); |
|
|
|
ZA[442]=(ZCh(ZA[440],ZA[437],ZA[434])+ZA[431]+ZA[332]+0x748f82eeU)+ZR26(ZA[440]); |
|
|
|
ZA[730]=ZR15(ZA[724])+ZA[704]+ZR25(ZA[667])+ZA[663]; |
|
|
|
ZA[334]=ZR15(ZA[332])+ZA[327]+ZR25(ZA[319])+ZA[318]; |
|
|
|
ZA[914]=ZA[896]+ZA[913]; |
|
|
|
ZA[443]=ZA[432]+ZA[442]; |
|
|
|
ZA[911]=ZA[908]+ZMa(ZA[901],ZA[896],ZA[906])+ZR30(ZA[906]); |
|
|
|
ZA[441]=ZA[439]+ZMa(ZA[435],ZA[432],ZA[438])+ZR30(ZA[438]); |
|
|
|
ZA[918]=(ZCh(ZA[914],ZA[909],ZA[904])+ZA[899]+ZA[901]+ZA[727]+0x78a5636fU)+ZR26(ZA[914]); |
|
|
|
ZA[444]=(ZCh(ZA[443],ZA[440],ZA[437])+ZA[434]+ZA[435]+ZA[333]+0x78a5636fU)+ZR26(ZA[443]); |
|
|
|
ZA[920]=(ZCh(ZA[918],ZA[914],ZA[909])+ZA[906]+ZA[904]+ZA[730]+0x84c87814U)+ZR26(ZA[918]); |
|
|
|
ZA[445]=(ZCh(ZA[444],ZA[443],ZA[440])+ZA[438]+ZA[437]+ZA[334]+0x84c87814U)+ZR26(ZA[444]); |
|
|
|
ZA[922]=(ZCh(ZA[920],ZA[918],ZA[914])+ZA[911]+ZA[909]+ZR15(ZA[727])+ZA[708]+ZR25(ZA[671])+ZA[667]+0x8cc70208U)+ZR26(ZA[920]); |
|
|
|
ZA[446]=(ZCh(ZA[445],ZA[444],ZA[443])+ZA[441]+ZA[440]+ZR15(ZA[333])+ZA[328]+ZR25(ZA[320])+ZA[319]+0x8cc70208U)+ZR26(ZA[445]); |
|
|
|
ZA[924]=(ZCh(ZA[922],ZA[920],ZA[918])+ZA[913]+ZMa(ZA[906],ZA[901],ZA[911])+ZR30(ZA[911])+ZA[914]+ZR15(ZA[730])+ZA[712]+ZR25(ZA[679])+ZA[671])+ZR26(ZA[922]); |
|
|
|
ZA[447]=(ZCh(ZA[446],ZA[445],ZA[444])+ZA[442]+ZMa(ZA[438],ZA[435],ZA[441])+ZR30(ZA[441])+ZA[443]+ZR15(ZA[334])+ZA[329]+ZR25(ZA[321])+ZA[320])+ZR26(ZA[446]); |
|
|
|
|
|
|
|
|
|
|
|
#define FOUND (0x80) |
|
|
|
#define FOUND (0x80) |
|
|
|
#define NFLAG (0x7F) |
|
|
|
#define NFLAG (0x7F) |
|
|
|
|
|
|
|
|
|
|
|
#if defined(VECTORS4) |
|
|
|
#if defined(VECTORS4) |
|
|
|
bool result = any(ZA[924] == 0x136032EDU); |
|
|
|
bool result = any(ZA[447] == 0x136032EDU); |
|
|
|
|
|
|
|
|
|
|
|
if (result) { |
|
|
|
if (result) { |
|
|
|
if (ZA[924].x == 0x136032EDU) |
|
|
|
if (ZA[447].x == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce.x] = Znonce.x; |
|
|
|
output[FOUND] = output[NFLAG & Znonce.x] = Znonce.x; |
|
|
|
if (ZA[924].y == 0x136032EDU) |
|
|
|
if (ZA[447].y == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce.y] = Znonce.y; |
|
|
|
output[FOUND] = output[NFLAG & Znonce.y] = Znonce.y; |
|
|
|
if (ZA[924].z == 0x136032EDU) |
|
|
|
if (ZA[447].z == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce.z] = Znonce.z; |
|
|
|
output[FOUND] = output[NFLAG & Znonce.z] = Znonce.z; |
|
|
|
if (ZA[924].w == 0x136032EDU) |
|
|
|
if (ZA[447].w == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce.w] = Znonce.w; |
|
|
|
output[FOUND] = output[NFLAG & Znonce.w] = Znonce.w; |
|
|
|
} |
|
|
|
} |
|
|
|
#elif defined(VECTORS2) |
|
|
|
#elif defined(VECTORS2) |
|
|
|
bool result = any(ZA[924] == 0x136032EDU); |
|
|
|
bool result = any(ZA[447] == 0x136032EDU); |
|
|
|
|
|
|
|
|
|
|
|
if (result) { |
|
|
|
if (result) { |
|
|
|
if (ZA[924].x == 0x136032EDU) |
|
|
|
if (ZA[447].x == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce.x] = Znonce.x; |
|
|
|
output[FOUND] = output[NFLAG & Znonce.x] = Znonce.x; |
|
|
|
if (ZA[924].y == 0x136032EDU) |
|
|
|
if (ZA[447].y == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce.y] = Znonce.y; |
|
|
|
output[FOUND] = output[NFLAG & Znonce.y] = Znonce.y; |
|
|
|
} |
|
|
|
} |
|
|
|
#else |
|
|
|
#else |
|
|
|
if (ZA[924] == 0x136032EDU) |
|
|
|
if (ZA[447] == 0x136032EDU) |
|
|
|
output[FOUND] = output[NFLAG & Znonce] = Znonce; |
|
|
|
output[FOUND] = output[NFLAG & Znonce] = Znonce; |
|
|
|
#endif |
|
|
|
#endif |
|
|
|
} |
|
|
|
} |
|
|
|