ID: 25.0	Parent: 24.0	Tree
PDER	VAR\IND x12 x11 x13 x1 x9*x11*x13*x12+x13*(x9*x11 *x13*x12+x12*x11*x9-x11*x9 *(6*x11^5*x13^5*x12^5*x1^7 -x13*x12)) -x9*(6*x11^5*x13^5*x12^5*x 1^7-x13*x12)*x13*x12+x12^2 *x13*x9 (x9*x11*x13*x12+x12*x11*x9 -x11*x9*(6*x11^5*x13^5*x12 ^5*x1^7-x13*x12))*x12 x9 -42*x9^3*x11^7*x13^7*x12^7 *x1^5+x13*(-42*x9^3*x11^7* x13^7*x12^7*x1^5-42*x11^7* x12^7*x9^3*x13^6*x1^5+x11* (-42*x11^5*x13^5*x12^5*x1^ 6*x9^2+42*x9^3*x11^6*x13^6 *x12^6*x1^5*(6*x11^5*x13^5 *x12^5*x1^7-x13*x12))) (-42*x11^5*x13^5*x12^5*x1^ 6*x9^2+42*x9^3*x11^6*x13^6 *x12^6*x1^5*(6*x11^5*x13^5 *x12^5*x1^7-x13*x12))*x13* x12-42*x12^8*x9^3*x11^6*x1 3^7*x1^5 (-42*x9^3*x11^7*x13^7*x12^ 7*x1^5-42*x11^7*x12^7*x9^3 *x13^6*x1^5+x11*(-42*x11^5 *x13^5*x12^5*x1^6*x9^2+42* x9^3*x11^6*x13^6*x12^6*x1^ 5*(6*x11^5*x13^5*x12^5*x1^ 7-x13*x12)))*x12 x11 0 1 0 x12 1 0 0 x13 0 0 1
FOCUS
	x1^6+x11^6*x13^6*x12^6*x1^12-x1^5*x11*x13^2*x12^2
	x13*x11*x12
	x13*x12
	x11*x12
	x11
	x12
DEP
	x9*(7*x11^6*x13^6*x12^6*x1^6+1)-1
	x13*x12^2*x11-x11^6*x13^6*x12^6*x1^7+x11*x13^2*x12^2-x1
MAP	x1 x1 x2 x11*x13*x12*x1^2 x3 x13*x12*x1^2
IMAP	x1 x1 x9 x1^6/(7*x2^6+x1^6) x11 x2/x3 x12 -1/x1^3*(-x1^6-x2^6+x1*x2*x3)/x2 x13 -x2*x1/(-x1^6-x2^6+x1*x2*x3)*x3
STACK
WBO (dim: 3)
J
	1	0
c	0
N	empty
(E,a)
	E	a
	-x11^17*x13^17*x12^16*x1^19+2*x11^12*x13^13*x12^12*x1^12+2*x11^12*x13^12*x12^12*x1^12-x11^7*x13^9*x12^8*x1^5-2*x11^7*x13^8*x12^8*x1^5-x13^7*x11^7*x12^8*x1^5+x13+1	3
	x13	3
	x11	3
	x12	6
C	empty