[comp.specification] Typos in my VDM book

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