(format t" ~v@{  ##~}
 #~v@{   #~}
~3@{#~v@{   #~}
~} #~v@{   #~}
 ~v@{  ##~}"(1+(set'n(-(read)1)))n n n n n(1+ n)n)