overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
0 39
1 133
2 307
3 381
4 493
5 545
6 684
7 633
8 731
9 633
10 641
11 635
12 731
13 584
14 731
15 641
16 635
17 633
18 731
19 633
20 690
21 586
22 682
23 682
24 690
25 545
26 684
27 682
28 682
29 633
30 690