<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 notessizex="4416" notessizey="5848" omittitleplace="t">
  <p:master id="3" type="main" href="master03.htm" xmlhref="master03.xml"
   template="Default Design" 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:master id="2" type="handout" href="master02.htm" layout="handout"
   slots="header,dateTime,footer,slideNumber"/>
  <p:slide id="102" href="slide0102.htm" layout="title_subtitle"
   slots="centerTitle,subTitle"/>
  <p:slide id="419" href="slide0419.htm"/>
  <p:slide id="277" href="slide0277.htm" layout="title_body" slots="title,body"/>
  <p:slide id="358" href="slide0358.htm" layout="title_body" slots="title,body"/>
  <p:slide id="360" href="slide0360.htm" layout="title_body" slots="title,body"/>
  <p:slide id="347" href="slide0347.htm" layout="title_body" slots="title,body"/>
  <p:slide id="359" href="slide0359.htm" layout="title_body" slots="title,body"/>
  <p:slide id="305" href="slide0305.htm" layout="title_body" slots="title,body"/>
  <p:slide id="348" href="slide0348.htm" layout="title_body" slots="title,body"/>
  <p:slide id="362" href="slide0362.htm" layout="title_body" slots="title,body"/>
  <p:slide id="372" href="slide0372.htm" layout="title_body" slots="title,body"/>
  <p:slide id="373" href="slide0373.htm" layout="title_body" slots="title,body"/>
  <p:slide id="374" href="slide0374.htm" layout="title_body" slots="title,body"/>
  <p:slide id="364" href="slide0364.htm" layout="title_body" slots="title,body"/>
  <p:slide id="376" href="slide0376.htm" layout="title_body" slots="title,body"/>
  <p:slide id="377" href="slide0377.htm" layout="title_body" slots="title,body"/>
  <p:slide id="378" href="slide0378.htm" layout="title_body" slots="title,body"/>
  <p:slide id="365" href="slide0365.htm" layout="title_body" slots="title,body"/>
  <p:slide id="380" href="slide0380.htm" layout="title_body" slots="title,body"/>
  <p:slide id="381" href="slide0381.htm" layout="title_body" slots="title,body"/>
  <p:slide id="420" href="slide0420.htm" layout="title_only" slots="title"/>
  <p:slide id="383" href="slide0383.htm" layout="title_body" slots="title,body"/>
  <p:slide id="366" href="slide0366.htm" layout="title_body" slots="title,body"/>
  <p:slide id="385" href="slide0385.htm" layout="title_body" slots="title,body"/>
  <p:slide id="386" href="slide0386.htm" layout="title_body" slots="title,body"/>
  <p:slide id="387" href="slide0387.htm" layout="title_only" slots="title"/>
  <p:slide id="388" href="slide0388.htm" layout="title_body" slots="title,body"/>
  <p:slide id="370" href="slide0370.htm" layout="title_body" slots="title,body"/>
  <p:slide id="390" href="slide0390.htm" layout="title_body" slots="title,body"/>
  <p:slide id="391" href="slide0391.htm" layout="title_body" slots="title,body"/>
  <p:slide id="392" href="slide0392.htm" layout="title_only" slots="title"/>
  <p:slide id="393" href="slide0393.htm" layout="title_body" slots="title,body"/>
  <p:slide id="369" href="slide0369.htm" layout="title_body" slots="title,body"/>
  <p:slide id="395" href="slide0395.htm" layout="title_body" slots="title,body"/>
  <p:slide id="396" href="slide0396.htm" layout="title_body" slots="title,body"/>
  <p:slide id="397" href="slide0397.htm" layout="title_only" slots="title"/>
  <p:slide id="398" href="slide0398.htm" layout="title_body" slots="title,body"/>
  <p:slide id="399" href="slide0399.htm" layout="title_body" slots="title,body"/>
  <p:slide id="400" href="slide0400.htm" layout="title_only" slots="title"/>
  <p:slide id="401" href="slide0401.htm" layout="title_body" slots="title,body"/>
  <p:slide id="402" href="slide0402.htm" layout="title_body" slots="title,body"/>
  <p:slide id="368" href="slide0368.htm" layout="title_body" slots="title,body"/>
  <p:slide id="404" href="slide0404.htm" layout="title_body" slots="title,body"/>
  <p:slide id="405" href="slide0405.htm" layout="title_body" slots="title,body"/>
  <p:slide id="406" href="slide0406.htm" layout="title_only" slots="title"/>
  <p:slide id="407" href="slide0407.htm" layout="title_only" slots="title"/>
  <p:slide id="408" href="slide0408.htm" layout="title_body" slots="title,body"/>
  <p:slide id="409" href="slide0409.htm" layout="title_body" slots="title,body"/>
  <p:slide id="410" href="slide0410.htm" layout="title_body" slots="title,body"/>
  <p:slide id="367" href="slide0367.htm" layout="title_body" slots="title,body"/>
  <p:slide id="412" href="slide0412.htm" layout="title_body" slots="title,body"/>
  <p:slide id="413" href="slide0413.htm" layout="title_body" slots="title,body"/>
  <p:slide id="414" href="slide0414.htm" layout="title_only" slots="title"/>
  <p:slide id="415" href="slide0415.htm" layout="title_body" slots="title,body"/>
  <p:slide id="416" href="slide0416.htm" layout="title_body" slots="title,body"/>
  <p:slide id="417" href="slide0417.htm" layout="title_body" slots="title,body"/>
  <p:slide id="418" href="slide0418.htm" layout="title_body" slots="title,body"/>
  <p:slide id="363" href="slide0363.htm" layout="title_body" slots="title,body"/>
  <p:slide id="361" href="slide0361.htm" layout="title_body" slots="title,body"/>
  <p:slide id="349" href="slide0349.htm" layout="title_body" slots="title,body"/>
  <p:slide id="352" href="slide0352.htm" layout="title_body" slots="title,body"/>
  <p:slide id="350" href="slide0350.htm" layout="title_body" slots="title,body"/>
  <p:slide id="354" href="slide0354.htm" layout="title_body" slots="title,body"/>
  <p:slide id="353" href="slide0353.htm" layout="title_body" slots="title,body"/>
  <p:slide id="275" href="slide0275.htm" layout="title_body" slots="title,body"/>
  <p:viewstate type="outline" scale="75" nosnaptogrid="t" restoredleft="60"
   restoredtop="818" vertbarstate="0" horizbarstate="2" manualadjustleft="t"
   manualadjusttop="t"/>
  <p:guide type="horizontal" position="4096"/>
  <p:guide type="vertical" position="4696"/>
  <p:font name="Times New Roman" charset="0" type="4"/>
  <p:font name="Arial" charset="0" type="4" family="34"/>
  <p:font name="Franklin Gothic Demi" charset="0" type="4" family="34"/>
  <p:font name="Symbol" charset="2" type="6" family="18"/>
  <p:headersfooters slidenumber="t"
   footerstr="© Egon Börger: Introduction to Async ASMs" noheader="t"/>
  <p:headersfooters notes="t" slidenumber="t"/>
  <p:pptdocumentsettings framecolors="WhiteTextOnBlack" hideslideanimation="t"/>
 </p:presentation>
 <o:shapedefaults v:ext="edit" spidmax="665602">
  <o:colormru v:ext="edit" colors="#6f9,yellow,white,#6ff,#f30,#f90,#f96,#ff7c80"/>
  <o:colormenu v:ext="edit" fillcolor="blue" strokecolor="#f30"/>
 </o:shapedefaults></xml>
