203.74/50.78	MAYBE
203.74/50.78	
203.74/50.78	Problem:
203.74/50.78	 a(b(a(c(a(b(a(b(a(b(x1)))))))))) -> a(b(a(b(a(b(a(b(a(c(a(b(a(c(x1))))))))))))))
203.74/50.78	
203.74/50.78	Proof:
203.74/50.78	 Open
203.98/50.78	EOF