n=7 R=150: {'points': 12029, 'states': 376681, 'Nodd': 3526, 'Neven': 8503, 'rule_ok': 12029, 'both_multiples': 6, 'plain_unique': 12025, 'plain_two': 4, 'dict_ok': 12029, 'def11_ok': 12029, 'central_ok': 12029, 'A0': 5981, 'A0_evenN': 5979, 'maxN': 164} types {0: 5981, 1: 1844, 2: 1180, 3: 1180, 4: 1844}  [3.7s]
