n=4 R=150: {'points': 10743, 'states': 694830, 'Nodd': 3577, 'Neven': 7166, 'rule_ok': 10743, 'both_multiples': 3, 'plain_unique': 10742, 'plain_two': 1, 'dict_ok': 10743, 'def11_ok': 10743, 'central_ok': 10743, 'A0': 7168, 'A0_evenN': 7166, 'maxN': 211} types {0: 7168, 1: 3575}  [4.5s]
n=4: the 10743 reachable points and their types agree with the description of the source (p,q coprime; A_1 iff both odd)
