PASS E_0..E_12 correct
PASS tangent numbers: v2(T_{2j-1}) = 2j-2-v2(j) mod 2^64 for all 2j-1 <= 1048896
PASS S_2m = 1 mod 4 for 2m <= 1048896
k= 1  observed preperiod 2 (u_k=2)  observed least period 2 (claimed 2)  least period of the tail from preperiod-1: 1048895 (> half the window)  OK
k= 2  observed preperiod 4 (u_k=4)  observed least period 2 (claimed 2)  least period of the tail from preperiod-1: 1048894 (> half the window)  OK
k= 3  observed preperiod 4 (u_k=4)  observed least period 8 (claimed 8)  least period of the tail from preperiod-1: 1048894 (> half the window)  OK
k= 4  observed preperiod 4 (u_k=4)  observed least period 16 (claimed 16)  least period of the tail from preperiod-1: 1048894 (> half the window)  OK
k= 5  observed preperiod 8 (u_k=8)  observed least period 32 (claimed 32)  least period of the tail from preperiod-1: 1048890 (> half the window)  OK
k= 6  observed preperiod 8 (u_k=8)  observed least period 64 (claimed 64)  least period of the tail from preperiod-1: 1048890 (> half the window)  OK
k= 7  observed preperiod 8 (u_k=8)  observed least period 128 (claimed 128)  least period of the tail from preperiod-1: 1048890 (> half the window)  OK
k= 8  observed preperiod 8 (u_k=8)  observed least period 256 (claimed 256)  least period of the tail from preperiod-1: 1048890 (> half the window)  OK
k= 9  observed preperiod 10 (u_k=10)  observed least period 512 (claimed 512)  least period of the tail from preperiod-1: 1048888 (> half the window)  OK
k=10  observed preperiod 12 (u_k=12)  observed least period 1024 (claimed 1024)  least period of the tail from preperiod-1: 1048886 (> half the window)  OK
k=11  observed preperiod 12 (u_k=12)  observed least period 2048 (claimed 2048)  least period of the tail from preperiod-1: 1048886 (> half the window)  OK
k=12  observed preperiod 16 (u_k=16)  observed least period 4096 (claimed 4096)  least period of the tail from preperiod-1: 1048882 (> half the window)  OK
k=13  observed preperiod 16 (u_k=16)  observed least period 8192 (claimed 8192)  least period of the tail from preperiod-1: 1048882 (> half the window)  OK
k=14  observed preperiod 16 (u_k=16)  observed least period 16384 (claimed 16384)  least period of the tail from preperiod-1: 1048882 (> half the window)  OK
k=15  observed preperiod 16 (u_k=16)  observed least period 32768 (claimed 32768)  least period of the tail from preperiod-1: 1048882 (> half the window)  OK
k=16  observed preperiod 16 (u_k=16)  observed least period 65536 (claimed 65536)  least period of the tail from preperiod-1: 1048882 (> half the window)  OK
k=17  observed preperiod 18 (u_k=18)  observed least period 131072 (claimed 131072)  least period of the tail from preperiod-1: 1048880 (> half the window)  OK
k=18  observed preperiod 20 (u_k=20)  observed least period 262144 (claimed 262144)  least period of the tail from preperiod-1: 1048878 (> half the window)  OK
k=19  observed preperiod 20 (u_k=20)  observed least period 524288 (claimed 524288)  least period of the tail from preperiod-1: 1048878 (> half the window)  OK
PASS brute-force s(2^k)=u_k and d(2^k) for k<=19 on 0<=n<=1048896

real	12m45.605s
user	12m20.145s
sys	0m4.301s
