ID: 39.0	Parent: 33.0	Tree
Covered by: 42.0 43.0 x13^2*x14+x13*x14^2 x11*x13^2*x14+x13*x14^2*x11-1
PDER	VAR\IND x13 x14 x3 x11 x3 0 0 1 0 x11 0 0 0 1 x13 1 0 0 0 x14 0 1 0 0
FOCUS
	x11^9*x13^5*x14^4*x3^4+x11^9*x13^6*x14^3*x3^4-x3^4*x11^8*x13^4*x14^2
	x11^3*x13^2*x14
	x11^2*x14*x13
	x11^2*x13
	x11*x13
	x11
DEP	empty
MAP	x1 x11^3*x13^2*x14*x3 x2 x11^2*x14*x13*x3 x3 x3 x4 x11^4*x13^2*x14*x3
IMAP	x3 x3 x11 x4/x1 x13 x1^2/x2/x4 x14 x2^2/x3/x4
STACK
WBO (dim: 4)
J
	x11*x13^2*x14+x13*x14^2*x11-1	1
c	1
N	empty
(E,a)
	E	a
	x3	3
	x14	1
	x13	2
	x11	4
C	empty
TBO (dim: 4)
J
	x11*x13^2*x14+x13*x14^2*x11-1	1
N	empty
E
	x3
	x14
	x13
	x11
EM
	x3
	x14
	x13
	x11
C	empty
SBO (dim: 4)
J
	x11*x13^2*x14+x13*x14^2*x11-1	1
N	empty
H	empty
E	empty
C	empty
Covered by: 42.0 43.0 x13^2*x14+x13*x14^2 x11*x13^2*x14+x13*x14^2*x11-1
ID: 39.0	Parent: 33.0	Tree