This is TeX, C Version 3.14t3 (format=lplain 92.2.23) 26 AUG 1996 10:25 **pp-prop (/u1/pboyce/pp-prop.tex LaTeX Version 2.09 <7 Dec 1989> (/usr/local/lib/tex/inputs/article.sty Document Style `article' <16 Mar 88>. (/usr/local/lib/tex/inputs/art11.sty) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 ) (/usr/local/lib/tex/inputs/times.sty (/usr/local/lib/tex/inputs/psfonts.sty \@cmrfam=\fam11 \@cmrscale=\count87 )) (pp-prop.aux) [1 ] (pp-prop.toc) \tf@toc=\write3 [2 ] [1 ] [2] ! Font \\ptt11=pcrbn scaled 1100 not loadable: Metric (TFM) file not found. \relax \@ifundefined ...fx \csname #1\endcsname \relax #2 \else #3\fi \@@getfont ...endcsname #4\@ptscale {#5}\relax }{} \@ifundefined {\string #1\... \ptt ...etfont \ptt \ttfam \@xipt \@mtt {11}{8}{6} \@nohyphens \ptt {11}\@noh... l.250 The AstroWeb Consortium {\tt (http://fits.cv.nrao.edu/www/astroweb.html)} ? ! Font \\ptt8=pcrbn scaled 800 not loadable: Metric (TFM) file not found. \relax \@ifundefined ...fx \csname #1\endcsname \relax #2 \else #3\fi \@@getfont ...endcsname #4\@ptscale {#6}\relax }{} \@ifundefined {\string #1\... \ptt ...etfont \ptt \ttfam \@xipt \@mtt {11}{8}{6} \@nohyphens \ptt {11}\@noh... l.250 The AstroWeb Consortium {\tt (http://fits.cv.nrao.edu/www/astroweb.html)} ? ! Font \\ptt6=pcrbn scaled 600 not loadable: Metric (TFM) file not found. \relax \@ifundefined ...fx \csname #1\endcsname \relax #2 \else #3\fi \@@getfont ...endcsname #4\@ptscale {#7}\relax }{} \@ifundefined {\string #1\... \ptt ...etfont \ptt \ttfam \@xipt \@mtt {11}{8}{6} \@nohyphens \ptt {11}\@noh... l.250 The AstroWeb Consortium {\tt (http://fits.cv.nrao.edu/www/astroweb.html)} ? Missing character: There is no ( in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no ) in font nullfont! [3] [4] [5] [6] [7] Missing character: There is no A in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no K in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no K in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! [8] Missing character: There is no A in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no K in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! [9] [10] [11] [12] [13] [14] Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no D in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no q in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no D in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no ~ in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no V in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no j in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no 2 in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 6 in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no D in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no 3 in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no V in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no j in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no 1 in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no D in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no 9 in font nullfont! Missing character: There is no 5 in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no / in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no l in font nullfont! [15] [16] (pp-prop.aux) ) Here is how much of TeX's memory you used: 251 strings out of 4463 2125 string characters out of 63241 46992 words of memory out of 262141 2159 multiletter control sequences out of 9500 31900 words of font info for 97 fonts, out of 72000 for 255 14 hyphenation exceptions out of 607 12i,8n,22p,181b,264s stack positions out of 300i,40n,60p,3000b,4000s Output written on pp-prop.dvi (18 pages, 79560 bytes).