n=17 R=60: {'points': 1877, 'states': 13481, 'Nodd': 652, 'Neven': 1225, 'rule_ok': 1877, 'both_multiples': 16, 'plain_unique': 1863, 'plain_two': 14, 'dict_ok': 1877, 'def11_ok': 1877, 'central_ok': 1877, 'A0': 821, 'A0_evenN': 819, 'maxN': 60} types {0: 821, 1: 218, 2: 102, 3: 58, 4: 46, 5: 36, 6: 34, 7: 34, 8: 34, 9: 34, 10: 36, 11: 46, 12: 58, 13: 102, 14: 218}  [0.4s]
