( ( ! )* )* . ( zip2 )* . zip2 . (repeat.(id,#.!.(id,0)o)o,(repeat)*.zip2.(iota.#.!.(id,0)o,repeat.(#,#.!.(id,0)o)o)o)o