|
|
2, 4, 12, 48, 240, 1443, 10105, 80842, 727580, 7275803, 80033833, 960405999, 12485277998, 174793891980, 2621908379701, 41950534075224, 713159079278809, 12836863427018578, 243900405113352992, 4878008102267059852
(list; graph; refs; listen; history; internal format)
|
|
