<identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, <identity> of ..., f4, f4^2, f4^3, f4^4, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f4^4, <identity> of ..., f4, f4^2, f4^3, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f4^3, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f2*f3^2*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f3^2*f4, f4^3, f4^4, <identity> of ..., f4, f4^2, f1*f2*f3^2*f4^3, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f4^4, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f3*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f3*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3^2*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f2*f3^2, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f3^2, f4^2, f4^3, f4^4, <identity> of ..., f4, f1*f2*f3^2*f4^4, f1*f2*f3^2, f1*f2*f3^2*f4, f1*f2*f3^2*f4^2, f1*f2*f3^2*f4^3, f1*f2, f1*f2*f4, f1*f2*f4^2, f1*f2*f4^3, f1*f2*f4^4, f1*f2*f3, f1*f2*f3*f4, f1*f2*f3*f4^2, f1*f2*f3*f4^3, f1*f2*f3*f4^4, f1, f1*f4, f1*f4^2, f1*f4^3, f1*f4^4, f1*f3, f1*f3*f4, f1*f3*f4^2, f1*f3*f4^3, f1*f3*f4^4, f1*f3^2, f1*f3^2*f4, f1*f3^2*f4^2, f1*f3^2*f4^3, f1*f3^2*f4^4, f2, f2*f4, f2*f4^2, f2*f4^3, f2*f4^4, f2*f3, f2*f3*f4, f2*f3*f4^2, f2*f3*f4^3, f2*f3*f4^4, f2*f3^2, f2*f3^2*f4, f2*f3^2*f4^2, f2*f3^2*f4^3, f2*f3^2*f4^4, f3, f3*f4, f3*f4^2, f3*f4^3, f3*f4^4, f3^2, f3^2*f4, f3^2*f4^2, f3^2*f4^3, f3^2*f4^4, f4, f4^2, f4^3, f4^4, <identity> of ..., 