
19, 37, 73, 577, 1153, 18433, 147457, 1179649, 77309411329, 39582418599937, 79164837199873, 83010348331692982273, 332041393326771929089, 1328165573307087716353, 21760664753063325144711169, 196002643346460554954903773880698489798657
(list;
graph;
refs;
listen;
history;
text;
internal format)

