-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcp_d_4_n_8_p_8-31.txt
10 lines (10 loc) · 18.8 KB
/
cp_d_4_n_8_p_8-31.txt
1
2
3
4
5
6
7
8
9
10
x1, x2, x3, x4, x5, x6, x7, x8
2147483647
1073741503*x1^3+258*x1^2*x2+1073741631*x1*x2^2+1073741789*x2^3+213*x1^2*x3+88*x1*x2*x3+1073741813*x2^2*x3+1073741655*x1*x3^2+75*x2*x3^2+x3^3+1073741587*x1^2*x4+82*x1*x2*x4+1073741750*x2^2*x4+134*x1*x3*x4+14*x2*x3*x4+11*x3^2*x4+60*x1*x4^2+68*x2*x4^2+94*x3*x4^2+7*x4^3+6*x1^2*x5+1073741697*x1*x2*x5+24*x2^2*x5+22*x1*x3*x5+61*x2*x3*x5+72*x3^2*x5+1073741743*x1*x4*x5+1073741743*x2*x4*x5+89*x3*x4*x5+1073741785*x4^2*x5+178*x1*x5^2+1073741798*x2*x5^2+69*x3*x5^2+1073741778*x4*x5^2+1073741813*x5^3+21*x1^2*x6+1073741787*x1*x2*x6+4*x2^2*x6+156*x1*x3*x6+1073741747*x2*x3*x6+1073741771*x3^2*x6+1073741633*x1*x4*x6+1073741746*x2*x4*x6+1073741771*x3*x4*x6+1073741754*x4^2*x6+1073741821*x1*x5*x6+1073741802*x2*x5*x6+76*x3*x5*x6+86*x4*x5*x6+1073741735*x5^2*x6+116*x1*x6^2+18*x2*x6^2+1073741734*x3*x6^2+75*x4*x6^2+1073741770*x5*x6^2+1073741779*x6^3+72*x1^2*x7+1073741717*x1*x2*x7+1073741788*x2^2*x7+76*x1*x3*x7+1073741810*x2*x3*x7+53*x3^2*x7+1073741671*x1*x4*x7+1073741767*x2*x4*x7+73*x3*x4*x7+69*x4^2*x7+160*x1*x5*x7+1073741732*x2*x5*x7+1073741802*x3*x5*x7+1073741804*x4*x5*x7+1073741737*x5^2*x7+64*x1*x6*x7+51*x2*x6*x7+1073741791*x3*x6*x7+36*x4*x6*x7+93*x5*x6*x7+51*x6^2*x7+1073741809*x1*x7^2+1073741763*x2*x7^2+1073741760*x3*x7^2+1073741826*x4*x7^2+1073741799*x5*x7^2+1073741750*x6*x7^2+57*x7^3+1073741554*x1^2*x8+1073741699*x1*x2*x8+44*x2^2*x8+1073741701*x1*x3*x8+1073741737*x2*x3*x8+1073741764*x3^2*x8+34*x1*x4*x8+68*x2*x4*x8+1073741826*x3*x4*x8+24*x4^2*x8+1073741753*x1*x5*x8+1073741805*x2*x5*x8+1073741801*x3*x5*x8+17*x4*x5*x8+1073741795*x5^2*x8+1073741705*x1*x6*x8+49*x2*x6*x8+53*x3*x6*x8+14*x4*x6*x8+82*x5*x6*x8+1073741771*x6^2*x8+1073741723*x1*x7*x8+70*x2*x7*x8+88*x3*x7*x8+23*x4*x7*x8+1073741737*x5*x7*x8+1073741822*x6*x7*x8+98*x7^2*x8+1073741677*x1*x8^2+21*x2*x8^2+1073741791*x3*x8^2+1073741801*x4*x8^2+1073741782*x5*x8^2+1073741812*x6*x8^2+1073741776*x7*x8^2+6*x8^3+1073741779*x1^2+1073741703*x1*x2+1073741778*x2^2+178*x1*x3+13*x2*x3+1073741764*x3^2+1073741741*x1*x4+11*x2*x4+80*x3*x4+55*x4^2+1073741649*x1*x5+57*x2*x5+1073741820*x3*x5+31*x4*x5+15*x5^2+166*x1*x6+34*x2*x6+1073741749*x3*x6+1073741772*x4*x6+1073741742*x5*x6+1073741807*x6^2+102*x1*x7+97*x2*x7+1073741822*x3*x7+1073741744*x4*x7+1073741800*x5*x7+7*x6*x7+1073741747*x7^2+46*x1*x8+1073741800*x2*x8+1073741826*x3*x8+35*x4*x8+20*x5*x8+62*x6*x8+39*x7*x8+60*x8^2+1073741773*x1+1073741818*x2+31*x3+34*x4+1073741778*x5+1073741796*x6+3*x7+17*x8+93,
86*x1^3+1073741631*x1^2*x2+1073741713*x1*x2^2+1073741507*x2^3+44*x1^2*x3+1073741799*x1*x2*x3+264*x2^2*x3+75*x1*x3^2+1073741689*x2*x3^2+60*x3^3+41*x1^2*x4+1073741673*x1*x2*x4+1073741707*x2^2*x4+14*x1*x3*x4+6*x2*x3*x4+80*x3^2*x4+68*x1*x4^2+1073741683*x2*x4^2+94*x3*x4^2+14*x4^3+1073741762*x1^2*x5+48*x1*x2*x5+1073741797*x2^2*x5+61*x1*x3*x5+138*x2*x3*x5+1073741794*x3^2*x5+1073741743*x1*x4*x5+72*x2*x4*x5+77*x3*x4*x5+1073741800*x4^2*x5+1073741798*x1*x5^2+130*x2*x5^2+79*x3*x5^2+30*x4*x5^2+13*x5^3+1073741807*x1^2*x6+8*x1*x2*x6+201*x2^2*x6+1073741747*x1*x3*x6+1073741753*x2*x3*x6+67*x3^2*x6+1073741746*x1*x4*x6+142*x2*x4*x6+97*x3*x4*x6+1073741800*x4^2*x6+1073741802*x1*x5*x6+1073741809*x2*x5*x6+1073741823*x3*x5*x6+1073741806*x4*x5*x6+88*x5^2*x6+18*x1*x6^2+1073741737*x2*x6^2+9*x3*x6^2+1073741818*x4*x6^2+50*x5*x6^2+1073741772*x1^2*x7+1073741749*x1*x2*x7+1073741707*x2^2*x7+1073741810*x1*x3*x7+84*x2*x3*x7+1073741813*x3^2*x7+1073741767*x1*x4*x7+108*x2*x4*x7+1073741751*x3*x4*x7+1073741728*x4^2*x7+1073741732*x1*x5*x7+100*x2*x5*x7+1073741790*x3*x5*x7+1073741800*x4*x5*x7+1073741731*x5^2*x7+51*x1*x6*x7+1073741767*x2*x6*x7+63*x3*x6*x7+1073741750*x4*x6*x7+1073741772*x5*x6*x7+1073741787*x6^2*x7+1073741763*x1*x7^2+166*x2*x7^2+1073741784*x3*x7^2+1073741800*x4*x7^2+90*x5*x7^2+1073741739*x6*x7^2+1073741780*x7^3+1073741763*x1^2*x8+88*x1*x2*x8+1073741581*x2^2*x8+1073741737*x1*x3*x8+1073741725*x2*x3*x8+82*x3^2*x8+68*x1*x4*x8+168*x2*x4*x8+19*x3*x4*x8+1073741746*x4^2*x8+1073741805*x1*x5*x8+1073741789*x2*x5*x8+1073741793*x3*x5*x8+13*x4*x5*x8+1073741760*x5^2*x8+49*x1*x6*x8+146*x2*x6*x8+16*x3*x6*x8+1073741792*x4*x6*x8+1073741763*x5*x6*x8+48*x6^2*x8+70*x1*x7*x8+1073741797*x2*x7*x8+1073741793*x3*x7*x8+78*x4*x7*x8+1073741747*x5*x7*x8+1073741770*x6*x7*x8+63*x7^2*x8+21*x1*x8^2+1073741747*x2*x8^2+78*x3*x8^2+30*x4*x8^2+36*x5*x8^2+1073741756*x6*x8^2+1073741761*x7*x8^2+1073741810*x8^3+1073741765*x1^2+1073741729*x1*x2+1073741581*x2^2+13*x1*x3+1073741667*x2*x3+83*x3^2+11*x1*x4+1073741721*x2*x4+1073741795*x3*x4+1073741785*x4^2+57*x1*x5+1073741791*x2*x5+1073741815*x3*x5+14*x4*x5+1073741742*x5^2+34*x1*x6+1073741753*x2*x6+7*x3*x6+29*x4*x6+1073741752*x5*x6+1073741815*x6^2+97*x1*x7+1073741667*x2*x7+1073741807*x3*x7+25*x4*x7+91*x5*x7+1073741752*x6*x7+21*x7^2+1073741800*x1*x8+36*x2*x8+1073741729*x3*x8+17*x4*x8+1073741741*x5*x8+21*x6*x8+1073741803*x7*x8+1073741795*x8^2+1073741818*x1+128*x2+1073741741*x3+1073741762*x4+97*x5+1073741743*x6+1073741739*x7+1073741788*x8+1073741752,
71*x1^3+44*x1^2*x2+1073741813*x1*x2^2+88*x2^3+1073741655*x1^2*x3+150*x1*x2*x3+1073741689*x2^2*x3+3*x1*x3^2+180*x2*x3^2+328*x3^3+67*x1^2*x4+14*x1*x2*x4+3*x2^2*x4+22*x1*x3*x4+160*x2*x3*x4+1073741548*x3^2*x4+94*x1*x4^2+94*x2*x4^2+2*x3*x4^2+1073741743*x4^3+11*x1^2*x5+61*x1*x2*x5+69*x2^2*x5+144*x1*x3*x5+1073741761*x2*x3*x5+1073741770*x3^2*x5+89*x1*x4*x5+77*x2*x4*x5+2*x3*x4*x5+1073741821*x4^2*x5+69*x1*x5^2+79*x2*x5^2+112*x3*x5^2+13*x4*x5^2+1073741756*x5^3+78*x1^2*x6+1073741747*x1*x2*x6+1073741790*x2^2*x6+1073741715*x1*x3*x6+134*x2*x3*x6+9*x3^2*x6+1073741771*x1*x4*x6+97*x2*x4*x6+124*x3*x4*x6+1073741773*x4^2*x6+76*x1*x5*x6+1073741823*x2*x5*x6+6*x3*x5*x6+9*x4*x5*x6+1073741763*x5^2*x6+1073741734*x1*x6^2+9*x2*x6^2+96*x3*x6^2+13*x4*x6^2+1073741804*x5*x6^2+90*x6^3+38*x1^2*x7+1073741810*x1*x2*x7+42*x2^2*x7+106*x1*x3*x7+1073741799*x2*x3*x7+195*x3^2*x7+73*x1*x4*x7+1073741751*x2*x4*x7+1073741777*x3*x4*x7+40*x4^2*x7+1073741802*x1*x5*x7+1073741790*x2*x5*x7+98*x3*x5*x7+17*x4*x5*x7+1073741754*x5^2*x7+1073741791*x1*x6*x7+63*x2*x6*x7+1073741781*x3*x6*x7+1073741799*x4*x6*x7+1073741794*x5*x6*x7+60*x6^2*x7+1073741760*x1*x7^2+1073741784*x2*x7^2+62*x3*x7^2+42*x4*x7^2+1073741795*x5*x7^2+52*x6*x7^2+1073741743*x7^3+1073741764*x1^2*x8+1073741737*x1*x2*x8+1073741776*x2^2*x8+1073741701*x1*x3*x8+164*x2*x3*x8+1073741539*x3^2*x8+1073741826*x1*x4*x8+19*x2*x4*x8+1073741711*x3*x4*x8+94*x4^2*x8+1073741801*x1*x5*x8+1073741793*x2*x5*x8+152*x3*x5*x8+1073741766*x4*x5*x8+1073741823*x5^2*x8+53*x1*x6*x8+16*x2*x6*x8+180*x3*x6*x8+95*x4*x6*x8+1073741774*x5*x6*x8+29*x6^2*x8+88*x1*x7*x8+1073741793*x2*x7*x8+142*x3*x7*x8+70*x4*x7*x8+74*x5*x7*x8+1073741816*x6*x7*x8+63*x7^2*x8+1073741791*x1*x8^2+78*x2*x8^2+116*x3*x8^2+1073741730*x4*x8^2+1073741817*x5*x8^2+1073741769*x6*x8^2+1073741728*x7*x8^2+48*x8^3+89*x1^2+13*x1*x2+1073741747*x2^2+1073741701*x1*x3+166*x2*x3+1073741809*x3^2+80*x1*x4+1073741795*x2*x4+1073741695*x3*x4+1073741796*x4^2+1073741820*x1*x5+1073741815*x2*x5+1073741631*x3*x5+3*x4*x5+1073741747*x5^2+1073741749*x1*x6+7*x2*x6+1073741789*x3*x6+26*x4*x6+93*x5*x6+1073741796*x6^2+1073741822*x1*x7+1073741807*x2*x7+1073741777*x3*x7+46*x4*x7+1073741755*x5*x7+1073741733*x6*x7+1073741800*x7^2+1073741826*x1*x8+1073741729*x2*x8+68*x3*x8+23*x4*x8+47*x5*x8+47*x6*x8+29*x7*x8+80*x8^2+31*x1+1073741741*x2+112*x3+1073741733*x4+1073741786*x5+96*x6+34*x7+59*x8+92,
1073741747*x1^3+41*x1^2*x2+1073741750*x1*x2^2+1073741787*x2^3+67*x1^2*x3+14*x1*x2*x3+3*x2^2*x3+11*x1*x3^2+80*x2*x3^2+1073741734*x3^3+60*x1^2*x4+136*x1*x2*x4+1073741683*x2^2*x4+188*x1*x3*x4+188*x2*x3*x4+2*x3^2*x4+21*x1*x4^2+42*x2*x4^2+1073741575*x3*x4^2+1073741655*x4^3+1073741785*x1^2*x5+1073741743*x1*x2*x5+36*x2^2*x5+89*x1*x3*x5+77*x2*x3*x5+x3^2*x5+1073741743*x1*x4*x5+1073741773*x2*x4*x5+1073741815*x3*x4*x5+288*x4^2*x5+1073741778*x1*x5^2+30*x2*x5^2+13*x3*x5^2+1073741727*x4*x5^2+1073741743*x5^3+1073741730*x1^2*x6+1073741746*x1*x2*x6+71*x2^2*x6+1073741771*x1*x3*x6+97*x2*x3*x6+62*x3^2*x6+1073741681*x1*x4*x6+1073741773*x2*x4*x6+1073741719*x3*x4*x6+3*x4^2*x6+86*x1*x5*x6+1073741806*x2*x5*x6+9*x3*x5*x6+1073741679*x4*x5*x6+24*x5^2*x6+75*x1*x6^2+1073741818*x2*x6^2+13*x3*x6^2+1073741801*x4*x6^2+1073741813*x5*x6^2+1073741789*x6^3+1073741749*x1^2*x7+1073741767*x1*x2*x7+54*x2^2*x7+73*x1*x3*x7+1073741751*x2*x3*x7+1073741802*x3^2*x7+138*x1*x4*x7+1073741629*x2*x4*x7+80*x3*x4*x7+255*x4^2*x7+1073741804*x1*x5*x7+1073741800*x2*x5*x7+17*x3*x5*x7+102*x4*x5*x7+61*x5^2*x7+36*x1*x6*x7+1073741750*x2*x6*x7+1073741799*x3*x6*x7+1073741697*x4*x6*x7+1073741769*x5*x6*x7+1073741795*x6^2*x7+1073741826*x1*x7^2+1073741800*x2*x7^2+42*x3*x7^2+46*x4*x7^2+62*x5*x7^2+98*x6*x7^2+1073741728*x7^3+17*x1^2*x8+68*x1*x2*x8+84*x2^2*x8+1073741826*x1*x3*x8+19*x2*x3*x8+1073741769*x3^2*x8+48*x1*x4*x8+1073741665*x2*x4*x8+188*x3*x4*x8+189*x4^2*x8+17*x1*x5*x8+13*x2*x5*x8+1073741766*x3*x5*x8+1073741709*x4*x5*x8+38*x5^2*x8+14*x1*x6*x8+1073741792*x2*x6*x8+95*x3*x6*x8+68*x4*x6*x8+6*x5*x6*x8+2*x6^2*x8+23*x1*x7*x8+78*x2*x7*x8+70*x3*x7*x8+6*x4*x7*x8+1073741736*x5*x7*x8+76*x6*x7*x8+1073741734*x7^2*x8+1073741801*x1*x8^2+30*x2*x8^2+1073741730*x3*x8^2+1073741691*x4*x8^2+1073741776*x5*x8^2+1073741764*x6*x8^2+1073741821*x7*x8^2+1073741812*x8^3+1073741784*x1^2+11*x1*x2+1073741774*x2^2+80*x1*x3+1073741795*x2*x3+1073741761*x3^2+110*x1*x4+1073741743*x2*x4+1073741765*x3*x4+234*x4^2+31*x1*x5+14*x2*x5+3*x3*x5+164*x4*x5+43*x5^2+1073741772*x1*x6+29*x2*x6+26*x3*x6+1073741631*x4*x6+27*x5*x6+1073741735*x6^2+1073741744*x1*x7+25*x2*x7+46*x3*x7+126*x4*x7+28*x5*x7+1073741772*x6*x7+1073741766*x7^2+35*x1*x8+17*x2*x8+23*x3*x8+1073741719*x4*x8+1073741752*x5*x8+20*x6*x8+42*x7*x8+56*x8^2+34*x1+1073741762*x2+1073741733*x3+1073741785*x4+1073741802*x5+1073741824*x6+4*x7+27*x8,
2*x1^3+1073741762*x1^2*x2+24*x1*x2^2+1073741817*x2^3+11*x1^2*x3+61*x1*x2*x3+69*x2^2*x3+72*x1*x3^2+1073741794*x2*x3^2+1073741808*x3^3+1073741785*x1^2*x4+1073741743*x1*x2*x4+36*x2^2*x4+89*x1*x3*x4+77*x2*x3*x4+x3^2*x4+1073741785*x1*x4^2+1073741800*x2*x4^2+1073741821*x3*x4^2+96*x4^3+178*x1^2*x5+1073741769*x1*x2*x5+130*x2^2*x5+138*x1*x3*x5+158*x2*x3*x5+112*x3^2*x5+1073741729*x1*x4*x5+60*x2*x4*x5+26*x3*x4*x5+1073741727*x4^2*x5+1073741785*x1*x5^2+39*x2*x5^2+1073741614*x3*x5^2+1073741575*x4*x5^2+1073741459*x5^3+1073741824*x1^2*x6+1073741802*x1*x2*x6+1073741818*x2^2*x6+76*x1*x3*x6+1073741823*x2*x3*x6+3*x3^2*x6+86*x1*x4*x6+1073741806*x2*x4*x6+9*x3*x4*x6+1073741753*x4^2*x6+1073741643*x1*x5*x6+176*x2*x5*x6+1073741699*x3*x5*x6+48*x4*x5*x6+279*x5^2*x6+1073741770*x1*x6^2+50*x2*x6^2+1073741804*x3*x6^2+1073741813*x4*x6^2+1073741655*x5*x6^2+5*x6^3+80*x1^2*x7+1073741732*x1*x2*x7+50*x2^2*x7+1073741802*x1*x3*x7+1073741790*x2*x3*x7+49*x3^2*x7+1073741804*x1*x4*x7+1073741800*x2*x4*x7+17*x3*x4*x7+51*x4^2*x7+1073741647*x1*x5*x7+1073741635*x2*x5*x7+1073741681*x3*x5*x7+122*x4*x5*x7+1073741689*x5^2*x7+93*x1*x6*x7+1073741772*x2*x6*x7+1073741794*x3*x6*x7+1073741769*x4*x6*x7+88*x5*x6*x7+1073741775*x6^2*x7+1073741799*x1*x7^2+90*x2*x7^2+1073741795*x3*x7^2+62*x4*x7^2+192*x5*x7^2+1073741786*x6*x7^2+1073741782*x7^3+1073741790*x1^2*x8+1073741805*x1*x2*x8+1073741808*x2^2*x8+1073741801*x1*x3*x8+1073741793*x2*x3*x8+76*x3^2*x8+17*x1*x4*x8+13*x2*x4*x8+1073741766*x3*x4*x8+1073741768*x4^2*x8+1073741763*x1*x5*x8+1073741693*x2*x5*x8+1073741819*x3*x5*x8+76*x4*x5*x8+1073741656*x5^2*x8+82*x1*x6*x8+1073741763*x2*x6*x8+1073741774*x3*x6*x8+6*x4*x6*x8+1073741789*x6^2*x8+1073741737*x1*x7*x8+1073741747*x2*x7*x8+74*x3*x7*x8+1073741736*x4*x7*x8+170*x5*x7*x8+42*x6*x7*x8+1073741821*x7^2*x8+1073741782*x1*x8^2+36*x2*x8^2+1073741817*x3*x8^2+1073741776*x4*x8^2+1073741687*x5*x8^2+34*x6*x8^2+1073741730*x7*x8^2+93*x8^3+1073741738*x1^2+57*x1*x2+1073741809*x2^2+1073741820*x1*x3+1073741815*x2*x3+1073741729*x3^2+31*x1*x4+14*x2*x4+3*x3*x4+82*x4^2+30*x1*x5+1073741657*x2*x5+1073741667*x3*x5+86*x4*x5+177*x5^2+1073741742*x1*x6+1073741752*x2*x6+93*x3*x6+27*x4*x6+1073741755*x5*x6+48*x6^2+1073741800*x1*x7+91*x2*x7+1073741755*x3*x7+28*x4*x7+1073741645*x5*x7+1073741781*x6*x7+54*x7^2+20*x1*x8+1073741741*x2*x8+47*x3*x8+1073741752*x4*x8+1073741629*x5*x8+84*x6*x8+1073741817*x7*x8+89*x8^2+1073741778*x1+97*x2+1073741786*x3+1073741802*x4+1073741823*x5+90*x6+34*x7+1073741819*x8+1073741819,
7*x1^3+1073741807*x1^2*x2+4*x1*x2^2+67*x2^3+78*x1^2*x3+1073741747*x1*x2*x3+1073741790*x2^2*x3+1073741771*x1*x3^2+67*x2*x3^2+3*x3^3+1073741730*x1^2*x4+1073741746*x1*x2*x4+71*x2^2*x4+1073741771*x1*x3*x4+97*x2*x3*x4+62*x3^2*x4+1073741754*x1*x4^2+1073741800*x2*x4^2+1073741773*x3*x4^2+x4^3+1073741824*x1^2*x5+1073741802*x1*x2*x5+1073741818*x2^2*x5+76*x1*x3*x5+1073741823*x2*x3*x5+3*x3^2*x5+86*x1*x4*x5+1073741806*x2*x4*x5+9*x3*x4*x5+1073741753*x4^2*x5+1073741735*x1*x5^2+88*x2*x5^2+1073741763*x3*x5^2+24*x4*x5^2+93*x5^3+116*x1^2*x6+36*x1*x2*x6+1073741737*x2^2*x6+1073741641*x1*x3*x6+18*x2*x3*x6+96*x3^2*x6+150*x1*x4*x6+1073741809*x2*x4*x6+26*x3*x4*x6+1073741801*x4^2*x6+1073741713*x1*x5*x6+100*x2*x5*x6+1073741781*x3*x5*x6+1073741799*x4*x5*x6+1073741655*x5^2*x6+1073741683*x1*x6^2+270*x3*x6^2+1073741713*x4*x6^2+15*x5*x6^2+32*x6^3+32*x1^2*x7+51*x1*x2*x7+1073741797*x2^2*x7+1073741791*x1*x3*x7+63*x2*x3*x7+1073741804*x3^2*x7+36*x1*x4*x7+1073741750*x2*x4*x7+1073741799*x3*x4*x7+1073741762*x4^2*x7+93*x1*x5*x7+1073741772*x2*x5*x7+1073741794*x3*x5*x7+1073741769*x4*x5*x7+44*x5^2*x7+102*x1*x6*x7+1073741747*x2*x6*x7+120*x3*x6*x7+1073741763*x4*x6*x7+1073741723*x5*x6*x7+1073741668*x6^2*x7+1073741750*x1*x7^2+1073741739*x2*x7^2+52*x3*x7^2+98*x4*x7^2+1073741786*x5*x7^2+1073741687*x6*x7^2+1073741819*x7^3+1073741766*x1^2*x8+49*x1*x2*x8+73*x2^2*x8+53*x1*x3*x8+16*x2*x3*x8+90*x3^2*x8+14*x1*x4*x8+1073741792*x2*x4*x8+95*x3*x4*x8+34*x4^2*x8+82*x1*x5*x8+1073741763*x2*x5*x8+1073741774*x3*x5*x8+6*x4*x5*x8+1073741715*x1*x6*x8+96*x2*x6*x8+58*x3*x6*x8+4*x4*x6*x8+1073741751*x5*x6*x8+1073741680*x6^2*x8+1073741822*x1*x7*x8+1073741770*x2*x7*x8+1073741816*x3*x7*x8+76*x4*x7*x8+42*x5*x7*x8+90*x6*x7*x8+84*x7^2*x8+1073741812*x1*x8^2+1073741756*x2*x8^2+1073741769*x3*x8^2+1073741764*x4*x8^2+34*x5*x8^2+1073741747*x6*x8^2+5*x7*x8^2+1073741790*x8^3+83*x1^2+34*x1*x2+1073741790*x2^2+1073741749*x1*x3+7*x2*x3+1073741808*x3^2+1073741772*x1*x4+29*x2*x4+26*x3*x4+1073741729*x4^2+1073741742*x1*x5+1073741752*x2*x5+93*x3*x5+27*x4*x5+1073741791*x5^2+1073741787*x1*x6+1073741803*x2*x6+1073741765*x3*x6+1073741643*x4*x6+96*x5*x6+1073741722*x6^2+7*x1*x7+1073741752*x2*x7+1073741733*x3*x7+1073741772*x4*x7+1073741781*x5*x7+1073741737*x6*x7+1073741764*x7^2+62*x1*x8+21*x2*x8+47*x3*x8+20*x4*x8+84*x5*x8+1073741745*x6*x8+33*x7*x8+1073741730*x8^2+1073741796*x1+1073741743*x2+96*x3+1073741824*x4+90*x5+1073741665*x6+1073741769*x7+18*x8+14,
24*x1^3+1073741772*x1^2*x2+1073741788*x1*x2^2+1073741787*x2^3+38*x1^2*x3+1073741810*x1*x2*x3+42*x2^2*x3+53*x1*x3^2+1073741813*x2*x3^2+65*x3^3+1073741749*x1^2*x4+1073741767*x1*x2*x4+54*x2^2*x4+73*x1*x3*x4+1073741751*x2*x3*x4+1073741802*x3^2*x4+69*x1*x4^2+1073741728*x2*x4^2+40*x3*x4^2+85*x4^3+80*x1^2*x5+1073741732*x1*x2*x5+50*x2^2*x5+1073741802*x1*x3*x5+1073741790*x2*x3*x5+49*x3^2*x5+1073741804*x1*x4*x5+1073741800*x2*x4*x5+17*x3*x4*x5+51*x4^2*x5+1073741737*x1*x5^2+1073741731*x2*x5^2+1073741754*x3*x5^2+61*x4*x5^2+1073741781*x5^3+32*x1^2*x6+51*x1*x2*x6+1073741797*x2^2*x6+1073741791*x1*x3*x6+63*x2*x3*x6+1073741804*x3^2*x6+36*x1*x4*x6+1073741750*x2*x4*x6+1073741799*x3*x4*x6+1073741762*x4^2*x6+93*x1*x5*x6+1073741772*x2*x5*x6+1073741794*x3*x5*x6+1073741769*x4*x5*x6+44*x5^2*x6+51*x1*x6^2+1073741787*x2*x6^2+60*x3*x6^2+1073741795*x4*x6^2+1073741775*x5*x6^2+1073741774*x6^3+1073741809*x1^2*x7+1073741699*x1*x2*x7+166*x2^2*x7+1073741693*x1*x3*x7+1073741741*x2*x3*x7+62*x3^2*x7+1073741825*x1*x4*x7+1073741773*x2*x4*x7+84*x3*x4*x7+46*x4^2*x7+1073741771*x1*x5*x7+180*x2*x5*x7+1073741763*x3*x5*x7+124*x4*x5*x7+192*x5^2*x7+1073741673*x1*x6*x7+1073741651*x2*x6*x7+104*x3*x6*x7+196*x4*x6*x7+1073741745*x5*x6*x7+1073741687*x6^2*x7+171*x1*x7^2+1073741686*x2*x7^2+1073741575*x3*x7^2+1073741530*x4*x7^2+1073741692*x5*x7^2+1073741803*x6*x7^2+64*x7^3+1073741775*x1^2*x8+70*x1*x2*x8+1073741812*x2^2*x8+88*x1*x3*x8+1073741793*x2*x3*x8+71*x3^2*x8+23*x1*x4*x8+78*x2*x4*x8+70*x3*x4*x8+3*x4^2*x8+1073741737*x1*x5*x8+1073741747*x2*x5*x8+74*x3*x5*x8+1073741736*x4*x5*x8+85*x5^2*x8+1073741822*x1*x6*x8+1073741770*x2*x6*x8+1073741816*x3*x6*x8+76*x4*x6*x8+42*x5*x6*x8+45*x6^2*x8+196*x1*x7*x8+126*x2*x7*x8+126*x3*x7*x8+1073741641*x4*x7*x8+1073741815*x5*x7*x8+168*x6*x7*x8+3*x7^2*x8+1073741776*x1*x8^2+1073741761*x2*x8^2+1073741728*x3*x8^2+1073741821*x4*x8^2+1073741730*x5*x8^2+5*x6*x8^2+1073741823*x7*x8^2+43*x8^3+51*x1^2+97*x1*x2+1073741747*x2^2+1073741822*x1*x3+1073741807*x2*x3+1073741802*x3^2+1073741744*x1*x4+25*x2*x4+46*x3*x4+63*x4^2+1073741800*x1*x5+91*x2*x5+1073741755*x3*x5+28*x4*x5+1073741736*x5^2+7*x1*x6+1073741752*x2*x6+1073741733*x3*x6+1073741772*x4*x6+1073741781*x5*x6+1073741782*x6^2+1073741667*x1*x7+42*x2*x7+1073741773*x3*x7+1073741705*x4*x7+108*x5*x7+1073741701*x6*x7+1073741680*x7^2+39*x1*x8+1073741803*x2*x8+29*x3*x8+42*x4*x8+1073741817*x5*x8+33*x6*x8+1073741787*x7*x8+1073741743*x8^2+3*x1+1073741739*x2+34*x3+4*x4+34*x5+1073741769*x6+82*x7+1073741743*x8+1073741797,
1073741736*x1^3+1073741763*x1^2*x2+44*x1*x2^2+1073741745*x2^3+1073741764*x1^2*x3+1073741737*x1*x2*x3+1073741776*x2^2*x3+1073741764*x1*x3^2+82*x2*x3^2+1073741731*x3^3+17*x1^2*x4+68*x1*x2*x4+84*x2^2*x4+1073741826*x1*x3*x4+19*x2*x3*x4+1073741769*x3^2*x4+24*x1*x4^2+1073741746*x2*x4^2+94*x3*x4^2+63*x4^3+1073741790*x1^2*x5+1073741805*x1*x2*x5+1073741808*x2^2*x5+1073741801*x1*x3*x5+1073741793*x2*x3*x5+76*x3^2*x5+17*x1*x4*x5+13*x2*x4*x5+1073741766*x3*x4*x5+1073741768*x4^2*x5+1073741795*x1*x5^2+1073741760*x2*x5^2+1073741823*x3*x5^2+38*x4*x5^2+1073741770*x5^3+1073741766*x1^2*x6+49*x1*x2*x6+73*x2^2*x6+53*x1*x3*x6+16*x2*x3*x6+90*x3^2*x6+14*x1*x4*x6+1073741792*x2*x4*x6+95*x3*x4*x6+34*x4^2*x6+82*x1*x5*x6+1073741763*x2*x5*x6+1073741774*x3*x5*x6+6*x4*x5*x6+1073741771*x1*x6^2+48*x2*x6^2+29*x3*x6^2+2*x4*x6^2+1073741789*x5*x6^2+1073741778*x6^3+1073741775*x1^2*x7+70*x1*x2*x7+1073741812*x2^2*x7+88*x1*x3*x7+1073741793*x2*x3*x7+71*x3^2*x7+23*x1*x4*x7+78*x2*x4*x7+70*x3*x4*x7+3*x4^2*x7+1073741737*x1*x5*x7+1073741747*x2*x5*x7+74*x3*x5*x7+1073741736*x4*x5*x7+85*x5^2*x7+1073741822*x1*x6*x7+1073741770*x2*x6*x7+1073741816*x3*x6*x7+76*x4*x6*x7+42*x5*x6*x7+45*x6^2*x7+98*x1*x7^2+63*x2*x7^2+63*x3*x7^2+1073741734*x4*x7^2+1073741821*x5*x7^2+84*x6*x7^2+x7^3+1073741677*x1^2*x8+42*x1*x2*x8+1073741747*x2^2*x8+1073741755*x1*x3*x8+156*x2*x3*x8+116*x3^2*x8+1073741775*x1*x4*x8+60*x2*x4*x8+1073741633*x3*x4*x8+1073741691*x4^2*x8+1073741737*x1*x5*x8+72*x2*x5*x8+1073741807*x3*x5*x8+1073741725*x4*x5*x8+1073741687*x5^2*x8+1073741797*x1*x6*x8+1073741685*x2*x6*x8+1073741711*x3*x6*x8+1073741701*x4*x6*x8+68*x5*x6*x8+1073741747*x6^2*x8+1073741725*x1*x7*x8+1073741695*x2*x7*x8+1073741629*x3*x7*x8+1073741815*x4*x7*x8+1073741633*x5*x7*x8+10*x6*x7*x8+1073741823*x7^2*x8+18*x1*x8^2+1073741776*x2*x8^2+144*x3*x8^2+1073741782*x4*x8^2+279*x5*x8^2+1073741716*x6*x8^2+129*x7*x8^2+328*x8^3+23*x1^2+1073741800*x1*x2+18*x2^2+1073741826*x1*x3+1073741729*x2*x3+34*x3^2+35*x1*x4+17*x2*x4+23*x3*x4+1073741773*x4^2+20*x1*x5+1073741741*x2*x5+47*x3*x5+1073741752*x4*x5+1073741728*x5^2+62*x1*x6+21*x2*x6+47*x3*x6+20*x4*x6+84*x5*x6+1073741786*x6^2+39*x1*x7+1073741803*x2*x7+29*x3*x7+42*x4*x7+1073741817*x5*x7+33*x6*x7+1073741807*x7^2+120*x1*x8+1073741763*x2*x8+160*x3*x8+112*x4*x8+178*x5*x8+1073741633*x6*x8+1073741659*x7*x8+210*x8^2+17*x1+1073741788*x2+59*x3+27*x4+1073741819*x5+18*x6+1073741743*x7+132*x8+18