#I  First step : 1 dimensions

#I  pStep( 3 )

#I  pStep( 2 )

#I  pStep( 2 )

#I  pStep( 5 )
#I
#I

a := FreeGroup( 8, "a" );
SqPresentation := rec(
      generators := [ a.1, a.2, a.3, a.4, a.5, a.6, a.7, a.8 ],
      relators := [
a.1^2/(a.3),  
a.2^a.1/(a.2^2*a.4),  a.2^3/(a.6),  
a.3^a.1/(a.3),  a.3^a.2/(a.3*a.7),  a.3^2/(a.6*a.8),  
a.4^a.1/(a.5),  a.4^a.2/(a.5),  a.4^a.3/(a.4*a.8^4),  a.4^2/(a.6*a.7*a.8^4),  
a.5^a.1/(a.4*a.8^4),  a.5^a.2/(a.4*a.5*a.7*a.8),  a.5^a.3/(a.5*a.7^3),  a.5^a.4/(a.5*a.6*a.7^2*a.8^2),  a.5^2/(a.6*a.7),  
a.6^a.1/(a.6*a.7^3*a.8),  a.6^a.2/(a.6),  a.6^a.3/(a.6*a.8^3),  a.6^a.4/(a.6*a.7^2*a.8^2),  a.6^a.5/(a.6*a.7^3*a.8^4),  a.6^2,  
a.7^a.1/(a.8^4),  a.7^a.2/(a.8),  a.7^a.3/(a.7^3),  a.7^a.4/(a.7^2),  a.7^a.5/(a.7^3*a.8),  a.7^a.6/(a.7^4),  a.7^5,  
a.8^a.1/(a.7^2),  a.8^a.2/(a.7^4*a.8),  a.8^a.3/(a.8^3),  a.8^a.4/(a.7^3*a.8^3),  a.8^a.5/(a.8^2),  a.8^a.6/(a.8^4),  a.8^a.7/(a.8),  a.8^5,  
]
# Definitions
# a.3 <- a.1^2
# a.4 <- a.2^a.1
# a.5 <- a.4^a.1
# a.6 <- a.2^3
# a.7 <- a.3^a.2
# a.8 <- a.3^2
# Epimorphism : phi(1) := a.1*a.2, phi(2) := a.1 
)