fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val a = readInt () val b = readInt () val c = readInt () val ans = if a + b = c then "Correct" else "Incorrect" in print (ans ^ "\n") end