(#0=format t"~A ~[~;DDDDDDD D D ~7TD~;D DD DD D D D D D D~9TD~]"(set'h #1=(read-line))(/(-(set'w(-(length h)2))5)2)(#0#t"~[~7TU~2@{ U U U~} U U U UUU U ~]~A "(- w 9)h)(dotimes'w(#0#t"#~V@T#~V@{R~} "w(count #\R #1#)t)))