n=14 R=60: {'points': 1853, 'states': 14674, 'Nodd': 631, 'Neven': 1222, 'rule_ok': 1853, 'both_multiples': 13, 'plain_unique': 1842, 'plain_two': 11, 'dict_ok': 1853, 'def11_ok': 1853, 'central_ok': 1853, 'A0': 840, 'A0_evenN': 838, 'maxN': 60} types {0: 840, 1: 217, 2: 107, 3: 69, 4: 49, 5: 43, 6: 43, 7: 43, 8: 49, 9: 69, 10: 107, 11: 217}  [0.3s]
