(+.(id.2π1.2π1,1)o,(+.(!.(id.2π2.2π1.2π1,2π2)o,!.(id.2π2.2π1.2π1,mod.(+.(2π2,id.2π1.2π1.2π1)o,2π2.2π1)o)o)o)*.distl.(id,iota.2π2)o)o . id . id . (id,#.id.2π2)o . id