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

#list

[
794*x2^2*y7 + 71*x2*x1*y7 + 395*x1^2*y7 + 739*x2*x0*y7 + 514*x1*x0*y7 + 989*x0^2*y7 + 699*x2^2*y6 + 481*x2*x1*y6 + 802*x1^2*y6 + 938*x2*x0*y6 + 372*x1*x0*y6 + 687*x0^2*y6 + 476*x2^2*y5 + 148*x2*x1*y5 + 239*x1^2*y5 + 793*x2*x0*y5 + 546*x1*x0*y5 + 114*x0^2*y5 + 949*x2^2*y4 + 181*x2*x1*y4 + 257*x1^2*y4 + 622*x2*x0*y4 + 89*x1*x0*y4 + 775*x0^2*y4 + 309*x2^2*y3 + 821*x2*x1*y3 + 96*x1^2*y3 + 983*x2*x0*y3 + 365*x1*x0*y3 + 332*x0^2*y3 + 734*x2^2*y2 + 549*x2*x1*y2 + 777*x1^2*y2 + 980*x2*x0*y2 + 445*x1*x0*y2 + 705*x0^2*y2 + 250*x2^2*y1 + 323*x2*x1*y1 + 466*x1^2*y1 + 217*x2*x0*y1 + 743*x1*x0*y1 + 626*x0^2*y1 + 535*x2^2*y0 + 684*x2*x1*y0 + 420*x1^2*y0 + 752*x2*x0*y0 + 748*x1*x0*y0 + 26609*x0^2*y0,
777*x2^2*y7 + 334*x2*x1*y7 + 113*x1^2*y7 + 463*x2*x0*y7 + 206*x1*x0*y7 + 179*x0^2*y7 + 740*x2^2*y6 + 581*x2*x1*y6 + 132*x1^2*y6 + 995*x2*x0*y6 + 420*x1*x0*y6 + 174*x0^2*y6 + 610*x2^2*y5 + 779*x2*x1*y5 + 918*x1^2*y5 + 351*x2*x0*y5 + 306*x1*x0*y5 + 416*x0^2*y5 + 274*x2^2*y4 + 282*x2*x1*y4 + 878*x1^2*y4 + 635*x2*x0*y4 + 46*x1*x0*y4 + 805*x0^2*y4 + 178*x2^2*y3 + 851*x2*x1*y3 + 796*x1^2*y3 + 512*x2*x0*y3 + 395*x1*x0*y3 + 114*x0^2*y3 + 834*x2^2*y2 + 218*x2*x1*y2 + 308*x1^2*y2 + 377*x2*x0*y2 + 685*x1*x0*y2 + 904*x0^2*y2 + 95*x2^2*y1 + 372*x2*x1*y1 + 712*x1^2*y1 + 68*x2*x0*y1 + 178*x1*x0*y1 + 808*x0^2*y1 + 40*x2^2*y0 + 743*x2*x1*y0 + 29*x1^2*y0 + 166*x2*x0*y0 + 438*x1*x0*y0 + 51402*x0^2*y0,
335*x2^2*y7 + 542*x2*x1*y7 + 449*x1^2*y7 + 616*x2*x0*y7 + 171*x1*x0*y7 + 181*x0^2*y7 + 746*x2^2*y6 + 211*x2*x1*y6 + 90*x1^2*y6 + 538*x2*x0*y6 + 955*x1*x0*y6 + 402*x0^2*y6 + 705*x2^2*y5 + 305*x2*x1*y5 + 324*x1^2*y5 + 442*x2*x0*y5 + 238*x1*x0*y5 + 905*x0^2*y5 + 787*x2^2*y4 + 272*x2*x1*y4 + 669*x1^2*y4 + 896*x2*x0*y4 + 233*x1*x0*y4 + 999*x0^2*y4 + 916*x2^2*y3 + 869*x2*x1*y3 + 154*x1^2*y3 + 136*x2*x0*y3 + 515*x1*x0*y3 + 895*x0^2*y3 + 578*x2^2*y2 + 527*x2*x1*y2 + 378*x1^2*y2 + 729*x2*x0*y2 + 664*x1*x0*y2 + 108*x0^2*y2 + 82*x2^2*y1 + 198*x2*x1*y1 + 5*x1^2*y1 + 107*x2*x0*y1 + 157*x1*x0*y1 + 421*x0^2*y1 + 387*x2^2*y0 + 521*x2*x1*y0 + 261*x1^2*y0 + 306*x2*x0*y0 + 687*x1*x0*y0 + 55744*x0^2*y0,
922*x2^2*y7 + 107*x2*x1*y7 + 597*x1^2*y7 + 857*x2*x0*y7 + 572*x1*x0*y7 + 516*x0^2*y7 + 775*x2^2*y6 + 796*x2*x1*y6 + 906*x1^2*y6 + 529*x2*x0*y6 + 379*x1*x0*y6 + 312*x0^2*y6 + 411*x2^2*y5 + 15*x2*x1*y5 + 668*x1^2*y5 + 487*x2*x0*y5 + 934*x1*x0*y5 + 466*x0^2*y5 + 200*x2^2*y4 + 312*x2*x1*y4 + 467*x1^2*y4 + 622*x2*x0*y4 + 622*x1*x0*y4 + 354*x0^2*y4 + 345*x2^2*y3 + 556*x2*x1*y3 + 977*x1^2*y3 + 53*x2*x0*y3 + 406*x1*x0*y3 + 396*x0^2*y3 + 535*x2^2*y2 + 19*x2*x1*y2 + 767*x1^2*y2 + 230*x2*x0*y2 + 654*x1*x0*y2 + 811*x0^2*y2 + 214*x2^2*y1 + 8*x2*x1*y1 + 726*x1^2*y1 + 534*x2*x0*y1 + 219*x1*x0*y1 + 804*x0^2*y1 + 418*x2^2*y0 + 449*x2*x1*y0 + 1000*x1^2*y0 + 942*x2*x0*y0 + 256*x1*x0*y0 + 9793*x0^2*y0,
291*x2^2*y7 + 448*x2*x1*y7 + 911*x1^2*y7 + 115*x2*x0*y7 + 51*x1*x0*y7 + 940*x0^2*y7 + 577*x2^2*y6 + 491*x2*x1*y6 + 973*x1^2*y6 + 374*x2*x0*y6 + 437*x1*x0*y6 + 143*x0^2*y6 + 854*x2^2*y5 + 644*x2*x1*y5 + 453*x1^2*y5 + 630*x2*x0*y5 + 598*x1*x0*y5 + 197*x0^2*y5 + 908*x2^2*y4 + 335*x2*x1*y4 + 758*x1^2*y4 + 946*x2*x0*y4 + 313*x1*x0*y4 + 721*x0^2*y4 + 896*x2^2*y3 + 60*x2*x1*y3 + 708*x1^2*y3 + 657*x2*x0*y3 + 417*x1*x0*y3 + 479*x0^2*y3 + 280*x2^2*y2 + 399*x2*x1*y2 + 613*x1^2*y2 + 296*x2*x0*y2 + 98*x1*x0*y2 + 258*x0^2*y2 + 754*x2^2*y1 + 961*x2*x1*y1 + 989*x1^2*y1 + 209*x2*x0*y1 + 240*x1*x0*y1 + 912*x0^2*y1 + 699*x2^2*y0 + 844*x2*x1*y0 + 130*x1^2*y0 + 527*x2*x0*y0 + 554*x1*x0*y0 + 5645*x0^2*y0,
723*x2^2*y7 + 653*x2*x1*y7 + 322*x1^2*y7 + 880*x2*x0*y7 + 647*x1*x0*y7 + 143*x0^2*y7 + 456*x2^2*y6 + 266*x2*x1*y6 + 795*x1^2*y6 + 225*x2*x0*y6 + 908*x1*x0*y6 + 373*x0^2*y6 + 147*x2^2*y5 + 593*x2*x1*y5 + 944*x1^2*y5 + 407*x2*x0*y5 + 906*x1*x0*y5 + 50*x0^2*y5 + 29*x2^2*y4 + 650*x2*x1*y4 + 899*x1^2*y4 + 76*x2*x0*y4 + 492*x1*x0*y4 + 623*x0^2*y4 + 948*x2^2*y3 + 910*x2*x1*y3 + 132*x1^2*y3 + 856*x2*x0*y3 + 12*x1*x0*y3 + 854*x0^2*y3 + 924*x2^2*y2 + 235*x2*x1*y2 + 143*x1^2*y2 + 427*x2*x0*y2 + 745*x1*x0*y2 + 704*x0^2*y2 + 739*x2^2*y1 + 972*x2*x1*y1 + 928*x1^2*y1 + 485*x2*x0*y1 + 4*x1*x0*y1 + 262*x0^2*y1 + 109*x2^2*y0 + 714*x2*x1*y0 + 571*x1^2*y0 + 195*x2*x0*y0 + 953*x1*x0*y0 + 58549*x0^2*y0,
599*x2^2*y7 + 894*x2*x1*y7 + 783*x1^2*y7 + 176*x2*x0*y7 + 667*x1*x0*y7 + 987*x0^2*y7 + 116*x2^2*y6 + 291*x2*x1*y6 + 862*x1^2*y6 + 680*x2*x0*y6 + 24*x1*x0*y6 + 567*x0^2*y6 + 973*x2^2*y5 + 666*x2*x1*y5 + 35*x1^2*y5 + 51*x2*x0*y5 + 598*x1*x0*y5 + 606*x0^2*y5 + 596*x2^2*y4 + 420*x2*x1*y4 + 178*x1^2*y4 + 84*x2*x0*y4 + 802*x1*x0*y4 + 917*x0^2*y4 + 960*x2^2*y3 + 579*x2*x1*y3 + 326*x1^2*y3 + 869*x2*x0*y3 + 679*x1*x0*y3 + 187*x0^2*y3 + 4*x2^2*y2 + 619*x2*x1*y2 + 833*x1^2*y2 + 727*x2*x0*y2 + 741*x1*x0*y2 + 869*x0^2*y2 + 421*x2^2*y1 + 147*x2*x1*y1 + 5*x1^2*y1 + 216*x2*x0*y1 + 240*x1*x0*y1 + 847*x0^2*y1 + 257*x2^2*y0 + 604*x2*x1*y0 + 396*x1^2*y0 + 843*x2*x0*y0 + 815*x1*x0*y0 + 14177*x0^2*y0,
907*x2^2*y7 + 353*x2*x1*y7 + 415*x1^2*y7 + 841*x2*x0*y7 + 810*x1*x0*y7 + 865*x0^2*y7 + 922*x2^2*y6 + 195*x2*x1*y6 + 698*x1^2*y6 + 410*x2*x0*y6 + 380*x1*x0*y6 + 318*x0^2*y6 + 951*x2^2*y5 + 927*x2*x1*y5 + 595*x1^2*y5 + 943*x2*x0*y5 + 289*x1*x0*y5 + 45*x0^2*y5 + 893*x2^2*y4 + 164*x2*x1*y4 + 355*x1^2*y4 + 903*x2*x0*y4 + 516*x1*x0*y4 + 511*x0^2*y4 + 108*x2^2*y3 + 196*x2*x1*y3 + 523*x1^2*y3 + 884*x2*x0*y3 + 865*x1*x0*y3 + 205*x0^2*y3 + 113*x2^2*y2 + 243*x2*x1*y2 + 315*x1^2*y2 + 277*x2*x0*y2 + 391*x1*x0*y2 + 229*x0^2*y2 + 220*x2^2*y1 + 421*x2*x1*y1 + 585*x1^2*y1 + 817*x2*x0*y1 + 25*x1*x0*y1 + 647*x2^2*y0 + 109*x2*x1*y0 + 871*x1^2*y0 + 268*x2*x0*y0 + 694*x1*x0*y0 + 12336*x0^2*y0,
996*x2^2*y7 + 388*x2*x1*y7 + 46*x1^2*y7 + 44*x2*x0*y7 + 445*x1*x0*y7 + 893*x0^2*y7 + 267*x2^2*y6 + 302*x2*x1*y6 + 308*x1^2*y6 + 129*x2*x0*y6 + 34*x1*x0*y6 + 593*x0^2*y6 + 580*x2^2*y5 + 835*x2*x1*y5 + 495*x1^2*y5 + 14*x2*x0*y5 + 334*x1*x0*y5 + 717*x0^2*y5 + 114*x2^2*y4 + 797*x2*x1*y4 + 193*x1^2*y4 + 688*x2*x0*y4 + 991*x1*x0*y4 + 485*x0^2*y4 + 462*x2^2*y3 + 336*x2*x1*y3 + 389*x1^2*y3 + 794*x2*x0*y3 + 104*x1*x0*y3 + 12*x0^2*y3 + 569*x2^2*y2 + 330*x2*x1*y2 + 18*x1^2*y2 + 764*x2*x0*y2 + 544*x1*x0*y2 + 299*x0^2*y2 + 316*x2^2*y1 + 303*x2*x1*y1 + 571*x1^2*y1 + 522*x2*x0*y1 + 229*x1*x0*y1 + 57*x0^2*y1 + 306*x2^2*y0 + 439*x2*x1*y0 + 162*x1^2*y0 + 235*x2*x0*y0 + 691*x1*x0*y0 + 12026*x0^2*y0,
904*x2^2*y7 + 398*x2*x1*y7 + 73*x1^2*y7 + 548*x2*x0*y7 + 231*x1*x0*y7 + 303*x0^2*y7 + 377*x2^2*y6 + 57*x2*x1*y6 + 810*x1^2*y6 + 317*x2*x0*y6 + 48*x1*x0*y6 + 582*x0^2*y6 + 621*x2^2*y5 + 2*x2*x1*y5 + 929*x1^2*y5 + 220*x2*x0*y5 + 434*x1*x0*y5 + 952*x0^2*y5 + 445*x2^2*y4 + 611*x2*x1*y4 + 797*x1^2*y4 + 610*x2*x0*y4 + 406*x1*x0*y4 + 233*x0^2*y4 + 585*x2^2*y3 + 692*x2*x1*y3 + 730*x1^2*y3 + 837*x2*x0*y3 + 698*x1*x0*y3 + 103*x0^2*y3 + 912*x2^2*y2 + 35*x2*x1*y2 + 346*x1^2*y2 + 762*x2*x0*y2 + 886*x1*x0*y2 + 247*x0^2*y2 + 745*x2^2*y1 + 635*x2*x1*y1 + 206*x1^2*y1 + 308*x2*x0*y1 + 890*x1*x0*y1 + 834*x0^2*y1 + 77*x2^2*y0 + 913*x2*x1*y0 + 154*x1^2*y0 + 579*x2*x0*y0 + 198*x1*x0*y0 + 57712*x0^2*y0,
929*x2^2*y7 + 954*x2*x1*y7 + 133*x1^2*y7 + 670*x2*x0*y7 + 33*x1*x0*y7 + 167*x0^2*y7 + 52*x2^2*y6 + 501*x2*x1*y6 + 292*x1^2*y6 + 118*x2*x0*y6 + 260*x1*x0*y6 + 984*x0^2*y6 + 271*x2^2*y5 + 702*x2*x1*y5 + 990*x1^2*y5 + 72*x2*x0*y5 + 393*x1*x0*y5 + 458*x0^2*y5 + 702*x2^2*y4 + 426*x2*x1*y4 + 350*x1^2*y4 + 434*x2*x0*y4 + 287*x1*x0*y4 + 197*x0^2*y4 + 537*x2^2*y3 + 887*x2*x1*y3 + 460*x1^2*y3 + 956*x2*x0*y3 + 736*x1*x0*y3 + 81*x0^2*y3 + 619*x2^2*y2 + 123*x2*x1*y2 + 50*x1^2*y2 + 156*x2*x0*y2 + 833*x1*x0*y2 + 680*x0^2*y2 + 444*x2^2*y1 + 144*x2*x1*y1 + 409*x1^2*y1 + 710*x2*x0*y1 + 404*x1*x0*y1 + 726*x0^2*y1 + 797*x2^2*y0 + 969*x2*x1*y0 + 581*x1^2*y0 + 772*x2*x0*y0 + 73*x1*x0*y0 + 53643*x0^2*y0,
688*x2^2*y7 + 243*x2*x1*y7 + 770*x1^2*y7 + 173*x2*x0*y7 + 630*x1*x0*y7 + 426*x0^2*y7 + 682*x2^2*y6 + 80*x2*x1*y6 + 232*x1^2*y6 + 322*x2*x0*y6 + 307*x1*x0*y6 + 546*x0^2*y6 + 152*x2^2*y5 + 154*x2*x1*y5 + 972*x1^2*y5 + 740*x2*x0*y5 + 455*x1*x0*y5 + 479*x0^2*y5 + 145*x2^2*y4 + 526*x2*x1*y4 + 295*x1^2*y4 + 518*x2*x0*y4 + 42*x1*x0*y4 + 699*x0^2*y4 + 852*x2^2*y3 + 478*x2*x1*y3 + 282*x1^2*y3 + 412*x2*x0*y3 + 634*x1*x0*y3 + 539*x0^2*y3 + 83*x2^2*y2 + 417*x2*x1*y2 + 340*x1^2*y2 + 706*x2*x0*y2 + 91*x1*x0*y2 + 192*x0^2*y2 + 534*x2^2*y1 + 798*x2*x1*y1 + 500*x1^2*y1 + 132*x2*x0*y1 + 21*x1*x0*y1 + 892*x0^2*y1 + 425*x2^2*y0 + 831*x2*x1*y0 + 643*x1^2*y0 + 898*x2*x0*y0 + 17*x1*x0*y0 + 63678*x0^2*y0,
971*x2^2*y7 + 521*x2*x1*y7 + 227*x1^2*y7 + 405*x2*x0*y7 + 101*x1*x0*y7 + 784*x0^2*y7 + 907*x2^2*y6 + 638*x2*x1*y6 + 135*x1^2*y6 + 211*x2*x0*y6 + 816*x1*x0*y6 + 956*x0^2*y6 + 131*x2^2*y5 + 576*x2*x1*y5 + 90*x1^2*y5 + 676*x2*x0*y5 + 30*x1*x0*y5 + 193*x0^2*y5 + 685*x2^2*y4 + 562*x2*x1*y4 + 584*x1^2*y4 + 621*x2*x0*y4 + 280*x1*x0*y4 + 836*x0^2*y4 + 445*x2^2*y3 + 610*x2*x1*y3 + 119*x1^2*y3 + 214*x2*x0*y3 + 18*x1*x0*y3 + 970*x0^2*y3 + 219*x2^2*y2 + 427*x2*x1*y2 + 637*x1^2*y2 + 196*x2*x0*y2 + 698*x1*x0*y2 + 159*x0^2*y2 + 535*x2^2*y1 + 500*x2*x1*y1 + 69*x1^2*y1 + 428*x2*x0*y1 + 501*x1*x0*y1 + 607*x0^2*y1 + 159*x2^2*y0 + 53*x2*x1*y0 + 446*x1^2*y0 + 554*x2*x0*y0 + 83*x1*x0*y0 + 2911*x0^2*y0
]