ID: 69.0 Parent: 68.0 Tree
Covered by:
78.0 79.0
x20 x20-1
PDER
VAR\IND x20 x19 x15
x15 0 0 1
x19 0 1 0
x20 1 0 0
FOCUS
x20^28*x19^32*x15^22-x15^22*x19^32*x20^27
x20^9*x19^10*x15^7
x20^4*x19^4*x15^3
x20^3*x19^3*x15^2
x15^3*x19^5*x20^4
x15^2*x19^4*x20^3
x15^2*x19^3*x20^2
x15
x15^2*x19^2*x20
x15^2*x19
x15*x19
x19
DEPempty
MAP
x1 x20^14*x19^16*x15^11
x2 x15^4*x19^6*x20^5
x3 x15^9*x20^11*x19^13
IMAP
x15 x3^4/x2^6/x1
x19 x2^5/x1/x3
x20 x1^2/x3^2/x2
STACK
WBO (dim: 3)
J
x20-1 1
c 1
Nempty
(E,a)
Ea
x20 11
x15 9
x19 13
C empty
TBO (dim: 3)
J
x20-1 1
Nempty
E
x20
x15
x19
EMempty
C empty
SBO (dim: 3)
J
x20-1 1
Nempty
Hempty
E
x20
x15
x19
C empty
Covered by:
78.0 79.0
x20 x20-1
ID: 69.0 Parent: 68.0 Tree