(format t "~d"
 (round (mod (+ (* 0.5 (read t 0))
                (* 0.5 (read t 0)))
                (+ (expt 10 9) 7))))