|
|
1, 3, 6, 13, 38, 159, 880, 5921, 46242, 409123, 4037924, 43954725, 522956326, 6749977127, 93928268328, 1401602636329, 22324392524330, 378011820620331, 6780385526348332, 128425485935180333, 2561327494111820334
(list; graph; refs; listen; history; internal format)
|
|
