Scanf.scanf "%d %d %d" (fun x y z ->
    print_endline @@ if x mod 3 = 0 || y mod 3 = 0 || z mod 3 = 0 then "Yes" else "No"
)