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

#list

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