job 0/1: footnote-2 fast/slow test mismatches (n<=6 only): 0
n=5 rule=1: shapes passing footnote-2 test = 19010 (column-interval candidates failing it: 0)
  shapes with S_lambda empty: 6546; with A>0: 9360
  min(B-A) = 0 (at A=0, B=0)
  min B/A over A>0 = 2.000000 (A=1, B=2) at columns 2-2,1-2,2-5,2-4,3-3
  counterexamples (B<A): 0
job 0/1: footnote-2 fast/slow test mismatches (n<=6 only): 0
n=6 rule=1: shapes passing footnote-2 test = 329126 (column-interval candidates failing it: 0)
  shapes with S_lambda empty: 135741; with A>0: 133545
  min(B-A) = 0 (at A=0, B=0)
  min B/A over A>0 = 2.000000 (A=1, B=2) at columns 2-2,1-2,2-6,2-5,2-4,3-3
  counterexamples (B<A): 0
job 0/1: footnote-2 fast/slow test mismatches (n<=6 only): 0
n=5 rule=2: shapes passing footnote-2 test = 19010 (column-interval candidates failing it: 0)
  shapes with S_lambda empty: 6546; with A>0: 12464
  min(B-A) = 0 (at A=0, B=0)
  min B/A over A>0 = 2.157895 (A=38, B=82) at columns 2-5,1-5,1-5,1-4,1-3
  counterexamples (B<A): 0
job 0/1: footnote-2 fast/slow test mismatches (n<=6 only): 0
n=6 rule=2: shapes passing footnote-2 test = 329126 (column-interval candidates failing it: 0)
  shapes with S_lambda empty: 135741; with A>0: 193385
  min(B-A) = 0 (at A=0, B=0)
  min B/A over A>0 = 1.466667 (A=150, B=220) at columns 3-6,2-6,1-6,1-6,1-5,1-4
  counterexamples (B<A): 0
job 0/1: footnote-2 fast/slow test mismatches (n<=6 only): 0
n=5 rule=3: shapes passing footnote-2 test = 19010 (column-interval candidates failing it: 0)
  shapes with S_lambda empty: 6546; with A>0: 12464
  min(B-A) = 0 (at A=0, B=0)
  min B/A over A>0 = 2.157895 (A=38, B=82) at columns 1-3,1-4,1-5,1-5,2-5
  counterexamples (B<A): 0
job 0/1: footnote-2 fast/slow test mismatches (n<=6 only): 0
n=6 rule=3: shapes passing footnote-2 test = 329126 (column-interval candidates failing it: 0)
  shapes with S_lambda empty: 135741; with A>0: 193385
  min(B-A) = 0 (at A=0, B=0)
  min B/A over A>0 = 1.466667 (A=150, B=220) at columns 1-4,1-5,1-6,1-6,2-6,3-6
  counterexamples (B<A): 0
