n=13 R=60: {'points': 1843, 'states': 15193, 'Nodd': 620, 'Neven': 1223, 'rule_ok': 1843, 'both_multiples': 12, 'plain_unique': 1833, 'plain_two': 10, 'dict_ok': 1843, 'def11_ok': 1843, 'central_ok': 1843, 'A0': 843, 'A0_evenN': 841, 'maxN': 60} types {0: 843, 1: 222, 2: 106, 3: 74, 4: 52, 5: 46, 6: 46, 7: 52, 8: 74, 9: 106, 10: 222}  [0.4s]
