summaryrefslogtreecommitdiffstats
path: root/tools/testfiles/tnoddl.ddl
blob: dc19888bac7a7d16db5601afa0f82d2aefdf95a0 (plain)
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
393
394
395
396
397
398
399
400
401
402

         -1, -2, -4, -8, -16, -32, -64, -128,
         -2, -4, -8, -16, -32, -64, -128, 0,
         -4, -8, -16, -32, -64, -128, 0, 0,
         -8, -16, -32, -64, -128, 0, 0, 0,
         -16, -32, -64, -128, 0, 0, 0, 0,
         -32, -64, -128, 0, 0, 0, 0, 0,
         -64, -128, 0, 0, 0, 0, 0, 0,
         -128, 0, 0, 0, 0, 0, 0, 0
         -1, -2, -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096,
         -8192, -16384, -32768,
         -2, -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096,
         -8192, -16384, -32768, 0,
         -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192,
         -16384, -32768, 0, 0,
         -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192,
         -16384, -32768, 0, 0, 0,
         -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384,
         -32768, 0, 0, 0, 0,
         -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768,
         0, 0, 0, 0, 0,
         -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768, 0,
         0, 0, 0, 0, 0,
         -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768, 0, 0, 0,
         0, 0, 0, 0
         -1, -2, -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096,
         -8192, -16384, -32768, -65536, -131072, -262144, -524288, -1048576,
         -2097152, -4194304, -8388608, -16777216, -33554432, -67108864,
         -134217728, -268435456, -536870912, -1073741824, -2147483648,
         -2, -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096,
         -8192, -16384, -32768, -65536, -131072, -262144, -524288, -1048576,
         -2097152, -4194304, -8388608, -16777216, -33554432, -67108864,
         -134217728, -268435456, -536870912, -1073741824, -2147483648, 0,
         -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192,
         -16384, -32768, -65536, -131072, -262144, -524288, -1048576, -2097152,
         -4194304, -8388608, -16777216, -33554432, -67108864, -134217728,
         -268435456, -536870912, -1073741824, -2147483648, 0, 0,
         -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192,
         -16384, -32768, -65536, -131072, -262144, -524288, -1048576, -2097152,
         -4194304, -8388608, -16777216, -33554432, -67108864, -134217728,
         -268435456, -536870912, -1073741824, -2147483648, 0, 0, 0,
         -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384,
         -32768, -65536, -131072, -262144, -524288, -1048576, -2097152,
         -4194304, -8388608, -16777216, -33554432, -67108864, -134217728,
         -268435456, -536870912, -1073741824, -2147483648, 0, 0, 0, 0,
         -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768,
         -65536, -131072, -262144, -524288, -1048576, -2097152, -4194304,
         -8388608, -16777216, -33554432, -67108864, -134217728, -268435456,
         -536870912, -1073741824, -2147483648, 0, 0, 0, 0, 0,
         -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768,
         -65536, -131072, -262144, -524288, -1048576, -2097152, -4194304,
         -8388608, -16777216, -33554432, -67108864, -134217728, -268435456,
         -536870912, -1073741824, -2147483648, 0, 0, 0, 0, 0, 0,
         -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768, -65536,
         -131072, -262144, -524288, -1048576, -2097152, -4194304, -8388608,
         -16777216, -33554432, -67108864, -134217728, -268435456, -536870912,
         -1073741824, -2147483648, 0, 0, 0, 0, 0, 0, 0
         -1, -2, -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096,
         -8192, -16384, -32768, -65536, -131072, -262144, -524288, -1048576,
         -2097152, -4194304, -8388608, -16777216, -33554432, -67108864,
         -134217728, -268435456, -536870912, -1073741824, -2147483648,
         -4294967296, -8589934592, -17179869184, -34359738368, -68719476736,
         -137438953472, -274877906944, -549755813888, -1099511627776,
         -2199023255552, -4398046511104, -8796093022208, -17592186044416,
         -35184372088832, -70368744177664, -140737488355328, -281474976710656,
         -562949953421312, -1125899906842624, -2251799813685248,
         -4503599627370496, -9007199254740992, -18014398509481984,
         -36028797018963968, -72057594037927936, -144115188075855872,
         -288230376151711744, -576460752303423488, -1152921504606846976,
         -2305843009213693952, -4611686018427387904, -9223372036854775808,
         -2, -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096,
         -8192, -16384, -32768, -65536, -131072, -262144, -524288, -1048576,
         -2097152, -4194304, -8388608, -16777216, -33554432, -67108864,
         -134217728, -268435456, -536870912, -1073741824, -2147483648,
         -4294967296, -8589934592, -17179869184, -34359738368, -68719476736,
         -137438953472, -274877906944, -549755813888, -1099511627776,
         -2199023255552, -4398046511104, -8796093022208, -17592186044416,
         -35184372088832, -70368744177664, -140737488355328, -281474976710656,
         -562949953421312, -1125899906842624, -2251799813685248,
         -4503599627370496, -9007199254740992, -18014398509481984,
         -36028797018963968, -72057594037927936, -144115188075855872,
         -288230376151711744, -576460752303423488, -1152921504606846976,
         -2305843009213693952, -4611686018427387904, -9223372036854775808, 0,
         -4, -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192,
         -16384, -32768, -65536, -131072, -262144, -524288, -1048576, -2097152,
         -4194304, -8388608, -16777216, -33554432, -67108864, -134217728,
         -268435456, -536870912, -1073741824, -2147483648, -4294967296,
         -8589934592, -17179869184, -34359738368, -68719476736, -137438953472,
         -274877906944, -549755813888, -1099511627776, -2199023255552,
         -4398046511104, -8796093022208, -17592186044416, -35184372088832,
         -70368744177664, -140737488355328, -281474976710656, -562949953421312,
         -1125899906842624, -2251799813685248, -4503599627370496,
         -9007199254740992, -18014398509481984, -36028797018963968,
         -72057594037927936, -144115188075855872, -288230376151711744,
         -576460752303423488, -1152921504606846976, -2305843009213693952,
         -4611686018427387904, -9223372036854775808, 0, 0,
         -8, -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192,
         -16384, -32768, -65536, -131072, -262144, -524288, -1048576, -2097152,
         -4194304, -8388608, -16777216, -33554432, -67108864, -134217728,
         -268435456, -536870912, -1073741824, -2147483648, -4294967296,
         -8589934592, -17179869184, -34359738368, -68719476736, -137438953472,
         -274877906944, -549755813888, -1099511627776, -2199023255552,
         -4398046511104, -8796093022208, -17592186044416, -35184372088832,
         -70368744177664, -140737488355328, -281474976710656, -562949953421312,
         -1125899906842624, -2251799813685248, -4503599627370496,
         -9007199254740992, -18014398509481984, -36028797018963968,
         -72057594037927936, -144115188075855872, -288230376151711744,
         -576460752303423488, -1152921504606846976, -2305843009213693952,
         -4611686018427387904, -9223372036854775808, 0, 0, 0,
         -16, -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384,
         -32768, -65536, -131072, -262144, -524288, -1048576, -2097152,
         -4194304, -8388608, -16777216, -33554432, -67108864, -134217728,
         -268435456, -536870912, -1073741824, -2147483648, -4294967296,
         -8589934592, -17179869184, -34359738368, -68719476736, -137438953472,
         -274877906944, -549755813888, -1099511627776, -2199023255552,
         -4398046511104, -8796093022208, -17592186044416, -35184372088832,
         -70368744177664, -140737488355328, -281474976710656, -562949953421312,
         -1125899906842624, -2251799813685248, -4503599627370496,
         -9007199254740992, -18014398509481984, -36028797018963968,
         -72057594037927936, -144115188075855872, -288230376151711744,
         -576460752303423488, -1152921504606846976, -2305843009213693952,
         -4611686018427387904, -9223372036854775808, 0, 0, 0, 0,
         -32, -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768,
         -65536, -131072, -262144, -524288, -1048576, -2097152, -4194304,
         -8388608, -16777216, -33554432, -67108864, -134217728, -268435456,
         -536870912, -1073741824, -2147483648, -4294967296, -8589934592,
         -17179869184, -34359738368, -68719476736, -137438953472, -274877906944,
         -549755813888, -1099511627776, -2199023255552, -4398046511104,
         -8796093022208, -17592186044416, -35184372088832, -70368744177664,
         -140737488355328, -281474976710656, -562949953421312,
         -1125899906842624, -2251799813685248, -4503599627370496,
         -9007199254740992, -18014398509481984, -36028797018963968,
         -72057594037927936, -144115188075855872, -288230376151711744,
         -576460752303423488, -1152921504606846976, -2305843009213693952,
         -4611686018427387904, -9223372036854775808, 0, 0, 0, 0, 0,
         -64, -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768,
         -65536, -131072, -262144, -524288, -1048576, -2097152, -4194304,
         -8388608, -16777216, -33554432, -67108864, -134217728, -268435456,
         -536870912, -1073741824, -2147483648, -4294967296, -8589934592,
         -17179869184, -34359738368, -68719476736, -137438953472, -274877906944,
         -549755813888, -1099511627776, -2199023255552, -4398046511104,
         -8796093022208, -17592186044416, -35184372088832, -70368744177664,
         -140737488355328, -281474976710656, -562949953421312,
         -1125899906842624, -2251799813685248, -4503599627370496,
         -9007199254740992, -18014398509481984, -36028797018963968,
         -72057594037927936, -144115188075855872, -288230376151711744,
         -576460752303423488, -1152921504606846976, -2305843009213693952,
         -4611686018427387904, -9223372036854775808, 0, 0, 0, 0, 0, 0,
         -128, -256, -512, -1024, -2048, -4096, -8192, -16384, -32768, -65536,
         -131072, -262144, -524288, -1048576, -2097152, -4194304, -8388608,
         -16777216, -33554432, -67108864, -134217728, -268435456, -536870912,
         -1073741824, -2147483648, -4294967296, -8589934592, -17179869184,
         -34359738368, -68719476736, -137438953472, -274877906944,
         -549755813888, -1099511627776, -2199023255552, -4398046511104,
         -8796093022208, -17592186044416, -35184372088832, -70368744177664,
         -140737488355328, -281474976710656, -562949953421312,
         -1125899906842624, -2251799813685248, -4503599627370496,
         -9007199254740992, -18014398509481984, -36028797018963968,
         -72057594037927936, -144115188075855872, -288230376151711744,
         -576460752303423488, -1152921504606846976, -2305843009213693952,
         -4611686018427387904, -9223372036854775808, 0, 0, 0, 0, 0, 0, 0
         255, 254, 252, 248, 240, 224, 192, 128,
         254, 252, 248, 240, 224, 192, 128, 0,
         252, 248, 240, 224, 192, 128, 0, 0,
         248, 240, 224, 192, 128, 0, 0, 0,
         240, 224, 192, 128, 0, 0, 0, 0,
         224, 192, 128, 0, 0, 0, 0, 0,
         192, 128, 0, 0, 0, 0, 0, 0,
         128, 0, 0, 0, 0, 0, 0, 0
         65535, 65534, 65532, 65528, 65520, 65504, 65472, 65408, 65280, 65024,
         64512, 63488, 61440, 57344, 49152, 32768,
         65534, 65532, 65528, 65520, 65504, 65472, 65408, 65280, 65024, 64512,
         63488, 61440, 57344, 49152, 32768, 0,
         65532, 65528, 65520, 65504, 65472, 65408, 65280, 65024, 64512, 63488,
         61440, 57344, 49152, 32768, 0, 0,
         65528, 65520, 65504, 65472, 65408, 65280, 65024, 64512, 63488, 61440,
         57344, 49152, 32768, 0, 0, 0,
         65520, 65504, 65472, 65408, 65280, 65024, 64512, 63488, 61440, 57344,
         49152, 32768, 0, 0, 0, 0,
         65504, 65472, 65408, 65280, 65024, 64512, 63488, 61440, 57344, 49152,
         32768, 0, 0, 0, 0, 0,
         65472, 65408, 65280, 65024, 64512, 63488, 61440, 57344, 49152, 32768,
         0, 0, 0, 0, 0, 0,
         65408, 65280, 65024, 64512, 63488, 61440, 57344, 49152, 32768, 0, 0, 0,
         0, 0, 0, 0
         4294967295, 4294967294, 4294967292, 4294967288, 4294967280, 4294967264,
         4294967232, 4294967168, 4294967040, 4294966784, 4294966272, 4294965248,
         4294963200, 4294959104, 4294950912, 4294934528, 4294901760, 4294836224,
         4294705152, 4294443008, 4293918720, 4292870144, 4290772992, 4286578688,
         4278190080, 4261412864, 4227858432, 4160749568, 4026531840, 3758096384,
         3221225472, 2147483648,
         4294967294, 4294967292, 4294967288, 4294967280, 4294967264, 4294967232,
         4294967168, 4294967040, 4294966784, 4294966272, 4294965248, 4294963200,
         4294959104, 4294950912, 4294934528, 4294901760, 4294836224, 4294705152,
         4294443008, 4293918720, 4292870144, 4290772992, 4286578688, 4278190080,
         4261412864, 4227858432, 4160749568, 4026531840, 3758096384, 3221225472,
         2147483648, 0,
         4294967292, 4294967288, 4294967280, 4294967264, 4294967232, 4294967168,
         4294967040, 4294966784, 4294966272, 4294965248, 4294963200, 4294959104,
         4294950912, 4294934528, 4294901760, 4294836224, 4294705152, 4294443008,
         4293918720, 4292870144, 4290772992, 4286578688, 4278190080, 4261412864,
         4227858432, 4160749568, 4026531840, 3758096384, 3221225472, 2147483648,
         0, 0,
         4294967288, 4294967280, 4294967264, 4294967232, 4294967168, 4294967040,
         4294966784, 4294966272, 4294965248, 4294963200, 4294959104, 4294950912,
         4294934528, 4294901760, 4294836224, 4294705152, 4294443008, 4293918720,
         4292870144, 4290772992, 4286578688, 4278190080, 4261412864, 4227858432,
         4160749568, 4026531840, 3758096384, 3221225472, 2147483648, 0, 0, 0,
         4294967280, 4294967264, 4294967232, 4294967168, 4294967040, 4294966784,
         4294966272, 4294965248, 4294963200, 4294959104, 4294950912, 4294934528,
         4294901760, 4294836224, 4294705152, 4294443008, 4293918720, 4292870144,
         4290772992, 4286578688, 4278190080, 4261412864, 4227858432, 4160749568,
         4026531840, 3758096384, 3221225472, 2147483648, 0, 0, 0, 0,
         4294967264, 4294967232, 4294967168, 4294967040, 4294966784, 4294966272,
         4294965248, 4294963200, 4294959104, 4294950912, 4294934528, 4294901760,
         4294836224, 4294705152, 4294443008, 4293918720, 4292870144, 4290772992,
         4286578688, 4278190080, 4261412864, 4227858432, 4160749568, 4026531840,
         3758096384, 3221225472, 2147483648, 0, 0, 0, 0, 0,
         4294967232, 4294967168, 4294967040, 4294966784, 4294966272, 4294965248,
         4294963200, 4294959104, 4294950912, 4294934528, 4294901760, 4294836224,
         4294705152, 4294443008, 4293918720, 4292870144, 4290772992, 4286578688,
         4278190080, 4261412864, 4227858432, 4160749568, 4026531840, 3758096384,
         3221225472, 2147483648, 0, 0, 0, 0, 0, 0,
         4294967168, 4294967040, 4294966784, 4294966272, 4294965248, 4294963200,
         4294959104, 4294950912, 4294934528, 4294901760, 4294836224, 4294705152,
         4294443008, 4293918720, 4292870144, 4290772992, 4286578688, 4278190080,
         4261412864, 4227858432, 4160749568, 4026531840, 3758096384, 3221225472,
         2147483648, 0, 0, 0, 0, 0, 0, 0
         18446744073709551615, 18446744073709551614, 18446744073709551612,
         18446744073709551608, 18446744073709551600, 18446744073709551584,
         18446744073709551552, 18446744073709551488, 18446744073709551360,
         18446744073709551104, 18446744073709550592, 18446744073709549568,
         18446744073709547520, 18446744073709543424, 18446744073709535232,
         18446744073709518848, 18446744073709486080, 18446744073709420544,
         18446744073709289472, 18446744073709027328, 18446744073708503040,
         18446744073707454464, 18446744073705357312, 18446744073701163008,
         18446744073692774400, 18446744073675997184, 18446744073642442752,
         18446744073575333888, 18446744073441116160, 18446744073172680704,
         18446744072635809792, 18446744071562067968, 18446744069414584320,
         18446744065119617024, 18446744056529682432, 18446744039349813248,
         18446744004990074880, 18446743936270598144, 18446743798831644672,
         18446743523953737728, 18446742974197923840, 18446741874686296064,
         18446739675663040512, 18446735277616529408, 18446726481523507200,
         18446708889337462784, 18446673704965373952, 18446603336221196288,
         18446462598732840960, 18446181123756130304, 18445618173802708992,
         18444492273895866368, 18442240474082181120, 18437736874454810624,
         18428729675200069632, 18410715276690587648, 18374686479671623680,
         18302628885633695744, 18158513697557839872, 17870283321406128128,
         17293822569102704640, 16140901064495857664, 13835058055282163712,
         9223372036854775808,
         18446744073709551614, 18446744073709551612, 18446744073709551608,
         18446744073709551600, 18446744073709551584, 18446744073709551552,
         18446744073709551488, 18446744073709551360, 18446744073709551104,
         18446744073709550592, 18446744073709549568, 18446744073709547520,
         18446744073709543424, 18446744073709535232, 18446744073709518848,
         18446744073709486080, 18446744073709420544, 18446744073709289472,
         18446744073709027328, 18446744073708503040, 18446744073707454464,
         18446744073705357312, 18446744073701163008, 18446744073692774400,
         18446744073675997184, 18446744073642442752, 18446744073575333888,
         18446744073441116160, 18446744073172680704, 18446744072635809792,
         18446744071562067968, 18446744069414584320, 18446744065119617024,
         18446744056529682432, 18446744039349813248, 18446744004990074880,
         18446743936270598144, 18446743798831644672, 18446743523953737728,
         18446742974197923840, 18446741874686296064, 18446739675663040512,
         18446735277616529408, 18446726481523507200, 18446708889337462784,
         18446673704965373952, 18446603336221196288, 18446462598732840960,
         18446181123756130304, 18445618173802708992, 18444492273895866368,
         18442240474082181120, 18437736874454810624, 18428729675200069632,
         18410715276690587648, 18374686479671623680, 18302628885633695744,
         18158513697557839872, 17870283321406128128, 17293822569102704640,
         16140901064495857664, 13835058055282163712, 9223372036854775808, 0,
         18446744073709551612, 18446744073709551608, 18446744073709551600,
         18446744073709551584, 18446744073709551552, 18446744073709551488,
         18446744073709551360, 18446744073709551104, 18446744073709550592,
         18446744073709549568, 18446744073709547520, 18446744073709543424,
         18446744073709535232, 18446744073709518848, 18446744073709486080,
         18446744073709420544, 18446744073709289472, 18446744073709027328,
         18446744073708503040, 18446744073707454464, 18446744073705357312,
         18446744073701163008, 18446744073692774400, 18446744073675997184,
         18446744073642442752, 18446744073575333888, 18446744073441116160,
         18446744073172680704, 18446744072635809792, 18446744071562067968,
         18446744069414584320, 18446744065119617024, 18446744056529682432,
         18446744039349813248, 18446744004990074880, 18446743936270598144,
         18446743798831644672, 18446743523953737728, 18446742974197923840,
         18446741874686296064, 18446739675663040512, 18446735277616529408,
         18446726481523507200, 18446708889337462784, 18446673704965373952,
         18446603336221196288, 18446462598732840960, 18446181123756130304,
         18445618173802708992, 18444492273895866368, 18442240474082181120,
         18437736874454810624, 18428729675200069632, 18410715276690587648,
         18374686479671623680, 18302628885633695744, 18158513697557839872,
         17870283321406128128, 17293822569102704640, 16140901064495857664,
         13835058055282163712, 9223372036854775808, 0, 0,
         18446744073709551608, 18446744073709551600, 18446744073709551584,
         18446744073709551552, 18446744073709551488, 18446744073709551360,
         18446744073709551104, 18446744073709550592, 18446744073709549568,
         18446744073709547520, 18446744073709543424, 18446744073709535232,
         18446744073709518848, 18446744073709486080, 18446744073709420544,
         18446744073709289472, 18446744073709027328, 18446744073708503040,
         18446744073707454464, 18446744073705357312, 18446744073701163008,
         18446744073692774400, 18446744073675997184, 18446744073642442752,
         18446744073575333888, 18446744073441116160, 18446744073172680704,
         18446744072635809792, 18446744071562067968, 18446744069414584320,
         18446744065119617024, 18446744056529682432, 18446744039349813248,
         18446744004990074880, 18446743936270598144, 18446743798831644672,
         18446743523953737728, 18446742974197923840, 18446741874686296064,
         18446739675663040512, 18446735277616529408, 18446726481523507200,
         18446708889337462784, 18446673704965373952, 18446603336221196288,
         18446462598732840960, 18446181123756130304, 18445618173802708992,
         18444492273895866368, 18442240474082181120, 18437736874454810624,
         18428729675200069632, 18410715276690587648, 18374686479671623680,
         18302628885633695744, 18158513697557839872, 17870283321406128128,
         17293822569102704640, 16140901064495857664, 13835058055282163712,
         9223372036854775808, 0, 0, 0,
         18446744073709551600, 18446744073709551584, 18446744073709551552,
         18446744073709551488, 18446744073709551360, 18446744073709551104,
         18446744073709550592, 18446744073709549568, 18446744073709547520,
         18446744073709543424, 18446744073709535232, 18446744073709518848,
         18446744073709486080, 18446744073709420544, 18446744073709289472,
         18446744073709027328, 18446744073708503040, 18446744073707454464,
         18446744073705357312, 18446744073701163008, 18446744073692774400,
         18446744073675997184, 18446744073642442752, 18446744073575333888,
         18446744073441116160, 18446744073172680704, 18446744072635809792,
         18446744071562067968, 18446744069414584320, 18446744065119617024,
         18446744056529682432, 18446744039349813248, 18446744004990074880,
         18446743936270598144, 18446743798831644672, 18446743523953737728,
         18446742974197923840, 18446741874686296064, 18446739675663040512,
         18446735277616529408, 18446726481523507200, 18446708889337462784,
         18446673704965373952, 18446603336221196288, 18446462598732840960,
         18446181123756130304, 18445618173802708992, 18444492273895866368,
         18442240474082181120, 18437736874454810624, 18428729675200069632,
         18410715276690587648, 18374686479671623680, 18302628885633695744,
         18158513697557839872, 17870283321406128128, 17293822569102704640,
         16140901064495857664, 13835058055282163712, 9223372036854775808, 0, 0,
         0, 0,
         18446744073709551584, 18446744073709551552, 18446744073709551488,
         18446744073709551360, 18446744073709551104, 18446744073709550592,
         18446744073709549568, 18446744073709547520, 18446744073709543424,
         18446744073709535232, 18446744073709518848, 18446744073709486080,
         18446744073709420544, 18446744073709289472, 18446744073709027328,
         18446744073708503040, 18446744073707454464, 18446744073705357312,
         18446744073701163008, 18446744073692774400, 18446744073675997184,
         18446744073642442752, 18446744073575333888, 18446744073441116160,
         18446744073172680704, 18446744072635809792, 18446744071562067968,
         18446744069414584320, 18446744065119617024, 18446744056529682432,
         18446744039349813248, 18446744004990074880, 18446743936270598144,
         18446743798831644672, 18446743523953737728, 18446742974197923840,
         18446741874686296064, 18446739675663040512, 18446735277616529408,
         18446726481523507200, 18446708889337462784, 18446673704965373952,
         18446603336221196288, 18446462598732840960, 18446181123756130304,
         18445618173802708992, 18444492273895866368, 18442240474082181120,
         18437736874454810624, 18428729675200069632, 18410715276690587648,
         18374686479671623680, 18302628885633695744, 18158513697557839872,
         17870283321406128128, 17293822569102704640, 16140901064495857664,
         13835058055282163712, 9223372036854775808, 0, 0, 0, 0, 0,
         18446744073709551552, 18446744073709551488, 18446744073709551360,
         18446744073709551104, 18446744073709550592, 18446744073709549568,
         18446744073709547520, 18446744073709543424, 18446744073709535232,
         18446744073709518848, 18446744073709486080, 18446744073709420544,
         18446744073709289472, 18446744073709027328, 18446744073708503040,
         18446744073707454464, 18446744073705357312, 18446744073701163008,
         18446744073692774400, 18446744073675997184, 18446744073642442752,
         18446744073575333888, 18446744073441116160, 18446744073172680704,
         18446744072635809792, 18446744071562067968, 18446744069414584320,
         18446744065119617024, 18446744056529682432, 18446744039349813248,
         18446744004990074880, 18446743936270598144, 18446743798831644672,
         18446743523953737728, 18446742974197923840, 18446741874686296064,
         18446739675663040512, 18446735277616529408, 18446726481523507200,
         18446708889337462784, 18446673704965373952, 18446603336221196288,
         18446462598732840960, 18446181123756130304, 18445618173802708992,
         18444492273895866368, 18442240474082181120, 18437736874454810624,
         18428729675200069632, 18410715276690587648, 18374686479671623680,
         18302628885633695744, 18158513697557839872, 17870283321406128128,
         17293822569102704640, 16140901064495857664, 13835058055282163712,
         9223372036854775808, 0, 0, 0, 0, 0, 0,
         18446744073709551488, 18446744073709551360, 18446744073709551104,
         18446744073709550592, 18446744073709549568, 18446744073709547520,
         18446744073709543424, 18446744073709535232, 18446744073709518848,
         18446744073709486080, 18446744073709420544, 18446744073709289472,
         18446744073709027328, 18446744073708503040, 18446744073707454464,
         18446744073705357312, 18446744073701163008, 18446744073692774400,
         18446744073675997184, 18446744073642442752, 18446744073575333888,
         18446744073441116160, 18446744073172680704, 18446744072635809792,
         18446744071562067968, 18446744069414584320, 18446744065119617024,
         18446744056529682432, 18446744039349813248, 18446744004990074880,
         18446743936270598144, 18446743798831644672, 18446743523953737728,
         18446742974197923840, 18446741874686296064, 18446739675663040512,
         18446735277616529408, 18446726481523507200, 18446708889337462784,
         18446673704965373952, 18446603336221196288, 18446462598732840960,
         18446181123756130304, 18445618173802708992, 18444492273895866368,
         18442240474082181120, 18437736874454810624, 18428729675200069632,
         18410715276690587648, 18374686479671623680, 18302628885633695744,
         18158513697557839872, 17870283321406128128, 17293822569102704640,
         16140901064495857664, 13835058055282163712, 9223372036854775808, 0, 0,
         0, 0, 0, 0, 0
         0, 0.0001, 0.0002, 0.0003, 0.0004, 0.0005, 0.0006, 0.0007,
         1, 1.0001, 1.0002, 1.0003, 1.0004, 1.0005, 1.0006, 1.0007,
         2, 2.0001, 2.0002, 2.0003, 2.0004, 2.0005, 2.0006, 2.0007,
         3, 3.0001, 3.0002, 3.0003, 3.0004, 3.0005, 3.0006, 3.0007,
         4, 4.0001, 4.0002, 4.0003, 4.0004, 4.0005, 4.0006, 4.0007,
         5, 5.0001, 5.0002, 5.0003, 5.0004, 5.0005, 5.0006, 5.0007,
         6, 6.0001, 6.0002, 6.0003, 6.0004, 6.0005, 6.0006, 6.0007,
         7, 7.0001, 7.0002, 7.0003, 7.0004, 7.0005, 7.0006, 7.0007