(do((i 1))((format t"~9D * 9 +~3D = ~V@{1~}
"(subseq"123456789"0 i)(incf i)i i)))