orbit of phi_0: 1440 classes; number of components of the preimage of S_2-(a1 u a2), histogram: {1: 1440}
ALL CHECKS PASSED
