ID: 754.0	Parent: 751.0	Tree
Covered by: 755.0 x20-1
PDER	VAR\IND x20-1 x18 x3 x12 x3 0 0 1 0 x12 0 0 0 1 x18 0 1 0 0 x20 1 0 0 0
FOCUS
	x20^11*x18^24*x3^6*x12^6-x12^6*x20^12*x18^24*x3^6
	x18^2*x20
	x18^11*x12^3*x20^5
	x18^7*x12^3*x20^3
	x18^7*x12^2*x20^3
	x20^2*x18^5*x12^2
	x18^3*x12^2*x20
	x18^3*x12*x20
	x18*x12
	x18
	x20*x18
	x20
DEP	empty
MAP	x1 x20*x18^2*x3 x2 x18^11*x12^3*x20^5*x3 x3 x3 x4 x12*x20^2*x18^4*x3
IMAP	x3 x3 x12 x4/x1^2*x3 x18 1/x4^3*x2*x3*x1 x20 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
	-x20+1	1
c	1
N	empty
(E,a)
	E	a
	x3	5
	x20	6
	x12	3
	x18	12
C	empty
TBO (dim: 4)
J
	-x20+1	1
N	empty
E
	x3
	x20
	x12
	x18
EM
	x3
	x20
	x12
C	empty
SBO (dim: 4)
J
	-x20+1	1
N	empty
H	empty
E
	x18
C	empty
Covered by: 755.0 x20-1
ID: 754.0	Parent: 751.0	Tree