fun readLargeInt () = valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn) val () = let val a = LargeWord.fromLargeInt(readLargeInt ()) val b = LargeWord.fromLargeInt(readLargeInt ()) val ans = LargeWord.toLargeInt(LargeWord.orb(a, b)) + LargeWord.toLargeInt(LargeWord.andb(a, b)) in print (LargeInt.toString ans ^ "\n") end