n=25 R=40: {'points': 791, 'states': 3843, 'Nodd': 308, 'Neven': 483, 'rule_ok': 791, 'both_multiples': 24, 'plain_unique': 769, 'plain_two': 22, 'dict_ok': 791, 'def11_ok': 791, 'central_ok': 791, 'A0': 343, 'A0_evenN': 341, 'maxN': 38} types {0: 343, 1: 90, 2: 43, 3: 21, 4: 15, 5: 13, 6: 7, 7: 7, 8: 7, 9: 7, 10: 7, 11: 7, 12: 7, 13: 7, 14: 7, 15: 7, 16: 7, 17: 7, 18: 13, 19: 15, 20: 21, 21: 43, 22: 90}  [0.2s]
