ID: 283.0	Parent: 282.0	Tree
Covered by: 290.0 291.0 x19^2 x14*x19^2-1
PDER	VAR\IND x1 x18 x14 x19 x1 1 0 0 0 x14 0 0 1 0 x18 0 1 0 0 x19 0 0 0 1
FOCUS
	x1^6*x18^18*x14^23*x19^16-x19^18*x18^18*x14^24*x1^6
	x19^3*x18^4*x14^4
	x18^3*x14^3*x19^2
	x14^2*x19*x18
	x18^2*x14^2*x19
	x14
	x19*x18^2*x14
	x18*x14
	x18
DEP	empty
MAP	x1 x1 x2 x18^6*x14^7*x19^5*x1 x3 x19^2*x18^2*x14^3*x1 x4 x19^3*x18^3*x14^4*x1
IMAP	x1 x1 x14 x3^3/x1/x4^2 x18 x2/x4/x3*x1 x19 x4^4/x3^3/x2
STACK
WBO (dim: 4)
J
	-x14*x19^2+1	1
c	1
N	empty
(E,a)
	E	a
	x1	5
	x19	11
	x14	16
	x18	12
C	empty
TBO (dim: 4)
J
	-x14*x19^2+1	1
N	empty
E
	x1
	x19
	x14
	x18
EM
	x1
	x19
	x14
	x18
C	empty
SBO (dim: 4)
J
	-x14*x19^2+1	1
N	empty
H	empty
E	empty
C	empty
Covered by: 290.0 291.0 x19^2 x14*x19^2-1
ID: 283.0	Parent: 282.0	Tree