n=24 R=40: {'points': 787, 'states': 3868, 'Nodd': 301, 'Neven': 486, 'rule_ok': 787, 'both_multiples': 23, 'plain_unique': 766, 'plain_two': 21, 'dict_ok': 787, 'def11_ok': 787, 'central_ok': 787, 'A0': 348, 'A0_evenN': 346, 'maxN': 38} types {0: 348, 1: 89, 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: 13, 18: 15, 19: 21, 20: 43, 21: 89}  [0.2s]
