|
| |
| |
|
|
|
3, 7, 12, 31, 42, 124, 224, 511, 847, 1953, 2688, 12264, 18816, 29127, 72540, 131071, 195048, 558523, 1077440, 3164112, 4552020, 10890040, 10342080, 54525848, 73260781, 155671040, 318848400, 1080311232, 964580240, 3070642080
(list; graph; refs; listen; history; internal format)
|
| |
| |
|
|
