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