Totient ← /×⊕(×⊃(-1|˜ⁿ⊙-₁)⊃⊢⧻)⊸⊛°/×
IsPrime ← =1-⊸Totient
≡(&p$"_ \tΦ = _ \t _" ⊃(∘|Totient|⨬(""|"Prime")IsPrime))+1⇡ 25
≡(&p$"_ primes below _"/+≡IsPrime+1⊸⇡)˜ⁿ10↘2⇡6