%% LaTeX2e file `re-js.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
0 6
1 10
2 17
3 28
4 46
5 75
6 122
7 198
8 321
9 520
10 842
11 1363
12 2206
13 3570
14 5777
15 9348
16 15126
17 24475
18 39602
19 64078
20 103681