197.92/50.79	MAYBE
197.92/50.79	
197.92/50.79	Problem:
197.92/50.79	 a(b(b(c(a(c(a(b(c(a(x1)))))))))) -> a(b(c(a(c(a(b(b(c(a(c(a(b(x1)))))))))))))
197.92/50.79	
197.92/50.79	Proof:
197.92/50.79	 Open
200.91/50.80	EOF