ecK() |> Seq.take 50 |> Seq.iter(printf "%d "); printfn "";;