|
|
1, 28, 516, 7952, 111440, 1477056, 18912832, 236879104, 2924469504, 35764112384, 434623874048, 5259666886656, 63472710995968, 764545789837312, 9197653087371264, 110557371200503808, 1328176959287263232
(list; graph; refs; listen; history; internal format)
|
|