n=6 R=150: {'points': 11887, 'states': 446108, 'Nodd': 3659, 'Neven': 8228, 'rule_ok': 11887, 'both_multiples': 5, 'plain_unique': 11884, 'plain_two': 3, 'dict_ok': 11887, 'def11_ok': 11887, 'central_ok': 11887, 'A0': 6210, 'A0_evenN': 6208, 'maxN': 172} types {0: 6210, 1: 2065, 2: 1547, 3: 2065}  [3.6s]
n=6: the 11887 reachable points and their types agree with the description of the source (Sect. 2.3)
