X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fsystem_T%2FLatex8.ps;fp=helm%2Fpapers%2Fsystem_T%2FLatex8.ps;h=391c3906a8947f7241af8cdab90aa9a316bc6dbb;hb=5104e38ee747fd1052ce21f3f9f2ecc778d590ba;hp=0000000000000000000000000000000000000000;hpb=6355ac16ff3996e16d9d9cfb08e4184bc7962f8b;p=helm.git

diff --git a/helm/papers/system_T/Latex8.ps b/helm/papers/system_T/Latex8.ps
new file mode 100644
index 000000000..391c3906a
--- /dev/null
+++ b/helm/papers/system_T/Latex8.ps
@@ -0,0 +1,502 @@
+%!PS-Adobe-2.0
+%%Creator: dvips 5.47 Copyright 1986-91 Radical Eye Software
+%%Title: latex8.dvi
+%%Pages: 2 1
+%%BoundingBox: 0 0 612 792
+%%DocumentFonts: Times-Roman Times-Bold Times-Italic Helvetica-Bold
+%%EndComments
+%%BeginProcSet: /usr/local/lib/tex/ps/psfig.pro
+/TeXscale { 65536 div } def
+
+/DocumentInitState [ matrix currentmatrix currentlinewidth currentlinecap
+currentlinejoin currentdash currentgray currentmiterlimit ] cvx def
+
+/startTexFig {
+ /SavedState save def
+ userdict maxlength dict begin
+ currentpoint transform
+
+ DocumentInitState setmiterlimit setgray setdash setlinejoin setlinecap
+  setlinewidth setmatrix
+
+ itransform moveto
+
+ /ury exch TeXscale def
+ /urx exch TeXscale def
+ /lly exch TeXscale def
+ /llx exch TeXscale def
+ /y exch TeXscale def
+ /x exch TeXscale def
+ 
+ currentpoint /cy exch def /cx exch def
+
+ /sx x urx llx sub div def  % scaling for x
+ /sy y ury lly sub div def % scaling for y
+
+ sx sy scale   % scale by (sx,sy)
+
+ cx sx div llx sub
+ cy sy div ury sub translate
+ 
+ /DefFigCTM matrix currentmatrix def
+
+ /initmatrix {
+  DefFigCTM setmatrix
+ } def
+ /defaultmatrix {
+  DefFigCTM exch copy
+ } def
+
+ /initgraphics {
+  DocumentInitState setmiterlimit setgray setdash 
+   setlinejoin setlinecap setlinewidth setmatrix
+  DefFigCTM setmatrix
+ } def
+
+ /showpage {
+  initgraphics
+ } def
+  /erasepage {
+   initgraphics
+  } def
+  /copypage {} def
+
+} def
+/clipFig {
+ currentpoint 6 2 roll
+ newpath 4 copy
+
+ 4 2 roll moveto
+ 6 -1 roll exch lineto
+ exch lineto
+ exch lineto
+ closepath clip
+ newpath
+ moveto
+} def
+/doclip { llx lly urx ury clipFig } def
+/endTexFig {
+ end SavedState restore
+} def
+%%EndProcSet
+%%BeginProcSet: tex.pro
+/TeXDict 200 dict def TeXDict begin /N /def load def /B{bind def}N /S /exch
+load def /X{S N}B /TR /translate load N /isls false N /vsize 10 N /@rigin{
+isls{[0 1 -1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
+Resolution VResolution vsize neg mul TR matrix currentmatrix dup dup 4 get
+round 4 exch put dup dup 5 get round 5 exch put setmatrix}N /@letter{/vsize 10
+N}B /@landscape{/isls true N /vsize -1 N}B /@a4{/vsize 10.6929133858 N}B /@a3{
+/vsize 15.5531 N}B /@ledger{/vsize 16 N}B /@legal{/vsize 13 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 add]{ch-image}
+imagemask restore}B /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}N /eop{clear SI restore
+showpage userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook
+known{start-hook}if /VResolution X /Resolution X 1000 div /DVImag X /IE 256
+array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for}N /p /show load 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 statusdict begin /product where{pop product dup length 7 ge{0
+7 getinterval(Display)eq}{pop false}ifelse}{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 /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{clear SS restore}B end
+%%EndProcSet
+%%BeginProcSet: texps.pro
+TeXDict begin /rf{655360 div mul Resolution mul 7227 div /PixPerEm X findfont
+dup length 1 add dict /nn X{1 index /FID ne{nn 3 1 roll put}{pop pop}ifelse}
+forall 256 dict begin nn /Encoding get 0 1 255{2 copy get 3 index 2 index get
+1000 mul PixPerEm div def pop}for pop pop nn /Metrics currentdict put end
+/fontname X /nn dup nn definefont[PixPerEm 0 0 PixPerEm neg 0 0]makefont N
+fontname{/foo setfont}2 array copy cvx N fontname load 0 nn put}N
+/ObliqueSlant{dup sin S cos div neg}B /SlantFont{/foo X[1 0 foo 1 0 0]
+TransFont}N /ExtendFont{/foo X 3 2 roll[S{foo div}forall]3 1 roll[foo 0 0 1 0
+
+0]TransFont}N /TransFont{S findfont S makefont dup length dict /nn X{1 index
+/FID ne{nn 3 1 roll put}{pop pop}ifelse}forall dup nn definefont pop}N end
+%%EndProcSet
+TeXDict begin 1000 300 300 @start /Fa [ 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 0 0 9 12 16 19 19 31
+29 12 12 12 19 25 9 12 9 10 19 19 19 19 19 19 19 19 19 19 12
+12 25 25 25 19 34 23 23 25 27 23 23 27 27 12 17 25 21 31 25
+27 23 27 23 19 21 27 23 31 23 21 21 15 10 15 16 19 12 19 19
+17 19 17 10 19 19 10 10 17 10 27 19 19 19 19 15 15 10 19 17
+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
+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
+19 12 12 19 19 0 19 19 19 9 0 20 13 12 21 21 19 33 37 0 19
+0 12 12 12 12 12 12 12 12 0 12 12 0 12 12 12 33 0 0 0 0 0 0
+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
+0 0 0 10 0 0 10 19 25 19 0 0 0 0 ] /Times-Italic 1000 589824
+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
+0 0 0 0 0 0 0 9 12 15 19 19 31 29 12 12 12 19 21 9 12 9 10
+19 19 19 19 19 19 19 19 19 19 10 10 21 21 21 17 34 27 25 25
+27 23 21 27 27 12 15 27 23 33 27 27 21 27 25 21 23 27 27 35
+27 27 23 12 10 12 18 19 12 17 19 17 19 17 12 19 19 10 10 19
+10 29 19 19 19 19 12 15 10 19 19 27 19 19 17 18 7 18 20 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 0 0
+0 0 12 19 19 6 19 19 19 19 7 17 19 12 12 21 21 0 19 19 19 9
+0 17 13 12 17 17 19 37 37 0 17 0 12 12 12 12 12 12 12 12 0
+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
+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
+0 0 0 ] /Times-Roman 1000 589824 rf /Fc [ 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 0 0 8 11 14 17 17
+28 26 11 11 11 17 19 8 11 8 9 17 17 17 17 17 17 17 17 17 17
+9 9 19 19 19 15 31 24 22 22 24 20 18 24 24 11 13 24 20 30 24
+24 18 24 22 18 20 24 24 31 24 24 20 11 9 11 16 17 11 15 17
+15 17 15 11 17 17 9 9 17 9 26 17 17 17 17 11 13 9 17 17 24
+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
+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
+11 11 18 18 0 17 17 17 8 0 15 12 11 15 15 17 33 33 0 15 0 11
+11 11 11 11 11 11 11 0 11 11 0 11 11 11 33 0 0 0 0 0 0 0 0
+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
+0 9 0 0 9 17 24 17 0 0 0 0 ] /Times-Roman 1000 524288 rf /Fd
+[ 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 0 0 6 8 10 12 12 21 19 8 8 8 12 14 6 8 6 7 12 12 12 12 12
+12 12 12 12 12 7 7 14 14 14 11 23 18 17 17 18 15 14 18 18 8
+10 18 15 22 18 18 14 18 17 14 15 18 18 24 18 18 15 8 7 8 12
+12 8 11 12 11 12 11 8 12 12 7 7 12 7 19 12 12 12 12 8 10 7
+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
+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
+4 11 12 8 8 14 14 0 12 12 12 6 0 11 9 8 11 11 12 25 25 0 11
+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
+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
+7 12 18 12 0 0 0 0 ] /Times-Roman 1000 393216 rf /Fe [ 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 0 0
+7 10 12 15 15 24 23 10 10 10 15 16 7 10 7 8 15 15 15 15 15
+15 15 15 15 15 8 8 16 16 16 13 27 21 19 19 21 18 16 21 21 10
+11 21 18 26 21 21 16 21 19 16 18 21 21 27 21 21 18 10 8 10
+14 15 10 13 15 13 15 13 10 15 15 8 8 15 8 23 15 15 15 15 10
+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
+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
+15 15 5 13 15 10 10 16 16 0 15 15 15 7 0 13 10 10 13 13 15
+29 29 0 13 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 29
+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
+0 0 0 0 19 0 0 0 8 0 0 8 15 21 15 0 0 0 0 ] /Times-Roman 1000
+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
+0 0 0 0 0 0 0 0 0 0 12 14 20 23 23 37 30 12 14 14 16 24 12
+14 12 12 23 23 23 23 23 23 23 23 23 23 14 14 24 24 24 25 40
+
+30 30 30 30 28 25 32 30 12 23 30 25 35 30 32 28 32 30 28 25
+30 28 39 28 28 25 14 12 14 24 23 12 23 25 23 25 23 14 25 25
+12 12 23 12 37 25 25 25 25 16 23 14 25 23 32 23 23 21 16 12
+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
+0 0 0 0 0 0 0 14 23 23 7 23 23 23 23 10 21 23 14 14 25 25 0
+23 23 23 12 0 23 15 12 21 21 23 42 42 0 25 0 14 14 14 14 14
+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
+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
+25 39 25 0 0 0 0 ] /Helvetica-Bold 1000 655360 rf /Fg 1 3 df<400020C000606000
+C03001801803000C0600060C0003180001B00000E00000E00001B000031800060C000C06001803
+003001806000C0C0006040002013147A9320>2 D E /Fh 1 59 df<60F0F06004047C830C>58
+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
+0 0 0 0 0 0 0 11 15 25 23 23 46 38 15 15 15 23 26 11 15 11
+13 23 23 23 23 23 23 23 23 23 23 15 15 26 26 26 23 42 33 30
+33 33 30 28 36 36 18 23 36 30 43 33 36 28 36 33 25 30 33 33
+46 33 33 30 15 13 15 27 23 15 23 25 20 25 20 15 23 25 13 15
+25 13 38 25 23 25 25 20 18 15 25 23 33 23 23 20 18 10 18 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 0 0 0
+0 0 0 0 15 23 23 8 23 23 23 23 13 23 23 15 15 25 25 0 23 23
+23 11 0 25 16 15 23 23 23 46 46 0 23 0 15 15 15 15 15 15 15
+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
+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
+25 0 0 0 0 ] /Times-Bold 1000 720896 rf /Fj [ 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 0 0 10 14 17
+21 21 35 32 14 14 14 21 23 10 14 10 12 21 21 21 21 21 21 21
+21 21 21 12 12 23 23 23 18 38 30 28 28 30 25 23 30 30 14 16
+30 25 37 30 30 23 30 28 23 25 30 30 39 30 30 25 14 12 14 19
+21 14 18 21 18 21 18 14 21 21 12 12 21 12 32 21 21 21 21 14
+16 12 21 21 30 21 21 18 20 8 20 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 0 0 0 0 0 0 0 0 0 0 14 21 21 7 21 21
+21 21 7 18 21 14 14 23 23 0 21 21 21 10 0 19 15 14 18 18 21
+42 42 0 18 0 14 14 14 14 14 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 0 0 37 0 11 0 0 0 0 25 30 37 13
+0 0 0 0 0 28 0 0 0 12 0 0 12 21 30 21 0 0 0 0 ] /Times-Roman
+1000 655360 rf /Fk [ 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 0 0 10 14 17 21 21 35 32 14 14 14 21
+28 10 14 10 12 21 21 21 21 21 21 21 21 21 21 14 14 28 28 28
+21 38 25 25 28 30 25 25 30 30 14 18 28 23 35 28 30 25 30 25
+21 23 30 25 35 25 23 23 16 12 16 18 21 14 21 21 18 21 18 12
+21 21 12 12 18 12 30 21 21 21 21 16 16 12 21 18 28 18 18 16
+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
+0 0 0 0 0 0 0 0 0 0 16 21 21 7 21 21 21 21 9 23 21 14 14 21
+21 0 21 21 21 10 0 22 15 14 23 23 21 37 42 0 21 0 14 14 14
+14 14 14 14 14 0 14 14 0 14 14 14 37 0 0 0 0 0 0 0 0 0 0 0
+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
+0 0 12 21 28 21 0 0 0 0 ] /Times-Italic 1000 655360 rf /Fl
+[ 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 0 0 12 17 28 25 25 50 41 17 17 17 25 28 12 17 12 14 25 25
+25 25 25 25 25 25 25 25 17 17 28 28 28 25 46 36 33 36 36 33
+30 39 39 19 25 39 33 47 36 39 30 39 36 28 33 36 36 50 36 36
+33 17 14 17 29 25 17 25 28 22 28 22 17 25 28 14 17 28 14 41
+28 25 28 28 22 19 17 28 25 36 25 25 22 20 11 20 26 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 0 0 0 0
+17 25 25 8 25 25 25 25 14 25 25 17 17 28 28 0 25 25 25 12 0
+27 17 17 25 25 25 50 50 0 25 0 17 17 17 17 17 17 17 17 0 17
+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
+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
+0 0 ] /Times-Bold 1000 786432 rf /Fm [ 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 0 0 12 17 20 25 25
+41 39 17 17 17 25 28 12 17 12 14 25 25 25 25 25 25 25 25 25
+25 14 14 28 28 28 22 46 36 33 33 36 30 28 36 36 17 19 36 30
+44 36 36 28 36 33 28 30 36 36 47 36 36 30 17 14 17 23 25 17
+
+22 25 22 25 22 17 25 25 14 14 25 14 39 25 25 25 25 17 19 14
+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
+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
+9 22 25 17 17 28 28 0 25 25 25 12 0 23 17 17 22 22 25 50 50
+0 22 0 17 17 17 17 17 17 17 17 0 17 17 0 17 17 17 50 0 0 0
+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
+0 0 33 0 0 0 14 0 0 14 25 36 25 0 0 0 0 ] /Times-Roman 1000
+786432 rf /Fn 1 3 df<60000006F000000FF800001F7C00003E3E00007C1F0000F80F8001F0
+07C003E003E007C001E0078001F00F8000F81F00007C3E00003E7C00001FF800000FF0000007E0
+000007E000000FF000001FF800003E7C00007C3E0000F81F0001F00F8001E0078003E007C007C0
+03E00F8001F01F0000F83E00007C7C00003EF800001FF000000F600000062022769F35>2
+D E /Fo 4 59 df<000600001E0003FE00FFFE00FFFE007CFE0000FE0000FE0000FE0000FE0000
+FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000
+FE0000FE007FFFFE7FFFFE7FFFFE171C7B9B22>49 D<0C0003000F803F000FFFFE000FFFFC000F
+FFF8000FFFF0000FFFE0000FFFC0000FFE00000E0000000E0000000E0000000E0000000E000000
+0E0000000E3FC0000EFFF0000FC0FC000F007E000C003F000C003F8000001F8000001FC000001F
+C000001FE000001FE018001FE07C001FE0FE001FE0FE001FE0FE001FE0FE001FC0FC001FC07800
+1FC070003F8038003F001C007E000F81FC0007FFF80003FFE00000FF00001B297D9B22>53
+D<003FC00001FFF00003FFF80007C07C000F003E001F001F001E000F803E000F803E000F803E00
+0F803F000F803F000F803FC00F003FF01F001FFC1E001FFE3C000FFFF80007FFE00003FFF80001
+FFFC0001FFFE0007FFFF000F0FFF801E03FFC03E01FFC07C007FC07C001FE0F8000FE0F80007E0
+F80003E0F80003E0F80003E0F80003C07C0003C07C0007C03E0007803F000F001FC07E0007FFFC
+0003FFF000007FC0001B297DA722>56 D<1C003E007F00FF80FF80FF807F003E001C0009097B88
+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
+0 0 0 0 0 0 0 0 0 0 15 19 32 29 29 58 48 19 19 19 29 33 15
+19 15 16 29 29 29 29 29 29 29 29 29 29 19 19 33 33 33 29 54
+42 39 42 42 39 36 45 45 23 29 45 39 55 42 45 36 45 42 32 39
+42 42 58 42 42 39 19 16 19 34 29 19 29 32 26 32 26 19 29 32
+16 19 32 16 48 32 29 32 32 26 23 19 32 29 42 29 29 26 23 13
+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
+0 0 0 0 0 0 0 19 29 29 10 29 29 29 29 16 29 29 19 19 32 32
+0 29 29 29 15 0 31 20 19 29 29 29 58 58 0 29 0 19 19 19 19
+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
+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
+16 29 42 32 0 0 0 0 ] /Times-Bold 1000 917504 rf /Fq [ 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 0 0
+12 15 19 23 23 39 36 15 15 15 23 26 12 15 12 13 23 23 23 23
+23 23 23 23 23 23 13 13 26 26 26 21 43 34 31 31 34 28 26 34
+34 15 18 34 28 41 34 34 26 34 31 26 28 34 34 44 34 34 28 15
+13 15 22 23 15 21 23 21 23 21 15 23 23 13 13 23 13 36 23 23
+23 23 15 18 13 23 23 34 23 23 21 22 9 22 25 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 0 0 0 0 15 23 23
+8 23 23 23 23 8 21 23 15 15 26 26 0 23 23 23 12 0 21 16 15
+21 21 23 46 46 0 21 0 15 15 15 15 15 15 15 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 41 0 13 0 0 0 0 28
+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
+1000 734003 rf /Fr [ 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 0 0 15 19 24 29 29 48 45 19 19 19 29
+33 15 19 15 16 29 29 29 29 29 29 29 29 29 29 16 16 33 33 33
+26 54 42 39 39 42 36 32 42 42 19 23 42 36 52 42 42 32 42 39
+32 36 42 42 55 42 42 36 19 16 19 27 29 19 26 29 26 29 26 19
+29 29 16 16 29 16 45 29 29 29 29 19 23 16 29 29 42 29 29 26
+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
+0 0 0 0 0 0 0 0 0 0 19 29 29 10 29 29 29 29 10 26 29 19 19
+32 32 0 29 29 29 15 0 26 20 19 26 26 29 58 58 0 26 0 19 19
+19 19 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 0 0 0 52 0 16 0 0 0 0 36 42 52 18 0 0 0 0 0 39 0 0 0
+
+16 0 0 16 29 42 29 0 0 0 0 ] /Times-Roman 1000 917504 rf end
+%%EndProlog
+%%BeginSetup
+%%Feature: *Resolution 300
+TeXDict begin 
+%%EndSetup
+%%Page: 1 1
+bop 69 187 a Fr(L)84 179 y Fq(A)109 187 y Fr(T)135 205 y(E)162
+187 y(X)15 b Fp(Author)g(Guidelines)h(for)29 b Fo(8:5)16 b
+Fn(\002)g Fo(11)p Fp(-Inch)f(Pr)o(oceedings)f(Manuscripts)414
+371 y Fm(Paolo)e(Ienne)155 429 y(Swiss)h(Federal)f(Institute)f(of)h(T)m
+(echnology)248 487 y(Microcomputing)f(Laboratory)91 545 y(IN-F)g(Ecublens,)j
+(1015)e(Lausanne,)i(Switzerland)298 603 y(Paolo.Ienne@di.ep\257.ch)1294
+371 y(Second)f(Author)1330 429 y(Institution2)1128 487 y(First)e(line)i(of)f
+(institution2)f(address)1100 545 y(Second)h(line)g(of)g(institution2)g
+(address)1115 603 y(SecondAuthor@institution2.com)308 778 y
+Fl(Abstract)-41 878 y Fk(The)h(ABSTRACT)h(is)e(to)g(be)i(in)e
+(fully-justi\256ed)e(italicized)h(text,)-91 928 y(at)k(the)h(top)e(of)i(the)f
+(left-hand)f(column,)j(below)e(the)g(author)g(and)-91 978 y(af\256liation)f
+(information.)34 b(Use)18 b(the)g(wor)n(d)f(\252Abstract\272)h(as)f(the)-91
+1027 y(title,)c(in)f(12-point)f(T)n(imes,)j(boldface)e(type,)j(center)n(ed)f
+(r)n(elative)g(to)-91 1077 y(the)g(column,)i(initially)c(capitalized.)28
+b(The)15 b(abstract)f(is)g(to)h(be)g(in)-91 1127 y(10-point,)g(single-spaced)
+g(type.)33 b(The)16 b(abstract)f(may)h(be)g(up)g(to)-91 1177
+y(3)f(inches)g(\(7.62)g(cm\))g(long.)28 b(Leave)17 b(two)d(blank)g(lines)h
+(after)f(the)-91 1227 y(Abstract,)c(then)g(begin)g(the)g(main)f(text.)-91
+1389 y Fl(1.)k(Intr)o(oduction)-41 1494 y Fj(Please)f(follow)e(the)i(steps)f
+(outlined)f(below)h(when)h(submitting)-91 1544 y(your)c(manuscript)h(to)g
+(the)h(IEEE)g(Computer)f(Society)g(Press.)15 b(Note)-91 1593
+y(there)g(have)h(been)f(some)h(changes)g(to)f(the)g(measurements)h(from)-91
+1643 y(previous)9 b(instructions.)-91 1756 y Fl(2.)k(Instructions)-41
+1861 y Fj(Please)e(read)g(the)f(following)e(carefully)m(.)-91
+1961 y Fi(2.1.)k(Language)-41 2062 y Fj(All)d(manuscripts)h(must)g(be)h(in)e
+(English.)-91 2162 y Fi(2.2.)j(Printing)f(your)h(paper)-41
+2262 y Fj(Print)c(your)h(properly)f(formatted)h(text)g(on)h(high-quality)m(,)
+d(8)p Fh(:)p Fj(5)g Fg(\002)-91 2312 y Fj(11-inch)g(white)g(printer)f(paper)n
+(.)15 b(A4)8 b(paper)g(is)f(also)h(acceptable,)i(but)-91 2362
+y(please)k(leave)f(the)g(extra)g(0.5)g(inch)f(\(1.27)g(cm\))i(at)f(the)g
+(BOTT)o(OM)-91 2412 y(of)d(the)g(page.)-91 2512 y Fi(2.3.)i(Margins)f(and)h
+(page)g(numbering)-41 2613 y Fj(All)18 b(printed)g(material,)j(including)c
+(text,)k(illustrations,)e(and)-91 2662 y(charts,)14 b(must)f(be)g(kept)g
+(within)e(a)i(print)f(area)i(6-7/8)e(inches)h(\(17.5)987 778
+y(cm\))e(wide)g(by)f(8-7/8)g(inches)g(\(22.54)g(cm\))i(high.)j(Do)c(not)f
+(write)g(or)987 828 y(print)j(anything)f(outside)h(the)h(print)f(area.)27
+b(Number)15 b(your)e(pages)987 878 y(lightly)m(,)k(in)f(pencil,)j(on)d(the)h
+(upper)g(right-hand)e(corners)i(of)g(the)987 928 y(BACKS)9
+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
+(2)987 978 y(of)f(10,)g(and)g(so)g(forth\).)j(Please)f(do)d(not)g(write)h(on)
+f(the)h(fronts)f(of)h(the)987 1027 y(pages,)h(nor)f(on)g(the)g(lower)g
+(halves)g(of)g(the)g(backs)h(of)f(the)g(pages.)987 1136 y Fi(2.4.)i
+(Formatting)f(your)h(paper)1037 1245 y Fj(All)17 b(text)h(must)h(be)f(in)g(a)
+h(two-column)f(format.)39 b(The)19 b(total)987 1295 y(allowable)13
+b(width)g(of)g(the)h(text)f(area)i(is)f(6-7/8)e(inches)i(\(17.5)g(cm\))987
+1345 y(wide)9 b(by)f(8-7/8)g(inches)h(\(22.54)g(cm\))g(high.)14
+b(Columns)8 b(are)i(to)e(be)i(3-)987 1395 y(1/4)g(inches)h(\(8.25)g(cm\))h
+(wide,)f(with)f(a)i(5/16)e(inch)g(\(0.8)h(cm\))h(space)987
+1445 y(between)17 b(them.)34 b(The)17 b(main)g(title)e(\(on)h(the)h(\256rst)f
+
+(page\))h(should)987 1494 y(begin)8 b(1.0)i(inch)e(\(2.54)h(cm\))h(from)f
+(the)g(top)f(edge)i(of)e(the)h(page.)16 b(The)987 1544 y(second)9
+b(and)f(following)e(pages)j(should)e(begin)h(1.0)g(inch)g(\(2.54)g(cm\))987
+1594 y(from)j(the)g(top)f(edge.)18 b(On)11 b(all)g(pages,)h(the)f(bottom)f
+(mar)o(gin)h(should)987 1644 y(be)f(1-1/8)f(inches)h(\(2.86)f(cm\))i(from)e
+(the)h(bottom)e(edge)j(of)e(the)h(page)987 1694 y(for)g(8)p
+Fh(:)p Fj(5)e Fg(\002)i Fj(11-inch)f(paper;)i(for)f(A4)g(paper)n(,)h
+(approximately)f(1-5/8)987 1744 y(inches)g(\(4.13)g(cm\))h(from)f(the)g
+(bottom)f(edge)i(of)f(the)g(page.)987 1853 y Fi(2.5.)i(T)m(ype-style)g(and)g
+(fonts)1037 1962 y Fj(Wherever)f(T)o(imes)f(is)h(speci\256ed,)g(T)o(imes)g
+(Roman)f(may)h(also)f(be)987 2011 y(used.)17 b(If)10 b(neither)g(is)h
+(available)f(on)h(your)f(word)g(processor)n(,)i(please)987
+2061 y(use)i(the)g(font)f(closest)i(in)e(appearance)j(to)d(T)o(imes)i(that)e
+(you)h(have)987 2111 y(access)e(to.)1037 2163 y(MAIN)j(TITLE.)j(Center)e(the)
+f(title)g(1-3/8)f(inches)i(\(3.49)g(cm\))987 2212 y(from)d(the)g(top)g(edge)g
+(of)g(the)h(\256rst)f(page.)24 b(The)14 b(title)e(should)g(be)i(in)987
+2262 y(T)o(imes)j(14-point,)g(boldface)f(type.)35 b(Capitalize)16
+b(the)h(\256rst)f(letter)987 2312 y(of)c(nouns,)h(pronouns,)f(verbs,)h
+(adjectives,)g(and)g(adverbs;)g(do)f(not)987 2362 y(capitalize)g(articles,)g
+(coordinate)f(conjunctions,)g(or)g(prepositions)987 2412 y(\(unless)f(the)g
+(title)f(begins)h(with)f(such)i(a)g(word\).)j(Leave)e(two)e(blank)987
+2461 y(lines)g(after)g(the)g(title.)1037 2513 y(AUTHOR)c(NAME\(s\))g(and)g
+(AFFILIA)-5 b(TION\(s\))6 b(are)g(to)g(be)g(ce)q(n-)987 2563
+y(tered)13 b(beneath)g(the)g(title)e(and)i(printed)f(in)g(T)o(imes)h
+(12-point,)f(non-)987 2613 y(boldface)i(type.)26 b(This)14
+b(information)e(is)i(to)f(be)i(followed)d(by)i(two)987 2662
+y(blank)c(lines.)p eop
+%%Page: 2 2
+bop -41 42 a Fj(The)13 b(ABSTRACT)f(and)h(MAIN)g(TEXT)g(are)h(to)e(be)h(in)f
+(a)h(two-)-91 91 y(column)d(format.)-41 142 y(MAIN)g(TEXT)m(.)i(T)m(ype)f
+(main)f(text)g(in)g(10-point)e(T)o(imes,)j(single-)-91 192
+y(spaced.)k(Do)6 b(NOT)g(use)g(double-spacing.)14 b(All)6 b(paragraphs)g
+(should)-91 241 y(be)13 b(indented)f(1)h(pica)g(\(approx.)23
+b(1/6)12 b(inch)g(or)h(0.422)g(cm\).)24 b(Make)-91 291 y(sure)12
+b(your)f(text)g(is)g(fully)f(justi\256ed\320that)g(is,)i(\257ush)g(left)f
+(and)g(\257ush)-91 341 y(right.)i(Please)8 b(do)f(not)f(place)i(any)f
+(additional)f(blank)g(lines)h(between)-91 391 y(paragraphs.)27
+b(Figure)14 b(and)h(table)f(captions)g(should)f(be)h(10-point)-91
+441 y(Helvetica)c(boldface)h(type)e(as)i(in)113 572 y Ff(Figure)h(1.)f
+(Example)g(of)h(caption.)-91 674 y Fj(Long)e(captions)g(should)f(be)h(set)h
+(as)g(in)-41 805 y Ff(Figure)17 b(2.)f(Example)g(of)g(long)h(caption)g
+(requiring)-41 855 y(more)e(than)h(one)f(line.)26 b(It)14 b(is)g(not)i(typed)
+f(centered)-41 905 y(but)f(aligned)h(on)f(both)h(sides)f(and)h(indented)g
+(with)-41 955 y(an)d(additional)f(margin)h(on)g(both)h(sides)f(of)f(1)h
+(pica.)-91 1098 y Fj(Callouts)k(should)g(be)h(9-point)e(Helvetica,)20
+b(non-boldface)c(type.)-91 1148 y(Initially)11 b(capitalize)j(only)f(the)h
+(\256rst)g(word)f(of)h(section)f(titles)g(and)-91 1198 y(\256rst-,)d
+(second-,)h(and)f(third-order)e(headings.)-41 1248 y(FIRST)l(-ORDER)i
+(HEADINGS.)h(\(For)f(example,)i Fl(1.)20 b(Intr)o(o-)-91 1298
+y(duction)p Fj(\))7 b(should)h(be)h(T)o(imes)g(12-point)e(boldface,)j
+(initially)c(cap-)-91 1348 y(italized,)i(\257ush)h(left,)g(with)e(one)i
+(blank)f(line)g(before,)i(and)e(one)h(blank)-91 1398 y(line)g(after)n(.)-41
+1448 y(SECOND-ORDER)23 b(HEADINGS.)i(\(For)f(example,)29 b
+Fi(1.1.)-91 1498 y(Database)13 b(elements)p Fj(\))g(should)e(be)h(T)o(imes)h
+(11-point)d(boldface,)-91 1548 y(initially)h(capitalized,)k(\257ush)f(left,)g
+
+(with)f(one)h(blank)g(line)f(before,)-91 1597 y(and)18 b(one)g(after)n(.)37
+b(If)18 b(you)f(require)h(a)g(third-order)e(heading)h(\(we)-91
+1647 y(discourage)11 b(it\),)h(use)g(10-point)d(T)o(imes,)k(boldface,)f
+(initially)d(capi-)-91 1697 y(talized,)k(\257ush)f(left,)g(preceded)h(by)f
+(one)g(blank)f(line,)i(followed)e(by)-91 1747 y(a)g(period)e(and)h(your)g
+(text)f(on)h(the)g(same)i(line.)-91 1853 y Fi(2.6.)g(Footnotes)-41
+1958 y Fj(Please)c(use)g(footnotes)f(sparingly)454 1943 y Fe(1)476
+1958 y Fj(and)h(place)g(them)g(at)g(the)f(bot-)-91 2008 y(tom)g(of)h(the)g
+(column)f(on)h(the)g(page)g(on)g(which)f(they)h(are)h(referenced.)-91
+2058 y(Use)i(T)o(imes)f(8-point)f(type,)h(single-spaced.)-91
+2163 y Fi(2.7.)i(Refer)o(ences)-41 2269 y Fj(List)d(and)g(number)h(all)f
+(bibliographical)e(references)k(in)e(9-point)-91 2319 y(T)o(imes,)14
+b(single-spaced,)f(at)g(the)f(end)h(of)f(your)g(paper)n(.)22
+b(When)13 b(ref-)-91 2369 y(erenced)i(in)f(the)h(text,)g(enclose)g(the)f
+(citation)g(number)g(in)g(square)-91 2419 y(brackets,)h(for)d(example)i([1].)
+24 b(Where)14 b(appropriate,)f(include)f(the)-91 2468 y(name\(s\))f(of)f
+(editors)f(of)h(referenced)i(books.)p -91 2505 394 2 v -46
+2532 a Fd(1)-31 2544 y Fc(Or)o(,)c(better)f(still,)j(try)e(to)f(avoid)g
+(footnotes)g(altogether)n(.)k(T)n(o)d(help)f(your)g(readers,)-91
+2584 y(avoid)j(using)g(footnotes)g(altogether)g(and)g(include)h(necessary)e
+(peripheral)h(obser)o(-)-91 2623 y(vations)f(in)h(the)f(text)h(\(within)g
+(parentheses,)f(if)h(you)f(prefer)o(,)h(as)g(in)f(this)h(sentence\).)987
+42 y Fi(2.8.)i(Illustrations,)f(graphs,)h(and)g(photographs)1037
+145 y Fj(All)f(graphics)i(should)e(be)i(centered.)22 b(Y)l(our)12
+b(artwork)g(must)g(be)987 195 y(in)f(place)h(in)f(the)h(article)f
+(\(preferably)g(printed)g(as)h(part)f(of)h(the)f(text)987 245
+y(rather)e(than)g(pasted)g(up\).)14 b(If)9 b(you)g(are)h(using)e(photographs)
+f(and)j(are)987 295 y(able)k(to)e(have)i(halftones)f(made)h(at)g(a)g(print)d
+(shop,)j(use)g(a)g(100-)f(or)987 345 y(110-line)c(screen.)16
+b(If)10 b(you)g(must)g(use)g(plain)g(photos,)f(they)h(must)g(be)987
+394 y(pasted)e(onto)g(your)f(manuscript.)15 b(Use)9 b(rubber)f(cement)h(to)f
+(af)o(\256x)h(the)987 444 y(images)f(in)e(place.)15 b(Black)7
+b(and)g(white,)g(clear)n(,)i(glossy-\256nish)d(photos)987 494
+y(are)k(preferable)h(to)e(color)n(.)14 b(Supply)9 b(the)g(best)h(quality)e
+(photographs)987 544 y(and)i(illustrations)d(possible.)15 b(Penciled)10
+b(lines)f(and)h(very)g(\256ne)h(lines)987 594 y(do)g(not)h(reproduce)g(well.)
+19 b(Remember)n(,)c(the)d(quality)e(of)i(the)f(book)987 643
+y(cannot)h(be)h(better)f(than)g(the)h(originals)e(provided.)21
+b(Do)12 b(NOT)h(use)987 693 y(tape)d(on)g(your)g(pages!)987
+797 y Fi(2.9.)i(Color)1037 901 y Fj(The)i(use)h(of)f(color)f(on)h(interior)e
+(pages)j(\(that)e(is,)i(pages)g(other)987 951 y(than)e(the)f(cover\))h(is)g
+(prohibitively)d(expensive.)23 b(W)m(e)14 b(publish)d(in-)987
+1000 y(terior)h(pages)i(in)f(color)f(only)g(when)h(it)g(is)g(speci\256cally)g
+(requested)987 1050 y(and)h(budgeted)f(for)g(by)g(the)h(conference)h(or)o
+(ganizers.)25 b(DO)14 b(NOT)987 1100 y(SUBMIT)c(COLOR)g(IMAGES)g(IN)g(YOUR)g
+(P)l(APERS)g(UNLESS)987 1150 y(SPECIFICALL)l(Y)g(INSTRUCTED)h(T)o(O)g(DO)f
+(SO.)987 1254 y Fi(2.10.)i(Symbols)1037 1357 y Fj(If)19 b(your)g(word)f
+(processor)i(or)f(typewriter)f(cannot)i(produce)987 1407 y(Greek)9
+b(letters,)g(mathematical)g(symbols,)g(or)g(other)f(graphical)g(ele-)987
+1457 y(ments,)13 b(please)g(use)f(pressure-sensitive)g(\(self-adhesive\))g
+(rub-on)987 1507 y(symbols)i(or)g(letters)g(\(available)h(in)f(most)g
+(stationery)g(stores,)i(art)987 1557 y(stores,)11 b(or)e(graphics)h(shops\).)
+987 1660 y Fi(2.11.)i(Copyright)f(forms)1037 1764 y Fj(Y)l(ou)16
+
+b(must)g(include)g(your)f(signed)h(IEEE)h(copyright)e(release)987
+1814 y(form)i(when)h(you)f(submit)g(your)g(\256nished)g(paper)n(.)37
+b(W)m(e)18 b(MUST)987 1864 y(have)d(this)f(form)h(before)g(your)f(paper)h
+(can)h(be)f(published)e(in)i(the)987 1914 y(proceedings.)987
+2017 y Fi(2.12.)d(Conclusions)1037 2121 y Fj(Please)k(direct)g(any)f
+(questions)g(to)g(the)g(production)f(editor)g(in)987 2171 y(char)o(ge)e(of)g
+(these)g(proceedings)f(at)g(the)h(IEEE)g(Computer)f(Society)987
+2221 y(Press:)k(Phone)10 b(\(714\))g(821-8380,)e(or)i(Fax)h(\(714\))e
+(761-1784.)987 2337 y Fl(Refer)o(ences)992 2441 y Fb([1])21
+b(I.)8 b(M.)g(Author)n(.)h(Some)d(related)h(article)h(I)f(wrote.)j
+Fa(Some)c(Fine)h(Journal)p Fb(,)1056 2487 y(99\(7\):1\261100,)h(January)g
+(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
+(ote)p Fb(.)i(His)e(Publisher)o(,)g(Erewhon,)f(NC,)1056 2576
+y(1999.)930 2787 y Fj(2)p eop
+%%Trailer
+end
+userdict /end-hook known{end-hook}if
+%%EOF