#vars [x9,x8,x7,x6,x5,x4,x3,x2,x1,x0,y2,y1,y0]

#list

[
524*x9^2*y2 + 529*x9*x8*y2 + 121*x8^2*y2 + 893*x9*x7*y2 + 335*x8*x7*y2 + 828*x7^2*y2 + 195*x9*x6*y2 + 250*x8*x6*y2 + 829*x7*x6*y2 + 992*x6^2*y2 + 176*x9*x5*y2 + 589*x8*x5*y2 + 248*x7*x5*y2 + 785*x6*x5*y2 + 756*x5^2*y2 + 624*x9*x4*y2 + 897*x8*x4*y2 + 266*x7*x4*y2 + 422*x6*x4*y2 + 809*x5*x4*y2 + 57*x4^2*y2 + 696*x9*x3*y2 + 415*x8*x3*y2 + 837*x7*x3*y2 + 16*x6*x3*y2 + 175*x5*x3*y2 + 153*x4*x3*y2 + 388*x3^2*y2 + 502*x9*x2*y2 + 188*x8*x2*y2 + 101*x7*x2*y2 + 347*x6*x2*y2 + 527*x5*x2*y2 + 229*x4*x2*y2 + 990*x3*x2*y2 + 135*x2^2*y2 + 693*x9*x1*y2 + 851*x8*x1*y2 + 216*x7*x1*y2 + 566*x6*x1*y2 + 273*x5*x1*y2 + 832*x4*x1*y2 + 873*x3*x1*y2 + 322*x2*x1*y2 + 874*x1^2*y2 + 659*x9*x0*y2 + 108*x8*x0*y2 + 611*x7*x0*y2 + 940*x6*x0*y2 + 740*x5*x0*y2 + 114*x4*x0*y2 + 755*x3*x0*y2 + 159*x2*x0*y2 + 499*x1*x0*y2 + 501*x0^2*y2 + 62*x9^2*y1 + 627*x9*x8*y1 + 580*x8^2*y1 + 485*x9*x7*y1 + 690*x8*x7*y1 + 58*x7^2*y1 + 362*x9*x6*y1 + 383*x8*x6*y1 + 910*x7*x6*y1 + 594*x6^2*y1 + 607*x9*x5*y1 + 510*x8*x5*y1 + 418*x7*x5*y1 + 801*x6*x5*y1 + 748*x5^2*y1 + 962*x9*x4*y1 + 732*x8*x4*y1 + 375*x7*x4*y1 + 87*x6*x4*y1 + 477*x5*x4*y1 + 126*x4^2*y1 + 281*x9*x3*y1 + 302*x8*x3*y1 + 113*x7*x3*y1 + 132*x6*x3*y1 + 600*x5*x3*y1 + 744*x4*x3*y1 + 727*x3^2*y1 + 654*x9*x2*y1 + 664*x8*x2*y1 + 624*x7*x2*y1 + 844*x6*x2*y1 + 876*x5*x2*y1 + 602*x4*x2*y1 + 186*x3*x2*y1 + 235*x2^2*y1 + 639*x9*x1*y1 + 676*x8*x1*y1 + 660*x7*x1*y1 + 109*x6*x1*y1 + 994*x5*x1*y1 + 447*x4*x1*y1 + 322*x3*x1*y1 + 683*x2*x1*y1 + 747*x1^2*y1 + 450*x9*x0*y1 + 515*x8*x0*y1 + 78*x7*x0*y1 + 249*x6*x0*y1 + 839*x5*x0*y1 + 187*x4*x0*y1 + 766*x3*x0*y1 + 600*x2*x0*y1 + 454*x1*x0*y1 + 571*x0^2*y1 + 380*x9^2*y0 + 575*x9*x8*y0 + 702*x8^2*y0 + 407*x9*x7*y0 + 662*x8*x7*y0 + 403*x7^2*y0 + 22*x9*x6*y0 + 768*x8*x6*y0 + 615*x7*x6*y0 + 755*x6^2*y0 + 408*x9*x5*y0 + 373*x8*x5*y0 + 584*x7*x5*y0 + 345*x6*x5*y0 + 910*x5^2*y0 + 249*x9*x4*y0 + 834*x8*x4*y0 + 267*x7*x4*y0 + 830*x6*x4*y0 + 619*x5*x4*y0 + 886*x4^2*y0 + 509*x9*x3*y0 + 273*x8*x3*y0 + 996*x7*x3*y0 + 226*x6*x3*y0 + 548*x5*x3*y0 + 17*x4*x3*y0 + 741*x3^2*y0 + 415*x9*x2*y0 + 89*x8*x2*y0 + 926*x7*x2*y0 + 761*x6*x2*y0 + 939*x5*x2*y0 + 670*x4*x2*y0 + 495*x3*x2*y0 + 693*x2^2*y0 + 567*x9*x1*y0 + 679*x8*x1*y0 + 802*x7*x1*y0 + 902*x6*x1*y0 + 647*x5*x1*y0 + 844*x4*x1*y0 + 711*x3*x1*y0 + 22*x2*x1*y0 + 985*x1^2*y0 + 743*x9*x0*y0 + 331*x8*x0*y0 + 884*x7*x0*y0 + 825*x6*x0*y0 + 390*x5*x0*y0 + 915*x4*x0*y0 + 456*x3*x0*y0 + 349*x2*x0*y0 + 204*x1*x0*y0 + 38960*x0^2*y0,
838*x9^2*y2 + 676*x9*x8*y2 + 309*x8^2*y2 + 558*x9*x7*y2 + 974*x8*x7*y2 + 544*x7^2*y2 + 616*x9*x6*y2 + 165*x8*x6*y2 + 595*x7*x6*y2 + 14*x6^2*y2 + 560*x9*x5*y2 + 901*x8*x5*y2 + 921*x7*x5*y2 + 678*x6*x5*y2 + 823*x5^2*y2 + 952*x9*x4*y2 + 244*x8*x4*y2 + 937*x7*x4*y2 + 802*x6*x4*y2 + 935*x5*x4*y2 + 418*x4^2*y2 + 489*x9*x3*y2 + 294*x8*x3*y2 + 382*x7*x3*y2 + 834*x6*x3*y2 + 299*x5*x3*y2 + 209*x4*x3*y2 + 152*x3^2*y2 + 6*x9*x2*y2 + 519*x8*x2*y2 + 126*x7*x2*y2 + 968*x6*x2*y2 + 560*x5*x2*y2 + 101*x4*x2*y2 + 124*x3*x2*y2 + 256*x2^2*y2 + 37*x9*x1*y2 + 98*x8*x1*y2 + 743*x7*x1*y2 + 231*x6*x1*y2 + 882*x5*x1*y2 + 475*x4*x1*y2 + 351*x3*x1*y2 + 689*x2*x1*y2 + 803*x1^2*y2 + 767*x9*x0*y2 + 682*x8*x0*y2 + 177*x7*x0*y2 + 3*x6*x0*y2 + 356*x5*x0*y2 + 693*x4*x0*y2 + 504*x3*x0*y2 + 215*x2*x0*y2 + 800*x1*x0*y2 + 716*x0^2*y2 + 713*x9^2*y1 + 645*x9*x8*y1 + 14*x8^2*y1 + 888*x9*x7*y1 + 650*x8*x7*y1 + 717*x7^2*y1 + 974*x9*x6*y1 + 186*x8*x6*y1 + 106*x7*x6*y1 + 31*x6^2*y1 + 244*x9*x5*y1 + 891*x8*x5*y1 + 950*x7*x5*y1 + 837*x6*x5*y1 + 140*x5^2*y1 + 451*x9*x4*y1 + 496*x8*x4*y1 + 257*x7*x4*y1 + 202*x6*x4*y1 + 864*x5*x4*y1 + 312*x4^2*y1 + 471*x9*x3*y1 + 737*x8*x3*y1 + 915*x7*x3*y1 + 751*x6*x3*y1 + 993*x5*x3*y1 + 313*x4*x3*y1 + 324*x3^2*y1 + 574*x9*x2*y1 + 29*x8*x2*y1 + 822*x7*x2*y1 + 996*x6*x2*y1 + 495*x5*x2*y1 + 583*x4*x2*y1 + 664*x3*x2*y1 + 540*x2^2*y1 + 950*x9*x1*y1 + 858*x8*x1*y1 + 351*x7*x1*y1 + 419*x6*x1*y1 + 82*x5*x1*y1 + 531*x4*x1*y1 + 69*x3*x1*y1 + 822*x2*x1*y1 + 456*x1^2*y1 + 753*x9*x0*y1 + 839*x8*x0*y1 + 416*x7*x0*y1 + 533*x6*x0*y1 + 216*x5*x0*y1 + 809*x4*x0*y1 + 66*x3*x0*y1 + 865*x2*x0*y1 + 548*x1*x0*y1 + 943*x0^2*y1 + 379*x9^2*y0 + 973*x9*x8*y0 + 744*x8^2*y0 + 112*x9*x7*y0 + 243*x8*x7*y0 + 438*x7^2*y0 + 370*x9*x6*y0 + 973*x8*x6*y0 + 945*x7*x6*y0 + 901*x6^2*y0 + 313*x9*x5*y0 + 83*x8*x5*y0 + 802*x7*x5*y0 + 599*x6*x5*y0 + 397*x5^2*y0 + 572*x9*x4*y0 + 312*x8*x4*y0 + 597*x7*x4*y0 + 424*x6*x4*y0 + 366*x5*x4*y0 + 570*x4^2*y0 + 328*x9*x3*y0 + 243*x8*x3*y0 + 84*x7*x3*y0 + 488*x6*x3*y0 + 130*x5*x3*y0 + 371*x4*x3*y0 + 433*x3^2*y0 + 308*x9*x2*y0 + 333*x8*x2*y0 + 97*x7*x2*y0 + 344*x6*x2*y0 + 294*x5*x2*y0 + 501*x4*x2*y0 + 212*x3*x2*y0 + 955*x2^2*y0 + 709*x9*x1*y0 + 490*x8*x1*y0 + 94*x7*x1*y0 + 133*x6*x1*y0 + 678*x5*x1*y0 + 786*x4*x1*y0 + 807*x3*x1*y0 + 611*x2*x1*y0 + 792*x1^2*y0 + 916*x9*x0*y0 + 464*x8*x0*y0 + 789*x7*x0*y0 + 589*x6*x0*y0 + 970*x5*x0*y0 + 767*x4*x0*y0 + 508*x3*x0*y0 + 25*x2*x0*y0 + 973*x1*x0*y0 + 64878*x0^2*y0,
805*x9^2*y2 + 530*x9*x8*y2 + 519*x8^2*y2 + 218*x9*x7*y2 + 117*x8*x7*y2 + 74*x7^2*y2 + 320*x9*x6*y2 + 491*x8*x6*y2 + 828*x7*x6*y2 + 29*x6^2*y2 + 143*x9*x5*y2 + 716*x8*x5*y2 + 707*x7*x5*y2 + 943*x6*x5*y2 + 575*x5^2*y2 + 128*x9*x4*y2 + 489*x8*x4*y2 + 947*x7*x4*y2 + 500*x6*x4*y2 + 137*x5*x4*y2 + 353*x4^2*y2 + 597*x9*x3*y2 + 781*x8*x3*y2 + 978*x7*x3*y2 + 154*x6*x3*y2 + 665*x5*x3*y2 + 764*x4*x3*y2 + 798*x3^2*y2 + 784*x9*x2*y2 + 308*x8*x2*y2 + 383*x7*x2*y2 + 186*x6*x2*y2 + 497*x5*x2*y2 + 636*x4*x2*y2 + 599*x3*x2*y2 + 562*x2^2*y2 + 519*x9*x1*y2 + 775*x8*x1*y2 + 914*x7*x1*y2 + 663*x6*x1*y2 + 120*x5*x1*y2 + 995*x4*x1*y2 + 318*x3*x1*y2 + 949*x2*x1*y2 + 847*x1^2*y2 + 533*x9*x0*y2 + 230*x8*x0*y2 + 270*x7*x0*y2 + 14*x6*x0*y2 + 671*x5*x0*y2 + 547*x4*x0*y2 + 601*x3*x0*y2 + 692*x2*x0*y2 + 56*x1*x0*y2 + 75*x0^2*y2 + 82*x9^2*y1 + 528*x9*x8*y1 + 836*x8^2*y1 + 352*x9*x7*y1 + 646*x8*x7*y1 + 112*x7^2*y1 + 715*x9*x6*y1 + 255*x8*x6*y1 + 870*x7*x6*y1 + 396*x6^2*y1 + 582*x9*x5*y1 + 473*x8*x5*y1 + 541*x7*x5*y1 + 623*x6*x5*y1 + 18*x5^2*y1 + 320*x9*x4*y1 + 700*x8*x4*y1 + 990*x7*x4*y1 + 921*x6*x4*y1 + 254*x5*x4*y1 + 617*x4^2*y1 + 818*x9*x3*y1 + 296*x8*x3*y1 + 718*x7*x3*y1 + 904*x6*x3*y1 + 491*x5*x3*y1 + 283*x4*x3*y1 + 60*x3^2*y1 + 34*x9*x2*y1 + 704*x8*x2*y1 + 360*x7*x2*y1 + 692*x6*x2*y1 + 561*x5*x2*y1 + 373*x4*x2*y1 + 258*x3*x2*y1 + 94*x2^2*y1 + 912*x9*x1*y1 + 716*x8*x1*y1 + 948*x7*x1*y1 + 783*x6*x1*y1 + 211*x5*x1*y1 + 302*x4*x1*y1 + 312*x3*x1*y1 + 27*x2*x1*y1 + 670*x1^2*y1 + 489*x9*x0*y1 + 814*x8*x0*y1 + 738*x7*x0*y1 + 143*x6*x0*y1 + 403*x5*x0*y1 + 122*x4*x0*y1 + 895*x3*x0*y1 + 497*x2*x0*y1 + 374*x1*x0*y1 + 768*x0^2*y1 + 473*x9^2*y0 + 857*x9*x8*y0 + 151*x8^2*y0 + 184*x9*x7*y0 + 792*x8*x7*y0 + 915*x7^2*y0 + 868*x9*x6*y0 + 274*x8*x6*y0 + 963*x7*x6*y0 + 176*x6^2*y0 + 174*x9*x5*y0 + 29*x8*x5*y0 + 615*x7*x5*y0 + 232*x6*x5*y0 + 30*x5^2*y0 + 617*x9*x4*y0 + 213*x8*x4*y0 + 116*x7*x4*y0 + 13*x6*x4*y0 + 225*x5*x4*y0 + 777*x4^2*y0 + 963*x9*x3*y0 + 992*x8*x3*y0 + 584*x7*x3*y0 + 950*x6*x3*y0 + 293*x5*x3*y0 + 471*x4*x3*y0 + 555*x3^2*y0 + 704*x9*x2*y0 + 98*x8*x2*y0 + 105*x7*x2*y0 + 740*x6*x2*y0 + 831*x5*x2*y0 + 295*x4*x2*y0 + 613*x3*x2*y0 + 629*x2^2*y0 + 207*x9*x1*y0 + 87*x8*x1*y0 + 597*x7*x1*y0 + 512*x6*x1*y0 + 926*x5*x1*y0 + 574*x4*x1*y0 + 300*x3*x1*y0 + 32*x2*x1*y0 + 564*x1^2*y0 + 377*x9*x0*y0 + 619*x8*x0*y0 + 265*x7*x0*y0 + 998*x6*x0*y0 + 176*x5*x0*y0 + 473*x4*x0*y0 + 114*x3*x0*y0 + 755*x2*x0*y0 + 911*x1*x0*y0 + 51525*x0^2*y0,
874*x9^2*y2 + 828*x9*x8*y2 + 913*x8^2*y2 + 76*x9*x7*y2 + 872*x8*x7*y2 + 326*x7^2*y2 + 156*x9*x6*y2 + 791*x8*x6*y2 + 613*x7*x6*y2 + 413*x6^2*y2 + 315*x9*x5*y2 + 78*x8*x5*y2 + 773*x7*x5*y2 + 692*x6*x5*y2 + 52*x5^2*y2 + 844*x9*x4*y2 + 792*x8*x4*y2 + 679*x7*x4*y2 + 903*x6*x4*y2 + 23*x5*x4*y2 + 697*x4^2*y2 + 794*x9*x3*y2 + 242*x8*x3*y2 + 754*x7*x3*y2 + 238*x6*x3*y2 + 458*x5*x3*y2 + 758*x4*x3*y2 + 795*x3^2*y2 + 301*x9*x2*y2 + 307*x8*x2*y2 + 484*x7*x2*y2 + 44*x6*x2*y2 + 311*x5*x2*y2 + 267*x4*x2*y2 + 925*x3*x2*y2 + 448*x2^2*y2 + x9*x1*y2 + 255*x8*x1*y2 + 547*x7*x1*y2 + 196*x6*x1*y2 + 404*x5*x1*y2 + 309*x4*x1*y2 + 758*x3*x1*y2 + 555*x2*x1*y2 + 414*x1^2*y2 + 942*x9*x0*y2 + 689*x8*x0*y2 + 622*x7*x0*y2 + 407*x6*x0*y2 + 294*x5*x0*y2 + 288*x4*x0*y2 + 462*x3*x0*y2 + 394*x2*x0*y2 + 372*x1*x0*y2 + 175*x0^2*y2 + 241*x9^2*y1 + 915*x9*x8*y1 + 402*x8^2*y1 + 968*x9*x7*y1 + 170*x8*x7*y1 + 594*x7^2*y1 + 730*x9*x6*y1 + 700*x8*x6*y1 + 170*x7*x6*y1 + 795*x6^2*y1 + 794*x9*x5*y1 + 220*x8*x5*y1 + 157*x7*x5*y1 + 847*x6*x5*y1 + 89*x5^2*y1 + 578*x9*x4*y1 + 810*x8*x4*y1 + 248*x7*x4*y1 + 25*x6*x4*y1 + 447*x5*x4*y1 + 577*x4^2*y1 + 87*x9*x3*y1 + 690*x8*x3*y1 + 48*x7*x3*y1 + 379*x6*x3*y1 + 838*x5*x3*y1 + 271*x4*x3*y1 + 438*x3^2*y1 + 990*x9*x2*y1 + 380*x8*x2*y1 + 818*x7*x2*y1 + 254*x6*x2*y1 + 683*x5*x2*y1 + 788*x4*x2*y1 + 959*x3*x2*y1 + 534*x2^2*y1 + 156*x9*x1*y1 + 200*x8*x1*y1 + 909*x7*x1*y1 + 316*x6*x1*y1 + 47*x5*x1*y1 + 925*x4*x1*y1 + 256*x3*x1*y1 + 331*x2*x1*y1 + 494*x1^2*y1 + 253*x9*x0*y1 + 702*x8*x0*y1 + 369*x7*x0*y1 + 226*x6*x0*y1 + 287*x5*x0*y1 + 499*x4*x0*y1 + 424*x3*x0*y1 + 250*x2*x0*y1 + 269*x1*x0*y1 + 678*x0^2*y1 + 520*x9^2*y0 + 373*x9*x8*y0 + 7*x8^2*y0 + 438*x9*x7*y0 + 717*x8*x7*y0 + 584*x7^2*y0 + 213*x9*x6*y0 + 547*x8*x6*y0 + 138*x7*x6*y0 + 184*x6^2*y0 + 26*x9*x5*y0 + 556*x8*x5*y0 + 76*x7*x5*y0 + 723*x6*x5*y0 + 754*x5^2*y0 + 538*x9*x4*y0 + 795*x8*x4*y0 + 926*x7*x4*y0 + 866*x6*x4*y0 + 513*x5*x4*y0 + 419*x4^2*y0 + 374*x9*x3*y0 + 367*x8*x3*y0 + 197*x7*x3*y0 + 420*x6*x3*y0 + 10*x5*x3*y0 + 663*x4*x3*y0 + 112*x3^2*y0 + 863*x9*x2*y0 + 913*x8*x2*y0 + 789*x7*x2*y0 + 410*x6*x2*y0 + 557*x5*x2*y0 + 677*x4*x2*y0 + 523*x3*x2*y0 + 795*x2^2*y0 + 418*x9*x1*y0 + 247*x8*x1*y0 + 58*x7*x1*y0 + 943*x6*x1*y0 + 101*x5*x1*y0 + 602*x4*x1*y0 + 901*x3*x1*y0 + 560*x2*x1*y0 + 969*x1^2*y0 + 326*x9*x0*y0 + 484*x8*x0*y0 + 494*x7*x0*y0 + 919*x6*x0*y0 + 874*x5*x0*y0 + 382*x4*x0*y0 + 648*x3*x0*y0 + 50*x2*x0*y0 + 631*x1*x0*y0 + 13694*x0^2*y0,
613*x9^2*y2 + 551*x9*x8*y2 + x8^2*y2 + 165*x9*x7*y2 + 940*x8*x7*y2 + 906*x7^2*y2 + 484*x9*x6*y2 + 1000*x8*x6*y2 + 425*x7*x6*y2 + 59*x6^2*y2 + 435*x9*x5*y2 + 120*x8*x5*y2 + 89*x7*x5*y2 + 626*x6*x5*y2 + 548*x5^2*y2 + 275*x9*x4*y2 + 821*x8*x4*y2 + 339*x7*x4*y2 + 395*x6*x4*y2 + 274*x5*x4*y2 + 173*x4^2*y2 + 952*x9*x3*y2 + 372*x8*x3*y2 + 114*x7*x3*y2 + 388*x6*x3*y2 + 912*x5*x3*y2 + 544*x4*x3*y2 + 696*x3^2*y2 + 996*x9*x2*y2 + 701*x8*x2*y2 + 146*x7*x2*y2 + 217*x6*x2*y2 + 669*x5*x2*y2 + 369*x4*x2*y2 + 724*x3*x2*y2 + 451*x2^2*y2 + 763*x9*x1*y2 + 531*x8*x1*y2 + 557*x7*x1*y2 + 141*x6*x1*y2 + 666*x5*x1*y2 + 641*x4*x1*y2 + 859*x3*x1*y2 + 944*x2*x1*y2 + 821*x1^2*y2 + 182*x9*x0*y2 + 771*x8*x0*y2 + 19*x7*x0*y2 + 321*x6*x0*y2 + 158*x5*x0*y2 + 716*x4*x0*y2 + 215*x3*x0*y2 + 739*x2*x0*y2 + 818*x1*x0*y2 + 124*x0^2*y2 + 223*x9^2*y1 + 506*x9*x8*y1 + 837*x8^2*y1 + 863*x9*x7*y1 + 496*x8*x7*y1 + 699*x7^2*y1 + 960*x9*x6*y1 + 216*x8*x6*y1 + 142*x7*x6*y1 + 477*x6^2*y1 + 623*x9*x5*y1 + 696*x8*x5*y1 + 248*x7*x5*y1 + 820*x6*x5*y1 + 778*x5^2*y1 + 811*x9*x4*y1 + 337*x8*x4*y1 + 892*x7*x4*y1 + 992*x6*x4*y1 + 231*x5*x4*y1 + 553*x4^2*y1 + 894*x9*x3*y1 + 477*x8*x3*y1 + 705*x7*x3*y1 + 647*x6*x3*y1 + 913*x5*x3*y1 + 176*x4*x3*y1 + 218*x3^2*y1 + 606*x9*x2*y1 + 881*x8*x2*y1 + 748*x7*x2*y1 + 60*x6*x2*y1 + 242*x5*x2*y1 + 244*x4*x2*y1 + 149*x3*x2*y1 + 872*x2^2*y1 + 782*x9*x1*y1 + 441*x8*x1*y1 + 367*x7*x1*y1 + 25*x6*x1*y1 + 217*x5*x1*y1 + 490*x4*x1*y1 + 322*x3*x1*y1 + 821*x2*x1*y1 + 722*x1^2*y1 + 427*x9*x0*y1 + 852*x8*x0*y1 + 643*x7*x0*y1 + 951*x6*x0*y1 + 398*x5*x0*y1 + 923*x4*x0*y1 + 333*x3*x0*y1 + 628*x2*x0*y1 + 632*x1*x0*y1 + 825*x0^2*y1 + 909*x9^2*y0 + 610*x9*x8*y0 + 959*x8^2*y0 + 507*x9*x7*y0 + 251*x8*x7*y0 + 830*x7^2*y0 + 114*x9*x6*y0 + 167*x8*x6*y0 + 191*x7*x6*y0 + 246*x6^2*y0 + 430*x9*x5*y0 + 201*x8*x5*y0 + 177*x7*x5*y0 + 537*x6*x5*y0 + 933*x5^2*y0 + 686*x9*x4*y0 + 477*x8*x4*y0 + 582*x7*x4*y0 + 678*x6*x4*y0 + 5*x5*x4*y0 + 207*x4^2*y0 + 212*x9*x3*y0 + 252*x8*x3*y0 + 157*x7*x3*y0 + 501*x6*x3*y0 + 570*x5*x3*y0 + 923*x4*x3*y0 + 500*x3^2*y0 + 174*x9*x2*y0 + 997*x8*x2*y0 + 4*x7*x2*y0 + 2*x6*x2*y0 + 442*x5*x2*y0 + 667*x4*x2*y0 + 275*x3*x2*y0 + 500*x2^2*y0 + 840*x9*x1*y0 + 332*x8*x1*y0 + 628*x7*x1*y0 + 501*x6*x1*y0 + 922*x5*x1*y0 + 425*x4*x1*y0 + 815*x3*x1*y0 + 174*x2*x1*y0 + 172*x1^2*y0 + 970*x9*x0*y0 + 376*x8*x0*y0 + 506*x7*x0*y0 + 985*x6*x0*y0 + 625*x5*x0*y0 + 74*x4*x0*y0 + 687*x3*x0*y0 + 612*x2*x0*y0 + 560*x1*x0*y0 + 46149*x0^2*y0,
333*x9^2*y2 + 895*x9*x8*y2 + 502*x8^2*y2 + 701*x9*x7*y2 + 450*x8*x7*y2 + 119*x7^2*y2 + 322*x9*x6*y2 + 372*x8*x6*y2 + 636*x7*x6*y2 + 682*x6^2*y2 + 496*x9*x5*y2 + 619*x8*x5*y2 + 600*x7*x5*y2 + 444*x6*x5*y2 + 633*x5^2*y2 + 309*x9*x4*y2 + 422*x8*x4*y2 + 24*x7*x4*y2 + 355*x6*x4*y2 + 854*x5*x4*y2 + 312*x4^2*y2 + 759*x9*x3*y2 + 566*x8*x3*y2 + 403*x7*x3*y2 + 477*x6*x3*y2 + 620*x5*x3*y2 + 929*x4*x3*y2 + 85*x3^2*y2 + 30*x9*x2*y2 + 560*x8*x2*y2 + 870*x7*x2*y2 + 296*x6*x2*y2 + 691*x5*x2*y2 + 128*x4*x2*y2 + 335*x3*x2*y2 + 991*x2^2*y2 + 491*x9*x1*y2 + 527*x8*x1*y2 + 46*x7*x1*y2 + 307*x6*x1*y2 + 915*x5*x1*y2 + 539*x4*x1*y2 + 176*x3*x1*y2 + 166*x2*x1*y2 + 392*x1^2*y2 + 231*x9*x0*y2 + 929*x8*x0*y2 + 177*x7*x0*y2 + 492*x6*x0*y2 + 916*x5*x0*y2 + 333*x4*x0*y2 + 162*x3*x0*y2 + 844*x2*x0*y2 + 875*x1*x0*y2 + 996*x0^2*y2 + 104*x9^2*y1 + 739*x9*x8*y1 + 287*x8^2*y1 + 629*x9*x7*y1 + 404*x8*x7*y1 + 821*x7^2*y1 + 418*x9*x6*y1 + 114*x8*x6*y1 + 377*x7*x6*y1 + 727*x6^2*y1 + 758*x9*x5*y1 + 341*x8*x5*y1 + 632*x7*x5*y1 + 520*x6*x5*y1 + 214*x5^2*y1 + 772*x9*x4*y1 + 701*x8*x4*y1 + 999*x7*x4*y1 + 79*x6*x4*y1 + 527*x5*x4*y1 + 501*x4^2*y1 + 118*x9*x3*y1 + 693*x8*x3*y1 + 177*x7*x3*y1 + 35*x6*x3*y1 + 51*x5*x3*y1 + 997*x4*x3*y1 + 821*x3^2*y1 + 201*x9*x2*y1 + 358*x8*x2*y1 + 808*x7*x2*y1 + 802*x6*x2*y1 + 85*x5*x2*y1 + 150*x4*x2*y1 + 604*x3*x2*y1 + 836*x2^2*y1 + 599*x9*x1*y1 + 150*x7*x1*y1 + 779*x6*x1*y1 + 291*x5*x1*y1 + 512*x4*x1*y1 + 923*x3*x1*y1 + 903*x2*x1*y1 + 983*x1^2*y1 + 205*x9*x0*y1 + 80*x8*x0*y1 + 431*x7*x0*y1 + 946*x6*x0*y1 + 941*x5*x0*y1 + 930*x4*x0*y1 + 707*x3*x0*y1 + 294*x2*x0*y1 + 153*x1*x0*y1 + 118*x0^2*y1 + 435*x9^2*y0 + 470*x9*x8*y0 + 711*x8^2*y0 + 373*x9*x7*y0 + 747*x8*x7*y0 + 956*x7^2*y0 + 243*x9*x6*y0 + 524*x8*x6*y0 + 31*x7*x6*y0 + 15*x6^2*y0 + 380*x9*x5*y0 + 387*x8*x5*y0 + 9*x7*x5*y0 + 974*x6*x5*y0 + 571*x5^2*y0 + 778*x9*x4*y0 + 852*x8*x4*y0 + 852*x7*x4*y0 + 238*x6*x4*y0 + 993*x5*x4*y0 + 750*x4^2*y0 + 607*x9*x3*y0 + 789*x8*x3*y0 + 40*x7*x3*y0 + 991*x6*x3*y0 + 511*x5*x3*y0 + 395*x4*x3*y0 + 87*x3^2*y0 + 294*x9*x2*y0 + 133*x8*x2*y0 + 417*x7*x2*y0 + 296*x6*x2*y0 + 394*x5*x2*y0 + 408*x4*x2*y0 + 35*x3*x2*y0 + 572*x2^2*y0 + 92*x9*x1*y0 + 317*x8*x1*y0 + 104*x7*x1*y0 + 220*x6*x1*y0 + 636*x5*x1*y0 + 537*x4*x1*y0 + 922*x3*x1*y0 + 660*x2*x1*y0 + 69*x1^2*y0 + 494*x9*x0*y0 + 266*x8*x0*y0 + 340*x7*x0*y0 + 650*x6*x0*y0 + 141*x5*x0*y0 + 958*x4*x0*y0 + 369*x3*x0*y0 + 622*x2*x0*y0 + 928*x1*x0*y0 + 29858*x0^2*y0,
994*x9^2*y2 + 73*x9*x8*y2 + 493*x8^2*y2 + 792*x9*x7*y2 + 869*x8*x7*y2 + 139*x7^2*y2 + 442*x9*x6*y2 + 421*x8*x6*y2 + 1000*x7*x6*y2 + 281*x6^2*y2 + 482*x9*x5*y2 + 777*x8*x5*y2 + 933*x7*x5*y2 + 924*x6*x5*y2 + 279*x5^2*y2 + 540*x9*x4*y2 + 228*x8*x4*y2 + 522*x7*x4*y2 + 178*x6*x4*y2 + 701*x5*x4*y2 + 743*x4^2*y2 + 562*x9*x3*y2 + 585*x8*x3*y2 + 880*x7*x3*y2 + 980*x6*x3*y2 + 413*x5*x3*y2 + 585*x4*x3*y2 + 962*x3^2*y2 + 749*x9*x2*y2 + 782*x8*x2*y2 + 487*x7*x2*y2 + 295*x6*x2*y2 + 125*x5*x2*y2 + 609*x4*x2*y2 + 839*x3*x2*y2 + 239*x2^2*y2 + 688*x9*x1*y2 + 346*x8*x1*y2 + 548*x7*x1*y2 + 173*x6*x1*y2 + 963*x5*x1*y2 + 691*x4*x1*y2 + 703*x3*x1*y2 + 614*x2*x1*y2 + 857*x1^2*y2 + 745*x9*x0*y2 + 780*x8*x0*y2 + 951*x7*x0*y2 + 477*x6*x0*y2 + 576*x5*x0*y2 + 915*x4*x0*y2 + 765*x3*x0*y2 + 81*x2*x0*y2 + 298*x1*x0*y2 + 702*x0^2*y2 + 664*x9^2*y1 + 435*x9*x8*y1 + 297*x8^2*y1 + 575*x9*x7*y1 + 877*x8*x7*y1 + 848*x7^2*y1 + 694*x9*x6*y1 + 328*x8*x6*y1 + 734*x7*x6*y1 + 437*x6^2*y1 + 152*x9*x5*y1 + 294*x8*x5*y1 + 184*x7*x5*y1 + 455*x6*x5*y1 + 22*x5^2*y1 + 153*x9*x4*y1 + 554*x8*x4*y1 + 217*x7*x4*y1 + 871*x6*x4*y1 + 992*x5*x4*y1 + 296*x4^2*y1 + 475*x9*x3*y1 + 684*x8*x3*y1 + 423*x7*x3*y1 + 695*x6*x3*y1 + 111*x5*x3*y1 + 797*x4*x3*y1 + 779*x3^2*y1 + 202*x9*x2*y1 + 147*x8*x2*y1 + 272*x7*x2*y1 + 385*x6*x2*y1 + 461*x5*x2*y1 + 409*x4*x2*y1 + 706*x3*x2*y1 + 925*x2^2*y1 + 627*x9*x1*y1 + 867*x8*x1*y1 + 307*x7*x1*y1 + 464*x6*x1*y1 + 375*x5*x1*y1 + 534*x4*x1*y1 + 388*x3*x1*y1 + 330*x2*x1*y1 + 235*x1^2*y1 + 908*x9*x0*y1 + 787*x8*x0*y1 + 742*x7*x0*y1 + 638*x6*x0*y1 + 862*x5*x0*y1 + 737*x4*x0*y1 + 786*x3*x0*y1 + 237*x2*x0*y1 + 457*x1*x0*y1 + 897*x0^2*y1 + 638*x9^2*y0 + 85*x9*x8*y0 + 275*x8^2*y0 + 376*x9*x7*y0 + 490*x8*x7*y0 + 467*x7^2*y0 + 937*x9*x6*y0 + 203*x8*x6*y0 + 654*x7*x6*y0 + 209*x6^2*y0 + 224*x9*x5*y0 + 369*x8*x5*y0 + 125*x7*x5*y0 + 287*x6*x5*y0 + 217*x5^2*y0 + 606*x9*x4*y0 + 248*x8*x4*y0 + 789*x7*x4*y0 + 576*x6*x4*y0 + 721*x5*x4*y0 + 865*x4^2*y0 + 266*x9*x3*y0 + 972*x8*x3*y0 + 746*x7*x3*y0 + 461*x6*x3*y0 + 860*x5*x3*y0 + 726*x4*x3*y0 + 492*x3^2*y0 + 283*x9*x2*y0 + 885*x8*x2*y0 + 527*x7*x2*y0 + 741*x6*x2*y0 + 321*x5*x2*y0 + 576*x4*x2*y0 + 477*x3*x2*y0 + 248*x2^2*y0 + 464*x9*x1*y0 + 785*x8*x1*y0 + 308*x7*x1*y0 + 297*x6*x1*y0 + 10*x5*x1*y0 + 899*x4*x1*y0 + 818*x3*x1*y0 + 750*x2*x1*y0 + 587*x1^2*y0 + 694*x9*x0*y0 + 30*x8*x0*y0 + 34*x7*x0*y0 + 878*x6*x0*y0 + 678*x5*x0*y0 + 835*x4*x0*y0 + 613*x3*x0*y0 + 410*x2*x0*y0 + 510*x1*x0*y0 + 12209*x0^2*y0,
710*x9^2*y2 + 60*x9*x8*y2 + 532*x8^2*y2 + 537*x9*x7*y2 + 555*x8*x7*y2 + 577*x7^2*y2 + 281*x9*x6*y2 + 62*x8*x6*y2 + 504*x7*x6*y2 + 633*x6^2*y2 + 991*x9*x5*y2 + 269*x8*x5*y2 + 412*x7*x5*y2 + 621*x6*x5*y2 + 989*x5^2*y2 + 168*x9*x4*y2 + 245*x8*x4*y2 + 309*x7*x4*y2 + 957*x6*x4*y2 + 681*x5*x4*y2 + 166*x4^2*y2 + 319*x9*x3*y2 + 539*x8*x3*y2 + 409*x7*x3*y2 + 740*x6*x3*y2 + 172*x5*x3*y2 + 77*x4*x3*y2 + 284*x3^2*y2 + 511*x9*x2*y2 + 753*x8*x2*y2 + 403*x7*x2*y2 + 947*x6*x2*y2 + 804*x5*x2*y2 + 441*x4*x2*y2 + 961*x3*x2*y2 + 510*x2^2*y2 + 407*x9*x1*y2 + 335*x8*x1*y2 + 133*x7*x1*y2 + 560*x6*x1*y2 + 484*x5*x1*y2 + 602*x4*x1*y2 + 814*x3*x1*y2 + 1000*x2*x1*y2 + 684*x1^2*y2 + 246*x9*x0*y2 + 499*x8*x0*y2 + 436*x7*x0*y2 + 816*x6*x0*y2 + 376*x5*x0*y2 + 47*x4*x0*y2 + 207*x3*x0*y2 + 328*x2*x0*y2 + 458*x1*x0*y2 + 997*x0^2*y2 + 982*x9^2*y1 + 140*x9*x8*y1 + 40*x8^2*y1 + 206*x9*x7*y1 + 264*x8*x7*y1 + 386*x7^2*y1 + 68*x9*x6*y1 + 581*x8*x6*y1 + 114*x7*x6*y1 + 618*x6^2*y1 + 631*x9*x5*y1 + 261*x8*x5*y1 + 826*x7*x5*y1 + 605*x6*x5*y1 + 270*x5^2*y1 + 940*x9*x4*y1 + 836*x8*x4*y1 + 769*x7*x4*y1 + 48*x6*x4*y1 + 918*x5*x4*y1 + 72*x4^2*y1 + 73*x9*x3*y1 + 114*x8*x3*y1 + 234*x7*x3*y1 + 963*x6*x3*y1 + 410*x5*x3*y1 + 587*x3^2*y1 + 563*x9*x2*y1 + 769*x8*x2*y1 + 978*x7*x2*y1 + 433*x6*x2*y1 + 237*x5*x2*y1 + 782*x4*x2*y1 + 243*x3*x2*y1 + 414*x2^2*y1 + 520*x9*x1*y1 + 128*x8*x1*y1 + 517*x7*x1*y1 + 273*x6*x1*y1 + 270*x5*x1*y1 + 32*x4*x1*y1 + 301*x3*x1*y1 + 734*x2*x1*y1 + 567*x1^2*y1 + 966*x9*x0*y1 + 654*x8*x0*y1 + 888*x7*x0*y1 + 991*x6*x0*y1 + 981*x5*x0*y1 + 117*x4*x0*y1 + 474*x3*x0*y1 + 576*x2*x0*y1 + 964*x1*x0*y1 + 745*x0^2*y1 + 918*x9^2*y0 + 766*x9*x8*y0 + 144*x8^2*y0 + 822*x9*x7*y0 + 429*x8*x7*y0 + 445*x7^2*y0 + 960*x9*x6*y0 + 568*x8*x6*y0 + 542*x7*x6*y0 + 249*x6^2*y0 + 236*x9*x5*y0 + 392*x8*x5*y0 + 725*x7*x5*y0 + 422*x6*x5*y0 + 495*x5^2*y0 + 555*x9*x4*y0 + 244*x8*x4*y0 + 993*x7*x4*y0 + 984*x6*x4*y0 + 609*x5*x4*y0 + 935*x4^2*y0 + 599*x9*x3*y0 + 331*x8*x3*y0 + 567*x7*x3*y0 + 323*x6*x3*y0 + 108*x5*x3*y0 + 868*x4*x3*y0 + 30*x3^2*y0 + 981*x9*x2*y0 + 452*x8*x2*y0 + 472*x7*x2*y0 + 865*x6*x2*y0 + 589*x5*x2*y0 + 773*x4*x2*y0 + 379*x3*x2*y0 + 593*x2^2*y0 + 177*x9*x1*y0 + 903*x8*x1*y0 + 963*x7*x1*y0 + 98*x6*x1*y0 + 148*x5*x1*y0 + 873*x4*x1*y0 + 133*x3*x1*y0 + 704*x2*x1*y0 + 740*x1^2*y0 + 653*x9*x0*y0 + 216*x8*x0*y0 + 511*x7*x0*y0 + 730*x6*x0*y0 + 170*x5*x0*y0 + 694*x4*x0*y0 + 623*x3*x0*y0 + 930*x2*x0*y0 + 381*x1*x0*y0 + 10428*x0^2*y0,
633*x9^2*y2 + 506*x9*x8*y2 + 623*x8^2*y2 + 518*x9*x7*y2 + 261*x8*x7*y2 + 541*x7^2*y2 + 802*x9*x6*y2 + 971*x8*x6*y2 + 135*x7*x6*y2 + 186*x6^2*y2 + 39*x9*x5*y2 + 859*x8*x5*y2 + 414*x7*x5*y2 + 198*x6*x5*y2 + 488*x5^2*y2 + 248*x9*x4*y2 + 26*x8*x4*y2 + 650*x7*x4*y2 + 366*x6*x4*y2 + 555*x5*x4*y2 + 359*x4^2*y2 + 176*x9*x3*y2 + 94*x8*x3*y2 + 965*x7*x3*y2 + 716*x6*x3*y2 + 975*x5*x3*y2 + 158*x4*x3*y2 + 852*x3^2*y2 + 138*x9*x2*y2 + 933*x8*x2*y2 + 468*x7*x2*y2 + 354*x6*x2*y2 + 833*x5*x2*y2 + 184*x4*x2*y2 + 575*x3*x2*y2 + 275*x2^2*y2 + 456*x9*x1*y2 + 567*x8*x1*y2 + 408*x7*x1*y2 + 672*x6*x1*y2 + 879*x5*x1*y2 + 309*x4*x1*y2 + 554*x3*x1*y2 + 458*x2*x1*y2 + 599*x1^2*y2 + 678*x9*x0*y2 + 417*x8*x0*y2 + 829*x7*x0*y2 + 644*x6*x0*y2 + 834*x5*x0*y2 + 618*x4*x0*y2 + 575*x3*x0*y2 + 714*x2*x0*y2 + 876*x1*x0*y2 + 46*x0^2*y2 + 889*x9^2*y1 + 807*x9*x8*y1 + 126*x8^2*y1 + 260*x9*x7*y1 + 241*x8*x7*y1 + 719*x7^2*y1 + 302*x9*x6*y1 + 20*x8*x6*y1 + 361*x7*x6*y1 + 435*x6^2*y1 + 204*x9*x5*y1 + 728*x8*x5*y1 + 894*x7*x5*y1 + 554*x6*x5*y1 + 645*x5^2*y1 + 77*x9*x4*y1 + 404*x8*x4*y1 + 382*x7*x4*y1 + 228*x6*x4*y1 + 617*x5*x4*y1 + 996*x4^2*y1 + 939*x9*x3*y1 + 630*x8*x3*y1 + 795*x7*x3*y1 + 499*x6*x3*y1 + 429*x5*x3*y1 + 205*x4*x3*y1 + 220*x3^2*y1 + 728*x9*x2*y1 + 572*x8*x2*y1 + 822*x7*x2*y1 + 943*x6*x2*y1 + 137*x5*x2*y1 + 919*x4*x2*y1 + 847*x3*x2*y1 + 900*x2^2*y1 + 681*x9*x1*y1 + 670*x8*x1*y1 + 88*x7*x1*y1 + 958*x6*x1*y1 + 382*x5*x1*y1 + 557*x4*x1*y1 + 20*x3*x1*y1 + 514*x2*x1*y1 + 522*x1^2*y1 + 674*x9*x0*y1 + 162*x8*x0*y1 + 788*x7*x0*y1 + 276*x6*x0*y1 + 947*x5*x0*y1 + 850*x4*x0*y1 + 293*x3*x0*y1 + 963*x2*x0*y1 + 724*x1*x0*y1 + 975*x0^2*y1 + 399*x9^2*y0 + 724*x9*x8*y0 + 541*x8^2*y0 + 189*x9*x7*y0 + 118*x8*x7*y0 + 142*x7^2*y0 + 722*x9*x6*y0 + 580*x8*x6*y0 + 339*x7*x6*y0 + 780*x6^2*y0 + 456*x9*x5*y0 + 763*x8*x5*y0 + 155*x7*x5*y0 + 10*x6*x5*y0 + 946*x5^2*y0 + 842*x9*x4*y0 + 384*x8*x4*y0 + 277*x7*x4*y0 + 169*x6*x4*y0 + 176*x5*x4*y0 + 22*x4^2*y0 + 526*x9*x3*y0 + 967*x8*x3*y0 + 334*x7*x3*y0 + 613*x6*x3*y0 + 63*x5*x3*y0 + 714*x4*x3*y0 + 764*x3^2*y0 + 164*x9*x2*y0 + 428*x8*x2*y0 + 613*x7*x2*y0 + 254*x6*x2*y0 + 617*x5*x2*y0 + 158*x4*x2*y0 + 797*x3*x2*y0 + 104*x2^2*y0 + 361*x9*x1*y0 + 577*x8*x1*y0 + 498*x7*x1*y0 + 41*x6*x1*y0 + 88*x5*x1*y0 + 697*x4*x1*y0 + 550*x3*x1*y0 + 642*x2*x1*y0 + 980*x1^2*y0 + 568*x9*x0*y0 + 971*x8*x0*y0 + 564*x7*x0*y0 + 637*x6*x0*y0 + 965*x5*x0*y0 + 380*x4*x0*y0 + 692*x3*x0*y0 + 639*x2*x0*y0 + 260*x1*x0*y0 + 14269*x0^2*y0,
837*x9^2*y2 + 545*x9*x8*y2 + 930*x8^2*y2 + 826*x9*x7*y2 + 789*x8*x7*y2 + 147*x7^2*y2 + 224*x9*x6*y2 + 342*x8*x6*y2 + 383*x7*x6*y2 + 802*x6^2*y2 + 411*x9*x5*y2 + 76*x8*x5*y2 + 14*x7*x5*y2 + 293*x6*x5*y2 + 73*x5^2*y2 + 108*x9*x4*y2 + 818*x8*x4*y2 + 614*x7*x4*y2 + 158*x6*x4*y2 + 342*x5*x4*y2 + 289*x4^2*y2 + 145*x9*x3*y2 + 373*x8*x3*y2 + 727*x7*x3*y2 + 318*x6*x3*y2 + 877*x5*x3*y2 + 74*x4*x3*y2 + 815*x3^2*y2 + 192*x9*x2*y2 + 595*x8*x2*y2 + 884*x7*x2*y2 + 971*x6*x2*y2 + 730*x5*x2*y2 + 125*x4*x2*y2 + 594*x2^2*y2 + 726*x9*x1*y2 + 325*x8*x1*y2 + 299*x7*x1*y2 + 451*x6*x1*y2 + 197*x5*x1*y2 + 804*x4*x1*y2 + 839*x3*x1*y2 + 58*x2*x1*y2 + 891*x1^2*y2 + 295*x9*x0*y2 + 390*x8*x0*y2 + 671*x7*x0*y2 + 586*x6*x0*y2 + 9*x5*x0*y2 + 610*x4*x0*y2 + 169*x3*x0*y2 + 37*x2*x0*y2 + 407*x1*x0*y2 + 513*x0^2*y2 + 944*x9^2*y1 + 298*x9*x8*y1 + 313*x8^2*y1 + 19*x9*x7*y1 + 238*x8*x7*y1 + 550*x7^2*y1 + 71*x9*x6*y1 + 408*x8*x6*y1 + 925*x7*x6*y1 + 880*x6^2*y1 + 841*x9*x5*y1 + 99*x8*x5*y1 + 427*x7*x5*y1 + 654*x6*x5*y1 + 817*x5^2*y1 + 149*x9*x4*y1 + 338*x8*x4*y1 + 359*x7*x4*y1 + 595*x6*x4*y1 + 977*x5*x4*y1 + 771*x4^2*y1 + 564*x9*x3*y1 + 18*x8*x3*y1 + 981*x7*x3*y1 + 784*x6*x3*y1 + 588*x5*x3*y1 + 568*x4*x3*y1 + 172*x3^2*y1 + 71*x9*x2*y1 + 466*x8*x2*y1 + 600*x7*x2*y1 + 498*x6*x2*y1 + 669*x5*x2*y1 + 24*x4*x2*y1 + 868*x3*x2*y1 + 834*x2^2*y1 + 268*x9*x1*y1 + 678*x8*x1*y1 + 888*x7*x1*y1 + 324*x6*x1*y1 + 392*x5*x1*y1 + 494*x4*x1*y1 + 906*x3*x1*y1 + 807*x2*x1*y1 + 669*x1^2*y1 + 208*x9*x0*y1 + 719*x8*x0*y1 + 888*x7*x0*y1 + 881*x6*x0*y1 + 578*x5*x0*y1 + 962*x4*x0*y1 + 642*x3*x0*y1 + 715*x2*x0*y1 + 467*x1*x0*y1 + 282*x0^2*y1 + 188*x9^2*y0 + 566*x9*x8*y0 + 275*x8^2*y0 + 553*x9*x7*y0 + 367*x8*x7*y0 + 212*x7^2*y0 + 381*x9*x6*y0 + 416*x8*x6*y0 + 186*x7*x6*y0 + 601*x6^2*y0 + 642*x9*x5*y0 + 123*x8*x5*y0 + 133*x7*x5*y0 + 975*x6*x5*y0 + 643*x5^2*y0 + 461*x9*x4*y0 + 866*x8*x4*y0 + 145*x7*x4*y0 + 768*x6*x4*y0 + 341*x5*x4*y0 + 800*x4^2*y0 + 356*x9*x3*y0 + 457*x8*x3*y0 + 519*x7*x3*y0 + 860*x6*x3*y0 + 323*x5*x3*y0 + 491*x4*x3*y0 + 595*x3^2*y0 + 413*x9*x2*y0 + 91*x8*x2*y0 + 114*x7*x2*y0 + 906*x6*x2*y0 + 143*x5*x2*y0 + 936*x4*x2*y0 + 345*x3*x2*y0 + 416*x2^2*y0 + 861*x9*x1*y0 + 463*x8*x1*y0 + 153*x7*x1*y0 + 257*x6*x1*y0 + 345*x5*x1*y0 + 59*x4*x1*y0 + 861*x3*x1*y0 + 970*x2*x1*y0 + 282*x1^2*y0 + 791*x9*x0*y0 + 63*x8*x0*y0 + 738*x7*x0*y0 + 190*x6*x0*y0 + 363*x5*x0*y0 + 483*x4*x0*y0 + 398*x3*x0*y0 + 924*x2*x0*y0 + 961*x1*x0*y0 + 11445*x0^2*y0,
692*x9^2*y2 + 56*x9*x8*y2 + 519*x8^2*y2 + 439*x9*x7*y2 + 107*x8*x7*y2 + 309*x7^2*y2 + 214*x9*x6*y2 + 921*x8*x6*y2 + 280*x7*x6*y2 + 175*x6^2*y2 + 932*x9*x5*y2 + 871*x8*x5*y2 + 683*x7*x5*y2 + 770*x6*x5*y2 + 836*x5^2*y2 + 967*x9*x4*y2 + 656*x8*x4*y2 + 986*x7*x4*y2 + 128*x6*x4*y2 + 447*x5*x4*y2 + 262*x4^2*y2 + 896*x9*x3*y2 + 293*x8*x3*y2 + 613*x7*x3*y2 + 432*x6*x3*y2 + 210*x5*x3*y2 + 605*x4*x3*y2 + 998*x3^2*y2 + 563*x9*x2*y2 + 579*x8*x2*y2 + 898*x7*x2*y2 + 538*x6*x2*y2 + 836*x5*x2*y2 + 217*x4*x2*y2 + 588*x3*x2*y2 + 229*x2^2*y2 + 583*x9*x1*y2 + 97*x8*x1*y2 + 283*x7*x1*y2 + 908*x6*x1*y2 + 800*x5*x1*y2 + 597*x4*x1*y2 + 899*x3*x1*y2 + 10*x2*x1*y2 + 833*x1^2*y2 + 378*x9*x0*y2 + 313*x8*x0*y2 + 684*x7*x0*y2 + 263*x6*x0*y2 + 359*x5*x0*y2 + 279*x4*x0*y2 + 927*x3*x0*y2 + 876*x2*x0*y2 + 504*x1*x0*y2 + 717*x0^2*y2 + 72*x9^2*y1 + 453*x9*x8*y1 + 240*x8^2*y1 + 115*x9*x7*y1 + 427*x8*x7*y1 + 313*x7^2*y1 + 201*x9*x6*y1 + 467*x8*x6*y1 + 674*x7*x6*y1 + 617*x6^2*y1 + 284*x9*x5*y1 + 947*x8*x5*y1 + 124*x7*x5*y1 + 589*x6*x5*y1 + 829*x5^2*y1 + 244*x9*x4*y1 + 744*x8*x4*y1 + 899*x7*x4*y1 + 208*x6*x4*y1 + 774*x5*x4*y1 + 609*x4^2*y1 + 569*x9*x3*y1 + 394*x8*x3*y1 + 973*x7*x3*y1 + 286*x6*x3*y1 + 928*x5*x3*y1 + 90*x4*x3*y1 + 372*x3^2*y1 + 482*x9*x2*y1 + 620*x8*x2*y1 + 638*x7*x2*y1 + 486*x6*x2*y1 + 330*x5*x2*y1 + 985*x4*x2*y1 + 119*x3*x2*y1 + 327*x2^2*y1 + 124*x9*x1*y1 + 127*x8*x1*y1 + 111*x7*x1*y1 + 369*x6*x1*y1 + 249*x5*x1*y1 + 530*x4*x1*y1 + 323*x3*x1*y1 + 261*x2*x1*y1 + 746*x1^2*y1 + 725*x9*x0*y1 + 933*x8*x0*y1 + 415*x7*x0*y1 + 660*x6*x0*y1 + 938*x5*x0*y1 + 794*x4*x0*y1 + 631*x3*x0*y1 + 288*x2*x0*y1 + 283*x1*x0*y1 + 404*x0^2*y1 + 848*x9^2*y0 + 556*x9*x8*y0 + 471*x8^2*y0 + 240*x9*x7*y0 + 917*x8*x7*y0 + 866*x7^2*y0 + 290*x9*x6*y0 + 327*x8*x6*y0 + 520*x7*x6*y0 + 597*x6^2*y0 + 667*x9*x5*y0 + 775*x8*x5*y0 + 801*x7*x5*y0 + 2*x6*x5*y0 + 157*x5^2*y0 + 366*x9*x4*y0 + 301*x8*x4*y0 + 357*x7*x4*y0 + 654*x6*x4*y0 + 576*x5*x4*y0 + 818*x4^2*y0 + 10*x9*x3*y0 + 271*x8*x3*y0 + 913*x7*x3*y0 + 397*x6*x3*y0 + 534*x5*x3*y0 + 895*x4*x3*y0 + 499*x3^2*y0 + 766*x9*x2*y0 + 956*x8*x2*y0 + 292*x7*x2*y0 + 456*x6*x2*y0 + 800*x5*x2*y0 + 85*x4*x2*y0 + 678*x3*x2*y0 + 785*x2^2*y0 + 894*x9*x1*y0 + 224*x8*x1*y0 + 556*x7*x1*y0 + 377*x6*x1*y0 + 517*x5*x1*y0 + 650*x4*x1*y0 + 761*x3*x1*y0 + 634*x2*x1*y0 + 429*x1^2*y0 + 90*x9*x0*y0 + 45*x8*x0*y0 + 578*x7*x0*y0 + 314*x6*x0*y0 + 426*x5*x0*y0 + 797*x4*x0*y0 + 471*x3*x0*y0 + 561*x2*x0*y0 + 657*x1*x0*y0 + 33020*x0^2*y0,
222*x9^2*y2 + 986*x9*x8*y2 + 8*x8^2*y2 + 965*x9*x7*y2 + 894*x8*x7*y2 + 460*x7^2*y2 + 399*x9*x6*y2 + 580*x8*x6*y2 + 164*x7*x6*y2 + 866*x6^2*y2 + 373*x9*x5*y2 + 988*x8*x5*y2 + 118*x7*x5*y2 + 468*x6*x5*y2 + 994*x5^2*y2 + 894*x9*x4*y2 + 589*x8*x4*y2 + 445*x7*x4*y2 + 901*x6*x4*y2 + 935*x5*x4*y2 + 994*x4^2*y2 + 665*x9*x3*y2 + 120*x8*x3*y2 + 730*x7*x3*y2 + 367*x6*x3*y2 + 692*x5*x3*y2 + 350*x4*x3*y2 + 898*x3^2*y2 + 305*x9*x2*y2 + 276*x8*x2*y2 + 255*x7*x2*y2 + 243*x6*x2*y2 + 339*x5*x2*y2 + 126*x4*x2*y2 + 447*x3*x2*y2 + 54*x2^2*y2 + 947*x9*x1*y2 + 530*x8*x1*y2 + 65*x7*x1*y2 + 999*x6*x1*y2 + 704*x5*x1*y2 + 903*x4*x1*y2 + 801*x3*x1*y2 + 39*x2*x1*y2 + 991*x1^2*y2 + 431*x9*x0*y2 + 623*x8*x0*y2 + 238*x7*x0*y2 + 472*x6*x0*y2 + 781*x5*x0*y2 + 176*x4*x0*y2 + 509*x3*x0*y2 + 599*x2*x0*y2 + 631*x1*x0*y2 + 55*x0^2*y2 + 577*x9^2*y1 + 755*x9*x8*y1 + 772*x8^2*y1 + 835*x9*x7*y1 + 603*x8*x7*y1 + 838*x7^2*y1 + 532*x9*x6*y1 + 103*x8*x6*y1 + 235*x7*x6*y1 + 969*x6^2*y1 + 231*x9*x5*y1 + 399*x8*x5*y1 + 552*x7*x5*y1 + 337*x6*x5*y1 + 824*x5^2*y1 + 339*x9*x4*y1 + 923*x8*x4*y1 + 934*x7*x4*y1 + 492*x6*x4*y1 + 284*x5*x4*y1 + 227*x4^2*y1 + 470*x9*x3*y1 + 797*x8*x3*y1 + 53*x7*x3*y1 + 652*x6*x3*y1 + 421*x5*x3*y1 + 315*x4*x3*y1 + 155*x3^2*y1 + 125*x9*x2*y1 + 649*x8*x2*y1 + 567*x7*x2*y1 + 952*x6*x2*y1 + 305*x5*x2*y1 + 7*x4*x2*y1 + 870*x3*x2*y1 + 635*x2^2*y1 + 544*x9*x1*y1 + 40*x8*x1*y1 + 978*x7*x1*y1 + 425*x6*x1*y1 + 243*x5*x1*y1 + 108*x4*x1*y1 + 438*x3*x1*y1 + 196*x2*x1*y1 + 162*x1^2*y1 + 917*x9*x0*y1 + 960*x8*x0*y1 + 584*x7*x0*y1 + 89*x6*x0*y1 + 896*x5*x0*y1 + 852*x4*x0*y1 + 777*x3*x0*y1 + 745*x2*x0*y1 + 82*x1*x0*y1 + 13*x0^2*y1 + 110*x9^2*y0 + 129*x9*x8*y0 + 527*x8^2*y0 + 95*x9*x7*y0 + 449*x8*x7*y0 + 570*x7^2*y0 + 624*x9*x6*y0 + 684*x8*x6*y0 + 227*x7*x6*y0 + 369*x6^2*y0 + 342*x9*x5*y0 + 691*x8*x5*y0 + 865*x7*x5*y0 + 12*x6*x5*y0 + 96*x5^2*y0 + 692*x9*x4*y0 + 128*x8*x4*y0 + 399*x7*x4*y0 + 908*x6*x4*y0 + 161*x5*x4*y0 + 355*x4^2*y0 + 116*x9*x3*y0 + 888*x8*x3*y0 + 477*x7*x3*y0 + 122*x6*x3*y0 + 159*x5*x3*y0 + 38*x4*x3*y0 + 255*x3^2*y0 + 380*x9*x2*y0 + 475*x8*x2*y0 + 73*x7*x2*y0 + 613*x6*x2*y0 + 220*x5*x2*y0 + 567*x4*x2*y0 + 172*x3*x2*y0 + 768*x2^2*y0 + 266*x9*x1*y0 + 28*x8*x1*y0 + 321*x7*x1*y0 + 68*x6*x1*y0 + 343*x5*x1*y0 + 380*x4*x1*y0 + 375*x3*x1*y0 + 700*x2*x1*y0 + 374*x1^2*y0 + 104*x9*x0*y0 + 800*x8*x0*y0 + 940*x7*x0*y0 + 677*x6*x0*y0 + 237*x5*x0*y0 + 406*x4*x0*y0 + 297*x3*x0*y0 + 832*x2*x0*y0 + 684*x1*x0*y0 + 12715*x0^2*y0,
136*x9^2*y2 + 576*x9*x8*y2 + 772*x8^2*y2 + 863*x9*x7*y2 + 148*x8*x7*y2 + 28*x7^2*y2 + 432*x9*x6*y2 + 845*x8*x6*y2 + 975*x7*x6*y2 + 376*x6^2*y2 + 281*x9*x5*y2 + 270*x8*x5*y2 + 656*x7*x5*y2 + 450*x6*x5*y2 + 292*x5^2*y2 + 425*x9*x4*y2 + 762*x8*x4*y2 + 261*x7*x4*y2 + 921*x6*x4*y2 + 683*x5*x4*y2 + 986*x4^2*y2 + 243*x9*x3*y2 + 713*x8*x3*y2 + 472*x7*x3*y2 + 824*x6*x3*y2 + 26*x5*x3*y2 + 651*x4*x3*y2 + 12*x3^2*y2 + 601*x9*x2*y2 + 888*x8*x2*y2 + 954*x7*x2*y2 + 87*x6*x2*y2 + 765*x5*x2*y2 + 582*x4*x2*y2 + 959*x3*x2*y2 + 559*x2^2*y2 + 671*x9*x1*y2 + 456*x8*x1*y2 + 671*x7*x1*y2 + 656*x6*x1*y2 + 250*x5*x1*y2 + 569*x4*x1*y2 + 113*x3*x1*y2 + 161*x2*x1*y2 + 262*x1^2*y2 + 130*x9*x0*y2 + 958*x8*x0*y2 + 424*x7*x0*y2 + 309*x6*x0*y2 + 489*x5*x0*y2 + 346*x4*x0*y2 + 576*x3*x0*y2 + 954*x2*x0*y2 + 378*x1*x0*y2 + 965*x0^2*y2 + 123*x9^2*y1 + 762*x9*x8*y1 + 696*x8^2*y1 + 39*x9*x7*y1 + 267*x8*x7*y1 + 599*x7^2*y1 + 32*x9*x6*y1 + 273*x8*x6*y1 + 522*x7*x6*y1 + 453*x6^2*y1 + 253*x9*x5*y1 + 452*x8*x5*y1 + 651*x7*x5*y1 + 509*x6*x5*y1 + 252*x5^2*y1 + 570*x9*x4*y1 + 544*x8*x4*y1 + 109*x7*x4*y1 + 912*x6*x4*y1 + 908*x5*x4*y1 + 305*x4^2*y1 + 372*x9*x3*y1 + 4*x8*x3*y1 + 296*x7*x3*y1 + 179*x6*x3*y1 + 107*x5*x3*y1 + 603*x4*x3*y1 + 714*x3^2*y1 + 34*x9*x2*y1 + 304*x8*x2*y1 + 183*x7*x2*y1 + 7*x6*x2*y1 + 429*x5*x2*y1 + 441*x4*x2*y1 + 381*x3*x2*y1 + 440*x2^2*y1 + 216*x9*x1*y1 + 480*x8*x1*y1 + 539*x7*x1*y1 + 29*x6*x1*y1 + 149*x5*x1*y1 + 437*x4*x1*y1 + 780*x3*x1*y1 + 155*x2*x1*y1 + 185*x1^2*y1 + 409*x9*x0*y1 + 532*x8*x0*y1 + 387*x7*x0*y1 + 638*x6*x0*y1 + 437*x5*x0*y1 + 939*x4*x0*y1 + 9*x3*x0*y1 + 825*x2*x0*y1 + 415*x1*x0*y1 + 988*x0^2*y1 + 123*x9^2*y0 + 139*x9*x8*y0 + 76*x8^2*y0 + 663*x9*x7*y0 + 972*x8*x7*y0 + 501*x7^2*y0 + 822*x9*x6*y0 + 501*x8*x6*y0 + 251*x7*x6*y0 + 105*x6^2*y0 + 879*x9*x5*y0 + 235*x8*x5*y0 + 641*x7*x5*y0 + 643*x6*x5*y0 + 83*x5^2*y0 + 256*x9*x4*y0 + 6*x8*x4*y0 + 800*x7*x4*y0 + 103*x6*x4*y0 + 594*x5*x4*y0 + 387*x4^2*y0 + 474*x9*x3*y0 + 437*x8*x3*y0 + 127*x7*x3*y0 + 714*x6*x3*y0 + 456*x5*x3*y0 + 775*x4*x3*y0 + 992*x3^2*y0 + 151*x9*x2*y0 + 649*x8*x2*y0 + 137*x7*x2*y0 + 503*x6*x2*y0 + 917*x5*x2*y0 + 982*x4*x2*y0 + 630*x3*x2*y0 + 970*x2^2*y0 + 268*x9*x1*y0 + 606*x8*x1*y0 + 398*x7*x1*y0 + 805*x6*x1*y0 + 775*x5*x1*y0 + 53*x4*x1*y0 + 443*x3*x1*y0 + 329*x2*x1*y0 + 945*x1^2*y0 + 917*x9*x0*y0 + 714*x8*x0*y0 + 820*x7*x0*y0 + 409*x6*x0*y0 + 770*x5*x0*y0 + 880*x4*x0*y0 + 580*x3*x0*y0 + 512*x2*x0*y0 + 741*x1*x0*y0 + 57950*x0^2*y0,
701*x9^2*y2 + 855*x9*x8*y2 + 480*x8^2*y2 + 444*x9*x7*y2 + 47*x8*x7*y2 + 317*x7^2*y2 + 645*x9*x6*y2 + 768*x8*x6*y2 + 206*x7*x6*y2 + 83*x6^2*y2 + 732*x9*x5*y2 + 827*x8*x5*y2 + 912*x7*x5*y2 + 406*x6*x5*y2 + 653*x5^2*y2 + 417*x9*x4*y2 + 198*x8*x4*y2 + 200*x7*x4*y2 + 954*x6*x4*y2 + 366*x5*x4*y2 + 238*x4^2*y2 + 999*x9*x3*y2 + 989*x8*x3*y2 + 131*x7*x3*y2 + 890*x6*x3*y2 + 229*x5*x3*y2 + 818*x4*x3*y2 + 442*x3^2*y2 + 532*x9*x2*y2 + 441*x8*x2*y2 + 312*x7*x2*y2 + 988*x6*x2*y2 + 128*x5*x2*y2 + 828*x4*x2*y2 + 400*x3*x2*y2 + 151*x2^2*y2 + 465*x9*x1*y2 + 800*x8*x1*y2 + 647*x7*x1*y2 + 956*x6*x1*y2 + 551*x5*x1*y2 + 83*x4*x1*y2 + 230*x3*x1*y2 + 193*x2*x1*y2 + 356*x1^2*y2 + 419*x9*x0*y2 + 602*x8*x0*y2 + 801*x7*x0*y2 + 540*x6*x0*y2 + 499*x5*x0*y2 + 123*x4*x0*y2 + 104*x3*x0*y2 + 232*x2*x0*y2 + 328*x1*x0*y2 + 658*x0^2*y2 + 616*x9^2*y1 + 81*x9*x8*y1 + 565*x8^2*y1 + 121*x9*x7*y1 + 275*x8*x7*y1 + 903*x7^2*y1 + 134*x9*x6*y1 + 994*x8*x6*y1 + 100*x7*x6*y1 + 4*x6^2*y1 + 856*x9*x5*y1 + 163*x8*x5*y1 + 751*x7*x5*y1 + 948*x6*x5*y1 + 794*x5^2*y1 + 406*x9*x4*y1 + 127*x8*x4*y1 + 514*x7*x4*y1 + 843*x6*x4*y1 + 437*x5*x4*y1 + 454*x4^2*y1 + 917*x9*x3*y1 + 577*x8*x3*y1 + 346*x7*x3*y1 + 272*x6*x3*y1 + 472*x5*x3*y1 + 201*x4*x3*y1 + 4*x3^2*y1 + 58*x9*x2*y1 + 779*x8*x2*y1 + 607*x7*x2*y1 + 293*x6*x2*y1 + 85*x5*x2*y1 + 23*x4*x2*y1 + 306*x3*x2*y1 + 505*x2^2*y1 + 28*x9*x1*y1 + 860*x8*x1*y1 + 504*x7*x1*y1 + 142*x6*x1*y1 + 676*x5*x1*y1 + 783*x4*x1*y1 + 967*x3*x1*y1 + 232*x2*x1*y1 + 668*x1^2*y1 + 996*x9*x0*y1 + 841*x8*x0*y1 + 630*x7*x0*y1 + 893*x6*x0*y1 + 536*x5*x0*y1 + 598*x4*x0*y1 + 111*x3*x0*y1 + 332*x2*x0*y1 + 753*x1*x0*y1 + 378*x0^2*y1 + 135*x9^2*y0 + 301*x9*x8*y0 + 86*x8^2*y0 + 909*x9*x7*y0 + 357*x8*x7*y0 + 924*x7^2*y0 + 125*x9*x6*y0 + 857*x8*x6*y0 + 326*x7*x6*y0 + 240*x6^2*y0 + 471*x9*x5*y0 + 362*x8*x5*y0 + 567*x7*x5*y0 + 369*x6*x5*y0 + 120*x5^2*y0 + 198*x9*x4*y0 + 717*x8*x4*y0 + 677*x7*x4*y0 + 707*x6*x4*y0 + 177*x5*x4*y0 + 90*x4^2*y0 + 750*x9*x3*y0 + 456*x8*x3*y0 + 316*x7*x3*y0 + 361*x6*x3*y0 + 475*x5*x3*y0 + 531*x4*x3*y0 + 66*x3^2*y0 + 950*x9*x2*y0 + 262*x8*x2*y0 + 426*x7*x2*y0 + 445*x6*x2*y0 + 796*x5*x2*y0 + 958*x4*x2*y0 + 837*x3*x2*y0 + 677*x2^2*y0 + 53*x9*x1*y0 + 162*x8*x1*y0 + 991*x7*x1*y0 + 299*x6*x1*y0 + 370*x5*x1*y0 + 915*x4*x1*y0 + 517*x3*x1*y0 + 360*x2*x1*y0 + 495*x1^2*y0 + 272*x9*x0*y0 + 406*x8*x0*y0 + 635*x7*x0*y0 + 605*x6*x0*y0 + 308*x5*x0*y0 + 812*x4*x0*y0 + 286*x3*x0*y0 + 365*x2*x0*y0 + 375*x1*x0*y0 + 36906*x0^2*y0,
195*x9^2*y2 + 299*x9*x8*y2 + 703*x8^2*y2 + 55*x9*x7*y2 + 643*x8*x7*y2 + 883*x7^2*y2 + 608*x9*x6*y2 + 99*x8*x6*y2 + 283*x7*x6*y2 + 171*x6^2*y2 + 232*x9*x5*y2 + 994*x8*x5*y2 + 715*x7*x5*y2 + 347*x6*x5*y2 + 297*x5^2*y2 + 958*x9*x4*y2 + 169*x8*x4*y2 + 49*x7*x4*y2 + 470*x6*x4*y2 + 101*x5*x4*y2 + 959*x4^2*y2 + 708*x9*x3*y2 + 846*x8*x3*y2 + 56*x7*x3*y2 + 654*x6*x3*y2 + 736*x5*x3*y2 + 266*x4*x3*y2 + 687*x3^2*y2 + 654*x9*x2*y2 + 288*x8*x2*y2 + 251*x7*x2*y2 + 624*x6*x2*y2 + 90*x5*x2*y2 + 677*x4*x2*y2 + 731*x3*x2*y2 + 808*x2^2*y2 + 415*x9*x1*y2 + 955*x8*x1*y2 + 220*x7*x1*y2 + 941*x6*x1*y2 + 581*x5*x1*y2 + 734*x4*x1*y2 + 683*x3*x1*y2 + 198*x2*x1*y2 + 530*x1^2*y2 + 433*x9*x0*y2 + 334*x8*x0*y2 + 493*x7*x0*y2 + 10*x6*x0*y2 + 725*x5*x0*y2 + 170*x4*x0*y2 + 300*x3*x0*y2 + 565*x2*x0*y2 + 548*x1*x0*y2 + 455*x0^2*y2 + 332*x9^2*y1 + 205*x9*x8*y1 + 381*x8^2*y1 + 864*x9*x7*y1 + 81*x8*x7*y1 + 407*x7^2*y1 + 142*x9*x6*y1 + 675*x8*x6*y1 + 992*x7*x6*y1 + 301*x6^2*y1 + 381*x9*x5*y1 + 375*x8*x5*y1 + 605*x7*x5*y1 + 493*x6*x5*y1 + 867*x5^2*y1 + 96*x9*x4*y1 + 18*x8*x4*y1 + 694*x7*x4*y1 + 281*x6*x4*y1 + 142*x5*x4*y1 + 827*x4^2*y1 + 497*x9*x3*y1 + 71*x8*x3*y1 + 355*x7*x3*y1 + 935*x6*x3*y1 + 715*x5*x3*y1 + 177*x4*x3*y1 + 512*x3^2*y1 + 822*x9*x2*y1 + 612*x8*x2*y1 + 640*x7*x2*y1 + 858*x6*x2*y1 + 870*x5*x2*y1 + 875*x4*x2*y1 + 180*x3*x2*y1 + 945*x2^2*y1 + 920*x9*x1*y1 + 292*x8*x1*y1 + 941*x7*x1*y1 + 318*x6*x1*y1 + 650*x5*x1*y1 + 737*x4*x1*y1 + 460*x3*x1*y1 + 227*x2*x1*y1 + 976*x1^2*y1 + 849*x9*x0*y1 + 422*x8*x0*y1 + 113*x7*x0*y1 + 720*x6*x0*y1 + 189*x5*x0*y1 + 956*x4*x0*y1 + 172*x3*x0*y1 + 53*x2*x0*y1 + 810*x1*x0*y1 + 261*x0^2*y1 + 157*x9^2*y0 + 759*x9*x8*y0 + 561*x8^2*y0 + 89*x9*x7*y0 + 953*x8*x7*y0 + 297*x7^2*y0 + 45*x9*x6*y0 + 471*x8*x6*y0 + 718*x7*x6*y0 + 663*x6^2*y0 + x9*x5*y0 + 742*x8*x5*y0 + 103*x7*x5*y0 + 454*x6*x5*y0 + 502*x5^2*y0 + 449*x9*x4*y0 + 735*x8*x4*y0 + 306*x7*x4*y0 + 15*x6*x4*y0 + 77*x5*x4*y0 + 192*x4^2*y0 + 617*x9*x3*y0 + 857*x8*x3*y0 + 239*x7*x3*y0 + 681*x6*x3*y0 + 537*x5*x3*y0 + 798*x4*x3*y0 + 501*x3^2*y0 + 459*x9*x2*y0 + 940*x8*x2*y0 + 570*x7*x2*y0 + 817*x6*x2*y0 + 362*x5*x2*y0 + 341*x4*x2*y0 + 277*x3*x2*y0 + 946*x2^2*y0 + 344*x9*x1*y0 + 809*x8*x1*y0 + 92*x7*x1*y0 + 348*x6*x1*y0 + 616*x5*x1*y0 + 483*x4*x1*y0 + 315*x3*x1*y0 + 933*x2*x1*y0 + 641*x1^2*y0 + 689*x9*x0*y0 + 728*x8*x0*y0 + 581*x7*x0*y0 + 415*x6*x0*y0 + 967*x5*x0*y0 + 232*x4*x0*y0 + 48*x3*x0*y0 + 901*x2*x0*y0 + 933*x1*x0*y0 + 34845*x0^2*y0,
100*x9^2*y2 + 692*x9*x8*y2 + 35*x8^2*y2 + 818*x9*x7*y2 + 431*x8*x7*y2 + 751*x7^2*y2 + 285*x9*x6*y2 + 34*x8*x6*y2 + 151*x7*x6*y2 + 457*x6^2*y2 + 188*x9*x5*y2 + 128*x8*x5*y2 + 247*x7*x5*y2 + 180*x6*x5*y2 + 88*x5^2*y2 + 779*x9*x4*y2 + 587*x8*x4*y2 + 479*x7*x4*y2 + 82*x6*x4*y2 + 394*x5*x4*y2 + 427*x4^2*y2 + 38*x9*x3*y2 + 772*x8*x3*y2 + 117*x7*x3*y2 + 761*x6*x3*y2 + 267*x5*x3*y2 + 751*x4*x3*y2 + 363*x3^2*y2 + 435*x9*x2*y2 + 350*x8*x2*y2 + 160*x7*x2*y2 + 216*x6*x2*y2 + 614*x5*x2*y2 + 7*x4*x2*y2 + 345*x3*x2*y2 + 785*x2^2*y2 + 57*x9*x1*y2 + 804*x8*x1*y2 + 698*x7*x1*y2 + 399*x6*x1*y2 + 618*x5*x1*y2 + 66*x4*x1*y2 + 497*x3*x1*y2 + 625*x2*x1*y2 + 471*x1^2*y2 + 480*x9*x0*y2 + 896*x8*x0*y2 + 353*x7*x0*y2 + 292*x6*x0*y2 + 339*x5*x0*y2 + 935*x4*x0*y2 + 896*x3*x0*y2 + 714*x2*x0*y2 + 596*x1*x0*y2 + 93*x0^2*y2 + 519*x9^2*y1 + 296*x9*x8*y1 + 630*x8^2*y1 + 479*x9*x7*y1 + 468*x8*x7*y1 + 918*x7^2*y1 + 817*x9*x6*y1 + 636*x8*x6*y1 + 502*x7*x6*y1 + 938*x6^2*y1 + 565*x9*x5*y1 + 338*x8*x5*y1 + 138*x7*x5*y1 + 575*x6*x5*y1 + 984*x5^2*y1 + 498*x9*x4*y1 + 885*x8*x4*y1 + 943*x7*x4*y1 + 370*x6*x4*y1 + 813*x5*x4*y1 + 50*x4^2*y1 + 586*x9*x3*y1 + 510*x8*x3*y1 + 461*x7*x3*y1 + 869*x6*x3*y1 + 233*x5*x3*y1 + 319*x4*x3*y1 + 766*x3^2*y1 + 74*x9*x2*y1 + 564*x8*x2*y1 + 995*x7*x2*y1 + 802*x6*x2*y1 + 185*x5*x2*y1 + 826*x4*x2*y1 + 723*x3*x2*y1 + 602*x2^2*y1 + 717*x9*x1*y1 + 239*x8*x1*y1 + 780*x7*x1*y1 + 341*x6*x1*y1 + 896*x5*x1*y1 + 858*x4*x1*y1 + 845*x3*x1*y1 + 828*x2*x1*y1 + 832*x1^2*y1 + 667*x9*x0*y1 + 767*x8*x0*y1 + 210*x7*x0*y1 + 475*x6*x0*y1 + 94*x5*x0*y1 + 409*x4*x0*y1 + 910*x3*x0*y1 + 594*x2*x0*y1 + 178*x1*x0*y1 + 347*x0^2*y1 + 195*x9^2*y0 + 759*x9*x8*y0 + 565*x8^2*y0 + 774*x9*x7*y0 + 597*x8*x7*y0 + 886*x7^2*y0 + 562*x9*x6*y0 + 925*x8*x6*y0 + 309*x7*x6*y0 + 232*x6^2*y0 + 435*x9*x5*y0 + 355*x8*x5*y0 + 976*x7*x5*y0 + 881*x6*x5*y0 + 355*x5^2*y0 + 649*x9*x4*y0 + 301*x8*x4*y0 + 36*x7*x4*y0 + 381*x6*x4*y0 + 50*x5*x4*y0 + 301*x4^2*y0 + 242*x9*x3*y0 + 716*x8*x3*y0 + 834*x7*x3*y0 + 100*x6*x3*y0 + 483*x5*x3*y0 + 421*x4*x3*y0 + 588*x3^2*y0 + 423*x9*x2*y0 + 3*x8*x2*y0 + 544*x7*x2*y0 + 964*x6*x2*y0 + 804*x5*x2*y0 + 16*x4*x2*y0 + 886*x3*x2*y0 + 608*x2^2*y0 + 183*x9*x1*y0 + 278*x8*x1*y0 + 224*x7*x1*y0 + 12*x6*x1*y0 + 233*x5*x1*y0 + 809*x4*x1*y0 + 152*x3*x1*y0 + 295*x2*x1*y0 + 106*x1^2*y0 + 303*x9*x0*y0 + 653*x8*x0*y0 + 823*x7*x0*y0 + 883*x6*x0*y0 + 217*x5*x0*y0 + 628*x4*x0*y0 + 178*x3*x0*y0 + 766*x2*x0*y0 + 673*x1*x0*y0 + 51124*x0^2*y0,
226*x9^2*y2 + 177*x9*x8*y2 + 97*x8^2*y2 + 593*x9*x7*y2 + 735*x8*x7*y2 + 826*x7^2*y2 + 359*x9*x6*y2 + 619*x8*x6*y2 + 12*x7*x6*y2 + 548*x6^2*y2 + 380*x9*x5*y2 + 952*x8*x5*y2 + 893*x7*x5*y2 + 107*x6*x5*y2 + 198*x5^2*y2 + 835*x9*x4*y2 + 804*x8*x4*y2 + 299*x7*x4*y2 + 619*x6*x4*y2 + 890*x5*x4*y2 + 238*x4^2*y2 + 82*x9*x3*y2 + 771*x8*x3*y2 + 939*x7*x3*y2 + 372*x6*x3*y2 + 516*x5*x3*y2 + 261*x4*x3*y2 + 420*x3^2*y2 + 261*x9*x2*y2 + 318*x8*x2*y2 + 356*x7*x2*y2 + 412*x6*x2*y2 + 749*x5*x2*y2 + 795*x4*x2*y2 + 412*x3*x2*y2 + 787*x2^2*y2 + 772*x9*x1*y2 + 517*x8*x1*y2 + 139*x7*x1*y2 + 554*x6*x1*y2 + 460*x5*x1*y2 + 811*x4*x1*y2 + 391*x3*x1*y2 + 954*x2*x1*y2 + 483*x1^2*y2 + 720*x9*x0*y2 + 754*x8*x0*y2 + 512*x7*x0*y2 + 558*x6*x0*y2 + 343*x5*x0*y2 + 994*x4*x0*y2 + 88*x3*x0*y2 + 834*x2*x0*y2 + 83*x1*x0*y2 + 839*x0^2*y2 + 102*x9^2*y1 + 4*x9*x8*y1 + 602*x8^2*y1 + 606*x9*x7*y1 + 360*x8*x7*y1 + 562*x7^2*y1 + 890*x9*x6*y1 + 762*x8*x6*y1 + 979*x7*x6*y1 + 35*x6^2*y1 + 403*x9*x5*y1 + 745*x8*x5*y1 + 97*x7*x5*y1 + 678*x6*x5*y1 + 760*x5^2*y1 + 552*x9*x4*y1 + 484*x8*x4*y1 + 624*x7*x4*y1 + 458*x6*x4*y1 + 42*x5*x4*y1 + 703*x4^2*y1 + 692*x9*x3*y1 + 287*x8*x3*y1 + 673*x7*x3*y1 + 852*x6*x3*y1 + 985*x5*x3*y1 + 687*x4*x3*y1 + 205*x3^2*y1 + 945*x9*x2*y1 + 433*x8*x2*y1 + 533*x7*x2*y1 + 628*x6*x2*y1 + 51*x5*x2*y1 + 459*x4*x2*y1 + 828*x3*x2*y1 + 244*x2^2*y1 + 165*x9*x1*y1 + 562*x8*x1*y1 + 29*x7*x1*y1 + 353*x6*x1*y1 + 129*x5*x1*y1 + 797*x4*x1*y1 + 275*x3*x1*y1 + 778*x2*x1*y1 + 528*x1^2*y1 + 24*x9*x0*y1 + 856*x8*x0*y1 + 930*x7*x0*y1 + 507*x6*x0*y1 + 857*x5*x0*y1 + 124*x4*x0*y1 + 643*x3*x0*y1 + 208*x2*x0*y1 + 383*x1*x0*y1 + 337*x0^2*y1 + 581*x9^2*y0 + 124*x9*x8*y0 + 53*x8^2*y0 + 692*x9*x7*y0 + 119*x8*x7*y0 + 434*x7^2*y0 + 205*x9*x6*y0 + 775*x8*x6*y0 + 560*x7*x6*y0 + 788*x6^2*y0 + 971*x9*x5*y0 + 301*x8*x5*y0 + 850*x7*x5*y0 + 790*x6*x5*y0 + 815*x5^2*y0 + 762*x9*x4*y0 + 54*x8*x4*y0 + 395*x7*x4*y0 + 955*x6*x4*y0 + 658*x5*x4*y0 + 822*x4^2*y0 + 367*x9*x3*y0 + 611*x8*x3*y0 + 992*x7*x3*y0 + 704*x6*x3*y0 + 73*x5*x3*y0 + 361*x4*x3*y0 + 957*x3^2*y0 + 24*x9*x2*y0 + 370*x8*x2*y0 + 422*x7*x2*y0 + 819*x6*x2*y0 + 718*x5*x2*y0 + 534*x4*x2*y0 + 505*x3*x2*y0 + 964*x2^2*y0 + 863*x9*x1*y0 + 369*x8*x1*y0 + 861*x7*x1*y0 + 528*x6*x1*y0 + 676*x5*x1*y0 + 627*x4*x1*y0 + 834*x3*x1*y0 + 574*x2*x1*y0 + 144*x1^2*y0 + 560*x9*x0*y0 + 100*x8*x0*y0 + 633*x7*x0*y0 + 407*x6*x0*y0 + 490*x5*x0*y0 + 152*x4*x0*y0 + 891*x3*x0*y0 + 623*x2*x0*y0 + 153*x1*x0*y0 + 50589*x0^2*y0,
810*x9^2*y2 + 284*x9*x8*y2 + 461*x8^2*y2 + 830*x9*x7*y2 + 423*x8*x7*y2 + 447*x7^2*y2 + 559*x9*x6*y2 + 278*x8*x6*y2 + 215*x7*x6*y2 + 883*x6^2*y2 + 165*x9*x5*y2 + 583*x8*x5*y2 + 871*x7*x5*y2 + 206*x6*x5*y2 + 450*x5^2*y2 + 473*x9*x4*y2 + 407*x8*x4*y2 + 72*x7*x4*y2 + 650*x6*x4*y2 + 668*x5*x4*y2 + 13*x4^2*y2 + 901*x9*x3*y2 + 988*x8*x3*y2 + 190*x7*x3*y2 + 165*x6*x3*y2 + 345*x5*x3*y2 + 687*x4*x3*y2 + 749*x3^2*y2 + 814*x9*x2*y2 + 742*x8*x2*y2 + 83*x7*x2*y2 + 646*x6*x2*y2 + 755*x5*x2*y2 + 686*x4*x2*y2 + 730*x3*x2*y2 + 825*x2^2*y2 + 227*x9*x1*y2 + 486*x8*x1*y2 + 752*x7*x1*y2 + 796*x6*x1*y2 + 386*x5*x1*y2 + 828*x4*x1*y2 + 117*x3*x1*y2 + 886*x2*x1*y2 + 835*x1^2*y2 + 365*x9*x0*y2 + 876*x8*x0*y2 + 582*x7*x0*y2 + 743*x6*x0*y2 + 299*x5*x0*y2 + 154*x4*x0*y2 + 272*x3*x0*y2 + 215*x2*x0*y2 + 437*x1*x0*y2 + 588*x0^2*y2 + 502*x9^2*y1 + 349*x9*x8*y1 + 181*x8^2*y1 + 9*x9*x7*y1 + 84*x8*x7*y1 + 379*x7^2*y1 + 450*x9*x6*y1 + 880*x8*x6*y1 + 896*x7*x6*y1 + 364*x6^2*y1 + 228*x9*x5*y1 + 147*x8*x5*y1 + 50*x7*x5*y1 + 294*x6*x5*y1 + 404*x5^2*y1 + 633*x9*x4*y1 + 309*x8*x4*y1 + 53*x7*x4*y1 + 340*x6*x4*y1 + 226*x5*x4*y1 + 992*x4^2*y1 + 613*x9*x3*y1 + 407*x8*x3*y1 + 119*x7*x3*y1 + 421*x6*x3*y1 + 751*x5*x3*y1 + 421*x4*x3*y1 + 9*x3^2*y1 + 359*x9*x2*y1 + 949*x8*x2*y1 + 230*x7*x2*y1 + 230*x6*x2*y1 + 59*x5*x2*y1 + 306*x4*x2*y1 + 34*x3*x2*y1 + 762*x2^2*y1 + 627*x9*x1*y1 + 896*x8*x1*y1 + 550*x7*x1*y1 + 556*x6*x1*y1 + 495*x5*x1*y1 + 598*x4*x1*y1 + 938*x3*x1*y1 + 14*x2*x1*y1 + 784*x1^2*y1 + 653*x9*x0*y1 + 331*x8*x0*y1 + 442*x7*x0*y1 + 655*x6*x0*y1 + 579*x5*x0*y1 + 627*x4*x0*y1 + 252*x3*x0*y1 + 851*x2*x0*y1 + 24*x1*x0*y1 + 26*x0^2*y1 + 198*x9^2*y0 + 482*x9*x8*y0 + 299*x8^2*y0 + 900*x9*x7*y0 + 13*x8*x7*y0 + 972*x7^2*y0 + 411*x9*x6*y0 + 56*x8*x6*y0 + 875*x7*x6*y0 + 233*x6^2*y0 + 441*x9*x5*y0 + 33*x8*x5*y0 + 583*x7*x5*y0 + 920*x6*x5*y0 + 514*x5^2*y0 + 541*x9*x4*y0 + 970*x8*x4*y0 + 193*x7*x4*y0 + 344*x6*x4*y0 + 379*x5*x4*y0 + 629*x4^2*y0 + 969*x9*x3*y0 + 251*x8*x3*y0 + 161*x7*x3*y0 + 399*x6*x3*y0 + 790*x5*x3*y0 + 334*x4*x3*y0 + 831*x3^2*y0 + 959*x9*x2*y0 + 458*x8*x2*y0 + 788*x7*x2*y0 + 739*x6*x2*y0 + 700*x5*x2*y0 + 639*x4*x2*y0 + 367*x3*x2*y0 + 721*x2^2*y0 + 381*x9*x1*y0 + 992*x8*x1*y0 + 598*x7*x1*y0 + 74*x6*x1*y0 + 700*x5*x1*y0 + 428*x4*x1*y0 + 138*x3*x1*y0 + 439*x2*x1*y0 + 240*x1^2*y0 + 899*x9*x0*y0 + 832*x8*x0*y0 + 307*x7*x0*y0 + 433*x6*x0*y0 + 596*x5*x0*y0 + 901*x4*x0*y0 + 823*x3*x0*y0 + 66*x2*x0*y0 + 574*x1*x0*y0 + 65144*x0^2*y0,
149*x9^2*y2 + 317*x9*x8*y2 + 40*x8^2*y2 + 845*x9*x7*y2 + 203*x8*x7*y2 + 692*x7^2*y2 + 664*x9*x6*y2 + 710*x8*x6*y2 + 919*x7*x6*y2 + 584*x6^2*y2 + 347*x9*x5*y2 + 607*x8*x5*y2 + 75*x7*x5*y2 + 218*x6*x5*y2 + 810*x5^2*y2 + 834*x9*x4*y2 + 240*x8*x4*y2 + 207*x7*x4*y2 + 265*x6*x4*y2 + 970*x5*x4*y2 + 3*x4^2*y2 + 975*x9*x3*y2 + 148*x8*x3*y2 + 525*x7*x3*y2 + 983*x6*x3*y2 + 419*x5*x3*y2 + 319*x4*x3*y2 + 777*x3^2*y2 + 217*x9*x2*y2 + 325*x8*x2*y2 + 446*x7*x2*y2 + 964*x6*x2*y2 + 980*x5*x2*y2 + 768*x4*x2*y2 + 2*x3*x2*y2 + 461*x2^2*y2 + 670*x9*x1*y2 + 836*x8*x1*y2 + 208*x7*x1*y2 + 912*x6*x1*y2 + 605*x5*x1*y2 + 469*x4*x1*y2 + 974*x3*x1*y2 + 100*x2*x1*y2 + 576*x1^2*y2 + 383*x9*x0*y2 + 665*x8*x0*y2 + 922*x7*x0*y2 + 372*x6*x0*y2 + 464*x5*x0*y2 + 401*x4*x0*y2 + 845*x3*x0*y2 + 985*x2*x0*y2 + 131*x1*x0*y2 + 245*x0^2*y2 + 326*x9^2*y1 + 928*x9*x8*y1 + 636*x8^2*y1 + 359*x9*x7*y1 + 701*x8*x7*y1 + 26*x7^2*y1 + 147*x9*x6*y1 + 612*x8*x6*y1 + 2*x7*x6*y1 + 313*x6^2*y1 + 176*x9*x5*y1 + 591*x8*x5*y1 + 995*x7*x5*y1 + 69*x6*x5*y1 + 230*x5^2*y1 + 455*x9*x4*y1 + 510*x8*x4*y1 + 647*x7*x4*y1 + 442*x6*x4*y1 + 782*x5*x4*y1 + 607*x4^2*y1 + 341*x9*x3*y1 + 917*x8*x3*y1 + 824*x7*x3*y1 + 921*x6*x3*y1 + 885*x5*x3*y1 + 785*x4*x3*y1 + 675*x3^2*y1 + 33*x9*x2*y1 + 819*x8*x2*y1 + 10*x7*x2*y1 + 990*x6*x2*y1 + 746*x5*x2*y1 + 522*x4*x2*y1 + 164*x3*x2*y1 + 981*x2^2*y1 + 566*x9*x1*y1 + 90*x8*x1*y1 + 545*x7*x1*y1 + 611*x6*x1*y1 + 560*x5*x1*y1 + 844*x4*x1*y1 + 663*x3*x1*y1 + 286*x2*x1*y1 + 404*x1^2*y1 + 732*x9*x0*y1 + 596*x8*x0*y1 + 474*x7*x0*y1 + 595*x6*x0*y1 + 961*x5*x0*y1 + 231*x4*x0*y1 + 231*x3*x0*y1 + 120*x2*x0*y1 + 858*x1*x0*y1 + 388*x0^2*y1 + 641*x9^2*y0 + 263*x9*x8*y0 + 428*x8^2*y0 + 224*x9*x7*y0 + 42*x8*x7*y0 + 755*x7^2*y0 + 617*x9*x6*y0 + 659*x8*x6*y0 + 683*x7*x6*y0 + 828*x6^2*y0 + 351*x9*x5*y0 + 710*x8*x5*y0 + 624*x7*x5*y0 + 125*x6*x5*y0 + 921*x5^2*y0 + 364*x9*x4*y0 + 589*x8*x4*y0 + 849*x7*x4*y0 + 127*x6*x4*y0 + 58*x5*x4*y0 + 37*x4^2*y0 + 274*x9*x3*y0 + 939*x8*x3*y0 + 378*x7*x3*y0 + 601*x6*x3*y0 + 329*x5*x3*y0 + 694*x4*x3*y0 + 677*x3^2*y0 + 238*x9*x2*y0 + 599*x8*x2*y0 + 544*x7*x2*y0 + 734*x6*x2*y0 + 773*x5*x2*y0 + 650*x4*x2*y0 + 96*x3*x2*y0 + 147*x2^2*y0 + 842*x9*x1*y0 + 675*x8*x1*y0 + 499*x7*x1*y0 + 606*x6*x1*y0 + 495*x5*x1*y0 + 567*x4*x1*y0 + 819*x3*x1*y0 + 693*x2*x1*y0 + 892*x1^2*y0 + 63*x9*x0*y0 + 726*x8*x0*y0 + 347*x7*x0*y0 + 127*x6*x0*y0 + 59*x5*x0*y0 + 795*x4*x0*y0 + 319*x3*x0*y0 + 200*x2*x0*y0 + 900*x1*x0*y0 + 30312*x0^2*y0,
286*x9^2*y2 + 836*x9*x8*y2 + 358*x8^2*y2 + 241*x9*x7*y2 + 361*x8*x7*y2 + 533*x7^2*y2 + 744*x9*x6*y2 + 225*x8*x6*y2 + 364*x7*x6*y2 + 850*x6^2*y2 + 515*x9*x5*y2 + 520*x8*x5*y2 + 19*x7*x5*y2 + 249*x6*x5*y2 + 116*x5^2*y2 + 373*x9*x4*y2 + 328*x8*x4*y2 + 373*x7*x4*y2 + 974*x6*x4*y2 + 291*x5*x4*y2 + 608*x4^2*y2 + 607*x9*x3*y2 + 982*x8*x3*y2 + 95*x7*x3*y2 + 578*x6*x3*y2 + 692*x5*x3*y2 + 554*x4*x3*y2 + 454*x3^2*y2 + 112*x9*x2*y2 + 591*x8*x2*y2 + 620*x7*x2*y2 + 35*x6*x2*y2 + 971*x5*x2*y2 + 915*x4*x2*y2 + 846*x3*x2*y2 + 760*x2^2*y2 + 758*x9*x1*y2 + 60*x8*x1*y2 + 743*x7*x1*y2 + 420*x6*x1*y2 + 360*x5*x1*y2 + 614*x4*x1*y2 + 268*x3*x1*y2 + 745*x2*x1*y2 + 864*x1^2*y2 + 531*x9*x0*y2 + 187*x8*x0*y2 + 693*x7*x0*y2 + 677*x6*x0*y2 + 760*x5*x0*y2 + 696*x4*x0*y2 + 763*x3*x0*y2 + 969*x2*x0*y2 + 522*x1*x0*y2 + 501*x0^2*y2 + 336*x9^2*y1 + 840*x9*x8*y1 + 970*x8^2*y1 + 265*x9*x7*y1 + 342*x8*x7*y1 + 951*x7^2*y1 + 169*x9*x6*y1 + 821*x8*x6*y1 + 506*x7*x6*y1 + 824*x6^2*y1 + 700*x9*x5*y1 + 183*x8*x5*y1 + 773*x7*x5*y1 + 217*x6*x5*y1 + 4*x5^2*y1 + 835*x9*x4*y1 + 609*x8*x4*y1 + 500*x7*x4*y1 + 815*x6*x4*y1 + 540*x5*x4*y1 + 264*x4^2*y1 + 207*x9*x3*y1 + 673*x8*x3*y1 + 643*x7*x3*y1 + 521*x6*x3*y1 + 640*x5*x3*y1 + 704*x4*x3*y1 + 744*x3^2*y1 + 197*x9*x2*y1 + 762*x8*x2*y1 + 155*x7*x2*y1 + 809*x6*x2*y1 + 679*x5*x2*y1 + 997*x4*x2*y1 + 241*x3*x2*y1 + 823*x2^2*y1 + 9*x9*x1*y1 + 876*x8*x1*y1 + 17*x7*x1*y1 + 458*x6*x1*y1 + 712*x5*x1*y1 + 534*x4*x1*y1 + 343*x3*x1*y1 + 374*x2*x1*y1 + 745*x1^2*y1 + 872*x9*x0*y1 + 697*x8*x0*y1 + 689*x7*x0*y1 + 882*x6*x0*y1 + 729*x5*x0*y1 + 762*x4*x0*y1 + 841*x3*x0*y1 + 734*x2*x0*y1 + 380*x1*x0*y1 + 947*x0^2*y1 + 277*x9^2*y0 + 508*x9*x8*y0 + 208*x8^2*y0 + 39*x9*x7*y0 + 963*x8*x7*y0 + 494*x7^2*y0 + 869*x9*x6*y0 + 349*x8*x6*y0 + 480*x7*x6*y0 + 295*x6^2*y0 + 974*x9*x5*y0 + 766*x8*x5*y0 + 445*x7*x5*y0 + 154*x6*x5*y0 + 357*x5^2*y0 + 977*x9*x4*y0 + 693*x8*x4*y0 + 694*x7*x4*y0 + 5*x6*x4*y0 + 208*x5*x4*y0 + 88*x4^2*y0 + 442*x9*x3*y0 + 232*x8*x3*y0 + 977*x7*x3*y0 + 612*x6*x3*y0 + 580*x5*x3*y0 + 65*x4*x3*y0 + 63*x3^2*y0 + 828*x9*x2*y0 + 95*x8*x2*y0 + 632*x7*x2*y0 + 536*x6*x2*y0 + 841*x5*x2*y0 + 272*x4*x2*y0 + 842*x3*x2*y0 + 830*x2^2*y0 + 157*x9*x1*y0 + 323*x8*x1*y0 + 553*x7*x1*y0 + 607*x6*x1*y0 + 980*x5*x1*y0 + 606*x4*x1*y0 + 207*x3*x1*y0 + 555*x2*x1*y0 + 60*x1^2*y0 + 511*x9*x0*y0 + 381*x8*x0*y0 + 570*x7*x0*y0 + 288*x6*x0*y0 + 561*x5*x0*y0 + 440*x4*x0*y0 + 947*x3*x0*y0 + 445*x2*x0*y0 + 49*x1*x0*y0 + 3115*x0^2*y0,
60*x9^2*y2 + 151*x9*x8*y2 + 193*x8^2*y2 + 975*x9*x7*y2 + 818*x8*x7*y2 + 430*x7^2*y2 + 619*x9*x6*y2 + 215*x8*x6*y2 + 727*x7*x6*y2 + 185*x6^2*y2 + 771*x9*x5*y2 + 830*x8*x5*y2 + 463*x7*x5*y2 + 263*x6*x5*y2 + 863*x5^2*y2 + 946*x9*x4*y2 + 151*x8*x4*y2 + 69*x7*x4*y2 + 560*x6*x4*y2 + 896*x5*x4*y2 + 593*x4^2*y2 + 417*x9*x3*y2 + 113*x8*x3*y2 + 558*x7*x3*y2 + 552*x6*x3*y2 + 120*x5*x3*y2 + 577*x4*x3*y2 + 521*x3^2*y2 + 49*x9*x2*y2 + 400*x8*x2*y2 + 303*x7*x2*y2 + 937*x6*x2*y2 + 999*x5*x2*y2 + 103*x4*x2*y2 + 710*x3*x2*y2 + 423*x2^2*y2 + 513*x9*x1*y2 + 628*x8*x1*y2 + 152*x7*x1*y2 + 501*x6*x1*y2 + 823*x5*x1*y2 + 943*x4*x1*y2 + 890*x3*x1*y2 + 288*x2*x1*y2 + 287*x1^2*y2 + 712*x9*x0*y2 + 299*x8*x0*y2 + 494*x7*x0*y2 + 128*x6*x0*y2 + 348*x5*x0*y2 + 735*x4*x0*y2 + 757*x3*x0*y2 + 59*x2*x0*y2 + 762*x1*x0*y2 + 208*x0^2*y2 + 400*x9^2*y1 + 718*x9*x8*y1 + 905*x8^2*y1 + 603*x9*x7*y1 + 124*x8*x7*y1 + 126*x7^2*y1 + 805*x9*x6*y1 + 407*x8*x6*y1 + 9*x7*x6*y1 + 153*x6^2*y1 + 875*x9*x5*y1 + 952*x8*x5*y1 + 591*x7*x5*y1 + 615*x6*x5*y1 + 667*x5^2*y1 + 660*x9*x4*y1 + 665*x8*x4*y1 + 483*x7*x4*y1 + 343*x6*x4*y1 + 877*x5*x4*y1 + 856*x4^2*y1 + 396*x9*x3*y1 + 779*x8*x3*y1 + 115*x7*x3*y1 + 121*x6*x3*y1 + 518*x5*x3*y1 + 706*x4*x3*y1 + 979*x3^2*y1 + 188*x9*x2*y1 + 26*x8*x2*y1 + 461*x7*x2*y1 + 954*x6*x2*y1 + x5*x2*y1 + 559*x4*x2*y1 + 342*x3*x2*y1 + 616*x2^2*y1 + 713*x9*x1*y1 + 188*x8*x1*y1 + 62*x7*x1*y1 + 194*x6*x1*y1 + 525*x5*x1*y1 + 733*x4*x1*y1 + 542*x3*x1*y1 + 177*x2*x1*y1 + 733*x1^2*y1 + 419*x9*x0*y1 + 428*x8*x0*y1 + 707*x7*x0*y1 + 715*x6*x0*y1 + 614*x5*x0*y1 + 411*x4*x0*y1 + 992*x3*x0*y1 + 511*x2*x0*y1 + 815*x1*x0*y1 + 545*x0^2*y1 + 610*x9^2*y0 + 768*x9*x8*y0 + 711*x8^2*y0 + 46*x9*x7*y0 + 965*x8*x7*y0 + 689*x7^2*y0 + 205*x9*x6*y0 + 464*x8*x6*y0 + 420*x7*x6*y0 + 662*x6^2*y0 + 222*x9*x5*y0 + 647*x8*x5*y0 + 765*x7*x5*y0 + 107*x6*x5*y0 + 539*x5^2*y0 + 482*x9*x4*y0 + 867*x8*x4*y0 + 376*x7*x4*y0 + 123*x6*x4*y0 + 476*x5*x4*y0 + 191*x4^2*y0 + 844*x9*x3*y0 + 121*x8*x3*y0 + 115*x7*x3*y0 + 715*x6*x3*y0 + 660*x5*x3*y0 + 367*x4*x3*y0 + 284*x3^2*y0 + 670*x9*x2*y0 + 936*x8*x2*y0 + 38*x7*x2*y0 + 805*x6*x2*y0 + 894*x5*x2*y0 + 328*x4*x2*y0 + 631*x3*x2*y0 + 49*x2^2*y0 + 365*x9*x1*y0 + 428*x8*x1*y0 + 230*x7*x1*y0 + 867*x6*x1*y0 + 847*x5*x1*y0 + 259*x4*x1*y0 + 366*x3*x1*y0 + 635*x2*x1*y0 + 253*x1^2*y0 + 572*x9*x0*y0 + 892*x8*x0*y0 + 8*x7*x0*y0 + 982*x6*x0*y0 + 132*x5*x0*y0 + 136*x4*x0*y0 + 119*x3*x0*y0 + 509*x2*x0*y0 + 605*x1*x0*y0 + 63857*x0^2*y0,
301*x9^2*y2 + 875*x9*x8*y2 + 899*x8^2*y2 + 63*x9*x7*y2 + 495*x8*x7*y2 + 947*x7^2*y2 + 309*x9*x6*y2 + 233*x8*x6*y2 + 377*x7*x6*y2 + 973*x6^2*y2 + 577*x9*x5*y2 + 935*x8*x5*y2 + 850*x7*x5*y2 + 317*x6*x5*y2 + 950*x5^2*y2 + 53*x9*x4*y2 + 120*x8*x4*y2 + 272*x7*x4*y2 + 157*x6*x4*y2 + 430*x5*x4*y2 + 726*x4^2*y2 + 297*x9*x3*y2 + 265*x8*x3*y2 + 960*x7*x3*y2 + 500*x6*x3*y2 + 185*x5*x3*y2 + 915*x4*x3*y2 + 507*x3^2*y2 + 915*x9*x2*y2 + 676*x8*x2*y2 + 440*x7*x2*y2 + 72*x6*x2*y2 + 453*x5*x2*y2 + 480*x4*x2*y2 + 7*x3*x2*y2 + 504*x2^2*y2 + 903*x9*x1*y2 + 54*x8*x1*y2 + 540*x7*x1*y2 + 538*x6*x1*y2 + 763*x5*x1*y2 + 566*x4*x1*y2 + 842*x3*x1*y2 + 939*x2*x1*y2 + 580*x1^2*y2 + 743*x9*x0*y2 + 929*x8*x0*y2 + 389*x7*x0*y2 + 968*x6*x0*y2 + 492*x5*x0*y2 + 455*x4*x0*y2 + 687*x3*x0*y2 + 779*x2*x0*y2 + 164*x1*x0*y2 + 92*x0^2*y2 + 869*x9^2*y1 + 877*x9*x8*y1 + 817*x8^2*y1 + 523*x9*x7*y1 + 845*x8*x7*y1 + 177*x7^2*y1 + 74*x9*x6*y1 + 852*x8*x6*y1 + 445*x7*x6*y1 + 15*x6^2*y1 + 466*x9*x5*y1 + 382*x8*x5*y1 + 308*x7*x5*y1 + 248*x6*x5*y1 + 84*x5^2*y1 + 208*x9*x4*y1 + 740*x8*x4*y1 + 343*x7*x4*y1 + 646*x6*x4*y1 + 830*x5*x4*y1 + 980*x4^2*y1 + 844*x9*x3*y1 + 65*x8*x3*y1 + 575*x7*x3*y1 + 910*x6*x3*y1 + 498*x5*x3*y1 + 897*x4*x3*y1 + 146*x3^2*y1 + 81*x9*x2*y1 + 972*x8*x2*y1 + 804*x7*x2*y1 + 633*x6*x2*y1 + 377*x5*x2*y1 + 648*x4*x2*y1 + 489*x3*x2*y1 + 431*x2^2*y1 + 367*x9*x1*y1 + 408*x8*x1*y1 + 610*x7*x1*y1 + 816*x6*x1*y1 + 446*x5*x1*y1 + 684*x4*x1*y1 + 497*x3*x1*y1 + 381*x2*x1*y1 + 956*x1^2*y1 + 811*x9*x0*y1 + 775*x8*x0*y1 + 561*x7*x0*y1 + 300*x6*x0*y1 + 717*x5*x0*y1 + 46*x4*x0*y1 + 702*x3*x0*y1 + 740*x2*x0*y1 + 18*x1*x0*y1 + 95*x0^2*y1 + 317*x9^2*y0 + 58*x9*x8*y0 + 246*x8^2*y0 + 596*x9*x7*y0 + 807*x8*x7*y0 + 725*x7^2*y0 + 924*x9*x6*y0 + 401*x8*x6*y0 + 764*x7*x6*y0 + 405*x6^2*y0 + 163*x9*x5*y0 + 562*x8*x5*y0 + 984*x7*x5*y0 + 31*x6*x5*y0 + 872*x5^2*y0 + 219*x9*x4*y0 + 658*x8*x4*y0 + 155*x7*x4*y0 + 134*x6*x4*y0 + 575*x5*x4*y0 + 484*x4^2*y0 + 171*x9*x3*y0 + 19*x8*x3*y0 + 905*x7*x3*y0 + 708*x6*x3*y0 + 675*x5*x3*y0 + 710*x4*x3*y0 + 918*x3^2*y0 + 72*x9*x2*y0 + 375*x8*x2*y0 + 52*x7*x2*y0 + 869*x6*x2*y0 + 398*x5*x2*y0 + 331*x4*x2*y0 + 102*x3*x2*y0 + 546*x2^2*y0 + 816*x9*x1*y0 + 977*x8*x1*y0 + 921*x7*x1*y0 + 996*x6*x1*y0 + 420*x5*x1*y0 + 33*x4*x1*y0 + 763*x3*x1*y0 + 94*x2*x1*y0 + 919*x1^2*y0 + 728*x9*x0*y0 + 104*x8*x0*y0 + 996*x7*x0*y0 + 537*x6*x0*y0 + 608*x5*x0*y0 + 811*x4*x0*y0 + 128*x3*x0*y0 + 863*x2*x0*y0 + 361*x1*x0*y0 + 36887*x0^2*y0,
953*x9^2*y2 + 962*x9*x8*y2 + 796*x8^2*y2 + 479*x9*x7*y2 + 392*x8*x7*y2 + 929*x7^2*y2 + 861*x9*x6*y2 + 641*x8*x6*y2 + 508*x7*x6*y2 + 939*x6^2*y2 + 56*x9*x5*y2 + 185*x8*x5*y2 + 102*x7*x5*y2 + 934*x6*x5*y2 + 467*x5^2*y2 + 815*x9*x4*y2 + 736*x8*x4*y2 + 574*x7*x4*y2 + 330*x6*x4*y2 + 635*x5*x4*y2 + 669*x4^2*y2 + 306*x9*x3*y2 + 410*x8*x3*y2 + 198*x7*x3*y2 + 588*x6*x3*y2 + 759*x5*x3*y2 + 273*x4*x3*y2 + 767*x3^2*y2 + 191*x9*x2*y2 + 12*x8*x2*y2 + 781*x7*x2*y2 + 299*x6*x2*y2 + 422*x5*x2*y2 + 478*x4*x2*y2 + 59*x3*x2*y2 + 100*x2^2*y2 + 861*x9*x1*y2 + 228*x8*x1*y2 + 353*x7*x1*y2 + 353*x6*x1*y2 + 199*x5*x1*y2 + 448*x4*x1*y2 + 215*x3*x1*y2 + 739*x2*x1*y2 + 300*x1^2*y2 + 1000*x9*x0*y2 + 839*x8*x0*y2 + 521*x7*x0*y2 + 823*x6*x0*y2 + 781*x5*x0*y2 + 892*x4*x0*y2 + 51*x3*x0*y2 + 977*x2*x0*y2 + 718*x1*x0*y2 + 763*x0^2*y2 + 475*x9^2*y1 + 654*x9*x8*y1 + 91*x8^2*y1 + 196*x9*x7*y1 + 455*x8*x7*y1 + 570*x7^2*y1 + 520*x9*x6*y1 + 660*x8*x6*y1 + 666*x7*x6*y1 + 22*x6^2*y1 + 294*x9*x5*y1 + 821*x8*x5*y1 + 817*x7*x5*y1 + 705*x6*x5*y1 + 782*x5^2*y1 + 438*x9*x4*y1 + 927*x8*x4*y1 + 231*x7*x4*y1 + 28*x6*x4*y1 + 825*x5*x4*y1 + 179*x4^2*y1 + 3*x9*x3*y1 + 764*x8*x3*y1 + 391*x7*x3*y1 + 925*x6*x3*y1 + 861*x5*x3*y1 + 894*x4*x3*y1 + 289*x3^2*y1 + 898*x9*x2*y1 + 905*x8*x2*y1 + 122*x7*x2*y1 + 943*x6*x2*y1 + 537*x5*x2*y1 + 606*x4*x2*y1 + 95*x3*x2*y1 + 496*x2^2*y1 + 649*x9*x1*y1 + 370*x8*x1*y1 + 478*x7*x1*y1 + 289*x6*x1*y1 + 171*x5*x1*y1 + 569*x4*x1*y1 + 814*x3*x1*y1 + 524*x2*x1*y1 + 747*x1^2*y1 + 477*x9*x0*y1 + 272*x8*x0*y1 + 218*x7*x0*y1 + 324*x6*x0*y1 + 47*x5*x0*y1 + 129*x4*x0*y1 + 584*x3*x0*y1 + 28*x2*x0*y1 + 190*x1*x0*y1 + 651*x0^2*y1 + 678*x9^2*y0 + 791*x9*x8*y0 + 859*x8^2*y0 + 783*x9*x7*y0 + 100*x8*x7*y0 + 484*x7^2*y0 + 860*x9*x6*y0 + 397*x8*x6*y0 + 64*x7*x6*y0 + 714*x6^2*y0 + 408*x9*x5*y0 + 549*x8*x5*y0 + 620*x7*x5*y0 + 706*x6*x5*y0 + 119*x5^2*y0 + 732*x9*x4*y0 + 42*x8*x4*y0 + 168*x7*x4*y0 + 790*x6*x4*y0 + 812*x5*x4*y0 + 814*x4^2*y0 + 10*x9*x3*y0 + 315*x8*x3*y0 + 791*x7*x3*y0 + 324*x6*x3*y0 + 498*x5*x3*y0 + 740*x4*x3*y0 + 924*x3^2*y0 + 238*x9*x2*y0 + 482*x8*x2*y0 + 786*x7*x2*y0 + 81*x6*x2*y0 + 519*x5*x2*y0 + 961*x4*x2*y0 + 455*x3*x2*y0 + 307*x2^2*y0 + 412*x9*x1*y0 + 574*x8*x1*y0 + 816*x7*x1*y0 + 259*x6*x1*y0 + 767*x5*x1*y0 + 77*x4*x1*y0 + 554*x3*x1*y0 + 288*x2*x1*y0 + 953*x1^2*y0 + 526*x9*x0*y0 + 556*x8*x0*y0 + 667*x7*x0*y0 + 140*x6*x0*y0 + 26*x5*x0*y0 + 457*x4*x0*y0 + 671*x3*x0*y0 + 419*x2*x0*y0 + 62*x1*x0*y0 + 54219*x0^2*y0,
702*x9^2*y2 + 893*x9*x8*y2 + 240*x8^2*y2 + 119*x9*x7*y2 + 247*x8*x7*y2 + 235*x7^2*y2 + 16*x9*x6*y2 + 871*x8*x6*y2 + 222*x7*x6*y2 + 371*x6^2*y2 + 791*x9*x5*y2 + 528*x8*x5*y2 + 173*x7*x5*y2 + 136*x6*x5*y2 + 922*x5^2*y2 + 108*x9*x4*y2 + 385*x8*x4*y2 + 90*x7*x4*y2 + 211*x6*x4*y2 + 447*x5*x4*y2 + 983*x4^2*y2 + 560*x9*x3*y2 + 174*x8*x3*y2 + 244*x7*x3*y2 + 775*x6*x3*y2 + 317*x5*x3*y2 + 474*x4*x3*y2 + 467*x3^2*y2 + 364*x9*x2*y2 + 735*x8*x2*y2 + 377*x7*x2*y2 + 420*x6*x2*y2 + 840*x5*x2*y2 + 4*x4*x2*y2 + 245*x3*x2*y2 + 963*x2^2*y2 + 716*x9*x1*y2 + 459*x8*x1*y2 + 371*x7*x1*y2 + 840*x6*x1*y2 + 316*x5*x1*y2 + 626*x4*x1*y2 + 765*x3*x1*y2 + 613*x2*x1*y2 + 809*x1^2*y2 + 239*x9*x0*y2 + 122*x8*x0*y2 + 623*x7*x0*y2 + 751*x6*x0*y2 + 770*x5*x0*y2 + 791*x4*x0*y2 + 950*x3*x0*y2 + 256*x2*x0*y2 + 860*x1*x0*y2 + 7*x0^2*y2 + 159*x9^2*y1 + 720*x9*x8*y1 + 469*x8^2*y1 + 272*x9*x7*y1 + 513*x8*x7*y1 + 24*x7^2*y1 + 907*x9*x6*y1 + 743*x8*x6*y1 + 282*x7*x6*y1 + 583*x6^2*y1 + 781*x9*x5*y1 + 531*x8*x5*y1 + 480*x7*x5*y1 + 698*x6*x5*y1 + 270*x5^2*y1 + 180*x9*x4*y1 + 62*x8*x4*y1 + 101*x7*x4*y1 + 983*x6*x4*y1 + 404*x5*x4*y1 + 809*x4^2*y1 + 901*x9*x3*y1 + 315*x8*x3*y1 + 653*x7*x3*y1 + 54*x6*x3*y1 + 913*x5*x3*y1 + 639*x4*x3*y1 + 353*x3^2*y1 + 520*x9*x2*y1 + 17*x8*x2*y1 + 959*x7*x2*y1 + 632*x6*x2*y1 + 102*x5*x2*y1 + 27*x4*x2*y1 + 596*x3*x2*y1 + 290*x2^2*y1 + 409*x9*x1*y1 + 8*x8*x1*y1 + 16*x7*x1*y1 + 431*x6*x1*y1 + 57*x5*x1*y1 + 175*x4*x1*y1 + 872*x3*x1*y1 + 358*x2*x1*y1 + 345*x1^2*y1 + 25*x9*x0*y1 + 461*x8*x0*y1 + 814*x7*x0*y1 + 763*x6*x0*y1 + 673*x5*x0*y1 + 935*x4*x0*y1 + 548*x3*x0*y1 + 252*x2*x0*y1 + 373*x1*x0*y1 + 543*x0^2*y1 + 191*x9^2*y0 + 992*x9*x8*y0 + 893*x8^2*y0 + 312*x9*x7*y0 + 784*x8*x7*y0 + 386*x7^2*y0 + 986*x9*x6*y0 + 636*x8*x6*y0 + 971*x7*x6*y0 + 241*x6^2*y0 + 924*x9*x5*y0 + 490*x8*x5*y0 + 482*x7*x5*y0 + 465*x6*x5*y0 + 915*x5^2*y0 + 555*x9*x4*y0 + 42*x8*x4*y0 + 654*x7*x4*y0 + 320*x6*x4*y0 + 873*x5*x4*y0 + 679*x4^2*y0 + 483*x9*x3*y0 + 504*x8*x3*y0 + 551*x7*x3*y0 + 95*x6*x3*y0 + 953*x5*x3*y0 + 701*x4*x3*y0 + 84*x3^2*y0 + 997*x9*x2*y0 + 481*x8*x2*y0 + 369*x7*x2*y0 + 414*x6*x2*y0 + 220*x5*x2*y0 + 612*x4*x2*y0 + 337*x3*x2*y0 + 380*x2^2*y0 + 75*x9*x1*y0 + 216*x8*x1*y0 + 647*x7*x1*y0 + 60*x6*x1*y0 + 650*x5*x1*y0 + 462*x4*x1*y0 + 207*x3*x1*y0 + 924*x2*x1*y0 + 731*x1^2*y0 + 371*x9*x0*y0 + 195*x8*x0*y0 + 213*x7*x0*y0 + 728*x6*x0*y0 + 873*x5*x0*y0 + 262*x4*x0*y0 + 915*x3*x0*y0 + 481*x2*x0*y0 + 267*x1*x0*y0 + 2289*x0^2*y0,
112*x9^2*y2 + 410*x9*x8*y2 + 465*x8^2*y2 + 368*x9*x7*y2 + 476*x8*x7*y2 + 756*x7^2*y2 + 761*x9*x6*y2 + 544*x8*x6*y2 + 177*x7*x6*y2 + 424*x6^2*y2 + 158*x9*x5*y2 + 841*x8*x5*y2 + 433*x7*x5*y2 + 830*x6*x5*y2 + 449*x5^2*y2 + 88*x9*x4*y2 + 743*x8*x4*y2 + 204*x7*x4*y2 + 24*x6*x4*y2 + 946*x5*x4*y2 + 86*x4^2*y2 + 619*x9*x3*y2 + 360*x8*x3*y2 + 280*x7*x3*y2 + 55*x6*x3*y2 + 62*x5*x3*y2 + 294*x4*x3*y2 + 949*x3^2*y2 + 102*x9*x2*y2 + 65*x8*x2*y2 + 637*x7*x2*y2 + 846*x6*x2*y2 + 29*x5*x2*y2 + 395*x4*x2*y2 + 889*x3*x2*y2 + 725*x2^2*y2 + 556*x9*x1*y2 + 928*x8*x1*y2 + 557*x7*x1*y2 + 348*x6*x1*y2 + 640*x5*x1*y2 + 482*x4*x1*y2 + 673*x3*x1*y2 + 734*x2*x1*y2 + 614*x1^2*y2 + 294*x9*x0*y2 + 266*x8*x0*y2 + 545*x7*x0*y2 + 320*x6*x0*y2 + 278*x5*x0*y2 + 733*x4*x0*y2 + 57*x3*x0*y2 + 196*x2*x0*y2 + 981*x1*x0*y2 + 563*x0^2*y2 + 111*x9^2*y1 + 382*x9*x8*y1 + 210*x8^2*y1 + 82*x9*x7*y1 + 812*x8*x7*y1 + 239*x7^2*y1 + 302*x9*x6*y1 + 973*x8*x6*y1 + 428*x7*x6*y1 + 329*x6^2*y1 + 233*x9*x5*y1 + 865*x8*x5*y1 + 395*x7*x5*y1 + 272*x6*x5*y1 + 773*x5^2*y1 + 178*x9*x4*y1 + 157*x8*x4*y1 + 793*x7*x4*y1 + 376*x6*x4*y1 + 362*x5*x4*y1 + 593*x4^2*y1 + 844*x9*x3*y1 + 70*x8*x3*y1 + 64*x7*x3*y1 + 556*x6*x3*y1 + 235*x5*x3*y1 + 115*x4*x3*y1 + 242*x3^2*y1 + 460*x9*x2*y1 + 246*x8*x2*y1 + 142*x7*x2*y1 + 21*x6*x2*y1 + 203*x5*x2*y1 + 13*x4*x2*y1 + 62*x3*x2*y1 + 757*x2^2*y1 + 880*x9*x1*y1 + 441*x8*x1*y1 + 561*x7*x1*y1 + 190*x6*x1*y1 + 811*x5*x1*y1 + 538*x4*x1*y1 + 428*x3*x1*y1 + 573*x2*x1*y1 + 876*x1^2*y1 + 353*x9*x0*y1 + 199*x8*x0*y1 + 839*x7*x0*y1 + 5*x6*x0*y1 + 736*x5*x0*y1 + 100*x4*x0*y1 + 706*x3*x0*y1 + 959*x2*x0*y1 + 207*x1*x0*y1 + 907*x0^2*y1 + 943*x9^2*y0 + 408*x9*x8*y0 + 27*x8^2*y0 + 795*x9*x7*y0 + 894*x8*x7*y0 + 951*x7^2*y0 + 465*x9*x6*y0 + 407*x8*x6*y0 + 672*x7*x6*y0 + 239*x6^2*y0 + 690*x9*x5*y0 + 415*x8*x5*y0 + 756*x7*x5*y0 + 218*x6*x5*y0 + 7*x5^2*y0 + 695*x9*x4*y0 + 822*x8*x4*y0 + 782*x7*x4*y0 + 637*x6*x4*y0 + 609*x5*x4*y0 + 280*x4^2*y0 + 151*x9*x3*y0 + 916*x8*x3*y0 + 417*x7*x3*y0 + 88*x6*x3*y0 + 845*x5*x3*y0 + 567*x4*x3*y0 + 549*x3^2*y0 + 741*x9*x2*y0 + 13*x8*x2*y0 + 689*x7*x2*y0 + 414*x6*x2*y0 + 734*x5*x2*y0 + 597*x4*x2*y0 + 610*x3*x2*y0 + 540*x2^2*y0 + 346*x9*x1*y0 + 571*x8*x1*y0 + 771*x7*x1*y0 + 570*x6*x1*y0 + 411*x5*x1*y0 + 705*x4*x1*y0 + 608*x3*x1*y0 + 976*x2*x1*y0 + 216*x1^2*y0 + 928*x9*x0*y0 + 388*x8*x0*y0 + 19*x7*x0*y0 + 359*x6*x0*y0 + 155*x5*x0*y0 + 608*x4*x0*y0 + 925*x3*x0*y0 + 538*x2*x0*y0 + 802*x1*x0*y0 + 49433*x0^2*y0,
758*x9^2*y2 + 905*x9*x8*y2 + 155*x8^2*y2 + 379*x9*x7*y2 + 482*x8*x7*y2 + 791*x7^2*y2 + 972*x9*x6*y2 + 24*x8*x6*y2 + 744*x7*x6*y2 + 706*x6^2*y2 + 594*x9*x5*y2 + 187*x8*x5*y2 + 718*x7*x5*y2 + 788*x6*x5*y2 + 169*x5^2*y2 + 508*x9*x4*y2 + 443*x8*x4*y2 + 679*x7*x4*y2 + 146*x6*x4*y2 + 458*x5*x4*y2 + 458*x4^2*y2 + 378*x9*x3*y2 + 768*x8*x3*y2 + 641*x6*x3*y2 + 681*x5*x3*y2 + 495*x4*x3*y2 + 47*x3^2*y2 + 278*x9*x2*y2 + 525*x8*x2*y2 + 155*x7*x2*y2 + 193*x6*x2*y2 + 646*x5*x2*y2 + 717*x4*x2*y2 + 243*x3*x2*y2 + 607*x2^2*y2 + 972*x9*x1*y2 + 174*x8*x1*y2 + 804*x7*x1*y2 + 230*x6*x1*y2 + 188*x5*x1*y2 + 222*x4*x1*y2 + 672*x3*x1*y2 + 64*x2*x1*y2 + 891*x1^2*y2 + 189*x9*x0*y2 + 771*x8*x0*y2 + 12*x7*x0*y2 + 212*x6*x0*y2 + 115*x5*x0*y2 + 233*x4*x0*y2 + 294*x3*x0*y2 + 897*x2*x0*y2 + 148*x1*x0*y2 + 326*x0^2*y2 + 955*x9^2*y1 + 73*x9*x8*y1 + 824*x8^2*y1 + 48*x9*x7*y1 + 322*x8*x7*y1 + 136*x7^2*y1 + 766*x9*x6*y1 + 153*x8*x6*y1 + 364*x7*x6*y1 + 703*x6^2*y1 + 994*x9*x5*y1 + 734*x8*x5*y1 + 836*x7*x5*y1 + 633*x6*x5*y1 + 196*x5^2*y1 + 217*x9*x4*y1 + 259*x8*x4*y1 + 238*x7*x4*y1 + 533*x6*x4*y1 + 909*x5*x4*y1 + 814*x9*x3*y1 + 475*x8*x3*y1 + 927*x7*x3*y1 + 386*x6*x3*y1 + 911*x5*x3*y1 + 746*x4*x3*y1 + 542*x3^2*y1 + 465*x9*x2*y1 + 730*x8*x2*y1 + 723*x7*x2*y1 + 610*x6*x2*y1 + 315*x5*x2*y1 + 173*x4*x2*y1 + 317*x3*x2*y1 + 133*x2^2*y1 + 190*x9*x1*y1 + 347*x8*x1*y1 + 194*x7*x1*y1 + 679*x6*x1*y1 + 572*x5*x1*y1 + 105*x4*x1*y1 + 263*x3*x1*y1 + 350*x2*x1*y1 + 672*x1^2*y1 + 645*x9*x0*y1 + 387*x8*x0*y1 + 784*x7*x0*y1 + 389*x6*x0*y1 + 130*x5*x0*y1 + 146*x4*x0*y1 + 828*x3*x0*y1 + 273*x2*x0*y1 + 66*x1*x0*y1 + 551*x0^2*y1 + 86*x9^2*y0 + 464*x9*x8*y0 + 415*x8^2*y0 + 246*x9*x7*y0 + 868*x8*x7*y0 + 160*x7^2*y0 + 992*x9*x6*y0 + 580*x8*x6*y0 + 443*x7*x6*y0 + 904*x6^2*y0 + 986*x9*x5*y0 + 8*x8*x5*y0 + 446*x7*x5*y0 + 504*x6*x5*y0 + 786*x5^2*y0 + 447*x9*x4*y0 + 457*x8*x4*y0 + 304*x7*x4*y0 + 220*x6*x4*y0 + 325*x5*x4*y0 + 552*x4^2*y0 + 190*x9*x3*y0 + 59*x8*x3*y0 + 559*x7*x3*y0 + 34*x6*x3*y0 + 84*x5*x3*y0 + 749*x4*x3*y0 + 804*x3^2*y0 + 78*x9*x2*y0 + 968*x8*x2*y0 + 335*x7*x2*y0 + 285*x6*x2*y0 + 462*x5*x2*y0 + 367*x4*x2*y0 + 148*x3*x2*y0 + 930*x2^2*y0 + 564*x9*x1*y0 + 653*x8*x1*y0 + 632*x7*x1*y0 + 556*x6*x1*y0 + 586*x5*x1*y0 + 341*x4*x1*y0 + 872*x3*x1*y0 + 393*x2*x1*y0 + 726*x1^2*y0 + 394*x9*x0*y0 + 643*x8*x0*y0 + 846*x7*x0*y0 + 593*x6*x0*y0 + 944*x5*x0*y0 + 659*x4*x0*y0 + 548*x3*x0*y0 + 345*x2*x0*y0 + 851*x1*x0*y0 + 29484*x0^2*y0,
461*x9^2*y2 + 137*x9*x8*y2 + 967*x8^2*y2 + 891*x9*x7*y2 + 400*x8*x7*y2 + 349*x7^2*y2 + 476*x9*x6*y2 + 886*x8*x6*y2 + 933*x7*x6*y2 + 43*x6^2*y2 + 549*x9*x5*y2 + 856*x8*x5*y2 + x7*x5*y2 + 419*x6*x5*y2 + 212*x5^2*y2 + 285*x9*x4*y2 + 297*x8*x4*y2 + 74*x7*x4*y2 + 144*x6*x4*y2 + 601*x5*x4*y2 + 879*x4^2*y2 + 190*x9*x3*y2 + 824*x8*x3*y2 + 682*x7*x3*y2 + 541*x6*x3*y2 + 856*x5*x3*y2 + 583*x4*x3*y2 + 24*x3^2*y2 + 818*x9*x2*y2 + 963*x8*x2*y2 + 747*x7*x2*y2 + 853*x6*x2*y2 + 982*x5*x2*y2 + 774*x4*x2*y2 + 205*x3*x2*y2 + 519*x2^2*y2 + 701*x9*x1*y2 + 901*x8*x1*y2 + 83*x7*x1*y2 + 55*x6*x1*y2 + 768*x5*x1*y2 + 985*x4*x1*y2 + 211*x3*x1*y2 + 654*x2*x1*y2 + 858*x1^2*y2 + 732*x9*x0*y2 + 544*x8*x0*y2 + 889*x7*x0*y2 + 181*x6*x0*y2 + 435*x5*x0*y2 + 213*x4*x0*y2 + 867*x3*x0*y2 + 75*x2*x0*y2 + 388*x1*x0*y2 + 407*x0^2*y2 + 585*x9^2*y1 + 173*x9*x8*y1 + 907*x8^2*y1 + 484*x9*x7*y1 + 341*x8*x7*y1 + 522*x7^2*y1 + 66*x9*x6*y1 + 886*x8*x6*y1 + 204*x7*x6*y1 + 576*x6^2*y1 + 444*x9*x5*y1 + 699*x8*x5*y1 + 391*x7*x5*y1 + 766*x6*x5*y1 + 401*x5^2*y1 + 383*x9*x4*y1 + 168*x8*x4*y1 + 400*x7*x4*y1 + 831*x6*x4*y1 + 773*x5*x4*y1 + 744*x4^2*y1 + 716*x9*x3*y1 + 926*x8*x3*y1 + 84*x7*x3*y1 + 472*x6*x3*y1 + 27*x5*x3*y1 + 585*x4*x3*y1 + 151*x3^2*y1 + 320*x9*x2*y1 + 131*x8*x2*y1 + 292*x7*x2*y1 + 682*x6*x2*y1 + 927*x5*x2*y1 + 61*x4*x2*y1 + 776*x3*x2*y1 + 771*x2^2*y1 + 636*x9*x1*y1 + 944*x8*x1*y1 + 802*x7*x1*y1 + 897*x6*x1*y1 + 570*x5*x1*y1 + 928*x4*x1*y1 + 809*x3*x1*y1 + 719*x2*x1*y1 + 485*x1^2*y1 + 380*x9*x0*y1 + 527*x8*x0*y1 + 14*x7*x0*y1 + 833*x6*x0*y1 + 834*x5*x0*y1 + 153*x4*x0*y1 + 692*x3*x0*y1 + 131*x2*x0*y1 + 317*x1*x0*y1 + 22*x0^2*y1 + 769*x9^2*y0 + 812*x9*x8*y0 + 871*x8^2*y0 + 16*x9*x7*y0 + 638*x8*x7*y0 + 853*x7^2*y0 + 371*x9*x6*y0 + 78*x8*x6*y0 + 785*x7*x6*y0 + 444*x6^2*y0 + 118*x9*x5*y0 + 198*x8*x5*y0 + 142*x7*x5*y0 + 682*x6*x5*y0 + 500*x5^2*y0 + 911*x9*x4*y0 + 653*x8*x4*y0 + 893*x7*x4*y0 + 60*x6*x4*y0 + 305*x5*x4*y0 + 422*x4^2*y0 + 200*x9*x3*y0 + 633*x8*x3*y0 + 102*x7*x3*y0 + 243*x6*x3*y0 + 211*x5*x3*y0 + 981*x4*x3*y0 + 21*x3^2*y0 + 942*x9*x2*y0 + 242*x8*x2*y0 + 462*x7*x2*y0 + 160*x6*x2*y0 + 115*x5*x2*y0 + 983*x4*x2*y0 + 562*x3*x2*y0 + 250*x2^2*y0 + 258*x9*x1*y0 + 327*x8*x1*y0 + 54*x7*x1*y0 + 872*x6*x1*y0 + 895*x5*x1*y0 + 77*x4*x1*y0 + 618*x3*x1*y0 + 973*x2*x1*y0 + 599*x1^2*y0 + 23*x9*x0*y0 + 447*x8*x0*y0 + 17*x7*x0*y0 + 817*x6*x0*y0 + 609*x5*x0*y0 + 31*x4*x0*y0 + 930*x3*x0*y0 + 90*x2*x0*y0 + 594*x1*x0*y0 + 10415*x0^2*y0,
950*x9^2*y2 + 482*x9*x8*y2 + 186*x8^2*y2 + 585*x9*x7*y2 + 558*x8*x7*y2 + 607*x7^2*y2 + 218*x9*x6*y2 + 884*x8*x6*y2 + 789*x7*x6*y2 + 683*x6^2*y2 + 422*x9*x5*y2 + 564*x8*x5*y2 + 376*x7*x5*y2 + 206*x6*x5*y2 + 235*x5^2*y2 + 910*x9*x4*y2 + 131*x8*x4*y2 + 665*x7*x4*y2 + 962*x6*x4*y2 + 902*x5*x4*y2 + 343*x4^2*y2 + 485*x9*x3*y2 + 815*x8*x3*y2 + 147*x7*x3*y2 + 507*x6*x3*y2 + 209*x5*x3*y2 + 549*x4*x3*y2 + 370*x3^2*y2 + 294*x9*x2*y2 + 831*x8*x2*y2 + 463*x7*x2*y2 + 321*x6*x2*y2 + 96*x5*x2*y2 + 347*x4*x2*y2 + 395*x3*x2*y2 + 389*x2^2*y2 + 881*x9*x1*y2 + 233*x8*x1*y2 + 360*x7*x1*y2 + 449*x6*x1*y2 + 287*x5*x1*y2 + 865*x4*x1*y2 + 442*x3*x1*y2 + 134*x2*x1*y2 + 306*x1^2*y2 + 37*x9*x0*y2 + 485*x8*x0*y2 + 745*x7*x0*y2 + 144*x6*x0*y2 + 135*x5*x0*y2 + 409*x4*x0*y2 + 116*x3*x0*y2 + 55*x2*x0*y2 + 459*x1*x0*y2 + 681*x0^2*y2 + 662*x9^2*y1 + 544*x9*x8*y1 + 252*x8^2*y1 + 107*x9*x7*y1 + 462*x8*x7*y1 + 295*x7^2*y1 + 937*x9*x6*y1 + 249*x8*x6*y1 + 241*x7*x6*y1 + 98*x6^2*y1 + 813*x9*x5*y1 + 962*x8*x5*y1 + 400*x7*x5*y1 + 71*x6*x5*y1 + 505*x5^2*y1 + 544*x9*x4*y1 + 696*x8*x4*y1 + 4*x7*x4*y1 + 352*x6*x4*y1 + 772*x5*x4*y1 + 505*x4^2*y1 + 591*x9*x3*y1 + 186*x8*x3*y1 + 948*x7*x3*y1 + 870*x6*x3*y1 + 104*x5*x3*y1 + 162*x4*x3*y1 + 273*x3^2*y1 + 44*x9*x2*y1 + 434*x8*x2*y1 + 428*x7*x2*y1 + 771*x6*x2*y1 + 691*x5*x2*y1 + 786*x4*x2*y1 + 280*x3*x2*y1 + 1000*x2^2*y1 + 633*x9*x1*y1 + 180*x8*x1*y1 + 498*x7*x1*y1 + 649*x6*x1*y1 + 70*x5*x1*y1 + 43*x4*x1*y1 + 436*x3*x1*y1 + 193*x2*x1*y1 + 539*x1^2*y1 + 99*x9*x0*y1 + 103*x8*x0*y1 + 5*x7*x0*y1 + 622*x6*x0*y1 + 947*x5*x0*y1 + 101*x4*x0*y1 + 238*x3*x0*y1 + 366*x2*x0*y1 + 746*x1*x0*y1 + 79*x0^2*y1 + 657*x9^2*y0 + 409*x9*x8*y0 + 727*x8^2*y0 + 6*x9*x7*y0 + 296*x8*x7*y0 + 940*x7^2*y0 + 717*x9*x6*y0 + 545*x8*x6*y0 + 106*x7*x6*y0 + 883*x6^2*y0 + 126*x9*x5*y0 + x8*x5*y0 + 233*x7*x5*y0 + 360*x6*x5*y0 + 323*x5^2*y0 + 867*x9*x4*y0 + 966*x8*x4*y0 + 373*x7*x4*y0 + 640*x6*x4*y0 + 758*x5*x4*y0 + 751*x4^2*y0 + 938*x9*x3*y0 + 770*x8*x3*y0 + 89*x7*x3*y0 + 557*x6*x3*y0 + 303*x5*x3*y0 + 832*x4*x3*y0 + 616*x3^2*y0 + 443*x9*x2*y0 + 975*x8*x2*y0 + 302*x7*x2*y0 + 617*x6*x2*y0 + 347*x5*x2*y0 + 488*x4*x2*y0 + 649*x3*x2*y0 + 497*x2^2*y0 + 61*x9*x1*y0 + 196*x8*x1*y0 + 468*x7*x1*y0 + 286*x6*x1*y0 + 539*x5*x1*y0 + 24*x4*x1*y0 + 149*x3*x1*y0 + 128*x2*x1*y0 + 500*x1^2*y0 + 740*x9*x0*y0 + 306*x8*x0*y0 + 491*x7*x0*y0 + 51*x6*x0*y0 + 529*x5*x0*y0 + 693*x4*x0*y0 + 501*x3*x0*y0 + 42*x2*x0*y0 + 979*x1*x0*y0 + 18138*x0^2*y0,
501*x9^2*y2 + 53*x9*x8*y2 + 622*x8^2*y2 + 771*x9*x7*y2 + 189*x8*x7*y2 + 347*x7^2*y2 + 172*x9*x6*y2 + 410*x8*x6*y2 + 695*x7*x6*y2 + 43*x6^2*y2 + 801*x9*x5*y2 + 494*x8*x5*y2 + 687*x7*x5*y2 + 443*x6*x5*y2 + 665*x5^2*y2 + 549*x9*x4*y2 + 254*x8*x4*y2 + 854*x7*x4*y2 + 552*x6*x4*y2 + 995*x5*x4*y2 + 871*x4^2*y2 + 205*x9*x3*y2 + 932*x8*x3*y2 + 148*x7*x3*y2 + 238*x6*x3*y2 + 985*x5*x3*y2 + 465*x4*x3*y2 + 433*x3^2*y2 + 498*x9*x2*y2 + 319*x8*x2*y2 + 262*x7*x2*y2 + 269*x6*x2*y2 + 35*x5*x2*y2 + 281*x4*x2*y2 + 370*x3*x2*y2 + 454*x2^2*y2 + 203*x9*x1*y2 + 373*x8*x1*y2 + 945*x7*x1*y2 + 592*x6*x1*y2 + 187*x5*x1*y2 + 499*x4*x1*y2 + 126*x3*x1*y2 + 425*x2*x1*y2 + 821*x1^2*y2 + 128*x9*x0*y2 + 733*x8*x0*y2 + 577*x7*x0*y2 + 750*x6*x0*y2 + 60*x5*x0*y2 + 857*x4*x0*y2 + 886*x3*x0*y2 + 988*x2*x0*y2 + 797*x1*x0*y2 + 742*x0^2*y2 + 682*x9^2*y1 + 286*x9*x8*y1 + 675*x8^2*y1 + 65*x9*x7*y1 + 36*x8*x7*y1 + 493*x7^2*y1 + 851*x9*x6*y1 + 783*x8*x6*y1 + 88*x7*x6*y1 + 774*x6^2*y1 + 619*x9*x5*y1 + 58*x8*x5*y1 + 338*x7*x5*y1 + 655*x6*x5*y1 + 259*x5^2*y1 + 5*x9*x4*y1 + 251*x8*x4*y1 + 61*x7*x4*y1 + 343*x6*x4*y1 + 571*x5*x4*y1 + 670*x4^2*y1 + 12*x9*x3*y1 + 52*x8*x3*y1 + 6*x7*x3*y1 + 223*x6*x3*y1 + 665*x5*x3*y1 + 505*x4*x3*y1 + 933*x3^2*y1 + 794*x9*x2*y1 + 605*x8*x2*y1 + 449*x7*x2*y1 + 844*x6*x2*y1 + 36*x5*x2*y1 + 437*x4*x2*y1 + 890*x3*x2*y1 + 57*x2^2*y1 + 731*x9*x1*y1 + 24*x8*x1*y1 + 742*x7*x1*y1 + 644*x6*x1*y1 + 395*x5*x1*y1 + 801*x4*x1*y1 + 92*x3*x1*y1 + 589*x2*x1*y1 + 287*x1^2*y1 + 635*x9*x0*y1 + 308*x8*x0*y1 + 245*x7*x0*y1 + 356*x6*x0*y1 + 187*x5*x0*y1 + 210*x4*x0*y1 + 607*x3*x0*y1 + 500*x2*x0*y1 + 29*x1*x0*y1 + 28*x0^2*y1 + 733*x9^2*y0 + 199*x9*x8*y0 + 80*x8^2*y0 + 576*x9*x7*y0 + 107*x8*x7*y0 + 2*x7^2*y0 + 633*x9*x6*y0 + 10*x8*x6*y0 + 269*x7*x6*y0 + 798*x6^2*y0 + 187*x9*x5*y0 + 137*x8*x5*y0 + 467*x7*x5*y0 + 875*x6*x5*y0 + 463*x5^2*y0 + 362*x9*x4*y0 + 115*x8*x4*y0 + 546*x7*x4*y0 + 267*x6*x4*y0 + 73*x5*x4*y0 + 558*x4^2*y0 + 830*x9*x3*y0 + 398*x8*x3*y0 + 870*x7*x3*y0 + 208*x6*x3*y0 + 466*x5*x3*y0 + 680*x4*x3*y0 + 879*x3^2*y0 + 414*x9*x2*y0 + 302*x8*x2*y0 + 386*x7*x2*y0 + 230*x6*x2*y0 + 762*x5*x2*y0 + 393*x4*x2*y0 + 132*x3*x2*y0 + 232*x2^2*y0 + 660*x9*x1*y0 + 837*x8*x1*y0 + 415*x7*x1*y0 + 430*x6*x1*y0 + 950*x5*x1*y0 + 10*x4*x1*y0 + 684*x3*x1*y0 + 625*x2*x1*y0 + 708*x1^2*y0 + 855*x9*x0*y0 + 691*x8*x0*y0 + 378*x7*x0*y0 + 914*x6*x0*y0 + 390*x5*x0*y0 + 801*x4*x0*y0 + 751*x3*x0*y0 + 913*x2*x0*y0 + 409*x1*x0*y0 + 32206*x0^2*y0
]