$
∩(⊜(⊜⋕ ⊸≠@-) ⊸≠@\n) °$"_\n\n_"

⊜□ ⊸(˜∧(˜⊂+⊙⊸⊣≥⊓⊣⊢°⊟) [1] ⧈∘2) ⍆
≡(⊟⊓⊢/↥°⊟◇⍉)
Fresh ←

Available ←

# part one
Fresh Available
⊞(×∩(>₀/+) ⊸⊃≤≥)
⧻▽⊓/(±+)⊢

# part two
/+≡(+₁-°⊟) Fresh