ID: 11.0	Parent: 8.0	Tree
Exchanged to: 13.0 2<->x12^6*x11*x9^4-1
PDER	VAR\IND x1 x11 x9 x12 x1 1 0 0 0 x9 0 0 1 0 x11 0 1 0 0 x12 0 0 0 1 x13 0 0 -4*x12^6*x9^3*x13^2 -6*x12^5*x9^4*x13^2
FOCUS
	x1^6*x11^5*x9^8-x12^6*x9^12*x11^6*x1^6
DEP
	x13*x12^6*x9^4-1
MAP	x1 x1 x2 x11*x9*x1 x3 x9^2*x11*x1 x4 x12*x9^2*x11*x1
IMAP	x1 x1 x9 x3/x2 x11 x2^2/x1/x3 x12 x4/x3 x13 1/x4^6*x3^2*x2^4
STACK
WBO (dim: 4)
J
	-x12^6*x11*x9^4+1	1
c	1
N	empty
(E,a)
	E	a
	x1	5
	x11	4
C	empty
TBO (dim: 4)
J
	-x12^6*x11*x9^4+1	1
N	empty
E
	x1
	x11
EM
	x1
	x11
C	empty
SBO (dim: 4)
J
	-x12^6*x11*x9^4+1	1
N	empty
H	empty
E	empty
C	empty
Exchanged to: 13.0 2<->x12^6*x11*x9^4-1
ID: 11.0	Parent: 8.0	Tree