-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcp_d_4_n_10_p_10-15.txt
12 lines (12 loc) · 41.1 KB
/
cp_d_4_n_10_p_10-15.txt
1
2
3
4
5
6
7
8
9
10
11
12
x1, x2, x3, x4, x5, x6, x7, x8, x9, x10
32003
1073741579*x1^3+1073741644*x1^2*x2+1073741641*x1*x2^2+41*x2^3+126*x1^2*x3+1073741799*x1*x2*x3+9*x2^2*x3+1073741813*x1*x3^2+8*x2*x3^2+1073741743*x3^3+1073741719*x1^2*x4+1073741675*x1*x2*x4+3*x2^2*x4+20*x1*x3*x4+1073741746*x2*x3*x4+20*x3^2*x4+176*x1*x4^2+1073741761*x2*x4^2+30*x3*x4^2+1073741743*x4^3+189*x1^2*x5+122*x1*x2*x5+2*x2^2*x5+1073741757*x1*x3*x5+20*x2*x3*x5+1073741798*x3^2*x5+1073741715*x1*x4*x5+1073741759*x2*x4*x5+1073741797*x3*x4*x5+1073741802*x4^2*x5+150*x1*x5^2+60*x2*x5^2+1073741776*x3*x5^2+31*x4*x5^2+1073741744*x5^3+285*x1^2*x6+16*x1*x2*x6+1073741826*x2^2*x6+118*x1*x3*x6+1073741802*x2*x3*x6+55*x3^2*x6+32*x1*x4*x6+77*x2*x4*x6+44*x3*x4*x6+1073741753*x4^2*x6+180*x1*x5*x6+81*x2*x5*x6+1073741743*x3*x5*x6+1073741774*x4*x5*x6+57*x5^2*x6+1073741727*x1*x6^2+1073741739*x2*x6^2+1073741803*x3*x6^2+25*x4*x6^2+85*x5*x6^2+51*x6^3+249*x1^2*x7+104*x1*x2*x7+1073741776*x2^2*x7+1073741717*x1*x3*x7+88*x2*x3*x7+1073741738*x3^2*x7+1073741819*x1*x4*x7+1073741728*x2*x4*x7+1073741741*x3*x4*x7+1073741751*x4^2*x7+24*x1*x5*x7+1073741746*x2*x5*x7+18*x3*x5*x7+84*x4*x5*x7+18*x5^2*x7+1073741697*x1*x6*x7+94*x2*x6*x7+1073741730*x3*x6*x7+1073741813*x4*x6*x7+1073741782*x5*x6*x7+91*x6^2*x7+164*x1*x7^2+70*x2*x7^2+1073741763*x3*x7^2+1073741780*x4*x7^2+1073741780*x5*x7^2+1073741754*x6*x7^2+1073741763*x7^3+207*x1^2*x8+1073741663*x1*x2*x8+93*x2^2*x8+14*x1*x3*x8+70*x2*x3*x8+1073741737*x3^2*x8+20*x1*x4*x8+63*x2*x4*x8+1073741778*x3*x4*x8+69*x4^2*x8+1073741659*x1*x5*x8+1073741783*x2*x5*x8+42*x3*x5*x8+37*x4*x5*x8+1073741739*x5^2*x8+1073741703*x1*x6*x8+1073741823*x2*x6*x8+40*x3*x6*x8+1073741740*x4*x6*x8+95*x5*x6*x8+1073741776*x6^2*x8+50*x1*x7*x8+1073741775*x2*x7*x8+1073741759*x3*x7*x8+10*x4*x7*x8+51*x5*x7*x8+1073741751*x6*x7*x8+11*x7^2*x8+1073741819*x1*x8^2+93*x2*x8^2+1073741762*x3*x8^2+97*x4*x8^2+82*x5*x8^2+14*x6*x8^2+44*x7*x8^2+1073741745*x8^3+201*x1^2*x9+1073741659*x1*x2*x9+1073741740*x2^2*x9+186*x1*x3*x9+1073741780*x2*x3*x9+1073741800*x3^2*x9+190*x1*x4*x9+13*x2*x4*x9+1073741824*x3*x4*x9+38*x4^2*x9+192*x1*x5*x9+22*x2*x5*x9+98*x3*x5*x9+22*x4*x5*x9+11*x5^2*x9+1073741753*x1*x6*x9+1073741769*x2*x6*x9+82*x3*x6*x9+1073741739*x4*x6*x9+1073741738*x5*x6*x9+12*x6^2*x9+92*x1*x7*x9+1073741805*x2*x7*x9+20*x3*x7*x9+3*x4*x7*x9+97*x5*x7*x9+1073741736*x6*x7*x9+1073741824*x7^2*x9+1073741679*x1*x8*x9+81*x2*x8*x9+53*x3*x8*x9+42*x4*x8*x9+22*x5*x8*x9+35*x6*x8*x9+87*x7*x8*x9+5*x8^2*x9+1073741661*x1*x9^2+1073741750*x2*x9^2+1073741785*x3*x9^2+1073741745*x4*x9^2+78*x5*x9^2+55*x6*x9^2+1073741775*x7*x9^2+1073741732*x8*x9^2+1073741749*x9^3+225*x1^2*x10+166*x1*x2*x10+51*x2^2*x10+178*x1*x3*x10+86*x2*x3*x10+1073741765*x3^2*x10+50*x1*x4*x10+1073741817*x2*x4*x10+1073741740*x3*x4*x10+73*x4^2*x10+44*x1*x5*x10+1073741735*x2*x5*x10+1073741756*x3*x5*x10+60*x4*x5*x10+50*x5^2*x10+1073741727*x1*x6*x10+1073741778*x2*x6*x10+65*x3*x6*x10+11*x4*x6*x10+63*x5*x6*x10+62*x6^2*x10+1073741631*x1*x7*x10+1073741731*x2*x7*x10+18*x3*x7*x10+19*x4*x7*x10+1073741748*x5*x7*x10+36*x6*x7*x10+37*x7^2*x10+136*x1*x8*x10+16*x2*x8*x10+60*x3*x8*x10+1073741783*x4*x8*x10+1073741780*x5*x8*x10+79*x6*x8*x10+76*x7*x8*x10+37*x8^2*x10+1073741789*x1*x9*x10+83*x2*x9*x10+51*x3*x9*x10+1073741771*x4*x9*x10+40*x5*x9*x10+1073741800*x6*x9*x10+46*x7*x9*x10+x8*x9*x10+13*x9^2*x10+1073741727*x1*x10^2+1073741793*x2*x10^2+1073741824*x3*x10^2+26*x4*x10^2+82*x5*x10^2+61*x6*x10^2+1073741815*x7*x10^2+1073741759*x8*x10^2+1073741785*x9*x10^2+1073741770*x10^3+48*x1^2+146*x1*x2+57*x2^2+132*x1*x3+2*x2*x3+1073741753*x3^2+1073741677*x1*x4+1073741763*x2*x4+99*x3*x4+1073741781*x4^2+108*x1*x5+67*x2*x5+1073741750*x3*x5+68*x4*x5+1073741730*x5^2+1073741637*x1*x6+85*x2*x6+1073741790*x3*x6+1073741769*x4*x6+1073741815*x5*x6+48*x6^2+1073741805*x1*x7+9*x2*x7+26*x3*x7+88*x4*x7+1073741734*x5*x7+15*x6*x7+12*x7^2+132*x1*x8+86*x2*x8+1073741750*x3*x8+1073741790*x4*x8+71*x5*x8+57*x6*x8+1073741748*x7*x8+1073741807*x8^2+1073741809*x1*x9+10*x2*x9+1073741762*x3*x9+35*x4*x9+1073741766*x5*x9+43*x6*x9+1073741740*x7*x9+1073741804*x8*x9+1073741788*x9^2+1073741801*x1*x10+1073741770*x2*x10+1073741770*x3*x10+1073741758*x4*x10+1073741762*x5*x10+1073741809*x6*x10+1073741772*x7*x10+97*x8*x10+31*x9*x10+98*x10^2+1073741817*x1+47*x2+71*x3+22*x4+35*x5+74*x6+44*x7+1073741811*x8+1073741789*x9+1073741728*x10+1073741812,
1073741766*x1^3+1073741641*x1^2*x2+123*x1*x2^2+376*x2^3+1073741813*x1^2*x3+18*x1*x2*x3+1073741629*x2^2*x3+8*x1*x3^2+86*x2*x3^2+99*x3^3+1073741751*x1^2*x4+6*x1*x2*x4+39*x2^2*x4+1073741746*x1*x3*x4+1073741809*x2*x3*x4+32*x3^2*x4+1073741761*x1*x4^2+1073741789*x2*x4^2+1073741797*x3*x4^2+1073741766*x4^3+61*x1^2*x5+4*x1*x2*x5+240*x2^2*x5+20*x1*x3*x5+6*x2*x3*x5+1073741793*x3^2*x5+1073741759*x1*x4*x5+12*x2*x4*x5+85*x3*x4*x5+6*x4^2*x5+60*x1*x5^2+166*x2*x5^2+97*x3*x5^2+37*x4*x5^2+52*x5^3+8*x1^2*x6+1073741825*x1*x2*x6+1073741530*x2^2*x6+1073741802*x1*x3*x6+1073741773*x2*x3*x6+99*x3^2*x6+77*x1*x4*x6+82*x2*x4*x6+89*x3*x4*x6+1073741799*x4^2*x6+81*x1*x5*x6+1073741761*x2*x5*x6+9*x3*x5*x6+1073741799*x4*x5*x6+1073741791*x5^2*x6+1073741739*x1*x6^2+1073741751*x2*x6^2+61*x3*x6^2+1073741813*x4*x6^2+1073741759*x5*x6^2+1073741755*x6^3+52*x1^2*x7+1073741725*x1*x2*x7+1073741698*x2^2*x7+88*x1*x3*x7+1073741823*x2*x3*x7+84*x3^2*x7+1073741728*x1*x4*x7+1073741797*x2*x4*x7+1073741786*x3*x4*x7+15*x4^2*x7+1073741746*x1*x5*x7+1073741699*x2*x5*x7+1073741728*x3*x5*x7+98*x4*x5*x7+1073741770*x5^2*x7+94*x1*x6*x7+192*x2*x6*x7+82*x3*x6*x7+1073741745*x4*x6*x7+1073741813*x5*x6*x7+1073741750*x6^2*x7+70*x1*x7^2+1073741641*x2*x7^2+1073741781*x3*x7^2+16*x4*x7^2+58*x5*x7^2+4*x6*x7^2+47*x7^3+1073741745*x1^2*x8+186*x1*x2*x8+1073741572*x2^2*x8+70*x1*x3*x8+182*x2*x3*x8+1073741733*x3^2*x8+63*x1*x4*x8+1073741775*x2*x4*x8+1073741760*x3*x4*x8+1073741787*x4^2*x8+1073741783*x1*x5*x8+12*x2*x5*x8+1073741738*x3*x5*x8+33*x4*x5*x8+1073741814*x5^2*x8+1073741823*x1*x6*x8+1073741725*x2*x6*x8+1073741741*x3*x6*x8+67*x4*x6*x8+1073741804*x5*x6*x8+90*x6^2*x8+1073741775*x1*x7*x8+1073741709*x2*x7*x8+1073741824*x3*x7*x8+59*x4*x7*x8+45*x5*x7*x8+8*x6*x7*x8+71*x7^2*x8+93*x1*x8^2+28*x2*x8^2+27*x3*x8^2+1073741774*x4*x8^2+1073741747*x5*x8^2+1073741806*x6*x8^2+1073741737*x7*x8^2+1073741823*x8^3+1073741743*x1^2*x9+1073741653*x1*x2*x9+1073741713*x2^2*x9+1073741780*x1*x3*x9+1073741805*x2*x3*x9+1073741797*x3^2*x9+13*x1*x4*x9+10*x2*x4*x9+1073741731*x3*x4*x9+40*x4^2*x9+22*x1*x5*x9+152*x2*x5*x9+1073741778*x3*x5*x9+2*x4*x5*x9+43*x5^2*x9+1073741769*x1*x6*x9+112*x2*x6*x9+56*x3*x6*x9+82*x4*x6*x9+51*x5*x6*x9+71*x6^2*x9+1073741805*x1*x7*x9+1073741703*x2*x7*x9+1073741826*x3*x7*x9+25*x4*x7*x9+99*x5*x7*x9+1073741735*x6*x7*x9+75*x7^2*x9+81*x1*x8*x9+1073741679*x2*x8*x9+38*x3*x8*x9+77*x4*x8*x9+55*x5*x8*x9+1073741756*x6*x8*x9+1073741764*x7*x8*x9+11*x8^2*x9+1073741750*x1*x9^2+122*x2*x9^2+1073741815*x3*x9^2+1073741729*x4*x9^2+1073741779*x5*x9^2+94*x6*x9^2+1073741797*x7*x9^2+1073741807*x8*x9^2+1073741745*x9^3+83*x1^2*x10+102*x1*x2*x10+1073741572*x2^2*x10+86*x1*x3*x10+1073741729*x2*x3*x10+64*x3^2*x10+1073741817*x1*x4*x10+6*x2*x4*x10+1073741728*x3*x4*x10+77*x4^2*x10+1073741735*x1*x5*x10+1073741643*x2*x5*x10+1073741762*x3*x5*x10+65*x4*x5*x10+46*x5^2*x10+1073741778*x1*x6*x10+136*x2*x6*x10+1073741803*x3*x6*x10+10*x4*x6*x10+19*x5*x6*x10+1073741807*x6^2*x10+1073741731*x1*x7*x10+160*x2*x7*x10+1073741755*x3*x7*x10+76*x4*x7*x10+92*x5*x7*x10+1073741732*x6*x7*x10+1073741745*x7^2*x10+16*x1*x8*x10+1073741789*x2*x8*x10+71*x3*x8*x10+1073741734*x4*x8*x10+32*x5*x8*x10+56*x6*x8*x10+1073741780*x7*x8*x10+90*x8^2*x10+83*x1*x9*x10+174*x2*x9*x10+38*x3*x9*x10+53*x4*x9*x10+1073741805*x5*x9*x10+1073741729*x6*x9*x10+13*x7*x9*x10+25*x8*x9*x10+7*x9^2*x10+1073741793*x1*x10^2+44*x2*x10^2+7*x3*x10^2+7*x4*x10^2+36*x5*x10^2+1073741794*x6*x10^2+97*x7*x10^2+1073741803*x8*x10^2+18*x9*x10^2+90*x10^3+73*x1^2+114*x1*x2+279*x2^2+2*x1*x3+1073741713*x2*x3+92*x3^2+1073741763*x1*x4+1073741729*x2*x4+39*x3*x4+1073741746*x4^2+67*x1*x5+1073741771*x2*x5+1073741790*x3*x5+23*x4*x5+10*x5^2+85*x1*x6+1073741643*x2*x6+19*x3*x6+54*x4*x6+18*x5*x6+84*x6^2+9*x1*x7+24*x2*x7+1073741738*x3*x7+1073741774*x4*x7+91*x5*x7+52*x6*x7+10*x7^2+86*x1*x8+1073741669*x2*x8+65*x3*x8+47*x4*x8+21*x5*x8+48*x6*x8+1073741815*x7*x8+77*x8^2+10*x1*x9+20*x2*x9+46*x3*x9+46*x4*x9+1073741753*x5*x9+7*x6*x9+1073741795*x7*x9+1073741735*x8*x9+24*x9^2+1073741770*x1*x10+1073741811*x2*x10+84*x3*x10+1073741773*x4*x10+1073741771*x5*x10+72*x6*x10+98*x7*x10+21*x8*x10+75*x9*x10+1073741753*x10^2+47*x1+88*x2+1073741805*x3+63*x4+60*x5+96*x6+1073741753*x7+29*x8+1073741795*x9+27*x10+1073741773,
42*x1^3+1073741813*x1^2*x2+9*x1*x2^2+1073741761*x2^3+1073741813*x1^2*x3+16*x1*x2*x3+86*x2^2*x3+1073741575*x1*x3^2+297*x2*x3^2+1073741815*x3^3+10*x1^2*x4+1073741746*x1*x2*x4+1073741818*x2^2*x4+40*x1*x3*x4+64*x2*x3*x4+1073741584*x3^2*x4+30*x1*x4^2+1073741797*x2*x4^2+188*x3*x4^2+1073741779*x4^3+1073741792*x1^2*x5+20*x1*x2*x5+3*x2^2*x5+1073741769*x1*x3*x5+1073741759*x2*x3*x5+1073741638*x3^2*x5+1073741797*x1*x4*x5+85*x2*x4*x5+1073741691*x3*x4*x5+92*x4^2*x5+1073741776*x1*x5^2+97*x2*x5^2+192*x3*x5^2+47*x4*x5^2+23*x5^3+59*x1^2*x6+1073741802*x1*x2*x6+1073741800*x2^2*x6+110*x1*x3*x6+198*x2*x3*x6+1073741770*x3^2*x6+44*x1*x4*x6+89*x2*x4*x6+1073741799*x3*x4*x6+1073741821*x4^2*x6+1073741743*x1*x5*x6+9*x2*x5*x6+1073741797*x3*x5*x6+9*x4*x5*x6+99*x5^2*x6+1073741803*x1*x6^2+61*x2*x6^2+20*x3*x6^2+1073741813*x5*x6^2+1073741790*x6^3+1073741772*x1^2*x7+88*x1*x2*x7+1073741825*x2^2*x7+1073741649*x1*x3*x7+168*x2*x3*x7+66*x3^2*x7+1073741741*x1*x4*x7+1073741786*x2*x4*x7+48*x3*x4*x7+1073741736*x4^2*x7+18*x1*x5*x7+1073741728*x2*x5*x7+160*x3*x5*x7+1073741806*x4*x5*x7+1073741747*x5^2*x7+1073741730*x1*x6*x7+82*x2*x6*x7+1073741689*x3*x6*x7+1073741776*x4*x6*x7+69*x5*x6*x7+62*x6^2*x7+1073741763*x1*x7^2+1073741781*x2*x7^2+74*x3*x7^2+1073741821*x4*x7^2+1073741799*x5*x7^2+28*x6*x7^2+99*x7^3+7*x1^2*x8+70*x1*x2*x8+91*x2^2*x8+1073741647*x1*x3*x8+1073741639*x2*x3*x8+1073741680*x3^2*x8+1073741778*x1*x4*x8+1073741760*x2*x4*x8+8*x3*x4*x8+1073741772*x4^2*x8+42*x1*x5*x8+1073741738*x2*x5*x8+1073741823*x3*x5*x8+1073741737*x4*x5*x8+20*x5^2*x8+40*x1*x6*x8+1073741741*x2*x6*x8+1073741707*x3*x6*x8+1073741805*x4*x6*x8+84*x5*x6*x8+1073741737*x6^2*x8+1073741759*x1*x7*x8+1073741824*x2*x7*x8+140*x3*x7*x8+19*x4*x7*x8+1073741795*x5*x7*x8+32*x6*x7*x8+1073741774*x7^2*x8+1073741762*x1*x8^2+27*x2*x8^2+30*x3*x8^2+5*x4*x8^2+48*x5*x8^2+1073741810*x6*x8^2+99*x7*x8^2+97*x8^3+93*x1^2*x9+1073741780*x1*x2*x9+1073741816*x2^2*x9+1073741773*x1*x3*x9+1073741767*x2*x3*x9+1073741728*x3^2*x9+1073741824*x1*x4*x9+1073741731*x2*x4*x9+1073741817*x3*x4*x9+1073741789*x4^2*x9+98*x1*x5*x9+1073741778*x2*x5*x9+1073741655*x3*x5*x9+1073741811*x4*x5*x9+95*x5^2*x9+82*x1*x6*x9+56*x2*x6*x9+1073741637*x3*x6*x9+91*x4*x6*x9+25*x5*x6*x9+1073741804*x6^2*x9+20*x1*x7*x9+1073741826*x2*x7*x9+106*x3*x7*x9+41*x4*x7*x9+93*x5*x7*x9+1073741756*x6*x7*x9+11*x7^2*x9+53*x1*x8*x9+38*x2*x8*x9+1073741749*x3*x8*x9+1073741818*x4*x8*x9+1073741817*x5*x8*x9+64*x6*x8*x9+1073741765*x7*x8*x9+22*x8^2*x9+1073741785*x1*x9^2+1073741815*x2*x9^2+194*x3*x9^2+13*x4*x9^2+1073741761*x5*x9^2+77*x6*x9^2+1073741747*x7*x9^2+1073741797*x8*x9^2+15*x9^3+89*x1^2*x10+86*x1*x2*x10+1073741778*x2^2*x10+1073741703*x1*x3*x10+128*x2*x3*x10+1073741824*x3^2*x10+1073741740*x1*x4*x10+1073741728*x2*x4*x10+108*x3*x4*x10+1073741728*x4^2*x10+1073741756*x1*x5*x10+1073741762*x2*x5*x10+1073741677*x3*x5*x10+1073741779*x4*x5*x10+1073741793*x5^2*x10+65*x1*x6*x10+1073741803*x2*x6*x10+1073741709*x3*x6*x10+45*x4*x6*x10+1073741743*x5*x6*x10+1073741776*x6^2*x10+18*x1*x7*x10+1073741755*x2*x7*x10+1073741801*x3*x7*x10+42*x4*x7*x10+1073741754*x5*x7*x10+77*x6*x7*x10+1073741760*x7^2*x10+60*x1*x8*x10+71*x2*x8*x10+44*x3*x8*x10+22*x4*x8*x10+1073741753*x5*x8*x10+1073741746*x6*x8*x10+1073741820*x7*x8*x10+1073741809*x8^2*x10+51*x1*x9*x10+38*x2*x9*x10+116*x3*x9*x10+14*x4*x9*x10+28*x5*x9*x10+1073741733*x6*x9*x10+1073741785*x7*x9*x10+45*x8*x9*x10+1073741790*x9^2*x10+1073741824*x1*x10^2+7*x2*x10^2+1073741647*x3*x10^2+1073741824*x4*x10^2+1073741786*x5*x10^2+63*x6*x10^2+35*x7*x10^2+9*x8*x10^2+1073741802*x9*x10^2+1073741805*x10^3+66*x1^2+2*x1*x2+1073741770*x2^2+1073741679*x1*x3+184*x2*x3+162*x3^2+99*x1*x4+39*x2*x4+1073741635*x3*x4+1073741736*x4^2+1073741750*x1*x5+1073741790*x2*x5+1073741777*x3*x5+42*x4*x5+99*x5^2+1073741790*x1*x6+19*x2*x6+1073741639*x3*x6+33*x4*x6+80*x5*x6+37*x6^2+26*x1*x7+1073741738*x2*x7+1073741761*x3*x7+48*x4*x7+1073741818*x5*x7+67*x6*x7+1073741759*x7^2+1073741750*x1*x8+65*x2*x8+70*x3*x8+99*x4*x8+41*x6*x8+1073741776*x7*x8+12*x8^2+1073741762*x1*x9+46*x2*x9+1073741697*x3*x9+4*x4*x9+1073741812*x5*x9+57*x6*x9+55*x7*x9+1073741804*x8*x9+1073741756*x9^2+1073741770*x1*x10+84*x2*x10+1073741717*x3*x10+1073741762*x4*x10+89*x5*x10+37*x6*x10+1073741792*x7*x10+34*x8*x10+1073741748*x9*x10+1073741769*x10^2+71*x1+1073741805*x2+1073741765*x3+81*x4+1073741807*x5+27*x6+1073741752*x7+33*x8+83*x9+1073741766*x10+1073741810,
1073741791*x1^3+1073741751*x1^2*x2+3*x1*x2^2+13*x2^3+10*x1^2*x3+1073741746*x1*x2*x3+1073741818*x2^2*x3+20*x1*x3^2+32*x2*x3^2+1073741746*x3^3+176*x1^2*x4+1073741695*x1*x2*x4+1073741789*x2^2*x4+60*x1*x3*x4+1073741767*x2*x3*x4+188*x3^2*x4+1073741575*x1*x4^2+1073741644*x2*x4^2+1073741683*x3*x4^2+168*x4^3+1073741771*x1^2*x5+1073741759*x1*x2*x5+6*x2^2*x5+1073741797*x1*x3*x5+85*x2*x3*x5+1073741759*x3^2*x5+1073741777*x1*x4*x5+12*x2*x4*x5+184*x3*x4*x5+1073741584*x4^2*x5+31*x1*x5^2+37*x2*x5^2+47*x3*x5^2+158*x4*x5^2+1073741791*x5^3+16*x1^2*x6+77*x1*x2*x6+41*x2^2*x6+44*x1*x3*x6+89*x2*x3*x6+1073741813*x3^2*x6+1073741679*x1*x4*x6+1073741771*x2*x4*x6+1073741815*x3*x4*x6+1073741692*x4^2*x6+1073741774*x1*x5*x6+1073741799*x2*x5*x6+9*x3*x5*x6+102*x4*x5*x6+5*x5^2*x6+25*x1*x6^2+1073741813*x2*x6^2+1073741803*x4*x6^2+86*x5*x6^2+23*x6^3+1073741823*x1^2*x7+1073741728*x1*x2*x7+1073741812*x2^2*x7+1073741741*x1*x3*x7+1073741786*x2*x3*x7+24*x3^2*x7+1073741675*x1*x4*x7+30*x2*x4*x7+1073741645*x3*x4*x7+1073741557*x4^2*x7+84*x1*x5*x7+98*x2*x5*x7+1073741806*x3*x5*x7+110*x4*x5*x7+51*x5^2*x7+1073741813*x1*x6*x7+1073741745*x2*x6*x7+1073741776*x3*x6*x7+114*x4*x6*x7+21*x5*x6*x7+1073741826*x6^2*x7+1073741780*x1*x7^2+16*x2*x7^2+1073741821*x3*x7^2+100*x4*x7^2+1073741733*x5*x7^2+87*x6*x7^2+39*x7^3+10*x1^2*x8+63*x1*x2*x8+1073741801*x2^2*x8+1073741778*x1*x3*x8+1073741760*x2*x3*x8+4*x3^2*x8+138*x1*x4*x8+1073741747*x2*x4*x8+1073741717*x3*x4*x8+1073741596*x4^2*x8+37*x1*x5*x8+33*x2*x5*x8+1073741737*x3*x5*x8+1073741669*x4*x5*x8+22*x5^2*x8+1073741740*x1*x6*x8+67*x2*x6*x8+1073741805*x3*x6*x8+1073741773*x4*x6*x8+66*x5*x6*x8+1073741733*x6^2*x8+10*x1*x7*x8+59*x2*x7*x8+19*x3*x7*x8+1073741811*x4*x7*x8+1073741791*x5*x7*x8+69*x6*x7*x8+57*x7^2*x8+97*x1*x8^2+1073741774*x2*x8^2+5*x3*x8^2+1073741751*x4*x8^2+15*x5*x8^2+90*x6*x8^2+81*x7*x8^2+94*x8^3+95*x1^2*x9+13*x1*x2*x9+5*x2^2*x9+1073741824*x1*x3*x9+1073741731*x2*x3*x9+1073741822*x3^2*x9+76*x1*x4*x9+80*x2*x4*x9+1073741751*x3*x4*x9+279*x4^2*x9+22*x1*x5*x9+2*x2*x5*x9+1073741811*x3*x5*x9+180*x4*x5*x9+1073741810*x5^2*x9+1073741739*x1*x6*x9+82*x2*x6*x9+91*x3*x6*x9+172*x4*x6*x9+1073741806*x5*x6*x9+1073741751*x6^2*x9+3*x1*x7*x9+25*x2*x7*x9+41*x3*x7*x9+48*x4*x7*x9+29*x5*x7*x9+1073741824*x6*x7*x9+66*x7^2*x9+42*x1*x8*x9+77*x2*x8*x9+1073741818*x3*x8*x9+192*x4*x8*x9+1073741749*x5*x8*x9+1073741795*x6*x8*x9+27*x7*x8*x9+1073741760*x8^2*x9+1073741745*x1*x9^2+1073741729*x2*x9^2+13*x3*x9^2+1073741687*x4*x9^2+14*x5*x9^2+1073741762*x6*x9^2+45*x7*x9^2+1073741755*x8*x9^2+1073741767*x9^3+25*x1^2*x10+1073741817*x1*x2*x10+3*x2^2*x10+1073741740*x1*x3*x10+1073741728*x2*x3*x10+54*x3^2*x10+146*x1*x4*x10+154*x2*x4*x10+1073741629*x3*x4*x10+1073741560*x4^2*x10+60*x1*x5*x10+65*x2*x5*x10+1073741779*x3*x5*x10+74*x4*x5*x10+4*x5^2*x10+11*x1*x6*x10+10*x2*x6*x10+45*x3*x6*x10+56*x4*x6*x10+53*x5*x6*x10+1073741817*x6^2*x10+19*x1*x7*x10+76*x2*x7*x10+42*x3*x7*x10+1073741725*x4*x7*x10+1073741821*x5*x7*x10+58*x6*x7*x10+99*x7^2*x10+1073741783*x1*x8*x10+1073741734*x2*x8*x10+22*x3*x8*x10+98*x4*x8*x10+98*x5*x8*x10+1073741788*x6*x8*x10+39*x7*x8*x10+1073741790*x8^2*x10+1073741771*x1*x9*x10+53*x2*x9*x10+14*x3*x9*x10+1073741785*x4*x9*x10+34*x5*x9*x10+1073741813*x6*x9*x10+1073741774*x7*x9*x10+23*x8*x9*x10+77*x9^2*x10+26*x1*x10^2+7*x2*x10^2+1073741824*x3*x10^2+1073741761*x4*x10^2+26*x5*x10^2+1073741752*x6*x10^2+1073741819*x7*x10^2+1073741756*x8*x10^2+65*x9*x10^2+79*x10^3+1073741752*x1^2+1073741763*x1*x2+1073741778*x2^2+99*x1*x3+39*x2*x3+1073741731*x3^2+1073741735*x1*x4+1073741665*x2*x4+1073741645*x3*x4+156*x4^2+68*x1*x5+23*x2*x5+42*x3*x5+98*x4*x5+1073741773*x5^2+1073741769*x1*x6+54*x2*x6+33*x3*x6+20*x4*x6+1073741762*x5*x6+1073741728*x6^2+88*x1*x7+1073741774*x2*x7+48*x3*x7+56*x4*x7+49*x5*x7+1073741731*x6*x7+1073741732*x7^2+1073741790*x1*x8+47*x2*x8+99*x3*x8+1073741753*x4*x8+1073741729*x5*x8+41*x6*x8+1073741741*x7*x8+1073741804*x8^2+35*x1*x9+46*x2*x9+4*x3*x9+1073741785*x4*x9+1073741769*x5*x9+1073741806*x6*x9+31*x7*x9+1073741740*x8*x9+50*x9^2+1073741758*x1*x10+1073741773*x2*x10+1073741762*x3*x10+1073741817*x4*x10+1073741808*x5*x10+1073741761*x6*x10+87*x7*x10+51*x8*x10+79*x9*x10+34*x10^2+22*x1+63*x2+81*x3+176*x4+1073741795*x5+1073741752*x6+27*x7+75*x8+1073741763*x9+20*x10+1073741733,
63*x1^3+61*x1^2*x2+2*x1*x2^2+80*x2^3+1073741792*x1^2*x3+20*x1*x2*x3+3*x2^2*x3+1073741798*x1*x3^2+1073741793*x2*x3^2+1073741764*x3^3+1073741771*x1^2*x4+1073741759*x1*x2*x4+6*x2^2*x4+1073741797*x1*x3*x4+85*x2*x3*x4+1073741759*x3^2*x4+1073741802*x1*x4^2+6*x2*x4^2+92*x3*x4^2+1073741746*x4^3+150*x1^2*x5+120*x1*x2*x5+166*x2^2*x5+1073741725*x1*x3*x5+194*x2*x3*x5+192*x3^2*x5+62*x1*x4*x5+74*x2*x4*x5+94*x3*x4*x5+158*x4^2*x5+1073741578*x1*x5^2+156*x2*x5^2+69*x3*x5^2+1073741719*x4*x5^2+156*x5^3+90*x1^2*x6+81*x1*x2*x6+1073741794*x2^2*x6+1073741743*x1*x3*x6+9*x2*x3*x6+1073741812*x3^2*x6+1073741774*x1*x4*x6+1073741799*x2*x4*x6+9*x3*x4*x6+51*x4^2*x6+114*x1*x5*x6+1073741755*x2*x5*x6+198*x3*x5*x6+10*x4*x5*x6+9*x5^2*x6+85*x1*x6^2+1073741759*x2*x6^2+1073741813*x3*x6^2+86*x4*x6^2+1073741807*x5*x6^2+49*x6^3+12*x1^2*x7+1073741746*x1*x2*x7+1073741763*x2^2*x7+18*x1*x3*x7+1073741728*x2*x3*x7+80*x3^2*x7+84*x1*x4*x7+98*x2*x4*x7+1073741806*x3*x4*x7+55*x4^2*x7+36*x1*x5*x7+1073741713*x2*x5*x7+1073741667*x3*x5*x7+102*x4*x5*x7+1073741602*x5^2*x7+1073741782*x1*x6*x7+1073741813*x2*x6*x7+69*x3*x6*x7+21*x4*x6*x7+94*x5*x6*x7+1073741796*x6^2*x7+1073741780*x1*x7^2+58*x2*x7^2+1073741799*x3*x7^2+1073741733*x4*x7^2+1073741693*x5*x7^2+1073741812*x6*x7^2+75*x7^3+1073741743*x1^2*x8+1073741783*x1*x2*x8+6*x2^2*x8+42*x1*x3*x8+1073741738*x2*x3*x8+1073741825*x3^2*x8+37*x1*x4*x8+33*x2*x4*x8+1073741737*x3*x4*x8+1073741748*x4^2*x8+1073741651*x1*x5*x8+1073741801*x2*x5*x8+40*x3*x5*x8+44*x4*x5*x8+1073741710*x5^2*x8+95*x1*x6*x8+1073741804*x2*x6*x8+84*x3*x6*x8+66*x4*x6*x8+1073741671*x5*x6*x8+1073741738*x6^2*x8+51*x1*x7*x8+45*x2*x7*x8+1073741795*x3*x7*x8+1073741791*x4*x7*x8+112*x5*x7*x8+30*x6*x7*x8+53*x7^2*x8+82*x1*x8^2+1073741747*x2*x8^2+48*x3*x8^2+15*x4*x8^2+1073741803*x5*x8^2+72*x6*x8^2+20*x7*x8^2+96*x1^2*x9+22*x1*x2*x9+76*x2^2*x9+98*x1*x3*x9+1073741778*x2*x3*x9+1073741741*x3^2*x9+22*x1*x4*x9+2*x2*x4*x9+1073741811*x3*x4*x9+90*x4^2*x9+22*x1*x5*x9+86*x2*x5*x9+190*x3*x5*x9+1073741793*x4*x5*x9+1073741707*x5^2*x9+1073741738*x1*x6*x9+51*x2*x6*x9+25*x3*x6*x9+1073741806*x4*x6*x9+1073741807*x5*x6*x9+4*x6^2*x9+97*x1*x7*x9+99*x2*x7*x9+93*x3*x7*x9+29*x4*x7*x9+1073741681*x5*x7*x9+1073741770*x6*x7*x9+1073741818*x7^2*x9+22*x1*x8*x9+55*x2*x8*x9+1073741817*x3*x8*x9+1073741749*x4*x8*x9+188*x5*x8*x9+30*x6*x8*x9+99*x7*x8*x9+1073741745*x8^2*x9+78*x1*x9^2+1073741779*x2*x9^2+1073741761*x3*x9^2+14*x4*x9^2+92*x5*x9^2+81*x6*x9^2+1073741742*x7*x9^2+3*x8*x9^2+59*x9^3+22*x1^2*x10+1073741735*x1*x2*x10+1073741735*x2^2*x10+1073741756*x1*x3*x10+1073741762*x2*x3*x10+1073741752*x3^2*x10+60*x1*x4*x10+65*x2*x4*x10+1073741779*x3*x4*x10+37*x4^2*x10+100*x1*x5*x10+92*x2*x5*x10+1073741759*x3*x5*x10+8*x4*x5*x10+1073741578*x5^2*x10+63*x1*x6*x10+19*x2*x6*x10+1073741743*x3*x6*x10+53*x4*x6*x10+192*x5*x6*x10+19*x6^2*x10+1073741748*x1*x7*x10+92*x2*x7*x10+1073741754*x3*x7*x10+1073741821*x4*x7*x10+1073741717*x5*x7*x10+50*x6*x7*x10+1073741728*x7^2*x10+1073741780*x1*x8*x10+32*x2*x8*x10+1073741753*x3*x8*x10+98*x4*x8*x10+1073741629*x5*x8*x10+1073741732*x6*x8*x10+1073741821*x7*x8*x10+1073741805*x8^2*x10+40*x1*x9*x10+1073741805*x2*x9*x10+28*x3*x9*x10+34*x4*x9*x10+82*x5*x9*x10+1073741760*x6*x9*x10+22*x7*x9*x10+1073741744*x8*x9*x10+1073741826*x9^2*x10+82*x1*x10^2+36*x2*x10^2+1073741786*x3*x10^2+26*x4*x10^2+1073741713*x5*x10^2+5*x6*x10^2+1073741753*x7*x10^2+1073741746*x8*x10^2+2*x9*x10^2+76*x10^3+54*x1^2+67*x1*x2+1073741799*x2^2+1073741750*x1*x3+1073741790*x2*x3+1073741802*x3^2+68*x1*x4+23*x2*x4+42*x3*x4+49*x4^2+1073741633*x1*x5+20*x2*x5+198*x3*x5+1073741719*x4*x5+1073741704*x5^2+1073741815*x1*x6+18*x2*x6+80*x3*x6+1073741762*x4*x6+6*x5*x6+1073741768*x6^2+1073741734*x1*x7+91*x2*x7+1073741818*x3*x7+49*x4*x7+52*x5*x7+62*x6*x7+12*x7^2+71*x1*x8+21*x2*x8+1073741729*x4*x8+17*x6*x8+1073741757*x7*x8+1073741767*x8^2+1073741766*x1*x9+1073741753*x2*x9+1073741812*x3*x9+1073741769*x4*x9+190*x5*x9+1073741755*x6*x9+1073741769*x7*x9+1073741743*x8*x9+63*x9^2+1073741762*x1*x10+1073741771*x2*x10+89*x3*x10+1073741808*x4*x10+12*x5*x10+1073741812*x6*x10+1073741742*x7*x10+25*x8*x10+1073741773*x9*x10+58*x10^2+35*x1+60*x2+1073741807*x3+1073741795*x4+1073741727*x5+1073741824*x6+40*x7+3*x8+1073741790*x9+2*x10+1073741738,
95*x1^3+8*x1^2*x2+1073741826*x1*x2^2+1073741728*x2^3+59*x1^2*x3+1073741802*x1*x2*x3+1073741800*x2^2*x3+55*x1*x3^2+99*x2*x3^2+1073741808*x3^3+16*x1^2*x4+77*x1*x2*x4+41*x2^2*x4+44*x1*x3*x4+89*x2*x3*x4+1073741813*x3^2*x4+1073741753*x1*x4^2+1073741799*x2*x4^2+1073741821*x3*x4^2+1073741782*x4^3+90*x1^2*x5+81*x1*x2*x5+1073741794*x2^2*x5+1073741743*x1*x3*x5+9*x2*x3*x5+1073741812*x3^2*x5+1073741774*x1*x4*x5+1073741799*x2*x4*x5+9*x3*x4*x5+51*x4^2*x5+57*x1*x5^2+1073741791*x2*x5^2+99*x3*x5^2+5*x4*x5^2+3*x5^3+1073741727*x1^2*x6+1073741651*x1*x2*x6+1073741751*x2^2*x6+1073741779*x1*x3*x6+122*x2*x3*x6+20*x3^2*x6+50*x1*x4*x6+1073741799*x2*x4*x6+1073741803*x4^2*x6+170*x1*x5*x6+1073741691*x2*x5*x6+1073741799*x3*x5*x6+172*x4*x5*x6+1073741807*x5^2*x6+153*x1*x6^2+1073741611*x2*x6^2+1073741716*x3*x6^2+69*x4*x6^2+147*x5*x6^2+220*x6^3+1073741762*x1^2*x7+94*x1*x2*x7+96*x2^2*x7+1073741730*x1*x3*x7+82*x2*x3*x7+1073741758*x3^2*x7+1073741813*x1*x4*x7+1073741745*x2*x4*x7+1073741776*x3*x4*x7+57*x4^2*x7+1073741782*x1*x5*x7+1073741813*x2*x5*x7+69*x3*x5*x7+21*x4*x5*x7+47*x5^2*x7+182*x1*x6*x7+1073741673*x2*x6*x7+124*x3*x6*x7+1073741825*x4*x6*x7+1073741765*x5*x6*x7+1073741566*x6^2*x7+1073741754*x1*x7^2+4*x2*x7^2+28*x3*x7^2+87*x4*x7^2+1073741812*x5*x7^2+154*x6*x7^2+47*x7^3+1073741765*x1^2*x8+1073741823*x1*x2*x8+1073741776*x2^2*x8+40*x1*x3*x8+1073741741*x2*x3*x8+1073741767*x3^2*x8+1073741740*x1*x4*x8+67*x2*x4*x8+1073741805*x3*x4*x8+1073741800*x4^2*x8+95*x1*x5*x8+1073741804*x2*x5*x8+84*x3*x5*x8+66*x4*x5*x8+1073741749*x5^2*x8+1073741725*x1*x6*x8+180*x2*x6*x8+1073741647*x3*x6*x8+1073741639*x4*x6*x8+1073741649*x5*x6*x8+1073741584*x6^2*x8+1073741751*x1*x7*x8+8*x2*x7*x8+32*x3*x7*x8+69*x4*x7*x8+30*x5*x7*x8+1073741813*x6*x7*x8+1073741820*x7^2*x8+14*x1*x8^2+1073741806*x2*x8^2+1073741810*x3*x8^2+90*x4*x8^2+72*x5*x8^2+1073741735*x6*x8^2+26*x7*x8^2+46*x8^3+1073741790*x1^2*x9+1073741769*x1*x2*x9+56*x2^2*x9+82*x1*x3*x9+56*x2*x3*x9+1073741732*x3^2*x9+1073741739*x1*x4*x9+82*x2*x4*x9+91*x3*x4*x9+86*x4^2*x9+1073741738*x1*x5*x9+51*x2*x5*x9+25*x3*x5*x9+1073741806*x4*x5*x9+1073741817*x5^2*x9+24*x1*x6*x9+142*x2*x6*x9+1073741781*x3*x6*x9+1073741675*x4*x6*x9+8*x5*x6*x9+1073741662*x6^2*x9+1073741736*x1*x7*x9+1073741735*x2*x7*x9+1073741756*x3*x7*x9+1073741824*x4*x7*x9+1073741770*x5*x7*x9+1073741735*x6*x7*x9+1073741746*x7^2*x9+35*x1*x8*x9+1073741756*x2*x8*x9+64*x3*x8*x9+1073741795*x4*x8*x9+30*x5*x8*x9+170*x6*x8*x9+59*x7*x8*x9+1073741813*x8^2*x9+55*x1*x9^2+94*x2*x9^2+77*x3*x9^2+1073741762*x4*x9^2+81*x5*x9^2+174*x6*x9^2+68*x7*x9^2+1073741742*x8*x9^2+1073741794*x9^3+1073741777*x1^2*x10+1073741778*x1*x2*x10+68*x2^2*x10+65*x1*x3*x10+1073741803*x2*x3*x10+1073741768*x3^2*x10+11*x1*x4*x10+10*x2*x4*x10+45*x3*x4*x10+28*x4^2*x10+63*x1*x5*x10+19*x2*x5*x10+1073741743*x3*x5*x10+53*x4*x5*x10+96*x5^2*x10+124*x1*x6*x10+1073741787*x2*x6*x10+1073741725*x3*x6*x10+1073741807*x4*x6*x10+38*x5*x6*x10+1073741707*x6^2*x10+36*x1*x7*x10+1073741732*x2*x7*x10+77*x3*x7*x10+58*x4*x7*x10+50*x5*x7*x10+1073741735*x6*x7*x10+39*x7^2*x10+79*x1*x8*x10+56*x2*x8*x10+1073741746*x3*x8*x10+1073741788*x4*x8*x10+1073741732*x5*x8*x10+78*x6*x8*x10+35*x7*x8*x10+90*x8^2*x10+1073741800*x1*x9*x10+1073741729*x2*x9*x10+1073741733*x3*x9*x10+1073741813*x4*x9*x10+1073741760*x5*x9*x10+136*x6*x9*x10+1073741753*x7*x9*x10+60*x8*x9*x10+50*x9^2*x10+61*x1*x10^2+1073741794*x2*x10^2+63*x3*x10^2+1073741752*x4*x10^2+5*x5*x10^2+1073741651*x6*x10^2+24*x7*x10^2+92*x8*x10^2+1073741825*x9*x10^2+84*x10^3+1073741732*x1^2+85*x1*x2+1073741735*x2^2+1073741790*x1*x3+19*x2*x3+1073741733*x3^2+1073741769*x1*x4+54*x2*x4+33*x3*x4+10*x4^2+1073741815*x1*x5+18*x2*x5+80*x3*x5+1073741762*x4*x5+3*x5^2+96*x1*x6+168*x2*x6+74*x3*x6+1073741629*x4*x6+1073741709*x5*x6+1073741719*x6^2+15*x1*x7+52*x2*x7+67*x3*x7+1073741731*x4*x7+62*x5*x7+136*x6*x7+58*x7^2+57*x1*x8+48*x2*x8+41*x3*x8+41*x4*x8+17*x5*x8+1073741679*x6*x8+1073741826*x7*x8+77*x8^2+43*x1*x9+7*x2*x9+57*x3*x9+1073741806*x4*x9+1073741755*x5*x9+1073741651*x6*x9+66*x8*x9+1073741826*x9^2+1073741809*x1*x10+72*x2*x10+37*x3*x10+1073741761*x4*x10+1073741812*x5*x10+1073741653*x6*x10+1073741771*x7*x10+1073741781*x8*x10+73*x9*x10+22*x10^2+74*x1+96*x2+27*x3+1073741752*x4+1073741824*x5+1073741683*x6+27*x7+73*x8+58*x9+51*x10+82,
83*x1^3+52*x1^2*x2+1073741776*x1*x2^2+1073741784*x2^3+1073741772*x1^2*x3+88*x1*x2*x3+1073741825*x2^2*x3+1073741738*x1*x3^2+84*x2*x3^2+22*x3^3+1073741823*x1^2*x4+1073741728*x1*x2*x4+1073741812*x2^2*x4+1073741741*x1*x3*x4+1073741786*x2*x3*x4+24*x3^2*x4+1073741751*x1*x4^2+15*x2*x4^2+1073741736*x3*x4^2+1073741737*x4^3+12*x1^2*x5+1073741746*x1*x2*x5+1073741763*x2^2*x5+18*x1*x3*x5+1073741728*x2*x3*x5+80*x3^2*x5+84*x1*x4*x5+98*x2*x4*x5+1073741806*x3*x4*x5+55*x4^2*x5+18*x1*x5^2+1073741770*x2*x5^2+1073741747*x3*x5^2+51*x4*x5^2+1073741752*x5^3+1073741762*x1^2*x6+94*x1*x2*x6+96*x2^2*x6+1073741730*x1*x3*x6+82*x2*x3*x6+1073741758*x3^2*x6+1073741813*x1*x4*x6+1073741745*x2*x4*x6+1073741776*x3*x4*x6+57*x4^2*x6+1073741782*x1*x5*x6+1073741813*x2*x5*x6+69*x3*x5*x6+21*x4*x5*x6+47*x5^2*x6+91*x1*x6^2+1073741750*x2*x6^2+62*x3*x6^2+1073741826*x4*x6^2+1073741796*x5*x6^2+1073741740*x6^3+164*x1^2*x7+140*x1*x2*x7+1073741641*x2^2*x7+1073741699*x1*x3*x7+1073741735*x2*x3*x7+74*x3^2*x7+1073741733*x1*x4*x7+32*x2*x4*x7+1073741815*x3*x4*x7+100*x4^2*x7+1073741733*x1*x5*x7+116*x2*x5*x7+1073741771*x3*x5*x7+1073741639*x4*x5*x7+1073741693*x5^2*x7+1073741681*x1*x6*x7+8*x2*x6*x7+56*x3*x6*x7+174*x4*x6*x7+1073741797*x5*x6*x7+154*x6^2*x7+1073741635*x1*x7^2+141*x2*x7^2+297*x3*x7^2+117*x4*x7^2+225*x5*x7^2+141*x6*x7^2+1073741615*x7^3+25*x1^2*x8+1073741775*x1*x2*x8+1073741768*x2^2*x8+1073741759*x1*x3*x8+1073741824*x2*x3*x8+70*x3^2*x8+10*x1*x4*x8+59*x2*x4*x8+19*x3*x4*x8+1073741819*x4^2*x8+51*x1*x5*x8+45*x2*x5*x8+1073741795*x3*x5*x8+1073741791*x4*x5*x8+56*x5^2*x8+1073741751*x1*x6*x8+8*x2*x6*x8+32*x3*x6*x8+69*x4*x6*x8+30*x5*x6*x8+1073741820*x6^2*x8+22*x1*x7*x8+142*x2*x7*x8+1073741721*x3*x7*x8+114*x4*x7*x8+106*x5*x7*x8+1073741813*x6*x7*x8+42*x7^2*x8+44*x1*x8^2+1073741737*x2*x8^2+99*x3*x8^2+81*x4*x8^2+20*x5*x8^2+26*x6*x8^2+50*x7*x8^2+41*x8^3+46*x1^2*x9+1073741805*x1*x2*x9+1073741765*x2^2*x9+20*x1*x3*x9+1073741826*x2*x3*x9+53*x3^2*x9+3*x1*x4*x9+25*x2*x4*x9+41*x3*x4*x9+24*x4^2*x9+97*x1*x5*x9+99*x2*x5*x9+93*x3*x5*x9+29*x4*x5*x9+1073741754*x5^2*x9+1073741736*x1*x6*x9+1073741735*x2*x6*x9+1073741756*x3*x6*x9+1073741824*x4*x6*x9+1073741770*x5*x6*x9+1073741781*x6^2*x9+1073741821*x1*x7*x9+150*x2*x7*x9+22*x3*x7*x9+132*x4*x7*x9+1073741809*x5*x7*x9+1073741665*x6*x7*x9+255*x7^2*x9+87*x1*x8*x9+1073741764*x2*x8*x9+1073741765*x3*x8*x9+27*x4*x8*x9+99*x5*x8*x9+59*x6*x8*x9+50*x7*x8*x9+1073741811*x8^2*x9+1073741775*x1*x9^2+1073741797*x2*x9^2+1073741747*x3*x9^2+45*x4*x9^2+1073741742*x5*x9^2+68*x6*x9^2+1073741809*x7*x9^2+1073741764*x8*x9^2+43*x9^3+1073741729*x1^2*x10+1073741731*x1*x2*x10+80*x2^2*x10+18*x1*x3*x10+1073741755*x2*x3*x10+1073741814*x3^2*x10+19*x1*x4*x10+76*x2*x4*x10+42*x3*x4*x10+1073741776*x4^2*x10+1073741748*x1*x5*x10+92*x2*x5*x10+1073741754*x3*x5*x10+1073741821*x4*x5*x10+1073741772*x5^2*x10+36*x1*x6*x10+1073741732*x2*x6*x10+77*x3*x6*x10+58*x4*x6*x10+50*x5*x6*x10+1073741781*x6^2*x10+74*x1*x7*x10+1073741663*x2*x7*x10+1073741693*x3*x7*x10+198*x4*x7*x10+1073741629*x5*x7*x10+78*x6*x7*x10+18*x7^2*x10+76*x1*x8*x10+1073741780*x2*x8*x10+1073741820*x3*x8*x10+39*x4*x8*x10+1073741821*x5*x8*x10+35*x6*x8*x10+190*x7*x8*x10+86*x8^2*x10+46*x1*x9*x10+13*x2*x9*x10+1073741785*x3*x9*x10+1073741774*x4*x9*x10+22*x5*x9*x10+1073741753*x6*x9*x10+1073741791*x7*x9*x10+1073741764*x8*x9*x10+59*x9^2*x10+1073741815*x1*x10^2+97*x2*x10^2+35*x3*x10^2+1073741819*x4*x10^2+1073741753*x5*x10^2+24*x6*x10^2+74*x7*x10^2+48*x8*x10^2+70*x10^3+1073741816*x1^2+9*x1*x2+12*x2^2+26*x1*x3+1073741738*x2*x3+1073741794*x3^2+88*x1*x4+1073741774*x2*x4+48*x3*x4+28*x4^2+1073741734*x1*x5+91*x2*x5+1073741818*x3*x5+49*x4*x5+26*x5^2+15*x1*x6+52*x2*x6+67*x3*x6+1073741731*x4*x6+62*x5*x6+68*x6^2+24*x1*x7+20*x2*x7+1073741691*x3*x7+1073741637*x4*x7+24*x5*x7+116*x6*x7+1073741779*x7^2+1073741748*x1*x8+1073741815*x2*x8+1073741776*x3*x8+1073741741*x4*x8+1073741757*x5*x8+1073741826*x6*x8+1073741795*x7*x8+1073741811*x8^2+1073741740*x1*x9+1073741795*x2*x9+55*x3*x9+31*x4*x9+1073741769*x5*x9+4*x7*x9+1073741779*x8*x9+16*x9^2+1073741772*x1*x10+98*x2*x10+1073741792*x3*x10+87*x4*x10+1073741742*x5*x10+1073741771*x6*x10+194*x7*x10+92*x8*x10+1073741752*x9*x10+1073741765*x10^2+44*x1+1073741753*x2+1073741752*x3+27*x4+40*x5+27*x6+80*x7+83*x8+77*x9+1073741774*x10+34,
69*x1^3+1073741745*x1^2*x2+93*x1*x2^2+1073741742*x2^3+7*x1^2*x3+70*x1*x2*x3+91*x2^2*x3+1073741737*x1*x3^2+1073741733*x2*x3^2+1073741778*x3^3+10*x1^2*x4+63*x1*x2*x4+1073741801*x2^2*x4+1073741778*x1*x3*x4+1073741760*x2*x3*x4+4*x3^2*x4+69*x1*x4^2+1073741787*x2*x4^2+1073741772*x3*x4^2+1073741750*x4^3+1073741743*x1^2*x5+1073741783*x1*x2*x5+6*x2^2*x5+42*x1*x3*x5+1073741738*x2*x3*x5+1073741825*x3^2*x5+37*x1*x4*x5+33*x2*x4*x5+1073741737*x3*x4*x5+1073741748*x4^2*x5+1073741739*x1*x5^2+1073741814*x2*x5^2+20*x3*x5^2+22*x4*x5^2+1073741788*x5^3+1073741765*x1^2*x6+1073741823*x1*x2*x6+1073741776*x2^2*x6+40*x1*x3*x6+1073741741*x2*x3*x6+1073741767*x3^2*x6+1073741740*x1*x4*x6+67*x2*x4*x6+1073741805*x3*x4*x6+1073741800*x4^2*x6+95*x1*x5*x6+1073741804*x2*x5*x6+84*x3*x5*x6+66*x4*x5*x6+1073741749*x5^2*x6+1073741776*x1*x6^2+90*x2*x6^2+1073741737*x3*x6^2+1073741733*x4*x6^2+1073741738*x5*x6^2+1073741746*x6^3+25*x1^2*x7+1073741775*x1*x2*x7+1073741768*x2^2*x7+1073741759*x1*x3*x7+1073741824*x2*x3*x7+70*x3^2*x7+10*x1*x4*x7+59*x2*x4*x7+19*x3*x4*x7+1073741819*x4^2*x7+51*x1*x5*x7+45*x2*x5*x7+1073741795*x3*x5*x7+1073741791*x4*x5*x7+56*x5^2*x7+1073741751*x1*x6*x7+8*x2*x6*x7+32*x3*x6*x7+69*x4*x6*x7+30*x5*x6*x7+1073741820*x6^2*x7+11*x1*x7^2+71*x2*x7^2+1073741774*x3*x7^2+57*x4*x7^2+53*x5*x7^2+1073741820*x6*x7^2+14*x7^3+1073741819*x1^2*x8+186*x1*x2*x8+28*x2^2*x8+1073741697*x1*x3*x8+54*x2*x3*x8+30*x3^2*x8+194*x1*x4*x8+1073741721*x2*x4*x8+10*x3*x4*x8+1073741751*x4^2*x8+164*x1*x5*x8+1073741667*x2*x5*x8+96*x3*x5*x8+30*x4*x5*x8+1073741803*x5^2*x8+28*x1*x6*x8+1073741785*x2*x6*x8+1073741793*x3*x6*x8+180*x4*x6*x8+144*x5*x6*x8+1073741735*x6^2*x8+88*x1*x7*x8+1073741647*x2*x7*x8+198*x3*x7*x8+162*x4*x7*x8+40*x5*x7*x8+52*x6*x7*x8+50*x7^2*x8+1073741581*x1*x8^2+1073741815*x2*x8^2+291*x3*x8^2+282*x4*x8^2+138*x6*x8^2+123*x7*x8^2+132*x8^3+1073741753*x1^2*x9+81*x1*x2*x9+1073741753*x2^2*x9+53*x1*x3*x9+38*x2*x3*x9+1073741788*x3^2*x9+42*x1*x4*x9+77*x2*x4*x9+1073741818*x3*x4*x9+96*x4^2*x9+22*x1*x5*x9+55*x2*x5*x9+1073741817*x3*x5*x9+1073741749*x4*x5*x9+94*x5^2*x9+35*x1*x6*x9+1073741756*x2*x6*x9+64*x3*x6*x9+1073741795*x4*x6*x9+30*x5*x6*x9+85*x6^2*x9+87*x1*x7*x9+1073741764*x2*x7*x9+1073741765*x3*x7*x9+27*x4*x7*x9+99*x5*x7*x9+59*x6*x7*x9+25*x7^2*x9+10*x1*x8*x9+22*x2*x8*x9+44*x3*x8*x9+1073741693*x4*x8*x9+1073741663*x5*x8*x9+1073741799*x6*x8*x9+1073741795*x7*x8*x9+1073741713*x8^2*x9+1073741732*x1*x9^2+1073741807*x2*x9^2+1073741797*x3*x9^2+1073741755*x4*x9^2+3*x5*x9^2+1073741742*x6*x9^2+1073741764*x7*x9^2+14*x8*x9^2+2*x9^3+68*x1^2*x10+16*x1*x2*x10+1073741808*x2^2*x10+60*x1*x3*x10+71*x2*x3*x10+22*x3^2*x10+1073741783*x1*x4*x10+1073741734*x2*x4*x10+22*x3*x4*x10+49*x4^2*x10+1073741780*x1*x5*x10+32*x2*x5*x10+1073741753*x3*x5*x10+98*x4*x5*x10+1073741728*x5^2*x10+79*x1*x6*x10+56*x2*x6*x10+1073741746*x3*x6*x10+1073741788*x4*x6*x10+1073741732*x5*x6*x10+39*x6^2*x10+76*x1*x7*x10+1073741780*x2*x7*x10+1073741820*x3*x7*x10+39*x4*x7*x10+1073741821*x5*x7*x10+35*x6*x7*x10+95*x7^2*x10+74*x1*x8*x10+180*x2*x8*x10+1073741791*x3*x8*x10+1073741753*x4*x8*x10+1073741783*x5*x8*x10+180*x6*x8*x10+172*x7*x8*x10+222*x8^2*x10+x1*x9*x10+25*x2*x9*x10+45*x3*x9*x10+23*x4*x9*x10+1073741744*x5*x9*x10+60*x6*x9*x10+1073741764*x7*x9*x10+1073741741*x8*x9*x10+78*x9^2*x10+1073741759*x1*x10^2+1073741803*x2*x10^2+9*x3*x10^2+1073741756*x4*x10^2+1073741746*x5*x10^2+92*x6*x10^2+48*x7*x10^2+1073741677*x8*x10^2+46*x9*x10^2+65*x10^3+66*x1^2+86*x1*x2+1073741748*x2^2+1073741750*x1*x3+65*x2*x3+35*x3^2+1073741790*x1*x4+47*x2*x4+99*x3*x4+1073741790*x4^2+71*x1*x5+21*x2*x5+1073741729*x4*x5+57*x1*x6+48*x2*x6+41*x3*x6+41*x4*x6+17*x5*x6+1073741753*x6^2+1073741748*x1*x7+1073741815*x2*x7+1073741776*x3*x7+1073741741*x4*x7+1073741757*x5*x7+1073741826*x6*x7+1073741811*x7^2+1073741787*x1*x8+154*x2*x8+24*x3*x8+1073741781*x4*x8+1073741707*x5*x8+154*x6*x8+1073741795*x7*x8+135*x8^2+1073741804*x1*x9+1073741735*x2*x9+1073741804*x3*x9+1073741740*x4*x9+1073741743*x5*x9+66*x6*x9+1073741779*x7*x9+50*x8*x9+97*x9^2+97*x1*x10+21*x2*x10+34*x3*x10+51*x4*x10+25*x5*x10+1073741781*x6*x10+92*x7*x10+1073741751*x8*x10+1073741740*x9*x10+93*x10^2+1073741811*x1+29*x2+33*x3+75*x4+3*x5+73*x6+83*x7+1073741809*x8+46*x9+1073741790*x10+1073741808,
67*x1^3+1073741743*x1^2*x2+1073741740*x1*x2^2+1073741789*x2^3+93*x1^2*x3+1073741780*x1*x2*x3+1073741816*x2^2*x3+1073741800*x1*x3^2+1073741797*x2*x3^2+1073741794*x3^3+95*x1^2*x4+13*x1*x2*x4+5*x2^2*x4+1073741824*x1*x3*x4+1073741731*x2*x3*x4+1073741822*x3^2*x4+38*x1*x4^2+40*x2*x4^2+1073741789*x3*x4^2+93*x4^3+96*x1^2*x5+22*x1*x2*x5+76*x2^2*x5+98*x1*x3*x5+1073741778*x2*x3*x5+1073741741*x3^2*x5+22*x1*x4*x5+2*x2*x4*x5+1073741811*x3*x4*x5+90*x4^2*x5+11*x1*x5^2+43*x2*x5^2+95*x3*x5^2+1073741810*x4*x5^2+1073741787*x5^3+1073741790*x1^2*x6+1073741769*x1*x2*x6+56*x2^2*x6+82*x1*x3*x6+56*x2*x3*x6+1073741732*x3^2*x6+1073741739*x1*x4*x6+82*x2*x4*x6+91*x3*x4*x6+86*x4^2*x6+1073741738*x1*x5*x6+51*x2*x5*x6+25*x3*x5*x6+1073741806*x4*x5*x6+1073741817*x5^2*x6+12*x1*x6^2+71*x2*x6^2+1073741804*x3*x6^2+1073741751*x4*x6^2+4*x5*x6^2+1073741772*x6^3+46*x1^2*x7+1073741805*x1*x2*x7+1073741765*x2^2*x7+20*x1*x3*x7+1073741826*x2*x3*x7+53*x3^2*x7+3*x1*x4*x7+25*x2*x4*x7+41*x3*x4*x7+24*x4^2*x7+97*x1*x5*x7+99*x2*x5*x7+93*x3*x5*x7+29*x4*x5*x7+1073741754*x5^2*x7+1073741736*x1*x6*x7+1073741735*x2*x6*x7+1073741756*x3*x6*x7+1073741824*x4*x6*x7+1073741770*x5*x6*x7+1073741781*x6^2*x7+1073741824*x1*x7^2+75*x2*x7^2+11*x3*x7^2+66*x4*x7^2+1073741818*x5*x7^2+1073741746*x6*x7^2+85*x7^3+1073741753*x1^2*x8+81*x1*x2*x8+1073741753*x2^2*x8+53*x1*x3*x8+38*x2*x3*x8+1073741788*x3^2*x8+42*x1*x4*x8+77*x2*x4*x8+1073741818*x3*x4*x8+96*x4^2*x8+22*x1*x5*x8+55*x2*x5*x8+1073741817*x3*x5*x8+1073741749*x4*x5*x8+94*x5^2*x8+35*x1*x6*x8+1073741756*x2*x6*x8+64*x3*x6*x8+1073741795*x4*x6*x8+30*x5*x6*x8+85*x6^2*x8+87*x1*x7*x8+1073741764*x2*x7*x8+1073741765*x3*x7*x8+27*x4*x7*x8+99*x5*x7*x8+59*x6*x7*x8+25*x7^2*x8+5*x1*x8^2+11*x2*x8^2+22*x3*x8^2+1073741760*x4*x8^2+1073741745*x5*x8^2+1073741813*x6*x8^2+1073741811*x7*x8^2+1073741789*x8^3+1073741661*x1^2*x9+1073741673*x1*x2*x9+122*x2^2*x9+1073741743*x1*x3*x9+1073741803*x2*x3*x9+194*x3^2*x9+1073741663*x1*x4*x9+1073741631*x2*x4*x9+26*x3*x4*x9+1073741687*x4^2*x9+156*x1*x5*x9+1073741731*x2*x5*x9+1073741695*x3*x5*x9+28*x4*x5*x9+92*x5^2*x9+110*x1*x6*x9+188*x2*x6*x9+154*x3*x6*x9+1073741697*x4*x6*x9+162*x5*x6*x9+174*x6^2*x9+1073741723*x1*x7*x9+1073741767*x2*x7*x9+1073741667*x3*x7*x9+90*x4*x7*x9+1073741657*x5*x7*x9+136*x6*x7*x9+1073741809*x7^2*x9+1073741637*x1*x8*x9+1073741787*x2*x8*x9+1073741767*x3*x8*x9+1073741683*x4*x8*x9+6*x5*x8*x9+1073741657*x6*x8*x9+1073741701*x7*x8*x9+14*x8^2*x9+1073741593*x1*x9^2+1073741581*x2*x9^2+45*x3*x9^2+1073741647*x4*x9^2+177*x5*x9^2+1073741728*x6*x9^2+129*x7*x9^2+6*x8*x9^2+140*x9^3+1073741808*x1^2*x10+83*x1*x2*x10+87*x2^2*x10+51*x1*x3*x10+38*x2*x3*x10+58*x3^2*x10+1073741771*x1*x4*x10+53*x2*x4*x10+14*x3*x4*x10+1073741806*x4^2*x10+40*x1*x5*x10+1073741805*x2*x5*x10+28*x3*x5*x10+34*x4*x5*x10+41*x5^2*x10+1073741800*x1*x6*x10+1073741729*x2*x6*x10+1073741733*x3*x6*x10+1073741813*x4*x6*x10+1073741760*x5*x6*x10+68*x6^2*x10+46*x1*x7*x10+13*x2*x7*x10+1073741785*x3*x7*x10+1073741774*x4*x7*x10+22*x5*x7*x10+1073741753*x6*x7*x10+1073741809*x7^2*x10+x1*x8*x10+25*x2*x8*x10+45*x3*x8*x10+23*x4*x8*x10+1073741744*x5*x8*x10+60*x6*x8*x10+1073741764*x7*x8*x10+1073741784*x8^2*x10+26*x1*x9*x10+14*x2*x9*x10+1073741753*x3*x9*x10+154*x4*x9*x10+1073741825*x5*x9*x10+100*x6*x9*x10+118*x7*x9*x10+156*x8*x9*x10+1073741608*x9^2*x10+1073741785*x1*x10^2+18*x2*x10^2+1073741802*x3*x10^2+65*x4*x10^2+2*x5*x10^2+1073741825*x6*x10^2+46*x8*x10^2+194*x9*x10^2+42*x10^3+1073741818*x1^2+10*x1*x2+10*x2^2+1073741762*x1*x3+46*x2*x3+1073741762*x3^2+35*x1*x4+46*x2*x4+4*x3*x4+1073741806*x4^2+1073741766*x1*x5+1073741753*x2*x5+1073741812*x3*x5+1073741769*x4*x5+95*x5^2+43*x1*x6+7*x2*x6+57*x3*x6+1073741806*x4*x6+1073741755*x5*x6+1073741739*x6^2+1073741740*x1*x7+1073741795*x2*x7+55*x3*x7+31*x4*x7+1073741769*x5*x7+2*x7^2+1073741804*x1*x8+1073741735*x2*x8+1073741804*x3*x8+1073741740*x4*x8+1073741743*x5*x8+66*x6*x8+1073741779*x7*x8+25*x8^2+1073741749*x1*x9+48*x2*x9+1073741685*x3*x9+100*x4*x9+126*x5*x9+1073741825*x6*x9+32*x7*x9+194*x8*x9+186*x9^2+31*x1*x10+75*x2*x10+1073741748*x3*x10+79*x4*x10+1073741773*x5*x10+73*x6*x10+1073741752*x7*x10+1073741740*x8*x10+46*x9*x10+1073741810*x10^2+1073741789*x1+1073741795*x2+83*x3+1073741763*x4+1073741790*x5+58*x6+77*x7+46*x8+152*x9+68*x10+1073741800,
75*x1^3+83*x1^2*x2+51*x1*x2^2+1073741742*x2^3+89*x1^2*x3+86*x1*x2*x3+1073741778*x2^2*x3+1073741765*x1*x3^2+64*x2*x3^2+1073741826*x3^3+25*x1^2*x4+1073741817*x1*x2*x4+3*x2^2*x4+1073741740*x1*x3*x4+1073741728*x2*x3*x4+54*x3^2*x4+73*x1*x4^2+77*x2*x4^2+1073741728*x3*x4^2+1073741738*x4^3+22*x1^2*x5+1073741735*x1*x2*x5+1073741735*x2^2*x5+1073741756*x1*x3*x5+1073741762*x2*x3*x5+1073741752*x3^2*x5+60*x1*x4*x5+65*x2*x4*x5+1073741779*x3*x4*x5+37*x4^2*x5+50*x1*x5^2+46*x2*x5^2+1073741793*x3*x5^2+4*x4*x5^2+1073741744*x5^3+1073741777*x1^2*x6+1073741778*x1*x2*x6+68*x2^2*x6+65*x1*x3*x6+1073741803*x2*x3*x6+1073741768*x3^2*x6+11*x1*x4*x6+10*x2*x4*x6+45*x3*x4*x6+28*x4^2*x6+63*x1*x5*x6+19*x2*x5*x6+1073741743*x3*x5*x6+53*x4*x5*x6+96*x5^2*x6+62*x1*x6^2+1073741807*x2*x6^2+1073741776*x3*x6^2+1073741817*x4*x6^2+19*x5*x6^2+1073741787*x6^3+1073741729*x1^2*x7+1073741731*x1*x2*x7+80*x2^2*x7+18*x1*x3*x7+1073741755*x2*x3*x7+1073741814*x3^2*x7+19*x1*x4*x7+76*x2*x4*x7+42*x3*x4*x7+1073741776*x4^2*x7+1073741748*x1*x5*x7+92*x2*x5*x7+1073741754*x3*x5*x7+1073741821*x4*x5*x7+1073741772*x5^2*x7+36*x1*x6*x7+1073741732*x2*x6*x7+77*x3*x6*x7+58*x4*x6*x7+50*x5*x6*x7+1073741781*x6^2*x7+37*x1*x7^2+1073741745*x2*x7^2+1073741760*x3*x7^2+99*x4*x7^2+1073741728*x5*x7^2+39*x6*x7^2+6*x7^3+68*x1^2*x8+16*x1*x2*x8+1073741808*x2^2*x8+60*x1*x3*x8+71*x2*x3*x8+22*x3^2*x8+1073741783*x1*x4*x8+1073741734*x2*x4*x8+22*x3*x4*x8+49*x4^2*x8+1073741780*x1*x5*x8+32*x2*x5*x8+1073741753*x3*x5*x8+98*x4*x5*x8+1073741728*x5^2*x8+79*x1*x6*x8+56*x2*x6*x8+1073741746*x3*x6*x8+1073741788*x4*x6*x8+1073741732*x5*x6*x8+39*x6^2*x8+76*x1*x7*x8+1073741780*x2*x7*x8+1073741820*x3*x7*x8+39*x4*x7*x8+1073741821*x5*x7*x8+35*x6*x7*x8+95*x7^2*x8+37*x1*x8^2+90*x2*x8^2+1073741809*x3*x8^2+1073741790*x4*x8^2+1073741805*x5*x8^2+90*x6*x8^2+86*x7*x8^2+74*x8^3+1073741808*x1^2*x9+83*x1*x2*x9+87*x2^2*x9+51*x1*x3*x9+38*x2*x3*x9+58*x3^2*x9+1073741771*x1*x4*x9+53*x2*x4*x9+14*x3*x4*x9+1073741806*x4^2*x9+40*x1*x5*x9+1073741805*x2*x5*x9+28*x3*x5*x9+34*x4*x5*x9+41*x5^2*x9+1073741800*x1*x6*x9+1073741729*x2*x6*x9+1073741733*x3*x6*x9+1073741813*x4*x6*x9+1073741760*x5*x6*x9+68*x6^2*x9+46*x1*x7*x9+13*x2*x7*x9+1073741785*x3*x7*x9+1073741774*x4*x7*x9+22*x5*x7*x9+1073741753*x6*x7*x9+1073741809*x7^2*x9+x1*x8*x9+25*x2*x8*x9+45*x3*x8*x9+23*x4*x8*x9+1073741744*x5*x8*x9+60*x6*x8*x9+1073741764*x7*x8*x9+1073741784*x8^2*x9+13*x1*x9^2+7*x2*x9^2+1073741790*x3*x9^2+77*x4*x9^2+1073741826*x5*x9^2+50*x6*x9^2+59*x7*x9^2+78*x8*x9^2+1073741754*x9^3+1073741727*x1^2*x10+1073741759*x1*x2*x10+44*x2^2*x10+1073741821*x1*x3*x10+14*x2*x3*x10+1073741647*x3^2*x10+52*x1*x4*x10+14*x2*x4*x10+1073741821*x3*x4*x10+1073741761*x4^2*x10+164*x1*x5*x10+72*x2*x5*x10+1073741745*x3*x5*x10+52*x4*x5*x10+1073741713*x5^2*x10+122*x1*x6*x10+1073741761*x2*x6*x10+126*x3*x6*x10+1073741677*x4*x6*x10+10*x5*x6*x10+1073741651*x6^2*x10+1073741803*x1*x7*x10+194*x2*x7*x10+70*x3*x7*x10+1073741811*x4*x7*x10+1073741679*x5*x7*x10+48*x6*x7*x10+74*x7^2*x10+1073741691*x1*x8*x10+1073741779*x2*x8*x10+18*x3*x8*x10+1073741685*x4*x8*x10+1073741665*x5*x8*x10+184*x6*x8*x10+96*x7*x8*x10+1073741677*x8^2*x10+1073741743*x1*x9*x10+36*x2*x9*x10+1073741777*x3*x9*x10+130*x4*x9*x10+4*x5*x9*x10+1073741823*x6*x9*x10+92*x8*x9*x10+194*x9^2*x10+1073741656*x1*x10^2+270*x2*x10^2+1073741761*x3*x10^2+237*x4*x10^2+228*x5*x10^2+252*x6*x10^2+210*x7*x10^2+195*x8*x10^2+126*x9*x10^2+1073741527*x10^3+1073741814*x1^2+1073741770*x1*x2+1073741819*x2^2+1073741770*x1*x3+84*x2*x3+1073741772*x3^2+1073741758*x1*x4+1073741773*x2*x4+1073741762*x3*x4+1073741822*x4^2+1073741762*x1*x5+1073741771*x2*x5+89*x3*x5+1073741808*x4*x5+6*x5^2+1073741809*x1*x6+72*x2*x6+37*x3*x6+1073741761*x4*x6+1073741812*x5*x6+1073741740*x6^2+1073741772*x1*x7+98*x2*x7+1073741792*x3*x7+87*x4*x7+1073741742*x5*x7+1073741771*x6*x7+97*x7^2+97*x1*x8+21*x2*x8+34*x3*x8+51*x4*x8+25*x5*x8+1073741781*x6*x8+92*x7*x8+1073741789*x8^2+31*x1*x9+75*x2*x9+1073741748*x3*x9+79*x4*x9+1073741773*x5*x9+73*x6*x9+1073741752*x7*x9+1073741740*x8*x9+23*x9^2+196*x1*x10+1073741679*x2*x10+1073741711*x3*x10+68*x4*x10+116*x5*x10+44*x6*x10+1073741703*x7*x10+186*x8*x10+1073741793*x9*x10+21*x10^2+1073741728*x1+27*x2+1073741766*x3+20*x4+2*x5+51*x6+1073741774*x7+1073741790*x8+68*x9+1073741741*x10+1073741759