n=6 R=40: {'points': 841, 'states': 8992, 'Nodd': 267, 'Neven': 574, 'rule_ok': 841, 'both_multiples': 5, 'plain_unique': 838, 'plain_two': 3, 'dict_ok': 841, 'def11_ok': 841, 'central_ok': 841, 'A0': 444, 'A0_evenN': 442, 'maxN': 44} types {0: 444, 1: 145, 2: 107, 3: 145}  [0.1s]
n=6: the 841 reachable points and their types agree with the description of the source (Sect. 2.3)
