n=11 R=150: {'points': 11757, 'states': 244165, 'Nodd': 3462, 'Neven': 8295, 'rule_ok': 11757, 'both_multiples': 10, 'plain_unique': 11749, 'plain_two': 8, 'dict_ok': 11757, 'def11_ok': 11757, 'central_ok': 11757, 'A0': 5417, 'A0_evenN': 5415, 'maxN': 154} types {0: 5417, 1: 1462, 2: 742, 3: 522, 4: 444, 5: 444, 6: 522, 7: 742, 8: 1462}  [3.5s]
