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

#list

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