(loop(defun f(e)(#2=format(dotimes(i(if e #1=(reduce'lcm e :key'car))t)(if(loop for(a b)in e always(=(mod i a)b))(return(#2#t"~D + ~Dk "i #1#))))"no solutions "))(f(loop for(y z a'c)=(read-from-string(#2#/"(~A)"(read-line()/)))while a collect`(,c,a))))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).