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

#list

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