ID: 39.0	Parent: 37.0	Tree
Covered by: 41.0 -6*x9-1
PDER	VAR\IND x7 x10 x11 x2 -x9*(6*x7^5*x2^7-x7*x11)+x 9*x10+x11*x9*x7 x9*x7 x9*x7^2 x7 1 0 0 x9 -42*x7^5*x2^6*x9^2+42*x9^3 *x7^6*x2^5*(6*x7^5*x2^7-x7 *x11)-42*x10*x9^3*x7^6*x2^ 5-42*x11*x9^3*x7^7*x2^5 -42*x9^3*x7^7*x2^5 -42*x7^8*x9^3*x2^5 x10 0 1 0 x11 0 0 1
FOCUS
	x7^6*x2^12+x2^6-x7^2*x2^5*x11
	x7*x2
	x7
	x7*x11
	6*x7^5*x2^7-x7*x11
	x10
DEP
	x9*(7*x7^6*x2^6+1)-1
	x10*x7-x7^6*x2^7+x7^2*x11-x2
MAP	x1 x7*x2^2 x2 x2 x3 x7*x11*x2^2
IMAP	x2 x2 x7 x1/x2^2 x9 x2^6/(7*x1^6+x2^6) x10 -1/x2^3*(-x1^6-x2^6+x1*x2*x3)/x1 x11 x3/x1
STACK
WBO (dim: 3)
J
	x10	1
c	1
N	empty
(E,a)
	E	a
	-x7^5*x2^7+x7*x11+x10	3
	x7	3
C	empty
TBO (dim: 3)
J
	x10	1
N	empty
E
	-x7^5*x2^7+x7*x11+x10
	x7
EM
	-x7^5*x2^7+x7*x11+x10
C	empty
SBO (dim: 3)
J
	x10	1
N	empty
H	empty
E
	x7
C	empty
WBO (dim: 2)
J
	-x7^4*x2^7+x11	1
c	1
N
	x10
(E,a)
	E	a
	x7	1
C	empty
TBO (dim: 2)
J
	-x7^4*x2^7+x11	1
N
	x10
E
	x7
EM
	x7
C	empty
SBO (dim: 2)
J
	-x7^4*x2^7+x11	1
N
	x10
H	empty
E	empty
C	empty
Covered by: 41.0 -6*x9-1
ID: 39.0	Parent: 37.0	Tree