// BBOX converted automatically from // http://atlas.math.rwth-aachen.de/Atlas/spor/Th/words/ThG1-max15W1 function(S) // WARNING! This is not an SLP! w1 := S.1; w2 := S.2; w3 := w1 * w2; w4 := w3 * w2; w5 := w2 * w3; w6 := w2 * w5; w7 := w3 * w3; # Warning: I could not convert this line: '### 1,2,3,4,5,6,7 are x=a,y=b,xy,xyy,yxy,x1=x^y,xyxy.' w11 := w1 * w6; w12 := w6 * w2; w13 := w2 * w6; w14 := w13^-1; w13 := w14 * w12; w12 := w11^5; w14 := w13^5; w8 := w12 * w14; # Warning: I could not convert this line: '### 8 = a1.' w11 := w6 * w7; w12 := w7 * w6; w13 := w12^-1; w12 := w13 * w11; w11 := w12^4; w9 := w7 * w11; # Warning: I could not convert this line: '### 9 = b1.' w11 := w9^-1; w12 := w9 * w9; w13 := w9 * w12; w14 := w8 * w12; w15 := w14 * w12; w7 := w14^6; w14 := w8 * w8; w16 := w14 * w13; w13 := w8 * w14; w14 := w13 * w11; w11 := w13 * w16; w13 := w11 * w12; w11 := w15 * w16; w12 := w11 * w14; w11 := w12 * w13; w12 := w14^4; w13 := w12 * w7; w14 := w7^-1; w12 := w14 * w13; w13 := w9^10; w14 := w12 * w13; w7 := w14 * w11; # Warning: I could not convert this line: '### 7 = z1.' w11 := w1 * w7; w8 := w11^9; # Warning: I could not convert this line: '### 8 = a2.' w11 := w7 * w2; w12 := w2 * w7; w13 := w12^-1; w12 := w13 * w11; w11 := w12^4; w9 := w2 * w11; # Warning: I could not convert this line: '### 9 = b2.' w11 := w4 * w4; w12 := w3 * w11; w13 := w12 * w12; w12 := w13 * w11; w11 := w3^4; w1 := w11 * w12; # Warning: I could not convert this line: '### 1 = z.' w11 := w8 * w9; w12 := w11 * w9; w3 := w11^18; w4 := w9^4; w13 := w11 * w12; w14 := w11 * w13; w15 := w14 * w9; w16 := w15 * w14; w13 := w16 * w11; w14 := w13^-1; w15 := w14 * w8; w11 := w15 * w13; w13 := w12^5; w14 := w12 * w13; w12 := w13^-1; w15 := w12 * w4; w16 := w15 * w13; w13 := w14^-1; w15 := w13 * w4; w12 := w15 * w14; w15 := w4 * w16; w14 := w15 * w12; w13 := w14 * w11; w7 := w3 * w13; # Warning: I could not convert this line: '### 7 = y1.' w11 := w7 * w2; w12 := w2 * w7; w13 := w12^-1; w12 := w13 * w11; w8 := w12^14; # Warning: I could not convert this line: '### 8 = a3.' w11 := w7 * w5; w12 := w5 * w7; w13 := w12^-1; w12 := w13 * w11; w11 := w12^10; w9 := w5 * w11; # Warning: I could not convert this line: '### 9 = b3.' w7 := w9 * w9; w4 := w7 * w7; w11 := w9 * w8; w12 := w9 * w11; w13 := w9 * w12; w14 := w8 * w11; w5 := w14 * w7; w14 := w8 * w4; w3 := w14^4; w14 := w12 * w13; w13 := w14 * w12; w14 := w11 * w12; w15 := w12 * w11; w16 := w12 * w15; w15 := w16 * w13; w12 := w14 * w13; w11 := w15 * w12; w14 := w5 * w5; w15 := w14^-1; w16 := w15 * w4; w7 := w16 * w14; w15 := w14 * w14; w14 := w15^-1; w16 := w14 * w4; w12 := w16 * w15; w14 := w5 * w15; w15 := w14^-1; w16 := w15 * w4; w13 := w16 * w14; w5 := w6 * w3; w6 := w5 * w7; w5 := w6 * w12; w6 := w5 * w13; w2 := w6 * w11; # Warning: I could not convert this line: '### Answer in 1 and 2 (as usual).' return [w1,w2]; end function;