n=9 R=150: {'points': 11967, 'states': 291155, 'Nodd': 3496, 'Neven': 8471, 'rule_ok': 11967, 'both_multiples': 8, 'plain_unique': 11961, 'plain_two': 6, 'dict_ok': 11967, 'def11_ok': 11967, 'central_ok': 11967, 'A0': 5639, 'A0_evenN': 5637, 'maxN': 158} types {0: 5639, 1: 1596, 2: 886, 3: 682, 4: 682, 5: 886, 6: 1596}  [3.3s]
