n=10 R=150: {'points': 11839, 'states': 264698, 'Nodd': 3487, 'Neven': 8352, 'rule_ok': 11839, 'both_multiples': 9, 'plain_unique': 11832, 'plain_two': 7, 'dict_ok': 11839, 'def11_ok': 11839, 'central_ok': 11839, 'A0': 5530, 'A0_evenN': 5528, 'maxN': 156} types {0: 5530, 1: 1525, 2: 795, 3: 575, 4: 519, 5: 575, 6: 795, 7: 1525}  [3.2s]
