|
| |
| |
|
|
|
0, 16, 384, 6144, 81920, 983040, 11010048, 117440512, 1207959552, 12079595520, 118111600640, 1133871366144, 10720238370816, 100055558127616, 923589767331840, 8444249301319680, 76561193665298432, 689050742987685888
(list; graph; refs; listen; history; internal format)
|
| |
| |
|
|