192.80/50.62	MAYBE
192.80/50.62	
192.80/50.62	Problem:
192.80/50.62	 a(b(a(b(a(b(a(a(b(a(b(a(x1)))))))))))) -> a(b(a(a(b(a(b(a(a(b(a(b(a(b(x1))))))))))))))
192.80/50.62	
192.80/50.62	Proof:
192.80/50.62	 Open
192.80/50.63	EOF