f:lsum;c:charlist;r:?read\-line;a:c(r());b:c(r());f(f((f(printf(?t,"(~a~a~a)",j,i,k),k,a),newline()),j,a),i,b);