| blob | f6b8bb413abb20a9304d208f4468c2e41d208002 |
1 This is a generated file for the LaTeX2e validation system.
2 Don't change this file in any respect.
3 %% \CharacterTable
4 %% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
5 %% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
6 %% Digits \0\1\2\3\4\5\6\7\8\9
7 %% Exclamation \! Double quote \" Hash (number) \#
8 %% Dollar \$ Percent \% Ampersand \&
9 %% Acute accent \' Left paren \( Right paren \)
10 %% Asterisk \* Plus \+ Comma \,
11 %% Minus \- Point \. Solidus \/
12 %% Colon \: Semicolon \; Less than \<
13 %% Equals \= Greater than \> Question mark \?
14 %% Commercial at \@ Left bracket \[ Backslash \\
15 %% Right bracket \] Circumflex \^ Underscore \_
16 %% Grave accent \` Left brace \{ Vertical bar \|
17 %% Right brace \} Tilde \~}
18 %%
19 Author: David M. Jones
20 Format: LaTeX2e<1994/03/08>
21 Main Style: article
22 LaTeX Font Info: External font `cmex10' loaded for size
23 (Font) <12> on input line ....
24 LaTeX Font Info: External font `cmex10' loaded for size
25 (Font) <8> on input line ....
26 LaTeX Font Info: External font `cmex10' loaded for size
27 (Font) <6> on input line ....
28 LaTeX Font Info: Try loading font information for U+lasy on input line ....
29 Overfull \hbox (47.9967pt too wide) in paragraph at lines 62--63
30 [][]\OT1/cmtt/m/n/10 \begin{lemma}[additional explanation of lemma] Text of lemma \end{lemma}
31 \hbox(6.94444+2.22223)x345.0
32 .\hbox(0.0+0.0)x15.0
33 .\hbox(0.0+0.0)x0.0
34 .\OT1/cmtt/m/n/10 \
35 .\OT1/cmtt/m/n/10 b
36 .\OT1/cmtt/m/n/10 e
37 .\OT1/cmtt/m/n/10 g
38 .\OT1/cmtt/m/n/10 i
39 .\OT1/cmtt/m/n/10 n
40 .\OT1/cmtt/m/n/10 {
41 .\OT1/cmtt/m/n/10 l
42 .\OT1/cmtt/m/n/10 e
43 .\OT1/cmtt/m/n/10 m
44 .\OT1/cmtt/m/n/10 m
45 .\OT1/cmtt/m/n/10 a
46 .\OT1/cmtt/m/n/10 }
47 .\OT1/cmtt/m/n/10 [
48 .\OT1/cmtt/m/n/10 a
49 .\OT1/cmtt/m/n/10 d
50 .\OT1/cmtt/m/n/10 d
51 .\OT1/cmtt/m/n/10 i
52 .\OT1/cmtt/m/n/10 t
53 .\OT1/cmtt/m/n/10 i
54 .\OT1/cmtt/m/n/10 o
55 .\OT1/cmtt/m/n/10 n
56 .\OT1/cmtt/m/n/10 a
57 .\OT1/cmtt/m/n/10 l
58 .\penalty 10000
59 .\glue 5.24995
60 .\OT1/cmtt/m/n/10 e
61 .\OT1/cmtt/m/n/10 x
62 .\OT1/cmtt/m/n/10 p
63 .\OT1/cmtt/m/n/10 l
64 .\OT1/cmtt/m/n/10 a
65 .\OT1/cmtt/m/n/10 n
66 .\OT1/cmtt/m/n/10 a
67 .\OT1/cmtt/m/n/10 t
68 .\OT1/cmtt/m/n/10 i
69 .\OT1/cmtt/m/n/10 o
70 .\OT1/cmtt/m/n/10 n
71 .\penalty 10000
72 .\glue 5.24995
73 .\OT1/cmtt/m/n/10 o
74 .\OT1/cmtt/m/n/10 f
75 .\penalty 10000
76 .\glue 5.24995
77 .\OT1/cmtt/m/n/10 l
78 .\OT1/cmtt/m/n/10 e
79 .\OT1/cmtt/m/n/10 m
80 .\OT1/cmtt/m/n/10 m
81 .\OT1/cmtt/m/n/10 a
82 .\OT1/cmtt/m/n/10 ]
83 .\penalty 10000
84 .\glue 5.24995
85 .\OT1/cmtt/m/n/10 T
86 .\OT1/cmtt/m/n/10 e
87 .\OT1/cmtt/m/n/10 x
88 .\OT1/cmtt/m/n/10 t
89 .\penalty 10000
90 .\glue 5.24995
91 .\OT1/cmtt/m/n/10 o
92 .\OT1/cmtt/m/n/10 f
93 .\glue 5.24995
94 .\OT1/cmtt/m/n/10 l
95 .\OT1/cmtt/m/n/10 e
96 .\OT1/cmtt/m/n/10 m
97 .\OT1/cmtt/m/n/10 m
98 .\OT1/cmtt/m/n/10 a
99 .\penalty 10000
100 .\glue 5.24995
101 .\OT1/cmtt/m/n/10 \
102 .\OT1/cmtt/m/n/10 e
103 .\OT1/cmtt/m/n/10 n
104 .\OT1/cmtt/m/n/10 d
105 .\OT1/cmtt/m/n/10 {
106 .\OT1/cmtt/m/n/10 l
107 .\OT1/cmtt/m/n/10 e
108 .\OT1/cmtt/m/n/10 m
109 .\OT1/cmtt/m/n/10 m
110 .\OT1/cmtt/m/n/10 a
111 .\OT1/cmtt/m/n/10 }
112 .\glue(\rightskip) 0.0
113 Completed box being shipped out [1]
114 \vbox(620.0+0.0)x408.0
115 .\glue 27.0
116 .\vbox(593.0+0.0)x345.0, shifted 63.0
117 ..\vbox(12.0+0.0)x345.0, glue set 12.0fil
118 ...\glue 0.0 plus 1.0fil
119 ...\hbox(0.0+0.0)x345.0
120 ..\glue 25.0
121 ..\glue(\lineskip) 0.0
122 ..\vbox(526.0+0.0)x345.0, glue set 369.92706fil
123 ...\mark{{}{}}
124 ...\write-{}
125 ...\glue(\topskip) 10.0
126 ...\hbox(0.0+0.0)x0.0
127 ...\glue 20.00003
128 ...\glue -20.00003
129 ...\penalty -51
130 ...\glue 20.00003
131 ...\glue(\parskip) 0.0 plus 1.0
132 ...\glue(\baselineskip) 10.0
133 ...\hbox(12.0+0.0)x345.0, glue set 161.9668fil
134 ....\glue(\leftskip) 0.0 plus 1.0fil
135 ....\hbox(0.0+0.0)x0.0
136 .....\glue 0.0
137 .....\glue 0.0
138 .....\glue -5.0
139 .....\hbox(0.0+0.0)x0.0
140 .....\glue 5.0
141 ....\penalty 0
142 ....\OT1/cmr/m/n/17.28 f
143 ....\OT1/cmr/m/n/17.28 o
144 ....\kern0.45139
145 ....\OT1/cmr/m/n/17.28 o
146 ....\penalty 10000
147 ....\glue(\parfillskip) 0.0
148 ....\glue(\rightskip) 0.0 plus 1.0fil
149 ...\glue 15.00002
150 ...\glue(\parskip) 0.0 plus 1.0
151 ...\glue(\baselineskip) 4.20004
152 ...\hbox(9.79996+4.20004)x345.0, glue set 37.14183fil
153 ....\glue(\leftskip) 0.0 plus 1.0fil
154 ....\hbox(0.0+0.0)x0.0
155 ....\hbox(9.79996+4.20004)x270.71634
156 .....\mathon
157 .....\vbox(9.79996+4.20004)x270.71634
158 ......\hbox(9.79996+4.20004)x270.71634
159 .......\glue(\tabskip) 0.0
160 .......\hbox(9.79996+4.20004)x270.71634
161 ........\rule(9.79996+4.20004)x0.0
162 ........\glue 6.0
163 ........\glue 0.0 plus 1.0fil
164 ........\OT1/cmr/m/n/12 E
165 ........\OT1/cmr/m/n/12 -
166 ........\OT1/cmr/m/n/12 m
167 ........\OT1/cmr/m/n/12 a
168 ........\OT1/cmr/m/n/12 i
169 ........\OT1/cmr/m/n/12 l
170 ........\OT1/cmr/m/n/12 :
171 ........\glue 5.22217 plus 3.91663 minus 0.65277
172 ........\hbox(0.0+0.0)x0.0
173 ........\OT1/cmtt/m/n/12 j
174 ........\OT1/cmtt/m/n/12 e
175 ........\OT1/cmtt/m/n/12 n
176 ........\OT1/cmtt/m/n/12 n
177 ........\OT1/cmtt/m/n/12 i
178 ........\OT1/cmtt/m/n/12 e
179 ........\OT1/cmtt/m/n/12 ,
180 ........\OT1/cmtt/m/n/12 x
181 ........\OT1/cmtt/m/n/12 i
182 ........\OT1/cmtt/m/n/12 a
183 ........\OT1/cmtt/m/n/12 n
184 ........\OT1/cmtt/m/n/12 m
185 ........\OT1/cmtt/m/n/12 o
186 ........\OT1/cmtt/m/n/12 ,
187 ........\OT1/cmtt/m/n/12 y
188 ........\OT1/cmtt/m/n/12 u
189 ........\OT1/cmtt/m/n/12 l
190 ........\OT1/cmtt/m/n/12 i
191 ........\OT1/cmtt/m/n/12 a
192 ........\OT1/cmtt/m/n/12 n
193 ........\OT1/cmtt/m/n/12 g
194 ........\OT1/cmtt/m/n/12 @
195 ........\OT1/cmtt/m/n/12 c
196 ........\OT1/cmtt/m/n/12 s
197 ........\OT1/cmtt/m/n/12 .
198 ........\OT1/cmtt/m/n/12 u
199 ........\OT1/cmtt/m/n/12 o
200 ........\OT1/cmtt/m/n/12 w
201 ........\OT1/cmtt/m/n/12 .
202 ........\OT1/cmtt/m/n/12 e
203 ........\OT1/cmtt/m/n/12 d
204 ........\OT1/cmtt/m/n/12 u
205 ........\OT1/cmtt/m/n/12 .
206 ........\OT1/cmtt/m/n/12 a
207 ........\OT1/cmtt/m/n/12 u
208 ........\glue 0.0 plus 1.0fil
209 ........\glue 6.0
210 .......\glue(\tabskip) 0.0
211 .....\mathoff
212 ....\penalty 10000
213 ....\glue(\parfillskip) 0.0
214 ....\glue(\rightskip) 0.0 plus 1.0fil
215 ...\glue 10.00002
216 ...\glue(\parskip) 0.0 plus 1.0
217 ...\glue(\lineskip) 1.0
218 ...\hbox(8.33331+2.33331)x345.0, glue set 133.00945fil
219 ....\glue(\leftskip) 0.0 plus 1.0fil
220 ....\hbox(0.0+0.0)x0.0
221 ....\OT1/cmr/m/n/12 M
222 ....\OT1/cmr/m/n/12 a
223 ....\OT1/cmr/m/n/12 r
224 ....\OT1/cmr/m/n/12 c
225 ....\kern-0.32639
226 ....\OT1/cmr/m/n/12 h
227 ....\glue 3.91663 plus 1.95831 minus 1.30554
228 ....\OT1/cmr/m/n/12 1
229 ....\OT1/cmr/m/n/12 4
230 ....\OT1/cmr/m/n/12 ,
231 ....\glue 3.91663 plus 2.44789 minus 1.04443
232 ....\OT1/cmr/m/n/12 1
233 ....\OT1/cmr/m/n/12 9
234 ....\OT1/cmr/m/n/12 9
235 ....\OT1/cmr/m/n/12 4
236 ....\penalty 10000
237 ....\glue(\parfillskip) 0.0
238 ....\glue(\rightskip) 0.0 plus 1.0fil
239 ...\penalty -51
240 ...\glue 10.0 plus 3.0 minus 5.0
241 ...\glue 15.00002
242 ...\glue(\parskip) 0.0 plus 1.0
243 ...\glue(\baselineskip) 2.72224
244 ...\hbox(6.94444+2.22223)x345.0
245 ....\hbox(0.0+0.0)x15.0
246 ....\hbox(0.0+0.0)x0.0
247 ....\OT1/cmtt/m/n/10 \
248 ....\OT1/cmtt/m/n/10 b
249 ....\OT1/cmtt/m/n/10 e
250 ....\OT1/cmtt/m/n/10 g
251 ....\OT1/cmtt/m/n/10 i
252 ....\OT1/cmtt/m/n/10 n
253 ....\OT1/cmtt/m/n/10 {
254 ....\OT1/cmtt/m/n/10 l
255 ....\OT1/cmtt/m/n/10 e
256 ....\OT1/cmtt/m/n/10 m
257 ....\OT1/cmtt/m/n/10 m
258 ....\OT1/cmtt/m/n/10 a
259 ....\OT1/cmtt/m/n/10 }
260 ....\OT1/cmtt/m/n/10 [
261 ....\OT1/cmtt/m/n/10 a
262 ....\OT1/cmtt/m/n/10 d
263 ....\OT1/cmtt/m/n/10 d
264 ....\OT1/cmtt/m/n/10 i
265 ....\OT1/cmtt/m/n/10 t
266 ....\OT1/cmtt/m/n/10 i
267 ....\OT1/cmtt/m/n/10 o
268 ....\OT1/cmtt/m/n/10 n
269 ....\OT1/cmtt/m/n/10 a
270 ....\OT1/cmtt/m/n/10 l
271 ....\penalty 10000
272 ....\glue 5.24995
273 ....\OT1/cmtt/m/n/10 e
274 ....\OT1/cmtt/m/n/10 x
275 ....\OT1/cmtt/m/n/10 p
276 ....\OT1/cmtt/m/n/10 l
277 ....\OT1/cmtt/m/n/10 a
278 ....\OT1/cmtt/m/n/10 n
279 ....\OT1/cmtt/m/n/10 a
280 ....\OT1/cmtt/m/n/10 t
281 ....\OT1/cmtt/m/n/10 i
282 ....\OT1/cmtt/m/n/10 o
283 ....\OT1/cmtt/m/n/10 n
284 ....\penalty 10000
285 ....\glue 5.24995
286 ....\OT1/cmtt/m/n/10 o
287 ....\OT1/cmtt/m/n/10 f
288 ....\penalty 10000
289 ....\glue 5.24995
290 ....\OT1/cmtt/m/n/10 l
291 ....\OT1/cmtt/m/n/10 e
292 ....\OT1/cmtt/m/n/10 m
293 ....\OT1/cmtt/m/n/10 m
294 ....\OT1/cmtt/m/n/10 a
295 ....\OT1/cmtt/m/n/10 ]
296 ....\penalty 10000
297 ....\glue 5.24995
298 ....\OT1/cmtt/m/n/10 T
299 ....\OT1/cmtt/m/n/10 e
300 ....\OT1/cmtt/m/n/10 x
301 ....\OT1/cmtt/m/n/10 t
302 ....\penalty 10000
303 ....\glue 5.24995
304 ....\OT1/cmtt/m/n/10 o
305 ....\OT1/cmtt/m/n/10 f
306 ....\glue 5.24995
307 ....\OT1/cmtt/m/n/10 l
308 ....\OT1/cmtt/m/n/10 e
309 ....\OT1/cmtt/m/n/10 m
310 ....\OT1/cmtt/m/n/10 m
311 ....\OT1/cmtt/m/n/10 a
312 ....\penalty 10000
313 ....\glue 5.24995
314 ....\OT1/cmtt/m/n/10 \
315 ....\OT1/cmtt/m/n/10 e
316 ....\OT1/cmtt/m/n/10 n
317 ....\OT1/cmtt/m/n/10 d
318 ....\OT1/cmtt/m/n/10 {
319 ....\OT1/cmtt/m/n/10 l
320 ....\OT1/cmtt/m/n/10 e
321 ....\OT1/cmtt/m/n/10 m
322 ....\OT1/cmtt/m/n/10 m
323 ....\OT1/cmtt/m/n/10 a
324 ....\OT1/cmtt/m/n/10 }
325 ....\glue(\rightskip) 0.0
326 ...\penalty 300
327 ...\glue(\baselineskip) 2.27777
328 ...\hbox(7.5+2.5)x345.0, glue set 245.4998fil
329 ....\OT1/cmr/m/n/10 (
330 ....\OT1/cmr/m/n/10 s
331 ....\OT1/cmr/m/n/10 e
332 ....\OT1/cmr/m/n/10 e
333 ....\glue 3.33333 plus 1.66666 minus 1.11111
334 ....\OT1/cmr/m/n/10 O
335 ....\OT1/cmr/m/n/10 u
336 ....\OT1/cmr/m/n/10 t
337 ....\discretionary
338 .....\OT1/cmr/m/n/10 -
339 ....\OT1/cmr/m/n/10 p
340 ....\OT1/cmr/m/n/10 u
341 ....\OT1/cmr/m/n/10 t
342 ....\glue 3.33333 plus 1.66666 minus 1.11111
343 ....\OT1/cmr/m/n/10 S
344 ....\OT1/cmr/m/n/10 a
345 ....\OT1/cmr/m/n/10 m
346 ....\discretionary
347 .....\OT1/cmr/m/n/10 -
348 ....\OT1/cmr/m/n/10 p
349 ....\OT1/cmr/m/n/10 l
350 ....\OT1/cmr/m/n/10 e
351 ....\glue 3.33333 plus 1.66666 minus 1.11111
352 ....\OT1/cmr/m/n/10 2
353 ....\OT1/cmr/m/n/10 )
354 ....\penalty 10000
355 ....\glue(\parfillskip) 0.0 plus 1.0fil
356 ....\glue(\rightskip) 0.0
357 ...\glue 0.0 plus 1.0fil
358 ...\glue 0.0
359 ...\glue 0.0 plus 0.0001fil
360 ..\glue(\baselineskip) 23.55556
361 ..\hbox(6.44444+0.0)x345.0, glue set 170.0fil
362 ...\glue 0.0 plus 1.0fil
363 ...\OT1/cmr/m/n/10 1
364 ...\glue 0.0 plus 1.0fil
365 (.aux)