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 ZenithAI is ERC20, Ownabl ... *    - function blockBot(address botAddress, ...    - function isBotBlocked(address botAddr ...    - 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()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-04-12
*/

/*Looking for a competitive edge in your market?🤔 Look no further than ZenithAI!🌟
🤖 Our AI technology and ZK tech are designed to help you gain an advantage and achieve your business goals.💼📊"
  
Telegram:   https://t.me/ZenithAI

Website:    https://zenithai.xyz

Whitepaper: https://zenith-ai.gitbook.io/zenithai/

*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.19;
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 ZenithAI is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Zenith AI";
    string constant _symbol = "ZITH";
    uint8 constant _decimals = 9;

    uint256 _totalSupply = 1_000_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount;
    uint256 public _maxTxAmount;

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

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

    function blockBot(address botAddress, bool isBlocked) external onlyOwner {
        _blockedBots[botAddress] = isBlocked;
    }

    function isBotBlocked(address botAddress) public view returns (bool) {
        return _blockedBots[botAddress];
    }

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

    address public marketingFeeReceiver = 0x500704dC527061d394Bf7f7E5C9EFaefD0F2d2b0;

    IDEXRouter public router;
    address public pair;

    bool public swapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 1000 * 5; // 0.5%
    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[0x500704dC527061d394Bf7f7E5C9EFaefD0F2d2b0] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[0x500704dC527061d394Bf7f7E5C9EFaefD0F2d2b0] = true;
        isTxLimitExempt[DEAD] = true;

        _maxWalletAmount = _totalSupply.mul(4).div(100);
        _maxTxAmount = _totalSupply.mul(4).div(100);

        _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,
                0x500704dC527061d394Bf7f7E5C9EFaefD0F2d2b0,
                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);
    }

    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":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":[{"internalType":"address","name":"botAddress","type":"address"},{"internalType":"bool","name":"isBlocked","type":"bool"}],"name":"blockBot","outputs":[],"stateMutability":"nonpayable","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":"botAddress","type":"address"}],"name":"isBotBlocked","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":[],"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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a620005fe565b6200005790620f42406200060f565b6003556000600b8190556005600c819055620000739162000629565b600d556064600e55600f80546001600160a01b03191673500704dc527061d394bf7f7e5c9efaefd0f2d2b01790556011805460ff60a01b1916600160a01b179055600354620000c6906103e8906200063f565b620000d39060056200060f565b601255348015620000e357600080fd5b5060008054336001600160a01b031991821617909155600154601080546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000150573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000176919062000662565b6001600160a01b031663c9c65396601060009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001d8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001fe919062000662565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af11580156200024b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000271919062000662565b601180546001600160a01b0319166001600160a01b03928316179055306000908152600760209081526040808320601054851684528252808320600019905582547f441507f92a67a4145abc7d19ff3b6f9740029935b8249e8ae575a4e1cb5f8da2805460ff199081166001908117909255918616808652600990945282852080548316821790557f837831739c8830bf61ceaf1a33acf172b65ebfc61d32729ada9f88cecec592898054831682179055600254909516845292208054909216909217905560035462000355906064906200034e906004620003ce565b9062000465565b600490815560035462000370916064916200034e91620003ce565b6005556003546001600160a01b038216600081815260066020908152604080832085905551938452919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350620006dd565b600082600003620003e2575060006200045f565b6000620003f083856200060f565b905082620003ff85836200063f565b146200045c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b60006200045c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250620004af60201b60201c565b60008183620004d35760405162461bcd60e51b81526004016200045391906200068d565b506000620004e284866200063f565b95945050505050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000542578160001904821115620005265762000526620004eb565b808516156200053457918102915b93841c939080029062000506565b509250929050565b6000826200055b575060016200045f565b816200056a575060006200045f565b81600181146200058357600281146200058e57620005ae565b60019150506200045f565b60ff841115620005a257620005a2620004eb565b50506001821b6200045f565b5060208310610133831016604e8410600b8410161715620005d3575081810a6200045f565b620005df838362000501565b8060001904821115620005f657620005f6620004eb565b029392505050565b60006200045c60ff8416836200054a565b80820281158282048414176200045f576200045f620004eb565b808201808211156200045f576200045f620004eb565b6000826200065d57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200067557600080fd5b81516001600160a01b03811681146200045c57600080fd5b600060208083528351808285015260005b81811015620006bc578581018301518582016040015282016200069e565b506000604082860101526040601f19601f8301168501019250505092915050565b61138f80620006ed6000396000f3fe6080604052600436106101445760003560e01c80636ddd1713116100b657806395d89b411161006f57806395d89b41146103be578063a8aa1b31146103eb578063a9059cbb1461040b578063dd62ed3e1461042b578063e96fada214610471578063f887ea401461049157600080fd5b80636ddd1713146102ea57806370a082311461030b578063715018a6146103415780637d1db4a514610356578063893d20e81461036c5780638b5185911461039e57600080fd5b80632f54bf6e116101085780632f54bf6e14610219578063313ce56714610248578063364333f4146102645780633d56b3f01461027b578063571ac8b0146102b45780636c0a24eb146102d457600080fd5b80630445b6671461015057806306fdde0314610179578063095ea7b3146101b457806318160ddd146101e457806323b872dd146101f957600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061016660125481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b506040805180820190915260098152685a656e69746820414960b81b60208201525b60405161017091906110b9565b3480156101c057600080fd5b506101d46101cf36600461111c565b6104b1565b6040519015158152602001610170565b3480156101f057600080fd5b50600354610166565b34801561020557600080fd5b506101d4610214366004611148565b61051e565b34801561022557600080fd5b506101d4610234366004611189565b6000546001600160a01b0391821691161490565b34801561025457600080fd5b5060405160098152602001610170565b34801561027057600080fd5b506102796105e0565b005b34801561028757600080fd5b506101d4610296366004611189565b6001600160a01b03166000908152600a602052604090205460ff1690565b3480156102c057600080fd5b506101d46102cf366004611189565b61061c565b3480156102e057600080fd5b5061016660045481565b3480156102f657600080fd5b506011546101d490600160a01b900460ff1681565b34801561031757600080fd5b50610166610326366004611189565b6001600160a01b031660009081526006602052604090205490565b34801561034d57600080fd5b5061027961062a565b34801561036257600080fd5b5061016660055481565b34801561037857600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610170565b3480156103aa57600080fd5b506102796103b93660046111a6565b6106b7565b3480156103ca57600080fd5b506040805180820190915260048152630b492a8960e31b60208201526101a7565b3480156103f757600080fd5b50601154610386906001600160a01b031681565b34801561041757600080fd5b506101d461042636600461111c565b610725565b34801561043757600080fd5b506101666104463660046111e4565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b34801561047d57600080fd5b50600f54610386906001600160a01b031681565b34801561049d57600080fd5b50601054610386906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061050c9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146105cb576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546105a6918490610732565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6105d684848461076c565b90505b9392505050565b600f546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610619573d6000803e3d6000fd5b50565b6000610518826000196104b1565b6000546001600160a01b031633146106725760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146106fa5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b6044820152606401610669565b6001600160a01b03919091166000908152600a60205260409020805460ff1916911515919091179055565b60006105d933848461076c565b600081848411156107565760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611228565b95945050505050565b60135460009060ff161561078c57610785848484610996565b90506105d9565b6011546001600160a01b038481169116148015906107b857506002546001600160a01b03848116911614155b15610863576001600160a01b03831660009081526009602052604090205460ff168061080957506004546001600160a01b03841660009081526006602052604090205461080690849061123b565b11155b6108635760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610669565b61086b610a7c565b1561087857610878610ad4565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600690915291909120546108ca918490610732565b6001600160a01b038516600090815260066020908152604080832093909355600890529081205460ff16156108ff5782610909565b6109098584610e80565b6001600160a01b03851660009081526006602052604090205490915061092f9082610f26565b6001600160a01b0380861660008181526006602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109839085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109e7918490610732565b6001600160a01b038086166000908152600660205260408082209390935590851681522054610a169083610f26565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a6a9086815260200190565b60405180910390a35060019392505050565b6011546000906001600160a01b03163314801590610a9d575060135460ff16155b8015610ab25750601154600160a01b900460ff165b8015610acf57506012543060009081526006602052604090205410155b905090565b6013805460ff19166001179055601254600d54600b54600091610b0791600291610b019182908790610f85565b90611007565b90506000610b158383611049565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b4f57610b4f61124e565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ba8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bcc9190611264565b81600181518110610bdf57610bdf61124e565b6001600160a01b03928316602091820292909201015260105460405163791ac94760e01b81524792919091169063791ac94790610c29908690600090879030904290600401611281565b600060405180830381600087803b158015610c4357600080fd5b505af1158015610c57573d6000803e3d6000fd5b505050506000610c70824761104990919063ffffffff16565b90506000610c96610c8d6002600b5461100790919063ffffffff16565b600d5490611049565b90506000610cb86002610b0184610b01600b5488610f8590919063ffffffff16565b90506000610cd583610b01600c5487610f8590919063ffffffff16565b600f546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d2c576040519150601f19603f3d011682016040523d82523d6000602084013e610d31565b606091505b5050905080610d825760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610669565b8815610e6a5760105460405163f305d71960e01b8152306004820152602481018b9052600060448201819052606482015273500704dc527061d394bf7f7e5c9efaefd0f2d2b060848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610e08573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e2d91906112f2565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506013805460ff191690555050505050505050565b600080610e9e600e54610b01600d5486610f8590919063ffffffff16565b30600090815260066020526040902054909150610ebb9082610f26565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f0c9085815260200190565b60405180910390a3610f1e8382611049565b949350505050565b600080610f33838561123b565b9050838110156105d95760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610669565b600082600003610f9757506000610518565b6000610fa38385611320565b905082610fb08583611337565b146105d95760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610669565b60006105d983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061108b565b60006105d983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610732565b600081836110ac5760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611337565b600060208083528351808285015260005b818110156110e6578581018301518582016040015282016110ca565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461061957600080fd5b6000806040838503121561112f57600080fd5b823561113a81611107565b946020939093013593505050565b60008060006060848603121561115d57600080fd5b833561116881611107565b9250602084013561117881611107565b929592945050506040919091013590565b60006020828403121561119b57600080fd5b81356105d981611107565b600080604083850312156111b957600080fd5b82356111c481611107565b9150602083013580151581146111d957600080fd5b809150509250929050565b600080604083850312156111f757600080fd5b823561120281611107565b915060208301356111d981611107565b634e487b7160e01b600052601160045260246000fd5b8181038181111561051857610518611212565b8082018082111561051857610518611212565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561127657600080fd5b81516105d981611107565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112d15784516001600160a01b0316835293830193918301916001016112ac565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561130757600080fd5b8351925060208401519150604084015190509250925092565b808202811582820484141761051857610518611212565b60008261135457634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212204e7eafb7b0b91033e5521758370ee9498f8fdfa86a9b01a5686cccc0fabfb43164736f6c63430008130033

0x6080604052600436106101445760003560e01c80636ddd1713116100b657806395d89b411161006f57806395d89b41146103be578063a8aa1b31146103eb578063a9059cbb1461040b578063dd62ed3e1461042b578063e96fada214610471578063f887ea401461049157600080fd5b80636ddd1713146102ea57806370a082311461030b578063715018a6146103415780637d1db4a514610356578063893d20e81461036c5780638b5185911461039e57600080fd5b80632f54bf6e116101085780632f54bf6e14610219578063313ce56714610248578063364333f4146102645780633d56b3f01461027b578063571ac8b0146102b45780636c0a24eb146102d457600080fd5b80630445b6671461015057806306fdde0314610179578063095ea7b3146101b457806318160ddd146101e457806323b872dd146101f957600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061016660125481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b506040805180820190915260098152685a656e69746820414960b81b60208201525b60405161017091906110b9565b3480156101c057600080fd5b506101d46101cf36600461111c565b6104b1565b6040519015158152602001610170565b3480156101f057600080fd5b50600354610166565b34801561020557600080fd5b506101d4610214366004611148565b61051e565b34801561022557600080fd5b506101d4610234366004611189565b6000546001600160a01b0391821691161490565b34801561025457600080fd5b5060405160098152602001610170565b34801561027057600080fd5b506102796105e0565b005b34801561028757600080fd5b506101d4610296366004611189565b6001600160a01b03166000908152600a602052604090205460ff1690565b3480156102c057600080fd5b506101d46102cf366004611189565b61061c565b3480156102e057600080fd5b5061016660045481565b3480156102f657600080fd5b506011546101d490600160a01b900460ff1681565b34801561031757600080fd5b50610166610326366004611189565b6001600160a01b031660009081526006602052604090205490565b34801561034d57600080fd5b5061027961062a565b34801561036257600080fd5b5061016660055481565b34801561037857600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610170565b3480156103aa57600080fd5b506102796103b93660046111a6565b6106b7565b3480156103ca57600080fd5b506040805180820190915260048152630b492a8960e31b60208201526101a7565b3480156103f757600080fd5b50601154610386906001600160a01b031681565b34801561041757600080fd5b506101d461042636600461111c565b610725565b34801561043757600080fd5b506101666104463660046111e4565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b34801561047d57600080fd5b50600f54610386906001600160a01b031681565b34801561049d57600080fd5b50601054610386906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061050c9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146105cb576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546105a6918490610732565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6105d684848461076c565b90505b9392505050565b600f546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610619573d6000803e3d6000fd5b50565b6000610518826000196104b1565b6000546001600160a01b031633146106725760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146106fa5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b6044820152606401610669565b6001600160a01b03919091166000908152600a60205260409020805460ff1916911515919091179055565b60006105d933848461076c565b600081848411156107565760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611228565b95945050505050565b60135460009060ff161561078c57610785848484610996565b90506105d9565b6011546001600160a01b038481169116148015906107b857506002546001600160a01b03848116911614155b15610863576001600160a01b03831660009081526009602052604090205460ff168061080957506004546001600160a01b03841660009081526006602052604090205461080690849061123b565b11155b6108635760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610669565b61086b610a7c565b1561087857610878610ad4565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600690915291909120546108ca918490610732565b6001600160a01b038516600090815260066020908152604080832093909355600890529081205460ff16156108ff5782610909565b6109098584610e80565b6001600160a01b03851660009081526006602052604090205490915061092f9082610f26565b6001600160a01b0380861660008181526006602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109839085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109e7918490610732565b6001600160a01b038086166000908152600660205260408082209390935590851681522054610a169083610f26565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a6a9086815260200190565b60405180910390a35060019392505050565b6011546000906001600160a01b03163314801590610a9d575060135460ff16155b8015610ab25750601154600160a01b900460ff165b8015610acf57506012543060009081526006602052604090205410155b905090565b6013805460ff19166001179055601254600d54600b54600091610b0791600291610b019182908790610f85565b90611007565b90506000610b158383611049565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b4f57610b4f61124e565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ba8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bcc9190611264565b81600181518110610bdf57610bdf61124e565b6001600160a01b03928316602091820292909201015260105460405163791ac94760e01b81524792919091169063791ac94790610c29908690600090879030904290600401611281565b600060405180830381600087803b158015610c4357600080fd5b505af1158015610c57573d6000803e3d6000fd5b505050506000610c70824761104990919063ffffffff16565b90506000610c96610c8d6002600b5461100790919063ffffffff16565b600d5490611049565b90506000610cb86002610b0184610b01600b5488610f8590919063ffffffff16565b90506000610cd583610b01600c5487610f8590919063ffffffff16565b600f546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d2c576040519150601f19603f3d011682016040523d82523d6000602084013e610d31565b606091505b5050905080610d825760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610669565b8815610e6a5760105460405163f305d71960e01b8152306004820152602481018b9052600060448201819052606482015273500704dc527061d394bf7f7e5c9efaefd0f2d2b060848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610e08573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e2d91906112f2565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506013805460ff191690555050505050505050565b600080610e9e600e54610b01600d5486610f8590919063ffffffff16565b30600090815260066020526040902054909150610ebb9082610f26565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f0c9085815260200190565b60405180910390a3610f1e8382611049565b949350505050565b600080610f33838561123b565b9050838110156105d95760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610669565b600082600003610f9757506000610518565b6000610fa38385611320565b905082610fb08583611337565b146105d95760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610669565b60006105d983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061108b565b60006105d983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610732565b600081836110ac5760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611337565b600060208083528351808285015260005b818110156110e6578581018301518582016040015282016110ca565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461061957600080fd5b6000806040838503121561112f57600080fd5b823561113a81611107565b946020939093013593505050565b60008060006060848603121561115d57600080fd5b833561116881611107565b9250602084013561117881611107565b929592945050506040919091013590565b60006020828403121561119b57600080fd5b81356105d981611107565b600080604083850312156111b957600080fd5b82356111c481611107565b9150602083013580151581146111d957600080fd5b809150509250929050565b600080604083850312156111f757600080fd5b823561120281611107565b915060208301356111d981611107565b634e487b7160e01b600052601160045260246000fd5b8181038181111561051857610518611212565b8082018082111561051857610518611212565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561127657600080fd5b81516105d981611107565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112d15784516001600160a01b0316835293830193918301916001016112ac565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561130757600080fd5b8351925060208401519150604084015190509250925092565b808202811582820484141761051857610518611212565b60008261135457634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212204e7eafb7b0b91033e5521758370ee9498f8fdfa86a9b01a5686cccc0fabfb43164736f6c63430008130033

4427:7794:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5758:54;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5758:54:0;;;;;;;;6956:80;;;;;;;;;;-1:-1:-1;7028:5:0;;;;;;;;;;;;-1:-1:-1;;;7028:5:0;;;;6956:80;;;;;;;:::i;7378:216::-;;;;;;;;;;-1:-1:-1;7378:216:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;7378:216:0;1205:187:1;6686:88:0;;;;;;;;;;-1:-1:-1;6759:12:0;;6686:88;;7896:370;;;;;;;;;;-1:-1:-1;7896:370:0;;;;;:::i;:::-;;:::i;2667:103::-;;;;;;;;;;-1:-1:-1;2667:103:0;;;;;:::i;:::-;2722:4;2757:5;-1:-1:-1;;;;;2746:16:0;;;2757:5;;2746:16;;2667:103;6780:80;;;;;;;;;;-1:-1:-1;6780:80:0;;4749:1;2252:36:1;;2240:2;2225:18;6780:80:0;2110:184:1;12036:118:0;;;;;;;;;;;;;:::i;:::-;;5293:119;;;;;;;;;;-1:-1:-1;5293:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5380:24:0;5356:4;5380:24;;;:12;:24;;;;;;;;;5293:119;7602:122;;;;;;;;;;-1:-1:-1;7602:122:0;;;;;:::i;:::-;;:::i;4818:31::-;;;;;;;;;;;;;;;;5721:30;;;;;;;;;;-1:-1:-1;5721:30:0;;;;-1:-1:-1;;;5721:30:0;;;;;;7126:105;;;;;;;;;;-1:-1:-1;7126:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;7210:18:0;7192:7;7210:18;;;:9;:18;;;;;;;7126:105;2776:131;;;;;;;;;;;;;:::i;4856:27::-;;;;;;;;;;;;;;;;7042:78;;;;;;;;;;-1:-1:-1;7094:7:0;7112:5;-1:-1:-1;;;;;7112:5:0;7042:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;7042:78:0;2299:203:1;5157:128:0;;;;;;;;;;-1:-1:-1;5157:128:0;;;;;:::i;:::-;;:::i;6866:84::-;;;;;;;;;;-1:-1:-1;6940:7:0;;;;;;;;;;;;-1:-1:-1;;;6940:7:0;;;;6866:84;;5693:19;;;;;;;;;;-1:-1:-1;5693:19:0;;;;-1:-1:-1;;;;;5693:19:0;;;7732:156;;;;;;;;;;-1:-1:-1;7732:156:0;;;;;:::i;:::-;;:::i;7237:133::-;;;;;;;;;;-1:-1:-1;7237:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;7339:19:0;;;7321:7;7339:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;7237:133;5573:80;;;;;;;;;;-1:-1:-1;5573:80:0;;;;-1:-1:-1;;;;;5573:80:0;;;5662:24;;;;;;;;;;-1:-1:-1;5662:24:0;;;;-1:-1:-1;;;;;5662:24:0;;;7378:216;7482:10;7453:4;7470:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7470:32:0;;;;;;;;;;:41;;;7527:37;7453:4;;7470:32;;7527:37;;;;7505:6;160:25:1;;148:2;133:18;;14:177;7527:37:0;;;;;;;;-1:-1:-1;7582:4:0;7378:216;;;;;:::o;7896:370::-;-1:-1:-1;;;;;8016:19:0;;7996:4;8016:19;;;:11;:19;;;;;;;;8036:10;8016:31;;;;;;;;-1:-1:-1;;8016:52:0;8013:186;;8118:69;;;;;;;;;;;-1:-1:-1;;;8118:69:0;;;;;;;;-1:-1:-1;;;;;8118:19:0;;-1:-1:-1;8118:19:0;;;:11;:19;;;;;8138:10;8118:31;;;;;;;;;;:69;;8154:6;;8118:35;:69::i;:::-;-1:-1:-1;;;;;8084:19:0;;;;;;:11;:19;;;;;;;;8104:10;8084:31;;;;;;;:103;8013:186;8218:40;8232:6;8240:9;8251:6;8218:13;:40::i;:::-;8211:47;;7896:370;;;;;;:::o;12036:118::-;12093:20;;12085:61;;-1:-1:-1;;;;;12093:20:0;;;;12124:21;12085:61;;;;;12093:20;12085:61;12093:20;12085:61;12124:21;12093:20;12085:61;;;;;;;;;;;;;;;;;;;;;12036:118::o;7602:122::-;7657:4;7681:35;7689:7;-1:-1:-1;;7681:7:0;:35::i;2776:131::-;2722:4;2757:5;-1:-1:-1;;;;;2757:5:0;2628:10;2746:16;2612:38;;;;-1:-1:-1;;;2612:38:0;;3749:2:1;2612:38:0;;;3731:21:1;3788:1;3768:18;;;3761:29;-1:-1:-1;;;3806:18:1;;;3799:36;3852:18;;2612:38:0;;;;;;;;;2849:1:::1;2833:18:::0;;-1:-1:-1;;;;;;2833:18:0::1;::::0;;2867:32:::1;::::0;2445:51:1;;;2867:32:0::1;::::0;2433:2:1;2418:18;2867:32:0::1;;;;;;;2776:131::o:0;5157:128::-;2722:4;2757:5;-1:-1:-1;;;;;2757:5:0;2628:10;2746:16;2612:38;;;;-1:-1:-1;;;2612:38:0;;3749:2:1;2612:38:0;;;3731:21:1;3788:1;3768:18;;;3761:29;-1:-1:-1;;;3806:18:1;;;3799:36;3852:18;;2612:38:0;3547:329:1;2612:38:0;-1:-1:-1;;;;;5241:24:0;;;::::1;;::::0;;;:12:::1;:24;::::0;;;;:36;;-1:-1:-1;;5241:36:0::1;::::0;::::1;;::::0;;;::::1;::::0;;5157:128::o;7732:156::-;7812:4;7836:44;7850:10;7862:9;7873:6;7836:13;:44::i;756:190::-;842:7;878:12;870:6;;;;862:29;;;;-1:-1:-1;;;862:29:0;;;;;;;;:::i;:::-;-1:-1:-1;902:9:0;914:5;918:1;914;:5;:::i;:::-;902:17;756:190;-1:-1:-1;;;;;756:190:0:o;8274:792::-;8386:6;;8366:4;;8386:6;;8383:63;;;8402:41;8417:6;8425:9;8436:6;8402:14;:41::i;:::-;8395:48;;;;8383:63;8483:4;;-1:-1:-1;;;;;8470:17:0;;;8483:4;;8470:17;;;;:38;;-1:-1:-1;8504:4:0;;-1:-1:-1;;;;;8491:17:0;;;8504:4;;8491:17;;8470:38;8466:200;;;-1:-1:-1;;;;;8533:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;8596:16:0;;-1:-1:-1;;;;;8563:20:0;;;;;;:9;:20;;;;;;:29;;8586:6;;8563:29;:::i;:::-;:49;;8533:79;8525:129;;;;-1:-1:-1;;;8525:129:0;;4478:2:1;8525:129:0;;;4460:21:1;4517:2;4497:18;;;4490:30;4556:34;4536:18;;;4529:62;-1:-1:-1;;;4607:18:1;;;4600:35;4652:19;;8525:129:0;4276:401:1;8525:129:0;8689:16;:14;:16::i;:::-;8686:35;;;8708:10;:8;:10::i;:::-;8754:53;;;;;;;;;;;-1:-1:-1;;;8754:53:0;;;;;;;;-1:-1:-1;;;;;8754:17:0;;-1:-1:-1;8754:17:0;;;:9;:17;;;;;;;;:53;;8776:6;;8754:21;:53::i;:::-;-1:-1:-1;;;;;8734:17:0;;;;;;:9;:17;;;;;;;;:73;;;;9503:11;:19;;;;;;;;9502:20;8845:56;;8895:6;8845:56;;;8869:23;8877:6;8885;8869:7;:23::i;:::-;-1:-1:-1;;;;;8935:20:0;;;;;;:9;:20;;;;;;8820:81;;-1:-1:-1;8935:40:0;;8820:81;8935:24;:40::i;:::-;-1:-1:-1;;;;;8912:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8993:43;;;;;;;;;;9021:14;160:25:1;;148:2;133:18;;14:177;8993:43:0;;;;;;;;-1:-1:-1;9054:4:0;;8274:792;-1:-1:-1;;;;8274:792:0:o;9078:330::-;9208:53;;;;;;;;;;;-1:-1:-1;;;9208:53:0;;;;;;;;-1:-1:-1;;;;;9208:17:0;;9171:4;9208:17;;;:9;:17;;;;;;;:53;;9230:6;;9208:21;:53::i;:::-;-1:-1:-1;;;;;9188:17:0;;;;;;;:9;:17;;;;;;:73;;;;9295:20;;;;;;;:32;;9320:6;9295:24;:32::i;:::-;-1:-1:-1;;;;;9272:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9343:35;;;;;;;;;;9371:6;160:25:1;;148:2;133:18;;14:177;9343:35:0;;;;;;;;-1:-1:-1;9396:4:0;9078:330;;;;;:::o;9875:197::-;9962:4;;9924;;-1:-1:-1;;;;;9962:4:0;9948:10;:18;;;;:38;;-1:-1:-1;9980:6:0;;;;9979:7;9948:38;:62;;;;-1:-1:-1;9999:11:0;;-1:-1:-1;;;9999:11:0;;;;9948:62;:116;;;;-1:-1:-1;10051:13:0;;10041:4;10023:24;;;;:9;:24;;;;;;:41;;9948:116;9941:123;;9875:197;:::o;10078:1572::-;5867:6;:13;;-1:-1:-1;;5867:13:0;5876:4;5867:13;;;10158::::1;::::0;10251:8:::1;::::0;10233:12:::1;::::0;5867:6;;10208:59:::1;::::0;10265:1:::1;::::0;10208:52:::1;::::0;;;10158:13;;10208:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;10182:85:::0;-1:-1:-1;10278:20:0::1;10301:41;:20:::0;10182:85;10301:24:::1;:41::i;:::-;10379:16;::::0;;10393:1:::1;10379:16:::0;;;;;::::1;::::0;;10278:64;;-1:-1:-1;10355:21:0::1;::::0;10379:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10379:16:0::1;10355:40;;10424:4;10406;10411:1;10406:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10406:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10450:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;10450:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;10406:7;;10450:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10440:4;10445:1;10440:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10440:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;10534:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;10534:188:0;;10500:21:::1;::::0;10534:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;10606:12;;10476:21:::1;::::0;10649:4;;10676::::1;::::0;10696:15:::1;::::0;10534:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10733:17;10753:40;10779:13;10753:21;:25;;:40;;;;:::i;:::-;10733:60;;10804:19;10826:33;10839:19;10856:1;10839:12;;:16;;:19;;;;:::i;:::-;10826:8;::::0;;:12:::1;:33::i;:::-;10804:55;;10870:26;10899:51;10948:1;10899:44;10931:11;10899:27;10913:12;;10899:9;:13;;:27;;;;:::i;:51::-;10870:80;;10961:26;10990:44;11022:11;10990:27;11004:12;;10990:9;:13;;:27;;;;:::i;:44::-;11108:20;::::0;11100:77:::1;::::0;10961:73;;-1:-1:-1;11050:21:0::1;::::0;-1:-1:-1;;;;;11108:20:0;;::::1;::::0;11167:5:::1;::::0;10961:73;;11050:21;11100:77;11050:21;11100:77;10961:73;11108:20;11167:5;11100:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11049:128;;;11196:16;11188:59;;;::::0;-1:-1:-1;;;11188:59:0;;6599:2:1;11188:59:0::1;::::0;::::1;6581:21:1::0;6638:2;6618:18;;;6611:30;6677:32;6657:18;;;6650:60;6727:18;;11188:59:0::1;6397:354:1::0;11188:59:0::1;11263:19:::0;;11260:383:::1;;11298:6;::::0;:265:::1;::::0;-1:-1:-1;;;11298:265:0;;11374:4:::1;11298:265;::::0;::::1;7097:34:1::0;7147:18;;;7140:34;;;11298:6:0::1;7190:18:1::0;;;7183:34;;;7233:18;;;7226:34;11472:42:0::1;7276:19:1::0;;;7269:44;11533:15:0::1;7329:19:1::0;;;7322:35;-1:-1:-1;;;;;11298:6:0;;::::1;::::0;:22:::1;::::0;11328:18;;7031:19:1;;11298:265:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11583:48:0::1;::::0;;7853:25:1;;;7909:2;7894:18;;7887:34;;;11583:48:0::1;::::0;-1:-1:-1;7826:18:1;11583:48:0::1;;;;;;;11260:383;-1:-1:-1::0;;5885:6:0;:14;;-1:-1:-1;;5885:14:0;;;-1:-1:-1;;;;;;;;10078:1572:0:o;9538:329::-;9605:7;9625:17;9645:40;9670:14;;9645:20;9656:8;;9645:6;:10;;:20;;;;:::i;:40::-;9741:4;9723:24;;;;:9;:24;;;;;;9625:60;;-1:-1:-1;9723:39:0;;9625:60;9723:28;:39::i;:::-;9714:4;9696:24;;;;:9;:24;;;;;;;:66;;;;9778:42;;-1:-1:-1;;;;;9778:42:0;;;;;;;9810:9;160:25:1;;148:2;133:18;;14:177;9778:42:0;;;;;;;;9838:21;:6;9849:9;9838:10;:21::i;:::-;9831:28;9538:329;-1:-1:-1;;;;9538:329:0:o;429:179::-;487:7;;519:5;523:1;519;:5;:::i;:::-;507:17;;548:1;543;:6;;535:46;;;;-1:-1:-1;;;535:46:0;;8134:2:1;535:46:0;;;8116:21:1;8173:2;8153:18;;;8146:30;8212:29;8192:18;;;8185:57;8259:18;;535:46:0;7932:351:1;952:246:0;1010:7;1034:1;1039;1034:6;1030:47;;-1:-1:-1;1064:1:0;1057:8;;1030:47;1087:9;1099:5;1103:1;1099;:5;:::i;:::-;1087:17;-1:-1:-1;1132:1:0;1123:5;1127:1;1087:17;1123:5;:::i;:::-;:10;1115:56;;;;-1:-1:-1;;;1115:56:0;;8885:2:1;1115:56:0;;;8867:21:1;8924:2;8904:18;;;8897:30;8963:34;8943:18;;;8936:62;-1:-1:-1;;;9014:18:1;;;9007:31;9055:19;;1115:56:0;8683:397:1;1204:132:0;1262:7;1289:39;1293:1;1296;1289:39;;;;;;;;;;;;;;;;;:3;:39::i;614:136::-;672:7;699:43;703:1;706;699:43;;;;;;;;;;;;;;;;;:3;:43::i;1342:189::-;1428:7;1463:12;1456:5;1448:28;;;;-1:-1:-1;;;1448:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1487:9:0;1499:5;1503:1;1499;:5;:::i;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;885:315;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2507:416::-;2572:6;2580;2633:2;2621:9;2612:7;2608:23;2604:32;2601:52;;;2649:1;2646;2639:12;2601:52;2688:9;2675:23;2707:31;2732:5;2707:31;:::i;:::-;2757:5;-1:-1:-1;2814:2:1;2799:18;;2786:32;2856:15;;2849:23;2837:36;;2827:64;;2887:1;2884;2877:12;2827:64;2910:7;2900:17;;;2507:416;;;;;:::o;2928:388::-;2996:6;3004;3057:2;3045:9;3036:7;3032:23;3028:32;3025:52;;;3073:1;3070;3063:12;3025:52;3112:9;3099:23;3131:31;3156:5;3131:31;:::i;:::-;3181:5;-1:-1:-1;3238:2:1;3223:18;;3210:32;3251:33;3210:32;3251:33;:::i;3881:127::-;3942:10;3937:3;3933:20;3930:1;3923:31;3973:4;3970:1;3963:15;3997:4;3994:1;3987:15;4013:128;4080:9;;;4101:11;;;4098:37;;;4115:18;;:::i;4146:125::-;4211:9;;;4232:10;;;4229:36;;;4245:18;;:::i;4814:127::-;4875:10;4870:3;4866:20;4863:1;4856:31;4906:4;4903:1;4896:15;4930:4;4927:1;4920:15;4946:251;5016:6;5069:2;5057:9;5048:7;5044:23;5040:32;5037:52;;;5085:1;5082;5075:12;5037:52;5117:9;5111:16;5136:31;5161:5;5136:31;:::i;5202:980::-;5464:4;5512:3;5501:9;5497:19;5543:6;5532:9;5525:25;5569:2;5607:6;5602:2;5591:9;5587:18;5580:34;5650:3;5645:2;5634:9;5630:18;5623:31;5674:6;5709;5703:13;5740:6;5732;5725:22;5778:3;5767:9;5763:19;5756:26;;5817:2;5809:6;5805:15;5791:29;;5838:1;5848:195;5862:6;5859:1;5856:13;5848:195;;;5927:13;;-1:-1:-1;;;;;5923:39:1;5911:52;;6018:15;;;;5983:12;;;;5959:1;5877:9;5848:195;;;-1:-1:-1;;;;;;;6099:32:1;;;;6094:2;6079:18;;6072:60;-1:-1:-1;;;6163:3:1;6148:19;6141:35;6060:3;5202:980;-1:-1:-1;;;5202:980:1:o;7368:306::-;7456:6;7464;7472;7525:2;7513:9;7504:7;7500:23;7496:32;7493:52;;;7541:1;7538;7531:12;7493:52;7570:9;7564:16;7554:26;;7620:2;7609:9;7605:18;7599:25;7589:35;;7664:2;7653:9;7649:18;7643:25;7633:35;;7368:306;;;;;:::o;8288:168::-;8361:9;;;8392;;8409:15;;;8403:22;;8389:37;8379:71;;8430:18;;:::i;8461:217::-;8501:1;8527;8517:132;;8571:10;8566:3;8562:20;8559:1;8552:31;8606:4;8603:1;8596:15;8634:4;8631:1;8624:15;8517:132;-1:-1:-1;8663:9:1;;8461:217::o

ipfs://4e7eafb7b0b91033e5521758370ee9498f8fdfa86a9b01a5686cccc0fabfb431