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