n=18 R=60: {'points': 1843, 'states': 13120, 'Nodd': 643, 'Neven': 1200, 'rule_ok': 1843, 'both_multiples': 17, 'plain_unique': 1828, 'plain_two': 15, 'dict_ok': 1843, 'def11_ok': 1843, 'central_ok': 1843, 'A0': 818, 'A0_evenN': 816, 'maxN': 58} types {0: 818, 1: 211, 2: 95, 3: 57, 4: 45, 5: 35, 6: 33, 7: 25, 8: 23, 9: 25, 10: 33, 11: 35, 12: 45, 13: 57, 14: 95, 15: 211}  [0.4s]
