Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

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 BscScan.com on 2021-02-21
*/

// 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"}]

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c45a0155116100a2578063d505accf11610071578063d505accf14610665578063d54a8d18146106c3578063dd62ed3e146106f8578063fff6cae914610733576101da565b8063c45a0155146105e3578063d0f69579146105eb578063d21220a71461063c578063d4cadf6814610644576101da565b806395d89b41116100de57806395d89b4114610567578063a9059cbb1461056f578063ba9a7a56146105a8578063bc25cf77146105b0576101da565b806370a08231146104b55780637ecebe00146104e857806389afcb441461051b576101da565b806330adf81f1161017c5780634b75f54f1161014b5780634b75f54f1461046a5780635909c0d5146104725780635a3d54931461047a5780636a62784214610482576101da565b806330adf81f14610411578063313ce5671461041957806332bfe469146104375780633644e51514610462576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b50909250905061073b565b005b6102826110fd565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff6111a9565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111fe565b604080519115158252519081900360200190f35b61038b611215565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc611231565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135611237565b6103bc611316565b61042161133a565b6040805160ff9092168252519081900360200190f35b61043f61133f565b6040805163ffffffff938416815291909216602082015281519081900390910190f35b6103bc611371565b61038b611377565b6103bc611393565b6103bc611399565b6103bc6004803603602081101561049857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661139f565b6103bc600480360360208110156104cb57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661171e565b6103bc600480360360208110156104fe57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611730565b61054e6004803603602081101561053157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611742565b6040805192835260208301919091528051918290030190f35b610282611b9a565b61036f6004803603604081101561058557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135611c12565b6103bc611c1f565b610278600480360360208110156105c657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c25565b61038b611e1b565b6102786004803603608081101561060157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169063ffffffff60408201358116916060013516611e37565b61038b612560565b61064c61257c565b6040805163ffffffff9092168252519081900360200190f35b610278600480360360e081101561067b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135612588565b6106cb612854565b604080516dffffffffffffffffffffffffffff938416815291909216602082015281519081900390910190f35b6103bc6004803603604081101561070e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516612881565b61027861289e565b600d546001146107ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55841515806107bf5750600084115b61082a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f564c503a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600a546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041681871080156108715750806dffffffffffffffffffffffffffff1686105b6108dc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f564c503a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b600854600954600091829173ffffffffffffffffffffffffffffffffffffffff91821691908116908916821480159061094157508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b6109ac57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f564c503a20494e56414c49445f544f0000000000000000000000000000000000604482015290519081900360640190fd5b8a156109bd576109bd828a8d612a84565b89156109ce576109ce818a8c612a84565b8615610ab0578873ffffffffffffffffffffffffffffffffffffffff166310d1e85c338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610a9757600080fd5b505af1158015610aab573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610b1c57600080fd5b505afa158015610b30573d6000803e3d6000fd5b505050506040513d6020811015610b4657600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610bb857600080fd5b505afa158015610bcc573d6000803e3d6000fd5b505050506040513d6020811015610be257600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610c0c576000610c22565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610c46576000610c5c565b89856dffffffffffffffffffffffffffff160383035b90506000821180610c6d5750600081115b610cd857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f564c503a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610cec856103e863ffffffff612c9116565b90506000610d02856103e863ffffffff612c9116565b90508315610d9e57601054600090610d2590869063ffffffff90811690612c9116565b9050610d37838263ffffffff612d1716565b600f54909350610d5d906dffffffffffffffffffffffffffff168263ffffffff612d8916565b600f80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff92909216919091179055505b8215610e3957601054600090610dbf90859063ffffffff90811690612c9116565b9050610dd1828263ffffffff612d1716565b600f54909250610e03906e01000000000000000000000000000090046dffffffffffffffffffffffffffff1682612d89565b600f600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550505b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff166032811415610f2357610ea1620f4240610e956dffffffffffffffffffffffffffff8c8116908c1663ffffffff612c9116565b9063ffffffff612c9116565b610eb1848463ffffffff612c9116565b1015610f1e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b61107b565b600e5473ffffffffffffffffffffffffffffffffffffffff166379c91b37610f636dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b610f856dffffffffffffffffffffffffffff8c166103e863ffffffff612c9116565b8686866040518663ffffffff1660e01b8152600401808681526020018581526020018481526020018381526020018263ffffffff1663ffffffff1681526020019550505050505060206040518083038186803b158015610fe457600080fd5b505afa158015610ff8573d6000803e3d6000fd5b505050506040513d602081101561100e57600080fd5b505161107b57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f564c503a204b0000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b50505061108a84848888612dfb565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6000805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b820191906000526020600020905b81548152906001019060200180831161118457829003601f168201915b505050505081565b600a546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b600061120b338484613107565b5060015b92915050565b60085473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526004602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff146113015773ffffffffffffffffffffffffffffffffffffffff841660009081526004602090815260408083203384529091529020546112cf908363ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff851660009081526004602090815260408083203384529091529020555b61130c848484613176565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b600f547c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690606482900390565b60055481565b600e5473ffffffffffffffffffffffffffffffffffffffff1681565b600b5481565b600c5481565b6000600d5460011461141257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114226111a9565b50600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561149c57600080fd5b505afa1580156114b0573d6000803e3d6000fd5b505050506040513d60208110156114c657600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561153f57600080fd5b505afa158015611553573d6000803e3d6000fd5b505050506040513d602081101561156957600080fd5b50519050600061158f836dffffffffffffffffffffffffffff871663ffffffff612d1716565b905060006115b3836dffffffffffffffffffffffffffff871663ffffffff612d1716565b90506115bf8686613257565b5060025480611606576115f26103e86115e66115e1868663ffffffff612c9116565b613611565b9063ffffffff612d1716565b975061160160006103e8613663565b611663565b6116606dffffffffffffffffffffffffffff881661162a858463ffffffff612c9116565b8161163157fe5b046dffffffffffffffffffffffffffff8816611653858563ffffffff612c9116565b8161165a57fe5b04613714565b97505b600088116116bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806139d56022913960400191505060405180910390fd5b6116c68989613663565b6116d285858989612dfb565b6040805184815260208101849052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d55509395945050505050565b60036020526000908152604090205481565b60066020526000908152604090205481565b600080600d546001146117b657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806117c66111a9565b50600854600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561184857600080fd5b505afa15801561185c573d6000803e3d6000fd5b505050506040513d602081101561187257600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156118e657600080fd5b505afa1580156118fa573d6000803e3d6000fd5b505050506040513d602081101561191057600080fd5b50513060009081526003602052604090205490915061192f8787613257565b5060025480611944838663ffffffff612c9116565b8161194b57fe5b0499508061195f838563ffffffff612c9116565b8161196657fe5b04985060008a1180156119795750600089115b6119ce576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613a496022913960400191505060405180910390fd5b6119d8308361372c565b6119e3868c8c612a84565b6119ee858c8b612a84565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8816916370a08231916024808301926020929190829003018186803b158015611a5a57600080fd5b505afa158015611a6e573d6000803e3d6000fd5b505050506040513d6020811015611a8457600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8716916370a0823191602480820192602092909190829003018186803b158015611af657600080fd5b505afa158015611b0a573d6000803e3d6000fd5b505050506040513d6020811015611b2057600080fd5b50519250611b3084848a8a612dfb565b604080518b8152602081018b9052815173ffffffffffffffffffffffffffffffffffffffff8e169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a350505050505050506001600d81905550915091565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156111a15780601f10611176576101008083540402835291602001916111a1565b600061120b338484613176565b6103e881565b600d54600114611c9657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854600954600a54604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611d729285928792611d6d926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b505afa158015611d49573d6000803e3d6000fd5b505050506040513d6020811015611d5f57600080fd5b50519063ffffffff612d1716565b612a84565b600a54604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051611e119284928792611d6d926e01000000000000000000000000000090046dffffffffffffffffffffffffffff169173ffffffffffffffffffffffffffffffffffffffff8616916370a0823191602480820192602092909190829003018186803b158015611d3557600080fd5b50506001600d5550565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff163314611ebd57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f564c503a20464f5242494444454e000000000000000000000000000000000000604482015290519081900360640190fd5b60608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b158015611f0557600080fd5b505afa158015611f19573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01682016040526020811015611f6057600080fd5b8101908080516040519392919084640100000000821115611f8057600080fd5b908301906020820185811115611f9557600080fd5b8251640100000000811182820188101715611faf57600080fd5b82525081516020918201929091019080838360005b83811015611fdc578181015183820152602001611fc4565b50505050905090810190601f1680156120095780820380516001836020036101000a031916815260200191505b50604052505050905060608473ffffffffffffffffffffffffffffffffffffffff166395d89b416040518163ffffffff1660e01b815260040160006040518083038186803b15801561205a57600080fd5b505afa15801561206e573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405260208110156120b557600080fd5b81019080805160405193929190846401000000008211156120d557600080fd5b9083019060208201858111156120ea57600080fd5b825164010000000081118282018810171561210457600080fd5b82525081516020918201929091019080838360005b83811015612131578181015183820152602001612119565b50505050905090810190601f16801561215e5780820380516001836020036101000a031916815260200191505b5060405250505090506123bc82826040516020018083805190602001908083835b602083106121bc57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909201916020918201910161217f565b6001836020036101000a038019825116818451168082178552505050505050905001807f2f0000000000000000000000000000000000000000000000000000000000000081525060010182805190602001908083835b6020831061224f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612212565b6001836020036101000a038019825116818451168082178552505050505050905001807f2056616c7565204c5000000000000000000000000000000000000000000000008152506009019250505060405160208183030381529060405283836040516020018083805190602001908083835b602083106122fe57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016122c1565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff018019909216911617905285519190930192850191508083835b6020831061238257805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612345565b6001836020036101000a038019825116818451168082178552505050505050905001925050506040516020818303038152906040526137f0565b6008805473ffffffffffffffffffffffffffffffffffffffff8089167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600980548884169216919091179055600f805463ffffffff8088167c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff90921691909117909155601080549186167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000909216919091179055600754604080517f4b75f54f00000000000000000000000000000000000000000000000000000000815290519190921691634b75f54f916004808301926020929190829003018186803b1580156124e857600080fd5b505afa1580156124fc573d6000803e3d6000fd5b505050506040513d602081101561251257600080fd5b5051600e80547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff909216919091179055505050505050565b60095473ffffffffffffffffffffffffffffffffffffffff1681565b60105463ffffffff1690565b428410156125f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f564c503a20455850495245440000000000000000000000000000000000000000604482015290519081900360640190fd5b60055473ffffffffffffffffffffffffffffffffffffffff80891660008181526006602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015612758573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff8116158015906127d357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61283e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f564c503a20494e56414c49445f5349474e415455524500000000000000000000604482015290519081900360640190fd5b612849898989613107565b505050505050505050565b600f546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000009092041690565b600460209081526000928352604080842090915290825290205481565b600d5460011461290f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600b60248201527f564c503a204c4f434b4544000000000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600854604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051612a7d9273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561298657600080fd5b505afa15801561299a573d6000803e3d6000fd5b505050506040513d60208110156129b057600080fd5b5051600954604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b158015612a2357600080fd5b505afa158015612a37573d6000803e3d6000fd5b505050506040513d6020811015612a4d57600080fd5b5051600a546dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612dfb565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b60208310612b8a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101612b4d565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612bec576040519150601f19603f3d011682016040523d82523d6000602084013e612bf1565b606091505b5091509150818015612c1f575080511580612c1f5750808060200190516020811015612c1c57600080fd5b50515b612c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f564c503a205452414e534645525f4641494c4544000000000000000000000000604482015290519081900360640190fd5b5050505050565b6000811580612cac57505080820282828281612ca957fe5b04145b61120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b8082038281111561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b8082018281101561120f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b600f5463ffffffff7c01000000000000000000000000000000000000000000000000000000009091048116906dffffffffffffffffffffffffffff6064839003909116860211801590612e6457506dffffffffffffffffffffffffffff63ffffffff8216850211155b612ecf57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f564c503a204f564552464c4f5700000000000000000000000000000000000000604482015290519081900360640190fd5b600a5463ffffffff428116917c010000000000000000000000000000000000000000000000000000000090048116820390811615801590612f1f57506dffffffffffffffffffffffffffff851615155b8015612f3a57506dffffffffffffffffffffffffffff841615155b15612ffc5763ffffffff606484900381168602908085168602908316612f8d83612f63846138d4565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff169063ffffffff6138f816565b600b80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff8316612fcd82612f63856138d4565b600c80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905550505b600a80547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff898116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008983168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a150505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600360205260409020546131ac908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff80851660009081526003602052604080822093909355908416815220546131ee908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526003602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156132c257600080fd5b505afa1580156132d6573d6000803e3d6000fd5b505050506040513d60208110156132ec57600080fd5b5051600754604080517fb0e21e8a000000000000000000000000000000000000000000000000000000008152905192935060009273ffffffffffffffffffffffffffffffffffffffff9092169163b0e21e8a91600480820192602092909190829003018186803b15801561335f57600080fd5b505afa158015613373573d6000803e3d6000fd5b505050506040513d602081101561338957600080fd5b505173ffffffffffffffffffffffffffffffffffffffff83161515935090506000806133b3612854565b915091506000836dffffffffffffffffffffffffffff161180156133d45750845b801561340a57506000826dffffffffffffffffffffffffffff16118061340a57506000816dffffffffffffffffffffffffffff16115b1561358957600f54600e546002547c010000000000000000000000000000000000000000000000000000000090920463ffffffff169160009173ffffffffffffffffffffffffffffffffffffffff16906392aec23c908b8b8660648190036dffffffffffffffffffffffffffff8c8116908c168161348457fe5b048c6dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16816134ae57fe5b6040805160e08b901b7fffffffff0000000000000000000000000000000000000000000000000000000016815260048101999099526dffffffffffffffffffffffffffff97881660248a0152958716604489015263ffffffff9485166064890152929093166084870152841660a48601520490911660c48301525160e4808301926020929190829003018186803b15801561354857600080fd5b505afa15801561355c573d6000803e3d6000fd5b505050506040513d602081101561357257600080fd5b505190508015613586576135868682613663565b50505b6dffffffffffffffffffffffffffff8216156135c857600f80547fffffffffffffffffffffffffffffffffffff00000000000000000000000000001690555b6dffffffffffffffffffffffffffff81161561360757600f80547fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff1690555b5050505092915050565b60006003821115613654575080600160028204015b8181101561364e5780915060028182858161363d57fe5b04018161364657fe5b049050613626565b5061365e565b811561365e575060015b919050565b600254613676908263ffffffff612d8916565b60025573ffffffffffffffffffffffffffffffffffffffff82166000908152600360205260409020546136af908263ffffffff612d8916565b73ffffffffffffffffffffffffffffffffffffffff831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106137235781613725565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260036020526040902054613762908263ffffffff612d1716565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602052604090205560025461379b908263ffffffff612d1716565b60025560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b8151613803906000906020850190613939565b508051613817906001906020840190613939565b5060405146908060526139f782396040805191829003605201822086516020978801208383018352600184527f310000000000000000000000000000000000000000000000000000000000000093880193909352815180880191909152808201929092527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606083015260808201939093523060a0808301919091528351808303909101815260c090910190925250805192019190912060055550565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff84168161393157fe5b049392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061397a57805160ff19168380011785556139a7565b828001600101855582156139a7579182015b828111156139a757825182559160200191906001019061398c565b506139b39291506139b7565b5090565b6139d191905b808211156139b357600081556001016139bd565b9056fe564c503a20494e53554646494349454e545f4c49515549444954595f4d494e544544454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429564c503a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820889d526d543d8da14ad135d744096ffdfd49e86ce0ad98ce8d7df6ef1b4d84d864736f6c63430005110032

15704:11696:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15704:11696:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23752:3055;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;23752:3055:0;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;23752:3055:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;23752:3055: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;23752:3055:0;;-1:-1:-1;23752:3055:0;-1:-1:-1;23752:3055: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16892:313;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12136:150;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12136:150:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;16025:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10255:26;;;:::i;:::-;;;;;;;;;;;;;;;;12444:341;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12444:341:0;;;;;;;;;;;;;;;;;;:::i;10555:108::-;;;:::i;10213:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17408:184;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10412:31;;;:::i;16472:22::-;;;:::i;16353:35::-;;;:::i;16395:::-;;;:::i;21061:1163::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21061: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;22336:1304::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22336:1304:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10186:20;;;:::i;12294:142::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12294:142:0;;;;;;;;;:::i;15843:49::-;;;:::i;26856:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26856:334:0;;;;:::i;15996:22::-;;;:::i;18156:673::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;18156:673:0;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;16053:21::-;;;:::i;17600:97::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12793:648;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;12793:648:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;17213: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;27239:158::-;;;:::i;23752:3055::-;16789:8;;16801:1;16789:13;16781:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16840:1;16829:8;:12;23915:14;;;;:32;;;23946:1;23933:10;:14;23915:32;23907:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24014:8;;;;;;;24068;;;;24110:22;;;:48;;;;;24149:9;24136:22;;:10;:22;24110:48;24102:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24358:6;;24397;;24203:16;;;;24358:6;;;;;24397;;;;24426:13;;;;;;;:30;;;24449:7;24443:13;;:2;:13;;;;24426:30;24418:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24495:14;;24491:58;;24511:38;24525:7;24534:2;24538:10;24511:13;:38::i;:::-;24602:14;;24598:58;;24618:38;24632:7;24641:2;24645:10;24618:13;:38::i;:::-;24709:15;;24705:97;;24743:2;24726:34;;;24761:10;24773;24785;24797:4;;24726: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;;24726:76:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24726:76:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24726:76:0;;;;24705:97;24828:40;;;;;;24862:4;24828:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;24828:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24828:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24828:40:0;24894;;;;;;24928:4;24894:40;;;;;;24828;;-1:-1:-1;24894:25:0;;;;;;:40;;;;;24828;;24894;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;24894:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24894:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24894:40:0;;-1:-1:-1;24956:17:0;;-1:-1:-1;;24987:22:0;;;;;;24976:33;;:75;;25050:1;24976:75;;;25036:10;25024:9;:22;;;25012:8;:35;24976:75;24956:95;;25062:17;25105:10;25093:9;:22;;;25082:8;:33;:75;;25156:1;25082:75;;;25142:10;25130:9;:22;;;25118:8;:35;25082:75;25062:95;;25188:1;25176:9;:13;:30;;;;25205:1;25193:9;:13;25176:30;25168:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25344:24;25371:18;:8;25384:4;25371:18;:12;:18;:::i;:::-;25344:45;-1:-1:-1;25404:24:0;25431:18;:8;25444:4;25431:18;:12;:18;:::i;:::-;25404:45;-1:-1:-1;25536:13:0;;25532:271;;25611:7;;25574:20;;25597:22;;:9;;25611:7;;;;;25597:13;:22;:::i;:::-;25574:45;-1:-1:-1;25661:34:0;:16;25574:45;25661:34;:20;:34;:::i;:::-;25750:13;;25642:53;;-1:-1:-1;25742:40:0;;25750:13;;25769:12;25742:40;:26;:40;:::i;:::-;25718:13;:65;;;;;;;;;;;;;;;-1:-1:-1;25532:271:0;25825:13;;25821:271;;25900:7;;25863:20;;25886:22;;:9;;25900:7;;;;;25886:13;:22;:::i;:::-;25863:45;-1:-1:-1;25950:34:0;:16;25863:45;25950:34;:20;:34;:::i;:::-;26039:13;;25931:53;;-1:-1:-1;26031:40:0;;26039:13;;;;;26058:12;26031:26;:40::i;:::-;26007:13;;:65;;;;;;;;;;;;;;;;;;25821:271;;26133:12;;;;;;;26200:2;26183:19;;26179:453;;;26328:46;26366:7;26328:33;;:18;;;;:33;;;:22;:33;:::i;:::-;:37;:46;:37;:46;:::i;:::-;26286:38;:16;26307;26286:38;:20;:38;:::i;:::-;:88;;26278:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26179:453;;;26462:7;;;;26442:48;26491:28;:18;;;26514:4;26491:28;:22;:28;:::i;:::-;26521;:18;;;26544:4;26521:28;:22;:28;:::i;:::-;26551:16;26569;26587:13;26442:159;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26442:159:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26442:159:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26442:159:0;26434:178;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16852:1;;;26668:49;26676:8;26686;26696:9;26707;26668:7;:49::i;:::-;26733:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26738:10;;26733:66;;;;;;;;;-1:-1:-1;;16875:1:0;16864:8;:12;-1:-1:-1;;;;;;;;;23752:3055:0:o;10161:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;16892:313::-;17107:8;;;;;;;17138;;;;;;;17179:18;;;;;;16892:313::o;12136:150::-;12203:4;12220:36;12229:10;12241:7;12250:5;12220:8;:36::i;:::-;-1:-1:-1;12274:4:0;12136:150;;;;;:::o;16025:21::-;;;;;;:::o;10255:26::-;;;;:::o;12444:341::-;12580:15;;;12559:4;12580:15;;;:9;:15;;;;;;;;12596:10;12580:27;;;;;;;;12619:2;12580:42;12576:143;;12669:15;;;;;;;:9;:15;;;;;;;;12685:10;12669:27;;;;;;;;:38;;12701:5;12669:38;:31;:38;:::i;:::-;12639:15;;;;;;;:9;:15;;;;;;;;12655:10;12639:27;;;;;;;:68;12576:143;12729:26;12739:4;12745:2;12749:5;12729:9;:26::i;:::-;-1:-1:-1;12773:4:0;12444:341;;;;;:::o;10555:108::-;10597:66;10555:108;:::o;10213:35::-;10246:2;10213:35;:::o;17408:184::-;17527:12;;;;;;;;17566:3;:18;;;;17408:184::o;10412:31::-;;;;:::o;16472:22::-;;;;;;:::o;16353:35::-;;;;:::o;16395:::-;;;;:::o;21061:1163::-;21110:17;16789:8;;16801:1;16789:13;16781:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16840:1;16829:8;:12;;;16840:1;21183:13;:11;:13::i;:::-;-1:-1:-1;21248:6:0;;21241:39;;;;;;21274:4;21241:39;;;;;;21140:56;;-1:-1:-1;21140:56:0;;-1:-1:-1;21222:16:0;;21248:6;;;;;21241:24;;:39;;;;;;;;;;;;;;21248:6;21241:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21241:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21241:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21241:39:0;21317:6;;21310:39;;;;;;21343:4;21310:39;;;;;;21241;;-1:-1:-1;21291:16:0;;21317:6;;;;;21310:24;;:39;;;;;21241;;21310;;;;;;;;21317:6;21310:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21310:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21310:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21310:39:0;;-1:-1:-1;21360:15:0;21378:23;:8;:23;;;;:12;:23;:::i;:::-;21360:41;-1:-1:-1;21412:15:0;21430:23;:8;:23;;;;:12;:23;:::i;:::-;21412:41;;21464:30;21473:9;21484;21464:8;:30::i;:::-;-1:-1:-1;21528:11:0;;21641:17;21637:366;;21687:54;15887:5;21687:31;21697:20;:7;21709;21697:20;:11;:20;:::i;:::-;21687:9;:31::i;:::-;:35;:54;:35;:54;:::i;:::-;21675:66;;21756:36;21770:1;15887:5;21756;:36::i;:::-;21637:366;;;21905:86;21914:37;;;:25;:7;21926:12;21914:25;:11;:25;:::i;:::-;:37;;;;;;21953;;;:25;:7;21965:12;21953:25;:11;:25;:::i;:::-;:37;;;;;;21905:8;:86::i;:::-;21893:98;;21637:366;22033:1;22021:9;:13;22013:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22084:20;22090:2;22094:9;22084:5;:20::i;:::-;22117:49;22125:8;22135;22145:9;22156;22117:7;:49::i;:::-;22182:34;;;;;;;;;;;;;;22187:10;;22182:34;;;;;;;;-1:-1:-1;;16875:1:0;16864:8;:12;-1:-1:-1;21061:1163:0;;;-1:-1:-1;;;;;21061:1163:0:o;10288:44::-;;;;;;;;;;;;;:::o;10670:41::-;;;;;;;;;;;;;:::o;22336:1304::-;22385:15;22402;16789:8;;16801:1;16789:13;16781:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16840:1;16829:8;:12;;;16840:1;22473:13;:11;:13::i;:::-;-1:-1:-1;22530:6:0;;22580;;22631:40;;;;;;22665:4;22631:40;;;;;;22430:56;;-1:-1:-1;22430:56:0;;-1:-1:-1;22530:6:0;;;;;22580;;;22512:15;;22530:6;;22631:25;;:40;;;;;;;;;;;;;;22530:6;22631:40;;;5:2:-1;;;;30:1;27;20:12;5:2;22631:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22631:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22631:40:0;22701;;;;;;22735:4;22701:40;;;;;;22631;;-1:-1:-1;22682:16:0;;22701:25;;;;;;:40;;;;;22631;;22701;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;22701:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22701:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22701:40:0;22790:4;22752:17;22772:24;;;:9;22701:40;22772:24;;;;;22701:40;;-1:-1:-1;22807:30:0;22816:9;22827;22807:8;:30::i;:::-;-1:-1:-1;22871:11:0;;;22981:23;:9;22995:8;22981:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;23114:12:0;23088:23;:9;23102:8;23088:23;:13;:23;:::i;:::-;:38;;;;;;23078:48;;23203:1;23193:7;:11;:26;;;;;23218:1;23208:7;:11;23193:26;23185:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23269:31;23283:4;23290:9;23269:5;:31::i;:::-;23311:35;23325:7;23334:2;23338:7;23311:13;:35::i;:::-;23357;23371:7;23380:2;23384:7;23357:13;:35::i;:::-;23414:40;;;;;;23448:4;23414:40;;;;;;:25;;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;23414:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23414:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23414:40:0;23476;;;;;;23510:4;23476:40;;;;;;23414;;-1:-1:-1;23476:25:0;;;;;;:40;;;;;23414;;23476;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;23476:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23476:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23476:40:0;;-1:-1:-1;23529:49:0;23537:8;23476:40;23557:9;23568;23529:7;:49::i;:::-;23594:38;;;;;;;;;;;;;;;;;;23599:10;;23594:38;;;;;;;;;;;16852:1;;;;;;;;16875;16864:8;:12;;;;22336:1304;;;:::o;10186:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12294:142;12357:4;12374:32;12384:10;12396:2;12400:5;12374:9;:32::i;15843:49::-;15887:5;15843:49;:::o;26856:334::-;16789:8;;16801:1;16789:13;16781:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16840:1;16829:8;:12;26925:6;;26975;;27079:8;;27034:40;;;;;;27068:4;27034:40;;;;;;26925:6;;;;;26975;;;;27007:82;;26925:6;;27030:2;;27034:54;;27079:8;;;26925:6;;27034:25;;:40;;;;;;;;;;;;;;;26925:6;27034:40;;;5:2:-1;;;;30:1;27;20:12;5:2;27034:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27034:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27034:40:0;;:54;:44;:54;:::i;:::-;27007:13;:82::i;:::-;27172:8;;27127:40;;;;;;27161:4;27127:40;;;;;;27100:82;;27114:7;;27123:2;;27127:54;;27172:8;;;;;;27127:25;;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;27100:82:0;-1:-1:-1;;16875:1:0;16864:8;:12;-1:-1:-1;26856:334:0:o;15996:22::-;;;;;;:::o;18156:673::-;18334:7;;;;18320:10;:21;18312:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18371:22;18403:7;18396:22;;;:24;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18396:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18396:24:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;18396: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;18396: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;18396:24:0;;420:4:-1;411:14;;;;18396:24:0;;;;;411:14:-1;18396: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;18396:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18371:49;;18431:22;18463:7;18456:22;;;:24;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18456:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18456:24:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;18456: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;18456: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;18456:24:0;;420:4:-1;411:14;;;;18456:24:0;;;;;411:14:-1;18456: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;18456:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18431:49;;18491:120;18526:8;18541;18509: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;;;18509: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;;;18509:54:0;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;18509:54:0;;;18590:8;18600;18573: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;;18573:36:0;;;;;;;;;;-1:-1:-1;18573: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;;;18573:36:0;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;18573:36:0;;;18491:10;:120::i;:::-;18651:6;:16;;;;;;;;;;;;;;18678:6;:16;;;;;;;;;;;;;18705:12;:28;;;;;;;;;;;;;;;;;;;18744:7;:18;;;;;;;;;;;;;;;18803:7;;18783:38;;;;;;;;18803:7;;;;;18783:36;;:38;;;;;;;;;;;;;;18803:7;18783:38;;;5:2:-1;;;;30:1;27;20:12;5:2;18783:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18783:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18783:38:0;18773:7;:48;;;;;;;;;;;;;;-1:-1:-1;;;;;;18156:673:0:o;16053:21::-;;;;;;:::o;17600:97::-;17682:7;;;;;17600:97::o;12793:648::-;13015:15;13003:8;:27;;12995:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13114:16;;13193:13;;;;13058:14;13193:13;;;:6;:13;;;;;;;;:15;;;;;;;;;13142:77;;10597:66;13142:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;13142:77:0;;;;;13132:88;;;;;;13085:136;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;13085:136:0;;;;;;13075:147;;;;;;;;;13260:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13058:14;;13193:15;13260:26;;;;;-1:-1:-1;13260:26:0;;;;;;;;;;13193:15;13260:26;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;13260:26:0;;;;;;-1:-1:-1;;13305:30:0;;;;;;;:59;;;13359:5;13339:25;;:16;:25;;;13305:59;13297:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13402:31;13411:5;13418:7;13427:5;13402:8;:31::i;:::-;12793:648;;;;;;;;;:::o;17213:187::-;17338:13;;;;;;;17379;;;;;;17213:187::o;10339:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;27239:158::-;16789:8;;16801:1;16789:13;16781:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16840:1;16829:8;:12;27295:6;;27288:39;;;;;;27321:4;27288:39;;;;;;27280:109;;27295:6;;;27288:24;;:39;;;;;;;;;;;;;;27295:6;27288:39;;;5:2:-1;;;;30:1;27;20:12;5:2;27288:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27288:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27288:39:0;27336:6;;27329:39;;;;;;27362:4;27329:39;;;;;;27336:6;;;;;27329:24;;:39;;;;;27288;;27329;;;;;;;;27336:6;27329:39;;;5:2:-1;;;;30:1;27;20:12;5:2;27329:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;27329:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27329:39:0;27370:8;;;;;;;27380;;;;27280:7;:109::i;:::-;16875:1;16864:8;:12;27239:158::o;17705:318::-;15951:34;;;;;;;;;;;;;;;;;17870:43;;17859:10;17870:43;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;17870:43:0;;;;;;25:18:-1;;;61:17;;17870:43:0;182:15:-1;17870:43:0;179:29:-1;160:49;;17859:55:0;;;;17824:12;;17838:17;;17859:10;;;17870:43;17859:55;;;25:18:-1;17859: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;;;17859: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;;17823:91:0;;;;17933:7;:57;;;;-1:-1:-1;17945:11:0;;:16;;:44;;;17976:4;17965:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17965:24:0;17945:44;17925:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17705: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18914:1132;19090:12;;;;;;;;;;19121:47;19133:3;:19;;;19121:32;;;;;:47;;;;:90;;-1:-1:-1;19172:39:0;:24;;;;;:39;;19121:90;19113:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19344:18;;19271:23;:15;:23;;;19344:18;;;;;19327:35;;;19409:15;;;;;;:33;;-1:-1:-1;19428:14:0;;;;;19409:33;:51;;;;-1:-1:-1;19446:14:0;;;;;19409:51;19405:470;;;19558:33;19571:3;:19;;;19558:33;;;;;19626:25;;;;;;19690:67;;19698:44;19558:33;19698:27;19626:25;19698:16;:27::i;:::-;:33;;;:44;:33;:44;:::i;:::-;19666:20;:91;;19690:53;;;;;:67;;;;19666:91;;;19796:67;;;19804:44;19838:9;19804:27;19821:9;19804:16;:27::i;:44::-;19772:20;:91;;19796:53;;;;;:67;;;;19772:91;;;-1:-1:-1;;19405:470:0;19885:8;:28;;;;;;;;;;;;19924;;;;;;;;;;;;19963:35;;;;;;;;;;;;20014:24;;;20019:8;;;20014:24;;20029:8;;;;;;;20014:24;;;;;;;;;;;;;;;;;18914:1132;;;;;;;:::o;11657:206::-;11775:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;11824:31;;;;;;;;;;;;;;;;;11657:206;;;:::o;11871:257::-;12002:15;;;;;;;:9;:15;;;;;;:26;;12022:5;12002:26;:19;:26;:::i;:::-;11984:15;;;;;;;;:9;:15;;;;;;:44;;;;12055:13;;;;;;;:24;;12073:5;12055:24;:17;:24;:::i;:::-;12039:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;12095:25;;;;;;;12039:13;;12095:25;;;;;;;;;;;;;11871:257;;;:::o;20054:895::-;20127:10;20150:13;20186:7;;;;;;;;;;;20166:34;;;:36;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20166:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20166:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20166:36:0;20263:7;;20243:42;;;;;;;;20166:36;;-1:-1:-1;20213:19:0;;20263:7;;;;;20243:40;;:42;;;;;20166:36;;20243:42;;;;;;;;20263:7;20243:42;;;5:2:-1;;;;30:1;27;20:12;5:2;20243:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20243:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20243:42:0;20305:19;;;;;;-1:-1:-1;20243:42:0;-1:-1:-1;20322:1:0;;20386:18;:16;:18::i;:::-;20335:69;;;;20433:1;20419:11;:15;;;:24;;;;;20438:5;20419:24;:70;;;;;20465:1;20448:14;:18;;;:40;;;;20487:1;20470:14;:18;;;20448:40;20415:423;;;20529:12;;20613:7;;20639:11;;20529:12;;;;;;;20506:20;;20613:7;;;20593:45;;20652:9;20663;20529:12;20689:3;:19;;;20710:28;;;;;;;;;;;;;20757:11;20740:28;;:14;:28;;;;;;;20593:176;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20740:28;20593:176;;;;;;;;;;;;;;;;;;;;;;;;;;5:2:-1;;;;30:1;27;20:12;5:2;20593:176:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20593:176:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20593:176:0;;-1:-1:-1;20788:13:0;;20784:42;;20803:23;20809:5;20816:9;20803:5;:23::i;:::-;20415:423;;;20852:18;;;;20848:41;;20872:13;:17;;;;;;20848:41;20904:18;;;;20900:41;;20924:13;:17;;;;;;20900:41;20054:895;;;;;;;;:::o;13744:312::-;13792:9;13822:1;13818;:5;13814:235;;;-1:-1:-1;13844:1:0;13880;13876;13872:5;;:9;13896:92;13907:1;13903;:5;13896:92;;;13933:1;13929:5;;13971:1;13966;13962;13958;:5;;;;;;:9;13957:15;;;;;;13953:19;;13896:92;;;13814:235;;;;14009:6;;14005:44;;-1:-1:-1;14036:1:0;14005:44;13744:312;;;:::o;11225:204::-;11301:11;;:22;;11317:5;11301:22;:15;:22;:::i;:::-;11287:11;:36;11350:13;;;;;;;:9;:13;;;;;;:24;;11368:5;11350:24;:17;:24;:::i;:::-;11334:13;;;;;;;:9;:13;;;;;;;;:40;;;;11390:31;;;;;;;11334:13;;;;11390:31;;;;;;;;;;11225:204;;:::o;13521:105::-;13579:9;13609:1;13605;:5;:13;;13617:1;13605:13;;;13613:1;13605:13;13601:17;13521:105;-1:-1:-1;;;13521:105:0:o;11437:212::-;11519:15;;;;;;;:9;:15;;;;;;:26;;11539:5;11519:26;:19;:26;:::i;:::-;11501:15;;;;;;;:9;:15;;;;;:44;11570:11;;:22;;11586:5;11570:22;:15;:22;:::i;:::-;11556:11;:36;11608:33;;;;;;;;11631:1;;11608:33;;;;;;;;;;;;;11437:212;;:::o;10751:466::-;10835:12;;;;:4;;:12;;;;;:::i;:::-;-1:-1:-1;10858:16:0;;;;:6;;:16;;;;;:::i;:::-;-1:-1:-1;11030:95:0;;10946:9;;11030:95;;;;;;;;;;;;;;;;11127:23;;;;;;;11162:10;;;;;;;;;;;;;;;;11019:179;;;;;;;;;;;;;;;;11152:21;11019:179;;;;;;;;;;;11192:4;11019:179;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;11019:179:0;;;;;;;-1:-1:-1;10995:214:0;;;;;;;;10976:16;:233;-1:-1:-1;10751:466:0:o;14325:120::-;14401:10;;14270:6;14401:17;;14325:120::o;14516:108::-;14576:9;14606:10;;;14602:14;;;14606:10;14602:14;;;;;;14516:108;-1:-1:-1;;;14516:108:0:o;15704:11696::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15704:11696:0;;;-1:-1:-1;15704:11696:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o

bzzr://889d526d543d8da14ad135d744096ffdfd49e86ce0ad98ce8d7df6ef1b4d84d8