#vars [x3,x2,x1,x0,y8,y7,y6,y5,y4,y3,y2,y1,y0]

#list

[
359*x3^2*y8 + 424*x3*x2*y8 + 420*x2^2*y8 + 168*x3*x1*y8 + 618*x2*x1*y8 + 682*x1^2*y8 + 580*x3*x0*y8 + 700*x2*x0*y8 + 670*x1*x0*y8 + 603*x0^2*y8 + 121*x3^2*y7 + 613*x3*x2*y7 + 138*x2^2*y7 + 989*x3*x1*y7 + 42*x2*x1*y7 + 523*x1^2*y7 + 294*x3*x0*y7 + 41*x2*x0*y7 + 145*x1*x0*y7 + 289*x0^2*y7 + 175*x3^2*y6 + 6*x3*x2*y6 + 160*x2^2*y6 + 178*x3*x1*y6 + 482*x2*x1*y6 + 942*x1^2*y6 + 435*x3*x0*y6 + 103*x2*x0*y6 + 686*x1*x0*y6 + 642*x0^2*y6 + 564*x3^2*y5 + 597*x3*x2*y5 + 981*x2^2*y5 + 502*x3*x1*y5 + 115*x2*x1*y5 + 647*x1^2*y5 + 48*x3*x0*y5 + 742*x2*x0*y5 + 235*x1*x0*y5 + 614*x0^2*y5 + 36*x3^2*y4 + 498*x3*x2*y4 + 945*x2^2*y4 + 243*x3*x1*y4 + 298*x2*x1*y4 + 299*x1^2*y4 + 51*x3*x0*y4 + 830*x2*x0*y4 + 429*x1*x0*y4 + 608*x0^2*y4 + 323*x3^2*y3 + 651*x3*x2*y3 + 948*x3*x1*y3 + 510*x2*x1*y3 + 814*x1^2*y3 + 633*x3*x0*y3 + 544*x2*x0*y3 + 779*x1*x0*y3 + 296*x0^2*y3 + 479*x3^2*y2 + 822*x3*x2*y2 + 98*x2^2*y2 + 226*x3*x1*y2 + 646*x2*x1*y2 + 414*x1^2*y2 + 874*x3*x0*y2 + 605*x2*x0*y2 + 762*x1*x0*y2 + 209*x0^2*y2 + 389*x3^2*y1 + 601*x3*x2*y1 + 389*x2^2*y1 + 572*x3*x1*y1 + 366*x2*x1*y1 + 341*x1^2*y1 + 831*x3*x0*y1 + 786*x2*x0*y1 + 675*x1*x0*y1 + 889*x0^2*y1 + 813*x3^2*y0 + 14*x3*x2*y0 + 99*x2^2*y0 + 521*x3*x1*y0 + 529*x2*x1*y0 + 496*x1^2*y0 + 165*x3*x0*y0 + 729*x2*x0*y0 + 565*x1*x0*y0 + 18295*x0^2*y0,
746*x3^2*y8 + 402*x3*x2*y8 + 642*x2^2*y8 + 953*x3*x1*y8 + 639*x2*x1*y8 + 648*x1^2*y8 + 973*x3*x0*y8 + 277*x2*x0*y8 + 621*x1*x0*y8 + 153*x0^2*y8 + 118*x3^2*y7 + 518*x3*x2*y7 + 777*x2^2*y7 + 309*x3*x1*y7 + 947*x2*x1*y7 + 961*x1^2*y7 + 262*x3*x0*y7 + 286*x2*x0*y7 + 823*x1*x0*y7 + 172*x0^2*y7 + 998*x3^2*y6 + 683*x3*x2*y6 + 162*x2^2*y6 + 312*x3*x1*y6 + 552*x2*x1*y6 + 862*x1^2*y6 + 159*x3*x0*y6 + 897*x2*x0*y6 + 281*x1*x0*y6 + 816*x0^2*y6 + 544*x3^2*y5 + 542*x3*x2*y5 + 236*x2^2*y5 + 145*x3*x1*y5 + 96*x2*x1*y5 + 528*x1^2*y5 + 341*x3*x0*y5 + 60*x2*x0*y5 + 280*x1*x0*y5 + 199*x0^2*y5 + 664*x3^2*y4 + 732*x3*x2*y4 + 315*x2^2*y4 + 397*x3*x1*y4 + 317*x2*x1*y4 + 60*x1^2*y4 + 918*x3*x0*y4 + 157*x2*x0*y4 + 217*x1*x0*y4 + 109*x0^2*y4 + 425*x3^2*y3 + 536*x3*x2*y3 + 24*x2^2*y3 + 72*x3*x1*y3 + 726*x2*x1*y3 + 271*x1^2*y3 + 779*x3*x0*y3 + 56*x2*x0*y3 + 609*x1*x0*y3 + 430*x0^2*y3 + 616*x3^2*y2 + 831*x3*x2*y2 + 677*x2^2*y2 + 423*x3*x1*y2 + 753*x2*x1*y2 + 141*x1^2*y2 + 803*x3*x0*y2 + 855*x2*x0*y2 + 623*x1*x0*y2 + 814*x0^2*y2 + 179*x3^2*y1 + 505*x3*x2*y1 + 525*x2^2*y1 + 531*x3*x1*y1 + 397*x2*x1*y1 + 196*x1^2*y1 + 321*x3*x0*y1 + 942*x2*x0*y1 + 422*x1*x0*y1 + 513*x0^2*y1 + 166*x3^2*y0 + 859*x3*x2*y0 + 801*x2^2*y0 + 229*x3*x1*y0 + 855*x2*x1*y0 + 807*x1^2*y0 + 224*x3*x0*y0 + 263*x2*x0*y0 + 153*x1*x0*y0 + 40073*x0^2*y0,
289*x3^2*y8 + 639*x3*x2*y8 + 76*x2^2*y8 + 366*x3*x1*y8 + 125*x2*x1*y8 + 12*x1^2*y8 + 442*x3*x0*y8 + 893*x2*x0*y8 + 495*x1*x0*y8 + 536*x0^2*y8 + 237*x3^2*y7 + 158*x3*x2*y7 + 297*x2^2*y7 + 554*x3*x1*y7 + 356*x2*x1*y7 + 854*x1^2*y7 + 638*x3*x0*y7 + 707*x2*x0*y7 + 711*x1*x0*y7 + 445*x0^2*y7 + 223*x3^2*y6 + 413*x3*x2*y6 + 162*x2^2*y6 + 669*x3*x1*y6 + 528*x2*x1*y6 + 464*x1^2*y6 + 86*x3*x0*y6 + 976*x2*x0*y6 + 496*x1*x0*y6 + 979*x0^2*y6 + 164*x3^2*y5 + 941*x3*x2*y5 + 354*x2^2*y5 + 812*x3*x1*y5 + 355*x2*x1*y5 + 253*x1^2*y5 + 111*x3*x0*y5 + 645*x2*x0*y5 + 760*x1*x0*y5 + 426*x0^2*y5 + 820*x3^2*y4 + 456*x3*x2*y4 + 862*x2^2*y4 + 177*x3*x1*y4 + 875*x2*x1*y4 + 848*x1^2*y4 + 136*x3*x0*y4 + 510*x2*x0*y4 + 362*x1*x0*y4 + 800*x0^2*y4 + 638*x3^2*y3 + 738*x3*x2*y3 + 49*x2^2*y3 + 183*x3*x1*y3 + 774*x2*x1*y3 + 955*x1^2*y3 + 582*x3*x0*y3 + 674*x2*x0*y3 + 127*x1*x0*y3 + 565*x0^2*y3 + 113*x3^2*y2 + 894*x3*x2*y2 + 939*x2^2*y2 + 299*x3*x1*y2 + 333*x2*x1*y2 + 18*x1^2*y2 + 637*x3*x0*y2 + 142*x2*x0*y2 + 735*x1*x0*y2 + 707*x0^2*y2 + 905*x3^2*y1 + 316*x3*x2*y1 + 678*x2^2*y1 + 914*x3*x1*y1 + 855*x2*x1*y1 + 627*x1^2*y1 + 313*x3*x0*y1 + 623*x2*x0*y1 + 658*x1*x0*y1 + 391*x0^2*y1 + 173*x3^2*y0 + 580*x3*x2*y0 + 233*x2^2*y0 + 521*x3*x1*y0 + 930*x2*x1*y0 + 425*x1^2*y0 + 453*x3*x0*y0 + 290*x2*x0*y0 + 514*x1*x0*y0 + 60452*x0^2*y0,
138*x3^2*y8 + 622*x3*x2*y8 + 812*x2^2*y8 + 276*x3*x1*y8 + 639*x2*x1*y8 + 255*x1^2*y8 + 731*x3*x0*y8 + 562*x2*x0*y8 + 920*x1*x0*y8 + 562*x0^2*y8 + 969*x3^2*y7 + 970*x3*x2*y7 + 405*x2^2*y7 + 58*x3*x1*y7 + 860*x2*x1*y7 + 467*x1^2*y7 + 176*x3*x0*y7 + 439*x2*x0*y7 + 493*x1*x0*y7 + 852*x0^2*y7 + 628*x3^2*y6 + 228*x3*x2*y6 + 746*x2^2*y6 + 699*x3*x1*y6 + 944*x2*x1*y6 + 927*x1^2*y6 + 905*x3*x0*y6 + 86*x2*x0*y6 + 802*x1*x0*y6 + 362*x0^2*y6 + 126*x3^2*y5 + 2*x3*x2*y5 + 584*x2^2*y5 + 466*x3*x1*y5 + 856*x2*x1*y5 + 72*x1^2*y5 + 359*x3*x0*y5 + 175*x2*x0*y5 + 351*x1*x0*y5 + 82*x0^2*y5 + 191*x3^2*y4 + 830*x3*x2*y4 + 961*x2^2*y4 + 373*x3*x1*y4 + 516*x2*x1*y4 + 550*x1^2*y4 + 101*x3*x0*y4 + 406*x2*x0*y4 + 976*x1*x0*y4 + 40*x0^2*y4 + 273*x3^2*y3 + 910*x3*x2*y3 + 592*x2^2*y3 + 856*x3*x1*y3 + 252*x2*x1*y3 + 236*x1^2*y3 + 88*x3*x0*y3 + 558*x2*x0*y3 + 19*x1*x0*y3 + 592*x0^2*y3 + 25*x3^2*y2 + 707*x3*x2*y2 + 705*x2^2*y2 + 801*x3*x1*y2 + 805*x2*x1*y2 + 501*x1^2*y2 + 73*x3*x0*y2 + 71*x2*x0*y2 + 580*x1*x0*y2 + 108*x0^2*y2 + 624*x3^2*y1 + 911*x3*x2*y1 + 100*x2^2*y1 + 336*x3*x1*y1 + 841*x2*x1*y1 + 964*x1^2*y1 + 459*x3*x0*y1 + 64*x2*x0*y1 + 222*x1*x0*y1 + 594*x0^2*y1 + 267*x3^2*y0 + 359*x3*x2*y0 + 684*x2^2*y0 + 64*x3*x1*y0 + 49*x2*x1*y0 + 550*x1^2*y0 + 44*x3*x0*y0 + 280*x2*x0*y0 + 500*x1*x0*y0 + 14888*x0^2*y0,
811*x3^2*y8 + 847*x3*x2*y8 + 422*x2^2*y8 + 635*x3*x1*y8 + 627*x2*x1*y8 + 781*x1^2*y8 + 849*x3*x0*y8 + 941*x2*x0*y8 + 991*x1*x0*y8 + 287*x0^2*y8 + 923*x3^2*y7 + 778*x3*x2*y7 + 300*x2^2*y7 + 942*x3*x1*y7 + 382*x2*x1*y7 + 135*x1^2*y7 + 257*x3*x0*y7 + 377*x2*x0*y7 + 574*x1*x0*y7 + 583*x0^2*y7 + 261*x3^2*y6 + 738*x3*x2*y6 + 428*x2^2*y6 + 933*x3*x1*y6 + 886*x2*x1*y6 + 221*x1^2*y6 + 680*x3*x0*y6 + 220*x2*x0*y6 + 892*x1*x0*y6 + 812*x0^2*y6 + 642*x3^2*y5 + 180*x3*x2*y5 + 814*x2^2*y5 + 670*x3*x1*y5 + 78*x2*x1*y5 + 28*x1^2*y5 + 768*x3*x0*y5 + 936*x2*x0*y5 + 297*x1*x0*y5 + 495*x0^2*y5 + 240*x3^2*y4 + 76*x3*x2*y4 + 601*x2^2*y4 + 464*x3*x1*y4 + 14*x2*x1*y4 + 950*x1^2*y4 + 601*x3*x0*y4 + 557*x2*x0*y4 + 117*x1*x0*y4 + 924*x0^2*y4 + 583*x3^2*y3 + 221*x3*x2*y3 + 680*x2^2*y3 + 178*x3*x1*y3 + 80*x2*x1*y3 + 348*x1^2*y3 + 949*x3*x0*y3 + 847*x2*x0*y3 + 574*x1*x0*y3 + 142*x0^2*y3 + 340*x3^2*y2 + 226*x3*x2*y2 + 819*x2^2*y2 + 655*x3*x1*y2 + 615*x2*x1*y2 + 827*x1^2*y2 + 467*x3*x0*y2 + 599*x2*x0*y2 + 504*x1*x0*y2 + 331*x0^2*y2 + 947*x3^2*y1 + 351*x3*x2*y1 + 2*x2^2*y1 + 739*x3*x1*y1 + 810*x2*x1*y1 + 166*x1^2*y1 + 32*x3*x0*y1 + 309*x2*x0*y1 + 968*x1*x0*y1 + 260*x0^2*y1 + 108*x3^2*y0 + 676*x3*x2*y0 + 921*x2^2*y0 + 140*x3*x1*y0 + 355*x2*x1*y0 + 90*x1^2*y0 + 149*x3*x0*y0 + 775*x2*x0*y0 + 485*x1*x0*y0 + 54112*x0^2*y0,
71*x3^2*y8 + 677*x3*x2*y8 + 808*x2^2*y8 + 581*x3*x1*y8 + 279*x2*x1*y8 + 723*x1^2*y8 + 492*x3*x0*y8 + 622*x2*x0*y8 + 479*x1*x0*y8 + 612*x0^2*y8 + 981*x3^2*y7 + 493*x3*x2*y7 + 512*x2^2*y7 + 587*x3*x1*y7 + 752*x2*x1*y7 + 104*x1^2*y7 + 240*x3*x0*y7 + 999*x2*x0*y7 + 339*x1*x0*y7 + 18*x0^2*y7 + 683*x3^2*y6 + 185*x3*x2*y6 + 716*x2^2*y6 + 738*x3*x1*y6 + 872*x2*x1*y6 + 614*x1^2*y6 + 74*x3*x0*y6 + 810*x2*x0*y6 + 912*x1*x0*y6 + 193*x0^2*y6 + 75*x3^2*y5 + 803*x3*x2*y5 + 550*x2^2*y5 + 476*x3*x1*y5 + 890*x2*x1*y5 + 304*x1^2*y5 + 987*x3*x0*y5 + 814*x2*x0*y5 + 442*x1*x0*y5 + 836*x0^2*y5 + 211*x3^2*y4 + 936*x3*x2*y4 + 199*x2^2*y4 + 609*x3*x1*y4 + 984*x2*x1*y4 + 994*x1^2*y4 + 286*x3*x0*y4 + 748*x2*x0*y4 + 57*x1*x0*y4 + 183*x0^2*y4 + 450*x3^2*y3 + 117*x3*x2*y3 + 594*x2^2*y3 + 767*x3*x1*y3 + 700*x2*x1*y3 + 784*x1^2*y3 + 930*x3*x0*y3 + 191*x2*x0*y3 + 541*x1*x0*y3 + 150*x0^2*y3 + 847*x3^2*y2 + 365*x3*x2*y2 + 30*x2^2*y2 + 677*x3*x1*y2 + 862*x2*x1*y2 + 387*x1^2*y2 + 178*x3*x0*y2 + 757*x2*x0*y2 + 337*x1*x0*y2 + 498*x0^2*y2 + 285*x3^2*y1 + 59*x3*x2*y1 + 256*x2^2*y1 + 156*x3*x1*y1 + 265*x2*x1*y1 + 472*x1^2*y1 + 743*x3*x0*y1 + 30*x2*x0*y1 + 798*x1*x0*y1 + 788*x0^2*y1 + 168*x3^2*y0 + 797*x3*x2*y0 + 469*x2^2*y0 + 167*x3*x1*y0 + 63*x2*x1*y0 + 935*x1^2*y0 + 362*x3*x0*y0 + 871*x2*x0*y0 + 463*x1*x0*y0 + 48539*x0^2*y0,
436*x3^2*y8 + 999*x3*x2*y8 + 206*x2^2*y8 + 275*x3*x1*y8 + 812*x2*x1*y8 + 106*x1^2*y8 + 410*x3*x0*y8 + 462*x2*x0*y8 + 878*x1*x0*y8 + 982*x0^2*y8 + 48*x3^2*y7 + 977*x3*x2*y7 + 419*x2^2*y7 + 424*x3*x1*y7 + 709*x2*x1*y7 + 198*x1^2*y7 + 47*x3*x0*y7 + 908*x2*x0*y7 + 840*x1*x0*y7 + 745*x0^2*y7 + 398*x3^2*y6 + 604*x3*x2*y6 + 596*x2^2*y6 + 413*x3*x1*y6 + 881*x2*x1*y6 + 849*x1^2*y6 + 554*x3*x0*y6 + 65*x2*x0*y6 + 563*x1*x0*y6 + 779*x0^2*y6 + 327*x3^2*y5 + 755*x3*x2*y5 + 582*x2^2*y5 + 725*x3*x1*y5 + 574*x2*x1*y5 + 234*x1^2*y5 + 360*x3*x0*y5 + 422*x2*x0*y5 + 686*x1*x0*y5 + 625*x0^2*y5 + 469*x3^2*y4 + 744*x3*x2*y4 + 821*x2^2*y4 + 658*x3*x1*y4 + 954*x2*x1*y4 + 531*x1^2*y4 + 503*x3*x0*y4 + 586*x2*x0*y4 + 299*x1*x0*y4 + 547*x0^2*y4 + 578*x3^2*y3 + 541*x3*x2*y3 + 687*x2^2*y3 + 304*x3*x1*y3 + 970*x2*x1*y3 + 854*x1^2*y3 + 58*x3*x0*y3 + 712*x2*x0*y3 + 5*x1*x0*y3 + 474*x0^2*y3 + 384*x3^2*y2 + 592*x3*x2*y2 + 490*x2^2*y2 + 995*x3*x1*y2 + 53*x2*x1*y2 + 465*x1^2*y2 + 696*x3*x0*y2 + 247*x2*x0*y2 + 670*x1*x0*y2 + 4*x0^2*y2 + 497*x3^2*y1 + 247*x3*x2*y1 + 560*x2^2*y1 + 389*x3*x1*y1 + 72*x2*x1*y1 + 503*x1^2*y1 + 211*x3*x0*y1 + 139*x2*x0*y1 + 276*x1*x0*y1 + 80*x0^2*y1 + 493*x3^2*y0 + 325*x3*x2*y0 + 938*x2^2*y0 + 3*x3*x1*y0 + 611*x2*x1*y0 + 324*x1^2*y0 + 257*x3*x0*y0 + 454*x2*x0*y0 + 691*x1*x0*y0 + 20946*x0^2*y0,
896*x3^2*y8 + 749*x3*x2*y8 + 910*x2^2*y8 + 197*x3*x1*y8 + 332*x2*x1*y8 + 272*x1^2*y8 + 756*x3*x0*y8 + 318*x2*x0*y8 + 93*x1*x0*y8 + 752*x0^2*y8 + 579*x3^2*y7 + 547*x3*x2*y7 + 8*x2^2*y7 + 736*x3*x1*y7 + 54*x2*x1*y7 + 311*x1^2*y7 + 406*x3*x0*y7 + 761*x2*x0*y7 + 389*x1*x0*y7 + 132*x0^2*y7 + 332*x3^2*y6 + 494*x3*x2*y6 + 282*x2^2*y6 + 646*x3*x1*y6 + 135*x2*x1*y6 + 733*x1^2*y6 + 109*x3*x0*y6 + 741*x2*x0*y6 + 271*x1*x0*y6 + 560*x0^2*y6 + 38*x3^2*y5 + 5*x3*x2*y5 + 38*x2^2*y5 + 899*x3*x1*y5 + 126*x2*x1*y5 + 91*x1^2*y5 + 251*x3*x0*y5 + 388*x2*x0*y5 + 436*x1*x0*y5 + 764*x0^2*y5 + 492*x3^2*y4 + 215*x3*x2*y4 + 599*x2^2*y4 + 19*x3*x1*y4 + 171*x2*x1*y4 + 263*x1^2*y4 + 102*x3*x0*y4 + 352*x2*x0*y4 + 330*x1*x0*y4 + 540*x0^2*y4 + 957*x3^2*y3 + 998*x3*x2*y3 + 180*x2^2*y3 + 440*x3*x1*y3 + 346*x2*x1*y3 + 955*x1^2*y3 + 317*x3*x0*y3 + 231*x2*x0*y3 + 773*x1*x0*y3 + 941*x0^2*y3 + 336*x3^2*y2 + 932*x3*x2*y2 + 27*x2^2*y2 + 507*x3*x1*y2 + 293*x2*x1*y2 + 529*x1^2*y2 + 750*x3*x0*y2 + 801*x2*x0*y2 + 624*x1*x0*y2 + 352*x0^2*y2 + 584*x3^2*y1 + 715*x3*x2*y1 + 193*x2^2*y1 + 347*x3*x1*y1 + 616*x2*x1*y1 + 698*x1^2*y1 + 795*x3*x0*y1 + 840*x2*x0*y1 + 76*x1*x0*y1 + 433*x0^2*y1 + 496*x3^2*y0 + 64*x3*x2*y0 + 306*x2^2*y0 + 291*x3*x1*y0 + 76*x2*x1*y0 + 813*x1^2*y0 + 645*x3*x0*y0 + 865*x2*x0*y0 + 938*x1*x0*y0 + 13884*x0^2*y0,
967*x3^2*y8 + 871*x3*x2*y8 + 572*x2^2*y8 + 407*x3*x1*y8 + 389*x2*x1*y8 + 615*x1^2*y8 + 504*x3*x0*y8 + 428*x2*x0*y8 + 399*x1*x0*y8 + 711*x0^2*y8 + 807*x3^2*y7 + 608*x3*x2*y7 + 84*x2^2*y7 + 992*x3*x1*y7 + 327*x2*x1*y7 + 101*x1^2*y7 + 381*x3*x0*y7 + 452*x2*x0*y7 + 594*x1*x0*y7 + 511*x0^2*y7 + 122*x3^2*y6 + 338*x3*x2*y6 + 783*x2^2*y6 + 128*x3*x1*y6 + 926*x2*x1*y6 + 789*x1^2*y6 + 745*x3*x0*y6 + 214*x2*x0*y6 + 901*x1*x0*y6 + 136*x0^2*y6 + 387*x3^2*y5 + 87*x3*x2*y5 + 555*x2^2*y5 + 827*x3*x1*y5 + 504*x2*x1*y5 + 362*x1^2*y5 + 142*x3*x0*y5 + 387*x2*x0*y5 + 360*x1*x0*y5 + 594*x0^2*y5 + 541*x3^2*y4 + 209*x3*x2*y4 + 347*x3*x1*y4 + 878*x2*x1*y4 + 971*x1^2*y4 + 449*x3*x0*y4 + 587*x2*x0*y4 + 692*x1*x0*y4 + 351*x0^2*y4 + 782*x3^2*y3 + 739*x3*x2*y3 + 8*x2^2*y3 + 39*x3*x1*y3 + 799*x2*x1*y3 + 347*x1^2*y3 + 305*x3*x0*y3 + 820*x2*x0*y3 + 811*x1*x0*y3 + 940*x0^2*y3 + 643*x3^2*y2 + 518*x3*x2*y2 + 942*x2^2*y2 + 164*x3*x1*y2 + 513*x2*x1*y2 + 720*x1^2*y2 + 926*x3*x0*y2 + 457*x2*x0*y2 + 51*x1*x0*y2 + 567*x0^2*y2 + 776*x3^2*y1 + 184*x3*x2*y1 + 578*x2^2*y1 + 772*x3*x1*y1 + 411*x2*x1*y1 + 871*x1^2*y1 + 807*x3*x0*y1 + 290*x2*x0*y1 + 606*x1*x0*y1 + 511*x0^2*y1 + 149*x3^2*y0 + 769*x3*x2*y0 + 826*x2^2*y0 + 942*x3*x1*y0 + 325*x2*x1*y0 + 649*x1^2*y0 + 502*x3*x0*y0 + 822*x2*x0*y0 + 121*x1*x0*y0 + 31855*x0^2*y0,
586*x3^2*y8 + 877*x3*x2*y8 + 419*x2^2*y8 + 597*x3*x1*y8 + 194*x2*x1*y8 + 791*x1^2*y8 + 347*x3*x0*y8 + 830*x2*x0*y8 + 837*x1*x0*y8 + 116*x0^2*y8 + 675*x3^2*y7 + 781*x3*x2*y7 + 628*x2^2*y7 + 402*x3*x1*y7 + 576*x2*x1*y7 + 693*x1^2*y7 + 927*x3*x0*y7 + 97*x2*x0*y7 + 325*x1*x0*y7 + 811*x0^2*y7 + 909*x3^2*y6 + 708*x3*x2*y6 + 478*x2^2*y6 + 23*x3*x1*y6 + 668*x2*x1*y6 + 870*x1^2*y6 + 453*x3*x0*y6 + 937*x2*x0*y6 + 256*x1*x0*y6 + 268*x0^2*y6 + 34*x3^2*y5 + 580*x3*x2*y5 + 29*x2^2*y5 + 990*x3*x1*y5 + 480*x2*x1*y5 + 372*x1^2*y5 + 218*x3*x0*y5 + 797*x2*x0*y5 + 896*x1*x0*y5 + 701*x0^2*y5 + 930*x3^2*y4 + 413*x3*x2*y4 + 526*x2^2*y4 + 39*x3*x1*y4 + 699*x2*x1*y4 + 179*x1^2*y4 + 476*x3*x0*y4 + 691*x2*x0*y4 + 554*x1*x0*y4 + 664*x0^2*y4 + 146*x3^2*y3 + 40*x3*x2*y3 + 128*x2^2*y3 + 448*x3*x1*y3 + 384*x2*x1*y3 + 892*x1^2*y3 + 780*x3*x0*y3 + 677*x2*x0*y3 + 185*x1*x0*y3 + 518*x0^2*y3 + 566*x3^2*y2 + 23*x3*x2*y2 + 630*x2^2*y2 + 6*x3*x1*y2 + 109*x2*x1*y2 + 139*x1^2*y2 + 388*x3*x0*y2 + 162*x2*x0*y2 + 649*x1*x0*y2 + 974*x0^2*y2 + 767*x3^2*y1 + 425*x3*x2*y1 + 630*x2^2*y1 + 667*x3*x1*y1 + 320*x2*x1*y1 + 304*x1^2*y1 + 425*x3*x0*y1 + 807*x2*x0*y1 + 633*x1*x0*y1 + 552*x0^2*y1 + 891*x3^2*y0 + 723*x3*x2*y0 + 326*x2^2*y0 + 78*x3*x1*y0 + 420*x2*x1*y0 + 99*x1^2*y0 + 687*x3*x0*y0 + 762*x2*x0*y0 + 116*x1*x0*y0 + 34734*x0^2*y0,
732*x3^2*y8 + 3*x3*x2*y8 + 607*x2^2*y8 + 600*x3*x1*y8 + 479*x2*x1*y8 + 772*x1^2*y8 + 92*x3*x0*y8 + 707*x2*x0*y8 + 594*x1*x0*y8 + 649*x0^2*y8 + 466*x3^2*y7 + 677*x3*x2*y7 + 398*x2^2*y7 + 135*x3*x1*y7 + 713*x2*x1*y7 + 167*x1^2*y7 + 99*x3*x0*y7 + 744*x2*x0*y7 + 141*x1*x0*y7 + 708*x0^2*y7 + 114*x3^2*y6 + 549*x3*x2*y6 + 435*x2^2*y6 + 27*x3*x1*y6 + 433*x2*x1*y6 + 955*x1^2*y6 + 830*x3*x0*y6 + 113*x2*x0*y6 + 651*x1*x0*y6 + 860*x0^2*y6 + 63*x3^2*y5 + 59*x3*x2*y5 + 112*x2^2*y5 + 100*x3*x1*y5 + 832*x2*x1*y5 + 270*x1^2*y5 + 722*x3*x0*y5 + 881*x2*x0*y5 + 277*x1*x0*y5 + 620*x0^2*y5 + 730*x3^2*y4 + 337*x3*x2*y4 + 601*x2^2*y4 + 259*x3*x1*y4 + 280*x2*x1*y4 + 932*x1^2*y4 + 505*x3*x0*y4 + 526*x2*x0*y4 + 256*x1*x0*y4 + 526*x0^2*y4 + 939*x3^2*y3 + 203*x3*x2*y3 + 403*x2^2*y3 + 844*x3*x1*y3 + 426*x2*x1*y3 + 433*x1^2*y3 + 747*x3*x0*y3 + 785*x2*x0*y3 + 914*x1*x0*y3 + 467*x0^2*y3 + 694*x3^2*y2 + 872*x3*x2*y2 + 934*x2^2*y2 + 271*x3*x1*y2 + 453*x2*x1*y2 + 920*x1^2*y2 + 887*x3*x0*y2 + 310*x2*x0*y2 + 784*x1*x0*y2 + 440*x0^2*y2 + 280*x3^2*y1 + 842*x3*x2*y1 + 876*x2^2*y1 + 3*x3*x1*y1 + 33*x2*x1*y1 + 867*x1^2*y1 + 378*x3*x0*y1 + 832*x2*x0*y1 + 116*x1*x0*y1 + 721*x0^2*y1 + 740*x3^2*y0 + 402*x3*x2*y0 + 714*x2^2*y0 + 39*x3*x1*y0 + 590*x2*x1*y0 + 17*x1^2*y0 + 211*x3*x0*y0 + 883*x2*x0*y0 + 360*x1*x0*y0 + 45337*x0^2*y0,
617*x3^2*y8 + 547*x3*x2*y8 + 244*x2^2*y8 + 478*x3*x1*y8 + 520*x2*x1*y8 + 281*x1^2*y8 + 437*x3*x0*y8 + 723*x2*x0*y8 + 520*x1*x0*y8 + 504*x0^2*y8 + 314*x3^2*y7 + 811*x3*x2*y7 + 644*x2^2*y7 + 568*x3*x1*y7 + 690*x2*x1*y7 + 118*x1^2*y7 + 585*x3*x0*y7 + 280*x2*x0*y7 + 983*x1*x0*y7 + 413*x0^2*y7 + 349*x3^2*y6 + 142*x3*x2*y6 + 682*x2^2*y6 + 338*x3*x1*y6 + 911*x2*x1*y6 + 686*x1^2*y6 + 92*x3*x0*y6 + 514*x2*x0*y6 + 307*x1*x0*y6 + 489*x0^2*y6 + 274*x3^2*y5 + 832*x3*x2*y5 + 951*x2^2*y5 + 755*x3*x1*y5 + 143*x2*x1*y5 + 552*x1^2*y5 + 262*x3*x0*y5 + 397*x2*x0*y5 + 486*x1*x0*y5 + 835*x0^2*y5 + 268*x3^2*y4 + 199*x3*x2*y4 + 924*x2^2*y4 + 360*x3*x1*y4 + 954*x2*x1*y4 + 377*x1^2*y4 + 116*x3*x0*y4 + 835*x2*x0*y4 + 140*x1*x0*y4 + 558*x0^2*y4 + 3*x3^2*y3 + 525*x3*x2*y3 + 992*x2^2*y3 + 703*x3*x1*y3 + 846*x2*x1*y3 + 684*x1^2*y3 + 545*x3*x0*y3 + 465*x2*x0*y3 + 727*x1*x0*y3 + 735*x0^2*y3 + 905*x3^2*y2 + 122*x3*x2*y2 + 48*x2^2*y2 + 70*x3*x1*y2 + 824*x2*x1*y2 + 407*x1^2*y2 + 397*x3*x0*y2 + 808*x2*x0*y2 + 353*x1*x0*y2 + 779*x0^2*y2 + 696*x3^2*y1 + 268*x3*x2*y1 + 550*x2^2*y1 + 635*x3*x1*y1 + 798*x2*x1*y1 + 899*x1^2*y1 + 382*x3*x0*y1 + 181*x2*x0*y1 + 242*x1*x0*y1 + 695*x0^2*y1 + 638*x3^2*y0 + 124*x3*x2*y0 + 531*x2^2*y0 + 5*x3*x1*y0 + 817*x2*x1*y0 + 674*x1^2*y0 + 734*x3*x0*y0 + 330*x2*x0*y0 + 326*x1*x0*y0 + 11903*x0^2*y0,
369*x3^2*y8 + 45*x3*x2*y8 + 577*x2^2*y8 + 890*x3*x1*y8 + 157*x2*x1*y8 + 341*x1^2*y8 + 821*x3*x0*y8 + 211*x2*x0*y8 + 971*x1*x0*y8 + 257*x0^2*y8 + 922*x3^2*y7 + 478*x3*x2*y7 + 967*x2^2*y7 + 217*x3*x1*y7 + 256*x2*x1*y7 + 585*x1^2*y7 + 676*x3*x0*y7 + 459*x2*x0*y7 + 381*x1*x0*y7 + 59*x0^2*y7 + 344*x3^2*y6 + 91*x3*x2*y6 + 530*x2^2*y6 + 327*x3*x1*y6 + 437*x2*x1*y6 + 722*x1^2*y6 + 894*x3*x0*y6 + 471*x2*x0*y6 + 500*x1*x0*y6 + 800*x0^2*y6 + 964*x3^2*y5 + 24*x3*x2*y5 + 172*x2^2*y5 + 364*x3*x1*y5 + 874*x2*x1*y5 + 534*x1^2*y5 + 170*x3*x0*y5 + 172*x2*x0*y5 + 36*x1*x0*y5 + 632*x0^2*y5 + 177*x3^2*y4 + 713*x3*x2*y4 + 998*x2^2*y4 + 397*x3*x1*y4 + 422*x2*x1*y4 + 414*x1^2*y4 + 834*x3*x0*y4 + 423*x2*x0*y4 + 856*x1*x0*y4 + 708*x0^2*y4 + 702*x3^2*y3 + 408*x3*x2*y3 + 399*x2^2*y3 + 847*x3*x1*y3 + 429*x2*x1*y3 + 800*x1^2*y3 + 902*x3*x0*y3 + 882*x2*x0*y3 + 791*x1*x0*y3 + 204*x0^2*y3 + 223*x3^2*y2 + 865*x3*x2*y2 + 691*x2^2*y2 + 271*x3*x1*y2 + 46*x2*x1*y2 + 875*x1^2*y2 + 529*x3*x0*y2 + 750*x2*x0*y2 + 798*x1*x0*y2 + 505*x0^2*y2 + 326*x3^2*y1 + 200*x3*x2*y1 + 9*x2^2*y1 + 916*x3*x1*y1 + 92*x2*x1*y1 + 259*x1^2*y1 + 347*x3*x0*y1 + 124*x2*x0*y1 + 451*x1*x0*y1 + 367*x0^2*y1 + x3^2*y0 + 866*x3*x2*y0 + 980*x2^2*y0 + 543*x3*x1*y0 + 368*x2*x1*y0 + 548*x1^2*y0 + 479*x3*x0*y0 + 703*x2*x0*y0 + 194*x1*x0*y0 + 34047*x0^2*y0,
879*x3^2*y8 + 466*x3*x2*y8 + 503*x2^2*y8 + 343*x3*x1*y8 + 432*x2*x1*y8 + 466*x1^2*y8 + 435*x3*x0*y8 + 629*x2*x0*y8 + 478*x1*x0*y8 + 125*x0^2*y8 + 495*x3^2*y7 + 436*x3*x2*y7 + 174*x2^2*y7 + 658*x3*x1*y7 + 655*x2*x1*y7 + 455*x1^2*y7 + 370*x3*x0*y7 + 904*x2*x0*y7 + 396*x1*x0*y7 + 181*x0^2*y7 + 264*x3^2*y6 + 802*x3*x2*y6 + 881*x2^2*y6 + 784*x3*x1*y6 + 345*x2*x1*y6 + 241*x1^2*y6 + 560*x3*x0*y6 + 837*x2*x0*y6 + 353*x1*x0*y6 + 4*x0^2*y6 + 77*x3^2*y5 + 330*x3*x2*y5 + 739*x2^2*y5 + 565*x3*x1*y5 + 340*x2*x1*y5 + 675*x1^2*y5 + 280*x3*x0*y5 + 934*x2*x0*y5 + 324*x1*x0*y5 + 176*x0^2*y5 + 850*x3^2*y4 + 371*x3*x2*y4 + 879*x2^2*y4 + 232*x3*x1*y4 + 962*x2*x1*y4 + 126*x1^2*y4 + 692*x3*x0*y4 + 378*x2*x0*y4 + 728*x1*x0*y4 + 830*x0^2*y4 + 104*x3^2*y3 + 909*x3*x2*y3 + 562*x2^2*y3 + 716*x3*x1*y3 + 217*x2*x1*y3 + 531*x1^2*y3 + 108*x3*x0*y3 + 792*x2*x0*y3 + 830*x1*x0*y3 + 28*x0^2*y3 + 517*x3^2*y2 + 953*x3*x2*y2 + 589*x2^2*y2 + 672*x3*x1*y2 + 31*x2*x1*y2 + 115*x1^2*y2 + 626*x3*x0*y2 + 453*x2*x0*y2 + 606*x1*x0*y2 + 684*x0^2*y2 + 620*x3^2*y1 + 790*x3*x2*y1 + 333*x2^2*y1 + 388*x3*x1*y1 + 354*x2*x1*y1 + 596*x1^2*y1 + 646*x3*x0*y1 + 690*x2*x0*y1 + 887*x1*x0*y1 + 993*x0^2*y1 + 566*x3^2*y0 + 981*x3*x2*y0 + 594*x2^2*y0 + 577*x3*x1*y0 + 744*x2*x1*y0 + 599*x1^2*y0 + 976*x3*x0*y0 + 601*x2*x0*y0 + 528*x1*x0*y0 + 29205*x0^2*y0,
678*x3^2*y8 + 996*x3*x2*y8 + 240*x2^2*y8 + 520*x3*x1*y8 + 610*x2*x1*y8 + 686*x1^2*y8 + 12*x3*x0*y8 + 158*x2*x0*y8 + 178*x1*x0*y8 + 742*x0^2*y8 + 736*x3^2*y7 + 194*x3*x2*y7 + 370*x2^2*y7 + 12*x3*x1*y7 + 853*x2*x1*y7 + 645*x1^2*y7 + 588*x3*x0*y7 + 192*x2*x0*y7 + 163*x1*x0*y7 + 623*x0^2*y7 + 942*x3^2*y6 + 124*x3*x2*y6 + 863*x2^2*y6 + 279*x3*x1*y6 + 192*x2*x1*y6 + 145*x1^2*y6 + 140*x3*x0*y6 + 614*x2*x0*y6 + 335*x1*x0*y6 + 169*x0^2*y6 + 747*x3^2*y5 + 846*x3*x2*y5 + 345*x2^2*y5 + 435*x3*x1*y5 + 228*x2*x1*y5 + 234*x1^2*y5 + 55*x3*x0*y5 + 578*x2*x0*y5 + 376*x1*x0*y5 + 261*x0^2*y5 + 451*x3^2*y4 + 66*x3*x2*y4 + 292*x2^2*y4 + 536*x3*x1*y4 + 31*x2*x1*y4 + 2*x1^2*y4 + 326*x3*x0*y4 + 902*x2*x0*y4 + 678*x1*x0*y4 + 864*x0^2*y4 + 850*x3^2*y3 + 249*x3*x2*y3 + 400*x2^2*y3 + 923*x3*x1*y3 + 522*x2*x1*y3 + 338*x1^2*y3 + 669*x3*x0*y3 + 78*x2*x0*y3 + 77*x1*x0*y3 + 395*x0^2*y3 + 244*x3^2*y2 + 618*x3*x2*y2 + 531*x2^2*y2 + 907*x3*x1*y2 + 730*x2*x1*y2 + 993*x1^2*y2 + 748*x3*x0*y2 + 779*x2*x0*y2 + 318*x1*x0*y2 + 271*x0^2*y2 + 87*x3^2*y1 + 666*x3*x2*y1 + 181*x2^2*y1 + 137*x3*x1*y1 + 669*x2*x1*y1 + 741*x1^2*y1 + 191*x3*x0*y1 + 592*x2*x0*y1 + 347*x1*x0*y1 + 630*x0^2*y1 + 488*x3^2*y0 + 151*x3*x2*y0 + 320*x2^2*y0 + 950*x3*x1*y0 + 829*x2*x1*y0 + 325*x1^2*y0 + 727*x3*x0*y0 + 204*x2*x0*y0 + 758*x1*x0*y0 + 1460*x0^2*y0,
120*x3^2*y8 + 997*x3*x2*y8 + 453*x2^2*y8 + 711*x3*x1*y8 + 331*x2*x1*y8 + 574*x1^2*y8 + 119*x3*x0*y8 + 886*x2*x0*y8 + 621*x1*x0*y8 + 795*x0^2*y8 + 273*x3^2*y7 + 600*x3*x2*y7 + 929*x2^2*y7 + 671*x3*x1*y7 + 681*x2*x1*y7 + 516*x1^2*y7 + 369*x3*x0*y7 + 83*x2*x0*y7 + 627*x1*x0*y7 + 941*x0^2*y7 + 797*x3^2*y6 + 908*x3*x2*y6 + 503*x2^2*y6 + 591*x3*x1*y6 + 751*x2*x1*y6 + 37*x1^2*y6 + 121*x3*x0*y6 + 968*x2*x0*y6 + 749*x1*x0*y6 + 211*x0^2*y6 + 551*x3^2*y5 + 867*x3*x2*y5 + 786*x2^2*y5 + 732*x3*x1*y5 + 570*x2*x1*y5 + 268*x1^2*y5 + 892*x3*x0*y5 + 548*x2*x0*y5 + 45*x1*x0*y5 + 718*x0^2*y5 + 665*x3^2*y4 + 732*x3*x2*y4 + 788*x2^2*y4 + 678*x3*x1*y4 + 843*x2*x1*y4 + 360*x1^2*y4 + 718*x3*x0*y4 + 237*x2*x0*y4 + 136*x1*x0*y4 + 844*x0^2*y4 + 172*x3^2*y3 + 689*x3*x2*y3 + 4*x2^2*y3 + 128*x3*x1*y3 + 938*x2*x1*y3 + 402*x1^2*y3 + 407*x3*x0*y3 + 961*x2*x0*y3 + 879*x1*x0*y3 + 678*x0^2*y3 + 867*x3^2*y2 + 233*x3*x2*y2 + 831*x2^2*y2 + 141*x3*x1*y2 + 598*x2*x1*y2 + 906*x1^2*y2 + 349*x3*x0*y2 + 832*x2*x0*y2 + 238*x1*x0*y2 + 832*x0^2*y2 + 691*x3^2*y1 + 923*x3*x2*y1 + 881*x2^2*y1 + 972*x3*x1*y1 + 957*x2*x1*y1 + 103*x1^2*y1 + 439*x3*x0*y1 + 932*x2*x0*y1 + 818*x1*x0*y1 + 734*x0^2*y1 + 284*x3^2*y0 + 201*x3*x2*y0 + 111*x2^2*y0 + 438*x3*x1*y0 + 592*x2*x1*y0 + 667*x1^2*y0 + 285*x3*x0*y0 + 326*x2*x0*y0 + 720*x1*x0*y0 + 16239*x0^2*y0,
885*x3^2*y8 + 272*x3*x2*y8 + 978*x2^2*y8 + 542*x3*x1*y8 + 987*x2*x1*y8 + 724*x1^2*y8 + 524*x3*x0*y8 + 640*x2*x0*y8 + 914*x1*x0*y8 + 284*x0^2*y8 + 285*x3^2*y7 + 807*x3*x2*y7 + 790*x2^2*y7 + 591*x3*x1*y7 + 879*x2*x1*y7 + 2*x1^2*y7 + 964*x3*x0*y7 + 521*x2*x0*y7 + 306*x1*x0*y7 + 531*x0^2*y7 + 724*x3^2*y6 + 281*x3*x2*y6 + 129*x2^2*y6 + 567*x3*x1*y6 + 503*x2*x1*y6 + 327*x1^2*y6 + 826*x3*x0*y6 + 402*x2*x0*y6 + 245*x1*x0*y6 + 791*x0^2*y6 + 861*x3^2*y5 + 758*x3*x2*y5 + 772*x2^2*y5 + 351*x3*x1*y5 + 538*x2*x1*y5 + 71*x1^2*y5 + 924*x3*x0*y5 + 561*x2*x0*y5 + 926*x1*x0*y5 + 743*x0^2*y5 + 486*x3^2*y4 + 842*x3*x2*y4 + 154*x2^2*y4 + 302*x3*x1*y4 + 788*x2*x1*y4 + 121*x1^2*y4 + 468*x3*x0*y4 + 168*x2*x0*y4 + 854*x1*x0*y4 + 617*x0^2*y4 + 922*x3^2*y3 + 336*x3*x2*y3 + 945*x2^2*y3 + 10*x3*x1*y3 + 594*x2*x1*y3 + 115*x1^2*y3 + 219*x3*x0*y3 + 675*x2*x0*y3 + 568*x1*x0*y3 + 829*x0^2*y3 + 991*x3^2*y2 + 211*x3*x2*y2 + 824*x2^2*y2 + 977*x3*x1*y2 + 211*x2*x1*y2 + 223*x1^2*y2 + 94*x3*x0*y2 + 745*x2*x0*y2 + 437*x1*x0*y2 + 471*x0^2*y2 + 483*x3^2*y1 + 216*x3*x2*y1 + 477*x2^2*y1 + 516*x3*x1*y1 + 504*x2*x1*y1 + 468*x1^2*y1 + 454*x3*x0*y1 + 595*x2*x0*y1 + 789*x1*x0*y1 + 148*x0^2*y1 + 280*x3^2*y0 + 443*x3*x2*y0 + 715*x2^2*y0 + 250*x3*x1*y0 + 274*x2*x1*y0 + 332*x1^2*y0 + 687*x3*x0*y0 + 544*x2*x0*y0 + 248*x1*x0*y0 + 59842*x0^2*y0,
741*x3^2*y8 + 632*x3*x2*y8 + 950*x2^2*y8 + 233*x3*x1*y8 + 928*x2*x1*y8 + 267*x1^2*y8 + 870*x3*x0*y8 + 196*x2*x0*y8 + 865*x1*x0*y8 + 648*x0^2*y8 + 347*x3^2*y7 + 973*x3*x2*y7 + 846*x2^2*y7 + 202*x3*x1*y7 + 502*x2*x1*y7 + 121*x1^2*y7 + 486*x3*x0*y7 + 30*x2*x0*y7 + 329*x1*x0*y7 + 984*x0^2*y7 + 956*x3^2*y6 + 673*x3*x2*y6 + 294*x2^2*y6 + 396*x3*x1*y6 + 246*x2*x1*y6 + 805*x1^2*y6 + 425*x3*x0*y6 + 624*x2*x0*y6 + 196*x1*x0*y6 + 801*x0^2*y6 + 115*x3^2*y5 + 855*x3*x2*y5 + 162*x2^2*y5 + 937*x3*x1*y5 + 597*x2*x1*y5 + 489*x1^2*y5 + 759*x3*x0*y5 + 81*x2*x0*y5 + 679*x1*x0*y5 + 566*x0^2*y5 + 805*x3^2*y4 + 440*x3*x2*y4 + 393*x2^2*y4 + 424*x3*x1*y4 + 409*x2*x1*y4 + 703*x1^2*y4 + 689*x3*x0*y4 + 106*x2*x0*y4 + 309*x1*x0*y4 + 888*x0^2*y4 + 463*x3^2*y3 + 874*x3*x2*y3 + 406*x2^2*y3 + 460*x3*x1*y3 + 569*x2*x1*y3 + 2*x1^2*y3 + 453*x3*x0*y3 + 401*x2*x0*y3 + 240*x1*x0*y3 + 180*x0^2*y3 + 806*x3^2*y2 + 472*x3*x2*y2 + 706*x2^2*y2 + 579*x3*x1*y2 + 987*x2*x1*y2 + 132*x1^2*y2 + 938*x3*x0*y2 + 763*x2*x0*y2 + 466*x1*x0*y2 + 911*x0^2*y2 + 908*x3^2*y1 + 158*x3*x2*y1 + 786*x2^2*y1 + 253*x3*x1*y1 + 996*x2*x1*y1 + 434*x1^2*y1 + 184*x3*x0*y1 + 776*x2*x0*y1 + 885*x1*x0*y1 + 262*x0^2*y1 + 923*x3^2*y0 + 533*x3*x2*y0 + 910*x2^2*y0 + 494*x3*x1*y0 + 935*x2*x1*y0 + 993*x1^2*y0 + 815*x3*x0*y0 + 256*x2*x0*y0 + 869*x1*x0*y0 + 1583*x0^2*y0,
2*x3^2*y8 + 616*x3*x2*y8 + 924*x2^2*y8 + 28*x3*x1*y8 + 30*x2*x1*y8 + 436*x1^2*y8 + 908*x3*x0*y8 + 342*x2*x0*y8 + 104*x1*x0*y8 + 515*x0^2*y8 + 977*x3^2*y7 + 180*x3*x2*y7 + 857*x2^2*y7 + 608*x3*x1*y7 + 843*x2*x1*y7 + 514*x1^2*y7 + 481*x3*x0*y7 + 761*x2*x0*y7 + 142*x1*x0*y7 + 982*x0^2*y7 + 939*x3^2*y6 + 207*x3*x2*y6 + 433*x2^2*y6 + 335*x3*x1*y6 + 86*x2*x1*y6 + 602*x1^2*y6 + 251*x3*x0*y6 + 765*x2*x0*y6 + 996*x1*x0*y6 + 563*x0^2*y6 + 953*x3^2*y5 + 566*x3*x2*y5 + 55*x2^2*y5 + 400*x3*x1*y5 + 682*x2*x1*y5 + 36*x1^2*y5 + 418*x3*x0*y5 + 308*x2*x0*y5 + 827*x1*x0*y5 + 30*x0^2*y5 + 448*x3^2*y4 + 649*x3*x2*y4 + 76*x2^2*y4 + 408*x3*x1*y4 + 998*x2*x1*y4 + 514*x1^2*y4 + 889*x3*x0*y4 + 521*x2*x0*y4 + 753*x1*x0*y4 + 365*x0^2*y4 + 382*x3^2*y3 + 515*x3*x2*y3 + 978*x2^2*y3 + 541*x3*x1*y3 + 319*x2*x1*y3 + 55*x1^2*y3 + 775*x3*x0*y3 + 630*x2*x0*y3 + 218*x1*x0*y3 + 839*x0^2*y3 + 40*x3^2*y2 + 257*x3*x2*y2 + 289*x2^2*y2 + 493*x3*x1*y2 + 322*x2*x1*y2 + 175*x1^2*y2 + 850*x3*x0*y2 + 745*x2*x0*y2 + 581*x1*x0*y2 + 28*x0^2*y2 + 864*x3^2*y1 + 875*x3*x2*y1 + 54*x2^2*y1 + 843*x3*x1*y1 + 486*x2*x1*y1 + 834*x1^2*y1 + 238*x3*x0*y1 + 1000*x2*x0*y1 + 438*x1*x0*y1 + 929*x0^2*y1 + 148*x3^2*y0 + 723*x3*x2*y0 + 260*x2^2*y0 + 515*x3*x1*y0 + 641*x2*x1*y0 + 178*x1^2*y0 + 588*x3*x0*y0 + 159*x2*x0*y0 + 628*x1*x0*y0 + 4381*x0^2*y0,
19*x3^2*y8 + 905*x3*x2*y8 + 674*x2^2*y8 + 736*x3*x1*y8 + 798*x2*x1*y8 + 923*x1^2*y8 + 326*x3*x0*y8 + 470*x2*x0*y8 + 247*x1*x0*y8 + 625*x0^2*y8 + 533*x3^2*y7 + 814*x3*x2*y7 + 69*x2^2*y7 + 386*x3*x1*y7 + 915*x2*x1*y7 + 180*x1^2*y7 + 785*x3*x0*y7 + 1000*x2*x0*y7 + 407*x1*x0*y7 + 92*x0^2*y7 + 157*x3^2*y6 + 389*x3*x2*y6 + 275*x2^2*y6 + 725*x3*x1*y6 + 860*x2*x1*y6 + 927*x1^2*y6 + 477*x3*x0*y6 + 662*x2*x0*y6 + 147*x1*x0*y6 + 449*x0^2*y6 + 563*x3^2*y5 + 266*x3*x2*y5 + 362*x2^2*y5 + 131*x3*x1*y5 + 143*x2*x1*y5 + 70*x1^2*y5 + 235*x3*x0*y5 + 146*x2*x0*y5 + 198*x1*x0*y5 + 210*x0^2*y5 + 34*x3^2*y4 + 591*x3*x2*y4 + 342*x2^2*y4 + 331*x3*x1*y4 + 560*x2*x1*y4 + 560*x1^2*y4 + 188*x3*x0*y4 + 819*x2*x0*y4 + 17*x1*x0*y4 + 422*x0^2*y4 + 462*x3^2*y3 + 620*x3*x2*y3 + 258*x2^2*y3 + 695*x3*x1*y3 + 752*x2*x1*y3 + 943*x1^2*y3 + 529*x3*x0*y3 + 989*x2*x0*y3 + 838*x1*x0*y3 + 466*x0^2*y3 + 292*x3^2*y2 + 449*x3*x2*y2 + 647*x2^2*y2 + 240*x3*x1*y2 + 361*x2*x1*y2 + 158*x1^2*y2 + 40*x3*x0*y2 + 90*x2*x0*y2 + 298*x1*x0*y2 + 165*x0^2*y2 + 387*x3^2*y1 + 734*x3*x2*y1 + 973*x2^2*y1 + 717*x3*x1*y1 + 512*x2*x1*y1 + 749*x1^2*y1 + 663*x3*x0*y1 + 554*x2*x0*y1 + 342*x1*x0*y1 + 240*x0^2*y1 + 497*x3^2*y0 + 471*x3*x2*y0 + 689*x2^2*y0 + 906*x3*x1*y0 + 18*x2*x1*y0 + 65*x1^2*y0 + 471*x3*x0*y0 + 552*x2*x0*y0 + 569*x1*x0*y0 + 14291*x0^2*y0
]