2π1
.
2π2
.
b_while
(
(2π1,((+)*.zip2.((+)*.zip2.(select.(2π1.2π2,2π2.2π1)o,select.(2π1.2π2,priffle.((<)*.zip2.((-)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(0,#.2π2.2π1)o)o,(+)*.zip2.(repeat.(#.2π1.2π2,#.mask.(iota.#.2π2.2π1,(<)*.zip2.((-)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(0,#.2π2.2π1)o)o)o)o,(-)*.zip2.(mask.(2π2.2π1,(<)*.zip2.((-)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(0,#.2π2.2π1)o)o)o,repeat.(1,#.mask.(iota.#.2π2.2π1,(<)*.zip2.((-)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(0,#.2π2.2π1)o)o)o)o)o)o,(-)*.zip2.(mask.(2π2.2π1,(~)*.(<)*.zip2.((-)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(0,#.2π2.2π1)o)o)o,repeat.(1,#.mask.(iota.#.2π2.2π1,(~)*.(<)*.zip2.((-)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(0,#.2π2.2π1)o)o)o)o)o)o)o)o,select.(2π1.2π2,(mod)*.zip2.((+)*.zip2.(2π2.2π1,repeat.(1,#.2π2.2π1)o)o,repeat.(#.2π1.2π2,#.2π2.2π1)o)o)o)o,+.(2π2.2π2,1)o)o)o
,
<
.
(2π2.2π2,3)o
)
.
((id,iota.#)o,(id,0)o)o