s='12345678' x=[' '*(7-i)+s[:i+1]+`i+1`*6+s[i::-1]for i in range(8)] print'\n'.join(x+x[-1:]*6+x[::-1])
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page