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

#list

[
327*x1^2*y14 + 910*x1*x0*y14 + 867*x0^2*y14 + 807*x1^2*y13 + 972*x1*x0*y13 + 215*x0^2*y13 + 736*x1^2*y12 + 4*x1*x0*y12 + 206*x0^2*y12 + 218*x1^2*y11 + 127*x1*x0*y11 + 669*x0^2*y11 + 724*x1^2*y10 + 450*x1*x0*y10 + 541*x0^2*y10 + 620*x1^2*y9 + 612*x1*x0*y9 + 787*x0^2*y9 + 941*x1^2*y8 + 875*x1*x0*y8 + 777*x0^2*y8 + 178*x1^2*y7 + x1*x0*y7 + 799*x0^2*y7 + 821*x1^2*y6 + 76*x1*x0*y6 + 670*x0^2*y6 + 997*x1^2*y5 + 508*x1*x0*y5 + 603*x0^2*y5 + 53*x1^2*y4 + 964*x1*x0*y4 + 617*x0^2*y4 + 996*x1^2*y3 + 433*x1*x0*y3 + 851*x0^2*y3 + 524*x1^2*y2 + 495*x1*x0*y2 + 988*x0^2*y2 + 604*x1^2*y1 + 610*x1*x0*y1 + 877*x0^2*y1 + 170*x1^2*y0 + 163*x1*x0*y0 + 17934*x0^2*y0,
949*x1^2*y14 + 272*x1*x0*y14 + 708*x0^2*y14 + 332*x1^2*y13 + 843*x1*x0*y13 + 189*x0^2*y13 + 41*x1^2*y12 + 110*x1*x0*y12 + 16*x0^2*y12 + 198*x1^2*y11 + 663*x1*x0*y11 + 875*x0^2*y11 + 817*x1^2*y10 + 971*x1*x0*y10 + 838*x0^2*y10 + 349*x1^2*y9 + 72*x1*x0*y9 + 675*x0^2*y9 + 835*x1^2*y8 + 880*x1*x0*y8 + 700*x0^2*y8 + 416*x1^2*y7 + 832*x1*x0*y7 + 734*x0^2*y7 + 198*x1^2*y6 + 296*x1*x0*y6 + 693*x0^2*y6 + 969*x1^2*y5 + 386*x1*x0*y5 + 864*x0^2*y5 + 6*x1^2*y4 + 584*x1*x0*y4 + 498*x0^2*y4 + 870*x1^2*y3 + 279*x1*x0*y3 + 402*x0^2*y3 + 915*x1^2*y2 + 715*x1*x0*y2 + 45*x0^2*y2 + 431*x1^2*y1 + 117*x1*x0*y1 + 576*x0^2*y1 + 793*x1^2*y0 + 921*x1*x0*y0 + 59543*x0^2*y0,
189*x1^2*y14 + 61*x1*x0*y14 + 859*x0^2*y14 + 600*x1^2*y13 + 583*x1*x0*y13 + 674*x0^2*y13 + 209*x1^2*y12 + 603*x1*x0*y12 + 759*x0^2*y12 + 215*x1^2*y11 + 759*x1*x0*y11 + 885*x0^2*y11 + 683*x1^2*y10 + 29*x1*x0*y10 + 291*x0^2*y10 + 257*x1^2*y9 + 896*x1*x0*y9 + 799*x0^2*y9 + 958*x1^2*y8 + 64*x1*x0*y8 + 308*x0^2*y8 + 991*x1^2*y7 + 357*x1*x0*y7 + 861*x0^2*y7 + 736*x1^2*y6 + 125*x1*x0*y6 + 808*x0^2*y6 + 157*x1^2*y5 + 774*x1*x0*y5 + 563*x0^2*y5 + 388*x1^2*y4 + 942*x1*x0*y4 + 483*x0^2*y4 + 623*x1^2*y3 + 361*x1*x0*y3 + 964*x0^2*y3 + 699*x1^2*y2 + 181*x1*x0*y2 + 554*x0^2*y2 + 597*x1^2*y1 + 711*x1*x0*y1 + 54*x0^2*y1 + 830*x1^2*y0 + 948*x1*x0*y0 + 12167*x0^2*y0,
364*x1^2*y14 + 31*x1*x0*y14 + 790*x0^2*y14 + 989*x1^2*y13 + 269*x1*x0*y13 + 272*x0^2*y13 + 368*x1^2*y12 + 153*x1*x0*y12 + 908*x0^2*y12 + 948*x1^2*y11 + 679*x1*x0*y11 + 793*x0^2*y11 + 883*x1^2*y10 + 528*x1*x0*y10 + 654*x0^2*y10 + 460*x1^2*y9 + 285*x1*x0*y9 + 614*x0^2*y9 + 740*x1^2*y8 + 956*x1*x0*y8 + 560*x0^2*y8 + 280*x1^2*y7 + 35*x1*x0*y7 + 140*x0^2*y7 + 91*x1^2*y6 + 850*x1*x0*y6 + 309*x0^2*y6 + 54*x1^2*y5 + 417*x1*x0*y5 + 682*x0^2*y5 + 38*x1^2*y4 + 610*x1*x0*y4 + 601*x0^2*y4 + 981*x1^2*y3 + 110*x1*x0*y3 + 287*x0^2*y3 + 787*x1^2*y2 + 273*x1*x0*y2 + 621*x0^2*y2 + 9*x1^2*y1 + 785*x1*x0*y1 + 725*x0^2*y1 + 2*x1^2*y0 + 325*x1*x0*y0 + 52734*x0^2*y0,
941*x1^2*y14 + 377*x1*x0*y14 + 316*x0^2*y14 + 777*x1^2*y13 + 29*x1*x0*y13 + 88*x0^2*y13 + 730*x1^2*y12 + 182*x1*x0*y12 + 609*x0^2*y12 + 814*x1^2*y11 + 580*x1*x0*y11 + 355*x0^2*y11 + 383*x1^2*y10 + 807*x1*x0*y10 + 756*x0^2*y10 + 599*x1^2*y9 + 956*x1*x0*y9 + 969*x0^2*y9 + 588*x1^2*y8 + 241*x1*x0*y8 + 491*x0^2*y8 + 261*x1^2*y7 + 517*x1*x0*y7 + 482*x0^2*y7 + 440*x1^2*y6 + 819*x1*x0*y6 + 119*x0^2*y6 + 39*x1^2*y5 + 852*x1*x0*y5 + 476*x0^2*y5 + 246*x1^2*y4 + 834*x1*x0*y4 + 24*x0^2*y4 + 846*x1^2*y3 + 596*x1*x0*y3 + 834*x0^2*y3 + 862*x1^2*y2 + 493*x1*x0*y2 + 540*x0^2*y2 + 124*x1^2*y1 + 156*x1*x0*y1 + 641*x0^2*y1 + 497*x1^2*y0 + 19*x1*x0*y0 + 46242*x0^2*y0,
250*x1^2*y14 + 57*x1*x0*y14 + 539*x0^2*y14 + 164*x1^2*y13 + 338*x1*x0*y13 + 456*x0^2*y13 + 132*x1^2*y12 + 711*x1*x0*y12 + 684*x0^2*y12 + 947*x1^2*y11 + 367*x1*x0*y11 + 903*x0^2*y11 + 636*x1^2*y10 + 794*x1*x0*y10 + 294*x0^2*y10 + 705*x1^2*y9 + 966*x1*x0*y9 + 281*x0^2*y9 + 448*x1^2*y8 + 842*x1*x0*y8 + 553*x0^2*y8 + 665*x1^2*y7 + 406*x1*x0*y7 + 408*x0^2*y7 + 924*x1^2*y6 + 920*x1*x0*y6 + 187*x0^2*y6 + 862*x1^2*y5 + 358*x1*x0*y5 + 216*x0^2*y5 + 101*x1^2*y4 + 630*x1*x0*y4 + 511*x0^2*y4 + 131*x1^2*y3 + 135*x1*x0*y3 + 993*x0^2*y3 + 988*x1^2*y2 + 525*x1*x0*y2 + 906*x0^2*y2 + 386*x1^2*y1 + 476*x1*x0*y1 + 283*x0^2*y1 + 504*x1^2*y0 + 298*x1*x0*y0 + 44401*x0^2*y0,
822*x1^2*y14 + 116*x1*x0*y14 + 284*x0^2*y14 + 173*x1^2*y13 + 768*x1*x0*y13 + 678*x0^2*y13 + 590*x1^2*y12 + 77*x1*x0*y12 + 369*x0^2*y12 + 382*x1^2*y11 + 962*x1*x0*y11 + 594*x0^2*y11 + 829*x1^2*y10 + 933*x1*x0*y10 + 619*x0^2*y10 + 679*x1^2*y9 + 819*x1*x0*y9 + 626*x0^2*y9 + 165*x1^2*y8 + 597*x1*x0*y8 + 692*x0^2*y8 + 798*x1^2*y7 + 282*x1*x0*y7 + 963*x0^2*y7 + 53*x1^2*y6 + 932*x1*x0*y6 + 748*x0^2*y6 + 642*x1^2*y5 + 321*x1*x0*y5 + 861*x0^2*y5 + 900*x1^2*y4 + 516*x1*x0*y4 + 323*x0^2*y4 + 21*x1^2*y3 + 36*x1*x0*y3 + 863*x0^2*y3 + 516*x1^2*y2 + 37*x1*x0*y2 + 274*x0^2*y2 + 491*x1^2*y1 + 32*x1*x0*y1 + 182*x0^2*y1 + 957*x1^2*y0 + 77*x1*x0*y0 + 26459*x0^2*y0,
267*x1^2*y14 + 810*x1*x0*y14 + 977*x0^2*y14 + 105*x1^2*y13 + 610*x1*x0*y13 + 608*x0^2*y13 + 446*x1^2*y12 + 415*x1*x0*y12 + 469*x0^2*y12 + 233*x1^2*y11 + 635*x1*x0*y11 + 920*x0^2*y11 + 657*x1^2*y10 + 663*x1*x0*y10 + 242*x0^2*y10 + 359*x1^2*y9 + 5*x1*x0*y9 + 602*x0^2*y9 + 432*x1^2*y8 + 296*x1*x0*y8 + 286*x0^2*y8 + 910*x1^2*y7 + 833*x1*x0*y7 + 459*x0^2*y7 + 277*x1^2*y6 + 409*x1*x0*y6 + 13*x0^2*y6 + 94*x1^2*y5 + 423*x1*x0*y5 + 176*x0^2*y5 + 764*x1^2*y4 + 294*x1*x0*y4 + 493*x0^2*y4 + 346*x1^2*y3 + 372*x1*x0*y3 + 607*x0^2*y3 + 879*x1^2*y2 + 35*x1*x0*y2 + 354*x0^2*y2 + 462*x1^2*y1 + 61*x1*x0*y1 + 882*x0^2*y1 + 151*x1^2*y0 + 300*x1*x0*y0 + 53295*x0^2*y0,
87*x1^2*y14 + 267*x1*x0*y14 + 274*x0^2*y14 + 104*x1^2*y13 + 476*x1*x0*y13 + 761*x0^2*y13 + 908*x1^2*y12 + 921*x1*x0*y12 + 393*x0^2*y12 + 824*x1^2*y11 + 683*x1*x0*y11 + 819*x0^2*y11 + 380*x1^2*y10 + 897*x1*x0*y10 + 607*x0^2*y10 + 240*x1^2*y9 + 906*x1*x0*y9 + 227*x0^2*y9 + 409*x1^2*y8 + 285*x1*x0*y8 + 519*x0^2*y8 + 660*x1^2*y7 + 288*x1*x0*y7 + 607*x0^2*y7 + 232*x1^2*y6 + 771*x1*x0*y6 + 913*x0^2*y6 + 401*x1^2*y5 + 993*x1*x0*y5 + 732*x0^2*y5 + 959*x1^2*y4 + 763*x1*x0*y4 + 899*x0^2*y4 + 793*x1^2*y3 + 981*x1*x0*y3 + 630*x0^2*y3 + 990*x1^2*y2 + 425*x1*x0*y2 + 132*x0^2*y2 + 774*x1^2*y1 + 760*x1*x0*y1 + 227*x0^2*y1 + 528*x1^2*y0 + 567*x1*x0*y0 + 54131*x0^2*y0,
527*x1^2*y14 + 87*x1*x0*y14 + 963*x0^2*y14 + 922*x1^2*y13 + 181*x1*x0*y13 + 301*x0^2*y13 + 690*x1^2*y12 + 134*x1*x0*y12 + 211*x0^2*y12 + 735*x1^2*y11 + 295*x1*x0*y11 + 874*x0^2*y11 + 934*x1^2*y10 + 885*x1*x0*y10 + 471*x0^2*y10 + 926*x1^2*y9 + 384*x1*x0*y9 + 891*x0^2*y9 + 577*x1^2*y8 + 260*x1*x0*y8 + 184*x0^2*y8 + 160*x1^2*y7 + 797*x1*x0*y7 + 605*x0^2*y7 + 726*x1^2*y6 + 221*x1*x0*y6 + 97*x0^2*y6 + 490*x1^2*y5 + 19*x1*x0*y5 + 479*x0^2*y5 + 301*x1^2*y4 + 249*x1*x0*y4 + 535*x0^2*y4 + 757*x1^2*y3 + 341*x1*x0*y3 + 489*x0^2*y3 + 282*x1^2*y2 + 571*x1*x0*y2 + 872*x0^2*y2 + 718*x1^2*y1 + 880*x1*x0*y1 + 588*x0^2*y1 + 121*x1^2*y0 + 92*x1*x0*y0 + 33275*x0^2*y0,
524*x1^2*y14 + 408*x1*x0*y14 + 140*x0^2*y14 + 140*x1^2*y13 + 393*x1*x0*y13 + 758*x0^2*y13 + 844*x1^2*y12 + 389*x1*x0*y12 + 732*x0^2*y12 + 227*x1^2*y11 + 870*x1*x0*y11 + 113*x0^2*y11 + 55*x1^2*y10 + 993*x1*x0*y10 + 860*x0^2*y10 + 852*x1^2*y9 + 177*x1*x0*y9 + 419*x0^2*y9 + 176*x1^2*y8 + 961*x1*x0*y8 + 63*x0^2*y8 + 742*x1^2*y7 + 806*x1*x0*y7 + 190*x0^2*y7 + 631*x1^2*y6 + 4*x1*x0*y6 + 685*x0^2*y6 + 46*x1^2*y5 + 827*x1*x0*y5 + 907*x0^2*y5 + 350*x1^2*y4 + 864*x1*x0*y4 + 183*x0^2*y4 + 235*x1^2*y3 + 45*x1*x0*y3 + 781*x0^2*y3 + 637*x1^2*y2 + 608*x1*x0*y2 + 238*x0^2*y2 + 921*x1^2*y1 + 698*x1*x0*y1 + 382*x0^2*y1 + 265*x1^2*y0 + 217*x1*x0*y0 + 45545*x0^2*y0,
503*x1^2*y14 + 724*x1*x0*y14 + 524*x0^2*y14 + 767*x1^2*y13 + 117*x1*x0*y13 + 799*x0^2*y13 + 156*x1^2*y12 + 283*x1*x0*y12 + 792*x0^2*y12 + 289*x1^2*y11 + 988*x1*x0*y11 + 505*x0^2*y11 + 727*x1^2*y10 + 476*x1*x0*y10 + 747*x0^2*y10 + 28*x1^2*y9 + 71*x1*x0*y9 + 252*x0^2*y9 + 395*x1^2*y8 + 152*x1*x0*y8 + 600*x0^2*y8 + 439*x1^2*y7 + 686*x1*x0*y7 + 615*x0^2*y7 + 478*x1^2*y6 + 446*x1*x0*y6 + 728*x0^2*y6 + 213*x1^2*y5 + 993*x1*x0*y5 + 71*x0^2*y5 + 921*x1^2*y4 + 829*x1*x0*y4 + 658*x0^2*y4 + 704*x1^2*y3 + 172*x1*x0*y3 + 536*x0^2*y3 + 497*x1^2*y2 + 253*x1*x0*y2 + 886*x0^2*y2 + 650*x1^2*y1 + 907*x1*x0*y1 + 367*x0^2*y1 + 655*x1^2*y0 + 106*x1*x0*y0 + 51753*x0^2*y0,
286*x1^2*y14 + 754*x1*x0*y14 + 592*x0^2*y14 + 401*x1^2*y13 + 742*x1*x0*y13 + 625*x0^2*y13 + 37*x1^2*y12 + 365*x1*x0*y12 + 308*x0^2*y12 + 1000*x1^2*y11 + 994*x1*x0*y11 + 741*x0^2*y11 + 599*x1^2*y10 + 968*x1*x0*y10 + 237*x0^2*y10 + 963*x1^2*y9 + 760*x1*x0*y9 + 727*x0^2*y9 + 728*x1^2*y8 + 576*x1*x0*y8 + 305*x0^2*y8 + 415*x1^2*y7 + 705*x1*x0*y7 + 513*x0^2*y7 + 392*x1^2*y6 + 166*x1*x0*y6 + 864*x0^2*y6 + 97*x1^2*y5 + 629*x1*x0*y5 + 96*x0^2*y5 + 346*x1^2*y4 + 89*x1*x0*y4 + 378*x0^2*y4 + 838*x1^2*y3 + 718*x1*x0*y3 + 319*x0^2*y3 + 535*x1^2*y2 + 260*x1*x0*y2 + 371*x0^2*y2 + 263*x1^2*y1 + 266*x1*x0*y1 + 497*x0^2*y1 + 557*x1^2*y0 + 976*x1*x0*y0 + 16444*x0^2*y0,
400*x1^2*y14 + 623*x1*x0*y14 + 218*x0^2*y14 + 376*x1^2*y13 + 460*x1*x0*y13 + 317*x0^2*y13 + 441*x1^2*y12 + 257*x1*x0*y12 + 510*x0^2*y12 + 767*x1^2*y11 + 467*x1*x0*y11 + 474*x0^2*y11 + 35*x1^2*y10 + 669*x1*x0*y10 + 599*x0^2*y10 + 714*x1^2*y9 + 675*x1*x0*y9 + 844*x0^2*y9 + 185*x1^2*y8 + 443*x1*x0*y8 + 718*x0^2*y8 + 556*x1^2*y7 + 259*x1*x0*y7 + 90*x0^2*y7 + 954*x1^2*y6 + 227*x1*x0*y6 + 79*x0^2*y6 + 340*x1^2*y5 + 688*x1*x0*y5 + 155*x0^2*y5 + 617*x1^2*y4 + 318*x1*x0*y4 + 400*x0^2*y4 + 758*x1^2*y3 + 631*x1*x0*y3 + 203*x0^2*y3 + 877*x1^2*y2 + 871*x1*x0*y2 + 789*x0^2*y2 + 275*x1^2*y1 + 787*x1*x0*y1 + 786*x0^2*y1 + 791*x1^2*y0 + 23*x1*x0*y0 + 25118*x0^2*y0,
425*x1^2*y14 + 475*x1*x0*y14 + 520*x0^2*y14 + 722*x1^2*y13 + 238*x1*x0*y13 + 426*x0^2*y13 + 184*x1^2*y12 + 354*x1*x0*y12 + 403*x0^2*y12 + 29*x1^2*y11 + 909*x1*x0*y11 + 637*x0^2*y11 + 538*x1^2*y10 + 299*x1*x0*y10 + 557*x0^2*y10 + 576*x1^2*y9 + 893*x1*x0*y9 + 115*x0^2*y9 + 702*x1^2*y8 + 465*x1*x0*y8 + 879*x0^2*y8 + 742*x1^2*y7 + 793*x1*x0*y7 + 386*x0^2*y7 + 257*x1^2*y6 + 958*x1*x0*y6 + 543*x0^2*y6 + 151*x1^2*y5 + 968*x1*x0*y5 + 214*x0^2*y5 + 875*x1^2*y4 + 578*x1*x0*y4 + 715*x0^2*y4 + 193*x1^2*y3 + 165*x1*x0*y3 + 470*x0^2*y3 + 630*x1^2*y2 + 851*x1*x0*y2 + 995*x0^2*y2 + 688*x1^2*y1 + 500*x1*x0*y1 + 769*x0^2*y1 + 930*x1^2*y0 + 431*x1*x0*y0 + 29086*x0^2*y0,
217*x1^2*y14 + 939*x1*x0*y14 + 527*x0^2*y14 + 663*x1^2*y13 + 480*x1*x0*y13 + 421*x0^2*y13 + 583*x1^2*y12 + 586*x1*x0*y12 + 636*x0^2*y12 + 737*x1^2*y11 + 250*x1*x0*y11 + 222*x0^2*y11 + 230*x1^2*y10 + 712*x1*x0*y10 + 959*x0^2*y10 + 711*x1^2*y9 + 359*x1*x0*y9 + 278*x0^2*y9 + 792*x1^2*y8 + 206*x1*x0*y8 + 743*x0^2*y8 + 763*x1^2*y7 + 637*x1*x0*y7 + 618*x0^2*y7 + 250*x1^2*y6 + 333*x1*x0*y6 + 551*x0^2*y6 + 40*x1^2*y5 + 192*x1*x0*y5 + 651*x0^2*y5 + 568*x1^2*y4 + 918*x1*x0*y4 + 847*x0^2*y4 + 48*x1^2*y3 + 679*x1*x0*y3 + 866*x0^2*y3 + 286*x1^2*y2 + 504*x1*x0*y2 + 401*x0^2*y2 + 753*x1^2*y1 + 26*x1*x0*y1 + 8*x0^2*y1 + 154*x1^2*y0 + 183*x1*x0*y0 + 36276*x0^2*y0
]