ID: 335.0	Parent: 273.0	Tree
Covered by: 337.0 338.0 x21^2 x18*x21^2-1
PDER	VAR\IND x1 x19 x18 x21 x1 1 0 0 0 x18 0 0 1 0 x19 0 1 0 0 x21 0 0 0 1
FOCUS
	x1^6*x19^30*x18^35*x21^28-x19^30*x21^30*x18^36*x1^6
	x19^5*x18^5*x21^4
	x19^4*x18^4*x21^3
	x18^4*x19^3*x21^3
	x19^3*x18^3*x21^2
	x18^3*x19^2*x21^2
	x19^2*x18^2*x21
	x18^2*x19*x21
	x19*x18
	x18
	x19
DEP	empty
MAP	x1 x1 x2 x19^9*x18^10*x21^8*x1 x3 x18^5*x19^4*x21^4*x1 x4 x19^5*x21^5*x18^6*x1
IMAP	x1 x1 x18 x3^5/x1/x4^4 x19 x2/x3^2*x1 x21 x4^5/x3^4/x2
STACK
WBO (dim: 4)
J
	-x18*x21^2+1	1
c	1
N	empty
(E,a)
	E	a
	x1	5
	x21	20
	x18	25
	x19	21
C	empty
TBO (dim: 4)
J
	-x18*x21^2+1	1
N	empty
E
	x1
	x21
	x18
	x19
EM
	x1
	x21
	x18
	x19
C	empty
SBO (dim: 4)
J
	-x18*x21^2+1	1
N	empty
H	empty
E	empty
C	empty
Covered by: 337.0 338.0 x21^2 x18*x21^2-1
ID: 335.0	Parent: 273.0	Tree