Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• library SafeMathJoe
•    - function add(uint256 x, uint256 y)
•    - function sub(uint256 x, uint256 y)
•    - function mul(uint256 x, uint256 y)
•  contract JoeERC20
•    - function _mint(address to, uint256 va ...
•    - function _burn(address from, uint256 ...
•    - function _approve(
•    - function _transfer(
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
•    - function permit(
• 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 IERC20Joe
•    - 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(
• interface IJoeFactory
•    - function feeTo()
•    - function feeToSetter()
•    - function migrator()
•    - function getPair(address tokenA, addr ...
•    - function allPairs(uint256)
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address)
•    - function setFeeToSetter(address)
•    - function setMigrator(address)
• interface IJoeCallee
•    - function joeCall(
• interface IMigrator
•    - function desiredLiquidity()
•  contract JoePair is JoeERC20 *
•    - function getReserves()
•    - function _safeTransfer(
•    - function initialize(address _token0, ...
•    - function _update(
•    - function _mintFee(uint112 _reserve0, ...
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(
•    - function skim(address to)
•    - function sync()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at snowscan.xyz on 2021-11-05
*/

// File: contracts/traderjoe/libraries/SafeMath.sol

// SPDX-License-Identifier: GPL-3.0

pragma solidity =0.6.12;

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

library SafeMathJoe {
    function add(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }

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

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

// File: contracts/traderjoe/JoeERC20.sol

pragma solidity =0.6.12;

contract JoeERC20 {
    using SafeMathJoe for uint256;

    string public constant name = "Joe LP Token";
    string public constant symbol = "JLP";
    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;

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

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

    function _burn(address from, uint256 value) internal {
        balanceOf[from] = balanceOf[from].sub(value);
        totalSupply = totalSupply.sub(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].sub(value);
        balanceOf[to] = balanceOf[to].add(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] != uint256(-1)) {
            allowance[from][msg.sender] = allowance[from][msg.sender].sub(
                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, "Joe: 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,
            "Joe: INVALID_SIGNATURE"
        );
        _approve(owner, spender, value);
    }
}

// File: contracts/traderjoe/libraries/Math.sol

pragma solidity =0.6.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/traderjoe/libraries/UQ112x112.sol

pragma solidity =0.6.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/traderjoe/interfaces/IERC20.sol

pragma solidity >=0.5.0;

interface IERC20Joe {
    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/traderjoe/interfaces/IJoeFactory.sol

pragma solidity >=0.5.0;

interface IJoeFactory {
    event PairCreated(
        address indexed token0,
        address indexed token1,
        address pair,
        uint256
    );

    function feeTo() external view returns (address);

    function feeToSetter() 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 setFeeTo(address) external;

    function setFeeToSetter(address) external;

    function setMigrator(address) external;
}

// File: contracts/traderjoe/interfaces/IJoeCallee.sol

pragma solidity >=0.5.0;

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

// File: contracts/traderjoe/JoePair.sol

pragma solidity =0.6.12;

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

contract JoePair is JoeERC20 {
    using SafeMathJoe for uint256;
    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, "Joe: 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))),
            "Joe: TRANSFER_FAILED"
        );
    }

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

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

    // called once by the factory at time of deployment
    function initialize(address _token0, address _token1) external {
        require(msg.sender == factory, "Joe: FORBIDDEN"); // sufficient check
        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 <= uint112(-1) && balance1 <= uint112(-1),
            "Joe: 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 1/6th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1)
        private
        returns (bool feeOn)
    {
        address feeTo = IJoeFactory(factory).feeTo();
        feeOn = feeTo != address(0);
        uint256 _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint256 rootK = Math.sqrt(uint256(_reserve0).mul(_reserve1));
                uint256 rootKLast = Math.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint256 numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint256 denominator = rootK.mul(5).add(rootKLast);
                    uint256 liquidity = numerator / denominator;
                    if (liquidity > 0) _mint(feeTo, liquidity);
                }
            }
        } else if (_kLast != 0) {
            kLast = 0;
        }
    }

    // this low-level function should be called from a contract which performs important safety checks
    function mint(address to) external lock returns (uint256 liquidity) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        uint256 balance0 = IERC20Joe(token0).balanceOf(address(this));
        uint256 balance1 = IERC20Joe(token1).balanceOf(address(this));
        uint256 amount0 = balance0.sub(_reserve0);
        uint256 amount1 = balance1.sub(_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 = IJoeFactory(factory).migrator();
            if (msg.sender == migrator) {
                liquidity = IMigrator(migrator).desiredLiquidity();
                require(
                    liquidity > 0 && liquidity != uint256(-1),
                    "Bad desired liquidity"
                );
            } else {
                require(migrator == address(0), "Must not have migrator");
                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, "Joe: INSUFFICIENT_LIQUIDITY_MINTED");
        _mint(to, liquidity);

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

    // this low-level function should be called from a contract which performs important safety checks
    function burn(address to)
        external
        lock
        returns (uint256 amount0, uint256 amount1)
    {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        uint256 balance0 = IERC20Joe(_token0).balanceOf(address(this));
        uint256 balance1 = IERC20Joe(_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.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,
            "Joe: INSUFFICIENT_LIQUIDITY_BURNED"
        );
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IERC20Joe(_token0).balanceOf(address(this));
        balance1 = IERC20Joe(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint256(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(
        uint256 amount0Out,
        uint256 amount1Out,
        address to,
        bytes calldata data
    ) external lock {
        require(
            amount0Out > 0 || amount1Out > 0,
            "Joe: INSUFFICIENT_OUTPUT_AMOUNT"
        );
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        require(
            amount0Out < _reserve0 && amount1Out < _reserve1,
            "Joe: 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, "Joe: 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)
                IJoeCallee(to).joeCall(
                    msg.sender,
                    amount0Out,
                    amount1Out,
                    data
                );
            balance0 = IERC20Joe(_token0).balanceOf(address(this));
            balance1 = IERC20Joe(_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,
            "Joe: INSUFFICIENT_INPUT_AMOUNT"
        );
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint256 balance0Adjusted = balance0.mul(1000).sub(amount0In.mul(3));
            uint256 balance1Adjusted = balance1.mul(1000).sub(amount1In.mul(3));
            require(
                balance0Adjusted.mul(balance1Adjusted) >=
                    uint256(_reserve0).mul(_reserve1).mul(1000**2),
                "Joe: 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,
            IERC20Joe(_token0).balanceOf(address(this)).sub(reserve0)
        );
        _safeTransfer(
            _token1,
            to,
            IERC20Joe(_token1).balanceOf(address(this)).sub(reserve1)
        );
    }

    // force reserves to match balances
    function sync() external lock {
        _update(
            IERC20Joe(token0).balanceOf(address(this)),
            IERC20Joe(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"}]

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a714610534578063d505accf1461053c578063dd62ed3e1461058d578063fff6cae9146105bb576101a9565b8063ba9a7a56146104fe578063bc25cf7714610506578063c45a01551461052c576101a9565b80637ecebe00116100d35780637ecebe001461046557806389afcb441461048b57806395d89b41146104ca578063a9059cbb146104d2576101a9565b80636a6278421461041157806370a08231146104375780637464fc3d1461045d576101a9565b806323b872dd116101665780633644e515116101405780633644e515146103cb578063485cc955146103d35780635909c0d5146104015780635a3d549314610409576101a9565b806323b872dd1461036f57806330adf81f146103a5578063313ce567146103ad576101a9565b8063022c0d9f146101ae57806306fdde031461023c5780630902f1ac146102b9578063095ea7b3146102f15780630dfe16811461033157806318160ddd14610355575b600080fd5b61023a600480360360808110156101c457600080fd5b8135916020810135916001600160a01b0360408301351691908101906080810160608201356401000000008111156101fb57600080fd5b82018360208201111561020d57600080fd5b8035906020019184600183028401116401000000008311171561022f57600080fd5b5090925090506105c3565b005b610244610afb565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027e578181015183820152602001610266565b50505050905090810190601f1680156102ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102c1610b23565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61031d6004803603604081101561030757600080fd5b506001600160a01b038135169060200135610b4d565b604080519115158252519081900360200190f35b610339610b64565b604080516001600160a01b039092168252519081900360200190f35b61035d610b73565b60408051918252519081900360200190f35b61031d6004803603606081101561038557600080fd5b506001600160a01b03813581169160208101359091169060400135610b79565b61035d610c0d565b6103b5610c31565b6040805160ff9092168252519081900360200190f35b61035d610c36565b61023a600480360360408110156103e957600080fd5b506001600160a01b0381358116916020013516610c3c565b61035d610cba565b61035d610cc0565b61035d6004803603602081101561042757600080fd5b50356001600160a01b0316610cc6565b61035d6004803603602081101561044d57600080fd5b50356001600160a01b031661113c565b61035d61114e565b61035d6004803603602081101561047b57600080fd5b50356001600160a01b0316611154565b6104b1600480360360208110156104a157600080fd5b50356001600160a01b0316611166565b6040805192835260208301919091528051918290030190f35b6102446114f4565b61031d600480360360408110156104e857600080fd5b506001600160a01b038135169060200135611513565b61035d611520565b61023a6004803603602081101561051c57600080fd5b50356001600160a01b0316611526565b610339611692565b6103396116a1565b61023a600480360360e081101561055257600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356116b0565b61035d600480360360408110156105a357600080fd5b506001600160a01b03813581169160200135166118a5565b61023a6118c2565b600c54600114610608576040805162461bcd60e51b815260206004820152600b60248201526a129bd94e881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c558415158061061b5750600084115b61066c576040805162461bcd60e51b815260206004820152601f60248201527f4a6f653a20494e53554646494349454e545f4f55545055545f414d4f554e5400604482015290519081900360640190fd5b600080610677610b23565b5091509150816001600160701b03168710801561069c5750806001600160701b031686105b6106ed576040805162461bcd60e51b815260206004820152601b60248201527f4a6f653a20494e53554646494349454e545f4c49515549444954590000000000604482015290519081900360640190fd5b60065460075460009182916001600160a01b0391821691908116908916821480159061072b5750806001600160a01b0316896001600160a01b031614155b61076e576040805162461bcd60e51b815260206004820152600f60248201526e4a6f653a20494e56414c49445f544f60881b604482015290519081900360640190fd5b8a1561077f5761077f828a8d611a1e565b891561079057610790818a8c611a1e565b861561084257886001600160a01b031663ee22dd87338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b15801561082957600080fd5b505af115801561083d573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561088857600080fd5b505afa15801561089c573d6000803e3d6000fd5b505050506040513d60208110156108b257600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b1580156108fe57600080fd5b505afa158015610912573d6000803e3d6000fd5b505050506040513d602081101561092857600080fd5b5051925060009150506001600160701b0385168a9003831161094b57600061095a565b89856001600160701b03160383035b9050600089856001600160701b0316038311610977576000610986565b89856001600160701b03160383035b905060008211806109975750600081115b6109e8576040805162461bcd60e51b815260206004820152601e60248201527f4a6f653a20494e53554646494349454e545f494e5055545f414d4f554e540000604482015290519081900360640190fd5b6000610a0a6109f8846003611baf565b610a04876103e8611baf565b90611c12565b90506000610a1c6109f8846003611baf565b9050610a41620f4240610a3b6001600160701b038b8116908b16611baf565b90611baf565b610a4b8383611baf565b1015610a87576040805162461bcd60e51b81526020600482015260066024820152654a6f653a204b60d01b604482015290519081900360640190fd5b5050610a9584848888611c62565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600c55505050505050505050565b6040518060400160405280600c81526020016b2537b2902628102a37b5b2b760a11b81525081565b6008546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610b5a338484611e1b565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610bf8576001600160a01b0384166000908152600260209081526040808320338452909152902054610bd39083611c12565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610c03848484611e7d565b5060019392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b6005546001600160a01b03163314610c8c576040805162461bcd60e51b815260206004820152600e60248201526d2537b29d102327a92124a22222a760911b604482015290519081900360640190fd5b600680546001600160a01b039384166001600160a01b03199182161790915560078054929093169116179055565b60095481565b600a5481565b6000600c54600114610d0d576040805162461bcd60e51b815260206004820152600b60248201526a129bd94e881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c81905580610d1d610b23565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610d7157600080fd5b505afa158015610d85573d6000803e3d6000fd5b505050506040513d6020811015610d9b57600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610dee57600080fd5b505afa158015610e02573d6000803e3d6000fd5b505050506040513d6020811015610e1857600080fd5b505190506000610e31836001600160701b038716611c12565b90506000610e48836001600160701b038716611c12565b90506000610e568787611f2b565b6000549091508061102d5760055460408051637cd07e4760e01b815290516000926001600160a01b031691637cd07e47916004808301926020929190829003018186803b158015610ea657600080fd5b505afa158015610eba573d6000803e3d6000fd5b505050506040513d6020811015610ed057600080fd5b50519050336001600160a01b0382161415610fab57806001600160a01b03166340dc0e376040518163ffffffff1660e01b815260040160206040518083038186803b158015610f1e57600080fd5b505afa158015610f32573d6000803e3d6000fd5b505050506040513d6020811015610f4857600080fd5b505199508915801590610f5d57506000198a14155b610fa6576040805162461bcd60e51b81526020600482015260156024820152744261642064657369726564206c697175696469747960581b604482015290519081900360640190fd5b611027565b6001600160a01b03811615611000576040805162461bcd60e51b815260206004820152601660248201527526bab9ba103737ba103430bb329036b4b3b930ba37b960511b604482015290519081900360640190fd5b6110186103e8610a046110138888611baf565b61206b565b995061102760006103e86120bd565b50611070565b61106d6001600160701b0389166110448684611baf565b8161104b57fe5b046001600160701b0389166110608685611baf565b8161106757fe5b04612147565b98505b600089116110af5760405162461bcd60e51b815260040180806020018281038252602281526020018061229a6022913960400191505060405180910390fd5b6110b98a8a6120bd565b6110c586868a8a611c62565b81156110ef576008546110eb906001600160701b0380821691600160701b900416611baf565b600b555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600c5550949695505050505050565b60016020526000908152604090205481565b600b5481565b60046020526000908152604090205481565b600080600c546001146111ae576040805162461bcd60e51b815260206004820152600b60248201526a129bd94e881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c819055806111be610b23565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b15801561121a57600080fd5b505afa15801561122e573d6000803e3d6000fd5b505050506040513d602081101561124457600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561129257600080fd5b505afa1580156112a6573d6000803e3d6000fd5b505050506040513d60208110156112bc57600080fd5b5051306000908152600160205260408120549192506112db8888611f2b565b600054909150806112ec8487611baf565b816112f357fe5b049a50806113018486611baf565b8161130857fe5b04995060008b11801561131b575060008a115b6113565760405162461bcd60e51b81526004018080602001828103825260228152602001806122786022913960400191505060405180910390fd5b611360308461215f565b61136b878d8d611a1e565b611376868d8c611a1e565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b1580156113bc57600080fd5b505afa1580156113d0573d6000803e3d6000fd5b505050506040513d60208110156113e657600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b15801561143257600080fd5b505afa158015611446573d6000803e3d6000fd5b505050506040513d602081101561145c57600080fd5b5051935061146c85858b8b611c62565b811561149657600854611492906001600160701b0380821691600160701b900416611baf565b600b555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600c81905550915091565b6040518060400160405280600381526020016204a4c560ec1b81525081565b6000610b5a338484611e7d565b6103e881565b600c5460011461156b576040805162461bcd60e51b815260206004820152600b60248201526a129bd94e881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c55600654600754600854604080516370a0823160e01b815230600482015290516001600160a01b039485169490931692611614928592879261160f926001600160701b03169185916370a0823191602480820192602092909190829003018186803b1580156115dd57600080fd5b505afa1580156115f1573d6000803e3d6000fd5b505050506040513d602081101561160757600080fd5b505190611c12565b611a1e565b611688818461160f6008600e9054906101000a90046001600160701b03166001600160701b0316856001600160a01b03166370a08231306040518263ffffffff1660e01b815260040180826001600160a01b0316815260200191505060206040518083038186803b1580156115dd57600080fd5b50506001600c5550565b6005546001600160a01b031681565b6007546001600160a01b031681565b428410156116f4576040805162461bcd60e51b815260206004820152600c60248201526b129bd94e881156141254915160a21b604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa15801561180f573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906118455750886001600160a01b0316816001600160a01b0316145b61188f576040805162461bcd60e51b81526020600482015260166024820152754a6f653a20494e56414c49445f5349474e415455524560501b604482015290519081900360640190fd5b61189a898989611e1b565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600c54600114611907576040805162461bcd60e51b815260206004820152600b60248201526a129bd94e881313d0d2d15160aa1b604482015290519081900360640190fd5b6000600c55600654604080516370a0823160e01b81523060048201529051611a17926001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561195857600080fd5b505afa15801561196c573d6000803e3d6000fd5b505050506040513d602081101561198257600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b1580156119cf57600080fd5b505afa1580156119e3573d6000803e3d6000fd5b505050506040513d60208110156119f957600080fd5b50516008546001600160701b0380821691600160701b900416611c62565b6001600c55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b60208310611acb5780518252601f199092019160209182019101611aac565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611b2d576040519150601f19603f3d011682016040523d82523d6000602084013e611b32565b606091505b5091509150818015611b60575080511580611b605750808060200190516020811015611b5d57600080fd5b50515b611ba8576040805162461bcd60e51b8152602060048201526014602482015273129bd94e881514905394d1915497d1905253115160621b604482015290519081900360640190fd5b5050505050565b6000811580611bca57505080820282828281611bc757fe5b04145b610b5e576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610b5e576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611c8057506001600160701b038311155b611cc1576040805162461bcd60e51b815260206004820152600d60248201526c4a6f653a204f564552464c4f5760981b604482015290519081900360640190fd5b60085463ffffffff42811691600160e01b90048116820390811615801590611cf157506001600160701b03841615155b8015611d0557506001600160701b03831615155b15611d70578063ffffffff16611d2d85611d1e866121f1565b6001600160e01b031690612203565b600980546001600160e01b03929092169290920201905563ffffffff8116611d5884611d1e876121f1565b600a80546001600160e01b0392909216929092020190555b600880546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611ea09082611c12565b6001600160a01b038085166000908152600160205260408082209390935590841681522054611ecf9082612228565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b158015611f7c57600080fd5b505afa158015611f90573d6000803e3d6000fd5b505050506040513d6020811015611fa657600080fd5b5051600b546001600160a01b038216158015945091925090612057578015612052576000611fe36110136001600160701b03888116908816611baf565b90506000611ff08361206b565b90508082111561204f5760006120126120098484611c12565b60005490611baf565b9050600061202b83612025866005611baf565b90612228565b9050600081838161203857fe5b049050801561204b5761204b87826120bd565b5050505b50505b612063565b8015612063576000600b555b505092915050565b600060038211156120ae575080600160028204015b818110156120a85780915060028182858161209757fe5b0401816120a057fe5b049050612080565b506120b8565b81156120b8575060015b919050565b6000546120ca9082612228565b60009081556001600160a01b0383168152600160205260409020546120ef9082612228565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106121565781612158565b825b9392505050565b6001600160a01b0382166000908152600160205260409020546121829082611c12565b6001600160a01b038316600090815260016020526040812091909155546121a99082611c12565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161222057fe5b049392505050565b80820182811015610b5e576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe4a6f653a20494e53554646494349454e545f4c49515549444954595f4255524e45444a6f653a20494e53554646494349454e545f4c49515549444954595f4d494e544544a2646970667358221220331c7da4efdadd19669d3d4492f60d8630c0b61e019b3fe2070f1d7d2f93d55164736f6c634300060c0033

8591:11321:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16797:2347;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16797:2347:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;16797:2347:0;;-1:-1:-1;16797:2347:0;-1:-1:-1;16797:2347:0;:::i;:::-;;842:44;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9586:313;;;:::i;:::-;;;;-1:-1:-1;;;;;9586:313:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3073:150;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3073:150:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;8890:21;;;:::i;:::-;;;;-1:-1:-1;;;;;8890:21:0;;;;;;;;;;;;;;979:26;;;:::i;:::-;;;;;;;;;;;;;;;;3381:373;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3381:373:0;;;;;;;;;;;;;;;;;:::i;1279:117::-;;;:::i;937:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1136:31;;;:::i;10887:204::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;10887:204:0;;;;;;;;;;:::i;9220:35::-;;;:::i;9262:::-;;;:::i;13267:1805::-;;;;;;;;;;;;;;;;-1:-1:-1;13267:1805:0;-1:-1:-1;;;;;13267:1805:0;;:::i;1012:44::-;;;;;;;;;;;;;;;;-1:-1:-1;1012:44:0;-1:-1:-1;;;;;1012:44:0;;:::i;9304:20::-;;;:::i;1403:41::-;;;;;;;;;;;;;;;;-1:-1:-1;1403:41:0;-1:-1:-1;;;;;1403:41:0;;:::i;15184:1501::-;;;;;;;;;;;;;;;;-1:-1:-1;15184:1501:0;-1:-1:-1;;;;;15184:1501:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;893:37;;;:::i;3231:142::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3231:142:0;;;;;;;;:::i;8699:49::-;;;:::i;19193:440::-;;;;;;;;;;;;;;;;-1:-1:-1;19193:440:0;-1:-1:-1;;;;;19193:440:0;;:::i;8861:22::-;;;:::i;8918:21::-;;;:::i;3762:988::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3762:988:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;1063:64::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;1063:64:0;;;;;;;;;;:::i;19682:227::-;;;:::i;16797:2347::-;9483:8;;9495:1;9483:13;9475:37;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;;;;9534:1;9523:8;:12;16974:14;;;;:32:::1;;;17005:1;16992:10;:14;16974:32;16952:113;;;::::0;;-1:-1:-1;;;16952:113:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;17077:17;17096::::0;17119:13:::1;:11;:13::i;:::-;17076:56;;;;;17193:9;-1:-1:-1::0;;;;;17180:22:0::1;:10;:22;:48;;;;;17219:9;-1:-1:-1::0;;;;;17206:22:0::1;:10;:22;17180:48;17158:125;;;::::0;;-1:-1:-1;;;17158:125:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;17451:6;::::0;17490::::1;::::0;17296:16:::1;::::0;;;-1:-1:-1;;;;;17451:6:0;;::::1;::::0;17490;;::::1;::::0;17519:13;::::1;::::0;::::1;::::0;::::1;::::0;:30:::1;;;17542:7;-1:-1:-1::0;;;;;17536:13:0::1;:2;-1:-1:-1::0;;;;;17536:13:0::1;;;17519:30;17511:58;;;::::0;;-1:-1:-1;;;17511:58:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;17511:58:0;;;;;;;;;;;;;::::1;;17588:14:::0;;17584:58:::1;;17604:38;17618:7;17627:2;17631:10;17604:13;:38::i;:::-;17695:14:::0;;17691:58:::1;;17711:38;17725:7;17734:2;17738:10;17711:13;:38::i;:::-;17802:15:::0;;17798:205:::1;;17847:2;-1:-1:-1::0;;;;;17836:22:0::1;;17881:10;17914;17947;17980:4;;17836:167;;;;;;;;;;;;;-1:-1:-1::0;;;;;17836:167:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;17798:205;18029:43;::::0;;-1:-1:-1;;;18029:43:0;;18066:4:::1;18029:43;::::0;::::1;::::0;;;-1:-1:-1;;;;;18029:28:0;::::1;::::0;::::1;::::0;:43;;;;;::::1;::::0;;;;;;;;:28;:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;18029:43:0;18098::::1;::::0;;-1:-1:-1;;;18098:43:0;;18135:4:::1;18098:43;::::0;::::1;::::0;;;18029;;-1:-1:-1;;;;;;18098:28:0;::::1;::::0;::::1;::::0;:43;;;;;18029::::1;::::0;18098;;;;;;;;:28;:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;18098:43:0;;-1:-1:-1;18163:17:0::1;::::0;-1:-1:-1;;;;;;;18194:22:0;::::1;::::0;;::::1;18183:33:::0;::::1;:101;;18283:1;18183:101;;;18256:10;18244:9;-1:-1:-1::0;;;;;18244:22:0::1;;18232:8;:35;18183:101;18163:121;;18295:17;18338:10;18326:9;-1:-1:-1::0;;;;;18326:22:0::1;;18315:8;:33;:101;;18415:1;18315:101;;;18388:10;18376:9;-1:-1:-1::0;;;;;18376:22:0::1;;18364:8;:35;18315:101;18295:121;;18461:1;18449:9;:13;:30;;;;18478:1;18466:9;:13;18449:30;18427:110;;;::::0;;-1:-1:-1;;;18427:110:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;18640:24;18667:40;18690:16;:9:::0;18704:1:::1;18690:13;:16::i;:::-;18667:18;:8:::0;18680:4:::1;18667:12;:18::i;:::-;:22:::0;::::1;:40::i;:::-;18640:67:::0;-1:-1:-1;18722:24:0::1;18749:40;18772:16;:9:::0;18786:1:::1;18772:13;:16::i;18749:40::-;18722:67:::0;-1:-1:-1;18893:46:0::1;18931:7;18893:33;-1:-1:-1::0;;;;;18893:18:0;;::::1;::::0;:33;::::1;:22;:33::i;:::-;:37:::0;::::1;:46::i;:::-;18830:38;:16:::0;18851;18830:20:::1;:38::i;:::-;:109;;18804:177;;;::::0;;-1:-1:-1;;;18804:177:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;18804:177:0;;;;;;;;;;;;;::::1;;9546:1;;19005:49;19013:8;19023;19033:9;19044;19005:7;:49::i;:::-;19070:66;::::0;;;;;::::1;::::0;::::1;::::0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19070:66:0;::::1;::::0;19075:10:::1;::::0;19070:66:::1;::::0;;;;;;;::::1;-1:-1:-1::0;;9569:1:0;9558:8;:12;-1:-1:-1;;;;;;;;;16797:2347:0:o;842:44::-;;;;;;;;;;;;;;-1:-1:-1;;;842:44:0;;;;:::o;9586:313::-;9801:8;;-1:-1:-1;;;;;9801:8:0;;;;-1:-1:-1;;;9832:8:0;;;;;;-1:-1:-1;;;9873:18:0;;;;;9586:313::o;3073:150::-;3140:4;3157:36;3166:10;3178:7;3187:5;3157:8;:36::i;:::-;-1:-1:-1;3211:4:0;3073:150;;;;;:::o;8890:21::-;;;-1:-1:-1;;;;;8890:21:0;;:::o;979:26::-;;;;:::o;3381:373::-;-1:-1:-1;;;;;3517:15:0;;3496:4;3517:15;;;:9;:15;;;;;;;;3533:10;3517:27;;;;;;;;-1:-1:-1;;3517:42:0;3513:175;;-1:-1:-1;;;;;3606:15:0;;;;;;:9;:15;;;;;;;;3622:10;3606:27;;;;;;;;:70;;3656:5;3606:31;:70::i;:::-;-1:-1:-1;;;;;3576:15:0;;;;;;:9;:15;;;;;;;;3592:10;3576:27;;;;;;;:100;3513:175;3698:26;3708:4;3714:2;3718:5;3698:9;:26::i;:::-;-1:-1:-1;3742:4:0;3381:373;;;;;:::o;1279:117::-;1330:66;1279:117;:::o;937:35::-;970:2;937:35;:::o;1136:31::-;;;;:::o;10887:204::-;10983:7;;-1:-1:-1;;;;;10983:7:0;10969:10;:21;10961:48;;;;;-1:-1:-1;;;10961:48:0;;;;;;;;;;;;-1:-1:-1;;;10961:48:0;;;;;;;;;;;;;;;11040:6;:16;;-1:-1:-1;;;;;11040:16:0;;;-1:-1:-1;;;;;;11040:16:0;;;;;;;11067:6;:16;;;;;;;;;;;10887:204::o;9220:35::-;;;;:::o;9262:::-;;;;:::o;13267:1805::-;13316:17;9483:8;;9495:1;9483:13;9475:37;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;;;;9534:1;9523:8;:12;;;9534:1;13389:13:::1;:11;:13::i;:::-;-1:-1:-1::0;13457:6:0::1;::::0;13447:42:::1;::::0;;-1:-1:-1;;;13447:42:0;;13483:4:::1;13447:42;::::0;::::1;::::0;;;13346:56;;-1:-1:-1;13346:56:0;;-1:-1:-1;13428:16:0::1;::::0;-1:-1:-1;;;;;13457:6:0;;::::1;::::0;13447:27:::1;::::0;:42;;;;;::::1;::::0;;;;;;;;13457:6;13447:42;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;13447:42:0;13529:6:::1;::::0;13519:42:::1;::::0;;-1:-1:-1;;;13519:42:0;;13555:4:::1;13519:42;::::0;::::1;::::0;;;13447;;-1:-1:-1;13500:16:0::1;::::0;-1:-1:-1;;;;;13529:6:0;;::::1;::::0;13519:27:::1;::::0;:42;;;;;13447::::1;::::0;13519;;;;;;;;13529:6;13519:42;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;13519:42:0;;-1:-1:-1;13572:15:0::1;13590:23;:8:::0;-1:-1:-1;;;;;13590:23:0;::::1;:12;:23::i;:::-;13572:41:::0;-1:-1:-1;13624:15:0::1;13642:23;:8:::0;-1:-1:-1;;;;;13642:23:0;::::1;:12;:23::i;:::-;13624:41;;13678:10;13691:30;13700:9;13711;13691:8;:30::i;:::-;13732:20;13755:11:::0;13678:43;;-1:-1:-1;13859:17:0;13855:895:::1;;13924:7;::::0;13912:31:::1;::::0;;-1:-1:-1;;;13912:31:0;;;;13893:16:::1;::::0;-1:-1:-1;;;;;13924:7:0::1;::::0;13912:29:::1;::::0;:31:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;13924:7;13912:31;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;13912:31:0;;-1:-1:-1;13962:10:0::1;-1:-1:-1::0;;;;;13962:22:0;::::1;;13958:601;;;14027:8;-1:-1:-1::0;;;;;14017:36:0::1;;:38;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;14017:38:0;;-1:-1:-1;14104:13:0;;;;;:41:::1;;;-1:-1:-1::0;;14121:9:0::1;:24;;14104:41;14074:136;;;::::0;;-1:-1:-1;;;14074:136:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;14074:136:0;;;;;;;;;;;;;::::1;;13958:601;;;-1:-1:-1::0;;;;;14259:22:0;::::1;::::0;14251:57:::1;;;::::0;;-1:-1:-1;;;14251:57:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;14251:57:0;;;;;;;;;;;;;::::1;;14339:94;8743:5;14339:31;14349:20;:7:::0;14361;14349:11:::1;:20::i;:::-;14339:9;:31::i;:94::-;14327:106;;14452:36;14466:1;8743:5;14452;:36::i;:::-;13855:895;;;;14603:135;-1:-1:-1::0;;;;;14630:37:0;::::1;:25;:7:::0;14642:12;14630:11:::1;:25::i;:::-;:37;;;;;;-1:-1:-1::0;;;;;14686:37:0;::::1;:25;:7:::0;14698:12;14686:11:::1;:25::i;:::-;:37;;;;;;14603:8;:135::i;:::-;14591:147;;13855:895;14780:1;14768:9;:13;14760:60;;;;-1:-1:-1::0;;;14760:60:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14831:20;14837:2;14841:9;14831:5;:20::i;:::-;14864:49;14872:8;14882;14892:9;14903;14864:7;:49::i;:::-;14928:5;14924:50;;;14965:8;::::0;14943:31:::1;::::0;-1:-1:-1;;;;;14951:8:0;;::::1;::::0;-1:-1:-1;;;14965:8:0;::::1;;14943:21;:31::i;:::-;14935:5;:39:::0;14924:50:::1;15030:34;::::0;;;;;::::1;::::0;::::1;::::0;;;;;15035:10:::1;::::0;15030:34:::1;::::0;;;;;;::::1;-1:-1:-1::0;;9569:1:0;9558:8;:12;-1:-1:-1;13267:1805:0;;;-1:-1:-1;;;;;;13267:1805:0:o;1012:44::-;;;;;;;;;;;;;:::o;9304:20::-;;;;:::o;1403:41::-;;;;;;;;;;;;;:::o;15184:1501::-;15260:15;15277;9483:8;;9495:1;9483:13;9475:37;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;;;;9534:1;9523:8;:12;;;9534:1;15353:13:::1;:11;:13::i;:::-;-1:-1:-1::0;15410:6:0::1;::::0;15460::::1;::::0;15511:43:::1;::::0;;-1:-1:-1;;;15511:43:0;;15548:4:::1;15511:43;::::0;::::1;::::0;;;15310:56;;-1:-1:-1;15310:56:0;;-1:-1:-1;;;;;;15410:6:0;;::::1;::::0;15460;::::1;::::0;15392:15:::1;::::0;15410:6;;15511:28:::1;::::0;:43;;;;;::::1;::::0;;;;;;;;15410:6;15511:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;15511:43:0;15584::::1;::::0;;-1:-1:-1;;;15584:43:0;;15621:4:::1;15584:43;::::0;::::1;::::0;;;15511;;-1:-1:-1;15565:16:0::1;::::0;-1:-1:-1;;;;;15584:28:0;::::1;::::0;::::1;::::0;:43;;;;;15511::::1;::::0;15584;;;;;;;:28;:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;15584:43:0;15676:4:::1;15638:17;15658:24:::0;;;:9:::1;15584:43;15658:24:::0;;;;;15584:43;;-1:-1:-1;15708:30:0::1;15717:9:::0;15728;15708:8:::1;:30::i;:::-;15749:20;15772:11:::0;15695:43;;-1:-1:-1;15772:11:0;15882:23:::1;:9:::0;15896:8;15882:13:::1;:23::i;:::-;:38;;;;;;::::0;-1:-1:-1;16015:12:0;15989:23:::1;:9:::0;16003:8;15989:13:::1;:23::i;:::-;:38;;;;;;15979:48;;16118:1;16108:7;:11;:26;;;;;16133:1;16123:7;:11;16108:26;16086:110;;;;-1:-1:-1::0;;;16086:110:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16207:31;16221:4;16228:9;16207:5;:31::i;:::-;16249:35;16263:7;16272:2;16276:7;16249:13;:35::i;:::-;16295;16309:7;16318:2;16322:7;16295:13;:35::i;:::-;16352:43;::::0;;-1:-1:-1;;;16352:43:0;;16389:4:::1;16352:43;::::0;::::1;::::0;;;-1:-1:-1;;;;;16352:28:0;::::1;::::0;::::1;::::0;:43;;;;;::::1;::::0;;;;;;;;:28;:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;16352:43:0;16417::::1;::::0;;-1:-1:-1;;;16417:43:0;;16454:4:::1;16417:43;::::0;::::1;::::0;;;16352;;-1:-1:-1;;;;;;16417:28:0;::::1;::::0;::::1;::::0;:43;;;;;16352::::1;::::0;16417;;;;;;;;:28;:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;16417:43:0;;-1:-1:-1;16473:49:0::1;16481:8:::0;16417:43;16501:9;16512;16473:7:::1;:49::i;:::-;16537:5;16533:50;;;16574:8;::::0;16552:31:::1;::::0;-1:-1:-1;;;;;16560:8:0;;::::1;::::0;-1:-1:-1;;;16574:8:0;::::1;;16552:21;:31::i;:::-;16544:5;:39:::0;16533:50:::1;16639:38;::::0;;;;;::::1;::::0;::::1;::::0;;;;;-1:-1:-1;;;;;16639:38:0;::::1;::::0;16644:10:::1;::::0;16639:38:::1;::::0;;;;;;;;;::::1;9546:1;;;;;;;;;9569::::0;9558:8;:12;;;;15184:1501;;;:::o;893:37::-;;;;;;;;;;;;;;-1:-1:-1;;;893:37:0;;;;:::o;3231:142::-;3294:4;3311:32;3321:10;3333:2;3337:5;3311:9;:32::i;8699:49::-;8743:5;8699:49;:::o;19193:440::-;9483:8;;9495:1;9483:13;9475:37;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;;;;9534:1;9523:8;:12;19262:6:::1;::::0;19312::::1;::::0;19459:8:::1;::::0;19411:43:::1;::::0;;-1:-1:-1;;;19411:43:0;;19448:4:::1;19411:43;::::0;::::1;::::0;;;-1:-1:-1;;;;;19262:6:0;;::::1;::::0;19312;;::::1;::::0;19344:135:::1;::::0;19262:6;;19394:2;;19411:57:::1;::::0;-1:-1:-1;;;;;19459:8:0::1;::::0;19262:6;;19411:28:::1;::::0;:43;;;;;::::1;::::0;;;;;;;;;19262:6;19411:43;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;19411:43:0;;:47:::1;:57::i;:::-;19344:13;:135::i;:::-;19490;19518:7;19540:2;19557:57;19605:8;;;;;;;;;-1:-1:-1::0;;;;;19605:8:0::1;-1:-1:-1::0;;;;;19557:57:0::1;19567:7;-1:-1:-1::0;;;;;19557:28:0::1;;19594:4;19557:43;;;;;;;;;;;;;-1:-1:-1::0;;;;;19557:43:0::1;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;19490:135;-1:-1:-1::0;;9569:1:0;9558:8;:12;-1:-1:-1;19193:440:0:o;8861:22::-;;;-1:-1:-1;;;;;8861:22:0;;:::o;8918:21::-;;;-1:-1:-1;;;;;8918:21:0;;:::o;3762:988::-;3984:15;3972:8;:27;;3964:52;;;;;-1:-1:-1;;;3964:52:0;;;;;;;;;;;;-1:-1:-1;;;3964:52:0;;;;;;;;;;;;;;;4132:16;;-1:-1:-1;;;;;4376:13:0;;;4027:14;4376:13;;;:6;:13;;;;;;;;:15;;;;;;;;;4199:250;;1330:66;4199:250;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4167:301;;;;;;-1:-1:-1;;;4068:415:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4044:450;;;;;;;;;4532:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4027:14;;4376:15;4532:26;;;;;-1:-1:-1;;4532:26:0;;;;;;;;;;4376:15;4532:26;;;;;;;;;;;;;;;-1:-1:-1;;4532:26:0;;-1:-1:-1;;4532:26:0;;;-1:-1:-1;;;;;;;4591:30:0;;;;;;:59;;;4645:5;-1:-1:-1;;;;;4625:25:0;:16;-1:-1:-1;;;;;4625:25:0;;4591:59;4569:131;;;;;-1:-1:-1;;;4569:131:0;;;;;;;;;;;;-1:-1:-1;;;4569:131:0;;;;;;;;;;;;;;;4711:31;4720:5;4727:7;4736:5;4711:8;:31::i;:::-;3762:988;;;;;;;;;:::o;1063:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;19682:227::-;9483:8;;9495:1;9483:13;9475:37;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;-1:-1:-1;;;9475:37:0;;;;;;;;;;;;;;;9534:1;9523:8;:12;19755:6:::1;::::0;19745:42:::1;::::0;;-1:-1:-1;;;19745:42:0;;19781:4:::1;19745:42;::::0;::::1;::::0;;;19723:178:::1;::::0;-1:-1:-1;;;;;19755:6:0::1;::::0;19745:27:::1;::::0;:42;;;;;::::1;::::0;;;;;;;;19755:6;19745:42;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;19745:42:0;19812:6:::1;::::0;19802:42:::1;::::0;;-1:-1:-1;;;19802:42:0;;19838:4:::1;19802:42;::::0;::::1;::::0;;;-1:-1:-1;;;;;19812:6:0;;::::1;::::0;19802:27:::1;::::0;:42;;;;;19745::::1;::::0;19802;;;;;;;;19812:6;19802:42;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;19802:42:0;19859:8:::1;::::0;-1:-1:-1;;;;;19859:8:0;;::::1;::::0;-1:-1:-1;;;19882:8:0;::::1;;19723:7;:178::i;:::-;9569:1:::0;9558:8;:12;19682:227::o;9907:379::-;8816:34;;;;;;;;;;;;;;;;;10086:43;;-1:-1:-1;;;;;10086:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10086:43:0;-1:-1:-1;;;10086:43:0;;;10061:79;;;;10026:12;;10040:17;;10061:10;;;10086:43;10061:79;;;10086:43;10061:79;;10086:43;10061:79;;;;;;;;;;-1:-1:-1;;10061:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10025:115;;;;10173:7;:57;;;;-1:-1:-1;10185:11:0;;:16;;:44;;;10216:4;10205:24;;;;;;;;;;;;;;;-1:-1:-1;10205:24:0;10185:44;10151:127;;;;;-1:-1:-1;;;10151:127:0;;;;;;;;;;;;-1:-1:-1;;;10151:127:0;;;;;;;;;;;;;;;9907:379;;;;;:::o;548:151::-;606:9;636:6;;;:30;;-1:-1:-1;;651:5:0;;;665:1;660;651:5;660:1;646:15;;;;;:20;636:30;628:63;;;;;-1:-1:-1;;;628:63:0;;;;;;;;;;;;-1:-1:-1;;;628:63:0;;;;;;;;;;;;;;402:138;495:5;;;490:16;;;;482:50;;;;;-1:-1:-1;;;482:50:0;;;;;;;;;;;;-1:-1:-1;;;482:50:0;;;;;;;;;;;;;;11176:1014;-1:-1:-1;;;;;11351:23:0;;;;;:50;;-1:-1:-1;;;;;;11378:23:0;;;11351:50;11329:113;;;;;-1:-1:-1;;;11329:113:0;;;;;;;;;;;;-1:-1:-1;;;11329:113:0;;;;;;;;;;;;;;;11557:18;;11484:23;:15;:23;;;-1:-1:-1;;;11557:18:0;;;;11540:35;;;11613:15;;;;;;:33;;-1:-1:-1;;;;;;11632:14:0;;;;11613:33;:51;;;;-1:-1:-1;;;;;;11650:14:0;;;;11613:51;11609:410;;;11856:11;11783:84;;11791:44;11825:9;11791:27;11808:9;11791:16;:27::i;:::-;-1:-1:-1;;;;;11791:33:0;;;:44::i;:::-;11742:20;:125;;-1:-1:-1;;;;;11783:53:0;;;;:84;;;;11742:125;;;11923:84;;;11931:44;11965:9;11931:27;11948:9;11931:16;:27::i;:44::-;11882:20;:125;;-1:-1:-1;;;;;11923:53:0;;;;:84;;;;11882:125;;;11609:410;12029:8;:28;;-1:-1:-1;;12029:28:0;-1:-1:-1;;;;;12029:28:0;;;;;;;-1:-1:-1;;;;12068:28:0;-1:-1:-1;;;12068:28:0;;;;;;;;;-1:-1:-1;;;;;12107:35:0;-1:-1:-1;;;12107:35:0;;;;;;;;;12158:24;;;12163:8;;;12158:24;;12173:8;;;;;;;12158:24;;;;;;;;;;;;;;;;;11176:1014;;;;;;:::o;2594:206::-;-1:-1:-1;;;;;2712:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;2761:31;;;;;;;;;;;;;;;;;2594:206;;;:::o;2808:257::-;-1:-1:-1;;;;;2939:15:0;;;;;;:9;:15;;;;;;:26;;2959:5;2939:19;:26::i;:::-;-1:-1:-1;;;;;2921:15:0;;;;;;;:9;:15;;;;;;:44;;;;2992:13;;;;;;;:24;;3010:5;2992:17;:24::i;:::-;-1:-1:-1;;;;;2976:13:0;;;;;;;:9;:13;;;;;;;;;:40;;;;3032:25;;;;;;;2976:13;;3032:25;;;;;;;;;;;;;2808:257;;;:::o;12280:875::-;12371:10;12399:13;12427:7;;;;;;;;;-1:-1:-1;;;;;12427:7:0;-1:-1:-1;;;;;12415:26:0;;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;12415:28:0;12509:5;;-1:-1:-1;;;;;12462:19:0;;;;;;-1:-1:-1;12415:28:0;;-1:-1:-1;12509:5:0;12540:608;;12570:11;;12566:512;;12602:13;12618:44;12628:33;-1:-1:-1;;;;;12628:18:0;;;;:33;;:22;:33::i;12618:44::-;12602:60;;12681:17;12701;12711:6;12701:9;:17::i;:::-;12681:37;;12749:9;12741:5;:17;12737:326;;;12783:17;12803:37;12819:20;:5;12829:9;12819;:20::i;:::-;12803:11;;;:15;:37::i;:::-;12783:57;-1:-1:-1;12863:19:0;12885:27;12902:9;12885:12;:5;12895:1;12885:9;:12::i;:::-;:16;;:27::i;:::-;12863:49;;12935:17;12967:11;12955:9;:23;;;;;;;-1:-1:-1;13005:13:0;;13001:42;;13020:23;13026:5;13033:9;13020:5;:23::i;:::-;12737:326;;;;12566:512;;;12540:608;;;13099:11;;13095:53;;13135:1;13127:5;:9;13095:53;12280:875;;;;;;:::o;5134:312::-;5182:9;5212:1;5208;:5;5204:235;;;-1:-1:-1;5234:1:0;5270;5266;5262:5;;:9;5286:92;5297:1;5293;:5;5286:92;;;5323:1;5319:5;;5361:1;5356;5352;5348;:5;;;;;;:9;5347:15;;;;;;5343:19;;5286:92;;;5204:235;;;;5399:6;;5395:44;;-1:-1:-1;5426:1:0;5395:44;5134:312;;;:::o;2162:204::-;2238:11;;:22;;2254:5;2238:15;:22::i;:::-;2224:11;:36;;;-1:-1:-1;;;;;2287:13:0;;;;:9;:13;;;;;;:24;;2305:5;2287:17;:24::i;:::-;-1:-1:-1;;;;;2271:13:0;;;;;;:9;:13;;;;;;;;:40;;;;2327:31;;;;;;;2271:13;;;;2327:31;;;;;;;;;;2162:204;;:::o;4911:105::-;4969:9;4999:1;4995;:5;:13;;5007:1;4995:13;;;5003:1;4995:13;4991:17;4911:105;-1:-1:-1;;;4911:105:0:o;2374:212::-;-1:-1:-1;;;;;2456:15:0;;;;;;:9;:15;;;;;;:26;;2476:5;2456:19;:26::i;:::-;-1:-1:-1;;;;;2438:15:0;;;;;;:9;:15;;;;;:44;;;;2507:11;:22;;2523:5;2507:15;:22::i;:::-;2493:11;:36;;;2545:33;;;;;;;;-1:-1:-1;;;;;2545:33:0;;;;;;;;;;;;;2374:212;;:::o;5803:120::-;-1:-1:-1;;;;;5879:10:0;-1:-1:-1;;;5879:17:0;;5803:120::o;5994:108::-;6054:9;-1:-1:-1;;;;;6084:10:0;;-1:-1:-1;;;;;6080:14:0;;6084:10;6080:14;;;;;;5994:108;-1:-1:-1;;;5994:108:0:o;257:137::-;350:5;;;345:16;;;;337:49;;;;;-1:-1:-1;;;337:49:0;;;;;;;;;;;;-1:-1:-1;;;337:49:0;;;;;;;;;;;;;

ipfs://331c7da4efdadd19669d3d4492f60d8630c0b61e019b3fe2070f1d7d2f93d551