0 0 0 0 0 0 0 0 0 ll e a ¬ r n n m k - rfl