OpenCoverage

streebog.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/gost/streebog.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 -

7 static const unsigned long A_PI_table[8][256] = { -

8 { -

9 0xd01f715b5c7ef8e6UL, 0x16fa240980778325UL, -

10 0xa8a42e857ee049c8UL, 0x6ac1068fa186465bUL, -

11 0x6e417bd7a2e9320bUL, 0x665c8167a437daabUL, -

12 0x7666681aa89617f6UL, 0x4b959163700bdcf5UL, -

13 0xf14be6b78df36248UL, 0xc585bd689a625cffUL, -

14 0x9557d7fca67d82cbUL, 0x89f0b969af6dd366UL, -

15 0xb0833d48749f6c35UL, 0xa1998c23b1ecbc7cUL, -

16 0x8d70c431ac02a736UL, 0xd6dfbc2fd0a8b69eUL, -

17 0x37aeb3e551fa198bUL, 0x0b7d128a40b5cf9cUL, -

18 0x5a8f2008b5780cbcUL, 0xedec882284e333e5UL, -

19 0xd25fc177d3c7c2ceUL, 0x5e0f5d50b61778ecUL, -

20 0x1d873683c0c24cb9UL, 0xad040bcbb45d208cUL, -

21 0x2f89a0285b853c76UL, 0x5732fff6791b8d58UL, -

22 0x3e9311439ef6ec3fUL, 0xc9183a809fd3c00fUL, -

23 0x83adf3f5260a01eeUL, 0xa6791941f4e8ef10UL, -

24 0x103ae97d0ca1cd5dUL, 0x2ce948121dee1b4aUL, -

25 0x39738421dbf2bf53UL, 0x093da2a6cf0cf5b4UL, -

26 0xcd9847d89cbcb45fUL, 0xf9561c078b2d8ae8UL, -

27 0x9c6a755a6971777fUL, 0xbc1ebaa0712ef0c5UL, -

28 0x72e61542abf963a6UL, 0x78bb5fde229eb12eUL, -

29 0x14ba94250fceb90dUL, 0x844d6697630e5282UL, -

30 0x98ea08026a1e032fUL, 0xf06bbea144217f5cUL, -

31 0xdb6263d11ccb377aUL, 0x641c314b2b8ee083UL, -

32 0x320e96ab9b4770cfUL, 0x1ee7deb986a96b85UL, -

33 0xe96cf57a878c47b5UL, 0xfdd6615f8842feb8UL, -

34 0xc83862965601dd1bUL, 0x2ea9f83e92572162UL, -

35 0xf876441142ff97fcUL, 0xeb2c455608357d9dUL, -

36 0x5612a7e0b0c9904cUL, 0x6c01cbfb2d500823UL, -

37 0x4548a6a7fa037a2dUL, 0xabc4c6bf388b6ef4UL, -

38 0xbade77d4fdf8bebdUL, 0x799b07c8eb4cac3aUL, -

39 0x0c9d87e805b19cf0UL, 0xcb588aac106afa27UL, -

40 0xea0c1d40c1e76089UL, 0x2869354a1e816f1aUL, -

41 0xff96d17307fbc490UL, 0x9f0a9d602f1a5043UL, -

42 0x96373fc6e016a5f7UL, 0x5292dab8b3a6e41cUL, -

43 0x9b8ae0382c752413UL, 0x4f15ec3b7364a8a5UL, -

44 0x3fb349555724f12bUL, 0xc7c50d4415db66d7UL, -

45 0x92b7429ee379d1a7UL, 0xd37f99611a15dfdaUL, -

46 0x231427c05e34a086UL, 0xa439a96d7b51d538UL, -

47 0xb403401077f01865UL, 0xdda2aea5901d7902UL, -

48 0x0a5d4a9c8967d288UL, 0xc265280adf660f93UL, -

49 0x8bb0094520d4e94eUL, 0x2a29856691385532UL, -

50 0x42a833c5bf072941UL, 0x73c64d54622b7eb2UL, -

51 0x07e095624504536cUL, 0x8a905153e906f45aUL, -

52 0x6f6123c16b3b2f1fUL, 0xc6e55552dc097bc3UL, -

53 0x4468feb133d16739UL, 0xe211e7f0c7398829UL, -

54 0xa2f96419f7879b40UL, 0x19074bdbc3ad38e9UL, -

55 0xf4ebc3f9474e0b0cUL, 0x43886bd376d53455UL, -

56 0xd8028beb5aa01046UL, 0x51f23282f5cdc320UL, -

57 0xe7b1c2be0d84e16dUL, 0x081dfab006dee8a0UL, -

58 0x3b33340d544b857bUL, 0x7f5bcabc679ae242UL, -

59 0x0edd37c48a08a6d8UL, 0x81ed43d9a9b33bc6UL, -

60 0xb1a3655ebd4d7121UL, 0x69a1eeb5e7ed6167UL, -

61 0xf6ab73d5c8f73124UL, 0x1a67a3e185c61fd5UL, -

62 0x2dc91004d43c065eUL, 0x0240b02c8fb93a28UL, -

63 0x90f7f2b26cc0eb8fUL, 0x3cd3a16f114fd617UL, -

64 0xaae49ea9f15973e0UL, 0x06c0cd748cd64e78UL, -

65 0xda423bc7d5192a6eUL, 0xc345701c16b41287UL, -

66 0x6d2193ede4821537UL, 0xfcf639494190e3acUL, -

67 0x7c3b228621f1c57eUL, 0xfb16ac2b0494b0c0UL, -

68 0xbf7e529a3745d7f9UL, 0x6881b6a32e3f7c73UL, -

69 0xca78d2bad9b8e733UL, 0xbbfe2fc2342aa3a9UL, -

70 0x0dbddffecc6381e4UL, 0x70a6a56e2440598eUL, -

71 0xe4d12a844befc651UL, 0x8c509c2765d0ba22UL, -

72 0xee8c6018c28814d9UL, 0x17da7c1f49a59e31UL, -

73 0x609c4c1328e194d3UL, 0xb3e3d57232f44b09UL, -

74 0x91d7aaa4a512f69bUL, 0x0ffd6fd243dabbccUL, -

75 0x50d26a943c1fde34UL, 0x6be15e9968545b4fUL, -

76 0x94778fea6faf9fdfUL, 0x2b09dd7058ea4826UL, -

77 0x677cd9716de5c7bfUL, 0x49d5214fffb2e6ddUL, -

78 0x0360e83a466b273cUL, 0x1fc786af4f7b7691UL, -

79 0xa0b9d435783ea168UL, 0xd49f0c035f118cb6UL, -

80 0x01205816c9d21d14UL, 0xac2453dd7d8f3d98UL, -

81 0x545217cc3f70aa64UL, 0x26b4028e9489c9c2UL, -

82 0xdec2469fd6765e3eUL, 0x04807d58036f7450UL, -

83 0xe5f17292823ddb45UL, 0xf30b569b024a5860UL, -

84 0x62dcfc3fa758aefbUL, 0xe84cad6c4e5e5aa1UL, -

85 0xccb81fce556ea94bUL, 0x53b282ae7a74f908UL, -

86 0x1b47fbf74c1402c1UL, 0x368eebf39828049fUL, -

87 0x7afbeff2ad278b06UL, 0xbe5e0a8cfe97caedUL, -

88 0xcfd8f7f413058e77UL, 0xf78b2bc301252c30UL, -

89 0x4d555c17fcdd928dUL, 0x5f2f05467fc565f8UL, -

90 0x24f4b2a21b30f3eaUL, 0x860dd6bbecb768aaUL, -

91 0x4c750401350f8f99UL, 0x0000000000000000UL, -

92 0xecccd0344d312ef1UL, 0xb5231806be220571UL, -

93 0xc105c030990d28afUL, 0x653c695de25cfd97UL, -

94 0x159acc33c61ca419UL, 0xb89ec7f872418495UL, -

95 0xa9847693b73254dcUL, 0x58cf90243ac13694UL, -

96 0x59efc832f3132b80UL, 0x5c4fed7c39ae42c4UL, -

97 0x828dabe3efd81cfaUL, 0xd13f294d95ace5f2UL, -

98 0x7d1b7a90e823d86aUL, 0xb643f03cf849224dUL, -

99 0x3df3f979d89dcb03UL, 0x7426d836272f2ddeUL, -

100 0xdfe21e891fa4432aUL, 0x3a136c1b9d99986fUL, -

101 0xfa36f43dcd46add4UL, 0xc025982650df35bbUL, -

102 0x856d3e81aadc4f96UL, 0xc4a5e57e53b041ebUL, -

103 0x4708168b75ba4005UL, 0xaf44bbe73be41aa4UL, -

104 0x971767d029c4b8e3UL, 0xb9be9feebb939981UL, -

105 0x215497ecd18d9aaeUL, 0x316e7e91dd2c57f3UL, -

106 0xcef8afe2dad79363UL, 0x3853dc371220a247UL, -

107 0x35ee03c9de4323a3UL, 0xe6919aa8c456fc79UL, -

108 0xe05157dc4880b201UL, 0x7bdbb7e464f59612UL, -

109 0x127a59518318f775UL, 0x332ecebd52956ddbUL, -

110 0x8f30741d23bb9d1eUL, 0xd922d3fd93720d52UL, -

111 0x7746300c61440ae2UL, 0x25d4eab4d2e2eefeUL, -

112 0x75068020eefd30caUL, 0x135a01474acaea61UL, -

113 0x304e268714fe4ae7UL, 0xa519f17bb283c82cUL, -

114 0xdc82f6b359cf6416UL, 0x5baf781e7caa11a8UL, -

115 0xb2c38d64fb26561dUL, 0x34ce5bdf17913eb7UL, -

116 0x5d6fb56af07c5fd0UL, 0x182713cd0a7f25fdUL, -

117 0x9e2ac576e6c84d57UL, 0x9aaab82ee5a73907UL, -

118 0xa3d93c0f3e558654UL, 0x7e7b92aaae48ff56UL, -

119 0x872d8ead256575beUL, 0x41c8dbfff96c0e7dUL, -

120 0x99ca5014a3cc1e3bUL, 0x40e883e930be1369UL, -

121 0x1ca76e95091051adUL, 0x4e35b42dbab6b5b1UL, -

122 0x05a0254ecabd6944UL, 0xe1710fca8152af15UL, -

123 0xf22b0e8dcb984574UL, 0xb763a82a319b3f59UL, -

124 0x63fca4296e8ab3efUL, 0x9d4a2d4ca0a36a6bUL, -

125 0xe331bfe60eeb953dUL, 0xd5bf541596c391a2UL, -

126 0xf5cb9bef8e9c1618UL, 0x46284e9dbc685d11UL, -

127 0x2074cffa185f87baUL, 0xbd3ee2b6b8fcedd1UL, -

128 0xae64e3f1f23607b0UL, 0xfeb68965ce29d984UL, -

129 0x55724fdaf6a2b770UL, 0x29496d5cd753720eUL, -

130 0xa75941573d3af204UL, 0x8e102c0bea69800aUL, -

131 0x111ab16bc573d049UL, 0xd7ffe439197aab8aUL, -

132 0xefac380e0b5a09cdUL, 0x48f579593660fbc9UL, -

133 0x22347fd697e6bd92UL, 0x61bc1405e13389c7UL, -

134 0x4ab5c975b9d9c1e1UL, 0x80cd1bcf606126d2UL, -

135 0x7186fd78ed92449aUL, 0x93971a882aabccb3UL, -

136 0x88d0e17f66bfce72UL, 0x27945a985d5bd4d6UL -

137 }, { -

138 0xde553f8c05a811c8UL, 0x1906b59631b4f565UL, -

139 0x436e70d6b1964ff7UL, 0x36d343cb8b1e9d85UL, -

140 0x843dfacc858aab5aUL, 0xfdfc95c299bfc7f9UL, -

141 0x0f634bdea1d51fa2UL, 0x6d458b3b76efb3cdUL, -

142 0x85c3f77cf8593f80UL, 0x3c91315fbe737cb2UL, -

143 0x2148b03366ace398UL, 0x18f8b8264c6761bfUL, -

144 0xc830c1c495c9fb0fUL, 0x981a76102086a0aaUL, -

145 0xaa16012142f35760UL, 0x35cc54060c763cf6UL, -

146 0x42907d66cc45db2dUL, 0x8203d44b965af4bcUL, -

147 0x3d6f3cefc3a0e868UL, 0xbc73ff69d292bda7UL, -

148 0x8722ed0102e20a29UL, 0x8f8185e8cd34deb7UL, -

149 0x9b0561dda7ee01d9UL, 0x5335a0193227fad6UL, -

150 0xc9cecc74e81a6fd5UL, 0x54f5832e5c2431eaUL, -

151 0x99e47ba05d553470UL, 0xf7bee756acd226ceUL, -

152 0x384e05a5571816fdUL, 0xd1367452a47d0e6aUL, -

153 0xf29fde1c386ad85bUL, 0x320c77316275f7caUL, -

154 0xd0c879e2d9ae9ab0UL, 0xdb7406c69110ef5dUL, -

155 0x45505e51a2461011UL, 0xfc029872e46c5323UL, -

156 0xfa3cb6f5f7bc0cc5UL, 0x031f17cd8768a173UL, -

157 0xbd8df2d9af41297dUL, 0x9d3b4f5ab43e5e3fUL, -

158 0x4071671b36feee84UL, 0x716207e7d3e3b83dUL, -

159 0x48d20ff2f9283a1aUL, 0x27769eb4757cbc7eUL, -

160 0x5c56ebc793f2e574UL, 0xa48b474f9ef5dc18UL, -

161 0x52cbada94ff46e0cUL, 0x60c7da982d8199c6UL, -

162 0x0e9d466edc068b78UL, 0x4eec2175eaf865fcUL, -

163 0x550b8e9e21f7a530UL, 0x6b7ba5bc653fec2bUL, -

164 0x5eb7f1ba6949d0ddUL, 0x57ea94e3db4c9099UL, -

165 0xf640eae6d101b214UL, 0xdd4a284182c0b0bbUL, -

166 0xff1d8fbf6304f250UL, 0xb8accb933bf9d7e8UL, -

167 0xe8867c478eb68c4dUL, 0x3f8e2692391bddc1UL, -

168 0xcb2fd60912a15a7cUL, 0xaec935dbab983d2fUL, -

169 0xf55ffd2b56691367UL, 0x80e2ce366ce1c115UL, -

170 0x179bf3f8edb27e1dUL, 0x01fe0db07dd394daUL, -

171 0xda8a0b76ecc37b87UL, 0x44ae53e1df9584cbUL, -

172 0xb310b4b77347a205UL, 0xdfab323c787b8512UL, -

173 0x3b511268d070b78eUL, 0x65e6e3d2b9396753UL, -

174 0x6864b271e2574d58UL, 0x259784c98fc789d7UL, -

175 0x02e11a7dfabb35a9UL, 0x8841a6dfa337158bUL, -

176 0x7ade78c39b5dcdd0UL, 0xb7cf804d9a2cc84aUL, -

177 0x20b6bd831b7f7742UL, 0x75bd331d3a88d272UL, -

178 0x418f6aab4b2d7a5eUL, 0xd9951cbb6babdaf4UL, -

179 0xb6318dfde7ff5c90UL, 0x1f389b112264aa83UL, -

180 0x492c024284fbaec0UL, 0xe33a0363c608f9a0UL, -

181 0x2688930408af28a4UL, 0xc7538a1a341ce4adUL, -

182 0x5da8e677ee2171aeUL, 0x8c9e92254a5c7fc4UL, -

183 0x63d8cd55aae938b5UL, 0x29ebd8daa97a3706UL, -

184 0x959827b37be88aa1UL, 0x1484e4356adadf6eUL, -

185 0xa7945082199d7d6bUL, 0xbf6ce8a455fa1cd4UL, -

186 0x9cc542eac9edcae5UL, 0x79c16f0e1c356ca3UL, -

187 0x89bfab6fdee48151UL, 0xd4174d1830c5f0ffUL, -

188 0x9258048415eb419dUL, 0x6139d72850520d1cUL, -

189 0x6a85a80c18ec78f1UL, 0xcd11f88e0171059aUL, -

190 0xcceff53e7ca29140UL, 0xd229639f2315af19UL, -

191 0x90b91ef9ef507434UL, 0x5977d28d074a1be1UL, -

192 0x311360fce51d56b9UL, 0xc093a92d5a1f2f91UL, -

193 0x1a19a25bb6dc5416UL, 0xeb996b8a09de2d3eUL, -

194 0xfee3820f1ed7668aUL, 0xd7085ad5b7ad518cUL, -

195 0x7fff41890fe53345UL, 0xec5948bd67dde602UL, -

196 0x2fd5f65dbaaa68e0UL, 0xa5754affe32648c2UL, -

197 0xf8ddac880d07396cUL, 0x6fa491468c548664UL, -

198 0x0c7c5c1326bdbed1UL, 0x4a33158f03930fb3UL, -

199 0x699abfc19f84d982UL, 0xe4fa2054a80b329cUL, -

200 0x6707f9af438252faUL, 0x08a368e9cfd6d49eUL, -

201 0x47b1442c58fd25b8UL, 0xbbb3dc5ebc91769bUL, -

202 0x1665fe489061eac7UL, 0x33f27a811fa66310UL, -

203 0x93a609346838d547UL, 0x30ed6d4c98cec263UL, -

204 0x1dd9816cd8df9f2aUL, 0x94662a03063b1e7bUL, -

205 0x83fdd9fbeb896066UL, 0x7b207573e68e590aUL, -

206 0x5f49fc0a149a4407UL, 0x343259b671a5a82cUL, -

207 0xfbc2bb458a6f981fUL, 0xc272b350a0a41a38UL, -

208 0x3aaf1fd8ada32354UL, 0x6cbb868b0b3c2717UL, -

209 0xa2b569c88d2583feUL, 0xf180c9d1bf027928UL, -

210 0xaf37386bd64ba9f5UL, 0x12bacab2790a8088UL, -

211 0x4c0d3b0810435055UL, 0xb2eeb9070e9436dfUL, -

212 0xc5b29067cea7d104UL, 0xdcb425f1ff132461UL, -

213 0x4f122cc5972bf126UL, 0xac282fa651230886UL, -

214 0xe7e537992f6393efUL, 0xe61b3a2952b00735UL, -

215 0x709c0a57ae302ce7UL, 0xe02514ae416058d3UL, -

216 0xc44c9dd7b37445deUL, 0x5a68c5408022ba92UL, -

217 0x1c278cdca50c0bf0UL, 0x6e5a9cf6f18712beUL, -

218 0x86dce0b17f319ef3UL, 0x2d34ec2040115d49UL, -

219 0x4bcd183f7e409b69UL, 0x2815d56ad4a9a3dcUL, -

220 0x24698979f2141d0dUL, 0x0000000000000000UL, -

221 0x1ec696a15fb73e59UL, 0xd86b110b16784e2eUL, -

222 0x8e7f8858b0e74a6dUL, 0x063e2e8713d05fe6UL, -

223 0xe2c40ed3bbdb6d7aUL, 0xb1f1aeca89fc97acUL, -

224 0xe1db191e3cb3cc09UL, 0x6418ee62c4eaf389UL, -

225 0xc6ad87aa49cf7077UL, 0xd6f65765ca7ec556UL, -

226 0x9afb6c6dda3d9503UL, 0x7ce05644888d9236UL, -

227 0x8d609f95378feb1eUL, 0x23a9aa4e9c17d631UL, -

228 0x6226c0e5d73aac6fUL, 0x56149953a69f0443UL, -

229 0xeeb852c09d66d3abUL, 0x2b0ac2a753c102afUL, -

230 0x07c023376e03cb3cUL, 0x2ccae1903dc2c993UL, -

231 0xd3d76e2f5ec63bc3UL, 0x9e2458973356ff4cUL, -

232 0xa66a5d32644ee9b1UL, 0x0a427294356de137UL, -

233 0x783f62be61e6f879UL, 0x1344c70204d91452UL, -

234 0x5b96c8f0fdf12e48UL, 0xa90916ecc59bf613UL, -

235 0xbe92e5142829880eUL, 0x727d102a548b194eUL, -

236 0x1be7afebcb0fc0ccUL, 0x3e702b2244c8491bUL, -

237 0xd5e940a84d166425UL, 0x66f9f41f3e51c620UL, -

238 0xabe80c913f20c3baUL, 0xf07ec461c2d1edf2UL, -

239 0xf361d3ac45b94c81UL, 0x0521394a94b8fe95UL, -

240 0xadd622162cf09c5cUL, 0xe97871f7f3651897UL, -

241 0xf4a1f09b2bba87bdUL, 0x095d6559b2054044UL, -

242 0x0bbc7f2448be75edUL, 0x2af4cf172e129675UL, -

243 0x157ae98517094bb4UL, 0x9fda55274e856b96UL, -

244 0x914713499283e0eeUL, 0xb952c623462a4332UL, -

245 0x74433ead475b46a8UL, 0x8b5eb112245fb4f8UL, -

246 0xa34b6478f0f61724UL, 0x11a5dd7ffe6221fbUL, -

247 0xc16da49d27ccbb4bUL, 0x76a224d0bde07301UL, -

248 0x8aa0bca2598c2022UL, 0x4df336b86d90c48fUL, -

249 0xea67663a740db9e4UL, 0xef465f70e0b54771UL, -

250 0x39b008152acb8227UL, 0x7d1e5bf4f55e06ecUL, -

251 0x105bd0cf83b1b521UL, 0x775c2960c033e7dbUL, -

252 0x7e014c397236a79fUL, 0x811cc386113255cfUL, -

253 0xeda7450d1a0e72d8UL, 0x5889df3d7a998f3bUL, -

254 0x2e2bfbedc779fc3aUL, 0xce0eef438619a4e9UL, -

255 0x372d4e7bf6cd095fUL, 0x04df34fae96b6a4fUL, -

256 0xf923a13870d4adb6UL, 0xa1aa7e050a4d228dUL, -

257 0xa8f71b5cb84862c9UL, 0xb52e9a306097fde3UL, -

258 0x0d8251a35b6e2a0bUL, 0x2257a7fee1c442ebUL, -

259 0x73831d9a29588d94UL, 0x51d4ba64c89ccf7fUL, -

260 0x502ab7d4b54f5ba5UL, 0x97793dce8153bf08UL, -

261 0xe5042de4d5d8a646UL, 0x9687307efc802bd2UL, -

262 0xa05473b5779eb657UL, 0xb4d097801d446939UL, -

263 0xcff0e2f3fbca3033UL, 0xc38cbee0dd778ee2UL, -

264 0x464f499c252eb162UL, 0xcad1dbb96f72cea6UL, -

265 0xba4dd1eec142e241UL, 0xb00fa37af42f0376UL -

266 }, { -

267 0xcce4cd3aa968b245UL, 0x089d5484e80b7fafUL, -

268 0x638246c1b3548304UL, 0xd2fe0ec8c2355492UL, -

269 0xa7fbdf7ff2374eeeUL, 0x4df1600c92337a16UL, -

270 0x84e503ea523b12fbUL, 0x0790bbfd53ab0c4aUL, -

271 0x198a780f38f6ea9dUL, 0x2ab30c8f55ec48cbUL, -

272 0xe0f7fed6b2c49db5UL, 0xb6ecf3f422cadbdcUL, -

273 0x409c9a541358df11UL, 0xd3ce8a56dfde3fe3UL, -

274 0xc3e9224312c8c1a0UL, 0x0d6dfa58816ba507UL, -

275 0xddf3e1b179952777UL, 0x04c02a42748bb1d9UL, -

276 0x94c2abff9f2decb8UL, 0x4f91752da8f8acf4UL, -

277 0x78682befb169bf7bUL, 0xe1c77a48af2ff6c4UL, -

278 0x0c5d7ec69c80ce76UL, 0x4cc1e4928fd81167UL, -

279 0xfeed3d24d9997b62UL, 0x518bb6dfc3a54a23UL, -

280 0x6dbf2d26151f9b90UL, 0xb5bc624b05ea664fUL, -

281 0xe86aaa525acfe21aUL, 0x4801ced0fb53a0beUL, -

282 0xc91463e6c00868edUL, 0x1027a815cd16fe43UL, -

283 0xf67069a0319204cdUL, 0xb04ccc976c8abce7UL, -

284 0xc0b9b3fc35e87c33UL, 0xf380c77c58f2de65UL, -

285 0x50bb3241de4e2152UL, 0xdf93f490435ef195UL, -

286 0xf1e0d25d62390887UL, 0xaf668bfb1a3c3141UL, -

287 0xbc11b251f00a7291UL, 0x73a5eed47e427d47UL, -

288 0x25bee3f6ee4c3b2eUL, 0x43cc0beb34786282UL, -

289 0xc824e778dde3039cUL, 0xf97d86d98a327728UL, -

290 0xf2b043e24519b514UL, 0xe297ebf7880f4b57UL, -

291 0x3a94a49a98fab688UL, 0x868516cb68f0c419UL, -

292 0xeffa11af0964ee50UL, 0xa4ab4ec0d517f37dUL, -

293 0xa9c6b498547c567aUL, 0x8e18424f80fbbbb6UL, -

294 0x0bcdc53bcf2bc23cUL, 0x137739aaea3643d0UL, -

295 0x2c1333ec1bac2ff0UL, 0x8d48d3f0a7db0625UL, -

296 0x1e1ac3f26b5de6d7UL, 0xf520f81f16b2b95eUL, -

297 0x9f0f6ec450062e84UL, 0x0130849e1deb6b71UL, -

298 0xd45e31ab8c7533a9UL, 0x652279a2fd14e43fUL, -

299 0x3209f01e70f1c927UL, 0xbe71a770cac1a473UL, -

300 0x0e3d6be7a64b1894UL, 0x7ec8148cff29d840UL, -

301 0xcb7476c7fac3be0fUL, 0x72956a4a63a91636UL, -

302 0x37f95ec21991138fUL, 0x9e3fea5a4ded45f5UL, -

303 0x7b38ba50964902e8UL, 0x222e580bbde73764UL, -

304 0x61e253e0899f55e6UL, 0xfc8d2805e352ad80UL, -

305 0x35994be3235ac56dUL, 0x09add01af5e014deUL, -

306 0x5e8659a6780539c6UL, 0xb17c48097161d796UL, -

307 0x026015213acbd6e2UL, 0xd1ae9f77e515e901UL, -

308 0xb7dc776a3f21b0adUL, 0xaba6a1b96eb78098UL, -

309 0x9bcf4486248d9f5dUL, 0x582666c536455efdUL, -

310 0xfdbdac9bfeb9c6f1UL, 0xc47999be4163cdeaUL, -

311 0x765540081722a7efUL, 0x3e548ed8ec710751UL, -

312 0x3d041f67cb51bac2UL, 0x7958af71ac82d40aUL, -

313 0x36c9da5c047a78feUL, 0xed9a048e33af38b2UL, -

314 0x26ee7249c96c86bdUL, 0x900281bdeba65d61UL, -

315 0x11172c8bd0fd9532UL, 0xea0abf73600434f8UL, -

316 0x42fc8f75299309f3UL, 0x34a9cf7d3eb1ae1cUL, -

317 0x2b838811480723baUL, 0x5ce64c8742ceef24UL, -

318 0x1adae9b01fd6570eUL, 0x3c349bf9d6bad1b3UL, -

319 0x82453c891c7b75c0UL, 0x97923a40b80d512bUL, -

320 0x4a61dbf1c198765cUL, 0xb48ce6d518010d3eUL, -

321 0xcfb45c858e480fd6UL, 0xd933cbf30d1e96aeUL, -

322 0xd70ea014ab558e3aUL, 0xc189376228031742UL, -

323 0x9262949cd16d8b83UL, 0xeb3a3bed7def5f89UL, -

324 0x49314a4ee6b8cbcfUL, 0xdcc3652f647e4c06UL, -

325 0xda635a4c2a3e2b3dUL, 0x470c21a940f3d35bUL, -

326 0x315961a157d174b4UL, 0x6672e81dda3459acUL, -

327 0x5b76f77a1165e36eUL, 0x445cb01667d36ec8UL, -

328 0xc5491d205c88a69bUL, 0x456c34887a3805b9UL, -

329 0xffddb9bac4721013UL, 0x99af51a71e4649bfUL, -

330 0xa15be01cbc7729d5UL, 0x52db2760e485f7b0UL, -

331 0x8c78576eba306d54UL, 0xae560f6507d75a30UL, -

332 0x95f22f6182c687c9UL, 0x71c5fbf54489aba5UL, -

333 0xca44f259e728d57eUL, 0x88b87d2ccebbdc8dUL, -

334 0xbab18d32be4a15aaUL, 0x8be8ec93e99b611eUL, -

335 0x17b713e89ebdf209UL, 0xb31c5d284baa0174UL, -

336 0xeeca9531148f8521UL, 0xb8d198138481c348UL, -

337 0x8988f9b2d350b7fcUL, 0xb9e11c8d996aa839UL, -

338 0x5a4673e40c8e881fUL, 0x1687977683569978UL, -

339 0xbf4123eed72acf02UL, 0x4ea1f1b3b513c785UL, -

340 0xe767452be16f91ffUL, 0x7505d1b730021a7cUL, -

341 0xa59bca5ec8fc980cUL, 0xad069eda20f7e7a3UL, -

342 0x38f4b1bba231606aUL, 0x60d2d77e94743e97UL, -

343 0x9affc0183966f42cUL, 0x248e6768f3a7505fUL, -

344 0xcdd449a4b483d934UL, 0x87b59255751baf68UL, -

345 0x1bea6d2e023d3c7fUL, 0x6b1f12455b5ffcabUL, -

346 0x743555292de9710dUL, 0xd8034f6d10f5fddfUL, -

347 0xc6198c9f7ba81b08UL, 0xbb8109aca3a17edbUL, -

348 0xfa2d1766ad12cabbUL, 0xc729080166437079UL, -

349 0x9c5fff7b77269317UL, 0x0000000000000000UL, -

350 0x15d706c9a47624ebUL, 0x6fdf38072fd44d72UL, -

351 0x5fb6dd3865ee52b7UL, 0xa33bf53d86bcff37UL, -

352 0xe657c1b5fc84fa8eUL, 0xaa962527735cebe9UL, -

353 0x39c43525bfda0b1bUL, 0x204e4d2a872ce186UL, -

354 0x7a083ece8ba26999UL, 0x554b9c9db72efbfaUL, -

355 0xb22cd9b656416a05UL, 0x96a2bedea5e63a5aUL, -

356 0x802529a826b0a322UL, 0x8115ad363b5bc853UL, -

357 0x8375b81701901eb1UL, 0x3069e53f4a3a1fc5UL, -

358 0xbd2136cfede119e0UL, 0x18bafc91251d81ecUL, -

359 0x1d4a524d4c7d5b44UL, 0x05f0aedc6960daa8UL, -

360 0x29e39d3072ccf558UL, 0x70f57f6b5962c0d4UL, -

361 0x989fd53903ad22ceUL, 0xf84d024797d91c59UL, -

362 0x547b1803aac5908bUL, 0xf0d056c37fd263f6UL, -

363 0xd56eb535919e58d8UL, 0x1c7ad6d351963035UL, -

364 0x2e7326cd2167f912UL, 0xac361a443d1c8cd2UL, -

365 0x697f076461942a49UL, 0x4b515f6fdc731d2dUL, -

366 0x8ad8680df4700a6fUL, 0x41ac1eca0eb3b460UL, -

367 0x7d988533d80965d3UL, 0xa8f6300649973d0bUL, -

368 0x7765c4960ac9cc9eUL, 0x7ca801adc5e20ea2UL, -

369 0xdea3700e5eb59ae4UL, 0xa06b6482a19c42a4UL, -

370 0x6a2f96db46b497daUL, 0x27def6d7d487edccUL, -

371 0x463ca5375d18b82aUL, 0xa6cb5be1efdc259fUL, -

372 0x53eba3fef96e9cc1UL, 0xce84d81b93a364a7UL, -

373 0xf4107c810b59d22fUL, 0x333974806d1aa256UL, -

374 0x0f0def79bba073e5UL, 0x231edc95a00c5c15UL, -

375 0xe437d494c64f2c6cUL, 0x91320523f64d3610UL, -

376 0x67426c83c7df32ddUL, 0x6eefbc99323f2603UL, -

377 0x9d6f7be56acdf866UL, 0x5916e25b2bae358cUL, -

378 0x7ff89012e2c2b331UL, 0x035091bf2720bd93UL, -

379 0x561b0d22900e4669UL, 0x28d319ae6f279e29UL, -

380 0x2f43a2533c8c9263UL, 0xd09e1be9f8fe8270UL, -

381 0xf740ed3e2c796fbcUL, 0xdb53ded237d5404cUL, -

382 0x62b2c25faebfe875UL, 0x0afd41a5d2c0a94dUL, -

383 0x6412fd3ce0ff8f4eUL, 0xe3a76f6995e42026UL, -

384 0x6c8fa9b808f4f0e1UL, 0xc2d9a6dd0f23aad1UL, -

385 0x8f28c6d19d10d0c7UL, 0x85d587744fd0798aUL, -

386 0xa20b71a39b579446UL, 0x684f83fa7c7f4138UL, -

387 0xe507500adba4471dUL, 0x3f640a46f19a6c20UL, -

388 0x1247bd34f7dd28a1UL, 0x2d23b77206474481UL, -

389 0x93521002cc86e0f2UL, 0x572b89bc8de52d18UL, -

390 0xfb1d93f8b0f9a1caUL, 0xe95a2ecc4724896bUL, -

391 0x3ba420048511ddf9UL, 0xd63e248ab6bee54bUL, -

392 0x5dd6c8195f258455UL, 0x06a03f634e40673bUL, -

393 0x1f2a476c76b68da6UL, 0x217ec9b49ac78af7UL, -

394 0xecaa80102e4453c3UL, 0x14e78257b99d4f9aUL -

395 }, { -

396 0x20329b2cc87bba05UL, 0x4f5eb6f86546a531UL, -

397 0xd4f44775f751b6b1UL, 0x8266a47b850dfa8bUL, -

398 0xbb986aa15a6ca985UL, 0xc979eb08f9ae0f99UL, -

399 0x2da6f447a2375ea1UL, 0x1e74275dcd7d8576UL, -

400 0xbc20180a800bc5f8UL, 0xb4a2f701b2dc65beUL, -

401 0xe726946f981b6d66UL, 0x48e6c453bf21c94cUL, -

402 0x42cad9930f0a4195UL, 0xefa47b64aacccd20UL, -

403 0x71180a8960409a42UL, 0x8bb3329bf6a44e0cUL, -

404 0xd34c35de2d36daccUL, 0xa92f5b7cbc23dc96UL, -

405 0xb31a85aa68bb09c3UL, 0x13e04836a73161d2UL, -

406 0xb24dfc4129c51d02UL, 0x8ae44b70b7da5acdUL, -

407 0xe671ed84d96579a7UL, 0xa4bb3417d66f3832UL, -

408 0x4572ab38d56d2de8UL, 0xb1b47761ea47215cUL, -

409 0xe81c09cf70aba15dUL, 0xffbdb872ce7f90acUL, -

410 0xa8782297fd5dc857UL, 0x0d946f6b6a4ce4a4UL, -

411 0xe4df1f4f5b995138UL, 0x9ebc71edca8c5762UL, -

412 0x0a2c1dc0b02b88d9UL, 0x3b503c115d9d7b91UL, -

413 0xc64376a8111ec3a2UL, 0xcec199a323c963e4UL, -

414 0xdc76a87ec58616f7UL, 0x09d596e073a9b487UL, -

415 0x14583a9d7d560dafUL, 0xf4c6dc593f2a0cb4UL, -

416 0xdd21d19584f80236UL, 0x4a4836983ddde1d3UL, -

417 0xe58866a41ae745f9UL, 0xf591a5b27e541875UL, -

418 0x891dc05074586693UL, 0x5b068c651810a89eUL, -

419 0xa30346bc0c08544fUL, 0x3dbf3751c684032dUL, -

420 0x2a1e86ec785032dcUL, 0xf73f5779fca830eaUL, -

421 0xb60c05ca30204d21UL, 0x0cc316802b32f065UL, -

422 0x8770241bdd96be69UL, 0xb861e18199ee95dbUL, -

423 0xf805cad91418fcd1UL, 0x29e70dccbbd20e82UL, -

424 0xc7140f435060d763UL, 0x0f3a9da0e8b0cc3bUL, -

425 0xa2543f574d76408eUL, 0xbd7761e1c175d139UL, -

426 0x4b1f4f737ca3f512UL, 0x6dc2df1f2fc137abUL, -

427 0xf1d05c3967b14856UL, 0xa742bf3715ed046cUL, -

428 0x654030141d1697edUL, 0x07b872abda676c7dUL, -

429 0x3ce84eba87fa17ecUL, 0xc1fb0403cb79afdfUL, -

430 0x3e46bc7105063f73UL, 0x278ae987121cd678UL, -

431 0xa1adb4778ef47cd0UL, 0x26dd906c5362c2b9UL, -

432 0x05168060589b44e2UL, 0xfbfc41f9d79ac08fUL, -

433 0x0e6de44ba9ced8faUL, 0x9feb08068bf243a3UL, -

434 0x7b341749d06b129bUL, 0x229c69e74a87929aUL, -

435 0xe09ee6c4427c011bUL, 0x5692e30e725c4c3aUL, -

436 0xda99a33e5e9f6e4bUL, 0x353dd85af453a36bUL, -

437 0x25241b4c90e0fee7UL, 0x5de987258309d022UL, -

438 0xe230140fc0802984UL, 0x93281e86a0c0b3c6UL, -

439 0xf229d719a4337408UL, 0x6f6c2dd4ad3d1f34UL, -

440 0x8ea5b2fbae3f0aeeUL, 0x8331dd90c473ee4aUL, -

441 0x346aa1b1b52db7aaUL, 0xdf8f235e06042aa9UL, -

442 0xcc6f6b68a1354b7bUL, 0x6c95a6f46ebf236aUL, -

443 0x52d31a856bb91c19UL, 0x1a35ded6d498d555UL, -

444 0xf37eaef2e54d60c9UL, 0x72e181a9a3c2a61cUL, -

445 0x98537aad51952fdeUL, 0x16f6c856ffaa2530UL, -

446 0xd960281e9d1d5215UL, 0x3a0745fa1ce36f50UL, -

447 0x0b7b642bf1559c18UL, 0x59a87eae9aec8001UL, -

448 0x5e100c05408bec7cUL, 0x0441f98b19e55023UL, -

449 0xd70dcc5534d38aefUL, 0x927f676de1bea707UL, -

450 0x9769e70db925e3e5UL, 0x7a636ea29115065aUL, -

451 0x468b201816ef11b6UL, 0xab81a9b73edff409UL, -

452 0xc0ac7de88a07bb1eUL, 0x1f235eb68c0391b7UL, -

453 0x6056b074458dd30fUL, 0xbe8eeac102f7ed67UL, -

454 0xcd381283e04b5fbaUL, 0x5cbefecec277c4e3UL, -

455 0xd21b4c356c48ce0dUL, 0x1019c31664b35d8cUL, -

456 0x247362a7d19eea26UL, 0xebe582efb3299d03UL, -

457 0x02aef2cb82fc289fUL, 0x86275df09ce8aaa8UL, -

458 0x28b07427faac1a43UL, 0x38a9b7319e1f47cfUL, -

459 0xc82e92e3b8d01b58UL, 0x06ef0b409b1978bcUL, -

460 0x62f842bfc771fb90UL, 0x9904034610eb3b1fUL, -

461 0xded85ab5477a3e68UL, 0x90d195a663428f98UL, -

462 0x5384636e2ac708d8UL, 0xcbd719c37b522706UL, -

463 0xae9729d76644b0ebUL, 0x7c8c65e20a0c7ee6UL, -

464 0x80c856b007f1d214UL, 0x8c0b40302cc32271UL, -

465 0xdbcedad51fe17a8aUL, 0x740e8ae938dbdea0UL, -

466 0xa615c6dc549310adUL, 0x19cc55f6171ae90bUL, -

467 0x49b1bdb8fe5fdd8dUL, 0xed0a89af2830e5bfUL, -

468 0x6a7aadb4f5a65bd6UL, 0x7e22972988f05679UL, -

469 0xf952b3325566e810UL, 0x39fecedadf61530eUL, -

470 0x6101c99f04f3c7ceUL, 0x2e5f7f6761b562ffUL, -

471 0xf08725d226cf5c97UL, 0x63af3b54860fef51UL, -

472 0x8ff2cb10ef411e2fUL, 0x884ab9bb35267252UL, -

473 0x4df04433e7ba8daeUL, 0x9afd8866d3690741UL, -

474 0x66b9bb34de94abb3UL, 0x9baaf18d92171380UL, -

475 0x543c11c5f0a064a5UL, 0x17a1b1bdbed431f1UL, -

476 0xb5f58eeaf3a2717fUL, 0xc355f6c849858740UL, -

477 0xec5df044694ef17eUL, 0xd83751f5dc6346d4UL, -

478 0xfc4433520dfdacf2UL, 0x0000000000000000UL, -

479 0x5a51f58e596ebc5fUL, 0x3285aaf12e34cf16UL, -

480 0x8d5c39db6dbd36b0UL, 0x12b731dde64f7513UL, -

481 0x94906c2d7aa7dfbbUL, 0x302b583aacc8e789UL, -

482 0x9d45facd090e6b3cUL, 0x2165e2c78905aec4UL, -

483 0x68d45f7f775a7349UL, 0x189b2c1d5664fdcaUL, -

484 0xe1c99f2f030215daUL, 0x6983269436246788UL, -

485 0x8489af3b1e148237UL, 0xe94b702431d5b59cUL, -

486 0x33d2d31a6f4adbd7UL, 0xbfd9932a4389f9a6UL, -

487 0xb0e30e8aab39359dUL, 0xd1e2c715afcaf253UL, -

488 0x150f43763c28196eUL, 0xc4ed846393e2eb3dUL, -

489 0x03f98b20c3823c5eUL, 0xfd134ab94c83b833UL, -

490 0x556b682eb1de7064UL, 0x36c4537a37d19f35UL, -

491 0x7559f30279a5ca61UL, 0x799ae58252973a04UL, -

492 0x9c12832648707ffdUL, 0x78cd9c6913e92ec5UL, -

493 0x1d8dac7d0effb928UL, 0x439da0784e745554UL, -

494 0x413352b3cc887dcbUL, 0xbacf134a1b12bd44UL, -

495 0x114ebafd25cd494dUL, 0x2f08068c20cb763eUL, -

496 0x76a07822ba27f63fUL, 0xeab2fb04f25789c2UL, -

497 0xe3676de481fe3d45UL, 0x1b62a73d95e6c194UL, -

498 0x641749ff5c68832cUL, 0xa5ec4dfc97112cf3UL, -

499 0xf6682e92bdd6242bUL, 0x3f11c59a44782bb2UL, -

500 0x317c21d1edb6f348UL, 0xd65ab5be75ad9e2eUL, -

501 0x6b2dd45fb4d84f17UL, 0xfaab381296e4d44eUL, -

502 0xd0b5befeeeb4e692UL, 0x0882ef0b32d7a046UL, -

503 0x512a91a5a83b2047UL, 0x963e9ee6f85bf724UL, -

504 0x4e09cf132438b1f0UL, 0x77f701c9fb59e2feUL, -

505 0x7ddb1c094b726a27UL, 0x5f4775ee01f5f8bdUL, -

506 0x9186ec4d223c9b59UL, 0xfeeac1998f01846dUL, -

507 0xac39db1ce4b89874UL, 0xb75b7c21715e59e0UL, -

508 0xafc0503c273aa42aUL, 0x6e3b543fec430bf5UL, -

509 0x704f7362213e8e83UL, 0x58ff0745db9294c0UL, -

510 0x67eec2df9feabf72UL, 0xa0facd9ccf8a6811UL, -

511 0xb936986ad890811aUL, 0x95c715c63bd9cb7aUL, -

512 0xca8060283a2c33c7UL, 0x507de84ee9453486UL, -

513 0x85ded6d05f6a96f6UL, 0x1cdad5964f81ade9UL, -

514 0xd5a33e9eb62fa270UL, 0x40642b588df6690aUL, -

515 0x7f75eec2c98e42b8UL, 0x2cf18dace3494a60UL, -

516 0x23cb100c0bf9865bUL, 0xeef3028febb2d9e1UL, -

517 0x4425d2d394133929UL, 0xaad6d05c7fa1e0c8UL, -

518 0xad6ea2f7a5c68cb5UL, 0xc2028f2308fb9381UL, -

519 0x819f2f5b468fc6d5UL, 0xc5bafd88d29cfffcUL, -

520 0x47dc59f357910577UL, 0x2b49ff07392e261dUL, -

521 0x57c59ae5332258fbUL, 0x73b6f842e2bcb2ddUL, -

522 0xcf96e04862b77725UL, 0x4ca73dd8a6c4996fUL, -

523 0x015779eb417e14c1UL, 0x37932a9176af8bf4UL -

524 }, { -

525 0x190a2c9b249df23eUL, 0x2f62f8b62263e1e9UL, -

526 0x7a7f754740993655UL, 0x330b7ba4d5564d9fUL, -

527 0x4c17a16a46672582UL, 0xb22f08eb7d05f5b8UL, -

528 0x535f47f40bc148ccUL, 0x3aec5d27d4883037UL, -

529 0x10ed0a1825438f96UL, 0x516101f72c233d17UL, -

530 0x13cc6f949fd04eaeUL, 0x739853c441474bfdUL, -

531 0x653793d90d3f5b1bUL, 0x5240647b96b0fc2fUL, -

532 0x0c84890ad27623e0UL, 0xd7189b32703aaea3UL, -

533 0x2685de3523bd9c41UL, 0x99317c5b11bffefaUL, -

534 0x0d9baa854f079703UL, 0x70b93648fbd48ac5UL, -

535 0xa80441fce30bc6beUL, 0x7287704bdc36ff1eUL, -

536 0xb65384ed33dc1f13UL, 0xd36417343ee34408UL, -

537 0x39cd38ab6e1bf10fUL, 0x5ab861770a1f3564UL, -

538 0x0ebacf09f594563bUL, 0xd04572b884708530UL, -

539 0x3cae9722bdb3af47UL, 0x4a556b6f2f5cbaf2UL, -

540 0xe1704f1f76c4bd74UL, 0x5ec4ed7144c6dfcfUL, -

541 0x16afc01d4c7810e6UL, 0x283f113cd629ca7aUL, -

542 0xaf59a8761741ed2dUL, 0xeed5a3991e215facUL, -

543 0x3bf37ea849f984d4UL, 0xe413e096a56ce33cUL, -

544 0x2c439d3a98f020d1UL, 0x637559dc6404c46bUL, -

545 0x9e6c95d1e5f5d569UL, 0x24bb9836045fe99aUL, -

546 0x44efa466dac8ecc9UL, 0xc6eab2a5c80895d6UL, -

547 0x803b50c035220cc4UL, 0x0321658cba93c138UL, -

548 0x8f9ebc465dc7ee1cUL, 0xd15a5137190131d3UL, -

549 0x0fa5ec8668e5e2d8UL, 0x91c979578d1037b1UL, -

550 0x0642ca05693b9f70UL, 0xefca80168350eb4fUL, -

551 0x38d21b24f36a45ecUL, 0xbeab81e1af73d658UL, -

552 0x8cbfd9cae7542f24UL, 0xfd19cc0d81f11102UL, -

553 0x0ac6430fbb4dbc90UL, 0x1d76a09d6a441895UL, -

554 0x2a01573ff1cbbfa1UL, 0xb572e161894fde2bUL, -

555 0x8124734fa853b827UL, 0x614b1fdf43e6b1b0UL, -

556 0x68ac395c4238cc18UL, 0x21d837bfd7f7b7d2UL, -

557 0x20c714304a860331UL, 0x5cfaab726324aa14UL, -

558 0x74c5ba4eb50d606eUL, 0xf3a3030474654739UL, -

559 0x23e671bcf015c209UL, 0x45f087e947b9582aUL, -

560 0xd8bd77b418df4c7bUL, 0xe06f6c90ebb50997UL, -

561 0x0bd96080263c0873UL, 0x7e03f9410e40dcfeUL, -

562 0xb8e94be4c6484928UL, 0xfb5b0608e8ca8e72UL, -

563 0x1a2b49179e0e3306UL, 0x4e29e76961855059UL, -

564 0x4f36c4e6fcf4e4baUL, 0x49740ee395cf7bcaUL, -

565 0xc2963ea386d17f7dUL, 0x90d65ad810618352UL, -

566 0x12d34c1b02a1fa4dUL, 0xfa44258775bb3a91UL, -

567 0x18150f14b9ec46ddUL, 0x1491861e6b9a653dUL, -

568 0x9a1019d7ab2c3fc2UL, 0x3668d42d06fe13d7UL, -

569 0xdcc1fbb25606a6d0UL, 0x969490dd795a1c22UL, -

570 0x3549b1a1bc6dd2efUL, 0xc94f5e23a0ed770eUL, -

571 0xb9f6686b5b39fdcbUL, 0xc4d4f4a6efeae00dUL, -

572 0xe732851a1fff2204UL, 0x94aad6de5eb869f9UL, -

573 0x3f8ff2ae07206e7fUL, 0xfe38a9813b62d03aUL, -

574 0xa7a1ad7a8bee2466UL, 0x7b6056c8dde882b6UL, -

575 0x302a1e286fc58ca7UL, 0x8da0fa457a259bc7UL, -

576 0xb3302b64e074415bUL, 0x5402ae7eff8b635fUL, -

577 0x08f8050c9cafc94bUL, 0xae468bf98a3059ceUL, -

578 0x88c355cca98dc58fUL, 0xb10e6d67c7963480UL, -

579 0xbad70de7e1aa3cf3UL, 0xbfb4a26e320262bbUL, -

580 0xcb711820870f02d5UL, 0xce12b7a954a75c9dUL, -

581 0x563ce87dd8691684UL, 0x9f73b65e7884618aUL, -

582 0x2b1e74b06cba0b42UL, 0x47cec1ea605b2df1UL, -

583 0x1c698312f735ac76UL, 0x5fdbcefed9b76b2cUL, -

584 0x831a354c8fb1cdfcUL, 0x820516c312c0791fUL, -

585 0xb74ca762aeadabf0UL, 0xfc06ef821c80a5e1UL, -

586 0x5723cbf24518a267UL, 0x9d4df05d5f661451UL, -

587 0x588627742dfd40bfUL, 0xda8331b73f3d39a0UL, -

588 0x17b0e392d109a405UL, 0xf965400bcf28fba9UL, -

589 0x7c3dbf4229a2a925UL, 0x023e460327e275dbUL, -

590 0x6cd0b55a0ce126b3UL, 0xe62da695828e96e7UL, -

591 0x42ad6e63b3f373b9UL, 0xe50cc319381d57dfUL, -

592 0xc5cbd729729b54eeUL, 0x46d1e265fd2a9912UL, -

593 0x6428b056904eeff8UL, 0x8be23040131e04b7UL, -

594 0x6709d5da2add2ec0UL, 0x075de98af44a2b93UL, -

595 0x8447dcc67bfbe66fUL, 0x6616f655b7ac9a23UL, -

596 0xd607b8bded4b1a40UL, 0x0563af89d3a85e48UL, -

597 0x3db1b4ad20c21ba4UL, 0x11f22997b8323b75UL, -

598 0x292032b34b587e99UL, 0x7f1cdace9331681dUL, -

599 0x8e819fc9c0b65affUL, 0xa1e3677fe2d5bb16UL, -

600 0xcd33d225ee349da5UL, 0xd9a2543b85aef898UL, -

601 0x795e10cbfa0af76dUL, 0x25a4bbb9992e5d79UL, -

602 0x78413344677b438eUL, 0xf0826688cef68601UL, -

603 0xd27b34bba392f0ebUL, 0x551d8df162fad7bcUL, -

604 0x1e57c511d0d7d9adUL, 0xdeffbdb171e4d30bUL, -

605 0xf4feea8e802f6caaUL, 0xa480c8f6317de55eUL, -

606 0xa0fc44f07fa40ff5UL, 0x95b5f551c3c9dd1aUL, -

607 0x22f952336d6476eaUL, 0x0000000000000000UL, -

608 0xa6be8ef5169f9085UL, 0xcc2cf1aa73452946UL, -

609 0x2e7ddb39bf12550aUL, 0xd526dd3157d8db78UL, -

610 0x486b2d6c08becf29UL, 0x9b0f3a58365d8b21UL, -

611 0xac78cdfaadd22c15UL, 0xbc95c7e28891a383UL, -

612 0x6a927f5f65dab9c3UL, 0xc3891d2c1ba0cb9eUL, -

613 0xeaa92f9f50f8b507UL, 0xcf0d9426c9d6e87eUL, -

614 0xca6e3baf1a7eb636UL, 0xab25247059980786UL, -

615 0x69b31ad3df4978fbUL, 0xe2512a93cc577c4cUL, -

616 0xff278a0ea61364d9UL, 0x71a615c766a53e26UL, -

617 0x89dc764334fc716cUL, 0xf87a638452594f4aUL, -

618 0xf2bc208be914f3daUL, 0x8766b94ac1682757UL, -

619 0xbbc82e687cdb8810UL, 0x626a7a53f9757088UL, -

620 0xa2c202f358467a2eUL, 0x4d0882e5db169161UL, -

621 0x09e7268301de7da8UL, 0xe897699c771ac0dcUL, -

622 0xc8507dac3d9cc3edUL, 0xc0a878a0a1330aa6UL, -

623 0x978bb352e42ba8c1UL, 0xe9884a13ea6b743fUL, -

624 0x279afdbabecc28a2UL, 0x047c8c064ed9eaabUL, -

625 0x507e2278b15289f4UL, 0x599904fbb08cf45cUL, -

626 0xbd8ae46d15e01760UL, 0x31353da7f2b43844UL, -

627 0x8558ff49e68a528cUL, 0x76fbfc4d92ef15b5UL, -

628 0x3456922e211c660cUL, 0x86799ac55c1993b4UL, -

629 0x3e90d1219a51da9cUL, 0x2d5cbeb505819432UL, -

630 0x982e5fd48cce4a19UL, 0xdb9c1238a24c8d43UL, -

631 0xd439febecaa96f9bUL, 0x418c0bef0960b281UL, -

632 0x158ea591f6ebd1deUL, 0x1f48e69e4da66d4eUL, -

633 0x8afd13cf8e6fb054UL, 0xf5e1c9011d5ed849UL, -

634 0xe34e091c5126c8afUL, 0xad67ee7530a398f6UL, -

635 0x43b24dec2e82c75aUL, 0x75da99c1287cd48dUL, -

636 0x92e81cdb3783f689UL, 0xa3dd217cc537cecdUL, -

637 0x60543c50de970553UL, 0x93f73f54aaf2426aUL, -

638 0xa91b62737e7a725dUL, 0xf19d4507538732e2UL, -

639 0x77e4dfc20f9ea156UL, 0x7d229ccdb4d31dc6UL, -

640 0x1b346a98037f87e5UL, 0xedf4c615a4b29e94UL, -

641 0x4093286094110662UL, 0xb0114ee85ae78063UL, -

642 0x6ff1d0d6b672e78bUL, 0x6dcf96d591909250UL, -

643 0xdfe09e3eec9567e8UL, 0x3214582b4827f97cUL, -

644 0xb46dc2ee143e6ac8UL, 0xf6c0ac8da7cd1971UL, -

645 0xebb60c10cd8901e4UL, 0xf7df8f023abcad92UL, -

646 0x9c52d3d2c217a0b2UL, 0x6b8d5cd0f8ab0d20UL, -

647 0x3777f7a29b8fa734UL, 0x011f238f9d71b4e3UL, -

648 0xc1b75b2f3c42be45UL, 0x5de588fdfe551ef7UL, -

649 0x6eeef3592b035368UL, 0xaa3a07ffc4e9b365UL, -

650 0xecebe59a39c32a77UL, 0x5ba742f8976e8187UL, -

651 0x4b4a48e0b22d0e11UL, 0xddded83dcb771233UL, -

652 0xa59feb79ac0c51bdUL, 0xc7f5912a55792135UL -

653 }, { -

654 0x6d6ae04668a9b08aUL, 0x3ab3f04b0be8c743UL, -

655 0xe51e166b54b3c908UL, 0xbe90a9eb35c2f139UL, -

656 0xb2c7066637f2bec1UL, 0xaa6945613392202cUL, -

657 0x9a28c36f3b5201ebUL, 0xddce5a93ab536994UL, -

658 0x0e34133ef6382827UL, 0x52a02ba1ec55048bUL, -

659 0xa2f88f97c4b2a177UL, 0x8640e513ca2251a5UL, -

660 0xcdf1d36258137622UL, 0xfe6cb708dedf8ddbUL, -

661 0x8a174a9ec8121e5dUL, 0x679896036b81560eUL, -

662 0x59ed033395795feeUL, 0x1dd778ab8b74edafUL, -

663 0xee533ef92d9f926dUL, 0x2a8c79baf8a8d8f5UL, -

664 0x6bcf398e69b119f6UL, 0xe20491742fafdd95UL, -

665 0x276488e0809c2aecUL, 0xea955b82d88f5cceUL, -

666 0x7102c63a99d9e0c4UL, 0xf9763017a5c39946UL, -

667 0x429fa2501f151b3dUL, 0x4659c72bea05d59eUL, -

668 0x984b7fdccf5a6634UL, 0xf742232953fbb161UL, -

669 0x3041860e08c021c7UL, 0x747bfd9616cd9386UL, -

670 0x4bb1367192312787UL, 0x1b72a1638a6c44d3UL, -

671 0x4a0e68a6e8359a66UL, 0x169a5039f258b6caUL, -

672 0xb98a2ef44edee5a4UL, 0xd9083fe85e43a737UL, -

673 0x967f6ce239624e13UL, 0x8874f62d3c1a7982UL, -

674 0x3c1629830af06e3fUL, 0x9165ebfd427e5a8eUL, -

675 0xb5dd81794ceeaa5cUL, 0x0de8f15a7834f219UL, -

676 0x70bd98ede3dd5d25UL, 0xaccc9ca9328a8950UL, -

677 0x56664eda1945ca28UL, 0x221db34c0f8859aeUL, -

678 0x26dbd637fa98970dUL, 0x1acdffb4f068f932UL, -

679 0x4585254f64090fa0UL, 0x72de245e17d53afaUL, -

680 0x1546b25d7c546cf4UL, 0x207e0ffffb803e71UL, -

681 0xfaaad2732bcf4378UL, 0xb462dfae36ea17bdUL, -

682 0xcf926fd1ac1b11fdUL, 0xe0672dc7dba7ba4aUL, -

683 0xd3fa49ad5d6b41b3UL, 0x8ba81449b216a3bcUL, -

684 0x14f9ec8a0650d115UL, 0x40fc1ee3eb1d7ce2UL, -

685 0x23a2ed9b758ce44fUL, 0x782c521b14fddc7eUL, -

686 0x1c68267cf170504eUL, 0xbcf31558c1ca96e6UL, -

687 0xa781b43b4ba6d235UL, 0xf6fd7dfe29ff0c80UL, -

688 0xb0a4bad5c3fad91eUL, 0xd199f51ea963266cUL, -

689 0x414340349119c103UL, 0x5405f269ed4dadf7UL, -

690 0xabd61bb649969dcdUL, 0x6813dbeae7bdc3c8UL, -

691 0x65fb2ab09f8931d1UL, 0xf1e7fae152e3181dUL, -

692 0xc1a67cef5a2339daUL, 0x7a4feea8e0f5bba1UL, -

693 0x1e0b9acf05783791UL, 0x5b8ebf8061713831UL, -

694 0x80e53cdbcb3af8d9UL, 0x7e898bd315e57502UL, -

695 0xc6bcfbf0213f2d47UL, 0x95a38e86b76e942dUL, -

696 0x092e94218d243cbaUL, 0x8339debf453622e7UL, -

697 0xb11be402b9fe64ffUL, 0x57d9100d634177c9UL, -

698 0xcc4e8db52217cbc3UL, 0x3b0cae9c71ec7aa2UL, -

699 0xfb158ca451cbfe99UL, 0x2b33276d82ac6514UL, -

700 0x01bf5ed77a04bde1UL, 0xc5601994af33f779UL, -

701 0x75c4a3416cc92e67UL, 0xf3844652a6eb7fc2UL, -

702 0x3487e375fdd0ef64UL, 0x18ae430704609eedUL, -

703 0x4d14efb993298efbUL, 0x815a620cb13e4538UL, -

704 0x125c354207487869UL, 0x9eeea614ce42cf48UL, -

705 0xce2d3106d61fac1cUL, 0xbbe99247bad6827bUL, -

706 0x071a871f7b1c149dUL, 0x2e4a1cc10db81656UL, -

707 0x77a71ff298c149b8UL, 0x06a5d9c80118a97cUL, -

708 0xad73c27e488e34b1UL, 0x443a7b981e0db241UL, -

709 0xe3bbcfa355ab6074UL, 0x0af276450328e684UL, -

710 0x73617a896dd1871bUL, 0x58525de4ef7de20fUL, -

711 0xb7be3dcab8e6cd83UL, 0x19111dd07e64230cUL, -

712 0x842359a03e2a367aUL, 0x103f89f1f3401fb6UL, -

713 0xdc710444d157d475UL, 0xb835702334da5845UL, -

714 0x4320fc876511a6dcUL, 0xd026abc9d3679b8dUL, -

715 0x17250eee885c0b2bUL, 0x90dab52a387ae76fUL, -

716 0x31fed8d972c49c26UL, 0x89cba8fa461ec463UL, -

717 0x2ff5421677bcabb7UL, 0x396f122f85e41d7dUL, -

718 0xa09b332430bac6a8UL, 0xc888e8ced7070560UL, -

719 0xaeaf201ac682ee8fUL, 0x1180d7268944a257UL, -

720 0xf058a43628e7a5fcUL, 0xbd4c4b8fbbce2b07UL, -

721 0xa1246df34abe7b49UL, 0x7d5569b79be9af3cUL, -

722 0xa9b5a705bd9efa12UL, 0xdb6b835baa4bc0e8UL, -

723 0x05793bac8f147342UL, 0x21c1512881848390UL, -

724 0xfdb0556c50d357e5UL, 0x613d4fcb6a99ff72UL, -

725 0x03dce2648e0cda3eUL, 0xe949b9e6568386f0UL, -

726 0xfc0f0bbb2ad7ea04UL, 0x6a70675913b5a417UL, -

727 0x7f36d5046fe1c8e3UL, 0x0c57af8d02304ff8UL, -

728 0x32223abdfcc84618UL, 0x0891caf6f720815bUL, -

729 0xa63eeaec31a26fd4UL, 0x2507345374944d33UL, -

730 0x49d28ac266394058UL, 0xf5219f9aa7f3d6beUL, -

731 0x2d96fea583b4cc68UL, 0x5a31e1571b7585d0UL, -

732 0x8ed12fe53d02d0feUL, 0xdfade6205f5b0e4bUL, -

733 0x4cabb16ee92d331aUL, 0x04c6657bf510cea3UL, -

734 0xd73c2cd6a87b8f10UL, 0xe1d87310a1a307abUL, -

735 0x6cd5be9112ad0d6bUL, 0x97c032354366f3f2UL, -

736 0xd4e0ceb22677552eUL, 0x0000000000000000UL, -

737 0x29509bde76a402cbUL, 0xc27a9e8bd42fe3e4UL, -

738 0x5ef7842cee654b73UL, 0xaf107ecdbc86536eUL, -

739 0x3fcacbe784fcb401UL, 0xd55f90655c73e8cfUL, -

740 0xe6c2f40fdabf1336UL, 0xe8f6e7312c873b11UL, -

741 0xeb2a0555a28be12fUL, 0xe4a148bc2eb774e9UL, -

742 0x9b979db84156bc0aUL, 0x6eb60222e6a56ab4UL, -

743 0x87ffbbc4b026ec44UL, 0xc703a5275b3b90a6UL, -

744 0x47e699fc9001687fUL, 0x9c8d1aa73a4aa897UL, -

745 0x7cea3760e1ed12ddUL, 0x4ec80ddd1d2554c5UL, -

746 0x13e36b957d4cc588UL, 0x5d2b66486069914dUL, -

747 0x92b90999cc7280b0UL, 0x517cc9c56259deb5UL, -

748 0xc937b619ad03b881UL, 0xec30824ad997f5b2UL, -

749 0xa45d565fc5aa080bUL, 0xd6837201d27f32f1UL, -

750 0x635ef3789e9198adUL, 0x531f75769651b96aUL, -

751 0x4f77530a6721e924UL, 0x486dd4151c3dfdb9UL, -

752 0x5f48dafb9461f692UL, 0x375b011173dc355aUL, -

753 0x3da9775470f4d3deUL, 0x8d0dcd81b30e0ac0UL, -

754 0x36e45fc609d888bbUL, 0x55baacbe97491016UL, -

755 0x8cb29356c90ab721UL, 0x76184125e2c5f459UL, -

756 0x99f4210bb55edbd5UL, 0x6f095cf59ca1d755UL, -

757 0x9f51f8c3b44672a9UL, 0x3538bda287d45285UL, -

758 0x50c39712185d6354UL, 0xf23b1885dcefc223UL, -

759 0x79930ccc6ef9619fUL, 0xed8fdc9da3934853UL, -

760 0xcb540aaa590bdf5eUL, 0x5c94389f1a6d2cacUL, -

761 0xe77daad8a0bbaed7UL, 0x28efc5090ca0bf2aUL, -

762 0xbf2ff73c4fc64cd8UL, 0xb37858b14df60320UL, -

763 0xf8c96ec0dfc724a7UL, 0x828680683f329f06UL, -

764 0x941cd051cd6a29ccUL, 0xc3c5c05cae2b5e05UL, -

765 0xb601631dc2e27062UL, 0xc01922382027843bUL, -

766 0x24b86a840e90f0d2UL, 0xd245177a276ffc52UL, -

767 0x0f8b4de98c3c95c6UL, 0x3e759530fef809e0UL, -

768 0x0b4d2892792c5b65UL, 0xc4df4743d5374a98UL, -

769 0xa5e20888bfaeb5eaUL, 0xba56cc90c0d23f9aUL, -

770 0x38d04cf8ffe0a09cUL, 0x62e1adafe495254cUL, -

771 0x0263bcb3f40867dfUL, 0xcaeb547d230f62bfUL, -

772 0x6082111c109d4293UL, 0xdad4dd8cd04f7d09UL, -

773 0xefec602e579b2f8cUL, 0x1fb4c4187f7c8a70UL, -

774 0xffd3e9dfa4db303aUL, 0x7bf0b07f9af10640UL, -

775 0xf49ec14dddf76b5fUL, 0x8f6e713247066d1fUL, -

776 0x339d646a86ccfbf9UL, 0x64447467e58d8c30UL, -

777 0x2c29a072f9b07189UL, 0xd8b7613f24471ad6UL, -

778 0x6627c8d41185ebefUL, 0xa347d140beb61c96UL, -

779 0xde12b8f7255fb3aaUL, 0x9d324470404e1576UL, -

780 0x9306574eb6763d51UL, 0xa80af9d2c79a47f3UL, -

781 0x859c0777442e8b9bUL, 0x69ac853d9db97e29UL -

782 }, { -

783 0xc3407dfc2de6377eUL, 0x5b9e93eea4256f77UL, -

784 0xadb58fdd50c845e0UL, 0x5219ff11a75bed86UL, -

785 0x356b61cfd90b1de9UL, 0xfb8f406e25abe037UL, -

786 0x7a5a0231c0f60796UL, 0x9d3cd216e1f5020bUL, -

787 0x0c6550fb6b48d8f3UL, 0xf57508c427ff1c62UL, -

788 0x4ad35ffa71cb407dUL, 0x6290a2da1666aa6dUL, -

789 0xe284ec2349355f9fUL, 0xb3c307c53d7c84ecUL, -

790 0x05e23c0468365a02UL, 0x190bac4d6c9ebfa8UL, -

791 0x94bbbee9e28b80faUL, 0xa34fc777529cb9b5UL, -

792 0xcc7b39f095bcd978UL, 0x2426addb0ce532e3UL, -

793 0x7e79329312ce4fc7UL, 0xab09a72eebec2917UL, -

794 0xf8d15499f6b9d6c2UL, 0x1a55b8babf8c895dUL, -

795 0xdb8add17fb769a85UL, 0xb57f2f368658e81bUL, -

796 0x8acd36f18f3f41f6UL, 0x5ce3b7bba50f11d3UL, -

797 0x114dcc14d5ee2f0aUL, 0xb91a7fcded1030e8UL, -

798 0x81d5425fe55de7a1UL, 0xb6213bc1554adeeeUL, -

799 0x80144ef95f53f5f2UL, 0x1e7688186db4c10cUL, -

800 0x3b912965db5fe1bcUL, 0xc281715a97e8252dUL, -

801 0x54a5d7e21c7f8171UL, 0x4b12535ccbc5522eUL, -

802 0x1d289cefbea6f7f9UL, 0x6ef5f2217d2e729eUL, -

803 0xe6a7dc819b0d17ceUL, 0x1b94b41c05829b0eUL, -

804 0x33d7493c622f711eUL, 0xdcf7f942fa5ce421UL, -

805 0x600fba8b7f7a8ecbUL, 0x46b60f011a83988eUL, -

806 0x235b898e0dcf4c47UL, 0x957ab24f588592a9UL, -

807 0x4354330572b5c28cUL, 0xa5f3ef84e9b8d542UL, -

808 0x8c711e02341b2d01UL, 0x0b1874ae6a62a657UL, -

809 0x1213d8e306fc19ffUL, 0xfe6d7c6a4d9dba35UL, -

810 0x65ed868f174cd4c9UL, 0x88522ea0e6236550UL, -

811 0x899322065c2d7703UL, 0xc01e690bfef4018bUL, -

812 0x915982ed8abddaf8UL, 0xbe675b98ec3a4e4cUL, -

813 0xa996bf7f82f00db1UL, 0xe1daf8d49a27696aUL, -

814 0x2effd5d3dc8986e7UL, 0xd153a51f2b1a2e81UL, -

815 0x18caa0ebd690adfbUL, 0x390e3134b243c51aUL, -

816 0x2778b92cdff70416UL, 0x029f1851691c24a6UL, -

817 0x5e7cafeacc133575UL, 0xfa4e4cc89fa5f264UL, -

818 0x5a5f9f481e2b7d24UL, 0x484c47ab18d764dbUL, -

819 0x400a27f2a1a7f479UL, 0xaeeb9b2a83da7315UL, -

820 0x721c626879869734UL, 0x042330a2d2384851UL, -

821 0x85f672fd3765aff0UL, 0xba446b3a3e02061dUL, -

822 0x73dd6ecec3888567UL, 0xffac70ccf793a866UL, -

823 0xdfa9edb5294ed2d4UL, 0x6c6aea7014325638UL, -

824 0x834a5a0e8c41c307UL, 0xcdba35562fb2cb2bUL, -

825 0x0ad97808d06cb404UL, 0x0f3b440cb85aee06UL, -

826 0xe5f9c876481f213bUL, 0x98deee1289c35809UL, -

827 0x59018bbfcd394bd1UL, 0xe01bf47220297b39UL, -

828 0xde68e1139340c087UL, 0x9fa3ca4788e926adUL, -

829 0xbb85679c840c144eUL, 0x53d8f3b71d55ffd5UL, -

830 0x0da45c5dd146caa0UL, 0x6f34fe87c72060cdUL, -

831 0x57fbc315cf6db784UL, 0xcee421a1fca0fddeUL, -

832 0x3d2d0196607b8d4bUL, 0x642c8a29ad42c69aUL, -

833 0x14aff010bdd87508UL, 0xac74837beac657b3UL, -

834 0x3216459ad821634dUL, 0x3fb219c70967a9edUL, -

835 0x06bc28f3bb246cf7UL, 0xf2082c9126d562c6UL, -

836 0x66b39278c45ee23cUL, 0xbd394f6f3f2878b9UL, -

837 0xfd33689d9e8f8cc0UL, 0x37f4799eb017394fUL, -

838 0x108cc0b26fe03d59UL, 0xda4bd1b1417888d6UL, -

839 0xb09d1332ee6eb219UL, 0x2f3ed975668794b4UL, -

840 0x58c0871977375982UL, 0x7561463d78ace990UL, -

841 0x09876cff037e82f1UL, 0x7fb83e35a8c05d94UL, -

842 0x26b9b58a65f91645UL, 0xef20b07e9873953fUL, -

843 0x3148516d0b3355b8UL, 0x41cb2b541ba9e62aUL, -

844 0x790416c613e43163UL, 0xa011d380818e8f40UL, -

845 0x3a5025c36151f3efUL, 0xd57095bdf92266d0UL, -

846 0x498d4b0da2d97688UL, 0x8b0c3a57353153a5UL, -

847 0x21c491df64d368e1UL, 0x8f2f0af5e7091bf4UL, -

848 0x2da1c1240f9bb012UL, 0xc43d59a92ccc49daUL, -

849 0xbfa6573e56345c1fUL, 0x828b56a8364fd154UL, -

850 0x9a41f643e0df7cafUL, 0xbcf843c985266aeaUL, -

851 0x2b1de9d7b4bfdce5UL, 0x20059d79dedd7ab2UL, -

852 0x6dabe6d6ae3c446bUL, 0x45e81bf6c991ae7bUL, -

853 0x6351ae7cac68b83eUL, 0xa432e32253b6c711UL, -

854 0xd092a9b991143cd2UL, 0xcac711032e98b58fUL, -

855 0xd8d4c9e02864ac70UL, 0xc5fc550f96c25b89UL, -

856 0xd7ef8dec903e4276UL, 0x67729ede7e50f06fUL, -

857 0xeac28c7af045cf3dUL, 0xb15c1f945460a04aUL, -

858 0x9cfddeb05bfb1058UL, 0x93c69abce3a1fe5eUL, -

859 0xeb0380dc4a4bdd6eUL, 0xd20db1e8f8081874UL, -

860 0x229a8528b7c15e14UL, 0x44291750739fbc28UL, -

861 0xd3ccbd4e42060a27UL, 0xf62b1c33f4ed2a97UL, -

862 0x86a8660ae4779905UL, 0xd62e814a2a305025UL, -

863 0x477703a7a08d8addUL, 0x7b9b0e977af815c5UL, -

864 0x78c51a60a9ea2330UL, 0xa6adfb733aaae3b7UL, -

865 0x97e5aa1e3199b60fUL, 0x0000000000000000UL, -

866 0xf4b404629df10e31UL, 0x5564db44a6719322UL, -

867 0x9207961a59afec0dUL, 0x9624a6b88b97a45cUL, -

868 0x363575380a192b1cUL, 0x2c60cd82b595a241UL, -

869 0x7d272664c1dc7932UL, 0x7142769faa94a1c1UL, -

870 0xa1d0df263b809d13UL, 0x1630e841d4c451aeUL, -

871 0xc1df65ad44fa13d8UL, 0x13d2d445bcf20bacUL, -

872 0xd915c546926abe23UL, 0x38cf3d92084dd749UL, -

873 0xe766d0272103059dUL, 0xc7634d5effde7f2fUL, -

874 0x077d2455012a7ea4UL, 0xedbfa82ff16fb199UL, -

875 0xaf2a978c39d46146UL, 0x42953fa3c8bbd0dfUL, -

876 0xcb061da59496a7dcUL, 0x25e7a17db6eb20b0UL, -

877 0x34aa6d6963050fbaUL, 0xa76cf7d580a4f1e4UL, -

878 0xf7ea10954ee338c4UL, 0xfcf2643b24819e93UL, -

879 0xcf252d0746aeef8dUL, 0x4ef06f58a3f3082cUL, -

880 0x563acfb37563a5d7UL, 0x5086e740ce47c920UL, -

881 0x2982f186dda3f843UL, 0x87696aac5e798b56UL, -

882 0x5d22bb1d1f010380UL, 0x035e14f7d31236f5UL, -

883 0x3cec0d30da759f18UL, 0xf3c920379cdb7095UL, -

884 0xb8db736b571e22bbUL, 0xdd36f5e44052f672UL, -

885 0xaac8ab8851e23b44UL, 0xa857b3d938fe1fe2UL, -

886 0x17f1e4e76eca43fdUL, 0xec7ea4894b61a3caUL, -

887 0x9e62c6e132e734feUL, 0xd4b1991b432c7483UL, -

888 0x6ad6c283af163acfUL, 0x1ce9904904a8e5aaUL, -

889 0x5fbda34c761d2726UL, 0xf910583f4cb7c491UL, -

890 0xc6a241f845d06d7cUL, 0x4f3163fe19fd1a7fUL, -

891 0xe99c988d2357f9c8UL, 0x8eee06535d0709a7UL, -

892 0x0efa48aa0254fc55UL, 0xb4be23903c56fa48UL, -

893 0x763f52caabbedf65UL, 0xeee1bcd8227d876cUL, -

894 0xe345e085f33b4dccUL, 0x3e731561b369bbbeUL, -

895 0x2843fd2067adea10UL, 0x2adce5710eb1ceb6UL, -

896 0xb7e03767ef44ccbdUL, 0x8db012a48e153f52UL, -

897 0x61ceb62dc5749c98UL, 0xe85d942b9959eb9bUL, -

898 0x4c6f7709caef2c8aUL, 0x84377e5b8d6bbda3UL, -

899 0x30895dcbb13d47ebUL, 0x74a04a9bc2a2fbc3UL, -

900 0x6b17ce251518289cUL, 0xe438c4d0f2113368UL, -

901 0x1fb784bed7bad35fUL, 0x9b80fae55ad16efcUL, -

902 0x77fe5e6c11b0cd36UL, 0xc858095247849129UL, -

903 0x08466059b97090a2UL, 0x01c10ca6ba0e1253UL, -

904 0x6988d6747c040c3aUL, 0x6849dad2c60a1e69UL, -

905 0x5147ebe67449db73UL, 0xc99905f4fd8a837aUL, -

906 0x991fe2b433cd4a5aUL, 0xf09734c04fc94660UL, -

907 0xa28ecbd1e892abe6UL, 0xf1563866f5c75433UL, -

908 0x4dae7baf70e13ed9UL, 0x7ce62ac27bd26b61UL, -

909 0x70837a39109ab392UL, 0x90988e4b30b3c8abUL, -

910 0xb2020b63877296bfUL, 0x156efcb607d6675bUL -

911 }, { -

912 0xe63f55ce97c331d0UL, 0x25b506b0015bba16UL, -

913 0xc8706e29e6ad9ba8UL, 0x5b43d3775d521f6aUL, -

914 0x0bfa3d577035106eUL, 0xab95fc172afb0e66UL, -

915 0xf64b63979e7a3276UL, 0xf58b4562649dad4bUL, -

916 0x48f7c3dbae0c83f1UL, 0xff31916642f5c8c5UL, -

917 0xcbb048dc1c4a0495UL, 0x66b8f83cdf622989UL, -

918 0x35c130e908e2b9b0UL, 0x7c761a61f0b34fa1UL, -

919 0x3601161cf205268dUL, 0x9e54ccfe2219b7d6UL, -

920 0x8b7d90a538940837UL, 0x9cd403588ea35d0bUL, -

921 0xbc3c6fea9ccc5b5aUL, 0xe5ff733b6d24aeedUL, -

922 0xceed22de0f7eb8d2UL, 0xec8581cab1ab545eUL, -

923 0xb96105e88ff8e71dUL, 0x8ca03501871a5eadUL, -

924 0x76ccce65d6db2a2fUL, 0x5883f582a7b58057UL, -

925 0x3f7be4ed2e8adc3eUL, 0x0fe7be06355cd9c9UL, -

926 0xee054e6c1d11be83UL, 0x1074365909b903a6UL, -

927 0x5dde9f80b4813c10UL, 0x4a770c7d02b6692cUL, -

928 0x5379c8d5d7809039UL, 0xb4067448161ed409UL, -

929 0x5f5e5026183bd6cdUL, 0xe898029bf4c29df9UL, -

930 0x7fb63c940a54d09cUL, 0xc5171f897f4ba8bcUL, -

931 0xa6f28db7b31d3d72UL, 0x2e4f3be7716eaa78UL, -

932 0x0d6771a099e63314UL, 0x82076254e41bf284UL, -

933 0x2f0fd2b42733df98UL, 0x5c9e76d3e2dc49f0UL, -

934 0x7aeb569619606cdbUL, 0x83478b07b2468764UL, -

935 0xcfadcb8d5923cd32UL, 0x85dac7f05b95a41eUL, -

936 0xb5469d1b4043a1e9UL, 0xb821ecbbd9a592fdUL, -

937 0x1b8e0b0e798c13c8UL, 0x62a57b6d9a0be02eUL, -

938 0xfcf1b793b81257f8UL, 0x9d94ea0bd8fe28ebUL, -

939 0x4cea408aeb654a56UL, 0x23284a47e888996cUL, -

940 0x2d8f1d128b893545UL, 0xf4cbac3132c0d8abUL, -

941 0xbd7c86b9ca912ebaUL, 0x3a268eef3dbe6079UL, -

942 0xf0d62f6077a9110cUL, 0x2735c916ade150cbUL, -

943 0x89fd5f03942ee2eaUL, 0x1acee25d2fd16628UL, -

944 0x90f39bab41181bffUL, 0x430dfe8cde39939fUL, -

945 0xf70b8ac4c8274796UL, 0x1c53aeaac6024552UL, -

946 0x13b410acf35e9c9bUL, 0xa532ab4249faa24fUL, -

947 0x2b1251e5625a163fUL, 0xd7e3e676da4841c7UL, -

948 0xa7b264e4e5404892UL, 0xda8497d643ae72d3UL, -

949 0x861ae105a1723b23UL, 0x38a6414991048aa4UL, -

950 0x6578dec92585b6b4UL, 0x0280cfa6acbaeaddUL, -

951 0x88bdb650c273970aUL, 0x9333bd5ebbff84c2UL, -

952 0x4e6a8f2c47dfa08bUL, 0x321c954db76cef2aUL, -

953 0x418d312a72837942UL, 0xb29b38bfffcdf773UL, -

954 0x6c022c38f90a4c07UL, 0x5a033a240b0f6a8aUL, -

955 0x1f93885f3ce5da6fUL, 0xc38a537e96988bc6UL, -

956 0x39e6a81ac759ff44UL, 0x29929e43cee0fce2UL, -

957 0x40cdd87924de0ca2UL, 0xe9d8ebc8a29fe819UL, -

958 0x0c2798f3cfbb46f4UL, 0x55e484223e53b343UL, -

959 0x4650948ecd0d2fd8UL, 0x20e86cb2126f0651UL, -

960 0x6d42c56baf5739e7UL, 0xa06fc1405ace1e08UL, -

961 0x7babbfc54f3d193bUL, 0x424d17df8864e67fUL, -

962 0xd8045870ef14980eUL, 0xc6d7397c85ac3781UL, -

963 0x21a885e1443273b1UL, 0x67f8116f893f5c69UL, -

964 0x24f5efe35706cff6UL, 0xd56329d076f2ab1aUL, -

965 0x5e1eb9754e66a32dUL, 0x28d2771098bd8902UL, -

966 0x8f6013f47dfdc190UL, 0x17a993fdb637553cUL, -

967 0xe0a219397e1012aaUL, 0x786b9930b5da8606UL, -

968 0x6e82e39e55b0a6daUL, 0x875a0856f72f4ec3UL, -

969 0x3741ff4fa458536dUL, 0xac4859b3957558fcUL, -

970 0x7ef6d5c75c09a57cUL, 0xc04a758b6c7f14fbUL, -

971 0xf9acdd91ab26ebbfUL, 0x7391a467c5ef9668UL, -

972 0x335c7c1ee1319acaUL, 0xa91533b18641e4bbUL, -

973 0xe4bf9a683b79db0dUL, 0x8e20faa72ba0b470UL, -

974 0x51f907737b3a7ae4UL, 0x2268a314bed5ec8cUL, -

975 0xd944b123b949edeeUL, 0x31dcb3b84d8b7017UL, -

976 0xd3fe65279f218860UL, 0x097af2f1dc8ffab3UL, -

977 0x9b09a6fc312d0b91UL, 0xcc6ded78a3c4520fUL, -

978 0x3481d9ba5ebfcc50UL, 0x4f2a667f1182d56bUL, -

979 0xdfd9fdd4509ace94UL, 0x26752045fbbc252bUL, -

980 0xbffc491f662bc467UL, 0xdd593272fc202449UL, -

981 0x3cbbc218d46d4303UL, 0x91b372f817456e1fUL, -

982 0x681faf69bc6385a0UL, 0xb686bbeebaa43ed4UL, -

983 0x1469b5084cd0ca01UL, 0x98c98009cbca94acUL, -

984 0x6438379a73d8c354UL, 0xc2caba2dc0c5fe26UL, -

985 0x3e3b0dbe78d7a9deUL, 0x50b9ee202d670f04UL, -

986 0x4590b27b37eab0e5UL, 0x6025b4cb36b10af3UL, -

987 0xfb2c1237079c0162UL, 0xa12f28130c936be8UL, -

988 0x4b37e52e54eb1cccUL, 0x083a1ba28ad28f53UL, -

989 0xc10a9cd83a22611bUL, 0x9f1425ad7444c236UL, -

990 0x069d4cf7e9d3237aUL, 0xedc56899e7f621beUL, -

991 0x778c273680865fcfUL, 0x309c5aeb1bd605f7UL, -

992 0x8de0dc52d1472b4dUL, 0xf8ec34c2fd7b9e5fUL, -

993 0xea18cd3d58787724UL, 0xaad515447ca67b86UL, -

994 0x9989695a9d97e14cUL, 0x0000000000000000UL, -

995 0xf196c63321f464ecUL, 0x71116bc169557cb5UL, -

996 0xaf887f466f92c7c1UL, 0x972e3e0ffe964d65UL, -

997 0x190ec4a8d536f915UL, 0x95aef1a9522ca7b8UL, -

998 0xdc19db21aa7d51a9UL, 0x94ee18fa0471d258UL, -

999 0x8087adf248a11859UL, 0xc457f6da2916dd5cUL, -

1000 0xfa6cfb6451c17482UL, 0xf256e0c6db13fbd1UL, -

1001 0x6a9f60cf10d96f7dUL, 0x4daaa9d9bd383fb6UL, -

1002 0x03c026f5fae79f3dUL, 0xde99148706c7bb74UL, -

1003 0x2a52b8b6340763dfUL, 0x6fc20acd03edd33aUL, -

1004 0xd423c08320afdefaUL, 0xbbe1ca4e23420dc0UL, -

1005 0x966ed75ca8cb3885UL, 0xeb58246e0e2502c4UL, -

1006 0x055d6a021334bc47UL, 0xa47242111fa7d7afUL, -

1007 0xe3623fcc84f78d97UL, 0x81c744a11efc6db9UL, -

1008 0xaec8961539cfb221UL, 0xf31609958d4e8e31UL, -

1009 0x63e5923ecc5695ceUL, 0x47107ddd9b505a38UL, -

1010 0xa3afe7b5a0298135UL, 0x792b7063e387f3e6UL, -

1011 0x0140e953565d75e0UL, 0x12f4f9ffa503e97bUL, -

1012 0x750ce8902c3cb512UL, 0xdbc47e8515f30733UL, -

1013 0x1ed3610c6ab8af8fUL, 0x5239218681dde5d9UL, -

1014 0xe222d69fd2aaf877UL, 0xfe71783514a8bd25UL, -

1015 0xcaf0a18f4a177175UL, 0x61655d9860ec7f13UL, -

1016 0xe77fbc9dc19e4430UL, 0x2ccff441ddd440a5UL, -

1017 0x16e97aaee06a20dcUL, 0xa855dae2d01c915bUL, -

1018 0x1d1347f9905f30b2UL, 0xb7c652bdecf94b34UL, -

1019 0xd03e43d265c6175dUL, 0xfdb15ec0ee4f2218UL, -

1020 0x57644b8492e9599eUL, 0x07dda5a4bf8e569aUL, -

1021 0x54a46d71680ec6a3UL, 0x5624a2d7c4b42c7eUL, -

1022 0xbebca04c3076b187UL, 0x7d36f332a6ee3a41UL, -

1023 0x3b6667bc6be31599UL, 0x695f463aea3ef040UL, -

1024 0xad08b0e0c3282d1cUL, 0xb15b1e4a052a684eUL, -

1025 0x44d05b2861b7c505UL, 0x15295c5b1a8dbfe1UL, -

1026 0x744c01c37a61c0f2UL, 0x59c31cd1f1e8f5b7UL, -

1027 0xef45a73f4b4ccb63UL, 0x6bdf899c46841a9dUL, -

1028 0x3dfb2b4b823036e3UL, 0xa2ef0ee6f674f4d5UL, -

1029 0x184e2dfb836b8cf5UL, 0x1134df0a5fe47646UL, -

1030 0xbaa1231d751f7820UL, 0xd17eaa81339b62bdUL, -

1031 0xb01bf71953771daeUL, 0x849a2ea30dc8d1feUL, -

1032 0x705182923f080955UL, 0x0ea757556301ac29UL, -

1033 0x041d83514569c9a7UL, 0x0abad4042668658eUL, -

1034 0x49b72a88f851f611UL, 0x8a3d79f66ec97dd7UL, -

1035 0xcd2d042bf59927efUL, 0xc930877ab0f0ee48UL, -

1036 0x9273540deda2f122UL, 0xc797d02fd3f14261UL, -

1037 0xe1e2f06a284d674aUL, 0xd2be8c74c97cfd80UL, -

1038 0x9a494faf67707e71UL, 0xb3dbd1eca9908293UL, -

1039 0x72d14d3493b2e388UL, 0xd6a30f258c153427UL -

1040 }, -

1041 }; -

1042 -

1043 static const unsigned long C16[12][8] = { -

1044 { -

1045 0xdd806559f2a64507UL, 0x05767436cc744d23UL, -

1046 0xa2422a08a460d315UL, 0x4b7ce09192676901UL, -

1047 0x714eb88d7585c4fcUL, 0x2f6a76432e45d016UL, -

1048 0xebcb2f81c0657c1fUL, 0xb1085bda1ecadae9UL -

1049 }, { -

1050 0xe679047021b19bb7UL, 0x55dda21bd7cbcd56UL, -

1051 0x5cb561c2db0aa7caUL, 0x9ab5176b12d69958UL, -

1052 0x61d55e0f16b50131UL, 0xf3feea720a232b98UL, -

1053 0x4fe39d460f70b5d7UL, 0x6fa3b58aa99d2f1aUL -

1054 }, { -

1055 0x991e96f50aba0ab2UL, 0xc2b6f443867adb31UL, -

1056 0xc1c93a376062db09UL, 0xd3e20fe490359eb1UL, -

1057 0xf2ea7514b1297b7bUL, 0x06f15e5f529c1f8bUL, -

1058 0x0a39fc286a3d8435UL, 0xf574dcac2bce2fc7UL -

1059 }, { -

1060 0x220cbebc84e3d12eUL, 0x3453eaa193e837f1UL, -

1061 0xd8b71333935203beUL, 0xa9d72c82ed03d675UL, -

1062 0x9d721cad685e353fUL, 0x488e857e335c3c7dUL, -

1063 0xf948e1a05d71e4ddUL, 0xef1fdfb3e81566d2UL -

1064 }, { -

1065 0x601758fd7c6cfe57UL, 0x7a56a27ea9ea63f5UL, -

1066 0xdfff00b723271a16UL, 0xbfcd1747253af5a3UL, -

1067 0x359e35d7800fffbdUL, 0x7f151c1f1686104aUL, -

1068 0x9a3f410c6ca92363UL, 0x4bea6bacad474799UL -

1069 }, { -

1070 0xfa68407a46647d6eUL, 0xbf71c57236904f35UL, -

1071 0x0af21f66c2bec6b6UL, 0xcffaa6b71c9ab7b4UL, -

1072 0x187f9ab49af08ec6UL, 0x2d66c4f95142a46cUL, -

1073 0x6fa4c33b7a3039c0UL, 0xae4faeae1d3ad3d9UL -

1074 }, { -

1075 0x8886564d3a14d493UL, 0x3517454ca23c4af3UL, -

1076 0x06476983284a0504UL, 0x0992abc52d822c37UL, -

1077 0xd3473e33197a93c9UL, 0x399ec6c7e6bf87c9UL, -

1078 0x51ac86febf240954UL, 0xf4c70e16eeaac5ecUL -

1079 }, { -

1080 0xa47f0dd4bf02e71eUL, 0x36acc2355951a8d9UL, -

1081 0x69d18d2bd1a5c42fUL, 0xf4892bcb929b0690UL, -

1082 0x89b4443b4ddbc49aUL, 0x4eb7f8719c36de1eUL, -

1083 0x03e7aa020c6e4141UL, 0x9b1f5b424d93c9a7UL -

1084 }, { -

1085 0x7261445183235adbUL, 0x0e38dc92cb1f2a60UL, -

1086 0x7b2b8a9aa6079c54UL, 0x800a440bdbb2ceb1UL, -

1087 0x3cd955b7e00d0984UL, 0x3a7d3a1b25894224UL, -

1088 0x944c9ad8ec165fdeUL, 0x378f5a541631229bUL -

1089 }, { -

1090 0x74b4c7fb98459cedUL, 0x3698fad1153bb6c3UL, -

1091 0x7a1e6c303b7652f4UL, 0x9fe76702af69334bUL, -

1092 0x1fffe18a1b336103UL, 0x8941e71cff8a78dbUL, -

1093 0x382ae548b2e4f3f3UL, 0xabbedea680056f52UL -

1094 }, { -

1095 0x6bcaa4cd81f32d1bUL, 0xdea2594ac06fd85dUL, -

1096 0xefbacd1d7d476e98UL, 0x8a1d71efea48b9caUL, -

1097 0x2001802114846679UL, 0xd8fa6bbbebab0761UL, -

1098 0x3002c6cd635afe94UL, 0x7bcd9ed0efc889fbUL -

1099 }, { -

1100 0x48bc924af11bd720UL, 0xfaf417d5d9b21b99UL, -

1101 0xe71da4aa88e12852UL, 0x5d80ef9d1891cc86UL, -

1102 0xf82012d430219f9bUL, 0xcda43c32bcdf1d77UL, -

1103 0xd21380b00449b17aUL, 0x378ee767f11631baUL -

1104 }, -

1105 }; -

1106 -

1107 -

1108 -

1109 -

1110 -

1111 static inline unsigned long -

1112 multipermute(const unsigned long *in, int i) -

1113 { -

1114 unsigned long t = 0; -

1115 -

1116 t ^= A_PI_table[0][(in[0] >> (i * 8)) & 0xff]; -

1117 t ^= A_PI_table[1][(in[1] >> (i * 8)) & 0xff]; -

1118 t ^= A_PI_table[2][(in[2] >> (i * 8)) & 0xff]; -

1119 t ^= A_PI_table[3][(in[3] >> (i * 8)) & 0xff]; -

1120 t ^= A_PI_table[4][(in[4] >> (i * 8)) & 0xff]; -

1121 t ^= A_PI_table[5][(in[5] >> (i * 8)) & 0xff]; -

1122 t ^= A_PI_table[6][(in[6] >> (i * 8)) & 0xff]; -

1123 t ^= A_PI_table[7][(in[7] >> (i * 8)) & 0xff]; -

1124 -

return

executed 1117600 times by 2 tests: return t;

Executed by:

evptest
tls_prf

t;

executed 1117600 times by 2 tests: return t;

Executed by:

evptest
tls_prf

1117600

1126 } -

1127 -

1128 static void -

1129 transform(unsigned long *out, const unsigned long *a, -

1130 const unsigned long *b) -

1131 { -

1132 unsigned long tmp[8]; -

1133 -

1134 tmp[0] = a[0] ^ b[0]; -

1135 tmp[1] = a[1] ^ b[1]; -

1136 tmp[2] = a[2] ^ b[2]; -

1137 tmp[3] = a[3] ^ b[3]; -

1138 tmp[4] = a[4] ^ b[4]; -

1139 tmp[5] = a[5] ^ b[5]; -

1140 tmp[6] = a[6] ^ b[6]; -

1141 tmp[7] = a[7] ^ b[7]; -

1142 -

1143 out[0] = multipermute(tmp, 0); -

1144 out[1] = multipermute(tmp, 1); -

1145 out[2] = multipermute(tmp, 2); -

1146 out[3] = multipermute(tmp, 3); -

1147 out[4] = multipermute(tmp, 4); -

1148 out[5] = multipermute(tmp, 5); -

1149 out[6] = multipermute(tmp, 6); -

1150 out[7] = multipermute(tmp, 7); -

}

executed 139700 times by 2 tests: end of block

Executed by:

evptest
tls_prf

139700

1152 -

1153 static inline void -

1154 gN(unsigned long *h, unsigned long *m, unsigned long *N) -

1155 { -

1156 unsigned long K[8]; -

1157 unsigned long T[8]; -

1158 int i; -

1159 -

1160 transform(K, h, N); -

1161 -

1162 transform(T, K, m); -

1163 transform(K, K, C16[0]); -

for (i = 1; i < 12

i < 12	Description
TRUE	evaluated 61468 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 5588 times by 2 tests Evaluated by: evptest tls_prf

; i++) {

5588-61468

1165 transform(T, K, T); -

1166 transform(K, K, C16[i]); -

}

executed 61468 times by 2 tests: end of block

Executed by:

evptest
tls_prf

61468

1168 -

1169 h[0] ^= T[0] ^ K[0] ^ m[0]; -

1170 h[1] ^= T[1] ^ K[1] ^ m[1]; -

1171 h[2] ^= T[2] ^ K[2] ^ m[2]; -

1172 h[3] ^= T[3] ^ K[3] ^ m[3]; -

1173 h[4] ^= T[4] ^ K[4] ^ m[4]; -

1174 h[5] ^= T[5] ^ K[5] ^ m[5]; -

1175 h[6] ^= T[6] ^ K[6] ^ m[6]; -

1176 h[7] ^= T[7] ^ K[7] ^ m[7]; -

}

executed 5588 times by 2 tests: end of block

Executed by:

evptest
tls_prf

5588

1178 -

1179 -

1180 static void -

1181 streebog_single_block(STREEBOG_CTX *ctx, const unsigned char *in, size_t num) -

1182 { -

1183 unsigned long M[8], l; -

1184 int i; -

1185 -

for (i = 0; i < 8

i < 8	Description
TRUE	evaluated 24128 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 3016 times by 2 tests Evaluated by: evptest tls_prf

; i++)

3016-24128

M[i] = ((((unsigned long)(*(((const unsigned char *)(&in[i*8]))+0)))<<(0*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+1)))<<(1*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+2)))<<(2*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+3)))<<(3*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+4)))<<(4*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+5)))<<(5*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+6)))<<(6*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+7)))<<(7*8)));

executed 24128 times by 2 tests:

M[i] = ((((unsigned long)(*(((const unsigned char *)(&in[i*8]))+0)))<<(0*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+1)))<<(1*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+2)))<<(2*8))|(((unsigned long)(*(((const unsigned cha...const unsigned char *)(&in[i*8]))+4)))<<(4*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+5)))<<(5*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+6)))<<(6*8))|(((unsigned long)(*(((const unsigned char *)(&in[i*8]))+7)))<<(7*8)));

Executed by:

evptest
tls_prf

24128

1188 -

1189 gN(ctx->h, M, ctx->N); -

1190 -

1191 l = ctx->N[0]; -

1192 ctx->N[0] += num; -

1193 -

if (ctx->N[0] < l

ctx->N[0] < l	Description
TRUE	never evaluated
FALSE	evaluated 3016 times by 2 tests Evaluated by: evptest tls_prf

|| ctx->N[0] < num

ctx->N[0] < num	Description
TRUE	never evaluated
FALSE	evaluated 3016 times by 2 tests Evaluated by: evptest tls_prf

) {

0-3016

for (i = 1; i < 8

i < 8	Description
TRUE	never evaluated
FALSE	never evaluated

; i++) {

0

1196 ctx->N[i]++; -

if (ctx->N[i] != 0

ctx->N[i] != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

0

break;

never executed: break;

0

}

never executed: end of block

0

}

never executed: end of block

0

1201 -

1202 ctx->Sigma[0] += M[0]; -

for (i = 1; i < 8

i < 8	Description
TRUE	evaluated 21112 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 3016 times by 2 tests Evaluated by: evptest tls_prf

; i++)

3016-21112

if (ctx->Sigma[i-1] < M[i-1]

ctx->Sigma[i-1] < M[i-1]	Description
TRUE	evaluated 1922 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 19190 times by 2 tests Evaluated by: evptest tls_prf

)

1922-19190

ctx->Sigma[i] += M[i] + 1;

executed 1922 times by 2 tests: ctx->Sigma[i] += M[i] + 1;

Executed by:

evptest
tls_prf

1922

1206 else -

ctx->Sigma[i] += M[i];

executed 19190 times by 2 tests: ctx->Sigma[i] += M[i];

Executed by:

evptest
tls_prf

19190

}

executed 3016 times by 2 tests: end of block

Executed by:

evptest
tls_prf

3016

1209 -

1210 -

1211 -

1212 static void -

1213 streebog_block_data_order(STREEBOG_CTX *ctx, const unsigned char *in, -

1214 size_t num) -

1215 { -

1216 int i; -

1217 -

for (i = 0; i < num

i < num	Description
TRUE	evaluated 1730 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 1730 times by 2 tests Evaluated by: evptest tls_prf

; i++)

1730

streebog_single_block(ctx, in + i * 64, 64 * 8);

executed 1730 times by 2 tests: streebog_single_block(ctx, in + i * 64, 64 * 8);

Executed by:

evptest
tls_prf

1730

}

executed 1730 times by 2 tests: end of block

Executed by:

evptest
tls_prf

1730

1221 -

1222 int -

1223 STREEBOG512_Final(unsigned char *md, STREEBOG_CTX *c) -

1224 { -

1225 unsigned char *p = (unsigned char *)c->data; -

1226 unsigned long Z[8] = {0}; -

1227 int n; -

1228 -

if (c->num == 64

c->num == 64	Description
TRUE	never evaluated
FALSE	evaluated 1286 times by 2 tests Evaluated by: evptest tls_prf

) {

0-1286

1230 streebog_block_data_order(c, p, 1); -

1231 c->num -= 64; -

}

never executed: end of block

0

1233 -

1234 n = c->num; -

1235 p[n++] = 1; -

1236 memset(p + n, 0, 64 - n); -

1237 -

1238 streebog_single_block(c, p, c->num * 8); -

1239 -

1240 gN(c->h, c->N, Z); -

1241 gN(c->h, c->Sigma, Z); -

1242 -

for (n = 0; n < 8

n < 8	Description
TRUE	evaluated 10288 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 1286 times by 2 tests Evaluated by: evptest tls_prf

; n++)

1286-10288

c->h[n] = ((((unsigned long)(*(((const unsigned char *)(&c->h[n]))+0)))<<(7*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+1)))<<(6*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+2)))<<(5*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+3)))<<(4*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+4)))<<(3*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+5)))<<(2*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+6)))<<(1*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+7)))<<(0*8)));

executed 10288 times by 2 tests:

c->h[n] = ((((unsigned long)(*(((const unsigned char *)(&c->h[n]))+0)))<<(7*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+1)))<<(6*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+2)))<<(5*8))|(((unsigned long)(*(((const unsigned ...const unsigned char *)(&c->h[n]))+4)))<<(3*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+5)))<<(2*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+6)))<<(1*8))|(((unsigned long)(*(((const unsigned char *)(&c->h[n]))+7)))<<(0*8)));

Executed by:

evptest
tls_prf

10288

1245 -

if (md ==

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1286 times by 2 tests Evaluated by: evptest tls_prf

0-1286

((void *)0)

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1286 times by 2 tests Evaluated by: evptest tls_prf

0-1286

1248 ) -

return

never executed: return 0;

0;

never executed: return 0;

0

1250 -

1251 switch (c->md_len) { -

1252 -

case

executed 1283 times by 2 tests: case 32:

Executed by:

evptest
tls_prf

32:

executed 1283 times by 2 tests: case 32:

Executed by:

evptest
tls_prf

1283

for (n = 0; n < 32 / 8

n < 32 / 8	Description
TRUE	evaluated 5132 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 1283 times by 2 tests Evaluated by: evptest tls_prf

; n++) {

1283-5132

1255 unsigned long t = c->h[4+n]; -

1256 *(md++) = (unsigned char)(t >> 56); -

1257 *(md++) = (unsigned char)(t >> 48); -

1258 *(md++) = (unsigned char)(t >> 40); -

1259 *(md++) = (unsigned char)(t >> 32); -

1260 *(md++) = (unsigned char)(t >> 24); -

1261 *(md++) = (unsigned char)(t >> 16); -

1262 *(md++) = (unsigned char)(t >> 8); -

1263 *(md++) = (unsigned char)(t); -

1264 -

}

executed 5132 times by 2 tests: end of block

Executed by:

evptest
tls_prf

5132

break;

executed 1283 times by 2 tests: break;

Executed by:

evptest
tls_prf

1283

case

executed 3 times by 1 test: case 64:

Executed by:

evptest

64:

executed 3 times by 1 test: case 64:

Executed by:

evptest

3

for (n = 0; n < 64 / 8

n < 64 / 8	Description
TRUE	evaluated 24 times by 1 test Evaluated by: evptest
FALSE	evaluated 3 times by 1 test Evaluated by: evptest

; n++) {

3-24

1269 unsigned long t = c->h[n]; -

1270 *(md++) = (unsigned char)(t >> 56); -

1271 *(md++) = (unsigned char)(t >> 48); -

1272 *(md++) = (unsigned char)(t >> 40); -

1273 *(md++) = (unsigned char)(t >> 32); -

1274 *(md++) = (unsigned char)(t >> 24); -

1275 *(md++) = (unsigned char)(t >> 16); -

1276 *(md++) = (unsigned char)(t >> 8); -

1277 *(md++) = (unsigned char)(t); -

1278 -

}

executed 24 times by 1 test: end of block

Executed by:

evptest

24

break;

executed 3 times by 1 test: break;

Executed by:

evptest

3

1281 -

default

never executed: default:

:

never executed: default:

0

return

never executed: return 0;

0;

never executed: return 0;

0

1284 } -

1285 -

return

executed 1286 times by 2 tests: return 1;

Executed by:

evptest
tls_prf

1;

executed 1286 times by 2 tests: return 1;

Executed by:

evptest
tls_prf

1286

1287 } -

1288 -

1289 int -

1290 STREEBOG256_Final(unsigned char *md, STREEBOG_CTX * c) -

1291 { -

return

executed 1283 times by 2 tests: return STREEBOG512_Final(md, c);

Executed by:

evptest
tls_prf

STREEBOG512_Final(md, c);

executed 1283 times by 2 tests: return STREEBOG512_Final(md, c);

Executed by:

evptest
tls_prf

1283

1293 } -

1294 -

1295 int -

1296 STREEBOG512_Update(STREEBOG_CTX *c, const void *_data, size_t len) -

1297 { -

1298 unsigned char *p = (unsigned char *)c->data; -

1299 const unsigned char *data = (const unsigned char *)_data; -

1300 -

if (len == 0

len == 0	Description
TRUE	evaluated 2 times by 1 test Evaluated by: evptest
FALSE	evaluated 4676 times by 2 tests Evaluated by: evptest tls_prf

)

2-4676

return

executed 2 times by 1 test: return 1;

Executed by:

evptest

1;

executed 2 times by 1 test: return 1;

Executed by:

evptest

2

1303 -

if (c->num != 0

c->num != 0	Description
TRUE	evaluated 2112 times by 1 test Evaluated by: tls_prf
FALSE	evaluated 2564 times by 2 tests Evaluated by: evptest tls_prf

) {

2112-2564

1305 size_t n = 64 - c->num; -

1306 -

if (len < n

len < n	Description
TRUE	evaluated 1664 times by 1 test Evaluated by: tls_prf
FALSE	evaluated 448 times by 1 test Evaluated by: tls_prf

) {

448-1664

1308 memcpy(p + c->num, data, len); -

1309 c->num += (unsigned int)len; -

return

executed 1664 times by 1 test: return 1;

Executed by:

tls_prf

1;

executed 1664 times by 1 test: return 1;

Executed by:

tls_prf

1664

1311 } else { -

1312 memcpy(p + c->num, data, n); -

1313 c->num = 0; -

1314 len -= n; -

1315 data += n; -

1316 streebog_block_data_order(c, p, 1); -

}

executed 448 times by 1 test: end of block

Executed by:

tls_prf

448

1318 } -

1319 -

if (len >= 64

len >= 64	Description
TRUE	evaluated 1282 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 1730 times by 2 tests Evaluated by: evptest tls_prf

) {

1282-1730

1321 streebog_block_data_order(c, data, len / 64); -

1322 data += len; -

1323 len %= 64; -

1324 data -= len; -

}

executed 1282 times by 2 tests: end of block

Executed by:

evptest
tls_prf

1282

1326 -

if (len != 0

len != 0	Description
TRUE	evaluated 1732 times by 2 tests Evaluated by: evptest tls_prf
FALSE	evaluated 1280 times by 1 test Evaluated by: tls_prf

) {

1280-1732

1328 memcpy(p, data, len); -

1329 c->num = (int)len; -

}

executed 1732 times by 2 tests: end of block

Executed by:

evptest
tls_prf

1732

1331 -

return

executed 3012 times by 2 tests: return 1;

Executed by:

evptest
tls_prf

1;

executed 3012 times by 2 tests: return 1;

Executed by:

evptest
tls_prf

3012

1333 } -

1334 -

1335 int -

1336 STREEBOG256_Update(STREEBOG_CTX *c, const void *data, size_t len) -

1337 { -

return

executed 4675 times by 2 tests: return STREEBOG512_Update(c, data, len);

Executed by:

evptest
tls_prf

STREEBOG512_Update(c, data, len);

executed 4675 times by 2 tests: return STREEBOG512_Update(c, data, len);

Executed by:

evptest
tls_prf

4675

1339 } -

1340 -

1341 void -

1342 STREEBOG512_Transform(STREEBOG_CTX *c, const unsigned char *data) -

1343 { -

1344 streebog_block_data_order(c, data, 1); -

}

never executed: end of block

0

1346 -

1347 int -

1348 STREEBOG256_Init(STREEBOG_CTX *c) -

1349 { -

1350 memset(c, 0, sizeof(*c)); -

1351 memset(c->h, 1, sizeof(c->h)); -

1352 -

1353 c->md_len = 32; -

return

executed 1283 times by 2 tests: return 1;

Executed by:

evptest
tls_prf

1;

executed 1283 times by 2 tests: return 1;

Executed by:

evptest
tls_prf

1283

1355 } -

1356 -

1357 int -

1358 STREEBOG512_Init(STREEBOG_CTX *c) -

1359 { -

1360 memset(c, 0, sizeof(*c)); -

1361 memset(c->h, 0, sizeof(c->h)); -

1362 -

1363 c->num = 0; -

1364 c->md_len = 64; -

return

executed 3 times by 1 test: return 1;

Executed by:

evptest

1;

executed 3 times by 1 test: return 1;

Executed by:

evptest

3

1366 } -

1367 -

1368 unsigned char * -

1369 STREEBOG256(const unsigned char *d, size_t n, unsigned char *md) -

1370 { -

1371 STREEBOG_CTX c; -

1372 static unsigned char m[32]; -

1373 -

if (md ==

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

0

((void *)0)

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

0

1376 ) -

md = m;

never executed: md = m;

0

1378 STREEBOG256_Init(&c); -

1379 STREEBOG256_Update(&c, d, n); -

1380 STREEBOG256_Final(md, &c); -

1381 explicit_bzero(&c, sizeof(c)); -

return

never executed: return (md);

(md);

never executed: return (md);

0

1383 } -

1384 -

1385 unsigned char * -

1386 STREEBOG512(const unsigned char *d, size_t n, unsigned char *md) -

1387 { -

1388 STREEBOG_CTX c; -

1389 static unsigned char m[64]; -

1390 -

if (md ==

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

0

((void *)0)

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

0

1393 ) -

md = m;

never executed: md = m;

0

1395 STREEBOG512_Init(&c); -

1396 STREEBOG512_Update(&c, d, n); -

1397 STREEBOG512_Final(md, &c); -

1398 explicit_bzero(&c, sizeof(c)); -

return

never executed: return (md);

(md);

never executed: return (md);

0

1400 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2