Bill Heagy Sat, 02 May 2020 09:22:24 -0700
∇rr←sol nn n←1↓⍳nn r←,2 l: →(nn<(↑n)*2)⍴x r←r,↑n←(~∨⌿0=⊃r|¨⊂n)/n →l x: r←r,1↓n rr←+/r ∇
sol 200000