n=4, length <= 30: 427 reachable points; Definition 2.1 with the rule reproduces the type of the source's description for all 427; points with even N: 280; with the other convention 280 of them receive another type than in the source (280 of these: no line of the definition applies)
n=6, length <= 40: 841 reachable points; Definition 2.1 with the rule reproduces the type of the source's description for all 841; points with even N: 574; with the other convention 574 of them receive another type than in the source (287 of these: no line of the definition applies)
n=4, length <= 120: 6875 reachable points; Definition 2.1 with the rule reproduces the type of the source's description for all 6875; points with even N: 4582; with the other convention 4582 of them receive another type than in the source (4582 of these: no line of the definition applies)
n=6, length <= 120: 7605 reachable points; Definition 2.1 with the rule reproduces the type of the source's description for all 7605; points with even N: 5232; with the other convention 5232 of them receive another type than in the source (2616 of these: no line of the definition applies)
ALL CHECKS PASSED
