ChengsongTanPhdThesis/BetterWaterloo.data
author Chengsong
Sun, 09 Jul 2023 02:08:12 +0100
changeset 658 273c176d9027
parent 585 4969ef817d92
permissions -rw-r--r--
finished 4.3.2 section explaining why lemma 11 is too strong

1 12
2 25
3 51
4 103
5 207
6 415
7 831
8 1663
9 3327
10 6655
11 13311
12 26623
13 53247
14 106495
15 212991
16 425983
17 851967
18 1703935
19 3407871