ID: 222.0	Parent: 213.0	Tree
Exchanged to: 224.0 2<->-8*x17*x15+x16*x12-2*x17*x12
PDER	VAR\IND x12 x15 x18 x4 x4 0 0 0 1 x8 (3/2*x12^4*x15^2-1/2 *x16*x12^4*x15^2)*x1 5*x12-x16*x15^3*x12^ 5+x15*(-x16*x12^5*x1 5^2+x12*(3/2*x12^4*x 15^2-1/2*x16*x12^4*x 15^2)) (-x16*x12^5*x15^2+x1 2*(3/2*x12^4*x15^2-1 /2*x16*x12^4*x15^2)) *x12-1/2*x18*x17*x12 ^6*x15^3 -1/2*x17*x12^6*x15^4 0 x12 1 0 0 0 x15 0 1 0 0 x16 0 x18*x17 x17*x15 0 x17 0 -2*x17^3*x18 -2*x17^3*x15 0 x18 0 0 1 0 x19 -(x18*x17+4*x17^3*x1 8)*x19^2 -(16*x17^3*x18-2*(-8 +x12*x18-6*(-8*x15-2 *x12)*x17^2*x18)*x17 ^3*x18)*x19^2 -(-2*(-8+x12*x18-6*( -8*x15-2*x12)*x17^2* x18)*x17^3*x15+x17*x 12-2*(-8*x15-2*x12)* x17^3)*x19^2 0
FOCUS
	x12^11*x15^7*x4^4+x12^6*x15^3*x4^4*x8-x8^2*x4^4
	x12^2*x15
	x12^3*x15^2
	x8
	x16*x12^4*x15^2
	x16*x12^3*x15
	x12
	x16*x12^2
	x16*x12
	x15
	(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2)*x15*x12-x16*x15^3*x12^5+x15*(-x16*x12^5*x1 5^2+x12*(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2))
	-1/2*x12^6*x15^3
	x18
	x12
DEP
	x15^3*x12^6*x16-x12^6*x15^3+2*x8
	2*x17*x16-1
	x15*x18-x16^2+1
	x19*(-8*x17+x18*x17*x12-2*(-8*x15-2*x12)*x17^3*x18)-1
MAP	x1 x12^2*x15*x4 x2 x15^2*x12^3*x4 x3 x8*x4 x4 x4
IMAP	x4 x4 x8 x3/x4 x12 x1^2/x2/x4 x15 x4/x1^3*x2^2 x16 -(2*x3*x4^2-x1^3)/x1^3 x17 -1/2*x1^3/(2*x3*x4^2-x1^3) x18 4*x3*x4*(x3*x4^2-x1^3)/x1^3/x2^2 x19 -1/4/x1^2*x2^3*(2*x3*x4^2-x1^3)^3/(-2*x1*x2^3*x3^2*x4^4+2*x1^4*x2^3*x3*x4^2-x1^7 *x2^3+2*x3^4*x4^6-4*x3^3*x4^4*x1^3+3*x3^2*x4^2*x1^6-x3*x1^9)
STACK
WBO (dim: 4)
J
	4-x12*x18	1
c	1
N	empty
(E,a)
	E	a
	x4	3
	x12	1
	x15	1
C	empty
TBO (dim: 4)
J
	4-x12*x18	1
N	empty
E
	x4
	x12
	x15
EM
	x4
C	empty
SBO (dim: 4)
J
	4-x12*x18	1
N	empty
H	empty
E
	x12
	x15
C	empty
Exchanged to: 224.0 2<->-8*x17*x15+x16*x12-2*x17*x12
ID: 222.0	Parent: 213.0	Tree