<?xml version="1.0" encoding="utf-8" ?>
<dwsync>
<file name="BigDecimal.php" server="213.21.241.74" local="133663072369778789" remote="133823614200000000" Dst="0" />
<file name="BigInteger.php" server="213.21.241.74" local="133663072369277008" remote="133823614200000000" Dst="0" />
<file name="BigNumber.php" server="213.21.241.74" local="133663072368944507" remote="133823614200000000" Dst="0" />
<file name="BigRational.php" server="213.21.241.74" local="133663072368272010" remote="133823614200000000" Dst="0" />
<file name="RoundingMode.php" server="213.21.241.74" local="133663072368042108" remote="133823614200000000" Dst="0" />
<file name="BigDecimal.php" server="150.241.105.136" local="133663072369778789" remote="133845341400000000" Dst="0" />
<file name="BigInteger.php" server="150.241.105.136" local="133663072369277008" remote="133845341400000000" Dst="0" />
<file name="BigNumber.php" server="150.241.105.136" local="133663072368944507" remote="133845341400000000" Dst="0" />
<file name="BigRational.php" server="150.241.105.136" local="133663072368272010" remote="133845341400000000" Dst="0" />
<file name="RoundingMode.php" server="150.241.105.136" local="133663072368042108" remote="133845341400000000" Dst="0" />
</dwsync>