ID: 617.0	Parent: 596.0	Tree
Covered by: 619.0 620.0 x23^3 x23^3*x22-1
PDER	VAR\IND x18 x2 x23 x22 x2 0 1 0 0 x18 1 0 0 0 x22 0 0 0 1 x23 0 0 1 0
FOCUS
	x18^66*x22^31*x2^6*x23^3-x18^66*x22^30*x2^6
	x18^9*x22^4
	x23*x22^4*x18^8
	x18^7*x22^3
	x23*x22^3*x18^6
	x18^5*x22^2
	x23*x22^2*x18^4
	x18^3*x22
	x23*x22*x18^2
	x18
	x23*x18*x22
	x23*x22
DEP	empty
MAP	x1 x18^9*x22^4*x2 x2 x2 x3 x23*x22^9*x18^19*x2 x4 x18^11*x22^5*x2
IMAP	x2 x2 x18 x1^5/x2/x4^4 x22 x4^9/x1^11*x2^2 x23 x3/x4^5*x1^4
STACK
WBO (dim: 4)
J
	x23^3*x22-1	1
c	1
N	empty
(E,a)
	E	a
	x2	5
	x18	47
	x22	21
C	empty
TBO (dim: 4)
J
	x23^3*x22-1	1
N	empty
E
	x2
	x18
	x22
EM
	x2
	x18
	x22
C	empty
SBO (dim: 4)
J
	x23^3*x22-1	1
N	empty
H	empty
E	empty
C	empty
Covered by: 619.0 620.0 x23^3 x23^3*x22-1
ID: 617.0	Parent: 596.0	Tree