ID: 793.0	Parent: 769.0	Tree
Covered by: 795.0 796.0 x19^2 x18*x19^2-1
PDER	VAR\IND x18 x19 x3 x10 x3 0 0 1 0 x10 0 0 0 1 x18 1 0 0 0 x19 0 1 0 0
FOCUS
	x18^7*x10^18*x3^6*x19^2-x10^18*x18^6*x3^6
	x18*x10^2
	x18^3*x10^8*x19
	x19*x18^2*x10^5
	x18*x10
	x19*x18*x10^4
	x19*x18*x10^3
	x19*x18*x10^2
	x19*x18*x10
	x19*x18
DEP	empty
MAP	x1 x18*x10^2*x3 x2 x19*x18^3*x10^8*x3 x3 x3 x4 x10^3*x18*x3
IMAP	x3 x3 x10 x4/x1 x18 x1^3/x3/x4^2 x19 x3^2/x4^2*x2/x1
STACK
WBO (dim: 4)
J
	x18*x19^2-1	1
c	1
N	empty
(E,a)
	E	a
	x3	5
	x10	10
	x18	3
C	empty
TBO (dim: 4)
J
	x18*x19^2-1	1
N	empty
E
	x3
	x10
	x18
EM
	x3
	x10
C	empty
SBO (dim: 4)
J
	x18*x19^2-1	1
N	empty
H	empty
E
	x18
C	empty
Covered by: 795.0 796.0 x19^2 x18*x19^2-1
ID: 793.0	Parent: 769.0	Tree