<?xml version="1.0" encoding="utf-8" ?>
<dwsync>
<file name="chap62.php" server="seti.net" local="131606901235905554" remote="131607040200000000" Dst="1" />
<file name="SearchStateMachine 2016-01-14.pptx" server="seti.net" local="131388117780000000" remote="131606098200000000" Dst="1" />
<file name="SearchStateMachine 2016-02-10.pptx" server="seti.net" local="131388117780000000" remote="131606098200000000" Dst="1" />
</dwsync>