a b | area I(formula) I(from a 113-tiling) | T_013 (Propp) | T_103 (Propp) | secs
2 2 | 3 3 3 | 0 (0) | 1 (1) | 0.0
3 3 | 6 -3 -3 | 3 (3) | 0 (0) | 0.0
3 4 | 9 9 9 | 0 (0) | 1 (1) | 0.0
4 3 | 9 9 9 | 0 (0) | 1 (1) | 0.0
4 4 | 12 3 3 | 0 (0) | 7 (7) | 0.0
4 5 | 15 -3 -3 | 9 (9) | 0 (0) | 0.0
4 6 | 18 18 18 | 0 (0) | 1 (1) | 0.0
5 4 | 15 -3 -3 | 9 (9) | 0 (0) | 0.0
5 5 | 21 21 21 | 0 (0) | 1 (1) | 0.0
5 6 | 24 6 6 | 0 (0) | 33 (33) | 0.0
5 7 | 27 0 0 | 2 (2) | 2 (2) | 0.0
5 8 | 30 30 30 | 0 (0) | 1 (1) | 0.0
6 4 | 18 18 18 | 0 (0) | 1 (1) | 0.0
6 5 | 24 6 6 | 0 (0) | 33 (33) | 0.0
6 6 | 30 -6 -6 | 144 (144) | 0 (0) | 0.0
6 7 | 36 36 36 | 0 (0) | 1 (1) | 0.0
6 8 | 39 12 12 | 0 (0) | 164 (164) | 0.0
6 9 | 42 6 6 | 0 (0) | 21 (21) | 0.0
6 10 | 45 45 45 | 0 (0) | 1 (1) | 0.0
7 5 | 27 0 0 | 2 (2) | 2 (2) | 0.0
7 6 | 36 36 36 | 0 (0) | 1 (1) | 0.0
7 7 | 42 6 6 | 0 (0) | 666 (666) | 0.0
7 8 | 48 -6 -6 | 1143 (1143) | 0 (0) | 0.0
7 9 | 54 54 54 | 0 (0) | 1 (1) | 0.0
7 10 | 57 21 21 | 0 (0) | 864 (864) | 0.0
8 5 | 30 30 30 | 0 (0) | 1 (1) | 0.0
8 6 | 39 12 12 | 0 (0) | 164 (164) | 0.0
8 7 | 48 -6 -6 | 1143 (1143) | 0 (0) | 0.0
8 8 | 57 57 57 | 0 (0) | 1 (1) | 0.0
8 9 | 63 9 9 | 0 (0) | 12430 (12430) | 0.3
8 10 | 69 -3 -3 | 825 (825) | 0 (0) | 0.2
9 6 | 42 6 6 | 0 (0) | 21 (21) | 0.0
9 7 | 54 54 54 | 0 (0) | 1 (1) | 0.0
9 8 | 63 9 9 | 0 (0) | 12430 (12430) | 0.3
9 9 | 72 -9 -9 | 73454 (73454) | 0 (0) | 2.7
9 10 | 81 81 81 | 0 (0) | 1 (1) | 0.0
10 6 | 45 45 45 | 0 (0) | 1 (1) | 0.0
10 7 | 57 21 21 | 0 (0) | 864 (864) | 0.0
10 8 | 69 -3 -3 | 825 (825) | 0 (0) | 0.2
10 9 | 81 81 81 | 0 (0) | 1 (1) | 0.0
10 10 | 90 9 9 | 0 (0) | 655721 (655721) | 23.6
ALL CHECKS PASSED
