#vars [x10,x9,x8,x7,x6,x5,x4,x3,x2,x1,x0,y1,y0]

#list

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