AscendingNumbers←{ AN←{ ∧/2