(: io format '"~.2B~n~.2B~n~.2B~n" (list 5 50 9000))