ID: 371	Parent: 369	Tree
PDER	VAR\RSOP x(13) x(16) x(17)-1 x(13) 1 0 0 x(16) 0 1 0 x(17) 0 0 x(18) x(18) 0 0 -x(18)^3
DEP
	x(17)*x(18)-1
MAP	x(1) x(13)^8*x(16)^13*x(17)^12 x(2) x(13)^5*x(16)^8*x(17)^7 x(3) x(13)^6*x(16)^10*x(17)^9
IMAP	x(13) (x(1)^2*x(2)^3)/(x(3)^5) x(16) (x(3)^4)/(x(1)^3) x(17) (x(1)^2)/(x(2)^2*x(3)) x(18) (x(2)^2*x(3))/(x(1)^2)
FOCUS
	x(13)^16*x(16)^26*x(17)^24-x(13)^16*x(16)^26*x(17)^23
	x(13)^3*x(16)^5*x(17)^5
	x(13)*x(16)^2*x(17)^2
	x(13)^2*x(16)^3*x(17)^3
	x(13)^2*x(16)^3*x(17)^2
	x(16)*x(17)
	x(13)^2*x(16)^2*x(17)
	x(13)^2*x(16)
	x(13)*x(16)
	x(16)
TAGS
	0,0,1
STACK
WBO (dim: 3)
W
J
	x(17)-1	1
c	1
E,a
	x(13)	6
	x(16)	10
TBO (dim: 3)
W
J
	x(17)-1	1
E
	x(13)
	x(16)
EM
SBO (dim: 3)
W
J
	x(17)-1	1
E
	x(13)
	x(16)
ID: 371	Parent: 369	Tree