ID: 182	Parent: 63	Tree
Covered by: 224 x(10)^2*x(12)*x(13)^2-1
PDER	VAR\RSOP x(13) x(10) x(12) x(10) 0 1 0 x(12) 0 0 1 x(13) 1 0 0
DEP
MAP	x(1) x(10)^11*x(12)^4*x(13)^6 x(2) x(10)^6*x(12)^2*x(13)^3 x(3) x(10)^8*x(12)^3*x(13)^4
IMAP	x(10) (x(2)^2)/(x(1)) x(13) (x(1)^2)/(x(2)*x(3)^2) x(12) (x(3)^3)/(x(2)^4)
FOCUS
	x(10)^22*x(12)^8*x(13)^12-x(10)^20*x(12)^7*x(13)^10
	x(10)^5*x(12)^2*x(13)^3
	x(10)^2*x(12)*x(13)
	x(10)^3*x(12)*x(13)^2
	x(10)
	x(10)*x(12)
STACK
WBO (dim: 3)
W
J
	x(10)^2*x(12)*x(13)^2-1	1
c	1
E,a
	x(12)	3
	x(13)	4
	x(10)	8
TBO (dim: 3)
W
J
	x(10)^2*x(12)*x(13)^2-1	1
E
	x(12)
	x(13)
	x(10)
EM
SBO (dim: 3)
W
J
	x(10)^2*x(12)*x(13)^2-1	1
E
	x(12)
	x(13)
	x(10)
Covered by: 224 x(10)^2*x(12)*x(13)^2-1
ID: 182	Parent: 63	Tree