SHIFT
NODE
REDUCE
SHIFT
NODE
RIGHT-EDGE
REDUCE
SHIFT
SHIFT
NODE
REDUCE
SHIFT
NODE
REDUCE
SHIFT
RIGHT-EDGE
SHIFT
NODE
REDUCE
SHIFT
SWAP
SWAP
RIGHT-EDGE
REDUCE
SHIFT
SHIFT
SHIFT
NODE
REDUCE
SHIFT
NODE
RIGHT-REMOTE
REDUCE
SWAP
RIGHT-EDGE
REDUCE
SHIFT
SHIFT
RIGHT-EDGE
SHIFT
NODE
REDUCE
SHIFT
RIGHT-EDGE
REDUCE
SHIFT
NODE
REDUCE
SHIFT
NODE
REDUCE
SHIFT
RIGHT-EDGE
SHIFT
NODE
REDUCE
SHIFT
RIGHT-EDGE
SHIFT
RIGHT-EDGE
REDUCE
SHIFT
RIGHT-EDGE
REDUCE
REDUCE
REDUCE
SWAP
RIGHT-EDGE
REDUCE
SHIFT
REDUCE
SHIFT
NODE
REDUCE
SHIFT
RIGHT-EDGE
REDUCE
REDUCE
FINISH
