|
|
1, 3, 7, 12, 30, 127, 574, 3240, 12980, 51381, 213637, 866922, 3562509, 14354285, 57298765, 228921419, 912494572, 3639947154, 14493582693, 57604953252, 228802279985, 908249501738, 3604924550020, 14304563293997, 56742981599768
(list; graph; refs; listen; history; internal format)
|
|
