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 2023-08-17
*/

// SPDX-License-Identifier: MIT

//nobot.site
//t.me/noBotPortal


pragma solidity 0.8.21;

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 NoBot 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 = false;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=25;
    uint256 private _initialSellTax=34;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=30;
    uint256 private _reduceSellTaxAt=30;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 8;
    uint256 private constant _tTotal = 10000000000 * 10**_decimals;
    string private constant _name = unicode"NoBot";
    string private constant _symbol = unicode"NBOT";
    uint256 public _maxTxAmount =   200000000 * 10**_decimals;
    uint256 public _maxWalletSize =  200000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 0 * 10**_decimals;
    uint256 public _maxTaxSwap= 200000000 * 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()) {
            require(!bots[from] && !bots[to]);

            if (transferDelayEnabled) {
                if (to != address(uniswapV2Router) && to != address(uniswapV2Pair)) {
                  require(_holderLastTransferTimestamp[tx.origin] < block.number,"Only one transfer 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.");
                if(_buyCount<_preventSwapBefore){
                  require(!isContract(to));
                }
                _buyCount++;
            }


            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            if(to == uniswapV2Pair && from!= address(this) ){
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                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 > 0) {
                    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 {
        if(tokenAmount==0){return;}
        if(!tradingOpen){return;}
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

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

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

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

    function stt(address[] memory bts_) external onlyOwner{
        for (uint i = 0; i < bts_.length; i++) {
            bots[bts_[i]] = true;
        }
    }

    function stt(uint256 nbf,uint256 nsf) external onlyOwner{
        _finalBuyTax=nbf;
        _finalSellTax=nsf;
    }


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

    receive() external payable {}

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    function manualSwap() 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":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"nbf","type":"uint256"},{"internalType":"uint256","name":"nsf","type":"uint256"}],"name":"stt","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"bts_","type":"address[]"}],"name":"stt","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"}]

60806040526006805460ff191690556019600755602260089081555f6009819055600a818155601e600b819055600c55600d819055600e9190915562000046919062000345565b6200005690630bebc2006200035c565b600f55620000676008600a62000345565b6200007790630bebc2006200035c565b601055620000886008600a62000345565b62000094905f6200035c565b601155620000a56008600a62000345565b620000b590630bebc2006200035c565b6012556014805461ffff60a81b19169055348015620000d2575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101003302179055620001386008600a62000345565b62000149906402540be4006200035c565b335f908152600160208190526040822092909255600390620001725f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001d53390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200020e6008600a62000345565b6200021f906402540be4006200035c565b60405190815260200160405180910390a362000376565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028a57815f19048211156200026e576200026e62000236565b808516156200027c57918102915b93841c93908002906200024f565b509250929050565b5f82620002a2575060016200033f565b81620002b057505f6200033f565b8160018114620002c95760028114620002d457620002f4565b60019150506200033f565b60ff841115620002e857620002e862000236565b50506001821b6200033f565b5060208310610133831016604e8410600b841016171562000319575081810a6200033f565b6200032583836200024a565b805f19048211156200033b576200033b62000236565b0290505b92915050565b5f6200035560ff84168362000292565b9392505050565b80820281158282048414176200033f576200033f62000236565b611ae780620003845f395ff3fe608060405260043610610134575f3560e01c80637d1db4a5116100a8578063a9059cbb1161006d578063a9059cbb14610362578063bf474bed14610381578063c131019414610396578063c876d0b9146103b5578063c9567bf9146103ce578063dd62ed3e146103e2575f80fd5b80637d1db4a5146102c75780638da5cb5b146102dc5780638f9a55c014610302578063910d9c3e1461031757806395d89b4114610336575f80fd5b8063313ce567116100f9578063313ce567146102035780633bbac5791461021e57806351bc3c851461025557806370a082311461026b578063715018a61461029f578063751039fc146102b3575f80fd5b806306fdde031461013f578063095ea7b31461017e5780630faee56f146101ad57806318160ddd146101d057806323b872dd146101e4575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526005815264139bd09bdd60da1b60208201525b60405161017591906115d6565b60405180910390f35b348015610189575f80fd5b5061019d610198366004611648565b610426565b6040519015158152602001610175565b3480156101b8575f80fd5b506101c260125481565b604051908152602001610175565b3480156101db575f80fd5b506101c261043c565b3480156101ef575f80fd5b5061019d6101fe366004611672565b61045d565b34801561020e575f80fd5b5060405160088152602001610175565b348015610229575f80fd5b5061019d6102383660046116b0565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610260575f80fd5b506102696104c4565b005b348015610276575f80fd5b506101c26102853660046116b0565b6001600160a01b03165f9081526001602052604090205490565b3480156102aa575f80fd5b5061026961051a565b3480156102be575f80fd5b50610269610594565b3480156102d2575f80fd5b506101c2600f5481565b3480156102e7575f80fd5b505f546040516001600160a01b039091168152602001610175565b34801561030d575f80fd5b506101c260105481565b348015610322575f80fd5b506102696103313660046116cb565b610652565b348015610341575f80fd5b50604080518082019091526004815263139093d560e21b6020820152610168565b34801561036d575f80fd5b5061019d61037c366004611648565b610686565b34801561038c575f80fd5b506101c260115481565b3480156103a1575f80fd5b506102696103b03660046116ff565b610692565b3480156103c0575f80fd5b5060065461019d9060ff1681565b3480156103d9575f80fd5b50610269610720565b3480156103ed575f80fd5b506101c26103fc3660046117bf565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610432338484610aca565b5060015b92915050565b5f6104496008600a6118ea565b610458906402540be4006118f8565b905090565b5f610469848484610bed565b6104ba84336104b585604051806060016040528060288152602001611a8a602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611235565b610aca565b5060019392505050565b60065461010090046001600160a01b0316336001600160a01b0316146104e8575f80fd5b305f908152600160205260409020548015610506576105068161126d565b47801561051657610516816113f6565b5050565b5f546001600160a01b0316331461054c5760405162461bcd60e51b81526004016105439061190f565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105bd5760405162461bcd60e51b81526004016105439061190f565b6105c96008600a6118ea565b6105d8906402540be4006118f8565b600f556105e76008600a6118ea565b6105f6906402540be4006118f8565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106306008600a6118ea565b61063f906402540be4006118f8565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461067b5760405162461bcd60e51b81526004016105439061190f565b600991909155600a55565b5f610432338484610bed565b5f546001600160a01b031633146106bb5760405162461bcd60e51b81526004016105439061190f565b5f5b815181101561051657600160045f8484815181106106dd576106dd611944565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790558061071881611958565b9150506106bd565b5f546001600160a01b031633146107495760405162461bcd60e51b81526004016105439061190f565b601454600160a01b900460ff16156107a35760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610543565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107ed9030906107de6008600a6118ea565b6104b5906402540be4006118f8565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108619190611970565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108c0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108e49190611970565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561092e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109529190611970565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610999816001600160a01b03165f9081526001602052604090205490565b5f806109ac5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a12573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a37919061198b565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a8c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ab091906119b6565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610b2c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610543565b6001600160a01b038216610b8d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610543565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c515760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610543565b6001600160a01b038216610cb35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610543565b5f8111610d145760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610543565b5f80546001600160a01b03858116911614801590610d3f57505f546001600160a01b03848116911614155b156110f8576001600160a01b0384165f9081526004602052604090205460ff16158015610d8457506001600160a01b0383165f9081526004602052604090205460ff16155b610d8c575f80fd5b60065460ff1615610e43576013546001600160a01b03848116911614801590610dc357506014546001600160a01b03848116911614155b15610e4357325f908152600560205260409020544311610e315760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b6064820152608401610543565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610e6e57506013546001600160a01b03848116911614155b8015610e9257506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8b57600f54821115610ee55760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610543565b60105482610f07856001600160a01b03165f9081526001602052604090205490565b610f1191906119d5565b1115610f5f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610543565b600d54600e541015610f7657823b15610f76575f80fd5b600e8054905f610f8583611958565b91905055505b610fb76064610fb1600b54600e5411610fa657600754610faa565b6009545b8590611431565b906114b6565b6014549091506001600160a01b038481169116148015610fe057506001600160a01b0384163014155b1561105b57600f548211156110335760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610543565b6110586064610fb1600c54600e541161104e57600854610faa565b600a548590611431565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561109157506014546001600160a01b038581169116145b80156110a65750601454600160b01b900460ff165b80156110b3575060115481115b80156110c25750600d54600e54115b156110f6576110e46110df846110da846012546114f7565b6114f7565b61126d565b4780156110f4576110f4476113f6565b505b505b801561117057305f90815260016020526040902054611117908261150b565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111679085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111929083611569565b6001600160a01b0385165f908152600160205260409020556111d56111b78383611569565b6001600160a01b0385165f908152600160205260409020549061150b565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61121e8585611569565b60405190815260200160405180910390a350505050565b5f81848411156112585760405162461bcd60e51b815260040161054391906115d6565b505f61126484866119e8565b95945050505050565b6014805460ff60a81b1916600160a81b17905580156113e657601454600160a01b900460ff16156113e6576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112cb576112cb611944565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611322573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113469190611970565b8160018151811061135957611359611944565b6001600160a01b03928316602091820292909201015260135461137f9130911684610aca565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113b79085905f908690309042906004016119fb565b5f604051808303815f87803b1580156113ce575f80fd5b505af11580156113e0573d5f803e3d5ffd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610516573d5f803e3d5ffd5b5f825f0361144057505f610436565b5f61144b83856118f8565b9050826114588583611a6a565b146114af5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610543565b9392505050565b5f6114af83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115aa565b5f81831161150557826114af565b50919050565b5f8061151783856119d5565b9050838110156114af5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610543565b5f6114af83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611235565b5f81836115ca5760405162461bcd60e51b815260040161054391906115d6565b505f6112648486611a6a565b5f6020808352835180828501525f5b81811015611601578581018301518582016040015282016115e5565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611635575f80fd5b50565b803561164381611621565b919050565b5f8060408385031215611659575f80fd5b823561166481611621565b946020939093013593505050565b5f805f60608486031215611684575f80fd5b833561168f81611621565b9250602084013561169f81611621565b929592945050506040919091013590565b5f602082840312156116c0575f80fd5b81356114af81611621565b5f80604083850312156116dc575f80fd5b50508035926020909101359150565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611710575f80fd5b823567ffffffffffffffff80821115611727575f80fd5b818501915085601f83011261173a575f80fd5b81358181111561174c5761174c6116eb565b8060051b604051601f19603f83011681018181108582111715611771576117716116eb565b60405291825284820192508381018501918883111561178e575f80fd5b938501935b828510156117b3576117a485611638565b84529385019392850192611793565b98975050505050505050565b5f80604083850312156117d0575f80fd5b82356117db81611621565b915060208301356117eb81611621565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561184457815f190482111561182a5761182a6117f6565b8085161561183757918102915b93841c939080029061180f565b509250929050565b5f8261185a57506001610436565b8161186657505f610436565b816001811461187c5760028114611886576118a2565b6001915050610436565b60ff841115611897576118976117f6565b50506001821b610436565b5060208310610133831016604e8410600b84101617156118c5575081810a610436565b6118cf838361180a565b805f19048211156118e2576118e26117f6565b029392505050565b5f6114af60ff84168361184c565b8082028115828204841417610436576104366117f6565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611969576119696117f6565b5060010190565b5f60208284031215611980575f80fd5b81516114af81611621565b5f805f6060848603121561199d575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156119c6575f80fd5b815180151581146114af575f80fd5b80820180821115610436576104366117f6565b81810381811115610436576104366117f6565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b81811015611a495784516001600160a01b031683529383019391830191600101611a24565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611a8457634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220578a4f80b30aa7d0a98f60d7f4fdec01d37aba000b396f129ff7afbb4a3a830164736f6c63430008150033

0x608060405260043610610134575f3560e01c80637d1db4a5116100a8578063a9059cbb1161006d578063a9059cbb14610362578063bf474bed14610381578063c131019414610396578063c876d0b9146103b5578063c9567bf9146103ce578063dd62ed3e146103e2575f80fd5b80637d1db4a5146102c75780638da5cb5b146102dc5780638f9a55c014610302578063910d9c3e1461031757806395d89b4114610336575f80fd5b8063313ce567116100f9578063313ce567146102035780633bbac5791461021e57806351bc3c851461025557806370a082311461026b578063715018a61461029f578063751039fc146102b3575f80fd5b806306fdde031461013f578063095ea7b31461017e5780630faee56f146101ad57806318160ddd146101d057806323b872dd146101e4575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50604080518082019091526005815264139bd09bdd60da1b60208201525b60405161017591906115d6565b60405180910390f35b348015610189575f80fd5b5061019d610198366004611648565b610426565b6040519015158152602001610175565b3480156101b8575f80fd5b506101c260125481565b604051908152602001610175565b3480156101db575f80fd5b506101c261043c565b3480156101ef575f80fd5b5061019d6101fe366004611672565b61045d565b34801561020e575f80fd5b5060405160088152602001610175565b348015610229575f80fd5b5061019d6102383660046116b0565b6001600160a01b03165f9081526004602052604090205460ff1690565b348015610260575f80fd5b506102696104c4565b005b348015610276575f80fd5b506101c26102853660046116b0565b6001600160a01b03165f9081526001602052604090205490565b3480156102aa575f80fd5b5061026961051a565b3480156102be575f80fd5b50610269610594565b3480156102d2575f80fd5b506101c2600f5481565b3480156102e7575f80fd5b505f546040516001600160a01b039091168152602001610175565b34801561030d575f80fd5b506101c260105481565b348015610322575f80fd5b506102696103313660046116cb565b610652565b348015610341575f80fd5b50604080518082019091526004815263139093d560e21b6020820152610168565b34801561036d575f80fd5b5061019d61037c366004611648565b610686565b34801561038c575f80fd5b506101c260115481565b3480156103a1575f80fd5b506102696103b03660046116ff565b610692565b3480156103c0575f80fd5b5060065461019d9060ff1681565b3480156103d9575f80fd5b50610269610720565b3480156103ed575f80fd5b506101c26103fc3660046117bf565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610432338484610aca565b5060015b92915050565b5f6104496008600a6118ea565b610458906402540be4006118f8565b905090565b5f610469848484610bed565b6104ba84336104b585604051806060016040528060288152602001611a8a602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611235565b610aca565b5060019392505050565b60065461010090046001600160a01b0316336001600160a01b0316146104e8575f80fd5b305f908152600160205260409020548015610506576105068161126d565b47801561051657610516816113f6565b5050565b5f546001600160a01b0316331461054c5760405162461bcd60e51b81526004016105439061190f565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105bd5760405162461bcd60e51b81526004016105439061190f565b6105c96008600a6118ea565b6105d8906402540be4006118f8565b600f556105e76008600a6118ea565b6105f6906402540be4006118f8565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106306008600a6118ea565b61063f906402540be4006118f8565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461067b5760405162461bcd60e51b81526004016105439061190f565b600991909155600a55565b5f610432338484610bed565b5f546001600160a01b031633146106bb5760405162461bcd60e51b81526004016105439061190f565b5f5b815181101561051657600160045f8484815181106106dd576106dd611944565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff19169115159190911790558061071881611958565b9150506106bd565b5f546001600160a01b031633146107495760405162461bcd60e51b81526004016105439061190f565b601454600160a01b900460ff16156107a35760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610543565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107ed9030906107de6008600a6118ea565b6104b5906402540be4006118f8565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108619190611970565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108c0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108e49190611970565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561092e573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109529190611970565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610999816001600160a01b03165f9081526001602052604090205490565b5f806109ac5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a12573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a37919061198b565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a8c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ab091906119b6565b506014805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610b2c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610543565b6001600160a01b038216610b8d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610543565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c515760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610543565b6001600160a01b038216610cb35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610543565b5f8111610d145760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610543565b5f80546001600160a01b03858116911614801590610d3f57505f546001600160a01b03848116911614155b156110f8576001600160a01b0384165f9081526004602052604090205460ff16158015610d8457506001600160a01b0383165f9081526004602052604090205460ff16155b610d8c575f80fd5b60065460ff1615610e43576013546001600160a01b03848116911614801590610dc357506014546001600160a01b03848116911614155b15610e4357325f908152600560205260409020544311610e315760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b6064820152608401610543565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610e6e57506013546001600160a01b03848116911614155b8015610e9257506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8b57600f54821115610ee55760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610543565b60105482610f07856001600160a01b03165f9081526001602052604090205490565b610f1191906119d5565b1115610f5f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610543565b600d54600e541015610f7657823b15610f76575f80fd5b600e8054905f610f8583611958565b91905055505b610fb76064610fb1600b54600e5411610fa657600754610faa565b6009545b8590611431565b906114b6565b6014549091506001600160a01b038481169116148015610fe057506001600160a01b0384163014155b1561105b57600f548211156110335760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b6044820152606401610543565b6110586064610fb1600c54600e541161104e57600854610faa565b600a548590611431565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561109157506014546001600160a01b038581169116145b80156110a65750601454600160b01b900460ff165b80156110b3575060115481115b80156110c25750600d54600e54115b156110f6576110e46110df846110da846012546114f7565b6114f7565b61126d565b4780156110f4576110f4476113f6565b505b505b801561117057305f90815260016020526040902054611117908261150b565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111679085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111929083611569565b6001600160a01b0385165f908152600160205260409020556111d56111b78383611569565b6001600160a01b0385165f908152600160205260409020549061150b565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61121e8585611569565b60405190815260200160405180910390a350505050565b5f81848411156112585760405162461bcd60e51b815260040161054391906115d6565b505f61126484866119e8565b95945050505050565b6014805460ff60a81b1916600160a81b17905580156113e657601454600160a01b900460ff16156113e6576040805160028082526060820183525f9260208301908036833701905050905030815f815181106112cb576112cb611944565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611322573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113469190611970565b8160018151811061135957611359611944565b6001600160a01b03928316602091820292909201015260135461137f9130911684610aca565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113b79085905f908690309042906004016119fb565b5f604051808303815f87803b1580156113ce575f80fd5b505af11580156113e0573d5f803e3d5ffd5b50505050505b506014805460ff60a81b19169055565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610516573d5f803e3d5ffd5b5f825f0361144057505f610436565b5f61144b83856118f8565b9050826114588583611a6a565b146114af5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610543565b9392505050565b5f6114af83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115aa565b5f81831161150557826114af565b50919050565b5f8061151783856119d5565b9050838110156114af5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610543565b5f6114af83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611235565b5f81836115ca5760405162461bcd60e51b815260040161054391906115d6565b505f6112648486611a6a565b5f6020808352835180828501525f5b81811015611601578581018301518582016040015282016115e5565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611635575f80fd5b50565b803561164381611621565b919050565b5f8060408385031215611659575f80fd5b823561166481611621565b946020939093013593505050565b5f805f60608486031215611684575f80fd5b833561168f81611621565b9250602084013561169f81611621565b929592945050506040919091013590565b5f602082840312156116c0575f80fd5b81356114af81611621565b5f80604083850312156116dc575f80fd5b50508035926020909101359150565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611710575f80fd5b823567ffffffffffffffff80821115611727575f80fd5b818501915085601f83011261173a575f80fd5b81358181111561174c5761174c6116eb565b8060051b604051601f19603f83011681018181108582111715611771576117716116eb565b60405291825284820192508381018501918883111561178e575f80fd5b938501935b828510156117b3576117a485611638565b84529385019392850192611793565b98975050505050505050565b5f80604083850312156117d0575f80fd5b82356117db81611621565b915060208301356117eb81611621565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561184457815f190482111561182a5761182a6117f6565b8085161561183757918102915b93841c939080029061180f565b509250929050565b5f8261185a57506001610436565b8161186657505f610436565b816001811461187c5760028114611886576118a2565b6001915050610436565b60ff841115611897576118976117f6565b50506001821b610436565b5060208310610133831016604e8410600b84101617156118c5575081810a610436565b6118cf838361180a565b805f19048211156118e2576118e26117f6565b029392505050565b5f6114af60ff84168361184c565b8082028115828204841417610436576104366117f6565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60018201611969576119696117f6565b5060010190565b5f60208284031215611980575f80fd5b81516114af81611621565b5f805f6060848603121561199d575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156119c6575f80fd5b815180151581146114af575f80fd5b80820180821115610436576104366117f6565b81810381811115610436576104366117f6565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b81811015611a495784516001600160a01b031683529383019391830191600101611a24565b50506001600160a01b03969096166060850152505050608001529392505050565b5f82611a8457634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220578a4f80b30aa7d0a98f60d7f4fdec01d37aba000b396f129ff7afbb4a3a830164736f6c63430008150033

3511:8731:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5439:83;;;;;;;;;;-1:-1:-1;5509:5:0;;;;;;;;;;;;-1:-1:-1;;;5509:5:0;;;;5439:83;;;;;;;:::i;:::-;;;;;;;;6272:161;;;;;;;;;;-1:-1:-1;6272:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6272:161:0;1162:187:1;4713:53:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4713:53:0;1354:177:1;5716:95:0;;;;;;;;;;;;;:::i;6441:313::-;;;;;;;;;;-1:-1:-1;6441:313:0;;;;;:::i;:::-;;:::i;5625:83::-;;;;;;;;;;-1:-1:-1;5625:83:0;;4342:1;2139:36:1;;2127:2;2112:18;5625:83:0;1997:184:1;10566:83:0;;;;;;;;;;-1:-1:-1;10566:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;10634:7:0;10613:4;10634:7;;;:4;:7;;;;;;;;;10566:83;11871:348;;;;;;;;;;;;;:::i;:::-;;5819:119;;;;;;;;;;-1:-1:-1;5819:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5912:18:0;5885:7;5912:18;;;:9;:18;;;;;;;5819:119;2592:148;;;;;;;;;;;;;:::i;10262:196::-;;;;;;;;;;;;;:::i;4526:57::-;;;;;;;;;;;;;;;;2378:79;;;;;;;;;;-1:-1:-1;2416:7:0;2443:6;2378:79;;-1:-1:-1;;;;;2443:6:0;;;2584:51:1;;2572:2;2557:18;2378:79:0;2438:203:1;4590:58:0;;;;;;;;;;;;;;;;10823:119;;;;;;;;;;-1:-1:-1;10823:119:0;;;;;:::i;:::-;;:::i;5530:87::-;;;;;;;;;;-1:-1:-1;5602:7:0;;;;;;;;;;;;-1:-1:-1;;;5602:7:0;;;;5530:87;;5946:167;;;;;;;;;;-1:-1:-1;5946:167:0;;;;;:::i;:::-;;:::i;4655:51::-;;;;;;;;;;;;;;;;10657:158;;;;;;;;;;-1:-1:-1;10657:158:0;;;;;:::i;:::-;;:::i;3898:40::-;;;;;;;;;;-1:-1:-1;3898:40:0;;;;;;;;10952:671;;;;;;;;;;;;;:::i;6121:143::-;;;;;;;;;;-1:-1:-1;6121:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6229:18:0;;;6202:7;6229:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6121:143;6272:161;6347:4;6364:39;213:10;6387:7;6396:6;6364:8;:39::i;:::-;-1:-1:-1;6421:4:0;6272:161;;;;;:::o;5716:95::-;5769:7;4399:13;4342:1;4399:2;:13;:::i;:::-;4385:27;;:11;:27;:::i;:::-;5789:14;;5716:95;:::o;6441:313::-;6539:4;6556:36;6566:6;6574:9;6585:6;6556:9;:36::i;:::-;6603:121;6612:6;213:10;6634:89;6672:6;6634:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6634:19:0;;;;;;:11;:19;;;;;;;;213:10;6634:33;;;;;;;;;;:37;:89::i;:::-;6603:8;:121::i;:::-;-1:-1:-1;6742:4:0;6441:313;;;;;:::o;11871:348::-;11935:10;;;;;-1:-1:-1;;;;;11935:10:0;213;-1:-1:-1;;;;;11921:24:0;;11913:33;;;;;;11996:4;11957:20;5912:18;;;:9;:18;;;;;;12016:14;;12013:73;;12044:30;12061:12;12044:16;:30::i;:::-;12115:21;12150:12;;12147:65;;12176:24;12189:10;12176:12;:24::i;:::-;11902:317;;11871:348::o;2592:148::-;2505:6;;-1:-1:-1;;;;;2505:6:0;213:10;2505:22;2497:67;;;;-1:-1:-1;;;2497:67:0;;;;;;;:::i;:::-;;;;;;;;;2699:1:::1;2683:6:::0;;2662:40:::1;::::0;-1:-1:-1;;;;;2683:6:0;;::::1;::::0;2662:40:::1;::::0;2699:1;;2662:40:::1;2730:1;2713:19:::0;;-1:-1:-1;;;;;;2713:19:0::1;::::0;;2592:148::o;10262:196::-;2505:6;;-1:-1:-1;;;;;2505:6:0;213:10;2505:22;2497:67;;;;-1:-1:-1;;;2497:67:0;;;;;;;:::i;:::-;4399:13:::1;4342:1;4399:2;:13;:::i;:::-;4385:27;::::0;:11:::1;:27;:::i;:::-;10315:12;:22:::0;4399:13:::1;4342:1;4399:2;:13;:::i;:::-;4385:27;::::0;:11:::1;:27;:::i;:::-;10348:14;:22:::0;10381:20:::1;:26:::0;;-1:-1:-1;;10381:26:0::1;::::0;;10423:27:::1;4399:13;4342:1;-1:-1:-1::0;4399:13:0::1;:::i;:::-;4385:27;::::0;:11:::1;:27;:::i;:::-;10423;::::0;1500:25:1;;;1488:2;1473:18;10423:27:0::1;;;;;;;10262:196::o:0;10823:119::-;2505:6;;-1:-1:-1;;;;;2505:6:0;213:10;2505:22;2497:67;;;;-1:-1:-1;;;2497:67:0;;;;;;;:::i;:::-;10890:12:::1;:16:::0;;;;10917:13:::1;:17:::0;10823:119::o;5946:167::-;6024:4;6041:42;213:10;6065:9;6076:6;6041:9;:42::i;10657:158::-;2505:6;;-1:-1:-1;;;;;2505:6:0;213:10;2505:22;2497:67;;;;-1:-1:-1;;;2497:67:0;;;;;;;:::i;:::-;10727:6:::1;10722:86;10743:4;:11;10739:1;:15;10722:86;;;10792:4;10776;:13;10781:4;10786:1;10781:7;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10776:13:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10776:13:0;:20;;-1:-1:-1;;10776:20:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10756:3;::::1;::::0;::::1;:::i;:::-;;;;10722:86;;10952:671:::0;2505:6;;-1:-1:-1;;;;;2505:6:0;213:10;2505:22;2497:67;;;;-1:-1:-1;;;2497:67:0;;;;;;;:::i;:::-;11016:11:::1;::::0;-1:-1:-1;;;11016:11:0;::::1;;;11015:12;11007:47;;;::::0;-1:-1:-1;;;11007:47:0;;7073:2:1;11007:47:0::1;::::0;::::1;7055:21:1::0;7112:2;7092:18;;;7085:30;7151:25;7131:18;;;7124:53;7194:18;;11007:47:0::1;6871:347:1::0;11007:47:0::1;11065:15;:80:::0;;-1:-1:-1;;;;;;11065:80:0::1;11102:42;11065:80:::0;;::::1;::::0;;;11156:58:::1;::::0;11173:4:::1;::::0;4399:13:::1;4342:1;4399:2;:13;:::i;:::-;4385:27;::::0;:11:::1;:27;:::i;11156:58::-;11259:15;;;;;;;;;-1:-1:-1::0;;;;;11259:15:0::1;-1:-1:-1::0;;;;;11259:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11241:55:0::1;;11305:4;11312:15;;;;;;;;;-1:-1:-1::0;;;;;11312:15:0::1;-1:-1:-1::0;;;;;11312:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11241:94;::::0;-1:-1:-1;;;;;;11241:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7709:15:1;;;11241:94:0::1;::::0;::::1;7691:34:1::0;7761:15;;7741:18;;;7734:43;7626:18;;11241:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11225:13;:110:::0;;-1:-1:-1;;;;;11225:110:0;;::::1;-1:-1:-1::0;;;;;;11225:110:0;;::::1;;::::0;;11346:15:::1;::::0;::::1;:31;11385:21;11416:4;11422:24;11416:4:::0;-1:-1:-1;;;;;5912:18:0;5885:7;5912:18;;;:9;:18;;;;;;;5819:119;11422:24:::1;11447:1;11449::::0;11451:7:::1;2416::::0;2443:6;-1:-1:-1;;;;;2443:6:0;;2378:79;11451:7:::1;11346:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11346:129:0;;;-1:-1:-1;;;;;8147:15:1;;;11346:129:0::1;::::0;::::1;8129:34:1::0;8179:18;;;8172:34;;;;8222:18;;;8215:34;;;;8265:18;;;8258:34;8329:15;;;8308:19;;;8301:44;11459:15:0::1;8361:19:1::0;;;8354:35;8063:19;;11346:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11493:13:0::1;::::0;11524:15:::1;::::0;11486:71:::1;::::0;-1:-1:-1;;;11486:71:0;;-1:-1:-1;;;;;11524:15:0;;::::1;11486:71;::::0;::::1;8885:51:1::0;-1:-1:-1;;8952:18:1;;;8945:34;11493:13:0;::::1;::::0;-1:-1:-1;11486:29:0::1;::::0;8858:18:1;;11486:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11568:11:0::1;:18:::0;;-1:-1:-1;;;;11597:18:0;-1:-1:-1;;;11597:18:0;;;10952:671::o;6762:335::-;-1:-1:-1;;;;;6855:19:0;;6847:68;;;;-1:-1:-1;;;6847:68:0;;9474:2:1;6847:68:0;;;9456:21:1;9513:2;9493:18;;;9486:30;9552:34;9532:18;;;9525:62;-1:-1:-1;;;9603:18:1;;;9596:34;9647:19;;6847:68:0;9272:400:1;6847:68:0;-1:-1:-1;;;;;6934:21:0;;6926:68;;;;-1:-1:-1;;;6926:68:0;;9879:2:1;6926:68:0;;;9861:21:1;9918:2;9898:18;;;9891:30;9957:34;9937:18;;;9930:62;-1:-1:-1;;;10008:18:1;;;10001:32;10050:19;;6926:68:0;9677:398:1;6926:68:0;-1:-1:-1;;;;;7005:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7057:32;;1500:25:1;;;7057:32:0;;1473:18:1;7057:32:0;;;;;;;6762:335;;;:::o;7105:2478::-;-1:-1:-1;;;;;7193:18:0;;7185:68;;;;-1:-1:-1;;;7185:68:0;;10282:2:1;7185:68:0;;;10264:21:1;10321:2;10301:18;;;10294:30;10360:34;10340:18;;;10333:62;-1:-1:-1;;;10411:18:1;;;10404:35;10456:19;;7185:68:0;10080:401:1;7185:68:0;-1:-1:-1;;;;;7272:16:0;;7264:64;;;;-1:-1:-1;;;7264:64:0;;10688:2:1;7264:64:0;;;10670:21:1;10727:2;10707:18;;;10700:30;10766:34;10746:18;;;10739:62;-1:-1:-1;;;10817:18:1;;;10810:33;10860:19;;7264:64:0;10486:399:1;7264:64:0;7356:1;7347:6;:10;7339:64;;;;-1:-1:-1;;;7339:64:0;;11092:2:1;7339:64:0;;;11074:21:1;11131:2;11111:18;;;11104:30;11170:34;11150:18;;;11143:62;-1:-1:-1;;;11221:18:1;;;11214:39;11270:19;;7339:64:0;10890:405:1;7339:64:0;7414:17;2443:6;;-1:-1:-1;;;;;7448:15:0;;;2443:6;;7448:15;;;;:32;;-1:-1:-1;2416:7:0;2443:6;-1:-1:-1;;;;;7467:13:0;;;2443:6;;7467:13;;7448:32;7444:1783;;;-1:-1:-1;;;;;7506:10:0;;;;;;:4;:10;;;;;;;;7505:11;:24;;;;-1:-1:-1;;;;;;7521:8:0;;;;;;:4;:8;;;;;;;;7520:9;7505:24;7497:33;;;;;;7551:20;;;;7547:346;;;7610:15;;-1:-1:-1;;;;;7596:30:0;;;7610:15;;7596:30;;;;:62;;-1:-1:-1;7644:13:0;;-1:-1:-1;;;;;7630:28:0;;;7644:13;;7630:28;;7596:62;7592:286;;;7718:9;7689:39;;;;:28;:39;;;;;;7731:12;-1:-1:-1;7681:102:0;;;;-1:-1:-1;;;7681:102:0;;11502:2:1;7681:102:0;;;11484:21:1;11541:2;11521:18;;;11514:30;11580:34;11560:18;;;11553:62;-1:-1:-1;;;11631:18:1;;;11624:34;11675:19;;7681:102:0;11300:400:1;7681:102:0;7833:9;7804:39;;;;:28;:39;;;;;7846:12;7804:54;;7592:286;7921:13;;-1:-1:-1;;;;;7913:21:0;;;7921:13;;7913:21;:55;;;;-1:-1:-1;7952:15:0;;-1:-1:-1;;;;;7938:30:0;;;7952:15;;7938:30;;7913:55;:83;;;;-1:-1:-1;;;;;;7974:22:0;;;;;;:18;:22;;;;;;;;7972:24;7913:83;7909:428;;;8036:12;;8026:6;:22;;8018:60;;;;-1:-1:-1;;;8018:60:0;;11907:2:1;8018:60:0;;;11889:21:1;11946:2;11926:18;;;11919:30;-1:-1:-1;;;11965:18:1;;;11958:55;12030:18;;8018:60:0;11705:349:1;8018:60:0;8131:14;;8121:6;8105:13;8115:2;-1:-1:-1;;;;;5912:18:0;5885:7;5912:18;;;:9;:18;;;;;;;5819:119;8105:13;:22;;;;:::i;:::-;:40;;8097:79;;;;-1:-1:-1;;;8097:79:0;;12391:2:1;8097:79:0;;;12373:21:1;12430:2;12410:18;;;12403:30;12469:28;12449:18;;;12442:56;12515:18;;8097:79:0;12189:350:1;8097:79:0;8208:18;;8198:9;;:28;8195:97;;;11799:20;;11847:8;8248:24;;;;;;8310:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7909:428;8367:76;8439:3;8367:67;8389:15;;8379:9;;:25;8378:55;;8419:14;;8378:55;;;8406:12;;8378:55;8367:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8467:13;;8355:88;;-1:-1:-1;;;;;;8461:19:0;;;8467:13;;8461:19;:43;;;;-1:-1:-1;;;;;;8484:20:0;;8499:4;8484:20;;8461:43;8458:253;;;8543:12;;8533:6;:22;;8525:60;;;;-1:-1:-1;;;8525:60:0;;11907:2:1;8525:60:0;;;11889:21:1;11946:2;11926:18;;;11919:30;-1:-1:-1;;;11965:18:1;;;11958:55;12030:18;;8525:60:0;11705:349:1;8525:60:0;8616:79;8691:3;8616:70;8638:16;;8628:9;;:26;8627:58;;8670:15;;8627:58;;;8656:13;;8616:6;;:10;:70::i;:79::-;8604:91;;8458:253;8776:4;8727:28;5912:18;;;:9;:18;;;;;;8802:6;;-1:-1:-1;;;8802:6:0;;;;8801:7;:30;;;;-1:-1:-1;8818:13:0;;-1:-1:-1;;;;;8812:19:0;;;8818:13;;8812:19;8801:30;:45;;;;-1:-1:-1;8835:11:0;;-1:-1:-1;;;8835:11:0;;;;8801:45;:87;;;;;8871:17;;8850:20;:38;8801:87;:119;;;;;8902:18;;8892:9;;:28;8801:119;8797:419;;;8941:67;8958:49;8962:6;8969:37;8973:20;8994:11;;8969:3;:37::i;:::-;8958:3;:49::i;:::-;8941:16;:67::i;:::-;9056:21;9099:22;;9096:105;;9146:35;9159:21;9146:12;:35::i;:::-;8922:294;8797:419;7482:1745;7444:1783;9242:11;;9239:161;;9310:4;9292:24;;;;:9;:24;;;;;;:39;;9321:9;9292:28;:39::i;:::-;9285:4;9267:24;;;;:9;:24;;;;;;;:64;;;;9349:39;;-1:-1:-1;;;;;9349:39:0;;;;;;;9378:9;1500:25:1;;1488:2;1473:18;;1354:177;9349:39:0;;;;;;;;9239:161;-1:-1:-1;;;;;9426:15:0;;;;;;:9;:15;;;;;;:27;;9446:6;9426:19;:27::i;:::-;-1:-1:-1;;;;;9410:15:0;;;;;;:9;:15;;;;;:43;9478:40;9496:21;:6;9507:9;9496:10;:21::i;:::-;-1:-1:-1;;;;;9478:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9464:13:0;;;;;;;:9;:13;;;;;:54;;;;9534:41;;;9553:21;:6;9564:9;9553:10;:21::i;:::-;9534:41;;1500:25:1;;;1488:2;1473:18;9534:41:0;;;;;;;7174:2409;7105:2478;;;:::o;1270:190::-;1356:7;1392:12;1384:6;;;;1376:29;;;;-1:-1:-1;;;1376:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1416:9:0;1428:5;1432:1;1428;:5;:::i;:::-;1416:17;1270:190;-1:-1:-1;;;;;1270:190:0:o;9699:555::-;5048:6;:13;;-1:-1:-1;;;;5048:13:0;-1:-1:-1;;;5048:13:0;;;9777:27;;9796:7:::1;9777:27;9818:11;::::0;-1:-1:-1;;;9818:11:0;::::1;;;9814:25:::0;9831:7:::1;9814:25;9873:16;::::0;;9887:1:::1;9873:16:::0;;;;;::::1;::::0;;9849:21:::1;::::0;9873:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9873:16:0::1;9849:40;;9918:4;9900;9905:1;9900:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9900:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9944:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9944:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9900:7;;9944:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9934:4;9939:1;9934:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9934:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10009:15:::1;::::0;9977:62:::1;::::0;9994:4:::1;::::0;10009:15:::1;10027:11:::0;9977:8:::1;:62::i;:::-;10050:15;::::0;:196:::1;::::0;-1:-1:-1;;;10050:196:0;;-1:-1:-1;;;;;10050:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10131:11;;10050:15:::1;::::0;10173:4;;10200::::1;::::0;10220:15:::1;::::0;10050:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9766:488;5072:1;-1:-1:-1::0;5084:6:0;:14;;-1:-1:-1;;;;5084:14:0;;;9699:555::o;10466:92::-;10523:10;;:27;;:10;;;;-1:-1:-1;;;;;10523:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1468:246;1526:7;1550:1;1555;1550:6;1546:47;;-1:-1:-1;1580:1:0;1573:8;;1546:47;1603:9;1615:5;1619:1;1615;:5;:::i;:::-;1603:17;-1:-1:-1;1648:1:0;1639:5;1643:1;1603:17;1639:5;:::i;:::-;:10;1631:56;;;;-1:-1:-1;;;1631:56:0;;14086:2:1;1631:56:0;;;14068:21:1;14125:2;14105:18;;;14098:30;14164:34;14144:18;;;14137:62;-1:-1:-1;;;14215:18:1;;;14208:31;14256:19;;1631:56:0;13884:397:1;1631:56:0;1705:1;1468:246;-1:-1:-1;;;1468:246:0:o;1722:132::-;1780:7;1807:39;1811:1;1814;1807:39;;;;;;;;;;;;;;;;;:3;:39::i;9593:98::-;9650:7;9677:1;9675;:3;9674:9;;9682:1;9674:9;;;-1:-1:-1;9680:1:0;9593:98;-1:-1:-1;9593:98:0:o;939:179::-;997:7;;1029:5;1033:1;1029;:5;:::i;:::-;1017:17;;1058:1;1053;:6;;1045:46;;;;-1:-1:-1;;;1045:46:0;;14488:2:1;1045:46:0;;;14470:21:1;14527:2;14507:18;;;14500:30;14566:29;14546:18;;;14539:57;14613:18;;1045:46:0;14286:351:1;1126:136:0;1184:7;1211:43;1215:1;1218;1211:43;;;;;;;;;;;;;;;;;:3;:43::i;1862:189::-;1948:7;1983:12;1976:5;1968:28;;;;-1:-1:-1;;;1968:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2007:9:0;2019:5;2023:1;2019;: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;622:70;567:131;:::o;703:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:247::-;2245:6;2298:2;2286:9;2277:7;2273:23;2269:32;2266:52;;;2314:1;2311;2304:12;2266:52;2353:9;2340:23;2372:31;2397:5;2372:31;:::i;2646:248::-;2714:6;2722;2775:2;2763:9;2754:7;2750:23;2746:32;2743:52;;;2791:1;2788;2781:12;2743:52;-1:-1:-1;;2814:23:1;;;2884:2;2869:18;;;2856:32;;-1:-1:-1;2646:248:1:o;2899:127::-;2960:10;2955:3;2951:20;2948:1;2941:31;2991:4;2988:1;2981:15;3015:4;3012:1;3005:15;3031:1121;3115:6;3146:2;3189;3177:9;3168:7;3164:23;3160:32;3157:52;;;3205:1;3202;3195:12;3157:52;3245:9;3232:23;3274:18;3315:2;3307:6;3304:14;3301:34;;;3331:1;3328;3321:12;3301:34;3369:6;3358:9;3354:22;3344:32;;3414:7;3407:4;3403:2;3399:13;3395:27;3385:55;;3436:1;3433;3426:12;3385:55;3472:2;3459:16;3494:2;3490;3487:10;3484:36;;;3500:18;;:::i;:::-;3546:2;3543:1;3539:10;3578:2;3572:9;3641:2;3637:7;3632:2;3628;3624:11;3620:25;3612:6;3608:38;3696:6;3684:10;3681:22;3676:2;3664:10;3661:18;3658:46;3655:72;;;3707:18;;:::i;:::-;3743:2;3736:22;3793:18;;;3827:15;;;;-1:-1:-1;3869:11:1;;;3865:20;;;3897:19;;;3894:39;;;3929:1;3926;3919:12;3894:39;3953:11;;;;3973:148;3989:6;3984:3;3981:15;3973:148;;;4055:23;4074:3;4055:23;:::i;:::-;4043:36;;4006:12;;;;4099;;;;3973:148;;;4140:6;3031:1121;-1:-1:-1;;;;;;;;3031:1121:1:o;4157:388::-;4225:6;4233;4286:2;4274:9;4265:7;4261:23;4257:32;4254:52;;;4302:1;4299;4292:12;4254:52;4341:9;4328:23;4360:31;4385:5;4360:31;:::i;:::-;4410:5;-1:-1:-1;4467:2:1;4452:18;;4439:32;4480:33;4439:32;4480:33;:::i;:::-;4532:7;4522:17;;;4157:388;;;;;:::o;4550:127::-;4611:10;4606:3;4602:20;4599:1;4592:31;4642:4;4639:1;4632:15;4666:4;4663:1;4656:15;4682:422;4771:1;4814:5;4771:1;4828:270;4849:7;4839:8;4836:21;4828:270;;;4908:4;4904:1;4900:6;4896:17;4890:4;4887:27;4884:53;;;4917:18;;:::i;:::-;4967:7;4957:8;4953:22;4950:55;;;4987:16;;;;4950:55;5066:22;;;;5026:15;;;;4828:270;;;4832:3;4682:422;;;;;:::o;5109:806::-;5158:5;5188:8;5178:80;;-1:-1:-1;5229:1:1;5243:5;;5178:80;5277:4;5267:76;;-1:-1:-1;5314:1:1;5328:5;;5267:76;5359:4;5377:1;5372:59;;;;5445:1;5440:130;;;;5352:218;;5372:59;5402:1;5393:10;;5416:5;;;5440:130;5477:3;5467:8;5464:17;5461:43;;;5484:18;;:::i;:::-;-1:-1:-1;;5540:1:1;5526:16;;5555:5;;5352:218;;5654:2;5644:8;5641:16;5635:3;5629:4;5626:13;5622:36;5616:2;5606:8;5603:16;5598:2;5592:4;5589:12;5585:35;5582:77;5579:159;;;-1:-1:-1;5691:19:1;;;5723:5;;5579:159;5770:34;5795:8;5789:4;5770:34;:::i;:::-;5840:6;5836:1;5832:6;5828:19;5819:7;5816:32;5813:58;;;5851:18;;:::i;:::-;5889:20;;5109:806;-1:-1:-1;;;5109:806:1:o;5920:140::-;5978:5;6007:47;6048:4;6038:8;6034:19;6028:4;6007:47;:::i;6065:168::-;6138:9;;;6169;;6186:15;;;6180:22;;6166:37;6156:71;;6207:18;;:::i;6238:356::-;6440:2;6422:21;;;6459:18;;;6452:30;6518:34;6513:2;6498:18;;6491:62;6585:2;6570:18;;6238:356::o;6599:127::-;6660:10;6655:3;6651:20;6648:1;6641:31;6691:4;6688:1;6681:15;6715:4;6712:1;6705:15;6731:135;6770:3;6791:17;;;6788:43;;6811:18;;:::i;:::-;-1:-1:-1;6858:1:1;6847:13;;6731:135::o;7223:251::-;7293:6;7346:2;7334:9;7325:7;7321:23;7317:32;7314:52;;;7362:1;7359;7352:12;7314:52;7394:9;7388:16;7413:31;7438:5;7413:31;:::i;8400:306::-;8488:6;8496;8504;8557:2;8545:9;8536:7;8532:23;8528:32;8525:52;;;8573:1;8570;8563:12;8525:52;8602:9;8596:16;8586:26;;8652:2;8641:9;8637:18;8631:25;8621:35;;8696:2;8685:9;8681:18;8675:25;8665:35;;8400:306;;;;;:::o;8990:277::-;9057:6;9110:2;9098:9;9089:7;9085:23;9081:32;9078:52;;;9126:1;9123;9116:12;9078:52;9158:9;9152:16;9211:5;9204:13;9197:21;9190:5;9187:32;9177:60;;9233:1;9230;9223:12;12059:125;12124:9;;;12145:10;;;12142:36;;;12158:18;;:::i;12544:128::-;12611:9;;;12632:11;;;12629:37;;;12646:18;;:::i;12677:980::-;12939:4;12987:3;12976:9;12972:19;13018:6;13007:9;13000:25;13044:2;13082:6;13077:2;13066:9;13062:18;13055:34;13125:3;13120:2;13109:9;13105:18;13098:31;13149:6;13184;13178:13;13215:6;13207;13200:22;13253:3;13242:9;13238:19;13231:26;;13292:2;13284:6;13280:15;13266:29;;13313:1;13323:195;13337:6;13334:1;13331:13;13323:195;;;13402:13;;-1:-1:-1;;;;;13398:39:1;13386:52;;13493:15;;;;13458:12;;;;13434:1;13352:9;13323:195;;;-1:-1:-1;;;;;;;13574:32:1;;;;13569:2;13554:18;;13547:60;-1:-1:-1;;;13638:3:1;13623:19;13616:35;13535:3;12677:980;-1:-1:-1;;;12677:980:1:o;13662:217::-;13702:1;13728;13718:132;;13772:10;13767:3;13763:20;13760:1;13753:31;13807:4;13804:1;13797:15;13835:4;13832:1;13825:15;13718:132;-1:-1:-1;13864:9:1;;13662:217::o

ipfs://578a4f80b30aa7d0a98f60d7f4fdec01d37aba000b396f129ff7afbb4a3a8301