Filter←{((1=·+´0=⊢)¨/⊢)((0={⌊2÷˜≠}⊸⊑)¨/⊢)((⊢≡⌽)¨/⊢)(⊢/˜2|≠¨)𝕩} Digi←10{⌽𝕗|⌊∘÷⟜𝕗⍟(↕1+·⌊𝕗⋆⁼1⌈⊢)} UnDigi←10⊸(+´⊢×⊣⋆(⌽∘↕∘≠)∘⊢) IsPrime←{0=∨´0=𝕩|˜2↓↕⌈2÷˜𝕩} 20↑ 0(