let solve (k: int64) darr = let len_darr = Array.length darr let chk_arr = Array.create len_darr false let rec get_len_loop start current result = chk_arr.[current] <- true let next = darr.[current] let result = current::result //eprintfn "get_len_loop: %A" (start, current, result) if next = start then (List.length result) - 1 else get_len_loop start next result let rec get_len_loop_sum idx result = //eprintfn "get_len_loop_sum: %A" (idx, result) if idx >= len_darr then result else if chk_arr.[idx] then get_len_loop_sum (idx + 1) result else let len_loop = get_len_loop idx idx [] get_len_loop_sum (idx + 1) (result + len_loop) let len_loop = get_len_loop_sum 0 0 k >= (int64 len_loop) && (k - (int64 len_loop)) % 2L = 0L let () = let _, k = stdin.ReadLine() |> fun s -> s.Split() |> Array.map int64 |> fun arr -> (arr.[0], arr.[1]) let darr = stdin.ReadLine() |> fun s -> s.Split() |> Array.map int |> Array.map (( + ) -1) solve k darr |> function | true -> "YES" | false -> "NO" |> printfn "%s"