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

#list

[
263*x2^2*y13 + 460*x2*x1*y13 + 660*x1^2*y13 + 979*x2*x0*y13 + 90*x1*x0*y13 + 261*x0^2*y13 + 502*x2^2*y12 + 667*x2*x1*y12 + 405*x1^2*y12 + 955*x2*x0*y12 + 807*x1*x0*y12 + 953*x0^2*y12 + 275*x2^2*y11 + 811*x2*x1*y11 + 896*x1^2*y11 + 866*x2*x0*y11 + 696*x1*x0*y11 + 417*x0^2*y11 + 505*x2^2*y10 + 327*x2*x1*y10 + 293*x1^2*y10 + 928*x2*x0*y10 + 392*x1*x0*y10 + 36*x0^2*y10 + 193*x2^2*y9 + 389*x2*x1*y9 + 234*x1^2*y9 + 598*x2*x0*y9 + 557*x1*x0*y9 + 961*x0^2*y9 + 129*x2^2*y8 + 632*x2*x1*y8 + 290*x1^2*y8 + 892*x2*x0*y8 + 977*x1*x0*y8 + 44*x0^2*y8 + 906*x2^2*y7 + 734*x2*x1*y7 + 727*x1^2*y7 + 791*x2*x0*y7 + 458*x1*x0*y7 + 162*x0^2*y7 + 7*x2^2*y6 + 703*x2*x1*y6 + 450*x1^2*y6 + 9*x2*x0*y6 + 909*x1*x0*y6 + 378*x0^2*y6 + 115*x2^2*y5 + 218*x2*x1*y5 + 226*x1^2*y5 + 721*x2*x0*y5 + 564*x1*x0*y5 + 270*x0^2*y5 + 750*x2^2*y4 + 188*x2*x1*y4 + 688*x1^2*y4 + 186*x2*x0*y4 + 493*x1*x0*y4 + 677*x0^2*y4 + 766*x2^2*y3 + 931*x2*x1*y3 + 5*x1^2*y3 + 838*x2*x0*y3 + 655*x1*x0*y3 + 265*x0^2*y3 + 11*x2^2*y2 + 780*x2*x1*y2 + 649*x1^2*y2 + 378*x2*x0*y2 + 31*x1*x0*y2 + 272*x0^2*y2 + 773*x2^2*y1 + 715*x2*x1*y1 + 127*x1^2*y1 + 750*x2*x0*y1 + 524*x1*x0*y1 + 779*x0^2*y1 + 496*x2^2*y0 + 568*x2*x1*y0 + 989*x1^2*y0 + 670*x2*x0*y0 + 196*x1*x0*y0 + 32607*x0^2*y0,
542*x2^2*y13 + 341*x2*x1*y13 + 748*x1^2*y13 + 409*x2*x0*y13 + 540*x1*x0*y13 + 367*x0^2*y13 + 177*x2^2*y12 + 556*x2*x1*y12 + 724*x1^2*y12 + 350*x2*x0*y12 + 802*x1*x0*y12 + 931*x0^2*y12 + 624*x2^2*y11 + 822*x2*x1*y11 + 980*x1^2*y11 + 964*x2*x0*y11 + 444*x1*x0*y11 + 971*x0^2*y11 + 763*x2^2*y10 + 534*x2*x1*y10 + 916*x1^2*y10 + 792*x2*x0*y10 + 29*x1*x0*y10 + 394*x0^2*y10 + 732*x2^2*y9 + 563*x2*x1*y9 + 424*x1^2*y9 + 780*x2*x0*y9 + 537*x1*x0*y9 + 783*x0^2*y9 + 129*x2^2*y8 + 35*x2*x1*y8 + 369*x1^2*y8 + 912*x2*x0*y8 + 87*x1*x0*y8 + 153*x0^2*y8 + 389*x2^2*y7 + 922*x2*x1*y7 + 722*x1^2*y7 + 709*x2*x0*y7 + 358*x1*x0*y7 + 890*x0^2*y7 + 105*x2^2*y6 + 356*x2*x1*y6 + 635*x1^2*y6 + 510*x2*x0*y6 + 377*x1*x0*y6 + 617*x0^2*y6 + 32*x2^2*y5 + 158*x2*x1*y5 + 907*x1^2*y5 + 415*x2*x0*y5 + 451*x1*x0*y5 + 417*x0^2*y5 + 624*x2^2*y4 + 757*x2*x1*y4 + 901*x1^2*y4 + 316*x2*x0*y4 + 759*x1*x0*y4 + 231*x0^2*y4 + 118*x2^2*y3 + 408*x2*x1*y3 + 368*x1^2*y3 + 26*x2*x0*y3 + 453*x1*x0*y3 + 208*x0^2*y3 + 97*x2^2*y2 + 596*x2*x1*y2 + 891*x1^2*y2 + 818*x2*x0*y2 + 581*x1*x0*y2 + 445*x0^2*y2 + 198*x2^2*y1 + 496*x2*x1*y1 + 124*x1^2*y1 + 483*x2*x0*y1 + 501*x1*x0*y1 + 903*x0^2*y1 + 811*x2^2*y0 + 369*x2*x1*y0 + 933*x1^2*y0 + 504*x2*x0*y0 + 691*x1*x0*y0 + 28614*x0^2*y0,
774*x2^2*y13 + 909*x2*x1*y13 + 99*x1^2*y13 + 703*x2*x0*y13 + 14*x1*x0*y13 + 908*x0^2*y13 + 559*x2^2*y12 + 593*x2*x1*y12 + 360*x1^2*y12 + 927*x2*x0*y12 + 764*x1*x0*y12 + 432*x0^2*y12 + 197*x2^2*y11 + 711*x2*x1*y11 + 351*x1^2*y11 + 655*x2*x0*y11 + 941*x1*x0*y11 + 599*x0^2*y11 + 661*x2^2*y10 + 42*x2*x1*y10 + 378*x1^2*y10 + 347*x2*x0*y10 + 410*x1*x0*y10 + 217*x0^2*y10 + 905*x2^2*y9 + 383*x2*x1*y9 + 571*x1^2*y9 + 650*x2*x0*y9 + 703*x1*x0*y9 + 896*x0^2*y9 + 794*x2^2*y8 + 212*x2*x1*y8 + 378*x1^2*y8 + 210*x2*x0*y8 + 818*x1*x0*y8 + 780*x0^2*y8 + 905*x2^2*y7 + 976*x2*x1*y7 + 118*x1^2*y7 + 809*x2*x0*y7 + 778*x1*x0*y7 + 95*x0^2*y7 + 115*x2^2*y6 + 964*x2*x1*y6 + 611*x1^2*y6 + 951*x2*x0*y6 + 199*x1*x0*y6 + 405*x0^2*y6 + 585*x2^2*y5 + 443*x2*x1*y5 + 150*x1^2*y5 + 745*x2*x0*y5 + 448*x1*x0*y5 + 844*x0^2*y5 + 729*x2^2*y4 + 866*x2*x1*y4 + 131*x1^2*y4 + 713*x2*x0*y4 + 600*x1*x0*y4 + 286*x0^2*y4 + 633*x2^2*y3 + 451*x2*x1*y3 + 155*x1^2*y3 + 401*x2*x0*y3 + 80*x1*x0*y3 + 721*x0^2*y3 + 519*x2^2*y2 + 366*x2*x1*y2 + 886*x1^2*y2 + 394*x2*x0*y2 + 533*x1*x0*y2 + 246*x0^2*y2 + 177*x2^2*y1 + 400*x2*x1*y1 + 669*x1^2*y1 + 246*x2*x0*y1 + 92*x1*x0*y1 + 496*x0^2*y1 + 159*x2^2*y0 + 181*x2*x1*y0 + 592*x1^2*y0 + 492*x2*x0*y0 + 162*x1*x0*y0 + 1015*x0^2*y0,
422*x2^2*y13 + 989*x2*x1*y13 + 167*x1^2*y13 + 871*x2*x0*y13 + 491*x1*x0*y13 + 800*x0^2*y13 + 59*x2^2*y12 + 76*x2*x1*y12 + 657*x1^2*y12 + x2*x0*y12 + 412*x1*x0*y12 + 67*x0^2*y12 + 891*x2^2*y11 + 45*x2*x1*y11 + 183*x1^2*y11 + 973*x2*x0*y11 + 725*x1*x0*y11 + 412*x0^2*y11 + 737*x2^2*y10 + 528*x2*x1*y10 + 278*x1^2*y10 + 118*x2*x0*y10 + 371*x1*x0*y10 + 267*x0^2*y10 + 756*x2^2*y9 + 421*x2*x1*y9 + 641*x1^2*y9 + 754*x2*x0*y9 + 406*x1*x0*y9 + 497*x0^2*y9 + 742*x2^2*y8 + 578*x2*x1*y8 + 622*x1^2*y8 + 814*x2*x0*y8 + 361*x1*x0*y8 + 511*x0^2*y8 + 534*x2^2*y7 + 588*x2*x1*y7 + 468*x1^2*y7 + 922*x2*x0*y7 + 382*x1*x0*y7 + 870*x0^2*y7 + 922*x2^2*y6 + 645*x2*x1*y6 + 785*x1^2*y6 + 863*x2*x0*y6 + 511*x1*x0*y6 + 26*x0^2*y6 + 243*x2^2*y5 + 518*x2*x1*y5 + 445*x1^2*y5 + 546*x2*x0*y5 + 696*x1*x0*y5 + 346*x0^2*y5 + 367*x2^2*y4 + 580*x2*x1*y4 + 316*x1^2*y4 + 294*x2*x0*y4 + 136*x1*x0*y4 + 566*x0^2*y4 + 126*x2^2*y3 + 256*x2*x1*y3 + 241*x1^2*y3 + 993*x2*x0*y3 + 155*x1*x0*y3 + 448*x0^2*y3 + 367*x2^2*y2 + 684*x2*x1*y2 + 835*x1^2*y2 + 385*x2*x0*y2 + 654*x1*x0*y2 + 202*x0^2*y2 + 333*x2^2*y1 + 296*x2*x1*y1 + 956*x1^2*y1 + 396*x2*x0*y1 + 123*x1*x0*y1 + 154*x0^2*y1 + 485*x2^2*y0 + 667*x2*x1*y0 + 392*x1^2*y0 + 373*x2*x0*y0 + 734*x1*x0*y0 + 18081*x0^2*y0,
848*x2^2*y13 + 639*x2*x1*y13 + 346*x1^2*y13 + 151*x2*x0*y13 + 576*x1*x0*y13 + 905*x0^2*y13 + 818*x2^2*y12 + 235*x2*x1*y12 + 218*x1^2*y12 + 517*x2*x0*y12 + 544*x1*x0*y12 + 849*x0^2*y12 + 397*x2^2*y11 + 918*x2*x1*y11 + 796*x1^2*y11 + 851*x2*x0*y11 + 226*x1*x0*y11 + 315*x0^2*y11 + 867*x2^2*y10 + 970*x2*x1*y10 + 918*x1^2*y10 + 809*x2*x0*y10 + 798*x1*x0*y10 + 493*x0^2*y10 + 204*x2^2*y9 + 523*x2*x1*y9 + 523*x1^2*y9 + 868*x2*x0*y9 + 679*x1*x0*y9 + 655*x0^2*y9 + 520*x2^2*y8 + 885*x2*x1*y8 + 173*x1^2*y8 + 729*x2*x0*y8 + 692*x1*x0*y8 + 358*x0^2*y8 + 514*x2^2*y7 + 603*x2*x1*y7 + 476*x1^2*y7 + 695*x2*x0*y7 + 817*x1*x0*y7 + 971*x0^2*y7 + 575*x2^2*y6 + 195*x2*x1*y6 + 501*x1^2*y6 + 575*x2*x0*y6 + 648*x1*x0*y6 + 64*x0^2*y6 + 122*x2^2*y5 + 652*x2*x1*y5 + 121*x1^2*y5 + 509*x2*x0*y5 + 743*x1*x0*y5 + 251*x0^2*y5 + 486*x2^2*y4 + 604*x2*x1*y4 + 454*x1^2*y4 + 167*x2*x0*y4 + 10*x1*x0*y4 + 543*x0^2*y4 + 189*x2^2*y3 + 622*x2*x1*y3 + 390*x1^2*y3 + 653*x2*x0*y3 + 164*x1*x0*y3 + 633*x0^2*y3 + 459*x2^2*y2 + 473*x2*x1*y2 + 111*x1^2*y2 + 624*x2*x0*y2 + 197*x1*x0*y2 + 859*x0^2*y2 + 670*x2^2*y1 + 90*x2*x1*y1 + 150*x1^2*y1 + 316*x2*x0*y1 + 104*x1*x0*y1 + 203*x0^2*y1 + 668*x2^2*y0 + 5*x2*x1*y0 + 666*x1^2*y0 + 628*x2*x0*y0 + 92*x1*x0*y0 + 58872*x0^2*y0,
614*x2^2*y13 + 266*x2*x1*y13 + 343*x1^2*y13 + 305*x2*x0*y13 + 980*x1*x0*y13 + 162*x0^2*y13 + 129*x2^2*y12 + 151*x2*x1*y12 + 296*x1^2*y12 + 757*x2*x0*y12 + 596*x1*x0*y12 + 360*x0^2*y12 + 441*x2^2*y11 + 633*x2*x1*y11 + 240*x1^2*y11 + 189*x2*x0*y11 + 299*x1*x0*y11 + 82*x0^2*y11 + 295*x2^2*y10 + 292*x2*x1*y10 + 994*x1^2*y10 + 764*x2*x0*y10 + 421*x1*x0*y10 + 350*x0^2*y10 + 311*x2^2*y9 + 334*x2*x1*y9 + 881*x1^2*y9 + 963*x2*x0*y9 + 128*x1*x0*y9 + 156*x0^2*y9 + 410*x2^2*y8 + 567*x2*x1*y8 + 257*x1^2*y8 + 699*x2*x0*y8 + 554*x1*x0*y8 + 697*x0^2*y8 + 441*x2^2*y7 + 990*x2*x1*y7 + 919*x1^2*y7 + 579*x2*x0*y7 + 295*x1*x0*y7 + 789*x0^2*y7 + 691*x2^2*y6 + 40*x2*x1*y6 + 194*x1^2*y6 + 464*x2*x0*y6 + 258*x1*x0*y6 + 1000*x0^2*y6 + 229*x2^2*y5 + 337*x2*x1*y5 + 182*x1^2*y5 + 313*x2*x0*y5 + 95*x1*x0*y5 + 713*x0^2*y5 + 983*x2^2*y4 + 35*x2*x1*y4 + 164*x1^2*y4 + 397*x2*x0*y4 + 794*x1*x0*y4 + 14*x0^2*y4 + 610*x2^2*y3 + 539*x2*x1*y3 + 196*x1^2*y3 + 54*x2*x0*y3 + 929*x1*x0*y3 + 885*x0^2*y3 + 614*x2^2*y2 + 464*x2*x1*y2 + 921*x1^2*y2 + 649*x2*x0*y2 + 520*x1*x0*y2 + 848*x0^2*y2 + 343*x2^2*y1 + 431*x2*x1*y1 + 968*x1^2*y1 + 747*x2*x0*y1 + 308*x1*x0*y1 + 967*x0^2*y1 + 858*x2^2*y0 + 997*x2*x1*y0 + 550*x1^2*y0 + 144*x2*x0*y0 + 170*x1*x0*y0 + 58574*x0^2*y0,
253*x2^2*y13 + 848*x2*x1*y13 + 157*x1^2*y13 + 677*x2*x0*y13 + 770*x1*x0*y13 + 522*x0^2*y13 + 679*x2^2*y12 + 27*x2*x1*y12 + 159*x1^2*y12 + 223*x2*x0*y12 + 207*x1*x0*y12 + 187*x0^2*y12 + 43*x2^2*y11 + 615*x2*x1*y11 + 522*x1^2*y11 + 66*x2*x0*y11 + 58*x1*x0*y11 + 487*x0^2*y11 + 955*x2^2*y10 + 210*x2*x1*y10 + 378*x1^2*y10 + 799*x2*x0*y10 + 584*x1*x0*y10 + 714*x0^2*y10 + 209*x2^2*y9 + 74*x2*x1*y9 + 965*x1^2*y9 + 639*x2*x0*y9 + 831*x1*x0*y9 + 250*x0^2*y9 + 590*x2^2*y8 + 320*x2*x1*y8 + 757*x1^2*y8 + 935*x2*x0*y8 + 835*x1*x0*y8 + 391*x0^2*y8 + 752*x2^2*y7 + 702*x2*x1*y7 + 165*x1^2*y7 + 337*x2*x0*y7 + 300*x1*x0*y7 + 201*x0^2*y7 + 357*x2^2*y6 + 566*x2*x1*y6 + 412*x1^2*y6 + 454*x2*x0*y6 + 455*x1*x0*y6 + 14*x0^2*y6 + 291*x2^2*y5 + 792*x2*x1*y5 + 966*x1^2*y5 + 948*x2*x0*y5 + 2*x1*x0*y5 + 263*x0^2*y5 + 320*x2^2*y4 + 715*x2*x1*y4 + 533*x1^2*y4 + 226*x2*x0*y4 + 694*x1*x0*y4 + 549*x0^2*y4 + 839*x2^2*y3 + 484*x2*x1*y3 + 425*x1^2*y3 + 638*x2*x0*y3 + 530*x1*x0*y3 + 440*x0^2*y3 + 314*x2^2*y2 + 99*x2*x1*y2 + 322*x1^2*y2 + 589*x2*x0*y2 + 376*x1*x0*y2 + 441*x0^2*y2 + 927*x2^2*y1 + 542*x2*x1*y1 + 917*x1^2*y1 + 629*x2*x0*y1 + 80*x1*x0*y1 + 220*x0^2*y1 + 759*x2^2*y0 + 107*x2*x1*y0 + 234*x1^2*y0 + 319*x2*x0*y0 + 56*x1*x0*y0 + 42504*x0^2*y0,
958*x2^2*y13 + 157*x1^2*y13 + 901*x2*x0*y13 + 639*x1*x0*y13 + 754*x0^2*y13 + 360*x2^2*y12 + 805*x2*x1*y12 + 864*x1^2*y12 + 510*x2*x0*y12 + 565*x1*x0*y12 + 941*x0^2*y12 + 719*x2^2*y11 + 724*x2*x1*y11 + 47*x1^2*y11 + 445*x2*x0*y11 + 324*x1*x0*y11 + 474*x0^2*y11 + 646*x2^2*y10 + 856*x2*x1*y10 + 516*x1^2*y10 + 293*x2*x0*y10 + 699*x1*x0*y10 + 784*x0^2*y10 + 13*x2^2*y9 + 665*x2*x1*y9 + 294*x1^2*y9 + 480*x2*x0*y9 + 477*x1*x0*y9 + 504*x0^2*y9 + 505*x2^2*y8 + 436*x2*x1*y8 + 648*x1^2*y8 + 127*x2*x0*y8 + 90*x1*x0*y8 + 383*x0^2*y8 + 186*x2^2*y7 + 198*x2*x1*y7 + 904*x1^2*y7 + 796*x2*x0*y7 + 872*x1*x0*y7 + 536*x0^2*y7 + 362*x2^2*y6 + 261*x2*x1*y6 + 622*x1^2*y6 + 775*x2*x0*y6 + 364*x1*x0*y6 + 480*x0^2*y6 + 127*x2^2*y5 + 880*x2*x1*y5 + 990*x1^2*y5 + 504*x2*x0*y5 + 816*x1*x0*y5 + 533*x0^2*y5 + 190*x2^2*y4 + 966*x2*x1*y4 + 36*x1^2*y4 + 499*x2*x0*y4 + 976*x1*x0*y4 + 230*x0^2*y4 + 823*x2^2*y3 + 641*x2*x1*y3 + 215*x1^2*y3 + 275*x2*x0*y3 + 863*x1*x0*y3 + 300*x0^2*y3 + 134*x2^2*y2 + 204*x2*x1*y2 + 816*x1^2*y2 + 327*x2*x0*y2 + 376*x1*x0*y2 + 546*x0^2*y2 + 660*x2^2*y1 + 314*x2*x1*y1 + 558*x1^2*y1 + 45*x2*x0*y1 + 550*x1*x0*y1 + 789*x0^2*y1 + 188*x2^2*y0 + 805*x2*x1*y0 + 910*x1^2*y0 + 759*x2*x0*y0 + 711*x1*x0*y0 + 13674*x0^2*y0,
802*x2^2*y13 + 634*x2*x1*y13 + 644*x1^2*y13 + 815*x2*x0*y13 + 249*x1*x0*y13 + 456*x0^2*y13 + 307*x2^2*y12 + 16*x2*x1*y12 + 830*x1^2*y12 + 329*x2*x0*y12 + 614*x1*x0*y12 + 48*x0^2*y12 + 767*x2^2*y11 + 97*x2*x1*y11 + 28*x1^2*y11 + 171*x2*x0*y11 + 32*x1*x0*y11 + 891*x0^2*y11 + 193*x2^2*y10 + 298*x2*x1*y10 + 87*x1^2*y10 + 1000*x2*x0*y10 + 563*x1*x0*y10 + 76*x0^2*y10 + 698*x2^2*y9 + 216*x2*x1*y9 + 839*x1^2*y9 + 411*x2*x0*y9 + 230*x1*x0*y9 + 450*x0^2*y9 + 758*x2^2*y8 + 605*x2*x1*y8 + 426*x1^2*y8 + 651*x2*x0*y8 + 615*x1*x0*y8 + 117*x0^2*y8 + 240*x2^2*y7 + 328*x2*x1*y7 + 285*x1^2*y7 + 311*x2*x0*y7 + 330*x1*x0*y7 + 285*x0^2*y7 + 11*x2^2*y6 + 673*x2*x1*y6 + 49*x1^2*y6 + 732*x2*x0*y6 + 223*x1*x0*y6 + 499*x0^2*y6 + 932*x2^2*y5 + 832*x2*x1*y5 + 315*x1^2*y5 + 837*x2*x0*y5 + 538*x1*x0*y5 + 546*x0^2*y5 + 116*x2^2*y4 + 71*x2*x1*y4 + 84*x1^2*y4 + 342*x2*x0*y4 + 163*x1*x0*y4 + 985*x0^2*y4 + 627*x2^2*y3 + 259*x2*x1*y3 + 743*x1^2*y3 + 842*x2*x0*y3 + 631*x1*x0*y3 + 991*x0^2*y3 + 226*x2^2*y2 + 46*x2*x1*y2 + 381*x1^2*y2 + 647*x2*x0*y2 + 868*x1*x0*y2 + 258*x0^2*y2 + 576*x2^2*y1 + 672*x2*x1*y1 + 776*x1^2*y1 + 259*x2*x0*y1 + 398*x1*x0*y1 + 509*x0^2*y1 + 174*x2^2*y0 + 87*x2*x1*y0 + 64*x1^2*y0 + 33*x2*x0*y0 + 162*x1*x0*y0 + 23199*x0^2*y0,
508*x2^2*y13 + 584*x2*x1*y13 + 308*x1^2*y13 + 926*x2*x0*y13 + 581*x1*x0*y13 + 930*x0^2*y13 + 634*x2^2*y12 + 302*x2*x1*y12 + 900*x1^2*y12 + 278*x2*x0*y12 + 622*x1*x0*y12 + 875*x0^2*y12 + 112*x2^2*y11 + 86*x2*x1*y11 + 562*x1^2*y11 + 332*x2*x0*y11 + 451*x1*x0*y11 + 181*x0^2*y11 + 726*x2^2*y10 + 463*x2*x1*y10 + 488*x1^2*y10 + 69*x2*x0*y10 + 119*x1*x0*y10 + 235*x0^2*y10 + 233*x2^2*y9 + 974*x2*x1*y9 + 55*x1^2*y9 + 430*x2*x0*y9 + 265*x1*x0*y9 + 171*x0^2*y9 + 52*x2^2*y8 + 381*x2*x1*y8 + 250*x1^2*y8 + 960*x2*x0*y8 + 269*x1*x0*y8 + 794*x0^2*y8 + 927*x2^2*y7 + 455*x2*x1*y7 + 666*x1^2*y7 + 467*x2*x0*y7 + 258*x1*x0*y7 + 980*x0^2*y7 + 565*x2^2*y6 + 93*x2*x1*y6 + 909*x1^2*y6 + 190*x2*x0*y6 + 538*x1*x0*y6 + 820*x0^2*y6 + 425*x2^2*y5 + 590*x2*x1*y5 + 377*x1^2*y5 + 492*x2*x0*y5 + 436*x1*x0*y5 + 502*x0^2*y5 + 578*x2^2*y4 + 127*x2*x1*y4 + 589*x1^2*y4 + 454*x2*x0*y4 + 99*x1*x0*y4 + 777*x0^2*y4 + 491*x2^2*y3 + 303*x2*x1*y3 + 830*x1^2*y3 + 500*x2*x0*y3 + 301*x1*x0*y3 + 717*x0^2*y3 + 298*x2^2*y2 + 826*x2*x1*y2 + 564*x1^2*y2 + 105*x2*x0*y2 + 832*x1*x0*y2 + 130*x0^2*y2 + 492*x2^2*y1 + 572*x2*x1*y1 + 338*x1^2*y1 + 10*x2*x0*y1 + 987*x1*x0*y1 + 729*x0^2*y1 + 902*x2^2*y0 + 769*x2*x1*y0 + 429*x1^2*y0 + 996*x2*x0*y0 + 385*x1*x0*y0 + 28220*x0^2*y0,
879*x2^2*y13 + 936*x2*x1*y13 + 382*x1^2*y13 + 644*x2*x0*y13 + 889*x1*x0*y13 + 764*x0^2*y13 + 765*x2^2*y12 + 735*x2*x1*y12 + 143*x1^2*y12 + 394*x2*x0*y12 + 111*x1*x0*y12 + 832*x0^2*y12 + 928*x2^2*y11 + 779*x2*x1*y11 + 949*x1^2*y11 + 268*x2*x0*y11 + 732*x1*x0*y11 + 864*x0^2*y11 + 391*x2^2*y10 + 383*x2*x1*y10 + 23*x1^2*y10 + 149*x2*x0*y10 + 630*x1*x0*y10 + 637*x0^2*y10 + 484*x2^2*y9 + 713*x2*x1*y9 + 129*x1^2*y9 + 844*x2*x0*y9 + 960*x1*x0*y9 + 872*x0^2*y9 + 775*x2^2*y8 + 786*x2*x1*y8 + 412*x1^2*y8 + 555*x2*x0*y8 + 809*x1*x0*y8 + 274*x0^2*y8 + 56*x2^2*y7 + 811*x2*x1*y7 + 120*x1^2*y7 + 415*x2*x0*y7 + 888*x1*x0*y7 + 931*x0^2*y7 + 650*x2^2*y6 + 923*x2*x1*y6 + 56*x1^2*y6 + 759*x2*x0*y6 + 648*x1*x0*y6 + 738*x0^2*y6 + 992*x2^2*y5 + 778*x2*x1*y5 + 407*x1^2*y5 + 381*x2*x0*y5 + 331*x1*x0*y5 + 688*x0^2*y5 + 34*x2^2*y4 + 676*x2*x1*y4 + 596*x1^2*y4 + 952*x2*x0*y4 + 949*x1*x0*y4 + 344*x0^2*y4 + 363*x2^2*y3 + 651*x2*x1*y3 + 565*x1^2*y3 + 241*x2*x0*y3 + 430*x1*x0*y3 + 490*x0^2*y3 + 75*x2^2*y2 + 488*x2*x1*y2 + 572*x1^2*y2 + 388*x2*x0*y2 + 374*x1*x0*y2 + 88*x0^2*y2 + 368*x2^2*y1 + 999*x2*x1*y1 + 572*x1^2*y1 + 461*x2*x0*y1 + 463*x1*x0*y1 + 785*x0^2*y1 + 990*x2^2*y0 + 525*x2*x1*y0 + 95*x1^2*y0 + 22*x2*x0*y0 + 873*x1*x0*y0 + 13296*x0^2*y0,
519*x2^2*y13 + x2*x1*y13 + 291*x1^2*y13 + 888*x2*x0*y13 + 613*x1*x0*y13 + 129*x0^2*y13 + 913*x2^2*y12 + 346*x2*x1*y12 + 446*x1^2*y12 + 973*x2*x0*y12 + 712*x1*x0*y12 + 728*x0^2*y12 + 183*x2^2*y11 + 731*x2*x1*y11 + 917*x1^2*y11 + 821*x2*x0*y11 + 653*x1*x0*y11 + 83*x0^2*y11 + 149*x2^2*y10 + 648*x2*x1*y10 + 364*x1^2*y10 + 130*x2*x0*y10 + 27*x1*x0*y10 + 481*x0^2*y10 + 704*x2^2*y9 + 415*x2*x1*y9 + 322*x1^2*y9 + 863*x2*x0*y9 + 300*x1*x0*y9 + 944*x0^2*y9 + 522*x2^2*y8 + 197*x2*x1*y8 + 739*x1^2*y8 + 58*x2*x0*y8 + 16*x1*x0*y8 + 667*x0^2*y8 + 535*x2^2*y7 + 922*x2*x1*y7 + 82*x1^2*y7 + 675*x2*x0*y7 + 552*x1*x0*y7 + 879*x0^2*y7 + 938*x2^2*y6 + 272*x2*x1*y6 + 897*x1^2*y6 + 455*x2*x0*y6 + 513*x1*x0*y6 + 615*x0^2*y6 + 919*x2^2*y5 + 494*x2*x1*y5 + 226*x1^2*y5 + 857*x2*x0*y5 + 209*x1*x0*y5 + 396*x0^2*y5 + 679*x2^2*y4 + 901*x2*x1*y4 + 807*x1^2*y4 + 938*x2*x0*y4 + 29*x1*x0*y4 + 389*x0^2*y4 + 472*x2^2*y3 + 470*x2*x1*y3 + 486*x1^2*y3 + 941*x2*x0*y3 + 461*x1*x0*y3 + 646*x0^2*y3 + 308*x2^2*y2 + 817*x2*x1*y2 + 153*x1^2*y2 + 487*x2*x0*y2 + 578*x1*x0*y2 + 156*x0^2*y2 + 469*x2^2*y1 + 540*x2*x1*y1 + 747*x1^2*y1 + 453*x2*x0*y1 + 552*x1*x0*y1 + 564*x0^2*y1 + 894*x2^2*y0 + 882*x2*x1*y0 + 844*x1^2*y0 + 916*x2*x0*y0 + 234*x1*x0*y0 + 48416*x0^2*y0,
87*x2^2*y13 + 856*x2*x1*y13 + 863*x1^2*y13 + 610*x2*x0*y13 + 506*x1*x0*y13 + 974*x0^2*y13 + 301*x2^2*y12 + 764*x2*x1*y12 + 696*x1^2*y12 + 296*x2*x0*y12 + 583*x1*x0*y12 + 335*x0^2*y12 + 900*x2^2*y11 + 271*x2*x1*y11 + 607*x1^2*y11 + 662*x2*x0*y11 + 475*x1*x0*y11 + 567*x0^2*y11 + 714*x2^2*y10 + 390*x2*x1*y10 + 725*x1^2*y10 + 321*x2*x0*y10 + 442*x1*x0*y10 + 50*x0^2*y10 + 192*x2^2*y9 + 210*x2*x1*y9 + 672*x1^2*y9 + 343*x2*x0*y9 + 526*x1*x0*y9 + 399*x0^2*y9 + 825*x2^2*y8 + 566*x2*x1*y8 + 17*x1^2*y8 + 52*x2*x0*y8 + 383*x1*x0*y8 + 528*x0^2*y8 + 836*x2^2*y7 + 621*x2*x1*y7 + 228*x1^2*y7 + 916*x2*x0*y7 + 91*x1*x0*y7 + 972*x0^2*y7 + 817*x2^2*y6 + 970*x2*x1*y6 + 79*x1^2*y6 + 453*x2*x0*y6 + 89*x1*x0*y6 + 413*x0^2*y6 + 179*x2^2*y5 + 503*x2*x1*y5 + 920*x1^2*y5 + 900*x2*x0*y5 + 165*x1*x0*y5 + 862*x0^2*y5 + 374*x2^2*y4 + 274*x2*x1*y4 + 745*x1^2*y4 + 886*x2*x0*y4 + 329*x1*x0*y4 + 209*x0^2*y4 + 956*x2^2*y3 + 272*x2*x1*y3 + 685*x1^2*y3 + 765*x2*x0*y3 + 38*x1*x0*y3 + 94*x0^2*y3 + 796*x2^2*y2 + 877*x2*x1*y2 + 111*x1^2*y2 + 212*x2*x0*y2 + 896*x1*x0*y2 + 668*x0^2*y2 + 577*x2^2*y1 + 753*x2*x1*y1 + 945*x1^2*y1 + 276*x2*x0*y1 + 677*x1*x0*y1 + 593*x0^2*y1 + 84*x2^2*y0 + 910*x2*x1*y0 + 954*x1^2*y0 + 460*x2*x0*y0 + 221*x1*x0*y0 + 12819*x0^2*y0,
942*x2^2*y13 + 943*x2*x1*y13 + 408*x1^2*y13 + 611*x2*x0*y13 + 750*x1*x0*y13 + 804*x0^2*y13 + 606*x2^2*y12 + 36*x2*x1*y12 + 76*x1^2*y12 + 724*x2*x0*y12 + 210*x1*x0*y12 + 840*x0^2*y12 + 892*x2^2*y11 + 793*x2*x1*y11 + 51*x1^2*y11 + 27*x2*x0*y11 + 427*x1*x0*y11 + 64*x0^2*y11 + 487*x2^2*y10 + 144*x2*x1*y10 + 304*x1^2*y10 + 361*x2*x0*y10 + 705*x1*x0*y10 + 11*x0^2*y10 + 429*x2^2*y9 + 167*x2*x1*y9 + 191*x1^2*y9 + 761*x2*x0*y9 + 769*x1*x0*y9 + 721*x0^2*y9 + 183*x2^2*y8 + 832*x2*x1*y8 + 157*x1^2*y8 + 817*x2*x0*y8 + 331*x1*x0*y8 + 347*x0^2*y8 + 862*x2^2*y7 + 845*x2*x1*y7 + 905*x1^2*y7 + 608*x2*x0*y7 + 139*x1*x0*y7 + 286*x0^2*y7 + 10*x2^2*y6 + 944*x2*x1*y6 + 459*x1^2*y6 + 109*x2*x0*y6 + 310*x1*x0*y6 + 326*x0^2*y6 + 579*x2^2*y5 + 506*x2*x1*y5 + 140*x1^2*y5 + 689*x2*x0*y5 + 177*x1*x0*y5 + 297*x0^2*y5 + 626*x2^2*y4 + 413*x2*x1*y4 + 322*x1^2*y4 + 932*x2*x0*y4 + 516*x1*x0*y4 + 450*x0^2*y4 + 150*x2^2*y3 + 572*x2*x1*y3 + 434*x1^2*y3 + 664*x2*x0*y3 + 457*x1*x0*y3 + 980*x0^2*y3 + 984*x2^2*y2 + 828*x2*x1*y2 + 472*x1^2*y2 + 88*x2*x0*y2 + 544*x1*x0*y2 + 516*x0^2*y2 + 372*x2^2*y1 + 987*x2*x1*y1 + 820*x1^2*y1 + 677*x2*x0*y1 + 227*x1*x0*y1 + 770*x0^2*y1 + 202*x2^2*y0 + 658*x2*x1*y0 + 945*x1^2*y0 + 794*x2*x0*y0 + 3*x1*x0*y0 + 62235*x0^2*y0,
241*x2^2*y13 + 878*x2*x1*y13 + 435*x1^2*y13 + 884*x2*x0*y13 + 373*x1*x0*y13 + 896*x0^2*y13 + 848*x2^2*y12 + 64*x2*x1*y12 + 154*x1^2*y12 + 493*x2*x0*y12 + 31*x1*x0*y12 + 578*x0^2*y12 + 659*x2^2*y11 + 539*x2*x1*y11 + 826*x1^2*y11 + 105*x2*x0*y11 + 296*x1*x0*y11 + 985*x0^2*y11 + 547*x2^2*y10 + 640*x2*x1*y10 + 443*x1^2*y10 + 823*x2*x0*y10 + 379*x1*x0*y10 + 153*x0^2*y10 + 665*x2^2*y9 + 410*x2*x1*y9 + 677*x1^2*y9 + 564*x2*x0*y9 + 744*x1*x0*y9 + 452*x0^2*y9 + 504*x2^2*y8 + 639*x2*x1*y8 + 725*x1^2*y8 + 502*x2*x0*y8 + 722*x1*x0*y8 + 773*x0^2*y8 + 76*x2^2*y7 + 39*x2*x1*y7 + 527*x1^2*y7 + 508*x2*x0*y7 + 30*x1*x0*y7 + 559*x0^2*y7 + 818*x2^2*y6 + 21*x2*x1*y6 + 858*x1^2*y6 + 794*x2*x0*y6 + 494*x1*x0*y6 + 396*x0^2*y6 + 839*x2^2*y5 + 862*x2*x1*y5 + 882*x1^2*y5 + 143*x2*x0*y5 + 190*x1*x0*y5 + 276*x0^2*y5 + 429*x2^2*y4 + 97*x2*x1*y4 + 974*x1^2*y4 + 716*x2*x0*y4 + 881*x1*x0*y4 + 437*x0^2*y4 + 218*x2^2*y3 + 664*x2*x1*y3 + 797*x1^2*y3 + 747*x2*x0*y3 + 223*x1*x0*y3 + 852*x0^2*y3 + 199*x2^2*y2 + 883*x2*x1*y2 + 469*x1^2*y2 + 716*x2*x0*y2 + 306*x1*x0*y2 + 110*x0^2*y2 + 322*x2^2*y1 + 292*x2*x1*y1 + 996*x1^2*y1 + 435*x2*x0*y1 + 894*x1*x0*y1 + 873*x0^2*y1 + 26*x2^2*y0 + 945*x2*x1*y0 + 644*x1^2*y0 + 88*x2*x0*y0 + 627*x1*x0*y0 + 2449*x0^2*y0,
610*x2^2*y13 + 112*x2*x1*y13 + 299*x1^2*y13 + 933*x2*x0*y13 + 898*x1*x0*y13 + 833*x0^2*y13 + 472*x2^2*y12 + 501*x2*x1*y12 + 352*x1^2*y12 + 878*x2*x0*y12 + 734*x1*x0*y12 + 31*x0^2*y12 + 401*x2^2*y11 + 948*x2*x1*y11 + 509*x1^2*y11 + 695*x2*x0*y11 + 847*x1*x0*y11 + 854*x0^2*y11 + 251*x2^2*y10 + 838*x2*x1*y10 + 890*x1^2*y10 + 277*x2*x0*y10 + 762*x1*x0*y10 + 8*x0^2*y10 + 493*x2^2*y9 + 819*x2*x1*y9 + 492*x1^2*y9 + 86*x2*x0*y9 + 240*x1*x0*y9 + 70*x0^2*y9 + 769*x2^2*y8 + 879*x2*x1*y8 + 747*x1^2*y8 + 535*x2*x0*y8 + 608*x1*x0*y8 + 857*x0^2*y8 + 861*x2^2*y7 + 397*x2*x1*y7 + 162*x1^2*y7 + 983*x2*x0*y7 + 149*x1*x0*y7 + 611*x0^2*y7 + 357*x2^2*y6 + 163*x2*x1*y6 + 387*x1^2*y6 + 620*x2*x0*y6 + 184*x1*x0*y6 + 161*x0^2*y6 + 891*x2^2*y5 + 302*x2*x1*y5 + 566*x1^2*y5 + 54*x2*x0*y5 + 731*x1*x0*y5 + 609*x0^2*y5 + 24*x2^2*y4 + 564*x2*x1*y4 + 152*x1^2*y4 + 513*x2*x0*y4 + 402*x1*x0*y4 + 70*x0^2*y4 + 367*x2^2*y3 + 731*x2*x1*y3 + 46*x1^2*y3 + 649*x2*x0*y3 + 464*x1*x0*y3 + 158*x0^2*y3 + 385*x2^2*y2 + 572*x2*x1*y2 + 207*x1^2*y2 + 41*x2*x0*y2 + 841*x1*x0*y2 + 761*x0^2*y2 + 844*x2^2*y1 + 30*x2*x1*y1 + 145*x1^2*y1 + 410*x2*x0*y1 + 506*x1*x0*y1 + 275*x0^2*y1 + 66*x2^2*y0 + 175*x2*x1*y0 + 997*x1^2*y0 + 715*x2*x0*y0 + 198*x1*x0*y0 + 24965*x0^2*y0,
692*x2^2*y13 + 284*x2*x1*y13 + 294*x1^2*y13 + 464*x2*x0*y13 + 548*x1*x0*y13 + 781*x0^2*y13 + 957*x2^2*y12 + 175*x2*x1*y12 + 731*x1^2*y12 + 476*x2*x0*y12 + 161*x1*x0*y12 + 750*x0^2*y12 + 570*x2^2*y11 + 61*x2*x1*y11 + 64*x1^2*y11 + 220*x2*x0*y11 + 194*x1*x0*y11 + 201*x0^2*y11 + 130*x2^2*y10 + 893*x2*x1*y10 + 200*x1^2*y10 + 436*x2*x0*y10 + 678*x1*x0*y10 + 194*x0^2*y10 + 944*x2^2*y9 + 640*x2*x1*y9 + 800*x1^2*y9 + 393*x2*x0*y9 + 6*x1*x0*y9 + 120*x0^2*y9 + 456*x2^2*y8 + 519*x2*x1*y8 + 869*x1^2*y8 + 152*x2*x0*y8 + 562*x1*x0*y8 + 894*x0^2*y8 + 690*x2^2*y7 + 556*x2*x1*y7 + 260*x1^2*y7 + 724*x2*x0*y7 + 437*x1*x0*y7 + 665*x0^2*y7 + 449*x2^2*y6 + 85*x2*x1*y6 + 256*x1^2*y6 + 343*x2*x0*y6 + 868*x1*x0*y6 + 455*x0^2*y6 + 455*x2^2*y5 + 433*x2*x1*y5 + 340*x1^2*y5 + 964*x2*x0*y5 + 498*x1*x0*y5 + 705*x0^2*y5 + 528*x2^2*y4 + 297*x2*x1*y4 + 108*x1^2*y4 + 777*x2*x0*y4 + 698*x1*x0*y4 + 55*x0^2*y4 + 542*x2^2*y3 + 230*x2*x1*y3 + 28*x1^2*y3 + 934*x2*x0*y3 + 599*x1*x0*y3 + 949*x0^2*y3 + 163*x2^2*y2 + 861*x2*x1*y2 + 317*x1^2*y2 + 302*x2*x0*y2 + 909*x1*x0*y2 + 633*x0^2*y2 + 107*x2^2*y1 + 370*x2*x1*y1 + 576*x1^2*y1 + 275*x2*x0*y1 + 771*x1*x0*y1 + 536*x0^2*y1 + 240*x2^2*y0 + 593*x2*x1*y0 + 415*x1^2*y0 + 159*x2*x0*y0 + 593*x1*x0*y0 + 2042*x0^2*y0,
914*x2^2*y13 + 108*x2*x1*y13 + 308*x1^2*y13 + 225*x2*x0*y13 + 273*x1*x0*y13 + 713*x0^2*y13 + 853*x2^2*y12 + 421*x2*x1*y12 + 820*x1^2*y12 + 102*x2*x0*y12 + 720*x1*x0*y12 + 992*x0^2*y12 + 278*x2^2*y11 + 277*x2*x1*y11 + 266*x1^2*y11 + 530*x2*x0*y11 + 166*x1*x0*y11 + 389*x0^2*y11 + 919*x2^2*y10 + 222*x2*x1*y10 + 538*x1^2*y10 + 743*x2*x0*y10 + 892*x1*x0*y10 + 889*x0^2*y10 + 131*x2^2*y9 + 786*x2*x1*y9 + 769*x1^2*y9 + 441*x2*x0*y9 + 244*x1*x0*y9 + 319*x0^2*y9 + 319*x2^2*y8 + 944*x2*x1*y8 + 408*x1^2*y8 + 933*x2*x0*y8 + 996*x1*x0*y8 + 474*x0^2*y8 + 764*x2^2*y7 + 470*x2*x1*y7 + 222*x1^2*y7 + 114*x2*x0*y7 + 465*x1*x0*y7 + 758*x0^2*y7 + 164*x2^2*y6 + 689*x2*x1*y6 + 256*x1^2*y6 + 74*x2*x0*y6 + 236*x1*x0*y6 + 754*x0^2*y6 + 222*x2^2*y5 + 987*x2*x1*y5 + 525*x1^2*y5 + 893*x2*x0*y5 + 64*x1*x0*y5 + 926*x0^2*y5 + 131*x2^2*y4 + 644*x2*x1*y4 + 85*x1^2*y4 + 334*x2*x0*y4 + 229*x1*x0*y4 + 655*x0^2*y4 + 846*x2^2*y3 + 7*x2*x1*y3 + 699*x1^2*y3 + 949*x2*x0*y3 + 852*x1*x0*y3 + 568*x0^2*y3 + 30*x2^2*y2 + 407*x2*x1*y2 + 193*x1^2*y2 + 917*x2*x0*y2 + 265*x1*x0*y2 + 989*x0^2*y2 + 528*x2^2*y1 + 428*x2*x1*y1 + 768*x1^2*y1 + 131*x2*x0*y1 + 750*x1*x0*y1 + 126*x0^2*y1 + 451*x2^2*y0 + 134*x2*x1*y0 + 952*x1^2*y0 + 106*x2*x0*y0 + 717*x1*x0*y0 + 45500*x0^2*y0,
810*x2^2*y13 + 65*x2*x1*y13 + 897*x1^2*y13 + 175*x2*x0*y13 + 763*x1*x0*y13 + 657*x0^2*y13 + 175*x2^2*y12 + 506*x2*x1*y12 + 410*x1^2*y12 + 130*x2*x0*y12 + 980*x1*x0*y12 + 733*x0^2*y12 + 251*x2^2*y11 + 661*x2*x1*y11 + 690*x1^2*y11 + 876*x2*x0*y11 + 119*x1*x0*y11 + 23*x0^2*y11 + 444*x2^2*y10 + 631*x2*x1*y10 + 756*x1^2*y10 + 947*x2*x0*y10 + 340*x1*x0*y10 + 569*x0^2*y10 + 977*x2^2*y9 + 47*x2*x1*y9 + 745*x1^2*y9 + 315*x2*x0*y9 + 164*x1*x0*y9 + 350*x0^2*y9 + 150*x2^2*y8 + 229*x2*x1*y8 + 795*x1^2*y8 + 402*x2*x0*y8 + 821*x1*x0*y8 + 755*x0^2*y8 + 892*x2^2*y7 + 685*x2*x1*y7 + 348*x1^2*y7 + 318*x2*x0*y7 + 533*x1*x0*y7 + 413*x0^2*y7 + 884*x2^2*y6 + 842*x2*x1*y6 + 112*x1^2*y6 + 335*x2*x0*y6 + 679*x1*x0*y6 + 898*x0^2*y6 + 136*x2^2*y5 + 766*x2*x1*y5 + 757*x1^2*y5 + 204*x2*x0*y5 + 302*x1*x0*y5 + 261*x0^2*y5 + 443*x2^2*y4 + 994*x2*x1*y4 + 808*x1^2*y4 + 819*x2*x0*y4 + 550*x1*x0*y4 + 263*x0^2*y4 + 265*x2^2*y3 + 372*x2*x1*y3 + 270*x1^2*y3 + 113*x2*x0*y3 + 771*x1*x0*y3 + 725*x0^2*y3 + 442*x2^2*y2 + 964*x2*x1*y2 + 376*x1^2*y2 + 747*x2*x0*y2 + 776*x1*x0*y2 + 867*x0^2*y2 + 735*x2^2*y1 + 658*x2*x1*y1 + 215*x1^2*y1 + 836*x2*x0*y1 + 446*x1*x0*y1 + 127*x0^2*y1 + 970*x2^2*y0 + 957*x2*x1*y0 + 396*x1^2*y0 + 171*x2*x0*y0 + 280*x1*x0*y0 + 24139*x0^2*y0,
130*x2^2*y13 + 727*x2*x1*y13 + 20*x1^2*y13 + 504*x2*x0*y13 + 261*x1*x0*y13 + 399*x0^2*y13 + 786*x2^2*y12 + 409*x2*x1*y12 + 361*x1^2*y12 + 371*x2*x0*y12 + 329*x1*x0*y12 + 525*x0^2*y12 + 501*x2^2*y11 + 950*x2*x1*y11 + 614*x1^2*y11 + 403*x2*x0*y11 + 87*x1*x0*y11 + 297*x0^2*y11 + 749*x2^2*y10 + 44*x2*x1*y10 + 533*x1^2*y10 + 139*x2*x0*y10 + 725*x1*x0*y10 + x0^2*y10 + 549*x2^2*y9 + 837*x2*x1*y9 + 39*x1^2*y9 + 928*x2*x0*y9 + 517*x1*x0*y9 + 375*x0^2*y9 + 59*x2^2*y8 + 421*x2*x1*y8 + 631*x1^2*y8 + 602*x2*x0*y8 + 78*x1*x0*y8 + 259*x0^2*y8 + 180*x2^2*y7 + 166*x2*x1*y7 + 825*x1^2*y7 + 157*x2*x0*y7 + 714*x1*x0*y7 + 51*x0^2*y7 + 215*x2^2*y6 + 594*x2*x1*y6 + 572*x1^2*y6 + 243*x2*x0*y6 + 189*x1*x0*y6 + 405*x0^2*y6 + 109*x2^2*y5 + 609*x2*x1*y5 + 681*x1^2*y5 + 484*x2*x0*y5 + 38*x1*x0*y5 + 239*x0^2*y5 + 205*x2^2*y4 + 475*x2*x1*y4 + 187*x1^2*y4 + 256*x2*x0*y4 + 498*x1*x0*y4 + 645*x0^2*y4 + 741*x2^2*y3 + 196*x2*x1*y3 + 255*x1^2*y3 + 627*x2*x0*y3 + 617*x1*x0*y3 + 42*x0^2*y3 + 188*x2^2*y2 + 365*x2*x1*y2 + 225*x1^2*y2 + 339*x2*x0*y2 + 284*x1*x0*y2 + 437*x0^2*y2 + 697*x2^2*y1 + 524*x2*x1*y1 + 736*x1^2*y1 + 216*x2*x0*y1 + 460*x1*x0*y1 + 416*x0^2*y1 + 853*x2^2*y0 + 296*x2*x1*y0 + 474*x1^2*y0 + 755*x2*x0*y0 + 802*x1*x0*y0 + 7060*x0^2*y0,
334*x2^2*y13 + 443*x2*x1*y13 + 172*x1^2*y13 + 180*x2*x0*y13 + 559*x1*x0*y13 + 706*x0^2*y13 + 686*x2^2*y12 + 988*x2*x1*y12 + 571*x1^2*y12 + 414*x2*x0*y12 + 312*x1*x0*y12 + 117*x0^2*y12 + 41*x2^2*y11 + 59*x2*x1*y11 + 293*x1^2*y11 + 722*x2*x0*y11 + 337*x1*x0*y11 + 904*x0^2*y11 + 963*x2^2*y10 + 842*x2*x1*y10 + 259*x1^2*y10 + 52*x2*x0*y10 + 712*x1*x0*y10 + 557*x0^2*y10 + 629*x2^2*y9 + 160*x2*x1*y9 + 315*x1^2*y9 + 925*x2*x0*y9 + 902*x1*x0*y9 + 229*x0^2*y9 + 186*x2^2*y8 + 612*x2*x1*y8 + 832*x1^2*y8 + 695*x2*x0*y8 + 412*x1*x0*y8 + 702*x0^2*y8 + 715*x2^2*y7 + 978*x2*x1*y7 + 255*x1^2*y7 + 614*x2*x0*y7 + 638*x1*x0*y7 + 892*x0^2*y7 + 404*x2^2*y6 + 455*x2*x1*y6 + 500*x1^2*y6 + 415*x2*x0*y6 + 452*x1*x0*y6 + 355*x0^2*y6 + 552*x2^2*y5 + 887*x2*x1*y5 + 756*x1^2*y5 + 149*x2*x0*y5 + 479*x1*x0*y5 + 93*x0^2*y5 + 763*x2^2*y4 + 488*x2*x1*y4 + 311*x1^2*y4 + 827*x2*x0*y4 + 281*x1*x0*y4 + 952*x0^2*y4 + 895*x2^2*y3 + 965*x2*x1*y3 + 809*x1^2*y3 + 771*x2*x0*y3 + 195*x1*x0*y3 + 720*x0^2*y3 + 173*x2^2*y2 + 940*x2*x1*y2 + 794*x1^2*y2 + 639*x2*x0*y2 + 543*x1*x0*y2 + 57*x0^2*y2 + 369*x2^2*y1 + 573*x2*x1*y1 + 387*x1^2*y1 + 70*x2*x0*y1 + 517*x1*x0*y1 + 246*x0^2*y1 + 553*x2^2*y0 + 806*x2*x1*y0 + 569*x1^2*y0 + 265*x2*x0*y0 + 542*x1*x0*y0 + 1297*x0^2*y0,
225*x2^2*y13 + 118*x2*x1*y13 + 262*x1^2*y13 + 75*x2*x0*y13 + 983*x1*x0*y13 + 925*x0^2*y13 + 101*x2^2*y12 + 775*x2*x1*y12 + 36*x1^2*y12 + 477*x2*x0*y12 + 593*x1*x0*y12 + 366*x0^2*y12 + 21*x2^2*y11 + 261*x2*x1*y11 + 353*x1^2*y11 + 353*x2*x0*y11 + 252*x1*x0*y11 + 905*x0^2*y11 + 234*x2^2*y10 + 612*x2*x1*y10 + 761*x1^2*y10 + 330*x2*x0*y10 + 75*x1*x0*y10 + 569*x0^2*y10 + 576*x2^2*y9 + 168*x2*x1*y9 + 409*x1^2*y9 + 432*x2*x0*y9 + 366*x1*x0*y9 + 283*x0^2*y9 + 390*x2^2*y8 + 386*x2*x1*y8 + 775*x1^2*y8 + 983*x2*x0*y8 + 255*x1*x0*y8 + 826*x0^2*y8 + 339*x2^2*y7 + 591*x2*x1*y7 + 186*x1^2*y7 + 611*x2*x0*y7 + 77*x1*x0*y7 + 194*x0^2*y7 + 760*x2^2*y6 + 789*x2*x1*y6 + 771*x1^2*y6 + 687*x2*x0*y6 + 344*x1*x0*y6 + 662*x0^2*y6 + 78*x2^2*y5 + 842*x2*x1*y5 + 754*x1^2*y5 + 430*x2*x0*y5 + 848*x1*x0*y5 + 670*x0^2*y5 + 330*x2^2*y4 + 298*x2*x1*y4 + 376*x1^2*y4 + 587*x2*x0*y4 + 436*x1*x0*y4 + 384*x0^2*y4 + 452*x2^2*y3 + 174*x2*x1*y3 + 920*x1^2*y3 + 277*x2*x0*y3 + 691*x1*x0*y3 + 851*x0^2*y3 + 397*x2^2*y2 + 416*x2*x1*y2 + 753*x1^2*y2 + 532*x2*x0*y2 + 492*x1*x0*y2 + 168*x0^2*y2 + 545*x2^2*y1 + 345*x2*x1*y1 + 315*x1^2*y1 + 986*x2*x0*y1 + 784*x1*x0*y1 + 17*x0^2*y1 + 328*x2^2*y0 + 655*x2*x1*y0 + 414*x1^2*y0 + 973*x2*x0*y0 + 992*x1*x0*y0 + 35013*x0^2*y0
]