|
|
1, 5, 70, 1470, 38808, 1189188, 40489020, 1491345570, 58388438680, 2400295633736, 102692368441936, 4542162450316400, 206643434552856000, 9631060074695610000, 458381806260954003000, 22220282755463598704250
(list; graph; refs; listen; history; internal format)
|
|
