n=12 R=150: {'points': 11753, 'states': 228454, 'Nodd': 3495, 'Neven': 8258, 'rule_ok': 11753, 'both_multiples': 11, 'plain_unique': 11744, 'plain_two': 9, 'dict_ok': 11753, 'def11_ok': 11753, 'central_ok': 11753, 'A0': 5348, 'A0_evenN': 5346, 'maxN': 154} types {0: 5348, 1: 1429, 2: 713, 3: 489, 4: 391, 5: 361, 6: 391, 7: 489, 8: 713, 9: 1429}  [3.1s]
