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