report example: shape digitally convex: True | side 8
report example: sigma in S_lambda: True | sigma in A_lambda (report says yes): True | coloured sigma in B_lambda (report says yes): True
report remark example: A-count contribution of identity / colourings: True (identity has no valid colouring is checked below)
  identity in A_lambda: True | valid colourings of the identity: 0 (report: none)

counterexample shape (rows from top; '#' = cell of lambda):
   ####...
   #####..
   ######.
   #######
   #######
   .######
   ..#####
  side: 7 | digitally convex: True
  |S_lambda| = 1066, A_lambda = 536, B_lambda = 515  ->  B < A: True  [0.1s]
side 1: 1 digitally convex shapes, min (B - A) = 1
side 2: 5 digitally convex shapes, min (B - A) = 2
side 3: 68 digitally convex shapes, min (B - A) = 0
side 4: 1110 digitally convex shapes, min (B - A) = 0
side 5: 19010 digitally convex shapes, min (B - A) = 0
[total 7.1s]
side 8 band -4 <= y-x <= 4: digitally convex True, A = 2380, B = 1360, B/A = 0.5714 [1.3s]
[total 8.5s]
