Token

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-28
*/

// 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":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint112","name":"collectedFee0","type":"uint112"},{"indexed":false,"internalType":"uint112","name":"collectedFee1","type":"uint112"}],"name":"PaidProtocolFee","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount0Out","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1Out","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Swap","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint112","name":"reserve0","type":"uint112"},{"indexed":false,"internalType":"uint112","name":"reserve1","type":"uint112"}],"name":"Sync","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MINIMUM_LIQUIDITY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"burn","outputs":[{"internalType":"uint256","name":"amount0","type":"uint256"},{"internalType":"uint256","name":"amount1","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"factory","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":[],"name":"getCollectedFees","outputs":[{"internalType":"uint112","name":"_collectedFee0","type":"uint112"},{"internalType":"uint112","name":"_collectedFee1","type":"uint112"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getReserves","outputs":[{"internalType":"uint112","name":"_reserve0","type":"uint112"},{"internalType":"uint112","name":"_reserve1","type":"uint112"},{"internalType":"uint32","name":"_blockTimestampLast","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getSwapFee","outputs":[{"internalType":"uint32","name":"_swapFee","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getTokenWeights","outputs":[{"internalType":"uint32","name":"_tokenWeight0","type":"uint32"},{"internalType":"uint32","name":"_tokenWeight1","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"},{"internalType":"uint32","name":"_tokenWeight0","type":"uint32"},{"internalType":"uint32","name":"_swapFee","type":"uint32"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"mint","outputs":[{"internalType":"uint256","name":"liquidity","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"price0CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"price1CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"skim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount0Out","type":"uint256"},{"internalType":"uint256","name":"amount1Out","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"swap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"sync","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"token0","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"token1","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526001600d5534801561001557600080fd5b50600780546001600160a01b03191633179055613a9f806100376000396000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c45a0155116100a2578063d505accf11610071578063d505accf14610665578063d54a8d18146106c3578063dd62ed3e146106f8578063fff6cae914610733576101da565b8063c45a0155146105e3578063d0f69579146105eb578063d21220a71461063c578063d4cadf6814610644576101da565b806395d89b41116100de57806395d89b4114610567578063a9059cbb1461056f578063ba9a7a56146105a8578063bc25cf77146105b0576101da565b806370a08231146104b55780637ecebe00146104e857806389afcb441461051b576101da565b806330adf81f1161017c5780634b75f54f1161014b5780634b75f54f1461046a5780635909c0d5146104725780635a3d54931461047a5780636a62784214610482576101da565b806330adf81f14610411578063313ce5671461041957806332bfe469146104375780633644e51514610462576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b50909250905061073b565b005b6102826110fd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff6111a9565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111fe565b604080519115158252519081900360200190f35b61038b611215565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc611231565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135611237565b6103bc611316565b61042161133a565b6040805160ff9092168252519081900360200190f35b61043f61133f565b6040805163ffffffff938416815291909216602082015281519081900390910190f35b6103bc611371565b61038b611377565b6103bc611393565b6103bc611399565b6103bc6004803603602081101561049857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661139f565b6103bc600480360360208110156104cb57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661171e565b6103bc600480360360208110156104fe57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611730565b61054e6004803603602081101561053157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611742565b6040805192835260208301919091528051918290030190f35b610282611b9a565b61036f6004803603604081101561058557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611c12565b6103bc611c1f565b610278600480360360208110156105c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c25565b61038b611e1b565b6102786004803603608081101561060157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516611e37565b61038b612560565b61064c61257c565b6040805163ffffffff9092168252519081900360200190f35b610278600480360360e081101561067b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135612588565b6106cb612854565b604080516dffffffffffffffffffffffffffff938416815291909216602082015281519081900390910190f35b6103bc6004803603604081101561070e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516612881565b61027861289e565b600d546001146107ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55841515806107bf5750600084115b61082a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f564c503a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600a546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041681871080156108715750806dffffffffffffffffffffffffffff1686105b6108dc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f564c503a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b600854600954600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061094157508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6109ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f564c503a20494e56414c49445f544f0000000000000000000000000000000000604482015290519081900360640190fd5b8a156109bd576109bd828a8d612a84565b89156109ce576109ce818a8c612a84565b8615610ab0578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610a9757600080fd5b505af1158015610aab573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610b1c57600080fd5b505afa158015610b30573d6000803e3d6000fd5b505050506040513d6020811015610b4657600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610bb857600080fd5b505afa158015610bcc573d6000803e3d6000fd5b505050506040513d6020811015610be257600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610c0c576000610c22565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610c46576000610c5c565b89856dffffffffffffffffffffffffffff160383035b90506000821180610c6d5750600081115b610cd857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f564c503a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610cec856103e863ffffffff612c9116565b90506000610d02856103e863ffffffff612c9116565b90508315610d9e57601054600090610d2590869063ffffffff90811690612c9116565b9050610d37838263ffffffff612d1716565b600f54909350610d5d906dffffffffffffffffffffffffffff168263ffffffff612d8916565b600f80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff92909216919091179055505b8215610e3957601054600090610dbf90859063ffffffff90811690612c9116565b9050610dd1828263ffffffff612d1716565b600f54909250610e03906e01000000000000000000000000000090046dffffffffffffffffffffffffffff1682612d89565b600f600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550505b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff166032811415610f2357610ea1620f4240610e956dffffffffffffffffffffffffffff8c8116908c1663ffffffff612c9116565b9063ffffffff612c9116565b610eb1848463ffffffff612c9116565b1015610f1e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b61107b565b600e5473ffffffffffffffffffffffffffffffffffffffff166379c91b37610f636dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b610f856dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b8686866040518663ffffffff1660e01b8152600401808681526020018581526020018481526020018381526020018263ffffffff1663ffffffff1681526020019550505050505060206040518083038186803b158015610fe457600080fd5b505afa158015610ff8573d6000803e3d6000fd5b505050506040513d602081101561100e57600080fd5b505161107b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b50505061108a84848888612dfb565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6000805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b820191906000526020600020905b81548152906001019060200180831161118457829003601f168201915b505050505081565b600a546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b600061120b338484613107565b5060015b92915050565b60085473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146113015773ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020546112cf908363ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff851660009081526004602090815260408083203384529091529020555b61130c848484613176565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690606482900390565b60055481565b600e5473ffffffffffffffffffffffffffffffffffffffff1681565b600b5481565b600c5481565b6000600d5460011461141257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114226111a9565b50600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561149c57600080fd5b505afa1580156114b0573d6000803e3d6000fd5b505050506040513d60208110156114c657600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561153f57600080fd5b505afa158015611553573d6000803e3d6000fd5b505050506040513d602081101561156957600080fd5b50519050600061158f836dffffffffffffffffffffffffffff871663ffffffff612d1716565b905060006115b3836dffffffffffffffffffffffffffff871663ffffffff612d1716565b90506115bf8686613257565b5060025480611606576115f26103e86115e66115e1868663ffffffff612c9116565b613611565b9063ffffffff612d1716565b975061160160006103e8613663565b611663565b6116606dffffffffffffffffffffffffffff881661162a858463ffffffff612c9116565b8161163157fe5b046dffffffffffffffffffffffffffff8816611653858563ffffffff612c9116565b8161165a57fe5b04613714565b97505b600088116116bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806139d56022913960400191505060405180910390fd5b6116c68989613663565b6116d285858989612dfb565b6040805184815260208101849052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d55509395945050505050565b60036020526000908152604090205481565b60066020526000908152604090205481565b600080600d546001146117b657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806117c66111a9565b50600854600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561184857600080fd5b505afa15801561185c573d6000803e3d6000fd5b505050506040513d602081101561187257600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156118e657600080fd5b505afa1580156118fa573d6000803e3d6000fd5b505050506040513d602081101561191057600080fd5b50513060009081526003602052604090205490915061192f8787613257565b5060025480611944838663ffffffff612c9116565b8161194b57fe5b0499508061195f838563ffffffff612c9116565b8161196657fe5b04985060008a1180156119795750600089115b6119ce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613a496022913960400191505060405180910390fd5b6119d8308361372c565b6119e3868c8c612a84565b6119ee858c8b612a84565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8816916370a08231916024808301926020929190829003018186803b158015611a5a57600080fd5b505afa158015611a6e573d6000803e3d6000fd5b505050506040513d6020811015611a8457600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8716916370a0823191602480820192602092909190829003018186803b158015611af657600080fd5b505afa158015611b0a573d6000803e3d6000fd5b505050506040513d6020811015611b2057600080fd5b50519250611b3084848a8a612dfb565b604080518b8152602081018b9052815173ffffffffffffffffffffffffffffffffffffffff8e169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a350505050505050506001600d81905550915091565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b600061120b338484613176565b6103e881565b600d54600114611c9657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854600954600a54604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611d729285928792611d6d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b505afa158015611d49573d6000803e3d6000fd5b505050506040513d6020811015611d5f57600080fd5b50519063ffffffff612d1716565b612a84565b600a54604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e119284928792611d6d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b50506001600d5550565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff163314611ebd57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b60608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b158015611f0557600080fd5b505afa158015611f19573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526020811015611f6057600080fd5b8101908080516040519392919084640100000000821115611f8057600080fd5b908301906020820185811115611f9557600080fd5b8251640100000000811182820188101715611faf57600080fd5b82525081516020918201929091019080838360005b83811015611fdc578181015183820152602001611fc4565b50505050905090810190601f1680156120095780820380516001836020036101000a031916815260200191505b50604052505050905060608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561205a57600080fd5b505afa15801561206e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405260208110156120b557600080fd5b81019080805160405193929190846401000000008211156120d557600080fd5b9083019060208201858111156120ea57600080fd5b825164010000000081118282018810171561210457600080fd5b82525081516020918201929091019080838360005b83811015612131578181015183820152602001612119565b50505050905090810190601f16801561215e5780820380516001836020036101000a031916815260200191505b5060405250505090506123bc82826040516020018083805190602001908083835b602083106121bc57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161217f565b6001836020036101000a038019825116818451168082178552505050505050905001807f2f0000000000000000000000000000000000000000000000000000000000000081525060010182805190602001908083835b6020831061224f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612212565b6001836020036101000a038019825116818451168082178552505050505050905001807f2056616c7565204c5000000000000000000000000000000000000000000000008152506009019250505060405160208183030381529060405283836040516020018083805190602001908083835b602083106122fe57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016122c1565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018019909216911617905285519190930192850191508083835b6020831061238257805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612345565b6001836020036101000a038019825116818451168082178552505050505050905001925050506040516020818303038152906040526137f0565b6008805473ffffffffffffffffffffffffffffffffffffffff8089167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600980548884169216919091179055600f805463ffffffff8088167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff90921691909117909155601080549186167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000909216919091179055600754604080517f4b75f54f00000000000000000000000000000000000000000000000000000000815290519190921691634b75f54f916004808301926020929190829003018186803b1580156124e857600080fd5b505afa1580156124fc573d6000803e3d6000fd5b505050506040513d602081101561251257600080fd5b5051600e80547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff909216919091179055505050505050565b60095473ffffffffffffffffffffffffffffffffffffffff1681565b60105463ffffffff1690565b428410156125f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f564c503a20455850495245440000000000000000000000000000000000000000604482015290519081900360640190fd5b60055473ffffffffffffffffffffffffffffffffffffffff80891660008181526006602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015612758573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906127d357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61283e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f564c503a20494e56414c49445f5349474e415455524500000000000000000000604482015290519081900360640190fd5b612849898989613107565b505050505050505050565b600f546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000009092041690565b600460209081526000928352604080842090915290825290205481565b600d5460011461290f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051612a7d9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561298657600080fd5b505afa15801561299a573d6000803e3d6000fd5b505050506040513d60208110156129b057600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015612a2357600080fd5b505afa158015612a37573d6000803e3d6000fd5b505050506040513d6020811015612a4d57600080fd5b5051600a546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612dfb565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b60208310612b8a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612b4d565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612bec576040519150601f19603f3d011682016040523d82523d6000602084013e612bf1565b606091505b5091509150818015612c1f575080511580612c1f5750808060200190516020811015612c1c57600080fd5b50515b612c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f564c503a205452414e534645525f4641494c4544000000000000000000000000604482015290519081900360640190fd5b5050505050565b6000811580612cac57505080820282828281612ca957fe5b04145b61120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b8082038281111561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b8082018281101561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b600f5463ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116906dffffffffffffffffffffffffffff6064839003909116860211801590612e6457506dffffffffffffffffffffffffffff63ffffffff8216850211155b612ecf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f564c503a204f564552464c4f5700000000000000000000000000000000000000604482015290519081900360640190fd5b600a5463ffffffff428116917c010000000000000000000000000000000000000000000000000000000090048116820390811615801590612f1f57506dffffffffffffffffffffffffffff851615155b8015612f3a57506dffffffffffffffffffffffffffff841615155b15612ffc5763ffffffff606484900381168602908085168602908316612f8d83612f63846138d4565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff6138f816565b600b80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8316612fcd82612f63856138d4565b600c80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905550505b600a80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff898116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008983168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a150505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260409020546131ac908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff80851660009081526003602052604080822093909355908416815220546131ee908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156132c257600080fd5b505afa1580156132d6573d6000803e3d6000fd5b505050506040513d60208110156132ec57600080fd5b5051600754604080517fb0e21e8a000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163b0e21e8a91600480820192602092909190829003018186803b15801561335f57600080fd5b505afa158015613373573d6000803e3d6000fd5b505050506040513d602081101561338957600080fd5b505173ffffffffffffffffffffffffffffffffffffffff83161515935090506000806133b3612854565b915091506000836dffffffffffffffffffffffffffff161180156133d45750845b801561340a57506000826dffffffffffffffffffffffffffff16118061340a57506000816dffffffffffffffffffffffffffff16115b1561358957600f54600e546002547c010000000000000000000000000000000000000000000000000000000090920463ffffffff169160009173ffffffffffffffffffffffffffffffffffffffff16906392aec23c908b8b8660648190036dffffffffffffffffffffffffffff8c8116908c168161348457fe5b048c6dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16816134ae57fe5b6040805160e08b901b7fffffffff0000000000000000000000000000000000000000000000000000000016815260048101999099526dffffffffffffffffffffffffffff97881660248a0152958716604489015263ffffffff9485166064890152929093166084870152841660a48601520490911660c48301525160e4808301926020929190829003018186803b15801561354857600080fd5b505afa15801561355c573d6000803e3d6000fd5b505050506040513d602081101561357257600080fd5b505190508015613586576135868682613663565b50505b6dffffffffffffffffffffffffffff8216156135c857600f80547fffffffffffffffffffffffffffffffffffff00000000000000000000000000001690555b6dffffffffffffffffffffffffffff81161561360757600f80547fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff1690555b5050505092915050565b60006003821115613654575080600160028204015b8181101561364e5780915060028182858161363d57fe5b04018161364657fe5b049050613626565b5061365e565b811561365e575060015b919050565b600254613676908263ffffffff612d8916565b60025573ffffffffffffffffffffffffffffffffffffffff82166000908152600360205260409020546136af908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106137235781613725565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260036020526040902054613762908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602052604090205560025461379b908263ffffffff612d1716565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b8151613803906000906020850190613939565b508051613817906001906020840190613939565b5060405146908060526139f782396040805191829003605201822086516020978801208383018352600184527f310000000000000000000000000000000000000000000000000000000000000093880193909352815180880191909152808201929092527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606083015260808201939093523060a0808301919091528351808303909101815260c090910190925250805192019190912060055550565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff84168161393157fe5b049392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061397a57805160ff19168380011785556139a7565b828001600101855582156139a7579182015b828111156139a757825182559160200191906001019061398c565b506139b39291506139b7565b5090565b6139d191905b808211156139b357600081556001016139bd565b9056fe564c503a20494e53554646494349454e545f4c49515549444954595f4d494e544544454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429564c503a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820a28b4a38e9ffed776a23acdfef996c83183d99db1de0c69542a54e8fcba308ee64736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c45a0155116100a2578063d505accf11610071578063d505accf14610665578063d54a8d18146106c3578063dd62ed3e146106f8578063fff6cae914610733576101da565b8063c45a0155146105e3578063d0f69579146105eb578063d21220a71461063c578063d4cadf6814610644576101da565b806395d89b41116100de57806395d89b4114610567578063a9059cbb1461056f578063ba9a7a56146105a8578063bc25cf77146105b0576101da565b806370a08231146104b55780637ecebe00146104e857806389afcb441461051b576101da565b806330adf81f1161017c5780634b75f54f1161014b5780634b75f54f1461046a5780635909c0d5146104725780635a3d54931461047a5780636a62784214610482576101da565b806330adf81f14610411578063313ce5671461041957806332bfe469146104375780633644e51514610462576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b50909250905061073b565b005b6102826110fd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff6111a9565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111fe565b604080519115158252519081900360200190f35b61038b611215565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc611231565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135611237565b6103bc611316565b61042161133a565b6040805160ff9092168252519081900360200190f35b61043f61133f565b6040805163ffffffff938416815291909216602082015281519081900390910190f35b6103bc611371565b61038b611377565b6103bc611393565b6103bc611399565b6103bc6004803603602081101561049857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661139f565b6103bc600480360360208110156104cb57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661171e565b6103bc600480360360208110156104fe57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611730565b61054e6004803603602081101561053157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611742565b6040805192835260208301919091528051918290030190f35b610282611b9a565b61036f6004803603604081101561058557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611c12565b6103bc611c1f565b610278600480360360208110156105c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c25565b61038b611e1b565b6102786004803603608081101561060157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516611e37565b61038b612560565b61064c61257c565b6040805163ffffffff9092168252519081900360200190f35b610278600480360360e081101561067b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135612588565b6106cb612854565b604080516dffffffffffffffffffffffffffff938416815291909216602082015281519081900390910190f35b6103bc6004803603604081101561070e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516612881565b61027861289e565b600d546001146107ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55841515806107bf5750600084115b61082a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f564c503a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600a546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041681871080156108715750806dffffffffffffffffffffffffffff1686105b6108dc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f564c503a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b600854600954600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061094157508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6109ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f564c503a20494e56414c49445f544f0000000000000000000000000000000000604482015290519081900360640190fd5b8a156109bd576109bd828a8d612a84565b89156109ce576109ce818a8c612a84565b8615610ab0578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610a9757600080fd5b505af1158015610aab573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610b1c57600080fd5b505afa158015610b30573d6000803e3d6000fd5b505050506040513d6020811015610b4657600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610bb857600080fd5b505afa158015610bcc573d6000803e3d6000fd5b505050506040513d6020811015610be257600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610c0c576000610c22565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610c46576000610c5c565b89856dffffffffffffffffffffffffffff160383035b90506000821180610c6d5750600081115b610cd857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f564c503a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610cec856103e863ffffffff612c9116565b90506000610d02856103e863ffffffff612c9116565b90508315610d9e57601054600090610d2590869063ffffffff90811690612c9116565b9050610d37838263ffffffff612d1716565b600f54909350610d5d906dffffffffffffffffffffffffffff168263ffffffff612d8916565b600f80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff92909216919091179055505b8215610e3957601054600090610dbf90859063ffffffff90811690612c9116565b9050610dd1828263ffffffff612d1716565b600f54909250610e03906e01000000000000000000000000000090046dffffffffffffffffffffffffffff1682612d89565b600f600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550505b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff166032811415610f2357610ea1620f4240610e956dffffffffffffffffffffffffffff8c8116908c1663ffffffff612c9116565b9063ffffffff612c9116565b610eb1848463ffffffff612c9116565b1015610f1e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b61107b565b600e5473ffffffffffffffffffffffffffffffffffffffff166379c91b37610f636dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b610f856dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b8686866040518663ffffffff1660e01b8152600401808681526020018581526020018481526020018381526020018263ffffffff1663ffffffff1681526020019550505050505060206040518083038186803b158015610fe457600080fd5b505afa158015610ff8573d6000803e3d6000fd5b505050506040513d602081101561100e57600080fd5b505161107b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b50505061108a84848888612dfb565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6000805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b820191906000526020600020905b81548152906001019060200180831161118457829003601f168201915b505050505081565b600a546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b600061120b338484613107565b5060015b92915050565b60085473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146113015773ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020546112cf908363ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff851660009081526004602090815260408083203384529091529020555b61130c848484613176565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690606482900390565b60055481565b600e5473ffffffffffffffffffffffffffffffffffffffff1681565b600b5481565b600c5481565b6000600d5460011461141257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114226111a9565b50600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561149c57600080fd5b505afa1580156114b0573d6000803e3d6000fd5b505050506040513d60208110156114c657600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561153f57600080fd5b505afa158015611553573d6000803e3d6000fd5b505050506040513d602081101561156957600080fd5b50519050600061158f836dffffffffffffffffffffffffffff871663ffffffff612d1716565b905060006115b3836dffffffffffffffffffffffffffff871663ffffffff612d1716565b90506115bf8686613257565b5060025480611606576115f26103e86115e66115e1868663ffffffff612c9116565b613611565b9063ffffffff612d1716565b975061160160006103e8613663565b611663565b6116606dffffffffffffffffffffffffffff881661162a858463ffffffff612c9116565b8161163157fe5b046dffffffffffffffffffffffffffff8816611653858563ffffffff612c9116565b8161165a57fe5b04613714565b97505b600088116116bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806139d56022913960400191505060405180910390fd5b6116c68989613663565b6116d285858989612dfb565b6040805184815260208101849052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d55509395945050505050565b60036020526000908152604090205481565b60066020526000908152604090205481565b600080600d546001146117b657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806117c66111a9565b50600854600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561184857600080fd5b505afa15801561185c573d6000803e3d6000fd5b505050506040513d602081101561187257600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156118e657600080fd5b505afa1580156118fa573d6000803e3d6000fd5b505050506040513d602081101561191057600080fd5b50513060009081526003602052604090205490915061192f8787613257565b5060025480611944838663ffffffff612c9116565b8161194b57fe5b0499508061195f838563ffffffff612c9116565b8161196657fe5b04985060008a1180156119795750600089115b6119ce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613a496022913960400191505060405180910390fd5b6119d8308361372c565b6119e3868c8c612a84565b6119ee858c8b612a84565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8816916370a08231916024808301926020929190829003018186803b158015611a5a57600080fd5b505afa158015611a6e573d6000803e3d6000fd5b505050506040513d6020811015611a8457600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8716916370a0823191602480820192602092909190829003018186803b158015611af657600080fd5b505afa158015611b0a573d6000803e3d6000fd5b505050506040513d6020811015611b2057600080fd5b50519250611b3084848a8a612dfb565b604080518b8152602081018b9052815173ffffffffffffffffffffffffffffffffffffffff8e169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a350505050505050506001600d81905550915091565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b600061120b338484613176565b6103e881565b600d54600114611c9657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854600954600a54604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611d729285928792611d6d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b505afa158015611d49573d6000803e3d6000fd5b505050506040513d6020811015611d5f57600080fd5b50519063ffffffff612d1716565b612a84565b600a54604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e119284928792611d6d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b50506001600d5550565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff163314611ebd57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b60608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b158015611f0557600080fd5b505afa158015611f19573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526020811015611f6057600080fd5b8101908080516040519392919084640100000000821115611f8057600080fd5b908301906020820185811115611f9557600080fd5b8251640100000000811182820188101715611faf57600080fd5b82525081516020918201929091019080838360005b83811015611fdc578181015183820152602001611fc4565b50505050905090810190601f1680156120095780820380516001836020036101000a031916815260200191505b50604052505050905060608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561205a57600080fd5b505afa15801561206e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405260208110156120b557600080fd5b81019080805160405193929190846401000000008211156120d557600080fd5b9083019060208201858111156120ea57600080fd5b825164010000000081118282018810171561210457600080fd5b82525081516020918201929091019080838360005b83811015612131578181015183820152602001612119565b50505050905090810190601f16801561215e5780820380516001836020036101000a031916815260200191505b5060405250505090506123bc82826040516020018083805190602001908083835b602083106121bc57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161217f565b6001836020036101000a038019825116818451168082178552505050505050905001807f2f0000000000000000000000000000000000000000000000000000000000000081525060010182805190602001908083835b6020831061224f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612212565b6001836020036101000a038019825116818451168082178552505050505050905001807f2056616c7565204c5000000000000000000000000000000000000000000000008152506009019250505060405160208183030381529060405283836040516020018083805190602001908083835b602083106122fe57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016122c1565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018019909216911617905285519190930192850191508083835b6020831061238257805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612345565b6001836020036101000a038019825116818451168082178552505050505050905001925050506040516020818303038152906040526137f0565b6008805473ffffffffffffffffffffffffffffffffffffffff8089167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600980548884169216919091179055600f805463ffffffff8088167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff90921691909117909155601080549186167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000909216919091179055600754604080517f4b75f54f00000000000000000000000000000000000000000000000000000000815290519190921691634b75f54f916004808301926020929190829003018186803b1580156124e857600080fd5b505afa1580156124fc573d6000803e3d6000fd5b505050506040513d602081101561251257600080fd5b5051600e80547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff909216919091179055505050505050565b60095473ffffffffffffffffffffffffffffffffffffffff1681565b60105463ffffffff1690565b428410156125f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f564c503a20455850495245440000000000000000000000000000000000000000604482015290519081900360640190fd5b60055473ffffffffffffffffffffffffffffffffffffffff80891660008181526006602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015612758573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906127d357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61283e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f564c503a20494e56414c49445f5349474e415455524500000000000000000000604482015290519081900360640190fd5b612849898989613107565b505050505050505050565b600f546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000009092041690565b600460209081526000928352604080842090915290825290205481565b600d5460011461290f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051612a7d9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561298657600080fd5b505afa15801561299a573d6000803e3d6000fd5b505050506040513d60208110156129b057600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015612a2357600080fd5b505afa158015612a37573d6000803e3d6000fd5b505050506040513d6020811015612a4d57600080fd5b5051600a546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612dfb565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b60208310612b8a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612b4d565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612bec576040519150601f19603f3d011682016040523d82523d6000602084013e612bf1565b606091505b5091509150818015612c1f575080511580612c1f5750808060200190516020811015612c1c57600080fd5b50515b612c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f564c503a205452414e534645525f4641494c4544000000000000000000000000604482015290519081900360640190fd5b5050505050565b6000811580612cac57505080820282828281612ca957fe5b04145b61120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b8082038281111561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b8082018281101561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b600f5463ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116906dffffffffffffffffffffffffffff6064839003909116860211801590612e6457506dffffffffffffffffffffffffffff63ffffffff8216850211155b612ecf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f564c503a204f564552464c4f5700000000000000000000000000000000000000604482015290519081900360640190fd5b600a5463ffffffff428116917c010000000000000000000000000000000000000000000000000000000090048116820390811615801590612f1f57506dffffffffffffffffffffffffffff851615155b8015612f3a57506dffffffffffffffffffffffffffff841615155b15612ffc5763ffffffff606484900381168602908085168602908316612f8d83612f63846138d4565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff6138f816565b600b80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8316612fcd82612f63856138d4565b600c80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905550505b600a80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff898116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008983168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a150505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260409020546131ac908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff80851660009081526003602052604080822093909355908416815220546131ee908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156132c257600080fd5b505afa1580156132d6573d6000803e3d6000fd5b505050506040513d60208110156132ec57600080fd5b5051600754604080517fb0e21e8a000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163b0e21e8a91600480820192602092909190829003018186803b15801561335f57600080fd5b505afa158015613373573d6000803e3d6000fd5b505050506040513d602081101561338957600080fd5b505173ffffffffffffffffffffffffffffffffffffffff83161515935090506000806133b3612854565b915091506000836dffffffffffffffffffffffffffff161180156133d45750845b801561340a57506000826dffffffffffffffffffffffffffff16118061340a57506000816dffffffffffffffffffffffffffff16115b1561358957600f54600e546002547c010000000000000000000000000000000000000000000000000000000090920463ffffffff169160009173ffffffffffffffffffffffffffffffffffffffff16906392aec23c908b8b8660648190036dffffffffffffffffffffffffffff8c8116908c168161348457fe5b048c6dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16816134ae57fe5b6040805160e08b901b7fffffffff0000000000000000000000000000000000000000000000000000000016815260048101999099526dffffffffffffffffffffffffffff97881660248a0152958716604489015263ffffffff9485166064890152929093166084870152841660a48601520490911660c48301525160e4808301926020929190829003018186803b15801561354857600080fd5b505afa15801561355c573d6000803e3d6000fd5b505050506040513d602081101561357257600080fd5b505190508015613586576135868682613663565b50505b6dffffffffffffffffffffffffffff8216156135c857600f80547fffffffffffffffffffffffffffffffffffff00000000000000000000000000001690555b6dffffffffffffffffffffffffffff81161561360757600f80547fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff1690555b5050505092915050565b60006003821115613654575080600160028204015b8181101561364e5780915060028182858161363d57fe5b04018161364657fe5b049050613626565b5061365e565b811561365e575060015b919050565b600254613676908263ffffffff612d8916565b60025573ffffffffffffffffffffffffffffffffffffffff82166000908152600360205260409020546136af908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106137235781613725565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260036020526040902054613762908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602052604090205560025461379b908263ffffffff612d1716565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b8151613803906000906020850190613939565b508051613817906001906020840190613939565b5060405146908060526139f782396040805191829003605201822086516020978801208383018352600184527f310000000000000000000000000000000000000000000000000000000000000093880193909352815180880191909152808201929092527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606083015260808201939093523060a0808301919091528351808303909101815260c090910190925250805192019190912060055550565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff84168161393157fe5b049392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061397a57805160ff19168380011785556139a7565b828001600101855582156139a7579182015b828111156139a757825182559160200191906001019061398c565b506139b39291506139b7565b5090565b6139d191905b808211156139b357600081556001016139bd565b9056fe564c503a20494e53554646494349454e545f4c49515549444954595f4d494e544544454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429564c503a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820a28b4a38e9ffed776a23acdfef996c83183d99db1de0c69542a54e8fcba308ee64736f6c63430005110032

15817:12107:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15817:12107:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24031:3300;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;24031:3300:0;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;24031:3300:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;24031:3300:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;24031:3300:0;;-1:-1:-1;24031:3300:0;-1:-1:-1;24031:3300:0;:::i;:::-;;10161:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;10161:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17005:313;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12236:150;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12236:150:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;16138:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10255:26;;;:::i;:::-;;;;;;;;;;;;;;;;12544:341;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12544:341:0;;;;;;;;;;;;;;;;;;:::i;10555:108::-;;;:::i;10213:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17521:184;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10412:31;;;:::i;16585:22::-;;;:::i;16466:35::-;;;:::i;16508:::-;;;:::i;21340:1163::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21340:1163:0;;;;:::i;10288:44::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10288:44:0;;;;:::i;10670:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10670:41:0;;;;:::i;22615:1304::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22615:1304:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10186:20;;;:::i;12394:142::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12394:142:0;;;;;;;;;:::i;15956:49::-;;;:::i;27380:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27380:334:0;;;;:::i;16109:22::-;;;:::i;18269:673::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;18269:673:0;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;16166:21::-;;;:::i;17713:97::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12893:661;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;12893:661:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;17326:187::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10339:64;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10339:64:0;;;;;;;;;;;:::i;27763:158::-;;;:::i;24031:3300::-;16902:8;;16914:1;16902:13;16894:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16953:1;16942:8;:12;24194:14;;;;:32;;;24225:1;24212:10;:14;24194:32;24186:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24293:8;;;;;;;24347;;;;24389:22;;;:48;;;;;24428:9;24415:22;;:10;:22;24389:48;24381:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24637:6;;24676;;24482:16;;;;24637:6;;;;;24676;;;;24705:13;;;;;;;:30;;;24728:7;24722:13;;:2;:13;;;;24705:30;24697:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24774:14;;24770:58;;24790:38;24804:7;24813:2;24817:10;24790:13;:38::i;:::-;24881:14;;24877:58;;24897:38;24911:7;24920:2;24924:10;24897:13;:38::i;:::-;24988:15;;24984:97;;25022:2;25005:34;;;25040:10;25052;25064;25076:4;;25005:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;25005:76:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25005:76:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25005:76:0;;;;24984:97;25107:40;;;;;;25141:4;25107:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;25107:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25107:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25107:40:0;25173;;;;;;25207:4;25173:40;;;;;;25107;;-1:-1:-1;25173:25:0;;;;;;:40;;;;;25107;;25173;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;25173:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25173:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25173:40:0;;-1:-1:-1;25235:17:0;;-1:-1:-1;;25266:22:0;;;;;;25255:33;;:75;;25329:1;25255:75;;;25315:10;25303:9;:22;;;25291:8;:35;25255:75;25235:95;;25341:17;25384:10;25372:9;:22;;;25361:8;:33;:75;;25435:1;25361:75;;;25421:10;25409:9;:22;;;25397:8;:35;25361:75;25341:95;;25467:1;25455:9;:13;:30;;;;25484:1;25472:9;:13;25455:30;25447:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25623:24;25650:18;:8;25663:4;25650:18;:12;:18;:::i;:::-;25623:45;-1:-1:-1;25683:24:0;25710:18;:8;25723:4;25710:18;:12;:18;:::i;:::-;25683:45;-1:-1:-1;25815:13:0;;25811:271;;25890:7;;25853:20;;25876:22;;:9;;25890:7;;;;;25876:13;:22;:::i;:::-;25853:45;-1:-1:-1;25940:34:0;:16;25853:45;25940:34;:20;:34;:::i;:::-;26029:13;;25921:53;;-1:-1:-1;26021:40:0;;26029:13;;26048:12;26021:40;:26;:40;:::i;:::-;25997:13;:65;;;;;;;;;;;;;;;-1:-1:-1;25811:271:0;26104:13;;26100:271;;26179:7;;26142:20;;26165:22;;:9;;26179:7;;;;;26165:13;:22;:::i;:::-;26142:45;-1:-1:-1;26229:34:0;:16;26142:45;26229:34;:20;:34;:::i;:::-;26318:13;;26210:53;;-1:-1:-1;26310:40:0;;26318:13;;;;;26337:12;26310:26;:40::i;:::-;26286:13;;:65;;;;;;;;;;;;;;;;;;26100:271;;26412:12;;;;;;;26479:2;26462:19;;26458:698;;;26607:46;26645:7;26607:33;;:18;;;;:33;;;:22;:33;:::i;:::-;:37;:46;:37;:46;:::i;:::-;26565:38;:16;26586;26565:38;:20;:38;:::i;:::-;:88;;26557:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26458:698;;;26767:7;;;;26747:48;26826:28;:18;;;26849:4;26826:28;:22;:28;:::i;:::-;26885;:18;;;26908:4;26885:28;:22;:28;:::i;:::-;26944:16;26991;27038:13;26747:331;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26747:331:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26747:331:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26747:331:0;26713:423;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16965:1;;;27192:49;27200:8;27210;27220:9;27231;27192:7;:49::i;:::-;27257:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27262:10;;27257:66;;;;;;;;;-1:-1:-1;;16988:1:0;16977:8;:12;-1:-1:-1;;;;;;;;;24031:3300:0:o;10161:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;17005:313::-;17220:8;;;;;;;17251;;;;;;;17292:18;;;;;;17005:313::o;12236:150::-;12303:4;12320:36;12329:10;12341:7;12350:5;12320:8;:36::i;:::-;-1:-1:-1;12374:4:0;12236:150;;;;;:::o;16138:21::-;;;;;;:::o;10255:26::-;;;;:::o;12544:341::-;12680:15;;;12659:4;12680:15;;;:9;:15;;;;;;;;12696:10;12680:27;;;;;;;;12719:2;12680:42;12676:143;;12769:15;;;;;;;:9;:15;;;;;;;;12785:10;12769:27;;;;;;;;:38;;12801:5;12769:38;:31;:38;:::i;:::-;12739:15;;;;;;;:9;:15;;;;;;;;12755:10;12739:27;;;;;;;:68;12676:143;12829:26;12839:4;12845:2;12849:5;12829:9;:26::i;:::-;-1:-1:-1;12873:4:0;12544:341;;;;;:::o;10555:108::-;10597:66;10555:108;:::o;10213:35::-;10246:2;10213:35;:::o;17521:184::-;17640:12;;;;;;;;17679:3;:18;;;;17521:184::o;10412:31::-;;;;:::o;16585:22::-;;;;;;:::o;16466:35::-;;;;:::o;16508:::-;;;;:::o;21340:1163::-;21389:17;16902:8;;16914:1;16902:13;16894:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16953:1;16942:8;:12;;;16953:1;21462:13;:11;:13::i;:::-;-1:-1:-1;21527:6:0;;21520:39;;;;;;21553:4;21520:39;;;;;;21419:56;;-1:-1:-1;21419:56:0;;-1:-1:-1;21501:16:0;;21527:6;;;;;21520:24;;:39;;;;;;;;;;;;;;21527:6;21520:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21520:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21520:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21520:39:0;21596:6;;21589:39;;;;;;21622:4;21589:39;;;;;;21520;;-1:-1:-1;21570:16:0;;21596:6;;;;;21589:24;;:39;;;;;21520;;21589;;;;;;;;21596:6;21589:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21589:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21589:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21589:39:0;;-1:-1:-1;21639:15:0;21657:23;:8;:23;;;;:12;:23;:::i;:::-;21639:41;-1:-1:-1;21691:15:0;21709:23;:8;:23;;;;:12;:23;:::i;:::-;21691:41;;21743:30;21752:9;21763;21743:8;:30::i;:::-;-1:-1:-1;21807:11:0;;21920:17;21916:366;;21966:54;16000:5;21966:31;21976:20;:7;21988;21976:20;:11;:20;:::i;:::-;21966:9;:31::i;:::-;:35;:54;:35;:54;:::i;:::-;21954:66;;22035:36;22049:1;16000:5;22035;:36::i;:::-;21916:366;;;22184:86;22193:37;;;:25;:7;22205:12;22193:25;:11;:25;:::i;:::-;:37;;;;;;22232;;;:25;:7;22244:12;22232:25;:11;:25;:::i;:::-;:37;;;;;;22184:8;:86::i;:::-;22172:98;;21916:366;22312:1;22300:9;:13;22292:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22363:20;22369:2;22373:9;22363:5;:20::i;:::-;22396:49;22404:8;22414;22424:9;22435;22396:7;:49::i;:::-;22461:34;;;;;;;;;;;;;;22466:10;;22461:34;;;;;;;;-1:-1:-1;;16988:1:0;16977:8;:12;-1:-1:-1;21340:1163:0;;;-1:-1:-1;;;;;21340:1163:0:o;10288:44::-;;;;;;;;;;;;;:::o;10670:41::-;;;;;;;;;;;;;:::o;22615:1304::-;22664:15;22681;16902:8;;16914:1;16902:13;16894:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16953:1;16942:8;:12;;;16953:1;22752:13;:11;:13::i;:::-;-1:-1:-1;22809:6:0;;22859;;22910:40;;;;;;22944:4;22910:40;;;;;;22709:56;;-1:-1:-1;22709:56:0;;-1:-1:-1;22809:6:0;;;;;22859;;;22791:15;;22809:6;;22910:25;;:40;;;;;;;;;;;;;;22809:6;22910:40;;;5:2:-1;;;;30:1;27;20:12;5:2;22910:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22910:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22910:40:0;22980;;;;;;23014:4;22980:40;;;;;;22910;;-1:-1:-1;22961:16:0;;22980:25;;;;;;:40;;;;;22910;;22980;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;22980:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22980:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22980:40:0;23069:4;23031:17;23051:24;;;:9;22980:40;23051:24;;;;;22980:40;;-1:-1:-1;23086:30:0;23095:9;23106;23086:8;:30::i;:::-;-1:-1:-1;23150:11:0;;;23260:23;:9;23274:8;23260:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;23393:12:0;23367:23;:9;23381:8;23367:23;:13;:23;:::i;:::-;:38;;;;;;23357:48;;23482:1;23472:7;:11;:26;;;;;23497:1;23487:7;:11;23472:26;23464:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23548:31;23562:4;23569:9;23548:5;:31::i;:::-;23590:35;23604:7;23613:2;23617:7;23590:13;:35::i;:::-;23636;23650:7;23659:2;23663:7;23636:13;:35::i;:::-;23693:40;;;;;;23727:4;23693:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;23693:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23693:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23693:40:0;23755;;;;;;23789:4;23755:40;;;;;;23693;;-1:-1:-1;23755:25:0;;;;;;:40;;;;;23693;;23755;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;23755:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23755:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23755:40:0;;-1:-1:-1;23808:49:0;23816:8;23755:40;23836:9;23847;23808:7;:49::i;:::-;23873:38;;;;;;;;;;;;;;;;;;23878:10;;23873:38;;;;;;;;;;;16965:1;;;;;;;;16988;16977:8;:12;;;;22615:1304;;;:::o;10186:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12394:142;12457:4;12474:32;12484:10;12496:2;12500:5;12474:9;:32::i;15956:49::-;16000:5;15956:49;:::o;27380:334::-;16902:8;;16914:1;16902:13;16894:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16953:1;16942:8;:12;27449:6;;27499;;27603:8;;27558:40;;;;;;27592:4;27558:40;;;;;;27449:6;;;;;27499;;;;27531:82;;27449:6;;27554:2;;27558:54;;27603:8;;;27449:6;;27558:25;;:40;;;;;;;;;;;;;;;27449:6;27558:40;;;5:2:-1;;;;30:1;27;20:12;5:2;27558:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27558:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27558:40:0;;:54;:44;:54;:::i;:::-;27531:13;:82::i;:::-;27696:8;;27651:40;;;;;;27685:4;27651:40;;;;;;27624:82;;27638:7;;27647:2;;27651:54;;27696:8;;;;;;27651:25;;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;27624:82:0;-1:-1:-1;;16988:1:0;16977:8;:12;-1:-1:-1;27380:334:0:o;16109:22::-;;;;;;:::o;18269:673::-;18447:7;;;;18433:10;:21;18425:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18484:22;18516:7;18509:22;;;:24;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18509:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18509:24:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;18509:24:0;80:15:-1;;;97:9;76:31;65:43;;120:4;113:20;13:2;5:11;;2:2;;;29:1;26;19:12;2:2;18509:24:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;62:21;;;;123:4;114:14;;138:31;;;135:2;;;182:1;179;172:12;135:2;213:10;;261:11;244:29;;285:43;;;282:58;-1:-1;233:115;230:2;;;361:1;358;351:12;230:2;372:25;;-1:-1;18509:24:0;;420:4:-1;411:14;;;;18509:24:0;;;;;411:14:-1;18509:24:0;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;18509:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18484:49;;18544:22;18576:7;18569:22;;;:24;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18569:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18569:24:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;18569:24:0;80:15:-1;;;97:9;76:31;65:43;;120:4;113:20;13:2;5:11;;2:2;;;29:1;26;19:12;2:2;18569:24:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;62:21;;;;123:4;114:14;;138:31;;;135:2;;;182:1;179;172:12;135:2;213:10;;261:11;244:29;;285:43;;;282:58;-1:-1;233:115;230:2;;;361:1;358;351:12;230:2;372:25;;-1:-1;18569:24:0;;420:4:-1;411:14;;;;18569:24:0;;;;;411:14:-1;18569:24:0;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;18569:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18544:49;;18604:120;18639:8;18654;18622:54;;;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;18622:54:0;;;;;;;;;;;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;18622:54:0;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;18622:54:0;;;18703:8;18713;18686:36;;;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;246:30;;311:9;;295:26;;;340:21;;377:20;365:33;;18686:36:0;;;;;;;;;;-1:-1:-1;18686:36:0;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;18686:36:0;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;18686:36:0;;;18604:10;:120::i;:::-;18764:6;:16;;;;;;;;;;;;;;18791:6;:16;;;;;;;;;;;;;18818:12;:28;;;;;;;;;;;;;;;;;;;18857:7;:18;;;;;;;;;;;;;;;18916:7;;18896:38;;;;;;;;18916:7;;;;;18896:36;;:38;;;;;;;;;;;;;;18916:7;18896:38;;;5:2:-1;;;;30:1;27;20:12;5:2;18896:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18896:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18896:38:0;18886:7;:48;;;;;;;;;;;;;;-1:-1:-1;;;;;;18269:673:0:o;16166:21::-;;;;;;:::o;17713:97::-;17795:7;;;;;17713:97::o;12893:661::-;13115:15;13103:8;:27;;13095:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13227:16;;13306:13;;;;13158:14;13306:13;;;:6;:13;;;;;;;;:15;;;;;;;;;13255:77;;10597:66;13255:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;13255:77:0;;;;;13245:88;;;;;;13198:136;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;13198:136:0;;;;;;13188:147;;;;;;;;;13373:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13158:14;;13306:15;13373:26;;;;;-1:-1:-1;13373:26:0;;;;;;;;;;13306:15;13373:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;13373:26:0;;;;;;-1:-1:-1;;13418:30:0;;;;;;;:59;;;13472:5;13452:25;;:16;:25;;;13418:59;13410:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13515:31;13524:5;13531:7;13540:5;13515:8;:31::i;:::-;12893:661;;;;;;;;;:::o;17326:187::-;17451:13;;;;;;;17492;;;;;;17326:187::o;10339:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;27763:158::-;16902:8;;16914:1;16902:13;16894:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16953:1;16942:8;:12;27819:6;;27812:39;;;;;;27845:4;27812:39;;;;;;27804:109;;27819:6;;;27812:24;;:39;;;;;;;;;;;;;;27819:6;27812:39;;;5:2:-1;;;;30:1;27;20:12;5:2;27812:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27812:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27812:39:0;27860:6;;27853:39;;;;;;27886:4;27853:39;;;;;;27860:6;;;;;27853:24;;:39;;;;;27812;;27853;;;;;;;;27860:6;27853:39;;;5:2:-1;;;;30:1;27;20:12;5:2;27853:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27853:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27853:39:0;27894:8;;;;;;;27904;;;;27804:7;:109::i;:::-;16988:1;16977:8;:12;27763:158::o;17818:318::-;16064:34;;;;;;;;;;;;;;;;;17983:43;;17972:10;17983:43;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;17983:43:0;;;;;;25:18:-1;;;61:17;;17983:43:0;182:15:-1;17983:43:0;179:29:-1;160:49;;17972:55:0;;;;17937:12;;17951:17;;17972:10;;;17983:43;17972:55;;;25:18:-1;17972:55:0;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;17972:55:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;17936:91:0;;;;18046:7;:57;;;;-1:-1:-1;18058:11:0;;:16;;:44;;;18089:4;18078:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18078:24:0;18058:44;18038:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17818:318;;;;;:::o;9756:151::-;9814:9;9844:6;;;:30;;-1:-1:-1;;9859:5:0;;;9873:1;9868;9859:5;9868:1;9854:15;;;;;:20;9844:30;9836:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9610:138;9703:5;;;9698:16;;;;9690:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9465:137;9558:5;;;9553:16;;;;9545:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19027:1132;19203:12;;;;;;;;;;19234:47;19246:3;:19;;;19234:32;;;;;:47;;;;:90;;-1:-1:-1;19285:39:0;:24;;;;;:39;;19234:90;19226:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19457:18;;19384:23;:15;:23;;;19457:18;;;;;19440:35;;;19522:15;;;;;;:33;;-1:-1:-1;19541:14:0;;;;;19522:33;:51;;;;-1:-1:-1;19559:14:0;;;;;19522:51;19518:470;;;19671:33;19684:3;:19;;;19671:33;;;;;19739:25;;;;;;19803:67;;19811:44;19671:33;19811:27;19739:25;19811:16;:27::i;:::-;:33;;;:44;:33;:44;:::i;:::-;19779:20;:91;;19803:53;;;;;:67;;;;19779:91;;;19909:67;;;19917:44;19951:9;19917:27;19934:9;19917:16;:27::i;:44::-;19885:20;:91;;19909:53;;;;;:67;;;;19885:91;;;-1:-1:-1;;19518:470:0;19998:8;:28;;;;;;;;;;;;20037;;;;;;;;;;;;20076:35;;;;;;;;;;;;20127:24;;;20132:8;;;20127:24;;20142:8;;;;;;;20127:24;;;;;;;;;;;;;;;;;19027:1132;;;;;;;:::o;11757:206::-;11875:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;11924:31;;;;;;;;;;;;;;;;;11757:206;;;:::o;11971:257::-;12102:15;;;;;;;:9;:15;;;;;;:26;;12122:5;12102:26;:19;:26;:::i;:::-;12084:15;;;;;;;;:9;:15;;;;;;:44;;;;12155:13;;;;;;;:24;;12173:5;12155:24;:17;:24;:::i;:::-;12139:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;12195:25;;;;;;;12139:13;;12195:25;;;;;;;;;;;;;11971:257;;;:::o;20167:1061::-;20240:10;20263:13;20299:7;;;;;;;;;;;20279:34;;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20279:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20279:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20279:36:0;20376:7;;20356:42;;;;;;;;20279:36;;-1:-1:-1;20326:19:0;;20376:7;;;;;20356:40;;:42;;;;;20279:36;;20356:42;;;;;;;;20376:7;20356:42;;;5:2:-1;;;;30:1;27;20:12;5:2;20356:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20356:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20356:42:0;20418:19;;;;;;-1:-1:-1;20356:42:0;-1:-1:-1;20435:1:0;;20499:18;:16;:18::i;:::-;20448:69;;;;20546:1;20532:11;:15;;;:24;;;;;20551:5;20532:24;:70;;;;;20578:1;20561:14;:18;;;:40;;;;20600:1;20583:14;:18;;;20561:40;20528:589;;;20642:12;;20726:7;;20774:11;;20642:12;;;;;;;20619:20;;20726:7;;;20706:45;;20808:9;20840;20642:12;20908:3;:19;;;20950:28;;;;;;;;;;;;;21018:11;21001:28;;:14;:28;;;;;;;20706:342;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21001:28;20706:342;;;;;;;;;;;;;;;;;;;;;;;;;;5:2:-1;;;;30:1;27;20:12;5:2;20706:342:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20706:342:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20706:342:0;;-1:-1:-1;21067:13:0;;21063:42;;21082:23;21088:5;21095:9;21082:5;:23::i;:::-;20528:589;;;21131:18;;;;21127:41;;21151:13;:17;;;;;;21127:41;21183:18;;;;21179:41;;21203:13;:17;;;;;;21179:41;20167:1061;;;;;;;;:::o;13857:312::-;13905:9;13935:1;13931;:5;13927:235;;;-1:-1:-1;13957:1:0;13993;13989;13985:5;;:9;14009:92;14020:1;14016;:5;14009:92;;;14046:1;14042:5;;14084:1;14079;14075;14071;:5;;;;;;:9;14070:15;;;;;;14066:19;;14009:92;;;13927:235;;;;14122:6;;14118:44;;-1:-1:-1;14149:1:0;14118:44;13857:312;;;:::o;11325:204::-;11401:11;;:22;;11417:5;11401:22;:15;:22;:::i;:::-;11387:11;:36;11450:13;;;;;;;:9;:13;;;;;;:24;;11468:5;11450:24;:17;:24;:::i;:::-;11434:13;;;;;;;:9;:13;;;;;;;;:40;;;;11490:31;;;;;;;11434:13;;;;11490:31;;;;;;;;;;11325:204;;:::o;13634:105::-;13692:9;13722:1;13718;:5;:13;;13730:1;13718:13;;;13726:1;13718:13;13714:17;13634:105;-1:-1:-1;;;13634:105:0:o;11537:212::-;11619:15;;;;;;;:9;:15;;;;;;:26;;11639:5;11619:26;:19;:26;:::i;:::-;11601:15;;;;;;;:9;:15;;;;;:44;11670:11;;:22;;11686:5;11670:22;:15;:22;:::i;:::-;11656:11;:36;11708:33;;;;;;;;11731:1;;11708:33;;;;;;;;;;;;;11537:212;;:::o;10751:566::-;10835:12;;;;:4;;:12;;;;;:::i;:::-;-1:-1:-1;10858:16:0;;;;:6;;:16;;;;;:::i;:::-;-1:-1:-1;11048:95:0;;10946:9;;11048:95;;;;;;;;;;;;;;;;11162:23;;;;;;;11214:10;;;;;;;;;;;;;;;;11019:279;;;;;;;;;;;;;;;;11204:21;11019:279;;;;;;;;;;;11278:4;11019:279;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;11019:279:0;;;;;;;-1:-1:-1;10995:314:0;;;;;;;;10976:16;:333;-1:-1:-1;10751:566:0:o;14438:120::-;14514:10;;14383:6;14514:17;;14438:120::o;14629:108::-;14689:9;14719:10;;;14715:14;;;14719:10;14715:14;;;;;;14629:108;-1:-1:-1;;;14629:108:0:o;15817:12107::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15817:12107:0;;;-1:-1:-1;15817:12107:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o

bzzr://a28b4a38e9ffed776a23acdfef996c83183d99db1de0c69542a54e8fcba308ee