n=30 R=40: {'points': 787, 'states': 3720, 'Nodd': 295, 'Neven': 492, 'rule_ok': 787, 'both_multiples': 29, 'plain_unique': 760, 'plain_two': 27, 'dict_ok': 787, 'def11_ok': 787, 'central_ok': 787, 'A0': 346, 'A0_evenN': 344, 'maxN': 38} types {0: 346, 1: 95, 2: 43, 3: 19, 4: 13, 5: 13, 6: 7, 7: 7, 8: 7, 9: 3, 10: 3, 11: 3, 12: 3, 13: 3, 14: 3, 15: 3, 16: 3, 17: 3, 18: 3, 19: 3, 20: 7, 21: 7, 22: 7, 23: 13, 24: 13, 25: 19, 26: 43, 27: 95}  [0.2s]
