flattener spec

[Suresh Jagannathan]

Could you take a look at this, and tell me where I've
made typos? (I'm sure I've made many, but I've been
staring at this too long.)  Once I get your changes,
I'll fill in the text.  At that point, I'll be in 
a position to hand over the opus to someone else.

  -- sj

==========================

%!PS-Adobe-2.0
%%Creator: dvips(k) 5.78 Copyright 1998 Radical Eye Software (www.radicaleye.com)
%%Title: flatten.dvi
%%Pages: 4
%%PageOrder: Ascend
%%BoundingBox: 0 0 612 792
%%EndComments
%DVIPSCommandLine: dvips flatten.dvi -o flatten.ps
%DVIPSParameters: dpi=600, compressed
%DVIPSSource:  TeX output 2000.02.02:1631
%%BeginProcSet: texc.pro
%!
/TeXDict 300 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
forall round exch round exch]setmatrix}N /@landscape{/isls true N}B
/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B
/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{
/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N
string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{
/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]
N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup
/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx
0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff
.1 sub]/id ch-image N /rw ch-width 7 add 8 idiv string N /rc 0 N /gp 0 N
/cp 0 N{rc 0 ne{rc 1 sub /rc X rw}{G}ifelse}imagemask restore}B /G{{id
gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp
add /cp X}B /chg{rw cp id gp 4 index getinterval putinterval dup gp add
/gp X adv}B /nd{/cp 0 N rw exit}B /lsh{rw cp 2 copy get dup 0 eq{pop 1}{
dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1
adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2
idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string
putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval
adv}B /fillstr 18 string 0 1 17{2 copy 255 put pop}for N /pl[{adv 1 chg}
{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{
adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2
chg nd}{pop nd}]dup{bind pop}forall N /D{/cc X dup type /stringtype ne{]
}if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup
length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict
/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook
known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
/IE 256 array N 2 string 0 1 255{IE S dup 360 add 36 4 index cvrs cvn
put}for pop 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N
/RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley
X /rulex X V}B /V{}B /RV statusdict begin /product where{pop false[
(Display)(NeXT)(LaserWriter 16/600)]{dup length product length le{dup
length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}
forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail
{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}
B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{
4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{
p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{SS restore}B end

%%EndProcSet
TeXDict begin 40258431 52099146 1000 600 600 (flatten.dvi)
@start
%DVIPSBitmapFont: Fa cmss8 7 3
/Fa 3 121 df<137E3801FF80000713C04813E0381FC3F01300003E13785A1438007813
3C12F8B512FCA400F0C7FC7EA31278127C123C003E13046C131CEBC0FCEA0FFF000313F8
6C13E038007F00161D7E9B1B>101 D<133F38F8FFC000F913E000FB13F0EAFF8338FE01
F813005AA25AB2151B7B9A20>110 D<007CEB0FC06CEB1F80003F1400381F803E000F5B
6C6C5AEA03E03801F1F03800FBE0EB7FC05C6DC7FC7F5B80497EEBF3E03801F1F03803E0
F83807C078EB807C000F7F48487E003EEB0F804814C000FCEB07E01B1A80991C>120
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fb cmex10 10 1
/Fb 1 81 df<BB12FC86A3D87FC0C9001F7FF0007F6C6C17076C6C050113806C6CEF007F
1A1F6C6CF00FC06C6C18076C6C1803F201E06C6D17006D6C1860013F19706E18306D7E6D
6C18181B006D7E6D7E6D7EA26D7F6E7E6E7EA26E7E6E7E6E7EA26E7E6E7E80826F7E6F7E
A26F7E6F7E6F5A5EA24B5A5E4BCBFC153E157E5D5D4A5A4A5A14075D4A5A4ACCFC143E14
7E147C5C4948181801031930495A4A18704948186049CC12E0491801017EF003C0017C18
0749180F4848F01F800003197F49EF01FF4848050713004848173F48CA000FB5FC48BA5A
A25ABB5AA24D537B7F58>80 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fc cmmi5 5 2
/Fc 2 111 df<137013F8A213F013E01300A6EA0F80EA1FC0EA31E01261A2EAC3C01203
EA0780A3EA0F001308EA1E18A213301370EA0FE0EA07800D1D7D9C16>105
D<380F03F0383F87FC3833DC1EEA63F8EAC3F013E0EA03C0A248485AA3EC7820D80F0013
6014F015C014F1001EEB7F80000CEB3E001B127D9125>110 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fd cmr5 5 2
/Fd 2 51 df<1360EA01E0120F12FF12F11201B3A3387FFF80A2111C7B9B1C>49
D<EA03FCEA0FFF383C0FC0387003E0387801F0EAFC0014F8A214781278C712F814F0A2EB
01E0EB03C0EB0780EB0F00131C5B13E03801C018EA0380EA0600481338383FFFF05AB5FC
A2151C7D9B1C>I E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fe cmss10 10 23
/Fe 23 122 df<B4ED3FC0B3A790B7FCA590C8123FB3AA2A3A78B93B>72
D<EC0FF0B3B3AD141F15E00060133F1270007CEBFFC0D8FFE7138090B5FC1500003F13FC
000F5BC613C01C3C7DB927>74 D<D8FFE0EC1FC0A27FA27FA2487EA2137EA2137F7F8013
1FA26D7EA280130780130380130180130080A2147FA2EC3F80A2EC1FC0A2140F15E01407
15F0140315F8140115FC1400A2157EA2157F153F169F151FA2ED0FDFA2ED07FFA281A281
A22A3A78B93B>78 D<B612C015F815FF8216E090C77FED1FF8ED07FC15036F7E15008282
1780A2163FA4167FA217005E5E15014B5A1507ED1FF8EDFFF090B65A168093C7FC15F815
C090CAFCB3A6293A79B935>80 D<B67E15F815FE6F7E8290C77FED1FF06F7EED03FC1501
82150082A282A35EA25E15015E1503ED0FF84B5AEDFFE090B65A5E4BC7FC15F815E09038
000FF01407811403811401816E7E8182153F826F7EA26F7EA26F7E1503826F7EA26F7EA2
EE7F80EE3FC0A2EE1FE02B3A78B936>82 D<B912C0A6C7D807F8C8FCB3B3B0323A7DB939
>84 D<EB1FF0EBFFFC000313FF000F14804814C09038E01FE09038000FF0001C13070018
EB03F81210C7FCEC01FCA7143FEB0FFF90B5FC1203120F381FFE01EA3FE0EA7F80130012
FEA414037E387F800FEBE03F6CB5FC7E6C13F96C13E1D801FEC7FC1E287DA628>97
D<EB03FE90381FFFC0017F13E090B512F84814FC3803FC033907F8007CD80FE013384848
13081500485AA248C8FCA3127E12FEA9127FA36C7EA26D1302001F14066C6C131E6C6C13
7E9038FC03FE6CB5FCC614FC6D13F0011F13C0903807FC001F287DA625>99
D<ED3F80B3A2EB0FE0EB3FFC90B5FC4814BF4814FF3807FE07380FF801381FE00049137F
003F143F5B127F90C7FCA312FEAA127FA36C7E157F6C7E6D13FF380FF0033807FE076CB5
12BF6C143F6C13FEEB7FF8D90FE0C7FC213B7DB92B>I<EB07F8EB1FFE90387FFF8048B5
12C04814E03907FC0FF0390FF003F8EBE001391FC000FC49137C003F147E90C7123E5A12
7E151F12FEB7FCA500FCC8FCA27EA2127EA2127F7E7F6C7E6D13026C6C130E6C6C133E39
03FE01FE6CB5FC6C14FC6D13F0011F13C0903803FE0020287EA625>I<14FF010713C05B
5B5BEB7F819038FE0040491300485AA21203ACB512FCA5D803F8C7FCB3AE1A3B7FBA19>
I<12FEB3A2EB01FC90380FFF804913C0017F13E090B512F039FFF81FF8EBE007EBC00301
8013FC14011300A35AB3A71E3A7AB92B>104 D<12FFA81200AC127FB3B308397BB814>I<
12FEB3B3B3A4073A7AB914>108 D<D901FCEB03F83BFE0FFF801FFF496D481380017F6D
B512C090B500F114E03CFFF81FFBF03FF0D9E007EBC00F903AC003FF80070180020013F8
6E140301005BA3485CB3A735267AA542>I<EB01FC39FE0FFF804913C0017F13E090B512
F039FFF81FF8EBE007EBC003018013FC14011300A35AB3A71E267AA52B>I<EB03FE9038
0FFF80013F13E090B512F848803903FE03FE3907F800FF4848EB7F8049133F4848EB1FC0
4848EB0FE0A290C712074815F0A2007E140300FE15F8A9007FEC07F0A36C6CEB0FE0A26C
6CEB1FC06D133F6C6CEB7F806C6CEBFF003903FE03FE6CB55A6C5C6D5B011F13C0D903FE
C7FC25287EA62A>I<EB01FC38FE0FFF013F13C090B57EB67E9038F03FF8EBC00F903880
03FC1300486D7E14008181A21680153FA9ED7F00A35D5D14016C495AEB80076D485A9038
F03FF090B55A485C6D5BD91FFEC7FCEB07F890C9FCAF21367AA52B>I<14F0EAFC07130F
133F137F13FF00FD130013FCEAFFF05B5BA25B90C7FCA35AB3A414267AA51C>114
D<EB7FE03801FFFC0007EBFF804814C05A383FC03F90380007801401007E90C7FCA4127F
A26C7E13F0EBFF806C13F06C13FC6C7F6C7FC61480131F010013C0143FEC0FE0A21407A3
124012600078EB0FC000FE131F39FFC07F8090B5FC6C1400001F5B000313F838007FC01B
287EA620>I<EA01FCAAB6FCA5D801FCC7FCB3A76D138014013900FF07C014FFA26D1300
EB3FFCEB1FE01A307FAE1E>I<00FEEB01FCB3AA1403A214076C131F387F807F90B5FC6C
13F914F1000F13C1D803FCC7FC1E267AA42B>I<B4EC0FE06CEC1FC0A26C7EED3F807F00
1FEC7F00A26C7E15FE7F00075C1401EA03F85DEBFC0312015D3800FE075D137E140F017F
5B133FA290381F9F80A292C7FC130FA2EB079E14DEA2EB03FCA26D5AA35C13035CA21307
5C130FA2495A1220D8383FC8FCEA3FFEA25B5BEA0FE023367FA426>121
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Ff cmti7 7 6
/Ff 6 111 df<14181438147814F81301EB03F0130FEA01FF13F3380003E0A21307A214
C0A2130FA21480A2131FA21400A25BA2133EA2137EA2137CA213FCA25BA21201B512F0A2
152678A523>49 D<EB01FC903807FF8090380F07C090383C01E090387000F05BD801C213
7813C7EA0383157CEA0703A2D80E0613F8A25B90381C01F013383907F003E03903C007C0
C7EA0F80EC3E0014FCEB01F0EB07E0EB1F80017EC7FC13F8EA01E0D80380137048C7FC12
0E4814E0003C1301393FC003C0397FFC07800070B5120038F03FFE38E00FFCEB01F01E27
7AA523>I<EB0FE0EB3FF8EBF83C3801E01EEA03800007133EEA0F00001E133C003E1318
003C1300127CA25AA45AA31408141C0078133C1478383C01F0381E07C0380FFF00EA03F8
171B789920>99 D<130E131E133EA2131C1300A8EA03C0EA07F0EA0C78121812381230EA
70F8A212E0EAE1F01201EA03E0A3EA07C0A2EA0F801387A2EA1F07130EA2EA1E0C131CEA
0E38EA0FF0EA03C010287BA615>105 D<137CEA0FFCA2EA00F8A21201A213F0A21203A2
13E0A21207A213C0A2120FA21380A2121FA21300A25AA2123EA2127EA2EA7C38A3EAF870
A21360EA78E013C0EA3F80EA0F000E297BA712>108 D<3907803F80390FE0FFC0391CF1
C1E03938F301F0EBFE00485A81495B00E1130113F01201A24848485AA34A5AEA07C0EDC3
80EC0F83A23A0F801F0700A2150EEC0F0CD81F005BEC07F0000E6D5A211B7B9926>110
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fg cmr7 7 4
/Fg 4 62 df<13381378EA01F8121F12FE12E01200B3AB487EB512F8A215267BA521>49
D<13FF000313E0380E03F0381800F848137C48137E00787F12FC6CEB1F80A4127CC7FC15
005C143E147E147C5C495A495A5C495A010EC7FC5B5B903870018013E0EA018039030003
0012065A001FB5FC5A485BB5FCA219267DA521>I<13FF000313E0380F01F8381C007C00
30137E003C133E007E133FA4123CC7123E147E147C5C495AEB07E03801FF8091C7FC3800
01E06D7E147C80143F801580A21238127C12FEA21500485B0078133E00705B6C5B381F01
F03807FFC0C690C7FC19277DA521>I<B812E0A3CBFCABB812E0A32B117D9633>61
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fh cmti10 10 28
/Fh 28 122 df<EE7FE0923903FFFC7E92380FC03E92381F000F033EEB3FFE4B137F03FC
14FC5D1401173D4A48EB01F8A21703A24A4814F0A21707A2020F15E05D170FA218C0010F
B7FCA3903B001F80001F80A2173F143F92C71300A25FA24A147E147E17FEA25F14FE4A13
01A25FA2010114035CEFF070A21607010316F04AECE0E0A3EFE1C013074A14C3933803E3
80EE01E7933800FF004948143C94C7FCA3495AA3001C90CAFC127E133E12FE133C137CEA
F878EA78F0EA3FE0EA0F80374C82BA31>13 D<15181538157815F0140114031407EC0FE0
141F147FEB03FF90383FEFC0148FEB1C1F13001580A2143FA21500A25CA2147EA214FEA2
5CA21301A25CA21303A25CA21307A25CA2130FA25CA2131FA25CA2133FA291C7FC497EB6
1280A31D3877B72A>49 D<DB03FE130E92393FFF801E92B5EAE03C913903FE01F0913A0F
F000787CDA3FC0EB3CFC4AC7EA1FF802FE140FEB03FC49481407494815F049481403495A
5C49C813E05B485A5B000317C0485AA2485A1880485A94C7FCA2485AA3127F5BA312FF90
CBFCA41738A217784816707E17F06C5E16015F16036C6C4A5A94C7FC001F150E6D141E00
0F5D6D5C6C6C495A6C6CEB03C0D801FEEB0F8027007F807EC8FC6DB45A010F13E0010090
C9FC373D74BA3B>67 D<0103B612FEEFFFC018F0903B0007F8000FF84BEB03FCEF00FE02
0F157FF03F804B141F19C0021F150F19E05D1807143F19F05DA2147FA292C8FCA25C180F
5CA2130119E04A151FA2130319C04A153FA201071780187F4A1600A2010F16FEA24A4A5A
60011F15034D5A4A5D4D5A013F4B5A173F4A4AC7FC17FC017FEC03F84C5A91C7EA1FC049
49B45A007F90B548C8FCB712F016803C397CB83F>I<0103B512F8A390390007F8005DA2
140FA25DA2141FA25DA2143FA25DA2147FA292C7FCA25CA25CA21301A25CA21303A25CA2
1307A25CA2130FA25CA2131FA25CA2133FA25CA2137FA291C8FC497EB6FCA25C25397CB8
20>73 D<0107B512FCA25E9026000FF8C7FC5D5D141FA25DA2143FA25DA2147FA292C8FC
A25CA25CA21301A25CA21303A25CA21307A25CA2130F170C4A141CA2011F153C17384A14
78A2013F157017F04A14E01601017F140317C091C71207160F49EC1F80163F4914FF0001
02071300B8FCA25E2E397BB834>76 D<0107B612F817FF1880903B000FF0003FE04BEB0F
F0EF03F8141FEF01FC5DA2023F15FEA25DA2147FEF03FC92C7FCA24A15F817074A15F0EF
0FE01301EF1FC04AEC3F80EFFE0001034A5AEE0FF091B612C04CC7FCD907F8C9FCA25CA2
130FA25CA2131FA25CA2133FA25CA2137FA291CAFCA25BA25B1201B512FCA337397BB838
>80 D<0007B812E0A25AD9F800EB001F01C049EB07C0485AD900011403121E001C5C003C
17801403123800785C00701607140700F01700485CA2140FC792C7FC5DA2141FA25DA214
3FA25DA2147FA292C9FCA25CA25CA21301A25CA21303A25CA21307A25CA2130FA25CEB3F
F0007FB512F8B6FCA2333971B83B>84 D<B500F8903803FFFEA218FCD803FEC8EA7FC049
ED3F000001163E173C17385FA25F16015F6D4A5AA200004BC7FC5E160E5EA25EA25E5EA2
6D495A7F4B5A150793C8FC150EA25D153C15385D1480013F5B14815DEC8380A20287C9FC
A2148E149E149C14F8A26D5AA25C5CA25CA291CAFC131EA2373B6FB83E>86
D<14F8EB07FE90381F871C90383E03FE137CEBF801120148486C5A485A120FEBC001001F
5CA2EA3F801403007F5C1300A21407485C5AA2140F5D48ECC1C0A2141F15831680143F15
87007C017F1300ECFF076C485B9038038F8E391F0F079E3907FE03FC3901F000F0222677
A42A>97 D<133FEA1FFFA3C67E137EA313FE5BA312015BA312035BA31207EBE0F8EBE7FE
9038EF0F80390FFC07C013F89038F003E013E0D81FC013F0A21380A2123F1300A214075A
127EA2140F12FE4814E0A2141F15C05AEC3F80A215005C147E5C387801F8007C5B383C03
E0383E07C0381E1F80D80FFEC7FCEA01F01C3B77B926>I<147F903803FFC090380FC1E0
90381F0070017E13784913383901F801F83803F003120713E0120FD81FC013F091C7FC48
5AA2127F90C8FCA35A5AA45AA3153015381578007C14F0007EEB01E0003EEB03C0EC0F80
6CEB3E00380F81F83803FFE0C690C7FC1D2677A426>I<ED01F815FFA3150316F0A21507
A216E0A2150FA216C0A2151FA21680A2153FA202F81300EB07FE90381F877F90383E03FF
017C5BEBF80112013803F00048485B120FEBC001121F5DEA3F801403127F01005BA21407
5A485CA2140FA248ECC1C0A2141F15C3ED8380143F1587007C017F1300ECFF076C485B90
38038F8E391F0F079E3907FE03FC3901F000F0253B77B92A>I<147F903803FFC090380F
C1E090383F00F0017E13785B485A485A485A120F4913F8001F14F0383F8001EC07E0EC1F
80397F81FF00EBFFF891C7FC90C8FC5A5AA55AA21530007C14381578007E14F0003EEB01
E0EC03C06CEB0F806CEB3E00380781F83803FFE0C690C7FC1D2677A426>I<ED07C0ED1F
F0ED3E38ED7C3CEDF8FC15F9140115F1020313F8EDF0F0160014075DA4140F5DA4141F5D
010FB512C05B16809039003F800092C7FCA45C147EA414FE5CA413015CA413035CA41307
5CA4130F5CA3131F5CA391C8FC5B121CEA7E3EA2EAFE3C137C1378EAF8F01278EA3FC0EA
0F80264C82BA19>I<EC07C0EC3FF09138FC38E0903901F01FF0EB03E0903807C00FEB0F
80011F1307D93F0013E05B017E130F13FE4914C01201151F1203491480A2153F12074914
00A25DA249137EA215FEA25D00031301140314076C6C485A0000131FEB787BEB3FF39038
0FC3F0EB00031407A25DA2140F5D121C007E131F5D00FE49C7FC147E5C387801F8387C07
E0381FFF80D803FEC8FC24367CA426>I<EB03F0EA01FFA3EA00075CA3130F5CA3131F5C
A3133F91C8FCA35B90387E07F0EC1FFCEC783E9038FFE01F02C01380EC800F1400485A16
C05B49EB1F8012035BA2153F000715005BA25D000F147E5B15FE5D121FD98001131C15F8
163C003F01031338010013F0A216704814E0007E15F016E0EDE1C000FE903801E3804890
3800FF000038143C263B7BB92A>I<EB0FC0EA07FFA3EA001F1480A2133FA21400A25BA2
137EA213FEA25BA21201A25BA21203A25BA21207A25BA2120FA25BA2121FA25BA2123FA2
90C7FCA25AA2EA7E0EA212FE131EEAFC1CA2133C133812F81378EA7870EA7CE0121FEA0F
80123B79B915>108 D<D801E013FE3A07F803FF803A0E3C0F07C03A1E3E3C03E0261C1F
787F39383FF00114E0007813C000708114804A485AEAF07FEAE07EA20000140701FE5C5B
A2150F00015D5B151F5E12034990383F8380160316070007027F130049137EA2160E000F
147C49141E161C5E001FEC3C7849EB1FE00007C7EA0780292679A42F>110
D<147F903803FFC090380FC1F090381F00F8017E137C5B4848137E4848133E0007143F5B
120F485AA2485A157F127F90C7FCA215FF5A4814FEA2140115FC5AEC03F8A2EC07F015E0
140F007C14C0007EEB1F80003EEB3F00147E6C13F8380F83F03803FFC0C648C7FC202677
A42A>I<9039078007C090391FE03FF090393CF0787C903938F8E03E9038787FC0017049
7EECFF00D9F0FE148013E05CEA01E113C15CA2D80003143FA25CA20107147FA24A1400A2
010F5C5E5C4B5A131F5EEC80035E013F495A6E485A5E6E48C7FC017F133EEC70FC90387E
3FF0EC0F8001FEC9FCA25BA21201A25BA21203A25B1207B512C0A3293580A42A>I<3903
C003F0390FF01FFC391E783C0F381C7C703A3C3EE03F8038383FC0EB7F80007815000070
1300151CD8F07E90C7FCEAE0FE5BA2120012015BA312035BA312075BA3120F5BA3121F5B
A3123F90C9FC120E212679A423>114 D<14FE903807FF8090380F83C090383E00E04913
F00178137001F813F00001130313F0A215E00003EB01C06DC7FC7FEBFFC06C13F814FE6C
7F6D13807F010F13C01300143F141F140F123E127E00FE1480A348EB1F0012E06C133E00
705B6C5B381E03E06CB45AD801FEC7FC1C267AA422>I<EB0380EB07C0130FA4131F1480
A3133F1400A35B137E007FB5FCA2B6FC3800FC00A312015BA312035BA312075BA3120F5B
A3121FEB801CA2143C003F1338EB0078147014F014E0EB01C0EA3E03381F0780380F0F00
EA07FCEA01F0183579B31C>I<13F8D803FEEB01C0D8078FEB03E0390E0F8007121E121C
0038140F131F007815C01270013F131F00F0130000E015805BD8007E133FA201FE14005B
5D120149137EA215FE120349EBFC0EA20201131E161C15F813E0163CD9F0031338140700
01ECF07091381EF8F03A00F83C78E090393FF03FC090390FC00F00272679A42D>I<01F0
130ED803FC133FD8071EEB7F80EA0E1F121C123C0038143F49131F0070140FA25BD8F07E
140000E08013FEC6485B150E12015B151E0003141C5BA2153C000714385B5DA35DA24A5A
140300035C6D48C7FC0001130E3800F83CEB7FF8EB0FC0212679A426>I<903907E007C0
90391FF81FF89039787C383C9038F03E703A01E01EE0FE3803C01F018013C0D8070014FC
481480000E1570023F1300001E91C7FC121CA2C75AA2147EA214FEA25CA21301A24A1370
A2010314F016E0001C5B007E1401010714C000FEEC0380010F1307010EEB0F0039781CF8
1E9038387C3C393FF03FF03907C00FC027267CA427>120 D<13F0D803FCEB01C0D8071E
EB03E0D80E1F1307121C123C0038140F4914C01270A249131FD8F07E148012E013FEC648
133F160012015B5D0003147E5BA215FE00075C5BA214015DA314035D14070003130FEBF0
1F3901F87FE038007FF7EB1FC7EB000F5DA2141F003F5C48133F92C7FC147E147C007E13
FC387001F8EB03E06C485A383C1F80D80FFEC8FCEA03F0233679A428>I
E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fi cmsy7 7 3
/Fi 3 107 df<B712FEA327037A8F34>0 D<1338A50060130C00F8133E00FC137E00FE13
FE383FBBF83807FFC000011300EA007C48B4FC000713C0383FBBF838FE38FE00FC137E00
F8133E0060130C00001300A517197B9A22>3 D<12E0B3B3B3A5033B78AB14>106
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fj cmmi7 7 12
/Fj 12 122 df<160E163E16FEED03F8ED0FE0ED3F80EDFE00EC03F8EC0FE0EC3F8002FE
C7FCEB03F8EB0FE0EB3F8001FEC8FCEA03F8EA0FE0EA3F8000FEC9FC12F812FEEA3F80EA
0FE0EA03F8EA00FEEB3F80EB0FE0EB03F8EB00FEEC3F80EC0FE0EC03F8EC00FEED3F80ED
0FE0ED03F8ED00FE163E160E27277AA134>60 D<4B7E1503150782150F151FA2153FA215
6F15CF82EC0187140315071406140E140C02187FA2EC30031460A214C013011480D90300
7F91B5FC5B90380C0001A25B13380130805B01E013005B12011203000F4A7ED8FFF89038
1FFFE0A22B2A7DA932>65 D<013FB612F0A2903901FC00074A1301160001031560A25CA2
1307A25CED0180010F0103130093C7FC14C05D131F151EECFFFEA290383F801E150C1400
A249131C1518137E92C8FC13FEA25BA21201A25BA21203B512F0A22C287DA72A>70
D<90383FFFF8A2D901FCC7FC5CA21303A25CA21307A25CA2130FA25CA2131FA25CA2133F
A291C8FCA249141C1618137E163801FE1430167049146016E000011401ED03C0491307ED
0F800003147FB7FC160026287DA72E>76 D<000FB712E05A9039800FE007D81E009038C0
01C05A0038011F1300123000705C00601501023F148012E0481400A2C74890C7FCA2147E
A214FEA25CA21301A25CA21303A25CA21307A25CA2130FA25CA2131F001FB57EA22B287D
A727>84 D<EB0FE0EB3FF8EBF81C3801E00E3803803E0007137EEA0F00001E137C123E00
3C1300127CA25AA45AA31404140C0078131814306C13E0381E07C0380FFF00EA03F8171B
7C991E>99 D<130E131F5BA2133E131C90C7FCA7EA03E0487EEA0C78EA187C1230A21260
5B12C0A2EA01F0A3485AA2485AA2EBC180EA0F81A2381F0300A213066C5A131CEA07F06C
5A11287DA617>105 D<1407EC0F80141FA21500140E91C7FCA7EB03E0EB07F8EB0C3C13
18EB303E136013C0A248485AA2C7FCA25CA4495AA4495AA4495AA4495AA21238D87C1FC7
FC12FC133E485AEA70F8EA7FE0EA1F80193380A61B>I<137CEA0FFCA2EA00F8A21201A2
13F0A21203A213E0A21207A213C0A2120FA21380A2121FA21300A25AA2123EA2127EA2EA
7C18A3EAF830A21320EA786013C0EA3F80EA0F000E297EA715>108
D<3907801FC0390FE07FF03918F0E0F83930F1807CEBFB00D860FE133C5B5B00C1147C5B
1201A248485BA34A5AEA07C01660EC03E0A23A0F8007C0C0A2EDC180913803C300D81F00
13C7EC01FE000EEB00F8231B7D9929>110 D<90387C03C03901FF0FF03907079C30390E
03B078000CEBF0F8001813E1123015F0396007C0E015001200A2495AA449C7FC15301238
007C1460EAFC3E15C0EAF87E39F06F03803970C70700383F83FE381F01F81D1B7D9926>
120 D<EA03E0486C1370D80C7813F8EA187C0030EB01F0A2126013F800C0EB03E0A2EA01
F0A2EC07C0EA03E0A33907C00F80A4EC1F00A25C00035B3801E0FE3800FFBEEB3F3E1300
5C121E003F5B5C387E01E0383C03C038300780D81C1FC7FCEA0FFCEA07F01D267D9922>
I E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fk cmsy10 10 12
/Fk 12 108 df<0060150600F8150F6C151F007E153F6C157E6C6C14FC6C6CEB01F86C6C
EB03F06C6CEB07E06C6CEB0FC06C6CEB1F80017EEB3F006D137E6D6C5A90380FC1F89038
07E3F0903803F7E06DB45A6D5B6EC7FCA24A7E497F903803F7E0903807E3F090380FC1F8
90381F80FC90383F007E017E7F49EB1F804848EB0FC04848EB07E04848EB03F04848EB01
F84848EB00FC48C8127E007E153F48151F48150F00601506282874A841>2
D<EB0380497EA7397803803C00FC147E00FE14FE397F8383FC393FC387F8390FE38FE039
03FBBF803900FFFE00EB3FF8EB0FE0A2EB3FF8EBFFFE3903FBBF80390FE38FE0393FC387
F8397F8383FC39FE0380FE00FC147E0078143C390007C000A76D5A1F247BA62A>I<EF01
80EF07C0171FEF7F80933801FF00EE07FCEE1FF0EE7FC04B48C7FCED07FCED1FF0ED7FC0
4A48C8FCEC07FCEC1FF0EC7FC04948C9FCEB07FCEB1FF0EB7FC04848CAFCEA07FCEA3FF0
EA7FC048CBFC5AEA7F80EA3FE0EA0FF8EA03FEC66C7EEB3FE0EB0FF8EB03FE903800FF80
EC3FE0EC0FF8EC03FE913800FF80ED3FE0ED0FF8ED03FE923800FF80EE3FE0EE0FF8EE03
FE933800FF80EF3FC0170FEF038094C7FCAE007FB81280B912C0A26C1780324479B441>
20 D<181EA4181F84A285180785727EA2727E727E85197E85F11F80F10FC0F107F0007F
BA12FCBCFCA26C19FCCCEA07F0F10FC0F11F80F13F00197E61614E5A4E5AA24E5A61180F
96C7FCA260181EA4482C7BAA53>33 D<173CA2173E171E171F8384717E170384717E717E
187C007FB812FEBAFC856C84CBEA03F0727EF000FEF13F80F11FE0F107F8F101FFA2F107
F8F11FE0F13F80F1FE00F001F84E5A007FB912C0BA5A96C7FC6C5FCB127C604D5A4D5A60
17074D5A95C8FC5F171E173E173CA248307BAC53>41 D<91381FFFFE91B6FC1303010F14
FED91FF0C7FCEB7F8001FEC8FCEA01F8485A485A485A5B48C9FCA2123EA25AA2127812F8
A25AA2B712FE16FFA216FE00F0C9FCA27EA21278127CA27EA27EA26C7E7F6C7E6C7E6C7E
EA00FEEB7F80EB1FF06DB512FE010314FF1300021F13FE283279AD37>50
D<0307B612FE033FEDFF804AB812C0140791260F807EC7FC91263C00FEEC3F004A161E4A
491418010194C7FC495A01071301A2D90FC05B148014000118130390C75BA34B5AA3150F
5EA34B5AA293B512FC4B5C604B14C0037ECAFCA25DA25D1401A24A5AA25D14075D140F5D
141F92CBFC5C0006133E003E137E007E137CB413FC6D5AEBC1F0EBF1E06CB45A6C90CCFC
6C5AEA07F0423C7EB83C>70 D<ED07FF037F13E04AB512F0020714F891381F807F91387C
000F02F01307D903C01303494814F049C7FC011E15E0491407017C15C049140F48481580
EE1F004848141E00075D491470000F92C7FCA2485AA348CAFCA35A007E1640EE03C01607
00FE150FEE1F80A2163F1700A25E7E16FEA215016C6C13036D5C15076D130F6C6C495AD8
1FFC13799038FF01F16C9038FFC3F06C1403000101FC5B39007FE00790C75B150F5E151F
93C7FC5D153E5D00071478D81FC05B397FF001E039FFFE03C06CB5C8FC001F5B000713F0
C613C02D457CBA31>I<EE3FF0923803FFFE030FEBFF80033F14C0DBFC0713E0913801E0
00DA0780EB3FF04AC7121F4A140F143E027E1407027C15E014FC18800101ED0F0094C7FC
A280A280816D7F81EC7FF86E7E6EB4FC6E13C0020313F06E13FC6E6C7E92381FFF800307
7F03017F6F7FEE3FF8161F160F01706E7E48481403EA07C048C8FC4815015A127E5FA200
FE5E16036C5E4C5A6D5D6D4AC7FC6C6C141E6D5CD83FFC14F06CB4EB03E06C9038E03F80
6CD9FFFEC8FC000114F86C6C13C0D90FFCC9FC343D7FBA32>83 D<03FF15F802076DEB01
FC4A6D1307023F150FDA7C7F14034A6C6C1301903801F01F02C016F890C7FC030F15F0F0
03E07014C0F00780F00F00181C0307147860EF03C04D5A051EC7FC5F17F0EEF9E0EEFF80
94C8FC16FC6F5AA21507151F153F15F3EC03E3EC078391381E03FC143C14F0EB01E09038
078001EB0F00133C5B13E0EA03C048488048C7FC5A123E007E14007013E000FE1603EF87
C06CEECF8001C06EB4C7FC4915FC90C86C5A007CED1FC03E397CB83B>88
D<126012F0B3B3B3B3A91260045377BD17>106 D<0070131C00F0131EB3B3B3B3A80070
131C175277BD2A>I E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fl cmmi10 10 29
/Fl 29 127 df<15FE913803FF8091380F83E091383E01F091387C00F85C494813FC0103
147C4948137E5C130F495AA249C7FC16FE5B137EA2150113FE4914FCA20001140316F85B
ED07F01203ED0FE04914C0151F000715806DEB3F00157E6D5B390FEE01F09038E707E090
38C3FF80D9C0FCC7FC001F90C8FCA25BA2123FA290C9FCA25AA2127EA212FEA25AA21270
27377EA42B>26 D<013FB512FE90B7FC5A5A4815FE260F801CC7FCEA1E005A00385B5A5A
481378C7FC147014F0A4495AA31303A3495AA3130FA25C131FA3133FA291C8FC131E2825
7EA324>28 D<121C127FEAFF80A5EA7F00121C0909798817>58 D<121C127FEAFF80A213
C0A3127F121C1200A412011380A2120313005A1206120E5A5A5A12600A19798817>I<17
60177017F01601A21603A21607160FA24C7EA216331673166316C3A2ED0183A2ED030315
0683150C160115181530A21560A215C014011580DA03007FA202061300140E140C5C021F
B5FC5CA20260C7FC5C83495A8349C8FC1306A25BA25B13385B01F01680487E000716FFB5
6C013F13FF5EA2383C7DBB3E>65 D<9339FF8001C0030F13E0037F9038F80380913A01FF
807E07913A07F8000F0FDA1FE0EB079FDA3F80903803BF0002FFC76CB4FCD901FC80495A
4948157E495A495A4948153E017F163C49C9FC5B1201484816385B1207485A1830121F49
93C7FCA2485AA3127F5BA312FF90CCFCA41703A25F1706A26C160E170C171C5F6C7E5F00
1F5E6D4A5A6C6C4A5A16076C6C020EC8FC6C6C143C6C6C5C6CB4495A90393FE00FC0010F
B5C9FC010313FC9038007FC03A3D7CBA3B>67 D<0103B6FC5B5E90260007FCC8FC5D5D14
0FA25DA2141FA25DA2143FA25DA2147FA292C9FCA25CA25CA21301A25CA21303A25CA213
0718404A15C0A2010F150118804A1403A2011F16005F4A1406170E013F151E171C4A143C
177C017F5D160391C7120F49EC7FF0B8FCA25F32397DB839>76 D<0103B7FC4916E018F8
903B0007F80007FC4BEB00FE187F020FED3F80F01FC05DA2021F16E0A25DA2143FF03FC0
5DA2027FED7F80A292C8130018FE4A4A5A604AEC07F04D5A0101ED3FC04CB4C7FC91B612
FC17E0D903FCCAFCA25CA21307A25CA2130FA25CA2131FA25CA2133FA25CA2137FA291CB
FC497EB6FCA33B397DB835>80 D<0003B812FEA25A903AF8003FC00101C0913880007E48
48163C90C7007F141C121E001C92C7FCA2485CA200305C007017180060130112E0485CA2
1403C716005DA21407A25DA2140FA25DA2141FA25DA2143FA25DA2147FA292C9FCA25CA2
5CA21301A25CA21303A25CEB0FFC003FB6FC5AA237397EB831>84
D<147E903803FF8090390FC1C38090391F00EFC0017E137F49133F485A4848EB1F801207
5B000F143F48481400A2485A5D007F147E90C7FCA215FE485C5AA214015D48150CA21403
EDF01C16181407007C1538007E010F1330003E131F027B13706C01E113E03A0F83C0F9C0
3A03FF007F80D800FCEB1F0026267DA42C>97 D<133FEA1FFFA3C67E137EA313FE5BA312
015BA312035BA31207EBE0FCEBE3FF9038E707C0390FFE03E09038F801F001F013F8EBE0
00485A15FC5BA2123F90C7FCA214015A127EA2140312FE4814F8A2140715F05AEC0FE0A2
15C0EC1F80143F00781400007C137E5C383C01F86C485A380F07C06CB4C7FCEA01FC1E3B
7CB924>I<163FED1FFFA3ED007F167EA216FEA216FCA21501A216F8A21503A216F0A215
07A2027E13E0903803FF8790380FC1CF90381F00EF017EEB7FC049133F485A4848131F00
0715805B000F143F485A1600485A5D127F90C7127EA215FE5A485CA21401A248ECF80CA2
1403161CEDF0181407007C1538007E010F1330003E131F027B13706C01E113E03A0F83C0
F9C03A03FF007F80D800FCEB1F00283B7DB92B>100 D<EC3FC0903801FFF0903807E078
90381F801C90387E001E49130E485A485A1207485A49131E001F141C153C484813F8EC03
E0007FEB3FC09038FFFE0014E090C8FC5A5AA7007E140315071506003E140E153C6C1470
6C6C13E0EC07C03903E03F003801FFF838003FC020267DA427>I<16F8ED03FEED0F8792
381F0F80ED3E3F167F157CA215FC1700161C4A48C7FCA414035DA414075DA20107B512F0
A39026000FE0C7FC5DA4141F5DA4143F92C8FCA45C147EA514FE5CA413015CA4495AA45C
1307A25C121E123F387F8F80A200FF90C9FC131E12FEEA7C3CEA7878EA1FF0EA07C0294C
7CBA29>I<EC07E0EC1FF891387C1C38903901F80EFC903803F007903807E003EB0FC090
381F8001D93F0013F85B017E130313FE16F0485A150712034914E0A2150F12074914C0A2
151FA2491480A2153FA2160000035C6D5B00015B4A5A3900F8077E90387C1EFEEB1FF890
3807E0FC90C7FC1401A25DA21403001E5C123F387F80075D00FF495A49485A4849C7FC00
7C137E383C01F8381FFFE0000390C8FC26367FA428>I<14E0EB03F8A21307A314F0EB01
C090C7FCAB13F8EA03FEEA070F000E1380121C121812381230EA701F1260133F00E01300
12C05BEA007EA213FE5B1201A25B12035BA20007131813E01438000F133013C01470EB80
6014E014C01381EB838038078700EA03FEEA00F815397EB71D>105
D<150FED3F80A2157FA31600151C92C7FCABEC0F80EC3FE0ECF0F0903801C0F849487E14
005B130E130C131CEB1801133801305BA2EB0003A25DA21407A25DA2140FA25DA2141FA2
5DA2143FA292C7FCA25CA2147EA214FEA25CA21301001E5B123F387F83F0A238FF87E049
5A00FE5BD87C1FC8FCEA707EEA3FF8EA0FC0214981B722>I<EB03F0EA01FFA3EA00075C
A3130F5CA3131F5CA3133F91C8FCA35B017EEB07C0ED1FF0ED783801FEEBE0F89039FC01
C1FCEC0383EC07070001130ED9F81C13F891383803F091387001E0000349C7FCEBF1C0EB
F38001F7C8FCEA07FEA2EBFFE0EBE7F8380FE0FEEBC07F6E7E141F001F80D9800F1330A2
1670003F011F136001001380A216E04815C0007E1481020F1380158300FE903807870048
EB03FE0038EB00F8263B7CB92B>I<EB0FC0EA03FF5AA2EA001F1480A2133FA21400A25B
A2137EA213FEA25BA21201A25BA21203A25BA21207A25BA2120FA25BA2121FA25BA2123F
A290C7FCA25AA2EA7E03A2EAFE07130612FCA2130E130C131C1318EA7C38EA3C70EA1FE0
EA0780123B7DB919>I<D803E0017F14FE3D07F801FFE003FFC03D0E3C0781F00F03E03D
1C3E1E00F83C01F026383F38D9FC707F00304914E04A90387DC000007049EB7F80006049
91C7FCA200E090C700FE1301485A017E5CA200000201140301FE5F495CA2030314070001
60495C180F03075D1203494A011F13601980030F023F13E00007F000C0495C1901031F02
3E1380000F1803494A150061033F150E001FEF1E1C4991C7EA0FF80007C7000EEC03E043
267EA449>I<EC1FC0ECFFF8903807E07E90380F801F90393F000F80017E14C049130748
4814E0485A4848EB03F0120F5B121F48481307A2127F90C7FCA2150F5A4815E0A2151F16
C0A248EC3F8016005D157E007E5C4A5A003E495A003F495A6C495A6C6C48C7FC3807E07E
3801FFF038003F8024267DA428>111 D<90390F8003F090391FE00FFC903939F03C1F90
3A70F8700F80903AE0FDE007C09038C0FF80030013E00001491303018015F05CEA038113
015CA2D800031407A25CA20107140FA24A14E0A2010F141F17C05CEE3F80131FEE7F004A
137E16FE013F5C6E485A4B5A6E485A90397F700F80DA383FC7FC90387E1FFCEC07E001FE
C9FCA25BA21201A25BA21203A25B1207B512C0A32C3583A42A>I<3903E001F83907F807
FE390E3C1E07391C3E381F3A183F703F800038EBE07F0030EBC0FF00705B00601500EC00
7E153CD8E07F90C7FCEAC07EA2120013FE5BA312015BA312035BA312075BA3120F5BA312
1F5B0007C9FC21267EA425>114 D<EB01C0497E1307A4130F5CA3131F5CA3133F91C7FC
007FB51280A2B6FCD8007EC7FCA313FE5BA312015BA312035BA312075BA3120FEBC006A2
140E001F130CEB801C141814385C146014E0380F81C038078780D803FEC7FCEA00F81935
7EB31E>116 D<01F8EB03C0D803FEEB07E0D8070F130F000E018013F0121C1218003814
0700301403D8701F130112601500D8E03F14E000C090C7FC5BEA007E16C013FE5B150100
0115805B150316001203495B1506150E150C151C151815385D00015C6D485A6C6C485AD9
7E0FC7FCEB1FFEEB07F024267EA428>118 D<903907E001F090391FF807FC9039783E0E
0F9039E01F1C1FD801C09038383F803A03800FF07F0100EBE0FF5A000E4A1300000C157E
021F133C001C4AC7FC1218A2C7123FA292C8FCA25CA2147EA214FEA24A130CA20101141C
001E1518003F5BD87F81143801835C00FF1560010714E03AFE0E7C01C0D87C1C495A2778
383E0FC7FC391FF00FFC3907C003F029267EA42F>120 D<13F8D803FE1470D8070F14F8
000EEB8001121C121800381403003015F0EA701F1260013F130700E0010013E012C05BD8
007E130F16C013FE5B151F000115805BA2153F000315005BA25D157EA315FE5D14010001
13033800F80790387C1FF8EB3FF9EB0FE1EB00035DA2000E1307D83F805B007F495AA24A
5A92C7FCEB003E007C5B00705B6C485A381E07C06CB4C8FCEA01FC25367EA429>I<D901
E01360D90FF813E0496C13C090383FFE0190397FFF038090B5EA07009038F81FFF3901E0
03FE9038C0001C495B5DC85A4A5A4A5A4AC7FC140E5C5C14F0495AEB038049C8FC130E5B
4913035B495B484813064848130E48C75AD80FFC137C391FFF81F8381E0FFFD838075B48
6C5B00605CD8E00190C7FC38C0007C23267DA427>I<1504151E151FA2ED0F8016C0ED07
E0007FB612F0B712F8A26C15F0C8EA1FC0ED3F00157E5D5D5D1560251271BB2A>126
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fm cmr10 10 47
/Fm 47 122 df<EC0FF8EC7FFE903901F80780903907E001C090391F8000E090383F0007
017E497EA25BA2485A6F5AED018092C8FCA9ED03F0B7FCA33901F8000F1503B3AA486C49
7E267FFFE0B512C0A32A3B7FBA2E>12 D<B612F8A31D037AB02A>22
D<030C1303031E497EA2033E130FA2033C91C7FCA2037C5BA20378131EA303F8133EA24B
133CA20201147CA24B1378A2020314F8A24B5BA302071301007FB91280BA12C0A26C1880
C7271F0007C0C7FC021E5CA3023E130FA2023C91C8FCA2027C5BA20278131EA302F8133E
007FB91280BA12C0A26C1880280003E000F8C8FC4A5BA301071301A202805BA2010F1303
A202005BA2491307A2011E5CA3013E130FA2013C91C9FCA2017C5BA20178131EA2013013
0C3A4A7BB945>35 D<121C127FEAFF80A213C0A3127F121C1200A412011380A212031300
5A1206120E5A5A5A12600A1979B917>39 D<146014E0EB01C0EB0380EB0700130E131E5B
5BA25B485AA2485AA212075B120F90C7FCA25A121EA2123EA35AA65AB2127CA67EA3121E
A2121F7EA27F12077F1203A26C7EA26C7E1378A27F7F130E7FEB0380EB01C0EB00E01460
135278BD20>I<12C07E12707E7E7E120F6C7E6C7EA26C7E6C7EA21378A2137C133C133E
131EA2131F7FA21480A3EB07C0A6EB03E0B2EB07C0A6EB0F80A31400A25B131EA2133E13
3C137C1378A25BA2485A485AA2485A48C7FC120E5A5A5A5A5A13527CBD20>I<15301578
B3A6007FB812F8B912FCA26C17F8C80078C8FCB3A6153036367BAF41>43
D<121C127FEAFF80A5EA7F00121C0909798817>46 D<EB01C013031307131F13FFB5FCA2
131F1200B3B3A8497E007FB512F0A31C3879B72A>49 D<EB0FF0EB7FFE48B57E3903E03F
E0390F000FF0000E6D7E486D7E486D7E123000706D7E126012FCB4EC7F807FA56CC7FC12
1CC8FCEDFF00A34A5A5D14035D4A5A5D140F4A5A4A5A92C7FC147C5C495A495A495A495A
91C8FC011EEB01805B5B49130348481400485A485A000EC75A000FB6FC5A5A485CB6FCA3
21387CB72A>I<EB07F8EB3FFF4913C03901F80FF03903C007F848486C7E380E0001000F
80381FE0006D7FA56C5A6C5AC85A1401A25D4A5AA24A5A5DEC0F80027EC7FCEB1FFCECFF
809038000FE06E7EEC01FC816E7EED7F80A216C0A2153F16E0A2121EEA7F80487EA416C0
49137F007F1580007EC7FC0070ECFF006C495A121E390F8003F83907F00FF00001B512C0
6C6C90C7FCEB0FF8233A7DB72A>I<1538A2157815F8A2140114031407A2140F141F141B
14331473146314C313011483EB030313071306130C131C131813301370136013C01201EA
038013005A120E120C5A123812305A12E0B712F8A3C73803F800AB4A7E0103B512F8A325
397EB82A>I<121C127FEAFF80A5EA7F00121CC7FCB2121C127FEAFF80A5EA7F00121C09
2479A317>58 D<007FB812F8B912FCA26C17F8CCFCAE007FB812F8B912FCA26C17F83616
7B9F41>61 D<EC03FF021F13E09138FC00FCD901E0131ED90780EB0780011EC7EA01E001
38EC00704981498148488148488190C97E48D901FC1480000ED907FFEB01C0000C90391F
03C000001C90267E00E013E000184901701360263801F86D13700030496D13300103EC0F
E0267007E00107133800601718495AA200E0171C484848150CAA6C6C7E1260A26D6C151C
00701718263003F0130F0101141F00386D013F1338261800FC01771330001C017E9038E3
F070000C90261F03C113E0000E903A07FF00FFC06CD901FCEB3F006C90CAFC7F6C7E6C7E
13706D167C011EED03FCD90780EC1FF0D901E0ECFF80D900FC90383FFC00021FB5128002
0301E0C7FC363C7BBA41>64 D<1538A3157CA315FEA34A7EA34A6C7EA202077FEC063FA2
020E7FEC0C1FA2021C7FEC180FA202387FEC3007A202707FEC6003A202C07F1501A2D901
807F81A249C77F167FA20106810107B6FCA24981010CC7121FA2496E7EA3496E7EA3496E
7EA213E0707E1201486C81D80FFC02071380B56C90B512FEA3373C7DBB3E>I<913A01FF
800180020FEBE003027F13F8903A01FF807E07903A03FC000F0FD90FF0EB039F4948EB01
DFD93F80EB00FF49C8127F01FE153F12014848151F4848150FA248481507A2485A170312
3F5B007F1601A35B00FF93C7FCAD127F6DED0180A3123F7F001F160318006C7E5F6C7E17
066C6C150E6C6C5D00001618017F15386D6C5CD91FE05C6D6CEB03C0D903FCEB0F809027
01FF803FC7FC9039007FFFFC020F13F002011380313D7BBA3C>67
D<B712C016F816FE000190398001FF806C90C7EA3FE0EE0FF0EE03F8707E707E177FA2EF
3F8018C0171F18E0170F18F0A3EF07F8A418FCAC18F8A4EF0FF0A218E0A2171F18C0EF3F
80A2EF7F0017FE4C5A4C5AEE0FF0EE3FE0486DEBFF80B8C7FC16F816C036397DB83F>I<
B612C0A3C6EBC0006D5AB3B3AD497EB612C0A31A397EB81E>73 D<B712C016F816FE0001
90398001FF806C90C7EA3FC0EE0FE0EE07F0EE03F817FC17FE1601A217FFA717FEA2EE03
FCA2EE07F817F0EE0FE0EE3FC0923801FF0091B512FC16F091C9FCB3A5487FB6FCA33039
7DB839>80 D<D90FF813C090383FFE0190B512813903F807E33907E000F74848137F4848
133F48C7121F003E140F007E1407A2007C140312FC1501A36C1400A37E6D14006C7E7F13
F86CB47E6C13F8ECFF806C14E06C14F86C14FEC680013F1480010714C0EB007F020713E0
EC007FED3FF0151F150FED07F8A200C01403A21501A37EA216F07E15036C15E06C14076C
15C06C140F6DEB1F80D8FBF0EB3F00D8F0FE13FE39E03FFFF8010F13E0D8C00190C7FC25
3D7CBA2E>83 D<003FB812E0A3D9C003EB001F273E0001FE130348EE01F0007816000070
1770A300601730A400E01738481718A4C71600B3B0913807FF80011FB612E0A335397DB8
3C>I<B5D8FC07B5D8F001B5FCA30007902780001FFEC7EA1FF86C48C7D80FF8EC07E000
010307ED03C01B807F6C6F6C1500A26E5F017F6E6C1406A280013F4A6C5CA280011F4A6D
5BEE067FA26D6C010E6D5BEE0C3FA26D6C011C6D5BEE181FA26D6C6F5BEE300FA26D6C6F
485AEE6007A26D6C4CC7FC9338C003FCA203805D913B7F818001FE06A203C1150EDA3FC3
C7EAFF0CA203E3151CDA1FE6EC7F98A215F6DA0FFCEC3FF0A302075E4B141FA202035E4B
140FA202015E4B1407A2020093C8FC4B80503B7EB855>87 D<EAFFF8A4EAF000B3B3B3B3
A3EAFFF8A40D5378BD17>91 D<EAFFF8A4EA0078B3B3B3B3A3EAFFF8A40D537FBD17>93
D<EB1FE0EBFFFC3803E03F3907000F80390F8007E0486C6C7E13E06E7EA26E7E6C5A6C5A
C8FCA4147FEB07FFEB3FE0EBFE00EA03F8EA0FF0EA1FC0123F485A90C7FC160C12FEA314
01A26C13036CEB077C903980063E18383FC01E3A0FE0781FF03A03FFF00FE03A007F8007
C026277DA52A>97 D<EA03F012FFA3120F1203B0EC1FE0EC7FF89038F1E03E9039F3801F
809039F7000FC001FEEB07E049EB03F049EB01F85BED00FCA216FEA2167E167FAA167E16
FEA216FC15016D14F8ED03F07F01EEEB07E001C6EB0FC09039C7801F00903881E07E9038
00FFF8C7EA1FC0283B7EB92E>I<EB03FC90381FFF8090387E03E03901F80070484813F8
3907E001FC380FC003A2EA1F80123F90380001F848EB00F01500A2127E12FEAA127E127F
A26C14067F001F140E6D130C000F141C6C6C13386C6C13706C6C13E039007C07C090381F
FF00EB07F81F277DA525>I<ED0FC0EC03FFA3EC003F150FB0EB03F8EB1FFF90387E078F
9038F801EF3903F0007F4848133F4848131FA24848130F123F90C7FC5AA2127E12FEAA12
7E127FA27EA26C6C131FA26C6C133F6C6C137F6C6CEBEFF03A01F801CFFF39007C078F90
381FFE0FD907F813C0283B7DB92E>I<EB07F8EB1FFF90387C0FC03901F803E03903F001
F0D807E013F8380FC0004848137CA248C7127E153E5A153F127E12FEA3B7FCA248C8FCA5
127EA2127FA26C14037F001F14076C6C13060007140E6D131CD801F013386C6C13709038
7E03E090381FFF80903803FC0020277EA525>I<147E903803FF8090380FC1E0EB1F8790
383F0FF0137EA213FCA23901F803C091C7FCADB512FCA3D801F8C7FCB3AB487E387FFFF8
A31C3B7FBA19>I<ED03F090390FF00FF890393FFC3C3C9039F81F707C3901F00FE03903
E007C03A07C003E010000FECF000A248486C7EA86C6C485AA200075C6C6C485A6D485A6D
48C7FC38073FFC38060FF0000EC9FCA4120FA213C06CB512C015F86C14FE6CECFF804815
C03A0F80007FE048C7EA0FF0003E140348140116F8481400A56C1401007C15F06CEC03E0
003F1407D80F80EB0F80D807E0EB3F003901FC01FC39007FFFF0010790C7FC26387EA52A
>I<EA03F012FFA3120F1203B0EC0FF0EC3FFCECF03F9039F1C01F809039F3800FC0EBF7
0013FE496D7EA25BA35BB3A3486C497EB500C1B51280A3293A7EB92E>I<EA0380EA0FE0
487EA56C5AEA0380C8FCAAEA03F012FFA312071203B3AA487EB512C0A312387EB717>I<
EA03F012FFA3120F1203B3B3AD487EB512C0A3123A7EB917>108
D<2703F00FF0EB1FE000FFD93FFCEB7FF8913AF03F01E07E903BF1C01F83803F3D0FF380
0FC7001F802603F70013CE01FE14DC49D907F8EB0FC0A2495CA3495CB3A3486C496CEB1F
E0B500C1B50083B5FCA340257EA445>I<3903F00FF000FFEB3FFCECF03F9039F1C01F80
3A0FF3800FC03803F70013FE496D7EA25BA35BB3A3486C497EB500C1B51280A329257EA4
2E>I<EB03FE90380FFF8090383E03E09038F800F84848137C48487F48487F4848EB0F80
001F15C090C712074815E0A2007EEC03F0A400FE15F8A9007E15F0A2007F14076C15E0A2
6C6CEB0FC0000F15806D131F6C6CEB3F006C6C137EC66C13F890387E03F090381FFFC0D9
03FEC7FC25277EA52A>I<3903F01FE000FFEB7FF89038F1E07E9039F3801F803A07F700
0FC0D803FEEB07E049EB03F04914F849130116FC150016FEA3167FAA16FEA3ED01FCA26D
EB03F816F06D13076DEB0FE001F614C09039F7803F009038F1E07E9038F0FFF8EC1FC091
C8FCAB487EB512C0A328357EA42E>I<3807E01F00FFEB7FC09038E1E3E09038E387F038
0FE707EA03E613EE9038EC03E09038FC0080491300A45BB3A2487EB512F0A31C257EA421
>114 D<EBFF03000313E7380F80FF381E003F487F487F00707F12F0A2807EA27EB490C7
FCEA7FE013FF6C13E06C13F86C7F00037FC67F01071380EB007F141F00C0EB0FC01407A2
6C1303A37E15806C13077EEC0F00B4131E38F3C07C38E1FFF038C03F801A277DA521>I<
1318A51338A31378A313F8120112031207001FB5FCB6FCA2D801F8C7FCB215C0A93800FC
011580EB7C03017E13006D5AEB0FFEEB01F81A347FB220>I<D803F0EB07E000FFEB01FF
A3000FEB001F00031407B3A4150FA3151F12016D133F0000EC77F86D9038E7FF8090383F
03C790381FFF87903A03FC07E00029267EA42E>I<B538803FFEA33A0FF8000FF06C48EB
07E00003EC03C06D148000011500A26C6C1306A26D130E017E130CA26D5BA2EC8038011F
1330A26D6C5AA214E001075BA2903803F180A3D901FBC7FCA214FF6D5AA2147CA31438A2
27257EA32C>I<B53A1FFFE03FFEA3260FF8009038000FF86C48017EEB03E018C0000302
3EEB0180A26C6C013FEB0300A36C6CEC8006156FA2017E9038EFC00C15C7A2D93F016D5A
15830281EBF038D91F831430150102C3EBF87090260FC6001360A2D907E66D5A02EC137C
A2D903FCEB7F804A133FA2010192C7FC4A7FA20100141E4A130E0260130C37257EA33C>
I<B538807FFFA33A03FE003FF00001EC1F80000092C7FC017E131C6D13186D6C5AECC070
010F5B6D6C5AECF180EB03FB6DB4C8FC6D5AA2147F804A7E8114CF903801C7E090380383
F090380703F8EB0601496C7E011C137E49137F01787F496D7E486C80000FEC3FF0D8FFFE
90B51280A329247FA32C>I<B538803FFEA33A0FF8000FF06C48EB07C00003EC03806C7E
16007F00001406A2017E5BA2137F6D5BA26D6C5AA2ECC070010F1360A26D6C5AA214F101
035BA2D901FBC7FCA214FF6D5AA2147CA31438A21430A214701460A25CA2EA7C0100FE5B
130391C8FC1306EAFC0EEA701C6C5AEA1FF0EA0FC027357EA32C>I
E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fn cmbx12 14.4 19
/Fn 19 122 df<932601FFFCEC01C0047FD9FFC013030307B600F81307033F03FE131F92
B8EA803F0203DAE003EBC07F020F01FCC7383FF0FF023F01E0EC0FF94A01800203B5FC49
4848C9FC4901F8824949824949824949824949824990CA7E494883A2484983485B1B7F48
5B481A3FA24849181FA3485B1B0FA25AA298C7FC5CA2B5FCAE7EA280A2F307C07EA36C7F
A21B0F6C6D1980A26C1A1F6C7F1C006C6D606C6D187EA26D6C606D6D4C5A6D6D16036D6D
4C5A6D6D4C5A6D01FC4C5A6D6DEE7F806D6C6C6C4BC7FC6E01E0EC07FE020F01FEEC1FF8
0203903AFFE001FFF0020091B612C0033F93C8FC030715FCDB007F14E0040101FCC9FC52
5479D261>67 D<B812F8A5D8000701F8CAFCB3B3A91A7CA41AFC1AF8A51901A31903A219
071AF0190FA2191F193F197F19FF180360183F4DB5FCBB12E0A546527CD151>76
D<BAFC19F819FF1AE086D8000701F0C7001F13FC060113FF726C13807313C0070F13E01B
F0857313F81BFCA27313FEA41BFFA81BFEA31BFC61A21BF84F13F04F13E0614F13C04F13
004E485A061F5B92B812F01AC04FC7FC19E003F8CBFCB3AEB812C0A550527CD15C>80
D<91260FFF80130791B500F85B010702FF5B011FEDC03F49EDF07F9026FFFC006D5A4801
E0EB0FFD4801800101B5FC4848C87E48488149150F001F824981123F4981007F82A28412
FF84A27FA26D82A27F7F6D93C7FC14C06C13F014FF15F86CECFF8016FC6CEDFFC017F06C
16FC6C16FF6C17C06C836C836D826D82010F821303010082021F16801400030F15C0ED00
7F040714E01600173F050F13F08383A200788200F882A3187FA27EA219E07EA26CEFFFC0
A27F6D4B13806D17006D5D01FC4B5A01FF4B5A02C04A5A02F8EC7FF0903B1FFFC003FFE0
486C90B65AD8FC0393C7FC48C66C14FC48010F14F048D9007F90C8FC3C5479D24B>83
D<003FBC1280A59126C0003F9038C0007F49C71607D87FF8060113C001E08449197F4919
3F90C8171FA2007E1A0FA3007C1A07A500FC1BE0481A03A6C994C7FCB3B3AC91B912F0A5
53517BD05E>I<EC7FFF0107B512F0013F14FE90B77E48D9E00F7F2703FE000113F0486C
6D7F6EEB3FFC48826E131F83707FA36C496D7FA26C90C7FC6C5AC9FCA6037FB5FC020FB6
FC91B7FC01071487013FEBF0074913803901FFFC004813F0485B485B485B4890C7FC5A5B
A2485AA45EA26D5C007F151D163D6C6C02797F6C6D01F113F86C9026C003E1EBFFE06C90
26F81FC014F06C90B5487EC6ED001F011F01FC010713E0010101E090C8FC3C387CB641>
97 D<913801FFF8021FEBFF8091B612F0010315FC010F9038C00FFE903A1FFE0001FFD9
7FFC491380D9FFF05B4817C048495B5C5A485BA2486F138091C7FC486F1300705A4892C8
FC5BA312FFAD127F7FA27EA2EF03E06C7F17076C6D15C07E6E140F6CEE1F806C6DEC3F00
6C6D147ED97FFE5C6D6CEB03F8010F9038E01FF0010390B55A01001580023F49C7FC0201
13E033387CB63C>99 D<913803FFC0023F13FC49B6FC010715C04901817F903A3FFC007F
F849486D7E49486D7E4849130F48496D7E48178048497F18C0488191C7FC4817E0A24881
5B18F0A212FFA490B8FCA318E049CAFCA6127FA27F7EA218E06CEE01F06E14037E6C6DEC
07E0A26C6DEC0FC06C6D141F6C6DEC3F806D6CECFF00D91FFEEB03FE903A0FFFC03FF801
0390B55A010015C0021F49C7FC020113F034387CB63D>101 D<DA3FFF14FF0103B5D8F0
0713C0010FDAFC1F13E0013FECFF7F90267FFC0F9038FF9FF09026FFE001EBF83F48496C
13E0484990387FF01F4890C7D83FF813E0489338FC0FC0F0078048486E6CC7FCA2003F82
A9001F5EA26C6C4A5AA26C5E6C6D495A6C6D495A6C6D485BDAFC0F5B4890B6C8FCD803EF
14FC01C314F02607C03F90C9FC91CBFCA2120FA37FA213F813FE90B7FC6C16F817FF18C0
6C836C836C836D828448B9FC12074848C700031480D81FF8EC003F4848150748486F13C0
83485A83A56D5D007F18806D5D003F18006C6C4B5AD80FFEED1FFC6C6C6CEC7FF86C01E0
49485A6C01FE011F5B6C6CB71280010F03FCC7FC010115E0D9000F01FCC8FC3C4F7CB543
>103 D<137F497E000313E0487FA2487FA76C5BA26C5BC613806DC7FC90C8FCADEB3FF0
B5FCA512017EB3B3A6B612E0A51B547BD325>105 D<EB3FF0B5FCA512017EB3B3B3B1B6
12F0A51C537BD225>108 D<D93FF0EB1FFCB591B512C0030314F0030F8092391FE07FFC
92393F001FFE0003027C80C602F07FDAF1E081ECF3C0DAF7807F8502FFC7FC5CA25CA45C
B3ACB6D8F807B612C0A542367BB54B>110 D<913801FFE0021F13FE91B612C0010315F0
010F9038807FFC903A1FFC000FFED97FF86D6C7E49486D7F48496D7F48496D7F4A147F48
834890C86C7EA24883A248486F7EA3007F1880A400FF18C0AC007F1880A3003F18006D5D
A26C5FA26C5F6E147F6C5F6C6D4A5A6C6D495B6C6D495B6D6C495BD93FFE011F90C7FC90
3A0FFF807FFC6D90B55A010015C0023F91C8FC020113E03A387CB643>I<90397FE003FE
B590380FFF80033F13E04B13F09238FE1FF89139E1F83FFC0003D9E3E013FEC6ECC07FEC
E78014EF150014EE02FEEB3FFC5CEE1FF8EE0FF04A90C7FCA55CB3AAB612FCA52F367CB5
37>114 D<903903FFF00F013FEBFE1F90B7FC120348EB003FD80FF81307D81FE0130148
487F4980127F90C87EA24881A27FA27F01F091C7FC13FCEBFFC06C13FF15F86C14FF16C0
6C15F06C816C816C81C681013F1580010F15C01300020714E0EC003F030713F015010078
EC007F00F8153F161F7E160FA27E17E07E6D141F17C07F6DEC3F8001F8EC7F0001FEEB01
FE9039FFC00FFC6DB55AD8FC1F14E0D8F807148048C601F8C7FC2C387CB635>I<143EA6
147EA414FEA21301A313031307A2130F131F133F13FF5A000F90B6FCB8FCA426003FFEC8
FCB3A9EE07C0AB011FEC0F8080A26DEC1F0015806DEBC03E6DEBF0FC6DEBFFF86D6C5B02
1F5B020313802A4D7ECB34>I<D93FF8913801FFC0B50207B5FCA50003ED001FC61607B3
AE5FA35FA2017F5D173B177B6D6C14F3DC01E313F06D6CD907C3EBFFC0903A0FFFC03F83
6D90B51203010114FE6D6C13F8020701E091C7FC42377BB54B>I<007FB500F090387FFF
FEA5C66C48C7000F90C7FC6D6CEC07F86D6D5C6D6D495A6D4B5A6F495A6D6D91C8FC6D6D
137E6D6D5B91387FFE014C5A6E6C485A6EEB8FE06EEBCFC06EEBFF806E91C9FCA26E5B6E
5B6F7E6F7EA26F7F834B7F4B7F92B5FCDA01FD7F03F87F4A486C7E4A486C7E020F7FDA1F
C0804A486C7F4A486C7F02FE6D7F4A6D7F495A49486D7F01076F7E49486E7E49486E7FEB
FFF0B500FE49B612C0A542357EB447>120 D<B600F00107B5FCA5C601F8C8EA7FE06EED
3F00A26D6C153E187E013F167C6E15FC6D5E6F13016D5E6F13036D5E8117076D6D5C170F
6D6D5C171F6D93C7FC6F5B027F143E6F137E023F147C6F13FCA26E6D5A16816EEBC1F016
C36E5C16E76E5C16FF6E5CA26E91C8FCA36F5AA26F5AA26F5AA26F5AA26F5AA35E150F5E
151F93C9FC5DD81FC0133E486C137E486C137C486C13FC5D14015D14034A5A6C48485A49
485A263FC07FCAFCEB81FE6CB45A6C13F000035BC690CBFC404D7DB447>I
E
%EndDVIPSBitmapFont
end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin

%%EndSetup
%%Page: 1 1
1 0 bop 523 614 a Fn(Syn)l(tax)1007 853 y Fm(\()p Fl(T)12
b(y)s(pe)p Fm(\))283 b Fl(\034)93 b Fm(::=)82 b Fl(o)28
b Fk(j)g Fl(\034)g Fk(\003)18 b Fl(:)c(:)g(:)k Fk(\003)g
Fl(\034)38 b Fk(j)27 b Fl(t)h Fk(j)g Fl(t)2543 865 y
Fj(c)1007 957 y Fm(\()p Fl(Label)r(T)12 b(y)s(pe)p Fm(\))80
b Fl(\034)93 b Fm(::=)82 b Fl(o)28 b Fk(j)g Fl(\034)2017
969 y Fj(L)2085 957 y Fk(\003)2127 926 y Fj(F)9 b Fi(j)p
Fj(T)2268 957 y Fl(:)14 b(:)g(:)19 b Fk(\003)2426 926
y Fj(F)9 b Fi(j)p Fj(T)2567 957 y Fl(\034)2603 969 y
Fj(L)2680 957 y Fk(j)28 b Fl(t)g Fk(j)g Fl(t)2870 969
y Fj(c)523 1330 y Fn(T)-11 b(ranslation)523 1512 y Fm(De\014ne)28
b Fk(k)p Fm(:)23 b Fh(L)l(ab)l(elT)-6 b(yp)l(e)30 b Fk(!)24
b Fh(T)-6 b(yp)l(e)1533 1476 y Fi(\003)1571 1512 y Fm(:)1053
1701 y Fk(j)37 b Fl(o)g Fk(j)636 b Fm(=)82 b([)28 b Fl(o)g
Fm(])1053 1834 y Fk(j)37 b Fl(\034)1158 1803 y Fj(T)1149
1854 y Fg(1)1230 1834 y Fk(\003)18 b Fl(:)c(:)g(:)k Fk(\003)g
Fl(\034)1510 1803 y Fj(T)1501 1854 y(n)1600 1834 y Fk(j)226
b Fm(=)82 b([)28 b Fk(\003)14 b Fm(\()p Fk(j)23 b Fl(\034)2217
1846 y Fg(1)2277 1834 y Fk(j)h Fm(@)14 b Fl(:)g(:)g(:)f
Fm(@)22 b Fk(j)h Fl(\034)2682 1846 y Fj(n)2751 1834 y
Fk(j)p Fm(\))28 b(])1053 1966 y Fk(j)37 b Fl(\034)1149
1978 y Fg(1)1219 1966 y Fk(\003)1261 1936 y Fj(F)1334
1966 y Fl(:)14 b(:)g(:)19 b Fk(\003)1492 1936 y Fj(F)1579
1966 y Fl(\034)1615 1978 y Fj(n)1660 1966 y Fl(\034)47
b Fk(j)83 b Fm(=)f(\()p Fk(j)24 b Fl(\034)2111 1978 y
Fg(1)2171 1966 y Fk(j)f Fm(@)14 b Fl(:)g(:)g(:)g Fm(@)22
b Fk(j)h Fl(\034)2576 1978 y Fj(n)2645 1966 y Fk(j)p
Fm(\))648 2158 y(De\014ne)28 b Fk(k)p Fm(:)22 b Fh(L)l(ab)l(elT)-6
b(yp)l(e)1352 2121 y Fi(\003)1413 2158 y Fk(!)23 b Fh(T)-6
b(yp)l(e)7 b Fm(:)1112 2421 y Fk(j)37 b Fl(\034)1208
2433 y Fg(1)1278 2421 y Fk(\003)1320 2391 y Fj(T)1390
2421 y Fl(:)14 b(:)g(:)k Fk(\003)1547 2391 y Fj(T)1631
2421 y Fl(\034)1667 2433 y Fj(n)1713 2421 y Fl(\034)46
b Fk(j)83 b Fm(=)g(\()p Fk(j)23 b Fl(\034)2163 2433 y
Fg(1)2224 2421 y Fk(j)g Fm(@)14 b Fl(:)g(:)g(:)f Fm(@)23
b Fk(j)g Fl(\034)2629 2433 y Fj(n)2698 2421 y Fk(j)p
Fm(\))p Fl(\034)523 2837 y Fn(CPS)45 b(Language)993 3075
y Fl(\034)92 b Fm(::=)83 b Fh(t)35 b Fk(j)28 b Fh(t)1457
3087 y Ff(c)1523 3075 y Fk(j)g Fl(\034)1610 3087 y Ff(1)1675
3075 y Fk(\003)18 b Fl(:)c(:)g(:)46 b Fk(\003)18 b Fl(\034)1974
3087 y Ff(n)868 3274 y Fh(Pr)l(o)l(g)90 b Fm(::=)83 b
Fh(dataDe)l(c)1609 3237 y Fi(\003)1661 3274 y Fh(funDe)l(c)1918
3237 y Fi(\003)1970 3274 y Fm(exp)744 3474 y Fh(dataDe)l(c)88
b Fm(::=)83 b Fe(datat)n(yp)r(e)14 b Fh(t)44 b Fm(=)36
b Fh(C)27 b Fe(of)19 b Fl(\034)782 3673 y Fh(funDe)l(c)87
b Fm(::=)c Fe(fun)14 b Fl(f)22 b Fm(\()p Fl(x)1582 3685
y Fg(1)1644 3673 y Fm(:)h Fl(\034)1726 3685 y Fg(1)1763
3673 y Fl(;)14 b(:)g(:)g(:)g(;)g(x)1995 3685 y Fj(n)2063
3673 y Fm(:)24 b Fl(\034)2146 3685 y Fj(n)2191 3673 y
Fm(\))f(:)g Fl(\034)47 b Fm(=)37 b Fl(e)911 3773 y Fm(exp)83
b(::=)g Fe(let)14 b Fl(d)1459 3742 y Fi(\003)1511 3773
y Fe(in)27 b Fm(exp)995 3872 y Fl(d)83 b Fm(::=)g Fl(x)24
b Fm(:)f Fl(\034)32 b Fm(=)23 b Fl(b)1165 3972 y Fk(j)127
b Fe(HandlerPush)13 b Fl(j)1165 4071 y Fk(j)127 b Fe(HandlerP)n(op)1165
4171 y Fk(j)g Fe(fun)14 b Fl(j)5 b Fm(\(\()p Fl(x)1590
4183 y Fg(1)1628 4171 y Fl(;)14 b(:)g(:)g(:)g(;)g(x)1860
4183 y Fj(n)1905 4171 y Fm(\)\))38 b(=)e Fl(e)1003 4271
y(b)82 b Fm(::=)h Fl(C)6 b Fm(\()p Fl(y)1453 4283 y Fg(1)1491
4271 y Fl(;)14 b(:)g(:)g(:)f(;)h(y)1716 4283 y Fj(n)1761
4271 y Fm(\))1165 4370 y Fk(j)127 b Fm(#)1384 4382 y
Fj(c)1432 4370 y Fl(y)16 b(i)1165 4470 y Fk(j)127 b Fm(\()p
Fl(y)1388 4482 y Fg(1)1425 4470 y Fl(;)14 b(:)g(:)g(:)g(;)g(y)1651
4482 y Fj(n)1696 4470 y Fm(\))1165 4570 y Fk(j)127 b
Fm(#)p Fl(y)17 b(i)992 4669 y(k)86 b Fm(::=)d Fl(g)s
Fm(\()p Fl(y)1431 4681 y Fg(1)1468 4669 y Fl(;)14 b(:)g(:)g(:)f(;)h(y)
1693 4681 y Fj(n)1738 4669 y Fm(\))1165 4769 y Fk(j)127
b Fe(case)13 b Fl(x)h Fe(of)34 b Fl(:)14 b(:)g(:)g(C)43
b Fk(\))37 b Fl(j)19 b(:)14 b(:)g(:)996 4868 y(g)85 b
Fm(::=)e Fe(T)-7 b(ail)13 b Fl(f)36 b Fk(j)28 b Fe(NonT)-7
b(ail)n Fm(\()p Fl(f)t(;)14 b(j)5 b Fm(\))28 b Fk(j)g
Fe(Jump)14 b Fl(j)33 b Fk(j)27 b Fe(Return)h Fk(j)f Fe(Raise)g
Fk(j)h Fe(Halt)1934 5147 y Fm(1)p eop
%%Page: 2 2
2 1 bop 523 614 a Fn(T)-11 b(ranslation)523 796 y Fm(De\014ne)38
b(a)f(family)g(of)g(functions)h Fk(F)45 b Fm(mapping)37
b(lab)r(eled)g(CPS)g(programs)e(to)i(unlab)r(eled)523
896 y(CPS)29 b(programs.)39 b(There)29 b(are)f(sev)n(eral)g(constrain)n
(ts)f(imp)r(osed)j(on)e(lab)r(elings)h(to)g(preserv)n(e)523
995 y(space)e(safet)n(y)g(and)g(simplify)h Fk(F)8 b Fm(.)648
1095 y(De\014ne)36 b Fl(\032)h Fm(:)g Fh(V)-6 b(ar)46
b Fk(!)37 b Fh(V)-6 b(ar)1493 1059 y Fi(\003)1568 1095
y Fm(b)n(y)35 b Fl(\032)p Fm(\()p Fl(x)p Fm(\))j(=)f
Fl(y)2026 1107 y Fg(1)2063 1095 y Fl(;)14 b(:)g(:)g(:)f(;)h(y)2288
1107 y Fj(n)2369 1095 y Fm(where)36 b Fk(j)50 b Fl(\034)2727
1107 y Fj(x)2820 1095 y Fk(j)p Fm(=)37 b Fl(\034)2981
1107 y Fj(y)3021 1123 y Fg(1)3058 1095 y Fl(;)14 b(:)g(:)g(:)g(;)g
(\034)3279 1107 y Fj(y)3319 1123 y(n)3364 1095 y Fm(.)523
1195 y(Assume)33 b Fl(y)877 1207 y Fj(i)904 1195 y Fm('s)g(new)f(and)h
(distinct)g(and)g(that)g(if)g Fh(length)7 b Fm(\()p Fl(\032)p
Fm(\()p Fh(x)j Fm(\)\))32 b(=)f Fh(1)44 b Fm(then)34
b Fl(\032)p Fm(\()p Fl(x)p Fm(\))e(=)f([)i Fl(x)g Fm(].)523
1294 y(W)-7 b(e)28 b(extend)g Fl(\032)23 b Fm(:)g Fh(V)-6
b(ar)1190 1258 y Fi(\003)1251 1294 y Fk(!)23 b Fh(V)-6
b(ar)1499 1258 y Fi(\003)1565 1294 y Fm(as)26 b Fl(\032)p
Fm(\()p Fl(x)1788 1306 y Fg(1)1826 1294 y Fl(;)14 b(:)g(:)g(:)g(;)g(x)
2058 1306 y Fj(n)2104 1294 y Fm(\))23 b(=)g Fl(\032)p
Fm(\()p Fl(x)2369 1306 y Fg(1)2406 1294 y Fm(\)@)14 b
Fl(:)g(:)g(:)g Fm(@)p Fl(\032)p Fm(\()p Fl(x)2815 1306
y Fj(n)2860 1294 y Fm(\).)565 1511 y Fk(F)8 b Fm(\()p
Fe(fun)14 b Fl(f)22 b(x)900 1523 y Fg(1)938 1511 y Fl(;)14
b(:)g(:)g(:)f(;)h(x)1169 1523 y Fj(n)1238 1511 y Fm(:)23
b Fl(\034)47 b Fm(=)36 b Fl(e)p Fm(\))83 b(=)g Fe(fun)14
b Fl(f)22 b(\032)p Fm(\()p Fl(x)2080 1523 y Fg(1)2118
1511 y Fl(;)14 b(:)g(:)g(:)g(;)g(x)2350 1523 y Fj(n)2395
1511 y Fm(\))24 b(:)f Fl(\034)46 b Fm(=)37 b Fk(F)8 b
Fm(\()p Fl(e)p Fm(\))565 1660 y Fk(F)g Fm(\()p Fe(let)13
b Fl(d)808 1630 y Fi(\003)861 1660 y Fe(in)18 b Fl(k)s
Fm(\))602 b(=)83 b Fe(let)41 b Fl(d)1941 1630 y Fi(\003)1941
1681 y Fg(1)2007 1660 y Fm(=)27 b Fk(F)8 b Fl(d)2210
1630 y Fi(\003)1898 1760 y Fl(d)1941 1730 y Fi(\003)1941
1781 y Fg(2)2007 1760 y Fm(=)27 b Fk(F)8 b Fl(k)1770
1860 y Fe(in)65 b(let)14 b Fl(d)2042 1830 y Fi(\003)2042
1880 y Fg(1)2094 1860 y Fm(@)g Fl(;)g(d)2253 1830 y Fi(\003)2253
1880 y Fg(2)2304 1860 y Fe(in)k Fl(k)565 1994 y Fk(F)8
b Fm(\()p Fl(d)708 1964 y Fi(\003)746 1994 y Fm(\))844
b(=)83 b Fk(F)8 b Fm(\()p Fl(d)1913 2006 y Fg(1)1950
1994 y Fm(\))14 b(@)28 b Fl(:)14 b(:)g(:)27 b Fm(@)14
b Fk(F)8 b Fm(\()p Fl(d)2435 2006 y Fj(n)2480 1994 y
Fm(\))565 2144 y Fk(F)g Fm(\()p Fl(x)23 b Fm(=)g(\()p
Fl(y)896 2156 y Fg(1)933 2144 y Fl(;)14 b(:)g(:)g(:)g(;)g(y)1159
2156 y Fj(n)1204 2144 y Fm(\)\))354 b(=)83 b Fk(X)12
b Fm(\()p Fl(\032)p Fm(\()o Fl(~)-41 b(y)s Fm(\))p Fl(;)14
b Fk(\003)2103 2156 y Fj(F)9 b(LAT)2302 2144 y Fm(\()p
Fl(\034)2370 2156 y Fj(y)2404 2164 y Fd(1)2441 2144 y
Fl(;)14 b(:)g(:)g(:)f(;)h(\034)2661 2156 y Fj(y)2695
2164 y Fc(n)2740 2144 y Fm(\))p Fl(;)g(\032)p Fm(\()p
Fl(x)p Fm(\))p Fl(;)g(\034)9 b Fm(\()p Fl(x)p Fm(\)\))565
2293 y Fk(F)f Fm(\()p Fl(x)23 b Fm(=)g(#)p Fl(i)14 b(y)s
Fm(\))611 b(=)83 b Fe(let)41 b Fm(\()s(\026)-45 b Fl(v)t(;)14
b(d)2054 2263 y Fi(\003)2092 2293 y Fm(\))42 b(=)f Fk(S)6
b Fm(\()p Fl(\032)p Fm(\()p Fl(y)s Fm(\))p Fl(;)14 b(\034)2584
2305 y Fj(y)2625 2293 y Fl(;)g(i)p Fm(\))1770 2393 y
Fe(in)41 b Fl(d)1917 2363 y Fi(\003)1969 2393 y Fm(@)14
b Fk(X)e Fm(\()m Fl(~)-39 b(v)t(;)14 b Fm(#)p Fl(i)g(\034)2380
2405 y Fj(y)2419 2393 y Fl(;)g(\032)p Fm(\()p Fl(x)p
Fm(\))p Fl(;)g(\034)2683 2405 y Fj(x)2726 2393 y Fm(\))565
2521 y Fk(F)8 b Fm(\()p Fl(x)23 b Fm(=)g Fl(C)6 b Fm(\()p
Fl(y)961 2533 y Fg(1)998 2521 y Fl(;)14 b(:)g(:)g(:)g(;)g(y)1224
2533 y Fj(n)1269 2521 y Fm(\)\))289 b(=)83 b Fl(d)1813
2491 y Fi(\003)1865 2521 y Fm(@)14 b([)27 b Fl(x)d Fm(=)e
Fl(C)e(z)31 b Fm(])1770 2621 y(where)c(\()p Fl(d)2085
2591 y Fi(\003)2124 2621 y Fl(;)14 b(z)t Fm(\))22 b(=)h
Fk(X)12 b Fm(\()p Fl(:)i(:)g(:)g(;)g Fm(\()p Fl(\032)p
Fm(\()p Fl(y)2745 2633 y Fj(i)2773 2621 y Fm(\))p Fl(;)g(\034)2878
2633 y Fj(y)2912 2641 y Fc(i)2942 2621 y Fl(;)g Fm(#)p
Fl(i)g(\034)3127 2633 y Fj(c)3161 2621 y Fm(\))p Fl(;)g(:)g(:)g(:)p
Fm(\))565 2749 y Fk(F)8 b Fm(\()p Fl(x)23 b Fm(=)g(#)892
2761 y Fj(c)940 2749 y Fl(i)14 b(y)s Fm(\))563 b(=)1778
2727 y Fl(~)1770 2749 y(d)1813 2719 y Fi(\003)1865 2749
y Fm(@)14 b Fk(X)e Fm(\()o Fl(~)-41 b(z)s(;)14 b(\034)2162
2761 y Fj(c)2196 2749 y Fl(;)g(\032)p Fm(\()p Fl(x)p
Fm(\))p Fl(;)g(\034)9 b Fm(\()p Fl(x)p Fm(\)\))1811 2883
y(where)2143 2861 y Fl(~)2134 2883 y(d)24 b Fm(=)e(\()p
Fl(:)14 b(:)g(:)g(;)g(z)2507 2895 y Fj(j)2565 2883 y
Fm(=)22 b(#)2721 2895 y Fj(c)2769 2883 y Fl(k)g Fm(+)c
Fl(j)g(y)s(;)c(:)g(:)g(:)p Fm(\))2134 3032 y Fl(k)26
b Fm(=)2291 2970 y Fb(P)2379 3057 y Fj(l<i)2493 3032
y Fh(length)7 b Fm(\()p Fk(j)37 b Fl(\034)2842 3044 y
Ff(l)2907 3032 y Fk(j)p Fm(\))2134 3182 y(1)23 b Fk(\024)g
Fl(j)28 b Fk(\024)22 b Fh(length)7 b Fm(\()p Fk(j)37
b Fl(\034)2785 3194 y Ff(i)2853 3182 y Fk(j)p Fm(\))2134
3331 y Fl(\034)2170 3343 y Fj(c)2228 3331 y Fm(=)22 b
Fl(\034)2351 3343 y Fg(1)2407 3331 y Fk(\003)c Fl(:)c(:)g(:)46
b Fk(\003)18 b Fl(\034)2706 3343 y Fj(j)565 3480 y Fk(F)8
b Fm(\()p Fl(g)s Fm(\(\()p Fl(y)813 3492 y Fg(1)850 3480
y Fl(;)14 b(:)g(:)g(:)f(;)h(y)1075 3492 y Fj(n)1120 3480
y Fm(\)\)\))406 b(=)83 b Fe(let)41 b Fm(\()p Fl(d)1973
3450 y Fi(\003)2012 3480 y Fl(;)14 b(z)2092 3450 y Fi(\003)2129
3480 y Fm(\))42 b(=)p 2309 3414 72 4 v 41 w Fk(X)12 b
Fm(\()p Fl(:)i(:)g(:)g(;)g Fm(\()p Fl(\032)p Fm(\()p
Fl(y)2708 3492 y Fj(i)2736 3480 y Fm(\))p Fl(;)g(\034)2841
3492 y Fj(y)2875 3500 y Fc(i)2906 3480 y Fl(;)g(\034)2979
3492 y Fj(i)3006 3480 y Fm(\))p Fl(;)g(:)g(:)g(:)p Fm(\))1770
3580 y Fe(in)41 b Fm(\()p Fl(d)1949 3550 y Fi(\003)1988
3580 y Fl(;)14 b(g)s(z)2111 3550 y Fi(\003)2148 3580
y Fm(\))1770 3668 y(where)25 b Fl(~)-40 b(\034)33 b Fm(=)22
b Fk(G)5 b Fl(g)1934 5147 y Fm(2)p eop
%%Page: 3 3
3 2 bop 565 810 a Fk(G)5 b Fm(\()p Fe(T)-7 b(ail)13 b
Fl(f)c Fm(\))353 b(=)83 b Fl(\034)1413 822 y Fj(x)1451
830 y Fd(1)1487 810 y Fl(;)14 b(:)g(:)g(:)g(;)g(\034)1708
822 y Fj(x)1746 830 y Fc(n)1377 910 y Fm(where)27 b Fe(fun)14
b Fl(f)22 b Fm(\()p Fl(x)1884 922 y Fg(1)1922 910 y Fl(;)14
b(:)g(:)g(:)g(;)g(x)2154 922 y Fj(n)2199 910 y Fm(\))23
b(:)h Fl(\034)46 b Fm(=)37 b Fl(e)22 b Fk(2)51 b Fh(funDe)l(c)565
1035 y Fk(G)5 b Fm(\()p Fe(NonT)-7 b(ail)o Fm(\()p Fl(f)t(;)14
b(y)s Fm(\)\))83 b(=)g Fl(\034)1413 1047 y Fj(x)1451
1055 y Fd(1)1487 1035 y Fl(;)14 b(:)g(:)g(:)g(;)g(\034)1708
1047 y Fj(x)1746 1055 y Fc(n)1377 1135 y Fm(where)27
b Fe(fun)14 b Fl(f)22 b Fm(\()p Fl(x)1884 1147 y Fg(1)1922
1135 y Fl(;)14 b(:)g(:)g(:)g(;)g(x)2154 1147 y Fj(n)2199
1135 y Fm(\))23 b(:)h Fl(\034)46 b Fm(=)37 b Fl(e)22
b Fk(2)51 b Fh(funDe)l(c)565 1260 y Fk(G)5 b Fm(\()p
Fe(Jump)14 b Fl(j)5 b Fm(\))302 b(=)83 b Fl(\034)1413
1272 y Fj(x)1451 1280 y Fd(1)1487 1260 y Fl(;)14 b(:)g(:)g(:)g(;)g
(\034)1708 1272 y Fj(x)1746 1280 y Fc(n)1377 1360 y Fm(where)27
b Fe(fun)14 b Fl(j)k Fm(\()p Fl(x)1873 1372 y Fg(1)1911
1360 y Fl(;)c(:)g(:)g(:)g(;)g(x)2143 1372 y Fj(n)2188
1360 y Fm(\))24 b(:)f Fl(\034)47 b Fm(=)36 b Fl(e)23
b Fk(2)g Fl(P)12 b(r)r(og)565 1485 y Fk(G)5 b Fm(\()p
Fe(Return)p Fm(\))311 b(=)83 b Fk(j)36 b Fl(\034)1481
1455 y Fi(\003)1557 1485 y Fk(j)1377 1585 y Fm(where)27
b Fl(\034)1662 1555 y Fi(\003)1728 1585 y Fm(is)h(the)g(return)f(t)n
(yp)r(e)h(of)f(the)h(function.)565 1706 y Fk(G)5 b Fm(\()p
Fe(Raise)o Fm(\))364 b(=)83 b Fk(j)36 b Fl(\034)1472
1718 y Fa(exn)1602 1706 y Fk(j)565 1855 y(G)5 b Fm(\()p
Fe(Halt)p Fm(\))397 b(=)83 b([])523 2266 y Fn(Co)t(erce)1059
2531 y Fk(X)35 b Fm(:)23 b Fh(V)-6 b(ar)1341 2494 y Fi(\003)1398
2531 y Fk(\002)18 b Fh(L)l(ab)l(elT)-6 b(yp)l(e)26 b
Fk(\002)18 b Fh(V)-6 b(ar)2084 2494 y Fi(\003)2140 2531
y Fk(\002)18 b Fh(L)l(ab)l(elT)-6 b(yp)l(e)31 b Fk(!)23
b Fh(De)l(c)648 2713 y Fk(X)12 b Fm(\()g Fl(~)-54 b(v)791
2725 y Fg(1)829 2713 y Fl(;)14 b(\034)902 2725 y Fg(1)939
2713 y Fl(;)26 b(~)-54 b(v)1016 2725 y Fg(2)1054 2713
y Fl(;)14 b(\034)1127 2725 y Fg(2)1164 2713 y Fm(\))28
b(is)f(de\014ned)h(only)g(if)g Fh(er)l(ase)6 b Fm(\()p
Fl(\034)2109 2725 y Ff(1)2157 2713 y Fm(\))23 b(=)g Fh(er)l(ase)7
b Fm(\()p Fl(\034)2558 2725 y Ff(2)2605 2713 y Fm(\).)37
b(\()7 b Fl(~)-49 b(v)2769 2725 y Fj(i)2825 2713 y Fm(represen)n(ts)26
b Fl(\034)3252 2725 y Fj(i)3280 2713 y Fm(.\))523 2896
y(If)i Fl(\034)642 2908 y Fg(1)703 2896 y Fm(=)22 b Fl(\034)826
2908 y Fg(2)606 2996 y Fm(then)28 b Fk(X)36 b Fm(=)22
b([)p Fl(:)14 b(:)g(:)g(v)1154 2965 y Fg(2)1151 3017
y Fj(i)1215 2996 y Fm(=)22 b Fl(v)1345 2965 y Fg(1)1342
3017 y Fj(i)1396 2996 y Fl(:)14 b(:)g(:)p Fm(])606 3110
y(else)27 b(let)h Fl(\034)919 3122 y Fg(1)980 3110 y
Fm(=)22 b Fk(\003)1109 3122 y Fj(A)1159 3130 y Fd(1)1264
3085 y Fl(~)1195 3110 y(ty)s(pe)1350 3086 y Fg(1)883
3225 y Fl(\034)919 3237 y Fg(2)980 3225 y Fm(=)g Fk(\003)1109
3237 y Fj(A)1159 3245 y Fd(2)1264 3200 y Fl(~)1195 3225
y(ty)s(pe)1350 3201 y Fg(2)896 3315 y Fl(~)883 3345 y(v)926
3316 y Fg(1)923 3368 y Fj(i)964 3345 y Fl(;)1014 3315
y(~)1001 3345 y(d)1044 3316 y Fg(1)1044 3368 y Fj(i)1104
3345 y Fm(=)h Fk(S)6 b Fm(\()12 b Fl(~)-54 b(v)1320 3357
y Fg(1)1358 3345 y Fl(;)14 b(\034)1431 3357 y Fg(1)1468
3345 y Fl(;)g(i)p Fm(\))896 3434 y Fl(~)883 3464 y(v)926
3436 y Fg(2)923 3488 y Fj(i)964 3464 y Fm(@)g Fl(:)g(:)g(:)f
Fm(@)1233 3439 y Fl(~)1218 3464 y(v)1261 3440 y Fg(2)1258
3485 y Fj(n)1303 3464 y Fl(;)1353 3434 y(~)1340 3464
y(d)1383 3436 y Fg(2)1383 3488 y Fj(i)1443 3464 y Fm(=)28
b(if)g Fl(A)1674 3476 y Fg(2)1734 3464 y Fm(=)23 b Fh(\015at)1612
3564 y Fm(then)39 b Fl(~)-53 b(v)1841 3576 y Fg(2)1878
3564 y Fl(;)14 b Fm([)28 b(])1612 3664 y(else)f(\()o
Fl(~)-41 b(z)s(;)14 b Fm([)p Fl(x)24 b Fm(=)f(\()o Fl(~)-41
b(z)s Fm(\)]\))1769 3763 y(where)27 b([)p Fl(x)p Fm(])d(=)34
b Fl(~)-54 b(v)2253 3775 y Fg(2)2318 3763 y Fm(and)28
b Fl(z)j Fm(fresh.)1612 3883 y Fl(d)1655 3853 y Fg(3)1655
3904 y Fj(i)1715 3883 y Fm(=)23 b Fk(X)12 b Fm(\()1919
3852 y Fl(~)1906 3883 y(v)1949 3854 y Fg(1)1946 3906
y Fj(i)1987 3883 y Fl(;)i(\034)2069 3853 y Fg(1)2060
3904 y Fj(i)2107 3883 y Fl(;)2157 3852 y(~)2144 3883
y(v)2187 3854 y Fg(2)2184 3906 y Fj(i)2224 3883 y Fl(;)g(\034)2306
3853 y Fg(2)2297 3904 y Fj(i)2344 3883 y Fm(\))763 4002
y(in)873 3972 y Fl(~)860 4002 y(d)903 3974 y Fg(1)903
4025 y Fj(i)941 4002 y Fm(@)1019 3972 y Fl(~)1006 4002
y(d)1049 3974 y Fg(2)1049 4025 y Fj(i)1086 4002 y Fm(@)1164
3972 y Fl(~)1151 4002 y(d)1194 3974 y Fg(3)1194 4025
y Fj(i)1170 4298 y Fk(S)30 b Fm(:)23 b Fh(V)-6 b(ar)1437
4262 y Fi(\003)1494 4298 y Fk(\002)18 b Fh(L)l(ab)l(elT)-6
b(yp)l(e)26 b Fk(\002)18 b Fh(Int)30 b Fk(!)23 b Fh(V)-6
b(ar)2423 4262 y Fi(\003)2480 4298 y Fk(\002)18 b Fh(De)l(c)2702
4262 y Fi(\003)523 4480 y Fk(S)6 b Fm(\()m Fl(~)-39 b(v)t(;)14
b Fk(\003)734 4492 y Fj(A)837 4465 y Fl(~)788 4480 y(ty)s(pe)o(;)g(i)p
Fm(\))27 b(if)h Fl(A)c Fm(=)e Fh(\015at)1143 4580 y Fm(then)28
b(let)40 b Fl(~)-54 b(v)1492 4592 y Fg(1)1530 4580 y
Fm(@)14 b Fl(:)g(:)g(:)f Fm(@)i Fl(~)-57 b(v)1824 4592
y Fj(n)1892 4580 y Fm(=)19 b Fl(~)-38 b(v)1332 4680 y
Fm(in)28 b(\()7 b Fl(~)-49 b(v)1501 4692 y Fj(i)1529
4680 y Fl(;)14 b Fm([)28 b(]\))1332 4779 y(where)f Fh(length)7
b Fm(\()g Fl(~)-49 b Fh(v)1863 4791 y Ff(i)1894 4779
y Fm(\))24 b(=)e Fh(length)7 b Fm(\()p Fk(j)37 b Fl(\034)2386
4791 y Ff(i)2454 4779 y Fk(j)p Fm(\))1143 4879 y(else)27
b(let)h Fl(z)1459 4891 y Fg(1)1496 4879 y Fl(;)14 b(:)g(:)g(:)g(;)g(z)
1720 4891 y Fj(n)1792 4879 y Fm(b)r(e)28 b(fresh)1934
5147 y(3)p eop
%%Page: 4 4
4 3 bop 1300 614 a Fm(in)28 b(\()p Fl(z)1468 626 y Fg(1)1505
614 y Fl(;)14 b(:)g(:)g(:)g(;)g(z)1729 626 y Fj(n)1774
614 y Fl(;)g Fm([)p Fl(:)g(:)g(:)f(;)h(z)2020 626 y Fj(j)2078
614 y Fm(=)23 b(#)p Fl(k)e Fm(+)d Fl(j)5 b(x;)14 b(:)g(:)g(:)p
Fm(]\))1300 724 y(where)28 b Fl(k)d Fm(=)1697 662 y Fb(P)1785
683 y Fj(i)p Fi(\000)p Fg(1)1785 749 y Fj(l)p Fg(=1)1911
724 y Fh(length)7 b Fm(\()p Fk(j)37 b Fl(\034)2260 736
y Ff(l)2325 724 y Fk(j)p Fm(\))1541 824 y Fl(m)22 b Fm(=)h
Fh(length)7 b Fm(\()p Fk(j)37 b Fl(\034)2073 836 y Ff(l)2138
824 y Fk(j)p Fm(\))1934 5147 y(4)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF