Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IMulanV2Factory
•    - 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 IMulanV2Pair
•    - 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)
• interface IMulanV2ERC20
•    - 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 ...
• 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 IMulanV2Callee
•    - function mulanV2Call(address sender, ...
•  contract MulanV2ERC20 is IMulanV2E ...
•    - 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 ...
•  contract MulanV2Pair is IMulanV2Pa ... *
•    - 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()
•  contract MulanV2Factory is IMulanV ...
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address _feeTo)
•    - function setFeeToSetter(address _feeT ...
• library SafeMath
•    - function add(uint x, uint y)
•    - function sub(uint x, uint y)
•    - function mul(uint x, uint y)
• library Math
•    - function min(uint x, uint y)
•    - function sqrt(uint y)
• library UQ112x112
•    - function encode(uint112 y)
•    - function uqdiv(uint224 x, uint112 y)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-06-03
*/

/**
 *Submitted for verification at Etherscan.io on 2021-04-07
*/

pragma solidity =0.5.16;

interface IMulanV2Factory {
    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;
}

interface IMulanV2Pair {
    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;
}

interface IMulanV2ERC20 {
    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;
}

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

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

contract MulanV2ERC20 is IMulanV2ERC20 {
    using SafeMath for uint;

    string public constant name = 'Mulan V2';
    string public constant symbol = 'Mulan-V2';
    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, 'MulanV2: 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, 'MulanV2: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

contract MulanV2Pair is IMulanV2Pair, MulanV2ERC20 {
    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, 'MulanV2: 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))), 'MulanV2: 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, 'MulanV2: 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), 'MulanV2: 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/6th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IMulanV2Factory(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(5).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, 'MulanV2: 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, 'MulanV2: 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, 'MulanV2: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'MulanV2: 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, 'MulanV2: 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) IMulanV2Callee(to).mulanV2Call(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, 'MulanV2: 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), 'MulanV2: 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 MulanV2Factory is IMulanV2Factory {
    address public feeTo;
    address public feeToSetter;

    mapping(address => mapping(address => address)) public getPair;
    address[] public allPairs;

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

    constructor(address _feeToSetter) public {
        feeToSetter = _feeToSetter;
    }

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

    function createPair(address tokenA, address tokenB) external returns (address pair) {
        require(tokenA != tokenB, 'MulanV2: IDENTICAL_ADDRESSES');
        (address token0, address token1) = tokenA < tokenB ? (tokenA, tokenB) : (tokenB, tokenA);
        require(token0 != address(0), 'MulanV2: ZERO_ADDRESS');
        require(getPair[token0][token1] == address(0), 'MulanV2: PAIR_EXISTS'); // single check is sufficient
        bytes memory bytecode = type(MulanV2Pair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1));
        assembly {
            pair := create2(0, add(bytecode, 32), mload(bytecode), salt)
        }
        IMulanV2Pair(pair).initialize(token0, token1);
        getPair[token0][token1] = pair;
        getPair[token1][token0] = pair; // populate mapping in the reverse direction
        allPairs.push(pair);
        emit PairCreated(token0, token1, pair, allPairs.length);
    }

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

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

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

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

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

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

60806040526001600c5534801561001557600080fd5b50604051469080605261235d8239604080519182900360520182208282018252600883526726bab630b7102b1960c11b6020938401528151808301835260018152603160f81b908401528151808401919091527ff169a756302c7fcd1887061d626146adce6d5103940104fce806a84425646c62818301527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606082015260808101949094523060a0808601919091528151808603909101815260c09094019052825192019190912060035550600580546001600160a01b0319163317905561225a806101036000396000f3fe608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610534578063d505accf1461053c578063dd62ed3e1461058d578063fff6cae9146105bb576101a9565b8063ba9a7a56146104fe578063bc25cf7714610506578063c45a01551461052c576101a9565b80637ecebe00116100d35780637ecebe001461046557806389afcb441461048b57806395d89b41146104ca578063a9059cbb146104d2576101a9565b80636a6278421461041157806370a08231146104375780637464fc3d1461045d576101a9565b806323b872dd116101665780633644e515116101405780633644e515146103cb578063485cc955146103d35780635909c0d5146104015780635a3d549314610409576101a9565b806323b872dd1461036f57806330adf81f146103a5578063313ce567146103ad576101a9565b8063022c0d9f146101ae57806306fdde031461023c5780630902f1ac146102b9578063095ea7b3146102f15780630dfe16811461033157806318160ddd14610355575b600080fd5b61023a600480360360808110156101c457600080fd5b8135916020810135916001600160a01b0360408301351691908101906080810160608201356401000000008111156101fb57600080fd5b82018360208201111561020d57600080fd5b8035906020019184600183028401116401000000008311171561022f57600080fd5b5090925090506105c3565b005b610244610b0e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027e578181015183820152602001610266565b50505050905090810190601f1680156102ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c1610b32565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61031d6004803603604081101561030757600080fd5b506001600160a01b038135169060200135610b5c565b604080519115158252519081900360200190f35b610339610b73565b604080516001600160a01b039092168252519081900360200190f35b61035d610b82565b60408051918252519081900360200190f35b61031d6004803603606081101561038557600080fd5b506001600160a01b03813581169160208101359091169060400135610b88565b61035d610c22565b6103b5610c46565b6040805160ff9092168252519081900360200190f35b61035d610c4b565b61023a600480360360408110156103e957600080fd5b506001600160a01b0381358116916020013516610c51565b61035d610cd3565b61035d610cd9565b61035d6004803603602081101561042757600080fd5b50356001600160a01b0316610cdf565b61035d6004803603602081101561044d57600080fd5b50356001600160a01b0316610fdd565b61035d610fef565b61035d6004803603602081101561047b57600080fd5b50356001600160a01b0316610ff5565b6104b1600480360360208110156104a157600080fd5b50356001600160a01b0316611007565b6040805192835260208301919091528051918290030190f35b6102446113ab565b61031d600480360360408110156104e857600080fd5b506001600160a01b0381351690602001356113cf565b61035d6113dc565b61023a6004803603602081101561051c57600080fd5b50356001600160a01b03166113e2565b61033961154b565b61033961155a565b61023a600480360360e081101561055257600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611569565b61035d600480360360408110156105a357600080fd5b506001600160a01b0381358116916020013516611769565b61023a611786565b600c5460011461060c576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c558415158061061f5750600084115b61065a5760405162461bcd60e51b81526004018080602001828103825260238152602001806122036023913960400191505060405180910390fd5b600080610665610b32565b5091509150816001600160701b03168710801561068a5750806001600160701b031686105b6106db576040805162461bcd60e51b815260206004820152601f60248201527f4d756c616e56323a20494e53554646494349454e545f4c495155494449545900604482015290519081900360640190fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107195750806001600160a01b0316896001600160a01b031614155b610760576040805162461bcd60e51b81526020600482015260136024820152724d756c616e56323a20494e56414c49445f544f60681b604482015290519081900360640190fd5b8a1561077157610771828a8d6118e6565b891561078257610782818a8c6118e6565b861561083d57886001600160a01b03166376477839338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561082457600080fd5b505af1158015610838573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561088357600080fd5b505afa158015610897573d6000803e3d6000fd5b505050506040513d60208110156108ad57600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b1580156108f957600080fd5b505afa15801561090d573d6000803e3d6000fd5b505050506040513d602081101561092357600080fd5b5051925060009150506001600160701b0385168a90038311610946576000610955565b89856001600160701b03160383035b9050600089856001600160701b0316038311610972576000610981565b89856001600160701b03160383035b905060008211806109925750600081115b6109cd5760405162461bcd60e51b81526004018080602001828103825260228152602001806121e16022913960400191505060405180910390fd5b6000610a016109e384600363ffffffff611a8016565b6109f5876103e863ffffffff611a8016565b9063ffffffff611ae316565b90506000610a196109e384600363ffffffff611a8016565b9050610a4a620f4240610a3e6001600160701b038b8116908b1663ffffffff611a8016565b9063ffffffff611a8016565b610a5a838363ffffffff611a8016565b1015610a9a576040805162461bcd60e51b815260206004820152600a6024820152694d756c616e56323a204b60b01b604482015290519081900360640190fd5b5050610aa884848888611b33565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600881526020016726bab630b7102b1960c11b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610b69338484611cf6565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610c0d576001600160a01b0384166000908152600260209081526040808320338452909152902054610be8908363ffffffff611ae316565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c18848484611d58565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610ca5576040805162461bcd60e51b815260206004820152601260248201527126bab630b72b191d102327a92124a22222a760711b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c54600114610d2a576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c81905580610d3a610b32565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610d8e57600080fd5b505afa158015610da2573d6000803e3d6000fd5b505050506040513d6020811015610db857600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e0b57600080fd5b505afa158015610e1f573d6000803e3d6000fd5b505050506040513d6020811015610e3557600080fd5b505190506000610e54836001600160701b03871663ffffffff611ae316565b90506000610e71836001600160701b03871663ffffffff611ae316565b90506000610e7f8787611e12565b60005490915080610ebc57610ea86103e86109f5610ea3878763ffffffff611a8016565b611f70565b9850610eb760006103e8611fc2565b610f0b565b610f086001600160701b038916610ed9868463ffffffff611a8016565b81610ee057fe5b046001600160701b038916610efb868563ffffffff611a8016565b81610f0257fe5b04612058565b98505b60008911610f4a5760405162461bcd60e51b81526004018080602001828103825260268152602001806121956026913960400191505060405180910390fd5b610f548a8a611fc2565b610f6086868a8a611b33565b8115610f9057600854610f8c906001600160701b0380821691600160701b90041663ffffffff611a8016565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c54600114611053576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c81905580611063610b32565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b1580156110bf57600080fd5b505afa1580156110d3573d6000803e3d6000fd5b505050506040513d60208110156110e957600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561113757600080fd5b505afa15801561114b573d6000803e3d6000fd5b505050506040513d602081101561116157600080fd5b5051306000908152600160205260408120549192506111808888611e12565b60005490915080611197848763ffffffff611a8016565b8161119e57fe5b049a50806111b2848663ffffffff611a8016565b816111b957fe5b04995060008b1180156111cc575060008a115b6112075760405162461bcd60e51b81526004018080602001828103825260268152602001806121bb6026913960400191505060405180910390fd5b6112113084612070565b61121c878d8d6118e6565b611227868d8c6118e6565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b15801561126d57600080fd5b505afa158015611281573d6000803e3d6000fd5b505050506040513d602081101561129757600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b1580156112e357600080fd5b505afa1580156112f7573d6000803e3d6000fd5b505050506040513d602081101561130d57600080fd5b5051935061131d85858b8b611b33565b811561134d57600854611349906001600160701b0380821691600160701b90041663ffffffff611a8016565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600881526020016726bab630b716ab1960c11b81525081565b6000610b69338484611d58565b6103e881565b600c5460011461142b576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b0394851694909316926114da92859287926114d5926001600160701b03169185916370a0823191602480820192602092909190829003018186803b15801561149d57600080fd5b505afa1580156114b1573d6000803e3d6000fd5b505050506040513d60208110156114c757600080fd5b50519063ffffffff611ae316565b6118e6565b600854604080516370a0823160e01b8152306004820152905161154192849287926114d592600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b15801561149d57600080fd5b50506001600c5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b428410156115b1576040805162461bcd60e51b815260206004820152601060248201526f135d5b185b958c8e881156141254915160821b604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa1580156116cc573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906117025750886001600160a01b0316816001600160a01b0316145b611753576040805162461bcd60e51b815260206004820152601a60248201527f4d756c616e56323a20494e56414c49445f5349474e4154555245000000000000604482015290519081900360640190fd5b61175e898989611cf6565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c546001146117cf576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c55600654604080516370a0823160e01b815230600482015290516118df926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561182057600080fd5b505afa158015611834573d6000803e3d6000fd5b505050506040513d602081101561184a57600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b15801561189757600080fd5b505afa1580156118ab573d6000803e3d6000fd5b505050506040513d60208110156118c157600080fd5b50516008546001600160701b0380821691600160701b900416611b33565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b602083106119935780518252601f199092019160209182019101611974565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146119f5576040519150601f19603f3d011682016040523d82523d6000602084013e6119fa565b606091505b5091509150818015611a28575080511580611a285750808060200190516020811015611a2557600080fd5b50515b611a79576040805162461bcd60e51b815260206004820152601860248201527f4d756c616e56323a205452414e534645525f4641494c45440000000000000000604482015290519081900360640190fd5b5050505050565b6000811580611a9b57505080820282828281611a9857fe5b04145b610b6d576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610b6d576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611b5157506001600160701b038311155b611b96576040805162461bcd60e51b81526020600482015260116024820152704d756c616e56323a204f564552464c4f5760781b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611bc657506001600160701b03841615155b8015611bda57506001600160701b03831615155b15611c4b578063ffffffff16611c0885611bf38661210e565b6001600160e01b03169063ffffffff61212016565b600980546001600160e01b03929092169290920201905563ffffffff8116611c3384611bf38761210e565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611d81908263ffffffff611ae316565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611db6908263ffffffff61214516565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611e6357600080fd5b505afa158015611e77573d6000803e3d6000fd5b505050506040513d6020811015611e8d57600080fd5b5051600b546001600160a01b038216158015945091925090611f5c578015611f57576000611ed0610ea36001600160701b0388811690881663ffffffff611a8016565b90506000611edd83611f70565b905080821115611f54576000611f0b611efc848463ffffffff611ae316565b6000549063ffffffff611a8016565b90506000611f3083611f2486600563ffffffff611a8016565b9063ffffffff61214516565b90506000818381611f3d57fe5b0490508015611f5057611f508782611fc2565b5050505b50505b611f68565b8015611f68576000600b555b505092915050565b60006003821115611fb3575080600160028204015b81811015611fad57809150600281828581611f9c57fe5b040181611fa557fe5b049050611f85565b50611fbd565b8115611fbd575060015b919050565b600054611fd5908263ffffffff61214516565b60009081556001600160a01b038316815260016020526040902054612000908263ffffffff61214516565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106120675781612069565b825b9392505050565b6001600160a01b038216600090815260016020526040902054612099908263ffffffff611ae316565b6001600160a01b038316600090815260016020526040812091909155546120c6908263ffffffff611ae316565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161213d57fe5b049392505050565b80820182811015610b6d576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe4d756c616e56323a20494e53554646494349454e545f4c49515549444954595f4d494e5445444d756c616e56323a20494e53554646494349454e545f4c49515549444954595f4255524e45444d756c616e56323a20494e53554646494349454e545f494e5055545f414d4f554e544d756c616e56323a20494e53554646494349454e545f4f55545055545f414d4f554e54a265627a7a723158206a670cc967aee7634210da788a18874c54e652aaa66dde9f6d696b649c7aed0364736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610534578063d505accf1461053c578063dd62ed3e1461058d578063fff6cae9146105bb576101a9565b8063ba9a7a56146104fe578063bc25cf7714610506578063c45a01551461052c576101a9565b80637ecebe00116100d35780637ecebe001461046557806389afcb441461048b57806395d89b41146104ca578063a9059cbb146104d2576101a9565b80636a6278421461041157806370a08231146104375780637464fc3d1461045d576101a9565b806323b872dd116101665780633644e515116101405780633644e515146103cb578063485cc955146103d35780635909c0d5146104015780635a3d549314610409576101a9565b806323b872dd1461036f57806330adf81f146103a5578063313ce567146103ad576101a9565b8063022c0d9f146101ae57806306fdde031461023c5780630902f1ac146102b9578063095ea7b3146102f15780630dfe16811461033157806318160ddd14610355575b600080fd5b61023a600480360360808110156101c457600080fd5b8135916020810135916001600160a01b0360408301351691908101906080810160608201356401000000008111156101fb57600080fd5b82018360208201111561020d57600080fd5b8035906020019184600183028401116401000000008311171561022f57600080fd5b5090925090506105c3565b005b610244610b0e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027e578181015183820152602001610266565b50505050905090810190601f1680156102ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c1610b32565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61031d6004803603604081101561030757600080fd5b506001600160a01b038135169060200135610b5c565b604080519115158252519081900360200190f35b610339610b73565b604080516001600160a01b039092168252519081900360200190f35b61035d610b82565b60408051918252519081900360200190f35b61031d6004803603606081101561038557600080fd5b506001600160a01b03813581169160208101359091169060400135610b88565b61035d610c22565b6103b5610c46565b6040805160ff9092168252519081900360200190f35b61035d610c4b565b61023a600480360360408110156103e957600080fd5b506001600160a01b0381358116916020013516610c51565b61035d610cd3565b61035d610cd9565b61035d6004803603602081101561042757600080fd5b50356001600160a01b0316610cdf565b61035d6004803603602081101561044d57600080fd5b50356001600160a01b0316610fdd565b61035d610fef565b61035d6004803603602081101561047b57600080fd5b50356001600160a01b0316610ff5565b6104b1600480360360208110156104a157600080fd5b50356001600160a01b0316611007565b6040805192835260208301919091528051918290030190f35b6102446113ab565b61031d600480360360408110156104e857600080fd5b506001600160a01b0381351690602001356113cf565b61035d6113dc565b61023a6004803603602081101561051c57600080fd5b50356001600160a01b03166113e2565b61033961154b565b61033961155a565b61023a600480360360e081101561055257600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611569565b61035d600480360360408110156105a357600080fd5b506001600160a01b0381358116916020013516611769565b61023a611786565b600c5460011461060c576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c558415158061061f5750600084115b61065a5760405162461bcd60e51b81526004018080602001828103825260238152602001806122036023913960400191505060405180910390fd5b600080610665610b32565b5091509150816001600160701b03168710801561068a5750806001600160701b031686105b6106db576040805162461bcd60e51b815260206004820152601f60248201527f4d756c616e56323a20494e53554646494349454e545f4c495155494449545900604482015290519081900360640190fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107195750806001600160a01b0316896001600160a01b031614155b610760576040805162461bcd60e51b81526020600482015260136024820152724d756c616e56323a20494e56414c49445f544f60681b604482015290519081900360640190fd5b8a1561077157610771828a8d6118e6565b891561078257610782818a8c6118e6565b861561083d57886001600160a01b03166376477839338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561082457600080fd5b505af1158015610838573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561088357600080fd5b505afa158015610897573d6000803e3d6000fd5b505050506040513d60208110156108ad57600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b1580156108f957600080fd5b505afa15801561090d573d6000803e3d6000fd5b505050506040513d602081101561092357600080fd5b5051925060009150506001600160701b0385168a90038311610946576000610955565b89856001600160701b03160383035b9050600089856001600160701b0316038311610972576000610981565b89856001600160701b03160383035b905060008211806109925750600081115b6109cd5760405162461bcd60e51b81526004018080602001828103825260228152602001806121e16022913960400191505060405180910390fd5b6000610a016109e384600363ffffffff611a8016565b6109f5876103e863ffffffff611a8016565b9063ffffffff611ae316565b90506000610a196109e384600363ffffffff611a8016565b9050610a4a620f4240610a3e6001600160701b038b8116908b1663ffffffff611a8016565b9063ffffffff611a8016565b610a5a838363ffffffff611a8016565b1015610a9a576040805162461bcd60e51b815260206004820152600a6024820152694d756c616e56323a204b60b01b604482015290519081900360640190fd5b5050610aa884848888611b33565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600881526020016726bab630b7102b1960c11b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610b69338484611cf6565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610c0d576001600160a01b0384166000908152600260209081526040808320338452909152902054610be8908363ffffffff611ae316565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c18848484611d58565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610ca5576040805162461bcd60e51b815260206004820152601260248201527126bab630b72b191d102327a92124a22222a760711b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c54600114610d2a576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c81905580610d3a610b32565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610d8e57600080fd5b505afa158015610da2573d6000803e3d6000fd5b505050506040513d6020811015610db857600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610e0b57600080fd5b505afa158015610e1f573d6000803e3d6000fd5b505050506040513d6020811015610e3557600080fd5b505190506000610e54836001600160701b03871663ffffffff611ae316565b90506000610e71836001600160701b03871663ffffffff611ae316565b90506000610e7f8787611e12565b60005490915080610ebc57610ea86103e86109f5610ea3878763ffffffff611a8016565b611f70565b9850610eb760006103e8611fc2565b610f0b565b610f086001600160701b038916610ed9868463ffffffff611a8016565b81610ee057fe5b046001600160701b038916610efb868563ffffffff611a8016565b81610f0257fe5b04612058565b98505b60008911610f4a5760405162461bcd60e51b81526004018080602001828103825260268152602001806121956026913960400191505060405180910390fd5b610f548a8a611fc2565b610f6086868a8a611b33565b8115610f9057600854610f8c906001600160701b0380821691600160701b90041663ffffffff611a8016565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c54600114611053576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c81905580611063610b32565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b1580156110bf57600080fd5b505afa1580156110d3573d6000803e3d6000fd5b505050506040513d60208110156110e957600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561113757600080fd5b505afa15801561114b573d6000803e3d6000fd5b505050506040513d602081101561116157600080fd5b5051306000908152600160205260408120549192506111808888611e12565b60005490915080611197848763ffffffff611a8016565b8161119e57fe5b049a50806111b2848663ffffffff611a8016565b816111b957fe5b04995060008b1180156111cc575060008a115b6112075760405162461bcd60e51b81526004018080602001828103825260268152602001806121bb6026913960400191505060405180910390fd5b6112113084612070565b61121c878d8d6118e6565b611227868d8c6118e6565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b15801561126d57600080fd5b505afa158015611281573d6000803e3d6000fd5b505050506040513d602081101561129757600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b1580156112e357600080fd5b505afa1580156112f7573d6000803e3d6000fd5b505050506040513d602081101561130d57600080fd5b5051935061131d85858b8b611b33565b811561134d57600854611349906001600160701b0380821691600160701b90041663ffffffff611a8016565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600881526020016726bab630b716ab1960c11b81525081565b6000610b69338484611d58565b6103e881565b600c5460011461142b576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b0394851694909316926114da92859287926114d5926001600160701b03169185916370a0823191602480820192602092909190829003018186803b15801561149d57600080fd5b505afa1580156114b1573d6000803e3d6000fd5b505050506040513d60208110156114c757600080fd5b50519063ffffffff611ae316565b6118e6565b600854604080516370a0823160e01b8152306004820152905161154192849287926114d592600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b15801561149d57600080fd5b50506001600c5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b428410156115b1576040805162461bcd60e51b815260206004820152601060248201526f135d5b185b958c8e881156141254915160821b604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa1580156116cc573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906117025750886001600160a01b0316816001600160a01b0316145b611753576040805162461bcd60e51b815260206004820152601a60248201527f4d756c616e56323a20494e56414c49445f5349474e4154555245000000000000604482015290519081900360640190fd5b61175e898989611cf6565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c546001146117cf576040805162461bcd60e51b815260206004820152600f60248201526e135d5b185b958c8e881313d0d2d151608a1b604482015290519081900360640190fd5b6000600c55600654604080516370a0823160e01b815230600482015290516118df926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561182057600080fd5b505afa158015611834573d6000803e3d6000fd5b505050506040513d602081101561184a57600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b15801561189757600080fd5b505afa1580156118ab573d6000803e3d6000fd5b505050506040513d60208110156118c157600080fd5b50516008546001600160701b0380821691600160701b900416611b33565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b602083106119935780518252601f199092019160209182019101611974565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146119f5576040519150601f19603f3d011682016040523d82523d6000602084013e6119fa565b606091505b5091509150818015611a28575080511580611a285750808060200190516020811015611a2557600080fd5b50515b611a79576040805162461bcd60e51b815260206004820152601860248201527f4d756c616e56323a205452414e534645525f4641494c45440000000000000000604482015290519081900360640190fd5b5050505050565b6000811580611a9b57505080820282828281611a9857fe5b04145b610b6d576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610b6d576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611b5157506001600160701b038311155b611b96576040805162461bcd60e51b81526020600482015260116024820152704d756c616e56323a204f564552464c4f5760781b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611bc657506001600160701b03841615155b8015611bda57506001600160701b03831615155b15611c4b578063ffffffff16611c0885611bf38661210e565b6001600160e01b03169063ffffffff61212016565b600980546001600160e01b03929092169290920201905563ffffffff8116611c3384611bf38761210e565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611d81908263ffffffff611ae316565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611db6908263ffffffff61214516565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611e6357600080fd5b505afa158015611e77573d6000803e3d6000fd5b505050506040513d6020811015611e8d57600080fd5b5051600b546001600160a01b038216158015945091925090611f5c578015611f57576000611ed0610ea36001600160701b0388811690881663ffffffff611a8016565b90506000611edd83611f70565b905080821115611f54576000611f0b611efc848463ffffffff611ae316565b6000549063ffffffff611a8016565b90506000611f3083611f2486600563ffffffff611a8016565b9063ffffffff61214516565b90506000818381611f3d57fe5b0490508015611f5057611f508782611fc2565b5050505b50505b611f68565b8015611f68576000600b555b505092915050565b60006003821115611fb3575080600160028204015b81811015611fad57809150600281828581611f9c57fe5b040181611fa557fe5b049050611f85565b50611fbd565b8115611fbd575060015b919050565b600054611fd5908263ffffffff61214516565b60009081556001600160a01b038316815260016020526040902054612000908263ffffffff61214516565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106120675781612069565b825b9392505050565b6001600160a01b038216600090815260016020526040902054612099908263ffffffff611ae316565b6001600160a01b038316600090815260016020526040812091909155546120c6908263ffffffff611ae316565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161213d57fe5b049392505050565b80820182811015610b6d576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe4d756c616e56323a20494e53554646494349454e545f4c49515549444954595f4d494e5445444d756c616e56323a20494e53554646494349454e545f4c49515549444954595f4255524e45444d756c616e56323a20494e53554646494349454e545f494e5055545f414d4f554e544d756c616e56323a20494e53554646494349454e545f4f55545055545f414d4f554e54a265627a7a723158206a670cc967aee7634210da788a18874c54e652aaa66dde9f6d696b649c7aed0364736f6c63430005100032

8701:9698:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8701:9698:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15887:1919;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;15887:1919:0;;;;;;;;;;;;-1:-1:-1;;;;;15887:1919:0;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;15887:1919:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15887:1919: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;15887:1919:0;;-1:-1:-1;15887:1919:0;-1:-1:-1;15887:1919:0;:::i;:::-;;5366:40;;;:::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;5366:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9714:231;;;:::i;:::-;;;;-1:-1:-1;;;;;9714:231:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7413:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7413:147:0;;-1:-1:-1;;;;;7413:147:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;9005:21;;;:::i;:::-;;;;-1:-1:-1;;;;;9005:21:0;;;;;;;;;;;;;;5504:24;;;:::i;:::-;;;;;;;;;;;;;;;;7715:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7715:301:0;;;;;;;;;;;;;;;;;:::i;5796:108::-;;;:::i;5462:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5653:31;;;:::i;10772:208::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10772:208:0;;;;;;;;;;:::i;9356:32::-;;;:::i;9395:::-;;;:::i;12960:1239::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12960:1239:0;-1:-1:-1;;;;;12960:1239:0;;:::i;5535:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5535:41:0;-1:-1:-1;;;;;5535:41:0;;:::i;9434:17::-;;;:::i;5911:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5911:38:0;-1:-1:-1;;;;;5911:38:0;;:::i;14311:1464::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14311:1464:0;-1:-1:-1;;;;;14311:1464:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5413:42;;;:::i;7568:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7568:139:0;;-1:-1:-1;;;;;7568:139:0;;;;;;:::i;8826:46::-;;;:::i;17855:334::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17855:334:0;-1:-1:-1;;;;;17855:334:0;;:::i;8976:22::-;;;:::i;9033:21::-;;;:::i;8024:670::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;8024:670:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8024:670:0;;;;;;;;:::i;5583:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5583:61:0;;;;;;;;;;:::i;18238:158::-;;;:::i;15887:1919::-;9607:8;;9619:1;9607:13;9599:41;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;;;;9662:1;9651:8;:12;16001:14;;;;:32;;;16032:1;16019:10;:14;16001:32;15993:80;;;;-1:-1:-1;;;15993:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16085:17;16104;16126:13;:11;:13::i;:::-;-1:-1:-1;16084:55:0;;-1:-1:-1;16084:55:0;-1:-1:-1;;;;;;16173:22:0;;;;:48;;;;-1:-1:-1;;;;;;16199:22:0;;;;16173:48;16165:92;;;;;-1:-1:-1;;;16165:92:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;16406:6;;16445;;16270:13;;;;-1:-1:-1;;;;;16406:6:0;;;;16445;;;;16474:13;;;;;;;:30;;-1:-1:-1;;;;;;16491:13:0;;;;;;;;16474:30;16466:62;;;;;-1:-1:-1;;;16466:62:0;;;;;;;;;;;;-1:-1:-1;;;16466:62:0;;;;;;;;;;;;;;;16547:14;;16543:58;;16563:38;16577:7;16586:2;16590:10;16563:13;:38::i;:::-;16654:14;;16650:58;;16670:38;16684:7;16693:2;16697:10;16670:13;:38::i;:::-;16761:15;;16757:93;;16793:2;-1:-1:-1;;;;;16778:30:0;;16809:10;16821;16833;16845:4;;16778:72;;;;;;;;;;;;;-1:-1:-1;;;;;16778:72:0;-1:-1:-1;;;;;16778:72: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;;16778:72:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16778:72:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16778:72:0;;;;16757:93;16876:40;;;-1:-1:-1;;;16876:40:0;;16910:4;16876:40;;;;;;-1:-1:-1;;;;;16876:25:0;;;-1:-1:-1;;16876:40:0;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;16876:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16876:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16876:40:0;16942;;;-1:-1:-1;;;16942:40:0;;16976:4;16942:40;;;;;;16876;;-1:-1:-1;;;;;;16942:25:0;;;-1:-1:-1;;16942:40:0;;;;;16876;;16942;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;16942:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16942:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16942:40:0;;-1:-1:-1;17004:14:0;;-1:-1:-1;;;;;;;17032:22:0;;;;;17021:33;;:75;;17095:1;17021:75;;;-1:-1:-1;;;;;17069:22:0;;;;;17057:35;;17021:75;17004:92;-1:-1:-1;17107:14:0;-1:-1:-1;;;;;17135:22:0;;;;;17124:33;;:75;;17198:1;17124:75;;;-1:-1:-1;;;;;17172:22:0;;;;;17160:35;;17124:75;17107:92;;17230:1;17218:9;:13;:30;;;;17247:1;17235:9;:13;17218:30;17210:77;;;;-1:-1:-1;;;17210:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17377:21;17401:40;17424:16;:9;17438:1;17424:16;:13;:16;:::i;:::-;17401:18;:8;17414:4;17401:18;:12;:18;:::i;:::-;:22;:40;:22;:40;:::i;:::-;17377:64;-1:-1:-1;17456:21:0;17480:40;17503:16;:9;17517:1;17503:16;:13;:16;:::i;17480:40::-;17456:64;-1:-1:-1;17585:43:0;17620:7;17585:30;-1:-1:-1;;;;;17585:15:0;;;;:30;;:19;:30::i;:::-;:34;:43;:34;:43;:::i;:::-;17543:38;:16;17564;17543:38;:20;:38;:::i;:::-;:85;;17535:108;;;;;-1:-1:-1;;;17535:108:0;;;;;;;;;;;;-1:-1:-1;;;17535:108:0;;;;;;;;;;;;;;;9674:1;;17667:49;17675:8;17685;17695:9;17706;17667:7;:49::i;:::-;17732:66;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17732:66:0;;;17737:10;;17732:66;;;;;;;;;-1:-1:-1;;9697:1:0;9686:8;:12;-1:-1:-1;;;;;;;;;15887:1919:0:o;5366:40::-;;;;;;;;;;;;;-1:-1:-1;;;5366:40:0;;;;;:::o;9714:231::-;9847:8;;-1:-1:-1;;;;;9847:8:0;;;;-1:-1:-1;;;9878:8:0;;;;;;-1:-1:-1;;;9919:18:0;;;;;9714:231::o;7413:147::-;7477:4;7494:36;7503:10;7515:7;7524:5;7494:8;:36::i;:::-;-1:-1:-1;7548:4:0;7413:147;;;;;:::o;9005:21::-;;;-1:-1:-1;;;;;9005:21:0;;:::o;5504:24::-;;;;:::o;7715:301::-;-1:-1:-1;;;;;7814:15:0;;7793:4;7814:15;;;:9;:15;;;;;;;;7830:10;7814:27;;;;;;;;-1:-1:-1;;7814:39:0;7810:140;;-1:-1:-1;;;;;7900:15:0;;;;;;:9;:15;;;;;;;;7916:10;7900:27;;;;;;;;:38;;7932:5;7900:31;:38::i;:::-;-1:-1:-1;;;;;7870:15:0;;;;;;:9;:15;;;;;;;;7886:10;7870:27;;;;;;;:68;7810:140;7960:26;7970:4;7976:2;7980:5;7960:9;:26::i;:::-;-1:-1:-1;8004:4:0;7715:301;;;;;:::o;5796:108::-;5838:66;5796:108;:::o;5462:35::-;5495:2;5462:35;:::o;5653:31::-;;;;:::o;10772:208::-;10868:7;;-1:-1:-1;;;;;10868:7:0;10854:10;:21;10846:52;;;;;-1:-1:-1;;;10846:52:0;;;;;;;;;;;;-1:-1:-1;;;10846:52:0;;;;;;;;;;;;;;;10929:6;:16;;-1:-1:-1;;;;;10929:16:0;;;-1:-1:-1;;;;;;10929:16:0;;;;;;;10956:6;:16;;;;;;;;;;;10772:208::o;9356:32::-;;;;:::o;9395:::-;;;;:::o;12960:1239::-;13009:14;9607:8;;9619:1;9607:13;9599:41;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;;;;9662:1;9651:8;:12;;;9662:1;13078:13;:11;:13::i;:::-;-1:-1:-1;13140:6:0;;13133:39;;;-1:-1:-1;;;13133:39:0;;13166:4;13133:39;;;;;;13036:55;;-1:-1:-1;13036:55:0;;-1:-1:-1;;;;;;;;13140:6:0;;;;-1:-1:-1;;13133:39:0;;;;;;;;;;;;;;13140:6;13133:39;;;5:2:-1;;;;30:1;27;20:12;5:2;13133:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13133:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13133:39:0;13206:6;;13199:39;;;-1:-1:-1;;;13199:39:0;;13232:4;13199:39;;;;;;13133;;-1:-1:-1;;;;;;;;13206:6:0;;;;-1:-1:-1;;13199:39:0;;;;;13133;;13199;;;;;;;;13206:6;13199:39;;;5:2:-1;;;;30:1;27;20:12;5:2;13199:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13199:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13199:39:0;;-1:-1:-1;13249:12:0;13264:23;:8;-1:-1:-1;;;;;13264:23:0;;:12;:23::i;:::-;13249:38;-1:-1:-1;13298:12:0;13313:23;:8;-1:-1:-1;;;;;13313:23:0;;:12;:23::i;:::-;13298:38;;13349:10;13362:30;13371:9;13382;13362:8;:30::i;:::-;13403:17;13423:11;13349:43;;-1:-1:-1;13527:17:0;13523:353;;13573:54;8867:5;13573:31;13583:20;:7;13595;13583:20;:11;:20;:::i;:::-;13573:9;:31::i;:54::-;13561:66;;13642:36;13656:1;8867:5;13642;:36::i;:::-;13523:353;;;13778:86;-1:-1:-1;;;;;13787:37:0;;:25;:7;13799:12;13787:11;:25::i;:::-;:37;;;;;;-1:-1:-1;;;;;13826:37:0;;:25;:7;13838:12;13826:11;:25::i;:::-;:37;;;;;;13778:8;:86::i;:::-;13766:98;;13523:353;13906:1;13894:9;:13;13886:64;;;;-1:-1:-1;;;13886:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13961:20;13967:2;13971:9;13961:5;:20::i;:::-;13994:49;14002:8;14012;14022:9;14033;13994:7;:49::i;:::-;14058:5;14054:47;;;14092:8;;14073:28;;-1:-1:-1;;;;;14078:8:0;;;;-1:-1:-1;;;14092:8:0;;;14073:18;:28::i;:::-;14065:5;:36;14054:47;14157:34;;;;;;;;;;;;;;14162:10;;14157:34;;;;;;;;-1:-1:-1;;9697:1:0;9686:8;:12;-1:-1:-1;12960:1239:0;;;-1:-1:-1;;;;;;12960:1239:0:o;5535:41::-;;;;;;;;;;;;;:::o;9434:17::-;;;;:::o;5911:38::-;;;;;;;;;;;;;:::o;14311:1464::-;14360:12;14374;9607:8;;9619:1;9607:13;9599:41;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;;;;9662:1;9651:8;:12;;;9662:1;14441:13;:11;:13::i;:::-;-1:-1:-1;14498:6:0;;14579;;14658:40;;;-1:-1:-1;;;14658:40:0;;14692:4;14658:40;;;;;;14399:55;;-1:-1:-1;14399:55:0;;-1:-1:-1;;;;;;14498:6:0;;;;14579;;;-1:-1:-1;;14498:6:0;;-1:-1:-1;;14658:40:0;;;;;;;;;;;;;;14498:6;14658:40;;;5:2:-1;;;;30:1;27;20:12;5:2;14658:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14658:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14658:40:0;14725;;;-1:-1:-1;;;14725:40:0;;14759:4;14725:40;;;;;;14658;;-1:-1:-1;;;;;;;;14725:25:0;;;-1:-1:-1;;14725:40:0;;;;;14658;;14725;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;14725:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14725:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14725:40:0;14811:4;14776:14;14793:24;;;:9;14725:40;14793:24;;;;;14725:40;;-1:-1:-1;14843:30:0;14852:9;14863;14843:8;:30::i;:::-;14884:17;14904:11;14830:43;;-1:-1:-1;14904:11:0;15014:23;:9;15028:8;15014:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;15147:12:0;15121:23;:9;15135:8;15121:23;:13;:23;:::i;:::-;:38;;;;;;15111:48;;15236:1;15226:7;:11;:26;;;;;15251:1;15241:7;:11;15226:26;15218:77;;;;-1:-1:-1;;;15218:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15306:31;15320:4;15327:9;15306:5;:31::i;:::-;15348:35;15362:7;15371:2;15375:7;15348:13;:35::i;:::-;15394;15408:7;15417:2;15421:7;15394:13;:35::i;:::-;15451:40;;;-1:-1:-1;;;15451:40:0;;15485:4;15451:40;;;;;;-1:-1:-1;;;;;15451:25:0;;;-1:-1:-1;;15451:40:0;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;15451:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15451:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15451:40:0;15513;;;-1:-1:-1;;;15513:40:0;;15547:4;15513:40;;;;;;15451;;-1:-1:-1;;;;;;15513:25:0;;;-1:-1:-1;;15513:40:0;;;;;15451;;15513;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;15513:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15513:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15513:40:0;;-1:-1:-1;15566:49:0;15574:8;15513:40;15594:9;15605;15566:7;:49::i;:::-;15630:5;15626:47;;;15664:8;;15645:28;;-1:-1:-1;;;;;15650:8:0;;;;-1:-1:-1;;;15664:8:0;;;15645:18;:28::i;:::-;15637:5;:36;15626:47;15729:38;;;;;;;;;;;;;;-1:-1:-1;;;;;15729:38:0;;;15734:10;;15729:38;;;;;;;;;;;9674:1;;;;;;;;;9697;9686:8;:12;;;;14311:1464;;;:::o;5413:42::-;;;;;;;;;;;;;-1:-1:-1;;;5413:42:0;;;;;:::o;7568:139::-;7628:4;7645:32;7655:10;7667:2;7671:5;7645:9;:32::i;8826:46::-;8867:5;8826:46;:::o;17855:334::-;9607:8;;9619:1;9607:13;9599:41;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;;;;9662:1;9651:8;:12;17924:6;;17974;;18078:8;;18033:40;;;-1:-1:-1;;;18033:40:0;;18067:4;18033:40;;;;;;-1:-1:-1;;;;;17924:6:0;;;;17974;;;;18006:82;;17924:6;;18029:2;;18033:54;;-1:-1:-1;;;;;18078:8:0;;17924:6;;-1:-1:-1;;18033:40:0;;;;;;;;;;;;;;;17924:6;18033:40;;;5:2:-1;;;;30:1;27;20:12;5:2;18033:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18033:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18033:40:0;;:54;:44;:54;:::i;:::-;18006:13;:82::i;:::-;18171:8;;18126:40;;;-1:-1:-1;;;18126:40:0;;18160:4;18126:40;;;;;;18099:82;;18113:7;;18122:2;;18126:54;;-1:-1:-1;;;18171:8:0;;-1:-1:-1;;;;;18171:8:0;;-1:-1:-1;;;;;18126:25:0;;;-1:-1:-1;;18126:40:0;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;18099:82:0;-1:-1:-1;;9697:1:0;9686:8;:12;-1:-1:-1;17855:334:0:o;8976:22::-;;;-1:-1:-1;;;;;8976:22:0;;:::o;9033:21::-;;;-1:-1:-1;;;;;9033:21:0;;:::o;8024:670::-;8170:15;8158:8;:27;;8150:56;;;;;-1:-1:-1;;;8150:56:0;;;;;;;;;;;;-1:-1:-1;;;8150:56:0;;;;;;;;;;;;;;;8322:16;;-1:-1:-1;;;;;8418:13:0;;;8217:14;8418:13;;;:6;:13;;;;;;;;:15;;-1:-1:-1;8418:15:0;;;;;;8367:77;;5838:66;8367:77;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8367:77:0;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;8367:77:0;;;;;8357:88;;;;;;-1:-1:-1;;;8258:202:0;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;8258:202:0;;;;;;8234:237;;;;;;;;;8509:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8217:14;;-1:-1:-1;8509:26:0;;;;;-1:-1:-1;;8509:26:0;;;;;;;;;;-1:-1:-1;8509:26:0;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;8509:26:0;;-1:-1:-1;;8509:26:0;;;-1:-1:-1;;;;;;;8554:30:0;;;;;;:59;;-1:-1:-1;;;;;;8588:25:0;;;;;;;8554:59;8546:98;;;;;-1:-1:-1;;;8546:98:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8655:31;8664:5;8671:7;8680:5;8655:8;:31::i;:::-;8024:670;;;;;;;;;:::o;5583:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;18238:158::-;9607:8;;9619:1;9607:13;9599:41;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;-1:-1:-1;;;9599:41:0;;;;;;;;;;;;;;;9662:1;9651:8;:12;18294:6;;18287:39;;;-1:-1:-1;;;18287:39:0;;18320:4;18287:39;;;;;;18279:109;;-1:-1:-1;;;;;18294:6:0;;-1:-1:-1;;18287:39:0;;;;;;;;;;;;;;18294:6;18287:39;;;5:2:-1;;;;30:1;27;20:12;5:2;18287:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18287:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18287:39:0;18335:6;;18328:39;;;-1:-1:-1;;;18328:39:0;;18361:4;18328:39;;;;;;-1:-1:-1;;;;;18335:6:0;;;;-1:-1:-1;;18328:39:0;;;;;18287;;18328;;;;;;;;18335:6;18328:39;;;5:2:-1;;;;30:1;27;20:12;5:2;18328:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18328:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18328:39:0;18369:8;;-1:-1:-1;;;;;18369:8:0;;;;-1:-1:-1;;;18379:8:0;;;18279:7;:109::i;:::-;9697:1;9686:8;:12;18238:158::o;9953:285::-;8931:34;;;;;;;;;;;;;;;;;10081:43;;-1:-1:-1;;;;;10081:43:0;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;10081:43:0;;;;;;25:18:-1;;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;10070:55:0;;;;-1:-1:-1;;10049:17:0;;10070:10;;;10081:43;10070:55;;;25:18:-1;10070: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;;;10070: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;;10034:91:0;;;;10144:7;:57;;;;-1:-1:-1;10156:11:0;;:16;;:44;;;10187:4;10176:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10176:24:0;10156:44;10136:94;;;;;-1:-1:-1;;;10136:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9953:285;;;;;:::o;20601:142::-;20653:6;20680;;;:30;;-1:-1:-1;;20695:5:0;;;20709:1;20704;20695:5;20704:1;20690:15;;;;;:20;20680:30;20672:63;;;;;-1:-1:-1;;;20672:63:0;;;;;;;;;;;;-1:-1:-1;;;20672:63:0;;;;;;;;;;;;;;20464:129;20548:5;;;20543:16;;;;20535:50;;;;;-1:-1:-1;;;20535:50:0;;;;;;;;;;;;-1:-1:-1;;;20535:50:0;;;;;;;;;;;;;;11065:858;-1:-1:-1;;;;;11177:23:0;;;;;:50;;-1:-1:-1;;;;;;11204:23:0;;;11177:50;11169:80;;;;;-1:-1:-1;;;11169:80:0;;;;;;;;;;;;-1:-1:-1;;;11169:80:0;;;;;;;;;;;;;;;11364:18;;11291:23;:15;:23;;;-1:-1:-1;;;11364:18:0;;;;11347:35;;;11420:15;;;;;;:33;;-1:-1:-1;;;;;;11439:14:0;;;;11420:33;:51;;;;-1:-1:-1;;;;;;11457:14:0;;;;11420:51;11416:336;;;11626:11;11573:64;;11578:44;11612:9;11578:27;11595:9;11578:16;:27::i;:::-;-1:-1:-1;;;;;11578:33:0;;;:44::i;:::-;11549:20;:88;;-1:-1:-1;;;;;11573:50:0;;;;:64;;;;11549:88;;;11676:64;;;11681:44;11715:9;11681:27;11698:9;11681:16;:27::i;:44::-;11652:20;:88;;-1:-1:-1;;;;;11676:50:0;;;;:64;;;;11652:88;;;11416:336;11762:8;:28;;-1:-1:-1;;11762:28:0;-1:-1:-1;;;;;11762:28:0;;;;;;;-1:-1:-1;;;;11801:28:0;-1:-1:-1;;;11801:28:0;;;;;;;;;-1:-1:-1;;;;;11840:35:0;-1:-1:-1;;;11840:35:0;;;;;;;;;11891:24;;;11896:8;;;11891:24;;11906:8;;;;;;;11891:24;;;;;;;;;;;;;;;;;11065:858;;;;;;:::o;7008:169::-;-1:-1:-1;;;;;7089:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;7138:31;;;;;;;;;;;;;;;;;7008:169;;;:::o;7185:220::-;-1:-1:-1;;;;;7279:15:0;;;;;;-1:-1:-1;7279:15:0;;;;;;:26;;7299:5;7279:19;:26::i;:::-;-1:-1:-1;;;;;7261:15:0;;;;;;;-1:-1:-1;7261:15:0;;;;;;:44;;;;7332:13;;;;;;;:24;;7350:5;7332:17;:24::i;:::-;-1:-1:-1;;;;;7316:13:0;;;;;;;-1:-1:-1;7316:13:0;;;;;;;;;:40;;;;7372:25;;;;;;;7316:13;;7372:25;;;;;;;;;;;;;7185:220;;;:::o;12013:835::-;12141:7;;12125:32;;;-1:-1:-1;;;12125:32:0;;;;12086:10;;;;-1:-1:-1;;;;;12141:7:0;;;;12125:30;;:32;;;;;;;;;;;;;;;12141:7;12125:32;;;5:2:-1;;;;30:1;27;20:12;5:2;12125:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12125:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12125:32:0;12220:5;;-1:-1:-1;;;;;12176:19:0;;;;;;-1:-1:-1;12125:32:0;;-1:-1:-1;12220:5:0;12251:590;;12281:11;;12277:494;;12313:10;12326:41;12336:30;-1:-1:-1;;;;;12336:15:0;;;;:30;;:19;:30::i;12326:41::-;12313:54;;12386:14;12403:17;12413:6;12403:9;:17::i;:::-;12386:34;;12451:9;12443:5;:17;12439:317;;;12485:14;12502:37;12518:20;:5;12528:9;12518:20;:9;:20;:::i;:::-;12502:11;;;:37;:15;:37;:::i;:::-;12485:54;-1:-1:-1;12562:16:0;12581:27;12598:9;12581:12;:5;12591:1;12581:12;:9;:12;:::i;:::-;:16;:27;:16;:27;:::i;:::-;12562:46;;12631:14;12660:11;12648:9;:23;;;;;;;-1:-1:-1;12698:13:0;;12694:42;;12713:23;12719:5;12726:9;12713:5;:23::i;:::-;12439:317;;;;12277:494;;;12251:590;;;12792:11;;12788:53;;12828:1;12820:5;:9;12788:53;12013:835;;;;;;:::o;21039:303::-;21084:6;21111:1;21107;:5;21103:232;;;-1:-1:-1;21133:1:0;21166;21162;21158:5;;:9;21182:92;21193:1;21189;:5;21182:92;;;21219:1;21215:5;;21257:1;21252;21248;21244;:5;;;;;;:9;21243:15;;;;;;21239:19;;21182:92;;;21103:232;;;;21295:6;;21291:44;;-1:-1:-1;21322:1:0;21291:44;21039:303;;;:::o;6582:201::-;6655:11;;:22;;6671:5;6655:22;:15;:22;:::i;:::-;6641:11;:36;;;-1:-1:-1;;;;;6704:13:0;;;;-1:-1:-1;6704:13:0;;;;;;:24;;6722:5;6704:17;:24::i;:::-;-1:-1:-1;;;;;6688:13:0;;;;;;-1:-1:-1;6688:13:0;;;;;;;;:40;;;;6744:31;;;;;;;6688:13;;;;6744:31;;;;;;;;;;6582:201;;:::o;20825:96::-;20877:6;20904:1;20900;:5;:13;;20912:1;20900:13;;;20908:1;20900:13;20896:17;20825:96;-1:-1:-1;;;20825:96:0:o;6791:209::-;-1:-1:-1;;;;;6870:15:0;;;;;;-1:-1:-1;6870:15:0;;;;;;:26;;6890:5;6870:19;:26::i;:::-;-1:-1:-1;;;;;6852:15:0;;;;;;-1:-1:-1;6852:15:0;;;;;:44;;;;6921:11;:22;;6937:5;6921:15;:22::i;:::-;6907:11;:36;;;6959:33;;;;;;;;-1:-1:-1;;;;;6959:33:0;;;;;;;;;;;;;6791:209;;:::o;21615:120::-;-1:-1:-1;;;;;21691:10:0;-1:-1:-1;;;21691:17:0;;21615:120::o;21806:108::-;21866:9;-1:-1:-1;;;;;21896:10:0;;-1:-1:-1;;;;;21892:14:0;;21896:10;21892:14;;;;;;21806:108;-1:-1:-1;;;21806:108:0:o;20328:128::-;20412:5;;;20407:16;;;;20399:49;;;;;-1:-1:-1;;;20399:49:0;;;;;;;;;;;;-1:-1:-1;;;20399:49:0;;;;;;;;;;;;;

bzzr://6a670cc967aee7634210da788a18874c54e652aaa66dde9f6d696b649c7aed03