G_2 -> G_1: generating (4,8)-pairs of G_1 satisfying the relators of G_2: 0
G_3 -> G_1: generating (4,8)-pairs of G_1 satisfying the relators of G_3: 0
G_4 -> G_1: generating (4,8)-pairs of G_1 satisfying the relators of G_4: 0
G_1 -> G_2: generating (4,8)-pairs of G_2 satisfying the relators of G_1: 0
G_3 -> G_2: generating (4,8)-pairs of G_2 satisfying the relators of G_3: 0
G_4 -> G_2: generating (4,8)-pairs of G_2 satisfying the relators of G_4: 0
G_1 -> G_3: generating (4,8)-pairs of G_3 satisfying the relators of G_1: 0
G_2 -> G_3: generating (4,8)-pairs of G_3 satisfying the relators of G_2: 0
G_4 -> G_3: generating (4,8)-pairs of G_3 satisfying the relators of G_4: 0
G_1 -> G_4: generating (4,8)-pairs of G_4 satisfying the relators of G_1: 0
G_2 -> G_4: generating (4,8)-pairs of G_4 satisfying the relators of G_2: 0
G_3 -> G_4: generating (4,8)-pairs of G_4 satisfying the relators of G_3: 0
done: a count 0 in every line means that no G_j is isomorphic to a G_i with i != j
