n=5 R=150: {'points': 11637, 'states': 546551, 'Nodd': 3376, 'Neven': 8261, 'rule_ok': 11637, 'both_multiples': 4, 'plain_unique': 11635, 'plain_two': 2, 'dict_ok': 11637, 'def11_ok': 11637, 'central_ok': 11637, 'A0': 6601, 'A0_evenN': 6599, 'maxN': 184} types {0: 6601, 1: 2518, 2: 2518}  [4.1s]
