n=4 R=120: {'points': 6875, 'states': 357216, 'Nodd': 2293, 'Neven': 4582, 'rule_ok': 6875, 'both_multiples': 3, 'plain_unique': 6874, 'plain_two': 1, 'dict_ok': 6875, 'def11_ok': 6875, 'central_ok': 6875, 'A0': 4584, 'A0_evenN': 4582, 'maxN': 168} types {0: 4584, 1: 2291}  [2.4s]
n=4: the 6875 reachable points and their types agree with the description of the source (p,q coprime; A_1 iff both odd)
