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

#list

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