id
.
2π1
.
2π2
.
(id,2π2.b_while((2π1,(2π2.2π1,2π2)o.id.(id,+.(2π2,1)o.(id,id.2π2.2π2.2π1.2π1)o)o.(id,(+.(+.(!.(id.2π1.2π2.2π1.2π1,2π2)o,!.(id.2π1.2π2.2π1.2π1,b_if(<.(id.2π1.2π2,0)o,+.(id.2π2.2π2,id.2π1.2π2)o,id.2π1.2π2).(id,(-.(2π2,1)o,2π2.2π1)o)o)o)o,!.(id.2π1.2π2.2π1.2π1,mod.(+.(2π2,1)o,2π2.2π1)o)o)o)*.distl.(id,2π2.2π1.2π1)o)o.id.(id,#.id.2π1.2π2)o)o,<.(id.2π2.2π2,3)o).(id,(id.2π1,0)o)o)o
.
id
.
id
.
id
.
id
.
(id,iota.#.id)o
.
id
.
id
.
id