M on the circumcircle : First barycentric of MÕ on K040 : Search number and/or X(i)

X74 : a*(a^4 - 2*a^2*b^2 + b^4 + a^2*c^2 + b^2*c^2 - 2*c^4)*(a^4 + a^2* b^2 - 2*b^4 - 2*a^2*c^2 + b^2*c^2 + c^4)*(2*a^6 - a^5*b - 2*a^4*b^2 - a^3*b^3 + a^2*b^4 + 2*a*b^5 - b^6 - a^5*c + 2*a^4*b*c + 2* a^3*b^2*c - a^2*b^3*c - a*b^4*c - b^5*c - 2*a^4*c^2 + 2*a^3*b* c^2 - a*b^3*c^2 + b^4*c^2 - a^3*c^3 - a^2*b*c^3 - a*b^2*c^3 + 2* b^3*c^3 + a^2*c^4 - a*b*c^4 + b^2*c^4 + 2*a*c^5 - b*c^5 - c^6) : 2.244621526449

X98 : b*c*(a^4 + b^4 - a^2*c^2 - b^2*c^2)*(-a^4 + a^2*b^2 + b^2*c^2 - c^4)*(-(a^6*b^2) + a^5*b^3 + a^4*b^4 - a^3*b^5 - a^4*b^3*c + a^2*b^5*c - a^6*c^2 + 2*a^4*b^2*c^2 - a^2*b^4*c^2 - a*b^5*c^2 + b^6* c^2 + a^5*c^3 - a^4*b*c^3 + a*b^4*c^3 + a^4*c^4 - a^2*b^2*c^4 + a*b^3*c^4 - 2*b^4*c^4 - a^3*c^5 + a^2*b*c^5 - a*b^2*c^5 + b^2*c^6) : 1.686409337829

X99 : b*(a + b)*c*(a + c)*(-(a^4*b) + a^3*b^2 - a^4*c + a^3*b*c - a^2*b^2*c + a^3*c^2 - a^2*b*c^2 - a*b^2*c^2 + b^3* c^2 + b^2*c^3) : 19.94840435561

X100 : - a^3 + a^2*b + a^2*c - 3*a*b*c + b^2*c + b*c^2 : 30.27640830175

X101 : a*(a*b - b^2 + a*c - c^2) : 2.957767722474 = X(518)

X102 : a*(a^4 - 2*a^2*b^2 + b^4 - a^3*c + a^2*b*c + a*b^2*c - b^3*c + a^2*c^2 - 2*a*b*c^2 + b^2*c^2 + a*c^3 + b*c^3 - 2*c^4)*( a^4 - a^3*b + a^2*b^2 + a*b^3 - 2*b^4 + a^2*b*c - 2*a*b^2*c + b^3*c - 2*a^2*c^2 + a*b*c^2 + b^2*c^2 - b*c^3 + c^4)*(2*a^6 - 2*a^5*b - a^4*b^2 + 2*a* b^5 - b^6 - 2*a^5*c + 4*a^4*b*c - 2*a*b^4*c - a^4*c^2 + b^4*c^2 - 2*a*b* c^4 + b^2*c^4 + 2*a*c^5 - c^6) : 2.495643065673

X103 : a*(a^3 - a^2*b - a*b^2 + b^3 + a*c^2 + b*c^2 - 2*c^3)*( a^3 + a*b^2 - 2*b^3 - a^2*c + b^2*c - a*c^2 + c^3)*(2*a^5 - 2*a^4*b - a^3*b^2 - a^2*b^3 + 3*a*b^4 - b^5 - 2*a^4*c + 4*a^3*b*c + a^2* b^2*c - 2*a*b^3*c - b^4*c - a^3*c^2 + a^2*b*c^2 - 2*a*b^2*c^2 + 2*b^3*c^2 - a^2*c^3 - 2*a*b*c^3 + 2*b^2*c^3 + 3* a*c^4 - b*c^4 - c^5) : 2.13353390713

X104 : (a^3 - a^2*b - a* b^2 + b^3 + 2*a*b*c - a*c^2 - b*c^2)*(a^3 - a*b^2 - a^2*c + 2*a*b*c - b^2*c - a*c^2 + c^3)*(a^5*b - a^4*b^2 - a^3*b^3 + a^2*b^4 + a^5* c - 2*a^4*b*c + 2*a^3*b^2*c - a^2*b^3*c + a*b^4*c - b^5*c - a^4*c^2 + 2*a^3*b*c^2 - a*b^3*c^2 - a^3*c^3 - a^2*b* c^3 - a*b^2*c^3 + 2*b^3*c^3 + a^2*c^4 + a*b*c^4 - b*c^5) : 1.84708753955

X105 : (a^2 + b^2 - a*c - b*c)*(a^2 - a*b - b*c + c^2)*(a^4* b - 2*a^3*b^2 + a^2*b^3 + a^4*c - b^4*c - 2*a^3*c^2 + b^3*c^2 + a^2*c^3 + b^2*c^3 - b*c^4) : 0.4105423261362 = X(919)

X106 : a*(a + b - 2*c)*(a - 2*b + c)*(2*a^3 - 2*a^2*b + a*b^2 - b^3 - 2*a^2*c + b^2* c + a* c^2 + b*c^2 - c^3) : 0.002631016499792

X107 : b*(a + b)*c*(a + c)*(-a^2 + b^2 - c^2)^2*(a^2 + b^2 - c^2)^2*(-(a^8*b) + a^7*b^2 + 2* a^6*b^3 - 2*a^5*b^4 - a^4*b^5 + a^3* b^6 - a^8*c + a^7*b*c + a^6*b^2*c - 2*a^5*b^3*c + a^4* b^4*c + a^3*b^5*c - a^2*b^6*c + a^7*c^2 + a^6*b*c^2 - a^5*b^2*c^2 - 3*a^4*b^3*c^2 + a^3*b^4*c^2 + a^2*b^5*c^2 - a*b^6*c^2 + b^7*c^2 + 2*a^6*c^3 - 2*a^5*b*c^3 - 3*a^4*b^2*c^3 + 2*a^3*b^3* c^3 + b^6*c^3 - 2*a^5*c^4 + a^4*b*c^4 + a^3*b^2*c^4 + 2*a*b^4*c^4 - 2* b^5*c^4 - a^4*c^5 + a^3*b*c^5 + a^2*b^2*c^5 - 2*b^4* c^5 + a^3*c^6 - a^2*b*c^6 - a*b^2*c^6 + b^3*c^6 + b^2*c^7) : -7.667396639209

X108 : - ((a - b - c)*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^4 - a^2*b^2 + a^2*b*c - b^3*c - a^2*c^2 + 2*b^2*c^2 - b*c^3)) : 1.882963431523 = X(243)

X110 : a*(a + b)*(a + c)*(a^3 - 2*a^2*b + b^3 - 2*a^2*c + a*b*c + c^3) : -58.3473232727 = X(2651)

X111 : a*(a^2 + b^2 - 2*c^2)*(a^2 - 2*b^2 + c^2)*(2*a^4 - a^3*b - 2*a^2*b^2 + 2*a*b^3 - b^4 - a^3*c + 2*a^2*b*c - a* b^2*c - b^3*c - 2*a^2*c^2 - a*b*c^2 + 4*b^2*c^2 + 2* a*c^3 - b*c^3 - c^4) : 0.1255692583326

X112 : a*(a + b)*(a + c)*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^5 - a^3* b^2 - a^2*b^3 + b^5 - a^3*b*c + a*b^3*c - a^3*c^2 + 2*a* b^2*c^2 - b^3*c^2 - a^2*c^3 + a*b*c^3 - b^2*c^3 + c^5) : 3.887474000075

X476 : b*(a + b)*c*(a + c)*(a^2 - a*b + b^2 - c^2)*(a^2 + a*b + b^2 - c^2)*(-a^2 + b^2 - a*c - c^2)*(-a^2 + b^2 + a*c - c^2)*(-(a^8*b) + a^7*b^2 + 2*a^6*b^3 - 2*a^5* b^4 - a^4*b^5 + a^3*b^6 - a^8* c + a^7*b*c + a^6*b^2*c - 2*a^5*b^3*c + a^4*b^4*c + a^3*b^5*c - a^2*b^6* c + a^7*c^2 + a^6*b*c^2 - 2*a^5*b^2*c^2 - a^4*b^3*c^2 + a^3*b^4*c^2 - a*b^6*c^2 + b^7*c^2 + 2*a^6*c^3 - 2*a^5*b* c^3 - a^4*b^2*c^3 + a^3*b^3*c^3 + b^6*c^3 - 2*a^5*c^4 + a^4*b*c^4 + a^3* b^2*c^4 + 2*a*b^4*c^4 - 2*b^5*c^4 - a^4*c^5 + a^3*b*c^5 - 2*b^4*c^5 + a^3*c^6 - a^2*b*c^6 - a*b^2*c^6 + b^3*c^6 + b^2*c^7) : 0.6515703512605

X477 : b*c*(a^8 + a^6*b^2 - 4*a^4*b^4 + a^2*b^6 + b^8 - 3*a^6*c^2 + 2*a^4*b^2*c^2 + 2*a^2*b^4*c^2 - 3*b^6*c^2 + 3*a^4*c^4 - 2*a^2*b^2*c^4 + 3* b^4*c^4 - a^2*c^6 - b^2*c^6)*(-a^8 + 3*a^6*b^2 - 3*a^4*b^4 + a^2*b^6 - a^6*c^2 - 2*a^4*b^2*c^2 + 2* a^2*b^4*c^2 + b^6*c^2 + 4*a^4*c^4 - 2*a^2* b^2*c^4 - 3*b^4*c^4 - a^2*c^6 + 3*b^2*c^6 - c^8)*(-(a^10*b^2) + a^9*b^3 + 3*a^8*b^4 - 3*a^7*b^5 - 3*a^6*b^6 + 3*a^5*b^7 + a^4*b^8 - a^3* b^9 - a^8*b^3*c + 3*a^6*b^5*c - 3*a^4*b^7*c + a^2*b^9*c - a^10*c^2 + a^7*b^3*c^2 + 2*a^5*b^5*c^2 - 2*a^3*b^7*c^2 - a*b^9*c^2 + b^10* c^2 + a^9*c^3 - a^8*b*c^3 + a^7*b^2*c^3 - 2*a^6*b^3*c^3 - 4*a^5*b^4* c^3 + 2*a^4*b^5*c^3 + a^3*b^6* c^3 + a^2*b^7*c^3 + a*b^8*c^3 + 3*a^8*c^4 - 4*a^5*b^3*c^4 + 2*a^3*b^5*c^4 + 3*a*b^7*c^4 - 4*b^8*c^4 - 3*a^7*c^5 + 3*a^6*b*c^5 + 2* a^5*b^2*c^5 + 2* a^4*b^3*c^5 + 2*a^3*b^4*c^5 - 4*a^2*b^5*c^5 - 3*a*b^6*c^5 - 3*a^6*c^6 + a^3* b^3*c^6 - 3*a*b^5*c^6 + 6*b^6*c^6 + 3*a^5*c^7 - 3*a^4*b* c^7 - 2*a^3*b^2*c^7 + a^2*b^3*c^7 + 3*a*b^4*c^7 + a^4*c^8 + a*b^3* c^8 - 4*b^4*c^8 - a^3*c^9 + a^2*b*c^9 - a*b^2*c^9 + b^2*c^10) : 2.577583754335

X675 : b*c*(a^3 + b^3 - a^2*c - b^2*c)*(-a^3 + a^2*b + b*c^2 - c^3)*(-(a^5*b^2) + 2*a^4*b^3 - a^3*b^4 - a^3*b^3*c + a^2* b^4*c - a^5*c^2 + 2*a^3*b^2*c^2 - a^2*b^3*c^2 - a*b^4*c^2 + b^5* c^2 + 2*a^4*c^3 - a^3*b*c^3 - a^2*b^2*c^3 + 2*a*b^3* c^3 - b^4*c^3 - a^3*c^4 + a^2*b*c^4 - a*b^2*c^4 - b^3*c^4 + b^2*c^5) : 1.256838838459

X681 : b^2*c^2*(-a^2 + b^2 - c^2)^2*(a^2 + b^2 - c^2)^2*(a^6 + a^5*b - a^4*b^2 - 2*a^3*b^3 - a^2*b^4 + a* b^5 + b^6 - 2*a^4*c^2 - 2*a^3*b*c^2 - 2*a*b^3* c^2 - 2*b^4*c^2 + a^2*c^4 + a*b*c^4 + b^2*c^4)*(a^6 - 2*a^4*b^2 + a^2*b^4 + a^5*c - 2*a^3*b^2* c + a*b^4*c - a^4*c^2 + b^4*c^2 - 2*a^3*c^3 - 2*a*b^2*c^3 - a^2*c^4 - 2*b^2*c^4 + a*c^5 + c^6)*(-(a^13*b^2) + a^12*b^3 + 4*a^11* b^4 - 4*a^10*b^5 - 6*a^9*b^6 + 6*a^8*b^7 + 4*a^7*b^8 - 4*a^6*b^9 - a^5*b^10 + a^4*b^11 - a^13*b*c + a^12*b^2*c + 3*a^11*b^3*c - 4* a^10*b^4*c - 2*a^9*b^5*c + 6*a^8*b^6*c - 2*a^7*b^7*c - 4*a^6*b^8*c + 3*a^5*b^9*c + a^4*b^10*c - a^3*b^11*c - a^13*c^2 + a^12*b*c^2 + 4*a^11*b^2*c^2 - 4*a^10*b^3*c^2 - 6*a^9* b^4*c^2 + 6*a^8*b^5*c^2 + 4*a^7*b^6*c^2 - 4*a^6*b^7*c^2 - a^5*b^8* c^2 + a^4*b^9*c^2 + a^12*c^3 + 3*a^11*b*c^3 - 4*a^10*b^2* c^3 - 9*a^9*b^3*c^3 + 7*a^8*b^4*c^3 + 6*a^7*b^5*c^3 - 4*a^6*b^6*c^3 + 2*a^5*b^7*c^3 - a^4*b^8*c^3 - a^3*b^9*c^3 - a* b^11*c^3 + b^12*c^3 + 4*a^11*c^4 - 4*a^10*b*c^4 - 6*a^9*b^2*c^4 + 7* a^8*b^3*c^4 + 2*a^5*b^6*c^4 - 4*a^4*b^7*c^4 + b^11*c^4 - 4*a^10* c^5 - 2*a^9*b*c^5 + 6*a^8*b^2*c^5 + 6*a^7*b^3*c^5 - 10* a^5*b^5*c^5 + 2*a^4*b^6*c^5 + 2*a^3*b^7*c^5 + 4* a*b^9*c^5 - 4*b^10*c^5 - 6*a^9*c^6 + 6*a^8*b*c^6 + 4*a^7* b^2*c^6 - 4*a^6*b^3*c^6 + 2*a^5*b^4*c^6 + 2*a^4*b^5*c^6 - 4*b^9* c^6 + 6*a^8*c^7 - 2*a^7*b*c^7 - 4*a^6*b^2*c^7 + 2*a^5*b^3*c^7 - 4*a^4*b^4*c^7 + 2*a^3*b^5*c^7 - 6*a*b^7*c^7 + 6*b^8*c^7 + 4*a^7*c^8 - 4* a^6*b*c^8 - a^5*b^2*c^8 - a^4*b^3*c^8 + 6*b^7*c^8 - 4*a^6*c^9 + 3* a^5*b*c^9 + a^4*b^2*c^9 - a^3*b^3*c^9 + 4*a*b^5*c^9 - 4*b^6*c^9 - a^5*c^10 + a^4*b*c^10 - 4*b^5*c^10 + a^4*c^11 - a^3*b*c^11 - a*b^3*c^11 + b^4*c^11 + b^3*c^12) : 4.336268375378

X689 : b^3*(a + b)*(a^2 + b^2)*c^3*(a + c)*(a^2 + c^2)*(-(a^6*b^3) + a^5*b^4 - a^6*b^2*c + a^5*b^3*c - a^4* b^4*c - a^6*b*c^2 + a^5*b^2*c^2 - a^6*c^3 + a^5*b*c^3 + a^5*c^4 - a^4*b* c^4 - a*b^4*c^4 + b^5*c^4 + b^4*c^5) : 12.31015227485

X691 : a*(a + b)*(a + c)*(a^2 + b^2 - 2*c^2)*(a^2 - 2*b^2 + c^2)*(a^5 + a^4*b - 2* a^3*b^2 - a^2*b^3 + b^5 + a^4*c - 2*a^3*b*c + a^2*b^2*c + a*b^3*c - 2*a^3*c^2 + \ a^2*b*c^2 + 3*a*b^2*c^2 - 2*b^3*c^2 - a^2* c^3 + a*b*c^3 - 2*b^2*c^3 + c^5) : 1.310486782224

X697 : a*(a^4*b + a*b^4 - a^4*c - b^4*c)*(a^4*b - a^4*c - a* c^4 + b*c^4)*(a^5*b^2 - a^4*b^3 + a^3*b^4 - a*b^6 - 2*a^5*b*c + a^4*b^2* c - 2*a^2*b^4*c + a*b^5*c + b^6*c + a^5*c^2 + a^4*b* c^2 + a*b^4*c^2 - b^5*c^2 - a^4*c^3 + a^3*c^4 - 2*a^2*b*c^4 + a*b^2* c^4 + a*b*c^5 - b^2*c^5 - a*c^6 + b*c^6) : 3.973538739143

 X699 : a*(a^4*b^2 + a^2*b^4 - a^4*c^2 - b^4*c^2)*(a^4*b^2 - a^4*c^2 - a^2*c^4 + b^2*c^4)*(a^5*b^3 - a^2*b^6 - a^5*b^2*c - a^3*b^4*c + a^2*b^5*c - a^5*b* c^2 + 2*a^4*b^2*c^2 - a^2*b^4*c^2 + b^6*c^2 + a^5*c^3 + a* b^4*c^3 - b^5*c^3 - a^3*b*c^4 - a^2*b^2*c^4 + a*b^3*c^4 + a^2*b*c^5 - b^3*c^5 - a^2*c^6 + b^2*c^6) : 3.151656885988

X701 : - (a*(a^4*b^3 + a^3*b^4 - a^4*c^3 - b^4*c^3)*(a^4*b^3 - a^4*c^3 - a^3*c^4 + b^3*c^4)*(2*a^5*b^4 - a^4*b^5 - a^3*b^6 - a^5*b^3*c - a^4* b^4*c + a^3*b^5*c + a^4*b^3*c^2 - a^5*b* c^3 + a^4*b^2*c^3 - a^2*b^4* c^3 + b^6*c^3 + 2*a^5*c^4 - a^4*b*c^4 - a^2*b^3*c^4 + 2*a*b^4*c^4 - b^5* c^4 - a^4*c^5 + a^3*b*c^5 - b^4*c^5 - a^3*c^6 + b^3*c^6)) : 2.211199833142

X703 : - (a*(2*a^4* b^4 - a^4*c^4 - b^4*c^4)*(a^4*b^4 - 2*a^4*c^4 + b^4*c^4)*(a^6* b^4 + a^5*b^5 - 2*a^4*b^6 - 2*a^5*b^4*c + a^4*b^5* c + a^4*b^4*c^2 + a^6*c^4 - 2*a^5*b*c^4 + a^4*b^2* c^4 - 2*a^2*b^4*c^4 + a*b^5*c^4 + b^6*c^4 + a^5*c^5 + a^4*b*c^5 + a*b^4*c^5 - 2*b^5*c^5 - 2*a^4*c^6 + b^4*c^6)) : 1.350799548286

X705 : a^2*(-(a^4*b^5) + a^5*c^4 - b^5*c^4 + a^4*c^5)*(a^5*b^4 + a^4*b^5 - a^4*c^5 - b^4*c^5)*(a^6*b^4 - a^3*b^7 - a^5*b^4* c + a^3*b^5*c^2 + a^6*c^4 - a^5*b*c^4 - a*b^5*c^4 + b^6*c^4 + a^3*b^2*c^5 - a*b^4*c^5 + b^4*c^6 - a^3* c^7) : 0.7102985177437

X707 : a*(-(a^4*b^6) + a^6*c^4 - b^6*c^4 + a^4*c^6)*(a^6*b^4 + a^4*b^6 - a^4*c^6 - b^4*c^6)*(a^8*b^4 - a^6*b^6 + a^5* b^7 - a^4*b^8 - a^7*b^4*c + a^6*b^5*c - a^5*b^6*c + a^4*b^6*c^2 + a^8*c^4 - \ a^7*b*c^4 - a^2*b^6* c^4 + a*b^7*c^4 + a^6*b*c^5 - b^7*c^5 - a^6*c^6 - a^5*b*c^6 + a^4*b^2*c^6 - a^2*b^4*c^6 + 2*b^6*c^6 + a^5*c^7 + a*b^4*c^7 - b^5*c^7 - a^4* c^8) : 0.3131828922468

X709 : a*(-(a^4*b^7) + a^7*c^4 - b^7*c^4 + a^4*c^7)*(a^7*b^4 + a^4*b^7 - a^4*c^7 - b^4*c^7)*(a^9*b^4 - a^7*b^6 + a^5*b^8 - a^4*b^9 - a^8*b^4*c + a^7*b^5*c - a^5*b^7*c + a^4*b^7*c^2 + a^9*c^4 - a^8*b*c^4 - a^2*b^7* c^4 + a*b^8*c^4 + a^7*b*c^5 - b^8*c^5 - a^7* c^6 + b^7*c^6 - a^5*b*c^7 + a^4*b^2*c^7 - a^2*b^4*c^7 + b^6*c^7 + a^5*c^8 + a*b^4*c^8 - b^5*c^8 - a^4*c^9) : 0.1055881662292

X711 : a*(a^4 + b^4)*(-b^2 + a*c)*(b^2 + a*c)*(a*b - c^2)*(a*b + c^2)*(b^4 + a^2*c^2)*(a^4 + c^4)*(a^2*b^2 + c^4)*(a^10*b^4 - a^8*b^6 + a^5*b^9 - a^4*b^10 - a^9*b^4*c + a^8*b^5*c - a^5*b^8*c + a^4* b^8*c^2 + a^10*c^4 - a^9*b*c^4 - a^2*b^8*c^4 + a*b^9*c^4 + a^8*b*c^5 - b^9*c^5 - a^8*c^6 + b^8*c^6 - a^5*b*c^8 + a^4*b^2*c^8 - a^2*b^4*c^8 + b^6*c^8 + a^5*c^9 + a*b^4*c^9 - b^5*c^9 - a^4* c^10) : 0.01672418743213

X713 : a*(a^3*b + a*b^3 - a^3*c - b^3* c)*(a^3*b - a^3*c - a*c^3 + b*c^3)*(a^4*b^2 - a*b^5 - 2*a^4*b*c + a^3*b^2*c - 2*a^2*b^3*c + a*b^4*c + b^5*c + a^4*c^2 + a^3*b*c^2 + a*b^3*c^2 - b^4*c^2 - 2*a^2*b*c^3 + a*b^2*c^3 + a* b*c^4 - b^2*c^4 - a*c^5 + b*c^5) : 2.527307118895

X715 : - (a*(a + b)*(a + c)*(a^2*b^2 - a^2*c^2 + a*b*c^2 - b^2* c^2)*(a^2*b^2 - a*b^2*c - a^2*c^2 + b^2*c^2)*(2*a^4*b^3 - a^3*b^4 - a^2*b^5 - a^4*b^2*c - a^3*b^3*c + a^2*b^4*c - a^4*b*c^2 + 2*a^3*b^2*c^2 - a^2*b^3*c^2 + b^5*c^2 + 2*a^4*c^3 - a^3*b*c^3 - a^2*b^2*c^3 + 2*a*b^3*c^3 - b^4*c^3 - a^3*c^4 + a^2*b*c^4 - b^3*c^4 - a^2*c^5 + b^2*c^5)) : 1.678385621322

X717 : - (a*(2*a^3*b^3 - a^3*c^3 - b^3*c^3)*(a^3*b^3 - 2*a^3* c^3 + b^3*c^3)*(a^5*b^3 + a^4*b^4 - 2*a^3*b^5 - 2*a^4*b^3*c + a^3*b^4*c + a^3*b^3*c^2 + a^5*c^3 - 2*a^4*b*c^3 + a^3*b^2*c^3 - 2*a^2* b^3*c^3 + a*b^4*c^3 + b^5*c^3 + a^4*c^4 + a^3*b*c^4 + a*b^3*c^4 - 2*b^4* c^4 - 2*a^3*c^5 + b^3*c^5)) : 0.9475273917162

X719 : a^2*(a + b)*(a + c)*(-(a^2*b^4) + a* b^4*c - b^4*c^2 + a^3*c^3)*(a^3*b^3 - a^2*c^4 + a*b*c^4 - b^2*c^4)*( a^5*b^3 - a^2* b^6 - a^4*b^3*c + a^2*b^4*c^2 + a^5*c^3 - a^4*b*c^3 - a*b^4*c^3 + b^5*c^3 + a^2*b^2* c^4 - a*b^3*c^4 + b^3*c^5 - a^2*c^6) : 0.4351241102209

X721 : a*(-(a^3*b^5) + a^5*c^3 - b^5*c^3 + a^3*c^5)*(a^5*b^3 + a^3*b^5 - a^3*c^5 - b^3*c^5)*(a^7*b^3 - a^5*b^5 + a^4*b^6 - a^3*b^7 - a^6* b^3*c + a^5*b^4*c - a^4*b^5*c + a^3*b^5*c^2 + a^7*c^3 - a^6*b*c^3 - a^2* b^5*c^3 + a*b^6*c^3 + a^5*b*c^4 - b^6*c^4 - a^5*c^5 - a^4*b*c^5 + a^3* b^2*c^5 - a^2*b^3*c^5 + 2*b^5*c^5 + a^4*c^6 + a*b^3* c^6 - b^4*c^6 - a^3*c^7)* : 0.1446352215155

X723 : a*(a + b)*(a^2 - a*b + b^2)*(a + c)*(-b^2 + a*c)*(a*b - c^2)*(a^2 - a*c + c^2)*(b^4 + a*b^2*c + a^2*c^2)*(a^2*b^2 + a*b*c^2 + c^4)*(a^8*b^3 - a^6*b^5 + a^4*b^7 - a^3* b^8 - a^7*b^3*c + a^6*b^4* c - a^4*b^6*c + a^3*b^6*c^2 + a^8*c^3 - a^7*b*c^3 - a^2*b^6* c^3 + a*b^7*c^3 + a^6*b*c^4 - b^7*c^4 - a^6*c^5 + b^6*c^5 - a^4*b*c^6 + a^3* b^2*c^6 - a^2*b^3*c^6 + b^5*c^6 + a^4*c^7 + a*b^3*c^7 - b^4* c^7 - a^3*c^8) : 0.01872609229698

X725 : a*(-(a^3*b^7) + a^7*c^3 - b^7*c^3 + a^3* c^7)*(a^7*b^3 + a^3*b^7 - a^3*c^7 - b^3*c^7)*(a^9*b^3 - a^7*b^5 + a^4* b^8 - a^3*b^9 - a^8*b^3*c + a^7*b^4*c - a^4*b^7*c + a^3*b^7* c^2 + a^9*c^3 - a^8*b*c^3 - a^2*b^7*c^3 + a* b^8*c^3 + a^7*b*c^4 - b^8*c^4 - a^7*c^5 + b^7*c^5 - a^4*b*c^7 + a^3*b^2* c^7 - a^2*b^3*c^7 + b^5*c^7 + a^4*c^8 + a*b^3*c^8 - b^4*c^8 - a^3*c^9) : -0.009912977044774

X727 : - (a*(a^2*b + a*b^2 - a^2*c - b^2*c)*(a^2*b - a^2*c - a*c^2 + b*c^2)*( 2*a^3*b^2 - a^2*b^3 - a*b^4 - 2*a^3*b*c - a^2*b^2*c + a*b^3*c + b^4* c + 2*a^3*c^2 - a^2*b*c^2 + 2* a*b^2*c^2 - b^3*c^2 - a^2*c^3 + a*b*c^3 - b^2*c^3 - a*c^4 + b*c^4))* : 1.104913838596

X729 : - (a*(2*a^2*b^2 - a^2*c^2 - b^2*c^2)*( a^2*b^2 - 2*a^2*c^2 + b^2*c^2)*(a^4*b^2 + a^3*b^3 - 2*a^2* b^4 - 2*a^3*b^2*c + a^2*b^3*c + a^4*c^2 - 2*a^3*b* c^2 + a*b^3*c^2 + b^4*c^2 + a^3*c^3 + a^2*b*c^3 + a*b^2*c^3 - 2*b^3*c^3 - 2*a^2*c^4 + b^2*c^4)) : 0.5409048742915

X731 : a^2*(-(a^2*b^3) + a^3*c^2 - b^3*c^2 + a^2*c^3)*(a^3*b^2 + a^2*b^3 - a^2*c^3 - b^2*c^3)*(a^4*b^2 - a*b^5 - a^3*b^2*c + a^4*c^2 - a^3*b*c^2 + b^4*c^2 + b^2*c^4 - a*c^5) : 0.1831691163295

X733 : a*(a^2 + b^2)*(-b^2 + a*c)*(b^2 + a*c)*(a*b - c^2)*(a^2 + c^2)*(a*b + c^2)*(a^6*b^2 - a^4*b^4 + a^3*b^5 - a^2* b^6 - a^5*b^2*c + a^4*b^3*c - a^3*b^4*c + a^6*c^2 - a^5*b*c^2 + a*b^5* c^2 + a^4*b*c^3 - b^5*c^3 - a^4*c^4 - a^3*b*c^4 + 2*b^4*c^4 + a^3*c^5 + a*b^2*c^5 - b^3*c^5 - a^2*c^6) : 0.01984611012513

X735 : a*(-(a^2*b^5) + a^5*c^2 - b^5*c^2 + a^2*c^5)*(a^5*b^2 + a^2* b^5 - a^2*c^5 - b^2*c^5)*(a^7*b^2 - a^5*b^4 + a^3*b^6 - a^2* b^7 - a^6*b^2*c + a^5*b^3*c - a^3*b^5*c + a^7*c^2 - a^6*b*c^2 + a*b^6* c^2 + a^5*b*c^3 - b^6*c^3 - a^5*c^4 + b^5* c^4 - a^3*b*c^5 + b^4*c^5 + a^3*c^6 + a*b^2*c^6 - b^3* c^6 - a^2*c^7) : -0.007768262493761

X737 : a*(-(a^2*b^6) + a^6*c^2 - b^6*c^2 + a^2*c^6)*(a^6*b^2 + a^2*b^6 - a^2*c^6 - b^2*c^6)*(a^8*b^2 - a^6*b^4 + a^3*b^7 - a^2*b^8 - a^7*b^2*c + a^6*b^3*c - a^3* b^6*c + a^8*c^2 - a^7*b*c^2 + a*b^7*c^2 + a^6*b*c^3 - b^7* c^3 - a^6*c^4 + b^6*c^4 - a^3*b*c^6 + b^4*c^6 + a^3*c^7 + a* b^2*c^7 - b^3*c^7 - a^2*c^8) : 0.03720535097102

X739 : - (a*(2*a*b - a*c - b*c)*(a*b - 2*a*c + b*c)*(a^3*b + a^2*b^2 - 2*a*b^3 + a^3*c - 6*a^2*b*c + 3*a*b^2*c + b^3*c + a^2*c^2 + 3*a*b* c^2 - 2*b^2*c^2 - 2*a*c^3 + b*c^3)) : 0.2081720111332

X741 : a^2*(a + b)*(a + c)*(-b^2 + a*c)*(a*b - c^2)*(a^3* b - b^4 + a^3*c - 2*a^2*b*c - a*b^2*c + b^3*c - a*b*c^2 + 2*b^2* c^2 + b*c^3 - c^4) : 0.02019337042434

X743 : a*(-(a*b^3) + a^3*c - b^3* c + a*c^3)*(a^3*b + a*b^3 - a*c^3 - b*c^3)*(a^5*b - a^3*b^3 + a^2*b^4 - a*b^5 + a^5*c - 2*a^4*b*c + a^3*b^2*c - 2*a^2*b^3*c + a*b^4* c + a^3*b*c^2 + a*b^3*c^2 - b^4*c^2 - a^3*c^3 - 2*a^2*b*c^3 + a*b^2*c^3 + 2* b^3*c^3 + a^2* c^4 + a*b*c^4 - b^2*c^4 - a* c^5) : -0.002405510947275

X745 : a*(a + b)*(a + c)*(-b^4 + a^3*c - a^2*c^2 + a*c^3)*(a^3*b - a^2*b^2 + a*b^3 - c^4)*(a^6*b - a^4*b^3 + a^2*b^5 - a*b^6 + a^6* c - 2*a^5*b*c + a^4*b^2*c - 2*a^2*b^4*c + a*b^5*c + a^4*b* c^2 + a*b^4*c^2 - b^5*c^2 - a^4*c^3 + b^4*c^3 - 2*a^2*b*c^4 + a*b^2* c^4 + b^3*c^4 + a^2*c^5 + a*b*c^5 - b^2*c^5 - a*c^6) : 0.08130963331588

X747 : a*(-(a*b^5) + a^5*c - b^5*c + a*c^5)*(a^5*b + a*b^5 - a* c^5 - b*c^5)*(a^7*b - a^5*b^3 + a^2*b^6 - a*b^7 + a^7*c - 2* a^6*b*c + a^5*b^2*c - 2*a^2* b^5*c + a*b^6*c + a^5*b*c^2 + a*b^5*c^2 - b^6*c^2 - a^5*c^3 + b^5*c^3 - 2*a^2*b*c^5 + a*b^2* c^5 + b^3*c^5 + a^2*c^6 + a*b*c^6 - b^2*c^6 - a*c^7) : 0.2118283907552

X753 : a*(a^3 + b^3 - 2*c^3)*(a^3 - 2*b^3 + c^3)*(2*a^5 - a^4* b - a^3*b^2 - a^2*b^3 + 2*a*b^4 - b^5 - a^4*c + 2*a^3*b*c - a*b^3*c - b^4* c - a^3*c^2 + 2*b^3*c^2 - a^2*c^3 - a*b*c^3 + 2*b^2*c^3 + 2*a* c^4 - b* c^4 - c^5) : 0.3288051573141

X755 : a*(a^4 + b^4 - 2*c^4)*(a^4 - 2*b^4 + c^4)*(2*a^6 - a^5*b - a^4*b^2 - a^2*b^4 + 2*a*b^5 - b^6 - a^5*c + 2*a^4*b*c - a*b^4*c - b^5*c - a^4*c^2 + 2*b^4*c^2 - a^2* c^4 - a*b*c^4 + 2*b^2*c^4 + 2*a*c^5 - b*c^5 - c^6) : 0.5543708837254

X759 : (a + b)*(a + c)*(a^2 - a*b + b^2 - c^2)*(a^2 - b^2 - a*c + c^2)*(a^5*b - a^4*b^2 - a^3*b^3 + a^2*b^4 + a^5* c - b^5*c - a^4*c^2 - a^3*c^3 + 2*b^3*c^3 + a^2*c^4 - b*c^5) : 0.7364886165904

X761 : (a^4 + b^4 - a*c^3 - b*c^3)*(a^4 - a*b^3 - b^3*c + c^4)*( a^6*b - a^5*b^2 - a^3*b^4 + a^2*b^5 + a^6*c - b^6*c - a^5*c^2 + b^4* c^3 - a^3*c^4 + b^3*c^4 + a^2*c^5 - b*c^6) : 1.063330909019

X767 : b^2*c^2*(a^4 + b^4 - a^3*c - b^3*c)*(-a^4 + a^3* b + b*c^3 - c^4)*(-(a^6*b^3) + 2* a^5*b^4 - a^4*b^5 - a^4*b^4*c + a^3*b^5*c + a^4*b^3*c^2 - a^3*b^4* c^2 - a^6*c^3 + a^4*b^2*c^3 - a*b^5*c^3 + b^6*c^3 + 2*a^5*c^4 - a^4*b*c^4 - a^3*b^2*c^4 + 2*a*b^4*c^4 - b^5* c^4 - a^4*c^5 + a^3*b*c^5 - a*b^3*c^5 - b^4*c^5 + b^3*c^6) : 2.342661140342

X769 : a*(a^3*b + a^2*b^2 + a* b^3 + a^3*c + a^2*b*c + a*b^2*c + b^3*c)*(a^3*b + a^3*c + a^2*b*c + a^2*c^2 + a*b*c^2 + a*c^3 + b*c^3)*(a^5*b - a^4*b^2 - a^3*b^3 + a*b^5 + a^5*c - 2*a^4*b*c - a^3*b^2*c + b^5*c - a^4*c^2 - a^3*b* c^2 + a*b^3*c^2 - a^3*c^3 + a*b^2* c^3 + a*c^5 + b*c^5) : -22.44212935498

X773 : - (a*(a^3*b^3 + a^2*b^3*c + a*b^3*c^2 + a^3*c^3 + b^3*c^3)*( a^3*b^3 + a^3*c^3 + a^2*b*c^3 + a*b^2*c^3 + b^3*c^3)*(a^4*b^4 - a^3*b^5 + a^5*b^2*c + a^5*b*c^2 - a^4*b^2*c^2 + a^2*b^3*c^3 - b^5* c^3 + a^4*c^4 - a^3*c^5 - b^3*c^5)) : 65.1175273699

X777 : - (a*(-(a^3*b^5) - a^2*b^5*c - a*b^5* c^2 - b^5* c^3 + a^4*c^4)*(a^4*b^4 - a^3*c^5 - a^2*b*c^5 - a*b^2*c^5 - \ b^3*c^5)*(a^7*b^3 - 2*a^5*b^5 + a^4*b^6 + a^7*b^2*c - a^6*b^3*c + a^4* b^5*c + a^7*b* c^2 - a^6*b^2*c^2 + a^7*c^3 - a^6*b*c^3 - a^2*b^4*c^4 + a*b^5*c^4 - 2*a^5* c^5 + a^4*b*c^5 + a*b^4*c^5 - 2*b^5*c^5 + a^4*c^6)) : 3.278137940679

X779 : - (a*(a + b)*(a + c)*(-(a^2*b^6) - b^6*c^2 + a^4*c^4)*(a^4*b^4 - a^2*c^6 - b^2*c^6)*(a^8*b^3 - a^6*b^5 - a^5*b^6 + a^4*b^7 + a^8*b^2* c - a^7*b^3*c + a^4*b^6*c + a^8*b*c^2 - a^7*b^2*c^2 + a^8*c^3 - a^7*b*c^3 - a^2*b^5*c^4 + a*b^6*c^4 - a^6*c^5 - a^2*b^4*c^5 + a*b^5*c^5 - b^6*c^5 - a^5*c^6 + a^4*b* c^6 + a*b^4*c^6 - b^5* c^6 + a^4*c^7)) : 0.7444598905016

X781 : - (a*(-(a^3*b^7) - a^2*b^7*c - a*b^7*c^2 - b^7*c^3 + a^6*c^4 + a^5*c^5 + a^4*c^6)*(a^6*b^4 + a^5*b^5 + a^4*b^6 - a^3*c^7 - a^2*b* c^7 - a*b^2*c^7 - b^3*c^7)*(a^9*b^3 - a^7* b^5 - a^5*b^7 + a^4*b^8 + a^9*b^2*c - a^8*b^3*c + a^4*b^7*c + a^9* b*c^2 - a^8*b^2*c^2 + a^9*c^3 - a^8* b*c^3 - a^2*b^6*c^4 + a*b^7*c^4 - a^7*c^5 - a^2*b^5*c^5 + a*b^6*c^5 - b^7*c^5 - a^2*b^4*c^6 + a*b^5*c^6 - a^5*c^7 + a^4*b*c^7 + a*b^4*c^7 - b^5*c^7 + a^4*c^8)) : 0.09172525262887

X783 : - (a*(a + b)*(a^2 + b^2)*(a + c)*(-b^2 + a*c)*(b^2 + a*c)*(a*b - c^2)*(a^2 + c^2)*(a*b + c^2)*(b^4 + a^2*c^2)*(a^2*b^2 + c^4)*(a^10*b^3 - a^8*b^5 - a^5* b^8 + a^4*b^9 + a^10*b^2*c - a^9*b^3*c + a^4*b^8*c + a^10* b*c^2 - a^9*b^2*c^2 + a^10*c^3 - a^9*b*c^3 - a^2*b^7*c^4 + a*b^8* c^4 - a^8*c^5 - a^2*b^6*c^5 + a*b^7*c^5 - b^8* c^5 - a^2*b^5*c^6 + a*b^6*c^6 - a^2*b^4*c^7 + a*b^5*c^7 - a^5*c^8 + a^4*b*c^8 + a*b^4*c^8 - b^5*c^8 + a^4*c^9)) : -0.009809226270691

X785 : a*(a^2*b + a*b^2 + a^2*c + a*b*c + b^2*c)*(a^2*b + a^2*c + a*b*c + a*c^2 + b*c^2)*(a^4*b - 2* a^3*b^2 + a*b^4 + a^4*c - 3*a^3*b*c + b^4*c - 2*a^3*c^2 + a*b^2* c^2 + a*c^4 + b*c^4) : -48.46519283154

X787 : - (a*(a^2*b^2 + a*b^2* c + a^2*c^2 + b^2*c^2)*(a^2*b^2 + a^2*c^2 + a*b*c^2 + b^2*c^2)*(a^3*b^3 - \ a^2*b^4 + a^4*b*c + a^2*b^2*c^2 - b^4*c^2 + a^3*c^3 - a^2*c^4 - b^2*c^4)) : 141.0543338643

X789 : b^2*(a^2 + a*b + b^2)*c^2*(a^2 + a*c + c^2)*(-(a^5*b^2) + a^4* b^3 - a^5*b*c + a^4*b^2*c - a^3*b^3*c - a^5*c^2 + a^4*b*c^2 + a^4*c^3 - a^3*b*c^3 - a*b^3*c^3 + b^4*c^3 + b^3*c^4) : 15.02163978691

X791 : - (a*(-(a^2*b^4) - a*b^4*c - b^4*c^2 + a^3*c^3)*(a^3*b^3 - \ a^2*c^4 - a*b*c^4 - b^2*c^4)*(a^6*b^2 - 2*a^4*b^4 + a^3*b^5 + a^6*b*c - a^5*b^2*c + a^3*b^4*c + a^6*c^2 - a^5*b*c^2 - a^2*b^3* c^3 + a*b^4*c^3 - 2*a^4*c^4 + a^3*b*c^4 + a*b^3*c^4 - 2*b^4*c^4 + a^3*c^5)) : 3.078591713693

X793 : - (a*(-(a^2*b^5) - a*b^5*c - b^5*c^2 + a^4*c^3 + a^3*c^4)*(a^4* b^3 + a^3*b^4 - a^2*c^5 - a*b*c^5 - b^2*c^5)*(a^7* b^2 - a^5*b^4 - a^4*b^5 + a^3*b^6 + a^7*b*c - a^6*b^2*c + a^3*b^5*c + a^7*c^2 - a^6*b*c^2 - a^2* b^4*c^3 + a*b^5*c^3 - a^5*c^4 - a^2*b^3*c^4 + a* b^4*c^4 - b^5*c^4 - a^4*c^5 + a^3*b*c^5 + a*b^3* c^5 - b^4* c^5 + a^3*c^6)) : 0.3829346190091

X795 : - (a*(a^2 + a*b + b^2)*(-b^2 + a*c)*(a*b - c^2)*(a^2 + a*c + c^2)*(b^4 + a* b^2*c + a^2*c^2)*(a^2*b^2 + a*b*c^2 + c^4)*(a^8*b^2 - a^6*b^4 - a^4* b^6 + a^3*b^7 + a^8*b*c - a^7*b^2*c + a^3*b^6*c + a^8*c^2 - a^7*b* c^2 - a^2*b^5*c^3 + a*b^6*c^3 - a^6*c^4 - a^2*b^4*c^4 + a*b^5*c^4 - b^6*c^4 - a^2*b^3*c^5 + a* b^4*c^5 - a^4*c^6 + a^3*b*c^6 + a*b^3*c^6 - b^4*c^6 + a^3*c^7)) : -0.00986020038232

X797 : - (a*(-(a^2*b^7) - a*b^7*c - b^7*c^2 + a^6*c^3 + a^5* c^4 + a^4*c^5 + a^3*c^6)*(a^6*b^3 + a^5*b^4 + a^4*b^5 + a^3*b^6 - a^2*c^7 - a*b*c^7 - b^2*c^7)*(a^9* b^2 - a^7*b^4 - a^4*b^7 + a^3*b^8 + a^9*b*c - a^8*b^2*c + a^3*b^7* c + a^9*c^2 - a^8*b*c^2 - a^2* b^6*c^3 + a*b^7*c^3 - a^7*c^4 - a^2*b^5*c^4 + a*b^6*c^4 - b^7*c^4 - a^2*b^4*c^5 + a*b^5*c^5 - a^2*b^3*c^6 + a*b^4* c^6 - a^4*c^7 + a^3*b*c^7 + a*b^3*c^7 - b^4*c^7 + a^3*c^8)) : 0.1058080268839

X803 : - (a*(-(a*b^3) - b^3*c + a^2*c^2)*(a^2*b^2 - a*c^3 - b*c^3)*(a^5*b - 2*a^3*b^3 + a^2*b^4 + a^5*c - a^4*b*c + a^2*b^3*c - a^2*b^2*c^2 + a*b^3*c^2 - 2* a^3*c^3 + a^2*b*c^3 + a*b^2*c^3 - 2*b^3*c^3 + a^2*c^4)) : 2.280823648211

X805 : - (a*(a + b)*(a + c)*(-b^2 + a*c)*(b^2 + a*c)*(a*b - c^2)*(a*b + c^2)*(a^6*b - a^4*b^3 - a^3*b^4 + a^2* b^5 + a^6*c - a^5*b*c + a^2*b^4*c - a^2*b^3*c^2 + a*b^4*c^2 - a^4*c^3 - a^2*b^2*c^3 + a*b^3*c^3 - b^4*c^3 - a^3*c^4 + a^2*b*c^4 + a*b^2*c^4 - b^3*c^4 + a^2*c^5)) : -0.00920571944543

X807 : - (a*(-(a*b^5) - b^5*c + a^4*c^2 + a^3*c^3 + a^2*c^4)*(a^4*b^2 + a^3*b^3 + a^2*b^4 - a*c^5 - b* c^5)*(a^7*b - a^5*b^3 - a^3*b^5 + a^2*b^6 + a^7*c - a^6*b*c + a^2* b^5*c - a^2*b^4*c^2 + a*b^5*c^2 - a^5*c^3 - a^2*b^3*c^3 + a*b^4*c^3 - b^5*c^3 - a^2*b^2*c^4 + a*b^3*c^4 - a^3*c^5 + \ a^2*b*c^5 + a*b^2*c^5 - b^3* c^5 + a^2*c^6)) : 0.4333980647869

X809 : - (a*(a + b)*(a + c)*(-b^6 + a^4*c^2 + a^2*c^4)*( a^4*b^2 + a^2*b^4 - c^6)*(a^8*b - a^6*b^3 - a^3*b^6 + a^2*b^7 + a^8*c - a^7*b*c + a^2*b^6*c - a^2*b^5*c^2 + a*b^6*c^2 - a^6*c^3 - a^2*b^4*c^3 + a*b^5*c^3 - b^6*c^3 - a^2*b^3*c^4 + a*b^4*c^4 - a^2*b^2*c^5 + a*b^3*c^5 - a^3*c^6 + a^2*b*c^6 + a*b^2*c^6 - b^3*c^6 + a^2*c^7)) : 0.9835719605222

X813 : - (a*(-b^2 + a*c)*(a*b - c^2)*(a^4 - 2*a^2*b^2 + a*b^3 - a^2*b*c + 2*a*b^2*c - 2*a^2*c^2 + 2*a*b* c^2 - 2*b^2*c^2 + a*c^3)) : -0.008268738709928

X815 : - (a*(-b^3 + a^2*c + a*c^2)*(a^2*b + a*b^2 - c^3)*( a^5 - a^3*b^2 - a^2*b^3 + a*b^4 - a^2*b^2*c + 2*a*b^3*c - a^3*c^2 - a^2*b*c^2 + a*b^2*c^2 - b^3*c^2 - a^2*c^3 + 2*a*b*c^3 - b^2*c^3 + a*c^4)) : 3.34621789766

X817 : - (a*(-b^4 + a^3*c + a^2*c^2 + a*c^3)*(a^3*b + a^2*b^2 + a*b^3 - c^4)*(a^6 - a^4*b^2 - a^2*b^4 + a*b^5 - a^2*b^3*c + 2*a*b^4*c - a^4*c^2 - a^2*b^2*c^2 + a*b^3*c^2 - b^4*c^2 - a^2*b*c^3 + a*b^2*c^3 - a^2*c^4 + 2*a*b*c^4 - b^2*c^4 + a*c^5)) : 4.404525190166

X819 : - (a*(-b^5 + a^4*c + a^3*c^2 + a^2*c^3 + a*c^4)*(a^4*b + a^3*b^2 + a^2*b^3 + a*b^4 - c^5)*( a^7 - a^5*b^2 - a^2*b^5 + a*b^6 - a^2*b^4*c + 2*a*b^5*c - a^5*c^2 - a^2*b^3*c^2 + a*b^4*c^2 - b^5*c^2 - a^2* b^2*c^3 + a*b^3*c^3 - a^2*b*c^4 + a*b^2*c^4 - a^2* c^5 + 2*a*b*c^5 - b^2*c^5 + a*c^6)) : 4.604926791363

X825 : a*(a^2 + a*b + b^2)*(a^2 + a*c + c^2)*(a^4 - a^3*b - a^2*b^2 + b^4 - a^3*c - a^2*b*c + a*b^2*c - a^2*c^2 + a* b*c^2 + c^4) : -26.30925943663

X827 : a*(a + b)*(a^2 + b^2)*(a + c)*(a^2 + c^2)*(a^5 - a^4*b - a^2* b^3 + b^5 - a^4*c - a^2*b^2*c + a*b^3*c - a^2*b*c^2 + a*b^2*c^2 - a^2* c^3 + a*b*c^3 + c^5) : -14.97275183295

X831 : - ((a^2 + a*b + b^2 + c^2)*(a^2 + b^2 + a*c + c^2)*( a^5 - a^4*b + a^3*b^2 - a^2*b^3 - a^4*c + 3*a^3*b*c - a^2*b^2*c + 2*a* b^3*c - b^4*c + a^3*c^2 - a^2*b*c^2 - b^3*c^2 - a^2* c^3 + 2*a*b*c^3 - b^2* c^3 - b*c^4)) : 39.03195215638

X833 : - (( a^3 + a^2*b + a*b^2 + b^3 + c^3)*(a^3 + b^3 + a^2*c + a*c^2 + c^3)*(a^6 - a^5*b + a^3*b^3 - a^2*b^4 - a^5*c + 2*a^4*b*c + a^3*b^2*c - a^2* b^3*c + 2*a*b^4*c - b^5*c + a^3*b*c^2 - a^2*b^2* c^2 - b^4*c^2 + a^3*c^3 - a^2*b*c^3 - a^2*c^4 + 2*a*b*c^4 - b^2* c^4 - b*c^5)) : 58.56331554273

X835 : b*c*(a^2 + a*b + b^2 + a*c + b*c)*(a^2 + a*b + a*c + b*c + c^2)*(-(a^5*b) + a^3*b^3 - a^5*c - a^2*b^3*c - a*b^3* c^2 + b^4*c^2 + a^3*c^3 - a^2*b*c^3 - a*b^2*c^3 + 2*b^3*c^3 + b^2*c^4)* : 18.76822143811

X839 : b^2*c^2*(a^3 + a^2*b + a*b^2 + b^3 + a^2*c + a*b*c + b^2* c)*(a^3 + a^2*b + a^2*c + a*b*c + a*c^2 + b*c^2 + c^3)*(-( a^6*b^2) + a^4*b^4 - a^6*b*c - a^3*b^4*c - a^6*c^2 + a^4* b^2*c^2 - a*b^4*c^3 + b^5*c^3 + a^4*c^4 - a^3*b*c^4 - a*b^3*c^4 + 2*b^4* c^4 + b^3*c^5) : 14.16126806239

X840 : a*(2*a - b - c)*(a^3 - a^2*b - a*b^2 + b^3 - a^2*c - b^2*c + 2*a*c^2 + 2*b*c^2 - 2*c^3)*(a^3 - a^2* b + 2*a*b^2 - 2*b^3 - a^2*c + 2*b^2*c - a*c^2 - b*c^2 + c^3) : 7.777072426904

X841 : a*(a^10 - 3*a^8*b^2 + 2*a^6*b^4 + 2*a^4*b^6 - 3*a^2*b^8 + b^10 + 3*a^8*c^2 + 8*a^6*b^2*c^2 - 22*a^4*b^4*c^2 + 8*a^2*b^6*c^2 + 3*b^8* c^2 - 13*a^6*c^4 + 11*a^4*b^2*c^4 + 11*a^2*b^4*c^4 - 13*b^6*c^4 + 11*a^4*c^6 - 16*a^2*b^2*c^6 + 11*b^4*c^6 - 2*c^10)*(a^10 + 3*a^8* b^2 - 13*a^6*b^4 + 11*a^4*b^6 - 2*b^10 - 3*a^8*c^2 + 8* a^6*b^2*c^2 + 11*a^4*b^4*c^2 - 16*a^2*b^6*c^2 + 2*a^6*c^4 - 22* a^4*b^2*c^4 + 11*a^2*b^4*c^4 + 11*b^6*c^4 + 2*a^4*c^6 + 8* a^2*b^2*c^6 - 13*b^4*c^6 - 3*a^2*c^8 + 3*b^2* c^8 + c^10)*(2*a^12 - a^11*b - a^10*b^2 - 3*a^9*b^3 - 8*a^8*b^4 + 13* a^7*b^5 + 11*a^6*b^6 - 11*a^5*b^7 - 5*a^4*b^8 + 2*a^2* b^10 + 2*a*b^11 - b^12 - a^11*c + 2*a^10*b*c + 3*a^9* b^2*c - 2*a^7*b^4*c - 11*a^6*b^5*c - 2*a^5*b^6*c + 13*a^4*b^7* c + 3*a^3*b^8*c - 3*a^2*b^9*c - a*b^10*c - b^11*c - a^10*c^2 + 3* a^9*b*c^2 + 10*a^8*b^2*c^2 - 8*a^7*b^3*c^2 - 6* a^6*b^4*c^2 - 11*a^5*b^5*c^2 + 3*a^4*b^6*c^2 + 16*a^3*b^7* c^2 - 5*a^2*b^8*c^2 - b^10*c^2 - 3*a^9*c^3 - 8*a^7*b^2* c^3 + 16*a^6*b^3*c^3 + 22*a^5*b^4*c^3 - 11*a^4* b^5*c^3 - 8*a^3*b^6*c^3 - 8*a^2*b^7*c^3 - 3*a*b^8*c^3 + 3*b^9* c^3 - 8*a^8*c^4 - 2*a^7*b*c^4 - 6*a^6*b^2*c^4 + 22*a^5*b^3*c^4 - 11*a^3*b^5*c^4 + 3*a^2*b^6*c^4 - 11*a*b^7*c^4 + 13*b^8*c^4 + 13*a^7*c^5 - 11*a^6*b*c^5 - 11*a^5*b^2*c^5 - 11*a^4*b^3*c^5 - 11*a^3*b^4*c^5 + 22*a^2*b^5*c^5 + 13*a*b^6*c^5 - 2* b^7*c^5 + 11*a^6*c^6 - 2*a^5*b*c^6 + 3*a^4*b^2*c^6 - 8*a^3*b^3* c^6 + 3*a^2*b^4*c^6 + 13*a*b^5*c^6 - 22*b^6*c^6 - 11*a^5* c^7 + 13*a^4*b*c^7 + 16*a^3*b^2*c^7 - 8*a^2*b^3*c^7 - 11*a*b^4*c^7 - 2* b^5*c^7 - 5*a^4*c^8 + 3*a^3*b*c^8 - 5*a^2*b^2*c^8 - 3*a* b^3*c^8 + 13*b^4*c^8 - 3*a^2*b*c^9 + 3*b^3*c^9 + 2*a^2*c^10 - a* b*c^10 - b^2*c^10 + 2*a*c^11 - b*c^11 - c^12) : 2.44377984039

X842 : a*(a^6 - a^4*b^2 - a^2*b^4 + b^6 - a^4*c^2 - b^4*c^2 + 2* a^2*c^4 + 2*b^2*c^4 - 2*c^6)*(a^6 - a^4*b^2 + 2*a^2*b^4 - 2*b^6 - a^4*c^2 + 2*b^4*c^2 - a^2*c^4 - b^2*c^4 + c^6)*( 2*a^8 - a^7*b - 3*a^6*b^2 + a^5*b^3 + 2*a^4*b^4 - 2*a^3*b^5 + 2*a* b^7 - b^8 - a^7*c + 2*a^6*b*c + a^5*b^2*c - 2*a^4*b^3*c + a^3*b^4*c + a^2*b^5*c - a*b^6*c - b^7*c - 3*a^6*c^2 + a^5*b*c^2 + 2*a^4*b^2*c^2 - a^2*b^4*c^2 - 2*a*b^5*c^2 + 3*b^6*c^2 + a^5*c^3 - 2*a^4*b*c^3 + a*b^4*c^3 + b^5*c^3 + 2*a^4*c^4 + a^3*b*c^4 - a^2*b^2*c^4 + a*b^3*c^4 - 4*b^4*c^4 - 2*a^3*c^5 + a^2*b*c^5 - 2*a*b^2*c^5 + b^3*c^5 - a*b*c^6 + 3*b^2*c^6 + 2*a*c^7 - b*c^7 - c^8) : 3.25401969982

X843 : a*(a^4 - 4*a^2*b^2 + b^4 + 2*a^2*c^2 + 2*b^2*c^2 - 2* c^4)*(a^4 + 2*a^2*b^2 - 2*b^4 - 4*a^2*c^2 + 2*b^2* c^2 + c^4)*(2*a^6 - a^5*b - 3*a^4*b^2 - 2*a^3*b^3 + 3* a^2*b^4 + 2*a*b^5 - b^6 - a^5*c + 2*a^4*b*c + 4*a^3*b^2*c - 2* a^2*b^3*c - a*b^4*c - b^5*c - 3*a^4*c^2 + 4*a^3*b*c^2 - 2*a* b^3*c^2 - 2*a^3*c^3 - 2*a^2*b*c^3 - 2*a*b^2*c^3 + 4*b^3* c^3 + 3*a^2*c^4 - a*b*c^4 + 2*a* c^5 - b*c^5 - c^6) : 12.53045639606

X898 : (2*a*b - a*c - b*c)*(a*b - 2*a*c + b*c)*(a^4*b - a^3*b^2 + a^4*c - a^3*b*c - a^2*b^2*c + 2*a*b^3*c - a^3*c^2 - a^2*b*c^2 + a*b^2*c^2 - b^3* c^2 + 2*a*b*c^3 - b^2*c^3) : 0.3338376630529

X901 : - (a*(a + b - 2*c)*(a - 2*b + c)*(3*a^3 - 4*a^2*b + b^3 - 4*a^2*c + 7*a*b*c - 2*b^2*c - 2*b* c^2 + c^3)) : 0.2872708897861

X907 : a*(a + b)*(a + c)*(a^2 + 3*b^2 + c^2)*(a^2 + b^2 + 3* c^2)*(a^5 - 4*a^4*b + 3*a^3*b^2 - a^2*b^3 + b^5 - 4*a^4* c + 3*a^3*b* c - 4*a^2*b^2*c + a*b^3*c + 3*a^3*c^2 - 4*a^2*b*c^2 - 2*a*b^2* c^2 + 3*b^3*c^2 - a^2*c^3 + a* b*c^3 + 3*b^2*c^3 + c^5) : 137.1054489576

X915 : (a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^4 - 2*a^2*b^2 + b^4 - a^3*c + a^2*b*c + a*b^2*c - b^3*c - a^2*c^2 - b^2*c^2 + a* c^3 + b*c^3)*(a^4 - a^3*b - a^2*b^2 + a*b^3 + a^2*b* c + b^3*c - 2*a^2*c^2 + a*b*c^2 - b^2*c^2 - b*c^3 + c^4)*(a^8*b - 2*a^7* b^2 - a^6*b^3 + 4*a^5*b^4 - a^4*b^5 - 2*a^3*b^6 + a^2*b^7 + a^8*c - 2*a^5*b^3*c - 2*a^4*b^4*c + 2*a^3*b^5*c + 2*a^2*b^6* c - b^8*c - 2*a^7*c^2 + 4*a^5*b^2*c^2 + a^4*b^3*c^2 - 2*a^2*b^5*c^2 - 2*a*b^6*c^2 + b^7*c^2 - a^6*c^3 - 2*a^5*b*c^3 + a^4*b^2*c^3 - a^2* b^4*c^3 + 3*b^6*c^3 + 4*a^5*c^4 - 2*a^4*b*c^4 - a^2*b^3* c^4 + 4*a*b^4*c^4 - 3*b^5*c^4 - a^4*c^5 + 2*a^3*b* c^5 - 2*a^2*b^2*c^5 - 3*b^4*c^5 - 2*a^3*c^6 + 2*a^2*b* c^6 - 2*a*b^2*c^6 + 3*b^3*c^6 + a^2*c^7 + b^2*c^7 - b* c^8) : 4.604526639365

X917 : b*c*(-a^2 + b^2 - c^2)*(a^2 + b^2 - c^2)*(a^5 - a^3* b^2 - a^2*b^3 + b^5 - a^4*c + 2*a^2*b^2*c - b^4*c - a^3* c^2 - b^3*c^2 + a^2*c^3 + b^2*c^3)*(a^5 - a^4*b - a^3*b^2 + a^2* b^3 - a^3*c^2 + 2*a^2*b*c^2 + b^3*c^2 - a^2*c^3 - b^2*c^3 - b*c^4 + \ c^5)*(-(a^9*b^2) + 2*a^8*b^3 + a^7*b^4 - 4*a^6* b^5 + a^5*b^6 + 2*a^4*b^7 - a^3*b^8 - a^7*b^3*c + a^6*b^4*c + 2*a^5*b^5*c - 2*a^4*b^6*c - a^3*b^7*c + a^2*b^8*c - a^9*c^2 + 2*a^7*b^2*c^2 - a^6*b^3*c^2 + a^4*b^5*c^2 - a^2*b^7*c^2 - a* b^8*c^2 + b^9*c^2 + 2*a^8*c^3 - a^7*b*c^3 - a^6*b^2*c^3 - 2*a^5* b^3*c^3 - a^4*b^4*c^3 + a^3*b^5*c^3 + a^2*b^6*c^3 + 2*a*b^7* c^3 - b^8*c^3 + a^7*c^4 + a^6*b*c^4 - a^4*b^3*c^4 + 2*a^3*b^4*c^4 - a^2*b^5*c^4 + a*b^6*c^4 - 3*b^7*c^4 - 4*a^6*c^5 + 2*a^5*b*c^5 + a^4*b^2*c^5 + a^3*b^3*c^5 - a^2*b^4*c^5 - 4*a*b^5*c^5 + 3* b^6*c^5 + a^5*c^6 - 2*a^4*b*c^6 + a^2*b^3*c^6 + a*b^4* c^6 + 3*b^5*c^6 + 2*a^4*c^7 - a^3*b*c^7 - a^2*b^2*c^7 + 2*a*b^3*c^7 - 3* b^4*c^7 - a^3*c^8 + a^2*b*c^8 - a*b^2*c^8 - b^3*c^8 + b^2* c^9) : 3.36406902731

X919 : a*(a^2 + b^2 - a*c - b*c)*(a^2 - a*b - b*c + c^2) : 2.693929186947 = X(105)

X925 : b*(a + b)*c*(a + c)*(a^4 - 2*a^2*b^2 + b^4 - 2* b^2*c^2 + c^4)*(a^4 + b^4 - 2*a^2*c^2 - 2*b^2*c^2 + c^4)*(-(a^8*b) + a^7*b^2 + 2*a^6*b^3 - 2*a^5*b^4 - a^4* b^5 + a^3*b^6 - a^8*c + a^7*b*c + a^6*b^2*c - 2*a^5*b^3*c + a^4*b^4*c + a^3*b^5*c - a^2*b^6*c + a^7* c^2 + a^6*b*c^2 - 3*a^5*b^2*c^2 + a^4*b^3*c^2 + a^3*b^4*c^2 - a^2*b^5*c^2 - a*b^6*c^2 + b^7*c^2 + 2*a^6*c^3 - 2*a^5*b*c^3 + a^4*b^2*c^3 + b^6*c^3 - 2*a^5*c^4 + a^4*b*c^4 + a^3*b^2*c^4 + 2* a*b^4*c^4 - 2*b^5*c^4 - a^4*c^5 + a^3*b*c^5 - a^2*b^2*c^5 - 2*b^4*c^5 + a^3*c^6 - a^2*b*c^6 - a*b^2*c^6 + b^3*c^6 + b^2*c^7) : 3.748274295991

X927 : b*c*(a^2 + b^2 - a*c - b*c)*(-a^2 + a*b + b*c - c^2)*(a^5*b - 2*a^4*b^2 + a^3*b^3 + a^5*c - a^4*b*c + a^3*b^2*c - a^2*b^3*c - 2*a^4*c^2 + a^3*b*c^2 + a^2*b^2*c^2 + b^4*c^2 + a^3*c^3 - a^2*b*c^3 - 2*b^3*c^3 + b^2*c^4) : 4.855102715962

X929 : b*c*(a^4 + b^4 - a^3*c + a^2*b*c + a*b^2*c - b^3*c - a^2*c^2 - 2*a*b*c^2 - b^2*c^2 + a*c^3 + b* c^3)*(a^4 - a^3*b - a^2*b^2 + a*b^3 + a^2*b*c - 2*a*b^2*c + b^3*c + a*b*c^2 - b^2*c^2 - b*c^3 + c^4)*(-(a^7*b) + 2* a^6*b^2 - 2*a^4*b^4 + a^3*b^5 - a^7*c + 3*a^6*b*c - 4*a^5*b^2*c + 2*a^4*b^3*c + a^3*b^4*c - a^2*b^5*c + 2*a^6*c^2 - 4*a^5*b*c^2 + 3*a^4*b^2*c^2 - 2*a^3* b^3*c^2 + 2*a^2*b^4*c^2 - 2*a*b^5*c^2 + b^6*c^2 + 2*a^4*b*c^3 - 2*a^3* b^2*c^3 - 2*a^2*b^3*c^3 + 2*a*b^4*c^3 - 2*a^4*c^4 + a^3*b*c^4 + 2*a^2*b^2*c^4 + 2*a*b^3*c^4 - 2*b^4*c^4 + a^3*c^5 - a^2*b*c^5 - 2*a* b^2*c^5 + b^2*c^6) : -10.21015461621

X930 : b*(a + b)*c*(a + c)*(a^4 - a^2*b^2 + b^4 - 2*a^2*c^2 - 2*b^2*c^2 + c^4)*(a^4 - 2*a^2* b^2 + b^4 - a^2*c^2 - 2*b^2*c^2 + c^4)*(-(a^8*b) + a^7*b^2 + 2*a^6*b^3 - 2*a^5*b^4 - a^4*b^5 + a^3*b^6 - a^8*c + a^7*b*c + a^6*b^2* c - 2*a^5*b^3*c + a^4*b^4*c + a^3* b^5*c - a^2*b^6*c + a^7*c^2 + a^6*b*c^2 - 4*a^5*b^2*c^2 + 3*a^4*b^3* c^2 + a^3*b^4*c^2 - 2*a^2*b^5*c^2 - a*b^6*c^2 + b^7*c^2 + 2*a^6* c^3 - 2*a^5*b*c^3 + 3*a^4*b^2*c^3 - a^3*b^3*c^3 + b^6*c^3 - 2*a^5*c^4 + a^4*b*c^4 + a^3*b^2*c^4 + 2*a*b^4*c^4 - 2*b^5*c^4 - a^4*c^5 + a^3*b*c^5 - 2*a^2*b^2*c^5 - 2*b^4*c^5 + a^3* c^6 - a^2*b*c^6 - a*b^2*c^6 + b^3* c^6 + b^2*c^7) : 2.988158496334

X931 : - ((a + b)*(a + c)*(a*b + b^2 + 2*a*c + b*c)*(2*a*b + a* c + b*c + c^2)*(a^5*b - a^3*b^3 + a^5*c - a^4*b*c + 3*a^3*b^2*c + a^2* b^3*c - 2*a*b^4*c + 3*a^3*b*c^2 + a^2*b^2*c^2 - b^4*c^2 - a^3*c^3 + a^2* b*c^3 - 2*b^3*c^3 - 2*a*b*c^4 - b^2*c^4)) : 42.8214787179

X932 : (a^2 - b*c)*(a*b - a*c - b*c)*(a*b - a*c + b*c)*(a^2*b - a*b^2 + a^2*c - a*b*c + b^2*c - a*c^2 + b*c^2) : 9.258561948091

X933 : a*(a + b)*(a + c)*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^4 - \ 2*a^2*b^2 + b^4 - a^2*c^2 - b^2*c^2)*( a^4 - a^2*b^2 - 2*a^2*c^2 - b^2*c^2 + c^4)*(a^9 - a^8*b - 2*a^7* b^2 + a^6*b^3 + a^5*b^4 + 2*a^4*b^5 - 3*a^2*b^7 + b^9 - a^8*c + a^6*b^2*c + a^5*b^3*c + a^4*b^4*c - 2*a^3*b^5*c - a^2*b^6*c + a*b^7*c - 2*a^7*c^2 + a^6*b* c^2 + 3*a^5*b^2*c^2 - 2*a^4*b^3*c^2 - 2*a^3*b^4*c^2 + 3*a^2*b^5*c^2 + a* b^6*c^2 - 2*b^7*c^2 + a^6*c^3 + a^5*b*c^3 - 2*a^4*b^2* c^3 + a^2*b^4*c^3 - a*b^5*c^3 + a^5*c^4 + a^4*b*c^4 - 2*a^3*b^2*c^4 + a^2*b^3*c^4 - 2*a*b^4*c^4 + b^5*c^4 + 2*a^4*c^5 - 2*a^3* b*c^5 + 3*a^2*b^2*c^5 - a*b^3*c^5 + b^4*c^5 - a^2*b* c^6 + a*b^2*c^6 - 3*a^2*c^7 + a*b*c^7 - 2*b^2* c^7 + c^9) : 0.999041902221

X934 : - ((a + b - c)*(a - b + c)*(a^4 - 2*a^3* b + a^2*b^2 - 2*a^3*c + a^2*b*c + b^3*c + a^2*c^2 - 2*b^2*c^2 + b*c^3)) : -1.133049355989

X935 : b*(a + b)*c*(a + c)*(-a^2 + b^2 - c^2)*(a^2 + b^2 - c^2)*(a^4 - a^2*b^2 + b^4 - c^4)*(-a^4 + b^4 + a^2*c^2 - c^4)*(-(a^10*b) + a^9*b^2 + a^8*b^3 - a^7*b^4 + a^6*b^5 - a^5*b^6 - a^4*b^7 + a^3*b^8 - a^10*c + a^9*b*c - a^7*b^3*c + 2*a^6*b^4* c - a^5*b^5*c + a^3*b^7*c - a^2*b^8*c + a^9*c^2 - 2*a^7*b^2*c^2 + a^5*b^4*c^2 + a^3*b^6*c^2 - a^2*b^7*c^2 - a*b^8*c^2 + b^9*c^2 + a^8* c^3 - a^7*b*c^3 + a^5*b^3*c^3 - 2*a^4*b^4*c^3 + b^8*c^3 - a^7*c^4 + 2* a^6*b*c^4 + a^5*b^2*c^4 - 2*a^4*b^3*c^4 - 2*a^3*b^4*c^4 + 2*a^2*b^5* c^4 + a*b^6*c^4 - b^7*c^4 + a^6*c^5 - a^5*b*c^5 + 2*a^2*b^4*c^5 - b^6* c^5 - a^5*c^6 + a^3*b^2*c^6 + a*b^4*c^6 - b^5* c^6 - a^4*c^7 + a^3*b*c^7 - a^2*b^2*c^7 - b^4*c^7 + a^3*c^8 - a^2*b*c^8 - a*b^2*c^8 + b^3* c^8 + b^2*c^9) : -254.0186693952

X953 : a*(a^4 - 2*a^2*b^2 + b^4 - 2*a^3*c + 2*a^2*b*c + 2*a*b^2* c - 2*b^3*c + a^2*c^2 - 4*a*b*c^2 + b^2*c^2 + 2*a*c^3 + 2*b*c^3 - 2* c^4)*(a^4 - 2*a^3*b + a^2*b^2 + 2*a*b^3 - 2*b^4 + 2*a^2* b*c - 4*a*b^2*c + 2*b^3*c - 2*a^2*c^2 + 2*a*b*c^2 + b^2*c^2 - 2*b* c^3 + c^4)*(2*a^6 - 3*a^5*b + a^3*b^3 - a^2*b^4 + 2*a*b^5 - b^6 - 3* a^5*c + 6*a^4*b*c - 2*a^3*b^2*c + a^2*b^3*c - 3*a*b^4*c + b^5*c - 2* a^3*b*c^2 + a*b^3*c^2 + b^4*c^2 + a^3*c^3 + a^2*b*c^3 + a*b^2*c^3 - 2* b^3*c^3 - a^2*c^4 - 3*a*b*c^4 + b^2*c^4 + 2*a*c^5 + b*c^5 - c^6) : 3.580186787306

X972 : (a^5 + a^4*b - 2*a^3*b^2 - 2*a^2*b^3 + a*b^4 + b^5 - 2* a^4*c + 2*a^3*b*c + 2*a*b^3*c - 2*b^4*c + 2*a^2*c^3 - 2*a*b* c^3 + 2*b^2*c^3 - a*c^4 - b*c^4)*(a^5 - 2*a^4*b + 2*a^2*b^3 - a*b^4 + a^4*c + 2*a^3*b*c - 2*a*b^3*c - b^4*c - 2*a^3*c^2 + 2*b^3*c^2 - 2* a^2*c^3 + 2*a*b*c^3 + a*c^4 - 2*b*c^4 + c^5)*(a^7*b - 3*a^6*b^2 + 2*a^5*b^3 + 2*a^4*b^4 - 3*a^3* b^5 + a^2*b^6 + a^7*c + 2*a^6*b* c - a^5*b^2*c - 7*a^4*b^3*c + a^3*b^4*c + 6*a^2*b^5*c - a*b^6*c - b^7* c - 3*a^6*c^2 - a^5*b*c^2 + 10*a^4*b^2*c^2 + 2*a^3*b^3*c^2 - 5* a^2*b^4*c^2 - 5*a*b^5*c^2 + 2*b^6*c^2 + 2*a^5*c^3 - 7*a^4* b*c^3 + 2*a^3*b^2*c^3 - 4*a^2*b^3*c^3 + 6*a*b^4*c^3 + b^5*c^3 + 2*a^4* c^4 + a^3*b*c^4 - 5*a^2*b^2*c^4 + 6*a*b^3*c^4 - 4*b^4*c^4 - 3*a^3*c^5 + 6*a^2*b*c^5 - 5*a*b^2*c^5 + b^3*c^5 + a^2*c^6 - a*b*c^6 + 2* b^2*c^6 - b*c^7) : 2.545799180466

X1141 : b*c*(a^2 - a*b + b^2 - c^2)*(a^2 + a*b + b^2 - c^2)*(- a^2 + b^2 - a*c - c^2)*(-a^2 + b^2 + a*c - c^2)*(a^4 - 2*a^2*b^2 + b^4 - a^2*c^2 - b^2*c^2)*(-a^4 + a^2*b^2 + \ 2*a^2*c^2 + b^2*c^2 - c^4)*(-(a^10*b^2) + a^9* b^3 + 3*a^8*b^4 - 3*a^7*b^5 - 3*a^6*b^6 + 3*a^5*b^7 + a^4*b^8 - a^3* b^9 - a^8*b^3*c + 3*a^6*b^5*c - 3*a^4*b^7*c + a^2*b^9*c - a^10*c^2 + 4* a^8*b^2*c^2 - a^7*b^3*c^2 - 4*a^6*b^4*c^2 + 2*a^4*b^6*c^2 + 2* a^3*b^7*c^2 - 2*a^2*b^8*c^2 - a*b^9*c^2 + b^10*c^2 + a^9*c^3 - a^8*b*c^3 - a^7*b^2*c^3 + 2*a^6*b^3*c^3 - a^3*b^6*c^3 - a^2*b^7*c^3 + a*b^8*c^3 + 3*a^8*c^4 - 4*a^6*b^2*c^4 + 2*a^2*b^6*c^4 + 3*a*b^7*c^4 - 4*b^8*c^4 - 3* a^7*c^5 + 3*a^6*b*c^5 - 3*a*b^6*c^5 - 3*a^6*c^6 + 2*a^4*b^2* c^6 - a^3*b^3*c^6 + 2*a^2*b^4*c^6 - 3*a*b^5*c^6 + 6*b^6*c^6 + 3*a^5* c^7 - 3*a^4*b*c^7 + 2*a^3*b^2*c^7 - a^2*b^3*c^7 + 3*a*b^4* c^7 + a^4*c^8 - 2*a^2*b^2*c^8 + a*b^3*c^8 - 4*b^4*c^8 - a^3*c^9 + a^2*b*c^9 - a*b^2*c^9 + b^2*c^10) : 3.384376369416

X1286 : b*(a + b)*c*(a + c)*(a^6 + a^4*b^2 + a^2*b^4 + b^6 - a^4*c^2 - 2*a^2*b^2*c^2 - b^4*c^2 - a^2*c^4 - b^2*c^4 + c^6)*(a^6 - a^4*b^2 - \ a^2*b^4 + b^6 + a^4*c^2 - 2*a^2*b^2*c^2 - b^4* c^2 + a^2*c^4 - b^2*c^4 + c^6)*(-(a^10*b) + a^9*b^2 + a^8*b^3 - a^7*b^4 + a^6*b^5 - a^5*b^6 - a^4*b^7 + a^3*b^8 - a^10*c + a^9*b*c - a^7*b^3*c + 2*a^6*b^4*c - a^5*b^5* c + a^3*b^7*c - a^2*b^8*c + a^9*c^2 - a^7*b^2*c^2 + 2*a^6*b^3*c^2 - 2* a^5*b^4*c^2 - a^4*b^5*c^2 + a^3*b^6*c^2 - a*b^8*c^2 + b^9*c^2 + a^8*c^3 - a^7*b*c^3 + 2*a^6*b^2*c^3 - 2*a^5*b^3*c^3 + a^3*b^5*c^3 + b^8*c^3 - a^7*c^4 + 2*a^6*b*c^4 - 2*a^5*b^2*c^4 + 2*a^3* b^4*c^4 - a^2*b^5*c^4 + a*b^6*c^4 - b^7*c^4 + a^6*c^5 - a^5*b*c^5 - a^4*b^2*c^5 + a^3*b^3*c^5 - a^2*b^4*c^5 - b^6*c^5 - a^5*c^6 + a^3*b^2*c^6 + a*b^4*c^6 - b^5*c^6 - a^4*c^7 + a^3*b*c^7 - b^4*c^7 + a^3*c^8 - a^2*b*c^8 - a*b^2*c^8 + b^3* c^8 + b^2*c^9) : -1.586760817308

X1287 : b*(a + b)*c*(a + c)*(a^6 + a^4*b^2 + a^2*b^4 + b^6 - a^4*c^2 - a^2*b^2*c^2 - b^4*c^2 - a^2*c^4 - b^2*c^4 + c^6)*(a^6 - a^4*b^2 - a^2*b^4 + b^6 + a^4*c^2 - a^2*b^2*c^2 - b^4*c^2 + a^2*c^4 - b^2*c^4 + c^6)*(-(a^10* b) + a^9*b^2 + a^8*b^3 - a^7*b^4 + a^6*b^5 - a^5*b^6 - a^4* b^7 + a^3*b^8 - a^10*c + a^9*b*c - a^7*b^3*c + 2*a^6*b^4*c - a^5*b^5*c + a^3*b^7*c - a^2*b^8*c + a^9*c^2 - a^7*b^2*c^2 + a^6* b^3*c^2 - a^5*b^4*c^2 - a^4*b^5*c^2 + a^3*b^6*c^2 - a*b^8*c^2 + b^9*c^2 + a^8*c^3 - a^7*b*c^3 + a^6*b^2*c^3 - a^5*b^3*c^3 - a^4*b^4*c^3 + a^3*b^5*c^3 + b^8*c^3 - a^7*c^4 + 2*a^6*b*c^4 - a^5*b^2* c^4 - a^4*b^3*c^4 + a^3*b^4*c^4 + a*b^6*c^4 - b^7*c^4 + a^6*c^5 - a^5*b*c^5 - a^4*b^2*c^5 + a^3*b^3*c^5 - b^6*c^5 - a^5* c^6 + a^3*b^2*c^6 + a*b^4*c^6 - b^5*c^6 - a^4*c^7 + a^3*b*c^7 - b^4* c^7 + a^3*c^8 - a^2*b*c^8 - a*b^2*c^8 + b^3*c^8 + b^2* c^9) : -12.39526881716

X1288 : b*(a + b)*c*(a + c)*(-a^2 + b^2 - c^2)*(a^2 + b^2 - c^2)*( a^8 - 2*a^6*b^2 + 2*a^4*b^4 - 2*a^2*b^6 + b^8 - 2*a^6*c^2 - 2*b^6*c^2 + 2*a^2*c^6 + 2*b^2*c^6 - c^8)*(-a^8 + 2*a^6*b^2 - 2* a^2*b^6 + b^8 + 2*a^6*c^2 - 2*b^6*c^2 - 2*a^4*c^4 + 2*a^2* c^6 + 2*b^2*c^6 - c^8)*(-(a^14*b) + a^13*b^2 + 3* a^12*b^3 - 3*a^11*b^4 - 2*a^10*b^5 + 2*a^9*b^6 - 2*a^8*b^7 + 2*a^7*b^8 + 3*a^6*b^9 - 3*a^5*b^10 - a^4*b^11 + a^3* b^12 - a^14*c + a^13*b*c + 2*a^12*b^2*c - 3*a^11*b^3*c + a^10*b^4*c + 2* a^9*b^5*c - 4*a^8*b^6*c + 2*a^7*b^7*c + a^6*b^8*c - 3*a^5* b^9*c + 2*a^4*b^10*c + a^3*b^11*c - a^2*b^12*c + a^13*c^2 + 2*a^12*b* c^2 - 5*a^11*b^2*c^2 - 2*a^10*b^3*c^2 + 5*a^9*b^4*c^2 - a^8*b^5*c^2 - a^5*b^8*c^2 + 2*a^4*b^9*c^2 + a^3*b^10*c^2 - 2*a^2*b^11* c^2 - a*b^12*c^2 + b^13*c^2 + 3*a^12*c^3 - 3*a^11*b* c^3 - 2*a^10*b^2*c^3 + 4*a^9*b^3*c^3 - 3*a^8*b^4* c^3 + 2*a^6*b^6*c^3 - a^4*b^8*c^3 - a^3*b^9*c^3 + b^12* c^3 - 3*a^11*c^4 + a^10*b*c^4 + 5*a^9*b^2*c^4 - 3*a^8*b^3* c^4 - 2*a^7*b^4*c^4 + 4*a^6*b^5*c^4 - 2*a^4*b^7*c^4 - 3* a^3*b^8*c^4 + 3*a^2*b^9*c^4 + 3*a*b^10*c^4 - 3*b^11*c^4 - 2*a^10* c^5 + 2*a^9*b*c^5 - a^8*b^2*c^5 + 4*a^6*b^4*c^5 - 2*a^5* b^5*c^5 + 2*a^2*b^8*c^5 - 3*b^10*c^5 + 2*a^9*c^6 - 4* a^8*b*c^6 + 2*a^6*b^3*c^6 + 2*a^3*b^6*c^6 - 2*a^2*b^7*c^6 - 2*a* b^8*c^6 + 2*b^9*c^6 - 2*a^8*c^7 + 2*a^7*b*c^7 - 2*a^4*b^4* c^7 - 2*a^2*b^6*c^7 + 2*b^8*c^7 + 2*a^7*c^8 + a^6*b* c^8 - a^5*b^2*c^8 - a^4*b^3*c^8 - 3*a^3*b^4*c^8 + 2*a^2*b^5*c^8 - 2*a*b^6*c^8 + 2*b^7*c^8 + 3*a^6*c^9 - 3*a^5*b*c^9 + 2*a^4* b^2*c^9 - a^3*b^3*c^9 + 3*a^2*b^4*c^9 + 2*b^6* c^9 - 3*a^5*c^10 + 2*a^4*b*c^10 + a^3*b^2*c^10 + 3*a*b^4*c^10 - 3*b^5*c^10 - a^4*c^11 + a^3*b*c^11 - 2*a^2*b^2*c^11 - 3* b^4*c^11 + a^3*c^12 - a^2*b*c^12 - a*b^2*c^12 + b^3*c^12 + b^2*c^13) : 189.2957080063

X1289 : b*(a + b)*c*(a + c)*(-a^2 + b^2 - c^2)*( a^2 + b^2 - c^2)*(-a^4 + b^4 - c^4)*(a^4 + b^4 - c^4)*(-(a^10*b) + \ a^9*b^2 + a^8*b^3 - a^7* b^4 + a^6*b^5 - a^5*b^6 - a^4* b^7 + a^3*b^8 - a^10*c + a^9*b*c - a^7*b^3*c + 2* a^6*b^4*c - a^5*b^5*c + a^3*b^7*c - a^2*b^8*c + a^9*c^2 - a^7*b^2*c^2 - a^4*b^5*c^2 + a^3*b^6*c^2 - a*b^8*c^2 + b^9* c^2 + a^8*c^3 - a^7*b*c^3 - 2*a^4*b^4*c^3 + a^3*b^5*c^3 + b^8*c^3 - a^7* c^4 + 2*a^6*b*c^4 - 2*a^4*b^3*c^4 + a^2*b^5*c^4 + a*b^6*c^4 - b^7*c^4 + a^6*c^5 - a^5*b*c^5 - a^4*b^2*c^5 + a^3*b^3*c^5 + a^2*b^4*c^5 - b^6* c^5 - a^5*c^6 + a^3*b^2*c^6 + a*b^4*c^6 - b^5*c^6 - a^4*c^7 + a^3*b*c^7 - b^4*c^7 + a^3*c^8 - a^2*b*c^8 - a*b^2*c^8 + b^3*c^8 + b^2* c^9) : -27.27465881325

X1290 : - ((a^3 + a^2*b + a*b^2 + b^3 - a^2*c - a*b*c - b^2* c - a*c^2 - b*c^2 + c^3)*(a^3 - a^2*b - a*b^2 + b^3 + a^2* c - a*b*c - b^2*c + a*c^2 - b*c^2 + c^3)*(a^6 - 2*a^5*b + 2*a^3* b^3 - a^2*b^4 - 2*a^5*c + 2*a^4*b*c + a^3*b^2*c - 2*a^2*b^3*c + 2*a*b^4* c - b^5*c + a^3*b*c^2 - a^2*b^2*c^2 - a*b^3*c^2 + 2*a^3*c^3 - 2*a^2*b*c^3 - a*b^2*c^3 + 2*b^3*c^3 - a^2*c^4 + 2*a*b* c^4 - b*c^5)) : 2.865182942986

X1291 : a*(a + b)*(a + c)*(a^6 - a^4*b^2 - a^2*b^4 + b^6 - 3*a^4*c^2 + a^2*b^2*c^2 - 3*b^4* c^2 + 3*a^2*c^4 + 3*b^2*c^4 - c^6)*(a^6 - 3*a^4* b^2 + 3*a^2*b^4 - b^6 - a^4*c^2 + a^2*b^2*c^2 + 3*b^4*c^2 - a^2*c^4 - 3* b^2*c^4 + c^6)*(a^9 - 3*a^7*b^2 - a^6*b^3 + 3*a^5*b^4 + 3* a^4*b^5 - a^3*b^6 - 3*a^2*b^7 + b^9 - a^7*b*c + 3*a^5*b^3*c - 3*a^3* b^5*c + a*b^7*c - 3*a^7*c^2 + 7*a^5*b^2*c^2 - 5*a^4*b^3*c^2 - 3*a^3* b^4*c^2 + 5*a^2*b^5*c^2 + 2*a*b^6*c^2 - 3*b^7*c^2 - a^6*c^3 + 3*a^5*b* c^3 - 5*a^4*b^2*c^3 + a^3*b^3*c^3 + a^2*b^4*c^3 - a*b^5* c^3 - b^6*c^3 + 3*a^5*c^4 - 3*a^3*b^2*c^4 + a^2*b^3*c^4 - 4*a*b^4*c^4 + 3*b^5*c^4 + 3*a^4*c^5 - 3*a^3*b*c^5 + 5*a^2*b^2*c^5 - a*b^3*c^5 + 3* b^4*c^5 - a^3*c^6 + 2*a*b^2*c^6 - b^3*c^6 - 3*a^2*c^7 + a* b*c^7 - 3*b^2*c^7 + c^9)* : 1.889266247414

X1292 : - ((a^2 - 2*a*b + b^2 - 2*b*c + c^2)*(a^2 + b^2 - 2*a*c - 2*b* c + c^2)*(a^5 - 3*a^4*b + 3*a^3*b^2 - a^2*b^3 - 3*a^4*c + 5* a^3*b*c - 4*a^2*b^2*c + 3*a*b^3*c - b^4*c + 3*a^3*c^2 - 4*a^2*b* c^2 - 2*a*b^2*c^2 + b^3*c^2 - a^2*c^3 + 3*a*b*c^3 + b^2*c^3 - b* c^4)) : 5.577348664806

X1293 : - (a*(a + b - 3* c)*(a - 3*b + c)*(4*a^3 - 5*a^2*b + b^3 - 5*a^2*c + 10*a*b*c - 3*b^2* c - 3*b*c^2 + c^3)) : 4.237805233458

X1294 : b*c*(a^8 + 2*a^6*b^2 - 6*a^4*b^4 + 2*a^2*b^6 + b^8 - 3*a^6*c^2 + 3*a^4*b^2*c^2 + 3*a^2*b^4*c^2 - 3*b^6*c^2 + \ 3*a^4*c^4 - 4*a^2*b^2*c^4 + 3*b^4*c^4 - a^2*c^6 - b^2*c^6)*(-a^8 + 3*a^6*b^2 - 3*a^4*b^4 + a^2*b^6 - 2*a^6*c^2 - 3*a^4*b^2*c^2 + 4*a^2*b^4* c^2 + b^6*c^2 + 6*a^4*c^4 - 3*a^2*b^2*c^4 - 3*b^4*c^4 - 2*a^2* c^6 + 3*b^2*c^6 - c^8)*(-(a^10*b^2) + a^9*b^3 + 3*a^8* b^4 - 3*a^7*b^5 - 3*a^6*b^6 + 3*a^5*b^7 + a^4*b^8 - a^3* b^9 - a^8*b^3*c + 3*a^6*b^5*c - 3*a^4*b^7*c + a^2*b^9*c - a^10*c^2 - 2*a^8*b^2*c^2 + 2*a^7*b^3*c^2 + 2* a^6*b^4*c^2 + 3*a^5*b^5*c^2 - a^4*b^6*c^2 - 4*a^3*b^7* c^2 + a^2*b^8*c^2 - a*b^9*c^2 + b^10*c^2 + a^9*c^3 - a^8*b*c^3 + 2*a^7* b^2*c^3 - 4*a^6*b^3*c^3 - 6*a^5*b^4*c^3 + 3*a^4*b^5*c^3 + 2*a^3* b^6*c^3 + 2*a^2*b^7*c^3 + a*b^8*c^3 + 3*a^8*c^4 + 2*a^6*b^2*c^4 - 6*a^5* b^3*c^4 + 3*a^3*b^5*c^4 - a^2*b^6*c^4 + 3*a*b^7*c^4 - 4*b^8*c^4 - 3*a^7* c^5 + 3*a^6*b*c^5 + 3*a^5*b^2*c^5 + 3*a^4*b^3* c^5 + 3*a^3*b^4*c^5 - 6*a^2*b^5*c^5 - 3*a*b^6*c^5 - 3*a^6*c^6 - a^4*b^2*c^6 + 2*a^3*b^3*c^6 - a^2*b^4*c^6 - 3*a*b^5*c^6 + 6* b^6*c^6 + 3*a^5*c^7 - 3*a^4*b*c^7 - 4*a^3*b^2*c^7 + 2*a^2*b^3*c^7 + 3*a*b^4*c^7 + a^4*c^8 + a^2*b^2*c^8 + a*b^3* c^8 - 4*b^4*c^8 - a^3*c^9 + a^2*b*c^9 - a*b^2*c^9 + b^2*c^10)* : 2.462192128918

X1295 : (a^6 - a^4*b^2 - a^2*b^4 + b^6 - a^5*c + 3*a^4*b*c - 2*a^3*b^2* c - 2*a^2*b^3*c + 3*a*b^4*c - b^5*c - 2*a^4*c^2 + 4*a^2*b^2* c^2 - 2*b^4*c^2 + 2*a^3*c^3 - 2*a^2*b*c^3 - 2*a*b^2*c^3 + 2*b^3*c^3 + a^2*c^4 + b^2*c^4 - a*c^5 - b*c^5)*(a^6 - a^5*b - 2*a^4*b^2 + 2*a^3* b^3 + a^2*b^4 - a*b^5 + 3* a^4*b*c - 2*a^2*b^3*c - b^5*c - a^4*c^2 - 2*a^3*b*c^2 + 4*a^2*b^2*c^2 - \ 2*a*b^3*c^2 + b^4*c^2 - 2*a^2*b*c^3 + 2*b^3*c^3 - a^2*c^4 + 3*a*b*c^4 - 2*b^2*c^4 - b*c^5 + c^6)*(a^8*b - 2* a^7*b^2 - a^6*b^3 + 4*a^5*b^4 - a^4*b^5 - 2*a^3*b^6 + a^2*b^7 + a^8* c + 2*a^6*b^2*c - 4*a^5*b^3*c - 4*a^4*b^4*c + 4*a^3*b^5* c + 2*a^2*b^6*c - b^8*c - 2*a^7*c^2 + 2*a^6*b*c^2 + 5*a^4*b^3*c^2 - 2* a^3*b^4*c^2 - 4*a*b^6*c^2 + b^7*c^2 - a^6*c^3 - 4*a^5* b*c^3 + 5*a^4*b^2*c^3 - 3*a^2*b^4*c^3 + 3*b^6*c^3 + 4*a^5*c^4 - 4*a^4*b*c^4 - 2*a^3*b^2*c^4 - 3*a^2*b^3*c^4 + 8*a*b^4*c^4 - 3*b^5* c^4 - a^4*c^5 + 4*a^3*b*c^5 - 3*b^4*c^5 - 2*a^3*c^6 + 2*a^2*b* c^6 - 4*a*b^2*c^6 + 3*b^3*c^6 + a^2*c^7 + b^2*c^7 - b* c^8) : 2.604307201955

X1296 : a*(a + b)*(a + c)*(a^2 + b^2 - 5*c^2)*( a^2 - 5*b^2 + c^2)*(a^5 + 4*a^4*b - 5*a^3*b^2 - a^2*b^3 + b^5 + 4*a^4* c - 5*a^3*b*c + 4*a^2*b^2*c + a*b^3*c - 5*a^3*c^2 + 4* a^2*b*c^2 + 6*a*b^2*c^2 - 5*b^3*c^2 - a^2*c^3 + a*b* c^3 - 5*b^2*c^3 + c^5) : 4.708874726715

X1297 : a*(a^6 - a^4*b^2 - a^2*b^4 + b^6 + a^2*c^4 + b^2*c^4 - 2*c^6)*(a^6 + a^2*b^4 - 2*b^6 - a^4*c^2 + b^4*c^2 - a^2* c^4 + c^6)*(2*a^8 - a^7*b - 2*a^6*b^2 + a^4*b^4 - a^3*b^5 + 2*a*b^7 - b^8 - a^7*c + 2*a^6*b*c + a^5*b^2*c - a^4*b^3*c + a^3*b^4*c - a*b^6*c - b^7*c - 2*a^6*c^2 + a^5*b*c^2 - a*b^5*c^2 + 2*b^6*c^2 - a^4*b*c^3 + b^5*c^3 + a^4*c^4 + a^3* b*c^4 - 2*b^4*c^4 - a^3*c^5 - a*b^2*c^5 + b^3*c^5 - a*b*c^6 + 2*b^2* c^6 + 2*a*c^7 - b*c^7 - c^8) : 2.667165316338

X1298 : a*(a^4 - 2*a^2*b^2 + b^4 - a^2*c^2 - b^2*c^2)*(a^4 - a^2*b^2 - 2*a^2*c^2 - b^2*c^2 + c^4)*(a^4*b^4 - 2*a^2*b^6 + b^8 + a^6*c^2 + a^2*b^4*c^2 - 2*b^6*c^2 - 2*a^4*c^4 + b^4*c^4 + a^2*c^6)*(a^6*b^2 - 2*a^4*b^4 + a^2*b^6 + a^4* c^4 + a^2*b^2*c^4 + b^4*c^4 - 2*a^2*c^6 - 2*b^2* c^6 + c^8)*(a^12*b^2 - 4*a^10*b^4 - a^9*b^5 + 7*a^8*b^6 + 3*a^7*b^7 - 7*a^6*b^8 - 3*a^5* b^9 + 4*a^4*b^10 + a^3*b^11 - a^2*b^12 - a^11*b^2*c + a^10*b^3*c + 4*a^9* b^4*c - 3*a^8*b^5*c - 6*a^7*b^6*c + 3*a^6*b^7*c + 4*a^5*b^8*c - a^4*b^9* c - a^3*b^10*c + a^12*c^2 - a^11*b*c^2 - 2*a^10*b^2*c^2 + a^9*b^3*c^2 + a^7*b^5*c^2 + 3*a^6*b^6*c^2 - 3*a^4*b^8* c^2 - 2*a^3*b^9*c^2 + a^2*b^10*c^2 + a*b^11*c^2 + a^10*b*c^3 + a^9*b^2*c^3 - 2*a^8*b^3*c^3 - a^7*b^4*c^3 - a^5*b^6*c^3 + a^4*b^7*c^3 + a^3*b^8*c^3 + a^2*b^9*c^3 - b^11*c^3 - 4*a^10* c^4 + 4*a^9*b*c^4 - a^7*b^3*c^4 + 2*a^6*b^4*c^4 - a^4*b^6*c^4 + 3*a^2*b^8*c^4 - 3*a*b^9*c^4 - a^9*c^5 - 3* a^8*b*c^5 + a^7*b^2*c^5 + a^3*b^6*c^5 - a^2*b^7*c^5 - a*b^8* c^5 + 4*b^9*c^5 + 7*a^8*c^6 - 6*a^7*b*c^6 + 3*a^6*b^2*c^6 - a^5*b^3*c^6 - a^4*b^4*c^6 + a^3*b^5*c^6 - 6*a^2* b^6*c^6 + 3*a*b^7*c^6 + 3*a^7*c^7 + 3*a^6*b*c^7 + a^4*b^3* c^7 - a^2*b^5*c^7 + 3*a*b^6*c^7 - 6*b^7*c^7 - 7*a^6*c^8 + 4*a^5*b*c^8 - 3*a^4*b^2*c^8 + a^3*b^3*c^8 + 3*a^2*b^4*c^8 - a*b^5* c^8 - 3*a^5*c^9 - a^4*b*c^9 - 2*a^3*b^2*c^9 + a^2*b^3*c^9 - 3*a* b^4*c^9 + 4*b^5*c^9 + 4*a^4*c^10 - a^3*b*c^10 + a^2*b^2* c^10 + a^3*c^11 + a*b^2*c^11 - b^3*c^11 - a^2*c^12) : 0.5922147781424

X1299 : a*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*( a^8 - a^6*b^2 + a^4*b^4 - 3*a^2*b^6 + 2*b^8 - 4*a^6* c^2 + a^4*b^2*c^2 + 2*a^2*b^4*c^2 - 3*b^6*c^2 + 6*a^4*c^4 + a^2* b^2*c^4 + b^4*c^4 - 4*a^2*c^6 - b^2*c^6 + c^8)*(a^8 - 4*a^6* b^2 + 6*a^4*b^4 - 4*a^2*b^6 + b^8 - a^6*c^2 + a^4*b^2*c^2 + a^2*b^4* c^2 - b^6*c^2 + a^4*c^4 + 2*a^2*b^2*c^4 + b^4*c^4 - 3*a^2*c^6 - 3*b^2*c^6 + 2*c^8)*(2*a^12 - a^11*b - 6* a^10*b^2 + 2*a^9*b^3 + 7*a^8*b^4 - 2*a^7*b^5 - 4*a^6*b^6 + 4*a^5*b^7 - 5*a^3*b^9 + 2*a^2*b^10 + 2*a* b^11 - b^12 - a^11*c + 2*a^10*b*c + 3*a^9*b^2*c - 5*a^8*b^3*c - 2*a^7* b^4*c + 4*a^6*b^5*c - 2*a^5*b^6*c - 2*a^4*b^7*c + 3* a^3*b^8*c + 2*a^2*b^9*c - a*b^10*c - b^11*c - 6* a^10*c^2 + 3*a^9*b*c^2 + 12*a^8*b^2*c^2 - 4*a^7*b^3*c^2 - 8* a^6*b^4*c^2 - 2*a^5*b^5*c^2 + 4*a^4*b^6*c^2 + 8*a^3*b^7*c^2 - 6*a^2*b^8* c^2 - 5*a*b^9*c^2 + 4*b^10*c^2 + 2*a^9*c^3 - 5*a^8*b* c^3 - 4*a^7*b^2*c^3 + 8*a^6*b^3*c^3 + 4*a^5*b^4*c^3 - 2*a^4* b^5*c^3 - 4*a^3*b^6*c^3 - 4*a^2*b^7*c^3 + 2*a*b^8*c^3 + 3*b^9*c^3 + 7*a^8*c^4 - 2*a^7*b*c^4 - 8*a^6*b^2*c^4 + 4*a^5*b^3* c^4 - 2*a^3*b^5*c^4 + 4*a^2*b^6*c^4 + 4*a*b^7*c^4 - 7*b^8*c^4 - 2*a^7*c^5 + 4*a^6*b*c^5 - 2*a^5*b^2*c^5 - 2* a^4*b^3*c^5 - 2*a^3*b^4*c^5 + 4*a^2*b^5*c^5 - 2*a*b^6*c^5 - 2*b^7*c^5 - 4*a^6*c^6 - 2*a^5*b*c^6 + 4*a^4*b^2*c^6 - 4*a^3*b^3*c^6 + 4*a^2*b^4* c^6 - 2*a*b^5*c^6 + 8*b^6*c^6 + 4*a^5*c^7 - 2*a^4* b*c^7 + 8*a^3*b^2*c^7 - 4*a^2*b^3*c^7 + 4*a*b^4*c^7 - 2*b^5* c^7 + 3*a^3*b*c^8 - 6*a^2*b^2*c^8 + 2*a*b^3*c^8 - 7*b^4* c^8 - 5*a^3*c^9 + 2*a^2*b*c^9 - 5*a*b^2*c^9 + 3*b^3* c^9 + 2*a^2*c^10 - a*b*c^10 + 4*b^2*c^10 + 2*a*c^11 - b*c^11 - c^12) : 1.065350477603

X1300 : b*c*(-a^2 + b^2 - c^2)*(a^2 + b^2 - c^2)*(a^6 - a^4* b^2 - a^2*b^4 + b^6 - 2*a^4*c^2 + 2*a^2*b^2*c^2 - 2*b^4*c^2 + a^2*c^4 + b^2*c^4)*(a^6 - 2*a^4*b^2 + a^2*b^4 - a^4* c^2 + 2*a^2*b^2*c^2 + b^4*c^2 - a^2*c^4 - 2* b^2*c^4 + c^6)*(-(a^10*b^2) + a^9*b^3 + 3*a^8*b^4 - 3*a^7*b^5 - 3*a^6*b^6 + 3*a^5*b^7 + a^4*b^8 - a^3*b^9 - a^8*b^3*c + 3*a^6*b^5*c - 3*a^4*b^7*c + a^2*b^9*c - a^10*c^2 + 2* a^8*b^2*c^2 - 2*a^6*b^4*c^2 + a^5*b^5*c^2 + a^4*b^6*c^2 - a^2* b^8*c^2 - a*b^9*c^2 + b^10*c^2 + a^9*c^3 - a^8*b* c^3 - 2*a^5*b^4*c^3 + a^4*b^5*c^3 + a*b^8*c^3 + 3*a^8*c^4 - 2*a^6* b^2*c^4 - 2*a^5*b^3*c^4 + a^3*b^5*c^4 + a^2*b^6*c^4 + 3*a*b^7*c^4 - 4* b^8*c^4 - 3*a^7*c^5 + 3*a^6*b*c^5 + a^5*b^2*c^5 + a^4*b^3*c^5 + a^3* b^4*c^5 - 2*a^2*b^5*c^5 - 3*a*b^6*c^5 - 3*a^6* c^6 + a^4*b^2*c^6 + a^2*b^4*c^6 - 3*a*b^5*c^6 + 6*b^6* c^6 + 3*a^5*c^7 - 3*a^4*b*c^7 + 3*a*b^4*c^7 + a^4*c^8 - a^2*b^2*c^8 + a*b^3*c^8 - 4*b^4*c^8 - a^3*c^9 + a^2*b*c^9 - a*b^2*c^9 + b^2*c^10) : 2.95230878043

X1301 : a*(a + b)*(a + c)*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^4 - 2*a^2*b^2 + b^4 + 2*a^2*c^2 + 2*b^2*c^2 - 3*c^4)*(a^4 + 2* a^2*b^2 - 3*b^4 - 2*a^2*c^2 + 2*b^2*c^2 + c^4)*(a^9 - 4* a^8*b + a^7*b^2 + 7*a^6*b^3 - 5*a^5*b^4 - a^4*b^5 + 3*a^3*b^6 - 3* a^2*b^7 + b^9 - 4*a^8*c + 3*a^7*b*c + 4*a^6*b^2*c - 5*a^5*b^3*c + 4* a^4*b^4*c + a^3*b^5*c - 4*a^2*b^6*c + a*b^7*c + a^7*c^2 + 4*a^6*b*c^2 - 11*a^4*b^3*c^2 + a^3*b^4*c^2 + 6*a^2*b^5*c^2 - 2*a*b^6* c^2 + b^7*c^2 + 7*a^6*c^3 - 5*a^5*b*c^3 - 11*a^4* b^2*c^3 + 6*a^3*b^3*c^3 + a^2*b^4*c^3 - a*b^5*c^3 + 3* b^6*c^3 - 5*a^5*c^4 + 4*a^4*b*c^4 + a^3*b^2*c^4 + a^2*b^3*c^4 + 4*a*b^4*c^4 - 5*b^5*c^4 - a^4*c^5 + a^3*b*c^5 + 6*a^2*b^2*c^5 - a* b^3*c^5 - 5*b^4*c^5 + 3*a^3*c^6 - 4*a^2*b* c^6 - 2*a*b^2*c^6 + 3*b^3*c^6 - 3*a^2*c^7 + a*b*c^7 + b^2*c^7 + c^9) : -15.96894410144

X1302 : b*(a + b)*c*(a + c)*(a^4 + 4*a^2*b^2 + b^4 - 2*a^2*c^2 - 2* b^2*c^2 + c^4)*(a^4 - 2*a^2*b^2 + b^4 + 4*a^2*c^2 - 2*b^2*c^2 + c^4)*(-(a^8*b) + a^7*b^2 + 2*a^6*b^3 - 2* a^5*b^4 - a^4*b^5 + a^3*b^6 - a^8*c + a^7*b*c + a^6*b^2*c - 2*a^5*b^3*c + a^4*b^4* c + a^3*b^5*c - a^2*b^6*c + a^7*c^2 + a^6*b*c^2 + a^5* b^2*c^2 - 7*a^4*b^3*c^2 + a^3*b^4*c^2 + 3*a^2*b^5*c^2 - a*b^6* c^2 + b^7*c^2 + 2*a^6*c^3 - 2*a^5*b*c^3 - 7*a^4*b^2*c^3 + 4* a^3*b^3*c^3 + b^6*c^3 - 2*a^5*c^4 + a^4*b*c^4 + a^3*b^2*c^4 + 2*a*b^4*c^4 - 2*b^5*c^4 - a^4*c^5 + a^3*b*c^5 + 3* a^2*b^2*c^5 - 2*b^4*c^5 + a^3*c^6 - a^2*b*c^6 - a*b^2*c^6 + b^3*c^6 + b^2* c^7) : -18.67453653407

X1303 : - (a*(a + b)*(a + c)*(-(a^4*b^4) + 2*a^2*b^6 - b^8 + a^6*c^2 - 3*a^2*b^4*c^2 + 2*b^6*c^2 - 2*a^4*c^4 - b^4*c^4 + a^2*c^6)*(a^6* b^2 - 2*a^4*b^4 + a^2*b^6 - a^4*c^4 - 3*a^2*b^2*c^4 - b^4*c^4 + 2*a^2*c^6 + 2*b^2*c^6 - c^8)*(a^10*b - 3*a^8* b^3 - a^7*b^4 + 4*a^6*b^5 + 2*a^5*b^6 - 3*a^4*b^7 - a^3*b^8 + a^2*b^9 + a^10*c - a^9*b*c - 2*a^8*b^2*c + 2*a^7* b^3*c + 2*a^6*b^4*c - a^5*b^5*c - 2*a^4*b^6*c + a^2*b^8*c - 2* a^8*b*c^2 + 2*a^7*b^2*c^2 + 3*a^6*b^3*c^2 - 3*a^5*b^4*c^2 - a^2* b^7*c^2 + a*b^8*c^2 - 3*a^8*c^3 + 2*a^7*b*c^3 + 3* a^6*b^2*c^3 - 3*a^5*b^3*c^3 + 2*a^4*b^4*c^3 - a^2*b^6*c^3 + a*b^7*c^3 - b^8*c^3 - a^7*c^4 + 2*a^6*b*c^4 - 3*a^5* b^2*c^4 + 2*a^4*b^3*c^4 + 2*a^3*b^4*c^4 - a*b^6*c^4 - b^7*c^4 + 4* a^6*c^5 - a^5*b*c^5 - 2*a*b^5*c^5 + 2*b^6*c^5 + 2*a^5*c^6 - 2*a^4*b*c^6 - a^2*b^3*c^6 - a*b^4*c^6 + 2*b^5* c^6 - 3*a^4*c^7 - a^2*b^2*c^7 + a*b^3*c^7 - b^4*c^7 - a^3*c^8 + a^2*b*c^8 + a*b^2*c^8 - b^3*c^8 + a^2*c^9)) : 2.576415140549

X1304 : a*(a + b)*(a + c)*(a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^4 - 2* a^2*b^2 + b^4 + a^2*c^2 + b^2*c^2 - 2*c^4)*(a^4 + a^2*b^2 - 2*b^4 - 2*a^2*c^2 + b^2*c^2 + c^4)*( a^9 - 3*a^8*b + 5*a^6*b^3 - 3*a^5*b^4 + 2*a^3* b^6 - 3*a^2*b^7 + b^9 - 3*a^8*c + 2*a^7*b*c + 3*a^6*b^2* c - 3*a^5*b^3*c + 3*a^4*b^4*c - 3*a^2*b^6*c + a*b^7*c + 3*a^6*b*c^2 + a^5*b^2*c^2 - 8*a^4*b^3*c^2 + 5*a^2*b^5*c^2 - a*b^6*c^2 + 5*a^6*c^3 - 3*a^5*b*c^3 - 8*a^4*b^2*c^3 + 4*a^3*b^3*c^3 + a^2*b^4*c^3 - a*b^5*c^3 + 2*b^6*c^3 - 3*a^5*c^4 + 3*a^4*b*c^4 + a^2*b^3*c^4 + 2*a*b^4*c^4 - 3*b^5*c^4 + 5*a^2*b^2* c^5 - a*b^3*c^5 - 3*b^4*c^5 + 2*a^3*c^6 - 3*a^2*b*c^6 - a* b^2*c^6 + 2*b^3*c^6 - 3*a^2*c^7 + a*b*c^7 + c^9) : -21.74805375836

X1305 : b*c*(a^3 + b^3 - a*b*c - a*c^2 - b*c^2)*(-a^3 + a*b^2 + a*b*c + b^2*c - c^3)*(a^6*b - a^5*b^2 - a^4*b^3 + a^3*b^4 + a^6* c - a^2*b^4*c - a^5*c^2 + 2*a^3*b^2*c^2 + b^5*c^2 - a^4* c^3 - b^4*c^3 + a^3*c^4 - a^2*b*c^4 - b^3*c^4 + b^2*c^5) : 0.8260916008166

X1308 : - ((a^2 + a*b + b^2 - 2*a*c - 2*b*c + c^2)*(a^2 - 2*a*b + b^2 + a*c - 2*b*c + c^2)*(a^5 - 3*a^4*b + 3*a^3*b^2 \ - a^2*b^3 - 3*a^4*c + 5*a^3*b*c - 3*a^2* b^2*c + 2*a*b^3*c - b^4*c + 3*a^3*c^2 - 3*a^2*b*c^2 - 2*a*b^2* c^2 + b^3*c^2 - a^2*c^3 + 2*a*b*c^3 + b^2* c^3 - b*c^4)) : 1.750097927652

X1309 : b*c*(-a^2 + b^2 - c^2)*(a^2 + b^2 - c^2)*(a^3 - a^2*b - a*b^2 + b^3 + 2*a*b*c - a*c^2 - b*c^2)*(-a^3 + a*b^2 + a^2*c - 2*a*b*c + b^2*c + a*c^2 - c^3)*(-(a^8*b) + a^7*b^2 + 2*a^6*b^3 - 2*a^5*b^4 - a^4*b^5 + a^3*b^6 - a^8*c + 3*a^7*b*c - 3*a^6*b^2*c - 2*a^5*b^3*c + 5*a^4*b^4*c - a^3* b^5*c - a^2*b^6*c + a^7*c^2 - 3*a^6*b*c^2 + 5*a^5*b^2*c^2 - 3*a^4*b^3*c^2 - 3*a^3*b^4*c^2 + 5*a^2* b^5*c^2 - 3*a*b^6*c^2 + b^7*c^2 + 2*a^6*c^3 - 2*a^5*b*c^3 - 3*a^4* b^2*c^3 + 6*a^3*b^3*c^3 - 4*a^2*b^4*c^3 + b^6*c^3 - 2*a^5*c^4 + 5* a^4*b*c^4 - 3*a^3*b^2*c^4 - 4*a^2*b^3*c^4 + 6*a*b^4*c^4 - 2*b^5*c^4 - a^4*c^5 - a^3*b*c^5 + 5*a^2*b^2*c^5 - 2* b^4*c^5 + a^3*c^6 - a^2*b*c^6 - 3*a*b^2*c^6 + b^3*c^6 + b^2*c^7) : 144.0226474743

X1310 : - ((a^2 + 2*a*b + b^2 + c^2)*(a^2 + b^2 + 2*a* c + c^2)*(a^5 - a^4*b + a^3*b^2 - a^2*b^3 - a^4*c + 3*a^3*b*c + a*b^3* c - b^4*c + a^3*c^2 - b^3* c^2 - a^2*c^3 + a*b*c^3 - b^2*c^3 - b*c^4)) : 47.64799273373

X1311 : b*c*(a^4 - a^3*b - a*b^3 + b^4 + a^2*b*c + a*b^2*c - a^2*c^2 - b^2* c^2)*(-a^4 + a^2*b^2 + a^3*c - a^2*b*c - a*b*c^2 + b^2*c^2 + a*c^3 - c^4)*(-(a^6*b^2) + a^5*b^3 + a^4*b^4 - a^3*b^5 + a^5*b^2*c - 3* a^4*b^3*c + a^3*b^4*c + a^2*b^5*c - a^6*c^2 + a^5*b*c^2 + 2* a^4*b^2*c^2 - a^2*b^4*c^2 - 2*a*b^5*c^2 + b^6*c^2 + a^5*c^3 - 3*a^4*b* c^3 + 2*a*b^4*c^3 + a^4*c^4 + a^3*b*c^4 - a^2*b^2*c^4 + 2* a*b^3*c^4 - 2*b^4*c^4 - a^3*c^5 + a^2*b*c^5 - 2*a*b^2* c^5 + b^2*c^6) : 2.832831580592

X1477 : a*(a^2 - a*b + 2*b^2 - 2*a*c - b*c + c^2)*(a^2 - 2*a*b + b^2 - a*c - b*c + 2*c^2)*(2*a^4 - 2*a^3*b + a^2*b^2 - 2*a*b^3 + b^4 - 2* a^3*c + 2*a*b^2*c - 2*b^3*c + a^2*c^2 + 2*a*b*c^2 + 2*b^2* c^2 - 2*a*c^3 - 2*b*c^3 + c^4) : 3.459225116201

X2222 : - ((a^2 - a*b + b^2 - c^2)*(a^2 - b^2 - a*c + c^2)*(a^5 - a^4*b - a^3* b^2 + a^2*b^3 - a^4*c + 3*a^3*b*c - a^2*b^2*c - 2*a*b^3*c + b^4*c - a^3* c^2 - a^2*b*c^2 + 4*a*b^2*c^2 - b^3*c^2 + a^2*c^3 - 2*a*b*c^3 - b^2*c^3 + b*c^4)) : 4.964568492641

X2249 : a*(a + b)*(a + c)*(a^2*b^2 - b^4 + a^3*c - a* b^2*c - 2*a^2*c^2 + b^2*c^2 + a*c^3)*(a^3*b - 2* a^2*b^2 + a*b^3 + a^2*c^2 - a*b*c^2 + b^2*c^2 - c^4)*(a^6*b - 3*a^4* b^3 + a^3*b^4 + 2*a^2*b^5 - a*b^6 + a^6*c - 2*a^5*b*c + 2*a^4*b^2*c + a^3*b^3*c - 3*a^2*b^4*c + a*b^5*c + 2*a^4*b*c^2 - 2*a^3*b^2* c^2 + a^2*b^3*c^2 + a*b^4*c^2 - 2*b^5*c^2 - 3*a^4*c^3 + a^3*b* c^3 + a^2*b^2*c^3 - 2*a*b^3*c^3 + 2*b^4*c^3 + a^3*c^4 - 3*a^2*b*c^4 + a* b^2*c^4 + 2*b^3*c^4 + 2*a^2*c^5 + a*b*c^5 - 2*b^2*c^5 - a* c^6) : 1.809047281626

X2291 : a*(a^2 - 2*a*b + b^2 + a*c + b*c - 2*c^2)*(a^2 + a*b - 2*b^2 - 2*a*c + b*c + c^2)*(2*a^4 - 2*a^3*b - 3*a^2*b^2 + 4*a*b^3 - b^4 - 2*a^3* c + 8*a^2*b*c - 4*a*b^2*c - 2*b^3*c - 3*a^2*c^2 - 4*a*b* c^2 + 6*b^2*c^2 + 4*a*c^3 - 2*b*c^3 - c^4) : 1.012648974953

X2365 : a*(a^6 - 2*a^5*b - a^4*b^2 + 4*a^3*b^3 - a^2*b^4 - 2*a*b^5 + b^6 + a^5*c + a^4*b*c - 2*a^3*b^2*c - 2*a^2*b^3*c + a*b^4*c + b^5* c - 2*a^3*c^3 + 2*a^2*b*c^3 + 2*a*b^2*c^3 - 2*b^3*c^3 + a^2*c^4 - 2*a* b*c^4 + b^2*c^4 + a*c^5 + b*c^5 - 2*c^6)*(a^6 + a^5*b - 2*a^3*b^3 + a^2* b^4 + a*b^5 - 2*b^6 - 2*a^5*c + a^4*b*c + 2*a^2*b^3*c - 2*a*b^4* c + b^5*c - a^4*c^2 - 2*a^3*b*c^2 + 2*a*b^3*c^2 + b^4* c^2 + 4*a^3*c^3 - 2*a^2*b*c^3 - 2*b^3*c^3 - a^2*c^4 + a*b*c^4 - 2*a* c^5 + b*c^5 + c^6)*(2*a^8 - 2*a^7*b - 3*a^6*b^2 + 4*a^5*b^3 + 3*a^4* b^4 - 6*a^3*b^5 - a^2*b^6 + 4*a*b^7 - b^8 - 2*a^7*c + 8*a^6*b*c - 4*a^5* b^2*c - 6*a^4*b^3*c + 2*a^3*b^4*c + 8*a^2*b^5* c - 4*a*b^6*c - 2*b^7*c - 3*a^6*c^2 - 4*a^5*b*c^2 + 6* a^4*b^2*c^2 + 4*a^3*b^3*c^2 - 3*a^2*b^4*c^2 - 4*a*b^5*c^2 + 4*b^6*c^2 + 4*a^5*c^3 - 6*a^4*b*c^3 + 4*a^3*b^2*c^3 - 8* a^2*b^3*c^3 + 4*a*b^4*c^3 + 2*b^5*c^3 + 3*a^4*c^4 + 2*a^3*b* c^4 - 3*a^2*b^2*c^4 + 4*a*b^3*c^4 - 6*b^4*c^4 - 6*a^3*c^5 + 8*a^2*b*c^5 - 4*a*b^2*c^5 + 2*b^3*c^5 - a^2*c^6 - 4*a* b*c^6 + 4*b^2*c^6 + 4*a*c^7 - 2*b*c^7 - c^8) : 3.597503896919

X2366 : b*c*(a^8 - 2*a^6*b^2 + 2*a^4*b^4 - 2*a^2*b^6 + b^8 + a^6*c^2 - a^4*b^2*c^2 - a^2* b^4*c^2 + b^6*c^2 - a^4*c^4 + 4*a^2*b^2*c^4 - b^4*c^4 - a^2*c^6 - b^2*c^6)*(-a^8 - a^6*b^2 + a^4*b^4 + a^2*b^6 + 2*a^6*c^2 + a^4*b^2* c^2 - 4*a^2*b^4*c^2 + b^6*c^2 - 2*a^4*c^4 + a^2*b^2*c^4 + b^4* c^4 + 2*a^2*c^6 - b^2*c^6 - c^8)*(-(a^10*b^2) + a^9*b^3 - a^8*b^4 + a^7*b^5 + a^6*b^6 - a^5*b^7 + a^4*b^8 - a^3*b^9 - a^8*b^3*c - a^6*b^5* c + a^4*b^7*c + a^2*b^9*c - a^10*c^2 + 6*a^8* b^2*c^2 - 2*a^7*b^3*c^2 - 2*a^6*b^4*c^2 - a^5*b^5*c^2 - a^4*b^6*c^2 + 4* a^3*b^7*c^2 - 3*a^2*b^8*c^2 - a*b^9*c^2 + b^10*c^2 + a^9*c^3 - a^8*b*c^3 - 2*a^7*b^2*c^3 + 4*a^6*b^3*c^3 + 2*a^5* b^4*c^3 - a^4*b^5*c^3 - 2*a^3*b^6*c^3 - 2*a^2*b^7*c^3 + a*b^8* c^3 - a^8*c^4 - 2*a^6*b^2*c^4 + 2*a^5*b^3*c^4 - a^3* b^5*c^4 + 3*a^2*b^6*c^4 - a*b^7*c^4 + a^7*c^5 - a^6*b*c^5 - a^5*b^2*c^5 - a^4*b^3*c^5 - a^3*b^4*c^5 + 2*a^2*b^5* c^5 + a*b^6*c^5 + a^6*c^6 - a^4*b^2*c^6 - 2*a^3*b^3* c^6 + 3*a^2*b^4*c^6 + a*b^5*c^6 - 2*b^6*c^6 - a^5*c^7 + a^4*b* c^7 + 4*a^3*b^2*c^7 - 2*a^2*b^3*c^7 - a*b^4*c^7 + a^4*c^8 - 3*a^2*b^2* c^8 + a*b^3*c^8 - a^3*c^9 + a^2*b*c^9 - a*b^2*c^9 + b^2* c^10) : 4.69125773225

X2367 : b^3*c^3*(a^6 + b^6 - a^4*c^2 - b^4*c^2)*(-a^6 + a^4*b^2 + b^2*c^4 - c^6)*(-(a^8*b^4) + a^7*b^5 + a^6*b^6 - a^5*b^7 - a^6*b^5* c + a^4*b^7*c + a^6*b^4* c^2 - a^4*b^6*c^2 - a^8*c^4 + a^6*b^2*c^4 - a*b^7*c^4 + b^8*c^4 + a^7*c^5 - a^6*b*c^5 + a*b^6* c^5 + a^6*c^6 - a^4*b^2*c^6 + a*b^5*c^6 - 2*b^6*c^6 - a^5*c^7 + a^4*b*c^7 - a*b^4*c^7 + b^4*c^8) : 3.905356310591

X2368 : b*(a + b)*c*(a + c)*(a^3*b + a*b^3 + a^3*c - a^2* b*c - a*b^2*c + b^3*c - a^2*c^2 - b^2*c^2)*(-(a^3*b) + a^2* b^2 - a^3*c + a^2*b*c + a*b*c^2 + b^2*c^2 - a* c^3 - b*c^3)*(-(a^6*b^3) + 2*a^5*b^4 - a^4*b^5 - a^6*b^2*c + a^5*b^3*c - a^6*b*c^2 - 2*a^5*b^2*c^2 + 3*a^4*b^3*c^2 - 2*a^3*b^4*c^2 + a^2*b^5*c^2 + a*b^6*c^2 - a^6*c^3 + a^5*b*c^3 + 3*a^4*b^2* c^3 - a^2*b^4*c^3 - a*b^5*c^3 + b^6*c^3 + 2*a^5*c^4 - 2*a^3* b^2*c^4 - a^2*b^3*c^4 - b^5*c^4 - a^4*c^5 + a^2*b^2*c^5 - a*b^3*c^5 - b^4*c^5 + a*b^2*c^6 + b^3*c^6)* : 0.8482951082723

X2369 : b*c*(a^4 - a^3*b - a*b^3 + b^4 - 2*a^3*c + a^2*b*c + a*b^2*c - 2*b^3*c + a^2*c^2 + b^2*c^2)*(a^4 - 2*a^3*b + a^2*b^2 - a^3* c + a^2*b*c + a*b*c^2 + b^2*c^2 - a*c^3 - 2*b*c^3 + c^4)*(a^6*b^2 - 3*a^5*b^3 + 3*a^4*b^4 - a^3* b^5 + a^5*b^2*c - a^4*b^3*c - a^3*b^4*c + a^2*b^5*c + a^6*c^2 + a^5*b* c^2 - 2*a^4*b^2*c^2 + 2*a^3*b^3*c^2 - 3*a^2*b^4*c^2 + b^6*c^2 - 3*a^5* c^3 - a^4*b*c^3 + 2*a^3*b^2*c^3 + 4*a^2*b^3*c^3 - 4*b^5*c^3 + 3*a^4*c^4 - a^3*b* c^4 - 3*a^2*b^2*c^4 + 6*b^4*c^4 - a^3*c^5 + a^2*b*c^5 - 4*b^3*c^5 + b^2*c^6) : 0.1256852849848

X2370 : b*c*(a^5 - 2*a^4*b + a^3*b^2 + a^2*b^3 - 2*a* b^4 + b^5 + a^4*c - 2*a^2*b^2*c + b^4*c - a^3*c^2 + 2*a^2*b*c^2 + 2*a* b^2*c^2 - b^3*c^2 - a^2*c^3 - b^2*c^3)*(-a^5 - a^4*b + a^3*b^2 + a^2*b^3 + 2*a^4*c - 2*a^2*b^2*c - a^3* c^2 + 2*a^2*b*c^2 - 2*a*b^2*c^2 + b^3*c^2 - a^2* c^3 + b^2*c^3 + 2*a*c^4 - b*c^4 - c^5)*(-(a^7*b^2) + 2* a^5*b^4 - a^3*b^6 + 2*a^6*b^2*c - 3*a^5*b^3*c - 3*a^4*b^4*c + 3*a^3*b^5*c + a^2*b^6*c - a^7*c^2 + 2*a^6*b*c^2 + 3*a^4*b^3*c^2 - 2*a^3* b^4*c^2 - 3*a*b^6*c^2 + b^7*c^2 - 3*a^5*b*c^3 + 3*a^4*b^2*c^3 - a^2*b^4* c^3 + b^6*c^3 + 2*a^5*c^4 - 3*a^4*b*c^4 - 2*a^3*b^2*c^4 - a^2*b^3*c^4 + 6*a*b^4*c^4 - 2*b^5*c^4 + 3*a^3*b*c^5 - 2*b^4*c^5 - a^3* c^6 + a^2*b*c^6 - 3*a*b^2*c^6 + b^3*c^6 + b^2*c^7) : 4.070307431649

X2371 : a*(a^4 - 4*a^3*b + 6*a^2*b^2 - 4*a*b^3 + b^4 + 3*a^3*c - 3*a^2*b*c - 3*a*b^2*c + 3*b^3*c - 3*a^2*c^2 + 6*a* b*c^2 - 3*b^2*c^2 + a*c^3 + b*c^3 - 2*c^4)*(a^4 + 3*a^3*b - 3*a^2*b^2 + a*b^3 - 2*b^4 - 4*a^3*c - 3*a^2*b*c + 6*a*b^2*c + b^3*c + 6* a^2*c^2 - 3*a*b*c^2 - 3*b^2*c^2 - 4*a*c^3 + 3*b*c^3 + c^4)*(2*a^6 - 2*a^5*b - a^4*b^2 + 4*a^3*b^3 - 8*a^2*b^4 + 6*a*b^5 - b^6 - 2*a^5*c + 4*a^4*b*c - 4*a^3*b^2*c + 8*a^2*b^3*c - 2*a*b^4*c - 4* b^5*c - a^4*c^2 - 4*a^3*b*c^2 - 4*a*b^3*c^2 + 9*b^4*c^2 + 4*a^3* c^3 + 8*a^2*b*c^3 - 4*a*b^2*c^3 - 8*b^3*c^3 - 8*a^2* c^4 - 2*a*b*c^4 + 9*b^2*c^4 + 6*a*c^5 - 4*b*c^5 - c^6)* : 3.27194091896

X2372 : b*c*(a^5 + b^5 + a^4*c + b^4*c - a^3*c^2 - b^3*c^2 - a^2*c^3 - b^2*c^3)*(-a^5 - a^4*b + a^3*b^2 + a^2*b^3 + b^3*c^2 + b^2*c^3 - b*c^4 - c^5)*(-(a^7*b^2) + 2*a^5*b^4 - a^3*b^6 - a^5*b^3*c - a^4*b^4*c + a^3* b^5*c + a^2*b^6*c - a^7*c^2 + 2*a^5*b^2*c^2 + a^4* b^3*c^2 - a^3*b^4*c^2 - a^2*b^5*c^2 - a*b^6*c^2 + b^7*c^2 - a^5*b*c^3 + a^4* b^2*c^3 + b^6*c^3 + 2*a^5*c^4 - a^4*b*c^4 - a^3*b^2*c^4 + 2* a*b^4*c^4 - 2*b^5*c^4 + a^3*b*c^5 - a^2*b^2*c^5 - 2*b^4*c^5 - a^3*c^6 + a^2*b*c^6 - a*b^2*c^6 + b^3*c^6 + b^2* c^7) : 2.123398090791

X2373 : b*c*(a^6 - a^4*b^2 - a^2*b^4 + b^6 + 2*a^2*b^2* c^2 - a^2*c^4 - b^2*c^4)*(-a^6 + a^2*b^4 + a^4*c^2 - 2*a^2*b^2*c^2 + b^4*c^2 + a^2*c^4 - c^6)*(-(a^8*b^2) + a^7*b^3 + a^4* b^6 - a^3* b^7 - a^6*b^3*c + a^2*b^7*c - a^8*c^2 + 4*a^6*b^2*c^2 - a^5* b^3*c^2 - 2*a^4*b^4*c^2 + 2*a^3*b^5*c^2 - 2*a^2*b^6*c^2 - a* b^7*c^2 + b^8*c^2 + a^7*c^3 - a^6*b*c^3 - a^5*b^2*c^3 + 2*a^4* b^3*c^3 - a^3*b^4*c^3 - a^2*b^5*c^3 + a*b^6*c^3 - 2*a^4* b^2*c^4 - a^3*b^3*c^4 + 4*a^2*b^4*c^4 - b^6*c^4 + 2*a^3*b^2*c^5 - a^2*b^3*c^5 + a^4*c^6 - 2*a^2*b^2*c^6 + a*b^3*c^6 - b^4* c^6 - a^3*c^7 + a^2*b*c^7 - a*b^2*c^7 + b^2*c^8) : 3.738256370589

X2374 : b*c*(-a^2 + b^2 - c^2)*(a^2 + b^2 - c^2)*(a^4 - 4*a^2* b^2 + b^4 + a^2*c^2 + b^2*c^2)*(a^4 + a^2*b^2 - 4* a^2*c^2 + b^2*c^2 + c^4)*(-(a^8*b^2) + a^7*b^3 + a^4*b^6 - a^3*b^7 - a^6*b^3*c + a^2*b^7*c - a^8*c^2 + 8* a^6*b^2*c^2 - 3*a^5*b^3*c^2 - 6*a^4*b^4*c^2 + 6*a^3*b^5*c^2 - 4* a^2*b^6*c^2 - a*b^7*c^2 + b^8*c^2 + a^7*c^3 - a^6*b*c^3 - 3*a^5*b^2*c^3 + 6* a^4*b^3*c^3 - 3*a^3*b^4*c^3 - 3*a^2*b^5* c^3 + a*b^6*c^3 - 6*a^4*b^2* c^4 - 3*a^3*b^3*c^4 + 12*a^2*b^4*c^4 - b^6*c^4 + 6* a^3*b^2*c^5 - 3*a^2*b^3*c^5 + a^4*c^6 - 4*a^2*b^2*c^6 + a*b^3*c^6 - b^4*c^6 - a^3*c^7 + a^2*b*c^7 - a*b^2*c^7 + b^2*c^8) : 28.30131596903

X2375 : a*(-(a*b^3) + a^3*c + a^2* b*c - 2*a*b^2*c - b^3*c + a*b* c^2 + a*c^3)*(a^3*b + a*b^3 + a^2*b*c + a*b^2* c - 2*a*b*c^2 - a*c^3 - b*c^3)*(a^5*b - a^3*b^3 + a^2*b^4 - a*b^5 + a^5*c - a^3*b^2*c - a^2*b^3*c - a^3*b*c^2 + 2*a*b^3* c^2 - b^4*c^2 - a^3*c^3 - a^2*b*c^3 + 2*a*b^2*c^3 + 2*b^3*c^3 + a^2* c^4 - b^2*c^4 - a* c^5) : -0.001388014965915

X2376 : (a^2 + b^2 - c^2)*(a^2 - b^2 + c^2)*(a^5 - a^4* b - a*b^4 + b^5 - 2*a^4*c + 4*a^2*b^2*c - 2*b^4*c + 2*a^2*c^3 - 2* a*b*c^3 + 2*b^2*c^3 - a*c^4 - b*c^4)*(a^5 - 2*a^4*b + 2*a^2*b^3 - a* b^4 - a^4*c - 2*a*b^3*c - b^4*c + 4*a^2*b*c^2 + 2*b^3*c^2 - a*c^4 - 2*b* c^4 + c^5)*(a^9*b - 3*a^8*b^2 + a^7*b^3 + 5*a^6*b^4 - 5* a^5*b^5 - a^4*b^6 + 3*a^3*b^7 - a^2*b^8 + a^9*c + 2*a^8*b*c - 2*a^7*b^2* c - 3*a^6*b^3*c + 2*a^5*b^4*c + a^4*b^5*c - 2*a^3*b^6*c - a^2*b^7*c + a* b^8*c + b^9*c - 3*a^8*c^2 - 2*a^7*b*c^2 + 4*a^6*b^2*c^2 + a^5*b^3*c^2 + a^4*b^4*c^2 + 4*a^3*b^5*c^2 + 2*a^2*b^6*c^2 - 3*a*b^7*c^2 - 4*b^8*c^2 + a^7* c^3 - 3*a^6*b*c^3 + a^5*b^2*c^3 - 2*a^4*b^3*c^3 - 5*a^3* b^4*c^3 + a^2*b^5*c^3 + 3*a*b^6*c^3 + 4*b^7* c^3 + 5*a^6*c^4 + 2*a^5*b*c^4 + a^4*b^2*c^4 - 5*a^3*b^3*c^4 - 2* a^2*b^4*c^4 - a*b^5*c^4 + 4*b^6*c^4 - 5*a^5*c^5 + a^4*b* c^5 + 4*a^3*b^2*c^5 + a^2*b^3*c^5 - a*b^4*c^5 - 10*b^5* c^5 - a^4*c^6 - 2*a^3*b*c^6 + 2*a^2*b^2*c^6 + 3*a* b^3*c^6 + 4*b^4*c^6 + 3*a^3*c^7 - a^2*b*c^7 - 3*a*b^2*c^7 + 4* b^3*c^7 - a^2*c^8 + a*b*c^8 - 4*b^2*c^8 + b*c^9) : -59.99571517688

X2377 : (a + b - c)*(a - b + c)*(a^4 - 2*a^3*b + 2*a^2*b^2 - 2*a*b^3 + b^4 - 3*a^3*c + 3*a^2*b*c + 3*a*b^2*c - 3*b^3*c + 3* a^2*c^2 - 4*a*b*c^2 + 3*b^2*c^2 - a*c^3 - b*c^3)*(a^4 - 3*a^3*b + 3*a^2* b^2 - a*b^3 - 2*a^3*c + 3*a^2*b*c - 4*a* b^2*c - b^3*c + 2*a^2*c^2 + 3*a*b*c^2 + 3* b^2*c^2 - 2*a*c^3 - 3*b*c^3 + c^4)*(a^7*b - 5*a^6*b^2 + 10*a^5*b^3 - 10*a^4*b^4 + 5*a^3*b^5 - a^2*b^6 + a^7*c + 2*a^6*b* c - 5*a^5*b^2*c + a^4*b^3*c + 3*a^3*b^4*c - 4*a^2* b^5*c + a*b^6*c + b^7*c - 5*a^6*c^2 - 5*a^5*b*c^2 + 14*a^4*b^2* c^2 - 8*a^3*b^3*c^2 + 13*a^2*b^4*c^2 - 3*a*b^5*c^2 - 6*b^6* c^2 + 10*a^5*c^3 + a^4*b*c^3 - 8*a^3*b^2*c^3 - 16*a^2*b^3*c^3 + 2*a* b^4*c^3 + 15*b^5*c^3 - 10*a^4*c^4 + 3*a^3*b*c^4 + 13* a^2*b^2*c^4 + 2*a*b^3*c^4 - 20*b^4*c^4 + 5*a^3* c^5 - 4*a^2*b*c^5 - 3*a*b^2*c^5 + 15*b^3*c^5 - a^2*c^6 + a*b*c^6 - 6* b^2*c^6 + b*c^7) : 4.455874807992