ID: 4.0	Parent: 0.0	Tree
Covered by: 831.0 x6*x7^2*x8^3-1
PDER	VAR\IND x6 x7 x8 x4 x4 0 0 0 1 x6 1 0 0 0 x7 0 1 0 0 x8 0 0 1 0
FOCUS
	x6*x4^6*x7^2*x8^3-x4^6
	x6
	x7
	x8
DEP	empty
MAP	x1 x6*x4 x2 x7*x4 x3 x8*x4 x4 x4
IMAP	x4 x4 x6 x1/x4 x7 x2/x4 x8 x3/x4
STACK
WBO (dim: 4)
J
	x6*x7^2*x8^3-1	1
c	1
N	empty
(E,a)
	E	a
	x4	5
C	empty
TBO (dim: 4)
J
	x6*x7^2*x8^3-1	1
N	empty
E
	x4
EM
	x4
C	empty
SBO (dim: 4)
J
	x6*x7^2*x8^3-1	1
N	empty
H	empty
E	empty
C	empty
Covered by: 831.0 x6*x7^2*x8^3-1
ID: 4.0	Parent: 0.0	Tree