(*relations from Proposition 4*) NN[A7]=1 NN[A1,A1,A1,A1,A1,A1,A1]=8^6 NN[A1]=28 (*relations from Proposition 6*) GG300=(NN[E6,A1]==0) GG301=(NN[D6,A1]==0) GG302=(NN[A6,A1]==8) GG303=(NN[A5*A1,A1]==8) GG304=(NN[D5*A1,A1]==0) GG305=(NN[A4*A2,A1]==8) GG306=(NN[A3*A2*A1,A1]==0) GG307=(NN[D4*A2,A1]==0) GG308=(NN[A3^2,A1]==4) GG309=(NN[D4*A1^2,A1]==0) GG310=(NN[A4*A1^2,A1]==0) GG311=(NN[A3*A1^3,A1]==0) GG312=(NN[A2^3,A1]==0) GG313=(NN[A2^2*A1^2,A1]==0) GG314=(NN[A2*A1^4,A1]==0) GG315=(NN[A1^6,A1]==0) (*relations from Proposition 2, last assertion*) GG316=(NN[A1^5,A2]==0) GG317=(NN[A1^5,A1^2]==0) GG318=(NN[A1^5,A1,A1]==0) GG319=(NN[D4,A3]==0) GG320=(NN[D5,A2]==0) GG321=(NN[D5,A1^2]==0) GG322=(NN[D5,A1,A1]==0) (*relations of the form (4.3)*) (*NN[?,A1,A1]=2NN[?,A1^2]+3NN[?,A2]*) GG1=(NN[D5,A1,A1]==2NN[D5,A1^2]+3NN[D5,A2]) GG2=(NN[A5,A1,A1]==2NN[A5,A1^2]+3NN[A5,A2]) GG3=(NN[A4*A1,A1,A1]==2NN[A4*A1,A1^2]+3NN[A4*A1,A2]) GG4=(NN[D4*A1,A1,A1]==2NN[D4*A1,A1^2]+3NN[D4*A1,A2]) GG5=(NN[A3*A2,A1,A1]==2NN[A3*A2,A1^2]+3NN[A3*A2,A2]) GG6=(NN[A3*A1^2,A1,A1]==2NN[A3*A1^2,A1^2]+3NN[A3*A1^2,A2]) GG7=(NN[A2^2*A1,A1,A1]==2NN[A2^2*A1,A1^2]+3NN[A2^2*A1,A2]) GG8=(NN[A2*A1^3,A1,A1]==2NN[A2*A1^3,A1^2]+3NN[A2*A1^3,A2]) GG9=(NN[A1^5,A1,A1]==2NN[A1^5,A1^2]+3NN[A1^5,A2]) GG10=(NN[D4,A1,A1,A1]==2NN[D4,A1^2,A1]+3NN[D4,A2,A1]) GG11=(NN[A4,A1,A1,A1]==2NN[A4,A1^2,A1]+3NN[A4,A2,A1]) GG12=(NN[A3*A1,A1,A1,A1]==2NN[A3*A1,A1^2,A1]+3NN[A3*A1,A2,A1]) GG13=(NN[A2^2,A1,A1,A1]==2NN[A2^2,A1^2,A1]+3NN[A2^2,A2,A1]) GG14=(NN[A2*A1^2,A1,A1,A1]==2NN[A2*A1^2,A1^2,A1]+3NN[A2*A1^2,A2,A1]) GG15=(NN[A1^4,A1,A1,A1]==2NN[A1^4,A1^2,A1]+3NN[A1^4,A2,A1]) GG16=(NN[A3,A2,A1,A1]==2NN[A3,A2,A1^2]+3NN[A3,A2,A2]) GG17=(NN[A2*A1,A2,A1,A1]==2NN[A2*A1,A2,A1^2]+3NN[A2*A1,A2,A2]) GG18=(NN[A1^3,A2,A1,A1]==2NN[A1^3,A2,A1^2]+3NN[A1^3,A2,A2]) GG19=(NN[A3,A1^2,A1,A1]==2NN[A3,A1^2,A1^2]+3NN[A3,A2,A1^2]) GG20=(NN[A2*A1,A1^2,A1,A1]==2NN[A2*A1,A1^2,A1^2]+3NN[A2*A1,A2,A1^2]) GG21=(NN[A1^3,A1^2,A1,A1]==2NN[A1^3,A1^2,A1^2]+3NN[A1^3,A2,A1^2]) GG22=(NN[A3,A1,A1,A1,A1]==2NN[A3,A1^2,A1,A1]+3NN[A3,A2,A1,A1]) GG23=(NN[A2*A1,A1,A1,A1,A1]==2NN[A2*A1,A1^2,A1,A1]+3NN[A2*A1,A2,A1,A1]) GG24=(NN[A1^3,A1,A1,A1,A1]==2NN[A1^3,A1^2,A1,A1]+3NN[A1^3,A2,A1,A1]) GG25=(NN[A2,A2,A1,A1,A1]==2NN[A2,A2,A1^2,A1]+3NN[A2,A2,A2,A1]) GG26=(NN[A2,A1^2,A1,A1,A1]==2NN[A2,A1^2,A1^2,A1]+3NN[A2,A2,A1^2,A1]) GG27=(NN[A1^2,A1^2,A1,A1,A1]==2NN[A1^2,A1^2,A1^2,A1]+3NN[A2,A1^2,A1^2,A1]) GG28=(NN[A2,A1,A1,A1,A1,A1]==2NN[A2,A1^2,A1,A1,A1]+3NN[A2,A2,A1,A1,A1]) GG29=(NN[A1^2,A1,A1,A1,A1,A1]==2NN[A1^2,A1^2,A1,A1,A1]+3NN[A2,A1^2,A1,A1,A1]) GG30=(NN[A1,A1,A1,A1,A1,A1,A1]==2NN[A1^2,A1,A1,A1,A1,A1]+3NN[A2,A1,A1,A1,A1,A1]) (*NN[?,A1,A1,A1]=6NN[?,A1^3]+9NN[?,A2*A1]+4^2NN[?,A3]*) GG31=(NN[D4,A1,A1,A1]==6NN[D4,A1^3]+9NN[D4,A2*A1]+4^2NN[D4,A3]) GG32=(NN[A4,A1,A1,A1]==6NN[A4,A1^3]+9NN[A4,A2*A1]+4^2NN[A4,A3]) GG33=(NN[A3*A1,A1,A1,A1]==6NN[A3*A1,A1^3]+9NN[A3*A1,A2*A1]+4^2NN[A3*A1,A3]) GG34=(NN[A2^2,A1,A1,A1]==6NN[A2^2,A1^3]+9NN[A2^2,A2*A1]+4^2NN[A2^2,A3]) GG35=(NN[A2*A1^2,A1,A1,A1]==6NN[A2*A1^2,A1^3]+9NN[A2*A1^2,A2*A1]+4^2NN[A2*A1^2,A3]) GG36=(NN[A1^4,A1,A1,A1]==6NN[A1^4,A1^3]+9NN[A1^4,A2*A1]+4^2NN[A1^4,A3]) GG37=(NN[A3,A1,A1,A1,A1]==6NN[A3,A1^3,A1]+9NN[A3,A2*A1,A1]+4^2NN[A3,A3,A1]) GG38=(NN[A2*A1,A1,A1,A1,A1]==6NN[A2*A1,A1^3,A1]+9NN[A2*A1,A2*A1,A1]+4^2NN[A3,A2*A1,A1]) GG39=(NN[A1^3,A1,A1,A1,A1]==6NN[A1^3,A1^3,A1]+9NN[A2*A1,A1^3,A1]+4^2NN[A3,A1^3,A1]) GG40=(NN[A2,A2,A1,A1,A1]==6NN[A1^3,A2,A2]+9NN[A2*A1,A2,A2]+4^2NN[A3,A2,A2]) GG41=(NN[A2,A1^2,A1,A1,A1]==6NN[A1^3,A2,A1^2]+9NN[A2*A1,A2,A1^2]+4^2NN[A3,A2,A1^2]) GG42=(NN[A1^2,A1^2,A1,A1,A1]==6NN[A1^3,A1^2,A1^2]+9NN[A2*A1,A1^2,A1^2]+4^2NN[A3,A1^2,A1^2]) GG43=(NN[A2,A1,A1,A1,A1,A1]==6NN[A1^3,A2,A1,A1]+9NN[A2*A1,A2,A1,A1]+4^2NN[A3,A2,A1,A1]) GG44=(NN[A1^2,A1,A1,A1,A1,A1]==6NN[A1^3,A1^2,A1,A1]+9NN[A2*A1,A1^2,A1,A1]+4^2NN[A3,A1^2,A1,A1]) GG45=(NN[A1,A1,A1,A1,A1,A1,A1]==6NN[A1^3,A1,A1,A1,A1]+9NN[A2*A1,A1,A1,A1,A1]+4^2NN[A3,A1,A1,A1,A1]) (*NN[?,A2,A1]=4NN[?,A3]+NN[?,A2*A1]*) GG46=(NN[D4,A2,A1]==4NN[D4,A3]+NN[D4,A2*A1]) GG47=(NN[A4,A2,A1]==4NN[A4,A3]+NN[A4,A2*A1]) GG48=(NN[A3*A1,A2,A1]==4NN[A3*A1,A3]+NN[A3*A1,A2*A1]) GG49=(NN[A2^2,A2,A1]==4NN[A2^2,A3]+NN[A2^2,A2*A1]) GG50=(NN[A2*A1^2,A2,A1]==4NN[A2*A1^2,A3]+NN[A2*A1^2,A2*A1]) GG51=(NN[A1^4,A2,A1]==4NN[A1^4,A3]+NN[A1^4,A2*A1]) GG52=(NN[A3,A2,A1,A1]==4NN[A3,A3,A1]+NN[A3,A2*A1,A1]) GG53=(NN[A2*A1,A2,A1,A1]==4NN[A3,A2*A1,A1]+NN[A2*A1,A2*A1,A1]) GG54=(NN[A1^3,A2,A1,A1]==4NN[A3,A1^3,A1]+NN[A2*A1,A1^3,A1]) GG55=(NN[A2,A2,A2,A1]==4NN[A3,A2,A2]+NN[A2*A1,A2,A2]) GG56=(NN[A2,A2,A1^2,A1]==4NN[A3,A2,A1^2]+NN[A2*A1,A2,A1^2]) GG57=(NN[A2,A1^2,A1^2,A1]==4NN[A3,A1^2,A1^2]+NN[A2*A1,A1^2,A1^2]) GG58=(NN[A2,A2,A1,A1,A1]==4NN[A3,A2,A1,A1]+NN[A2*A1,A2,A1,A1]) GG59=(NN[A2,A1^2,A1,A1,A1]==4NN[A3,A1^2,A1,A1]+NN[A2*A1,A1^2,A1,A1]) GG60=(NN[A2,A1,A1,A1,A1,A1]==4NN[A3,A1,A1,A1,A1]+NN[A2*A1,A1,A1,A1,A1]) (*NN[?,A1^2,A1]=2NN[?,A3]+3NN[?,A2*A1]+3NN[?,A1^3]*) GG61=(NN[D4,A1^2,A1]==2NN[D4,A3]+3NN[D4,A2*A1]+3NN[D4,A1^3]) GG62=(NN[A4,A1^2,A1]==2NN[A4,A3]+3NN[A4,A2*A1]+3NN[A4,A1^3]) GG63=(NN[A3*A1,A1^2,A1]==2NN[A3*A1,A3]+3NN[A3*A1,A2*A1]+3NN[A3*A1,A1^3]) GG64=(NN[A2^2,A1^2,A1]==2NN[A2^2,A3]+3NN[A2^2,A2*A1]+3NN[A2^2,A1^3]) GG65=(NN[A2*A1^2,A1^2,A1]==2NN[A2*A1^2,A3]+3NN[A2*A1^2,A2*A1]+3NN[A2*A1^2,A1^3]) GG66=(NN[A1^4,A1^2,A1]==2NN[A1^4,A3]+3NN[A1^4,A2*A1]+3NN[A1^4,A1^3]) GG67=(NN[A3,A1^2,A1,A1]==2NN[A3,A3,A1]+3NN[A3,A2*A1,A1]+3NN[A3,A1^3,A1]) GG68=(NN[A2*A1,A1^2,A1,A1]==2NN[A3,A2*A1,A1]+3NN[A2*A1,A2*A1,A1]+3NN[A2*A1,A1^3,A1]) GG69=(NN[A1^3,A1^2,A1,A1]==2NN[A3,A1^3,A1]+3NN[A2*A1,A1^3,A1]+3NN[A1^3,A1^3,A1]) GG70=(NN[A2,A2,A1^2,A1]==2NN[A3,A2,A2]+3NN[A2*A1,A2,A2]+3NN[A1^3,A2,A2]) GG71=(NN[A2,A1^2,A1^2,A1]==2NN[A3,A2,A1^2]+3NN[A2*A1,A2,A1^2]+3NN[A1^3,A2,A1^2]) GG72=(NN[A1^2,A1^2,A1^2,A1]==2NN[A3,A1^2,A1^2]+3NN[A2*A1,A1^2,A1^2]+3NN[A1^3,A1^2,A1^2]) GG73=(NN[A2,A1^2,A1,A1,A1]==2NN[A3,A2,A1,A1]+3NN[A2*A1,A2,A1,A1]+3NN[A1^3,A2,A1,A1]) GG74=(NN[A1^2,A1^2,A1,A1,A1]==2NN[A3,A1^2,A1,A1]+3NN[A2*A1,A1^2,A1,A1]+3NN[A1^3,A1^2,A1,A1]) GG75=(NN[A1^2,A1,A1,A1,A1,A1]==2NN[A3,A1,A1,A1,A1]+3NN[A2*A1,A1,A1,A1,A1]+3NN[A1^3,A1,A1,A1,A1]) (*NN[?,A2,A2]=2NN[A2^2,?]+5NN[A4,?]+6NN[D4,?]*) GG76=(NN[A3,A2,A2]==2NN[A2^2,A3]+5NN[A4,A3]+6NN[D4,A3]) GG77=(NN[A2*A1,A2,A2]==2NN[A2^2,A2*A1]+5NN[A4,A2*A1]+6NN[D4,A2*A1]) GG78=(NN[A1^3,A2,A2]==2NN[A2^2,A1^3]+5NN[A4,A1^3]+6NN[D4,A1^3]) GG79=(NN[A2,A2,A2,A1]==2NN[A2^2,A2,A1]+5NN[A4,A2,A1]+6NN[D4,A2,A1]) GG80=(NN[A2,A2,A1^2,A1]==2NN[A2^2,A1^2,A1]+5NN[A4,A1^2,A1]+6NN[D4,A1^2,A1]) GG81=(NN[A2,A2,A1,A1,A1]==2NN[A2^2,A1,A1,A1]+5NN[A4,A1,A1,A1]+6NN[D4,A1,A1,A1]) (*NN[?,A2,A1^2]=NN[A2*A1^2,?]+4NN[A3*A1,?]+5NN[A4,?]+9NN[D4,?]*) GG82=(NN[A3,A2,A1^2]==NN[A2*A1^2,A3]+4NN[A3*A1,A3]+5NN[A4,A3]+9NN[D4,A3]) GG83=(NN[A2*A1,A2,A1^2]==NN[A2*A1^2,A2*A1]+4NN[A3*A1,A2*A1]+5NN[A4,A2*A1]+9NN[D4,A2*A1]) GG84=(NN[A1^3,A2,A1^2]==NN[A2*A1^2,A1^3]+4NN[A3*A1,A1^3]+5NN[A4,A1^3]+9NN[D4,A1^3]) GG85=(NN[A2,A2,A1^2,A1]==NN[A2*A1^2,A2,A1]+4NN[A3*A1,A2,A1]+5NN[A4,A2,A1]+9NN[D4,A2,A1]) GG86=(NN[A2,A1^2,A1^2,A1]==NN[A2*A1^2,A1^2,A1]+4NN[A3*A1,A1^2,A1]+5NN[A4,A1^2,A1]+9NN[D4,A1^2,A1]) GG87=(NN[A2,A1^2,A1,A1,A1]==NN[A2*A1^2,A1,A1,A1]+4NN[A3*A1,A1,A1,A1]+5NN[A4,A1,A1,A1]+9NN[D4,A1,A1,A1]) (*NN[?,A1^2,A1^2]=6NN[A1^4,?]+6NN[A2*A1^2,?]+9NN[A2^2,?]+4NN[A3*A1,?]+5NN[A4,?]*) GG166=(NN[A3,A1^2,A1^2]==6NN[A1^4,A3]+6NN[A2*A1^2,A3]+9NN[A2^2,A3]+4NN[A3*A1,A3]+5NN[A4,A3]) GG167=(NN[A2*A1,A1^2,A1^2]==6NN[A1^4,A2*A1]+6NN[A2*A1^2,A2*A1]+9NN[A2^2,A2*A1]+4NN[A3*A1,A2*A1]+5NN[A4,A2*A1]) GG168=(NN[A1^3,A1^2,A1^2]==6NN[A1^4,A1^3]+6NN[A2*A1^2,A1^3]+9NN[A2^2,A1^3]+4NN[A3*A1,A1^3]+5NN[A4,A1^3]) GG169=(NN[A2,A1^2,A1^2,A1]==6NN[A1^4,A2,A1]+6NN[A2*A1^2,A2,A1]+9NN[A2^2,A2,A1]+4NN[A3*A1,A2,A1]+5NN[A4,A2,A1]) GG170=(NN[A1^2,A1^2,A1^2,A1]==6NN[A1^4,A1^2,A1]+6NN[A2*A1^2,A1^2,A1]+9NN[A2^2,A1^2,A1]+4NN[A3*A1,A1^2,A1]+5NN[A4,A1^2,A1]) GG171=(NN[A1^2,A1^2,A1,A1,A1]==6NN[A1^4,A1,A1,A1]+6NN[A2*A1^2,A1,A1,A1]+9NN[A2^2,A1,A1,A1]+4NN[A3*A1,A1,A1,A1]+5NN[A4,A1,A1,A1]) (*NN[?,A3,A1]=NN[A3*A1,?]+5NN[A4,?]+9NN[D4,?]*) GG88=(NN[A3,A3,A1]==NN[A3*A1,A3]+5NN[A4,A3]+9NN[D4,A3]) GG89=(NN[A3,A2*A1,A1]==NN[A3*A1,A2*A1]+5NN[A4,A2*A1]+9NN[D4,A2*A1]) GG90=(NN[A3,A1^3,A1]==NN[A3*A1,A1^3]+5NN[A4,A1^3]+9NN[D4,A1^3]) GG91=(NN[A3,A2,A1,A1]==NN[A3*A1,A2,A1]+5NN[A4,A2,A1]+9NN[D4,A2,A1]) GG92=(NN[A3,A1^2,A1,A1]==NN[A3*A1,A1^2,A1]+5NN[A4,A1^2,A1]+9NN[D4,A1^2,A1]) GG93=(NN[A3,A1,A1,A1,A1]==NN[A3*A1,A1,A1,A1]+5NN[A4,A1,A1,A1]+9NN[D4,A1,A1,A1]) (*NN[?,A2*A1,A1]=4NN[A3*A1,?]+6NN[A2^2,?]+2NN[A2*A1^2,?]+5NN[A4,?]*) GG94=(NN[A3,A2*A1,A1]==4NN[A3*A1,A3]+6NN[A2^2,A3]+2NN[A2*A1^2,A3]+5NN[A4,A3]) GG95=(NN[A2*A1,A2*A1,A1]==4NN[A3*A1,A2*A1]+6NN[A2^2,A2*A1]+2NN[A2*A1^2,A2*A1]+5NN[A4,A2*A1]) GG96=(NN[A2*A1,A1^3,A1]==4NN[A3*A1,A1^3]+6NN[A2^2,A1^3]+2NN[A2*A1^2,A1^3]+5NN[A4,A1^3]) GG97=(NN[A2*A1,A2,A1,A1]==4NN[A3*A1,A2,A1]+6NN[A2^2,A2,A1]+2NN[A2*A1^2,A2,A1]+5NN[A4,A2,A1]) GG98=(NN[A2*A1,A1^2,A1,A1]==4NN[A3*A1,A1^2,A1]+6NN[A2^2,A1^2,A1]+2NN[A2*A1^2,A1^2,A1]+5NN[A4,A1^2,A1]) GG99=(NN[A2*A1,A1,A1,A1,A1]==4NN[A3*A1,A1,A1,A1]+6NN[A2^2,A1,A1,A1]+2NN[A2*A1^2,A1,A1,A1]+5NN[A4,A1,A1,A1]) (*NN[?,A1^3,A1]=2NN[A3*A1,?]+4NN[A1^4,?]+3NN[A2*A1^2,?]+3NN[D4,?]*) GG100=(NN[A3,A1^3,A1]==2NN[A3*A1,A3]+4NN[A1^4,A3]+3NN[A2*A1^2,A3]+3NN[D4,A3]) GG101=(NN[A2*A1,A1^3,A1]==2NN[A3*A1,A2*A1]+4NN[A1^4,A2*A1]+3NN[A2*A1^2,A2*A1]+3NN[D4,A2*A1]) GG102=(NN[A1^3,A1^3,A1]==2NN[A3*A1,A1^3]+4NN[A1^4,A1^3]+3NN[A2*A1^2,A1^3]+3NN[D4,A1^3]) GG103=(NN[A1^3,A2,A1,A1]==2NN[A3*A1,A2,A1]+4NN[A1^4,A2,A1]+3NN[A2*A1^2,A2,A1]+3NN[D4,A2,A1]) GG104=(NN[A1^3,A1^2,A1,A1]==2NN[A3*A1,A1^2,A1]+4NN[A1^4,A1^2,A1]+3NN[A2*A1^2,A1^2,A1]+3NN[D4,A1^2,A1]) GG105=(NN[A1^3,A1,A1,A1,A1]==2NN[A3*A1,A1,A1,A1]+4NN[A1^4,A1,A1,A1]+3NN[A2*A1^2,A1,A1,A1]+3NN[D4,A1,A1,A1]) (*NN[?,A2,A1,A1]=2NN[A2*A1^2,?]+2 4NN[A3*A1,?]+6NN[A2^2,?]+25NN[A4,?]+36NN[D4,?]*) GG106=(NN[A3,A2,A1,A1]==2NN[A2*A1^2,A3]+2 4NN[A3*A1,A3]+6NN[A2^2,A3]+25NN[A4,A3]+36NN[D4,A3]) GG107=(NN[A2*A1,A2,A1,A1]==2NN[A2*A1^2,A2*A1]+2 4NN[A3*A1,A2*A1]+6NN[A2^2,A2*A1]+25NN[A4,A2*A1]+36NN[D4,A2*A1]) GG108=(NN[A1^3,A2,A1,A1]==2NN[A2*A1^2,A1^3]+2 4NN[A3*A1,A1^3]+6NN[A2^2,A1^3]+25NN[A4,A1^3]+36NN[D4,A1^3]) GG109=(NN[A2,A2,A1,A1,A1]==2NN[A2*A1^2,A2,A1]+2 4NN[A3*A1,A2,A1]+6NN[A2^2,A2,A1]+25NN[A4,A2,A1]+36NN[D4,A2,A1]) GG110=(NN[A2,A1^2,A1,A1,A1]==2NN[A2*A1^2,A1^2,A1]+2 4NN[A3*A1,A1^2,A1]+6NN[A2^2,A1^2,A1]+25NN[A4,A1^2,A1]+36NN[D4,A1^2,A1]) GG111=(NN[A2,A1,A1,A1,A1,A1]==2NN[A2*A1^2,A1,A1,A1]+2 4NN[A3*A1,A1,A1,A1]+6NN[A2^2,A1,A1,A1]+25NN[A4,A1,A1,A1]+36NN[D4,A1,A1,A1]) (*NN[?,A1^2,A1,A1]=20NN[A3*A1,?]+18NN[A2^2,?]+15NN[A2*A1^2,?]+12NN[A1^4,?]+25NN[A4,?]+27NN[D4,?]*) GG112=(NN[A3,A1^2,A1,A1]==20NN[A3*A1,A3]+18NN[A2^2,A3]+15NN[A2*A1^2,A3]+12NN[A1^4,A3]+25NN[A4,A3]+27NN[D4,A3]) GG113=(NN[A2*A1,A1^2,A1,A1]==20NN[A3*A1,A2*A1]+18NN[A2^2,A2*A1]+15NN[A2*A1^2,A2*A1]+12NN[A1^4,A2*A1]+25NN[A4,A2*A1]+27NN[D4,A2*A1]) GG114=(NN[A1^3,A1^2,A1,A1]==20NN[A3*A1,A1^3]+18NN[A2^2,A1^3]+15NN[A2*A1^2,A1^3]+12NN[A1^4,A1^3]+25NN[A4,A1^3]+27NN[D4,A1^3]) GG115=(NN[A2,A1^2,A1,A1,A1]==20NN[A3*A1,A2,A1]+18NN[A2^2,A2,A1]+15NN[A2*A1^2,A2,A1]+12NN[A1^4,A2,A1]+25NN[A4,A2,A1]+27NN[D4,A2,A1]) GG116=(NN[A1^2,A1^2,A1,A1,A1]==20NN[A3*A1,A1^2,A1]+18NN[A2^2,A1^2,A1]+15NN[A2*A1^2,A1^2,A1]+12NN[A1^4,A1^2,A1]+25NN[A4,A1^2,A1]+27NN[D4,A1^2,A1]) GG117=(NN[A1^2,A1,A1,A1,A1,A1]==20NN[A3*A1,A1,A1,A1]+18NN[A2^2,A1,A1,A1]+15NN[A2*A1^2,A1,A1,A1]+12NN[A1^4,A1,A1,A1]+25NN[A4,A1,A1,A1]+27NN[D4,A1,A1,A1]) (*NN[?,A1,A1,A1,A1]=24NN[A1^4,?]+4^3NN[A3*A1,?]+6 3^2NN[A2^2,?]+12 3NN[A2*A1^2,?]+ 5^3NN[A4,?]+2 3^4NN[D4,?]*) GG118=(NN[A3,A1,A1,A1,A1]==24NN[A1^4,A3]+4^3NN[A3*A1,A3]+6 3^2NN[A2^2,A3]+12 3NN[A2*A1^2,A3]+ 5^3NN[A4,A3]+2 3^4NN[D4,A3]) GG119=(NN[A2*A1,A1,A1,A1,A1]==24NN[A1^4,A2*A1]+4^3NN[A3*A1,A2*A1]+6 3^2NN[A2^2,A2*A1]+12 3NN[A2*A1^2,A2*A1]+ 5^3NN[A4,A2*A1]+2 3^4NN[D4,A2*A1]) GG120=(NN[A1^3,A1,A1,A1,A1]==24NN[A1^4,A1^3]+4^3NN[A3*A1,A1^3]+6 3^2NN[A2^2,A1^3]+12 3NN[A2*A1^2,A1^3]+ 5^3NN[A4,A1^3]+2 3^4NN[D4,A1^3]) GG121=(NN[A2,A1,A1,A1,A1,A1]==24NN[A1^4,A2,A1]+4^3NN[A3*A1,A2,A1]+6 3^2NN[A2^2,A2,A1]+12 3NN[A2*A1^2,A2,A1]+ 5^3NN[A4,A2,A1]+2 3^4NN[D4,A2,A1]) GG122=(NN[A1^2,A1,A1,A1,A1,A1]==24NN[A1^4,A1^2,A1]+4^3NN[A3*A1,A1^2,A1]+6 3^2NN[A2^2,A1^2,A1]+12 3NN[A2*A1^2,A1^2,A1]+ 5^3NN[A4,A1^2,A1]+2 3^4NN[D4,A1^2,A1]) GG123=(NN[A1,A1,A1,A1,A1,A1,A1]==24NN[A1^4,A1,A1,A1]+4^3NN[A3*A1,A1,A1,A1]+6 3^2NN[A2^2,A1,A1,A1]+12 3NN[A2*A1^2,A1,A1,A1]+ 5^3NN[A4,A1,A1,A1]+2 3^4NN[D4,A1,A1,A1]) (*NN[A4,A1,?]=NN[A4*A1,?]+6NN[A5,?]+8NN[D5,?]*) GG124=(NN[A4,A2,A1]==NN[A4*A1,A2]+6NN[A5,A2]+8NN[D5,A2]) GG125=(NN[A4,A1^2,A1]==NN[A4*A1,A1^2]+6NN[A5,A1^2]+8NN[D5,A1^2]) GG126=(NN[A4,A1,A1,A1]==NN[A4*A1,A1,A1]+6NN[A5,A1,A1]+8NN[D5,A1,A1]) (*NN[D4,A1,?]=NN[D4*A1,?]+4NN[D5,?]*) GG127=(NN[D4,A2,A1]==NN[D4*A1,A2]+4NN[D5,A2]) GG128=(NN[D4,A1^2,A1]==NN[D4*A1,A1^2]+4NN[D5,A1^2]) GG129=(NN[D4,A1,A1,A1]==NN[D4*A1,A1,A1]+4NN[D5,A1,A1]) (*NN[?,A3*A1,A1]=2NN[A3*A1^2,?]+3NN[A3*A2,?]+5NN[A4*A1,?]+9NN[D4*A1,?]+6NN[A5,?]+4NN[D5,?]*) GG141=(NN[A3*A1,A2,A1]==2NN[A3*A1^2,A2]+3NN[A3*A2,A2]+5NN[A4*A1,A2]+9NN[D4*A1,A2]+6NN[A5,A2]+4NN[D5,A2]) GG142=(NN[A3*A1,A1^2,A1]==2NN[A3*A1^2,A1^2]+3NN[A3*A2,A1^2]+5NN[A4*A1,A1^2]+9NN[D4*A1,A1^2]+6NN[A5,A1^2]+4NN[D5,A1^2]) GG143=(NN[A3*A1,A1,A1,A1]==2NN[A3*A1^2,A1,A1]+3NN[A3*A2,A1,A1]+5NN[A4*A1,A1,A1]+9NN[D4*A1,A1,A1]+6NN[A5,A1,A1]+4NN[D5,A1,A1]) (*NN[?,A2^2,A1]=NN[A2^2*A1,?]+4NN[A3*A2,?]+3NN[A5,?]*) GG144=(NN[A2^2,A2,A1]==NN[A2^2*A1,A2]+4NN[A3*A2,A2]+3NN[A5,A2]) GG145=(NN[A2^2,A1^2,A1]==NN[A2^2*A1,A1^2]+4NN[A3*A2,A1^2]+3NN[A5,A1^2]) GG146=(NN[A2^2,A1,A1,A1]==NN[A2^2*A1,A1,A1]+4NN[A3*A2,A1,A1]+3NN[A5,A1,A1]) (*NN[?,A2*A1^2,A1]=3NN[A2*A1^3,?]+6NN[A2^2*A1,?]+4NN[A3*A1^2,?]+2NN[A3*A2,?]+ 5NN[A4*A1,?]+4NN[D5,?]*) GG147=(NN[A2*A1^2,A2,A1]==3NN[A2*A1^3,A2]+6NN[A2^2*A1,A2]+4NN[A3*A1^2,A2]+2NN[A3*A2,A2]+ 5NN[A4*A1,A2]+4NN[D5,A2]) GG148=(NN[A2*A1^2,A1^2,A1]==3NN[A2*A1^3,A1^2]+6NN[A2^2*A1,A1^2]+4NN[A3*A1^2,A1^2]+2NN[A3*A2,A1^2]+ 5NN[A4*A1,A1^2]+4NN[D5,A1^2]) GG149=(NN[A2*A1^2,A1,A1,A1]==3NN[A2*A1^3,A1,A1]+6NN[A2^2*A1,A1,A1]+4NN[A3*A1^2,A1,A1]+2NN[A3*A2,A1,A1]+ 5NN[A4*A1,A1,A1]+4NN[D5,A1,A1]) (*NN[?,A1^4,A1]=5NN[A1^5,?]+3NN[A2*A1^3,?]+2NN[A3*A1^2,?]+3NN[D4*A1,?]*) GG150=(NN[A1^4,A2,A1]==5NN[A1^5,A2]+3NN[A2*A1^3,A2]+2NN[A3*A1^2,A2]+3NN[D4*A1,A2]) GG151=(NN[A1^4,A1^2,A1]==5NN[A1^5,A1^2]+3NN[A2*A1^3,A1^2]+2NN[A3*A1^2,A1^2]+3NN[D4*A1,A1^2]) GG152=(NN[A1^4,A1,A1,A1]==5NN[A1^5,A1,A1]+3NN[A2*A1^3,A1,A1]+2NN[A3*A1^2,A1,A1]+3NN[D4*A1,A1,A1]) (*NN[A3,A2,?]=NN[A3*A2,?]+6NN[A5,?]+12NN[D5,?]*) GG132=(NN[A3,A2,A2]==NN[A3*A2,A2]+6NN[A5,A2]+12NN[D5,A2]) GG133=(NN[A3,A2,A1^2]==NN[A3*A2,A1^2]+6NN[A5,A1^2]+12NN[D5,A1^2]) GG134=(NN[A3,A2,A1,A1]==NN[A3*A2,A1,A1]+6NN[A5,A1,A1]+12NN[D5,A1,A1]) (*NN[A3,A1^2,?]=NN[A3*A1^2,?]+5NN[A4*A1,?]+9NN[D4*A1,?]+9NN[A5,?]+22NN[D5,?]*) GG135=(NN[A3,A2,A1^2]==NN[A3*A1^2,A2]+5NN[A4*A1,A2]+9NN[D4*A1,A2]+9NN[A5,A2]+22NN[D5,A2]) GG136=(NN[A3,A1^2,A1^2]==NN[A3*A1^2,A1^2]+5NN[A4*A1,A1^2]+9NN[D4*A1,A1^2]+9NN[A5,A1^2]+22NN[D5,A1^2]) GG137=(NN[A3,A1^2,A1,A1]==NN[A3*A1^2,A1,A1]+5NN[A4*A1,A1,A1]+9NN[D4*A1,A1,A1]+9NN[A5,A1,A1]+22NN[D5,A1,A1]) (*NN[A2*A1,A2,?]=2NN[A2^2*A1,?]+4NN[A3*A2,?]+5NN[A4*A1,?]+6NN[D4*A1,?]+12NN[A5,?]+16NN[D5,?]*) GG172=(NN[A2*A1,A2,A2]==2NN[A2^2*A1,A2]+4NN[A3*A2,A2]+5NN[A4*A1,A2]+6NN[D4*A1,A2]+12NN[A5,A2]+16NN[D5,A2]) GG173=(NN[A2*A1,A2,A1^2]==2NN[A2^2*A1,A1^2]+4NN[A3*A2,A1^2]+5NN[A4*A1,A1^2]+6NN[D4*A1,A1^2]+12NN[A5,A1^2]+16NN[D5,A1^2]) GG174=(NN[A2*A1,A2,A1,A1]==2NN[A2^2*A1,A1,A1]+4NN[A3*A2,A1,A1]+5NN[A4*A1,A1,A1]+6NN[D4*A1,A1,A1]+12NN[A5,A1,A1]+16NN[D5,A1,A1]) (*NN[A2*A1,A1^2,?]=3NN[A2*A1^3,?]+6NN[A2^2*A1,?]+8NN[A3*A1^2,?]+14NN[A3*A2,?]+ 10NN[A4*A1,?]+9NN[D4*A1,?]+18NN[A5,?]+8NN[D5,?]*) GG175=(NN[A2*A1,A2,A1^2]==3NN[A2*A1^3,A2]+6NN[A2^2*A1,A2]+8NN[A3*A1^2,A2]+14NN[A3*A2,A2]+ 10NN[A4*A1,A2]+9NN[D4*A1,A2]+18NN[A5,A2]+8NN[D5,A2]) GG176=(NN[A2*A1,A1^2,A1^2]==3NN[A2*A1^3,A1^2]+6NN[A2^2*A1,A1^2]+8NN[A3*A1^2,A1^2]+14NN[A3*A2,A1^2]+ 10NN[A4*A1,A1^2]+9NN[D4*A1,A1^2]+18NN[A5,A1^2]+8NN[D5,A1^2]) GG177=(NN[A2*A1,A1^2,A1,A1]==3NN[A2*A1^3,A1,A1]+6NN[A2^2*A1,A1,A1]+8NN[A3*A1^2,A1,A1]+14NN[A3*A2,A1,A1]+ 10NN[A4*A1,A1,A1]+9NN[D4*A1,A1,A1]+18NN[A5,A1,A1]+8NN[D5,A1,A1]) (*NN[A1^3,A1^2,?]=10NN[A1^5,?]+9NN[A2*A1^3,?]+9NN[A2^2*A1,?]+6NN[A3*A1^2,?]+6NN[A3*A2,?]+ 5NN[A4*A1,?]+3NN[D4*A1,?]+3NN[A5,?]+4NN[D5,?]*) GG178=(NN[A1^3,A2,A1^2]==10NN[A1^5,A2]+9NN[A2*A1^3,A2]+9NN[A2^2*A1,A2]+6NN[A3*A1^2,A2]+6NN[A3*A2,A2]+ 5NN[A4*A1,A2]+3NN[D4*A1,A2]+3NN[A5,A2]+4NN[D5,A2]) GG179=(NN[A1^3,A1^2,A1^2]==10NN[A1^5,A1^2]+9NN[A2*A1^3,A1^2]+9NN[A2^2*A1,A1^2]+6NN[A3*A1^2,A1^2]+6NN[A3*A2,A1^2]+ 5NN[A4*A1,A1^2]+3NN[D4*A1,A1^2]+3NN[A5,A1^2]+4NN[D5,A1^2]) GG180=(NN[A1^3,A1^2,A1,A1]==10NN[A1^5,A1,A1]+9NN[A2*A1^3,A1,A1]+9NN[A2^2*A1,A1,A1]+6NN[A3*A1^2,A1,A1]+6NN[A3*A2,A1,A1]+ 5NN[A4*A1,A1,A1]+3NN[D4*A1,A1,A1]+3NN[A5,A1,A1]+4NN[D5,A1,A1]) (*NN[A3,A1,A1,?]=2NN[A3*A1^2,?]+3NN[A3*A2,?]+10NN[A4*A1,?]+18NN[D4*A1,?]+36NN[A5,?]+80NN[D5,?]*) GG138=(NN[A3,A2,A1,A1]==2NN[A3*A1^2,A2]+3NN[A3*A2,A2]+10NN[A4*A1,A2]+18NN[D4*A1,A2]+36NN[A5,A2]+80NN[D5,A2]) GG139=(NN[A3,A1^2,A1,A1]==2NN[A3*A1^2,A1^2]+3NN[A3*A2,A1^2]+10NN[A4*A1,A1^2]+18NN[D4*A1,A1^2]+36NN[A5,A1^2]+80NN[D5,A1^2]) GG140=(NN[A3,A1,A1,A1,A1]==2NN[A3*A1^2,A1,A1]+3NN[A3*A2,A1,A1]+10NN[A4*A1,A1,A1]+18NN[D4*A1,A1,A1]+36NN[A5,A1,A1]+80NN[D5,A1,A1]) (*NN[A2*A1,A1,A1,?]=0NN[A1^5,?]+6NN[A2*A1^3,?]+18NN[A2^2*A1,?]+16NN[A3*A1^2,?]+40NN[A3*A2,?]+ 35NN[A4*A1,?]+36NN[D4*A1,?]+72NN[A5,?]+64NN[D5,?]*) GG181=(NN[A2*A1,A2,A1,A1]==0NN[A1^5,A2]+6NN[A2*A1^3,A2]+18NN[A2^2*A1,A2]+16NN[A3*A1^2,A2]+40NN[A3*A2,A2]+ 35NN[A4*A1,A2]+36NN[D4*A1,A2]+72NN[A5,A2]+64NN[D5,A2]) GG182=(NN[A2*A1,A1^2,A1,A1]==0NN[A1^5,A1^2]+6NN[A2*A1^3,A1^2]+18NN[A2^2*A1,A1^2]+16NN[A3*A1^2,A1^2]+40NN[A3*A2,A1^2]+ 35NN[A4*A1,A1^2]+36NN[D4*A1,A1^2]+72NN[A5,A1^2]+64NN[D5,A1^2]) GG183=(NN[A2*A1,A1,A1,A1,A1]==0NN[A1^5,A1,A1]+6NN[A2*A1^3,A1,A1]+18NN[A2^2*A1,A1,A1]+16NN[A3*A1^2,A1,A1]+40NN[A3*A2,A1,A1]+ 35NN[A4*A1,A1,A1]+36NN[D4*A1,A1,A1]+72NN[A5,A1,A1]+64NN[D5,A1,A1]) (*NN[A1^3,A1,A1,?]=20NN[A1^5,?]+21NN[A2*A1^3,?]+18NN[A2^2*A1,?]+24NN[A3*A1^2,?]+12NN[A3*A2,?]+ 25NN[A4*A1,?]+33NN[D4*A1,?]+12NN[A5,?]+32NN[D5,?]*) GG184=(NN[A1^3,A2,A1,A1]==20NN[A1^5,A2]+21NN[A2*A1^3,A2]+18NN[A2^2*A1,A2]+24NN[A3*A1^2,A2]+12NN[A3*A2,A2]+ 25NN[A4*A1,A2]+33NN[D4*A1,A2]+12NN[A5,A2]+32NN[D5,A2]) GG185=(NN[A1^3,A1^2,A1,A1]==20NN[A1^5,A1^2]+21NN[A2*A1^3,A1^2]+18NN[A2^2*A1,A1^2]+24NN[A3*A1^2,A1^2]+12NN[A3*A2,A1^2]+ 25NN[A4*A1,A1^2]+33NN[D4*A1,A1^2]+12NN[A5,A1^2]+32NN[D5,A1^2]) GG186=(NN[A1^3,A1,A1,A1,A1]==20NN[A1^5,A1,A1]+21NN[A2*A1^3,A1,A1]+18NN[A2^2*A1,A1,A1]+24NN[A3*A1^2,A1,A1]+12NN[A3*A2,A1,A1]+ 25NN[A4*A1,A1,A1]+33NN[D4*A1,A1,A1]+12NN[A5,A1,A1]+32NN[D5,A1,A1]) (*NN[A2,A2,A1,?]=0NN[A1^5,?]+0NN[A2*A1^3,?]+2NN[A2^2*A1,?]+0NN[A3*A1^2,?]+8NN[A3*A2,?]+ 5NN[A4*A1,?]+6NN[D4*A1,?]+36NN[A5,?]+64NN[D5,?]*) GG187=(NN[A2,A2,A2,A1]==0NN[A1^5,A2]+0NN[A2*A1^3,A2]+2NN[A2^2*A1,A2]+0NN[A3*A1^2,A2]+8NN[A3*A2,A2]+ 5NN[A4*A1,A2]+6NN[D4*A1,A2]+36NN[A5,A2]+64NN[D5,A2]) GG188=(NN[A2,A2,A1^2,A1]==0NN[A1^5,A1^2]+0NN[A2*A1^3,A1^2]+2NN[A2^2*A1,A1^2]+0NN[A3*A1^2,A1^2]+8NN[A3*A2,A1^2]+ 5NN[A4*A1,A1^2]+6NN[D4*A1,A1^2]+36NN[A5,A1^2]+64NN[D5,A1^2]) GG189=(NN[A2,A2,A1,A1,A1]==0NN[A1^5,A1,A1]+0NN[A2*A1^3,A1,A1]+2NN[A2^2*A1,A1,A1]+0NN[A3*A1^2,A1,A1]+8NN[A3*A2,A1,A1]+ 5NN[A4*A1,A1,A1]+6NN[D4*A1,A1,A1]+36NN[A5,A1,A1]+64NN[D5,A1,A1]) (*NN[A2,A1^2,A1,?]=0NN[A1^5,?]+3NN[A2*A1^3,?]+6NN[A2^2*A1,?]+12NN[A3*A1^2,?]+14NN[A3*A2,?]+ 30NN[A4*A1,?]+45NN[D4*A1,?]+54NN[A5,?]+96NN[D5,?]*) GG190=(NN[A2,A2,A1^2,A1]==0NN[A1^5,A2]+3NN[A2*A1^3,A2]+6NN[A2^2*A1,A2]+12NN[A3*A1^2,A2]+14NN[A3*A2,A2]+ 30NN[A4*A1,A2]+45NN[D4*A1,A2]+54NN[A5,A2]+96NN[D5,A2]) GG191=(NN[A2,A1^2,A1^2,A1]==0NN[A1^5,A1^2]+3NN[A2*A1^3,A1^2]+6NN[A2^2*A1,A1^2]+12NN[A3*A1^2,A1^2]+14NN[A3*A2,A1^2]+ 30NN[A4*A1,A1^2]+45NN[D4*A1,A1^2]+54NN[A5,A1^2]+96NN[D5,A1^2]) GG192=(NN[A2,A1^2,A1,A1,A1]==0NN[A1^5,A1,A1]+3NN[A2*A1^3,A1,A1]+6NN[A2^2*A1,A1,A1]+12NN[A3*A1^2,A1,A1]+14NN[A3*A2,A1,A1]+ 30NN[A4*A1,A1,A1]+45NN[D4*A1,A1,A1]+54NN[A5,A1,A1]+96NN[D5,A1,A1]) (*NN[A1^2,A1^2,A1,?]=30NN[A1^5,?]+36NN[A2*A1^3,?]+45NN[A2^2*A1,?]+44NN[A3*A1^2,?]+60NN[A3*A2,?]+ 55NN[A4*A1,?]+54NN[D4*A1,?]+81NN[A5,?]+80NN[D5,?]*) GG193=(NN[A2,A1^2,A1^2,A1]==30NN[A1^5,A2]+36NN[A2*A1^3,A2]+45NN[A2^2*A1,A2]+44NN[A3*A1^2,A2]+60NN[A3*A2,A2]+ 55NN[A4*A1,A2]+54NN[D4*A1,A2]+81NN[A5,A2]+80NN[D5,A2]) GG194=(NN[A1^2,A1^2,A1^2,A1]==30NN[A1^5,A1^2]+36NN[A2*A1^3,A1^2]+45NN[A2^2*A1,A1^2]+44NN[A3*A1^2,A1^2]+60NN[A3*A2,A1^2]+ 55NN[A4*A1,A1^2]+54NN[D4*A1,A1^2]+81NN[A5,A1^2]+80NN[D5,A1^2]) GG195=(NN[A1^2,A1^2,A1,A1,A1]==30NN[A1^5,A1,A1]+36NN[A2*A1^3,A1,A1]+45NN[A2^2*A1,A1,A1]+44NN[A3*A1^2,A1,A1]+60NN[A3*A2,A1,A1]+ 55NN[A4*A1,A1,A1]+54NN[D4*A1,A1,A1]+81NN[A5,A1,A1]+80NN[D5,A1,A1]) (*NN[A2,A1,A1,A1,?]=0NN[A1^5,?]+6NN[A2*A1^3,?]+18NN[A2^2*A1,?]+24NN[A3*A1^2,?]+52NN[A3*A2,?]+ 75NN[A4*A1,?]+108NN[D4*A1,?]+216NN[A5,?]+384NN[D5,?]*) GG196=(NN[A2,A2,A1,A1,A1]==0NN[A1^5,A2]+6NN[A2*A1^3,A2]+18NN[A2^2*A1,A2]+24NN[A3*A1^2,A2]+52NN[A3*A2,A2]+ 75NN[A4*A1,A2]+108NN[D4*A1,A2]+216NN[A5,A2]+384NN[D5,A2]) GG197=(NN[A2,A1^2,A1,A1,A1]==0NN[A1^5,A1^2]+6NN[A2*A1^3,A1^2]+18NN[A2^2*A1,A1^2]+24NN[A3*A1^2,A1^2]+52NN[A3*A2,A1^2]+ 75NN[A4*A1,A1^2]+108NN[D4*A1,A1^2]+216NN[A5,A1^2]+384NN[D5,A1^2]) GG198=(NN[A2,A1,A1,A1,A1,A1]==0NN[A1^5,A1,A1]+6NN[A2*A1^3,A1,A1]+18NN[A2^2*A1,A1,A1]+24NN[A3*A1^2,A1,A1]+52NN[A3*A2,A1,A1]+ 75NN[A4*A1,A1,A1]+108NN[D4*A1,A1,A1]+216NN[A5,A1,A1]+384NN[D5,A1,A1]) (*NN[A1^2,A1,A1,A1,?]=60NN[A1^5,?]+81NN[A2*A1^3,?]+108NN[A2^2*A1,?]+124NN[A3*A1^2,?]+162NN[A3*A2,?]+ 200NN[A4*A1,?]+243NN[D4*A1,?]+324NN[A5,?]+448NN[D5,?]*) GG199=(NN[A2,A1^2,A1,A1,A1]==60NN[A1^5,A2]+81NN[A2*A1^3,A2]+108NN[A2^2*A1,A2]+124NN[A3*A1^2,A2]+162NN[A3*A2,A2]+ 200NN[A4*A1,A2]+243NN[D4*A1,A2]+324NN[A5,A2]+448NN[D5,A2]) GG200=(NN[A1^2,A1^2,A1,A1,A1]==60NN[A1^5,A1^2]+81NN[A2*A1^3,A1^2]+108NN[A2^2*A1,A1^2]+124NN[A3*A1^2,A1^2]+162NN[A3*A2,A1^2]+ 200NN[A4*A1,A1^2]+243NN[D4*A1,A1^2]+324NN[A5,A1^2]+448NN[D5,A1^2]) GG201=(NN[A1^2,A1,A1,A1,A1,A1]==60NN[A1^5,A1,A1]+81NN[A2*A1^3,A1,A1]+108NN[A2^2*A1,A1,A1]+124NN[A3*A1^2,A1,A1]+162NN[A3*A2,A1,A1]+ 200NN[A4*A1,A1,A1]+243NN[D4*A1,A1,A1]+324NN[A5,A1,A1]+448NN[D5,A1,A1]) (*NN[A1,A1,A1,A1,A1,?]=120NN[A1^5,?]+180NN[A2*A1^3,?]+270NN[A2^2*A1,?]+320NN[A3*A1^2,?]+480NN[A3*A2,?]+ 625NN[A4*A1,?]+810NN[D4*A1,?]+1296NN[A5,?]+2048NN[D5,?]*) GG202=(NN[A2,A1,A1,A1,A1,A1]==120NN[A1^5,A2]+180NN[A2*A1^3,A2]+270NN[A2^2*A1,A2]+320NN[A3*A1^2,A2]+480NN[A3*A2,A2]+ 625NN[A4*A1,A2]+810NN[D4*A1,A2]+1296NN[A5,A2]+2048NN[D5,A2]) GG203=(NN[A1^2,A1,A1,A1,A1,A1]==120NN[A1^5,A1^2]+180NN[A2*A1^3,A1^2]+270NN[A2^2*A1,A1^2]+320NN[A3*A1^2,A1^2]+480NN[A3*A2,A1^2]+ 625NN[A4*A1,A1^2]+810NN[D4*A1,A1^2]+1296NN[A5,A1^2]+2048NN[D5,A1^2]) GG204=(NN[A1,A1,A1,A1,A1,A1,A1]==120NN[A1^5,A1,A1]+180NN[A2*A1^3,A1,A1]+270NN[A2^2*A1,A1,A1]+320NN[A3*A1^2,A1,A1]+480NN[A3*A2,A1,A1]+ 625NN[A4*A1,A1,A1]+810NN[D4*A1,A1,A1]+1296NN[A5,A1,A1]+2048NN[D5,A1,A1]) (*NN[D5,A1,?]=NN[D5*A1,?]+5NN[D6,?]+12NN[E6,?]*) GG130=(NN[D5,A1,A1]==NN[D5*A1,A1]+5NN[D6,A1]+12NN[E6,A1]) (*NN[A5,A1,?]=NN[A5*A1,?]+7NN[A6,?]+10NN[D6,?]+6NN[E6,?]*) GG131=(NN[A5,A1,A1]==NN[A5*A1,A1]+7NN[A6,A1]+10NN[D6,A1]+6NN[E6,A1]) (*NN[D4*A1,A1,?]=2NN[D4*A1^2,?]+3NN[D4*A2,?]+4NN[D5*A1,?]+5NN[D6,?]*) GG153=(NN[D4*A1,A1,A1]==2NN[D4*A1^2,A1]+3NN[D4*A2,A1]+4NN[D5*A1,A1]+5NN[D6,A1]) (*NN[A4*A1,A1,?]=2NN[A4*A1^2,?]+3NN[A4*A2,?]+6NN[A5*A1,?]+8NN[D5*A1,?]+7NN[A6,?]+12NN[E6,?]*) GG154=(NN[A4*A1,A1,A1]==2NN[A4*A1^2,A1]+3NN[A4*A2,A1]+6NN[A5*A1,A1]+8NN[D5*A1,A1]+7NN[A6,A1]+12NN[E6,A1]) (*NN[A3*A2,A1,?]=8NN[A3^2,?]+NN[A3*A2*A1,?]+5NN[A4*A2,?]+9NN[D4*A2,?]+0NN[D5*A1,?]+7NN[A6,?]+5NN[D6,?]+0NN[E6,?]*) GG155=(NN[A3*A2,A1,A1]==8NN[A3^2,A1]+NN[A3*A2*A1,A1]+5NN[A4*A2,A1]+9NN[D4*A2,A1]+0NN[D5*A1,A1]+7NN[A6,A1]+5NN[D6,A1]+0NN[E6,A1]) (*NN[A3*A1^2,A1,?]=4NN[A3^2,?]+3NN[A3*A2*A1,?]+3NN[A3*A1^3,?]+5NN[A4*A1^2,?]+9NN[D4*A1^2,?]+ 0NN[A4*A2,?]+0NN[D4*A2,?]+6NN[A5*A1,?]+4NN[D5*A1,?]+0NN[A6,?]+5NN[D6,?]+0NN[E6,?]*) GG156=(NN[A3*A1^2,A1,A1]==4NN[A3^2,A1]+3NN[A3*A2*A1,A1]+3NN[A3*A1^3,A1]+5NN[A4*A1^2,A1]+9NN[D4*A1^2,A1]+ 0NN[A4*A2,A1]+0NN[D4*A2,A1]+6NN[A5*A1,A1]+4NN[D5*A1,A1]+0NN[A6,A1]+5NN[D6,A1]+0NN[E6,A1]) (*NN[D4,A2,?]=0NN[A4*A1^2,?]+0NN[D4*A1^2,?]+0NN[A4*A2,?]+NN[D4*A2,?]+ 0NN[A5*A1,?]+0NN[D5*A1,?]+0NN[A6,?]+5NN[D6,?]+4NN[E6,?]*) GG157=(NN[D4,A2,A1]==0NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+0NN[A4*A2,A1]+NN[D4*A2,A1]+ 0NN[A5*A1,A1]+0NN[D5*A1,A1]+0NN[A6,A1]+5NN[D6,A1]+4NN[E6,A1]) (*NN[A4,A2,?]=0NN[A4*A1^2,?]+0NN[D4*A1^2,?]+NN[A4*A2,?]+0NN[D4*A2,?]+ 0NN[A5*A1,?]+0NN[D5*A1,?]+7NN[A6,?]+10NN[D6,?]+24NN[E6,?]*) GG158=(NN[A4,A2,A1]==0NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+NN[A4*A2,A1]+0NN[D4*A2,A1]+ 0NN[A5*A1,A1]+0NN[D5*A1,A1]+7NN[A6,A1]+10NN[D6,A1]+24NN[E6,A1]) (*NN[D4,A1^2,?]=0NN[A4*A1^2,?]+NN[D4*A1^2,?]+0NN[A4*A2,?]+0NN[D4*A2,?]+ 0NN[A5*A1,?]+4NN[D5*A1,?]+0NN[A6,?]+5NN[D6,?]+18NN[E6,?]*) GG159=(NN[D4,A1^2,A1]==0NN[A4*A1^2,A1]+NN[D4*A1^2,A1]+0NN[A4*A2,A1]+0NN[D4*A2,A1]+ 0NN[A5*A1,A1]+4NN[D5*A1,A1]+0NN[A6,A1]+5NN[D6,A1]+18NN[E6,A1]) (*NN[A4,A1^2,?]=NN[A4*A1^2,?]+0NN[D4*A1^2,?]+0NN[A4*A2,?]+0NN[D4*A2,?]+ 6NN[A5*A1,?]+8NN[D5*A1,?]+14NN[A6,?]+35NN[D6,?]+36NN[E6,?]*) GG160=(NN[A4,A1^2,A1]==NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+0NN[A4*A2,A1]+0NN[D4*A2,A1]+ 6NN[A5*A1,A1]+8NN[D5*A1,A1]+14NN[A6,A1]+35NN[D6,A1]+36NN[E6,A1]) (*NN[A3,A3,?]=2NN[A3^2,?]+ 0NN[A4*A1^2,?]+0NN[D4*A1^2,?]+0NN[A4*A2,?]+0NN[D4*A2,?]+ 0NN[A5*A1,?]+0NN[D5*A1,?]+7NN[A6,?]+20NN[D6,?]+27NN[E6,?]*) GG161=(NN[A3,A3,A1]==2NN[A3^2,A1]+ 0NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+0NN[A4*A2,A1]+0NN[D4*A2,A1]+ 0NN[A5*A1,A1]+0NN[D5*A1,A1]+7NN[A6,A1]+20NN[D6,A1]+27NN[E6,A1]) (*NN[A3,A2*A1,?]=NN[A3*A2*A1,?]+0NN[A3^2,?]+ 0NN[A4*A1^2,?]+0NN[D4*A1^2,?]+5NN[A4*A2,?]+9NN[D4*A2,?]+ 6NN[A5*A1,?]+12NN[D5*A1,?]+21NN[A6,?]+45NN[D6,?]+72NN[E6,?]*) GG162=(NN[A3,A2*A1,A1]==NN[A3*A2*A1,A1]+0NN[A3^2,A1]+ 0NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+5NN[A4*A2,A1]+9NN[D4*A2,A1]+ 6NN[A5*A1,A1]+12NN[D5*A1,A1]+21NN[A6,A1]+45NN[D6,A1]+72NN[E6,A1]) (*NN[A3,A1^3,?]=NN[A3*A1^3,?]+0NN[A3*A2*A1,?]+0NN[A3^2,?]+ 5NN[A4*A1^2,?]+9NN[D4*A1^2,?]+0NN[A4*A2,?]+0NN[D4*A2,?]+ 9NN[A5*A1,?]+22NN[D5*A1,?]+7NN[A6,?]+25NN[D6,?]+36NN[E6,?]*) GG163=(NN[A3,A1^3,A1]==NN[A3*A1^3,A1]+0NN[A3*A2*A1,A1]+0NN[A3^2,A1]+ 5NN[A4*A1^2,A1]+9NN[D4*A1^2,A1]+0NN[A4*A2,A1]+0NN[D4*A2,A1]+ 9NN[A5*A1,A1]+22NN[D5*A1,A1]+7NN[A6,A1]+25NN[D6,A1]+36NN[E6,A1]) (*NN[A2*A1,A2*A1,?]=4NN[A2^2*A1^2,?]+18NN[A2^3,?]+8NN[A3*A2*A1,?]+32NN[A3^2,?]+ 10NN[A4*A1^2,?]+12NN[D4*A1^2,?]+25NN[A4*A2,?]+18NN[D4*A2,?]+ 24NN[A5*A1,?]+32NN[D5*A1,?]+63NN[A6,?]+70NN[D6,?]+48NN[E6,?]*) GG164=(NN[A2*A1,A2*A1,A1]==4NN[A2^2*A1^2,A1]+18NN[A2^3,A1]+8NN[A3*A2*A1,A1]+32NN[A3^2,A1]+ 10NN[A4*A1^2,A1]+12NN[D4*A1^2,A1]+25NN[A4*A2,A1]+18NN[D4*A2,A1]+ 24NN[A5*A1,A1]+32NN[D5*A1,A1]+63NN[A6,A1]+70NN[D6,A1]+48NN[E6,A1]) (*NN[A3,A2,A1,?]=0NN[A1^6,?]+0NN[A2*A1^4,?]+0NN[A2^2*A1^2,?]+0NN[A2^3,?]+ 0NN[A3*A1^3,?]+NN[A3*A2*A1,?]+8NN[A3^2,?]+ 0NN[A4*A1^2,?]+0NN[D4*A1^2,?]+5NN[A4*A2,?]+9NN[D4*A2,?]+ 6NN[A5*A1,?]+12NN[D5*A1,?]+49NN[A6,?]+125NN[D6,?]+180NN[E6,?]*) GG207=(NN[A3,A2,A1,A1]==0NN[A1^6,A1]+0NN[A2*A1^4,A1]+0NN[A2^2*A1^2,A1]+0NN[A2^3,A1]+ 0NN[A3*A1^3,A1]+NN[A3*A2*A1,A1]+8NN[A3^2,A1]+ 0NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+5NN[A4*A2,A1]+9NN[D4*A2,A1]+ 6NN[A5*A1,A1]+12NN[D5*A1,A1]+49NN[A6,A1]+125NN[D6,A1]+180NN[E6,A1]) (*NN[A2,A2,A2,?]=0NN[A1^6,?]+0NN[A2*A1^4,?]+0NN[A2^2*A1^2,?]+6NN[A2^3,?]+ 0NN[A3*A1^3,?]+0NN[A3*A2*A1,?]+0NN[A3^2,?]+ 0NN[A4*A1^2,?]+0NN[D4*A1^2,?]+15NN[A4*A2,?]+18NN[D4*A2,?]+ 0NN[A5*A1,?]+0NN[D5*A1,?]+49NN[A6,?]+100NN[D6,?]+160NN[E6,?]*) GG208=(NN[A2,A2,A2,A1]==0NN[A1^6,A1]+0NN[A2*A1^4,A1]+0NN[A2^2*A1^2,A1]+6NN[A2^3,A1]+ 0NN[A3*A1^3,A1]+0NN[A3*A2*A1,A1]+0NN[A3^2,A1]+ 0NN[A4*A1^2,A1]+0NN[D4*A1^2,A1]+15NN[A4*A2,A1]+18NN[D4*A2,A1]+ 0NN[A5*A1,A1]+0NN[D5*A1,A1]+49NN[A6,A1]+100NN[D6,A1]+160NN[E6,A1]) (*NN[A2,A1,A1,A1,A1,?]=0NN[A1^6,?]+24NN[A2*A1^4,?]+72NN[A2^2*A1^2,?]+162NN[A2^3,?]+ 96NN[A3*A1^3,?]+208NN[A3*A2*A1,?]+512NN[A3^2,?]+ 300NN[A4*A1^2,?]+432NN[D4*A1^2,?]+575NN[A4*A2,?]+810NN[D4*A2,?]+ 864NN[A5*A1,?]+1536NN[D5*A1,?]+2401NN[A6,?]+5000NN[D6,?]+6912NN[E6,?]*) GG205=(NN[A2,A1,A1,A1,A1,A1]==0NN[A1^6,A1]+24NN[A2*A1^4,A1]+72NN[A2^2*A1^2,A1]+162NN[A2^3,A1]+ 96NN[A3*A1^3,A1]+208NN[A3*A2*A1,A1]+512NN[A3^2,A1]+ 300NN[A4*A1^2,A1]+432NN[D4*A1^2,A1]+575NN[A4*A2,A1]+810NN[D4*A2,A1]+ 864NN[A5*A1,A1]+1536NN[D5*A1,A1]+2401NN[A6,A1]+5000NN[D6,A1]+6912NN[E6,A1]) (*NN[A1^2,A1,A1,A1,A1,?]=360NN[A1^6,?]+504NN[A2*A1^4,?]+702NN[A2^2*A1^2,?]+972NN[A2^3,?]+ 816NN[A3*A1^3,?]+1128NN[A3*A2*A1,?]+1792NN[A3^2,?]+ 1425NN[A4*A1^2,?]+1782NN[D4*A1^2,?]+1950NN[A4*A2,?]+2430NN[D4*A2,?]+ 2592NN[A5*A1,?]+3840NN[D5*A1,?]+4802NN[A6,?]+8125NN[D6,?]+10368NN[E6,?]*) GG206=(NN[A1^2,A1,A1,A1,A1,A1]==360NN[A1^6,A1]+504NN[A2*A1^4,A1]+702NN[A2^2*A1^2,A1]+972NN[A2^3,A1]+ 816NN[A3*A1^3,A1]+1128NN[A3*A2*A1,A1]+1792NN[A3^2,A1]+ 1425NN[A4*A1^2,A1]+1782NN[D4*A1^2,A1]+1950NN[A4*A2,A1]+2430NN[D4*A2,A1]+ 2592NN[A5*A1,A1]+3840NN[D5*A1,A1]+4802NN[A6,A1]+8125NN[D6,A1]+10368NN[E6,A1]) (*NN[A1,A1,A1,A1,A1,A1,?]=6!NN[A1^6,?]+3 6!/2NN[A2*A1^4,?]+9 6!/4NN[A2^2*A1^2,?]+27 6!/8NN[A2^3,?]+ 4^2 6!/3!NN[A3*A1^3,?]+4^2 3 6!/3!/2NN[A3*A2*A1,?]+4^2 4^2 20NN[A3^2,?]+ 5^3 2 15NN[A4*A1^2,?]+2*3^4 2 15NN[D4*A1^2,?]+5^3 3 15NN[A4*A2,?]+2*3^4 3 15NN[D4*A2,?]+ 6^5NN[A5*A1,?]+6 2*4^5NN[D5*A1,?]+7^5NN[A6,?]+2*5^6NN[D6,?]+41472NN[E6,?]*) GG165=(NN[A1,A1,A1,A1,A1,A1,A1]==6!NN[A1^6,A1]+3 6!/2NN[A2*A1^4,A1]+9 6!/4NN[A2^2*A1^2,A1]+27 6!/8NN[A2^3,A1]+ 4^2 6!/3!NN[A3*A1^3,A1]+4^2 3 6!/3!/2NN[A3*A2*A1,A1]+4^2 4^2 20NN[A3^2,A1]+ 5^3 2 15NN[A4*A1^2,A1]+2*3^4 2 15NN[D4*A1^2,A1]+5^3 3 15NN[A4*A2,A1]+2*3^4 3 15NN[D4*A2,A1]+ 6^5NN[A5*A1,A1]+6 2*4^5NN[D5*A1,A1]+7^5NN[A6,A1]+2*5^6NN[D6,A1]+41472NN[E6,A1]) (*relations of the form (4.2)*) (*rank 6*) NN[E6]=NN[E6,A1] NN[D6]=NN[D6,A1] NN[A6]=NN[A6,A1] NN[D5*A1]=NN[D5*A1,A1] NN[A5*A1]=NN[A5*A1,A1] NN[D4*A2]=NN[D4*A2,A1] NN[A4*A2]=NN[A4*A2,A1] NN[A3^2]=NN[A3^2,A1] NN[D4*A1^2]=NN[D4*A1^2,A1] NN[A4*A1^2]=NN[A4*A1^2,A1] NN[A3*A2*A1]=NN[A3*A2*A1,A1] NN[A3*A1^3]=NN[A3*A1^3,A1] NN[A2^3]=NN[A2^3,A1] NN[A2^2*A1^2]=NN[A2^2*A1^2,A1] NN[A2*A1^4]=NN[A2*A1^4,A1] NN[A1^6]=NN[A1^6,A1] NN[D5,A1]=NN[D5,A1,A1] NN[A5,A1]=NN[A5,A1,A1] NN[A4*A1,A1]=NN[A4*A1,A1,A1] NN[D4*A1,A1]=NN[D4*A1,A1,A1] NN[A3*A2,A1]=NN[A3*A2,A1,A1] NN[A3*A1^2,A1]=NN[A3*A1^2,A1,A1] NN[A2^2*A1,A1]=NN[A2^2*A1,A1,A1] NN[A2*A1^3,A1]=NN[A2*A1^3,A1,A1] NN[A1^5,A1]=NN[A1^5,A1,A1] NN[D4,A2]=NN[D4,A2,A1] NN[A4,A2]=NN[A4,A2,A1] NN[A3*A1,A2]=NN[A3*A1,A2,A1] NN[A2^2,A2]=NN[A2^2,A2,A1] NN[A2*A1^2,A2]=NN[A2*A1^2,A2,A1] NN[A1^4,A2]=NN[A1^4,A2,A1] NN[D4,A1^2]=NN[D4,A1^2,A1] NN[A4,A1^2]=NN[A4,A1^2,A1] NN[A3*A1,A1^2]=NN[A3*A1,A1^2,A1] NN[A2^2,A1^2]=NN[A2^2,A1^2,A1] NN[A2*A1^2,A1^2]=NN[A2*A1^2,A1^2,A1] NN[A1^4,A1^2]=NN[A1^4,A1^2,A1] NN[A3,A3]=NN[A3,A3,A1] NN[A3,A2*A1]=NN[A3,A2*A1,A1] NN[A2*A1,A2*A1]=NN[A2*A1,A2*A1,A1] NN[A3,A1^3]=NN[A3,A1^3,A1] NN[A2*A1,A1^3]=NN[A2*A1,A1^3,A1] NN[A1^3,A1^3]=NN[A1^3,A1^3,A1] NN[D4,A1,A1]=NN[D4,A1,A1,A1] NN[A4,A1,A1]=NN[A4,A1,A1,A1] NN[A3*A1,A1,A1]=NN[A3*A1,A1,A1,A1] NN[A2^2,A1,A1]=NN[A2^2,A1,A1,A1] NN[A2*A1^2,A1,A1]=NN[A2*A1^2,A1,A1,A1] NN[A1^4,A1,A1]=NN[A1^4,A1,A1,A1] NN[A3,A2,A1]=NN[A3,A2,A1,A1] NN[A2*A1,A2,A1]=NN[A2*A1,A2,A1,A1] NN[A1^3,A2,A1]=NN[A1^3,A2,A1,A1] NN[A3,A1^2,A1]=NN[A3,A1^2,A1,A1] NN[A2*A1,A1^2,A1]=NN[A2*A1,A1^2,A1,A1] NN[A1^3,A1^2,A1]=NN[A1^3,A1^2,A1,A1] NN[A2,A2,A2]=NN[A2,A2,A2,A1] NN[A2,A2,A1^2]=NN[A2,A2,A1^2,A1] NN[A2,A1^2,A1^2]=NN[A2,A1^2,A1^2,A1] NN[A1^2,A1^2,A1^2]=NN[A1^2,A1^2,A1^2,A1] NN[A3,A1,A1,A1]=NN[A3,A1,A1,A1,A1] NN[A2*A1,A1,A1,A1]=NN[A2*A1,A1,A1,A1,A1] NN[A1^3,A1,A1,A1]=NN[A1^3,A1,A1,A1,A1] NN[A2,A2,A1,A1]=NN[A2,A2,A1,A1,A1] NN[A2,A1^2,A1,A1]=NN[A2,A1^2,A1,A1,A1] NN[A1^2,A1^2,A1,A1]=NN[A1^2,A1^2,A1,A1,A1] NN[A2,A1,A1,A1,A1]=NN[A2,A1,A1,A1,A1,A1] NN[A1^2,A1,A1,A1,A1]=NN[A1^2,A1,A1,A1,A1,A1] NN[A1,A1,A1,A1,A1,A1]=NN[A1,A1,A1,A1,A1,A1,A1] (*rank 5*) NN[D5]=NN[D5,A2]+NN[D5,A1^2] NN[A5]=NN[A5,A2]+NN[A5,A1^2] NN[A4*A1]=NN[A4*A1,A2]+NN[A4*A1,A1^2] NN[D4*A1]=NN[D4*A1,A2]+NN[D4*A1,A1^2] NN[A3*A2]=NN[A3*A2,A2]+NN[A3*A2,A1^2] NN[A3*A1^2]=NN[A3*A1^2,A2]+NN[A3*A1^2,A1^2] NN[A2^2*A1]=NN[A2^2*A1,A2]+NN[A2^2*A1,A1^2] NN[A2*A1^3]=NN[A2*A1^3,A2]+NN[A2*A1^3,A1^2] NN[A1^5]=NN[A1^5,A2]+NN[A1^5,A1^2] NN[D4,A1]=NN[D4,A2,A1]+NN[D4,A1^2,A1] NN[A4,A1]=NN[A4,A2,A1]+NN[A4,A1^2,A1] NN[A3*A1,A1]=NN[A3*A1,A2,A1]+NN[A3*A1,A1^2,A1] NN[A2^2,A1]=NN[A2^2,A2,A1]+NN[A2^2,A1^2,A1] NN[A2*A1^2,A1]=NN[A2*A1^2,A2,A1]+NN[A2*A1^2,A1^2,A1] NN[A1^4,A1]=NN[A1^4,A2,A1]+NN[A1^4,A1^2,A1] NN[A3,A2]=NN[A3,A2,A2]+NN[A3,A2,A1^2] NN[A2*A1,A2]=NN[A2*A1,A2,A2]+NN[A2*A1,A2,A1^2] NN[A1^3,A2]=NN[A1^3,A2,A2]+NN[A1^3,A2,A1^2] NN[A3,A1^2]=NN[A3,A2,A1^2]+NN[A3,A1^2,A1^2] NN[A2*A1,A1^2]=NN[A2*A1,A2,A1^2]+NN[A2*A1,A1^2,A1^2] NN[A1^3,A1^2]=NN[A1^3,A2,A1^2]+NN[A1^3,A1^2,A1^2] NN[A3,A1,A1]=NN[A3,A2,A1,A1]+NN[A3,A1^2,A1,A1] NN[A2*A1,A1,A1]=NN[A2*A1,A2,A1,A1]+NN[A2*A1,A1^2,A1,A1] NN[A1^3,A1,A1]=NN[A1^3,A2,A1,A1]+NN[A1^3,A1^2,A1,A1] NN[A2,A2,A1]=NN[A2,A2,A2,A1]+NN[A2,A2,A1^2,A1] NN[A2,A1^2,A1]=NN[A2,A2,A1^2,A1]+NN[A2,A1^2,A1^2,A1] NN[A1^2,A1^2,A1]=NN[A2,A1^2,A1^2,A1]+NN[A1^2,A1^2,A1^2,A1] NN[A2,A1,A1,A1]=NN[A2,A2,A1,A1,A1]+NN[A2,A1^2,A1,A1,A1] NN[A1^2,A1,A1,A1]=NN[A2,A1^2,A1,A1,A1]+NN[A1^2,A1^2,A1,A1,A1] NN[A1,A1,A1,A1,A1]=NN[A2,A1,A1,A1,A1,A1]+NN[A1^2,A1,A1,A1,A1,A1] (*rank 4*) NN[D4]=NN[D4,A3]+NN[D4,A2*A1]+NN[D4,A1^3] NN[A4]=NN[A4,A3]+NN[A4,A2*A1]+NN[A4,A1^3] NN[A3*A1]=NN[A3*A1,A3]+NN[A3*A1,A2*A1]+NN[A3*A1,A1^3] NN[A2^2]=NN[A2^2,A3]+NN[A2^2,A2*A1]+NN[A2^2,A1^3] NN[A2*A1^2]=NN[A2*A1^2,A3]+NN[A2*A1^2,A2*A1]+NN[A2*A1^2,A1^3] NN[A1^4]=NN[A1^4,A3]+NN[A1^4,A2*A1]+NN[A1^4,A1^3] NN[A3,A1]=NN[A3,A3,A1]+NN[A3,A2*A1,A1]+NN[A3,A1^3,A1] NN[A2*A1,A1]=NN[A3,A2*A1,A1]+NN[A2*A1,A2*A1,A1]+NN[A2*A1,A1^3,A1] NN[A1^3,A1]=NN[A3,A1^3,A1]+NN[A2*A1,A1^3,A1]+NN[A1^3,A1^3,A1] NN[A2,A2]=NN[A3,A2,A2]+NN[A2*A1,A2,A2]+NN[A1^3,A2,A2] NN[A2,A1^2]=NN[A3,A2,A1^2]+NN[A2*A1,A2,A1^2]+NN[A1^3,A2,A1^2] NN[A1^2,A1^2]=NN[A3,A1^2,A1^2]+NN[A2*A1,A1^2,A1^2]+NN[A1^3,A1^2,A1^2] NN[A2,A1,A1]=NN[A3,A2,A1,A1]+NN[A2*A1,A2,A1,A1]+NN[A1^3,A2,A1,A1] NN[A1^2,A1,A1]=NN[A3,A1^2,A1,A1]+NN[A2*A1,A1^2,A1,A1]+NN[A1^3,A1^2,A1,A1] NN[A1,A1,A1,A1]=NN[A3,A1,A1,A1,A1]+NN[A2*A1,A1,A1,A1,A1]+NN[A1^3,A1,A1,A1,A1] (*rank 3*) NN[A3]=NN[D4,A3]+NN[A4,A3]+NN[A3*A1,A3]+NN[A2^2,A3]+NN[A2*A1^2,A3]+NN[A1^4,A3] NN[A2*A1]=NN[D4,A2*A1]+NN[A4,A2*A1]+NN[A3*A1,A2*A1]+NN[A2^2,A2*A1]+NN[A2*A1^2,A2*A1]+NN[A1^4,A2*A1] NN[A1^3]=NN[D4,A1^3]+NN[A4,A1^3]+NN[A3*A1,A1^3]+NN[A2^2,A1^3]+NN[A2*A1^2,A1^3]+NN[A1^4,A1^3] NN[A2,A1]=NN[D4,A2,A1]+NN[A4,A2,A1]+NN[A3*A1,A2,A1]+NN[A2^2,A2,A1]+NN[A2*A1^2,A2,A1]+NN[A1^4,A2,A1] NN[A1^2,A1]=NN[D4,A1^2,A1]+NN[A4,A1^2,A1]+NN[A3*A1,A1^2,A1]+NN[A2^2,A1^2,A1]+NN[A2*A1^2,A1^2,A1]+NN[A1^4,A1^2,A1] NN[A1,A1,A1]=NN[D4,A1,A1,A1]+NN[A4,A1,A1,A1]+NN[A3*A1,A1,A1,A1]+NN[A2^2,A1,A1,A1]+NN[A2*A1^2,A1,A1,A1]+NN[A1^4,A1,A1,A1] (*rank 2*) NN[A2]=NN[D5,A2]+NN[A5,A2]+NN[A4*A1,A2]+NN[D4*A1,A2]+NN[A3*A2,A2]+NN[A3*A1^2,A2]+NN[A2^2*A1,A2]+NN[A2*A1^3,A2]+NN[A1^5,A2] NN[A1^2]=NN[D5,A1^2]+NN[A5,A1^2]+NN[A4*A1,A1^2]+NN[D4*A1,A1^2]+NN[A3*A2,A1^2]+NN[A3*A1^2,A1^2]+NN[A2^2*A1,A1^2]+NN[A2*A1^3,A1^2]+NN[A1^5,A1^2] NN[A1,A1]=NN[D5,A1,A1]+NN[A5,A1,A1]+NN[A4*A1,A1,A1]+NN[D4*A1,A1,A1]+NN[A3*A2,A1,A1]+NN[A3*A1^2,A1,A1]+NN[A2^2*A1,A1,A1]+NN[A2*A1^3,A1,A1]+NN[A1^5,A1,A1] (*rank 1*) (*NN[A1]=63*) (*rank 0*) NN[]=1 (*The zeta polynomials, Armstrong convention*) Z[A1,z_]:=z+1 Z[A2,z_]:=(3z+2)(3z+3)/6 Z[A3,z_]:=(4z+2)(4z+3)(4z+4)/24 Z[A4,z_]:=(5z+2)(5z+3)(5z+4)(5z+5)/120 Z[A5,z_]:=(6z+2)(6z+3)(6z+4)(6z+5)(6z+6)/720 Z[A6,z_]:=(7z+2)(7z+3)(7z+4)(7z+5)(7z+6)(7z+7)/5040 Z[A7,z_]:=(8z+2)(8z+3)(8z+4)(8z+5)(8z+6)(8z+7)(8z+8)/40320 Z[D4,z_]:=(6z+2)(6z+4)(6z+6)(6z+4)/(2 4 6 4) Z[D5,z_]:=(8z+2)(8z+4)(8z+6)(8z+8)(8z+5)/(2 4 6 8 5) Z[D6,z_]:=(10z+2)(10z+4)(10z+6)(10z+8)(10z+10)(10z+6)/(2 4 6 8 10 6) Z[D7,z_]:=(12z+2)(12z+4)(12z+6)(12z+8)(12z+10)(12z+12)(12z+7)/(2 4 6 8 10 12 7) Z[E6,z_]:=(12z+2)(12z+5)(12z+6)(12z+8)(12z+9)(12z+12)/(2 5 6 8 9 12) Z[E7,z_]:=(18z+2)(18z+6)(18z+8)(18z+10)(18z+12)(18z+14)(18z+18)/ (2 6 8 10 12 14 18) Z[E8,z_]:=(30z+2)(30z+8)(30z+12)(30z+14)(30z+18)(30z+20)(30z+24)(30z+30)/ (2 8 12 14 18 20 24 30) Z[D5*A1,z_]:=Z[D5,z]Z[A1,z] Z[A5*A1,z_]:=Z[A5,z]Z[A1,z] Z[D4*A2,z_]:=Z[D4,z]Z[A2,z] Z[A4*A2,z_]:=Z[A4,z]Z[A2,z] Z[A3^2,z_]:=Z[A3,z]^2 Z[D4*A1^2,z_]:=Z[D4,z]Z[A1,z]^2 Z[A4*A1^2,z_]:=Z[A4,z]Z[A1,z]^2 Z[A3*A2*A1,z_]:=Z[A3,z]Z[A2,z]Z[A1,z] Z[A3*A1^3,z_]:=Z[A3,z]Z[A1,z]^3 Z[A2^3,z_]:=Z[A2,z]^3 Z[A2^2*A1^2,z_]:=Z[A2,z]^2Z[A1,z]^2 Z[A2*A1^4,z_]:=Z[A2,z]Z[A1,z]^4 Z[A1^6,z_]:=Z[A1,z]^6 Z[A4*A1,z_]:=Z[A4,z]Z[A1,z] Z[D4*A1,z_]:=Z[D4,z]Z[A1,z] Z[A3*A2,z_]:=Z[A3,z]Z[A2,z] Z[A3*A1^2,z_]:=Z[A3,z]Z[A1,z]^2 Z[A2^2*A1,z_]:=Z[A2,z]^2Z[A1,z] Z[A2*A1^3,z_]:=Z[A2,z]Z[A1,z]^3 Z[A1^5,z_]:=Z[A1,z]^5 Z[A3*A1,z_]:=Z[A3,z]Z[A1,z] Z[A2^2,z_]:=Z[A2,z]^2 Z[A2*A1^2,z_]:=Z[A2,z]Z[A1,z]^2 Z[A1^4,z_]:=Z[A1,z]^4 Z[A2*A1,z_]:=Z[A2,z]Z[A1,z] Z[A1^3,z_]:=Z[A1,z]^3 Z[A1^2,z_]:=Z[A1,z]^2 NNNN[x___]:=NN[x]Product[Z[{x}[[ii]],z-1],{ii,1,Length[{x}]}]* Binomial[m,Length[{x}]] (*right-hand side of (4.7)*) Expr:=Expand[NNNN[A7]+ 2NNNN[E6,A1]+ 2NNNN[D6,A1]+ 2NNNN[A6,A1]+ 2NNNN[D5*A1,A1]+ 2NNNN[A5*A1,A1]+ 2NNNN[D4*A2,A1]+ 2NNNN[A4*A2,A1]+ 2NNNN[A3^2,A1]+ 2NNNN[D4*A1^2,A1]+ 2NNNN[A4*A1^2,A1]+ 2NNNN[A3*A2*A1,A1]+ 2NNNN[A3*A1^3,A1]+ 2NNNN[A2^3,A1]+ 2NNNN[A2^2*A1^2,A1]+ 2NNNN[A2*A1^4,A1]+ 2NNNN[A1^6,A1]+ 2NNNN[D5,A2]+ 2NNNN[A5,A2]+ 2NNNN[A4*A1,A2]+ 2NNNN[D4*A1,A2]+ 2NNNN[A3*A2,A2]+ 2NNNN[A3*A1^2,A2]+ 2NNNN[A2^2*A1,A2]+ 2NNNN[A2*A1^3,A2]+ 2NNNN[A1^5,A2]+ 2NNNN[D5,A1^2]+ 2NNNN[A5,A1^2]+ 2NNNN[A4*A1,A1^2]+ 2NNNN[D4*A1,A1^2]+ 2NNNN[A3*A2,A1^2]+ 2NNNN[A3*A1^2,A1^2]+ 2NNNN[A2^2*A1,A1^2]+ 2NNNN[A2*A1^3,A1^2]+ 2NNNN[A1^5,A1^2]+ 3NNNN[D5,A1,A1]+ 3NNNN[A5,A1,A1]+ 3NNNN[A4*A1,A1,A1]+ 3NNNN[D4*A1,A1,A1]+ 3NNNN[A3*A2,A1,A1]+ 3NNNN[A3*A1^2,A1,A1]+ 3NNNN[A2^2*A1,A1,A1]+ 3NNNN[A2*A1^3,A1,A1]+ 3NNNN[A1^5,A1,A1]+ 2NNNN[D4,A3]+ 2NNNN[A4,A3]+ 2NNNN[A3*A1,A3]+ 2NNNN[A2^2,A3]+ 2NNNN[A2*A1^2,A3]+ 2NNNN[A1^4,A3]+ 2NNNN[D4,A2*A1]+ 2NNNN[A4,A2*A1]+ 2NNNN[A3*A1,A2*A1]+ 2NNNN[A2^2,A2*A1]+ 2NNNN[A2*A1^2,A2*A1]+ 2NNNN[A1^4,A2*A1]+ 2NNNN[D4,A1^3]+ 2NNNN[A4,A1^3]+ 2NNNN[A3*A1,A1^3]+ 2NNNN[A2^2,A1^3]+ 2NNNN[A2*A1^2,A1^3]+ 2NNNN[A1^4,A1^3]+ 6NNNN[D4,A2,A1]+ 6NNNN[A4,A2,A1]+ 6NNNN[A3*A1,A2,A1]+ 6NNNN[A2^2,A2,A1]+ 6NNNN[A2*A1^2,A2,A1]+ 6NNNN[A1^4,A2,A1]+ 6NNNN[D4,A1^2,A1]+ 6NNNN[A4,A1^2,A1]+ 6NNNN[A3*A1,A1^2,A1]+ 6NNNN[A2^2,A1^2,A1]+ 6NNNN[A2*A1^2,A1^2,A1]+ 6NNNN[A1^4,A1^2,A1]+ 4NNNN[D4,A1,A1,A1]+ 4NNNN[A4,A1,A1,A1]+ 4NNNN[A3*A1,A1,A1,A1]+ 4NNNN[A2^2,A1,A1,A1]+ 4NNNN[A2*A1^2,A1,A1,A1]+ 4NNNN[A1^4,A1,A1,A1]+ 3NNNN[A3,A3,A1]+ 6NNNN[A3,A2*A1,A1]+ 6NNNN[A3,A1^3,A1]+ 3NNNN[A2*A1,A2*A1,A1]+ 6NNNN[A2*A1,A1^3,A1]+ 3NNNN[A1^3,A1^3,A1]+ 3NNNN[A3,A2,A2]+ 3NNNN[A2*A1,A2,A2]+ 3NNNN[A1^3,A2,A2]+ 6NNNN[A3,A2,A1^2]+ 6NNNN[A2*A1,A2,A1^2]+ 6NNNN[A1^3,A2,A1^2]+ 3NNNN[A3,A1^2,A1^2]+ 3NNNN[A2*A1,A1^2,A1^2]+ 3NNNN[A1^3,A1^2,A1^2]+ 12NNNN[A3,A2,A1,A1]+ 12NNNN[A2*A1,A2,A1,A1]+ 12NNNN[A1^3,A2,A1,A1]+ 12NNNN[A3,A1^2,A1,A1]+ 12NNNN[A2*A1,A1^2,A1,A1]+ 12NNNN[A1^3,A1^2,A1,A1]+ 5NNNN[A3,A1,A1,A1,A1]+ 5NNNN[A2*A1,A1,A1,A1,A1]+ 5NNNN[A1^3,A1,A1,A1,A1]+ 4NNNN[A2,A2,A2,A1]+ 12NNNN[A2,A2,A1^2,A1]+ 12NNNN[A2,A1^2,A1^2,A1]+ 4NNNN[A1^2,A1^2,A1^2,A1]+ 10NNNN[A2,A2,A1,A1,A1]+ 20NNNN[A2,A1^2,A1,A1,A1]+ 10NNNN[A1^2,A1^2,A1,A1,A1]+ 6NNNN[A2,A1,A1,A1,A1,A1]+ 6NNNN[A1^2,A1,A1,A1,A1,A1]+ NNNN[A1,A1,A1,A1,A1,A1,A1]+ NNNN[E6]+ NNNN[D6]+ NNNN[A6]+ NNNN[D5*A1]+ NNNN[A5*A1]+ NNNN[D4*A2]+ NNNN[A4*A2]+ NNNN[A3^2]+ NNNN[D4*A1^2]+ NNNN[A4*A1^2]+ NNNN[A3*A2*A1]+ NNNN[A3*A1^3]+ NNNN[A2^3]+ NNNN[A2^2*A1^2]+ NNNN[A2*A1^4]+ NNNN[A1^6]+ 2NNNN[D5,A1]+ 2NNNN[A5,A1]+ 2NNNN[A4*A1,A1]+ 2NNNN[D4*A1,A1]+ 2NNNN[A3*A2,A1]+ 2NNNN[A3*A1^2,A1]+ 2NNNN[A2^2*A1,A1]+ 2NNNN[A2*A1^3,A1]+ 2NNNN[A1^5,A1]+ 2NNNN[D4,A2]+ 2NNNN[A4,A2]+ 2NNNN[A3*A1,A2]+ 2NNNN[A2^2,A2]+ 2NNNN[A2*A1^2,A2]+ 2NNNN[A1^4,A2]+ 2NNNN[D4,A1^2]+ 2NNNN[A4,A1^2]+ 2NNNN[A3*A1,A1^2]+ 2NNNN[A2^2,A1^2]+ 2NNNN[A2*A1^2,A1^2]+ 2NNNN[A1^4,A1^2]+ NNNN[A3,A3]+ 2NNNN[A3,A2*A1]+ NNNN[A2*A1,A2*A1]+ 2NNNN[A3,A1^3]+ 2NNNN[A2*A1,A1^3]+ NNNN[A1^3,A1^3]+ 3NNNN[D4,A1,A1]+ 3NNNN[A4,A1,A1]+ 3NNNN[A3*A1,A1,A1]+ 3NNNN[A2^2,A1,A1]+ 3NNNN[A2*A1^2,A1,A1]+ 3NNNN[A1^4,A1,A1]+ 6NNNN[A3,A2,A1]+ 6NNNN[A2*A1,A2,A1]+ 6NNNN[A1^3,A2,A1]+ 6NNNN[A3,A1^2,A1]+ 6NNNN[A2*A1,A1^2,A1]+ 6NNNN[A1^3,A1^2,A1]+ NNNN[A2,A2,A2]+ 3NNNN[A2,A2,A1^2]+ 3NNNN[A2,A1^2,A1^2]+ NNNN[A1^2,A1^2,A1^2]+ 4NNNN[A3,A1,A1,A1]+ 4NNNN[A2*A1,A1,A1,A1]+ 4NNNN[A1^3,A1,A1,A1]+ 6NNNN[A2,A2,A1,A1]+ 12NNNN[A2,A1^2,A1,A1]+ 6NNNN[A1^2,A1^2,A1,A1]+ 5NNNN[A2,A1,A1,A1,A1]+ 5NNNN[A1^2,A1,A1,A1,A1]+ NNNN[A1,A1,A1,A1,A1,A1]+ NNNN[D5]+ NNNN[A5]+ NNNN[A4*A1]+ NNNN[D4*A1]+ NNNN[A3*A2]+ NNNN[A3*A1^2]+ NNNN[A2^2*A1]+ NNNN[A2*A1^3]+ NNNN[A1^5]+ 2NNNN[D4,A1]+ 2NNNN[A4,A1]+ 2NNNN[A3*A1,A1]+ 2NNNN[A2^2,A1]+ 2NNNN[A2*A1^2,A1]+ 2NNNN[A1^4,A1]+ 2NNNN[A3,A2]+ 2NNNN[A2*A1,A2]+ 2NNNN[A1^3,A2]+ 2NNNN[A3,A1^2]+ 2NNNN[A2*A1,A1^2]+ 2NNNN[A1^3,A1^2]+ 3NNNN[A3,A1,A1]+ 3NNNN[A2*A1,A1,A1]+ 3NNNN[A1^3,A1,A1]+ 3NNNN[A2,A2,A1]+ 6NNNN[A2,A1^2,A1]+ 3NNNN[A1^2,A1^2,A1]+ 4NNNN[A2,A1,A1,A1]+ 4NNNN[A1^2,A1,A1,A1]+ NNNN[A1,A1,A1,A1,A1]+ NNNN[D4]+ NNNN[A4]+ NNNN[A3*A1]+ NNNN[A2^2]+ NNNN[A2*A1^2]+ NNNN[A1^4]+ 2NNNN[A3,A1]+ 2NNNN[A2*A1,A1]+ 2NNNN[A1^3,A1]+ NNNN[A2,A2]+ 2NNNN[A2,A1^2]+ NNNN[A1^2,A1^2]+ 3NNNN[A2,A1,A1]+ 3NNNN[A1^2,A1,A1]+ NNNN[A1,A1,A1,A1]+ NNNN[A3]+ NNNN[A2*A1]+ NNNN[A1^3]+ 2NNNN[A2,A1]+ 2NNNN[A1^2,A1]+ NNNN[A1,A1,A1]+ NNNN[A2]+ NNNN[A1^2]+ NNNN[A1,A1]+ NNNN[A1]+ 1 ] (*left-hand side of (4.7)*) Expr2=Expand[Z[A7,z m]] (*the variables*) Var={ (*NN[A7],*) NN[E6,A1], NN[D6,A1], NN[A6,A1], NN[D5*A1,A1], NN[A5*A1,A1], NN[D4*A2,A1], NN[A4*A2,A1], NN[A3^2,A1], NN[D4*A1^2,A1], NN[A4*A1^2,A1], NN[A3*A2*A1,A1], NN[A3*A1^3,A1], NN[A2^3,A1], NN[A2^2*A1^2,A1], NN[A2*A1^4,A1], NN[A1^6,A1], NN[D5,A2], NN[A5,A2], NN[A4*A1,A2], NN[D4*A1,A2], NN[A3*A2,A2], NN[A3*A1^2,A2], NN[A2^2*A1,A2], NN[A2*A1^3,A2], NN[A1^5,A2], NN[D5,A1^2], NN[A5,A1^2], NN[A4*A1,A1^2], NN[D4*A1,A1^2], NN[A3*A2,A1^2], NN[A3*A1^2,A1^2], NN[A2^2*A1,A1^2], NN[A2*A1^3,A1^2], NN[A1^5,A1^2], NN[D5,A1,A1], NN[A5,A1,A1], NN[A4*A1,A1,A1], NN[D4*A1,A1,A1], NN[A3*A2,A1,A1], NN[A3*A1^2,A1,A1], NN[A2^2*A1,A1,A1], NN[A2*A1^3,A1,A1], NN[A1^5,A1,A1], NN[D4,A3], NN[A4,A3], NN[A3*A1,A3], NN[A2^2,A3], NN[A2*A1^2,A3], NN[A1^4,A3], NN[D4,A2*A1], NN[A4,A2*A1], NN[A3*A1,A2*A1], NN[A2^2,A2*A1], NN[A2*A1^2,A2*A1], NN[A1^4,A2*A1], NN[D4,A1^3], NN[A4,A1^3], NN[A3*A1,A1^3], NN[A2^2,A1^3], NN[A2*A1^2,A1^3], NN[A1^4,A1^3], NN[D4,A2,A1], NN[A4,A2,A1], NN[A3*A1,A2,A1], NN[A2^2,A2,A1], NN[A2*A1^2,A2,A1], NN[A1^4,A2,A1], NN[D4,A1^2,A1], NN[A4,A1^2,A1], NN[A3*A1,A1^2,A1], NN[A2^2,A1^2,A1], NN[A2*A1^2,A1^2,A1], NN[A1^4,A1^2,A1], NN[D4,A1,A1,A1], NN[A4,A1,A1,A1], NN[A3*A1,A1,A1,A1], NN[A2^2,A1,A1,A1], NN[A2*A1^2,A1,A1,A1], NN[A1^4,A1,A1,A1], NN[A3,A3,A1], NN[A3,A2*A1,A1], NN[A3,A1^3,A1], NN[A2*A1,A2*A1,A1], NN[A2*A1,A1^3,A1], NN[A1^3,A1^3,A1], NN[A3,A2,A2], NN[A2*A1,A2,A2], NN[A1^3,A2,A2], NN[A3,A2,A1^2], NN[A2*A1,A2,A1^2], NN[A1^3,A2,A1^2], NN[A3,A1^2,A1^2], NN[A2*A1,A1^2,A1^2], NN[A1^3,A1^2,A1^2], NN[A3,A2,A1,A1], NN[A2*A1,A2,A1,A1], NN[A1^3,A2,A1,A1], NN[A3,A1^2,A1,A1], NN[A2*A1,A1^2,A1,A1], NN[A1^3,A1^2,A1,A1], NN[A3,A1,A1,A1,A1], NN[A2*A1,A1,A1,A1,A1], NN[A1^3,A1,A1,A1,A1], NN[A2,A2,A2,A1], NN[A2,A2,A1^2,A1], NN[A2,A1^2,A1^2,A1], NN[A1^2,A1^2,A1^2,A1], NN[A2,A2,A1,A1,A1], NN[A2,A1^2,A1,A1,A1], NN[A1^2,A1^2,A1,A1,A1], NN[A2,A1,A1,A1,A1,A1], NN[A1^2,A1,A1,A1,A1,A1](*, NN[A1,A1,A1,A1,A1,A1,A1]*) } (*Solve the system of equations*) Gl2:={GG300,GG301,GG302,GG303,GG304,GG305,GG306, GG307,GG308,GG309,GG310,GG311,GG312,GG313,GG314, GG315,GG316,GG317,GG318,GG319,GG320,GG321,GG322(*, GG323,GG324,GG325,GG326,GG327,GG328,GG329,GG330*), GG1,GG2,GG3,GG4,GG5,GG6,GG7,GG8,GG9,GG10, GG11,GG12,GG13,GG14,GG15,GG16,GG17,GG18,GG19,GG20, GG21,GG22,GG23,GG24,GG25,GG26,GG27,GG28,GG29,GG30, GG31,GG32,GG33,GG34,GG35,GG36,GG37,GG38,GG39,GG40, GG41,GG42,GG43,GG44,GG45,GG46,GG47,GG48,GG49,GG50, GG51,GG52,GG53,GG54,GG55,GG56,GG57,GG58,GG59,GG60, GG61,GG62,GG63,GG64,GG65,GG66,GG67,GG68,GG69,GG70, GG71,GG72,GG73,GG74,GG75,GG76,GG77,GG78,GG79,GG80, GG81,GG82,GG83,GG84,GG85,GG86,GG87,GG88,GG89,GG90, GG91,GG92,GG93,GG94,GG95,GG96,GG97,GG98,GG99,GG100, GG101,GG102,GG103,GG104,GG105,GG106,GG107,GG108,GG109,GG110, GG111,GG112,GG113,GG114,GG115,GG116,GG117,GG118,GG119,GG120, GG121,GG122,GG123,GG124,GG125,GG126,GG127,GG128,GG129,GG130, GG131,GG132,GG133,GG134,GG135,GG136,GG137,GG138,GG139,GG140, GG141,GG142,GG143,GG144,GG145,GG146,GG147,GG148,GG149,GG150, GG151,GG152,GG153,GG154,GG155,GG156,GG157,GG158,GG159,GG160, GG161,GG162,GG163,GG164,GG165(*,GG166,GG167,GG168,GG169,GG170, GG171,GG172,GG173,GG174,GG175,GG176,GG177,GG178,GG179,GG180, GG181,GG182,GG183,GG184,GG185,GG186,GG187,GG188,GG189,GG190, GG191,GG192,GG193,GG194,GG195,GG196,GG197,GG198,GG199,GG200*) } Gl1:=Flatten[Table[Table[Coefficient[Coefficient[Expr-Expr2,z,ii],m,jj]==0,{ii,0,7}],{jj,0,7}]] Sol:=Solve[Union[Gl1,Gl2],Var] Sol