d x n=sum[j!!(8-i+n)|i<-x]
j=(1<$[0..8])++zipWith(+)j(drop 2 j)
main=interact$show.(<$>[256,80]).d.read.('[':).(++"]")