ID: 22.0	Parent: 15.0	Tree
Covered by: 25.0 26.0 27.0 x10 x2 x11^2*x2-1
PDER	VAR\IND x11 x2 x10 x2 0 1 0 x10 0 0 1 x11 1 0 0
FOCUS
	x2^8*x11^2*x10^2-x2^7*x10^2
	x2^3*x11*x10
	x2^2*x11*x10
	x2*x11
DEP	empty
MAP	x1 x2^4*x11*x10 x2 x2 x3 x2^3*x10
IMAP	x2 x2 x10 x3/x2^3 x11 x1/x3/x2
STACK
WBO (dim: 3)
J
	x11^2*x2-1	1
c	1
N	empty
(E,a)
	E	a
	x10	1
	x2	3
C	empty
TBO (dim: 3)
J
	x11^2*x2-1	1
N	empty
E
	x10
	x2
EM
	x10
C	empty
SBO (dim: 3)
J
	x11^2*x2-1	1
N	empty
H	empty
E
	x2
C	empty
WBO (dim: 2)
J
	x11^2*x2-1	1
c	1
N
	x10
(E,a)
	E	a
	x2	0
C	empty
TBO (dim: 2)
J
	x11^2*x2-1	1
N
	x10
E
	x2
EM
	x2
C	empty
Covered by: 25.0 26.0 27.0 x10 x2 x11^2*x2-1
ID: 22.0	Parent: 15.0	Tree