00 Basser Lout Version 3.10 (November 1996) database index file
00symbol 1 @DocumentLayout @TheoremCounterMarker
00symbol 10 @DocumentLayout @FigureCounterMarker
00symbol 11 @DocumentLayout @TablePrefixMarker
00symbol 12 @DocumentLayout @TableCounterMarker
00symbol 13 @PageMarker
00symbol 14 @DocumentLayout @FootNoteCounterMarker
00symbol 15 @DocumentLayout @Runner
00symbol 2 @DocumentLayout @DefinitionCounterMarker
00symbol 3 @DocumentLayout @ClaimCounterMarker
00symbol 4 @DocumentLayout @PropositionCounterMarker
00symbol 5 @DocumentLayout @LemmaCounterMarker
00symbol 6 @DocumentLayout @CorollaryCounterMarker
00symbol 7 @DocumentLayout @ExampleCounterMarker
00symbol 8 @DocumentLayout @NumDispCounterMarker
00symbol 9 @DocumentLayout @FigurePrefixMarker
1&3722.rules.lout.1	0	00001	0	1	rules.lout
10&4619.rules.lout.1	0	00010	1308	91	rules.lout
11&4851.rules.lout.1	0	00011	1391	98	rules.lout
12&4859.rules.lout.1	0	00012	1471	105	rules.lout
13&659.rules.lout.1	0	00013	1553	112	rules.lout
13&659.rules.lout.2	0	00016	1956	148	rules.lout
13&659.rules.lout.3	0	00018	2207	169	rules.lout
13&659.rules.lout.4	0	00020	2450	190	rules.lout
13&659.rules.lout.5	0	00022	2701	211	rules.lout
13&last.page	0	00026	2701	211	rules.lout
14&2691.rules.lout.1	0	00014	1807	135	rules.lout
14&2691.rules.lout.2	0	00017	2122	162	rules.lout
14&2691.rules.lout.3	0	00019	2365	183	rules.lout
14&2691.rules.lout.4	0	00021	2616	204	rules.lout
14&2691.rules.lout.5	0	00023	2859	225	rules.lout
15&2107.rules.lout.1	0	00025	3011	238	rules.lout
15&2107.rules.lout.2	0	00015	1892	142	rules.lout
15&2107.rules.lout.3	0	00024	2944	232	rules.lout
2&3780.rules.lout.1	0	00002	184	14	rules.lout
3&3835.rules.lout.1	0	00003	337	24	rules.lout
4&3889.rules.lout.1	0	00004	480	34	rules.lout
5&3944.rules.lout.1	0	00005	635	44	rules.lout
6&3998.rules.lout.1	0	00006	778	54	rules.lout
7&4053.rules.lout.1	0	00007	929	64	rules.lout
8&1553.rules.lout.1	0	00008	1076	74	rules.lout
9&4611.rules.lout.1	0	00009	1227	84	rules.lout