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