200.97/50.56	MAYBE
200.97/50.56	
200.97/50.56	Problem:
200.97/50.56	 a(a(b(a(a(a(a(a(x1)))))))) -> a(a(a(a(a(a(a(b(a(a(b(x1)))))))))))
200.97/50.56	
200.97/50.56	Proof:
200.97/50.56	 Open
200.97/50.56	EOF