let () = let n, k = Scanf.scanf "%d %d " (fun n k -> n, k) in let s = Scanf.scanf "%s " (fun i -> i) in let rec doit i acc pairs = if i = n then pairs else if s.[i] = '(' then doit (i + 1) (i :: acc) pairs else match acc with | [] -> assert false | j :: tl -> doit (i + 1) tl ((j + 1, i + 1) :: pairs) in let rec aux = function | [] -> assert false | (j, i) :: tl -> if j = k then Printf.printf "%d\n" i else if i = k then Printf.printf "%d\n" j else aux tl in doit 0 [] [] |> aux