(loop(format t"~a
"(-(* #0=(-(read)1)#0#)1)))