# BBOX converted automatically from # http://atlas.math.rwth-aachen.de/Atlas/spor/Th/words/ThG1-max16W1 work := [];; output := [];; work[1] := input[1];; work[2] := input[2];; work[3] := work[1] * work[2];; work[4] := work[3] * work[2];; work[5] := work[3] * work[4];; work[6] := work[3] * work[5];; work[7] := work[6] * work[3];; work[8] := work[3] * work[7];; work[2] := work[8]^5;; work[8] := work[7] * work[4];; work[9] := work[3] * work[8];; work[10] := work[9] * work[4];; work[11] := work[4] * work[9];; work[12] := work[11] * work[3];; work[11] := work[12] * work[10];; work[13] := work[10] * work[12];; work[8] := work[13]^29;; work[6] := work[11]^23;; work[7] := work[8] * work[6];; work[6] := work[7]^-1;; work[8] := work[6] * work[2];; work[2] := work[8] * work[7];; work[5] := work[9] * work[3];; work[6] := work[10] * work[4];; work[4] := work[5] * work[6];; work[3] := work[4]^27;; work[4] := work[3]^-1;; work[5] := work[4] * work[1];; work[1] := work[5] * work[3];; output[1] := work[1];; output[2] := work[2];;