n=15 R=60: {'points': 1849, 'states': 14141, 'Nodd': 634, 'Neven': 1215, 'rule_ok': 1849, 'both_multiples': 14, 'plain_unique': 1837, 'plain_two': 12, 'dict_ok': 1849, 'def11_ok': 1849, 'central_ok': 1849, 'A0': 821, 'A0_evenN': 819, 'maxN': 60} types {0: 821, 1: 222, 2: 100, 3: 64, 4: 46, 5: 42, 6: 40, 7: 40, 8: 42, 9: 46, 10: 64, 11: 100, 12: 222}  [0.3s]
