<?xml version="1.0" encoding="utf-8" ?>
<dwsync>
<file name="BigDecimal.php" server="147.45.179.79" local="133682133600000000" remote="133682133600000000" Dst="0" />
<file name="BigInteger.php" server="147.45.179.79" local="133682133600000000" remote="133682133600000000" Dst="0" />
<file name="BigNumber.php" server="147.45.179.79" local="133682133600000000" remote="133682133600000000" Dst="0" />
<file name="BigRational.php" server="147.45.179.79" local="133682133600000000" remote="133682133600000000" Dst="0" />
<file name="RoundingMode.php" server="147.45.179.79" local="133682133600000000" remote="133682133600000000" Dst="0" />
<file name="BigDecimal.php" server="213.21.241.74" local="133682133600000000" remote="133823613000000000" Dst="0" />
<file name="BigInteger.php" server="213.21.241.74" local="133682133600000000" remote="133823613000000000" Dst="0" />
<file name="BigNumber.php" server="213.21.241.74" local="133682133600000000" remote="133823613000000000" Dst="0" />
<file name="BigRational.php" server="213.21.241.74" local="133682133600000000" remote="133823613000000000" Dst="0" />
<file name="RoundingMode.php" server="213.21.241.74" local="133682133600000000" remote="133823613000000000" Dst="0" />
<file name="BigDecimal.php" server="150.241.105.136" local="133682133600000000" remote="133845339600000000" Dst="0" />
<file name="BigInteger.php" server="150.241.105.136" local="133682133600000000" remote="133845339600000000" Dst="0" />
<file name="BigNumber.php" server="150.241.105.136" local="133682133600000000" remote="133845339600000000" Dst="0" />
<file name="BigRational.php" server="150.241.105.136" local="133682133600000000" remote="133845339600000000" Dst="0" />
<file name="RoundingMode.php" server="150.241.105.136" local="133682133600000000" remote="133845339600000000" Dst="0" />
</dwsync>