ID: 241.0	Parent: 239.0	Tree
Exchanged to: 242.0 3<->x10^3*x11^2*x9^2+2*x8*x11*x10^3+4*x9*x11^2*x10-x9
PDER	VAR\IND x10 x11 x9 x4 x4 0 0 0 1 x8 3/2*x10^2*x11^3*x9^3 (-1/2*x9+3/2*x10^3*x 11^2*x9^2)*x9 -1/2*x11*x9+x11*(-1/ 2*x9+3/2*x10^3*x11^2 *x9^2) 0 x9 0 0 1 0 x10 1 0 0 0 x11 0 1 0 0 x12 -(6*x11*x10^2*(-1/2* x11*x9+x11*(-1/2*x9+ 3/2*x10^3*x11^2*x9^2 ))+9*x11^4*x9^2*x10^ 5+6*x10^2*x9*x11^2+4 *x11^2)*x12^2 -(2*x10^3*(-1/2*x11* x9+x11*(-1/2*x9+3/2* x10^3*x11^2*x9^2))+2 *x11*x10^3*(-x9+9/2* x10^3*x11^2*x9^2)+4* x11*x9*x10^3+8*x11*x 10)*x12^2 -(2*x11*x10^3*(-1/2* x11+x11*(-1/2+3*x9*x 10^3*x11^2))+2*x10^3 *x11^2)*x12^2 0
FOCUS
	x10*x11^4*x9^4*x4^4+x10^3*x11^3*x9^3*x4^4*x8-x8^2*x4^4
	x10*x11*x9
	x11*x9
	x8
	x9
	x10
	3/2*(2*x8*x10^2+x11*x9^2*x10^2+2*x11*x9)*x10^2*x11^3*x9^3+2*x8^2*x10+2*x11*x9^2* x8*x10
	(2*x8*x10^2+x11*x9^2*x10^2+2*x11*x9)*(-1/2*x9+3/2*x10^3*x11^2*x9^2)*x9+x9^2*x8*x 10^2+2*x11*x9^3+2*x9*x8
	(2*x8*x10^2+x11*x9^2*x10^2+2*x11*x9)*(-1/2*x11*x9+x11*(-1/2*x9+3/2*x10^3*x11^2*x 9^2))+2*x11*x9*x8*x10^2+3*x11^2*x9^2+2*x8*x11
	3/2*(-2*x8*x11*x10^3-2*x9*x11^2*x10+x9)*x10^2*x11^3*x9^3-3*x11*x10^2*x8^2-2*x8*x 11^2*x9+x11^3*x9^3
	(-2*x8*x11*x10^3-2*x9*x11^2*x10+x9)*(-1/2*x9+3/2*x10^3*x11^2*x9^2)*x9-x10^3*x8^2 -4*x8*x9*x11*x10+3*x10*x9^3*x11^2
	(-2*x8*x11*x10^3-2*x9*x11^2*x10+x9)*(-1/2*x11*x9+x11*(-1/2*x9+3/2*x10^3*x11^2*x9 ^2))-2*x8*x11^2*x10+x8+3*x11^3*x9^2*x10
	3*x11^4*x9^3*x10^5+3*x10^2*x11^2*x9^2+6*x8*x11*x10^2+4*x11^2*x9
	2*x11*x10^3*(-1/2*x9+3/2*x10^3*x11^2*x9^2)*x9+2*x10^3*x11*x9^2+2*x10^3*x8+8*x10* x11*x9
DEP
	x9^2*x11-x10^3*x11^3*x9^3+2*x8
	x12*(2*x11*x10^3*(-1/2*x11*x9+x11*(-1/2*x9+3/2*x10^3*x11^2*x9^2))+2*x9*x10^3*x11 ^2+4*x11^2*x10-1)-1
MAP	x1 x10*x11*x9*x4 x2 x11*x9*x4 x3 x8*x4 x4 x4
IMAP	x4 x4 x8 x3/x4 x9 -(2*x3*x4^2-x1^3)/x4^2/x2 x10 x1/x2 x11 -x2^2/(2*x3*x4^2-x1^3)*x4 x12 -1/2*(2*x3*x4^2-x1^3)^2/(-2*x3*x4^2*x1^3-x1^6-2*x1*x2^3*x4^2+2*x3^2*x4^4)
STACK
WBO (dim: 4)
J
	4*x11^2*x10-1+x11^4*x9^2*x10^6	1
c	1
N	empty
(E,a)
	E	a
	x4	3
	x11	1
	x9	0
C	empty
TBO (dim: 4)
J
	4*x11^2*x10-1+x11^4*x9^2*x10^6	1
N	empty
E
	x4
	x11
	x9
EM
	x4
	x11
	x9
C	empty
SBO (dim: 4)
J
	4*x11^2*x10-1+x11^4*x9^2*x10^6	1
N	empty
H	empty
E	empty
C	empty
Exchanged to: 242.0 3<->x10^3*x11^2*x9^2+2*x8*x11*x10^3+4*x9*x11^2*x10-x9
ID: 241.0	Parent: 239.0	Tree