Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IVaporDEXERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(
• interface IVaporDEXPair is IVaporDEXE ...
•    - 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(uint256 amount0Out, uin ...
•    - function skim(address to)
•    - function sync()
•    - function initialize(address, address)
•  contract VaporDEXERC20 is IVaporDE ...
•    - function _mint(address to, uint256 va ...
•    - function _burn(address from, uint256 ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function permit(
•    - function _recover(bytes32 hash, uint8 ...
• interface IERC20VaporDEX
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
• interface IVaporDEXCallee
•    - function VaporDEXCall(address sender, ...
• interface IVaporDEXFactory
•    - function feeCollector()
•    - function feeCollectorSetter()
•    - function migrator()
•    - function getPair(address tokenA, addr ...
•    - function allPairs(uint256)
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeCollector(address)
•    - function setFeeCollectorSetter(addres ...
•    - function setMigrator(address)
• library Math
•    - function min(uint256 x, uint256 y)
•    - function sqrt(uint256 y)
• library UQ112x112
•    - function encode(uint112 y)
•    - function uqdiv(uint224 x, uint112 y)
• interface IMigrator
•    - function desiredLiquidity()
•  contract VaporDEXPair is IVaporDEX ... *
•    - function getReserves()
•    - function _safeTransfer(address token, ...
•    - function initialize(address _token0, ...
•    - function _update(uint256 balance0, ui ...
•    - function _mintFee(uint112 _reserve0, ...
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(uint256 amount0Out, uin ...
•    - function skim(address to)
•    - function sync()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at snowscan.xyz on 2024-04-09
*/

// Sources flattened with hardhat v2.17.0 https://hardhat.org

// File contracts/VaporDEX/interfaces/IVaporDEXERC20.sol

// SPDX-License-Identifier: GPL-3.0

pragma solidity ^0.8.12;

interface IVaporDEXERC20 {
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 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 (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

    function nonces(address owner) external view returns (uint256);

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

// File contracts/VaporDEX/interfaces/IVaporDEXPair.sol

pragma solidity ^0.8.12;

interface IVaporDEXPair is IVaporDEXERC20 {
    event Mint(address indexed sender, uint256 amount0, uint256 amount1);
    event Burn(address indexed sender, uint256 amount0, uint256 amount1, address indexed to);
    event Swap(
        address indexed sender,
        uint256 amount0In,
        uint256 amount1In,
        uint256 amount0Out,
        uint256 amount1Out,
        address indexed to
    );
    event Sync(uint112 reserve0, uint112 reserve1);

    function MINIMUM_LIQUIDITY() external pure returns (uint256);

    function factory() external view returns (address);

    function token0() external view returns (address);

    function token1() external view returns (address);

    function getReserves() external view returns (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast);

    function price0CumulativeLast() external view returns (uint256);

    function price1CumulativeLast() external view returns (uint256);

    function kLast() external view returns (uint256);

    function mint(address to) external returns (uint256 liquidity);

    function burn(address to) external returns (uint256 amount0, uint256 amount1);

    function swap(uint256 amount0Out, uint256 amount1Out, address to, bytes calldata data) external;

    function skim(address to) external;

    function sync() external;

    function initialize(address, address) external;
}

// File contracts/VaporDEX/VaporDEXERC20.sol

pragma solidity ^0.8.12;

contract VaporDEXERC20 is IVaporDEXERC20 {
    string public constant name = "VaporDEX LP Token";
    string public constant symbol = "VLP";
    uint8 public constant decimals = 18;
    uint256 public totalSupply;
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

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

    constructor() {
        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                keccak256(bytes(name)),
                keccak256(bytes("1")),
                block.chainid,
                address(this)
            )
        );
    }

    function _mint(address to, uint256 value) internal {
        totalSupply = totalSupply + value;
        balanceOf[to] = balanceOf[to] + value;
        emit Transfer(address(0), to, value);
    }

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

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

    function _transfer(address from, address to, uint256 value) private {
        balanceOf[from] = balanceOf[from] - value;
        balanceOf[to] = balanceOf[to] + value;
        emit Transfer(from, to, value);
    }

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

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

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

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

    /**
     * @dev Overload of {ECDSA-recover-bytes32-bytes-} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function _recover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) private pure returns (address) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (281): 0 < s < secp256k1n ÷ 2 + 1, and for v in (282): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        require(
            uint256(s) <= 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0,
            "ECDSA: invalid signature 's' value"
        );
        require(v == 27 || v == 28, "ECDSA: invalid signature 'v' value");

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        require(signer != address(0), "ECDSA: invalid signature");

        return signer;
    }
}

// File contracts/VaporDEX/interfaces/IERC20.sol

pragma solidity ^0.8.12;

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

    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);

    function totalSupply() external view returns (uint256);

    function balanceOf(address owner) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 value) external returns (bool);

    function transfer(address to, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);
}

// File contracts/VaporDEX/interfaces/IVaporDEXCallee.sol

pragma solidity ^0.8.12;

interface IVaporDEXCallee {
    function VaporDEXCall(address sender, uint256 amount0, uint256 amount1, bytes calldata data) external;
}

// File contracts/VaporDEX/interfaces/IVaporDEXFactory.sol

pragma solidity ^0.8.12;

interface IVaporDEXFactory {
    function feeCollector() external view returns (address);

    function feeCollectorSetter() external view returns (address);

    function migrator() external view returns (address);

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

    function allPairs(uint256) external view returns (address pair);

    function allPairsLength() external view returns (uint256);

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

    function setFeeCollector(address) external;

    function setFeeCollectorSetter(address) external;

    function setMigrator(address) external;
}

// File contracts/VaporDEX/libraries/Math.sol

pragma solidity ^0.8.12;

// a library for performing various math operations

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

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

// File contracts/VaporDEX/libraries/UQ112x112.sol

pragma solidity ^0.8.12;

// a library for handling binary fixed point numbers (https://en.wikipedia.org/wiki/Q_(number_format))

// range: [0, 2**112 - 1]
// resolution: 1 / 2**112

library UQ112x112 {
    uint224 constant Q112 = 2 ** 112;

    // encode a uint112 as a UQ112x112
    function encode(uint112 y) internal pure returns (uint224 z) {
        z = uint224(y) * Q112; // never overflows
    }

    // divide a UQ112x112 by a uint112, returning a UQ112x112
    function uqdiv(uint224 x, uint112 y) internal pure returns (uint224 z) {
        z = x / uint224(y);
    }
}

// File contracts/VaporDEX/VaporDEXPair.sol

pragma solidity ^0.8.12;

interface IMigrator {
    // Return the desired amount of liquidity token that the migrator wants.
    function desiredLiquidity() external view returns (uint256);
}

contract VaporDEXPair is IVaporDEXPair, VaporDEXERC20 {
    using UQ112x112 for uint224;

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

    address public factory;
    address public token0;
    address public token1;

    uint112 private reserve0; // uses single storage slot, accessible via getReserves
    uint112 private reserve1; // uses single storage slot, accessible via getReserves
    uint32 private blockTimestampLast; // uses single storage slot, accessible via getReserves

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

    uint256 private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, "VaporDEX: LOCKED");
        unlocked = 0;
        _;
        unlocked = 1;
    }

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

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

    constructor() {
        factory = msg.sender;
    }

    // called once by the factory at time of deployment
    function initialize(address _token0, address _token1) external {
        require(msg.sender == factory, "VaporDEX: FORBIDDEN"); // sufficient check
        require(_token0 != address(0) && _token1 != address(0), "Address 0");

        token0 = _token0;
        token1 = _token1;
    }

    // update reserves and, on the first call per block, price accumulators
    function _update(uint256 balance0, uint256 balance1, uint112 _reserve0, uint112 _reserve1) private {
        require(balance0 <= type(uint112).max && balance1 <= type(uint112).max, "VaporDEX: 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 += uint256(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) * timeElapsed;
            price1CumulativeLast += uint256(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 4/29th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1) private returns (bool feeOn) {
        address feeCollector = IVaporDEXFactory(factory).feeCollector();
        feeOn = feeCollector != address(0);
        uint256 _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint256 rootK = Math.sqrt(uint256(_reserve0) * _reserve1);
                uint256 rootKLast = Math.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint256 numerator = (totalSupply * (rootK - rootKLast)) * 4;
                    uint256 denominator = (rootK * 25) + (rootKLast * 4);
                    uint256 liquidity = numerator / denominator;
                    if (liquidity > 0) _mint(feeCollector, liquidity);
                }
            }
        } else if (_kLast != 0) {
            kLast = 0;
        }
    }

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

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        if (_totalSupply == 0) {
            address migrator = IVaporDEXFactory(factory).migrator();
            if (msg.sender == migrator) {
                liquidity = IMigrator(migrator).desiredLiquidity();
                require(liquidity > 0 && liquidity != type(uint256).max, "Bad desired liquidity");
            } else {
                require(migrator == address(0), "Must not have migrator");
                liquidity = Math.sqrt(amount0 * amount1) - MINIMUM_LIQUIDITY;
                _mint(address(0), MINIMUM_LIQUIDITY); // permanently lock the first MINIMUM_LIQUIDITY tokens
            }
        } else {
            liquidity = Math.min((amount0 * _totalSupply) / _reserve0, (amount1 * _totalSupply) / _reserve1);
        }
        require(liquidity > 0, "VaporDEX: INSUFFICIENT_LIQUIDITY_MINTED");
        _mint(to, liquidity);

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint256(reserve0) * reserve1; // reserve0 and reserve1 are up-to-date
        emit Mint(msg.sender, amount0, amount1);
    }

    // this low-level function should be called from a contract which performs important safety checks
    function burn(address to) external lock returns (uint256 amount0, uint256 amount1) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        uint256 balance0 = IERC20VaporDEX(_token0).balanceOf(address(this));
        uint256 balance1 = IERC20VaporDEX(_token1).balanceOf(address(this));
        uint256 liquidity = balanceOf[address(this)];

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint256 _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        amount0 = (liquidity * balance0) / _totalSupply; // using balances ensures pro-rata distribution
        amount1 = (liquidity * balance1) / _totalSupply; // using balances ensures pro-rata distribution
        require(amount0 > 0 && amount1 > 0, "VaporDEX: INSUFFICIENT_LIQUIDITY_BURNED");
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IERC20VaporDEX(_token0).balanceOf(address(this));
        balance1 = IERC20VaporDEX(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint256(reserve0) * 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(uint256 amount0Out, uint256 amount1Out, address to, bytes calldata data) external lock {
        require(amount0Out > 0 || amount1Out > 0, "VaporDEX: INSUFFICIENT_OUTPUT_AMOUNT");
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        require(amount0Out < _reserve0 && amount1Out < _reserve1, "VaporDEX: INSUFFICIENT_LIQUIDITY");

        uint256 balance0;
        uint256 balance1;
        {
            // scope for _token{0,1}, avoids stack too deep errors
            address _token0 = token0;
            address _token1 = token1;
            require(to != _token0 && to != _token1, "VaporDEX: 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) IVaporDEXCallee(to).VaporDEXCall(msg.sender, amount0Out, amount1Out, data);
            balance0 = IERC20VaporDEX(_token0).balanceOf(address(this));
            balance1 = IERC20VaporDEX(_token1).balanceOf(address(this));
        }
        uint256 amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
        uint256 amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
        require(amount0In > 0 || amount1In > 0, "VaporDEX: INSUFFICIENT_INPUT_AMOUNT");
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint256 balance0Adjusted = (balance0 * 10000) - (amount0In * 29);
            uint256 balance1Adjusted = (balance1 * 10000) - (amount1In * 29);
            require(balance0Adjusted * balance1Adjusted >= uint256(_reserve0) * _reserve1 * 10000 ** 2, "VaporDEX: K");
        }

        _update(balance0, balance1, _reserve0, _reserve1);
        emit Swap(msg.sender, amount0In, amount1In, amount0Out, amount1Out, to);
    }

    // force balances to match reserves
    function skim(address to) external lock {
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        _safeTransfer(_token0, to, IERC20VaporDEX(_token0).balanceOf(address(this)) - reserve0);
        _safeTransfer(_token1, to, IERC20VaporDEX(_token1).balanceOf(address(this)) - reserve1);
    }

    // force reserves to match balances
    function sync() external lock {
        _update(
            IERC20VaporDEX(token0).balanceOf(address(this)),
            IERC20VaporDEX(token1).balanceOf(address(this)),
            reserve0,
            reserve1
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount0Out","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1Out","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Swap","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint112","name":"reserve0","type":"uint112"},{"indexed":false,"internalType":"uint112","name":"reserve1","type":"uint112"}],"name":"Sync","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"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":"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":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","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"}]

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a71461040c578063d505accf1461041f578063dd62ed3e14610432578063fff6cae91461045d57600080fd5b8063ba9a7a56146103dd578063bc25cf77146103e6578063c45a0155146103f957600080fd5b80637ecebe00116100d35780637ecebe001461036057806389afcb441461038057806395d89b41146103a8578063a9059cbb146103ca57600080fd5b80636a6278421461032457806370a08231146103375780637464fc3d1461035757600080fd5b806323b872dd116101665780633644e515116101405780633644e515146102f6578063485cc955146102ff5780635909c0d5146103125780635a3d54931461031b57600080fd5b806323b872dd146102a257806330adf81f146102b5578063313ce567146102dc57600080fd5b8063022c0d9f146101ae57806306fdde03146101c35780630902f1ac14610209578063095ea7b31461023d5780630dfe16811461026057806318160ddd1461028b575b600080fd5b6101c16101bc366004612011565b610465565b005b6101f3604051806040016040528060118152602001702b30b837b92222ac102628102a37b5b2b760791b81525081565b60405161020091906120d7565b60405180910390f35b610211610972565b604080516001600160701b03948516815293909216602084015263ffffffff1690820152606001610200565b61025061024b36600461210a565b61099c565b6040519015158152602001610200565b600654610273906001600160a01b031681565b6040516001600160a01b039091168152602001610200565b61029460005481565b604051908152602001610200565b6102506102b0366004612136565b6109b2565b6102947f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b6102e4601281565b60405160ff9091168152602001610200565b61029460035481565b6101c161030d366004612177565b610a47565b61029460095481565b610294600a5481565b6102946103323660046121b0565b610b1d565b6102946103453660046121b0565b60016020526000908152604090205481565b610294600b5481565b61029461036e3660046121b0565b60046020526000908152604090205481565b61039361038e3660046121b0565b610f78565b60408051928352602083019190915201610200565b6101f3604051806040016040528060038152602001620564c560ec1b81525081565b6102506103d836600461210a565b6112dc565b6102946103e881565b6101c16103f43660046121b0565b6112e9565b600554610273906001600160a01b031681565b600754610273906001600160a01b031681565b6101c161042d3660046121cd565b6113fc565b610294610440366004612177565b600260209081526000928352604080842090915290825290205481565b6101c16115bf565b600c546001146104905760405162461bcd60e51b815260040161048790612244565b60405180910390fd5b6000600c55841515806104a35750600084115b6104fb5760405162461bcd60e51b8152602060048201526024808201527f5661706f724445583a20494e53554646494349454e545f4f55545055545f414d60448201526313d5539560e21b6064820152608401610487565b600080610506610972565b5091509150816001600160701b03168710801561052b5750806001600160701b031686105b6105775760405162461bcd60e51b815260206004820181905260248201527f5661706f724445583a20494e53554646494349454e545f4c49515549444954596044820152606401610487565b60065460075460009182916001600160a01b039182169190811690891682148015906105b55750806001600160a01b0316896001600160a01b031614155b6105f85760405162461bcd60e51b81526020600482015260146024820152735661706f724445583a20494e56414c49445f544f60601b6044820152606401610487565b8a1561060957610609828a8d6116e3565b891561061a5761061a818a8c6116e3565b861561068757604051630783fdd360e31b81526001600160a01b038a1690633c1fee98906106549033908f908f908e908e9060040161226e565b600060405180830381600087803b15801561066e57600080fd5b505af1158015610682573d6000803e3d6000fd5b505050505b6040516370a0823160e01b81523060048201526001600160a01b038316906370a0823190602401602060405180830381865afa1580156106cb573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ef91906122ba565b6040516370a0823160e01b81523060048201529094506001600160a01b038216906370a0823190602401602060405180830381865afa158015610736573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061075a91906122ba565b92505050600089856001600160701b031661077591906122e9565b831161078257600061079f565b6107958a6001600160701b0387166122e9565b61079f90846122e9565b905060006107b68a6001600160701b0387166122e9565b83116107c35760006107e0565b6107d68a6001600160701b0387166122e9565b6107e090846122e9565b905060008211806107f15750600081115b6108495760405162461bcd60e51b815260206004820152602360248201527f5661706f724445583a20494e53554646494349454e545f494e5055545f414d4f60448201526215539560ea1b6064820152608401610487565b600061085683601d612300565b61086286612710612300565b61086c91906122e9565b9050600061087b83601d612300565b61088786612710612300565b61089191906122e9565b90506108a96001600160701b03808916908a16612300565b6108b7906305f5e100612300565b6108c18284612300565b10156108fd5760405162461bcd60e51b815260206004820152600b60248201526a5661706f724445583a204b60a81b6044820152606401610487565b505061090b8484888861182e565b60408051838152602081018390529081018c9052606081018b90526001600160a01b038a169033907fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229060800160405180910390a350506001600c55505050505050505050565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b60006109a9338484611a19565b50600192915050565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610a32576001600160a01b0384166000908152600260209081526040808320338452909152902054610a0d9083906122e9565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610a3d848484611a7b565b5060019392505050565b6005546001600160a01b03163314610a975760405162461bcd60e51b81526020600482015260136024820152722b30b837b92222ac1d102327a92124a22222a760691b6044820152606401610487565b6001600160a01b03821615801590610ab757506001600160a01b03811615155b610aef5760405162461bcd60e51b815260206004820152600960248201526804164647265737320360bc1b6044820152606401610487565b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b6000600c54600114610b415760405162461bcd60e51b815260040161048790612244565b6000600c81905580610b51610972565b506006546040516370a0823160e01b81523060048201529294509092506000916001600160a01b03909116906370a0823190602401602060405180830381865afa158015610ba3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bc791906122ba565b6007546040516370a0823160e01b81523060048201529192506000916001600160a01b03909116906370a0823190602401602060405180830381865afa158015610c15573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c3991906122ba565b90506000610c506001600160701b038616846122e9565b90506000610c676001600160701b038616846122e9565b90506000610c758787611b23565b60005490915080610e445760055460408051637cd07e4760e01b815290516000926001600160a01b031691637cd07e479160048083019260209291908290030181865afa158015610cca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610cee919061231f565b9050336001600160a01b0382161415610dc057806001600160a01b03166340dc0e376040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d3f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d6391906122ba565b995060008a118015610d7757506000198a14155b610dbb5760405162461bcd60e51b81526020600482015260156024820152744261642064657369726564206c697175696469747960581b6044820152606401610487565b610e3e565b6001600160a01b03811615610e105760405162461bcd60e51b815260206004820152601660248201527526bab9ba103737ba103430bb329036b4b3b930ba37b960511b6044820152606401610487565b6103e8610e25610e208688612300565b611c77565b610e2f91906122e9565b9950610e3e60006103e8611ce7565b50610e8b565b610e886001600160701b038916610e5b8387612300565b610e659190612352565b6001600160701b038916610e798487612300565b610e839190612352565b611d78565b98505b60008911610eeb5760405162461bcd60e51b815260206004820152602760248201527f5661706f724445583a20494e53554646494349454e545f4c495155494449545960448201526617d3525395115160ca1b6064820152608401610487565b610ef58a8a611ce7565b610f0186868a8a61182e565b8115610f2a57600854610f26906001600160701b03600160701b820481169116612300565b600b555b604080518581526020810185905233917f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f910160405180910390a250506001600c5550949695505050505050565b600080600c54600114610f9d5760405162461bcd60e51b815260040161048790612244565b6000600c81905580610fad610972565b506006546007546040516370a0823160e01b81523060048201529395509193506001600160a01b039081169291169060009083906370a0823190602401602060405180830381865afa158015611007573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061102b91906122ba565b6040516370a0823160e01b81523060048201529091506000906001600160a01b038416906370a0823190602401602060405180830381865afa158015611075573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061109991906122ba565b306000908152600160205260408120549192506110b68888611b23565b600054909150806110c78685612300565b6110d19190612352565b9a50806110de8585612300565b6110e89190612352565b995060008b1180156110fa575060008a115b6111565760405162461bcd60e51b815260206004820152602760248201527f5661706f724445583a20494e53554646494349454e545f4c495155494449545960448201526617d0955493915160ca1b6064820152608401610487565b6111603084611d90565b61116b878d8d6116e3565b611176868d8c6116e3565b6040516370a0823160e01b81523060048201526001600160a01b038816906370a0823190602401602060405180830381865afa1580156111ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111de91906122ba565b6040516370a0823160e01b81523060048201529095506001600160a01b038716906370a0823190602401602060405180830381865afa158015611225573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061124991906122ba565b935061125785858b8b61182e565b81156112805760085461127c906001600160701b03600160701b820481169116612300565b600b555b604080518c8152602081018c90526001600160a01b038e169133917fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496910160405180910390a35050505050505050506001600c81905550915091565b60006109a9338484611a7b565b600c5460011461130b5760405162461bcd60e51b815260040161048790612244565b6000600c556006546007546008546040516370a0823160e01b81523060048201526001600160a01b0393841693909216916113aa91849186916001600160701b03169083906370a08231906024015b602060405180830381865afa158015611377573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061139b91906122ba565b6113a591906122e9565b6116e3565b6008546040516370a0823160e01b81523060048201526113f29183918691600160701b90046001600160701b0316906001600160a01b038416906370a082319060240161135a565b50506001600c5550565b428410156114405760405162461bcd60e51b815260206004820152601160248201527015985c1bdc9111560e8811561412549151607a1b6044820152606401610487565b6003546001600160a01b038816600090815260046020526040812080549192917f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9918b918b918b91908761149383612366565b909155506040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810187905260e0016040516020818303038152906040528051906020012060405160200161150c92919061190160f01b81526002810192909252602282015260420190565b604051602081830303815290604052805190602001209050600061153282868686611e1c565b90506001600160a01b0381161580159061155d5750886001600160a01b0316816001600160a01b0316145b6115a95760405162461bcd60e51b815260206004820152601b60248201527f5661706f724445583a20494e56414c49445f5349474e415455524500000000006044820152606401610487565b6115b4898989611a19565b505050505050505050565b600c546001146115e15760405162461bcd60e51b815260040161048790612244565b6000600c556006546040516370a0823160e01b81523060048201526116dc916001600160a01b0316906370a0823190602401602060405180830381865afa158015611630573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061165491906122ba565b6007546040516370a0823160e01b81523060048201526001600160a01b03909116906370a0823190602401602060405180830381865afa15801561169c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116c091906122ba565b6008546001600160701b0380821691600160701b90041661182e565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1790529151600092839287169161176f9190612381565b6000604051808303816000865af19150503d80600081146117ac576040519150601f19603f3d011682016040523d82523d6000602084013e6117b1565b606091505b50915091508180156117db5750805115806117db5750808060200190518101906117db919061239d565b6118275760405162461bcd60e51b815260206004820152601960248201527f5661706f724445583a205452414e534645525f4641494c4544000000000000006044820152606401610487565b5050505050565b6001600160701b03841180159061184c57506001600160701b038311155b61188d5760405162461bcd60e51b81526020600482015260126024820152715661706f724445583a204f564552464c4f5760701b6044820152606401610487565b600061189e640100000000426123bf565b6008549091506000906118be90600160e01b900463ffffffff16836123d3565b905060008163ffffffff161180156118de57506001600160701b03841615155b80156118f257506001600160701b03831615155b15611981578063ffffffff1661191a8561190b86611fc5565b6001600160e01b031690611fe4565b6001600160e01b031661192d9190612300565b6009600082825461193e91906123f8565b909155505063ffffffff81166119578461190b87611fc5565b6001600160e01b031661196a9190612300565b600a600082825461197b91906123f8565b90915550505b6008805463ffffffff8416600160e01b026001600160e01b036001600160701b03898116600160701b9081026001600160e01b03199095168c83161794909417918216831794859055604080519382169282169290921783529290930490911660208201527f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1910160405180910390a1505050505050565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316600090815260016020526040902054611a9f9082906122e9565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611acf9082906123f8565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611a6e9085815260200190565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663c415b95c6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611b79573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b9d919061231f565b600b546001600160a01b038216158015945091925090611c63578015611c5e576000611bd8610e206001600160701b03808816908916612300565b90506000611be583611c77565b905080821115611c5b576000611bfb82846122e9565b600054611c089190612300565b611c13906004612300565b90506000611c22836004612300565b611c2d856019612300565b611c3791906123f8565b90506000611c458284612352565b90508015611c5757611c578782611ce7565b5050505b50505b611c6f565b8015611c6f576000600b555b505092915050565b60006003821115611cd85750806000611c91600283612352565b611c9c9060016123f8565b90505b81811015611cd257905080600281611cb78186612352565b611cc191906123f8565b611ccb9190612352565b9050611c9f565b50919050565b8115611ce2575060015b919050565b80600054611cf591906123f8565b60009081556001600160a01b038316815260016020526040902054611d1b9082906123f8565b6001600160a01b0383166000818152600160205260408082209390935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611d6c9085815260200190565b60405180910390a35050565b6000818310611d875781611d89565b825b9392505050565b6001600160a01b038216600090815260016020526040902054611db49082906122e9565b6001600160a01b03831660009081526001602052604081209190915554611ddc9082906122e9565b60009081556040518281526001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001611d6c565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0821115611e995760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610487565b8360ff16601b1480611eae57508360ff16601c145b611f055760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b6064820152608401610487565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa158015611f59573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116611fbc5760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610487565b95945050505050565b6000611fde600160701b6001600160701b038416612410565b92915050565b6000611d896001600160701b0383168461243f565b6001600160a01b038116811461200e57600080fd5b50565b60008060008060006080868803121561202957600080fd5b8535945060208601359350604086013561204281611ff9565b9250606086013567ffffffffffffffff8082111561205f57600080fd5b818801915088601f83011261207357600080fd5b81358181111561208257600080fd5b89602082850101111561209457600080fd5b9699959850939650602001949392505050565b60005b838110156120c25781810151838201526020016120aa565b838111156120d1576000848401525b50505050565b60208152600082518060208401526120f68160408501602087016120a7565b601f01601f19169190910160400192915050565b6000806040838503121561211d57600080fd5b823561212881611ff9565b946020939093013593505050565b60008060006060848603121561214b57600080fd5b833561215681611ff9565b9250602084013561216681611ff9565b929592945050506040919091013590565b6000806040838503121561218a57600080fd5b823561219581611ff9565b915060208301356121a581611ff9565b809150509250929050565b6000602082840312156121c257600080fd5b8135611d8981611ff9565b600080600080600080600060e0888a0312156121e857600080fd5b87356121f381611ff9565b9650602088013561220381611ff9565b95506040880135945060608801359350608088013560ff8116811461222757600080fd5b9699959850939692959460a0840135945060c09093013592915050565b60208082526010908201526f15985c1bdc9111560e881313d0d2d15160821b604082015260600190565b60018060a01b038616815284602082015283604082015260806060820152816080820152818360a0830137600081830160a090810191909152601f909201601f19160101949350505050565b6000602082840312156122cc57600080fd5b5051919050565b634e487b7160e01b600052601160045260246000fd5b6000828210156122fb576122fb6122d3565b500390565b600081600019048311821515161561231a5761231a6122d3565b500290565b60006020828403121561233157600080fd5b8151611d8981611ff9565b634e487b7160e01b600052601260045260246000fd5b6000826123615761236161233c565b500490565b600060001982141561237a5761237a6122d3565b5060010190565b600082516123938184602087016120a7565b9190910192915050565b6000602082840312156123af57600080fd5b81518015158114611d8957600080fd5b6000826123ce576123ce61233c565b500690565b600063ffffffff838116908316818110156123f0576123f06122d3565b039392505050565b6000821982111561240b5761240b6122d3565b500190565b60006001600160e01b0382811684821681151582840482111615612436576124366122d3565b02949350505050565b60006001600160e01b03838116806124595761245961233c565b9216919091049291505056fea264697066735822122000eb776c2009ea482087568ab648f79196d66d11a4b9f85316ef3f49381f140b64736f6c634300080c0033

11473:9992:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18799:1984;;;;;;:::i;:::-;;:::i;:::-;;3095:49;;;;;;;;;;;;;;;-1:-1:-1;;;3095:49:0;;;;;;;;;;;;:::i;:::-;;;;;;;;12455:231;;;:::i;:::-;;;;-1:-1:-1;;;;;1936:15:1;;;1918:34;;1988:15;;;;1983:2;1968:18;;1961:43;2052:10;2040:23;2020:18;;;2013:51;1857:2;1842:18;12455:231:0;1669:401:1;4906:150:0;;;;;;:::i;:::-;;:::i;:::-;;;2560:14:1;;2553:22;2535:41;;2523:2;2508:18;4906:150:0;2395:187:1;11754:21:0;;;;;-1:-1:-1;;;;;11754:21:0;;;;;;-1:-1:-1;;;;;2751:32:1;;;2733:51;;2721:2;2706:18;11754:21:0;2587:203:1;3237:26:0;;;;;;;;;2941:25:1;;;2929:2;2914:18;3237:26:0;2795:177:1;5214:310:0;;;;;;:::i;:::-;;:::i;3537:108::-;;3579:66;3537:108;;3195:35;;3228:2;3195:35;;;;;3792:4:1;3780:17;;;3762:36;;3750:2;3735:18;3195:35:0;3620:184:1;3394:31:0;;;;;;13109:290;;;;;;:::i;:::-;;:::i;12084:35::-;;;;;;12126;;;;;;15459:1664;;;;;;:::i;:::-;;:::i;3270:44::-;;;;;;:::i;:::-;;;;;;;;;;;;;;12168:20;;;;;;3652:41;;;;;;:::i;:::-;;;;;;;;;;;;;;17235:1452;;;;;;:::i;:::-;;:::i;:::-;;;;4628:25:1;;;4684:2;4669:18;;4662:34;;;;4601:18;17235:1452:0;4454:248:1;3151:37:0;;;;;;;;;;;;;;;-1:-1:-1;;;3151:37:0;;;;;5064:142;;;;;;:::i;:::-;;:::i;11570:51::-;;11614:7;11570:51;;20832:344;;;;;;:::i;:::-;;:::i;11725:22::-;;;;;-1:-1:-1;;;;;11725:22:0;;;11782:21;;;;;-1:-1:-1;;;;;11782:21:0;;;5532:747;;;;;;:::i;:::-;;:::i;3321:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;21225:237;;;:::i;18799:1984::-;12347:8;;12359:1;12347:13;12339:42;;;;-1:-1:-1;;;12339:42:0;;;;;;;:::i;:::-;;;;;;;;;12403:1;12392:8;:12;18919:14;;;;:32:::1;;;18950:1;18937:10;:14;18919:32;18911:81;;;::::0;-1:-1:-1;;;18911:81:0;;6088:2:1;18911:81:0::1;::::0;::::1;6070:21:1::0;6127:2;6107:18;;;6100:30;6166:34;6146:18;;;6139:62;-1:-1:-1;;;6217:18:1;;;6210:34;6261:19;;18911:81:0::1;5886:400:1::0;18911:81:0::1;19004:17;19023::::0;19046:13:::1;:11;:13::i;:::-;19003:56;;;;;19106:9;-1:-1:-1::0;;;;;19093:22:0::1;:10;:22;:48;;;;;19132:9;-1:-1:-1::0;;;;;19119:22:0::1;:10;:22;19093:48;19085:93;;;::::0;-1:-1:-1;;;19085:93:0;;6493:2:1;19085:93:0::1;::::0;::::1;6475:21:1::0;;;6512:18;;;6505:30;6571:34;6551:18;;;6544:62;6623:18;;19085:93:0::1;6291:356:1::0;19085:93:0::1;19346:6;::::0;19385::::1;::::0;19191:16:::1;::::0;;;-1:-1:-1;;;;;19346:6:0;;::::1;::::0;19385;;::::1;::::0;19414:13;::::1;::::0;::::1;::::0;::::1;::::0;:30:::1;;;19437:7;-1:-1:-1::0;;;;;19431:13:0::1;:2;-1:-1:-1::0;;;;;19431:13:0::1;;;19414:30;19406:63;;;::::0;-1:-1:-1;;;19406:63:0;;6854:2:1;19406:63:0::1;::::0;::::1;6836:21:1::0;6893:2;6873:18;;;6866:30;-1:-1:-1;;;6912:18:1;;;6905:50;6972:18;;19406:63:0::1;6652:344:1::0;19406:63:0::1;19488:14:::0;;19484:58:::1;;19504:38;19518:7;19527:2;19531:10;19504:13;:38::i;:::-;19595:14:::0;;19591:58:::1;;19611:38;19625:7;19634:2;19638:10;19611:13;:38::i;:::-;19702:15:::0;;19698:95:::1;;19719:74;::::0;-1:-1:-1;;;19719:74:0;;-1:-1:-1;;;;;19719:32:0;::::1;::::0;::::1;::::0;:74:::1;::::0;19752:10:::1;::::0;19764;;19776;;19788:4;;;;19719:74:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;19698:95;19819:48;::::0;-1:-1:-1;;;19819:48:0;;19861:4:::1;19819:48;::::0;::::1;2733:51:1::0;-1:-1:-1;;;;;19819:33:0;::::1;::::0;::::1;::::0;2706:18:1;;19819:48:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;19893;::::0;-1:-1:-1;;;19893:48:0;;19935:4:::1;19893:48;::::0;::::1;2733:51:1::0;19808:59:0;;-1:-1:-1;;;;;;19893:33:0;::::1;::::0;::::1;::::0;2706:18:1;;19893:48:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;19882:59;;19245:708;;19963:17;20006:10;19994:9;-1:-1:-1::0;;;;;19994:22:0::1;;;;;:::i;:::-;19983:8;:33;:75;;20057:1;19983:75;;;20031:22;20043:10:::0;-1:-1:-1;;;;;20031:22:0;::::1;;:::i;:::-;20019:35;::::0;:8;:35:::1;:::i;:::-;19963:95:::0;-1:-1:-1;20069:17:0::1;20100:22;20112:10:::0;-1:-1:-1;;;;;20100:22:0;::::1;;:::i;:::-;20089:8;:33;:75;;20163:1;20089:75;;;20137:22;20149:10:::0;-1:-1:-1;;;;;20137:22:0;::::1;;:::i;:::-;20125:35;::::0;:8;:35:::1;:::i;:::-;20069:95;;20195:1;20183:9;:13;:30;;;;20212:1;20200:9;:13;20183:30;20175:78;;;::::0;-1:-1:-1;;;20175:78:0;;8291:2:1;20175:78:0::1;::::0;::::1;8273:21:1::0;8330:2;8310:18;;;8303:30;8369:34;8349:18;;;8342:62;-1:-1:-1;;;8420:18:1;;;8413:33;8463:19;;20175:78:0::1;8089:399:1::0;20175:78:0::1;20356:24;20405:14;:9:::0;20417:2:::1;20405:14;:::i;:::-;20384:16;:8:::0;20395:5:::1;20384:16;:::i;:::-;20383:37;;;;:::i;:::-;20356:64:::0;-1:-1:-1;20435:24:0::1;20484:14;:9:::0;20496:2:::1;20484:14;:::i;:::-;20463:16;:8:::0;20474:5:::1;20463:16;:::i;:::-;20462:37;;;;:::i;:::-;20435:64:::0;-1:-1:-1;20561:30:0::1;-1:-1:-1::0;;;;;20561:30:0;;::::1;::::0;:18;::::1;:30;:::i;:::-;:43;::::0;20594:10:::1;20561:43;:::i;:::-;20522:35;20541:16:::0;20522;:35:::1;:::i;:::-;:82;;20514:106;;;::::0;-1:-1:-1;;;20514:106:0;;8868:2:1;20514:106:0::1;::::0;::::1;8850:21:1::0;8907:2;8887:18;;;8880:30;-1:-1:-1;;;8926:18:1;;;8919:41;8977:18;;20514:106:0::1;8666:335:1::0;20514:106:0::1;20264:368;;20644:49;20652:8;20662;20672:9;20683;20644:7;:49::i;:::-;20709:66;::::0;;9237:25:1;;;9293:2;9278:18;;9271:34;;;9321:18;;;9314:34;;;9379:2;9364:18;;9357:34;;;-1:-1:-1;;;;;20709:66:0;::::1;::::0;20714:10:::1;::::0;20709:66:::1;::::0;9224:3:1;9209:19;20709:66:0::1;;;;;;;-1:-1:-1::0;;12438:1:0;12427:8;:12;-1:-1:-1;;;;;;;;;18799:1984:0:o;12455:231::-;12588:8;;-1:-1:-1;;;;;12588:8:0;;;;-1:-1:-1;;;12619:8:0;;;;;;-1:-1:-1;;;12660:18:0;;;;;12455:231::o;4906:150::-;4973:4;4990:36;4999:10;5011:7;5020:5;4990:8;:36::i;:::-;-1:-1:-1;5044:4:0;4906:150;;;;:::o;5214:310::-;-1:-1:-1;;;;;5316:15:0;;5295:4;5316:15;;;:9;:15;;;;;;;;5332:10;5316:27;;;;;;;;-1:-1:-1;;5316:48:0;5312:146;;-1:-1:-1;;;;;5411:15:0;;;;;;:9;:15;;;;;;;;5427:10;5411:27;;;;;;;;:35;;5441:5;;5411:35;:::i;:::-;-1:-1:-1;;;;;5381:15:0;;;;;;:9;:15;;;;;;;;5397:10;5381:27;;;;;;;:65;5312:146;5468:26;5478:4;5484:2;5488:5;5468:9;:26::i;:::-;-1:-1:-1;5512:4:0;5214:310;;;;;:::o;13109:290::-;13205:7;;-1:-1:-1;;;;;13205:7:0;13191:10;:21;13183:53;;;;-1:-1:-1;;;13183:53:0;;9604:2:1;13183:53:0;;;9586:21:1;9643:2;9623:18;;;9616:30;-1:-1:-1;;;9662:18:1;;;9655:49;9721:18;;13183:53:0;9402:343:1;13183:53:0;-1:-1:-1;;;;;13275:21:0;;;;;;:46;;-1:-1:-1;;;;;;13300:21:0;;;;13275:46;13267:68;;;;-1:-1:-1;;;13267:68:0;;9952:2:1;13267:68:0;;;9934:21:1;9991:1;9971:18;;;9964:29;-1:-1:-1;;;10009:18:1;;;10002:39;10058:18;;13267:68:0;9750:332:1;13267:68:0;13348:6;:16;;-1:-1:-1;;;;;13348:16:0;;;-1:-1:-1;;;;;;13348:16:0;;;;;;;13375:6;:16;;;;;;;;;;;13109:290::o;15459:1664::-;15508:17;12347:8;;12359:1;12347:13;12339:42;;;;-1:-1:-1;;;12339:42:0;;;;;;;:::i;:::-;12403:1;12392:8;:12;;;12403:1;15581:13:::1;:11;:13::i;:::-;-1:-1:-1::0;15654:6:0::1;::::0;15639:47:::1;::::0;-1:-1:-1;;;15639:47:0;;15680:4:::1;15639:47;::::0;::::1;2733:51:1::0;15538:56:0;;-1:-1:-1;15538:56:0;;-1:-1:-1;15620:16:0::1;::::0;-1:-1:-1;;;;;15654:6:0;;::::1;::::0;15639:32:::1;::::0;2706:18:1;;15639:47:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15731:6;::::0;15716:47:::1;::::0;-1:-1:-1;;;15716:47:0;;15757:4:::1;15716:47;::::0;::::1;2733:51:1::0;15620:66:0;;-1:-1:-1;15697:16:0::1;::::0;-1:-1:-1;;;;;15731:6:0;;::::1;::::0;15716:32:::1;::::0;2706:18:1;;15716:47:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15697:66:::0;-1:-1:-1;15774:15:0::1;15792:20;-1:-1:-1::0;;;;;15792:20:0;::::1;:8:::0;:20:::1;:::i;:::-;15774:38:::0;-1:-1:-1;15823:15:0::1;15841:20;-1:-1:-1::0;;;;;15841:20:0;::::1;:8:::0;:20:::1;:::i;:::-;15823:38;;15874:10;15887:30;15896:9;15907;15887:8;:30::i;:::-;15928:20;15951:11:::0;15874:43;;-1:-1:-1;16055:17:0;16051:748:::1;;16125:7;::::0;16108:36:::1;::::0;;-1:-1:-1;;;16108:36:0;;;;16089:16:::1;::::0;-1:-1:-1;;;;;16125:7:0::1;::::0;16108:34:::1;::::0;:36:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;16125:7;16108:36:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;16089:55:::0;-1:-1:-1;16163:10:0::1;-1:-1:-1::0;;;;;16163:22:0;::::1;;16159:500;;;16228:8;-1:-1:-1::0;;;;;16218:36:0::1;;:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;16206:50;;16295:1;16283:9;:13;:47;;;;;-1:-1:-1::0;;16300:9:0::1;:30;;16283:47;16275:81;;;::::0;-1:-1:-1;;;16275:81:0;;10545:2:1;16275:81:0::1;::::0;::::1;10527:21:1::0;10584:2;10564:18;;;10557:30;-1:-1:-1;;;10603:18:1;;;10596:51;10664:18;;16275:81:0::1;10343:345:1::0;16275:81:0::1;16159:500;;;-1:-1:-1::0;;;;;16405:22:0;::::1;::::0;16397:57:::1;;;::::0;-1:-1:-1;;;16397:57:0;;10895:2:1;16397:57:0::1;::::0;::::1;10877:21:1::0;10934:2;10914:18;;;10907:30;-1:-1:-1;;;10953:18:1;;;10946:52;11015:18;;16397:57:0::1;10693:346:1::0;16397:57:0::1;11614:7;16485:28;16495:17;16505:7:::0;16495;:17:::1;:::i;:::-;16485:9;:28::i;:::-;:48;;;;:::i;:::-;16473:60;;16552:36;16566:1;11614:7;16552:5;:36::i;:::-;16074:596;16051:748;;;16703:84;-1:-1:-1::0;;;;;16712:36:0;::::1;16713:22;16723:12:::0;16713:7;:22:::1;:::i;:::-;16712:36;;;;:::i;:::-;-1:-1:-1::0;;;;;16750:36:0;::::1;16751:22;16761:12:::0;16751:7;:22:::1;:::i;:::-;16750:36;;;;:::i;:::-;16703:8;:84::i;:::-;16691:96;;16051:748;16829:1;16817:9;:13;16809:65;;;::::0;-1:-1:-1;;;16809:65:0;;11503:2:1;16809:65:0::1;::::0;::::1;11485:21:1::0;11542:2;11522:18;;;11515:30;11581:34;11561:18;;;11554:62;-1:-1:-1;;;11632:18:1;;;11625:37;11679:19;;16809:65:0::1;11301:403:1::0;16809:65:0::1;16885:20;16891:2;16895:9;16885:5;:20::i;:::-;16918:49;16926:8;16936;16946:9;16957;16918:7;:49::i;:::-;16982:5;16978:47;;;17017:8;::::0;16997:28:::1;::::0;-1:-1:-1;;;;;;;;17017:8:0;::::1;::::0;::::1;::::0;17005::::1;16997:28;:::i;:::-;16989:5;:36:::0;16978:47:::1;17081:34;::::0;;4628:25:1;;;4684:2;4669:18;;4662:34;;;17086:10:0::1;::::0;17081:34:::1;::::0;4601:18:1;17081:34:0::1;;;;;;;-1:-1:-1::0;;12438:1:0;12427:8;:12;-1:-1:-1;15459:1664:0;;;-1:-1:-1;;;;;;15459:1664:0:o;17235:1452::-;17284:15;17301;12347:8;;12359:1;12347:13;12339:42;;;;-1:-1:-1;;;12339:42:0;;;;;;;:::i;:::-;12403:1;12392:8;:12;;;12403:1;17372:13:::1;:11;:13::i;:::-;-1:-1:-1::0;17429:6:0::1;::::0;17479::::1;::::0;17530:48:::1;::::0;-1:-1:-1;;;17530:48:0;;17572:4:::1;17530:48;::::0;::::1;2733:51:1::0;17329:56:0;;-1:-1:-1;17329:56:0;;-1:-1:-1;;;;;;17429:6:0;;::::1;::::0;17479;::::1;::::0;17411:15:::1;::::0;17429:6;;17530:33:::1;::::0;2706:18:1;;17530:48:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;17608;::::0;-1:-1:-1;;;17608:48:0;;17650:4:::1;17608:48;::::0;::::1;2733:51:1::0;17511:67:0;;-1:-1:-1;17589:16:0::1;::::0;-1:-1:-1;;;;;17608:33:0;::::1;::::0;::::1;::::0;2706:18:1;;17608:48:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;17705:4;17667:17;17687:24:::0;;;:9:::1;:24;::::0;;;;;17589:67;;-1:-1:-1;17737:30:0::1;17746:9:::0;17757;17737:8:::1;:30::i;:::-;17778:20;17801:11:::0;17724:43;;-1:-1:-1;17801:11:0;17912:20:::1;17924:8:::0;17912:9;:20:::1;:::i;:::-;17911:37;;;;:::i;:::-;17901:47:::0;-1:-1:-1;18042:12:0;18018:20:::1;18030:8:::0;18018:9;:20:::1;:::i;:::-;18017:37;;;;:::i;:::-;18007:47;;18131:1;18121:7;:11;:26;;;;;18146:1;18136:7;:11;18121:26;18113:78;;;::::0;-1:-1:-1;;;18113:78:0;;11911:2:1;18113:78:0::1;::::0;::::1;11893:21:1::0;11950:2;11930:18;;;11923:30;11989:34;11969:18;;;11962:62;-1:-1:-1;;;12040:18:1;;;12033:37;12087:19;;18113:78:0::1;11709:403:1::0;18113:78:0::1;18202:31;18216:4;18223:9;18202:5;:31::i;:::-;18244:35;18258:7;18267:2;18271:7;18244:13;:35::i;:::-;18290;18304:7;18313:2;18317:7;18290:13;:35::i;:::-;18347:48;::::0;-1:-1:-1;;;18347:48:0;;18389:4:::1;18347:48;::::0;::::1;2733:51:1::0;-1:-1:-1;;;;;18347:33:0;::::1;::::0;::::1;::::0;2706:18:1;;18347:48:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;18417;::::0;-1:-1:-1;;;18417:48:0;;18459:4:::1;18417:48;::::0;::::1;2733:51:1::0;18336:59:0;;-1:-1:-1;;;;;;18417:33:0;::::1;::::0;::::1;::::0;2706:18:1;;18417:48:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;18406:59;;18478:49;18486:8;18496;18506:9;18517;18478:7;:49::i;:::-;18542:5;18538:47;;;18577:8;::::0;18557:28:::1;::::0;-1:-1:-1;;;;;;;;18577:8:0;::::1;::::0;::::1;::::0;18565::::1;18557:28;:::i;:::-;18549:5;:36:::0;18538:47:::1;18641:38;::::0;;4628:25:1;;;4684:2;4669:18;;4662:34;;;-1:-1:-1;;;;;18641:38:0;::::1;::::0;18646:10:::1;::::0;18641:38:::1;::::0;4601:18:1;18641:38:0::1;;;;;;;17318:1369;;;;;;;;;12438:1:::0;12427:8;:12;;;;17235:1452;;;:::o;5064:142::-;5127:4;5144:32;5154:10;5166:2;5170:5;5144:9;:32::i;20832:344::-;12347:8;;12359:1;12347:13;12339:42;;;;-1:-1:-1;;;12339:42:0;;;;;;;:::i;:::-;12403:1;12392:8;:12;20901:6:::1;::::0;20951::::1;::::0;21061:8:::1;::::0;21010:48:::1;::::0;-1:-1:-1;;;21010:48:0;;21052:4:::1;21010:48;::::0;::::1;2733:51:1::0;-1:-1:-1;;;;;20901:6:0;;::::1;::::0;20951;;::::1;::::0;20983:87:::1;::::0;20901:6;;21006:2;;-1:-1:-1;;;;;21061:8:0::1;::::0;20901:6;;21010:33:::1;::::0;2706:18:1;;21010:48:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:59;;;;:::i;:::-;20983:13;:87::i;:::-;21159:8;::::0;21108:48:::1;::::0;-1:-1:-1;;;21108:48:0;;21150:4:::1;21108:48;::::0;::::1;2733:51:1::0;21081:87:0::1;::::0;21095:7;;21104:2;;-1:-1:-1;;;21159:8:0;::::1;-1:-1:-1::0;;;;;21159:8:0::1;::::0;-1:-1:-1;;;;;21108:33:0;::::1;::::0;::::1;::::0;2706:18:1;;21108:48:0::1;2587:203:1::0;21081:87:0::1;-1:-1:-1::0;;12438:1:0;12427:8;:12;-1:-1:-1;20832:344:0:o;5532:747::-;5754:15;5742:8;:27;;5734:57;;;;-1:-1:-1;;;5734:57:0;;12319:2:1;5734:57:0;;;12301:21:1;12358:2;12338:18;;;12331:30;-1:-1:-1;;;12377:18:1;;;12370:47;12434:18;;5734:57:0;12117:341:1;5734:57:0;5907:16;;-1:-1:-1;;;;;6003:13:0;;5802:14;6003:13;;;:6;:13;;;;;:15;;5802:14;;5907:16;3579:66;;5980:5;;5987:7;;5996:5;;6003:15;5802:14;6003:15;;;:::i;:::-;;;;-1:-1:-1;5952:77:0;;;;;;12890:25:1;;;;-1:-1:-1;;;;;12989:15:1;;;12969:18;;;12962:43;13041:15;;;;13021:18;;;13014:43;13073:18;;;13066:34;13116:19;;;13109:35;13160:19;;;13153:35;;;12862:19;;5952:77:0;;;;;;;;;;;;5942:88;;;;;;5843:202;;;;;;;;-1:-1:-1;;;13457:27:1;;13509:1;13500:11;;13493:27;;;;13545:2;13536:12;;13529:28;13582:2;13573:12;;13199:392;5843:202:0;;;;;;;;;;;;;5819:237;;;;;;5802:254;;6067:24;6094:25;6103:6;6111:1;6114;6117;6094:8;:25::i;:::-;6067:52;-1:-1:-1;;;;;;6138:30:0;;;;;;:59;;;6192:5;-1:-1:-1;;;;;6172:25:0;:16;-1:-1:-1;;;;;6172:25:0;;6138:59;6130:99;;;;-1:-1:-1;;;6130:99:0;;13798:2:1;6130:99:0;;;13780:21:1;13837:2;13817:18;;;13810:30;13876:29;13856:18;;;13849:57;13923:18;;6130:99:0;13596:351:1;6130:99:0;6240:31;6249:5;6256:7;6265:5;6240:8;:31::i;:::-;5723:556;;5532:747;;;;;;;:::o;21225:237::-;12347:8;;12359:1;12347:13;12339:42;;;;-1:-1:-1;;;12339:42:0;;;;;;;:::i;:::-;12403:1;12392:8;:12;21303:6:::1;::::0;21288:47:::1;::::0;-1:-1:-1;;;21288:47:0;;21329:4:::1;21288:47;::::0;::::1;2733:51:1::0;21266:188:0::1;::::0;-1:-1:-1;;;;;21303:6:0::1;::::0;21288:32:::1;::::0;2706:18:1;;21288:47:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;21365:6;::::0;21350:47:::1;::::0;-1:-1:-1;;;21350:47:0;;21391:4:::1;21350:47;::::0;::::1;2733:51:1::0;-1:-1:-1;;;;;21365:6:0;;::::1;::::0;21350:32:::1;::::0;2706:18:1;;21350:47:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;21412:8;::::0;-1:-1:-1;;;;;21412:8:0;;::::1;::::0;-1:-1:-1;;;21435:8:0;::::1;;21266:7;:188::i;:::-;12438:1:::0;12427:8;:12;21225:237::o;12694:289::-;11680:34;;;;;;;;;;;;;;;;;12825:43;;-1:-1:-1;;;;;14144:32:1;;;12825:43:0;;;14126:51:1;14193:18;;;;14186:34;;;12825:43:0;;;;;;;;;;14099:18:1;;;;12825:43:0;;;;;;;-1:-1:-1;;;;;12825:43:0;-1:-1:-1;;;12825:43:0;;;12814:55;;-1:-1:-1;;;;12814:10:0;;;:55;;12825:43;12814:55;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12778:91;;;;12888:7;:57;;;;-1:-1:-1;12900:11:0;;:16;;:44;;;12931:4;12920:24;;;;;;;;;;;;:::i;:::-;12880:95;;;;-1:-1:-1;;;12880:95:0;;14994:2:1;12880:95:0;;;14976:21:1;15033:2;15013:18;;;15006:30;15072:27;15052:18;;;15045:55;15117:18;;12880:95:0;14792:349:1;12880:95:0;12767:216;;12694:289;;;:::o;13484:885::-;-1:-1:-1;;;;;13602:29:0;;;;;:62;;-1:-1:-1;;;;;;13635:29:0;;;13602:62;13594:93;;;;-1:-1:-1;;;13594:93:0;;15348:2:1;13594:93:0;;;15330:21:1;15387:2;15367:18;;;15360:30;-1:-1:-1;;;15406:18:1;;;15399:48;15464:18;;13594:93:0;15146:342:1;13594:93:0;13698:21;13729:25;13747:7;13729:15;:25;:::i;:::-;13804:18;;13698:57;;-1:-1:-1;13766:18:0;;13787:35;;-1:-1:-1;;;13804:18:0;;;;13698:57;13787:35;:::i;:::-;13766:56;;13874:1;13860:11;:15;;;:33;;;;-1:-1:-1;;;;;;13879:14:0;;;;13860:33;:51;;;;-1:-1:-1;;;;;;13897:14:0;;;;13860:51;13856:342;;;14069:11;14013:67;;14021:44;14055:9;14021:27;14038:9;14021:16;:27::i;:::-;-1:-1:-1;;;;;14021:33:0;;;:44::i;:::-;-1:-1:-1;;;;;14013:53:0;:67;;;;:::i;:::-;13989:20;;:91;;;;;;;:::i;:::-;;;;-1:-1:-1;;14119:67:0;;;14127:44;14161:9;14127:27;14144:9;14127:16;:27::i;:44::-;-1:-1:-1;;;;;14119:53:0;:67;;;;:::i;:::-;14095:20;;:91;;;;;;;:::i;:::-;;;;-1:-1:-1;;13856:342:0;14208:8;:28;;14286:35;;;-1:-1:-1;;;14286:35:0;-1:-1:-1;;;;;;;;;;14247:28:0;;;-1:-1:-1;;;14247:28:0;;;-1:-1:-1;;;;;;14247:28:0;;;14208;;;14247;;;;;14286:35;;;;;;;;;14337:24;;;14342:8;;;;;;;;;;16192:34:1;;14352:8:0;;;;;;;16257:2:1;16242:18;;16235:43;14337:24:0;;16116:18:1;14337:24:0;;;;;;;13583:786;;13484:885;;;;:::o;4501:172::-;-1:-1:-1;;;;;4585:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;4634:31;;2941:25:1;;;4634:31:0;;2914:18:1;4634:31:0;;;;;;;;4501:172;;;:::o;4681:217::-;-1:-1:-1;;;;;4778:15:0;;;;;;:9;:15;;;;;;:23;;4796:5;;4778:23;:::i;:::-;-1:-1:-1;;;;;4760:15:0;;;;;;;:9;:15;;;;;;:41;;;;4828:13;;;;;;;:21;;4844:5;;4828:21;:::i;:::-;-1:-1:-1;;;;;4812:13:0;;;;;;;:9;:13;;;;;;;:37;;;;4865:25;;;;;;;;;;4884:5;2941:25:1;;2929:2;2914:18;;2795:177;14460:887:0;14533:10;14556:20;14596:7;;;;;;;;;-1:-1:-1;;;;;14596:7:0;-1:-1:-1;;;;;14579:38:0;;:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14692:5;;-1:-1:-1;;;;;14638:26:0;;;;;;-1:-1:-1;14556:63:0;;-1:-1:-1;14692:5:0;14723:617;;14753:11;;14749:521;;14785:13;14801:41;14811:30;-1:-1:-1;;;;;14811:30:0;;;;:18;;:30;:::i;14801:41::-;14785:57;;14861:17;14881;14891:6;14881:9;:17::i;:::-;14861:37;;14929:9;14921:5;:17;14917:338;;;14963:17;14999;15007:9;14999:5;:17;:::i;:::-;14984:11;;:33;;;;:::i;:::-;14983:39;;15021:1;14983:39;:::i;:::-;14963:59;-1:-1:-1;15045:19:0;15083:13;:9;15095:1;15083:13;:::i;:::-;15068:10;:5;15076:2;15068:10;:::i;:::-;15067:30;;;;:::i;:::-;15045:52;-1:-1:-1;15120:17:0;15140:23;15045:52;15140:9;:23;:::i;:::-;15120:43;-1:-1:-1;15190:13:0;;15186:49;;15205:30;15211:12;15225:9;15205:5;:30::i;:::-;14940:315;;;14917:338;14766:504;;14749:521;14723:617;;;15291:11;;15287:53;;15327:1;15319:5;:9;15287:53;14545:802;;14460:887;;;;:::o;10251:312::-;10299:9;10329:1;10325;:5;10321:235;;;-1:-1:-1;10351:1:0;10367:9;10379:5;10383:1;10351;10379:5;:::i;:::-;:9;;10387:1;10379:9;:::i;:::-;10367:21;;10403:92;10414:1;10410;:5;10403:92;;;10440:1;-1:-1:-1;10440:1:0;10478;10440;10465:5;10440:1;10465;:5;:::i;:::-;:9;;;;:::i;:::-;10464:15;;;;:::i;:::-;10460:19;;10403:92;;;10332:174;10251:312;;;:::o;10321:235::-;10516:6;;10512:44;;-1:-1:-1;10543:1:0;10512:44;10251:312;;;:::o;4081:198::-;4171:5;4157:11;;:19;;;;:::i;:::-;4143:11;:33;;;-1:-1:-1;;;;;4203:13:0;;;;:9;:13;;;;;;:21;;4219:5;;4203:21;:::i;:::-;-1:-1:-1;;;;;4187:13:0;;;;;;:9;:13;;;;;;:37;;;;4240:31;;4187:13;;;4240:31;;;;4265:5;2941:25:1;;2929:2;2914:18;;2795:177;4240:31:0;;;;;;;;4081:198;;:::o;10028:105::-;10086:9;10116:1;10112;:5;:13;;10124:1;10112:13;;;10120:1;10112:13;10108:17;10028:105;-1:-1:-1;;;10028:105:0:o;4287:206::-;-1:-1:-1;;;;;4369:15:0;;;;;;:9;:15;;;;;;:23;;4387:5;;4369:23;:::i;:::-;-1:-1:-1;;;;;4351:15:0;;;;;;:9;:15;;;;;:41;;;;4417:11;:19;;4431:5;;4417:19;:::i;:::-;4403:11;:33;;;4452;;2941:25:1;;;-1:-1:-1;;;;;4452:33:0;;;;;2929:2:1;2914:18;4452:33:0;2795:177:1;6433:1469:0;6518:7;7457:66;7443:80;;;7421:164;;;;-1:-1:-1;;;7421:164:0;;16491:2:1;7421:164:0;;;16473:21:1;16530:2;16510:18;;;16503:30;16569:34;16549:18;;;16542:62;-1:-1:-1;;;16620:18:1;;;16613:32;16662:19;;7421:164:0;16289:398:1;7421:164:0;7604:1;:7;;7609:2;7604:7;:18;;;;7615:1;:7;;7620:2;7615:7;7604:18;7596:65;;;;-1:-1:-1;;;7596:65:0;;16894:2:1;7596:65:0;;;16876:21:1;16933:2;16913:18;;;16906:30;16972:34;16952:18;;;16945:62;-1:-1:-1;;;17023:18:1;;;17016:32;17065:19;;7596:65:0;16692:398:1;7596:65:0;7776:24;;;7759:14;7776:24;;;;;;;;;17322:25:1;;;17395:4;17383:17;;17363:18;;;17356:45;;;;17417:18;;;17410:34;;;17460:18;;;17453:34;;;7776:24:0;;17294:19:1;;7776:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7776:24:0;;-1:-1:-1;;7776:24:0;;;-1:-1:-1;;;;;;;7819:20:0;;7811:57;;;;-1:-1:-1;;;7811:57:0;;17700:2:1;7811:57:0;;;17682:21:1;17739:2;17719:18;;;17712:30;17778:26;17758:18;;;17751:54;17822:18;;7811:57:0;17498:348:1;7811:57:0;7888:6;6433:1469;-1:-1:-1;;;;;6433:1469:0:o;10920:120::-;10970:9;10996:17;-1:-1:-1;;;;;;;;10996:10:0;;:17;:::i;:::-;10992:21;10920:120;-1:-1:-1;;10920:120:0:o;11111:108::-;11171:9;11197:14;-1:-1:-1;;;;;11201:10:0;;11197:1;:14;:::i;14:131:1:-;-1:-1:-1;;;;;89:31:1;;79:42;;69:70;;135:1;132;125:12;69:70;14:131;:::o;150:863::-;247:6;255;263;271;279;332:3;320:9;311:7;307:23;303:33;300:53;;;349:1;346;339:12;300:53;385:9;372:23;362:33;;442:2;431:9;427:18;414:32;404:42;;496:2;485:9;481:18;468:32;509:31;534:5;509:31;:::i;:::-;559:5;-1:-1:-1;615:2:1;600:18;;587:32;638:18;668:14;;;665:34;;;695:1;692;685:12;665:34;733:6;722:9;718:22;708:32;;778:7;771:4;767:2;763:13;759:27;749:55;;800:1;797;790:12;749:55;840:2;827:16;866:2;858:6;855:14;852:34;;;882:1;879;872:12;852:34;927:7;922:2;913:6;909:2;905:15;901:24;898:37;895:57;;;948:1;945;938:12;895:57;150:863;;;;-1:-1:-1;150:863:1;;-1:-1:-1;979:2:1;971:11;;1001:6;150:863;-1:-1:-1;;;150:863:1:o;1018:258::-;1090:1;1100:113;1114:6;1111:1;1108:13;1100:113;;;1190:11;;;1184:18;1171:11;;;1164:39;1136:2;1129:10;1100:113;;;1231:6;1228:1;1225:13;1222:48;;;1266:1;1257:6;1252:3;1248:16;1241:27;1222:48;;1018:258;;;:::o;1281:383::-;1430:2;1419:9;1412:21;1393:4;1462:6;1456:13;1505:6;1500:2;1489:9;1485:18;1478:34;1521:66;1580:6;1575:2;1564:9;1560:18;1555:2;1547:6;1543:15;1521:66;:::i;:::-;1648:2;1627:15;-1:-1:-1;;1623:29:1;1608:45;;;;1655:2;1604:54;;1281:383;-1:-1:-1;;1281:383:1:o;2075:315::-;2143:6;2151;2204:2;2192:9;2183:7;2179:23;2175:32;2172:52;;;2220:1;2217;2210:12;2172:52;2259:9;2246:23;2278:31;2303:5;2278:31;:::i;:::-;2328:5;2380:2;2365:18;;;;2352:32;;-1:-1:-1;;;2075:315:1:o;2977:456::-;3054:6;3062;3070;3123:2;3111:9;3102:7;3098:23;3094:32;3091:52;;;3139:1;3136;3129:12;3091:52;3178:9;3165:23;3197:31;3222:5;3197:31;:::i;:::-;3247:5;-1:-1:-1;3304:2:1;3289:18;;3276:32;3317:33;3276:32;3317:33;:::i;:::-;2977:456;;3369:7;;-1:-1:-1;;;3423:2:1;3408:18;;;;3395:32;;2977:456::o;3809:388::-;3877:6;3885;3938:2;3926:9;3917:7;3913:23;3909:32;3906:52;;;3954:1;3951;3944:12;3906:52;3993:9;3980:23;4012:31;4037:5;4012:31;:::i;:::-;4062:5;-1:-1:-1;4119:2:1;4104:18;;4091:32;4132:33;4091:32;4132:33;:::i;:::-;4184:7;4174:17;;;3809:388;;;;;:::o;4202:247::-;4261:6;4314:2;4302:9;4293:7;4289:23;4285:32;4282:52;;;4330:1;4327;4320:12;4282:52;4369:9;4356:23;4388:31;4413:5;4388:31;:::i;4707:829::-;4818:6;4826;4834;4842;4850;4858;4866;4919:3;4907:9;4898:7;4894:23;4890:33;4887:53;;;4936:1;4933;4926:12;4887:53;4975:9;4962:23;4994:31;5019:5;4994:31;:::i;:::-;5044:5;-1:-1:-1;5101:2:1;5086:18;;5073:32;5114:33;5073:32;5114:33;:::i;:::-;5166:7;-1:-1:-1;5220:2:1;5205:18;;5192:32;;-1:-1:-1;5271:2:1;5256:18;;5243:32;;-1:-1:-1;5327:3:1;5312:19;;5299:33;5376:4;5363:18;;5351:31;;5341:59;;5396:1;5393;5386:12;5341:59;4707:829;;;;-1:-1:-1;4707:829:1;;;;5419:7;5473:3;5458:19;;5445:33;;-1:-1:-1;5525:3:1;5510:19;;;5497:33;;4707:829;-1:-1:-1;;4707:829:1:o;5541:340::-;5743:2;5725:21;;;5782:2;5762:18;;;5755:30;-1:-1:-1;;;5816:2:1;5801:18;;5794:46;5872:2;5857:18;;5541:340::o;7001:632::-;7271:1;7267;7262:3;7258:11;7254:19;7246:6;7242:32;7231:9;7224:51;7311:6;7306:2;7295:9;7291:18;7284:34;7354:6;7349:2;7338:9;7334:18;7327:34;7397:3;7392:2;7381:9;7377:18;7370:31;7438:6;7432:3;7421:9;7417:19;7410:35;7496:6;7488;7482:3;7471:9;7467:19;7454:49;7553:1;7523:22;;;7547:3;7519:32;;;7512:43;;;;7616:2;7595:15;;;-1:-1:-1;;7591:29:1;7576:45;7572:55;;7001:632;-1:-1:-1;;;;7001:632:1:o;7638:184::-;7708:6;7761:2;7749:9;7740:7;7736:23;7732:32;7729:52;;;7777:1;7774;7767:12;7729:52;-1:-1:-1;7800:16:1;;7638:184;-1:-1:-1;7638:184:1:o;7827:127::-;7888:10;7883:3;7879:20;7876:1;7869:31;7919:4;7916:1;7909:15;7943:4;7940:1;7933:15;7959:125;7999:4;8027:1;8024;8021:8;8018:34;;;8032:18;;:::i;:::-;-1:-1:-1;8069:9:1;;7959:125::o;8493:168::-;8533:7;8599:1;8595;8591:6;8587:14;8584:1;8581:21;8576:1;8569:9;8562:17;8558:45;8555:71;;;8606:18;;:::i;:::-;-1:-1:-1;8646:9:1;;8493:168::o;10087:251::-;10157:6;10210:2;10198:9;10189:7;10185:23;10181:32;10178:52;;;10226:1;10223;10216:12;10178:52;10258:9;10252:16;10277:31;10302:5;10277:31;:::i;11044:127::-;11105:10;11100:3;11096:20;11093:1;11086:31;11136:4;11133:1;11126:15;11160:4;11157:1;11150:15;11176:120;11216:1;11242;11232:35;;11247:18;;:::i;:::-;-1:-1:-1;11281:9:1;;11176:120::o;12463:135::-;12502:3;-1:-1:-1;;12523:17:1;;12520:43;;;12543:18;;:::i;:::-;-1:-1:-1;12590:1:1;12579:13;;12463:135::o;14231:274::-;14360:3;14398:6;14392:13;14414:53;14460:6;14455:3;14448:4;14440:6;14436:17;14414:53;:::i;:::-;14483:16;;;;;14231:274;-1:-1:-1;;14231:274:1:o;14510:277::-;14577:6;14630:2;14618:9;14609:7;14605:23;14601:32;14598:52;;;14646:1;14643;14636:12;14598:52;14678:9;14672:16;14731:5;14724:13;14717:21;14710:5;14707:32;14697:60;;14753:1;14750;14743:12;15493:112;15525:1;15551;15541:35;;15556:18;;:::i;:::-;-1:-1:-1;15590:9:1;;15493:112::o;15610:221::-;15649:4;15678:10;15738;;;;15708;;15760:12;;;15757:38;;;15775:18;;:::i;:::-;15812:13;;15610:221;-1:-1:-1;;;15610:221:1:o;15836:128::-;15876:3;15907:1;15903:6;15900:1;15897:13;15894:39;;;15913:18;;:::i;:::-;-1:-1:-1;15949:9:1;;15836:128::o;17851:272::-;17891:7;-1:-1:-1;;;;;17962:10:1;;;17992;;;18025:11;;18018:19;18047:12;;;18039:21;;18014:47;18011:73;;;18064:18;;:::i;:::-;18104:13;;17851:272;-1:-1:-1;;;;17851:272:1:o;18128:201::-;18168:1;-1:-1:-1;;;;;18233:10:1;;;;18252:37;;18269:18;;:::i;:::-;18307:10;;18303:20;;;;;18128:201;-1:-1:-1;;18128:201:1:o

ipfs://00eb776c2009ea482087568ab648f79196d66d11a4b9f85316ef3f49381f140b