|
|
0, 0, 8, 48, 192, 640, 1920, 5376, 14336, 36864, 92160, 225280, 540672, 1277952, 2981888, 6881280, 15728640, 35651584, 80216064, 179306496, 398458880, 880803840, 1937768448, 4244635648, 9261023232, 20132659200, 43620761600
(list; graph; refs; listen; history; internal format)
|
|
