MAYBE
234.81/59.95	MAYBE
234.81/59.95	
234.81/59.95	Problem:
234.81/59.95	 a(b(c(a(b(c(a(a(a(x1))))))))) -> a(a(a(a(b(c(a(b(c(a(b(c(x1))))))))))))
234.81/59.95	
234.81/59.95	Proof:
234.81/59.95	 Open
234.81/59.95	EOF