reading                                                                          ex:sig in A | ex:col in B | occ-fig | remark: id in A, #good col | band A,B | mirror band A,B
R0  report/picture reading (claimant)                                            True  | True  | True  | True ,  0 | 536,515 | 353,3222
R0c colours swapped (corpus wording; = text formula with (row,col) indices)      True  | False | True  | True ,  0 | 536,515 | 353,3222
R1  crosses must lie OUTSIDE lambda                                              False | False | False | True ,  8 | 304,12896 | 1066,136448
R2  pattern frame mirrored w.r.t. shape frame (y up vs y down)                   False | False | False | True , 16 | 353,3222 | 536,515
R2c mirrored frame + colours swapped                                             False | False | False | True , 16 | 353,3222 | 536,515
R3  crosses transposed (bullets kept)                                            True  | False | True  | True ,  0 | 536,515 | 353,3222

R4  B := #sigma in S_lambda with >= 1 good colouring: band gives 186 vs A = 536

band: footnote-2 digitally convex: True | lattice-convex (lambda = conv cap Z^2): True
report's own example shape: footnote-2 digitally convex: True | lattice-convex: False (lattice points of conv(lambda) missing from lambda: [(6, 2), (7, 7)] )
