Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IVVSPair
•    - 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, uint va ...
•    - function transferFrom(address from, a ...
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(address owner, addres ...
•    - function MINIMUM_LIQUIDITY()
•    - function factory()
•    - function token0()
•    - function token1()
•    - function getReserves()
•    - function price0CumulativeLast()
•    - function price1CumulativeLast()
•    - function kLast()
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(uint amount0Out, uint a ...
•    - function skim(address to)
•    - function sync()
•    - function initialize(address, address)
• library ECDSA
•    - function recover(bytes32 hash, bytes ...
•    - function toEthSignedMessageHash(bytes ...
• interface IVVSERC20
•    - 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, uint va ...
•    - function transferFrom(address from, a ...
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(address owner, addres ...
• library SafeMath
•    - function add(uint x, uint y)
•    - function sub(uint x, uint y)
•    - function mul(uint x, uint y)
•  contract VVSERC20 is IVVSERC20
•    - function _mint(address to, uint value ...
•    - function _burn(address from, uint val ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•    - function permit(address owner, addres ...
• library Math
•    - function min(uint x, uint y)
•    - function sqrt(uint 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, uint va ...
•    - function transferFrom(address from, a ...
• interface IVVSFactory
•    - function feeTo()
•    - function feeToSetter()
•    - function getPair(address tokenA, addr ...
•    - function allPairs(uint)
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address)
•    - function setFeeToSetter(address)
• interface IVVSCallee
•    - function vvsCall(address sender, uint ...
•  contract VVSPair is IVVSPair, VVSE ... *
•    - function getReserves()
•    - function _safeTransfer(address token, ...
•    - function initialize(address _token0, ...
•    - function _update(uint balance0, uint ...
•    - function _mintFee(uint112 _reserve0, ...
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(uint amount0Out, uint a ...
•    - function skim(address to)
•    - function sync()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at cronoscan.com on 2022-09-05
*/

/**
 *Submitted for verification at cronoscan.com on 2022-01-11
*/

// File contracts/interfaces/IVVSPair.sol

pragma solidity >=0.5.0;

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

    function name() external pure returns (string memory);
    function symbol() external pure returns (string memory);
    function decimals() external pure returns (uint8);
    function totalSupply() external view returns (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint 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 (uint);

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

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

    function MINIMUM_LIQUIDITY() external pure returns (uint);
    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 price0CumulativeLast() external view returns (uint);
    function price1CumulativeLast() external view returns (uint);
    function kLast() external view returns (uint);

    function mint(address to) external returns (uint liquidity);
    function burn(address to) external returns (uint amount0, uint amount1);
    function swap(uint amount0Out, uint amount1Out, address to, bytes calldata data) external;
    function skim(address to) external;
    function sync() external;

    function initialize(address, address) external;
}


// File @openzeppelin/contracts/cryptography/[email protected]

pragma solidity ^0.5.0;

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * NOTE: This call _does not revert_ if the signature is invalid, or
     * if the signer is otherwise unable to be retrieved. In those scenarios,
     * the zero address is returned.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        // Check the signature length
        if (signature.length != 65) {
            return (address(0));
        }

        // Divide the signature in r, s and v variables
        bytes32 r;
        bytes32 s;
        uint8 v;

        // ecrecover takes the signature parameters, and the only way to get them
        // currently is to use assembly.
        // solhint-disable-next-line no-inline-assembly
        assembly {
            r := mload(add(signature, 0x20))
            s := mload(add(signature, 0x40))
            v := byte(0, mload(add(signature, 0x60)))
        }

        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (281): 0 < s < secp256k1n ÷ 2 + 1, and for v in (282): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return address(0);
        }

        if (v != 27 && v != 28) {
            return address(0);
        }

        // If the signature is valid (and not malleable), return the signer address
        return ecrecover(hash, v, r, s);
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * replicates the behavior of the
     * https://github.com/ethereum/wiki/wiki/JSON-RPC#eth_sign[`eth_sign`]
     * JSON-RPC method.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }
}


// File contracts/interfaces/IVVSERC20.sol

pragma solidity >=0.5.0;

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

    function name() external pure returns (string memory);
    function symbol() external pure returns (string memory);
    function decimals() external pure returns (uint8);
    function totalSupply() external view returns (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint 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 (uint);

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


// File contracts/libraries/SafeMath.sol

pragma solidity =0.5.16;

// a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)

library SafeMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, 'ds-math-add-overflow');
    }

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

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


// File contracts/VVSERC20.sol

pragma solidity =0.5.16;



contract VVSERC20 is IVVSERC20 {
    using SafeMath for uint;
    using ECDSA for bytes32;

    string public constant name = 'VVS Finance LPs';
    string public constant symbol = 'VVS-LP';
    uint8 public constant decimals = 18;
    uint  public totalSupply;
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) 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 => uint) public nonces;

    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    constructor() public {
        uint 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, uint value) internal {
        totalSupply = totalSupply.add(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(address(0), to, value);
    }

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

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

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

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

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

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

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


// File contracts/libraries/Math.sol

pragma solidity =0.5.16;

// a library for performing various math operations

library Math {
    function min(uint x, uint y) internal pure returns (uint z) {
        z = x < y ? x : y;
    }

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


// File contracts/libraries/UQ112x112.sol

pragma solidity =0.5.16;

// 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);
    }
}


// File contracts/interfaces/IERC20.sol

pragma solidity >=0.5.0;

interface IERC20 {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint 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 (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint value) external returns (bool);
}


// File contracts/interfaces/IVVSFactory.sol

pragma solidity >=0.5.0;

interface IVVSFactory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint);

    function feeTo() external view returns (address);
    function feeToSetter() external view returns (address);

    function getPair(address tokenA, address tokenB) external view returns (address pair);
    function allPairs(uint) external view returns (address pair);
    function allPairsLength() external view returns (uint);

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

    function setFeeTo(address) external;
    function setFeeToSetter(address) external;
}


// File contracts/interfaces/IVVSCallee.sol

pragma solidity >=0.5.0;

interface IVVSCallee {
    function vvsCall(address sender, uint amount0, uint amount1, bytes calldata data) external;
}


// File contracts/VVSPair.sol

pragma solidity =0.5.16;







contract VVSPair is IVVSPair, VVSERC20 {
    using SafeMath  for uint;
    using UQ112x112 for uint224;

    uint 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

    uint public price0CumulativeLast;
    uint public price1CumulativeLast;
    uint public kLast; // reserve0 * reserve1, as of immediately after the most recent liquidity event

    uint private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, 'VVS: LOCKED');
        unlocked = 0;
        _;
        unlocked = 1;
    }

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

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

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

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

    // called once by the factory at time of deployment
    function initialize(address _token0, address _token1) external {
        require(msg.sender == factory, 'VVS: FORBIDDEN'); // sufficient check
        token0 = _token0;
        token1 = _token1;
    }

    // update reserves and, on the first call per block, price accumulators
    function _update(uint balance0, uint balance1, uint112 _reserve0, uint112 _reserve1) private {
        require(balance0 <= uint112(-1) && balance1 <= uint112(-1), 'VVS: 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
            price0CumulativeLast += uint(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) * timeElapsed;
            price1CumulativeLast += uint(UQ112x112.encode(_reserve0).uqdiv(_reserve1)) * timeElapsed;
        }
        reserve0 = uint112(balance0);
        reserve1 = uint112(balance1);
        blockTimestampLast = blockTimestamp;
        emit Sync(reserve0, reserve1);
    }

    // if fee is on, mint liquidity equivalent to 1/3th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IVVSFactory(factory).feeTo();
        feeOn = feeTo != address(0);
        uint _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint rootK = Math.sqrt(uint(_reserve0).mul(_reserve1));
                uint rootKLast = Math.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint denominator = rootK.mul(2).add(rootKLast);
                    uint liquidity = numerator / denominator;
                    if (liquidity > 0) _mint(feeTo, liquidity);
                }
            }
        } else if (_kLast != 0) {
            kLast = 0;
        }
    }

    // this low-level function should be called from a contract which performs important safety checks
    function mint(address to) external lock returns (uint liquidity) {
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        uint balance0 = IERC20(token0).balanceOf(address(this));
        uint balance1 = IERC20(token1).balanceOf(address(this));
        uint amount0 = balance0.sub(_reserve0);
        uint amount1 = balance1.sub(_reserve1);

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint _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, 'VVS: INSUFFICIENT_LIQUIDITY_MINTED');
        _mint(to, liquidity);

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint(reserve0).mul(reserve1); // reserve0 and reserve1 are up-to-date
        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 (uint amount0, uint amount1) {
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        address _token0 = token0;                                // gas savings
        address _token1 = token1;                                // gas savings
        uint balance0 = IERC20(_token0).balanceOf(address(this));
        uint balance1 = IERC20(_token1).balanceOf(address(this));
        uint liquidity = balanceOf[address(this)];

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint _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, 'VVS: 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);
        if (feeOn) kLast = uint(reserve0).mul(reserve1); // reserve0 and reserve1 are up-to-date
        emit Burn(msg.sender, amount0, amount1, to);
    }

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

        uint balance0;
        uint balance1;
        { // scope for _token{0,1}, avoids stack too deep errors
        address _token0 = token0;
        address _token1 = token1;
        require(to != _token0 && to != _token1, 'VVS: 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) IVVSCallee(to).vvsCall(msg.sender, amount0Out, amount1Out, data);
        balance0 = IERC20(_token0).balanceOf(address(this));
        balance1 = IERC20(_token1).balanceOf(address(this));
        }
        uint amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
        uint amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
        require(amount0In > 0 || amount1In > 0, 'VVS: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint balance0Adjusted = (balance0.mul(1000).sub(amount0In.mul(3)));
        uint balance1Adjusted = (balance1.mul(1000).sub(amount1In.mul(3)));
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(1000**2), 'VVS: 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);
    }
}

• 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":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":"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":false,"inputs":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"kLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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"}]

60806040526001600c5534801561001557600080fd5b5060405146908060526123e88239604080519182900360520182208282018252600f83526e5656532046696e616e6365204c507360881b6020938401528151808301835260018152603160f81b908401528151808401919091527f3eda781f037316d70a177e5570b1789bc5c46e49abd4bb04f4d69c9ce086fbd0818301527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606082015260808101949094523060a0808601919091528151808603909101815260c09094019052825192019190912060035550600580546001600160a01b031916331790556122de8061010a6000396000f3fe608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610534578063d505accf1461053c578063dd62ed3e1461058d578063fff6cae9146105bb576101a9565b8063ba9a7a56146104fe578063bc25cf7714610506578063c45a01551461052c576101a9565b80637ecebe00116100d35780637ecebe001461046557806389afcb441461048b57806395d89b41146104ca578063a9059cbb146104d2576101a9565b80636a6278421461041157806370a08231146104375780637464fc3d1461045d576101a9565b806323b872dd116101665780633644e515116101405780633644e515146103cb578063485cc955146103d35780635909c0d5146104015780635a3d549314610409576101a9565b806323b872dd1461036f57806330adf81f146103a5578063313ce567146103ad576101a9565b8063022c0d9f146101ae57806306fdde031461023c5780630902f1ac146102b9578063095ea7b3146102f15780630dfe16811461033157806318160ddd14610355575b600080fd5b61023a600480360360808110156101c457600080fd5b8135916020810135916001600160a01b0360408301351691908101906080810160608201356401000000008111156101fb57600080fd5b82018360208201111561020d57600080fd5b8035906020019184600183028401116401000000008311171561022f57600080fd5b5090925090506105c3565b005b610244610b2e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027e578181015183820152602001610266565b50505050905090810190601f1680156102ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c1610b59565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61031d6004803603604081101561030757600080fd5b506001600160a01b038135169060200135610b83565b604080519115158252519081900360200190f35b610339610b9a565b604080516001600160a01b039092168252519081900360200190f35b61035d610ba9565b60408051918252519081900360200190f35b61031d6004803603606081101561038557600080fd5b506001600160a01b03813581169160208101359091169060400135610baf565b61035d610c49565b6103b5610c6d565b6040805160ff9092168252519081900360200190f35b61035d610c72565b61023a600480360360408110156103e957600080fd5b506001600160a01b0381358116916020013516610c78565b61035d610cf6565b61035d610cfc565b61035d6004803603602081101561042757600080fd5b50356001600160a01b0316610d02565b61035d6004803603602081101561044d57600080fd5b50356001600160a01b0316610ffc565b61035d61100e565b61035d6004803603602081101561047b57600080fd5b50356001600160a01b0316611014565b6104b1600480360360208110156104a157600080fd5b50356001600160a01b0316611026565b6040805192835260208301919091528051918290030190f35b6102446113c6565b61031d600480360360408110156104e857600080fd5b506001600160a01b0381351690602001356113e8565b61035d6113f5565b61023a6004803603602081101561051c57600080fd5b50356001600160a01b03166113fb565b610339611560565b61033961156f565b61023a600480360360e081101561055257600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c0013561157e565b61035d600480360360408110156105a357600080fd5b506001600160a01b038135811691602001351661175d565b61023a61177a565b600c54600114610608576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c558415158061061b5750600084115b61066c576040805162461bcd60e51b815260206004820152601f60248201527f5656533a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600080610677610b59565b5091509150816001600160701b03168710801561069c5750806001600160701b031686105b6106ed576040805162461bcd60e51b815260206004820152601b60248201527f5656533a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b60065460075460009182916001600160a01b0391821691908116908916821480159061072b5750806001600160a01b0316896001600160a01b031614155b61076e576040805162461bcd60e51b815260206004820152600f60248201526e5656533a20494e56414c49445f544f60881b604482015290519081900360640190fd5b8a1561077f5761077f828a8d6118d6565b891561079057610790818a8c6118d6565b861561084b57886001600160a01b03166338d7b3cb338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561083257600080fd5b505af1158015610846573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561089157600080fd5b505afa1580156108a5573d6000803e3d6000fd5b505050506040513d60208110156108bb57600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b15801561090757600080fd5b505afa15801561091b573d6000803e3d6000fd5b505050506040513d602081101561093157600080fd5b5051925060009150506001600160701b0385168a90038311610954576000610963565b89856001600160701b03160383035b9050600089856001600160701b031603831161098057600061098f565b89856001600160701b03160383035b905060008211806109a05750600081115b6109f1576040805162461bcd60e51b815260206004820152601e60248201527f5656533a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610a25610a0784600363ffffffff611a6716565b610a19876103e863ffffffff611a6716565b9063ffffffff611aca16565b90506000610a3d610a0784600363ffffffff611a6716565b9050610a6e620f4240610a626001600160701b038b8116908b1663ffffffff611a6716565b9063ffffffff611a6716565b610a7e838363ffffffff611a6716565b1015610aba576040805162461bcd60e51b81526020600482015260066024820152655656533a204b60d01b604482015290519081900360640190fd5b5050610ac884848888611b1a565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600f81526020016e5656532046696e616e6365204c507360881b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610b90338484611cd9565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610c34576001600160a01b0384166000908152600260209081526040808320338452909152902054610c0f908363ffffffff611aca16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c3f848484611d3b565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610cc8576040805162461bcd60e51b815260206004820152600e60248201526d2b2b299d102327a92124a22222a760911b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c54600114610d49576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c81905580610d59610b59565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610dad57600080fd5b505afa158015610dc1573d6000803e3d6000fd5b505050506040513d6020811015610dd757600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e2a57600080fd5b505afa158015610e3e573d6000803e3d6000fd5b505050506040513d6020811015610e5457600080fd5b505190506000610e73836001600160701b03871663ffffffff611aca16565b90506000610e90836001600160701b03871663ffffffff611aca16565b90506000610e9e8787611df5565b60005490915080610edb57610ec76103e8610a19610ec2878763ffffffff611a6716565b611f53565b9850610ed660006103e8611fa5565b610f2a565b610f276001600160701b038916610ef8868463ffffffff611a6716565b81610eff57fe5b046001600160701b038916610f1a868563ffffffff611a6716565b81610f2157fe5b0461203b565b98505b60008911610f695760405162461bcd60e51b81526004018080602001828103825260228152602001806122666022913960400191505060405180910390fd5b610f738a8a611fa5565b610f7f86868a8a611b1a565b8115610faf57600854610fab906001600160701b0380821691600160701b90041663ffffffff611a6716565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461106e576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c8190558061107e610b59565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b1580156110da57600080fd5b505afa1580156110ee573d6000803e3d6000fd5b505050506040513d602081101561110457600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561115257600080fd5b505afa158015611166573d6000803e3d6000fd5b505050506040513d602081101561117c57600080fd5b50513060009081526001602052604081205491925061119b8888611df5565b600054909150806111b2848763ffffffff611a6716565b816111b957fe5b049a50806111cd848663ffffffff611a6716565b816111d457fe5b04995060008b1180156111e7575060008a115b6112225760405162461bcd60e51b81526004018080602001828103825260228152602001806122886022913960400191505060405180910390fd5b61122c3084612053565b611237878d8d6118d6565b611242868d8c6118d6565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b15801561128857600080fd5b505afa15801561129c573d6000803e3d6000fd5b505050506040513d60208110156112b257600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b1580156112fe57600080fd5b505afa158015611312573d6000803e3d6000fd5b505050506040513d602081101561132857600080fd5b5051935061133885858b8b611b1a565b811561136857600854611364906001600160701b0380821691600160701b90041663ffffffff611a6716565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600681526020016505656532d4c560d41b81525081565b6000610b90338484611d3b565b6103e881565b600c54600114611440576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b0394851694909316926114ef92859287926114ea926001600160701b03169185916370a0823191602480820192602092909190829003018186803b1580156114b257600080fd5b505afa1580156114c6573d6000803e3d6000fd5b505050506040513d60208110156114dc57600080fd5b50519063ffffffff611aca16565b6118d6565b600854604080516370a0823160e01b8152306004820152905161155692849287926114ea92600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b1580156114b257600080fd5b50506001600c5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b428410156115c2576040805162461bcd60e51b815260206004820152600c60248201526b159594ce881156141254915160a21b604482015290519081900360640190fd5b6003546001600160a01b03808916600081815260046020908152604080832080546001810190915581517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98185015280830195909552948c166060850152608084018b905260a084019490945260c08084018a90528451808503909101815260e08401855280519082012061190160f01b6101008501526101028401959095526101228084019590955283518084039095018552610142830184528451940193909320610162820186905261018282018590526001600160f81b031960f888901b166101a283015282516101838184030181526101a39092019092529091906116d290839063ffffffff6120f116565b90506001600160a01b038116158015906116fd5750886001600160a01b0316816001600160a01b0316145b611747576040805162461bcd60e51b81526020600482015260166024820152755656533a20494e56414c49445f5349474e415455524560501b604482015290519081900360640190fd5b611752898989611cd9565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c546001146117bf576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c55600654604080516370a0823160e01b815230600482015290516118cf926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561181057600080fd5b505afa158015611824573d6000803e3d6000fd5b505050506040513d602081101561183a57600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b15801561188757600080fd5b505afa15801561189b573d6000803e3d6000fd5b505050506040513d60208110156118b157600080fd5b50516008546001600160701b0380821691600160701b900416611b1a565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b602083106119835780518252601f199092019160209182019101611964565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146119e5576040519150601f19603f3d011682016040523d82523d6000602084013e6119ea565b606091505b5091509150818015611a18575080511580611a185750808060200190516020811015611a1557600080fd5b50515b611a60576040805162461bcd60e51b8152602060048201526014602482015273159594ce881514905394d1915497d1905253115160621b604482015290519081900360640190fd5b5050505050565b6000811580611a8257505080820282828281611a7f57fe5b04145b610b94576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610b94576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611b3857506001600160701b038311155b611b79576040805162461bcd60e51b815260206004820152600d60248201526c5656533a204f564552464c4f5760981b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611ba957506001600160701b03841615155b8015611bbd57506001600160701b03831615155b15611c2e578063ffffffff16611beb85611bd6866121df565b6001600160e01b03169063ffffffff6121f116565b600980546001600160e01b03929092169290920201905563ffffffff8116611c1684611bd6876121df565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611d64908263ffffffff611aca16565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611d99908263ffffffff61221616565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611e4657600080fd5b505afa158015611e5a573d6000803e3d6000fd5b505050506040513d6020811015611e7057600080fd5b5051600b546001600160a01b038216158015945091925090611f3f578015611f3a576000611eb3610ec26001600160701b0388811690881663ffffffff611a6716565b90506000611ec083611f53565b905080821115611f37576000611eee611edf848463ffffffff611aca16565b6000549063ffffffff611a6716565b90506000611f1383611f0786600263ffffffff611a6716565b9063ffffffff61221616565b90506000818381611f2057fe5b0490508015611f3357611f338782611fa5565b5050505b50505b611f4b565b8015611f4b576000600b555b505092915050565b60006003821115611f96575080600160028204015b81811015611f9057809150600281828581611f7f57fe5b040181611f8857fe5b049050611f68565b50611fa0565b8115611fa0575060015b919050565b600054611fb8908263ffffffff61221616565b60009081556001600160a01b038316815260016020526040902054611fe3908263ffffffff61221616565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600081831061204a578161204c565b825b9392505050565b6001600160a01b03821660009081526001602052604090205461207c908263ffffffff611aca16565b6001600160a01b038316600090815260016020526040812091909155546120a9908263ffffffff611aca16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6000815160411461210457506000610b94565b60208201516040830151606084015160001a7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561214a5760009350505050610b94565b8060ff16601b1415801561216257508060ff16601c14155b156121735760009350505050610b94565b6040805160008152602080820180845289905260ff8416828401526060820186905260808201859052915160019260a0808401939192601f1981019281900390910190855afa1580156121ca573d6000803e3d6000fd5b5050604051601f190151979650505050505050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161220e57fe5b049392505050565b80820182811015610b94576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe5656533a20494e53554646494349454e545f4c49515549444954595f4d494e5445445656533a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820902c49c309bd4a714b52f692ab6ba8d147213a3ac14c441fdec1c26c9338d0ea64736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610534578063d505accf1461053c578063dd62ed3e1461058d578063fff6cae9146105bb576101a9565b8063ba9a7a56146104fe578063bc25cf7714610506578063c45a01551461052c576101a9565b80637ecebe00116100d35780637ecebe001461046557806389afcb441461048b57806395d89b41146104ca578063a9059cbb146104d2576101a9565b80636a6278421461041157806370a08231146104375780637464fc3d1461045d576101a9565b806323b872dd116101665780633644e515116101405780633644e515146103cb578063485cc955146103d35780635909c0d5146104015780635a3d549314610409576101a9565b806323b872dd1461036f57806330adf81f146103a5578063313ce567146103ad576101a9565b8063022c0d9f146101ae57806306fdde031461023c5780630902f1ac146102b9578063095ea7b3146102f15780630dfe16811461033157806318160ddd14610355575b600080fd5b61023a600480360360808110156101c457600080fd5b8135916020810135916001600160a01b0360408301351691908101906080810160608201356401000000008111156101fb57600080fd5b82018360208201111561020d57600080fd5b8035906020019184600183028401116401000000008311171561022f57600080fd5b5090925090506105c3565b005b610244610b2e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027e578181015183820152602001610266565b50505050905090810190601f1680156102ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c1610b59565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61031d6004803603604081101561030757600080fd5b506001600160a01b038135169060200135610b83565b604080519115158252519081900360200190f35b610339610b9a565b604080516001600160a01b039092168252519081900360200190f35b61035d610ba9565b60408051918252519081900360200190f35b61031d6004803603606081101561038557600080fd5b506001600160a01b03813581169160208101359091169060400135610baf565b61035d610c49565b6103b5610c6d565b6040805160ff9092168252519081900360200190f35b61035d610c72565b61023a600480360360408110156103e957600080fd5b506001600160a01b0381358116916020013516610c78565b61035d610cf6565b61035d610cfc565b61035d6004803603602081101561042757600080fd5b50356001600160a01b0316610d02565b61035d6004803603602081101561044d57600080fd5b50356001600160a01b0316610ffc565b61035d61100e565b61035d6004803603602081101561047b57600080fd5b50356001600160a01b0316611014565b6104b1600480360360208110156104a157600080fd5b50356001600160a01b0316611026565b6040805192835260208301919091528051918290030190f35b6102446113c6565b61031d600480360360408110156104e857600080fd5b506001600160a01b0381351690602001356113e8565b61035d6113f5565b61023a6004803603602081101561051c57600080fd5b50356001600160a01b03166113fb565b610339611560565b61033961156f565b61023a600480360360e081101561055257600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c0013561157e565b61035d600480360360408110156105a357600080fd5b506001600160a01b038135811691602001351661175d565b61023a61177a565b600c54600114610608576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c558415158061061b5750600084115b61066c576040805162461bcd60e51b815260206004820152601f60248201527f5656533a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600080610677610b59565b5091509150816001600160701b03168710801561069c5750806001600160701b031686105b6106ed576040805162461bcd60e51b815260206004820152601b60248201527f5656533a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b60065460075460009182916001600160a01b0391821691908116908916821480159061072b5750806001600160a01b0316896001600160a01b031614155b61076e576040805162461bcd60e51b815260206004820152600f60248201526e5656533a20494e56414c49445f544f60881b604482015290519081900360640190fd5b8a1561077f5761077f828a8d6118d6565b891561079057610790818a8c6118d6565b861561084b57886001600160a01b03166338d7b3cb338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561083257600080fd5b505af1158015610846573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561089157600080fd5b505afa1580156108a5573d6000803e3d6000fd5b505050506040513d60208110156108bb57600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b15801561090757600080fd5b505afa15801561091b573d6000803e3d6000fd5b505050506040513d602081101561093157600080fd5b5051925060009150506001600160701b0385168a90038311610954576000610963565b89856001600160701b03160383035b9050600089856001600160701b031603831161098057600061098f565b89856001600160701b03160383035b905060008211806109a05750600081115b6109f1576040805162461bcd60e51b815260206004820152601e60248201527f5656533a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610a25610a0784600363ffffffff611a6716565b610a19876103e863ffffffff611a6716565b9063ffffffff611aca16565b90506000610a3d610a0784600363ffffffff611a6716565b9050610a6e620f4240610a626001600160701b038b8116908b1663ffffffff611a6716565b9063ffffffff611a6716565b610a7e838363ffffffff611a6716565b1015610aba576040805162461bcd60e51b81526020600482015260066024820152655656533a204b60d01b604482015290519081900360640190fd5b5050610ac884848888611b1a565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600f81526020016e5656532046696e616e6365204c507360881b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610b90338484611cd9565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610c34576001600160a01b0384166000908152600260209081526040808320338452909152902054610c0f908363ffffffff611aca16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c3f848484611d3b565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610cc8576040805162461bcd60e51b815260206004820152600e60248201526d2b2b299d102327a92124a22222a760911b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c54600114610d49576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c81905580610d59610b59565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610dad57600080fd5b505afa158015610dc1573d6000803e3d6000fd5b505050506040513d6020811015610dd757600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e2a57600080fd5b505afa158015610e3e573d6000803e3d6000fd5b505050506040513d6020811015610e5457600080fd5b505190506000610e73836001600160701b03871663ffffffff611aca16565b90506000610e90836001600160701b03871663ffffffff611aca16565b90506000610e9e8787611df5565b60005490915080610edb57610ec76103e8610a19610ec2878763ffffffff611a6716565b611f53565b9850610ed660006103e8611fa5565b610f2a565b610f276001600160701b038916610ef8868463ffffffff611a6716565b81610eff57fe5b046001600160701b038916610f1a868563ffffffff611a6716565b81610f2157fe5b0461203b565b98505b60008911610f695760405162461bcd60e51b81526004018080602001828103825260228152602001806122666022913960400191505060405180910390fd5b610f738a8a611fa5565b610f7f86868a8a611b1a565b8115610faf57600854610fab906001600160701b0380821691600160701b90041663ffffffff611a6716565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c5460011461106e576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c8190558061107e610b59565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b1580156110da57600080fd5b505afa1580156110ee573d6000803e3d6000fd5b505050506040513d602081101561110457600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561115257600080fd5b505afa158015611166573d6000803e3d6000fd5b505050506040513d602081101561117c57600080fd5b50513060009081526001602052604081205491925061119b8888611df5565b600054909150806111b2848763ffffffff611a6716565b816111b957fe5b049a50806111cd848663ffffffff611a6716565b816111d457fe5b04995060008b1180156111e7575060008a115b6112225760405162461bcd60e51b81526004018080602001828103825260228152602001806122886022913960400191505060405180910390fd5b61122c3084612053565b611237878d8d6118d6565b611242868d8c6118d6565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b15801561128857600080fd5b505afa15801561129c573d6000803e3d6000fd5b505050506040513d60208110156112b257600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b1580156112fe57600080fd5b505afa158015611312573d6000803e3d6000fd5b505050506040513d602081101561132857600080fd5b5051935061133885858b8b611b1a565b811561136857600854611364906001600160701b0380821691600160701b90041663ffffffff611a6716565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600681526020016505656532d4c560d41b81525081565b6000610b90338484611d3b565b6103e881565b600c54600114611440576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b0394851694909316926114ef92859287926114ea926001600160701b03169185916370a0823191602480820192602092909190829003018186803b1580156114b257600080fd5b505afa1580156114c6573d6000803e3d6000fd5b505050506040513d60208110156114dc57600080fd5b50519063ffffffff611aca16565b6118d6565b600854604080516370a0823160e01b8152306004820152905161155692849287926114ea92600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b1580156114b257600080fd5b50506001600c5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b428410156115c2576040805162461bcd60e51b815260206004820152600c60248201526b159594ce881156141254915160a21b604482015290519081900360640190fd5b6003546001600160a01b03808916600081815260046020908152604080832080546001810190915581517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98185015280830195909552948c166060850152608084018b905260a084019490945260c08084018a90528451808503909101815260e08401855280519082012061190160f01b6101008501526101028401959095526101228084019590955283518084039095018552610142830184528451940193909320610162820186905261018282018590526001600160f81b031960f888901b166101a283015282516101838184030181526101a39092019092529091906116d290839063ffffffff6120f116565b90506001600160a01b038116158015906116fd5750886001600160a01b0316816001600160a01b0316145b611747576040805162461bcd60e51b81526020600482015260166024820152755656533a20494e56414c49445f5349474e415455524560501b604482015290519081900360640190fd5b611752898989611cd9565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c546001146117bf576040805162461bcd60e51b815260206004820152600b60248201526a159594ce881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c55600654604080516370a0823160e01b815230600482015290516118cf926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561181057600080fd5b505afa158015611824573d6000803e3d6000fd5b505050506040513d602081101561183a57600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b15801561188757600080fd5b505afa15801561189b573d6000803e3d6000fd5b505050506040513d60208110156118b157600080fd5b50516008546001600160701b0380821691600160701b900416611b1a565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b602083106119835780518252601f199092019160209182019101611964565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146119e5576040519150601f19603f3d011682016040523d82523d6000602084013e6119ea565b606091505b5091509150818015611a18575080511580611a185750808060200190516020811015611a1557600080fd5b50515b611a60576040805162461bcd60e51b8152602060048201526014602482015273159594ce881514905394d1915497d1905253115160621b604482015290519081900360640190fd5b5050505050565b6000811580611a8257505080820282828281611a7f57fe5b04145b610b94576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610b94576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611b3857506001600160701b038311155b611b79576040805162461bcd60e51b815260206004820152600d60248201526c5656533a204f564552464c4f5760981b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611ba957506001600160701b03841615155b8015611bbd57506001600160701b03831615155b15611c2e578063ffffffff16611beb85611bd6866121df565b6001600160e01b03169063ffffffff6121f116565b600980546001600160e01b03929092169290920201905563ffffffff8116611c1684611bd6876121df565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611d64908263ffffffff611aca16565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611d99908263ffffffff61221616565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611e4657600080fd5b505afa158015611e5a573d6000803e3d6000fd5b505050506040513d6020811015611e7057600080fd5b5051600b546001600160a01b038216158015945091925090611f3f578015611f3a576000611eb3610ec26001600160701b0388811690881663ffffffff611a6716565b90506000611ec083611f53565b905080821115611f37576000611eee611edf848463ffffffff611aca16565b6000549063ffffffff611a6716565b90506000611f1383611f0786600263ffffffff611a6716565b9063ffffffff61221616565b90506000818381611f2057fe5b0490508015611f3357611f338782611fa5565b5050505b50505b611f4b565b8015611f4b576000600b555b505092915050565b60006003821115611f96575080600160028204015b81811015611f9057809150600281828581611f7f57fe5b040181611f8857fe5b049050611f68565b50611fa0565b8115611fa0575060015b919050565b600054611fb8908263ffffffff61221616565b60009081556001600160a01b038316815260016020526040902054611fe3908263ffffffff61221616565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600081831061204a578161204c565b825b9392505050565b6001600160a01b03821660009081526001602052604090205461207c908263ffffffff611aca16565b6001600160a01b038316600090815260016020526040812091909155546120a9908263ffffffff611aca16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6000815160411461210457506000610b94565b60208201516040830151606084015160001a7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a082111561214a5760009350505050610b94565b8060ff16601b1415801561216257508060ff16601c14155b156121735760009350505050610b94565b6040805160008152602080820180845289905260ff8416828401526060820186905260808201859052915160019260a0808401939192601f1981019281900390910190855afa1580156121ca573d6000803e3d6000fd5b5050604051601f190151979650505050505050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161220e57fe5b049392505050565b80820182811015610b94576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe5656533a20494e53554646494349454e545f4c49515549444954595f4d494e5445445656533a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a72315820902c49c309bd4a714b52f692ab6ba8d147213a3ac14c441fdec1c26c9338d0ea64736f6c63430005100032

14952:9589:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14952:9589:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22097:1851;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;22097:1851:0;;;;;;;;-1:-1:-1;;;;;22097:1851:0;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;22097:1851:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;22097:1851: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;22097:1851:0;;-1:-1:-1;22097:1851:0;-1:-1:-1;22097:1851:0;:::i;:::-;;8400:47;;;:::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;8400:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15949:231;;;:::i;:::-;;;;-1:-1:-1;;;;;15949:231:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10452:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10452:147:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;15244:21;;;:::i;:::-;;;;-1:-1:-1;;;;;15244:21:0;;;;;;;;;;;;;;8543:24;;;:::i;:::-;;;;;;;;;;;;;;;;10754:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10754:301:0;;;;;;;;;;;;;;;;;:::i;8835:108::-;;;:::i;8501:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8692:31;;;:::i;17003:204::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;17003:204:0;;;;;;;;;;:::i;15595:32::-;;;:::i;15634:::-;;;:::i;19179:1234::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19179:1234:0;-1:-1:-1;;;;;19179:1234:0;;:::i;8574:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8574:41:0;-1:-1:-1;;;;;8574:41:0;;:::i;15673:17::-;;;:::i;8950:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8950:38:0;-1:-1:-1;;;;;8950:38:0;;:::i;20525:1460::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20525:1460:0;-1:-1:-1;;;;;20525:1460:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8454:40;;;:::i;10607:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10607:139:0;;;;;;;;:::i;15065:46::-;;;:::i;23997:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23997:334:0;-1:-1:-1;;;;;23997:334:0;;:::i;15215:22::-;;;:::i;15272:21::-;;;:::i;11063:677::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;11063:677:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;8622:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8622:61:0;;;;;;;;;;:::i;24380:158::-;;;:::i;22097:1851::-;15846:8;;15858:1;15846:13;15838:37;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;;;;15897:1;15886:8;:12;22211:14;;;;:32;;;22242:1;22229:10;:14;22211:32;22203:76;;;;;-1:-1:-1;;;22203:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22291:17;22310;22332:13;:11;:13::i;:::-;22290:55;;;;;22392:9;-1:-1:-1;;;;;22379:22:0;:10;:22;:48;;;;;22418:9;-1:-1:-1;;;;;22405:22:0;:10;:22;22379:48;22371:88;;;;;-1:-1:-1;;;22371:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22604:6;;22639;;22472:13;;;;-1:-1:-1;;;;;22604:6:0;;;;22639;;;;22664:13;;;;;;;:30;;;22687:7;-1:-1:-1;;;;;22681:13:0;:2;-1:-1:-1;;;;;22681:13:0;;;22664:30;22656:58;;;;;-1:-1:-1;;;22656:58:0;;;;;;;;;;;;-1:-1:-1;;;22656:58:0;;;;;;;;;;;;;;;22729:14;;22725:58;;22745:38;22759:7;22768:2;22772:10;22745:13;:38::i;:::-;22832:14;;22828:58;;22848:38;22862:7;22871:2;22875:10;22848:13;:38::i;:::-;22935:15;;22931:85;;22963:2;-1:-1:-1;;;;;22952:22:0;;22975:10;22987;22999;23011:4;;22952:64;;;;;;;;;;;;;-1:-1:-1;;;;;22952:64:0;-1:-1:-1;;;;;22952:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;22952:64:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22952:64:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22952:64:0;;;;22931:85;23038:40;;;-1:-1:-1;;;23038:40:0;;23072:4;23038:40;;;;;;-1:-1:-1;;;;;23038:25:0;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;23038:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23038:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23038:40:0;23100;;;-1:-1:-1;;;23100:40:0;;23134:4;23100:40;;;;;;23038;;-1:-1:-1;;;;;;23100:25:0;;;;;:40;;;;;23038;;23100;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;23100:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23100:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;23100:40:0;;-1:-1:-1;23162:14:0;;-1:-1:-1;;;;;;;23190:22:0;;;;;23179:33;;:75;;23253:1;23179:75;;;23239:10;23227:9;-1:-1:-1;;;;;23227:22:0;;23215:8;:35;23179:75;23162:92;;23265:14;23305:10;23293:9;-1:-1:-1;;;;;23293:22:0;;23282:8;:33;:75;;23356:1;23282:75;;;23342:10;23330:9;-1:-1:-1;;;;;23330:22:0;;23318:8;:35;23282:75;23265:92;;23388:1;23376:9;:13;:30;;;;23405:1;23393:9;:13;23376:30;23368:73;;;;;-1:-1:-1;;;23368:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;23527:21;23552:40;23575:16;:9;23589:1;23575:16;:13;:16;:::i;:::-;23552:18;:8;23565:4;23552:18;:12;:18;:::i;:::-;:22;:40;:22;:40;:::i;:::-;23527:66;-1:-1:-1;23604:21:0;23629:40;23652:16;:9;23666:1;23652:16;:13;:16;:::i;23629:40::-;23604:66;-1:-1:-1;23731:43:0;23766:7;23731:30;-1:-1:-1;;;;;23731:15:0;;;;:30;;;:19;:30;:::i;:::-;:34;:43;:34;:43;:::i;:::-;23689:38;:16;23710;23689:38;:20;:38;:::i;:::-;:85;;23681:104;;;;;-1:-1:-1;;;23681:104:0;;;;;;;;;;;;-1:-1:-1;;;23681:104:0;;;;;;;;;;;;;;;15909:1;;23809:49;23817:8;23827;23837:9;23848;23809:7;:49::i;:::-;23874:66;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23874:66:0;;;23879:10;;23874:66;;;;;;;;;-1:-1:-1;;15932:1:0;15921:8;:12;-1:-1:-1;;;;;;;;;22097:1851:0:o;8400:47::-;;;;;;;;;;;;;;-1:-1:-1;;;8400:47:0;;;;:::o;15949:231::-;16082:8;;-1:-1:-1;;;;;16082:8:0;;;;-1:-1:-1;;;16113:8:0;;;;;;-1:-1:-1;;;16154:18:0;;;;;15949:231::o;10452:147::-;10516:4;10533:36;10542:10;10554:7;10563:5;10533:8;:36::i;:::-;-1:-1:-1;10587:4:0;10452:147;;;;;:::o;15244:21::-;;;-1:-1:-1;;;;;15244:21:0;;:::o;8543:24::-;;;;:::o;10754:301::-;-1:-1:-1;;;;;10853:15:0;;10832:4;10853:15;;;:9;:15;;;;;;;;10869:10;10853:27;;;;;;;;-1:-1:-1;;10853:39:0;10849:140;;-1:-1:-1;;;;;10939:15:0;;;;;;:9;:15;;;;;;;;10955:10;10939:27;;;;;;;;:38;;10971:5;10939:38;:31;:38;:::i;:::-;-1:-1:-1;;;;;10909:15:0;;;;;;:9;:15;;;;;;;;10925:10;10909:27;;;;;;;:68;10849:140;10999:26;11009:4;11015:2;11019:5;10999:9;:26::i;:::-;-1:-1:-1;11043:4:0;10754:301;;;;;:::o;8835:108::-;8877:66;8835:108;:::o;8501:35::-;8534:2;8501:35;:::o;8692:31::-;;;;:::o;17003:204::-;17099:7;;-1:-1:-1;;;;;17099:7:0;17085:10;:21;17077:48;;;;;-1:-1:-1;;;17077:48:0;;;;;;;;;;;;-1:-1:-1;;;17077:48:0;;;;;;;;;;;;;;;17156:6;:16;;-1:-1:-1;;;;;17156:16:0;;;-1:-1:-1;;;;;;17156:16:0;;;;;;;17183:6;:16;;;;;;;;;;;17003:204::o;15595:32::-;;;;:::o;15634:::-;;;;:::o;19179:1234::-;19228:14;15846:8;;15858:1;15846:13;15838:37;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;;;;15897:1;15886:8;:12;;;15897:1;19297:13;:11;:13::i;:::-;-1:-1:-1;19359:6:0;;19352:39;;;-1:-1:-1;;;19352:39:0;;19385:4;19352:39;;;;;;19255:55;;-1:-1:-1;19255:55:0;;-1:-1:-1;19336:13:0;;-1:-1:-1;;;;;19359:6:0;;;;19352:24;;:39;;;;;;;;;;;;;;19359:6;19352:39;;;5:2:-1;;;;30:1;27;20:12;5:2;19352:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19352:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19352:39:0;19425:6;;19418:39;;;-1:-1:-1;;;19418:39:0;;19451:4;19418:39;;;;;;19352;;-1:-1:-1;19402:13:0;;-1:-1:-1;;;;;19425:6:0;;;;19418:24;;:39;;;;;19352;;19418;;;;;;;;19425:6;19418:39;;;5:2:-1;;;;30:1;27;20:12;5:2;19418:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19418:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19418:39:0;;-1:-1:-1;19468:12:0;19483:23;:8;-1:-1:-1;;;;;19483:23:0;;;:12;:23;:::i;:::-;19468:38;-1:-1:-1;19517:12:0;19532:23;:8;-1:-1:-1;;;;;19532:23:0;;;:12;:23;:::i;:::-;19517:38;;19568:10;19581:30;19590:9;19601;19581:8;:30::i;:::-;19622:17;19642:11;19568:43;;-1:-1:-1;19746:17:0;19742:352;;19792:54;15106:5;19792:31;19802:20;:7;19814;19802:20;:11;:20;:::i;:::-;19792:9;:31::i;:54::-;19780:66;;19860:36;19874:1;15106:5;19860;:36::i;:::-;19742:352;;;19996:86;-1:-1:-1;;;;;20005:37:0;;:25;:7;20017:12;20005:25;:11;:25;:::i;:::-;:37;;;;;;-1:-1:-1;;;;;20044:37:0;;:25;:7;20056:12;20044:25;:11;:25;:::i;:::-;:37;;;;;;19996:8;:86::i;:::-;19984:98;;19742:352;20124:1;20112:9;:13;20104:60;;;;-1:-1:-1;;;20104:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20175:20;20181:2;20185:9;20175:5;:20::i;:::-;20208:49;20216:8;20226;20236:9;20247;20208:7;:49::i;:::-;20272:5;20268:47;;;20306:8;;20287:28;;-1:-1:-1;;;;;20292:8:0;;;;-1:-1:-1;;;20306:8:0;;;20287:28;:18;:28;:::i;:::-;20279:5;:36;20268:47;20371:34;;;;;;;;;;;;;;20376:10;;20371:34;;;;;;;;-1:-1:-1;;15932:1:0;15921:8;:12;-1:-1:-1;19179:1234:0;;;-1:-1:-1;;;;;;19179:1234:0:o;8574:41::-;;;;;;;;;;;;;:::o;15673:17::-;;;;:::o;8950:38::-;;;;;;;;;;;;;:::o;20525:1460::-;20574:12;20588;15846:8;;15858:1;15846:13;15838:37;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;;;;15897:1;15886:8;:12;;;15897:1;20655:13;:11;:13::i;:::-;-1:-1:-1;20712:6:0;;20793;;20872:40;;;-1:-1:-1;;;20872:40:0;;20906:4;20872:40;;;;;;20613:55;;-1:-1:-1;20613:55:0;;-1:-1:-1;;;;;;20712:6:0;;;;20793;;;20694:15;;20712:6;;20872:25;;:40;;;;;;;;;;;;;;20712:6;20872:40;;;5:2:-1;;;;30:1;27;20:12;5:2;20872:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20872:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20872:40:0;20939;;;-1:-1:-1;;;20939:40:0;;20973:4;20939:40;;;;;;20872;;-1:-1:-1;20923:13:0;;-1:-1:-1;;;;;20939:25:0;;;;;:40;;;;;20872;;20939;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;20939:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20939:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20939:40:0;21025:4;20990:14;21007:24;;;:9;20939:40;21007:24;;;;;20939:40;;-1:-1:-1;21057:30:0;21066:9;21077;21057:8;:30::i;:::-;21098:17;21118:11;21044:43;;-1:-1:-1;21118:11:0;21228:23;:9;21242:8;21228:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;21361:12:0;21335:23;:9;21349:8;21335:23;:13;:23;:::i;:::-;:38;;;;;;21325:48;;21450:1;21440:7;:11;:26;;;;;21465:1;21455:7;:11;21440:26;21432:73;;;;-1:-1:-1;;;21432:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21516:31;21530:4;21537:9;21516:5;:31::i;:::-;21558:35;21572:7;21581:2;21585:7;21558:13;:35::i;:::-;21604;21618:7;21627:2;21631:7;21604:13;:35::i;:::-;21661:40;;;-1:-1:-1;;;21661:40:0;;21695:4;21661:40;;;;;;-1:-1:-1;;;;;21661:25:0;;;;;:40;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;21661:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21661:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21661:40:0;21723;;;-1:-1:-1;;;21723:40:0;;21757:4;21723:40;;;;;;21661;;-1:-1:-1;;;;;;21723:25:0;;;;;:40;;;;;21661;;21723;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;21723:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21723:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21723:40:0;;-1:-1:-1;21776:49:0;21784:8;21723:40;21804:9;21815;21776:7;:49::i;:::-;21840:5;21836:47;;;21874:8;;21855:28;;-1:-1:-1;;;;;21860:8:0;;;;-1:-1:-1;;;21874:8:0;;;21855:28;:18;:28;:::i;:::-;21847:5;:36;21836:47;21939:38;;;;;;;;;;;;;;-1:-1:-1;;;;;21939:38:0;;;21944:10;;21939:38;;;;;;;;;;;15909:1;;;;;;;;;15932;15921:8;:12;;;;20525:1460;;;:::o;8454:40::-;;;;;;;;;;;;;;-1:-1:-1;;;8454:40:0;;;;:::o;10607:139::-;10667:4;10684:32;10694:10;10706:2;10710:5;10684:9;:32::i;15065:46::-;15106:5;15065:46;:::o;23997:334::-;15846:8;;15858:1;15846:13;15838:37;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;;;;15897:1;15886:8;:12;24066:6;;24116;;24220:8;;24175:40;;;-1:-1:-1;;;24175:40:0;;24209:4;24175:40;;;;;;-1:-1:-1;;;;;24066:6:0;;;;24116;;;;24148:82;;24066:6;;24171:2;;24175:54;;-1:-1:-1;;;;;24220:8:0;;24066:6;;24175:25;;:40;;;;;;;;;;;;;;;24066:6;24175:40;;;5:2:-1;;;;30:1;27;20:12;5:2;24175:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24175:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24175:40:0;;:54;:44;:54;:::i;:::-;24148:13;:82::i;:::-;24313:8;;24268:40;;;-1:-1:-1;;;24268:40:0;;24302:4;24268:40;;;;;;24241:82;;24255:7;;24264:2;;24268:54;;-1:-1:-1;;;24313:8:0;;-1:-1:-1;;;;;24313:8:0;;-1:-1:-1;;;;;24268:25:0;;;;;:40;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;24241:82:0;-1:-1:-1;;15932:1:0;15921:8;:12;-1:-1:-1;23997:334:0:o;15215:22::-;;;-1:-1:-1;;;;;15215:22:0;;:::o;15272:21::-;;;-1:-1:-1;;;;;15272:21:0;;:::o;11063:677::-;11209:15;11197:8;:27;;11189:52;;;;;-1:-1:-1;;;11189:52:0;;;;;;;;;;;;-1:-1:-1;;;11189:52:0;;;;;;;;;;;;;;;11357:16;;-1:-1:-1;;;;;11453:13:0;;;11252:14;11453:13;;;:6;:13;;;;;;;;:15;;;;;;;;11402:77;;8877:66;11402:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;11402:77:0;;;;;11392:88;;;;;;-1:-1:-1;;;11293:202:0;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;11293:202:0;;;;;11269:237;;;;;;;;11559:25;;;;;;;;;;;;-1:-1:-1;;;;;;11559:25:0;;;;;;;;;;;22:32:-1;26:21;;;22:32;6:49;;11559:25:0;;;;;;;11269:237;;11252:14;11544:41;;11269:237;;11544:41;:14;:41;:::i;:::-;11517:68;-1:-1:-1;;;;;;11604:30:0;;;;;;:59;;;11658:5;-1:-1:-1;;;;;11638:25:0;:16;-1:-1:-1;;;;;11638:25:0;;11604:59;11596:94;;;;;-1:-1:-1;;;11596:94:0;;;;;;;;;;;;-1:-1:-1;;;11596:94:0;;;;;;;;;;;;;;;11701:31;11710:5;11717:7;11726:5;11701:8;:31::i;:::-;11063:677;;;;;;;;;:::o;8622:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;24380:158::-;15846:8;;15858:1;15846:13;15838:37;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;-1:-1:-1;;;15838:37:0;;;;;;;;;;;;;;;15897:1;15886:8;:12;24436:6;;24429:39;;;-1:-1:-1;;;24429:39:0;;24462:4;24429:39;;;;;;24421:109;;-1:-1:-1;;;;;24436:6:0;;24429:24;;:39;;;;;;;;;;;;;;24436:6;24429:39;;;5:2:-1;;;;30:1;27;20:12;5:2;24429:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24429:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24429:39:0;24477:6;;24470:39;;;-1:-1:-1;;;24470:39:0;;24503:4;24470:39;;;;;;-1:-1:-1;;;;;24477:6:0;;;;24470:24;;:39;;;;;24429;;24470;;;;;;;;24477:6;24470:39;;;5:2:-1;;;;30:1;27;20:12;5:2;24470:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24470:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24470:39:0;24511:8;;-1:-1:-1;;;;;24511:8:0;;;;-1:-1:-1;;;24521:8:0;;;24421:7;:109::i;:::-;15932:1;15921:8;:12;24380:158::o;16188:281::-;15170:34;;;;;;;;;;;;;;;;;16316:43;;-1:-1:-1;;;;;16316:43:0;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;16316:43:0;;;;;;25:18:-1;;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;16305:55:0;;;;16270:12;;16284:17;;16305:10;;;16316:43;16305:55;;;25:18:-1;16305:55:0;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;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;;;16305: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;;16269:91:0;;;;16379:7;:57;;;;-1:-1:-1;16391:11:0;;:16;;:44;;;16422:4;16411:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16411:24:0;16391:44;16371:90;;;;;-1:-1:-1;;;16371:90:0;;;;;;;;;;;;-1:-1:-1;;;16371:90:0;;;;;;;;;;;;;;;16188:281;;;;;:::o;8083:142::-;8135:6;8162;;;:30;;-1:-1:-1;;8177:5:0;;;8191:1;8186;8177:5;8186:1;8172:15;;;;;:20;8162:30;8154:63;;;;;-1:-1:-1;;;8154:63:0;;;;;;;;;;;;-1:-1:-1;;;8154:63:0;;;;;;;;;;;;;;7946:129;8030:5;;;8025:16;;;;8017:50;;;;;-1:-1:-1;;;8017:50:0;;;;;;;;;;;;-1:-1:-1;;;8017:50:0;;;;;;;;;;;;;;17292:854;-1:-1:-1;;;;;17404:23:0;;;;;:50;;-1:-1:-1;;;;;;17431:23:0;;;17404:50;17396:76;;;;;-1:-1:-1;;;17396:76:0;;;;;;;;;;;;-1:-1:-1;;;17396:76:0;;;;;;;;;;;;;;;17587:18;;17514:23;:15;:23;;;-1:-1:-1;;;17587:18:0;;;;17570:35;;;17643:15;;;;;;:33;;-1:-1:-1;;;;;;17662:14:0;;;;17643:33;:51;;;;-1:-1:-1;;;;;;17680:14:0;;;;17643:51;17639:336;;;17849:11;17796:64;;17801:44;17835:9;17801:27;17818:9;17801:16;:27::i;:::-;-1:-1:-1;;;;;17801:33:0;;:44;:33;:44;:::i;:::-;17772:20;:88;;-1:-1:-1;;;;;17796:50:0;;;;:64;;;;17772:88;;;17899:64;;;17904:44;17938:9;17904:27;17921:9;17904:16;:27::i;:44::-;17875:20;:88;;-1:-1:-1;;;;;17899:50:0;;;;:64;;;;17875:88;;;17639:336;17985:8;:28;;-1:-1:-1;;17985:28:0;-1:-1:-1;;;;;17985:28:0;;;;;;;-1:-1:-1;;;;18024:28:0;-1:-1:-1;;;18024:28:0;;;;;;;;;-1:-1:-1;;;;;18063:35:0;-1:-1:-1;;;18063:35:0;;;;;;;;;18114:24;;;18119:8;;;18114:24;;18129:8;;;;;;;18114:24;;;;;;;;;;;;;;;;;17292:854;;;;;;:::o;10047:169::-;-1:-1:-1;;;;;10128:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;10177:31;;;;;;;;;;;;;;;;;10047:169;;;:::o;10224:220::-;-1:-1:-1;;;;;10318:15:0;;;;;;:9;:15;;;;;;:26;;10338:5;10318:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;10300:15:0;;;;;;;:9;:15;;;;;;:44;;;;10371:13;;;;;;;:24;;10389:5;10371:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;10355:13:0;;;;;;;:9;:13;;;;;;;;;:40;;;;10411:25;;;;;;;10355:13;;10411:25;;;;;;;;;;;;;10224:220;;;:::o;18236:831::-;18309:10;18332:13;18360:7;;;;;;;;;-1:-1:-1;;;;;18360:7:0;-1:-1:-1;;;;;18348:26:0;;:28;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18348:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18348:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18348:28:0;18439:5;;-1:-1:-1;;;;;18395:19:0;;;;;;-1:-1:-1;18348:28:0;;-1:-1:-1;18439:5:0;18470:590;;18500:11;;18496:494;;18532:10;18545:41;18555:30;-1:-1:-1;;;;;18555:15:0;;;;:30;;;:19;:30;:::i;18545:41::-;18532:54;;18605:14;18622:17;18632:6;18622:9;:17::i;:::-;18605:34;;18670:9;18662:5;:17;18658:317;;;18704:14;18721:37;18737:20;:5;18747:9;18737:20;:9;:20;:::i;:::-;18721:11;;;:37;:15;:37;:::i;:::-;18704:54;-1:-1:-1;18781:16:0;18800:27;18817:9;18800:12;:5;18810:1;18800:12;:9;:12;:::i;:::-;:16;:27;:16;:27;:::i;:::-;18781:46;;18850:14;18879:11;18867:9;:23;;;;;;;-1:-1:-1;18917:13:0;;18913:42;;18932:23;18938:5;18945:9;18932:5;:23::i;:::-;18658:317;;;;18496:494;;;18470:590;;;19011:11;;19007:53;;19047:1;19039:5;:9;19007:53;18236:831;;;;;;:::o;12106:303::-;12151:6;12178:1;12174;:5;12170:232;;;-1:-1:-1;12200:1:0;12233;12229;12225:5;;:9;12249:92;12260:1;12256;:5;12249:92;;;12286:1;12282:5;;12324:1;12319;12315;12311;:5;;;;;;:9;12310:15;;;;;;12306:19;;12249:92;;;12170:232;;;;12362:6;;12358:44;;-1:-1:-1;12389:1:0;12358:44;12106:303;;;:::o;9621:201::-;9694:11;;:22;;9710:5;9694:22;:15;:22;:::i;:::-;9680:11;:36;;;-1:-1:-1;;;;;9743:13:0;;;;:9;:13;;;;;;:24;;9761:5;9743:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;9727:13:0;;;;;;:9;:13;;;;;;;;:40;;;;9783:31;;;;;;;9727:13;;;;9783:31;;;;;;;;;;9621:201;;:::o;11892:96::-;11944:6;11971:1;11967;:5;:13;;11979:1;11967:13;;;11975:1;11967:13;11963:17;11892:96;-1:-1:-1;;;11892:96:0:o;9830:209::-;-1:-1:-1;;;;;9909:15:0;;;;;;:9;:15;;;;;;:26;;9929:5;9909:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;9891:15:0;;;;;;:9;:15;;;;;:44;;;;9960:11;:22;;9976:5;9960:22;:15;:22;:::i;:::-;9946:11;:36;;;9998:33;;;;;;;;-1:-1:-1;;;;;9998:33:0;;;;;;;;;;;;;9830:209;;:::o;3909:1930::-;3987:7;4050:9;:16;4070:2;4050:22;4046:74;;-1:-1:-1;4105:1:0;4089:19;;4046:74;4481:4;4466:20;;4460:27;4527:4;4512:20;;4506:27;4581:4;4566:20;;4560:27;4189:9;4552:36;5511:66;5498:79;;5494:129;;;5609:1;5594:17;;;;;;;5494:129;5639:1;:7;;5644:2;5639:7;;:18;;;;;5650:1;:7;;5655:2;5650:7;;5639:18;5635:68;;;5689:1;5674:17;;;;;;;5635:68;5807:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;5807:24:0;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;5807:24:0;;-1:-1:-1;;5807:24:0;;;3909:1930;-1:-1:-1;;;;;;;3909:1930:0:o;12757:120::-;-1:-1:-1;;;;;12833:10:0;-1:-1:-1;;;12833:17:0;;12757:120::o;12948:108::-;13008:9;-1:-1:-1;;;;;13038:10:0;;-1:-1:-1;;;;;13034:14:0;;13038:10;13034:14;;;;;;12948:108;-1:-1:-1;;;12948:108:0:o;7810:128::-;7894:5;;;7889:16;;;;7881:49;;;;;-1:-1:-1;;;7881:49:0;;;;;;;;;;;;-1:-1:-1;;;7881:49:0;;;;;;;;;;;;;

bzzr://902c49c309bd4a714b52f692ab6ba8d147213a3ac14c441fdec1c26c9338d0ea