numerator/denominator=25400000/473628672
magnification=1000;       0.00006334 pixels per DVI unit
' TeX output 1776.07.04:1200'
Postamble starts at byte 1290.
maxv=43725786, maxh=30785863, maxstackdepth=2, totalpages=1
Font 36: cmti10---loaded at size 655360 DVI units 
Font 23: cmbx10---loaded at size 655360 DVI units 
Font 12: cmsy10---loaded at size 655360 DVI units 
Font 6: cmmi10---loaded at size 655360 DVI units 
Font 0: cmr10---loaded at size 655360 DVI units 
 
42: beginning of page 1 
87: push 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
88: down3 -917504 v:=0-917504=-917504, vv:=-58 
92: pop 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
93: down4 42152922 v:=0+42152922=42152922, vv:=2670 
98: push 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
99: down4 -41497562 v:=42152922-41497562=655360, vv:=42 
104: push 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=42) 
105: right3 1310720 h:=0+1310720=1310720, hh:=83 
[ ]
109: fntdef1 0: cmr10 
130: fntnum0 current font is cmr10 
131: setchar84 h:=1310720+473316=1784036, hh:=113 
132: setchar104 h:=1784036+364090=2148126, hh:=136 
133: setchar101 h:=2148126+291271=2439397, hh:=154 
134: w3 251967 h:=2439397+251967=2691364, hh:=170 
138: setchar102 h:=2691364+200250=2891614, hh:=183 
139: setchar111 h:=2891614+327681=3219295, hh:=204 
140: setchar117 h:=3219295+364090=3583385, hh:=227 
141: setchar110 h:=3583385+364090=3947475, hh:=250 
142: setchar100 h:=3947475+364090=4311565, hh:=273 
143: setchar97 h:=4311565+327681=4639246, hh:=294 
144: setchar116 h:=4639246+254863=4894109, hh:=310 
145: setchar105 h:=4894109+182045=5076154, hh:=322 
146: setchar111 h:=5076154+327681=5403835, hh:=343 
147: setchar110 h:=5403835+364090=5767925, hh:=366 
148: setchar115 h:=5767925+258503=6026428, hh:=382 
149: w0 251967 h:=6026428+251967=6278395, hh:=398 
150: setchar111 h:=6278395+327681=6606076, hh:=419 
151: setchar102 h:=6606076+200250=6806326, hh:=432 
152: w0 251967 h:=6806326+251967=7058293, hh:=447 
153: setchar116 h:=7058293+254863=7313156, hh:=463 
154: setchar104 h:=7313156+364090=7677246, hh:=486 
155: setchar101 h:=7677246+291271=7968517, hh:=504 
156: w0 251967 h:=7968517+251967=8220484, hh:=521 
157: setchar114 h:=8220484+256683=8477167, hh:=537 
158: setchar105 h:=8477167+182045=8659212, hh:=549 
159: setchar103 h:=8659212+327681=8986893, hh:=570 
160: setchar111 h:=8986893+327681=9314574, hh:=591 
161: setchar114 h:=9314574+256683=9571257, hh:=607 
162: setchar111 h:=9571257+327681=9898938, hh:=628 
163: setchar117 h:=9898938+364090=10263028, hh:=651 
164: setchar115 h:=10263028+258503=10521531, hh:=667 
165: right3 251968 h:=10521531+251968=10773499, hh:=682 
169: setchar115 h:=10773499+258503=11032002, hh:=698 
170: setchar116 h:=11032002+254863=11286865, hh:=714 
171: setchar117 h:=11286865+364090=11650955, hh:=737 
172: setchar100 h:=11650955+364090=12015045, hh:=760 
173: setchar121 h:=12015045+345886=12360931, hh:=782 
174: w0 251967 h:=12360931+251967=12612898, hh:=799 
175: setchar111 h:=12612898+327681=12940579, hh:=820 
176: setchar102 h:=12940579+200250=13140829, hh:=833 
177: w0 251967 h:=13140829+251967=13392796, hh:=848 
[The foundations of the rigorous study of ]
178: fntdef1 36: cmti10 
200: fntnum36 current font is cmti10 
201: setchar97 h:=13392796+334960=13727756, hh:=869 
202: setchar110 h:=13727756+368456=14096212, hh:=892 
203: setchar97 h:=14096212+334960=14431172, hh:=913 
204: setchar108 h:=14431172+167480=14598652, hh:=924 
205: setchar121 h:=14598652+318211=14916863, hh:=944 
206: setchar115 h:=14916863+267968=15184831, hh:=961 
207: setchar105 h:=15184831+200976=15385807, hh:=974 
208: setchar115 h:=15385807+267968=15653775, hh:=991 
209: w0 251967 h:=15653775+251967=15905742, hh:=1007 
[analysis ]
210: fntnum0 current font is cmr10 
211: setchar119 h:=15905742+473316=16379058, hh:=1037 
212: x2 -18205 h:=16379058-18205=16360853, hh:=1036 
215: setchar101 h:=16360853+291271=16652124, hh:=1054 
216: setchar114 h:=16652124+256683=16908807, hh:=1070 
217: setchar101 h:=16908807+291271=17200078, hh:=1088 
218: w0 251967 h:=17200078+251967=17452045, hh:=1105 
219: setchar108 h:=17452045+182045=17634090, hh:=1117 
220: setchar97 h:=17634090+327681=17961771, hh:=1138 
221: setchar105 h:=17961771+182045=18143816, hh:=1150 
222: setchar100 h:=18143816+364090=18507906, hh:=1173 
223: w0 251967 h:=18507906+251967=18759873, hh:=1188 
224: setchar105 h:=18759873+182045=18941918, hh:=1200 
225: setchar110 h:=18941918+364090=19306008, hh:=1223 
226: w0 251967 h:=19306008+251967=19557975, hh:=1239 
227: setchar116 h:=19557975+254863=19812838, hh:=1255 
228: setchar104 h:=19812838+364090=20176928, hh:=1278 
229: setchar101 h:=20176928+291271=20468199, hh:=1296 
230: w0 251967 h:=20468199+251967=20720166, hh:=1312 
231: setchar110 h:=20720166+364090=21084256, hh:=1335 
232: setchar105 h:=21084256+182045=21266301, hh:=1347 
233: setchar110 h:=21266301+364090=21630391, hh:=1370 
234: setchar101 h:=21630391+291271=21921662, hh:=1388 
235: setchar116 h:=21921662+254863=22176525, hh:=1404 
236: setchar101 h:=22176525+291271=22467796, hh:=1422 
237: setchar101 h:=22467796+291271=22759067, hh:=1440 
238: setchar110 h:=22759067+364090=23123157, hh:=1463 
239: x0 -18205 h:=23123157-18205=23104952, hh:=1462 
240: setchar116 h:=23104952+254863=23359815, hh:=1478 
241: setchar104 h:=23359815+364090=23723905, hh:=1501 
242: w0 251967 h:=23723905+251967=23975872, hh:=1519 
243: setchar99 h:=23975872+291271=24267143, hh:=1537 
244: setchar101 h:=24267143+291271=24558414, hh:=1555 
245: setchar110 h:=24558414+364090=24922504, hh:=1578 
246: x0 -18205 h:=24922504-18205=24904299, hh:=1577 
247: setchar116 h:=24904299+254863=25159162, hh:=1593 
248: setchar117 h:=25159162+364090=25523252, hh:=1616 
249: setchar114 h:=25523252+256683=25779935, hh:=1632 
250: setchar121 h:=25779935+345886=26125821, hh:=1654 
251: right3 -54614 h:=26125821-54614=26071207, hh:=1651 
255: setchar44 h:=26071207+182045=26253252, hh:=1663 
256: right3 260346 h:=26253252+260346=26513598, hh:=1679 
260: setchar110 h:=26513598+364090=26877688, hh:=1702 
261: setchar111 h:=26877688+327681=27205369, hh:=1723 
262: setchar116 h:=27205369+254863=27460232, hh:=1739 
263: setchar97 h:=27460232+327681=27787913, hh:=1760 
264: setchar98 h:=27787913+364090=28152003, hh:=1783 
265: setchar108 h:=28152003+182045=28334048, hh:=1795 
266: setchar121 h:=28334048+345886=28679934, hh:=1817 
267: w0 251967 h:=28679934+251967=28931901, hh:=1833 
268: setchar98 h:=28931901+364090=29295991, hh:=1856 
269: x0 -18205 h:=29295991-18205=29277786, hh:=1855 
270: setchar121 h:=29277786+345886=29623672, hh:=1877 
271: w0 251967 h:=29623672+251967=29875639, hh:=1892 
272: setchar116 h:=29875639+254863=30130502, hh:=1908 
273: setchar104 h:=30130502+364090=30494592, hh:=1931 
274: setchar101 h:=30494592+291271=30785863, hh:=1949 
[were laid in the nineteenth century, notably by the]
275: pop 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=42) 
276: y3 786432 v:=655360+786432=1441792, vv:=91 
280: push 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=91) 
281: setchar109 h:=0+546135=546135, hh:=35 
282: setchar97 h:=546135+327681=873816, hh:=56 
283: setchar116 h:=873816+254863=1128679, hh:=72 
284: setchar104 h:=1128679+364090=1492769, hh:=95 
285: setchar101 h:=1492769+291271=1784040, hh:=113 
286: setchar109 h:=1784040+546135=2330175, hh:=148 
287: setchar97 h:=2330175+327681=2657856, hh:=169 
288: setchar116 h:=2657856+254863=2912719, hh:=185 
289: setchar105 h:=2912719+182045=3094764, hh:=197 
290: setchar99 h:=3094764+291271=3386035, hh:=215 
291: setchar105 h:=3386035+182045=3568080, hh:=227 
292: setchar97 h:=3568080+327681=3895761, hh:=248 
293: setchar110 h:=3895761+364090=4259851, hh:=271 
294: setchar115 h:=4259851+258503=4518354, hh:=287 
295: x3 237744 h:=4518354+237744=4756098, hh:=301 
299: setchar67 h:=4756098+473316=5229414, hh:=331 
300: setchar97 h:=5229414+327681=5557095, hh:=352 
301: setchar117 h:=5557095+364090=5921185, hh:=375 
302: setchar99 h:=5921185+291271=6212456, hh:=393 
303: w2 -18205 h:=6212456-18205=6194251, hh:=392 
306: setchar104 h:=6194251+364090=6558341, hh:=415 
307: w0 -18205 h:=6558341-18205=6540136, hh:=414 
308: setchar121 h:=6540136+345886=6886022, hh:=436 
309: right3 237745 h:=6886022+237745=7123767, hh:=451 
313: setchar97 h:=7123767+327681=7451448, hh:=472 
314: setchar110 h:=7451448+364090=7815538, hh:=495 
315: setchar100 h:=7815538+364090=8179628, hh:=518 
316: x0 237744 h:=8179628+237744=8417372, hh:=533 
317: setchar87 h:=8417372+673566=9090938, hh:=576 
318: right3 -54614 h:=9090938-54614=9036324, hh:=573 
322: setchar101 h:=9036324+291271=9327595, hh:=591 
323: setchar105 h:=9327595+182045=9509640, hh:=603 
324: setchar101 h:=9509640+291271=9800911, hh:=621 
325: setchar114 h:=9800911+256683=10057594, hh:=637 
326: setchar115 h:=10057594+258503=10316097, hh:=653 
327: setchar116 h:=10316097+254863=10570960, hh:=669 
328: setchar114 h:=10570960+256683=10827643, hh:=685 
329: setchar97 h:=10827643+327681=11155324, hh:=706 
330: setchar115 h:=11155324+258503=11413827, hh:=722 
331: setchar115 h:=11413827+258503=11672330, hh:=738 
332: setchar46 h:=11672330+182045=11854375, hh:=750 
333: right3 349145 h:=11854375+349145=12203520, hh:=773 
337: setchar67 h:=12203520+473316=12676836, hh:=803 
338: setchar101 h:=12676836+291271=12968107, hh:=821 
339: setchar110 h:=12968107+364090=13332197, hh:=844 
340: w0 -18205 h:=13332197-18205=13313992, hh:=843 
341: setchar116 h:=13313992+254863=13568855, hh:=859 
342: setchar114 h:=13568855+256683=13825538, hh:=875 
343: setchar97 h:=13825538+327681=14153219, hh:=896 
344: setchar108 h:=14153219+182045=14335264, hh:=908 
345: x0 237744 h:=14335264+237744=14573008, hh:=923 
346: setchar116 h:=14573008+254863=14827871, hh:=939 
347: setchar111 h:=14827871+327681=15155552, hh:=960 
348: w3 237745 h:=15155552+237745=15393297, hh:=975 
352: setchar116 h:=15393297+254863=15648160, hh:=991 
353: setchar104 h:=15648160+364090=16012250, hh:=1014 
354: setchar101 h:=16012250+291271=16303521, hh:=1032 
355: x0 237744 h:=16303521+237744=16541265, hh:=1048 
356: setchar115 h:=16541265+258503=16799768, hh:=1064 
357: setchar116 h:=16799768+254863=17054631, hh:=1080 
358: setchar117 h:=17054631+364090=17418721, hh:=1103 
359: setchar100 h:=17418721+364090=17782811, hh:=1126 
360: setchar121 h:=17782811+345886=18128697, hh:=1148 
361: w0 237745 h:=18128697+237745=18366442, hh:=1163 
362: setchar111 h:=18366442+327681=18694123, hh:=1184 
363: setchar102 h:=18694123+200250=18894373, hh:=1197 
364: x0 237744 h:=18894373+237744=19132117, hh:=1212 
365: setchar116 h:=19132117+254863=19386980, hh:=1228 
366: setchar104 h:=19386980+364090=19751070, hh:=1251 
367: setchar105 h:=19751070+182045=19933115, hh:=1263 
368: setchar115 h:=19933115+258503=20191618, hh:=1279 
369: x0 237744 h:=20191618+237744=20429362, hh:=1294 
370: setchar115 h:=20429362+258503=20687865, hh:=1310 
371: setchar117 h:=20687865+364090=21051955, hh:=1333 
372: setchar98 h:=21051955+364090=21416045, hh:=1356 
373: right3 36408 h:=21416045+36408=21452453, hh:=1358 
377: setchar106 h:=21452453+200250=21652703, hh:=1371 
378: setchar101 h:=21652703+291271=21943974, hh:=1389 
379: setchar99 h:=21943974+291271=22235245, hh:=1407 
380: setchar116 h:=22235245+254863=22490108, hh:=1423 
381: w0 237745 h:=22490108+237745=22727853, hh:=1440 
382: setchar97 h:=22727853+327681=23055534, hh:=1461 
[mathematicians Cauchy and Weierstrass. Central to the study of this subject a]
383: setchar114 h:=23055534+256683=23312217, hh:=1477 
384: setchar101 h:=23312217+291271=23603488, hh:=1495 
385: x0 237744 h:=23603488+237744=23841232, hh:=1510 
386: setchar116 h:=23841232+254863=24096095, hh:=1526 
387: setchar104 h:=24096095+364090=24460185, hh:=1549 
388: setchar101 h:=24460185+291271=24751456, hh:=1567 
389: x0 237744 h:=24751456+237744=24989200, hh:=1583 
390: setchar102 h:=24989200+200250=25189450, hh:=1596 
391: setchar111 h:=25189450+327681=25517131, hh:=1617 
392: setchar114 h:=25517131+256683=25773814, hh:=1633 
393: setchar109 h:=25773814+546135=26319949, hh:=1668 
394: setchar97 h:=26319949+327681=26647630, hh:=1689 
395: setchar108 h:=26647630+182045=26829675, hh:=1701 
396: w0 237745 h:=26829675+237745=27067420, hh:=1714 
397: setchar100 h:=27067420+364090=27431510, hh:=1737 
398: setchar101 h:=27431510+291271=27722781, hh:=1755 
[re the formal de]
399: setchar12 h:=27722781+364090=28086871, hh:=1778 
400: setchar110 h:=28086871+364090=28450961, hh:=1801 
401: setchar105 h:=28450961+182045=28633006, hh:=1813 
402: setchar116 h:=28633006+254863=28887869, hh:=1829 
403: setchar105 h:=28887869+182045=29069914, hh:=1841 
404: setchar111 h:=29069914+327681=29397595, hh:=1862 
405: setchar110 h:=29397595+364090=29761685, hh:=1885 
406: setchar115 h:=29761685+258503=30020188, hh:=1901 
407: x0 237744 h:=30020188+237744=30257932, hh:=1917 
408: setchar111 h:=30257932+327681=30585613, hh:=1938 
409: setchar102 h:=30585613+200250=30785863, hh:=1951 
[nitions of]
410: pop 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=91) 
411: y0 786432 v:=1441792+786432=2228224, vv:=141 
412: push 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=141) 
413: fntnum36 current font is cmti10 
414: setchar108 h:=0+167480=167480, hh:=11 
415: setchar105 h:=167480+200976=368456, hh:=24 
416: setchar109 h:=368456+535936=904392, hh:=58 
417: setchar105 h:=904392+200976=1105368, hh:=71 
418: setchar116 h:=1105368+217723=1323091, hh:=85 
419: setchar115 h:=1323091+267968=1591059, hh:=102 
420: w3 218453 h:=1591059+218453=1809512, hh:=115 
[limits ]
424: fntnum0 current font is cmr10 
425: setchar97 h:=1809512+327681=2137193, hh:=136 
426: setchar110 h:=2137193+364090=2501283, hh:=159 
427: setchar100 h:=2501283+364090=2865373, hh:=182 
428: w0 218453 h:=2865373+218453=3083826, hh:=195 
[and ]
429: fntnum36 current font is cmti10 
430: setchar99 h:=3083826+301463=3385289, hh:=214 
431: right3 -33497 h:=3385289-33497=3351792, hh:=212 
435: setchar111 h:=3351792+334960=3686752, hh:=233 
436: setchar110 h:=3686752+368456=4055208, hh:=256 
437: setchar116 h:=4055208+217723=4272931, hh:=270 
438: setchar105 h:=4272931+200976=4473907, hh:=283 
439: setchar110 h:=4473907+368456=4842363, hh:=306 
440: setchar117 h:=4842363+351708=5194071, hh:=328 
441: setchar105 h:=5194071+200976=5395047, hh:=341 
442: setchar116 h:=5395047+217723=5612770, hh:=355 
443: setchar121 h:=5612770+318211=5930981, hh:=375 
[continuity]
444: fntnum0 current font is cmr10 
445: setchar46 h:=5930981+182045=6113026, hh:=387 
[.]
446: pop 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=141) 
447: y0 786432 v:=2228224+786432=3014656, vv:=191 
448: push 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=191) 
449: right3 1310720 h:=0+1310720=1310720, hh:=83 
453: setchar76 h:=1310720+409601=1720321, hh:=109 
454: setchar101 h:=1720321+291271=2011592, hh:=127 
455: setchar116 h:=2011592+254863=2266455, hh:=143 
456: w3 217772 h:=2266455+217772=2484227, hh:=157 
[ Let ]
460: fntdef1 6: cmmi10 
482: fntnum6 current font is cmmi10 
483: setchar68 h:=2484227+542583=3026810, hh:=191 
484: right3 235976 h:=3026810+235976=3262786, hh:=207 
[D ]
488: fntnum0 current font is cmr10 
489: setchar98 h:=3262786+364090=3626876, hh:=230 
490: right2 18205 h:=3626876+18205=3645081, hh:=231 
493: setchar101 h:=3645081+291271=3936352, hh:=249 
494: w0 217772 h:=3936352+217772=4154124, hh:=263 
495: setchar97 h:=4154124+327681=4481805, hh:=284 
496: x3 217771 h:=4481805+217771=4699576, hh:=298 
500: setchar115 h:=4699576+258503=4958079, hh:=314 
501: setchar117 h:=4958079+364090=5322169, hh:=337 
502: setchar98 h:=5322169+364090=5686259, hh:=360 
503: setchar115 h:=5686259+258503=5944762, hh:=376 
504: setchar101 h:=5944762+291271=6236033, hh:=394 
505: setchar116 h:=6236033+254863=6490896, hh:=410 
506: w0 217772 h:=6490896+217772=6708668, hh:=425 
507: setchar111 h:=6708668+327681=7036349, hh:=446 
508: setchar102 h:=7036349+200250=7236599, hh:=459 
509: x0 217771 h:=7236599+217771=7454370, hh:=472 
[be a subset of ]
510: fntdef1 23: cmbx10 
532: fntnum23 current font is cmbx10 
533: setchar82 h:=7454370+565245=8019615, hh:=508 
534: w0 217772 h:=8019615+217772=8237387, hh:=522 
[R ]
535: fntnum0 current font is cmr10 
536: setchar97 h:=8237387+327681=8565068, hh:=543 
537: setchar110 h:=8565068+364090=8929158, hh:=566 
538: setchar100 h:=8929158+364090=9293248, hh:=589 
539: x0 217771 h:=9293248+217771=9511019, hh:=602 
540: setchar108 h:=9511019+182045=9693064, hh:=614 
541: setchar101 h:=9693064+291271=9984335, hh:=632 
542: setchar116 h:=9984335+254863=10239198, hh:=648 
543: w0 217772 h:=10239198+217772=10456970, hh:=662 
[and let ]
544: fntnum6 current font is cmmi10 
545: setchar102 h:=10456970+320855=10777825, hh:=682 
546: right3 70543 h:=10777825+70543=10848368, hh:=686 
[f]
550: fntnum0 current font is cmr10 
551: setchar58 h:=10848368+182045=11030413, hh:=698 
552: right3 109224 h:=11030413+109224=11139637, hh:=705 
[:]
556: fntnum6 current font is cmmi10 
557: setchar68 h:=11139637+542583=11682220, hh:=739 
558: right3 200245 h:=11682220+200245=11882465, hh:=753 
[D ]
562: fntdef1 12: cmsy10 
584: fntnum12 current font is cmsy10 
585: setchar33 h:=11882465+655361=12537826, hh:=795 
586: right3 182040 h:=12537826+182040=12719866, hh:=806 
[! ]
590: fntnum23 current font is cmbx10 
591: setchar82 h:=12719866+565245=13285111, hh:=842 
592: x0 217771 h:=13285111+217771=13502882, hh:=855 
[R ]
593: fntnum0 current font is cmr10 
594: setchar98 h:=13502882+364090=13866972, hh:=878 
595: right2 18205 h:=13866972+18205=13885177, hh:=879 
598: setchar101 h:=13885177+291271=14176448, hh:=897 
599: w0 217772 h:=14176448+217772=14394220, hh:=912 
600: setchar97 h:=14394220+327681=14721901, hh:=933 
601: x0 217771 h:=14721901+217771=14939672, hh:=946 
602: setchar114 h:=14939672+256683=15196355, hh:=962 
603: setchar101 h:=15196355+291271=15487626, hh:=980 
604: setchar97 h:=15487626+327681=15815307, hh:=1001 
605: setchar108 h:=15815307+182045=15997352, hh:=1013 
606: setchar45 h:=15997352+218453=16215805, hh:=1027 
607: setchar118 h:=16215805+345886=16561691, hh:=1049 
608: right3 -36409 h:=16561691-36409=16525282, hh:=1047 
612: setchar97 h:=16525282+327681=16852963, hh:=1068 
613: setchar108 h:=16852963+182045=17035008, hh:=1080 
614: setchar117 h:=17035008+364090=17399098, hh:=1103 
615: setchar101 h:=17399098+291271=17690369, hh:=1121 
616: setchar100 h:=17690369+364090=18054459, hh:=1144 
617: w0 217772 h:=18054459+217772=18272231, hh:=1157 
618: setchar102 h:=18272231+200250=18472481, hh:=1170 
619: setchar117 h:=18472481+364090=18836571, hh:=1193 
620: setchar110 h:=18836571+364090=19200661, hh:=1216 
621: setchar99 h:=19200661+291271=19491932, hh:=1234 
622: setchar116 h:=19491932+254863=19746795, hh:=1250 
623: setchar105 h:=19746795+182045=19928840, hh:=1262 
624: setchar111 h:=19928840+327681=20256521, hh:=1283 
625: setchar110 h:=20256521+364090=20620611, hh:=1306 
626: x0 217771 h:=20620611+217771=20838382, hh:=1320 
627: setchar111 h:=20838382+327681=21166063, hh:=1341 
628: setchar110 h:=21166063+364090=21530153, hh:=1364 
629: w0 217772 h:=21530153+217772=21747925, hh:=1378 
[be a real-valued function on ]
630: fntnum6 current font is cmmi10 
631: setchar68 h:=21747925+542583=22290508, hh:=1412 
632: right2 18205 h:=22290508+18205=22308713, hh:=1413 
[D]
635: fntnum0 current font is cmr10 
636: setchar46 h:=22308713+182045=22490758, hh:=1425 
637: right3 291044 h:=22490758+291044=22781802, hh:=1443 
641: setchar84 h:=22781802+473316=23255118, hh:=1473 
642: setchar104 h:=23255118+364090=23619208, hh:=1496 
643: setchar101 h:=23619208+291271=23910479, hh:=1514 
644: x0 217771 h:=23910479+217771=24128250, hh:=1528 
645: setchar102 h:=24128250+200250=24328500, hh:=1541 
646: setchar117 h:=24328500+364090=24692590, hh:=1564 
647: setchar110 h:=24692590+364090=25056680, hh:=1587 
648: setchar99 h:=25056680+291271=25347951, hh:=1605 
649: setchar116 h:=25347951+254863=25602814, hh:=1621 
650: setchar105 h:=25602814+182045=25784859, hh:=1633 
651: setchar111 h:=25784859+327681=26112540, hh:=1654 
652: setchar110 h:=26112540+364090=26476630, hh:=1677 
653: w0 217772 h:=26476630+217772=26694402, hh:=1691 
[. The function ]
654: fntnum6 current font is cmmi10 
655: setchar102 h:=26694402+320855=27015257, hh:=1711 
656: right3 288314 h:=27015257+288314=27303571, hh:=1729 
[f ]
660: fntnum0 current font is cmr10 
661: setchar105 h:=27303571+182045=27485616, hh:=1741 
662: setchar115 h:=27485616+258503=27744119, hh:=1757 
663: w0 217772 h:=27744119+217772=27961891, hh:=1771 
664: setchar115 h:=27961891+258503=28220394, hh:=1787 
665: setchar97 h:=28220394+327681=28548075, hh:=1808 
666: setchar105 h:=28548075+182045=28730120, hh:=1820 
667: setchar100 h:=28730120+364090=29094210, hh:=1843 
668: x0 217771 h:=29094210+217771=29311981, hh:=1857 
669: setchar116 h:=29311981+254863=29566844, hh:=1873 
670: setchar111 h:=29566844+327681=29894525, hh:=1894 
671: w0 217772 h:=29894525+217772=30112297, hh:=1907 
672: setchar98 h:=30112297+364090=30476387, hh:=1930 
673: right2 18205 h:=30476387+18205=30494592, hh:=1931 
676: setchar101 h:=30494592+291271=30785863, hh:=1949 
[is said to be]
677: pop 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=191) 
678: y0 786432 v:=3014656+786432=3801088, vv:=241 
679: push 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=241) 
680: fntnum36 current font is cmti10 
681: setchar99 h:=0+301463=301463, hh:=19 
682: right3 -33497 h:=301463-33497=267966, hh:=17 
686: setchar111 h:=267966+334960=602926, hh:=38 
687: setchar110 h:=602926+368456=971382, hh:=61 
688: setchar116 h:=971382+217723=1189105, hh:=75 
689: setchar105 h:=1189105+200976=1390081, hh:=88 
690: setchar110 h:=1390081+368456=1758537, hh:=111 
691: setchar117 h:=1758537+351708=2110245, hh:=133 
692: setchar111 h:=2110245+334960=2445205, hh:=154 
693: setchar117 h:=2445205+351708=2796913, hh:=176 
694: setchar115 h:=2796913+267968=3064881, hh:=193 
695: w3 231538 h:=3064881+231538=3296419, hh:=209 
[continuous ]
699: fntnum0 current font is cmr10 
700: setchar111 h:=3296419+327681=3624100, hh:=230 
701: setchar110 h:=3624100+364090=3988190, hh:=253 
702: x3 231539 h:=3988190+231539=4219729, hh:=267 
[on ]
706: fntnum6 current font is cmmi10 
707: setchar68 h:=4219729+542583=4762312, hh:=301 
708: right3 249743 h:=4762312+249743=5012055, hh:=317 
[D ]
712: fntnum0 current font is cmr10 
713: setchar105 h:=5012055+182045=5194100, hh:=329 
714: setchar102 h:=5194100+200250=5394350, hh:=342 
715: setchar44 h:=5394350+182045=5576395, hh:=354 
716: right3 234810 h:=5576395+234810=5811205, hh:=368 
720: setchar102 h:=5811205+200250=6011455, hh:=381 
721: setchar111 h:=6011455+327681=6339136, hh:=402 
722: setchar114 h:=6339136+256683=6595819, hh:=418 
723: w0 231538 h:=6595819+231538=6827357, hh:=432 
724: setchar97 h:=6827357+327681=7155038, hh:=453 
725: setchar108 h:=7155038+182045=7337083, hh:=465 
726: setchar108 h:=7337083+182045=7519128, hh:=477 
727: x0 231539 h:=7519128+231539=7750667, hh:=491 
[if, for all ]
728: fntnum6 current font is cmmi10 
729: setchar15 h:=7750667+266013=8016680, hh:=508 
730: right3 203848 h:=8016680+203848=8220528, hh:=521 
734: setchar62 h:=8220528+509726=8730254, hh:=553 
735: right3 203849 h:=8730254+203849=8934103, hh:=566 
[ > ]
739: fntnum0 current font is cmr10 
740: setchar48 h:=8934103+327681=9261784, hh:=587 
741: w0 231538 h:=9261784+231538=9493322, hh:=601 
742: setchar97 h:=9493322+327681=9821003, hh:=622 
743: setchar110 h:=9821003+364090=10185093, hh:=645 
744: setchar100 h:=10185093+364090=10549183, hh:=668 
745: x0 231539 h:=10549183+231539=10780722, hh:=683 
746: setchar102 h:=10780722+200250=10980972, hh:=696 
747: setchar111 h:=10980972+327681=11308653, hh:=717 
748: setchar114 h:=11308653+256683=11565336, hh:=733 
749: w0 231538 h:=11565336+231538=11796874, hh:=747 
750: setchar97 h:=11796874+327681=12124555, hh:=768 
751: setchar108 h:=12124555+182045=12306600, hh:=780 
752: setchar108 h:=12306600+182045=12488645, hh:=792 
753: w0 231538 h:=12488645+231538=12720183, hh:=806 
[0 and for all ]
754: fntnum6 current font is cmmi10 
755: setchar120 h:=12720183+374556=13094739, hh:=830 
756: w3 203849 h:=13094739+203849=13298588, hh:=842 
[x ]
760: fntnum12 current font is cmsy10 
761: setchar50 h:=13298588+436908=13735496, hh:=870 
762: w0 203849 h:=13735496+203849=13939345, hh:=883 
[2 ]
763: fntnum6 current font is cmmi10 
764: setchar68 h:=13939345+542583=14481928, hh:=917 
765: right2 18205 h:=14481928+18205=14500133, hh:=918 
[D]
768: fntnum0 current font is cmr10 
769: setchar44 h:=14500133+182045=14682178, hh:=930 
770: right3 234809 h:=14682178+234809=14916987, hh:=945 
774: setchar116 h:=14916987+254863=15171850, hh:=961 
775: setchar104 h:=15171850+364090=15535940, hh:=984 
776: setchar101 h:=15535940+291271=15827211, hh:=1002 
777: setchar114 h:=15827211+256683=16083894, hh:=1018 
778: setchar101 h:=16083894+291271=16375165, hh:=1036 
779: x0 231539 h:=16375165+231539=16606704, hh:=1052 
780: setchar101 h:=16606704+291271=16897975, hh:=1070 
781: setchar120 h:=16897975+345886=17243861, hh:=1092 
782: setchar105 h:=17243861+182045=17425906, hh:=1104 
783: setchar115 h:=17425906+258503=17684409, hh:=1120 
784: setchar116 h:=17684409+254863=17939272, hh:=1136 
785: setchar115 h:=17939272+258503=18197775, hh:=1152 
786: w3 231538 h:=18197775+231538=18429313, hh:=1167 
790: setchar115 h:=18429313+258503=18687816, hh:=1183 
791: setchar111 h:=18687816+327681=19015497, hh:=1204 
792: setchar109 h:=19015497+546135=19561632, hh:=1239 
793: setchar101 h:=19561632+291271=19852903, hh:=1257 
794: w0 231538 h:=19852903+231538=20084441, hh:=1272 
[, there exists some ]
795: fntnum6 current font is cmmi10 
796: setchar14 h:=20084441+291271=20375712, hh:=1290 
797: right3 228652 h:=20375712+228652=20604364, hh:=1305 
801: setchar62 h:=20604364+509726=21114090, hh:=1337 
802: right3 203849 h:=21114090+203849=21317939, hh:=1350 
[ > ]
806: fntnum0 current font is cmr10 
807: setchar48 h:=21317939+327681=21645620, hh:=1371 
808: w0 231538 h:=21645620+231538=21877158, hh:=1386 
809: setchar40 h:=21877158+254863=22132021, hh:=1402 
810: setchar119 h:=22132021+473316=22605337, hh:=1432 
811: setchar104 h:=22605337+364090=22969427, hh:=1455 
812: setchar105 h:=22969427+182045=23151472, hh:=1467 
813: setchar99 h:=23151472+291271=23442743, hh:=1485 
814: x2 -18205 h:=23442743-18205=23424538, hh:=1484 
817: setchar104 h:=23424538+364090=23788628, hh:=1507 
818: w0 231538 h:=23788628+231538=24020166, hh:=1521 
819: setchar109 h:=24020166+546135=24566301, hh:=1556 
820: setchar97 h:=24566301+327681=24893982, hh:=1577 
821: x0 -18205 h:=24893982-18205=24875777, hh:=1576 
822: setchar121 h:=24875777+345886=25221663, hh:=1598 
823: x3 231539 h:=25221663+231539=25453202, hh:=1612 
827: setchar100 h:=25453202+364090=25817292, hh:=1635 
828: setchar101 h:=25817292+291271=26108563, hh:=1653 
829: setchar112 h:=26108563+364090=26472653, hh:=1676 
830: right2 18205 h:=26472653+18205=26490858, hh:=1677 
833: setchar101 h:=26490858+291271=26782129, hh:=1695 
834: setchar110 h:=26782129+364090=27146219, hh:=1718 
835: setchar100 h:=27146219+364090=27510309, hh:=1741 
836: w0 231538 h:=27510309+231538=27741847, hh:=1757 
837: setchar111 h:=27741847+327681=28069528, hh:=1778 
838: setchar110 h:=28069528+364090=28433618, hh:=1801 
839: x0 231539 h:=28433618+231539=28665157, hh:=1816 
[0 (which may depend on ]
840: fntnum6 current font is cmmi10 
841: setchar120 h:=28665157+374556=29039713, hh:=1840 
[x]
842: fntnum0 current font is cmr10 
843: setchar41 h:=29039713+254863=29294576, hh:=1856 
844: w0 231538 h:=29294576+231538=29526114, hh:=1870 
845: setchar115 h:=29526114+258503=29784617, hh:=1886 
846: setchar117 h:=29784617+364090=30148707, hh:=1909 
847: setchar99 h:=30148707+291271=30439978, hh:=1927 
848: right2 -18205 h:=30439978-18205=30421773, hh:=1926 
851: setchar104 h:=30421773+364090=30785863, hh:=1949 
[) such]
852: pop 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=241) 
853: y0 786432 v:=3801088+786432=4587520, vv:=291 
854: push 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=291) 
855: setchar116 h:=0+254863=254863, hh:=16 
856: setchar104 h:=254863+364090=618953, hh:=39 
857: setchar97 h:=618953+327681=946634, hh:=60 
858: setchar116 h:=946634+254863=1201497, hh:=76 
859: w3 218453 h:=1201497+218453=1419950, hh:=90 
863: setchar105 h:=1419950+182045=1601995, hh:=102 
864: setchar102 h:=1601995+200250=1802245, hh:=115 
865: w0 218453 h:=1802245+218453=2020698, hh:=128 
[that if ]
866: fntnum6 current font is cmmi10 
867: setchar121 h:=2020698+321311=2342009, hh:=148 
868: right3 205553 h:=2342009+205553=2547562, hh:=161 
[y ]
872: fntnum12 current font is cmsy10 
873: setchar50 h:=2547562+436908=2984470, hh:=189 
874: right3 182040 h:=2984470+182040=3166510, hh:=201 
[2 ]
878: fntnum6 current font is cmmi10 
879: setchar68 h:=3166510+542583=3709093, hh:=235 
880: right3 236658 h:=3709093+236658=3945751, hh:=250 
[D ]
884: fntnum0 current font is cmr10 
885: setchar115 h:=3945751+258503=4204254, hh:=266 
886: setchar97 h:=4204254+327681=4531935, hh:=287 
887: setchar116 h:=4531935+254863=4786798, hh:=303 
888: setchar105 h:=4786798+182045=4968843, hh:=315 
889: setchar115 h:=4968843+258503=5227346, hh:=331 
[satis]
890: setchar12 h:=5227346+364090=5591436, hh:=354 
891: setchar101 h:=5591436+291271=5882707, hh:=372 
892: setchar115 h:=5882707+258503=6141210, hh:=388 
[es]
893: pop 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=291) 
894: y0 786432 v:=4587520+786432=5373952, vv:=340 
895: push 
level 1:(h=0,v=5373952,w=0,x=0,y=786432,z=0,hh=0,vv=340) 
896: right4 13855762 h:=0+13855762=13855762, hh:=878 
[ ]
901: fntnum12 current font is cmsy10 
902: setchar106 h:=13855762+182045=14037807, hh:=890 
[j]
903: fntnum6 current font is cmmi10 
904: setchar121 h:=14037807+321311=14359118, hh:=910 
905: right3 169145 h:=14359118+169145=14528263, hh:=920 
[y ]
909: fntnum12 current font is cmsy10 
910: setchar0 h:=14528263+509726=15037989, hh:=952 
911: right3 145632 h:=15037989+145632=15183621, hh:=962 
[ ]
915: fntnum6 current font is cmmi10 
916: setchar120 h:=15183621+374556=15558177, hh:=986 
[x]
917: fntnum12 current font is cmsy10 
918: setchar106 h:=15558177+182045=15740222, hh:=998 
919: w3 182040 h:=15740222+182040=15922262, hh:=1009 
[j ]
923: fntnum6 current font is cmmi10 
924: setchar60 h:=15922262+509726=16431988, hh:=1041 
925: w0 182040 h:=16431988+182040=16614028, hh:=1052 
[< ]
926: setchar14 h:=16614028+291271=16905299, hh:=1070 
927: pop 
level 1:(h=0,v=5373952,w=0,x=0,y=786432,z=0,hh=0,vv=340) 
928: z3 1245184 v:=5373952+1245184=6619136, vv:=419 
932: push 
level 1:(h=0,v=6619136,w=0,x=0,y=786432,z=1245184,hh=0,vv=419) 
933: fntnum0 current font is cmr10 
934: setchar116 h:=0+254863=254863, hh:=16 
935: setchar104 h:=254863+364090=618953, hh:=39 
936: setchar101 h:=618953+291271=910224, hh:=57 
937: setchar110 h:=910224+364090=1274314, hh:=80 
[then]
938: pop 
level 1:(h=0,v=6619136,w=0,x=0,y=786432,z=1245184,hh=0,vv=419) 
939: y0 786432 v:=6619136+786432=7405568, vv:=469 
940: push 
level 1:(h=0,v=7405568,w=0,x=0,y=786432,z=1245184,hh=0,vv=469) 
941: right4 12888646 h:=0+12888646=12888646, hh:=816 
[ ]
946: fntnum12 current font is cmsy10 
947: setchar106 h:=12888646+182045=13070691, hh:=828 
[j]
948: fntnum6 current font is cmmi10 
949: setchar102 h:=13070691+320855=13391546, hh:=848 
950: x3 70543 h:=13391546+70543=13462089, hh:=852 
[f]
954: fntnum0 current font is cmr10 
955: setchar40 h:=13462089+254863=13716952, hh:=868 
[(]
956: fntnum6 current font is cmmi10 
957: setchar121 h:=13716952+321311=14038263, hh:=888 
958: right2 23513 h:=14038263+23513=14061776, hh:=889 
[y]
961: fntnum0 current font is cmr10 
962: setchar41 h:=14061776+254863=14316639, hh:=905 
963: w3 145632 h:=14316639+145632=14462271, hh:=916 
[) ]
967: fntnum12 current font is cmsy10 
968: setchar0 h:=14462271+509726=14971997, hh:=948 
969: w0 145632 h:=14971997+145632=15117629, hh:=958 
[ ]
970: fntnum6 current font is cmmi10 
971: setchar102 h:=15117629+320855=15438484, hh:=978 
972: x0 70543 h:=15438484+70543=15509027, hh:=982 
[f]
973: fntnum0 current font is cmr10 
974: setchar40 h:=15509027+254863=15763890, hh:=998 
[(]
975: fntnum6 current font is cmmi10 
976: setchar120 h:=15763890+374556=16138446, hh:=1022 
[x]
977: fntnum0 current font is cmr10 
978: setchar41 h:=16138446+254863=16393309, hh:=1038 
[)]
979: fntnum12 current font is cmsy10 
980: setchar106 h:=16393309+182045=16575354, hh:=1050 
981: w3 182040 h:=16575354+182040=16757394, hh:=1061 
[j ]
985: fntnum6 current font is cmmi10 
986: setchar60 h:=16757394+509726=17267120, hh:=1093 
987: w0 182040 h:=17267120+182040=17449160, hh:=1105 
[< ]
988: setchar15 h:=17449160+266013=17715173, hh:=1122 
989: setchar58 h:=17715173+182045=17897218, hh:=1134 
[:]
990: pop 
level 1:(h=0,v=7405568,w=0,x=0,y=786432,z=1245184,hh=0,vv=469) 
991: z0 1245184 v:=7405568+1245184=8650752, vv:=548 
992: push 
level 1:(h=0,v=8650752,w=0,x=0,y=786432,z=1245184,hh=0,vv=548) 
993: right3 1310720 h:=0+1310720=1310720, hh:=83 
[ ]
997: fntnum0 current font is cmr10 
998: setchar79 h:=1310720+509726=1820446, hh:=115 
999: setchar110 h:=1820446+364090=2184536, hh:=138 
1000: setchar101 h:=2184536+291271=2475807, hh:=156 
1001: w3 238926 h:=2475807+238926=2714733, hh:=172 
1005: setchar109 h:=2714733+546135=3260868, hh:=207 
1006: setchar97 h:=3260868+327681=3588549, hh:=228 
1007: x2 -18205 h:=3588549-18205=3570344, hh:=227 
1010: setchar121 h:=3570344+345886=3916230, hh:=249 
1011: w0 238926 h:=3916230+238926=4155156, hh:=263 
1012: setchar114 h:=4155156+256683=4411839, hh:=279 
1013: setchar101 h:=4411839+291271=4703110, hh:=297 
1014: setchar97 h:=4703110+327681=5030791, hh:=318 
1015: setchar100 h:=5030791+364090=5394881, hh:=341 
1016: setchar105 h:=5394881+182045=5576926, hh:=353 
1017: setchar108 h:=5576926+182045=5758971, hh:=365 
1018: setchar121 h:=5758971+345886=6104857, hh:=387 
1019: w0 238926 h:=6104857+238926=6343783, hh:=402 
1020: setchar118 h:=6343783+345886=6689669, hh:=424 
1021: x0 -18205 h:=6689669-18205=6671464, hh:=423 
1022: setchar101 h:=6671464+291271=6962735, hh:=441 
1023: setchar114 h:=6962735+256683=7219418, hh:=457 
1024: setchar105 h:=7219418+182045=7401463, hh:=469 
1025: setchar102 h:=7401463+200250=7601713, hh:=482 
1026: setchar121 h:=7601713+345886=7947599, hh:=504 
1027: w0 238926 h:=7947599+238926=8186525, hh:=519 
1028: setchar116 h:=8186525+254863=8441388, hh:=535 
1029: setchar104 h:=8441388+364090=8805478, hh:=558 
1030: setchar97 h:=8805478+327681=9133159, hh:=579 
1031: setchar116 h:=9133159+254863=9388022, hh:=595 
1032: w0 238926 h:=9388022+238926=9626948, hh:=610 
1033: setchar105 h:=9626948+182045=9808993, hh:=622 
1034: setchar102 h:=9808993+200250=10009243, hh:=635 
1035: w0 238926 h:=10009243+238926=10248169, hh:=649 
[One may readily verify that if ]
1036: fntnum6 current font is cmmi10 
1037: setchar102 h:=10248169+320855=10569024, hh:=669 
1038: right3 309469 h:=10569024+309469=10878493, hh:=689 
[f ]
1042: fntnum0 current font is cmr10 
1043: setchar97 h:=10878493+327681=11206174, hh:=710 
1044: setchar110 h:=11206174+364090=11570264, hh:=733 
1045: setchar100 h:=11570264+364090=11934354, hh:=756 
1046: w0 238926 h:=11934354+238926=12173280, hh:=771 
[and ]
1047: fntnum6 current font is cmmi10 
1048: setchar103 h:=12173280+312586=12485866, hh:=791 
1049: right3 262440 h:=12485866+262440=12748306, hh:=807 
[g ]
1053: fntnum0 current font is cmr10 
1054: setchar97 h:=12748306+327681=13075987, hh:=828 
1055: setchar114 h:=13075987+256683=13332670, hh:=844 
1056: setchar101 h:=13332670+291271=13623941, hh:=862 
1057: w0 238926 h:=13623941+238926=13862867, hh:=878 
1058: setchar99 h:=13862867+291271=14154138, hh:=896 
1059: setchar111 h:=14154138+327681=14481819, hh:=917 
1060: setchar110 h:=14481819+364090=14845909, hh:=940 
1061: x0 -18205 h:=14845909-18205=14827704, hh:=939 
1062: setchar116 h:=14827704+254863=15082567, hh:=955 
1063: setchar105 h:=15082567+182045=15264612, hh:=967 
1064: setchar110 h:=15264612+364090=15628702, hh:=990 
1065: x0 -18205 h:=15628702-18205=15610497, hh:=989 
1066: setchar117 h:=15610497+364090=15974587, hh:=1012 
1067: setchar111 h:=15974587+327681=16302268, hh:=1033 
1068: setchar117 h:=16302268+364090=16666358, hh:=1056 
1069: setchar115 h:=16666358+258503=16924861, hh:=1072 
1070: w0 238926 h:=16924861+238926=17163787, hh:=1087 
1071: setchar102 h:=17163787+200250=17364037, hh:=1100 
1072: setchar117 h:=17364037+364090=17728127, hh:=1123 
1073: setchar110 h:=17728127+364090=18092217, hh:=1146 
1074: setchar99 h:=18092217+291271=18383488, hh:=1164 
1075: setchar116 h:=18383488+254863=18638351, hh:=1180 
1076: setchar105 h:=18638351+182045=18820396, hh:=1192 
1077: setchar111 h:=18820396+327681=19148077, hh:=1213 
1078: setchar110 h:=19148077+364090=19512167, hh:=1236 
1079: setchar115 h:=19512167+258503=19770670, hh:=1252 
1080: w0 238926 h:=19770670+238926=20009596, hh:=1267 
1081: setchar111 h:=20009596+327681=20337277, hh:=1288 
1082: setchar110 h:=20337277+364090=20701367, hh:=1311 
1083: w0 238926 h:=20701367+238926=20940293, hh:=1326 
[are continuous functions on ]
1084: fntnum6 current font is cmmi10 
1085: setchar68 h:=20940293+542583=21482876, hh:=1360 
1086: right3 257131 h:=21482876+257131=21740007, hh:=1377 
[D ]
1090: fntnum0 current font is cmr10 
1091: setchar116 h:=21740007+254863=21994870, hh:=1393 
1092: setchar104 h:=21994870+364090=22358960, hh:=1416 
1093: setchar101 h:=22358960+291271=22650231, hh:=1434 
1094: setchar110 h:=22650231+364090=23014321, hh:=1457 
1095: w0 238926 h:=23014321+238926=23253247, hh:=1473 
1096: setchar116 h:=23253247+254863=23508110, hh:=1489 
1097: setchar104 h:=23508110+364090=23872200, hh:=1512 
1098: setchar101 h:=23872200+291271=24163471, hh:=1530 
1099: w0 238926 h:=24163471+238926=24402397, hh:=1546 
1100: setchar102 h:=24402397+200250=24602647, hh:=1559 
1101: setchar117 h:=24602647+364090=24966737, hh:=1582 
1102: setchar110 h:=24966737+364090=25330827, hh:=1605 
1103: setchar99 h:=25330827+291271=25622098, hh:=1623 
1104: setchar116 h:=25622098+254863=25876961, hh:=1639 
1105: setchar105 h:=25876961+182045=26059006, hh:=1651 
1106: setchar111 h:=26059006+327681=26386687, hh:=1672 
1107: setchar110 h:=26386687+364090=26750777, hh:=1695 
1108: setchar115 h:=26750777+258503=27009280, hh:=1711 
1109: w0 238926 h:=27009280+238926=27248206, hh:=1726 
[then the functions ]
1110: fntnum6 current font is cmmi10 
1111: setchar102 h:=27248206+320855=27569061, hh:=1746 
1112: right3 229823 h:=27569061+229823=27798884, hh:=1761 
[f ]
1116: fntnum0 current font is cmr10 
1117: setchar43 h:=27798884+509726=28308610, hh:=1793 
1118: right3 159281 h:=28308610+159281=28467891, hh:=1803 
[+ ]
1122: fntnum6 current font is cmmi10 
1123: setchar103 h:=28467891+312586=28780477, hh:=1823 
1124: right2 23513 h:=28780477+23513=28803990, hh:=1824 
[g]
1127: fntnum0 current font is cmr10 
1128: setchar44 h:=28803990+182045=28986035, hh:=1836 
1129: right3 244044 h:=28986035+244044=29230079, hh:=1851 
[, ]
1133: fntnum6 current font is cmmi10 
1134: setchar102 h:=29230079+320855=29550934, hh:=1871 
1135: right3 229824 h:=29550934+229824=29780758, hh:=1886 
[f ]
1139: fntnum12 current font is cmsy10 
1140: setchar0 h:=29780758+509726=30290484, hh:=1918 
1141: right3 159280 h:=30290484+159280=30449764, hh:=1929 
[ ]
1145: fntnum6 current font is cmmi10 
1146: setchar103 h:=30449764+312586=30762350, hh:=1949 
[g]
1147: pop 
level 1:(h=0,v=8650752,w=0,x=0,y=786432,z=1245184,hh=0,vv=548) 
1148: y0 786432 v:=8650752+786432=9437184, vv:=598 
1149: push 
level 1:(h=0,v=9437184,w=0,x=0,y=786432,z=1245184,hh=0,vv=598) 
1150: fntnum0 current font is cmr10 
1151: setchar97 h:=0+327681=327681, hh:=21 
1152: setchar110 h:=327681+364090=691771, hh:=44 
1153: setchar100 h:=691771+364090=1055861, hh:=67 
1154: w3 218453 h:=1055861+218453=1274314, hh:=81 
[and ]
1158: fntnum6 current font is cmmi10 
1159: setchar102 h:=1274314+320855=1595169, hh:=101 
1160: right3 34134 h:=1595169+34134=1629303, hh:=103 
1164: setchar58 h:=1629303+182045=1811348, hh:=115 
1165: setchar103 h:=1811348+312586=2123934, hh:=135 
1166: x3 241966 h:=2123934+241966=2365900, hh:=150 
[f:g ]
1170: fntnum0 current font is cmr10 
1171: setchar97 h:=2365900+327681=2693581, hh:=171 
1172: setchar114 h:=2693581+256683=2950264, hh:=187 
1173: setchar101 h:=2950264+291271=3241535, hh:=205 
1174: w0 218453 h:=3241535+218453=3459988, hh:=219 
1175: setchar99 h:=3459988+291271=3751259, hh:=237 
1176: setchar111 h:=3751259+327681=4078940, hh:=258 
1177: setchar110 h:=4078940+364090=4443030, hh:=281 
1178: w2 -18205 h:=4443030-18205=4424825, hh:=280 
1181: setchar116 h:=4424825+254863=4679688, hh:=296 
1182: setchar105 h:=4679688+182045=4861733, hh:=308 
1183: setchar110 h:=4861733+364090=5225823, hh:=331 
1184: w0 -18205 h:=5225823-18205=5207618, hh:=330 
1185: setchar117 h:=5207618+364090=5571708, hh:=353 
1186: setchar111 h:=5571708+327681=5899389, hh:=374 
1187: setchar117 h:=5899389+364090=6263479, hh:=397 
1188: setchar115 h:=6263479+258503=6521982, hh:=413 
1189: setchar46 h:=6521982+182045=6704027, hh:=425 
1190: right3 291271 h:=6704027+291271=6995298, hh:=443 
1194: setchar73 h:=6995298+236658=7231956, hh:=458 
1195: setchar102 h:=7231956+200250=7432206, hh:=471 
1196: w3 218453 h:=7432206+218453=7650659, hh:=485 
1200: setchar105 h:=7650659+182045=7832704, hh:=497 
1201: setchar110 h:=7832704+364090=8196794, hh:=520 
1202: w0 218453 h:=8196794+218453=8415247, hh:=533 
1203: setchar97 h:=8415247+327681=8742928, hh:=554 
1204: setchar100 h:=8742928+364090=9107018, hh:=577 
1205: setchar100 h:=9107018+364090=9471108, hh:=600 
1206: setchar105 h:=9471108+182045=9653153, hh:=612 
1207: setchar116 h:=9653153+254863=9908016, hh:=628 
1208: setchar105 h:=9908016+182045=10090061, hh:=640 
1209: setchar111 h:=10090061+327681=10417742, hh:=661 
1210: setchar110 h:=10417742+364090=10781832, hh:=684 
1211: w0 218453 h:=10781832+218453=11000285, hh:=697 
[are continuous. If in addition ]
1212: fntnum6 current font is cmmi10 
1213: setchar103 h:=11000285+312586=11312871, hh:=717 
1214: x0 241966 h:=11312871+241966=11554837, hh:=732 
[g ]
1215: fntnum0 current font is cmr10 
1216: setchar105 h:=11554837+182045=11736882, hh:=744 
1217: setchar115 h:=11736882+258503=11995385, hh:=760 
1218: w0 218453 h:=11995385+218453=12213838, hh:=774 
1219: setchar101 h:=12213838+291271=12505109, hh:=792 
1220: setchar118 h:=12505109+345886=12850995, hh:=814 
1221: right2 -18205 h:=12850995-18205=12832790, hh:=813 
1224: setchar101 h:=12832790+291271=13124061, hh:=831 
1225: setchar114 h:=13124061+256683=13380744, hh:=847 
1226: setchar121 h:=13380744+345886=13726630, hh:=869 
1227: setchar119 h:=13726630+473316=14199946, hh:=899 
1228: setchar104 h:=14199946+364090=14564036, hh:=922 
1229: setchar101 h:=14564036+291271=14855307, hh:=940 
1230: setchar114 h:=14855307+256683=15111990, hh:=956 
1231: setchar101 h:=15111990+291271=15403261, hh:=974 
1232: w0 218453 h:=15403261+218453=15621714, hh:=989 
1233: setchar110 h:=15621714+364090=15985804, hh:=1012 
1234: setchar111 h:=15985804+327681=16313485, hh:=1033 
1235: setchar110 h:=16313485+364090=16677575, hh:=1056 
1236: setchar45 h:=16677575+218453=16896028, hh:=1070 
1237: setchar122 h:=16896028+291271=17187299, hh:=1088 
1238: setchar101 h:=17187299+291271=17478570, hh:=1106 
1239: setchar114 h:=17478570+256683=17735253, hh:=1122 
1240: setchar111 h:=17735253+327681=18062934, hh:=1143 
1241: w0 218453 h:=18062934+218453=18281387, hh:=1158 
1242: setchar116 h:=18281387+254863=18536250, hh:=1174 
1243: setchar104 h:=18536250+364090=18900340, hh:=1197 
1244: setchar101 h:=18900340+291271=19191611, hh:=1215 
1245: setchar110 h:=19191611+364090=19555701, hh:=1238 
1246: w0 218453 h:=19555701+218453=19774154, hh:=1253 
[is everywhere non-zero then ]
1247: fntnum6 current font is cmmi10 
1248: setchar102 h:=19774154+320855=20095009, hh:=1273 
1249: right3 70543 h:=20095009+70543=20165552, hh:=1277 
1253: setchar61 h:=20165552+327681=20493233, hh:=1298 
1254: setchar103 h:=20493233+312586=20805819, hh:=1318 
1255: x0 241966 h:=20805819+241966=21047785, hh:=1333 
[f=g ]
1256: fntnum0 current font is cmr10 
1257: setchar105 h:=21047785+182045=21229830, hh:=1345 
1258: setchar115 h:=21229830+258503=21488333, hh:=1361 
1259: w0 218453 h:=21488333+218453=21706786, hh:=1375 
1260: setchar99 h:=21706786+291271=21998057, hh:=1393 
1261: setchar111 h:=21998057+327681=22325738, hh:=1414 
1262: setchar110 h:=22325738+364090=22689828, hh:=1437 
1263: w2 -18205 h:=22689828-18205=22671623, hh:=1436 
1266: setchar116 h:=22671623+254863=22926486, hh:=1452 
1267: setchar105 h:=22926486+182045=23108531, hh:=1464 
1268: setchar110 h:=23108531+364090=23472621, hh:=1487 
1269: w0 -18205 h:=23472621-18205=23454416, hh:=1486 
1270: setchar117 h:=23454416+364090=23818506, hh:=1509 
1271: setchar111 h:=23818506+327681=24146187, hh:=1530 
1272: setchar117 h:=24146187+364090=24510277, hh:=1553 
1273: setchar115 h:=24510277+258503=24768780, hh:=1569 
1274: setchar46 h:=24768780+182045=24950825, hh:=1581 
[is continuous.]
1275: pop 
level 1:(h=0,v=9437184,w=0,x=0,y=786432,z=1245184,hh=0,vv=598) 
1276: pop 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
1277: down3 1572864 v:=42152922+1572864=43725786, vv:=2770 
1281: push 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
1282: right4 15229091 h:=0+15229091=15229091, hh:=965 
1287: setchar49 h:=15229091+327681=15556772, hh:=986 
[ 1]
1288: pop 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
1289: eop 
