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