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

#list

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