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

#list

[
462*x2^2*y11 + 75*x2*x1*y11 + 74*x1^2*y11 + 930*x2*x0*y11 + 9*x1*x0*y11 + 750*x0^2*y11 + 856*x2^2*y10 + 674*x2*x1*y10 + 623*x1^2*y10 + 470*x2*x0*y10 + 468*x1*x0*y10 + 22*x0^2*y10 + 714*x2^2*y9 + 84*x2*x1*y9 + 327*x1^2*y9 + 766*x2*x0*y9 + 488*x1*x0*y9 + 732*x0^2*y9 + 611*x2^2*y8 + 757*x2*x1*y8 + 250*x1^2*y8 + 206*x2*x0*y8 + 382*x1*x0*y8 + 277*x0^2*y8 + 904*x2^2*y7 + 618*x2*x1*y7 + 831*x1^2*y7 + 465*x2*x0*y7 + 698*x1*x0*y7 + 225*x0^2*y7 + 798*x2^2*y6 + 818*x2*x1*y6 + 52*x1^2*y6 + 375*x2*x0*y6 + 937*x1*x0*y6 + 421*x0^2*y6 + 670*x2^2*y5 + 439*x2*x1*y5 + 624*x1^2*y5 + 50*x2*x0*y5 + 115*x1*x0*y5 + 177*x0^2*y5 + 43*x2^2*y4 + 927*x2*x1*y4 + 574*x1^2*y4 + 347*x2*x0*y4 + 982*x1*x0*y4 + 155*x0^2*y4 + 12*x2^2*y3 + 130*x2*x1*y3 + 724*x1^2*y3 + 323*x2*x0*y3 + 211*x1*x0*y3 + 21*x0^2*y3 + 692*x2^2*y2 + 6*x2*x1*y2 + 256*x1^2*y2 + 445*x2*x0*y2 + 973*x1*x0*y2 + 30*x0^2*y2 + 351*x2^2*y1 + 862*x2*x1*y1 + 731*x1^2*y1 + 622*x2*x0*y1 + 740*x1*x0*y1 + 405*x0^2*y1 + 366*x2^2*y0 + 146*x2*x1*y0 + 559*x1^2*y0 + 906*x2*x0*y0 + 782*x1*x0*y0 + 47268*x0^2*y0,
164*x2^2*y11 + 810*x2*x1*y11 + 400*x1^2*y11 + 284*x2*x0*y11 + 696*x1*x0*y11 + 424*x0^2*y11 + 951*x2^2*y10 + 655*x2*x1*y10 + 88*x1^2*y10 + 503*x2*x0*y10 + 209*x1*x0*y10 + 679*x0^2*y10 + 544*x2^2*y9 + 707*x2*x1*y9 + 303*x1^2*y9 + 906*x2*x0*y9 + 143*x1*x0*y9 + 169*x0^2*y9 + 327*x2^2*y8 + 637*x2*x1*y8 + 213*x1^2*y8 + 973*x2*x0*y8 + 931*x1*x0*y8 + 251*x0^2*y8 + 254*x2^2*y7 + 600*x2*x1*y7 + 356*x1^2*y7 + 125*x2*x0*y7 + 659*x1*x0*y7 + 132*x0^2*y7 + 541*x2^2*y6 + 979*x2*x1*y6 + 895*x1^2*y6 + 461*x2*x0*y6 + 4*x1*x0*y6 + 41*x0^2*y6 + 3*x2^2*y5 + 551*x2*x1*y5 + 251*x1^2*y5 + 521*x2*x0*y5 + 659*x1*x0*y5 + 265*x0^2*y5 + 643*x2^2*y4 + 568*x2*x1*y4 + 86*x1^2*y4 + 395*x2*x0*y4 + 294*x1*x0*y4 + 493*x0^2*y4 + 680*x2^2*y3 + 463*x2*x1*y3 + 987*x1^2*y3 + 933*x2*x0*y3 + 67*x1*x0*y3 + 427*x0^2*y3 + 930*x2^2*y2 + 548*x2*x1*y2 + 767*x1^2*y2 + 95*x2*x0*y2 + 834*x1*x0*y2 + 800*x0^2*y2 + 588*x2^2*y1 + 812*x2*x1*y1 + 466*x1^2*y1 + 471*x2*x0*y1 + 299*x1*x0*y1 + 198*x0^2*y1 + 802*x2^2*y0 + 311*x2*x1*y0 + 829*x1^2*y0 + 594*x2*x0*y0 + 487*x1*x0*y0 + 27521*x0^2*y0,
539*x2^2*y11 + 736*x2*x1*y11 + 35*x1^2*y11 + 221*x2*x0*y11 + 559*x1*x0*y11 + 986*x0^2*y11 + 910*x2^2*y10 + 727*x2*x1*y10 + 325*x1^2*y10 + 157*x2*x0*y10 + 862*x1*x0*y10 + 690*x0^2*y10 + 754*x2^2*y9 + 560*x2*x1*y9 + 399*x1^2*y9 + 543*x2*x0*y9 + 521*x1*x0*y9 + 827*x0^2*y9 + 822*x2^2*y8 + 197*x2*x1*y8 + 889*x1^2*y8 + 510*x2*x0*y8 + 914*x1*x0*y8 + 293*x0^2*y8 + 316*x2^2*y7 + 410*x2*x1*y7 + 835*x1^2*y7 + 398*x2*x0*y7 + 892*x1*x0*y7 + 945*x0^2*y7 + 250*x2^2*y6 + 299*x2*x1*y6 + 135*x1^2*y6 + 133*x2*x0*y6 + 881*x1*x0*y6 + 65*x0^2*y6 + 822*x2^2*y5 + 644*x2*x1*y5 + 30*x1^2*y5 + 304*x2*x0*y5 + 69*x1*x0*y5 + 823*x0^2*y5 + 991*x2^2*y4 + 235*x2*x1*y4 + 168*x1^2*y4 + 172*x2*x0*y4 + 245*x1*x0*y4 + 577*x0^2*y4 + 819*x2^2*y3 + 254*x2*x1*y3 + 648*x1^2*y3 + 427*x2*x0*y3 + 698*x1*x0*y3 + 52*x0^2*y3 + 837*x2^2*y2 + 21*x2*x1*y2 + 906*x1^2*y2 + 519*x2*x0*y2 + 658*x1*x0*y2 + 576*x0^2*y2 + 40*x2^2*y1 + 369*x2*x1*y1 + 865*x1^2*y1 + 920*x2*x0*y1 + 665*x1*x0*y1 + 697*x0^2*y1 + 662*x2^2*y0 + 965*x2*x1*y0 + 879*x1^2*y0 + 862*x2*x0*y0 + 846*x1*x0*y0 + 29130*x0^2*y0,
752*x2^2*y11 + 694*x2*x1*y11 + 810*x1^2*y11 + 30*x2*x0*y11 + 670*x1*x0*y11 + 763*x0^2*y11 + 128*x2^2*y10 + 843*x2*x1*y10 + 560*x1^2*y10 + 90*x2*x0*y10 + 524*x1*x0*y10 + 496*x0^2*y10 + 738*x2^2*y9 + 307*x2*x1*y9 + 907*x1^2*y9 + 472*x2*x0*y9 + 173*x1*x0*y9 + 138*x0^2*y9 + 594*x2^2*y8 + 168*x2*x1*y8 + 426*x1^2*y8 + 253*x2*x0*y8 + 505*x1*x0*y8 + 153*x0^2*y8 + 386*x2^2*y7 + 228*x2*x1*y7 + 926*x1^2*y7 + 79*x2*x0*y7 + 384*x1*x0*y7 + 720*x0^2*y7 + 15*x2^2*y6 + 850*x2*x1*y6 + 582*x1^2*y6 + 752*x2*x0*y6 + 388*x1*x0*y6 + 134*x0^2*y6 + 417*x2^2*y5 + 166*x2*x1*y5 + 859*x1^2*y5 + 287*x2*x0*y5 + 20*x1*x0*y5 + 779*x0^2*y5 + 756*x2^2*y4 + 167*x2*x1*y4 + 325*x1^2*y4 + 111*x2*x0*y4 + 556*x1*x0*y4 + 424*x0^2*y4 + 136*x2^2*y3 + 183*x2*x1*y3 + 858*x1^2*y3 + 158*x2*x0*y3 + 367*x1*x0*y3 + 256*x0^2*y3 + 505*x2^2*y2 + 811*x2*x1*y2 + 134*x1^2*y2 + 896*x2*x0*y2 + 88*x1*x0*y2 + 827*x0^2*y2 + 629*x2^2*y1 + 499*x2*x1*y1 + 901*x1^2*y1 + 578*x2*x0*y1 + 746*x1*x0*y1 + 482*x0^2*y1 + 433*x2^2*y0 + 680*x2*x1*y0 + 929*x1^2*y0 + 598*x2*x0*y0 + 766*x1*x0*y0 + 16885*x0^2*y0,
948*x2^2*y11 + 867*x2*x1*y11 + 566*x1^2*y11 + 659*x2*x0*y11 + 221*x1*x0*y11 + 517*x0^2*y11 + 989*x2^2*y10 + 26*x2*x1*y10 + 16*x1^2*y10 + 906*x2*x0*y10 + 551*x1*x0*y10 + 446*x0^2*y10 + 722*x2^2*y9 + 489*x2*x1*y9 + 434*x1^2*y9 + 381*x2*x0*y9 + 39*x1*x0*y9 + 244*x0^2*y9 + 773*x2^2*y8 + 677*x2*x1*y8 + 189*x1^2*y8 + 221*x2*x0*y8 + 413*x1*x0*y8 + 272*x0^2*y8 + 595*x2^2*y7 + 454*x2*x1*y7 + 125*x1^2*y7 + 87*x2*x0*y7 + 101*x1*x0*y7 + 391*x0^2*y7 + 37*x2^2*y6 + 557*x2*x1*y6 + 134*x1^2*y6 + 855*x2*x0*y6 + 567*x1*x0*y6 + 171*x0^2*y6 + 777*x2^2*y5 + 457*x2*x1*y5 + 389*x1^2*y5 + 289*x2*x0*y5 + 269*x1*x0*y5 + 154*x0^2*y5 + 795*x2^2*y4 + 880*x2*x1*y4 + 115*x1^2*y4 + 892*x2*x0*y4 + 935*x1*x0*y4 + 775*x0^2*y4 + 769*x2^2*y3 + 463*x2*x1*y3 + 20*x1^2*y3 + 556*x2*x0*y3 + 445*x1*x0*y3 + 30*x0^2*y3 + 669*x2^2*y2 + 459*x2*x1*y2 + 791*x1^2*y2 + 188*x2*x0*y2 + 852*x1*x0*y2 + 57*x0^2*y2 + 993*x2^2*y1 + 973*x2*x1*y1 + 216*x1^2*y1 + 734*x2*x0*y1 + 841*x1*x0*y1 + 44*x0^2*y1 + 699*x2^2*y0 + 236*x2*x1*y0 + 478*x1^2*y0 + 831*x2*x0*y0 + 502*x1*x0*y0 + 19584*x0^2*y0,
76*x2^2*y11 + 812*x2*x1*y11 + 785*x1^2*y11 + 509*x2*x0*y11 + 812*x1*x0*y11 + 15*x0^2*y11 + 809*x2^2*y10 + 858*x2*x1*y10 + 866*x1^2*y10 + 141*x2*x0*y10 + 218*x1*x0*y10 + 343*x0^2*y10 + 27*x2^2*y9 + 866*x2*x1*y9 + 992*x1^2*y9 + 233*x2*x0*y9 + 758*x1*x0*y9 + 705*x0^2*y9 + 172*x2^2*y8 + 957*x2*x1*y8 + 897*x1^2*y8 + 911*x2*x0*y8 + 880*x1*x0*y8 + 637*x0^2*y8 + 698*x2^2*y7 + 364*x2*x1*y7 + 956*x1^2*y7 + 971*x2*x0*y7 + 610*x1*x0*y7 + 976*x0^2*y7 + 968*x2^2*y6 + 506*x2*x1*y6 + 115*x1^2*y6 + 452*x2*x0*y6 + 284*x1*x0*y6 + 337*x0^2*y6 + 480*x2^2*y5 + 732*x2*x1*y5 + 689*x1^2*y5 + 296*x2*x0*y5 + 971*x1*x0*y5 + 585*x0^2*y5 + 946*x2^2*y4 + 399*x2*x1*y4 + 539*x1^2*y4 + 811*x2*x0*y4 + 224*x1*x0*y4 + 818*x0^2*y4 + 881*x2^2*y3 + 292*x2*x1*y3 + 399*x1^2*y3 + 180*x2*x0*y3 + 289*x1*x0*y3 + 211*x0^2*y3 + 493*x2^2*y2 + 37*x2*x1*y2 + 397*x1^2*y2 + 871*x2*x0*y2 + 807*x1*x0*y2 + 297*x0^2*y2 + 635*x2^2*y1 + 468*x2*x1*y1 + 367*x1^2*y1 + 277*x2*x0*y1 + 68*x1*x0*y1 + 436*x0^2*y1 + 861*x2^2*y0 + 500*x2*x1*y0 + 266*x1^2*y0 + 395*x2*x0*y0 + 911*x1*x0*y0 + 15488*x0^2*y0,
142*x2^2*y11 + 181*x2*x1*y11 + 685*x1^2*y11 + 752*x2*x0*y11 + 502*x1*x0*y11 + 989*x0^2*y11 + 249*x2^2*y10 + 765*x2*x1*y10 + 530*x1^2*y10 + 486*x2*x0*y10 + 911*x1*x0*y10 + 513*x0^2*y10 + 990*x2^2*y9 + 607*x2*x1*y9 + 19*x1^2*y9 + 950*x2*x0*y9 + 499*x1*x0*y9 + 827*x0^2*y9 + 288*x2^2*y8 + 890*x2*x1*y8 + 240*x1^2*y8 + 989*x2*x0*y8 + 417*x1*x0*y8 + 782*x0^2*y8 + 856*x2^2*y7 + 342*x2*x1*y7 + 976*x1^2*y7 + 764*x1*x0*y7 + 293*x0^2*y7 + 727*x2^2*y6 + 543*x2*x1*y6 + 595*x1^2*y6 + 545*x2*x0*y6 + 250*x1*x0*y6 + 701*x0^2*y6 + 803*x2^2*y5 + 47*x2*x1*y5 + 163*x1^2*y5 + 626*x2*x0*y5 + 996*x1*x0*y5 + 112*x0^2*y5 + 441*x2^2*y4 + 761*x2*x1*y4 + 801*x1^2*y4 + 621*x2*x0*y4 + 297*x1*x0*y4 + 306*x0^2*y4 + 599*x2^2*y3 + 576*x2*x1*y3 + 952*x1^2*y3 + 223*x2*x0*y3 + 7*x1*x0*y3 + 822*x0^2*y3 + 977*x2^2*y2 + 569*x2*x1*y2 + 688*x1^2*y2 + 28*x2*x0*y2 + 190*x1*x0*y2 + 159*x0^2*y2 + 286*x2^2*y1 + 199*x2*x1*y1 + 833*x1^2*y1 + 476*x2*x0*y1 + 575*x1*x0*y1 + 992*x0^2*y1 + 908*x2^2*y0 + 978*x2*x1*y0 + 845*x1^2*y0 + 442*x2*x0*y0 + 758*x1*x0*y0 + 26441*x0^2*y0,
680*x2^2*y11 + 211*x2*x1*y11 + 62*x1^2*y11 + 220*x2*x0*y11 + 890*x1*x0*y11 + 548*x0^2*y11 + 935*x2^2*y10 + 723*x2*x1*y10 + 936*x1^2*y10 + 16*x2*x0*y10 + 487*x1*x0*y10 + 245*x0^2*y10 + 159*x2^2*y9 + 876*x2*x1*y9 + 71*x1^2*y9 + 307*x2*x0*y9 + 231*x1*x0*y9 + 98*x0^2*y9 + 942*x2^2*y8 + 599*x2*x1*y8 + 418*x1^2*y8 + 653*x2*x0*y8 + 529*x1*x0*y8 + 107*x0^2*y8 + 626*x2^2*y7 + 855*x2*x1*y7 + 731*x1^2*y7 + 864*x2*x0*y7 + 549*x1*x0*y7 + 61*x0^2*y7 + 265*x2^2*y6 + 761*x2*x1*y6 + 453*x1^2*y6 + 709*x2*x0*y6 + 544*x1*x0*y6 + 395*x0^2*y6 + 79*x2^2*y5 + 651*x2*x1*y5 + 556*x1^2*y5 + 77*x2*x0*y5 + 733*x1*x0*y5 + 272*x0^2*y5 + 736*x2^2*y4 + 648*x2*x1*y4 + 837*x1^2*y4 + 816*x2*x0*y4 + 802*x1*x0*y4 + 188*x0^2*y4 + 878*x2^2*y3 + 854*x2*x1*y3 + 383*x1^2*y3 + 810*x2*x0*y3 + 394*x1*x0*y3 + 828*x0^2*y3 + 245*x2^2*y2 + 564*x2*x1*y2 + 974*x1^2*y2 + 253*x2*x0*y2 + 748*x1*x0*y2 + 972*x0^2*y2 + 832*x2^2*y1 + 585*x2*x1*y1 + 579*x1^2*y1 + 302*x2*x0*y1 + 780*x1*x0*y1 + 852*x0^2*y1 + x2^2*y0 + 126*x2*x1*y0 + 590*x1^2*y0 + 638*x2*x0*y0 + 386*x1*x0*y0 + 59269*x0^2*y0,
879*x2^2*y11 + 527*x2*x1*y11 + 11*x1^2*y11 + 843*x2*x0*y11 + 941*x1*x0*y11 + 173*x0^2*y11 + 73*x2^2*y10 + 152*x2*x1*y10 + 450*x1^2*y10 + 227*x2*x0*y10 + 964*x1*x0*y10 + 381*x0^2*y10 + 134*x2^2*y9 + 950*x2*x1*y9 + 249*x1^2*y9 + 412*x2*x0*y9 + 113*x1*x0*y9 + 126*x0^2*y9 + 277*x2^2*y8 + 268*x2*x1*y8 + 380*x1^2*y8 + 275*x2*x0*y8 + 999*x1*x0*y8 + 968*x0^2*y8 + 775*x2^2*y7 + 100*x2*x1*y7 + 347*x1^2*y7 + 793*x2*x0*y7 + 326*x1*x0*y7 + 420*x0^2*y7 + 840*x2^2*y6 + 915*x2*x1*y6 + 761*x1^2*y6 + 758*x2*x0*y6 + 20*x1*x0*y6 + 707*x0^2*y6 + 403*x2^2*y5 + 930*x2*x1*y5 + 560*x1^2*y5 + 869*x2*x0*y5 + 207*x1*x0*y5 + 389*x0^2*y5 + 545*x2^2*y4 + 214*x2*x1*y4 + 872*x1^2*y4 + 397*x2*x0*y4 + 586*x1*x0*y4 + 825*x0^2*y4 + 630*x2^2*y3 + 230*x2*x1*y3 + 23*x1^2*y3 + 596*x2*x0*y3 + 580*x1*x0*y3 + 813*x0^2*y3 + 711*x2^2*y2 + 736*x2*x1*y2 + 913*x1^2*y2 + 977*x2*x0*y2 + 103*x1*x0*y2 + 493*x0^2*y2 + 345*x2^2*y1 + 740*x2*x1*y1 + 48*x1^2*y1 + 641*x2*x0*y1 + 293*x1*x0*y1 + 205*x0^2*y1 + 405*x2^2*y0 + 745*x2*x1*y0 + 643*x1^2*y0 + 25*x2*x0*y0 + 845*x1*x0*y0 + 30720*x0^2*y0,
222*x2^2*y11 + 10*x2*x1*y11 + 134*x1^2*y11 + 942*x2*x0*y11 + 15*x1*x0*y11 + 560*x0^2*y11 + 625*x2^2*y10 + 407*x2*x1*y10 + 653*x1^2*y10 + 18*x2*x0*y10 + 279*x1*x0*y10 + 577*x0^2*y10 + 639*x2^2*y9 + 50*x2*x1*y9 + 489*x1^2*y9 + 306*x2*x0*y9 + 908*x1*x0*y9 + 655*x0^2*y9 + 41*x2^2*y8 + 880*x2*x1*y8 + 195*x1^2*y8 + 659*x2*x0*y8 + 453*x1*x0*y8 + 964*x0^2*y8 + 838*x2^2*y7 + 37*x2*x1*y7 + 468*x1^2*y7 + 681*x2*x0*y7 + 672*x1*x0*y7 + 198*x0^2*y7 + 811*x2^2*y6 + 474*x2*x1*y6 + 923*x1^2*y6 + 172*x2*x0*y6 + 827*x1*x0*y6 + 811*x0^2*y6 + 915*x2^2*y5 + 39*x2*x1*y5 + 11*x1^2*y5 + 776*x2*x0*y5 + 894*x1*x0*y5 + 322*x0^2*y5 + 861*x2^2*y4 + 601*x2*x1*y4 + 899*x1^2*y4 + 721*x2*x0*y4 + 362*x1*x0*y4 + 237*x0^2*y4 + 623*x2^2*y3 + 842*x2*x1*y3 + 753*x1^2*y3 + 969*x2*x0*y3 + 105*x1*x0*y3 + 406*x0^2*y3 + 736*x2^2*y2 + 475*x2*x1*y2 + 456*x1^2*y2 + 81*x2*x0*y2 + 924*x1*x0*y2 + 65*x0^2*y2 + 209*x2^2*y1 + 417*x2*x1*y1 + 541*x1^2*y1 + 355*x2*x0*y1 + 574*x1*x0*y1 + 278*x0^2*y1 + 31*x2^2*y0 + 666*x2*x1*y0 + 43*x1^2*y0 + 32*x2*x0*y0 + 48*x1*x0*y0 + 37323*x0^2*y0,
103*x2^2*y11 + 294*x2*x1*y11 + 189*x1^2*y11 + 479*x2*x0*y11 + 633*x1*x0*y11 + 406*x0^2*y11 + 49*x2^2*y10 + 500*x2*x1*y10 + 465*x1^2*y10 + 701*x2*x0*y10 + 557*x1*x0*y10 + 398*x0^2*y10 + 942*x2^2*y9 + 457*x2*x1*y9 + 31*x1^2*y9 + 843*x2*x0*y9 + 348*x1*x0*y9 + 208*x0^2*y9 + 594*x2^2*y8 + 210*x2*x1*y8 + 962*x1^2*y8 + 368*x2*x0*y8 + 271*x1*x0*y8 + 300*x0^2*y8 + 414*x2^2*y7 + 815*x2*x1*y7 + 750*x1^2*y7 + 765*x2*x0*y7 + 163*x1*x0*y7 + 658*x0^2*y7 + 324*x2^2*y6 + 428*x2*x1*y6 + 435*x1^2*y6 + 393*x2*x0*y6 + 743*x1*x0*y6 + 573*x0^2*y6 + 817*x2^2*y5 + 856*x2*x1*y5 + 418*x1^2*y5 + 915*x2*x0*y5 + 256*x1*x0*y5 + 433*x0^2*y5 + 429*x2^2*y4 + 35*x2*x1*y4 + 404*x1^2*y4 + 849*x2*x0*y4 + 938*x1*x0*y4 + 452*x0^2*y4 + 820*x2^2*y3 + 936*x2*x1*y3 + 210*x1^2*y3 + 210*x2*x0*y3 + 724*x1*x0*y3 + 180*x0^2*y3 + 721*x2^2*y2 + 506*x2*x1*y2 + 870*x1^2*y2 + 224*x2*x0*y2 + 120*x1*x0*y2 + 437*x0^2*y2 + 579*x2^2*y1 + 14*x2*x1*y1 + 124*x1^2*y1 + 104*x2*x0*y1 + 529*x1*x0*y1 + 870*x0^2*y1 + 686*x2^2*y0 + 550*x2*x1*y0 + 514*x1^2*y0 + 161*x2*x0*y0 + 664*x1*x0*y0 + 39650*x0^2*y0,
393*x2^2*y11 + 418*x2*x1*y11 + 425*x1^2*y11 + 186*x2*x0*y11 + 712*x1*x0*y11 + 318*x0^2*y11 + 458*x2^2*y10 + 486*x2*x1*y10 + 946*x1^2*y10 + 176*x2*x0*y10 + 70*x1*x0*y10 + 535*x0^2*y10 + 351*x2^2*y9 + 365*x2*x1*y9 + 961*x1^2*y9 + 761*x2*x0*y9 + 542*x1*x0*y9 + 996*x0^2*y9 + 40*x2^2*y8 + 733*x2*x1*y8 + 607*x1^2*y8 + 102*x2*x0*y8 + 79*x1*x0*y8 + 940*x0^2*y8 + 654*x2^2*y7 + 126*x2*x1*y7 + 101*x1^2*y7 + 40*x2*x0*y7 + 362*x1*x0*y7 + 15*x0^2*y7 + 362*x2^2*y6 + 823*x2*x1*y6 + 384*x1^2*y6 + 683*x2*x0*y6 + 744*x1*x0*y6 + 690*x0^2*y6 + 483*x2^2*y5 + 502*x2*x1*y5 + 599*x1^2*y5 + 832*x2*x0*y5 + 295*x1*x0*y5 + 534*x0^2*y5 + 266*x2^2*y4 + 119*x2*x1*y4 + 795*x1^2*y4 + 591*x2*x0*y4 + 42*x1*x0*y4 + 634*x0^2*y4 + 465*x2^2*y3 + 464*x2*x1*y3 + 670*x1^2*y3 + 349*x2*x0*y3 + 287*x1*x0*y3 + 122*x0^2*y3 + 240*x2^2*y2 + 544*x2*x1*y2 + 169*x1^2*y2 + 297*x2*x0*y2 + 694*x1*x0*y2 + 531*x0^2*y2 + 349*x2^2*y1 + 955*x2*x1*y1 + 616*x1^2*y1 + 161*x2*x0*y1 + 356*x1*x0*y1 + 695*x0^2*y1 + 356*x2^2*y0 + 424*x2*x1*y0 + 815*x1^2*y0 + 317*x2*x0*y0 + 308*x1*x0*y0 + 16956*x0^2*y0,
523*x2^2*y11 + 322*x2*x1*y11 + 233*x1^2*y11 + 34*x2*x0*y11 + 490*x1*x0*y11 + 908*x0^2*y11 + 160*x2^2*y10 + 982*x2*x1*y10 + 237*x1^2*y10 + 819*x2*x0*y10 + 958*x1*x0*y10 + 461*x0^2*y10 + 969*x2^2*y9 + 537*x2*x1*y9 + 175*x1^2*y9 + 349*x2*x0*y9 + 53*x1*x0*y9 + 915*x0^2*y9 + 765*x2^2*y8 + 130*x2*x1*y8 + 132*x1^2*y8 + 814*x2*x0*y8 + 1000*x1*x0*y8 + 604*x0^2*y8 + 242*x2^2*y7 + 277*x2*x1*y7 + 717*x1^2*y7 + 826*x2*x0*y7 + 110*x1*x0*y7 + 557*x0^2*y7 + 647*x2^2*y6 + 803*x2*x1*y6 + 298*x1^2*y6 + 3*x2*x0*y6 + 503*x1*x0*y6 + 704*x0^2*y6 + 600*x2^2*y5 + 773*x2*x1*y5 + 871*x1^2*y5 + 234*x2*x0*y5 + 767*x1*x0*y5 + 686*x0^2*y5 + 48*x2^2*y4 + 929*x2*x1*y4 + 473*x1^2*y4 + 39*x2*x0*y4 + 140*x1*x0*y4 + 529*x0^2*y4 + 841*x2^2*y3 + 918*x2*x1*y3 + 53*x1^2*y3 + 843*x2*x0*y3 + 75*x1*x0*y3 + 793*x0^2*y3 + 898*x2^2*y2 + 747*x2*x1*y2 + 357*x1^2*y2 + 104*x2*x0*y2 + 983*x1*x0*y2 + 355*x0^2*y2 + 232*x2^2*y1 + 191*x2*x1*y1 + 194*x1^2*y1 + 257*x2*x0*y1 + 108*x1*x0*y1 + 240*x0^2*y1 + 372*x2^2*y0 + 549*x2*x1*y0 + 480*x1^2*y0 + 380*x2*x0*y0 + 93*x1*x0*y0 + 45242*x0^2*y0,
402*x2^2*y11 + 118*x2*x1*y11 + 502*x1^2*y11 + 591*x2*x0*y11 + 591*x1*x0*y11 + 165*x0^2*y11 + 948*x2^2*y10 + 20*x2*x1*y10 + 860*x1^2*y10 + 727*x2*x0*y10 + 156*x1*x0*y10 + 14*x0^2*y10 + 149*x2^2*y9 + 618*x2*x1*y9 + 580*x1^2*y9 + 888*x2*x0*y9 + 252*x1*x0*y9 + 109*x0^2*y9 + 706*x2^2*y8 + 158*x2*x1*y8 + 373*x1^2*y8 + 32*x2*x0*y8 + 858*x1*x0*y8 + 29*x0^2*y8 + 557*x2^2*y7 + 176*x2*x1*y7 + 337*x1^2*y7 + 849*x2*x0*y7 + 228*x1*x0*y7 + 61*x0^2*y7 + 313*x2^2*y6 + 964*x2*x1*y6 + 696*x1^2*y6 + 455*x2*x0*y6 + 906*x1*x0*y6 + 309*x0^2*y6 + 439*x2^2*y5 + 594*x2*x1*y5 + 885*x1^2*y5 + 601*x2*x0*y5 + 795*x1*x0*y5 + 826*x0^2*y5 + 965*x2^2*y4 + 967*x2*x1*y4 + 975*x1^2*y4 + 706*x2*x0*y4 + 584*x1*x0*y4 + 386*x0^2*y4 + 685*x2^2*y3 + 305*x2*x1*y3 + 241*x1^2*y3 + 54*x2*x0*y3 + 409*x1*x0*y3 + 740*x0^2*y3 + 166*x2^2*y2 + 761*x2*x1*y2 + 668*x1^2*y2 + 615*x2*x0*y2 + 616*x1*x0*y2 + 584*x0^2*y2 + 221*x2^2*y1 + 492*x2*x1*y1 + 569*x1^2*y1 + 434*x2*x0*y1 + 988*x1*x0*y1 + 892*x0^2*y1 + 536*x2^2*y0 + 488*x2*x1*y0 + 756*x1^2*y0 + 27*x2*x0*y0 + 627*x1*x0*y0 + 6900*x0^2*y0,
353*x2^2*y11 + 517*x2*x1*y11 + 723*x1^2*y11 + 327*x2*x0*y11 + 709*x1*x0*y11 + 870*x0^2*y11 + 522*x2^2*y10 + 481*x2*x1*y10 + 506*x1^2*y10 + 601*x2*x0*y10 + 757*x1*x0*y10 + 816*x0^2*y10 + 626*x2^2*y9 + 996*x2*x1*y9 + 578*x1^2*y9 + 488*x2*x0*y9 + 47*x1*x0*y9 + 630*x0^2*y9 + 974*x2^2*y8 + 315*x2*x1*y8 + 43*x1^2*y8 + 146*x2*x0*y8 + 87*x1*x0*y8 + 473*x0^2*y8 + 201*x2^2*y7 + 604*x2*x1*y7 + 853*x1^2*y7 + 801*x2*x0*y7 + 147*x1*x0*y7 + 647*x0^2*y7 + 483*x2^2*y6 + 991*x2*x1*y6 + 111*x1^2*y6 + 473*x2*x0*y6 + 284*x1*x0*y6 + 678*x0^2*y6 + 739*x2^2*y5 + 74*x2*x1*y5 + 887*x1^2*y5 + 468*x2*x0*y5 + 860*x1*x0*y5 + 44*x0^2*y5 + 924*x2^2*y4 + 909*x2*x1*y4 + 650*x1^2*y4 + 132*x2*x0*y4 + 345*x1*x0*y4 + 580*x0^2*y4 + 53*x2^2*y3 + 241*x2*x1*y3 + 211*x1^2*y3 + 431*x2*x0*y3 + 282*x1*x0*y3 + 220*x0^2*y3 + 235*x2^2*y2 + 37*x2*x1*y2 + 142*x1^2*y2 + 656*x2*x0*y2 + 406*x1*x0*y2 + 659*x0^2*y2 + 987*x2^2*y1 + 923*x2*x1*y1 + 422*x1^2*y1 + 471*x2*x0*y1 + 426*x1*x0*y1 + 371*x0^2*y1 + 191*x2^2*y0 + 133*x2*x1*y0 + 283*x1^2*y0 + 517*x2*x0*y0 + 122*x1*x0*y0 + 58452*x0^2*y0,
812*x2^2*y11 + 398*x2*x1*y11 + 748*x1^2*y11 + 410*x2*x0*y11 + 324*x1*x0*y11 + 763*x0^2*y11 + 540*x2^2*y10 + 51*x2*x1*y10 + 530*x1^2*y10 + 486*x2*x0*y10 + 978*x1*x0*y10 + 622*x0^2*y10 + 548*x2^2*y9 + 516*x2*x1*y9 + 842*x1^2*y9 + 845*x2*x0*y9 + 458*x1*x0*y9 + 978*x0^2*y9 + 554*x2^2*y8 + 298*x2*x1*y8 + 590*x1^2*y8 + 359*x2*x0*y8 + 672*x1*x0*y8 + 139*x0^2*y8 + 114*x2^2*y7 + 92*x2*x1*y7 + 518*x1^2*y7 + 341*x2*x0*y7 + 708*x1*x0*y7 + 814*x0^2*y7 + 273*x2^2*y6 + 779*x2*x1*y6 + 731*x1^2*y6 + 959*x2*x0*y6 + 493*x1*x0*y6 + 479*x0^2*y6 + 124*x2^2*y5 + 453*x2*x1*y5 + 672*x1^2*y5 + 720*x2*x0*y5 + 506*x1*x0*y5 + 718*x0^2*y5 + 531*x2^2*y4 + 688*x2*x1*y4 + 786*x1^2*y4 + 526*x2*x0*y4 + 17*x1*x0*y4 + 190*x0^2*y4 + 296*x2^2*y3 + 626*x2*x1*y3 + 160*x1^2*y3 + 169*x2*x0*y3 + 530*x1*x0*y3 + 834*x0^2*y3 + 591*x2^2*y2 + 723*x2*x1*y2 + 914*x1^2*y2 + 593*x2*x0*y2 + 292*x1*x0*y2 + 741*x0^2*y2 + 318*x2^2*y1 + 365*x2*x1*y1 + 179*x1^2*y1 + 943*x2*x0*y1 + 856*x1*x0*y1 + 929*x0^2*y1 + 890*x2^2*y0 + 168*x2*x1*y0 + 740*x1^2*y0 + 166*x2*x0*y0 + 828*x1*x0*y0 + 20292*x0^2*y0,
405*x2^2*y11 + 161*x2*x1*y11 + 187*x1^2*y11 + 823*x2*x0*y11 + 456*x1*x0*y11 + 30*x0^2*y11 + 802*x2^2*y10 + 454*x2*x1*y10 + 131*x1^2*y10 + 700*x2*x0*y10 + 617*x1*x0*y10 + 38*x0^2*y10 + 681*x2^2*y9 + 858*x2*x1*y9 + 376*x1^2*y9 + 668*x2*x0*y9 + 959*x1*x0*y9 + 245*x0^2*y9 + 647*x2^2*y8 + 211*x2*x1*y8 + 934*x1^2*y8 + 695*x2*x0*y8 + 153*x1*x0*y8 + 405*x0^2*y8 + 603*x2^2*y7 + 817*x2*x1*y7 + 182*x1^2*y7 + 284*x2*x0*y7 + 598*x1*x0*y7 + 408*x0^2*y7 + 379*x2^2*y6 + 472*x2*x1*y6 + 379*x1^2*y6 + 372*x2*x0*y6 + 135*x1*x0*y6 + 223*x0^2*y6 + 356*x2^2*y5 + 828*x2*x1*y5 + 454*x1^2*y5 + 717*x2*x0*y5 + 306*x1*x0*y5 + 296*x0^2*y5 + 805*x2^2*y4 + 384*x2*x1*y4 + 466*x1^2*y4 + 427*x2*x0*y4 + 448*x1*x0*y4 + 563*x0^2*y4 + 4*x2^2*y3 + 358*x2*x1*y3 + 331*x1^2*y3 + 472*x2*x0*y3 + 363*x1*x0*y3 + 749*x0^2*y3 + 266*x2^2*y2 + 208*x2*x1*y2 + 902*x1^2*y2 + 280*x2*x0*y2 + 468*x1*x0*y2 + 321*x0^2*y2 + 33*x2^2*y1 + 413*x2*x1*y1 + 23*x1^2*y1 + 437*x2*x0*y1 + 964*x1*x0*y1 + 762*x0^2*y1 + 2*x2^2*y0 + 453*x2*x1*y0 + 138*x1^2*y0 + 92*x2*x0*y0 + 816*x1*x0*y0 + 49055*x0^2*y0,
532*x2^2*y11 + 404*x2*x1*y11 + 444*x1^2*y11 + 240*x2*x0*y11 + 240*x1*x0*y11 + 808*x0^2*y11 + 233*x2^2*y10 + 202*x2*x1*y10 + 795*x1^2*y10 + 274*x2*x0*y10 + 239*x1*x0*y10 + 316*x0^2*y10 + 44*x2^2*y9 + 378*x2*x1*y9 + 443*x1^2*y9 + 928*x2*x0*y9 + 654*x1*x0*y9 + 334*x0^2*y9 + 205*x2^2*y8 + 902*x2*x1*y8 + 595*x1^2*y8 + 743*x2*x0*y8 + 307*x1*x0*y8 + 423*x0^2*y8 + 953*x2^2*y7 + 95*x2*x1*y7 + 377*x1^2*y7 + 474*x2*x0*y7 + 101*x1*x0*y7 + 503*x0^2*y7 + 544*x2^2*y6 + 166*x2*x1*y6 + 503*x1^2*y6 + 244*x2*x0*y6 + 281*x1*x0*y6 + 856*x0^2*y6 + 390*x2^2*y5 + 198*x2*x1*y5 + 653*x1^2*y5 + 635*x2*x0*y5 + 295*x1*x0*y5 + 902*x0^2*y5 + 337*x2^2*y4 + 364*x2*x1*y4 + 792*x1^2*y4 + 855*x2*x0*y4 + 849*x1*x0*y4 + 20*x0^2*y4 + 134*x2^2*y3 + 873*x2*x1*y3 + 960*x1^2*y3 + 345*x2*x0*y3 + 123*x1*x0*y3 + 230*x0^2*y3 + 50*x2^2*y2 + 858*x2*x1*y2 + 496*x1^2*y2 + 24*x2*x0*y2 + 728*x1*x0*y2 + 391*x0^2*y2 + 123*x2^2*y1 + 74*x2*x1*y1 + 890*x1^2*y1 + 70*x2*x0*y1 + 693*x1*x0*y1 + 393*x0^2*y1 + 983*x2^2*y0 + 265*x2*x1*y0 + 45*x1^2*y0 + 995*x2*x0*y0 + 246*x1*x0*y0 + 59899*x0^2*y0,
253*x2^2*y11 + 899*x2*x1*y11 + 915*x1^2*y11 + 343*x2*x0*y11 + 567*x1*x0*y11 + 848*x0^2*y11 + 641*x2^2*y10 + 695*x2*x1*y10 + 552*x1^2*y10 + 797*x2*x0*y10 + 800*x1*x0*y10 + 310*x0^2*y10 + 482*x2^2*y9 + 957*x2*x1*y9 + 91*x1^2*y9 + 328*x2*x0*y9 + 183*x1*x0*y9 + 185*x0^2*y9 + 858*x2^2*y8 + 922*x2*x1*y8 + 663*x1^2*y8 + 368*x2*x0*y8 + 883*x1*x0*y8 + 584*x0^2*y8 + 340*x2^2*y7 + 674*x2*x1*y7 + 364*x1^2*y7 + 23*x2*x0*y7 + 764*x1*x0*y7 + 311*x0^2*y7 + 933*x2^2*y6 + 297*x2*x1*y6 + 610*x1^2*y6 + 967*x2*x0*y6 + 891*x1*x0*y6 + 980*x0^2*y6 + 875*x2^2*y5 + 470*x2*x1*y5 + 459*x1^2*y5 + 979*x2*x0*y5 + 293*x1*x0*y5 + 316*x0^2*y5 + 751*x2^2*y4 + 963*x2*x1*y4 + 603*x1^2*y4 + 898*x2*x0*y4 + 559*x1*x0*y4 + 637*x0^2*y4 + 712*x2^2*y3 + 352*x2*x1*y3 + 317*x1^2*y3 + 654*x2*x0*y3 + 499*x1*x0*y3 + 827*x0^2*y3 + 181*x2*x1*y2 + 773*x1^2*y2 + 775*x2*x0*y2 + 799*x1*x0*y2 + 814*x0^2*y2 + 12*x2^2*y1 + 642*x2*x1*y1 + 216*x1^2*y1 + 287*x2*x0*y1 + 347*x1*x0*y1 + 854*x0^2*y1 + 497*x2^2*y0 + 215*x2*x1*y0 + 236*x1^2*y0 + 449*x2*x0*y0 + 777*x1*x0*y0 + 57354*x0^2*y0
]