/* HFE crypto system with n=30, D=96 (degree of the secret polynomial). System supplied by Jean-Charles Faugere, May 17, 2004. Magma input (built by Allan Steel). */ P := PolynomialRing(GF(2), 30, "grevlex"); B := [x1^2+x1,x2^2+x2,x3^2+x3,x4^2+x4,x5^2+x5,x6^2+x6,x7^2+x7,x8^2+x8,x9^2+x9,x10^2+x10,x11^2+x11,x12^2+x12,x13^2+x13,x14^2+x14,x15^2+x15,x16^2+x16,x17^2+x17,x18^2+x18,x19^2+x19,x20^2+x20,x21^2+x21,x22^2+x22,x23^2+x23,x24^2+x24,x25^2+x25,x26^2+x26,x27^2+x27,x28^2+x28,x29^2+x29,x30^2+x30, x2+x4+x5+x9+x11+x12+x14+x18+x19+x24+x25+x26+x28+x29+x1*x2+x1*x3+x1*x7+x1*x8+x1*x9+x1*x11+x1*x12+x1*x15+x1*x16+x1*x21+x1*x25+x1*x27+x1*x28+x1*x29+x1*x30+x2*x3+x2*x7+x2*x8+x2*x11+x2*x12+x2*x14+x2*x17+x2*x18+x2*x19+x2*x20+x2*x21+x2*x22+x2*x24+x2*x27+x2*x28+x2*x30+x3*x4+x3*x5+x3*x9+x3*x12+x3*x14+x3*x16+x3*x17+x3*x18+x3*x19+x3*x21+x3*x24+x3*x29+x3*x30+x4*x5+x4*x6+x4*x16+x4*x19+x4*x20+x4*x21+x4*x22+x4*x23+x4*x24+x4*x28+x4*x30+x5*x9+x5*x11+x5*x15+x5*x17+x5*x18+x5*x19+x5*x20+x5*x22+x5*x23+x5*x24+x5*x25+x5*x29+x5*x30+x6*x9+x6*x10+x6*x12+x6*x13+x6*x15+x6*x18+x6*x19+x6*x20+x6*x21+x6*x24+x6*x26+x6*x28+x6*x29+x6*x30+x7*x10+x7*x12+x7*x13+x7*x15+x7*x17+x7*x18+x7*x19+x7*x21+x7*x22+x7*x26+x7*x28+x7*x30+x8*x9+x8*x12+x8*x13+x8*x14+x8*x17+x8*x18+x8*x19+x8*x21+x8*x22+x8*x27+x8*x28+x9*x11+x9*x14+x9*x15+x9*x18+x9*x19+x9*x24+x9*x26+x9*x28+x9*x29+x10*x14+x10*x15+x10*x16+x10*x18+x10*x19+x10*x21+x10*x23+x10*x24+x10*x28+x10*x30+x11*x12+x11*x13+x11*x14+x11*x15+x11*x16+x11*x18+x11*x20+x11*x22+x11*x25+x11*x26+x11*x27+x11*x29+x11*x30+x12*x16+x12*x19+x12*x20+x12*x22+x12*x24+x12*x25+x12*x26+x12*x28+x13*x17+x13*x18+x13*x19+x13*x21+x13*x26+x13*x27+x13*x28+x13*x29+x14*x16+x14*x17+x14*x18+x14*x20+x14*x23+x14*x25+x14*x26+x14*x30+x15*x16+x15*x19+x15*x21+x15*x22+x15*x24+x15*x26+x15*x28+x15*x30+x16*x17+x16*x19+x16*x20+x16*x21+x16*x24+x16*x26+x16*x27+x16*x30+x17*x18+x17*x21+x17*x22+x17*x24+x17*x26+x17*x28+x17*x29+x17*x30+x18*x19+x18*x20+x18*x21+x18*x24+x18*x25+x18*x27+x18*x29+x19*x20+x19*x21+x19*x22+x19*x23+x19*x27+x19*x29+x19*x30+x20*x21+x20*x22+x20*x23+x20*x27+x20*x28+x20*x29+x21*x22+x21*x27+x21*x28+x21*x30+x22*x25+x22*x28+x22*x29+x22*x30+x23*x24+x23*x26+x23*x27+x23*x28+x24*x29+x25*x26+x25*x27+x25*x28+x26*x30+x27*x30+x28*x29+x29*x30, x3+x5+x7+x9+x10+x12+x13+x18+x19+x20+x21+x22+x23+x28+x29+x1*x4+x1*x5+x1*x6+x1*x8+x1*x9+x1*x11+x1*x12+x1*x13+x1*x14+x1*x15+x1*x16+x1*x19+x1*x22+x1*x24+x1*x25+x1*x26+x1*x27+x1*x28+x1*x29+x1*x30+x2*x13+x2*x14+x2*x16+x2*x17+x2*x19+x2*x21+x2*x22+x2*x26+x2*x27+x2*x28+x2*x29+x3*x4+x3*x5+x3*x6+x3*x7+x3*x8+x3*x9+x3*x14+x3*x15+x3*x17+x3*x21+x3*x22+x3*x25+x3*x29+x4*x5+x4*x10+x4*x11+x4*x14+x4*x17+x4*x20+x5*x6+x5*x8+x5*x10+x5*x13+x5*x14+x5*x17+x5*x19+x5*x20+x5*x21+x5*x22+x5*x26+x5*x27+x6*x8+x6*x12+x6*x13+x6*x14+x6*x15+x6*x17+x6*x20+x6*x23+x6*x24+x6*x25+x6*x26+x6*x27+x6*x29+x6*x30+x7*x8+x7*x10+x7*x11+x7*x12+x7*x13+x7*x15+x7*x16+x7*x21+x7*x23+x7*x24+x7*x26+x7*x27+x7*x28+x7*x29+x7*x30+x8*x14+x8*x16+x8*x17+x8*x18+x8*x21+x8*x23+x8*x24+x8*x25+x8*x26+x8*x27+x8*x30+x9*x11+x9*x12+x9*x13+x9*x14+x9*x17+x9*x19+x9*x23+x9*x24+x9*x26+x10*x11+x10*x13+x10*x15+x10*x16+x10*x17+x10*x18+x10*x19+x10*x20+x10*x21+x10*x22+x10*x25+x10*x26+x11*x13+x11*x15+x11*x16+x11*x17+x11*x20+x11*x21+x11*x22+x11*x23+x11*x24+x11*x25+x11*x27+x11*x28+x11*x29+x12*x17+x12*x22+x12*x23+x12*x24+x12*x26+x12*x27+x12*x28+x12*x30+x13*x14+x13*x15+x13*x20+x13*x22+x13*x23+x13*x24+x13*x25+x13*x28+x14*x15+x14*x19+x14*x23+x14*x27+x14*x29+x15*x17+x15*x20+x15*x22+x15*x23+x15*x25+x16*x17+x16*x23+x16*x24+x16*x26+x16*x27+x16*x28+x16*x29+x16*x30+x17*x18+x17*x20+x17*x22+x17*x23+x17*x24+x17*x25+x17*x26+x17*x28+x17*x30+x18*x19+x18*x20+x18*x21+x18*x22+x18*x24+x18*x25+x18*x26+x18*x28+x19*x20+x19*x23+x19*x25+x20*x23+x20*x26+x20*x27+x21*x24+x21*x25+x21*x26+x21*x27+x21*x28+x21*x29+x21*x30+x22*x24+x22*x25+x23*x24+x23*x25+x23*x28+x24*x28+x24*x29+x24*x30+x25*x28+x26*x30+x27*x29+x27*x30, x3+x4+x5+x6+x9+x10+x13+x16+x21+x22+x23+x24+x26+x27+x28+x30+x1*x5+x1*x8+x1*x10+x1*x11+x1*x15+x1*x17+x1*x19+x1*x23+x1*x30+x2*x3+x2*x7+x2*x8+x2*x9+x2*x11+x2*x12+x2*x15+x2*x16+x2*x17+x2*x18+x2*x19+x2*x20+x2*x21+x2*x22+x2*x25+x2*x27+x2*x28+x2*x29+x3*x4+x3*x5+x3*x7+x3*x9+x3*x12+x3*x15+x3*x16+x3*x17+x3*x19+x3*x23+x3*x25+x3*x27+x3*x29+x4*x6+x4*x8+x4*x9+x4*x11+x4*x13+x4*x14+x4*x16+x4*x20+x4*x22+x4*x25+x4*x27+x4*x29+x4*x30+x5*x6+x5*x11+x5*x14+x5*x16+x5*x19+x5*x20+x5*x21+x5*x23+x5*x27+x5*x28+x6*x7+x6*x8+x6*x9+x6*x12+x6*x13+x6*x15+x6*x17+x6*x18+x6*x23+x6*x25+x7*x9+x7*x11+x7*x13+x7*x20+x7*x21+x7*x22+x7*x23+x7*x24+x7*x25+x7*x26+x7*x27+x7*x28+x7*x29+x7*x30+x8*x9+x8*x10+x8*x12+x8*x13+x8*x14+x8*x15+x8*x18+x8*x19+x8*x20+x8*x21+x8*x22+x8*x25+x8*x27+x8*x28+x8*x29+x8*x30+x9*x10+x9*x13+x9*x15+x9*x16+x9*x19+x9*x20+x9*x22+x9*x23+x9*x29+x10*x11+x10*x13+x10*x16+x10*x20+x10*x22+x10*x23+x10*x24+x10*x26+x10*x29+x10*x30+x11*x12+x11*x13+x11*x14+x11*x15+x11*x16+x11*x17+x11*x18+x11*x19+x11*x22+x11*x25+x11*x26+x11*x30+x12*x14+x12*x16+x12*x17+x12*x19+x12*x21+x12*x22+x12*x23+x12*x24+x12*x25+x12*x27+x12*x29+x13*x14+x13*x16+x13*x19+x13*x21+x13*x23+x13*x29+x13*x30+x14*x17+x14*x18+x14*x19+x14*x20+x14*x21+x14*x22+x14*x24+x14*x25+x14*x26+x14*x29+x14*x30+x15*x16+x15*x17+x15*x20+x15*x23+x15*x26+x15*x27+x15*x30+x16*x18+x16*x20+x16*x21+x16*x22+x16*x25+x16*x28+x16*x29+x17*x18+x17*x19+x17*x21+x17*x22+x17*x26+x17*x27+x17*x28+x17*x29+x18*x23+x18*x25+x18*x26+x18*x29+x19*x24+x19*x25+x19*x26+x19*x27+x19*x30+x20*x21+x20*x23+x20*x26+x20*x27+x20*x28+x20*x29+x21*x22+x21*x24+x21*x26+x21*x28+x21*x29+x22*x23+x22*x24+x22*x25+x22*x26+x22*x27+x22*x28+x22*x29+x22*x30+x23*x24+x23*x25+x23*x27+x23*x29+x23*x30+x24*x25+x25*x26+x25*x29+x26*x28+x26*x29+x26*x30+x27*x28+x27*x29+x28*x29+x28*x30, 1+x1+x2+x4+x8+x10+x13+x16+x20+x21+x22+x24+x29+x30+x1*x2+x1*x3+x1*x4+x1*x5+x1*x6+x1*x7+x1*x8+x1*x9+x1*x12+x1*x13+x1*x14+x1*x17+x1*x19+x1*x20+x1*x21+x1*x22+x1*x24+x1*x26+x1*x27+x1*x28+x1*x30+x2*x8+x2*x9+x2*x10+x2*x11+x2*x14+x2*x15+x2*x16+x2*x18+x2*x19+x2*x21+x2*x25+x2*x27+x2*x30+x3*x4+x3*x5+x3*x6+x3*x7+x3*x8+x3*x11+x3*x12+x3*x13+x3*x16+x3*x18+x3*x20+x3*x21+x3*x22+x3*x25+x3*x28+x3*x29+x4*x5+x4*x6+x4*x7+x4*x8+x4*x9+x4*x14+x4*x15+x4*x17+x4*x18+x4*x24+x4*x25+x4*x28+x4*x29+x4*x30+x5*x6+x5*x7+x5*x8+x5*x11+x5*x13+x5*x15+x5*x16+x5*x20+x5*x21+x5*x22+x5*x23+x5*x24+x5*x25+x5*x26+x6*x8+x6*x9+x6*x10+x6*x12+x6*x16+x6*x17+x6*x18+x6*x19+x6*x20+x6*x21+x6*x23+x6*x25+x6*x28+x6*x30+x7*x8+x7*x9+x7*x12+x7*x14+x7*x16+x7*x19+x7*x25+x7*x27+x7*x28+x8*x9+x8*x10+x8*x14+x8*x16+x8*x17+x8*x21+x8*x22+x8*x23+x8*x24+x8*x25+x8*x26+x8*x27+x9*x10+x9*x11+x9*x13+x9*x14+x9*x15+x9*x16+x9*x26+x9*x27+x9*x29+x10*x11+x10*x13+x10*x15+x10*x16+x10*x17+x10*x20+x10*x21+x10*x22+x10*x24+x10*x25+x10*x29+x11*x13+x11*x14+x11*x15+x11*x17+x11*x20+x11*x22+x11*x25+x11*x28+x11*x29+x11*x30+x12*x13+x12*x14+x12*x15+x12*x16+x12*x17+x12*x20+x12*x21+x12*x22+x12*x23+x12*x24+x12*x27+x12*x28+x12*x30+x13*x17+x13*x18+x13*x20+x13*x25+x13*x26+x13*x28+x13*x30+x14*x15+x14*x16+x14*x17+x14*x18+x14*x20+x14*x22+x14*x23+x14*x25+x14*x28+x14*x29+x15*x21+x15*x24+x15*x25+x15*x27+x15*x28+x15*x29+x15*x30+x16*x17+x16*x22+x16*x26+x16*x28+x16*x30+x17*x18+x17*x20+x17*x23+x17*x24+x17*x25+x17*x26+x17*x27+x17*x30+x18*x19+x18*x20+x18*x23+x18*x26+x18*x30+x19*x20+x19*x24+x19*x26+x19*x27+x19*x28+x19*x30+x20*x25+x20*x27+x20*x30+x21*x22+x21*x24+x21*x25+x21*x30+x22*x24+x22*x26+x22*x27+x22*x28+x23*x26+x23*x27+x24*x25+x24*x27+x24*x29+x25*x26+x25*x27+x25*x28+x27*x29+x28*x29+x28*x30, 1+x1+x2+x4+x12+x14+x15+x17+x18+x20+x21+x22+x25+x26+x1*x3+x1*x4+x1*x5+x1*x10+x1*x11+x1*x13+x1*x14+x1*x15+x1*x16+x1*x21+x1*x24+x1*x26+x1*x27+x2*x5+x2*x6+x2*x7+x2*x8+x2*x9+x2*x14+x2*x19+x2*x20+x2*x21+x2*x23+x2*x24+x2*x27+x2*x28+x2*x29+x2*x30+x3*x5+x3*x6+x3*x10+x3*x11+x3*x12+x3*x15+x3*x16+x3*x17+x3*x21+x3*x22+x3*x23+x3*x24+x3*x26+x3*x27+x3*x28+x4*x6+x4*x8+x4*x11+x4*x12+x4*x13+x4*x17+x4*x18+x4*x21+x4*x25+x4*x27+x4*x28+x5*x6+x5*x7+x5*x13+x5*x14+x5*x15+x5*x16+x5*x18+x5*x20+x5*x21+x5*x22+x5*x23+x5*x24+x5*x26+x5*x27+x5*x30+x6*x9+x6*x11+x6*x13+x6*x16+x6*x17+x6*x20+x6*x24+x6*x25+x6*x29+x7*x8+x7*x15+x7*x16+x7*x17+x7*x20+x7*x21+x7*x22+x7*x24+x7*x25+x7*x27+x7*x28+x8*x9+x8*x10+x8*x12+x8*x13+x8*x16+x8*x17+x8*x19+x8*x23+x8*x27+x8*x30+x9*x10+x9*x11+x9*x12+x9*x14+x9*x15+x9*x16+x9*x20+x9*x23+x9*x24+x9*x25+x9*x27+x9*x28+x10*x13+x10*x15+x10*x18+x10*x21+x10*x22+x10*x24+x10*x28+x10*x29+x11*x15+x11*x16+x11*x17+x11*x18+x11*x20+x11*x23+x11*x24+x11*x25+x11*x26+x11*x27+x11*x28+x11*x30+x12*x13+x12*x14+x12*x18+x12*x19+x12*x20+x12*x23+x12*x25+x12*x28+x12*x29+x12*x30+x13*x14+x13*x15+x13*x17+x13*x20+x13*x21+x14*x16+x14*x17+x14*x18+x14*x19+x14*x20+x14*x26+x14*x27+x14*x28+x15*x16+x15*x17+x15*x20+x15*x21+x15*x22+x15*x24+x15*x25+x15*x30+x16*x17+x16*x19+x16*x20+x16*x21+x16*x22+x16*x23+x16*x25+x16*x26+x16*x27+x16*x28+x16*x30+x17*x18+x17*x19+x17*x23+x17*x28+x17*x30+x18*x19+x18*x20+x18*x23+x18*x24+x18*x25+x18*x27+x18*x29+x18*x30+x19*x21+x19*x23+x19*x24+x19*x25+x19*x26+x19*x28+x19*x29+x20*x21+x20*x22+x20*x23+x20*x24+x20*x26+x20*x27+x20*x28+x20*x29+x21*x23+x21*x24+x21*x25+x21*x26+x22*x23+x22*x25+x22*x27+x22*x30+x23*x26+x23*x28+x23*x30+x24*x26+x24*x27+x24*x28+x24*x29+x25*x26+x25*x28+x25*x29+x26*x27+x26*x28+x27*x28+x28*x30, 1+x1+x3+x5+x6+x7+x8+x9+x13+x16+x17+x18+x19+x21+x23+x27+x28+x29+x1*x2+x1*x3+x1*x4+x1*x5+x1*x6+x1*x7+x1*x9+x1*x12+x1*x13+x1*x14+x1*x15+x1*x16+x1*x18+x1*x19+x1*x20+x1*x22+x1*x25+x1*x27+x1*x28+x1*x29+x2*x4+x2*x6+x2*x7+x2*x8+x2*x9+x2*x11+x2*x12+x2*x15+x2*x16+x2*x18+x2*x19+x2*x20+x2*x21+x2*x22+x2*x26+x2*x27+x2*x28+x3*x4+x3*x12+x3*x13+x3*x14+x3*x18+x3*x20+x3*x21+x3*x26+x3*x28+x4*x5+x4*x6+x4*x8+x4*x9+x4*x11+x4*x12+x4*x13+x4*x14+x4*x16+x4*x17+x4*x19+x4*x20+x4*x21+x4*x23+x4*x24+x4*x27+x5*x7+x5*x8+x5*x10+x5*x11+x5*x13+x5*x15+x5*x17+x5*x18+x5*x20+x5*x21+x5*x22+x5*x24+x5*x25+x5*x28+x5*x29+x6*x7+x6*x9+x6*x11+x6*x12+x6*x13+x6*x16+x6*x18+x6*x21+x6*x23+x6*x28+x6*x29+x7*x8+x7*x9+x7*x12+x7*x14+x7*x16+x7*x18+x7*x19+x7*x20+x7*x21+x7*x24+x7*x25+x7*x26+x7*x27+x8*x14+x8*x15+x8*x17+x8*x22+x8*x25+x8*x27+x8*x28+x9*x11+x9*x12+x9*x13+x9*x16+x9*x18+x9*x23+x9*x24+x9*x26+x9*x30+x10*x13+x10*x14+x10*x15+x10*x16+x10*x19+x10*x20+x10*x25+x10*x26+x10*x28+x10*x30+x11*x13+x11*x19+x11*x21+x11*x23+x11*x24+x11*x25+x11*x26+x11*x27+x11*x28+x11*x29+x12*x15+x12*x20+x12*x21+x12*x26+x12*x28+x13*x14+x13*x17+x13*x20+x13*x21+x13*x23+x13*x25+x13*x28+x13*x29+x13*x30+x14*x15+x14*x16+x14*x17+x14*x18+x14*x22+x14*x23+x14*x28+x14*x29+x15*x16+x15*x17+x15*x18+x15*x21+x15*x22+x15*x23+x15*x27+x15*x29+x16*x17+x16*x23+x16*x24+x16*x25+x16*x27+x16*x28+x17*x22+x17*x23+x17*x26+x17*x29+x18*x19+x18*x20+x18*x22+x18*x23+x18*x24+x18*x25+x18*x27+x18*x30+x19*x22+x19*x23+x19*x24+x19*x28+x19*x29+x20*x23+x20*x24+x20*x25+x20*x27+x21*x24+x21*x25+x21*x27+x21*x28+x21*x29+x21*x30+x22*x27+x22*x28+x22*x29+x23*x24+x23*x27+x23*x28+x24*x25+x24*x27+x24*x30+x25*x28+x25*x29+x25*x30+x26*x27+x27*x30+x28*x30, x7+x9+x10+x12+x13+x14+x18+x19+x20+x27+x28+x29+x30+x1*x4+x1*x6+x1*x7+x1*x8+x1*x9+x1*x17+x1*x19+x1*x20+x1*x22+x1*x25+x1*x26+x1*x27+x2*x3+x2*x6+x2*x8+x2*x9+x2*x10+x2*x14+x2*x15+x2*x16+x2*x17+x2*x18+x2*x19+x2*x20+x2*x21+x2*x23+x2*x25+x2*x30+x3*x5+x3*x6+x3*x10+x3*x12+x3*x13+x3*x17+x3*x18+x3*x23+x3*x25+x3*x26+x3*x28+x3*x29+x3*x30+x4*x8+x4*x9+x4*x12+x4*x15+x4*x16+x4*x17+x4*x19+x4*x21+x4*x25+x4*x27+x4*x28+x4*x29+x4*x30+x5*x6+x5*x8+x5*x9+x5*x15+x5*x16+x5*x17+x5*x19+x5*x21+x5*x25+x5*x26+x5*x27+x5*x28+x6*x7+x6*x8+x6*x9+x6*x11+x6*x12+x6*x18+x6*x20+x6*x21+x6*x22+x6*x24+x6*x25+x6*x26+x6*x28+x7*x10+x7*x12+x7*x13+x7*x15+x7*x18+x7*x19+x7*x20+x7*x22+x7*x23+x7*x24+x7*x25+x7*x26+x7*x27+x7*x28+x7*x29+x8*x10+x8*x20+x8*x21+x8*x28+x9*x10+x9*x11+x9*x16+x9*x17+x9*x18+x9*x22+x9*x25+x9*x29+x10*x12+x10*x14+x10*x16+x10*x17+x10*x20+x10*x22+x10*x23+x10*x25+x10*x26+x10*x30+x11*x12+x11*x15+x11*x16+x11*x20+x11*x21+x11*x23+x11*x25+x11*x26+x11*x30+x12*x14+x12*x15+x12*x19+x12*x22+x12*x24+x12*x26+x12*x27+x12*x29+x13*x14+x13*x15+x13*x18+x13*x20+x13*x21+x13*x23+x13*x26+x13*x27+x13*x29+x14*x20+x14*x21+x14*x24+x14*x26+x14*x27+x14*x29+x15*x20+x15*x21+x15*x22+x15*x23+x15*x26+x15*x27+x15*x29+x15*x30+x16*x17+x16*x20+x16*x21+x16*x22+x16*x23+x16*x26+x16*x27+x16*x29+x16*x30+x17*x18+x17*x21+x17*x26+x17*x27+x17*x28+x18*x19+x18*x21+x18*x22+x18*x23+x18*x25+x18*x26+x18*x27+x18*x28+x18*x29+x19*x20+x19*x21+x19*x23+x19*x24+x19*x25+x20*x23+x20*x24+x20*x25+x20*x26+x21*x22+x21*x24+x21*x25+x21*x26+x22*x25+x22*x26+x22*x27+x22*x28+x23*x26+x23*x28+x23*x29+x23*x30+x24*x25+x24*x26+x24*x27+x25*x26+x25*x28+x25*x29+x25*x30+x27*x28+x27*x30+x29*x30, x1+x2+x6+x7+x8+x11+x15+x17+x18+x19+x20+x21+x25+x28+x30+x1*x2+x1*x3+x1*x4+x1*x5+x1*x9+x1*x11+x1*x12+x1*x13+x1*x15+x1*x16+x1*x17+x1*x18+x1*x19+x1*x20+x1*x22+x1*x25+x1*x26+x1*x29+x1*x30+x2*x5+x2*x7+x2*x14+x2*x15+x2*x17+x2*x18+x2*x20+x2*x22+x2*x24+x2*x25+x2*x29+x2*x30+x3*x6+x3*x7+x3*x8+x3*x9+x3*x13+x3*x14+x3*x15+x3*x19+x3*x20+x3*x21+x3*x22+x3*x23+x3*x24+x3*x28+x3*x29+x4*x11+x4*x15+x4*x18+x4*x19+x4*x20+x4*x21+x4*x22+x4*x23+x4*x26+x4*x28+x4*x30+x5*x8+x5*x9+x5*x12+x5*x15+x5*x18+x5*x20+x5*x24+x5*x25+x5*x26+x5*x28+x5*x30+x6*x8+x6*x9+x6*x10+x6*x12+x6*x13+x6*x18+x6*x21+x6*x23+x6*x24+x6*x25+x6*x27+x6*x29+x7*x9+x7*x11+x7*x12+x7*x15+x7*x16+x7*x19+x7*x24+x7*x25+x7*x28+x8*x9+x8*x11+x8*x16+x8*x18+x8*x19+x8*x20+x8*x23+x8*x24+x8*x27+x8*x30+x9*x14+x9*x16+x9*x17+x9*x18+x9*x22+x9*x23+x9*x24+x9*x25+x9*x26+x9*x27+x9*x30+x10*x11+x10*x13+x10*x14+x10*x17+x10*x19+x10*x22+x10*x23+x10*x24+x10*x26+x10*x29+x10*x30+x11*x12+x11*x15+x11*x16+x11*x17+x11*x22+x11*x27+x12*x13+x12*x14+x12*x15+x12*x16+x12*x17+x12*x18+x12*x22+x12*x23+x12*x24+x12*x25+x12*x26+x12*x28+x12*x29+x12*x30+x13*x14+x13*x15+x13*x18+x13*x22+x13*x25+x13*x26+x13*x29+x13*x30+x14*x16+x14*x21+x14*x24+x14*x26+x14*x30+x15*x17+x15*x22+x15*x24+x15*x25+x16*x19+x16*x20+x16*x24+x16*x26+x16*x28+x16*x29+x16*x30+x17*x18+x17*x19+x17*x23+x17*x24+x17*x29+x17*x30+x18*x20+x18*x22+x18*x28+x18*x30+x19*x21+x19*x22+x19*x28+x19*x30+x20*x23+x20*x25+x20*x26+x20*x27+x20*x30+x21*x24+x21*x28+x21*x29+x22*x23+x22*x24+x22*x25+x22*x26+x22*x27+x22*x28+x22*x30+x23*x24+x23*x25+x23*x27+x23*x28+x23*x29+x24*x28+x24*x29+x25*x26+x25*x29+x26*x28+x26*x29+x27*x28+x27*x29+x28*x30, x2+x3+x4+x5+x6+x9+x10+x17+x18+x19+x20+x23+x24+x25+x28+x29+x1*x2+x1*x3+x1*x6+x1*x9+x1*x13+x1*x14+x1*x15+x1*x18+x1*x20+x1*x21+x1*x22+x1*x23+x1*x25+x1*x26+x1*x29+x1*x30+x2*x3+x2*x4+x2*x5+x2*x6+x2*x11+x2*x13+x2*x18+x2*x20+x2*x22+x2*x24+x2*x25+x2*x28+x2*x30+x3*x6+x3*x8+x3*x9+x3*x11+x3*x13+x3*x19+x3*x23+x3*x26+x3*x27+x3*x28+x3*x29+x4*x6+x4*x10+x4*x12+x4*x13+x4*x14+x4*x17+x4*x19+x4*x20+x4*x21+x4*x22+x4*x23+x4*x24+x4*x25+x4*x26+x4*x27+x4*x28+x4*x30+x5*x7+x5*x8+x5*x11+x5*x13+x5*x14+x5*x15+x5*x16+x5*x17+x5*x21+x5*x26+x5*x27+x5*x29+x6*x7+x6*x8+x6*x9+x6*x10+x6*x14+x6*x15+x6*x17+x6*x19+x6*x20+x6*x24+x6*x26+x7*x9+x7*x11+x7*x13+x7*x15+x7*x18+x7*x19+x7*x20+x7*x21+x7*x22+x7*x24+x7*x26+x8*x11+x8*x13+x8*x15+x8*x16+x8*x17+x8*x18+x8*x19+x8*x21+x8*x23+x8*x26+x8*x29+x8*x30+x9*x10+x9*x13+x9*x15+x9*x16+x9*x17+x9*x18+x9*x22+x9*x23+x9*x24+x9*x25+x9*x30+x10*x12+x10*x13+x10*x15+x10*x17+x10*x18+x10*x20+x10*x22+x10*x27+x10*x30+x11*x12+x11*x13+x11*x14+x11*x15+x11*x17+x11*x18+x11*x21+x11*x25+x11*x27+x11*x29+x12*x14+x12*x18+x12*x20+x12*x21+x12*x23+x12*x24+x12*x26+x12*x27+x12*x28+x12*x30+x13*x14+x13*x21+x13*x23+x13*x24+x13*x25+x13*x27+x13*x30+x14*x16+x14*x17+x14*x19+x14*x25+x14*x27+x14*x28+x14*x29+x15*x16+x15*x17+x15*x18+x15*x19+x15*x24+x15*x25+x15*x29+x16*x17+x16*x19+x16*x20+x16*x22+x16*x23+x16*x24+x16*x25+x16*x28+x16*x29+x16*x30+x17*x20+x17*x21+x17*x22+x17*x23+x17*x24+x17*x28+x17*x29+x18*x19+x18*x20+x18*x24+x18*x26+x18*x28+x18*x29+x19*x20+x19*x21+x19*x22+x19*x23+x19*x25+x19*x28+x19*x30+x20*x23+x20*x25+x20*x27+x20*x28+x21*x22+x21*x23+x21*x25+x21*x26+x21*x29+x21*x30+x22*x23+x22*x28+x23*x24+x23*x26+x23*x30+x24*x25+x25*x27+x25*x28+x27*x28+x27*x29+x28*x29+x28*x30+x29*x30, 1+x1+x2+x4+x5+x8+x9+x12+x13+x15+x16+x20+x21+x22+x23+x24+x25+x26+x28+x1*x2+x1*x3+x1*x6+x1*x7+x1*x8+x1*x9+x1*x12+x1*x13+x1*x14+x1*x15+x1*x18+x1*x19+x1*x20+x1*x23+x1*x27+x1*x29+x1*x30+x2*x3+x2*x5+x2*x9+x2*x12+x2*x15+x2*x17+x2*x18+x2*x19+x2*x21+x2*x22+x2*x23+x2*x27+x2*x29+x2*x30+x3*x4+x3*x5+x3*x6+x3*x7+x3*x8+x3*x9+x3*x10+x3*x11+x3*x12+x3*x14+x3*x15+x3*x16+x3*x19+x3*x20+x3*x23+x3*x24+x3*x25+x3*x26+x3*x28+x3*x29+x3*x30+x4*x5+x4*x6+x4*x9+x4*x12+x4*x13+x4*x14+x4*x17+x4*x18+x4*x19+x4*x22+x4*x26+x4*x27+x4*x28+x4*x29+x5*x6+x5*x7+x5*x9+x5*x10+x5*x15+x5*x16+x5*x20+x5*x21+x5*x23+x5*x28+x5*x29+x6*x10+x6*x11+x6*x12+x6*x13+x6*x15+x6*x16+x6*x21+x6*x22+x6*x23+x6*x25+x6*x26+x6*x27+x7*x13+x7*x14+x7*x15+x7*x16+x7*x18+x7*x19+x7*x21+x7*x25+x7*x28+x7*x29+x8*x10+x8*x11+x8*x12+x8*x19+x8*x20+x8*x22+x8*x23+x8*x25+x8*x28+x8*x30+x9*x10+x9*x11+x9*x13+x9*x14+x9*x17+x9*x18+x9*x20+x9*x22+x9*x24+x9*x28+x9*x30+x10*x14+x10*x15+x10*x24+x10*x26+x10*x27+x10*x28+x10*x30+x11*x18+x11*x20+x11*x22+x11*x24+x11*x25+x11*x26+x11*x28+x11*x29+x12*x13+x12*x15+x12*x17+x12*x18+x12*x19+x12*x21+x12*x22+x12*x23+x12*x25+x12*x27+x12*x30+x13*x15+x13*x16+x13*x18+x13*x20+x13*x21+x13*x23+x13*x24+x13*x26+x13*x27+x13*x28+x14*x16+x14*x17+x14*x19+x14*x20+x14*x21+x14*x24+x14*x25+x14*x26+x14*x28+x14*x30+x15*x17+x15*x18+x15*x20+x15*x24+x15*x25+x15*x26+x15*x27+x15*x28+x15*x30+x16*x18+x16*x20+x16*x21+x16*x24+x16*x25+x16*x26+x16*x28+x16*x30+x17*x20+x17*x21+x17*x24+x17*x25+x17*x26+x17*x27+x18*x20+x18*x21+x18*x23+x18*x25+x18*x26+x18*x28+x19*x20+x19*x21+x19*x23+x19*x25+x19*x26+x20*x21+x20*x22+x20*x23+x20*x24+x20*x25+x20*x26+x20*x27+x20*x29+x21*x25+x21*x30+x22*x24+x22*x26+x22*x27+x22*x28+x23*x28+x24*x26+x24*x27+x24*x30+x25*x28+x25*x29+x26*x27+x26*x30, 1+x2+x3+x4+x13+x14+x15+x16+x20+x22+x24+x27+x28+x1*x3+x1*x4+x1*x10+x1*x11+x1*x12+x1*x17+x1*x19+x1*x24+x1*x26+x1*x28+x1*x29+x1*x30+x2*x3+x2*x4+x2*x5+x2*x6+x2*x8+x2*x9+x2*x11+x2*x12+x2*x13+x2*x14+x2*x16+x2*x17+x2*x22+x2*x23+x2*x27+x2*x28+x2*x30+x3*x4+x3*x5+x3*x8+x3*x9+x3*x13+x3*x14+x3*x15+x3*x16+x3*x17+x3*x22+x3*x23+x3*x24+x3*x27+x3*x28+x4*x6+x4*x8+x4*x9+x4*x15+x4*x17+x4*x18+x4*x19+x4*x20+x4*x21+x4*x27+x4*x29+x5*x6+x5*x8+x5*x10+x5*x14+x5*x17+x5*x19+x5*x21+x5*x24+x5*x26+x5*x27+x5*x30+x6*x7+x6*x10+x6*x12+x6*x15+x6*x19+x6*x21+x6*x22+x6*x23+x6*x24+x6*x25+x6*x28+x6*x30+x7*x9+x7*x12+x7*x16+x7*x18+x7*x19+x7*x25+x8*x10+x8*x11+x8*x12+x8*x14+x8*x15+x8*x17+x8*x18+x8*x19+x8*x20+x8*x23+x8*x24+x8*x26+x8*x27+x8*x30+x9*x11+x9*x12+x9*x13+x9*x14+x9*x16+x9*x17+x9*x19+x9*x21+x9*x22+x9*x23+x9*x25+x9*x28+x9*x30+x10*x12+x10*x15+x10*x16+x10*x17+x10*x22+x10*x25+x10*x29+x10*x30+x11*x13+x11*x14+x11*x15+x11*x16+x11*x17+x11*x19+x11*x20+x11*x22+x11*x23+x11*x24+x11*x25+x11*x26+x11*x27+x11*x28+x11*x30+x12*x15+x12*x20+x12*x21+x12*x24+x12*x25+x12*x28+x12*x29+x12*x30+x13*x14+x13*x15+x13*x16+x13*x17+x13*x18+x13*x23+x13*x24+x13*x27+x14*x16+x14*x17+x14*x20+x14*x21+x14*x23+x14*x25+x14*x29+x14*x30+x15*x17+x15*x20+x15*x21+x15*x24+x15*x25+x15*x26+x15*x29+x16*x17+x16*x18+x16*x19+x16*x20+x16*x23+x16*x28+x16*x29+x16*x30+x17*x18+x17*x20+x17*x21+x17*x23+x17*x27+x18*x23+x18*x25+x18*x27+x18*x28+x18*x29+x19*x20+x19*x21+x19*x24+x19*x28+x20*x21+x20*x22+x20*x23+x20*x24+x20*x25+x20*x27+x20*x30+x21*x24+x21*x25+x21*x29+x22*x23+x22*x27+x22*x29+x22*x30+x23*x25+x23*x26+x23*x29+x23*x30+x24*x26+x24*x30+x25*x27+x25*x28+x25*x29+x25*x30+x26*x27+x26*x28+x26*x29+x26*x30+x28*x29+x28*x30+x29*x30, x1+x6+x9+x10+x12+x14+x16+x17+x18+x19+x21+x26+x27+x1*x7+x1*x8+x1*x20+x1*x22+x1*x24+x1*x26+x1*x27+x1*x28+x1*x30+x2*x3+x2*x5+x2*x7+x2*x8+x2*x11+x2*x15+x2*x16+x2*x17+x2*x18+x2*x19+x2*x20+x2*x21+x2*x24+x2*x25+x2*x27+x2*x28+x2*x30+x3*x6+x3*x7+x3*x8+x3*x12+x3*x13+x3*x14+x3*x15+x3*x16+x3*x18+x3*x20+x3*x21+x3*x22+x3*x25+x3*x26+x3*x28+x3*x29+x4*x7+x4*x8+x4*x10+x4*x13+x4*x16+x4*x18+x4*x20+x4*x21+x4*x22+x4*x23+x4*x25+x4*x27+x5*x7+x5*x9+x5*x12+x5*x14+x5*x18+x5*x19+x5*x20+x5*x23+x5*x28+x5*x30+x6*x7+x6*x10+x6*x12+x6*x17+x6*x21+x6*x22+x6*x24+x6*x25+x6*x26+x7*x8+x7*x10+x7*x12+x7*x14+x7*x18+x7*x20+x7*x22+x7*x23+x7*x24+x7*x26+x7*x29+x7*x30+x8*x12+x8*x14+x8*x16+x8*x17+x8*x18+x8*x19+x8*x21+x8*x22+x8*x23+x8*x24+x8*x26+x8*x27+x8*x28+x8*x29+x8*x30+x9*x14+x9*x15+x9*x16+x9*x22+x9*x25+x9*x27+x9*x29+x9*x30+x10*x11+x10*x12+x10*x13+x10*x17+x10*x21+x10*x23+x10*x24+x10*x26+x10*x27+x10*x28+x11*x12+x11*x14+x11*x15+x11*x17+x11*x21+x11*x22+x11*x23+x11*x25+x11*x26+x11*x28+x12*x14+x12*x18+x12*x20+x12*x21+x12*x22+x12*x23+x12*x27+x12*x28+x12*x29+x13*x15+x13*x16+x13*x17+x13*x20+x13*x23+x13*x25+x13*x27+x13*x28+x13*x30+x14*x15+x14*x16+x14*x17+x14*x18+x14*x20+x14*x22+x14*x24+x14*x30+x15*x17+x15*x19+x15*x21+x15*x22+x15*x23+x15*x24+x15*x25+x15*x26+x15*x27+x15*x28+x16*x19+x16*x20+x16*x21+x16*x24+x16*x26+x16*x27+x16*x29+x17*x18+x17*x21+x17*x23+x17*x25+x17*x30+x18*x20+x18*x21+x18*x25+x18*x26+x18*x29+x19*x21+x19*x24+x19*x25+x19*x26+x19*x28+x19*x30+x20*x22+x20*x24+x20*x27+x20*x28+x20*x29+x20*x30+x21*x22+x21*x27+x22*x23+x22*x24+x22*x25+x22*x28+x23*x26+x23*x27+x24*x26+x24*x27+x24*x28+x24*x29+x24*x30+x25*x26+x25*x28+x25*x30+x26*x27+x27*x28, 1+x2+x4+x5+x6+x7+x8+x9+x13+x15+x16+x21+x23+x24+x25+x29+x30+x1*x2+x1*x3+x1*x4+x1*x6+x1*x9+x1*x10+x1*x11+x1*x12+x1*x16+x1*x18+x1*x21+x1*x22+x1*x24+x1*x25+x1*x26+x1*x29+x1*x30+x2*x3+x2*x4+x2*x5+x2*x6+x2*x7+x2*x8+x2*x10+x2*x11+x2*x12+x2*x14+x2*x15+x2*x18+x2*x22+x3*x6+x3*x7+x3*x8+x3*x12+x3*x13+x3*x14+x3*x15+x3*x18+x3*x21+x3*x22+x3*x23+x3*x24+x3*x25+x4*x8+x4*x9+x4*x10+x4*x11+x4*x12+x4*x14+x4*x16+x4*x18+x4*x19+x4*x24+x4*x25+x4*x30+x5*x8+x5*x10+x5*x11+x5*x12+x5*x15+x5*x18+x5*x20+x5*x22+x5*x23+x5*x25+x5*x26+x5*x27+x5*x28+x6*x9+x6*x10+x6*x11+x6*x12+x6*x14+x6*x15+x6*x17+x6*x19+x6*x20+x6*x23+x6*x24+x6*x25+x7*x8+x7*x9+x7*x10+x7*x17+x7*x19+x7*x21+x7*x25+x7*x27+x7*x30+x8*x9+x8*x15+x8*x16+x8*x17+x8*x19+x8*x27+x8*x28+x8*x30+x9*x12+x9*x14+x9*x15+x9*x17+x9*x18+x9*x19+x9*x24+x9*x26+x9*x27+x9*x28+x10*x11+x10*x12+x10*x13+x10*x15+x10*x16+x10*x18+x10*x19+x10*x21+x10*x22+x10*x25+x10*x27+x10*x28+x11*x13+x11*x14+x11*x15+x11*x16+x11*x17+x11*x18+x11*x19+x11*x20+x11*x25+x11*x26+x11*x27+x11*x30+x12*x13+x12*x23+x12*x24+x12*x25+x12*x29+x13*x17+x13*x19+x13*x24+x13*x25+x13*x26+x13*x27+x13*x29+x13*x30+x14*x18+x14*x19+x14*x21+x14*x24+x14*x27+x14*x29+x14*x30+x15*x16+x15*x18+x15*x20+x15*x21+x15*x24+x15*x25+x15*x26+x15*x28+x16*x17+x16*x18+x16*x22+x16*x24+x16*x25+x16*x27+x16*x28+x16*x29+x17*x19+x17*x21+x17*x24+x17*x27+x17*x28+x18*x20+x18*x26+x18*x28+x18*x30+x19*x22+x19*x23+x19*x26+x19*x30+x20*x22+x20*x23+x20*x24+x20*x25+x20*x27+x21*x22+x21*x30+x22*x24+x22*x26+x22*x28+x23*x24+x23*x29+x23*x30+x24*x26+x24*x27+x24*x29+x25*x26+x25*x27+x26*x27+x26*x28+x26*x30+x27*x28+x27*x30, 1+x1+x4+x5+x6+x8+x9+x11+x12+x16+x20+x23+x24+x28+x29+x30+x1*x4+x1*x6+x1*x7+x1*x13+x1*x15+x1*x16+x1*x17+x1*x19+x1*x23+x1*x26+x1*x27+x1*x28+x1*x29+x1*x30+x2*x3+x2*x4+x2*x9+x2*x10+x2*x11+x2*x13+x2*x14+x2*x18+x2*x28+x2*x30+x3*x5+x3*x13+x3*x14+x3*x17+x3*x19+x3*x20+x3*x21+x3*x22+x3*x28+x3*x30+x4*x7+x4*x9+x4*x12+x4*x16+x4*x19+x4*x20+x4*x22+x4*x23+x4*x24+x4*x28+x4*x29+x4*x30+x5*x6+x5*x7+x5*x10+x5*x13+x5*x14+x5*x16+x5*x18+x5*x20+x5*x22+x5*x24+x5*x28+x5*x29+x5*x30+x6*x7+x6*x8+x6*x11+x6*x15+x6*x16+x6*x17+x6*x18+x6*x19+x6*x22+x6*x23+x6*x24+x6*x28+x6*x29+x7*x9+x7*x11+x7*x13+x7*x14+x7*x20+x7*x21+x7*x24+x7*x26+x7*x28+x7*x29+x7*x30+x8*x9+x8*x10+x8*x11+x8*x12+x8*x13+x8*x17+x8*x18+x8*x21+x8*x22+x8*x24+x8*x30+x9*x10+x9*x16+x9*x17+x9*x19+x9*x23+x9*x25+x9*x28+x9*x29+x9*x30+x10*x11+x10*x14+x10*x17+x10*x19+x10*x20+x10*x21+x10*x23+x10*x24+x10*x27+x10*x30+x11*x14+x11*x17+x11*x18+x11*x20+x11*x26+x11*x28+x11*x29+x11*x30+x12*x15+x12*x18+x12*x19+x12*x21+x12*x22+x12*x24+x12*x26+x12*x29+x13*x14+x13*x15+x13*x16+x13*x19+x13*x20+x13*x23+x13*x25+x13*x29+x14*x15+x14*x16+x14*x19+x14*x20+x14*x22+x14*x23+x14*x24+x14*x25+x14*x28+x14*x29+x15*x17+x15*x19+x15*x20+x15*x23+x15*x26+x15*x27+x15*x28+x15*x30+x16*x17+x16*x18+x16*x19+x16*x21+x16*x22+x16*x27+x17*x20+x17*x21+x17*x23+x17*x26+x17*x28+x17*x30+x18*x22+x18*x25+x18*x26+x18*x27+x18*x28+x18*x29+x18*x30+x19*x22+x19*x25+x19*x26+x19*x28+x19*x29+x19*x30+x20*x21+x20*x23+x20*x24+x20*x27+x20*x28+x20*x29+x20*x30+x21*x22+x21*x28+x21*x30+x22*x24+x22*x28+x22*x30+x23*x24+x23*x25+x23*x29+x24*x26+x25*x26+x25*x27+x25*x28+x25*x29+x26*x27+x26*x29+x27*x28, x2+x4+x6+x8+x12+x14+x15+x16+x17+x20+x21+x23+x25+x28+x30+x1*x2+x1*x3+x1*x4+x1*x5+x1*x8+x1*x10+x1*x11+x1*x17+x1*x19+x1*x21+x1*x22+x1*x23+x1*x24+x1*x27+x1*x28+x1*x29+x1*x30+x2*x6+x2*x7+x2*x8+x2*x11+x2*x12+x2*x13+x2*x14+x2*x16+x2*x22+x2*x23+x2*x24+x2*x25+x2*x30+x3*x4+x3*x5+x3*x6+x3*x7+x3*x8+x3*x9+x3*x10+x3*x12+x3*x13+x3*x14+x3*x15+x3*x16+x3*x17+x3*x18+x3*x19+x3*x20+x3*x21+x3*x22+x3*x24+x3*x26+x3*x28+x3*x29+x3*x30+x4*x6+x4*x9+x4*x10+x4*x11+x4*x20+x4*x23+x4*x24+x4*x26+x4*x27+x4*x29+x4*x30+x5*x9+x5*x10+x5*x11+x5*x12+x5*x15+x5*x17+x5*x19+x5*x20+x5*x21+x5*x22+x5*x24+x5*x27+x5*x28+x5*x30+x6*x8+x6*x9+x6*x12+x6*x13+x6*x15+x6*x17+x6*x18+x6*x19+x6*x21+x6*x22+x6*x26+x6*x29+x7*x11+x7*x16+x7*x17+x7*x19+x7*x20+x7*x22+x7*x23+x7*x25+x7*x27+x7*x28+x7*x29+x8*x9+x8*x10+x8*x12+x8*x15+x8*x16+x8*x21+x8*x23+x8*x24+x8*x28+x8*x30+x9*x10+x9*x11+x9*x12+x9*x13+x9*x16+x9*x19+x9*x22+x9*x23+x9*x24+x9*x27+x9*x28+x9*x30+x10*x11+x10*x12+x10*x13+x10*x14+x10*x17+x10*x20+x10*x25+x10*x28+x11*x13+x11*x14+x11*x15+x11*x17+x11*x20+x11*x22+x11*x23+x11*x24+x11*x25+x11*x26+x11*x27+x11*x29+x12*x13+x12*x14+x12*x15+x12*x16+x12*x18+x12*x28+x12*x29+x13*x14+x13*x15+x13*x16+x13*x17+x13*x18+x13*x19+x13*x22+x13*x24+x13*x29+x14*x15+x14*x16+x14*x17+x14*x18+x14*x19+x14*x20+x14*x24+x14*x25+x14*x29+x14*x30+x15*x16+x15*x17+x15*x19+x15*x20+x15*x21+x15*x22+x15*x24+x15*x30+x16*x18+x16*x19+x16*x20+x16*x22+x16*x24+x16*x26+x16*x27+x16*x28+x16*x29+x17*x21+x17*x23+x17*x25+x17*x27+x17*x28+x18*x22+x18*x25+x18*x26+x18*x28+x18*x29+x18*x30+x19*x20+x19*x23+x19*x25+x19*x27+x19*x28+x20*x21+x20*x22+x20*x23+x20*x24+x20*x25+x20*x26+x21*x22+x21*x25+x21*x26+x21*x27+x21*x28+x21*x30+x22*x24+x22*x25+x22*x26+x22*x27+x22*x28+x22*x29+x22*x30+x23*x24+x23*x28+x24*x25+x24*x26+x24*x27+x24*x29+x24*x30+x25*x29+x26*x27+x26*x28+x27*x28+x27*x30+x28*x30+x29*x30, 1+x1+x3+x5+x6+x7+x10+x11+x20+x21+x22+x24+x25+x26+x27+x28+x1*x2+x1*x4+x1*x7+x1*x9+x1*x10+x1*x11+x1*x12+x1*x13+x1*x14+x1*x15+x1*x21+x1*x22+x1*x24+x1*x27+x1*x28+x2*x3+x2*x5+x2*x7+x2*x8+x2*x11+x2*x12+x2*x14+x2*x17+x2*x18+x2*x20+x2*x24+x2*x26+x2*x27+x2*x28+x2*x30+x3*x4+x3*x7+x3*x8+x3*x9+x3*x11+x3*x12+x3*x19+x3*x21+x3*x23+x3*x29+x4*x5+x4*x6+x4*x8+x4*x9+x4*x10+x4*x11+x4*x12+x4*x15+x4*x17+x4*x19+x4*x23+x4*x24+x4*x25+x4*x26+x4*x27+x4*x28+x4*x29+x5*x8+x5*x10+x5*x11+x5*x12+x5*x13+x5*x14+x5*x15+x5*x20+x5*x24+x5*x25+x5*x28+x5*x29+x5*x30+x6*x7+x6*x9+x6*x14+x6*x15+x6*x16+x6*x18+x6*x19+x6*x20+x6*x22+x6*x23+x6*x25+x6*x27+x6*x28+x6*x30+x7*x8+x7*x11+x7*x14+x7*x15+x7*x21+x7*x23+x7*x24+x7*x25+x7*x27+x7*x28+x7*x29+x7*x30+x8*x9+x8*x11+x8*x17+x8*x18+x8*x19+x8*x22+x8*x23+x8*x25+x8*x27+x9*x10+x9*x11+x9*x13+x9*x16+x9*x19+x9*x24+x9*x25+x9*x26+x9*x27+x9*x29+x10*x12+x10*x13+x10*x14+x10*x16+x10*x18+x10*x20+x10*x21+x10*x22+x10*x23+x10*x24+x10*x26+x10*x28+x10*x29+x10*x30+x11*x13+x11*x14+x11*x15+x11*x16+x11*x17+x11*x19+x11*x22+x11*x26+x11*x28+x11*x29+x11*x30+x12*x15+x12*x18+x12*x19+x12*x21+x12*x27+x12*x28+x12*x29+x13*x15+x13*x16+x13*x17+x13*x18+x13*x21+x13*x22+x13*x23+x13*x24+x13*x25+x13*x26+x13*x27+x13*x28+x13*x30+x14*x16+x14*x18+x14*x19+x14*x23+x14*x24+x14*x27+x14*x30+x15*x16+x15*x17+x15*x18+x15*x19+x15*x20+x15*x21+x15*x22+x15*x26+x15*x28+x15*x29+x15*x30+x16*x17+x16*x19+x16*x21+x16*x23+x16*x26+x16*x27+x16*x29+x17*x18+x17*x20+x17*x22+x17*x27+x18*x19+x18*x20+x18*x21+x18*x25+x18*x27+x18*x28+x19*x20+x19*x21+x19*x24+x19*x25+x19*x26+x19*x27+x19*x29+x20*x21+x20*x23+x20*x25+x20*x26+x20*x28+x20*x29+x20*x30+x21*x24+x21*x26+x21*x28+x21*x29+x22*x24+x22*x28+x22*x29+x22*x30+x23*x24+x23*x25+x23*x26+x23*x28+x23*x29+x23*x30+x24*x27+x24*x28+x24*x29+x25*x29+x25*x30+x26*x27+x26*x28+x26*x30+x27*x28+x27*x29+x27*x30+x28*x29+x28*x30, x3+x4+x6+x7+x9+x11+x13+x14+x15+x18+x19+x23+x26+x27+x28+x29+x30+x1*x2+x1*x4+x1*x8+x1*x10+x1*x11+x1*x13+x1*x15+x1*x19+x1*x20+x1*x24+x1*x25+x2*x3+x2*x4+x2*x6+x2*x9+x2*x11+x2*x12+x2*x13+x2*x14+x2*x17+x2*x18+x2*x19+x2*x20+x2*x25+x2*x28+x2*x29+x2*x30+x3*x5+x3*x8+x3*x9+x3*x11+x3*x12+x3*x13+x3*x14+x3*x16+x3*x17+x3*x20+x3*x21+x3*x22+x3*x23+x3*x24+x4*x7+x4*x8+x4*x9+x4*x11+x4*x15+x4*x16+x4*x18+x4*x22+x4*x25+x4*x27+x4*x28+x4*x29+x5*x9+x5*x11+x5*x12+x5*x14+x5*x16+x5*x18+x5*x19+x5*x20+x5*x21+x5*x25+x5*x27+x5*x28+x5*x29+x5*x30+x6*x11+x6*x12+x6*x15+x6*x16+x6*x18+x6*x21+x6*x27+x6*x28+x6*x29+x6*x30+x7*x8+x7*x9+x7*x11+x7*x12+x7*x13+x7*x15+x7*x16+x7*x18+x7*x20+x7*x27+x7*x28+x7*x29+x8*x9+x8*x10+x8*x14+x8*x17+x8*x20+x8*x22+x8*x23+x8*x25+x8*x28+x8*x29+x8*x30+x9*x14+x9*x15+x9*x19+x9*x20+x9*x21+x9*x23+x9*x24+x9*x25+x9*x26+x9*x27+x9*x28+x9*x29+x10*x11+x10*x13+x10*x14+x10*x17+x10*x20+x10*x23+x10*x24+x10*x27+x10*x28+x11*x12+x11*x13+x11*x14+x11*x16+x11*x17+x11*x19+x11*x20+x11*x21+x11*x22+x11*x23+x11*x25+x11*x26+x11*x28+x11*x30+x12*x13+x12*x19+x12*x26+x12*x27+x12*x28+x12*x29+x13*x14+x13*x16+x13*x18+x13*x20+x13*x21+x13*x22+x13*x26+x13*x27+x13*x28+x14*x19+x14*x21+x14*x23+x14*x24+x14*x25+x14*x27+x14*x28+x14*x29+x15*x20+x15*x21+x15*x22+x15*x23+x15*x25+x15*x27+x15*x28+x16*x20+x16*x25+x16*x26+x16*x29+x17*x20+x17*x21+x17*x22+x17*x27+x17*x30+x18*x20+x18*x24+x18*x25+x18*x26+x18*x29+x18*x30+x19*x22+x19*x25+x19*x26+x19*x27+x19*x28+x20*x26+x20*x29+x21*x22+x21*x23+x21*x28+x21*x30+x22*x24+x22*x27+x22*x28+x23*x25+x23*x26+x23*x29+x23*x30+x24*x25+x24*x26+x24*x27+x24*x28+x24*x30+x25*x26+x25*x27+x25*x28+x25*x30+x26*x27+x26*x28+x26*x30+x27*x29+x28*x30, 1+x3+x5+x6+x11+x12+x13+x15+x16+x17+x21+x22+x23+x25+x27+x29+x30+x1*x3+x1*x5+x1*x10+x1*x11+x1*x12+x1*x13+x1*x14+x1*x15+x1*x17+x1*x19+x1*x20+x1*x21+x1*x22+x1*x25+x1*x28+x2*x6+x2*x12+x2*x14+x2*x17+x2*x18+x2*x20+x2*x23+x2*x25+x2*x26+x2*x27+x2*x28+x2*x29+x2*x30+x3*x4+x3*x6+x3*x8+x3*x9+x3*x10+x3*x11+x3*x13+x3*x16+x3*x19+x3*x20+x3*x21+x3*x22+x3*x23+x3*x28+x3*x29+x3*x30+x4*x6+x4*x7+x4*x8+x4*x9+x4*x13+x4*x15+x4*x20+x4*x25+x4*x26+x4*x29+x4*x30+x5*x7+x5*x8+x5*x11+x5*x12+x5*x14+x5*x16+x5*x18+x5*x19+x5*x23+x5*x24+x5*x25+x5*x28+x5*x29+x5*x30+x6*x7+x6*x8+x6*x15+x6*x16+x6*x20+x6*x22+x6*x24+x6*x25+x6*x26+x6*x28+x6*x29+x7*x8+x7*x12+x7*x13+x7*x14+x7*x15+x7*x16+x7*x17+x7*x19+x7*x20+x7*x21+x7*x22+x7*x24+x7*x25+x7*x29+x8*x9+x8*x11+x8*x12+x8*x17+x8*x18+x8*x21+x8*x22+x8*x25+x8*x26+x8*x27+x8*x28+x8*x29+x9*x10+x9*x12+x9*x13+x9*x17+x9*x19+x9*x20+x9*x22+x9*x24+x9*x26+x9*x28+x9*x30+x10*x13+x10*x14+x10*x16+x10*x18+x10*x19+x10*x20+x10*x22+x10*x24+x10*x25+x10*x29+x10*x30+x11*x12+x11*x14+x11*x15+x11*x18+x11*x20+x11*x27+x11*x28+x11*x29+x11*x30+x12*x14+x12*x15+x12*x17+x12*x18+x12*x20+x12*x22+x12*x25+x12*x28+x12*x29+x12*x30+x13*x14+x13*x15+x13*x17+x13*x18+x13*x21+x13*x22+x13*x23+x13*x25+x13*x26+x13*x27+x13*x28+x13*x29+x14*x15+x14*x20+x14*x21+x14*x26+x14*x28+x14*x30+x15*x17+x15*x18+x15*x19+x15*x20+x15*x26+x15*x27+x15*x28+x15*x30+x16*x22+x16*x23+x16*x25+x16*x26+x16*x28+x16*x29+x16*x30+x17*x18+x17*x20+x17*x23+x17*x25+x17*x27+x17*x28+x18*x20+x18*x22+x18*x26+x18*x28+x18*x30+x19*x22+x19*x23+x19*x24+x19*x29+x20*x21+x20*x23+x20*x24+x20*x25+x20*x27+x20*x28+x20*x29+x20*x30+x21*x24+x21*x25+x21*x29+x22*x24+x22*x25+x22*x26+x22*x27+x22*x28+x23*x25+x23*x26+x23*x27+x24*x26+x24*x27+x24*x28+x24*x30+x25*x26+x25*x28+x25*x30+x26*x27+x26*x29+x26*x30, x1+x2+x4+x5+x6+x9+x10+x11+x12+x13+x14+x20+x24+x25+x26+x27+x1*x3+x1*x4+x1*x5+x1*x7+x1*x8+x1*x10+x1*x15+x1*x20+x1*x21+x1*x22+x1*x25+x1*x26+x1*x27+x1*x28+x1*x30+x2*x3+x2*x4+x2*x5+x2*x6+x2*x8+x2*x9+x2*x12+x2*x16+x2*x18+x2*x19+x2*x20+x2*x21+x2*x22+x2*x24+x2*x25+x2*x26+x2*x27+x2*x30+x3*x5+x3*x7+x3*x8+x3*x9+x3*x12+x3*x15+x3*x16+x3*x18+x3*x20+x3*x25+x3*x27+x3*x28+x3*x29+x4*x8+x4*x9+x4*x11+x4*x12+x4*x13+x4*x14+x4*x15+x4*x17+x4*x19+x4*x20+x4*x23+x4*x25+x4*x28+x4*x29+x5*x7+x5*x8+x5*x11+x5*x12+x5*x13+x5*x14+x5*x15+x5*x16+x5*x17+x5*x20+x5*x21+x5*x24+x5*x26+x5*x27+x5*x28+x5*x29+x5*x30+x6*x9+x6*x10+x6*x12+x6*x13+x6*x19+x6*x20+x6*x21+x6*x22+x6*x24+x6*x26+x6*x27+x7*x8+x7*x10+x7*x11+x7*x14+x7*x15+x7*x16+x7*x17+x7*x20+x7*x21+x7*x26+x7*x28+x7*x29+x8*x11+x8*x14+x8*x16+x8*x17+x8*x19+x8*x20+x8*x22+x8*x24+x8*x25+x8*x27+x8*x28+x8*x29+x8*x30+x9*x10+x9*x11+x9*x12+x9*x13+x9*x14+x9*x15+x9*x17+x9*x19+x9*x20+x9*x23+x9*x25+x9*x26+x9*x27+x9*x28+x9*x29+x9*x30+x10*x11+x10*x12+x10*x15+x10*x17+x10*x18+x10*x21+x10*x22+x10*x23+x10*x24+x10*x25+x10*x30+x11*x15+x11*x16+x11*x18+x11*x20+x11*x21+x11*x22+x11*x23+x11*x25+x11*x27+x11*x28+x11*x30+x12*x14+x12*x15+x12*x16+x12*x18+x12*x20+x12*x22+x12*x24+x12*x25+x12*x27+x13*x14+x13*x16+x13*x18+x13*x24+x13*x25+x13*x26+x13*x27+x13*x28+x13*x29+x14*x15+x14*x16+x14*x18+x14*x23+x14*x24+x14*x25+x15*x16+x15*x18+x15*x21+x15*x23+x15*x28+x15*x30+x16*x18+x16*x19+x16*x20+x16*x21+x16*x22+x16*x27+x16*x29+x17*x19+x17*x23+x17*x25+x18*x19+x18*x26+x19*x20+x19*x21+x19*x23+x19*x26+x19*x28+x19*x29+x20*x21+x20*x24+x21*x22+x21*x24+x21*x25+x21*x26+x21*x27+x21*x28+x21*x29+x22*x23+x22*x26+x22*x27+x22*x29+x22*x30+x23*x27+x23*x28+x23*x30+x24*x26+x24*x28+x24*x30+x25*x27+x25*x28+x25*x30+x26*x27+x26*x29+x27*x28+x28*x29+x29*x30, 1+x2+x3+x6+x7+x8+x9+x12+x14+x15+x17+x19+x20+x24+x27+x29+x1*x4+x1*x6+x1*x10+x1*x12+x1*x15+x1*x16+x1*x18+x1*x22+x1*x27+x1*x29+x2*x3+x2*x6+x2*x7+x2*x10+x2*x11+x2*x13+x2*x15+x2*x20+x2*x26+x2*x28+x2*x30+x3*x8+x3*x11+x3*x16+x3*x18+x3*x19+x3*x23+x3*x25+x3*x26+x3*x30+x4*x5+x4*x7+x4*x10+x4*x12+x4*x13+x4*x14+x4*x17+x4*x18+x4*x23+x4*x24+x4*x25+x4*x26+x4*x27+x4*x28+x4*x29+x5*x7+x5*x9+x5*x10+x5*x11+x5*x12+x5*x14+x5*x16+x5*x18+x5*x19+x5*x20+x5*x24+x5*x28+x5*x30+x6*x8+x6*x9+x6*x10+x6*x11+x6*x12+x6*x13+x6*x14+x6*x15+x6*x16+x6*x19+x6*x20+x6*x21+x6*x23+x6*x26+x6*x30+x7*x10+x7*x12+x7*x16+x7*x18+x7*x20+x7*x25+x7*x26+x7*x27+x7*x29+x8*x9+x8*x10+x8*x11+x8*x12+x8*x16+x8*x19+x8*x21+x8*x22+x8*x23+x8*x24+x8*x25+x8*x27+x8*x28+x8*x29+x9*x10+x9*x12+x9*x13+x9*x17+x9*x19+x9*x22+x9*x24+x9*x26+x9*x28+x9*x29+x10*x12+x10*x15+x10*x17+x10*x18+x10*x19+x10*x21+x10*x23+x10*x24+x10*x25+x10*x26+x10*x28+x10*x29+x11*x12+x11*x13+x11*x15+x11*x17+x11*x18+x11*x20+x11*x21+x11*x22+x11*x23+x11*x25+x11*x27+x11*x29+x12*x15+x12*x17+x12*x18+x12*x20+x12*x21+x12*x24+x12*x30+x13*x16+x13*x18+x13*x20+x13*x23+x13*x30+x14*x16+x14*x18+x14*x19+x14*x26+x14*x27+x14*x28+x14*x30+x15*x17+x15*x19+x15*x22+x15*x24+x15*x25+x15*x28+x16*x17+x16*x19+x16*x23+x16*x24+x16*x25+x16*x27+x16*x29+x17*x18+x17*x20+x17*x22+x17*x23+x17*x26+x17*x27+x17*x28+x17*x30+x18*x19+x18*x20+x18*x22+x18*x23+x18*x24+x18*x27+x18*x28+x18*x30+x19*x20+x19*x22+x19*x23+x19*x25+x19*x26+x19*x29+x19*x30+x20*x21+x20*x23+x20*x26+x20*x27+x20*x30+x21*x24+x21*x25+x21*x27+x21*x28+x21*x30+x22*x23+x22*x27+x22*x28+x22*x29+x23*x24+x23*x25+x23*x26+x23*x27+x23*x29+x23*x30+x24*x25+x24*x27+x24*x29+x24*x30+x25*x26+x25*x27+x25*x29+x26*x27+x26*x28+x26*x29+x27*x30+x28*x30, 1+x1+x3+x4+x6+x9+x10+x11+x15+x16+x20+x21+x22+x25+x28+x29+x1*x2+x1*x6+x1*x7+x1*x8+x1*x11+x1*x12+x1*x15+x1*x20+x1*x22+x1*x23+x1*x26+x1*x27+x1*x28+x1*x29+x1*x30+x2*x3+x2*x4+x2*x6+x2*x9+x2*x11+x2*x12+x2*x14+x2*x20+x2*x21+x2*x22+x2*x24+x2*x25+x2*x26+x2*x29+x3*x4+x3*x5+x3*x7+x3*x11+x3*x14+x3*x16+x3*x18+x3*x20+x3*x23+x3*x25+x3*x28+x3*x30+x4*x5+x4*x7+x4*x8+x4*x9+x4*x16+x4*x17+x4*x19+x4*x20+x4*x21+x4*x23+x4*x28+x4*x29+x4*x30+x5*x6+x5*x7+x5*x8+x5*x10+x5*x11+x5*x12+x5*x14+x5*x16+x5*x17+x5*x18+x5*x19+x5*x23+x5*x29+x6*x8+x6*x10+x6*x15+x6*x18+x6*x19+x6*x21+x6*x24+x6*x26+x6*x27+x6*x29+x6*x30+x7*x10+x7*x11+x7*x13+x7*x14+x7*x15+x7*x17+x7*x20+x7*x21+x7*x25+x7*x27+x7*x28+x8*x11+x8*x12+x8*x13+x8*x15+x8*x24+x8*x26+x8*x29+x8*x30+x9*x11+x9*x13+x9*x16+x9*x17+x9*x18+x9*x20+x9*x24+x9*x26+x9*x27+x9*x28+x10*x12+x10*x15+x10*x17+x10*x20+x10*x21+x10*x22+x10*x23+x10*x25+x10*x28+x11*x12+x11*x13+x11*x14+x11*x22+x11*x25+x11*x26+x11*x27+x11*x28+x11*x29+x11*x30+x12*x13+x12*x15+x12*x17+x12*x20+x12*x21+x12*x22+x12*x23+x12*x25+x12*x27+x12*x28+x12*x29+x12*x30+x13*x14+x13*x15+x13*x17+x13*x20+x13*x22+x13*x24+x13*x25+x13*x26+x13*x27+x13*x28+x13*x29+x14*x16+x14*x18+x14*x19+x14*x20+x14*x21+x14*x22+x14*x24+x14*x26+x15*x17+x15*x19+x15*x21+x15*x22+x15*x26+x15*x29+x15*x30+x16*x20+x16*x22+x16*x23+x16*x24+x16*x26+x17*x19+x17*x20+x17*x21+x17*x23+x17*x24+x17*x26+x17*x29+x18*x22+x18*x23+x18*x26+x18*x27+x18*x28+x18*x30+x19*x20+x19*x21+x19*x22+x19*x23+x19*x24+x19*x26+x19*x28+x19*x29+x19*x30+x20*x21+x20*x26+x20*x28+x20*x29+x21*x22+x21*x24+x21*x29+x22*x23+x22*x26+x22*x29+x22*x30+x23*x27+x23*x28+x23*x29+x23*x30+x24*x26+x24*x27+x24*x28+x25*x27+x25*x29+x26*x30+x27*x28+x27*x29+x27*x30+x28*x30+x29*x30, 1+x2+x4+x7+x9+x10+x11+x12+x15+x18+x22+x23+x25+x26+x1*x4+x1*x5+x1*x9+x1*x10+x1*x11+x1*x14+x1*x15+x1*x17+x1*x19+x1*x22+x1*x23+x1*x25+x1*x26+x1*x27+x1*x29+x1*x30+x2*x3+x2*x4+x2*x9+x2*x10+x2*x12+x2*x14+x2*x15+x2*x19+x2*x20+x2*x21+x2*x22+x2*x23+x2*x24+x2*x27+x2*x30+x3*x6+x3*x7+x3*x8+x3*x9+x3*x10+x3*x11+x3*x13+x3*x15+x3*x16+x3*x17+x3*x23+x3*x26+x3*x27+x3*x29+x3*x30+x4*x5+x4*x6+x4*x7+x4*x8+x4*x10+x4*x11+x4*x15+x4*x16+x4*x17+x4*x19+x4*x20+x4*x24+x4*x26+x4*x27+x4*x28+x4*x29+x5*x8+x5*x10+x5*x11+x5*x12+x5*x14+x5*x16+x5*x17+x5*x18+x5*x23+x5*x24+x5*x25+x5*x26+x5*x28+x5*x29+x6*x7+x6*x12+x6*x13+x6*x15+x6*x18+x6*x20+x6*x21+x6*x22+x6*x24+x6*x25+x6*x27+x7*x8+x7*x12+x7*x16+x7*x17+x7*x21+x7*x23+x7*x24+x7*x25+x7*x26+x8*x10+x8*x15+x8*x18+x8*x22+x8*x23+x8*x25+x8*x30+x9*x11+x9*x12+x9*x14+x9*x17+x9*x18+x9*x20+x9*x22+x9*x23+x9*x24+x9*x25+x9*x26+x9*x27+x9*x29+x10*x13+x10*x19+x10*x21+x10*x25+x10*x26+x10*x27+x10*x28+x10*x30+x11*x12+x11*x14+x11*x18+x11*x22+x11*x26+x11*x27+x11*x28+x11*x29+x11*x30+x12*x14+x12*x18+x12*x19+x12*x20+x12*x22+x12*x23+x12*x24+x12*x29+x13*x14+x13*x16+x13*x18+x13*x19+x13*x23+x13*x24+x13*x25+x13*x30+x14*x15+x14*x17+x14*x19+x14*x21+x14*x22+x14*x23+x14*x28+x15*x17+x15*x18+x15*x19+x15*x20+x15*x24+x15*x26+x15*x29+x15*x30+x16*x21+x16*x22+x16*x23+x16*x27+x16*x28+x16*x30+x17*x19+x17*x20+x17*x23+x17*x24+x17*x25+x17*x26+x17*x29+x18*x23+x18*x24+x18*x26+x18*x29+x18*x30+x19*x20+x19*x23+x19*x24+x19*x29+x20*x24+x20*x25+x21*x22+x21*x24+x21*x26+x21*x28+x21*x29+x21*x30+x22*x23+x22*x24+x22*x25+x22*x29+x23*x24+x23*x25+x23*x26+x23*x27+x23*x29+x24*x26+x24*x27+x24*x29+x25*x26+x25*x30+x26*x27+x27*x28+x27*x29+x27*x30+x28*x29+x28*x30, 1+x6+x7+x9+x10+x12+x13+x14+x16+x17+x18+x23+x28+x1*x2+x1*x3+x1*x8+x1*x9+x1*x10+x1*x12+x1*x13+x1*x15+x1*x16+x1*x21+x1*x22+x1*x23+x1*x25+x1*x26+x1*x28+x1*x29+x1*x30+x2*x3+x2*x5+x2*x7+x2*x9+x2*x11+x2*x12+x2*x14+x2*x15+x2*x16+x2*x17+x2*x20+x2*x23+x2*x25+x2*x26+x2*x28+x3*x5+x3*x6+x3*x7+x3*x9+x3*x10+x3*x11+x3*x12+x3*x15+x3*x16+x3*x17+x3*x18+x3*x19+x3*x22+x3*x23+x3*x25+x3*x28+x4*x5+x4*x7+x4*x8+x4*x9+x4*x14+x4*x15+x4*x17+x4*x22+x4*x23+x4*x27+x4*x28+x5*x6+x5*x7+x5*x8+x5*x9+x5*x12+x5*x13+x5*x14+x5*x18+x5*x19+x5*x20+x5*x21+x5*x22+x5*x23+x5*x28+x6*x7+x6*x11+x6*x12+x6*x14+x6*x15+x6*x17+x6*x19+x6*x21+x6*x22+x6*x23+x6*x24+x6*x25+x6*x27+x6*x28+x6*x29+x6*x30+x7*x9+x7*x11+x7*x12+x7*x13+x7*x15+x7*x17+x7*x18+x7*x20+x7*x21+x7*x22+x7*x23+x7*x27+x7*x28+x8*x9+x8*x11+x8*x12+x8*x16+x8*x17+x8*x21+x8*x22+x8*x23+x8*x24+x8*x25+x8*x26+x8*x29+x9*x10+x9*x11+x9*x13+x9*x16+x9*x21+x9*x22+x9*x23+x9*x26+x9*x30+x10*x12+x10*x15+x10*x17+x10*x20+x10*x25+x10*x27+x10*x29+x11*x12+x11*x16+x11*x18+x11*x22+x11*x24+x11*x25+x11*x27+x11*x28+x12*x15+x12*x16+x12*x21+x12*x22+x12*x25+x12*x26+x12*x28+x13*x14+x13*x15+x13*x16+x13*x17+x13*x25+x13*x26+x13*x27+x13*x30+x14*x22+x14*x23+x14*x24+x14*x27+x14*x28+x14*x30+x15*x16+x15*x18+x15*x20+x15*x21+x15*x22+x15*x24+x15*x25+x15*x27+x15*x28+x16*x17+x16*x18+x16*x19+x16*x20+x16*x21+x16*x23+x16*x24+x16*x26+x16*x30+x17*x18+x17*x20+x17*x21+x17*x23+x17*x25+x17*x26+x17*x28+x17*x30+x18*x19+x18*x20+x18*x24+x18*x25+x18*x27+x18*x28+x18*x29+x19*x20+x19*x21+x19*x23+x19*x24+x19*x26+x19*x27+x19*x28+x20*x22+x20*x23+x20*x24+x20*x28+x20*x30+x21*x23+x21*x28+x21*x30+x22*x23+x22*x24+x22*x25+x22*x27+x22*x28+x23*x24+x23*x26+x23*x28+x24*x25+x24*x26+x24*x30+x25*x27+x25*x29+x25*x30+x26*x28+x27*x30+x28*x29+x28*x30+x29*x30, 1+x2+x6+x8+x9+x14+x22+x23+x25+x28+x29+x1*x2+x1*x3+x1*x4+x1*x5+x1*x6+x1*x8+x1*x9+x1*x11+x1*x12+x1*x15+x1*x18+x1*x19+x1*x26+x1*x30+x2*x4+x2*x9+x2*x10+x2*x14+x2*x17+x2*x18+x2*x19+x2*x22+x2*x24+x2*x25+x2*x26+x2*x27+x2*x28+x2*x29+x3*x5+x3*x6+x3*x7+x3*x9+x3*x13+x3*x15+x3*x16+x3*x17+x3*x19+x3*x20+x3*x21+x3*x22+x3*x23+x3*x27+x4*x5+x4*x6+x4*x16+x4*x18+x4*x19+x4*x20+x4*x21+x4*x23+x4*x26+x4*x27+x4*x29+x5*x6+x5*x7+x5*x9+x5*x10+x5*x17+x5*x18+x5*x22+x5*x27+x5*x29+x6*x7+x6*x9+x6*x13+x6*x14+x6*x18+x6*x20+x6*x27+x6*x28+x6*x30+x7*x11+x7*x13+x7*x14+x7*x15+x7*x21+x7*x22+x7*x23+x7*x24+x7*x26+x7*x27+x8*x9+x8*x10+x8*x11+x8*x12+x8*x13+x8*x15+x8*x16+x8*x19+x8*x21+x8*x26+x8*x27+x8*x29+x9*x10+x9*x11+x9*x12+x9*x15+x9*x16+x9*x17+x9*x24+x9*x26+x9*x27+x9*x28+x9*x29+x10*x11+x10*x12+x10*x15+x10*x20+x10*x21+x11*x12+x11*x14+x11*x15+x11*x17+x11*x24+x11*x26+x11*x27+x11*x28+x11*x29+x12*x14+x12*x18+x12*x19+x12*x20+x12*x24+x12*x25+x12*x26+x12*x27+x12*x28+x13*x18+x13*x20+x13*x22+x13*x23+x13*x26+x13*x27+x13*x29+x14*x17+x14*x18+x14*x23+x14*x25+x14*x26+x14*x28+x15*x16+x15*x17+x15*x21+x15*x23+x15*x24+x15*x26+x15*x28+x15*x30+x16*x19+x16*x20+x16*x21+x16*x25+x16*x26+x16*x30+x17*x23+x17*x25+x17*x26+x17*x27+x17*x28+x17*x29+x18*x19+x18*x25+x18*x27+x19*x20+x19*x21+x19*x22+x19*x25+x19*x26+x19*x28+x19*x29+x20*x22+x20*x23+x20*x25+x20*x30+x21*x25+x21*x26+x21*x27+x22*x24+x22*x25+x22*x27+x22*x28+x23*x28+x23*x29+x24*x28+x24*x29+x24*x30+x25*x28+x26*x29+x27*x29+x28*x30+x29*x30, x1+x5+x6+x9+x10+x13+x14+x15+x16+x17+x18+x19+x20+x28+x29+x30+x1*x2+x1*x3+x1*x5+x1*x7+x1*x9+x1*x10+x1*x15+x1*x16+x1*x18+x1*x20+x1*x24+x1*x25+x1*x27+x1*x28+x1*x29+x2*x3+x2*x7+x2*x8+x2*x10+x2*x11+x2*x12+x2*x14+x2*x15+x2*x17+x2*x18+x2*x21+x2*x22+x2*x24+x2*x26+x2*x27+x2*x28+x2*x29+x2*x30+x3*x4+x3*x7+x3*x9+x3*x11+x3*x15+x3*x16+x3*x17+x3*x19+x3*x21+x3*x22+x3*x23+x3*x25+x4*x5+x4*x7+x4*x8+x4*x9+x4*x10+x4*x11+x4*x18+x4*x19+x4*x20+x4*x23+x4*x24+x4*x26+x4*x28+x5*x9+x5*x11+x5*x13+x5*x14+x5*x16+x5*x19+x5*x20+x5*x23+x5*x24+x5*x25+x5*x26+x5*x28+x5*x29+x5*x30+x6*x8+x6*x10+x6*x11+x6*x12+x6*x13+x6*x16+x6*x17+x6*x20+x6*x22+x6*x23+x6*x27+x6*x28+x6*x30+x7*x12+x7*x14+x7*x15+x7*x17+x7*x19+x7*x22+x7*x23+x7*x25+x7*x26+x7*x28+x7*x30+x8*x9+x8*x10+x8*x11+x8*x12+x8*x13+x8*x17+x8*x20+x8*x22+x8*x27+x8*x28+x8*x29+x8*x30+x9*x11+x9*x16+x9*x18+x9*x19+x9*x23+x9*x25+x9*x26+x9*x28+x9*x30+x10*x11+x10*x12+x10*x13+x10*x14+x10*x15+x10*x18+x10*x23+x10*x26+x10*x27+x10*x29+x11*x13+x11*x15+x11*x16+x11*x18+x11*x19+x11*x25+x11*x27+x12*x13+x12*x15+x12*x17+x12*x18+x12*x20+x12*x21+x12*x25+x12*x27+x13*x14+x13*x15+x13*x20+x13*x21+x13*x22+x13*x25+x13*x26+x13*x29+x14*x15+x14*x17+x14*x19+x14*x20+x14*x21+x14*x22+x14*x27+x14*x29+x15*x17+x15*x20+x15*x21+x15*x23+x15*x24+x15*x25+x15*x28+x15*x29+x15*x30+x16*x18+x16*x20+x16*x22+x16*x23+x16*x24+x16*x26+x16*x27+x16*x28+x16*x29+x16*x30+x17*x21+x17*x24+x17*x25+x17*x26+x17*x27+x17*x28+x18*x19+x18*x20+x18*x21+x18*x22+x18*x23+x18*x24+x18*x27+x18*x30+x19*x20+x19*x22+x19*x24+x19*x25+x19*x26+x19*x28+x20*x21+x20*x26+x20*x27+x20*x28+x20*x30+x21*x25+x21*x27+x21*x28+x21*x30+x22*x26+x22*x28+x23*x24+x23*x27+x23*x28+x24*x25+x24*x26+x24*x30+x25*x27+x25*x30+x26*x27+x26*x28+x26*x29+x26*x30+x27*x28+x27*x29+x28*x30, x2+x3+x9+x10+x11+x15+x17+x18+x19+x21+x22+x24+x25+x28+x1*x7+x1*x10+x1*x13+x1*x16+x1*x17+x1*x20+x1*x21+x1*x23+x1*x24+x1*x25+x1*x28+x1*x29+x1*x30+x2*x4+x2*x5+x2*x6+x2*x7+x2*x9+x2*x10+x2*x11+x2*x12+x2*x13+x2*x14+x2*x17+x2*x18+x2*x21+x2*x22+x2*x26+x2*x27+x2*x28+x3*x5+x3*x6+x3*x8+x3*x9+x3*x12+x3*x13+x3*x15+x3*x16+x3*x17+x3*x18+x3*x20+x3*x21+x3*x22+x3*x23+x3*x25+x3*x26+x3*x28+x3*x29+x3*x30+x4*x7+x4*x11+x4*x14+x4*x17+x4*x19+x4*x20+x4*x21+x4*x25+x4*x26+x4*x28+x4*x29+x5*x6+x5*x7+x5*x9+x5*x12+x5*x13+x5*x14+x5*x17+x5*x18+x5*x19+x5*x21+x5*x22+x5*x23+x5*x24+x5*x26+x5*x27+x5*x29+x6*x11+x6*x12+x6*x15+x6*x17+x6*x18+x6*x20+x6*x24+x6*x26+x6*x27+x6*x30+x7*x8+x7*x10+x7*x12+x7*x15+x7*x16+x7*x17+x7*x20+x7*x21+x7*x23+x7*x24+x7*x25+x7*x28+x7*x30+x8*x10+x8*x14+x8*x15+x8*x18+x8*x24+x8*x26+x9*x11+x9*x12+x9*x13+x9*x14+x9*x16+x9*x19+x9*x21+x9*x22+x9*x24+x9*x26+x9*x29+x10*x11+x10*x12+x10*x13+x10*x17+x10*x20+x10*x23+x10*x24+x10*x25+x10*x26+x11*x12+x11*x14+x11*x15+x11*x17+x11*x18+x11*x19+x11*x21+x11*x23+x11*x24+x11*x26+x11*x27+x11*x30+x12*x14+x12*x15+x12*x17+x12*x20+x12*x21+x12*x22+x12*x25+x12*x28+x12*x29+x13*x17+x13*x18+x13*x21+x13*x24+x13*x27+x13*x28+x13*x29+x13*x30+x14*x17+x14*x20+x14*x24+x14*x25+x14*x26+x15*x20+x15*x21+x15*x22+x15*x25+x15*x27+x15*x29+x15*x30+x16*x18+x16*x19+x16*x20+x16*x26+x16*x27+x16*x29+x17*x20+x17*x26+x17*x27+x17*x29+x18*x20+x18*x25+x18*x26+x18*x27+x18*x30+x19*x20+x19*x24+x19*x25+x19*x29+x20*x25+x20*x27+x20*x28+x21*x23+x21*x24+x21*x29+x21*x30+x22*x24+x22*x27+x22*x29+x23*x24+x23*x25+x23*x29+x24*x25+x24*x26+x24*x29+x24*x30+x25*x26+x25*x27+x25*x28+x25*x29+x25*x30+x26*x28+x27*x28+x27*x30+x28*x29+x28*x30, 1+x1+x3+x7+x11+x12+x14+x15+x17+x21+x25+x27+x28+x30+x1*x3+x1*x7+x1*x12+x1*x16+x1*x18+x1*x19+x1*x20+x1*x22+x1*x24+x1*x25+x1*x26+x1*x27+x1*x30+x2*x3+x2*x6+x2*x7+x2*x8+x2*x9+x2*x10+x2*x11+x2*x13+x2*x14+x2*x16+x2*x19+x2*x20+x2*x22+x2*x25+x2*x26+x2*x27+x3*x6+x3*x9+x3*x12+x3*x14+x3*x19+x3*x22+x3*x24+x3*x25+x3*x27+x4*x7+x4*x10+x4*x13+x4*x16+x4*x18+x4*x20+x4*x23+x4*x26+x4*x27+x4*x28+x4*x30+x5*x8+x5*x10+x5*x13+x5*x14+x5*x18+x5*x19+x5*x20+x5*x22+x5*x26+x5*x28+x5*x29+x5*x30+x6*x11+x6*x12+x6*x13+x6*x15+x6*x17+x6*x19+x6*x21+x6*x23+x6*x25+x6*x27+x6*x30+x7*x8+x7*x9+x7*x10+x7*x14+x7*x15+x7*x16+x7*x20+x7*x21+x7*x22+x7*x25+x7*x28+x7*x29+x8*x11+x8*x12+x8*x13+x8*x14+x8*x15+x8*x16+x8*x18+x8*x19+x8*x20+x8*x23+x8*x25+x8*x29+x9*x10+x9*x14+x9*x15+x9*x17+x9*x18+x9*x19+x9*x21+x9*x22+x9*x23+x9*x24+x9*x25+x9*x27+x9*x28+x9*x30+x10*x13+x10*x15+x10*x17+x10*x18+x10*x19+x10*x20+x10*x21+x10*x23+x10*x25+x10*x28+x10*x29+x10*x30+x11*x13+x11*x14+x11*x19+x11*x20+x11*x22+x11*x25+x12*x15+x12*x17+x12*x18+x12*x19+x12*x22+x12*x24+x12*x29+x13*x14+x13*x15+x13*x18+x13*x19+x13*x20+x13*x23+x13*x24+x13*x26+x13*x27+x13*x28+x13*x29+x14*x16+x14*x17+x14*x19+x14*x22+x14*x23+x14*x29+x15*x16+x15*x17+x15*x19+x15*x20+x15*x21+x15*x22+x15*x23+x15*x26+x15*x27+x15*x28+x15*x30+x16*x19+x16*x23+x16*x24+x16*x25+x16*x27+x16*x29+x17*x19+x17*x20+x17*x21+x17*x22+x17*x23+x17*x24+x17*x25+x17*x27+x17*x30+x18*x19+x18*x21+x18*x24+x18*x25+x18*x27+x19*x23+x19*x25+x19*x26+x19*x29+x20*x21+x20*x26+x20*x30+x21*x23+x21*x24+x21*x25+x21*x26+x21*x27+x21*x28+x22*x23+x22*x24+x23*x25+x24*x25+x24*x29+x24*x30+x25*x27+x25*x30+x26*x27+x26*x29+x27*x28+x27*x30+x28*x29+x28*x30, x1+x2+x3+x4+x5+x6+x8+x10+x11+x12+x13+x14+x15+x20+x22+x24+x25+x29+x1*x3+x1*x4+x1*x7+x1*x8+x1*x11+x1*x12+x1*x13+x1*x14+x1*x16+x1*x17+x1*x18+x1*x20+x1*x24+x1*x25+x1*x26+x1*x27+x1*x28+x1*x29+x1*x30+x2*x4+x2*x8+x2*x9+x2*x11+x2*x13+x2*x18+x2*x20+x2*x23+x2*x25+x2*x27+x2*x28+x3*x7+x3*x8+x3*x12+x3*x14+x3*x15+x3*x16+x3*x17+x3*x18+x3*x19+x3*x21+x3*x22+x3*x23+x3*x25+x3*x26+x3*x27+x3*x28+x3*x29+x3*x30+x4*x7+x4*x10+x4*x11+x4*x14+x4*x15+x4*x16+x4*x18+x4*x20+x4*x21+x4*x22+x4*x25+x4*x28+x5*x6+x5*x7+x5*x8+x5*x10+x5*x11+x5*x19+x5*x20+x5*x21+x5*x22+x5*x25+x5*x26+x5*x27+x5*x28+x5*x29+x6*x8+x6*x9+x6*x11+x6*x12+x6*x14+x6*x15+x6*x17+x6*x18+x6*x28+x7*x8+x7*x13+x7*x14+x7*x16+x7*x19+x7*x24+x7*x26+x7*x27+x7*x29+x8*x12+x8*x13+x8*x14+x8*x15+x8*x16+x8*x17+x8*x18+x8*x19+x8*x21+x8*x22+x8*x25+x8*x27+x8*x30+x9*x10+x9*x13+x9*x20+x9*x23+x9*x24+x9*x26+x10*x12+x10*x13+x10*x15+x10*x17+x10*x19+x10*x20+x10*x21+x10*x22+x10*x23+x10*x25+x10*x26+x10*x27+x10*x29+x11*x12+x11*x13+x11*x14+x11*x16+x11*x17+x11*x21+x11*x22+x11*x23+x11*x26+x11*x27+x11*x28+x12*x13+x12*x14+x12*x15+x12*x16+x12*x17+x12*x23+x12*x24+x12*x28+x12*x29+x13*x17+x13*x18+x13*x19+x13*x23+x13*x24+x13*x26+x13*x29+x14*x15+x14*x16+x14*x18+x14*x19+x14*x21+x14*x23+x14*x28+x14*x29+x14*x30+x15*x16+x15*x19+x15*x21+x15*x22+x15*x23+x15*x24+x15*x25+x15*x27+x15*x28+x16*x17+x16*x20+x16*x22+x16*x23+x16*x24+x16*x25+x16*x26+x16*x30+x17*x19+x17*x20+x17*x22+x17*x23+x17*x25+x17*x27+x17*x29+x17*x30+x18*x19+x18*x25+x18*x27+x18*x28+x18*x29+x19*x20+x19*x24+x19*x25+x19*x29+x20*x21+x20*x23+x20*x25+x20*x28+x20*x29+x20*x30+x21*x24+x21*x25+x21*x28+x21*x30+x22*x25+x22*x26+x22*x30+x23*x24+x23*x27+x23*x28+x23*x29+x24*x27+x24*x29+x25*x26+x25*x27+x25*x28+x26*x27+x26*x28+x26*x30+x27*x28+x27*x30+x28*x30, 1+x1+x5+x7+x8+x9+x10+x13+x15+x17+x18+x21+x22+x24+x25+x29+x1*x2+x1*x3+x1*x6+x1*x9+x1*x11+x1*x12+x1*x13+x1*x17+x1*x20+x1*x23+x1*x24+x1*x25+x1*x27+x1*x28+x2*x3+x2*x6+x2*x8+x2*x9+x2*x11+x2*x12+x2*x15+x2*x19+x2*x22+x2*x25+x2*x29+x3*x5+x3*x6+x3*x8+x3*x11+x3*x13+x3*x21+x3*x23+x3*x24+x3*x26+x3*x27+x3*x29+x3*x30+x4*x6+x4*x7+x4*x8+x4*x9+x4*x10+x4*x13+x4*x20+x4*x21+x4*x23+x4*x24+x4*x26+x4*x27+x4*x28+x4*x30+x5*x6+x5*x9+x5*x10+x5*x13+x5*x14+x5*x15+x5*x16+x5*x19+x5*x20+x5*x23+x5*x24+x5*x29+x5*x30+x6*x8+x6*x10+x6*x11+x6*x14+x6*x15+x6*x16+x6*x17+x6*x21+x6*x22+x6*x23+x6*x25+x6*x26+x7*x9+x7*x10+x7*x15+x7*x16+x7*x19+x7*x20+x7*x25+x7*x29+x7*x30+x8*x10+x8*x11+x8*x12+x8*x13+x8*x16+x8*x19+x8*x20+x8*x22+x8*x25+x8*x27+x8*x30+x9*x10+x9*x12+x9*x16+x9*x18+x9*x19+x9*x21+x9*x22+x9*x24+x9*x28+x9*x29+x10*x11+x10*x13+x10*x17+x10*x19+x10*x21+x10*x22+x10*x23+x10*x24+x10*x28+x11*x12+x11*x13+x11*x14+x11*x21+x11*x23+x11*x24+x11*x25+x11*x28+x11*x30+x12*x13+x12*x15+x12*x16+x12*x21+x12*x22+x12*x23+x12*x24+x12*x29+x12*x30+x13*x16+x13*x18+x13*x19+x13*x20+x13*x22+x13*x23+x13*x26+x13*x27+x13*x30+x14*x16+x14*x18+x14*x19+x14*x20+x14*x22+x14*x24+x14*x25+x14*x27+x14*x28+x14*x29+x14*x30+x15*x16+x15*x17+x15*x18+x15*x19+x15*x21+x15*x24+x16*x19+x16*x20+x16*x21+x16*x22+x16*x23+x16*x27+x16*x30+x17*x18+x17*x21+x17*x22+x17*x23+x17*x25+x17*x26+x17*x27+x17*x28+x17*x29+x17*x30+x18*x19+x18*x23+x18*x24+x18*x25+x18*x26+x18*x28+x18*x30+x19*x21+x19*x22+x19*x24+x19*x25+x19*x27+x19*x28+x20*x22+x20*x23+x20*x28+x21*x26+x21*x30+x22*x23+x22*x26+x22*x28+x22*x29+x23*x24+x23*x26+x23*x27+x23*x28+x23*x29+x23*x30+x24*x25+x24*x26+x25*x28+x25*x29+x25*x30+x26*x27+x26*x28+x26*x29+x27*x29+x27*x30+x29*x30, x2+x4+x5+x6+x8+x9+x10+x14+x15+x16+x17+x19+x20+x22+x24+x25+x26+x27+x28+x1*x2+x1*x3+x1*x4+x1*x6+x1*x8+x1*x9+x1*x10+x1*x12+x1*x13+x1*x14+x1*x20+x1*x21+x1*x23+x1*x26+x1*x27+x1*x29+x1*x30+x2*x3+x2*x5+x2*x6+x2*x9+x2*x12+x2*x14+x2*x15+x2*x16+x2*x17+x2*x19+x2*x20+x2*x21+x2*x22+x2*x28+x2*x30+x3*x4+x3*x5+x3*x6+x3*x8+x3*x10+x3*x13+x3*x15+x3*x17+x3*x18+x3*x22+x3*x23+x3*x24+x3*x25+x3*x26+x3*x27+x3*x29+x4*x5+x4*x7+x4*x8+x4*x13+x4*x15+x4*x17+x4*x19+x4*x24+x4*x29+x5*x6+x5*x9+x5*x11+x5*x15+x5*x16+x5*x19+x5*x20+x5*x22+x5*x23+x5*x25+x5*x26+x5*x29+x5*x30+x6*x8+x6*x9+x6*x10+x6*x12+x6*x13+x6*x14+x6*x15+x6*x16+x6*x17+x6*x19+x6*x20+x6*x21+x6*x22+x6*x25+x6*x26+x7*x8+x7*x11+x7*x12+x7*x13+x7*x15+x7*x16+x7*x19+x7*x20+x7*x21+x7*x22+x7*x23+x7*x24+x7*x27+x7*x28+x7*x30+x8*x10+x8*x14+x8*x15+x8*x16+x8*x17+x8*x19+x8*x21+x8*x22+x8*x23+x8*x27+x8*x28+x8*x29+x9*x10+x9*x13+x9*x14+x9*x15+x9*x16+x9*x17+x9*x18+x9*x20+x9*x21+x9*x22+x9*x27+x10*x11+x10*x13+x10*x14+x10*x16+x10*x17+x10*x18+x10*x19+x10*x20+x10*x21+x10*x23+x10*x24+x10*x26+x10*x28+x11*x12+x11*x13+x11*x15+x11*x16+x11*x17+x11*x19+x11*x21+x11*x24+x11*x28+x11*x29+x12*x13+x12*x15+x12*x16+x12*x17+x12*x18+x12*x19+x12*x21+x12*x24+x12*x25+x12*x26+x12*x27+x12*x30+x13*x15+x13*x17+x13*x19+x13*x25+x13*x29+x14*x19+x14*x20+x14*x21+x14*x23+x14*x24+x14*x26+x14*x27+x14*x29+x14*x30+x15*x18+x15*x20+x15*x22+x15*x23+x15*x24+x15*x25+x15*x27+x15*x28+x15*x30+x16*x17+x16*x18+x16*x19+x16*x22+x16*x23+x16*x25+x16*x29+x16*x30+x17*x18+x17*x21+x17*x22+x17*x23+x17*x24+x17*x26+x17*x28+x17*x29+x18*x19+x18*x21+x18*x25+x18*x28+x18*x30+x19*x23+x19*x24+x19*x27+x19*x28+x19*x30+x20*x21+x20*x23+x20*x24+x20*x25+x20*x26+x20*x27+x20*x28+x20*x29+x20*x30+x21*x23+x22*x24+x22*x25+x22*x26+x22*x28+x23*x24+x23*x26+x23*x27+x23*x28+x24*x29+x25*x26+x25*x27+x25*x28+x26*x27+x26*x28+x26*x29+x27*x28+x29*x30 ]; SetVerbose("Groebner", 1); time G := GroebnerBasis(B: HFE); G; /* Final output: Time: 113.670 [ x1 + 1, x2 + 1, x3, x4 + 1, x5 + 1, x6 + 1, x7, x8, x9 + 1, x10 + 1, x11, x12 + 1, x13 + 1, x14 + 1, x15, x16, x17, x18 + 1, x19, x20 + 1, x21 + 1, x22, x23, x24 + 1, x25 + 1, x26, x27 + 1, x28, x29 + 1, x30 + 1 ] */