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