Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function isOwner(address account)    - function renounceOwnership() interface IDEXFactory    - function createPair(address tokenA, a ... interface IDEXRouter    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...  contract DevIsAI is ERC20, Ownable *    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function approve(address spender, uin ...    - function approveMax(address spender)    - function transfer(address recipient, ...    - function transferFrom(address sender, ...    - function _transferFrom(address sender ...    - function _basicTransfer(address sende ...    - function shouldTakeFee(address sender ...    - function takeFee(address sender, uint ...    - function shouldSwapBack()    - function swapBack()    - function buyTokens(uint256 amount, ad ...    - function clearStuckBalance()    - function setWalletLimit(uint256 amoun ...    - function setFee(uint256 _liquidityFee ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-01-30
*/

/**
https://www.devisai.com/

https://twitter.com/DevIsAIETH

https://t.me/DevAIPortal

*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.5;
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 ERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    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 Ownable {
    address internal owner;
    constructor(address _owner) {
        owner = _owner;
    }
    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER"); _;
    }
    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }
    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }  
    event OwnershipTransferred(address owner);
}

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

interface IDEXRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

contract DevIsAI is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Dev Is AI";
    string constant _symbol = "Dev";
    uint8 constant _decimals = 9;

    uint256 _totalSupply = 100_000_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 100) / 100;

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) _allowances;

    mapping (address => bool) isFeeExempt;
    mapping (address => bool) isTxLimitExempt;

    uint256 liquidityFee = 0; 
    uint256 marketingFee = 8;
    uint256 totalFee = liquidityFee + marketingFee;
    uint256 feeDenominator = 100;

    address public marketingFeeReceiver = 0x92Eae29e5dD1dC27578F9f9A4F65951bb29777C4;

    IDEXRouter public router;
    address public pair;

    bool public swapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 1000 * 2; // 0.2%
    bool inSwap;
    modifier swapping() { inSwap = true; _; inSwap = false; }

    constructor () Ownable(msg.sender) {
        router = IDEXRouter(routerAdress);
        pair = IDEXFactory(router.factory()).createPair(router.WETH(), address(this));
        _allowances[address(this)][address(router)] = type(uint256).max;

        address _owner = owner;
        isFeeExempt[0x92Eae29e5dD1dC27578F9f9A4F65951bb29777C4] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[0x92Eae29e5dD1dC27578F9f9A4F65951bb29777C4] = true;
        isTxLimitExempt[DEAD] = true;

        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    receive() external payable { }

    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }
    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) { return _balances[account]; }
    function allowance(address holder, address spender) external view override returns (uint256) { return _allowances[holder][spender]; }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function approveMax(address spender) external returns (bool) {
        return approve(spender, type(uint256).max);
    }

    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }

    function transferFrom(address sender, address recipient, uint256 amount) external override returns (bool) {
        if(_allowances[sender][msg.sender] != type(uint256).max){
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender].sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }

    function _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(inSwap){ return _basicTransfer(sender, recipient, amount); }
        
        if (recipient != pair && recipient != DEAD) {
            require(isTxLimitExempt[recipient] || _balances[recipient] + amount <= _maxWalletAmount, "Transfer amount exceeds the bag size.");
        }
        
        if(shouldSwapBack()){ swapBack(); } 

        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");

        uint256 amountReceived = shouldTakeFee(sender) ? takeFee(sender, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);

        emit Transfer(sender, recipient, amountReceived);
        return true;
    }
    
    function _basicTransfer(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }

    function shouldTakeFee(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }

    function takeFee(address sender, uint256 amount) internal returns (uint256) {
        uint256 feeAmount = amount.mul(totalFee).div(feeDenominator);
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        return amount.sub(feeAmount);
    }

    function shouldSwapBack() internal view returns (bool) {
        return msg.sender != pair
        && !inSwap
        && swapEnabled
        && _balances[address(this)] >= swapThreshold;
    }

    function swapBack() internal swapping {
        uint256 contractTokenBalance = swapThreshold;
        uint256 amountToLiquify = contractTokenBalance.mul(liquidityFee).div(totalFee).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(amountToLiquify);

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

        uint256 balanceBefore = address(this).balance;

        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amountETH = address(this).balance.sub(balanceBefore);
        uint256 totalETHFee = totalFee.sub(liquidityFee.div(2));
        uint256 amountETHLiquidity = amountETH.mul(liquidityFee).div(totalETHFee).div(2);
        uint256 amountETHMarketing = amountETH.mul(marketingFee).div(totalETHFee);


        (bool MarketingSuccess, /* bytes memory data */) = payable(marketingFeeReceiver).call{value: amountETHMarketing, gas: 30000}("");
        require(MarketingSuccess, "receiver rejected ETH transfer");

        if(amountToLiquify > 0){
            router.addLiquidityETH{value: amountETHLiquidity}(
                address(this),
                amountToLiquify,
                0,
                0,
                0x92Eae29e5dD1dC27578F9f9A4F65951bb29777C4,
                block.timestamp
            );
            emit AutoLiquify(amountETHLiquidity, amountToLiquify);
        }
    }

    function buyTokens(uint256 amount, address to) internal swapping {
        address[] memory path = new address[](2);
        path[0] = router.WETH();
        path[1] = address(this);

        router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(
            0,
            path,
            to,
            block.timestamp
        );
    }

    function clearStuckBalance() external {
        payable(marketingFeeReceiver).transfer(address(this).balance);
    }

    function setWalletLimit(uint256 amountPercent) external onlyOwner {
        _maxWalletAmount = (_totalSupply * amountPercent ) / 1000;
    }

    function setFee(uint256 _liquidityFee, uint256 _marketingFee) external onlyOwner {
         liquidityFee = _liquidityFee; 
         marketingFee = _marketingFee;
         totalFee = liquidityFee + marketingFee;
    }    
    
    event AutoLiquify(uint256 amountETH, uint256 amountBOG);
}

• 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":false,"internalType":"uint256","name":"amountETH","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountBOG","type":"uint256"}],"name":"AutoLiquify","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","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":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","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":"spender","type":"address"}],"name":"approveMax","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":"clearStuckBalance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketingFeeReceiver","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract IDEXRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidityFee","type":"uint256"},{"internalType":"uint256","name":"_marketingFee","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountPercent","type":"uint256"}],"name":"setWalletLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"view","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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a6200048a565b62000058906305f5e1006200054b565b600355606460035460646200006e91906200054b565b6200007a91906200041e565b600455600060098190556008600a819055620000969162000403565b600b556064600c55600d80546001600160a01b0319167392eae29e5dd1dc27578f9f9a4f65951bb29777c4179055600f805460ff60a01b1916600160a01b179055600354620000e9906103e8906200041e565b620000f69060026200054b565b6010553480156200010657600080fd5b5060008054336001600160a01b031991821617909155600154600e80546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a015591600480820192602092909190829003018186803b1580156200016e57600080fd5b505afa15801562000183573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001a99190620003d1565b6001600160a01b031663c9c65396600e60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156200020657600080fd5b505afa1580156200021b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002419190620003d1565b6040516001600160e01b031960e084901b1681526001600160a01b039091166004820152306024820152604401602060405180830381600087803b1580156200028957600080fd5b505af11580156200029e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002c49190620003d1565b600f80546001600160a01b0319166001600160a01b03928316179055306000908152600660209081526040808320600e54851684528252808320600019905582547fd9efac5ddb06183038c66c6a569318728ad3de72c29c6071f6030ec6aa2760ac805460ff1990811660019081179092559186168086526008855283862080548416831790557f2678b27886a95fff93a6b3e40e79708e717d6a02562b27a30041c1697aff1ac48054841683179055600254909616855282852080549092161790556003548484526005835281842081905590519081528392917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35062000583565b600060208284031215620003e457600080fd5b81516001600160a01b0381168114620003fc57600080fd5b9392505050565b600082198211156200041957620004196200056d565b500190565b6000826200043c57634e487b7160e01b600052601260045260246000fd5b500490565b600181815b80851115620004825781600019048211156200046657620004666200056d565b808516156200047457918102915b93841c939080029062000446565b509250929050565b6000620003fc60ff841683600082620004a65750600162000545565b81620004b55750600062000545565b8160018114620004ce5760028114620004d957620004f9565b600191505062000545565b60ff841115620004ed57620004ed6200056d565b50506001821b62000545565b5060208310610133831016604e8410600b84101617156200051e575081810a62000545565b6200052a838362000441565b80600019048211156200054157620005416200056d565b0290505b92915050565b60008160001904831182151516156200056857620005686200056d565b500290565b634e487b7160e01b600052601160045260246000fd5b6113bc80620005936000396000f3fe6080604052600436106101395760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b3114610390578063a9059cbb146103b0578063dd62ed3e146103d0578063e96fada214610416578063f1d5f51714610436578063f887ea401461045657600080fd5b80636ddd1713146102c657806370a08231146102e7578063715018a61461031d578063893d20e81461033257806395d89b411461036457600080fd5b80632f54bf6e116100fd5780632f54bf6e1461020e578063313ce5671461023d578063364333f41461025957806352f7c98814610270578063571ac8b0146102905780636c0a24eb146102b057600080fd5b80630445b6671461014557806306fdde031461016e578063095ea7b3146101a957806318160ddd146101d957806323b872dd146101ee57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5061015b60105481565b6040519081526020015b60405180910390f35b34801561017a57600080fd5b5060408051808201909152600981526844657620497320414960b81b60208201525b60405161016591906111ef565b3480156101b557600080fd5b506101c96101c436600461115a565b610476565b6040519015158152602001610165565b3480156101e557600080fd5b5060035461015b565b3480156101fa57600080fd5b506101c9610209366004611119565b6104e3565b34801561021a57600080fd5b506101c96102293660046110a6565b6000546001600160a01b0391821691161490565b34801561024957600080fd5b5060405160098152602001610165565b34801561026557600080fd5b5061026e6105a5565b005b34801561027c57600080fd5b5061026e61028b36600461119f565b6105e1565b34801561029c57600080fd5b506101c96102ab3660046110a6565b61062f565b3480156102bc57600080fd5b5061015b60045481565b3480156102d257600080fd5b50600f546101c990600160a01b900460ff1681565b3480156102f357600080fd5b5061015b6103023660046110a6565b6001600160a01b031660009081526005602052604090205490565b34801561032957600080fd5b5061026e61063d565b34801561033e57600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610165565b34801561037057600080fd5b506040805180820190915260038152622232bb60e91b602082015261019c565b34801561039c57600080fd5b50600f5461034c906001600160a01b031681565b3480156103bc57600080fd5b506101c96103cb36600461115a565b6106ac565b3480156103dc57600080fd5b5061015b6103eb3660046110e0565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561042257600080fd5b50600d5461034c906001600160a01b031681565b34801561044257600080fd5b5061026e610451366004611186565b6106b9565b34801561046257600080fd5b50600e5461034c906001600160a01b031681565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104d19086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260066020908152604080832033845290915281205460001914610590576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260068252838120338252909152919091205461056b918490610704565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b61059b84848461073e565b90505b9392505050565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f193505050501580156105de573d6000803e3d6000fd5b50565b6000546001600160a01b031633146106145760405162461bcd60e51b815260040161060b90611244565b60405180910390fd5b6009829055600a81905561062881836112d5565b600b555050565b60006104dd82600019610476565b6000546001600160a01b031633146106675760405162461bcd60e51b815260040161060b90611244565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061059e33848461073e565b6000546001600160a01b031633146106e35760405162461bcd60e51b815260040161060b90611244565b6103e8816003546106f4919061130f565b6106fe91906112ed565b60045550565b600081848411156107285760405162461bcd60e51b815260040161060b91906111ef565b506000610735848661132e565b95945050505050565b60115460009060ff161561075e57610757848484610968565b905061059e565b600f546001600160a01b0384811691161480159061078a57506002546001600160a01b03848116911614155b15610835576001600160a01b03831660009081526008602052604090205460ff16806107db57506004546001600160a01b0384166000908152600560205260409020546107d89084906112d5565b11155b6108355760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161060b565b61083d610a4e565b1561084a5761084a610aa6565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03871660009081526005909152919091205461089c918490610704565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff16156108d157826108db565b6108db8584610e70565b6001600160a01b0385166000908152600560205260409020549091506109019082610f16565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109559085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526005909152918220546109b9918490610704565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546109e89083610f16565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a3c9086815260200190565b60405180910390a35060019392505050565b600f546000906001600160a01b03163314801590610a6f575060115460ff16155b8015610a845750600f54600160a01b900460ff165b8015610aa157506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b54600954600091610ad991600291610ad39182908790610f75565b90610ff4565b90506000610ae78383611036565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b2157610b2161135b565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610b7557600080fd5b505afa158015610b89573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bad91906110c3565b81600181518110610bc057610bc061135b565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac94790610c0a908690600090879030904290600401611264565b600060405180830381600087803b158015610c2457600080fd5b505af1158015610c38573d6000803e3d6000fd5b505050506000610c51824761103690919063ffffffff16565b90506000610c77610c6e6002600954610ff490919063ffffffff16565b600b5490611036565b90506000610c996002610ad384610ad360095488610f7590919063ffffffff16565b90506000610cb683610ad3600a5487610f7590919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d0d576040519150601f19603f3d011682016040523d82523d6000602084013e610d12565b606091505b5050905080610d635760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161060b565b8815610e5a57600e5460405163f305d71960e01b8152306004820152602481018b905260006044820181905260648201527392eae29e5dd1dc27578f9f9a4f65951bb29777c460848201524260a48201526001600160a01b039091169063f305d71990859060c4016060604051808303818588803b158015610de457600080fd5b505af1158015610df8573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e1d91906111c1565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff191690555050505050505050565b600080610e8e600c54610ad3600b5486610f7590919063ffffffff16565b30600090815260056020526040902054909150610eab9082610f16565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610efc9085815260200190565b60405180910390a3610f0e8382611036565b949350505050565b600080610f2383856112d5565b90508381101561059e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161060b565b600082610f84575060006104dd565b6000610f90838561130f565b905082610f9d85836112ed565b1461059e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161060b565b600061059e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611078565b600061059e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610704565b600081836110995760405162461bcd60e51b815260040161060b91906111ef565b50600061073584866112ed565b6000602082840312156110b857600080fd5b813561059e81611371565b6000602082840312156110d557600080fd5b815161059e81611371565b600080604083850312156110f357600080fd5b82356110fe81611371565b9150602083013561110e81611371565b809150509250929050565b60008060006060848603121561112e57600080fd5b833561113981611371565b9250602084013561114981611371565b929592945050506040919091013590565b6000806040838503121561116d57600080fd5b823561117881611371565b946020939093013593505050565b60006020828403121561119857600080fd5b5035919050565b600080604083850312156111b257600080fd5b50508035926020909101359150565b6000806000606084860312156111d657600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561121c57858101830151858201604001528201611200565b8181111561122e576000604083870101525b50601f01601f1916929092016040019392505050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112b45784516001600160a01b03168352938301939183019160010161128f565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156112e8576112e8611345565b500190565b60008261130a57634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561132957611329611345565b500290565b60008282101561134057611340611345565b500390565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b03811681146105de57600080fdfea2646970667358221220f81c58c51482b1661b3a8cf4af86f1bda1b448c256ad95ed924898cf9598174964736f6c63430008050033

0x6080604052600436106101395760003560e01c80636ddd1713116100ab578063a8aa1b311161006f578063a8aa1b3114610390578063a9059cbb146103b0578063dd62ed3e146103d0578063e96fada214610416578063f1d5f51714610436578063f887ea401461045657600080fd5b80636ddd1713146102c657806370a08231146102e7578063715018a61461031d578063893d20e81461033257806395d89b411461036457600080fd5b80632f54bf6e116100fd5780632f54bf6e1461020e578063313ce5671461023d578063364333f41461025957806352f7c98814610270578063571ac8b0146102905780636c0a24eb146102b057600080fd5b80630445b6671461014557806306fdde031461016e578063095ea7b3146101a957806318160ddd146101d957806323b872dd146101ee57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5061015b60105481565b6040519081526020015b60405180910390f35b34801561017a57600080fd5b5060408051808201909152600981526844657620497320414960b81b60208201525b60405161016591906111ef565b3480156101b557600080fd5b506101c96101c436600461115a565b610476565b6040519015158152602001610165565b3480156101e557600080fd5b5060035461015b565b3480156101fa57600080fd5b506101c9610209366004611119565b6104e3565b34801561021a57600080fd5b506101c96102293660046110a6565b6000546001600160a01b0391821691161490565b34801561024957600080fd5b5060405160098152602001610165565b34801561026557600080fd5b5061026e6105a5565b005b34801561027c57600080fd5b5061026e61028b36600461119f565b6105e1565b34801561029c57600080fd5b506101c96102ab3660046110a6565b61062f565b3480156102bc57600080fd5b5061015b60045481565b3480156102d257600080fd5b50600f546101c990600160a01b900460ff1681565b3480156102f357600080fd5b5061015b6103023660046110a6565b6001600160a01b031660009081526005602052604090205490565b34801561032957600080fd5b5061026e61063d565b34801561033e57600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610165565b34801561037057600080fd5b506040805180820190915260038152622232bb60e91b602082015261019c565b34801561039c57600080fd5b50600f5461034c906001600160a01b031681565b3480156103bc57600080fd5b506101c96103cb36600461115a565b6106ac565b3480156103dc57600080fd5b5061015b6103eb3660046110e0565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b34801561042257600080fd5b50600d5461034c906001600160a01b031681565b34801561044257600080fd5b5061026e610451366004611186565b6106b9565b34801561046257600080fd5b50600e5461034c906001600160a01b031681565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104d19086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260066020908152604080832033845290915281205460001914610590576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260068252838120338252909152919091205461056b918490610704565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b61059b84848461073e565b90505b9392505050565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f193505050501580156105de573d6000803e3d6000fd5b50565b6000546001600160a01b031633146106145760405162461bcd60e51b815260040161060b90611244565b60405180910390fd5b6009829055600a81905561062881836112d5565b600b555050565b60006104dd82600019610476565b6000546001600160a01b031633146106675760405162461bcd60e51b815260040161060b90611244565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b600061059e33848461073e565b6000546001600160a01b031633146106e35760405162461bcd60e51b815260040161060b90611244565b6103e8816003546106f4919061130f565b6106fe91906112ed565b60045550565b600081848411156107285760405162461bcd60e51b815260040161060b91906111ef565b506000610735848661132e565b95945050505050565b60115460009060ff161561075e57610757848484610968565b905061059e565b600f546001600160a01b0384811691161480159061078a57506002546001600160a01b03848116911614155b15610835576001600160a01b03831660009081526008602052604090205460ff16806107db57506004546001600160a01b0384166000908152600560205260409020546107d89084906112d5565b11155b6108355760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161060b565b61083d610a4e565b1561084a5761084a610aa6565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03871660009081526005909152919091205461089c918490610704565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff16156108d157826108db565b6108db8584610e70565b6001600160a01b0385166000908152600560205260409020549091506109019082610f16565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109559085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526005909152918220546109b9918490610704565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546109e89083610f16565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a3c9086815260200190565b60405180910390a35060019392505050565b600f546000906001600160a01b03163314801590610a6f575060115460ff16155b8015610a845750600f54600160a01b900460ff165b8015610aa157506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b54600954600091610ad991600291610ad39182908790610f75565b90610ff4565b90506000610ae78383611036565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b2157610b2161135b565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610b7557600080fd5b505afa158015610b89573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bad91906110c3565b81600181518110610bc057610bc061135b565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac94790610c0a908690600090879030904290600401611264565b600060405180830381600087803b158015610c2457600080fd5b505af1158015610c38573d6000803e3d6000fd5b505050506000610c51824761103690919063ffffffff16565b90506000610c77610c6e6002600954610ff490919063ffffffff16565b600b5490611036565b90506000610c996002610ad384610ad360095488610f7590919063ffffffff16565b90506000610cb683610ad3600a5487610f7590919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d0d576040519150601f19603f3d011682016040523d82523d6000602084013e610d12565b606091505b5050905080610d635760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161060b565b8815610e5a57600e5460405163f305d71960e01b8152306004820152602481018b905260006044820181905260648201527392eae29e5dd1dc27578f9f9a4f65951bb29777c460848201524260a48201526001600160a01b039091169063f305d71990859060c4016060604051808303818588803b158015610de457600080fd5b505af1158015610df8573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e1d91906111c1565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff191690555050505050505050565b600080610e8e600c54610ad3600b5486610f7590919063ffffffff16565b30600090815260056020526040902054909150610eab9082610f16565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610efc9085815260200190565b60405180910390a3610f0e8382611036565b949350505050565b600080610f2383856112d5565b90508381101561059e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161060b565b600082610f84575060006104dd565b6000610f90838561130f565b905082610f9d85836112ed565b1461059e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161060b565b600061059e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611078565b600061059e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610704565b600081836110995760405162461bcd60e51b815260040161060b91906111ef565b50600061073584866112ed565b6000602082840312156110b857600080fd5b813561059e81611371565b6000602082840312156110d557600080fd5b815161059e81611371565b600080604083850312156110f357600080fd5b82356110fe81611371565b9150602083013561110e81611371565b809150509250929050565b60008060006060848603121561112e57600080fd5b833561113981611371565b9250602084013561114981611371565b929592945050506040919091013590565b6000806040838503121561116d57600080fd5b823561117881611371565b946020939093013593505050565b60006020828403121561119857600080fd5b5035919050565b600080604083850312156111b257600080fd5b50508035926020909101359150565b6000806000606084860312156111d657600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561121c57858101830151858201604001528201611200565b8181111561122e576000604083870101525b50601f01601f1916929092016040019392505050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112b45784516001600160a01b03168352938301939183019160010161128f565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156112e8576112e8611345565b500190565b60008261130a57634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561132957611329611345565b500290565b60008282101561134057611340611345565b500390565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b03811681146105de57600080fdfea2646970667358221220f81c58c51482b1661b3a8cf4af86f1bda1b448c256ad95ed924898cf9598174964736f6c63430008050033

4183:7745:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5190:54;;;;;;;;;;;;;;;;;;;6498:25:1;;;6486:2;6471:18;5190:54:0;;;;;;;;6275:80;;;;;;;;;;-1:-1:-1;6347:5:0;;;;;;;;;;;;-1:-1:-1;;;6347:5:0;;;;6275:80;;;;;;;:::i;6697:216::-;;;;;;;;;;-1:-1:-1;6697:216:0;;;;;:::i;:::-;;:::i;:::-;;;3640:14:1;;3633:22;3615:41;;3603:2;3588:18;6697:216:0;3570:92:1;6005:88:0;;;;;;;;;;-1:-1:-1;6078:12:0;;6005:88;;7215:370;;;;;;;;;;-1:-1:-1;7215:370:0;;;;;:::i;:::-;;:::i;2421:103::-;;;;;;;;;;-1:-1:-1;2421:103:0;;;;;:::i;:::-;2476:4;2511:5;-1:-1:-1;;;;;2500:16:0;;;2511:5;;2500:16;;2421:103;6099:80;;;;;;;;;;-1:-1:-1;6099:80:0;;4503:1;7914:36:1;;7902:2;7887:18;6099:80:0;7869:87:1;11357:118:0;;;;;;;;;;;;;:::i;:::-;;11633:220;;;;;;;;;;-1:-1:-1;11633:220:0;;;;;:::i;:::-;;:::i;6921:122::-;;;;;;;;;;-1:-1:-1;6921:122:0;;;;;:::i;:::-;;:::i;4574:60::-;;;;;;;;;;;;;;;;5153:30;;;;;;;;;;-1:-1:-1;5153:30:0;;;;-1:-1:-1;;;5153:30:0;;;;;;6445:105;;;;;;;;;;-1:-1:-1;6445:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;6529:18:0;6511:7;6529:18;;;:9;:18;;;;;;;6445:105;2530:131;;;;;;;;;;;;;:::i;6361:78::-;;;;;;;;;;-1:-1:-1;6413:7:0;6431:5;-1:-1:-1;;;;;6431:5:0;6361:78;;;-1:-1:-1;;;;;2819:32:1;;;2801:51;;2789:2;2774:18;6361:78:0;2756:102:1;6185:84:0;;;;;;;;;;-1:-1:-1;6259:7:0;;;;;;;;;;;;-1:-1:-1;;;6259:7:0;;;;6185:84;;5125:19;;;;;;;;;;-1:-1:-1;5125:19:0;;;;-1:-1:-1;;;;;5125:19:0;;;7051:156;;;;;;;;;;-1:-1:-1;7051:156:0;;;;;:::i;:::-;;:::i;6556:133::-;;;;;;;;;;-1:-1:-1;6556:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;6658:19:0;;;6640:7;6658:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;6556:133;5005:80;;;;;;;;;;-1:-1:-1;5005:80:0;;;;-1:-1:-1;;;;;5005:80:0;;;11483:142;;;;;;;;;;-1:-1:-1;11483:142:0;;;;;:::i;:::-;;:::i;5094:24::-;;;;;;;;;;-1:-1:-1;5094:24:0;;;;-1:-1:-1;;;;;5094:24:0;;;6697:216;6801:10;6772:4;6789:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;6789:32:0;;;;;;;;;;:41;;;6846:37;6772:4;;6789:32;;6846:37;;;;6824:6;6498:25:1;;6486:2;6471:18;;6453:76;6846:37:0;;;;;;;;-1:-1:-1;6901:4:0;6697:216;;;;;:::o;7215:370::-;-1:-1:-1;;;;;7335:19:0;;7315:4;7335:19;;;:11;:19;;;;;;;;7355:10;7335:31;;;;;;;;-1:-1:-1;;7335:52:0;7332:186;;7437:69;;;;;;;;;;;-1:-1:-1;;;7437:69:0;;;;;;;;-1:-1:-1;;;;;7437:19:0;;-1:-1:-1;7437:19:0;;;:11;:19;;;;;7457:10;7437:31;;;;;;;;;;:69;;7473:6;;7437:35;:69::i;:::-;-1:-1:-1;;;;;7403:19:0;;;;;;:11;:19;;;;;;;;7423:10;7403:31;;;;;;;:103;7332:186;7537:40;7551:6;7559:9;7570:6;7537:13;:40::i;:::-;7530:47;;7215:370;;;;;;:::o;11357:118::-;11414:20;;11406:61;;-1:-1:-1;;;;;11414:20:0;;;;11445:21;11406:61;;;;;11414:20;11406:61;11414:20;11406:61;11445:21;11414:20;11406:61;;;;;;;;;;;;;;;;;;;;;11357:118::o;11633:220::-;2476:4;2511:5;-1:-1:-1;;;;;2511:5:0;2382:10;2500:16;2366:38;;;;-1:-1:-1;;;2366:38:0;;;;;;;:::i;:::-;;;;;;;;;11726:12:::1;:28:::0;;;11767:12:::1;:28:::0;;;11818:27:::1;11782:13:::0;11741;11818:27:::1;:::i;:::-;11807:8;:38:::0;-1:-1:-1;;11633:220:0:o;6921:122::-;6976:4;7000:35;7008:7;-1:-1:-1;;7000:7:0;:35::i;2530:131::-;2476:4;2511:5;-1:-1:-1;;;;;2511:5:0;2382:10;2500:16;2366:38;;;;-1:-1:-1;;;2366:38:0;;;;;;;:::i;:::-;2603:1:::1;2587:18:::0;;-1:-1:-1;;;;;;2587:18:0::1;::::0;;2621:32:::1;::::0;2801:51:1;;;2621:32:0::1;::::0;2789:2:1;2774:18;2621:32:0::1;;;;;;;2530:131::o:0;7051:156::-;7131:4;7155:44;7169:10;7181:9;7192:6;7155:13;:44::i;11483:142::-;2476:4;2511:5;-1:-1:-1;;;;;2511:5:0;2382:10;2500:16;2366:38;;;;-1:-1:-1;;;2366:38:0;;;;;;;:::i;:::-;11613:4:::1;11595:13;11580:12;;:28;;;;:::i;:::-;11579:38;;;;:::i;:::-;11560:16;:57:::0;-1:-1:-1;11483:142:0:o;510:190::-;596:7;632:12;624:6;;;;616:29;;;;-1:-1:-1;;;616:29:0;;;;;;;;:::i;:::-;-1:-1:-1;656:9:0;668:5;672:1;668;:5;:::i;:::-;656:17;510:190;-1:-1:-1;;;;;510:190:0:o;7593:792::-;7705:6;;7685:4;;7705:6;;7702:63;;;7721:41;7736:6;7744:9;7755:6;7721:14;:41::i;:::-;7714:48;;;;7702:63;7802:4;;-1:-1:-1;;;;;7789:17:0;;;7802:4;;7789:17;;;;:38;;-1:-1:-1;7823:4:0;;-1:-1:-1;;;;;7810:17:0;;;7823:4;;7810:17;;7789:38;7785:200;;;-1:-1:-1;;;;;7852:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;7915:16:0;;-1:-1:-1;;;;;7882:20:0;;;;;;:9;:20;;;;;;:29;;7905:6;;7882:29;:::i;:::-;:49;;7852:79;7844:129;;;;-1:-1:-1;;;7844:129:0;;4697:2:1;7844:129:0;;;4679:21:1;4736:2;4716:18;;;4709:30;4775:34;4755:18;;;4748:62;-1:-1:-1;;;4826:18:1;;;4819:35;4871:19;;7844:129:0;4669:227:1;7844:129:0;8008:16;:14;:16::i;:::-;8005:35;;;8027:10;:8;:10::i;:::-;8073:53;;;;;;;;;;;-1:-1:-1;;;8073:53:0;;;;;;;;-1:-1:-1;;;;;8073:17:0;;-1:-1:-1;8073:17:0;;;:9;:17;;;;;;;;:53;;8095:6;;8073:21;:53::i;:::-;-1:-1:-1;;;;;8053:17:0;;;;;;:9;:17;;;;;;;;:73;;;;8822:11;:19;;;;;;;;8821:20;8164:56;;8214:6;8164:56;;;8188:23;8196:6;8204;8188:7;:23::i;:::-;-1:-1:-1;;;;;8254:20:0;;;;;;:9;:20;;;;;;8139:81;;-1:-1:-1;8254:40:0;;8139:81;8254:24;:40::i;:::-;-1:-1:-1;;;;;8231:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8312:43;;;;;;;;;;8340:14;6498:25:1;;6486:2;6471:18;;6453:76;8312:43:0;;;;;;;;-1:-1:-1;8373:4:0;;7593:792;-1:-1:-1;;;;7593:792:0:o;8397:330::-;8527:53;;;;;;;;;;;-1:-1:-1;;;8527:53:0;;;;;;;;-1:-1:-1;;;;;8527:17:0;;8490:4;8527:17;;;:9;:17;;;;;;;:53;;8549:6;;8527:21;:53::i;:::-;-1:-1:-1;;;;;8507:17:0;;;;;;;:9;:17;;;;;;:73;;;;8614:20;;;;;;;:32;;8639:6;8614:24;:32::i;:::-;-1:-1:-1;;;;;8591:20:0;;;;;;;:9;:20;;;;;;;:55;;;;8662:35;;;;;;;;;;8690:6;6498:25:1;;6486:2;6471:18;;6453:76;8662:35:0;;;;;;;;-1:-1:-1;8715:4:0;8397:330;;;;;:::o;9194:197::-;9281:4;;9243;;-1:-1:-1;;;;;9281:4:0;9267:10;:18;;;;:38;;-1:-1:-1;9299:6:0;;;;9298:7;9267:38;:62;;;;-1:-1:-1;9318:11:0;;-1:-1:-1;;;9318:11:0;;;;9267:62;:116;;;;-1:-1:-1;9370:13:0;;9360:4;9342:24;;;;:9;:24;;;;;;:41;;9267:116;9260:123;;9194:197;:::o;9399:1572::-;5299:6;:13;;-1:-1:-1;;5299:13:0;5308:4;5299:13;;;9479::::1;::::0;9572:8:::1;::::0;9554:12:::1;::::0;5299:6;;9529:59:::1;::::0;9586:1:::1;::::0;9529:52:::1;::::0;;;9479:13;;9529:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;9503:85:::0;-1:-1:-1;9599:20:0::1;9622:41;:20:::0;9503:85;9622:24:::1;:41::i;:::-;9700:16;::::0;;9714:1:::1;9700:16:::0;;;;;::::1;::::0;;9599:64;;-1:-1:-1;9676:21:0::1;::::0;9700:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9700:16:0::1;9676:40;;9745:4;9727;9732:1;9727:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9727:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9771:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;9771:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;9727:7;;9771:13;;;;;:6;:13;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9761:4;9766:1;9761:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9761:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;9855:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;9855:188:0;;9821:21:::1;::::0;9855:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;9927:12;;9797:21:::1;::::0;9970:4;;9997::::1;::::0;10017:15:::1;::::0;9855:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10054:17;10074:40;10100:13;10074:21;:25;;:40;;;;:::i;:::-;10054:60;;10125:19;10147:33;10160:19;10177:1;10160:12;;:16;;:19;;;;:::i;:::-;10147:8;::::0;;:12:::1;:33::i;:::-;10125:55;;10191:26;10220:51;10269:1;10220:44;10252:11;10220:27;10234:12;;10220:9;:13;;:27;;;;:::i;:51::-;10191:80;;10282:26;10311:44;10343:11;10311:27;10325:12;;10311:9;:13;;:27;;;;:::i;:44::-;10429:20;::::0;10421:77:::1;::::0;10282:73;;-1:-1:-1;10371:21:0::1;::::0;-1:-1:-1;;;;;10429:20:0;;::::1;::::0;10488:5:::1;::::0;10282:73;;10371:21;10421:77;10371:21;10421:77;10282:73;10429:20;10488:5;10421:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10370:128;;;10517:16;10509:59;;;::::0;-1:-1:-1;;;10509:59:0;;5459:2:1;10509:59:0::1;::::0;::::1;5441:21:1::0;5498:2;5478:18;;;5471:30;5537:32;5517:18;;;5510:60;5587:18;;10509:59:0::1;5431:180:1::0;10509:59:0::1;10584:19:::0;;10581:383:::1;;10619:6;::::0;:265:::1;::::0;-1:-1:-1;;;10619:265:0;;10695:4:::1;10619:265;::::0;::::1;3204:34:1::0;3254:18;;;3247:34;;;10619:6:0::1;3297:18:1::0;;;3290:34;;;3340:18;;;3333:34;10793:42:0::1;3383:19:1::0;;;3376:44;10854:15:0::1;3436:19:1::0;;;3429:35;-1:-1:-1;;;;;10619:6:0;;::::1;::::0;:22:::1;::::0;10649:18;;3138:19:1;;10619:265:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10904:48:0::1;::::0;;7693:25:1;;;7749:2;7734:18;;7727:34;;;10904:48:0::1;::::0;-1:-1:-1;7666:18:1;10904:48:0::1;;;;;;;10581:383;-1:-1:-1::0;;5317:6:0;:14;;-1:-1:-1;;5317:14:0;;;-1:-1:-1;;;;;;;;9399:1572:0:o;8857:329::-;8924:7;8944:17;8964:40;8989:14;;8964:20;8975:8;;8964:6;:10;;:20;;;;:::i;:40::-;9060:4;9042:24;;;;:9;:24;;;;;;8944:60;;-1:-1:-1;9042:39:0;;8944:60;9042:28;:39::i;:::-;9033:4;9015:24;;;;:9;:24;;;;;;;:66;;;;9097:42;;-1:-1:-1;;;;;9097:42:0;;;;;;;9129:9;6498:25:1;;6486:2;6471:18;;6453:76;9097:42:0;;;;;;;;9157:21;:6;9168:9;9157:10;:21::i;:::-;9150:28;8857:329;-1:-1:-1;;;;8857:329:0:o;183:179::-;241:7;;273:5;277:1;273;:5;:::i;:::-;261:17;;302:1;297;:6;;289:46;;;;-1:-1:-1;;;289:46:0;;5103:2:1;289:46:0;;;5085:21:1;5142:2;5122:18;;;5115:30;5181:29;5161:18;;;5154:57;5228:18;;289:46:0;5075:177:1;706:246:0;764:7;788:6;784:47;;-1:-1:-1;818:1:0;811:8;;784:47;841:9;853:5;857:1;853;:5;:::i;:::-;841:17;-1:-1:-1;886:1:0;877:5;881:1;841:17;877:5;:::i;:::-;:10;869:56;;;;-1:-1:-1;;;869:56:0;;5818:2:1;869:56:0;;;5800:21:1;5857:2;5837:18;;;5830:30;5896:34;5876:18;;;5869:62;-1:-1:-1;;;5947:18:1;;;5940:31;5988:19;;869:56:0;5790:223:1;958:132:0;1016:7;1043:39;1047:1;1050;1043:39;;;;;;;;;;;;;;;;;:3;:39::i;368:136::-;426:7;453:43;457:1;460;453:43;;;;;;;;;;;;;;;;;:3;:43::i;1096:189::-;1182:7;1217:12;1210:5;1202:28;;;;-1:-1:-1;;;1202:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1241:9:0;1253:5;1257:1;1253;:5;:::i;14:247:1:-;73:6;126:2;114:9;105:7;101:23;97:32;94:2;;;142:1;139;132:12;94:2;181:9;168:23;200:31;225:5;200:31;:::i;266:251::-;336:6;389:2;377:9;368:7;364:23;360:32;357:2;;;405:1;402;395:12;357:2;437:9;431:16;456:31;481:5;456:31;:::i;522:388::-;590:6;598;651:2;639:9;630:7;626:23;622:32;619:2;;;667:1;664;657:12;619:2;706:9;693:23;725:31;750:5;725:31;:::i;:::-;775:5;-1:-1:-1;832:2:1;817:18;;804:32;845:33;804:32;845:33;:::i;:::-;897:7;887:17;;;609:301;;;;;:::o;915:456::-;992:6;1000;1008;1061:2;1049:9;1040:7;1036:23;1032:32;1029:2;;;1077:1;1074;1067:12;1029:2;1116:9;1103:23;1135:31;1160:5;1135:31;:::i;:::-;1185:5;-1:-1:-1;1242:2:1;1227:18;;1214:32;1255:33;1214:32;1255:33;:::i;:::-;1019:352;;1307:7;;-1:-1:-1;;;1361:2:1;1346:18;;;;1333:32;;1019:352::o;1376:315::-;1444:6;1452;1505:2;1493:9;1484:7;1480:23;1476:32;1473:2;;;1521:1;1518;1511:12;1473:2;1560:9;1547:23;1579:31;1604:5;1579:31;:::i;:::-;1629:5;1681:2;1666:18;;;;1653:32;;-1:-1:-1;;;1463:228:1:o;1696:180::-;1755:6;1808:2;1796:9;1787:7;1783:23;1779:32;1776:2;;;1824:1;1821;1814:12;1776:2;-1:-1:-1;1847:23:1;;1766:110;-1:-1:-1;1766:110:1:o;1881:248::-;1949:6;1957;2010:2;1998:9;1989:7;1985:23;1981:32;1978:2;;;2026:1;2023;2016:12;1978:2;-1:-1:-1;;2049:23:1;;;2119:2;2104:18;;;2091:32;;-1:-1:-1;1968:161:1:o;2134:306::-;2222:6;2230;2238;2291:2;2279:9;2270:7;2266:23;2262:32;2259:2;;;2307:1;2304;2297:12;2259:2;2336:9;2330:16;2320:26;;2386:2;2375:9;2371:18;2365:25;2355:35;;2430:2;2419:9;2415:18;2409:25;2399:35;;2249:191;;;;;:::o;3893:597::-;4005:4;4034:2;4063;4052:9;4045:21;4095:6;4089:13;4138:6;4133:2;4122:9;4118:18;4111:34;4163:1;4173:140;4187:6;4184:1;4181:13;4173:140;;;4282:14;;;4278:23;;4272:30;4248:17;;;4267:2;4244:26;4237:66;4202:10;;4173:140;;;4331:6;4328:1;4325:13;4322:2;;;4401:1;4396:2;4387:6;4376:9;4372:22;4368:31;4361:42;4322:2;-1:-1:-1;4474:2:1;4453:15;-1:-1:-1;;4449:29:1;4434:45;;;;4481:2;4430:54;;4014:476;-1:-1:-1;;;4014:476:1:o;6018:329::-;6220:2;6202:21;;;6259:1;6239:18;;;6232:29;-1:-1:-1;;;6292:2:1;6277:18;;6270:36;6338:2;6323:18;;6192:155::o;6534:980::-;6796:4;6844:3;6833:9;6829:19;6875:6;6864:9;6857:25;6901:2;6939:6;6934:2;6923:9;6919:18;6912:34;6982:3;6977:2;6966:9;6962:18;6955:31;7006:6;7041;7035:13;7072:6;7064;7057:22;7110:3;7099:9;7095:19;7088:26;;7149:2;7141:6;7137:15;7123:29;;7170:1;7180:195;7194:6;7191:1;7188:13;7180:195;;;7259:13;;-1:-1:-1;;;;;7255:39:1;7243:52;;7350:15;;;;7315:12;;;;7291:1;7209:9;7180:195;;;-1:-1:-1;;;;;;;7431:32:1;;;;7426:2;7411:18;;7404:60;-1:-1:-1;;;7495:3:1;7480:19;7473:35;7392:3;6805:709;-1:-1:-1;;;6805:709:1:o;7961:128::-;8001:3;8032:1;8028:6;8025:1;8022:13;8019:2;;;8038:18;;:::i;:::-;-1:-1:-1;8074:9:1;;8009:80::o;8094:217::-;8134:1;8160;8150:2;;8204:10;8199:3;8195:20;8192:1;8185:31;8239:4;8236:1;8229:15;8267:4;8264:1;8257:15;8150:2;-1:-1:-1;8296:9:1;;8140:171::o;8316:168::-;8356:7;8422:1;8418;8414:6;8410:14;8407:1;8404:21;8399:1;8392:9;8385:17;8381:45;8378:2;;;8429:18;;:::i;:::-;-1:-1:-1;8469:9:1;;8368:116::o;8489:125::-;8529:4;8557:1;8554;8551:8;8548:2;;;8562:18;;:::i;:::-;-1:-1:-1;8599:9:1;;8538:76::o;8619:127::-;8680:10;8675:3;8671:20;8668:1;8661:31;8711:4;8708:1;8701:15;8735:4;8732:1;8725:15;8751:127;8812:10;8807:3;8803:20;8800:1;8793:31;8843:4;8840:1;8833:15;8867:4;8864:1;8857:15;9015:131;-1:-1:-1;;;;;9090:31:1;;9080:42;;9070:2;;9136:1;9133;9126:12

ipfs://f81c58c51482b1661b3a8cf4af86f1bda1b448c256ad95ed924898cf95981749