-
Notifications
You must be signed in to change notification settings - Fork 1
/
decaf_combs_64.go
392 lines (380 loc) · 41.5 KB
/
decaf_combs_64.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
package ed448
type nielsTable64 []dword
var decafPrecompTable64 = &decafBaseTable64{}
type dBigNumber [8]dword
type dTwNiels struct {
a, b, c *dBigNumber
}
type decafBaseTable64 struct {
base nielsTable64
scalarAdjustment *scalar
}
func selectMask64(index word, current word) dword {
xor := dword(index) ^ dword(current)
return dword(-(((xor | -xor) >> 63) ^ 1))
}
// This is constant time
func (table *decafBaseTable64) lookup64(index word) *twNiels {
out := &twNiels{
&bigNumber{},
&bigNumber{},
&bigNumber{},
}
var a0, a1, a2, a3, a4, a5, a6, a7, b0, b1, b2, b3, b4, b5, b6, b7, c0, c1, c2, c3, c4, c5, c6, c7 dword
k := index & 0xfffffff0
n := k * 24
for i := k; i < k + 16; i++ {
m := selectMask64(index, word(i))
a0 |= m & table.base[n]
n++
a1 |= m & table.base[n]
n++
a2 |= m & table.base[n]
n++
a3 |= m & table.base[n]
n++
a4 |= m & table.base[n]
n++
a5 |= m & table.base[n]
n++
a6 |= m & table.base[n]
n++
a7 |= m & table.base[n]
n++
b0 |= m & table.base[n]
n++
b1 |= m & table.base[n]
n++
b2 |= m & table.base[n]
n++
b3 |= m & table.base[n]
n++
b4 |= m & table.base[n]
n++
b5 |= m & table.base[n]
n++
b6 |= m & table.base[n]
n++
b7 |= m & table.base[n]
n++
c0 |= m & table.base[n]
n++
c1 |= m & table.base[n]
n++
c2 |= m & table.base[n]
n++
c3 |= m & table.base[n]
n++
c4 |= m & table.base[n]
n++
c5 |= m & table.base[n]
n++
c6 |= m & table.base[n]
n++
c7 |= m & table.base[n]
n++
}
out.a[0] = word(a0 & 0xffffffff)
out.a[1] = word(a0 >> 32)
out.a[2] = word(a1 & 0xffffffff)
out.a[3] = word(a1 >> 32)
out.a[4] = word(a2 & 0xffffffff)
out.a[5] = word(a2 >> 32)
out.a[6] = word(a3 & 0xffffffff)
out.a[7] = word(a3 >> 32)
out.a[8] = word(a4 & 0xffffffff)
out.a[9] = word(a4 >> 32)
out.a[10] = word(a5 & 0xffffffff)
out.a[11] = word(a5 >> 32)
out.a[12] = word(a6 & 0xffffffff)
out.a[13] = word(a6 >> 32)
out.a[14] = word(a7 & 0xffffffff)
out.a[15] = word(a7 >> 32)
out.b[0] = word(b0 & 0xffffffff)
out.b[1] = word(b0 >> 32)
out.b[2] = word(b1 & 0xffffffff)
out.b[3] = word(b1 >> 32)
out.b[4] = word(b2 & 0xffffffff)
out.b[5] = word(b2 >> 32)
out.b[6] = word(b3 & 0xffffffff)
out.b[7] = word(b3 >> 32)
out.b[8] = word(b4 & 0xffffffff)
out.b[9] = word(b4 >> 32)
out.b[10] = word(b5 & 0xffffffff)
out.b[11] = word(b5 >> 32)
out.b[12] = word(b6 & 0xffffffff)
out.b[13] = word(b6 >> 32)
out.b[14] = word(b7 & 0xffffffff)
out.b[15] = word(b7 >> 32)
out.c[0] = word(c0 & 0xffffffff)
out.c[1] = word(c0 >> 32)
out.c[2] = word(c1 & 0xffffffff)
out.c[3] = word(c1 >> 32)
out.c[4] = word(c2 & 0xffffffff)
out.c[5] = word(c2 >> 32)
out.c[6] = word(c3 & 0xffffffff)
out.c[7] = word(c3 >> 32)
out.c[8] = word(c4 & 0xffffffff)
out.c[9] = word(c4 >> 32)
out.c[10] = word(c5 & 0xffffffff)
out.c[11] = word(c5 >> 32)
out.c[12] = word(c6 & 0xffffffff)
out.c[13] = word(c6 >> 32)
out.c[14] = word(c7 & 0xffffffff)
out.c[15] = word(c7 >> 32)
return out
}
func init() {
t := [1920]dword{
0x0e614a9f07278dc5, 0x02e454ad004c5124, 0x0d8f58ce0e1436f3, 0x0c83ed460e4180ec, 0x0a41e932074a38fa, 0x0c1e7e530257771e, 0x043e0ff003c0392f, 0x02c7c64005ce61df,
0x033c4f9d0c990b33, 0x0c291cb10ceb55c3, 0x02ae3f580ade88b2, 0x06b1f9f101395474, 0x02ded6e40b27ff7c, 0x041012ed04aa10e1, 0x03c22d200a36bae7, 0x01f584ee0d472b19,
0x0c35147709ee6f60, 0x01574c8703b20c2b, 0x04cd6a460a5a5e65, 0x059a068a0eb4204a, 0x04c6104508bc354d, 0x0e945674079d02d2, 0x0feaf77e0d118e28, 0x0f58a8bf0115eeb5,
0x0461108708fcb20f, 0x0df43db201cc6f32, 0x0ffdde9f04516644, 0x05199177091686b9, 0x0b72b4410fd34473, 0x08d456840cb1c72b, 0x0151813700fc17a5, 0x0a456d13007f74d3,
0x01430f1409b607dc, 0x0e992ccd016715fc, 0x0a62209b00a32a09, 0x0b889ced0c26b8e4, 0x059bf9a30ac109cf, 0x06871bb30b7feac2, 0x0f4a4d5f0d9a0e6b, 0x0b95db4600cd69a5,
0x0363044108bda702, 0x07bc568601561558, 0x0f344bc80e30416f, 0x0a645370080f59d7, 0x0b4c200707d00ace, 0x0ee796200b26f8cc, 0x0a6a558e00b5403d, 0x08f1d2c7066f3d19,
0x0ef21c02097d3112, 0x073f89bd027c35b1, 0x0ec44f9b01ff5e33, 0x06bee51d0878f1ee, 0x01571a4b02aceddb, 0x0cd0182d055131d1, 0x026761db0c1844be, 0x0f01865a0f716474,
0x021dfef30f5fe8cc, 0x038c659e0d1dbd68, 0x058ded9b0cebe283, 0x0077bbb0094983ee, 0x0b7b484e0913d70c, 0x063e477a09506397, 0x000b996a06e01629, 0x0ab68b410f75cd37,
0x0a1fbd9406403a4e, 0x0be5a4e20d611b05, 0x0ea4f2100888bc6e, 0x043e9b0e00ae50fe, 0x02abc4f60bd86845, 0x0c3ed6490c67f663, 0x0d4eeb3901a520e7, 0x04b19cf10bfe7584,
0x099a75e60f22999e, 0x01f164540c79f659, 0x0d776a370fddc812, 0x095fdd630b6b0a78, 0x0d2321690366e947, 0x02ea77dd021e9de7, 0x0e8c46e805f97a90, 0x03587586051f8cd9,
0x02b6f50306a07bdf, 0x04f6940a0f3e2646, 0x0866028f08986799, 0x0838b26c0cb50415, 0x0105574107f00b11, 0x08a3b6bc0447e96b, 0x03de3d0305e9e0c9, 0x0188fca20b6d4011,
0x01ca40380635312b, 0x078dc75c01e01c44, 0x04340f000b3100a4, 0x05e63e360bf6646e, 0x08e1efd40b624688, 0x0a61c2ff0b1525e1, 0x0725875005a75b81, 0x0a86371400d96e78,
0x04a7c41f0fac8a41, 0x05bf370705b1c20b, 0x0c053b5700a42408, 0x02bb7e2708d328e7, 0x0b2378b603245100, 0x03318bf20a1a368a, 0x0f4e3e0b0dbe02de, 0x058921e40b1e32f8,
0x05e93d6f0a1118a0, 0x062b435105d381e2, 0x02c428640052e620, 0x0af258ba0e6ccbd3, 0x09542470094d654d, 0x05db01f50b010810, 0x09c8cf250efa8204, 0x05f73ced03714ef7,
0x085f89af0f2cf49d, 0x0f591ee80480f6f0, 0x0378ed5108114265, 0x0f04293e02a09008, 0x0c58688d0b9140ed, 0x0e99126906399ff1, 0x055bd1b906367413, 0x023a70cf0830f999,
0x01c837720944584e, 0x0c1ba8810e472bcc, 0x0af2715a00aef13f, 0x0bd0360d025610a6, 0x0c42f8b30eebebde, 0x0a9e4748049788b1, 0x0dcd1a1a02efec5c, 0x09480d340c2818c0,
0x0b4b6e090a565d74, 0x095efcf60175aa48, 0x0498defe07ae7810, 0x0309b6840ed26470, 0x07a8873a091d4e44, 0x0ea4b3f8057eb27a, 0x0979b86109d25a9e, 0x0721a27700eeb6e9,
0x0b422f0f04be195f, 0x0e88cfa803bfa2db, 0x09fd606606ea4268, 0x095a458f05e801d0, 0x0b9eee68082081f6, 0x0b27edb307604948, 0x0a7f67c40d44d8db, 0x0df840cc0f290c01,
0x0c9fed0d047c9103, 0x0ba73ed90294a043, 0x05cbbc9208e652e1, 0x068419e908ee8215, 0x0f63de630786300b, 0x09aa9bb60c19f8aa, 0x066c536b0573213f, 0x0d2b77a50b2f2450,
0x0810236c068d5b74, 0x0d0a1af10872a011, 0x07f23ee209e3801a, 0x09a55a6708f8dba4, 0x065445dc0ff9be40, 0x0f39787809a9abc5, 0x0001f0100d23f5e8, 0x0ff800420934b0c5,
0x0a6749f40b3f9745, 0x03ab85f40180e502, 0x06a7de9b0530ed50, 0x050b53530b0441bf, 0x0a0935830ac6ede4, 0x0c4918ad01406299, 0x00f75cf20a353a2b, 0x01c6644a00683a56,
0x0e86941506c09bfe, 0x0f6f3a5b0d17ad96, 0x098dbed405edad12, 0x0edfe2b804921821, 0x0978843300199b67, 0x04aab026085b3e9e, 0x068ac0bd02453c30, 0x0167c1c10c87d8f5,
0x08bba5fb0f63f599, 0x059a3c9600c7d63f, 0x0ce2db750b08b7d9, 0x097e80cb02104171, 0x09b68be206a140d0, 0x02b9b99504e94c68, 0x0023ca8f0c411beb, 0x0cbc4bcc0cbada07,
0x053c100e077b678d, 0x00f115c4000fa96f, 0x05928d3d0e22afa2, 0x0e47cd9b0dbdbe96, 0x0597ecfe084abf19, 0x058bb4280e4c7a32, 0x0dd582f706ecf584, 0x0b12113605eccb79,
0x0dbfb9a000a58e68, 0x044681890350d82f, 0x0b4b124007ee92c6, 0x0e27a79008f73455, 0x0f0711700071b5ae, 0x0221a5e60ba229dd, 0x01903e3f06a81f83, 0x0be363250402775f,
0x04d298d60e691756, 0x0775644d0fce310b, 0x0a8618870823ea98, 0x0cf0b60104fa6e6f, 0x05f4e2960380826f, 0x0bf4233902627f90, 0x02893bfc08122f6a, 0x0440dbc809bea228,
0x0acbb4f400a4ab73, 0x0d6a82f408fa3366, 0x00a7958f0c6faac2, 0x08a4cdd600a7c33c, 0x05e5587d0d8b6f1a, 0x0e40f630086a88e8, 0x030940cb0bcda0ad, 0x09a42e3d0c35c130,
0x0d37716c0ad825f1, 0x0883870c0ba9552a, 0x08ef785f05c762e3, 0x06cb253e00469242, 0x07b8f17f0ee9d967, 0x0a43de69032b52b6, 0x01aca9fe02af783c, 0x089677780ff0b680,
0x06400c4c0dc6c9c3, 0x01e8c9780691083f, 0x0ad74f010f68e0c5, 0x0f7feb03072b5f6a, 0x02f60d1705ade13a, 0x098ec54a0221a678, 0x0fcfea8a071f244e, 0x0dea66600e45ded2,
0x02585b4a0a8d6752, 0x0e62da76015a2089, 0x010c1c7401f39b68, 0x0569bb1e0ced9f65, 0x0ba6d09e04daa724, 0x07d3e20a0ef281b9, 0x0bd7f65a0ca3ffdc, 0x0dea434a050288a8,
0x07ba92a20489170f, 0x0cd3563504d31e9c, 0x0a60d474006e5430, 0x09c3d5fd0e8ed877, 0x0079eaa500dd08d1, 0x024674d5093ffa5f, 0x05391be90596c53b, 0x0856ca8d050acdd9,
0x0d4620aa05e5bdec, 0x02303c4b09b5d941, 0x03b061f8057ebb2a, 0x0371f9e8056d49fd, 0x071c36c50335051e, 0x040e43460a4d359f, 0x0b31dbd9059ec40c, 0x0d99353a071bf6de,
0x078898ad0f0f21dd, 0x06e09bfe0dd8604a, 0x0efaf0e00f9bb666, 0x0b0f685d0b8852c3, 0x094c86ec0566b841, 0x0e5c28790ba50dbe, 0x0a87cd4404cff758, 0x0d3e26fd047f23df,
0x0b82c07f0b1854f8, 0x057f654a006fad9f, 0x04c003830250cf92, 0x08b917130d291af6, 0x02f25217077859b9, 0x05331114021f22c8, 0x0643da860fab9794, 0x0dc7fb06080e3d40,
0x0e59ffd400e87788, 0x06431e97055a50af, 0x0a03ce7000fb580a, 0x0ad7e70a0a3c9b9e, 0x078970a20b4db503, 0x0c8004510849637a, 0x0e7e6a5b049e123f, 0x0e1ed15f077bcb4d,
0x0bc1d1d10af47f28, 0x0ebc55010bbd81f0, 0x0aa6b55103547aa4, 0x074ed335051343fe, 0x0d2114f60ef7d43b, 0x06335b410d518aeb, 0x0ebd469109692fb8, 0x052d5d4e03fada95,
0x0ebfc9f4089799a4, 0x0497535b06980688, 0x0fef764909e6a51b, 0x0018eedd0e7a18da, 0x0f435d9e072b69c7, 0x05ab0faa08281675, 0x03232d060e290be8, 0x05473ec80be0286c,
0x0c6eb0d00ebb4874, 0x0856a22704119097, 0x0380bc7b029e3719, 0x0b1ae1490f0e424d, 0x009b418505b9de26, 0x0986840103d0f53f, 0x082e85540c38a6ff, 0x0e76c18c0353743a,
0x08da11940e1ab61f, 0x08edb5f809688805, 0x0f49702502f851bd, 0x07a46f6302b6ad20, 0x06d2d1c307e9f90a, 0x060dd093053f665f, 0x00a625a800d86657, 0x00f93f6f0edd0888,
0x03b019b301992fb4, 0x04f6a2ad01f64c28, 0x08a7441304e5c571, 0x00ca331702f9af3f, 0x0d4787550a67bb8b, 0x09d1f5c408abb223, 0x04da4d6f012ee901, 0x084f095401f4140d,
0x031f412f05cacd43, 0x0e5afb750dd20e94, 0x01ce24b30452740e, 0x0176d6de0df30ff1, 0x082e22e5064fffca, 0x01d56fbe0007097f, 0x095b37c8051a6918, 0x08ec50ef097f8f4c,
0x07e2b1c502251f57, 0x0cbef37c09380033, 0x037ed6520761bceb, 0x0f1c2a5d0c6dd232, 0x026e1b900d63ce0b, 0x0938d7320173a6b8, 0x0d439aa405da993f, 0x0d356b8d0eaccef7,
0x0ed323770f56c67d, 0x0c3b6a4d0e32e4a7, 0x0481a36c00dd5d91, 0x0bb557d200466ba7, 0x0645f6d30200163e, 0x05eb4c540df7c48c, 0x0fd8e3d008f1e3b4, 0x011563530f099147,
0x0ae1b4c0089b2756, 0x0e686d2b0916fb5f, 0x07ac43ec02437dd8, 0x0f7bfdf70e860ed2, 0x097dbcb80b786dc9, 0x0ec7a904001c8b2f, 0x0425ed0107989bdb, 0x0444bc9c0a6d914d,
0x0e5e7b830b53ab7f, 0x04e4bed60ca44fc5, 0x008bd7a607c40d4d, 0x09dbec740a4a2f0e, 0x077df3f40fc2c73f, 0x046b1af50e73ea8d, 0x09f096cb07be8670, 0x03ad0a290929141d,
0x0991a12202e9b2e1, 0x0be75839001d7dc7, 0x0fd1d0c80169d3da, 0x00fe0a940a68acf9, 0x0b77bd050afc78a2, 0x0a84f16907f87ebc, 0x00097cfd0b0c2ecb, 0x07d51d700352ed1b,
0x025dc2a600643159, 0x01f0d8ff085f95b4, 0x0ed74a4b0c598a73, 0x0f30afe60f0574a9, 0x0037885405d4d28c, 0x09dc410a0d120ac0, 0x019509470e69961d, 0x01ceb23c0b0355b0,
0x0ee2202d0ed9f1bd, 0x02fa4fce0658976d, 0x0e7c15bc09716470, 0x04f7ea990d500369, 0x04b995a108318376, 0x0246c4f80af91911, 0x0cc77a070d09dbfe, 0x07906f6f01364be6,
0x03c97e63084da36e, 0x0423d53e0ac81a09, 0x0b70d68f03cdce35, 0x0ee7959b0354b92c, 0x0f4e97180819c8ca, 0x09349f120acbffe9, 0x05aee7b602cb7da6, 0x0d977641054ffc86,
0x0d95d1c50fcb435a, 0x016d1ed60b5086f9, 0x0792aa0b07e54d71, 0x067b657105f1925d, 0x0a2197550ec6176b, 0x0bc3f0260b12c28f, 0x0700c8970ffeb93e, 0x089b83f60ec50b46,
0x0ad9cdb40544b923, 0x0d11664c07284061, 0x0815ae860b8f910b, 0x05414fb20591c3c6, 0x094ba83e02d7ef9e, 0x001dbc160599386c, 0x0c8721f00493911b, 0x0c1be6b4063c346c,
0x079680ce0111ed3b, 0x01a1ed820806122c, 0x00c2e74606d15df3, 0x02c407f60f7150fd, 0x0c5e7c960b1b0ce3, 0x09aa446206863ff9, 0x0887b8b50b80be42, 0x0b6023ce0c964825,
0x0fed3cd800ca2292, 0x015b043a073ca613, 0x00a9fd7b0f9be227, 0x03b5e03d0e2db983, 0x05af72d406904ef7, 0x0c0f1b5c049faa99, 0x0dc86fc30bd305e1, 0x0c92f08c01cb1797,
0x01b571ef0b768f37, 0x09d7784807cf5cfd, 0x0430e373027ebfd4, 0x0a92447e05970a41, 0x0eb131270c0edbac, 0x0ec61e5a0efeaf20, 0x0447eebf057d2e5c, 0x0f01433e0550e558,
0x039dd7ce07fc6860, 0x0d64f64205653da1, 0x03e037c70f57d0af, 0x063477a006e2bcf2, 0x01727dbb07ac67e6, 0x049589f50efafe2e, 0x0fc0fef20e813d54, 0x08baa5d0087fb50d,
0x0a75279508238159, 0x013ec95307a84cd6, 0x01d7fee70d562525, 0x0b9eefa60191d5e5, 0x0dbc97db070bcb8a, 0x0481affc07a4d395, 0x06f73d3e070c31bb, 0x0183f3240ed96a61,
0x0db04a62064ba838, 0x0582b1f90fddc1b3, 0x03ee72e40aaa027f, 0x07d1de9308cd0dd5, 0x032d5d660cf76afa, 0x0c9c717c095c1ec2, 0x0f27aa110764b8d6, 0x0713a4820b7ef36e,
0x0ece96f905f2b66f, 0x0ece79520813a27b, 0x026fc365092e489e, 0x07157d1a02de0f66, 0x0759dc1101d86ddf, 0x012881e50780bb0f, 0x0c8ccc830ad29496, 0x012b9bd10929eb71,
0x01bf51f70d65cdfd, 0x0d14cdaf0a16a97d, 0x02c38e600fcd10e7, 0x0a27446e0393efbd, 0x00b5d89406a71fdd, 0x063df2cd0e128f2f, 0x06c86795069b1888, 0x059ffc49025d732d,
0x0f05ea5d0f25a20f, 0x0cb6224e05b932ce, 0x0d3aed520e2718d9, 0x0fb89ee00996ce72, 0x061970450a6e1e80, 0x0bcdf200057fc6f9, 0x059bf78b06ae5c2c, 0x049cacb807455db0,
0x06a15bb200f75c0c, 0x079a1440027a5d0c, 0x0d19116c0e0b4d70, 0x059b83bc0b0b268e, 0x05f58f630f16c127, 0x0799583108ee2c37, 0x0defbb0603d07f82, 0x0f1f0b9301d2d446,
0x096965100000d333, 0x0ec2f7880bc04826, 0x00e4d02b01f67ba5, 0x0659aa8d0ace08b6, 0x0d7a38a30a3ae533, 0x08856def0a8c746b, 0x04d7a44002d3da1a, 0x0ea82e060229260f,
0x034a1b3c03ca2bdd, 0x072077a305bca880, 0x005af4e9035c1b8e, 0x0a5f1a710e8b7737, 0x04d31332092cb2e5, 0x00fe2a2d0ca1c916, 0x024d181b041935bb, 0x0d9f548800ca0332,
0x09ffd90a0bfeae96, 0x0cba3c2b0624a516, 0x05ef08bc0ee46c91, 0x0e6fde300afb6185, 0x0f0b4db40f818ce4, 0x06c54f450d2127f5, 0x00401250035854c7, 0x0372658a03287e13,
0x06f6fd9b0aac61d5, 0x02a7710a0020a895, 0x09de0db70fc03d4d, 0x0cdedcb10875f40b, 0x0050caf90b6b1e22, 0x05e3a66504456ab0, 0x0775fdf80c4423d4, 0x028701ea05738b5d,
0x028f8f040e414d54, 0x087037ba056c7694, 0x0976b5b40d0ddb59, 0x0a4227e60d462421, 0x04c77c6708b4c560, 0x006c9e740fb485a8, 0x0c1c138a002d3981, 0x040a194003d6b6b5,
0x045e8dda09400888, 0x02ff12e50fc05db7, 0x0a7098d504afe69c, 0x0cdbe8460a500585, 0x0879c15903ca1882, 0x03f7a7fe0a76c8b0, 0x02cd73dd00c8e0a1, 0x0645d6ce096f51fe,
0x0f19224e0bba2aa5, 0x074f89d3058e694d, 0x0eea4865097135ad, 0x081579a40555c7e1, 0x010b9b8702930a9d, 0x0f002e870a30ecc0, 0x09b9d66b06de56e2, 0x0a3c4f450e8004eb,
0x0d4817c10edc2929, 0x0c67cb9008be637f, 0x0bd6dd1a0a6bfe9c, 0x0a1803a90fe7795c, 0x01770d3101e2cefb, 0x018054ec0a0d1c88, 0x04fa667b0240f212, 0x0f631f7f0055a447,
0x0f89335c02a59286, 0x0a0f5c9005d55141, 0x0b41fb8306ee9382, 0x0e235d510730ca43, 0x0a5cb37b05c0a69a, 0x09b966ff0e136c45, 0x0cb2ea100bf80ed1, 0x0fb2b3700b40dc35,
0x085e78af07758979, 0x0275a4ee01631a3a, 0x0d26bc0e0d78b683, 0x04f8355e0a21064f, 0x0d618e1a032696e5, 0x08d8d7b1050e5680, 0x0a74cd8504b278d2, 0x01dd627002203ea0,
0x029782e902b11745, 0x08eadf4202f96200, 0x0217a39f02cdcaa2, 0x0782d1ca09aefd0b, 0x0321c6e407203654, 0x01e729610020101a, 0x0b562fa60e6ab16e, 0x005c922704af111a,
0x06bc3d530011f470, 0x0032d6e6092b83e8, 0x0059722f0497cd0b, 0x009b4e6f00c497cc, 0x058a804b07cce6c0, 0x02b71d33002bbd5d, 0x0e2f82a306765fce, 0x08dded990524c703,
0x02e7887409a865f7, 0x06e4dc31016861ea, 0x09f1428c037276e6, 0x0e7d2e0f0c1e1226, 0x03aeebc60b6c45f6, 0x071a80730bf500c9, 0x04b22ad9086b530c, 0x0f439e630c0d79d4,
0x0b2fa76a0c8b829b, 0x08fe6bf001865590, 0x059df5380e389f40, 0x06acd49e0eea748a, 0x0ab812800b990cfe, 0x0c34a54a0c57bfe5, 0x03889ce90731cedf, 0x081b71cc01b4654d,
0x02f194ea0afa46dc, 0x08e38f570fe87613, 0x0dc8e5ae025f4ab2, 0x00a178090575e6bd, 0x0d3ec79203ba366a, 0x03a7e72e00ad75e3, 0x010024b808436e0a, 0x0ed3c54404b64051,
0x01b2fc570bf3c738, 0x06a3f9180993fb80, 0x026f7a140fdec288, 0x075a2cdc0cef08db, 0x0d3ecbc90eecdbf1, 0x048c40f006e5bf7f, 0x0d63e4230009896b, 0x00598bc909c056a8,
0x07ce03ec0bf50cbd, 0x0369ba9906b992ca, 0x0896d4b303a5f7f0, 0x0602b5b80536da60, 0x0e11220802ba6d73, 0x0c3fbb9003ba0d74, 0x0d3f8ec505c1daf8, 0x06a8f96c0a0f0be1,
0x01fb734705c45509, 0x0d2b2e5e0a43345a, 0x0cb3c38402077bd1, 0x029f90ad0820946e, 0x07c11b23080778aa, 0x09e54ece062c1704, 0x04bc60c401ca01c3, 0x045256790a5a0b03,
0x0766ae41090ec6d8, 0x065768ca0bc71380, 0x0b9025980416cdc2, 0x0380021a0d38df52, 0x08f0b89d06551134, 0x04254d4c0c62c5a5, 0x00d79f44084b9b94, 0x0b5167320ae3c50e,
0x039b04220412784c, 0x0bf9fe2e0e8ce055, 0x063ddb8a04906298, 0x0db486250178a0ea, 0x09e9012c00fd3c4e, 0x0ff30c600950d2c4, 0x03b9453f05565977, 0x054dc1d70ff25dfb,
0x017085f40a346148, 0x0c7cf7a307f62272, 0x01776e1209bc5c30, 0x099551340c9eef2a, 0x01ba5bdf01df07be, 0x0ec394970103a55c, 0x065783540fda6cfb, 0x05f027190d4f15ee,
0x00b3a376017632b0, 0x0597199f0e1cfb6c, 0x042a7ccd0feafdd6, 0x04cc9f150ebcea17, 0x0f436e5906a6b4a4, 0x01688611042df0d8, 0x00753edf0ec26af5, 0x00c495d70e388116,
0x0ad462640a269aa2, 0x02b138450e4b9e3c, 0x006a20b608b0d7f4, 0x0c271a350ee514ae, 0x02b67e140a58f4d8, 0x0f5065b0099a60d6, 0x0ba6737b090514bc, 0x0b6265e70c5b898f,
0x0b60167d09e7d065, 0x0e60ba0d007381e8, 0x03a4f17b0725c2d4, 0x06c19fe1076b64fa, 0x03b57b310af86ccb, 0x021047c2086180fd, 0x0bdc8fb000c6dbb6, 0x0fe4a9f40bab4f3f,
0x00a72d230dcb3f1f, 0x0a3737f804011727, 0x0f870c0f0bbf4a47, 0x0a7aadd004b5c9ca, 0x00c7715c067bd072, 0x0015a1360afcd74e, 0x080d5cae0a499634, 0x026b448e0c7514b7,
0x077003c50e9eee08, 0x06eaa1bd0ba2f437, 0x07ae297d0dfa8d2a, 0x0aa8531e01aeb2d6, 0x0ce283cc0626efdc, 0x0efe2f510d153115, 0x0db954c007c84995, 0x02ade92c07e00acf,
0x0a62952108dc136a, 0x0563b3af00e9c012, 0x0d3753b00145db1b, 0x045503890c043dc1, 0x0ea94ae207401bdf, 0x02b0b9490f2b7956, 0x0c63f7800ad8e23c, 0x0e591c470d6bab15,
0x057e7ea305f36dae, 0x0f47d7ad015de22e, 0x0d757ea40b105115, 0x083114570d579d7e, 0x0b49b75b01edd4eb, 0x081c7ff7042fd63a, 0x0ddda31807433df6, 0x0475727d055f9c66,
0x0be93a7d04fa7149, 0x0bef825a04d3396a, 0x04c32daa0951139b, 0x03f4be7d0981a85e, 0x0e866d6c0a8642d0, 0x0b912bba06f1b2f8, 0x0e28ba640c9cf5e1, 0x0395045704996955,
0x024192220c607674, 0x0a7f23af089188b3, 0x0ad1272804e73d1c, 0x08bba5820fae1c51, 0x0fc6aa7c0a9ecab1, 0x03df53190eb6c2ba, 0x02a05af80a8b199a, 0x04bf83540558407c,
0x08d6009b026da3f8, 0x0898e88c0a06b1ca, 0x0edb22b20ed7fe62, 0x0fbc935106aabe80, 0x08b4b4700c42ce0d, 0x0e0032ba07d0dcbb, 0x0d76da3a0956ecc8, 0x07f20fe704e3852a,
0x03182b5c0f0f0340, 0x02fd3d8d09d60fc2, 0x0b73ffe008bff43d, 0x0d3dec970fee6a72, 0x0675aafc06e16949, 0x0d27f4990c6f0c86, 0x0e05787809f3387a, 0x0e52031a0b49ec2a,
0x06b7a06704f9f8de, 0x0a7424140e5c7cff, 0x041cbf3c06e13221, 0x0e3a64fd0207af24, 0x087c05f105fbe8d1, 0x04c509360d9e8a33, 0x01306ec201042b6d, 0x0a4f41370d1141c2,
0x01ed4dc701fa2523, 0x05d0bff109bf9b5c, 0x0c3801ce0e065a64, 0x01ed0b5004323fbf, 0x003ab9fd0cbbc593, 0x0df820700178b8d2, 0x0a2bcaa90c251f85, 0x0c628a36074bd02e,
0x0f6190460dea974f, 0x04c39fed0fde6ee7, 0x0d593cb90f22afc5, 0x0624e10e0e9ab4ab, 0x09c1b40f041869fd, 0x098f2cb404da6d46, 0x02311d0903becf31, 0x04d97d17071880ab,
0x0ddbe07500dd1add, 0x04b3c7b8085844b8, 0x0363e7ec0f12f1ae, 0x062e953e06438f9d, 0x023cc73b0076afe9, 0x0b09fa0803b4da32, 0x0c7c3d24056c541d, 0x05b591ec06b694d4,
0x00d5b4b30da135ab, 0x0838f3e50064d81d, 0x0d44eb500f6d94ed, 0x008931ab0502ac6d, 0x0debe01c0a3d3586, 0x025c2067075f0641, 0x05ad4b6a0e912763, 0x07e2c3180ad8f247,
0x0d79a91e0629d030, 0x0ad5b50f0c20eb72, 0x0edd89a2022eb1bd, 0x00ddad6f0b098ea8, 0x0b8be69a049c90c4, 0x09bbe2d609ecd346, 0x0a1def9006a95a48, 0x0db8fd6a06d2cca3,
0x0c41d1f90c1f1ac1, 0x07b2df4e09f19146, 0x0b4693550fd5ba7a, 0x0b5e19650afc852a, 0x0388d5f10e2d8217, 0x022079e40c09ae93, 0x014268ac0d4ef518, 0x0c1dd8d90640464c,
0x03fe038e0b92f894, 0x00e6da1b072e8e32, 0x03a1411b0fcbe0fa, 0x0b55d4730164a9e4, 0x0b9a775a0c2df48d, 0x002ddf3500659e21, 0x0a279a690eb19cb3, 0x0f844eab025cba44,
0x0c7ad9520112f3aa, 0x0229739f081c017a, 0x008b92220b75a2a8, 0x0bd0d6ad0469c483, 0x0e3442970892a13c, 0x0a1cbeb80f435a3d, 0x078e2be10f7a0bec, 0x01ac54f6070ba8cd,
0x0adb2c15066e8b8f, 0x096c68a305771a9a, 0x08699333056f334a, 0x0ba9c934059f5962, 0x09ec73fb06e8ca4b, 0x03c3802c027202e1, 0x031f5b7303e0c008, 0x0f9058c109611fa9,
0x04d511240797c831, 0x08f5ae37050347ad, 0x070ced940c1a0c8e, 0x0f6db20403898e64, 0x00d00c9a05750cd0, 0x00741ec509bad712, 0x03c9d11a0ab37b7f, 0x0a67ba1609807714,
0x0dc70fe70eb5cbde, 0x03cda5bb049331d7, 0x0dec90680514f18c, 0x0f3537d9075b501d, 0x0dd02de7025b8e4b, 0x0623272000072106, 0x034607e70e266644, 0x0ebc51a901215cb6,
0x0a5187e60ee7341b, 0x0e6d52e802d83b6e, 0x0df3c413023094a7, 0x0b3324f4044e9de9, 0x0689eb210a35bfe5, 0x0f16363b0ecd548d, 0x0e187cc908e7f60f, 0x0127d90602f0ccab,
0x000623bf087622c5, 0x0a1966fd0d069496, 0x0c315b7b0812f9fc, 0x0bdf5efc0d128b97, 0x01d464f5032e3e16, 0x03cd94f0081bfd7e, 0x0ed9dae102ce4009, 0x02756f57036eee70,
0x0b528e4c0e3d61bf, 0x05a035310ed051d6, 0x0bbda4aa068d7f12, 0x01810a280e93ccb9, 0x0ef4ac5205bef536, 0x06dcefdd09f9f364, 0x06e3d9ed078d6381, 0x0774bd6f0f0713c4,
0x0c13c5aa0e3ae341, 0x09c6c9ed098373e7, 0x0098f268064577a8, 0x015b886e09488b45, 0x037692c402aadba5, 0x0b83170b08e7791c, 0x016709520ece1b44, 0x0fd932a309276da2,
0x0f1e26e90762d4a8, 0x0d9d740802183414, 0x0ffec9bd057a0282, 0x00919e1208fd497a, 0x0ab7ae7d000fe5f8, 0x054dc4420851ff68, 0x0c9ebeb30b861687, 0x0507f7ca0b8b698f,
0x07e5cda60410cc67, 0x0ab7f0000be9ef84, 0x031b09f802de4167, 0x0c003f7b04be2064, 0x0bc2f44e0ffafd2d, 0x013ca0a80a45cd9e, 0x035e709808cff10c, 0x01744f570d827ab7,
0x09ae3b930a56c404, 0x04a410b70a456699, 0x0023a6190355e6b2, 0x09cdc72907387257, 0x055b94d40ae70d04, 0x02cbd6070f65b005, 0x03208b4809697166, 0x0ea2aa0508867370,
0x0df76b33028ada72, 0x02e206210604a7c2, 0x0f9106380a105b09, 0x0ef4724d096ef2cd, 0x0377d83d06b8a2f7, 0x0b4f488005ade324, 0x01cd5da80b152018, 0x045af6710a20ca7f,
0x00d62da60711c0cd, 0x04b53ac70a27d523, 0x089cc1500fb20e64, 0x055d2c28083154fe, 0x0b5dcfd003448874, 0x06d80dda02a505cb, 0x0b57162a0fb80dc8, 0x07ddb51602431acf,
0x0c8459230c084294, 0x0072419a0201bc25, 0x045f408b05f8e669, 0x0e9d6a1806b74dfe, 0x0e19108c068fa075, 0x017b91d8074177b7, 0x02f0ca2c07912c5a, 0x09400aa3085a90a2,
0x01cf6408059b02f8, 0x0758d1d50d5ce427, 0x0763c7840ef4604c, 0x05fa81ae0e205270, 0x0ac537bf0dfc44cb, 0x04b919bd0342d670, 0x0238508d09bf4b7a, 0x01548887095644f3,
0x08eeef4f0eb7de7b, 0x03012ffb0b0d4107, 0x0cb0d6fe030b99d1, 0x0c4b51d5098067cb, 0x033564690016b7ee, 0x0addaf850188542f, 0x04538bdd08de18c1, 0x0999dd4f00c59d4f,
0x026ef16104e160af, 0x0c023f9e0dfc9c76, 0x0cff090d0a5f57ba, 0x076db7a606643ae9, 0x019462f80c646999, 0x08fec00b03854b22, 0x0d550416092a0a1c, 0x065db8940215ca00,
0x0f8ac5cf04705b6a, 0x0867d82d0cb457e3, 0x07e13ab20ccc2ce9, 0x09ee9a0108d3930e, 0x08370f8e0cb42df8, 0x02d9f0190add263e, 0x033023850b92d196, 0x0a156545036e2c0c,
0x056dafc901f5bae3, 0x0d5fc6f30c94933e, 0x00d8fdf206f76b0b, 0x0726f2ad0342c280, 0x01e2fec80c6d0c46, 0x00fe83ea074ae570, 0x0353cec20c128243, 0x046657e10c14bd2c,
0x08cc9cd2036315c0, 0x031d9c5b039fda54, 0x0a5713ef037e1171, 0x0293d5ae02886325, 0x0c4aba3e005015e1, 0x003f35ef078e4fc6, 0x039d6bd30ac1527b, 0x019d7c3a0fb77106,
0x0b548502075fe626, 0x053a3fd10ec71140, 0x0e3d2d7d0be096fa, 0x0e4ac7b5095cce4c, 0x077bad4409c0a494, 0x0b7c988104afd5b3, 0x057226f508486cf9, 0x0b15571504f0cc57,
0x084e9d6c0e567a50, 0x052bf5d10f2558ec, 0x0920d83b0ff60ee7, 0x0afc160b01d17413, 0x08ae588307d3e7d1, 0x0fd676c80896dba4, 0x0004e1700540611a, 0x0f7ccb8f091f6541,
0x04246bfc0ecc627a, 0x04ba4312046c03a4, 0x0bd1d1010872d497, 0x03b73d3f0185ee16, 0x01feb2e20678c0e3, 0x0ff13c5a089dec76, 0x0ed060420e771d8f, 0x0a4fd2a8097a83dd,
0x0dbca4e908a7dcd9, 0x0ee29cfc078bde99, 0x0e4a3b69095f52e9, 0x045d701809ae8096, 0x0fd2a8a30b9b0d1b, 0x0af1793b0107d8e1, 0x0dbf92cb0e4afa20, 0x0da60f7908e3681d,
0x065b5c410af29a68, 0x021ce9a003a5ef69, 0x0b0c0a910cba4f38, 0x008408de02a54743, 0x0bcec1b804f673ae, 0x01b382a30f1e5244, 0x0d1c1c240c9afae1, 0x05b7f3d302956904,
0x04ede34a0f2813f3, 0x0d4a8e110c9e8216, 0x04796d50041de8a5, 0x0c4c6b4d021cc987, 0x0e8a433e0e07fa1e, 0x055720b50abcc5a1, 0x08873ea90c74b080, 0x05b3fec10ab65d48,
0x0417fa300a7119ed, 0x0af2577508419751, 0x0d358a4807b463d4, 0x089703cc0720b00d, 0x0ce563140ff7f271, 0x064db1710ade62c1, 0x0640b36d04a22fed, 0x0424eb880696d23f,
0x0b81ad880248f13a, 0x0f5f693909248294, 0x04be9b330e8cfea6, 0x0b56087c0018df01, 0x057e88460bbb6242, 0x06a5db000b65a660, 0x0963e3a807daf343, 0x0badfe6d0ec2140b,
0x01bd59c009e982ea, 0x0f72daeb0937b289, 0x018b76dc0a908e0e, 0x0edb4985012384ad, 0x0ce0243b06cc9538, 0x0f96ff6900cb4e70, 0x07c77bf90f673c8d, 0x05bf704c0088a528,
0x021ce99e009ebda3, 0x0fcbd9f901875ad0, 0x09bbf6b70b7a0b5f, 0x0388886a069b1940, 0x0926a56d00f81f12, 0x0e12903c03358d46, 0x05dfce4e08e1ce9d, 0x044cfa940e2f7e23,
0x06c2b9d70234cc41, 0x06ad9c2a0e2bda7d, 0x0b64cddd0ba701f9, 0x0180318c049ac580, 0x0c35d143019f4c95, 0x03a21dc605cd415b, 0x09c474c208e04940, 0x0c651148075e57c6,
0x0fb22bb50fd3ce50, 0x017b48aa0da7ae54, 0x0fd5c44a0d19a536, 0x00ccc4e40e55e45c, 0x0fd637d405b4c3f5, 0x038914e0023c37cf, 0x0ac1881d06a8d898, 0x0611ed8d03d943a8,
0x07dc52da0400336c, 0x01fded1e015b9457, 0x0902e00f05568e3a, 0x0219bef400456d2d, 0x056841610fb3dbc9, 0x04a4e9be049a76ea, 0x06e685ae088b78ff, 0x021c42f103042d3c,
0x0a91dda602eec2d4, 0x0a6b7e640d7b13e9, 0x0384086b044c9969, 0x08de118a0f683239, 0x008e416f0b85d76c, 0x020945eb0da9b120, 0x096a7f4805e7b172, 0x00fa91c70035f011,
0x05e86940077a1535, 0x08bef75f071c8f1d, 0x00a7c13106423511, 0x0906e1d700604320, 0x03fc46c10a2ffbd6, 0x0d1d50220e68f360, 0x02515fba037bbf46, 0x0ca162340e023b44,
0x09df985606a18c6d, 0x0cf3a2000968f219, 0x044ba60d0a6d9086, 0x0dbc9c0e0344da03, 0x00f9401c04466855, 0x0d46a57c05b0a8d1, 0x0875a6350d7ac7c6, 0x0ef4a9330b7e0ae6,
0x0878366a09e0b96f, 0x057a85730ea9e0d8, 0x05ef206d0dc3f601, 0x046756a90d1c4eab, 0x0bccf4780bb3c12c, 0x01f97ed70f813a3b, 0x01b3095802460e1c, 0x026a4f7600ecd5cb,
0x01390783097030bd, 0x00e3c4470e859a00, 0x064a5b3304c82393, 0x0b8aabeb07358093, 0x0020778b0b9ae73b, 0x032ee94c07892a18, 0x082152530cb41bda, 0x05e27975093517ae,
0x02922b390ca33eec, 0x090d12a50f3ab194, 0x0ab60c020fb5f8ed, 0x0188d2920abba1cf, 0x0e10edec09698f6e, 0x069a4d99034133c8, 0x024aac400e6d3d06, 0x01702c21077661b0,
0x07c89a5a007aa2b5, 0x0ae492ec0ae4711d, 0x0ee921ab074f0844, 0x078427780fc5005f, 0x06a4d33c0b28022c, 0x07b327e40ac0f437, 0x07a9d03606acaf12, 0x05c6544e06c9ae1c,
0x0918685904265aa2, 0x0797acca0e98ca6d, 0x008d8c5f00f8a184, 0x0d1f4f1c02b2fe6e, 0x036783df0b48a006, 0x08c1651200503527, 0x025fd7800058ce9b, 0x068beb0007be7d27,
0x019e23f00474b114, 0x0eb94c2a0d3b437e, 0x06ddb346083b75ac, 0x0391f92009b564c6, 0x0083b3bb03bff7aa, 0x0eedcd0f06dceefc, 0x0b50817f0794fe01, 0x036474de0aaa75c9,
0x02f0077505836f3d, 0x04d39f25030acc6b, 0x06b58d7b02699929, 0x04126fdd03185e62, 0x03aeaac00f32897c, 0x03c0478f04edb66d, 0x072f43ac066a9364, 0x003730da0744777a,
0x045fdc160487cda3, 0x0b2d8e8404cf2ed7, 0x0612c50e088c1607, 0x0a08aabc066c1672, 0x06031fdc0bb24d97, 0x01b6395205744b93, 0x04409d620639ab17, 0x0a1853d00347ab1d,
0x03667bf9098406f8, 0x000115c403a12975, 0x01e662f30b20e8fd, 0x019ffa5304cb24eb, 0x0016be0d0c8efb45, 0x0ff76a8b026243f5, 0x0ae20d2401a541e3, 0x069bd6af013cd430,
0x08a5e5a90140a3de, 0x05c18d410653ac12, 0x010321e90d6e8f3d, 0x0fbdda0106e10aca, 0x077fb60308c20257, 0x0b5438b70a81ed77, 0x0db1dbcb09a8ce83, 0x026734c20c1aabc3,
0x07e32c0409b5c477, 0x09d2bfdb0d9bcfd8, 0x0636e930045938c6, 0x07fde4af07687298, 0x046a51840fafa5d3, 0x079b1e7f013a359b, 0x0875adf10fb927d6, 0x0333e21c061bcad2,
0x0b4b53ea0b6bdb19, 0x09b22d8b043711d0, 0x0d948b9d0961785d, 0x0cb167b60f279ead, 0x0191de3a0678e1c9, 0x0d9dd95101095c2e, 0x0f2843240cd43067, 0x0ed74fa5035151dd,
0x0fb7feb008c27472, 0x08a97b550f699c77, 0x06d418200f923b83, 0x068314320f0aa975, 0x0a58ffb2063b3955, 0x04f134490a66db38, 0x026fccd202b6d583, 0x0a803eb200eeb6c2,
0x07df6cbb0926830b, 0x0d3360580ae37865, 0x07af47da0c696423, 0x048d30110ec64ac8, 0x06b876660e40049f, 0x036a2e0e051303d7, 0x0ba319bd079dbc55, 0x03e2737e0cc94f53,
0x008ed8ea00ad95be, 0x041d324b09709645, 0x0e254122057a19b4, 0x058df9f30423d8d2, 0x0a9ab20d0ef71304, 0x09ae0dbf08ac4a81, 0x0c95659707e4392a, 0x03c92694044baf55,
0x02d690080d9d8d26, 0x0092f6860d7030a8, 0x01f19e950aa28fec, 0x02150bab01261538, 0x08c5a9410210b26c, 0x093302090036d1e6, 0x062e11ec08e58de7, 0x011c3d110bb9d27f,
0x08132ae50c5d8cd1, 0x0121d683024a1d9f, 0x0d6be9da0fcb8c76, 0x0684d90700edf745, 0x0519fbc906d7448e, 0x0388182f0dc1f27e, 0x00235bae0d41f158, 0x0bf6cf6f01a1796a,
0x0437bce90bccdf9d, 0x0e0c8e2f085dc0a3, 0x0c91a70703995a19, 0x0856ec9f0e294559, 0x09e4b333094b156e, 0x0e245b0d0c497e5c, 0x06a54e6807eeaeff, 0x0f1cd1cd000fdb7c,
0x0d523b4b02eb7de6, 0x0cf7b5250f2c56f5, 0x0b92175504f0d1b1, 0x0bad2cbd05984a02, 0x02b4af0f0e2b21dd, 0x024926030f310486, 0x073e7b37095b9d32, 0x01e837c809b2bd25,
0x0ce382dc07993d92, 0x0021153e0938b4c8, 0x0096f75607f48f51, 0x058f81dd0fe4b0d5, 0x0cc379a506b355c7, 0x02c7607700d3e819, 0x0ee22d1d026e5a40, 0x0de6d93d05b082d7,
0x07b2743b09a1e01a, 0x07847ffd042688c4, 0x06c7844d0610a316, 0x0f0cb8b2050aa4b0, 0x0a190601043b3ae6, 0x014eb10b077cfd80, 0x001709050729dd06, 0x0063b5b90cd72477,
0x0f56e5bd03ad1fa9, 0x0e7a094808031815, 0x0f7fc3ae069d094a, 0x0ddad7a70d45a9c2, 0x0bc07fbf0167a928, 0x07a5d61307e0479f, 0x0a0659ee0ab60a00, 0x03e068b10342b4f9,
0x0ffc5c890d2b0cba, 0x0d363d420e3e6fc3, 0x019a1a01018e2e8a, 0x0f7baeff048882e1, 0x01bd5af208c6b514, 0x055476ca02253cb2, 0x0d8eb19707e2ddf3, 0x0b173b1a0db228a1,
0x05b64c6f0d65ec97, 0x0c1fdd7f0877bc7f, 0x00d9cc6c089f841c, 0x05c97b7f01aff9ad, 0x075e3c610475d47e, 0x01ecb1ba08153011, 0x0fe7f1c80d71d40d, 0x03fa97570a229832,
0x00d3466202f528f8, 0x01e1f74907a62227, 0x0fff70d20f9af433, 0x02812c6d0079ea3c, 0x06898af506b25d7f, 0x0c17c44f01349645, 0x0207172e0a3eb539, 0x00608e8b0d6a263d,
0x023893190450f9ba, 0x03677f310aa1250a, 0x092c3db6042f38cb, 0x0f8b64c00dfc9773, 0x0cd49fe30505b795, 0x068105a40090a510, 0x0df0ba20072a8bb6, 0x0eb3961403afd8be,
0x0f11cc8e00e70bcb, 0x0e5dc6890974e7dd, 0x014e409f09ee5870, 0x0826e66809acbd63, 0x08a6f4e30d895d88, 0x0b26a8da041fd4ad, 0x00fb77230f83efd7, 0x09c749db00a5f6c3,
0x05f2b13004db3200, 0x022507ff07459b86, 0x00f4c1c902b4f0bb, 0x0c8cb42c050e0eb9, 0x04781d10038aad80, 0x02dcf20a0a2254af, 0x0d9ecda8051a93e2, 0x043f6b920eca6cb2,
0x067f8f0c04fe26c9, 0x079c4a3c0c8f67b9, 0x082b1e620f23550d, 0x0f2d409c0aefd7f5, 0x080e67dc0db26e81, 0x087ae9930ea1f98a, 0x0aa108be0cf61d03, 0x01acf11e0fb608a3,
0x0468711b0d994651, 0x033108fa067561bf, 0x089d7601092a54b4, 0x0adc433d0e9f1871, 0x00467d050f36e050, 0x07847e0f00579f7f, 0x0a2314ad0320052d, 0x0b3a936409f0b243,
0x07dda0140454af26, 0x00c49fa10b22df7c, 0x05cd4d7e0761dc2d, 0x02af81a10a14b368, 0x0a5e57b10cfd7ddf, 0x0f90ab3e03a0f738, 0x05cb837304d7bc0f, 0x0f608c160abb405a,
0x0e8283330c297f8b, 0x09ef3cf80c3f7e1f, 0x0ab45f8f0ff31cb9, 0x0c8b41780cb0b013, 0x0d0c50dd03260a3f, 0x097126ac0257f5bc, 0x042376cc090c705a, 0x01d96fdb04a1071e,
0x06c59c9a0e744185, 0x09fc32f10b4282cd, 0x04d6348c0a59b1ac, 0x01053768081be067, 0x0af40960013147dc, 0x04abfb5a05cb3124, 0x00d2a7f80626c354, 0x09c6ed5608e07431,
0x0abd2bb207611e57, 0x0cf99bd10fbbd267, 0x06f7ac780d478cc7, 0x0dc9d3400dd23fbb, 0x0d3ddd5200099c46, 0x09836dbb06a03486, 0x0f19de2607c36883, 0x0208856103349904,
0x0832d023069b482c, 0x0cba52ff00d93450, 0x03fa9c9008d554db, 0x08d1e3570b54122f, 0x0abd91c20dc950c6, 0x07eff1df04c0ec69, 0x03f6aeb103fb2d31, 0x0002d61709fc5b2c,
0x02809e4b0bf1814a, 0x0b9e854f09fafb32, 0x0d35e67c010f7a67, 0x08f1bcb706e748cf, 0x04224d95015687d2, 0x05ba0b7704e620c4, 0x0b5e57db05d54119, 0x0e15babe05683282,
0x0b93612507e36376, 0x049f348e03709d03, 0x0dd0a5970c455aa7, 0x0078ce6003320668, 0x0635f64a0e3195dc, 0x0a4ed4500b508288, 0x075b9adb05e1cc1d, 0x0fca5881067741f2,
0x0a9e77300a819691, 0x0d9cc73c04992b70, 0x0e299bde0067de5a, 0x08c314eb0705192a, 0x0e7226f107e8a3cc, 0x029dfd9506e65a47, 0x053a8e8309073b12, 0x06f942b20ab1597e,
0x0a7efe460a7dbe2f, 0x02f66fd505014fe7, 0x06a428af0a1ff026, 0x056caaa90604ab72, 0x033f3bcd07fac8ae, 0x0ccb1aa001c86764, 0x0158d1ed0f13bf40, 0x09848ee706fcf3b4,
0x0e3c287f0132a1c6, 0x06b0db8004233a01, 0x02a3879002ad889b, 0x0490b2580b0f24d5, 0x07f0e07405232a02, 0x00c95c8c052d1dc4, 0x007fb0600bcbc40d, 0x02e50bf1039dc67d,
0x0393437406531ebe, 0x0c8509d8035d429d, 0x0e79ecef0f6b0018, 0x04abfd310e8efce5, 0x07bbfaaa01e20210, 0x0e3be89c0193e179, 0x01c420f40c31d585, 0x0f414a3105bef5ae,
0x082aeace05f1b144, 0x0f68b31008cf4dd3, 0x0634af010dde3020, 0x00beab5d0f5c2355, 0x0e8b790d01b49b0b, 0x0e48d158054e36f4, 0x040ab2d905f3db9f, 0x02711c4e0d9e899a,
0x083d695d0b66f207, 0x02a2f8ad0a58aa77, 0x02271eec016b4818, 0x08443a700141f337, 0x0d60ae500640352b, 0x0816cee10385490c, 0x06577b210e989cbc, 0x0af2a0d20317b416,
0x098cddc80b39549a, 0x06da37e30b05d22c, 0x0ce633cf0d4eb3cb, 0x0fda288e0f526acd, 0x0253388708c5d30a, 0x0f34438c04e5a1b4, 0x0584efea07c310f1, 0x041a551f01b660ad,
0x05fa020c0ca2450a, 0x0491c29d0b6416d8, 0x037cefe30f9f9a85, 0x03d4052300647066, 0x049e835f00fdbe89, 0x0feb78ac01a0815c, 0x0828e4b302dc9724, 0x0db84f2d0c8d6fd4,
0x028085700429bc85, 0x09d78dbe0c40c8ac, 0x052b44340bc3a7b4, 0x0801b64109fe281c, 0x08839a680764540a, 0x014ba0340f958be4, 0x0a31dbb60ec068f7, 0x077bd9bf0e8c9cd9,
0x0a0b68ec01eb72d2, 0x02c032350c0d45a0, 0x05536273023fe8c5, 0x06186e940b17af94, 0x0a99061906e29f14, 0x025b3aee06567733, 0x07e0dd8400080517, 0x018eb58001a4ba93,
0x07bf562c0a768d7c, 0x06c1f3a1074e387c, 0x0f024b4407fee939, 0x07e7af750f01143f, 0x03adb70b04eed89d, 0x0e435440021ad79a, 0x091f7f70042011f6, 0x093c1a1e0e3a0ddc,
0x028018fe084095bf, 0x091c0f9d0b41f3bd, 0x000445df0aca7dba, 0x00603d3007e6bdc6, 0x0726c4c8040ea4b0, 0x09220d1c0741716a, 0x0d49186400a03006, 0x054caa250bda1d21,
0x03973d89038971d6, 0x02aca26f0a80c1f5, 0x0108af1f0aa6b513, 0x0daae2750d7924e6, 0x053634ce0d721308, 0x0d2355fe00bbd443, 0x0357612b02d22095, 0x0f9bb9dd04136cf3,
0x0938f97e020be973, 0x099141a306aaf306, 0x057b0ca209e545a1, 0x085db5710f9fbc13, 0x08b333c5054b4693, 0x043ab6ef03e241cb, 0x054fb20a0a1e5c70, 0x0be0ff8502760adf,
0x0d400ed300a1fc5a, 0x0e424e05075e6307, 0x036e39860c07b2c6, 0x007960e40d145650, 0x0a643ab8023cdc93, 0x026e9ee2092c7976, 0x01f9d25505d3fdeb, 0x012c3fb8033d437d,
0x062dd0fb031be374, 0x0fcc96b804c8e727, 0x03f64f13075e6ae3, 0x057d9b6d0d1af004, 0x0d6a167b01103c7b, 0x0dd28f31080fb537, 0x04ff27ad07167128, 0x08934c330461f2ac,
0x00050d700c32b31a, 0x01939d5706d437b3, 0x0d709e5908bf9fe6, 0x0a885b340bd2ee9e, 0x0dd4b5c008ab1a50, 0x091bebd500b55639, 0x0cf79ff604acdbc6, 0x06067a390d826336,
0x09a4b8d4086fffbc, 0x0458102d000ef9b4, 0x0f4982930b3cfdf0, 0x0ed2d7b9060b1b92, 0x0ce3cd6c068fc137, 0x04b60f4301eccf99, 0x0081efbe09e7e2b8, 0x0a36f0ae07981133,
0x006918f50dfce6dc, 0x0d4bf1c7093c57fb, 0x069a3f6409435364, 0x0e89a50e05b0cd6e, 0x0b9f6a2307e973af, 0x06d4ed8b0104e41d, 0x0498946a03924cd2, 0x0c136ec50ac9d4f7,
0x051207ab0d179101, 0x0fc2a5c200d9c5da, 0x0fb9d5f20701b6df, 0x02dd040f0dea82b8, 0x0f163b07038442ff, 0x0d9736bd068855b8, 0x0e0d8e930005e61c, 0x0df5a40b03988570,
0x0ee563d60f53acc9, 0x0d465d2b05959acc, 0x065759730bba26c8, 0x0c9e4d840f81a1a3, 0x0c3fbc4e08aa468a, 0x0481499300eeaa11, 0x08850a6f0611000d, 0x06709f67088337f9,
0x0b3730760597455f, 0x0e83f1af053ac0f5, 0x041f63c001dc6840, 0x097dea190b0c6f4b, 0x07f9d63b04c1572c, 0x0e692d4902d0f5f0, 0x0cbcb3920e83b4ad, 0x069c0f390ed9b1a8,
0x0ab13af4036bf8f4, 0x00bcf0a00dac8574, 0x0d50c8640f705045, 0x0c40e6110debc842, 0x0850104809bd5caa, 0x07c5050a0cec026f, 0x0f67d9430c8da6d1, 0x0de1da02078074c6,
0x079efcff0ed8f836, 0x06044238002b5504, 0x070a6e2904aab7dd, 0x020f75be015e7521, 0x062827c109bd5414, 0x06738e4205c48700, 0x0dd376180fde0ffa, 0x0bb2d65c001e1c3b,
0x0c903ee60d825540, 0x0add6c4c0f98473e, 0x07636efe0d4227f1, 0x0905124a0e55e772, 0x0e6b38fa0b12ed53, 0x045e132b0863fe55, 0x039746620edb366a, 0x0b17870502be8208,
0x0e748cd70b5c52f2, 0x0ea9df8803f89cc3, 0x018970df0156b6c7, 0x0c5a46c20a33a847, 0x0cbde3950e32aa09, 0x072474eb0b423140, 0x0fb000530086a23d, 0x01dafcfe022d4e1f,
0x059eb4ff0288a383, 0x0283876b0e3388ab, 0x0bdd229704a2543b, 0x059eef0f0e982d74, 0x097a5cf603dad778, 0x04bc60020aebc99f, 0x0c9a91d60118c690, 0x0383646102a527ab,
0x0006e34a035d9fbc, 0x0eee4e480b2f019a, 0x06b3447403003a5f, 0x0541d5140f04a7e3, 0x0e81f9ee07647455, 0x05e2b9160c438f81, 0x0116f81307b7eff0, 0x09bd3dec0c7039d1,
0x040f7e7c05b37bf2, 0x064e4dc801181bba, 0x0a8767ae02a366b6, 0x01496b4f090546f2, 0x02a284930f860441, 0x021f595103049a3a, 0x0852d3690a8b7ee3, 0x0dd2e7d80b7d30a9,
0x0fa2dd900bcbeef2, 0x0507d7740710de2a, 0x0b585ad100e7e373, 0x041f487e04b4f921, 0x0191c9d80212f81d, 0x01bc55cb0dd8d474, 0x017954bd0ba8827b, 0x004d6d3a0991ca44,
0x0e38abec0e3c82ab, 0x05a51f180a2c7a86, 0x09dafa2e086d592e, 0x0495a62e0b688678, 0x0b79df740c0eb212, 0x023e8cc708b75982, 0x05998cb901075e13, 0x0735aa9b0a61bc76,
0x0334f53003ea1222, 0x0dfb3dbe0b0a5d3e, 0x02940d95092335c1, 0x0706a7a603e8938a, 0x05a5335508bc4caf, 0x0558e331092022a9, 0x0970d9fa0f74c133, 0x02979fcb063493ca,
0x0260857d022419d7, 0x05e0387d077651f0, 0x08e0025e0d2eb499, 0x0c830b1305804c2a, 0x037f43db0d3a77f6, 0x08a4073d02f7379c, 0x072be0ce0503ad58, 0x0e6869d1030c78be,
0x0bfc5fa10e4ea21f, 0x0c21d7b60bb892e6, 0x0cf043f30acf0291, 0x0c13f2f8049b3c90, 0x0d1a97eb0ef10891, 0x061e130a0445e7fe, 0x019513fd0edbf22b, 0x01d60c8103bff841,
0x06e9f4750cccf2ee, 0x0454b9cd0506430c, 0x0224a4fb079ee479, 0x062e33470ef0b5e2, 0x034fd2a30512232a, 0x0b8b3cb00f457046, 0x0eb201650daa38ec, 0x0128eebc02d9c0f7,
0x0e6a9e380030fdec, 0x01c235970bc14288, 0x097156a406356df1, 0x0642048f00daca6a, 0x03970a6e07955fd4, 0x0a511e3305e3cfc6, 0x0548657506c85e31, 0x0465f1ab066a6190,
0x03e4964f0a8a8fc8, 0x0f6a1cdb0cf41689, 0x0943cb180fe7fda7, 0x0606dafb0f34440a, 0x05d37a860399c789, 0x0e79a2a609417403, 0x0fe34f7e068b8866, 0x011f448e0d2df10e,
0x0c79e0b60d97dfbd, 0x0917c71f0d2bc6e8, 0x0db7529c0cfb63d8, 0x0be5be9507f17866, 0x0a9e11fd0c2cdac1, 0x07b91a8e01f44443, 0x0a3065e40057d80f, 0x04825f5b08d5f6d4,
0x00e0a810033e033b, 0x0aec986e0e821eab, 0x0d1a4a480379273c, 0x0609b79a09e06304, 0x0e9618b40fe8f307, 0x06ffdfa500b50969, 0x095302240887ac0c, 0x020e7b360f0cef97,
0x0fd579ff0b691713, 0x0b76af4f081c412d, 0x0f239de906110f82, 0x0e965fb4037f0306, 0x0ca7e94306900921, 0x0e487f13025fa24a, 0x0633907d0e476380, 0x0721c62a0c5b8ea0,
0x0b37396c03320791, 0x0fc7b671075c5783, 0x0c36d2cd073ecc38, 0x080ebcc00b328fc5, 0x043a5b220b35d35d, 0x0466c9f10713c9da, 0x026ad3460dcaa8da, 0x07c684e7001183a6,
0x03f2ab1a0bd14b06, 0x0b129a8e08e37230, 0x048bc5b0083d5c64, 0x002606c102933a98, 0x0cf8051c0eec1a73, 0x0a755a88036c3ce6, 0x02dabaa900ca4cb9, 0x0b6e55250ddfc0f2,
0x0c4a1fb408635413, 0x0b5dd544023ad59f, 0x09ff5d530fd24a88, 0x03c98d2607fc06a7, 0x02db7cb200013641, 0x0bd1d67106e191f2, 0x06dbc8b209094241, 0x044bbf2303dafa2c,
0x0dff31030786ff34, 0x001445530b1f20c3, 0x095613ba0eb930e4, 0x00980582075ea5d4, 0x07cd14020b046756, 0x074d74e40d58aee3, 0x05f93fc3043ff69b, 0x0873df170296b3b0,
0x0aa7c72b0e0ace19, 0x04095d220fc37e4d, 0x0a7d85f90e3b7c61, 0x0ff21d3404c9553c, 0x0d105d62068e8b86, 0x00616d7303758845, 0x03ecb4ba07210610, 0x06a75e7d0ddc03b7,
0x07860d990db787cf, 0x0fda89830018f4a8, 0x08c8866b0ac4743c, 0x0ef471f804c82a3f, 0x0abea59706d3b8e7, 0x07148828096cd015, 0x0b49fae5084ddac5, 0x08e33a1a00b69c81,
0x00a9ee230c06881f, 0x02c727d30d871945, 0x0f47d9710512d24a, 0x0671e8160f9ef31a, 0x0883af2c0faad673, 0x0601f985083d6c9a, 0x0b435f5a0dc79655, 0x0ad87b710c04bff2,
0x084911d306175613, 0x0dbaa244027629dd, 0x09b6f30b01554fc7, 0x026da0930cf7ea9e, 0x0eac4cfb08218c7c, 0x0c4bde0704231490, 0x089e5b5a0fb62587, 0x067fcb730adfdbcc,
0x0eebfd4e02312cc3, 0x0474b25604e4fc8c, 0x03303ef104b1da9b, 0x03c93e0e066beb1d, 0x013619b00566925a, 0x08817c240d901bf3, 0x0b62bd88098d218b, 0x075a77160f1e88a2,
0x07f8a43d0a97dd5c, 0x0058539c0800fc7b, 0x040f3cf50a28414a, 0x0d68dd0d095283d6, 0x04adce9d0a90146e, 0x0befa41c07d4f908, 0x07603bc20e3c3060, 0x0bdf360a0b3545db,
0x0f6de7250e1976f0, 0x0d96f80a002fda8a, 0x0b25412a00e629fa, 0x0c540e7e078fdb62, 0x04ad02fb07336d3a, 0x04922ae10bea5a3a, 0x026147d402d4bfeb, 0x0d379a5b0c4b94bc,
0x0c338b9105d8fef0, 0x0a8932920045c39a, 0x028ab4f20eba6887, 0x060743cb0519fd61, 0x0062139604093ac0, 0x07c0b7a403f6266d, 0x08e3557c04fa5bda, 0x02da976d0e7b8d9d,
0x0700471809452f4c, 0x0f7ad12e01ce78d5, 0x0af1ba510ec44a8b, 0x05f39f630e667cd6, 0x0058eac40648425e, 0x0d7fdab402bea03b, 0x028576a50688de15, 0x0af9732009e77c10,
0x0b78d60705749232, 0x001dc47a033b2cdc, 0x018c7b2e091b24f1, 0x0b5bdc680f9876bd, 0x013f489c0cba2b44, 0x03b88460066128de, 0x03d6252c08884dcf, 0x0e3ae84b09908209,
0x0aa22610022d883f, 0x0ebcca45048010ac, 0x025285120e28a437, 0x070ca76706b66082, 0x084bda1700f7c6d3, 0x0581b47407c9b8bb, 0x05c96a010061c7e2, 0x0fb7c4a3062b5273,
0x06366c3800f7b574, 0x01c7d1f009ff0438, 0x03e20a73001f5b22, 0x0d3efb19016d28f6, 0x049f4f810060ce83, 0x0c69d91e0a43ced1, 0x02b6f3e50cd269ed, 0x05b0fb220ce9ec65,
0x03cffdf104aed2fd, 0x09f0d77d07c5b2d9, 0x04812ec401321d9f, 0x08a1448b0ddf0916, 0x08fef860030175df, 0x0e3d7032000a76c7, 0x0d1babb4070b2094, 0x09f3a43b00e5828c,
0x0a947000032a093f, 0x076e96c2025216e7, 0x0a63a43106e45f91, 0x07d8bbb40645d3b2, 0x0340a6ff022793eb, 0x06f935d40572aeb7, 0x0b1fb69f000afa28, 0x09e8f34203161ed3,
0x0ae307cf0069f701, 0x05859f2202dd618b, 0x0212d6c406ec0b0d, 0x0a0fe46402afb62d, 0x0420d8e40a0a8903, 0x0a80ff6309bdf7b0, 0x019bee14090b5d8e, 0x07439e4b09c27a86,
0x0610b63904a312e8, 0x05aaa19d096160f5, 0x08190e2806138c4a, 0x065387960a5cd53b, 0x0fe288040432a97c, 0x07315e0101f55112, 0x00bd41570d5acb9d, 0x0d1b954609350336,
0x060db8150bc4786c, 0x06fab25b0eedc434, 0x0c610d060084797c, 0x00c48f080537bec0, 0x031aba510c5b93da, 0x07968fa60e01f347, 0x030070da052840c6, 0x0c043c2205a4837f,
0x051cfcc50885377a, 0x0dce566c0b1803ca, 0x0430c76403f2c7d4, 0x0dce1a13037bdcc0, 0x010d5bd70283c128, 0x03b1b5470f9b46fe, 0x00f245e307e770ab, 0x07b725110f022b37,
0x0e4302ff09b6116c, 0x092314b801d5f02a, 0x00d314250f30702f, 0x049462620e04213c, 0x07ead9d109b6f9ed, 0x01080a310ce8989f, 0x01b632f306672a74, 0x0a03933d09645a83,
0x04a29029026f8d3f, 0x0ad79b420637ab75, 0x088f60b900f2d4e8, 0x030f54ef00e398c4, 0x0021dc9b0f99681e, 0x07ebf66f0de74ee3, 0x04ade6540386e9a4, 0x0e74850606be4c27,
0x089402110aa0d633, 0x0addae280136571d, 0x0d68fdbb0a20d673, 0x03bc61290bc9e21a, 0x00346cf1084ebe9a, 0x068774d7041ebc7f, 0x019d5e9e06966557, 0x003cbd7f0981b651,
0x0bba0ed90c67c41f, 0x0b30c8e2025ba195, 0x08bb57620a5cef18, 0x0e0df31b006fb7cc, 0x018b9121041991d5, 0x0f6ed54e0093eac2, 0x009e2882064dbbb3, 0x0feb6632099b89ef,
}
decafPrecompTable64.base = t[:]
decafPrecompTable64.scalarAdjustment = &scalar{
0x4a7bb0cf, 0xc873d6d5,
0x23a70aad, 0xe933d8d7,
0x129c96fd, 0xbb124b65,
0x335dc163, 0x00000008,
0x00000000, 0x00000000,
0x00000000, 0x00000000,
0x00000000, 0x00000000,
}
}