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