Part 1: the vertices of Q
   all-B grid: (alpha, c) = (0, 0)  ok
   5-queens lattice grid: (alpha, c) = (1/5, 8/5)  ok
   4x4 grid AABA/BBAB/ABBB/ABBB: (alpha, c) = (3/8, 3/2)  ok
   all-A grid: (alpha, c) = (1, 0)  ok
Part 2: mixing lemma on the four edges of Q  (lam = L/N; the error is c - lam*c1 - (1-lam)*c2)
   edge (0,0) -- (1/5,8/5): L =  20, N =  40: alpha =    1/10, c =       4/5, error =        0 (|error| <= 96/N = 12/5)  ok
   edge (0,0) -- (1/5,8/5): L =  20, N =  80: alpha =    1/20, c =       2/5, error =        0 (|error| <= 96/N = 6/5)  ok
   edge (0,0) -- (1/5,8/5): L =  60, N =  80: alpha =    3/20, c =       6/5, error =        0 (|error| <= 96/N = 6/5)  ok
   edge (0,0) -- (1/5,8/5): L = 100, N = 400: alpha =    1/20, c =       2/5, error =        0 (|error| <= 96/N = 6/25)  ok
   edge (0,0) -- (1/5,8/5): L = 200, N = 400: alpha =    1/10, c =       4/5, error =        0 (|error| <= 96/N = 6/25)  ok
   edge (1/5,8/5) -- (3/8,3/2): L =  20, N =  40: alpha =   23/80, c =   591/400, error =  -29/400 (|error| <= 96/N = 12/5)  ok
   edge (1/5,8/5) -- (3/8,3/2): L =  20, N =  80: alpha =  39/160, c =  1231/800, error =  -29/800 (|error| <= 96/N = 6/5)  ok
   edge (1/5,8/5) -- (3/8,3/2): L =  60, N =  80: alpha =  53/160, c =  1191/800, error =  -29/800 (|error| <= 96/N = 6/5)  ok
   edge (1/5,8/5) -- (3/8,3/2): L = 100, N = 400: alpha =  39/160, c = 6271/4000, error = -29/4000 (|error| <= 96/N = 6/25)  ok
   edge (1/5,8/5) -- (3/8,3/2): L = 200, N = 400: alpha =   23/80, c = 6171/4000, error = -29/4000 (|error| <= 96/N = 6/25)  ok
   edge (3/8,3/2) -- (1,0): L =  20, N =  40: alpha =   11/16, c =     29/40, error =    -1/40 (|error| <= 96/N = 12/5)  ok
   edge (3/8,3/2) -- (1,0): L =  20, N =  80: alpha =   27/32, c =     29/80, error =    -1/80 (|error| <= 96/N = 6/5)  ok
   edge (3/8,3/2) -- (1,0): L =  60, N =  80: alpha =   17/32, c =     89/80, error =    -1/80 (|error| <= 96/N = 6/5)  ok
   edge (3/8,3/2) -- (1,0): L = 100, N = 400: alpha =   27/32, c =   149/400, error =   -1/400 (|error| <= 96/N = 6/25)  ok
   edge (3/8,3/2) -- (1,0): L = 200, N = 400: alpha =   11/16, c =   299/400, error =   -1/400 (|error| <= 96/N = 6/25)  ok
   edge (1,0) -- (0,0): L =  20, N =  40: alpha =     1/2, c =      3/20, error =     3/20 (|error| <= 96/N = 12/5)  ok
   edge (1,0) -- (0,0): L =  20, N =  80: alpha =     1/4, c =      3/40, error =     3/40 (|error| <= 96/N = 6/5)  ok
   edge (1,0) -- (0,0): L =  60, N =  80: alpha =     3/4, c =      3/40, error =     3/40 (|error| <= 96/N = 6/5)  ok
   edge (1,0) -- (0,0): L = 100, N = 400: alpha =     1/4, c =     3/200, error =    3/200 (|error| <= 96/N = 6/25)  ok
   edge (1,0) -- (0,0): L = 200, N = 400: alpha =     1/2, c =     3/200, error =    3/200 (|error| <= 96/N = 6/25)  ok
   200 mixtures of two random grids (2 or 3 letters, small shapes, also L < 6 or N - L < 6): alpha exact and |error| <= 96/N in every case; the three bounds of Theorem C hold for all grids involved
Part 3 and Part 4: bounds of Theorem C and the stability inequalities
   all 111954 grids over {A,B,C} of the shapes 1x1, 1x2, 1x4, 1x5, 1x8, 2x2, 2x4, 2x5, 3x3, 1x9: ok = True
   700 further grids (lattice grids with up to 12 cells changed to A, B or C; random grids with sides 1..9): ok = True
ALL CHECKS PASSED
