|
|
1, 12, 174, 2436, 34307, 482664, 6791772, 95567064, 1344731653, 18921807828, 266250046986, 3746422451772, 52716164405255, 741772724044560, 10437534301224120, 146867252940711408, 2066579075472320521
(list; graph; refs; listen; history; internal format)
|
|