(use text.tr)(while(print(string-tr(format"~7d"(+(*(read)2)(read)))"012"" _-")))