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-11
*/

/*Zenith AI is a platform that uses artificial intelligence and ZK technology to create
  high-quality content quickly and efficiently.
  
Telegram:   https://t.me/zenithportal
Website:    https://zenithai.xyz
Whitepaper: https://zenith-ai.gitbook.io/zenithai/
Twitter:    https://twitter.com/zenithaierc
*/

// 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 = 0xbE6B164f0Dbc702E5ED0718f7Bf8bd583308ae6D;

    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[0xbE6B164f0Dbc702E5ED0718f7Bf8bd583308ae6D] = true;
        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[0xbE6B164f0Dbc702E5ED0718f7Bf8bd583308ae6D] = 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,
                0xbE6B164f0Dbc702E5ED0718f7Bf8bd583308ae6D,
                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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a620005fe565b6200005790620f42406200060f565b6003556000600b8190556005600c819055620000739162000629565b600d556064600e55600f80546001600160a01b03191673be6b164f0dbc702e5ed0718f7bf8bd583308ae6d1790556011805460ff60a01b1916600160a01b179055600354620000c6906103e8906200063f565b620000d39060056200060f565b601255348015620000e357600080fd5b5060008054336001600160a01b031991821617909155600154601080546001600160a01b039092169190921681179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000150573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000176919062000662565b6001600160a01b031663c9c65396601060009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001d8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001fe919062000662565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af11580156200024b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000271919062000662565b601180546001600160a01b0319166001600160a01b03928316179055306000908152600760209081526040808320601054851684528252808320600019905582547fdaf3ff710afef5867a5ef816fce143efb7ac103b8014eb74a37e6394c229b3ed805460ff199081166001908117909255918616808652600990945282852080548316821790557f914d7ccfdcc9de26206628e7c45512bca9e706bcdbe5ae9b97dfabe363220f098054831682179055600254909516845292208054909216909217905560035462000355906064906200034e906004620003ce565b9062000465565b600490815560035462000370916064916200034e91620003ce565b6005556003546001600160a01b038216600081815260066020908152604080832085905551938452919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350620006dd565b600082600003620003e2575060006200045f565b6000620003f083856200060f565b905082620003ff85836200063f565b146200045c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b60006200045c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250620004af60201b60201c565b60008183620004d35760405162461bcd60e51b81526004016200045391906200068d565b506000620004e284866200063f565b95945050505050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000542578160001904821115620005265762000526620004eb565b808516156200053457918102915b93841c939080029062000506565b509250929050565b6000826200055b575060016200045f565b816200056a575060006200045f565b81600181146200058357600281146200058e57620005ae565b60019150506200045f565b60ff841115620005a257620005a2620004eb565b50506001821b6200045f565b5060208310610133831016604e8410600b8410161715620005d3575081810a6200045f565b620005df838362000501565b8060001904821115620005f657620005f6620004eb565b029392505050565b60006200045c60ff8416836200054a565b80820281158282048414176200045f576200045f620004eb565b808201808211156200045f576200045f620004eb565b6000826200065d57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200067557600080fd5b81516001600160a01b03811681146200045c57600080fd5b600060208083528351808285015260005b81811015620006bc578581018301518582016040015282016200069e565b506000604082860101526040601f19601f8301168501019250505092915050565b61138f80620006ed6000396000f3fe6080604052600436106101445760003560e01c80636ddd1713116100b657806395d89b411161006f57806395d89b41146103be578063a8aa1b31146103eb578063a9059cbb1461040b578063dd62ed3e1461042b578063e96fada214610471578063f887ea401461049157600080fd5b80636ddd1713146102ea57806370a082311461030b578063715018a6146103415780637d1db4a514610356578063893d20e81461036c5780638b5185911461039e57600080fd5b80632f54bf6e116101085780632f54bf6e14610219578063313ce56714610248578063364333f4146102645780633d56b3f01461027b578063571ac8b0146102b45780636c0a24eb146102d457600080fd5b80630445b6671461015057806306fdde0314610179578063095ea7b3146101b457806318160ddd146101e457806323b872dd146101f957600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061016660125481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b506040805180820190915260098152685a656e69746820414960b81b60208201525b60405161017091906110b9565b3480156101c057600080fd5b506101d46101cf36600461111c565b6104b1565b6040519015158152602001610170565b3480156101f057600080fd5b50600354610166565b34801561020557600080fd5b506101d4610214366004611148565b61051e565b34801561022557600080fd5b506101d4610234366004611189565b6000546001600160a01b0391821691161490565b34801561025457600080fd5b5060405160098152602001610170565b34801561027057600080fd5b506102796105e0565b005b34801561028757600080fd5b506101d4610296366004611189565b6001600160a01b03166000908152600a602052604090205460ff1690565b3480156102c057600080fd5b506101d46102cf366004611189565b61061c565b3480156102e057600080fd5b5061016660045481565b3480156102f657600080fd5b506011546101d490600160a01b900460ff1681565b34801561031757600080fd5b50610166610326366004611189565b6001600160a01b031660009081526006602052604090205490565b34801561034d57600080fd5b5061027961062a565b34801561036257600080fd5b5061016660055481565b34801561037857600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610170565b3480156103aa57600080fd5b506102796103b93660046111a6565b6106b7565b3480156103ca57600080fd5b506040805180820190915260048152630b492a8960e31b60208201526101a7565b3480156103f757600080fd5b50601154610386906001600160a01b031681565b34801561041757600080fd5b506101d461042636600461111c565b610725565b34801561043757600080fd5b506101666104463660046111e4565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b34801561047d57600080fd5b50600f54610386906001600160a01b031681565b34801561049d57600080fd5b50601054610386906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061050c9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146105cb576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546105a6918490610732565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6105d684848461076c565b90505b9392505050565b600f546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610619573d6000803e3d6000fd5b50565b6000610518826000196104b1565b6000546001600160a01b031633146106725760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146106fa5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b6044820152606401610669565b6001600160a01b03919091166000908152600a60205260409020805460ff1916911515919091179055565b60006105d933848461076c565b600081848411156107565760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611228565b95945050505050565b60135460009060ff161561078c57610785848484610996565b90506105d9565b6011546001600160a01b038481169116148015906107b857506002546001600160a01b03848116911614155b15610863576001600160a01b03831660009081526009602052604090205460ff168061080957506004546001600160a01b03841660009081526006602052604090205461080690849061123b565b11155b6108635760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610669565b61086b610a7c565b1561087857610878610ad4565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600690915291909120546108ca918490610732565b6001600160a01b038516600090815260066020908152604080832093909355600890529081205460ff16156108ff5782610909565b6109098584610e80565b6001600160a01b03851660009081526006602052604090205490915061092f9082610f26565b6001600160a01b0380861660008181526006602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109839085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109e7918490610732565b6001600160a01b038086166000908152600660205260408082209390935590851681522054610a169083610f26565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a6a9086815260200190565b60405180910390a35060019392505050565b6011546000906001600160a01b03163314801590610a9d575060135460ff16155b8015610ab25750601154600160a01b900460ff165b8015610acf57506012543060009081526006602052604090205410155b905090565b6013805460ff19166001179055601254600d54600b54600091610b0791600291610b019182908790610f85565b90611007565b90506000610b158383611049565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b4f57610b4f61124e565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ba8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bcc9190611264565b81600181518110610bdf57610bdf61124e565b6001600160a01b03928316602091820292909201015260105460405163791ac94760e01b81524792919091169063791ac94790610c29908690600090879030904290600401611281565b600060405180830381600087803b158015610c4357600080fd5b505af1158015610c57573d6000803e3d6000fd5b505050506000610c70824761104990919063ffffffff16565b90506000610c96610c8d6002600b5461100790919063ffffffff16565b600d5490611049565b90506000610cb86002610b0184610b01600b5488610f8590919063ffffffff16565b90506000610cd583610b01600c5487610f8590919063ffffffff16565b600f546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d2c576040519150601f19603f3d011682016040523d82523d6000602084013e610d31565b606091505b5050905080610d825760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610669565b8815610e6a5760105460405163f305d71960e01b8152306004820152602481018b9052600060448201819052606482015273be6b164f0dbc702e5ed0718f7bf8bd583308ae6d60848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610e08573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e2d91906112f2565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506013805460ff191690555050505050505050565b600080610e9e600e54610b01600d5486610f8590919063ffffffff16565b30600090815260066020526040902054909150610ebb9082610f26565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f0c9085815260200190565b60405180910390a3610f1e8382611049565b949350505050565b600080610f33838561123b565b9050838110156105d95760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610669565b600082600003610f9757506000610518565b6000610fa38385611320565b905082610fb08583611337565b146105d95760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610669565b60006105d983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061108b565b60006105d983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610732565b600081836110ac5760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611337565b600060208083528351808285015260005b818110156110e6578581018301518582016040015282016110ca565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461061957600080fd5b6000806040838503121561112f57600080fd5b823561113a81611107565b946020939093013593505050565b60008060006060848603121561115d57600080fd5b833561116881611107565b9250602084013561117881611107565b929592945050506040919091013590565b60006020828403121561119b57600080fd5b81356105d981611107565b600080604083850312156111b957600080fd5b82356111c481611107565b9150602083013580151581146111d957600080fd5b809150509250929050565b600080604083850312156111f757600080fd5b823561120281611107565b915060208301356111d981611107565b634e487b7160e01b600052601160045260246000fd5b8181038181111561051857610518611212565b8082018082111561051857610518611212565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561127657600080fd5b81516105d981611107565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112d15784516001600160a01b0316835293830193918301916001016112ac565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561130757600080fd5b8351925060208401519150604084015190509250925092565b808202811582820484141761051857610518611212565b60008261135457634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212206399bec644202eb074b78ad83bba2ae5654da4dd8b8a4bba965de774459a254d64736f6c63430008130033

0x6080604052600436106101445760003560e01c80636ddd1713116100b657806395d89b411161006f57806395d89b41146103be578063a8aa1b31146103eb578063a9059cbb1461040b578063dd62ed3e1461042b578063e96fada214610471578063f887ea401461049157600080fd5b80636ddd1713146102ea57806370a082311461030b578063715018a6146103415780637d1db4a514610356578063893d20e81461036c5780638b5185911461039e57600080fd5b80632f54bf6e116101085780632f54bf6e14610219578063313ce56714610248578063364333f4146102645780633d56b3f01461027b578063571ac8b0146102b45780636c0a24eb146102d457600080fd5b80630445b6671461015057806306fdde0314610179578063095ea7b3146101b457806318160ddd146101e457806323b872dd146101f957600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b5061016660125481565b6040519081526020015b60405180910390f35b34801561018557600080fd5b506040805180820190915260098152685a656e69746820414960b81b60208201525b60405161017091906110b9565b3480156101c057600080fd5b506101d46101cf36600461111c565b6104b1565b6040519015158152602001610170565b3480156101f057600080fd5b50600354610166565b34801561020557600080fd5b506101d4610214366004611148565b61051e565b34801561022557600080fd5b506101d4610234366004611189565b6000546001600160a01b0391821691161490565b34801561025457600080fd5b5060405160098152602001610170565b34801561027057600080fd5b506102796105e0565b005b34801561028757600080fd5b506101d4610296366004611189565b6001600160a01b03166000908152600a602052604090205460ff1690565b3480156102c057600080fd5b506101d46102cf366004611189565b61061c565b3480156102e057600080fd5b5061016660045481565b3480156102f657600080fd5b506011546101d490600160a01b900460ff1681565b34801561031757600080fd5b50610166610326366004611189565b6001600160a01b031660009081526006602052604090205490565b34801561034d57600080fd5b5061027961062a565b34801561036257600080fd5b5061016660055481565b34801561037857600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610170565b3480156103aa57600080fd5b506102796103b93660046111a6565b6106b7565b3480156103ca57600080fd5b506040805180820190915260048152630b492a8960e31b60208201526101a7565b3480156103f757600080fd5b50601154610386906001600160a01b031681565b34801561041757600080fd5b506101d461042636600461111c565b610725565b34801561043757600080fd5b506101666104463660046111e4565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b34801561047d57600080fd5b50600f54610386906001600160a01b031681565b34801561049d57600080fd5b50601054610386906001600160a01b031681565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061050c9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600760209081526040808320338452909152812054600019146105cb576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526007825283812033825290915291909120546105a6918490610732565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b6105d684848461076c565b90505b9392505050565b600f546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610619573d6000803e3d6000fd5b50565b6000610518826000196104b1565b6000546001600160a01b031633146106725760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b60448201526064015b60405180910390fd5b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146106fa5760405162461bcd60e51b815260206004820152600660248201526510a7aba722a960d11b6044820152606401610669565b6001600160a01b03919091166000908152600a60205260409020805460ff1916911515919091179055565b60006105d933848461076c565b600081848411156107565760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611228565b95945050505050565b60135460009060ff161561078c57610785848484610996565b90506105d9565b6011546001600160a01b038481169116148015906107b857506002546001600160a01b03848116911614155b15610863576001600160a01b03831660009081526009602052604090205460ff168061080957506004546001600160a01b03841660009081526006602052604090205461080690849061123b565b11155b6108635760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610669565b61086b610a7c565b1561087857610878610ad4565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0387166000908152600690915291909120546108ca918490610732565b6001600160a01b038516600090815260066020908152604080832093909355600890529081205460ff16156108ff5782610909565b6109098584610e80565b6001600160a01b03851660009081526006602052604090205490915061092f9082610f26565b6001600160a01b0380861660008181526006602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109839085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546109e7918490610732565b6001600160a01b038086166000908152600660205260408082209390935590851681522054610a169083610f26565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a6a9086815260200190565b60405180910390a35060019392505050565b6011546000906001600160a01b03163314801590610a9d575060135460ff16155b8015610ab25750601154600160a01b900460ff165b8015610acf57506012543060009081526006602052604090205410155b905090565b6013805460ff19166001179055601254600d54600b54600091610b0791600291610b019182908790610f85565b90611007565b90506000610b158383611049565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610b4f57610b4f61124e565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ba8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bcc9190611264565b81600181518110610bdf57610bdf61124e565b6001600160a01b03928316602091820292909201015260105460405163791ac94760e01b81524792919091169063791ac94790610c29908690600090879030904290600401611281565b600060405180830381600087803b158015610c4357600080fd5b505af1158015610c57573d6000803e3d6000fd5b505050506000610c70824761104990919063ffffffff16565b90506000610c96610c8d6002600b5461100790919063ffffffff16565b600d5490611049565b90506000610cb86002610b0184610b01600b5488610f8590919063ffffffff16565b90506000610cd583610b01600c5487610f8590919063ffffffff16565b600f546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d8060008114610d2c576040519150601f19603f3d011682016040523d82523d6000602084013e610d31565b606091505b5050905080610d825760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e7366657200006044820152606401610669565b8815610e6a5760105460405163f305d71960e01b8152306004820152602481018b9052600060448201819052606482015273be6b164f0dbc702e5ed0718f7bf8bd583308ae6d60848201524260a48201526001600160a01b039091169063f305d71990859060c40160606040518083038185885af1158015610e08573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610e2d91906112f2565b505060408051858152602081018c90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506013805460ff191690555050505050505050565b600080610e9e600e54610b01600d5486610f8590919063ffffffff16565b30600090815260066020526040902054909150610ebb9082610f26565b30600081815260066020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f0c9085815260200190565b60405180910390a3610f1e8382611049565b949350505050565b600080610f33838561123b565b9050838110156105d95760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610669565b600082600003610f9757506000610518565b6000610fa38385611320565b905082610fb08583611337565b146105d95760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610669565b60006105d983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061108b565b60006105d983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610732565b600081836110ac5760405162461bcd60e51b815260040161066991906110b9565b5060006107638486611337565b600060208083528351808285015260005b818110156110e6578581018301518582016040015282016110ca565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461061957600080fd5b6000806040838503121561112f57600080fd5b823561113a81611107565b946020939093013593505050565b60008060006060848603121561115d57600080fd5b833561116881611107565b9250602084013561117881611107565b929592945050506040919091013590565b60006020828403121561119b57600080fd5b81356105d981611107565b600080604083850312156111b957600080fd5b82356111c481611107565b9150602083013580151581146111d957600080fd5b809150509250929050565b600080604083850312156111f757600080fd5b823561120281611107565b915060208301356111d981611107565b634e487b7160e01b600052601160045260246000fd5b8181038181111561051857610518611212565b8082018082111561051857610518611212565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561127657600080fd5b81516105d981611107565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112d15784516001600160a01b0316835293830193918301916001016112ac565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561130757600080fd5b8351925060208401519150604084015190509250925092565b808202811582820484141761051857610518611212565b60008261135457634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212206399bec644202eb074b78ad83bba2ae5654da4dd8b8a4bba965de774459a254d64736f6c63430008130033

4398:7794:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5729:54;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5729:54:0;;;;;;;;6927:80;;;;;;;;;;-1:-1:-1;6999:5:0;;;;;;;;;;;;-1:-1:-1;;;6999:5:0;;;;6927:80;;;;;;;:::i;7349:216::-;;;;;;;;;;-1:-1:-1;7349:216:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;7349:216:0;1205:187:1;6657:88:0;;;;;;;;;;-1:-1:-1;6730:12:0;;6657:88;;7867:370;;;;;;;;;;-1:-1:-1;7867:370:0;;;;;:::i;:::-;;:::i;2638:103::-;;;;;;;;;;-1:-1:-1;2638:103:0;;;;;:::i;:::-;2693:4;2728:5;-1:-1:-1;;;;;2717:16:0;;;2728:5;;2717:16;;2638:103;6751:80;;;;;;;;;;-1:-1:-1;6751:80:0;;4720:1;2252:36:1;;2240:2;2225:18;6751:80:0;2110:184:1;12007:118:0;;;;;;;;;;;;;:::i;:::-;;5264:119;;;;;;;;;;-1:-1:-1;5264:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5351:24:0;5327:4;5351:24;;;:12;:24;;;;;;;;;5264:119;7573:122;;;;;;;;;;-1:-1:-1;7573:122:0;;;;;:::i;:::-;;:::i;4789:31::-;;;;;;;;;;;;;;;;5692:30;;;;;;;;;;-1:-1:-1;5692:30:0;;;;-1:-1:-1;;;5692:30:0;;;;;;7097:105;;;;;;;;;;-1:-1:-1;7097:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;7181:18:0;7163:7;7181:18;;;:9;:18;;;;;;;7097:105;2747:131;;;;;;;;;;;;;:::i;4827:27::-;;;;;;;;;;;;;;;;7013:78;;;;;;;;;;-1:-1:-1;7065:7:0;7083:5;-1:-1:-1;;;;;7083:5:0;7013:78;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;7013:78:0;2299:203:1;5128:128:0;;;;;;;;;;-1:-1:-1;5128:128:0;;;;;:::i;:::-;;:::i;6837:84::-;;;;;;;;;;-1:-1:-1;6911:7:0;;;;;;;;;;;;-1:-1:-1;;;6911:7:0;;;;6837:84;;5664:19;;;;;;;;;;-1:-1:-1;5664:19:0;;;;-1:-1:-1;;;;;5664:19:0;;;7703:156;;;;;;;;;;-1:-1:-1;7703:156:0;;;;;:::i;:::-;;:::i;7208:133::-;;;;;;;;;;-1:-1:-1;7208:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;7310:19:0;;;7292:7;7310:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;7208:133;5544:80;;;;;;;;;;-1:-1:-1;5544:80:0;;;;-1:-1:-1;;;;;5544:80:0;;;5633:24;;;;;;;;;;-1:-1:-1;5633:24:0;;;;-1:-1:-1;;;;;5633:24:0;;;7349:216;7453:10;7424:4;7441:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7441:32:0;;;;;;;;;;:41;;;7498:37;7424:4;;7441:32;;7498:37;;;;7476:6;160:25:1;;148:2;133:18;;14:177;7498:37:0;;;;;;;;-1:-1:-1;7553:4:0;7349:216;;;;;:::o;7867:370::-;-1:-1:-1;;;;;7987:19:0;;7967:4;7987:19;;;:11;:19;;;;;;;;8007:10;7987:31;;;;;;;;-1:-1:-1;;7987:52:0;7984:186;;8089:69;;;;;;;;;;;-1:-1:-1;;;8089:69:0;;;;;;;;-1:-1:-1;;;;;8089:19:0;;-1:-1:-1;8089:19:0;;;:11;:19;;;;;8109:10;8089:31;;;;;;;;;;:69;;8125:6;;8089:35;:69::i;:::-;-1:-1:-1;;;;;8055:19:0;;;;;;:11;:19;;;;;;;;8075:10;8055:31;;;;;;;:103;7984:186;8189:40;8203:6;8211:9;8222:6;8189:13;:40::i;:::-;8182:47;;7867:370;;;;;;:::o;12007:118::-;12064:20;;12056:61;;-1:-1:-1;;;;;12064:20:0;;;;12095:21;12056:61;;;;;12064:20;12056:61;12064:20;12056:61;12095:21;12064:20;12056:61;;;;;;;;;;;;;;;;;;;;;12007:118::o;7573:122::-;7628:4;7652:35;7660:7;-1:-1:-1;;7652:7:0;:35::i;2747:131::-;2693:4;2728:5;-1:-1:-1;;;;;2728:5:0;2599:10;2717:16;2583:38;;;;-1:-1:-1;;;2583:38:0;;3749:2:1;2583:38:0;;;3731:21:1;3788:1;3768:18;;;3761:29;-1:-1:-1;;;3806:18:1;;;3799:36;3852:18;;2583:38:0;;;;;;;;;2820:1:::1;2804:18:::0;;-1:-1:-1;;;;;;2804:18:0::1;::::0;;2838:32:::1;::::0;2445:51:1;;;2838:32:0::1;::::0;2433:2:1;2418:18;2838:32:0::1;;;;;;;2747:131::o:0;5128:128::-;2693:4;2728:5;-1:-1:-1;;;;;2728:5:0;2599:10;2717:16;2583:38;;;;-1:-1:-1;;;2583:38:0;;3749:2:1;2583:38:0;;;3731:21:1;3788:1;3768:18;;;3761:29;-1:-1:-1;;;3806:18:1;;;3799:36;3852:18;;2583:38:0;3547:329:1;2583:38:0;-1:-1:-1;;;;;5212:24:0;;;::::1;;::::0;;;:12:::1;:24;::::0;;;;:36;;-1:-1:-1;;5212:36:0::1;::::0;::::1;;::::0;;;::::1;::::0;;5128:128::o;7703:156::-;7783:4;7807:44;7821:10;7833:9;7844:6;7807:13;:44::i;727:190::-;813:7;849:12;841:6;;;;833:29;;;;-1:-1:-1;;;833:29:0;;;;;;;;:::i;:::-;-1:-1:-1;873:9:0;885:5;889:1;885;:5;:::i;:::-;873:17;727:190;-1:-1:-1;;;;;727:190:0:o;8245:792::-;8357:6;;8337:4;;8357:6;;8354:63;;;8373:41;8388:6;8396:9;8407:6;8373:14;:41::i;:::-;8366:48;;;;8354:63;8454:4;;-1:-1:-1;;;;;8441:17:0;;;8454:4;;8441:17;;;;:38;;-1:-1:-1;8475:4:0;;-1:-1:-1;;;;;8462:17:0;;;8475:4;;8462:17;;8441:38;8437:200;;;-1:-1:-1;;;;;8504:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;8567:16:0;;-1:-1:-1;;;;;8534:20:0;;;;;;:9;:20;;;;;;:29;;8557:6;;8534:29;:::i;:::-;:49;;8504:79;8496:129;;;;-1:-1:-1;;;8496:129:0;;4478:2:1;8496: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;;8496:129:0;4276:401:1;8496:129:0;8660:16;:14;:16::i;:::-;8657:35;;;8679:10;:8;:10::i;:::-;8725:53;;;;;;;;;;;-1:-1:-1;;;8725:53:0;;;;;;;;-1:-1:-1;;;;;8725:17:0;;-1:-1:-1;8725:17:0;;;:9;:17;;;;;;;;:53;;8747:6;;8725:21;:53::i;:::-;-1:-1:-1;;;;;8705:17:0;;;;;;:9;:17;;;;;;;;:73;;;;9474:11;:19;;;;;;;;9473:20;8816:56;;8866:6;8816:56;;;8840:23;8848:6;8856;8840:7;:23::i;:::-;-1:-1:-1;;;;;8906:20:0;;;;;;:9;:20;;;;;;8791:81;;-1:-1:-1;8906:40:0;;8791:81;8906:24;:40::i;:::-;-1:-1:-1;;;;;8883:20:0;;;;;;;:9;:20;;;;;;;:63;;;;8964:43;;;;;;;;;;8992:14;160:25:1;;148:2;133:18;;14:177;8964:43:0;;;;;;;;-1:-1:-1;9025:4:0;;8245:792;-1:-1:-1;;;;8245:792:0:o;9049:330::-;9179:53;;;;;;;;;;;-1:-1:-1;;;9179:53:0;;;;;;;;-1:-1:-1;;;;;9179:17:0;;9142:4;9179:17;;;:9;:17;;;;;;;:53;;9201:6;;9179:21;:53::i;:::-;-1:-1:-1;;;;;9159:17:0;;;;;;;:9;:17;;;;;;:73;;;;9266:20;;;;;;;:32;;9291:6;9266:24;:32::i;:::-;-1:-1:-1;;;;;9243:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9314:35;;;;;;;;;;9342:6;160:25:1;;148:2;133:18;;14:177;9314:35:0;;;;;;;;-1:-1:-1;9367:4:0;9049:330;;;;;:::o;9846:197::-;9933:4;;9895;;-1:-1:-1;;;;;9933:4:0;9919:10;:18;;;;:38;;-1:-1:-1;9951:6:0;;;;9950:7;9919:38;:62;;;;-1:-1:-1;9970:11:0;;-1:-1:-1;;;9970:11:0;;;;9919:62;:116;;;;-1:-1:-1;10022:13:0;;10012:4;9994:24;;;;:9;:24;;;;;;:41;;9919:116;9912:123;;9846:197;:::o;10049:1572::-;5838:6;:13;;-1:-1:-1;;5838:13:0;5847:4;5838:13;;;10129::::1;::::0;10222:8:::1;::::0;10204:12:::1;::::0;5838:6;;10179:59:::1;::::0;10236:1:::1;::::0;10179:52:::1;::::0;;;10129:13;;10179:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;10153:85:::0;-1:-1:-1;10249:20:0::1;10272:41;:20:::0;10153:85;10272:24:::1;:41::i;:::-;10350:16;::::0;;10364:1:::1;10350:16:::0;;;;;::::1;::::0;;10249:64;;-1:-1:-1;10326:21:0::1;::::0;10350:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10350:16:0::1;10326:40;;10395:4;10377;10382:1;10377:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10377:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10421:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;10421:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;10377:7;;10421:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10411:4;10416:1;10411:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10411:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;10505:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;10505:188:0;;10471:21:::1;::::0;10505:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;10577:12;;10447:21:::1;::::0;10620:4;;10647::::1;::::0;10667:15:::1;::::0;10505:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10704:17;10724:40;10750:13;10724:21;:25;;:40;;;;:::i;:::-;10704:60;;10775:19;10797:33;10810:19;10827:1;10810:12;;:16;;:19;;;;:::i;:::-;10797:8;::::0;;:12:::1;:33::i;:::-;10775:55;;10841:26;10870:51;10919:1;10870:44;10902:11;10870:27;10884:12;;10870:9;:13;;:27;;;;:::i;:51::-;10841:80;;10932:26;10961:44;10993:11;10961:27;10975:12;;10961:9;:13;;:27;;;;:::i;:44::-;11079:20;::::0;11071:77:::1;::::0;10932:73;;-1:-1:-1;11021:21:0::1;::::0;-1:-1:-1;;;;;11079:20:0;;::::1;::::0;11138:5:::1;::::0;10932:73;;11021:21;11071:77;11021:21;11071:77;10932:73;11079:20;11138:5;11071:77:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11020:128;;;11167:16;11159:59;;;::::0;-1:-1:-1;;;11159:59:0;;6599:2:1;11159:59:0::1;::::0;::::1;6581:21:1::0;6638:2;6618:18;;;6611:30;6677:32;6657:18;;;6650:60;6727:18;;11159:59:0::1;6397:354:1::0;11159:59:0::1;11234:19:::0;;11231:383:::1;;11269:6;::::0;:265:::1;::::0;-1:-1:-1;;;11269:265:0;;11345:4:::1;11269:265;::::0;::::1;7097:34:1::0;7147:18;;;7140:34;;;11269:6:0::1;7190:18:1::0;;;7183:34;;;7233:18;;;7226:34;11443:42:0::1;7276:19:1::0;;;7269:44;11504:15:0::1;7329:19:1::0;;;7322:35;-1:-1:-1;;;;;11269:6:0;;::::1;::::0;:22:::1;::::0;11299:18;;7031:19:1;;11269:265:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11554:48:0::1;::::0;;7853:25:1;;;7909:2;7894:18;;7887:34;;;11554:48:0::1;::::0;-1:-1:-1;7826:18:1;11554:48:0::1;;;;;;;11231:383;-1:-1:-1::0;;5856:6:0;:14;;-1:-1:-1;;5856:14:0;;;-1:-1:-1;;;;;;;;10049:1572:0:o;9509:329::-;9576:7;9596:17;9616:40;9641:14;;9616:20;9627:8;;9616:6;:10;;:20;;;;:::i;:40::-;9712:4;9694:24;;;;:9;:24;;;;;;9596:60;;-1:-1:-1;9694:39:0;;9596:60;9694:28;:39::i;:::-;9685:4;9667:24;;;;:9;:24;;;;;;;:66;;;;9749:42;;-1:-1:-1;;;;;9749:42:0;;;;;;;9781:9;160:25:1;;148:2;133:18;;14:177;9749:42:0;;;;;;;;9809:21;:6;9820:9;9809:10;:21::i;:::-;9802:28;9509:329;-1:-1:-1;;;;9509:329:0:o;400:179::-;458:7;;490:5;494:1;490;:5;:::i;:::-;478:17;;519:1;514;:6;;506:46;;;;-1:-1:-1;;;506:46:0;;8134:2:1;506:46:0;;;8116:21:1;8173:2;8153:18;;;8146:30;8212:29;8192:18;;;8185:57;8259:18;;506:46:0;7932:351:1;923:246:0;981:7;1005:1;1010;1005:6;1001:47;;-1:-1:-1;1035:1:0;1028:8;;1001:47;1058:9;1070:5;1074:1;1070;:5;:::i;:::-;1058:17;-1:-1:-1;1103:1:0;1094:5;1098:1;1058:17;1094:5;:::i;:::-;:10;1086:56;;;;-1:-1:-1;;;1086:56:0;;8885:2:1;1086: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;;1086:56:0;8683:397:1;1175:132:0;1233:7;1260:39;1264:1;1267;1260:39;;;;;;;;;;;;;;;;;:3;:39::i;585:136::-;643:7;670:43;674:1;677;670:43;;;;;;;;;;;;;;;;;:3;:43::i;1313:189::-;1399:7;1434:12;1427:5;1419:28;;;;-1:-1:-1;;;1419:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1458:9:0;1470:5;1474:1;1470;: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://6399bec644202eb074b78ad83bba2ae5654da4dd8b8a4bba965de774459a254d