Gessel counts, k x k bounding box, k=1..8: [1, 5, 68, 1110, 19010, 329126, 5693968, 98074332]
<census-output-dir>/n7: shapes = 5693968 (Gessel: 5693968, match: True); failing footnote 2: 0; counterexamples B<A: 2; min B/A = (0.960821, 536, 515, '1-5,1-6,1-7,1-7,2-7,3-7,4-7')
   counterexample (columns lo-hi, |S|, A, B): 1-5,1-6,1-7,1-7,2-7,3-7,4-7 1066 536 515
   counterexample (columns lo-hi, |S|, A, B): 1-4,1-5,1-6,1-7,1-7,2-7,3-7 1066 536 515
