ID: 14.0	Parent: 9.0	Tree
Covered by: 16.0 17.0 x2 -x9^2*x2+1
PDER	VAR\IND x7 x2 x9 x2 0 1 0 x7 1 0 0 x9 0 0 1
FOCUS
	x7^2*x2^4-x2^5*x9^2*x7^2
	x7*x2
	x7
DEP	empty
MAP	x1 x7*x2^2 x2 x2 x3 x9*x7*x2^2
IMAP	x2 x2 x7 x1/x2^2 x9 x3/x1
STACK
WBO (dim: 3)
J
	-x9^2*x2+1	1
c	1
N	empty
(E,a)
	E	a
	x2	2
	x7	1
C	empty
TBO (dim: 3)
J
	-x9^2*x2+1	1
N	empty
E
	x2
	x7
EM
	x2
	x7
C	empty
Covered by: 16.0 17.0 x2 -x9^2*x2+1
ID: 14.0	Parent: 9.0	Tree