ID: 438.0	Parent: 427.0	Tree
Covered by: 441.0 442.0 x9 x10^2*x8-1
PDER	VAR\IND x10 x9 x8 x8 0 0 1 x9 0 1 0 x10 1 0 0
FOCUS
	x10^2*x8^8*x9^4-x9^4*x8^7
	x9*x8^2*x10
	x9*x8
	x10*x8
	x8
DEP	empty
MAP	x1 x10*x8^4*x9^2 x2 x9^2*x8^3 x3 x8^2*x9
IMAP	x8 x3^2/x2 x9 x2^2/x3^3 x10 x1/x3^2
STACK
WBO (dim: 3)
J
	x10^2*x8-1	1
c	1
N	empty
(E,a)
	E	a
	x9	2
	x8	3
C	empty
TBO (dim: 3)
J
	x10^2*x8-1	1
N	empty
E
	x9
	x8
EM
	x9
C	empty
SBO (dim: 3)
J
	x10^2*x8-1	1
N	empty
H	empty
E
	x8
C	empty
WBO (dim: 2)
J
	x10^2*x8-1	1
c	1
N
	x9
(E,a)
	E	a
	x8	0
C	empty
TBO (dim: 2)
J
	x10^2*x8-1	1
N
	x9
E
	x8
EM
	x8
C	empty
Covered by: 441.0 442.0 x9 x10^2*x8-1
ID: 438.0	Parent: 427.0	Tree