<xml xmlns:v="urn:schemas-microsoft-com:vml"
 xmlns:o="urn:schemas-microsoft-com:office:office"
 xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
 xmlns:oa="urn:schemas-microsoft-com:office:activation">
 <p:presentation sizeof="screen" gridspacingx="49152" gridspacingy="49152">
  <p:master id="4" slidesn="0,0" type="main" href="master04.htm"
   xmlhref="master04.xml" template="Research Talk" 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:slide id="1" slidesn="0,0" href="slide0001.htm" layout="title_subtitle"
   slots="centerTitle,subTitle"/>
  <p:slide id="2" slidesn="0,0" href="slide0002.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="3" slidesn="0,0" href="slide0003.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="4" slidesn="0,0" href="slide0004.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="5" slidesn="0,0" href="slide0005.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="8" slidesn="0,0" href="slide0008.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="9" slidesn="0,0" href="slide0009.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="10" slidesn="0,0" href="slide0010.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="7" slidesn="0,0" href="slide0007.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="12" slidesn="0,0" href="slide0012.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="37" slidesn="0,0" href="slide0037.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="13" slidesn="0,0" href="slide0013.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="14" slidesn="0,0" href="slide0014.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="15" slidesn="0,0" href="slide0015.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="20" slidesn="0,0" href="slide0020.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="19" slidesn="0,0" href="slide0019.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="16" slidesn="0,0" href="slide0016.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="40" slidesn="0,0" href="slide0040.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="38" slidesn="0,0" href="slide0038.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="18" slidesn="0,0" href="slide0018.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="21" slidesn="0,0" href="slide0021.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="22" slidesn="0,0" href="slide0022.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="23" slidesn="0,0" href="slide0023.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="24" slidesn="0,0" href="slide0024.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="25" slidesn="0,0" href="slide0025.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="26" slidesn="0,0" href="slide0026.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="27" slidesn="0,0" href="slide0027.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="41" slidesn="0,0" href="slide0041.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="42" slidesn="0,0" href="slide0042.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="45" slidesn="0,0" href="slide0045.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="52" slidesn="0,0" href="slide0052.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="51" slidesn="0,0" href="slide0051.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="49" slidesn="0,0" href="slide0049.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="44" slidesn="0,0" href="slide0044.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="46" slidesn="0,0" href="slide0046.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="48" slidesn="0,0" href="slide0048.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="47" slidesn="0,0" href="slide0047.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="50" slidesn="0,0" href="slide0050.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="28" slidesn="0,0" href="slide0028.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="29" slidesn="0,0" href="slide0029.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="30" slidesn="0,0" href="slide0030.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="31" slidesn="0,0" href="slide0031.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="32" slidesn="0,0" href="slide0032.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="33" slidesn="0,0" href="slide0033.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="34" slidesn="0,0" href="slide0034.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="35" slidesn="0,0" href="slide0035.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="36" slidesn="0,0" href="slide0036.htm" layout="title_body"
   slots="title,body"/>
  <p:slide id="39" slidesn="0,0" href="slide0039.htm" layout="title_body"
   slots="title,body"/>
  <p:viewstate type="slideView" slidehref="slide0039.htm"/>
  <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="False"/>
  <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{\Repn}[1]{\textit{repn}(#1)}&#13;&#10;\newcommand{\Opns}[1]{\textit{opns}(#1)}&#13;&#10;\newcommand{\OKType}[2]{{#1}\vdash {#2}\,\mathsf{ok}}&#13;&#10;\newcommand{\EqType}[3]{{#1}\vdash {#2}\equiv{#3}}&#13;&#10;\newcommand{\SubType}[3]{{#1}\vdash {#2}{&lt;:}{#3}}&#13;&#10;\newcommand{\OKTerm}[3]{{#1}\vdash {#2}:{#3}}&#13;&#10;\newcommand{\OKCtx}[1]{{#1}\,\mathsf{ok}}&#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="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="cmsy10" charset="0" type="6" family="34"/>
  <p:font name="Symbol" charset="2" type="6" family="18"/>
  <p:font name="msam10" charset="0" type="6" family="34"/>
  <p:headersfooters formatid="0" noheader="t"/>
  <p:pptdocumentsettings framecolors="WhiteTextOnBlack" hideslideanimation="t"
   browsersupport="dual"/>
  <p:htmlpublishsettings browsersupport="dual"
   href="Z:\cs.cmu.edu\user\rwh\public\www\home\courses\modules\slides\translucent.htm"
   noloadinbrowser="t"/>
 </p:presentation>
 <o:shapedefaults v:ext="edit" spidmax="57350"/>
</xml>