Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IValueLiquidFactory
•    - function feeTo()
•    - function formula()
•    - function protocolFee()
•    - function feeToSetter()
•    - function getPair(
•    - function allPairs(uint256)
•    - function isPair(address)
•    - function allPairsLength()
•    - function createPair(
•    - function getWeightsAndSwapFee(address ...
•    - function setFeeTo(address)
•    - function setFeeToSetter(address)
•    - function setProtocolFee(uint256)
• interface IValueLiquidPair
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(
•    - function MINIMUM_LIQUIDITY()
•    - function factory()
•    - function token0()
•    - function token1()
•    - function getReserves()
•    - function getCollectedFees()
•    - function getTokenWeights()
•    - function getSwapFee()
•    - function price0CumulativeLast()
•    - function price1CumulativeLast()
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(
•    - function skim(address to)
•    - function sync()
•    - function initialize(
• interface IValueLiquidFormula
•    - function getReserveAndWeights(address ...
•    - function getFactoryReserveAndWeights(
•    - function getAmountIn(
•    - function getPairAmountIn(
•    - function getAmountOut(
•    - function getPairAmountOut(
•    - function getAmountsIn(
•    - function getFactoryAmountsIn(
•    - function getAmountsOut(
•    - function getFactoryAmountsOut(
•    - function ensureConstantValue(
•    - function getReserves(
•    - function getOtherToken(address pair, ...
•    - function quote(
•    - function sortTokens(address tokenA, a ...
•    - function mintLiquidityFee(
• interface IValueLiquidERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(
• library SafeMath
•    - function add(uint256 x, uint256 y)
•    - function sub(uint256 x, uint256 y)
•    - function mul(uint256 x, uint256 y)
•    - function div(uint256 a, uint256 b)
•  contract ValueLiquidERC20 is IValu ...
•    - function initialize(string memory _na ...
•    - function _mint(address to, uint256 va ...
•    - function _burn(address from, uint256 ...
•    - function _approve(
•    - function _transfer(
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
•    - function permit(
• library Math
•    - function min(uint256 x, uint256 y)
•    - function sqrt(uint256 y)
• library UQ112x112
•    - function encode(uint112 y)
•    - function uqdiv(uint224 x, uint112 y)
• interface IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
• interface IUniswapV2Callee
•    - function uniswapV2Call(
•  contract ValueLiquidPair is IValue ...
•    - function getReserves()
•    - function getCollectedFees()
•    - function getTokenWeights()
•    - function getSwapFee()
•    - function _safeTransfer(
•    - function initialize(
•    - function _update(
•    - function _mintFee(uint112 _reserve0, ...
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(
•    - function skim(address to)
•    - function sync()
•  contract ValueLiquidFactory is IVa ... *
•    - function isPair(address b)
•    - function allPairsLength()
•    - function getPair(
•    - function createPair(
•    - function setFeeTo(address _feeTo)
•    - function setFeeToSetter(address _feeT ...
•    - function setProtocolFee(uint256 _prot ...
•    - function getWeightsAndSwapFee(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-01-20
*/

// SPDX-License-Identifier: SEE LICENSE IN LICENSE

pragma solidity 0.5.17;

interface IValueLiquidFactory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint32 tokenWeight0, uint32 swapFee, uint256);

    function feeTo() external view returns (address);

    function formula() external view returns (address);

    function protocolFee() external view returns (uint256);

    function feeToSetter() external view returns (address);

    function getPair(
        address tokenA,
        address tokenB,
        uint32 tokenWeightA,
        uint32 swapFee
    ) external view returns (address pair);

    function allPairs(uint256) external view returns (address pair);

    function isPair(address) external view returns (bool);

    function allPairsLength() external view returns (uint256);

    function createPair(
        address tokenA,
        address tokenB,
        uint32 tokenWeightA,
        uint32 swapFee
    ) external returns (address pair);

    function getWeightsAndSwapFee(address pair)
        external
        view
        returns (
            uint32 tokenWeight0,
            uint32 tokenWeight1,
            uint32 swapFee
        );

    function setFeeTo(address) external;

    function setFeeToSetter(address) external;

    function setProtocolFee(uint256) external;
}

interface IValueLiquidPair {
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);

    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external pure returns (uint8);

    function totalSupply() external view returns (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool);

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

    function nonces(address owner) external view returns (uint256);

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    event PaidProtocolFee(uint112 collectedFee0, uint112 collectedFee1);
    event Mint(address indexed sender, uint256 amount0, uint256 amount1);
    event Burn(address indexed sender, uint256 amount0, uint256 amount1, address indexed to);
    event Swap(address indexed sender, uint256 amount0In, uint256 amount1In, uint256 amount0Out, uint256 amount1Out, address indexed to);
    event Sync(uint112 reserve0, uint112 reserve1);

    function MINIMUM_LIQUIDITY() external pure returns (uint256);

    function factory() external view returns (address);

    function token0() external view returns (address);

    function token1() external view returns (address);

    function getReserves()
        external
        view
        returns (
            uint112 reserve0,
            uint112 reserve1,
            uint32 blockTimestampLast
        );

    function getCollectedFees() external view returns (uint112 _collectedFee0, uint112 _collectedFee1);

    function getTokenWeights() external view returns (uint32 tokenWeight0, uint32 tokenWeight1);

    function getSwapFee() external view returns (uint32);

    function price0CumulativeLast() external view returns (uint256);

    function price1CumulativeLast() external view returns (uint256);

    function mint(address to) external returns (uint256 liquidity);

    function burn(address to) external returns (uint256 amount0, uint256 amount1);

    function swap(
        uint256 amount0Out,
        uint256 amount1Out,
        address to,
        bytes calldata data
    ) external;

    function skim(address to) external;

    function sync() external;

    function initialize(
        address,
        address,
        uint32,
        uint32
    ) external;
}

// SPDX-License-Identifier: SEE LICENSE IN LICENSE
/*
    Bancor Formula interface
*/
interface IValueLiquidFormula {
    function getReserveAndWeights(address pair, address tokenA)
        external
        view
        returns (
            address tokenB,
            uint256 reserveA,
            uint256 reserveB,
            uint32 tokenWeightA,
            uint32 tokenWeightB,
            uint32 swapFee
        );

    function getFactoryReserveAndWeights(
        address factory,
        address pair,
        address tokenA
    )
        external
        view
        returns (
            address tokenB,
            uint256 reserveA,
            uint256 reserveB,
            uint32 tokenWeightA,
            uint32 tokenWeightB,
            uint32 swapFee
        );

    function getAmountIn(
        uint256 amountOut,
        uint256 reserveIn,
        uint256 reserveOut,
        uint32 tokenWeightIn,
        uint32 tokenWeightOut,
        uint32 swapFee
    ) external view returns (uint256 amountIn);

    function getPairAmountIn(
        address pair,
        address tokenIn,
        uint256 amountOut
    ) external view returns (uint256 amountIn);

    function getAmountOut(
        uint256 amountIn,
        uint256 reserveIn,
        uint256 reserveOut,
        uint32 tokenWeightIn,
        uint32 tokenWeightOut,
        uint32 swapFee
    ) external view returns (uint256 amountOut);

    function getPairAmountOut(
        address pair,
        address tokenIn,
        uint256 amountIn
    ) external view returns (uint256 amountOut);

    function getAmountsIn(
        address tokenIn,
        address tokenOut,
        uint256 amountOut,
        address[] calldata path
    ) external view returns (uint256[] memory amounts);

    function getFactoryAmountsIn(
        address factory,
        address tokenIn,
        address tokenOut,
        uint256 amountOut,
        address[] calldata path
    ) external view returns (uint256[] memory amounts);

    function getAmountsOut(
        address tokenIn,
        address tokenOut,
        uint256 amountIn,
        address[] calldata path
    ) external view returns (uint256[] memory amounts);

    function getFactoryAmountsOut(
        address factory,
        address tokenIn,
        address tokenOut,
        uint256 amountIn,
        address[] calldata path
    ) external view returns (uint256[] memory amounts);

    function ensureConstantValue(
        uint256 reserve0,
        uint256 reserve1,
        uint256 balance0Adjusted,
        uint256 balance1Adjusted,
        uint32 tokenWeight0
    ) external view returns (bool);

    function getReserves(
        address pair,
        address tokenA,
        address tokenB
    ) external view returns (uint256 reserveA, uint256 reserveB);

    function getOtherToken(address pair, address tokenA) external view returns (address tokenB);

    function quote(
        uint256 amountA,
        uint256 reserveA,
        uint256 reserveB
    ) external pure returns (uint256 amountB);

    function sortTokens(address tokenA, address tokenB) external pure returns (address token0, address token1);

    function mintLiquidityFee(
        uint256 totalLiquidity,
        uint112 reserve0,
        uint112 reserve1,
        uint32 tokenWeight0,
        uint32 tokenWeight1,
        uint112 collectedFee0,
        uint112 collectedFee1
    ) external view returns (uint256 amount);
}

interface IValueLiquidERC20 {
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);

    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external pure returns (uint8);

    function totalSupply() external view returns (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool);

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

    function nonces(address owner) external view returns (uint256);

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;
}

// a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)
library SafeMath {
    function add(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }

    function sub(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x - y) <= x, "ds-math-sub-underflow");
    }

    function mul(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require(y == 0 || (z = x * y) / y == x, "ds-math-mul-overflow");
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256 c) {
        require(b > 0, "ds-math-division-by-zero");
        c = a / b;
    }
}

contract ValueLiquidERC20 is IValueLiquidERC20 {
    using SafeMath for uint256;

    string public name;
    string public symbol;
    uint8 public constant decimals = 18;
    uint256 public totalSupply;
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

    bytes32 public DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    mapping(address => uint256) public nonces;

    constructor() public {}

    function initialize(string memory _name, string memory _symbol) internal {
        name = _name;
        symbol = _symbol;
        uint256 chainId;
        assembly {
            chainId := chainid()
        }
        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                keccak256(bytes(_name)),
                keccak256(bytes("1")),
                chainId,
                address(this)
            )
        );
    }

    function _mint(address to, uint256 value) internal {
        totalSupply = totalSupply.add(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(address(0), to, value);
    }

    function _burn(address from, uint256 value) internal {
        balanceOf[from] = balanceOf[from].sub(value);
        totalSupply = totalSupply.sub(value);
        emit Transfer(from, address(0), value);
    }

    function _approve(
        address owner,
        address spender,
        uint256 value
    ) private {
        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(
        address from,
        address to,
        uint256 value
    ) private {
        balanceOf[from] = balanceOf[from].sub(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(from, to, value);
    }

    function approve(address spender, uint256 value) external returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transfer(address to, uint256 value) external returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool) {
        if (allowance[from][msg.sender] != uint256(-1)) {
            allowance[from][msg.sender] = allowance[from][msg.sender].sub(value);
        }
        _transfer(from, to, value);
        return true;
    }

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        require(deadline >= block.timestamp, "VLP: EXPIRED");
        bytes32 digest =
            keccak256(abi.encodePacked("\x19\x01", DOMAIN_SEPARATOR, keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline))));
        address recoveredAddress = ecrecover(digest, v, r, s);
        require(recoveredAddress != address(0) && recoveredAddress == owner, "VLP: INVALID_SIGNATURE");
        _approve(owner, spender, value);
    }
}

// a library for performing various math operations
library Math {
    function min(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = x < y ? x : y;
    }

    // babylonian method (https://en.wikipedia.org/wiki/Methods_of_computing_square_roots#Babylonian_method)
    function sqrt(uint256 y) internal pure returns (uint256 z) {
        if (y > 3) {
            z = y;
            uint256 x = y / 2 + 1;
            while (x < z) {
                z = x;
                x = (y / x + x) / 2;
            }
        } else if (y != 0) {
            z = 1;
        }
    }
}

// a library for handling binary fixed point numbers (https://en.wikipedia.org/wiki/Q_(number_format))
// range: [0, 2**112 - 1]
// resolution: 1 / 2**112
library UQ112x112 {
    uint224 constant Q112 = 2**112;

    // encode a uint112 as a UQ112x112
    function encode(uint112 y) internal pure returns (uint224 z) {
        z = uint224(y) * Q112; // never overflows
    }

    // divide a UQ112x112 by a uint112, returning a UQ112x112
    function uqdiv(uint224 x, uint112 y) internal pure returns (uint224 z) {
        z = x / uint224(y);
    }
}

interface IERC20 {
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);

    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);

    function totalSupply() external view returns (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint256 value
    ) external returns (bool);
}

interface IUniswapV2Callee {
    function uniswapV2Call(
        address sender,
        uint256 amount0,
        uint256 amount1,
        bytes calldata data
    ) external;
}

contract ValueLiquidPair is IValueLiquidPair, ValueLiquidERC20 {
    using SafeMath for uint256;
    using UQ112x112 for uint224;

    uint256 public constant MINIMUM_LIQUIDITY = 10**3;
    bytes4 private constant SELECTOR = bytes4(keccak256(bytes("transfer(address,uint256)")));

    address public factory;
    address public token0;
    address public token1;

    uint112 private reserve0; // uses single storage slot, accessible via getReserves
    uint112 private reserve1; // uses single storage slot, accessible via getReserves
    uint32 private blockTimestampLast; // uses single storage slot, accessible via getReserves
    uint256 public price0CumulativeLast;
    uint256 public price1CumulativeLast;
    uint256 private unlocked = 1;
    address public formula;

    uint112 private collectedFee0; // uses single storage slot, accessible via getReserves
    uint112 private collectedFee1; // uses single storage slot, accessible via getReserves
    uint32 private tokenWeight0;

    uint32 private swapFee;

    modifier lock() {
        require(unlocked == 1, "VLP: LOCKED");
        unlocked = 0;
        _;
        unlocked = 1;
    }

    function getReserves()
        public
        view
        returns (
            uint112 _reserve0,
            uint112 _reserve1,
            uint32 _blockTimestampLast
        )
    {
        _reserve0 = reserve0;
        _reserve1 = reserve1;
        _blockTimestampLast = blockTimestampLast;
    }

    function getCollectedFees() public view returns (uint112 _collectedFee0, uint112 _collectedFee1) {
        _collectedFee0 = collectedFee0;
        _collectedFee1 = collectedFee1;
    }

    function getTokenWeights() public view returns (uint32 _tokenWeight0, uint32 _tokenWeight1) {
        _tokenWeight0 = tokenWeight0;
        _tokenWeight1 = 100 - tokenWeight0;
    }

    function getSwapFee() public view returns (uint32 _swapFee) {
        _swapFee = swapFee;
    }

    function _safeTransfer(
        address token,
        address to,
        uint256 value
    ) private {
        (bool success, bytes memory data) = token.call(abi.encodeWithSelector(SELECTOR, to, value));
        require(success && (data.length == 0 || abi.decode(data, (bool))), "VLP: TRANSFER_FAILED");
    }

    constructor() public {
        factory = msg.sender;
    }

    // called once by the factory at time of deployment
    function initialize(
        address _token0,
        address _token1,
        uint32 _tokenWeight0,
        uint32 _swapFee
    ) external {
        require(msg.sender == factory, "VLP: FORBIDDEN");
        string memory _symbol0 = IERC20(_token0).symbol();
        string memory _symbol1 = IERC20(_token1).symbol();
        initialize(string(abi.encodePacked(_symbol0, "/", _symbol1, " Value LP")), string(abi.encodePacked(_symbol0, _symbol1)));
        // sufficient check
        token0 = _token0;
        token1 = _token1;
        tokenWeight0 = _tokenWeight0;
        swapFee = _swapFee;
        formula = IValueLiquidFactory(factory).formula();
    }

    // update reserves and, on the first call per block, price accumulators
    function _update(
        uint256 balance0,
        uint256 balance1,
        uint112 _reserve0,
        uint112 _reserve1
    ) private {
        uint32 _tokenWeight0 = tokenWeight0;
        require(balance0 * (100 - _tokenWeight0) <= uint112(-1) && balance1 * _tokenWeight0 <= uint112(-1), "VLP: OVERFLOW");
        uint32 blockTimestamp = uint32(block.timestamp % 2**32);
        uint32 timeElapsed = blockTimestamp - blockTimestampLast;
        // overflow is desired
        if (timeElapsed > 0 && _reserve0 != 0 && _reserve1 != 0) {
            // * never overflows, and + overflow is desired
            uint112 mReserve0 = _reserve0 * (100 - _tokenWeight0);
            uint112 mReserve1 = _reserve1 * _tokenWeight0;
            price0CumulativeLast += uint256(UQ112x112.encode(mReserve1).uqdiv(mReserve0)) * timeElapsed;
            price1CumulativeLast += uint256(UQ112x112.encode(mReserve0).uqdiv(mReserve1)) * timeElapsed;
        }
        reserve0 = uint112(balance0);
        reserve1 = uint112(balance1);
        blockTimestampLast = blockTimestamp;
        emit Sync(reserve0, reserve1);
    }

    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IValueLiquidFactory(factory).feeTo();
        uint112 protocolFee = uint112(IValueLiquidFactory(factory).protocolFee());
        feeOn = feeTo != address(0);
        (uint112 _collectedFee0, uint112 _collectedFee1) = getCollectedFees();
        if (protocolFee > 0 && feeOn && (_collectedFee0 > 0 || _collectedFee1 > 0)) {
            uint32 _tokenWeight0 = tokenWeight0;
            uint256 liquidity =
                IValueLiquidFormula(formula).mintLiquidityFee(
                    totalSupply,
                    _reserve0,
                    _reserve1,
                    _tokenWeight0,
                    100 - _tokenWeight0,
                    _collectedFee0 / protocolFee,
                    _collectedFee1 / protocolFee
                );
            if (liquidity > 0) _mint(feeTo, liquidity);
        }
        if (_collectedFee0 > 0) collectedFee0 = 0;
        if (_collectedFee1 > 0) collectedFee1 = 0;
    }

    // this low-level function should be called from a contract which performs important safety checks
    function mint(address to) external lock returns (uint256 liquidity) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        uint256 balance0 = IERC20(token0).balanceOf(address(this));
        uint256 balance1 = IERC20(token1).balanceOf(address(this));
        uint256 amount0 = balance0.sub(_reserve0);
        uint256 amount1 = balance1.sub(_reserve1);
        _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply;
        // gas savings, must be defined here since totalSupply can update in _mintFee
        if (_totalSupply == 0) {
            liquidity = Math.sqrt(amount0.mul(amount1)).sub(MINIMUM_LIQUIDITY);
            _mint(address(0), MINIMUM_LIQUIDITY);
            // permanently lock the first MINIMUM_LIQUIDITY tokens
        } else {
            liquidity = Math.min(amount0.mul(_totalSupply) / _reserve0, amount1.mul(_totalSupply) / _reserve1);
        }
        require(liquidity > 0, "VLP: INSUFFICIENT_LIQUIDITY_MINTED");
        _mint(to, liquidity);

        _update(balance0, balance1, _reserve0, _reserve1);
        emit Mint(msg.sender, amount0, amount1);
    }

    // this low-level function should be called from a contract which performs important safety checks
    function burn(address to) external lock returns (uint256 amount0, uint256 amount1) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        uint256 balance0 = IERC20(_token0).balanceOf(address(this));
        uint256 balance1 = IERC20(_token1).balanceOf(address(this));
        uint256 liquidity = balanceOf[address(this)];
        _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        amount0 = liquidity.mul(balance0) / _totalSupply; // using balances ensures pro-rata distribution
        amount1 = liquidity.mul(balance1) / _totalSupply; // using balances ensures pro-rata distribution
        require(amount0 > 0 && amount1 > 0, "VLP: INSUFFICIENT_LIQUIDITY_BURNED");
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IERC20(_token0).balanceOf(address(this));
        balance1 = IERC20(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        emit Burn(msg.sender, amount0, amount1, to);
    }

    // this low-level function should be called from a contract which performs important safety checks
    function swap(
        uint256 amount0Out,
        uint256 amount1Out,
        address to,
        bytes calldata data
    ) external lock {
        require(amount0Out > 0 || amount1Out > 0, "VLP: INSUFFICIENT_OUTPUT_AMOUNT");
        uint112 _reserve0 = reserve0; // gas savings
        uint112 _reserve1 = reserve1; // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, "VLP: INSUFFICIENT_LIQUIDITY");

        uint256 balance0;
        uint256 balance1;
        {
            // scope for _token{0,1}, avoids stack too deep errors
            address _token0 = token0;
            address _token1 = token1;
            require(to != _token0 && to != _token1, "VLP: INVALID_TO");
            if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out); // optimistically transfer tokens
            if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out); // optimistically transfer tokens
            if (data.length > 0) IUniswapV2Callee(to).uniswapV2Call(msg.sender, amount0Out, amount1Out, data);
            balance0 = IERC20(_token0).balanceOf(address(this));
            balance1 = IERC20(_token1).balanceOf(address(this));
        }
        uint256 amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
        uint256 amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
        require(amount0In > 0 || amount1In > 0, "VLP: INSUFFICIENT_INPUT_AMOUNT");
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint256 balance0Adjusted = balance0.mul(1000);
            uint256 balance1Adjusted = balance1.mul(1000);
            {
                // avoids stack too deep errors
                if (amount0In > 0) {
                    uint256 amount0InFee = amount0In.mul(swapFee);
                    balance0Adjusted = balance0Adjusted.sub(amount0InFee);
                    collectedFee0 = uint112(uint256(collectedFee0).add(amount0InFee));
                }
                if (amount1In > 0) {
                    uint256 amount1InFee = amount1In.mul(swapFee);
                    balance1Adjusted = balance1Adjusted.sub(amount1InFee);
                    collectedFee1 = uint112(uint256(collectedFee1).add(amount1InFee));
                }
                uint32 _tokenWeight0 = tokenWeight0; // gas savings
                if (_tokenWeight0 == 50) {
                    // gas savings for pair 50/50
                    require(balance0Adjusted.mul(balance1Adjusted) >= uint256(_reserve0).mul(_reserve1).mul(1000**2), "VLP: K");
                } else {
                    require(
                        IValueLiquidFormula(formula).ensureConstantValue(
                            uint256(_reserve0).mul(1000),
                            uint256(_reserve1).mul(1000),
                            balance0Adjusted,
                            balance1Adjusted,
                            _tokenWeight0
                        ),
                        "VLP: K"
                    );
                }
            }
        }
        _update(balance0, balance1, _reserve0, _reserve1);
        emit Swap(msg.sender, amount0In, amount1In, amount0Out, amount1Out, to);
    }

    // force balances to match reserves
    function skim(address to) external lock {
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        _safeTransfer(_token0, to, IERC20(_token0).balanceOf(address(this)).sub(reserve0));
        _safeTransfer(_token1, to, IERC20(_token1).balanceOf(address(this)).sub(reserve1));
    }

    // force reserves to match balances
    function sync() external lock {
        _update(IERC20(token0).balanceOf(address(this)), IERC20(token1).balanceOf(address(this)), reserve0, reserve1);
    }
}

contract ValueLiquidFactory is IValueLiquidFactory {
    address public feeTo;
    address public formula;
    uint256 public protocolFee;
    address public feeToSetter;

    mapping(bytes32 => address) private _pairSalts;
    address[] public allPairs;
    mapping(address => uint64) private _pairs;

    constructor(address _feeToSetter, address _formula) public {
        feeToSetter = _feeToSetter;
        formula = _formula;
    }

    function isPair(address b) external view returns (bool) {
        return _pairs[b] > 0;
    }

    function allPairsLength() external view returns (uint256) {
        return allPairs.length;
    }

    function getPair(
        address tokenA,
        address tokenB,
        uint32 tokenWeightA,
        uint32 swapFee
    ) external view returns (address pair) {
        (address token0, address token1, uint32 tokenWeight0) = tokenA < tokenB ? (tokenA, tokenB, tokenWeightA) : (tokenB, tokenA, 100 - tokenWeightA);
        bytes32 salt = keccak256(abi.encodePacked(token0, token1, tokenWeight0, swapFee));
        pair = _pairSalts[salt];
    }

    function createPair(
        address tokenA,
        address tokenB,
        uint32 tokenWeightA,
        uint32 swapFee
    ) external returns (address pair) {
        require(tokenA != tokenB, "VLP: IDENTICAL_ADDRESSES");
        require(tokenWeightA >= 2 && tokenWeightA <= 98 && (tokenWeightA % 2) == 0, "VLP: INVALID_TOKEN_WEIGHT");
        // Minimum swap fee is 0.03%  & Maximum swap fee is 10%
        require(swapFee >= 3 && swapFee <= 100, "VLP: INVALID_SWAP_FEE");
        (address token0, address token1, uint32 tokenWeight0) = tokenA < tokenB ? (tokenA, tokenB, tokenWeightA) : (tokenB, tokenA, 100 - tokenWeightA);
        require(token0 != address(0), "VLP: ZERO_ADDRESS");
        // single check is sufficient
        bytes memory bytecode = type(ValueLiquidPair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1, tokenWeight0, swapFee));
        require(_pairSalts[salt] == address(0), "VLP: PAIR_EXISTS");
        assembly {
            pair := create2(0, add(bytecode, 32), mload(bytecode), salt)
        }
        IValueLiquidPair(pair).initialize(token0, token1, tokenWeight0, swapFee);
        _pairSalts[salt] = address(pair);
        allPairs.push(pair);
        uint64 weightAndFee = uint64(swapFee);
        weightAndFee |= uint64(tokenWeight0) << 32;
        _pairs[address(pair)] = weightAndFee;
        emit PairCreated(token0, token1, pair, tokenWeight0, swapFee, allPairs.length);
    }

    function setFeeTo(address _feeTo) external {
        require(msg.sender == feeToSetter, "VLP: FORBIDDEN");
        feeTo = _feeTo;
    }

    function setFeeToSetter(address _feeToSetter) external {
        require(msg.sender == feeToSetter, "VLP: FORBIDDEN");
        feeToSetter = _feeToSetter;
    }

    function setProtocolFee(uint256 _protocolFee) external {
        require(msg.sender == feeToSetter, "VLP: FORBIDDEN");
        require(_protocolFee == 0 || (_protocolFee >= 2000 && _protocolFee <= 10000), "VLP: Invalid Protocol fee");
        protocolFee = _protocolFee;
    }

    function getWeightsAndSwapFee(address pair)
        public
        view
        returns (
            uint32 tokenWeight0,
            uint32 tokenWeight1,
            uint32 swapFee
        )
    {
        uint64 weightAndFee = _pairs[pair];
        if (weightAndFee > 0) {
            swapFee = uint32(weightAndFee);
            tokenWeight0 = uint32(weightAndFee >> 32);
            tokenWeight1 = 100 - tokenWeight0;
        } else {
            return (50, 50, 3);
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_feeToSetter","type":"address"},{"internalType":"address","name":"_formula","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token0","type":"address"},{"indexed":true,"internalType":"address","name":"token1","type":"address"},{"indexed":false,"internalType":"address","name":"pair","type":"address"},{"indexed":false,"internalType":"uint32","name":"tokenWeight0","type":"uint32"},{"indexed":false,"internalType":"uint32","name":"swapFee","type":"uint32"},{"indexed":false,"internalType":"uint256","name":"","type":"uint256"}],"name":"PairCreated","type":"event"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"allPairs","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"allPairsLength","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"tokenA","type":"address"},{"internalType":"address","name":"tokenB","type":"address"},{"internalType":"uint32","name":"tokenWeightA","type":"uint32"},{"internalType":"uint32","name":"swapFee","type":"uint32"}],"name":"createPair","outputs":[{"internalType":"address","name":"pair","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"feeTo","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"feeToSetter","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"formula","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"tokenA","type":"address"},{"internalType":"address","name":"tokenB","type":"address"},{"internalType":"uint32","name":"tokenWeightA","type":"uint32"},{"internalType":"uint32","name":"swapFee","type":"uint32"}],"name":"getPair","outputs":[{"internalType":"address","name":"pair","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"pair","type":"address"}],"name":"getWeightsAndSwapFee","outputs":[{"internalType":"uint32","name":"tokenWeight0","type":"uint32"},{"internalType":"uint32","name":"tokenWeight1","type":"uint32"},{"internalType":"uint32","name":"swapFee","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"b","type":"address"}],"name":"isPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"protocolFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_feeTo","type":"address"}],"name":"setFeeTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_feeToSetter","type":"address"}],"name":"setFeeToSetter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_protocolFee","type":"uint256"}],"name":"setProtocolFee","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50604051614a6b380380614a6b8339818101604052604081101561003357600080fd5b508051602090910151600380546001600160a01b039384166001600160a01b031991821617909155600180549390921692169190911790556149f18061007a6000396000f3fe608060405234801561001057600080fd5b50600436106100df5760003560e01c8063787dce3d1161008c578063bfd63f4d11610066578063bfd63f4d14610207578063ca22297914610258578063e5e31b13146102b3578063f46901ed146102fa576100df565b8063787dce3d146101ad578063a2e74af6146101cc578063b0e21e8a146101ff576100df565b80631e3dd18b116100bd5780631e3dd18b1461016e5780634b75f54f1461018b578063574f2ba314610193576100df565b8063017e7e58146100e4578063094b74151461011557806314572adb1461011d575b600080fd5b6100ec61032d565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6100ec610349565b6100ec6004803603608081101561013357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516610365565b6100ec6004803603602081101561018457600080fd5b5035610a1e565b6100ec610a52565b61019b610a6e565b60408051918252519081900360200190f35b6101ca600480360360208110156101c357600080fd5b5035610a74565b005b6101ca600480360360208110156101e257600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610b86565b61019b610c53565b6100ec6004803603608081101561021d57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516610c59565b61028b6004803603602081101561026e57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610d65565b6040805163ffffffff9485168152928416602084015292168183015290519081900360600190f35b6102e6600480360360208110156102c957600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610dd8565b604080519115158252519081900360200190f35b6101ca6004803603602081101561031057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e0c565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60035473ffffffffffffffffffffffffffffffffffffffff1681565b60008373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16141561040257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f564c503a204944454e544943414c5f4144445245535345530000000000000000604482015290519081900360640190fd5b60028363ffffffff1610158015610420575060628363ffffffff1611155b801561042d575060018316155b61049857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f564c503a20494e56414c49445f544f4b454e5f57454947485400000000000000604482015290519081900360640190fd5b60038263ffffffff16101580156104b6575060648263ffffffff1611155b61052157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f564c503a20494e56414c49445f535741505f4645450000000000000000000000604482015290519081900360640190fd5b60008060008673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff161061056457868887606403610568565b8787875b9194509250905073ffffffffffffffffffffffffffffffffffffffff83166105f157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f564c503a205a45524f5f41444452455353000000000000000000000000000000604482015290519081900360640190fd5b60606040518060200161060390610ed9565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe082820381018352601f9091011660408181527fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606088811b82166020858101919091529088901b90911660348401527fffffffff0000000000000000000000000000000000000000000000000000000060e087811b821660488601528b901b16604c8401528151603081850301815260509093018252825192810192909220600081815260049093529120549192509073ffffffffffffffffffffffffffffffffffffffff161561075657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f564c503a20504149525f45584953545300000000000000000000000000000000604482015290519081900360640190fd5b808251602084016000f5604080517fd0f6957900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8881166004830152878116602483015263ffffffff80881660448401528b16606483015291519298509088169163d0f695799160848082019260009290919082900301818387803b1580156107f057600080fd5b505af1158015610804573d6000803e3d6000fd5b50505050856004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060058690806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505060008763ffffffff16905060208463ffffffff1667ffffffffffffffff16901b8117905080600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167f41f8736f924f57e464ededb08bf71f868f9d142885bbc73a1516db2be21fc42889878c600580549050604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018463ffffffff1663ffffffff1681526020018363ffffffff1663ffffffff16815260200182815260200194505050505060405180910390a3505050505050949350505050565b60058181548110610a2b57fe5b60009182526020909120015473ffffffffffffffffffffffffffffffffffffffff16905081565b60015473ffffffffffffffffffffffffffffffffffffffff1681565b60055490565b60035473ffffffffffffffffffffffffffffffffffffffff163314610afa57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b801580610b1657506107d08110158015610b1657506127108111155b610b8157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f564c503a20496e76616c69642050726f746f636f6c2066656500000000000000604482015290519081900360640190fd5b600255565b60035473ffffffffffffffffffffffffffffffffffffffff163314610c0c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b600380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60025481565b6000806000808673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff1610610c9d57868887606403610ca1565b8787875b604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606095861b81166020808401919091529490951b90941660348501527fffffffff0000000000000000000000000000000000000000000000000000000060e092831b811660488601529890911b909716604c830152865160308184030181526050909201875281519181019190912060009081526004909152949094205473ffffffffffffffffffffffffffffffffffffffff16979650505050505050565b73ffffffffffffffffffffffffffffffffffffffff81166000908152600660205260408120548190819067ffffffffffffffff168015610dbe5780915060208167ffffffffffffffff16901c9350836064039250610dcf565b506032925082915060039050610dd1565b505b9193909250565b73ffffffffffffffffffffffffffffffffffffffff1660009081526006602052604090205467ffffffffffffffff16151590565b60035473ffffffffffffffffffffffffffffffffffffffff163314610e9257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b613ad680610ee78339019056fe60806040526001600d5534801561001557600080fd5b50600780546001600160a01b03191633179055613a9f806100376000396000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c45a0155116100a2578063d505accf11610071578063d505accf14610665578063d54a8d18146106c3578063dd62ed3e146106f8578063fff6cae914610733576101da565b8063c45a0155146105e3578063d0f69579146105eb578063d21220a71461063c578063d4cadf6814610644576101da565b806395d89b41116100de57806395d89b4114610567578063a9059cbb1461056f578063ba9a7a56146105a8578063bc25cf77146105b0576101da565b806370a08231146104b55780637ecebe00146104e857806389afcb441461051b576101da565b806330adf81f1161017c5780634b75f54f1161014b5780634b75f54f1461046a5780635909c0d5146104725780635a3d54931461047a5780636a62784214610482576101da565b806330adf81f14610411578063313ce5671461041957806332bfe469146104375780633644e51514610462576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b50909250905061073b565b005b6102826110fd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff6111a9565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111fe565b604080519115158252519081900360200190f35b61038b611215565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc611231565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135611237565b6103bc611316565b61042161133a565b6040805160ff9092168252519081900360200190f35b61043f61133f565b6040805163ffffffff938416815291909216602082015281519081900390910190f35b6103bc611371565b61038b611377565b6103bc611393565b6103bc611399565b6103bc6004803603602081101561049857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661139f565b6103bc600480360360208110156104cb57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661171e565b6103bc600480360360208110156104fe57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611730565b61054e6004803603602081101561053157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611742565b6040805192835260208301919091528051918290030190f35b610282611b9a565b61036f6004803603604081101561058557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611c12565b6103bc611c1f565b610278600480360360208110156105c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c25565b61038b611e1b565b6102786004803603608081101561060157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516611e37565b61038b612560565b61064c61257c565b6040805163ffffffff9092168252519081900360200190f35b610278600480360360e081101561067b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135612588565b6106cb612854565b604080516dffffffffffffffffffffffffffff938416815291909216602082015281519081900390910190f35b6103bc6004803603604081101561070e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516612881565b61027861289e565b600d546001146107ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55841515806107bf5750600084115b61082a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f564c503a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600a546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041681871080156108715750806dffffffffffffffffffffffffffff1686105b6108dc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f564c503a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b600854600954600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061094157508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6109ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f564c503a20494e56414c49445f544f0000000000000000000000000000000000604482015290519081900360640190fd5b8a156109bd576109bd828a8d612a84565b89156109ce576109ce818a8c612a84565b8615610ab0578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610a9757600080fd5b505af1158015610aab573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610b1c57600080fd5b505afa158015610b30573d6000803e3d6000fd5b505050506040513d6020811015610b4657600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610bb857600080fd5b505afa158015610bcc573d6000803e3d6000fd5b505050506040513d6020811015610be257600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610c0c576000610c22565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610c46576000610c5c565b89856dffffffffffffffffffffffffffff160383035b90506000821180610c6d5750600081115b610cd857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f564c503a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610cec856103e863ffffffff612c9116565b90506000610d02856103e863ffffffff612c9116565b90508315610d9e57601054600090610d2590869063ffffffff90811690612c9116565b9050610d37838263ffffffff612d1716565b600f54909350610d5d906dffffffffffffffffffffffffffff168263ffffffff612d8916565b600f80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff92909216919091179055505b8215610e3957601054600090610dbf90859063ffffffff90811690612c9116565b9050610dd1828263ffffffff612d1716565b600f54909250610e03906e01000000000000000000000000000090046dffffffffffffffffffffffffffff1682612d89565b600f600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550505b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff166032811415610f2357610ea1620f4240610e956dffffffffffffffffffffffffffff8c8116908c1663ffffffff612c9116565b9063ffffffff612c9116565b610eb1848463ffffffff612c9116565b1015610f1e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b61107b565b600e5473ffffffffffffffffffffffffffffffffffffffff166379c91b37610f636dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b610f856dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b8686866040518663ffffffff1660e01b8152600401808681526020018581526020018481526020018381526020018263ffffffff1663ffffffff1681526020019550505050505060206040518083038186803b158015610fe457600080fd5b505afa158015610ff8573d6000803e3d6000fd5b505050506040513d602081101561100e57600080fd5b505161107b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b50505061108a84848888612dfb565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6000805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b820191906000526020600020905b81548152906001019060200180831161118457829003601f168201915b505050505081565b600a546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b600061120b338484613107565b5060015b92915050565b60085473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146113015773ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020546112cf908363ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff851660009081526004602090815260408083203384529091529020555b61130c848484613176565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690606482900390565b60055481565b600e5473ffffffffffffffffffffffffffffffffffffffff1681565b600b5481565b600c5481565b6000600d5460011461141257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114226111a9565b50600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561149c57600080fd5b505afa1580156114b0573d6000803e3d6000fd5b505050506040513d60208110156114c657600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561153f57600080fd5b505afa158015611553573d6000803e3d6000fd5b505050506040513d602081101561156957600080fd5b50519050600061158f836dffffffffffffffffffffffffffff871663ffffffff612d1716565b905060006115b3836dffffffffffffffffffffffffffff871663ffffffff612d1716565b90506115bf8686613257565b5060025480611606576115f26103e86115e66115e1868663ffffffff612c9116565b613611565b9063ffffffff612d1716565b975061160160006103e8613663565b611663565b6116606dffffffffffffffffffffffffffff881661162a858463ffffffff612c9116565b8161163157fe5b046dffffffffffffffffffffffffffff8816611653858563ffffffff612c9116565b8161165a57fe5b04613714565b97505b600088116116bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806139d56022913960400191505060405180910390fd5b6116c68989613663565b6116d285858989612dfb565b6040805184815260208101849052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d55509395945050505050565b60036020526000908152604090205481565b60066020526000908152604090205481565b600080600d546001146117b657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806117c66111a9565b50600854600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561184857600080fd5b505afa15801561185c573d6000803e3d6000fd5b505050506040513d602081101561187257600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156118e657600080fd5b505afa1580156118fa573d6000803e3d6000fd5b505050506040513d602081101561191057600080fd5b50513060009081526003602052604090205490915061192f8787613257565b5060025480611944838663ffffffff612c9116565b8161194b57fe5b0499508061195f838563ffffffff612c9116565b8161196657fe5b04985060008a1180156119795750600089115b6119ce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613a496022913960400191505060405180910390fd5b6119d8308361372c565b6119e3868c8c612a84565b6119ee858c8b612a84565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8816916370a08231916024808301926020929190829003018186803b158015611a5a57600080fd5b505afa158015611a6e573d6000803e3d6000fd5b505050506040513d6020811015611a8457600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8716916370a0823191602480820192602092909190829003018186803b158015611af657600080fd5b505afa158015611b0a573d6000803e3d6000fd5b505050506040513d6020811015611b2057600080fd5b50519250611b3084848a8a612dfb565b604080518b8152602081018b9052815173ffffffffffffffffffffffffffffffffffffffff8e169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a350505050505050506001600d81905550915091565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b600061120b338484613176565b6103e881565b600d54600114611c9657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854600954600a54604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611d729285928792611d6d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b505afa158015611d49573d6000803e3d6000fd5b505050506040513d6020811015611d5f57600080fd5b50519063ffffffff612d1716565b612a84565b600a54604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e119284928792611d6d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b50506001600d5550565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff163314611ebd57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b60608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b158015611f0557600080fd5b505afa158015611f19573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526020811015611f6057600080fd5b8101908080516040519392919084640100000000821115611f8057600080fd5b908301906020820185811115611f9557600080fd5b8251640100000000811182820188101715611faf57600080fd5b82525081516020918201929091019080838360005b83811015611fdc578181015183820152602001611fc4565b50505050905090810190601f1680156120095780820380516001836020036101000a031916815260200191505b50604052505050905060608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561205a57600080fd5b505afa15801561206e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405260208110156120b557600080fd5b81019080805160405193929190846401000000008211156120d557600080fd5b9083019060208201858111156120ea57600080fd5b825164010000000081118282018810171561210457600080fd5b82525081516020918201929091019080838360005b83811015612131578181015183820152602001612119565b50505050905090810190601f16801561215e5780820380516001836020036101000a031916815260200191505b5060405250505090506123bc82826040516020018083805190602001908083835b602083106121bc57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161217f565b6001836020036101000a038019825116818451168082178552505050505050905001807f2f0000000000000000000000000000000000000000000000000000000000000081525060010182805190602001908083835b6020831061224f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612212565b6001836020036101000a038019825116818451168082178552505050505050905001807f2056616c7565204c5000000000000000000000000000000000000000000000008152506009019250505060405160208183030381529060405283836040516020018083805190602001908083835b602083106122fe57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016122c1565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018019909216911617905285519190930192850191508083835b6020831061238257805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612345565b6001836020036101000a038019825116818451168082178552505050505050905001925050506040516020818303038152906040526137f0565b6008805473ffffffffffffffffffffffffffffffffffffffff8089167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600980548884169216919091179055600f805463ffffffff8088167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff90921691909117909155601080549186167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000909216919091179055600754604080517f4b75f54f00000000000000000000000000000000000000000000000000000000815290519190921691634b75f54f916004808301926020929190829003018186803b1580156124e857600080fd5b505afa1580156124fc573d6000803e3d6000fd5b505050506040513d602081101561251257600080fd5b5051600e80547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff909216919091179055505050505050565b60095473ffffffffffffffffffffffffffffffffffffffff1681565b60105463ffffffff1690565b428410156125f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f564c503a20455850495245440000000000000000000000000000000000000000604482015290519081900360640190fd5b60055473ffffffffffffffffffffffffffffffffffffffff80891660008181526006602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015612758573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906127d357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61283e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f564c503a20494e56414c49445f5349474e415455524500000000000000000000604482015290519081900360640190fd5b612849898989613107565b505050505050505050565b600f546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000009092041690565b600460209081526000928352604080842090915290825290205481565b600d5460011461290f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051612a7d9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561298657600080fd5b505afa15801561299a573d6000803e3d6000fd5b505050506040513d60208110156129b057600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015612a2357600080fd5b505afa158015612a37573d6000803e3d6000fd5b505050506040513d6020811015612a4d57600080fd5b5051600a546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612dfb565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b60208310612b8a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612b4d565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612bec576040519150601f19603f3d011682016040523d82523d6000602084013e612bf1565b606091505b5091509150818015612c1f575080511580612c1f5750808060200190516020811015612c1c57600080fd5b50515b612c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f564c503a205452414e534645525f4641494c4544000000000000000000000000604482015290519081900360640190fd5b5050505050565b6000811580612cac57505080820282828281612ca957fe5b04145b61120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b8082038281111561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b8082018281101561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b600f5463ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116906dffffffffffffffffffffffffffff6064839003909116860211801590612e6457506dffffffffffffffffffffffffffff63ffffffff8216850211155b612ecf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f564c503a204f564552464c4f5700000000000000000000000000000000000000604482015290519081900360640190fd5b600a5463ffffffff428116917c010000000000000000000000000000000000000000000000000000000090048116820390811615801590612f1f57506dffffffffffffffffffffffffffff851615155b8015612f3a57506dffffffffffffffffffffffffffff841615155b15612ffc5763ffffffff606484900381168602908085168602908316612f8d83612f63846138d4565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff6138f816565b600b80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8316612fcd82612f63856138d4565b600c80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905550505b600a80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff898116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008983168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a150505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260409020546131ac908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff80851660009081526003602052604080822093909355908416815220546131ee908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156132c257600080fd5b505afa1580156132d6573d6000803e3d6000fd5b505050506040513d60208110156132ec57600080fd5b5051600754604080517fb0e21e8a000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163b0e21e8a91600480820192602092909190829003018186803b15801561335f57600080fd5b505afa158015613373573d6000803e3d6000fd5b505050506040513d602081101561338957600080fd5b505173ffffffffffffffffffffffffffffffffffffffff83161515935090506000806133b3612854565b915091506000836dffffffffffffffffffffffffffff161180156133d45750845b801561340a57506000826dffffffffffffffffffffffffffff16118061340a57506000816dffffffffffffffffffffffffffff16115b1561358957600f54600e546002547c010000000000000000000000000000000000000000000000000000000090920463ffffffff169160009173ffffffffffffffffffffffffffffffffffffffff16906392aec23c908b8b8660648190036dffffffffffffffffffffffffffff8c8116908c168161348457fe5b048c6dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16816134ae57fe5b6040805160e08b901b7fffffffff0000000000000000000000000000000000000000000000000000000016815260048101999099526dffffffffffffffffffffffffffff97881660248a0152958716604489015263ffffffff9485166064890152929093166084870152841660a48601520490911660c48301525160e4808301926020929190829003018186803b15801561354857600080fd5b505afa15801561355c573d6000803e3d6000fd5b505050506040513d602081101561357257600080fd5b505190508015613586576135868682613663565b50505b6dffffffffffffffffffffffffffff8216156135c857600f80547fffffffffffffffffffffffffffffffffffff00000000000000000000000000001690555b6dffffffffffffffffffffffffffff81161561360757600f80547fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff1690555b5050505092915050565b60006003821115613654575080600160028204015b8181101561364e5780915060028182858161363d57fe5b04018161364657fe5b049050613626565b5061365e565b811561365e575060015b919050565b600254613676908263ffffffff612d8916565b60025573ffffffffffffffffffffffffffffffffffffffff82166000908152600360205260409020546136af908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106137235781613725565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260036020526040902054613762908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602052604090205560025461379b908263ffffffff612d1716565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b8151613803906000906020850190613939565b508051613817906001906020840190613939565b5060405146908060526139f782396040805191829003605201822086516020978801208383018352600184527f310000000000000000000000000000000000000000000000000000000000000093880193909352815180880191909152808201929092527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606083015260808201939093523060a0808301919091528351808303909101815260c090910190925250805192019190912060055550565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff84168161393157fe5b049392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061397a57805160ff19168380011785556139a7565b828001600101855582156139a7579182015b828111156139a757825182559160200191906001019061398c565b506139b39291506139b7565b5090565b6139d191905b808211156139b357600081556001016139bd565b9056fe564c503a20494e53554646494349454e545f4c49515549444954595f4d494e544544454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429564c503a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820a28b4a38e9ffed776a23acdfef996c83183d99db1de0c69542a54e8fcba308ee64736f6c63430005110032a265627a7a7231582096b3ebfcdea394cc9717970794af306c55956f9eb470aa3aa9aeacf54674f2ad64736f6c634300051100320000000000000000000000007be4d5a99c903c437ec77a20cb6d0688cbb73c7f000000000000000000000000d989212c51ba850a1787ce4c666eb44a170cc415

0x608060405234801561001057600080fd5b50600436106100df5760003560e01c8063787dce3d1161008c578063bfd63f4d11610066578063bfd63f4d14610207578063ca22297914610258578063e5e31b13146102b3578063f46901ed146102fa576100df565b8063787dce3d146101ad578063a2e74af6146101cc578063b0e21e8a146101ff576100df565b80631e3dd18b116100bd5780631e3dd18b1461016e5780634b75f54f1461018b578063574f2ba314610193576100df565b8063017e7e58146100e4578063094b74151461011557806314572adb1461011d575b600080fd5b6100ec61032d565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6100ec610349565b6100ec6004803603608081101561013357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516610365565b6100ec6004803603602081101561018457600080fd5b5035610a1e565b6100ec610a52565b61019b610a6e565b60408051918252519081900360200190f35b6101ca600480360360208110156101c357600080fd5b5035610a74565b005b6101ca600480360360208110156101e257600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610b86565b61019b610c53565b6100ec6004803603608081101561021d57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516610c59565b61028b6004803603602081101561026e57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610d65565b6040805163ffffffff9485168152928416602084015292168183015290519081900360600190f35b6102e6600480360360208110156102c957600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610dd8565b604080519115158252519081900360200190f35b6101ca6004803603602081101561031057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e0c565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60035473ffffffffffffffffffffffffffffffffffffffff1681565b60008373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16141561040257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f564c503a204944454e544943414c5f4144445245535345530000000000000000604482015290519081900360640190fd5b60028363ffffffff1610158015610420575060628363ffffffff1611155b801561042d575060018316155b61049857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f564c503a20494e56414c49445f544f4b454e5f57454947485400000000000000604482015290519081900360640190fd5b60038263ffffffff16101580156104b6575060648263ffffffff1611155b61052157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f564c503a20494e56414c49445f535741505f4645450000000000000000000000604482015290519081900360640190fd5b60008060008673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff161061056457868887606403610568565b8787875b9194509250905073ffffffffffffffffffffffffffffffffffffffff83166105f157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f564c503a205a45524f5f41444452455353000000000000000000000000000000604482015290519081900360640190fd5b60606040518060200161060390610ed9565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe082820381018352601f9091011660408181527fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606088811b82166020858101919091529088901b90911660348401527fffffffff0000000000000000000000000000000000000000000000000000000060e087811b821660488601528b901b16604c8401528151603081850301815260509093018252825192810192909220600081815260049093529120549192509073ffffffffffffffffffffffffffffffffffffffff161561075657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f564c503a20504149525f45584953545300000000000000000000000000000000604482015290519081900360640190fd5b808251602084016000f5604080517fd0f6957900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8881166004830152878116602483015263ffffffff80881660448401528b16606483015291519298509088169163d0f695799160848082019260009290919082900301818387803b1580156107f057600080fd5b505af1158015610804573d6000803e3d6000fd5b50505050856004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060058690806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505060008763ffffffff16905060208463ffffffff1667ffffffffffffffff16901b8117905080600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167f41f8736f924f57e464ededb08bf71f868f9d142885bbc73a1516db2be21fc42889878c600580549050604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018463ffffffff1663ffffffff1681526020018363ffffffff1663ffffffff16815260200182815260200194505050505060405180910390a3505050505050949350505050565b60058181548110610a2b57fe5b60009182526020909120015473ffffffffffffffffffffffffffffffffffffffff16905081565b60015473ffffffffffffffffffffffffffffffffffffffff1681565b60055490565b60035473ffffffffffffffffffffffffffffffffffffffff163314610afa57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b801580610b1657506107d08110158015610b1657506127108111155b610b8157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f564c503a20496e76616c69642050726f746f636f6c2066656500000000000000604482015290519081900360640190fd5b600255565b60035473ffffffffffffffffffffffffffffffffffffffff163314610c0c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b600380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60025481565b6000806000808673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff1610610c9d57868887606403610ca1565b8787875b604080517fffffffffffffffffffffffffffffffffffffffff000000000000000000000000606095861b81166020808401919091529490951b90941660348501527fffffffff0000000000000000000000000000000000000000000000000000000060e092831b811660488601529890911b909716604c830152865160308184030181526050909201875281519181019190912060009081526004909152949094205473ffffffffffffffffffffffffffffffffffffffff16979650505050505050565b73ffffffffffffffffffffffffffffffffffffffff81166000908152600660205260408120548190819067ffffffffffffffff168015610dbe5780915060208167ffffffffffffffff16901c9350836064039250610dcf565b506032925082915060039050610dd1565b505b9193909250565b73ffffffffffffffffffffffffffffffffffffffff1660009081526006602052604090205467ffffffffffffffff16151590565b60035473ffffffffffffffffffffffffffffffffffffffff163314610e9257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b613ad680610ee78339019056fe60806040526001600d5534801561001557600080fd5b50600780546001600160a01b03191633179055613a9f806100376000396000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c45a0155116100a2578063d505accf11610071578063d505accf14610665578063d54a8d18146106c3578063dd62ed3e146106f8578063fff6cae914610733576101da565b8063c45a0155146105e3578063d0f69579146105eb578063d21220a71461063c578063d4cadf6814610644576101da565b806395d89b41116100de57806395d89b4114610567578063a9059cbb1461056f578063ba9a7a56146105a8578063bc25cf77146105b0576101da565b806370a08231146104b55780637ecebe00146104e857806389afcb441461051b576101da565b806330adf81f1161017c5780634b75f54f1161014b5780634b75f54f1461046a5780635909c0d5146104725780635a3d54931461047a5780636a62784214610482576101da565b806330adf81f14610411578063313ce5671461041957806332bfe469146104375780633644e51514610462576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b50909250905061073b565b005b6102826110fd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff6111a9565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111fe565b604080519115158252519081900360200190f35b61038b611215565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc611231565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135611237565b6103bc611316565b61042161133a565b6040805160ff9092168252519081900360200190f35b61043f61133f565b6040805163ffffffff938416815291909216602082015281519081900390910190f35b6103bc611371565b61038b611377565b6103bc611393565b6103bc611399565b6103bc6004803603602081101561049857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661139f565b6103bc600480360360208110156104cb57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661171e565b6103bc600480360360208110156104fe57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611730565b61054e6004803603602081101561053157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611742565b6040805192835260208301919091528051918290030190f35b610282611b9a565b61036f6004803603604081101561058557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611c12565b6103bc611c1f565b610278600480360360208110156105c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c25565b61038b611e1b565b6102786004803603608081101561060157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516611e37565b61038b612560565b61064c61257c565b6040805163ffffffff9092168252519081900360200190f35b610278600480360360e081101561067b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135612588565b6106cb612854565b604080516dffffffffffffffffffffffffffff938416815291909216602082015281519081900390910190f35b6103bc6004803603604081101561070e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516612881565b61027861289e565b600d546001146107ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55841515806107bf5750600084115b61082a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f564c503a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600a546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041681871080156108715750806dffffffffffffffffffffffffffff1686105b6108dc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f564c503a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b600854600954600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061094157508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6109ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f564c503a20494e56414c49445f544f0000000000000000000000000000000000604482015290519081900360640190fd5b8a156109bd576109bd828a8d612a84565b89156109ce576109ce818a8c612a84565b8615610ab0578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610a9757600080fd5b505af1158015610aab573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610b1c57600080fd5b505afa158015610b30573d6000803e3d6000fd5b505050506040513d6020811015610b4657600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610bb857600080fd5b505afa158015610bcc573d6000803e3d6000fd5b505050506040513d6020811015610be257600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610c0c576000610c22565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610c46576000610c5c565b89856dffffffffffffffffffffffffffff160383035b90506000821180610c6d5750600081115b610cd857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f564c503a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610cec856103e863ffffffff612c9116565b90506000610d02856103e863ffffffff612c9116565b90508315610d9e57601054600090610d2590869063ffffffff90811690612c9116565b9050610d37838263ffffffff612d1716565b600f54909350610d5d906dffffffffffffffffffffffffffff168263ffffffff612d8916565b600f80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff92909216919091179055505b8215610e3957601054600090610dbf90859063ffffffff90811690612c9116565b9050610dd1828263ffffffff612d1716565b600f54909250610e03906e01000000000000000000000000000090046dffffffffffffffffffffffffffff1682612d89565b600f600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550505b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff166032811415610f2357610ea1620f4240610e956dffffffffffffffffffffffffffff8c8116908c1663ffffffff612c9116565b9063ffffffff612c9116565b610eb1848463ffffffff612c9116565b1015610f1e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b61107b565b600e5473ffffffffffffffffffffffffffffffffffffffff166379c91b37610f636dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b610f856dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b8686866040518663ffffffff1660e01b8152600401808681526020018581526020018481526020018381526020018263ffffffff1663ffffffff1681526020019550505050505060206040518083038186803b158015610fe457600080fd5b505afa158015610ff8573d6000803e3d6000fd5b505050506040513d602081101561100e57600080fd5b505161107b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b50505061108a84848888612dfb565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6000805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b820191906000526020600020905b81548152906001019060200180831161118457829003601f168201915b505050505081565b600a546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b600061120b338484613107565b5060015b92915050565b60085473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146113015773ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020546112cf908363ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff851660009081526004602090815260408083203384529091529020555b61130c848484613176565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690606482900390565b60055481565b600e5473ffffffffffffffffffffffffffffffffffffffff1681565b600b5481565b600c5481565b6000600d5460011461141257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114226111a9565b50600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561149c57600080fd5b505afa1580156114b0573d6000803e3d6000fd5b505050506040513d60208110156114c657600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561153f57600080fd5b505afa158015611553573d6000803e3d6000fd5b505050506040513d602081101561156957600080fd5b50519050600061158f836dffffffffffffffffffffffffffff871663ffffffff612d1716565b905060006115b3836dffffffffffffffffffffffffffff871663ffffffff612d1716565b90506115bf8686613257565b5060025480611606576115f26103e86115e66115e1868663ffffffff612c9116565b613611565b9063ffffffff612d1716565b975061160160006103e8613663565b611663565b6116606dffffffffffffffffffffffffffff881661162a858463ffffffff612c9116565b8161163157fe5b046dffffffffffffffffffffffffffff8816611653858563ffffffff612c9116565b8161165a57fe5b04613714565b97505b600088116116bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806139d56022913960400191505060405180910390fd5b6116c68989613663565b6116d285858989612dfb565b6040805184815260208101849052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d55509395945050505050565b60036020526000908152604090205481565b60066020526000908152604090205481565b600080600d546001146117b657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806117c66111a9565b50600854600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561184857600080fd5b505afa15801561185c573d6000803e3d6000fd5b505050506040513d602081101561187257600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156118e657600080fd5b505afa1580156118fa573d6000803e3d6000fd5b505050506040513d602081101561191057600080fd5b50513060009081526003602052604090205490915061192f8787613257565b5060025480611944838663ffffffff612c9116565b8161194b57fe5b0499508061195f838563ffffffff612c9116565b8161196657fe5b04985060008a1180156119795750600089115b6119ce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613a496022913960400191505060405180910390fd5b6119d8308361372c565b6119e3868c8c612a84565b6119ee858c8b612a84565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8816916370a08231916024808301926020929190829003018186803b158015611a5a57600080fd5b505afa158015611a6e573d6000803e3d6000fd5b505050506040513d6020811015611a8457600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8716916370a0823191602480820192602092909190829003018186803b158015611af657600080fd5b505afa158015611b0a573d6000803e3d6000fd5b505050506040513d6020811015611b2057600080fd5b50519250611b3084848a8a612dfb565b604080518b8152602081018b9052815173ffffffffffffffffffffffffffffffffffffffff8e169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a350505050505050506001600d81905550915091565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b600061120b338484613176565b6103e881565b600d54600114611c9657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854600954600a54604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611d729285928792611d6d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b505afa158015611d49573d6000803e3d6000fd5b505050506040513d6020811015611d5f57600080fd5b50519063ffffffff612d1716565b612a84565b600a54604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e119284928792611d6d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b50506001600d5550565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff163314611ebd57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b60608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b158015611f0557600080fd5b505afa158015611f19573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526020811015611f6057600080fd5b8101908080516040519392919084640100000000821115611f8057600080fd5b908301906020820185811115611f9557600080fd5b8251640100000000811182820188101715611faf57600080fd5b82525081516020918201929091019080838360005b83811015611fdc578181015183820152602001611fc4565b50505050905090810190601f1680156120095780820380516001836020036101000a031916815260200191505b50604052505050905060608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561205a57600080fd5b505afa15801561206e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405260208110156120b557600080fd5b81019080805160405193929190846401000000008211156120d557600080fd5b9083019060208201858111156120ea57600080fd5b825164010000000081118282018810171561210457600080fd5b82525081516020918201929091019080838360005b83811015612131578181015183820152602001612119565b50505050905090810190601f16801561215e5780820380516001836020036101000a031916815260200191505b5060405250505090506123bc82826040516020018083805190602001908083835b602083106121bc57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161217f565b6001836020036101000a038019825116818451168082178552505050505050905001807f2f0000000000000000000000000000000000000000000000000000000000000081525060010182805190602001908083835b6020831061224f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612212565b6001836020036101000a038019825116818451168082178552505050505050905001807f2056616c7565204c5000000000000000000000000000000000000000000000008152506009019250505060405160208183030381529060405283836040516020018083805190602001908083835b602083106122fe57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016122c1565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018019909216911617905285519190930192850191508083835b6020831061238257805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612345565b6001836020036101000a038019825116818451168082178552505050505050905001925050506040516020818303038152906040526137f0565b6008805473ffffffffffffffffffffffffffffffffffffffff8089167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600980548884169216919091179055600f805463ffffffff8088167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff90921691909117909155601080549186167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000909216919091179055600754604080517f4b75f54f00000000000000000000000000000000000000000000000000000000815290519190921691634b75f54f916004808301926020929190829003018186803b1580156124e857600080fd5b505afa1580156124fc573d6000803e3d6000fd5b505050506040513d602081101561251257600080fd5b5051600e80547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff909216919091179055505050505050565b60095473ffffffffffffffffffffffffffffffffffffffff1681565b60105463ffffffff1690565b428410156125f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f564c503a20455850495245440000000000000000000000000000000000000000604482015290519081900360640190fd5b60055473ffffffffffffffffffffffffffffffffffffffff80891660008181526006602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015612758573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906127d357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61283e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f564c503a20494e56414c49445f5349474e415455524500000000000000000000604482015290519081900360640190fd5b612849898989613107565b505050505050505050565b600f546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000009092041690565b600460209081526000928352604080842090915290825290205481565b600d5460011461290f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051612a7d9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561298657600080fd5b505afa15801561299a573d6000803e3d6000fd5b505050506040513d60208110156129b057600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015612a2357600080fd5b505afa158015612a37573d6000803e3d6000fd5b505050506040513d6020811015612a4d57600080fd5b5051600a546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612dfb565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b60208310612b8a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612b4d565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612bec576040519150601f19603f3d011682016040523d82523d6000602084013e612bf1565b606091505b5091509150818015612c1f575080511580612c1f5750808060200190516020811015612c1c57600080fd5b50515b612c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f564c503a205452414e534645525f4641494c4544000000000000000000000000604482015290519081900360640190fd5b5050505050565b6000811580612cac57505080820282828281612ca957fe5b04145b61120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b8082038281111561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b8082018281101561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b600f5463ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116906dffffffffffffffffffffffffffff6064839003909116860211801590612e6457506dffffffffffffffffffffffffffff63ffffffff8216850211155b612ecf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f564c503a204f564552464c4f5700000000000000000000000000000000000000604482015290519081900360640190fd5b600a5463ffffffff428116917c010000000000000000000000000000000000000000000000000000000090048116820390811615801590612f1f57506dffffffffffffffffffffffffffff851615155b8015612f3a57506dffffffffffffffffffffffffffff841615155b15612ffc5763ffffffff606484900381168602908085168602908316612f8d83612f63846138d4565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff6138f816565b600b80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8316612fcd82612f63856138d4565b600c80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905550505b600a80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff898116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008983168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a150505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260409020546131ac908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff80851660009081526003602052604080822093909355908416815220546131ee908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156132c257600080fd5b505afa1580156132d6573d6000803e3d6000fd5b505050506040513d60208110156132ec57600080fd5b5051600754604080517fb0e21e8a000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163b0e21e8a91600480820192602092909190829003018186803b15801561335f57600080fd5b505afa158015613373573d6000803e3d6000fd5b505050506040513d602081101561338957600080fd5b505173ffffffffffffffffffffffffffffffffffffffff83161515935090506000806133b3612854565b915091506000836dffffffffffffffffffffffffffff161180156133d45750845b801561340a57506000826dffffffffffffffffffffffffffff16118061340a57506000816dffffffffffffffffffffffffffff16115b1561358957600f54600e546002547c010000000000000000000000000000000000000000000000000000000090920463ffffffff169160009173ffffffffffffffffffffffffffffffffffffffff16906392aec23c908b8b8660648190036dffffffffffffffffffffffffffff8c8116908c168161348457fe5b048c6dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16816134ae57fe5b6040805160e08b901b7fffffffff0000000000000000000000000000000000000000000000000000000016815260048101999099526dffffffffffffffffffffffffffff97881660248a0152958716604489015263ffffffff9485166064890152929093166084870152841660a48601520490911660c48301525160e4808301926020929190829003018186803b15801561354857600080fd5b505afa15801561355c573d6000803e3d6000fd5b505050506040513d602081101561357257600080fd5b505190508015613586576135868682613663565b50505b6dffffffffffffffffffffffffffff8216156135c857600f80547fffffffffffffffffffffffffffffffffffff00000000000000000000000000001690555b6dffffffffffffffffffffffffffff81161561360757600f80547fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff1690555b5050505092915050565b60006003821115613654575080600160028204015b8181101561364e5780915060028182858161363d57fe5b04018161364657fe5b049050613626565b5061365e565b811561365e575060015b919050565b600254613676908263ffffffff612d8916565b60025573ffffffffffffffffffffffffffffffffffffffff82166000908152600360205260409020546136af908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106137235781613725565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260036020526040902054613762908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602052604090205560025461379b908263ffffffff612d1716565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b8151613803906000906020850190613939565b508051613817906001906020840190613939565b5060405146908060526139f782396040805191829003605201822086516020978801208383018352600184527f310000000000000000000000000000000000000000000000000000000000000093880193909352815180880191909152808201929092527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606083015260808201939093523060a0808301919091528351808303909101815260c090910190925250805192019190912060055550565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff84168161393157fe5b049392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061397a57805160ff19168380011785556139a7565b828001600101855582156139a7579182015b828111156139a757825182559160200191906001019061398c565b506139b39291506139b7565b5090565b6139d191905b808211156139b357600081556001016139bd565b9056fe564c503a20494e53554646494349454e545f4c49515549444954595f4d494e544544454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429564c503a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820a28b4a38e9ffed776a23acdfef996c83183d99db1de0c69542a54e8fcba308ee64736f6c63430005110032a265627a7a7231582096b3ebfcdea394cc9717970794af306c55956f9eb470aa3aa9aeacf54674f2ad64736f6c63430005110032

0000000000000000000000007be4d5a99c903c437ec77a20cb6d0688cbb73c7f000000000000000000000000d989212c51ba850a1787ce4c666eb44a170cc415

-----Decoded View---------------
Arg [0] : _feeToSetter (address): 0x7Be4D5A99c903C437EC77A20CB6d0688cBB73c7f
Arg [1] : _formula (address): 0xd989212c51BA850A1787ce4c666EB44A170CC415

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000007be4d5a99c903c437ec77a20cb6d0688cbb73c7f
Arg [1] : 000000000000000000000000d989212c51ba850a1787ce4c666eb44a170cc415

27928:3723:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27928:3723:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27986:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;28075:26;;;:::i;29058:1474::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;29058:1474:0;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;28163:25::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;28163:25:0;;:::i;28013:22::-;;;:::i;28489:99::-;;;:::i;:::-;;;;;;;;;;;;;;;;30858:280;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;30858:280:0;;:::i;:::-;;30687:163;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;30687:163:0;;;;:::i;28042:26::-;;;:::i;28596:454::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;28596:454:0;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;31146:502::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;31146:502:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28386:95;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;28386:95:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;30540:139;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;30540:139:0;;;;:::i;27986:20::-;;;;;;:::o;28075:26::-;;;;;;:::o;29058:1474::-;29208:12;29251:6;29241:16;;:6;:16;;;;29233:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29321:1;29305:12;:17;;;;:39;;;;;29342:2;29326:12;:18;;;;29305:39;:66;;;;-1:-1:-1;29349:16:0;;;29348:23;29305:66;29297:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29496:1;29485:7;:12;;;;:30;;;;;29512:3;29501:7;:14;;;;29485:30;29477:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29553:14;29569;29585:19;29617:6;29608:15;;:6;:15;;;:87;;29660:6;29668;29682:12;29676:3;:18;29608:87;;;29627:6;29635;29643:12;29608:87;29552:143;;-1:-1:-1;29552:143:0;-1:-1:-1;29552:143:0;-1:-1:-1;29714:20:0;;;29706:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29806:21;29830:34;;;;;;;;:::i;:::-;21:26:-1;;;;;;7:41;;87:2;69:12;;;65:26;61:2;54:38;;;29900:55:0;;;;;;;41:4:-1;29900:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22:32:-1;26:21;;;22:32;6:49;;29900:55:0;;;;;;29890:66;;;;;;;;;29875:12;29975:16;;;29900:55;29975:16;;;;;;34:5:-1;;-1:-1;29890:66:0;29900:55;29975:16;:30;29967:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30116:4;30105:8;30099:15;30094:2;30084:8;30080:17;30077:1;30069:52;30142:72;;;;;;:33;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30061:60;;-1:-1:-1;30142:33:0;;;;;;:72;;;;;-1:-1:-1;;30142:72:0;;;;;;;;-1:-1:-1;30142:33:0;:72;;;5:2:-1;;;;30:1;27;20:12;5:2;30142:72:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30142:72:0;;;;30252:4;30225:10;:16;30236:4;30225:16;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;30268:8;30282:4;30268:19;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;30268:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30298;30327:7;30320:15;;30298:37;;30386:2;30369:12;30362:20;;:26;;;;30346:42;;;;30423:12;30399:6;:21;30414:4;30399:21;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;;;;;;;30471:6;30451:73;;30463:6;30451:73;;;30479:4;30485:12;30499:7;30508:8;:15;;;;30451:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29058:1474;;;;;;;;;;;;:::o;28163:25::-;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;28163:25:0;:::o;28013:22::-;;;;;;:::o;28489:99::-;28565:8;:15;28489:99;:::o;30858:280::-;30946:11;;;;30932:10;:25;30924:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30995:17;;;:68;;;31033:4;31017:12;:20;;:45;;;;;31057:5;31041:12;:21;;31017:45;30987:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31104:11;:26;30858:280::o;30687:163::-;30775:11;;;;30761:10;:25;30753:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30816:11;:26;;;;;;;;;;;;;;;30687:163::o;28042:26::-;;;;:::o;28596:454::-;28748:12;28774:14;28790;28806:19;28838:6;28829:15;;:6;:15;;;:87;;28881:6;28889;28903:12;28897:3;:18;28829:87;;;28848:6;28856;28864:12;28829:87;28952:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22:32:-1;26:21;;;22:32;6:49;;28952:55:0;;;;;;28942:66;;;;;;;;;28927:12;29026:16;;;28952:55;29026:16;;;;;;;;28952:55;29026:16;;28596:454;-1:-1:-1;;;;;;;28596:454:0:o;31146:502::-;31384:12;;;31252:19;31384:12;;;:6;:12;;;;;;31252:19;;;;31384:12;;31411:16;;31407:234;;31461:12;31444:30;;31527:2;31511:12;:18;;;;31489:41;;31566:12;31560:3;:18;31545:33;;31407:234;;;-1:-1:-1;31619:2:0;;-1:-1:-1;31619:2:0;;-1:-1:-1;31627:1:0;;-1:-1:-1;31611:18:0;;31407:234;31146:502;;;;;;;:::o;28386:95::-;28460:9;;28436:4;28460:9;;;:6;:9;;;;;;;;:13;;;28386:95::o;30540:139::-;30616:11;;;;30602:10;:25;30594:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30657:5;:14;;;;;;;;;;;;;;;30540:139::o;27928:3723::-;;;;;;;;:::o

bzzr://96b3ebfcdea394cc9717970794af306c55956f9eb470aa3aa9aeacf54674f2ad