-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcp_d_3_n_4_p_2-31.txt
7 lines (7 loc) · 3.31 KB
/
cp_d_3_n_4_p_2-31.txt
1
2
3
4
5
6
7
x1, x2, x3, x4
2147483647
-7*x1^3+22*x1^2*x2-56*x1*x2^2+80*x2^3-55*x1^2*x3-44*x2^2*x3-73*x1*x3^2-75*x2*x3^2+23*x3^3-94*x1^2*x4-62*x1*x2*x4+71*x2^2*x4-4*x1*x3*x4-10*x2*x3*x4+75*x3^2*x4-10*x1*x4^2-40*x2*x4^2+6*x3*x4^2+37*x4^3+87*x1^2+97*x1*x2-17*x2^2-83*x1*x3-7*x2*x3-92*x3^2+62*x1*x4+42*x2*x4+74*x3*x4-23*x4^2-82*x1-50*x2+72*x3+87*x4+44,
29*x1^3+98*x1^2*x2-8*x1*x2^2-10*x2^3-23*x1^2*x3-29*x1*x2*x3+31*x2^2*x3-49*x1*x3^2+95*x2*x3^2+30*x3^3+10*x1^2*x4+95*x1*x2*x4-51*x2^2*x4-47*x1*x3*x4+x2*x3*x4-27*x3^2*x4-81*x1*x4^2+55*x2*x4^2-59*x3*x4^2-87*x4^3-61*x1^2+11*x1*x2+77*x2^2+40*x1*x3+x2*x3-15*x3^2+91*x1*x4-28*x2*x4-96*x3*x4+47*x4^2+68*x1+16*x2+72*x3-90*x4+43,
4884*x1^4+1058*x1^3*x2+1072*x1^2*x2^2-11136*x1*x2^3+6120*x2^4+10557*x1^3*x3+32954*x1^2*x2*x3-50304*x1*x2^2*x3+41100*x2^3*x3-2066*x1^2*x3^2+6525*x1*x2*x3^2+18105*x2^2*x3^2+23221*x1*x3^3-12198*x2*x3^3-13305*x3^4+6009*x1^3*x4-876*x1^2*x2*x4-13532*x1*x2^2*x4-146*x2^3*x4+4227*x1^2*x3*x4-13506*x1*x2*x3*x4+3486*x2^2*x3*x4-2754*x1*x3^2*x4+14395*x2*x3^2*x4-11169*x3^3*x4+5353*x1^2*x4^2+1670*x1*x2*x4^2-13678*x2^2*x4^2+1696*x1*x3*x4^2+13102*x2*x3*x4^2-3150*x3^2*x4^2+5188*x1*x4^3-7256*x2*x4^3-5506*x3*x4^3+2030*x4^4+7388*x1^3+1339*x1^2*x2+11363*x1*x2^2+5752*x2^3+7281*x1^2*x3+47938*x1*x2*x3+4093*x2^2*x3+8352*x1*x3^2-228*x2*x3^2+19031*x3^3-10980*x1^2*x4+10956*x1*x2*x4-19816*x2^2*x4+6410*x1*x3*x4-36652*x2*x3*x4+6594*x3^2*x4-5988*x1*x4^2-4895*x2*x4^2+14545*x3*x4^2-2540*x4^3+1351*x1^2+6134*x1*x2+19638*x2^2+8241*x1*x3+11456*x2*x3-17450*x3^2-19660*x1*x4+9392*x2*x4-6306*x3*x4-5946*x4^2+5520*x1-13474*x2+3868*x3+8656*x4-4752,
9432*x1^4+5542*x1^3*x2-20132*x1^2*x2^2+27788*x1*x2^3-10110*x2^4-3368*x1^3*x3+9352*x1^2*x2*x3-14129*x1*x2^2*x3+26*x2^3*x3+120*x1^2*x3^2+7083*x1*x2*x3^2-6618*x2^2*x3^2+6080*x1*x3^3-1399*x2*x3^3-5100*x3^4+6706*x1^3*x4+19916*x1^2*x2*x4-49497*x1*x2^2*x4+24000*x2^3*x4-1064*x1^2*x3*x4+19502*x1*x2*x3*x4-33119*x2^2*x3*x4+9421*x1*x3^2*x4+12806*x2*x3^2*x4+7905*x3^3*x4+94*x1^2*x4^2+6354*x1*x2*x4^2-53715*x2^2*x4^2+13135*x1*x3*x4^2+44*x2*x3*x4^2+7153*x3^2*x4^2+13217*x1*x4^3-25740*x2*x4^3+6559*x3*x4^3+4335*x4^4-2070*x1^3+10101*x1^2*x2+28098*x1*x2^2-14660*x2^3-12057*x1^2*x3+3120*x1*x2*x3-19168*x2^2*x3-13680*x1*x3^2-8659*x2*x3^2+284*x3^3-22662*x1^2*x4+28120*x1*x2*x4+29914*x2^2*x4-15894*x1*x3*x4-10030*x2*x3*x4-14*x3^2*x4-42410*x1*x4^2+1626*x2*x4^2-4028*x3*x4^2-9084*x4^3-1357*x1^2-8106*x1*x2-23092*x2^2-5888*x1*x3-5342*x2*x3-767*x3^2+20917*x1*x4-4238*x2*x4+3949*x3*x4+12749*x4^2-15229*x1-9610*x2+4159*x3-5308*x4+3108,
-2712*x1^4-9377*x1^3*x2+5114*x1^2*x2^2-199*x1*x2^3+43*x2^4-8179*x1^3*x3-3987*x1^2*x2*x3+13836*x1*x2^2*x3-5574*x2^3*x3+18830*x1^2*x3^2+20994*x1*x2*x3^2-9296*x2^2*x3^2+8409*x1*x3^3-9231*x2*x3^3-8613*x3^4+3992*x1^3*x4-11770*x1^2*x2*x4+8081*x1*x2^2*x4-1921*x2^3*x4+24882*x1^2*x3*x4+15450*x1*x2*x3*x4-296*x2^2*x3*x4+5393*x1*x3^2*x4+30015*x2*x3^2*x4-9222*x3^3*x4+11130*x1^2*x4^2-2429*x1*x2*x4^2+10906*x2^2*x4^2+24122*x1*x3*x4^2+30824*x2*x3*x4^2-40788*x3^2*x4^2+4109*x1*x4^3-1561*x2*x4^3-33156*x3*x4^3+4983*x4^4-649*x1^3-1077*x1^2*x2-3918*x1*x2^2+216*x2^3-827*x1^2*x3-33770*x1*x2*x3+9667*x2^2*x3+29736*x1*x3^2-5742*x2*x3^2-6066*x3^3+2284*x1^2*x4-3918*x1*x2*x4-120*x2^2*x4+37288*x1*x3*x4-29118*x2*x3*x4+27496*x3^2*x4+4981*x1*x4^2+3592*x2*x4^2+59180*x3*x4^2-10808*x4^3+4406*x1^2+13772*x1*x2-7367*x2^2+8694*x1*x3+4772*x2*x3-1500*x3^2+949*x1*x4+15841*x2*x4-36838*x3*x4-19651*x4^2+6078*x1-4497*x2+6930*x3+11772*x4-12744