\newif\ifimagen\imagentrue
\documentclass[semlcmss,sem-a4]{seminar}
\newcommand{\thepicture}{{\center\mbox{}{\box\graph}\mbox{}\endcenter}}
\newcommand{\apicture}{{\mbox{}{\box\graph}\mbox{}}}
\usepackage{hevea}
\usepackage[latin1jk]{inputenc}
\usepackage[french]{babel}
                      % hack ->hevea
\makeatletter
\let\accent@spacefactor\relax

                      % hack ->hevea
\makeatother
\usepackage{epsf}
\usepackage{epsfig}
\usepackage{graphics,color}
\usepackage{program-1c}
\newcommand{\mypdfimage}[1]{\mbox{
\pdfimage #1
\vspace*{-3ex}
}
}
\newcommand{\patch}{\global\parskip= 0.2ex}
\newcommand{\arr}{\rightarrow}
\newcommand{\ans}[1]{\orchidBis{#1}}
\newcommand{\commentb}[1]{{\bf\orchidBis{#1}}}
\newcommand{\gifimage}[1]{}
\def\printlandscape{\special{landscape}}
\newcounter{exoNum}
\setcounter{exoNum}{1}
\newcommand{\exoplus}{\arabic{exoNum}{\addtocounter{exoNum}{1}}}
\newcommand{\exercice}{{\normalsize\colorExercice Exercice \exoplus\hspace{1ex}}}
\newcommand{\lac}{$\lambda$-calcul}
\newcommand{\es}{explicit substitutions}
\newcommand{\x}{\lambda x}
\newcommand{\y}{\lambda y}
\newcommand{\z}{\lambda z}
\newcommand{\type}{{\,:\,}}
\newcommand{\goes}{\rightarrow}
\newcommand{\subst}[1]{[\hspace{-.24ex}[ #1 ]\hspace{-.27ex}]}
\newcommand{\rby}{\backslash}
\newcommand{\becomes}{:=}
\newcommand{\tolambda}[1]{\{#1\}}
\newcommand{\nexthyp}{\quad}
\newcommand{\infrule}[2]{{{\mbox{$ #1$}} \over {\mbox{$ #2$}}}}
\newcommand{\axiom}[1]{#1}
\newcommand{\notfreein}{\mathrel{\mbox{\tiny not free in}}}
\newcommand{\linearin}{\mathrel{\mbox{\tiny linear in}}}
\newcommand{\doesnotbind}{\mathrel{\mbox{\tiny does not bind}}}
\newcommand{\If}{\mathrel{\hbox{if}}}
\newcommand{\Implies}{\mathrel{\hbox{implies}}}
\newcommand{\Domain}{\mathop{\hbox{\it domain}}}
\newcommand{\Otherwise}{\mathrel{\;\hbox{otherwise}}}
\newcounter{thmcounter}
\newenvironment{thm}{{\blue\bf Theorem 
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{fact}{{\blue\bf Fact
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{prop}{{\blue\bf Proposition
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newenvironment{cor}{{\blue\bf Corollary\hspace{1ex}}}{}
\newenvironment{definition}{{\blue\bf Definition
               \addtocounter{thmcounter}{1}\thethmcounter\hspace{1ex}}}{}
\newcommand{\entails}{\mathrel{\raisebox{-.25ex}{$\vdash$}}}
\newcommand{\mylet}{\mathop{\mathtt{let}\,}}
\newcommand{\myletrec}{\mathop{\mathtt{letrec}\,}}
\newcommand{\myin}{\mathrel{\mathtt{in}}}
\newcommand{\myint}{\mathop{\mathtt{int}}}
\newcommand{\myif}{\mathop{\mathtt{ifz}}}
\newcommand{\mythen}{\mathrel{\mathtt{then}}}
\newcommand{\myelse}{\mathrel{\mathtt{else}}}
\newcommand{\myfun}{\mathop{\mathtt{fun}}}
\newcommand{\mylist}{\mathop{\mathtt{list}}}
\newcommand{\mynil}{\mathop{\mathtt{nil}}}
\newcommand{\mycons}{\mathrel{\mathtt{::}}}
\newcommand{\myhd}{\mathop{\mathtt{hd}}}
\newcommand{\mytl}{\mathop{\mathtt{tl}}}
\newcommand{\myifn}{\mathop{\mathtt{ifnil}}}
\newcommand{\mytrue}{\mathop{\mathtt{vrai}}}
\newcommand{\myfalse}{\mathop{\mathtt{faux}}}
\newcommand{\myiszero}{\mathop{\mathtt{zero}}}
\newcommand{\id}{\mathop{\mathit{id}}}
\newcommand{\myfact}{\mathop{\mathtt{fact}}}
\newcommand{\const}[1]{\underline{#1}}
\newcommand{\myone}{\const{1}}
\newcommand{\mytwo}{\const{2}}
\newcommand{\mythree}{\const{3}}
\newcommand{\myfour}{\const{4}}
\newcommand{\myerr}{\mathop{\mathtt{err}}}
\newcommand{\shift}{\makebox[1ex]{{\small $\uparrow$}}}
\newcommand{\comp}{\circ}
\newcommand{\var}[1]{\underline{#1}}
\newcommand{\Int}{\mathop{\mathtt{integrale}}}
\newcommand{\myeval}{\mathit{eval}}
\def\slidelabel{\footnotesize\bf Slide \theslide}
\newcommand{\bigline}{\noindent\rule{\textwidth}{.25mm}}
\newcommand{\heading}[1]{%
    \makebox[\textwidth]{\large\sf\colorHeading #1}\\[-1.5ex]{\colorYellow\bigline}
\small
%  \vspace{3ex}
}
\definecolor{red}{rgb}{1,0,0}\definecolor{cyan}{rgb}{0,1,1}\definecolor{cyanBis}{rgb}{0.03,0.56,.68}\definecolor{cyanTer}{rgb}{0.13,0.43,0.52}\definecolor{green}{rgb}{0,1,0}\definecolor{greenBis}{rgb}{0.0,0.55,0.0}\definecolor{orchid}{rgb}{0.855,0.439,0.839}\definecolor{orchidBis}{rgb}{0.76,0,0.67}\definecolor{blueBis}{rgb}{0,0.05,1}\definecolor{orange}{rgb}{1.000,0.647,0.000}\definecolor{darkorange}{rgb}{1.000,0.549,0.000}\definecolor{DarkOrange}{rgb}{1.000,0.549,0.000}\definecolor{DarkOrangeBis}{rgb}{.249,.129,.006}\definecolor{brownBis}{rgb}{.73,.46,.17}\definecolor{yellow}{rgb}{.90,.90,0}\definecolor{blueSky}{rgb}{.10,.25,.28}\definecolor{black}{rgb}{.0,.0,.0}\newcommand{\red}{\color{red}}
\newcommand{\black}{\color{black}}
\newcommand{\cyan}{\color{cyan}}
\newcommand{\cyanBis}{\color{cyanBis}}
\newcommand{\cyanTer}{\color{cyanTer}}
\newcommand{\blue}{\color{blue}}
\newcommand{\blueBis}{\color{blueBis}}
\newcommand{\green}{\color{green}}
\newcommand{\greenBis}{\color{greenBis}}
\newcommand{\DarkOrange}{\color{DarkOrange}}
\newcommand{\DarkOrangeBis}{\color{DarkOrangeBis}}
\newcommand{\orchid}{\color{orchid}}
\newcommand{\orchidBis}{\color{orchidBis}}
\newcommand{\orange}{\color{orange}}
\newcommand{\darkorange}{\color{darkorange}}
\newcommand{\brownBis}{\color{brownBis}}
\newcommand{\blueSky}{\color{blueSky}}
\newcommand{\yellow}{\color{yellow}}
\newcommand{\redOne}{\black}
\newcommand{\m}[1]{{\red $#1$}}
\def \({\bgroup\red $}
\def \){$\egroup}
\usepackage{listings}
\usepackage{colors-clear}
\usepackage{eurosym}
\usepackage{hyperref}
\usepackage{advi}
\usepackage{advi-annot}
\usepackage{advi-graphicx}
\usepackage{superpose}
\usepackage{amssymb}
\newcommand{\urlter}[3]{\advirecord{#1}{%
\adviembed[name=netscape; height=0mm]{%
netscape -remote openFile(#2)}}%
\advianchor[click]{#1}{#3}%
}
\newcommand{\urlbis}[2]{\advirecord{#1}{%
\adviembed[name=netscape; height=0mm]{%
netscape -remote openURL(#2)}}%
\advianchor[click]{#1}{\url{#2}}%
}

\pagestyle{empty}
\begin{document}
\newcommand{\WHILE}{\mbox{\sf\colorKeyword while}\;}
\newcommand{\DO}{\;\mbox{\sf\colorKeyword do}\;}
\newcommand{\AND}{\;\mbox{\sf\colorKeyword and}\;}
\newcommand{\OR}{\;\mbox{\sf\colorKeyword or}\;}
\newcommand{\WAIT}{\;\mbox{\sf\colorKeyword wait}\;}
\newcommand{\IF}{\;\mbox{\sf\colorKeyword if}\;}
\newcommand{\THEN}{\;\mbox{\sf\colorKeyword then}\;}
\newcommand{\ELSE}{\;\mbox{\sf\colorKeyword else}\;}
\newcommand{\BEGIN}{\;\mbox{\sf\colorKeyword begin}\;}
\newcommand{\END}{\;\mbox{\sf\colorKeyword end}\;}
\newcommand{\pair}[2]{\langle #1,\; #2 \rangle}
\newcommand{\SKIP}{\mbox{\sf\colorKeyword skip}\;}
\newcommand{\TRUE}{\mbox{\sf\colorKeyword true}\;}
\newcommand{\FALSE}{\mbox{\sf\colorKeyword false}\;}
\newcommand{\AWAIT}{\mbox{\sf\colorKeyword await}\;}
\newcommand{\turn}{\mbox{\em turn}}
\newcommand{\ass}{:=}
\newcommand{\para}{\mid\mid}
\newcommand{\tab}[3]{\multicolumn{#1}{l}{}&
                     \multicolumn{#2}{l}{{#3}}}
\newcommand{\tleft}{[\hspace{-.3ex}[}
\newcommand{\tright}{]\hspace{-.3ex}]}
\newcommand{\processes}{\mathcal{P}}
\newcommand{\actions}{\mathcal{A}ct}
\newcommand{\transitions}{\mathcal{T}}
\renewcommand{\goes}[1]{\stackrel{#1}{\longrightarrow}}
\expandafter\ifx\csname graph\endcsname\relax \csname newbox\endcsname\graph\fi
\expandafter\ifx\csname graphtemp\endcsname\relax \csname newdimen\endcsname\graphtemp\fi
\setbox\graph=\vtop{\vskip 0pt\hbox{%
    \special{pn 8}%
    \special{ar 111 731 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 0.111in\lower\graphtemp\hbox to 0pt{\hss $P_0$\adviwait\hss}}%
    \special{pa 222 731}%
    \special{pa 886 731}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 786 706}%
    \special{pa 886 731}%
    \special{pa 786 756}%
    \special{pa 786 706}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.660in
    \rlap{\kern 0.554in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 997 731 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 0.997in\lower\graphtemp\hbox to 0pt{\hss $P_1$\adviwait\hss}}%
    \special{pa 1088 667}%
    \special{pa 1792 175}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1695 212}%
    \special{pa 1792 175}%
    \special{pa 1724 253}%
    \special{pa 1695 212}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.350in
    \rlap{\kern 1.390in\lower\graphtemp\hbox to 0pt{\hss \small  coffee \hspace{1ex}\hss}}%
    \special{ar 1883 111 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 0.111in
    \rlap{\kern 1.883in\lower\graphtemp\hbox to 0pt{\hss $P_2$\adviwait\hss}}%
    \special{pa 1772 111}%
    \special{pa 820 111}%
    \special{pa 195 658}%
    \special{sp}%
    \special{sh 1.000}%
    \special{pa 286 611}%
    \special{pa 195 658}%
    \special{pa 254 573}%
    \special{pa 286 611}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.038in
    \rlap{\kern 1.081in\lower\graphtemp\hbox to 0pt{\hss drink\adviwait\hss}}%
    \special{pa 1088 795}%
    \special{pa 1792 1288}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1724 1210}%
    \special{pa 1792 1288}%
    \special{pa 1695 1251}%
    \special{pa 1724 1210}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.970in
    \rlap{\kern 1.489in\lower\graphtemp\hbox to 0pt{\hss \small  tea\hss}}%
    \special{ar 1883 1351 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 1.351in
    \rlap{\kern 1.883in\lower\graphtemp\hbox to 0pt{\hss $P_3$\adviwait\hss}}%
    \special{pa 1772 1351}%
    \special{pa 820 1351}%
    \special{pa 195 804}%
    \special{sp}%
    \special{sh 1.000}%
    \special{pa 254 889}%
    \special{pa 195 804}%
    \special{pa 286 851}%
    \special{pa 254 889}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 1.424in
    \rlap{\kern 1.081in\lower\graphtemp\hbox to 0pt{\hss drink\hss}}%
    \hbox{\vrule depth1.462in width0pt height 0pt}%
    \kern 1.994in
  }%
}%
\box\graph

\clearpage% page: 0
\expandafter\ifx\csname graph\endcsname\relax \csname newbox\endcsname\graph\fi
\expandafter\ifx\csname graphtemp\endcsname\relax \csname newdimen\endcsname\graphtemp\fi
\setbox\graph=\vtop{\vskip 0pt\hbox{%
    \special{pn 8}%
    \special{ar 111 731 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 0.111in\lower\graphtemp\hbox to 0pt{\hss $P_0'$\hss}}%
    \special{pa 222 731}%
    \special{pa 886 731}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 786 706}%
    \special{pa 886 731}%
    \special{pa 786 756}%
    \special{pa 786 706}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.660in
    \rlap{\kern 0.554in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 997 731 111 111 0 6.28319}%
    \special{pa 1088 667}%
    \special{pa 1792 175}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1695 212}%
    \special{pa 1792 175}%
    \special{pa 1724 253}%
    \special{pa 1695 212}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.350in
    \rlap{\kern 1.390in\lower\graphtemp\hbox to 0pt{\hss \small  coffee \hspace{1ex}\hss}}%
    \special{ar 1883 111 111 111 0 6.28319}%
    \special{pa 1974 175}%
    \special{pa 2678 667}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 2610 590}%
    \special{pa 2678 667}%
    \special{pa 2581 631}%
    \special{pa 2610 590}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.350in
    \rlap{\kern 2.375in\lower\graphtemp\hbox to 0pt{\hss \small  drink\hss}}%
    \special{ar 2769 731 111 111 0 6.28319}%
    \special{pa 2657 731}%
    \special{pa 1108 731}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1208 756}%
    \special{pa 1108 731}%
    \special{pa 1208 706}%
    \special{pa 1208 756}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.643in
    \rlap{\kern 1.883in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 997 731 111 111 0 6.28319}%
    \special{pa 1088 795}%
    \special{pa 1792 1288}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1724 1210}%
    \special{pa 1792 1288}%
    \special{pa 1695 1251}%
    \special{pa 1724 1210}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 1.086in
    \rlap{\kern 1.409in\lower\graphtemp\hbox to 0pt{\hss \small  tea\hss}}%
    \special{ar 1883 1351 111 111 0 6.28319}%
    \special{pa 1974 1288}%
    \special{pa 2678 795}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 2581 832}%
    \special{pa 2678 795}%
    \special{pa 2610 873}%
    \special{pa 2581 832}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 1.086in
    \rlap{\kern 2.357in\lower\graphtemp\hbox to 0pt{\hss \small  drink\hss}}%
    \hbox{\vrule depth1.462in width0pt height 0pt}%
    \kern 2.880in
  }%
}%
\box\graph

\clearpage% page: 1
\expandafter\ifx\csname graph\endcsname\relax \csname newbox\endcsname\graph\fi
\expandafter\ifx\csname graphtemp\endcsname\relax \csname newdimen\endcsname\graphtemp\fi
\setbox\graph=\vtop{\vskip 0pt\hbox{%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 0.000in\lower\graphtemp\hbox to 0pt{\hss \adviwait\hss}}%
    \special{pn 8}%
    \special{ar 111 731 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 0.111in\lower\graphtemp\hbox to 0pt{\hss $P_0''$\hss}}%
    \special{pa 214 690}%
    \special{pa 776 463}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 674 477}%
    \special{pa 776 463}%
    \special{pa 692 523}%
    \special{pa 674 477}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.505in
    \rlap{\kern 0.473in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 879 421 111 111 0 6.28319}%
    \special{pa 982 380}%
    \special{pa 1544 153}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1441 167}%
    \special{pa 1544 153}%
    \special{pa 1460 213}%
    \special{pa 1441 167}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.195in
    \rlap{\kern 1.241in\lower\graphtemp\hbox to 0pt{\hss \small  coffee \hspace{1ex}\hss}}%
    \special{ar 1647 111 111 111 0 6.28319}%
    \special{pa 1535 111}%
    \special{pa 495 111}%
    \special{pa 170 637}%
    \special{sp}%
    \special{sh 1.000}%
    \special{pa 243 565}%
    \special{pa 170 637}%
    \special{pa 201 539}%
    \special{pa 243 565}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.017in
    \rlap{\kern 0.630in\lower\graphtemp\hbox to 0pt{\hss drink\hss}}%
    \special{pa 214 773}%
    \special{pa 776 1000}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 692 939}%
    \special{pa 776 1000}%
    \special{pa 674 985}%
    \special{pa 692 939}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.930in
    \rlap{\kern 0.482in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 879 1041 111 111 0 6.28319}%
    \special{pa 982 1083}%
    \special{pa 1544 1310}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 1460 1249}%
    \special{pa 1544 1310}%
    \special{pa 1441 1295}%
    \special{pa 1460 1249}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 1.125in
    \rlap{\kern 1.284in\lower\graphtemp\hbox to 0pt{\hss \small  tea\hss}}%
    \special{ar 1647 1351 111 111 0 6.28319}%
    \special{pa 1535 1351}%
    \special{pa 495 1351}%
    \special{pa 170 826}%
    \special{sp}%
    \special{sh 1.000}%
    \special{pa 201 924}%
    \special{pa 170 826}%
    \special{pa 243 898}%
    \special{pa 201 924}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 1.446in
    \rlap{\kern 0.630in\lower\graphtemp\hbox to 0pt{\hss drink\hss}}%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 1.758in\lower\graphtemp\hbox to 0pt{\hss \adviwait\hss}}%
    \special{ar 2369 731 111 111 0 6.28319}%
    \graphtemp=.5ex\advance\graphtemp by 0.731in
    \rlap{\kern 2.369in\lower\graphtemp\hbox to 0pt{\hss $P_0'''$\hss}}%
    \special{pa 2369 620}%
    \special{pa 2369 222}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 2344 322}%
    \special{pa 2369 222}%
    \special{pa 2394 322}%
    \special{pa 2344 322}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.421in
    \rlap{\kern 2.326in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 2369 111 111 111 0 6.28319}%
    \special{pa 2480 731}%
    \special{pa 3025 731}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 2925 706}%
    \special{pa 3025 731}%
    \special{pa 2925 756}%
    \special{pa 2925 706}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.660in
    \rlap{\kern 2.753in\lower\graphtemp\hbox to 0pt{\hss \small  .20\euro\hss}}%
    \special{ar 3136 731 111 111 0 6.28319}%
    \special{pa 3223 661}%
    \special{pa 3818 181}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 3724 224}%
    \special{pa 3818 181}%
    \special{pa 3756 263}%
    \special{pa 3724 224}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.350in
    \rlap{\kern 3.477in\lower\graphtemp\hbox to 0pt{\hss \small  coffee \hspace{1ex}\hss}}%
    \special{ar 3904 111 111 111 0 6.28319}%
    \special{pa 3793 111}%
    \special{pa 2983 111}%
    \special{pa 2447 652}%
    \special{sp}%
    \special{sh 1.000}%
    \special{pa 2535 599}%
    \special{pa 2447 652}%
    \special{pa 2500 564}%
    \special{pa 2535 599}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.032in
    \rlap{\kern 3.215in\lower\graphtemp\hbox to 0pt{\hss drink\hss}}%
    \special{pa 3223 801}%
    \special{pa 3818 1281}%
    \special{fp}%
    \special{sh 1.000}%
    \special{pa 3756 1199}%
    \special{pa 3818 1281}%
    \special{pa 3724 1238}%
    \special{pa 3756 1199}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 0.970in
    \rlap{\kern 3.563in\lower\graphtemp\hbox to 0pt{\hss \small  tea\hss}}%
    \special{ar 3904 1351 111 111 0 6.28319}%
    \special{pa 3793 1351}%
    \special{pa 2983 1351}%
    \special{pa 2447 810}%
    \special{sp}%
    \special{sh 1.000}%
    \special{pa 2500 899}%
    \special{pa 2447 810}%
    \special{pa 2535 864}%
    \special{pa 2500 899}%
    \special{fp}%
    \graphtemp=.5ex\advance\graphtemp by 1.430in
    \rlap{\kern 3.215in\lower\graphtemp\hbox to 0pt{\hss drink\hss}}%
    \hbox{\vrule depth1.462in width0pt height 0pt}%
    \kern 4.015in
  }%
}%
\box\graph

\clearpage% page: 2
\newcommand{\traces}{\mathop{\mathit{\mathcal{T}\hspace{-.5ex}races}}}
\newcommand{\trace}{\mathop{\mathit{trace}}}
\newcommand{\pref}{\mathop{\mathit{prefixes}}}
\newcommand{\bisim}[1]{\mathrel{\mathcal{#1}}}
\newcommand{\lfp}{\mathop{\mathtt{lfp}}}
\newcommand{\gfp}{\mathop{\mathtt{gfp}}}

\end{document}
