n=8 R=150: {'points': 11949, 'states': 327066, 'Nodd': 3535, 'Neven': 8414, 'rule_ok': 11949, 'both_multiples': 7, 'plain_unique': 11944, 'plain_two': 5, 'dict_ok': 11949, 'def11_ok': 11949, 'central_ok': 11949, 'A0': 5768, 'A0_evenN': 5766, 'maxN': 160} types {0: 5768, 1: 1687, 2: 987, 3: 833, 4: 987, 5: 1687}  [3.5s]
