ChengsongTanPhdThesis/regex2_size_change.data
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 10 Sep 2022 15:04:35 +0100
changeset 598 2c9a3aba8ebc
parent 522 19462bc7d335
child 611 bc1df466150a
permissions -rw-r--r--
simplified the n-times case in decode_aux

%% LaTeX2e file `re-js.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
1   20
5   200
10  350
15  400
20  550
23  700
25  760
26  800
28  810
30  810
31  810
32  810