#vars [x3,x2,x1,x0,y6,y5,y4,y3,y2,y1,y0] #list [ 853*x3^2*y6 + 132*x3*x2*y6 + 132*x2^2*y6 + 662*x3*x1*y6 + 716*x2*x1*y6 + 547*x1^2*y6 + 961*x3*x0*y6 + 8*x2*x0*y6 + 480*x1*x0*y6 + 834*x0^2*y6 + 875*x3^2*y5 + 889*x3*x2*y5 + 91*x2^2*y5 + 573*x3*x1*y5 + 102*x2*x1*y5 + 487*x1^2*y5 + 833*x3*x0*y5 + 36*x2*x0*y5 + 110*x1*x0*y5 + 823*x0^2*y5 + 798*x3^2*y4 + 735*x3*x2*y4 + 766*x2^2*y4 + 182*x3*x1*y4 + 854*x2*x1*y4 + 505*x1^2*y4 + 626*x3*x0*y4 + 941*x2*x0*y4 + 102*x1*x0*y4 + 652*x0^2*y4 + 998*x3^2*y3 + 622*x3*x2*y3 + 366*x2^2*y3 + 479*x3*x1*y3 + 760*x2*x1*y3 + 449*x1^2*y3 + 573*x3*x0*y3 + 803*x2*x0*y3 + 572*x1*x0*y3 + 904*x0^2*y3 + 151*x3^2*y2 + 536*x3*x2*y2 + 18*x2^2*y2 + 164*x3*x1*y2 + 733*x2*x1*y2 + 642*x1^2*y2 + 602*x3*x0*y2 + 636*x2*x0*y2 + 481*x1*x0*y2 + 409*x0^2*y2 + 359*x3^2*y1 + 56*x3*x2*y1 + 186*x2^2*y1 + 770*x3*x1*y1 + 774*x2*x1*y1 + 524*x1^2*y1 + 618*x3*x0*y1 + 215*x2*x0*y1 + 503*x1*x0*y1 + 395*x0^2*y1 + 726*x3^2*y0 + 835*x3*x2*y0 + 443*x2^2*y0 + 947*x3*x1*y0 + 502*x2*x1*y0 + 158*x1^2*y0 + 428*x3*x0*y0 + 740*x2*x0*y0 + 795*x1*x0*y0 + 24143*x0^2*y0, x3^2*y6 + 525*x3*x2*y6 + 443*x2^2*y6 + 837*x3*x1*y6 + 934*x2*x1*y6 + 77*x1^2*y6 + 934*x3*x0*y6 + 205*x2*x0*y6 + 676*x1*x0*y6 + 134*x0^2*y6 + 302*x3^2*y5 + 177*x3*x2*y5 + 257*x2^2*y5 + 270*x3*x1*y5 + 798*x2*x1*y5 + 731*x1^2*y5 + 542*x3*x0*y5 + 53*x2*x0*y5 + 45*x1*x0*y5 + 672*x0^2*y5 + 422*x3^2*y4 + 168*x3*x2*y4 + 446*x2^2*y4 + 48*x3*x1*y4 + 712*x2*x1*y4 + 949*x1^2*y4 + 838*x3*x0*y4 + 889*x2*x0*y4 + 428*x1*x0*y4 + 579*x0^2*y4 + 865*x3^2*y3 + 54*x3*x2*y3 + 510*x2^2*y3 + 268*x3*x1*y3 + 44*x2*x1*y3 + 103*x1^2*y3 + 478*x3*x0*y3 + 904*x2*x0*y3 + 556*x1*x0*y3 + 128*x0^2*y3 + 240*x3^2*y2 + 745*x3*x2*y2 + 256*x2^2*y2 + 721*x3*x1*y2 + 877*x2*x1*y2 + 726*x1^2*y2 + 307*x3*x0*y2 + 771*x2*x0*y2 + 166*x1*x0*y2 + 789*x0^2*y2 + 94*x3^2*y1 + 365*x3*x2*y1 + 894*x2^2*y1 + 26*x3*x1*y1 + 202*x2*x1*y1 + 82*x1^2*y1 + 820*x3*x0*y1 + 46*x2*x0*y1 + 561*x1*x0*y1 + 279*x0^2*y1 + 493*x3^2*y0 + 172*x3*x2*y0 + 63*x2^2*y0 + 520*x3*x1*y0 + 191*x2*x1*y0 + 771*x1^2*y0 + 898*x3*x0*y0 + 626*x2*x0*y0 + 110*x1*x0*y0 + 27741*x0^2*y0, 794*x3^2*y6 + 601*x3*x2*y6 + 206*x2^2*y6 + 144*x3*x1*y6 + 448*x2*x1*y6 + 522*x1^2*y6 + 658*x3*x0*y6 + 75*x2*x0*y6 + 311*x1*x0*y6 + 294*x0^2*y6 + 416*x3^2*y5 + 384*x3*x2*y5 + 775*x2^2*y5 + 908*x3*x1*y5 + 836*x2*x1*y5 + 81*x1^2*y5 + 334*x3*x0*y5 + 190*x2*x0*y5 + 392*x1*x0*y5 + 878*x0^2*y5 + 883*x3^2*y4 + 927*x3*x2*y4 + 16*x2^2*y4 + 341*x3*x1*y4 + 666*x2*x1*y4 + 57*x1^2*y4 + 652*x3*x0*y4 + 435*x2*x0*y4 + 760*x1*x0*y4 + 993*x0^2*y4 + 315*x3^2*y3 + 65*x3*x2*y3 + 738*x2^2*y3 + 864*x3*x1*y3 + 146*x2*x1*y3 + 107*x1^2*y3 + 303*x3*x0*y3 + 796*x2*x0*y3 + 489*x1*x0*y3 + 577*x0^2*y3 + 942*x3^2*y2 + 986*x3*x2*y2 + 870*x2^2*y2 + 40*x3*x1*y2 + 857*x2*x1*y2 + 928*x1^2*y2 + 905*x3*x0*y2 + 128*x2*x0*y2 + 941*x1*x0*y2 + 24*x0^2*y2 + 912*x3^2*y1 + 751*x3*x2*y1 + 550*x2^2*y1 + 992*x3*x1*y1 + 517*x2*x1*y1 + 917*x1^2*y1 + 268*x3*x0*y1 + 945*x2*x0*y1 + 596*x1*x0*y1 + 165*x0^2*y1 + 63*x3^2*y0 + 397*x3*x2*y0 + 878*x2^2*y0 + 474*x3*x1*y0 + 141*x2*x1*y0 + 835*x1^2*y0 + 15*x3*x0*y0 + 426*x2*x0*y0 + 335*x1*x0*y0 + 13315*x0^2*y0, 802*x3^2*y6 + 865*x3*x2*y6 + 906*x2^2*y6 + 910*x3*x1*y6 + 190*x2*x1*y6 + 900*x1^2*y6 + 736*x3*x0*y6 + 242*x2*x0*y6 + 421*x1*x0*y6 + 147*x0^2*y6 + 463*x3^2*y5 + 592*x3*x2*y5 + 115*x2^2*y5 + 93*x3*x1*y5 + 19*x2*x1*y5 + 947*x1^2*y5 + 248*x3*x0*y5 + 767*x2*x0*y5 + 572*x1*x0*y5 + 419*x0^2*y5 + 682*x3^2*y4 + 22*x3*x2*y4 + 62*x2^2*y4 + 609*x3*x1*y4 + 66*x2*x1*y4 + 759*x1^2*y4 + 967*x3*x0*y4 + 43*x2*x0*y4 + 229*x1*x0*y4 + 688*x0^2*y4 + 601*x3^2*y3 + 90*x3*x2*y3 + 206*x2^2*y3 + 904*x3*x1*y3 + 652*x2*x1*y3 + 882*x1^2*y3 + 195*x3*x0*y3 + 554*x2*x0*y3 + 881*x1*x0*y3 + 396*x0^2*y3 + 773*x3^2*y2 + 817*x3*x2*y2 + 8*x2^2*y2 + 668*x3*x1*y2 + 697*x2*x1*y2 + 924*x1^2*y2 + 326*x3*x0*y2 + 709*x2*x0*y2 + 629*x1*x0*y2 + 852*x0^2*y2 + 886*x3^2*y1 + 797*x3*x2*y1 + 435*x2^2*y1 + 487*x3*x1*y1 + 277*x2*x1*y1 + 609*x1^2*y1 + 376*x3*x0*y1 + 872*x2*x0*y1 + 554*x1*x0*y1 + 409*x0^2*y1 + 307*x3^2*y0 + 479*x3*x2*y0 + 70*x2^2*y0 + 749*x3*x1*y0 + 556*x2*x1*y0 + 671*x1^2*y0 + 361*x3*x0*y0 + 410*x2*x0*y0 + 350*x1*x0*y0 + 30971*x0^2*y0, 765*x3^2*y6 + 813*x3*x2*y6 + 490*x2^2*y6 + 476*x3*x1*y6 + 789*x2*x1*y6 + 19*x1^2*y6 + 858*x3*x0*y6 + 483*x2*x0*y6 + 91*x1*x0*y6 + 73*x0^2*y6 + 485*x3^2*y5 + 36*x3*x2*y5 + 756*x2^2*y5 + 222*x3*x1*y5 + 535*x2*x1*y5 + 374*x1^2*y5 + 419*x3*x0*y5 + 628*x2*x0*y5 + 846*x1*x0*y5 + 705*x0^2*y5 + 771*x3^2*y4 + 939*x3*x2*y4 + 921*x2^2*y4 + 628*x3*x1*y4 + 99*x2*x1*y4 + 466*x1^2*y4 + 296*x3*x0*y4 + 34*x2*x0*y4 + 84*x1*x0*y4 + 542*x0^2*y4 + 904*x3^2*y3 + 523*x3*x2*y3 + 346*x2^2*y3 + 109*x3*x1*y3 + 231*x2*x1*y3 + 747*x1^2*y3 + 249*x3*x0*y3 + 131*x2*x0*y3 + 69*x1*x0*y3 + 230*x0^2*y3 + 471*x3^2*y2 + 603*x3*x2*y2 + 42*x2^2*y2 + 549*x3*x1*y2 + 606*x2*x1*y2 + 565*x1^2*y2 + 408*x3*x0*y2 + 369*x2*x0*y2 + 325*x1*x0*y2 + 283*x0^2*y2 + 789*x3^2*y1 + 875*x3*x2*y1 + 585*x2^2*y1 + 120*x3*x1*y1 + 924*x2*x1*y1 + 49*x1^2*y1 + 229*x3*x0*y1 + 577*x2*x0*y1 + 357*x1*x0*y1 + 989*x0^2*y1 + 359*x3^2*y0 + 977*x3*x2*y0 + 450*x2^2*y0 + 875*x3*x1*y0 + 609*x2*x1*y0 + 518*x1^2*y0 + 377*x3*x0*y0 + 25*x2*x0*y0 + 900*x1*x0*y0 + 49996*x0^2*y0, 249*x3^2*y6 + 102*x3*x2*y6 + 99*x2^2*y6 + 487*x3*x1*y6 + 704*x2*x1*y6 + 442*x1^2*y6 + 29*x3*x0*y6 + 312*x2*x0*y6 + 417*x1*x0*y6 + 751*x0^2*y6 + 43*x3^2*y5 + 566*x3*x2*y5 + 394*x2^2*y5 + 379*x3*x1*y5 + 147*x2*x1*y5 + 639*x1^2*y5 + 999*x3*x0*y5 + 301*x2*x0*y5 + 643*x1*x0*y5 + 123*x0^2*y5 + 174*x3^2*y4 + 19*x3*x2*y4 + 574*x2^2*y4 + 291*x3*x1*y4 + 657*x2*x1*y4 + 808*x1^2*y4 + 50*x3*x0*y4 + 730*x2*x0*y4 + 866*x1*x0*y4 + 989*x0^2*y4 + 630*x3^2*y3 + 970*x3*x2*y3 + 790*x2^2*y3 + 783*x3*x1*y3 + 810*x2*x1*y3 + 501*x1^2*y3 + 298*x3*x0*y3 + 423*x2*x0*y3 + 262*x1*x0*y3 + 130*x0^2*y3 + 911*x3^2*y2 + 671*x3*x2*y2 + 111*x2^2*y2 + 392*x3*x1*y2 + 324*x2*x1*y2 + 380*x1^2*y2 + 183*x3*x0*y2 + 381*x2*x0*y2 + 739*x1*x0*y2 + 402*x0^2*y2 + 991*x3^2*y1 + 586*x3*x2*y1 + 956*x2^2*y1 + 119*x3*x1*y1 + 115*x2*x1*y1 + 940*x1^2*y1 + 90*x3*x0*y1 + 131*x2*x0*y1 + 828*x1*x0*y1 + 626*x0^2*y1 + 709*x3^2*y0 + 495*x3*x2*y0 + 689*x2^2*y0 + 977*x3*x1*y0 + 648*x2*x1*y0 + 747*x1^2*y0 + 896*x3*x0*y0 + 362*x2*x0*y0 + 386*x1*x0*y0 + 11867*x0^2*y0, 488*x3^2*y6 + 661*x3*x2*y6 + 991*x2^2*y6 + 661*x3*x1*y6 + 214*x2*x1*y6 + 102*x1^2*y6 + 806*x3*x0*y6 + 600*x2*x0*y6 + 886*x1*x0*y6 + 860*x0^2*y6 + 996*x3^2*y5 + 840*x3*x2*y5 + 701*x2^2*y5 + 128*x3*x1*y5 + 782*x2*x1*y5 + 480*x1^2*y5 + 573*x3*x0*y5 + 367*x2*x0*y5 + 177*x1*x0*y5 + 938*x0^2*y5 + 585*x3^2*y4 + 196*x3*x2*y4 + 978*x2^2*y4 + 140*x3*x1*y4 + 60*x2*x1*y4 + 562*x1^2*y4 + 185*x3*x0*y4 + 145*x2*x0*y4 + 912*x1*x0*y4 + 947*x0^2*y4 + 745*x3^2*y3 + 416*x3*x2*y3 + 63*x2^2*y3 + 768*x3*x1*y3 + 444*x2*x1*y3 + 938*x1^2*y3 + 317*x3*x0*y3 + 522*x2*x0*y3 + 113*x1*x0*y3 + 569*x0^2*y3 + 812*x3^2*y2 + 777*x3*x2*y2 + 725*x2^2*y2 + 240*x3*x1*y2 + 863*x2*x1*y2 + 158*x1^2*y2 + 457*x3*x0*y2 + 507*x2*x0*y2 + 200*x1*x0*y2 + 365*x0^2*y2 + 411*x3^2*y1 + 448*x3*x2*y1 + 973*x2^2*y1 + 976*x3*x1*y1 + 562*x2*x1*y1 + 177*x1^2*y1 + 686*x3*x0*y1 + 632*x2*x0*y1 + 660*x1*x0*y1 + 164*x0^2*y1 + 377*x3^2*y0 + 992*x3*x2*y0 + 280*x2^2*y0 + 966*x3*x1*y0 + 459*x2*x1*y0 + 201*x1^2*y0 + 835*x3*x0*y0 + 984*x2*x0*y0 + 172*x1*x0*y0 + 11954*x0^2*y0, 861*x3^2*y6 + 62*x3*x2*y6 + 353*x2^2*y6 + 265*x3*x1*y6 + 231*x2*x1*y6 + 819*x1^2*y6 + 779*x3*x0*y6 + 579*x2*x0*y6 + 539*x1*x0*y6 + 982*x0^2*y6 + 560*x3^2*y5 + 5*x3*x2*y5 + 589*x2^2*y5 + 531*x3*x1*y5 + 281*x2*x1*y5 + 852*x1^2*y5 + 857*x3*x0*y5 + 887*x2*x0*y5 + 903*x1*x0*y5 + 574*x0^2*y5 + 920*x3^2*y4 + 552*x3*x2*y4 + 542*x2^2*y4 + 990*x3*x1*y4 + 299*x2*x1*y4 + 990*x1^2*y4 + 2*x3*x0*y4 + 549*x2*x0*y4 + 250*x1*x0*y4 + 55*x0^2*y4 + 738*x3^2*y3 + 552*x3*x2*y3 + 398*x2^2*y3 + 847*x3*x1*y3 + 949*x2*x1*y3 + 13*x1^2*y3 + 429*x3*x0*y3 + 536*x2*x0*y3 + 751*x1*x0*y3 + 834*x0^2*y3 + 745*x3^2*y2 + 78*x3*x2*y2 + 998*x2^2*y2 + 450*x3*x1*y2 + 248*x2*x1*y2 + 892*x1^2*y2 + 630*x3*x0*y2 + 404*x2*x0*y2 + 460*x1*x0*y2 + 709*x0^2*y2 + 556*x3^2*y1 + 904*x3*x2*y1 + 732*x2^2*y1 + 501*x3*x1*y1 + 40*x2*x1*y1 + 871*x1^2*y1 + 258*x3*x0*y1 + 458*x2*x0*y1 + 726*x1*x0*y1 + 264*x0^2*y1 + 334*x3^2*y0 + 419*x3*x2*y0 + 879*x2^2*y0 + 86*x3*x1*y0 + 352*x2*x1*y0 + 814*x1^2*y0 + 926*x3*x0*y0 + 600*x2*x0*y0 + 62*x1*x0*y0 + 53544*x0^2*y0, 442*x3^2*y6 + 701*x3*x2*y6 + 189*x2^2*y6 + 738*x3*x1*y6 + 951*x2*x1*y6 + 61*x1^2*y6 + 452*x3*x0*y6 + 315*x2*x0*y6 + 217*x1*x0*y6 + 557*x0^2*y6 + 647*x3^2*y5 + 901*x3*x2*y5 + 880*x2^2*y5 + 899*x3*x1*y5 + 589*x2*x1*y5 + 963*x1^2*y5 + 685*x3*x0*y5 + 172*x2*x0*y5 + 656*x1*x0*y5 + 924*x0^2*y5 + 197*x3^2*y4 + 91*x3*x2*y4 + 922*x2^2*y4 + 921*x3*x1*y4 + 164*x2*x1*y4 + 196*x1^2*y4 + 484*x3*x0*y4 + 331*x2*x0*y4 + 463*x1*x0*y4 + 733*x0^2*y4 + 899*x3^2*y3 + 874*x3*x2*y3 + x2^2*y3 + 954*x3*x1*y3 + 358*x2*x1*y3 + 464*x1^2*y3 + 344*x3*x0*y3 + 147*x2*x0*y3 + 749*x1*x0*y3 + 462*x0^2*y3 + 189*x3^2*y2 + 45*x3*x2*y2 + 467*x2^2*y2 + 501*x3*x1*y2 + 516*x2*x1*y2 + 271*x1^2*y2 + 983*x3*x0*y2 + 581*x2*x0*y2 + 626*x1*x0*y2 + 562*x0^2*y2 + 979*x3^2*y1 + 871*x3*x2*y1 + 296*x2^2*y1 + 579*x3*x1*y1 + 431*x2*x1*y1 + 727*x1^2*y1 + 621*x3*x0*y1 + 109*x2*x0*y1 + 643*x1*x0*y1 + 803*x0^2*y1 + 222*x3^2*y0 + 341*x3*x2*y0 + 399*x2^2*y0 + 209*x3*x1*y0 + 665*x2*x1*y0 + 644*x1^2*y0 + 752*x3*x0*y0 + 351*x2*x0*y0 + 418*x1*x0*y0 + 16692*x0^2*y0, 666*x3^2*y6 + 365*x3*x2*y6 + 190*x2^2*y6 + 42*x3*x1*y6 + 435*x2*x1*y6 + 619*x1^2*y6 + 490*x3*x0*y6 + 617*x2*x0*y6 + 542*x1*x0*y6 + 516*x0^2*y6 + 822*x3^2*y5 + 349*x3*x2*y5 + 243*x2^2*y5 + 160*x3*x1*y5 + 833*x2*x1*y5 + 758*x1^2*y5 + 693*x3*x0*y5 + 993*x2*x0*y5 + 866*x1*x0*y5 + 910*x0^2*y5 + 50*x3^2*y4 + 947*x3*x2*y4 + 315*x2^2*y4 + 941*x3*x1*y4 + 766*x2*x1*y4 + 963*x1^2*y4 + 455*x3*x0*y4 + 821*x2*x0*y4 + 334*x1*x0*y4 + 495*x0^2*y4 + 929*x3^2*y3 + 85*x3*x2*y3 + 140*x2^2*y3 + 262*x3*x1*y3 + 590*x2*x1*y3 + 136*x1^2*y3 + 921*x3*x0*y3 + 436*x2*x0*y3 + 587*x1*x0*y3 + 857*x0^2*y3 + 484*x3^2*y2 + 807*x3*x2*y2 + 650*x2^2*y2 + 134*x3*x1*y2 + 716*x2*x1*y2 + 286*x1^2*y2 + 965*x3*x0*y2 + 330*x2*x0*y2 + 435*x1*x0*y2 + 84*x0^2*y2 + 585*x3^2*y1 + 231*x3*x2*y1 + 591*x2^2*y1 + 80*x3*x1*y1 + 36*x2*x1*y1 + 25*x1^2*y1 + 89*x3*x0*y1 + 735*x2*x0*y1 + 376*x1*x0*y1 + 510*x0^2*y1 + 543*x3^2*y0 + 749*x3*x2*y0 + 840*x2^2*y0 + 873*x3*x1*y0 + 13*x2*x1*y0 + 410*x1^2*y0 + 458*x3*x0*y0 + 463*x2*x0*y0 + 595*x1*x0*y0 + 31051*x0^2*y0, 144*x3^2*y6 + 86*x3*x2*y6 + 207*x2^2*y6 + 150*x3*x1*y6 + 179*x2*x1*y6 + 240*x1^2*y6 + 913*x3*x0*y6 + 782*x2*x0*y6 + 241*x1*x0*y6 + 514*x0^2*y6 + 129*x3^2*y5 + 641*x3*x2*y5 + 446*x2^2*y5 + 947*x3*x1*y5 + 627*x2*x1*y5 + 694*x1^2*y5 + 76*x3*x0*y5 + 875*x2*x0*y5 + 807*x1*x0*y5 + 312*x0^2*y5 + 592*x3^2*y4 + 202*x3*x2*y4 + 532*x2^2*y4 + 177*x3*x1*y4 + 887*x2*x1*y4 + 373*x1^2*y4 + 56*x3*x0*y4 + 150*x2*x0*y4 + 246*x1*x0*y4 + 803*x0^2*y4 + 568*x3^2*y3 + 357*x3*x2*y3 + 763*x2^2*y3 + 586*x3*x1*y3 + 331*x2*x1*y3 + 473*x1^2*y3 + 817*x3*x0*y3 + 67*x2*x0*y3 + 738*x1*x0*y3 + 807*x0^2*y3 + 697*x3^2*y2 + 565*x3*x2*y2 + 140*x2^2*y2 + 461*x3*x1*y2 + 420*x2*x1*y2 + 119*x1^2*y2 + 842*x3*x0*y2 + 372*x2*x0*y2 + 293*x1*x0*y2 + 301*x0^2*y2 + 851*x3^2*y1 + 203*x3*x2*y1 + 110*x2^2*y1 + 45*x3*x1*y1 + 295*x2*x1*y1 + 715*x1^2*y1 + 142*x3*x0*y1 + 278*x2*x0*y1 + 578*x1*x0*y1 + 368*x0^2*y1 + 385*x3^2*y0 + 56*x3*x2*y0 + 229*x2^2*y0 + 953*x3*x1*y0 + 666*x2*x1*y0 + 272*x1^2*y0 + 94*x3*x0*y0 + 468*x2*x0*y0 + 833*x1*x0*y0 + 19641*x0^2*y0, 224*x3^2*y6 + 35*x3*x2*y6 + 560*x2^2*y6 + 377*x3*x1*y6 + 722*x2*x1*y6 + 258*x1^2*y6 + 854*x3*x0*y6 + 115*x2*x0*y6 + 562*x1*x0*y6 + 501*x0^2*y6 + 726*x3^2*y5 + 929*x3*x2*y5 + 735*x2^2*y5 + 71*x3*x1*y5 + 963*x2*x1*y5 + 744*x1^2*y5 + 831*x3*x0*y5 + 599*x2*x0*y5 + 487*x1*x0*y5 + 56*x0^2*y5 + 334*x3^2*y4 + 596*x3*x2*y4 + 248*x2^2*y4 + 508*x3*x1*y4 + 772*x2*x1*y4 + 971*x1^2*y4 + 134*x3*x0*y4 + 117*x2*x0*y4 + 988*x1*x0*y4 + 43*x0^2*y4 + 167*x3^2*y3 + 868*x3*x2*y3 + 932*x2^2*y3 + 942*x3*x1*y3 + 380*x2*x1*y3 + 942*x1^2*y3 + 229*x3*x0*y3 + 116*x2*x0*y3 + 142*x1*x0*y3 + 5*x0^2*y3 + 106*x3^2*y2 + 837*x3*x2*y2 + 792*x2^2*y2 + 226*x3*x1*y2 + 604*x2*x1*y2 + 825*x1^2*y2 + 620*x3*x0*y2 + 70*x2*x0*y2 + 246*x1*x0*y2 + 130*x0^2*y2 + 324*x3^2*y1 + 991*x3*x2*y1 + 682*x2^2*y1 + 381*x3*x1*y1 + 540*x2*x1*y1 + 4*x1^2*y1 + 820*x3*x0*y1 + 71*x2*x0*y1 + 722*x1*x0*y1 + 439*x0^2*y1 + 119*x3^2*y0 + 960*x3*x2*y0 + 541*x2^2*y0 + 539*x3*x1*y0 + 257*x2*x1*y0 + 866*x1^2*y0 + 331*x3*x0*y0 + 555*x2*x0*y0 + 987*x1*x0*y0 + 38185*x0^2*y0, 401*x3^2*y6 + 901*x3*x2*y6 + 361*x2^2*y6 + 36*x3*x1*y6 + 850*x2*x1*y6 + 773*x1^2*y6 + 773*x3*x0*y6 + 373*x2*x0*y6 + 852*x1*x0*y6 + 567*x0^2*y6 + 138*x3^2*y5 + 277*x3*x2*y5 + 815*x2^2*y5 + 853*x3*x1*y5 + 187*x2*x1*y5 + 998*x1^2*y5 + 483*x3*x0*y5 + 564*x2*x0*y5 + 418*x1*x0*y5 + 854*x0^2*y5 + 714*x3^2*y4 + 820*x3*x2*y4 + 183*x2^2*y4 + 546*x3*x1*y4 + 510*x2*x1*y4 + 530*x1^2*y4 + 417*x3*x0*y4 + 907*x2*x0*y4 + 746*x1*x0*y4 + 771*x0^2*y4 + 56*x3^2*y3 + 829*x3*x2*y3 + 587*x2^2*y3 + 840*x3*x1*y3 + 27*x2*x1*y3 + 597*x1^2*y3 + 912*x3*x0*y3 + 515*x2*x0*y3 + 247*x1*x0*y3 + 739*x0^2*y3 + 380*x3^2*y2 + 760*x3*x2*y2 + 264*x2^2*y2 + 33*x3*x1*y2 + 440*x2*x1*y2 + 94*x1^2*y2 + 53*x3*x0*y2 + 635*x2*x0*y2 + 151*x1*x0*y2 + 581*x0^2*y2 + 264*x3^2*y1 + 765*x3*x2*y1 + 105*x2^2*y1 + 308*x3*x1*y1 + 960*x2*x1*y1 + 248*x1^2*y1 + 668*x3*x0*y1 + 213*x2*x0*y1 + 522*x1*x0*y1 + 779*x3^2*y0 + 642*x3*x2*y0 + 167*x2^2*y0 + 98*x3*x1*y0 + 862*x2*x1*y0 + 785*x1^2*y0 + 758*x3*x0*y0 + 474*x2*x0*y0 + 243*x1*x0*y0 + 18123*x0^2*y0, 370*x3^2*y6 + 42*x3*x2*y6 + 837*x2^2*y6 + 606*x3*x1*y6 + 93*x2*x1*y6 + 169*x1^2*y6 + 355*x3*x0*y6 + 969*x2*x0*y6 + 898*x1*x0*y6 + 570*x0^2*y6 + 424*x3^2*y5 + 503*x3*x2*y5 + 195*x2^2*y5 + 933*x3*x1*y5 + 119*x2*x1*y5 + 406*x1^2*y5 + 903*x3*x0*y5 + 25*x2*x0*y5 + 832*x1*x0*y5 + 60*x0^2*y5 + 717*x3^2*y4 + 257*x3*x2*y4 + 334*x2^2*y4 + 933*x3*x1*y4 + 98*x2*x1*y4 + 869*x1^2*y4 + 153*x3*x0*y4 + 782*x2*x0*y4 + 894*x1*x0*y4 + 666*x0^2*y4 + 733*x3^2*y3 + 957*x3*x2*y3 + 101*x2^2*y3 + 574*x3*x1*y3 + 195*x2*x1*y3 + 798*x1^2*y3 + 753*x3*x0*y3 + 944*x2*x0*y3 + 3*x1*x0*y3 + 13*x0^2*y3 + 823*x3^2*y2 + 39*x3*x2*y2 + 321*x2^2*y2 + 559*x3*x1*y2 + 667*x2*x1*y2 + 594*x1^2*y2 + 883*x3*x0*y2 + 294*x2*x0*y2 + 372*x1*x0*y2 + 866*x0^2*y2 + 344*x3^2*y1 + 523*x3*x2*y1 + 8*x2^2*y1 + 171*x3*x1*y1 + 335*x2*x1*y1 + 462*x1^2*y1 + 791*x3*x0*y1 + 712*x2*x0*y1 + 759*x1*x0*y1 + 97*x0^2*y1 + 802*x3^2*y0 + 843*x3*x2*y0 + 982*x2^2*y0 + 427*x3*x1*y0 + 299*x2*x1*y0 + 50*x1^2*y0 + 576*x3*x0*y0 + 200*x2*x0*y0 + 420*x1*x0*y0 + 33924*x0^2*y0, 543*x3^2*y6 + 621*x3*x2*y6 + 84*x2^2*y6 + 373*x3*x1*y6 + 817*x2*x1*y6 + 250*x1^2*y6 + 606*x3*x0*y6 + 719*x2*x0*y6 + 778*x1*x0*y6 + 73*x0^2*y6 + 918*x3^2*y5 + 129*x3*x2*y5 + 118*x2^2*y5 + 700*x3*x1*y5 + 500*x2*x1*y5 + 694*x1^2*y5 + 342*x3*x0*y5 + 580*x2*x0*y5 + 418*x1*x0*y5 + 37*x0^2*y5 + 434*x3^2*y4 + 167*x3*x2*y4 + 106*x2^2*y4 + 441*x3*x1*y4 + 874*x2*x1*y4 + 980*x1^2*y4 + 381*x3*x0*y4 + 685*x2*x0*y4 + 655*x1*x0*y4 + 707*x0^2*y4 + 546*x3^2*y3 + 938*x3*x2*y3 + 528*x2^2*y3 + 239*x3*x1*y3 + 603*x2*x1*y3 + 469*x1^2*y3 + 547*x3*x0*y3 + 849*x2*x0*y3 + 775*x1*x0*y3 + 357*x0^2*y3 + 986*x3^2*y2 + 553*x3*x2*y2 + 368*x2^2*y2 + 948*x3*x1*y2 + 372*x2*x1*y2 + 806*x1^2*y2 + 432*x3*x0*y2 + 191*x2*x0*y2 + 29*x1*x0*y2 + 264*x0^2*y2 + 580*x3^2*y1 + 543*x3*x2*y1 + 648*x2^2*y1 + 728*x3*x1*y1 + 835*x2*x1*y1 + 494*x1^2*y1 + 991*x3*x0*y1 + 955*x2*x0*y1 + 645*x1*x0*y1 + 89*x0^2*y1 + 513*x3^2*y0 + 296*x3*x2*y0 + 24*x2^2*y0 + 248*x3*x1*y0 + 798*x2*x1*y0 + 289*x1^2*y0 + 481*x3*x0*y0 + 456*x2*x0*y0 + 602*x1*x0*y0 + 36434*x0^2*y0, 45*x3^2*y6 + 240*x3*x2*y6 + 50*x2^2*y6 + 106*x3*x1*y6 + 439*x2*x1*y6 + 67*x1^2*y6 + 993*x3*x0*y6 + 852*x2*x0*y6 + 105*x1*x0*y6 + 942*x0^2*y6 + 243*x3^2*y5 + 901*x3*x2*y5 + 237*x2^2*y5 + 737*x3*x1*y5 + 221*x2*x1*y5 + 938*x1^2*y5 + 923*x3*x0*y5 + 108*x2*x0*y5 + 76*x1*x0*y5 + 734*x0^2*y5 + 872*x3^2*y4 + 101*x3*x2*y4 + 706*x2^2*y4 + 615*x3*x1*y4 + 759*x2*x1*y4 + 507*x1^2*y4 + 737*x3*x0*y4 + 371*x2*x0*y4 + 139*x1*x0*y4 + 783*x0^2*y4 + 720*x3^2*y3 + 476*x3*x2*y3 + 755*x2^2*y3 + 580*x3*x1*y3 + 761*x2*x1*y3 + 516*x1^2*y3 + 606*x3*x0*y3 + 463*x2*x0*y3 + 923*x1*x0*y3 + 35*x0^2*y3 + 379*x3^2*y2 + 873*x3*x2*y2 + 102*x2^2*y2 + 720*x3*x1*y2 + 613*x2*x1*y2 + 997*x1^2*y2 + 388*x3*x0*y2 + 304*x2*x0*y2 + 241*x1*x0*y2 + 550*x0^2*y2 + 536*x3^2*y1 + 620*x3*x2*y1 + 201*x2^2*y1 + 763*x3*x1*y1 + 102*x2*x1*y1 + 519*x1^2*y1 + 964*x3*x0*y1 + 564*x2*x0*y1 + 237*x1*x0*y1 + 65*x0^2*y1 + 673*x3^2*y0 + 773*x3*x2*y0 + 162*x2^2*y0 + 328*x3*x1*y0 + 193*x2*x1*y0 + 529*x1^2*y0 + 701*x3*x0*y0 + 194*x2*x0*y0 + 262*x1*x0*y0 + 39048*x0^2*y0 ]