Print an arch of ascending / descending numbers I figured an "arch" was the best way to describe this pattern of numbers:

1234567887654321
1234567  7654321
123456    654321
12345      54321
1234        4321
123          321
12            21
1              1


Formally defined, each line consists of the numbers 1 through 9-n, (n-1)*2 spaces, and the numbers 9-n through 1 (where n is the current line).

Your task is to write, using the shortest code possible, a small script/program that prints the above pattern subject to the following restrictions:


You may not hardcode the entire pattern. You may only hardcode a single line of the pattern at most.
Your program must print a newline (any combination of \n or \r) at the end of each line.


Ready... set.... go!
Python 2, 65 55 53 51

s=12345678
while s:r='%-8d'%s;print r+r[::-1];s/=10


Shortened using some of ugoren's ideas.