$
Ranges ← ⊜(⊜⋕⊸≠@-) ⊸≠@,

Ids ← /◇⊂ ≡(□+⤚(⇡+₁-)°⊟) Ranges
P₁  ← [2] ¤
P₂  ← ⟜(▽⊙¤⧻) ⊸(+₂⇡-₁⧻)

# /+ ▽⊸≡(±/+≡(=₁ ⧻◴ ⬚@ ↯ ˜⊟∞) P₁ °⋕) Ids
/+ ▽⊸≡(±/+≡(=₁ ⧻◴ ⬚@ ↯ ˜⊟∞) P₂ °⋕) Ids