n=20 R=60: {'points': 1817, 'states': 12602, 'Nodd': 637, 'Neven': 1180, 'rule_ok': 1817, 'both_multiples': 19, 'plain_unique': 1800, 'plain_two': 17, 'dict_ok': 1817, 'def11_ok': 1817, 'central_ok': 1817, 'A0': 802, 'A0_evenN': 800, 'maxN': 58} types {0: 802, 1: 211, 2: 93, 3: 55, 4: 47, 5: 31, 6: 21, 7: 21, 8: 19, 9: 19, 10: 19, 11: 21, 12: 21, 13: 31, 14: 47, 15: 55, 16: 93, 17: 211}  [0.4s]
