Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IMobiusDEXFactory
•    - 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 IMobiusDEXPair
•    - 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 IMobiusDEXERC20
•    - 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 MobiusDEXERC20 is IMobius ...
•    - 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 IMobiusDEXCallee
•    - function mobiusDEXCall(address sender ...
•  contract MobiusDEXPair is IMobiusD ... *
•    - 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 MobiusDEXFactory is IMobi ...
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address _feeTo)
•    - function setFeeToSetter(address _feeT ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2024-12-18
*/

pragma solidity =0.5.17;

interface IMobiusDEXFactory {
    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 IMobiusDEXPair {
    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 IMobiusDEXERC20 {
    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;
}

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

contract MobiusDEXERC20 is IMobiusDEXERC20 {
    using SafeMath for uint;

    string public constant name = 'Mobius LPs';
    string public constant symbol = 'MOBIUS-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, 'MobiusDEX: 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, 'MobiusDEX: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

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

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 IMobiusDEXCallee {
    function mobiusDEXCall(address sender, uint amount0, uint amount1, bytes calldata data) external;
}

contract MobiusDEXPair is IMobiusDEXPair, MobiusDEXERC20 {
    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, 'MobiusDEX: 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))), 'MobiusDEX: 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, 'MobiusDEX: 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), 'MobiusDEX: 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 8/25 of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeTo = IMobiusDEXFactory(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)).mul(8);
                    uint denominator = rootK.mul(17).add(rootKLast.mul(8));
                    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, 'MobiusDEX: 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, 'MobiusDEX: 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, 'MobiusDEX: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'MobiusDEX: 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, 'MobiusDEX: 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) IMobiusDEXCallee(to).mobiusDEXCall(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, 'MobiusDEX: INSUFFICIENT_INPUT_AMOUNT');
        { // scope for reserve{0,1}Adjusted, avoids stack too deep errors
        uint balance0Adjusted = (balance0.mul(10000).sub(amount0In.mul(25)));
        uint balance1Adjusted = (balance1.mul(10000).sub(amount1In.mul(25)));
        require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(10000**2), 'MobiusDEX: 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 MobiusDEXFactory is IMobiusDEXFactory {
    bytes32 public constant INIT_CODE_PAIR_HASH = keccak256(abi.encodePacked(type(MobiusDEXPair).creationCode));

    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, 'MobiusDEX: IDENTICAL_ADDRESSES');
        (address token0, address token1) = tokenA < tokenB ? (tokenA, tokenB) : (tokenB, tokenA);
        require(token0 != address(0), 'MobiusDEX: ZERO_ADDRESS');
        require(getPair[token0][token1] == address(0), 'MobiusDEX: PAIR_EXISTS'); // single check is sufficient
        bytes memory bytecode = type(MobiusDEXPair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1));
        assembly {
            pair := create2(0, add(bytecode, 32), mload(bytecode), salt)
        }
        IMobiusDEXPair(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, 'MobiusDEX: FORBIDDEN');
        feeTo = _feeTo;
    }

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

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

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146108c4578063d505accf1461090e578063dd62ed3e146109a7578063fff6cae914610a1f576101a9565b8063ba9a7a5614610818578063bc25cf7714610836578063c45a01551461087a576101a9565b80637ecebe00116100d35780637ecebe001461067857806389afcb44146106d057806395d89b411461072f578063a9059cbb146107b2576101a9565b80636a627842146105aa57806370a08231146106025780637464fc3d1461065a576101a9565b806323b872dd116101665780633644e515116101405780633644e515146104ec578063485cc9551461050a5780635909c0d51461056e5780635a3d54931461058c576101a9565b806323b872dd1461042457806330adf81f146104aa578063313ce567146104c8576101a9565b8063022c0d9f146101ae57806306fdde031461025b5780630902f1ac146102de578063095ea7b3146103565780630dfe1681146103bc57806318160ddd14610406575b600080fd5b610259600480360360808110156101c457600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561021557600080fd5b82018360208201111561022757600080fd5b8035906020019184600183028401116401000000008311171561024957600080fd5b9091929391929390505050610a29565b005b610263611217565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e6611250565b60405180846dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020018263ffffffff1663ffffffff168152602001935050505060405180910390f35b6103a26004803603604081101561036c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506112ad565b604051808215151515815260200191505060405180910390f35b6103c46112c4565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61040e6112ea565b6040518082815260200191505060405180910390f35b6104906004803603606081101561043a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506112f0565b604051808215151515815260200191505060405180910390f35b6104b26114bb565b6040518082815260200191505060405180910390f35b6104d06114e2565b604051808260ff1660ff16815260200191505060405180910390f35b6104f46114e7565b6040518082815260200191505060405180910390f35b61056c6004803603604081101561052057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114ed565b005b610576611636565b6040518082815260200191505060405180910390f35b61059461163c565b6040518082815260200191505060405180910390f35b6105ec600480360360208110156105c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611642565b6040518082815260200191505060405180910390f35b6106446004803603602081101561061857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611af3565b6040518082815260200191505060405180910390f35b610662611b0b565b6040518082815260200191505060405180910390f35b6106ba6004803603602081101561068e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b11565b6040518082815260200191505060405180910390f35b610712600480360360208110156106e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b29565b604051808381526020018281526020019250505060405180910390f35b610737612116565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561077757808201518184015260208101905061075c565b50505050905090810190601f1680156107a45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107fe600480360360408110156107c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061214f565b604051808215151515815260200191505060405180910390f35b610820612166565b6040518082815260200191505060405180910390f35b6108786004803603602081101561084c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061216c565b005b610882612447565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108cc61246d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109a5600480360360e081101561092457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff1690602001909291908035906020019092919080359060200190929190505050612493565b005b610a09600480360360408110156109bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506127d7565b6040518082815260200191505060405180910390f35b610a276127fc565b005b6001600c5414610aa1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4d6f626975734445583a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000851180610ab85750600084115b610b0d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806139a36025913960400191505060405180910390fd5b600080610b18611250565b5091509150816dffffffffffffffffffffffffffff1687108015610b4b5750806dffffffffffffffffffffffffffff1686105b610ba0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806139ec6021913960400191505060405180910390fd5b6000806000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508173ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614158015610c5957508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b610ccb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f4d6f626975734445583a20494e56414c49445f544f000000000000000000000081525060200191505060405180910390fd5b60008b1115610ce057610cdf828a8d612a7c565b5b60008a1115610cf557610cf4818a8c612a7c565b5b6000888890501115610ddd578873ffffffffffffffffffffffffffffffffffffffff1663d375b532338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610dc457600080fd5b505af1158015610dd8573d6000803e3d6000fd5b505050505b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e5a57600080fd5b505afa158015610e6e573d6000803e3d6000fd5b505050506040513d6020811015610e8457600080fd5b810190808051906020019092919050505093508073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f1457600080fd5b505afa158015610f28573d6000803e3d6000fd5b505050506040513d6020811015610f3e57600080fd5b810190808051906020019092919050505092505050600089856dffffffffffffffffffffffffffff16038311610f75576000610f8b565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610faf576000610fc5565b89856dffffffffffffffffffffffffffff160383035b90506000821180610fd65750600081115b61102b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806139c86024913960400191505060405180910390fd5b6000611067611044601985612cc990919063ffffffff16565b61105961271088612cc990919063ffffffff16565b612d5e90919063ffffffff16565b905060006110a5611082601985612cc990919063ffffffff16565b61109761271088612cc990919063ffffffff16565b612d5e90919063ffffffff16565b90506110f06305f5e1006110e2896dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16612cc990919063ffffffff16565b612cc990919063ffffffff16565b6111038284612cc990919063ffffffff16565b1015611177576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f4d6f626975734445583a204b000000000000000000000000000000000000000081525060200191505060405180910390fd5b505061118584848888612de1565b8873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d82284848f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35050505050506001600c819055505050505050565b6040518060400160405280600a81526020017f4d6f62697573204c50730000000000000000000000000000000000000000000081525081565b6000806000600860009054906101000a90046dffffffffffffffffffffffffffff1692506008600e9054906101000a90046dffffffffffffffffffffffffffff1691506008601c9054906101000a900463ffffffff169050909192565b60006112ba33848461315f565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146114a55761142482600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d5e90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6114b084848461324a565b600190509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b601281565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f4d6f626975734445583a20464f5242494444454e00000000000000000000000081525060200191505060405180910390fd5b81600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60095481565b600a5481565b60006001600c54146116bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4d6f626975734445583a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000806116cf611250565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561177557600080fd5b505afa158015611789573d6000803e3d6000fd5b505050506040513d602081101561179f57600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561185357600080fd5b505afa158015611867573d6000803e3d6000fd5b505050506040513d602081101561187d57600080fd5b8101908080519060200190929190505050905060006118b5856dffffffffffffffffffffffffffff1684612d5e90919063ffffffff16565b905060006118dc856dffffffffffffffffffffffffffff1684612d5e90919063ffffffff16565b905060006118ea87876133de565b9050600080549050600081141561193e5761192a6103e861191c6119178688612cc990919063ffffffff16565b6135e5565b612d5e90919063ffffffff16565b985061193960006103e8613647565b6119a1565b61199e886dffffffffffffffffffffffffffff166119658387612cc990919063ffffffff16565b8161196c57fe5b04886dffffffffffffffffffffffffffff166119918487612cc990919063ffffffff16565b8161199857fe5b04613761565b98505b600089116119fa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180613a0d6028913960400191505060405180910390fd5b611a048a8a613647565b611a1086868a8a612de1565b8115611a8857611a816008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612cc990919063ffffffff16565b600b819055505b3373ffffffffffffffffffffffffffffffffffffffff167f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f8585604051808381526020018281526020019250505060405180910390a250505050505050506001600c81905550919050565b60016020528060005260406000206000915090505481565b600b5481565b60046020528060005260406000206000915090505481565b6000806001600c5414611ba4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4d6f626975734445583a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550600080611bb7611250565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611c8957600080fd5b505afa158015611c9d573d6000803e3d6000fd5b505050506040513d6020811015611cb357600080fd5b8101908080519060200190929190505050905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611d4557600080fd5b505afa158015611d59573d6000803e3d6000fd5b505050506040513d6020811015611d6f57600080fd5b810190808051906020019092919050505090506000600160003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000611dd288886133de565b905060008054905080611dee8685612cc990919063ffffffff16565b81611df557fe5b049a5080611e0c8585612cc990919063ffffffff16565b81611e1357fe5b04995060008b118015611e26575060008a115b611e7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180613a356028913960400191505060405180910390fd5b611e85308461377a565b611e90878d8d612a7c565b611e9b868d8c612a7c565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611f1857600080fd5b505afa158015611f2c573d6000803e3d6000fd5b505050506040513d6020811015611f4257600080fd5b810190808051906020019092919050505094508573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611fd257600080fd5b505afa158015611fe6573d6000803e3d6000fd5b505050506040513d6020811015611ffc57600080fd5b8101908080519060200190929190505050935061201b85858b8b612de1565b81156120935761208c6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612cc990919063ffffffff16565b600b819055505b8b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d819364968d8d604051808381526020018281526020019250505060405180910390a35050505050505050506001600c81905550915091565b6040518060400160405280600981526020017f4d4f424955532d4c50000000000000000000000000000000000000000000000081525081565b600061215c33848461324a565b6001905092915050565b6103e881565b6001600c54146121e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4d6f626975734445583a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905061233a8284612335600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156122ec57600080fd5b505afa158015612300573d6000803e3d6000fd5b505050506040513d602081101561231657600080fd5b8101908080519060200190929190505050612d5e90919063ffffffff16565b612a7c565b61243a81846124356008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156123ec57600080fd5b505afa158015612400573d6000803e3d6000fd5b505050506040513d602081101561241657600080fd5b8101908080519060200190929190505050612d5e90919063ffffffff16565b612a7c565b50506001600c8190555050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b42841015612509576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f4d6f626975734445583a2045585049524544000000000000000000000000000081525060200191505060405180910390fd5b60006003547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b898989600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001808781526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040528051906020012060405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa1580156126db573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561274f57508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6127c1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f4d6f626975734445583a20494e56414c49445f5349474e41545552450000000081525060200191505060405180910390fd5b6127cc89898961315f565b505050505050505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6001600c5414612874576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4d6f626975734445583a204c4f434b454400000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550612a72600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561291e57600080fd5b505afa158015612932573d6000803e3d6000fd5b505050506040513d602081101561294857600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156129f857600080fd5b505afa158015612a0c573d6000803e3d6000fd5b505050506040513d6020811015612a2257600080fd5b8101908080519060200190929190505050600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff16612de1565b6001600c81905550565b600060608473ffffffffffffffffffffffffffffffffffffffff166040518060400160405280601981526020017f7472616e7366657228616464726573732c75696e743235362900000000000000815250805190602001208585604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310612ba95780518252602082019150602081019050602083039250612b86565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612c0b576040519150601f19603f3d011682016040523d82523d6000602084013e612c10565b606091505b5091509150818015612c505750600081511480612c4f5750808060200190516020811015612c3d57600080fd5b81019080805190602001909291905050505b5b612cc2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f4d6f626975734445583a205452414e534645525f4641494c454400000000000081525060200191505060405180910390fd5b5050505050565b600080821480612ce65750828283850292508281612ce357fe5b04145b612d58576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284039150811115612ddb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168411158015612e5157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168311155b612ec3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f4d6f626975734445583a204f564552464c4f570000000000000000000000000081525060200191505060405180910390fd5b60006401000000004281612ed357fe5b06905060006008601c9054906101000a900463ffffffff168203905060008163ffffffff16118015612f1657506000846dffffffffffffffffffffffffffff1614155b8015612f3357506000836dffffffffffffffffffffffffffff1614155b15613015578063ffffffff16612f7885612f4c86613894565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166138bf90919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16026009600082825401925050819055508063ffffffff16612fe684612fba87613894565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff166138bf90919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602600a600082825401925050819055505b85600860006101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550846008600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550816008601c6101000a81548163ffffffff021916908363ffffffff1602179055507f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff1660405180836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020019250505060405180910390a1505050505050565b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b61329c81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d5e90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061333181600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461391f90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b15801561344957600080fd5b505afa15801561345d573d6000803e3d6000fd5b505050506040513d602081101561347357600080fd5b81019080805190602001909291905050509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141591506000600b54905082156135cb57600081146135c657600061350b613506866dffffffffffffffffffffffffffff16886dffffffffffffffffffffffffffff16612cc990919063ffffffff16565b6135e5565b90506000613518836135e5565b9050808211156135c357600061355e600861355061353f8587612d5e90919063ffffffff16565b600054612cc990919063ffffffff16565b612cc990919063ffffffff16565b9050600061359b613579600885612cc990919063ffffffff16565b61358d601187612cc990919063ffffffff16565b61391f90919063ffffffff16565b905060008183816135a857fe5b04905060008111156135bf576135be8782613647565b5b5050505b50505b6135dd565b600081146135dc576000600b819055505b5b505092915050565b6000600382111561363457819050600060016002848161360157fe5b040190505b8181101561362e5780915060028182858161361d57fe5b04018161362657fe5b049050613606565b50613642565b6000821461364157600190505b5b919050565b61365c8160005461391f90919063ffffffff16565b6000819055506136b481600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461391f90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008183106137705781613772565b825b905092915050565b6137cc81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d5e90919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061382481600054612d5e90919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60006e010000000000000000000000000000826dffffffffffffffffffffffffffff16029050919050565b6000816dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168161391657fe5b04905092915050565b600082828401915081101561399c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fe4d6f626975734445583a20494e53554646494349454e545f4f55545055545f414d4f554e544d6f626975734445583a20494e53554646494349454e545f494e5055545f414d4f554e544d6f626975734445583a20494e53554646494349454e545f4c49515549444954594d6f626975734445583a20494e53554646494349454e545f4c49515549444954595f4d494e5445444d6f626975734445583a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a723158206cc8fa16520c22af27bba9ad2fad4825e425d86b8be49bc97f4fe77f7c78d0b964736f6c63430005110032

10368:9710:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10368:9710:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17587:1898;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;17587:1898:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;17587:1898:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;17587:1898: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;17587:1898:0;;;;;;;;;;;;:::i;:::-;;4909:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4909:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11389:231;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6959:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6959:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10678:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5050:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7261:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7261:301:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5342:108;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5008:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5199:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12449:210;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12449:210:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11029:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11068;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14657:1240;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14657:1240:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5081:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5081:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11107:17;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5457:38;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5457:38:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16009:1466;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16009:1466:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;4958:43;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4958:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7114:139;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7114:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10499:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19534:334;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19534:334:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10649:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10706:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7570:674;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;7570:674:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5129:61;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5129:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19917:158;;;:::i;:::-;;17587:1898;11292:1;11280:8;;:13;11272:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11337:1;11326:8;:12;;;;17714:1;17701:10;:14;:32;;;;17732:1;17719:10;:14;17701:32;17693:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17787:17;17806;17828:13;:11;:13::i;:::-;17786:55;;;;;17888:9;17875:22;;:10;:22;:48;;;;;17914:9;17901:22;;:10;:22;17875:48;17867:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17974:13;17998;18088:15;18106:6;;;;;;;;;;;18088:24;;18123:15;18141:6;;;;;;;;;;;18123:24;;18172:7;18166:13;;:2;:13;;;;:30;;;;;18189:7;18183:13;;:2;:13;;;;18166:30;18158:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18250:1;18237:10;:14;18233:58;;;18253:38;18267:7;18276:2;18280:10;18253:13;:38::i;:::-;18233:58;18353:1;18340:10;:14;18336:58;;;18356:38;18370:7;18379:2;18383:10;18356:13;:38::i;:::-;18336:58;18457:1;18443:4;;:11;;:15;18439:97;;;18477:2;18460:34;;;18495:10;18507;18519;18531:4;;18460:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;18460:76:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18460:76:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18460:76:0;;;;18439:97;18565:7;18558:25;;;18592:4;18558:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18558:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18558:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18558:40:0;;;;;;;;;;;;;;;;18547:51;;18627:7;18620:25;;;18654:4;18620:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18620:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18620:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18620:40:0;;;;;;;;;;;;;;;;18609:51;;11349:1;;18682:14;18722:10;18710:9;:22;;;18699:8;:33;:75;;18773:1;18699:75;;;18759:10;18747:9;:22;;;18735:8;:35;18699:75;18682:92;;18785:14;18825:10;18813:9;:22;;;18802:8;:33;:75;;18876:1;18802:75;;;18862:10;18850:9;:22;;;18838:8;:35;18802:75;18785:92;;18908:1;18896:9;:13;:30;;;;18925:1;18913:9;:13;18896:30;18888:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19053:21;19078:42;19102:17;19116:2;19102:9;:13;;:17;;;;:::i;:::-;19078:19;19091:5;19078:8;:12;;:19;;;;:::i;:::-;:23;;:42;;;;:::i;:::-;19053:68;;19132:21;19157:42;19181:17;19195:2;19181:9;:13;;:17;;;;:::i;:::-;19157:19;19170:5;19157:8;:12;;:19;;;;:::i;:::-;:23;;:42;;;;:::i;:::-;19132:68;;19261:44;19296:8;19261:30;19281:9;19261:30;;19266:9;19261:15;;:19;;:30;;;;:::i;:::-;:34;;:44;;;;:::i;:::-;19219:38;19240:16;19219;:20;;:38;;;;:::i;:::-;:86;;19211:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11349:1;;19346:49;19354:8;19364;19374:9;19385;19346:7;:49::i;:::-;19474:2;19411:66;;19416:10;19411:66;;;19428:9;19439;19450:10;19462;19411:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11349:1;;;;;;11372;11361:8;:12;;;;17587:1898;;;;;:::o;4909:42::-;;;;;;;;;;;;;;;;;;;:::o;11389:231::-;11433:17;11452;11471:26;11522:8;;;;;;;;;;;11510:20;;11553:8;;;;;;;;;;;11541:20;;11594:18;;;;;;;;;;;11572:40;;11389:231;;;:::o;6959:147::-;7023:4;7040:36;7049:10;7061:7;7070:5;7040:8;:36::i;:::-;7094:4;7087:11;;6959:147;;;;:::o;10678:21::-;;;;;;;;;;;;;:::o;5050:24::-;;;;:::o;7261:301::-;7339:4;7396:2;7360:9;:15;7370:4;7360:15;;;;;;;;;;;;;;;:27;7376:10;7360:27;;;;;;;;;;;;;;;;:39;7356:140;;7446:38;7478:5;7446:9;:15;7456:4;7446:15;;;;;;;;;;;;;;;:27;7462:10;7446:27;;;;;;;;;;;;;;;;:31;;:38;;;;:::i;:::-;7416:9;:15;7426:4;7416:15;;;;;;;;;;;;;;;:27;7432:10;7416:27;;;;;;;;;;;;;;;:68;;;;7356:140;7506:26;7516:4;7522:2;7526:5;7506:9;:26::i;:::-;7550:4;7543:11;;7261:301;;;;;:::o;5342:108::-;5384:66;5342:108;;;:::o;5008:35::-;5041:2;5008:35;:::o;5199:31::-;;;;:::o;12449:210::-;12545:7;;;;;;;;;;;12531:21;;:10;:21;;;12523:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12617:7;12608:6;;:16;;;;;;;;;;;;;;;;;;12644:7;12635:6;;:16;;;;;;;;;;;;;;;;;;12449:210;;:::o;11029:32::-;;;;:::o;11068:::-;;;;:::o;14657:1240::-;14706:14;11292:1;11280:8;;:13;11272:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11337:1;11326:8;:12;;;;14734:17;14753;14775:13;:11;:13::i;:::-;14733:55;;;;;14814:13;14837:6;;;;;;;;;;;14830:24;;;14863:4;14830:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14830:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14830:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14830:39:0;;;;;;;;;;;;;;;;14814:55;;14880:13;14903:6;;;;;;;;;;;14896:24;;;14929:4;14896:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14896:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14896:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14896:39:0;;;;;;;;;;;;;;;;14880:55;;14946:12;14961:23;14974:9;14961:23;;:8;:12;;:23;;;;:::i;:::-;14946:38;;14995:12;15010:23;15023:9;15010:23;;:8;:12;;:23;;;;:::i;:::-;14995:38;;15046:10;15059:30;15068:9;15079;15059:8;:30::i;:::-;15046:43;;15100:17;15120:11;;15100:31;;15240:1;15224:12;:17;15220:352;;;15270:54;10540:5;15270:31;15280:20;15292:7;15280;:11;;:20;;;;:::i;:::-;15270:9;:31::i;:::-;:35;;:54;;;;:::i;:::-;15258:66;;15338:36;15352:1;10540:5;15338;:36::i;:::-;15220:352;;;15474:86;15511:9;15483:37;;:25;15495:12;15483:7;:11;;:25;;;;:::i;:::-;:37;;;;;;15550:9;15522:37;;:25;15534:12;15522:7;:11;;:25;;;;:::i;:::-;:37;;;;;;15474:8;:86::i;:::-;15462:98;;15220:352;15602:1;15590:9;:13;15582:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15659:20;15665:2;15669:9;15659:5;:20::i;:::-;15692:49;15700:8;15710;15720:9;15731;15692:7;:49::i;:::-;15756:5;15752:47;;;15771:28;15790:8;;;;;;;;;;;15771:28;;15776:8;;;;;;;;;;;15771:14;;:18;;:28;;;;:::i;:::-;15763:5;:36;;;;15752:47;15860:10;15855:34;;;15872:7;15881;15855:34;;;;;;;;;;;;;;;;;;;;;;;;11349:1;;;;;;;;11372;11361:8;:12;;;;14657:1240;;;:::o;5081:41::-;;;;;;;;;;;;;;;;;:::o;11107:17::-;;;;:::o;5457:38::-;;;;;;;;;;;;;;;;;:::o;16009:1466::-;16058:12;16072;11292:1;11280:8;;:13;11272:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11337:1;11326:8;:12;;;;16098:17;16117;16139:13;:11;:13::i;:::-;16097:55;;;;;16178:15;16196:6;;;;;;;;;;;16178:24;;16259:15;16277:6;;;;;;;;;;;16259:24;;16340:13;16363:7;16356:25;;;16390:4;16356:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16356:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16356:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16356:40:0;;;;;;;;;;;;;;;;16340:56;;16407:13;16430:7;16423:25;;;16457:4;16423:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16423:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16423:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16423:40:0;;;;;;;;;;;;;;;;16407:56;;16474:14;16491:9;:24;16509:4;16491:24;;;;;;;;;;;;;;;;16474:41;;16528:10;16541:30;16550:9;16561;16541:8;:30::i;:::-;16528:43;;16582:17;16602:11;;16582:31;;16738:12;16712:23;16726:8;16712:9;:13;;:23;;;;:::i;:::-;:38;;;;;;16702:48;;16845:12;16819:23;16833:8;16819:9;:13;;:23;;;;:::i;:::-;:38;;;;;;16809:48;;16934:1;16924:7;:11;:26;;;;;16949:1;16939:7;:11;16924:26;16916:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17006:31;17020:4;17027:9;17006:5;:31::i;:::-;17048:35;17062:7;17071:2;17075:7;17048:13;:35::i;:::-;17094;17108:7;17117:2;17121:7;17094:13;:35::i;:::-;17158:7;17151:25;;;17185:4;17151:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17151:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17151:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17151:40:0;;;;;;;;;;;;;;;;17140:51;;17220:7;17213:25;;;17247:4;17213:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17213:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17213:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17213:40:0;;;;;;;;;;;;;;;;17202:51;;17266:49;17274:8;17284;17294:9;17305;17266:7;:49::i;:::-;17330:5;17326:47;;;17345:28;17364:8;;;;;;;;;;;17345:28;;17350:8;;;;;;;;;;;17345:14;;:18;;:28;;;;:::i;:::-;17337:5;:36;;;;17326:47;17464:2;17429:38;;17434:10;17429:38;;;17446:7;17455;17429:38;;;;;;;;;;;;;;;;;;;;;;;;11349:1;;;;;;;;;11372;11361:8;:12;;;;16009:1466;;;:::o;4958:43::-;;;;;;;;;;;;;;;;;;;:::o;7114:139::-;7174:4;7191:32;7201:10;7213:2;7217:5;7191:9;:32::i;:::-;7241:4;7234:11;;7114:139;;;;:::o;10499:46::-;10540:5;10499:46;:::o;19534:334::-;11292:1;11280:8;;:13;11272:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11337:1;11326:8;:12;;;;19585:15;19603:6;;;;;;;;;;;19585:24;;19635:15;19653:6;;;;;;;;;;;19635:24;;19685:82;19699:7;19708:2;19712:54;19757:8;;;;;;;;;;;19712:54;;19719:7;19712:25;;;19746:4;19712:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19712:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19712:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19712:40:0;;;;;;;;;;;;;;;;:44;;:54;;;;:::i;:::-;19685:13;:82::i;:::-;19778;19792:7;19801:2;19805:54;19850:8;;;;;;;;;;;19805:54;;19812:7;19805:25;;;19839:4;19805:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19805:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19805:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19805:40:0;;;;;;;;;;;;;;;;:44;;:54;;;;:::i;:::-;19778:13;:82::i;:::-;11349:1;;11372;11361:8;:12;;;;19534:334;:::o;10649:22::-;;;;;;;;;;;;;:::o;10706:21::-;;;;;;;;;;;;;:::o;7570:674::-;7716:15;7704:8;:27;;7696:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7765:14;7870:16;;5384:66;7926:15;;7943:5;7950:7;7959:5;7966:6;:13;7973:5;7966:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;7983:8;7915:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7915:77:0;;;7905:88;;;;;;7806:202;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7806:202:0;;;7782:237;;;;;;7765:254;;8030:24;8057:26;8067:6;8075:1;8078;8081;8057:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8057:26:0;;;;;;;;8030:53;;8130:1;8102:30;;:16;:30;;;;:59;;;;;8156:5;8136:25;;:16;:25;;;8102:59;8094:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8205:31;8214:5;8221:7;8230:5;8205:8;:31::i;:::-;7570:674;;;;;;;;;:::o;5129:61::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;19917:158::-;11292:1;11280:8;;:13;11272:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11337:1;11326:8;:12;;;;19958:109;19973:6;;;;;;;;;;;19966:24;;;19999:4;19966:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19966:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19966:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19966:39:0;;;;;;;;;;;;;;;;20014:6;;;;;;;;;;;20007:24;;;20040:4;20007:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20007:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20007:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20007:39:0;;;;;;;;;;;;;;;;20048:8;;;;;;;;;;;20058;;;;;;;;;;;19958:7;:109::i;:::-;11372:1;11361:8;:12;;;;19917:158::o;11628:287::-;11710:12;11724:17;11745:5;:10;;10604:34;;;;;;;;;;;;;;;;;10594:45;;;;;;11789:2;11793:5;11756:43;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;11756:43:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;11756:43:0;11745:55;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;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;;;11745: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;;11709:91:0;;;;11819:7;:57;;;;;11846:1;11831:4;:11;:16;:44;;;;11862:4;11851:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11851:24:0;;;;;;;;;;;;;;;;11831:44;11819:57;11811:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11628:287;;;;;:::o;4678:142::-;4730:6;4762:1;4757;:6;:30;;;;4786:1;4781;4776;4772;:5;4768:9;;;4767:15;;;;;;:20;4757:30;4749:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4678:142;;;;:::o;4541:129::-;4593:6;4635:1;4629;4625;:5;4621:9;;;4620:16;;4612:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4541:129;;;;:::o;12744:860::-;12876:2;12856:23;;:8;:23;;:50;;;;;12903:2;12883:23;;:8;:23;;12856:50;12848:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12941:21;12990:5;12972:15;:23;;;;;;12941:55;;13007:18;13045;;;;;;;;;;;13028:14;:35;13007:56;;13115:1;13101:11;:15;;;:33;;;;;13133:1;13120:9;:14;;;;13101:33;:51;;;;;13151:1;13138:9;:14;;;;13101:51;13097:336;;;13307:11;13254:64;;13259:44;13293:9;13259:27;13276:9;13259:16;:27::i;:::-;:33;;;;:44;;;;:::i;:::-;13254:50;;:64;13230:20;;:88;;;;;;;;;;;13410:11;13357:64;;13362:44;13396:9;13362:27;13379:9;13362:16;:27::i;:::-;:33;;;;:44;;;;:::i;:::-;13357:50;;:64;13333:20;;:88;;;;;;;;;;;13097:336;13462:8;13443;;:28;;;;;;;;;;;;;;;;;;13501:8;13482;;:28;;;;;;;;;;;;;;;;;;13542:14;13521:18;;:35;;;;;;;;;;;;;;;;;;13572:24;13577:8;;;;;;;;;;;13587;;;;;;;;;;;13572:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12744:860;;;;;;:::o;6554:169::-;6663:5;6635:9;:16;6645:5;6635:16;;;;;;;;;;;;;;;:25;6652:7;6635:25;;;;;;;;;;;;;;;:33;;;;6700:7;6684:31;;6693:5;6684:31;;;6709:5;6684:31;;;;;;;;;;;;;;;;;;6554:169;;;:::o;6731:220::-;6825:26;6845:5;6825:9;:15;6835:4;6825:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;6807:9;:15;6817:4;6807:15;;;;;;;;;;;;;;;:44;;;;6878:24;6896:5;6878:9;:13;6888:2;6878:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;6862:9;:13;6872:2;6862:13;;;;;;;;;;;;;;;:40;;;;6933:2;6918:25;;6927:4;6918:25;;;6937:5;6918:25;;;;;;;;;;;;;;;;;;6731:220;;;:::o;13693:852::-;13766:10;13789:13;13823:7;;;;;;;;;;;13805:32;;;:34;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13805:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13805:34:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13805:34:0;;;;;;;;;;;;;;;;13789:50;;13875:1;13858:19;;:5;:19;;;;13850:27;;13888:11;13902:5;;13888:19;;13937:5;13933:605;;;13973:1;13963:6;:11;13959:509;;13995:10;14008:41;14018:30;14038:9;14018:30;;14023:9;14018:15;;:19;;:30;;;;:::i;:::-;14008:9;:41::i;:::-;13995:54;;14068:14;14085:17;14095:6;14085:9;:17::i;:::-;14068:34;;14133:9;14125:5;:17;14121:332;;;14167:14;14184:44;14226:1;14184:37;14200:20;14210:9;14200:5;:9;;:20;;;;:::i;:::-;14184:11;;:15;;:37;;;;:::i;:::-;:41;;:44;;;;:::i;:::-;14167:61;;14251:16;14270:35;14288:16;14302:1;14288:9;:13;;:16;;;;:::i;:::-;14270:13;14280:2;14270:5;:9;;:13;;;;:::i;:::-;:17;;:35;;;;:::i;:::-;14251:54;;14328:14;14357:11;14345:9;:23;;;;;;14328:40;;14407:1;14395:9;:13;14391:42;;;14410:23;14416:5;14423:9;14410:5;:23::i;:::-;14391:42;14121:332;;;;13959:509;;;13933:605;;;14499:1;14489:6;:11;14485:53;;14525:1;14517:5;:9;;;;14485:53;13933:605;13693:852;;;;;;:::o;8538:303::-;8583:6;8610:1;8606;:5;8602:232;;;8632:1;8628:5;;8648:6;8665:1;8661;8657;:5;;;;;;:9;8648:18;;8681:92;8692:1;8688;:5;8681:92;;;8718:1;8714:5;;8756:1;8751;8747;8743;:5;;;;;;:9;8742:15;;;;;;8738:19;;8681:92;;;8602:232;;;;8799:1;8794;:6;8790:44;;8821:1;8817:5;;8790:44;8602:232;8538:303;;;:::o;6128:201::-;6201:22;6217:5;6201:11;;:15;;:22;;;;:::i;:::-;6187:11;:36;;;;6250:24;6268:5;6250:9;:13;6260:2;6250:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;6234:9;:13;6244:2;6234:13;;;;;;;;;;;;;;;:40;;;;6311:2;6290:31;;6307:1;6290:31;;;6315:5;6290:31;;;;;;;;;;;;;;;;;;6128:201;;:::o;8324:96::-;8376:6;8403:1;8399;:5;:13;;8411:1;8399:13;;;8407:1;8399:13;8395:17;;8324:96;;;;:::o;6337:209::-;6416:26;6436:5;6416:9;:15;6426:4;6416:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;6398:9;:15;6408:4;6398:15;;;;;;;;;;;;;;;:44;;;;6467:22;6483:5;6467:11;;:15;;:22;;;;:::i;:::-;6453:11;:36;;;;6528:1;6505:33;;6514:4;6505:33;;;6532:5;6505:33;;;;;;;;;;;;;;;;;;6337:209;;:::o;9110:120::-;9160:9;9055:6;9194:1;9186:10;;:17;9182:21;;9110:120;;;:::o;9301:108::-;9361:9;9399:1;9391:10;;9387:14;;:1;:14;;;;;;;;9383:18;;9301:108;;;;:::o;4405:128::-;4457:6;4499:1;4493;4489;:5;4485:9;;;4484:16;;4476:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4405:128;;;;:::o

bzzr://6cc8fa16520c22af27bba9ad2fad4825e425d86b8be49bc97f4fe77f7c78d0b9