== shift (T=B): 112 requirements, dim W = 210, last time n = 209, coordinates computed: 0..632; times rejected by the independence test: 97
   rejected (requirement index, n), first 10: [(4, 5), (5, 7), (6, 9), (7, 11), (8, 13), (9, 15), (10, 17), (11, 19), (12, 21), (16, 26)]
   end-to-end checks  (T^n S c)_(0..k-1) == prescribed == dual formula: ok=784 bad=0
   pair (S e_0, S e_1): distinct 2x2 windows attained at the pair-requirement times: 80 (expected 80 = 3^4 - 1)
   (2.6s)
== (1+t)^2 (T=(I+B)^2): 112 requirements, dim W = 210, last time n = 112, coordinates computed: 0..453; times rejected by the independence test: 0
   rejected (requirement index, n), first 10: []
   end-to-end checks  (T^n S c)_(0..k-1) == prescribed == dual formula: ok=784 bad=0
   pair (S e_0, S e_1): distinct 2x2 windows attained at the pair-requirement times: 80 (expected 80 = 3^4 - 1)
   (5.7s)
== localisation K[t,1/(t-1)]: 112 requirements, dim W = 210, last time n = 209, coordinates computed: 0..840; times rejected by the independence test: 97
   rejected (requirement index, n), first 10: [(4, 5), (5, 7), (6, 9), (7, 11), (8, 13), (9, 15), (10, 17), (11, 19), (15, 24), (16, 26)]
   end-to-end checks  (T^n S c)_(0..k-1) == prescribed == dual formula: ok=784 bad=0
   pair (S e_0, S e_1): distinct 2x2 windows attained at the pair-requirement times: 80 (expected 80 = 3^4 - 1)
   (5.3s)
ALL CHECKS PASSED
