Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 2 (mnemonics)
  Resolution =  72.27000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00001526 pixels per DVI unit
' TeX output 1997.01.16:1349'
 
42: beginning of page 0 
87: down3 282168 
91: push 
92: right3 32768 
[ ]
96: fntdef1 0: cmr10---loaded at size 655360 DVI units 
117: fntnum0 
118: setchar97 
119: setchar45 
120: setchar103 
121: setchar114 
122: setchar97 
123: w2 -18205 
126: setchar118 
127: w0 -18205 
128: setchar101 
129: setchar58 
130: right3 218453 
134: setchar123 
[a-grave: {]
135: setchar18 
136: w3 -327681 
140: setchar97 
141: setchar123 
[a{]
142: push 
143: setchar18 
144: w0 -327681 
145: setchar97 
[a]
146: pop 
147: right3 182045 
151: setchar123 
152: setchar123 
153: setchar123 
[ {{{]
154: pop 
155: y3 786432 
159: push 
160: right3 32768 
164: setchar97 
165: setchar45 
166: setchar97 
167: setchar99 
168: setchar117 
169: setchar116 
170: setchar101 
171: setchar58 
172: right3 218453 
176: setchar123 
[a-acute: {]
177: setchar19 
178: w3 -327681 
182: setchar97 
183: setchar123 
[a{]
184: push 
185: setchar19 
186: w0 -327681 
187: setchar97 
[a]
188: pop 
189: right3 182045 
193: setchar123 
194: setchar123 
195: setchar123 
[ {{{]
196: pop 
197: y0 786432 
198: push 
199: right3 32768 
203: setchar97 
204: setchar45 
205: setchar99 
206: setchar105 
207: setchar114 
208: setchar99 
209: setchar111 
210: setchar110 
[a-circon]
211: setchar13 
212: setchar101 
213: setchar120 
214: setchar58 
215: right3 218453 
219: setchar123 
220: setchar94 
221: w3 -327681 
225: setchar97 
226: setchar123 
[ex: {^a{]
227: push 
228: setchar94 
229: w0 -327681 
230: setchar97 
[^a]
231: pop 
232: right3 182045 
236: setchar123 
237: setchar123 
238: setchar123 
[ {{{]
239: pop 
240: y0 786432 
241: push 
242: right3 32768 
246: setchar97 
247: setchar45 
248: setchar117 
249: setchar109 
250: setchar108 
251: setchar97 
252: setchar117 
253: setchar116 
254: setchar58 
255: right3 218453 
259: setchar123 
[a-umlaut: {]
260: setchar127 
261: w3 -327681 
265: setchar97 
266: setchar123 
[a{]
267: push 
268: setchar127 
269: w0 -327681 
270: setchar97 
[a]
271: pop 
272: right3 182045 
276: setchar123 
277: setchar123 
278: setchar123 
[ {{{]
279: pop 
280: y0 786432 
281: push 
282: right3 32768 
286: setchar99 
287: setchar45 
288: setchar99 
289: setchar101 
290: setchar100 
291: setchar105 
292: setchar108 
293: setchar108 
294: setchar101 
295: setchar58 
296: right3 218453 
300: setchar123 
[c-cedille: {]
301: setchar24 
302: w3 -291271 
306: setchar99 
307: setchar123 
[c{]
308: push 
309: setchar24 
310: w0 -291271 
311: setchar99 
[c]
312: pop 
313: right3 182045 
317: setchar123 
318: setchar123 
319: setchar123 
[ {{{]
320: pop 
321: eop 
Postamble starts at byte 322.
maxv=3427896, maxh=9472573, maxstackdepth=2, totalpages=1
Font 0: cmr10 
 
