|
DataMuseum.dkPresents historical artifacts from the history of: DKUUG/EUUG Conference tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about DKUUG/EUUG Conference tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T v
Length: 156844 (0x264ac)
Types: TextFile
Names: »volume4-07.ps«
└─⟦2d1937cfd⟧ Bits:30007241 EUUGD22: P.P 5.0
└─⟦cf5895357⟧ »EurOpenD22/isode/isode-ps.tar.Z«
└─⟦b4ddd0919⟧
└─⟦this⟧ »isode-6.0/doc/ps/volume4-07.ps«
%!
/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
39 @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
[<0001FFC00000000FFFFC0000003FFFFF800000FFFFFFE00001FFFFFFF80003FE00FFFC0007F0003FFE000FE0001FFF001F80
000FFF803F000007FFC03F000003FFE07F800003FFE07FE00003FFF07FF00001FFF0FFF80001FFF8FFF80001FFF8FFFC0001
FFF8FFFC0001FFFCFFFC0001FFFCFFFC0001FFFC7FF80001FFFC7FF80001FFFC3FF00001FFFC1FE00001FFFC07800001FFFC
00000001FFFC00000001FFF800000001FFF800000001FFF800000001FFF800000001FFF000000001FFF000000003FFE00380
0003FFE007C00003FFC007E00007FF8007F80007FF0007FE000FFE0007FFC03FFC0007FFFFFFF00007CFFFFFE00007C3FFFF
000007C07FF8000007C00000000007C00000000007C00000000007C00000000007C00000000007C00000000007C000000000
07C00000000007C00000000007C00000000007DFFC00000007FFFFC0000007FFFFF8000007FFFFFE000007FFFFFF000007FF
FFFFC00007FFFFFFE00007FFFFFFF00007FFFFFFF80007FFFFFFFC0007FFFFFFFE0007FFFFFFFF0007FFFFFFFF8007FF0003
FF8007F000001F80030000000380> 48 69 -6 1 59.384] 53 @dc
[<FFFFFFFFF800000000FFFFFFFFF800000000FFFFFFFFF800000000FFFFFFFFF800000000FFFFFFFFF800000000001FFFC000
00000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC0000000000000
1FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000
000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001F
FFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC0000000
0000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFC00000000000001FFFFFFFFFF00000001FFF
FFFFFFFE0000001FFFFFFFFFFFC000001FFFFFFFFFFFF000001FFF80000FFFF800001FFF800001FFFE00001FFF8000007FFF
00001FFF8000003FFF80001FFF8000001FFF80001FFF8000000FFFC0001FFF8000000FFFE0001FFF8000000FFFE0001FFF80
000007FFF0001FFF80000007FFF0001FFF80000007FFF0001FFF80000007FFF8001FFF80000007FFF8001FFF80000007FFF8
001FFF80000007FFF8001FFF80000007FFF8001FFF80000007FFF8001FFF80000007FFF8001FFF80000007FFF8001FFF8000
0007FFF0001FFF80000007FFF0001FFF80000007FFF0001FFF8000000FFFE0001FFF8000000FFFE0001FFF8000000FFFC000
1FFF8000001FFFC0001FFF8000003FFF80001FFF8000007FFF00001FFF800001FFFE00001FFF80000FFFFC00FFFFFFFFFFFF
FFF000FFFFFFFFFFFFFFC000FFFFFFFFFFFFFF0000FFFFFFFFFFFFFC0000FFFFFFFFFFFF800000> 72 71 -4 0 81.187] 80 @dc
[<01FE00000000000007FFC000000000001FFFF000000000003FFFF800000000007F43FE00000000007FE07F0000000000FFF0
3F8000000000FFF01F8000000000FFF00FC000000000FFF007E000000000FFF003E000000000FFF003F0000000007FE001F0
000000003FC001F8000000001F8000F800000000000000FC000000000000007C000000000000007E000000000000003E0000
00000000003F000000000000003F000000000000003F000000000000007F800000000000007F80000000000000FFC0000000
000000FFC0000000000001FFE0000000000001FFE0000000000003FFF0000000000003FFF0000000000007FFF80000000000
07FFF800000000000FFFFC00000000000FFFFC00000000000FFF7C00000000001FFF7E00000000001FFE3E00000000003FFE
3F00000000003FFC1F00000000007FFC1F80000000007FF80F8000000000FFF80FC000000000FFF007C000000001FFF007E0
00000001FFF003E000000003FFE003F000000003FFE003F000000003FFC001F000000007FFC001F800000007FF8000F80000
000FFF8000FC0000000FFF00007C0000001FFF00007E0000001FFE00003E0000003FFE00003F0000003FFC00001F0000007F
FC00001F8000007FFC00000F800000FFF800000FC00000FFF800000FC00000FFF000000FE0007FFFFFC000FFFF807FFFFFC0
00FFFF807FFFFFC000FFFF807FFFFFC000FFFF807FFFFFC000FFFF80> 64 66 -2 20 62.683] 121 @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
[<00000FFF0000000000FFFFF000000007FFFFFE0000001FFFFFFF8000007FFC03FFE00000FFE0007FF00001FFC0003FF80003
FF80001FFC0007FF00000FFE000FFE000007FF001FFE000007FF801FFC000003FF803FFC000003FFC03FFC000003FFC07FF8
000001FFE07FF8000001FFE07FF8000001FFE07FF8000001FFE0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF800
0001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF0FFF8000001FFF07FF80000
01FFE07FF8000001FFE07FF8000001FFE03FF8000001FFC03FF8000001FFC03FFC000003FFC01FFC000003FF800FFC000003
FF000FFE000007FF0007FE000007FE0003FF00000FFC0001FF80001FF80000FFE0007FF000003FFC03FFC000001FFFFFFF80
000007FFFFFE00000000FFFFF0000000000FFF000000> 56 46 -3 0 59.384] 111 @dc
[<FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE0FFFFFFC07FFFFFE001FFE00000FFF00001FF
E00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE000
00FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FF
F00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF000
01FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FFE00000FFF00001FF
F00000FFF00001FFF00000FFF00001FFF00000FFF00001FFF80000FFF00001FFFC0000FFF00001FFDC0000FFE00001FFDE00
00FFE00001FFCF0001FFE00003FFC7C001FFC000FFFFC3E003FFC000FFFFC1FC07FF8000FFFFC0FFFFFF0000FFFFC03FFFFE
0000FFFFC00FFFF80000007FC001FFC00000> 64 46 -4 0 65.982] 110 @dc
[<FFFFFF80FFFFFF80FFFFFF80FFFFFF80FFFFFF8001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FF
C00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC000
01FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FF
C00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC000
01FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FFC00001FF
C00001FFC00001FFC00003FFC000FFFFC000FFFFC000FFFFC000FFFFC000FFFFC000007FC000> 32 72 -4 0 32.991] 108 @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
[<00001FFE00000000FFFFE0000007FFFFF800001FFFFFFE00007FFE00FF0000FFF0001F8001FFE0000FC003FFC00007E007FF
800003F00FFF000001F00FFE000000F81FFE000000F81FFC000000F83FFC000000003FFC000000007FFC000000007FF80000
00007FF800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000FFF800000000
FFF800000000FFF800000000FFF8000000007FF8000000007FF8000000007FF8000000003FFC00003E003FFC0000FF801FFC
0001FFC01FFC0001FFC00FFE0003FFE00FFE0003FFE007FF0003FFE003FF8003FFE001FFC003FFE000FFE001FFC0007FFC00
FFC0001FFFFFFF800007FFFFFE000000FFFFF80000001FFFC000> 48 46 -4 0 52.786] 99 @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
[<FFC000FFC0001C00001C00000E00000E00000E00000E0000070000070000073C0007670003C38003C1C003C0E00380E001C0
7001C07801C07801C07800E03C00E03C00E03C00E03C18701C18701C18781C0C78180C7C3806663003C1E0> 24 31 -1 10 25.459] 112 @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
[<081F80000C60E0000C8070000F0038000E001C000E001E000E000E000E000F000E000F000E000F000E000F000E000F000E00
0F000E000F000E000E000E001E000E001C000F0038000E8030000E60E0000E1F80000E0000000E0000000E0000000E000000
0E0000000E0000000E0000000E0000000E0000000E0000001E000000FE000000FE0000000E000000> 32 35 -1 0 27.673] 98 @dc
[<3E0000630000B98000F88000F84000F8400000200000200000200000100000100000380000380000380000740000740000E2
0000E20000E20001C10001C1000380800380800380800700400700400E00200E00201E0070FFC1FEFFC1FE> 24 31 -1 10 26.290] 121 @dc
[<FF03FEFF03FE1E00E00601C00201C0010380018700008E00004E00003C0000380000700000780000E40001C2000383000381
000700800F01E0FF83FEFF83FE> 24 21 -1 0 26.290] 120 @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
[<FFFC0000FFFC0000078000000780000007800000078000000780000007800000078000000780000007800000078000000780
000007800000078000000780000007FFFC0007801F0007800780078003C0078003E0078001E0078001F0078001F0078001F0
078001F0078001F0078001E0078001E0078003C0078007C007801F00FFFFFE00FFFFF800> 32 34 -2 0 33.900] 80 @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
[<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
[<0F8030707038600CE006E002E000E000E000E000F000F000FFE0F038780C38063C061C060E06038400F8> 16 21 -6 0 22.913] 101 @dc
(cmr10.360) @sf
[<FFE0002000FFE00060001F00006000040000E000040001E000040001E000040003E000040003E000040007A00004000F2000
04000F200004001E200004003C200004003C200004007820000400F820000400F020000401E020000401E020000403C02000
04078020000407802000040F002000041E002000041E002000043C002000047C002000047800200004F000200004F0002000
05E000200007C000F800FFC007FF00FF8007FF00> 40 34 -2 0 37.359] 78 @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
[<003FE0000001FFFE000007FFFF80000FC07FC0001E001FE0003C000FF0007C0007F8007F0007FC00FF8003FE00FF8003FE00
FFC003FE00FFC003FF00FF8003FF007F8003FF003F0003FF001E0003FF00000003FF00000003FF00000003FE00000003FE00
000003FC000E0007FC000F0007F8000F800FF0000FF01FE0000FFFFFC0000F7FFF00000F0FF800000F000000000F00000000
0F000000000F000000000F000000000F000000000F000000000FFF0000000FFFF000000FFFFC00000FFFFE00000FFFFF8000
0FFFFFC0000FFFFFE0000FFFFFF0000FFFFFF8000FC003F8000C00003800> 40 46 -4 0 41.244] 53 @dc
[<1F003F807FC0FFE0FFE0FFE0FFE0FFE07FC03F801F00> 16 11 -6 0 22.913] 46 @dc
[<7FFFFFF07FFFFFF07FFFFFF0003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003F
E000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000
003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003FE000003F
E000E03FE000FFBFE000FFFFE0001FFFE000007FE000000FE0000003E0000001E000> 32 46 -6 0 41.244] 49 @dc
[<FFFFC001FFFFFEFFFFC001FFFFFEFFFFC001FFFFFE03F8000003FF0001F0000007FF0000F0000007FE0000F0000007FE0000
7800000FFC00007800000FFC00007C00001FFC00003C00001FF800003C00003FF800001E00003FF000001E00003FF000001F
FFFFFFF000000FFFFFFFE000000FFFFFFFE00000078000FFC00000078000FFC0000007C001FFC0000003C001FF80000003E0
03FF80000001E003FF00000001E003FF00000001F007FF00000000F007FE00000000F80FFE00000000780FFC00000000780F
FC000000007C1FFC000000003C1FF8000000003E3FF8000000001E3FF0000000001E3FF0000000001F7FF0000000000F7FE0
000000000FFFE00000000007FFC00000000007FFC00000000007FFC00000000003FF800000000003FF800000000001FF0000
00000001FF000000000000FE000000000000FE000000000000FE0000000000007C0000000000007C000000> 56 49 -3 0 62.364] 65 @dc
[<07001FE0000007807FFE000007C1FFFF000007E3E07FC00007F7001FE00007FE0007F00007FC0007F80007F80003FC0007F8
0003FC0007F80001FE0007F80001FE0007F80001FE0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001
FF0007F80001FF0007F80001FF0007F80001FF0007F80001FE0007F80001FE0007F80001FE0007F80003FC0007F80003FC00
07F80003F80007FE0007F00007FF000FE00007FFE03FC00007F9FFFF800007F87FFE000007F80FF0000007F80000000007F8
0000000007F80000000007F80000000007F80000000007F80000000007F80000000007F80000000007F80000000007F80000
000007F80000000007F80000000007F8000000000FF800000000FFF800000000FFF800000000FFF80000000001F800000000> 48 50 -2 0 45.827] 98 @dc
[<C07FC000F3FFF800FFFFFC00FF803E00FE000F00F8000F80F8000780F00007C0E00007C0E00007C060000FC000001FC00000
FFC0001FFF8001FFFF8007FFFF000FFFFE003FFFFC003FFFF0007FFFC000FFF80000FF000000FC000700F8000700F8000700
F800070078000F003C001F003F007F001FFFFF0007FFEF0000FF8700> 32 32 -3 0 32.537] 115 @dc
[<000FE000007FF00000FFF80001FE1C0003FC0E0003F80E0007F8070007F8070007F8070007F8070007F8070007F8070007F8
070007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F80000
07F8000007F8000007F8000007F80000FFFFFE00FFFFFE00FFFFFE001FF8000007F8000003F8000001F8000000F8000000F8
00000078000000780000007800000038000000380000003800000038000000380000> 32 46 -2 0 32.079] 116 @dc
[<FFFFE000FFFFE000FFFFE00007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8
000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007FC008007FC03E007FC07F007FE0FF8
07F60FF807F70FF80FF38FF8FFF3C7F0FFF1FFE0FFF07FC003F03F00> 32 32 -2 0 33.972] 114 @dc
[<00FF800FF807FFF03FF80FFFF87FF83FF03CFF007FC00EFE007F8003FE00FF0003FE00FF0001FE00FF0001FE00FF0001FE00
FF0001FE007F8001FE003F8001FE001FC001FE000FF001FE0007FE01FE0001FFF1FE00003FFFFE000001FFFE00000001FE00
000001FE00010001FE0007C001FE000FE001FE001FF001FE001FF003FC001FF003F8001FF007F0000FE01FE00007FFFFC000
03FFFF0000007FF80000> 40 32 -2 0 40.098] 97 @dc
[<0007FC00007FFF8000FFFFE003FF01F007F800780FF0001C1FE0001C3FE0000E3FC0000E7FC000007FC000007F800000FF80
0000FF800000FF800000FF800000FF800000FF800000FF800000FF8000007F8000007F8000407FC001F03FC003F83FC007FC
1FE007FC0FE007FC07F007FC03FC03F800FFFFF0007FFFE00007FF00> 32 32 -3 0 36.661] 99 @dc
[<C007FF0000E03FFFE000F1FFFFF800FFFC01FC00FFC0007E00FF00003F00FC00001F80F800001F80F000000FC0F000000FC0
E000000FC0E000000FE0E000000FE0E000000FE06000001FE00000001FE00000003FE00000003FE0000000FFE0000007FFC0
0000FFFFC0001FFFFF80007FFFFF8001FFFFFF0003FFFFFE000FFFFFFC001FFFFFF8001FFFFFF0003FFFFFC0007FFFFE0000
7FFFE000007FFC000000FFE0000000FF80000000FF00000380FF00000380FE00000380FE00000780FE000007807E00000780
7E00000F803E00000F803F00001F801F00007F800F8001FF8007F00FFF8003FFFFC78000FFFF0380001FF00180> 40 49 -5 0 45.827] 83 @dc
[<0FC00000003FF80000007FFC0000007A3E000000FF0F000000FF07800000FF03800000FF01C000007E01E000003C00E00000
0000F00000000070000000007000000000380000000038000000007C000000007C00000000FE00000000FE00000001FF0000
0001FF00000003FF80000003FF80000007FFC0000007F9C000000FF9E000000FF0E000000FF0E000001FE07000001FE07000
003FE03800003FC03800007FC03C00007F801C0000FF801E0000FF000E0001FF000F0001FE00070003FE00078003FC000380
07FC0003C007F80001C007F80003E0FFFF801FFEFFFF801FFEFFFF801FFE> 40 46 -2 14 43.535] 121 @dc
[<FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF8007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8
000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000F
F00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007FC000FF00007FC000FF00007FE000FF000
07F6000FF00007F3000FE0000FF1C01FE000FFF0F03FC000FFF07FFF8000FFF03FFF000003F007F80000> 48 32 -3 0 45.827] 110 @dc
[<FFF801FFFEFFF801FFFEFFF801FFFE07E0003FC001E0007FC001E000FF8000F001FF00007801FE00003C03FC00001E07F800
000F0FF00000079FF0000003FFE0000001FFC0000001FF80000000FF00000001FE00000003FE00000007FE00000007FF0000
000FF78000001FE3C000003FC1E000007FC1E00000FF80F00000FF00780001FE003C0003FC001E0007F8001F80FFFF00FFFC
FFFF00FFFCFFFF00FFFC> 40 32 -2 0 43.535] 120 @dc
[<FFFFE000E000FFFFFF80FFFFE001F000FFFFFF80FFFFE001F000FFFFFF8001F00003F80000FF800000E00003F80000FF8000
00E00007FC0000FF800000E00007FC0000FF800000E00007FC0000FF800000E0000FFE0000FF800000E0000FFE0000FF8000
00E0001FE70000FF800000E0001FE70000FF800000E0003FC38000FF800000E0003FC38000FF800000E0007F81C000FF8000
00E0007F81C000FF800000E000FF00E000FF800000E000FF00E000FF800000E000FF00E000FF800000E001FE007000FF8000
00E001FE007000FF800000E003FC003800FF800000E003FC003800FF800000E007F8001C00FF800000E007F8001C00FF8000
00E00FF0000E00FF800000E00FF0000E00FF800000E01FE0000700FF800000E01FE0000700FF800000E03FC0000380FF8000
00E03FC0000380FF800000E03FC0000380FF800000E07F800001C0FF800000E07F800001C0FF800000E0FF000000E0FF8000
00E0FF000000E0FF800000E1FE00000070FF800000E1FE00000070FF800000E3FC00000038FF800000E3FC00000038FF8000
00E7F80000001CFF800000E7F80000001CFF800000EFF00000000EFF800000EFF00000000EFF800000EFF00000000EFF8000
00FFE000000007FF8000FFFFE000000007FFFF80FFFFC000000003FFFF80FFFF8000000001FFFF80> 80 49 -2 0 78.304] 77 @dc
[<0007FE0000003FFFC00001FFFFF80003FE07FC0007F801FE000FE0007F001FE0007F803FC0003FC03FC0003FC07F80001FE0
7F80001FE07F80001FE0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0
7F80001FE07F80001FE07F80001FE03FC0003FC03FC0003FC01FC0003F800FE0007F0007F000FE0003FC03FC0000FFFFF000
003FFFC0000007FE0000> 40 32 -2 0 41.244] 111 @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
[<0003FF0000003FFFE00000FFFFF80003FE00FC0007F8001E000FF0000F001FE00007801FC00003803FC00003803FC0000000
7F800000007F80000000FF80000000FF80000000FF80000000FFFFFFFF80FFFFFFFF80FFFFFFFF80FF80003F80FF80003F80
7F80003F807F80003F007FC0003F003FC0003F003FC0007E001FE0007E000FE000FC0007F801F80003FC07F00000FFFFE000
003FFF80000007FC0000> 40 32 -2 0 37.807] 101 @dc
(cmti10.360) @sf
[<1F000031C00060E000607000E03800E03800E03C00E01E00E01E00E01E00700F00700F00700F00700F00380F003807003C07
003C06001E0E001D8C001CF8001C00000E00000E00000E00000E00000700000700000700000700000380000380003F80003F
800003C000> 24 35 -5 0 22.913] 98 @dc
[<0F0018C018603860383038301C181C101C001C000E000E000E000E0007000700070007000380FFF8FFF8038001C001C001C0
01C000E000E000E000E00060> 16 31 -4 0 16.549] 116 @dc
[<0C00001C00000E00000E00000E00000E000007000007000007000007000003800003800003800003800061C00061C0C061E1
E031E1E031F0E01998C00F0F80> 24 21 -3 0 21.004] 114 @dc
[<0C00F0001C018C000E0184000E0386000E0383000E01C3000701C1800701C1000700E0000700E00003807000038070000380
70000380700061C0380061C0380061E0380031F0380031D83000198C70000F03C000> 32 21 -3 0 28.005] 110 @dc
[<3C3E00466300E3C080F1C0C0F1C06061C06000E03000E02000E00000E0000070000070000070000070006038006038602038
F0303CF0183C700C663003C1C0> 24 21 -3 0 23.107] 120 @dc
[<0C00C007801C01C00C600E00E00C200E00E01C300E00E01C180E00E00E180700700E0C0700700E0807007007000700700700
03803803800380380380038038038003C03C038061C01C01C061E01E01C061E01E01C031F01F01C031D8198180198C30C300
0F03E03E00> 40 21 -3 0 40.735] 109 @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
[<FEFEC0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0FEFE> 8 49 -5 12 13.837] 91 @dc
[<FFFCFFFC07800780078007800780078007800780078007800780078007800780078007800780078007800780078007800780
0780078007800780078007800780FFFCFFFC> 16 34 -2 0 17.988] 73 @dc
[<01F8000FFE001E07803800C0700040600060C00030C00030C00030C00030C000706000706001E03003E0100FC00C1F80067F
0001FE0003F80007FC001FC6001F81003E00807800C07000606000606000606000602000603000C01801C00E078007FE0001
F800> 24 34 -2 1 24.906] 56 @dc
[<01C00003E00003E00003E00003E00003E00003E00003E00001E00001E00001E00001E00000E00000E00000E0000070000070
00003000003000001000001800000800000400000400000200800100800100800080C000404000207FFFE07FFFF07FFFF060
0000400000> 24 35 -3 1 24.906] 55 @dc
[<FEFE060606060606060606060606060606060606060606060606060606060606060606060606060606060606060606FEFE> 8 49 -1 12 13.837] 93 @dc
[<FFFFFC00FFFFFF0007800FC0078007E0078003F0078001F0078000F8078000F8078000F8078000F8078000F8078000F80780
00F0078001F0078001E0078003C00780078007FFFE0007803E0007800F80078007C0078003E0078001E0078001F0078001F0
078001F0078001F0078001F0078001E0078003E0078007C007800F80FFFFFE00FFFFF800> 32 34 -2 0 35.284] 66 @dc
[<03F0000FFE001C0F003003806003C04001C0C001E0F800E0F800F0F800F0F800F07000F00000F00000F00000F00000E00000
E01001C018018014038013060010FC0010000010000010000010000010000010000013F0001FFC001FFF001FFF801E038018
0040> 24 34 -2 1 24.906] 53 @dc
[<03F8000FFE001C0F002007804003C0F803E0FC01E0FC01F0FC01F07801F03001F00001F00001F00001E00003E00003C00007
80000E0003F800001C00000E000007800003800003C01803E03C03E07C01E07C01E07C03E03803C03003C01C0F800FFE0001
F800> 24 34 -2 1 24.906] 51 @dc
[<FFFFE0FFFFE07FFFE020002010003008001004001002001001000000800000E000007000003800001C00000E000007000007
800003C00003E00001E00001E03001F07800F0FC00F0FC00F0FC01F0F801E04001E04003C02007C0181F800FFE0003F800> 24 33 -2 0 24.906] 50 @dc
[<01F80003FE000F07001C03801C01C03801E03800E07800E07000F07000F0F000F0F000F0F000F0F000F0F000F0F000E0F800
E0F801C0F40180F40300F30600F0F8007000007000007800003800003801C01C03E01C03E00E01E00700E003C0C000FF8000
3E00> 24 34 -2 1 24.906] 54 @dc
[<01F800070E000E07001C03803801C03801C07801E07000E07000E07000E0F000F0F000F0F000F0F000F0F000F0F000F0F000
F0F000F0F000F0F000F0F000F0F000F0F000F0F000F07000E07000E07000E07801E03801C03801C01C03800E0700070E0001
F800> 24 34 -2 1 24.906] 48 @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
[<00FFF800FFF8000700000700000700000700000700000700000700FFFFFCFFFFFCC007004007002007003007001007000807
000C070004070002070003070001070000870000C700004700002700003700001700000F00000F00000700000300000300> 24 33 -1 0 24.906] 52 @dc
[<FFFC3FFF00FFFC3FFF00078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000
078001E000078001E000078001E000078001E000078001E000078001E000078001E00007FFFFE00007FFFFE000078001E000
078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000
078001E000078001E000FFFC3FFF00FFFC3FFF00> 40 34 -2 0 37.359] 72 @dc
[<07E0001FF800303C00300E007807007C03807C03803801C00001C00001E00000E00000E001F0F0060CF00C02F01802F03801
F07001F07000F0F000F0F000F0F000F0F000F0F000F0F000E0F000E07001E07001C07801C03803801C03800E0F0007FE0001
F800> 24 34 -2 1 24.906] 57 @dc
39 @bop1
(cmbx10.746) @sf
245 639 p (Chapter) s
39 r 53 c
245 847 p 80 c
-2 r (ep) s
-4 r 121 c
39 r (Optional) s
245 971 p (Structure-Generator) s
(cmr10.360) @sf
245 1198 p (The) s
(cmti10.360) @sf
17 r 112 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 (abstract) s
16 r (syn) s
(taxes.) 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 112 c
-2 r (osy) s
(cmr10.360) @sf
15 r (stands) s
16 r (for) s
16 r 80 c
1311 1264 p 34 2 ru
1345 1258 p (ep) s
-1 r 121 c
15 r 79 c
1435 1264 p 39 2 ru
1474 1258 p (ptional) s
16 r 83 c
1642 1264 p 28 2 ru
1670 1258 p (tructure-) s
245 1318 p (generator) s
14 r 40 c
89 c
484 1325 p 37 2 ru
521 1318 p 65 c
(CC-based\).) s
20 r (The) s
(cmti10.360) @sf
15 r 112 c
-2 r (epy) s
(cmr10.360) @sf
4 r (\(1\)) s
14 r (program) s
15 r (is) s
14 r (an) s
15 r (ASN.1) s
14 r (compiler,) s
15 r (and) s
245 1378 p (the) s
(cmti10.360) @sf
17 r (yac) s
-2 r 99 c
(cmr10.360) @sf
2 r (\(1\)) s
16 r (program,) s
17 r (of) s
17 r (course,) s
16 r (is) s
17 r 97 c
16 r (compiler-compiler.) s
(cmbx10.518) @sf
245 1545 p (5.1) s
82 r (Abstract) s
28 r (Syn) s
-1 r (tax) s
26 r (Mo) s
2 r (dule) s
(cmr10.360) @sf
245 1654 p (The) s
(cmti10.360) @sf
22 r 112 c
-1 r (osy) s
(cmr10.360) @sf
21 r (program) s
22 r (reads) s
22 r 97 c
22 r (description) s
22 r (of) s
23 r (an) s
(cmti10.360) @sf
22 r (abstr) s
-2 r (act) s
22 r (syntax) s
23 r (mo) s
-1 r (dule) s
(cmr10.360) @sf
25 r (and) s
245 1714 p (pro) s
1 r (duces) s
13 r (the) s
13 r (corresp) s
1 r (onding) s
(cmti10.360) @sf
13 r 67 c
(cmr10.360) @sf
20 r (structures) s
12 r (along) s
13 r (with) s
13 r (an) s
12 r (augmen) s
(ted) s
12 r (abstract) s
245 1774 p (syn) s
(tax) s
15 r (mo) s
2 r (dule.) s
320 1835 p (The) s
15 r (syn) s
(tax) s
15 r (of) s
16 r (the) s
16 r (input) s
15 r (\014le) s
16 r (corresp) s
2 r (onds) s
16 r (almost) s
15 r (exactly) s
16 r (to) s
16 r (the) s
16 r (notation) s
245 1895 p (describ) s
1 r (ed) s
20 r (in) s
20 r 91 c
(ISO87) s
44 c
(CCITT88c) s
(].) s
33 r (\(But) s
20 r (see) s
20 r (Section) s
20 r (5.3) s
20 r (on) s
20 r (page) s
20 r (52) s
20 r (for) s
20 r (the) s
245 1955 p (details.\)) s
31 r (As) s
20 r (the) s
20 r (ASN.1) s
20 r (language) s
20 r (is) s
19 r (ric) s
104 c
19 r (in) s
19 r (its) s
20 r (notation,) s
21 r (the) s
19 r (rules) s
20 r (are) s
20 r (not) s
245 2015 p (presen) s
(ted) s
15 r (herein,) s
17 r (though) s
16 r (Section) s
17 r (6.2.1) s
16 r (on) s
17 r (page) s
17 r (60) s
16 r (of) s
(cmti10.360) @sf
17 r 86 c
-3 r (olume) s
17 r (One) s
(cmr10.360) @sf
16 r (presen) s
(ts) s
245 2075 p (an) s
17 r (incomplete) s
16 r (treatmen) s
116 c
15 r (of) s
17 r (the) s
17 r (less) s
16 r (substan) s
(tiv) s
-2 r 101 c
16 r (asp) s
1 r (ects) s
17 r (of) s
17 r (the) s
16 r (language.) s
320 2136 p (An) s
24 r (example) s
25 r (of) s
25 r 97 c
24 r (complete) s
25 r (abstract) s
25 r (syn) s
(tax) s
23 r (mo) s
2 r (dule) s
24 r (can) s
25 r 98 c
1 r 101 c
25 r (found) s
25 r (in) s
245 2196 p (Figure) s
19 r (5.1) s
18 r (starting) s
19 r (on) s
18 r (page) s
19 r (42.) s
28 r (This) s
19 r (corresp) s
1 r (onds) s
19 r (to) s
19 r (the) s
18 r (output) s
19 r (pro) s
1 r (duced) s
245 2256 p 98 c
121 c
(cmti10.360) @sf
12 r 114 c
-2 r (osy) s
(cmr10.360) @sf
4 r (\(1\)) s
13 r (when) s
13 r (giv) s
(en) s
12 r (the) s
13 r (remote) s
13 r (op) s
2 r (erations) s
13 r (mo) s
1 r (dule) s
14 r (in) s
13 r (Figure) s
13 r (4.1) s
13 r (as) s
13 r (input.) s
320 2316 p 70 c
-4 r (or) s
14 r (our) s
14 r (purp) s
2 r (oses,) s
14 r (the) s
15 r (input) s
14 r (\014le) s
14 r (is) s
15 r (relativ) s
-1 r (ely) s
14 r (unimp) s
1 r (ortan) s
116 c
13 r (as) s
14 r (it) s
15 r (is) s
14 r (usually) s
245 2376 p (generated) s
17 r 98 c
-1 r 121 c
16 r (the) s
(cmti10.360) @sf
16 r 114 c
-1 r (osy) s
(cmr10.360) @sf
15 r (program.) s
23 r (Hence,) s
16 r (the) s
17 r (output) s
16 r (from) s
(cmti10.360) @sf
17 r 112 c
-2 r (osy) s
(cmr10.360) @sf
16 r (is) s
17 r (where) s
16 r (this) s
245 2436 p 99 c
(hapter) s
15 r (fo) s
2 r (cuses.) s
1029 2617 p (39) s
@eop
40 @bop0
[ 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
[<07E0000FFC00381E002007004003804001C08001E0F800E0F800F0FC00F07C00783800780000780000780000780000780000
700400700600600500E002C1C0023F00020000020000020000020000010000010000017F0001FFC001FFF001FFF800E03C00
8004> 24 34 -3 1 24.906] 53 @dc
[<7078F87830> 8 5 -4 0 13.837] 46 @dc
[<07FFE0000007FFE00000003E000000001C000000001E000000001E000000001E000000001E000000001E000000000E000000
000F000000000F000000000F000000000F000000000F800000001FC00000001F400000001E200000003E100000003C180000
007C0800000078040000007802000000F801000000F001000001F000800001E000400003E000200003C000200003C0001000
07C000180007C0001E00FFF8007FE0FFF8007FE0> 40 34 -6 0 37.359] 89 @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
[<FFFFFF80FFFFFF8007C00FC003C003C003C001C003C000C003C0006003C0006003C0002001E0002001E0003001E0001001E0
001001E0000001E0000000F0000000F0000000F0000000F0000000F0000000F0000000780000007800000078000000780000
0078000000780000003C0000003C0000003C0000003C0000003E000007FFF80007FFF800> 32 34 -2 0 31.133] 76 @dc
[<80FE0000C7FF8000EF03C000F800E00070007000600038006000180060001C0040001C0040001C0020001E0000001E000000
1E0000001E0000003C0000007C000007FC00007FF80001FFF00003FFC00007FE000007E000000F8000000F0000000F000000
0E0001000E0001000E0001000700018007000180030003800180038001C00F8000F03980003FF0C0000FC040> 32 36 -3 1 27.673] 83 @dc
[<007E00000003FF8000000781C000000E006000001E001000001C000800003C000C00003C000400003C000200003C00020000
3C000200003C000100003C000100003C000100003C000100003C000100001E000080001E000080001E000080001E00008000
1E000080001E000080000F000040000F000040000F000040000F000040000F000040000F0000400007800020000780002000
0780002000078000200007C0007800FFFE07FF80FFFE07FF80> 40 35 -7 1 37.359] 85 @dc
[<FFF0FFF0> 16 2 -3 -10 16.604] 45 @dc
[<003F80000001FFF0400003F038C000078004C0000F0003E0001E0003E0003C0001E0007C0001E000780001E000F80001E000
F80000F000F80000F000F00000F000F0003FFF00F0003FFF00F800000000F800000000F800000000F800000000F800000000
F8000000007C000000007C000004003C000004003E000004001E000004001F00000C000F00000C000780000E0003C0001E00
01E0001E0000F0003E00007C006E00001F81C6000007FF83000000FE0100> 40 36 -6 1 39.089] 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
[<0F0700308C80705C40703C40F01C40F01C40F00E20F00E00F00E00F00E007807007807007807003807003C03801C03800E03
800707800389C000F180> 24 20 -4 0 23.232] 97 @dc
[<07C3800C26401C1E20180E20180E201C0E201C07101C07001C07001C07000E03800E03800E03808703804701C04301C04381
C02301C03300E00E00C0> 24 20 -4 0 24.393] 117 @dc
[<1E003100708070807040704038203800380038001C001C001C001C000E000E000E000E000700FFF007000700038003800380
038001C00180> 16 28 -4 0 15.101] 116 @dc
[<07C000187000301800700E00700F00F00700F00780F003C0F003C0F003C07801E07801E07801E03C01E01C01E01E01C00E01
C003018001C300007C00> 24 20 -4 0 23.232] 111 @dc
[<300300380070070066003803806200380380E100380380610038038071001C01C070801C01C038001C01C038001C01C03800
0E00E01C000E00E01C000E00E01C008E00E01C004700700E004700700E004780680E004740640C002630C318001C0F80F000> 40 20 -4 0 37.171] 109 @dc
[<1C003300310070803080388038401C001C001C000E000E000E008700470043004380230033000E0000000000000000000000
0000000001C001E001E000C0> 16 31 -4 0 13.939] 105 @dc
[<07C000183800300400700200700100F00000F00000F00000F00000F000007800007800007800003C02001C07001E07800E07
8003008001C100007E00> 24 20 -4 0 20.908] 99 @dc
[<38006400E200E200E200E200710070007000700038003800380038001C001C001C001C000E000E000E000E00070007000700
070003800380038003801FC003C0> 16 32 -4 0 11.616] 108 @dc
[<3E0000438000C0C000E06000F07000F03800003800001C00001C0007DC000C3C001C1E00180E00180E001C0E001C07001C07
001C07001C07000E03800E03800E03808703804701C04301C04381C02301C03300E00E00C0> 24 29 -4 9 22.070] 121 @dc
[<3F800060E000F07000783800301C00001C00001C00000E00000E0003CE000C2E001C17001C0F003C07003C07003C03803C03
803C03803C03801E01C01E01C01E01C00E01C00F00E00700E00380E001C1E000E270003C60> 24 29 -2 9 20.908] 103 @dc
[<07C000183800380400700200700100700000F00000F00000F00000F000007C00007BF000780C003802003C01001C01000E01
0007010001C200007C00> 24 20 -4 0 20.908] 101 @dc
[<3001C07003303803103807083803083803881C03841C01C01C01C01C01C00E00E00E00E00E00E08E00E04700704700704780
604740602630C01C0F80> 24 20 -4 0 25.555] 110 @dc
[<3000007000003800003800003800003800001C00001C00001C00001C00000E00000E00000E00008E00004703004707804787
804783802661001C1E00> 24 20 -4 0 19.166] 114 @dc
[<0F0700308C80705C40703C40F01C40F01C40F00E20F00E00F00E00F00E007807007807007807003807003C03801C03800E03
800707800389C000F1C00001C00001C00000E00000E00000E00000E00000700000700000700000700003F8000078> 24 32 -4 0 23.232] 100 @dc
[<1F000031C00060E000607000E03800E03C00E01C00E01E00E01E00E01E00700F00700F00700F00700F00380F00380F003C0E
003A0E001D0C001CF0001C00001C00000E00000E00000E00000E00000700000700000700000700003F8000078000> 24 32 -5 0 20.908] 98 @dc
[<1F8000206000401000E00800F00C00F00C00700E00000E00003E0003FC0007F8000FF0000F80000C00000C06000C07000C03
0006010003020000FC00> 24 20 -3 0 18.585] 115 @dc
[<1F800020E000403800401C00401E00800F00F00F00780780780780300780000780000780000780000700000600001C0000FE
000003000001C00000E00380600460700420700410380420380420380200380100300080700060E0001F80> 24 31 -4 1 23.232] 51 @dc
[<E0F0F8F870> 8 5 -5 0 13.939] 46 @dc
[<FFF80780038003800380038001C001C001C001C000E000E000E000E000700070007000700038003800380038001C031C00DC
003C000E000600020002> 16 30 -5 0 23.232] 49 @dc
[<6030000000603000000030180000003018000000180C000000180C0000000C060000000C060000000C060000000603000000
0603000000030180000003018000000180C000007FFFFFF800FFFFFFFC000060300000006030000000301800000030180000
003018000000180C000000180C0000000C0600003FFFFFFF001FFFFFFE0000030180000003018000000180C000000180C000
0000C060000000C060000000C0600000006030000000603000000030180000003018000000180C000000180C0000000C0600
0000080400> 40 41 -5 9 37.171] 35 @dc
[<1F000061C000406000803000803800801C00E01E00F00E00F00F00700F00000F000007800007800007800007800807000C07
00060600058C0004780004000002000002000002000002000001000001000001FE0001FF8000FFC000C060> 24 31 -5 1 23.232] 53 @dc
[<080000100000100000200000600000600000400000C00000C00000C00000C00000C00000C00000C00000C00000C00000C000
00C00000C00000C00000E00000E000006000006000007000007000003000003800003800001800001C00000C00000E000006
000007000003000001800001800000C000006000002000001000000800000400000200000100> 24 46 -7 12 18.585] 40 @dc
[<601E00E0310070310070708070708070708038384038700038700038E0001FC0001E00001D00001C80000E40C00E21E00E11
E00E08E00704200703C007000007000003800003800003800003800001C00001C00001C00001C0000FE00001E000> 24 32 -3 0 20.908] 107 @dc
[<8000006000003000001800000C000006000003000001000001800000C00000E000006000007000003000003800001800001C
00000C00000C00000E0000060000060000070000070000030000030000030000038000038000038000018000018000018000
0180000180000180000180000100000300000300000300000200000600000400000800001000> 24 46 0 12 18.585] 41 @dc
[<8040202010080804043C3C3C3C1C> 8 14 -3 9 13.939] 44 @dc
[<E000F000F800F8007000000000000000000000000800080008000C000C000C000600060006000700070007000780038003C0
03C003C003E003E003E001F001F000E0> 16 33 -5 0 13.939] 33 @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
(cmr10.329) @sf
[<FFE7FC0E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00F01C00F01
C00E8180FE43000E3E00> 24 20 -1 0 25.252] 110 @dc
[<FFC00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E007E000E0000000000000000000000
00001C001E003E001E001C00> 16 31 0 0 12.626] 105 @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
[<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
[<000000F000000001F800000003FC00000007FE00000007FE00000007FF0000000FFF0000000F070000000E0300001FFE0300
00FFFF000001F81F800007F81FE0000FD833F0001F8FE1F8003F87C1FC003F0000FC007F0000FE007E00007E007E00007E00
FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F00FE00007F007E00007E00
7F0000FE007F0000FE003F0000FC001F8001F8001F8001F8000FC003F00007E007E00001F81F800000FFFF0000001FF80000> 40 40 -3 9 39.266] 81 @dc
[<0003FC0000001FFF8000007E03C00000F800600001F000300001F000180003E000180007E0000C0007E0000C0007E0000C00
07E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C00
07E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C0007E0000C00FFFF01FFE0
FFFF01FFE0> 40 31 -2 0 40.213] 85 @dc
[<0007FC00003FFF8000FE01C003F0007007E000380FC000181F80000C3F00000C3F0000067F0000067E0000067E000000FE00
0000FE000000FE000000FE000000FE000000FE000000FE0000007E0000067E0000067F0000063F00000E3F00000E1F80001E
0FC0001E07E0003E03F000FE00FE03DE003FFF0E0007FC02> 32 31 -3 0 37.751] 67 @dc
(cmsy10.329) @sf
[<000F0000380000600000E00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C00001C0000380000700001E0000F800001E000007000003800001C00001C00001C00001C00001C00001C00001C00001
C00001C00001C00001C00001C00001C00001C00001C00000E000006000003800000F00> 24 45 -3 11 22.727] 102 @dc
(cmr10.329) @sf
[<FFE0000E00000E00000E00000E00000E00000E00000E00000E00000E3E000EC3000F01C00F01E00E00E00E00F00E00700E00
780E00780E00780E00780E00780E00780E00700E00F00E00E00F00E00F01C0FEC3800E3E00> 24 29 -1 9 25.252] 112 @dc
[<FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000F0C0F1E0F1EFE8C0E78> 16 20 -1 0 17.803] 114 @dc
[<01F800070E001C03803801C03801C07000E07000E0F000F0F000F0F000F0F000F0F000F0F000F07000E07000E03801C03801
C01C0380070E0001F800> 24 20 -1 0 22.727] 111 @dc
[<8F80D060E030C018C01880188018803800700FF03FE07F807800E000C010C010C010403030701F90> 16 20 -2 0 17.929] 115 @dc
[<03E3F80E1B801C0780380780380380700380700380F00380F00380F00380F00380F00380F003807003807003803803803803
801C0780061B8003E380000380000380000380000380000380000380000380000380000380000380003F80000380> 24 32 -2 0 25.252] 100 @dc
[<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
(cmbx10.329) @sf
[<FFF00C03FFF8FFF01E03FFF806001E001F0006003F001F0006003F001F0006003F001F0006007D801F0006007D801F000600
F8C01F000600F8C01F000601F0601F000601F0601F000603E0301F000603E0301F000607C0181F000607C0181F000607C018
1F00060F800C1F00060F800C1F00061F00061F00061F00061F00063E00031F00063E00031F00067C00019F00067C00019F00
06F80000DF0006F80000DF0006F80000DF0007F000007F00FFF000007FF8FFE000003FF8> 48 31 -2 0 49.620] 77 @dc
[<FFFF0000FFFF000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0
000007E0000007FFFE0007FFFF8007E00FE007E003F007E001F807E001F807E001FC07E001FC07E001FC07E001FC07E001FC
07E001F807E001F807E003F007E00FE0FFFFFF80FFFFFE00> 32 31 -2 0 35.731] 80 @dc
[<FFFFFF80FFFFFF8007E01F8007E00F8007E0038007E0038007E001C007E001C007E001C007E000C007E000C007E000C007E0
000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E00000
07E0000007E0000007E0000007E00000FFFF8000FFFF8000> 32 31 -2 0 31.438] 76 @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
(cmbx10.329) @sf
[<FFE00FFFE0FFE00FFFE00E0000FE00060000FC00060001FC00030001F800030001F800018003F000018003F00001FFFFF000
00FFFFE00000C007E00000600FC00000600FC00000701FC00000301F800000303F800000183F000000183F0000000C7E0000
000C7E0000000EFE00000006FC00000006FC00000003F800000003F800000001F000000001F000000001F000000000E00000
0000E00000> 40 31 -2 0 39.519] 65 @dc
(cmr10.329) @sf
[<00200000700000700000700000E80000E80001EC0001C40001C4000382000382000382000701000701000E00800E00800E00
801C00C01E01E0FF83F8> 24 20 -1 0 23.989] 118 @dc
[<FFFE07C003800380038003800380038003800380038003800380038003800380038003800380038003800380038003800380
0380F3800F8003800180> 16 30 -4 0 22.727] 49 @dc
(cmsy10.329) @sf
[<F800001E000007000003800001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C00001C00000E000006000003800000F0000380000600000E00001C00001C00001C00001C00001C00001C00001C00001
C00001C00001C00001C00001C00001C00001C00001C0000380000700001E0000F80000> 24 45 -3 11 22.727] 103 @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
[<03FC001C03803000C0600060C00030C00030C00030C000306000703001E00FFFC01FFF803FFE003000003000002000002000
0033E0001E38001C1C00380E00780F00780F00780F00780F00780F00380E001C1C300E3C3003E3300000E0> 24 31 -1 10 22.727] 103 @dc
(cmr7.300) @sf
[<FFE07FE020201010081004000200018001C000C00060007000706030F030F070606060C01F00> 16 19 -2 0 16.546] 50 @dc
(cmr10.329) @sf
[<01F1FC030DC00603C00E03C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01
C00E01C0FE1FC00E01C0> 24 20 -1 0 25.252] 117 @dc
(cmbx10.329) @sf
[<FFFF007F80FFFF01FFC007E003F86007E007F03007E00FE03007E00FE00007E00FE00007E00FE00007E00FC00007E00FC000
07E00FC00007E00F800007E00F800007E01F000007E03E000007FFFC000007FFFF000007E01FC00007E007E00007E003F000
07E003F00007E003F80007E003F80007E003F80007E003F80007E003F00007E003F00007E007E00007E01FC000FFFFFF0000
FFFFF80000> 40 31 -2 0 39.203] 82 @dc
(cmr10.329) @sf
[<0020004000800100020006000C000C00180018003000300030007000600060006000E000E000E000E000E000E000E000E000
E000E000E000E0006000600060007000300030003000180018000C000C00060002000100008000400020> 16 46 -3 12 17.676] 40 @dc
[<800040002000100008000C00060006000300030001800180018001C000C000C000C000E000E000E000E000E000E000E000E0
00E000E000E000E000C000C000C001C001800180018003000300060006000C0008001000200040008000> 16 46 -3 12 17.676] 41 @dc
(cmr7.300) @sf
[<1FC06070E038F018F01C601C001C0018003800700FC000E00030003870387038703830700FC0> 16 19 -1 0 16.546] 51 @dc
(cmr10.329) @sf
[<FFE7FE7FE00E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000E00E00E00
0E00E00E000E00E00E000E00E00E000E00E00E000E00E00E000F00F00E000F00F00E000E81C81C00FE618618000E1F01F000> 40 20 -1 0 37.878] 109 @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
[<FFFE00000FC00000078000000780000007800000078000000780000007800000078000000780000007808000078080000780
8000078080000781800007FF8000078180000780800007808000078080000780800007800080078000800780008007800080
078001800780010007800300078003000F800F00FFFFFF00> 32 31 -2 0 29.671] 70 @dc
[<40201010080804040474FCFCF870> 8 14 -4 9 12.626] 44 @dc
40 @bop1
(cmr10.360) @sf
87 162 p (40) s
(cmsl10.360) @sf
122 r (CHAPTER) s
17 r (5.) s
39 r (PEPY) s
16 r (OPTIONAL) s
17 r (STR) s
-1 r (UCTURE-GENERA) s
-4 r (TOR) s
87 307 p 1619 2 ru
(cmsy10.329) @sf
87 377 p (\000\000) s
(cmti10.329) @sf
16 r (automatic) s
-1 r (al) s
1 r (ly) s
17 r (gener) s
-2 r (ate) s
-2 r 100 c
15 r (by) s
17 r 114 c
-2 r (osy) s
16 r (3.1) s
16 r (#15) s
16 r (\(kil) s
2 r (ler) s
(cmsy10.329) @sf
0 c
(cmti10.329) @sf
114 c
-1 r (at\),) s
15 r (do) s
17 r (not) s
16 r 101 c
-2 r (dit!) s
(cmr10.329) @sf
87 490 p (IMA) s
(GE) s
(cmbx10.329) @sf
14 r (DEFINITIONS) s
(cmr10.329) @sf
15 r (::=) s
(cmbx10.329) @sf
87 603 p (BEGIN) s
(cmr10.329) @sf
87 716 p (Initialize) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(INV) s
15 r (::=) s
(cmbx10.329) @sf
269 772 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 828 p (prop) s
1 r (osed[0]) s
(cmbx10.329) @sf
451 885 p (IMPLICIT) s
(cmr10.329) @sf
15 r 86 c
-3 r (ersion) s
(cmr7.300) @sf
809 r (10) s
(cmbx10.329) @sf
451 941 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 998 p 103 c
(cmr10.329) @sf
87 1111 p (Initialize) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(RSP) s
15 r (::=) s
(cmbx10.329) @sf
269 1167 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 1224 p (negotiated[0]) s
(cmbx10.329) @sf
451 1280 p (IMPLICIT) s
(cmr10.329) @sf
15 r 86 c
-3 r (ersion) s
(cmbx10.329) @sf
451 1336 p (OPTIONAL) s
(cmsy10.329) @sf
269 1393 p 103 c
(cmr7.300) @sf
1673 1449 p (20) s
(cmr10.329) @sf
87 1506 p 86 c
-3 r (ersionsSupp) s
1 r (orted) s
15 r (::=) s
(cmbx10.329) @sf
269 1562 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 1619 p (supp) s
1 r (orted[0]) s
(cmbx10.329) @sf
451 1675 p (IMPLICIT) s
(cmr10.329) @sf
15 r 86 c
-3 r (ersion) s
(cmsy10.329) @sf
269 1732 p 103 c
(cmr10.329) @sf
87 1845 p 86 c
-3 r (ersion) s
15 r (::=) s
(cmbx10.329) @sf
269 1901 p (BIT) s
15 r (STRING) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 1957 p 118 c
-1 r (ersion) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(1\(0\)) s
(cmsy10.329) @sf
269 2014 p 103 c
(cmr7.300) @sf
1381 r (30) s
(cmr10.329) @sf
87 2127 p (ReadImage) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(INV) s
15 r (::=) s
(cmbx10.329) @sf
269 2183 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmbx10.329) @sf
451 2240 p (SEQUENCE) s
15 r (OF) s
511 2296 p (CHOICE) s
(cmsy10.329) @sf
16 r 102 c
(cmr10.329) @sf
633 2353 p (\014le) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(name[0]) s
(cmbx10.329) @sf
693 2409 p (IMPLICIT) s
(cmr10.329) @sf
15 r (Filename,) s
@eop
41 @bop0
(cmsl10.360) @sf
[<FFFEFFFE03C001C001C001C001C001C001C000E000E000E000E000E000E00070007000700070007000700038003800380038
00380038001C0F9C0FFC007C001C0004> 16 33 -5 0 24.906] 49 @dc
[<FFFFFC0000FFFFFF800007C00FC00003C003E00003C001F00003C000F80003C0007C0003C0007C0003C0003C0001E0003E00
01E0003E0001E0003E0001E0003C0001E0007C0001E0007C0000F000F80000F001F00000FFFFC00000F007C00000F001F000
00F00078000078003C000078003E000078001F000078001F000078000F000078000F00003C000F00003C001F00003C001F00
003C003E00003C007C0007FFFFF80007FFFFE000> 40 34 -2 0 35.284] 66 @dc
[<FFF007FFC0FFF007FFC007C000F800018000F800008000F000004001F000002001E000003003E000001003C000000803C000
0004078000000207800000030F800000018F000000009F000000005E000000003E000000003C000000007C00000000780000
0000FC00000000F200000001F100000001E080000003E0C0000003C040000007C0200000078010000007800800000F000C00
000F000600001F800F8003FFE03FF803FFF03FF8> 40 34 -1 0 37.359] 88 @dc
[<FFE0301FFF80FFE0301FFF800F003800F80006003800780002003C0078000200720078000200720078000200710078000200
710078000100E0803C000100E0803C000100E0403C000100E0403C000100E0203C000101C0203C000081C0101E000081C008
1E000081C0081E000081C0041E00008380041E00008380021E00004380020F00004380010F00004700010F00004700008F00
004700008F00004700004F00002700002780002E00002780002E00001780002E00001780002E00000FC007FC00000FFE07FC
000007FE> 48 34 -2 0 45.661] 77 @dc
[<FFFFF80000FFFFFF000007C00FC00003C003E00003C000F00003C000780003C0003C0003C0001E0003C0001F0001E0000F00
01E0000F8001E000078001E00007C001E00007C001E00003C000F00003E000F00003E000F00003E000F00003E000F00003E0
00F00003E000780003E000780003E000780003E000780003E000780003C000780003C0003C000780003C000780003C000F00
003C001E00003C007C0007FFFFF80007FFFFE000> 40 34 -2 0 38.051] 68 @dc
(cmr7.300) @sf
[<03FC00600060006000600060FFFCC06060602060106008600C6006600260016000E000E00060> 16 19 -1 0 16.546] 52 @dc
(cmr10.329) @sf
[<FF07FE1E01E00601E00201C0030380010700008700004E00007C00003C0000380000780000EC0000E40001C2000381000701
800701C00F01E07FC3FC> 24 20 0 0 23.989] 120 @dc
[<004008000060180000E01C0000E01C0000F03C0001D03A0001D0320003C8730003887100038861000704E0800704C0800707
C0800E03C0400E0380400E0380401C0380201C0300603C078070FF9FE1FC> 32 20 -1 0 32.828] 119 @dc
(cmr7.300) @sf
[<1F0021C040E0E060E070E07000700070006040E070C04F0040004000400044007F807FC06060> 16 19 -2 0 16.546] 53 @dc
(cmr10.329) @sf
[<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
[<0F0010C0206060204030C030C030C030C020E060D0C0CF00C00060006000207010700C2007C0> 16 19 -2 0 16.546] 54 @dc
(cmr10.329) @sf
[<083E000CC3000D01C00F00E00E00E00E00700E00700E00780E00780E00780E00780E00780E00780E00700E00700E00E00F00
E00F01C00EC3800E3E000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0000FE00000E0000> 24 32 -1 0 25.252] 98 @dc
[<FFE7FC0E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00F01C00F01
C00E81800E43000E3E000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0000FE00000E0000> 24 32 -1 0 25.252] 104 @dc
[<03F0000E0C001C0200380100380100700000700000F00000F00000F00000F00000F00000F00000700000700000380C00381E
001C1E000E0C0003F800> 24 20 -2 0 20.202] 99 @dc
(cmr7.300) @sf
[<04000E000E000E000E000E00060006000200030001000100008000408020801040107FF87FFC4000> 16 20 -2 0 16.546] 55 @dc
(cmr10.329) @sf
[<FFFF807FFF803FFF801000801800400C004006004003000001800000C000006000007000003800001C00000E00000F000007
800007800007C02007C0F803C0F803C0F803C0F007C0800780400780200700100E000C1C0003F000> 24 30 -2 0 22.727] 50 @dc
41 @bop1
(cmsl10.360) @sf
245 162 p (5.1.) s
39 r (ABSTRA) s
-1 r (CT) s
16 r (SYNT) s
-3 r (AX) s
15 r (MODULE) s
(cmr10.360) @sf
705 r (41) s
(cmr10.329) @sf
790 307 p (mail) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(address[1]) s
(cmbx10.329) @sf
851 364 p (IMPLICIT) s
(cmr10.329) @sf
15 r (Mail) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Address) s
(cmr7.300) @sf
431 r (40) s
(cmsy10.329) @sf
669 420 p 103 c
(cmr10.329) @sf
44 c
(cmbx10.329) @sf
609 533 p (SEQUENCE) s
15 r (OF) s
(cmr10.329) @sf
669 589 p 70 c
-3 r (ormat) s
(cmsy10.329) @sf
427 646 p 103 c
(cmr10.329) @sf
245 759 p (ReadImage) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(RSP) s
15 r (::=) s
(cmbx10.329) @sf
427 815 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmbx10.329) @sf
609 872 p (CHOICE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
669 928 p 120 c
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(windo) s
(ws) s
(cmr7.300) @sf
933 r (50) s
(cmr10.329) @sf
790 985 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
609 1041 p 103 c
427 1098 p 103 c
(cmr10.329) @sf
245 1210 p 70 c
-3 r (ormatsSupp) s
(orted) s
16 r (::=) s
(cmbx10.329) @sf
427 1267 p (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
487 1323 p (supp) s
2 r (orted[0]) s
(cmbx10.329) @sf
609 1380 p (IMPLICIT) s
(cmr10.329) @sf
15 r 70 c
-3 r (ormat) s
(cmsy10.329) @sf
427 1436 p 103 c
(cmr7.300) @sf
1831 1493 p (60) s
(cmr10.329) @sf
245 1549 p 70 c
-3 r (ormat) s
14 r (::=) s
(cmbx10.329) @sf
427 1606 p (BIT) s
15 r (STRING) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
487 1662 p 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
427 1719 p 103 c
(cmr10.329) @sf
245 1831 p (Filename) s
15 r (::=) s
306 1888 p 91 c
(cmbx10.329) @sf
(APPLICA) s
-4 r (TION) s
(cmr10.329) @sf
14 r (1]) s
(cmbx10.329) @sf
427 1944 p (IMPLICIT) s
(cmr10.329) @sf
15 r (GraphicString) s
245 2057 p (Mail) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(Address) s
15 r (::=) s
(cmr7.300) @sf
1227 r (70) s
(cmr10.329) @sf
306 2114 p 91 c
(cmbx10.329) @sf
(APPLICA) s
-4 r (TION) s
(cmr10.329) @sf
14 r (2]) s
(cmbx10.329) @sf
427 2170 p (IMPLICIT) s
15 r (SEQUENCE) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
487 2227 p (lo) s
2 r (cal[0]) s
(cmbx10.329) @sf
609 2283 p (IMPLICIT) s
(cmr10.329) @sf
15 r (GraphicString,) s
487 2396 p (domain[1]) s
(cmbx10.329) @sf
609 2452 p (IMPLICIT) s
(cmr10.329) @sf
15 r (GraphicString,) s
@eop
42 @bop0
(cmr7.300) @sf
[<0FC030306018C00CC00CC00CC01C607831F00FE00F803F603C30701860186018201810700FC0> 16 19 -1 0 16.546] 56 @dc
(cmr10.329) @sf
[<7FF0000700000700000700000700000700000700000700000700000700000700000700000700000700000700000700000700
00070000070000FFF000070000070000070000070000070000070000070000070600038F00018F0000C600007C00> 24 32 0 0 13.889] 102 @dc
(cmr7.300) @sf
[<3E004100E080E0400060002000300F3030B060704030C030C030C030C0204060604030800F00> 16 19 -2 0 16.546] 57 @dc
(cmr10.329) @sf
[<3C0000620000F10000F08000F0800000400000400000400000200000200000700000700000700000E80000E80001EC0001C4
0001C4000382000382000382000701000701000E00800E00800E00801C00C01E01E0FF83F8> 24 29 -1 9 23.989] 121 @dc
[<03F0001C3C00200E00400F00400780F00780F807C0F807C0F807C02007C00007C0000780000780000F00000E00003C0003F0
00003800001C00000E00000F00000F00000F80380F80780780780780780F80200F00100E000C1C0003F000> 24 31 -2 1 22.727] 51 @dc
[<00FFE0000E00000E00000E00000E00000E00000E00000E00FFFFF0C00E00400E00200E00200E00100E00080E00080E00040E
00020E00020E00010E00008E00008E00004E00002E00002E00001E00000E00000E00000600000600> 24 30 -1 0 22.727] 52 @dc
(cmr10.360) @sf
[<70F8F8F870000000000000000000000070F8F8F870> 8 21 -4 0 13.837] 58 @dc
[<FFFFFFF0FFFFFFF0078001F00780007807800038078000180780001807800008078000080780000807800004078020040780
20040780200007802000078060000780E00007FFE00007FFE0000780E0000780600007802000078020100780201007802010
0780001007800030078000300780002007800060078000E0078003E0FFFFFFE0FFFFFFE0> 32 34 -2 0 33.900] 69 @dc
[<FFE0301FFF80FFE0301FFF801F003000F00004007800F00004007800F0000400E400F0000400E400F0000400E400F0000401
C200F0000401C200F00004038100F00004038100F00004038100F00004070080F00004070080F00004070080F000040E0040
F000040E0040F000041C0020F000041C0020F000041C0020F00004380010F00004380010F00004380010F00004700008F000
04700008F00004E00004F00004E00004F00004E00004F00005C00002F00005C00002F00007800001F000FF800001FF80FF80
0001FF80> 48 34 -2 0 45.661] 77 @dc
42 @bop1
(cmr10.360) @sf
87 162 p (42) s
(cmsl10.360) @sf
122 r (CHAPTER) s
17 r (5.) s
39 r (PEPY) s
16 r (OPTIONAL) s
17 r (STR) s
-1 r (UCTURE-GENERA) s
-4 r (TOR) s
(cmr10.329) @sf
330 364 p (options[2]) s
(cmbx10.329) @sf
451 420 p (IMPLICIT) s
15 r (BIT) s
15 r (STRING) s
(cmsy10.329) @sf
15 r 102 c
(cmr7.300) @sf
604 r (80) s
(cmr10.329) @sf
511 477 p (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(lo) s
2 r (cal\(0\),) s
511 533 p (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(host\(1\)) s
(cmsy10.329) @sf
451 589 p 103 c
(cmbx10.329) @sf
451 646 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 (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(lo) s
2 r (cal,) s
30 r (default) s
(cmsy10.329) @sf
0 c
(cmr10.329) @sf
(host) s
(cmsy10.329) @sf
15 r 103 c
269 702 p 103 c
(cmr10.329) @sf
87 815 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
148 872 p 91 c
(cmbx10.329) @sf
(APPLICA) s
-4 r (TION) s
(cmr10.329) @sf
15 r (100]) s
(cmbx10.329) @sf
269 928 p (IMPLICIT) s
15 r (SET) s
(cmsy10.329) @sf
15 r 102 c
(cmr10.329) @sf
330 985 p (width[0]) s
(cmr7.300) @sf
1181 r (90) s
(cmbx10.329) @sf
451 1041 p (IMPLICIT) s
15 r (INTEGER) s
(cmr10.329) @sf
44 c
330 1154 p (heigh) s
-1 r (t[1]) s
(cmbx10.329) @sf
451 1210 p (IMPLICIT) s
15 r (INTEGER) s
(cmr10.329) @sf
44 c
330 1323 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
451 1380 p (IMPLICIT) s
15 r (INTEGER) s
451 1436 p (DEF) s
-5 r 65 c
-1 r (UL) s
-5 r 84 c
(cmsy10.329) @sf
14 r 0 c
(cmr10.329) @sf
(1,) s
330 1549 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
(cmr7.300) @sf
1034 r (100) s
(cmbx10.329) @sf
451 1606 p (IMPLICIT) s
15 r (INTEGER) s
451 1662 p (DEF) s
-5 r 65 c
-1 r (UL) s
-5 r 84 c
(cmsy10.329) @sf
14 r 0 c
(cmr10.329) @sf
(1,) s
330 1775 p (data[4]) s
(cmbx10.329) @sf
451 1831 p (IMPLICIT) s
15 r (OCTET) s
15 r (STRING) s
(cmsy10.329) @sf
269 1888 p 103 c
(cmbx10.329) @sf
87 2001 p (END) s
(cmr10.360) @sf
333 2133 p (Figure) s
17 r (5.1:) s
22 r (Example) s
17 r (of) s
16 r (an) s
17 r (Abstract) s
16 r (Syn) s
(tax) s
16 r (Mo) s
1 r (dule) s
87 2152 p 1619 2 ru
@eop
43 @bop0
(cmsl10.360) @sf
[<FFFFE000FFFFE0007FFFF000300010000800100004000800020008000180080000C000000060000000300000001C0000000E
0000000700000003C0000001E0000000F0000000780000003C0000003C0000001E0003001E000F801F000FC00F000FC00F00
0FC00F0007800F0004001F0002001E0001003E0000E0FC00007FF000000FC000> 32 33 -2 0 24.906] 50 @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
[<FFFFFFC0000000FFFFFFC0000000FFFFFFC000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000
FFC00000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000FF
C00000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000FFC00000000000FFC0
0000000000FFFFFFE0000000FFFFFFFE000000FFFFFFFF800000FFC001FFE00000FFC0003FF00000FFC0001FF80000FFC000
0FFC0000FFC0000FFC0000FFC00007FE0000FFC00007FE0000FFC00007FF0000FFC00007FF0000FFC00007FF0000FFC00007
FF0000FFC00007FF0000FFC00007FF0000FFC00007FF0000FFC00007FE0000FFC00007FE0000FFC0000FFC0000FFC0000FFC
0000FFC0001FF80000FFC0003FF00000FFC001FFE000FFFFFFFFFF8000FFFFFFFFFE0000FFFFFFFFE00000> 56 49 -2 0 56.387] 80 @dc
[<00000FFE0000000000FFFFE000000007FFFFFC0000001FFC07FF0000003FE000FF800000FFC0007FE00001FF80003FF00003
FF00001FF80007FE00000FFC000FFC000007FE000FFC000007FE001FF8000003FF001FF8000003FF003FF0000001FF803FF0
000001FF807FF0000001FFC07FF0000001FFC07FE0000000FFC07FE0000000FFC0FFE0000000FFE0FFE0000000FFE0FFE000
0000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE0000000FFE0FFE00000
00FFE0FFE0000000FFE07FE0000000FFC07FE0000000FFC07FE0000000FFC03FF0000001FF803FF0000001FF803FF0000001
FF801FF0000001FF001FF8000003FF000FF8000003FE0007FC000007FC0007FC000007FC0003FE00000FF80001FF00001FF0
0000FF80003FE000003FE000FF8000001FFC07FF00000007FFFFFC00000000FFFFE0000000000FFE000000> 56 49 -5 0 61.966] 79 @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
[<FFFF80FFFF80FFFF8007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8
0007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8000FF800FFF800FFF800FFF80001F80000000000
000000000000000000000000000000000000000003C0000FF0000FF0001FF8001FF8001FFC001FF8001FF8000FF0000FF000
03C000> 24 51 -3 0 22.913] 105 @dc
[<FFFFC1FFFF83FFFF00FFFFC1FFFF83FFFF00FFFFC1FFFF83FFFF0007F8000FF0001FE00007F8000FF0001FE00007F8000FF0
001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007
F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF000
1FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007F8000FF0001FE00007FC
000FF8001FE00007FC000FF8001FE00007FE000FFC001FE00007F6000FFC001FE00007F3000FE6001FC0000FF1C01FE3803F
C000FFF0F03FC1E07F8000FFF07FFF80FFFF0000FFF03FFF007FFE000003F007F8000FF00000> 72 32 -3 0 68.740] 109 @dc
[ 432 ] /cmbx10.432 @newfont
(cmbx10.432) @sf
[<00FF800003FFF0000FFFF8001F01FE003C007F0078003F8078003F80FC001FC0FE001FC0FE001FE0FE001FE0FE001FE07C00
1FE018001FE000001FE000001FE000001FC000001FC000001F800C003F000E003E000F80FC000FFFF8000E7FC0000E000000
0E0000000E0000000E0000000E0000000E0000000FFE00000FFFC0000FFFE0000FFFF0000FFFF8000FFFFC000FFFFE000F80
3F000C000300> 32 39 -3 0 34.370] 53 @dc
[<1C003E007F00FF80FF80FF807F003E001C00> 16 9 -5 0 19.094] 46 @dc
[<FFFFFF80FFFFFF80FFFFFF807FFFFFC03FFFFFC01FFFFFC00FFFFFC0070001C0038001C001C001C000E000E0007000E0003C
00E0001E0000000F0000000780000003E0000003F0000001F8000000FC000000FE0000007F0000007F8000003FC000003FC0
00003FE03C003FE07E001FE0FF001FE0FF001FE0FF003FE0FF003FC0FE003FC07C007F803800FF001F03FE000FFFFC0003FF
F00000FF8000> 32 39 -3 0 34.370] 50 @dc
[<7FFFFE7FFFFE7FFFFE00FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE
0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE00F8FE00FF
FE00FFFE0007FE00007E00001E00000E00> 24 39 -5 0 34.370] 49 @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
[<01FC03FC0FFF0FFC3F839FFC7F00DF807E007F80FE003F80FE003F80FE003F80FE003F807F003F803F003F803F803F800FE0
3F8007FC3F8000FFFF80000FFF8000003F8000003F8000003F8007003F800F803F801FC03F001FC07E001FC07E000F81F800
07FFF00001FF8000> 32 27 -2 0 33.415] 97 @dc
[<FFFE3FFF80FFFE3FFF80FFFE3FFF800FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F800
0FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FF003F800
0FF003F8000FD803F8000FD803F0000FCE03F000FFC787E000FFC1FFC000FFC07F0000> 40 27 -3 0 38.189] 110 @dc
[<007FF00003FFFE000FC01F801F0007C03C0001E07C0001F0F80000F8F80000F8F80000F8F80000F87C0001F83E0007F01FFF
FFF007FFFFE00FFFFFC01FFFFF801FFFFF003FFFF8003E0000003C000000380000003800000018FF80001FFFE0000FC1F800
1F80FC001F007C003F007E007F007F007F007F007F007F007F007F007F007F007F007F003F007E101F007C381F80FC7C0FC1
FE7C03FFE7F800FF81F0> 32 40 -2 13 34.370] 103 @dc
[<003FC3FF8001FFF3FF8003F03BFF8007E00FF80007E007F8000FE007F8000FE003F8000FE003F8000FE003F8000FE003F800
0FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F800
0FE003F8000FE003F8000FE003F8000FE003F800FFE03FF800FFE03FF800FFE03FF800> 40 27 -3 0 38.189] 117 @dc
[<001FF00000FFFE0003F81F0007E003800FC001C01F8000E03F8000E07F0000007F0000007F000000FF000000FF000000FF00
0000FFFFFFE0FFFFFFE0FF0007E0FF0007E07F0007E07F0007C07F000FC03F800FC01F800F800F801F8007C01F0003F07E00
01FFF800003FE000> 32 27 -2 0 31.506] 101 @dc
[<C01FF000E0FFFE00F3FFFF00FFE01F80FF0007C0FC0003E0F80003F0F00001F0F00001F0E00001F8E00001F8E00001F86000
01F8000003F8000007F800000FF800007FF00007FFF000FFFFE003FFFFE007FFFFC00FFFFF801FFFFE003FFFFC007FFFE000
7FFE0000FFC00000FF000000FE0000E0FE0000E0FC0000E0FC0001E0FC0001E07C0001E07C0003E03E0007E01F001FE00F80
7FE007FFF9E003FFF0E0007F8060> 32 41 -4 0 38.189] 83 @dc
[<001F8000FFC001F86003F87003F03807F03807F03807F03807F03807F03807F03807F00007F00007F00007F00007F00007F0
0007F00007F00007F00007F00007F00007F00007F000FFFFF0FFFFF01FFFF007F00003F00003F00001F00000F00000F00000
F000007000007000007000007000> 24 38 -1 0 26.732] 116 @dc
[<FFFF0000FFFF0000FFFF00000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE0
00000FE000000FE000000FE000000FE000000FE000000FE000000FF01C000FF03E000FF07F000FD87F000FD87F00FFCE3E00
FFC7FC00FFC1F000> 32 27 -2 0 28.310] 114 @dc
[<001FE00000FFFC0003F01E0007E007000FC003801F8001C03F8001C07F8000007F0000007F000000FF000000FF000000FF00
0000FF000000FF000000FF000000FF0000007F0000007F0000007F800E003F801F001F803F800FC03F8007E03F8003F01F00
00FFFE00001FF800> 32 27 -2 0 30.551] 99 @dc
[<C1FF00F7FFC0FF01E0FC0070F80038F00038F0003CE0003C60007C0000FC0003FC00FFF807FFF81FFFF03FFFE07FFF807FFE
00FFE000FC0000F80070F00070F000707000703800F01E03F00FFFF003FE30> 24 27 -2 0 27.114] 115 @dc
[ 360 ] /cmtt10.360 @newfont
(cmtt10.360) @sf
[<E3F800EFFE00FFFF00FC0780F003C0E001C0E001C06001C0000380003F8007FF003FFC007FC000780000E00380E00380E003
807807807FFF801FFF8007FB80> 24 21 -4 0 26.151] 115 @dc
[<001F00007FC000FFE000E0E001C07001C07001C07001C07001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C000FFFFE0FFFFE07FFFE001C00001C00001C00001C00001C00001C00000C000> 24 28 -1 0 26.151] 116 @dc
[<FFFF00FFFF80FFFF0003800003800003800003800003800003800003800003800003800003800003C00003C00003E00003F0
1803FC3CFFBFFCFF8FF8FF83F0> 24 21 -2 0 26.151] 114 @dc
[<00FCFE03FFFE07FFFE0F03E00E01E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00
E00E00E0FE0FE0FE0FE0FE0FE0> 24 21 -1 0 26.151] 117 @dc
[<00FE0003FFC00FFFE01F01F03C0070780070700000700000E00000E00000E00000E00000E000007000007000007800003C00
C01F01E00FFFE003FFC000FF80> 24 21 -3 0 26.151] 99 @dc
[<FFFF00FFFFC0FFFFE01C01F01C00F01C00781C00381C00381C00381C00381C00381C00701C00F01C01E01FFFC01FFF801FFF
801C07C01C01E01C00E01C00701C00701C00701C00701C00F01C00E01C03E0FFFFC0FFFF80FFFE00> 24 30 -2 0 26.151] 66 @dc
[<0FFE003FFF807FFFC07C07C07001C0F001E0F001E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000
E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0F001E07001C07C07C07FFFC03FFF800FFE00> 24 30 -3 0 26.151] 79 @dc
[<7FFFF8FFFFF87FFFF80E00380E00380E00380E00380E00380E00000E00000E00000E00000E00000E00000E00000E00000E00
000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00007FE000FFF0007FE000> 24 30 -2 0 26.151] 76 @dc
[<7FFFFEFFFFFE7FFFFE0E000E0E000E0E000E0E000E0E000E0E00000E00000E00000E07000E07000E07000FFF000FFF000FFF
000E07000E07000E07000E00000E00000E001C0E001C0E001C0E001C0E001C7FFFFCFFFFFC7FFFFC> 24 30 -1 0 26.151] 69 @dc
[<7F83FCFF83FE7F83FC1C00700E00E00E00E00E00E00E00E007FFC007FFC007FFC00701C00783C00383800383800383800383
8001C70001C70001C70001C70000C60000EE0000EE0000EE0000EE00006C00007C00007C00003800> 24 30 -1 0 26.151] 65 @dc
[<FF83C0FF87C0FF87C01C0DC01C0DC01C0DC01C0DC01C1DC01C19C01C19C01C39C01C39C01C31C01C31C01C71C01C71C01C61
C01C61C01CE1C01CE1C01CC1C01CC1C01DC1C01D81C01D81C01D81C01D81C0FF0FF8FF0FF8FE0FF8> 24 30 -2 0 26.151] 78 @dc
[ 360 ] /cmbx10.360 @newfont
(cmbx10.360) @sf
[<3C007E00FF00FF00FF00FF007E003C000000000000000000000000003C007E00FF00FF00FF00FF007E003C00> 16 22 -4 0 15.912] 58 @dc
(cmtt10.360) @sf
[<FFE3FEFFE3FEFFE3FE0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80
E00FC1C00FFFC00EFF800E3E000E00000E00000E00000E00000E00000E0000FE0000FE0000FE0000> 24 30 -1 0 26.151] 104 @dc
[<07F0FC1FFDFC3FFFFC780F80700780E00380E00380E003807003807803803F83801FFF8007FF80007F800003800003803007
00780F007FFE003FFC001FF000> 24 21 -3 0 26.151] 97 @dc
[<FFFF80FFFF80FFFF8001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C000FFFF80FFFF80FFFF80> 24 30 -4 0 26.151] 73 @dc
[<03FF8007FFC003FF800038000038000038000038000038000038000038000038000038000038000038000038000038000038
00003800003800003800003800003800E0380EE0380EE0380EE0380EE0380EFFFFFEFFFFFE7FFFFE> 24 30 -1 0 26.151] 84 @dc
[<00F8E003FEE007FFE00F07E01E03E03C03E03801E07001E07000E07000E0E000E0E00FF8E00FF8E00FF8E00000E00000E000
00E00000E00000E000007000E07000E07000E03800E03C01E01E03E00F07E007FFE003FEE000F8E0> 24 30 -2 0 26.151] 71 @dc
[<FF8070FF81FCFF81FC1C038E1C038E1C038E1C03841C03801C03801C03801C03801C03801C07001C0F001FFE001FFC001FFF
001C0F801C07801C03C01C01C01C01C01C01C01C01C01C03C01C07801C0F80FFFF00FFFC00FFF000> 24 30 -2 0 26.151] 82 @dc
[<FFFFC0FFFFC0FFFFC000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
0000E0007FE000FFE0007FE00000000000000000000000000000000001C00003E00003E00003E00001C000> 24 31 -4 0 26.151] 105 @dc
[<FFE3FEFFE3FEFFE3FE0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80
E00FC1C0FFFFC0FEFF80FE3E00> 24 21 -1 0 26.151] 110 @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
[<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
[<07FF0007FF0007FF000070000070000070000070000070000070000070000070000070000070000070000070000070000070
00007000007000007000007000E07038E07038E07038E07038FFFFF8FFFFF87FFFF8> 24 28 -1 0 23.863] 84 @dc
[<01FC0003FE0001FC0000700000700000700000700000700000700000700000700000700000F80000F80001DC0001DC0001DC
00038E00038E000707000707000F07800E03801E03C01C01C0FF07F8FF07F8FF07F8> 24 28 -1 0 23.863] 89 @dc
[<FF8000FF8000FF80001C00001C00001C00001C00001C00001C00001C00001C00001FFE001FFF801FFFC01C03C01C01E01C00
E01C00701C00701C00701C00701C00701C00E01C01E01C03C0FFFFC0FFFF80FFFE00> 24 28 -1 0 23.863] 80 @dc
[<7F07F0FF8FF87F07F01C01C01C01C00E03800E03800FFF800FFF800FFF80070700070700070700070700030600038E00038E
00038E00038E00018C0001DC0001DC0001DC0000D80000D80000F80000F800007000> 24 28 -1 0 23.863] 65 @dc
[<01F1C003FDC00FFFC01F0FC01C07C03803C03803C07003C07001C07001C0E00FF0E01FF0E00FF0E00000E00000E00000E000
00E000007000007001C07001C03801C03803C01C03C01F0FC00FFFC003FDC001F1C0> 24 28 -2 0 23.863] 71 @dc
[<00700000F80000F80001DC0001DC0001DC00038E00038E00038E00038E000707000707000707000E03800E03800E03801E03
C07F8FF0FF8FF87F8FF0> 24 20 -1 0 23.863] 118 @dc
[<07E1F01FFBF03FFFF0781F00F00F00E00700E00700E007007807007F07001FFF0007FF0000FF00000700000700300E00781E
007FFC003FF8001FE000> 24 20 -3 0 23.863] 97 @dc
[<7FFFC0FFFFE07FFFC000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
0000E00000E00000E00000E00000E00000E00000E00000E0007FE000FFE0007FE000> 24 28 -2 0 23.863] 108 @dc
[<01FCFC03FFFE07FFFC0F03E00E01E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00
E07E07E0FE0FE07E07E0> 24 20 0 0 23.863] 117 @dc
[<7FFF00FFFF807FFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C00001C00001C00001C00001C00001C00001C00001C0007FFF00FFFF807FFF00> 24 28 -3 0 23.863] 73 @dc
[<E7F000FFFC00FFFF00F80F00F00380E00380E00380600780001F0003FE001FFC007FE0007C0000E00700E00700E00700780F
007FFF003FFF0007F700> 24 20 -3 0 23.863] 115 @dc
[<FFFFF0FFFFF0FFFFF07800703C00701E00700F007007800003C00001F00000F800003C00001E00000F007007807003C07001
E07FFFF07FFFF03FFFF0> 24 20 -1 0 23.863] 122 @dc
[<7FFE00FFFF007FFE0003800003800003800003800003800003800003800003800003800003C00003C00003E00003F03003F8
787FBFF8FF9FF07F87E0> 24 20 -1 0 23.863] 114 @dc
[<01F0000FFE001FFF003E0F803C07807803C07001C0F001E0E000E0E000E0E000E0E000E0E000E07001C07001C03803803E0F
801FFF000FFE0001F000> 24 20 -2 0 23.863] 111 @dc
[<01F00007FC000FFE001F1F001C07003803807803C07001C07001C0F001E0E000E0E000E0E000E0E000E0E000E0E000E0E000
E0E000E0E000E07001C07001C07803C03803801C07001F1F000FFE0007FC0001F000> 24 28 -2 0 23.863] 48 @dc
(cmtt10.360) @sf
[<E3F800EFFE00FFFF80FC0780F001C0E001C0E000E0E000E06000E00000E00000E00001C00003C0000F8000FF0007FE001FF0
003F0000780000700000E00000E001C0E001C0E001C0E003C07003C07C0FC03FFFC00FFDC003F1C0> 24 30 -3 0 26.151] 83 @dc
[<7FC000FFE0007FC0000E00000E00000E00000E00000E00000E00000E00000E00000E00000FFF000FFFC00FFFE00E01F00E00
780E00380E003C0E001C0E001C0E001C0E001C0E003C0E00380E00780E01F07FFFE0FFFFC07FFF00> 24 30 -1 0 26.151] 80 @dc
[<FFFFE0FFFFE0FFFFE000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
0000E00000E00000E00000E00000E00000E00000E00000E00000E00000E000FFE000FFE000FFE000> 24 30 -3 0 26.151] 108 @dc
[<00FE0003FFC00FFFE01F01F03C0070780070700000700000E00000FFFFF0FFFFF0FFFFF0E00070E000707000E07800E03C01
C01E07C00FFF8007FF0001F800> 24 21 -3 0 26.151] 101 @dc
[<7F1F1F00FF9F9F807F1F1F001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C
1C001C1C1C001C1C1C001E1E1C001E1E1C001F1F1C007FFFF800FFFBF8007CE0E000> 32 21 0 0 26.151] 109 @dc
(cmtt10.329) @sf
[<063E000EFF800FFFC00FC1E00F80E00F00700F00700E00380E00380E00380E00380E00380E00380E00700F00700F80E00FC1
E00FFFC00EFF800E3E000E00000E00000E00000E00000E00007E0000FE00007E0000> 24 28 0 0 23.863] 98 @dc
[<00700000F80000F80000D80001DC0001DC0001DC00018C00038E00038E00038E00038E000707000707000707000707000F07
800E03800E03800E03800E03801C01C01C01C01C01C01C01C0FF07F8FF07F8FF07F8> 24 28 -1 0 23.863] 86 @dc
[<7FFCFFFE7FFC03800380038003800380038003800380038003800380038003800380038003804380FB80FF803F800F800780
038003800180> 16 28 -5 0 23.863] 49 @dc
[<01FC000FFF801FFFC07E03F07800F0E00038E00038E00038E000387000707801F03FFFE01FFFC01FFE001C000038000039E0
001FF8001FFC001E1E001C0E003807003807003807003807003807001C0E001E1E300FFFF807FFF801E1F0> 24 31 -1 11 23.863] 103 @dc
[<6030E038E038E038E038E038E038E038E038E038E038F078E0384010> 16 14 -5 -15 23.863] 34 @dc
[<000300000780000780000F80000F00001F00001E00001E00003E00003C00007C0000780000780000F80000F00001F00001E0
0003E00003C00003C00007C0000780000F80000F00000F00001F00001E00003E00003C00003C00007C0000780000F80000F0
0000F00000600000> 24 36 -3 4 23.863] 92 @dc
[<7FFFE0FFFFE07FFFE03C00E01E00E00F800007C00001E00000F000007800003C00001E00000F000007800003C00001C00001
C00000E00000E06000E0F000E0F000E0E001C07003C07C0F803FFF000FFE0003F000> 24 28 -2 0 23.863] 50 @dc
[<7FFF00FFFF80FFFF807FFF00> 24 4 -3 -12 23.863] 45 @dc
(cmtt10.360) @sf
[<007C0001FF8007FFC00F83E01E00F01C0070380038380038700038700038700000E00000E00000E00000E00000E00000E000
00E00000E000007000007000387000383800383800781C00781E00F80F83F807FFF801FF38007C38> 24 30 -2 0 26.151] 67 @dc
[<000FFE000FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E001F0E007FCE00FFFE01E0FE03C03E07803
E07001E0E001E0E000E0E000E0E000E0E000E0E000E0E000E07001E07801E03C03E01E07E00FFFE007FEE001F8E0> 24 32 -2 11 26.151] 113 @dc
[<063E000EFF800FFFC00FC1E00F80F00F00780F00380E001C0E001C0E001C0E001C0E001C0E001C0E001C0E00380F00380F80
700FC1F00FFFE00EFF800E3E000E00000E00000E00000E00000E00000E0000FE0000FE0000FE0000> 24 30 -1 0 26.151] 98 @dc
[<7FFFC07FFFC07FFFC000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0
0000E000FFFFF0FFFFF07FFFF000E00000E00000E00000E00000F030007878003FF8001FF00007E0> 24 30 -1 0 26.151] 102 @dc
(cmti10.360) @sf
[<FFFFC0007FFFC00001F0000000F0000000F0000000F0000000780000007800000078000000780000003C0000003C0000003C
0000003C0000001E0000001E0000001E0000001E0000000F0000000F0000000F0000000F0000600780186007801860078018
300780183003C0183003C0181803C01C1C03C01C1C01E01C0F01E03C0FFFFFFC0FFFFFFC> 32 34 -8 0 35.643] 84 @dc
[<00F83C00018CC3000307C1800703C0C00703C0400701C0600701C0600701C0300701C0300701C0300380E0180380E0180380
E01801C0E01861C0701C61C0701C60E0701C30E0703C10E0387C08C0387807801838> 32 21 -3 0 33.097] 119 @dc
43 @bop1
(cmsl10.360) @sf
245 162 p (5.2.) s
39 r (POSY) s
16 r (ENVIR) s
(ONMENT) s
(cmr10.360) @sf
907 r (43) s
(cmbx10.518) @sf
245 315 p (5.2) s
82 r (POSY) s
28 r (En) s
-1 r (vironmen) s
-3 r 116 c
(cmr10.360) @sf
245 425 p (The) s
(cmti10.360) @sf
19 r 112 c
-1 r (osy) s
(cmr10.360) @sf
18 r (program) s
19 r (will) s
19 r (pro) s
1 r (duce) s
20 r 116 c
-1 r 119 c
-1 r 111 c
18 r (\014les) s
19 r (after) s
19 r (reading) s
20 r (its) s
19 r (abstract) s
19 r (syn) s
(tax) s
245 485 p (mo) s
1 r (dule.) s
(cmbx10.432) @sf
245 630 p (5.2.1) s
69 r 67 c
23 r (Language) s
22 r (Structures) s
(cmr10.360) @sf
245 723 p 70 c
-3 r (or) s
13 r (eac) s
104 c
13 r 116 c
(yp) s
101 c
15 r (in) s
15 r (the) s
14 r (abstract) s
15 r (syn) s
-1 r (tax) s
14 r (mo) s
1 r (dule,) s
(cmti10.360) @sf
15 r 112 c
-1 r (osy) s
(cmr10.360) @sf
13 r (will) s
15 r (de\014ne) s
14 r 97 c
15 r (corresp) s
1 r (ond-) s
245 783 p (ing) s
(cmti10.360) @sf
17 r 67 c
(cmr10.360) @sf
23 r (language) s
17 r (structure) s
17 r 40 c
(cmtt10.360) @sf
(struct) s
(cmr10.360) @sf
(\).) s
320 843 p (The) s
16 r (rules) s
17 r (that) s
(cmti10.360) @sf
16 r 112 c
-1 r (osy) s
(cmr10.360) @sf
15 r (uses) s
17 r (to) s
17 r (generate) s
16 r (the) s
17 r (structures) s
17 r (are) s
16 r (fairly) s
17 r (simple:) s
(cmtt10.360) @sf
345 946 p (BOOLEAN) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (represen) s
(ted) s
16 r (as) s
16 r 97 c
(cmtt10.360) @sf
17 r (char) s
(cmr10.360) @sf
46 c
(cmtt10.360) @sf
345 1048 p (INTEGER) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (represen) s
(ted) s
22 r (as) s
23 r (an) s
(cmtt10.360) @sf
23 r (int) s
(cmr10.360) @sf
46 c
42 r (If) s
23 r (the) s
(cmtt10.360) @sf
23 r (INTEGER) s
(cmr10.360) @sf
23 r 116 c
(yp) s
101 c
24 r (has) s
23 r 97 c
23 r (list) s
23 r (of) s
469 1108 p (tagged) s
17 r 118 c
-2 r (alues,) s
16 r (then) s
16 r (for) s
17 r (eac) s
-1 r 104 c
16 r 118 c
-2 r (alue:) s
(cmtt10.329) @sf
579 1207 p (#define) s
24 r (int_MODULE_TYPE_TAG) s
23 r (value) s
(cmr10.360) @sf
469 1309 p (as) s
17 r (in:) s
(cmtt10.329) @sf
579 1407 p (#define) s
24 r (int_IMAGE_IntList_zero) s
23 r 48 c
(cmtt10.360) @sf
345 1509 p (BIT) s
26 r (STRING) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
17 r (as) s
18 r 97 c
(cmtt10.360) @sf
17 r (struct) s
26 r (PElement) s
(cmr10.360) @sf
18 r (\(these) s
18 r (are) s
18 r (describ) s
1 r (ed) s
469 1570 p (in) s
18 r (Section) s
19 r (5.4.5) s
18 r (of) s
(cmti10.360) @sf
19 r 86 c
-3 r (olume) s
18 r (One) s
(cmr10.360) @sf
(\).) s
28 r (If) s
18 r (the) s
(cmtt10.360) @sf
18 r (BIT) s
27 r (STRING) s
(cmr10.360) @sf
18 r 116 c
(yp) s
101 c
18 r (has) s
19 r 97 c
469 1630 p (list) s
17 r (of) s
16 r (tagged) s
17 r (bits,) s
16 r (then) s
17 r (for) s
17 r (eac) s
-1 r 104 c
16 r (bit:) s
(cmtt10.329) @sf
579 1728 p (#define) s
24 r (bit_MODULE_TYPE_TAG) s
23 r (value) s
(cmr10.360) @sf
469 1830 p (as) s
17 r (in:) s
(cmtt10.329) @sf
579 1929 p (#define) s
24 r (bit_IMAGE_Version_version__1) s
23 r 48 c
(cmr10.360) @sf
469 2031 p (In) s
17 r (addition,) s
16 r (one) s
17 r (other) s
16 r (de\014nition) s
17 r (is) s
17 r (presen) s
-1 r (t:) s
(cmtt10.329) @sf
579 2130 p (#define) s
24 r (bits_MODULE_TYPE) s
23 r (string) s
(cmr10.360) @sf
469 2232 p (as) s
17 r (in:) s
(cmtt10.329) @sf
579 2330 p (#define) s
24 r (bits_IMAGE_Version) s
23 r ("\\020\\01version-1") s
(cmtt10.360) @sf
345 2432 p (OCTET) s
26 r (STRING) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
16 r (as) s
17 r 97 c
(cmtt10.360) @sf
16 r (struct) s
27 r (qbuf) s
(cmr10.360) @sf
16 r (\(these) s
17 r (are) s
17 r (describ) s
1 r (ed) s
17 r (in) s
469 2493 p (Section) s
17 r (5.4.4) s
16 r (of) s
(cmti10.360) @sf
17 r 86 c
-3 r (olume) s
17 r (One) s
(cmr10.360) @sf
16 r (and) s
17 r (Section) s
17 r (4.3.2) s
16 r (of) s
(cmti10.360) @sf
17 r 86 c
-3 r (olume) s
17 r (Two) s
(cmr10.360) @sf
(\).) s
@eop
44 @bop0
(cmtt10.360) @sf
[<01F1FC07FDFC1FFFFC3E0FC03807C07003C07003C0E001C0E001C0E001C0E001C0E001C0E001C0E001C07001C07803C03C07
C01E0FC00FFFC007FDC001F1C00001C00001C00001C00001C00001C00001C0001FC0001FC0001FC0> 24 30 -2 0 26.151] 100 @dc
[<01F00007FC001FFF003E0F803C07807803C07001C0F001E0E000E0E000E0E000E0E000E0E000E0E000E07001C07803C03C07
803E0F801FFF0007FC0001F000> 24 21 -3 0 26.151] 111 @dc
[<003E000000FF800001FFC00003C1E0000380E00007007000070070000E0038000E0038000E0038000E0038000E0038000E00
38000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E003800
0E0038000E0038007FC1FF00FFE3FF807FC1FF00> 32 30 0 0 26.151] 85 @dc
[<0001C00001C00003C0000380000780000700000F000FFE003FFF807FFFC07C3FC07079C0F079E0E0F0E0E070E0E000E0E000
E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0E000E0F001E07001C07C
07C07FFFC03FFF800FFE00> 24 37 -3 7 26.151] 81 @dc
(cmbx10.360) @sf
[<C00000E00000E000007000007000003800003800003800001C00001C00000E00000E00000700000700000700000380000380
0001C00001C00001C00000E00000E000007000007000007000003800003800001C00001C00000E00000E00000E0000070000
07000003800003800003800001C00001C00000E00000E000007000007000007000003800003800001C00001C00000C> 24 49 -3 12 28.642] 47 @dc
(cmtt10.360) @sf
[<01FF0001FF0001FF00003800003800003800003800003800003800003800003800003800003800007C00007C0000EE0000EE
0001C70001C70003C7800383800383800701C00701C00E00E00E00E01E00F0FF01FEFF83FEFF01FE> 24 30 -1 0 26.151] 89 @dc
[<7FE000FFF0007FE0000E00000E00000E00000E00000E00000E00000E00000E00000E07000E07000E07000FFF000FFF000FFF
000E07000E07000E07000E00000E00000E001C0E001C0E001C0E001C0E001C7FFFFCFFFFFC7FFFFC> 24 30 -1 0 26.151] 70 @dc
(cmr10.360) @sf
[<FFE3FEFFE3FE0E01F00E01E00E01C00E03C00E07800E07000E0E000E1E000F1C000EF8000E38000E10000E08000E04000E02
000E01800E01E00E03FC0E03FC0E00000E00000E00000E00000E00000E00000E00000E00000E00000E00001E0000FE0000FE
00000E0000> 24 35 -1 0 26.290] 107 @dc
[<000FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E001F0E0070CE00C02E01C01E03801E07800E07000
E0F000E0F000E0F000E0F000E0F000E0F000E0F000E07800E07800E03801E01C01600E026007046001F820> 24 31 -2 10 26.290] 113 @dc
(cmtt10.329) @sf
[<E7F800FFFE00FFFF80F80780F001C0E001E0E000E06000E00000E00000E00001C00003C0000F8000FF0007FE001FF0003F00
00780000700000E00000E00380E00380E003807007807C0F803FFF801FFF8003F380> 24 28 -2 0 23.863] 83 @dc
[<000700000700000F00000E00001E00001C000FFC003FFE007FFF00787F0070F700F0E780E1E380E1E380E00380E00380E003
80E00380E00380E00380E00380E00380E00380E00380E00380E00380E00380E00380F00780700700780F007FFF003FFE000F
F800> 24 34 -3 6 23.863] 81 @dc
[<7F03C0FF87C07F07C01C0DC01C0DC01C0DC01C1DC01C19C01C19C01C39C01C39C01C39C01C31C01C71C01C71C01C61C01CE1
C01CE1C01CE1C01CC1C01CC1C01DC1C01D81C01D81C01D81C07F07F0FF0FF87E07F0> 24 28 -1 0 23.863] 78 @dc
[<00F80003FE0007FF800F07C01E01C03C00E03800E07000E07000E0700000E00000E00000E00000E00000E00000E00000E000
00E000007000007000E07000E03800E03C01E01E03E00F07E007FFE003FEE000F8E0> 24 28 -2 0 23.863] 67 @dc
[<FFC000FFC000FFC0001C00001C00001C00001C00001C00001C00001C00001C1C001C1C001C1C001FFC001FFC001FFC001C1C
001C1C001C1C001C00001C00001C00E01C00E01C00E01C00E0FFFFE0FFFFE0FFFFE0> 24 28 -2 0 23.863] 70 @dc
[<7F1F1F00FFBFBF807F1F1F001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C1C001C1C
1C001C1C1C001E1E1C001E1E1C001F1F1C007FFFF800FFFBF8007CE0E000> 32 20 1 0 23.863] 109 @dc
[<01FC0007FF001FFF803E03C03801C07001C0700000E00000E00000E00000E00000E00000E000007000007000003803003E07
801FFF8007FF0001FE00> 24 20 -3 0 23.863] 99 @dc
[<007FF000FFF8007FF0000700000700000700000700000700000700FFFFF8FFFFF8FFFFF8F007007807003807003C07001E07
000E070007070007870003870001C70001E70000E700007700007700003F00001F00> 24 28 -1 0 23.863] 52 @dc
[<0007E0001FE0007FE000780000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00001E0007FC0
00FF8000FF80007FC00001E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000780000
7FE0001FE00007E0> 24 36 -2 4 23.863] 123 @dc
[<1E00003F00007F80007BC00079E00000E00000F00000700000700000700000780000780000780000DC0000CC0000CC0001CE
0001CE00038E000386000387000707000707000703800E03800E03800E01C07F8FF0FF8FF87F8FF0> 24 30 -1 10 23.863] 121 @dc
[<7FC000FFE0007FC0000E00000E00000E00000E00000E00000E00000E00000E3E000EFF800FFFC00FC1E00F80E00F00700F00
700E00380E00380E00380E00380E00380E00380E00700F00700F80E00FC1E07FFFC0FEFF807E3E00> 24 30 0 10 23.863] 112 @dc
[<01C00001C00001C00001C000C1C180F1C780F9CF807FFF001FFC0007F00007F0001FFC007FFF00F9CF80F1C780C1C18001C0
0001C00001C00001C000> 24 20 -3 -4 23.863] 42 @dc
[<60F0783C1C0E1E3E7E7E3C180000000000000000183C7E7E3C18> 8 26 -8 6 23.863] 59 @dc
[<7F8FF0FF8FF87F8FF00F0780070700038E00039E0001DC0000F80000F00000700000F80001F80001DC00039E00078E000707
007F8FF07F9FF07F8FF0> 24 20 -1 0 23.863] 120 @dc
[<7C0000FF0000FFC00003C00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000F000007F
C0003FE0003FE0007FC000F00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00003C000FF
C000FF00007C0000> 24 36 -2 4 23.863] 125 @dc
(cmr10.360) @sf
[<387CFCFCB880808080404020201008> 8 15 -3 -20 13.837] 96 @dc
(cmtt10.360) @sf
[<7FFFE0FFFFE07FFFE03C00E01E00E00F000007800003C00001E00000F000007C00003C00000E00000F000007800003800001
C00001C00000E00000E06000E0F000E0F000E0E000E07001C07803C03C0F801FFF000FFC0003F000> 24 30 -3 0 26.151] 50 @dc
(cmr10.360) @sf
[<4020101008080404040474FCFCF870> 8 15 -4 -20 13.837] 39 @dc
(cmtt10.329) @sf
[<3078FCFC783000000000000000003078FCFC7830> 8 20 -9 0 23.863] 58 @dc
[<7FFFC0FFFFE0FFFFE0FFFFE0000000000000000000000000FFFFE0FFFFE0FFFFE07FFFC0> 24 12 -2 -8 23.863] 61 @dc
[<FFF8FFF8FFF8E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000
E000E000E000E000E000E000E000E000FFF8FFF8FFF8> 16 36 -9 4 23.863] 91 @dc
[<FFF8FFF8FFF80038003800380038003800380038003800380038003800380038003800380038003800380038003800380038
00380038003800380038003800380038FFF8FFF8FFF8> 16 36 -1 4 23.863] 93 @dc
[<7FC3FCFFE7FE7FC3FC0E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00E00F00E00F80E00FC1
C00FFFC00EFF800E3E000E00000E00000E00000E00000E00007E0000FE00007E0000> 24 28 0 0 23.863] 104 @dc
[<6000F8007C001E000E0007001F003F007F007E003E001C00> 16 12 -8 6 23.863] 44 @dc
[<FFFE00FFFF80FFFFC01C03E01C00E01C00F01C00701C00701C00701C00701C00F01C00E01C03C01FFFC01FFF001FFF801C07
C01C01C01C01E01C00E01C00E01C00E01C00E01C01C01C03C0FFFF80FFFF00FFFC00> 24 28 -1 0 23.863] 66 @dc
[<7F00F0FF81F87F01F81C039C1C039C1C039C1C03801C03801C03801C03801C03801C07001C0F001FFE001FFE001FFF001C0F
801C03801C03C01C01C01C01C01C01C01C03C01C03801C0F807FFF00FFFE007FF800> 24 28 -1 0 23.863] 82 @dc
44 @bop1
(cmr10.360) @sf
87 162 p (44) s
(cmsl10.360) @sf
128 r (CHAPTER) s
16 r (5.) s
34 r (PEPY) s
16 r (OPTIONAL) s
17 r (STR) s
-1 r (UCTURE-GENERA) s
-4 r (TOR) s
(cmtt10.360) @sf
187 307 p (REAL) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
16 r (as) s
17 r 97 c
(cmtt10.360) @sf
16 r (double) s
(cmr10.360) @sf
46 c
(cmtt10.360) @sf
187 417 p (NULL) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
16 r (as) s
17 r 97 c
(cmtt10.360) @sf
16 r (char) s
(cmr10.360) @sf
46 c
(cmtt10.360) @sf
187 526 p (SEQUENCE) s
(cmbx10.360) @sf
47 c
(cmtt10.360) @sf
(SET) s
(cmbx10.360) @sf
47 c
(cmtt10.360) @sf
(ANY) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
10 r (as) s
12 r 97 c
(cmtt10.360) @sf
11 r (struct) s
26 r (PElement) s
(cmr10.360) @sf
11 r (\(whic) s
104 c
10 r (are) s
11 r (de-) s
311 586 p (scrib) s
2 r (ed) s
20 r (throughout) s
20 r (Chapter) s
20 r 53 c
20 r (of) s
(cmti10.360) @sf
20 r 86 c
-2 r (olume) s
20 r (One) s
(cmr10.360) @sf
(\).) s
32 r (This) s
20 r (format) s
21 r (is) s
311 646 p (used) s
17 r (for) s
17 r (those) s
(cmtt10.360) @sf
16 r (SEQUENCE) s
(cmr10.360) @sf
115 c
17 r (or) s
(cmtt10.360) @sf
16 r (SET) s
(cmr10.360) @sf
115 c
17 r (whic) s
104 c
15 r (con) s
(tain) s
15 r (no) s
17 r (elemen) s
(ts.) s
(cmtt10.360) @sf
187 756 p (SEQUENCE) s
26 r (OF) s
(cmbx10.360) @sf
47 c
(cmtt10.360) @sf
(SET) s
26 r (OF) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r 98 c
121 c
18 r (default,) s
21 r (represen) s
(ted) s
18 r (as) s
20 r 97 c
(cmtt10.360) @sf
20 r (struct) s
(cmr10.360) @sf
20 r (with) s
19 r 116 c
119 c
-1 r 111 c
311 816 p (elemen) s
(ts,) s
20 r 97 c
21 r (link) s
-1 r (ed-list.) s
33 r (The) s
20 r (\014rst) s
21 r (elemen) s
116 c
19 r (is) s
20 r (the) s
21 r 116 c
-1 r (yp) s
1 r 101 c
20 r (for) s
21 r (set) s
20 r (or) s
311 876 p (sequence,) s
17 r (the) s
17 r (second) s
17 r (elemen) s
116 c
16 r (is) s
16 r 97 c
17 r 112 c
2 r (oin) s
-1 r (ter) s
16 r (to) s
17 r (another) s
17 r (instance) s
17 r (of) s
311 936 p (the) s
17 r (structure.) s
22 r 70 c
-3 r (or) s
16 r (example:) s
(cmtt10.329) @sf
421 1042 p (SEQUENCE) s
24 r (OF) s
516 1099 p (Format) s
(cmr10.360) @sf
311 1208 p (migh) s
116 c
16 r 98 c
1 r 101 c
17 r (translated) s
16 r (as:) s
(cmtt10.329) @sf
421 1314 p (struct) s
24 r (element_IMAGE_4) s
24 r 123 c
516 1370 p (struct) s
24 r (type_IMAGE_Format) s
24 r (*Format;) s
516 1483 p (struct) s
24 r (element_IMAGE_4) s
24 r (*next;) s
421 1540 p (};) s
(cmr10.360) @sf
311 1649 p (By) s
19 r (using) s
19 r (the) s
19 r (`-) s
(cmtt10.360) @sf
(h2) s
(cmr10.360) @sf
39 c
19 r (option) s
19 r (\(describ) s
1 r (ed) s
19 r 98 c
2 r (elo) s
-1 r (w\),) s
19 r (an) s
19 r (arra) s
-1 r 121 c
18 r (structure) s
311 1709 p (can) s
17 r 98 c
1 r 101 c
17 r (generated) s
17 r (instead.) s
(cmtt10.360) @sf
187 1819 p (SEQUENCE) s
(cmbx10.360) @sf
47 c
(cmtt10.360) @sf
(SET) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
21 r (as) s
21 r 97 c
22 r (simple) s
(cmtt10.360) @sf
22 r (struct) s
(cmr10.360) @sf
21 r (with) s
22 r (an) s
21 r (elemen) s
116 c
20 r (for) s
311 1879 p (eac) s
104 c
16 r (mem) s
-1 r 98 c
1 r (er.) s
22 r 70 c
-3 r (or) s
15 r (example:) s
(cmtt10.329) @sf
421 1985 p (Mail-Address) s
24 r (::=) s
24 r (SEQUENCE) s
24 r 123 c
516 2041 p (local[0]) s
612 2098 p (IMPLICIT) s
24 r (GraphicString,) s
516 2210 p (domain[1]) s
612 2267 p (IMPLICIT) s
24 r (GraphicString,) s
516 2380 p (options[2]) s
612 2436 p (IMPLICIT) s
24 r (BITSTRING) s
421 2493 p 125 c
@eop
45 @bop0
(cmtt10.360) @sf
[<FF8FF8FF8FF8FF8FF81C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01FFFC01FFFC01FFF
C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C0FF8FF8FF8FF8FF8FF8> 24 30 -2 0 26.151] 72 @dc
(cmtt10.329) @sf
[<7F07F0FF8FF87F07F01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01FFFC01FFFC01FFFC01C01
C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C07F07F0FF8FF87F07F0> 24 28 -1 0 23.863] 72 @dc
(cmtt10.360) @sf
[<0FC0003FF0007FF800F03C00F01E00F00E00600E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E
00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E0003FFC003FFE003FFC0> 24 30 -4 0 26.151] 74 @dc
[<FFFE00FFFF00FFFFC01C07C01C01E01C00F01C00701C00781C00381C00381C003C1C001C1C001C1C001C1C001C1C001C1C00
1C1C001C1C001C1C003C1C00381C00381C00781C00701C00F01C01E01C07C0FFFF80FFFF00FFFE00> 24 30 -1 0 26.151] 68 @dc
[<7F007F00FF80FF807F007F001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C1C1C001C1C1C001C3E
1C001C361C001C361C001C771C001C771C001C631C001CE39C001CE39C001CC19C001CC19C001DC1DC001DC1DC001D80DC00
1D80DC001D80DC007F007F00FF007F807E003F00> 32 30 0 0 26.151] 77 @dc
[<3078FCFC7830> 8 6 -10 0 26.151] 46 @dc
[<1E00003F80007FC00079E00078E000307000007000007800003800003800003C00003C00003C00003C00006E0000660000E6
0000E70000E70001C70001C38001C3800383800381C00781C00701C00701E00F00E00E00E07FC7FCFFC7FE7FC7FC> 24 32 -1 11 26.151] 121 @dc
[<FFE000FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E00000E3E000EFF800FFFC00FC1E00F80F00F00
780F00380E001C0E001C0E001C0E001C0E001C0E001C0E001C0E00380F00380F80700FC1F0FFFFE0FEFF80FE3E00> 24 32 -1 11 26.151] 112 @dc
[<7FFFC0FFFFE0FFFFE07FFFC0> 24 4 -3 5 26.151] 95 @dc
45 @bop1
(cmsl10.360) @sf
245 162 p (5.2.) s
39 r (POSY) s
16 r (ENVIR) s
(ONMENT) s
(cmr10.360) @sf
907 r (45) s
469 307 p (migh) s
116 c
15 r 98 c
2 r 101 c
16 r (translated) s
17 r (as:) s
(cmtt10.329) @sf
579 408 p (struct) s
24 r (type_IMAGE_Mail__Address) s
23 r 123 c
674 464 p (struct) s
24 r (type_UNIV_GraphicString) s
24 r (*local;) s
674 577 p (struct) s
24 r (type_UNIV_GraphicString) s
24 r (*domain;) s
674 690 p (PE) s
143 r (options;) s
579 746 p (};) s
(cmtt10.360) @sf
345 851 p (CHOICE) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (represen) s
(ted) s
16 r (as) s
16 r 97 c
(cmtt10.360) @sf
17 r (struct) s
(cmr10.360) @sf
16 r (con) s
(taining) s
16 r (an) s
(cmtt10.360) @sf
16 r (int) s
(cmr10.360) @sf
17 r (and) s
17 r 97 c
(cmtt10.360) @sf
16 r (union) s
(cmr10.360) @sf
46 c
(cmtt10.329) @sf
579 951 p (CHOICE) s
24 r 123 c
674 1008 p (file-name[0]) s
770 1064 p (IMPLICIT) s
23 r (Filename,) s
674 1177 p (mail-address[1]) s
770 1234 p (IMPLICIT) s
23 r (Mail-Address) s
579 1290 p 125 c
(cmr10.360) @sf
469 1394 p (migh) s
116 c
15 r 98 c
2 r 101 c
16 r (translated) s
17 r (as:) s
(cmtt10.329) @sf
579 1495 p (struct) s
24 r (choice_IMAGE_0) s
23 r 123 c
626 1551 p (int) s
120 r (offset;) s
579 1608 p (#define) s
24 r (choice_IMAGE_0_file__name) s
167 r 49 c
579 1664 p (#define) s
24 r (choice_IMAGE_0_mail__address) s
95 r 50 c
626 1777 p (union) s
24 r 123 c
698 1834 p (struct) s
24 r (type_IMAGE_Filename) s
24 r (*file__name;) s
698 1947 p (struct) s
24 r (type_IMAGE_Mail__Address) s
24 r (*mail__address;) s
626 2003 p 125 c
72 r (un;) s
579 2059 p (};) s
(cmtt10.360) @sf
345 2164 p (OBJECT) s
26 r (IDENTIFIER) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
25 r (represen) s
-1 r (ted) s
10 r (as) s
11 r 97 c
(cmtt10.360) @sf
11 r (struct) s
27 r (OIDentifier) s
(cmr10.360) @sf
11 r (\(these) s
11 r (are) s
469 2224 p (describ) s
1 r (ed) s
17 r (in) s
17 r (Section) s
16 r (5.4.6) s
17 r (of) s
(cmti10.360) @sf
16 r 86 c
-2 r (olume) s
16 r (One) s
(cmr10.360) @sf
(\).) s
(cmtt10.360) @sf
345 2328 p (MODULE.TYPE) s
(cmbx10.360) @sf
58 c
(cmr10.360) @sf
24 r (represen) s
(ted) s
10 r (as) s
11 r 97 c
11 r 112 c
2 r (oin) s
-1 r (ter) s
10 r (to) s
11 r 97 c
(cmtt10.360) @sf
11 r (struct) s
12 r (type_MODULE_TYPE) s
(cmr10.360) @sf
46 c
320 2432 p (Although) s
24 r (these) s
25 r (rules) s
25 r (migh) s
-1 r 116 c
24 r (seem) s
25 r (complicated,) s
27 r (in) s
24 r 112 c
2 r (oin) s
-1 r 116 c
24 r (of) s
25 r (fact) s
25 r (they) s
245 2493 p (are) s
22 r (actually) s
23 r 118 c
-1 r (ery) s
22 r (straigh) s
-1 r (t-forw) s
-1 r (ard) s
22 r (and) s
22 r (regular.) s
40 r (The) s
22 r (easiest) s
23 r 119 c
-1 r 97 c
-1 r 121 c
21 r (to) s
23 r (gain) s
@eop
46 @bop0
(cmbx10.360) @sf
[<0001FF0000001FFFE000007F80780001FC001C0003F000060007E00003000FC00001801FC00001803F800001C03F800000C0
7F800000C07F000000C07F00000000FF00000000FF00000000FF00000000FF00000000FF00000000FF00000000FF00000000
FF000000007F000000C07F000000C07F800000C03F800001C03F800001C01FC00003C00FC00003C007E00007C003F0000FC0
01FC001FC0007F80F3C0001FFFC1C00001FF0040> 40 34 -3 0 41.371] 67 @dc
[<00FF000007FFE0000F81F0001F00F8003E007C007E007E007C003E00FC003F00FC003F00FC003F00FC003F00FC003F00FC00
3F00FC003F007C003E007C003E007C003E003E007C001F00F8000F81F00007FFE00000FF0000> 32 22 -2 0 28.642] 111 @dc
[<FFF1FFE0FFF1FFE01F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F80
3F001F803F001F803F001F803F001F403F001F403F001F203E001F187E00FF0FFC00FF03F000> 32 22 -3 0 31.824] 110 @dc
[<00FC0003FE0007E30007C1800FC1800FC1800FC1800FC1800FC1800FC0000FC0000FC0000FC0000FC0000FC0000FC0000FC0
000FC0000FC0000FC000FFFF00FFFF001FC0000FC00007C00003C00001C00001C00000C00000C00000C00000C000> 24 32 -1 0 22.277] 116 @dc
[<FFF800FFF8001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001FC1E01F43
F01F43F01F63F01F33F0FF1FE0FF0F80> 24 22 -2 0 23.591] 114 @dc
[<FFF0FFF01F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F80
1F801F801F801F801F801F801F801F80FF80FF80> 16 35 -2 0 15.912] 108 @dc
[<FFF0FFF01F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F80FF80FF80000000000000
0000000000000E001F003F807F807F803F801F000E00> 16 36 -2 0 15.912] 105 @dc
[<01FFE0000FFFFC001F807E003E001F007C000F80F80007C0F80007C0F80007C078000FC07C001FC01FFFFF8007FFFF000FFF
FF001FFFFC001FFFE0001C000000180000001800000008FE00000BFF80000F83E0001F01F0001E00F0003E00F8003E00F800
3E00F8003E00F8003E00F8001E00F0001F01F3C00F83E3C003FF9FC000FE0F80> 32 33 -1 11 28.642] 103 @dc
[<FFF1FFE0FFF1FFE01F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F80
3F001F803F001F803F001F803F001FC03F001FC03F001FA03E001F987E001F8FFC001F83F0001F8000001F8000001F800000
1F8000001F8000001F8000001F8000001F8000001F8000001F8000001F800000FF800000FF800000> 32 35 -3 0 31.824] 104 @dc
[<00FF0003FFC00F80E01F00303E00183E00187C00007C0000FC0000FC0000FC0000FFFFF8FFFFF8FC00787C00787C00F87E00
F03E00F01F01E00F83C007FF8000FE00> 24 22 -2 0 26.255] 101 @dc
[<07E03F801FF87F807E0CF8007C02F800F801F800F801F800F801F800F801F8007C01F8003E01F8001F81F80003FDF800003F
F8000001F8000001F8001E01F8003F01F8003F01F0003F03F0003F07E0001FFF800007FE0000> 32 22 -2 0 27.846] 97 @dc
[<FFF0FFF0FFF0FFF0FFF0FFF01F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F80
1F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F401FC0
1F801F401FC01F801F201F201F001F183F183F00FF0FFE0FFE00FF03F803F800> 48 22 -3 0 47.736] 109 @dc
[<C3F800EFFE00FC0F00F00380E003C0E003C0C003C0C007C0003FC007FF801FFF803FFF007FFE00FFF800FF0000F80000F001
80F001807003803807801FFF8007F980> 24 22 -2 0 22.595] 115 @dc
[<FFFF800000FFFF80000007F000000007F000000007F000000007F000000007F000000007F000000007F000000007F0000000
07F000000007F000000007F000000007F000000007F000000007FFFF800007FFFFF00007F003F80007F001FC0007F000FE00
07F0007F0007F0007F0007F0007F8007F0007F8007F0007F8007F0007F8007F0007F8007F0007F0007F0007F0007F000FE00
07F001FC0007F003F800FFFFFFF000FFFFFF8000> 40 34 -2 0 39.158] 80 @dc
[<0007FE0000003FFFC00000FE07F00003F801FC0007F000FE000FE0007F001FC0003F801FC0003F803F80001FC07F80001FE0
7F80001FE07F00000FE0FF00000FF0FF00000FF0FF00000FF0FF00000FF0FF00000FF0FF00000FF0FF00000FF0FF00000FF0
FF00000FF07F00000FE07F00000FE07F00000FE03F80001FC03F80001FC01F80001F801FC0003F800FE0007F0007F000FE00
03F801FC0000FE07F000003FFFC0000007FE0000> 40 34 -3 0 43.032] 79 @dc
[<807FC000E7FFF000FF807800FC001C00F0001E00E0000F00E0000F00C0000F80C0000F80C0000F8000001F8000001F800000
3F800001FF00003FFF0003FFFF0007FFFE001FFFFC003FFFF8003FFFE0007FFF8000FFF00000FF000000FC000000FC000600
F8000600F800060078000E0078000E003C001E003C007E001F01FE0007FFCE0001FE0200> 32 34 -3 0 31.824] 83 @dc
[<000FFFF80000000FFFF8000000007F00000000007F00000000007F00000000007F00000000007F00000000007F0000000000
7F00000000007F00000000007F00000000007F00000000007F00000000007F0000000000FF0000000000FF8000000001FFC0
00000003FCC000000003FCE000000007F8700000000FF0300000000FF0380000001FE0180000003FC00C0000003FC00E0000
007F8006000000FF0003000000FF0003800001FE0001800003FC0001C00003FC0000E00007F80000E000FFFF8007FF00FFFF
8007FF00> 48 34 -1 0 43.309] 89 @dc
(cmr10.360) @sf
[<FFFFFFFFFFFF80> 56 1 0 -12 49.812] 124 @dc
46 @bop1
(cmr10.360) @sf
87 162 p (46) s
(cmsl10.360) @sf
122 r (CHAPTER) s
17 r (5.) s
39 r (PEPY) s
16 r (OPTIONAL) s
17 r (STR) s
-1 r (UCTURE-GENERA) s
-4 r (TOR) s
(cmr10.360) @sf
87 307 p (familiarit) s
121 c
13 r (with) s
15 r (them) s
15 r (is) s
14 r (to) s
15 r (run) s
15 r (some) s
14 r (abstract) s
15 r (syn) s
(tax) s
13 r (mo) s
2 r (dules) s
14 r (through) s
(cmti10.360) @sf
15 r 112 c
-2 r (osy) s
(cmr10.360) @sf
87 367 p (and) s
23 r (then) s
23 r (view) s
23 r (the) s
23 r (resulting) s
23 r (de\014nitions.) s
42 r (Figure) s
23 r (5.2) s
23 r (starting) s
23 r (on) s
23 r (page) s
23 r (51) s
87 428 p (presen) s
(ts) s
19 r (the) s
(cmti10.360) @sf
21 r 67 c
(cmr10.360) @sf
28 r (language) s
20 r (structures) s
21 r (corresp) s
1 r (onding) s
21 r (to) s
21 r (the) s
20 r (abstract) s
21 r (syn) s
-1 r (tax) s
87 488 p (mo) s
2 r (dule) s
16 r (in) s
17 r (Figure) s
16 r (5.1.) s
(cmbx10.360) @sf
87 617 p (Con) s
(trolling) s
18 r (the) s
19 r (names) s
19 r (that) s
19 r (POSY) s
19 r (generates) s
(cmr10.360) @sf
87 710 p (One) s
13 r (of) s
13 r (the) s
14 r (least) s
13 r (friendly) s
13 r (asp) s
1 r (ects) s
14 r (of) s
(cmti10.360) @sf
13 r 112 c
-2 r (osy) s
(cmr10.360) @sf
12 r (is) s
13 r (the) s
14 r (algorithm) s
13 r (it) s
13 r (uses) s
13 r (for) s
13 r 99 c
(ho) s
(osing) s
87 770 p (the) s
13 r (names) s
12 r (of) s
(cmti10.360) @sf
13 r 67 c
(cmr10.360) @sf
20 r (language) s
13 r (structures) s
12 r 98 c
2 r (eing) s
12 r (generated.) s
21 r (The) s
13 r (rules) s
13 r (for) s
12 r 99 c
(ho) s
(osing) s
87 830 p (some) s
15 r (names) s
16 r (are) s
15 r (\014xed,) s
15 r (i.e.,) s
16 r (the) s
15 r (top-lev) s
(el) s
14 r (name) s
15 r (generated) s
15 r (for) s
15 r (an) s
16 r (ASN.1) s
15 r 116 c
-1 r (yp) s
1 r 101 c
87 890 p (can) s
15 r (not) s
16 r 98 c
1 r 101 c
15 r 99 c
(hanged.) s
21 r (Ho) s
-1 r 119 c
-1 r (ev) s
-1 r (er,) s
14 r (the) s
15 r (names) s
16 r (used) s
15 r (for) s
15 r (the) s
16 r (parts) s
15 r (of) s
15 r (the) s
(cmtt10.360) @sf
15 r (struct) s
(cmr10.360) @sf
115 c
87 951 p (generated) s
17 r 98 c
121 c
(cmti10.360) @sf
15 r 112 c
-1 r (osy) s
(cmr10.360) @sf
15 r (can) s
17 r 98 c
2 r 101 c
16 r (con) s
(trolled) s
16 r 124 c
16 r (to) s
17 r (an) s
17 r (exten) s
-1 r 116 c
16 r (using) s
17 r (either) s
17 r (\(or) s
16 r 98 c
2 r (oth\)) s
87 1011 p (of) s
17 r 116 c
-1 r 119 c
-1 r 111 c
16 r (tec) s
-1 r (hniques.) s
162 1071 p (The) s
25 r (\014rst) s
24 r (metho) s
2 r 100 c
24 r (tak) s
(es) s
24 r (adv) s
-2 r (an) s
-1 r (tage) s
23 r (of) s
25 r (the) s
25 r (observ) s
-2 r (ation) s
24 r (that) s
(cmti10.360) @sf
24 r 112 c
-1 r (osy) s
(cmr10.360) @sf
24 r (uses) s
87 1131 p (commen) s
(tary) s
20 r (tags) s
20 r (in) s
21 r (the) s
21 r (ASN.1) s
21 r (de\014nition,) s
22 r (whenev) s
-1 r (er) s
20 r 112 c
2 r (ossible,) s
21 r (as) s
21 r 118 c
-2 r (ariable) s
87 1191 p (names.) s
22 r 84 c
-3 r 111 c
16 r (revisit) s
16 r (an) s
17 r (earlier) s
17 r (example:) s
(cmtt10.329) @sf
212 1288 p (Mail-Address) s
24 r (::=) s
23 r (SEQUENCE) s
24 r 123 c
307 1344 p (local[0]) s
403 1401 p (IMPLICIT) s
23 r (GraphicString,) s
307 1514 p (domain[1]) s
403 1570 p (IMPLICIT) s
23 r (GraphicString,) s
307 1683 p (options[2]) s
403 1740 p (IMPLICIT) s
23 r (BITSTRING) s
212 1796 p 125 c
(cmr10.360) @sf
87 1897 p (migh) s
116 c
15 r 98 c
2 r 101 c
16 r (translated) s
17 r (as:) s
(cmtt10.329) @sf
212 1993 p (struct) s
24 r (type_IMAGE_Mail__Address) s
23 r 123 c
307 2050 p (struct) s
24 r (type_UNIV_GraphicString) s
24 r (*local;) s
307 2163 p (struct) s
24 r (type_UNIV_GraphicString) s
24 r (*domain;) s
307 2276 p (PE) s
143 r (options;) s
212 2332 p (};) s
(cmr10.360) @sf
87 2432 p (In) s
17 r (eac) s
104 c
16 r (case,) s
18 r (the) s
17 r (names) s
17 r (of) s
18 r (the) s
17 r 118 c
-2 r (ariables) s
16 r (\(e.g.,) s
(cmtt10.360) @sf
18 r (local) s
(cmr10.360) @sf
41 c
17 r 119 c
(ere) s
16 r (tak) s
(en) s
16 r (from) s
17 r (the) s
87 2493 p (commen) s
(tary) s
16 r (tag.) s
25 r (Note) s
18 r (that) s
17 r (if) s
18 r (no) s
17 r (tag) s
18 r (is) s
17 r (presen) s
(t,) s
(cmti10.360) @sf
16 r 112 c
-1 r (osy) s
(cmr10.360) @sf
16 r 109 c
(ust) s
16 r 99 c
(ho) s
(ose) s
18 r 97 c
17 r (name) s
@eop
47 @bop0
(cmr10.360) @sf
[<7FE1FFC07FE1FFC0070038000700380007003800070038000700380007003800070038000700380007003800070038000700
3800070038000700380007003800070038000700380007003800FFFFFFE0FFFFFFE007003800070038000700380007003800
070038000700380007003800070078000700F81C0380FC3E0180FC3E00C07E1E0070270C001FC1F0> 32 35 0 0 29.057] 11 @dc
(cmtt10.360) @sf
[<1800C03C03F03C03F03E07381E07381E07381F07380F07380F87380787380783F007C3F003C0C003C00003E00001E00001F0
0000F00000F00000F800007800007800007C00003C00183E003C1E007E1E007E1F00E70F00E70F00E70F80E70780E707C0E7
03C0E703C07E03E07E01E03C01E01800C0> 24 39 -2 4 26.151] 37 @dc
[<FFF8FFF8FFF8E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000
E000E000E000E000E000E000E000E000E000E000E000FFF8FFF8FFF8> 16 39 -10 4 26.151] 91 @dc
[<FFF8FFF8FFF80038003800380038003800380038003800380038003800380038003800380038003800380038003800380038
00380038003800380038003800380038003800380038FFF8FFF8FFF8> 16 39 -2 4 26.151] 93 @dc
(cmtt10.329) @sf
[<3078FCFC7830> 8 6 -9 0 23.863] 46 @dc
[<1803803C07C03C07C03E0EE01E0EE01E0EE01F0EE00F0EE00F0EE00F87C00787C007838007C00003C00003C00003E00001E0
0001E00001F00000F00000F800007800007800387C007C3C007C3C00EE3E00EE1E00EE1E00EE1F00EE0F00EE0F00EE0F807C
07807C0780380300> 24 36 -2 4 23.863] 37 @dc
[<00C00001C00001C00001C00007E0001FF8003FFE0079DE0071C700E1C700E1C380F1C380F1C38061C38001C70001CF0001DE
0003FC000FF8001FE0003DC00079C000F1C000E1C780E1C780E1C780E1C38071C7007DCF003FFE000FFC0003F00001C00001
C00001C00000C000> 24 36 -3 4 23.863] 36 @dc
[ 360 ] /cmsy10.360 @newfont
(cmsy10.360) @sf
[<03F0000FFC001FFE003FFF007FFF807FFF80FFFFC0FFFFC0FFFFC0FFFFC0FFFFC0FFFFC0FFFFC0FFFFC07FFF807FFF803FFF
001FFE000FFC0003F000> 24 20 -3 -2 24.906] 15 @dc
47 @bop1
(cmsl10.360) @sf
245 162 p (5.2.) s
39 r (POSY) s
16 r (ENVIR) s
(ONMENT) s
(cmr10.360) @sf
907 r (47) s
245 307 p (in) s
23 r 97 c
22 r (di\013eren) s
116 c
22 r (fashion.) s
40 r (Hence,) s
25 r (the) s
23 r (\014rst) s
22 r (lev) s
(el) s
22 r (of) s
22 r (con) s
(trol) s
22 r (is) s
23 r (to) s
22 r (simply) s
23 r (add) s
245 367 p (short,) s
19 r (descriptiv) s
101 c
17 r (commen) s
(tary) s
17 r (tags) s
19 r (to) s
18 r (the) s
19 r (remote) s
18 r (op) s
2 r (erations) s
18 r (mo) s
1 r (dule) s
19 r (\(the) s
(cmti10.360) @sf
245 428 p 114 c
-2 r (osy) s
(cmr10.360) @sf
14 r (program) s
14 r (will) s
15 r (preserv) s
101 c
13 r (the) s
15 r (ASN.1) s
14 r (when) s
15 r (it) s
14 r (generates) s
15 r (an) s
14 r (abstract) s
15 r (syn) s
(tax) s
245 488 p (mo) s
1 r (dule.) s
320 548 p (The) s
18 r (second) s
18 r (metho) s
2 r 100 c
18 r (is) s
19 r (to) s
18 r (augmen) s
116 c
17 r (the) s
19 r (remote) s
18 r (op) s
1 r (erations) s
19 r (mo) s
1 r (dule) s
19 r (with) s
245 608 p (the) s
(cmtt10.360) @sf
15 r (%[) s
26 r (...) s
27 r (%]) s
(cmr10.360) @sf
15 r (construct.) s
22 r (This) s
15 r (construct) s
15 r (allo) s
(ws) s
14 r (the) s
15 r (user) s
16 r (to) s
15 r (select) s
15 r 98 c
2 r (oth) s
15 r (the) s
245 668 p (name) s
22 r (used) s
22 r (for) s
23 r (in) s
-1 r (termediate) s
22 r (structures) s
22 r (that) s
22 r (are) s
22 r (generated) s
23 r (and) s
22 r (the) s
22 r (name) s
245 729 p (used) s
17 r (for) s
16 r (the) s
17 r (corresp) s
1 r (onding) s
17 r 118 c
-2 r (ariable) s
16 r (in) s
16 r (certain) s
17 r (cases.) s
22 r (Consider:) s
(cmtt10.329) @sf
369 824 p (ReadImage-INV) s
24 r (::=) s
24 r (SEQUENCE) s
24 r 123 c
465 881 p (...) s
465 993 p (SEQUENCE) s
24 r (OF) s
24 r (%[) s
23 r (format_list) s
24 r 36 c
24 r (head) s
24 r (%]) s
560 1050 p (FORMAT) s
465 1163 p (...) s
369 1219 p 125 c
(cmr10.360) @sf
245 1319 p (migh) s
116 c
15 r 98 c
2 r 101 c
16 r (translated) s
17 r (as:) s
(cmtt10.329) @sf
369 1414 p (struct) s
24 r (type_IMAGE_ReadImage__INV) s
24 r 123 c
465 1471 p (...) s
465 1584 p (struct) s
24 r (format_list) s
24 r 123 c
560 1640 p (struct) s
24 r (type_IMAGE_Format) s
24 r (*element_IMAGE_4;) s
560 1753 p (struct) s
24 r (format_list) s
24 r (*next;) s
465 1809 p 125 c
24 r (*head;) s
465 1922 p (...) s
369 1979 p (};) s
(cmr10.360) @sf
245 2078 p (More) s
17 r (formally) s
-4 r 44 c
16 r (the) s
(cmtt10.329) @sf
369 2174 p (%[) s
24 r (structure-name) s
24 r 36 c
24 r (variable-name) s
24 r (%]) s
(cmr10.360) @sf
245 2273 p (construct) s
22 r (can) s
21 r 98 c
2 r 101 c
21 r (used) s
22 r (to) s
21 r (con) s
(trol) s
21 r (the) s
21 r (names) s
22 r (used) s
21 r (when) s
22 r (generating) s
22 r (in) s
-1 r (ter-) s
245 2333 p (mediate) s
20 r (structures.) s
34 r (The) s
21 r (construct) s
20 r (can) s
21 r 98 c
1 r 101 c
21 r (used) s
20 r (with) s
21 r (an) s
-1 r 121 c
20 r (of) s
20 r (these) s
21 r (ASN.1) s
245 2393 p (constructs:) s
(cmsy10.360) @sf
320 2493 p 15 c
(cmtt10.360) @sf
25 r (SEQUENCE) s
26 r (%[) s
26 r (...) s
26 r (%]) s
@eop
48 @bop0
(cmtt10.360) @sf
[<0007E0001FE0003FE000780000F00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00001E0
0003C000FF8000FF0000FF800003C00001E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000
E00000F000007800003FE0001FE00007E0> 24 39 -3 4 26.151] 123 @dc
[<7C0000FF0000FF800003C00001E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000F0
00007800003FE0001FE0003FE000780000F00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000
E00001E00003C000FF8000FF00007C0000> 24 39 -3 4 26.151] 125 @dc
[<00600000E00000E00000E00003F0000FFE001FFF003CEF8078E3C070E1C0E0E0E0F0E0E0F0E0E0F0E0E000E0E000E1C000E3
C000EF8000FF0007FC001FF0003FE00078E00070E000E0E0C0E0E1E0E0E1E0E0E0E070E0E078E1C03CE7C01FFF800FFE0003
F80000E00000E00000E00000E000006000> 24 39 -3 4 26.151] 36 @dc
[<003800007C00007C0000EE0000EE0000EE0001C70001C70001C7000383800383800383800783C00701C00701C00F01E00E00
E00E00E07FC7FCFFC7FE7FC7FC> 24 21 -1 0 26.151] 118 @dc
[<7FFFC0FFFFE0FFFFE07FFFC0> 24 4 -3 -13 26.151] 45 @dc
(cmbx10.432) @sf
[<FFFE001FFFFEFFFE001FFFFEFFFE001FFFFE01C00000FF0001C00000FF0001E00001FF0000E00001FE0000E00001FE000070
0003FC0000700003FC0000780007FC00003FFFFFF800003FFFFFF800001FFFFFF000001C000FF000001E001FF000000E001F
E000000E003FE0000007003FC0000007003FC0000007807FC0000003807F80000003C0FF80000001C0FF00000001C0FF0000
0000E1FE00000000E1FE00000000F3FE0000000073FC0000000073FC000000003FF8000000003FF8000000003FF800000000
1FF0000000001FF0000000000FE0000000000FE0000000000FE00000000007C00000000007C00000000003800000> 48 41 -2 0 51.970] 65 @dc
[<FFFE1FFFC3FFF8FFFE1FFFC3FFF8FFFE1FFFC3FFF80FE001FC003F800FE001FC003F800FE001FC003F800FE001FC003F800F
E001FC003F800FE001FC003F800FE001FC003F800FE001FC003F800FE001FC003F800FE001FC003F800FE001FC003F800FE0
01FC003F800FE001FC003F800FE001FC003F800FE001FC003F800FE001FC003F800FF001FE003F800FF001FE003F800FD801
FF003F800FCC01F9803F000FC603F8C07F00FFC383F0707E00FFC1FFE03FFC00FFC07F800FF000> 56 27 -3 0 57.283] 109 @dc
[<003FC3FF8000FFF3FF8003F03BFF8007C00FF8000F8007F8001F8003F8003F8003F8007F0003F8007F0003F8007F0003F800
FF0003F800FF0003F800FF0003F800FF0003F800FF0003F800FF0003F800FF0003F8007F0003F8007F0003F8007F0003F800
3F8003F8001F8003F8000FC007F80007E00FF80003F03FF80000FFFBF800001FE3F800000003F800000003F800000003F800
000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F80000003FF800
00003FF80000003FF800> 40 42 -2 0 38.189] 100 @dc
[<0E01FC00000F07FF80000F9E07E0000FF803F0000FF001F8000FE000FC000FE000FE000FE0007F000FE0007F000FE0007F00
0FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F800FE0007F000FE0007F000FE0007F00
0FE000FE000FE000FC000FF000F8000FF801F0000FFE07E0000FE7FF80000FE1FE00000FE00000000FE00000000FE0000000
0FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE0000000FFE0000000
FFE0000000FFE0000000> 40 42 -2 0 38.189] 98 @dc
[<0FC00000003FE00000007C78000000FE3C000000FE1E000000FE0E000000FE0F0000007C0700000038078000000003800000
00038000000001C000000001C000000003E000000003E000000007F000000007F00000000FF80000000FF80000000FF80000
001FDC0000001FDC0000003FDE0000003F8E0000007F8F0000007F070000007F07000000FE03800000FE03800001FC01C000
01FC01C00003FC01E00003F800E00007F800F00007F000700007F0007000FFFE03FF80FFFE03FF80FFFE03FF80> 40 39 -1 12 36.280] 121 @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
[<003FE00001FFFC0007F07F000FC01F801F800FC03F800FE03F800FE07F0007F07F0007F0FF0007F8FF0007F8FF0007F8FF00
07F8FF0007F8FF0007F8FF0007F8FF0007F87F0007F07F0007F07F0007F03F0007E03F800FE01F800FC00FC01F8003F07E00
01FFFC00003FE000> 32 27 -2 0 34.370] 111 @dc
[<FFFEFFFEFFFE0FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0
0FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0FFE0FFE0FFE0> 16 42 -3 0 19.094] 108 @dc
(cmr10.360) @sf
[<0002000040000000030000C0000000070000E0000000070000E0000000078001E0000000078001E00000000F8001F0000000
0F4003D00000000F4003D00000001E4003C80000001E2007880000001E2007880000003C2007840000003C100F040000003C
100F0400000078100F0200000078181F0200000078081E02000000F8081E03000000F0081E01000000F0043C01000000F004
3C01000001E0043C00800001E0027800800001E0027800800003C0027800400003C001F000400003C001F0004000078001F0
002000078001E0002000078001E00020000F0001E00030000F8003E0007800FFF83FFE03FF00FFF83FFE03FF00> 56 35 -1 1 51.196] 87 @dc
48 @bop1
(cmr10.360) @sf
87 162 p (48) s
(cmsl10.360) @sf
122 r (CHAPTER) s
17 r (5.) s
39 r (PEPY) s
16 r (OPTIONAL) s
17 r (STR) s
-1 r (UCTURE-GENERA) s
-4 r (TOR) s
(cmsy10.360) @sf
162 307 p 15 c
(cmtt10.360) @sf
25 r (SEQUENCE) s
26 r (OF) s
26 r (%[) s
26 r (...) s
26 r (%]) s
(cmsy10.360) @sf
162 409 p 15 c
(cmtt10.360) @sf
25 r (SEQUENCE) s
26 r (%[) s
26 r (...) s
26 r (%]) s
26 r 123 c
27 r (...) s
26 r 125 c
(cmsy10.360) @sf
162 511 p 15 c
(cmtt10.360) @sf
25 r (SET) s
26 r (%[) s
26 r (...) s
26 r (%]) s
(cmsy10.360) @sf
162 612 p 15 c
(cmtt10.360) @sf
25 r (SET) s
26 r (OF) s
26 r (%[) s
26 r (...) s
26 r (%]) s
(cmsy10.360) @sf
162 714 p 15 c
(cmtt10.360) @sf
25 r (SET) s
26 r (%[) s
26 r (...) s
26 r (%]) s
26 r 123 c
27 r (...) s
26 r 125 c
(cmsy10.360) @sf
162 816 p 15 c
(cmtt10.360) @sf
25 r (CHOICE) s
26 r (%[) s
26 r (...) s
26 r (%]) s
26 r 123 c
27 r (...) s
26 r 125 c
(cmr10.360) @sf
87 917 p (If) s
17 r (the) s
(cmtt10.360) @sf
17 r 36 c
26 r (variable-name) s
(cmr10.360) @sf
17 r 112 c
1 r (ortion) s
17 r (of) s
17 r (the) s
17 r (construct) s
17 r (is) s
17 r (missing,) s
17 r (then) s
17 r (only) s
17 r (the) s
87 978 p (structure) s
15 r (name) s
16 r (is) s
15 r (tak) s
(en) s
14 r (from) s
15 r (the) s
15 r (construct,) s
16 r (the) s
15 r (name) s
15 r (of) s
16 r (the) s
15 r (corresp) s
1 r (onding) s
87 1038 p 118 c
-2 r (ariable) s
16 r (is) s
17 r (generated) s
16 r (in) s
17 r (the) s
16 r (usual) s
17 r (fashion.) s
162 1098 p (NOTE:) s
18 r (This) s
17 r (facilit) s
121 c
17 r (is) s
17 r (only) s
18 r (allo) s
119 c
-2 r (ed) s
17 r (in) s
18 r (the) s
17 r (use) s
18 r (of) s
18 r (nested) s
18 r (constructs.) s
25 r (It) s
87 1158 p (is) s
17 r (not) s
16 r 112 c
1 r (ossible) s
17 r (to) s
16 r 111 c
118 c
-2 r (erride) s
16 r (the) s
16 r (names) s
17 r 99 c
-1 r (hosen) s
16 r (for) s
16 r (the) s
16 r (top) s
17 r (lev) s
-1 r (el) s
16 r (constructs) s
16 r (as) s
87 1218 p (this) s
18 r 119 c
(ould) s
17 r (break) s
18 r (the) s
19 r (inheritence) s
18 r (of) s
18 r (structures) s
18 r (names) s
18 r (from) s
18 r (other) s
19 r (mo) s
1 r (dules.) s
87 1279 p (E.g.) s
(cmtt10.329) @sf
212 1376 p (Defn) s
24 r (::=) s
23 r (SEQUENCE) s
24 r (%[) s
24 r (...) s
24 r (%]) s
24 r 123 c
24 r (...) s
(cmr10.360) @sf
87 1478 p (is) s
17 r (not) s
16 r (supp) s
2 r (orted) s
16 r (but) s
(cmtt10.329) @sf
212 1576 p (Defn) s
24 r (::=) s
23 r (SEQUENCE) s
24 r 123 c
403 1633 p (SEQUENCE) s
23 r (OF) s
24 r (%[) s
24 r (...) s
24 r (%]) s
24 r (Thing,) s
403 1689 p (...) s
(cmr10.360) @sf
87 1791 p (is.) s
(cmbx10.432) @sf
87 1935 p (5.2.2) s
69 r (Augmen) s
-1 r (ted) s
22 r (Abstract) s
23 r (Syn) s
-1 r (tax) s
22 r (Mo) s
2 r (dule) s
(cmr10.360) @sf
87 2028 p (In) s
15 r (addition) s
16 r (to) s
15 r (the) s
15 r (de\014nition) s
16 r (of) s
(cmti10.360) @sf
15 r 67 c
(cmr10.360) @sf
23 r (language) s
15 r (structures,) s
(cmti10.360) @sf
16 r 112 c
-2 r (osy) s
(cmr10.360) @sf
14 r (will) s
16 r (prepare) s
15 r (an) s
87 2088 p (augmen) s
(ted) s
12 r (abstract) s
12 r (syn) s
(tax) s
12 r (mo) s
1 r (dule) s
13 r (for) s
12 r (use) s
13 r (with) s
13 r (the) s
(cmti10.360) @sf
13 r 112 c
-2 r (epy) s
(cmr10.360) @sf
3 r (\(1\)) s
13 r (program.) s
21 r (With) s
87 2148 p (this) s
13 r (augmen) s
-1 r (ted) s
11 r (mo) s
2 r (dule,) s
(cmti10.360) @sf
13 r 112 c
-1 r (epy) s
(cmr10.360) @sf
11 r (will) s
12 r (generate) s
(cmti10.360) @sf
13 r 67 c
(cmr10.360) @sf
19 r (co) s
2 r (de) s
12 r (to) s
12 r (translate) s
(cmti10.360) @sf
13 r 67 c
(cmr10.360) @sf
19 r (structures) s
87 2208 p (to) s
23 r (and) s
22 r (from) s
23 r (their) s
23 r (corresp) s
1 r (onding) s
22 r (abstract) s
23 r (syn) s
(tax.) s
39 r (As) s
22 r (this) s
23 r (is) s
23 r (en) s
-1 r (tirely) s
22 r (an) s
87 2268 p (automatic) s
17 r (pro) s
2 r (cess,) s
17 r (the) s
17 r (con) s
(ten) s
-2 r (ts) s
17 r (of) s
17 r (the) s
17 r (augmen) s
(ted) s
16 r (abstract) s
17 r (syn) s
(tax) s
16 r (mo) s
1 r (dule) s
87 2328 p (are) s
17 r (relativ) s
-1 r (ely) s
16 r (unimp) s
1 r (ortan) s
(t.) s
@eop
@end