cliff@cs.man.ac.uk (Cliff B Jones) (02/19/91)
Several people have sent me lists of errors found in: @book{Jones90a, author = "C. B. Jones", title = "Systematic Software Development using VDM", edition = {Second}, publisher = "Prentice Hall International", year = "1990" } Most of these are being corrected in the next (third) printing - for those still putting up with my mistakes, here is a postscript (.ps) file which will list the errors I am aware of right now. %! %%Title: tn.dvi %%Creator: dvi2ps %! /TeXDict 200 dict def TeXDict begin /Inch{Resolution mul}def /PageHeight{11.75 Inch}def /PageWidth{8.25 Inch}def /Mtrx 6 array def /numberOfRows {2 power 2 div truncate exp}def /numberOfColumns {2 power 2 div ceiling exp}def /setscale {72 Resolution div dup xscale mul exch yscale mul neg scale}def /A5 false def /A5pages{ /A5 true def /PageHeight PageHeight 1.41421 div def /PageWidth PageWidth 1.41421 div def 2 @TexPagesPerPage }def /@TexPagesPerPage { /power exch log 2 log div ceiling def /odd power cvi 2 mod 1 eq def /rowCount numberOfRows def /columnCount numberOfColumns def A5 {/xscale 1 def /yscale 1 def} {/xscale 1 rowCount div def /yscale 1 columnCount div def} ifelse }def /@setposition { odd { Mtrx currentmatrix 0 0.0 put Mtrx 1 -1.0 put Mtrx 2 1.0 put Mtrx 3 0.0 put Mtrx setmatrix A5 not {1.41421 yscale mul 0.707101 xscale mul scale} if Resolution dup translate Mtrx currentmatrix pop } { initmatrix setscale Resolution PageHeight Resolution sub neg numberOfRows mul translate Mtrx currentmatrix pop }ifelse }def /@landscape {initmatrix 72 Resolution div dup neg scale Mtrx currentmatrix 0 0.0 put Mtrx 1 -1.0 put Mtrx 2 1.0 put Mtrx 3 0.0 put Mtrx setmatrix Resolution dup translate Mtrx currentmatrix pop }def /@manualfeed {statusdict /manualfeed true put }def /@copies {/#copies exch def }def /@restore /restore load def /restore {vmstatus pop dup @VMused lt{pop @VMused}if exch pop exch @restore /@VMused exch def }def /@FontMatrix [1 0 0 -1 0 0] def /@FontBBox [0 0 1 1] def /@newfont {/newname exch def newname 7 dict def newname load begin /FontType 3 def /FontMatrix @FontMatrix def /FontBBox @FontBBox def /BitMaps 128 array def /BuildChar{CharBuilder}def /Encoding 256 array def 0 1 255{Encoding exch /.undef put}for end newname newname load definefont pop }def /ch-image{ch-data 0 get}def /ch-width{ch-data 1 get}def /ch-height{ch-data 2 get}def /ch-xoff{ch-data 3 get}def /ch-yoff{ch-data 4 get}def /ch-tfmw{ch-data 5 get}def /CharBuilder {save 3 1 roll exch /BitMaps get exch get /ch-data exch def ch-data null ne {ch-tfmw 0 ch-xoff neg ch-yoff neg ch-width ch-xoff sub ch-height ch-yoff sub setcachedevice ch-width ch-height true [1 0 0 1 ch-xoff ch-yoff] {ch-image}imagemask }if restore }def /@sf {setfont}def /@dc {/ch-code exch def dup 0 get length 2 lt {dup 4 get exch 5 get <00> 1 1 0 6 -2 roll 6 array astore} if /ch-data exch def currentfont /BitMaps get ch-code ch-data put currentfont /Encoding get ch-code dup ( ) cvs cvn put }def /@pc {pop /ch-data exch def currentpoint translate ch-width ch-height true [1 0 0 -1 ch-xoff ch-yoff] {ch-image}imagemask }def /@bop0 {pop }def /@bop1 {pop /SaveImage save def }def /@eop { SaveImage restore columnCount 1 ne { PageWidth 0 translate /columnCount columnCount 1 sub def } { rowCount 1 ne { /columnCount numberOfColumns def /rowCount rowCount 1 sub def PageWidth neg columnCount 1 sub mul PageHeight translate } { showpage /columnCount numberOfColumns def /rowCount numberOfRows def erasepage initgraphics Mtrx setmatrix }ifelse }ifelse }def /@start {@setposition vmstatus pop /@VMused exch def pop }def /printVMstats false def /@pri { ( ) print ( ) cvs print }def /@end { printVMstats{ (VM used: ) print @VMused @pri (. Unused: ) print vmstatus @VMused sub @pri pop pop (\n) print flush }if columnCount numberOfColumns eq rowCount numberOfRows eq and not {showpage} if end }def /p {moveto }def /r {0 rmoveto }def /s {{ pop pop currentpoint exch round exch moveto}exch kshow currentpoint exch round exch moveto }def /c {c-string exch 0 exch put c-string s }def /c-string ( ) def /ru {/dy exch neg def /dx exch def /x currentpoint /y exch def def newpath x y moveto dx 0 rlineto 0 dy rlineto dx neg 0 rlineto closepath fill x y moveto }def /@SpecialDefaults {/hs PageWidth def /vs PageHeight def /ho 0 def /vo 0 def /hsc 1 def /vsc 1 def /CLIP false def }def /@hsize{/hs exch def /CLIP true def}def /@vsize{/vs exch def /CLIP true def}def /@hoffset{/ho exch def}def /@voffset{/vo exch def}def /@hscale{/hsc exch def}def /@vscale{/vsc exch def}def /@setclipper {hsc vsc scale CLIP {newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip} if }def /@beginspecial {gsave /SpecialSave save def currentpoint transform initgraphics itransform translate odd{ A5 not {0.707101 1.41421 yscale mul exch xscale mul scale}if 90 rotate } { xscale yscale scale }ifelse @SpecialDefaults /showpage{}def }def /@setspecial { ho vo translate @setclipper }def /@endspecial {SpecialSave restore grestore }def /TeXPSmakefont{ /TeXsize exch def findfont [ TeXsize 0 0 TeXsize neg 0 0 ] makefont }def /TransformFont{ 30 dict begin /Proc exch def /TransformMatrix exch def /BaseName exch def /NewName exch def /BaseFontDict BaseName findfont TransformMatrix makefont def /NewFont BaseFontDict maxlength dict def BaseFontDict {exch dup /FID ne {dup /Encoding eq {exch dup length array copy NewFont 3 1 roll put} {exch NewFont 3 1 roll put} ifelse} {pop pop} ifelse }forall NewFont /FontName NewName put NewFont Proc NewName NewFont definefont pop end }def /ObliqueFont{ 20 dict begin /Angle exch def [1 0 Angle sin Angle cos div 1 0 0] {pop} TransformFont end }def /CondensedFont{ 20 dict begin /LineThickening exch def /WidthNarrowing exch def [WidthNarrowing 0 0 1 0 0] {dup /StrokeWidth known{ dup /StrokeWidth get LineThickening mul /StrokeWidth exch put }if} TransformFont end }def /ReducedFont{ 20 dict begin /reduction exch def [reduction 0 0 reduction 0 0] {pop} TransformFont end }def /SmallCapsFont {11 dict dup 3 1 roll begin findfont dup 1000 scalefont /BaseFont-L exch def 800 scalefont /BaseFont-S exch def /FontType 3 def /FontMatrix [.001 0 0 .001 0 0] def /FontBBox BaseFont-L /FontBBox get def /Encoding BaseFont-L /Encoding get def /TmpString 1 string def /IsLowerCase {dup (a) 0 get ge exch (z) 0 get le and }def /ToUpperCase {dup IsLowerCase {(a) 0 get sub (A) 0 get add}if }def /BuildChar {exch begin BaseFont-L setfont dup IsLowerCase {BaseFont-S setfont ToUpperCase} if TmpString 0 3 -1 roll put TmpString stringwidth setcharwidth 0 0 moveto TmpString show end }def end definefont pop }def /Courier-Condensed /Courier 0.85 2.0 CondensedFont /Symbol-Oblique /Symbol 15 ObliqueFont /Times-Oblique /Times-Roman 15 ObliqueFont /Times-BoldOblique /Times-Bold 15 ObliqueFont /Times-ItalicUnslanted /Times-Italic -15.15 ObliqueFont /Times-SmallCaps /Times-Roman SmallCapsFont /Helvetica-Reduced /Helvetica 0.875 ReducedFont /Helvetica-SmallCaps /Helvetica SmallCapsFont /makeLWPlusFonts{ /Bookman-LightOblique /Bookman-Light 10 ObliqueFont /Bookman-LightSmallCaps /Bookman-Light SmallCapsFont /NewCenturySchlbk-Oblique /NewCenturySchlbk-Roman 10 ObliqueFont /NewCenturySchlbk-SmallCaps /NewCenturySchlbk-Roman SmallCapsFont /Palatino-SmallCaps /Palatino-Roman SmallCapsFont /Palatino-Oblique /Palatino-Roman 10 ObliqueFont /Palatino-BoldOblique /Palatino-Bold 10 ObliqueFont }def /tempstring 100 string def end statusdict /waittimeout 300 put /TeXscale{65536 div}def /startTexFig{ userdict maxlength dict begin /ury exch TeXscale def /urx exch TeXscale def /lly exch TeXscale def /llx exch TeXscale def /y exch TeXscale def /x exch TeXscale def /sx x urx llx sub div def /sy y ury lly sub div def sx sy scale llx neg ury neg translate /DefFigCTM matrix currentmatrix def /initmatrix{ DefFigCTM setmatrix }def /defaultmatrix{ DefFigCTM exch copy }def /exval{ load dup dup xcheck exch type /arraytype eq and{ aload pop }if }def /initgraphics [ /initgraphics exval DefFigCTM /setmatrix exval ] cvx def /showpage{ initgraphics }def }def /clipFig{ userdict maxlength dict begin /ury exch TeXscale def /urx exch TeXscale def /lly exch TeXscale def /llx exch TeXscale def newpath llx lly moveto llx ury lineto urx ury lineto urx lly lineto closepath clip newpath end }def /endTexFig{ end }def TeXDict begin /Resolution 300 def 1 @TexPagesPerPage @start %%EndProlog 70 @bop0 /t-rom.329 /Times-Roman 45.454533 TeXPSmakefont def /t-obl.329 /Times-Oblique 45.454533 TeXPSmakefont def /t-bol.432 /Times-Bold 59.775815 TeXPSmakefont def /t-ita.329 /Times-Italic 45.454533 TeXPSmakefont def /t-rom.240 /Times-Roman 33.208800 TeXPSmakefont def /s-med.329 /Symbol 45.454533 TeXPSmakefont def /h-red.329 /Helvetica-Reduced 45.454533 TeXPSmakefont def /msym10.329 @newfont msym10.329 @sf [<C000007CC00000FCC00001CCC000038CC000071CC0000E3CC0001C7CC00038ECC00071CCC000E38CC001C70CC0038E0CC007 1C0CC006380CC00E700CC01CE00CC038C00CC071C00CC0E3800CC1C7000CC38E000CC71C000CCE38000CDC70000CF8E0000C F1C0000CE380000CC700000CCE00000CFC00000CF800000C> 30 31 -2 0 35] 78 @dc /t-ita.240 /Times-Italic 33.208800 TeXPSmakefont def [<C000003000C000003000C000007800C00000F800C00000FC00C00003FE00E00007FF0060001F678060001C63C0700000E0C0 300000C000380001C00018000180001C000380000E00070000060006000007801E000003C03C000000FFF00000007FE00000 0006000000> 34 21 -2 0 40] 121 @dc /cmmi10.329 @newfont cmmi10.329 @sf [<FFFFFFFFFC7FFFFFFFFC38000000001C0000000006000000000700000000030000000001800000000180000000> 38 9 -3 -10 45] 40 @dc /cmsy10.329 @newfont cmsy10.329 @sf [<FFFFFFC0FFFFFFC0> 26 2 -4 -10 35] 0 @dc [<000F0038006000E001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C0038007001E00F8001E000700 038001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C000E000600038000F> 16 45 -3 11 23] 102 @dc [<F8001E000700038001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C000E000600038000F00380060 00E001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C0038007001E00F800> 16 45 -3 11 23] 103 @dc /cmex10.300 @newfont cmex10.300 @sf [<001FE00000FFFC0001FFFE0007F03F800F8007C01F0003E03C0000F0380000707800007870000038F000003CE000001CE000 001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001C E000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000001CE000 001CE000001CE000001CE000001CE000001C> 30 42 -2 42 35] 83 @dc 70 @bop1 t-rom.329 @sf 0 -136 p (70) s t-obl.329 @sf 1514 r 65 c 25 r (Known) s 11 r (Errors) s t-bol.432 @sf 0 -12 p (A.2) s 60 r (Extra) s 15 r (err) s (or) s -1 r 115 c 15 r (in) s 16 r 174 c (rst) s 17 r (and) s 16 r (second) s 17 r (printings) s t-rom.329 @sf 0 90 p (Page) s 13 r (3,) s 12 r (replace:) s 386 147 p 1107 2 ru 386 204 p 2 57 ru t-ita.329 @sf 429 188 p 69 c t-rom.240 @sf 457 195 p 49 c 519 205 p 2 57 ru t-ita.329 @sf 563 187 p 69 c t-rom.240 @sf 591 194 p 50 c 653 204 p 2 57 ru t-ita.329 @sf 678 187 p 69 c t-rom.240 @sf 706 194 p 49 c 752 187 p s-med.329 @sf 222 c t-ita.329 @sf 28 r 69 c t-rom.240 @sf 853 194 p 50 c 896 204 p 2 57 ru 921 187 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 989 194 p 49 c 1032 204 p 2 57 ru 1058 187 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1126 194 p 50 c 1168 204 p 2 57 ru 1194 187 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1262 194 p 50 c 1308 187 p s-med.329 @sf 222 c 28 r 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1449 194 p 49 c 1491 204 p 2 57 ru 386 206 p 1107 2 ru 386 262 p 2 57 ru h-red.329 @sf 418 246 p (true) s 519 262 p 2 57 ru 552 245 p (true) s 653 262 p 2 57 ru 741 245 p (true) s 896 262 p 2 57 ru 923 245 p (false) s 1032 262 p 2 57 ru 1059 245 p (false) s 1168 262 p 2 57 ru 1296 245 p (true) s 1491 262 p 2 57 ru 386 319 p 2 57 ru 418 303 p (true) s 519 319 p 2 57 ru 544 302 p (false) s 653 319 p 2 57 ru 733 302 p (false) s 896 319 p 2 57 ru 923 302 p (false) s 1032 319 p 2 57 ru 1067 302 p (true) s 1168 319 p 2 57 ru 1296 302 p (true) s 1491 319 p 2 57 ru 386 375 p 2 57 ru 411 359 p (false) s 519 375 p 2 57 ru 552 358 p (true) s 653 375 p 2 57 ru 741 358 p (true) s 896 375 p 2 57 ru 930 358 p (true) s 1032 375 p 2 57 ru 1059 358 p (false) s 1168 375 p 2 57 ru 1296 358 p (true) s 1491 375 p 2 57 ru 386 431 p 2 57 ru 411 415 p (false) s 519 431 p 2 57 ru 544 414 p (false) s 653 431 p 2 57 ru 741 414 p (true) s 896 431 p 2 57 ru 923 414 p (false) s 1032 431 p 2 57 ru 1059 414 p (false) s 1168 431 p 2 57 ru 1296 414 p (true) s 1491 431 p 2 57 ru 386 433 p 1107 2 ru t-rom.329 @sf 0 510 p (with:) s 386 546 p 1107 2 ru 386 602 p 2 57 ru t-ita.329 @sf 429 586 p 69 c t-rom.240 @sf 457 593 p 49 c 519 603 p 2 57 ru t-ita.329 @sf 563 585 p 69 c t-rom.240 @sf 591 592 p 50 c 653 602 p 2 57 ru t-ita.329 @sf 678 585 p 69 c t-rom.240 @sf 706 592 p 49 c 752 585 p s-med.329 @sf 222 c t-ita.329 @sf 28 r 69 c t-rom.240 @sf 853 592 p 50 c 896 602 p 2 57 ru 921 585 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 989 592 p 49 c 1032 602 p 2 57 ru 1058 585 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1126 592 p 50 c 1168 602 p 2 57 ru 1194 585 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1262 592 p 50 c 1308 585 p s-med.329 @sf 222 c 28 r 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1449 592 p 49 c 1491 602 p 2 57 ru 386 604 p 1107 2 ru 386 660 p 2 57 ru h-red.329 @sf 418 644 p (true) s 519 660 p 2 57 ru 552 643 p (true) s 653 660 p 2 57 ru 741 643 p (true) s 896 660 p 2 57 ru 923 643 p (false) s 1032 660 p 2 57 ru 1059 643 p (false) s 1168 660 p 2 57 ru 1296 643 p (true) s 1491 660 p 2 57 ru 386 717 p 2 57 ru 418 701 p (true) s 519 717 p 2 57 ru 544 700 p (false) s 653 717 p 2 57 ru 733 700 p (false) s 896 717 p 2 57 ru 923 700 p (false) s 1032 717 p 2 57 ru 1067 700 p (true) s 1168 717 p 2 57 ru 1289 700 p (false) s 1491 717 p 2 57 ru 386 773 p 2 57 ru 411 757 p (false) s 519 773 p 2 57 ru 552 756 p (true) s 653 773 p 2 57 ru 741 756 p (true) s 896 773 p 2 57 ru 930 756 p (true) s 1032 773 p 2 57 ru 1059 756 p (false) s 1168 773 p 2 57 ru 1296 756 p (true) s 1491 773 p 2 57 ru 386 830 p 2 57 ru 411 814 p (false) s 519 830 p 2 57 ru 544 813 p (false) s 653 830 p 2 57 ru 741 813 p (true) s 896 830 p 2 57 ru 930 813 p (true) s 1032 830 p 2 57 ru 1067 813 p (true) s 1168 830 p 2 57 ru 1296 813 p (true) s 1491 830 p 2 57 ru 386 832 p 1107 2 ru t-rom.329 @sf 95 904 p (Page) s 51 r (Line) s 269 r (From) s 530 r 84 c -2 r 111 c 128 960 p 51 c 102 r 177 c 54 c 201 r s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 568 967 p 49 c 614 960 p s-med.329 @sf 222 c 27 r 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 754 967 p 50 c 1102 960 p s-med.329 @sf 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1170 967 p 50 c 1217 960 p s-med.329 @sf 222 c 27 r 216 c t-ita.329 @sf 8 r 69 c t-rom.240 @sf 1357 967 p 49 c t-rom.329 @sf 117 1017 p (66) s 101 r 57 c t-ita.329 @sf 194 r (add) s s-med.329 @sf 10 r 40 c t-ita.329 @sf 105 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-ita.329 @sf 44 c 8 r 106 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c s-med.329 @sf 41 c msym10.329 @sf 9 r 78 c t-ita.329 @sf 274 r (add) s s-med.329 @sf 10 r 40 c t-ita.329 @sf 105 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-ita.329 @sf 44 c 8 r 106 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c s-med.329 @sf 41 c t-ita.329 @sf 9 r 114 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-rom.329 @sf 117 1073 p (66) s 90 r (18) s t-ita.329 @sf 176 r (mult) s s-med.329 @sf 9 r 40 c t-ita.329 @sf 105 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-ita.329 @sf 44 c 8 r 106 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c s-med.329 @sf 41 c msym10.329 @sf 9 r 78 c t-ita.329 @sf 261 r (mult) s s-med.329 @sf 10 r 40 c t-ita.329 @sf 105 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-ita.329 @sf 44 c 8 r 106 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c s-med.329 @sf 41 c t-ita.329 @sf 9 r 114 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-rom.329 @sf 117 1130 p (81) s 90 r 177 c 54 c 230 r (how) s 12 r (the) s 12 r (the) s 422 r (how) s 12 r (the) s 106 1186 p (102) s 78 r 177 c 53 c t-ita.329 @sf 255 r (mer) s -1 r (ge) s s-med.329 @sf 40 c t-ita.329 @sf 112 c s-med.329 @sf 41 c t-ita.329 @sf 420 r (mer) s -1 r (ge) s s-med.329 @sf 40 c t-ita.329 @sf (p,) s 8 r 116 c s-med.329 @sf 41 c t-rom.329 @sf 106 1243 p (135) s 89 r 57 c t-ita.329 @sf 157 r (GROUP) s s-med.329 @sf 9 r 40 c t-ita.329 @sf 101 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c s-med.329 @sf 41 c msym10.329 @sf 11 r 78 c t-rom.329 @sf 45 c h-red.329 @sf (set) s t-ita.329 @sf 200 r (GROUP) s s-med.329 @sf 9 r 40 c t-ita.329 @sf 101 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c s-med.329 @sf 41 c t-ita.329 @sf 10 r 114 c t-rom.329 @sf 58 c msym10.329 @sf 8 r 78 c t-rom.329 @sf 45 c h-red.329 @sf (set) s t-rom.329 @sf 106 1299 p (147) s 78 r 177 c 53 c t-ita.329 @sf 160 r 109 c t-rom.240 @sf 492 1306 p 49 c 520 1299 p t-rom.329 @sf 178 c t-ita.329 @sf 10 r 109 c t-rom.240 @sf 586 1306 p 50 c t-rom.329 @sf 617 1299 p 61 c t-ita.329 @sf 13 r 109 c t-rom.240 @sf 689 1306 p 50 c 717 1299 p s-med.329 @sf 200 c t-ita.329 @sf 10 r 109 c t-rom.240 @sf 795 1306 p 49 c t-ita.329 @sf 1061 1299 p 109 c t-rom.240 @sf 1094 1306 p 49 c 1123 1299 p t-rom.329 @sf 178 c t-ita.329 @sf 10 r 109 c t-rom.240 @sf 1189 1306 p 50 c t-rom.329 @sf 1220 1299 p 61 c t-ita.329 @sf 12 r 109 c t-rom.240 @sf 1291 1306 p 49 c 1320 1299 p s-med.329 @sf 200 c t-ita.329 @sf 10 r 109 c t-rom.240 @sf 1398 1306 p 50 c t-rom.329 @sf 106 1356 p (149) s 78 r (16) s t-ita.329 @sf 239 r (cno) s t-rom.240 @sf 604 1363 p 49 c 632 1356 p s-med.329 @sf 185 c t-ita.329 @sf 10 r (cno) s 399 r (cno) s t-rom.240 @sf 1198 1363 p 49 c 1226 1356 p s-med.329 @sf 185 c t-ita.329 @sf 11 r (cno) s t-rom.240 @sf 1328 1363 p 50 c t-rom.329 @sf 106 1412 p (155) s 78 r 177 c 57 c t-ita.329 @sf 223 r 102 c s-med.329 @sf 6 r 40 c t-ita.329 @sf 105 c s-med.329 @sf 41 c t-ita.329 @sf (Rf) s s-med.329 @sf 6 r 40 c t-rom.329 @sf 49 c s-med.329 @sf 9 r 43 c t-rom.329 @sf 10 r 49 c s-med.329 @sf 41 c t-ita.329 @sf 368 r 102 c s-med.329 @sf 6 r 40 c t-ita.329 @sf 105 c s-med.329 @sf 41 c t-ita.329 @sf 10 r 82 c 10 r 102 c s-med.329 @sf 6 r 40 c t-ita.329 @sf 105 c s-med.329 @sf 10 r 43 c t-rom.329 @sf 10 r 49 c s-med.329 @sf 41 c t-rom.329 @sf 106 1468 p (166) s 78 r (18) s t-ita.329 @sf 103 r (cons) s s-med.329 @sf 40 c t-ita.329 @sf 101 c t-rom.240 @sf 521 1475 p 49 c t-ita.329 @sf 540 1468 p 44 c 8 r s-med.329 @sf 215 c 8 r 215 c 8 r 215 c 7 r 40 c t-ita.329 @sf (cons) s s-med.329 @sf 40 c t-ita.329 @sf 101 c t-ita.240 @sf 749 1475 p 110 c t-ita.329 @sf 768 1468 p 44 c s-med.329 @sf 8 r 91 c 8 r (]\)\)\)) s t-ita.329 @sf 107 r (cons) s s-med.329 @sf 40 c t-ita.329 @sf 101 c t-rom.240 @sf 1096 1475 p 49 c t-ita.329 @sf 1114 1468 p 44 c 8 r s-med.329 @sf 215 c 8 r 215 c 8 r 215 c 8 r 40 c t-ita.329 @sf (cons) s s-med.329 @sf 40 c t-ita.329 @sf 101 c t-ita.240 @sf 1324 1475 p 110 c t-ita.329 @sf 1342 1468 p 44 c s-med.329 @sf 8 r 91 c 8 r (]\)\)) s 8 r 215 c 8 r 215 c 8 r 215 c 41 c t-rom.329 @sf 106 1537 p (167) s 78 r (13) s t-ita.329 @sf 279 r 115 c msym10.329 @sf 606 1518 p 121 c s-med.329 @sf 656 1537 p 91 c 8 r 93 c t-ita.329 @sf 443 r 115 c msym10.329 @sf 1164 1518 p 121 c s-med.329 @sf 1215 1537 p 91 c 8 r 93 c t-rom.329 @sf 12 r 61 c s-med.329 @sf 13 r 91 c 8 r 93 c t-rom.329 @sf 106 1600 p (253) s 78 r (12) s cmmi10.329 @sf 563 1582 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 572 1601 p 109 c s-med.329 @sf 624 1600 p 43 c cmmi10.329 @sf 659 1582 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 673 1601 p 110 c cmmi10.329 @sf 1167 1582 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1176 1601 p 109 c s-med.329 @sf 1228 1600 p 42 c cmmi10.329 @sf 1260 1582 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1274 1601 p 110 c t-rom.329 @sf 106 1663 p (253) s 78 r (13) s cmmi10.329 @sf 563 1645 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 572 1664 p 109 c s-med.329 @sf 624 1663 p 43 c cmmi10.329 @sf 659 1645 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 673 1664 p 110 c cmmi10.329 @sf 1167 1645 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1176 1664 p 109 c s-med.329 @sf 1228 1663 p 42 c cmmi10.329 @sf 1260 1645 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1274 1664 p 110 c t-rom.329 @sf 106 1726 p (262) s 78 r 177 c 49 c cmsy10.329 @sf 110 r 102 c t-ita.329 @sf 115 c 12 r s-med.329 @sf 206 c t-ita.329 @sf 13 r 112 c s-med.329 @sf 13 r 124 c t-ita.329 @sf 12 r 101 c t-rom.240 @sf 584 1733 p 49 c 616 1726 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c 10 r s-med.329 @sf 217 c t-ita.329 @sf 10 r 101 c t-rom.240 @sf 746 1733 p 50 c 778 1726 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c cmsy10.329 @sf 103 c 134 r 102 c t-ita.329 @sf 115 c 12 r s-med.329 @sf 206 c cmmi10.329 @sf 1096 1708 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1110 1727 p 112 c s-med.329 @sf 1159 1726 p 124 c t-ita.329 @sf 13 r 101 c t-rom.240 @sf 1201 1733 p 49 c 1233 1726 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c 9 r s-med.329 @sf 217 c t-ita.329 @sf 11 r 101 c t-rom.240 @sf 1363 1733 p 50 c 1394 1726 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c cmsy10.329 @sf 103 c t-rom.329 @sf 106 1789 p (262) s 78 r 177 c 49 c cmsy10.329 @sf 68 r 102 c cmex10.300 @sf 390 1758 p 83 c cmsy10.329 @sf 424 1789 p 102 c t-ita.329 @sf 115 c 12 r s-med.329 @sf 206 c t-ita.329 @sf 13 r 112 c s-med.329 @sf 13 r 124 c t-ita.329 @sf 12 r 101 c t-rom.240 @sf 599 1796 p 49 c 631 1789 p s-med.329 @sf 206 c t-ita.329 @sf 13 r 115 c 12 r s-med.329 @sf 218 c t-ita.329 @sf 13 r 101 c t-rom.240 @sf 766 1796 p 50 c 798 1789 p s-med.329 @sf 206 c t-ita.329 @sf 13 r 115 c cmsy10.329 @sf (gg) s 49 r 102 c cmex10.300 @sf 979 1758 p 83 c cmsy10.329 @sf 1013 1789 p 102 c t-ita.329 @sf 115 c 12 r s-med.329 @sf 206 c cmmi10.329 @sf 1111 1771 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1125 1790 p 112 c s-med.329 @sf 1174 1789 p 124 c t-ita.329 @sf 13 r 101 c t-rom.240 @sf 1216 1796 p 49 c 1247 1789 p s-med.329 @sf 206 c t-ita.329 @sf 13 r 115 c 13 r s-med.329 @sf 218 c t-ita.329 @sf 13 r 101 c t-rom.240 @sf 1383 1796 p 50 c 1414 1789 p s-med.329 @sf 206 c t-ita.329 @sf 13 r 115 c cmsy10.329 @sf (gg) s t-rom.329 @sf 106 1845 p (264) s 78 r 177 c 55 c t-ita.329 @sf 197 r 101 c t-rom.240 @sf 516 1852 p 49 c 547 1845 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c 13 r s-med.329 @sf 218 c t-ita.329 @sf 13 r 101 c t-rom.240 @sf 683 1852 p 50 c 714 1845 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c 324 r 101 c t-rom.240 @sf 1121 1852 p 49 c 1152 1845 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c 10 r s-med.329 @sf 217 c t-ita.329 @sf 11 r 101 c t-rom.240 @sf 1283 1852 p 50 c 1314 1845 p s-med.329 @sf 207 c t-ita.329 @sf 13 r 115 c t-rom.329 @sf 106 1902 p (276) s 89 r 49 c t-ita.329 @sf 313 r 97 c s-med.329 @sf 40 c t-ita.329 @sf 101 c s-med.329 @sf 41 c t-ita.329 @sf 529 r 97 c s-med.329 @sf 91 c t-ita.329 @sf 101 c s-med.329 @sf 93 c t-rom.329 @sf 106 1965 p (276) s 78 r (17) s t-ita.329 @sf 242 r 114 c -1 r (oot) s s-med.329 @sf 40 c t-ita.329 @sf 118 c -3 r 44 c cmmi10.329 @sf 668 1947 p 40 c cmsy10.329 @sf -30 r 0 c t-ita.329 @sf 680 1966 p 97 c s-med.329 @sf 717 1965 p 41 c t-ita.329 @sf 408 r 114 c -1 r (oot) s s-med.329 @sf 40 c cmmi10.329 @sf 1231 1947 p 40 c cmsy10.329 @sf -29 r 0 c t-ita.329 @sf 1245 1966 p 118 c 1281 1965 p 44 c 8 r 97 c s-med.329 @sf 41 c t-rom.329 @sf 106 2021 p (277) s 89 r 53 c h-red.329 @sf 272 r (var) s t-ita.329 @sf 13 r 118 c t-rom.329 @sf 58 c t-ita.329 @sf 8 r 88 c t-rom.240 @sf 696 2028 p 48 c h-red.329 @sf 1171 2021 p (var) s t-ita.329 @sf 12 r 118 c t-rom.329 @sf 58 c t-ita.329 @sf 8 r 88 c t-rom.329 @sf 106 2078 p (277) s 66 r 177 c (13) s h-red.329 @sf 139 r (ext) s 12 r (rd) s t-ita.329 @sf 13 r 97 c t-rom.329 @sf 58 c h-red.329 @sf 8 r (array) s t-ita.329 @sf 11 r 88 c h-red.329 @sf 13 r (to) s t-ita.329 @sf 13 r 88 c h-red.329 @sf 221 r (ext) s 13 r (rd) s t-ita.329 @sf 12 r 97 c t-rom.329 @sf 58 c h-red.329 @sf 8 r (array) s t-ita.329 @sf 12 r 88 c h-red.329 @sf 13 r (to) s t-ita.329 @sf 12 r 88 c t-rom.240 @sf 1416 2085 p 48 c t-rom.329 @sf 106 2134 p (277) s 66 r 177 c (10) s h-red.329 @sf 205 r (var) s t-ita.329 @sf 12 r 118 c t-rom.240 @sf 602 2141 p 49 c t-ita.329 @sf 621 2134 p 44 c 8 r 118 c t-rom.240 @sf 660 2141 p 50 c t-rom.329 @sf 679 2134 p 58 c t-ita.329 @sf 8 r 88 c t-rom.240 @sf 728 2141 p 48 c t-rom.329 @sf 745 2134 p 59 c h-red.329 @sf 368 r (var) s t-ita.329 @sf 12 r 118 c t-rom.240 @sf 1213 2141 p 49 c t-ita.329 @sf 1232 2134 p 44 c 8 r 118 c t-rom.240 @sf 1271 2141 p 50 c t-rom.329 @sf 1290 2134 p 58 c t-ita.329 @sf 8 r 88 c t-rom.329 @sf 1 r 59 c 106 2191 p (278) s 89 r 50 c h-red.329 @sf 159 r (ext) s 12 r (wr) s t-ita.329 @sf 12 r 97 c t-rom.329 @sf 58 c h-red.329 @sf 8 r (array) s t-ita.329 @sf 12 r 88 c h-red.329 @sf 13 r (to) s t-ita.329 @sf 12 r 88 c h-red.329 @sf 215 r (ext) s 12 r (wr) s t-ita.329 @sf 12 r 97 c t-rom.329 @sf 58 c h-red.329 @sf 8 r (array) s t-ita.329 @sf 12 r 88 c h-red.329 @sf 13 r (to) s t-ita.329 @sf 12 r 88 c t-rom.240 @sf 1419 2198 p 48 c @eop 69 @bop0 /t-rom.746 /Times-Roman 103.279326 TeXPSmakefont def 69 @bop1 t-rom.746 @sf 0 112 p 65 c 0 319 p (Known) s 26 r (Errors) s t-bol.432 @sf 0 560 p (A.1) s 60 r (Remaining) s 15 r (in) s 16 r (third) s 16 r (printing) s t-rom.329 @sf 25 663 p (Page) s 50 r (Line) s 104 r (From) s 186 r 84 c -2 r 111 c 35 719 p (121) s 79 r 49 c -1 r 49 c t-ita.329 @sf 109 r (ldbl) s s-med.329 @sf 40 c t-ita.329 @sf (tl) s s-med.329 @sf 41 c t-ita.329 @sf 181 r (tl) s t-rom.329 @sf 35 776 p (129) s 89 r 57 c 168 r s-med.329 @sf 204 c 226 r 205 c t-rom.329 @sf 35 832 p (146) s 78 r 177 c 54 c 104 r (note) s 12 r (all) s 132 r (not) s 11 r (all) s 35 889 p (163) s 79 r 49 c -1 r 49 c t-ita.329 @sf 68 r (rs) s s-med.329 @sf 40 c t-ita.329 @sf 105 c s-med.329 @sf 41 c t-rom.329 @sf 12 r 61 c t-ita.329 @sf 12 r 115 c t-ita.240 @sf 443 896 p 98 c s-med.329 @sf 462 889 p 40 c t-ita.329 @sf 105 c s-med.329 @sf 41 c t-ita.329 @sf 49 r (rs) s s-med.329 @sf 40 c t-ita.329 @sf 105 c s-med.329 @sf 41 c t-rom.329 @sf 12 r 61 c t-ita.329 @sf 13 r 115 c t-ita.240 @sf 702 896 p 97 c s-med.329 @sf 720 889 p 40 c t-ita.329 @sf 105 c s-med.329 @sf 41 c t-rom.329 @sf 35 945 p (189) s 78 r 177 c 49 c t-ita.329 @sf 78 r 114 c -1 r (etr) s s-med.329 @sf (\(\() s t-ita.329 @sf 102 c t-ita.240 @sf 417 952 p 114 c s-med.329 @sf 431 945 p 40 c t-ita.329 @sf 114 c s-med.329 @sf (\)\)) s t-ita.329 @sf 78 r 114 c -1 r (etr) s s-med.329 @sf 40 c t-ita.329 @sf 102 c t-ita.240 @sf 668 952 p 114 c s-med.329 @sf 682 945 p 40 c t-ita.329 @sf 114 c s-med.329 @sf (\)\)) s t-rom.329 @sf 35 1020 p (274) s 78 r 177 c 53 c t-ita.329 @sf 102 r 114 c -1 r (oots) s s-med.329 @sf 40 c t-ita.329 @sf 102 c s-med.329 @sf 6 r 41 c t-ita.329 @sf 99 r 114 c -1 r (oots) s s-med.329 @sf 40 c cmmi10.329 @sf 681 990 p 40 c cmsy10.329 @sf -30 r 0 c t-ita.329 @sf 695 1021 p 102 c s-med.329 @sf 730 1020 p 41 c t-rom.329 @sf 35 1094 p (274) s 78 r 177 c 52 c t-ita.329 @sf 102 r 114 c -1 r (oots) s s-med.329 @sf 40 c t-ita.329 @sf 102 c s-med.329 @sf 6 r 41 c t-ita.329 @sf 99 r 114 c -1 r (oots) s s-med.329 @sf 40 c cmmi10.329 @sf 681 1064 p 40 c cmsy10.329 @sf -30 r 0 c t-ita.329 @sf 695 1095 p 102 c s-med.329 @sf 730 1094 p 41 c t-rom.329 @sf 916 2894 p (69) s @eop @end