#vars [x3,x2,x1,x0,y7,y6,y5,y4,y3,y2,y1,y0]

#list

[
984*x3^2*y7 + 900*x3*x2*y7 + 105*x2^2*y7 + 530*x3*x1*y7 + 653*x2*x1*y7 + 348*x1^2*y7 + 769*x3*x0*y7 + 675*x2*x0*y7 + 856*x1*x0*y7 + 159*x0^2*y7 + 61*x3^2*y6 + 42*x3*x2*y6 + 517*x2^2*y6 + 684*x3*x1*y6 + 23*x2*x1*y6 + 972*x1^2*y6 + 262*x3*x0*y6 + 936*x2*x0*y6 + 228*x1*x0*y6 + 552*x0^2*y6 + 40*x3^2*y5 + 170*x3*x2*y5 + 785*x2^2*y5 + 650*x3*x1*y5 + 634*x2*x1*y5 + 437*x1^2*y5 + 105*x3*x0*y5 + 931*x2*x0*y5 + 23*x1*x0*y5 + 938*x0^2*y5 + 570*x3^2*y4 + 713*x3*x2*y4 + 226*x2^2*y4 + 701*x3*x1*y4 + 326*x2*x1*y4 + 386*x1^2*y4 + 719*x3*x0*y4 + 946*x2*x0*y4 + 727*x1*x0*y4 + 226*x0^2*y4 + 120*x3^2*y3 + 97*x3*x2*y3 + 434*x2^2*y3 + 101*x3*x1*y3 + 931*x2*x1*y3 + 771*x1^2*y3 + 79*x3*x0*y3 + 292*x2*x0*y3 + 544*x1*x0*y3 + 961*x0^2*y3 + 335*x3^2*y2 + 126*x3*x2*y2 + 137*x2^2*y2 + 255*x3*x1*y2 + 597*x2*x1*y2 + 240*x1^2*y2 + 419*x3*x0*y2 + 335*x2*x0*y2 + 145*x1*x0*y2 + 344*x0^2*y2 + 977*x3^2*y1 + 494*x3*x2*y1 + 34*x2^2*y1 + 790*x3*x1*y1 + 868*x2*x1*y1 + 312*x1^2*y1 + 852*x3*x0*y1 + 38*x2*x0*y1 + 304*x1*x0*y1 + 579*x0^2*y1 + 199*x3^2*y0 + 34*x3*x2*y0 + 63*x2^2*y0 + 213*x3*x1*y0 + 947*x2*x1*y0 + 692*x1^2*y0 + 126*x3*x0*y0 + 888*x2*x0*y0 + 203*x1*x0*y0 + 11262*x0^2*y0,
116*x3^2*y7 + 655*x3*x2*y7 + 84*x2^2*y7 + 447*x3*x1*y7 + 622*x2*x1*y7 + 416*x1^2*y7 + 295*x3*x0*y7 + 668*x2*x0*y7 + 461*x1*x0*y7 + 60*x0^2*y7 + 395*x3^2*y6 + 389*x3*x2*y6 + 959*x2^2*y6 + 429*x3*x1*y6 + 887*x2*x1*y6 + 14*x1^2*y6 + 366*x3*x0*y6 + 860*x2*x0*y6 + 918*x1*x0*y6 + 117*x0^2*y6 + 428*x3^2*y5 + 253*x3*x2*y5 + 346*x2^2*y5 + 361*x3*x1*y5 + 268*x2*x1*y5 + 7*x1^2*y5 + 451*x3*x0*y5 + 698*x2*x0*y5 + 310*x1*x0*y5 + 776*x0^2*y5 + 191*x3^2*y4 + 869*x3*x2*y4 + 129*x2^2*y4 + 756*x3*x1*y4 + 191*x2*x1*y4 + 381*x1^2*y4 + 661*x3*x0*y4 + 378*x2*x0*y4 + 38*x1*x0*y4 + 183*x0^2*y4 + 606*x3^2*y3 + 768*x3*x2*y3 + 872*x2^2*y3 + 859*x3*x1*y3 + 487*x2*x1*y3 + 470*x1^2*y3 + 875*x3*x0*y3 + 624*x2*x0*y3 + 157*x1*x0*y3 + 736*x0^2*y3 + 62*x3^2*y2 + 384*x3*x2*y2 + 426*x2^2*y2 + 686*x3*x1*y2 + 706*x2*x1*y2 + 628*x1^2*y2 + 91*x3*x0*y2 + 285*x2*x0*y2 + 487*x1*x0*y2 + 592*x0^2*y2 + 381*x3^2*y1 + 508*x3*x2*y1 + 547*x2^2*y1 + 438*x3*x1*y1 + 683*x2*x1*y1 + 573*x1^2*y1 + 496*x3*x0*y1 + 149*x2*x0*y1 + 387*x1*x0*y1 + 90*x0^2*y1 + 594*x3^2*y0 + 994*x3*x2*y0 + 62*x2^2*y0 + 384*x3*x1*y0 + 894*x2*x1*y0 + 843*x1^2*y0 + 853*x3*x0*y0 + 244*x2*x0*y0 + 60*x1*x0*y0 + 50005*x0^2*y0,
300*x3^2*y7 + 641*x3*x2*y7 + 829*x2^2*y7 + 300*x3*x1*y7 + 942*x2*x1*y7 + 717*x1^2*y7 + 929*x3*x0*y7 + 234*x2*x0*y7 + 78*x1*x0*y7 + 201*x0^2*y7 + 24*x3^2*y6 + 726*x3*x2*y6 + 208*x2^2*y6 + 694*x3*x1*y6 + 984*x2*x1*y6 + 625*x1^2*y6 + 453*x3*x0*y6 + 147*x2*x0*y6 + 792*x1*x0*y6 + 104*x0^2*y6 + 987*x3^2*y5 + 436*x3*x2*y5 + 378*x2^2*y5 + 39*x3*x1*y5 + 793*x2*x1*y5 + 930*x1^2*y5 + 894*x3*x0*y5 + 805*x2*x0*y5 + 778*x1*x0*y5 + 602*x0^2*y5 + 803*x3^2*y4 + 679*x3*x2*y4 + 974*x2^2*y4 + 167*x3*x1*y4 + 219*x2*x1*y4 + 7*x1^2*y4 + 151*x3*x0*y4 + 269*x2*x0*y4 + 859*x1*x0*y4 + 908*x0^2*y4 + 327*x3^2*y3 + 175*x3*x2*y3 + 943*x2^2*y3 + 984*x3*x1*y3 + 696*x2*x1*y3 + 967*x1^2*y3 + 121*x3*x0*y3 + 506*x2*x0*y3 + 384*x1*x0*y3 + 25*x0^2*y3 + 910*x3^2*y2 + 864*x3*x2*y2 + 239*x2^2*y2 + 681*x3*x1*y2 + 50*x2*x1*y2 + 504*x1^2*y2 + 982*x3*x0*y2 + 679*x2*x0*y2 + 256*x1*x0*y2 + 411*x0^2*y2 + 243*x3^2*y1 + 175*x3*x2*y1 + 660*x2^2*y1 + 49*x3*x1*y1 + 529*x2*x1*y1 + 308*x1^2*y1 + 668*x3*x0*y1 + 144*x2*x0*y1 + 961*x1*x0*y1 + 586*x0^2*y1 + 85*x3^2*y0 + 659*x3*x2*y0 + 119*x2^2*y0 + 607*x3*x1*y0 + 148*x2*x1*y0 + 564*x1^2*y0 + 179*x3*x0*y0 + 592*x2*x0*y0 + 712*x1*x0*y0 + 51442*x0^2*y0,
563*x3^2*y7 + 359*x3*x2*y7 + 435*x2^2*y7 + 626*x3*x1*y7 + 942*x2*x1*y7 + 958*x1^2*y7 + 281*x3*x0*y7 + 356*x2*x0*y7 + 472*x1*x0*y7 + 652*x0^2*y7 + 846*x3^2*y6 + 614*x3*x2*y6 + 790*x2^2*y6 + 292*x3*x1*y6 + 421*x2*x1*y6 + 427*x1^2*y6 + 571*x3*x0*y6 + 833*x2*x0*y6 + 167*x1*x0*y6 + 86*x0^2*y6 + 709*x3^2*y5 + 744*x3*x2*y5 + 625*x2^2*y5 + 572*x3*x1*y5 + 909*x2*x1*y5 + 423*x1^2*y5 + 235*x3*x0*y5 + 579*x2*x0*y5 + 64*x1*x0*y5 + 85*x0^2*y5 + 881*x3^2*y4 + 398*x3*x2*y4 + 99*x2^2*y4 + 92*x3*x1*y4 + 869*x2*x1*y4 + 167*x1^2*y4 + 164*x3*x0*y4 + 212*x2*x0*y4 + 137*x1*x0*y4 + 298*x0^2*y4 + 97*x3^2*y3 + 293*x3*x2*y3 + 702*x2^2*y3 + 15*x3*x1*y3 + 335*x2*x1*y3 + 403*x1^2*y3 + 306*x3*x0*y3 + 795*x2*x0*y3 + 670*x1*x0*y3 + 458*x0^2*y3 + 450*x3^2*y2 + 705*x3*x2*y2 + 75*x2^2*y2 + 179*x3*x1*y2 + 898*x2*x1*y2 + 919*x1^2*y2 + 398*x3*x0*y2 + 377*x2*x0*y2 + 897*x1*x0*y2 + 491*x0^2*y2 + 218*x3^2*y1 + 354*x3*x2*y1 + 570*x2^2*y1 + 206*x3*x1*y1 + 730*x2*x1*y1 + 121*x1^2*y1 + 456*x3*x0*y1 + 696*x2*x0*y1 + 153*x1*x0*y1 + 132*x0^2*y1 + 518*x3^2*y0 + 141*x3*x2*y0 + 22*x2^2*y0 + 764*x3*x1*y0 + 330*x2*x1*y0 + 747*x1^2*y0 + 108*x3*x0*y0 + 49*x2*x0*y0 + 638*x1*x0*y0 + 55003*x0^2*y0,
991*x3^2*y7 + 600*x3*x2*y7 + 717*x2^2*y7 + 292*x3*x1*y7 + 679*x2*x1*y7 + 978*x1^2*y7 + 151*x3*x0*y7 + 42*x2*x0*y7 + 47*x1*x0*y7 + 764*x0^2*y7 + 143*x3^2*y6 + 606*x3*x2*y6 + 445*x2^2*y6 + 979*x3*x1*y6 + 508*x2*x1*y6 + 489*x1^2*y6 + 682*x3*x0*y6 + 779*x2*x0*y6 + 834*x1*x0*y6 + 669*x0^2*y6 + 42*x3^2*y5 + 499*x3*x2*y5 + 361*x2^2*y5 + 980*x2*x1*y5 + 934*x1^2*y5 + 128*x3*x0*y5 + 540*x2*x0*y5 + 178*x1*x0*y5 + 443*x0^2*y5 + 172*x3^2*y4 + 477*x3*x2*y4 + 810*x2^2*y4 + 402*x3*x1*y4 + 615*x2*x1*y4 + 71*x1^2*y4 + 316*x3*x0*y4 + 474*x2*x0*y4 + 210*x1*x0*y4 + 617*x0^2*y4 + 184*x3^2*y3 + 851*x3*x2*y3 + 28*x2^2*y3 + 886*x3*x1*y3 + 199*x2*x1*y3 + 358*x1^2*y3 + 42*x3*x0*y3 + 845*x2*x0*y3 + 943*x1*x0*y3 + 667*x0^2*y3 + 963*x3^2*y2 + 112*x3*x2*y2 + 568*x2^2*y2 + 504*x3*x1*y2 + 151*x2*x1*y2 + 975*x1^2*y2 + 556*x3*x0*y2 + 259*x2*x0*y2 + 35*x1*x0*y2 + 143*x0^2*y2 + 635*x3^2*y1 + 742*x3*x2*y1 + 534*x2^2*y1 + 467*x3*x1*y1 + 711*x2*x1*y1 + 514*x1^2*y1 + 236*x3*x0*y1 + 32*x2*x0*y1 + 636*x1*x0*y1 + 721*x0^2*y1 + 201*x3^2*y0 + 392*x3*x2*y0 + 175*x2^2*y0 + 731*x3*x1*y0 + 886*x2*x1*y0 + 460*x1^2*y0 + 809*x3*x0*y0 + 647*x2*x0*y0 + 622*x1*x0*y0 + 23518*x0^2*y0,
233*x3^2*y7 + 199*x3*x2*y7 + 463*x2^2*y7 + 817*x3*x1*y7 + 770*x2*x1*y7 + 690*x1^2*y7 + 547*x3*x0*y7 + 779*x2*x0*y7 + 54*x1*x0*y7 + 993*x0^2*y7 + 573*x3^2*y6 + 529*x3*x2*y6 + 22*x2^2*y6 + 241*x3*x1*y6 + 766*x2*x1*y6 + 178*x1^2*y6 + 655*x3*x0*y6 + 488*x2*x0*y6 + 552*x1*x0*y6 + 967*x0^2*y6 + 879*x3^2*y5 + 664*x3*x2*y5 + 171*x2^2*y5 + 453*x3*x1*y5 + 70*x2*x1*y5 + 833*x1^2*y5 + 358*x3*x0*y5 + 836*x2*x0*y5 + 12*x1*x0*y5 + 814*x0^2*y5 + 992*x3^2*y4 + 105*x3*x2*y4 + 635*x2^2*y4 + 608*x3*x1*y4 + 834*x2*x1*y4 + 158*x1^2*y4 + 326*x3*x0*y4 + 273*x2*x0*y4 + 774*x1*x0*y4 + 793*x0^2*y4 + 778*x3^2*y3 + 717*x3*x2*y3 + 901*x2^2*y3 + 706*x3*x1*y3 + 698*x2*x1*y3 + 564*x1^2*y3 + 779*x3*x0*y3 + 827*x2*x0*y3 + 667*x1*x0*y3 + 76*x0^2*y3 + 974*x3^2*y2 + 261*x3*x2*y2 + 494*x2^2*y2 + 795*x3*x1*y2 + 917*x2*x1*y2 + 29*x1^2*y2 + 677*x3*x0*y2 + 709*x2*x0*y2 + 706*x1*x0*y2 + 968*x0^2*y2 + 95*x3^2*y1 + 331*x3*x2*y1 + 684*x2^2*y1 + 791*x3*x1*y1 + 265*x2*x1*y1 + 413*x1^2*y1 + 836*x3*x0*y1 + 667*x2*x0*y1 + 621*x1*x0*y1 + 364*x0^2*y1 + 223*x3^2*y0 + 323*x3*x2*y0 + 417*x2^2*y0 + 790*x3*x1*y0 + 370*x2*x1*y0 + 327*x1^2*y0 + 594*x3*x0*y0 + 101*x2*x0*y0 + 819*x1*x0*y0 + 13422*x0^2*y0,
213*x3^2*y7 + 489*x3*x2*y7 + 923*x2^2*y7 + 244*x3*x1*y7 + 694*x2*x1*y7 + 352*x1^2*y7 + 583*x3*x0*y7 + 434*x2*x0*y7 + 749*x1*x0*y7 + 920*x0^2*y7 + 703*x3^2*y6 + 71*x3*x2*y6 + 275*x2^2*y6 + 209*x3*x1*y6 + 256*x2*x1*y6 + 795*x1^2*y6 + 345*x3*x0*y6 + 742*x2*x0*y6 + 316*x1*x0*y6 + 313*x0^2*y6 + 345*x3^2*y5 + 434*x3*x2*y5 + 615*x2^2*y5 + 903*x3*x1*y5 + 945*x2*x1*y5 + 349*x1^2*y5 + 107*x3*x0*y5 + 708*x2*x0*y5 + 285*x1*x0*y5 + 633*x0^2*y5 + 744*x3^2*y4 + 676*x3*x2*y4 + 822*x2^2*y4 + 972*x3*x1*y4 + 904*x2*x1*y4 + 418*x1^2*y4 + 538*x3*x0*y4 + 42*x2*x0*y4 + 684*x1*x0*y4 + 33*x0^2*y4 + 211*x3^2*y3 + 498*x3*x2*y3 + 381*x2^2*y3 + 340*x3*x1*y3 + 413*x2*x1*y3 + 490*x1^2*y3 + 950*x3*x0*y3 + 172*x2*x0*y3 + 94*x1*x0*y3 + 978*x0^2*y3 + 796*x3^2*y2 + 228*x3*x2*y2 + 177*x2^2*y2 + 931*x3*x1*y2 + 401*x2*x1*y2 + 964*x1^2*y2 + 642*x3*x0*y2 + 964*x2*x0*y2 + 20*x1*x0*y2 + 449*x0^2*y2 + 140*x3^2*y1 + 569*x3*x2*y1 + 707*x2^2*y1 + 439*x3*x1*y1 + 149*x2*x1*y1 + 589*x1^2*y1 + 268*x3*x0*y1 + 989*x2*x0*y1 + 980*x1*x0*y1 + 823*x0^2*y1 + 594*x3^2*y0 + 565*x3*x2*y0 + 623*x2^2*y0 + 414*x3*x1*y0 + 491*x2*x1*y0 + 550*x1^2*y0 + 4*x3*x0*y0 + 116*x2*x0*y0 + 882*x1*x0*y0 + 64547*x0^2*y0,
438*x3^2*y7 + 189*x3*x2*y7 + 398*x2^2*y7 + 328*x3*x1*y7 + 27*x2*x1*y7 + 819*x1^2*y7 + 398*x3*x0*y7 + 643*x2*x0*y7 + 383*x1*x0*y7 + 366*x0^2*y7 + 168*x3^2*y6 + 697*x3*x2*y6 + 960*x2^2*y6 + 95*x3*x1*y6 + 133*x2*x1*y6 + 864*x1^2*y6 + 204*x3*x0*y6 + 174*x2*x0*y6 + 195*x1*x0*y6 + 144*x0^2*y6 + 326*x3^2*y5 + 201*x3*x2*y5 + 463*x2^2*y5 + 371*x3*x1*y5 + 722*x2*x1*y5 + 198*x1^2*y5 + 572*x3*x0*y5 + 878*x2*x0*y5 + 586*x1*x0*y5 + 896*x0^2*y5 + 699*x3^2*y4 + 529*x3*x2*y4 + 171*x2^2*y4 + 931*x3*x1*y4 + 384*x2*x1*y4 + 669*x1^2*y4 + 489*x3*x0*y4 + 256*x2*x0*y4 + 817*x1*x0*y4 + 814*x0^2*y4 + 894*x3^2*y3 + 129*x3*x2*y3 + 799*x2^2*y3 + 676*x3*x1*y3 + 938*x2*x1*y3 + 5*x1^2*y3 + 105*x3*x0*y3 + 25*x2*x0*y3 + 121*x1*x0*y3 + 405*x0^2*y3 + 358*x3^2*y2 + 751*x3*x2*y2 + 702*x2^2*y2 + 467*x3*x1*y2 + 259*x2*x1*y2 + 301*x1^2*y2 + 142*x3*x0*y2 + 313*x2*x0*y2 + 473*x1*x0*y2 + 729*x0^2*y2 + 200*x3^2*y1 + 94*x3*x2*y1 + 772*x2^2*y1 + 866*x3*x1*y1 + 257*x2*x1*y1 + 451*x1^2*y1 + 735*x3*x0*y1 + 200*x2*x0*y1 + 421*x1*x0*y1 + 224*x0^2*y1 + 455*x3^2*y0 + 931*x3*x2*y0 + 944*x2^2*y0 + 528*x3*x1*y0 + 543*x2*x1*y0 + 160*x1^2*y0 + 377*x3*x0*y0 + 519*x2*x0*y0 + 943*x1*x0*y0 + 16428*x0^2*y0,
506*x3^2*y7 + 814*x3*x2*y7 + 351*x2^2*y7 + 799*x3*x1*y7 + 719*x2*x1*y7 + 980*x1^2*y7 + 791*x3*x0*y7 + 53*x2*x0*y7 + 248*x1*x0*y7 + 728*x0^2*y7 + 41*x3^2*y6 + 507*x3*x2*y6 + 310*x2^2*y6 + 732*x3*x1*y6 + 64*x2*x1*y6 + 942*x1^2*y6 + 211*x3*x0*y6 + 904*x2*x0*y6 + 508*x1*x0*y6 + 528*x0^2*y6 + 29*x3^2*y5 + 836*x3*x2*y5 + 689*x2^2*y5 + 299*x3*x1*y5 + 912*x2*x1*y5 + 93*x1^2*y5 + 213*x3*x0*y5 + 242*x2*x0*y5 + 883*x1*x0*y5 + 961*x0^2*y5 + 920*x3^2*y4 + 844*x3*x2*y4 + 487*x2^2*y4 + 434*x3*x1*y4 + 665*x2*x1*y4 + 520*x1^2*y4 + 638*x3*x0*y4 + 589*x2*x0*y4 + 936*x1*x0*y4 + 894*x0^2*y4 + 511*x3^2*y3 + 53*x3*x2*y3 + 495*x2^2*y3 + 127*x3*x1*y3 + 561*x2*x1*y3 + 277*x1^2*y3 + 545*x3*x0*y3 + 154*x2*x0*y3 + 778*x1*x0*y3 + 591*x0^2*y3 + 327*x3^2*y2 + 739*x3*x2*y2 + 410*x2^2*y2 + 733*x3*x1*y2 + 912*x2*x1*y2 + 545*x1^2*y2 + 130*x3*x0*y2 + 429*x2*x0*y2 + 532*x1*x0*y2 + 838*x0^2*y2 + 604*x3^2*y1 + 451*x3*x2*y1 + 72*x2^2*y1 + 751*x3*x1*y1 + 899*x2*x1*y1 + 838*x1^2*y1 + 79*x3*x0*y1 + 333*x2*x0*y1 + 534*x1*x0*y1 + 278*x0^2*y1 + 351*x3^2*y0 + 255*x3*x2*y0 + 838*x2^2*y0 + 719*x3*x1*y0 + 396*x2*x1*y0 + 620*x1^2*y0 + 939*x3*x0*y0 + 721*x2*x0*y0 + 191*x1*x0*y0 + 32238*x0^2*y0,
302*x3^2*y7 + 467*x3*x2*y7 + 402*x2^2*y7 + 231*x3*x1*y7 + 299*x2*x1*y7 + 478*x1^2*y7 + 693*x3*x0*y7 + 243*x2*x0*y7 + 547*x1*x0*y7 + 567*x0^2*y7 + 479*x3^2*y6 + 60*x3*x2*y6 + 947*x2^2*y6 + 707*x3*x1*y6 + 394*x2*x1*y6 + 532*x1^2*y6 + 300*x3*x0*y6 + 580*x2*x0*y6 + 707*x1*x0*y6 + 627*x0^2*y6 + 458*x3^2*y5 + 20*x3*x2*y5 + 992*x2^2*y5 + 345*x3*x1*y5 + 594*x2*x1*y5 + 307*x1^2*y5 + 165*x3*x0*y5 + 598*x2*x0*y5 + 729*x1*x0*y5 + 511*x0^2*y5 + 514*x3^2*y4 + 939*x3*x2*y4 + 218*x2^2*y4 + 433*x3*x1*y4 + 247*x2*x1*y4 + 439*x1^2*y4 + 345*x3*x0*y4 + 39*x2*x0*y4 + 473*x1*x0*y4 + 247*x0^2*y4 + 675*x3^2*y3 + 412*x3*x2*y3 + 85*x2^2*y3 + 579*x3*x1*y3 + 655*x2*x1*y3 + 418*x1^2*y3 + 33*x3*x0*y3 + 888*x2*x0*y3 + 887*x1*x0*y3 + 596*x0^2*y3 + 384*x3^2*y2 + 537*x3*x2*y2 + 190*x2^2*y2 + 753*x3*x1*y2 + 290*x2*x1*y2 + 37*x1^2*y2 + 164*x3*x0*y2 + 965*x2*x0*y2 + 281*x1*x0*y2 + 358*x0^2*y2 + 915*x3^2*y1 + 644*x3*x2*y1 + 296*x2^2*y1 + 619*x3*x1*y1 + 650*x2*x1*y1 + 154*x1^2*y1 + 988*x3*x0*y1 + 173*x2*x0*y1 + 143*x1*x0*y1 + 570*x0^2*y1 + 347*x3^2*y0 + 236*x3*x2*y0 + 819*x2^2*y0 + 359*x3*x1*y0 + 462*x2*x1*y0 + 855*x1^2*y0 + 331*x3*x0*y0 + 457*x2*x0*y0 + 888*x1*x0*y0 + 31327*x0^2*y0,
296*x3^2*y7 + 284*x3*x2*y7 + 188*x2^2*y7 + 883*x3*x1*y7 + 700*x2*x1*y7 + 176*x1^2*y7 + 50*x3*x0*y7 + 411*x2*x0*y7 + 895*x1*x0*y7 + 263*x0^2*y7 + 593*x3^2*y6 + 467*x3*x2*y6 + 522*x2^2*y6 + 19*x3*x1*y6 + 4*x2*x1*y6 + 603*x1^2*y6 + 181*x3*x0*y6 + 774*x2*x0*y6 + 712*x1*x0*y6 + 182*x0^2*y6 + 732*x3^2*y5 + 22*x3*x2*y5 + 17*x2^2*y5 + 497*x3*x1*y5 + 942*x2*x1*y5 + 336*x1^2*y5 + 271*x3*x0*y5 + 43*x2*x0*y5 + 912*x1*x0*y5 + 793*x0^2*y5 + 384*x3^2*y4 + 535*x3*x2*y4 + 611*x2^2*y4 + 592*x3*x1*y4 + 909*x2*x1*y4 + 321*x1^2*y4 + 357*x3*x0*y4 + 725*x2*x0*y4 + 413*x1*x0*y4 + 746*x0^2*y4 + 442*x3^2*y3 + 15*x3*x2*y3 + 964*x2^2*y3 + 869*x3*x1*y3 + 314*x2*x1*y3 + 187*x1^2*y3 + 955*x3*x0*y3 + 877*x2*x0*y3 + 166*x1*x0*y3 + 597*x0^2*y3 + 405*x3*x2*y2 + 501*x2^2*y2 + 348*x3*x1*y2 + 42*x2*x1*y2 + 963*x1^2*y2 + 482*x3*x0*y2 + 851*x2*x0*y2 + 724*x1*x0*y2 + 195*x0^2*y2 + 731*x3^2*y1 + 535*x3*x2*y1 + 863*x2^2*y1 + 626*x3*x1*y1 + 276*x2*x1*y1 + 632*x1^2*y1 + 878*x3*x0*y1 + 998*x2*x0*y1 + 951*x1*x0*y1 + 788*x0^2*y1 + 327*x3^2*y0 + 253*x3*x2*y0 + 478*x2^2*y0 + 740*x3*x1*y0 + 876*x2*x1*y0 + 270*x1^2*y0 + 442*x3*x0*y0 + 12*x2*x0*y0 + 884*x1*x0*y0 + 48786*x0^2*y0,
53*x3^2*y7 + 895*x3*x2*y7 + 69*x2^2*y7 + 845*x3*x1*y7 + 216*x2*x1*y7 + 636*x1^2*y7 + 811*x3*x0*y7 + 396*x2*x0*y7 + 957*x1*x0*y7 + 242*x0^2*y7 + 278*x3^2*y6 + 407*x3*x2*y6 + 489*x2^2*y6 + 434*x3*x1*y6 + 250*x2*x1*y6 + 968*x1^2*y6 + 82*x3*x0*y6 + 234*x2*x0*y6 + 144*x1*x0*y6 + 735*x0^2*y6 + 412*x3^2*y5 + x3*x2*y5 + 486*x2^2*y5 + 365*x3*x1*y5 + 867*x2*x1*y5 + 123*x1^2*y5 + 286*x3*x0*y5 + 408*x2*x0*y5 + 643*x1*x0*y5 + 511*x0^2*y5 + 247*x3^2*y4 + 827*x3*x2*y4 + 490*x2^2*y4 + 218*x3*x1*y4 + 744*x2*x1*y4 + 969*x1^2*y4 + 899*x3*x0*y4 + 371*x2*x0*y4 + 873*x1*x0*y4 + 45*x0^2*y4 + 574*x3^2*y3 + 554*x3*x2*y3 + 324*x2^2*y3 + 379*x3*x1*y3 + 599*x2*x1*y3 + 304*x1^2*y3 + 900*x3*x0*y3 + 439*x2*x0*y3 + 313*x1*x0*y3 + 28*x0^2*y3 + 147*x3^2*y2 + 743*x3*x2*y2 + 78*x2^2*y2 + 979*x3*x1*y2 + 660*x2*x1*y2 + 188*x1^2*y2 + 53*x3*x0*y2 + 854*x2*x0*y2 + 549*x1*x0*y2 + 735*x0^2*y2 + 687*x3^2*y1 + 611*x3*x2*y1 + 472*x2^2*y1 + 599*x3*x1*y1 + 633*x2*x1*y1 + 442*x1^2*y1 + 815*x3*x0*y1 + 968*x2*x0*y1 + 553*x1*x0*y1 + 73*x0^2*y1 + 518*x3^2*y0 + 435*x3*x2*y0 + 461*x2^2*y0 + 926*x3*x1*y0 + 24*x2*x1*y0 + 457*x1^2*y0 + 961*x3*x0*y0 + 817*x2*x0*y0 + 998*x1*x0*y0 + 1904*x0^2*y0,
67*x3^2*y7 + 648*x3*x2*y7 + 642*x2^2*y7 + 23*x3*x1*y7 + 125*x2*x1*y7 + 286*x1^2*y7 + 403*x3*x0*y7 + 238*x2*x0*y7 + 201*x1*x0*y7 + 567*x0^2*y7 + 840*x3^2*y6 + 168*x3*x2*y6 + 234*x2^2*y6 + 737*x3*x1*y6 + 996*x2*x1*y6 + 10*x1^2*y6 + 159*x3*x0*y6 + 233*x2*x0*y6 + 486*x1*x0*y6 + 55*x0^2*y6 + 957*x3^2*y5 + 861*x3*x2*y5 + 469*x2^2*y5 + 934*x3*x1*y5 + 236*x2*x1*y5 + 98*x1^2*y5 + 850*x3*x0*y5 + 834*x2*x0*y5 + 222*x1*x0*y5 + 390*x0^2*y5 + 880*x3^2*y4 + 43*x3*x2*y4 + 781*x2^2*y4 + 38*x3*x1*y4 + 287*x2*x1*y4 + 209*x1^2*y4 + 236*x3*x0*y4 + 352*x2*x0*y4 + 707*x1*x0*y4 + 763*x0^2*y4 + 396*x3^2*y3 + 510*x3*x2*y3 + 513*x2^2*y3 + 826*x3*x1*y3 + 768*x2*x1*y3 + 298*x1^2*y3 + 854*x3*x0*y3 + 872*x2*x0*y3 + 163*x1*x0*y3 + 407*x0^2*y3 + 693*x3^2*y2 + 235*x3*x2*y2 + 292*x2^2*y2 + 354*x3*x1*y2 + 963*x2*x1*y2 + 511*x1^2*y2 + 998*x3*x0*y2 + 278*x2*x0*y2 + 585*x1*x0*y2 + 764*x0^2*y2 + 648*x3^2*y1 + 460*x3*x2*y1 + 954*x2^2*y1 + 706*x3*x1*y1 + 962*x2*x1*y1 + 31*x1^2*y1 + 111*x3*x0*y1 + 738*x2*x0*y1 + 55*x1*x0*y1 + 774*x0^2*y1 + 387*x3^2*y0 + 402*x3*x2*y0 + 146*x2^2*y0 + 339*x3*x1*y0 + 566*x2*x1*y0 + 842*x1^2*y0 + 276*x3*x0*y0 + 975*x2*x0*y0 + 20*x1*x0*y0 + 52298*x0^2*y0,
675*x3^2*y7 + 847*x3*x2*y7 + 653*x2^2*y7 + 203*x3*x1*y7 + 213*x2*x1*y7 + 970*x1^2*y7 + 869*x3*x0*y7 + 731*x2*x0*y7 + 846*x1*x0*y7 + 948*x0^2*y7 + 30*x3^2*y6 + 845*x3*x2*y6 + 80*x2^2*y6 + 186*x3*x1*y6 + 693*x2*x1*y6 + 994*x1^2*y6 + 472*x3*x0*y6 + 67*x2*x0*y6 + 70*x1*x0*y6 + 684*x0^2*y6 + 627*x3^2*y5 + 685*x3*x2*y5 + 115*x2^2*y5 + 454*x3*x1*y5 + 6*x2*x1*y5 + 205*x1^2*y5 + 305*x3*x0*y5 + 611*x2*x0*y5 + 946*x1*x0*y5 + 210*x0^2*y5 + 966*x3^2*y4 + 769*x3*x2*y4 + 106*x2^2*y4 + 433*x3*x1*y4 + 967*x2*x1*y4 + 323*x1^2*y4 + 225*x3*x0*y4 + 408*x2*x0*y4 + 295*x1*x0*y4 + 854*x0^2*y4 + 689*x3^2*y3 + 880*x3*x2*y3 + 89*x2^2*y3 + 606*x3*x1*y3 + 558*x2*x1*y3 + 853*x1^2*y3 + 408*x3*x0*y3 + 706*x2*x0*y3 + 833*x1*x0*y3 + 372*x0^2*y3 + 722*x3^2*y2 + 481*x3*x2*y2 + 265*x2^2*y2 + 955*x3*x1*y2 + 4*x2*x1*y2 + 897*x1^2*y2 + 795*x3*x0*y2 + 876*x2*x0*y2 + 660*x1*x0*y2 + 36*x0^2*y2 + 57*x3^2*y1 + 455*x3*x2*y1 + 110*x2^2*y1 + 184*x3*x1*y1 + 173*x2*x1*y1 + 701*x1^2*y1 + 347*x3*x0*y1 + 432*x2*x0*y1 + 890*x1*x0*y1 + 37*x0^2*y1 + 223*x3^2*y0 + 575*x3*x2*y0 + 361*x2^2*y0 + 182*x3*x1*y0 + 723*x2*x1*y0 + 79*x1^2*y0 + 193*x3*x0*y0 + 322*x2*x0*y0 + 398*x1*x0*y0 + 52368*x0^2*y0,
958*x3^2*y7 + 485*x3*x2*y7 + 89*x2^2*y7 + 238*x3*x1*y7 + 211*x2*x1*y7 + 687*x1^2*y7 + 15*x3*x0*y7 + 687*x2*x0*y7 + 987*x1*x0*y7 + 123*x0^2*y7 + 787*x3^2*y6 + 92*x3*x2*y6 + 448*x2^2*y6 + 216*x3*x1*y6 + 341*x2*x1*y6 + 587*x1^2*y6 + 815*x3*x0*y6 + 582*x2*x0*y6 + 299*x1*x0*y6 + 735*x0^2*y6 + 193*x3^2*y5 + 846*x3*x2*y5 + 727*x2^2*y5 + 252*x3*x1*y5 + 287*x2*x1*y5 + 888*x1^2*y5 + 706*x3*x0*y5 + 248*x2*x0*y5 + 958*x1*x0*y5 + 158*x0^2*y5 + 839*x3^2*y4 + 282*x3*x2*y4 + 388*x2^2*y4 + 946*x3*x1*y4 + 484*x2*x1*y4 + 171*x1^2*y4 + 488*x3*x0*y4 + 48*x2*x0*y4 + 760*x1*x0*y4 + 785*x0^2*y4 + 164*x3^2*y3 + 988*x3*x2*y3 + 356*x2^2*y3 + 186*x3*x1*y3 + 367*x2*x1*y3 + 184*x1^2*y3 + 948*x3*x0*y3 + 252*x2*x0*y3 + 24*x1*x0*y3 + 531*x0^2*y3 + 38*x3^2*y2 + 725*x3*x2*y2 + 583*x2^2*y2 + 860*x3*x1*y2 + 92*x2*x1*y2 + 66*x1^2*y2 + 759*x3*x0*y2 + 793*x2*x0*y2 + 130*x1*x0*y2 + 365*x0^2*y2 + 815*x3^2*y1 + 580*x3*x2*y1 + 827*x2^2*y1 + 88*x3*x1*y1 + 594*x2*x1*y1 + 585*x1^2*y1 + 540*x3*x0*y1 + 420*x2*x0*y1 + 174*x1*x0*y1 + 548*x0^2*y1 + 155*x3^2*y0 + 218*x3*x2*y0 + 626*x2^2*y0 + 59*x3*x1*y0 + 855*x2*x1*y0 + 115*x1^2*y0 + 529*x3*x0*y0 + 54*x2*x0*y0 + 354*x1*x0*y0 + 2290*x0^2*y0,
123*x3^2*y7 + 156*x3*x2*y7 + 388*x2^2*y7 + 545*x3*x1*y7 + 982*x2*x1*y7 + 571*x1^2*y7 + 941*x3*x0*y7 + 591*x2*x0*y7 + 434*x1*x0*y7 + 813*x0^2*y7 + 112*x3^2*y6 + 224*x3*x2*y6 + 963*x2^2*y6 + 279*x3*x1*y6 + 732*x2*x1*y6 + 703*x1^2*y6 + 788*x3*x0*y6 + 938*x2*x0*y6 + 556*x1*x0*y6 + 398*x0^2*y6 + 387*x3^2*y5 + 940*x3*x2*y5 + 432*x2^2*y5 + 539*x3*x1*y5 + 400*x2*x1*y5 + 273*x1^2*y5 + 248*x3*x0*y5 + 756*x2*x0*y5 + 106*x1*x0*y5 + 868*x0^2*y5 + 445*x3^2*y4 + 419*x3*x2*y4 + 172*x2^2*y4 + 166*x3*x1*y4 + 394*x2*x1*y4 + 377*x1^2*y4 + 532*x3*x0*y4 + 238*x2*x0*y4 + 754*x1*x0*y4 + 853*x0^2*y4 + 765*x3^2*y3 + 857*x3*x2*y3 + 599*x3*x1*y3 + 533*x2*x1*y3 + 638*x1^2*y3 + 883*x3*x0*y3 + 886*x2*x0*y3 + 54*x1*x0*y3 + 492*x0^2*y3 + 867*x3^2*y2 + 252*x3*x2*y2 + 421*x2^2*y2 + 84*x3*x1*y2 + 808*x2*x1*y2 + 707*x1^2*y2 + 781*x3*x0*y2 + 516*x2*x0*y2 + 377*x1*x0*y2 + 710*x0^2*y2 + 164*x3^2*y1 + 140*x3*x2*y1 + 985*x2^2*y1 + 366*x3*x1*y1 + 323*x2*x1*y1 + 667*x1^2*y1 + 260*x3*x0*y1 + 410*x2*x0*y1 + 178*x1*x0*y1 + 24*x0^2*y1 + 249*x3^2*y0 + 250*x3*x2*y0 + 767*x2^2*y0 + 527*x3*x1*y0 + 554*x2*x1*y0 + 705*x1^2*y0 + 869*x3*x0*y0 + 975*x2*x0*y0 + 44*x1*x0*y0 + 50620*x0^2*y0,
366*x3^2*y7 + 108*x3*x2*y7 + 249*x2^2*y7 + 496*x3*x1*y7 + 527*x2*x1*y7 + 966*x1^2*y7 + 115*x3*x0*y7 + 879*x2*x0*y7 + 923*x1*x0*y7 + 446*x0^2*y7 + 649*x3^2*y6 + 956*x3*x2*y6 + 544*x2^2*y6 + 238*x3*x1*y6 + 728*x2*x1*y6 + 764*x1^2*y6 + 262*x3*x0*y6 + 536*x2*x0*y6 + 34*x1*x0*y6 + 954*x0^2*y6 + 635*x3^2*y5 + 546*x3*x2*y5 + 55*x2^2*y5 + 906*x3*x1*y5 + 722*x2*x1*y5 + 213*x1^2*y5 + 685*x3*x0*y5 + 114*x2*x0*y5 + 591*x1*x0*y5 + 63*x0^2*y5 + 108*x3^2*y4 + 756*x3*x2*y4 + 953*x2^2*y4 + 332*x3*x1*y4 + 583*x2*x1*y4 + 977*x1^2*y4 + 945*x3*x0*y4 + 368*x2*x0*y4 + 663*x1*x0*y4 + 847*x0^2*y4 + 522*x3^2*y3 + 427*x3*x2*y3 + 882*x2^2*y3 + 507*x3*x1*y3 + 224*x2*x1*y3 + 925*x1^2*y3 + 440*x3*x0*y3 + 308*x2*x0*y3 + 588*x1*x0*y3 + 219*x0^2*y3 + 274*x3^2*y2 + 118*x3*x2*y2 + 793*x2^2*y2 + 426*x3*x1*y2 + 782*x2*x1*y2 + 856*x1^2*y2 + 927*x3*x0*y2 + 863*x2*x0*y2 + 762*x1*x0*y2 + 25*x0^2*y2 + 136*x3^2*y1 + 28*x3*x2*y1 + 311*x2^2*y1 + 757*x3*x1*y1 + 264*x2*x1*y1 + 321*x1^2*y1 + 464*x3*x0*y1 + 220*x2*x0*y1 + 869*x1*x0*y1 + 348*x0^2*y1 + 540*x3^2*y0 + 247*x3*x2*y0 + 357*x2^2*y0 + 78*x3*x1*y0 + 227*x2*x1*y0 + 620*x1^2*y0 + 497*x3*x0*y0 + 882*x2*x0*y0 + 991*x1*x0*y0 + 63537*x0^2*y0,
361*x3^2*y7 + 347*x3*x2*y7 + 411*x2^2*y7 + 727*x3*x1*y7 + 507*x2*x1*y7 + 458*x1^2*y7 + 135*x3*x0*y7 + 402*x2*x0*y7 + 305*x1*x0*y7 + 12*x0^2*y7 + 832*x3^2*y6 + 431*x3*x2*y6 + 903*x2^2*y6 + 882*x3*x1*y6 + 930*x2*x1*y6 + 73*x1^2*y6 + 932*x3*x0*y6 + 122*x2*x0*y6 + 441*x1*x0*y6 + 899*x0^2*y6 + 46*x3^2*y5 + 385*x3*x2*y5 + 952*x2^2*y5 + 4*x3*x1*y5 + 656*x2*x1*y5 + 799*x1^2*y5 + 496*x3*x0*y5 + 27*x2*x0*y5 + 307*x1*x0*y5 + 986*x0^2*y5 + 430*x3^2*y4 + 302*x3*x2*y4 + 871*x2^2*y4 + 107*x3*x1*y4 + 771*x2*x1*y4 + 879*x1^2*y4 + 241*x3*x0*y4 + 40*x2*x0*y4 + 22*x1*x0*y4 + 98*x0^2*y4 + 586*x3^2*y3 + 416*x3*x2*y3 + 535*x2^2*y3 + 168*x3*x1*y3 + 310*x2*x1*y3 + 479*x1^2*y3 + 944*x3*x0*y3 + 40*x2*x0*y3 + 845*x1*x0*y3 + 84*x0^2*y3 + 100*x3^2*y2 + 418*x3*x2*y2 + 893*x2^2*y2 + 632*x3*x1*y2 + 481*x2*x1*y2 + 728*x1^2*y2 + 861*x3*x0*y2 + 543*x2*x0*y2 + 349*x1*x0*y2 + 811*x0^2*y2 + 675*x3^2*y1 + 580*x3*x2*y1 + 835*x2^2*y1 + 717*x3*x1*y1 + 771*x2*x1*y1 + 202*x1^2*y1 + 911*x3*x0*y1 + 239*x2*x0*y1 + 604*x1*x0*y1 + 679*x0^2*y1 + 902*x3^2*y0 + 399*x3*x2*y0 + 376*x2^2*y0 + 212*x3*x1*y0 + 417*x2*x1*y0 + 469*x1^2*y0 + 882*x3*x0*y0 + 509*x2*x0*y0 + 18*x1*x0*y0 + 8534*x0^2*y0
]