loaded E_n mod 2^64 for n <= 1048832 from E.bin
uint64 values agree with exact E_n mod 2^64 for n <= 400
 k   u_k=F(k)  D=pred d   (a) (b) (c) (d:s_emp) (e)   window/D
 1        2          2    1   1   1        2      True   524415.0
 2        4          2    1   1   1        4      True   524414.0
 3        4          8    1   1   1        4      True   131103.5
 4        4         16    1   1   1        4      True   65551.8
 5        8         32    1   1   1        8      True   32775.8
 6        8         64    1   1   1        8      True   16387.9
 7        8        128    1   1   1        8      True   8193.9
 8        8        256    1   1   1        8      True   4097.0
 9       10        512    1   1   1       10      True   2048.5
10       12       1024    1   1   1       12      True   1024.2
11       12       2048    1   1   1       12      True   512.1
12       16       4096    1   1   1       16      True   256.1
13       16       8192    1   1   1       16      True   128.0
14       16      16384    1   1   1       16      True   64.0
15       16      32768    1   1   1       16      True   32.0
16       16      65536    1   1   1       16      True   16.0
17       18     131072    1   1   1       18      True   8.0
18       20     262144    1   1   1       20      True   4.0
19       20     524288    1   1   1       20      True   2.0
d(4) check: E_n mod 4 for n = 0..20: [1, 1, 1, 2, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1]
TOTAL FAILURES: 0
total time 0.3s
