2x2: admissible       2; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives None
2x3: admissible       6; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives 2
3x3: admissible      45; pin values [0, 1]; P=1; match=True; max degree 4; closed formula in Cor. 1.4 gives 4
2x4: admissible      14; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives 2
3x4: admissible     228; pin values [0, 1, 2]; P=2; match=True; max degree 6; closed formula in Cor. 1.4 gives 6
4x4: admissible    2176; pin values [0, 1, 2, 3]; P=3; match=True; max degree 8; closed formula in Cor. 1.4 gives 8
2x5: admissible      30; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives 2
3x5: admissible     975; pin values [0, 1, 2]; P=2; match=True; max degree 6; closed formula in Cor. 1.4 gives 6
4x5: admissible   16220; pin values [0, 1, 2, 3, 4]; P=4; match=True; max degree 10; closed formula in Cor. 1.4 gives 10
5x5: admissible  195625; pin values [0, 1, 2, 3, 4, 5]; P=5; match=True; max degree 12; closed formula in Cor. 1.4 gives 12
2x6: admissible      62; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives 2
3x6: admissible    3798; pin values [0, 1, 2]; P=2; match=True; max degree 6; closed formula in Cor. 1.4 gives 6
4x6: admissible  104784; pin values [0, 1, 2, 3, 4]; P=4; match=True; max degree 10; closed formula in Cor. 1.4 gives 10
2x7: admissible     126; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives 2
3x7: admissible   13965; pin values [0, 1, 2]; P=2; match=True; max degree 6; closed formula in Cor. 1.4 gives 6
2x8: admissible     254; pin values [0]; P=0; match=True; max degree 2; closed formula in Cor. 1.4 gives 2
all formats match {0..P}: True
