Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract VRFAI is Context, IERC20, ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function swapTokensForEth(uint256 tok ...
•    - function updateTax(uint256 BuyTax, ui ...
•    - function removeLimits()
•    - function openTrading()
•    - function manualSwap()
•    - function sendETHToFee(uint256 amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-29
*/

/*

verifAI - $vrfAI

Sniping - Auditing - Scanning - Mixing - and more.

Links:
https://vrfai.com
https://t.me/verifAIEntry
https://twitter.com/verifAI_
https://vrfai.gitbook.io/

*/

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

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

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

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

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

}

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

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

contract VRFAI is Context, IERC20, Ownable {
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private _devWallet;
    address payable private _marketingWallet;

    string private constant _name =    unicode"verifAI";
    string private constant _symbol =  unicode"vrfAI";
    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 10 * 1e8 * 10**_decimals;
    uint256 public _BuyTax=            30;
    uint256 public _SellTax=           30;
    uint256 public _maxTxAmount =      _tTotal * 2 / 100;
    uint256 public _maxWalletSize =    _tTotal * 2 / 100;
    uint256 public _taxSwapThreshold=  _tTotal * 5 / 10000;
    uint256 public _maxTaxSwap=        _tTotal * 1 / 100;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _devWallet = payable(_msgSender());
        _marketingWallet = payable(0x727327AaaC3269a1719413e99895B3931c45459C);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_devWallet] = true;
        _isExcludedFromFee[_marketingWallet] = true;

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

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

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

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

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

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

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

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

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

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        require(_allowances[sender][_msgSender()] >= amount, "Transfer amount exceeds allowance");
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()] - amount);
        return true;
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: Can't transfer from the zero address");
        require(to != address(0), "ERC20: Can't transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (!_isExcludedFromFee[from] && !_isExcludedFromFee[to]) {

            if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount < _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount < _maxWalletSize, "Exceeds the _maxWalletSize.");
            }
            
            if(from == uniswapV2Pair && to != address(this)){
                taxAmount = amount * _BuyTax / 100;
            }
            if(to == uniswapV2Pair && from != address(this)){
                taxAmount = amount * _SellTax / 100;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold) {
                uint256 amountToSwap = (amount < contractTokenBalance && amount < _maxTaxSwap) ? amount : (contractTokenBalance < _maxTaxSwap) ? contractTokenBalance : _maxTaxSwap;
                swapTokensForEth(amountToSwap);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)] += taxAmount;
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from] = _balances[from] - amount;
        _balances[to] = _balances[to] + (amount - taxAmount);
        emit Transfer(from, to, amount - taxAmount);
    }

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

    function updateTax(uint256 BuyTax, uint256 SellTax) external onlyOwner {
        _BuyTax = BuyTax;
        _SellTax= SellTax; 
    }

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"Trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    function manualSwap() external onlyOwner {
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }

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

    receive() external payable {}
  
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_BuyTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_SellTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"BuyTax","type":"uint256"},{"internalType":"uint256","name":"SellTax","type":"uint256"}],"name":"updateTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601e600681905560075560646200001e6012600a620003b6565b6200002e90633b9aca00620003cd565b6200003b906002620003cd565b620000479190620003e7565b60085560646200005a6012600a620003b6565b6200006a90633b9aca00620003cd565b62000077906002620003cd565b620000839190620003e7565b600955612710620000976012600a620003b6565b620000a790633b9aca00620003cd565b620000b4906005620003cd565b620000c09190620003e7565b600a5560646012600a620000d59190620003b6565b620000e590633b9aca00620003cd565b620000f2906001620003cd565b620000fe9190620003e7565b600b55600d805461ffff60a81b191690553480156200011b575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060048054336001600160a01b0319918216179091556005805490911673727327aaac3269a1719413e99895b3931c45459c1790556200019e6012600a620003b6565b620001ae90633b9aca00620003cd565b335f908152600160208190526040822092909255600390620001d75f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454821684528284208054861682179055600554909116835291208054909216179055620002473390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002806012600a620003b6565b6200029090633b9aca00620003cd565b60405190815260200160405180910390a362000407565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002fb57815f1904821115620002df57620002df620002a7565b80851615620002ed57918102915b93841c9390800290620002c0565b509250929050565b5f826200031357506001620003b0565b816200032157505f620003b0565b81600181146200033a5760028114620003455762000365565b6001915050620003b0565b60ff841115620003595762000359620002a7565b50506001821b620003b0565b5060208310610133831016604e8410600b84101617156200038a575081810a620003b0565b620003968383620002bb565b805f1904821115620003ac57620003ac620002a7565b0290505b92915050565b5f620003c660ff84168362000303565b9392505050565b8082028115828204841417620003b057620003b0620002a7565b5f826200040257634e487b7160e01b5f52601260045260245ffd5b500490565b61160780620004155f395ff3fe608060405260043610610129575f3560e01c8063715018a6116100a8578063901849d61161006d578063901849d61461030b57806395d89b4114610320578063a9059cbb1461034d578063bf474bed1461036c578063c9567bf914610381578063dd62ed3e14610395575f80fd5b8063715018a614610293578063751039fc146102a75780637d1db4a5146102bb5780638da5cb5b146102d05780638f9a55c0146102f6575f80fd5b80632f37aa6d116100ee5780632f37aa6d146101fa578063313ce5671461021b57806343b8fe041461023657806351bc3c851461024b57806370a082311461025f575f80fd5b806306fdde0314610134578063095ea7b3146101755780630faee56f146101a457806318160ddd146101c757806323b872dd146101db575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820190915260078152667665726966414960c81b60208201525b60405161016c9190611213565b60405180910390f35b348015610180575f80fd5b5061019461018f366004611275565b6103d9565b604051901515815260200161016c565b3480156101af575f80fd5b506101b9600b5481565b60405190815260200161016c565b3480156101d2575f80fd5b506101b96103ef565b3480156101e6575f80fd5b506101946101f536600461129f565b61040f565b348015610205575f80fd5b506102196102143660046112dd565b6104df565b005b348015610226575f80fd5b506040516012815260200161016c565b348015610241575f80fd5b506101b960075481565b348015610256575f80fd5b50610219610513565b34801561026a575f80fd5b506101b96102793660046112fd565b6001600160a01b03165f9081526001602052604090205490565b34801561029e575f80fd5b5061021961056e565b3480156102b2575f80fd5b506102196105df565b3480156102c6575f80fd5b506101b960085481565b3480156102db575f80fd5b505f546040516001600160a01b03909116815260200161016c565b348015610301575f80fd5b506101b960095481565b348015610316575f80fd5b506101b960065481565b34801561032b575f80fd5b50604080518082019091526005815264767266414960d81b602082015261015f565b348015610358575f80fd5b50610194610367366004611275565b610690565b348015610377575f80fd5b506101b9600a5481565b34801561038c575f80fd5b5061021961069c565b3480156103a0575f80fd5b506101b96103af36600461131f565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103e5338484610a45565b5060015b92915050565b5f6103fc6012600a61144a565b61040a90633b9aca00611458565b905090565b6001600160a01b0383165f9081526002602090815260408083203384529091528120548211156104905760405162461bcd60e51b815260206004820152602160248201527f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636044820152606560f81b60648201526084015b60405180910390fd5b61049b848484610b75565b6001600160a01b0384165f908152600260209081526040808320338085529252909120546104d59186916104d090869061146f565b610a45565b5060019392505050565b5f546001600160a01b031633146105085760405162461bcd60e51b815260040161048790611482565b600691909155600755565b5f546001600160a01b0316331461053c5760405162461bcd60e51b815260040161048790611482565b305f90815260016020526040902054801561055a5761055a81611053565b47801561056a5761056a816111dc565b5050565b5f546001600160a01b031633146105975760405162461bcd60e51b815260040161048790611482565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106085760405162461bcd60e51b815260040161048790611482565b6106146012600a61144a565b61062290633b9aca00611458565b6008556106316012600a61144a565b61063f90633b9aca00611458565b6009557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61066f6012600a61144a565b61067d90633b9aca00611458565b60405190815260200160405180910390a1565b5f6103e5338484610b75565b5f546001600160a01b031633146106c55760405162461bcd60e51b815260040161048790611482565b600d54600160a01b900460ff161561071f5760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610487565b600c80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561076890309061075a6012600a61144a565b6104d090633b9aca00611458565b600c5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107b8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107dc91906114b7565b6001600160a01b031663c9c6539630600c5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061085f91906114b7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108a9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108cd91906114b7565b600d80546001600160a01b039283166001600160a01b0319909116179055600c541663f305d7194730610914816001600160a01b03165f9081526001602052604090205490565b5f806109275f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561098d573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109b291906114d2565b5050600d54600c5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a07573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a2b91906114fd565b50600d805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610aae5760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b6064820152608401610487565b6001600160a01b038216610b155760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b6064820152608401610487565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bdf5760405162461bcd60e51b815260206004820152602b60248201527f45524332303a2043616e2774207472616e736665722066726f6d20746865207a60448201526a65726f206164647265737360a81b6064820152608401610487565b6001600160a01b038216610c475760405162461bcd60e51b815260206004820152602960248201527f45524332303a2043616e2774207472616e7366657220746f20746865207a65726044820152686f206164647265737360b81b6064820152608401610487565b5f8111610ca85760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610487565b6001600160a01b0383165f9081526003602052604081205460ff16158015610ce857506001600160a01b0383165f9081526003602052604090205460ff16155b15610f2257600d546001600160a01b038581169116148015610d185750600c546001600160a01b03848116911614155b15610de7576008548210610d6e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610487565b60095482610d90856001600160a01b03165f9081526001602052604090205490565b610d9a919061151c565b10610de75760405162461bcd60e51b815260206004820152601b60248201527f4578636565647320746865205f6d617857616c6c657453697a652e00000000006044820152606401610487565b600d546001600160a01b038581169116148015610e0d57506001600160a01b0383163014155b15610e2f57606460065483610e229190611458565b610e2c919061152f565b90505b600d546001600160a01b038481169116148015610e5557506001600160a01b0384163014155b15610e7757606460075483610e6a9190611458565b610e74919061152f565b90505b305f90815260016020526040902054600d54600160a81b900460ff16158015610ead5750600d546001600160a01b038581169116145b8015610ec25750600d54600160b01b900460ff165b8015610ecf5750600a5481115b15610f20575f8184108015610ee55750600b5484105b610f0057600b548210610efa57600b54610f02565b81610f02565b835b9050610f0d81611053565b478015610f1d57610f1d476111dc565b50505b505b8015610f8c57305f9081526001602052604081208054839290610f4690849061151c565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f90815260016020526040902054610faf90839061146f565b6001600160a01b0385165f90815260016020526040902055610fd1818361146f565b6001600160a01b0384165f90815260016020526040902054610ff3919061151c565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61103c848661146f565b60405190815260200160405180910390a350505050565b600d805460ff60a81b1916600160a81b17905580156111cc57600d54600160a01b900460ff16156111cc576040805160028082526060820183525f9260208301908036833701905050905030815f815181106110b1576110b161154e565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611108573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061112c91906114b7565b8160018151811061113f5761113f61154e565b6001600160a01b039283166020918202929092010152600c546111659130911684610a45565b600c5460405163791ac94760e01b81526001600160a01b039091169063791ac9479061119d9085905f90869030904290600401611562565b5f604051808303815f87803b1580156111b4575f80fd5b505af11580156111c6573d5f803e3d5ffd5b50505050505b50600d805460ff60a81b19169055565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561056a573d5f803e3d5ffd5b5f6020808352835180828501525f5b8181101561123e57858101830151858201604001528201611222565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611272575f80fd5b50565b5f8060408385031215611286575f80fd5b82356112918161125e565b946020939093013593505050565b5f805f606084860312156112b1575f80fd5b83356112bc8161125e565b925060208401356112cc8161125e565b929592945050506040919091013590565b5f80604083850312156112ee575f80fd5b50508035926020909101359150565b5f6020828403121561130d575f80fd5b81356113188161125e565b9392505050565b5f8060408385031215611330575f80fd5b823561133b8161125e565b9150602083013561134b8161125e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156113a457815f190482111561138a5761138a611356565b8085161561139757918102915b93841c939080029061136f565b509250929050565b5f826113ba575060016103e9565b816113c657505f6103e9565b81600181146113dc57600281146113e657611402565b60019150506103e9565b60ff8411156113f7576113f7611356565b50506001821b6103e9565b5060208310610133831016604e8410600b8410161715611425575081810a6103e9565b61142f838361136a565b805f190482111561144257611442611356565b029392505050565b5f61131860ff8416836113ac565b80820281158282048414176103e9576103e9611356565b818103818111156103e9576103e9611356565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156114c7575f80fd5b81516113188161125e565b5f805f606084860312156114e4575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561150d575f80fd5b81518015158114611318575f80fd5b808201808211156103e9576103e9611356565b5f8261154957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156115b05784516001600160a01b03168352938301939183019160010161158b565b50506001600160a01b0396909616606085015250505060800152939250505056fea2646970667358221220d02b60bce5245e8d5b1fa90aac67a84ab3f21ddbdcf19e996ff464d35e034c6664736f6c63430008150033

0x608060405260043610610129575f3560e01c8063715018a6116100a8578063901849d61161006d578063901849d61461030b57806395d89b4114610320578063a9059cbb1461034d578063bf474bed1461036c578063c9567bf914610381578063dd62ed3e14610395575f80fd5b8063715018a614610293578063751039fc146102a75780637d1db4a5146102bb5780638da5cb5b146102d05780638f9a55c0146102f6575f80fd5b80632f37aa6d116100ee5780632f37aa6d146101fa578063313ce5671461021b57806343b8fe041461023657806351bc3c851461024b57806370a082311461025f575f80fd5b806306fdde0314610134578063095ea7b3146101755780630faee56f146101a457806318160ddd146101c757806323b872dd146101db575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b506040805180820190915260078152667665726966414960c81b60208201525b60405161016c9190611213565b60405180910390f35b348015610180575f80fd5b5061019461018f366004611275565b6103d9565b604051901515815260200161016c565b3480156101af575f80fd5b506101b9600b5481565b60405190815260200161016c565b3480156101d2575f80fd5b506101b96103ef565b3480156101e6575f80fd5b506101946101f536600461129f565b61040f565b348015610205575f80fd5b506102196102143660046112dd565b6104df565b005b348015610226575f80fd5b506040516012815260200161016c565b348015610241575f80fd5b506101b960075481565b348015610256575f80fd5b50610219610513565b34801561026a575f80fd5b506101b96102793660046112fd565b6001600160a01b03165f9081526001602052604090205490565b34801561029e575f80fd5b5061021961056e565b3480156102b2575f80fd5b506102196105df565b3480156102c6575f80fd5b506101b960085481565b3480156102db575f80fd5b505f546040516001600160a01b03909116815260200161016c565b348015610301575f80fd5b506101b960095481565b348015610316575f80fd5b506101b960065481565b34801561032b575f80fd5b50604080518082019091526005815264767266414960d81b602082015261015f565b348015610358575f80fd5b50610194610367366004611275565b610690565b348015610377575f80fd5b506101b9600a5481565b34801561038c575f80fd5b5061021961069c565b3480156103a0575f80fd5b506101b96103af36600461131f565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103e5338484610a45565b5060015b92915050565b5f6103fc6012600a61144a565b61040a90633b9aca00611458565b905090565b6001600160a01b0383165f9081526002602090815260408083203384529091528120548211156104905760405162461bcd60e51b815260206004820152602160248201527f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636044820152606560f81b60648201526084015b60405180910390fd5b61049b848484610b75565b6001600160a01b0384165f908152600260209081526040808320338085529252909120546104d59186916104d090869061146f565b610a45565b5060019392505050565b5f546001600160a01b031633146105085760405162461bcd60e51b815260040161048790611482565b600691909155600755565b5f546001600160a01b0316331461053c5760405162461bcd60e51b815260040161048790611482565b305f90815260016020526040902054801561055a5761055a81611053565b47801561056a5761056a816111dc565b5050565b5f546001600160a01b031633146105975760405162461bcd60e51b815260040161048790611482565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106085760405162461bcd60e51b815260040161048790611482565b6106146012600a61144a565b61062290633b9aca00611458565b6008556106316012600a61144a565b61063f90633b9aca00611458565b6009557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61066f6012600a61144a565b61067d90633b9aca00611458565b60405190815260200160405180910390a1565b5f6103e5338484610b75565b5f546001600160a01b031633146106c55760405162461bcd60e51b815260040161048790611482565b600d54600160a01b900460ff161561071f5760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610487565b600c80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561076890309061075a6012600a61144a565b6104d090633b9aca00611458565b600c5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107b8573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107dc91906114b7565b6001600160a01b031663c9c6539630600c5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061085f91906114b7565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108a9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108cd91906114b7565b600d80546001600160a01b039283166001600160a01b0319909116179055600c541663f305d7194730610914816001600160a01b03165f9081526001602052604090205490565b5f806109275f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561098d573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109b291906114d2565b5050600d54600c5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a07573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a2b91906114fd565b50600d805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610aae5760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b6064820152608401610487565b6001600160a01b038216610b155760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b6064820152608401610487565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bdf5760405162461bcd60e51b815260206004820152602b60248201527f45524332303a2043616e2774207472616e736665722066726f6d20746865207a60448201526a65726f206164647265737360a81b6064820152608401610487565b6001600160a01b038216610c475760405162461bcd60e51b815260206004820152602960248201527f45524332303a2043616e2774207472616e7366657220746f20746865207a65726044820152686f206164647265737360b81b6064820152608401610487565b5f8111610ca85760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610487565b6001600160a01b0383165f9081526003602052604081205460ff16158015610ce857506001600160a01b0383165f9081526003602052604090205460ff16155b15610f2257600d546001600160a01b038581169116148015610d185750600c546001600160a01b03848116911614155b15610de7576008548210610d6e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610487565b60095482610d90856001600160a01b03165f9081526001602052604090205490565b610d9a919061151c565b10610de75760405162461bcd60e51b815260206004820152601b60248201527f4578636565647320746865205f6d617857616c6c657453697a652e00000000006044820152606401610487565b600d546001600160a01b038581169116148015610e0d57506001600160a01b0383163014155b15610e2f57606460065483610e229190611458565b610e2c919061152f565b90505b600d546001600160a01b038481169116148015610e5557506001600160a01b0384163014155b15610e7757606460075483610e6a9190611458565b610e74919061152f565b90505b305f90815260016020526040902054600d54600160a81b900460ff16158015610ead5750600d546001600160a01b038581169116145b8015610ec25750600d54600160b01b900460ff165b8015610ecf5750600a5481115b15610f20575f8184108015610ee55750600b5484105b610f0057600b548210610efa57600b54610f02565b81610f02565b835b9050610f0d81611053565b478015610f1d57610f1d476111dc565b50505b505b8015610f8c57305f9081526001602052604081208054839290610f4690849061151c565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f90815260016020526040902054610faf90839061146f565b6001600160a01b0385165f90815260016020526040902055610fd1818361146f565b6001600160a01b0384165f90815260016020526040902054610ff3919061151c565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61103c848661146f565b60405190815260200160405180910390a350505050565b600d805460ff60a81b1916600160a81b17905580156111cc57600d54600160a01b900460ff16156111cc576040805160028082526060820183525f9260208301908036833701905050905030815f815181106110b1576110b161154e565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611108573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061112c91906114b7565b8160018151811061113f5761113f61154e565b6001600160a01b039283166020918202929092010152600c546111659130911684610a45565b600c5460405163791ac94760e01b81526001600160a01b039091169063791ac9479061119d9085905f90869030904290600401611562565b5f604051808303815f87803b1580156111b4575f80fd5b505af11580156111c6573d5f803e3d5ffd5b50505050505b50600d805460ff60a81b19169055565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561056a573d5f803e3d5ffd5b5f6020808352835180828501525f5b8181101561123e57858101830151858201604001528201611222565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611272575f80fd5b50565b5f8060408385031215611286575f80fd5b82356112918161125e565b946020939093013593505050565b5f805f606084860312156112b1575f80fd5b83356112bc8161125e565b925060208401356112cc8161125e565b929592945050506040919091013590565b5f80604083850312156112ee575f80fd5b50508035926020909101359150565b5f6020828403121561130d575f80fd5b81356113188161125e565b9392505050565b5f8060408385031215611330575f80fd5b823561133b8161125e565b9150602083013561134b8161125e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156113a457815f190482111561138a5761138a611356565b8085161561139757918102915b93841c939080029061136f565b509250929050565b5f826113ba575060016103e9565b816113c657505f6103e9565b81600181146113dc57600281146113e657611402565b60019150506103e9565b60ff8411156113f7576113f7611356565b50506001821b6103e9565b5060208310610133831016604e8410600b8410161715611425575081810a6103e9565b61142f838361136a565b805f190482111561144257611442611356565b029392505050565b5f61131860ff8416836113ac565b80820281158282048414176103e9576103e9611356565b818103818111156103e9576103e9611356565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156114c7575f80fd5b81516113188161125e565b5f805f606084860312156114e4575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561150d575f80fd5b81518015158114611318575f80fd5b808201808211156103e9576103e9611356565b5f8261154957634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156115b05784516001600160a01b03168352938301939183019160010161158b565b50506001600160a01b0396909616606085015250505060800152939250505056fea2646970667358221220d02b60bce5245e8d5b1fa90aac67a84ab3f21ddbdcf19e996ff464d35e034c6664736f6c63430008150033

2525:7342:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4204:83;;;;;;;;;;-1:-1:-1;4274:5:0;;;;;;;;;;;;-1:-1:-1;;;4274:5:0;;;;4204:83;;;;;;;:::i;:::-;;;;;;;;5037:161;;;;;;;;;;-1:-1:-1;5037:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;5037:161:0;1023:187:1;3344:52:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;3344:52:0;1215:177:1;4481:95:0;;;;;;;;;;;;;:::i;5206:366::-;;;;;;;;;;-1:-1:-1;5206:366:0;;;;;:::i;:::-;;:::i;8414:135::-;;;;;;;;;;-1:-1:-1;8414:135:0;;;;;:::i;:::-;;:::i;:::-;;4390:83;;;;;;;;;;-1:-1:-1;4390:83:0;;3002:2;2253:36:1;;2241:2;2226:18;4390:83:0;2111:184:1;3121:37:0;;;;;;;;;;;;;;;;9403:314;;;;;;;;;;;;;:::i;4584:119::-;;;;;;;;;;-1:-1:-1;4584:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;4677:18:0;4650:7;4677:18;;;:9;:18;;;;;;;4584:119;1606:148;;;;;;;;;;;;;:::i;8557:159::-;;;;;;;;;;;;;:::i;3165:52::-;;;;;;;;;;;;;;;;1392:79;;;;;;;;;;-1:-1:-1;1430:7:0;1457:6;1392:79;;-1:-1:-1;;;;;1457:6:0;;;2698:51:1;;2686:2;2671:18;1392:79:0;2552:203:1;3224:52:0;;;;;;;;;;;;;;;;3077:37;;;;;;;;;;;;;;;;4295:87;;;;;;;;;;-1:-1:-1;4367:7:0;;;;;;;;;;;;-1:-1:-1;;;4367:7:0;;;;4295:87;;4711:167;;;;;;;;;;-1:-1:-1;4711:167:0;;;;;:::i;:::-;;:::i;3283:54::-;;;;;;;;;;;;;;;;8724:671;;;;;;;;;;;;;:::i;4886:143::-;;;;;;;;;;-1:-1:-1;4886:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;4994:18:0;;;4967:7;4994:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;4886:143;5037:161;5112:4;5129:39;372:10;5152:7;5161:6;5129:8;:39::i;:::-;-1:-1:-1;5186:4:0;5037:161;;;;;:::o;4481:95::-;4534:7;3057:13;3002:2;3057;:13;:::i;:::-;3046:24;;:8;:24;:::i;:::-;4554:14;;4481:95;:::o;5206:366::-;-1:-1:-1;;;;;5329:19:0;;5304:4;5329:19;;;:11;:19;;;;;;;;372:10;5329:33;;;;;;;;:43;-1:-1:-1;5329:43:0;5321:89;;;;-1:-1:-1;;;5321:89:0;;5043:2:1;5321:89:0;;;5025:21:1;5082:2;5062:18;;;5055:30;5121:34;5101:18;;;5094:62;-1:-1:-1;;;5172:18:1;;;5165:31;5213:19;;5321:89:0;;;;;;;;;5421:36;5431:6;5439:9;5450:6;5421:9;:36::i;:::-;-1:-1:-1;;;;;5499:19:0;;;;;;:11;:19;;;;;;;;372:10;5499:33;;;;;;;;;5468:74;;5477:6;;5499:42;;5535:6;;5499:42;:::i;:::-;5468:8;:74::i;:::-;-1:-1:-1;5560:4:0;5206:366;;;;;:::o;8414:135::-;1519:6;;-1:-1:-1;;;;;1519:6:0;372:10;1519:22;1511:67;;;;-1:-1:-1;;;1511:67:0;;;;;;;:::i;:::-;8496:7:::1;:16:::0;;;;8523:8:::1;:17:::0;8414:135::o;9403:314::-;1519:6;;-1:-1:-1;;;;;1519:6:0;372:10;1519:22;1511:67;;;;-1:-1:-1;;;1511:67:0;;;;;;;:::i;:::-;9494:4:::1;9455:20;4677:18:::0;;;:9;:18;;;;;;9514:14;;9511:73:::1;;9542:30;9559:12;9542:16;:30::i;:::-;9613:21;9648:12:::0;;9645:65:::1;;9674:24;9687:10;9674:12;:24::i;:::-;9444:273;;9403:314::o:0;1606:148::-;1519:6;;-1:-1:-1;;;;;1519:6:0;372:10;1519:22;1511:67;;;;-1:-1:-1;;;1511:67:0;;;;;;;:::i;:::-;1713:1:::1;1697:6:::0;;1676:40:::1;::::0;-1:-1:-1;;;;;1697:6:0;;::::1;::::0;1676:40:::1;::::0;1713:1;;1676:40:::1;1744:1;1727:19:::0;;-1:-1:-1;;;;;;1727:19:0::1;::::0;;1606:148::o;8557:159::-;1519:6;;-1:-1:-1;;;;;1519:6:0;372:10;1519:22;1511:67;;;;-1:-1:-1;;;1511:67:0;;;;;;;:::i;:::-;3057:13:::1;3002:2;3057;:13;:::i;:::-;3046:24;::::0;:8:::1;:24;:::i;:::-;8610:12;:22:::0;3057:13:::1;3002:2;3057;:13;:::i;:::-;3046:24;::::0;:8:::1;:24;:::i;:::-;8643:14;:22:::0;8681:27:::1;3057:13;3002:2;3057;:13;:::i;:::-;3046:24;::::0;:8:::1;:24;:::i;:::-;8681:27;::::0;1361:25:1;;;1349:2;1334:18;8681:27:0::1;;;;;;;8557:159::o:0;4711:167::-;4789:4;4806:42;372:10;4830:9;4841:6;4806:9;:42::i;8724:671::-;1519:6;;-1:-1:-1;;;;;1519:6:0;372:10;1519:22;1511:67;;;;-1:-1:-1;;;1511:67:0;;;;;;;:::i;:::-;8788:11:::1;::::0;-1:-1:-1;;;8788:11:0;::::1;;;8787:12;8779:47;;;::::0;-1:-1:-1;;;8779:47:0;;5939:2:1;8779:47:0::1;::::0;::::1;5921:21:1::0;5978:2;5958:18;;;5951:30;6017:25;5997:18;;;5990:53;6060:18;;8779:47:0::1;5737:347:1::0;8779:47:0::1;8837:15;:80:::0;;-1:-1:-1;;;;;;8837:80:0::1;8874:42;8837:80:::0;;::::1;::::0;;;8928:58:::1;::::0;8945:4:::1;::::0;3057:13:::1;3002:2;3057;:13;:::i;:::-;3046:24;::::0;:8:::1;:24;:::i;8928:58::-;9031:15;;;;;;;;;-1:-1:-1::0;;;;;9031:15:0::1;-1:-1:-1::0;;;;;9031:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9013:55:0::1;;9077:4;9084:15;;;;;;;;;-1:-1:-1::0;;;;;9084:15:0::1;-1:-1:-1::0;;;;;9084:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9013:94;::::0;-1:-1:-1;;;;;;9013:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6575:15:1;;;9013:94:0::1;::::0;::::1;6557:34:1::0;6627:15;;6607:18;;;6600:43;6492:18;;9013:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8997:13;:110:::0;;-1:-1:-1;;;;;8997:110:0;;::::1;-1:-1:-1::0;;;;;;8997:110:0;;::::1;;::::0;;9118:15:::1;::::0;::::1;:31;9157:21;9188:4;9194:24;9188:4:::0;-1:-1:-1;;;;;4677:18:0;4650:7;4677:18;;;:9;:18;;;;;;;4584:119;9194:24:::1;9219:1;9221::::0;9223:7:::1;1430::::0;1457:6;-1:-1:-1;;;;;1457:6:0;;1392:79;9223:7:::1;9118:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9118:129:0;;;-1:-1:-1;;;;;7013:15:1;;;9118:129:0::1;::::0;::::1;6995:34:1::0;7045:18;;;7038:34;;;;7088:18;;;7081:34;;;;7131:18;;;7124:34;7195:15;;;7174:19;;;7167:44;9231:15:0::1;7227:19:1::0;;;7220:35;6929:19;;9118:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9265:13:0::1;::::0;9296:15:::1;::::0;9258:71:::1;::::0;-1:-1:-1;;;9258:71:0;;-1:-1:-1;;;;;9296:15:0;;::::1;9258:71;::::0;::::1;7751:51:1::0;-1:-1:-1;;7818:18:1;;;7811:34;9265:13:0;::::1;::::0;-1:-1:-1;9258:29:0::1;::::0;7724:18:1;;9258:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9340:11:0::1;:18:::0;;-1:-1:-1;;;;9369:18:0;-1:-1:-1;;;9369:18:0;;;8724:671::o;5580:347::-;-1:-1:-1;;;;;5673:19:0;;5665:74;;;;-1:-1:-1;;;5665:74:0;;8340:2:1;5665:74:0;;;8322:21:1;8379:2;8359:18;;;8352:30;8418:34;8398:18;;;8391:62;-1:-1:-1;;;8469:18:1;;;8462:40;8519:19;;5665:74:0;8138:406:1;5665:74:0;-1:-1:-1;;;;;5758:21:0;;5750:74;;;;-1:-1:-1;;;5750:74:0;;8751:2:1;5750:74:0;;;8733:21:1;8790:2;8770:18;;;8763:30;8829:34;8809:18;;;8802:62;-1:-1:-1;;;8880:18:1;;;8873:38;8928:19;;5750:74:0;8549:404:1;5750:74:0;-1:-1:-1;;;;;5835:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5887:32;;1361:25:1;;;5887:32:0;;1334:18:1;5887:32:0;;;;;;;5580:347;;;:::o;5935:1908::-;-1:-1:-1;;;;;6023:18:0;;6015:74;;;;-1:-1:-1;;;6015:74:0;;9160:2:1;6015:74:0;;;9142:21:1;9199:2;9179:18;;;9172:30;9238:34;9218:18;;;9211:62;-1:-1:-1;;;9289:18:1;;;9282:41;9340:19;;6015:74:0;8958:407:1;6015:74:0;-1:-1:-1;;;;;6108:16:0;;6100:70;;;;-1:-1:-1;;;6100:70:0;;9572:2:1;6100:70:0;;;9554:21:1;9611:2;9591:18;;;9584:30;9650:34;9630:18;;;9623:62;-1:-1:-1;;;9701:18:1;;;9694:39;9750:19;;6100:70:0;9370:405:1;6100:70:0;6198:1;6189:6;:10;6181:64;;;;-1:-1:-1;;;6181:64:0;;9982:2:1;6181:64:0;;;9964:21:1;10021:2;10001:18;;;9994:30;10060:34;10040:18;;;10033:62;-1:-1:-1;;;10111:18:1;;;10104:39;10160:19;;6181:64:0;9780:405:1;6181:64:0;-1:-1:-1;;;;;6291:24:0;;6256:17;6291:24;;;:18;:24;;;;;;;;6290:25;:52;;;;-1:-1:-1;;;;;;6320:22:0;;;;;;:18;:22;;;;;;;;6319:23;6290:52;6286:1234;;;6373:13;;-1:-1:-1;;;;;6365:21:0;;;6373:13;;6365:21;:55;;;;-1:-1:-1;6404:15:0;;-1:-1:-1;;;;;6390:30:0;;;6404:15;;6390:30;;6365:55;6361:253;;;6458:12;;6449:6;:21;6441:59;;;;-1:-1:-1;;;6441:59:0;;10392:2:1;6441:59:0;;;10374:21:1;10431:2;10411:18;;;10404:30;10470:27;10450:18;;;10443:55;10515:18;;6441:59:0;10190:349:1;6441:59:0;6552:14;;6543:6;6527:13;6537:2;-1:-1:-1;;;;;4677:18:0;4650:7;4677:18;;;:9;:18;;;;;;;4584:119;6527:13;:22;;;;:::i;:::-;:39;6519:79;;;;-1:-1:-1;;;6519:79:0;;10876:2:1;6519:79:0;;;10858:21:1;10915:2;10895:18;;;10888:30;10954:29;10934:18;;;10927:57;11001:18;;6519:79:0;10674:351:1;6519:79:0;6653:13;;-1:-1:-1;;;;;6645:21:0;;;6653:13;;6645:21;:44;;;;-1:-1:-1;;;;;;6670:19:0;;6684:4;6670:19;;6645:44;6642:117;;;6740:3;6730:7;;6721:6;:16;;;;:::i;:::-;:22;;;;:::i;:::-;6709:34;;6642:117;6782:13;;-1:-1:-1;;;;;6776:19:0;;;6782:13;;6776:19;:44;;;;-1:-1:-1;;;;;;6799:21:0;;6815:4;6799:21;;6776:44;6773:118;;;6872:3;6861:8;;6852:6;:17;;;;:::i;:::-;:23;;;;:::i;:::-;6840:35;;6773:118;6956:4;6907:28;4677:18;;;:9;:18;;;;;;6982:6;;-1:-1:-1;;;6982:6:0;;;;6981:7;:30;;;;-1:-1:-1;6998:13:0;;-1:-1:-1;;;;;6992:19:0;;;6998:13;;6992:19;6981:30;:45;;;;-1:-1:-1;7015:11:0;;-1:-1:-1;;;7015:11:0;;;;6981:45;:87;;;;;7051:17;;7030:20;:38;6981:87;6977:532;;;7089:20;7122;7113:6;:29;:53;;;;;7155:11;;7146:6;:20;7113:53;7112:140;;7203:11;;7180:20;:34;7179:73;;7241:11;;7112:140;;7179:73;7218:20;7112:140;;;7170:6;7112:140;7089:163;;7271:30;7288:12;7271:16;:30::i;:::-;7349:21;7392:22;;7389:105;;7439:35;7452:21;7439:12;:35::i;:::-;7070:439;;6977:532;6344:1176;6286:1234;7535:11;;7532:134;;7578:4;7560:24;;;;:9;:24;;;;;:37;;7588:9;;7560:24;:37;;7588:9;;7560:37;:::i;:::-;;;;-1:-1:-1;;7615:39:0;;1361:25:1;;;7638:4:0;;-1:-1:-1;;;;;7615:39:0;;;;;1349:2:1;1334:18;7615:39:0;;;;;;;7532:134;-1:-1:-1;;;;;7694:15:0;;;;;;:9;:15;;;;;;:24;;7712:6;;7694:24;:::i;:::-;-1:-1:-1;;;;;7676:15:0;;;;;;:9;:15;;;;;:42;7762:18;7771:9;7762:6;:18;:::i;:::-;-1:-1:-1;;;;;7745:13:0;;;;;;:9;:13;;;;;;:36;;;;:::i;:::-;-1:-1:-1;;;;;7729:13:0;;;;;;;:9;:13;;;;;:52;;;;7797:38;;;7816:18;7825:9;7816:6;:18;:::i;:::-;7797:38;;1361:25:1;;;1349:2;1334:18;7797:38:0;;;;;;;6004:1839;5935:1908;;;:::o;7851:555::-;3678:6;:13;;-1:-1:-1;;;;3678:13:0;-1:-1:-1;;;3678:13:0;;;7929:27;;7948:7:::1;7929:27;7970:11;::::0;-1:-1:-1;;;7970:11:0;::::1;;;7966:25:::0;7983:7:::1;7966:25;8025:16;::::0;;8039:1:::1;8025:16:::0;;;;;::::1;::::0;;8001:21:::1;::::0;8025:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8025:16:0::1;8001:40;;8070:4;8052;8057:1;8052:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8052:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;8096:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;8096:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;8052:7;;8096:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8086:4;8091:1;8086:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8086:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;8161:15:::1;::::0;8129:62:::1;::::0;8146:4:::1;::::0;8161:15:::1;8179:11:::0;8129:8:::1;:62::i;:::-;8202:15;::::0;:196:::1;::::0;-1:-1:-1;;;8202:196:0;;-1:-1:-1;;;;;8202:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;8283:11;;8202:15:::1;::::0;8325:4;;8352::::1;::::0;8372:15:::1;::::0;8202:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;7918:488;3702:1;-1:-1:-1::0;3714:6:0;:14;;-1:-1:-1;;;;3714:14:0;;;7851:555::o;9725:98::-;9782:16;;:33;;-1:-1:-1;;;;;9782:16:0;;;;:33;;;;;9808:6;;9782:16;:33;:16;:33;9808:6;9782:16;:33;;;;;;;;;;;;;;;;;;;14:548:1;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;1858:248::-;1926:6;1934;1987:2;1975:9;1966:7;1962:23;1958:32;1955:52;;;2003:1;2000;1993:12;1955:52;-1:-1:-1;;2026:23:1;;;2096:2;2081:18;;;2068:32;;-1:-1:-1;1858:248:1:o;2300:247::-;2359:6;2412:2;2400:9;2391:7;2387:23;2383:32;2380:52;;;2428:1;2425;2418:12;2380:52;2467:9;2454:23;2486:31;2511:5;2486:31;:::i;:::-;2536:5;2300:247;-1:-1:-1;;;2300:247:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:422;3374:1;3417:5;3374:1;3431:270;3452:7;3442:8;3439:21;3431:270;;;3511:4;3507:1;3503:6;3499:17;3493:4;3490:27;3487:53;;;3520:18;;:::i;:::-;3570:7;3560:8;3556:22;3553:55;;;3590:16;;;;3553:55;3669:22;;;;3629:15;;;;3431:270;;;3435:3;3285:422;;;;;:::o;3712:806::-;3761:5;3791:8;3781:80;;-1:-1:-1;3832:1:1;3846:5;;3781:80;3880:4;3870:76;;-1:-1:-1;3917:1:1;3931:5;;3870:76;3962:4;3980:1;3975:59;;;;4048:1;4043:130;;;;3955:218;;3975:59;4005:1;3996:10;;4019:5;;;4043:130;4080:3;4070:8;4067:17;4064:43;;;4087:18;;:::i;:::-;-1:-1:-1;;4143:1:1;4129:16;;4158:5;;3955:218;;4257:2;4247:8;4244:16;4238:3;4232:4;4229:13;4225:36;4219:2;4209:8;4206:16;4201:2;4195:4;4192:12;4188:35;4185:77;4182:159;;;-1:-1:-1;4294:19:1;;;4326:5;;4182:159;4373:34;4398:8;4392:4;4373:34;:::i;:::-;4443:6;4439:1;4435:6;4431:19;4422:7;4419:32;4416:58;;;4454:18;;:::i;:::-;4492:20;;3712:806;-1:-1:-1;;;3712:806:1:o;4523:140::-;4581:5;4610:47;4651:4;4641:8;4637:19;4631:4;4610:47;:::i;4668:168::-;4741:9;;;4772;;4789:15;;;4783:22;;4769:37;4759:71;;4810:18;;:::i;5243:128::-;5310:9;;;5331:11;;;5328:37;;;5345:18;;:::i;5376:356::-;5578:2;5560:21;;;5597:18;;;5590:30;5656:34;5651:2;5636:18;;5629:62;5723:2;5708:18;;5376:356::o;6089:251::-;6159:6;6212:2;6200:9;6191:7;6187:23;6183:32;6180:52;;;6228:1;6225;6218:12;6180:52;6260:9;6254:16;6279:31;6304:5;6279:31;:::i;7266:306::-;7354:6;7362;7370;7423:2;7411:9;7402:7;7398:23;7394:32;7391:52;;;7439:1;7436;7429:12;7391:52;7468:9;7462:16;7452:26;;7518:2;7507:9;7503:18;7497:25;7487:35;;7562:2;7551:9;7547:18;7541:25;7531:35;;7266:306;;;;;:::o;7856:277::-;7923:6;7976:2;7964:9;7955:7;7951:23;7947:32;7944:52;;;7992:1;7989;7982:12;7944:52;8024:9;8018:16;8077:5;8070:13;8063:21;8056:5;8053:32;8043:60;;8099:1;8096;8089:12;10544:125;10609:9;;;10630:10;;;10627:36;;;10643:18;;:::i;11030:217::-;11070:1;11096;11086:132;;11140:10;11135:3;11131:20;11128:1;11121:31;11175:4;11172:1;11165:15;11203:4;11200:1;11193:15;11086:132;-1:-1:-1;11232:9:1;;11030:217::o;11384:127::-;11445:10;11440:3;11436:20;11433:1;11426:31;11476:4;11473:1;11466:15;11500:4;11497:1;11490:15;11516:980;11778:4;11826:3;11815:9;11811:19;11857:6;11846:9;11839:25;11883:2;11921:6;11916:2;11905:9;11901:18;11894:34;11964:3;11959:2;11948:9;11944:18;11937:31;11988:6;12023;12017:13;12054:6;12046;12039:22;12092:3;12081:9;12077:19;12070:26;;12131:2;12123:6;12119:15;12105:29;;12152:1;12162:195;12176:6;12173:1;12170:13;12162:195;;;12241:13;;-1:-1:-1;;;;;12237:39:1;12225:52;;12332:15;;;;12297:12;;;;12273:1;12191:9;12162:195;;;-1:-1:-1;;;;;;;12413:32:1;;;;12408:2;12393:18;;12386:60;-1:-1:-1;;;12477:3:1;12462:19;12455:35;12374:3;11516:980;-1:-1:-1;;;11516:980:1:o

ipfs://d02b60bce5245e8d5b1fa90aac67a84ab3f21ddbdcf19e996ff464d35e034c66