]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/system_T/Latex8.ps
more style fixes
[helm.git] / helm / papers / system_T / Latex8.ps
1 %!PS-Adobe-2.0\r
2 %%Creator: dvips 5.47 Copyright 1986-91 Radical Eye Software\r
3 %%Title: latex8.dvi\r
4 %%Pages: 2 1\r
5 %%BoundingBox: 0 0 612 792\r
6 %%DocumentFonts: Times-Roman Times-Bold Times-Italic Helvetica-Bold\r
7 %%EndComments\r
8 %%BeginProcSet: /usr/local/lib/tex/ps/psfig.pro\r
9 /TeXscale { 65536 div } def\r
10 \r
11 /DocumentInitState [ matrix currentmatrix currentlinewidth currentlinecap\r
12 currentlinejoin currentdash currentgray currentmiterlimit ] cvx def\r
13 \r
14 /startTexFig {\r
15  /SavedState save def\r
16  userdict maxlength dict begin\r
17  currentpoint transform\r
18 \r
19  DocumentInitState setmiterlimit setgray setdash setlinejoin setlinecap\r
20   setlinewidth setmatrix\r
21 \r
22  itransform moveto\r
23 \r
24  /ury exch TeXscale def\r
25  /urx exch TeXscale def\r
26  /lly exch TeXscale def\r
27  /llx exch TeXscale def\r
28  /y exch TeXscale def\r
29  /x exch TeXscale def\r
30  \r
31  currentpoint /cy exch def /cx exch def\r
32 \r
33  /sx x urx llx sub div def  % scaling for x\r
34  /sy y ury lly sub div def % scaling for y\r
35 \r
36  sx sy scale   % scale by (sx,sy)\r
37 \r
38  cx sx div llx sub\r
39  cy sy div ury sub translate\r
40  \r
41  /DefFigCTM matrix currentmatrix def\r
42 \r
43  /initmatrix {\r
44   DefFigCTM setmatrix\r
45  } def\r
46  /defaultmatrix {\r
47   DefFigCTM exch copy\r
48  } def\r
49 \r
50  /initgraphics {\r
51   DocumentInitState setmiterlimit setgray setdash \r
52    setlinejoin setlinecap setlinewidth setmatrix\r
53   DefFigCTM setmatrix\r
54  } def\r
55 \r
56  /showpage {\r
57   initgraphics\r
58  } def\r
59   /erasepage {\r
60    initgraphics\r
61   } def\r
62   /copypage {} def\r
63 \r
64 } def\r
65 /clipFig {\r
66  currentpoint 6 2 roll\r
67  newpath 4 copy\r
68 \r
69  4 2 roll moveto\r
70  6 -1 roll exch lineto\r
71  exch lineto\r
72  exch lineto\r
73  closepath clip\r
74  newpath\r
75  moveto\r
76 } def\r
77 /doclip { llx lly urx ury clipFig } def\r
78 /endTexFig {\r
79  end SavedState restore\r
80 } def\r
81 %%EndProcSet\r
82 %%BeginProcSet: tex.pro\r
83 /TeXDict 200 dict def TeXDict begin /N /def load def /B{bind def}N /S /exch\r
84 load def /X{S N}B /TR /translate load N /isls false N /vsize 10 N /@rigin{\r
85 isls{[0 1 -1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale\r
86 Resolution VResolution vsize neg mul TR matrix currentmatrix dup dup 4 get\r
87 round 4 exch put dup dup 5 get round 5 exch put setmatrix}N /@letter{/vsize 10\r
88 N}B /@landscape{/isls true N /vsize -1 N}B /@a4{/vsize 10.6929133858 N}B /@a3{\r
89 /vsize 15.5531 N}B /@ledger{/vsize 16 N}B /@legal{/vsize 13 N}B /@manualfeed{\r
90 statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N\r
91 /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{/nn 8 dict N nn begin\r
92 /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array\r
93 /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2\r
94 array copy cvx N load 0 nn put /ctr 0 N[}B /df{/sf 1 N /fntrx FMat N df-tail}\r
95 B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]N df-tail}B /E{pop nn dup definefont\r
96 setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup\r
97 length 4 sub get}B /ch-xoff{128 ch-data dup length 3 sub get sub}B /ch-yoff{\r
98 ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B\r
99 /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0\r
100 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\r
101 dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0\r
102 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice\r
103 ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}\r
104 imagemask restore}B /D{/cc X dup type /stringtype ne{]}if nn /base get cc ctr\r
105 put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf\r
106 div put}if put /ctr ctr 1 add N}B /I{cc 1 add D}B /bop{userdict /bop-hook\r
107 known{bop-hook}if /SI save N @rigin 0 0 moveto}N /eop{clear SI restore\r
108 showpage userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook\r
109 known{start-hook}if /VResolution X /Resolution X 1000 div /DVImag X /IE 256\r
110 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for}N /p /show load N\r
111 /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X\r
112 /rulex X V}B /V statusdict begin /product where{pop product dup length 7 ge{0\r
113 7 getinterval(Display)eq}{pop false}ifelse}{false}ifelse end{{gsave TR -.1 -.1\r
114 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1\r
115 -.1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /a{\r
116 moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{\r
117 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\r
118 /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\r
119 }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\r
120 a}B /bos{/SS save N}B /eos{clear SS restore}B end\r
121 %%EndProcSet\r
122 %%BeginProcSet: texps.pro\r
123 TeXDict begin /rf{655360 div mul Resolution mul 7227 div /PixPerEm X findfont\r
124 dup length 1 add dict /nn X{1 index /FID ne{nn 3 1 roll put}{pop pop}ifelse}\r
125 forall 256 dict begin nn /Encoding get 0 1 255{2 copy get 3 index 2 index get\r
126 1000 mul PixPerEm div def pop}for pop pop nn /Metrics currentdict put end\r
127 /fontname X /nn dup nn definefont[PixPerEm 0 0 PixPerEm neg 0 0]makefont N\r
128 fontname{/foo setfont}2 array copy cvx N fontname load 0 nn put}N\r
129 /ObliqueSlant{dup sin S cos div neg}B /SlantFont{/foo X[1 0 foo 1 0 0]\r
130 TransFont}N /ExtendFont{/foo X 3 2 roll[S{foo div}forall]3 1 roll[foo 0 0 1 0\r
131 \r
132 0]TransFont}N /TransFont{S findfont S makefont dup length dict /nn X{1 index\r
133 /FID ne{nn 3 1 roll put}{pop pop}ifelse}forall dup nn definefont pop}N end\r
134 %%EndProcSet\r
135 TeXDict begin 1000 300 300 @start /Fa [ 0 0 0 0 0 0 0 0 0 0\r
136 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 12 16 19 19 31\r
137 29 12 12 12 19 25 9 12 9 10 19 19 19 19 19 19 19 19 19 19 12\r
138 12 25 25 25 19 34 23 23 25 27 23 23 27 27 12 17 25 21 31 25\r
139 27 23 27 23 19 21 27 23 31 23 21 21 15 10 15 16 19 12 19 19\r
140 17 19 17 10 19 19 10 10 17 10 27 19 19 19 19 15 15 10 19 17\r
141 25 17 17 15 15 10 15 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
142 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 19 19 6 19 19 19 19 8 21\r
143 19 12 12 19 19 0 19 19 19 9 0 20 13 12 21 21 19 33 37 0 19\r
144 0 12 12 12 12 12 12 12 12 0 12 12 0 12 12 12 33 0 0 0 0 0 0\r
145 0 0 0 0 0 0 0 0 0 0 33 0 10 0 0 0 0 21 27 35 12 0 0 0 0 0 25\r
146 0 0 0 10 0 0 10 19 25 19 0 0 0 0 ] /Times-Italic 1000 589824\r
147 rf /Fb [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
148 0 0 0 0 0 0 0 9 12 15 19 19 31 29 12 12 12 19 21 9 12 9 10\r
149 19 19 19 19 19 19 19 19 19 19 10 10 21 21 21 17 34 27 25 25\r
150 27 23 21 27 27 12 15 27 23 33 27 27 21 27 25 21 23 27 27 35\r
151 27 27 23 12 10 12 18 19 12 17 19 17 19 17 12 19 19 10 10 19\r
152 10 29 19 19 19 19 12 15 10 19 19 27 19 19 17 18 7 18 20 0 0\r
153 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
154 0 0 12 19 19 6 19 19 19 19 7 17 19 12 12 21 21 0 19 19 19 9\r
155 0 17 13 12 17 17 19 37 37 0 17 0 12 12 12 12 12 12 12 12 0\r
156 12 12 0 12 12 12 37 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 33 0 10\r
157 0 0 0 0 23 27 33 12 0 0 0 0 0 25 0 0 0 10 0 0 10 19 27 19 0\r
158 0 0 0 ] /Times-Roman 1000 589824 rf /Fc [ 0 0 0 0 0 0 0 0 0\r
159 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 11 14 17 17\r
160 28 26 11 11 11 17 19 8 11 8 9 17 17 17 17 17 17 17 17 17 17\r
161 9 9 19 19 19 15 31 24 22 22 24 20 18 24 24 11 13 24 20 30 24\r
162 24 18 24 22 18 20 24 24 31 24 24 20 11 9 11 16 17 11 15 17\r
163 15 17 15 11 17 17 9 9 17 9 26 17 17 17 17 11 13 9 17 17 24\r
164 17 17 15 16 7 16 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
165 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 17 17 6 17 17 17 17 6 15 17\r
166 11 11 18 18 0 17 17 17 8 0 15 12 11 15 15 17 33 33 0 15 0 11\r
167 11 11 11 11 11 11 11 0 11 11 0 11 11 11 33 0 0 0 0 0 0 0 0\r
168 0 0 0 0 0 0 0 0 30 0 9 0 0 0 0 20 24 30 10 0 0 0 0 0 22 0 0\r
169 0 9 0 0 9 17 24 17 0 0 0 0 ] /Times-Roman 1000 524288 rf /Fd\r
170 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
171 0 0 0 6 8 10 12 12 21 19 8 8 8 12 14 6 8 6 7 12 12 12 12 12\r
172 12 12 12 12 12 7 7 14 14 14 11 23 18 17 17 18 15 14 18 18 8\r
173 10 18 15 22 18 18 14 18 17 14 15 18 18 24 18 18 15 8 7 8 12\r
174 12 8 11 12 11 12 11 8 12 12 7 7 12 7 19 12 12 12 12 8 10 7\r
175 12 12 18 12 12 11 12 5 12 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
176 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 12 12 4 12 12 12 12\r
177 4 11 12 8 8 14 14 0 12 12 12 6 0 11 9 8 11 11 12 25 25 0 11\r
178 0 8 8 8 8 8 8 8 8 0 8 8 0 8 8 8 25 0 0 0 0 0 0 0 0 0 0 0 0\r
179 0 0 0 0 22 0 7 0 0 0 0 15 18 22 8 0 0 0 0 0 17 0 0 0 7 0 0\r
180 7 12 18 12 0 0 0 0 ] /Times-Roman 1000 393216 rf /Fe [ 0 0\r
181 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
182 7 10 12 15 15 24 23 10 10 10 15 16 7 10 7 8 15 15 15 15 15\r
183 15 15 15 15 15 8 8 16 16 16 13 27 21 19 19 21 18 16 21 21 10\r
184 11 21 18 26 21 21 16 21 19 16 18 21 21 27 21 21 18 10 8 10\r
185 14 15 10 13 15 13 15 13 10 15 15 8 8 15 8 23 15 15 15 15 10\r
186 11 8 15 15 21 15 15 13 14 6 14 16 0 0 0 0 0 0 0 0 0 0 0 0 0\r
187 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 15 15 5 15 15\r
188 15 15 5 13 15 10 10 16 16 0 15 15 15 7 0 13 10 10 13 13 15\r
189 29 29 0 13 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 29\r
190 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 26 0 8 0 0 0 0 18 21 26 9 0\r
191 0 0 0 0 19 0 0 0 8 0 0 8 15 21 15 0 0 0 0 ] /Times-Roman 1000\r
192 458752 rf /Ff [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
193 0 0 0 0 0 0 0 0 0 0 12 14 20 23 23 37 30 12 14 14 16 24 12\r
194 14 12 12 23 23 23 23 23 23 23 23 23 23 14 14 24 24 24 25 40\r
195 \r
196 30 30 30 30 28 25 32 30 12 23 30 25 35 30 32 28 32 30 28 25\r
197 30 28 39 28 28 25 14 12 14 24 23 12 23 25 23 25 23 14 25 25\r
198 12 12 23 12 37 25 25 25 25 16 23 14 25 23 32 23 23 21 16 12\r
199 16 24 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
200 0 0 0 0 0 0 0 14 23 23 7 23 23 23 23 10 21 23 14 14 25 25 0\r
201 23 23 23 12 0 23 15 12 21 21 23 42 42 0 25 0 14 14 14 14 14\r
202 14 14 14 0 14 14 0 14 14 14 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
203 0 0 42 0 15 0 0 0 0 25 32 42 15 0 0 0 0 0 37 0 0 0 12 0 0 12\r
204 25 39 25 0 0 0 0 ] /Helvetica-Bold 1000 655360 rf /Fg 1 3 df<400020C000606000\r
205 C03001801803000C0600060C0003180001B00000E00000E00001B000031800060C000C06001803\r
206 003001806000C0C0006040002013147A9320>2 D E /Fh 1 59 df<60F0F06004047C830C>58\r
207 D E /Fi [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
208 0 0 0 0 0 0 0 11 15 25 23 23 46 38 15 15 15 23 26 11 15 11\r
209 13 23 23 23 23 23 23 23 23 23 23 15 15 26 26 26 23 42 33 30\r
210 33 33 30 28 36 36 18 23 36 30 43 33 36 28 36 33 25 30 33 33\r
211 46 33 33 30 15 13 15 27 23 15 23 25 20 25 20 15 23 25 13 15\r
212 25 13 38 25 23 25 25 20 18 15 25 23 33 23 23 20 18 10 18 24\r
213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
214 0 0 0 0 15 23 23 8 23 23 23 23 13 23 23 15 15 25 25 0 23 23\r
215 23 11 0 25 16 15 23 23 23 46 46 0 23 0 15 15 15 15 15 15 15\r
216 15 0 15 15 0 15 15 15 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 46\r
217 0 14 0 0 0 0 30 36 46 15 0 0 0 0 0 33 0 0 0 13 0 0 13 23 33\r
218 25 0 0 0 0 ] /Times-Bold 1000 720896 rf /Fj [ 0 0 0 0 0 0 0\r
219 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 14 17\r
220 21 21 35 32 14 14 14 21 23 10 14 10 12 21 21 21 21 21 21 21\r
221 21 21 21 12 12 23 23 23 18 38 30 28 28 30 25 23 30 30 14 16\r
222 30 25 37 30 30 23 30 28 23 25 30 30 39 30 30 25 14 12 14 19\r
223 21 14 18 21 18 21 18 14 21 21 12 12 21 12 32 21 21 21 21 14\r
224 16 12 21 21 30 21 21 18 20 8 20 22 0 0 0 0 0 0 0 0 0 0 0 0\r
225 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 21 21 7 21 21\r
226 21 21 7 18 21 14 14 23 23 0 21 21 21 10 0 19 15 14 18 18 21\r
227 42 42 0 18 0 14 14 14 14 14 14 14 14 0 14 14 0 14 14 14 42\r
228 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 37 0 11 0 0 0 0 25 30 37 13\r
229 0 0 0 0 0 28 0 0 0 12 0 0 12 21 30 21 0 0 0 0 ] /Times-Roman\r
230 1000 655360 rf /Fk [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
231 0 0 0 0 0 0 0 0 0 0 0 0 0 10 14 17 21 21 35 32 14 14 14 21\r
232 28 10 14 10 12 21 21 21 21 21 21 21 21 21 21 14 14 28 28 28\r
233 21 38 25 25 28 30 25 25 30 30 14 18 28 23 35 28 30 25 30 25\r
234 21 23 30 25 35 25 23 23 16 12 16 18 21 14 21 21 18 21 18 12\r
235 21 21 12 12 18 12 30 21 21 21 21 16 16 12 21 18 28 18 18 16\r
236 17 11 17 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
237 0 0 0 0 0 0 0 0 0 0 16 21 21 7 21 21 21 21 9 23 21 14 14 21\r
238 21 0 21 21 21 10 0 22 15 14 23 23 21 37 42 0 21 0 14 14 14\r
239 14 14 14 14 14 0 14 14 0 14 14 14 37 0 0 0 0 0 0 0 0 0 0 0\r
240 0 0 0 0 0 37 0 11 0 0 0 0 23 30 39 13 0 0 0 0 0 28 0 0 0 12\r
241 0 0 12 21 28 21 0 0 0 0 ] /Times-Italic 1000 655360 rf /Fl\r
242 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
243 0 0 0 12 17 28 25 25 50 41 17 17 17 25 28 12 17 12 14 25 25\r
244 25 25 25 25 25 25 25 25 17 17 28 28 28 25 46 36 33 36 36 33\r
245 30 39 39 19 25 39 33 47 36 39 30 39 36 28 33 36 36 50 36 36\r
246 33 17 14 17 29 25 17 25 28 22 28 22 17 25 28 14 17 28 14 41\r
247 28 25 28 28 22 19 17 28 25 36 25 25 22 20 11 20 26 0 0 0 0\r
248 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
249 17 25 25 8 25 25 25 25 14 25 25 17 17 28 28 0 25 25 25 12 0\r
250 27 17 17 25 25 25 50 50 0 25 0 17 17 17 17 17 17 17 17 0 17\r
251 17 0 17 17 17 50 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 50 0 15 0\r
252 0 0 0 33 39 50 16 0 0 0 0 0 36 0 0 0 14 0 0 14 25 36 28 0 0\r
253 0 0 ] /Times-Bold 1000 786432 rf /Fm [ 0 0 0 0 0 0 0 0 0 0\r
254 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 17 20 25 25\r
255 41 39 17 17 17 25 28 12 17 12 14 25 25 25 25 25 25 25 25 25\r
256 25 14 14 28 28 28 22 46 36 33 33 36 30 28 36 36 17 19 36 30\r
257 44 36 36 28 36 33 28 30 36 36 47 36 36 30 17 14 17 23 25 17\r
258 \r
259 22 25 22 25 22 17 25 25 14 14 25 14 39 25 25 25 25 17 19 14\r
260 25 25 36 25 25 22 24 10 24 27 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
261 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 25 25 8 25 25 25 25\r
262 9 22 25 17 17 28 28 0 25 25 25 12 0 23 17 17 22 22 25 50 50\r
263 0 22 0 17 17 17 17 17 17 17 17 0 17 17 0 17 17 17 50 0 0 0\r
264 0 0 0 0 0 0 0 0 0 0 0 0 0 44 0 14 0 0 0 0 30 36 44 15 0 0 0\r
265 0 0 33 0 0 0 14 0 0 14 25 36 25 0 0 0 0 ] /Times-Roman 1000\r
266 786432 rf /Fn 1 3 df<60000006F000000FF800001F7C00003E3E00007C1F0000F80F8001F0\r
267 07C003E003E007C001E0078001F00F8000F81F00007C3E00003E7C00001FF800000FF0000007E0\r
268 000007E000000FF000001FF800003E7C00007C3E0000F81F0001F00F8001E0078003E007C007C0\r
269 03E00F8001F01F0000F83E00007C7C00003EF800001FF000000F600000062022769F35>2\r
270 D E /Fo 4 59 df<000600001E0003FE00FFFE00FFFE007CFE0000FE0000FE0000FE0000FE0000\r
271 FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000\r
272 FE0000FE007FFFFE7FFFFE7FFFFE171C7B9B22>49 D<0C0003000F803F000FFFFE000FFFFC000F\r
273 FFF8000FFFF0000FFFE0000FFFC0000FFE00000E0000000E0000000E0000000E0000000E000000\r
274 0E0000000E3FC0000EFFF0000FC0FC000F007E000C003F000C003F8000001F8000001FC000001F\r
275 C000001FE000001FE018001FE07C001FE0FE001FE0FE001FE0FE001FE0FE001FC0FC001FC07800\r
276 1FC070003F8038003F001C007E000F81FC0007FFF80003FFE00000FF00001B297D9B22>53\r
277 D<003FC00001FFF00003FFF80007C07C000F003E001F001F001E000F803E000F803E000F803E00\r
278 0F803F000F803F000F803FC00F003FF01F001FFC1E001FFE3C000FFFF80007FFE00003FFF80001\r
279 FFFC0001FFFE0007FFFF000F0FFF801E03FFC03E01FFC07C007FC07C001FE0F8000FE0F80007E0\r
280 F80003E0F80003E0F80003E0F80003C07C0003C07C0007C03E0007803F000F001FC07E0007FFFC\r
281 0003FFF000007FC0001B297DA722>56 D<1C003E007F00FF80FF80FF807F003E001C0009097B88\r
282 13>58 D E /Fp [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
283 0 0 0 0 0 0 0 0 0 0 15 19 32 29 29 58 48 19 19 19 29 33 15\r
284 19 15 16 29 29 29 29 29 29 29 29 29 29 19 19 33 33 33 29 54\r
285 42 39 42 42 39 36 45 45 23 29 45 39 55 42 45 36 45 42 32 39\r
286 42 42 58 42 42 39 19 16 19 34 29 19 29 32 26 32 26 19 29 32\r
287 16 19 32 16 48 32 29 32 32 26 23 19 32 29 42 29 29 26 23 13\r
288 23 30 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
289 0 0 0 0 0 0 0 19 29 29 10 29 29 29 29 16 29 29 19 19 32 32\r
290 0 29 29 29 15 0 31 20 19 29 29 29 58 58 0 29 0 19 19 19 19\r
291 19 19 19 19 0 19 19 0 19 19 19 58 0 0 0 0 0 0 0 0 0 0 0 0 0\r
292 0 0 0 58 0 17 0 0 0 0 39 45 58 19 0 0 0 0 0 42 0 0 0 16 0 0\r
293 16 29 42 32 0 0 0 0 ] /Times-Bold 1000 917504 rf /Fq [ 0 0\r
294 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
295 12 15 19 23 23 39 36 15 15 15 23 26 12 15 12 13 23 23 23 23\r
296 23 23 23 23 23 23 13 13 26 26 26 21 43 34 31 31 34 28 26 34\r
297 34 15 18 34 28 41 34 34 26 34 31 26 28 34 34 44 34 34 28 15\r
298 13 15 22 23 15 21 23 21 23 21 15 23 23 13 13 23 13 36 23 23\r
299 23 23 15 18 13 23 23 34 23 23 21 22 9 22 25 0 0 0 0 0 0 0 0\r
300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 23 23\r
301 8 23 23 23 23 8 21 23 15 15 26 26 0 23 23 23 12 0 21 16 15\r
302 21 21 23 46 46 0 21 0 15 15 15 15 15 15 15 15 0 15 15 0 15\r
303 15 15 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 41 0 13 0 0 0 0 28\r
304 34 41 14 0 0 0 0 0 31 0 0 0 13 0 0 13 23 34 23 0 0 0 0 ] /Times-Roman\r
305 1000 734003 rf /Fr [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
306 0 0 0 0 0 0 0 0 0 0 0 0 0 15 19 24 29 29 48 45 19 19 19 29\r
307 33 15 19 15 16 29 29 29 29 29 29 29 29 29 29 16 16 33 33 33\r
308 26 54 42 39 39 42 36 32 42 42 19 23 42 36 52 42 42 32 42 39\r
309 32 36 42 42 55 42 42 36 19 16 19 27 29 19 26 29 26 29 26 19\r
310 29 29 16 16 29 16 45 29 29 29 29 19 23 16 29 29 42 29 29 26\r
311 28 12 28 31 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\r
312 0 0 0 0 0 0 0 0 0 0 19 29 29 10 29 29 29 29 10 26 29 19 19\r
313 32 32 0 29 29 29 15 0 26 20 19 26 26 29 58 58 0 26 0 19 19\r
314 19 19 19 19 19 19 0 19 19 0 19 19 19 58 0 0 0 0 0 0 0 0 0 0\r
315 0 0 0 0 0 0 52 0 16 0 0 0 0 36 42 52 18 0 0 0 0 0 39 0 0 0\r
316 \r
317 16 0 0 16 29 42 29 0 0 0 0 ] /Times-Roman 1000 917504 rf end\r
318 %%EndProlog\r
319 %%BeginSetup\r
320 %%Feature: *Resolution 300\r
321 TeXDict begin \r
322 %%EndSetup\r
323 %%Page: 1 1\r
324 bop 69 187 a Fr(L)84 179 y Fq(A)109 187 y Fr(T)135 205 y(E)162\r
325 187 y(X)15 b Fp(Author)g(Guidelines)h(for)29 b Fo(8:5)16 b\r
326 Fn(\002)g Fo(11)p Fp(-Inch)f(Pr)o(oceedings)f(Manuscripts)414\r
327 371 y Fm(Paolo)e(Ienne)155 429 y(Swiss)h(Federal)f(Institute)f(of)h(T)m\r
328 (echnology)248 487 y(Microcomputing)f(Laboratory)91 545 y(IN-F)g(Ecublens,)j\r
329 (1015)e(Lausanne,)i(Switzerland)298 603 y(Paolo.Ienne@di.ep\257.ch)1294\r
330 371 y(Second)f(Author)1330 429 y(Institution2)1128 487 y(First)e(line)i(of)f\r
331 (institution2)f(address)1100 545 y(Second)h(line)g(of)g(institution2)g\r
332 (address)1115 603 y(SecondAuthor@institution2.com)308 778 y\r
333 Fl(Abstract)-41 878 y Fk(The)h(ABSTRACT)h(is)e(to)g(be)i(in)e\r
334 (fully-justi\256ed)e(italicized)h(text,)-91 928 y(at)k(the)h(top)e(of)i(the)f\r
335 (left-hand)f(column,)j(below)e(the)g(author)g(and)-91 978 y(af\256liation)f\r
336 (information.)34 b(Use)18 b(the)g(wor)n(d)f(\252Abstract\272)h(as)f(the)-91\r
337 1027 y(title,)c(in)f(12-point)f(T)n(imes,)j(boldface)e(type,)j(center)n(ed)f\r
338 (r)n(elative)g(to)-91 1077 y(the)g(column,)i(initially)c(capitalized.)28\r
339 b(The)15 b(abstract)f(is)g(to)h(be)g(in)-91 1127 y(10-point,)g(single-spaced)\r
340 g(type.)33 b(The)16 b(abstract)f(may)h(be)g(up)g(to)-91 1177\r
341 y(3)f(inches)g(\(7.62)g(cm\))g(long.)28 b(Leave)17 b(two)d(blank)g(lines)h\r
342 (after)f(the)-91 1227 y(Abstract,)c(then)g(begin)g(the)g(main)f(text.)-91\r
343 1389 y Fl(1.)k(Intr)o(oduction)-41 1494 y Fj(Please)f(follow)e(the)i(steps)f\r
344 (outlined)f(below)h(when)h(submitting)-91 1544 y(your)c(manuscript)h(to)g\r
345 (the)h(IEEE)g(Computer)f(Society)g(Press.)15 b(Note)-91 1593\r
346 y(there)g(have)h(been)f(some)h(changes)g(to)f(the)g(measurements)h(from)-91\r
347 1643 y(previous)9 b(instructions.)-91 1756 y Fl(2.)k(Instructions)-41\r
348 1861 y Fj(Please)e(read)g(the)f(following)e(carefully)m(.)-91\r
349 1961 y Fi(2.1.)k(Language)-41 2062 y Fj(All)d(manuscripts)h(must)g(be)h(in)e\r
350 (English.)-91 2162 y Fi(2.2.)j(Printing)f(your)h(paper)-41\r
351 2262 y Fj(Print)c(your)h(properly)f(formatted)h(text)g(on)h(high-quality)m(,)\r
352 d(8)p Fh(:)p Fj(5)g Fg(\002)-91 2312 y Fj(11-inch)g(white)g(printer)f(paper)n\r
353 (.)15 b(A4)8 b(paper)g(is)f(also)h(acceptable,)i(but)-91 2362\r
354 y(please)k(leave)f(the)g(extra)g(0.5)g(inch)f(\(1.27)g(cm\))i(at)f(the)g\r
355 (BOTT)o(OM)-91 2412 y(of)d(the)g(page.)-91 2512 y Fi(2.3.)i(Margins)f(and)h\r
356 (page)g(numbering)-41 2613 y Fj(All)18 b(printed)g(material,)j(including)c\r
357 (text,)k(illustrations,)e(and)-91 2662 y(charts,)14 b(must)f(be)g(kept)g\r
358 (within)e(a)i(print)f(area)i(6-7/8)e(inches)h(\(17.5)987 778\r
359 y(cm\))e(wide)g(by)f(8-7/8)g(inches)g(\(22.54)g(cm\))i(high.)j(Do)c(not)f\r
360 (write)g(or)987 828 y(print)j(anything)f(outside)h(the)h(print)f(area.)27\r
361 b(Number)15 b(your)e(pages)987 878 y(lightly)m(,)k(in)f(pencil,)j(on)d(the)h\r
362 (upper)g(right-hand)e(corners)i(of)g(the)987 928 y(BACKS)9\r
363 b(of)h(the)g(pages)h(\(for)e(example,)i(1/10,)f(2/10,)f(or)h(1)g(of)f(10,)i\r
364 (2)987 978 y(of)f(10,)g(and)g(so)g(forth\).)j(Please)f(do)d(not)g(write)h(on)\r
365 f(the)h(fronts)f(of)h(the)987 1027 y(pages,)h(nor)f(on)g(the)g(lower)g\r
366 (halves)g(of)g(the)g(backs)h(of)f(the)g(pages.)987 1136 y Fi(2.4.)i\r
367 (Formatting)f(your)h(paper)1037 1245 y Fj(All)17 b(text)h(must)h(be)f(in)g(a)\r
368 h(two-column)f(format.)39 b(The)19 b(total)987 1295 y(allowable)13\r
369 b(width)g(of)g(the)h(text)f(area)i(is)f(6-7/8)e(inches)i(\(17.5)g(cm\))987\r
370 1345 y(wide)9 b(by)f(8-7/8)g(inches)h(\(22.54)g(cm\))g(high.)14\r
371 b(Columns)8 b(are)i(to)e(be)i(3-)987 1395 y(1/4)g(inches)h(\(8.25)g(cm\))h\r
372 (wide,)f(with)f(a)i(5/16)e(inch)g(\(0.8)h(cm\))h(space)987\r
373 1445 y(between)17 b(them.)34 b(The)17 b(main)g(title)e(\(on)h(the)h(\256rst)f\r
374 \r
375 (page\))h(should)987 1494 y(begin)8 b(1.0)i(inch)e(\(2.54)h(cm\))h(from)f\r
376 (the)g(top)f(edge)i(of)e(the)h(page.)16 b(The)987 1544 y(second)9\r
377 b(and)f(following)e(pages)j(should)e(begin)h(1.0)g(inch)g(\(2.54)g(cm\))987\r
378 1594 y(from)j(the)g(top)f(edge.)18 b(On)11 b(all)g(pages,)h(the)f(bottom)f\r
379 (mar)o(gin)h(should)987 1644 y(be)f(1-1/8)f(inches)h(\(2.86)f(cm\))i(from)e\r
380 (the)h(bottom)e(edge)j(of)e(the)h(page)987 1694 y(for)g(8)p\r
381 Fh(:)p Fj(5)e Fg(\002)i Fj(11-inch)f(paper;)i(for)f(A4)g(paper)n(,)h\r
382 (approximately)f(1-5/8)987 1744 y(inches)g(\(4.13)g(cm\))h(from)f(the)g\r
383 (bottom)f(edge)i(of)f(the)g(page.)987 1853 y Fi(2.5.)i(T)m(ype-style)g(and)g\r
384 (fonts)1037 1962 y Fj(Wherever)f(T)o(imes)f(is)h(speci\256ed,)g(T)o(imes)g\r
385 (Roman)f(may)h(also)f(be)987 2011 y(used.)17 b(If)10 b(neither)g(is)h\r
386 (available)f(on)h(your)f(word)g(processor)n(,)i(please)987\r
387 2061 y(use)i(the)g(font)f(closest)i(in)e(appearance)j(to)d(T)o(imes)i(that)e\r
388 (you)h(have)987 2111 y(access)e(to.)1037 2163 y(MAIN)j(TITLE.)j(Center)e(the)\r
389 f(title)g(1-3/8)f(inches)i(\(3.49)g(cm\))987 2212 y(from)d(the)g(top)g(edge)g\r
390 (of)g(the)h(\256rst)f(page.)24 b(The)14 b(title)e(should)g(be)i(in)987\r
391 2262 y(T)o(imes)j(14-point,)g(boldface)f(type.)35 b(Capitalize)16\r
392 b(the)h(\256rst)f(letter)987 2312 y(of)c(nouns,)h(pronouns,)f(verbs,)h\r
393 (adjectives,)g(and)g(adverbs;)g(do)f(not)987 2362 y(capitalize)g(articles,)g\r
394 (coordinate)f(conjunctions,)g(or)g(prepositions)987 2412 y(\(unless)f(the)g\r
395 (title)f(begins)h(with)f(such)i(a)g(word\).)j(Leave)e(two)e(blank)987\r
396 2461 y(lines)g(after)g(the)g(title.)1037 2513 y(AUTHOR)c(NAME\(s\))g(and)g\r
397 (AFFILIA)-5 b(TION\(s\))6 b(are)g(to)g(be)g(ce)q(n-)987 2563\r
398 y(tered)13 b(beneath)g(the)g(title)e(and)i(printed)f(in)g(T)o(imes)h\r
399 (12-point,)f(non-)987 2613 y(boldface)i(type.)26 b(This)14\r
400 b(information)e(is)i(to)f(be)i(followed)d(by)i(two)987 2662\r
401 y(blank)c(lines.)p eop\r
402 %%Page: 2 2\r
403 bop -41 42 a Fj(The)13 b(ABSTRACT)f(and)h(MAIN)g(TEXT)g(are)h(to)e(be)h(in)f\r
404 (a)h(two-)-91 91 y(column)d(format.)-41 142 y(MAIN)g(TEXT)m(.)i(T)m(ype)f\r
405 (main)f(text)g(in)g(10-point)e(T)o(imes,)j(single-)-91 192\r
406 y(spaced.)k(Do)6 b(NOT)g(use)g(double-spacing.)14 b(All)6 b(paragraphs)g\r
407 (should)-91 241 y(be)13 b(indented)f(1)h(pica)g(\(approx.)23\r
408 b(1/6)12 b(inch)g(or)h(0.422)g(cm\).)24 b(Make)-91 291 y(sure)12\r
409 b(your)f(text)g(is)g(fully)f(justi\256ed\320that)g(is,)i(\257ush)g(left)f\r
410 (and)g(\257ush)-91 341 y(right.)i(Please)8 b(do)f(not)f(place)i(any)f\r
411 (additional)f(blank)g(lines)h(between)-91 391 y(paragraphs.)27\r
412 b(Figure)14 b(and)h(table)f(captions)g(should)f(be)h(10-point)-91\r
413 441 y(Helvetica)c(boldface)h(type)e(as)i(in)113 572 y Ff(Figure)h(1.)f\r
414 (Example)g(of)h(caption.)-91 674 y Fj(Long)e(captions)g(should)f(be)h(set)h\r
415 (as)g(in)-41 805 y Ff(Figure)17 b(2.)f(Example)g(of)g(long)h(caption)g\r
416 (requiring)-41 855 y(more)e(than)h(one)f(line.)26 b(It)14 b(is)g(not)i(typed)\r
417 f(centered)-41 905 y(but)f(aligned)h(on)f(both)h(sides)f(and)h(indented)g\r
418 (with)-41 955 y(an)d(additional)f(margin)h(on)g(both)h(sides)f(of)f(1)h\r
419 (pica.)-91 1098 y Fj(Callouts)k(should)g(be)h(9-point)e(Helvetica,)20\r
420 b(non-boldface)c(type.)-91 1148 y(Initially)11 b(capitalize)j(only)f(the)h\r
421 (\256rst)g(word)f(of)h(section)f(titles)g(and)-91 1198 y(\256rst-,)d\r
422 (second-,)h(and)f(third-order)e(headings.)-41 1248 y(FIRST)l(-ORDER)i\r
423 (HEADINGS.)h(\(For)f(example,)i Fl(1.)20 b(Intr)o(o-)-91 1298\r
424 y(duction)p Fj(\))7 b(should)h(be)h(T)o(imes)g(12-point)e(boldface,)j\r
425 (initially)c(cap-)-91 1348 y(italized,)i(\257ush)h(left,)g(with)e(one)i\r
426 (blank)f(line)g(before,)i(and)e(one)h(blank)-91 1398 y(line)g(after)n(.)-41\r
427 1448 y(SECOND-ORDER)23 b(HEADINGS.)i(\(For)f(example,)29 b\r
428 Fi(1.1.)-91 1498 y(Database)13 b(elements)p Fj(\))g(should)e(be)h(T)o(imes)h\r
429 (11-point)d(boldface,)-91 1548 y(initially)h(capitalized,)k(\257ush)f(left,)g\r
430 \r
431 (with)f(one)h(blank)g(line)f(before,)-91 1597 y(and)18 b(one)g(after)n(.)37\r
432 b(If)18 b(you)f(require)h(a)g(third-order)e(heading)h(\(we)-91\r
433 1647 y(discourage)11 b(it\),)h(use)g(10-point)d(T)o(imes,)k(boldface,)f\r
434 (initially)d(capi-)-91 1697 y(talized,)k(\257ush)f(left,)g(preceded)h(by)f\r
435 (one)g(blank)f(line,)i(followed)e(by)-91 1747 y(a)g(period)e(and)h(your)g\r
436 (text)f(on)h(the)g(same)i(line.)-91 1853 y Fi(2.6.)g(Footnotes)-41\r
437 1958 y Fj(Please)c(use)g(footnotes)f(sparingly)454 1943 y Fe(1)476\r
438 1958 y Fj(and)h(place)g(them)g(at)g(the)f(bot-)-91 2008 y(tom)g(of)h(the)g\r
439 (column)f(on)h(the)g(page)g(on)g(which)f(they)h(are)h(referenced.)-91\r
440 2058 y(Use)i(T)o(imes)f(8-point)f(type,)h(single-spaced.)-91\r
441 2163 y Fi(2.7.)i(Refer)o(ences)-41 2269 y Fj(List)d(and)g(number)h(all)f\r
442 (bibliographical)e(references)k(in)e(9-point)-91 2319 y(T)o(imes,)14\r
443 b(single-spaced,)f(at)g(the)f(end)h(of)f(your)g(paper)n(.)22\r
444 b(When)13 b(ref-)-91 2369 y(erenced)i(in)f(the)h(text,)g(enclose)g(the)f\r
445 (citation)g(number)g(in)g(square)-91 2419 y(brackets,)h(for)d(example)i([1].)\r
446 24 b(Where)14 b(appropriate,)f(include)f(the)-91 2468 y(name\(s\))f(of)f\r
447 (editors)f(of)h(referenced)i(books.)p -91 2505 394 2 v -46\r
448 2532 a Fd(1)-31 2544 y Fc(Or)o(,)c(better)f(still,)j(try)e(to)f(avoid)g\r
449 (footnotes)g(altogether)n(.)k(T)n(o)d(help)f(your)g(readers,)-91\r
450 2584 y(avoid)j(using)g(footnotes)g(altogether)g(and)g(include)h(necessary)e\r
451 (peripheral)h(obser)o(-)-91 2623 y(vations)f(in)h(the)f(text)h(\(within)g\r
452 (parentheses,)f(if)h(you)f(prefer)o(,)h(as)g(in)f(this)h(sentence\).)987\r
453 42 y Fi(2.8.)i(Illustrations,)f(graphs,)h(and)g(photographs)1037\r
454 145 y Fj(All)f(graphics)i(should)e(be)i(centered.)22 b(Y)l(our)12\r
455 b(artwork)g(must)g(be)987 195 y(in)f(place)h(in)f(the)h(article)f\r
456 (\(preferably)g(printed)g(as)h(part)f(of)h(the)f(text)987 245\r
457 y(rather)e(than)g(pasted)g(up\).)14 b(If)9 b(you)g(are)h(using)e(photographs)\r
458 f(and)j(are)987 295 y(able)k(to)e(have)i(halftones)f(made)h(at)g(a)g(print)d\r
459 (shop,)j(use)g(a)g(100-)f(or)987 345 y(110-line)c(screen.)16\r
460 b(If)10 b(you)g(must)g(use)g(plain)g(photos,)f(they)h(must)g(be)987\r
461 394 y(pasted)e(onto)g(your)f(manuscript.)15 b(Use)9 b(rubber)f(cement)h(to)f\r
462 (af)o(\256x)h(the)987 444 y(images)f(in)e(place.)15 b(Black)7\r
463 b(and)g(white,)g(clear)n(,)i(glossy-\256nish)d(photos)987 494\r
464 y(are)k(preferable)h(to)e(color)n(.)14 b(Supply)9 b(the)g(best)h(quality)e\r
465 (photographs)987 544 y(and)i(illustrations)d(possible.)15 b(Penciled)10\r
466 b(lines)f(and)h(very)g(\256ne)h(lines)987 594 y(do)g(not)h(reproduce)g(well.)\r
467 19 b(Remember)n(,)c(the)d(quality)e(of)i(the)f(book)987 643\r
468 y(cannot)h(be)h(better)f(than)g(the)h(originals)e(provided.)21\r
469 b(Do)12 b(NOT)h(use)987 693 y(tape)d(on)g(your)g(pages!)987\r
470 797 y Fi(2.9.)i(Color)1037 901 y Fj(The)i(use)h(of)f(color)f(on)h(interior)e\r
471 (pages)j(\(that)e(is,)i(pages)g(other)987 951 y(than)e(the)f(cover\))h(is)g\r
472 (prohibitively)d(expensive.)23 b(W)m(e)14 b(publish)d(in-)987\r
473 1000 y(terior)h(pages)i(in)f(color)f(only)g(when)h(it)g(is)g(speci\256cally)g\r
474 (requested)987 1050 y(and)h(budgeted)f(for)g(by)g(the)h(conference)h(or)o\r
475 (ganizers.)25 b(DO)14 b(NOT)987 1100 y(SUBMIT)c(COLOR)g(IMAGES)g(IN)g(YOUR)g\r
476 (P)l(APERS)g(UNLESS)987 1150 y(SPECIFICALL)l(Y)g(INSTRUCTED)h(T)o(O)g(DO)f\r
477 (SO.)987 1254 y Fi(2.10.)i(Symbols)1037 1357 y Fj(If)19 b(your)g(word)f\r
478 (processor)i(or)f(typewriter)f(cannot)i(produce)987 1407 y(Greek)9\r
479 b(letters,)g(mathematical)g(symbols,)g(or)g(other)f(graphical)g(ele-)987\r
480 1457 y(ments,)13 b(please)g(use)f(pressure-sensitive)g(\(self-adhesive\))g\r
481 (rub-on)987 1507 y(symbols)i(or)g(letters)g(\(available)h(in)f(most)g\r
482 (stationery)g(stores,)i(art)987 1557 y(stores,)11 b(or)e(graphics)h(shops\).)\r
483 987 1660 y Fi(2.11.)i(Copyright)f(forms)1037 1764 y Fj(Y)l(ou)16\r
484 \r
485 b(must)g(include)g(your)f(signed)h(IEEE)h(copyright)e(release)987\r
486 1814 y(form)i(when)h(you)f(submit)g(your)g(\256nished)g(paper)n(.)37\r
487 b(W)m(e)18 b(MUST)987 1864 y(have)d(this)f(form)h(before)g(your)f(paper)h\r
488 (can)h(be)f(published)e(in)i(the)987 1914 y(proceedings.)987\r
489 2017 y Fi(2.12.)d(Conclusions)1037 2121 y Fj(Please)k(direct)g(any)f\r
490 (questions)g(to)g(the)g(production)f(editor)g(in)987 2171 y(char)o(ge)e(of)g\r
491 (these)g(proceedings)f(at)g(the)h(IEEE)g(Computer)f(Society)987\r
492 2221 y(Press:)k(Phone)10 b(\(714\))g(821-8380,)e(or)i(Fax)h(\(714\))e\r
493 (761-1784.)987 2337 y Fl(Refer)o(ences)992 2441 y Fb([1])21\r
494 b(I.)8 b(M.)g(Author)n(.)h(Some)d(related)h(article)h(I)f(wrote.)j\r
495 Fa(Some)c(Fine)h(Journal)p Fb(,)1056 2487 y(99\(7\):1\261100,)h(January)g\r
496 (1999.)992 2530 y([2])21 b(A.)8 b(N.)h(Expert.)i Fa(A)d(Book)e(He)i(W)n(r)o\r
497 (ote)p Fb(.)i(His)e(Publisher)o(,)g(Erewhon,)f(NC,)1056 2576\r
498 y(1999.)930 2787 y Fj(2)p eop\r
499 %%Trailer\r
500 end\r
501 userdict /end-hook known{end-hook}if\r
502 %%EOF\r