ChengsongTanPhdThesis/a_aa_star.data
author Chengsong
Thu, 23 Jun 2022 16:47:48 +0100
changeset 545 333013923c5a
parent 543 b2bea5968b89
permissions -rw-r--r--
more changes to blexersimp.thy

%% LaTeX2e file `re-js.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
0 20
1 20
2 20
3 28
4 35
5 35
6 35
7 35
8 35
9 35
10 35
11 35
12 35
13 35
14 35
15 35
16 35
17 35
18 35
19 35
20 35