( ( + )* )* . ( zip2 )* . zip2 . ((select)*.zip2.(id,(iota)*.(#)*)o.2π1,(select)*.zip2.(select.(2π2,iota.#.2π1)o,(iota)*.(#)*.2π1)o)o