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

#list

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