b2, b3, b4, b5, a32, a42, a43, a52, a53, a54, c4, c2, c3, c5, 
2*b2*c2+2*b3*c3+2*b4*c4+2*b5*c5-1
3*b2*c2^2+3*b3*c3^2+3*b4*c4^2+3*b5*c5^2-1
6*a32*b3*c2+6*a42*b4*c2+6*a43*b4*c3+6*a52*b5*c2+6*a53*b5*c3+6*a54*b5*c4-1
4*b2*c2^3+4*b3*c3^3+4*b4*c4^3+4*b5*c5^3-1
8*a32*b3*c2*c3+8*a42*b4*c2*c4+8*a43*b4*c3*c4+8*a52*b5*c2*c5+8*a53*b5*c3*c5+8*a54*b5*c4*c5-1
12*a32*b3*c2^2+12*a42*b4*c2^2+12*a43*b4*c3^2+12*a52*b5*c2^2+12*a53*b5*c3^2+12*a54*b5*c4^2-1
24*a32*a43*b4*c2+24*a32*a53*b5*c2+24*a42*a54*b5*c2+24*a43*a54*b5*c3-1
5*b2*c2^4+5*b3*c3^4+5*b5*c5^4+5*b4*c4^3-1
10*a32*b3*c2*c3^2+10*a42*b4*c2*c4^2+10*a43*b4*c3*c4^2+10*a52*b5*c2*c5^2+10*a53*b5*c3*c5^2+10*a54*b5*c4*c5^2-1
15*a32*b3*c2^2*c3+15*a42*b4*c2^2*c4+15*a43*b4*c3^2*c4+15*a52*b5*c2^3+15*a53*b5*c3^2*c5+15*a54*b5*c4^2*c5-1
30*a32*a43*b4*c2*c4+30*a32*a53*b5*c2*c5+30*a42*a54*b5*c2*c5+30*a43*a54*b5*c3*c5-1
20*a32^2*b3*c2^2+20*a42^2*b4*c2^2+40*a42*a43*b4*c2*c3+20*a43^2*b4*c3^2+20*a52^2*b5*c2^2+40*a52*a53*b5*c2*c3+40*a52*a54*b5*c2*c4+20*a53^2*b5*c3^2+40*a53*a54*b5*c3*c4+20*a54^2*b5*c4^2-1
20*a32*b3*c2^3+20*a42*b4*c2^3+20*a43*b4*c3^3+20*a52*b5*c2^3+20*a53*b5*c3^3+20*a54*b5*c4^3-1
40*a32*a43*b4*c2*c3+40*a32*a53*b5*c2*c3+40*a42*a54*b5*c2*c4+40*a43*a54*b5*c3*c4-1
60*a32*a43*b4*c2^2+60*a32*a53*b5*c2^2+60*a42*a54*b5*c2^2+60*a43*a54*b5*c3^2-1
120*a32*a43*a54*b5*c2-1
