fun readLargeInt () =
    valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val x = readLargeInt ()
        val y = readLargeInt ()
        val z = readLargeInt ()

        val ans = if x mod 3 = 0 orelse
                     y mod 3 = 0 orelse
                     z mod 3 = 0 
                  then "Yes"
                  else "No"
    in
        print (ans ^ "\n")
    end