Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IWSPair    - 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 isLocked()    - function initialize(address _factory, ... interface IWSImplementation    - function getImplementationType() interface IWSERC20    - 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 WSERC20 is IWSERC20    - function initialize()    - 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 IWSFactory    - 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 IWSCallee    - function wbCall(address sender, uint ...  contract WSPair is IWSPair, WSERC2 ... *    - function isLocked()    - function getReserves()    - function _safeTransfer(address token, ...    - function initialize(address _factory, ...    - 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()    - function getImplementationType()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-09
*/

// SPDX-License-Identifier: GPL-3.0-or-later

pragma solidity ^0.6.12;


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

    function initialize(address _factory, address _token0, address _token1) external returns(bool);
}

interface IWSImplementation {
	function getImplementationType() external pure returns(uint256);
}


interface IWSERC20 {
    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 WSERC20 is IWSERC20 {
    using SafeMath for uint;

    string public override constant name = 'WSwap';
    string public override constant symbol = 'WSS';
    uint8 public override constant decimals = 18;
    uint  public override totalSupply;
    mapping(address => uint) public override balanceOf;
    mapping(address => mapping(address => uint)) public override allowance;

    bytes32 public override DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public override constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    mapping(address => uint) public override nonces;

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

    function initialize() virtual 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 override returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

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

    function transferFrom(address from, address to, uint value) external override 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 override {
        require(deadline >= block.timestamp, 'WSwap: 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, 'WSwap: 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 IWSFactory {
    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 IWSCallee {
    function wbCall(address sender, uint amount0, uint amount1, bytes calldata data) external;
}

contract WSPair is IWSPair, WSERC20, IWSImplementation {
    using SafeMath  for uint;
    using UQ112x112 for uint224;

    uint public override constant MINIMUM_LIQUIDITY = 10**3;
    bytes4 private constant SELECTOR = bytes4(keccak256(bytes('transfer(address,uint256)')));

    address public override factory;
    address public override token0;
    address public override 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 override price0CumulativeLast;
    uint public override price1CumulativeLast;
    uint public override kLast; // reserve0 * reserve1, as of immediately after the most recent liquidity event
    bool private initialized;

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

    function isLocked() external view override returns (uint){
        return unlocked;
    }

    function getReserves() public override 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))), 'WSwap: 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);

    // called once by the factory at time of deployment
    function initialize(address _factory, address _token0, address _token1) override external returns(bool) {
        require(initialized == false, 'WSwap: FORBIDDEN');
        token0 = _token0;
        token1 = _token1;
        factory = _factory;
        initialized = true;
        unlocked = 1;
        super.initialize();
        return true;
    }

    // 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), 'WSwap: 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 = IWSFactory(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 override 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, 'WSwap: 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 override 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, 'WSwap: 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 override lock {
        require(amount0Out > 0 || amount1Out > 0, 'WSwap: INSUFFICIENT_OUTPUT_AMOUNT');
        (uint112 _reserve0, uint112 _reserve1,) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, 'WSwap: 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, 'WSwap: 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) IWSCallee(to).wbCall(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, 'WSwap: 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), 'WSwap: 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 override 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 override lock {
        _update(IERC20(token0).balanceOf(address(this)), IERC20(token1).balanceOf(address(this)), reserve0, reserve1);
    }

    function getImplementationType() external pure override returns(uint256) {
        /// 2 is a pair type
        return 2;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MINIMUM_LIQUIDITY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"burn","outputs":[{"internalType":"uint256","name":"amount0","type":"uint256"},{"internalType":"uint256","name":"amount1","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"factory","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getImplementationType","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getReserves","outputs":[{"internalType":"uint112","name":"_reserve0","type":"uint112"},{"internalType":"uint112","name":"_reserve1","type":"uint112"},{"internalType":"uint32","name":"_blockTimestampLast","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_factory","type":"address"},{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"name":"initialize","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isLocked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"kLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"mint","outputs":[{"internalType":"uint256","name":"liquidity","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"price0CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"price1CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"skim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sync","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"token0","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token1","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"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"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50612cb3806100206000396000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c80637464fc3d11610104578063ba9a7a56116100a2578063d21220a711610071578063d21220a71461061d578063d505accf14610625578063dd62ed3e14610683578063fff6cae9146106be576101da565b8063ba9a7a5614610595578063bc25cf771461059d578063c0c53b8b146105d0578063c45a015514610615576101da565b806389afcb44116100de57806389afcb441461050057806395d89b411461054c578063a4e2d63414610554578063a9059cbb1461055c576101da565b80637464fc3d146104bd5780637ecebe00146104c55780638129fc1c146104f8576101da565b80632a2767e51161017c5780635909c0d51161014b5780635909c0d5146104475780635a3d54931461044f5780636a6278421461045757806370a082311461048a576101da565b80632a2767e51461041157806330adf81f14610419578063313ce567146104215780633644e5151461043f576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b5090925090506106c6565b005b610282610d86565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff610dbf565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610e14565b604080519115158252519081900360200190f35b61038b610e2b565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc610e47565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610e4d565b6103bc610f26565b6103bc610f2b565b610429610f4f565b6040805160ff9092168252519081900360200190f35b6103bc610f54565b6103bc610f5a565b6103bc610f60565b6103bc6004803603602081101561046d57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610f66565b6103bc600480360360208110156104a057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166112fc565b6103bc61130e565b6103bc600480360360208110156104db57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611314565b610278611326565b6105336004803603602081101561051657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611428565b6040805192835260208301919091528051918290030190f35b6102826118b3565b6103bc6118ec565b61036f6004803603604081101561057257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356118f2565b6103bc6118ff565b610278600480360360208110156105b357600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611905565b61036f600480360360608110156105e657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013582169160409091013516611af2565b61038b611c02565b61038b611c1e565b610278600480360360e081101561063b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611c3a565b6103bc6004803603604081101561069957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611f06565b610278611f23565b600d5460011461073757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d558415158061074a5750600084115b61079f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612c396021913960400191505060405180910390fd5b6000806107aa610dbf565b5091509150816dffffffffffffffffffffffffffff16871080156107dd5750806dffffffffffffffffffffffffffff1686105b61084857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f57537761703a20494e53554646494349454e545f4c4951554944495459000000604482015290519081900360640190fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff9182169190811690891682148015906108ad57508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b61091857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f57537761703a20494e56414c49445f544f000000000000000000000000000000604482015290519081900360640190fd5b8a1561092957610929828a8d612109565b891561093a5761093a818a8c612109565b8615610a06578873ffffffffffffffffffffffffffffffffffffffff16631aaeed2e338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156109ed57600080fd5b505af1158015610a01573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610a7257600080fd5b505afa158015610a86573d6000803e3d6000fd5b505050506040513d6020811015610a9c57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610b0e57600080fd5b505afa158015610b22573d6000803e3d6000fd5b505050506040513d6020811015610b3857600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610b62576000610b78565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610b9c576000610bb2565b89856dffffffffffffffffffffffffffff160383035b90506000821180610bc35750600081115b610c2e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f57537761703a20494e53554646494349454e545f494e5055545f414d4f554e54604482015290519081900360640190fd5b6000610c50610c3e846003612316565b610c4a876103e8612316565b9061239c565b90506000610c62610c3e846003612316565b9050610c8e620f4240610c886dffffffffffffffffffffffffffff8b8116908b16612316565b90612316565b610c988383612316565b1015610d0557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600860248201527f57537761703a204b000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b5050610d138484888861240e565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6040518060400160405280600581526020017f575377617000000000000000000000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b6000610e213384846126c4565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610f115773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610edf908361239c565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b610f1c848484612733565b5060019392505050565b600290565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60095481565b600a5481565b6000600d54600114610fd957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d81905580610fe9610dbf565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561106357600080fd5b505afa158015611077573d6000803e3d6000fd5b505050506040513d602081101561108d57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561110657600080fd5b505afa15801561111a573d6000803e3d6000fd5b505050506040513d602081101561113057600080fd5b505190506000611150836dffffffffffffffffffffffffffff871661239c565b9050600061116e836dffffffffffffffffffffffffffff871661239c565b9050600061117c8787612808565b600054909150806111b35761119f6103e8610c4a61119a8787612316565b612976565b98506111ae60006103e86129c8565b611204565b6112016dffffffffffffffffffffffffffff89166111d18684612316565b816111d857fe5b046dffffffffffffffffffffffffffff89166111f48685612316565b816111fb57fe5b04612a6c565b98505b6000891161125d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612c5a6024913960400191505060405180910390fd5b6112678a8a6129c8565b61127386868a8a61240e565b81156112af576008546112ab906dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612316565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b604080518082018252600581527f575377617000000000000000000000000000000000000000000000000000000060209182015281518083018352600181527f31000000000000000000000000000000000000000000000000000000000000009082015281517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818301527f82fbc52f220d172a715715265efe0d5ec1c17d6b97d5272b97547ca9283e61d6818401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a0808301919091528351808303909101815260c09091019092528151910120600355565b600080600d5460011461149c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114ac610dbf565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561152e57600080fd5b505afa158015611542573d6000803e3d6000fd5b505050506040513d602081101561155857600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156115cc57600080fd5b505afa1580156115e0573d6000803e3d6000fd5b505050506040513d60208110156115f657600080fd5b5051306000908152600160205260408120549192506116158888612808565b600054909150806116268487612316565b8161162d57fe5b049a508061163b8486612316565b8161164257fe5b04995060008b118015611655575060008a115b6116aa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612c156024913960400191505060405180910390fd5b6116b43084612a84565b6116bf878d8d612109565b6116ca868d8c612109565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b15801561173657600080fd5b505afa15801561174a573d6000803e3d6000fd5b505050506040513d602081101561176057600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b1580156117d257600080fd5b505afa1580156117e6573d6000803e3d6000fd5b505050506040513d60208110156117fc57600080fd5b5051935061180c85858b8b61240e565b811561184857600854611844906dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612316565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600d81905550915091565b6040518060400160405280600381526020017f575353000000000000000000000000000000000000000000000000000000000081525081565b600d5490565b6000610e21338484612733565b6103e881565b600d5460011461197657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611a4c9285928792611a47926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611a1557600080fd5b505afa158015611a29573d6000803e3d6000fd5b505050506040513d6020811015611a3f57600080fd5b50519061239c565b612109565b611ae88184611a476008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611a1557600080fd5b50506001600d5550565b600c5460009060ff1615611b6757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f57537761703a20464f5242494444454e00000000000000000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff8086167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600780548584169083161790556005805492871692909116919091179055600c80547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001908117909155600d55610f1c611326565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611ca957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f57537761703a2045585049524544000000000000000000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611e0a573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611e8557508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611ef057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f57537761703a20494e56414c49445f5349474e41545552450000000000000000604482015290519081900360640190fd5b611efb8989896126c4565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600d54600114611f9457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516121029273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561200b57600080fd5b505afa15801561201f573d6000803e3d6000fd5b505050506040513d602081101561203557600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b1580156120a857600080fd5b505afa1580156120bc573d6000803e3d6000fd5b505050506040513d60208110156120d257600080fd5b50516008546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041661240e565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b6020831061220f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016121d2565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612271576040519150601f19603f3d011682016040523d82523d6000602084013e612276565b606091505b50915091508180156122a45750805115806122a457508080602001905160208110156122a157600080fd5b50515b61230f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f57537761703a205452414e534645525f4641494c454400000000000000000000604482015290519081900360640190fd5b5050505050565b60008115806123315750508082028282828161232e57fe5b04145b610e2557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b80820382811115610e2557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff841180159061243a57506dffffffffffffffffffffffffffff8311155b6124a557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f57537761703a204f564552464c4f570000000000000000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c0100000000000000000000000000000000000000000000000000000000900481168203908116158015906124f557506dffffffffffffffffffffffffffff841615155b801561251057506dffffffffffffffffffffffffffff831615155b156125ba578063ffffffff1661254d8561252986612b3d565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1690612b61565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff811661258d8461252987612b3d565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054612763908261239c565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461279f9082612ba2565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b15801561287357600080fd5b505afa158015612887573d6000803e3d6000fd5b505050506040513d602081101561289d57600080fd5b5051600b5473ffffffffffffffffffffffffffffffffffffffff821615801594509192509061296257801561295d5760006128ee61119a6dffffffffffffffffffffffffffff888116908816612316565b905060006128fb83612976565b90508082111561295a57600061291d612914848461239c565b60005490612316565b9050600061293683612930866005612316565b90612ba2565b9050600081838161294357fe5b04905080156129565761295687826129c8565b5050505b50505b61296e565b801561296e576000600b555b505092915050565b600060038211156129b9575080600160028204015b818110156129b3578091506002818285816129a257fe5b0401816129ab57fe5b04905061298b565b506129c3565b81156129c3575060015b919050565b6000546129d59082612ba2565b600090815573ffffffffffffffffffffffffffffffffffffffff8316815260016020526040902054612a079082612ba2565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000818310612a7b5781612a7d565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054612ab4908261239c565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612ae8908261239c565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612b9a57fe5b049392505050565b80820182811015610e2557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fdfe57537761703a20494e53554646494349454e545f4c49515549444954595f4255524e454457537761703a20494e53554646494349454e545f4f55545055545f414d4f554e5457537761703a20494e53554646494349454e545f4c49515549444954595f4d494e544544a2646970667358221220739d652d13a93fdfb2577c20734d01d532eaf3676cdf3acdfecde99d7d05588e64736f6c634300060c0033

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c80637464fc3d11610104578063ba9a7a56116100a2578063d21220a711610071578063d21220a71461061d578063d505accf14610625578063dd62ed3e14610683578063fff6cae9146106be576101da565b8063ba9a7a5614610595578063bc25cf771461059d578063c0c53b8b146105d0578063c45a015514610615576101da565b806389afcb44116100de57806389afcb441461050057806395d89b411461054c578063a4e2d63414610554578063a9059cbb1461055c576101da565b80637464fc3d146104bd5780637ecebe00146104c55780638129fc1c146104f8576101da565b80632a2767e51161017c5780635909c0d51161014b5780635909c0d5146104475780635a3d54931461044f5780636a6278421461045757806370a082311461048a576101da565b80632a2767e51461041157806330adf81f14610419578063313ce567146104215780633644e5151461043f576101da565b8063095ea7b3116101b8578063095ea7b3146103365780630dfe16811461038357806318160ddd146103b457806323b872dd146103ce576101da565b8063022c0d9f146101df57806306fdde031461027a5780630902f1ac146102f7575b600080fd5b610278600480360360808110156101f557600080fd5b81359160208101359173ffffffffffffffffffffffffffffffffffffffff604083013516919081019060808101606082013564010000000081111561023957600080fd5b82018360208201111561024b57600080fd5b8035906020019184600183028401116401000000008311171561026d57600080fd5b5090925090506106c6565b005b610282610d86565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102bc5781810151838201526020016102a4565b50505050905090810190601f1680156102e95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102ff610dbf565b604080516dffffffffffffffffffffffffffff948516815292909316602083015263ffffffff168183015290519081900360600190f35b61036f6004803603604081101561034c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610e14565b604080519115158252519081900360200190f35b61038b610e2b565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6103bc610e47565b60408051918252519081900360200190f35b61036f600480360360608110156103e457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610e4d565b6103bc610f26565b6103bc610f2b565b610429610f4f565b6040805160ff9092168252519081900360200190f35b6103bc610f54565b6103bc610f5a565b6103bc610f60565b6103bc6004803603602081101561046d57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610f66565b6103bc600480360360208110156104a057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166112fc565b6103bc61130e565b6103bc600480360360208110156104db57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611314565b610278611326565b6105336004803603602081101561051657600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611428565b6040805192835260208301919091528051918290030190f35b6102826118b3565b6103bc6118ec565b61036f6004803603604081101561057257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356118f2565b6103bc6118ff565b610278600480360360208110156105b357600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611905565b61036f600480360360608110156105e657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013582169160409091013516611af2565b61038b611c02565b61038b611c1e565b610278600480360360e081101561063b57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611c3a565b6103bc6004803603604081101561069957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611f06565b610278611f23565b600d5460011461073757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d558415158061074a5750600084115b61079f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612c396021913960400191505060405180910390fd5b6000806107aa610dbf565b5091509150816dffffffffffffffffffffffffffff16871080156107dd5750806dffffffffffffffffffffffffffff1686105b61084857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f57537761703a20494e53554646494349454e545f4c4951554944495459000000604482015290519081900360640190fd5b600654600754600091829173ffffffffffffffffffffffffffffffffffffffff9182169190811690891682148015906108ad57508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b61091857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f57537761703a20494e56414c49445f544f000000000000000000000000000000604482015290519081900360640190fd5b8a1561092957610929828a8d612109565b891561093a5761093a818a8c612109565b8615610a06578873ffffffffffffffffffffffffffffffffffffffff16631aaeed2e338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156109ed57600080fd5b505af1158015610a01573d6000803e3d6000fd5b505050505b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8416916370a08231916024808301926020929190829003018186803b158015610a7257600080fd5b505afa158015610a86573d6000803e3d6000fd5b505050506040513d6020811015610a9c57600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191955073ffffffffffffffffffffffffffffffffffffffff8316916370a0823191602480820192602092909190829003018186803b158015610b0e57600080fd5b505afa158015610b22573d6000803e3d6000fd5b505050506040513d6020811015610b3857600080fd5b5051925060009150506dffffffffffffffffffffffffffff85168a90038311610b62576000610b78565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610b9c576000610bb2565b89856dffffffffffffffffffffffffffff160383035b90506000821180610bc35750600081115b610c2e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f57537761703a20494e53554646494349454e545f494e5055545f414d4f554e54604482015290519081900360640190fd5b6000610c50610c3e846003612316565b610c4a876103e8612316565b9061239c565b90506000610c62610c3e846003612316565b9050610c8e620f4240610c886dffffffffffffffffffffffffffff8b8116908b16612316565b90612316565b610c988383612316565b1015610d0557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600860248201527f57537761703a204b000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b5050610d138484888861240e565b60408051838152602081018390528082018d9052606081018c9052905173ffffffffffffffffffffffffffffffffffffffff8b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6040518060400160405280600581526020017f575377617000000000000000000000000000000000000000000000000000000081525081565b6008546dffffffffffffffffffffffffffff808216926e0100000000000000000000000000008304909116917c0100000000000000000000000000000000000000000000000000000000900463ffffffff1690565b6000610e213384846126c4565b5060015b92915050565b60065473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526002602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14610f115773ffffffffffffffffffffffffffffffffffffffff84166000908152600260209081526040808320338452909152902054610edf908361239c565b73ffffffffffffffffffffffffffffffffffffffff851660009081526002602090815260408083203384529091529020555b610f1c848484612733565b5060019392505050565b600290565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b60095481565b600a5481565b6000600d54600114610fd957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d81905580610fe9610dbf565b50600654604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905193955091935060009273ffffffffffffffffffffffffffffffffffffffff909116916370a08231916024808301926020929190829003018186803b15801561106357600080fd5b505afa158015611077573d6000803e3d6000fd5b505050506040513d602081101561108d57600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905192935060009273ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b15801561110657600080fd5b505afa15801561111a573d6000803e3d6000fd5b505050506040513d602081101561113057600080fd5b505190506000611150836dffffffffffffffffffffffffffff871661239c565b9050600061116e836dffffffffffffffffffffffffffff871661239c565b9050600061117c8787612808565b600054909150806111b35761119f6103e8610c4a61119a8787612316565b612976565b98506111ae60006103e86129c8565b611204565b6112016dffffffffffffffffffffffffffff89166111d18684612316565b816111d857fe5b046dffffffffffffffffffffffffffff89166111f48685612316565b816111fb57fe5b04612a6c565b98505b6000891161125d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612c5a6024913960400191505060405180910390fd5b6112678a8a6129c8565b61127386868a8a61240e565b81156112af576008546112ab906dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612316565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b604080518082018252600581527f575377617000000000000000000000000000000000000000000000000000000060209182015281518083018352600181527f31000000000000000000000000000000000000000000000000000000000000009082015281517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818301527f82fbc52f220d172a715715265efe0d5ec1c17d6b97d5272b97547ca9283e61d6818401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a0808301919091528351808303909101815260c09091019092528151910120600355565b600080600d5460011461149c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d819055806114ac610dbf565b50600654600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905194965092945073ffffffffffffffffffffffffffffffffffffffff9182169391169160009184916370a08231916024808301926020929190829003018186803b15801561152e57600080fd5b505afa158015611542573d6000803e3d6000fd5b505050506040513d602081101561155857600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191925060009173ffffffffffffffffffffffffffffffffffffffff8516916370a08231916024808301926020929190829003018186803b1580156115cc57600080fd5b505afa1580156115e0573d6000803e3d6000fd5b505050506040513d60208110156115f657600080fd5b5051306000908152600160205260408120549192506116158888612808565b600054909150806116268487612316565b8161162d57fe5b049a508061163b8486612316565b8161164257fe5b04995060008b118015611655575060008a115b6116aa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612c156024913960400191505060405180910390fd5b6116b43084612a84565b6116bf878d8d612109565b6116ca868d8c612109565b604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff8916916370a08231916024808301926020929190829003018186803b15801561173657600080fd5b505afa15801561174a573d6000803e3d6000fd5b505050506040513d602081101561176057600080fd5b5051604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905191965073ffffffffffffffffffffffffffffffffffffffff8816916370a0823191602480820192602092909190829003018186803b1580156117d257600080fd5b505afa1580156117e6573d6000803e3d6000fd5b505050506040513d60208110156117fc57600080fd5b5051935061180c85858b8b61240e565b811561184857600854611844906dffffffffffffffffffffffffffff808216916e010000000000000000000000000000900416612316565b600b555b604080518c8152602081018c9052815173ffffffffffffffffffffffffffffffffffffffff8f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600d81905550915091565b6040518060400160405280600381526020017f575353000000000000000000000000000000000000000000000000000000000081525081565b600d5490565b6000610e21338484612733565b6103e881565b600d5460011461197657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600654600754600854604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff9485169490931692611a4c9285928792611a47926dffffffffffffffffffffffffffff169185916370a0823191602480820192602092909190829003018186803b158015611a1557600080fd5b505afa158015611a29573d6000803e3d6000fd5b505050506040513d6020811015611a3f57600080fd5b50519061239c565b612109565b611ae88184611a476008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611a1557600080fd5b50506001600d5550565b600c5460009060ff1615611b6757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f57537761703a20464f5242494444454e00000000000000000000000000000000604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff8086167fffffffffffffffffffffffff000000000000000000000000000000000000000092831617909255600780548584169083161790556005805492871692909116919091179055600c80547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001908117909155600d55610f1c611326565b60055473ffffffffffffffffffffffffffffffffffffffff1681565b60075473ffffffffffffffffffffffffffffffffffffffff1681565b42841015611ca957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f57537761703a2045585049524544000000000000000000000000000000000000604482015290519081900360640190fd5b60035473ffffffffffffffffffffffffffffffffffffffff80891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e0850182528051908301207f19010000000000000000000000000000000000000000000000000000000000006101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e2808201937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081019281900390910190855afa158015611e0a573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811615801590611e8557508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b611ef057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f57537761703a20494e56414c49445f5349474e41545552450000000000000000604482015290519081900360640190fd5b611efb8989896126c4565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600d54600114611f9457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f57537761703a204c4f434b454400000000000000000000000000000000000000604482015290519081900360640190fd5b6000600d55600654604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516121029273ffffffffffffffffffffffffffffffffffffffff16916370a08231916024808301926020929190829003018186803b15801561200b57600080fd5b505afa15801561201f573d6000803e3d6000fd5b505050506040513d602081101561203557600080fd5b5051600754604080517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152905173ffffffffffffffffffffffffffffffffffffffff909216916370a0823191602480820192602092909190829003018186803b1580156120a857600080fd5b505afa1580156120bc573d6000803e3d6000fd5b505050506040513d60208110156120d257600080fd5b50516008546dffffffffffffffffffffffffffff808216916e01000000000000000000000000000090041661240e565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e743235362900000000000000602091820152815173ffffffffffffffffffffffffffffffffffffffff85811660248301526044808301869052845180840390910181526064909201845291810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001781529251815160009460609489169392918291908083835b6020831061220f57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016121d2565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612271576040519150601f19603f3d011682016040523d82523d6000602084013e612276565b606091505b50915091508180156122a45750805115806122a457508080602001905160208110156122a157600080fd5b50515b61230f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f57537761703a205452414e534645525f4641494c454400000000000000000000604482015290519081900360640190fd5b5050505050565b60008115806123315750508082028282828161232e57fe5b04145b610e2557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b80820382811115610e2557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b6dffffffffffffffffffffffffffff841180159061243a57506dffffffffffffffffffffffffffff8311155b6124a557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f57537761703a204f564552464c4f570000000000000000000000000000000000604482015290519081900360640190fd5b60085463ffffffff428116917c0100000000000000000000000000000000000000000000000000000000900481168203908116158015906124f557506dffffffffffffffffffffffffffff841615155b801561251057506dffffffffffffffffffffffffffff831615155b156125ba578063ffffffff1661254d8561252986612b3d565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1690612b61565b600980547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff929092169290920201905563ffffffff811661258d8461252987612b3d565b600a80547bffffffffffffffffffffffffffffffffffffffffffffffffffffffff92909216929092020190555b600880547fffffffffffffffffffffffffffffffffffff0000000000000000000000000000166dffffffffffffffffffffffffffff888116919091177fffffffff0000000000000000000000000000ffffffffffffffffffffffffffff166e0100000000000000000000000000008883168102919091177bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167c010000000000000000000000000000000000000000000000000000000063ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902054612763908261239c565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461279f9082612ba2565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b15801561287357600080fd5b505afa158015612887573d6000803e3d6000fd5b505050506040513d602081101561289d57600080fd5b5051600b5473ffffffffffffffffffffffffffffffffffffffff821615801594509192509061296257801561295d5760006128ee61119a6dffffffffffffffffffffffffffff888116908816612316565b905060006128fb83612976565b90508082111561295a57600061291d612914848461239c565b60005490612316565b9050600061293683612930866005612316565b90612ba2565b9050600081838161294357fe5b04905080156129565761295687826129c8565b5050505b50505b61296e565b801561296e576000600b555b505092915050565b600060038211156129b9575080600160028204015b818110156129b3578091506002818285816129a257fe5b0401816129ab57fe5b04905061298b565b506129c3565b81156129c3575060015b919050565b6000546129d59082612ba2565b600090815573ffffffffffffffffffffffffffffffffffffffff8316815260016020526040902054612a079082612ba2565b73ffffffffffffffffffffffffffffffffffffffff831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000818310612a7b5781612a7d565b825b9392505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054612ab4908261239c565b73ffffffffffffffffffffffffffffffffffffffff831660009081526001602052604081209190915554612ae8908261239c565b600090815560408051838152905173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6dffffffffffffffffffffffffffff166e0100000000000000000000000000000290565b60006dffffffffffffffffffffffffffff82167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841681612b9a57fe5b049392505050565b80820182811015610e2557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fdfe57537761703a20494e53554646494349454e545f4c49515549444954595f4255524e454457537761703a20494e53554646494349454e545f4f55545055545f414d4f554e5457537761703a20494e53554646494349454e545f4c49515549444954595f4d494e544544a2646970667358221220739d652d13a93fdfb2577c20734d01d532eaf3676cdf3acdfecde99d7d05588e64736f6c634300060c0033

9744:10085:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17216:1864;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17216:1864:0;;-1:-1:-1;17216:1864:0;-1:-1:-1;17216:1864:0;:::i;:::-;;3532:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10948:240;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5670:156;;;;;;;;;;;;;;;;-1:-1:-1;5670:156:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;10070:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3689:33;;;:::i;:::-;;;;;;;;;;;;;;;;5990:310;;;;;;;;;;;;;;;;-1:-1:-1;5990:310:0;;;;;;;;;;;;;;;;;;:::i;19696:130::-;;;:::i;4017:117::-;;;:::i;3638:44::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3865:40;;;:::i;10439:41::-;;;:::i;10487:::-;;;:::i;14276:1245::-;;;;;;;;;;;;;;;;-1:-1:-1;14276:1245:0;;;;:::i;3729:50::-;;;;;;;;;;;;;;;;-1:-1:-1;3729:50:0;;;;:::i;10535:26::-;;;:::i;4141:47::-;;;;;;;;;;;;;;;;-1:-1:-1;4141:47:0;;;;:::i;4355:476::-;;;:::i;15633:1471::-;;;;;;;;;;;;;;;;-1:-1:-1;15633:1471:0;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3585:46;;;:::i;10849:91::-;;;:::i;5834:148::-;;;;;;;;;;;;;;;;-1:-1:-1;5834:148:0;;;;;;;;;:::i;9873:55::-;;;:::i;19129:343::-;;;;;;;;;;;;;;;;-1:-1:-1;19129:343:0;;;;:::i;11945:358::-;;;;;;;;;;;;;;;;-1:-1:-1;11945:358:0;;;;;;;;;;;;;;;;;;;;:::i;10032:31::-;;;:::i;10107:30::-;;;:::i;6308:675::-;;;;;;;;;;;;;;;;-1:-1:-1;6308:675:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;3786:70::-;;;;;;;;;;;;;;;;-1:-1:-1;3786:70:0;;;;;;;;;;;:::i;19521:167::-;;;:::i;17216:1864::-;10744:8;;10756:1;10744:13;10736:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10797:1;10786:8;:12;17339:14;;;;:32:::1;;;17370:1;17357:10;:14;17339:32;17331:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17421:17;17440::::0;17462:13:::1;:11;:13::i;:::-;17420:55;;;;;17522:9;17509:22;;:10;:22;:48;;;;;17548:9;17535:22;;:10;:22;17509:48;17501:90;;;::::0;;::::1;::::0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;17736:6;::::0;17771::::1;::::0;17604:13:::1;::::0;;;17736:6:::1;::::0;;::::1;::::0;17771;;::::1;::::0;17796:13;::::1;::::0;::::1;::::0;::::1;::::0;:30:::1;;;17819:7;17813:13;;:2;:13;;;;17796:30;17788:60;;;::::0;;::::1;::::0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;17863:14:::0;;17859:58:::1;;17879:38;17893:7;17902:2;17906:10;17879:13;:38::i;:::-;17966:14:::0;;17962:58:::1;;17982:38;17996:7;18005:2;18009:10;17982:13;:38::i;:::-;18069:15:::0;;18065:83:::1;;18096:2;18086:20;;;18107:10;18119;18131;18143:4;;18086:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;18065:83;18170:40;::::0;;;;;18204:4:::1;18170:40;::::0;::::1;::::0;;;:25:::1;::::0;::::1;::::0;::::1;::::0;:40;;;;;::::1;::::0;;;;;;;;:25;:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;18170:40:0;18232::::1;::::0;;;;;18266:4:::1;18232:40;::::0;::::1;::::0;;;18170;;-1:-1:-1;18232:25:0::1;::::0;::::1;::::0;::::1;::::0;:40;;;;;18170::::1;::::0;18232;;;;;;;;:25;:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;18232:40:0;;-1:-1:-1;18294:14:0::1;::::0;-1:-1:-1;;18322:22:0::1;::::0;::::1;::::0;;::::1;18311:33:::0;::::1;:75;;18385:1;18311:75;;;18371:10;18359:9;:22;;;18347:8;:35;18311:75;18294:92;;18397:14;18437:10;18425:9;:22;;;18414:8;:33;:75;;18488:1;18414:75;;;18474:10;18462:9;:22;;;18450:8;:35;18414:75;18397:92;;18520:1;18508:9;:13;:30;;;;18537:1;18525:9;:13;18508:30;18500:75;;;::::0;;::::1;::::0;;::::1;;::::0;::::1;::::0;;;;;;;::::1;::::0;;;;;;;;;;;;;::::1;;18661:21;18685:40;18708:16;:9:::0;18722:1:::1;18708:13;:16::i;:::-;18685:18;:8:::0;18698:4:::1;18685:12;:18::i;:::-;:22:::0;::::1;:40::i;:::-;18661:64:::0;-1:-1:-1;18736:21:0::1;18760:40;18783:16;:9:::0;18797:1:::1;18783:13;:16::i;18760:40::-;18736:64:::0;-1:-1:-1;18861:43:0::1;18896:7;18861:30;;:15:::0;;::::1;::::0;:30;::::1;:19;:30::i;:::-;:34:::0;::::1;:43::i;:::-;18819:38;:16:::0;18840;18819:20:::1;:38::i;:::-;:85;;18811:106;;;::::0;;::::1;::::0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;10809:1;;18941:49;18949:8;18959;18969:9;18980;18941:7;:49::i;:::-;19006:66;::::0;;;;;::::1;::::0;::::1;::::0;;;;;;;;;;;;;;;;;::::1;::::0;::::1;::::0;19011:10:::1;::::0;19006:66:::1;::::0;;;;;;;::::1;-1:-1:-1::0;;10832:1:0;10821:8;:12;-1:-1:-1;;;;;;;;;17216:1864:0:o;3532:46::-;;;;;;;;;;;;;;;;;;;:::o;10948:240::-;11090:8;;;;;;;11121;;;;;;;11162:18;;;;;;10948:240::o;5670:156::-;5743:4;5760:36;5769:10;5781:7;5790:5;5760:8;:36::i;:::-;-1:-1:-1;5814:4:0;5670:156;;;;;:::o;10070:30::-;;;;;;:::o;3689:33::-;;;;:::o;5990:310::-;6098:15;;;6077:4;6098:15;;;:9;:15;;;;;;;;6114:10;6098:27;;;;;;;;6134:2;6098:39;6094:140;;6184:15;;;;;;;:9;:15;;;;;;;;6200:10;6184:27;;;;;;;;:38;;6216:5;6184:31;:38::i;:::-;6154:15;;;;;;;:9;:15;;;;;;;;6170:10;6154:27;;;;;;;:68;6094:140;6244:26;6254:4;6260:2;6264:5;6244:9;:26::i;:::-;-1:-1:-1;6288:4:0;5990:310;;;;;:::o;19696:130::-;19817:1;19696:130;:::o;4017:117::-;4068:66;4017:117;:::o;3638:44::-;3680:2;3638:44;:::o;3865:40::-;;;;:::o;10439:41::-;;;;:::o;10487:::-;;;;:::o;14276:1245::-;14334:14;10744:8;;10756:1;10744:13;10736:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10797:1;10786:8;:12;;;10797:1;14403:13:::1;:11;:13::i;:::-;-1:-1:-1::0;14465:6:0::1;::::0;14458:39:::1;::::0;;;;;14491:4:::1;14458:39;::::0;::::1;::::0;;;14361:55;;-1:-1:-1;14361:55:0;;-1:-1:-1;14442:13:0::1;::::0;14465:6:::1;::::0;;::::1;::::0;14458:24:::1;::::0;:39;;;;;::::1;::::0;;;;;;;;14465:6;14458:39;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;14458:39:0;14531:6:::1;::::0;14524:39:::1;::::0;;;;;14557:4:::1;14524:39;::::0;::::1;::::0;;;14458;;-1:-1:-1;14508:13:0::1;::::0;14531:6:::1;::::0;;::::1;::::0;14524:24:::1;::::0;:39;;;;;14458::::1;::::0;14524;;;;;;;;14531:6;14524:39;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;14524:39:0;;-1:-1:-1;14574:12:0::1;14589:23;:8:::0;:23:::1;::::0;::::1;:12;:23::i;:::-;14574:38:::0;-1:-1:-1;14623:12:0::1;14638:23;:8:::0;:23:::1;::::0;::::1;:12;:23::i;:::-;14623:38;;14674:10;14687:30;14696:9;14707;14687:8;:30::i;:::-;14728:17;14748:11:::0;14674:43;;-1:-1:-1;14852:17:0;14848:352:::1;;14898:54;9923:5;14898:31;14908:20;:7:::0;14920;14908:11:::1;:20::i;:::-;14898:9;:31::i;:54::-;14886:66;;14966:36;14980:1;9923:5;14966;:36::i;:::-;14848:352;;;15102:86;15111:37;::::0;::::1;:25;:7:::0;15123:12;15111:11:::1;:25::i;:::-;:37;;;;;;15150;::::0;::::1;:25;:7:::0;15162:12;15150:11:::1;:25::i;:::-;:37;;;;;;15102:8;:86::i;:::-;15090:98;;14848:352;15230:1;15218:9;:13;15210:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15283:20;15289:2;15293:9;15283:5;:20::i;:::-;15316:49;15324:8;15334;15344:9;15355;15316:7;:49::i;:::-;15380:5;15376:47;;;15414:8;::::0;15395:28:::1;::::0;15414:8:::1;15400::::0;;::::1;::::0;15414;;::::1;;15395:18;:28::i;:::-;15387:5;:36:::0;15376:47:::1;15479:34;::::0;;;;;::::1;::::0;::::1;::::0;;;;;15484:10:::1;::::0;15479:34:::1;::::0;;;;;;::::1;-1:-1:-1::0;;10832:1:0;10821:8;:12;-1:-1:-1;14276:1245:0;;;-1:-1:-1;;;;;;14276:1245:0:o;3729:50::-;;;;;;;;;;;;;:::o;10535:26::-;;;;:::o;4141:47::-;;;;;;;;;;;;;:::o;4355:476::-;4693:4;;;;;;;;;;;;;;;;;4728:10;;;;;;;;;;;;;;;4534:278;;4563:95;4534:278;;;;4677:22;4534:278;;;;4718:21;4534:278;;;;4461:9;4534:278;;;;4792:4;4534:278;;;;;;;;;;;;;;;;;;;;;;;;;4510:313;;;;;4491:16;:332;4355:476::o;15633:1471::-;15691:12;15705;10744:8;;10756:1;10744:13;10736:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10797:1;10786:8;:12;;;10797:1;15772:13:::1;:11;:13::i;:::-;-1:-1:-1::0;15829:6:0::1;::::0;15910::::1;::::0;15989:40:::1;::::0;;;;;16023:4:::1;15989:40;::::0;::::1;::::0;;;15730:55;;-1:-1:-1;15730:55:0;;-1:-1:-1;15829:6:0::1;::::0;;::::1;::::0;15910;::::1;::::0;15811:15:::1;::::0;15829:6;;15989:25:::1;::::0;:40;;;;;::::1;::::0;;;;;;;;15829:6;15989:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;15989:40:0;16056::::1;::::0;;;;;16090:4:::1;16056:40;::::0;::::1;::::0;;;15989;;-1:-1:-1;16040:13:0::1;::::0;16056:25:::1;::::0;::::1;::::0;::::1;::::0;:40;;;;;15989::::1;::::0;16056;;;;;;;:25;:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;16056:40:0;16142:4:::1;16107:14;16124:24:::0;;;:9:::1;16056:40;16124:24:::0;;;;;16056:40;;-1:-1:-1;16174:30:0::1;16183:9:::0;16194;16174:8:::1;:30::i;:::-;16215:17;16235:11:::0;16161:43;;-1:-1:-1;16235:11:0;16345:23:::1;:9:::0;16359:8;16345:13:::1;:23::i;:::-;:38;;;;;;::::0;-1:-1:-1;16478:12:0;16452:23:::1;:9:::0;16466:8;16452:13:::1;:23::i;:::-;:38;;;;;;16442:48;;16567:1;16557:7;:11;:26;;;;;16582:1;16572:7;:11;16557:26;16549:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16635:31;16649:4;16656:9;16635:5;:31::i;:::-;16677:35;16691:7;16700:2;16704:7;16677:13;:35::i;:::-;16723;16737:7;16746:2;16750:7;16723:13;:35::i;:::-;16780:40;::::0;;;;;16814:4:::1;16780:40;::::0;::::1;::::0;;;:25:::1;::::0;::::1;::::0;::::1;::::0;:40;;;;;::::1;::::0;;;;;;;;:25;:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;16780:40:0;16842::::1;::::0;;;;;16876:4:::1;16842:40;::::0;::::1;::::0;;;16780;;-1:-1:-1;16842:25:0::1;::::0;::::1;::::0;::::1;::::0;:40;;;;;16780::::1;::::0;16842;;;;;;;;:25;:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;16842:40:0;;-1:-1:-1;16895:49:0::1;16903:8:::0;16842:40;16923:9;16934;16895:7:::1;:49::i;:::-;16959:5;16955:47;;;16993:8;::::0;16974:28:::1;::::0;16993:8:::1;16979::::0;;::::1;::::0;16993;;::::1;;16974:18;:28::i;:::-;16966:5;:36:::0;16955:47:::1;17058:38;::::0;;;;;::::1;::::0;::::1;::::0;;;;;::::1;::::0;::::1;::::0;17063:10:::1;::::0;17058:38:::1;::::0;;;;;;;;;::::1;10809:1;;;;;;;;;10832::::0;10821:8;:12;;;;15633:1471;;;:::o;3585:46::-;;;;;;;;;;;;;;;;;;;:::o;10849:91::-;10924:8;;10849:91;:::o;5834:148::-;5903:4;5920:32;5930:10;5942:2;5946:5;5920:9;:32::i;9873:55::-;9923:5;9873:55;:::o;19129:343::-;10744:8;;10756:1;10744:13;10736:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10797:1;10786:8;:12;19207:6:::1;::::0;19257::::1;::::0;19361:8:::1;::::0;19316:40:::1;::::0;;;;;19350:4:::1;19316:40;::::0;::::1;::::0;;;19207:6:::1;::::0;;::::1;::::0;19257;;::::1;::::0;19289:82:::1;::::0;19207:6;;19312:2;;19316:54:::1;::::0;19361:8:::1;;::::0;19207:6;;19316:25:::1;::::0;:40;;;;;::::1;::::0;;;;;;;;;19207:6;19316:40;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;19316:40:0;;:44:::1;:54::i;:::-;19289:13;:82::i;:::-;19382;19396:7;19405:2;19409:54;19454:8;;;;;;;;;;;19409:54;;19416:7;19409:25;;;19443:4;19409:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;19382:82;-1:-1:-1::0;;10832:1:0;10821:8;:12;-1:-1:-1;19129:343:0:o;11945:358::-;12068:11;;12043:4;;12068:11;;:20;12060:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12120:6;:16;;;;;;;;;;;;;;12147:6;:16;;;;;;;;;;;12174:7;:18;;;;;;;;;;;;;;;12203:11;:18;;;;12120:16;12203:18;;;;;;12232:8;:12;12255:18;:16;:18::i;10032:31::-;;;;;;:::o;10107:30::-;;;;;;:::o;6308:675::-;6463:15;6451:8;:27;;6443:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6613:16;;6709:13;;;;6508:14;6709:13;;;:6;:13;;;;;;;;:15;;;;;;;;;6658:77;;4068:66;6658:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6648:88;;;;;;6549:202;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6525:237;;;;;;;;;6800:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6508:14;;6709:15;6800:26;;;;;-1:-1:-1;6800:26:0;;;;;;;;;;6709:15;6800:26;;;;;;;;;;;;;;;-1:-1:-1;;6800:26:0;;;;;;-1:-1:-1;;6845:30:0;;;;;;;:59;;;6899:5;6879:25;;:16;:25;;;6845:59;6837:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6944:31;6953:5;6960:7;6969:5;6944:8;:31::i;:::-;6308:675;;;;;;;;;:::o;3786:70::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;19521:167::-;10744:8;;10756:1;10744:13;10736:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10797:1;10786:8;:12;19586:6:::1;::::0;19579:39:::1;::::0;;;;;19612:4:::1;19579:39;::::0;::::1;::::0;;;19571:109:::1;::::0;19586:6:::1;;::::0;19579:24:::1;::::0;:39;;;;;::::1;::::0;;;;;;;;19586:6;19579:39;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;19579:39:0;19627:6:::1;::::0;19620:39:::1;::::0;;;;;19653:4:::1;19620:39;::::0;::::1;::::0;;;19627:6:::1;::::0;;::::1;::::0;19620:24:::1;::::0;:39;;;;;19579::::1;::::0;19620;;;;;;;;19627:6;19620:39;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;19620:39:0;19661:8:::1;::::0;::::1;::::0;;::::1;::::0;19671;;::::1;;19571:7;:109::i;:::-;10832:1:::0;10821:8;:12;19521:167::o;11196:283::-;9987:34;;;;;;;;;;;;;;;;;11324:43;;11313:10;11324:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11313:55;;;;11278:12;;11292:17;;11313:10;;;11324:43;11313:55;;;11324:43;11313:55;;11324:43;11313:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11277:91;;;;11387:7;:57;;;;-1:-1:-1;11399:11:0;;:16;;:44;;;11430:4;11419:24;;;;;;;;;;;;;;;-1:-1:-1;11419:24:0;11399:44;11379:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11196:283;;;;;:::o;3315:142::-;3367:6;3394;;;:30;;-1:-1:-1;;3409:5:0;;;3423:1;3418;3409:5;3418:1;3404:15;;;;;:20;3394:30;3386:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3178:129;3262:5;;;3257:16;;;;3249:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12388:856;12500:23;;;;;;:50;;-1:-1:-1;12527:23:0;;;;12500:50;12492:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12685:18;;12612:23;:15;:23;;;12685:18;;;;;12668:35;;;12741:15;;;;;;:33;;-1:-1:-1;12760:14:0;;;;;12741:33;:51;;;;-1:-1:-1;12778:14:0;;;;;12741:51;12737:336;;;12947:11;12894:64;;12899:44;12933:9;12899:27;12916:9;12899:16;:27::i;:::-;:33;;;;:44::i;:::-;12870:20;:88;;12894:50;;;;;:64;;;;12870:88;;;12997:64;;;13002:44;13036:9;13002:27;13019:9;13002:16;:27::i;:44::-;12973:20;:88;;12997:50;;;;;:64;;;;12973:88;;;12737:336;13083:8;:28;;;;;;;;;;;;13122;;;;;;;;;;;;13161:35;;;;;;;;;;;;13212:24;;;13217:8;;;13212:24;;13227:8;;;;;;;13212:24;;;;;;;;;;;;;;;;;12388:856;;;;;;:::o;5265:169::-;5346:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;5395:31;;;;;;;;;;;;;;;;;5265:169;;;:::o;5442:220::-;5536:15;;;;;;;:9;:15;;;;;;:26;;5556:5;5536:19;:26::i;:::-;5518:15;;;;;;;;:9;:15;;;;;;:44;;;;5589:13;;;;;;;:24;;5607:5;5589:17;:24::i;:::-;5573:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;5629:25;;;;;;;5573:13;;5629:25;;;;;;;;;;;;;5442:220;;;:::o;13334:830::-;13407:10;13430:13;13457:7;;;;;;;;;;;13446:25;;;:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;13446:27:0;13536:5;;13492:19;;;;;;;-1:-1:-1;13446:27:0;;-1:-1:-1;13536:5:0;13567:590;;13597:11;;13593:494;;13629:10;13642:41;13652:30;;:15;;;;:30;;:19;:30::i;13642:41::-;13629:54;;13702:14;13719:17;13729:6;13719:9;:17::i;:::-;13702:34;;13767:9;13759:5;:17;13755:317;;;13801:14;13818:37;13834:20;:5;13844:9;13834;:20::i;:::-;13818:11;;;:15;:37::i;:::-;13801:54;-1:-1:-1;13878:16:0;13897:27;13914:9;13897:12;:5;13907:1;13897:9;:12::i;:::-;:16;;:27::i;:::-;13878:46;;13947:14;13976:11;13964:9;:23;;;;;;;-1:-1:-1;14014:13:0;;14010:42;;14029:23;14035:5;14042:9;14029:5;:23::i;:::-;13755:317;;;;13593:494;;;13567:590;;;14108:11;;14104:53;;14144:1;14136:5;:9;14104:53;13334:830;;;;;;:::o;7279:303::-;7324:6;7351:1;7347;:5;7343:232;;;-1:-1:-1;7373:1:0;7406;7402;7398:5;;:9;7422:92;7433:1;7429;:5;7422:92;;;7459:1;7455:5;;7497:1;7492;7488;7484;:5;;;;;;:9;7483:15;;;;;;7479:19;;7422:92;;;7343:232;;;;7535:6;;7531:44;;-1:-1:-1;7562:1:0;7531:44;7279:303;;;:::o;4839:201::-;4912:11;;:22;;4928:5;4912:15;:22::i;:::-;4898:11;:36;;;4961:13;;;;;:9;:13;;;;;;:24;;4979:5;4961:17;:24::i;:::-;4945:13;;;;;;;:9;:13;;;;;;;;:40;;;;5001:31;;;;;;;4945:13;;;;5001:31;;;;;;;;;;4839:201;;:::o;7065:96::-;7117:6;7144:1;7140;:5;:13;;7152:1;7140:13;;;7148:1;7140:13;7136:17;7065:96;-1:-1:-1;;;7065:96:0:o;5048:209::-;5127:15;;;;;;;:9;:15;;;;;;:26;;5147:5;5127:19;:26::i;:::-;5109:15;;;;;;;:9;:15;;;;;:44;;;;5178:11;:22;;5194:5;5178:15;:22::i;:::-;5164:11;:36;;;5216:33;;;;;;;;;;;;;;;;;;;;;;5048:209;;:::o;7855:120::-;7931:10;;7800:6;7931:17;;7855:120::o;8046:108::-;8106:9;8136:10;;;8132:14;;;8136:10;8132:14;;;;;;8046:108;-1:-1:-1;;;8046:108:0:o;3042:128::-;3126:5;;;3121:16;;;;3113:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

ipfs://739d652d13a93fdfb2577c20734d01d532eaf3676cdf3acdfecde99d7d05588e