n=4 R=30: {'points': 427, 'states': 5942, 'Nodd': 147, 'Neven': 280, 'rule_ok': 427, 'both_multiples': 3, 'plain_unique': 426, 'plain_two': 1, 'dict_ok': 427, 'def11_ok': 427, 'central_ok': 427, 'A0': 282, 'A0_evenN': 280, 'maxN': 41} types {0: 282, 1: 145}  [0.1s]
n=4: the 427 reachable points and their types agree with the description of the source (p,q coprime; A_1 iff both odd)
