<?xml version="1.0" encoding="utf-8" ?>
<dwsync>
<file name="BigNumberConverter.php" server="213.21.241.74" local="133663072412502311" remote="133823613600000000" Dst="0" />
<file name="DegradedNumberConverter.php" server="213.21.241.74" local="133663072412658604" remote="133823613600000000" Dst="0" />
<file name="GenericNumberConverter.php" server="213.21.241.74" local="133663072411816524" remote="133823613600000000" Dst="0" />
<file name="BigNumberConverter.php" server="150.241.105.136" local="133663072412502311" remote="133845340200000000" Dst="0" />
<file name="DegradedNumberConverter.php" server="150.241.105.136" local="133663072412658604" remote="133845340200000000" Dst="0" />
<file name="GenericNumberConverter.php" server="150.241.105.136" local="133663072411816524" remote="133845340200000000" Dst="0" />
</dwsync>