203.61/50.38	MAYBE
203.61/50.38	
203.61/50.38	Problem:
203.61/50.38	 a(b(a(a(a(a(a(a(x1)))))))) -> a(a(a(a(a(a(a(b(a(a(a(a(b(x1)))))))))))))
203.61/50.38	
203.61/50.38	Proof:
203.61/50.38	 Open
203.61/50.38	EOF