201.32/50.45	MAYBE
201.32/50.45	
201.32/50.45	Problem:
201.32/50.45	 a(a(b(a(a(a(a(a(x1)))))))) -> a(a(a(a(a(a(a(b(a(a(a(a(b(x1)))))))))))))
201.32/50.45	
201.32/50.45	Proof:
201.32/50.45	 Open
201.32/50.45	EOF