Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface ERC20
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function decimals()
• interface ConversionRatesInterface
•    - function recordImbalance(
•    - function getRate(ERC20 token, uint cu ...
•  contract PermissionGroups
•    - function PermissionGroups()
•    - function getOperators ()
•    - function getAlerters ()
•    - function transferAdmin(address newAdm ...
•    - function transferAdminQuickly(address ...
•    - function claimAdmin()
•    - function addAlerter(address newAlerte ...
•    - function removeAlerter (address alert ...
•    - function addOperator(address newOpera ...
•    - function removeOperator (address oper ...
•  contract Withdrawable is Permissio ...
•    - function withdrawToken(ERC20 token, u ...
•    - function withdrawEther(uint amount, a ...
•  contract Utils
•    - function setDecimals(ERC20 token)
•    - function getDecimals(ERC20 token)
•    - function calcDstQty(uint srcQty, uint ...
•    - function calcSrcQty(uint dstQty, uint ...
•  contract UtilMath
•    - function checkMultOverflow(uint x, ui ...
•    - function compactFraction(uint p, uint ...
•    - function exp(uint p, uint q, uint pre ...
•    - function countLeadingZeros(uint p, ui ...
•    - function log2ForSmallNumber(uint x, u ...
•    - function logBase2 (uint p, uint q, ui ...
•    - function ln(uint p, uint q, uint numP ...
•  contract LiquidityFormula is UtilM ...
•    - function pE(uint r, uint pMIn, uint e ...
•    - function deltaTFunc(uint r, uint pMIn ...
•    - function deltaEFunc(uint r, uint pMIn ...
•  contract LiquidityConversionRates ... *
•    - function LiquidityConversionRates(add ...
•    - function setReserveAddress(address re ...
•    - function setLiquidityParams(
•    - function recordImbalance(
•    - function resetCollectedFees()
•    - function getRate(
•    - function getRateWithE(ERC20 conversio ...
•    - function rateAfterValidation(uint rat ...
•    - function buyRate(uint eInFp, uint del ...
•    - function buyRateZeroQuantity(uint eIn ...
•    - function sellRate(
•    - function sellRateZeroQuantity(uint eI ...
•    - function fromTweiToFp(uint qtyInTwei)
•    - function fromWeiToFp(uint qtyInwei)
•    - function valueAfterReducingFee(uint v ...
•    - function calcCollectedFee(uint val)
•    - function abs(int val)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-28
*/

// File: contracts/sol4/ERC20Interface.sol

pragma solidity 0.4.18;


// https://github.com/ethereum/EIPs/issues/20
interface ERC20 {
    function totalSupply() public view returns (uint supply);
    function balanceOf(address _owner) public view returns (uint balance);
    function transfer(address _to, uint _value) public returns (bool success);
    function transferFrom(address _from, address _to, uint _value) public returns (bool success);
    function approve(address _spender, uint _value) public returns (bool success);
    function allowance(address _owner, address _spender) public view returns (uint remaining);
    function decimals() public view returns(uint digits);
    event Approval(address indexed _owner, address indexed _spender, uint _value);
}

// File: contracts/sol4/ConversionRatesInterface.sol

pragma solidity 0.4.18;



interface ConversionRatesInterface {

    function recordImbalance(
        ERC20 token,
        int buyAmount,
        uint rateUpdateBlock,
        uint currentBlock
    )
        public;

    function getRate(ERC20 token, uint currentBlockNumber, bool buy, uint qty) public view returns(uint);
}

// File: contracts/sol4/PermissionGroups.sol

pragma solidity 0.4.18;


contract PermissionGroups {

    address public admin;
    address public pendingAdmin;
    mapping(address=>bool) internal operators;
    mapping(address=>bool) internal alerters;
    address[] internal operatorsGroup;
    address[] internal alertersGroup;
    uint constant internal MAX_GROUP_SIZE = 50;

    function PermissionGroups() public {
        admin = msg.sender;
    }

    modifier onlyAdmin() {
        require(msg.sender == admin);
        _;
    }

    modifier onlyOperator() {
        require(operators[msg.sender]);
        _;
    }

    modifier onlyAlerter() {
        require(alerters[msg.sender]);
        _;
    }

    function getOperators () external view returns(address[]) {
        return operatorsGroup;
    }

    function getAlerters () external view returns(address[]) {
        return alertersGroup;
    }

    event TransferAdminPending(address pendingAdmin);

    /**
     * @dev Allows the current admin to set the pendingAdmin address.
     * @param newAdmin The address to transfer ownership to.
     */
    function transferAdmin(address newAdmin) public onlyAdmin {
        require(newAdmin != address(0));
        TransferAdminPending(pendingAdmin);
        pendingAdmin = newAdmin;
    }

    /**
     * @dev Allows the current admin to set the admin in one tx. Useful initial deployment.
     * @param newAdmin The address to transfer ownership to.
     */
    function transferAdminQuickly(address newAdmin) public onlyAdmin {
        require(newAdmin != address(0));
        TransferAdminPending(newAdmin);
        AdminClaimed(newAdmin, admin);
        admin = newAdmin;
    }

    event AdminClaimed( address newAdmin, address previousAdmin);

    /**
     * @dev Allows the pendingAdmin address to finalize the change admin process.
     */
    function claimAdmin() public {
        require(pendingAdmin == msg.sender);
        AdminClaimed(pendingAdmin, admin);
        admin = pendingAdmin;
        pendingAdmin = address(0);
    }

    event AlerterAdded (address newAlerter, bool isAdd);

    function addAlerter(address newAlerter) public onlyAdmin {
        require(!alerters[newAlerter]); // prevent duplicates.
        require(alertersGroup.length < MAX_GROUP_SIZE);

        AlerterAdded(newAlerter, true);
        alerters[newAlerter] = true;
        alertersGroup.push(newAlerter);
    }

    function removeAlerter (address alerter) public onlyAdmin {
        require(alerters[alerter]);
        alerters[alerter] = false;

        for (uint i = 0; i < alertersGroup.length; ++i) {
            if (alertersGroup[i] == alerter) {
                alertersGroup[i] = alertersGroup[alertersGroup.length - 1];
                alertersGroup.length--;
                AlerterAdded(alerter, false);
                break;
            }
        }
    }

    event OperatorAdded(address newOperator, bool isAdd);

    function addOperator(address newOperator) public onlyAdmin {
        require(!operators[newOperator]); // prevent duplicates.
        require(operatorsGroup.length < MAX_GROUP_SIZE);

        OperatorAdded(newOperator, true);
        operators[newOperator] = true;
        operatorsGroup.push(newOperator);
    }

    function removeOperator (address operator) public onlyAdmin {
        require(operators[operator]);
        operators[operator] = false;

        for (uint i = 0; i < operatorsGroup.length; ++i) {
            if (operatorsGroup[i] == operator) {
                operatorsGroup[i] = operatorsGroup[operatorsGroup.length - 1];
                operatorsGroup.length -= 1;
                OperatorAdded(operator, false);
                break;
            }
        }
    }
}

// File: contracts/sol4/Withdrawable.sol

pragma solidity 0.4.18;




/**
 * @title Contracts that should be able to recover tokens or ethers
 * @author Ilan Doron
 * @dev This allows to recover any tokens or Ethers received in a contract.
 * This will prevent any accidental loss of tokens.
 */
contract Withdrawable is PermissionGroups {

    event TokenWithdraw(ERC20 token, uint amount, address sendTo);

    /**
     * @dev Withdraw all ERC20 compatible tokens
     * @param token ERC20 The address of the token contract
     */
    function withdrawToken(ERC20 token, uint amount, address sendTo) external onlyAdmin {
        require(token.transfer(sendTo, amount));
        TokenWithdraw(token, amount, sendTo);
    }

    event EtherWithdraw(uint amount, address sendTo);

    /**
     * @dev Withdraw Ethers
     */
    function withdrawEther(uint amount, address sendTo) external onlyAdmin {
        sendTo.transfer(amount);
        EtherWithdraw(amount, sendTo);
    }
}

// File: contracts/sol4/Utils.sol

pragma solidity 0.4.18;



/// @title Kyber constants contract
contract Utils {

    ERC20 constant internal ETH_TOKEN_ADDRESS = ERC20(0x00eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee);
    uint  constant internal PRECISION = (10**18);
    uint  constant internal MAX_QTY   = (10**28); // 10B tokens
    uint  constant internal MAX_RATE  = (PRECISION * 10**6); // up to 1M tokens per ETH
    uint  constant internal MAX_DECIMALS = 18;
    uint  constant internal ETH_DECIMALS = 18;
    mapping(address=>uint) internal decimals;

    function setDecimals(ERC20 token) internal {
        if (token == ETH_TOKEN_ADDRESS) decimals[token] = ETH_DECIMALS;
        else decimals[token] = token.decimals();
    }

    function getDecimals(ERC20 token) internal view returns(uint) {
        if (token == ETH_TOKEN_ADDRESS) return ETH_DECIMALS; // save storage access
        uint tokenDecimals = decimals[token];
        // technically, there might be token with decimals 0
        // moreover, very possible that old tokens have decimals 0
        // these tokens will just have higher gas fees.
        if(tokenDecimals == 0) return token.decimals();

        return tokenDecimals;
    }

    function calcDstQty(uint srcQty, uint srcDecimals, uint dstDecimals, uint rate) internal pure returns(uint) {
        require(srcQty <= MAX_QTY);
        require(rate <= MAX_RATE);

        if (dstDecimals >= srcDecimals) {
            require((dstDecimals - srcDecimals) <= MAX_DECIMALS);
            return (srcQty * rate * (10**(dstDecimals - srcDecimals))) / PRECISION;
        } else {
            require((srcDecimals - dstDecimals) <= MAX_DECIMALS);
            return (srcQty * rate) / (PRECISION * (10**(srcDecimals - dstDecimals)));
        }
    }

    function calcSrcQty(uint dstQty, uint srcDecimals, uint dstDecimals, uint rate) internal pure returns(uint) {
        require(dstQty <= MAX_QTY);
        require(rate <= MAX_RATE);
        
        //source quantity is rounded up. to avoid dest quantity being too low.
        uint numerator;
        uint denominator;
        if (srcDecimals >= dstDecimals) {
            require((srcDecimals - dstDecimals) <= MAX_DECIMALS);
            numerator = (PRECISION * dstQty * (10**(srcDecimals - dstDecimals)));
            denominator = rate;
        } else {
            require((dstDecimals - srcDecimals) <= MAX_DECIMALS);
            numerator = (PRECISION * dstQty);
            denominator = (rate * (10**(dstDecimals - srcDecimals)));
        }
        return (numerator + denominator - 1) / denominator; //avoid rounding down errors
    }
}

// File: contracts/sol4/aprConversionRate/LiquidityFormula.sol

pragma solidity 0.4.18;


contract UtilMath {
    uint public constant BIG_NUMBER = (uint(1)<<uint(200));

    function checkMultOverflow(uint x, uint y) public pure returns(bool) {
        if (y == 0) return false;
        return (((x*y) / y) != x);
    }

    function compactFraction(uint p, uint q, uint precision) public pure returns (uint, uint) {
        if (q < precision * precision) return (p, q);
        return compactFraction(p/precision, q/precision, precision);
    }

    /* solhint-disable code-complexity */
    function exp(uint p, uint q, uint precision) public pure returns (uint) {
        uint n = 0;
        uint nFact = 1;
        uint currentP = 1;
        uint currentQ = 1;

        uint sum = 0;
        uint prevSum = 0;

        while (true) {
            if (checkMultOverflow(currentP, precision)) return sum;
            if (checkMultOverflow(currentQ, nFact)) return sum;

            sum += (currentP * precision) / (currentQ * nFact);

            if (sum == prevSum) return sum;
            prevSum = sum;

            n++;

            if (checkMultOverflow(currentP, p)) return sum;
            if (checkMultOverflow(currentQ, q)) return sum;
            if (checkMultOverflow(nFact, n)) return sum;

            currentP *= p;
            currentQ *= q;
            nFact *= n;

            (currentP, currentQ) = compactFraction(currentP, currentQ, precision);
        }
    }
    /* solhint-enable code-complexity */

    function countLeadingZeros(uint p, uint q) public pure returns (uint) {
        uint denomator = (uint(1)<<255);
        for (int i = 255; i >= 0; i--) {
            if ((q*denomator)/denomator != q) {
                // overflow
                denomator = denomator/2;
                continue;
            }
            if (p/(q*denomator) > 0) return uint(i);
            denomator = denomator/2;
        }

        return uint(-1);
    }

    // log2 for a number that it in [1,2)
    function log2ForSmallNumber(uint x, uint numPrecisionBits) public pure returns (uint) {
        uint res = 0;
        uint one = (uint(1)<<numPrecisionBits);
        uint two = 2 * one;
        uint addition = one;

        require((x >= one) && (x <= two));
        require(numPrecisionBits < 125);

        for (uint i = numPrecisionBits; i > 0; i--) {
            x = (x*x) / one;
            addition = addition/2;
            if (x >= two) {
                x = x/2;
                res += addition;
            }
        }

        return res;
    }

    function logBase2 (uint p, uint q, uint numPrecisionBits) public pure returns (uint) {
        uint n = 0;
        uint precision = (uint(1)<<numPrecisionBits);

        if (p > q) {
            n = countLeadingZeros(p, q);
        }

        require(!checkMultOverflow(p, precision));
        require(!checkMultOverflow(n, precision));
        require(!checkMultOverflow(uint(1)<<n, q));

        uint y = p * precision / (q * (uint(1)<<n));
        uint log2Small = log2ForSmallNumber(y, numPrecisionBits);

        require(n*precision <= BIG_NUMBER);
        require(log2Small <= BIG_NUMBER);

        return n * precision + log2Small;
    }

    function ln(uint p, uint q, uint numPrecisionBits) public pure returns (uint) {
        uint ln2Numerator   = 6931471805599453094172;
        uint ln2Denomerator = 10000000000000000000000;

        uint log2x = logBase2(p, q, numPrecisionBits);

        require(!checkMultOverflow(ln2Numerator, log2x));

        return ln2Numerator * log2x / ln2Denomerator;
    }
}


contract LiquidityFormula is UtilMath {
    function pE(uint r, uint pMIn, uint e, uint precision) public pure returns (uint) {
        require(!checkMultOverflow(r, e));
        uint expRE = exp(r*e, precision*precision, precision);
        require(!checkMultOverflow(expRE, pMIn));
        return pMIn*expRE / precision;
    }

    function deltaTFunc(uint r, uint pMIn, uint e, uint deltaE, uint precision) public pure returns (uint) {
        uint pe = pE(r, pMIn, e, precision);
        uint rpe = r * pe;

        require(!checkMultOverflow(r, deltaE));
        uint erdeltaE = exp(r*deltaE, precision*precision, precision);

        require(erdeltaE >= precision);
        require(!checkMultOverflow(erdeltaE - precision, precision));
        require(!checkMultOverflow((erdeltaE - precision)*precision, precision));
        require(!checkMultOverflow((erdeltaE - precision)*precision*precision, precision));
        require(!checkMultOverflow(rpe, erdeltaE));
        require(!checkMultOverflow(r, pe));

        return (erdeltaE - precision) * precision * precision * precision / (rpe*erdeltaE);
    }

    function deltaEFunc(uint r, uint pMIn, uint e, uint deltaT, uint precision, uint numPrecisionBits)
        public pure
        returns (uint)
    {
        uint pe = pE(r, pMIn, e, precision);
        uint rpe = r * pe;

        require(!checkMultOverflow(rpe, deltaT));
        require(precision * precision + rpe * deltaT/precision > precision * precision);
        uint lnPart = ln(precision*precision + rpe*deltaT/precision, precision*precision, numPrecisionBits);

        require(!checkMultOverflow(r, pe));
        require(!checkMultOverflow(precision, precision));
        require(!checkMultOverflow(rpe, deltaT));
        require(!checkMultOverflow(lnPart, precision));

        return lnPart * precision / r;
    }
}

// File: contracts/sol4/aprConversionRate/LiquidityConversionRates.sol

pragma solidity 0.4.18;






contract LiquidityConversionRates is ConversionRatesInterface, LiquidityFormula, Withdrawable, Utils {

    uint constant FORMULA_PRECISION_BITS = 40;

    ERC20 public token;
    address public reserveContract;

    uint public numFpBits;
    uint public formulaPrecision;

    uint public rInFp;
    uint public pMinInFp;

    uint public maxEthCapBuyInFp;
    uint public maxEthCapSellInFp;
    uint public maxQtyInFp;

    uint public feeInBps;
    uint public collectedFeesInTwei = 0;

    uint public maxBuyRateInPrecision;
    uint public minBuyRateInPrecision;
    uint public maxSellRateInPrecision;
    uint public minSellRateInPrecision;

    function LiquidityConversionRates(address _admin, ERC20 _token) public {
        transferAdminQuickly(_admin);
        token = _token;
        setDecimals(token);
        require(getDecimals(token) <= MAX_DECIMALS);
    }

    event ReserveAddressSet(address reserve);

    function setReserveAddress(address reserve) public onlyAdmin {
        reserveContract = reserve;
        ReserveAddressSet(reserve);
    }

    event LiquidityParamsSet(
        uint rInFp,
        uint pMinInFp,
        uint numFpBits,
        uint maxCapBuyInFp,
        uint maxEthCapSellInFp,
        uint feeInBps,
        uint formulaPrecision,
        uint maxQtyInFp,
        uint maxBuyRateInPrecision,
        uint minBuyRateInPrecision,
        uint maxSellRateInPrecision,
        uint minSellRateInPrecision
    );

    function setLiquidityParams(
        uint _rInFp,
        uint _pMinInFp,
        uint _numFpBits,
        uint _maxCapBuyInWei,
        uint _maxCapSellInWei,
        uint _feeInBps,
        uint _maxTokenToEthRateInPrecision,
        uint _minTokenToEthRateInPrecision
    ) public onlyAdmin {
        require(_numFpBits == FORMULA_PRECISION_BITS); // only used config, but keep in API
        formulaPrecision = uint(1)<<_numFpBits; // require(formulaPrecision <= MAX_QTY)
        require(_feeInBps < 10000);
        require(_minTokenToEthRateInPrecision < _maxTokenToEthRateInPrecision);
        require(_minTokenToEthRateInPrecision > 0);
        require(_rInFp > 0);
        require(_pMinInFp > 0);

        rInFp = _rInFp;
        pMinInFp = _pMinInFp;
        maxQtyInFp = fromWeiToFp(MAX_QTY);
        numFpBits = _numFpBits;
        maxEthCapBuyInFp = fromWeiToFp(_maxCapBuyInWei);
        maxEthCapSellInFp = fromWeiToFp(_maxCapSellInWei);
        feeInBps = _feeInBps;
        maxBuyRateInPrecision = PRECISION * PRECISION / _minTokenToEthRateInPrecision;
        minBuyRateInPrecision = PRECISION * PRECISION / _maxTokenToEthRateInPrecision;
        maxSellRateInPrecision = _maxTokenToEthRateInPrecision;
        minSellRateInPrecision = _minTokenToEthRateInPrecision;

        LiquidityParamsSet(
            rInFp,
            pMinInFp,
            numFpBits,
            maxEthCapBuyInFp,
            maxEthCapSellInFp,
            feeInBps,
            formulaPrecision,
            maxQtyInFp,
            maxBuyRateInPrecision,
            minBuyRateInPrecision,
            maxSellRateInPrecision,
            minSellRateInPrecision
        );
    }

    function recordImbalance(
        ERC20 conversionToken,
        int buyAmountInTwei,
        uint rateUpdateBlock,
        uint currentBlock
    )
        public
    {
        conversionToken;
        rateUpdateBlock;
        currentBlock;

        require(msg.sender == reserveContract);
        if (buyAmountInTwei > 0) {
            // Buy case
            collectedFeesInTwei += calcCollectedFee(abs(buyAmountInTwei));
        } else {
            // Sell case
            collectedFeesInTwei += abs(buyAmountInTwei) * feeInBps / 10000;
        }
    }

    event CollectedFeesReset(uint resetFeesInTwei);

    function resetCollectedFees() public onlyAdmin {
        uint resetFeesInTwei = collectedFeesInTwei;
        collectedFeesInTwei = 0;

        CollectedFeesReset(resetFeesInTwei);
    }

    function getRate(
            ERC20 conversionToken,
            uint currentBlockNumber,
            bool buy,
            uint qtyInSrcWei
    ) public view returns(uint) {

        currentBlockNumber;

        require(qtyInSrcWei <= MAX_QTY);
        uint eInFp = fromWeiToFp(reserveContract.balance);
        uint rateInPrecision = getRateWithE(conversionToken, buy, qtyInSrcWei, eInFp);
        require(rateInPrecision <= MAX_RATE);
        return rateInPrecision;
    }

    function getRateWithE(ERC20 conversionToken, bool buy, uint qtyInSrcWei, uint eInFp) public view returns(uint) {
        uint deltaEInFp;
        uint sellInputTokenQtyInFp;
        uint deltaTInFp;
        uint rateInPrecision;

        require(qtyInSrcWei <= MAX_QTY);
        require(eInFp <= maxQtyInFp);
        if (conversionToken != token) return 0;

        if (buy) {
            // ETH goes in, token goes out
            deltaEInFp = fromWeiToFp(qtyInSrcWei);
            if (deltaEInFp > maxEthCapBuyInFp) return 0;

            if (deltaEInFp == 0) {
                rateInPrecision = buyRateZeroQuantity(eInFp);
            } else {
                rateInPrecision = buyRate(eInFp, deltaEInFp);
            }
        } else {
            sellInputTokenQtyInFp = fromTweiToFp(qtyInSrcWei);
            deltaTInFp = valueAfterReducingFee(sellInputTokenQtyInFp);
            if (deltaTInFp == 0) {
                rateInPrecision = sellRateZeroQuantity(eInFp);
                deltaEInFp = 0;
            } else {
                (rateInPrecision, deltaEInFp) = sellRate(eInFp, sellInputTokenQtyInFp, deltaTInFp);
            }

            if (deltaEInFp > maxEthCapSellInFp) return 0;
        }

        rateInPrecision = rateAfterValidation(rateInPrecision, buy);
        return rateInPrecision;
    }

    function rateAfterValidation(uint rateInPrecision, bool buy) public view returns(uint) {
        uint minAllowRateInPrecision;
        uint maxAllowedRateInPrecision;

        if (buy) {
            minAllowRateInPrecision = minBuyRateInPrecision;
            maxAllowedRateInPrecision = maxBuyRateInPrecision;
        } else {
            minAllowRateInPrecision = minSellRateInPrecision;
            maxAllowedRateInPrecision = maxSellRateInPrecision;
        }

        if ((rateInPrecision > maxAllowedRateInPrecision) || (rateInPrecision < minAllowRateInPrecision)) {
            return 0;
        } else if (rateInPrecision > MAX_RATE) {
            return 0;
        } else {
            return rateInPrecision;
        }
    }

    function buyRate(uint eInFp, uint deltaEInFp) public view returns(uint) {
        uint deltaTInFp = deltaTFunc(rInFp, pMinInFp, eInFp, deltaEInFp, formulaPrecision);
        require(deltaTInFp <= maxQtyInFp);
        deltaTInFp = valueAfterReducingFee(deltaTInFp);
        return deltaTInFp * PRECISION / deltaEInFp;
    }

    function buyRateZeroQuantity(uint eInFp) public view returns(uint) {
        uint ratePreReductionInPrecision = formulaPrecision * PRECISION / pE(rInFp, pMinInFp, eInFp, formulaPrecision);
        return valueAfterReducingFee(ratePreReductionInPrecision);
    }

    function sellRate(
        uint eInFp,
        uint sellInputTokenQtyInFp,
        uint deltaTInFp
    ) public view returns(uint rateInPrecision, uint deltaEInFp) {
        deltaEInFp = deltaEFunc(rInFp, pMinInFp, eInFp, deltaTInFp, formulaPrecision, numFpBits);
        require(deltaEInFp <= maxQtyInFp);
        rateInPrecision = deltaEInFp * PRECISION / sellInputTokenQtyInFp;
    }

    function sellRateZeroQuantity(uint eInFp) public view returns(uint) {
        uint ratePreReductionInPrecision = pE(rInFp, pMinInFp, eInFp, formulaPrecision) * PRECISION / formulaPrecision;
        return valueAfterReducingFee(ratePreReductionInPrecision);
    }

    function fromTweiToFp(uint qtyInTwei) public view returns(uint) {
        require(qtyInTwei <= MAX_QTY);
        return qtyInTwei * formulaPrecision / (10 ** getDecimals(token));
    }

    function fromWeiToFp(uint qtyInwei) public view returns(uint) {
        require(qtyInwei <= MAX_QTY);
        return qtyInwei * formulaPrecision / (10 ** ETH_DECIMALS);
    }

    function valueAfterReducingFee(uint val) public view returns(uint) {
        require(val <= BIG_NUMBER);
        return ((10000 - feeInBps) * val) / 10000;
    }

    function calcCollectedFee(uint val) public view returns(uint) {
        require(val <= MAX_QTY);
        return val * feeInBps / (10000 - feeInBps);
    }

    function abs(int val) public pure returns(uint) {
        if (val < 0) {
            return uint(val * (-1));
        } else {
            return uint(val);
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"alerter","type":"address"}],"name":"removeAlerter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maxSellRateInPrecision","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"reserve","type":"address"}],"name":"setReserveAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"val","type":"int256"}],"name":"abs","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"qtyInwei","type":"uint256"}],"name":"fromWeiToFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"r","type":"uint256"},{"name":"pMIn","type":"uint256"},{"name":"e","type":"uint256"},{"name":"precision","type":"uint256"}],"name":"pE","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"pendingAdmin","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"p","type":"uint256"},{"name":"q","type":"uint256"},{"name":"numPrecisionBits","type":"uint256"}],"name":"ln","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"maxEthCapSellInFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getOperators","outputs":[{"name":"","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"BIG_NUMBER","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"token","type":"address"},{"name":"amount","type":"uint256"},{"name":"sendTo","type":"address"}],"name":"withdrawToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"collectedFeesInTwei","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newAlerter","type":"address"}],"name":"addAlerter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"rInFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxEthCapBuyInFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"formulaPrecision","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_rInFp","type":"uint256"},{"name":"_pMinInFp","type":"uint256"},{"name":"_numFpBits","type":"uint256"},{"name":"_maxCapBuyInWei","type":"uint256"},{"name":"_maxCapSellInWei","type":"uint256"},{"name":"_feeInBps","type":"uint256"},{"name":"_maxTokenToEthRateInPrecision","type":"uint256"},{"name":"_minTokenToEthRateInPrecision","type":"uint256"}],"name":"setLiquidityParams","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"x","type":"uint256"},{"name":"y","type":"uint256"}],"name":"checkMultOverflow","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"eInFp","type":"uint256"},{"name":"deltaEInFp","type":"uint256"}],"name":"buyRate","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"eInFp","type":"uint256"}],"name":"sellRateZeroQuantity","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"val","type":"uint256"}],"name":"valueAfterReducingFee","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"numFpBits","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newAdmin","type":"address"}],"name":"transferAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"claimAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newAdmin","type":"address"}],"name":"transferAdminQuickly","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getAlerters","outputs":[{"name":"","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"r","type":"uint256"},{"name":"pMIn","type":"uint256"},{"name":"e","type":"uint256"},{"name":"deltaE","type":"uint256"},{"name":"precision","type":"uint256"}],"name":"deltaTFunc","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"x","type":"uint256"},{"name":"numPrecisionBits","type":"uint256"}],"name":"log2ForSmallNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"p","type":"uint256"},{"name":"q","type":"uint256"},{"name":"precision","type":"uint256"}],"name":"compactFraction","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"conversionToken","type":"address"},{"name":"buy","type":"bool"},{"name":"qtyInSrcWei","type":"uint256"},{"name":"eInFp","type":"uint256"}],"name":"getRateWithE","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"p","type":"uint256"},{"name":"q","type":"uint256"}],"name":"countLeadingZeros","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"eInFp","type":"uint256"},{"name":"sellInputTokenQtyInFp","type":"uint256"},{"name":"deltaTInFp","type":"uint256"}],"name":"sellRate","outputs":[{"name":"rateInPrecision","type":"uint256"},{"name":"deltaEInFp","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"qtyInTwei","type":"uint256"}],"name":"fromTweiToFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOperator","type":"address"}],"name":"addOperator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"r","type":"uint256"},{"name":"pMIn","type":"uint256"},{"name":"e","type":"uint256"},{"name":"deltaT","type":"uint256"},{"name":"precision","type":"uint256"},{"name":"numPrecisionBits","type":"uint256"}],"name":"deltaEFunc","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"feeInBps","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"p","type":"uint256"},{"name":"q","type":"uint256"},{"name":"numPrecisionBits","type":"uint256"}],"name":"logBase2","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"rateInPrecision","type":"uint256"},{"name":"buy","type":"bool"}],"name":"rateAfterValidation","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"reserveContract","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"val","type":"uint256"}],"name":"calcCollectedFee","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"operator","type":"address"}],"name":"removeOperator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"p","type":"uint256"},{"name":"q","type":"uint256"},{"name":"precision","type":"uint256"}],"name":"exp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[],"name":"resetCollectedFees","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"conversionToken","type":"address"},{"name":"currentBlockNumber","type":"uint256"},{"name":"buy","type":"bool"},{"name":"qtyInSrcWei","type":"uint256"}],"name":"getRate","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"conversionToken","type":"address"},{"name":"buyAmountInTwei","type":"int256"},{"name":"rateUpdateBlock","type":"uint256"},{"name":"currentBlock","type":"uint256"}],"name":"recordImbalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"},{"name":"sendTo","type":"address"}],"name":"withdrawEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"eInFp","type":"uint256"}],"name":"buyRateZeroQuantity","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxBuyRateInPrecision","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"minSellRateInPrecision","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"pMinInFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxQtyInFp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"admin","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"minBuyRateInPrecision","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"token","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_admin","type":"address"},{"name":"_token","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"reserve","type":"address"}],"name":"ReserveAddressSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"rInFp","type":"uint256"},{"indexed":false,"name":"pMinInFp","type":"uint256"},{"indexed":false,"name":"numFpBits","type":"uint256"},{"indexed":false,"name":"maxCapBuyInFp","type":"uint256"},{"indexed":false,"name":"maxEthCapSellInFp","type":"uint256"},{"indexed":false,"name":"feeInBps","type":"uint256"},{"indexed":false,"name":"formulaPrecision","type":"uint256"},{"indexed":false,"name":"maxQtyInFp","type":"uint256"},{"indexed":false,"name":"maxBuyRateInPrecision","type":"uint256"},{"indexed":false,"name":"minBuyRateInPrecision","type":"uint256"},{"indexed":false,"name":"maxSellRateInPrecision","type":"uint256"},{"indexed":false,"name":"minSellRateInPrecision","type":"uint256"}],"name":"LiquidityParamsSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"resetFeesInTwei","type":"uint256"}],"name":"CollectedFeesReset","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"token","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"sendTo","type":"address"}],"name":"TokenWithdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"sendTo","type":"address"}],"name":"EtherWithdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"pendingAdmin","type":"address"}],"name":"TransferAdminPending","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"newAdmin","type":"address"},{"indexed":false,"name":"previousAdmin","type":"address"}],"name":"AdminClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"newAlerter","type":"address"},{"indexed":false,"name":"isAdd","type":"bool"}],"name":"AlerterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"newOperator","type":"address"},{"indexed":false,"name":"isAdd","type":"bool"}],"name":"OperatorAdded","type":"event"}]

0x6060604052600436106102925763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166301a12fd381146102975780630f9b5129146102c557806314673d31146102ea5780631b5ac4b5146103165780631f05ff291461032c57806320b0961c146103425780632678224714610361578063275acbe31461039d578063279fe967146103b957806327a099d8146103cc5780632f4fda30146104325780633ccdbb2814610445578063402776041461047b578063408ee7fe1461048e578063436f64ac146104ba578063463cf730146104cd57806347be7bce146104e05780634857d52d146104f35780635111249e1461051e5780635909e8971461054b578063625cfc46146105645780636f3d80431461057a57806371f805bf1461059057806375829def146105a357806377f50f97146105cf5780637acc8678146105e25780637c423f541461060e57806382f19e3a146106215780638369ff08146106435780638401824f1461065c5780638596186414610690578063869d7d93146106c7578063925176d6146106e057806395818603146106fc5780639870d7fe14610712578063a0099b601461073e578063a0a7299b14610763578063a0dbde9d14610776578063a2c99d4714610792578063a7f43acd146107ad578063aa98d57b146107c0578063ac8a584a146107d6578063b5debaf514610802578063b86f6aa71461081e578063b8e9c22e14610831578063c6fd210314610868578063ce56c4541461089d578063debc74f6146108cc578063e255d5ad146108e2578063e5702701146108f5578063ec6b16ca14610908578063f0247f781461091b578063f851a4401461092e578063fbe3462c14610941578063fc0c546a14610954575b600080fd5b34156102a257600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516610967565b005b34156102d057600080fd5b6102d8610bb1565b60405190815260200160405180910390f35b34156102f557600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516610bb7565b341561032157600080fd5b6102d8600435610c6c565b341561033757600080fd5b6102d8600435610ca7565b341561034d57600080fd5b6102d8600435602435604435606435610cd9565b341561036c57600080fd5b610374610d2d565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390f35b34156103a857600080fd5b6102d8600435602435604435610d49565b34156103c457600080fd5b6102d8610d9c565b34156103d757600080fd5b6103df610da2565b60405160208082528190810183818151815260200191508051906020019060200280838360005b8381101561041e578082015183820152602001610406565b505050509050019250505060405180910390f35b341561043d57600080fd5b6102d8610e18565b341561045057600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff6004358116906024359060443516610e36565b341561048657600080fd5b6102d8610f7a565b341561049957600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516610f80565b34156104c557600080fd5b6102d86110f3565b34156104d857600080fd5b6102d86110f9565b34156104eb57600080fd5b6102d86110ff565b34156104fe57600080fd5b6102c360043560243560443560643560843560a43560c43560e435611105565b341561052957600080fd5b6105376004356024356112bc565b604051901515815260200160405180910390f35b341561055657600080fd5b6102d86004356024356112e7565b341561056f57600080fd5b6102d8600435611338565b341561058557600080fd5b6102d8600435611378565b341561059b57600080fd5b6102d86113b1565b34156105ae57600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff600435166113b7565b34156105da57600080fd5b6102c36114ab565b34156105ed57600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516611591565b341561061957600080fd5b6103df6116d9565b341561062c57600080fd5b6102d860043560243560443560643560843561174c565b341561064e57600080fd5b6102d860043560243561182a565b341561066757600080fd5b6106786004356024356044356118c6565b60405191825260208201526040908101905180910390f35b341561069b57600080fd5b6102d873ffffffffffffffffffffffffffffffffffffffff60043516602435151560443560643561190b565b34156106d257600080fd5b6102d8600435602435611a21565b34156106eb57600080fd5b610678600435602435604435611ae6565b341561070757600080fd5b6102d8600435611b31565b341561071d57600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516611b7f565b341561074957600080fd5b6102d860043560243560443560643560843560a435611ca1565b341561076e57600080fd5b6102d8611d7b565b341561078157600080fd5b6102d8600435602435604435611d81565b341561079d57600080fd5b6102d86004356024351515611e60565b34156107b857600080fd5b610374611ebf565b34156107cb57600080fd5b6102d8600435611edb565b34156107e157600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516611f0b565b341561080d57600080fd5b6102d8600435602435604435612151565b341561082957600080fd5b6102c3612228565b341561083c57600080fd5b6102d873ffffffffffffffffffffffffffffffffffffffff600435166024356044351515606435612291565b341561087357600080fd5b6102c373ffffffffffffffffffffffffffffffffffffffff60043516602435604435606435612302565b34156108a857600080fd5b6102c360043573ffffffffffffffffffffffffffffffffffffffff6024351661237f565b34156108d757600080fd5b6102d8600435612439565b34156108ed57600080fd5b6102d8612464565b341561090057600080fd5b6102d861246a565b341561091357600080fd5b6102d8612470565b341561092657600080fd5b6102d8612476565b341561093957600080fd5b61037461247c565b341561094c57600080fd5b6102d8612498565b341561095f57600080fd5b61037461249e565b600080543373ffffffffffffffffffffffffffffffffffffffff90811691161461099057600080fd5b73ffffffffffffffffffffffffffffffffffffffff821660009081526003602052604090205460ff1615156109c457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8116600090815260036020526040812080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690555b600554811015610bad578173ffffffffffffffffffffffffffffffffffffffff16600582815481101515610a4157fe5b60009182526020909120015473ffffffffffffffffffffffffffffffffffffffff161415610ba557600580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8101908110610a9957fe5b6000918252602090912001546005805473ffffffffffffffffffffffffffffffffffffffff9092169183908110610acc57fe5b600091825260209091200180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff929092169190911790556005805490610b4b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83016125b4565b507f5611bf3e417d124f97bf2c788843ea8bb502b66079fbee02158ef30b172cb76282600060405173ffffffffffffffffffffffffffffffffffffffff9092168252151560208201526040908101905180910390a1610bad565b600101610a11565b5050565b60145481565b6000543373ffffffffffffffffffffffffffffffffffffffff908116911614610bdf57600080fd5b600880547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff83161790557fbd2ca09dd2b354751631db75d1a63231ec123c0d68c81928ea03d0be326c7f888160405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a150565b600080821215610c9f57507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8102610ca2565b50805b919050565b60006b204fce5e3e25026110000000821115610cc257600080fd5b600a54670de0b6b3a76400009083025b0492915050565b600080610ce686856112bc565b15610cf057600080fd5b610cff84870284850285612151565b9050610d0b81866112bc565b15610d1557600080fd5b82818602811515610d2257fe5b049695505050505050565b60015473ffffffffffffffffffffffffffffffffffffffff1681565b6000690177c17eb2ae5edd211c69021e19e0c9bab240000082610d6d878787611d81565b9050610d7983826112bc565b15610d8357600080fd5b81818402811515610d9057fe5b04979650505050505050565b600e5481565b610daa6125dd565b6004805480602002602001604051908101604052809291908181526020018280548015610e0d57602002820191906000526020600020905b815473ffffffffffffffffffffffffffffffffffffffff168152600190910190602001808311610de2575b505050505090505b90565b79010000000000000000000000000000000000000000000000000081565b6000543373ffffffffffffffffffffffffffffffffffffffff908116911614610e5e57600080fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82846000604051602001526040517c010000000000000000000000000000000000000000000000000000000063ffffffff851602815273ffffffffffffffffffffffffffffffffffffffff90921660048301526024820152604401602060405180830381600087803b1515610eee57600080fd5b6102c65a03f11515610eff57600080fd5b505050604051805190501515610f1457600080fd5b7f72cb8a894ddb372ceec3d2a7648d86f17d5a15caae0e986c53109b8a9a9385e683838360405173ffffffffffffffffffffffffffffffffffffffff938416815260208101929092529091166040808301919091526060909101905180910390a1505050565b60115481565b6000543373ffffffffffffffffffffffffffffffffffffffff908116911614610fa857600080fd5b73ffffffffffffffffffffffffffffffffffffffff811660009081526003602052604090205460ff1615610fdb57600080fd5b60055460329010610feb57600080fd5b7f5611bf3e417d124f97bf2c788843ea8bb502b66079fbee02158ef30b172cb76281600160405173ffffffffffffffffffffffffffffffffffffffff9092168252151560208201526040908101905180910390a173ffffffffffffffffffffffffffffffffffffffff8116600090815260036020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600190811790915560058054909181016110a283826125b4565b50600091825260209091200180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b600b5481565b600d5481565b600a5481565b6000543373ffffffffffffffffffffffffffffffffffffffff90811691161461112d57600080fd5b6028861461113a57600080fd5b600286900a600a55612710831061115057600080fd5b81811061115c57600080fd5b6000811161116957600080fd5b6000881161117657600080fd5b6000871161118357600080fd5b600b889055600c8790556111a26b204fce5e3e25026110000000610ca7565b600f5560098690556111b385610ca7565b600d556111bf84610ca7565b600e556010839055806ec097ce7bc90715b34b9f10000000008115156111e157fe5b04601255816ec097ce7bc90715b34b9f10000000008115156111ff57fe5b04601381905560148390556015829055600b54600c54600954600d54600e54601054600a54600f546012547f52db0a06d138736a4425764a1f7e1b432b5ce79099d523c0c4cd01e7320aba0e998c8c6040519b8c5260208c019a909a526040808c019990995260608b019790975260808a019590955260a089019390935260c088019190915260e0870152610100860152610120850152610140840152610160830191909152610180909101905180910390a15050505050505050565b60008115156112cd575060006112e1565b82828385028115156112db57fe5b04141590505b92915050565b6000806112fd600b54600c548686600a5461174c565b600f5490915081111561130f57600080fd5b61131881611378565b905082670de0b6b3a7640000820281151561132f57fe5b04949350505050565b600080600a54670de0b6b3a7640000611359600b54600c5487600a54610cd9565b0281151561136357fe5b04905061136f81611378565b91505b50919050565b60007901000000000000000000000000000000000000000000000000008211156113a157600080fd5b6010546127109081038302610cd2565b60095481565b6000543373ffffffffffffffffffffffffffffffffffffffff9081169116146113df57600080fd5b73ffffffffffffffffffffffffffffffffffffffff8116151561140157600080fd5b6001547f3b81caf78fa51ecbc8acb482fd7012a277b428d9b80f9d156e8a54107496cc409073ffffffffffffffffffffffffffffffffffffffff1660405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a1600180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6001543373ffffffffffffffffffffffffffffffffffffffff9081169116146114d357600080fd5b6001546000547f65da1cfc2c2e81576ad96afb24a581f8e109b7a403b35cbd3243a1c99efdb9ed9173ffffffffffffffffffffffffffffffffffffffff908116911660405173ffffffffffffffffffffffffffffffffffffffff9283168152911660208201526040908101905180910390a160018054600080547fffffffffffffffffffffffff000000000000000000000000000000000000000090811673ffffffffffffffffffffffffffffffffffffffff841617909155169055565b6000543373ffffffffffffffffffffffffffffffffffffffff9081169116146115b957600080fd5b73ffffffffffffffffffffffffffffffffffffffff811615156115db57600080fd5b7f3b81caf78fa51ecbc8acb482fd7012a277b428d9b80f9d156e8a54107496cc408160405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a16000547f65da1cfc2c2e81576ad96afb24a581f8e109b7a403b35cbd3243a1c99efdb9ed90829073ffffffffffffffffffffffffffffffffffffffff1660405173ffffffffffffffffffffffffffffffffffffffff9283168152911660208201526040908101905180910390a1600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6116e16125dd565b6005805480602002602001604051908101604052809291908181526020018280548015610e0d5760200282019190600052602060002090815473ffffffffffffffffffffffffffffffffffffffff168152600190910190602001808311610de2575050505050905090565b60008060008061175e89898988610cd9565b9250828902915061176f89876112bc565b1561177957600080fd5b611788868a0286870287612151565b90508481101561179757600080fd5b6117a3858203866112bc565b156117ad57600080fd5b6117bb8586830302866112bc565b156117c557600080fd5b6117d585868784030202866112bc565b156117df57600080fd5b6117e982826112bc565b156117f357600080fd5b6117fd89846112bc565b1561180757600080fd5b80820285868788850302020281151561181c57fe5b049998505050505050505050565b600080600283810a90810281838188108015906118475750828811155b151561185257600080fd5b607d871061185f57600080fd5b50855b60008111156118ba578388890281151561187857fe5b04975060028204915082881061189357600288049750938101935b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01611862565b50929695505050505050565b6000808283028410156118dd575083905082611903565b6118fe83868115156118eb57fe5b0484868115156118f757fe5b04856118c6565b915091505b935093915050565b6000808080806b204fce5e3e2502611000000087111561192a57600080fd5b600f5486111561193957600080fd5b60075473ffffffffffffffffffffffffffffffffffffffff8a81169116146119645760009450611a15565b87156119b15761197387610ca7565b9350600d548411156119885760009450611a15565b83151561199f5761199886612439565b90506119ac565b6119a986856112e7565b90505b611a05565b6119ba87611b31565b92506119c583611378565b91508115156119e2576119d786611338565b9050600093506119f2565b6119ed868484611ae6565b945090505b600e54841115611a055760009450611a15565b611a0f8189611e60565b90508094505b50505050949350505050565b60007f800000000000000000000000000000000000000000000000000000000000000060ff5b60008112611aba578382838602811515611a5d57fe5b0414611a6e57600282049150611a93565b600082850286811515611a7d57fe5b041115611a8c57809250611ade565b6002820491505b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01611a47565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff92505b505092915050565b600080611aff600b54600c548786600a54600954611ca1565b600f54909150811115611b1157600080fd5b83670de0b6b3a76400008202811515611b2657fe5b049150935093915050565b60006b204fce5e3e25026110000000821115611b4c57600080fd5b600754611b6e9073ffffffffffffffffffffffffffffffffffffffff166124ba565b600a0a600a548302811515610cd257fe5b6000543373ffffffffffffffffffffffffffffffffffffffff908116911614611ba757600080fd5b73ffffffffffffffffffffffffffffffffffffffff811660009081526002602052604090205460ff1615611bda57600080fd5b60045460329010611bea57600080fd5b7f091a7a4b85135fdd7e8dbc18b12fabe5cc191ea867aa3c2e1a24a102af61d58b81600160405173ffffffffffffffffffffffffffffffffffffffff9092168252151560208201526040908101905180910390a173ffffffffffffffffffffffffffffffffffffffff8116600090815260026020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016600190811790915560048054909181016110a283826125b4565b600080600080611cb38a8a8a89610cd9565b9250828a029150611cc482886112bc565b15611cce57600080fd5b85860286888402811515611cde57fe5b0487880201111515611cef57600080fd5b611d0d86888402811515611cff57fe5b048788020187880287610d49565b9050611d198a846112bc565b15611d2357600080fd5b611d2d86876112bc565b15611d3757600080fd5b611d4182886112bc565b15611d4b57600080fd5b611d5581876112bc565b15611d5f57600080fd5b89868202811515611d6c57fe5b049a9950505050505050505050565b60105481565b600080600283900a818086881115611da057611d9d8888611a21565b93505b611daa88846112bc565b15611db457600080fd5b611dbe84846112bc565b15611dc857600080fd5b611dd6600285900a886112bc565b15611de057600080fd5b600284900a8702888402811515611df357fe5b049150611e00828761182a565b90507901000000000000000000000000000000000000000000000000008484021115611e2b57600080fd5b790100000000000000000000000000000000000000000000000000811115611e5257600080fd5b919092020195945050505050565b60008060008315611e78575050601354601254611e81565b50506015546014545b80851180611e8e57508185105b15611e9c5760009250611ade565b69d3c21bcecceda1000000851115611eb75760009250611ade565b849250611ade565b60085473ffffffffffffffffffffffffffffffffffffffff1681565b60006b204fce5e3e25026110000000821115611ef657600080fd5b601054612710036010548302811515610cd257fe5b600080543373ffffffffffffffffffffffffffffffffffffffff908116911614611f3457600080fd5b73ffffffffffffffffffffffffffffffffffffffff821660009081526002602052604090205460ff161515611f6857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8116600090815260026020526040812080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690555b600454811015610bad578173ffffffffffffffffffffffffffffffffffffffff16600482815481101515611fe557fe5b60009182526020909120015473ffffffffffffffffffffffffffffffffffffffff16141561214957600480547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff810190811061203d57fe5b6000918252602090912001546004805473ffffffffffffffffffffffffffffffffffffffff909216918390811061207057fe5b600091825260209091200180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055600480547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01906120ef90826125b4565b507f091a7a4b85135fdd7e8dbc18b12fabe5cc191ea867aa3c2e1a24a102af61d58b82600060405173ffffffffffffffffffffffffffffffffffffffff9092168252151560208201526040908101905180910390a1610bad565b600101611fb5565b6000806001808083805b61216584896112bc565b156121725781965061221b565b61217c83866112bc565b156121895781965061221b565b84830288850281151561219857fe5b0482019150808214156121ad5781965061221b565b50600190940193806121bf848b6112bc565b156121cc5781965061221b565b6121d6838a6112bc565b156121e35781965061221b565b6121ed85876112bc565b156121fa5781965061221b565b93850293928902929188029161221184848a6118c6565b909450925061215b565b5050505050509392505050565b600080543373ffffffffffffffffffffffffffffffffffffffff90811691161461225157600080fd5b506011805460009091557fdeb4766cf1de6f18e3b195f199d403a02a3e09fbee1192b37d797fb300f052618160405190815260200160405180910390a150565b600080806b204fce5e3e250261100000008411156122ae57600080fd5b6008546122d19073ffffffffffffffffffffffffffffffffffffffff1631610ca7565b91506122df8786868561190b565b905069d3c21bcecceda10000008111156122f857600080fd5b9695505050505050565b6008543373ffffffffffffffffffffffffffffffffffffffff90811691161461232a57600080fd5b60008313156123525761234461233f84610c6c565b611edb565b601180549091019055612379565b61271060105461236185610c6c565b0281151561236b57fe5b601180549290910490910190555b50505050565b6000543373ffffffffffffffffffffffffffffffffffffffff9081169116146123a757600080fd5b73ffffffffffffffffffffffffffffffffffffffff811682156108fc0283604051600060405180830381858888f1935050505015156123e557600080fd5b7fec47e7ed86c86774d1a72c19f35c639911393fe7c1a34031fdbd260890da90de828260405191825273ffffffffffffffffffffffffffffffffffffffff1660208201526040908101905180910390a15050565b60008061244e600b54600c5485600a54610cd9565b670de0b6b3a7640000600a540281151561136357fe5b60125481565b60155481565b600c5481565b600f5481565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60135481565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b60008073ffffffffffffffffffffffffffffffffffffffff831673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee14156124f85760129150611372565b5073ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020548015156112e1578273ffffffffffffffffffffffffffffffffffffffff1663313ce5676000604051602001526040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b151561259257600080fd5b6102c65a03f115156125a357600080fd5b505050604051805190509150611372565b8154818355818115116125d8576000838152602090206125d89181019083016125ef565b505050565b60206040519081016040526000815290565b610e1591905b8082111561260957600081556001016125f5565b5090565b73ffffffffffffffffffffffffffffffffffffffff811673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee141561266d5773ffffffffffffffffffffffffffffffffffffffff811660009081526006602052604090206012905561271a565b8073ffffffffffffffffffffffffffffffffffffffff1663313ce5676000604051602001526040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b15156126d957600080fd5b6102c65a03f115156126ea57600080fd5b505050604051805173ffffffffffffffffffffffffffffffffffffffff8316600090815260066020526040902055505b505600a165627a7a72305820de44da4325bd7780e23ef660f3d8e66ab9438915f24d3f00468812777aa540570029

14486:8872:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3702:463;;;;;;;;;;;;;;;;;;15081:34;;;;;;;;;;;;;;;;;;;;;;;;;;;15448:142;;;;;;;;;;;;;;;;23177:178;;;;;;;;;;;;;;22655:177;;;;;;;;;;;;;;12531:289;;;;;;;;;;;;;;;;;;;;1326:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12104:373;;;;;;;;;;;;;;;;;;14863:29;;;;;;;;;;;;1937:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;71:3;;;64:6;52:2;45:3;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;8884:54:0;;;;;;;;;;;;5608:189;;;;;;;;;;;;;;;;;;;;;;;;14957:35;;;;;;;;;;;;3386:308;;;;;;;;;;;;;;;;14775:17;;;;;;;;;;;;14828:28;;;;;;;;;;;;14738;;;;;;;;;;;;16002:1714;;;;;;;;;;;;;;;;;;;;;;;;;;;;8947:148;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21178:327;;;;;;;;;;;;;;;;22187:265;;;;;;;;;;;;;;22840:164;;;;;;;;;;;;;;14710:21;;;;;;;;;;;;2355:187;;;;;;;;;;;;;;;;3124:194;;;;;;;;;;;;2723:223;;;;;;;;;;;;;;;;2043:96;;;;;;;;;;;;12828:791;;;;;;;;;;;;;;;;;;;;;;10851:574;;;;;;;;;;;;;;;;9103:223;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19059:1350;;;;;;;;;;;;;;;;;;;;;;;;10345:455;;;;;;;;;;;;;;;;21785:394;;;;;;;;;;;;;;;;;;22460:187;;;;;;;;;;;;;;4234:319;;;;;;;;;;;;;;;;13627:741;;;;;;;;;;;;;;;;;;;;;;;;14930:20;;;;;;;;;;;;11433:663;;;;;;;;;;;;;;;;;;20417:753;;;;;;;;;;;;;;;;;;14671:30;;;;;;;;;;;;23012:157;;;;;;;;;;;;;;4561:481;;;;;;;;;;;;;;;;9377:918;;;;;;;;;;;;;;;;;;18364:190;;;;;;;;;;;;18562:489;;;;;;;;;;;;;;;;;;;;;;;;17724:577;;;;;;;;;;;;;;;;;;;;;;5909:153;;;;;;;;;;;;;;;;;;21513:264;;;;;;;;;;;;;;15001:33;;;;;;;;;;;;15122:34;;;;;;;;;;;;14799:20;;;;;;;;;;;;14899:22;;;;;;;;;;;;1299:20;;;;;;;;;;;;15041:33;;;;;;;;;;;;14646:18;;;;;;;;;;;;3702:463;3851:6;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;3779:17;;;;;;;:8;:17;;;;;;;;3771:26;;;;;;;;-1:-1:-1;3808:17:0;;;3828:5;3808:17;;;:8;:17;;;;;:25;;;;;;3846:312;3867:13;:20;3863:24;;3846:312;;;3933:7;3913:27;;:13;3927:1;3913:16;;;;;;;;;;;;;;;;;;;;;;:27;3909:238;;;3980:13;3994:20;;:24;;;;3980:39;;;;;;;;;;;;;;;;3961:13;:16;;3980:39;;;;;3975:1;;3961:16;;;;;;;;;;;;;;;:58;;;;;;;;;;;;;;;4038:13;:22;;;;;;;;;:::i;:::-;;4079:28;4092:7;4101:5;4079:28;;;;;;;;;;;;;;;;;;;;;;;;;4126:5;;3909:238;3889:3;;3846:312;;;3702:463;;:::o;15081:34::-;;;;:::o;15448:142::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;15520:15;:25;;;;;;;;;;15556:26;15520:25;15556:26;;;;;;;;;;;;;;;;;15448:142;:::o;23177:178::-;23219:4;23246:1;23240:3;:7;23236:112;;;-1:-1:-1;23283:2:0;23276:10;;23264:23;;23236:112;-1:-1:-1;23332:3:0;23236:112;23177:178;;;:::o;22655:177::-;22711:4;6388:6;22736:19;;;22728:28;;;;;;22805:2;22785:16;22805:18;;22774:27;;:50;;;22655:177;-1:-1:-1;;22655:177:0:o;12531:289::-;12607:4;12668:10;12633:23;12651:1;12654;12633:17;:23::i;:::-;12632:24;12624:33;;;;;;12681:40;12687:1;12685;:3;12700:9;12690;:19;12711:9;12681:3;:40::i;:::-;12668:53;;12741:30;12759:5;12766:4;12741:17;:30::i;:::-;12740:31;12732:40;;;;;;12803:9;12795:5;12790:4;:10;:22;;;;;;;;;12531:289;-1:-1:-1;;;;;;12531:289:0:o;1326:27::-;;;;;;:::o;12104:373::-;12176:4;12215:22;12270:23;12176:4;12319:32;12328:1;12331;12334:16;12319:8;:32::i;:::-;12306:45;;12373:38;12391:12;12405:5;12373:17;:38::i;:::-;12372:39;12364:48;;;;;;12455:14;12447:5;12432:12;:20;:37;;;;;;;;;12104:373;-1:-1:-1;;;;;;;12104:373:0:o;14863:29::-;;;;:::o;1937:98::-;1984:9;;:::i;:::-;2013:14;2006:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1937:98;;:::o;8884:54::-;8919:18;8884:54;:::o;5608:189::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;5711:5;:14;;;5726:6;5734;5711:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5703:39;;;;;;;;5753:36;5767:5;5774:6;5782;5753:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5608:189;;;:::o;14957:35::-;;;;:::o;3386:308::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;3463:20;;;;;;;:8;:20;;;;;;;;3462:21;3454:30;;;;;;3526:13;:20;1574:2;3526:37;;3518:46;;;;;;3577:30;3590:10;3602:4;3577:30;;;;;;;;;;;;;;;;;;;;;;;;;3618:20;;;;;;;:8;:20;;;;;:27;;;;3641:4;3618:27;;;;;;3656:13;:30;;:13;;:30;;;:13;:30;;:::i;:::-;-1:-1:-1;3656:30:0;;;;;;;;;;;;;;;;;;;;;;;;3386:308::o;14775:17::-;;;;:::o;14828:28::-;;;;:::o;14738:::-;;;;:::o;16002:1714::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;14635:2;16324:36;;16316:45;;;;;;16428:19;;;;16409:16;:38;16518:5;16506:17;;16498:26;;;;;;16543:61;;;16535:70;;;;;;16656:1;16624:33;;16616:42;;;;;;16686:1;16677:10;;16669:19;;;;;;16719:1;16707:13;;16699:22;;;;;;16734:5;:14;;;16759:8;:20;;;16803;6388:6;16803:11;:20::i;:::-;16790:10;:33;16834:9;:22;;;16886:28;16898:15;16886:11;:28::i;:::-;16867:16;:47;16945:29;16957:16;16945:11;:29::i;:::-;16925:17;:49;16985:8;:20;;;17064:29;17040:21;:53;;;;;;;;17016:21;:77;17152:29;17128:21;:53;;;;;;;;17104:21;:77;;;17192:22;:54;;;17257:22;:54;;;17357:5;;17377:8;;17400:9;;17424:16;;17455:17;;17487:8;;17510:16;;17541:10;;17566:21;;17324:384;;17217:29;17282;17324:384;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16002:1714;;;;;;;;:::o;8947:148::-;9010:4;9031:6;;9027:24;;;-1:-1:-1;9046:5:0;9039:12;;9027:24;9085:1;9079;9074;9072;:3;9071:9;;;;;;;;9070:16;;9062:25;;8947:148;;;;;:::o;21178:327::-;21244:4;21261:15;21279:64;21290:5;;21297:8;;21307:5;21314:10;21326:16;;21279:10;:64::i;:::-;21376:10;;21261:82;;-1:-1:-1;21362:24:0;;;21354:33;;;;;;21411;21433:10;21411:21;:33::i;:::-;21398:46;;21487:10;6337:6;21462:10;:22;:35;;;;;;;;;21178:327;-1:-1:-1;;;;21178:327:0:o;22187:265::-;22249:4;22266:32;22360:16;;6337:6;22301:44;22304:5;;22311:8;;22321:5;22328:16;;22301:2;:44::i;:::-;:56;:75;;;;;;;;22266:110;;22394:50;22416:27;22394:21;:50::i;:::-;22387:57;;22187:265;;;;;:::o;22840:164::-;22901:4;8919:18;22926:17;;;22918:26;;;;;;22972:8;;22991:5;;22964:16;;22963:24;;22962:34;;14710:21;;;;:::o;2355:187::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;2432:22;;;;;2424:31;;;;;;2487:12;;2466:34;;2487:12;;2466:34;;;;;;;;;;;;;;;;;2511:12;:23;;;;;;;;;;;;;;;2355:187::o;3124:194::-;3172:12;;3188:10;3172:26;;;;:12;;:26;3164:35;;;;;;3223:12;;;3237:5;3210:33;;3223:12;;;;;3237:5;3210:33;;;;;;;;;;;;;;;;;;;;;;;;;3262:12;;;;3254:20;;;;;;3262:12;;;3254:20;;;;3285:25;;;3124:194::o;2723:223::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;2807:22;;;;;2799:31;;;;;;2841:30;2862:8;2841:30;;;;;;;;;;;;;;;;;2905:5;;2882:29;;2895:8;;2905:5;;2882:29;;;;;;;;;;;;;;;;;;;;;;;;;2922:5;:16;;;;;;;;;;;;;;;2723:223::o;2043:96::-;2089:9;;:::i;:::-;2118:13;2111:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2043:96;:::o;12828:791::-;12925:4;12942:7;12988:8;13067:13;12952:25;12955:1;12958:4;12964:1;12967:9;12952:2;:25::i;:::-;12942:35;;13003:2;12999:1;:6;12988:17;;13027:28;13045:1;13048:6;13027:17;:28::i;:::-;13026:29;13018:38;;;;;;13083:45;13089:6;13087:1;:8;13107:9;13097;:19;13118:9;13083:3;:45::i;:::-;13067:61;-1:-1:-1;13149:21:0;;;;13141:30;;;;;;13191:50;13220:9;13209:8;:20;13231:9;13191:17;:50::i;:::-;13190:51;13182:60;;;;;;13262:62;13303:9;13292;13281:8;:20;13280:32;13314:9;13262:17;:62::i;:::-;13261:63;13253:72;;;;;;13345;13396:9;13386;13375;13364:8;:20;13363:32;:42;13407:9;13345:17;:72::i;:::-;13344:73;13336:82;;;;;;13438:32;13456:3;13461:8;13438:17;:32::i;:::-;13437:33;13429:42;;;;;;13491:24;13509:1;13512:2;13491:17;:24::i;:::-;13490:25;13482:34;;;;;;13602:8;13598:3;:12;13585:9;13573;13561;13548;13537:8;:20;13536:34;:46;:58;:75;;;;;;;;;12828:791;-1:-1:-1;;;;;;;;;12828:791:0:o;10851:574::-;10931:4;;10983:25;;;;;11031:7;;10983:25;10931:4;11090:8;;;;;;11089:24;;;11109:3;11104:1;:8;;11089:24;11081:33;;;;;;;;11152:3;11133:22;;11125:31;;;;;;-1:-1:-1;11183:16:0;11169:226;11205:1;11201;:5;11169:226;;;11240:3;11235:1;11233;:3;11232:11;;;;;;;;;-1:-1:-1;11278:1:0;11269:8;:10;;-1:-1:-1;11298:8:0;;;11294:90;;11333:1;11331;:3;;-1:-1:-1;11353:15:0;;;;11294:90;11208:3;;11169:226;;;-1:-1:-1;11414:3:0;;10851:574;-1:-1:-1;;;;;;10851:574:0:o;9103:223::-;9181:4;9187;9224:9;9212;:21;9208:1;:25;9204:44;;;-1:-1:-1;9243:1:0;;-1:-1:-1;9246:1:0;9235:13;;9204:44;9266:52;9284:9;9282:1;:11;;;;;;;;9297:9;9295:1;:11;;;;;;;;9308:9;9266:15;:52::i;:::-;9259:59;;;;9103:223;;;;;;;:::o;19059:1350::-;19164:4;;;;;6388:6;19311:22;;;19303:31;;;;;;19362:10;;19353:19;;;19345:28;;;;;;19407:5;;;19388:24;;;19407:5;;19388:24;19384:38;;19421:1;19414:8;;;;19384:38;19439:3;19435:862;;;19516:24;19528:11;19516;:24::i;:::-;19503:37;;19572:16;;19559:10;:29;19555:43;;;19597:1;19590:8;;;;19555:43;19619:15;;19615:185;;;19673:26;19693:5;19673:19;:26::i;:::-;19655:44;;19615:185;;;19758:26;19766:5;19773:10;19758:7;:26::i;:::-;19740:44;;19615:185;19435:862;;;19856:25;19869:11;19856:12;:25::i;:::-;19832:49;;19909:44;19931:21;19909;:44::i;:::-;19896:57;-1:-1:-1;19972:15:0;;19968:257;;;20026:27;20047:5;20026:20;:27::i;:::-;20008:45;;20085:1;20072:14;;19968:257;;;20159:50;20168:5;20175:21;20198:10;20159:8;:50::i;:::-;20127:82;-1:-1:-1;20127:82:0;-1:-1:-1;19968:257:0;20258:17;;20245:10;:30;20241:44;;;20284:1;20277:8;;;;20241:44;20327:41;20347:15;20364:3;20327:19;:41::i;:::-;20309:59;;20386:15;20379:22;;19059:1350;;;;;;;;;;;:::o;10345:455::-;10409:4;10444:12;10453:3;10468:297;10491:1;10486:6;;10468:297;;10545:1;10532:9;10521;10519:1;:11;10518:23;;;;;;;;:28;10514:148;;10618:1;10608:9;:11;10596:23;;10638:8;;10514:148;10698:1;10685:9;10683:1;:11;10680:1;:15;;;;;;;;:19;10676:39;;;10713:1;10701:14;;;;10676:39;10752:1;10742:9;:11;10730:23;;10468:297;10494:3;;10468:297;;;10789:2;10777:15;;10345:455;;;;;;;:::o;21785:394::-;21914:20;21936:15;21977:75;21988:5;;21995:8;;22005:5;22012:10;22024:16;;22042:9;;21977:10;:75::i;:::-;22085:10;;21964:88;;-1:-1:-1;22071:24:0;;;22063:33;;;;;;22150:21;6337:6;22125:10;:22;:46;;;;;;;;22107:64;;21785:394;;;;;;:::o;22460:187::-;22518:4;6388:6;22543:20;;;22535:29;;;;;;22632:5;;22620:18;;22632:5;;22620:11;:18::i;:::-;22614:2;:24;22594:16;;22582:9;:28;:57;;;;;;4234:319;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;4313:22;;;;;;;:9;:22;;;;;;;;4312:23;4304:32;;;;;;4378:14;:21;1574:2;4378:38;;4370:47;;;;;;4430:32;4444:11;4457:4;4430:32;;;;;;;;;;;;;;;;;;;;;;;;;4473:22;;;;;;;:9;:22;;;;;:29;;;;4498:4;4473:29;;;;;;4513:14;:32;;:14;;:32;;;:14;:32;;:::i;13627:741::-;13765:4;13787:7;13833:8;14004:11;13797:25;13800:1;13803:4;13809:1;13812:9;13797:2;:25::i;:::-;13787:35;;13848:2;13844:1;:6;13833:17;;13872:30;13890:3;13895:6;13872:17;:30::i;:::-;13871:31;13863:40;;;;;;13983:9;13971;:21;13959:9;13952:6;13946:3;:12;:22;;;;;;;;13934:9;13922;:21;:46;:70;13914:79;;;;;;;;14018:85;14054:9;14047:6;14043:3;:10;:20;;;;;;;;14031:9;14021;:19;:42;14075:9;14065;:19;14086:16;14018:2;:85::i;:::-;14004:99;;14125:24;14143:1;14146:2;14125:17;:24::i;:::-;14124:25;14116:34;;;;;;14170:39;14188:9;14199;14170:17;:39::i;:::-;14169:40;14161:49;;;;;;14230:30;14248:3;14253:6;14230:17;:30::i;:::-;14229:31;14221:40;;;;;;14281:36;14299:6;14307:9;14281:17;:36::i;:::-;14280:37;14272:46;;;;;;14359:1;14347:9;14338:6;:18;:22;;;;;;;;;13627:741;-1:-1:-1;;;;;;;;;;13627:741:0:o;14930:20::-;;;;:::o;11433:663::-;11512:4;;11568:25;;;;11512:4;;11611:5;;;11607:65;;;11637:23;11655:1;11658;11637:17;:23::i;:::-;11633:27;;11607:65;11693:31;11711:1;11714:9;11693:17;:31::i;:::-;11692:32;11684:41;;;;;;11745:31;11763:1;11766:9;11745:17;:31::i;:::-;11744:32;11736:41;;;;;;11797:32;11815:10;;;;11827:1;11797:17;:32::i;:::-;11796:33;11788:42;;;;;;11874:10;;;;11869:16;;11852:13;;;:34;;;;;;;;11843:43;;11914:39;11933:1;11936:16;11914:18;:39::i;:::-;11897:56;-1:-1:-1;8919:18:0;11974:11;;;:25;;11966:34;;;;;;8919:18;12019:23;;;12011:32;;;;;;12063:13;;;;:25;;;-1:-1:-1;;;;;11433:663:0:o;20417:753::-;20498:4;20515:28;20554:30;20601:3;20597:293;;;-1:-1:-1;;20647:21:0;;20711;;20597:293;;;-1:-1:-1;;20791:22:0;;20856;;20597:293;20925:25;20907:15;:43;20906:92;;;;20974:23;20956:15;:41;20906:92;20902:261;;;21022:1;21015:8;;;;20902:261;6453:17;21045:26;;21041:122;;;21095:1;21088:8;;;;21041:122;21136:15;21129:22;;;;14671:30;;;;;;:::o;23012:157::-;23068:4;6388:6;23093:14;;;23085:23;;;;;;23152:8;;23144:5;:16;23132:8;;23126:3;:14;:35;;;;;;4561:481;4716:6;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;4640:19;;;;;;;:9;:19;;;;;;;;4632:28;;;;;;;;-1:-1:-1;4671:19:0;;;4693:5;4671:19;;;:9;:19;;;;;:27;;;;;;4711:324;4732:14;:21;4728:25;;4711:324;;;4800:8;4779:29;;:14;4794:1;4779:17;;;;;;;;;;;;;;;;;;;;;;:29;4775:249;;;4849:14;4864:21;;:25;;;;4849:41;;;;;;;;;;;;;;;;4829:14;:17;;4849:41;;;;;4844:1;;4829:17;;;;;;;;;;;;;;;:61;;;;;;;;;;;;;;;4909:14;:26;;;;;;;;;:::i;:::-;;4954:30;4968:8;4978:5;4954:30;;;;;;;;;;;;;;;;;;;;;;;;;5003:5;;4775:249;4755:3;;4711:324;;9377:918;9443:4;;9494:1;;;9443:4;;9616:672;9648:38;9666:8;9676:9;9648:17;:38::i;:::-;9644:54;;;9695:3;9688:10;;;;9644:54;9717:34;9735:8;9745:5;9717:17;:34::i;:::-;9713:50;;;9760:3;9753:10;;;;9713:50;9824:5;9813:8;:16;9799:9;9788:8;:20;9787:43;;;;;;;;9780:50;;;;9858:7;9851:3;:14;9847:30;;;9874:3;9867:10;;;;9847:30;-1:-1:-1;9922:3:0;;;;;9902;9946:30;9964:8;9974:1;9946:17;:30::i;:::-;9942:46;;;9985:3;9978:10;;;;9942:46;10007:30;10025:8;10035:1;10007:17;:30::i;:::-;10003:46;;;10046:3;10039:10;;;;10003:46;10068:27;10086:5;10093:1;10068:17;:27::i;:::-;10064:43;;;10104:3;10097:10;;;;10064:43;10180:10;;;;10124:13;;;;10152;;;;10230:46;10124:13;10152;10266:9;10230:15;:46::i;:::-;10207:69;;-1:-1:-1;10207:69:0;-1:-1:-1;9616:672:0;;;9377:918;;;;;;;;;;;:::o;18364:190::-;18422:20;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;-1:-1:-1;18445:19:0;;;18497:1;18475:23;;;18511:35;18445:19;18511:35;;;;;;;;;;;;;;18364:190;:::o;18562:489::-;18734:4;;;6388:6;18792:22;;;18784:31;;;;;;18851:15;;18839:36;;18851:15;;:23;18839:11;:36::i;:::-;18826:49;;18909:54;18922:15;18939:3;18944:11;18957:5;18909:12;:54::i;:::-;18886:77;-1:-1:-1;6453:17:0;18982:27;;;18974:36;;;;;;19028:15;18562:489;-1:-1:-1;;;;;;18562:489:0:o;17724:577::-;18008:15;;17994:10;18008:15;17994:29;;;18008:15;;17994:29;17986:38;;;;;;18057:1;18039:15;:19;18035:259;;;18123:38;18140:20;18144:15;18140:3;:20::i;:::-;18123:16;:38::i;:::-;18100:19;:61;;;;;;;18035:259;;;18277:5;18266:8;;18243:20;18247:15;18243:3;:20::i;:::-;:31;:39;;;;;;;18220:19;:62;;18243:39;;;;18220:62;;;;;18035:259;17724:577;;;;:::o;5909:153::-;1719:5;;1705:10;1719:5;1705:19;;;1719:5;;1705:19;1697:28;;;;;;5991:15;;;:23;;;;6007:6;5991:23;;;;;;;;;;;;;;;;;;;;;;;;;;6025:29;6039:6;6047;6025:29;;;;;;;;;;;;;;;;;;;;;;5909:153;;:::o;21513:264::-;21574:4;21591:32;21657:44;21660:5;;21667:8;;21677:5;21684:16;;21657:2;:44::i;:::-;6337:6;21626:16;;:28;:75;;;;;;15001:33;;;;:::o;15122:34::-;;;;:::o;14799:20::-;;;;:::o;14899:22::-;;;;:::o;1299:20::-;;;;;;:::o;15041:33::-;;;;:::o;14646:18::-;;;;;;:::o;6832:479::-;6888:4;;6909:26;;;6248:44;6909:26;6905:51;;;6592:2;6937:19;;;;6905:51;-1:-1:-1;7011:15:0;;;;;;;:8;:15;;;;;;7227:18;;7224:46;;;7254:5;:14;;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7247:23;;;;14486:8872;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;:::o;:::-;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;6650:174;6708:26;;;6248:44;6708:26;6704:112;;;6736:15;;;;;;;:8;:15;;;;;6592:2;6736:30;;6704:112;;;6800:5;:14;;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6782:15;;;;;;;:8;:15;;;;;:34;-1:-1:-1;6704:112:0;6650:174;:::o

bzzr://de44da4325bd7780e23ef660f3d8e66ab9438915f24d3f00468812777aa54057