|
|
0, 8, 288, 6672, 65840, 391320, 1681008, 5767328, 16781472, 43053480, 100010240, 214373808, 430002768, 815759672, 1475827920, 2562941760, 4295033408, 6975841608, 11020066272, 16983694160, 25600160880, 37823054808, 54876108848
(list; graph; refs; listen; history; internal format)
|
|
