overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
%% LaTeX2e file `re-js.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
5 0.061
10 0.061
15 0.061
20 0.070
23 0.131
25 0.308
26 0.564
28 1.994
30 7.648
31 15.881
32 32.190