Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(  contract Ownable is Context    - function owner()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function addLiquidityETH(    - function factory()    - function WETH()  contract LAI is Context, IERC20, O ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function _approve(    - function _transfer(    - function shouldTakeForFees(address fr ...    - function takeFees(    - function tuningLexa()    - function removeLimit()    - function startLAI()    - function updateFees(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-22
*/

/**

Website: https://lexaaieth.com
Whitepaper: https://whitepaper.lexaaieth.com
Twitter: https://twitter.com/lexaaieth
Telegram: https://t.me/lexaaieth


*/

// SPDX-License-Identifier: Unlicensed

pragma solidity ^0.8.18;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint256);

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

    function transfer(address recipient, uint256 amount)
        external
        returns (bool);

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

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

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

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

contract Ownable is Context {
    address private _owner;
    address private _previousOwner;
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    function _transferOwnership(address newOwner) internal {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB)
        external
        returns (address pair);
}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );

    function factory() external pure returns (address);

    function WETH() external pure returns (address);
}

contract LAI is Context, IERC20, Ownable {
    uint256 private constant _totalSupply = 100_000_000e18;
    uint256 private constant _onePercent = 1_000_000e18;
    uint256 private _minSwapTokens = 106*1e18;
    uint256 private _maxSwapTokens = _onePercent;
    uint8 private constant _decimals = 18;

    IUniswapV2Router02 immutable _dexRouter;
    address private _dexPair;
    address immutable WETH;
    address payable _laifund;

    uint256 private _taxLexaBuy;
    uint256 private _taxLexaSell;
    uint256 private _taxLexaLiq;

    uint8 private _tradingStatus;
    uint8 private _isInSwap;

    uint256 private _maxTxSize = _onePercent * 2;
    uint256 private _maxWalletSize = _onePercent * 2;

    string private constant _name = "Lexa AI";
    string private constant _symbol = "LAI";

    mapping(address => uint256) private _balance;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _exceptForSwapLai;
    mapping(address => bool) private _exceptForLexaAI;

    constructor() {
        _dexRouter = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        WETH = _dexRouter.WETH();
        _laifund = payable(0xf6Bc14792455B6fa7212825820686dAC92a348Cf);
        _balance[msg.sender] = _totalSupply;
        _exceptForSwapLai[_laifund] = true;
        _exceptForSwapLai[address(this)] = true;
        _exceptForLexaAI[address(this)] = true;
        _exceptForLexaAI[address(_dexRouter)] = true;
        _exceptForLexaAI[address(0)] = true;
        _exceptForLexaAI[address(0xDEAD)] = true;
        _exceptForLexaAI[msg.sender] = true;
        _allowances[address(this)][address(_dexRouter)] = type(uint256).max;
        _allowances[msg.sender][address(_dexRouter)] = type(uint256).max;

        emit Transfer(address(0), _msgSender(), _totalSupply);
    }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balance[account];
    }

    function transfer(address recipient, uint256 amount)
        public
        override
        returns (bool)
    {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender)
        public
        view
        override
        returns (uint256)
    {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount)
        public
        override
        returns (bool)
    {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()] - amount
        );
        return true;
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(
        address from,
        address to,
        uint256 amount
    ) private {
        require(from != address(0), "ERC20: transfer from the zero address");

        uint256 _tax;
        if (from == address(this) || to == address(this)) {
            _balance[from] -= amount;
            _balance[to] += amount;

            emit Transfer(from, to, amount);
            return;
        }
        if (!_exceptForSwapLai[from] && !_exceptForSwapLai[to]) {
            require(
                _tradingStatus != 0 && amount <= _maxTxSize,
                "Launch / Max TxAmount at launch"
            );
            if (!_exceptForLexaAI[to]) {
                require(
                    _balance[to] + amount <= _maxWalletSize,
                    "Exceeds max wallet balance"
                );
            }

            if (_isInSwap == 1) {
                //No tax transfer
                _balance[from] -= amount;
                _balance[to] += amount;

                emit Transfer(from, to, amount);
                return;
            }

            if (from == _dexPair) {
                _tax = _taxLexaBuy + _taxLexaLiq;
            } else if (to == _dexPair) {
                uint256 tokensSwapInContract = _balance[address(this)];
                if (amount > _minSwapTokens && _isInSwap == 0) {
                    if (tokensSwapInContract > _minSwapTokens) {
                        if (tokensSwapInContract > _maxSwapTokens) {
                            tokensSwapInContract = _maxSwapTokens;
                        }

                        uint256 liqidityToken = (tokensSwapInContract * _taxLexaLiq) /
                            (((_taxLexaBuy + _taxLexaSell) / 2) + _taxLexaLiq);
                        uint256 tokensTosell = tokensSwapInContract - liqidityToken;

                        _isInSwap = 1;
                        address[] memory path = new address[](2);
                        path[0] = address(this);
                        path[1] = WETH;

                        _dexRouter
                            .swapExactTokensForETHSupportingFeeOnTransferTokens(
                                tokensTosell,
                                0,
                                path,
                                _laifund,
                                block.timestamp
                            );

                        if (liqidityToken > 0) {
                            _dexRouter
                                .swapExactTokensForETHSupportingFeeOnTransferTokens(
                                    liqidityToken / 2,
                                    0,
                                    path,
                                    address(this),
                                    block.timestamp
                                );

                            uint256 newBal = address(this).balance;
                            _dexRouter.addLiquidityETH{value: newBal}(
                                address(this),
                                liqidityToken / 2,
                                0,
                                0,
                                owner(),
                                block.timestamp
                            );
                        }
                        _isInSwap = 0;
                    }
                }

                _tax = _taxLexaSell + _taxLexaLiq;
            } else {
                _tax = 0;
            }
        }

        bool _takeTax = shouldTakeForFees(from, to);

        if (_takeTax) {
            //Tax transfer
            uint256 transferAmount = takeFees(from, to, amount, _tax);

            _balance[to] += transferAmount;
            emit Transfer(from, to, transferAmount);
        } else {
            _balance[to] += amount;

            emit Transfer(from, to, amount);
        }
    }

    function shouldTakeForFees(address from, address to)
        internal
        view
        returns (bool)
    {
        return !_exceptForSwapLai[from];
    }

    function takeFees(
        address from,
        address to,
        uint256 amount,
        uint256 taxRate
    ) internal returns (uint256) {
        uint256 taxTokens = (amount * taxRate) / 100;
        uint256 transferAmount = amount - taxTokens;

        _balance[from] -= amount;
        _balance[address(this)] += taxTokens;
        emit Transfer(from, address(this), taxTokens);

        return transferAmount;
    }

    function tuningLexa() external onlyOwner {
        require(_tradingStatus == 0, "already opened");
        _dexPair = IUniswapV2Factory(_dexRouter.factory()).createPair(
            address(this),
            WETH
        );
        _exceptForLexaAI[address(_dexPair)] = true;

        uint256 ethBalance = address(this).balance;
        _dexRouter.addLiquidityETH{value: ethBalance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
    }

    function removeLimit() external onlyOwner {
        _maxTxSize = type(uint256).max;
        _maxWalletSize = type(uint256).max;
    }

    function startLAI() external onlyOwner {
        require(_tradingStatus == 0, "already launched");
        _tradingStatus = 1;
        _taxLexaBuy = 30;
        _taxLexaSell = 25;
    }

    function updateFees(
        uint256 _feeBuy,
        uint256 _feeSell
    ) external onlyOwner {
        _taxLexaBuy = _feeBuy;
        _taxLexaSell = _feeSell;
        require(_feeBuy <= 10 && _feeSell <= 10);
    }    

    receive() external payable {}
}

• 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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startLAI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"tuningLexa","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_feeBuy","type":"uint256"},{"internalType":"uint256","name":"_feeSell","type":"uint256"}],"name":"updateFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60c06040526805bf0ba6634f68000060025569d3c21bcecceda100000060035569d3c21bcecceda10000006002620000389190620002b1565b600a556200005269d3c21bcecceda10000006002620002b1565b600b5534801562000061575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350737a250d5630b4cf539739df2c5dacb4c659f2488d6080819052604080516315ab88c960e31b8152905163ad5c4648916004808201926020929091908290030181865afa158015620000f6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200011c9190620002db565b6001600160a01b0390811660a052600580546001600160a01b03191673f6bc14792455b6fa7212825820686dac92a348cf178155335f818152600c602090815260408083206a52b7d2dcc80cd2e40000009055935485168252600e8152838220805460ff199081166001908117909255308085528685208054831684179055600f8452868520805483168417905560805190971680855286852080548316841790557ff4803e074bd026baaf6ed2e288c9515f68c72fb7216eebdd7cae1718a53ec37580548316841790557f99629f56119585bf27511b6b7d295dffb54757453fcc3dabcf51d92028301f10805483168417905585855286852080549092169092179055948252600d80825284832086845282528483205f1990819055938352815283822094825293909352912055620002533390565b6001600160a01b03165f6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a52b7d2dcc80cd2e4000000604051620002a391815260200190565b60405180910390a36200030a565b8082028115828204841417620002d557634e487b7160e01b5f52601160045260245ffd5b92915050565b5f60208284031215620002ec575f80fd5b81516001600160a01b038116811462000303575f80fd5b9392505050565b60805160a0516114f56200034f5f395f818161067f0152610ce901525f81816105e40152818161072f01528181610d4301528181610dc10152610e4d01526114f55ff3fe6080604052600436106100f2575f3560e01c8063715018a611610087578063a961546911610057578063a9615469146102bb578063dd62ed3e146102cf578063f2fde38b14610313578063f9944f8714610332575f80fd5b8063715018a6146102375780638da5cb5b1461024b57806395d89b4114610271578063a9059cbb1461029c575f80fd5b8063313ce567116100c2578063313ce567146101b357806362256589146101ce5780636db79437146101e457806370a0823114610203575f80fd5b806306fdde03146100fd578063095ea7b31461013e57806318160ddd1461016d57806323b872dd14610194575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b506040805180820190915260078152664c65786120414960c81b60208201525b60405161013591906111a6565b60405180910390f35b348015610149575f80fd5b5061015d610158366004611206565b610346565b6040519015158152602001610135565b348015610178575f80fd5b506a52b7d2dcc80cd2e40000005b604051908152602001610135565b34801561019f575f80fd5b5061015d6101ae366004611230565b61035c565b3480156101be575f80fd5b5060405160128152602001610135565b3480156101d9575f80fd5b506101e26103ac565b005b3480156101ef575f80fd5b506101e26101fe36600461126e565b6103ea565b34801561020e575f80fd5b5061018661021d36600461128e565b6001600160a01b03165f908152600c602052604090205490565b348015610242575f80fd5b506101e261043b565b348015610256575f80fd5b505f546040516001600160a01b039091168152602001610135565b34801561027c575f80fd5b506040805180820190915260038152624c414960e81b6020820152610128565b3480156102a7575f80fd5b5061015d6102b6366004611206565b6104ac565b3480156102c6575f80fd5b506101e26104b8565b3480156102da575f80fd5b506101866102e93660046112b0565b6001600160a01b039182165f908152600d6020908152604080832093909416825291909152205490565b34801561031e575f80fd5b506101e261032d36600461128e565b610540565b34801561033d575f80fd5b506101e2610575565b5f6103523384846107f0565b5060015b92915050565b5f610368848484610913565b6001600160a01b0384165f908152600d60209081526040808320338085529252909120546103a291869161039d9086906112fb565b6107f0565b5060019392505050565b5f546001600160a01b031633146103de5760405162461bcd60e51b81526004016103d59061130e565b60405180910390fd5b5f19600a819055600b55565b5f546001600160a01b031633146104135760405162461bcd60e51b81526004016103d59061130e565b60068290556007819055600a821180159061042f5750600a8111155b610437575f80fd5b5050565b5f546001600160a01b031633146104645760405162461bcd60e51b81526004016103d59061130e565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f610352338484610913565b5f546001600160a01b031633146104e15760405162461bcd60e51b81526004016103d59061130e565b60095460ff16156105275760405162461bcd60e51b815260206004820152601060248201526f185b1c9958591e481b185d5b98da195960821b60448201526064016103d5565b6009805460ff19166001179055601e6006556019600755565b5f546001600160a01b031633146105695760405162461bcd60e51b81526004016103d59061130e565b61057281611038565b50565b5f546001600160a01b0316331461059e5760405162461bcd60e51b81526004016103d59061130e565b60095460ff16156105e25760405162461bcd60e51b815260206004820152600e60248201526d185b1c9958591e481bdc195b995960921b60448201526064016103d5565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561063e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106629190611343565b6040516364e329cb60e11b81523060048201526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000081166024830152919091169063c9c65396906044016020604051808303815f875af11580156106cf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f39190611343565b600480546001600160a01b039283166001600160a01b031990911681179091555f908152600f60205260409020805460ff1916600117905547907f00000000000000000000000000000000000000000000000000000000000000001663f305d7198230610774816001600160a01b03165f908152600c602052604090205490565b5f806107875f546001600160a01b031690565b426040518863ffffffff1660e01b81526004016107a99695949392919061135e565b60606040518083038185885af11580156107c5573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107ea9190611399565b50505050565b6001600160a01b0383166108525760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d5565b6001600160a01b0382166108b35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d5565b6001600160a01b038381165f818152600d602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109775760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d5565b5f6001600160a01b03841630148061099757506001600160a01b03831630145b15610a36576001600160a01b0384165f908152600c6020526040812080548492906109c39084906112fb565b90915550506001600160a01b0383165f908152600c6020526040812080548492906109ef9084906113c4565b92505081905550826001600160a01b0316846001600160a01b03165f805160206114a083398151915284604051610a2891815260200190565b60405180910390a350505050565b6001600160a01b0384165f908152600e602052604090205460ff16158015610a7657506001600160a01b0383165f908152600e602052604090205460ff16155b15610f265760095460ff1615801590610a915750600a548211155b610add5760405162461bcd60e51b815260206004820152601f60248201527f4c61756e6368202f204d6178205478416d6f756e74206174206c61756e63680060448201526064016103d5565b6001600160a01b0383165f908152600f602052604090205460ff16610b7057600b546001600160a01b0384165f908152600c6020526040902054610b229084906113c4565b1115610b705760405162461bcd60e51b815260206004820152601a60248201527f45786365656473206d61782077616c6c65742062616c616e636500000000000060448201526064016103d5565b600954610100900460ff16600103610ba9576001600160a01b0384165f908152600c6020526040812080548492906109c39084906112fb565b6004546001600160a01b0390811690851603610bd657600854600654610bcf91906113c4565b9050610f26565b6004546001600160a01b0390811690841603610f2357305f908152600c602052604090205460025483118015610c145750600954610100900460ff16155b15610f0b57600254811115610f0b57600354811115610c3257506003545b5f6008546002600754600654610c4891906113c4565b610c5291906113d7565b610c5c91906113c4565b600854610c6990846113f6565b610c7391906113d7565b90505f610c8082846112fb565b6009805461ff0019166101001790556040805160028082526060820183529293505f92909160208301908036833701905050905030815f81518110610cc757610cc761140d565b60200260200101906001600160a01b031690816001600160a01b0316815250507f000000000000000000000000000000000000000000000000000000000000000081600181518110610d1b57610d1b61140d565b6001600160a01b03928316602091820292909201015260055460405163791ac94760e01b81527f000000000000000000000000000000000000000000000000000000000000000083169263791ac94792610d829287925f9288929116904290600401611464565b5f604051808303815f87803b158015610d99575f80fd5b505af1158015610dab573d5f803e3d5ffd5b505050505f831115610efc576001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001663791ac947610df16002866113d7565b5f8430426040518663ffffffff1660e01b8152600401610e15959493929190611464565b5f604051808303815f87803b158015610e2c575f80fd5b505af1158015610e3e573d5f803e3d5ffd5b50479250506001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016905063f305d7198230610e816002896113d7565b5f80610e945f546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610eb69695949392919061135e565b60606040518083038185885af1158015610ed2573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610ef79190611399565b505050505b50506009805461ff0019169055505b600854600754610f1b91906113c4565b915050610f26565b505f5b6001600160a01b0384165f908152600e602052604090205460ff16158015610fc8575f610f55868686866110f6565b6001600160a01b0386165f908152600c6020526040812080549293508392909190610f819084906113c4565b92505081905550846001600160a01b0316866001600160a01b03165f805160206114a083398151915283604051610fba91815260200190565b60405180910390a350611031565b6001600160a01b0384165f908152600c602052604081208054859290610fef9084906113c4565b92505081905550836001600160a01b0316856001600160a01b03165f805160206114a08339815191528560405161102891815260200190565b60405180910390a35b5050505050565b6001600160a01b03811661109d5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103d5565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f80606461110484866113f6565b61110e91906113d7565b90505f61111b82866112fb565b6001600160a01b0388165f908152600c60205260408120805492935087929091906111479084906112fb565b9091555050305f908152600c60205260408120805484929061116a9084906113c4565b909155505060405182815230906001600160a01b038916905f805160206114a08339815191529060200160405180910390a39695505050505050565b5f602080835283518060208501525f5b818110156111d2578581018301518582016040015282016111b6565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610572575f80fd5b5f8060408385031215611217575f80fd5b8235611222816111f2565b946020939093013593505050565b5f805f60608486031215611242575f80fd5b833561124d816111f2565b9250602084013561125d816111f2565b929592945050506040919091013590565b5f806040838503121561127f575f80fd5b50508035926020909101359150565b5f6020828403121561129e575f80fd5b81356112a9816111f2565b9392505050565b5f80604083850312156112c1575f80fd5b82356112cc816111f2565b915060208301356112dc816111f2565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610356576103566112e7565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611353575f80fd5b81516112a9816111f2565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f606084860312156113ab575f80fd5b8351925060208401519150604084015190509250925092565b80820180821115610356576103566112e7565b5f826113f157634e487b7160e01b5f52601260045260245ffd5b500490565b8082028115828204841417610356576103566112e7565b634e487b7160e01b5f52603260045260245ffd5b5f815180845260208085019450602084015f5b838110156114595781516001600160a01b031687529582019590820190600101611434565b509495945050505050565b85815284602082015260a060408201525f61148260a0830186611421565b6001600160a01b039490941660608301525060800152939250505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220bfe9b1627c088f4e575c7286bf7ae007acc9770714f60bdefa12a236e167505764736f6c63430008160033

0x6080604052600436106100f2575f3560e01c8063715018a611610087578063a961546911610057578063a9615469146102bb578063dd62ed3e146102cf578063f2fde38b14610313578063f9944f8714610332575f80fd5b8063715018a6146102375780638da5cb5b1461024b57806395d89b4114610271578063a9059cbb1461029c575f80fd5b8063313ce567116100c2578063313ce567146101b357806362256589146101ce5780636db79437146101e457806370a0823114610203575f80fd5b806306fdde03146100fd578063095ea7b31461013e57806318160ddd1461016d57806323b872dd14610194575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b506040805180820190915260078152664c65786120414960c81b60208201525b60405161013591906111a6565b60405180910390f35b348015610149575f80fd5b5061015d610158366004611206565b610346565b6040519015158152602001610135565b348015610178575f80fd5b506a52b7d2dcc80cd2e40000005b604051908152602001610135565b34801561019f575f80fd5b5061015d6101ae366004611230565b61035c565b3480156101be575f80fd5b5060405160128152602001610135565b3480156101d9575f80fd5b506101e26103ac565b005b3480156101ef575f80fd5b506101e26101fe36600461126e565b6103ea565b34801561020e575f80fd5b5061018661021d36600461128e565b6001600160a01b03165f908152600c602052604090205490565b348015610242575f80fd5b506101e261043b565b348015610256575f80fd5b505f546040516001600160a01b039091168152602001610135565b34801561027c575f80fd5b506040805180820190915260038152624c414960e81b6020820152610128565b3480156102a7575f80fd5b5061015d6102b6366004611206565b6104ac565b3480156102c6575f80fd5b506101e26104b8565b3480156102da575f80fd5b506101866102e93660046112b0565b6001600160a01b039182165f908152600d6020908152604080832093909416825291909152205490565b34801561031e575f80fd5b506101e261032d36600461128e565b610540565b34801561033d575f80fd5b506101e2610575565b5f6103523384846107f0565b5060015b92915050565b5f610368848484610913565b6001600160a01b0384165f908152600d60209081526040808320338085529252909120546103a291869161039d9086906112fb565b6107f0565b5060019392505050565b5f546001600160a01b031633146103de5760405162461bcd60e51b81526004016103d59061130e565b60405180910390fd5b5f19600a819055600b55565b5f546001600160a01b031633146104135760405162461bcd60e51b81526004016103d59061130e565b60068290556007819055600a821180159061042f5750600a8111155b610437575f80fd5b5050565b5f546001600160a01b031633146104645760405162461bcd60e51b81526004016103d59061130e565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f610352338484610913565b5f546001600160a01b031633146104e15760405162461bcd60e51b81526004016103d59061130e565b60095460ff16156105275760405162461bcd60e51b815260206004820152601060248201526f185b1c9958591e481b185d5b98da195960821b60448201526064016103d5565b6009805460ff19166001179055601e6006556019600755565b5f546001600160a01b031633146105695760405162461bcd60e51b81526004016103d59061130e565b61057281611038565b50565b5f546001600160a01b0316331461059e5760405162461bcd60e51b81526004016103d59061130e565b60095460ff16156105e25760405162461bcd60e51b815260206004820152600e60248201526d185b1c9958591e481bdc195b995960921b60448201526064016103d5565b7f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d6001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561063e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106629190611343565b6040516364e329cb60e11b81523060048201526001600160a01b037f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281166024830152919091169063c9c65396906044016020604051808303815f875af11580156106cf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f39190611343565b600480546001600160a01b039283166001600160a01b031990911681179091555f908152600f60205260409020805460ff1916600117905547907f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d1663f305d7198230610774816001600160a01b03165f908152600c602052604090205490565b5f806107875f546001600160a01b031690565b426040518863ffffffff1660e01b81526004016107a99695949392919061135e565b60606040518083038185885af11580156107c5573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107ea9190611399565b50505050565b6001600160a01b0383166108525760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d5565b6001600160a01b0382166108b35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d5565b6001600160a01b038381165f818152600d602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109775760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d5565b5f6001600160a01b03841630148061099757506001600160a01b03831630145b15610a36576001600160a01b0384165f908152600c6020526040812080548492906109c39084906112fb565b90915550506001600160a01b0383165f908152600c6020526040812080548492906109ef9084906113c4565b92505081905550826001600160a01b0316846001600160a01b03165f805160206114a083398151915284604051610a2891815260200190565b60405180910390a350505050565b6001600160a01b0384165f908152600e602052604090205460ff16158015610a7657506001600160a01b0383165f908152600e602052604090205460ff16155b15610f265760095460ff1615801590610a915750600a548211155b610add5760405162461bcd60e51b815260206004820152601f60248201527f4c61756e6368202f204d6178205478416d6f756e74206174206c61756e63680060448201526064016103d5565b6001600160a01b0383165f908152600f602052604090205460ff16610b7057600b546001600160a01b0384165f908152600c6020526040902054610b229084906113c4565b1115610b705760405162461bcd60e51b815260206004820152601a60248201527f45786365656473206d61782077616c6c65742062616c616e636500000000000060448201526064016103d5565b600954610100900460ff16600103610ba9576001600160a01b0384165f908152600c6020526040812080548492906109c39084906112fb565b6004546001600160a01b0390811690851603610bd657600854600654610bcf91906113c4565b9050610f26565b6004546001600160a01b0390811690841603610f2357305f908152600c602052604090205460025483118015610c145750600954610100900460ff16155b15610f0b57600254811115610f0b57600354811115610c3257506003545b5f6008546002600754600654610c4891906113c4565b610c5291906113d7565b610c5c91906113c4565b600854610c6990846113f6565b610c7391906113d7565b90505f610c8082846112fb565b6009805461ff0019166101001790556040805160028082526060820183529293505f92909160208301908036833701905050905030815f81518110610cc757610cc761140d565b60200260200101906001600160a01b031690816001600160a01b0316815250507f000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc281600181518110610d1b57610d1b61140d565b6001600160a01b03928316602091820292909201015260055460405163791ac94760e01b81527f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d83169263791ac94792610d829287925f9288929116904290600401611464565b5f604051808303815f87803b158015610d99575f80fd5b505af1158015610dab573d5f803e3d5ffd5b505050505f831115610efc576001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d1663791ac947610df16002866113d7565b5f8430426040518663ffffffff1660e01b8152600401610e15959493929190611464565b5f604051808303815f87803b158015610e2c575f80fd5b505af1158015610e3e573d5f803e3d5ffd5b50479250506001600160a01b037f0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d16905063f305d7198230610e816002896113d7565b5f80610e945f546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610eb69695949392919061135e565b60606040518083038185885af1158015610ed2573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610ef79190611399565b505050505b50506009805461ff0019169055505b600854600754610f1b91906113c4565b915050610f26565b505f5b6001600160a01b0384165f908152600e602052604090205460ff16158015610fc8575f610f55868686866110f6565b6001600160a01b0386165f908152600c6020526040812080549293508392909190610f819084906113c4565b92505081905550846001600160a01b0316866001600160a01b03165f805160206114a083398151915283604051610fba91815260200190565b60405180910390a350611031565b6001600160a01b0384165f908152600c602052604081208054859290610fef9084906113c4565b92505081905550836001600160a01b0316856001600160a01b03165f805160206114a08339815191528560405161102891815260200190565b60405180910390a35b5050505050565b6001600160a01b03811661109d5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103d5565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b5f80606461110484866113f6565b61110e91906113d7565b90505f61111b82866112fb565b6001600160a01b0388165f908152600c60205260408120805492935087929091906111479084906112fb565b9091555050305f908152600c60205260408120805484929061116a9084906113c4565b909155505060405182815230906001600160a01b038916905f805160206114a08339815191529060200160405180910390a39695505050505050565b5f602080835283518060208501525f5b818110156111d2578581018301518582016040015282016111b6565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610572575f80fd5b5f8060408385031215611217575f80fd5b8235611222816111f2565b946020939093013593505050565b5f805f60608486031215611242575f80fd5b833561124d816111f2565b9250602084013561125d816111f2565b929592945050506040919091013590565b5f806040838503121561127f575f80fd5b50508035926020909101359150565b5f6020828403121561129e575f80fd5b81356112a9816111f2565b9392505050565b5f80604083850312156112c1575f80fd5b82356112cc816111f2565b915060208301356112dc816111f2565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610356576103566112e7565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611353575f80fd5b81516112a9816111f2565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f606084860312156113ab575f80fd5b8351925060208401519150604084015190509250925092565b80820180821115610356576103566112e7565b5f826113f157634e487b7160e01b5f52601260045260245ffd5b500490565b8082028115828204841417610356576103566112e7565b634e487b7160e01b5f52603260045260245ffd5b5f815180845260208085019450602084015f5b838110156114595781516001600160a01b031687529582019590820190600101611434565b509495945050505050565b85815284602082015260a060408201525f61148260a0830186611421565b6001600160a01b039490941660608301525060800152939250505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220bfe9b1627c088f4e575c7286bf7ae007acc9770714f60bdefa12a236e167505764736f6c63430008160033

3211:9544:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5133:83;;;;;;;;;;-1:-1:-1;5203:5:0;;;;;;;;;;;;-1:-1:-1;;;5203:5:0;;;;5133:83;;;;;;;:::i;:::-;;;;;;;;6043:193;;;;;;;;;;-1:-1:-1;6043:193:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6043:193:0;1023:187:1;5410:100:0;;;;;;;;;;-1:-1:-1;3299:14:0;5410:100;;;1361:25:1;;;1349:2;1334:18;5410:100:0;1215:177:1;6244:350:0;;;;;;;;;;-1:-1:-1;6244:350:0;;;;;:::i;:::-;;:::i;5319:83::-;;;;;;;;;;-1:-1:-1;5319:83:0;;3512:2;2000:36:1;;1988:2;1973:18;5319:83:0;1858:184:1;12145:136:0;;;;;;;;;;;;;:::i;:::-;;12487:224;;;;;;;;;;-1:-1:-1;12487:224:0;;;;;:::i;:::-;;:::i;5518:118::-;;;;;;;;;;-1:-1:-1;5518:118:0;;;;;:::i;:::-;-1:-1:-1;;;;;5611:17:0;5584:7;5611:17;;;:8;:17;;;;;;;5518:118;2163:148;;;;;;;;;;;;;:::i;1558:79::-;;;;;;;;;;-1:-1:-1;1596:7:0;1623:6;1558:79;;-1:-1:-1;;;;;1623:6:0;;;2698:51:1;;2686:2;2671:18;1558:79:0;2552:203:1;5224:87:0;;;;;;;;;;-1:-1:-1;5296:7:0;;;;;;;;;;;;-1:-1:-1;;;5296:7:0;;;;5224:87;;5644:199;;;;;;;;;;-1:-1:-1;5644:199:0;;;;;:::i;:::-;;:::i;12289:190::-;;;;;;;;;;;;;:::i;5851:184::-;;;;;;;;;;-1:-1:-1;5851:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;6000:18:0;;;5968:7;6000:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5851:184;1772:109;;;;;;;;;;-1:-1:-1;1772:109:0;;;;;:::i;:::-;;:::i;11575:562::-;;;;;;;;;;;;;:::i;6043:193::-;6145:4;6167:39;352:10;6190:7;6199:6;6167:8;:39::i;:::-;-1:-1:-1;6224:4:0;6043:193;;;;;:::o;6244:350::-;6376:4;6393:36;6403:6;6411:9;6422:6;6393:9;:36::i;:::-;-1:-1:-1;;;;;6511:19:0;;;;;;:11;:19;;;;;;;;352:10;6511:33;;;;;;;;;6440:124;;6463:6;;6511:42;;6547:6;;6511:42;:::i;:::-;6440:8;:124::i;:::-;-1:-1:-1;6582:4:0;6244:350;;;;;:::o;12145:136::-;1685:6;;-1:-1:-1;;;;;1685:6:0;352:10;1685:22;1677:67;;;;-1:-1:-1;;;1677:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;12198:10:0::1;:30:::0;;;12239:14:::1;:34:::0;12145:136::o;12487:224::-;1685:6;;-1:-1:-1;;;;;1685:6:0;352:10;1685:22;1677:67;;;;-1:-1:-1;;;1677:67:0;;;;;;;:::i;:::-;12597:11:::1;:21:::0;;;12629:12:::1;:23:::0;;;12682:2:::1;12671:13:::0;::::1;::::0;::::1;::::0;:31:::1;;;12700:2;12688:8;:14;;12671:31;12663:40;;;::::0;::::1;;12487:224:::0;;:::o;2163:148::-;1685:6;;-1:-1:-1;;;;;1685:6:0;352:10;1685:22;1677:67;;;;-1:-1:-1;;;1677:67:0;;;;;;;:::i;:::-;2270:1:::1;2254:6:::0;;2233:40:::1;::::0;-1:-1:-1;;;;;2254:6:0;;::::1;::::0;2233:40:::1;::::0;2270:1;;2233:40:::1;2301:1;2284:19:::0;;-1:-1:-1;;;;;;2284:19:0::1;::::0;;2163:148::o;5644:199::-;5749:4;5771:42;352:10;5795:9;5806:6;5771:9;:42::i;12289:190::-;1685:6;;-1:-1:-1;;;;;1685:6:0;352:10;1685:22;1677:67;;;;-1:-1:-1;;;1677:67:0;;;;;;;:::i;:::-;12347:14:::1;::::0;::::1;;:19:::0;12339:48:::1;;;::::0;-1:-1:-1;;;12339:48:0;;3981:2:1;12339:48:0::1;::::0;::::1;3963:21:1::0;4020:2;4000:18;;;3993:30;-1:-1:-1;;;4039:18:1;;;4032:46;4095:18;;12339:48:0::1;3779:340:1::0;12339:48:0::1;12398:14;:18:::0;;-1:-1:-1;;12398:18:0::1;12415:1;12398:18;::::0;;12441:2:::1;12427:11;:16:::0;12469:2:::1;12454:12;:17:::0;12289:190::o;1772:109::-;1685:6;;-1:-1:-1;;;;;1685:6:0;352:10;1685:22;1677:67;;;;-1:-1:-1;;;1677:67:0;;;;;;;:::i;:::-;1845:28:::1;1864:8;1845:18;:28::i;:::-;1772:109:::0;:::o;11575:562::-;1685:6;;-1:-1:-1;;;;;1685:6:0;352:10;1685:22;1677:67;;;;-1:-1:-1;;;1677:67:0;;;;;;;:::i;:::-;11635:14:::1;::::0;::::1;;:19:::0;11627:46:::1;;;::::0;-1:-1:-1;;;11627:46:0;;4326:2:1;11627:46:0::1;::::0;::::1;4308:21:1::0;4365:2;4345:18;;;4338:30;-1:-1:-1;;;4384:18:1;;;4377:44;4438:18;;11627:46:0::1;4124:338:1::0;11627:46:0::1;11713:10;-1:-1:-1::0;;;;;11713:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11695:108;::::0;-1:-1:-1;;;11695:108:0;;11768:4:::1;11695:108;::::0;::::1;4935:34:1::0;-1:-1:-1;;;;;11788:4:0::1;5005:15:1::0;;4985:18;;;4978:43;11695:50:0;;;::::1;::::0;::::1;::::0;4870:18:1;;11695:108:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11684:8;:119:::0;;-1:-1:-1;;;;;11684:119:0;;::::1;-1:-1:-1::0;;;;;;11684:119:0;;::::1;::::0;::::1;::::0;;;:8:::1;11814:35:::0;;;:16:::1;:35;::::0;;;;:42;;-1:-1:-1;;11814:42:0::1;11684:119:::0;11814:42:::1;::::0;;11890:21:::1;::::0;11922:10:::1;:26;;11890:21:::0;11990:4:::1;12010:24;11990:4:::0;-1:-1:-1;;;;;5611:17:0;5584:7;5611:17;;;:8;:17;;;;;;;5518:118;12010:24:::1;12049:1;12065::::0;12081:7:::1;1596::::0;1623:6;-1:-1:-1;;;;;1623:6:0;;1558:79;12081:7:::1;12103:15;11922:207;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11616:521;11575:562::o:0;6602:369::-;-1:-1:-1;;;;;6729:19:0;;6721:68;;;;-1:-1:-1;;;6721:68:0;;6157:2:1;6721:68:0;;;6139:21:1;6196:2;6176:18;;;6169:30;6235:34;6215:18;;;6208:62;-1:-1:-1;;;6286:18:1;;;6279:34;6330:19;;6721:68:0;5955:400:1;6721:68:0;-1:-1:-1;;;;;6808:21:0;;6800:68;;;;-1:-1:-1;;;6800:68:0;;6562:2:1;6800:68:0;;;6544:21:1;6601:2;6581:18;;;6574:30;6640:34;6620:18;;;6613:62;-1:-1:-1;;;6691:18:1;;;6684:32;6733:19;;6800:68:0;6360:398:1;6800:68:0;-1:-1:-1;;;;;6879:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6931:32;;1361:25:1;;;6931:32:0;;1334:18:1;6931:32:0;;;;;;;6602:369;;;:::o;6979:3970::-;-1:-1:-1;;;;;7101:18:0;;7093:68;;;;-1:-1:-1;;;7093:68:0;;6965:2:1;7093:68:0;;;6947:21:1;7004:2;6984:18;;;6977:30;7043:34;7023:18;;;7016:62;-1:-1:-1;;;7094:18:1;;;7087:35;7139:19;;7093:68:0;6763:401:1;7093:68:0;7174:12;-1:-1:-1;;;;;7201:21:0;;7217:4;7201:21;;:44;;-1:-1:-1;;;;;;7226:19:0;;7240:4;7226:19;7201:44;7197:207;;;-1:-1:-1;;;;;7262:14:0;;;;;;:8;:14;;;;;:24;;7280:6;;7262:14;:24;;7280:6;;7262:24;:::i;:::-;;;;-1:-1:-1;;;;;;;7301:12:0;;;;;;:8;:12;;;;;:22;;7317:6;;7301:12;:22;;7317:6;;7301:22;:::i;:::-;;;;;;;;7360:2;-1:-1:-1;;;;;7345:26:0;7354:4;-1:-1:-1;;;;;7345:26:0;-1:-1:-1;;;;;;;;;;;7364:6:0;7345:26;;;;1361:25:1;;1349:2;1334:18;;1215:177;7345:26:0;;;;;;;;7386:7;6979:3970;;;:::o;7197:207::-;-1:-1:-1;;;;;7419:23:0;;;;;;:17;:23;;;;;;;;7418:24;:50;;;;-1:-1:-1;;;;;;7447:21:0;;;;;;:17;:21;;;;;;;;7446:22;7418:50;7414:3130;;;7511:14;;;;:19;;;;:43;;;7544:10;;7534:6;:20;;7511:43;7485:136;;;;-1:-1:-1;;;7485:136:0;;7501:2:1;7485:136:0;;;7483:21:1;7540:2;7520:18;;;7513:30;7579:33;7559:18;;;7552:61;7630:18;;7485:136:0;7299:355:1;7485:136:0;-1:-1:-1;;;;;7641:20:0;;;;;;:16;:20;;;;;;;;7636:201;;7737:14;;-1:-1:-1;;;;;7712:12:0;;;;;;:8;:12;;;;;;:21;;7727:6;;7712:21;:::i;:::-;:39;;7682:139;;;;-1:-1:-1;;;7682:139:0;;7861:2:1;7682:139:0;;;7843:21:1;7900:2;7880:18;;;7873:30;7939:28;7919:18;;;7912:56;7985:18;;7682:139:0;7659:350:1;7682:139:0;7857:9;;;;;;;;:14;7853:232;;-1:-1:-1;;;;;7927:14:0;;;;;;:8;:14;;;;;:24;;7945:6;;7927:14;:24;;7945:6;;7927:24;:::i;7853:232::-;8113:8;;-1:-1:-1;;;;;8113:8:0;;;8105:16;;;;8101:2432;;8163:11;;8149;;:25;;;;:::i;:::-;8142:32;;8101:2432;;;8206:8;;-1:-1:-1;;;;;8206:8:0;;;8200:14;;;;8196:2337;;8283:4;8235:28;8266:23;;;:8;:23;;;;;;8321:14;;8312:23;;:41;;;;-1:-1:-1;8339:9:0;;;;;;;:14;8312:41;8308:2107;;;8405:14;;8382:20;:37;8378:2018;;;8475:14;;8452:20;:37;8448:139;;;-1:-1:-1;8545:14:0;;8448:139;8615:21;8745:11;;8740:1;8724:12;;8710:11;;:26;;;;:::i;:::-;8709:32;;;;:::i;:::-;8708:48;;;;:::i;:::-;8663:11;;8640:34;;:20;:34;:::i;:::-;8639:118;;;;:::i;:::-;8615:142;-1:-1:-1;8784:20:0;8807:36;8615:142;8807:20;:36;:::i;:::-;8872:9;:13;;-1:-1:-1;;8872:13:0;;;;;8936:16;;;8950:1;8936:16;;;;;;;;8784:59;;-1:-1:-1;;;8936:16:0;;;;;;;;;;;;-1:-1:-1;8936:16:0;8912:40;;8997:4;8979;8984:1;8979:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;8979:23:0;;;-1:-1:-1;;;;;8979:23:0;;;;;9039:4;9029;9034:1;9029:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;9029:14:0;;;:7;;;;;;;;;:14;9320:8;;9072:337;;-1:-1:-1;;;9072:337:0;;:10;:91;;;;;:337;;9198:12;;9245:1;;9281:4;;9320:8;;;9363:15;;9072:337;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9458:1;9442:13;:17;9438:895;;;-1:-1:-1;;;;;9492:10:0;:95;;9626:17;9642:1;9626:13;:17;:::i;:::-;9682:1;9722:4;9773;9817:15;9492:375;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9917:21:0;;-1:-1:-1;;;;;;;9969:10:0;:26;;-1:-1:-1;9969:26:0;9917:21;10053:4;10093:17;10109:1;10093:13;:17;:::i;:::-;10145:1;10181;10217:7;1596;1623:6;-1:-1:-1;;;;;1623:6:0;;1558:79;10217:7;10259:15;9969:336;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9461:872;9438:895;-1:-1:-1;;10359:9:0;:13;;-1:-1:-1;;10359:13:0;;;-1:-1:-1;8378:2018:0;10457:11;;10442:12;;:26;;;;:::i;:::-;10435:33;;8216:2268;8196:2337;;;-1:-1:-1;10516:1:0;8196:2337;-1:-1:-1;;;;;11090:23:0;;10556:13;11090:23;;;:17;:23;;;;;;;;11089:24;10612:330;;;;10669:22;10694:32;10703:4;10709:2;10713:6;10721:4;10694:8;:32::i;:::-;-1:-1:-1;;;;;10743:12:0;;;;;;:8;:12;;;;;:30;;10669:57;;-1:-1:-1;10669:57:0;;10743:12;;;:30;;10669:57;;10743:30;:::i;:::-;;;;;;;;10808:2;-1:-1:-1;;;;;10793:34:0;10802:4;-1:-1:-1;;;;;10793:34:0;-1:-1:-1;;;;;;;;;;;10812:14:0;10793:34;;;;1361:25:1;;1349:2;1334:18;;1215:177;10793:34:0;;;;;;;;10626:213;10612:330;;;-1:-1:-1;;;;;10860:12:0;;;;;;:8;:12;;;;;:22;;10876:6;;10860:12;:22;;10876:6;;10860:22;:::i;:::-;;;;;;;;10919:2;-1:-1:-1;;;;;10904:26:0;10913:4;-1:-1:-1;;;;;10904:26:0;-1:-1:-1;;;;;;;;;;;10923:6:0;10904:26;;;;1361:25:1;;1349:2;1334:18;;1215:177;10904:26:0;;;;;;;;10612:330;7082:3867;;6979:3970;;;:::o;1889:266::-;-1:-1:-1;;;;;1977:22:0;;1955:110;;;;-1:-1:-1;;;1955:110:0;;10527:2:1;1955:110:0;;;10509:21:1;10566:2;10546:18;;;10539:30;10605:34;10585:18;;;10578:62;-1:-1:-1;;;10656:18:1;;;10649:36;10702:19;;1955:110:0;10325:402:1;1955:110:0;2102:6;;;2081:38;;-1:-1:-1;;;;;2081:38:0;;;;2102:6;;;2081:38;;;2130:6;:17;;-1:-1:-1;;;;;;2130:17:0;-1:-1:-1;;;;;2130:17:0;;;;;;;;;;1889:266::o;11129:438::-;11267:7;;11328:3;11308:16;11317:7;11308:6;:16;:::i;:::-;11307:24;;;;:::i;:::-;11287:44;-1:-1:-1;11342:22:0;11367:18;11287:44;11367:6;:18;:::i;:::-;-1:-1:-1;;;;;11398:14:0;;;;;;:8;:14;;;;;:24;;11342:43;;-1:-1:-1;11416:6:0;;11398:14;;;:24;;11416:6;;11398:24;:::i;:::-;;;;-1:-1:-1;;11450:4:0;11433:23;;;;:8;:23;;;;;:36;;11460:9;;11433:23;:36;;11460:9;;11433:36;:::i;:::-;;;;-1:-1:-1;;11485:40:0;;1361:25:1;;;11508:4:0;;-1:-1:-1;;;;;11485:40:0;;;-1:-1:-1;;;;;;;;;;;11485:40:0;1349:2:1;1334:18;11485:40:0;;;;;;;11545:14;11129:438;-1:-1:-1;;;;;;11129:438:0:o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:248::-;2115:6;2123;2176:2;2164:9;2155:7;2151:23;2147:32;2144:52;;;2192:1;2189;2182:12;2144:52;-1:-1:-1;;2215:23:1;;;2285:2;2270:18;;;2257:32;;-1:-1:-1;2047:248:1:o;2300:247::-;2359:6;2412:2;2400:9;2391:7;2387:23;2383:32;2380:52;;;2428:1;2425;2418:12;2380:52;2467:9;2454:23;2486:31;2511:5;2486:31;:::i;:::-;2536:5;2300:247;-1:-1:-1;;;2300:247:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:128;3352:9;;;3373:11;;;3370:37;;;3387:18;;:::i;3418:356::-;3620:2;3602:21;;;3639:18;;;3632:30;3698:34;3693:2;3678:18;;3671:62;3765:2;3750:18;;3418:356::o;4467:251::-;4537:6;4590:2;4578:9;4569:7;4565:23;4561:32;4558:52;;;4606:1;4603;4596:12;4558:52;4638:9;4632:16;4657:31;4682:5;4657:31;:::i;5032:607::-;-1:-1:-1;;;;;5391:15:1;;;5373:34;;5438:2;5423:18;;5416:34;;;;5481:2;5466:18;;5459:34;;;;5524:2;5509:18;;5502:34;;;;5573:15;;;5567:3;5552:19;;5545:44;5353:3;5605:19;;5598:35;;;;5322:3;5307:19;;5032:607::o;5644:306::-;5732:6;5740;5748;5801:2;5789:9;5780:7;5776:23;5772:32;5769:52;;;5817:1;5814;5807:12;5769:52;5846:9;5840:16;5830:26;;5896:2;5885:9;5881:18;5875:25;5865:35;;5940:2;5929:9;5925:18;5919:25;5909:35;;5644:306;;;;;:::o;7169:125::-;7234:9;;;7255:10;;;7252:36;;;7268:18;;:::i;8014:217::-;8054:1;8080;8070:132;;8124:10;8119:3;8115:20;8112:1;8105:31;8159:4;8156:1;8149:15;8187:4;8184:1;8177:15;8070:132;-1:-1:-1;8216:9:1;;8014:217::o;8236:168::-;8309:9;;;8340;;8357:15;;;8351:22;;8337:37;8327:71;;8378:18;;:::i;8541:127::-;8602:10;8597:3;8593:20;8590:1;8583:31;8633:4;8630:1;8623:15;8657:4;8654:1;8647:15;8673:465;8726:3;8764:5;8758:12;8791:6;8786:3;8779:19;8817:4;8846;8841:3;8837:14;8830:21;;8885:4;8878:5;8874:16;8908:1;8918:195;8932:6;8929:1;8926:13;8918:195;;;8997:13;;-1:-1:-1;;;;;8993:39:1;8981:52;;9053:12;;;;9088:15;;;;9029:1;8947:9;8918:195;;;-1:-1:-1;9129:3:1;;8673:465;-1:-1:-1;;;;;8673:465:1:o;9143:590::-;9450:6;9439:9;9432:25;9493:6;9488:2;9477:9;9473:18;9466:34;9536:3;9531:2;9520:9;9516:18;9509:31;9413:4;9557:57;9609:3;9598:9;9594:19;9586:6;9557:57;:::i;:::-;-1:-1:-1;;;;;9650:32:1;;;;9645:2;9630:18;;9623:60;-1:-1:-1;9714:3:1;9699:19;9692:35;9549:65;9143:590;-1:-1:-1;;;9143:590:1:o

ipfs://bfe9b1627c088f4e575c7286bf7ae007acc9770714f60bdefa12a236e1675057