These are words for the maximal subgroup of Fi23 with shape 
3^{1+8}.2^{1+6}.3^{1.2}.2S_4.  'a' and 'b' are standard generators for 
any representation which can be called from the atlasrep package.  
Simply copy-and-paste the following into GAP to get the generators of 
this maximal subgroup.  If anyone has the desire, it would be much 
appreciated to get these words in shorter form.  I ignored the letters 
'f' and 'g' since those are often used for other variables in GAP, at 
least by me.

c:=a*b;
d:=b*c;
e:=c*d;
h:=d*e;
i:=c*e;
words:=[c^4*i*e*d^3*c*b*a*h*e*d*c^2*i^2*h*e^2*i*h*c^3*e^-
2*d^2*i^3*e*d*i^4*e*d*i*h*i*h*e^2*i*h*c^2*b*c*i^2*d^3*i*d*c*d^4*i*h*d^8*i^2*e*d*i^4*e*d*i*h*i*h*e*c*d*i*h*i^2*c^2*d^4*i*h*d^3*a*d^2*h*d^5*h*c^4*i*e*d^2*h
*i*e*d*c^2*i^2*h*e^2*i*h*c^4*b*i*e*d^2*i^3*e*d*i^3*c^2*b*i*d*i*h*i*d*a*b*h*e*i*h*i*a*d^2*i*d^3*i*d*c*b*a*b*d^3*i*h*d^8*i^2*e*d*i^4*e*d*c*a*b*d*h*i*d*e^2*
c*b*a*h^2*i^3*d^3*i*h*d^3*c*a*b*d*h*d^6*e*c^4*i*e*d^2*h*c^2*h*d*c^2*i^2*h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*d*c*b*a*d*h*i*h*c*e*c*a*b*d*i*d^3*
i*h*b*a*b*d^2*i*h*d^4*b*a*b*d^3*i^2*e*d*c^2*b*c*i^3*e*d*i*h*i*h*e^2*i*h*i^3*
d^3*i*h*d^3*c^2*b*a*b*h*d^5*h*c^4*i*e*d^2*h*i*e*d*c^2*i^2*h*c*h*i*h*c^2*i*c*
b*i*d^2*i^3*c*d^2*i^4*c*b*e*i*h*i*h*a*b*h*i*h*i*c^2*b*a*h*d^3*i*h*d*b*e*i*h*d
^8*i^2*e*d*i^4*e*d*i*h*i*h*e^2*c^2*d*h*i^3*d^3*i*h*d^3*i*b*i*d^7*c^4*b*i*d^2*
h*i*e*d*c^2*i^2*h*e^2*a*d^2*h*c^2*i*e^2*b*e*i^3*e*d*c*a*b*d*i^3*e*d*c*a*b*d*
h*i*h*e^2*i*h*c*e*i^2*d^3*i*h*d^3*c^2*d*h*d^8*i^2*e*d*i*c*e*i^2*e*d*i*h*i*h*e
^2*i*d*c*b*c*i^3*d^3*c^2*d*h*d^3*i*h*b*a*b*d^4*h*c^4*i*e*d^2*h*i*e*d*c*a*h*i
*h*e^2*c*a*b*d*h*c^2*i*e^2*d*b*c*i^3*e*d*c^2*b*c*i^3*e*d*i*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*c^2*b*a*b*d*e*d^8*i^2*e*d*i^2*c^2*d*i*e*d*i*h*c^2*d*h*e^2*i*h*i
^3*d^3*i*h*d^3*i*h*d*b*e*d^4*c^2*i*e*d*b*e^2*i*e*d*c^2*i^2*h*e^2*i*d*c*d*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*h*e^2*i*d*a*b*d*i^3*d^3*i*h*d^3*i*h*d^8*i*c^
2*b*i*d*i^3*c^2*b*a*d^3*i*h*i*d*c*h*e*i*h*i^3*d^3*i*h*d^3*i*h*d^4*b*e^2*c^4*i*e*d^2*h*i*e*d*c^2*i^2*h*e^2*i*d*c*b*a*d*c*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*h*
e^2*c*e*d*c*b*c*i^3*d^3*c^2*b*e^2*d^3*i*h*b*a*b*d^7*c*e*i*a*b*d^2*i^4*a*b*d
^2*i*h*i*h*e^2*i*h*i*c^2*d*i*d^3*i*h*d^3*i*h*d^7*c^2*i*e*d^2*h*a*d*h*d*c^2*i^
2*h*e^2*i*h*c^4*h*e*d^2*i^3*e*d*i^3*c^2*h*d*i*h*i*h*e^2*i*h*i^3*d^3*i*d*c*b*e
*d^2*c*e*h*d^3*b*a*b*d^4*i^2*e*d*a*d^2*i^3*e*d*i*h*i*d*e^2*c*b*c*i*h*i^3*d^3
*i*h*d^3*i*h*d^7*c^2*i*e*d^4*i*c*b*a*b*d*i*e*d*i*e^2*d^2*c*i*e^2*d*i^2*h*c^2*
i*e^2*d^2*h*i*h^2*c*d^2*i^3*e*d*i^2*e*h*d*i*a*b*d*h^3*d*c^2*b*a*d*h*d^3*h*d
^2*c*i*d^3*i^2*d*c*b*a*b*d^2*c^4*i*e*d^2*h*i*e*d*c^2*i*c^2*b*a*b*h*e^2*i*h*c
^2*i*e^2*d^2*i*c^2*b*c*i*e*d*i^4*e*d*i*h*c^2*b*e^-1*i*h*a*d^2*i^2*d^3*i*b*i*d^3*i*h*d*b*a*b*d^6*i^2*c*b*a*b*d*i^4*c*b*a*b*d*i*
h*i*h*c*b*i^2*d*e*i^3*d^3*i*h*d^3*i*h*d^5*h*c^4*i*e*d^2*h*i*e*d*c^2*i^2*b*i*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*c*e*i^2*a*d*h*d*i*h*i*h*e^2*i*h*c^2*d*i^2*d^3*i*
d*e*d^3*i*h*d^2*b*a*b*d^5*i^2*e*b*c*i^4*e*b*a*d*e*h*i*h*e^2*i*h*i^2*c*a*b*d^4*i*h*d^3*i*h*d^7*c^2*i*e*d^2*h*i*e*d*c^2*i^2*h*c*h*i*h*c^2*i*c*h*d^2*i^3*c*d
^2*i^4*c*d^2*i*h*i*h*a*b*h*i*h*i*c^2*b*c*i*d^3*i*h*d*b*e*i*h*d^5*b*e*d*i^2*e*
d*i^4*e*d*i*h*i*h*e^2*i*h*i^3*d*b*e*c*e*h*d^3*i*h*d^7*c^4*h*d^2*h*i*e*d*c^2*
i^2*h*e^2*i*h*c^2*i*e^2*b*e*i^3*e*d*i^4*e*d*c*a*b*d*h*i*h*e*c*b*a*h^2*i^3*d^
3*i*h*d^3*i*h*d^8*a*d^2*i*e*d*i^4*e*d*i*h*a*d^2*h*e^2*i*h*i^3*d^3*c^2*d*h*d^
3*i*h*b*e*d^5*c^2*i*e*b*e*h*i*e*d*c^4*d*i*h*e^2*i*b*a*d^2*c^2*i*e^2*d^2*c*a*
b*d*i^2*e*d*i*c^2*d*i^2*e*d*i*d*a*b*d*i*h*e^2*i*h*i^3*d^2*b*a*h^2*d^3*i*h*d^
8*i^2*e*d*i^4*e*d*c*e*h*i*b*a*d*h*e*i*h*c^2*b*a*h*i*d^3*i*d*c*d^4*i*d*e*d^3*
b*e*c*i*e*h*c^4*b*i*d^4*i^2*d*a*b*h*e*i*h*d*c^2*h*e*d*i^2*d*c*b*a*d*h*i*h*c^2*i*e^2*d*i^2*h*a*b*h*i*h*c*i*e*h^2*d*i^3*e*h*d*i^2*d^3*h^2*i*c^2*i*h*d^5*h*
c^4*i*e*d^2*h*c*a*b*h*d*c^2*i^2*d*c*b*i*e*i*h*c^4*b*a*d*h*d^2*i^2*c^2*b*i*d*i^3*c^2*b*a*d^3*i*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*i*h*d^4*b*e*d^2*i^2*e*d*i^4*e
*d*c^2*d*h*i*h*e^2*i*h*i^3*b*e*d*i*h*d^3*c^2*d*h*d^7*c^2*a*d*h*d^2*h*i*c*b*a*b*d*c^2*i^2*h*e*c*d*i*h*c^2*i*e*c*d^3*i^3*e*d*i^4*e*b*a*h^2*i*h*e^2*i*h*i^2
*c*a*b*d^4*i*h*d^3*i*h*d^8*i^2*e*d*i*c^2*b*c*i^2*e*d*i*d*c*d*i*h*e^2*i*b*a*d^
2*i^3*d^3*i*d*e*d^3*i*d*c*b*e*d^4*h*c^5*a*b*h*d^2*h*i*e*b*a*d*c^2*e*i*h*e^2
*i*h*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*h*e^2*i*h*i^2*c^2*b*a*b*d^3*i*h*d^3*
i*h*d^8*i^2*e*d*i^4*e*d*i*h*i*h*e^2*i*d*a*b*d*i^3*d^3*c*a*b*d*h*d^3*i*h*d^7*
c^2*i*e*d^2*h*i*e*d*c^3*a*b*d*i*h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i
*h*e^2*i*h*i^3*d^2*b*c^2*e*h*d^3*i*d*a*b*d^9*i*a*d*h*d*i^4*e*d*i*h*i*b*i*e^2
*i*h*c^2*b*c*i^2*d^3*i*h*d^3*i*h*d^7*c^2*i*e*d^2*h*i*e*d*c^2*i*c^2*b*e^-
1*i*h*c^2*i*e^2*d^2*i*c^2*d*i*e*d*i^2*c^2*d*i*e*d*i*h*c^2*d*h*e^2*i*h*i^3*d^3*i*h*d^3*i*h*d*b*e*d^5*i^2*c*b*e*i^4*c*b*e*i*h*i*h*e^2*i*h*i*c^2*b*a*h*d^3*i*
h*d^3*i*h*d^5*b*a*b*d*c^2*i*e*d^2*h*i*e*d*c^2*i^2*d*c*b*i*e*i*h*c^4*b*a*d*h*d^2*i^2*c^2*b*i*d*i^3*c^2*b*a*d^3*i*h*i*d*c*h*e*i*h*i^3*d^3*i*h*d^3*i*h*d^4*b
*e*d^2*i^2*e*d*i^4*e*d*c^2*d*h*i*h*e^2*i*h*i^3*b*e*d*i*h*d^3*i*h*d^5*h*c*a*d*c*i*e*d^2*h*c^2*b*i*d*c^2*i^2*h*a*b*h*i*h*c^2*i*a*b*h*d^2*i^3*a*b*d^2*i^4*a
*b*d^2*i*h*i*h*e^2*c*e*h*i^3*d^3*i*h*d^3*i*h*d^8*i^2*e*d*c^2*b*a*h*i^2*e*d*i
*h*i*h*e^2*c*a*b*d*h*i^3*d^3*i*h*d^3*i*h*d^7*c^3*a*b*h*d^2*h*i*e*b*a*d*c^2*
e*i*h*e*c*b*a*h^2*c^2*i*e^2*d^2*i^3*e*d*a*d^2*i^2*c*e^2*d*i*h*i*h*e*c*b*c*i*h
*i^3*d^3*i*h*d^3*i*h*d^8*i^2*e*d*i^4*e*d*i*h*i*h*e^2*c*e*d*a*b*d*i^3*d^3*c*a*
b*d*h*d^3*i*h*d^5*h*c^6*b*a*d^4*h*i*e*d*a*d*i^2*h*e^2*i*h*c^2*i*e^2*d^2*i^3*
e*d*c^2*d*i^3*e*d*i*h*i*h*e^2*a*d^2*h*i^3*d^3*i*h*d^3*c^2*b*e^2*d^8*i^2*e*d*
i^2*c*a*b*d*i*e*d*i*h*i*h*e^2*i*d*c*b*a*h*i^2*d^3*c^2*b*e^2*d^3*i*h*d^7*c^2*i
*e*b*a*b*d*h*i*e*d*c^2*i^2*h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*i*c^2*b*c*i^2*e*d*i*h*i*h*e^2*i*b*a*d^2*i^3*d^3*a*d^2*h*d^3*i*d*c*b*e*d^7*i*c^2*h*d*i^3*c^2*h
*d*i*h*i*d*a*b*h*e*i*h*i^3*d^3*i*d*c*b*a*b*d^3*i*h*d^5*h*c^5*e^2*d*b*a*b*h*i*e*d*c^2*i^2*h*e^2*i*d*c*b*c^3*i*e^2*d^2*i^3*e*d*i^2*a*d^2*i*e*d*i*h*i*h*e^2*
i*d*c*d*i^2*c*e*d^3*c*a*b*d*h*d^3*i*h*b*e*d^6*i*c^2*b*a*d^3*i*c*e*i^2*e*d*i*h*i*d*c*b*i*e*i*h*i^3*d^3*i*h*b*e*d*i*h*d^7*c^2*i*e*d^3*c*b*a*h*e*d*c^2*i^2*
h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*b*a*d*h*e*i*h*c^2*b*c*i^2*d^3*i
*d*c*d^4*i*h*d^8*i^2*e*d*i^4*e*d*i*h*i*h*e*c*d*i*h*i*c*e*i*d^3*i*h*d^3*a*d^2*
h*d^6*c*i*c*i^2*e*d^3*c^2*i^2*h*c^2*i*a*b*h*d^2*c*i*e^2*d*i^2*h*c^2*i*c*b*i*d
^2*c*i*e*c^4*b*a*h*e*d*i^2*e*b*i*h^2*d*i*c^2*h^2*d*i*d^3*h*d^4*h*c^4*b*a*h*
c^2*i*c^5*i*e*d^2*h*i*e*d*c*a*h*i*h*e^2*i*h*c^2*i*e^2*d*b*c*i^3*e*d*c^2*b*c*i
^3*e*d*c^2*b*a*b*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*c^2*b*a*b*h*d^8*c^2*d*i*e*d*i
^2*c^2*d*i*e*d*i*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*i*h*d*b*e*d^4*c^2*i*e*d^2*h*i*
e*d*c^2*i^2*h*e^2*i*d*c*d*c^2*i*e^2*d^2*c^2*b*a*h*i*e*d*i^4*e*d*i*d*c*b*a*h^2*e^2*i*d*a*b*d*i^3*d^3*i*h*d^3*i*h*d^8*i^2*e*d*i^3*c^2*b*a*d^3*i*h*i*h*e^2*i
*h*i^3*d^3*i*h*d^3*i*h*d^4*b*e^2*c^4*i*e*d^2*h*i*e*d*c^2*i*c*a*b*d*h*e^2*i*d*c*b*a*d*c*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*h*e^2*i*d*c*b*c*i^3*d^3*i*h*d^3*i*
h*b*a*b*d^7*i^2*e*d*i^4*a*b*d^2*i*h*i*d*e^-2*i*h*i*c^2*d*i*d^3*i*h*d^3*i*h*d^7*c^2*i*e*d^2*h*a*d*h*d*c^2*i^2*d*a*b*h*e*

i*h*c^4*h*e*d^2*i^2*c*a*b*h*d*i^3*c^2*h*d*i*h*i*h*e^2*i*h*i*c*e*i*d^3*i*h*d^3*i*h*d^3*b*a*b*d^4*i^2*e*d*i^4*e*d*i*h*i*h*e*c*b*c*i*h*i^2*c^2*b*a*b*d^3*i*d
*e*d^3*i*h*d^7*c*a*h*e*d^2*h*i*c*d^2*c^2*i^2*h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d
*i^4*e*d*i*h*i*h*e^2*i*h*i^2*a*d^5*i*h*d^3*i*h*d^6*b*e*i^2*e*d*i*c*a*b*d*i^2*
e*d*i*h*i*h*e^2*i*h*i^3*d^2*b*c*i*h*d^3*i*d*a*b*d^8*c^2*i*e*d^2*h*i*e*d*c*a*
h*i*h*e^2*i*h*c^2*i*e^2*d*b*c*i^3*e*d*i^4*e*d*c^2*b*a*b*h*i*h*e^2*i*h*i^3*d^3
*i*h*d^3*c^2*b*a*b*h*d^8*c^2*d*i*e*d*i^2*c^2*d*i*e*d*i*d*e*c^2*d*h*e^2*i*h*i
^3*d^3*i*h*d^3*i*h*d^5*h*c^4*i*c*b*e*d*h*i*e*d*c^2*i^2*h*e^2*c^2*b*a*b*h*c^2*i*e^2*d^2*i^3*e*d*i*a*d^2*i^2*e*d*i*b*i^2*h*e^2*c^2*b*e^2*i^3*d*b*a*b*d*i*h
*d^3*i*b*a*d^10*c^2*b*a*h*e*d*i^4*e*d*i*h*c^2*b*a*b*h*e^2*i*h*i^3*d^3*i*b*a*d^5*i*h*d^7*c^2*i*e*d^2*h*i*e*d*c^2*i^2*h*e^2*i*d*c*b*a*d*c*i*e^2*d^2*i^3*e*
d*i^4*e*d*i*h*i*h*e^2*i*d*c*b*c*i^3*d^3*c^2*b*e^2*d^3*i*h*b*a*b*d^7*i^2*a*b*d^2*i^4*e*d*i*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*i*h*d^6*e*c^4*i*e*d^2*h*i*e*d*c^2
*i*c^2*b*e^-
1*i*h*c^2*i*e^2*d^2*i*c^2*d*i*e*d*i^2*c^2*b*c*i*e*d*i*h*c^2*d*h*e^2*i*h*a*d^2
*i^2*d^3*i*h*d^3*i*h*d^8*i^2*c*b*e*c*e*i^3*e*d*i*h*i*h*c*h*i*h*i^3*d^3*i*h*d*
b*a*b*d*i*h*d^7*c^2*i*e*d^2*h*c*a*b*h*d*c^2*i^2*d*c*b*a*d*h*i*h*c^4*b*a*d*h
*d^2*i^2*c^2*b*a*d^3*i^2*c*e*c^2*b*a*d^3*i*h*i*d*c*b*i*e*i*h*i^3*d^3*i*h*b*e*
d*i*h*d^8*i^2*e*d*c^2*d*i^3*e*d*i*h*c*e*h*e^2*a*d^2*h*i^3*b*e*d*i*h*d^3*c^2*
b*e^2*d^6*e*c*a*d*c*i*e*d^2*h*c^2*b*a*d^3*c^2*i^2*h*a*b*h*i*h*c^2*i*c*h*d^2
*i^3*a*b*d^2*i^4*e*d*i*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*i*h*d^8*i^2*e*d*c^2*b*a*h*i^2*e*d*i*h*i*h*e^2*c*a*b*d*h*i^3*d*b*e*i*h*d^3*i*h*d^7*c^4*h*d^2*h*i*e*b*
a*d*c*i^2*h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*c*e*h*i*h*e*c*b*a*h^2*i^3*d^3*i*h*d^3*c*a*b*d*h*d^8*i^2*e*d*i^2*a*d^2*i*e*d*i*h*i*h*e^2*i*d*c*d*i^3*d^3
*c*a*b*d*h*d^3*i*h*b*e*d^4*c*i*c*i^2*e*d^3*c^2*i*c^2*b*a*b*h*c^2*i*e^2*d^2*c*i*e^2*d*i^2*b*i*c^2*i*e^2*d^2*c*i*e*c^2*i^2*e*b*a*h*i*e*h^3*d*i^2*e*d*c*b*a*
b*d*i*d^3*h*d^2*b*a*b*d*h*c^2*i^2*c^3*a*b*d*c^5*i*e*d^3*a*b*d*i*e*d*c^2*i^2
*h*e^2*i*h*c*a*h*e^2*d^2*c*e*i^2*e*d*i^2*c^2*b*a*h*e*d*i*h*i*h*e^2*i*h*i^3*d
^3*i*h*d^3*i*h*d^8*i^2*e*d*i^3*c*e^2*d*i*h*i*h*c*b*a*d^2*i*h*i^2*a*d^5*i*h*d^
2*b*c*i*h*d^6*a*b*d*c^4*i*e*d^3*c*b*a*h*e*d*c^2*i^2*h*e^2*i*h*c^2*i*e^2*d^2*
i^3*e*d*i^4*e*d*i*h*i*h*e^2*i*h*c^2*b*c*i^2*d^3*i*d*a*b*d^4*i*h*d^8*i^2*e*b*a
*h*i^3*e*d*i*h*i*h*e*a*b*d*i*d*e*i^2*c^2*d^4*i*h*d^3*i*h*d^7*c^2*i*e*d^3*e*i*
e*d*c^2*i^2*h*e^2*i*h*c^2*i*c*b*i*d^2*i^3*e*d*i^4*c*b*e*i*h*i*h*c*h*i*h*i*c^2*
b*a*h*d^3*c*e*h*d*b*a*b*d*i*h*d^5*b*a*b*d^2*i^2*e*d*i*a*d^2*i^2*e*d*i*b*i^2*h*e^2*c^2*b*e^2*i^3*d^3*i*h*d^3*i*b*a*d^7*h*c^4*i*e*d^2*h*i*c*b*e*c^2*i^2*h
*e^2*c*e*h*c^2*i*e*a*b*d^3*i^3*e*d*i^4*e*b*c*i*h*i*h*c*b*a*d^2*i*h*i^3*d^3*i*h*d^2*b*c*i*h*d^6*b*a*b*d*i^2*e*d*i*c*a*b*d*i^2*e*d*i*h*i*h*e^2*i*h*i^3*d^3*i
*h*d^3*i*d*a*b*d^6*h*c^4*i*e*d^2*h*i*e*d*c^2*i^2*h*e*c*b*c*i*h*c^2*i*e*c*b*e*d*i^3*e*d*i^4*e*d*i*h*i*h*e*c*d*i*h*i^2*c^2*d^4*i*h*d^3*a*d^2*h*d^8*i^2*e*d
*i*c^2*b*a*h*i*e*d*i*h*i*h*e^2*i*h*i^3*d^3*i*h*d^3*i*d*c*b*a*b*d^7*c^2*i*c*b*
e*d*h*i*e*d*c^2*i^2*h*e^2*c^2*b*a*b*h*c^2*i*e^2*d^2*a*d^2*i^2*e*d*i*a*d^2*i^
2*e*d*i*b*a*d^2*i*h*e^2*i*h*i^3*d^3*i*h*d^3*i*h*d^8*i^2*e*d*i^4*e*d*i*h*i*h*e
^2*i*h*c*a*b*d*i*c*e*d^3*i*h*d^3*i*h*d^2*b*e*d^3*c^2*i*e*d^2*b*i^2*e*d*c^2*i
*c*a*b*d*h*e^2*i*h*c^2*i*e^2*d^2*i^3*e*d*i^4*e*d*i*h*i*h*e^2*i*h*i^3*d^3*c^2*
b*e^2*d^3*i*h*d^8*i^2*a*b*d^2*i^4*c*d^2*i*h*i*h*e^2*i*h*i*c^2*b*c*i*d^3*i*h*d
^3*i*h*d^5*b*i*c^4*i*e*d^2*h*i*e*d*c^2*i*c^2*b*a*b*h*e^2*i*h*c^2*i*e^2*d^2*i*
c^2*b*c*i*e*d*i^4*e*d*i*h*c^2*b*e^-1*i*h*c*e*i^2*d^3*i*b*i*d^3*i*h*d*b*a*b*d^6*i^2*c*b*a*b*d*i^4*c*b*a*b*d*i*h*i
*h*c*b*i^2*h*i^3*d^3*i*h*d^3*i*h*d^5*c*a*d*h*d*c^2*i^2*h*d*i*e^2*d*i*c*a*b*d*h*c^2*i*e^2*d^2*h*i*h*e^2*a*d^2*h*c^2*i*e^2*d*i^2*h*c^2*i*c*d*c^2*i^2*e*d*i
*a*d^2*i^2*e*d*i*b*i*c*e*h*e^2*c^2*b*e^2*i^3*d*b*a*b*d*i*h*d^3*i*b*a*d^8*c*i*c*a*b*d*h*c*i^2*e*d*a*d^2*i*e*h^6*d*c*b*a*b*h*i^2*h*i^2*d^2*i*d^3*c^2*b*a*
b*d^3*d,b*d*i*d*i^2*e*h*e*i*d*c*b*a*b*h^2*i*h*e^2*i*h^2*e*d*i*e*h^3*b*i*h^3*
d*b*a*d^2*i*h*d*i*e*a*b*d^3*h*i*h*d*i*e^2*d^2*c*i*e^2*d^2*h*i*h*e^2*i*h*d*i*
c*b*a*d^4*c^4*i*e*d^4*h*d*i*e*d^2*c^4*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*c*a*
b*d*h*i*d*i*e*h^3*d*i*e*d*e*d*c^7*i*c^2*b*e*c^2*i^2*d*c^4*b*a*b*h^3*i*d*c*h*
e*i*h*i*b*c*i*e*h^3*d*i*e*h^2*d*a*h*e^2*d^2*h*i*h*e^2*i*h*b*e*d*i*e*h*c^2*i*e
*d^3*c^6*i*a*d^3*c^2*i^2*d*c^3*a*b*d*h^3*i*b*i*e^2*i*h*c^2*b*e*i*e*h^3*d*i*e
*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*c*a*b*d*h*i*d*i*e*h^3*d*i*e*d*e*h
*d*c*i*e^2*d^2*h*i*h*e*a*b*d*i*h*d^3*i*c*d*h*c^3*e^2*d^3*c^6*i^2*d*c^4*d*i*d*c^2*i*h*d*a*b*d*h*i*h*e^2*i*h*i*d*i*c*b*a*b*h^3*d*i*c*d*h*d*c^7*i^2*d*c^2*i
^2*d*c^3*a*b*d*h^3*i*h*e^2*i*h*c^2*b*e*i*e*h^3*d*i*e*h^2*b*c^2*i*e^2*d^2*h*a*d^2*h*e^2*i*d*c*b*e*d^2*i*e*h*c^2*a*d*h*d^4*h*c^5*i^2*d*c^2*i*c^2*d^2*c^2
*i*h^2*d*a*b*d*i*h*e^2*i*h*i*d*i*e*h*d*e*h*d*i*e*d*a*b*d^2*c^7*i^2*d*c^2*i^2*d*c^2*i*h*d*e*h*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h^2*d*c^2*a*b*h*e*d^2*h*i*b*a
*d*h*e*i*h*d*b*a*b*d*i*e*h*c^2*i*c*d^4*c^6*i*c^2*b*e*c^2*i^2*d*c^2*i*h^3*i*h
*e^2*i*h*i*b*a*h*e*h^3*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^2*d*a*b*d*i*h*e
^2*i*h*i*d*i*e*d*c*b*a*b*h^2*d*i*e*d*a*b*d*h*d*c*i*e^2*d^2*h*i*h*e^2*i*h*d^3
*i*e*b*i*c^2*i*e*d^4*b*i*c^5*i^2*d*c^2*i^2*d*c^2*i*d*c*b*a*b*h^2*i*h*e^2*i*h*i
*d*c^2*b*a*d^2*h^3*d*i*e*h*d*c^8*a*b*d*i*d*c^2*i^2*d*c^2*i*h^3*c*a*b*d*h*e^
2*i*h*i*d*i*e*h*d*c*b*e^2*d*i*e*h*d*a*b*d^2*c*i*e^2*d^3*a*b*d*i*h*e^2*i*b*i*
d^3*i*e*h*c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*d*e*i*d*i*e*h^3
*d*i*e*h*d*c^7*i^2*d*c*a*h*i*d*c^2*i*d*c*b*a*b*h^2*i*h*e^2*i*h*i*d*c^2*b*a*d^2*h^3*d*c^2*h^3*d*c*i*e^2*d^2*h*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^3*c^6*i^2*b
*a*d*c*i^2*d*c^2*i*h^3*i*h*a*b*h*i*h*i*d*c*a*b*h^4*d*i*e*h*d*c^7*i^2*d*c^2*i^2*b*c^3*i*h^3*i*h*e^2*i*d*a*b*d*i*d*i*e*h^3*d*i*e*h^2*d*c*i*e^2*d^2*h*i*h*e^
2*c^2*d*h*d^3*i*e*h*c^2*i*e*d^3*c^6*i^2*d*c^2*i*c^2*b*e*c^2*i*h^2*d*a*b*d*i*h*e^2*i*b*i^2*d*i*e*d*c*b*a*b*h^2*d*i*e*d*c*d^2*c^7*i^2*b*a*d*c*i^2*d*c^2*i*
d*a*b*d*h^2*i*h*e^2*i*h*i*d*c*a*b*h^4*d*i*e*h^2*d*c^3*h*e*d^2*h*i*h*e^2*i*h
*d^3*i*e*h*c^2*i*c*d^4*c^6*i*c^2*b*a*b*d*c^2*i^2*d*c^2*i*h^3*i*d*c*b*i*e*i*h*
i*b*a*h*e*h^3*d*i*e*h*d*c^8*e*i*d*c^2*i^2*d*c^2*i*h^2*d*a*b*d*i*h*e^2*i*h*i*
d*i*e*d*c*b*a*b*h^2*d*i*e*h^2*d*c*i*e^2*d^2*h*i*h*e^2*a*d^2*h*d^3*i*e*b*i*c^
2*i*e*d^4*b*a*d^2*c^5*i^2*d*c*a*h*i*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e
*h*d*c^9*d*i*d*c^2*i^2*d*c^2*i*h^3*c^2*d*h*e^2*i*h*i*d*i*e*h*d*c*b*a*b*h*d*i
*e*h*d*a*b*d^2*c*i*e^2*d^3*c*d*i*h*e^2*i*b*i*d^3*i*e*h*a*d*i*e*d^3*c^6*i^2*d
*c^2*i^2*b*a*d*c*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h*d*c^7*i^2*d*c*a*h*i*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*c^2*d*e*h^2*d*c*i*a*b*h*d^2*h*i*d*c*b*i*
e*i*h*d^3*a*d*h^2*c^2*i*e*b*e*d^2*i*d^2*h*d*c*d^3*i^2*c^4*i*c*i*e*i*e*d*c^2*b*a*h*i*e*h^2*d*i^2*e*d*i*c^2*a*d*c^3*i^2*d*c^2*i^2*d*c^2*i*h*d*c*b*a*b*h*i*
h*e^2*i*h*i*d*i*e*b*a*d^2*h^2*d*i*c*b*a*b*h^2*d*c*i*e*c*b*e*d*h*i*h*d*i*e^2*d*i^2*d*c*d^2*i*e^2*d^2*c^3*b*i*e*d*i*e*h*d*h*d*c^3*i*e*d^3*c^6*i^2*d*c^2*i^

2*d*c^2*i*h*b*i*h*i*h*e^2*i*h*i*d*i*a*b*d*h^3*d*c^2*b*a*d^2*h*d*c^9*b*c*i*d*c^2*i^2*d*c^2*i*h^3*c^2*b*e^-
1*i*h*i*d*c*e^2*h^3*d*i*e*h^2*d*c*i*e^2*d^3*c*b*c*i*h*e^2*i*h*d^3*i*e*h*c^2*i
*e*d^3*c^6*i^2*d*c^2*i^2*d*c^3*e*h^3*i*h*e^2*i*d*c*b*c*i*d*i*e*h*d*c*d*h*d*i
*e*h*b*a*d*c^6*i^2*d*c^2*a*d^2*i*d*c^2*i*h*b*i*h*i*d*e^2*c*d*i*h*i*d*i*e*h^3
*d*c^2*b*a*d^2*h^2*d*c*i*e^2*d^2*h*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^4*h*c^5*i
^2*d*c^2*i^2*d*c^4*d*h^3*i*b*a*d*h*e*i*h*c^2*b*a*b*d*i*e*h^2*d*a*b*d^2*i*e*
h*d*c^3*a*d*c^2*i^2*d*c^3*e*a*d^3*c^2*i*h^3*i*h*e^2*c^2*d*h*i*d*i*e*h^2*d*e*d*i*e*b*i*h*d*c*i*e^2*d^2*h*i*h*e*c*d*i*h*d^3*i*c*b*e^2*c^2*i*e*d^3*b*e^2*c^
5*i^2*d*c^2*i^2*d*c^2*i*d*a*b*d*h^2*i*h*c*h*i*h*i*d*c*a*b*h^4*d*a*d*h*d*e*d*c^7*i^2*d*c^2*i^2*b*a*d*c*i*h^3*i*h*e^2*i*d*c*d*i*d*i*e*h^3*d*i*e*h*b*i*d*c*
i*e^2*d^2*b*i^2*h*e^2*c^2*b*e^2*d^3*i*e*d*c*d*c^2*i*e*d^3*c^4*a*d*i*c*e*d*c^2*i*c^2*b*e*c^2*i*h^2*d*c*d*i*h*e^2*i*b*i^2*d*i*e*h^3*d*i*e*d*c*d^2*c^7*i^2*d
*c^2*i^2*d*c^2*i*d*a*b*d*h^2*i*h*e^2*i*h*i*d*c*a*b*h^4*d*a*d*h^3*d*c^3*h*e*
d^2*h*i*h*e^2*i*h*d^3*i*e*h*c^2*i*c*b*e*d^2*c^6*i*c^2*b*a*b*d*c^2*i^2*d*c^2*
i*b*i*h^2*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h*d*c^5*a*d*i^2*d*c^2*i^2*d*c^2*i*h^2
*d*c*d*i*h*e^2*i*b*i^2*d*i*e*h^3*d*i*e*d*c*d*h*d*c*i*e^2*d*b*e^2*i*h*e^2*a*d
^2*h*d^3*i*e*b*a*d^2*c^2*i*e*d^4*b*a*d^2*c^5*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e
^2*i*h*i*d*i*e*h^3*d*i*e*h*d*c^9*d*i*d*c^2*i^2*d*c*a*h^4*c^2*d*h*e^2*i*h*a*d
^3*i*e*h*d*c*b*a*b*h*d*i*e*h*d*c*d^2*c*i*e^2*d^3*c*d*i*h*e^2*i*h*d^3*i*e*h*a
*d*i*e*d^4*h*c^5*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*c*a*b*d*h*i*d*i*e*h^3*d*i*e*h*d*c^7*i*c^2*b*e*c^2*i^2*d*c^4*b*a*b*h^3*i*d*c*h*e*i*h*i*b*c*i*e*h^2*d*c*
b*a*b*d*i*e*h^2*d*c*i*e^2*d^2*h*c^2*b*e^-1*i*h*d^3*i*e*h*c^4*b*i*d^3*c^6*i^2*d*c^2*i^2*d*c^3*a*b*d*h^3*i*b*i*e^2*i*h*c
^2*b*e*i*e*h^3*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*c*a*b*d*h*i*d*i*e*h^3*d*i*e*h^2*d*c*i*e^2*d^2*h*i*h*e*a*b*d*i*h*d^3*i*e*h*c^2*i*e*d^3*c^6
*i^2*d*c^4*d*i*d*c^2*i*h*d*a*b*d*h*i*h*e^2*i*h*i*d*i*c*b*a*b*h^3*d*i*c*d*h*d
*c^7*i*a*d^3*c^2*i^2*d*c^3*a*b*d*h^3*i*h*e^2*i*h*c^2*b*e*i*e*h^3*d*i*e*h^2*b
*c^2*i*e^2*d^2*h*i*h*e^2*i*d*c*b*e*d^2*i*e*h*c^2*a*d*h*d^4*h*c^5*i^2*d*c^2*i
*c^2*d^2*c^2*i*h^2*d*a*b*d*i*h*e^2*i*h*i*d*i*e*d*c*b*a*b*h^2*d*i*e*d*a*b*d^2
*c^7*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h^2*d*c^2*a*b*h*
e*d^2*h*i*b*a*d*h*e*i*h*d*b*a*b*d*i*e*h*c^2*i*c*d^4*c^6*i*c^2*b*e*c^2*i^2*d*
c^2*i*h^3*i*d*c*h*e*i*h*i*b*a*h*e*d*e*h^2*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i
*h^2*d*a*b*d*i*h*e^2*i*h*i*d*i*e*d*c*b*a*b*h^2*d*i*e*d*a*b*d*h*d*c*i*e^2*d^2*h*i*h*e^2*i*h*d^3*i*e*b*i*c^2*i*e*d^4*b*e^2*d^2*h^2*d*b*a*b*h*c^4*i*c^5*b*
a*b*d*i^2*e*h*d*i^4*e*d*c*b*e*i*e*h*d^2*h*e*d^2*c*i*e^2*d*b*e^2*i*h*d*i*e^2*d^2*c*i*e^2*d^2*h*i*h*d^3*c^2*i*e*h*d*h*d^2*c^5*i^2*d*c^3*a*b*d*i*d*c^2*i*h^
3*i*d*e^2*c*b*a*h^2*i*d*i*c*b*e^2*h^2*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*d*e*h*b*a*d^3*i*e*h^2*d*c*i*e^2*d^2*h*i*h*e^2*i*d*c*d^
4*i*e*h*c^2*i*e*d^3*c^8*d*i*d*c^2*i^2*d*c^2*i*h^3*c^2*d*h*e^2*i*h*i*d*i*e*h*d
*c*b*a*b*h*d*i*e*d*e*d*c^7*i^2*d*c^3*a*b*d*i*d*c^2*i*h^3*i*h*e*c*b*a*h^2*i*d
*i*c*b*e^2*h^2*d*i*a*b*d*h^2*d*c*i*c*b*a*d^4*h*i*h*c*h*i*h*d^3*c^2*h^2*c^2*i
*e*d*b*a*b*d^2*h*c^5*i*c^2*d^2*c^2*i^2*d*c^2*i*h^3*i*d*a*b*h*e*i*h*i*d*i*e*h
^2*d*c*b*e*i*e*h*d*c^7*i^2*d*c^2*i*c*a*b*d^2*c^2*i*h^3*i*h*e^2*c^2*b*a*b*h*i
*d*i*e*d*c*b*e^2*h*d*i*e*h^2*d*c*i*e^2*b*a*b*d*h*i*h*e*c*b*a*h^2*d^3*i*e*h*
c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*c*a*b*d*h*i*d*i*e*h^3*d*i*e
*h*d*c^7*i*c^2*d^2*c^2*i^2*d*c^4*b*a*b*h^3*i*d*a*b*h*e*i*h*i*b*c*i*e*h^2*d*c*b*e*i*e*h^2*d*a*h*e^2*d^2*h*c^2*d*h*e^2*i*h*d^3*i*e*h*c^4*h*d^4*h*c^5*i^2*
d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*c*e*d*i*e*h*b*a*d^2*h*d*i*e*d*c*b*a*b*d*c^7*i^2*d*c^2*i^2*d*c^2*i*d*c*b*e^2*h*i*h*c*b*a*d^2*i*h*i*d*c^2*b*i*h^3*d*c*a*
b*h^3*d*c*i*e^2*d^2*h*i*d*c*h*e*i*h*d^3*i*e*h*c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*b*a*h*e*h*d*c^6*a*h*i*d*c^2*i^2*d*c^2*i*h
^2*d*c*b*a*h^2*e^2*c*e*h*i*d*i*e*h^3*d*i*e*d*c*b*a*b*h*d*c*i*e^2*d^2*h*i*h*
e^2*c*a*b*d*h*d^3*i*e*h*c^2*i*e*d^5*a*b*d*c^5*i^2*d*c^2*i^2*d*c^2*i*h*b*a*d^
2*h*i*h*e*c*b*c*i*h*i*d*i*c*d*h^3*d*i*e*h*d*c^9*b*a*h*d*c^2*i*c*e*d*c^2*i*h^
3*c^2*b*a*b*h*e^2*i*h*i*d*i*e*h^2*b*i*d*i*e*h^2*d*c*i*e^2*d^3*c*b*a*h^2*e^2*
i*d*a*b*d^4*c*e^2*h*c*a*h*e*d^3*c^7*a*b*d*i*d*c^2*i^2*d*a*d*i*d*e*h^2*c*a*b
*d*h*e^2*i*d*c*b*a*h*d*i*e*h*d*c*b*e^2*d*i*e*d*e*d*c^7*i^2*d*c^2*i^2*d*c^2*i
*h^3*i*h*e*c*b*c*i*h*i*d*i*e*h^3*d*i*e*h^2*d*c*i*c*b*i*d^3*e*i*h*a*b*h*i*h*d^
3*c*a*b*h^2*c^2*i*e*d*b*e*c^6*i^2*d*c^2*i^2*d*c^2*i*d*c*b*a*b*h^2*i*h*c*b*a*d^2*i*d*e*i*d*i*e*h^3*d*c*a*b*h^2*d*c^7*i^2*d*c^2*i^2*d*a*d*i*h^3*i*h*e^2*i*d
*c*b*a*h*d*i*e*h*d*c*b*e^2*d*i*e*h^2*d*c*i*e^2*d^3*a*b*d*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^3*c^5*a*h*i*d*c^2*i^2*b*c^3*i*h^3*i*h*e^2*i*d*a*b*d*i*d*i*e*h^3*
d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*d*c*b*a*b*h^2*i*h*c*b*a*d^2*i*h*i*d*c^2*b*a*d^2*h^3*d*c*a*b*h^3*d*c*i*e^2*d^3*e*i*d*c*h*e*i*h*d^3*i*e*h*c^2*i*e*d^4
*h*c^6*e*i*d*c^2*i^2*d*c^2*a*d^2*h^3*i*h*e^2*i*h*c*a*b*d^2*i*e*h^3*d*i*e*h*d
*c^7*i^2*d*c^4*b*a*h*d*c^2*i*h*d*c*b*e^2*i*h*e^2*i*h*i*d*i*e*b*i*h^2*d*i*c*b
*a*b*h^2*d*c*i*e*c*d^3*h*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^2*b*a*d*c^5*i^2*d*c
^2*i^2*d*c^2*i*h^3*c*e*h*e^2*i*h*i*d*i*c*b*e^2*h^2*d*i*e*h*d*c^7*i^2*d*c^2*i^
2*d*c^2*a*d^2*h^3*i*h*e^2*i*h*c*a*b*d^2*i*e*h^2*b*a*d^3*i*e*h*d*c*b*a*b*d*c
*i*e^2*d^2*h*i*h*e^2*i*d*a*b*d^4*i*e*h*c^2*i*e*d^5*h*b*e*h^2*d^2*h*c^4*i*c^3
*i*d*i^2*e*h*d*i^4*e*h*d*c^2*b*a*d^2*h*d^2*h*e*d*b*c^2*i*e^2*d^2*h*a*d^2*h*
d*i*e^2*d^2*c*i*e^2*d^2*h*i*h*d^3*c^2*i*c*d*h*d*h*d^2*c^5*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*d*c*b*a*b*d*c^7*i^2*d*a*d*i^2*d*c^2*i*d
*c*b*e^2*h*i*h*c*b*i^2*h*i*d*c^2*b*i*h^3*d*i*e*h^2*d*c^3*b*a*d*h*d^2*h*i*d*a*b*h*e*i*h*d^3*i*e*h*c^2*i*c*b*a*b*d^3*c^6*i^2*d*c^2*i^2*d*c^2*i*b*a*d^2*h^
2*i*d*e^-2*i*h*i*d*a*d*h^4*b*a*h*e*h*d*c^7*i*c*e*d*c^2*i^2*d*c^2*i*h^2*d*c*b*c*i*h*e^
2*i*h*i*d*i*e*h*b*i*h*d*i*e*d*c*b*a*b*h*d*c*i*e^2*d^2*h*i*h*e^2*c*a*b*d*h*d^
3*i*e*h*c^2*i*e*d^5*a*b*d*c^5*i^2*d*c^3*e*i*d*c^2*i*h*b*a*d^2*h*i*h*e*c*d*i*
h*i*d*i*c*d*h*d*e*h*d*c^2*b*a*d^2*h*d*c^9*b*a*h*d*c^2*i^2*d*c^2*i*h^3*c^2*b
*a*b*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h*d*c*b*e*c*i*e^2*d^2*h*i*h*e^2*i*h*d^3*i*e*
h*c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*a*d*i*h^3*i*h*e^2*c*e*d*c*b*a*h*d*i*e*h*d*
c*d*h*d*i*e*h*d*c^7*i^2*d*c^2*a*d^2*i*d*c^2*i*h*b*a*d^2*h*i*h*e^2*i*h*i*d*i*
c*d*h^3*d*i*e*h^2*d*c*i*c*b*i*d^2*h*i*h*e^2*i*h*d^3*c*a*b*h^2*c^2*i*e*d^4*h*
c^5*i*c*a*b*d^2*c^2*i*c*e*d*c^4*d*h^3*i*h*e^2*i*h*c^2*b*a*b*d*i*e*h^2*d*c*d^2*i*e*h*d*c^3*a*d*c^2*i^2*d*c^2*i^2*d*c^2*i*h^2*b*i^2*h*e^2*i*h*i*d*i*e*d*a*b
*d*h^2*d*i*e*h^2*d*c*i*e^2*d^2*h*i*h*e*c*b*c*i*h*d^3*i*c*b*e^2*c^2*i*e*d^3*c^6*i^2*d*c^4*b*c*i*d*c^2*i*h*d*c*b*e^2*i*h*e^2*a*d^2*h*i*d*i*e*b*i*h^2*d*i*e*
h*d*c^7*i*c*a*b*d^2*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^2*d*c*d^2*i*e*h^2*d*c*i*e^2*d^2*h*c*a*b*d*h*e^2*i*d*c*b*a*b*d^3*i*e*h*c^3*a*b*h*d^4*h*c^3*

a*d*i^2*d*c^2*i*c^2*b*a*b*d*c^2*i*h^2*d*c*d*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*c*h*i*h*i*d*c^2*h^4*d*a*d*h^3*d*c^3*b*i*
e*d^2*h*i*h*e^2*i*h*d^2*b*c*i*e*h*c^2*i*c*b*e*d^2*c^6*i^2*d*c^2*i^2*d*c^2*i*
h^3*i*d*c*b*a*d*h*i*h*i*d*i*e*h^3*b*c*i*e*h*d*c^7*i^2*d*c^2*i*c^2*b*a*b*d*c^
2*i*h^2*d*c*d*i*h*e^2*i*b*a*d^2*i*d*i*e*h^3*d*i*e*d*c*b*e^2*d*c*i*e^2*d*b*e^
2*i*h*e^2*i*h*d^3*i*e*b*a*d^2*c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e
^2*c^2*b*e^2*i*d*i*e*h^3*d*i*e*b*a*d^3*c^7*i^2*d*c^2*i^2*d*c^2*i*b*i*h^2*i*d*
c*b*a*d*h*i*h*i*d*i*e*h^3*b*c*i*e*h^2*d*c*a*d*h*e*d^2*h*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*c^4*b*e^2*h^2*i*h*e^2*i*h*i*d*i*e*h^2*d*c*
d^2*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^2*b*a*d^2*i*h*e^2*c^2*b*e^2*i*d*i*e*d*c*d*h^2*d*i*e*b*a*d^2*h*d*c*i*e^2*d^2*h*i*h*e*c*b*c*i*h*d^3*i*e*h*c^2*i*e*
d^3*b*a*b*h*c^5*i^2*d*c^2*i^2*d*c^2*i*d*c*d*h^2*i*h*c*b*i^2*h*i*d*c^2*h^4*d*i*e*h*d*c^7*a*d^2*i*d*c^2*i^2*d*c^2*i*h^3*a*d^2*h*e^2*i*d*c*b*c*i*d*i*e*h^3*
d*i*e*h*b*a*d^3*c*i*e^2*d^2*h*i*h*e^2*c^2*b*a*b*h*d^3*i*e*h*c^2*i*e*d^3*c^6*
i^2*d*c^2*i*c^2*b*a*b*d*c^2*i*h^2*d*c*b*c*i*h*e^2*i*b*a*d^2*i*d*i*e*h*b*i*h*
d*i*e*d*c*b*e*c^7*i^2*d*a*d*i^2*d*c^2*i*d*c*d*h^2*i*h*e^2*i*h*i*d*c^2*h^4*d*i
*e*h^2*d*c^3*b*i*e*d^2*h*i*h*e^2*i*h*d^2*b*c*i*e*h*c^2*i*e*d^4*h*c^7*b*c*i*d
^2*h^2*c^2*b*a*d*c^2*i*h*d*i*c^2*h^3*d*i*c*a*b*d*i*e*d*h*i*b*a*d*h*e*i*h*d*c
*a*b*h*e*d^2*h*i*h*e^2*i*h*d*i*e^2*d*i^2*h*e^2*i*h*d*c^2*a*h*e*d^2*h*i*e*d^2
*c^4*i^2*d*c*a*h*i*d*c^2*i*d*c*b*a*b*h^2*i*h*e^2*i*h*i*d*c^2*b*a*d^2*h^3*d*c
^2*h^2*d*c^8*a*b*d*i*d*c^2*i^2*d*c^2*i*h^3*c*a*b*d*h*e^2*i*h*i*d*i*e*h*d*c*b*e^2*d*i*e*h^2*d*c*i*e^2*d^3*a*b*d*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^3*c^6*i^2
*d*c^2*i^2*b*c^3*i*h^3*i*h*e^2*i*d*a*b*d*i*d*i*e*h^3*d*i*e*h*d*c^7*i^2*d*c*a*h*i*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*c^2*h^3*d*c*i*e^2*d^2*h*i*d*c*b*i*e
*i*h*d^3*i*e*h*c^2*i*e*b*e*d*c^6*i^2*b*a*d*c*i^2*d*c^2*i*d*a*b*d*h^2*i*h*a*b*h*i*h*i*d*c*a*b*h^4*d*i*e*h*d*c^7*i^2*d*c^2*i^2*b*c^3*i*h^3*i*h*e^2*i*d*a*b
*d*i*d*i*e*h^3*d*i*e*h^2*d*c*i*e^2*d^2*b*i^2*h*e^2*c^2*d*h*d^3*i*e*d*c*d*c^2
*i*e*d^3*c^6*i^2*d*c^2*i*c^2*b*e*c^2*i*h^2*d*a*b*d*i*h*e^2*i*b*i^2*d*i*e*h^3*
d*i*e*d*c*d^2*c^7*i^2*d*c^2*i^2*d*c^2*i*d*a*b*d*h^2*i*h*e^2*i*h*i*d*c*a*b*h^
4*d*i*e*h^2*d*c^3*h*e*d^2*h*i*b*a*d*h*e*i*h*d^3*i*e*h*c^2*i*c*d^5*h*c^7*d*i*
d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h*d*a*d*c^5*i^2*d*c^2*i^2
*d*c^2*i*h^3*i*h*e*c*b*a*h^2*i*d*i*c*b*e^2*h^2*d*i*a*b*d*h^2*d*c*i*c*b*a*d^4
*h*i*h*c*h*i*h*d^3*c^2*h^2*c^2*i*e*d*b*a*b*d^3*c*i^2*h*d*c^2*i*d^2*c*i*c^5*h
*e*d*i^4*e*d*i^2*e*b*a*d^3*i*e*h^2*d*i*e*i^2*d*c*b*a*d*c*i*e^2*d^2*h*i*h*d*i*e^2*b*a*b*d*c*i*e^2*d*i*c*b*e*i*e*d*c^3*i*c*b*a*b*d^3*c^6*i^2*d*c^2*i^2*d*c^
2*i*b*a*d^2*h^2*i*d*c*b*a*d*h*i*h*i*d*i*e*h^3*b*c*i*e*h*d*c^7*i^2*d*c^2*i*c^2*b*a*b*d*c^2*i*h^3*i*h*e^2*i*b*a*d^2*i*d*i*e*h*b*i*h*d*i*e*d*c*b*e^2*d*c*i*
e^2*d*b*a*b*h*i*h*e^2*i*h*d^3*i*e*h*c^2*i*e*d^3*c^6*i^2*d*c^2*i*c*a*b*d^2*c^2*i*h^3*i*h*e^2*c^2*b*a*b*h*i*d*i*e*h^3*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*b
*a*d^2*h^2*i*d*c*b*a*d*h*i*h*i*d*a*d*h^4*b*c*i*e*h^2*d*c*i*e^2*d^2*h*i*h*e^2
*i*h*d*b*e*i*e*h*c^2*i*e*d^4*h*c^5*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*d*c*b*
c*i*d*i*e*h^3*d*i*e*h*b*a*d*c^6*i^2*d*c^2*a*d^2*i*d*c^2*i*h*b*i*h*i*h*e*c*d*i
*h*i*d*i*a*b*d*h^3*d*c^2*b*a*d^2*h^2*d*c*i*c*h*d^2*h*i*h*e^2*i*h*d^3*i*e*h*
c^2*i*e*d^3*c^6*i^2*d*c^2*i^2*d*c^2*i*d*c*b*e^2*h*i*h*e^2*i*h*i*d*c^2*b*i*h^3
*d*i*e*h*d*c^7*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*d*c*b*c*i*d*i*e*h*d*c*d*h
*d*i*e*h*b*a*d^3*c*i*e^2*d^2*h*i*h*e^2*c^2*b*a*b*h*d^3*i*e*h*c^2*i*e*d^5*c*
b*a*d*c^4*i^2*d*c^2*i^2*d*c^2*i*h*d*c*d*h*i*h*e^2*a*d^2*h*i*d*i*e*h^3*d*i*c*b*e^2*d*c^7*i^2*d*c^2*i^2*d*c^4*d*h^3*i*b*a*d*h*e*i*h*c^2*b*a*b*d*i*e*h^3*d
*i*e*h^2*b*a*d*i*e^2*d^2*h*i*h*e^2*i*d*c*b*a*b*d^3*i*e*h*c^2*i*e*d^3*c^8*b*a*h*d*c^2*i^2*d*c^2*i*h^3*c^2*b*a*b*h*e^2*i*h*i*d*i*e*h^2*b*i*d*i*e*h*d*c*a*d
*c^4*i^2*d*c^4*b*c*i*d*c^2*i*h*d*c*d*h*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h^2*d*c*i*e*a*b*d^3*h*i*h*e^2*i*h*d^3*c^2*b*a*d^2*h*c^2*i*e*d^4*h*c^5*i*c^2*b*a*b*
d*c^2*i^2*d*c^2*i*b*i*h^2*i*d*c*b*i*e*i*h*i*d*i*e*h^3*d*i*e*h*d*c^5*a*d*i^2*d
*c^2*i^2*d*c^2*i*h^2*d*c*d*i*h*e^2*i*h*i*d*i*e*h^3*d*i*e*h^2*d*c*i*e^2*d*b*e^
2*i*h*e^2*a*d^2*h*d^3*i*e*b*a*d^2*c^2*i*e*d^4*b*a*d^2*c^5*i^2*d*c^2*i^2*d*c^
2*i*h^3*i*h*e*a*b*d*i*h*i*d*i*e*h^3*d*i*e*h*d*c^9*d*i*d*c^2*i^2*d*c^2*i*h^3*c
^2*d*h*e^2*i*h*i*d*i*e*h*d*c*b*a*b*h*d*i*e*h*d*c*d^2*c*i*e^2*d^3*c*d*i*h*e^2
*i*b*a*d^5*i*e*h*a*d*i*e*d^4*h*c^5*i^2*d*c^2*i^2*d*c^2*i*h^3*i*h*e^2*i*h*i*d*
i*e*h^3*d*i*e*h*d*c^7*i*c^2*b*e*c^2*i^2*d*c^2*i*h^3*i*d*c*h*e*i*h*i*b*c*i*e*h
^2*d*c*b*a*b*d*i*e*h^2*d*a*h*e^2*d^2*h*c^2*b*e^-1*i*h*b*e*d*i*e*h*c^4*b*i*d^3*b*a];