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

#list

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