ID: 229.0 Parent: 221.0 Tree
Covered by:
230.0
x18-1
PDER
VAR\IND x12 x14 x18-1 x8
x8 0 0 0 1
x12 1 0 0 0
x14 0 1 0 0
x18 0 0 1 0
FOCUS
x18^4*x12^21*x14^9*x8^3-x12^21*x14^9*x8^3*x18^3
x12^2*x14*x8
x14*x12*x8
x12^2*x14
x14*x12
x18*x12^3*x14
x18*x12^3
x18*x12^2
x18*x12
x18
DEPempty
MAP
x1 x12^7*x14^3*x8*x18
x2 x14^3*x12^6*x8*x18
x3 x18*x12^5*x14^2
x4 x8*x18*x12^5*x14^2
IMAP
x8 x4/x3
x12 x1/x2
x14 x2^2/x4/x1
x18 x4^2/x1^3*x3*x2
STACK
WBO (dim: 4)
J
x18-1 1
c 1
Nempty
(E,a)
Ea
x18 2
x8 2
x14 5
x12 11
C empty
TBO (dim: 4)
J
x18-1 1
Nempty
E
x18
x8
x14
x12
EM
x18
x8
C empty
SBO (dim: 4)
J
x18-1 1
Nempty
Hempty
E
x14
x12
C empty
Covered by:
230.0
x18-1
ID: 229.0 Parent: 221.0 Tree