|
|
1, 4, 13, 44, 145, 467, 1475, 4588, 14099, 42919, 129685, 389578, 1164909, 3470513, 10309111, 30551216, 90368547, 266900346, 787325255, 2320267136, 6832609927, 20108081817, 59149096985, 173927024292, 511290023185
(list; graph; refs; listen; history; internal format)
|
|
