Lim         ← 20000
Primes      ← ▽⊸≡(=⊣⊸(°/×))+2⇡Lim
Divisors    ← ▽⤚(=₀◿)⊸(↘1⇡) # Divisors < n
AllDivisors ← ˜⊂⟜Divisors
▽⊸≡(=⊸⌊÷⊃⧻/+AllDivisors)+1⇡Lim
Comps ← -1/+≡(¬∊Primes)
⊃(&p$"Comps in first 10000: _"Comps↙10000
| &p$"10000th: _"⊡9999
| &p$"Comps in first 1000: _"Comps↙1000
| &p$"1000th: _"⊡999 | &p$"First 100: _"↙100)