2x2: admissible patterns       2, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
2x3: admissible patterns       6, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
2x4: admissible patterns      14, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
2x5: admissible patterns      30, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
2x6: admissible patterns      62, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
2x7: admissible patterns     126, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
2x8: admissible patterns     254, #pinned values [0], predicted 0..0: True, max deg f = 2  (0s)
3x3: admissible patterns      45, #pinned values [0, 1], predicted 0..1: True, max deg f = 4  (0s)
3x4: admissible patterns     228, #pinned values [0, 1, 2], predicted 0..2: True, max deg f = 6  (0s)
3x5: admissible patterns     975, #pinned values [0, 1, 2], predicted 0..2: True, max deg f = 6  (0s)
3x6: admissible patterns    3798, #pinned values [0, 1, 2], predicted 0..2: True, max deg f = 6  (0s)
3x7: admissible patterns   13965, #pinned values [0, 1, 2], predicted 0..2: True, max deg f = 6  (0s)
4x4: admissible patterns    2176, #pinned values [0, 1, 2, 3], predicted 0..3: True, max deg f = 8  (0s)
4x5: admissible patterns   16220, #pinned values [0, 1, 2, 3, 4], predicted 0..4: True, max deg f = 10  (0s)
4x6: admissible patterns  104784, #pinned values [0, 1, 2, 3, 4], predicted 0..4: True, max deg f = 10  (2s)
5x5: admissible patterns  195625, #pinned values [0, 1, 2, 3, 4, 5], predicted 0..5: True, max deg f = 12  (3s)
all formats agree with Corollary 5.2: True
