a282574 n = position where
  (_, position, _) = finalStaircaseState n
a282574 n = position where
  (_, position, _) = finalStaircaseState n
a282574 n = position where
  (_, position, _) = finalStaircaseState n