ID: 164.0	Parent: 50.0	Tree
Covered by: 167.0 168.0 x17*x16 x17*x16*x13-1
PDER	VAR\IND x1 x16 x13 x17 x1 1 0 0 0 x13 0 0 1 0 x16 0 1 0 0 x17 0 0 0 1
FOCUS
	x1^6*x16^5*x13^35*x17^11-x17^12*x13^36*x16^6*x1^6
	x13^3*x17
	x16*x13^2
	x13
	x16*x13
	x17*x13
DEP	empty
MAP	x1 x1 x2 x16*x13^4*x17*x1 x3 x13^9*x17^3*x16*x1 x4 x17^2*x13^6*x16*x1
IMAP	x1 x1 x13 x3/x4^2*x2 x16 x4^3/x1/x3^2 x17 x4^5/x2^3/x3^2
STACK
WBO (dim: 4)
J
	-x17*x16*x13+1	1
c	1
N	empty
(E,a)
	E	a
	x1	5
	x16	4
	x17	5
	x13	19
C	empty
TBO (dim: 4)
J
	-x17*x16*x13+1	1
N	empty
E
	x1
	x16
	x17
	x13
EM
	x1
	x16
	x17
C	empty
SBO (dim: 4)
J
	-x17*x16*x13+1	1
N	empty
H	empty
E
	x13
C	empty
Covered by: 167.0 168.0 x17*x16 x17*x16*x13-1
ID: 164.0	Parent: 50.0	Tree