|
|
2, 4, 14, 57, 287, 1727, 12090, 96722, 870503, 8705038, 95755425, 1149065104, 14937846352, 209129848929, 3136947733949, 50191163743187, 853249783634193, 15358496105415474, 291811426002894006, 5836228520057880134
(list; graph; refs; listen; history; internal format)
|
|
