let judge s = printfn "%s" s stdout.Flush () let resp = stdin.ReadLine () resp = "unlocked" seq {for i in 0..999 -> System.String.Format ("{0:000}", i)} |> Seq.exists judge