overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
0 39
1 133
2 353
3 655
4 1037
5 1503
6 2055
7 2695
8 3415
9 4219
10 5105
11 6079
12 7133
13 8277
14 9503
15 10807
16 12197
17 13677
18 15239
19 16885
20 18607
21 20419
22 22319
23 24303
24 26363
25 28509
26 30743
27 33061
28 35461
29 37947
30 40511