formatting of output in test1.rkt