17
 01234567890123456
0 ::0:000::000:0::
1  ::0:000::000:0:
2   ::0:000::000:0
3    ::0:000::000:
4     ::0:000::000
5      ::0:000::00
6       ::0:000::0
7        ::0:000::
8         ::0:000:
9          ::0:000
0           ::0:00
1            ::0:0
2             ::0:
3              ::0
4               ::
5                :
6