#I  First step : 1 dimensions

#I  pStep( 2 )

#I  pStep( 2 )

#I  pStep( 2 )

#I  pStep( 2 )

#I  pStep( 2 )
#I
#I

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