PASS decode(encode(w)) = w for random words
PASS tau'(p_0) = p_1 (mod 2^48)
PASS tau' is an isometry (2000 random pairs)
PASS tau' h_0 = h_1 tau' and tau' h_1 = h_0 tau' (300 random points)
j : q_j mod 16 (q_j = difference quotient of tau' at y_j = h_0^j(1)), ratio q_(j+1)/q_j mod 2^10
 1 :  3   ratio 417
 2 :  3   ratio 41
 3 : 11   ratio 793
 4 :  3   ratio 57
 5 : 11   ratio 1017
 6 :  3   ratio 121
 7 : 11   ratio 889
 8 :  3   ratio 377
 9 : 11   ratio 377
10 :  3   ratio 377
11 : 11   ratio 377
12 :  3   ratio 377
13 : 11   ratio 377
14 :  3   ratio 377
15 : 11   ratio 377
16 :  3   ratio 377
17 : 11   ratio 377
18 :  3   ratio 377
19 : 11   ratio 377
20 :  3   ratio 377
21 : 11   ratio 377
PASS difference quotients alternate between 3 and 11 mod 16 for j >= 2
FINDING: q_1 = q_2 = 3 mod 16, so the alternation holds from j = 2 on, not from j = 1
PASS successive ratios of the difference quotients = 377 mod 2^10 for j >= 10

SUMMARY r2_6_tau: 0 failed
