t←32 8ρ⊃⎕ARG[6]
(3×1+t[;5]=t[;6])⌷¨⊂[2]t
)OFF