#vars [x2,x1,x0,y4,y3,y2,y1,y0] #list [ 664*x2^2*y4 + 62*x2*x1*y4 + 289*x1^2*y4 + 168*x2*x0*y4 + 413*x1*x0*y4 + 104*x0^2*y4 + 671*x2^2*y3 + 594*x2*x1*y3 + 2*x1^2*y3 + 853*x2*x0*y3 + 266*x1*x0*y3 + 586*x0^2*y3 + 181*x2^2*y2 + 368*x2*x1*y2 + 70*x1^2*y2 + 807*x2*x0*y2 + 826*x1*x0*y2 + 920*x0^2*y2 + 98*x2^2*y1 + 877*x2*x1*y1 + 840*x1^2*y1 + 28*x2*x0*y1 + 509*x1*x0*y1 + 482*x0^2*y1 + 351*x2^2*y0 + 167*x2*x1*y0 + 629*x1^2*y0 + 160*x2*x0*y0 + 139*x1*x0*y0 + 62039*x0^2*y0, 412*x2^2*y4 + 25*x2*x1*y4 + 966*x1^2*y4 + 989*x2*x0*y4 + 533*x1*x0*y4 + 649*x0^2*y4 + 858*x2^2*y3 + 800*x2*x1*y3 + 695*x1^2*y3 + 463*x2*x0*y3 + 590*x1*x0*y3 + 30*x0^2*y3 + 730*x2^2*y2 + 549*x2*x1*y2 + 372*x1^2*y2 + 971*x2*x0*y2 + 77*x1*x0*y2 + 445*x0^2*y2 + 602*x2^2*y1 + 945*x2*x1*y1 + 110*x1^2*y1 + 723*x2*x0*y1 + 920*x1*x0*y1 + 611*x0^2*y1 + 971*x2^2*y0 + 181*x2*x1*y0 + 742*x1^2*y0 + 828*x2*x0*y0 + 858*x1*x0*y0 + 14558*x0^2*y0, 328*x2^2*y4 + 300*x2*x1*y4 + 694*x1^2*y4 + 996*x2*x0*y4 + 2*x1*x0*y4 + 959*x0^2*y4 + 696*x2^2*y3 + 663*x2*x1*y3 + 671*x1^2*y3 + 554*x2*x0*y3 + 412*x1*x0*y3 + 166*x0^2*y3 + 509*x2^2*y2 + 411*x2*x1*y2 + 214*x1^2*y2 + 485*x2*x0*y2 + 397*x1*x0*y2 + 179*x0^2*y2 + 3*x2^2*y1 + 511*x2*x1*y1 + 736*x1^2*y1 + 892*x2*x0*y1 + 261*x1*x0*y1 + 318*x0^2*y1 + 775*x2^2*y0 + 44*x2*x1*y0 + 700*x1^2*y0 + 477*x2*x0*y0 + 230*x1*x0*y0 + 23694*x0^2*y0, 894*x2^2*y4 + 72*x2*x1*y4 + 342*x1^2*y4 + 162*x2*x0*y4 + 424*x1*x0*y4 + 468*x0^2*y4 + 725*x2^2*y3 + 308*x2*x1*y3 + 995*x1^2*y3 + 359*x2*x0*y3 + 256*x1*x0*y3 + 958*x0^2*y3 + 417*x2^2*y2 + 561*x2*x1*y2 + 719*x1^2*y2 + 211*x2*x0*y2 + 393*x1*x0*y2 + 941*x0^2*y2 + 33*x2^2*y1 + 712*x2*x1*y1 + 305*x1^2*y1 + 199*x2*x0*y1 + 788*x1*x0*y1 + 769*x0^2*y1 + 130*x2^2*y0 + 599*x2*x1*y0 + 151*x1^2*y0 + 986*x2*x0*y0 + 78*x1*x0*y0 + 49422*x0^2*y0, 517*x2^2*y4 + 441*x2*x1*y4 + 416*x1^2*y4 + 879*x2*x0*y4 + 456*x1*x0*y4 + 399*x0^2*y4 + 332*x2^2*y3 + 2*x2*x1*y3 + 694*x1^2*y3 + 435*x2*x0*y3 + 663*x1*x0*y3 + 993*x0^2*y3 + 715*x2^2*y2 + 56*x2*x1*y2 + 535*x1^2*y2 + 690*x2*x0*y2 + 958*x1*x0*y2 + 904*x0^2*y2 + 624*x2^2*y1 + 701*x2*x1*y1 + 819*x1^2*y1 + 770*x2*x0*y1 + 680*x1*x0*y1 + 91*x0^2*y1 + 866*x2^2*y0 + 462*x2*x1*y0 + 802*x1^2*y0 + 322*x2*x0*y0 + 863*x1*x0*y0 + 7418*x0^2*y0, 419*x2^2*y4 + 752*x2*x1*y4 + 573*x1^2*y4 + 303*x2*x0*y4 + 606*x1*x0*y4 + 97*x0^2*y4 + 230*x2^2*y3 + 85*x2*x1*y3 + 700*x1^2*y3 + 116*x2*x0*y3 + 56*x1*x0*y3 + 304*x0^2*y3 + 815*x2^2*y2 + 84*x2*x1*y2 + 504*x1^2*y2 + 883*x2*x0*y2 + 882*x1*x0*y2 + 669*x0^2*y2 + 334*x2^2*y1 + 770*x2*x1*y1 + 623*x1^2*y1 + 375*x2*x0*y1 + 426*x1*x0*y1 + 514*x0^2*y1 + 110*x2^2*y0 + 919*x2*x1*y0 + 928*x1^2*y0 + 288*x2*x0*y0 + 98*x1*x0*y0 + 8908*x0^2*y0, 79*x2^2*y4 + 736*x2*x1*y4 + 598*x1^2*y4 + 202*x2*x0*y4 + 733*x1*x0*y4 + 408*x0^2*y4 + 365*x2^2*y3 + 116*x2*x1*y3 + 132*x1^2*y3 + 823*x2*x0*y3 + 683*x1*x0*y3 + 872*x0^2*y3 + 282*x2^2*y2 + 931*x2*x1*y2 + 726*x1^2*y2 + 726*x2*x0*y2 + 50*x1*x0*y2 + 381*x0^2*y2 + 351*x2^2*y1 + 797*x2*x1*y1 + 957*x1^2*y1 + 221*x2*x0*y1 + 513*x1*x0*y1 + 157*x0^2*y1 + 950*x2^2*y0 + 663*x2*x1*y0 + 419*x1^2*y0 + 350*x2*x0*y0 + 365*x1*x0*y0 + 43420*x0^2*y0, 751*x2^2*y4 + 774*x2*x1*y4 + 972*x1^2*y4 + 22*x2*x0*y4 + 582*x1*x0*y4 + 173*x0^2*y4 + 756*x2^2*y3 + 430*x2*x1*y3 + 675*x1^2*y3 + 521*x2*x0*y3 + 807*x1*x0*y3 + 706*x0^2*y3 + 688*x2^2*y2 + 239*x2*x1*y2 + 175*x1^2*y2 + 877*x2*x0*y2 + 128*x1*x0*y2 + 636*x0^2*y2 + 630*x2^2*y1 + 230*x2*x1*y1 + 64*x1^2*y1 + 83*x2*x0*y1 + 167*x1*x0*y1 + 357*x0^2*y1 + 109*x2^2*y0 + 838*x2*x1*y0 + 880*x1^2*y0 + 120*x2*x0*y0 + 911*x1*x0*y0 + 47509*x0^2*y0, 249*x2^2*y4 + 767*x2*x1*y4 + 528*x1^2*y4 + 150*x2*x0*y4 + 763*x1*x0*y4 + 751*x0^2*y4 + 589*x2^2*y3 + 24*x2*x1*y3 + 431*x1^2*y3 + 543*x2*x0*y3 + 993*x1*x0*y3 + 319*x0^2*y3 + 993*x2^2*y2 + 34*x2*x1*y2 + 770*x1^2*y2 + 68*x2*x0*y2 + 897*x1*x0*y2 + 678*x0^2*y2 + 362*x2^2*y1 + 314*x2*x1*y1 + 652*x1^2*y1 + 74*x2*x0*y1 + 229*x1*x0*y1 + 238*x0^2*y1 + 943*x2^2*y0 + 218*x2*x1*y0 + 990*x1^2*y0 + 284*x2*x0*y0 + 895*x1*x0*y0 + 38118*x0^2*y0 ]