|
|
2, 3, 7, 13, 30, 56, 127, 237, 530, 994, 2192, 4144, 9016, 17192, 36949, 71023, 151024, 292340, 616032, 1199556, 2508660, 4909028, 10201810, 20044004, 41437560, 81683022, 168134730, 332321130, 681582636, 1350091410, 2760703019
(list; graph; refs; listen; history; internal format)
|
|
