<xml xmlns:v="urn:schemas-microsoft-com:vml"
 xmlns:o="urn:schemas-microsoft-com:office:office"
 xmlns:p="urn:schemas-microsoft-com:office:powerpoint">
 <p:presentation advisor="1024">
  <p:master id="3" type="main" href="master03.htm" xmlhref="master03.xml"
   template="Research Talk Template" layout="title_body"
   slots="title,body,dateTime,footer,slideNumber">
   <p:schemes>
    <p:colorscheme
     colors="#0000FF,#FFFFFF,#000000,#FFFF00,#FF9900,#00FFFF,#FF0000,#969696"/>
    <p:colorscheme
     colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"/>
    <p:colorscheme
     colors="#FFFFFF,#000000,#333333,#000000,#DDDDDD,#808080,#4D4D4D,#EAEAEA"/>
    <p:colorscheme
     colors="#FFFFCC,#000000,#666633,#808000,#339933,#800000,#0033CC,#FFCC66"/>
    <p:colorscheme
     colors="#FFFFFF,#000000,#808080,#000000,#FFCC66,#0000FF,#CC00CC,#C0C0C0"/>
    <p:colorscheme
     colors="#FFFFFF,#000000,#808080,#000000,#C0C0C0,#0066FF,#FF0000,#009900"/>
    <p:colorscheme
     colors="#FFFFFF,#000000,#808080,#000000,#3399FF,#99FFCC,#CC00CC,#B2B2B2"/>
   </p:schemes>
  </p:master>
  <p:master id="1" type="notes" href="master01.htm" layout="notes"
   slots="header,dateTime,slideImage,body,footer,slideNumber">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="0"/>
  </p:master>
  <p:master id="2" type="handout" href="master02.htm" layout="handout"
   slots="header,dateTime,footer,slideNumber">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="1"/>
  </p:master>
  <p:slide id="1" href="slide0001.htm" layout="title_subtitle"
   slots="centerTitle,subTitle">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="2"/>
  </p:slide>
  <p:slide id="2" href="slide0002.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="3"/>
  </p:slide>
  <p:slide id="3" href="slide0003.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="4"/>
  </p:slide>
  <p:slide id="4" href="slide0004.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="5"/>
  </p:slide>
  <p:slide id="5" href="slide0005.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="6"/>
  </p:slide>
  <p:slide id="6" href="slide0006.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="7"/>
  </p:slide>
  <p:slide id="7" href="slide0007.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="8"/>
  </p:slide>
  <p:slide id="8" href="slide0008.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="9"/>
  </p:slide>
  <p:slide id="9" href="slide0009.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="10"/>
  </p:slide>
  <p:slide id="10" href="slide0010.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="11"/>
  </p:slide>
  <p:slide id="11" href="slide0011.htm" layout="title_body" slots="title,body"/>
  <p:slide id="12" href="slide0012.htm" layout="title_body" slots="title,body"/>
  <p:slide id="13" href="slide0013.htm" layout="title_body" slots="title,body"/>
  <p:slide id="14" href="slide0014.htm" layout="title_body" slots="title,body"/>
  <p:slide id="17" href="slide0017.htm" layout="title_body" slots="title,body"/>
  <p:slide id="18" href="slide0018.htm" layout="title_body" slots="title,body"/>
  <p:slide id="19" href="slide0019.htm" layout="title_body" slots="title,body"/>
  <p:slide id="41" href="slide0041.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="12"/>
  </p:slide>
  <p:slide id="15" href="slide0015.htm" layout="title_body" slots="title,body"/>
  <p:slide id="16" href="slide0016.htm" layout="title_body" slots="title,body"/>
  <p:slide id="20" href="slide0020.htm" layout="title_body" slots="title,body"/>
  <p:slide id="21" href="slide0021.htm" layout="title_body" slots="title,body"/>
  <p:slide id="22" href="slide0022.htm" layout="title_body" slots="title,body"/>
  <p:slide id="23" href="slide0023.htm" layout="title_body" slots="title,body"/>
  <p:slide id="36" href="slide0036.htm" layout="title_body" slots="title,body"/>
  <p:slide id="24" href="slide0024.htm" layout="title_body" slots="title,body"/>
  <p:slide id="40" href="slide0040.htm" layout="title_body" slots="title,body"/>
  <p:slide id="25" href="slide0025.htm" layout="title_body" slots="title,body"/>
  <p:slide id="26" href="slide0026.htm" layout="title_body" slots="title,body"/>
  <p:slide id="27" href="slide0027.htm" layout="title_body" slots="title,body"/>
  <p:slide id="28" href="slide0028.htm" layout="title_body" slots="title,body"/>
  <p:slide id="29" href="slide0029.htm" layout="title_body" slots="title,body"/>
  <p:slide id="42" href="slide0042.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="13"/>
  </p:slide>
  <p:slide id="30" href="slide0030.htm" layout="title_body" slots="title,body"/>
  <p:slide id="43" href="slide0043.htm" layout="title_body" slots="title,body">
   <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="14"/>
  </p:slide>
  <p:slide id="32" href="slide0032.htm" layout="title_body" slots="title,body"/>
  <p:slide id="33" href="slide0033.htm" layout="title_body" slots="title,body"/>
  <p:slide id="34" href="slide0034.htm" layout="title_body" slots="title,body"/>
  <p:slide id="37" href="slide0037.htm" layout="title_body" slots="title,body"/>
  <p:slide id="38" href="slide0038.htm" layout="title_body" slots="title,body"/>
  <p:slide id="39" href="slide0039.htm" layout="title_body" slots="title,body"/>
  <p:slide id="35" href="slide0035.htm" layout="title_body" slots="title,body"/>
  <p:viewstate type="slideView" slidehref="slide0040.htm" restoredleft="226"
   restoredtop="946" manualadjustleft="t" manualadjusttop="t"
   hideoutlineicons="t"/>
  <p:slideshowsettings pencolor="schemeText" manualadvance="t"/>
  <p:tag name="TEXPOINTINIT" type="string"/>
  <p:tag name="USEAMSFONTS" type="string" value="True"/>
  <p:tag name="EMBEDFONTS" type="string" value="False"/>
  <p:tag name="USEBOLDAMS" type="string" value="True"/>
  <p:tag name="DEFAULTDISPLAYSOURCE" type="string"
   value="\documentclass{slides}\pagestyle{empty}&#13;&#10;\usepackage{math-cmds}&#13;&#10;\usepackage{proof}&#13;&#10;\usepackage{code}&#13;&#10;\newcommand{\Forall}[2]{\forall {#1}.{#2}}&#13;&#10;\newcommand{\Exists}[2]{\exists {#1}.{#2}}&#13;&#10;\newcommand{\Arrow}[2]{{#1}\to{#2}}&#13;&#10;\newcommand{\Fun}[3]{\lambda {#1}{:}{#2}.{#3}}&#13;&#10;\newcommand{\App}[2]{{#1}({#2})}&#13;&#10;\newcommand{\PFun}[2]{\Lambda {#1}.{#2}}&#13;&#10;\newcommand{\Inst}[2]{{#1}[{#2}]}&#13;&#10;\newcommand{\Pack}[3]{\textit{pack}\,{#1}\,\textit{with}\,{#2}\,\textit{as}\,{#3}}&#13;&#10;\newcommand{\Open}[5]{\textit{abstype}\,{#2}\,\textit{with}\,{#3}{:}{#4}\,\textit{is}\,{#1}\,\textit{in}\,{#5}\,\textit{end}}&#13;&#10;\newcommand{\OKType}[2]{{#1}\vdash {#2}\,\mathsf{ok}}&#13;&#10;\newcommand{\OKTerm}[4]{{#2}\vdash_{#1} {#3}:{#4}}&#13;&#10;\begin{document}&#13;&#10;\begin{small}&#13;&#10;\begin{displaymath}&#13;&#10;\begin{array}{c}&#13;&#10;&#13;&#10;\end{array}&#13;&#10;\end{displaymath}&#13;&#10;\end{small}&#13;&#10;\end{document}&#13;&#10;"/>
  <p:tag name="TEX2PS" type="string"
   value="latex $(base).tex; dvips -D $(res) -E -o $(base).ps $(base).dvi"/>
  <p:tag name="TEX2PSBATCH" type="string"
   value="latex --interaction=nonstopmode $(base).tex; dvips -D $(res) -E -o $(base).ps $(base).dvi"/>
  <p:tag name="DEFAULTBITMAP" type="string" value="bmp16m"/>
  <p:tag name="DEFAULTBLEND" type="string" value="True"/>
  <p:tag name="DEFAULTTRANSPARENT" type="string" value="False"/>
  <p:tag name="DEFAULTRESOLUTION" type="string" value="300"/>
  <p:tag name="DEFAULTWIDTH" type="string" value="324"/>
  <p:tag name="DEFAULTHEIGHT" type="string" value="370"/>
  <p:tag name="DEFAULTMAGNIFICATION" type="string" value="2"/>
  <p:tag name="___PPT10" type="binary" datasize="16" dataoffset="15"/>
  <p:tag name="DEFAULTFONTSIZE" type="string" value="10"/>
  <p:font name="Times New Roman" charset="0" type="6" family="18"/>
  <p:font name="Arial" charset="0" type="6" family="34"/>
  <p:font name="Courier New" charset="0" type="6" family="49"/>
  <p:font name="cmsy10" charset="0" type="6" family="34"/>
  <p:font name="Symbol" charset="2" type="6" family="18"/>
  <p:headersfooters noheader="t"/>
  <p:headersfooters notes="t" slidenumber="t"/>
  <p:pptdocumentsettings framecolors="WhiteTextOnBlack" hideslideanimation="t"/>
  <p:htmlpublishsettings browsersupport="dual"
   href="F:\cs\user\rwh\public\www\home\courses\modules\slides\abstypes.htm"
   noloadinbrowser="t"/>
 </p:presentation>
 <o:shapedefaults v:ext="edit" spidmax="310274">
  <o:colormru v:ext="edit" colors="#36f"/>
 </o:shapedefaults></xml>