Running testisom through test files g0 to g20.
Using version of testisom in path.
#testing g0a g0b
ordrels g0a
ordrels g0b
abquot g0a
abquot g0b
kbeqn -t 20 -o -h 20 20 10 g0a
kbeqn -t 20 -o -h 20 20 10 g0b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g0a g0b
Format 2.2
	# Sum of relevant image lengths = 0

	# Images:-
	# 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> epsilon b -> epsilon 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g0a g0c
ordrels g0a
ordrels g0c
abquot g0a
abquot g0c
kbeqn -t 20 -o -h 20 20 10 g0a
kbeqn -t 20 -o -h 20 20 10 g0c
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g0a g0c
Format 2.2
	# Sum of relevant image lengths = 0

	# Images:-
	# 
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
subabquot -c -t 2 g0a -t
abinvariants:- 
r= 0,s= 0
edges:- 
subabquot -c -t 2 g0c -t
abinvariants:- 
r= 0,s= 0
edges:- 
permim -T -t 20 s4 g0a
permim -T -t 20 s4 g0c
Numreps 0 0
permim -T -t 20 a5 g0a
permim -T -t 20 a5 g0c
Numreps 0 0
permim -T -t 20 s5 g0a
permim -T -t 20 s5 g0c
Numreps 0 0
permim -T -t 20 l27 g0a
permim -T -t 20 l27 g0c
Numreps 0 0
Time expired.
kbeqn -t 40 -o -h 100 100 50 g0c
findisoms -v  -m 30 -tt 100 -ot 10 -a -s g0c g0a
Format 2.2
	# Sum of relevant image lengths = 0

	# Images:-
	# a -> epsilon b -> epsilon c -> epsilon 
	# The map is an epimorphism.
	# Reverse images:-
	# 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g0c g0b
ordrels g0a
ordrels g0b
abquot g0a
abquot g0b
kbeqn -t 20 -o -h 20 20 10 g0a
kbeqn -t 20 -o -h 20 20 10 g0b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g0a g0b
Format 2.2
	# Sum of relevant image lengths = 0

	# Images:-
	# 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> epsilon b -> epsilon 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g0a g1b
ordrels g0a
ordrels g1b
abquot g0a
abquot g1b
g0a and g1b cannot be isomorphic since their abelian
quotients don't match.
#testing g1a g1b
ordrels g1a
ordrels g1b
abquot g1a
abquot g1b
kbeqn -t 20 -o -h 20 20 10 g1a
kbeqn -t 20 -o -h 20 20 10 g1b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g1a g1b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1

	# Images:-
	# a -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g2a g2b
ordrels g2a
ordrels g2b
abquot g2a
abquot g2b
kbeqn -t 20 -o -h 20 20 10 g2a
kbeqn -t 20 -o -h 20 20 10 g2b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g2a g2b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1

	# Images:-
	# a -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# b -> epsilon c -> epsilon a -> a d -> A 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g2b g2c
ordrels g2b
ordrels g2c
abquot g2b
abquot g2c
kbeqn -t 20 -o -h 20 20 10 g2b
kbeqn -t 20 -o -h 20 20 10 g2c
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g2b g2c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a^-1 
	# The map is an epimorphism.
	# Reverse images:-
	# b -> epsilon c -> epsilon a -> a d -> A 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g3a g3c
ordrels g3a
ordrels g3c
abquot g3a
abquot g3c
kbeqn -t 20 -o -h 20 20 10 g3a
kbeqn -t 20 -o -h 20 20 10 g3c
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g3a g3c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# a -> a b -> b*C 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> A*B*A*B*A c -> B*A*B*A*B*A 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g3d g3b
ordrels g3d
ordrels g3b
abquot g3d
abquot g3b
kbeqn -t 20 -o -h 20 20 10 g3d
kbeqn -t 20 -o -h 20 20 10 g3b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g3d g3b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2

	# Images:-
	# b -> epsilon c -> epsilon a -> w d -> y 
	# The map is an epimorphism.
	# Reverse images:-
	# w -> a y -> d x -> A z -> d 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g3d g4a
ordrels g3d
ordrels g4a
abquot g3d
abquot g4a
kbeqn -t 20 -o -h 20 20 10 g3d
kbeqn -t 20 -o -h 20 20 10 g4a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g3d g4a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> A 
	# Reverse mapping does not appear to be a homomorphism.
	# Sum of relevant image lengths = 3

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> A 
	# Reverse mapping does not appear to be a homomorphism.
	# Sum of relevant image lengths = 4

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> d*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> a*a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> a*a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> D*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> a*D*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> a*d*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> d*d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> D*D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D*D b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d*d b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d*d b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D*D b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> a*a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> D*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> d*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A b -> a*a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> a*d*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> a*D*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*B d -> a 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d b -> D*D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*B d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> d*d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*d*A b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*D*A b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*D*A b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B d -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*d*A b -> D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A*A b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*d b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*D b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A*A b -> a 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*d b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A*A b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A*A b -> A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*D b -> A 
	# Reverse mapping does not appear to be a homomorphism.
	# Sum of relevant image lengths = 5

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*b d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*b d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*B d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*B d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> d*d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> D*D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> a*D*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> a*d*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> a*a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> a*a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> a*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*D b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> A*A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> a*a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> A*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*d b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*d*A b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*D*A b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> a*a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> d*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> a*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*D b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> A*A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> D*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> A*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*a*d b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*d*A b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*D*A b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*b d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*b d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*B d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*B d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> D*D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> d*d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*B d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A b -> a*d*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*B d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A b -> a*D*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> a*a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> a*a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> a*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A*A b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> A*A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> a*a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b d -> A*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A*A b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b d -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d*d b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b d -> A*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D*D b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b*b d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b*b d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> a*a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d b -> D*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> a*b*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*A*A b -> a*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> A*A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D b -> d*A*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B d -> A*B*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*A*A b -> a*D 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B d -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*d*d b -> D*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B d -> A*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a*D*D b -> d*A 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B*B d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B*B d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*B*B*B 
	# Non-trivial kernel contains a*d*A*D
	# Sum of relevant image lengths = 6

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*b d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*b d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*B d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*B d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b*b d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b*b d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B*B d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B*B d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*b d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*b d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*B d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*B d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b*b*b d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*b*b*b*b d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B*B*B d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*B*B*B*B d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*b*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> a*B*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*b*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> b d -> A*B*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*b*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> a*B*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*b*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> B d -> A*B*B*B*B 
	# Non-trivial kernel contains a*d*A*D
	# Sum of relevant image lengths = 7

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> a*a*a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a d -> A*A*A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*a*b d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*a*b d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*a*B d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*a*a*B d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*b d -> a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*b d -> A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*b*b d -> a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*b*b d -> A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*B d -> a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*B d -> A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*B*B d -> a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*a*B*B d -> A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b d -> a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b d -> A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b*b*b d -> a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*b*b*b d -> A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B d -> a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B d -> A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B*B*B d -> a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*a*B*B*B d -> A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> a*a*a*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> a*a*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> A*A*A*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b d -> A*A*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b d -> a*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b d -> A*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b d -> a*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b d -> A*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b*b*b d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*b*b*b*b*b d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> a*a*a*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> a*a*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> A*A*A*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B d -> A*A*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B d -> a*B*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B d -> A*b*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B d -> a*B*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B d -> A*b*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B*B*B d -> b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> a*B*B*B*B*B d -> B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> a*a*a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A d -> A*A*A*A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*A*b d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*A*b d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*A*B d -> a 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*A*A*B d -> A 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*b d -> a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*b d -> A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*b*b d -> a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*b*b d -> A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*B d -> a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*B d -> A*A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*B*B d -> a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*A*B*B d -> A*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b d -> a*a*a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b d -> A*A*A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b*b*b d -> a*B 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*b*b*b d -> A*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*B d -> a*a*a*b 
	# Non-trivial kernel contains a*d*A*D

	# Images:-
	# b -> epsilon c -> epsilon a -> A*A*B d -> A*A*A*B 
	# Non-trivial kernel contains a*d*A*D
subabquot -c -t 2 g3d -t
abinvariants:- 0 0 
r= 0,s= 0
edges:- 2;2  orders g3d.op1
orders:- 1 1 2 3 
3;2  orders g3d.op2
orders:- 1 1 3 8 
5;2  orders g3d.op3
orders:- 1 1 5 24 
7;2  orders g3d.op4
orders:- 1 1 7 48 
11;2  orders g3d.op5
orders:- 1 1 11 120 

subabquot -c -t 2 g3d op1
abinvariants:- 0 0 0 0 0 
r= 1,s= 5
edges:- 2;5  orders g3d.op6
orders:- 1 1 2 31 4 96 
3;5  orders g3d.op7
orders:- 1 1 2 27 3 242 6 702 

subabquot -c -t 2 g3d op2
abinvariants:- 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 7
edges:- 2;10  orders g3d.op8
orders:- 1 1 2 1023 3 512 6 7680 

Time expired.
subabquot -c -t 2 g4a -t
abinvariants:- 0 0 
r= 0,s= 0
edges:- 2;2  orders g4a.op1
orders:- 1 1 2 3 
3;2  orders g4a.op2
orders:- 1 1 3 8 
5;2  orders g4a.op3
orders:- 1 1 5 24 
7;2  orders g4a.op4
orders:- 1 1 7 48 
11;2  orders g4a.op5
orders:- 1 1 11 120 
13;2  orders g4a.op6
orders:- 1 1 13 168 
17;2  orders g4a.op7
orders:- 1 1 17 288 

subabquot -c -t 2 g4a op1
abinvariants:- 0 0 
r= 1,s= 7
edges:- 2;2  orders g4a.op8
orders:- 1 1 2 3 4 12 
3;2  orders g4a.op9
orders:- 1 1 2 3 3 8 6 24 
5;2  orders g4a.op10
orders:- 1 1 2 3 5 24 10 72 
7;2  orders g4a.op11
orders:- 1 1 2 3 7 48 14 144 
11;2  orders g4a.op12
orders:- 1 1 2 3 11 120 22 360 

subabquot -c -t 2 g4a op2
abinvariants:- 0 0 
r= 2,s= 12
edges:- 2;2  orders g4a.op13
orders:- 1 1 2 3 3 8 6 24 
3;2  orders g4a.op14
orders:- 1 1 3 8 9 72 
5;2  orders g4a.op15
orders:- 1 1 3 8 5 24 15 192 

Time expired.
Normal series for trivial reps of g3d and g4a don't match.
g3d and g4a cannot be isomorphic.
The subgroups of g3d and g4a whose quotients have
descending series consisting of
an elementary abelian group on the prime 2 
must be non-isomorphic because
the sequences of elementary abelian invariants, which determine
which elementary abelian sections may lie below the two subgroups,
are  different. The sequences are
0 0 0 0 0 and 0 0 respectively.
#testing g4c g4a
ordrels g4c
ordrels g4a
abquot g4c
abquot g4a
kbeqn -t 20 -o -h 20 20 10 g4c
kbeqn -t 20 -o -h 20 20 10 g4a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g4c g4a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2

	# Images:-
	# ann -> a b -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> ann b -> b 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g5b g5c
ordrels g5b
ordrels g5c
abquot g5b
abquot g5c
kbeqn -t 20 -o -h 20 20 10 g5b
kbeqn -t 20 -o -h 20 20 10 g5c
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g5b g5c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2

	# Images:-
	# a -> a b -> e 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a d -> a*B b -> epsilon c -> epsilon e -> b 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g5d g5a
ordrels g5d
ordrels g5a
abquot g5d
abquot g5a
kbeqn -t 20 -o -h 20 20 10 g5d
kbeqn -t 20 -o -h 20 20 10 g5a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g5d g5a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# a -> a b -> a*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> a*b 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g6b g6a
ordrels g6b
ordrels g6a
abquot g6b
abquot g6a
kbeqn -t 20 -o -h 20 20 10 g6b
kbeqn -t 20 -o -h 20 20 10 g6a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g6b g6a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# c -> a*b d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> c*d b -> d 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g7b g7a
ordrels g7b
ordrels g7a
abquot g7b
abquot g7a
kbeqn -t 20 -o -h 20 20 10 g7b
kbeqn -t 20 -o -h 20 20 10 g7a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g7b g7a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# c -> A*B d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> C*d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# c -> A*B d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D*C b -> d 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# c -> B*A d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> d*C 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# c -> B*A d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> C*D b -> d 
	# Reverse mapping does not appear to be a homomorphism.
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5

	# Images:-
	# c -> a*a*b*A d -> A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> D b -> c*d*c 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# c -> a*a*b*A d -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> c*D*c b -> d 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g8b g8a
ordrels g8b
ordrels g8a
abquot g8b
abquot g8a
kbeqn -t 20 -o -h 20 20 10 g8b
kbeqn -t 20 -o -h 20 20 10 g8a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g8b g8a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4

	# Images:-
	# x -> a*B*B y -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> x*y*y b -> y 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# x -> A*b*b y -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> y^-1*y^-1*x^-1 b -> y^-1 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# x -> b*A*b y -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> y^-1*x^-1*y^-1 b -> y^-1 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# x -> b*b*A y -> B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> x^-1*y^-1*y^-1 b -> y^-1 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# x -> B*a*B y -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> y*x*y b -> y 
	# Reverse mapping does not appear to be a homomorphism.

	# Images:-
	# x -> B*B*a y -> b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> y*y*x b -> y 
	# Reverse mapping does not appear to be a homomorphism.
	# Sum of relevant image lengths = 5

	# Images:-
	# x -> a*B*B y -> b*A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> y^-1*x^-1*y^-1 b -> x^-1*y^-1 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g8d g8c
ordrels g8d
ordrels g8c
abquot g8d
abquot g8c
kbeqn -t 20 -o -h 20 20 10 g8d
kbeqn -t 20 -o -h 20 20 10 g8c
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g8d g8c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
	# Sum of relevant image lengths = 8
	# Sum of relevant image lengths = 9
	# Sum of relevant image lengths = 10

	# Images:-
	# x -> a*b*a*b*a*b y -> a*b*a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> X*X*X*y*x*x b -> X*X*X*y 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g8d g9b
ordrels g8d
ordrels g9b
abquot g8d
abquot g9b
kbeqn -t 20 -o -h 20 20 10 g8d
kbeqn -t 20 -o -h 20 20 10 g9b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g8d g9b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
	# Sum of relevant image lengths = 8
	# Sum of relevant image lengths = 9
	# Sum of relevant image lengths = 10
	# Sum of relevant image lengths = 11
	# Sum of relevant image lengths = 12
	# Sum of relevant image lengths = 13
	# Sum of relevant image lengths = 14
	# Sum of relevant image lengths = 15
	# Sum of relevant image lengths = 16
	# Sum of relevant image lengths = 17
subabquot -c -t 2 g8d -t
abinvariants:- 
r= 0,s= 0
edges:- 
subabquot -c -t 2 g9b -t
abinvariants:- 
r= 0,s= 0
edges:- 
permim -T -t 20 s4 g8d
permim -T -t 20 s4 g9b
Numreps 0 0
permim -T -t 20 a5 g8d
permim -T -t 20 a5 g9b
Numreps 0 0
permim -T -t 20 s5 g8d
permim -T -t 20 s5 g9b
Numreps 0 0
permim -T -t 20 l27 g8d
permim -T -t 20 l27 g9b
Numreps 2 0
g8d and g9b have different numbers of maps onto
l27, and so cannot be isomorphic.
#testing g9a g9b
ordrels g9a
ordrels g9b
abquot g9a
abquot g9b
kbeqn -t 20 -o -h 20 20 10 g9a
kbeqn -t 20 -o -h 20 20 10 g9b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g9a g9b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# a -> b b -> a*B 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> A*B b -> a 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g9c g9b
ordrels g9c
ordrels g9b
abquot g9c
abquot g9b
kbeqn -t 20 -o -h 20 20 10 g9c
kbeqn -t 20 -o -h 20 20 10 g9b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g9c g9b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
	# Sum of relevant image lengths = 8
	# Sum of relevant image lengths = 9
	# Sum of relevant image lengths = 10
	# Sum of relevant image lengths = 11
	# Sum of relevant image lengths = 12
	# Sum of relevant image lengths = 13
	# Sum of relevant image lengths = 14
subabquot -c -t 2 g9c -t
abinvariants:- 
r= 0,s= 0
edges:- 
subabquot -c -t 2 g9b -t
abinvariants:- 
r= 0,s= 0
edges:- 
permim -T -t 20 s4 g9c
permim -T -t 20 s4 g9b
Numreps 0 0
permim -T -t 20 a5 g9c
permim -T -t 20 a5 g9b
Numreps 0 0
permim -T -t 20 s5 g9c
permim -T -t 20 s5 g9b
Numreps 0 0
permim -T -t 20 l27 g9c
permim -T -t 20 l27 g9b
Numreps 0 0
permim -T -t 20 pgl27 g9c
permim -T -t 20 pgl27 g9b
Numreps 0 0
permim -T -t 20 a6 g9c
permim -T -t 20 a6 g9b
Numreps 0 0
permim -T -t 20 l28 g9c
permim -T -t 20 l28 g9b
Numreps 0 0
permim -T -t 20 l211 g9c
permim -T -t 20 l211 g9b
Numreps 2 2
permim l211 g9c
permim l211 g9b
bestpgp=l211
permim -T -t 20 l213 g9c
permim -T -t 20 l213 g9b
Numreps 0 0
permim -T -t 20 l217 g9c
permim -T -t 20 l217 g9b
Numreps 0 0
permim -T -t 20 a7 g9c
permim -T -t 20 a7 g9b
Numreps 0 0
permim -T -t 20 l219 g9c
permim -T -t 20 l219 g9b
Numreps 0 0
permim -T -t 20 l216 g9c
permim -T -t 20 l216 g9b
Numreps 0 0
permim -T -t 20 l33 g9c
permim -T -t 20 l33 g9b
Numreps 0 0
permim -T -t 20 u33 g9c
permim -T -t 20 u33 g9b
Numreps 0 0
permim -T -t 20 l223 g9c
permim -T -t 20 l223 g9b
Numreps 10 10
permim -T -t 20 l225 g9c
permim -T -t 20 l225 g9b
Numreps 0 0
Time expired.
kbeqn -t 40 -o -h 100 100 50 g9c
kbeqn -t 40 -o -h 100 100 50 g9b
findisoms -v  -m 30 -tt 100 -ot 10 -s -p l211 -a g9b g9c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4

	# Images:-
	# a -> x*y^-1 b -> x^-1*y^-1 
	# The map is an epimorphism.
	# Reverse images:-
	# x -> b*a*b*a*b*a*b*a*b*a y -> a*b*a*b*a*b*a*b*a*b*a 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g10a g10b
ordrels g10a
ordrels g10b
abquot g10a
abquot g10b
kbeqn -t 20 -o -h 20 20 10 g10a
kbeqn -t 20 -o -h 20 20 10 g10b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g10a g10b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# a -> a b -> b c -> c 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> b c -> c 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g11a g11c
ordrels g11a
ordrels g11c
abquot g11a
abquot g11c
kbeqn -t 20 -o -h 20 20 10 g11a
kbeqn -t 20 -o -h 20 20 10 g11c
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g11a g11c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2

	# Images:-
	# d -> d f -> f 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> d*f b -> d*f*D*f*d c -> f*d d -> d f -> f 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g11c g11b
ordrels g11c
ordrels g11b
abquot g11c
abquot g11b
kbeqn -t 20 -o -h 20 20 10 g11c
kbeqn -t 20 -o -h 20 20 10 g11b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g11c g11b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
	# Sum of relevant image lengths = 8
	# Sum of relevant image lengths = 9
	# Sum of relevant image lengths = 10
subabquot -c -t 2 g11c -t
abinvariants:- 0 
r= 0,s= 0
edges:- 2;1  orders g11c.op1
orders:- 1 1 2 1 
3;1  orders g11c.op2
orders:- 1 1 3 2 
5;1  orders g11c.op3
orders:- 1 1 5 4 
7;1  orders g11c.op4
orders:- 1 1 7 6 
11;1  orders g11c.op5
orders:- 1 1 11 10 
13;1  orders g11c.op6
orders:- 1 1 13 12 
17;1  orders g11c.op7
orders:- 1 1 17 16 

subabquot -c -t 2 g11c op1
abinvariants:- 5 0 
r= 1,s= 7
edges:- 2;1  orders g11c.op8
orders:- 1 1 2 1 4 2 
3;1  orders g11c.op9
orders:- 1 1 2 1 3 2 6 2 
5;2  orders g11c.op10
orders:- 1 1 2 5 5 24 10 20 
7;1  orders g11c.op11
orders:- 1 1 2 1 7 6 14 6 
11;1  orders g11c.op12
orders:- 1 1 2 1 11 10 22 10 
13;1  orders g11c.op13
orders:- 1 1 2 1 13 12 26 12 

subabquot -c -t 2 g11c op2
abinvariants:- 4 4 0 
r= 2,s= 13
edges:- 2;3  orders g11c.op14
orders:- 1 1 2 7 3 8 6 8 
3;1  orders g11c.op15
orders:- 1 1 3 2 9 6 
5;1  orders g11c.op16
orders:- 1 1 3 2 5 4 15 8 
7;1  orders g11c.op17
orders:- 1 1 3 2 7 6 21 12 
11;1  orders g11c.op18
orders:- 1 1 3 2 11 10 33 20 
13;1  orders g11c.op19
orders:- 1 1 3 2 13 12 39 24 

Time expired.
subabquot -c -t 2 g11b -t
abinvariants:- 0 
r= 0,s= 0
edges:- 2;1  orders g11b.op1
orders:- 1 1 2 1 
3;1  orders g11b.op2
orders:- 1 1 3 2 
5;1  orders g11b.op3
orders:- 1 1 5 4 
7;1  orders g11b.op4
orders:- 1 1 7 6 
11;1  orders g11b.op5
orders:- 1 1 11 10 
13;1  orders g11b.op6
orders:- 1 1 13 12 
17;1  orders g11b.op7
orders:- 1 1 17 16 

subabquot -c -t 2 g11b op1
abinvariants:- 5 0 
r= 1,s= 7
edges:- 2;1  orders g11b.op8
orders:- 1 1 2 1 4 2 
3;1  orders g11b.op9
orders:- 1 1 2 1 3 2 6 2 
5;2  orders g11b.op10
orders:- 1 1 2 5 5 24 10 20 
7;1  orders g11b.op11
orders:- 1 1 2 1 7 6 14 6 
11;1  orders g11b.op12
orders:- 1 1 2 1 11 10 22 10 
13;1  orders g11b.op13
orders:- 1 1 2 1 13 12 26 12 
17;1  orders g11b.op14
orders:- 1 1 2 1 17 16 34 16 
19;1  orders g11b.op15
orders:- 1 1 2 1 19 18 38 18 

subabquot -c -t 2 g11b op2
abinvariants:- 4 4 0 
r= 2,s= 15
edges:- 2;3  orders g11b.op16
orders:- 1 1 2 7 3 8 6 8 
3;1  orders g11b.op17
orders:- 1 1 3 2 9 6 
5;1  orders g11b.op18
orders:- 1 1 3 2 5 4 15 8 
7;1  orders g11b.op19
orders:- 1 1 3 2 7 6 21 12 
11;1  orders g11b.op20
orders:- 1 1 3 2 11 10 33 20 
13;1  orders g11b.op21
orders:- 1 1 3 2 13 12 39 24 

Time expired.
permim -T -t 20 s4 g11c
permim -T -t 20 s4 g11b
Numreps 0 0
permim -T -t 20 a5 g11c
permim -T -t 20 a5 g11b
Numreps 0 0
permim -T -t 20 s5 g11c
permim -T -t 20 s5 g11b
Numreps 2 2
permim s5 g11c
permim s5 g11b
bestpgp=s5
permim -f rep s5reg g11c
permim -f rep s5reg g11b
subabquot -c -t 2 g11c s5regrep1
subabquot ran out of time.
r= 0,s= 0
edges:- 2;24  
subabquot -c -t 2 g11c s5regrep2
subabquot ran out of time.
r= 0,s= 0
edges:- 2;24  
subabquot -c -t 2 g11b s5regrep1
abinvariants:- 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 0,s= 0
edges:- 2;24  3;25  
subabquot -c -t 2 g11b s5regrep2
abinvariants:- 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 0,s= 0
edges:- 2;24  3;25  
Time expired.
kbeqn -t 40 -o -h 100 100 50 g11c
kbeqn -t 40 -o -h 100 100 50 g11b
findisoms -v  -m 30 -tt 100 -ot 10 -s -p s5 -a g11b g11c
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5

	# Images:-
	# u -> a*C v -> A*b*A 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> u^-1*u^-1*v^-1*v^-1 b -> u^-1*u^-1*v^-1*u^-1*u^-1*v^-1*v^-1 c -> u^-1*u^-1*u^-1*v^-1*v^-1 d -> u^-1*v^-1 f -> v*u^-1*v^-1*v^-1 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g12a g12b
ordrels g12a
ordrels g12b
abquot g12a
abquot g12b
kbeqn -t 20 -o -h 20 20 10 g12a
kbeqn -t 20 -o -h 20 20 10 g12b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g12a g12b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4

	# Images:-
	# a -> x*Y b -> Y*x 
	# The map is an epimorphism.
	# Reverse images:-
	# x -> B*A y -> A*B*A 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g13a g13b
ordrels g13a
ordrels g13b
abquot g13a
abquot g13b
kbeqn -t 20 -o -h 20 20 10 g13a
kbeqn -t 20 -o -h 20 20 10 g13b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g13a g13b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3

	# Images:-
	# a -> x b -> x*y 
	# The map is an epimorphism.
	# Reverse images:-
	# x -> a y -> B*A 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g14a g14b
ordrels g14a
ordrels g14b
abquot g14a
abquot g14b
kbeqn -t 20 -o -h 20 20 10 g14a
kbeqn -t 20 -o -h 20 20 10 g14b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g14a g14b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5

	# Images:-
	# a -> b b -> b*d*c c -> C 
	# The map is an epimorphism.
	# Reverse images:-
	# b -> a d -> C*B*A c -> C 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g14a g16b
ordrels g14a
ordrels g16b
abquot g14a
abquot g16b
kbeqn -t 20 -o -h 20 20 10 g14a
kbeqn -t 20 -o -h 20 20 10 g16b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g14a g16b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
subabquot -c -t 2 g14a -t
abinvariants:- 2 0 0 
r= 0,s= 0
edges:- 2;3  orders g14a.op1
orders:- 1 1 2 7 
3;2  orders g14a.op2
orders:- 1 1 3 8 
5;2  orders g14a.op3
orders:- 1 1 5 24 
7;2  orders g14a.op4
orders:- 1 1 7 48 
11;2  orders g14a.op5
orders:- 1 1 11 120 
13;2  orders g14a.op6
orders:- 1 1 13 168 

subabquot -c -t 2 g14a op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 6
edges:- 2;11  orders g14a.op7
orders:- 1 1 2 2047 4 14336 

Time expired.
subabquot -c -t 2 g16b -t
abinvariants:- 2 0 0 
r= 0,s= 0
edges:- 2;3  orders g16b.op1
orders:- 1 1 2 7 
3;2  orders g16b.op2
orders:- 1 1 3 8 
5;2  orders g16b.op3
orders:- 1 1 5 24 
7;2  orders g16b.op4
orders:- 1 1 7 48 
11;2  orders g16b.op5
orders:- 1 1 11 120 
13;2  orders g16b.op6
orders:- 1 1 13 168 

subabquot -c -t 2 g16b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 6
edges:- 2;10  orders g16b.op7
orders:- 1 1 2 1023 4 7168 

Time expired.
Normal series for trivial reps of g14a and g16b don't match.
g14a and g16b cannot be isomorphic.
The subgroups of g14a and g16b whose quotients have
descending series consisting of
an elementary abelian group on the prime 2 
must be non-isomorphic because
the sequences of elementary abelian invariants, which determine
which elementary abelian sections may lie below the two subgroups,
are  different. The sequences are
0 0 0 0 0 0 0 0 0 0 0 and 0 0 0 0 0 0 0 0 0 0 respectively.
#testing g15a g15b
ordrels g15a
ordrels g15b
abquot g15a
abquot g15b
kbeqn -t 20 -o -h 20 20 10 g15a
kbeqn -t 20 -o -h 20 20 10 g15b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g15a g15b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4

	# Images:-
	# b -> z c -> x*Z d -> y 
	# The map is an epimorphism.
	# Reverse images:-
	# x -> c*b y -> d z -> b 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g17a g17b
ordrels g17a
ordrels g17b
abquot g17a
abquot g17b
kbeqn -t 20 -o -h 20 20 10 g17a
kbeqn -t 20 -o -h 20 20 10 g17b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g17a g17b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
subabquot -c -t 2 g17a -t
abinvariants:- 2 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g17a.op1
orders:- 1 1 2 15 
3;3  orders g17a.op2
orders:- 1 1 3 26 
5;3  orders g17a.op3
orders:- 1 1 5 124 
7;3  orders g17a.op4
orders:- 1 1 7 342 
11;3  orders g17a.op5
orders:- 1 1 11 1330 

subabquot -c -t 2 g17a op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 5
edges:- 2;34  
subabquot -c -t 2 g17a op2
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 5
edges:- 2;56  
Time expired.
subabquot -c -t 2 g17b -t
abinvariants:- 2 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g17b.op1
orders:- 1 1 2 15 
3;3  orders g17b.op2
orders:- 1 1 3 26 
5;3  orders g17b.op3
orders:- 1 1 5 124 
7;3  orders g17b.op4
orders:- 1 1 7 342 
11;3  orders g17b.op5
orders:- 1 1 11 1330 

subabquot -c -t 2 g17b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 5
edges:- 2;34  
subabquot -c -t 2 g17b op2
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 5
edges:- 2;56  3;55  
Time expired.
permim -T -t 20 s4 g17a
permim -T -t 20 s4 g17b
Numreps 1035 1035
Time expired.
kbeqn -t 40 -o -h 100 100 50 g17a
kbeqn -t 40 -o -h 100 100 50 g17b
findisoms -v  -m 30 -tt 100 -ot 10 -a -s g17b g17a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
subabquot -c -t 4 g17a -t
abinvariants:- 2 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g17a.op1
orders:- 1 1 2 15 
3;3  orders g17a.op2
orders:- 1 1 3 26 
5;3  orders g17a.op3
orders:- 1 1 5 124 
7;3  orders g17a.op4
orders:- 1 1 7 342 
11;3  orders g17a.op5
orders:- 1 1 11 1330 

subabquot -c -t 4 g17a op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 5
edges:- 2;34  
subabquot -c -t 4 g17a op2
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 5
edges:- 2;56  3;55  
subabquot -c -t 4 g17a op3
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 3,s= 5
edges:- 2;252  3;251  
subabquot -c -t 4 g17a op4
subabquot ran out of time.
r= 4,s= 5
edges:- 
Time expired.
subabquot -c -t 4 g17b -t
abinvariants:- 2 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g17b.op1
orders:- 1 1 2 15 
3;3  orders g17b.op2
orders:- 1 1 3 26 
5;3  orders g17b.op3
orders:- 1 1 5 124 
7;3  orders g17b.op4
orders:- 1 1 7 342 
11;3  orders g17b.op5
orders:- 1 1 11 1330 

subabquot -c -t 4 g17b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 5
edges:- 2;34  
subabquot -c -t 4 g17b op2
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 5
edges:- 2;56  3;55  
subabquot -c -t 4 g17b op3
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 3,s= 5
edges:- 2;252  3;251  
subabquot -c -t 4 g17b op4
subabquot ran out of time.
r= 4,s= 5
edges:- 
Time expired.
permim -T -t 40 a5 g17a
kbeqn -t 80 -o -h 500 500 250 g17b
findisoms -v  -m 30 -tt 500 -ot 50 -a -s g17a g17b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
subabquot -c -t 8 g17a -t
abinvariants:- 2 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g17a.op1
orders:- 1 1 2 15 
3;3  orders g17a.op2
orders:- 1 1 3 26 
5;3  orders g17a.op3
orders:- 1 1 5 124 
7;3  orders g17a.op4
orders:- 1 1 7 342 
11;3  orders g17a.op5
orders:- 1 1 11 1330 
13;3  orders g17a.op6
orders:- 1 1 13 2196 

subabquot -c -t 8 g17a op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 6
edges:- 2;34  
subabquot -c -t 8 g17a op2
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 6
edges:- 2;56  3;55  
subabquot -c -t 8 g17a op3
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 3,s= 6
edges:- 2;252  3;251  
subabquot -c -t 8 g17a op4
subabquot ran out of time.
r= 4,s= 6
edges:- 
Time expired.
subabquot -c -t 8 g17b -t
abinvariants:- 2 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g17b.op1
orders:- 1 1 2 15 
3;3  orders g17b.op2
orders:- 1 1 3 26 
5;3  orders g17b.op3
orders:- 1 1 5 124 
7;3  orders g17b.op4
orders:- 1 1 7 342 
11;3  orders g17b.op5
orders:- 1 1 11 1330 
13;3  orders g17b.op6
orders:- 1 1 13 2196 

subabquot -c -t 8 g17b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 6
edges:- 2;34  
subabquot -c -t 8 g17b op2
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 6
edges:- 2;56  3;55  
subabquot -c -t 8 g17b op3
abinvariants:- 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 3,s= 6
edges:- 2;252  3;251  
subabquot -c -t 8 g17b op4
subabquot ran out of time.
r= 4,s= 6
edges:- 
Time expired.
permim -T -t 80 a5 g17a
kbeqn -t 160 -o -h 2500 2500 1250 g17b
findisoms -v  -m 30 -tt 2500 -ot 250 -a -s g17b g17a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7

	# Images:-
	# x -> X*T y -> t*Y z -> z t -> z*t 
	# The map is an epimorphism.
	# Reverse images:-
	# x -> T*z*X y -> Y*Z*t z -> z t -> Z*t 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g18a g18b
ordrels g18a
ordrels g18b
abquot g18a
abquot g18b
kbeqn -t 20 -o -h 20 20 10 g18a
kbeqn -t 20 -o -h 20 20 10 g18b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g18a g18b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
subabquot -c -t 2 g18a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g18a.op1
orders:- 1 1 2 15 
3;4  orders g18a.op2
orders:- 1 1 3 80 
5;4  orders g18a.op3
orders:- 1 1 5 624 
7;4  orders g18a.op4
orders:- 1 1 7 2400 

Time expired.
subabquot -c -t 2 g18b -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g18b.op1
orders:- 1 1 2 15 
3;4  orders g18b.op2
orders:- 1 1 3 80 
5;4  orders g18b.op3
orders:- 1 1 5 624 

subabquot -c -t 2 g18b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 3
edges:- 2;34  
subabquot -c -t 2 g18b op2
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 3
edges:- 2;164  
subabquot -c -t 2 g18b op3
subabquot couldn't complete
r= 3,s= 3
edges:- 2;1252  
permim -T -t 20 s4 g18a
permim -T -t 20 s4 g18b
Numreps 900 900
Time expired.
kbeqn -t 40 -o -h 100 100 50 g18a
kbeqn -t 40 -o -h 100 100 50 g18b
findisoms -v  -m 30 -tt 100 -ot 10 -a -s g18b g18a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
subabquot -c -t 4 g18a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g18a.op1
orders:- 1 1 2 15 
3;4  orders g18a.op2
orders:- 1 1 3 80 
5;4  orders g18a.op3
orders:- 1 1 5 624 
7;4  orders g18a.op4
orders:- 1 1 7 2400 

subabquot -c -t 4 g18a op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;34  
subabquot -c -t 4 g18a op2
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 4
edges:- 2;164  
subabquot -c -t 4 g18a op3
subabquot couldn't complete
r= 3,s= 4
edges:- 2;1252  
Time expired.
subabquot -c -t 4 g18b -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g18b.op1
orders:- 1 1 2 15 
3;4  orders g18b.op2
orders:- 1 1 3 80 
5;4  orders g18b.op3
orders:- 1 1 5 624 
7;4  orders g18b.op4
orders:- 1 1 7 2400 

subabquot -c -t 4 g18b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;34  
subabquot -c -t 4 g18b op2
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 4
edges:- 2;164  
subabquot -c -t 4 g18b op3
subabquot couldn't complete
r= 3,s= 4
edges:- 2;1252  
Time expired.
permim -T -t 40 a5 g18a
kbeqn -t 80 -o -h 500 500 250 g18a
kbeqn -t 80 -o -h 500 500 250 g18b
findisoms -v  -m 30 -tt 500 -ot 50 -a -s g18a g18b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
subabquot -c -t 8 g18a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g18a.op1
orders:- 1 1 2 15 
3;4  orders g18a.op2
orders:- 1 1 3 80 
5;4  orders g18a.op3
orders:- 1 1 5 624 
7;4  orders g18a.op4
orders:- 1 1 7 2400 

subabquot -c -t 8 g18a op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;34  
subabquot -c -t 8 g18a op2
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 4
edges:- 2;164  
subabquot -c -t 8 g18a op3
subabquot couldn't complete
r= 3,s= 4
edges:- 2;1252  
Time expired.
subabquot -c -t 8 g18b -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g18b.op1
orders:- 1 1 2 15 
3;4  orders g18b.op2
orders:- 1 1 3 80 
5;4  orders g18b.op3
orders:- 1 1 5 624 
7;4  orders g18b.op4
orders:- 1 1 7 2400 

subabquot -c -t 8 g18b op1
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;34  
subabquot -c -t 8 g18b op2
abinvariants:- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 2,s= 4
edges:- 2;164  
subabquot -c -t 8 g18b op3
subabquot couldn't complete
r= 3,s= 4
edges:- 2;1252  
Time expired.
permim -T -t 80 a5 g18a
kbeqn -t 160 -o -h 2500 2500 1250 g18a
kbeqn -t 160 -o -h 2500 2500 1250 g18b
findisoms -v  -m 30 -tt 2500 -ot 250 -a -s g18b g18a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7

	# Images:-
	# w -> a x -> b*A y -> B*c z -> d*b 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> w b -> x*w c -> x*w*y d -> z*W*X 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g19a g19b
ordrels g19a
ordrels g19b
abquot g19a
abquot g19b
kbeqn -t 20 -o -h 20 20 10 g19a
kbeqn -t 20 -o -h 20 20 10 g19b
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g19a g19b
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2

	# Images:-
	# a -> a b -> b z -> z 
	# The map is an epimorphism.
	# Reverse images:-
	# a -> a b -> b z -> z 
	# Reverse mapping is a homomorphism.
	# Reverse mapping is inverse.
	# The map is an isomorphism.
Isomorphism found.
#testing g19a g20a
ordrels g19a
ordrels g20a
abquot g19a
abquot g20a
kbeqn -t 20 -o -h 20 20 10 g19a
kbeqn -t 20 -o -h 20 20 10 g20a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g19a g20a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4

	# Images:-
	# a -> a*a b -> a*b z -> a*z 

	# Images:-
	# a -> a*a b -> b*a z -> A*z 

	# Images:-
	# a -> a*a*B b -> b z -> b*z 

	# Images:-
	# a -> a*b b -> a*a z -> a*z 

	# Images:-
	# a -> a*B b -> a*z z -> b*z 
	# Non-trivial kernel contains a*a
subabquot -c -t 2 g19a -t
abinvariants:- 2 2 
r= 0,s= 0
edges:- 2;2  orders g19a.op1
orders:- 1 1 2 3 

subabquot -c -t 2 g19a op1
abinvariants:- 3 3 
r= 1,s= 1
edges:- 3;2  orders g19a.op2
orders:- 1 1 2 15 3 8 6 12 

subabquot -c -t 2 g19a op2
abinvariants:- 0 0 0 0 
r= 2,s= 2
edges:- 2;4  orders g19a.op3
orders:- 1 1 2 99 3 80 4 156 6 144 12 96 
3;4  orders g19a.op4
orders:- 1 1 2 243 3 404 6 972 9 324 18 972 

Time expired.
subabquot -c -t 2 g20a -t
abinvariants:- 2 2 
r= 0,s= 0
edges:- 2;2  orders g20a.op1
orders:- 1 1 2 3 

subabquot -c -t 2 g20a op1
abinvariants:- 2 
r= 1,s= 1
edges:- 2;1  orders g20a.op2
orders:- 1 1 2 5 4 2 

subabquot -c -t 2 g20a op2
abinvariants:- 3 3 
r= 2,s= 2
edges:- 3;2  orders g20a.op3
orders:- 1 1 2 21 3 8 4 18 6 24 

subabquot -c -t 2 g20a op3
subabquot ran out of time.
r= 3,s= 3
edges:- 2;4  orders g20a.op4
orders:- 1 1 2 123 3 80 4 372 6 336 8 144 12 96 

Time expired.
Normal series for trivial reps of g19a and g20a don't match.
g19a and g20a cannot be isomorphic.
The subgroups of g19a and g20a whose quotients have
descending series consisting of
an elementary abelian group on the prime 2 
must be non-isomorphic because
the sequences of elementary abelian invariants, which determine
which elementary abelian sections may lie below the two subgroups,
are  different. The sequences are
3 3 and 2 respectively.
#testing g22a g22b
ordrels g22a
ordrels g22b
abquot g22a
abquot g22b
g22a and g22b cannot be isomorphic since their abelian
quotients don't match.
#testing g23a g24a
ordrels g23a
ordrels g24a
abquot g23a
abquot g24a
kbeqn -t 20 -o -h 20 20 10 g23a
kbeqn -t 20 -o -h 20 20 10 g24a
findisoms -v  -m 30 -tt 20 -ot 2 -a -s g23a g24a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
subabquot -c -t 2 g23a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g23a.op1
orders:- 1 1 2 15 
3;4  orders g23a.op2
orders:- 1 1 3 80 
5;4  orders g23a.op3
orders:- 1 1 5 624 

subabquot -c -t 2 g23a op1
abinvariants:- 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 3
edges:- 2;49  3;38  
subabquot -c -t 2 g23a op2
subabquot ran out of time.
r= 2,s= 3
edges:- 2;82  
Time expired.
subabquot -c -t 2 g24a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g24a.op1
orders:- 1 1 2 15 
3;4  orders g24a.op2
orders:- 1 1 3 80 
5;4  orders g24a.op3
orders:- 1 1 5 624 

subabquot -c -t 2 g24a op1
abinvariants:- 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 3
edges:- 2;49  3;38  
subabquot -c -t 2 g24a op2
subabquot ran out of time.
r= 2,s= 3
edges:- 2;82  
Time expired.
permim -T -t 20 s4 g23a
kbeqn -t 40 -o -h 100 100 50 g23a
kbeqn -t 40 -o -h 100 100 50 g24a
findisoms -v  -m 30 -tt 100 -ot 10 -a -s g24a g23a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
subabquot -c -t 4 g23a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g23a.op1
orders:- 1 1 2 15 
3;4  orders g23a.op2
orders:- 1 1 3 80 
5;4  orders g23a.op3
orders:- 1 1 5 624 
7;4  orders g23a.op4
orders:- 1 1 7 2400 

subabquot -c -t 4 g23a op1
abinvariants:- 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;49  3;38  
subabquot -c -t 4 g23a op2
subabquot ran out of time.
r= 2,s= 4
edges:- 
Time expired.
subabquot -c -t 4 g24a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g24a.op1
orders:- 1 1 2 15 
3;4  orders g24a.op2
orders:- 1 1 3 80 
5;4  orders g24a.op3
orders:- 1 1 5 624 
7;4  orders g24a.op4
orders:- 1 1 7 2400 

subabquot -c -t 4 g24a op1
abinvariants:- 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;49  3;38  
subabquot -c -t 4 g24a op2
subabquot ran out of time.
r= 2,s= 4
edges:- 
Time expired.
permim -T -t 40 s4 g23a
kbeqn -t 80 -o -h 500 500 250 g23a
kbeqn -t 80 -o -h 500 500 250 g24a
findisoms -v  -m 30 -tt 500 -ot 50 -a -s g23a g24a
Format 2.2
	# Sum of relevant image lengths = 0
	# Sum of relevant image lengths = 1
	# Sum of relevant image lengths = 2
	# Sum of relevant image lengths = 3
	# Sum of relevant image lengths = 4
	# Sum of relevant image lengths = 5
	# Sum of relevant image lengths = 6
	# Sum of relevant image lengths = 7
	# Sum of relevant image lengths = 8
subabquot -c -t 8 g23a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g23a.op1
orders:- 1 1 2 15 
3;4  orders g23a.op2
orders:- 1 1 3 80 
5;4  orders g23a.op3
orders:- 1 1 5 624 
7;4  orders g23a.op4
orders:- 1 1 7 2400 

subabquot -c -t 8 g23a op1
abinvariants:- 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;49  3;38  
subabquot -c -t 8 g23a op2
subabquot ran out of time.
r= 2,s= 4
edges:- 2;82  
subabquot -c -t 8 g23a op3
subabquot couldn't complete
r= 3,s= 4
edges:- 2;376  
Time expired.
subabquot -c -t 8 g24a -t
abinvariants:- 0 0 0 0 
r= 0,s= 0
edges:- 2;4  orders g24a.op1
orders:- 1 1 2 15 
3;4  orders g24a.op2
orders:- 1 1 3 80 
5;4  orders g24a.op3
orders:- 1 1 5 624 
7;4  orders g24a.op4
orders:- 1 1 7 2400 

subabquot -c -t 8 g24a op1
abinvariants:- 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
r= 1,s= 4
edges:- 2;49  3;38  
subabquot -c -t 8 g24a op2
subabquot ran out of time.
r= 2,s= 4
edges:- 2;82  
subabquot -c -t 8 g24a op3
subabquot couldn't complete
r= 3,s= 4
edges:- 2;376  
Time expired.
permim -T -t 80 s4 g23a
permim -T -t 80 s4 g24a
Numreps 6048 5616
g23a and g24a have different numbers of maps onto
s4, and so cannot be isomorphic.
