ID: 4	Parent: 2	Tree
Exchanged to: 6 1<->x(3)^3-x(4)
PDER	VAR\RSOP x(1) x(3) x(1) 1 0 x(3) 0 1 x(4) -x(4)^2 0
DEP
	x(1)*x(4)-1
MAP	x(1) x(1) x(2) x(1)*x(3)
IMAP	x(1) (x(1))/(1) x(3) (x(2))/(x(1)) x(4) (1)/(x(1))
FOCUS
	-x(1)^3*x(3)^3+x(1)^2
STACK
WBO (dim: 2)
W
J
	-x(1)*x(3)^3+1	1
c	1
E,a
TBO (dim: 2)
W
J
	-x(1)*x(3)^3+1	1
E
EM
SBO (dim: 2)
W
J
	-x(1)*x(3)^3+1	1
E
Exchanged to: 6 1<->x(3)^3-x(4)
ID: 4	Parent: 2	Tree