PASS E_0..E_12 correct
PASS tangent numbers: v2(T_{2j-1}) = 2j-2-v2(j) mod 2^64 for all 2j-1 <= 131232
PASS S_2m = 1 mod 4 for 2m <= 131232
k= 1  observed preperiod 2 (u_k=2)  observed least period 2 (claimed 2)  least period of the tail from preperiod-1: 131231 (> 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: 131230 (> 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: 131230 (> 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: 131230 (> 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: 131226 (> 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: 131226 (> 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: 131226 (> 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: 131226 (> 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: 131224 (> 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: 131222 (> 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: 131222 (> 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: 131218 (> 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: 131218 (> 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: 131218 (> 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: 131218 (> 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: 131218 (> half the window)  OK
PASS brute-force s(2^k)=u_k and d(2^k) for k<=16 on 0<=n<=131232
$B 131232 16  12.07s user 0.08s system 73% cpu 16.421 total
