n=6 R=120: {'points': 7605, 'states': 229538, 'Nodd': 2373, 'Neven': 5232, 'rule_ok': 7605, 'both_multiples': 5, 'plain_unique': 7602, 'plain_two': 3, 'dict_ok': 7605, 'def11_ok': 7605, 'central_ok': 7605, 'A0': 3970, 'A0_evenN': 3968, 'maxN': 136} types {0: 3970, 1: 1321, 2: 993, 3: 1321}  [1.9s]
n=6: the 7605 reachable points and their types agree with the description of the source (Sect. 2.3)
