n=16 R=60: {'points': 1885, 'states': 13814, 'Nodd': 639, 'Neven': 1246, 'rule_ok': 1885, 'both_multiples': 15, 'plain_unique': 1872, 'plain_two': 13, 'dict_ok': 1885, 'def11_ok': 1885, 'central_ok': 1885, 'A0': 832, 'A0_evenN': 830, 'maxN': 60} types {0: 832, 1: 225, 2: 103, 3: 63, 4: 45, 5: 41, 6: 33, 7: 33, 8: 33, 9: 41, 10: 45, 11: 63, 12: 103, 13: 225}  [0.4s]
