三角形两内点间距

葡萄糖

数学星空 发表于 2014-2-17 20:17
我们可以利用‘万能心距公式’计算‘陈都提出的完全心距公式（他得到的公式都很美）’

1.  三个旁心\(O_1,O_2,O_3\)
2.  费马点\(M\)

关于费马点与重心的距离公式

http://wenku.baidu.com/link?url= ... SJ6icK5-_kFj_pF_mHu

葡萄糖

葡萄糖 发表于 2014-2-22 11:03
关于费马点与重心的距离公式

关于费马点与其他心的距离公式？

数学星空

关于三个旁心（\(O_1,O_2,O_3\)),我们得到如下结果：

1. \(a^6+b^6+c^6+2a^3b^2c-2a^2b^3c-2a^2bc^3+2ab^3c^2-3abc^4+6a^2b^2c^2+3a^4bc-3ab^4c+2ab^2c^3+2a^3bc^2+a^5b+a^5c-a^4b^2-a^4c^2-2a^3b^3-2a^3c^3-a^2b^4-a^2c^4+ab^5+ac^5-b^5c-b^4c^2+2b^3c^3-b^2c^4-bc^5+(c+a+b)(a+b-c)(a-b-c)(a-b+c)HO_1^2=0\)

2.\((9a-9b-9c)GO_1^2+a^3+2a^2b+2a^2c-2ab^2+9abc-2ac^2-b^3+2b^2c+2bc^2-c^3=0\)

3.\((a+b-c)(c+a+b)(a-b+c)(a-b-c)OO_1^2+abc(a^3+a^2b+a^2c-ab^2+3abc-ac^2-b^3+b^2c+bc^2-c^3)=0\)

4.\((c+a+b)(a-b-c)IO_1^2+4a^2bc=0\)

5.\((a-b-c)(a-b+c)O_1O_2^2+4abc^2=0\)

6.\((a-b-c)(a+b-c)O_1O_3^2+4ab^2c=0\)

7.\((a+b-c)(c+a+b)(a-b+c)(a-b-c)HO_2^2+a^6+b^6+c^6-2a^3b^2c+2a^2b^3c+2a^2bc^3+2ab^3c^2-3abc^4+6a^2b^2c^2-3a^4bc+3ab^4c-2ab^2c^3+2a^3bc^2+a^5b-a^5c-a^4b^2-a^4c^2-2a^3b^3+2a^3c^3-a^2b^4-a^2c^4+ab^5-ac^5+b^5c-b^4c^2-2b^3c^3-b^2c^4+bc^5=0\)

8.\((9a-9b+9c)GO_2^2+a^3+2a^2b-2a^2c-2ab^2-9abc-2ac^2-b^3-2b^2c+2bc^2+c^3=0\)

9.\((a+b-c)(c+a+b)(a-b+c)(a-b-c)OO_2^2-abc(a^3+a^2b-a^2c-ab^2-3abc-ac^2-b^3-b^2c+bc^2+c^3)=0\)

10.\((c+a+b)(a-b+c)IO_2^2-4ab^2c=0\)

11.\((a+b-c)(c+a+b)(a-b+c)(a-b-c)HO_3^2+a^6+b^6+c^6+2a^3b^2c+2a^2b^3c+2a^2bc^3-2ab^3c^2+3abc^4+6a^2b^2c^2-3a^4bc-3ab^4c+2ab^2c^3-2a^3bc^2-a^5b+a^5c-a^4b^2-a^4c^2+2a^3b^3-2a^3c^3-a^2b^4-a^2c^4-ab^5+ac^5+b^5c-b^4c^2-2b^3c^3-b^2c^4+bc^5=0\)

12.\(9a+9b-9c)GO_3^2+a^3-2a^2b+2a^2c-2ab^2-9abc-2ac^2+b^3+2b^2c-2bc^2-c^3=0\)

13.\((a+b-c)(c+a+b)(a-b+c)(a-b-c)OO_3^2-abc(a^3-a^2b+a^2c-ab^2-3abc-ac^2+b^3+b^2c-bc^2-c^3)=0\)

14.\((a+b-c)(c+a+b)IO_3^2-4abc^2=0\)

15.\((a+b-c)(a-b+c)O_2O_3^2-4a^2bc=0\)

数学星空

若令\(a=y+z,b=x+z,c=x+y\),上面的结果可以化为：

1.\(x^4y^2-2x^4yz+x^4z^2+2x^3y^3-2x^3y^2z-2x^3yz^2+2x^3z^3+x^2y^4-2x^2y^3z+6x^2y^2z^2-2x^2yz^3+x^2z^4-2xy^4z+14xy^3z^2+14xy^2z^3-2xyz^4+9y^4z^2+18y^3z^3+9y^2z^4-4(x+y+z)HO_1^2xyz=0\)

2. \(-9GO_1^2x+x^3+4x^2y+4x^2z+4xy^2+13xyz+4xz^2+9y^2z+9yz^2=0\)

3.\(-16(x+y+z)xyz OO_1^2+(y+z)(x+z)(x+y)(x^2y+x^2z+xy^2+10xyz+xz^2+9y^2z+9yz^2)=0\)

4.\(-(x+y+z)x IO_1^2+(y+z)^2(x+z)(x+y)=0\)

5.\(-O_1O_2^2 xy+(y+z)(x+z)(x+y)^2=0\)

6.\(-O_1O_3^2 xz+(y+z)(x+z)^2(x+y)=0\)

7.\(x^4y^2-2x^4yz+9x^4z^2+2x^3y^3-2x^3y^2z+14x^3yz^2+18x^3z^3+x^2y^4-2x^2y^3z+6x^2y^2z^2+14x^2yz^3+9x^2z^4-2xy^4z-2xy^3z^2-2xy^2z^3-2xyz^4+y^4z^2+2y^3z^3+y^2z^4-4(x+y+z)HO_2^2xyz=0\)

8.\(9GO_2^2y-4x^2y-9x^2z-4xy^2-13xyz-9xz^2-y^3-4y^2z-4yz^2=0\)

9.\(-16(x+y+z)OO_2^2 xyz+(y+z)(x+z)(x+y)(x^2y+9x^2z+xy^2+10xyz+9xz^2+y^2z+yz^2)=0\)

10.\( (x+y+z)IO_2^2y-(y+z)(x+z)^2(x+y)=0\)

11.\(9x^4y^2-2x^4yz+x^4z^2+18x^3y^3+14x^3y^2z-2x^3yz^2+2x^3z^3+9x^2y^4+14x^2y^3z+6x^2y^2z^2-2x^2yz^3+x^2z^4-2xy^4z-2xy^3z^2-2xy^2z^3-2xyz^4+y^4z^2+2y^3z^3+y^2z^4-4(x+y+z)HO_3^2xyz=0\)

12.\(9GO_3^2z-9x^2y-4x^2z-9xy^2-13xyz-4xz^2-4y^2z-4yz^2-z^3=0\)

13.\(-16(x+y+z)OO_3^2 xyz+(y+z)(x+z)(x+y)(9x^2y+x^2z+9xy^2+10xyz+xz^2+y^2z+yz^2)=0\)

14.\((x+y+z)zIO_3^2-(y+z)(x+z)(x+y)^2=0\)

15.\(O_2O_3^2 yz-(y+z)^2(x+z)(x+y)=0\)

数学星空

关于费马点\(F\)的结果：（仅讨论\( \max{A,B,C}<120^\circ \)情形）
1.   81*(a^2+b^2+c^2)^2*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(a+b-c)^4*(a+b+c)^4*(a-b+c)^4*(a-b-c)^4*OF^8+(27*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^12-7*a^10*b^2-7*a^10*c^2+10*a^8*b^4+22*a^8*b^2*c^2+10*a^8*c^4-10*a^6*b^6-3*a^6*b^4*c^2-3*a^6*b^2*c^4-10*a^6*c^6+10*a^4*b^8-3*a^4*b^6*c^2-42*a^4*b^4*c^4-3*a^4*b^2*c^6+10*a^4*c^8-7*a^2*b^10+22*a^2*b^8*c^2-3*a^2*b^6*c^4-3*a^2*b^4*c^6+22*a^2*b^2*c^8-7*a^2*c^10+2*b^12-7*b^10*c^2+10*b^8*c^4-10*b^6*c^6+10*b^4*c^8-7*b^2*c^10+2*c^12)*(a+b-c)^3*(a+b+c)^3*(a-b+c)^3*(a-b-c)^3*OF^6+(27*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^20-5*a^18*b^2-5*a^18*c^2+10*a^16*b^4+23*a^16*b^2*c^2+10*a^16*c^4-10*a^14*b^6-37*a^14*b^4*c^2-37*a^14*b^2*c^4-10*a^14*c^6+5*a^12*b^8+23*a^12*b^6*c^2+28*a^12*b^4*c^4+23*a^12*b^2*c^6+5*a^12*c^8-2*a^10*b^10-4*a^10*b^8*c^2+43*a^10*b^6*c^4+43*a^10*b^4*c^6-4*a^10*b^2*c^8-2*a^10*c^10+5*a^8*b^12-4*a^8*b^10*c^2-16*a^8*b^8*c^4-84*a^8*b^6*c^6-16*a^8*b^4*c^8-4*a^8*b^2*c^10+5*a^8*c^12-10*a^6*b^14+23*a^6*b^12*c^2+43*a^6*b^10*c^4-84*a^6*b^8*c^6-84*a^6*b^6*c^8+43*a^6*b^4*c^10+23*a^6*b^2*c^12-10*a^6*c^14+10*a^4*b^16-37*a^4*b^14*c^2+28*a^4*b^12*c^4+43*a^4*b^10*c^6-16*a^4*b^8*c^8+43*a^4*b^6*c^10+28*a^4*b^4*c^12-37*a^4*b^2*c^14+10*a^4*c^16-5*a^2*b^18+23*a^2*b^16*c^2-37*a^2*b^14*c^4+23*a^2*b^12*c^6-4*a^2*b^10*c^8-4*a^2*b^8*c^10+23*a^2*b^6*c^12-37*a^2*b^4*c^14+23*a^2*b^2*c^16-5*a^2*c^18+b^20-5*b^18*c^2+10*b^16*c^4-10*b^14*c^6+5*b^12*c^8-2*b^10*c^10+5*b^8*c^12-10*b^6*c^14+10*b^4*c^16-5*b^2*c^18+c^20)*(a+b-c)^2*(a+b+c)^2*(a-b+c)^2*(a-b-c)^2*OF^4+(3*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(2*a^26-16*a^24*b^2-16*a^24*c^2+54*a^22*b^4+120*a^22*b^2*c^2+54*a^22*c^4-98*a^20*b^6-351*a^20*b^4*c^2-351*a^20*b^2*c^4-98*a^20*c^6+100*a^18*b^8+490*a^18*b^6*c^2+852*a^18*b^4*c^4+490*a^18*b^2*c^6+100*a^18*c^8-54*a^16*b^10-240*a^16*b^8*c^2-966*a^16*b^6*c^4-966*a^16*b^4*c^6-240*a^16*b^2*c^8-54*a^16*c^10+12*a^14*b^12-258*a^14*b^10*c^2+486*a^14*b^8*c^4+830*a^14*b^6*c^6+486*a^14*b^4*c^8-258*a^14*b^2*c^10+12*a^14*c^12+12*a^12*b^14+510*a^12*b^12*c^2-75*a^12*b^10*c^4-232*a^12*b^8*c^6-232*a^12*b^6*c^8-75*a^12*b^4*c^10+510*a^12*b^2*c^12+12*a^12*c^14-54*a^10*b^16-258*a^10*b^14*c^2-75*a^10*b^12*c^4+384*a^10*b^10*c^6-402*a^10*b^8*c^8+384*a^10*b^6*c^10-75*a^10*b^4*c^12-258*a^10*b^2*c^14-54*a^10*c^16+100*a^8*b^18-240*a^8*b^16*c^2+486*a^8*b^14*c^4-232*a^8*b^12*c^6-402*a^8*b^10*c^8-402*a^8*b^8*c^10-232*a^8*b^6*c^12+486*a^8*b^4*c^14-240*a^8*b^2*c^16+100*a^8*c^18-98*a^6*b^20+490*a^6*b^18*c^2-966*a^6*b^16*c^4+830*a^6*b^14*c^6-232*a^6*b^12*c^8+384*a^6*b^10*c^10-232*a^6*b^8*c^12+830*a^6*b^6*c^14-966*a^6*b^4*c^16+490*a^6*b^2*c^18-98*a^6*c^20+54*a^4*b^22-351*a^4*b^20*c^2+852*a^4*b^18*c^4-966*a^4*b^16*c^6+486*a^4*b^14*c^8-75*a^4*b^12*c^10-75*a^4*b^10*c^12+486*a^4*b^8*c^14-966*a^4*b^6*c^16+852*a^4*b^4*c^18-351*a^4*b^2*c^20+54*a^4*c^22-16*a^2*b^24+120*a^2*b^22*c^2-351*a^2*b^20*c^4+490*a^2*b^18*c^6-240*a^2*b^16*c^8-258*a^2*b^14*c^10+510*a^2*b^12*c^12-258*a^2*b^10*c^14-240*a^2*b^8*c^16+490*a^2*b^6*c^18-351*a^2*b^4*c^20+120*a^2*b^2*c^22-16*a^2*c^24+2*b^26-16*b^24*c^2+54*b^22*c^4-98*b^20*c^6+100*b^18*c^8-54*b^16*c^10+12*b^14*c^12+12*b^12*c^14-54*b^10*c^16+100*b^8*c^18-98*b^6*c^20+54*b^4*c^22-16*b^2*c^24+2*c^26)*(a+b-c)*(a+b+c)*(a-b+c)*(a-b-c)*OF^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^16-5*a^14*b^2-5*a^14*c^2+10*a^12*b^4+19*a^12*b^2*c^2+10*a^12*c^4-11*a^10*b^6-27*a^10*b^4*c^2-27*a^10*b^2*c^4-11*a^10*c^6+10*a^8*b^8+13*a^8*b^6*c^2+33*a^8*b^4*c^4+13*a^8*b^2*c^6+10*a^8*c^8-11*a^6*b^10+13*a^6*b^8*c^2-23*a^6*b^6*c^4-23*a^6*b^4*c^6+13*a^6*b^2*c^8-11*a^6*c^10+10*a^4*b^12-27*a^4*b^10*c^2+33*a^4*b^8*c^4-23*a^4*b^6*c^6+33*a^4*b^4*c^8-27*a^4*b^2*c^10+10*a^4*c^12-5*a^2*b^14+19*a^2*b^12*c^2-27*a^2*b^10*c^4+13*a^2*b^8*c^6+13*a^2*b^6*c^8-27*a^2*b^4*c^10+19*a^2*b^2*c^12-5*a^2*c^14+b^16-5*b^14*c^2+10*b^12*c^4-11*b^10*c^6+10*b^8*c^8-11*b^6*c^10+10*b^4*c^12-5*b^2*c^14+c^16)*(a^16-5*a^14*b^2-5*a^14*c^2+10*a^12*b^4+28*a^12*b^2*c^2+10*a^12*c^4-11*a^10*b^6-54*a^10*b^4*c^2-54*a^10*b^2*c^4-11*a^10*c^6+10*a^8*b^8+31*a^8*b^6*c^2+51*a^8*b^4*c^4+31*a^8*b^2*c^6+10*a^8*c^8-11*a^6*b^10+31*a^6*b^8*c^2+22*a^6*b^6*c^4+22*a^6*b^4*c^6+31*a^6*b^2*c^8-11*a^6*c^10+10*a^4*b^12-54*a^4*b^10*c^2+51*a^4*b^8*c^4+22*a^4*b^6*c^6+51*a^4*b^4*c^8-54*a^4*b^2*c^10+10*a^4*c^12-5*a^2*b^14+28*a^2*b^12*c^2-54*a^2*b^10*c^4+31*a^2*b^8*c^6+31*a^2*b^6*c^8-54*a^2*b^4*c^10+28*a^2*b^2*c^12-5*a^2*c^14+b^16-5*b^14*c^2+10*b^12*c^4-11*b^10*c^6+10*b^8*c^8-11*b^6*c^10+10*b^4*c^12-5*b^2*c^14+c^16)=0

2.   (6561*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^2+b^2+c^2)^2*GF^8+(2916*(a^2+b^2+c^2))*(a^4-4*a^2*b^2-4*a^2*c^2+b^4-4*b^2*c^2+c^4)*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*GF^6+(243*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^4-6*a^2*b^2-6*a^2*c^2+b^4-6*b^2*c^2+c^4)*(a^4-4*a^2*b^2-4*a^2*c^2+b^4-4*b^2*c^2+c^4)*GF^4-(18*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^4-4*a^2*b^2-4*a^2*c^2+b^4-4*b^2*c^2+c^4)^2*GF^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(7*a^8-35*a^6*b^2-35*a^6*c^2+60*a^4*b^4+57*a^4*b^2*c^2+60*a^4*c^4-35*a^2*b^6+57*a^2*b^4*c^2+57*a^2*b^2*c^4-35*a^2*c^6+7*b^8-35*b^6*c^2+60*b^4*c^4-35*b^2*c^6+7*c^8)=0


3.   81*(a^2+b^2+c^2)^2*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(a+b-c)^4*(a+b+c)^4*(a-b+c)^4*(a-b-c)^4*HF^8+(54*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(4*a^12-11*a^10*b^2-11*a^10*c^2+20*a^8*b^4+20*a^8*b^2*c^2+20*a^8*c^4-26*a^6*b^6-9*a^6*b^4*c^2-9*a^6*b^2*c^4-26*a^6*c^6+20*a^4*b^8-9*a^4*b^6*c^2+6*a^4*b^4*c^4-9*a^4*b^2*c^6+20*a^4*c^8-11*a^2*b^10+20*a^2*b^8*c^2-9*a^2*b^6*c^4-9*a^2*b^4*c^6+20*a^2*b^2*c^8-11*a^2*c^10+4*b^12-11*b^10*c^2+20*b^8*c^4-26*b^6*c^6+20*b^4*c^8-11*b^2*c^10+4*c^12)*(a+b+c)^3*(a+b-c)^3*(a-b-c)^3*(a-b+c)^3*HF^6+(27*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(9*a^20-37*a^18*b^2-37*a^18*c^2+83*a^16*b^4+129*a^16*b^2*c^2+83*a^16*c^4-136*a^14*b^6-210*a^14*b^4*c^2-210*a^14*b^2*c^4-136*a^14*c^6+164*a^12*b^8+226*a^12*b^6*c^2+266*a^12*b^4*c^4+226*a^12*b^2*c^6+164*a^12*c^8-166*a^10*b^10-108*a^10*b^8*c^2-166*a^10*b^6*c^4-166*a^10*b^4*c^6-108*a^10*b^2*c^8-166*a^10*c^10+164*a^8*b^12-108*a^8*b^10*c^2+54*a^8*b^8*c^4+76*a^8*b^6*c^6+54*a^8*b^4*c^8-108*a^8*b^2*c^10+164*a^8*c^12-136*a^6*b^14+226*a^6*b^12*c^2-166*a^6*b^10*c^4+76*a^6*b^8*c^6+76*a^6*b^6*c^8-166*a^6*b^4*c^10+226*a^6*b^2*c^12-136*a^6*c^14+83*a^4*b^16-210*a^4*b^14*c^2+266*a^4*b^12*c^4-166*a^4*b^10*c^6+54*a^4*b^8*c^8-166*a^4*b^6*c^10+266*a^4*b^4*c^12-210*a^4*b^2*c^14+83*a^4*c^16-37*a^2*b^18+129*a^2*b^16*c^2-210*a^2*b^14*c^4+226*a^2*b^12*c^6-108*a^2*b^10*c^8-108*a^2*b^8*c^10+226*a^2*b^6*c^12-210*a^2*b^4*c^14+129*a^2*b^2*c^16-37*a^2*c^18+9*b^20-37*b^18*c^2+83*b^16*c^4-136*b^14*c^6+164*b^12*c^8-166*b^10*c^10+164*b^8*c^12-136*b^6*c^14+83*b^4*c^16-37*b^2*c^18+9*c^20)*(a+b+c)^2*(a+b-c)^2*(a-b-c)^2*(a-b+c)^2*HF^4+(6*(a^2+b^2+c^2))*(a+b+c)*(a+b-c)*(a-b-c)*(a-b+c)*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^8-a^6*b^2-a^6*c^2+a^4*b^2*c^2-a^2*b^6+a^2*b^4*c^2+a^2*b^2*c^4-a^2*c^6+b^8-b^6*c^2-b^2*c^6+c^8)*(13*a^16-53*a^14*b^2-53*a^14*c^2+94*a^12*b^4+160*a^12*b^2*c^2+94*a^12*c^4-107*a^10*b^6-162*a^10*b^4*c^2-162*a^10*b^2*c^4-107*a^10*c^6+106*a^8*b^8+55*a^8*b^6*c^2+42*a^8*b^4*c^4+55*a^8*b^2*c^6+106*a^8*c^8-107*a^6*b^10+55*a^6*b^8*c^2+52*a^6*b^6*c^4+52*a^6*b^4*c^6+55*a^6*b^2*c^8-107*a^6*c^10+94*a^4*b^12-162*a^4*b^10*c^2+42*a^4*b^8*c^4+52*a^4*b^6*c^6+42*a^4*b^4*c^8-162*a^4*b^2*c^10+94*a^4*c^12-53*a^2*b^14+160*a^2*b^12*c^2-162*a^2*b^10*c^4+55*a^2*b^8*c^6+55*a^2*b^6*c^8-162*a^2*b^4*c^10+160*a^2*b^2*c^12-53*a^2*c^14+13*b^16-53*b^14*c^2+94*b^12*c^4-107*b^10*c^6+106*b^8*c^8-107*b^6*c^10+94*b^4*c^12-53*b^2*c^14+13*c^16)*HF^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^8-a^6*b^2-a^6*c^2+a^4*b^2*c^2-a^2*b^6+a^2*b^4*c^2+a^2*b^2*c^4-a^2*c^6+b^8-b^6*c^2-b^2*c^6+c^8)^2*(19*a^16-83*a^14*b^2-83*a^14*c^2+154*a^12*b^4+265*a^12*b^2*c^2+154*a^12*c^4-173*a^10*b^6-297*a^10*b^4*c^2-297*a^10*b^2*c^4-173*a^10*c^6+166*a^8*b^8+115*a^8*b^6*c^2+114*a^8*b^4*c^4+115*a^8*b^2*c^6+166*a^8*c^8-173*a^6*b^10+115*a^6*b^8*c^2+58*a^6*b^6*c^4+58*a^6*b^4*c^6+115*a^6*b^2*c^8-173*a^6*c^10+154*a^4*b^12-297*a^4*b^10*c^2+114*a^4*b^8*c^4+58*a^4*b^6*c^6+114*a^4*b^4*c^8-297*a^4*b^2*c^10+154*a^4*c^12-83*a^2*b^14+265*a^2*b^12*c^2-297*a^2*b^10*c^4+115*a^2*b^8*c^6+115*a^2*b^6*c^8-297*a^2*b^4*c^10+265*a^2*b^2*c^12-83*a^2*c^14+19*b^16-83*b^14*c^2+154*b^12*c^4-173*b^10*c^6+166*b^8*c^8-173*b^6*c^10+154*b^4*c^12-83*b^2*c^14+19*c^16)=0

4.   81*(a^2+b^2+c^2)^2*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(a+b+c)^4*IF^8+(27*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^9-a^8*b-a^8*c-6*a^7*b^2+12*a^7*b*c-6*a^7*c^2-18*a^6*b^2*c-18*a^6*b*c^2+5*a^5*b^4-16*a^5*b^2*c^2+5*a^5*c^4+5*a^4*b^5+14*a^4*b^4*c+20*a^4*b^3*c^2+20*a^4*b^2*c^3+14*a^4*b*c^4+5*a^4*c^5+20*a^3*b^4*c^2-36*a^3*b^3*c^3+20*a^3*b^2*c^4-6*a^2*b^7-18*a^2*b^6*c-16*a^2*b^5*c^2+20*a^2*b^4*c^3+20*a^2*b^3*c^4-16*a^2*b^2*c^5-18*a^2*b*c^6-6*a^2*c^7-a*b^8+12*a*b^7*c-18*a*b^6*c^2+14*a*b^4*c^4-18*a*b^2*c^6+12*a*b*c^7-a*c^8+2*b^9-b^8*c-6*b^7*c^2+5*b^5*c^4+5*b^4*c^5-6*b^2*c^7-b*c^8+2*c^9)*(a+b+c)^3*IF^6+(27*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^14-a^13*b-a^13*c-4*a^12*b^2+6*a^12*b*c-4*a^12*c^2+3*a^11*b^3-9*a^11*b^2*c-9*a^11*b*c^2+3*a^11*c^3+6*a^10*b^4-5*a^10*b^3*c+31*a^10*b^2*c^2-5*a^10*b*c^3+6*a^10*c^4-3*a^9*b^5+20*a^9*b^4*c-26*a^9*b^3*c^2-26*a^9*b^2*c^3+20*a^9*b*c^4-3*a^9*c^5-3*a^8*b^6-9*a^8*b^5*c+70*a^8*b^4*c^2-12*a^8*b^3*c^3+70*a^8*b^2*c^4-9*a^8*b*c^5-3*a^8*c^6+2*a^7*b^7-2*a^7*b^6*c-37*a^7*b^5*c^2+77*a^7*b^4*c^3+77*a^7*b^3*c^4-37*a^7*b^2*c^5-2*a^7*b*c^6+2*a^7*c^7-3*a^6*b^8-2*a^6*b^7*c-50*a^6*b^6*c^2-37*a^6*b^5*c^3-120*a^6*b^4*c^4-37*a^6*b^3*c^5-50*a^6*b^2*c^6-2*a^6*b*c^7-3*a^6*c^8-3*a^5*b^9-9*a^5*b^8*c-37*a^5*b^7*c^2-37*a^5*b^6*c^3+62*a^5*b^5*c^4+62*a^5*b^4*c^5-37*a^5*b^3*c^6-37*a^5*b^2*c^7-9*a^5*b*c^8-3*a^5*c^9+6*a^4*b^10+20*a^4*b^9*c+70*a^4*b^8*c^2+77*a^4*b^7*c^3-120*a^4*b^6*c^4+62*a^4*b^5*c^5-120*a^4*b^4*c^6+77*a^4*b^3*c^7+70*a^4*b^2*c^8+20*a^4*b*c^9+6*a^4*c^10+3*a^3*b^11-5*a^3*b^10*c-26*a^3*b^9*c^2-12*a^3*b^8*c^3+77*a^3*b^7*c^4-37*a^3*b^6*c^5-37*a^3*b^5*c^6+77*a^3*b^4*c^7-12*a^3*b^3*c^8-26*a^3*b^2*c^9-5*a^3*b*c^10+3*a^3*c^11-4*a^2*b^12-9*a^2*b^11*c+31*a^2*b^10*c^2-26*a^2*b^9*c^3+70*a^2*b^8*c^4-37*a^2*b^7*c^5-50*a^2*b^6*c^6-37*a^2*b^5*c^7+70*a^2*b^4*c^8-26*a^2*b^3*c^9+31*a^2*b^2*c^10-9*a^2*b*c^11-4*a^2*c^12-a*b^13+6*a*b^12*c-9*a*b^11*c^2-5*a*b^10*c^3+20*a*b^9*c^4-9*a*b^8*c^5-2*a*b^7*c^6-2*a*b^6*c^7-9*a*b^5*c^8+20*a*b^4*c^9-5*a*b^3*c^10-9*a*b^2*c^11+6*a*b*c^12-a*c^13+b^14-b^13*c-4*b^12*c^2+3*b^11*c^3+6*b^10*c^4-3*b^9*c^5-3*b^8*c^6+2*b^7*c^7-3*b^6*c^8-3*b^5*c^9+6*b^4*c^10+3*b^3*c^11-4*b^2*c^12-b*c^13+c^14)*(a+b+c)^2*IF^4+(3*(a+b+c))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^17-3*a^16*b-3*a^16*c-10*a^15*b^2+24*a^15*b*c-10*a^15*c^2+20*a^14*b^3-27*a^14*b^2*c-27*a^14*b*c^2+20*a^14*c^3+15*a^13*b^4-75*a^13*b^3*c+126*a^13*b^2*c^2-75*a^13*b*c^3+15*a^13*c^4-55*a^12*b^5+132*a^12*b^4*c-76*a^12*b^3*c^2-76*a^12*b^2*c^3+132*a^12*b*c^4-55*a^12*c^5+8*a^11*b^6+81*a^11*b^5*c-30*a^11*b^4*c^2+450*a^11*b^3*c^3-30*a^11*b^2*c^4+81*a^11*b*c^5+8*a^11*c^6+78*a^10*b^7-237*a^10*b^6*c+102*a^10*b^5*c^2-432*a^10*b^4*c^3-432*a^10*b^3*c^4+102*a^10*b^2*c^5-237*a^10*b*c^6+78*a^10*c^7-55*a^9*b^8-30*a^9*b^7*c-409*a^9*b^6*c^2+171*a^9*b^5*c^3-534*a^9*b^4*c^4+171*a^9*b^3*c^5-409*a^9*b^2*c^6-30*a^9*b*c^7-55*a^9*c^8-55*a^8*b^9+270*a^8*b^8*c+324*a^8*b^7*c^2-376*a^8*b^6*c^3+855*a^8*b^5*c^4+855*a^8*b^4*c^5-376*a^8*b^3*c^6+324*a^8*b^2*c^7+270*a^8*b*c^8-55*a^8*c^9+78*a^7*b^10-30*a^7*b^9*c+324*a^7*b^8*c^2+636*a^7*b^7*c^3-6*a^7*b^6*c^4-1404*a^7*b^5*c^5-6*a^7*b^4*c^6+636*a^7*b^3*c^7+324*a^7*b^2*c^8-30*a^7*b*c^9+78*a^7*c^10+8*a^6*b^11-237*a^6*b^10*c-409*a^6*b^9*c^2-376*a^6*b^8*c^3-6*a^6*b^7*c^4+500*a^6*b^6*c^5+500*a^6*b^5*c^6-6*a^6*b^4*c^7-376*a^6*b^3*c^8-409*a^6*b^2*c^9-237*a^6*b*c^10+8*a^6*c^11-55*a^5*b^12+81*a^5*b^11*c+102*a^5*b^10*c^2+171*a^5*b^9*c^3+855*a^5*b^8*c^4-1404*a^5*b^7*c^5+500*a^5*b^6*c^6-1404*a^5*b^5*c^7+855*a^5*b^4*c^8+171*a^5*b^3*c^9+102*a^5*b^2*c^10+81*a^5*b*c^11-55*a^5*c^12+15*a^4*b^13+132*a^4*b^12*c-30*a^4*b^11*c^2-432*a^4*b^10*c^3-534*a^4*b^9*c^4+855*a^4*b^8*c^5-6*a^4*b^7*c^6-6*a^4*b^6*c^7+855*a^4*b^5*c^8-534*a^4*b^4*c^9-432*a^4*b^3*c^10-30*a^4*b^2*c^11+132*a^4*b*c^12+15*a^4*c^13+20*a^3*b^14-75*a^3*b^13*c-76*a^3*b^12*c^2+450*a^3*b^11*c^3-432*a^3*b^10*c^4+171*a^3*b^9*c^5-376*a^3*b^8*c^6+636*a^3*b^7*c^7-376*a^3*b^6*c^8+171*a^3*b^5*c^9-432*a^3*b^4*c^10+450*a^3*b^3*c^11-76*a^3*b^2*c^12-75*a^3*b*c^13+20*a^3*c^14-10*a^2*b^15-27*a^2*b^14*c+126*a^2*b^13*c^2-76*a^2*b^12*c^3-30*a^2*b^11*c^4+102*a^2*b^10*c^5-409*a^2*b^9*c^6+324*a^2*b^8*c^7+324*a^2*b^7*c^8-409*a^2*b^6*c^9+102*a^2*b^5*c^10-30*a^2*b^4*c^11-76*a^2*b^3*c^12+126*a^2*b^2*c^13-27*a^2*b*c^14-10*a^2*c^15-3*a*b^16+24*a*b^15*c-27*a*b^14*c^2-75*a*b^13*c^3+132*a*b^12*c^4+81*a*b^11*c^5-237*a*b^10*c^6-30*a*b^9*c^7+270*a*b^8*c^8-30*a*b^7*c^9-237*a*b^6*c^10+81*a*b^5*c^11+132*a*b^4*c^12-75*a*b^3*c^13-27*a*b^2*c^14+24*a*b*c^15-3*a*c^16+2*b^17-3*b^16*c-10*b^15*c^2+20*b^14*c^3+15*b^13*c^4-55*b^12*c^5+8*b^11*c^6+78*b^10*c^7-55*b^9*c^8-55*b^8*c^9+78*b^7*c^10+8*b^6*c^11-55*b^5*c^12+15*b^4*c^13+20*b^3*c^14-10*b^2*c^15-3*b*c^16+2*c^17)*IF^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^10-a^9*b-a^9*c-3*a^8*b^2+5*a^8*b*c-3*a^8*c^2+4*a^7*b^3-2*a^7*b^2*c-2*a^7*b*c^2+4*a^7*c^3+2*a^6*b^4-14*a^6*b^3*c-4*a^6*b^2*c^2-14*a^6*b*c^3+2*a^6*c^4-6*a^5*b^5+12*a^5*b^4*c-34*a^5*b^3*c^2-34*a^5*b^2*c^3+12*a^5*b*c^4-6*a^5*c^5+2*a^4*b^6+12*a^4*b^5*c+86*a^4*b^4*c^2+44*a^4*b^3*c^3+86*a^4*b^2*c^4+12*a^4*b*c^5+2*a^4*c^6+4*a^3*b^7-14*a^3*b^6*c-34*a^3*b^5*c^2+44*a^3*b^4*c^3+44*a^3*b^3*c^4-34*a^3*b^2*c^5-14*a^3*b*c^6+4*a^3*c^7-3*a^2*b^8-2*a^2*b^7*c-4*a^2*b^6*c^2-34*a^2*b^5*c^3+86*a^2*b^4*c^4-34*a^2*b^3*c^5-4*a^2*b^2*c^6-2*a^2*b*c^7-3*a^2*c^8-a*b^9+5*a*b^8*c-2*a*b^7*c^2-14*a*b^6*c^3+12*a*b^5*c^4+12*a*b^4*c^5-14*a*b^3*c^6-2*a*b^2*c^7+5*a*b*c^8-a*c^9+b^10-b^9*c-3*b^8*c^2+4*b^7*c^3+2*b^6*c^4-6*b^5*c^5+2*b^4*c^6+4*b^3*c^7-3*b^2*c^8-b*c^9+c^10)*(a^10-a^9*b-a^9*c-3*a^8*b^2+5*a^8*b*c-3*a^8*c^2+4*a^7*b^3-2*a^7*b^2*c-2*a^7*b*c^2+4*a^7*c^3+2*a^6*b^4-14*a^6*b^3*c+23*a^6*b^2*c^2-14*a^6*b*c^3+2*a^6*c^4-6*a^5*b^5+12*a^5*b^4*c-7*a^5*b^3*c^2-7*a^5*b^2*c^3+12*a^5*b*c^4-6*a^5*c^5+2*a^4*b^6+12*a^4*b^5*c-22*a^4*b^4*c^2+17*a^4*b^3*c^3-22*a^4*b^2*c^4+12*a^4*b*c^5+2*a^4*c^6+4*a^3*b^7-14*a^3*b^6*c-7*a^3*b^5*c^2+17*a^3*b^4*c^3+17*a^3*b^3*c^4-7*a^3*b^2*c^5-14*a^3*b*c^6+4*a^3*c^7-3*a^2*b^8-2*a^2*b^7*c+23*a^2*b^6*c^2-7*a^2*b^5*c^3-22*a^2*b^4*c^4-7*a^2*b^3*c^5+23*a^2*b^2*c^6-2*a^2*b*c^7-3*a^2*c^8-a*b^9+5*a*b^8*c-2*a*b^7*c^2-14*a*b^6*c^3+12*a*b^5*c^4+12*a*b^4*c^5-14*a*b^3*c^6-2*a*b^2*c^7+5*a*b*c^8-a*c^9+b^10-b^9*c-3*b^8*c^2+4*b^7*c^3+2*b^6*c^4-6*b^5*c^5+2*b^4*c^6+4*b^3*c^7-3*b^2*c^8-b*c^9+c^10)=0

5.    81*(a^2+b^2+c^2)^2*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(a-b-c)^4*O1F^8+(27*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^9+a^8*b+a^8*c-6*a^7*b^2+12*a^7*b*c-6*a^7*c^2+18*a^6*b^2*c+18*a^6*b*c^2+5*a^5*b^4-16*a^5*b^2*c^2+5*a^5*c^4-5*a^4*b^5-14*a^4*b^4*c-20*a^4*b^3*c^2-20*a^4*b^2*c^3-14*a^4*b*c^4-5*a^4*c^5+20*a^3*b^4*c^2-36*a^3*b^3*c^3+20*a^3*b^2*c^4+6*a^2*b^7+18*a^2*b^6*c+16*a^2*b^5*c^2-20*a^2*b^4*c^3-20*a^2*b^3*c^4+16*a^2*b^2*c^5+18*a^2*b*c^6+6*a^2*c^7-a*b^8+12*a*b^7*c-18*a*b^6*c^2+14*a*b^4*c^4-18*a*b^2*c^6+12*a*b*c^7-a*c^8-2*b^9+b^8*c+6*b^7*c^2-5*b^5*c^4-5*b^4*c^5+6*b^2*c^7+b*c^8-2*c^9)*(a-b-c)^3*O_1F^6+(27*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^14+a^13*b+a^13*c-4*a^12*b^2+6*a^12*b*c-4*a^12*c^2-3*a^11*b^3+9*a^11*b^2*c+9*a^11*b*c^2-3*a^11*c^3+6*a^10*b^4-5*a^10*b^3*c+31*a^10*b^2*c^2-5*a^10*b*c^3+6*a^10*c^4+3*a^9*b^5-20*a^9*b^4*c+26*a^9*b^3*c^2+26*a^9*b^2*c^3-20*a^9*b*c^4+3*a^9*c^5-3*a^8*b^6-9*a^8*b^5*c+70*a^8*b^4*c^2-12*a^8*b^3*c^3+70*a^8*b^2*c^4-9*a^8*b*c^5-3*a^8*c^6-2*a^7*b^7+2*a^7*b^6*c+37*a^7*b^5*c^2-77*a^7*b^4*c^3-77*a^7*b^3*c^4+37*a^7*b^2*c^5+2*a^7*b*c^6-2*a^7*c^7-3*a^6*b^8-2*a^6*b^7*c-50*a^6*b^6*c^2-37*a^6*b^5*c^3-120*a^6*b^4*c^4-37*a^6*b^3*c^5-50*a^6*b^2*c^6-2*a^6*b*c^7-3*a^6*c^8+3*a^5*b^9+9*a^5*b^8*c+37*a^5*b^7*c^2+37*a^5*b^6*c^3-62*a^5*b^5*c^4-62*a^5*b^4*c^5+37*a^5*b^3*c^6+37*a^5*b^2*c^7+9*a^5*b*c^8+3*a^5*c^9+6*a^4*b^10+20*a^4*b^9*c+70*a^4*b^8*c^2+77*a^4*b^7*c^3-120*a^4*b^6*c^4+62*a^4*b^5*c^5-120*a^4*b^4*c^6+77*a^4*b^3*c^7+70*a^4*b^2*c^8+20*a^4*b*c^9+6*a^4*c^10-3*a^3*b^11+5*a^3*b^10*c+26*a^3*b^9*c^2+12*a^3*b^8*c^3-77*a^3*b^7*c^4+37*a^3*b^6*c^5+37*a^3*b^5*c^6-77*a^3*b^4*c^7+12*a^3*b^3*c^8+26*a^3*b^2*c^9+5*a^3*b*c^10-3*a^3*c^11-4*a^2*b^12-9*a^2*b^11*c+31*a^2*b^10*c^2-26*a^2*b^9*c^3+70*a^2*b^8*c^4-37*a^2*b^7*c^5-50*a^2*b^6*c^6-37*a^2*b^5*c^7+70*a^2*b^4*c^8-26*a^2*b^3*c^9+31*a^2*b^2*c^10-9*a^2*b*c^11-4*a^2*c^12+a*b^13-6*a*b^12*c+9*a*b^11*c^2+5*a*b^10*c^3-20*a*b^9*c^4+9*a*b^8*c^5+2*a*b^7*c^6+2*a*b^6*c^7+9*a*b^5*c^8-20*a*b^4*c^9+5*a*b^3*c^10+9*a*b^2*c^11-6*a*b*c^12+a*c^13+b^14-b^13*c-4*b^12*c^2+3*b^11*c^3+6*b^10*c^4-3*b^9*c^5-3*b^8*c^6+2*b^7*c^7-3*b^6*c^8-3*b^5*c^9+6*b^4*c^10+3*b^3*c^11-4*b^2*c^12-b*c^13+c^14)*(a-b-c)^2*O1F^4+(3*(a-b-c))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^17+3*a^16*b+3*a^16*c-10*a^15*b^2+24*a^15*b*c-10*a^15*c^2-20*a^14*b^3+27*a^14*b^2*c+27*a^14*b*c^2-20*a^14*c^3+15*a^13*b^4-75*a^13*b^3*c+126*a^13*b^2*c^2-75*a^13*b*c^3+15*a^13*c^4+55*a^12*b^5-132*a^12*b^4*c+76*a^12*b^3*c^2+76*a^12*b^2*c^3-132*a^12*b*c^4+55*a^12*c^5+8*a^11*b^6+81*a^11*b^5*c-30*a^11*b^4*c^2+450*a^11*b^3*c^3-30*a^11*b^2*c^4+81*a^11*b*c^5+8*a^11*c^6-78*a^10*b^7+237*a^10*b^6*c-102*a^10*b^5*c^2+432*a^10*b^4*c^3+432*a^10*b^3*c^4-102*a^10*b^2*c^5+237*a^10*b*c^6-78*a^10*c^7-55*a^9*b^8-30*a^9*b^7*c-409*a^9*b^6*c^2+171*a^9*b^5*c^3-534*a^9*b^4*c^4+171*a^9*b^3*c^5-409*a^9*b^2*c^6-30*a^9*b*c^7-55*a^9*c^8+55*a^8*b^9-270*a^8*b^8*c-324*a^8*b^7*c^2+376*a^8*b^6*c^3-855*a^8*b^5*c^4-855*a^8*b^4*c^5+376*a^8*b^3*c^6-324*a^8*b^2*c^7-270*a^8*b*c^8+55*a^8*c^9+78*a^7*b^10-30*a^7*b^9*c+324*a^7*b^8*c^2+636*a^7*b^7*c^3-6*a^7*b^6*c^4-1404*a^7*b^5*c^5-6*a^7*b^4*c^6+636*a^7*b^3*c^7+324*a^7*b^2*c^8-30*a^7*b*c^9+78*a^7*c^10-8*a^6*b^11+237*a^6*b^10*c+409*a^6*b^9*c^2+376*a^6*b^8*c^3+6*a^6*b^7*c^4-500*a^6*b^6*c^5-500*a^6*b^5*c^6+6*a^6*b^4*c^7+376*a^6*b^3*c^8+409*a^6*b^2*c^9+237*a^6*b*c^10-8*a^6*c^11-55*a^5*b^12+81*a^5*b^11*c+102*a^5*b^10*c^2+171*a^5*b^9*c^3+855*a^5*b^8*c^4-1404*a^5*b^7*c^5+500*a^5*b^6*c^6-1404*a^5*b^5*c^7+855*a^5*b^4*c^8+171*a^5*b^3*c^9+102*a^5*b^2*c^10+81*a^5*b*c^11-55*a^5*c^12-15*a^4*b^13-132*a^4*b^12*c+30*a^4*b^11*c^2+432*a^4*b^10*c^3+534*a^4*b^9*c^4-855*a^4*b^8*c^5+6*a^4*b^7*c^6+6*a^4*b^6*c^7-855*a^4*b^5*c^8+534*a^4*b^4*c^9+432*a^4*b^3*c^10+30*a^4*b^2*c^11-132*a^4*b*c^12-15*a^4*c^13+20*a^3*b^14-75*a^3*b^13*c-76*a^3*b^12*c^2+450*a^3*b^11*c^3-432*a^3*b^10*c^4+171*a^3*b^9*c^5-376*a^3*b^8*c^6+636*a^3*b^7*c^7-376*a^3*b^6*c^8+171*a^3*b^5*c^9-432*a^3*b^4*c^10+450*a^3*b^3*c^11-76*a^3*b^2*c^12-75*a^3*b*c^13+20*a^3*c^14+10*a^2*b^15+27*a^2*b^14*c-126*a^2*b^13*c^2+76*a^2*b^12*c^3+30*a^2*b^11*c^4-102*a^2*b^10*c^5+409*a^2*b^9*c^6-324*a^2*b^8*c^7-324*a^2*b^7*c^8+409*a^2*b^6*c^9-102*a^2*b^5*c^10+30*a^2*b^4*c^11+76*a^2*b^3*c^12-126*a^2*b^2*c^13+27*a^2*b*c^14+10*a^2*c^15-3*a*b^16+24*a*b^15*c-27*a*b^14*c^2-75*a*b^13*c^3+132*a*b^12*c^4+81*a*b^11*c^5-237*a*b^10*c^6-30*a*b^9*c^7+270*a*b^8*c^8-30*a*b^7*c^9-237*a*b^6*c^10+81*a*b^5*c^11+132*a*b^4*c^12-75*a*b^3*c^13-27*a*b^2*c^14+24*a*b*c^15-3*a*c^16-2*b^17+3*b^16*c+10*b^15*c^2-20*b^14*c^3-15*b^13*c^4+55*b^12*c^5-8*b^11*c^6-78*b^10*c^7+55*b^9*c^8+55*b^8*c^9-78*b^7*c^10-8*b^6*c^11+55*b^5*c^12-15*b^4*c^13-20*b^3*c^14+10*b^2*c^15+3*b*c^16-2*c^17)*O1F^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^10+a^9*b+a^9*c-3*a^8*b^2+5*a^8*b*c-3*a^8*c^2-4*a^7*b^3+2*a^7*b^2*c+2*a^7*b*c^2-4*a^7*c^3+2*a^6*b^4-14*a^6*b^3*c+23*a^6*b^2*c^2-14*a^6*b*c^3+2*a^6*c^4+6*a^5*b^5-12*a^5*b^4*c+7*a^5*b^3*c^2+7*a^5*b^2*c^3-12*a^5*b*c^4+6*a^5*c^5+2*a^4*b^6+12*a^4*b^5*c-22*a^4*b^4*c^2+17*a^4*b^3*c^3-22*a^4*b^2*c^4+12*a^4*b*c^5+2*a^4*c^6-4*a^3*b^7+14*a^3*b^6*c+7*a^3*b^5*c^2-17*a^3*b^4*c^3-17*a^3*b^3*c^4+7*a^3*b^2*c^5+14*a^3*b*c^6-4*a^3*c^7-3*a^2*b^8-2*a^2*b^7*c+23*a^2*b^6*c^2-7*a^2*b^5*c^3-22*a^2*b^4*c^4-7*a^2*b^3*c^5+23*a^2*b^2*c^6-2*a^2*b*c^7-3*a^2*c^8+a*b^9-5*a*b^8*c+2*a*b^7*c^2+14*a*b^6*c^3-12*a*b^5*c^4-12*a*b^4*c^5+14*a*b^3*c^6+2*a*b^2*c^7-5*a*b*c^8+a*c^9+b^10-b^9*c-3*b^8*c^2+4*b^7*c^3+2*b^6*c^4-6*b^5*c^5+2*b^4*c^6+4*b^3*c^7-3*b^2*c^8-b*c^9+c^10)*(a^10+a^9*b+a^9*c-3*a^8*b^2+5*a^8*b*c-3*a^8*c^2-4*a^7*b^3+2*a^7*b^2*c+2*a^7*b*c^2-4*a^7*c^3+2*a^6*b^4-14*a^6*b^3*c-4*a^6*b^2*c^2-14*a^6*b*c^3+2*a^6*c^4+6*a^5*b^5-12*a^5*b^4*c+34*a^5*b^3*c^2+34*a^5*b^2*c^3-12*a^5*b*c^4+6*a^5*c^5+2*a^4*b^6+12*a^4*b^5*c+86*a^4*b^4*c^2+44*a^4*b^3*c^3+86*a^4*b^2*c^4+12*a^4*b*c^5+2*a^4*c^6-4*a^3*b^7+14*a^3*b^6*c+34*a^3*b^5*c^2-44*a^3*b^4*c^3-44*a^3*b^3*c^4+34*a^3*b^2*c^5+14*a^3*b*c^6-4*a^3*c^7-3*a^2*b^8-2*a^2*b^7*c-4*a^2*b^6*c^2-34*a^2*b^5*c^3+86*a^2*b^4*c^4-34*a^2*b^3*c^5-4*a^2*b^2*c^6-2*a^2*b*c^7-3*a^2*c^8+a*b^9-5*a*b^8*c+2*a*b^7*c^2+14*a*b^6*c^3-12*a*b^5*c^4-12*a*b^4*c^5+14*a*b^3*c^6+2*a*b^2*c^7-5*a*b*c^8+a*c^9+b^10-b^9*c-3*b^8*c^2+4*b^7*c^3+2*b^6*c^4-6*b^5*c^5+2*b^4*c^6+4*b^3*c^7-3*b^2*c^8-b*c^9+c^10)=0


6.   81*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(a-b+c)^4*(a^2+b^2+c^2)^2*O2F^8+(27*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^9+a^8*b-a^8*c-6*a^7*b^2-12*a^7*b*c-6*a^7*c^2-18*a^6*b^2*c+18*a^6*b*c^2+5*a^5*b^4-16*a^5*b^2*c^2+5*a^5*c^4-5*a^4*b^5+14*a^4*b^4*c-20*a^4*b^3*c^2+20*a^4*b^2*c^3-14*a^4*b*c^4+5*a^4*c^5+20*a^3*b^4*c^2+36*a^3*b^3*c^3+20*a^3*b^2*c^4+6*a^2*b^7-18*a^2*b^6*c+16*a^2*b^5*c^2+20*a^2*b^4*c^3-20*a^2*b^3*c^4-16*a^2*b^2*c^5+18*a^2*b*c^6-6*a^2*c^7-a*b^8-12*a*b^7*c-18*a*b^6*c^2+14*a*b^4*c^4-18*a*b^2*c^6-12*a*b*c^7-a*c^8-2*b^9-b^8*c+6*b^7*c^2-5*b^5*c^4+5*b^4*c^5-6*b^2*c^7+b*c^8+2*c^9)*(a-b+c)^3*O2F^6+(27*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^14+a^13*b-a^13*c-4*a^12*b^2-6*a^12*b*c-4*a^12*c^2-3*a^11*b^3-9*a^11*b^2*c+9*a^11*b*c^2+3*a^11*c^3+6*a^10*b^4+5*a^10*b^3*c+31*a^10*b^2*c^2+5*a^10*b*c^3+6*a^10*c^4+3*a^9*b^5+20*a^9*b^4*c+26*a^9*b^3*c^2-26*a^9*b^2*c^3-20*a^9*b*c^4-3*a^9*c^5-3*a^8*b^6+9*a^8*b^5*c+70*a^8*b^4*c^2+12*a^8*b^3*c^3+70*a^8*b^2*c^4+9*a^8*b*c^5-3*a^8*c^6-2*a^7*b^7-2*a^7*b^6*c+37*a^7*b^5*c^2+77*a^7*b^4*c^3-77*a^7*b^3*c^4-37*a^7*b^2*c^5+2*a^7*b*c^6+2*a^7*c^7-3*a^6*b^8+2*a^6*b^7*c-50*a^6*b^6*c^2+37*a^6*b^5*c^3-120*a^6*b^4*c^4+37*a^6*b^3*c^5-50*a^6*b^2*c^6+2*a^6*b*c^7-3*a^6*c^8+3*a^5*b^9-9*a^5*b^8*c+37*a^5*b^7*c^2-37*a^5*b^6*c^3-62*a^5*b^5*c^4+62*a^5*b^4*c^5+37*a^5*b^3*c^6-37*a^5*b^2*c^7+9*a^5*b*c^8-3*a^5*c^9+6*a^4*b^10-20*a^4*b^9*c+70*a^4*b^8*c^2-77*a^4*b^7*c^3-120*a^4*b^6*c^4-62*a^4*b^5*c^5-120*a^4*b^4*c^6-77*a^4*b^3*c^7+70*a^4*b^2*c^8-20*a^4*b*c^9+6*a^4*c^10-3*a^3*b^11-5*a^3*b^10*c+26*a^3*b^9*c^2-12*a^3*b^8*c^3-77*a^3*b^7*c^4-37*a^3*b^6*c^5+37*a^3*b^5*c^6+77*a^3*b^4*c^7+12*a^3*b^3*c^8-26*a^3*b^2*c^9+5*a^3*b*c^10+3*a^3*c^11-4*a^2*b^12+9*a^2*b^11*c+31*a^2*b^10*c^2+26*a^2*b^9*c^3+70*a^2*b^8*c^4+37*a^2*b^7*c^5-50*a^2*b^6*c^6+37*a^2*b^5*c^7+70*a^2*b^4*c^8+26*a^2*b^3*c^9+31*a^2*b^2*c^10+9*a^2*b*c^11-4*a^2*c^12+a*b^13+6*a*b^12*c+9*a*b^11*c^2-5*a*b^10*c^3-20*a*b^9*c^4-9*a*b^8*c^5+2*a*b^7*c^6-2*a*b^6*c^7+9*a*b^5*c^8+20*a*b^4*c^9+5*a*b^3*c^10-9*a*b^2*c^11-6*a*b*c^12-a*c^13+b^14+b^13*c-4*b^12*c^2-3*b^11*c^3+6*b^10*c^4+3*b^9*c^5-3*b^8*c^6-2*b^7*c^7-3*b^6*c^8+3*b^5*c^9+6*b^4*c^10-3*b^3*c^11-4*b^2*c^12+b*c^13+c^14)*(a-b+c)^2*O2F^4+(3*(a-b+c))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^17+3*a^16*b-3*a^16*c-10*a^15*b^2-24*a^15*b*c-10*a^15*c^2-20*a^14*b^3-27*a^14*b^2*c+27*a^14*b*c^2+20*a^14*c^3+15*a^13*b^4+75*a^13*b^3*c+126*a^13*b^2*c^2+75*a^13*b*c^3+15*a^13*c^4+55*a^12*b^5+132*a^12*b^4*c+76*a^12*b^3*c^2-76*a^12*b^2*c^3-132*a^12*b*c^4-55*a^12*c^5+8*a^11*b^6-81*a^11*b^5*c-30*a^11*b^4*c^2-450*a^11*b^3*c^3-30*a^11*b^2*c^4-81*a^11*b*c^5+8*a^11*c^6-78*a^10*b^7-237*a^10*b^6*c-102*a^10*b^5*c^2-432*a^10*b^4*c^3+432*a^10*b^3*c^4+102*a^10*b^2*c^5+237*a^10*b*c^6+78*a^10*c^7-55*a^9*b^8+30*a^9*b^7*c-409*a^9*b^6*c^2-171*a^9*b^5*c^3-534*a^9*b^4*c^4-171*a^9*b^3*c^5-409*a^9*b^2*c^6+30*a^9*b*c^7-55*a^9*c^8+55*a^8*b^9+270*a^8*b^8*c-324*a^8*b^7*c^2-376*a^8*b^6*c^3-855*a^8*b^5*c^4+855*a^8*b^4*c^5+376*a^8*b^3*c^6+324*a^8*b^2*c^7-270*a^8*b*c^8-55*a^8*c^9+78*a^7*b^10+30*a^7*b^9*c+324*a^7*b^8*c^2-636*a^7*b^7*c^3-6*a^7*b^6*c^4+1404*a^7*b^5*c^5-6*a^7*b^4*c^6-636*a^7*b^3*c^7+324*a^7*b^2*c^8+30*a^7*b*c^9+78*a^7*c^10-8*a^6*b^11-237*a^6*b^10*c+409*a^6*b^9*c^2-376*a^6*b^8*c^3+6*a^6*b^7*c^4+500*a^6*b^6*c^5-500*a^6*b^5*c^6-6*a^6*b^4*c^7+376*a^6*b^3*c^8-409*a^6*b^2*c^9+237*a^6*b*c^10+8*a^6*c^11-55*a^5*b^12-81*a^5*b^11*c+102*a^5*b^10*c^2-171*a^5*b^9*c^3+855*a^5*b^8*c^4+1404*a^5*b^7*c^5+500*a^5*b^6*c^6+1404*a^5*b^5*c^7+855*a^5*b^4*c^8-171*a^5*b^3*c^9+102*a^5*b^2*c^10-81*a^5*b*c^11-55*a^5*c^12-15*a^4*b^13+132*a^4*b^12*c+30*a^4*b^11*c^2-432*a^4*b^10*c^3+534*a^4*b^9*c^4+855*a^4*b^8*c^5+6*a^4*b^7*c^6-6*a^4*b^6*c^7-855*a^4*b^5*c^8-534*a^4*b^4*c^9+432*a^4*b^3*c^10-30*a^4*b^2*c^11-132*a^4*b*c^12+15*a^4*c^13+20*a^3*b^14+75*a^3*b^13*c-76*a^3*b^12*c^2-450*a^3*b^11*c^3-432*a^3*b^10*c^4-171*a^3*b^9*c^5-376*a^3*b^8*c^6-636*a^3*b^7*c^7-376*a^3*b^6*c^8-171*a^3*b^5*c^9-432*a^3*b^4*c^10-450*a^3*b^3*c^11-76*a^3*b^2*c^12+75*a^3*b*c^13+20*a^3*c^14+10*a^2*b^15-27*a^2*b^14*c-126*a^2*b^13*c^2-76*a^2*b^12*c^3+30*a^2*b^11*c^4+102*a^2*b^10*c^5+409*a^2*b^9*c^6+324*a^2*b^8*c^7-324*a^2*b^7*c^8-409*a^2*b^6*c^9-102*a^2*b^5*c^10-30*a^2*b^4*c^11+76*a^2*b^3*c^12+126*a^2*b^2*c^13+27*a^2*b*c^14-10*a^2*c^15-3*a*b^16-24*a*b^15*c-27*a*b^14*c^2+75*a*b^13*c^3+132*a*b^12*c^4-81*a*b^11*c^5-237*a*b^10*c^6+30*a*b^9*c^7+270*a*b^8*c^8+30*a*b^7*c^9-237*a*b^6*c^10-81*a*b^5*c^11+132*a*b^4*c^12+75*a*b^3*c^13-27*a*b^2*c^14-24*a*b*c^15-3*a*c^16-2*b^17-3*b^16*c+10*b^15*c^2+20*b^14*c^3-15*b^13*c^4-55*b^12*c^5-8*b^11*c^6+78*b^10*c^7+55*b^9*c^8-55*b^8*c^9-78*b^7*c^10+8*b^6*c^11+55*b^5*c^12+15*b^4*c^13-20*b^3*c^14-10*b^2*c^15+3*b*c^16+2*c^17)*O2F^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^10+a^9*b-a^9*c-3*a^8*b^2-5*a^8*b*c-3*a^8*c^2-4*a^7*b^3-2*a^7*b^2*c+2*a^7*b*c^2+4*a^7*c^3+2*a^6*b^4+14*a^6*b^3*c-4*a^6*b^2*c^2+14*a^6*b*c^3+2*a^6*c^4+6*a^5*b^5+12*a^5*b^4*c+34*a^5*b^3*c^2-34*a^5*b^2*c^3-12*a^5*b*c^4-6*a^5*c^5+2*a^4*b^6-12*a^4*b^5*c+86*a^4*b^4*c^2-44*a^4*b^3*c^3+86*a^4*b^2*c^4-12*a^4*b*c^5+2*a^4*c^6-4*a^3*b^7-14*a^3*b^6*c+34*a^3*b^5*c^2+44*a^3*b^4*c^3-44*a^3*b^3*c^4-34*a^3*b^2*c^5+14*a^3*b*c^6+4*a^3*c^7-3*a^2*b^8+2*a^2*b^7*c-4*a^2*b^6*c^2+34*a^2*b^5*c^3+86*a^2*b^4*c^4+34*a^2*b^3*c^5-4*a^2*b^2*c^6+2*a^2*b*c^7-3*a^2*c^8+a*b^9+5*a*b^8*c+2*a*b^7*c^2-14*a*b^6*c^3-12*a*b^5*c^4+12*a*b^4*c^5+14*a*b^3*c^6-2*a*b^2*c^7-5*a*b*c^8-a*c^9+b^10+b^9*c-3*b^8*c^2-4*b^7*c^3+2*b^6*c^4+6*b^5*c^5+2*b^4*c^6-4*b^3*c^7-3*b^2*c^8+b*c^9+c^10)*(a^10+a^9*b-a^9*c-3*a^8*b^2-5*a^8*b*c-3*a^8*c^2-4*a^7*b^3-2*a^7*b^2*c+2*a^7*b*c^2+4*a^7*c^3+2*a^6*b^4+14*a^6*b^3*c+23*a^6*b^2*c^2+14*a^6*b*c^3+2*a^6*c^4+6*a^5*b^5+12*a^5*b^4*c+7*a^5*b^3*c^2-7*a^5*b^2*c^3-12*a^5*b*c^4-6*a^5*c^5+2*a^4*b^6-12*a^4*b^5*c-22*a^4*b^4*c^2-17*a^4*b^3*c^3-22*a^4*b^2*c^4-12*a^4*b*c^5+2*a^4*c^6-4*a^3*b^7-14*a^3*b^6*c+7*a^3*b^5*c^2+17*a^3*b^4*c^3-17*a^3*b^3*c^4-7*a^3*b^2*c^5+14*a^3*b*c^6+4*a^3*c^7-3*a^2*b^8+2*a^2*b^7*c+23*a^2*b^6*c^2+7*a^2*b^5*c^3-22*a^2*b^4*c^4+7*a^2*b^3*c^5+23*a^2*b^2*c^6+2*a^2*b*c^7-3*a^2*c^8+a*b^9+5*a*b^8*c+2*a*b^7*c^2-14*a*b^6*c^3-12*a*b^5*c^4+12*a*b^4*c^5+14*a*b^3*c^6-2*a*b^2*c^7-5*a*b*c^8-a*c^9+b^10+b^9*c-3*b^8*c^2-4*b^7*c^3+2*b^6*c^4+6*b^5*c^5+2*b^4*c^6-4*b^3*c^7-3*b^2*c^8+b*c^9+c^10)=0


7.   81*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)^2*(a+b-c)^4*(a^2+b^2+c^2)^2*O3F^8+(27*(a^2+b^2+c^2))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^9-a^8*b+a^8*c-6*a^7*b^2-12*a^7*b*c-6*a^7*c^2+18*a^6*b^2*c-18*a^6*b*c^2+5*a^5*b^4-16*a^5*b^2*c^2+5*a^5*c^4+5*a^4*b^5-14*a^4*b^4*c+20*a^4*b^3*c^2-20*a^4*b^2*c^3+14*a^4*b*c^4-5*a^4*c^5+20*a^3*b^4*c^2+36*a^3*b^3*c^3+20*a^3*b^2*c^4-6*a^2*b^7+18*a^2*b^6*c-16*a^2*b^5*c^2-20*a^2*b^4*c^3+20*a^2*b^3*c^4+16*a^2*b^2*c^5-18*a^2*b*c^6+6*a^2*c^7-a*b^8-12*a*b^7*c-18*a*b^6*c^2+14*a*b^4*c^4-18*a*b^2*c^6-12*a*b*c^7-a*c^8+2*b^9+b^8*c-6*b^7*c^2+5*b^5*c^4-5*b^4*c^5+6*b^2*c^7-b*c^8-2*c^9)*(a+b-c)^3*O3F^6+(27*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4))*(a^14-a^13*b+a^13*c-4*a^12*b^2-6*a^12*b*c-4*a^12*c^2+3*a^11*b^3+9*a^11*b^2*c-9*a^11*b*c^2-3*a^11*c^3+6*a^10*b^4+5*a^10*b^3*c+31*a^10*b^2*c^2+5*a^10*b*c^3+6*a^10*c^4-3*a^9*b^5-20*a^9*b^4*c-26*a^9*b^3*c^2+26*a^9*b^2*c^3+20*a^9*b*c^4+3*a^9*c^5-3*a^8*b^6+9*a^8*b^5*c+70*a^8*b^4*c^2+12*a^8*b^3*c^3+70*a^8*b^2*c^4+9*a^8*b*c^5-3*a^8*c^6+2*a^7*b^7+2*a^7*b^6*c-37*a^7*b^5*c^2-77*a^7*b^4*c^3+77*a^7*b^3*c^4+37*a^7*b^2*c^5-2*a^7*b*c^6-2*a^7*c^7-3*a^6*b^8+2*a^6*b^7*c-50*a^6*b^6*c^2+37*a^6*b^5*c^3-120*a^6*b^4*c^4+37*a^6*b^3*c^5-50*a^6*b^2*c^6+2*a^6*b*c^7-3*a^6*c^8-3*a^5*b^9+9*a^5*b^8*c-37*a^5*b^7*c^2+37*a^5*b^6*c^3+62*a^5*b^5*c^4-62*a^5*b^4*c^5-37*a^5*b^3*c^6+37*a^5*b^2*c^7-9*a^5*b*c^8+3*a^5*c^9+6*a^4*b^10-20*a^4*b^9*c+70*a^4*b^8*c^2-77*a^4*b^7*c^3-120*a^4*b^6*c^4-62*a^4*b^5*c^5-120*a^4*b^4*c^6-77*a^4*b^3*c^7+70*a^4*b^2*c^8-20*a^4*b*c^9+6*a^4*c^10+3*a^3*b^11+5*a^3*b^10*c-26*a^3*b^9*c^2+12*a^3*b^8*c^3+77*a^3*b^7*c^4+37*a^3*b^6*c^5-37*a^3*b^5*c^6-77*a^3*b^4*c^7-12*a^3*b^3*c^8+26*a^3*b^2*c^9-5*a^3*b*c^10-3*a^3*c^11-4*a^2*b^12+9*a^2*b^11*c+31*a^2*b^10*c^2+26*a^2*b^9*c^3+70*a^2*b^8*c^4+37*a^2*b^7*c^5-50*a^2*b^6*c^6+37*a^2*b^5*c^7+70*a^2*b^4*c^8+26*a^2*b^3*c^9+31*a^2*b^2*c^10+9*a^2*b*c^11-4*a^2*c^12-a*b^13-6*a*b^12*c-9*a*b^11*c^2+5*a*b^10*c^3+20*a*b^9*c^4+9*a*b^8*c^5-2*a*b^7*c^6+2*a*b^6*c^7-9*a*b^5*c^8-20*a*b^4*c^9-5*a*b^3*c^10+9*a*b^2*c^11+6*a*b*c^12+a*c^13+b^14+b^13*c-4*b^12*c^2-3*b^11*c^3+6*b^10*c^4+3*b^9*c^5-3*b^8*c^6-2*b^7*c^7-3*b^6*c^8+3*b^5*c^9+6*b^4*c^10-3*b^3*c^11-4*b^2*c^12+b*c^13+c^14)*(a+b-c)^2*O3F^4+(3*(a+b-c))*(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(2*a^17-3*a^16*b+3*a^16*c-10*a^15*b^2-24*a^15*b*c-10*a^15*c^2+20*a^14*b^3+27*a^14*b^2*c-27*a^14*b*c^2-20*a^14*c^3+15*a^13*b^4+75*a^13*b^3*c+126*a^13*b^2*c^2+75*a^13*b*c^3+15*a^13*c^4-55*a^12*b^5-132*a^12*b^4*c-76*a^12*b^3*c^2+76*a^12*b^2*c^3+132*a^12*b*c^4+55*a^12*c^5+8*a^11*b^6-81*a^11*b^5*c-30*a^11*b^4*c^2-450*a^11*b^3*c^3-30*a^11*b^2*c^4-81*a^11*b*c^5+8*a^11*c^6+78*a^10*b^7+237*a^10*b^6*c+102*a^10*b^5*c^2+432*a^10*b^4*c^3-432*a^10*b^3*c^4-102*a^10*b^2*c^5-237*a^10*b*c^6-78*a^10*c^7-55*a^9*b^8+30*a^9*b^7*c-409*a^9*b^6*c^2-171*a^9*b^5*c^3-534*a^9*b^4*c^4-171*a^9*b^3*c^5-409*a^9*b^2*c^6+30*a^9*b*c^7-55*a^9*c^8-55*a^8*b^9-270*a^8*b^8*c+324*a^8*b^7*c^2+376*a^8*b^6*c^3+855*a^8*b^5*c^4-855*a^8*b^4*c^5-376*a^8*b^3*c^6-324*a^8*b^2*c^7+270*a^8*b*c^8+55*a^8*c^9+78*a^7*b^10+30*a^7*b^9*c+324*a^7*b^8*c^2-636*a^7*b^7*c^3-6*a^7*b^6*c^4+1404*a^7*b^5*c^5-6*a^7*b^4*c^6-636*a^7*b^3*c^7+324*a^7*b^2*c^8+30*a^7*b*c^9+78*a^7*c^10+8*a^6*b^11+237*a^6*b^10*c-409*a^6*b^9*c^2+376*a^6*b^8*c^3-6*a^6*b^7*c^4-500*a^6*b^6*c^5+500*a^6*b^5*c^6+6*a^6*b^4*c^7-376*a^6*b^3*c^8+409*a^6*b^2*c^9-237*a^6*b*c^10-8*a^6*c^11-55*a^5*b^12-81*a^5*b^11*c+102*a^5*b^10*c^2-171*a^5*b^9*c^3+855*a^5*b^8*c^4+1404*a^5*b^7*c^5+500*a^5*b^6*c^6+1404*a^5*b^5*c^7+855*a^5*b^4*c^8-171*a^5*b^3*c^9+102*a^5*b^2*c^10-81*a^5*b*c^11-55*a^5*c^12+15*a^4*b^13-132*a^4*b^12*c-30*a^4*b^11*c^2+432*a^4*b^10*c^3-534*a^4*b^9*c^4-855*a^4*b^8*c^5-6*a^4*b^7*c^6+6*a^4*b^6*c^7+855*a^4*b^5*c^8+534*a^4*b^4*c^9-432*a^4*b^3*c^10+30*a^4*b^2*c^11+132*a^4*b*c^12-15*a^4*c^13+20*a^3*b^14+75*a^3*b^13*c-76*a^3*b^12*c^2-450*a^3*b^11*c^3-432*a^3*b^10*c^4-171*a^3*b^9*c^5-376*a^3*b^8*c^6-636*a^3*b^7*c^7-376*a^3*b^6*c^8-171*a^3*b^5*c^9-432*a^3*b^4*c^10-450*a^3*b^3*c^11-76*a^3*b^2*c^12+75*a^3*b*c^13+20*a^3*c^14-10*a^2*b^15+27*a^2*b^14*c+126*a^2*b^13*c^2+76*a^2*b^12*c^3-30*a^2*b^11*c^4-102*a^2*b^10*c^5-409*a^2*b^9*c^6-324*a^2*b^8*c^7+324*a^2*b^7*c^8+409*a^2*b^6*c^9+102*a^2*b^5*c^10+30*a^2*b^4*c^11-76*a^2*b^3*c^12-126*a^2*b^2*c^13-27*a^2*b*c^14+10*a^2*c^15-3*a*b^16-24*a*b^15*c-27*a*b^14*c^2+75*a*b^13*c^3+132*a*b^12*c^4-81*a*b^11*c^5-237*a*b^10*c^6+30*a*b^9*c^7+270*a*b^8*c^8+30*a*b^7*c^9-237*a*b^6*c^10-81*a*b^5*c^11+132*a*b^4*c^12+75*a*b^3*c^13-27*a*b^2*c^14-24*a*b*c^15-3*a*c^16+2*b^17+3*b^16*c-10*b^15*c^2-20*b^14*c^3+15*b^13*c^4+55*b^12*c^5+8*b^11*c^6-78*b^10*c^7-55*b^9*c^8+55*b^8*c^9+78*b^7*c^10-8*b^6*c^11-55*b^5*c^12-15*b^4*c^13+20*b^3*c^14+10*b^2*c^15-3*b*c^16-2*c^17)*O3F^2+(a^4-a^2*b^2-a^2*c^2+b^4-b^2*c^2+c^4)*(a^10-a^9*b+a^9*c-3*a^8*b^2-5*a^8*b*c-3*a^8*c^2+4*a^7*b^3+2*a^7*b^2*c-2*a^7*b*c^2-4*a^7*c^3+2*a^6*b^4+14*a^6*b^3*c+23*a^6*b^2*c^2+14*a^6*b*c^3+2*a^6*c^4-6*a^5*b^5-12*a^5*b^4*c-7*a^5*b^3*c^2+7*a^5*b^2*c^3+12*a^5*b*c^4+6*a^5*c^5+2*a^4*b^6-12*a^4*b^5*c-22*a^4*b^4*c^2-17*a^4*b^3*c^3-22*a^4*b^2*c^4-12*a^4*b*c^5+2*a^4*c^6+4*a^3*b^7+14*a^3*b^6*c-7*a^3*b^5*c^2-17*a^3*b^4*c^3+17*a^3*b^3*c^4+7*a^3*b^2*c^5-14*a^3*b*c^6-4*a^3*c^7-3*a^2*b^8+2*a^2*b^7*c+23*a^2*b^6*c^2+7*a^2*b^5*c^3-22*a^2*b^4*c^4+7*a^2*b^3*c^5+23*a^2*b^2*c^6+2*a^2*b*c^7-3*a^2*c^8-a*b^9-5*a*b^8*c-2*a*b^7*c^2+14*a*b^6*c^3+12*a*b^5*c^4-12*a*b^4*c^5-14*a*b^3*c^6+2*a*b^2*c^7+5*a*b*c^8+a*c^9+b^10+b^9*c-3*b^8*c^2-4*b^7*c^3+2*b^6*c^4+6*b^5*c^5+2*b^4*c^6-4*b^3*c^7-3*b^2*c^8+b*c^9+c^10)*(a^10-a^9*b+a^9*c-3*a^8*b^2-5*a^8*b*c-3*a^8*c^2+4*a^7*b^3+2*a^7*b^2*c-2*a^7*b*c^2-4*a^7*c^3+2*a^6*b^4+14*a^6*b^3*c-4*a^6*b^2*c^2+14*a^6*b*c^3+2*a^6*c^4-6*a^5*b^5-12*a^5*b^4*c-34*a^5*b^3*c^2+34*a^5*b^2*c^3+12*a^5*b*c^4+6*a^5*c^5+2*a^4*b^6-12*a^4*b^5*c+86*a^4*b^4*c^2-44*a^4*b^3*c^3+86*a^4*b^2*c^4-12*a^4*b*c^5+2*a^4*c^6+4*a^3*b^7+14*a^3*b^6*c-34*a^3*b^5*c^2-44*a^3*b^4*c^3+44*a^3*b^3*c^4+34*a^3*b^2*c^5-14*a^3*b*c^6-4*a^3*c^7-3*a^2*b^8+2*a^2*b^7*c-4*a^2*b^6*c^2+34*a^2*b^5*c^3+86*a^2*b^4*c^4+34*a^2*b^3*c^5-4*a^2*b^2*c^6+2*a^2*b*c^7-3*a^2*c^8-a*b^9-5*a*b^8*c-2*a*b^7*c^2+14*a*b^6*c^3+12*a*b^5*c^4-12*a*b^4*c^5-14*a*b^3*c^6+2*a*b^2*c^7+5*a*b*c^8+a*c^9+b^10+b^9*c-3*b^8*c^2-4*b^7*c^3+2*b^6*c^4+6*b^5*c^5+2*b^4*c^6-4*b^3*c^7-3*b^2*c^8+b*c^9+c^10)=0

数学星空

对以上\(1\sim 4\)结果：

a),做\(R,r,S\)代换得到：

1.   \( 144R^6r^6+72R^5r^7+9R^4r^8-72R^5S^2r^3-990R^4S^2r^4-1536R^3S^2r^5-1152R^2S^2r^6-384RS^2r^7-48S^2r^8+9R^4S^4+384R^2S^4r^2+384RS^4r^3+160S^4r^4-48S^6+(144R^2r^6+72Rr^7+9r^8-72RS^2r^3-126S^2r^4+9S^4)OF^4+(-288R^4r^6-144R^3r^7-18R^2r^8+144R^3S^2r^3+684R^2S^2r^4+384RS^2r^5+96S^2r^6-18R^2S^4-96S^4r^2)OF^2＝0\)

2.   \(81GF^4r^4+16R^2r^6+8Rr^7+r^8-8RS^2r^3-14S^2r^4+18(4Rr^3+r^4-S^2)GF^2r^2+S^4＝0\)

3.   \(9(16R^2r^6+8Rr^7+r^8-8RS^2r^3-14S^2r^4+S^4)HF^4r^4-6(4Rr^3+r^4-S^2)(48R^3r^5+60R^2r^6+24Rr^7+3r^8-12R^2S^2r^2-24RS^2r^3-10S^2r^4+3S^4)HF^2r^2+(48R^3r^5+60R^2r^6+24Rr^7+3r^8-12R^2S^2r^2-24RS^2r^3-10S^2r^4+3S^4)^2＝0\)

4.  \( (144R^2r^6+72Rr^7+9r^8-72RS^2r^3-126S^2r^4+9S^4)IF^4+24(48R^3r^5+24R^2r^6+3Rr^7-12R^2S^2r^2-17RS^2r^3+10S^2r^4+2S^4)IF^2r^2+16(144R^4r^4+72R^3r^5+9R^2r^6-51R^2S^2r^2-12S^2r^4+4S^4)r^4＝0\)

b)，做\(R,r,p\) 代换得到：

1.  \(144R^6r^2-72R^5p^2r+72R^5r^3+9R^4p^4-990R^4p^2r^2+9R^4r^4-1536R^3p^2r^3+384R^2p^4r^2-1152R^2p^2r^4+384Rp^4r^3-384Rp^2r^5-48p^6r^2+160p^4r^4-48p^2r^6+(144R^2r^2-72Rp^2r+72Rr^3+9p^4-126p^2r^2+9r^4)OF^4+(-288R^4r^2+144R^3p^2r-144R^3r^3-18R^2p^4+684R^2p^2r^2-18R^2r^4+384Rp^2r^3-96p^4r^2+96p^2r^4)OF^2=0\)

2.   \(81GF^4+16R^2r^2-8Rp^2r+8Rr^3+p^4-14p^2r^2+r^4+(72Rr-18p^2+18r^2)GF^2=0 \)

3.  \( (144R^2r^2-72Rp^2r+72Rr^3+9p^4-126p^2r^2+9r^4)HF^4-6(4Rr-p^2+r^2)(48R^3r-12R^2p^2+60R^2r^2-24Rp^2r+24Rr^3+3p^4-10p^2r^2+3r^4)HF^2+(48R^3r-12R^2p^2+60R^2r^2-24Rp^2r+24Rr^3+3p^4-10p^2r^2+3r^4)^2=0\)

4.   \((144R^2r^2-72Rp^2r+72Rr^3+9p^4-126p^2r^2+9r^4)IF^4+24(48R^3r-12R^2p^2+24R^2r^2-17Rp^2r+3Rr^3+2p^4+10p^2r^2)IF^2r^2+16(144R^4+72R^3r-51R^2p^2+9R^2r^2+4p^4-12p^2r^2)r^4=0\)

数学星空

关于九点圆圆心\(L\)的心距公式如下：

有关九点圆圆心性质的详细描述见：http://zh.wikipedia.org/wiki/%E4%B9%9D%E7%82%B9%E5%9C%86

1.   \(a^6-a^4b^2-a^4c^2-a^2b^4+3a^2b^2c^2-a^2c^4+b^6-b^4c^2-b^2c^4+c^6+4(a+b-c)(a+b+c)(a-b+c)(a-b-c)OL^2=0\)

2.   \(a^6-a^4b^2-a^4c^2-a^2b^4+3a^2b^2c^2-a^2c^4+b^6-b^4c^2-b^2c^4+c^6+36(a+b-c)(a+b+c)(a-b+c)(a-b-c)GL^2=0\)

3.   \(a^6-a^4b^2-a^4c^2-a^2b^4+3a^2b^2c^2-a^2c^4+b^6-b^4c^2-b^2c^4+c^6+4(a+b-c)(a+b+c)(a-b+c)(a-b-c)HL^2=0\)

4.   \(4(a+b-c)(a+b+c)(a-b+c)(a-b-c)IL^2+(a^3-a^2b-a^2c-ab^2+3abc-ac^2+b^3-b^2c-bc^2+c^3)^2=0\)

5.   \(4(a+b-c)(a+b+c)(a-b+c)(a-b-c)O_1L^2+(a^3+a^2b+a^2c-ab^2+3abc-ac^2-b^3+b^2c+bc^2-c^3)^2=0\)

6.   \(4(a+b-c)(a+b+c)(a-b+c)(a-b-c)O_2L^2+(a^3+a^2b-a^2c-ab^2-3abc-ac^2-b^3-b^2c+bc^2+c^3)^2=0\)

7.   \(4(a+b-c)(a+b+c)(a-b+c)(a-b-c)O_3L^2+(a^3-a^2b+a^2c-ab^2-3abc-ac^2+b^3+b^2c-bc^2-c^3)^2=0\)

8.   \(-24(a+b+c)(a-b-c)(a+b-c)(a-b+c)(a^{10}-3a^8b^2-3a^8c^2+2a^6b^4+2a^6b^2c^2+2a^6c^4+2a^4b^6-a^4b^4c^2-a^4b^2c^4+2a^4c^6-3a^2b^8+2a^2b^6c^2-a^2b^4c^4+2a^2b^2c^6-3a^2c^8+b^{10}-3b^8c^2+2b^6c^4+2b^4c^6-3b^2c^8+c^{10})FL^2+a^{16}+b^{16}+c^{16}+144(a^4-a^2b^2-a^2c^2+b^4-b^2c^2+c^4)(a+b-c)^2(a+b+c)^2(a-b+c)^2(a-b-c)^2FL^4-5a^{14}b^2-5a^{14}c^2+10a^{12}b^4+10a^{12}c^4-11a^{10}b^6-11a^{10}c^6+10a^8b^8+10a^8c^8-11a^6b^{10}-11a^6c^{10}+10a^4b^{12}+10a^4c^{12}-5a^2b^{14}-5a^2c^{14}-5b^{14}c^2+10b^{12}c^4-11b^{10}c^6+10b^8c^8-11b^6c^{10}+10b^4c^{12}-5b^2c^{14}+33a^4b^8c^4+13a^8b^6c^2+13a^6b^8c^2-23a^4b^6c^6+33a^4b^4c^8-27a^4b^2c^{10}+19a^2b^{12}c^2-27a^2b^{10}c^4+13a^2b^8c^6+13a^2b^6c^8-27a^2b^4c^{10}+19a^2b^2c^{12}+13a^6b^2c^8+13a^8b^2c^6-27a^{10}b^4c^2+19a^{12}b^2c^2-23a^6b^4c^6-23a^6b^6c^4-27a^{10}b^2c^4-27a^4b^{10}c^2+33a^8b^4c^4=0\)

数学星空

若做\(R,r,S\)代换，上面\(1\sim 4 \)及\(5\) 式的结果可简化为：

1.   \(4OL^2r^2-9R^2r^2-8Rr^3-2r^4+2S^2=0\)

2.   \(36GL^2r^2-9R^2r^2-8Rr^3-2r^4+2S^2=0\)

3.   \(4HL^2r^2-9R^2r^2-8Rr^3-2r^4+2S^2=0\)

4.   \(-R+2r+2IL=0\)

8.   \((2304R^2r^6+1152Rr^7+144r^8-1152RS^2r^3-2016S^2r^4+144S^4)FL^4+(-1152R^4r^6-576R^3r^7-72R^2r^8+576R^3S^2r^3-2448R^2S^2r^4-3072RS^2r^5-768S^2r^6-72R^2S^4+768S^4r^2)FL^2+144R^6r^6+72R^5r^7+9R^4r^8-72R^5S^2r^3-990R^4S^2r^4-1536R^3S^2r^5-1152R^2S^2r^6-384RS^2r^7-48S^2r^8+9R^4S^4+384R^2S^4r^2+384S^4Rr^3+160S^4r^4-48S^6=0\)


若做\(R,r,p\)代换，上面\(1\sim 4 \)及\(5\) 式的结果可简化为：


1.   \(4OL^2-9R^2-8Rr+2p^2-2r^2=0\)

2.   \(36GL^2-9R^2-8Rr+2p^2-2r^2=0\)

3.   \(4HL^2-9R^2-8Rr+2p^2-2r^2=0\)

4.   \(-R+2r+2IL=0\)

8.   \((2304R^2r^2-1152Rp^2r+1152Rr^3+144p^4-2016p^2r^2+144r^4)FL^4+(-1152R^4r^2+576R^3p^2r-576R^3r^3-72R^2p^4-2448R^2p^2r^2-72R^2r^4-3072Rp^2r^3+768p^4r^2-768p^2r^4)FL^2+144R^6r^2-72R^5p^2r+72R^5r^3+9R^4p^4-990R^4p^2r^2+9R^4r^4-1536R^3p^2r^3+384R^2p^4r^2-1152R^2p^2r^4+384Rp^4r^3-384Rp^2r^5-48p^6r^2+160p^4r^4-48p^2r^6=0\)

数学星空

下一步，我们来讨论http://bbs.emath.ac.cn/thread-2558-1-2.html提到几个问题中的心距公式
第1个分三个周长相等，记为界心\(J\)
第2个分三个内切圆半径\(r_0\)相等，记为等内切圆中心\( E\)
第3个分三个外接圆半径\(R_0\)相等，为垂心\(H\),已讨论

数学星空

关于界心\(J\)我们可以得到如下结果：

1.    (a+b+c)^2*(a-b-c)^2*(-c+a+b)^2*(-b+c+a)^2*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*OJ^4-19*a^16*b^4-19*a^16*c^4+24*a^14*b^6+24*a^14*c^6-32*a^13*b^7-32*a^13*c^7+18*a^12*b^8+18*a^12*c^8+24*a^11*b^9+24*a^11*c^9-52*a^10*b^10-52*a^10*c^10+24*a^9*b^11+24*a^9*c^11+18*a^8*b^12+18*a^8*c^12-32*a^7*b^13-32*a^7*c^13+24*a^6*b^14+24*a^6*c^14-4*a^19*b-4*a^19*c+2*a^18*b^2+2*a^18*c^2+12*a^17*b^3+12*a^17*c^3+2*b^2*c^18-4*b*c^19+2*a^2*b^18+2*a^2*c^18-4*a*b^19-4*a*c^19-4*b^19*c+2*b^18*c^2+12*b^17*c^3-19*b^16*c^4+24*b^14*c^6-32*b^13*c^7+18*b^12*c^8+24*b^11*c^9-52*b^10*c^10+24*b^9*c^11+18*b^8*c^12-32*b^7*c^13+24*b^6*c^14-19*b^4*c^16+12*b^3*c^17+12*a^3*c^17-19*a^4*b^16-19*a^4*c^16+12*a^3*b^17+a^20+b^20+c^20+12*a^2*b^11*c^7-8*a^2*b*c^17+64*a^2*b^9*c^9-4*a^2*b^16*c^2-8*a^2*b^17*c-44*a*b^16*c^3+56*a*b^15*c^4-88*a^2*b^13*c^5-44*a^3*b*c^16+130*a^2*b^12*c^6+24*a*b^14*c^5-4*a^2*b^2*c^16+130*a^2*b^6*c^12+52*a^2*b^15*c^3+16*a*b^18*c-88*a^2*b^5*c^13-8*a*b^17*c^2-42*a^2*b^14*c^4-56*a*b^13*c^6-8*a^3*b^3*c^14-96*a^3*b^6*c^11+60*a^3*b^5*c^12-42*a^2*b^4*c^14+52*a^2*b^3*c^15+12*a^2*b^7*c^11+52*a^3*b^2*c^15+8*a*b^12*c^7-86*a^2*b^8*c^10-36*a^3*b^4*c^13-86*a^2*b^10*c^8-16*a*b^11*c^8+24*a*b^10*c^9+24*a*b^9*c^10-16*a*b^8*c^11+8*a*b^7*c^12-56*a*b^6*c^13+24*a*b^5*c^14+56*a*b^4*c^15-44*a*b^3*c^16-8*a*b^2*c^17+16*a*b*c^18+12*a^7*b^11*c^2+116*a^7*b^10*c^3-8*a^7*b^9*c^4-112*a^7*b^8*c^5+16*a^7*b^7*c^6+16*a^7*b^6*c^7-112*a^7*b^5*c^8-8*a^7*b^4*c^9+116*a^7*b^3*c^10+12*a^7*b^2*c^11+8*a^7*b*c^12-56*a^6*b^13*c+130*a^6*b^12*c^2-96*a^6*b^11*c^3-90*a^6*b^10*c^4-48*a^6*b^9*c^5+128*a^6*b^8*c^6+16*a^6*b^7*c^7+128*a^6*b^6*c^8-48*a^6*b^5*c^9-90*a^6*b^4*c^10-96*a^6*b^3*c^11+130*a^6*b^2*c^12-56*a^6*b*c^13+24*a^5*b^14*c-88*a^5*b^13*c^2+60*a^5*b^12*c^3-76*a^5*b^11*c^4+240*a^5*b^10*c^5-48*a^5*b^9*c^6-112*a^5*b^8*c^7-112*a^5*b^7*c^8-48*a^5*b^6*c^9+240*a^5*b^5*c^10-76*a^5*b^4*c^11+60*a^5*b^3*c^12-88*a^5*b^2*c^13+24*a^5*b*c^14+56*a^4*b^15*c-42*a^4*b^14*c^2-36*a^4*b^13*c^3+121*a^4*b^12*c^4-76*a^4*b^11*c^5-90*a^4*b^10*c^6-8*a^4*b^9*c^7+188*a^4*b^8*c^8-8*a^4*b^7*c^9-90*a^4*b^6*c^10-76*a^4*b^5*c^11+121*a^4*b^4*c^12-36*a^4*b^3*c^13-42*a^4*b^2*c^14+56*a^4*b*c^15-44*a^3*b^16*c+52*a^3*b^15*c^2-8*a^3*b^14*c^3-36*a^3*b^13*c^4+60*a^3*b^12*c^5-96*a^3*b^11*c^6+116*a^3*b^10*c^7-56*a^3*b^9*c^8-56*a^3*b^8*c^9+116*a^3*b^7*c^10+56*a^15*b*c^4+24*a^14*b^5*c-42*a^14*b^4*c^2-8*a^14*b^3*c^3-42*a^14*b^2*c^4+24*a^14*b*c^5-56*a^13*b^6*c-88*a^13*b^5*c^2-36*a^13*b^4*c^3-36*a^13*b^3*c^4-88*a^13*b^2*c^5-56*a^13*b*c^6+8*a^12*b^7*c+130*a^12*b^6*c^2+60*a^12*b^5*c^3+121*a^12*b^4*c^4+60*a^12*b^3*c^5+130*a^12*b^2*c^6+8*a^12*b*c^7-16*a^11*b^8*c+12*a^11*b^7*c^2-96*a^11*b^6*c^3-76*a^11*b^5*c^4-76*a^11*b^4*c^5-96*a^11*b^3*c^6+12*a^11*b^2*c^7-16*a^11*b*c^8+24*a^10*b^9*c-86*a^10*b^8*c^2+116*a^10*b^7*c^3-90*a^10*b^6*c^4+240*a^10*b^5*c^5-90*a^10*b^4*c^6+116*a^10*b^3*c^7-86*a^10*b^2*c^8+24*a^10*b*c^9+24*a^9*b^10*c+64*a^9*b^9*c^2-56*a^9*b^8*c^3-8*a^9*b^7*c^4-48*a^9*b^6*c^5-48*a^9*b^5*c^6-8*a^9*b^4*c^7-56*a^9*b^3*c^8+64*a^9*b^2*c^9+24*a^9*b*c^10-16*a^8*b^11*c-86*a^8*b^10*c^2-56*a^8*b^9*c^3+188*a^8*b^8*c^4-112*a^8*b^7*c^5+128*a^8*b^6*c^6-112*a^8*b^5*c^7+188*a^8*b^4*c^8-56*a^8*b^3*c^9-86*a^8*b^2*c^10-16*a^8*b*c^11+8*a^7*b^12*c+16*a^18*b*c-8*a^17*b^2*c-8*a^17*b*c^2-44*a^16*b^3*c-4*a^16*b^2*c^2-44*a^16*b*c^3+56*a^15*b^4*c+52*a^15*b^3*c^2+52*a^15*b^2*c^3-(2*(-c+a+b))*(-b+c+a)*(a+b+c)*(a-b-c)*(3*a^14-10*a^13*b-10*a^13*c+a^12*b^2+28*a^12*b*c+a^12*c^2+28*a^11*b^3-2*a^11*b^2*c-2*a^11*b*c^2+28*a^11*c^3-21*a^10*b^4-58*a^10*b^3*c-35*a^10*b^2*c^2-58*a^10*b*c^3-21*a^10*c^4-22*a^9*b^5+40*a^9*b^4*c+78*a^9*b^3*c^2+78*a^9*b^2*c^3+40*a^9*b*c^4-22*a^9*c^5+17*a^8*b^6+38*a^8*b^5*c-29*a^8*b^4*c^2-116*a^8*b^3*c^3-29*a^8*b^2*c^4+38*a^8*b*c^5+17*a^8*c^6+8*a^7*b^7-36*a^7*b^6*c-12*a^7*b^5*c^2+40*a^7*b^4*c^3+40*a^7*b^3*c^4-12*a^7*b^2*c^5-36*a^7*b*c^6+8*a^7*c^7+17*a^6*b^8-36*a^6*b^7*c-2*a^6*b^6*c^2+28*a^6*b^5*c^3-14*a^6*b^4*c^4+28*a^6*b^3*c^5-2*a^6*b^2*c^6-36*a^6*b*c^7+17*a^6*c^8-22*a^5*b^9+38*a^5*b^8*c-12*a^5*b^7*c^2+28*a^5*b^6*c^3-32*a^5*b^5*c^4-32*a^5*b^4*c^5+28*a^5*b^3*c^6-12*a^5*b^2*c^7+38*a^5*b*c^8-22*a^5*c^9-21*a^4*b^10+40*a^4*b^9*c-29*a^4*b^8*c^2+40*a^4*b^7*c^3-14*a^4*b^6*c^4-32*a^4*b^5*c^5-14*a^4*b^4*c^6+40*a^4*b^3*c^7-29*a^4*b^2*c^8+40*a^4*b*c^9-21*a^4*c^10+28*a^3*b^11-58*a^3*b^10*c+78*a^3*b^9*c^2-116*a^3*b^8*c^3+40*a^3*b^7*c^4+28*a^3*b^6*c^5+28*a^3*b^5*c^6+40*a^3*b^4*c^7-116*a^3*b^3*c^8+78*a^3*b^2*c^9-58*a^3*b*c^10+28*a^3*c^11+a^2*b^12-2*a^2*b^11*c-35*a^2*b^10*c^2+78*a^2*b^9*c^3-29*a^2*b^8*c^4-12*a^2*b^7*c^5-2*a^2*b^6*c^6-12*a^2*b^5*c^7-29*a^2*b^4*c^8+78*a^2*b^3*c^9-35*a^2*b^2*c^10-2*a^2*b*c^11+a^2*c^12-10*a*b^13+28*a*b^12*c-2*a*b^11*c^2-58*a*b^10*c^3+40*a*b^9*c^4+38*a*b^8*c^5-36*a*b^7*c^6-36*a*b^6*c^7+38*a*b^5*c^8+40*a*b^4*c^9-58*a*b^3*c^10-2*a*b^2*c^11+28*a*b*c^12-10*a*c^13+3*b^14-10*b^13*c+b^12*c^2+28*b^11*c^3-21*b^10*c^4-22*b^9*c^5+17*b^8*c^6+8*b^7*c^7+17*b^6*c^8-22*b^5*c^9-21*b^4*c^10+28*b^3*c^11+b^2*c^12-10*b*c^13+3*c^14)*OJ^2＝0


2.    (-576*a^10+1872*a^9*b+1872*a^9*c-2592*a^8*b^2-3456*a^8*b*c-2592*a^8*c^2+2304*a^7*b^3+1872*a^7*b^2*c+1872*a^7*b*c^2+2304*a^7*c^3-1440*a^6*b^4-3600*a^6*b^3*c+7200*a^6*b^2*c^2-3600*a^6*b*c^3-1440*a^6*c^4+864*a^5*b^5+3312*a^5*b^4*c-4176*a^5*b^3*c^2-4176*a^5*b^2*c^3+3312*a^5*b*c^4+864*a^5*c^5-1440*a^4*b^6+3312*a^4*b^5*c-4608*a^4*b^4*c^2+5472*a^4*b^3*c^3-4608*a^4*b^2*c^4+3312*a^4*b*c^5-1440*a^4*c^6+2304*a^3*b^7-3600*a^3*b^6*c-4176*a^3*b^5*c^2+5472*a^3*b^4*c^3+5472*a^3*b^3*c^4-4176*a^3*b^2*c^5-3600*a^3*b*c^6+2304*a^3*c^7-2592*a^2*b^8+1872*a^2*b^7*c+7200*a^2*b^6*c^2-4176*a^2*b^5*c^3-4608*a^2*b^4*c^4-4176*a^2*b^3*c^5+7200*a^2*b^2*c^6+1872*a^2*b*c^7-2592*a^2*c^8+1872*a*b^9-3456*a*b^8*c+1872*a*b^7*c^2-3600*a*b^6*c^3+3312*a*b^5*c^4+3312*a*b^4*c^5-3600*a*b^3*c^6+1872*a*b^2*c^7-3456*a*b*c^8+1872*a*c^9-576*b^10+1872*b^9*c-2592*b^8*c^2+2304*b^7*c^3-1440*b^6*c^4+864*b^5*c^5-1440*b^4*c^6+2304*b^3*c^7-2592*b^2*c^8+1872*b*c^9-576*c^10)*GJ^2-512*a^9*c^3+128*a^6*c^6+128*a^6*b^6-256*b^11*c+448*b^8*c^4+448*a^8*b^4-256*b*c^11-256*a^5*b^7-512*b^3*c^9+448*a^2*b^10-512*a^3*b^9-256*a^7*c^5+448*a^2*c^10-512*a^9*b^3+448*b^4*c^8-256*a^11*b+448*a^4*c^8-512*b^9*c^3-512*a^3*c^9+448*b^10*c^2+448*a^10*b^2-256*b^7*c^5-256*a^5*c^7-256*a^11*c-256*a^7*b^5+448*a^4*b^8+81*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*GJ^4-256*b^5*c^7+128*b^6*c^6-256*a*b^11+448*a^8*c^4-256*a*c^11+448*a^10*c^2+448*b^2*c^10+64*b^12+64*c^12+64*a^12+128*a*b^6*c^5-896*a*b^2*c^9+128*a^5*b^6*c-896*a^4*b^6*c^2+128*a*b^5*c^6+640*a^8*b*c^3+640*a^3*b*c^8+768*a*b*c^10-896*a^2*b^4*c^6-896*a^9*b*c^2+1792*a^5*b^2*c^5+1536*a^3*b^6*c^3+448*a^8*b^2*c^2-1664*a^4*b^3*c^5-1664*a^4*b^5*c^3-896*a^9*b^2*c-896*a^2*b*c^9+448*a^2*b^8*c^2-384*a^4*b*c^7-384*a*b^4*c^7-1664*a^5*b^4*c^3-896*a^2*b^6*c^4+640*a*b^8*c^3-1664*a^3*b^5*c^4-384*a^4*b^7*c-1664*a^3*b^4*c^5+640*a*b^3*c^8+1536*a^6*b^3*c^3+1536*a^3*b^3*c^6-1664*a^5*b^3*c^4+128*a^6*b^5*c+448*a^2*b^2*c^8-896*a*b^9*c^2+128*a^6*b*c^5+1792*a^5*b^5*c^2+640*a^8*b^3*c+1792*a^2*b^5*c^5-384*a*b^7*c^4+4992*a^4*b^4*c^4-896*a^6*b^4*c^2-384*a^7*b*c^4-384*a^7*b^4*c+640*a^3*b^8*c+768*a*b^10*c-896*a^2*b^9*c+768*a^10*b*c-896*a^4*b^2*c^6-896*a^6*b^2*c^4+128*a^5*b*c^6＝0

3.    (-c+a+b)^2*(-b+c+a)^2*(a+b+c)^2*(a-b-c)^2*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*HJ^4+80*a^16*b^4+80*a^16*c^4+320*a^13*b^7+320*a^13*c^7-96*a^12*b^8-96*a^12*c^8-128*a^11*b^9-128*a^11*c^9+128*a^10*b^10+128*a^10*c^10-128*a^9*b^11-128*a^9*c^11-96*a^8*b^12-96*a^8*c^12+320*a^7*b^13+320*a^7*c^13-32*a^19*b-32*a^19*c-64*a^18*b^2-64*a^18*c^2+160*a^17*b^3+160*a^17*c^3-320*b^5*c^15-320*a^15*b^5-64*b^2*c^18-32*b*c^19-64*a^2*b^18-64*a^2*c^18-32*a*b^19-32*a*c^19-32*b^19*c-64*b^18*c^2+160*b^17*c^3+80*b^16*c^4+320*b^13*c^7-96*b^12*c^8-128*b^11*c^9+128*b^10*c^10-128*b^9*c^11-96*b^8*c^12+320*b^7*c^13+80*b^4*c^16+160*b^3*c^17+160*a^3*c^17+80*a^4*b^16+80*a^4*c^16+160*a^3*b^17-320*a^5*b^15-320*b^15*c^5-320*a^5*c^15-320*a^15*c^5+16*a^20+16*b^20+16*c^20-3232*a^3*b^5*c^12+704*a^2*b^5*c^13+1664*a^2*b^9*c^9-1376*a^2*b^11*c^7-640*a*b^7*c^12+1344*a^3*b^6*c^11-160*a^2*b^3*c^15+1984*a^2*b^6*c^12-960*a^2*b^10*c^8+1920*a^3*b^3*c^14-640*a*b^12*c^7-544*a^3*b*c^16-160*a^3*b^2*c^15-544*a*b^16*c^3-960*a^2*b^8*c^10-160*a^2*b^15*c^3+896*a*b^14*c^5-1376*a^2*b^7*c^11+1984*a^2*b^12*c^6+128*a*b^18*c-128*a*b^10*c^9+512*a^2*b^16*c^2-896*a*b^13*c^6-1472*a^2*b^14*c^4+704*a^2*b^13*c^5+384*a*b^15*c^4-416*a^3*b^4*c^13-128*a*b^9*c^10+512*a^2*b^2*c^16+832*a*b^11*c^8-1472*a^2*b^4*c^14+832*a*b^8*c^11-896*a*b^6*c^13+896*a*b^5*c^14+384*a*b^4*c^15-544*a*b^3*c^16+128*a*b*c^18-1376*a^7*b^11*c^2+3552*a^7*b^10*c^3-320*a^7*b^9*c^4-3712*a^7*b^8*c^5+2176*a^7*b^7*c^6+2176*a^7*b^6*c^7-3712*a^7*b^5*c^8-320*a^7*b^4*c^9+3552*a^7*b^3*c^10-1376*a^7*b^2*c^11-640*a^7*b*c^12-896*a^6*b^13*c+1984*a^6*b^12*c^2+1344*a^6*b^11*c^3-4992*a^6*b^10*c^4+1536*a^6*b^9*c^5-64*a^6*b^8*c^6+2176*a^6*b^7*c^7-64*a^6*b^6*c^8+1536*a^6*b^5*c^9-4992*a^6*b^4*c^10+1344*a^6*b^3*c^11+1984*a^6*b^2*c^12-896*a^6*b*c^13+896*a^5*b^14*c+704*a^5*b^13*c^2-3232*a^5*b^12*c^3-672*a^5*b^11*c^4+4800*a^5*b^10*c^5+1536*a^5*b^9*c^6-3712*a^5*b^8*c^7-3712*a^5*b^7*c^8+1536*a^5*b^6*c^9+4800*a^5*b^5*c^10-672*a^5*b^4*c^11-3232*a^5*b^3*c^12+704*a^5*b^2*c^13+896*a^5*b*c^14+384*a^4*b^15*c-1472*a^4*b^14*c^2-416*a^4*b^13*c^3+4112*a^4*b^12*c^4-672*a^4*b^11*c^5-4992*a^4*b^10*c^6-320*a^4*b^9*c^7+6592*a^4*b^8*c^8-320*a^4*b^7*c^9-4992*a^4*b^6*c^10-672*a^4*b^5*c^11+4112*a^4*b^4*c^12-416*a^4*b^3*c^13-1472*a^4*b^2*c^14+384*a^4*b*c^15-544*a^3*b^16*c-160*a^3*b^15*c^2+1920*a^3*b^14*c^3-416*a^3*b^13*c^4-3232*a^3*b^12*c^5+1344*a^3*b^11*c^6+3552*a^3*b^10*c^7-2624*a^3*b^9*c^8-2624*a^3*b^8*c^9+3552*a^3*b^7*c^10+384*a^15*b*c^4+896*a^14*b^5*c-1472*a^14*b^4*c^2+1920*a^14*b^3*c^3-1472*a^14*b^2*c^4+896*a^14*b*c^5-896*a^13*b^6*c+704*a^13*b^5*c^2-416*a^13*b^4*c^3-416*a^13*b^3*c^4+704*a^13*b^2*c^5-896*a^13*b*c^6-640*a^12*b^7*c+1984*a^12*b^6*c^2-3232*a^12*b^5*c^3+4112*a^12*b^4*c^4-3232*a^12*b^3*c^5+1984*a^12*b^2*c^6-640*a^12*b*c^7+832*a^11*b^8*c-1376*a^11*b^7*c^2+1344*a^11*b^6*c^3-672*a^11*b^5*c^4-672*a^11*b^4*c^5+1344*a^11*b^3*c^6-1376*a^11*b^2*c^7+832*a^11*b*c^8-128*a^10*b^9*c-960*a^10*b^8*c^2+3552*a^10*b^7*c^3-4992*a^10*b^6*c^4+4800*a^10*b^5*c^5-4992*a^10*b^4*c^6+3552*a^10*b^3*c^7-960*a^10*b^2*c^8-128*a^10*b*c^9-128*a^9*b^10*c+1664*a^9*b^9*c^2-2624*a^9*b^8*c^3-320*a^9*b^7*c^4+1536*a^9*b^6*c^5+1536*a^9*b^5*c^6-320*a^9*b^4*c^7-2624*a^9*b^3*c^8+1664*a^9*b^2*c^9-128*a^9*b*c^10+832*a^8*b^11*c-960*a^8*b^10*c^2-2624*a^8*b^9*c^3+6592*a^8*b^8*c^4-3712*a^8*b^7*c^5-64*a^8*b^6*c^6-3712*a^8*b^5*c^7+6592*a^8*b^4*c^8-2624*a^8*b^3*c^9-960*a^8*b^2*c^10+832*a^8*b*c^11-640*a^7*b^12*c+128*a^18*b*c-544*a^16*b^3*c+512*a^16*b^2*c^2-544*a^16*b*c^3+384*a^15*b^4*c-160*a^15*b^3*c^2-160*a^15*b^2*c^3+(8*(-c+a+b))*(-b+c+a)*(a+b+c)*(a-b-c)*(3*a^14-3*a^13*b-3*a^13*c-11*a^12*b^2+10*a^12*b*c-11*a^12*c^2+10*a^11*b^3+a^11*b^2*c+a^11*b*c^2+10*a^11*c^3+15*a^10*b^4-35*a^10*b^3*c+73*a^10*b^2*c^2-35*a^10*b*c^3+15*a^10*c^4-13*a^9*b^5+20*a^9*b^4*c-43*a^9*b^3*c^2-43*a^9*b^2*c^3+20*a^9*b*c^4-13*a^9*c^5-7*a^8*b^6+53*a^8*b^5*c-97*a^8*b^4*c^2+134*a^8*b^3*c^3-97*a^8*b^2*c^4+53*a^8*b*c^5-7*a^8*c^6+12*a^7*b^7-46*a^7*b^6*c-22*a^7*b^5*c^2+56*a^7*b^4*c^3+56*a^7*b^3*c^4-22*a^7*b^2*c^5-46*a^7*b*c^6+12*a^7*c^7-7*a^6*b^8-46*a^6*b^7*c+198*a^6*b^6*c^2-122*a^6*b^5*c^3-46*a^6*b^4*c^4-122*a^6*b^3*c^5+198*a^6*b^2*c^6-46*a^6*b*c^7-7*a^6*c^8-13*a^5*b^9+53*a^5*b^8*c-22*a^5*b^7*c^2-122*a^5*b^6*c^3+104*a^5*b^5*c^4+104*a^5*b^4*c^5-122*a^5*b^3*c^6-22*a^5*b^2*c^7+53*a^5*b*c^8-13*a^5*c^9+15*a^4*b^10+20*a^4*b^9*c-97*a^4*b^8*c^2+56*a^4*b^7*c^3-46*a^4*b^6*c^4+104*a^4*b^5*c^5-46*a^4*b^4*c^6+56*a^4*b^3*c^7-97*a^4*b^2*c^8+20*a^4*b*c^9+15*a^4*c^10+10*a^3*b^11-35*a^3*b^10*c-43*a^3*b^9*c^2+134*a^3*b^8*c^3+56*a^3*b^7*c^4-122*a^3*b^6*c^5-122*a^3*b^5*c^6+56*a^3*b^4*c^7+134*a^3*b^3*c^8-43*a^3*b^2*c^9-35*a^3*b*c^10+10*a^3*c^11-11*a^2*b^12+a^2*b^11*c+73*a^2*b^10*c^2-43*a^2*b^9*c^3-97*a^2*b^8*c^4-22*a^2*b^7*c^5+198*a^2*b^6*c^6-22*a^2*b^5*c^7-97*a^2*b^4*c^8-43*a^2*b^3*c^9+73*a^2*b^2*c^10+a^2*b*c^11-11*a^2*c^12-3*a*b^13+10*a*b^12*c+a*b^11*c^2-35*a*b^10*c^3+20*a*b^9*c^4+53*a*b^8*c^5-46*a*b^7*c^6-46*a*b^6*c^7+53*a*b^5*c^8+20*a*b^4*c^9-35*a*b^3*c^10+a*b^2*c^11+10*a*b*c^12-3*a*c^13+3*b^14-3*b^13*c-11*b^12*c^2+10*b^11*c^3+15*b^10*c^4-13*b^9*c^5-7*b^8*c^6+12*b^7*c^7-7*b^6*c^8-13*b^5*c^9+15*b^4*c^10+10*b^3*c^11-11*b^2*c^12-3*b*c^13+3*c^14)*HJ^2＝0

4.   78*a^6*b^2*c^6-16*a^9*b^2*c^3+18*a*b*c^12-24*a^2*b^7*c^5-24*a^5*b^2*c^7+36*a^4*b^7*c^3+10*a*b^4*c^9-16*a^3*b^2*c^9+78*a^2*b^6*c^6+36*a^3*b^7*c^4-16*a^9*b^3*c^2-24*a*b^6*c^7+24*a^8*b^5*c-24*a^11*b^2*c+10*a*b^9*c^4-24*a^2*b^11*c-32*a^6*b^3*c^5-38*a^6*b^4*c^4+45*a^2*b^2*c^10-24*a*b^7*c^6-16*a^2*b^3*c^9-24*a^4*b^8*c^2+36*a^4*b^3*c^7+36*a^4*b^5*c^5+10*a^9*b^4*c-24*a^7*b*c^6+18*a*b^12*c+10*a^8*b^3*c^3-32*a^3*b^6*c^5-24*a^11*b*c^2+36*a^7*b^3*c^4-24*a^7*b^5*c^2+45*a^10*b^2*c^2+24*a^5*b*c^8+10*a^4*b*c^9-24*a^8*b^4*c^2-32*a^6*b^5*c^3-24*a*b^2*c^11+10*a^9*b*c^4+36*a^5*b^4*c^5-24*a^8*b^2*c^4+24*a^8*b*c^5+24*a*b^8*c^5+36*a^3*b^4*c^7+10*a^3*b^3*c^8+36*a^7*b^4*c^3+18*a^12*b*c-32*a^5*b^6*c^3-24*a^5*b^7*c^2-24*a^2*b^8*c^4+10*a^3*b^8*c^3-32*a^5*b^3*c^6-24*a^6*b*c^7-32*a^3*b^5*c^6-24*a^6*b^7*c-24*a^2*b*c^11+24*a*b^5*c^8+36*a^5*b^5*c^4+10*a^4*b^9*c-16*a^2*b^9*c^3-24*a^7*b^6*c+24*a^5*b^8*c+78*a^6*b^6*c^2-24*a*b^11*c^2-24*a^2*b^5*c^7-16*a^3*b^9*c^2-24*a^7*b^2*c^5-38*a^4*b^4*c^6-38*a^4*b^6*c^4-24*a^2*b^4*c^8+45*a^2*b^10*c^2-24*a^4*b^2*c^8+(25*a^10+10*a^9*b+10*a^9*c-59*a^8*b^2-38*a^8*b*c-59*a^8*c^2-72*a^7*b^3+40*a^7*b^2*c+40*a^7*b*c^2-72*a^7*c^3+34*a^6*b^4+8*a^6*b^3*c+172*a^6*b^2*c^2+8*a^6*b*c^3+34*a^6*c^4+124*a^5*b^5-20*a^5*b^4*c-104*a^5*b^3*c^2-104*a^5*b^2*c^3-20*a^5*b*c^4+124*a^5*c^5+34*a^4*b^6-20*a^4*b^5*c-98*a^4*b^4*c^2+168*a^4*b^3*c^3-98*a^4*b^2*c^4-20*a^4*b*c^5+34*a^4*c^6-72*a^3*b^7+8*a^3*b^6*c-104*a^3*b^5*c^2+168*a^3*b^4*c^3+168*a^3*b^3*c^4-104*a^3*b^2*c^5+8*a^3*b*c^6-72*a^3*c^7-59*a^2*b^8+40*a^2*b^7*c+172*a^2*b^6*c^2-104*a^2*b^5*c^3-98*a^2*b^4*c^4-104*a^2*b^3*c^5+172*a^2*b^2*c^6+40*a^2*b*c^7-59*a^2*c^8+10*a*b^9-38*a*b^8*c+40*a*b^7*c^2+8*a*b^6*c^3-20*a*b^5*c^4-20*a*b^4*c^5+8*a*b^3*c^6+40*a*b^2*c^7-38*a*b*c^8+10*a*c^9+25*b^10+10*b^9*c-59*b^8*c^2-72*b^7*c^3+34*b^6*c^4+124*b^5*c^5+34*b^4*c^6-72*b^3*c^7-59*b^2*c^8+10*b*c^9+25*c^10)*IJ^4+(-6*a^12-2*a^11*b-2*a^11*c+48*a^10*b^2+18*a^10*b*c+48*a^10*c^2-26*a^9*b^3-38*a^9*b^2*c-38*a^9*b*c^2-26*a^9*c^3-74*a^8*b^4-10*a^8*b^3*c-128*a^8*b^2*c^2-10*a^8*b*c^3-74*a^8*c^4+28*a^7*b^5+108*a^7*b^4*c+152*a^7*b^3*c^2+152*a^7*b^2*c^3+108*a^7*b*c^4+28*a^7*c^5+64*a^6*b^6-76*a^6*b^5*c-48*a^6*b^4*c^2-136*a^6*b^3*c^3-48*a^6*b^2*c^4-76*a^6*b*c^5+64*a^6*c^6+28*a^5*b^7-76*a^5*b^6*c+28*a^5*b^5*c^2+20*a^5*b^4*c^3+20*a^5*b^3*c^4+28*a^5*b^2*c^5-76*a^5*b*c^6+28*a^5*c^7-74*a^4*b^8+108*a^4*b^7*c-48*a^4*b^6*c^2+20*a^4*b^5*c^3-12*a^4*b^4*c^4+20*a^4*b^3*c^5-48*a^4*b^2*c^6+108*a^4*b*c^7-74*a^4*c^8-26*a^3*b^9-10*a^3*b^8*c+152*a^3*b^7*c^2-136*a^3*b^6*c^3+20*a^3*b^5*c^4+20*a^3*b^4*c^5-136*a^3*b^3*c^6+152*a^3*b^2*c^7-10*a^3*b*c^8-26*a^3*c^9+48*a^2*b^10-38*a^2*b^9*c-128*a^2*b^8*c^2+152*a^2*b^7*c^3-48*a^2*b^6*c^4+28*a^2*b^5*c^5-48*a^2*b^4*c^6+152*a^2*b^3*c^7-128*a^2*b^2*c^8-38*a^2*b*c^9+48*a^2*c^10-2*a*b^11+18*a*b^10*c-38*a*b^9*c^2-10*a*b^8*c^3+108*a*b^7*c^4-76*a*b^6*c^5-76*a*b^5*c^6+108*a*b^4*c^7-10*a*b^3*c^8-38*a*b^2*c^9+18*a*b*c^10-2*a*c^11-6*b^12-2*b^11*c+48*b^10*c^2-26*b^9*c^3-74*b^8*c^4+28*b^7*c^5+64*b^6*c^6+28*b^5*c^7-74*b^4*c^8-26*b^3*c^9+48*b^2*c^10-2*b*c^11-6*c^12)*IJ^2+12*b^7*c^7+2*a^11*b^3-2*a^4*c^10+4*a^12*b^2-3*b^8*c^6-4*a*b^13-3*a^8*b^6+4*a^12*c^2+4*b^2*c^12-4*a^9*b^5-2*a^10*c^4-4*a^13*b+2*a^3*c^11-3*a^6*b^8-4*a^13*c+4*b^12*c^2-4*a^9*c^5+12*a^7*b^7+4*a^2*b^12+12*a^7*c^7-4*b*c^13-2*a^4*b^10-4*b^13*c+4*a^2*c^12-3*a^6*c^8-4*a^5*b^9-2*b^10*c^4+2*a^11*c^3+2*b^11*c^3+2*a^3*b^11-4*b^9*c^5-4*b^5*c^9-3*a^8*c^6-2*a^10*b^4-2*b^4*c^10+2*b^3*c^11-3*b^6*c^8-4*a^5*c^9-4*a*c^13+a^14+b^14+c^14＝0

5.    -180*a^9*b^5-4*a*c^13-44*a^7*c^7-2*b^4*c^10+134*a^4*c^10-44*a^7*b^7+4*b^12*c^2-50*a^3*b^11-180*a^5*c^9-50*a^3*c^11+109*a^6*c^8+12*a^2*c^12+12*a^2*b^12-4*a*b^13-50*a^11*c^3+12*a^12*b^2-3*b^8*c^6+134*a^10*b^4+12*a^12*c^2-4*a^13*c-4*a^13*b+109*a^8*c^6-50*a^11*b^3+134*a^4*b^10+109*a^6*b^8+134*a^10*c^4+4*b^2*c^12-4*b^13*c+109*a^8*b^6-180*a^9*c^5-2*b^10*c^4+12*b^7*c^7+2*b^11*c^3-4*b^9*c^5-4*b*c^13-4*b^5*c^9-3*b^6*c^8-180*a^5*b^9+2*b^3*c^11+a^14+b^14+c^14+(a-b-c)^2*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*O1J^4-250*a^3*b^8*c^3-176*a^4*b^8*c^2-56*a*b^10*c^3-24*a^2*b^11*c+56*a^8*b^5*c+740*a^4*b^3*c^7-240*a^5*b^3*c^6+88*a^3*b*c^10+416*a^5*b^8*c+416*a^5*b*c^8+156*a^5*b^4*c^5+456*a^7*b^5*c^2-19*a^2*b^10*c^2-16*a^11*b^2*c+56*a^8*b*c^5-278*a^4*b^4*c^6+456*a^7*b^2*c^5-388*a^7*b^3*c^4+77*a^10*b^2*c^2+32*a^2*b^4*c^8-176*a^4*b^2*c^8-248*a^6*b*c^7+740*a^4*b^7*c^3-32*a^10*b^3*c+110*a^6*b^6*c^2-392*a^8*b^2*c^4-250*a^3*b^3*c^8+156*a^5*b^5*c^4-24*a*b^7*c^6+38*a^9*b*c^4-32*a^10*b*c^3+110*a^6*b^2*c^6+14*a*b*c^12-278*a^4*b^6*c^4-24*a^7*b^6*c+136*a^3*b^9*c^2+14*a*b^12*c-56*a*b^3*c^10-388*a^7*b^4*c^3-278*a^4*b^9*c-284*a^4*b^5*c^5-19*a^2*b^2*c^10+48*a^2*b^3*c^9-40*a^9*b^2*c^3+38*a^9*b^4*c-88*a^2*b^7*c^5+48*a^2*b^9*c^3-16*a^11*b*c^2-152*a^5*b^2*c^7+650*a^8*b^3*c^3-248*a^6*b^7*c-384*a^6*b^3*c^5+78*a^2*b^6*c^6-88*a^2*b^5*c^7+18*a^12*b*c-384*a^6*b^5*c^3-196*a^3*b^4*c^7+70*a*b^4*c^9+32*a^2*b^8*c^4-240*a^5*b^6*c^3-392*a^8*b^4*c^2+136*a^3*b^2*c^9+88*a^3*b^10*c-24*a*b^6*c^7+272*a^3*b^6*c^5-24*a^2*b*c^11-24*a^7*b*c^6+272*a^3*b^5*c^6-152*a^5*b^7*c^2-196*a^3*b^7*c^4-40*a^9*b^3*c^2+826*a^6*b^4*c^4-278*a^4*b*c^9+70*a*b^9*c^4-(2*(a-b-c))*(3*a^11-18*a^10*b-18*a^10*c+46*a^9*b^2+11*a^9*b*c+46*a^9*c^2-67*a^8*b^3+2*a^8*b^2*c+2*a^8*b*c^2-67*a^8*c^3+66*a^7*b^4+84*a^7*b^3*c-188*a^7*b^2*c^2+84*a^7*b*c^3+66*a^7*c^4-56*a^6*b^5-44*a^6*b^4*c+68*a^6*b^3*c^2+68*a^6*b^2*c^3-44*a^6*b*c^4-56*a^6*c^5+56*a^5*b^6-126*a^5*b^5*c+64*a^5*b^4*c^2+12*a^5*b^3*c^3+64*a^5*b^2*c^4-126*a^5*b*c^5+56*a^5*c^6-66*a^4*b^7+92*a^4*b^6*c+200*a^4*b^5*c^2-226*a^4*b^4*c^3-226*a^4*b^3*c^4+200*a^4*b^2*c^5+92*a^4*b*c^6-66*a^4*c^7+67*a^3*b^8-44*a^3*b^7*c-196*a^3*b^6*c^2+108*a^3*b^5*c^3+130*a^3*b^4*c^4+108*a^3*b^3*c^5-196*a^3*b^2*c^6-44*a^3*b*c^7+67*a^3*c^8-46*a^2*b^9+94*a^2*b^8*c-36*a^2*b^7*c^2+4*a^2*b^6*c^3-16*a^2*b^5*c^4-16*a^2*b^4*c^5+4*a^2*b^3*c^6-36*a^2*b^2*c^7+94*a^2*b*c^8-46*a^2*c^9+18*a*b^10-53*a*b^9*c+18*a*b^8*c^2+52*a*b^7*c^3+28*a*b^6*c^4-126*a*b^5*c^5+28*a*b^4*c^6+52*a*b^3*c^7+18*a*b^2*c^8-53*a*b*c^9+18*a*c^10-3*b^11+2*b^10*c+22*b^9*c^2-35*b^8*c^3-2*b^7*c^4+16*b^6*c^5+16*b^5*c^6-2*b^4*c^7-35*b^3*c^8+22*b^2*c^9+2*b*c^10-3*c^11)*O1J^2＝0

6.   -180*a^9*b^5-4*a*c^13+12*a^7*c^7+134*b^4*c^10-2*a^4*c^10-44*a^7*b^7+12*b^12*c^2-50*a^3*b^11-4*a^5*c^9+2*a^3*c^11-3*a^6*c^8+4*a^2*c^12+12*a^2*b^12-4*a*b^13+2*a^11*c^3+12*a^12*b^2+109*b^8*c^6+134*a^10*b^4+4*a^12*c^2-4*a^13*c-4*a^13*b-3*a^8*c^6-50*a^11*b^3+134*a^4*b^10+109*a^6*b^8-2*a^10*c^4+12*b^2*c^12-4*b^13*c+109*a^8*b^6-4*a^9*c^5+134*b^10*c^4-44*b^7*c^7-50*b^11*c^3-180*b^9*c^5-4*b*c^13-180*b^5*c^9+109*b^6*c^8-180*a^5*b^9-50*b^3*c^11+a^14+b^14+c^14+(-b+c+a)^2*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*O2J^4+88*a^10*b^3*c+32*a^8*b^2*c^4+650*a^3*b^8*c^3-16*a^2*b^11*c+77*a^2*b^10*c^2+56*a^5*b^8*c+32*a^4*b^2*c^8-19*a^10*b^2*c^2+272*a^5*b^3*c^6+416*a^8*b^5*c-284*a^5*b^4*c^5-196*a^4*b^3*c^7-24*a^11*b^2*c-88*a^7*b^2*c^5+110*a^6*b^6*c^2-196*a^7*b^3*c^4-32*a*b^10*c^3-388*a^4*b^7*c^3-250*a^3*b^3*c^8-392*a^4*b^8*c^2-152*a^7*b^5*c^2-278*a^4*b^4*c^6-24*a^6*b*c^7-56*a^3*b*c^10-176*a^2*b^4*c^8+156*a^5*b^5*c^4-24*a*b^7*c^6+70*a^9*b*c^4-56*a^10*b*c^3+78*a^6*b^2*c^6+14*a*b*c^12+826*a^4*b^6*c^4-248*a^7*b^6*c-40*a^3*b^9*c^2+18*a*b^12*c+88*a*b^3*c^10+740*a^7*b^4*c^3+38*a^4*b^9*c+156*a^4*b^5*c^5-19*a^2*b^2*c^10+136*a^2*b^3*c^9+48*a^9*b^2*c^3-278*a^9*b^4*c+456*a^2*b^7*c^5-40*a^2*b^9*c^3-88*a^5*b^2*c^7-250*a^8*b^3*c^3-24*a^6*b^7*c+272*a^6*b^3*c^5+110*a^2*b^6*c^6-16*a*b^11*c^2-152*a^2*b^5*c^7+14*a^12*b*c+416*a*b^5*c^8-240*a^6*b^5*c^3+740*a^3*b^4*c^7-278*a*b^4*c^9-392*a^2*b^8*c^4-384*a^5*b^6*c^3-24*a*b^2*c^11-176*a^8*b^4*c^2+56*a*b^8*c^5+48*a^3*b^2*c^9-32*a^3*b^10*c-248*a*b^6*c^7-384*a^3*b^6*c^5-24*a^7*b*c^6-240*a^3*b^5*c^6+456*a^5*b^7*c^2-388*a^3*b^7*c^4+136*a^9*b^3*c^2-278*a^6*b^4*c^4+70*a^4*b*c^9+38*a*b^9*c^4-(2*(-b+c+a))*(3*a^11-18*a^10*b-2*a^10*c+46*a^9*b^2+53*a^9*b*c-22*a^9*c^2-67*a^8*b^3-94*a^8*b^2*c-18*a^8*b*c^2+35*a^8*c^3+66*a^7*b^4+44*a^7*b^3*c+36*a^7*b^2*c^2-52*a^7*b*c^3+2*a^7*c^4-56*a^6*b^5-92*a^6*b^4*c+196*a^6*b^3*c^2-4*a^6*b^2*c^3-28*a^6*b*c^4-16*a^6*c^5+56*a^5*b^6+126*a^5*b^5*c-200*a^5*b^4*c^2-108*a^5*b^3*c^3+16*a^5*b^2*c^4+126*a^5*b*c^5-16*a^5*c^6-66*a^4*b^7+44*a^4*b^6*c-64*a^4*b^5*c^2+226*a^4*b^4*c^3-130*a^4*b^3*c^4+16*a^4*b^2*c^5-28*a^4*b*c^6+2*a^4*c^7+67*a^3*b^8-84*a^3*b^7*c-68*a^3*b^6*c^2-12*a^3*b^5*c^3+226*a^3*b^4*c^4-108*a^3*b^3*c^5-4*a^3*b^2*c^6-52*a^3*b*c^7+35*a^3*c^8-46*a^2*b^9-2*a^2*b^8*c+188*a^2*b^7*c^2-68*a^2*b^6*c^3-64*a^2*b^5*c^4-200*a^2*b^4*c^5+196*a^2*b^3*c^6+36*a^2*b^2*c^7-18*a^2*b*c^8-22*a^2*c^9+18*a*b^10-11*a*b^9*c-2*a*b^8*c^2-84*a*b^7*c^3+44*a*b^6*c^4+126*a*b^5*c^5-92*a*b^4*c^6+44*a*b^3*c^7-94*a*b^2*c^8+53*a*b*c^9-2*a*c^10-3*b^11+18*b^10*c-46*b^9*c^2+67*b^8*c^3-66*b^7*c^4+56*b^6*c^5-56*b^5*c^6+66*b^4*c^7-67*b^3*c^8+46*b^2*c^9-18*b*c^10+3*c^11)*O2J^2＝0


7.     -4*a^9*b^5-4*a*c^13-44*a^7*c^7+134*b^4*c^10+134*a^4*c^10+12*a^7*b^7+12*b^12*c^2+2*a^3*b^11-180*a^5*c^9-50*a^3*c^11+109*a^6*c^8+12*a^2*c^12+4*a^2*b^12-4*a*b^13-50*a^11*c^3+4*a^12*b^2+109*b^8*c^6-2*a^10*b^4+12*a^12*c^2-4*a^13*c-4*a^13*b+109*a^8*c^6+2*a^11*b^3-2*a^4*b^10-3*a^6*b^8+134*a^10*c^4+12*b^2*c^12-4*b^13*c-3*a^8*b^6-180*a^9*c^5+134*b^10*c^4-44*b^7*c^7-50*b^11*c^3-180*b^9*c^5-4*b*c^13-180*b^5*c^9+109*b^6*c^8-4*a^5*b^9-50*b^3*c^11+a^14+b^14+c^14+(-c+a+b)^2*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*O3J^4+740*a^7*b^3*c^4-284*a^5*b^5*c^4-196*a^4*b^7*c^3-384*a^5*b^3*c^6-56*a^10*b^3*c+88*a^10*b*c^3+110*a^6*b^2*c^6-152*a^7*b^2*c^5-176*a^8*b^2*c^4+78*a^6*b^6*c^2+18*a*b*c^12-392*a^2*b^4*c^8-88*a^7*b^5*c^2+156*a^5*b^4*c^5-248*a*b^7*c^6+826*a^4*b^4*c^6-278*a^9*b*c^4-388*a^4*b^3*c^7-250*a^3*b^8*c^3-278*a^4*b^6*c^4-19*a^10*b^2*c^2-19*a^2*b^10*c^2+56*a^5*b*c^8-24*a^6*b*c^7-32*a^3*b*c^10+32*a^4*b^8*c^2-392*a^4*b^2*c^8-24*a^7*b^6*c+650*a^3*b^3*c^8+416*a^8*b*c^5+88*a*b^10*c^3+48*a^3*b^9*c^2+14*a*b^12*c-32*a*b^3*c^10-196*a^7*b^4*c^3+70*a^4*b^9*c+156*a^4*b^5*c^5+77*a^2*b^2*c^10-40*a^2*b^3*c^9+136*a^9*b^2*c^3+70*a^9*b^4*c-152*a^2*b^7*c^5+136*a^2*b^9*c^3-24*a^11*b*c^2+456*a^5*b^2*c^7-250*a^8*b^3*c^3-24*a^6*b^7*c-240*a^6*b^3*c^5+110*a^2*b^6*c^6-24*a*b^11*c^2+456*a^2*b^5*c^7+14*a^12*b*c+56*a*b^5*c^8+272*a^6*b^5*c^3-388*a^3*b^4*c^7+38*a*b^4*c^9-176*a^2*b^8*c^4+272*a^5*b^6*c^3-16*a*b^2*c^11+32*a^8*b^4*c^2+416*a*b^8*c^5-40*a^3*b^2*c^9-56*a^3*b^10*c-24*a*b^6*c^7-240*a^3*b^6*c^5-16*a^2*b*c^11-248*a^7*b*c^6-384*a^3*b^5*c^6-88*a^5*b^7*c^2+740*a^3*b^7*c^4+48*a^9*b^3*c^2-278*a^6*b^4*c^4+38*a^4*b*c^9-278*a*b^9*c^4-(2*(-c+a+b))*(3*a^11-2*a^10*b-18*a^10*c-22*a^9*b^2+53*a^9*b*c+46*a^9*c^2+35*a^8*b^3-18*a^8*b^2*c-94*a^8*b*c^2-67*a^8*c^3+2*a^7*b^4-52*a^7*b^3*c+36*a^7*b^2*c^2+44*a^7*b*c^3+66*a^7*c^4-16*a^6*b^5-28*a^6*b^4*c-4*a^6*b^3*c^2+196*a^6*b^2*c^3-92*a^6*b*c^4-56*a^6*c^5-16*a^5*b^6+126*a^5*b^5*c+16*a^5*b^4*c^2-108*a^5*b^3*c^3-200*a^5*b^2*c^4+126*a^5*b*c^5+56*a^5*c^6+2*a^4*b^7-28*a^4*b^6*c+16*a^4*b^5*c^2-130*a^4*b^4*c^3+226*a^4*b^3*c^4-64*a^4*b^2*c^5+44*a^4*b*c^6-66*a^4*c^7+35*a^3*b^8-52*a^3*b^7*c-4*a^3*b^6*c^2-108*a^3*b^5*c^3+226*a^3*b^4*c^4-12*a^3*b^3*c^5-68*a^3*b^2*c^6-84*a^3*b*c^7+67*a^3*c^8-22*a^2*b^9-18*a^2*b^8*c+36*a^2*b^7*c^2+196*a^2*b^6*c^3-200*a^2*b^5*c^4-64*a^2*b^4*c^5-68*a^2*b^3*c^6+188*a^2*b^2*c^7-2*a^2*b*c^8-46*a^2*c^9-2*a*b^10+53*a*b^9*c-94*a*b^8*c^2+44*a*b^7*c^3-92*a*b^6*c^4+126*a*b^5*c^5+44*a*b^4*c^6-84*a*b^3*c^7-2*a*b^2*c^8-11*a*b*c^9+18*a*c^10+3*b^11-18*b^10*c+46*b^9*c^2-67*b^8*c^3+66*b^7*c^4-56*b^6*c^5+56*b^5*c^6-66*b^4*c^7+67*b^3*c^8-46*b^2*c^9+18*b*c^10-3*c^11)*O3J^2＝0


8.    169*a^32+7400*a^30*b*c+124472*a^26*b^6+124472*a^26*c^6-102892*a^25*b^7-102892*a^25*c^7+6345*a^24*b^8+6345*a^24*c^8-127876*a^23*b^9-127876*a^23*c^9+2120856*a^20*b^11*c-3645684*a^20*b^10*c^2-10785500*a^20*b^9*c^3+28365252*a^20*b^8*c^4-19397824*a^20*b^7*c^5+6517008*a^20*b^6*c^6-19397824*a^20*b^5*c^7+28365252*a^20*b^4*c^8-10785500*a^20*b^3*c^9-3645684*a^20*b^2*c^10+2120856*a^20*b*c^11+1099156*a^19*b^12*c-7046392*a^19*b^11*c^2+20906960*a^19*b^10*c^3-18268836*a^19*b^9*c^4-9385332*a^19*b^8*c^5+12992128*a^19*b^7*c^6+12992128*a^19*b^6*c^7-9385332*a^19*b^5*c^8-18268836*a^19*b^4*c^9+20906960*a^19*b^3*c^10-7046392*a^19*b^2*c^11+1099156*a^19*b*c^12-1956816*a^17*b^14*c+14910836*a^17*b^13*c^2-22913636*a^17*b^12*c^3+2181176*a^17*b^11*c^4+5592252*a^17*b^10*c^5+27149556*a^17*b^9*c^6-24539736*a^17*b^8*c^7-24539736*a^17*b^7*c^8+27149556*a^17*b^6*c^9+5592252*a^17*b^5*c^10+2181176*a^17*b^4*c^11-22913636*a^17*b^3*c^12+14910836*a^17*b^2*c^13-1956816*a^17*b*c^14+2216412*a^16*b^15*c-4233044*a^16*b^14*c^2-20358192*a^16*b^13*c^3+61179370*a^16*b^12*c^4-37326084*a^16*b^11*c^5-5420280*a^16*b^10*c^6-71971020*a^16*b^9*c^7+151664389*a^16*b^8*c^8-71971020*a^16*b^7*c^9-5420280*a^16*b^6*c^10-37326084*a^16*b^5*c^11+61179370*a^16*b^4*c^12-20358192*a^16*b^3*c^13-4233044*a^16*b^2*c^14+2216412*a^16*b*c^15+2216412*a^15*b^16*c-9288416*a^15*b^15*c^2+24354560*a^15*b^14*c^3-18835552*a^15*b^13*c^4-25133040*a^15*b^12*c^5+17402816*a^15*b^11*c^6+69747616*a^15*b^10*c^7-60037200*a^15*b^9*c^8-60037200*a^15*b^8*c^9+69747616*a^15*b^7*c^10+17402816*a^15*b^6*c^11-25133040*a^15*b^5*c^12-18835552*a^15*b^4*c^13+24354560*a^15*b^3*c^14-9288416*a^15*b^2*c^15+2216412*a^15*b*c^16-1956816*a^14*b^17*c-4233044*a^14*b^16*c^2+24354560*a^14*b^15*c^3-39950864*a^14*b^14*c^4+36515376*a^14*b^13*c^5-41896848*a^14*b^12*c^6+74286912*a^14*b^11*c^7-105832280*a^14*b^10*c^8+116037456*a^14*b^9*c^9-105832280*a^14*b^8*c^10+74286912*a^14*b^7*c^11-41896848*a^14*b^6*c^12+36515376*a^14*b^5*c^13-39950864*a^14*b^4*c^14+24354560*a^14*b^3*c^15-4233044*a^14*b^2*c^16-1956816*a^14*b*c^17-1985908*a^13*b^18*c+14910836*a^13*b^17*c^2-20358192*a^13*b^16*c^3-18835552*a^13*b^15*c^4+36515376*a^13*b^14*c^5+50359328*a^13*b^13*c^6-78323984*a^13*b^12*c^7-54806144*a^13*b^11*c^8+72823952*a^13*b^10*c^9+72823952*a^13*b^9*c^10-54806144*a^13*b^8*c^11-78323984*a^13*b^7*c^12+50359328*a^13*b^6*c^13+36515376*a^13*b^5*c^14-18835552*a^13*b^4*c^15-20358192*a^13*b^3*c^16+14910836*a^13*b^2*c^17-1985908*a^13*b*c^18+1099156*a^12*b^19*c-771136*a^12*b^18*c^2-22913636*a^12*b^17*c^3+61179370*a^12*b^16*c^4-25133040*a^12*b^15*c^5-41896848*a^12*b^14*c^6-78323984*a^12*b^13*c^7+245144588*a^12*b^12*c^8-102694816*a^12*b^11*c^9-71506104*a^12*b^10*c^10-102694816*a^12*b^9*c^11+245144588*a^12*b^8*c^12-78323984*a^12*b^7*c^13-41896848*a^12*b^6*c^14-25133040*a^12*b^5*c^15+61179370*a^12*b^4*c^16-22913636*a^12*b^3*c^17-771136*a^12*b^2*c^18+1099156*a^12*b*c^19+2120856*a^11*b^20*c-7046392*a^11*b^19*c^2+12073144*a^11*b^18*c^3+2181176*a^11*b^17*c^4-37326084*a^11*b^16*c^5+17402816*a^11*b^15*c^6+74286912*a^11*b^14*c^7-54806144*a^11*b^13*c^8-102694816*a^11*b^12*c^9+94142464*a^11*b^11*c^10+94142464*a^11*b^10*c^11-102694816*a^11*b^9*c^12-54806144*a^11*b^8*c^13+74286912*a^11*b^7*c^14+17402816*a^11*b^6*c^15-37326084*a^11*b^5*c^16+2181176*a^11*b^4*c^17+12073144*a^11*b^3*c^18-7046392*a^11*b^2*c^19+2120856*a^11*b*c^20-1253692*a^10*b^21*c-3645684*a^10*b^20*c^2+20906960*a^10*b^19*c^3-28890412*a^10*b^18*c^4+5592252*a^10*b^17*c^5-5420280*a^10*b^16*c^6+69747616*a^10*b^15*c^7-105832280*a^10*b^14*c^8+72823952*a^10*b^13*c^9-71506104*a^10*b^12*c^10+94142464*a^10*b^11*c^11-71506104*a^10*b^10*c^12+72823952*a^10*b^9*c^13-105832280*a^10*b^8*c^14+69747616*a^10*b^7*c^15-5420280*a^10*b^6*c^16+5592252*a^10*b^5*c^17-28890412*a^10*b^4*c^18+20906960*a^10*b^3*c^19-3645684*a^10*b^2*c^20-1253692*a^10*b*c^21-965588*a^9*b^22*c+7811208*a^9*b^21*c^2-10785500*a^9*b^20*c^3-18268836*a^9*b^19*c^4+41028664*a^9*b^18*c^5+27149556*a^9*b^17*c^6-71971020*a^9*b^16*c^7-60037200*a^9*b^15*c^8+116037456*a^9*b^14*c^9+72823952*a^9*b^13*c^10-102694816*a^9*b^12*c^11-102694816*a^9*b^11*c^12+72823952*a^9*b^10*c^13+116037456*a^9*b^9*c^14-60037200*a^9*b^8*c^15-71971020*a^9*b^7*c^16+27149556*a^9*b^6*c^17+41028664*a^9*b^5*c^18-18268836*a^9*b^4*c^19-10785500*a^9*b^3*c^20+7811208*a^9*b^2*c^21-965588*a^9*b*c^22+478632*a^8*b^23*c-494028*a^8*b^22*c^2-9597068*a^8*b^21*c^3+28365252*a^8*b^20*c^4-9385332*a^8*b^19*c^5-38395124*a^8*b^18*c^6-24539736*a^8*b^17*c^7+151664389*a^8*b^16*c^8-60037200*a^8*b^15*c^9-105832280*a^8*b^14*c^10-54806144*a^8*b^13*c^11+245144588*a^8*b^12*c^12-54806144*a^8*b^11*c^13-105832280*a^8*b^10*c^14-60037200*a^8*b^9*c^15+151664389*a^8*b^8*c^16-24539736*a^8*b^7*c^17-38395124*a^8*b^6*c^18-9385332*a^8*b^5*c^19+28365252*a^8*b^4*c^20-9597068*a^8*b^3*c^21-494028*a^8*b^2*c^22+478632*a^8*b*c^23+747568*a^7*b^24*c-2620784*a^7*b^23*c^2+4329024*a^7*b^22*c^3+2344112*a^7*b^21*c^4-19397824*a^7*b^20*c^5+12992128*a^7*b^19*c^6+32508880*a^7*b^18*c^7-24539736*a^7*b^17*c^8-71971020*a^7*b^16*c^9+69747616*a^7*b^15*c^10+74286912*a^7*b^14*c^11-78323984*a^7*b^13*c^12-78323984*a^7*b^12*c^13+74286912*a^7*b^11*c^14+69747616*a^7*b^10*c^15-71971020*a^7*b^9*c^16-24539736*a^7*b^8*c^17+32508880*a^7*b^7*c^18+12992128*a^7*b^6*c^19-19397824*a^7*b^5*c^20+2344112*a^7*b^4*c^21+4329024*a^7*b^3*c^22-2620784*a^7*b^2*c^23+747568*a^7*b*c^24-559396*a^6*b^25*c-173756*a^6*b^24*c^2+4981760*a^6*b^23*c^3-8964880*a^6*b^22*c^4+1062880*a^6*b^21*c^5+6517008*a^6*b^20*c^6+12992128*a^6*b^19*c^7-38395124*a^6*b^18*c^8+27149556*a^6*b^17*c^9-5420280*a^6*b^16*c^10+17402816*a^6*b^15*c^11-41896848*a^6*b^14*c^12+50359328*a^6*b^13*c^13-41896848*a^6*b^12*c^14+17402816*a^6*b^11*c^15-5420280*a^6*b^10*c^16+27149556*a^6*b^9*c^17-38395124*a^6*b^8*c^18+12992128*a^6*b^7*c^19+6517008*a^6*b^6*c^20+1062880*a^6*b^5*c^21-8964880*a^6*b^4*c^22+4981760*a^6*b^3*c^23-173756*a^6*b^2*c^24-559396*a^6*b*c^25-68196*a^5*b^26*c+1446928*a^5*b^25*c^2-2911420*a^5*b^24*c^3-2755088*a^5*b^23*c^4+11373392*a^5*b^22*c^5+1062880*a^5*b^21*c^6-19397824*a^5*b^20*c^7-9385332*a^5*b^19*c^8+41028664*a^5*b^18*c^9+5592252*a^5*b^17*c^10-37326084*a^5*b^16*c^11-25133040*a^5*b^15*c^12+36515376*a^5*b^14*c^13+36515376*a^5*b^13*c^14-25133040*a^5*b^12*c^15-37326084*a^5*b^11*c^16+5592252*a^5*b^10*c^17+41028664*a^5*b^9*c^18-9385332*a^5*b^8*c^19-19397824*a^5*b^7*c^20+1062880*a^5*b^6*c^21+11373392*a^5*b^5*c^22-2755088*a^5*b^4*c^23-2911420*a^5*b^3*c^24+1446928*a^5*b^2*c^25-68196*a^5*b*c^26+172784*a^4*b^27*c-508412*a^4*b^26*c^2-780996*a^4*b^25*c^3+4745468*a^4*b^24*c^4-2755088*a^4*b^23*c^5-8964880*a^4*b^22*c^6+2344112*a^4*b^21*c^7+28365252*a^4*b^20*c^8-18268836*a^4*b^19*c^9-28890412*a^4*b^18*c^10+2181176*a^4*b^17*c^11+61179370*a^4*b^16*c^12-18835552*a^4*b^15*c^13-39950864*a^4*b^14*c^14-18835552*a^4*b^13*c^15+61179370*a^4*b^12*c^16+2181176*a^4*b^11*c^17-28890412*a^4*b^10*c^18-18268836*a^4*b^9*c^19+28365252*a^4*b^8*c^20+2344112*a^4*b^7*c^21-8964880*a^4*b^6*c^22-2755088*a^4*b^5*c^23+4745468*a^4*b^4*c^24-780996*a^4*b^3*c^25-508412*a^4*b^2*c^26+172784*a^4*b*c^27-37724*a^3*b^28*c-110888*a^3*b^27*c^2+842080*a^3*b^26*c^3-780996*a^3*b^25*c^4-2911420*a^3*b^24*c^5+4981760*a^3*b^23*c^6+4329024*a^3*b^22*c^7-9597068*a^3*b^21*c^8-10785500*a^3*b^20*c^9+20906960*a^3*b^19*c^10+12073144*a^3*b^18*c^11-22913636*a^3*b^17*c^12-20358192*a^3*b^16*c^13+24354560*a^3*b^15*c^14+24354560*a^3*b^14*c^15-20358192*a^3*b^13*c^16-22913636*a^3*b^12*c^17+12073144*a^3*b^11*c^18+20906960*a^3*b^10*c^19-10785500*a^3*b^9*c^20-9597068*a^3*b^8*c^21+4329024*a^3*b^7*c^22+4981760*a^3*b^6*c^23-2911420*a^3*b^5*c^24-780996*a^3*b^4*c^25+842080*a^3*b^3*c^26-110888*a^3*b^2*c^27-37724*a^3*b*c^28-14604*a^2*b^29*c+94000*a^2*b^28*c^2-110888*a^2*b^27*c^3-508412*a^2*b^26*c^4+1446928*a^2*b^25*c^5-173756*a^2*b^24*c^6-2620784*a^2*b^23*c^7-494028*a^2*b^22*c^8+7811208*a^2*b^21*c^9-3645684*a^2*b^20*c^10-7046392*a^2*b^19*c^11-771136*a^2*b^18*c^12+14910836*a^2*b^17*c^13-4233044*a^2*b^16*c^14-9288416*a^2*b^15*c^15-4233044*a^2*b^14*c^16+14910836*a^2*b^13*c^17-771136*a^2*b^12*c^18-7046392*a^2*b^11*c^19-3645684*a^2*b^10*c^20+7811208*a^2*b^9*c^21-494028*a^2*b^8*c^22-2620784*a^2*b^7*c^23-173756*a^2*b^6*c^24+1446928*a^2*b^5*c^25-508412*a^2*b^4*c^26-110888*a^2*b^3*c^27+94000*a^2*b^2*c^28-14604*a^2*b*c^29+7400*a*b^30*c-14604*a*b^29*c^2-37724*a*b^28*c^3+172784*a*b^27*c^4-68196*a*b^26*c^5-559396*a*b^25*c^6+747568*a*b^24*c^7+478632*a*b^23*c^8-965588*a*b^22*c^9-1253692*a*b^21*c^10+2120856*a*b^20*c^11+1099156*a*b^19*c^12-1985908*a*b^18*c^13-1956816*a*b^17*c^14+2216412*a*b^16*c^15+2216412*a*b^15*c^16-1956816*a*b^14*c^17-1985908*a*b^13*c^18+1099156*a*b^12*c^19+2120856*a*b^11*c^20-1253692*a*b^10*c^21-965588*a*b^9*c^22+478632*a*b^8*c^23+747568*a*b^7*c^24-559396*a*b^6*c^25-68196*a*b^5*c^26+172784*a*b^4*c^27-37724*a*b^3*c^28-14604*a*b^2*c^29+7400*a*b*c^30+169*b^32+169*c^32+10611*a^28-55296*a^27*b-55296*a^27*c+114318*a^26*b^2+252288*a^26*b*c+114318*a^26*c^2-214812*a^25*b^3-308664*a^25*b^2*c-308664*a^25*b*c^2-214812*a^25*c^3+551556*a^24*b^4+97092*a^24*b^3*c-517752*a^24*b^2*c^2+97092*a^24*b*c^3+551556*a^24*c^4-803520*a^23*b^5-942084*a^23*b^4*c+2596644*a^23*b^3*c^2+2596644*a^23*b^2*c^3-942084*a^23*b*c^4-803520*a^23*c^5+297324*a^22*b^6+2468772*a^22*b^5*c-3211974*a^22*b^4*c^2-4237704*a^22*b^3*c^3-3211974*a^22*b^2*c^4+2468772*a^22*b*c^5+297324*a^22*c^6-345168*a^21*b^7-670572*a^21*b^6*c+3023784*a^21*b^5*c^2+181980*a^21*b^4*c^3+181980*a^21*b^3*c^4+3023784*a^21*b^2*c^5-670572*a^21*b*c^6-345168*a^21*c^7+2293218*a^20*b^8-2141316*a^20*b^7*c-5181246*a^20*b^6*c^2-8662788*a^20*b^5*c^3+30448575*a^20*b^4*c^4-8662788*a^20*b^3*c^5-5181246*a^20*b^2*c^6-2141316*a^20*b*c^7+2293218*a^20*c^8-2818908*a^19*b^9-1871100*a^19*b^8*c+6629364*a^19*b^7*c^2+24645816*a^19*b^6*c^3-31450788*a^19*b^5*c^4-31450788*a^19*b^4*c^5+24645816*a^19*b^3*c^6+6629364*a^19*b^2*c^7-1871100*a^19*b*c^8-2818908*a^19*c^9+426546*a^18*b^10+6248232*a^18*b^9*c-10669212*a^18*b^8*c^2+6668244*a^18*b^7*c^3-36523710*a^18*b^6*c^4+73719720*a^18*b^5*c^5-36523710*a^18*b^4*c^6+6668244*a^18*b^3*c^7-10669212*a^18*b^2*c^8+6248232*a^18*b*c^9+426546*a^18*c^10-830952*a^17*b^11-326160*a^17*b^10*c+20164248*a^17*b^9*c^2-33749460*a^17*b^8*c^3-2578500*a^17*b^7*c^4+19280484*a^17*b^6*c^5+19280484*a^17*b^5*c^6-2578500*a^17*b^4*c^7-33749460*a^17*b^3*c^8+20164248*a^17*b^2*c^9-326160*a^17*b*c^10-830952*a^17*c^11+4018599*a^16*b^12-4201416*a^16*b^11*c-14988186*a^16*b^10*c^2-42238260*a^16*b^9*c^3+162856656*a^16*b^8*c^4-91938240*a^16*b^7*c^5-34259004*a^16*b^6*c^6-91938240*a^16*b^5*c^7+162856656*a^16*b^4*c^8-42238260*a^16*b^3*c^9-14988186*a^16*b^2*c^10-4201416*a^16*b*c^11+4018599*a^16*c^12-2893968*a^15*b^13-2207736*a^15*b^12*c+1459944*a^15*b^11*c^2+70842600*a^15*b^10*c^3-80639928*a^15*b^9*c^4-99287424*a^15*b^8*c^5+113916672*a^15*b^7*c^6+113916672*a^15*b^6*c^7-99287424*a^15*b^5*c^8-80639928*a^15*b^4*c^9+70842600*a^15*b^3*c^10+1459944*a^15*b^2*c^11-2207736*a^15*b*c^12-2893968*a^15*c^13+500904*a^14*b^14+3657960*a^14*b^13*c-16860636*a^14*b^12*c^2+55045872*a^14*b^11*c^3-130684860*a^14*b^10*c^4+176924088*a^14*b^9*c^5-133375680*a^14*b^8*c^6+91267776*a^14*b^7*c^7-133375680*a^14*b^6*c^8+176924088*a^14*b^5*c^9-130684860*a^14*b^4*c^10+55045872*a^14*b^3*c^11-16860636*a^14*b^2*c^12+3657960*a^14*b*c^13+500904*a^14*c^14-2893968*a^13*b^15+3657960*a^13*b^14*c+35498736*a^13*b^13*c^2-70975224*a^13*b^12*c^3-44486712*a^13*b^11*c^4+120675312*a^13*b^10*c^5+79405704*a^13*b^9*c^6-121628304*a^13*b^8*c^7-121628304*a^13*b^7*c^8+79405704*a^13*b^6*c^9+120675312*a^13*b^5*c^10-44486712*a^13*b^4*c^11-70975224*a^13*b^3*c^12+35498736*a^13*b^2*c^13+3657960*a^13*b*c^14-2893968*a^13*c^15+4018599*a^12*b^16-2207736*a^12*b^15*c-16860636*a^12*b^14*c^2-70975224*a^12*b^13*c^3+272959578*a^12*b^12*c^4-163949400*a^12*b^11*c^5-114439284*a^12*b^10*c^6-198690840*a^12*b^9*c^7+580621662*a^12*b^8*c^8-198690840*a^12*b^7*c^9-114439284*a^12*b^6*c^10-163949400*a^12*b^5*c^11+272959578*a^12*b^4*c^12-70975224*a^12*b^3*c^13-16860636*a^12*b^2*c^14-2207736*a^12*b*c^15+4018599*a^12*c^16-830952*a^11*b^17-4201416*a^11*b^16*c+1459944*a^11*b^15*c^2+55045872*a^11*b^14*c^3-44486712*a^11*b^13*c^4-163949400*a^11*b^12*c^5+173806992*a^11*b^11*c^6+198840312*a^11*b^10*c^7-215684640*a^11*b^9*c^8-215684640*a^11*b^8*c^9+198840312*a^11*b^7*c^10+173806992*a^11*b^6*c^11-163949400*a^11*b^5*c^12-44486712*a^11*b^4*c^13+55045872*a^11*b^3*c^14+1459944*a^11*b^2*c^15-4201416*a^11*b*c^16-830952*a^11*c^17+426546*a^10*b^18-326160*a^10*b^17*c-14988186*a^10*b^16*c^2+70842600*a^10*b^15*c^3-130684860*a^10*b^14*c^4+120675312*a^10*b^13*c^5-114439284*a^10*b^12*c^6+198840312*a^10*b^11*c^7-259011432*a^10*b^10*c^8+257330304*a^10*b^9*c^9-259011432*a^10*b^8*c^10+198840312*a^10*b^7*c^11-114439284*a^10*b^6*c^12+120675312*a^10*b^5*c^13-130684860*a^10*b^4*c^14+70842600*a^10*b^3*c^15-14988186*a^10*b^2*c^16-326160*a^10*b*c^17+426546*a^10*c^18-2818908*a^9*b^19+6248232*a^9*b^18*c+20164248*a^9*b^17*c^2-42238260*a^9*b^16*c^3-80639928*a^9*b^15*c^4+176924088*a^9*b^14*c^5+79405704*a^9*b^13*c^6-198690840*a^9*b^12*c^7-215684640*a^9*b^11*c^8+257330304*a^9*b^10*c^9+257330304*a^9*b^9*c^10-215684640*a^9*b^8*c^11-198690840*a^9*b^7*c^12+79405704*a^9*b^6*c^13+176924088*a^9*b^5*c^14-80639928*a^9*b^4*c^15-42238260*a^9*b^3*c^16+20164248*a^9*b^2*c^17+6248232*a^9*b*c^18-2818908*a^9*c^19+2293218*a^8*b^20-1871100*a^8*b^19*c-10669212*a^8*b^18*c^2-33749460*a^8*b^17*c^3+162856656*a^8*b^16*c^4-99287424*a^8*b^15*c^5-133375680*a^8*b^14*c^6-121628304*a^8*b^13*c^7+580621662*a^8*b^12*c^8-215684640*a^8*b^11*c^9-259011432*a^8*b^10*c^10-215684640*a^8*b^9*c^11+580621662*a^8*b^8*c^12-121628304*a^8*b^7*c^13-133375680*a^8*b^6*c^14-99287424*a^8*b^5*c^15+162856656*a^8*b^4*c^16-33749460*a^8*b^3*c^17-10669212*a^8*b^2*c^18-1871100*a^8*b*c^19+2293218*a^8*c^20-345168*a^7*b^21-2141316*a^7*b^20*c+6629364*a^7*b^19*c^2+6668244*a^7*b^18*c^3-2578500*a^7*b^17*c^4-91938240*a^7*b^16*c^5+113916672*a^7*b^15*c^6+91267776*a^7*b^14*c^7-121628304*a^7*b^13*c^8-198690840*a^7*b^12*c^9+198840312*a^7*b^11*c^10+198840312*a^7*b^10*c^11-198690840*a^7*b^9*c^12-121628304*a^7*b^8*c^13+91267776*a^7*b^7*c^14+113916672*a^7*b^6*c^15-91938240*a^7*b^5*c^16-2578500*a^7*b^4*c^17+6668244*a^7*b^3*c^18+6629364*a^7*b^2*c^19-2141316*a^7*b*c^20-345168*a^7*c^21+297324*a^6*b^22-670572*a^6*b^21*c-5181246*a^6*b^20*c^2+24645816*a^6*b^19*c^3-36523710*a^6*b^18*c^4+19280484*a^6*b^17*c^5-34259004*a^6*b^16*c^6+113916672*a^6*b^15*c^7-133375680*a^6*b^14*c^8+79405704*a^6*b^13*c^9-114439284*a^6*b^12*c^10+173806992*a^6*b^11*c^11-114439284*a^6*b^10*c^12+79405704*a^6*b^9*c^13-133375680*a^6*b^8*c^14+113916672*a^6*b^7*c^15-34259004*a^6*b^6*c^16+19280484*a^6*b^5*c^17-36523710*a^6*b^4*c^18+24645816*a^6*b^3*c^19-5181246*a^6*b^2*c^20-670572*a^6*b*c^21+297324*a^6*c^22-803520*a^5*b^23+2468772*a^5*b^22*c+3023784*a^5*b^21*c^2-8662788*a^5*b^20*c^3-31450788*a^5*b^19*c^4+73719720*a^5*b^18*c^5+19280484*a^5*b^17*c^6-91938240*a^5*b^16*c^7-99287424*a^5*b^15*c^8+176924088*a^5*b^14*c^9+120675312*a^5*b^13*c^10-163949400*a^5*b^12*c^11-163949400*a^5*b^11*c^12+120675312*a^5*b^10*c^13+176924088*a^5*b^9*c^14-99287424*a^5*b^8*c^15-91938240*a^5*b^7*c^16+19280484*a^5*b^6*c^17+73719720*a^5*b^5*c^18-31450788*a^5*b^4*c^19-8662788*a^5*b^3*c^20+3023784*a^5*b^2*c^21+2468772*a^5*b*c^22-803520*a^5*c^23+551556*a^4*b^24-942084*a^4*b^23*c-3211974*a^4*b^22*c^2+181980*a^4*b^21*c^3+30448575*a^4*b^20*c^4-31450788*a^4*b^19*c^5-36523710*a^4*b^18*c^6-2578500*a^4*b^17*c^7+162856656*a^4*b^16*c^8-80639928*a^4*b^15*c^9-130684860*a^4*b^14*c^10-44486712*a^4*b^13*c^11+272959578*a^4*b^12*c^12-44486712*a^4*b^11*c^13-130684860*a^4*b^10*c^14-80639928*a^4*b^9*c^15+162856656*a^4*b^8*c^16-2578500*a^4*b^7*c^17-36523710*a^4*b^6*c^18-31450788*a^4*b^5*c^19+30448575*a^4*b^4*c^20+181980*a^4*b^3*c^21-3211974*a^4*b^2*c^22-942084*a^4*b*c^23+551556*a^4*c^24-214812*a^3*b^25+97092*a^3*b^24*c+2596644*a^3*b^23*c^2-4237704*a^3*b^22*c^3+181980*a^3*b^21*c^4-8662788*a^3*b^20*c^5+24645816*a^3*b^19*c^6+6668244*a^3*b^18*c^7-33749460*a^3*b^17*c^8-42238260*a^3*b^16*c^9+70842600*a^3*b^15*c^10+55045872*a^3*b^14*c^11-70975224*a^3*b^13*c^12-70975224*a^3*b^12*c^13+55045872*a^3*b^11*c^14+70842600*a^3*b^10*c^15-42238260*a^3*b^9*c^16-33749460*a^3*b^8*c^17+6668244*a^3*b^7*c^18+24645816*a^3*b^6*c^19-8662788*a^3*b^5*c^20+181980*a^3*b^4*c^21-4237704*a^3*b^3*c^22+2596644*a^3*b^2*c^23+97092*a^3*b*c^24-214812*a^3*c^25+114318*a^2*b^26-308664*a^2*b^25*c-517752*a^2*b^24*c^2+2596644*a^2*b^23*c^3-3211974*a^2*b^22*c^4+3023784*a^2*b^21*c^5-5181246*a^2*b^20*c^6+6629364*a^2*b^19*c^7-10669212*a^2*b^18*c^8+20164248*a^2*b^17*c^9-14988186*a^2*b^16*c^10+1459944*a^2*b^15*c^11-16860636*a^2*b^14*c^12+35498736*a^2*b^13*c^13-16860636*a^2*b^12*c^14+1459944*a^2*b^11*c^15-14988186*a^2*b^10*c^16+20164248*a^2*b^9*c^17-10669212*a^2*b^8*c^18+6629364*a^2*b^7*c^19-5181246*a^2*b^6*c^20+3023784*a^2*b^5*c^21-3211974*a^2*b^4*c^22+2596644*a^2*b^3*c^23-517752*a^2*b^2*c^24-308664*a^2*b*c^25+114318*a^2*c^26-55296*a*b^27+252288*a*b^26*c-308664*a*b^25*c^2+97092*a*b^24*c^3-942084*a*b^23*c^4+2468772*a*b^22*c^5-670572*a*b^21*c^6-2141316*a*b^20*c^7-1871100*a*b^19*c^8+6248232*a*b^18*c^9-326160*a*b^17*c^10-4201416*a*b^16*c^11-2207736*a*b^15*c^12+3657960*a*b^14*c^13+3657960*a*b^13*c^14-2207736*a*b^12*c^15-4201416*a*b^11*c^16-326160*a*b^10*c^17+6248232*a*b^9*c^18-1871100*a*b^8*c^19-2141316*a*b^7*c^20-670572*a*b^6*c^21+2468772*a*b^5*c^22-942084*a*b^4*c^23+97092*a*b^3*c^24-308664*a*b^2*c^25+252288*a*b*c^26-55296*a*c^27+10611*b^28-55296*b^27*c+114318*b^26*c^2-214812*b^25*c^3+551556*b^24*c^4-803520*b^23*c^5+297324*b^22*c^6-345168*b^21*c^7+2293218*b^20*c^8-2818908*b^19*c^9+426546*b^18*c^10-830952*b^17*c^11+4018599*b^16*c^12-2893968*b^15*c^13+500904*b^14*c^14-2893968*b^13*c^15+4018599*b^12*c^16-830952*b^11*c^17+426546*b^10*c^18-2818908*b^9*c^19+2293218*b^8*c^20-345168*b^7*c^21+297324*b^6*c^22-803520*b^5*c^23+551556*b^4*c^24-214812*b^3*c^25+114318*b^2*c^26-55296*b*c^27+10611*c^28＝0



9.      -416*a^15*b^5-1040*a*b^12*c^7+1520*a*b^11*c^8-1120*a^16*b^3*c+56*a^14*c^6+776*a^2*b^3*c^15-192*a^9*b^11-12258*a^6*b^4*c^10-59*a^16*b^4-12258*a^4*b^10*c^6-7808*a^8*b^3*c^9+1520*a^11*b^8*c-1040*a^12*b^7*c+34*b^8*c^12+5072*a^9*b^2*c^9-68*a^10*b^10-416*b^5*c^15-1120*a*b^16*c^3+112*a^5*b^2*c^13+5072*a^9*b^9*c^2-1726*a^2*b^8*c^10+56*a^14*b^6-1680*a*b^13*c^6+56*a^6*b^14+8232*a^3*b^7*c^10-3712*a^11*b^5*c^4-192*b^11*c^9-80*a^19*b-4440*a^3*b^12*c^5-12258*a^6*b^10*c^4+4272*a^7*b^6*c^7+8232*a^7*b^10*c^3+416*a^7*b^13-2648*a^3*b^13*c^4+25*a^20+112*a^13*b^2*c^5-7808*a^9*b^8*c^3+2792*a^9*b^5*c^6+456*a^7*b^4*c^9+16252*a^8*b^8*c^4+272*b^3*c^17-192*a^9*c^11+8232*a^10*b^3*c^7-8872*a^8*b^7*c^5+16*(a+b+c)^2*(a-b-c)^2*(-c+a+b)^2*(-b+c+a)^2*(5*a^4-4*a^3*b-4*a^3*c-2*a^2*b^2+4*a^2*b*c-2*a^2*c^2-4*a*b^3+4*a*b^2*c+4*a*b*c^2-4*a*c^3+5*b^4-4*b^3*c-2*b^2*c^2-4*b*c^3+5*c^4)^2*LJ^4+25*b^20+720*a^15*b^4*c-1666*a^4*b^2*c^14+776*a^15*b^3*c^2-416*a^5*b^15+3514*a^6*b^12*c^2-1666*a^14*b^4*c^2-80*a*c^19-1680*a^6*b*c^13-1040*a*b^7*c^12+776*a^15*b^2*c^3-1726*a^8*b^2*c^10-192*b^9*c^11+3514*a^12*b^6*c^2-8872*a^7*b^8*c^5-68*a^10*c^10-22*b^18*c^2+456*a^4*b^9*c^7+272*a^17*b^3-59*b^4*c^16+776*a^3*b^15*c^2+1680*a*b^5*c^14+1680*a^14*b^5*c+40*a^17*b^2*c+1200*a^6*b^8*c^6-320*a^9*b*c^10+3514*a^2*b^12*c^6-1680*a*b^6*c^13+1680*a^5*b*c^14-192*a^11*b^9-1120*a*b^3*c^16+40*a^2*b*c^17+1520*a*b^8*c^11+34*b^12*c^8-2648*a^4*b^3*c^13+1520*a^8*b^11*c+112*a^2*b^13*c^5+1680*a^14*b*c^5+4240*a^3*b^11*c^6-8872*a^7*b^5*c^8-7808*a^3*b^9*c^8-1120*a^3*b^16*c+272*a^3*b^17+56*a^6*c^14+2792*a^9*b^6*c^5+2792*a^6*b^5*c^9+11041*a^4*b^4*c^12+16252*a^4*b^8*c^8-1680*a^13*b^6*c+40*a^17*b*c^2-1726*a^2*b^10*c^8-3712*a^11*b^4*c^5+4240*a^6*b^3*c^11+1680*a^5*b^14*c+2792*a^5*b^9*c^6-4440*a^5*b^12*c^3-192*a^11*c^9-4440*a^5*b^3*c^12+3514*a^12*b^2*c^6-4440*a^3*b^5*c^12+12856*a^10*b^5*c^5-3464*a^7*b^11*c^2+34*a^8*c^12+456*a^9*b^4*c^7-80*a^19*c+416*a^13*b^7-59*b^16*c^4+720*a^4*b*c^15+3514*a^2*b^6*c^12+456*a^9*b^7*c^4-100*a^2*b^2*c^16+4272*a^7*b^7*c^6-59*a^4*c^16+272*a^17*c^3-3712*a^5*b^11*c^4+25*c^20-1726*a^10*b^8*c^2-320*a^10*b^9*c-7808*a^9*b^3*c^8+2496*a^3*b^14*c^3+4240*a^3*b^6*c^11+1200*a^8*b^6*c^6-8872*a^5*b^7*c^8-1120*a^3*b*c^16+280*a^18*b*c-3712*a^4*b^11*c^5-416*a^5*c^15-59*a^4*b^16+720*a*b^4*c^15+2496*a^14*b^3*c^3-3464*a^2*b^11*c^7+456*a^4*b^7*c^9-4440*a^12*b^3*c^5+8232*a^10*b^7*c^3+12856*a^5*b^5*c^10+3514*a^6*b^2*c^12-2648*a^4*b^13*c^3+56*b^14*c^6-80*b*c^19+4272*a^6*b^7*c^7-3712*a^4*b^5*c^11-3464*a^11*b^2*c^7-22*b^2*c^18+272*a^3*c^17-2648*a^13*b^3*c^4-320*a^9*b^10*c-1666*a^2*b^14*c^4-(8*(-c+a+b))*(-b+c+a)*(a+b+c)*(a-b-c)*(7*a^14-36*a^13*b-36*a^13*c+61*a^12*b^2+48*a^12*b*c+61*a^12*c^2-8*a^11*b^3+52*a^11*b^2*c+52*a^11*b*c^2-8*a^11*c^3-97*a^10*b^4+36*a^10*b^3*c-631*a^10*b^2*c^2+36*a^10*b*c^3-97*a^10*c^4+100*a^9*b^5-120*a^9*b^4*c+460*a^9*b^3*c^2+460*a^9*b^2*c^3-120*a^9*b*c^4+100*a^9*c^5+29*a^8*b^6-340*a^8*b^5*c+599*a^8*b^4*c^2-896*a^8*b^3*c^3+599*a^8*b^2*c^4-340*a^8*b*c^5+29*a^8*c^6-112*a^7*b^7+360*a^7*b^6*c+64*a^7*b^5*c^2-312*a^7*b^4*c^3-312*a^7*b^3*c^4+64*a^7*b^2*c^5+360*a^7*b*c^6-112*a^7*c^7+29*a^6*b^8+360*a^6*b^7*c-1210*a^6*b^6*c^2+720*a^6*b^5*c^3+202*a^6*b^4*c^4+720*a^6*b^3*c^5-1210*a^6*b^2*c^6+360*a^6*b*c^7+29*a^6*c^8+100*a^5*b^9-340*a^5*b^8*c+64*a^5*b^7*c^2+720*a^5*b^6*c^3-544*a^5*b^5*c^4-544*a^5*b^4*c^5+720*a^5*b^3*c^6+64*a^5*b^2*c^7-340*a^5*b*c^8+100*a^5*c^9-97*a^4*b^10-120*a^4*b^9*c+599*a^4*b^8*c^2-312*a^4*b^7*c^3+202*a^4*b^6*c^4-544*a^4*b^5*c^5+202*a^4*b^4*c^6-312*a^4*b^3*c^7+599*a^4*b^2*c^8-120*a^4*b*c^9-97*a^4*c^10-8*a^3*b^11+36*a^3*b^10*c+460*a^3*b^9*c^2-896*a^3*b^8*c^3-312*a^3*b^7*c^4+720*a^3*b^6*c^5+720*a^3*b^5*c^6-312*a^3*b^4*c^7-896*a^3*b^3*c^8+460*a^3*b^2*c^9+36*a^3*b*c^10-8*a^3*c^11+61*a^2*b^12+52*a^2*b^11*c-631*a^2*b^10*c^2+460*a^2*b^9*c^3+599*a^2*b^8*c^4+64*a^2*b^7*c^5-1210*a^2*b^6*c^6+64*a^2*b^5*c^7+599*a^2*b^4*c^8+460*a^2*b^3*c^9-631*a^2*b^2*c^10+52*a^2*b*c^11+61*a^2*c^12-36*a*b^13+48*a*b^12*c+52*a*b^11*c^2+36*a*b^10*c^3-120*a*b^9*c^4-340*a*b^8*c^5+360*a*b^7*c^6+360*a*b^6*c^7-340*a*b^5*c^8-120*a*b^4*c^9+36*a*b^3*c^10+52*a*b^2*c^11+48*a*b*c^12-36*a*c^13+7*b^14-36*b^13*c+61*b^12*c^2-8*b^11*c^3-97*b^10*c^4+100*b^9*c^5+29*b^8*c^6-112*b^7*c^7+29*b^6*c^8+100*b^5*c^9-97*b^4*c^10-8*b^3*c^11+61*b^2*c^12-36*b*c^13+7*c^14)*LJ^2-12258*a^10*b^4*c^6+416*a^13*c^7-3464*a^11*b^7*c^2-1666*a^4*b^14*c^2+8232*a^7*b^3*c^10-8872*a^5*b^8*c^7-80*a*b^19+2792*a^6*b^9*c^5+16252*a^8*b^4*c^8+56*b^6*c^14+40*a*b^17*c^2-416*a^15*c^5-100*a^2*b^16*c^2-22*a^18*c^2+112*a^13*b^5*c^2+12856*a^5*b^10*c^5+1200*a^6*b^6*c^8+1680*a*b^14*c^5+2792*a^5*b^6*c^9-416*b^15*c^5+112*a^2*b^5*c^13+720*a*b^15*c^4-7808*a^3*b^8*c^9-22*a^2*c^18-4440*a^12*b^5*c^3+40*a^2*b^17*c+272*b^17*c^3-1040*a^7*b*c^12+776*a^3*b^2*c^15-12258*a^10*b^6*c^4+4240*a^6*b^11*c^3+4240*a^11*b^3*c^6+720*a^15*b*c^4+1520*a^11*b*c^8-1120*a^16*b*c^3-320*a*b^10*c^9+416*b^7*c^13-1680*a^6*b^13*c+112*a^5*b^13*c^2-1680*a^13*b*c^6+5072*a^2*b^9*c^9-320*a*b^9*c^10-1726*a^10*b^2*c^8-1726*a^8*b^10*c^2-2648*a^13*b^4*c^3-80*b^19*c-3464*a^2*b^7*c^11+11041*a^4*b^12*c^4+34*a^8*b^12+4240*a^11*b^6*c^3-22*a^2*b^18-3712*a^5*b^4*c^11-1666*a^2*b^4*c^14+2496*a^3*b^3*c^14+1520*a^8*b*c^11-1666*a^14*b^2*c^4+416*a^7*c^13+11041*a^12*b^4*c^4+34*a^12*b^8+456*a^7*b^9*c^4-1040*a^7*b^12*c+416*b^13*c^7-8872*a^8*b^5*c^7-7808*a^8*b^9*c^3+280*a*b*c^18-68*b^10*c^10+40*a*b^2*c^17-59*a^16*c^4-22*a^18*b^2+280*a*b^18*c-320*a^10*b*c^9+720*a^4*b^15*c+776*a^2*b^15*c^3-12258*a^4*b^6*c^10-2648*a^3*b^4*c^13+34*a^12*c^8-1040*a^12*b*c^7-3464*a^7*b^2*c^11+8232*a^3*b^10*c^7-100*a^16*b^2*c^2＝0