Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-06-16
*/

// SPDX-License-Identifier: MIT


/** 
The Dawn of BioVerge OS ($BIOS): A Revolutionary Fusion of Organic Robotics and Web3

Connect with $BIOS
​Telegram
You can reach out to us on our community at https://t.me/biovergeOS for the latest updates and community discussions.

Mail
If you have any questions or need help, please don’t hesitate to reach out to us at [email protected]. We’d love to hear from you!

​Website
Learn more about BIOS at https://bioverge.io/ - explore our tools and get started with your first try.

​Twitter (X)
You can reach out to us on our https://x.com/biovergeos for the latest updates and community discussions.
**/



pragma solidity 0.8.28;

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 biovergeos is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = true;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=32;
    uint256 private _initialSellTax=32;
    uint256 private _finalBuyTax=5;
    uint256 private _finalSellTax=5;
    uint256 private _reduceBuyTaxAt=13;
    uint256 private _reduceSellTaxAt=13;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name = unicode"BioVerge OS";
    string private constant _symbol = unicode"BIOS";
    uint256 public _maxTxAmount = 2500000 * 10**_decimals;
    uint256 public _maxWalletSize = 2500000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 1350000 * 10**_decimals;
    uint256 public _maxTaxSwap= 67500000 * 10**_decimals;

    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 () {
        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = 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 from, address to, uint256 amount) private {
        require(from != 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 (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (transferDelayEnabled) {
                  if (to != address(uniswapV2Router) && to != address(uniswapV2Pair)) {
                      require(
                          _holderLastTransferTimestamp[tx.origin] <
                              block.number,
                          "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                      );
                      _holderLastTransferTimestamp[tx.origin] = block.number;
                  }
              }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 50000000000000000) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

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


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

    function swapTokensForEth(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 biosrm() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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


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

    receive() external payable {}

    function biosclear() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }
}

• 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":"_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":"biosclear","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"biosrm","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openbios","outputs":[],"stateMutability":"nonpayable","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":"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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

60806040526006805460ff191660011790556020600781905560085560056009818155600a828155600d600b819055600c819055929092555f600e5561004491610312565b61005190622625a0610327565b600f556100606009600a610312565b61006d90622625a0610327565b60105561007c6009600a610312565b6100899062149970610327565b6011556100986009600a610312565b6100a690630405f7e0610327565b6012556014805461ffff60a81b191690553480156100c2575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191661010033021790556101266009600a610312565b610134906305f5e100610327565b335f90815260016020819052604082209290925560039061015c5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308152600390935281832080548516600190811790915560065461010090049091168352912080549092161790556101be3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101f56009600a610312565b610203906305f5e100610327565b60405190815260200160405180910390a361033e565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102685780850481111561024c5761024c610219565b600184161561025a57908102905b60019390931c928002610231565b935093915050565b5f8261027e5750600161030c565b8161028a57505f61030c565b81600181146102a057600281146102aa576102c6565b600191505061030c565b60ff8411156102bb576102bb610219565b50506001821b61030c565b5060208310610133831016604e8410600b84101617156102e9575081810a61030c565b6102f55f19848461022d565b805f190482111561030857610308610219565b0290505b92915050565b5f61032060ff841683610270565b9392505050565b808202811582820484141761030c5761030c610219565b6117ed8061034b5f395ff3fe608060405260043610610113575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146102d9578063a9059cbb14610305578063bf474bed14610324578063c876d0b914610339578063dd62ed3e14610352575f5ffd5b8063715018a6146102615780637d1db4a5146102755780637e3e92fd1461028a5780638da5cb5b1461029e5780638f9a55c0146102c4575f5ffd5b806318160ddd116100e357806318160ddd146101cb57806323b872dd146101df578063313ce567146101fe57806348300b561461021957806370a082311461022d575f5ffd5b806306fdde031461011e578063095ea7b3146101635780630c78aca0146101925780630faee56f146101a8575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b5060408051808201909152600b81526a42696f5665726765204f5360a81b60208201525b60405161015a91906113f2565b60405180910390f35b34801561016e575f5ffd5b5061018261017d36600461143e565b610396565b604051901515815260200161015a565b34801561019d575f5ffd5b506101a66103ac565b005b3480156101b3575f5ffd5b506101bd60125481565b60405190815260200161015a565b3480156101d6575f5ffd5b506101bd610470565b3480156101ea575f5ffd5b506101826101f9366004611468565b610490565b348015610209575f5ffd5b506040516009815260200161015a565b348015610224575f5ffd5b506101a66104f7565b348015610238575f5ffd5b506101bd6102473660046114a6565b6001600160a01b03165f9081526001602052604090205490565b34801561026c575f5ffd5b506101a66108a0565b348015610280575f5ffd5b506101bd600f5481565b348015610295575f5ffd5b506101a6610911565b3480156102a9575f5ffd5b505f546040516001600160a01b03909116815260200161015a565b3480156102cf575f5ffd5b506101bd60105481565b3480156102e4575f5ffd5b5060408051808201909152600481526342494f5360e01b602082015261014d565b348015610310575f5ffd5b5061018261031f36600461143e565b610967565b34801561032f575f5ffd5b506101bd60115481565b348015610344575f5ffd5b506006546101829060ff1681565b34801561035d575f5ffd5b506101bd61036c3660046114c1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a2338484610973565b5060015b92915050565b5f546001600160a01b031633146103de5760405162461bcd60e51b81526004016103d5906114f8565b60405180910390fd5b6103ea6009600a611624565b6103f8906305f5e100611632565b600f556104076009600a611624565b610415906305f5e100611632565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61044f6009600a611624565b61045d906305f5e100611632565b60405190815260200160405180910390a1565b5f61047d6009600a611624565b61048b906305f5e100611632565b905090565b5f61049c848484610a96565b6104ed84336104e885604051806060016040528060288152602001611790602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061106a565b610973565b5060019392505050565b5f546001600160a01b031633146105205760405162461bcd60e51b81526004016103d5906114f8565b601454600160a01b900460ff161561057a5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103d5565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c39030906105b56009600a611624565b6104e8906305f5e100611632565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610613573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106379190611649565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610696573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106ba9190611649565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610704573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107289190611649565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061076f816001600160a01b03165f9081526001602052604090205490565b5f5f6107825f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107e8573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061080d9190611664565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610862573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610886919061168f565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108c95760405162461bcd60e51b81526004016103d5906114f8565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b60065461010090046001600160a01b0316336001600160a01b031614610935575f5ffd5b305f90815260016020526040902054801561095357610953816110a2565b4780156109635761096381611212565b5050565b5f6103a2338484610a96565b6001600160a01b0383166109d55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d5565b6001600160a01b038216610a365760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d5565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610afa5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d5565b6001600160a01b038216610b5c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103d5565b5f8111610bbd5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103d5565b5f80546001600160a01b03858116911614801590610be857505f546001600160a01b03848116911614155b15610f2d57610c196064610c13600b54600e5411610c0857600754610c0c565b6009545b859061124d565b906112d2565b60065490915060ff1615610cff576013546001600160a01b03848116911614801590610c5357506014546001600160a01b03848116911614155b15610cff57325f908152600560205260409020544311610ced5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016103d5565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610d2a57506013546001600160a01b03848116911614155b8015610d4e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e3457600f54821115610da55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103d5565b60105482610dc7856001600160a01b03165f9081526001602052604090205490565b610dd191906116ae565b1115610e1f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103d5565b600e8054905f610e2e836116c1565b91905055505b6014546001600160a01b038481169116148015610e5a57506001600160a01b0384163014155b15610e8757610e846064610c13600c54600e5411610e7a57600854610c0c565b600a54859061124d565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610ebd57506014546001600160a01b038581169116145b8015610ed25750601454600160b01b900460ff165b8015610edf575060115481115b8015610eee5750600d54600e54115b15610f2b57610f10610f0b84610f0684601254611313565b611313565b6110a2565b4766b1a2bc2ec50000811115610f2957610f2947611212565b505b505b8015610fa557305f90815260016020526040902054610f4c9082611327565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f9c9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610fc79083611385565b6001600160a01b0385165f9081526001602052604090205561100a610fec8383611385565b6001600160a01b0385165f9081526001602052604090205490611327565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110538585611385565b60405190815260200160405180910390a350505050565b5f818484111561108d5760405162461bcd60e51b81526004016103d591906113f2565b505f61109984866116d9565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110e8576110e86116ec565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561113f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111639190611649565b81600181518110611176576111766116ec565b6001600160a01b03928316602091820292909201015260135461119c9130911684610973565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906111d49085905f90869030904290600401611700565b5f604051808303815f87803b1580156111eb575f5ffd5b505af11580156111fd573d5f5f3e3d5ffd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610963573d5f5f3e3d5ffd5b5f825f0361125c57505f6103a6565b5f6112678385611632565b9050826112748583611770565b146112cb5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103d5565b9392505050565b5f6112cb83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506113c6565b5f81831161132157826112cb565b50919050565b5f8061133383856116ae565b9050838110156112cb5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103d5565b5f6112cb83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061106a565b5f81836113e65760405162461bcd60e51b81526004016103d591906113f2565b505f6110998486611770565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461143b575f5ffd5b50565b5f5f6040838503121561144f575f5ffd5b823561145a81611427565b946020939093013593505050565b5f5f5f6060848603121561147a575f5ffd5b833561148581611427565b9250602084013561149581611427565b929592945050506040919091013590565b5f602082840312156114b6575f5ffd5b81356112cb81611427565b5f5f604083850312156114d2575f5ffd5b82356114dd81611427565b915060208301356114ed81611427565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561157c578085048111156115605761156061152d565b600184161561156e57908102905b60019390931c928002611545565b935093915050565b5f82611592575060016103a6565b8161159e57505f6103a6565b81600181146115b457600281146115be576115da565b60019150506103a6565b60ff8411156115cf576115cf61152d565b50506001821b6103a6565b5060208310610133831016604e8410600b84101617156115fd575081810a6103a6565b6116095f198484611541565b805f190482111561161c5761161c61152d565b029392505050565b5f6112cb60ff841683611584565b80820281158282048414176103a6576103a661152d565b5f60208284031215611659575f5ffd5b81516112cb81611427565b5f5f5f60608486031215611676575f5ffd5b5050815160208301516040909301519094929350919050565b5f6020828403121561169f575f5ffd5b815180151581146112cb575f5ffd5b808201808211156103a6576103a661152d565b5f600182016116d2576116d261152d565b5060010190565b818103818111156103a6576103a661152d565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156117505783516001600160a01b0316835260209384019390920191600101611729565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261178a57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ccb3e9991941995cbdaeb88dc1807d5fbe45ee0786d48b9ffcd236cb52ea695064736f6c634300081c0033

0x608060405260043610610113575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146102d9578063a9059cbb14610305578063bf474bed14610324578063c876d0b914610339578063dd62ed3e14610352575f5ffd5b8063715018a6146102615780637d1db4a5146102755780637e3e92fd1461028a5780638da5cb5b1461029e5780638f9a55c0146102c4575f5ffd5b806318160ddd116100e357806318160ddd146101cb57806323b872dd146101df578063313ce567146101fe57806348300b561461021957806370a082311461022d575f5ffd5b806306fdde031461011e578063095ea7b3146101635780630c78aca0146101925780630faee56f146101a8575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b5060408051808201909152600b81526a42696f5665726765204f5360a81b60208201525b60405161015a91906113f2565b60405180910390f35b34801561016e575f5ffd5b5061018261017d36600461143e565b610396565b604051901515815260200161015a565b34801561019d575f5ffd5b506101a66103ac565b005b3480156101b3575f5ffd5b506101bd60125481565b60405190815260200161015a565b3480156101d6575f5ffd5b506101bd610470565b3480156101ea575f5ffd5b506101826101f9366004611468565b610490565b348015610209575f5ffd5b506040516009815260200161015a565b348015610224575f5ffd5b506101a66104f7565b348015610238575f5ffd5b506101bd6102473660046114a6565b6001600160a01b03165f9081526001602052604090205490565b34801561026c575f5ffd5b506101a66108a0565b348015610280575f5ffd5b506101bd600f5481565b348015610295575f5ffd5b506101a6610911565b3480156102a9575f5ffd5b505f546040516001600160a01b03909116815260200161015a565b3480156102cf575f5ffd5b506101bd60105481565b3480156102e4575f5ffd5b5060408051808201909152600481526342494f5360e01b602082015261014d565b348015610310575f5ffd5b5061018261031f36600461143e565b610967565b34801561032f575f5ffd5b506101bd60115481565b348015610344575f5ffd5b506006546101829060ff1681565b34801561035d575f5ffd5b506101bd61036c3660046114c1565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a2338484610973565b5060015b92915050565b5f546001600160a01b031633146103de5760405162461bcd60e51b81526004016103d5906114f8565b60405180910390fd5b6103ea6009600a611624565b6103f8906305f5e100611632565b600f556104076009600a611624565b610415906305f5e100611632565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61044f6009600a611624565b61045d906305f5e100611632565b60405190815260200160405180910390a1565b5f61047d6009600a611624565b61048b906305f5e100611632565b905090565b5f61049c848484610a96565b6104ed84336104e885604051806060016040528060288152602001611790602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061106a565b610973565b5060019392505050565b5f546001600160a01b031633146105205760405162461bcd60e51b81526004016103d5906114f8565b601454600160a01b900460ff161561057a5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103d5565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c39030906105b56009600a611624565b6104e8906305f5e100611632565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610613573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106379190611649565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610696573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106ba9190611649565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610704573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107289190611649565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061076f816001600160a01b03165f9081526001602052604090205490565b5f5f6107825f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107e8573d5f5f3e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061080d9190611664565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610862573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610886919061168f565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146108c95760405162461bcd60e51b81526004016103d5906114f8565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b60065461010090046001600160a01b0316336001600160a01b031614610935575f5ffd5b305f90815260016020526040902054801561095357610953816110a2565b4780156109635761096381611212565b5050565b5f6103a2338484610a96565b6001600160a01b0383166109d55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d5565b6001600160a01b038216610a365760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d5565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610afa5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d5565b6001600160a01b038216610b5c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103d5565b5f8111610bbd5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103d5565b5f80546001600160a01b03858116911614801590610be857505f546001600160a01b03848116911614155b15610f2d57610c196064610c13600b54600e5411610c0857600754610c0c565b6009545b859061124d565b906112d2565b60065490915060ff1615610cff576013546001600160a01b03848116911614801590610c5357506014546001600160a01b03848116911614155b15610cff57325f908152600560205260409020544311610ced5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016103d5565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610d2a57506013546001600160a01b03848116911614155b8015610d4e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e3457600f54821115610da55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103d5565b60105482610dc7856001600160a01b03165f9081526001602052604090205490565b610dd191906116ae565b1115610e1f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103d5565b600e8054905f610e2e836116c1565b91905055505b6014546001600160a01b038481169116148015610e5a57506001600160a01b0384163014155b15610e8757610e846064610c13600c54600e5411610e7a57600854610c0c565b600a54859061124d565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610ebd57506014546001600160a01b038581169116145b8015610ed25750601454600160b01b900460ff165b8015610edf575060115481115b8015610eee5750600d54600e54115b15610f2b57610f10610f0b84610f0684601254611313565b611313565b6110a2565b4766b1a2bc2ec50000811115610f2957610f2947611212565b505b505b8015610fa557305f90815260016020526040902054610f4c9082611327565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f9c9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610fc79083611385565b6001600160a01b0385165f9081526001602052604090205561100a610fec8383611385565b6001600160a01b0385165f9081526001602052604090205490611327565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110538585611385565b60405190815260200160405180910390a350505050565b5f818484111561108d5760405162461bcd60e51b81526004016103d591906113f2565b505f61109984866116d9565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106110e8576110e86116ec565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561113f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111639190611649565b81600181518110611176576111766116ec565b6001600160a01b03928316602091820292909201015260135461119c9130911684610973565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906111d49085905f90869030904290600401611700565b5f604051808303815f87803b1580156111eb575f5ffd5b505af11580156111fd573d5f5f3e3d5ffd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610963573d5f5f3e3d5ffd5b5f825f0361125c57505f6103a6565b5f6112678385611632565b9050826112748583611770565b146112cb5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103d5565b9392505050565b5f6112cb83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506113c6565b5f81831161132157826112cb565b50919050565b5f8061133383856116ae565b9050838110156112cb5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103d5565b5f6112cb83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061106a565b5f81836113e65760405162461bcd60e51b81526004016103d591906113f2565b505f6110998486611770565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461143b575f5ffd5b50565b5f5f6040838503121561144f575f5ffd5b823561145a81611427565b946020939093013593505050565b5f5f5f6060848603121561147a575f5ffd5b833561148581611427565b9250602084013561149581611427565b929592945050506040919091013590565b5f602082840312156114b6575f5ffd5b81356112cb81611427565b5f5f604083850312156114d2575f5ffd5b82356114dd81611427565b915060208301356114ed81611427565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561157c578085048111156115605761156061152d565b600184161561156e57908102905b60019390931c928002611545565b935093915050565b5f82611592575060016103a6565b8161159e57505f6103a6565b81600181146115b457600281146115be576115da565b60019150506103a6565b60ff8411156115cf576115cf61152d565b50506001821b6103a6565b5060208310610133831016604e8410600b84101617156115fd575081810a6103a6565b6116095f198484611541565b805f190482111561161c5761161c61152d565b029392505050565b5f6112cb60ff841683611584565b80820281158282048414176103a6576103a661152d565b5f60208284031215611659575f5ffd5b81516112cb81611427565b5f5f5f60608486031215611676575f5ffd5b5050815160208301516040909301519094929350919050565b5f6020828403121561169f575f5ffd5b815180151581146112cb575f5ffd5b808201808211156103a6576103a661152d565b5f600182016116d2576116d261152d565b5060010190565b818103818111156103a6576103a661152d565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156117505783516001600160a01b0316835260209384019390920191600101611729565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261178a57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220ccb3e9991941995cbdaeb88dc1807d5fbe45ee0786d48b9ffcd236cb52ea695064736f6c634300081c0033

4121:7983:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6054:83;;;;;;;;;;-1:-1:-1;6124:5:0;;;;;;;;;;;;-1:-1:-1;;;6124:5:0;;;;6054:83;;;;;;;:::i;:::-;;;;;;;;6887:161;;;;;;;;;;-1:-1:-1;6887:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6887:161:0;945:187:1;10741:190:0;;;;;;;;;;;;;:::i;:::-;;5329:52;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;5329:52:0;1137:177:1;6331:95:0;;;;;;;;;;;;;:::i;7056:313::-;;;;;;;;;;-1:-1:-1;7056:313:0;;;;;:::i;:::-;;:::i;6240:83::-;;;;;;;;;;-1:-1:-1;6240:83:0;;4955:1;1974:36:1;;1962:2;1947:18;6240:83:0;1832:184:1;11041:668:0;;;;;;;;;;;;;:::i;6434:119::-;;;;;;;;;;-1:-1:-1;6434:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6527:18:0;6500:7;6527:18;;;:9;:18;;;;;;;6434:119;3202:148;;;;;;;;;;;;;:::i;5143:53::-;;;;;;;;;;;;;;;;11754:347;;;;;;;;;;;;;:::i;2988:79::-;;;;;;;;;;-1:-1:-1;3026:7:0;3053:6;2988:79;;-1:-1:-1;;;;;3053:6:0;;;2419:51:1;;2407:2;2392:18;2988:79:0;2273:203:1;5203:55:0;;;;;;;;;;;;;;;;6145:87;;;;;;;;;;-1:-1:-1;6217:7:0;;;;;;;;;;;;-1:-1:-1;;;6217:7:0;;;;6145:87;;6561:167;;;;;;;;;;-1:-1:-1;6561:167:0;;;;;:::i;:::-;;:::i;5265:57::-;;;;;;;;;;;;;;;;4513:39;;;;;;;;;;-1:-1:-1;4513:39:0;;;;;;;;6736:143;;;;;;;;;;-1:-1:-1;6736:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6844:18:0;;;6817:7;6844:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6736:143;6887:161;6962:4;6979:39;823:10;7002:7;7011:6;6979:8;:39::i;:::-;-1:-1:-1;7036:4:0;6887:161;;;;;:::o;10741:190::-;3115:6;;-1:-1:-1;;;;;3115:6:0;823:10;3115:22;3107:67;;;;-1:-1:-1;;;3107:67:0;;;;;;;:::i;:::-;;;;;;;;;5010:13:::1;4955:1;5010:2;:13;:::i;:::-;4998:25;::::0;:9:::1;:25;:::i;:::-;10788:12;:22:::0;5010:13:::1;4955:1;5010:2;:13;:::i;:::-;4998:25;::::0;:9:::1;:25;:::i;:::-;10821:14;:22:::0;10854:20:::1;:26:::0;;-1:-1:-1;;10854:26:0::1;::::0;;10896:27:::1;5010:13;4955:1;-1:-1:-1::0;5010:13:0::1;:::i;:::-;4998:25;::::0;:9:::1;:25;:::i;:::-;10896:27;::::0;1283:25:1;;;1271:2;1256:18;10896:27:0::1;;;;;;;10741:190::o:0;6331:95::-;6384:7;5010:13;4955:1;5010:2;:13;:::i;:::-;4998:25;;:9;:25;:::i;:::-;6404:14;;6331:95;:::o;7056:313::-;7154:4;7171:36;7181:6;7189:9;7200:6;7171:9;:36::i;:::-;7218:121;7227:6;823:10;7249:89;7287:6;7249:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7249:19:0;;;;;;:11;:19;;;;;;;;823:10;7249:33;;;;;;;;;;:37;:89::i;:::-;7218:8;:121::i;:::-;-1:-1:-1;7357:4:0;7056:313;;;;;:::o;11041:668::-;3115:6;;-1:-1:-1;;;;;3115:6:0;823:10;3115:22;3107:67;;;;-1:-1:-1;;;3107:67:0;;;;;;;:::i;:::-;11102:11:::1;::::0;-1:-1:-1;;;11102:11:0;::::1;;;11101:12;11093:47;;;::::0;-1:-1:-1;;;11093:47:0;;5174:2:1;11093:47:0::1;::::0;::::1;5156:21:1::0;5213:2;5193:18;;;5186:30;5252:25;5232:18;;;5225:53;5295:18;;11093:47:0::1;4972:347:1::0;11093:47:0::1;11151:15;:80:::0;;-1:-1:-1;;;;;;11151:80:0::1;11188:42;11151:80:::0;;::::1;::::0;;;11242:58:::1;::::0;11259:4:::1;::::0;5010:13:::1;4955:1;5010:2;:13;:::i;:::-;4998:25;::::0;:9:::1;:25;:::i;11242:58::-;11345:15;;;;;;;;;-1:-1:-1::0;;;;;11345:15:0::1;-1:-1:-1::0;;;;;11345:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11327:55:0::1;;11391:4;11398:15;;;;;;;;;-1:-1:-1::0;;;;;11398:15:0::1;-1:-1:-1::0;;;;;11398:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11327:94;::::0;-1:-1:-1;;;;;;11327:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5772:32:1;;;11327:94:0::1;::::0;::::1;5754:51:1::0;5841:32;;5821:18;;;5814:60;5727:18;;11327:94:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11311:13;:110:::0;;-1:-1:-1;;;;;11311:110:0;;::::1;-1:-1:-1::0;;;;;;11311:110:0;;::::1;;::::0;;11432:15:::1;::::0;::::1;:31;11471:21;11502:4;11508:24;11502:4:::0;-1:-1:-1;;;;;6527:18:0;6500:7;6527:18;;;:9;:18;;;;;;;6434:119;11508:24:::1;11533:1;11535;11537:7;3026::::0;3053:6;-1:-1:-1;;;;;3053:6:0;;2988:79;11537:7:::1;11432:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11432:129:0;;;-1:-1:-1;;;;;6206:32:1;;;11432:129:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;11545:15:0::1;6454:19:1::0;;;6447:35;6160:19;;11432:129:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11579:13:0::1;::::0;11610:15:::1;::::0;11572:71:::1;::::0;-1:-1:-1;;;11572:71:0;;-1:-1:-1;;;;;11610:15:0;;::::1;11572:71;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;11579:13:0;::::1;::::0;-1:-1:-1;11572:29:0::1;::::0;7101:18:1;;11572:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11654:11:0::1;:18:::0;;-1:-1:-1;;;;11683:18:0;-1:-1:-1;;;11683:18:0;;;11041:668::o;3202:148::-;3115:6;;-1:-1:-1;;;;;3115:6:0;823:10;3115:22;3107:67;;;;-1:-1:-1;;;3107:67:0;;;;;;;:::i;:::-;3309:1:::1;3293:6:::0;;3272:40:::1;::::0;-1:-1:-1;;;;;3293:6:0;;::::1;::::0;3272:40:::1;::::0;3309:1;;3272:40:::1;3340:1;3323:19:::0;;-1:-1:-1;;;;;;3323:19:0::1;::::0;;3202:148::o;11754:347::-;11817:10;;;;;-1:-1:-1;;;;;11817:10:0;823;-1:-1:-1;;;;;11803:24:0;;11795:33;;;;;;11878:4;11839:20;6527:18;;;:9;:18;;;;;;11898:14;;11895:73;;11926:30;11943:12;11926:16;:30::i;:::-;11997:21;12032:12;;12029:65;;12058:24;12071:10;12058:12;:24::i;:::-;11784:317;;11754:347::o;6561:167::-;6639:4;6656:42;823:10;6680:9;6691:6;6656:9;:42::i;7377:335::-;-1:-1:-1;;;;;7470:19:0;;7462:68;;;;-1:-1:-1;;;7462:68:0;;7717:2:1;7462:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;7462:68:0;7515:400:1;7462:68:0;-1:-1:-1;;;;;7549:21:0;;7541:68;;;;-1:-1:-1;;;7541:68:0;;8122:2:1;7541:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;7541:68:0;7920:398:1;7541:68:0;-1:-1:-1;;;;;7620:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7672:32;;1283:25:1;;;7672:32:0;;1256:18:1;7672:32:0;;;;;;;7377:335;;;:::o;7720:2414::-;-1:-1:-1;;;;;7808:18:0;;7800:68;;;;-1:-1:-1;;;7800:68:0;;8525:2:1;7800:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;7800:68:0;8323:401:1;7800:68:0;-1:-1:-1;;;;;7887:16:0;;7879:64;;;;-1:-1:-1;;;7879:64:0;;8931:2:1;7879:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;7879:64:0;8729:399:1;7879:64:0;7971:1;7962:6;:10;7954:64;;;;-1:-1:-1;;;7954:64:0;;9335:2:1;7954:64:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;7954:64:0;9133:405:1;7954:64:0;8029:17;3053:6;;-1:-1:-1;;;;;8063:15:0;;;3053:6;;8063:15;;;;:32;;-1:-1:-1;3026:7:0;3053:6;-1:-1:-1;;;;;8082:13:0;;;3053:6;;8082:13;;8063:32;8059:1719;;;8124:76;8196:3;8124:67;8146:15;;8136:9;;:25;8135:55;;8176:14;;8135:55;;;8163:12;;8135:55;8124:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8221:20;;8112:88;;-1:-1:-1;8221:20:0;;8217:508;;;8282:15;;-1:-1:-1;;;;;8268:30:0;;;8282:15;;8268:30;;;;:62;;-1:-1:-1;8316:13:0;;-1:-1:-1;;;;;8302:28:0;;;8316:13;;8302:28;;8268:62;8264:444;;;8422:9;8393:39;;;;:28;:39;;;;;;8466:12;-1:-1:-1;8357:250:0;;;;-1:-1:-1;;;8357:250:0;;9745:2:1;8357:250:0;;;9727:21:1;9784:2;9764:18;;;9757:30;9823:34;9803:18;;;9796:62;9894:34;9874:18;;;9867:62;-1:-1:-1;;;9945:19:1;;;9938:40;9995:19;;8357:250:0;9543:477:1;8357:250:0;8661:9;8632:39;;;;:28;:39;;;;;8674:12;8632:54;;8264:444;8753:13;;-1:-1:-1;;;;;8745:21:0;;;8753:13;;8745:21;:55;;;;-1:-1:-1;8784:15:0;;-1:-1:-1;;;;;8770:30:0;;;8784:15;;8770:30;;8745:55;:83;;;;-1:-1:-1;;;;;;8806:22:0;;;;;;:18;:22;;;;;;;;8804:24;8745:83;8741:313;;;8868:12;;8858:6;:22;;8850:60;;;;-1:-1:-1;;;8850:60:0;;10227:2:1;8850:60:0;;;10209:21:1;10266:2;10246:18;;;10239:30;10305:27;10285:18;;;10278:55;10350:18;;8850:60:0;10025:349:1;8850:60:0;8963:14;;8953:6;8937:13;8947:2;-1:-1:-1;;;;;6527:18:0;6500:7;6527:18;;;:9;:18;;;;;;;6434:119;8937:13;:22;;;;:::i;:::-;:40;;8929:79;;;;-1:-1:-1;;;8929:79:0;;10711:2:1;8929:79:0;;;10693:21:1;10750:2;10730:18;;;10723:30;10789:28;10769:18;;;10762:56;10835:18;;8929:79:0;10509:350:1;8929:79:0;9027:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8741:313;9079:13;;-1:-1:-1;;;;;9073:19:0;;;9079:13;;9073:19;:43;;;;-1:-1:-1;;;;;;9096:20:0;;9111:4;9096:20;;9073:43;9070:174;;;9149:79;9224:3;9149:70;9171:16;;9161:9;;:26;9160:58;;9203:15;;9160:58;;;9189:13;;9149:6;;:10;:70::i;:79::-;9137:91;;9070:174;9309:4;9260:28;6527:18;;;:9;:18;;;;;;9335:6;;-1:-1:-1;;;9335:6:0;;;;9334:7;:32;;;;-1:-1:-1;9353:13:0;;-1:-1:-1;;;;;9345:21:0;;;9353:13;;9345:21;9334:32;:47;;;;-1:-1:-1;9370:11:0;;-1:-1:-1;;;9370:11:0;;;;9334:47;:89;;;;;9406:17;;9385:20;:38;9334:89;:121;;;;;9437:18;;9427:9;;:28;9334:121;9330:437;;;9476:67;9493:49;9497:6;9504:37;9508:20;9529:11;;9504:3;:37::i;:::-;9493:3;:49::i;:::-;9476:16;:67::i;:::-;9591:21;9655:17;9634:38;;9631:121;;;9697:35;9710:21;9697:12;:35::i;:::-;9457:310;9330:437;8097:1681;8059:1719;9793:11;;9790:161;;9861:4;9843:24;;;;:9;:24;;;;;;:39;;9872:9;9843:28;:39::i;:::-;9836:4;9818:24;;;;:9;:24;;;;;;;:64;;;;9900:39;;-1:-1:-1;;;;;9900:39:0;;;;;;;9929:9;1283:25:1;;1271:2;1256:18;;1137:177;9900:39:0;;;;;;;;9790:161;-1:-1:-1;;;;;9977:15:0;;;;;;:9;:15;;;;;;:27;;9997:6;9977:19;:27::i;:::-;-1:-1:-1;;;;;9961:15:0;;;;;;:9;:15;;;;;:43;10029:40;10047:21;:6;10058:9;10047:10;:21::i;:::-;-1:-1:-1;;;;;10029:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10015:13:0;;;;;;;:9;:13;;;;;:54;;;;10085:41;;;10104:21;:6;10115:9;10104:10;:21::i;:::-;10085:41;;1283:25:1;;;1271:2;1256:18;10085:41:0;;;;;;;7789:2345;7720:2414;;;:::o;1880:190::-;1966:7;2002:12;1994:6;;;;1986:29;;;;-1:-1:-1;;;1986:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2026:9:0;2038:5;2042:1;2038;:5;:::i;:::-;2026:17;1880:190;-1:-1:-1;;;;;1880:190:0:o;10250:483::-;5663:6;:13;;-1:-1:-1;;;;5663:13:0;-1:-1:-1;;;5663:13:0;;;10352:16:::1;::::0;;10366:1:::1;10352:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10352:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10352:16:0::1;10328:40;;10397:4;10379;10384:1;10379:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10379:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10423:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10423:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10379:7;;10423:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10413:4;10418:1;10413:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10413:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10488:15:::1;::::0;10456:62:::1;::::0;10473:4:::1;::::0;10488:15:::1;10506:11:::0;10456:8:::1;:62::i;:::-;10529:15;::::0;:196:::1;::::0;-1:-1:-1;;;10529:196:0;;-1:-1:-1;;;;;10529:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10610:11;;10529:15:::1;::::0;10652:4;;10679::::1;::::0;10699:15:::1;::::0;10529:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;5699:6:0;:14;;-1:-1:-1;;;;5699:14:0;;;-1:-1:-1;;;;10250:483:0:o;10939:92::-;10996:10;;:27;;:10;;;;-1:-1:-1;;;;;10996:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;2078:246;2136:7;2160:1;2165;2160:6;2156:47;;-1:-1:-1;2190:1:0;2183:8;;2156:47;2213:9;2225:5;2229:1;2225;:5;:::i;:::-;2213:17;-1:-1:-1;2258:1:0;2249:5;2253:1;2213:17;2249:5;:::i;:::-;:10;2241:56;;;;-1:-1:-1;;;2241:56:0;;12789:2:1;2241:56:0;;;12771:21:1;12828:2;12808:18;;;12801:30;12867:34;12847:18;;;12840:62;-1:-1:-1;;;12918:18:1;;;12911:31;12959:19;;2241:56:0;12587:397:1;2241:56:0;2315:1;2078:246;-1:-1:-1;;;2078:246:0:o;2332:132::-;2390:7;2417:39;2421:1;2424;2417:39;;;;;;;;;;;;;;;;;:3;:39::i;10144:98::-;10201:7;10228:1;10226;:3;10225:9;;10233:1;10225:9;;;-1:-1:-1;10231:1:0;10144:98;-1:-1:-1;10144:98:0:o;1549:179::-;1607:7;;1639:5;1643:1;1639;:5;:::i;:::-;1627:17;;1668:1;1663;:6;;1655:46;;;;-1:-1:-1;;;1655:46:0;;13191:2:1;1655:46:0;;;13173:21:1;13230:2;13210:18;;;13203:30;13269:29;13249:18;;;13242:57;13316:18;;1655:46:0;12989:351:1;1736:136:0;1794:7;1821:43;1825:1;1828;1821:43;;;;;;;;;;;;;;;;;:3;:43::i;2472:189::-;2558:7;2593:12;2586:5;2578:28;;;;-1:-1:-1;;;2578:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2617:9:0;2629:5;2633:1;2629;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:367::-;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:356::-;3076:2;3058:21;;;3095:18;;;3088:30;3154:34;3149:2;3134:18;;3127:62;3221:2;3206:18;;2874:356::o;3235:127::-;3296:10;3291:3;3287:20;3284:1;3277:31;3327:4;3324:1;3317:15;3351:4;3348:1;3341:15;3367:375;3455:1;3473:5;3487:249;3508:1;3498:8;3495:15;3487:249;;;3558:4;3553:3;3549:14;3543:4;3540:24;3537:50;;;3567:18;;:::i;:::-;3617:1;3607:8;3603:16;3600:49;;;3631:16;;;;3600:49;3714:1;3710:16;;;;;3670:15;;3487:249;;;3367:375;;;;;;:::o;3747:902::-;3796:5;3826:8;3816:80;;-1:-1:-1;3867:1:1;3881:5;;3816:80;3915:4;3905:76;;-1:-1:-1;3952:1:1;3966:5;;3905:76;3997:4;4015:1;4010:59;;;;4083:1;4078:174;;;;3990:262;;4010:59;4040:1;4031:10;;4054:5;;;4078:174;4115:3;4105:8;4102:17;4099:43;;;4122:18;;:::i;:::-;-1:-1:-1;;4178:1:1;4164:16;;4237:5;;3990:262;;4336:2;4326:8;4323:16;4317:3;4311:4;4308:13;4304:36;4298:2;4288:8;4285:16;4280:2;4274:4;4271:12;4267:35;4264:77;4261:203;;;-1:-1:-1;4373:19:1;;;4449:5;;4261:203;4496:42;-1:-1:-1;;4521:8:1;4515:4;4496:42;:::i;:::-;4574:6;4570:1;4566:6;4562:19;4553:7;4550:32;4547:58;;;4585:18;;:::i;:::-;4623:20;;3747:902;-1:-1:-1;;;3747:902:1:o;4654:140::-;4712:5;4741:47;4782:4;4772:8;4768:19;4762:4;4741:47;:::i;4799:168::-;4872:9;;;4903;;4920:15;;;4914:22;;4900:37;4890:71;;4941:18;;:::i;5324:251::-;5394:6;5447:2;5435:9;5426:7;5422:23;5418:32;5415:52;;;5463:1;5460;5453:12;5415:52;5495:9;5489:16;5514:31;5539:5;5514:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;10379:125;10444:9;;;10465:10;;;10462:36;;;10478:18;;:::i;10864:135::-;10903:3;10924:17;;;10921:43;;10944:18;;:::i;:::-;-1:-1:-1;10991:1:1;10980:13;;10864:135::o;11004:128::-;11071:9;;;11092:11;;;11089:37;;;11106:18;;:::i;11269:127::-;11330:10;11325:3;11321:20;11318:1;11311:31;11361:4;11358:1;11351:15;11385:4;11382:1;11375:15;11401:959;11663:4;11711:3;11700:9;11696:19;11742:6;11731:9;11724:25;11785:6;11780:2;11769:9;11765:18;11758:34;11828:3;11823:2;11812:9;11808:18;11801:31;11852:6;11887;11881:13;11918:6;11910;11903:22;11956:3;11945:9;11941:19;11934:26;;11995:2;11987:6;11983:15;11969:29;;12016:1;12026:195;12040:6;12037:1;12034:13;12026:195;;;12105:13;;-1:-1:-1;;;;;12101:39:1;12089:52;;12170:2;12196:15;;;;12161:12;;;;12137:1;12055:9;12026:195;;;-1:-1:-1;;;;;;;12277:32:1;;;;12272:2;12257:18;;12250:60;-1:-1:-1;;12341:3:1;12326:19;12319:35;12238:3;11401:959;-1:-1:-1;;;11401:959:1:o;12365:217::-;12405:1;12431;12421:132;;12475:10;12470:3;12466:20;12463:1;12456:31;12510:4;12507:1;12500:15;12538:4;12535:1;12528:15;12421:132;-1:-1:-1;12567:9:1;;12365:217::o

ipfs://ccb3e9991941995cbdaeb88dc1807d5fbe45ee0786d48b9ffcd236cb52ea6950