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