14
b2 b3 b4 b5 c2 c3 c4 c5 a32 a42 a43 a52 a53 a54 


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 b3 a32 c2 + 6 b4 a42 c2 + 6 b4 a43 c3 + 6 b5 a52 c2 +
				6 b5 a53 c3 + 6 b5 a54 c4 -1	;

4 b2 c2^3 + 4 b3 c3^3 + 4 b4 c4^3 + 4 b5 c5^3 -1;

8 b3 c3 a32 c2 + 8 b4 c4 a42 c2 + 8 b4 c4 a43 c3 +
			8 b5 c5 a52 c2 + 8 b5 c5 a53 c3 + 8 b5 c5 a54 c4 - 1;

12 b3 a32 c2^2 + 12 b4 a42 c2^2 + 12 b4 a43 c3^2 + 12 b5 a52 c2^2 +
					12 b5 a53 c3^2 + 12 b5 a54 c4^2 - 1;

24 b4 a43 a32 c2 + 24 b5 a53 a32 c2 + 24 b5 a54 a42 c2 + 
						24 b5 a54 a43 c3 - 1;

5 b2 c2^4 + 5 b3 c3^4 + 5 b4 c4^4 + 5 b5 c5^4 - 1;

10 b3 c3^2 a32 c2 + 10 b4 c4^2 a42 c2 + 10 b4 c4^2 a43 c3 +
	10 b5 c5^2 a52 c2 + 10 b5 c5^2 a53 c3 + 10 b5 c5^2 a54 c4 -1;

15 b3 c2^2 a32 c3 + 15 b4 c2^2 a42 c4 + 15 b4 c3^2 a43 c4 +
	15 b5 c2^2 a52 c5 + 15 b5 c3^2 a53 c5 + 15 b5 c4^2 a54 c5 -1 ;

30 b4 c4 a43 a32 c2 + 30 b5 c5 a53 a32 c2 + 30 b5 c5 a54 a42 c2 +
						30 b5 c5 a54 a43 c3 -1;

20 b3 a32^2 c2^2 + 20 b4 a42^2 c2^2 + 40 b4 a42 c2 a43 c3 +
	20 b4 a43^2 c3^2 + 20 b5 a52^2 c2^2 + 20 b5 a53^2 c3^2 +
	20 b5 a54^2 c4^2 + 40 b5 a52 c2 a53 c3 + 40 b5 a52 c2 a54 c4 +
	40 b5 a53 c3 a54 c4 - 1;

20 b3 a32 c2^3 + 20 b4 a42 c2^3 + 20 b4 a43 c3^3 + 20 b5 a52 c2^3 +
	20 b5 a53 c3^3 + 20 b5 a54 c4^3 - 1;

40 b4 a43 c3 a32 c2 + 40 b5 a53 c3 a32 c2 + 40 b5 a54 c4 a42 c2 +
	40 b5 a54 c4 a43 c3 - 1;

60 b4 a43 a32 c2^2 + 60 b5 a53 a32 c2^2 + 60 b5 a54 a42 c2^2 +
	60 b5 a54 a43 c3^2 -1;

120 b5 a54 a43 a32 c2 - 1;;	


	

/* Hairer, Runge-Kutta 3, 05.11.83
** Found in "Some examples for Solving Systems of Algebraic Equations
** by Calculating Grobner Bases", by Boege, Gebauer and Kredel.
**  J. of Symbolic Computation (1986) 1,83-98.
*/
