(B1) max = 8/5  #tight = 10  max over the others = 109/70  8/5 - 3/70 = 109/70
(B2) the ten tight patterns are exactly the ten distinct windows W(s,t): OK
(B3) gluing rule (unique right/down continuation, unique left/up predecessor): OK
(B4) in every y_{s,t}: 40 binary appearances per 25 cells and every 0-cell is covered: OK
(B5) lattice grids s in {2,3}, t in Z/5 on tori 5x5, 10x5, 5x15, 10x10: concentration 8/5 exactly: OK
     slope s = 0 : concentration 6/5
     slope s = 1 : concentration 6/5
     slope s = 4 : concentration 6/5
(C1) 4x4 grid ['AABA', 'BBAB', 'ABBB', 'ABBB']: ct = 24, alpha = 3/8, c = 3/2, delta = 1 - c/(8/5) = 1/16, TV to (1/5,4/5) = 7/40, (14/5) delta = 7/40
(C2) c + (4/7) alpha: 4x4 grid -> 12/7 ; lattice -> 12/7
     lines c = 8 alpha and c = (12 - 4 alpha)/7 meet at alpha = 1/5, c = 8/5: OK
ALL CHECKS OF THEOREM B / C (finite parts) PASSED
