This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2004.2.20)  12 MAY 2004 07:50
**processes-slides-no-c-vsimple.tex
(./processes-slides-no-c-vsimple.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, british, french, german, n
german, finnish, italian, polish, nohyphenation, loaded.
(/usr/local/share/texmf/tex/latex/prosper/prosper.cls
Document Class: prosper 2001/07/17, v. 1.5
(c) 2000-2001 Frederic Goualard, EPFL, Switzerland
 and Peter M^^f8ller Neergaard, Boston Univ., USA
CVSId: $Id: prosper.cls,v 1.24 2002/11/25 14:35:50 exupery Exp $
(/usr/share/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
(/usr/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 80.

(/usr/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen102
\Gin@req@width=\dimen103
)
(/usr/share/texmf/tex/latex/seminar/seminar.cls
Document Class: seminar 1997/10/13, 1.4
Document Style: `seminar' v1.4 <1997/10/13> (tvz)
\slidewidth=\dimen104
\slideheight=\dimen105
\footheight=\dimen106
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/leqno.clo
File: leqno.clo 1998/08/17 v1.1c Standard LaTeX option (left equation numbers)
)
(/usr/share/texmf/tex/latex/base/size10.clo
File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen107
)
(/usr/share/texmf/tex/latex/seminar/sem-page.sty)
\before@document=\toks15
\after@document=\toks16
\before@enddocument=\toks17
\c@slide=\count87
\slide@count=\count88
\@slidebox=\box26
\not@slidebox=\box27
\slide@hook=\toks18
\after@slide=\toks19
\slide@footins=\insert233
\slide@listdepth=\count89
\saved@specials=\box28
\before@newslide=\toks20
\after@slidepage=\toks21
\slidesep=\skip43
\c@note=\count90
\slideframewidth=\dimen108
\slideframesep=\dimen109
\semin=\dimen110
\semcm=\dimen111
)
(/usr/share/texmf/tex/latex/config/seminar.con)
(/usr/share/texmf/tex/latex/seminar/semcolor.sty
Style Option: `semcolor' for doc style `seminar' 1.0 <93/04/01> (tvz)
(/usr/share/texmf/tex/generic/pstricks/pstricks.tex
`PSTricks' v97 patch 14  <1999/12/23> (tvz)
\pst@dima=\dimen112
\pst@dimb=\dimen113
\pst@dimc=\dimen114
\pst@dimd=\dimen115
\pst@dimg=\dimen116
\pst@dimh=\dimen117
\pst@hbox=\box29
\pst@boxg=\box30
\pst@cnta=\count91
\pst@cntb=\count92
\pst@cntc=\count93
\pst@cntd=\count94
\pst@cntg=\count95
\pst@cnth=\count96
\pst@toks=\toks22
(/usr/share/texmf/tex/generic/pstricks/pstricks.con)
\psunit=\dimen118
\psxunit=\dimen119
\psyunit=\dimen120
\pslinewidth=\dimen121
\pst@customdefs=\toks23
\pslinearc=\dimen122
\everypsbox=\toks24
\psframesep=\dimen123
\pslabelsep=\dimen124
\theoverlaybox=\box31
))
(/usr/share/texmf/tex/latex/seminar/semlayer.sty
\@@slidebox=\box32
\c@overlay=\count97
)
(/usr/share/texmf/tex/latex/seminar/seminar.bug)
(/usr/share/texmf/tex/latex/seminar/seminar.bg2
seminar.bg2: various corrections for the Seminar document class added since sem
inar.bug (waiting Seminar 98)
(Version 1.7 of <May 22, 1998> (D.G.))
) (/usr/local/share/texmf/tex/latex/prosper/seminar-bg2-lepennec.fix)
(/usr/share/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
\@linkdim=\dimen125
\Hy@linkcounter=\count98
\Hy@pagecounter=\count99

(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/usr/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Option `bookmarks' set `true' on input line 1744.
Package hyperref Info: Option `pdffitwindow' set `true' on input line 1744.
Package hyperref Info: Option `pdfcenterwindow' set `true' on input line 1744.
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing OFF on input line 1812.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 1916.
(/usr/local/share/texmf/tex/latex/misc/url.sty
\Urlmuskip=\muskip10
Package: url 2003/11/24  ver 3.0  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count100
\Field@Width=\dimen126
\Fld@charsize=\dimen127
\Choice@toks=\toks25
\Field@toks=\toks26
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing OFF on input line 2528.
Package hyperref Info: Link coloring OFF on input line 2533.
\c@Item=\count101
\c@Hfootnote=\count102
)
*hyperref using driver hdvips*
(/usr/share/texmf/tex/latex/hyperref/hdvips.def
File: hdvips.def 2003/01/22 v6.73n Hyperref driver for dvips

(/usr/share/texmf/tex/latex/hyperref/pdfmark.def
File: pdfmark.def 2003/01/22 v6.73n Hyperref definitions for pdfmark specials
\pdf@docset=\toks27
\pdf@box=\box33
\pdf@toks=\toks28
\pdf@defaulttoks=\toks29
\Fld@listcount=\count103
\@outlinefile=\write3
))
\theoverlays=\box34
\c@overlaysCount=\count104
\c@limitOverlays=\count105
\@tempoLimit=\count106
\slideWidth=\skip44
\c@trueSlideCounter=\count107

(/usr/local/share/texmf/tex/latex/prosper/PPRdefault.sty
Package: PPRdefault 2000/11/30

`default' style for Prosper ---
CVSId: $Id: PPRdefault.sty,v 1.3 2001/10/24 15:11:25 exupery Exp $
 
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks30
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
))
(/usr/share/texmf/tex/latex/seminar/semhelv.sty
Style Option: `semhelv' for the `seminar' doc style 1.4 <2000/05/08> (tvz)
Modified by Stefan (see source for details)
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 8.20007pt on input line 176.
))
\c@item@step=\count108
\c@overlay@page=\count109
\c@nbAffected=\count110
\c@savecountAffected=\count111
) (/usr/local/share/texmf/tex/latex/HA-prosper-4.0/HA-prosper.sty
Package: HA-prosper 2004/03/21 v4.0

Using HA-prosper v4.0: a patch for prosper
(c) 2003-2004 Hendri Adriaens, Tilburg, the Netherlands
 
(/usr/share/texmf/tex/latex/seminar/xcomment.sty
Style-Option: `xcomment' v1.2 <93/02/12> (tvz) 
\tokout=\write4
\tokin=\read1
) (/usr/share/texmf/tex/latex/tools/verbatim.sty
Package: verbatim 2001/03/12 v1.5p LaTeX2e package for verbatim enhancements
\every@verbatim=\toks31
\verbatim@line=\toks32
\verbatim@in@stream=\read2
)
\c@notes@slide=\count112
\c@truenotes@slide=\count113
\c@temp@slide=\count114
\c@@sectionCounter@t=\count115

(./processes-slides-no-c-vsimple.bm) (./processes-slides-no-c-vsimple.bm)
\@bmout=\write5
\openout5 = `processes-slides-no-c-vsimple.bm'.

\c@@sectionCounter@i=\count116
\c@@sectionCounter@ii=\count117
\c@@tocSectionCounter=\count118
\c@HAP@listdepth=\count119
\c@old@equation=\count120
\c@old@figure=\count121
\c@old@table=\count122
\HAP@tempboxL=\box35
\HAP@tempboxR=\box36
\HAP@lcolwidth=\skip45
\HAP@rcolwidth=\skip46
\HAP@frsep=\skip47
\HAP@colsep=\skip48
\HAP@topsep=\skip49
\HAP@bottomsep=\skip50
\HAP@indent=\skip51
\@slide@tempa=\skip52
\@slide@tempb=\skip53
\@slide@tempc=\skip54
\@slide@tempd=\skip55
\c@HAP@onslide@count=\count123
\c@HAP@onslide@end=\count124

(/usr/local/share/texmf/tex/latex/HA-prosper-4.0/HA-prosper.cfg)
(/usr/local/share/texmf/tex/latex/HA-prosper-4.0/Styles/vsimple/HAPvsimple.sty
Package: HAPvsimple 2004/03/25

`vsimple' style for HA-prosper 4.0 based on default Prosper style ---
RCSId: $Id$
 
\PRV@indenttoc=\skip56
\c@MG@tempTrueSlideCounter=\count125
)) (/usr/share/texmf/tex/latex/base/alltt.sty
Package: alltt 1997/06/16 v2.0g defines alltt environment
)
(/usr/local/share/texmf/tex/latex/nick/key.sty
Package: key 97/09/21 ver 2.1 Creates a boxed key image

(/usr/share/texmf/tex/latex/misc/fancybox.sty
Package: fancybox 2000/09/19 1.3

Style option: `fancybox' v1.3 <2000/09/19> (tvz)
\@fancybox=\box37
\shadowsize=\dimen128
\@Sbox=\box38
\do@VerbBox=\toks33
\the@fancyput=\toks34
\this@fancyput=\toks35
\EndVerbatimTokens=\toks36
\Verbatim@Outfile=\write6
\Verbatim@Infile=\read3
)) (/usr/share/texmf/tex/latex/tools/xr.sty
Package: xr 1994/05/28 v5.02 eXternal References (DPC)
)
(/usr/local/share/texmf/tex/latex/nick/cols.sty
Package: cols 97/04/03 tabularx columns B, Y, R and C

(/usr/share/texmf/tex/latex/tools/tabularx.sty
Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)

(/usr/share/texmf/tex/latex/tools/array.sty
Package: array 1998/05/13 v2.3m Tabular extension package (FMi)
\col@sep=\dimen129
\extrarowheight=\dimen130
\NC@list=\toks37
\extratabsurround=\skip57
\backup@length=\skip58
)
\TX@col@width=\dimen131
\TX@old@table=\dimen132
\TX@old@col=\dimen133
\TX@target=\dimen134
\TX@delta=\dimen135
\TX@cols=\count126
\TX@ftn=\toks38
))
(/usr/local/share/texmf/tex/latex/misc/rcs.sty
Package: rcs 1995/08/02 v2.9 typeset info from RCS fields
\rcsLogIntro=\toks39
)
(/usr/local/share/texmf/tex/latex/nick/acro.sty
Package: acro 1996/09/25 Abbreviations and acronyms

(/usr/share/texmf/tex/latex/tools/xspace.sty
Package: xspace 1997/10/13 v1.06 Space after command names (DPC)
)
(/usr/share/texmf/tex/latex/misc/relsize.sty
Package: relsize 1999/11/01 ver 2.0b
)
(/usr/local/share/texmf/tex/latex/nick/scl.sty
Package: scl 1995/04/23 Small caps, slanted font
))
(/usr/local/share/texmf/tex/latex/nick/nick.sty
\c@paraNumber=\count127
)
(/usr/share/texmf/tex/latex/tools/multicol.sty
Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
\c@tracingmulticols=\count128
\mult@box=\box39
\multicol@leftmargin=\dimen136
\c@unbalance=\count129
\c@collectmore=\count130
\doublecol@number=\count131
\multicoltolerance=\count132
\multicolpretolerance=\count133
\full@width=\dimen137
\page@free=\dimen138
\premulticols=\dimen139
\postmulticols=\dimen140
\multicolsep=\skip59
\multicolbaselineskip=\skip60
\partial@page=\box40
\last@line=\box41
\mult@rightbox=\box42
\mult@grightbox=\box43
\mult@gfirstbox=\box44
\mult@firstbox=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\@tempa=\box50
\@tempa=\box51
\@tempa=\box52
\@tempa=\box53
\@tempa=\box54
\@tempa=\box55
\@tempa=\box56
\@tempa=\box57
\@tempa=\box58
\@tempa=\box59
\@tempa=\box60
\@tempa=\box61
\@tempa=\box62
\c@columnbadness=\count134
\c@finalcolumnbadness=\count135
\last@try=\dimen141
\multicolovershoot=\dimen142
\multicolundershoot=\dimen143
\mult@nat@firstbox=\box63
\colbreak@box=\box64
)
(/usr/share/texmf/tex/latex/tools/varioref.sty
Package: varioref 2004/02/27 v1.4i package for extended references (FMi)
\c@vrcnt=\count136
)
(/usr/local/share/texmf/tex/latex/nick/explanation.sty
Package: explanation 1995/01/29 An environment for explanations
)
(/usr/share/texmf/tex/latex/misc/booktabs.sty
Package: booktabs 2000/08/16 v1.61 publication quality tables
\heavyrulewidth=\dimen144
\lightrulewidth=\dimen145
\cmidrulewidth=\dimen146
\belowrulesep=\dimen147
\belowbottomsep=\dimen148
\aboverulesep=\dimen149
\abovetopsep=\dimen150
\cmidrulesep=\dimen151
\cmidrulekern=\dimen152
\defaultaddspace=\dimen153
\@cmidrulewidth=\dimen154
\@cmidla=\count137
\@cmidlb=\count138
\@aboverulesep=\dimen155
\@belowrulesep=\dimen156
\@thisruleclass=\count139
\@lastruleclass=\count140
\@thisrulewidth=\dimen157
)
(/usr/share/texmf/tex/latex/misc/psfrag.sty
Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)
\pfg@pcount=\count141
\pfg@scount=\count142
\pfg@temp=\write7
)
(/usr/share/texmf/tex/latex/misc/version.sty)
(/usr/share/texmf/tex/latex/misc/optional.sty
Package: optional 2001/09/14 ver 2.2;  Optional inclusion/omission
)
(./processes-slides-no-c-vsimple.aux)
\openout1 = `processes-slides-no-c-vsimple.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 79.
LaTeX Font Info:    ... okay on input line 79.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 79.
LaTeX Font Info:    ... okay on input line 79.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 79.
LaTeX Font Info:    ... okay on input line 79.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 79.
LaTeX Font Info:    ... okay on input line 79.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 79.
LaTeX Font Info:    ... okay on input line 79.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 79.
LaTeX Font Info:    ... okay on input line 79.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 79.
LaTeX Font Info:    ... okay on input line 79.
Package hyperref Info: Link coloring OFF on input line 79.

(/usr/share/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count143
)
LaTeX Info: Redefining \ref on input line 79.
LaTeX Info: Redefining \pageref on input line 79.

(./processes-slides-no-c-vsimple.out) (./processes-slides-no-c-vsimple.out)
\openout3 = `processes-slides-no-c-vsimple.out'.

\@LW=\skip61
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 11.80809pt on input line 79.
LaTeX Font Info:    Font shape `OT1/helvetica/bx/n' in size <14.4> not availabl
e
(Font)              Font shape `OT1/helvetica/b/n' tried instead on input line 
79.
LaTeX Font Info:    Font shape `OT1/helvetica/b/n' will be
(Font)              scaled to size 11.80809pt on input line 79.

(./processes-slides-no-c-vsimple.toc
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 4.92004pt on input line 1.
LaTeX Font Info:    Font shape `OT1/courier/m/n' will be
(Font)              scaled to size 5.91pt on input line 18.
)
\tf@toc=\write8
\openout8 = `processes-slides-no-c-vsimple.toc'.


Using optional text marked with Cchallenged. 

Underfull \hbox (badness 10000) in paragraph at lines 1--81
[]
 []


Underfull \hbox (badness 10000) in paragraph at lines 1--81

 []

[0

] [0] [0]
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 9.84009pt on input line 81.
LaTeX Font Info:    Try loading font information for T1+phv on input line 81.
 (/usr/share/texmf/tex/latex/psnfss/t1phv.fd
File: t1phv.fd 2001/06/04 scalable font definitions for T1/phv.
)
LaTeX Font Info:    Try loading font information for T1+ptm on input line 81.

(/usr/share/texmf/tex/latex/psnfss/t1ptm.fd
File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
)
LaTeX Font Info:    Calculating math sizes for size <12.4> on input line 81.
LaTeX Font Info:    Try loading font information for U+msa on input line 81.

(/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 81.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Font shape `T1/courier/m/n' will be
(Font)              scaled to size 12.21399pt on input line 81.
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 5.74005pt on input line 81.
 [1

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `T1/phv/m/it' in size <12.4> not available
(Font)              Font shape `T1/phv/m/sl' tried instead on input line 86.
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 10.16808pt on input line 89.
LaTeX Font Info:    Font shape `OT1/courier/m/n' will be
(Font)              scaled to size 12.21399pt on input line 89.
LaTeX Font Info:    Font shape `OT1/courier/bx/n' in size <12.4> not available
(Font)              Font shape `OT1/courier/b/n' tried instead on input line 90
.
LaTeX Font Info:    Font shape `OT1/courier/b/n' will be
(Font)              scaled to size 12.21399pt on input line 90.
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [2

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[3

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `T1/phv/m/it' in size <9> not available
(Font)              Font shape `T1/phv/m/sl' tried instead on input line 148.
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [4

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [5

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[6

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [7

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [8

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[9

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: multitasking.eps Graphic file (type eps)
 <multitasking.eps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [10

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [11

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [12

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [13

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [14

]
LaTeX Font Info:    Font shape `T1/courier/b/n' will be
(Font)              scaled to size 20.42891pt on input line 302.
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [15

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[16

]
File: process-states.eps Graphic file (type eps)
 <process-states.eps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [17

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [18

]
LaTeX Font Info:    Font shape `OT1/courier/m/n' will be
(Font)              scaled to size 6.895pt on input line 348.
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[19

]
File: linux-process-states.eps Graphic file (type eps)
 <linux-process-states.eps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [20

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)

<yellow-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)
 <yellow-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)

<yellow-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[21

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [22

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [23

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `T1/courier/bx/n' in size <12.4> not available
(Font)              Font shape `T1/courier/b/n' tried instead on input line 433
.
LaTeX Font Info:    Font shape `T1/courier/b/n' will be
(Font)              scaled to size 12.21399pt on input line 433.
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
Overfull \hbox (3.35355pt too wide) in paragraph at lines 474--474
[]\OT1/courier/b/n/12.4 slabtop[] 
 []

File: ict-logo-smaller.eps Graphic file (type eps)
<ict-logo-smaller.eps> [24

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[25

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [26

]
LaTeX Font Info:    Font shape `OT1/courier/bx/n' in size <7> not available
(Font)              Font shape `OT1/courier/b/n' tried instead on input line 50
2.
LaTeX Font Info:    Font shape `OT1/courier/b/n' will be
(Font)              scaled to size 6.895pt on input line 502.
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [27

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [28

]
LaTeX Font Info:    Font shape `OT1/helvetica/bx/n' in size <12.4> not availabl
e
(Font)              Font shape `OT1/helvetica/b/n' tried instead on input line 
536.
LaTeX Font Info:    Font shape `OT1/helvetica/b/n' will be
(Font)              scaled to size 10.16808pt on input line 536.
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[29

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [30

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[31

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[32

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [33

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[34

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [35

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [36

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [37

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [38

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [39

]
File: process-control-blocks.eps Graphic file (type eps)

<process-control-blocks.eps>
Overfull \hbox (4.27267pt too wide) in paragraph at lines 753--762
[]| []  
 []

File: ict-logo-smaller.eps Graphic file (type eps)
<ict-logo-smaller.eps> [40

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[41

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[42

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [43

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [44

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[45

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `T1/phv/bx/it' in size <12.4> not available
(Font)              Font shape `T1/phv/b/it' tried instead on input line 1366.
LaTeX Font Info:    Font shape `T1/phv/b/it' in size <12.4> not available
(Font)              Font shape `T1/phv/b/sl' tried instead on input line 1366.
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [46

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)
 <yellow-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[47

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[48

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [49

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `OT1/helvetica/m/n' will be
(Font)              scaled to size 6.56006pt on input line 1459.
LaTeX Font Info:    Font shape `OT1/courier/m/n' will be
(Font)              scaled to size 7.88pt on input line 1459.


LaTeX Warning: Characters dropped after `\end{verbatim}' on input line 1461.

File: red-bullet-on-white.ps Graphic file (type eps)
<red-bullet-on-white.ps>

LaTeX Warning: Characters dropped after `\end{verbatim}' on input line 1471.

File: red-bullet-on-white.ps Graphic file (type eps)
<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [50

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[51

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[52

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [53

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)

<ict-logo-smaller.eps> [54

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
LaTeX Font Info:    Font shape `T1/phv/bx/n' in size <12.4> not available
(Font)              Font shape `T1/phv/b/n' tried instead on input line 1661.
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [55

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[56

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[57

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[58

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [59

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [60

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [61

]
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)
 <yellow-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)

<yellow-bullet-on-white.ps>
File: yellow-bullet-on-white.ps Graphic file (type eps)
 <yellow-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [62

]
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[63

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[64

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)

<green-bullet-on-white.ps>
File: green-bullet-on-white.ps Graphic file (type eps)
 <green-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps>
[65

]
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
File: red-bullet-on-white.ps Graphic file (type eps)
 <red-bullet-on-white.ps>
LaTeX Font Info:    Font shape `T1/courier/m/n' will be
(Font)              scaled to size 8.865pt on input line 2121.
File: red-bullet-on-white.ps Graphic file (type eps)

<red-bullet-on-white.ps>
File: ict-logo-smaller.eps Graphic file (type eps)
 <ict-logo-smaller.eps> [66

]
\tf@toc=\write9
\openout9 = `processes-slides-no-c-vsimple.toc'.


(./processes-slides-no-c-vsimple.aux) ) 
Here is how much of TeX's memory you used:
 5802 strings out of 95794
 73333 string characters out of 1194984
 154643 words of memory out of 1000001
 8586 multiletter control sequences out of 10000+50000
 62017 words of font info for 99 fonts, out of 500000 for 1000
 42 hyphenation exceptions out of 1000
 37i,11n,30p,298b,947s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on processes-slides-no-c-vsimple.dvi (69 pages, 231328 bytes).