DataMuseum.dk

Presents historical artifacts from the history of:

DKUUG/EUUG Conference tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about DKUUG/EUUG Conference tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - metrics - download
Index: T v

⟦6f3809e29⟧ TextFile

    Length: 156446 (0x2631e)
    Types: TextFile
    Names: »volume4-06.ps«

Derivation

└─⟦2d1937cfd⟧ Bits:30007241 EUUGD22: P.P 5.0
    └─⟦cf5895357⟧ »EurOpenD22/isode/isode-ps.tar.Z« 
        └─⟦b4ddd0919⟧ 
            └─⟦this⟧ »isode-6.0/doc/ps/volume4-06.ps« 

TextFile

%!
/TeXDict 200 dict def 
TeXDict begin 
/Resolution 300 def
/Inch {Resolution mul} def 
/Mtrx 6 array def
/@letter
{ letter initmatrix
72 Resolution div dup neg scale 
1.0333 Inch 10.0166 Inch neg translate 
Mtrx currentmatrix pop 
} def
/@note
{ note initmatrix
72 Resolution div dup neg scale 
1.0333 Inch 10.0166 Inch neg translate 
Mtrx currentmatrix pop
} def
/@landscape
{ letter initmatrix
90 rotate
72 Resolution div dup neg scale 
1 Inch 1.0333 Inch translate
Mtrx currentmatrix pop
} def
/@legal
{ legal initmatrix
72 Resolution div dup neg scale 
0.9833 Inch 12.933 Inch neg translate 
Mtrx currentmatrix pop
} def
/@manualfeed
{ statusdict /manualfeed true put
} def
/@copies
{ /#copies exch def
} def
/@newfont 
{ /newname exch def
pop
newname 7 dict def 
newname load begin
/FontType 3 def
/FontMatrix [1 0 0 -1 0 0] def
/FontBBox [0 0 1 1] def
/BitMaps 128 array def
/BuildChar {CharBuilder} def
/Encoding 128 array def
0 1 127 {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 
{ /ch-code exch def 
/font-dict exch def 
/ch-data font-dict /BitMaps get ch-code get def 
ch-data null eq not
{ 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
} def
/@sf 
{ cvn cvx exec setfont
} def
/@dc 
{ /ch-code exch def
dup 0 get
length 2 lt
{ pop [ <00> 1 1 0 0 8.00 ] } if
/ch-data exch def
currentfont /BitMaps get ch-code ch-data put
currentfont /Encoding get ch-code 
dup (   ) cvs cvn 
put
} def
/@bop0 
{ 
} def
/@bop1 
{ pop
erasepage initgraphics 
Mtrx setmatrix
/SaveImage save def() pop
0 0 moveto 
1 setlinejoin 
} def
/@eop 
{ showpage 
SaveImage restore() pop
} def
/@start 
{ @letter 
} def
/@end 
{ end
} def
/p 
{ moveto
} def
/r 
{ 0 rmoveto
} def
/l 
{ lineto
} def
/rl 
{ rlineto
} def
/rc 
{ rcurveto
} def
/np		
{ /SaveX currentpoint /SaveY exch def def 
newpath
} def
/st 
{ stroke
SaveX SaveY moveto 
} def
/f 
{ fill
SaveX SaveY moveto 
} def
/s 
{ show
} def
/c 
{ c-string exch 0 exch put
c-string show
} 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
/ellipse 
{
/endangle exch def
/startangle exch def
/yrad exch def
/xrad exch def
/y exch def
/x exch def
/savematrix matrix currentmatrix def
x y translate
xrad yrad scale
0 0 1 startangle endangle arc
savematrix setmatrix
} def
/@SpecialDefaults
{ /hs 8.5 Inch def
/vs 11 Inch 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 excl 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
@SpecialDefaults 
@MacSetUp 
} def
/@setspecial 
{
MacDrwgs
{md begin /pxt ho def /pyt vo neg def end}
{ho vo translate @setclipper}
ifelse
} def
/@endspecial 
{ SpecialSave restore
grestore
} def
/MacDrwgs false def 
/@MacSetUp
{ userdict /md known 
{ userdict /md get type /dicttype eq 
{ /MacDrwgs true def
md begin 
/psu 
/psu load
{ /letter {} def 
/note {} def 
/legal {} def
statusdict /waittimeout 300 put
/page {pop} def 
/pyt vo neg def 
/pxt ho def
}
concatprocs 
def
/od 
/od load
{ @setclipper }
concatprocs
def
end }
if }
if 
} def
/concatprocs
{ /p2 exch cvlit def 
/p1 exch cvlit def
/p p1 length p2 length add array def
p 0 p1 putinterval 
p p1 length p2 putinterval
p cvx
} def
end 
TeXDict begin @start
%%Title: volume4.dvi
%%Creator: dvi2ps
%%EndProlog
29 @bop0
[ 746 ] /cmbx10.746 @newfont
(cmbx10.746) @sf
[<000000003FFE0000000000000FFFFFE000000000007FFFFFFC0000000003FFFFFFFF000000000FFFFFFFFFC00000003FFFF8
  007FF0000000FFFF80000FF8000001FFFC000001FC000007FFF0000000FE00000FFFC00000003F00001FFF800000001F8000
  3FFF000000000FC0007FFE0000000007E000FFFC0000000003E001FFF80000000001F003FFF00000000001F803FFF0000000
  0000F807FFE00000000000F807FFE000000000007C0FFFC000000000007C0FFFC000000000007C1FFFC000000000003E1FFF
  8000000000003E3FFF8000000000003E3FFF8000000000003E3FFF8000000000003E7FFF8000000000003E7FFF0000000000
  00007FFF000000000000007FFF00000000000000FFFF00000000000000FFFF00000000000000FFFF00000000000000FFFF00
  000000000000FFFF00000000000000FFFF00000000000000FFFF00000000000000FFFF00000000000000FFFF000000000000
  00FFFF00000000000000FFFF00000000000000FFFF00000000000000FFFF000000000000007FFF000000000000007FFF0000
  00000000007FFF0000000000003E7FFF8000000000003E3FFF8000000000003E3FFF8000000000003E3FFF8000000000007E
  1FFF8000000000007E1FFFC000000000007E0FFFC000000000007E0FFFC00000000000FE07FFE00000000000FE07FFE00000
  000001FE03FFF00000000001FE03FFF00000000003FE01FFF80000000007FE00FFFC0000000007FE007FFE000000000FFE00
  3FFF000000001FFE001FFF800000003FFE000FFFC00000007FFE0007FFF0000001FFFE0001FFFC000003FFFE0000FFFF8000
  0FF7FE00003FFFF800FFC3FE00000FFFFFFFFF81FE000003FFFFFFFE00FE0000007FFFFFF8003E0000000FFFFFC0001E0000
  00003FFE00000E> 72 73 -7 1 85.777] 67 @dc
[<FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE001FFE00000FFF00001FF
  E00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE000
  00FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FF
  F00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF000
  01FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FF
  F00000FFF00001FFF00000FFF00001FFF00000FFF00001FFF80000FFF00001FFFC0000FFF00001FFDC0000FFE00001FFDE00
  00FFE00001FFCF0001FFE00001FFC7C001FFC00001FFC3E003FFC00001FFC1FC07FF800001FFC0FFFFFF000001FFC03FFFFE
  000001FFC00FFFF8000001FFC001FFC0000001FFC0000000000001FFC0000000000001FFC0000000000001FFC00000000000
  01FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FF
  C0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC000
  0000000001FFC0000000000001FFC0000000000003FFC00000000000FFFFC00000000000FFFFC00000000000FFFFC0000000
  0000FFFFC00000000000FFFFC00000000000007FC00000000000> 64 72 -4 0 65.982] 104 @dc
[<0003FF80007FF8007FFFF001FFFC01FFFFFC03FFFC07FFFFFF07FFFC0FFFC03F8FFFF83FFF0007CFFF003FFC0003EFFC007F
  F80001EFFC007FF80000FFFC00FFF000007FFC00FFF000003FFC00FFF000003FFC00FFF000003FFC00FFF000003FFC00FFF0
  00003FFC007FF800003FFC007FF800003FFC003FFC00003FFC001FFE00003FFC000FFF00003FFC0007FFC0003FFC0003FFF0
  003FFC0000FFFE003FFC00003FFFE03FFC000007FFFFFFFC000000FFFFFFFC00000007FFFFFC00000000003FFC0000000000
  3FFC00000000003FFC00000000003FFC0000F800003FFC0003FE00003FFC0007FF00003FFC0007FF00003FFC000FFF80007F
  F8000FFF80007FF8000FFF80007FF0000FFF8000FFF0000FFF8001FFE00007FF0003FFC00007FE001FFF000003FFFFFFFE00
  0001FFFFFFF80000007FFFFFC000000007FFFC000000> 56 46 -3 0 57.734] 97 @dc
[<FFFFFFC000000000FFFFFFC000000000FFFFFFC000000000FFFFFFC000000000FFFFFFC00000000001FFE0000000000001FF
  E0000000000001FFE0000000000001FFE0000000000001FFE0000000000001FFE0000000000001FFE0000000000001FFE000
  0000000001FFE0000000000001FFE0000000000001FFE0000000000001FFE0000000000001FFE0000000000001FFE0000000
  000001FFE0000000000001FFE01FF800000001FFE0FFFF80000001FFE3FFFFF0000001FFEFFFFFFC000001FFFFE03FFE0000
  01FFFF0007FF800001FFFE0003FFC00001FFFC0001FFE00001FFF80000FFF00001FFF000007FF80001FFE000007FF80001FF
  E000003FFC0001FFE000003FFC0001FFE000001FFE0001FFE000001FFE0001FFE000001FFF0001FFE000001FFF0001FFE000
  000FFF0001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000F
  FF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF0001FFE000001FFF00
  01FFE000001FFF0001FFE000001FFF0001FFE000001FFE0001FFE000003FFE0001FFE000003FFC0001FFE000003FFC0001FF
  E000007FF80001FFF00000FFF00001FFF80000FFE00003FFFE0001FFC000FFFFFF8007FF8000FFFFDFF01FFF0000FFFFCFFF
  FFFC0000FFFFC3FFFFF00000FFFFC07FFFC00000007FC00FFC000000> 64 66 -4 20 65.982] 112 @dc
[<00001FF0000001FFFC000007FFFE00000FFFFF80001FFE0F80003FFC07C0003FF803E0007FF803E0007FF001E000FFF001F0
  00FFF001F000FFF001F000FFF001F000FFF001F000FFF001F000FFF001F000FFF001F000FFF001F000FFF0000000FFF00000
  00FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF00000
  00FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF0000000FFF00000
  00FFF00000FFFFFFFFC0FFFFFFFFC0FFFFFFFFC0FFFFFFFFC00FFFFFFFC003FFF0000001FFF00000007FF00000003FF00000
  003FF00000001FF00000000FF00000000FF000000007F000000007F000000007F000000003F000000003F000000003F00000
  0001F000000001F000000001F000000001F000000001F000000001F00000> 40 66 -2 0 46.187] 116 @dc
[<00000FFF80000000FFFFF8000007FFFFFE00001FFFFFFF80003FFE00FFC0007FF0001FE001FFC00003F003FF800001F807FF
  000000FC07FF0000007E0FFE0000003E1FFE0000003E3FFC0000001C3FFC000000003FFC000000007FFC000000007FF80000
  00007FF800000000FFF800000000FFF800000000FFF800000000FFF800000000FFFFFFFFFFFCFFFFFFFFFFFEFFFFFFFFFFFE
  FFFFFFFFFFFEFFF8000007FEFFF8000007FE7FF8000007FE7FF8000007FE7FF8000007FC7FFC000007FC3FFC000007FC3FFC
  00000FFC1FFC00000FF81FFE00000FF80FFE00001FF007FF00003FF003FF80003FE001FFC0007FC000FFE001FF80007FFC07
  FF00001FFFFFFE000007FFFFF8000001FFFFE00000001FFE0000> 48 46 -3 0 54.435] 101 @dc
[<FFFFFFE00000FFFFFFE00000FFFFFFE00000FFFFFFE00000FFFFFFE0000001FFC000000001FFC000000001FFC000000001FF
  C000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000
  000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC0000000
  01FFC000000001FFC000000001FFC000000001FFC000000001FFE000000001FFE000000001FFE000F80001FFE003FE0001FF
  F007FF0001FFF007FF0001FFF00FFF8001FFF80FFF8001FFB80FFF8001FFBC0FFF8003FF9E0FFF80FFFF8F07FF00FFFF8FC3
  FF00FFFF87FFFE00FFFF83FFFC00FFFF80FFF00000FF803F8000> 48 46 -4 0 48.913] 114 @dc
[<00007FFFFFFFF000007FFFFFFFF000007FFFFFFFF000007FFFFFFFF000007FFFFFFFF000000007FFC00000000007FFC00000
  000007FFC00000000007FFC00000000007FFC00000000007FFC00000000007FFC00000000007FFC00000000007FFC0000000
  0007FFC00000000007FFC00000000007FFC000FFFFFFFFFFFFF0FFFFFFFFFFFFF0FFFFFFFFFFFFF0FFFFFFFFFFFFF0FFFFFF
  FFFFFFF0FC000003FFC0007E000003FFC0003F000003FFC0001F000003FFC0000F800003FFC0000FC00003FFC00007E00003
  FFC00003F00003FFC00001F00003FFC00000F80003FFC00000FC0003FFC000007E0003FFC000003E0003FFC000001F0003FF
  C000001F8003FFC000000FC003FFC0000007E003FFC0000003E003FFC0000001F003FFC0000001F803FFC0000000FC03FFC0
  0000007E03FFC00000003E03FFC00000001F03FFC00000001F83FFC00000000FC3FFC000000007E3FFC000000003E3FFC000
  000001F3FFC000000001FBFFC000000000FFFFC0000000007FFFC0000000003FFFC0000000001FFFC0000000001FFFC00000
  00000FFFC00000000007FFC00000000003FFC00000000003FFC00000000001FFC00000000000FFC000000000007FC0000000
  00003FC000000000003FC000000000001FC000000000000F8000> 56 68 -3 0 59.384] 52 @dc
[<0000000000000000FFF000FFFFFFFFF000001FFFFC00FFFFFFFFF000007FFFFE00FFFFFFFFF00001FFFFFF00FFFFFFFFF000
  03FFFC1F80FFFFFFFFF00007FFF007C0001FFF8000000FFFE007E0001FFF8000001FFFE003E0001FFF8000003FFFC003F000
  1FFF8000003FFFC001F0001FFF8000007FFFC001F0001FFF8000007FFFC001F0001FFF8000007FFF8001F0001FFF8000007F
  FF8000E0001FFF8000007FFF800000001FFF8000007FFF800000001FFF8000007FFF800000001FFF8000007FFF800000001F
  FF8000007FFF800000001FFF8000007FFF000000001FFF8000007FFF000000001FFF8000007FFF000000001FFF8000007FFF
  000000001FFF8000007FFF000000001FFF8000007FFF000000001FFF8000007FFF000000001FFF8000007FFE000000001FFF
  800000FFFE000000001FFF800000FFFE000000001FFF800001FFFC000000001FFF800001FFF8000000001FFF800003FFF000
  0000001FFF800007FFE0000000001FFF80001FFFC0000000001FFF80007FFF80000000001FFFFFFFFFFE00000000001FFFFF
  FFFFF800000000001FFFFFFFFFFE00000000001FFFFFFFFFFFC0000000001FFF80001FFFF0000000001FFF800003FFF80000
  00001FFF800000FFFE000000001FFF8000003FFF000000001FFF8000001FFF800000001FFF8000000FFFC00000001FFF8000
  000FFFE00000001FFF8000000FFFE00000001FFF80000007FFF00000001FFF80000007FFF00000001FFF80000007FFF80000
  001FFF80000007FFF80000001FFF80000007FFF80000001FFF80000007FFF80000001FFF80000007FFF80000001FFF800000
  07FFF80000001FFF80000007FFF80000001FFF80000007FFF80000001FFF80000007FFF00000001FFF80000007FFF0000000
  1FFF8000000FFFE00000001FFF8000000FFFE00000001FFF8000000FFFC00000001FFF8000001FFF800000001FFF8000003F
  FF800000001FFF8000007FFF000000001FFF800001FFFC000000001FFF80001FFFF8000000FFFFFFFFFFFFFFE0000000FFFF
  FFFFFFFFFF80000000FFFFFFFFFFFFFE00000000FFFFFFFFFFFFF000000000FFFFFFFFFFFC0000000000> 88 72 -4 1 89.076] 82 @dc
[<FFFFFFC07FFFFFE03FFFFFF0FFFFFFC07FFFFFE03FFFFFF0FFFFFFC07FFFFFE03FFFFFF0FFFFFFC07FFFFFE03FFFFFF0FFFF
  FFC07FFFFFE03FFFFFF001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE000
  00FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FF
  F000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000
  007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007F
  F80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF800
  01FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FFE00000FFF000007FF80001FF
  E00000FFF000007FF80001FFE00000FFF000007FF80001FFF00000FFF800007FF80001FFF00000FFF800007FF80001FFF000
  00FFF800007FF80001FFF80000FFFC00007FF80001FFFC0000FFFE00007FF80001FFDC0000FFEE00007FF00001FFDE0000FF
  EF00007FF00001FFCF0001FFE78000FFF00003FFC7C001FFC3E000FFE000FFFFC3E003FFC1F001FFE000FFFFC1FC07FF80FE
  03FFC000FFFFC0FFFFFF007FFFFF8000FFFFC03FFFFE001FFFFF0000FFFFC00FFFF80007FFFC0000007FC001FFC00000FFE0
  0000> 96 46 -4 0 98.973] 109 @dc
[<00000FFF0000000000FFFFF000000007FFFFFE0000001FFFFFFF8000007FFC03FFE00000FFE0007FF00001FFC0003FF80003
  FF80001FFC0007FF00000FFE000FFE000007FF001FFE000007FF801FFC000003FF803FFC000003FFC03FFC000003FFC07FF8
  000001FFE07FF8000001FFE07FF8000001FFE07FF8000001FFE0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF800
  0001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF07FF80000
  01FFE07FF8000001FFE07FF8000001FFE03FF8000001FFC03FF8000001FFC03FFC000003FFC01FFC000003FF800FFC000003
  FF000FFE000007FF0007FE000007FE0003FF00000FFC0001FF80001FF80000FFE0007FF000003FFC03FFC000001FFFFFFF80
  000007FFFFFE00000000FFFFF0000000000FFF000000> 56 46 -3 0 59.384] 111 @dc
[<00000003FFF0000000000000007FFFFF80000000000003FFFFFFF000000000000FFFFFFFFC00000000007FFFFFFFFF800000
  0000FFFF807FFFC000000003FFFC000FFFF000000007FFF00003FFF80000000FFFC00000FFFC0000003FFF8000007FFF0000
  007FFF0000003FFF8000007FFE0000001FFF800000FFFC0000000FFFC00001FFF800000007FFE00003FFF800000007FFF000
  03FFF000000003FFF00007FFE000000001FFF8000FFFE000000001FFFC000FFFE000000001FFFC001FFFC000000000FFFE00
  1FFFC000000000FFFE001FFFC000000000FFFE003FFF80000000007FFF003FFF80000000007FFF003FFF80000000007FFF00
  7FFF80000000007FFF807FFF80000000007FFF807FFF00000000003FFF807FFF00000000003FFF80FFFF00000000003FFFC0
  FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC0
  FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC0
  FFFF00000000003FFFC0FFFF00000000003FFFC0FFFF00000000003FFFC07FFF00000000003FFF807FFF00000000003FFF80
  7FFF00000000003FFF807FFF00000000003FFF807FFF00000000003FFF803FFF80000000007FFF003FFF80000000007FFF00
  3FFF80000000007FFF001FFF80000000007FFE001FFF80000000007FFE000FFFC000000000FFFC000FFFC000000000FFFC00
  07FFC000000000FFF80007FFE000000001FFF80003FFE000000001FFF00003FFF000000003FFF00001FFF000000003FFE000
  00FFF800000007FFC000007FFC0000000FFF8000003FFC0000000FFF0000001FFE0000001FFE0000000FFF0000003FFC0000
  0007FFC00000FFF800000003FFE00001FFF000000000FFF80007FFC0000000003FFF807FFF00000000000FFFFFFFFC000000
  000003FFFFFFF00000000000007FFFFF8000000000000003FFF000000000> 80 73 -7 1 89.219] 79 @dc
[<FFFFFF00FFFFFF00FFFFFF00FFFFFF00FFFFFF0001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FF
  C00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC000
  01FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FF
  C00001FFC00003FFC000FFFFC000FFFFC000FFFFC000FFFFC000FFFFC000007FC00000000000000000000000000000000000
  0000000000000000000000000000000000000000000000000000000000FC000001FF000003FF800007FFC0000FFFC0001FFF
  E0001FFFE0001FFFE0001FFFE0001FFFE0001FFFE0000FFFC00007FFC00003FF800001FF000000FC0000> 32 73 -4 0 32.991] 105 @dc
[<FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE001FFE00000FFF00001FF
  E00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE000
  00FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FF
  F00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF000
  01FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FF
  F00000FFF00001FFF00000FFF00001FFF00000FFF00001FFF80000FFF00001FFFC0000FFF00001FFDC0000FFE00001FFDE00
  00FFE00001FFCF0001FFE00003FFC7C001FFC000FFFFC3E003FFC000FFFFC1FC07FF8000FFFFC0FFFFFF0000FFFFC03FFFFE
  0000FFFFC00FFFF80000007FC001FFC00000> 64 46 -4 0 65.982] 110 @dc
[<E003FF8000F81FFFF800FC7FFFFE00FFFFFFFF80FFFC00FFC0FFF0001FE0FFC0000FF0FF800007F0FF000003F8FE000003F8
  FE000003F8FC000003FCFC000003FCF8000003FCF8000007FC7800000FFC0000001FFC000000FFFC00001FFFF80003FFFFF8
  003FFFFFF000FFFFFFF003FFFFFFE007FFFFFFC00FFFFFFF801FFFFFFF003FFFFFFC007FFFFFF0007FFFFFC000FFFFF80000
  FFFE000000FFF0000000FFC0000000FF800003E0FF000003E0FF000003E07F000003E07F000003E03F000007E03F80000FE0
  1FC0001FE00FF800FFE007FFFFFFE001FFFFFFE0007FFFF3E0000FFF00E0> 40 46 -4 0 46.847] 115 @dc
[<E00003FFC00000F0007FFFF80000F803FFFFFF0000FC0FFFFFFF8000FE3FFFFFFFE000FFFFFC007FF000FFFF80000FF800FF
  FE000007FC00FFF8000003FE00FFE0000001FE00FFC0000000FF00FF80000000FF80FF00000000FF80FE000000007F80FE00
  0000007FC0FC000000007FC0FC000000007FC0FC000000007FE0F8000000007FE0F8000000007FE0F8000000007FE0F80000
  0000FFE0F800000000FFE07800000001FFE00000000003FFE00000000007FFE0000000000FFFE0000000001FFFC000000000
  FFFFC00000000FFFFFC0000001FFFFFF8000003FFFFFFF800001FFFFFFFF00000FFFFFFFFF00003FFFFFFFFE00007FFFFFFF
  FE0000FFFFFFFFFC0003FFFFFFFFF80007FFFFFFFFF00007FFFFFFFFE0000FFFFFFFFFC0001FFFFFFFFF00001FFFFFFFFC00
  003FFFFFFFF000003FFFFFFF0000007FFFFFE00000007FFFFE000000007FFFC000000000FFFF0000000000FFFC0000001F00
  FFF80000001F00FFF00000001F00FFE00000001F00FFE00000003F00FFC00000003F00FFC00000003F00FFC00000003F007F
  C00000007F007FC00000007F007FC0000000FF003FC0000001FF003FE0000001FF001FE0000003FF001FF0000007FF000FF0
  00001FFF0007FC00003FFF0007FE0000FFFF0003FFC00FFEFF0000FFFFFFFC7F00007FFFFFF03F00001FFFFFC01F000007FF
  FF000F0000007FF0000700> 56 73 -7 1 65.982] 83 @dc
[<00003FFE007FFFE00001FFFF807FFFE00007FFFFE07FFFE0001FFFFFF87FFFE0003FFC00FC7FFFE0007FF0003E7FF800007F
  E0001F7FF00000FFE0000F7FF00000FFE00007FFF00001FFE00003FFF00001FFE00001FFF00001FFE00001FFF00001FFE000
  01FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FF
  F00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF000
  01FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FF
  E00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE000
  00FFF00001FFE00000FFF00003FFE00001FFF000FFFFE0007FFFF000FFFFE0007FFFF000FFFFE0007FFFF000FFFFE0007FFF
  F000FFFFE0007FFFF000007FE000003FF000> 64 46 -4 0 65.982] 117 @dc
[<01F0001FF800000001F800FFFF80000001FC03FFFFF0000001FE0FFFFFFC000001FF1FE01FFE000001FFBF0007FF800001FF
  FE0001FFC00001FFFC0000FFE00001FFF800007FF00001FFF000003FF80001FFE000003FF80001FFE000001FFC0001FFE000
  001FFC0001FFE000001FFE0001FFE000001FFE0001FFE000000FFF0001FFE000000FFF0001FFE000000FFF0001FFE000000F
  FF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF80
  01FFE000000FFF8001FFE000000FFF8001FFE000000FFF8001FFE000000FFF0001FFE000000FFF0001FFE000000FFF0001FF
  E000000FFF0001FFE000001FFE0001FFE000001FFE0001FFE000001FFC0001FFE000001FFC0001FFE000003FF80001FFF000
  007FF00001FFF800007FE00001FFFE0001FFC00001FFFF8003FF800001FFDFF00FFF000001FFCFFFFFFC000001FFC3FFFFF0
  000001FFC07FFFC0000001FFC00FFC00000001FFC0000000000001FFC0000000000001FFC0000000000001FFC00000000000
  01FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FF
  C0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC0000000000001FFC000
  0000000001FFC0000000000001FFC0000000000003FFC00000000000FFFFC00000000000FFFFC00000000000FFFFC0000000
  0000FFFFC00000000000FFFFC00000000000007FC00000000000> 64 72 -4 0 65.982] 98 @dc
[<FFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFEFFFFFFFE> 32 10 -1 -18 39.589] 45 @dc
[<000000003FFE000000000000000FFFFFE0000E000000007FFFFFF8003E00000003FFFFFFFE00FE0000000FFFFFFFFF83FE00
  00003FFFFC00FFC7FE000000FFFF80001FFFFE000001FFFC000007FFFE000007FFF0000003FFFE00000FFFE0000001FFFE00
  001FFF80000000FFFE00003FFF00000000FFFE00007FFE00000000FFFE0000FFFC00000000FFFE0001FFF800000000FFFE00
  03FFF800000000FFFE0003FFF000000000FFFE0007FFE000000000FFFE0007FFE000000000FFFE000FFFC000000000FFFE00
  0FFFC000000000FFFE001FFFC000000000FFFE001FFF8000000000FFFE003FFF8000000000FFFE003FFF8000000000FFFE00
  3FFF8000000000FFFE007FFF8000007FFFFFFFFE7FFF8000007FFFFFFFFE7FFF0000007FFFFFFFFE7FFF0000007FFFFFFFFE
  FFFF0000007FFFFFFFFEFFFF0000000000000000FFFF0000000000000000FFFF0000000000000000FFFF0000000000000000
  FFFF0000000000000000FFFF0000000000000000FFFF0000000000000000FFFF0000000000000000FFFF0000000000000000
  FFFF0000000000000000FFFF0000000000000000FFFF00000000000000007FFF00000000000000007FFF0000000000000000
  7FFF0000000000003E007FFF8000000000003E003FFF8000000000003E003FFF8000000000003E003FFF8000000000007E00
  1FFF8000000000007E001FFFC000000000007E000FFFC000000000007E000FFFC00000000000FE0007FFE00000000000FE00
  07FFE00000000001FE0003FFF00000000001FE0003FFF00000000003FE0001FFF80000000007FE0000FFFC0000000007FE00
  007FFE000000000FFE00003FFF000000001FFE00001FFF800000003FFE00000FFFC00000007FFE000007FFF0000001FFFE00
  0001FFFC000003FFFE000000FFFF80000FF7FE0000003FFFF800FFC3FE0000000FFFFFFFFF81FE00000003FFFFFFFE00FE00
  0000007FFFFFF8003E000000000FFFFFC0001E00000000003FFE00000E00> 80 73 -7 1 93.379] 71 @dc
[ 360 ] /cmr10.360 @newfont
(cmr10.360) @sf
[<01FFFF8001FFFF800003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003
  C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0008003C0028003C0028003C002
  8003C002C003C006C003C0064003C0044003C0046003C00C7803C03C7FFFFFFC7FFFFFFC> 32 34 -2 0 35.975] 84 @dc
[<FFE3FF80FFE3FF800E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E00
  38000E0038000E0038000E0038000F0038000F0038000E8070000E60E0000E1F80000E0000000E0000000E0000000E000000
  0E0000000E0000000E0000000E0000000E0000000E0000001E000000FE000000FE0000000E000000> 32 35 -1 0 27.673] 104 @dc
[<00FC000703000E00801C0040380020780020700000F00000F00000F00000F00000F00000FFFFE0F000E07000E07800E03801
  C01C01C00C038007070001FC00> 24 21 -1 0 22.139] 101 @dc
[ 360 ] /cmti10.360 @newfont
(cmti10.360) @sf
[<0C00001C00000E00000E00000E00000E000007000007000007000007000003800003800003800003800061C00061C0C061E1
  E031E1E031F0E01998C00F0F80> 24 21 -3 0 21.004] 114 @dc
[<0F8000186000303800701C00701E00F00E00F00F00F00780F00780F007807803C07803C07803C03803C03C03C01C03C00E03
  C006038003030001C600007C00> 24 21 -5 0 25.459] 111 @dc
[<1F8030606010E008F00CF00C700E000E001E007C03FC07F807F007000608061E061E020E030601840078> 16 21 -3 0 20.367] 115 @dc
[<0F000010C0003060003830003C18003C1C00180E00000E0000070000070001F700030F000707800703800603800703800701
  C00701C00701C00701C00380E00380E00380E001C0E061C07061C07060E07030E07010E03808C038078018> 24 31 -3 10 24.186] 121 @dc
(cmr10.360) @sf
[<001000200040008001000300060004000C001800180018003000300030007000600060006000E000E000E000E000E000E000
  E000E000E000E000E000E00060006000600070003000300030001800180018000C0004000600030001000080004000200010> 16 50 -3 13 19.371] 40 @dc
[<7FFF007FFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C000F9C000FFC00007C00001C000004000> 24 33 -4 0 24.906] 49 @dc
[<800040002000100008000C0006000200030001800180018000C000C000C000E0006000600060007000700070007000700070
  00700070007000700070007000600060006000E000C000C000C00180018001800300020006000C0008001000200040008000> 16 50 -3 13 19.371] 41 @dc
[<FFE00000FFE000000E0000000E0000000E0000000E0000000E0000000E0000000E0000000E0000000E1F80000E60E0000E80
  70000F0038000E001C000E001E000E001E000E000F000E000F000E000F000E000F000E000F000E000F000E000F000E001E00
  0E001E000E001C000F003800FE807000FE60E0000E1F8000> 32 31 -1 10 27.673] 112 @dc
[<FFF000FFF0000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000F00000F03
  001E8780FE8780FE63000E1E00> 24 21 -1 0 19.510] 114 @dc
[<00FC000703800E01C01C00E0380070780078700038F0003CF0003CF0003CF0003CF0003CF0003CF0003C7000387800783800
  701C00E00E01C007038000FC00> 24 21 -1 0 24.906] 111 @dc
[<01FE000E01C0380070600018600018C0000CC0000CC0000C40001C6000183800F80FFFF00FFFE01FFF001C00001800001000
  0010000019F0000F1C000E0E001C07001C07003C07803C07803C07803C07801C07001C07000E0E1C071D1C01F08C000078> 24 33 -1 11 24.906] 103 @dc
[<0FE0F03C11C8780B84F00784F00384F00384F003847803807803803C03801E038007C380007F800003800003803803807C03
  807C07007C0600381C001FF000> 24 21 -2 0 24.906] 97 @dc
[<FFE3FF8FFEFFE3FF8FFE0E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E0
  0E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00F003C00E01F003C00E0FE807201C0FE60E18380
  0E1FC07F00> 40 21 -1 0 41.510] 109 @dc
[<FFC0FFC00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E001E00FE00FE000E000000000000000000
  00000000000000001C003E003E003E001C00> 16 34 -1 0 13.837] 105 @dc
[<87E0D818E00CC004C006C0068006800E001E00FC0FF83FF07F80F000E004C004C004C00C600C303C0FC4> 16 21 -2 0 19.648] 115 @dc
[<01F8000706000C01001C0080380040780040700000F00000F00000F00000F00000F00000F00000F00000700000780700380F
  801C0F800C0F8007070001FE00> 24 21 -2 0 22.139] 99 @dc
[<FFE0FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00
  0E000E000E000E000E000E001E00FE00FE000E00> 16 35 -1 0 13.837] 108 @dc
[<7FF8007FF8000700000700000700000700000700000700000700000700000700000700000700000700000700000700000700
  00070000070000FFF800FFF800070000070000070000070000070000070000070000070000070700030F80038F8001C78000
  E300003E00> 24 35 0 0 15.220] 102 @dc
[<7FF1FFC07FF1FFC007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C000700
  1C0007001C0007001C0007001C0007001C0007001C0007003C00FFFFFC00FFFFFC0007000000070000000700000007000000
  07000000070000000700380007007C0007007C0003807C0001803C0000E0080000783000000FC000> 32 35 0 0 27.673] 12 @dc
[<01F0030807080E040E040E040E040E040E040E000E000E000E000E000E000E000E000E000E00FFF83FF81E000E0006000600
  060002000200020002000200> 16 31 -1 0 19.371] 116 @dc
[<FFE3FF80FFE3FF800E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E00
  38000E0038000E0038000E0038000F0038001F003800FE807000FE60E0000E1F8000> 32 21 -1 0 27.673] 110 @dc
[<70F8F8F870> 8 5 -4 0 13.837] 46 @dc
[<FFFE0000FFFE0000078000000780000007800000078000000780000007800000078000000780000007802000078020000780
  200007802000078060000780E00007FFE00007FFE0000780E000078060000780200007802000078020100780201007800010
  0780001007800030078000300780002007800060078000E0078003E0FFFFFFE0FFFFFFE0> 32 34 -2 0 32.516] 70 @dc
[<01F87F0007067F000C0178001C00F000380070007800700070007000F0007000F0007000F0007000F0007000F0007000F000
  7000F00070007000700078007000380070001C00F0000E0170000706700001F8700000007000000070000000700000007000
  0000700000007000000070000000700000007000000070000000F0000007F0000007F00000007000> 32 35 -2 0 27.673] 100 @dc
[<00100000380000380000380000740000740000E20000E20000E20001C10001C1000380800380800380800700400700400E00
  200E00201E0070FFC1FEFFC1FE> 24 21 -1 0 26.290] 118 @dc
[<4020101008080404040474FCFCF870> 8 15 -4 10 13.837] 44 @dc
[<0000003E00FFFC00F100FFFC01E080078003E040078007E040078007C040078007C000078007C000078007C0000780078000
  078007800007800780000780078000078007000007800F000007800E000007801C0000078038000007FFF0000007803E0000
  0780070000078003C000078003E000078001E000078001F000078001F000078001F000078001F000078001E000078003E000
  078003C000078007800007801F0000FFFFFC0000FFFFE00000> 40 35 -2 1 36.667] 82 @dc
[<000FF0000000381C000000E007000003C003C000078001E0000F0000F0000F0000F0001E000078003E00007C003C00003C00
  7C00003E007C00003E007C00003E00F800001F00F800001F00F800001F00F800001F00F800001F00F800001F00F800001F00
  F800001F00F800001F007800001E007800001E007C00003E007C00003E003C00003C003C00003C001E000078000E00007000
  070000E000078001E00001C003800000E007000000381C0000000FF00000> 40 36 -3 1 38.743] 79 @dc
[<80FE00C7FF00CF03C0F800E0E00060C00070C000308000388000388000388000380000380000780000700000F00003F0003F
  E003FFC00FFF801FFE003FF0007F00007C0000F00000F00000E00010E00010E00010E00030E000307000707000F03801F01E
  07300FFE3003F810> 24 36 -3 1 27.673] 83 @dc
[<00FC3F8003833F800700BC000E0078000E0078000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E00
  38000E0038000E0038000E0038000E0038001E007800FE03F800FE03F8000E003800> 32 21 -1 0 27.673] 117 @dc
[<081F80000C60E0000C8070000F0038000E001C000E001E000E000E000E000F000E000F000E000F000E000F000E000F000E00
  0F000E000F000E000E000E001E000E001C000F0038000E8030000E60E0000E1F80000E0000000E0000000E0000000E000000
  0E0000000E0000000E0000000E0000000E0000000E0000001E000000FE000000FE0000000E000000> 32 35 -1 0 27.673] 98 @dc
[<FFF0FFF0> 16 2 -1 -10 16.604] 45 @dc
[<003FFF0000003FFF00000001E000000001E000000001E000000001E000000001E000000001E000000001E000000001E00000
  0001E000000001E000000001E000000001E000000003E000000003D000000007D800000007880000000F840000000F040000
  001E020000003E030000003C010000007C008000007800800000F000400001F000600001E000200003E000100003C0001000
  07C00018000F80001E00FFF8007FC0FFF8007FC0> 40 34 -1 0 37.359] 89 @dc
[<FFC01FFF00FFC01FFF001E0001F0000C0001E000040001E000040001E000020003C000020003C000020003C0000100078000
  010007800001FFFF800000FFFF000000800F000000C01F000000401E000000401E000000603E000000203C000000203C0000
  0010780000001078000000107800000008F000000008F000000008F000000005E000000005E000000005E000000003C00000
  0003C000000003C00000000180000000018000000001800000> 40 35 -2 0 37.359] 65 @dc
[<0007F000003FFC0000FC070001F0018003C00040078000200F0000201E0000101E0000103C0000083C0000087C0000087C00
  000878000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000780000087C0000087C000008
  3C0000183C0000181E0000181E0000380F0000380780007803C000F801F0013800FC0618003FFC180007F008> 32 36 -3 1 35.975] 67 @dc
(cmti10.360) @sf
[<1E0F0031988070D8C0707860F03860F03860F01C30F01C20F01C00F01C00780E00780E00780E00380E003C07001C07001E07
  000E0700070F80038B8000F180> 24 21 -5 0 25.459] 97 @dc
[<0FC000183800301C00700600700300F00100F00000F00000F00000F000007800007800007800003800003C00001C0F000E0F
  0007070003030001C200007C00> 24 21 -5 0 22.913] 99 @dc
[ 518 ] /cmbx10.518 @newfont
(cmbx10.518) @sf
[<000FFFFFF0000FFFFFF0000FFFFFF000000FF80000000FF80000000FF80000000FF80000000FF80000000FF80000000FF800
  00000FF80000000FF800FFFFFFFFF0FFFFFFFFF0FFFFFFFFF0F00007F800780007F8003C0007F8001E0007F8000F0007F800
  0F0007F800078007F80003C007F80001E007F80000F007F800007007F800007807F800003C07F800001E07F800000F07F800
  000707F800000787F8000003C7F8000001E7F8000000F7F800000077F80000007FF80000003FF80000001FF80000000FF800
  000007F800000007F800000003F800000001F800000000F8000000007800> 40 46 -2 0 41.244] 52 @dc
[<1F003F807FC0FFE0FFE0FFE0FFE0FFE07FC03F801F00> 16 11 -6 0 22.913] 46 @dc
[<7FFFFFF07FFFFFF07FFFFFF0003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003F
  E000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000
  003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003F
  E000E03FE000FFBFE000FFFFE0001FFFE000007FE000000FE0000003E0000001E000> 32 46 -6 0 41.244] 49 @dc
[<FFFFFFC0000FFC00FFFFFFC000FFFF00FFFFFFC003FFFF8000FFC00007FF83C000FFC0000FFF01C000FFC0000FFE00E000FF
  C0001FFE00E000FFC0001FFC00E000FFC0001FFC004000FFC0001FFC000000FFC0001FFC000000FFC0001FFC000000FFC000
  1FF8000000FFC0001FF8000000FFC0001FF8000000FFC0001FF8000000FFC0001FF8000000FFC0001FF0000000FFC0003FF0
  000000FFC0003FE0000000FFC0007FE0000000FFC000FFC0000000FFC003FF00000000FFFFFFFE00000000FFFFFFFC000000
  00FFFFFFFF80000000FFC001FFE0000000FFC0003FF0000000FFC0000FFC000000FFC00007FC000000FFC00007FE000000FF
  C00003FF000000FFC00003FF000000FFC00003FF800000FFC00003FF800000FFC00003FF800000FFC00003FF800000FFC000
  03FF800000FFC00003FF800000FFC00003FF000000FFC00003FF000000FFC00007FE000000FFC00007FC000000FFC0000FFC
  000000FFC0003FF0000000FFC001FFE00000FFFFFFFFFF800000FFFFFFFFFC000000FFFFFFFFC0000000> 64 49 -2 0 61.866] 82 @dc
[<0003FF0000003FFFE00000FFFFF80003FE00FC0007F8001E000FF0000F001FE00007801FC00003803FC00003803FC0000000
  7F800000007F80000000FF80000000FF80000000FF80000000FFFFFFFF80FFFFFFFF80FFFFFFFF80FF80003F80FF80003F80
  7F80003F807F80003F007FC0003F003FC0003F003FC0007E001FE0007E000FE000FC0007F801F80003FC07F00000FFFFE000
  003FFF80000007FC0000> 40 32 -2 0 37.807] 101 @dc
[<FFFFC1FFFF83FFFF00FFFFC1FFFF83FFFF00FFFFC1FFFF83FFFF0007F8000FF0001FE00007F8000FF0001FE00007F8000FF0
  001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007
  F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF000
  1FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007FC
  000FF8001FE00007FC000FF8001FE00007FE000FFC001FE00007F6000FFC001FE00007F3000FE6001FC0000FF1C01FE3803F
  C000FFF0F03FC1E07F8000FFF07FFF80FFFF0000FFF03FFF007FFE000003F007F8000FF00000> 72 32 -3 0 68.740] 109 @dc
[<0007FE0000003FFFC00001FFFFF80003FE07FC0007F801FE000FE0007F001FE0007F803FC0003FC03FC0003FC07F80001FE0
  7F80001FE07F80001FE0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0
  7F80001FE07F80001FE07F80001FE03FC0003FC03FC0003FC01FC0003F800FE0007F0007F000FE0003FC03FC0000FFFFF000
  003FFFC0000007FE0000> 40 32 -2 0 41.244] 111 @dc
[<000FE000007FF00000FFF80001FE1C0003FC0E0003F80E0007F8070007F8070007F8070007F8070007F8070007F8070007F8
  070007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F80000
  07F8000007F8000007F8000007F80000FFFFFE00FFFFFE00FFFFFE001FF8000007F8000003F8000001F8000000F8000000F8
  00000078000000780000007800000038000000380000003800000038000000380000> 32 46 -2 0 32.079] 116 @dc
[<00000FFE0000000000FFFFE000000007FFFFFC0000001FFC07FF0000003FE000FF800000FFC0007FE00001FF80003FF00003
  FF00001FF80007FE00000FFC000FFC000007FE000FFC000007FE001FF8000003FF001FF8000003FF003FF0000001FF803FF0
  000001FF807FF0000001FFC07FF0000001FFC07FE0000000FFC07FE0000000FFC0FFE0000000FFE0FFE0000000FFE0FFE000
  0000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE00000
  00FFE0FFE0000000FFE07FE0000000FFC07FE0000000FFC07FE0000000FFC03FF0000001FF803FF0000001FF803FF0000001
  FF801FF0000001FF001FF8000003FF000FF8000003FE0007FC000007FC0007FC000007FC0003FE00000FF80001FF00001FF0
  0000FF80003FE000003FE000FF8000001FFC07FF00000007FFFFFC00000000FFFFE0000000000FFE000000> 56 49 -5 0 61.966] 79 @dc
[<FFFFC0000000FFFFC0000000FFFFC000000007F80000000007F80000000007F80000000007F80000000007F80000000007F8
  0000000007F80000000007F80000000007F80000000007F80000000007F80000000007F81FE0000007F87FFE000007F9FFFF
  000007FBE07FC00007FF001FE00007FE000FF00007FC0007F80007F80007FC0007F80003FC0007F80003FE0007F80003FE00
  07F80001FE0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F8
  0001FF0007F80001FE0007F80003FE0007F80003FE0007F80003FC0007F80007FC0007F80007F80007FE000FF0000FFF001F
  E000FFFFE07FC000FFF9FFFF8000FFF87FFE000001F80FF00000> 48 46 -2 14 45.827] 112 @dc
[<FFFFE000FFFFE000FFFFE00007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8
  000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007FC008007FC03E007FC07F007FE0FF8
  07F60FF807F70FF80FF38FF8FFF3C7F0FFF1FFE0FFF07FC003F03F00> 32 32 -2 0 33.972] 114 @dc
[<00FF800FF807FFF03FF80FFFF87FF83FF03CFF007FC00EFE007F8003FE00FF0003FE00FF0001FE00FF0001FE00FF0001FE00
  FF0001FE007F8001FE003F8001FE001FC001FE000FF001FE0007FE01FE0001FFF1FE00003FFFFE000001FFFE00000001FE00
  000001FE00010001FE0007C001FE000FE001FE001FF001FE001FF003FC001FF003F8001FF007F0000FE01FE00007FFFFC000
  03FFFF0000007FF80000> 40 32 -2 0 40.098] 97 @dc
[<FFFF80FFFF80FFFF8007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8
  0007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8000FF800FFF800FFF800FFF80001F80000000000
  000000000000000000000000000000000000000003C0000FF0000FF0001FF8001FF8001FFC001FF8001FF8000FF0000FF000
  03C000> 24 51 -3 0 22.913] 105 @dc
[<FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF8007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8
  000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000F
  F00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007FC000FF00007FC000FF00007FE000FF000
  07F6000FF00007F3000FE0000FF1C01FE000FFF0F03FC000FFF07FFF8000FFF03FFF000003F007F80000> 48 32 -3 0 45.827] 110 @dc
[<C07FC000F3FFF800FFFFFC00FF803E00FE000F00F8000F80F8000780F00007C0E00007C0E00007C060000FC000001FC00000
  FFC0001FFF8001FFFF8007FFFF000FFFFE003FFFFC003FFFF0007FFFC000FFF80000FF000000FC000700F8000700F8000700
  F800070078000F003C001F003F007F001FFFFF0007FFEF0000FF8700> 32 32 -3 0 32.537] 115 @dc
[<FFFFE000E000FFFFFF80FFFFE001F000FFFFFF80FFFFE001F000FFFFFF8001F00003F80000FF800000E00003F80000FF8000
  00E00007FC0000FF800000E00007FC0000FF800000E00007FC0000FF800000E0000FFE0000FF800000E0000FFE0000FF8000
  00E0001FE70000FF800000E0001FE70000FF800000E0003FC38000FF800000E0003FC38000FF800000E0007F81C000FF8000
  00E0007F81C000FF800000E000FF00E000FF800000E000FF00E000FF800000E000FF00E000FF800000E001FE007000FF8000
  00E001FE007000FF800000E003FC003800FF800000E003FC003800FF800000E007F8001C00FF800000E007F8001C00FF8000
  00E00FF0000E00FF800000E00FF0000E00FF800000E01FE0000700FF800000E01FE0000700FF800000E03FC0000380FF8000
  00E03FC0000380FF800000E03FC0000380FF800000E07F800001C0FF800000E07F800001C0FF800000E0FF000000E0FF8000
  00E0FF000000E0FF800000E1FE00000070FF800000E1FE00000070FF800000E3FC00000038FF800000E3FC00000038FF8000
  00E7F80000001CFF800000E7F80000001CFF800000EFF00000000EFF800000EFF00000000EFF800000EFF00000000EFF8000
  00FFE000000007FF8000FFFFE000000007FFFF80FFFFC000000003FFFF80FFFF8000000001FFFF80> 80 49 -2 0 78.304] 77 @dc
[<000FF01FFF00007FFE1FFF0001FFFF9FFF0003FC07DFF00007F001FFE0000FE0007FE0001FC0003FE0003FC0001FE0003FC0
  001FE0007F80001FE0007F80001FE0007F80001FE000FF80001FE000FF80001FE000FF80001FE000FF80001FE000FF80001F
  E000FF80001FE000FF80001FE000FF80001FE0007F80001FE0007F80001FE0007F80001FE0003FC0001FE0003FC0001FE000
  1FE0001FE0000FE0003FE00007F800FFE00003FE03FFE00001FFFFDFE000007FFF1FE000000FF81FE0000000001FE0000000
  001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001F
  E0000000001FE0000000001FE0000000001FE0000000003FE000000003FFE000000003FFE000000003FFE00000000007E000> 48 50 -3 0 45.827] 100 @dc
[<000FFC0FFF80007FFF0FFF8000FFFF8FFF8001FE03CFF80003F8006FF00003F8003FF00007F8001FF00007F8001FF00007F8
  000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000F
  F00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF000
  07F8000FF00007F8000FF0000FF8001FF000FFF801FFF000FFF801FFF000FFF801FFF00001F80003F000> 48 32 -3 0 45.827] 117 @dc
[<FFFFC0FFFFC0FFFFC007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8
  0007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007
  F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8000FF800FFF800FFF800FFF80001F800> 24 50 -3 0 22.913] 108 @dc
(cmti10.360) @sf
[<0F8030707038600CE006E002E000E000E000E000F000F000FFE0F038780C38063C061C060E06038400F8> 16 21 -6 0 22.913] 101 @dc
[<0C00C007801C01C00C600E00E00C200E00E01C300E00E01C180E00E00E180700700E0C0700700E0807007007000700700700
  03803803800380380380038038038003C03C038061C01C01C061E01E01C061E01E01C031F01F01C031D8198180198C30C300
  0F03E03E00> 40 21 -3 0 40.735] 109 @dc
[<0F0018C018603860383038301C181C101C001C000E000E000E000E0007000700070007000380FFF8FFF8038001C001C001C0
  01C000E000E000E000E00060> 16 31 -4 0 16.549] 116 @dc
[<FFC000FFC0001C00001C00000E00000E00000E00000E0000070000070000073C0007670003C38003C1C003C0E00380E001C0
  7001C07801C07801C07800E03C00E03C00E03C00E03C18701C18701C18781C0C78180C7C3806663003C1E0> 24 31 -1 10 25.459] 112 @dc
[<0F00188018C0384038601C601C300E200E000E0007000700070003806380638061C031C031C019800F000000000000000000
  00000000000000000000006000F000700070> 16 34 -3 0 15.276] 105 @dc
[<0C00F0001C018C000E0184000E0386000E0383000E01C3000701C1800701C1000700E0000700E00003807000038070000380
  70000380700061C0380061C0380061E0380031F0380031D83000198C70000F03C000> 32 21 -3 0 28.005] 110 @dc
[<1E0F0031988070D8C0707860F03860F03860F01C30F01C20F01C00F01C00780E00780E00780E00380E003C07001C07001E07
  000E0700070F80038B8000F3800003800001C00001C00001C00001C00000E00000E00000E00000E00000700000700007F000
  07F0000078> 24 35 -5 0 25.459] 100 @dc
[<01F0F0000309880007058C000703860006038600070386000701C3000701C2000701C0000701C0000380E0000380E0000380
  E00001C0E00061C0700061C0700060E0700030E0700010E0380008C0380007801800> 32 21 -3 0 26.732] 117 @dc
[<3C0066006200E300E300E300718071007000700038003800380038001C001C001C001C000E000E000E000E00070007000700
  0700038003800380038001C001C01FC01FC001E0> 16 35 -4 0 12.730] 108 @dc
[<01FC000007FF00000F81C0001E0060003C0030007800180078000C00F8000600F0000600F0000300F0000300F0000180F000
  0180F0000000F8000000F8000000F8000000F8000000F80000007C0000007C0000007C0000003E0000603E0000301E000030
  1F0000300F8000300780003803C0007801E0007800F000780078007C003E00DC001F839C0007FF0C0000FC06> 32 36 -8 1 35.643] 67 @dc
(cmr10.360) @sf
[<002002000000700700000070070000007007000000E80E800000E80E800000E80C800001C41C400001C41C400001C4184000
  038238200003823820000702303000070170100007016010000E01E008000E00E008000E00C00C001E01C01E00FF8FF87F80
  FF8FF87F80> 40 21 -1 0 35.975] 119 @dc
[<3E0000630000B98000F88000F84000F8400000200000200000200000100000100000380000380000380000740000740000E2
  0000E20000E20001C10001C1000380800380800380800700400700400E00200E00201E0070FFC1FEFFC1FE> 24 31 -1 10 26.290] 121 @dc
(cmti10.360) @sf
[<1F000031C00060E000607000E03800E03800E03C00E01E00E01E00E01E00700F00700F00700F00700F00380F003807003C07
  003C06001E0E001D8C001CF8001C00000E00000E00000E00000E00000700000700000700000700000380000380003F80003F
  800003C000> 24 35 -5 0 22.913] 98 @dc
(cmr10.360) @sf
[<03F8000FFE001C0F002007804003C0F803E0FC01E0FC01F0FC01F07801F03001F00001F00001F00001E00003E00003C00007
  80000E0003F800001C00000E000007800003800003C01803E03C03E07C01E07C01E07C03E03803C03003C01C0F800FFE0001
  F800> 24 34 -2 1 24.906] 51 @dc
[<FF03FEFF03FE1E00E00601C00201C0010380018700008E00004E00003C0000380000700000780000E40001C2000383000381
  000700800F01E0FF83FEFF83FE> 24 21 -1 0 26.290] 120 @dc
[<01C00003E00003E00003E00003E00003E00003E00003E00001E00001E00001E00001E00000E00000E00000E0000070000070
  00003000003000001000001800000800000400000400000200800100800100800080C000404000207FFFE07FFFF07FFFF060
  0000400000> 24 35 -3 1 24.906] 55 @dc
[<01F8000FFE001E07803800C0700040600060C00030C00030C00030C00030C000706000706001E03003E0100FC00C1F80067F
  0001FE0003F80007FC001FC6001F81003E00807800C07000606000606000606000602000603000C01801C00E078007FE0001
  F800> 24 34 -2 1 24.906] 56 @dc
[<03F0000FFE001C0F003003806003C04001C0C001E0F800E0F800F0F800F0F800F07000F00000F00000F00000F00000E00000
  E01001C018018014038013060010FC0010000010000010000010000010000010000013F0001FFC001FFF001FFF801E038018
  0040> 24 34 -2 1 24.906] 53 @dc
(cmti10.360) @sf
[<0380000000038000000003C000000003C000000003E000000003E000000003F000000003F800000003D800000003CC000000
  078C000000078600000007860000000783000000078380000007818000000780C000000780C0000007806000000780600000
  0780300000078018000007801800000F800C00000F000C00000F000600000F000600000F000300000F000180000F00018000
  0F0000C0000F0000C0000F0000F000FFF007FE00FFF007FF00> 40 35 -10 1 37.027] 86 @dc
[<01F80000070F00001C03C0003C00E000380070007800780078003C00F0001E00F0000F00F0000F80F0000780F00007C0F000
  07C0F00003E0F80003E0F80001F0F80001F0F80001F0F80001F07C0000F87C0000F87C0000F83E0000F83E0000F81E0000F8
  1F0000780F000078078000F0038000F003C000F001E000E000F000E0003801C0001C0380000707000001FC00> 32 36 -8 1 38.189] 79 @dc
(cmr10.360) @sf
[<FFFFFC00FFFFFF0007800FC0078007E0078003F0078001F0078000F8078000F8078000F8078000F8078000F8078000F80780
  00F0078001F0078001E0078003C00780078007FFFE0007803E0007800F80078007C0078003E0078001E0078001F0078001F0
  078001F0078001F0078001F0078001E0078003E0078007C007800F80FFFFFE00FFFFF800> 32 34 -2 0 35.284] 66 @dc
[<00FFF800FFF8000700000700000700000700000700000700000700FFFFFCFFFFFCC007004007002007003007001007000807
  000C070004070002070003070001070000870000C700004700002700003700001700000F00000F00000700000300000300> 24 33 -1 0 24.906] 52 @dc
[<01F80003FE000F07001C03801C01C03801E03800E07800E07000F07000F0F000F0F000F0F000F0F000F0F000F0F000E0F800
  E0F801C0F40180F40300F30600F0F8007000007000007800003800003801C01C03E01C03E00E01E00700E003C0C000FF8000
  3E00> 24 34 -2 1 24.906] 54 @dc
[<FFFCFFFC07800780078007800780078007800780078007800780078007800780078007800780078007800780078007800780
  0780078007800780078007800780FFFCFFFC> 16 34 -2 0 17.988] 73 @dc
[<FFE3FEFFE3FE0E01F00E01E00E01C00E03C00E07800E07000E0E000E1E000F1C000EF8000E38000E10000E08000E04000E02
  000E01800E01E00E03FC0E03FC0E00000E00000E00000E00000E00000E00000E00000E00000E00000E00001E0000FE0000FE
  00000E0000> 24 35 -1 0 26.290] 107 @dc
[<1F007180F8C0F8E0F87070700070007000700070007000700070007000700070007000700070007000700070007000700070
  0070007000F007F007F000F00000000000000000000000000000000000E001F001F001F000E0> 16 44 2 10 15.220] 106 @dc
[<70F8F8F870000000000000000000000070F8F8F870> 8 21 -4 0 13.837] 58 @dc
[<4020101008080404040474FCFCF870> 8 15 -4 -20 13.837] 39 @dc
[<7FF1FFC07FF1FFC007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C000700
  1C0007001C0007001C0007001C0007001C0007001C0007001C00FFFFFC00FFFFFC0007001C0007001C0007001C0007001C00
  07001C0007001C0007001C0007001C0007003C0003807C0001807C0000E07C0000701C00000FEC00> 32 35 0 0 27.673] 13 @dc
[ 432 ] /cmbx10.432 @newfont
(cmbx10.432) @sf
[<007FFFF8007FFFF8007FFFF80000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE00FFFFFFF8FFFF
  FFF8FFFFFFF8E0007E0070007E0038007E001C007E000E007E000E007E0007007E0003807E0001C07E0000E07E0000E07E00
  00707E0000387E00001C7E00000E7E00000E7E0000077E000003FE000001FE000000FE000000FE0000007E0000003E000000
  1E0000000E00> 32 39 -2 0 34.370] 52 @dc
[<1C003E007F00FF80FF80FF807F003E001C00> 16 9 -5 0 19.094] 46 @dc
[<7FFFFE7FFFFE7FFFFE00FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE
  0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE00F8FE00FF
  FE00FFFE0007FE00007E00001E00000E00> 24 39 -5 0 34.370] 49 @dc
[<0000FFE00000000FFFFE0000003FC07F800000FF001FE00001FC0007F00003F80003F80007F00001FC000FF00001FE001FE0
  0000FF001FE00000FF003FC000007F803FC000007F807FC000007FC07FC000007FC07F8000003FC0FF8000003FE0FF800000
  3FE0FF8000003FE0FF8000003FE0FF8000003FE0FF8000003FE0FF8000003FE0FF8000003FE0FF8000003FE0FF8000003FE0
  7F8000003FC07F8000003FC07F8000003FC07FC000007FC03FC000007F803FC000007F801FE00000FF001FE00000FF000FF0
  0001FE0007F00001FC0003F80003F80001FC0007F000007F001FC000003FC07F80000007FFFC00000000FFE00000> 48 41 -4 0 51.638] 79 @dc
[<FFFE000000FFFE000000FFFE0000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE0000000
  0FE00000000FE00000000FE1FC00000FE7FF80000FFE0FE0000FF803F0000FF001F8000FE001FC000FE000FE000FE000FF00
  0FE000FF000FE0007F000FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F00
  0FE0007F000FE000FF000FE000FE000FE000FC000FF001F8000FF803F000FFFE07E000FFE7FF8000FFE1FE0000> 40 39 -2 12 38.189] 112 @dc
[<001FF00000FFFE0003F81F0007E003800FC001C01F8000E03F8000E07F0000007F0000007F000000FF000000FF000000FF00
  0000FFFFFFE0FFFFFFE0FF0007E0FF0007E07F0007E07F0007C07F000FC03F800FC01F800F800F801F8007C01F0003F07E00
  01FFF800003FE000> 32 27 -2 0 31.506] 101 @dc
[<FFFF0000FFFF0000FFFF00000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0
  00000FE000000FE000000FE000000FE000000FE000000FE000000FF01C000FF03E000FF07F000FD87F000FD87F00FFCE3E00
  FFC7FC00FFC1F000> 32 27 -2 0 28.310] 114 @dc
[<01FC03FC0FFF0FFC3F839FFC7F00DF807E007F80FE003F80FE003F80FE003F80FE003F807F003F803F003F803F803F800FE0
  3F8007FC3F8000FFFF80000FFF8000003F8000003F8000003F8007003F800F803F801FC03F001FC07E001FC07E000F81F800
  07FFF00001FF8000> 32 27 -2 0 33.415] 97 @dc
[<001F8000FFC001F86003F87003F03807F03807F03807F03807F03807F03807F03807F00007F00007F00007F00007F00007F0
  0007F00007F00007F00007F00007F00007F00007F000FFFFF0FFFFF01FFFF007F00003F00003F00001F00000F00000F00000
  F000007000007000007000007000> 24 38 -1 0 26.732] 116 @dc
[<FFFEFFFEFFFE0FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0FFE0
  FFE0FFE0000000000000000000000000000007000FC01FE03FE03FE03FE01FE00FC00700> 16 43 -3 0 19.094] 105 @dc
[<003FE00001FFFC0007F07F000FC01F801F800FC03F800FE03F800FE07F0007F07F0007F0FF0007F8FF0007F8FF0007F8FF00
  07F8FF0007F8FF0007F8FF0007F8FF0007F87F0007F07F0007F07F0007F03F0007E03F800FE01F800FC00FC01F8003F07E00
  01FFFC00003FE000> 32 27 -2 0 34.370] 111 @dc
[<FFFE3FFF80FFFE3FFF80FFFE3FFF800FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F800
  0FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FF003F800
  0FF003F8000FD803F8000FD803F0000FCE03F000FFC787E000FFC1FFC000FFC07F0000> 40 27 -3 0 38.189] 110 @dc
[<FFFFFFFC0000FFFFFFFF8000FFFFFFFFE00003FC001FF80003FC0003FC0003FC0001FE0003FC00007F0003FC00007F8003FC
  00003FC003FC00001FC003FC00001FE003FC00001FE003FC00000FF003FC00000FF003FC00000FF003FC00000FF803FC0000
  0FF803FC00000FF803FC00000FF803FC00000FF803FC00000FF803FC00000FF803FC00000FF803FC00000FF803FC00000FF8
  03FC00000FF003FC00000FF003FC00000FF003FC00000FF003FC00001FE003FC00001FE003FC00001FC003FC00003FC003FC
  00007F8003FC0000FF0003FC0001FE0003FC0007FC0003FC001FF800FFFFFFFFE000FFFFFFFF8000FFFFFFF80000> 48 41 -3 0 52.717] 68 @dc
[<7FFF1FFFC07FFF1FFFC07FFF1FFFC007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC00
  07F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC00
  07F001FC0007F001FC0007F001FC0007F001FC00FFFFFFFC00FFFFFFFC00FFFFFFFC0007F000000007F000000007F0000000
  07F000000007F000F00007F001F80007F003FC0007F003FC0007F003FC0003F803FC0001F801F80000FC00F800007F80F000
  001FFFC0000001FF0000> 40 42 -1 0 38.189] 12 @dc
[<C1FF00F7FFC0FF01E0FC0070F80038F00038F0003CE0003C60007C0000FC0003FC00FFF807FFF81FFFF03FFFE07FFF807FFE
  00FFE000FC0000F80070F00070F000707000703800F01E03F00FFFF003FE30> 24 27 -2 0 27.114] 115 @dc
[ 360 ] /cmtt10.360 @newfont
(cmtt10.360) @sf
[<0FFE003FFF807FFFC07C07C07001C0F001E0F001E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000
  E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0F001E07001C07C07C07FFFC03FFF800FFE00> 24 30 -3 0 26.151] 79 @dc
[<7FC000FFE0007FC0000E00000E00000E00000E00000E00000E00000E00000E00000E00000FFF000FFFC00FFFE00E01F00E00
  780E00380E003C0E001C0E001C0E001C0E001C0E003C0E00380E00780E01F07FFFE0FFFFC07FFF00> 24 30 -1 0 26.151] 80 @dc
[<7FFFFEFFFFFE7FFFFE0E000E0E000E0E000E0E000E0E000E0E00000E00000E00000E07000E07000E07000FFF000FFF000FFF
  000E07000E07000E07000E00000E00000E001C0E001C0E001C0E001C0E001C7FFFFCFFFFFC7FFFFC> 24 30 -1 0 26.151] 69 @dc
[<FF8070FF81FCFF81FC1C038E1C038E1C038E1C03841C03801C03801C03801C03801C03801C07001C0F001FFE001FFC001FFF
  001C0F801C07801C03C01C01C01C01C01C01C01C01C01C03C01C07801C0F80FFFF00FFFC00FFF000> 24 30 -2 0 26.151] 82 @dc
[<7F83FCFF83FE7F83FC1C00700E00E00E00E00E00E00E00E007FFC007FFC007FFC00701C00783C00383800383800383800383
  8001C70001C70001C70001C70000C60000EE0000EE0000EE0000EE00006C00007C00007C00003800> 24 30 -1 0 26.151] 65 @dc
[<03FF8007FFC003FF800038000038000038000038000038000038000038000038000038000038000038000038000038000038
  00003800003800003800003800003800E0380EE0380EE0380EE0380EE0380EFFFFFEFFFFFE7FFFFE> 24 30 -1 0 26.151] 84 @dc
[<FFFF80FFFF80FFFF8001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C000FFFF80FFFF80FFFF80> 24 30 -4 0 26.151] 73 @dc
[<FF83C0FF87C0FF87C01C0DC01C0DC01C0DC01C0DC01C1DC01C19C01C19C01C39C01C39C01C31C01C31C01C71C01C71C01C61
  C01C61C01CE1C01CE1C01CC1C01CC1C01DC1C01D81C01D81C01D81C01D81C0FF0FF8FF0FF8FE0FF8> 24 30 -2 0 26.151] 78 @dc
(cmr10.360) @sf
[<FFFFE0FFFFE07FFFE020002010003008001004001002001001000000800000E000007000003800001C00000E000007000007
  800003C00003E00001E00001E03001F07800F0FC00F0FC00F0FC01F0F801E04001E04003C02007C0181F800FFE0003F800> 24 33 -2 0 24.906] 50 @dc
[<07E0001FF800303C00300E007807007C03807C03803801C00001C00001E00000E00000E001F0F0060CF00C02F01802F03801
  F07001F07000F0F000F0F000F0F000F0F000F0F000F0F000E0F000E07001E07001C07801C03803801C03800E0F0007FE0001
  F800> 24 34 -2 1 24.906] 57 @dc
29 @bop1
(cmbx10.746) @sf
245 639 p (Chapter) s
39 r 52 c
245 847 p (Remote) s
39 r (Op) s
4 r (erations) s
245 971 p (Stub-Generator) s
(cmr10.360) @sf
245 1198 p (The) s
(cmti10.360) @sf
17 r 114 c
-2 r (osy) s
(cmr10.360) @sf
3 r (\(1\)) s
17 r (program) s
17 r (is) s
16 r 97 c
17 r (compiler) s
16 r (for) s
17 r (sp) s
1 r (eci\014cations) s
17 r (of) s
17 r (remote) s
16 r (op) s
2 r (erations.) s
320 1258 p 70 c
-4 r (or) s
15 r (those) s
16 r (in) s
(terested) s
15 r (in) s
16 r (trivia,) s
(cmti10.360) @sf
16 r 114 c
-1 r (osy) s
(cmr10.360) @sf
15 r (stands) s
16 r (for) s
15 r 82 c
1306 1264 p 37 2 ru
1343 1258 p (emote) s
16 r 79 c
1489 1264 p 39 2 ru
1528 1258 p 112 c
1 r (erations) s
16 r 83 c
1745 1264 p 28 2 ru
1772 1258 p (tub-) s
245 1318 p (generator) s
19 r 40 c
89 c
489 1325 p 37 2 ru
526 1318 p 65 c
(CC-based\).) s
28 r (The) s
(cmti10.360) @sf
20 r (yac) s
-2 r 99 c
(cmr10.360) @sf
2 r (\(1\)) s
19 r (program,) s
20 r (of) s
19 r (course,) s
20 r (is) s
19 r 97 c
19 r (compiler-) s
245 1378 p (compiler.) s
(cmbx10.518) @sf
245 1545 p (4.1) s
82 r (Remote) s
28 r (Op) s
2 r (erations) s
28 r (Mo) s
2 r (dule) s
(cmr10.360) @sf
245 1654 p (The) s
(cmti10.360) @sf
19 r 114 c
-1 r (osy) s
(cmr10.360) @sf
18 r (program) s
20 r (reads) s
19 r 97 c
20 r (description) s
19 r (of) s
20 r 97 c
(cmti10.360) @sf
19 r 114 c
-1 r (emote) s
19 r (op) s
-2 r (er) s
-2 r (ations) s
19 r (mo) s
-1 r (dule) s
(cmr10.360) @sf
22 r (and) s
245 1714 p (pro) s
1 r (duces) s
19 r (the) s
19 r (corresp) s
1 r (onding) s
(cmti10.360) @sf
19 r 67 c
(cmr10.360) @sf
26 r (stubs) s
18 r (and) s
19 r (de\014nitions) s
18 r (for) s
19 r (use) s
19 r (with) s
18 r (the) s
19 r (run-) s
245 1774 p (time) s
20 r (en) s
(vironmen) s
-2 r 116 c
19 r (pro) s
(vided) s
19 r 98 c
121 c
19 r (the) s
(cmti10.360) @sf
20 r (libr) s
-2 r (osy) s
(cmr10.360) @sf
4 r (\(3n\)) s
20 r (library) s
-3 r 46 c
31 r (The) s
21 r (syn) s
-1 r (tax) s
19 r (of) s
20 r (the) s
245 1835 p (input) s
23 r (\014le) s
24 r (corresp) s
1 r (onds) s
24 r (almost) s
23 r (exactly) s
24 r (to) s
23 r (the) s
24 r (remote) s
23 r (op) s
2 r (erations) s
23 r (notation) s
245 1895 p (describ) s
1 r (ed) s
13 r (in) s
14 r (an) s
-1 r 121 c
12 r (of) s
14 r (the) s
13 r (references) s
13 r (found) s
13 r (in) s
13 r (Section) s
14 r (3.7) s
13 r (on) s
13 r (page) s
13 r (85) s
13 r (of) s
(cmti10.360) @sf
13 r 86 c
-2 r (olume) s
245 1955 p (One) s
(cmr10.360) @sf
46 c
22 r (\(But) s
15 r (see) s
15 r (Section) s
15 r (4.3) s
16 r (on) s
15 r (page) s
15 r (36) s
16 r (for) s
15 r (the) s
15 r (details.\)) s
22 r (In) s
15 r (short,) s
16 r (three) s
15 r (kinds) s
245 2015 p (of) s
17 r (ob) s
2 r (jects) s
17 r (are) s
16 r (de\014ned:) s
(cmti10.360) @sf
23 r (op) s
-2 r (er) s
-2 r (ations) s
(cmr10.360) @sf
44 c
(cmti10.360) @sf
15 r (err) s
-1 r (ors) s
(cmr10.360) @sf
44 c
15 r (and) s
(cmti10.360) @sf
17 r (typ) s
-2 r (es) s
(cmr10.360) @sf
46 c
320 2075 p (An) s
19 r (example) s
20 r (of) s
20 r 97 c
19 r (complete) s
20 r (remote) s
20 r (op) s
1 r (erations) s
20 r (mo) s
1 r (dule) s
20 r (can) s
20 r 98 c
1 r 101 c
20 r (found) s
19 r (in) s
245 2136 p (Figure) s
21 r (4.1) s
22 r (starting) s
21 r (on) s
21 r (page) s
22 r (34.) s
36 r 70 c
-3 r (or) s
20 r (no) s
(w,) s
21 r (let's) s
22 r (brie\015y) s
21 r (consider) s
21 r (the) s
22 r (three) s
245 2196 p (individual) s
17 r (ob) s
2 r (jects.) s
(cmbx10.432) @sf
245 2340 p (4.1.1) s
69 r (Op) s
2 r (eration) s
22 r (De\014nitions) s
(cmr10.360) @sf
245 2432 p (Op) s
1 r (erations) s
18 r (are) s
17 r (de\014ned) s
17 r 98 c
121 c
16 r 97 c
17 r (name) s
18 r (whic) s
-1 r 104 c
17 r (starts) s
17 r (with) s
17 r 97 c
18 r (lo) s
-1 r 119 c
-1 r (ercase) s
16 r 99 c
(haracter) s
245 2493 p (follo) s
119 c
-2 r (ed) s
14 r 98 c
121 c
14 r (the) s
15 r 107 c
(eyw) s
-1 r (ord) s
(cmtt10.360) @sf
14 r (OPERATION) s
(cmr10.360) @sf
46 c
15 r 70 c
-3 r (ollo) s
-2 r (wing) s
15 r (this) s
15 r (are) s
15 r (optional) s
15 r (de\014nitions) s
1029 2617 p (29) s
@eop
30 @bop0
(cmr10.360) @sf
[<01F800070E000E07001C03803801C03801C07801E07000E07000E07000E0F000F0F000F0F000F0F000F0F000F0F000F0F000
  F0F000F0F000F0F000F0F000F0F000F0F000F0F000F07000E07000E07000E07801E03801C03801C01C03800E0700070E0001
  F800> 24 34 -2 1 24.906] 48 @dc
[ 360 ] /cmsl10.360 @newfont
(cmsl10.360) @sf
[<003F80000001FFF0000003E038000007800600000F000300001E000180003C000080007C000040007800002000F800002000
  F800002000F800001000F000001000F000000000F000000000F800000000F800000000F800000000F800000000F800000000
  F8000000007C000000007C000004003C000004003E000004001E000004001F00000C000F00000C000780000E0003C0001E00
  01E0001E0000F0003E00007C006E00001F81C6000007FF83000000FE0100> 40 36 -6 1 35.975] 67 @dc
[<FFFC3FFF00FFFC3FFF0007C001F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00001E0007800
  01E000780001E000780001E000780001E000780001E000780000F0003C0000F0003C0000FFFFFC0000FFFFFC0000F0003C00
  00F0003C000078001E000078001E000078001E000078001E000078001E000078001E00003C000F00003C000F00003C000F00
  003C000F00003E000F8007FFF1FFFC07FFF1FFFC> 40 34 -2 0 37.359] 72 @dc
[<FFC01FFF00FFC01FFF801F0001F000060000F000020000F000020001F000010001E000010001E000008001E000008001E000
  004001E000007FFFC000003FFFC000002003C000001003C000001003C000000803C000000807800000040780000004078000
  0002078000000207800000010F800000018F000000008F00000000CF000000004F000000006F000000003F000000001E0000
  00001E000000000E000000000E000000000600000000040000> 40 35 -2 0 37.359] 65 @dc
[<FFFC000000FFFC00000007C000000003C000000003C000000003C000000003C000000003C000000003C000000001E0000000
  01E000000001E000000001E000000001E000000001E000000000F000000000FFFF800000F003E00000F000F00000F0007800
  00F0003C000078003E000078001E000078001F000078001F000078001F000078001F00003C001F00003C001F00003C001E00
  003C003E00003C00FC0007FFFFF00007FFFFC000> 40 34 -2 0 33.900] 80 @dc
[<1FFFF800001FFFF80000003E000000001E000000001E000000001E000000001E000000001E000000001E000000000F000000
  000F000000000F000000000F000000000F000000000F00000000078000000007800000000780000000078000000007800000
  00078000000003C000008003C002008003C002008003C002004003C002004003C002004001E002006001E002002001E00200
  3001E006003C01E01E003FFFFFFF001FFFFFFF00> 40 34 -6 0 35.975] 84 @dc
[<FFFFFFF000FFFFFFF00007C001F80003C000380003C000180003C0000C0003C000040003C000040003C000020001E0000200
  01E000020001E008010001E008010001E008000001E008000000F00C000000F01C000000FFFC000000FFFC000000F01C0000
  00F0040000007806000000780201000078020100007802010000780001000078000100003C000100003C000300003C000300
  003C000700003C001F0007FFFFFF8007FFFFFF80> 40 34 -2 0 33.900] 69 @dc
[<0000003E00FFFC00F180FFFC01F08007C003E04003C003E04003C003E02003C003E00003C003E00003C003E00003C003E000
  01E001E00001E001E00001E001E00001E001C00001E001C00001E003800000F003000000F00E000000FFFE000000F007C000
  00F000F00000F00078000078003C000078003E000078001F000078001F000078001F000078001F00003C001F00003C001F00
  003C001E00003C003C00003C00F80007FFFFF00007FFFF8000> 40 35 -2 1 36.667] 82 @dc
[<03FFE003FFE0001E00000E00000E00000E00000E00000E00000E00FFFFFCFFFFFC8007004007002007001007000803800C03
  800403800203800103800083800041C00061C00031C00011C00009C00005C00002E00001E00001E00000E0000060000020> 24 33 -3 0 24.906] 52 @dc
[<7078F87830> 8 5 -4 0 13.837] 46 @dc
[<FFE0301FFF80FFE0301FFF800F003800F80006003800780002003C0078000200720078000200720078000200710078000200
  710078000100E0803C000100E0803C000100E0403C000100E0403C000100E0203C000101C0203C000081C0101E000081C008
  1E000081C0081E000081C0041E00008380041E00008380021E00004380020F00004380010F00004700010F00004700008F00
  004700008F00004700004F00002700002780002E00002780002E00001780002E00001780002E00000FC007FC00000FFE07FC
  000007FE> 48 34 -2 0 45.661] 77 @dc
[<007F80000001C0E0000007803800000E001E00001E000F00003C000780003C0003C000780001E000780000F000F80000F800
  F800007800F000007C00F000007C00F000003E00F000003E00F800003E00F800001F00F800001F00F800001F00F800001F00
  F800001F007C00001F007C00001F003C00001F003C00001F001E00001F001E00001E000F00001E000700001E000780003C00
  03C000380000E0007800007000F000003C01E000000F0780000001FC0000> 40 36 -6 1 38.743] 79 @dc
[<FFFC00FFFE0007C00003C00003C00003C00003C00003C00003C00001E00001E00001E00001E00001E00001E00000F00000F0
  0000F00000F00000F00000F000007800007800007800007800007800007800003C00003C00003C00003C00003E0007FFF007
  FFF0> 24 34 -2 0 17.988] 73 @dc
[<FFE0002000FFE00020000F000060000600007000020000F000020000F000020001F000020001F000020003D000010003C800
  0100078800010007880001000F880001000F080001000F080000801E040000801E040000803C040000803C04000080780400
  00807804000040F002000040F002000041E002000041E002000043C002000043C0020000278001000027800100002F800100
  002F000100003F0003C007FE003FFC07FE003FFC> 40 34 -2 0 37.359] 78 @dc
[<80FE0000C7FF8000EF03C000F800E00070007000600038006000180060001C0040001C0040001C0020001E0000001E000000
  1E0000001E0000003C0000007C000007FC00007FF80001FFF00003FFC00007FE000007E000000F8000000F0000000F000000
  0E0001000E0001000E0001000700018007000180030003800180038001C00F8000F03980003FF0C0000FC040> 32 36 -3 1 27.673] 83 @dc
[<007E00000003FF8000000781C000000E006000001E001000001C000800003C000C00003C000400003C000200003C00020000
  3C000200003C000100003C000100003C000100003C000100003C000100001E000080001E000080001E000080001E00008000
  1E000080001E000080000F000040000F000040000F000040000F000040000F000040000F0000400007800020000780002000
  0780002000078000200007C0007800FFFE07FF80FFFE07FF80> 40 35 -7 1 37.359] 85 @dc
[<FFFFFC0000FFFFFF800007C00FC00003C003E00003C001F00003C000F80003C0007C0003C0007C0003C0003C0001E0003E00
  01E0003E0001E0003E0001E0003C0001E0007C0001E0007C0000F000F80000F001F00000FFFFC00000F007C00000F001F000
  00F00078000078003C000078003E000078001F000078001F000078000F000078000F00003C000F00003C001F00003C001F00
  003C003E00003C007C0007FFFFF80007FFFFE000> 40 34 -2 0 35.284] 66 @dc
[<FFF0FFF0> 16 2 -3 -10 16.604] 45 @dc
[<003F80000001FFF0400003F038C000078004C0000F0003E0001E0003E0003C0001E0007C0001E000780001E000F80001E000
  F80000F000F80000F000F00000F000F0003FFF00F0003FFF00F800000000F800000000F800000000F800000000F800000000
  F8000000007C000000007C000004003C000004003E000004001E000004001F00000C000F00000C000780000E0003C0001E00
  01E0001E0000F0003E00007C006E00001F81C6000007FF83000000FE0100> 40 36 -6 1 39.089] 71 @dc
(cmtt10.360) @sf
[<00F8E003FEE007FFE00F07E01E03E03C03E03801E07001E07000E07000E0E000E0E00FF8E00FF8E00FF8E00000E00000E000
  00E00000E00000E000007000E07000E07000E03800E03C01E01E03E00F07E007FFE003FEE000F8E0> 24 30 -2 0 26.151] 71 @dc
[<003E000000FF800001FFC00003C1E0000380E00007007000070070000E0038000E0038000E0038000E0038000E0038000E00
  38000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E003800
  0E0038000E0038007FC1FF00FFE3FF807FC1FF00> 32 30 0 0 26.151] 85 @dc
[<7F007F00FF80FF807F007F001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C1C1C001C1C1C001C3E
  1C001C361C001C361C001C771C001C771C001C631C001CE39C001CE39C001CC19C001CC19C001DC1DC001DC1DC001D80DC00
  1D80DC001D80DC007F007F00FF007F807E003F00> 32 30 0 0 26.151] 77 @dc
[ 360 ] /cmbx10.360 @newfont
(cmbx10.360) @sf
[<3C007E00FF00FF00FF00FF007E003C000000000000000000000000003C007E00FF00FF00FF00FF007E003C00> 16 22 -4 0 15.912] 58 @dc
(cmr10.360) @sf
[<FFE0002000FFE00060001F00006000040000E000040001E000040001E000040003E000040003E000040007A00004000F2000
  04000F200004001E200004003C200004003C200004007820000400F820000400F020000401E020000401E020000403C02000
  04078020000407802000040F002000041E002000041E002000043C002000047C002000047800200004F000200004F0002000
  05E000200007C000F800FFC007FF00FF8007FF00> 40 34 -2 0 37.359] 78 @dc
[<4040201010100808080878F8F8F870000000000000000000000070F8F8F870> 8 31 -4 10 13.837] 59 @dc
(cmtt10.360) @sf
[<E3F800EFFE00FFFF80FC0780F001C0E001C0E000E0E000E06000E00000E00000E00001C00003C0000F8000FF0007FE001FF0
  003F0000780000700000E00000E001C0E001C0E001C0E003C07003C07C0FC03FFFC00FFDC003F1C0> 24 30 -3 0 26.151] 83 @dc
[<7FFFF8FFFFF87FFFF80E00380E00380E00380E00380E00380E00000E00000E00000E00000E00000E00000E00000E00000E00
  000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00007FE000FFF0007FE000> 24 30 -2 0 26.151] 76 @dc
(cmr10.360) @sf
[<380E007C1F00FC3F00FC3F00B82E00802000802000802000802000401000401000200800200800100400080200> 24 15 -6 -20 24.906] 92 @dc
(cmtt10.360) @sf
[<3078FCFC78300000000000000000003078FCFC7830> 8 21 -10 0 26.151] 58 @dc
[<7FFFF0FFFFF8FFFFF87FFFF00000000000000000000000007FFFF0FFFFF8FFFFF87FFFF0> 24 12 -2 -9 26.151] 61 @dc
(cmr10.360) @sf
[<401000200800100400100400080200080200040100040100040100040100741D00FC3F00FC3F00F83E00701C00> 24 15 -2 -20 24.906] 34 @dc
[<000FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E001F0E0070CE00C02E01C01E03801E07800E07000
  E0F000E0F000E0F000E0F000E0F000E0F000E0F000E07800E07800E03801E01C01600E026007046001F820> 24 31 -2 10 26.290] 113 @dc
(cmbx10.432) @sf
[<FFFFFF80FFFFFF80FFFFFF807FFFFFC03FFFFFC01FFFFFC00FFFFFC0070001C0038001C001C001C000E000E0007000E0003C
  00E0001E0000000F0000000780000003E0000003F0000001F8000000FC000000FE0000007F0000007F8000003FC000003FC0
  00003FE03C003FE07E001FE0FF001FE0FF001FE0FF003FE0FF003FC0FE003FC07C007F803800FF001F03FE000FFFFC0003FF
  F00000FF8000> 32 39 -3 0 34.370] 50 @dc
[<FFFFFFFFF0FFFFFFFFF0FFFFFFFFF003FC001FF803FC0003F803FC0001F803FC0000F803FC00007803FC00003803FC00003C
  03FC00001C03FC00001C03FC00001C03FC01C01C03FC01C00E03FC01C00E03FC01C00E03FC03C00003FC03C00003FC0FC000
  03FFFFC00003FFFFC00003FFFFC00003FC0FC00003FC03C00003FC03C00003FC01C03803FC01C03803FC01C03803FC01C078
  03FC00007003FC00007003FC00007003FC0000F003FC0001F003FC0001F003FC0007F003FC001FE0FFFFFFFFE0FFFFFFFFE0
  FFFFFFFFE0> 40 41 -3 0 45.163] 69 @dc
(cmr10.360) @sf
[<FFFFFFF0FFFFFFF0078001F00780007807800038078000180780001807800008078000080780000807800004078020040780
  20040780200007802000078060000780E00007FFE00007FFE0000780E0000780600007802000078020100780201007802010
  0780001007800030078000300780002007800060078000E0078003E0FFFFFFE0FFFFFFE0> 32 34 -2 0 33.900] 69 @dc
(cmbx10.432) @sf
[<00FF800007FFF0001FFFFC003F01FE007C007F007E007F80FF007FC0FF003FC0FF003FE0FF003FE07E003FE03C003FE00000
  3FE000003FE000003FC000003FC000007F8000007F0000007E000001FC0000FFF00000FFC0000007F0000001F8000001FC00
  0000FE000000FF000000FF000F007F801F807F803F807F803F807F803F807F803F80FF001F00FF000F81FE0007FFFC0003FF
  F000007F8000> 32 39 -3 0 34.370] 51 @dc
[<007FFFFFE000007FFFFFE000007FFFFFE00000003FC0000000003FC0000000003FC0000000003FC0000000003FC000000000
  3FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0
  000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC00000
  E0003FC000E0E0003FC000E0E0003FC000E0E0003FC000E0E0003FC000E0F0003FC001E0F0003FC001E070003FC001C07800
  3FC003C078003FC003C07E003FC007C07F803FC03FC07FFFFFFFFFC07FFFFFFFFFC07FFFFFFFFFC0> 48 40 -2 0 47.819] 84 @dc
[<0FC00000003FE00000007C78000000FE3C000000FE1E000000FE0E000000FE0F0000007C0700000038078000000003800000
  00038000000001C000000001C000000003E000000003E000000007F000000007F00000000FF80000000FF80000000FF80000
  001FDC0000001FDC0000003FDE0000003F8E0000007F8F0000007F070000007F07000000FE03800000FE03800001FC01C000
  01FC01C00003FC01E00003F800E00007F800F00007F000700007F0007000FFFE03FF80FFFE03FF80FFFE03FF80> 40 39 -1 12 36.280] 121 @dc
(cmr10.360) @sf
[<FEFEC0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0FEFE> 8 49 -5 12 13.837] 91 @dc
[<FEFE060606060606060606060606060606060606060606060606060606060606060606060606060606060606060606FEFE> 8 49 -1 12 13.837] 93 @dc
30 @bop1
(cmr10.360) @sf
87 162 p (30) s
(cmsl10.360) @sf
153 r (CHAPTER) s
17 r (4.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (STUB-GENERA) s
-3 r (TOR) s
(cmr10.360) @sf
87 307 p (for) s
17 r (the) s
16 r (op) s
2 r (eration:) s
(cmtt10.360) @sf
187 409 p (ARGUMENT) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (de\014nes) s
17 r (the) s
18 r (ASN.1) s
17 r 116 c
(yp) s
101 c
17 r (whic) s
104 c
16 r (the) s
18 r (op) s
1 r (eration) s
18 r (exp) s
1 r (ects) s
18 r (as) s
17 r (its) s
311 469 p (argumen) s
(t;) s
(cmtt10.360) @sf
187 571 p (RESULTS) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (de\014nes) s
16 r (the) s
16 r (ASN.1) s
17 r 116 c
-1 r (yp) s
1 r 101 c
16 r (whic) s
104 c
15 r (the) s
16 r (op) s
2 r (eration) s
16 r (returns) s
16 r (on) s
17 r (suc-) s
311 631 p (cess;) s
17 r (and,) s
(cmtt10.360) @sf
187 733 p (ERRORS) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (de\014nes) s
16 r (the) s
17 r (errors) s
17 r (whic) s
-1 r 104 c
16 r (the) s
16 r (op) s
2 r (eration) s
16 r (can) s
17 r (return) s
17 r (on) s
16 r (failure.) s
87 834 p (These) s
11 r (optional) s
12 r (de\014nitions) s
11 r 109 c
(ust) s
10 r 111 c
1 r (ccur) s
12 r (in) s
11 r (the) s
11 r (order) s
12 r (presen) s
-1 r (ted) s
10 r (here.) s
21 r 70 c
-3 r (ollo) s
-2 r (wing) s
87 895 p (an) s
121 c
20 r (optional) s
21 r (de\014nitions,) s
22 r (the) s
20 r (lexeme) s
21 r 92 c
(cmtt10.360) @sf
(::=) s
(cmr10.360) @sf
34 c
21 r (follo) s
(ws) s
20 r (with) s
21 r (an) s
21 r (in) s
-1 r (teger) s
20 r (whic) s
104 c
87 955 p (uniquely) s
14 r (iden) s
-1 r (ti\014es) s
13 r (the) s
13 r (op) s
1 r (eration) s
14 r (in) s
13 r (the) s
14 r (mo) s
1 r (dule.) s
21 r (By) s
14 r (con) s
-1 r 118 c
-1 r (en) s
-1 r (tion,) s
13 r (the) s
13 r (in) s
(teger,) s
87 1015 p (termed) s
17 r (the) s
(cmti10.360) @sf
16 r (op) s
-1 r (er) s
-3 r (ation) s
17 r 99 c
-1 r 111 c
-3 r (de) s
(cmr10.360) @sf
44 c
16 r (should) s
16 r 98 c
2 r 101 c
16 r (non-negativ) s
(e.) s
(cmbx10.432) @sf
87 1159 p (4.1.2) s
69 r (Error) s
23 r (De\014nitions) s
(cmr10.360) @sf
87 1252 p (Errors) s
19 r (are) s
18 r (de\014ned) s
19 r 98 c
-1 r 121 c
18 r 97 c
19 r (name) s
18 r (whic) s
104 c
17 r (starts) s
19 r (with) s
18 r 97 c
19 r (lo) s
119 c
-2 r (ercase) s
18 r 99 c
-1 r (haracter) s
18 r (fol-) s
87 1312 p (lo) s
119 c
-2 r (ed) s
15 r 98 c
-1 r 121 c
14 r (the) s
15 r 107 c
(eyw) s
-1 r (ord) s
(cmtt10.360) @sf
14 r (ERROR) s
(cmr10.360) @sf
46 c
15 r 70 c
-3 r (ollo) s
-2 r (wing) s
15 r (this) s
15 r (are) s
15 r (optional) s
15 r (de\014nitions) s
15 r (for) s
15 r (the) s
87 1372 p (op) s
2 r (eration:) s
(cmtt10.360) @sf
187 1474 p (PARAMETER) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (de\014nes) s
21 r (the) s
20 r (ASN.1) s
21 r 116 c
(yp) s
101 c
21 r (whic) s
104 c
19 r (the) s
21 r (error) s
21 r (returns) s
21 r (when) s
21 r (it) s
311 1534 p 111 c
2 r (ccurs.) s
87 1636 p 70 c
-3 r (ollo) s
-1 r (wing) s
17 r (an) s
-1 r 121 c
17 r (optional) s
18 r (de\014nitions,) s
18 r (the) s
18 r (lexeme) s
18 r 92 c
(cmtt10.360) @sf
(::=) s
(cmr10.360) @sf
34 c
18 r (follo) s
-1 r (ws) s
17 r (with) s
18 r (an) s
18 r (in) s
(te-) s
87 1696 p (ger) s
19 r (whic) s
-1 r 104 c
18 r (uniquely) s
18 r (iden) s
(ti\014es) s
17 r (the) s
19 r (error) s
18 r (in) s
19 r (the) s
18 r (mo) s
2 r (dule.) s
27 r (By) s
19 r (con) s
-1 r 118 c
-1 r (en) s
-1 r (tion,) s
18 r (the) s
87 1756 p (in) s
(teger,) s
15 r (termed) s
17 r (the) s
(cmti10.360) @sf
17 r (err) s
-2 r (or) s
17 r 99 c
-2 r 111 c
-2 r (de) s
(cmr10.360) @sf
44 c
15 r (should) s
17 r 98 c
1 r 101 c
17 r (non-negativ) s
(e.) s
(cmbx10.432) @sf
87 1900 p (4.1.3) s
69 r 84 c
-1 r (yp) s
1 r 101 c
23 r (De\014nitions) s
(cmr10.360) @sf
87 1993 p 84 c
(yp) s
(es) s
24 r (are) s
23 r (de\014ned) s
24 r 98 c
-1 r 121 c
23 r 97 c
23 r (name) s
24 r (whic) s
-1 r 104 c
23 r (starts) s
23 r (with) s
24 r (an) s
23 r (upp) s
2 r (ercase) s
23 r 99 c
(haracter) s
87 2053 p (follo) s
119 c
-2 r (ed) s
18 r 98 c
121 c
17 r (the) s
19 r (lexeme) s
19 r 92 c
(cmtt10.360) @sf
(::=) s
(cmr10.360) @sf
34 c
18 r (and) s
19 r (then) s
19 r (an) s
19 r (ASN.1) s
18 r 116 c
(yp) s
101 c
19 r (de\014nition.) s
28 r (As) s
19 r (the) s
87 2113 p (ASN.1) s
18 r (language) s
18 r (is) s
18 r (ric) s
104 c
17 r (in) s
18 r (its) s
18 r (notation,) s
18 r (the) s
18 r (rules) s
18 r (are) s
19 r (not) s
18 r (presen) s
-1 r (ted) s
17 r (herein.) s
87 2173 p (The) s
21 r (reader) s
20 r (should) s
20 r (consult) s
21 r 91 c
(ISO87) s
44 c
(CCITT88c) s
93 c
20 r (for) s
20 r (the) s
21 r (full) s
20 r (details,) s
21 r (though) s
87 2234 p (Section) s
17 r (6.2.1) s
17 r (on) s
17 r (page) s
17 r (60) s
17 r (of) s
(cmti10.360) @sf
16 r 86 c
-2 r (olume) s
17 r (One) s
(cmr10.360) @sf
17 r (presen) s
-1 r (ts) s
16 r (an) s
17 r (incomplete) s
17 r (treatmen) s
-1 r 116 c
87 2294 p (of) s
17 r (the) s
16 r (less) s
17 r (substan) s
(tiv) s
-2 r 101 c
16 r (asp) s
1 r (ects) s
17 r (of) s
16 r (the) s
17 r (language.) s
@eop
31 @bop0
(cmsl10.360) @sf
[<FFFEFFFE03C001C001C001C001C001C001C000E000E000E000E000E000E00070007000700070007000700038003800380038
  00380038001C0F9C0FFC007C001C0004> 16 33 -5 0 24.906] 49 @dc
[<FFFFF80000FFFFFF000007C00FC00003C003E00003C000F00003C000780003C0003C0003C0001E0003C0001F0001E0000F00
  01E0000F8001E000078001E00007C001E00007C001E00003C000F00003E000F00003E000F00003E000F00003E000F00003E0
  00F00003E000780003E000780003E000780003E000780003E000780003C000780003C0003C000780003C000780003C000F00
  003C001E00003C007C0007FFFFF80007FFFFE000> 40 34 -2 0 38.051] 68 @dc
[<FFFFFF80FFFFFF8007C00FC003C003C003C001C003C000C003C0006003C0006003C0002001E0002001E0003001E0001001E0
  001001E0000001E0000000F0000000F0000000F0000000F0000000F0000000F0000000780000007800000078000000780000
  0078000000780000003C0000003C0000003C0000003C0000003E000007FFF80007FFF800> 32 34 -2 0 31.133] 76 @dc
[ 329 ] /cmr10.329 @newfont
(cmr10.329) @sf
[<FFFC0FC007800780078007800780078007800780078007800780078007800780078007800780078007800780078007800780
  07800780078007800FC0FFFC> 16 31 -1 0 16.414] 73 @dc
[<FFE0C1FFF81F00C01F800E00C00F000401E00F000401E00F000401E00F000403900F000403900F000407080F000407080F00
  0407080F00040E040F00040E040F00040E040F00041C020F00041C020F00041C020F000438010F000438010F000438010F00
  0470008F000470008F000470008F0004E0004F0004E0004F0005C0002F0005C0002F0005C0002F000780001F000F80001F80
  FF80001FF8> 40 31 -2 0 41.666] 77 @dc
[<FFC03FFE1F0007E00E0003C0040003C002000780020007800200078001000F0001000F0001000F0000FFFE0000801E000080
  1E0000403C0000403C0000403C000020780000207800002078000010F0000010F0000010F0000009E0000009E0000009E000
  0007C0000007C0000007C00000038000000380000003800000010000> 32 32 -1 0 34.090] 65 @dc
[<000FE0000078182000E00460038002E0070001E00F0001E01E0001E01E0001E03C0001E03C0001E07C0001E0780001E0F800
  03E0F8007FFCF8000000F8000000F8000000F8000000F8000000F8000000F8000000780000207C0000203C0000203C000060
  1E0000601E0000600F0000E0070001E0038002E000E004E000781860000FE020> 32 33 -3 1 35.668] 71 @dc
[<FFFFFF800F800F8007800180078000C0078000C0078000400780004007800040078000200780002007800020078080000780
  800007808000078080000781800007FF80000781800007808000078080000780800007808080078000800780008007800080
  078001800780010007800300078003000F800F00FFFFFF00> 32 31 -2 0 30.934] 69 @dc
[ 329 ] /cmbx10.329 @newfont
(cmbx10.329) @sf
[<FFFFFE0000FFFFFFC00007E007F00007E001F80007E000FC0007E0007E0007E0003F0007E0003F0007E0001F8007E0001F80
  07E0001F8007E0001FC007E0001FC007E0001FC007E0001FC007E0001FC007E0001FC007E0001FC007E0001FC007E0001FC0
  07E0001F8007E0001F8007E0001F8007E0003F0007E0003F0007E0007E0007E000FC0007E001F80007E007F000FFFFFFC000
  FFFFFE0000> 40 31 -2 0 40.087] 68 @dc
[<FFFFFFF0FFFFFFF007E003F007E000F807E0007807E0003807E0001807E0001807E0001807E0000C07E0600C07E0600C07E0
  600007E0E00007E1E00007FFE00007FFE00007E1E00007E0E00007E0600007E0603007E0603007E0003007E0003007E00070
  07E0006007E000E007E001E007E007E0FFFFFFE0FFFFFFE0> 32 31 -2 0 34.342] 69 @dc
[<FFFF8000FFFF800007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0600007E0600007E0
  600007E0E00007E1E00007FFE00007FFE00007E1E00007E0E00007E0600007E0603007E0603007E0003007E0003007E00070
  07E0006007E000E007E001E007E007E0FFFFFFE0FFFFFFE0> 32 31 -2 0 32.890] 70 @dc
[<FFFF00FFFF0007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E0
  0007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E00007E000FFFF00FFFF00> 24 31 -2 0 19.823] 73 @dc
[<FFF0000600FFF00006000600000E000600001E000600003E000600007E00060000FE00060000FE00060001FE00060003F600
  060007E60006000FE60006001FC60006001F860006003F060006007E06000600FC06000601FC06000601F806000603F00600
  0607E00600060FC00600061F800600063F800600063F000600067E00060006FC00060007F800060007F0000600FFF000FFF0
  FFE000FFF0> 40 31 -2 0 40.908] 78 @dc
[<03FFFFC003FFFFC00007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007
  E0000007E0000007E0000007E0000007E0000007E0000007E000C007E006C007E006C007E006C007E006E007E00E6007E00C
  6007E00C7007E01C7C07E07C7FFFFFFC7FFFFFFC> 32 30 -2 0 36.362] 84 @dc
[<001FF8000000FFFF000001F81F800007E007E0000FC003F0001F8001F8003F8001FC003F0000FC007F0000FE007F0000FE00
  7E00007E00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00
  7E00007E007E00007E007F0000FE003F0000FC001F0000F8001F8001F8000FC003F00007E007E00001F81F800000FFFF0000
  001FF80000> 40 31 -3 0 39.266] 79 @dc
[<81FF00E7FFC0FE01E0F80070E00078E00038C0003CC0003CC0003C00003C00007C0000FC0007F800FFF807FFF00FFFF01FFF
  C03FFF807FFE007FC000FC0000F80000F00018F00018F000387000387000783800F81E03F80FFF3803FC08> 24 31 -3 0 29.040] 83 @dc
(cmr10.329) @sf
[<70F8F8F8700000000000000000000070F8F8F870> 8 20 -4 0 12.626] 58 @dc
[<7FFFFFE0FFFFFFF00000000000000000000000000000000000000000000000000000000000000000FFFFFFF07FFFFFE0> 32 12 -3 -5 35.353] 61 @dc
(cmbx10.329) @sf
[<FFFFFF00FFFFFFE007C007F007C003F807C001FC07C000FC07C000FE07C000FE07C000FE07C000FE07C000FE07C000FC07C0
  01FC07C001F807C003F007FFFFC007FFFF8007C00FE007C007F007C003F807C001F807C001FC07C001FC07C001FC07C001FC
  07C001FC07C001F807C003F007C007E0FFFFFFC0FFFFFE00> 32 31 -2 0 37.183] 66 @dc
[<0007FC0600003FFF8E0000FE01FE0003F000FE0007E0007E000FC0007E001F80007E003F00007E003F00007E007F00007E00
  7E00007E007E00007E00FE003FFFE0FE003FFFE0FE00000000FE00000000FE00000000FE00000000FE000000007E00000600
  7E000006007F000006003F00000E003F00000E001F80001E000FC0001E0007E0003E0003F000FE0000FE03DE00003FFF0E00
  0007FC0200> 40 31 -3 0 41.097] 71 @dc
[ 329 ] /cmsy10.329 @newfont
(cmsy10.329) @sf
[<FFFFFFC0FFFFFFC0> 32 2 -4 -10 35.353] 0 @dc
[ 329 ] /cmti10.329 @newfont
(cmti10.329) @sf
[<07C000187000301800700E00700F00F00700F00780F003C0F003C0F003C07801E07801E07801E03C01E01C01E01E01C00E01
  C003018001C300007C00> 24 20 -4 0 23.232] 111 @dc
[<FFC0001C00001C00000E00000E00000E00000E0000070000070000071E0007238003C1C00380E003807003807801C03801C0
  3C01C03C01C03C00E01E00E01E00E01E08E01E04701E04701E04781C04741C02621801C1E0> 24 29 0 9 23.232] 112 @dc
[<07C000183800380400700200700100700000F00000F00000F00000F000007C00007BF000780C003802003C01001C01000E01
  0007010001C200007C00> 24 20 -4 0 20.908] 101 @dc
[<3000007000003800003800003800003800001C00001C00001C00001C00000E00000E00000E00008E00004703004707804787
  804783802661001C1E00> 24 20 -4 0 19.166] 114 @dc
[<0F0700308C80705C40703C40F01C40F01C40F00E20F00E00F00E00F00E007807007807007807003807003C03801C03800E03
  800707800389C000F180> 24 20 -4 0 23.232] 97 @dc
[<1E003100708070807040704038203800380038001C001C001C001C000E000E000E000E000700FFF007000700038003800380
  038001C00180> 16 28 -4 0 15.101] 116 @dc
[<1C003300310070803080388038401C001C001C000E000E000E008700470043004380230033000E0000000000000000000000
  0000000001C001E001E000C0> 16 31 -4 0 13.939] 105 @dc
[<3001C07003303803103807083803083803881C03841C01C01C01C01C01C00E00E00E00E00E00E08E00E04700704700704780
  604740602630C01C0F80> 24 20 -4 0 25.555] 110 @dc
[<1F8000206000401000E00800F00C00F00C00700E00000E00003E0003FC0007F8000FF0000F80000C00000C06000C07000C03
  0006010003020000FC00> 24 20 -3 0 18.585] 115 @dc
(cmr10.329) @sf
[<FFC00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E007E000E0000000000000000000000
  00001C001E003E001E001C00> 16 31 0 0 12.626] 105 @dc
[<FFE7FC0E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00F01C00F01
  C00E8180FE43000E3E00> 24 20 -1 0 25.252] 110 @dc
[<01E0031006100E080E080E080E080E080E000E000E000E000E000E000E000E000E000E000E00FFF83E000E000E0006000600
  020002000200> 16 28 -1 0 17.676] 116 @dc
[<0F83C0386720781E10F01E10F00E10F00E10F00E10780E00380E001E0E00078E0000FE00000E00000E00000E00300E00781C
  007818003030001FE000> 24 20 -2 0 22.727] 97 @dc
[<FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00
  0E000E000E000E000E00FE000E00> 16 32 0 0 12.626] 108 @dc
[<FFFE00700E007006003802001C03001E01000E010007010007800003800001C00001E00000E000407000407800403800201C
  00200E00380E003FFF00> 24 20 -1 0 20.202] 122 @dc
[<01F8000706000C0100180080380080700000700000F00000F00000F00000FFFF80F00380F003807003807007003807003807
  001C0E000E1C0003F000> 24 20 -1 0 20.202] 101 @dc
(cmbx10.329) @sf
[<FFFF0000FFFF000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0
  000007E0000007FFFE0007FFFF8007E00FE007E003F007E001F807E001F807E001FC07E001FC07E001FC07E001FC07E001FC
  07E001F807E001F807E003F007E00FE0FFFFFF80FFFFFE00> 32 31 -2 0 35.731] 80 @dc
[<FFFF007F80FFFF01FFC007E003F86007E007F03007E00FE03007E00FE00007E00FE00007E00FE00007E00FC00007E00FC000
  07E00FC00007E00F800007E00F800007E01F000007E03E000007FFFC000007FFFF000007E01FC00007E007E00007E003F000
  07E003F00007E003F80007E003F80007E003F80007E003F80007E003F00007E003F00007E007E00007E01FC000FFFFFF0000
  FFFFF80000> 40 31 -2 0 39.203] 82 @dc
[<FFE00FFFE0FFE00FFFE00E0000FE00060000FC00060001FC00030001F800030001F800018003F000018003F00001FFFFF000
  00FFFFE00000C007E00000600FC00000600FC00000701FC00000301F800000303F800000183F000000183F0000000C7E0000
  000C7E0000000EFE00000006FC00000006FC00000003F800000003F800000001F000000001F000000001F000000000E00000
  0000E00000> 40 31 -2 0 39.519] 65 @dc
[<0003FC0000001FFF8000007E03C00000F800600001F000300001F000180003E000180007E0000C0007E0000C0007E0000C00
  07E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C00
  07E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C00FFFF01FFE0
  FFFF01FFE0> 40 31 -2 0 40.213] 85 @dc
[<FFF00C03FFF8FFF01E03FFF806001E001F0006003F001F0006003F001F0006003F001F0006007D801F0006007D801F000600
  F8C01F000600F8C01F000601F0601F000601F0601F000603E0301F000603E0301F000607C0181F000607C0181F000607C018
  1F00060F800C1F00060F800C1F00061F00061F00061F00061F00063E00031F00063E00031F00067C00019F00067C00019F00
  06F80000DF0006F80000DF0006F80000DF0007F000007F00FFF000007FF8FFE000003FF8> 48 31 -2 0 49.620] 77 @dc
(cmr10.329) @sf
[<FFE001001F0003000E000300040007000400070004000F0004001F0004001F0004003D0004003D00040079000400F1000400
  F1000401E1000401E1000403C1000407810004078100040F0100040F0100041E0100043C0100043C01000478010004780100
  04F0010005E0010005E0010007C0038007C007C0FF803FF8> 32 31 -2 0 34.090] 78 @dc
[<000100000003800000038000000380000007C0000007C0000007C000000F2000000F2000001F3000001E1000001E1000003C
  0800003C0800003C0800007804000078040000F8060000F0020000F0020001F0010001E0010001E0010003C0008003C00080
  03C0008007800040078000400F8000600F0000601F8000F8FFF003FE> 32 32 -1 1 34.090] 86 @dc
(cmbx10.329) @sf
[<FFFFFF80FFFFFF8007E01F8007E00F8007E0038007E0038007E001C007E001C007E001C007E000C007E000C007E000C007E0
  000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E00000
  07E0000007E0000007E0000007E00000FFFF8000FFFF8000> 32 31 -2 0 31.438] 76 @dc
(cmr10.329) @sf
[<000003E0FFFC0F100FC01E0807803E0407807E0407807C0407807C0007807C0007807C000780780007807800078078000780
  70000780F0000780E0000781C00007FF80000780F0000780780007803C0007801E0007801E0007801F0007801F0007801F00
  07801F0007801E0007801E0007803C00078078000F80F000FFFF8000> 32 32 -2 1 33.459] 82 @dc
[<81F800CE0C00F00600E00300C00380C001808001C08001C08001C08001C00001C00003C00003C0000780001F8003FF000FFE
  001FFC003FF0007F0000780000F00000F00000E00080E00080E00080E001806001806001803003801007800C198007E080> 24 33 -3 1 25.252] 83 @dc
[<FFFC00000FC00000078000000780000007800000078000000780000007800000078000000780000007800000078000000780
  0000078000000780000007FFE0000780780007801C0007801E0007800F0007800F8007800F8007800F8007800F8007800F80
  07800F8007800F0007801E0007801C000F807800FFFFE000> 32 31 -2 0 30.934] 80 @dc
(cmsy10.329) @sf
[<000F0000380000600000E00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  0001C00001C0000380000700001E0000F800001E000007000003800001C00001C00001C00001C00001C00001C00001C00001
  C00001C00001C00001C00001C00001C00001C00001C00000E000006000003800000F00> 24 45 -3 11 22.727] 102 @dc
(cmr10.329) @sf
[<03F0000E0C001C0200380100380100700000700000F00000F00000F00000F00000F00000F00000700000700000380C00381E
  001C1E000E0C0003F800> 24 20 -2 0 20.202] 99 @dc
[<01F800070E001C03803801C03801C07000E07000E0F000F0F000F0F000F0F000F0F000F0F000F07000E07000E03801C03801
  C01C0380070E0001F800> 24 20 -1 0 22.727] 111 @dc
[<03FC001C03803000C0600060C00030C00030C00030C000306000703001E00FFFC01FFF803FFE003000003000002000002000
  0033E0001E38001C1C00380E00780F00780F00780F00780F00780F00380E001C1C300E3C3003E3300000E0> 24 31 -1 10 22.727] 103 @dc
[<8F80D060E030C018C01880188018803800700FF03FE07F807800E000C010C010C010403030701F90> 16 20 -2 0 17.929] 115 @dc
[<03E3F80E1B801C0780380780380380700380700380F00380F00380F00380F00380F00380F003807003807003803803803803
  801C0780061B8003E380000380000380000380000380000380000380000380000380000380000380003F80000380> 24 32 -2 0 25.252] 100 @dc
[<40201010080804040474FCFCF870> 8 14 -4 9 12.626] 44 @dc
[<00200000700000700000700000E80000E80001EC0001C40001C4000382000382000382000701000701000E00800E00800E00
  801C00C01E01E0FF83F8> 24 20 -1 0 23.989] 118 @dc
[<FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000F0C0F1E0F1EFE8C0E78> 16 20 -1 0 17.803] 114 @dc
[<01F1FC030DC00603C00E03C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01
  C00E01C0FE1FC00E01C0> 24 20 -1 0 25.252] 117 @dc
[<FFE0000E00000E00000E00000E00000E00000E00000E00000E00000E3E000EC3000F01C00F01E00E00E00E00F00E00700E00
  780E00780E00780E00780E00780E00780E00700E00F00E00E00F00E00F01C0FEC3800E3E00> 24 29 -1 9 25.252] 112 @dc
(cmsy10.329) @sf
[<F800001E000007000003800001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  0001C00001C00000E000006000003800000F0000380000600000E00001C00001C00001C00001C00001C00001C00001C00001
  C00001C00001C00001C00001C00001C00001C00001C0000380000700001E0000F80000> 24 45 -3 11 22.727] 103 @dc
[ 300 ] /cmr7.300 @newfont
(cmr7.300) @sf
[<FFC00C000C000C000C000C000C000C000C000C000C000C000C000C000C000C00EC001C000C00> 16 19 -3 0 16.546] 49 @dc
[<0F0030C0606060604020C030C030C030C030C030C030C030C030C03040206060606030C00F00> 16 19 -2 0 16.546] 48 @dc
(cmr10.329) @sf
[<FFFE07C003800380038003800380038003800380038003800380038003800380038003800380038003800380038003800380
  0380F3800F8003800180> 16 30 -4 0 22.727] 49 @dc
[<FFE7FE7FE00E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E00
  0E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000F00F00E000F00F00E000E81C81C00FE618618000E1F01F000> 40 20 -1 0 37.878] 109 @dc
[<FFE7FC0E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00F01C00F01
  C00E81800E43000E3E000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0000FE00000E0000> 24 32 -1 0 25.252] 104 @dc
[<7FF0000700000700000700000700000700000700000700000700000700000700000700000700000700000700000700000700
  00070000070000FFF000070000070000070000070000070000070000070000070600038F00018F0000C600007C00> 24 32 0 0 13.889] 102 @dc
[<FFFF807FFF803FFF801000801800400C004006004003000001800000C000006000007000003800001C00000E00000F000007
  800007800007C02007C0F803C0F803C0F803C0F007C0800780400780200700100E000C1C0003F000> 24 30 -2 0 22.727] 50 @dc
(cmr7.300) @sf
[<FFE07FE020201010081004000200018001C000C00060007000706030F030F070606060C01F00> 16 19 -2 0 16.546] 50 @dc
(cmr10.329) @sf
[<03F0001C3C00200E00400F00400780F00780F807C0F807C0F807C02007C00007C0000780000780000F00000E00003C0003F0
  00003800001C00000E00000F00000F00000F80380F80780780780780780F80200F00100E000C1C0003F000> 24 31 -2 1 22.727] 51 @dc
(cmr7.300) @sf
[<1FC06070E038F018F01C601C001C0018003800700FC000E00030003870387038703830700FC0> 16 19 -1 0 16.546] 51 @dc
(cmr10.329) @sf
[<FFFE00000FC00000078000000780000007800000078000000780000007800000078000000780000007808000078080000780
  8000078080000781800007FF8000078180000780800007808000078080000780800007800080078000800780008007800080
  078001800780010007800300078003000F800F00FFFFFF00> 32 31 -2 0 29.671] 70 @dc
[<00FFE0000E00000E00000E00000E00000E00000E00000E00FFFFF0C00E00400E00200E00200E00100E00080E00080E00040E
  00020E00020E00010E00008E00008E00004E00002E00002E00001E00000E00000E00000600000600> 24 30 -1 0 22.727] 52 @dc
(cmti10.329) @sf
[<3E0000438000C0C000E06000F07000F03800003800001C00001C0007DC000C3C001C1E00180E00180E001C0E001C07001C07
  001C07001C07000E03800E03800E03808703804701C04301C04381C02301C03300E00E00C0> 24 29 -4 9 22.070] 121 @dc
31 @bop1
(cmsl10.360) @sf
245 162 p (4.1.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (MODULE) s
(cmr10.360) @sf
636 r (31) s
245 307 p 1619 2 ru
(cmr10.329) @sf
245 377 p (IMA) s
(GE) s
(cmbx10.329) @sf
14 r (DEFINITIONS) s
(cmr10.329) @sf
15 r (::=) s
(cmbx10.329) @sf
245 490 p (BEGIN) s
(cmsy10.329) @sf
245 603 p (\000\000) s
(cmti10.329) @sf
16 r (op) s
-1 r (er) s
-2 r (ations) s
(cmr10.329) @sf
245 716 p (initialize) s
(cmbx10.329) @sf
15 r (OPERA) s
-3 r (TION) s
427 772 p (AR) s
-1 r (GUMENT) s
(cmr10.329) @sf
43 r (Initialize) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(INV) s
(cmbx10.329) @sf
427 828 p (RESUL) s
-4 r 84 c
(cmr10.329) @sf
157 r (Initialize) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(RSP) s
(cmbx10.329) @sf
427 885 p (ERR) s
-1 r (ORS) s
(cmsy10.329) @sf
144 r 102 c
(cmr10.329) @sf
15 r (congested,) s
15 r 118 c
(ersionNotSupp) s
(orted) s
(cmsy10.329) @sf
16 r 103 c
(cmr7.300) @sf
325 r (10) s
(cmr10.329) @sf
427 941 p (::=) s
303 r 49 c
245 1054 p (readImage) s
(cmbx10.329) @sf
15 r (OPERA) s
-3 r (TION) s
427 1111 p (AR) s
-1 r (GUMENT) s
(cmr10.329) @sf
43 r (ReadImage) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(INV) s
(cmbx10.329) @sf
427 1167 p (RESUL) s
-4 r 84 c
(cmr10.329) @sf
157 r (ReadImage) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(RSP) s
(cmbx10.329) @sf
427 1224 p (ERR) s
-1 r (ORS) s
(cmsy10.329) @sf
144 r 102 c
(cmr10.329) @sf
15 r (congested,) s
15 r (noMatc) s
(hes,) s
14 r (formatNotSupp) s
2 r (orted) s
(cmsy10.329) @sf
15 r 103 c
(cmr10.329) @sf
427 1280 p (::=) s
303 r 50 c
(cmsy10.329) @sf
245 1449 p (\000\000) s
(cmti10.329) @sf
16 r (err) s
-1 r (ors) s
(cmr7.300) @sf
1380 r (20) s
(cmr10.329) @sf
245 1562 p (congested) s
(cmbx10.329) @sf
15 r (ERR) s
(OR) s
(cmr10.329) @sf
427 1619 p (::=) s
303 r 49 c
245 1732 p 118 c
(ersionNotSupp) s
(orted) s
(cmbx10.329) @sf
15 r (ERR) s
(OR) s
427 1788 p 80 c
-4 r (ARAMETER) s
(cmr10.329) @sf
22 r 86 c
-3 r (ersionsSupp) s
1 r (orted) s
427 1845 p (::=) s
303 r 50 c
245 1957 p (noMatc) s
(hes) s
(cmbx10.329) @sf
14 r (ERR) s
-1 r (OR) s
(cmr10.329) @sf
427 2014 p (::=) s
303 r 51 c
(cmr7.300) @sf
1017 r (30) s
(cmr10.329) @sf
245 2127 p (formatNotSupp) s
1 r (orted) s
(cmbx10.329) @sf
15 r (ERR) s
(OR) s
427 2183 p 80 c
-4 r (ARAMETER) s
(cmr10.329) @sf
22 r 70 c
-3 r (ormatsSupp) s
1 r (orted) s
427 2240 p (::=) s
303 r 52 c
(cmsy10.329) @sf
245 2409 p (\000\000) s
(cmti10.329) @sf
16 r (typ) s
-1 r (es) s
@eop
32 @bop0
(cmbx10.329) @sf
[<000000F000000001F800000003FC00000007FE00000007FE00000007FF0000000FFF0000000F070000000E0300001FFE0300
  00FFFF000001F81F800007F81FE0000FD833F0001F8FE1F8003F87C1FC003F0000FC007F0000FE007E00007E007E00007E00
  FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F007E00007E00
  7F0000FE007F0000FE003F0000FC001F8001F8001F8001F8000FC003F00007E007E00001F81F800000FFFF0000001FF80000> 40 40 -3 9 39.266] 81 @dc
[<0007FC00003FFF8000FE01C003F0007007E000380FC000181F80000C3F00000C3F0000067F0000067E0000067E000000FE00
  0000FE000000FE000000FE000000FE000000FE000000FE0000007E0000067E0000067F0000063F00000E3F00000E1F80001E
  0FC0001E07E0003E03F000FE00FE03DE003FFF0E0007FC02> 32 31 -3 0 37.751] 67 @dc
(cmr7.300) @sf
[<03FC00600060006000600060FFFCC06060602060106008600C6006600260016000E000E00060> 16 19 -1 0 16.546] 52 @dc
(cmr10.329) @sf
[<FEFEC0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0FEFE> 8 45 -4 11 12.626] 91 @dc
[<03F0000E1C001C0E00180600380700780780700380700380700380F003C0F003C0F003C0F003C0F003C0F003C0F003C0F003
  C0F003C0F003C0F003C0F003C0F003C07003807003807003807003803807001806001C0E000E1C0003F000> 24 31 -2 1 22.727] 48 @dc
[<FEFE0606060606060606060606060606060606060606060606060606060606060606060606060606060606FEFE> 8 45 -1 11 12.626] 93 @dc
(cmti10.329) @sf
[<0F0700308C80705C40703C40F01C40F01C40F00E20F00E00F00E00F00E007807007807007807003807003C03801C03800E03
  800707800389C000F1C00001C00001C00000E00000E00000E00000E00000700000700000700000700003F8000078> 24 32 -4 0 23.232] 100 @dc
[<1F000031C00060E000607000E03800E03C00E01C00E01E00E01E00E01E00700F00700F00700F00700F00380F00380F003C0E
  003A0E001D0C001CF0001C00001C00000E00000E00000E00000E00000700000700000700000700003F8000078000> 24 32 -5 0 20.908] 98 @dc
[<3C0000660000F300007B000031800001800001C00001C00000C00000E00000E00000E00000E0000070000070000070000070
  00007000007000003800003800003800003800003800001C00001C00001C00001C0001FFE0000E00000E00000E00000E0000
  0E0000070000070000071800033C00033C00019C000078> 24 41 2 9 13.939] 102 @dc
[<38006400E200E200E200E200710070007000700038003800380038001C001C001C001C000E000E000E000E00070007000700
  070003800380038003801FC003C0> 16 32 -4 0 11.616] 108 @dc
[<03C0000E30001C08001C04001C04001C02001C02001C01001C01001C01000E00800E00800E00808700804700C04301C04383
  C02307C03307800E0380> 24 20 -4 0 20.908] 118 @dc
[<03E1F0000E1308000C0F04001C0F02001C0602001C0701001C0701001C0700801C0700801C0700800E0380400E0380400E03
  8040870380404701C0604301C0E04381C1E02301C3E03300E3C00E00C1C0> 32 20 -4 0 30.201] 119 @dc
[<0FFE0000E00000E0000070000070000070000070000038000038000F380030B800705C00703C00F01C00F01C00F00E00F00E
  00F00E00F00E007807007807007807003807003C03801C03800E03800705800388C000F040> 24 29 -4 9 20.908] 113 @dc
[<07C3800C26401C1E20180E20180E201C0E201C07101C07001C07001C07000E03800E03800E03808703804701C04301C04381
  C02301C03300E00E00C0> 24 20 -4 0 24.393] 117 @dc
[<600700E00CC0700C40701C20700C20700E20380E103807003807003807001C03801C03801C03801C03800E01C00E01C00F01
  C00E8180076300071E0007000007000003800003800003800003800001C00001C00001C00001C0000FE00001E000> 24 32 -3 0 23.232] 104 @dc
[<07C000183800300400700200700100F00000F00000F00000F00000F000007800007800007800003C02001C07001E07800E07
  8003008001C100007E00> 24 20 -4 0 20.908] 99 @dc
[<8040202010080804043C3C3C3C1C> 8 14 -3 9 13.939] 44 @dc
[<78780084C600E58100F38100F3808063808001C04001C00001C00001C00000E00000E00000E00040E0002070C02071E01071
  E01068E00CC440038380> 24 20 -3 0 21.085] 120 @dc
(cmr7.300) @sf
[<1F0021C040E0E060E070E07000700070006040E070C04F0040004000400044007F807FC06060> 16 19 -2 0 16.546] 53 @dc
[<0F0010C0206060204030C030C030C030C020E060D0C0CF00C00060006000207010700C2007C0> 16 19 -2 0 16.546] 54 @dc
(cmr10.329) @sf
[<0020004000800100020006000C000C00180018003000300030007000600060006000E000E000E000E000E000E000E000E000
  E000E000E000E0006000600060007000300030003000180018000C000C00060002000100008000400020> 16 46 -3 12 17.676] 40 @dc
[<800040002000100008000C00060006000300030001800180018001C000C000C000C000E000E000E000E000E000E000E000E0
  00E000E000E000E000C000C000C001C001800180018003000300060006000C0008001000200040008000> 16 46 -3 12 17.676] 41 @dc
(cmti10.329) @sf
[<3F800060E000F07000783800301C00001C00001C00000E00000E0003CE000C2E001C17001C0F003C07003C07003C03803C03
  803C03803C03801E01C01E01C01E01C00E01C00F00E00700E00380E001C1E000E270003C60> 24 29 -2 9 20.908] 103 @dc
(cmbx10.329) @sf
[<FFFF0FFFF0FFFF0FFFF007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E00
  07E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007FFFFFE0007FFFFFE0007E0007E0007E0007E0007E0007E00
  07E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E0007E00FFFF0FFFF0
  FFFF0FFFF0> 40 31 -2 0 40.908] 72 @dc
(cmr10.329) @sf
[<7FC3FE0700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700
  E00700E00700E0FFFFE00700000700000700000700000700000700000701E00701E00381E001C0C000E0C0003F00> 24 32 0 0 25.252] 12 @dc
(cmr7.300) @sf
[<04000E000E000E000E000E00060006000200030001000100008000408020801040107FF87FFC4000> 16 20 -2 0 16.546] 55 @dc
32 @bop1
(cmr10.360) @sf
87 162 p (32) s
(cmsl10.360) @sf
153 r (CHAPTER) s
17 r (4.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (STUB-GENERA) s
-3 r (TOR) s
(cmr10.329) @sf
87 307 p (Initialize) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(INV) s
15 r (::=) s
(cmbx10.329) @sf
269 364 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr7.300) @sf
1076 r (40) s
(cmr10.329) @sf
330 420 p (prop) s
1 r (osed[0]) s
(cmbx10.329) @sf
451 477 p (IMPLICIT) s
(cmr10.329) @sf
15 r 86 c
-3 r (ersion) s
(cmbx10.329) @sf
451 533 p (DEF) s
-5 r 65 c
-1 r (UL) s
-5 r 84 c
(cmsy10.329) @sf
14 r 102 c
(cmr10.329) @sf
15 r 118 c
(ersion) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
49 c
(cmsy10.329) @sf
14 r 103 c
269 589 p 103 c
(cmr10.329) @sf
87 702 p (Initialize) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(RSP) s
15 r (::=) s
(cmbx10.329) @sf
269 759 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 815 p (negotiated[0]) s
(cmsy10.329) @sf
229 r (\000\000) s
(cmti10.329) @sf
17 r (ne) s
-2 r 101 c
-2 r 100 c
15 r (not) s
17 r 98 c
-2 r 101 c
15 r (pr) s
-1 r (esent) s
15 r (if) s
17 r (only) s
16 r (one) s
(cmsy10.329) @sf
814 872 p (\000\000) s
(cmti10.329) @sf
17 r (version) s
16 r (was) s
16 r 114 c
-1 r 101 c
-2 r (queste) s
-3 r 100 c
16 r (and) s
16 r (that) s
16 r (was) s
16 r (chosen,) s
(cmsy10.329) @sf
814 928 p (\000\000) s
(cmti10.329) @sf
17 r (otherwise) s
16 r (exactly) s
16 r (one) s
16 r (bit) s
17 r (is) s
16 r (set) s
(cmr7.300) @sf
163 r (50) s
(cmbx10.329) @sf
451 985 p (IMPLICIT) s
(cmr10.329) @sf
15 r 86 c
-3 r (ersion) s
(cmbx10.329) @sf
451 1041 p (OPTIONAL) s
(cmsy10.329) @sf
269 1098 p 103 c
(cmr10.329) @sf
87 1210 p 86 c
-3 r (ersionsSupp) s
1 r (orted) s
15 r (::=) s
(cmbx10.329) @sf
269 1267 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 1323 p (supp) s
1 r (orted[0]) s
(cmbx10.329) @sf
451 1380 p (IMPLICIT) s
(cmr10.329) @sf
15 r 86 c
-3 r (ersion) s
(cmsy10.329) @sf
269 1436 p 103 c
(cmr7.300) @sf
1673 1493 p (60) s
(cmr10.329) @sf
87 1549 p 86 c
-3 r (ersion) s
15 r (::=) s
(cmbx10.329) @sf
269 1606 p (BITSTRING) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
15 r 118 c
(ersion) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(1\(0\)) s
(cmsy10.329) @sf
14 r 103 c
(cmr10.329) @sf
87 1775 p (ReadImage) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(INV) s
15 r (::=) s
(cmbx10.329) @sf
269 1831 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
814 1888 p (\000\000) s
(cmti10.329) @sf
17 r (in) s
16 r (or) s
-1 r (der) s
15 r (of) s
16 r (pr) s
-1 r (efer) s
-2 r (enc) s
-3 r 101 c
15 r (for) s
17 r (se) s
-2 r (ar) s
-2 r (ching) s
(cmbx10.329) @sf
330 1944 p (SEQUENCE) s
15 r (OF) s
451 2001 p (CHOICE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
511 2057 p (\014le) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(name[0]) s
(cmr7.300) @sf
914 r (70) s
(cmbx10.329) @sf
633 2114 p (IMPLICIT) s
(cmr10.329) @sf
15 r (Filename,) s
511 2227 p (mail) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(address[1]) s
(cmbx10.329) @sf
633 2283 p (IMPLICIT) s
(cmr10.329) @sf
15 r (Mail) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Address) s
(cmsy10.329) @sf
451 2340 p 103 c
(cmr10.329) @sf
44 c
(cmsy10.329) @sf
814 2452 p (\000\000) s
(cmti10.329) @sf
17 r (in) s
16 r (or) s
-1 r (der) s
15 r (of) s
16 r (pr) s
-1 r (efer) s
-2 r (enc) s
-3 r 101 c
15 r (for) s
17 r 114 c
-2 r (etrieval) s
@eop
33 @bop0
(cmr7.300) @sf
[<0FC030306018C00CC00CC00CC01C607831F00FE00F803F603C30701860186018201810700FC0> 16 19 -1 0 16.546] 56 @dc
(cmr10.329) @sf
[<FF07FE1E01E00601E00201C0030380010700008700004E00007C00003C0000380000780000EC0000E40001C2000381000701
  800701C00F01E07FC3FC> 24 20 0 0 23.989] 120 @dc
[<004008000060180000E01C0000E01C0000F03C0001D03A0001D0320003C8730003887100038861000704E0800704C0800707
  C0800E03C0400E0380400E0380401C0380201C0300603C078070FF9FE1FC> 32 20 -1 0 32.828] 119 @dc
[<FFE01FFE1F8007E0070003C0020007C00100078001800F0000801F0000401E0000603C0000207C00001078000018F8000009
  F0000005E0000007E0000003C00000078000000F8000000F8000001E4000003E4000003C2000007C10000078100000F00800
  01F00C0001E0040003C0020007C007000FE00FC07FF81FF8> 32 31 -1 0 34.090] 88 @dc
[<000400020000000C00030000000E00070000000E00070000001E00078000001F000F8000001F000F8000001F000F8000003C
  801E4000003C801E4000003C801E40000078C03E20000078403C20000078403C200000F0403C100000F02078100000F02078
  100001F02078080001E010F0080001E010F0080003E010F00C0003C009E0040003C009E0040003C009E00400078007C00200
  078007C00200078007C002000F0007C001000F00078001000F00078003801F800FC007C0FFF07FF81FF0> 48 32 -1 1 46.716] 87 @dc
[<FFFFF0000F803C0007801F0007800F0007800F8007800780078007C0078007C0078007C0078007C0078007C0078007800780
  0F8007800F0007801E0007803C0007FFF00007803C0007801E0007801F0007800F0007800F8007800F8007800F8007800F80
  07800F8007800F0007801F0007801E000F803800FFFFE000> 32 31 -2 0 32.196] 66 @dc
(cmr7.300) @sf
[<3E004100E080E0400060002000300F3030B060704030C030C030C030C0204060604030800F00> 16 19 -2 0 16.546] 57 @dc
(cmr10.329) @sf
[<083E000CC3000D01C00F00E00E00E00E00700E00700E00780E00780E00780E00780E00780E00780E00700E00700E00E00F00
  E00F01C00EC3800E3E000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0000FE00000E0000> 24 32 -1 0 25.252] 98 @dc
(cmti10.329) @sf
[<300300380070070066003803806200380380E100380380610038038071001C01C070801C01C038001C01C038001C01C03800
  0E00E01C000E00E01C000E00E01C008E00E01C004700700E004700700E004780680E004740640C002630C318001C0F80F000> 40 20 -4 0 37.171] 109 @dc
33 @bop1
(cmsl10.360) @sf
245 162 p (4.1.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (MODULE) s
(cmr10.360) @sf
636 r (33) s
(cmbx10.329) @sf
487 307 p (SEQUENCE) s
15 r (OF) s
(cmr10.329) @sf
609 364 p 70 c
-3 r (ormat) s
(cmsy10.329) @sf
427 420 p 103 c
(cmr7.300) @sf
1381 r (80) s
(cmr10.329) @sf
245 533 p (ReadImage) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(RSP) s
15 r (::=) s
(cmbx10.329) @sf
427 589 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmbx10.329) @sf
487 646 p (CHOICE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
609 702 p 120 c
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(windo) s
-1 r (ws) s
669 759 p 88 c
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Windo) s
(ws) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Bitmap) s
(cmsy10.329) @sf
487 815 p 103 c
427 872 p 103 c
(cmr10.329) @sf
245 985 p 70 c
-3 r (ormatsSupp) s
(orted) s
16 r (::=) s
(cmr7.300) @sf
1141 r (90) s
(cmbx10.329) @sf
427 1041 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
487 1098 p (supp) s
2 r (orted[0]) s
(cmbx10.329) @sf
609 1154 p (IMPLICIT) s
(cmr10.329) @sf
15 r 70 c
-3 r (ormat) s
(cmsy10.329) @sf
427 1210 p 103 c
(cmr10.329) @sf
245 1323 p 70 c
-3 r (ormat) s
14 r (::=) s
(cmbx10.329) @sf
427 1380 p (BITSTRING) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
15 r 120 c
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(windo) s
(ws) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(bitmap\(0\)) s
(cmsy10.329) @sf
14 r 103 c
245 1549 p (\000\000) s
(cmti10.329) @sf
16 r (discriminants) s
(cmr7.300) @sf
1214 r (100) s
(cmr10.329) @sf
245 1662 p (Filename) s
15 r (::=) s
427 1719 p 91 c
(cmbx10.329) @sf
(APPLICA) s
-4 r (TION) s
(cmr10.329) @sf
15 r (1]) s
(cmbx10.329) @sf
487 1775 p (IMPLICIT) s
(cmr10.329) @sf
15 r (GraphicString) s
245 1888 p (Mail) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Address) s
15 r (::=) s
427 1944 p 91 c
(cmbx10.329) @sf
(APPLICA) s
-4 r (TION) s
(cmr10.329) @sf
15 r (2]) s
(cmbx10.329) @sf
487 2001 p (IMPLICIT) s
15 r (SEQUENCE) s
(cmsy10.329) @sf
16 r 102 c
(cmr10.329) @sf
609 2057 p (lo) s
1 r (cal[0]) s
(cmbx10.329) @sf
669 2114 p (IMPLICIT) s
(cmr10.329) @sf
15 r (GraphicString,) s
(cmr7.300) @sf
586 r (110) s
(cmr10.329) @sf
609 2227 p (domain[1]) s
(cmbx10.329) @sf
669 2283 p (IMPLICIT) s
(cmr10.329) @sf
15 r (GraphicString,) s
609 2396 p (options[2]) s
(cmbx10.329) @sf
669 2452 p (IMPLICIT) s
15 r (BITSTRING) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
16 r (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(lo) s
1 r (cal\(0\),) s
15 r (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(host\(1\)) s
(cmsy10.329) @sf
15 r 103 c
@eop
34 @bop0
(cmr10.329) @sf
[<3C0000620000F10000F08000F0800000400000400000400000200000200000700000700000700000E80000E80001EC0001C4
  0001C4000382000382000382000701000701000E00800E00800E00801C00C01E01E0FF83F8> 24 29 -1 9 23.989] 121 @dc
(cmr10.360) @sf
[<FFE0301FFF80FFE0301FFF801F003000F00004007800F00004007800F0000400E400F0000400E400F0000400E400F0000401
  C200F0000401C200F00004038100F00004038100F00004038100F00004070080F00004070080F00004070080F000040E0040
  F000040E0040F000041C0020F000041C0020F000041C0020F00004380010F00004380010F00004380010F00004700008F000
  04700008F00004E00004F00004E00004F00004E00004F00005C00002F00005C00002F00007800001F000FF800001FF80FF80
  0001FF80> 48 34 -2 0 45.661] 77 @dc
34 @bop1
(cmr10.360) @sf
87 162 p (34) s
(cmsl10.360) @sf
153 r (CHAPTER) s
17 r (4.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (STUB-GENERA) s
-3 r (TOR) s
(cmbx10.329) @sf
511 307 p (DEF) s
-4 r 65 c
-2 r (UL) s
-4 r 84 c
(cmsy10.329) @sf
14 r 102 c
(cmr10.329) @sf
15 r (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(lo) s
1 r (cal,) s
16 r (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(host) s
(cmsy10.329) @sf
15 r 103 c
330 364 p 103 c
(cmr7.300) @sf
1656 477 p (120) s
(cmsy10.329) @sf
87 533 p (\000\000) s
(cmti10.329) @sf
16 r (image) s
17 r (formats) s
(cmr10.329) @sf
87 646 p 88 c
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Windo) s
(ws) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Bitmap) s
14 r (::=) s
269 702 p 91 c
(cmbx10.329) @sf
(APPLICA) s
-3 r (TION) s
(cmr10.329) @sf
14 r (100]) s
(cmbx10.329) @sf
330 759 p (IMPLICIT) s
15 r (SET) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
451 815 p (width[0]) s
(cmbx10.329) @sf
511 872 p (IMPLICIT) s
16 r (INTEGER) s
(cmr10.329) @sf
44 c
451 985 p (heigh) s
(t[1]) s
(cmbx10.329) @sf
511 1041 p (IMPLICIT) s
16 r (INTEGER) s
(cmr10.329) @sf
44 c
(cmr7.300) @sf
620 r (130) s
(cmr10.329) @sf
451 1154 p (hot) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(sp) s
1 r (ot) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(x[2]) s
(cmbx10.329) @sf
511 1210 p (IMPLICIT) s
16 r (INTEGER) s
511 1267 p (DEF) s
-4 r 65 c
-2 r (UL) s
-4 r 84 c
(cmsy10.329) @sf
14 r 0 c
(cmr10.329) @sf
(1,) s
451 1380 p (hot) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(sp) s
1 r (ot) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(y[3]) s
(cmbx10.329) @sf
511 1436 p (IMPLICIT) s
16 r (INTEGER) s
511 1493 p (DEF) s
-4 r 65 c
-2 r (UL) s
-4 r 84 c
(cmsy10.329) @sf
14 r 0 c
(cmr10.329) @sf
(1,) s
451 1606 p (data[4]) s
(cmsy10.329) @sf
227 r (\000\000) s
(cmti10.329) @sf
16 r 112 c
-1 r (adde) s
-2 r 100 c
15 r (to) s
16 r (short) s
16 r 98 c
-1 r (oundaries) s
(cmr7.300) @sf
224 r (140) s
(cmbx10.329) @sf
511 1662 p (IMPLICIT) s
16 r (OCTETSTRING) s
(cmsy10.329) @sf
269 1719 p 103 c
(cmbx10.329) @sf
87 1831 p (END) s
(cmr10.360) @sf
314 1963 p (Figure) s
17 r (4.1:) s
22 r (Example) s
17 r (of) s
16 r 97 c
17 r (Remote) s
16 r (Op) s
2 r (erations) s
16 r (Mo) s
2 r (dule) s
87 1983 p 1619 2 ru
@eop
35 @bop0
(cmsl10.360) @sf
[<FFFFE000FFFFE0007FFFF000300010000800100004000800020008000180080000C000000060000000300000001C0000000E
  0000000700000003C0000001E0000000F0000000780000003C0000003C0000001E0003001E000F801F000FC00F000FC00F00
  0FC00F0007800F0004001F0002001E0001003E0000E0FC00007FF000000FC000> 32 33 -2 0 24.906] 50 @dc
[<07FFE0000007FFE00000003E000000001C000000001E000000001E000000001E000000001E000000001E000000000E000000
  000F000000000F000000000F000000000F000000000F800000001FC00000001F400000001E200000003E100000003C180000
  007C0800000078040000007802000000F801000000F001000001F000800001E000400003E000200003C000200003C0001000
  07C000180007C0001E00FFF8007FE0FFF8007FE0> 40 34 -6 0 37.359] 89 @dc
[<00180000000018000000001C000000001C000000003E000000003E000000003D000000003D000000003C8000000078800000
  007840000000786000000078200000007810000000F010000000F008000000F008000000F004000000F004000001E0020000
  01E002000001E001000001E001000001E000800003C000C00003C000400003C000200003C000200003C00010000780001000
  07800008000780000C000F80001E00FFF8007FE0FFFC007FE0> 40 35 -6 1 37.359] 86 @dc
(cmbx10.518) @sf
[<FFFFFFFC00FFFFFFFC00FFFFFFFC007FFFFFFC003FFFFFFE001FFFFFFE000FFFFFFE0007FFFFFE0003FFFFFE0001C0001E00
  00F0000E000078000E00003C000F00001E000700000F00070000078007000003E000000001F000000001F800000000FE0000
  00007F000000003F800000001FC00000001FE00000000FF00000000FF800000007FC00000007FC00000003FE00000003FE00
  000003FF003F0003FF007F8003FF007F8003FF00FFC003FF00FFC003FF00FFC003FE00FFC007FE007F8007FE007F0007FC00
  3C000FF8001E001FF0000FC07FE00007FFFF800001FFFE0000003FF00000> 40 46 -4 0 41.244] 50 @dc
[<C007FF0000E03FFFE000F1FFFFF800FFFC01FC00FFC0007E00FF00003F00FC00001F80F800001F80F000000FC0F000000FC0
  E000000FC0E000000FE0E000000FE0E000000FE06000001FE00000001FE00000003FE00000003FE0000000FFE0000007FFC0
  0000FFFFC0001FFFFF80007FFFFF8001FFFFFF0003FFFFFE000FFFFFFC001FFFFFF8001FFFFFF0003FFFFFC0007FFFFE0000
  7FFFE000007FFC000000FFE0000000FF80000000FF00000380FF00000380FE00000380FE00000780FE000007807E00000780
  7E00000F803E00000F803F00001F801F00007F800F8001FF8007F00FFF8003FFFFC78000FFFF0380001FF00180> 40 49 -5 0 45.827] 83 @dc
[<0000FFFFFF8000000000FFFFFF8000000000FFFFFF800000000000FFC0000000000000FFC0000000000000FFC00000000000
  00FFC0000000000000FFC0000000000000FFC0000000000000FFC0000000000000FFC0000000000000FFC0000000000000FF
  C0000000000000FFC0000000000000FFC0000000000000FFC0000000000000FFC0000000000000FFC0000000000000FFC000
  0000000000FFC0000000000001FFC0000000000001FFE0000000000003FFF0000000000007FFF0000000000007FFF8000000
  00000FFF7800000000001FFE7C00000000001FFC3E00000000003FFC1E00000000007FF81F00000000007FF00F8000000000
  FFF0078000000001FFE007C000000001FFC003E000000003FF8001E000000007FF8001F000000007FF0000F80000000FFE00
  00780000001FFE00007C0000001FFC00003E0000003FF800001E0000007FF800001F000000FFF000000F800000FFE000000F
  800001FFE0000007C00003FFC000000FF000FFFFFF0000FFFF80FFFFFF0000FFFF80FFFFFF0000FFFF80> 64 49 -2 0 62.364] 89 @dc
[<FFFFFFFFFFFC00FFFFFFFFFFFC00FFFFFFFFFFFC0000FFC0001FFE0000FFC00003FE0000FFC00000FE0000FFC000007E0000
  FFC000003E0000FFC000001E0000FFC000001E0000FFC000000F0000FFC000000F0000FFC00000070000FFC00000070000FF
  C00000070000FFC00000070000FFC00700038000FFC00700038000FFC00700038000FFC00700000000FFC00700000000FFC0
  0F00000000FFC01F00000000FFC03F00000000FFFFFF00000000FFFFFF00000000FFFFFF00000000FFC03F00000000FFC01F
  00000000FFC00F00000000FFC00700000000FFC00700000000FFC007001C0000FFC007001C0000FFC007001C0000FFC00000
  1C0000FFC00000380000FFC00000380000FFC00000380000FFC00000780000FFC00000780000FFC00000F80000FFC00000F8
  0000FFC00003F80000FFC00007F80000FFC0003FF000FFFFFFFFFFF000FFFFFFFFFFF000FFFFFFFFFFF000> 56 49 -2 0 54.195] 69 @dc
[<000038000000007C000000007C00000000FE00000000FE00000001FF00000001FF00000003FF80000003FF80000007FFC000
  0007F9C000000FF9E000000FF0E000000FF0E000001FE07000001FE07000003FE03800003FC03800007FC03C00007F801C00
  00FF801E0000FF000E0001FF000F0001FE00070003FE00078003FC00038007FC0003C007F80001C007F80003E0FFFF801FFE
  FFFF801FFEFFFF801FFE> 40 32 -2 0 43.535] 118 @dc
(cmbx10.432) @sf
[<FFFE001FFFFEFFFE001FFFFEFFFE001FFFFE01C00000FF0001C00000FF0001E00001FF0000E00001FE0000E00001FE000070
  0003FC0000700003FC0000780007FC00003FFFFFF800003FFFFFF800001FFFFFF000001C000FF000001E001FF000000E001F
  E000000E003FE0000007003FC0000007003FC0000007807FC0000003807F80000003C0FF80000001C0FF00000001C0FF0000
  0000E1FE00000000E1FE00000000F3FE0000000073FC0000000073FC000000003FF8000000003FF8000000003FF800000000
  1FF0000000001FF0000000000FE0000000000FE0000000000FE00000000007C00000000007C00000000003800000> 48 41 -2 0 51.970] 65 @dc
[<0E01FC00000F07FF80000F9E07E0000FF803F0000FF001F8000FE000FC000FE000FE000FE0007F000FE0007F000FE0007F00
  0FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F000FE0007F000FE0007F00
  0FE000FE000FE000FC000FF000F8000FF801F0000FFE07E0000FE7FF80000FE1FE00000FE00000000FE00000000FE0000000
  0FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE0000000FFE0000000
  FFE0000000FFE0000000> 40 42 -2 0 38.189] 98 @dc
[<001FE00000FFFC0003F01E0007E007000FC003801F8001C03F8001C07F8000007F0000007F000000FF000000FF000000FF00
  0000FF000000FF000000FF000000FF0000007F0000007F0000007F800E003F801F001F803F800FC03F8007E03F8003F01F00
  00FFFE00001FF800> 32 27 -2 0 30.551] 99 @dc
[<C01FF000E0FFFE00F3FFFF00FFE01F80FF0007C0FC0003E0F80003F0F00001F0F00001F0E00001F8E00001F8E00001F86000
  01F8000003F8000007F800000FF800007FF00007FFF000FFFFE003FFFFE007FFFFC00FFFFF801FFFFE003FFFFC007FFFE000
  7FFE0000FFC00000FF000000FE0000E0FE0000E0FC0000E0FC0001E0FC0001E07C0001E07C0003E03E0007E01F001FE00F80
  7FE007FFF9E003FFF0E0007F8060> 32 41 -4 0 38.189] 83 @dc
[<FFF01FFF80FFF01FFF80FFF01FFF8003C007F00001C00FE00001E01FE00000F01FC00000783F8000003C7F0000001EFE0000
  001FFE0000000FFC00000007F800000007F00000000FF00000000FF00000001FF00000003FF80000007F3C000000FF1E0000
  00FE0F000001FC07800003F807800007F003C000FFFC0FFF00FFFC0FFF00FFFC0FFF00> 40 27 -1 0 36.280] 120 @dc
[<FFFE007801FFFFC0FFFE007801FFFFC0FFFE00FC01FFFFC0038000FC0007F000038000FC0007F000038001FE0007F0000380
  01FE0007F000038003FF0007F000038003FF0007F000038007F38007F000038007F38007F00003800FE1C007F00003800FE1
  C007F00003800FE1C007F00003801FC0E007F00003801FC0E007F00003803F807007F00003803F807007F00003807F003807
  F00003807F003807F0000380FF003807F0000380FE001C07F0000380FE001C07F0000381FC000E07F0000381FC000E07F000
  0383F8000707F0000383F8000707F0000387F0000387F0000387F0000387F0000387F0000387F000038FE00001C7F000038F
  E00001C7F000039FC00000E7F000039FC00000E7F00003BF80000077F00003BF80000077F00003FF0000003FF00003FF0000
  003FF000FFFF0000003FFFC0FFFE0000001FFFC0FFFE0000001FFFC0> 64 41 -3 0 65.253] 77 @dc
[<003FC3FF8000FFF3FF8003F03BFF8007C00FF8000F8007F8001F8003F8003F8003F8007F0003F8007F0003F8007F0003F800
  FF0003F800FF0003F800FF0003F800FF0003F800FF0003F800FF0003F800FF0003F8007F0003F8007F0003F8007F0003F800
  3F8003F8001F8003F8000FC007F80007E00FF80003F03FF80000FFFBF800001FE3F800000003F800000003F800000003F800
  000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F80000003FF800
  00003FF80000003FF800> 40 42 -2 0 38.189] 100 @dc
[<003FC3FF8001FFF3FF8003F03BFF8007E00FF80007E007F8000FE007F8000FE003F8000FE003F8000FE003F8000FE003F800
  0FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F800
  0FE003F8000FE003F8000FE003F8000FE003F800FFE03FF800FFE03FF800FFE03FF800> 40 27 -3 0 38.189] 117 @dc
[<FFFEFFFEFFFE0FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0
  0FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0FFE0FFE0FFE0> 16 42 -3 0 19.094] 108 @dc
[<00003FF800000003FFFF0000000FFFFFC000003FF007E00000FF8000F80001FE00003C0003FC00001E0007F000000E000FF0
  000007001FE0000007001FE0000003803FC0000003803FC0000003807FC0000003807F80000000007F8000000000FF800000
  0000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000
  7F80000000007F80000003807FC0000003803FC0000003803FC0000007801FE0000007801FE0000007800FF000000F8007F0
  00001F8003FC00003F8001FE00007F8000FF8001FF80003FF007DF80000FFFFF87800003FFFE038000003FF00180> 48 41 -4 0 49.646] 67 @dc
[<FFFFFFFF00FFFFFFFF00FFFFFFFF0003FC01FF0003FC007F8003FC001F8003FC000F8003FC000F8003FC00078003FC000780
  03FC00038003FC00038003FC0003C003FC0001C003FC0001C003FC0001C003FC0001C003FC00000003FC00000003FC000000
  03FC00000003FC00000003FC00000003FC00000003FC00000003FC00000003FC00000003FC00000003FC00000003FC000000
  03FC00000003FC00000003FC00000003FC00000003FC00000003FC00000003FC00000003FC000000FFFFFC0000FFFFFC0000
  FFFFFC0000> 40 41 -3 0 41.344] 76 @dc
[<007FF00003FFFE000FC01F801F0007C03C0001E07C0001F0F80000F8F80000F8F80000F8F80000F87C0001F83E0007F01FFF
  FFF007FFFFE00FFFFFC01FFFFF801FFFFF003FFFF8003E0000003C000000380000003800000018FF80001FFFE0000FC1F800
  1F80FC001F007C003F007E007F007F007F007F007F007F007F007F007F007F007F007F003F007E101F007C381F80FC7C0FC1
  FE7C03FFE7F800FF81F0> 32 40 -2 13 34.370] 103 @dc
[ 360 ] /cmsy10.360 @newfont
(cmsy10.360) @sf
[<03F0000FFC001FFE003FFF007FFF807FFF80FFFFC0FFFFC0FFFFC0FFFFC0FFFFC0FFFFC0FFFFC0FFFFC07FFF807FFF803FFF
  001FFE000FFC0003F000> 24 20 -3 -2 24.906] 15 @dc
[ 329 ] /cmtt10.329 @newfont
(cmtt10.329) @sf
[<0C18001E3C001E3C001E3C001E3C001E3C001E3C007FFFC0FFFFE0FFFFE07FFFC00F1E000F1E000F1E000F1E000F1E000F1E
  007FFFC0FFFFE0FFFFE07FFFC0078F00078F00078F00078F00078F00078F00030600> 24 28 -2 0 23.863] 35 @dc
[<03E3F00FFBF81FFFF03C1F80380F80700780700780E00380E00380E00380E00380E00380E00380700380700780380F803C1F
  801FFF800FFB8003E380000380000380000380000380000380001F80003F80001F80> 24 28 -2 0 23.863] 100 @dc
[<01FC0007FF001FFF803E03C03801C07001C0700000E00000FFFFC0FFFFC0FFFFC0E001C0E001C07003807003803807803E0F
  001FFE0007FC0001F000> 24 20 -3 0 23.863] 101 @dc
[<7FFF007FFF007FFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  00FFFFC0FFFFC07FFFC001C00001C00001C00001C0C000E1E000FFE0007FC0001F80> 24 28 -1 0 23.863] 102 @dc
[<FFFF00FFFF80FFFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  007FC000FFC0007FC00000000000000000000000000003800007C00007C00007C000038000> 24 29 -4 0 23.863] 105 @dc
[<7FC3FCFFE7FE7FC3FC0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80E00FC1
  C07FFFC0FEFF807E3E00> 24 20 0 0 23.863] 110 @dc
[<01F0000FFE001FFF003E0F803C07807803C07001C0F001E0E000E0E000E0E000E0E000E0E000E07001C07001C03803803E0F
  801FFF000FFE0001F000> 24 20 -2 0 23.863] 111 @dc
[<7FC000FFE0007FC0000E00000E00000E00000E00000E00000E00000E00000E3E000EFF800FFFC00FC1E00F80E00F00700F00
  700E00380E00380E00380E00380E00380E00380E00700F00700F80E00FC1E07FFFC0FEFF807E3E00> 24 30 0 10 23.863] 112 @dc
[<7FFE00FFFF007FFE0003800003800003800003800003800003800003800003800003800003C00003C00003E00003F03003F8
  787FBFF8FF9FF07F87E0> 24 20 -1 0 23.863] 114 @dc
[<07E1F01FFBF03FFFF0781F00F00F00E00700E00700E007007807007F07001FFF0007FF0000FF00000700000700300E00781E
  007FFC003FF8001FE000> 24 20 -3 0 23.863] 97 @dc
[<003E0000FF8001FFC001C1C00380E00380E00380E00380400380000380000380000380000380000380000380000380000380
  00FFFFC0FFFFC07FFFC0038000038000038000038000018000> 24 25 -1 0 23.863] 116 @dc
[<7FFF00FFFF80FFFF807FFF00> 24 4 -3 4 23.863] 95 @dc
[<FE03F8FE03F8FE03F83800E03800E03800E03800E03800E03800E03870E03870E038F8E038D8E038D8E039DCE039DCE039DC
  E0398CE0398CE03B8EE03B8EE03B06E03B06E03B06E03B06E0FE03F8FE03F8FC01F8> 24 28 -1 0 23.863] 77 @dc
[<0FF8003FFE007FFF00780F00700700F00780E00380E00380E00380E00380E00380E00380E00380E00380E00380E00380E003
  80E00380E00380E00380E00380E00380F00780700700780F007FFF003FFE000FF800> 24 28 -3 0 23.863] 79 @dc
[<7FF800FFFE007FFF001C0F801C03C01C01C01C01E01C00E01C00E01C00F01C00701C00701C00701C00701C00701C00701C00
  701C00701C00F01C00E01C00E01C01E01C03C01C03C01C0F807FFF00FFFE007FF800> 24 28 -1 0 23.863] 68 @dc
[<007C0001FF0003FF800783C00F01E00E00E01C00701C00701C00701C00701C00701C00701C00701C00701C00701C00701C00
  701C00701C00701C00701C00701C00701C00701C00701C0070FF83FEFF83FEFF83FE> 24 28 0 0 23.863] 85 @dc
[<7FFFF0FFFFF07FFFF00E00700E00700E00700E00700E00700E00000E00000E00000E00000E00000E00000E00000E00000E00
  000E00000E00000E00000E00000E00000E00000E00000E00007FE000FFE0007FE000> 24 28 -1 0 23.863] 76 @dc
[<FFFFF8FFFFF8FFFFF81C00381C00381C00381C00381C00381C00001C00001C0E001C0E001C0E001FFE001FFE001FFE001C0E
  001C0E001C0E001C00001C00001C00701C00701C00701C0070FFFFF0FFFFF0FFFFF0> 24 28 -1 0 23.863] 69 @dc
[<FF8000FF8000FF80001C00001C00001C00001C00001C00001C00001C00001C00001FFE001FFF801FFFC01C03C01C01E01C00
  E01C00701C00701C00701C00701C00701C00E01C01E01C03C0FFFFC0FFFF80FFFE00> 24 28 -1 0 23.863] 80 @dc
[<7F03C0FF87C07F07C01C0DC01C0DC01C0DC01C1DC01C19C01C19C01C39C01C39C01C39C01C31C01C71C01C71C01C61C01CE1
  C01CE1C01CE1C01CC1C01CC1C01DC1C01D81C01D81C01D81C07F07F0FF0FF87E07F0> 24 28 -1 0 23.863] 78 @dc
[<7F07F0FF8FF87F07F01C01C01C01C00E03800E03800FFF800FFF800FFF80070700070700070700070700030600038E00038E
  00038E00038E00018C0001DC0001DC0001DC0000D80000D80000F80000F800007000> 24 28 -1 0 23.863] 65 @dc
[<00F80003FE0007FF800F07C01E01C03C00E03800E07000E07000E0700000E00000E00000E00000E00000E00000E00000E000
  00E000007000007000E07000E03800E03C01E01E03E00F07E007FFE003FEE000F8E0> 24 28 -2 0 23.863] 67 @dc
[<7FFF00FFFF807FFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  0001C00001C00001C00001C00001C00001C00001C00001C0007FFF00FFFF807FFF00> 24 28 -3 0 23.863] 73 @dc
[<01F1C003FDC00FFFC01F0FC01C07C03803C03803C07003C07001C07001C0E00FF0E01FF0E00FF0E00000E00000E00000E000
  00E000007000007001C07001C03801C03803C01C03C01F0FC00FFFC003FDC001F1C0> 24 28 -2 0 23.863] 71 @dc
[<7FFFC0FFFFE07FFFC000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
  0000E00000E00000E00000E00000E00000E00000E00000E0007FE000FFE0007FE000> 24 28 -2 0 23.863] 108 @dc
[<FFFFF0FFFFF0FFFFF07800703C00701E00700F007007800003C00001F00000F800003C00001E00000F007007807003C07001
  E07FFFF07FFFF03FFFF0> 24 20 -1 0 23.863] 122 @dc
[<7FFCFFFE7FFC03800380038003800380038003800380038003800380038003800380038003804380FB80FF803F800F800780
  038003800180> 16 28 -5 0 23.863] 49 @dc
[<7F00F0FF81F87F01F81C039C1C039C1C039C1C03801C03801C03801C03801C03801C07001C0F001FFE001FFE001FFF001C0F
  801C03801C03C01C01C01C01C01C01C01C03C01C03801C0F807FFF00FFFE007FF800> 24 28 -1 0 23.863] 82 @dc
[<01FC0007FF001FFF803E03C03801C07001C0700000E00000E00000E00000E00000E00000E000007000007000003803003E07
  801FFF8007FF0001FE00> 24 20 -3 0 23.863] 99 @dc
[<01FC000FFF801FFFC07E03F07800F0E00038E00038E00038E000387000707801F03FFFE01FFFC01FFE001C000038000039E0
  001FF8001FFC001E1E001C0E003807003807003807003807003807001C0E001E1E300FFFF807FFF801E1F0> 24 31 -1 11 23.863] 103 @dc
[<E7F000FFFC00FFFF00F80F00F00380E00380E00380600780001F0003FE001FFC007FE0007C0000E00700E00700E00700780F
  007FFF003FFF0007F700> 24 20 -3 0 23.863] 115 @dc
[<007000F001F003C007800F001E001C00380038007000700070007000E000E000E000E000E000E000E000E000700070007000
  7000380038001C001E000F00078003C001E000F00070> 16 36 -7 4 23.863] 40 @dc
[<6000F8007C001E000E0007001F003F007F007E003E001C00> 16 12 -8 6 23.863] 44 @dc
[<01FCFC03FFFE07FFFC0F03E00E01E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00
  E07E07E0FE0FE07E07E0> 24 20 0 0 23.863] 117 @dc
[<6000F00078003C001E000F000780038001C001C000E000E000E000E00070007000700070007000700070007000E000E000E0
  00E001C001C0038007800F001E003C007800F0006000> 16 36 -4 4 23.863] 41 @dc
[<000300000780000780000F80000F00001F00001E00001E00003E00003C00007C0000780000780000F80000F00001F00001E0
  0003E00003C00003C00007C0000780000F80000F00000F00001F00001E00003E00003C00003C00007C0000780000F80000F0
  0000F00000600000> 24 36 -3 4 23.863] 92 @dc
[<1E00003F00007F80007BC00079E00000E00000F00000700000700000700000780000780000780000DC0000CC0000CC0001CE
  0001CE00038E000386000387000707000707000703800E03800E03800E01C07F8FF0FF8FF87F8FF0> 24 30 -1 10 23.863] 121 @dc
[<3078FCFC7830> 8 6 -9 0 23.863] 46 @dc
35 @bop1
(cmsl10.360) @sf
245 162 p (4.2.) s
39 r 82 c
-1 r (OSY) s
16 r (ENVIR) s
-1 r (ONMENT) s
(cmr10.360) @sf
906 r (35) s
(cmbx10.518) @sf
245 315 p (4.2) s
82 r 82 c
-1 r (OSY) s
27 r (En) s
-2 r (vironmen) s
-2 r 116 c
(cmr10.360) @sf
245 425 p (The) s
(cmti10.360) @sf
16 r 114 c
-1 r (osy) s
(cmr10.360) @sf
15 r (program) s
16 r (will) s
17 r (pro) s
1 r (duce) s
16 r (sev) s
(eral) s
15 r (\014les) s
17 r (after) s
16 r (reading) s
16 r (its) s
16 r (remote) s
17 r (op) s
1 r (era-) s
245 485 p (tions) s
17 r (mo) s
1 r (dule.) s
(cmbx10.432) @sf
245 629 p (4.2.1) s
69 r (Abstract) s
23 r (Syn) s
-1 r (tax) s
22 r (Mo) s
1 r (dule) s
(cmr10.360) @sf
245 721 p (The) s
16 r (abstract) s
16 r (syn) s
-1 r (tax) s
15 r (mo) s
2 r (dule) s
15 r (pro) s
2 r (duced) s
16 r 98 c
-1 r 121 c
(cmti10.360) @sf
15 r 114 c
-1 r (osy) s
(cmr10.360) @sf
14 r (is) s
16 r (simply) s
16 r 97 c
16 r (cop) s
121 c
14 r (of) s
16 r (the) s
16 r 116 c
(yp) s
101 c
245 782 p (de\014nitions) s
18 r (found) s
19 r (in) s
18 r (the) s
18 r (remote) s
19 r (op) s
1 r (erations) s
18 r (mo) s
2 r (dule.) s
27 r (In) s
19 r (addition,) s
(cmti10.360) @sf
18 r 114 c
-1 r (osy) s
(cmr10.360) @sf
17 r (ma) s
121 c
245 842 p (de\014ne) s
16 r 97 c
16 r (few) s
16 r (new) s
17 r 116 c
-1 r (yp) s
1 r (es) s
16 r (based) s
16 r (on) s
16 r (the) s
16 r (de\014nitions) s
16 r (used) s
17 r (in) s
16 r (the) s
16 r (op) s
1 r (erations) s
16 r (and) s
245 902 p (errors.) s
(cmbx10.432) @sf
245 1046 p (4.2.2) s
69 r 67 c
23 r (Language) s
22 r (Stubs) s
(cmr10.360) @sf
245 1138 p (Three) s
17 r (separate) s
16 r (stub) s
17 r (\014les) s
16 r (are) s
17 r (pro) s
1 r (duced) s
17 r 98 c
121 c
(cmti10.360) @sf
15 r 114 c
-1 r (osy) s
(cmr10.360) @sf
46 c
320 1198 p (The) s
16 r (\014rst) s
17 r (is) s
16 r 97 c
(cmti10.360) @sf
17 r 67 c
(cmr10.360) @sf
24 r (pre-pro) s
1 r (cessor) s
17 r (\014le) s
16 r (con) s
(taining) s
16 r (de\014nitions) s
16 r (of:) s
(cmsy10.360) @sf
320 1296 p 15 c
(cmr10.360) @sf
25 r (eac) s
-1 r 104 c
16 r (op) s
1 r (eration) s
17 r (co) s
1 r (de) s
(cmtt10.329) @sf
479 1393 p (#define) s
24 r (operation_MODULE_OPNAME) s
24 r (OPCODE) s
(cmr10.360) @sf
369 1494 p (as) s
17 r (in:) s
(cmtt10.329) @sf
479 1591 p (#define) s
24 r (operation_IMAGE_initialize) s
24 r 49 c
(cmsy10.360) @sf
320 1691 p 15 c
(cmr10.360) @sf
25 r (eac) s
-1 r 104 c
16 r (error) s
16 r (co) s
2 r (de) s
(cmtt10.329) @sf
479 1788 p (#define) s
24 r (error_MODULE_ERNAME) s
24 r (ERRCODE) s
(cmr10.360) @sf
369 1888 p (as) s
17 r (in:) s
(cmtt10.329) @sf
479 1985 p (#define) s
24 r (error_IMAGE_congested) s
24 r 49 c
(cmsy10.360) @sf
320 2086 p 15 c
(cmr10.360) @sf
25 r (stub) s
16 r (routines) s
(cmtt10.329) @sf
479 2182 p (#define) s
24 r (op_MODULE_OPNAME\(sd,in,out,rsp,roi\)) s
24 r 92 c
1243 2239 p (RyOperation) s
23 r 40 c
24 r (...) s
24 r 41 c
(cmr10.360) @sf
369 2339 p (as) s
17 r (in:) s
(cmtt10.329) @sf
479 2436 p (#define) s
24 r (op_IMAGE_initialize\(sd,in,out,rsp,roi\)) s
24 r 92 c
1243 2493 p (RyOperation) s
23 r 40 c
24 r (...) s
24 r 41 c
@eop
36 @bop0
(cmtt10.360) @sf
[<1E00003F80007FC00079E00078E000307000007000007800003800003800003C00003C00003C00003C00006E0000660000E6
  0000E70000E70001C70001C38001C3800383800381C00781C00701C00701E00F00E00E00E07FC7FCFFC7FE7FC7FC> 24 32 -1 11 26.151] 121 @dc
[<FFE000FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E00000E3E000EFF800FFFC00FC1E00F80F00F00
  780F00380E001C0E001C0E001C0E001C0E001C0E001C0E001C0E00380F00380F80700FC1F0FFFFE0FEFF80FE3E00> 24 32 -1 11 26.151] 112 @dc
[<00FE0003FFC00FFFE01F01F03C0070780070700000700000E00000FFFFF0FFFFF0FFFFF0E00070E000707000E07800E03C01
  C01E07C00FFF8007FF0001F800> 24 21 -3 0 26.151] 101 @dc
[<FFFF00FFFF80FFFF0003800003800003800003800003800003800003800003800003800003800003C00003C00003E00003F0
  1803FC3CFFBFFCFF8FF8FF83F0> 24 21 -2 0 26.151] 114 @dc
[<07F0FC1FFDFC3FFFFC780F80700780E00380E00380E003807003807803803F83801FFF8007FF80007F800003800003803007
  00780F007FFE003FFC001FF000> 24 21 -3 0 26.151] 97 @dc
[<001F00007FC000FFE000E0E001C07001C07001C07001C07001C00001C00001C00001C00001C00001C00001C00001C00001C0
  0001C000FFFFE0FFFFE07FFFE001C00001C00001C00001C00001C00001C00000C000> 24 28 -1 0 26.151] 116 @dc
[<FFFFC0FFFFC0FFFFC000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
  0000E0007FE000FFE0007FE00000000000000000000000000000000001C00003E00003E00003E00001C000> 24 31 -4 0 26.151] 105 @dc
[<01F00007FC001FFF003E0F803C07807803C07001C0F001E0E000E0E000E0E000E0E000E0E000E0E000E07001C07803C03C07
  803E0F801FFF0007FC0001F000> 24 21 -3 0 26.151] 111 @dc
[<FFE3FEFFE3FEFFE3FE0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80
  E00FC1C0FFFFC0FEFF80FE3E00> 24 21 -1 0 26.151] 110 @dc
(cmbx10.518) @sf
[<001FFC000001FFFF800007FFFFE0000FE01FF8001F0007FC003F0003FE007F8003FF00FFC003FF00FFE001FF80FFE001FF80
  FFE001FFC0FFE001FFC07FC001FFC07FC001FFC03F8001FFC00E0001FFC0000001FF80000001FF80000003FF00000003FE00
  000003FC00000007F80000001FF000001FFF8000001FFC0000001FFE000000007F800000001FC00000001FE00000000FF000
  00000FF800018007FC0007E007FC000FF007FC001FF807FE001FF807FE001FF807FE001FF807FE001FF007FE000FF007FC00
  0FE007FC00070007F80003C00FF00001F01FE000007FFF8000000FFC0000> 40 46 -3 0 41.244] 51 @dc
[<FFFFFFC00FFFFFE0FFFFFFC00FFFFFE0FFFFFFC00FFFFFE000FFC000007FF80000FFC000007FF00000FFC00000FFE00000FF
  C00001FFC00000FFC00001FFC00000FFC00003FF800000FFC00007FF000000FFC0000FFE000000FFC0000FFC000000FFC000
  1FFC000000FFC0003FF8000000FFC0007FF0000000FFC000FFE0000000FFC000FFE0000000FFC001FFC0000000FFC003FF80
  000000FFE007FF00000000FFF007FE00000000FFFC0FFE00000000FFFE1FFC00000000FFCF3FF800000000FFC7FFF0000000
  00FFC3FFF000000000FFC1FFE000000000FFC07FC000000000FFC03F8000000000FFC01F0000000000FFC00F8000000000FF
  C007C000000000FFC001E000000000FFC000F000000000FFC0007C00000000FFC0003E00000000FFC0000F00000000FFC000
  0780000000FFC00003E0000000FFC00001F0000000FFC0000078000000FFC000003C000000FFC000001F000000FFC000000F
  800000FFC0000003C00000FFC0000007F000FFFFFFC0007FFFC0FFFFFFC0007FFFC0FFFFFFC0007FFFC0> 64 49 -2 0 64.656] 75 @dc
[<0000E0000E00000001E0000F00000001F0001F00000003F0001F80000003F8003F80000007F8003FC0000007FC007FC00000
  07FC007FC000000FFC007FE000000FFE00FEE000001FFE00FEF000001FEF01FC7000001FE701FC7000003FC701FC3800003F
  C383F83800007FC383F83C00007F83C7F01C00007F81C7F01C0000FF01C7F00E0000FF00EFE00E0001FF00EFE00F0001FE00
  FFC0070003FE007FC0078003FC007FC0038003FC003F80038007F8003F8003C007F8007F0001C00FF8007F0001E00FF0007E
  0001F0FFFF0FFFF01FFEFFFF0FFFF01FFEFFFF0FFFF01FFE> 56 32 -2 0 59.575] 119 @dc
[<FFFFFFFFF00000FFFFFFFFFF0000FFFFFFFFFFE00000FFC0007FF00000FFC0000FFC0000FFC00003FE0000FFC00001FF0000
  FFC00000FF8000FFC000007FC000FFC000003FE000FFC000003FE000FFC000001FF000FFC000001FF800FFC000001FF800FF
  C000000FF800FFC000000FFC00FFC000000FFC00FFC000000FFC00FFC000000FFC00FFC000000FFE00FFC000000FFE00FFC0
  00000FFE00FFC000000FFE00FFC000000FFE00FFC000000FFE00FFC000000FFE00FFC000000FFE00FFC000000FFE00FFC000
  000FFE00FFC000000FFE00FFC000000FFC00FFC000000FFC00FFC000000FFC00FFC000000FFC00FFC000000FF800FFC00000
  1FF800FFC000001FF000FFC000001FF000FFC000003FE000FFC000003FE000FFC000007FC000FFC00000FF8000FFC00001FF
  0000FFC00007FE0000FFC0000FFC0000FFC000FFF000FFFFFFFFFFC000FFFFFFFFFF0000FFFFFFFFF00000> 56 49 -2 0 63.261] 68 @dc
[<7FFFE0FFFFC07FFFE0FFFFC07FFFE0FFFFC003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC
  0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007
  F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F80003FC0007F800
  03FC0007F80003FC0007F80003FC0007F80003FC0007F800FFFFFFFFF800FFFFFFFFF800FFFFFFFFF80003FC00FFF80003FC
  0000000003FC0000000003FC0000000003FC0000000003FC0001800003FC0007E00003FC000FF00003FC000FF00003FC000F
  F00001FE000FF00000FE000FF00000FF0007F000007FC003E000001FF807C0000007FFFF80000001FFFF000000001FFC0000> 48 50 -1 0 45.827] 12 @dc
[<0007FC00007FFF8000FFFFE003FF01F007F800780FF0001C1FE0001C3FE0000E3FC0000E7FC000007FC000007F800000FF80
  0000FF800000FF800000FF800000FF800000FF800000FF800000FF8000007F8000007F8000407FC001F03FC003F83FC007FC
  1FE007FC0FE007FC07F007FC03FC03F800FFFFF0007FFFE00007FF00> 32 32 -3 0 36.661] 99 @dc
(cmtt10.360) @sf
[<FFFF00FFFFC0FFFFE01C01F01C00F01C00781C00381C00381C00381C00381C00381C00701C00F01C01E01FFFC01FFF801FFF
  801C07C01C01E01C00E01C00701C00701C00701C00701C00F01C00E01C03E0FFFFC0FFFF80FFFE00> 24 30 -2 0 26.151] 66 @dc
[<FFFE00FFFF00FFFFC01C07C01C01E01C00F01C00701C00781C00381C00381C003C1C001C1C001C1C001C1C001C1C001C1C00
  1C1C001C1C001C1C003C1C00381C00381C00781C00701C00F01C01E01C07C0FFFF80FFFF00FFFE00> 24 30 -1 0 26.151] 68 @dc
(cmr10.360) @sf
[<FFFF807007807801803800801C00800E00C00F004007004003804001C00001E00000E000007000403800403C00401C00600E
  002007003007803803803FFFC0> 24 21 -1 0 22.139] 122 @dc
(cmtt10.360) @sf
[<0FC0003FF0007FF800F03C00F01E00F00E00600E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E
  00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0003FFC003FFE003FFC0> 24 30 -4 0 26.151] 74 @dc
[<007C0001FF8007FFC00F83E01E00F01C0070380038380038700038700038700000E00000E00000E00000E00000E00000E000
  00E00000E000007000007000387000383800383800781C00781E00F80F83F807FFF801FF38007C38> 24 30 -2 0 26.151] 67 @dc
[<7FE000FFF0007FE0000E00000E00000E00000E00000E00000E00000E00000E00000E07000E07000E07000FFF000FFF000FFF
  000E07000E07000E07000E00000E00000E001C0E001C0E001C0E001C0E001C7FFFFCFFFFFC7FFFFC> 24 30 -1 0 26.151] 70 @dc
[<FF81FCFF81FEFF81FC1C00701C00E01C00E01C01C01C01C01C03801C07801E07001E0F001F0E001F9C001FDC001DF8001CF8
  001CF0001C78001C38001C1C001C1E001C0F001C07001C03801C03C01C01E0FF83F8FF87FCFF83F8> 24 30 -1 0 26.151] 75 @dc
(cmbx10.518) @sf
[<001FFF800000FFFFF00007FFFFFE000FF801FF001FC0003F803F00000FC07E000007E0FC000003F0FC000003F0FC000003F0
  FC000003F0FC000007F07E00000FF03F00007FE01FFFFFFFE007FFFFFFC003FFFFFF8007FFFFFF000FFFFFFE000FFFFFF800
  1FFFFFC0001F800000001F000000001E000000001E000000000E000000000E1FF0000006FFFE000007FFFF000007F83FC000
  0FE00FE0000FE00FE0001FC007F0001FC007F0003FC007F8003FC007F8003FC007F8003FC007F8003FC007F8001FC007F000
  1FC007F0600FE00FE0F00FE00FE1F807F83FF1F801FFFF7FF800FFFE3FF0001FF007E0> 40 47 -2 15 41.244] 103 @dc
(cmr10.360) @sf
[<FFFC3FFF00FFFC3FFF00078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000
  078001E000078001E000078001E000078001E000078001E000078001E000078001E00007FFFFE00007FFFFE000078001E000
  078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000
  078001E000078001E000FFFC3FFF00FFFC3FFF00> 40 34 -2 0 37.359] 72 @dc
[<387CFCFCB880808080404020201008> 8 15 -3 -20 13.837] 96 @dc
(cmtt10.360) @sf
[<063E000EFF800FFFC00FC1E00F80F00F00780F00380E001C0E001C0E001C0E001C0E001C0E001C0E001C0E00380F00380F80
  700FC1F00FFFE00EFF800E3E000E00000E00000E00000E00000E00000E0000FE0000FE0000FE0000> 24 30 -1 0 26.151] 98 @dc
[<01F1FC07FDFC1FFFFC3E0FC03807C07003C07003C0E001C0E001C0E001C0E001C0E001C0E001C0E001C07001C07803C03C07
  C01E0FC00FFFC007FDC001F1C00001C00001C00001C00001C00001C00001C0001FC0001FC0001FC0> 24 30 -2 0 26.151] 100 @dc
[<7FFFC0FFFFE0FFFFE07FFFC0> 24 4 -3 -13 26.151] 45 @dc
36 @bop1
(cmr10.360) @sf
87 162 p (36) s
(cmsl10.360) @sf
153 r (CHAPTER) s
17 r (4.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (STUB-GENERA) s
-3 r (TOR) s
(cmr10.360) @sf
87 307 p (The) s
19 r (stub) s
19 r (routines) s
19 r (require) s
19 r 97 c
19 r (lot) s
19 r (more) s
19 r (explanation.) s
29 r (Rather) s
19 r (than) s
19 r (in) s
(tro) s
(duce) s
87 367 p (the) s
24 r (full) s
24 r (details,) s
25 r (for) s
24 r (the) s
23 r (momen) s
116 c
23 r (simply) s
24 r (note) s
23 r (that) s
24 r (the) s
24 r (stub) s
23 r (routines) s
24 r (are) s
87 428 p (actually) s
23 r (calls) s
22 r (to) s
23 r (the) s
(cmtt10.360) @sf
22 r (RyOperation) s
(cmr10.360) @sf
23 r (routine) s
23 r (discussed) s
22 r (in) s
23 r (Chapter) s
22 r 55 c
23 r (whic) s
-1 r 104 c
87 488 p (\\do) s
2 r (es) s
16 r (all) s
17 r (the) s
16 r 119 c
(ork".) s
162 548 p (The) s
13 r (second) s
13 r (\014le) s
14 r (pro) s
1 r (duced) s
13 r 98 c
121 c
(cmti10.360) @sf
12 r 114 c
-2 r (osy) s
(cmr10.360) @sf
13 r (de\014nes) s
13 r (the) s
(cmti10.360) @sf
13 r 67 c
(cmr10.360) @sf
20 r (language) s
14 r (data) s
13 r (structures) s
87 609 p (used) s
17 r 98 c
-1 r 121 c
16 r (the) s
17 r (run-time) s
16 r (en) s
(vironmen) s
-2 r 116 c
16 r (whic) s
104 c
15 r (the) s
(cmti10.360) @sf
17 r (libr) s
-2 r (osy) s
(cmr10.360) @sf
4 r (\(3n\)) s
16 r (library) s
17 r (pro) s
(vides.) s
162 669 p (The) s
18 r (third) s
19 r (\014le) s
18 r (pro) s
2 r (duced) s
18 r 98 c
121 c
(cmti10.360) @sf
17 r 114 c
-1 r (osy) s
(cmr10.360) @sf
17 r (is) s
18 r (used) s
19 r (in) s
18 r (conjunction) s
19 r (with) s
(cmti10.360) @sf
18 r (lint) s
(cmr10.360) @sf
5 r (\(1\).) s
28 r (It) s
87 729 p (de\014nes) s
21 r (as) s
20 r (routines,) s
22 r (rather) s
21 r (than) s
20 r (macros,) s
22 r (the) s
20 r (same) s
21 r (stub) s
20 r (routines) s
21 r (found) s
21 r (in) s
87 789 p (the) s
(cmti10.360) @sf
20 r 67 c
(cmr10.360) @sf
26 r (pre-pro) s
2 r (cessor) s
19 r (\014le.) s
31 r (These) s
20 r (routines) s
19 r 112 c
2 r (ermit) s
19 r (more) s
20 r (stringen) s
-1 r 116 c
19 r (argumen) s
-1 r 116 c
87 850 p 99 c
(hec) s
-2 r (king.) s
(cmbx10.518) @sf
87 1018 p (4.3) s
83 r (Kno) s
-2 r (wn) s
27 r (De\014ciences) s
(cmr10.360) @sf
87 1129 p (The) s
(cmti10.360) @sf
20 r 114 c
-2 r (osy) s
(cmr10.360) @sf
19 r (program) s
19 r (is) s
20 r 97 c
20 r (protot) s
-1 r (yp) s
1 r (e.) s
31 r (It) s
19 r (probably) s
20 r 119 c
(on't) s
18 r (undergo) s
20 r (substan) s
-1 r (tiv) s
-1 r 101 c
87 1189 p 99 c
(hange,) s
15 r (but) s
17 r (exp) s
1 r (erience) s
17 r (will) s
17 r (tell.) s
162 1249 p (In) s
22 r (particular,) s
(cmti10.360) @sf
22 r 114 c
-1 r (osy) s
(cmr10.360) @sf
21 r (uses) s
21 r (essen) s
(tially) s
20 r (the) s
22 r (same) s
22 r (fron) s
-1 r (t-end) s
21 r (as) s
22 r (the) s
(cmti10.360) @sf
21 r 112 c
-1 r (epy) s
(cmr10.360) @sf
3 r (\(1\)) s
87 1310 p (program,) s
25 r (so) s
23 r (it) s
22 r (has) s
23 r (some) s
23 r (limitations) s
23 r (in) s
23 r (the) s
23 r (ASN.1) s
23 r (syn) s
(tax) s
21 r (it) s
23 r (can) s
23 r (accept.) s
87 1370 p (Consult) s
17 r (Section) s
16 r (6.3.1) s
17 r (for) s
17 r (the) s
16 r (details.) s
162 1430 p (The) s
(cmtt10.360) @sf
21 r (BIND) s
(cmr10.360) @sf
21 r (and) s
(cmtt10.360) @sf
21 r (UNBIND) s
(cmr10.360) @sf
21 r (macros) s
22 r (are) s
21 r (curren) s
-1 r (tly) s
20 r (unrecognized,) s
23 r (along) s
21 r (with) s
87 1491 p (the) s
17 r (new) s
-1 r (er) s
16 r 40 c
(cmtt10.360) @sf
(OBJECT) s
17 r (IDENTIFIER) s
(cmr10.360) @sf
41 c
16 r (notation) s
17 r (for) s
16 r (op) s
2 r (eration) s
16 r (co) s
2 r (des.) s
162 1551 p (The) s
(cmtt10.360) @sf
14 r (LINKED) s
(cmr10.360) @sf
15 r (clause) s
14 r (is) s
15 r (curren) s
-1 r (tly) s
14 r (recognized) s
14 r (but) s
15 r (otherwise) s
14 r (ignored) s
15 r (for) s
14 r (the) s
(cmtt10.360) @sf
87 1611 p (OPERATION) s
(cmr10.360) @sf
17 r (macro.) s
(cmbx10.518) @sf
87 1780 p (4.4) s
83 r (Running) s
27 r 82 c
-1 r (OSY) s
(cmr10.360) @sf
87 1890 p (Here) s
17 r (are) s
16 r 97 c
17 r (few) s
17 r (things) s
16 r (to) s
17 r (kno) s
-1 r 119 c
16 r (when) s
17 r (running) s
(cmti10.360) @sf
16 r 114 c
-1 r (osy) s
(cmr10.360) @sf
46 c
(cmbx10.432) @sf
87 2037 p (4.4.1) s
69 r (Options) s
(cmr10.360) @sf
87 2130 p (The) s
(cmti10.360) @sf
17 r 114 c
-2 r (osy) s
(cmr10.360) @sf
16 r (program) s
16 r (has) s
17 r 97 c
17 r (few) s
16 r (options) s
17 r (to) s
16 r (mo) s
2 r (dify) s
16 r (its) s
17 r 98 c
1 r (eha) s
(vior.) s
162 2191 p (The) s
17 r (`-) s
(cmtt10.360) @sf
98 c
(cmr10.360) @sf
39 c
17 r (switc) s
-1 r 104 c
16 r (sets) s
17 r (the) s
17 r (pre\014x) s
17 r (used) s
16 r (for) s
17 r (the) s
17 r (output) s
17 r (\014le.) s
23 r (If) s
17 r (this) s
16 r (option) s
17 r (is) s
87 2251 p (not) s
17 r (giv) s
-1 r (en,) s
16 r (the) s
17 r (ASN.1) s
16 r (mo) s
2 r (dule) s
16 r (name) s
17 r (is) s
16 r (used.) s
162 2312 p (The) s
16 r (`-) s
(cmtt10.360) @sf
100 c
(cmr10.360) @sf
39 c
17 r (switc) s
104 c
15 r (directs) s
(cmti10.360) @sf
17 r 114 c
-2 r (osy) s
(cmr10.360) @sf
16 r (to) s
17 r (ignore) s
16 r (an) s
121 c
(cmti10.360) @sf
15 r 112 c
-1 r (epy) s
(cmr10.360) @sf
(-st) s
-2 r (yle) s
16 r (augmen) s
(tations.) s
162 2372 p (The) s
25 r (`-) s
(cmtt10.360) @sf
111 c
(cmr10.360) @sf
39 c
24 r (switc) s
104 c
24 r (sets) s
25 r (the) s
24 r (name) s
25 r (of) s
25 r (the) s
25 r (output) s
24 r (\014le,) s
27 r (whic) s
104 c
24 r (is) s
24 r (normally) s
87 2432 p (deriv) s
(ed) s
16 r (from) s
18 r (the) s
17 r (name) s
18 r (of) s
17 r (the) s
18 r (input) s
17 r (\014le.) s
25 r (The) s
17 r (distinguished) s
18 r (\014le) s
17 r 92 c
(cmtt10.360) @sf
45 c
(cmr10.360) @sf
34 c
18 r (can) s
17 r 98 c
2 r 101 c
87 2493 p (used) s
17 r (to) s
16 r (force) s
17 r (the) s
17 r (use) s
16 r (of) s
17 r (the) s
16 r (standard) s
17 r (output.) s
@eop
37 @bop0
(cmtt10.360) @sf
[<E3F800EFFE00FFFF00FC0780F003C0E001C0E001C06001C0000380003F8007FF003FFC007FC000780000E00380E00380E003
  807807807FFF801FFF8007FB80> 24 21 -4 0 26.151] 115 @dc
(cmbx10.432) @sf
[<FFFC3FFEFFFC3FFEFFFC3FFE0FC00FE00FC00FC00FC01FC00FC03F800FC07F000FC07F000FC0FE000FC1FC000FE3F8000FF3
  F8000FFFF0000FFFE0000FEFE0000FE7C0000FE3C0000FE0E0000FE078000FE03C000FE01E000FE00F000FE007800FE01FFC
  0FE01FFC0FE01FFC0FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0
  00000FE00000FFE00000FFE00000FFE00000> 32 42 -2 0 36.280] 107 @dc
(cmtt10.360) @sf
[<3078FCFC7830> 8 6 -10 0 26.151] 46 @dc
[<7F1F1F00FF9F9F807F1F1F001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C
  1C001C1C1C001C1C1C001E1E1C001E1E1C001F1F1C007FFFF800FFFBF8007CE0E000> 32 21 0 0 26.151] 109 @dc
[<00FCFE03FFFE07FFFE0F03E00E01E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00
  E00E00E0FE0FE0FE0FE0FE0FE0> 24 21 -1 0 26.151] 117 @dc
[<FFFFE0FFFFE0FFFFE000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
  0000E00000E00000E00000E00000E00000E00000E00000E00000E00000E000FFE000FFE000FFE000> 24 30 -3 0 26.151] 108 @dc
[<FFE3FEFFE3FEFFE3FE0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80
  E00FC1C00FFFC00EFF800E3E000E00000E00000E00000E00000E00000E0000FE0000FE0000FE0000> 24 30 -1 0 26.151] 104 @dc
[<00FE0003FFC00FFFE01F01F03C0070780070700000700000E00000E00000E00000E00000E000007000007000007800003C00
  C01F01E00FFFE003FFC000FF80> 24 21 -3 0 26.151] 99 @dc
(cmti10.360) @sf
[<600F00E018807030C07070407070607070603838303838203830003870001CE0001FC0001E00001D80000E40000E20600E20
  F00E10F00708700706300701E007000003800003800003800003800001C00001C00001C00001C00000E00000E0000FE0000F
  E00000F000> 24 35 -3 0 22.913] 107 @dc
(cmr10.360) @sf
[<7FF1FFC7FF007FF1FFC7FF0007001C00700007001C00700007001C00700007001C00700007001C00700007001C0070000700
  1C00700007001C00700007001C00700007001C00700007001C00700007001C00700007001C00700007001C00700007001C00
  700007001C00700007001C00F000FFFFFFFFF000FFFFFFFFF00007001C00000007001C00000007001C00000007001C000000
  07001C00000007001C00000007003C00E00007007C01F00007007C01F00003807E01F00001803E00F00000E00B8020000070
  31E0C000000FC03F0000> 48 35 0 0 41.510] 14 @dc
(cmtt10.329) @sf
[<3078FCFC783000000000000000003078FCFC7830> 8 20 -9 0 23.863] 58 @dc
[<60F0783C1C0E1E3E7E7E3C180000000000000000183C7E7E3C18> 8 26 -8 6 23.863] 59 @dc
[<00C00001C00001C00001C00007E0001FF8003FFE0079DE0071C700E1C700E1C380F1C380F1C38061C38001C70001CF0001DE
  0003FC000FF8001FE0003DC00079C000F1C000E1C780E1C780E1C780E1C38071C7007DCF003FFE000FFC0003F00001C00001
  C00001C00000C000> 24 36 -3 4 23.863] 36 @dc
[<01FC0003FE0001FC0000700000700000700000700000700000700000700000700000700000F80000F80001DC0001DC0001DC
  00038E00038E000707000707000F07800E03801E03C01C01C0FF07F8FF07F8FF07F8> 24 28 -1 0 23.863] 89 @dc
[<FFC000FFC000FFC0001C00001C00001C00001C00001C00001C00001C00001C1C001C1C001C1C001FFC001FFC001FFC001C1C
  001C1C001C1C001C00001C00001C00E01C00E01C00E01C00E0FFFFE0FFFFE0FFFFE0> 24 28 -2 0 23.863] 70 @dc
[<E7F800FFFE00FFFF80F80780F001C0E001E0E000E06000E00000E00000E00001C00003C0000F8000FF0007FE001FF0003F00
  00780000700000E00000E00380E00380E003807007807C0F803FFF801FFF8003F380> 24 28 -2 0 23.863] 83 @dc
[<000300000780001F80003F00007E0001FC0003F00007E0001FC0003F00007E0000FC0000FC00007E00003F00001FC00007E0
  0003F00001FC00007E00003F00001F80000780000300> 24 24 -3 -2 23.863] 60 @dc
[<7FFF00FFFF80FFFF807FFF00> 24 4 -3 -12 23.863] 45 @dc
[<7F1F1F00FFBFBF807F1F1F001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C
  1C001C1C1C001E1E1C001E1E1C001F1F1C007FFFF800FFFBF8007CE0E000> 32 20 1 0 23.863] 109 @dc
[<007E0001FF8007FFC00F83E01E00E03C1C00387F0070FF8071E3C071C1C0E1C1C0E380E0E380E0E380E0E380E0E380E0E380
  E0E1C1E071C1E071E3E070FFE0387FC03C1DC01E03C00F878007FF0001FE00007C00> 24 28 -2 0 23.863] 64 @dc
[<7FC3FCFFE7FE7FC3FC0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80E00FC1
  C00FFFC00EFF800E3E000E00000E00000E00000E00000E00007E0000FE00007E0000> 24 28 0 0 23.863] 104 @dc
[<063E000EFF800FFFC00FC1E00F80E00F00700F00700E00380E00380E00380E00380E00380E00380E00700F00700F80E00FC1
  E00FFFC00EFF800E3E000E00000E00000E00000E00000E00007E0000FE00007E0000> 24 28 0 0 23.863] 98 @dc
(cmr10.360) @sf
[<0003F00000001FF80000003C0E0000007003000000E001800001C000800003C000400003C000400003800040000780002000
  0780002000078000200007800020000780002000078000200007800020000780002000078000200007800020000780002000
  0780002000078000200007800020000780002000078000200007800020000780002000078000200007800020000780002000
  07800020000780002000078000F800FFFC07FF00FFFC07FF00> 40 35 -2 1 37.359] 85 @dc
(cmtt10.360) @sf
[<01FF0001FF0001FF00003800003800003800003800003800003800003800003800003800003800007C00007C0000EE0000EE
  0001C70001C70003C7800383800383800701C00701C00E00E00E00E01E00F0FF01FEFF83FEFF01FE> 24 30 -1 0 26.151] 89 @dc
37 @bop1
(cmsl10.360) @sf
245 162 p (4.4.) s
33 r 82 c
(UNNING) s
15 r 82 c
(OSY) s
(cmr10.360) @sf
1060 r (37) s
320 307 p (Normally) s
-4 r 44 c
(cmti10.360) @sf
20 r 114 c
-2 r (osy) s
(cmr10.360) @sf
19 r (prin) s
(ts) s
19 r (the) s
19 r (name) s
20 r (of) s
20 r (eac) s
-1 r 104 c
19 r (op) s
2 r (eration,) s
20 r (error,) s
21 r (or) s
19 r 116 c
(yp) s
101 c
20 r (as) s
20 r (it) s
245 367 p 119 c
(orks.) s
21 r (The) s
16 r (`-) s
(cmtt10.360) @sf
115 c
(cmr10.360) @sf
39 c
17 r (switc) s
-1 r 104 c
16 r (disables) s
17 r (this) s
16 r 98 c
2 r (eha) s
-1 r (vior.) s
(cmbx10.432) @sf
245 513 p (4.4.2) s
69 r (Mak) s
-1 r (e\014les) s
(cmr10.360) @sf
245 605 p (By) s
17 r (con) s
-1 r 118 c
-1 r (en) s
-2 r (tion,) s
16 r (input) s
17 r (\014les) s
16 r (to) s
(cmti10.360) @sf
17 r 114 c
-2 r (osy) s
(cmr10.360) @sf
16 r (ha) s
-1 r 118 c
-1 r 101 c
16 r (the) s
16 r (extension) s
(cmtt10.360) @sf
17 r (.ry) s
(cmr10.360) @sf
46 c
320 666 p (Consider) s
11 r (the) s
11 r (\014le) s
(cmtt10.360) @sf
11 r (module.ry) s
(cmr10.360) @sf
11 r (whic) s
104 c
10 r (de\014nes) s
11 r (the) s
11 r (mo) s
1 r (dule) s
(cmtt10.360) @sf
11 r (MODULE) s
(cmr10.360) @sf
46 c
11 r (The) s
11 r (name) s
245 726 p (of) s
18 r (the) s
19 r (abstract) s
18 r (syn) s
(tax) s
17 r (mo) s
2 r (dule) s
18 r (pro) s
2 r (duced) s
18 r 98 c
121 c
(cmti10.360) @sf
17 r 114 c
-1 r (osy) s
(cmr10.360) @sf
17 r (is) s
19 r (normally) s
18 r (deriv) s
(ed) s
17 r (from) s
245 786 p (the) s
18 r (name) s
18 r (of) s
18 r (the) s
18 r (input) s
19 r (\014le,) s
18 r (using) s
18 r (an) s
18 r (extension) s
19 r (of) s
(cmtt10.360) @sf
18 r (.py) s
(cmr10.360) @sf
46 c
26 r (The) s
19 r (name) s
18 r (of) s
18 r (the) s
(cmti10.360) @sf
18 r 67 c
(cmr10.360) @sf
245 846 p (language) s
18 r (stub) s
19 r (\014les) s
18 r (is) s
18 r (deriv) s
(ed) s
17 r (from) s
18 r (the) s
19 r (name) s
18 r (of) s
18 r (the) s
19 r (mo) s
1 r (dule) s
19 r (de\014ned) s
18 r (in) s
18 r (the) s
245 906 p (input) s
17 r (\014le.) s
22 r (Hence) s
(cmtt10.360) @sf
369 1009 p (rosy) s
27 r (module.ry) s
(cmr10.360) @sf
245 1111 p (will) s
17 r (pro) s
1 r (duce:) s
(cmtt10.360) @sf
345 1214 p (module.py) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (the) s
17 r (abstract) s
17 r (syn) s
-1 r (tax) s
16 r (mo) s
1 r (dule;) s
(cmtt10.360) @sf
345 1316 p (MODULE-ops.h) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (op) s
2 r (eration) s
16 r (de\014nitions) s
17 r (and) s
17 r (stubs;) s
(cmtt10.360) @sf
345 1419 p (MODULE-ops.c) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (data) s
17 r (structures) s
17 r (for) s
(cmti10.360) @sf
16 r (libr) s
-1 r (osy) s
(cmr10.360) @sf
3 r (\(3n\);) s
17 r (and,) s
(cmtt10.360) @sf
345 1521 p (MODULE-stubs.c) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (stub) s
17 r (de\014nitions) s
17 r (for) s
(cmti10.360) @sf
16 r (lint) s
(cmr10.360) @sf
5 r (\(1\)) s
320 1624 p (In) s
-1 r (tuitiv) s
-1 r (ely) s
-4 r 44 c
12 r (one) s
13 r 119 c
(ould) s
11 r (susp) s
2 r (ect) s
13 r (that) s
12 r (the) s
13 r (the) s
13 r (rules) s
13 r (for) s
(cmti10.360) @sf
13 r (make) s
(cmr10.360) @sf
3 r (\(1\)) s
13 r (should) s
13 r (tak) s
101 c
245 1684 p (adv) s
-2 r (an) s
-1 r (tage) s
15 r (of) s
17 r (the) s
(cmtt10.360) @sf
17 r (.ry) s
(cmr10.360) @sf
16 r (and) s
(cmtt10.360) @sf
17 r (.py) s
(cmr10.360) @sf
16 r (su\016x) s
17 r (relationship) s
17 r (for) s
16 r 97 c
17 r (rule) s
16 r (lik) s
(e:) s
(cmtt10.329) @sf
369 1783 p (.ry.py:;) s
239 r (rosy) s
24 r ($\(RYFLAGS\)) s
24 r ($<) s
(cmr10.360) @sf
245 1885 p 70 c
-3 r (or) s
16 r (reasons) s
16 r (explained) s
17 r (later) s
17 r (on) s
17 r (\(in) s
16 r (Section) s
17 r (5.4.2) s
17 r (on) s
17 r (page) s
16 r (53\),) s
17 r (it) s
17 r (is) s
17 r (adv) s
-2 r (an) s
-1 r (ta-) s
245 1945 p (geous) s
17 r (to) s
16 r (use) s
17 r 97 c
16 r (more) s
17 r (complicated) s
17 r (set) s
16 r (of) s
17 r (rules:) s
(cmtt10.329) @sf
369 2044 p (MODULE-asn.py:) s
96 r (module.ry) s
799 2100 p (rosy) s
24 r ($\(RYFLAGS\)) s
24 r (-o) s
24 r ($@) s
23 r (module.ry) s
369 2157 p (MODULE-ops.c:) s
120 r (module.ry) s
369 2213 p (MODULE-ops.h:) s
120 r (module.ry) s
369 2270 p (MODULE-stubs.c:) s
72 r (module.ry) s
(cmr10.360) @sf
245 2372 p (Usually) s
(cmtt10.360) @sf
17 r (RYFLAGS) s
(cmr10.360) @sf
16 r (is) s
17 r (empt) s
-1 r 121 c
-4 r 46 c
320 2432 p (In) s
20 r (our) s
20 r (particular) s
20 r (discipline,) s
21 r 119 c
-1 r 101 c
19 r (will) s
20 r (generate) s
20 r 116 c
119 c
-2 r 111 c
19 r (sets) s
20 r (of) s
21 r (\014les:) s
28 r (one) s
21 r (for) s
245 2493 p (the) s
17 r (in) s
-1 r 118 c
-1 r (ok) s
-2 r (er) s
16 r (and) s
17 r (the) s
16 r (other) s
17 r (for) s
16 r (the) s
17 r 112 c
1 r (erformer.) s
@eop
38 @bop0
(cmtt10.329) @sf
[<00700000F80000F80001DC0001DC0001DC00038E00038E00038E00038E000707000707000707000E03800E03800E03801E03
  C07F8FF0FF8FF87F8FF0> 24 20 -1 0 23.863] 118 @dc
[<00700000F80000F80000D80001DC0001DC0001DC00018C00038E00038E00038E00038E000707000707000707000707000F07
  800E03800E03800E03800E03801C01C01C01C01C01C01C01C0FF07F8FF07F8FF07F8> 24 28 -1 0 23.863] 86 @dc
[<7F03F0FF87F87F03F01C01C01C03801C03801C07001C07001C0E001C0E001E1C001F1C001FB8001FB8001DF0001DF0001CF0
  001C70001C38001C3C001C1E001C0E001C07001C07801C03C07F07F0FF87F87F07F0> 24 28 -1 0 23.863] 75 @dc
(cmbx10.432) @sf
[<00007FF003000003FFFE0F00001FFFFF1F00003FF007BF0000FF8001FF0001FE0000FF0003F80000FF0007F00000FF000FF0
  0000FF001FE00000FF001FE00000FF003FC00000FF003FC00000FF007FC00000FF007F8001FFFFF87F8001FFFFF8FF8001FF
  FFF8FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000
  7F80000000007F80000007007FC0000007003FC0000007003FC000000F001FE000000F001FE000000F000FF000001F0007F0
  00003F0003F800003F0001FE0000FF0000FF8001FF00003FF00FFF00001FFFFF0F000003FFFC070000007FE00300> 48 41 -4 0 54.046] 71 @dc
(cmti10.360) @sf
[<00F000030C000706000702000701000701800701800700C00700C00700C003806003806003806001C06061C07061C07060E0
  7030E0F010E1F008C1E00780E0> 24 21 -3 0 22.913] 118 @dc
[<3F800060E000F03000F01800701C00000E00000E00000E0000070000070001E700061F00060F800E07800E03801E03801E01
  C01E01C01E01C01E01C00F00E00F00E00F00E00700E007807003807001C07001C0F000E0F80031B8001F18> 24 31 -2 10 22.913] 103 @dc
[<3C0000660000F30000F3000073800003800001C00001C00001C00001C00000E00000E00000E00000E0000070000070000070
  00007000007000003800003800003800003800003800001C00001C00001C00001C00001C0001FFF001FFF0000E00000E0000
  0E00000E0000070000070000070000070000030000038C00039E00019E0000CE00007C> 24 45 2 10 15.276] 102 @dc
38 @bop1
(cmr10.360) @sf
87 162 p (38) s
(cmsl10.360) @sf
153 r (CHAPTER) s
17 r (4.) s
39 r (REMOTE) s
16 r (OPERA) s
-3 r (TIONS) s
16 r (STUB-GENERA) s
-3 r (TOR) s
(cmtt10.329) @sf
212 307 p (MODULE-Rops.o:) s
95 r (MODULE-ops.c) s
24 r (MODULE-ops.h) s
641 364 p ($\(CC\)) s
24 r ($\(CFLAGS\)) s
24 r (-DPERFORMER) s
24 r (-c) s
24 r (MODULE-ops.c) s
641 420 p (mv) s
24 r (MODULE-ops.o) s
24 r ($@) s
212 533 p (MODULE-Iops.o:) s
95 r (MODULE-ops.c) s
24 r (MODULE-ops.h) s
641 589 p ($\(CC\)) s
24 r ($\(CFLAGS\)) s
24 r (-DINVOKER) s
24 r (-c) s
24 r (MODULE-ops.c) s
641 646 p (mv) s
24 r (MODULE-ops.o) s
24 r ($@) s
(cmbx10.432) @sf
87 790 p (4.4.3) s
69 r (Grinding) s
(cmr10.360) @sf
87 883 p (Figure) s
14 r (6.7) s
15 r (on) s
14 r (page) s
14 r (79) s
14 r (of) s
(cmti10.360) @sf
14 r 86 c
-2 r (olume) s
14 r (One) s
(cmr10.360) @sf
14 r (con) s
(tains) s
13 r (an) s
14 r (en) s
(try) s
13 r (for) s
14 r (the) s
(cmti10.360) @sf
15 r (vgrindefs) s
(cmr10.360) @sf
4 r (\(5\)) s
87 943 p (\014le,) s
17 r (whic) s
-1 r 104 c
16 r (ma) s
121 c
15 r 98 c
2 r 101 c
16 r (used) s
17 r 98 c
-1 r 121 c
16 r (the) s
(cmti10.360) @sf
17 r (vgrind) s
(cmr10.360) @sf
5 r (\(1\)) s
16 r (or) s
(cmti10.360) @sf
17 r (tgrind) s
(cmr10.360) @sf
5 r (\(1\)) s
17 r (facilit) s
-1 r 121 c
-4 r 46 c
@eop
@end