ID: 109.0	Parent: 104.0	Tree
Exchanged to: 112.0 4<->x16*x15-x16+x15^2*x13
PDER	VAR\IND x17 x16 x3 x13 x3 0 0 1 0 x13 0 0 0 1 x15 -x15^2*x13 0 0 -x17*x15^2 x16 0 1 0 0 x17 1 0 0 0 x18 -(-(2*x15-2*x15^2*x1 3*x17-2*(x16+2*x15*x 13)*x17*x15)*x15^2*x 13-(x16+2*x15*x13)*x 15^2)*x18^2 x17*x15^2*x18^2 0 -(-2*x15^3*x17-(2*x1 5-2*x15^2*x13*x17-2* (x16+2*x15*x13)*x17* x15)*x17*x15^2)*x18^ 2
FOCUS
	x13^14*x17^5*x16^9*x3^4+x13^15*x17^6*x16^9*x3^4-x3^4*x13^14*x16^8*x17^4
	x13^5*x17^2*x16^3
	x16^2*x13^3*x17
	x13^4*x16^2*x17
	x13^2*x17*x16
	x13^2*x16
	x13
	x13*x17
	x13*x17
	x13
	x15^2*x13+x16
	x17
	-(x16+2*x15*x13)*x15^2*x13
DEP
	x15*(x13*x17+1)-1
	x18*(x15^2-(x16+2*x15*x13)*x17*x15^2)-1
MAP	x1 x13^5*x17^2*x16^3*x3 x2 x16^2*x13^3*x17*x3 x3 x3 x4 x13^7*x16^4*x17^2*x3
IMAP	x3 x3 x13 x4/x2^2*x3 x15 x2^3/(x1^2*x3+x2^3) x16 x2^4/x3^2/x1/x4 x17 x1^2/x2/x4 x18 -x3^2*x4^2*(x1^2*x3+x2^3)^3/x2^6/(x3^3*x4^2*x1^2-x3^2*x4^2*x2^3+x2^3*x1^3*x3+x1* x2^6)
STACK
WBO (dim: 4)
J
	x13*x17^2*x16+x17*x16-1	1
c	1
N	empty
(E,a)
	E	a
	x3	3
	x17	2
	x16	4
	x13	7
C	empty
TBO (dim: 4)
J
	x13*x17^2*x16+x17*x16-1	1
N	empty
E
	x3
	x17
	x16
	x13
EM
	x3
	x17
	x16
	x13
C	empty
SBO (dim: 4)
J
	x13*x17^2*x16+x17*x16-1	1
N	empty
H	empty
E	empty
C	empty
Exchanged to: 112.0 4<->x16*x15-x16+x15^2*x13
ID: 109.0	Parent: 104.0	Tree