ID: 288.0	Parent: 4.0	Tree
Covered by: 292.0 293.0 294.0 295.0 x11*x10 x11*x9 x10*x9 x9*x10*x11-1
PDER	VAR\IND x6 x9 x10 x11 x6 1 0 0 0 x9 0 1 0 0 x10 0 0 1 0 x11 0 0 0 1
FOCUS
	x9*x6^6*x11^4*x10-x6^6*x11^3
	x6
	x9*x6
	x10*x6
DEP	empty
MAP	x1 x6^2*x11 x2 x9*x6^2*x11 x3 x10*x6^2*x11 x4 x11*x6
IMAP	x6 x1/x4 x9 x2/x1 x10 x3/x1 x11 x4^2/x1
STACK
WBO (dim: 4)
J
	x9*x10*x11-1	1
c	1
N	empty
(E,a)
	E	a
	x11	2
	x6	4
C	empty
TBO (dim: 4)
J
	x9*x10*x11-1	1
N	empty
E
	x11
	x6
EM
	x11
	x6
C	empty
SBO (dim: 4)
J
	x9*x10*x11-1	1
N	empty
H	empty
E	empty
C	empty
Covered by: 292.0 293.0 294.0 295.0 x11*x10 x11*x9 x10*x9 x9*x10*x11-1
ID: 288.0	Parent: 4.0	Tree