(format t"~5T~24@{_~} ~4T/~28T/| ~3T/~27T/ | /~26T//|| /~23@{_~}//||| | ~19@{_~} || ||| ~2@{| || ||~A~22T| || ||~:*~A ~}~2@{| ||~22T| || ~}|_|/~22T|_|/""|"'/ t)