((+⌿(4/10)⊤P)∊P)/P←(~P∊P∘.×P)/P←1↓⍳500