|
|
1, 25, 418, 5898, 76059, 930003, 10996396, 127188916, 1449394837, 16348318701, 183083516694, 2039995806654, 22648876033135, 250810539522919, 2772306789414112, 30602539667823912, 337485446955075753
(list; graph; refs; listen; history; internal format)
|
|