ID: 160.0	Parent: 156.0	Tree
Exchanged to: 161.0 1<->x9^6*x3^5*x8^4-x8^2*x3+x9
PDER	VAR\IND x9 x8 x3 x3 0 0 1 x8 0 1 0 x9 1 0 0 x10 -30*x9^4*x3^5*x8^4*x10^2 -24*x9^5*x3^5*x8^3*x10^2 -30*x9^5*x3^4*x8^4*x10^2
FOCUS
	x9^6*x8^6*x3^12-x8^4*x3^8+x9*x8^2*x3^7
	x8*x3
	x9*x8*x3
	x9*x8
	x8
	x9
DEP
	x10*(6*x9^5*x3^5*x8^4+1)-1
MAP	x1 x9*x8*x3^2 x2 x8*x3^2 x3 x3
IMAP	x3 x3 x8 x2/x3^2 x9 x1/x2 x10 x2*x3^3/(6*x1^5+x2*x3^3)
STACK
WBO (dim: 3)
J
	x9^6*x3^5*x8^4-x8^2*x3+x9	1
c	1
N	empty
(E,a)
	E	a
	x3	5
	x8	1
C	empty
TBO (dim: 3)
J
	x9^6*x3^5*x8^4-x8^2*x3+x9	1
N	empty
E
	x3
	x8
EM
	x3
	x8
C	empty
SBO (dim: 3)
J
	x9^6*x3^5*x8^4-x8^2*x3+x9	1
N	empty
H	empty
E	empty
C	empty
Exchanged to: 161.0 1<->x9^6*x3^5*x8^4-x8^2*x3+x9
ID: 160.0	Parent: 156.0	Tree