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