(declaim (optimize (speed 3) (safety 0) (debug 0))) (defun main (&rest argv) (declare (ignorable argv)) (let* ((a1 (read)) (b1 (read)) (a2 (read)) (b2 (read)) (a3 (read)) (b3 (read))) (declare (type (unsigned-byte 32) a1) (type (unsigned-byte 32) a2) (type (unsigned-byte 32) a3) (ignore b1) (ignore b2) (ignore b3)) (format t "~a~%" (if (evenp (+ a1 a2 a3)) ":-)" ":-(")))) (main)