OXYGENHUB
◆ main openmsx / src / utils / tiger.cc
33.8 KiB · C++ · last changed chore(): initial commit 1 month ago source blame history raw
1 
#include "tiger.hh"
2
3 
#include "ScopedAssign.hh"
4 
#include "endian.hh"
5 
#include "ranges.hh"
6
7 
#include <array>
8 
#include <bit>
9 
#include <cassert>
10 
#include <cstring>
11
12 
namespace openmsx {
13
14 
std::string TigerHash::toString() const
15 
{
16 
	static constexpr std::array<char, 32> chars = {
17 
		'A','B','C','D','E','F','G','H','I','J','K','L','M','N','O','P',
18 
		'Q','R','S','T','U','V','W','X','Y','Z','2','3','4','5','6','7',
19 
	};
20
21 
	std::string result;
22
23 
	auto it = h8.begin();
24 
	auto et = h8.end();
25
26 
	unsigned bit = 0;
27 
	while (it != et) {
28 
		uint8_t tmp = [&] {
29 
			if (bit > 3) {
30 
				uint8_t t = *it & (0xFF >> bit);
31 
				bit = (bit + 5) % 8;
32 
				t <<= bit;
33 
				++it;
34 
				if (it != et) {
35 
					t |= *it >> (8 - bit);
36 
				}
37 
				return t;
38 
			} else {
39 
				uint8_t t = (*it >> (3 - bit)) & 0x1F;
40 
				bit = (bit + 5) % 8;
41 
				if (bit == 0) ++it;
42 
				return t;
43 
			}
44 
		}();
45 
		assert(tmp < 32);
46 
		result += chars[tmp];
47 
	}
48 
	return result;
49 
}
50
51
52 
// Tiger S boxes
53 
static constexpr std::array<uint64_t, 4 * 256> table = {
54 
	0x02AAB17CF7E90C5EULL, 0xAC424B03E243A8ECULL,  //    0
55 
	0x72CD5BE30DD5FCD3ULL, 0x6D019B93F6F97F3AULL,  //    2
56 
	0xCD9978FFD21F9193ULL, 0x7573A1C9708029E2ULL,  //    4
57 
	0xB164326B922A83C3ULL, 0x46883EEE04915870ULL,  //    6
58 
	0xEAACE3057103ECE6ULL, 0xC54169B808A3535CULL,  //    8
59 
	0x4CE754918DDEC47CULL, 0x0AA2F4DFDC0DF40CULL,  //   10
60 
	0x10B76F18A74DBEFAULL, 0xC6CCB6235AD1AB6AULL,  //   12
61 
	0x13726121572FE2FFULL, 0x1A488C6F199D921EULL,  //   14
62 
	0x4BC9F9F4DA0007CAULL, 0x26F5E6F6E85241C7ULL,  //   16
63 
	0x859079DBEA5947B6ULL, 0x4F1885C5C99E8C92ULL,  //   18
64 
	0xD78E761EA96F864BULL, 0x8E36428C52B5C17DULL,  //   20
65 
	0x69CF6827373063C1ULL, 0xB607C93D9BB4C56EULL,  //   22
66 
	0x7D820E760E76B5EAULL, 0x645C9CC6F07FDC42ULL,  //   24
67 
	0xBF38A078243342E0ULL, 0x5F6B343C9D2E7D04ULL,  //   26
68 
	0xF2C28AEB600B0EC6ULL, 0x6C0ED85F7254BCACULL,  //   28
69 
	0x71592281A4DB4FE5ULL, 0x1967FA69CE0FED9FULL,  //   30
70 
	0xFD5293F8B96545DBULL, 0xC879E9D7F2A7600BULL,  //   32
71 
	0x860248920193194EULL, 0xA4F9533B2D9CC0B3ULL,  //   34
72 
	0x9053836C15957613ULL, 0xDB6DCF8AFC357BF1ULL,  //   36
73 
	0x18BEEA7A7A370F57ULL, 0x037117CA50B99066ULL,  //   38
74 
	0x6AB30A9774424A35ULL, 0xF4E92F02E325249BULL,  //   40
75 
	0x7739DB07061CCAE1ULL, 0xD8F3B49CECA42A05ULL,  //   42
76 
	0xBD56BE3F51382F73ULL, 0x45FAED5843B0BB28ULL,  //   44
77 
	0x1C813D5C11BF1F83ULL, 0x8AF0E4B6D75FA169ULL,  //   46
78 
	0x33EE18A487AD9999ULL, 0x3C26E8EAB1C94410ULL,  //   48
79 
	0xB510102BC0A822F9ULL, 0x141EEF310CE6123BULL,  //   50
80 
	0xFC65B90059DDB154ULL, 0xE0158640C5E0E607ULL,  //   52
81 
	0x884E079826C3A3CFULL, 0x930D0D9523C535FDULL,  //   54
82 
	0x35638D754E9A2B00ULL, 0x4085FCCF40469DD5ULL,  //   56
83 
	0xC4B17AD28BE23A4CULL, 0xCAB2F0FC6A3E6A2EULL,  //   58
84 
	0x2860971A6B943FCDULL, 0x3DDE6EE212E30446ULL,  //   60
85 
	0x6222F32AE01765AEULL, 0x5D550BB5478308FEULL,  //   62
86 
	0xA9EFA98DA0EDA22AULL, 0xC351A71686C40DA7ULL,  //   64
87 
	0x1105586D9C867C84ULL, 0xDCFFEE85FDA22853ULL,  //   66
88 
	0xCCFBD0262C5EEF76ULL, 0xBAF294CB8990D201ULL,  //   68
89 
	0xE69464F52AFAD975ULL, 0x94B013AFDF133E14ULL,  //   70
90 
	0x06A7D1A32823C958ULL, 0x6F95FE5130F61119ULL,  //   72
91 
	0xD92AB34E462C06C0ULL, 0xED7BDE33887C71D2ULL,  //   74
92 
	0x79746D6E6518393EULL, 0x5BA419385D713329ULL,  //   76
93 
	0x7C1BA6B948A97564ULL, 0x31987C197BFDAC67ULL,  //   78
94 
	0xDE6C23C44B053D02ULL, 0x581C49FED002D64DULL,  //   80
95 
	0xDD474D6338261571ULL, 0xAA4546C3E473D062ULL,  //   82
96 
	0x928FCE349455F860ULL, 0x48161BBACAAB94D9ULL,  //   84
97 
	0x63912430770E6F68ULL, 0x6EC8A5E602C6641CULL,  //   86
98 
	0x87282515337DDD2BULL, 0x2CDA6B42034B701BULL,  //   88
99 
	0xB03D37C181CB096DULL, 0xE108438266C71C6FULL,  //   90
100 
	0x2B3180C7EB51B255ULL, 0xDF92B82F96C08BBCULL,  //   92
101 
	0x5C68C8C0A632F3BAULL, 0x5504CC861C3D0556ULL,  //   94
102 
	0xABBFA4E55FB26B8FULL, 0x41848B0AB3BACEB4ULL,  //   96
103 
	0xB334A273AA445D32ULL, 0xBCA696F0A85AD881ULL,  //   98
104 
	0x24F6EC65B528D56CULL, 0x0CE1512E90F4524AULL,  //  100
105 
	0x4E9DD79D5506D35AULL, 0x258905FAC6CE9779ULL,  //  102
106 
	0x2019295B3E109B33ULL, 0xF8A9478B73A054CCULL,  //  104
107 
	0x2924F2F934417EB0ULL, 0x3993357D536D1BC4ULL,  //  106
108 
	0x38A81AC21DB6FF8BULL, 0x47C4FBF17D6016BFULL,  //  108
109 
	0x1E0FAADD7667E3F5ULL, 0x7ABCFF62938BEB96ULL,  //  110
110 
	0xA78DAD948FC179C9ULL, 0x8F1F98B72911E50DULL,  //  112
111 
	0x61E48EAE27121A91ULL, 0x4D62F7AD31859808ULL,  //  114
112 
	0xECEBA345EF5CEAEBULL, 0xF5CEB25EBC9684CEULL,  //  116
113 
	0xF633E20CB7F76221ULL, 0xA32CDF06AB8293E4ULL,  //  118
114 
	0x985A202CA5EE2CA4ULL, 0xCF0B8447CC8A8FB1ULL,  //  120
115 
	0x9F765244979859A3ULL, 0xA8D516B1A1240017ULL,  //  122
116 
	0x0BD7BA3EBB5DC726ULL, 0xE54BCA55B86ADB39ULL,  //  124
117 
	0x1D7A3AFD6C478063ULL, 0x519EC608E7669EDDULL,  //  126
118 
	0x0E5715A2D149AA23ULL, 0x177D4571848FF194ULL,  //  128
119 
	0xEEB55F3241014C22ULL, 0x0F5E5CA13A6E2EC2ULL,  //  130
120 
	0x8029927B75F5C361ULL, 0xAD139FABC3D6E436ULL,  //  132
121 
	0x0D5DF1A94CCF402FULL, 0x3E8BD948BEA5DFC8ULL,  //  134
122 
	0xA5A0D357BD3FF77EULL, 0xA2D12E251F74F645ULL,  //  136
123 
	0x66FD9E525E81A082ULL, 0x2E0C90CE7F687A49ULL,  //  138
124 
	0xC2E8BCBEBA973BC5ULL, 0x000001BCE509745FULL,  //  140
125 
	0x423777BBE6DAB3D6ULL, 0xD1661C7EAEF06EB5ULL,  //  142
126 
	0xA1781F354DAACFD8ULL, 0x2D11284A2B16AFFCULL,  //  144
127 
	0xF1FC4F67FA891D1FULL, 0x73ECC25DCB920ADAULL,  //  146
128 
	0xAE610C22C2A12651ULL, 0x96E0A810D356B78AULL,  //  148
129 
	0x5A9A381F2FE7870FULL, 0xD5AD62EDE94E5530ULL,  //  150
130 
	0xD225E5E8368D1427ULL, 0x65977B70C7AF4631ULL,  //  152
131 
	0x99F889B2DE39D74FULL, 0x233F30BF54E1D143ULL,  //  154
132 
	0x9A9675D3D9A63C97ULL, 0x5470554FF334F9A8ULL,  //  156
133 
	0x166ACB744A4F5688ULL, 0x70C74CAAB2E4AEADULL,  //  158
134 
	0xF0D091646F294D12ULL, 0x57B82A89684031D1ULL,  //  160
135 
	0xEFD95A5A61BE0B6BULL, 0x2FBD12E969F2F29AULL,  //  162
136 
	0x9BD37013FEFF9FE8ULL, 0x3F9B0404D6085A06ULL,  //  164
137 
	0x4940C1F3166CFE15ULL, 0x09542C4DCDF3DEFBULL,  //  166
138 
	0xB4C5218385CD5CE3ULL, 0xC935B7DC4462A641ULL,  //  168
139 
	0x3417F8A68ED3B63FULL, 0xB80959295B215B40ULL,  //  170
140 
	0xF99CDAEF3B8C8572ULL, 0x018C0614F8FCB95DULL,  //  172
141 
	0x1B14ACCD1A3ACDF3ULL, 0x84D471F200BB732DULL,  //  174
142 
	0xC1A3110E95E8DA16ULL, 0x430A7220BF1A82B8ULL,  //  176
143 
	0xB77E090D39DF210EULL, 0x5EF4BD9F3CD05E9DULL,  //  178
144 
	0x9D4FF6DA7E57A444ULL, 0xDA1D60E183D4A5F8ULL,  //  180
145 
	0xB287C38417998E47ULL, 0xFE3EDC121BB31886ULL,  //  182
146 
	0xC7FE3CCC980CCBEFULL, 0xE46FB590189BFD03ULL,  //  184
147 
	0x3732FD469A4C57DCULL, 0x7EF700A07CF1AD65ULL,  //  186
148 
	0x59C64468A31D8859ULL, 0x762FB0B4D45B61F6ULL,  //  188
149 
	0x155BAED099047718ULL, 0x68755E4C3D50BAA6ULL,  //  190
150 
	0xE9214E7F22D8B4DFULL, 0x2ADDBF532EAC95F4ULL,  //  192
151 
	0x32AE3909B4BD0109ULL, 0x834DF537B08E3450ULL,  //  194
152 
	0xFA209DA84220728DULL, 0x9E691D9B9EFE23F7ULL,  //  196
153 
	0x0446D288C4AE8D7FULL, 0x7B4CC524E169785BULL,  //  198
154 
	0x21D87F0135CA1385ULL, 0xCEBB400F137B8AA5ULL,  //  200
155 
	0x272E2B66580796BEULL, 0x3612264125C2B0DEULL,  //  202
156 
	0x057702BDAD1EFBB2ULL, 0xD4BABB8EACF84BE9ULL,  //  204
157 
	0x91583139641BC67BULL, 0x8BDC2DE08036E024ULL,  //  206
158 
	0x603C8156F49F68EDULL, 0xF7D236F7DBEF5111ULL,  //  208
159 
	0x9727C4598AD21E80ULL, 0xA08A0896670A5FD7ULL,  //  210
160 
	0xCB4A8F4309EBA9CBULL, 0x81AF564B0F7036A1ULL,  //  212
161 
	0xC0B99AA778199ABDULL, 0x959F1EC83FC8E952ULL,  //  214
162 
	0x8C505077794A81B9ULL, 0x3ACAAF8F056338F0ULL,  //  216
163 
	0x07B43F50627A6778ULL, 0x4A44AB49F5ECCC77ULL,  //  218
164 
	0x3BC3D6E4B679EE98ULL, 0x9CC0D4D1CF14108CULL,  //  220
165 
	0x4406C00B206BC8A0ULL, 0x82A18854C8D72D89ULL,  //  222
166 
	0x67E366B35C3C432CULL, 0xB923DD61102B37F2ULL,  //  224
167 
	0x56AB2779D884271DULL, 0xBE83E1B0FF1525AFULL,  //  226
168 
	0xFB7C65D4217E49A9ULL, 0x6BDBE0E76D48E7D4ULL,  //  228
169 
	0x08DF828745D9179EULL, 0x22EA6A9ADD53BD34ULL,  //  230
170 
	0xE36E141C5622200AULL, 0x7F805D1B8CB750EEULL,  //  232
171 
	0xAFE5C7A59F58E837ULL, 0xE27F996A4FB1C23CULL,  //  234
172 
	0xD3867DFB0775F0D0ULL, 0xD0E673DE6E88891AULL,  //  236
173 
	0x123AEB9EAFB86C25ULL, 0x30F1D5D5C145B895ULL,  //  238
174 
	0xBB434A2DEE7269E7ULL, 0x78CB67ECF931FA38ULL,  //  240
175 
	0xF33B0372323BBF9CULL, 0x52D66336FB279C74ULL,  //  242
176 
	0x505F33AC0AFB4EAAULL, 0xE8A5CD99A2CCE187ULL,  //  244
177 
	0x534974801E2D30BBULL, 0x8D2D5711D5876D90ULL,  //  246
178 
	0x1F1A412891BC038EULL, 0xD6E2E71D82E56648ULL,  //  248
179 
	0x74036C3A497732B7ULL, 0x89B67ED96361F5ABULL,  //  250
180 
	0xFFED95D8F1EA02A2ULL, 0xE72B3BD61464D43DULL,  //  252
181 
	0xA6300F170BDC4820ULL, 0xEBC18760ED78A77AULL,  //  254
182 
	0xE6A6BE5A05A12138ULL, 0xB5A122A5B4F87C98ULL,  //  256
183 
	0x563C6089140B6990ULL, 0x4C46CB2E391F5DD5ULL,  //  258
184 
	0xD932ADDBC9B79434ULL, 0x08EA70E42015AFF5ULL,  //  260
185 
	0xD765A6673E478CF1ULL, 0xC4FB757EAB278D99ULL,  //  262
186 
	0xDF11C6862D6E0692ULL, 0xDDEB84F10D7F3B16ULL,  //  264
187 
	0x6F2EF604A665EA04ULL, 0x4A8E0F0FF0E0DFB3ULL,  //  266
188 
	0xA5EDEEF83DBCBA51ULL, 0xFC4F0A2A0EA4371EULL,  //  268
189 
	0xE83E1DA85CB38429ULL, 0xDC8FF882BA1B1CE2ULL,  //  270
190 
	0xCD45505E8353E80DULL, 0x18D19A00D4DB0717ULL,  //  272
191 
	0x34A0CFEDA5F38101ULL, 0x0BE77E518887CAF2ULL,  //  274
192 
	0x1E341438B3C45136ULL, 0xE05797F49089CCF9ULL,  //  276
193 
	0xFFD23F9DF2591D14ULL, 0x543DDA228595C5CDULL,  //  278
194 
	0x661F81FD99052A33ULL, 0x8736E641DB0F7B76ULL,  //  280
195 
	0x15227725418E5307ULL, 0xE25F7F46162EB2FAULL,  //  282
196 
	0x48A8B2126C13D9FEULL, 0xAFDC541792E76EEAULL,  //  284
197 
	0x03D912BFC6D1898FULL, 0x31B1AAFA1B83F51BULL,  //  286
198 
	0xF1AC2796E42AB7D9ULL, 0x40A3A7D7FCD2EBACULL,  //  288
199 
	0x1056136D0AFBBCC5ULL, 0x7889E1DD9A6D0C85ULL,  //  290
200 
	0xD33525782A7974AAULL, 0xA7E25D09078AC09BULL,  //  292
201 
	0xBD4138B3EAC6EDD0ULL, 0x920ABFBE71EB9E70ULL,  //  294
202 
	0xA2A5D0F54FC2625CULL, 0xC054E36B0B1290A3ULL,  //  296
203 
	0xF6DD59FF62FE932BULL, 0x3537354511A8AC7DULL,  //  298
204 
	0xCA845E9172FADCD4ULL, 0x84F82B60329D20DCULL,  //  300
205 
	0x79C62CE1CD672F18ULL, 0x8B09A2ADD124642CULL,  //  302
206 
	0xD0C1E96A19D9E726ULL, 0x5A786A9B4BA9500CULL,  //  304
207 
	0x0E020336634C43F3ULL, 0xC17B474AEB66D822ULL,  //  306
208 
	0x6A731AE3EC9BAAC2ULL, 0x8226667AE0840258ULL,  //  308
209 
	0x67D4567691CAECA5ULL, 0x1D94155C4875ADB5ULL,  //  310
210 
	0x6D00FD985B813FDFULL, 0x51286EFCB774CD06ULL,  //  312
211 
	0x5E8834471FA744AFULL, 0xF72CA0AEE761AE2EULL,  //  314
212 
	0xBE40E4CDAEE8E09AULL, 0xE9970BBB5118F665ULL,  //  316
213 
	0x726E4BEB33DF1964ULL, 0x703B000729199762ULL,  //  318
214 
	0x4631D816F5EF30A7ULL, 0xB880B5B51504A6BEULL,  //  320
215 
	0x641793C37ED84B6CULL, 0x7B21ED77F6E97D96ULL,  //  322
216 
	0x776306312EF96B73ULL, 0xAE528948E86FF3F4ULL,  //  324
217 
	0x53DBD7F286A3F8F8ULL, 0x16CADCE74CFC1063ULL,  //  326
218 
	0x005C19BDFA52C6DDULL, 0x68868F5D64D46AD3ULL,  //  328
219 
	0x3A9D512CCF1E186AULL, 0x367E62C2385660AEULL,  //  330
220 
	0xE359E7EA77DCB1D7ULL, 0x526C0773749ABE6EULL,  //  332
221 
	0x735AE5F9D09F734BULL, 0x493FC7CC8A558BA8ULL,  //  334
222 
	0xB0B9C1533041AB45ULL, 0x321958BA470A59BDULL,  //  336
223 
	0x852DB00B5F46C393ULL, 0x91209B2BD336B0E5ULL,  //  338
224 
	0x6E604F7D659EF19FULL, 0xB99A8AE2782CCB24ULL,  //  340
225 
	0xCCF52AB6C814C4C7ULL, 0x4727D9AFBE11727BULL,  //  342
226 
	0x7E950D0C0121B34DULL, 0x756F435670AD471FULL,  //  344
227 
	0xF5ADD442615A6849ULL, 0x4E87E09980B9957AULL,  //  346
228 
	0x2ACFA1DF50AEE355ULL, 0xD898263AFD2FD556ULL,  //  348
229 
	0xC8F4924DD80C8FD6ULL, 0xCF99CA3D754A173AULL,  //  350
230 
	0xFE477BACAF91BF3CULL, 0xED5371F6D690C12DULL,  //  352
231 
	0x831A5C285E687094ULL, 0xC5D3C90A3708A0A4ULL,  //  354
232 
	0x0F7F903717D06580ULL, 0x19F9BB13B8FDF27FULL,  //  356
233 
	0xB1BD6F1B4D502843ULL, 0x1C761BA38FFF4012ULL,  //  358
234 
	0x0D1530C4E2E21F3BULL, 0x8943CE69A7372C8AULL,  //  360
235 
	0xE5184E11FEB5CE66ULL, 0x618BDB80BD736621ULL,  //  362
236 
	0x7D29BAD68B574D0BULL, 0x81BB613E25E6FE5BULL,  //  364
237 
	0x071C9C10BC07913FULL, 0xC7BEEB7909AC2D97ULL,  //  366
238 
	0xC3E58D353BC5D757ULL, 0xEB017892F38F61E8ULL,  //  368
239 
	0xD4EFFB9C9B1CC21AULL, 0x99727D26F494F7ABULL,  //  370
240 
	0xA3E063A2956B3E03ULL, 0x9D4A8B9A4AA09C30ULL,  //  372
241 
	0x3F6AB7D500090FB4ULL, 0x9CC0F2A057268AC0ULL,  //  374
242 
	0x3DEE9D2DEDBF42D1ULL, 0x330F49C87960A972ULL,  //  376
243 
	0xC6B2720287421B41ULL, 0x0AC59EC07C00369CULL,  //  378
244 
	0xEF4EAC49CB353425ULL, 0xF450244EEF0129D8ULL,  //  380
245 
	0x8ACC46E5CAF4DEB6ULL, 0x2FFEAB63989263F7ULL,  //  382
246 
	0x8F7CB9FE5D7A4578ULL, 0x5BD8F7644E634635ULL,  //  384
247 
	0x427A7315BF2DC900ULL, 0x17D0C4AA2125261CULL,  //  386
248 
	0x3992486C93518E50ULL, 0xB4CBFEE0A2D7D4C3ULL,  //  388
249 
	0x7C75D6202C5DDD8DULL, 0xDBC295D8E35B6C61ULL,  //  390
250 
	0x60B369D302032B19ULL, 0xCE42685FDCE44132ULL,  //  392
251 
	0x06F3DDB9DDF65610ULL, 0x8EA4D21DB5E148F0ULL,  //  394
252 
	0x20B0FCE62FCD496FULL, 0x2C1B912358B0EE31ULL,  //  396
253 
	0xB28317B818F5A308ULL, 0xA89C1E189CA6D2CFULL,  //  398
254 
	0x0C6B18576AAADBC8ULL, 0xB65DEAA91299FAE3ULL,  //  400
255 
	0xFB2B794B7F1027E7ULL, 0x04E4317F443B5BEBULL,  //  402
256 
	0x4B852D325939D0A6ULL, 0xD5AE6BEEFB207FFCULL,  //  404
257 
	0x309682B281C7D374ULL, 0xBAE309A194C3B475ULL,  //  406
258 
	0x8CC3F97B13B49F05ULL, 0x98A9422FF8293967ULL,  //  408
259 
	0x244B16B01076FF7CULL, 0xF8BF571C663D67EEULL,  //  410
260 
	0x1F0D6758EEE30DA1ULL, 0xC9B611D97ADEB9B7ULL,  //  412
261 
	0xB7AFD5887B6C57A2ULL, 0x6290AE846B984FE1ULL,  //  414
262 
	0x94DF4CDEACC1A5FDULL, 0x058A5BD1C5483AFFULL,  //  416
263 
	0x63166CC142BA3C37ULL, 0x8DB8526EB2F76F40ULL,  //  418
264 
	0xE10880036F0D6D4EULL, 0x9E0523C9971D311DULL,  //  420
265 
	0x45EC2824CC7CD691ULL, 0x575B8359E62382C9ULL,  //  422
266 
	0xFA9E400DC4889995ULL, 0xD1823ECB45721568ULL,  //  424
267 
	0xDAFD983B8206082FULL, 0xAA7D29082386A8CBULL,  //  426
268 
	0x269FCD4403B87588ULL, 0x1B91F5F728BDD1E0ULL,  //  428
269 
	0xE4669F39040201F6ULL, 0x7A1D7C218CF04ADEULL,  //  430
270 
	0x65623C29D79CE5CEULL, 0x2368449096C00BB1ULL,  //  432
271 
	0xAB9BF1879DA503BAULL, 0xBC23ECB1A458058EULL,  //  434
272 
	0x9A58DF01BB401ECCULL, 0xA070E868A85F143DULL,  //  436
273 
	0x4FF188307DF2239EULL, 0x14D565B41A641183ULL,  //  438
274 
	0xEE13337452701602ULL, 0x950E3DCF3F285E09ULL,  //  440
275 
	0x59930254B9C80953ULL, 0x3BF299408930DA6DULL,  //  442
276 
	0xA955943F53691387ULL, 0xA15EDECAA9CB8784ULL,  //  444
277 
	0x29142127352BE9A0ULL, 0x76F0371FFF4E7AFBULL,  //  446
278 
	0x0239F450274F2228ULL, 0xBB073AF01D5E868BULL,  //  448
279 
	0xBFC80571C10E96C1ULL, 0xD267088568222E23ULL,  //  450
280 
	0x9671A3D48E80B5B0ULL, 0x55B5D38AE193BB81ULL,  //  452
281 
	0x693AE2D0A18B04B8ULL, 0x5C48B4ECADD5335FULL,  //  454
282 
	0xFD743B194916A1CAULL, 0x2577018134BE98C4ULL,  //  456
283 
	0xE77987E83C54A4ADULL, 0x28E11014DA33E1B9ULL,  //  458
284 
	0x270CC59E226AA213ULL, 0x71495F756D1A5F60ULL,  //  460
285 
	0x9BE853FB60AFEF77ULL, 0xADC786A7F7443DBFULL,  //  462
286 
	0x0904456173B29A82ULL, 0x58BC7A66C232BD5EULL,  //  464
287 
	0xF306558C673AC8B2ULL, 0x41F639C6B6C9772AULL,  //  466
288 
	0x216DEFE99FDA35DAULL, 0x11640CC71C7BE615ULL,  //  468
289 
	0x93C43694565C5527ULL, 0xEA038E6246777839ULL,  //  470
290 
	0xF9ABF3CE5A3E2469ULL, 0x741E768D0FD312D2ULL,  //  472
291 
	0x0144B883CED652C6ULL, 0xC20B5A5BA33F8552ULL,  //  474
292 
	0x1AE69633C3435A9DULL, 0x97A28CA4088CFDECULL,  //  476
293 
	0x8824A43C1E96F420ULL, 0x37612FA66EEEA746ULL,  //  478
294 
	0x6B4CB165F9CF0E5AULL, 0x43AA1C06A0ABFB4AULL,  //  480
295 
	0x7F4DC26FF162796BULL, 0x6CBACC8E54ED9B0FULL,  //  482
296 
	0xA6B7FFEFD2BB253EULL, 0x2E25BC95B0A29D4FULL,  //  484
297 
	0x86D6A58BDEF1388CULL, 0xDED74AC576B6F054ULL,  //  486
298 
	0x8030BDBC2B45805DULL, 0x3C81AF70E94D9289ULL,  //  488
299 
	0x3EFF6DDA9E3100DBULL, 0xB38DC39FDFCC8847ULL,  //  490
300 
	0x123885528D17B87EULL, 0xF2DA0ED240B1B642ULL,  //  492
301 
	0x44CEFADCD54BF9A9ULL, 0x1312200E433C7EE6ULL,  //  494
302 
	0x9FFCC84F3A78C748ULL, 0xF0CD1F72248576BBULL,  //  496
303 
	0xEC6974053638CFE4ULL, 0x2BA7B67C0CEC4E4CULL,  //  498
304 
	0xAC2F4DF3E5CE32EDULL, 0xCB33D14326EA4C11ULL,  //  500
305 
	0xA4E9044CC77E58BCULL, 0x5F513293D934FCEFULL,  //  502
306 
	0x5DC9645506E55444ULL, 0x50DE418F317DE40AULL,  //  504
307 
	0x388CB31A69DDE259ULL, 0x2DB4A83455820A86ULL,  //  506
308 
	0x9010A91E84711AE9ULL, 0x4DF7F0B7B1498371ULL,  //  508
309 
	0xD62A2EABC0977179ULL, 0x22FAC097AA8D5C0EULL,  //  510
310 
	0xF49FCC2FF1DAF39BULL, 0x487FD5C66FF29281ULL,  //  512
311 
	0xE8A30667FCDCA83FULL, 0x2C9B4BE3D2FCCE63ULL,  //  514
312 
	0xDA3FF74B93FBBBC2ULL, 0x2FA165D2FE70BA66ULL,  //  516
313 
	0xA103E279970E93D4ULL, 0xBECDEC77B0E45E71ULL,  //  518
314 
	0xCFB41E723985E497ULL, 0xB70AAA025EF75017ULL,  //  520
315 
	0xD42309F03840B8E0ULL, 0x8EFC1AD035898579ULL,  //  522
316 
	0x96C6920BE2B2ABC5ULL, 0x66AF4163375A9172ULL,  //  524
317 
	0x2174ABDCCA7127FBULL, 0xB33CCEA64A72FF41ULL,  //  526
318 
	0xF04A4933083066A5ULL, 0x8D970ACDD7289AF5ULL,  //  528
319 
	0x8F96E8E031C8C25EULL, 0xF3FEC02276875D47ULL,  //  530
320 
	0xEC7BF310056190DDULL, 0xF5ADB0AEBB0F1491ULL,  //  532
321 
	0x9B50F8850FD58892ULL, 0x4975488358B74DE8ULL,  //  534
322 
	0xA3354FF691531C61ULL, 0x0702BBE481D2C6EEULL,  //  536
323 
	0x89FB24057DEDED98ULL, 0xAC3075138596E902ULL,  //  538
324 
	0x1D2D3580172772EDULL, 0xEB738FC28E6BC30DULL,  //  540
325 
	0x5854EF8F63044326ULL, 0x9E5C52325ADD3BBEULL,  //  542
326 
	0x90AA53CF325C4623ULL, 0xC1D24D51349DD067ULL,  //  544
327 
	0x2051CFEEA69EA624ULL, 0x13220F0A862E7E4FULL,  //  546
328 
	0xCE39399404E04864ULL, 0xD9C42CA47086FCB7ULL,  //  548
329 
	0x685AD2238A03E7CCULL, 0x066484B2AB2FF1DBULL,  //  550
330 
	0xFE9D5D70EFBF79ECULL, 0x5B13B9DD9C481854ULL,  //  552
331 
	0x15F0D475ED1509ADULL, 0x0BEBCD060EC79851ULL,  //  554
332 
	0xD58C6791183AB7F8ULL, 0xD1187C5052F3EEE4ULL,  //  556
333 
	0xC95D1192E54E82FFULL, 0x86EEA14CB9AC6CA2ULL,  //  558
334 
	0x3485BEB153677D5DULL, 0xDD191D781F8C492AULL,  //  560
335 
	0xF60866BAA784EBF9ULL, 0x518F643BA2D08C74ULL,  //  562
336 
	0x8852E956E1087C22ULL, 0xA768CB8DC410AE8DULL,  //  564
337 
	0x38047726BFEC8E1AULL, 0xA67738B4CD3B45AAULL,  //  566
338 
	0xAD16691CEC0DDE19ULL, 0xC6D4319380462E07ULL,  //  568
339 
	0xC5A5876D0BA61938ULL, 0x16B9FA1FA58FD840ULL,  //  570
340 
	0x188AB1173CA74F18ULL, 0xABDA2F98C99C021FULL,  //  572
341 
	0x3E0580AB134AE816ULL, 0x5F3B05B773645ABBULL,  //  574
342 
	0x2501A2BE5575F2F6ULL, 0x1B2F74004E7E8BA9ULL,  //  576
343 
	0x1CD7580371E8D953ULL, 0x7F6ED89562764E30ULL,  //  578
344 
	0xB15926FF596F003DULL, 0x9F65293DA8C5D6B9ULL,  //  580
345 
	0x6ECEF04DD690F84CULL, 0x4782275FFF33AF88ULL,  //  582
346 
	0xE41433083F820801ULL, 0xFD0DFE409A1AF9B5ULL,  //  584
347 
	0x4325A3342CDB396BULL, 0x8AE77E62B301B252ULL,  //  586
348 
	0xC36F9E9F6655615AULL, 0x85455A2D92D32C09ULL,  //  588
349 
	0xF2C7DEA949477485ULL, 0x63CFB4C133A39EBAULL,  //  590
350 
	0x83B040CC6EBC5462ULL, 0x3B9454C8FDB326B0ULL,  //  592
351 
	0x56F56A9E87FFD78CULL, 0x2DC2940D99F42BC6ULL,  //  594
352 
	0x98F7DF096B096E2DULL, 0x19A6E01E3AD852BFULL,  //  596
353 
	0x42A99CCBDBD4B40BULL, 0xA59998AF45E9C559ULL,  //  598
354 
	0x366295E807D93186ULL, 0x6B48181BFAA1F773ULL,  //  600
355 
	0x1FEC57E2157A0A1DULL, 0x4667446AF6201AD5ULL,  //  602
356 
	0xE615EBCACFB0F075ULL, 0xB8F31F4F68290778ULL,  //  604
357 
	0x22713ED6CE22D11EULL, 0x3057C1A72EC3C93BULL,  //  606
358 
	0xCB46ACC37C3F1F2FULL, 0xDBB893FD02AAF50EULL,  //  608
359 
	0x331FD92E600B9FCFULL, 0xA498F96148EA3AD6ULL,  //  610
360 
	0xA8D8426E8B6A83EAULL, 0xA089B274B7735CDCULL,  //  612
361 
	0x87F6B3731E524A11ULL, 0x118808E5CBC96749ULL,  //  614
362 
	0x9906E4C7B19BD394ULL, 0xAFED7F7E9B24A20CULL,  //  616
363 
	0x6509EADEEB3644A7ULL, 0x6C1EF1D3E8EF0EDEULL,  //  618
364 
	0xB9C97D43E9798FB4ULL, 0xA2F2D784740C28A3ULL,  //  620
365 
	0x7B8496476197566FULL, 0x7A5BE3E6B65F069DULL,  //  622
366 
	0xF96330ED78BE6F10ULL, 0xEEE60DE77A076A15ULL,  //  624
367 
	0x2B4BEE4AA08B9BD0ULL, 0x6A56A63EC7B8894EULL,  //  626
368 
	0x02121359BA34FEF4ULL, 0x4CBF99F8283703FCULL,  //  628
369 
	0x398071350CAF30C8ULL, 0xD0A77A89F017687AULL,  //  630
370 
	0xF1C1A9EB9E423569ULL, 0x8C7976282DEE8199ULL,  //  632
371 
	0x5D1737A5DD1F7ABDULL, 0x4F53433C09A9FA80ULL,  //  634
372 
	0xFA8B0C53DF7CA1D9ULL, 0x3FD9DCBC886CCB77ULL,  //  636
373 
	0xC040917CA91B4720ULL, 0x7DD00142F9D1DCDFULL,  //  638
374 
	0x8476FC1D4F387B58ULL, 0x23F8E7C5F3316503ULL,  //  640
375 
	0x032A2244E7E37339ULL, 0x5C87A5D750F5A74BULL,  //  642
376 
	0x082B4CC43698992EULL, 0xDF917BECB858F63CULL,  //  644
377 
	0x3270B8FC5BF86DDAULL, 0x10AE72BB29B5DD76ULL,  //  646
378 
	0x576AC94E7700362BULL, 0x1AD112DAC61EFB8FULL,  //  648
379 
	0x691BC30EC5FAA427ULL, 0xFF246311CC327143ULL,  //  650
380 
	0x3142368E30E53206ULL, 0x71380E31E02CA396ULL,  //  652
381 
	0x958D5C960AAD76F1ULL, 0xF8D6F430C16DA536ULL,  //  654
382 
	0xC8FFD13F1BE7E1D2ULL, 0x7578AE66004DDBE1ULL,  //  656
383 
	0x05833F01067BE646ULL, 0xBB34B5AD3BFE586DULL,  //  658
384 
	0x095F34C9A12B97F0ULL, 0x247AB64525D60CA8ULL,  //  660
385 
	0xDCDBC6F3017477D1ULL, 0x4A2E14D4DECAD24DULL,  //  662
386 
	0xBDB5E6D9BE0A1EEBULL, 0x2A7E70F7794301ABULL,  //  664
387 
	0xDEF42D8A270540FDULL, 0x01078EC0A34C22C1ULL,  //  666
388 
	0xE5DE511AF4C16387ULL, 0x7EBB3A52BD9A330AULL,  //  668
389 
	0x77697857AA7D6435ULL, 0x004E831603AE4C32ULL,  //  670
390 
	0xE7A21020AD78E312ULL, 0x9D41A70C6AB420F2ULL,  //  672
391 
	0x28E06C18EA1141E6ULL, 0xD2B28CBD984F6B28ULL,  //  674
392 
	0x26B75F6C446E9D83ULL, 0xBA47568C4D418D7FULL,  //  676
393 
	0xD80BADBFE6183D8EULL, 0x0E206D7F5F166044ULL,  //  678
394 
	0xE258A43911CBCA3EULL, 0x723A1746B21DC0BCULL,  //  680
395 
	0xC7CAA854F5D7CDD3ULL, 0x7CAC32883D261D9CULL,  //  682
396 
	0x7690C26423BA942CULL, 0x17E55524478042B8ULL,  //  684
397 
	0xE0BE477656A2389FULL, 0x4D289B5E67AB2DA0ULL,  //  686
398 
	0x44862B9C8FBBFD31ULL, 0xB47CC8049D141365ULL,  //  688
399 
	0x822C1B362B91C793ULL, 0x4EB14655FB13DFD8ULL,  //  690
400 
	0x1ECBBA0714E2A97BULL, 0x6143459D5CDE5F14ULL,  //  692
401 
	0x53A8FBF1D5F0AC89ULL, 0x97EA04D81C5E5B00ULL,  //  694
402 
	0x622181A8D4FDB3F3ULL, 0xE9BCD341572A1208ULL,  //  696
403 
	0x1411258643CCE58AULL, 0x9144C5FEA4C6E0A4ULL,  //  698
404 
	0x0D33D06565CF620FULL, 0x54A48D489F219CA1ULL,  //  700
405 
	0xC43E5EAC6D63C821ULL, 0xA9728B3A72770DAFULL,  //  702
406 
	0xD7934E7B20DF87EFULL, 0xE35503B61A3E86E5ULL,  //  704
407 
	0xCAE321FBC819D504ULL, 0x129A50B3AC60BFA6ULL,  //  706
408 
	0xCD5E68EA7E9FB6C3ULL, 0xB01C90199483B1C7ULL,  //  708
409 
	0x3DE93CD5C295376CULL, 0xAED52EDF2AB9AD13ULL,  //  710
410 
	0x2E60F512C0A07884ULL, 0xBC3D86A3E36210C9ULL,  //  712
411 
	0x35269D9B163951CEULL, 0x0C7D6E2AD0CDB5FAULL,  //  714
412 
	0x59E86297D87F5733ULL, 0x298EF221898DB0E7ULL,  //  716
413 
	0x55000029D1A5AA7EULL, 0x8BC08AE1B5061B45ULL,  //  718
414 
	0xC2C31C2B6C92703AULL, 0x94CC596BAF25EF42ULL,  //  720
415 
	0x0A1D73DB22540456ULL, 0x04B6A0F9D9C4179AULL,  //  722
416 
	0xEFFDAFA2AE3D3C60ULL, 0xF7C8075BB49496C4ULL,  //  724
417 
	0x9CC5C7141D1CD4E3ULL, 0x78BD1638218E5534ULL,  //  726
418 
	0xB2F11568F850246AULL, 0xEDFABCFA9502BC29ULL,  //  728
419 
	0x796CE5F2DA23051BULL, 0xAAE128B0DC93537CULL,  //  730
420 
	0x3A493DA0EE4B29AEULL, 0xB5DF6B2C416895D7ULL,  //  732
421 
	0xFCABBD25122D7F37ULL, 0x70810B58105DC4B1ULL,  //  734
422 
	0xE10FDD37F7882A90ULL, 0x524DCAB5518A3F5CULL,  //  736
423 
	0x3C9E85878451255BULL, 0x4029828119BD34E2ULL,  //  738
424 
	0x74A05B6F5D3CECCBULL, 0xB610021542E13ECAULL,  //  740
425 
	0x0FF979D12F59E2ACULL, 0x6037DA27E4F9CC50ULL,  //  742
426 
	0x5E92975A0DF1847DULL, 0xD66DE190D3E623FEULL,  //  744
427 
	0x5032D6B87B568048ULL, 0x9A36B7CE8235216EULL,  //  746
428 
	0x80272A7A24F64B4AULL, 0x93EFED8B8C6916F7ULL,  //  748
429 
	0x37DDBFF44CCE1555ULL, 0x4B95DB5D4B99BD25ULL,  //  750
430 
	0x92D3FDA169812FC0ULL, 0xFB1A4A9A90660BB6ULL,  //  752
431 
	0x730C196946A4B9B2ULL, 0x81E289AA7F49DA68ULL,  //  754
432 
	0x64669A0F83B1A05FULL, 0x27B3FF7D9644F48BULL,  //  756
433 
	0xCC6B615C8DB675B3ULL, 0x674F20B9BCEBBE95ULL,  //  758
434 
	0x6F31238275655982ULL, 0x5AE488713E45CF05ULL,  //  760
435 
	0xBF619F9954C21157ULL, 0xEABAC46040A8EAE9ULL,  //  762
436 
	0x454C6FE9F2C0C1CDULL, 0x419CF6496412691CULL,  //  764
437 
	0xD3DC3BEF265B0F70ULL, 0x6D0E60F5C3578A9EULL,  //  766
438 
	0x5B0E608526323C55ULL, 0x1A46C1A9FA1B59F5ULL,  //  768
439 
	0xA9E245A17C4C8FFAULL, 0x65CA5159DB2955D7ULL,  //  770
440 
	0x05DB0A76CE35AFC2ULL, 0x81EAC77EA9113D45ULL,  //  772
441 
	0x528EF88AB6AC0A0DULL, 0xA09EA253597BE3FFULL,  //  774
442 
	0x430DDFB3AC48CD56ULL, 0xC4B3A67AF45CE46FULL,  //  776
443 
	0x4ECECFD8FBE2D05EULL, 0x3EF56F10B39935F0ULL,  //  778
444 
	0x0B22D6829CD619C6ULL, 0x17FD460A74DF2069ULL,  //  780
445 
	0x6CF8CC8E8510ED40ULL, 0xD6C824BF3A6ECAA7ULL,  //  782
446 
	0x61243D581A817049ULL, 0x048BACB6BBC163A2ULL,  //  784
447 
	0xD9A38AC27D44CC32ULL, 0x7FDDFF5BAAF410ABULL,  //  786
448 
	0xAD6D495AA804824BULL, 0xE1A6A74F2D8C9F94ULL,  //  788
449 
	0xD4F7851235DEE8E3ULL, 0xFD4B7F886540D893ULL,  //  790
450 
	0x247C20042AA4BFDAULL, 0x096EA1C517D1327CULL,  //  792
451 
	0xD56966B4361A6685ULL, 0x277DA5C31221057DULL,  //  794
452 
	0x94D59893A43ACFF7ULL, 0x64F0C51CCDC02281ULL,  //  796
453 
	0x3D33BCC4FF6189DBULL, 0xE005CB184CE66AF1ULL,  //  798
454 
	0xFF5CCD1D1DB99BEAULL, 0xB0B854A7FE42980FULL,  //  800
455 
	0x7BD46A6A718D4B9FULL, 0xD10FA8CC22A5FD8CULL,  //  802
456 
	0xD31484952BE4BD31ULL, 0xC7FA975FCB243847ULL,  //  804
457 
	0x4886ED1E5846C407ULL, 0x28CDDB791EB70B04ULL,  //  806
458 
	0xC2B00BE2F573417FULL, 0x5C9590452180F877ULL,  //  808
459 
	0x7A6BDDFFF370EB00ULL, 0xCE509E38D6D9D6A4ULL,  //  810
460 
	0xEBEB0F00647FA702ULL, 0x1DCC06CF76606F06ULL,  //  812
461 
	0xE4D9F28BA286FF0AULL, 0xD85A305DC918C262ULL,  //  814
462 
	0x475B1D8732225F54ULL, 0x2D4FB51668CCB5FEULL,  //  816
463 
	0xA679B9D9D72BBA20ULL, 0x53841C0D912D43A5ULL,  //  818
464 
	0x3B7EAA48BF12A4E8ULL, 0x781E0E47F22F1DDFULL,  //  820
465 
	0xEFF20CE60AB50973ULL, 0x20D261D19DFFB742ULL,  //  822
466 
	0x16A12B03062A2E39ULL, 0x1960EB2239650495ULL,  //  824
467 
	0x251C16FED50EB8B8ULL, 0x9AC0C330F826016EULL,  //  826
468 
	0xED152665953E7671ULL, 0x02D63194A6369570ULL,  //  828
469 
	0x5074F08394B1C987ULL, 0x70BA598C90B25CE1ULL,  //  830
470 
	0x794A15810B9742F6ULL, 0x0D5925E9FCAF8C6CULL,  //  832
471 
	0x3067716CD868744EULL, 0x910AB077E8D7731BULL,  //  834
472 
	0x6A61BBDB5AC42F61ULL, 0x93513EFBF0851567ULL,  //  836
473 
	0xF494724B9E83E9D5ULL, 0xE887E1985C09648DULL,  //  838
474 
	0x34B1D3C675370CFDULL, 0xDC35E433BC0D255DULL,  //  840
475 
	0xD0AAB84234131BE0ULL, 0x08042A50B48B7EAFULL,  //  842
476 
	0x9997C4EE44A3AB35ULL, 0x829A7B49201799D0ULL,  //  844
477 
	0x263B8307B7C54441ULL, 0x752F95F4FD6A6CA6ULL,  //  846
478 
	0x927217402C08C6E5ULL, 0x2A8AB754A795D9EEULL,  //  848
479 
	0xA442F7552F72943DULL, 0x2C31334E19781208ULL,  //  850
480 
	0x4FA98D7CEAEE6291ULL, 0x55C3862F665DB309ULL,  //  852
481 
	0xBD0610175D53B1F3ULL, 0x46FE6CB840413F27ULL,  //  854
482 
	0x3FE03792DF0CFA59ULL, 0xCFE700372EB85E8FULL,  //  856
483 
	0xA7BE29E7ADBCE118ULL, 0xE544EE5CDE8431DDULL,  //  858
484 
	0x8A781B1B41F1873EULL, 0xA5C94C78A0D2F0E7ULL,  //  860
485 
	0x39412E2877B60728ULL, 0xA1265EF3AFC9A62CULL,  //  862
486 
	0xBCC2770C6A2506C5ULL, 0x3AB66DD5DCE1CE12ULL,  //  864
487 
	0xE65499D04A675B37ULL, 0x7D8F523481BFD216ULL,  //  866
488 
	0x0F6F64FCEC15F389ULL, 0x74EFBE618B5B13C8ULL,  //  868
489 
	0xACDC82B714273E1DULL, 0xDD40BFE003199D17ULL,  //  870
490 
	0x37E99257E7E061F8ULL, 0xFA52626904775AAAULL,  //  872
491 
	0x8BBBF63A463D56F9ULL, 0xF0013F1543A26E64ULL,  //  874
492 
	0xA8307E9F879EC898ULL, 0xCC4C27A4150177CCULL,  //  876
493 
	0x1B432F2CCA1D3348ULL, 0xDE1D1F8F9F6FA013ULL,  //  878
494 
	0x606602A047A7DDD6ULL, 0xD237AB64CC1CB2C7ULL,  //  880
495 
	0x9B938E7225FCD1D3ULL, 0xEC4E03708E0FF476ULL,  //  882
496 
	0xFEB2FBDA3D03C12DULL, 0xAE0BCED2EE43889AULL,  //  884
497 
	0x22CB8923EBFB4F43ULL, 0x69360D013CF7396DULL,  //  886
498 
	0x855E3602D2D4E022ULL, 0x073805BAD01F784CULL,  //  888
499 
	0x33E17A133852F546ULL, 0xDF4874058AC7B638ULL,  //  890
500 
	0xBA92B29C678AA14AULL, 0x0CE89FC76CFAADCDULL,  //  892
501 
	0x5F9D4E0908339E34ULL, 0xF1AFE9291F5923B9ULL,  //  894
502 
	0x6E3480F60F4A265FULL, 0xEEBF3A2AB29B841CULL,  //  896
503 
	0xE21938A88F91B4ADULL, 0x57DFEFF845C6D3C3ULL,  //  898
504 
	0x2F006B0BF62CAAF2ULL, 0x62F479EF6F75EE78ULL,  //  900
505 
	0x11A55AD41C8916A9ULL, 0xF229D29084FED453ULL,  //  902
506 
	0x42F1C27B16B000E6ULL, 0x2B1F76749823C074ULL,  //  904
507 
	0x4B76ECA3C2745360ULL, 0x8C98F463B91691BDULL,  //  906
508 
	0x14BCC93CF1ADE66AULL, 0x8885213E6D458397ULL,  //  908
509 
	0x8E177DF0274D4711ULL, 0xB49B73B5503F2951ULL,  //  910
510 
	0x10168168C3F96B6BULL, 0x0E3D963B63CAB0AEULL,  //  912
511 
	0x8DFC4B5655A1DB14ULL, 0xF789F1356E14DE5CULL,  //  914
512 
	0x683E68AF4E51DAC1ULL, 0xC9A84F9D8D4B0FD9ULL,  //  916
513 
	0x3691E03F52A0F9D1ULL, 0x5ED86E46E1878E80ULL,  //  918
514 
	0x3C711A0E99D07150ULL, 0x5A0865B20C4E9310ULL,  //  920
515 
	0x56FBFC1FE4F0682EULL, 0xEA8D5DE3105EDF9BULL,  //  922
516 
	0x71ABFDB12379187AULL, 0x2EB99DE1BEE77B9CULL,  //  924
517 
	0x21ECC0EA33CF4523ULL, 0x59A4D7521805C7A1ULL,  //  926
518 
	0x3896F5EB56AE7C72ULL, 0xAA638F3DB18F75DCULL,  //  928
519 
	0x9F39358DABE9808EULL, 0xB7DEFA91C00B72ACULL,  //  930
520 
	0x6B5541FD62492D92ULL, 0x6DC6DEE8F92E4D5BULL,  //  932
521 
	0x353F57ABC4BEEA7EULL, 0x735769D6DA5690CEULL,  //  934
522 
	0x0A234AA642391484ULL, 0xF6F9508028F80D9DULL,  //  936
523 
	0xB8E319A27AB3F215ULL, 0x31AD9C1151341A4DULL,  //  938
524 
	0x773C22A57BEF5805ULL, 0x45C7561A07968633ULL,  //  940
525 
	0xF913DA9E249DBE36ULL, 0xDA652D9B78A64C68ULL,  //  942
526 
	0x4C27A97F3BC334EFULL, 0x76621220E66B17F4ULL,  //  944
527 
	0x967743899ACD7D0BULL, 0xF3EE5BCAE0ED6782ULL,  //  946
528 
	0x409F753600C879FCULL, 0x06D09A39B5926DB6ULL,  //  948
529 
	0x6F83AEB0317AC588ULL, 0x01E6CA4A86381F21ULL,  //  950
530 
	0x66FF3462D19F3025ULL, 0x72207C24DDFD3BFBULL,  //  952
531 
	0x4AF6B6D3E2ECE2EBULL, 0x9C994DBEC7EA08DEULL,  //  954
532 
	0x49ACE597B09A8BC4ULL, 0xB38C4766CF0797BAULL,  //  956
533 
	0x131B9373C57C2A75ULL, 0xB1822CCE61931E58ULL,  //  958
534 
	0x9D7555B909BA1C0CULL, 0x127FAFDD937D11D2ULL,  //  960
535 
	0x29DA3BADC66D92E4ULL, 0xA2C1D57154C2ECBCULL,  //  962
536 
	0x58C5134D82F6FE24ULL, 0x1C3AE3515B62274FULL,  //  964
537 
	0xE907C82E01CB8126ULL, 0xF8ED091913E37FCBULL,  //  966
538 
	0x3249D8F9C80046C9ULL, 0x80CF9BEDE388FB63ULL,  //  968
539 
	0x1881539A116CF19EULL, 0x5103F3F76BD52457ULL,  //  970
540 
	0x15B7E6F5AE47F7A8ULL, 0xDBD7C6DED47E9CCFULL,  //  972
541 
	0x44E55C410228BB1AULL, 0xB647D4255EDB4E99ULL,  //  974
542 
	0x5D11882BB8AAFC30ULL, 0xF5098BBB29D3212AULL,  //  976
543 
	0x8FB5EA14E90296B3ULL, 0x677B942157DD025AULL,  //  978
544 
	0xFB58E7C0A390ACB5ULL, 0x89D3674C83BD4A01ULL,  //  980
545 
	0x9E2DA4DF4BF3B93BULL, 0xFCC41E328CAB4829ULL,  //  982
546 
	0x03F38C96BA582C52ULL, 0xCAD1BDBD7FD85DB2ULL,  //  984
547 
	0xBBB442C16082AE83ULL, 0xB95FE86BA5DA9AB0ULL,  //  986
548 
	0xB22E04673771A93FULL, 0x845358C9493152D8ULL,  //  988
549 
	0xBE2A488697B4541EULL, 0x95A2DC2DD38E6966ULL,  //  990
550 
	0xC02C11AC923C852BULL, 0x2388B1990DF2A87BULL,  //  992
551 
	0x7C8008FA1B4F37BEULL, 0x1F70D0C84D54E503ULL,  //  994
552 
	0x5490ADEC7ECE57D4ULL, 0x002B3C27D9063A3AULL,  //  996
553 
	0x7EAEA3848030A2BFULL, 0xC602326DED2003C0ULL,  //  998
554 
	0x83A7287D69A94086ULL, 0xC57A5FCB30F57A8AULL,  // 1000
555 
	0xB56844E479EBE779ULL, 0xA373B40F05DCBCE9ULL,  // 1002
556 
	0xD71A786E88570EE2ULL, 0x879CBACDBDE8F6A0ULL,  // 1004
557 
	0x976AD1BCC164A32FULL, 0xAB21E25E9666D78BULL,  // 1006
558 
	0x901063AAE5E5C33CULL, 0x9818B34448698D90ULL,  // 1008
559 
	0xE36487AE3E1E8ABBULL, 0xAFBDF931893BDCB4ULL,  // 1010
560 
	0x6345A0DC5FBBD519ULL, 0x8628FE269B9465CAULL,  // 1012
561 
	0x1E5D01603F9C51ECULL, 0x4DE44006A15049B7ULL,  // 1014
562 
	0xBF6C70E5F776CBB1ULL, 0x411218F2EF552BEDULL,  // 1016
563 
	0xCB0C0708705A36A3ULL, 0xE74D14754F986044ULL,  // 1018
564 
	0xCD56D9430EA8280EULL, 0xC12591D7535F5065ULL,  // 1020
565 
	0xC83223F1720AEF96ULL, 0xC3A0396F7363A51FULL,  // 1022
566 
};
567
568 
static constexpr void round(uint64_t& a, uint64_t& b, uint64_t& c, uint64_t x, int mul)
569 
{
570 
	c ^= x;
571 
	a -= table[uint8_t(c >>  0) + 0 * 256] ^
572 
	     table[uint8_t(c >> 16) + 1 * 256] ^
573 
	     table[uint8_t(c >> 32) + 2 * 256] ^
574 
	     table[uint8_t(c >> 48) + 3 * 256];
575 
	b += table[uint8_t(c >>  8) + 3 * 256] ^
576 
	     table[uint8_t(c >> 24) + 2 * 256] ^
577 
	     table[uint8_t(c >> 40) + 1 * 256] ^
578 
	     table[uint8_t(c >> 56) + 0 * 256];
579 
	b *= mul;
580 
}
581
582 
static void tiger_compress(std::span<const uint8_t, 64> input, std::span<uint64_t, 3> state)
583 
{
584 
	uint64_t a = state[0];
585 
	uint64_t b = state[1];
586 
	uint64_t c = state[2];
587
588 
	uint64_t x0 = Endian::read_UA_L64(&input[ 0]);
589 
	uint64_t x1 = Endian::read_UA_L64(&input[ 8]);
590 
	uint64_t x2 = Endian::read_UA_L64(&input[16]);
591 
	uint64_t x3 = Endian::read_UA_L64(&input[24]);
592 
	uint64_t x4 = Endian::read_UA_L64(&input[32]);
593 
	uint64_t x5 = Endian::read_UA_L64(&input[40]);
594 
	uint64_t x6 = Endian::read_UA_L64(&input[48]);
595 
	uint64_t x7 = Endian::read_UA_L64(&input[56]);
596
597 
	uint64_t aa = a;
598 
	uint64_t bb = b;
599 
	uint64_t cc = c;
600
601 
	round(a, b, c, x0, 5);
602 
	round(b, c, a, x1, 5);
603 
	round(c, a, b, x2, 5);
604 
	round(a, b, c, x3, 5);
605 
	round(b, c, a, x4, 5);
606 
	round(c, a, b, x5, 5);
607 
	round(a, b, c, x6, 5);
608 
	round(b, c, a, x7, 5);
609
610 
	x0 -= x7 ^ 0xA5A5A5A5A5A5A5A5LL;
611 
	x1 ^= x0;
612 
	x2 += x1;
613 
	x3 -= x2 ^ ((~x1) << 19);
614 
	x4 ^= x3;
615 
	x5 += x4;
616 
	x6 -= x5 ^ ((~x4) >> 23);
617 
	x7 ^= x6;
618 
	x0 += x7;
619 
	x1 -= x0 ^ ((~x7) << 19);
620 
	x2 ^= x1;
621 
	x3 += x2;
622 
	x4 -= x3 ^ ((~x2) >> 23);
623 
	x5 ^= x4;
624 
	x6 += x5;
625 
	x7 -= x6 ^ 0x0123456789ABCDEFLL;
626
627 
	round(c, a, b, x0, 7);
628 
	round(a, b, c, x1, 7);
629 
	round(b, c, a, x2, 7);
630 
	round(c, a, b, x3, 7);
631 
	round(a, b, c, x4, 7);
632 
	round(b, c, a, x5, 7);
633 
	round(c, a, b, x6, 7);
634 
	round(a, b, c, x7, 7);
635
636 
	x0 -= x7 ^ 0xA5A5A5A5A5A5A5A5LL;
637 
	x1 ^= x0;
638 
	x2 += x1;
639 
	x3 -= x2 ^ ((~x1) << 19);
640 
	x4 ^= x3;
641 
	x5 += x4;
642 
	x6 -= x5 ^ ((~x4) >> 23);
643 
	x7 ^= x6;
644 
	x0 += x7;
645 
	x1 -= x0 ^ ((~x7) << 19);
646 
	x2 ^= x1;
647 
	x3 += x2;
648 
	x4 -= x3 ^ ((~x2) >> 23);
649 
	x5 ^= x4;
650 
	x6 += x5;
651 
	x7 -= x6 ^ 0x0123456789ABCDEFLL;
652
653 
	round(b, c, a, x0, 9);
654 
	round(c, a, b, x1, 9);
655 
	round(a, b, c, x2, 9);
656 
	round(b, c, a, x3, 9);
657 
	round(c, a, b, x4, 9);
658 
	round(a, b, c, x5, 9);
659 
	round(b, c, a, x6, 9);
660 
	round(c, a, b, x7, 9);
661
662 
	state[0] = a ^ aa;
663 
	state[1] = b - bb;
664 
	state[2] = c + cc;
665 
}
666
667 
static constexpr void initState(std::span<uint64_t, 3> state)
668 
{
669 
	state[0] = 0x0123456789ABCDEFULL;
670 
	state[1] = 0xFEDCBA9876543210ULL;
671 
	state[2] = 0xF096A5B4C3B2E187ULL;
672 
}
673 
static inline void returnState(std::span<uint64_t, 3> state)
674 
{
675 
	if constexpr (Endian::BIG) {
676 
		state[0] = std::byteswap(state[0]);
677 
		state[1] = std::byteswap(state[1]);
678 
		state[2] = std::byteswap(state[2]);
679 
	}
680 
}
681
682 
void tiger(std::span<const uint8_t> input, TigerHash& result)
683 
{
684 
	auto fullSize = input.size();
685 
	initState(result.h64);
686
687 
	while (input.size() >= 64) {
688 
		tiger_compress(input.subspan<0, 64>(), result.h64);
689 
		input = input.subspan<64>();
690 
	}
691
692 
	std::array<uint8_t, 64> temp;
693 
	assert(input.size() < 64);
694 
	copy_to_range(input, temp);
695 
	size_t j = input.size();
696 
	temp[j++] = 0x01;
697 
	while (j & 7) { // pad to 8-byte boundary
698 
		temp[j++] = 0;
699 
	}
700 
	if (j == 64) {
701 
		tiger_compress(temp, result.h64);
702 
		j = 0;
703 
	}
704 
	while (j < 56) {
705 
		temp[j++] = 0;
706 
	}
707 
	Endian::write_UA_L64(&temp[56], uint64_t(fullSize) << 3);
708 
	tiger_compress(temp, result.h64);
709
710 
	returnState(result.h64);
711 
}
712
713 
void tiger_int(const TigerHash& h0, const TigerHash& h1, TigerHash& result)
714 
{
715 
	static std::array<uint8_t, 64> buf = {
716 
		0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
717 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
718 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
719 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
720 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
721 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
722 
		0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
723 
		0x88, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
724 
	};
725 
	memcpy(&buf[1],      h0.h64.data(), 24);
726 
	memcpy(&buf[1 + 24], h1.h64.data(), 24);
727
728 
	initState(result.h64);
729 
	tiger_compress(buf, result.h64);
730 
	returnState(result.h64);
731 
}
732
733 
void tiger_leaf(std::span<uint8_t> data, TigerHash& result)
734 
{
735 
	static std::array<uint8_t, 64> last = {
736 
		0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
737 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
738 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
739 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
740 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
741 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
742 
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
743 
		0x08, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
744 
	};
745
746 
	initState(result.h64);
747
748 
	auto* p = data.data();
749 
	auto sa = ScopedAssign(p[-1], uint8_t(0));
750
751 
	std::span<uint8_t> chunks{p - 1, data.size()};
752 
	assert((chunks.size() % 64) == 0);
753 
	while (!chunks.empty()) {
754 
		tiger_compress(chunks.subspan<0, 64>(), result.h64);
755 
		chunks = chunks.subspan<64>();
756 
	}
757
758 
	last[0] = data.back();
759 
	tiger_compress(last, result.h64);
760
761 
	returnState(result.h64);
762 
}
763
764 
} // namespace openmsx