let args = stdin.ReadLine().Split(' ') let x = int args.[0] let y = int args.[1] let r = float args.[2] let P = abs x + abs y + int(ceil(r * sqrt 2.)) printfn "%d" P