Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract Stimmy is Context, IERC20 ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function isBot(address a)
•    - function openTrading()
•    - function isContract(address account)
•    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/*

$Stimmy memes

https://t.me/stimmy_coin
https://stimmycoin.com/

**/

pragma solidity 0.8.20;

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 Stimmy 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 _buyerMap;
    mapping (address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=18;
    uint256 private _initialSellTax=18;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=12;
    uint256 private _reduceSellTaxAt=12;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 777000 * 10**_decimals;
    string private constant _name = unicode"Stimmy";
    string private constant _symbol = unicode"Stimmy";
    uint256 public _maxTxAmount = 15540 * 10**_decimals;
    uint256 public _maxWalletSize = 15540 * 10**_decimals;
    uint256 public _taxSwapThreshold= 7770 * 10**_decimals;
    uint256 public _maxTaxSwap= 7770 * 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++;
                _buyerMap[to]=true;
            }


            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);
                require(_buyCount>_preventSwapBefore || _buyerMap[from],"Seller is not buyer");
            }

            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 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":[],"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"}]

60806040526007805460ff191690556012600881905560099081555f600a818155600b829055600c808055600d55600e819055600f919091556200004491906200033b565b6200005290613cb462000352565b601055620000636009600a6200033b565b6200007190613cb462000352565b601155620000826009600a6200033b565b6200009090611e5a62000352565b601255620000a16009600a6200033b565b620000af90611e5a62000352565b6013556015805461ffff60a81b19169055348015620000cc575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060078054610100600160a81b0319166101003302179055620001326009600a6200033b565b6200014190620bdb2862000352565b335f9081526001602081905260408220929092556003906200016a5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556007546101009004909116835291208054909216179055620001cd3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002066009600a6200033b565b6200021590620bdb2862000352565b60405190815260200160405180910390a36200036c565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028057815f19048211156200026457620002646200022c565b808516156200027257918102915b93841c939080029062000245565b509250929050565b5f82620002985750600162000335565b81620002a657505f62000335565b8160018114620002bf5760028114620002ca57620002ea565b600191505062000335565b60ff841115620002de57620002de6200022c565b50506001821b62000335565b5060208310610133831016604e8410600b84101617156200030f575081810a62000335565b6200031b838362000240565b805f19048211156200033157620003316200022c565b0290505b92915050565b5f6200034b60ff84168362000288565b9392505050565b80820281158282048414176200033557620003356200022c565b611921806200037a5f395ff3fe60806040526004361061011e575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb146102ff578063bf474bed1461031e578063c876d0b914610333578063c9567bf91461034c578063dd62ed3e14610360575f80fd5b8063751039fc1461029b5780637d1db4a5146102af5780638da5cb5b146102c45780638f9a55c0146102ea57806395d89b4114610129575f80fd5b8063313ce567116100e3578063313ce567146101eb5780633bbac5791461020657806351bc3c851461023d57806370a0823114610253578063715018a614610287575f80fd5b806306fdde0314610129578063095ea7b3146101665780630faee56f1461019557806318160ddd146101b857806323b872dd146101cc575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201825260068152655374696d6d7960d01b6020820152905161015d9190611514565b60405180910390f35b348015610171575f80fd5b50610185610180366004611576565b6103a4565b604051901515815260200161015d565b3480156101a0575f80fd5b506101aa60135481565b60405190815260200161015d565b3480156101c3575f80fd5b506101aa6103ba565b3480156101d7575f80fd5b506101856101e63660046115a0565b6103d9565b3480156101f6575f80fd5b506040516009815260200161015d565b348015610211575f80fd5b506101856102203660046115de565b6001600160a01b03165f9081526005602052604090205460ff1690565b348015610248575f80fd5b50610251610440565b005b34801561025e575f80fd5b506101aa61026d3660046115de565b6001600160a01b03165f9081526001602052604090205490565b348015610292575f80fd5b50610251610496565b3480156102a6575f80fd5b50610251610510565b3480156102ba575f80fd5b506101aa60105481565b3480156102cf575f80fd5b505f546040516001600160a01b03909116815260200161015d565b3480156102f5575f80fd5b506101aa60115481565b34801561030a575f80fd5b50610185610319366004611576565b6105c8565b348015610329575f80fd5b506101aa60125481565b34801561033e575f80fd5b506007546101859060ff1681565b348015610357575f80fd5b506102516105d4565b34801561036b575f80fd5b506101aa61037a3660046115f9565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103b033848461097c565b5060015b92915050565b5f6103c76009600a611724565b6103d490620bdb28611732565b905090565b5f6103e5848484610a9f565b6104368433610431856040518060600160405280602881526020016118c4602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611173565b61097c565b5060019392505050565b60075461010090046001600160a01b0316336001600160a01b031614610464575f80fd5b305f90815260016020526040902054801561048257610482816111ab565b4780156104925761049281611334565b5050565b5f546001600160a01b031633146104c85760405162461bcd60e51b81526004016104bf90611749565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105395760405162461bcd60e51b81526004016104bf90611749565b6105456009600a611724565b61055290620bdb28611732565b6010556105616009600a611724565b61056e90620bdb28611732565b6011556007805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105a86009600a611724565b6105b590620bdb28611732565b60405190815260200160405180910390a1565b5f6103b0338484610a9f565b5f546001600160a01b031633146105fd5760405162461bcd60e51b81526004016104bf90611749565b601554600160a01b900460ff16156106575760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104bf565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561069f9030906106926009600a611724565b61043190620bdb28611732565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106ef573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610713919061177e565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610772573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610796919061177e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107e0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610804919061177e565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d719473061084b816001600160a01b03165f9081526001602052604090205490565b5f8061085e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108c4573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108e99190611799565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561093e573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061096291906117c4565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109de5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104bf565b6001600160a01b038216610a3f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104bf565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b035760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104bf565b6001600160a01b038216610b655760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104bf565b5f8111610bc65760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104bf565b5f80546001600160a01b03858116911614801590610bf157505f546001600160a01b03848116911614155b15611036576001600160a01b0384165f9081526005602052604090205460ff16158015610c3657506001600160a01b0383165f9081526005602052604090205460ff16155b610c3e575f80fd5b60075460ff1615610cf5576014546001600160a01b03848116911614801590610c7557506015546001600160a01b03848116911614155b15610cf557325f908152600660205260409020544311610ce35760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b60648201526084016104bf565b325f9081526006602052604090204390555b6015546001600160a01b038581169116148015610d2057506014546001600160a01b03848116911614155b8015610d4457506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5f57601054821115610d975760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104bf565b60115482610db9856001600160a01b03165f9081526001602052604090205490565b610dc391906117e3565b1115610e115760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104bf565b600e54600f541015610e2857823b15610e28575f80fd5b600f8054905f610e37836117f6565b90915550506001600160a01b0383165f908152600460205260409020805460ff191660011790555b610e8b6064610e85600c54600f5411610e7a57600854610e7e565b600a545b859061136f565b906113f4565b6015549091506001600160a01b038481169116148015610eb457506001600160a01b0384163014155b15610f9957601054821115610f075760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104bf565b610f2c6064610e85600d54600f5411610f2257600954610e7e565b600b54859061136f565b9050600e54600f541180610f5757506001600160a01b0384165f9081526004602052604090205460ff165b610f995760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b60448201526064016104bf565b305f90815260016020526040902054601554600160a81b900460ff16158015610fcf57506015546001600160a01b038581169116145b8015610fe45750601554600160b01b900460ff165b8015610ff1575060125481115b80156110005750600e54600f54115b156110345761102261101d8461101884601354611435565b611435565b6111ab565b4780156110325761103247611334565b505b505b80156110ae57305f908152600160205260409020546110559082611449565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a59085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110d090836114a7565b6001600160a01b0385165f908152600160205260409020556111136110f583836114a7565b6001600160a01b0385165f9081526001602052604090205490611449565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61115c85856114a7565b60405190815260200160405180910390a350505050565b5f81848411156111965760405162461bcd60e51b81526004016104bf9190611514565b505f6111a2848661180e565b95945050505050565b6015805460ff60a81b1916600160a81b179055801561132457601554600160a01b900460ff1615611324576040805160028082526060820183525f9260208301908036833701905050905030815f8151811061120957611209611821565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611260573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611284919061177e565b8160018151811061129757611297611821565b6001600160a01b0392831660209182029290920101526014546112bd913091168461097c565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906112f59085905f90869030904290600401611835565b5f604051808303815f87803b15801561130c575f80fd5b505af115801561131e573d5f803e3d5ffd5b50505050505b506015805460ff60a81b19169055565b6007546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610492573d5f803e3d5ffd5b5f825f0361137e57505f6103b4565b5f6113898385611732565b90508261139685836118a4565b146113ed5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104bf565b9392505050565b5f6113ed83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114e8565b5f81831161144357826113ed565b50919050565b5f8061145583856117e3565b9050838110156113ed5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104bf565b5f6113ed83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611173565b5f81836115085760405162461bcd60e51b81526004016104bf9190611514565b505f6111a284866118a4565b5f6020808352835180828501525f5b8181101561153f57858101830151858201604001528201611523565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611573575f80fd5b50565b5f8060408385031215611587575f80fd5b82356115928161155f565b946020939093013593505050565b5f805f606084860312156115b2575f80fd5b83356115bd8161155f565b925060208401356115cd8161155f565b929592945050506040919091013590565b5f602082840312156115ee575f80fd5b81356113ed8161155f565b5f806040838503121561160a575f80fd5b82356116158161155f565b915060208301356116258161155f565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561167e57815f190482111561166457611664611630565b8085161561167157918102915b93841c9390800290611649565b509250929050565b5f82611694575060016103b4565b816116a057505f6103b4565b81600181146116b657600281146116c0576116dc565b60019150506103b4565b60ff8411156116d1576116d1611630565b50506001821b6103b4565b5060208310610133831016604e8410600b84101617156116ff575081810a6103b4565b6117098383611644565b805f190482111561171c5761171c611630565b029392505050565b5f6113ed60ff841683611686565b80820281158282048414176103b4576103b4611630565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561178e575f80fd5b81516113ed8161155f565b5f805f606084860312156117ab575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117d4575f80fd5b815180151581146113ed575f80fd5b808201808211156103b4576103b4611630565b5f6001820161180757611807611630565b5060010190565b818103818111156103b4576103b4611630565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118835784516001600160a01b03168352938301939183019160010161185e565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118be57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207dbeddbaedc5de8f63ccc1b4e12ea767bf0daa75fc471d5779da487bba2b9b8d64736f6c63430008140033

0x60806040526004361061011e575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb146102ff578063bf474bed1461031e578063c876d0b914610333578063c9567bf91461034c578063dd62ed3e14610360575f80fd5b8063751039fc1461029b5780637d1db4a5146102af5780638da5cb5b146102c45780638f9a55c0146102ea57806395d89b4114610129575f80fd5b8063313ce567116100e3578063313ce567146101eb5780633bbac5791461020657806351bc3c851461023d57806370a0823114610253578063715018a614610287575f80fd5b806306fdde0314610129578063095ea7b3146101665780630faee56f1461019557806318160ddd146101b857806323b872dd146101cc575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201825260068152655374696d6d7960d01b6020820152905161015d9190611514565b60405180910390f35b348015610171575f80fd5b50610185610180366004611576565b6103a4565b604051901515815260200161015d565b3480156101a0575f80fd5b506101aa60135481565b60405190815260200161015d565b3480156101c3575f80fd5b506101aa6103ba565b3480156101d7575f80fd5b506101856101e63660046115a0565b6103d9565b3480156101f6575f80fd5b506040516009815260200161015d565b348015610211575f80fd5b506101856102203660046115de565b6001600160a01b03165f9081526005602052604090205460ff1690565b348015610248575f80fd5b50610251610440565b005b34801561025e575f80fd5b506101aa61026d3660046115de565b6001600160a01b03165f9081526001602052604090205490565b348015610292575f80fd5b50610251610496565b3480156102a6575f80fd5b50610251610510565b3480156102ba575f80fd5b506101aa60105481565b3480156102cf575f80fd5b505f546040516001600160a01b03909116815260200161015d565b3480156102f5575f80fd5b506101aa60115481565b34801561030a575f80fd5b50610185610319366004611576565b6105c8565b348015610329575f80fd5b506101aa60125481565b34801561033e575f80fd5b506007546101859060ff1681565b348015610357575f80fd5b506102516105d4565b34801561036b575f80fd5b506101aa61037a3660046115f9565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103b033848461097c565b5060015b92915050565b5f6103c76009600a611724565b6103d490620bdb28611732565b905090565b5f6103e5848484610a9f565b6104368433610431856040518060600160405280602881526020016118c4602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611173565b61097c565b5060019392505050565b60075461010090046001600160a01b0316336001600160a01b031614610464575f80fd5b305f90815260016020526040902054801561048257610482816111ab565b4780156104925761049281611334565b5050565b5f546001600160a01b031633146104c85760405162461bcd60e51b81526004016104bf90611749565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105395760405162461bcd60e51b81526004016104bf90611749565b6105456009600a611724565b61055290620bdb28611732565b6010556105616009600a611724565b61056e90620bdb28611732565b6011556007805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105a86009600a611724565b6105b590620bdb28611732565b60405190815260200160405180910390a1565b5f6103b0338484610a9f565b5f546001600160a01b031633146105fd5760405162461bcd60e51b81526004016104bf90611749565b601554600160a01b900460ff16156106575760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104bf565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561069f9030906106926009600a611724565b61043190620bdb28611732565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106ef573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610713919061177e565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610772573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610796919061177e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107e0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610804919061177e565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d719473061084b816001600160a01b03165f9081526001602052604090205490565b5f8061085e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108c4573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108e99190611799565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561093e573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061096291906117c4565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109de5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104bf565b6001600160a01b038216610a3f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104bf565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b035760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104bf565b6001600160a01b038216610b655760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104bf565b5f8111610bc65760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104bf565b5f80546001600160a01b03858116911614801590610bf157505f546001600160a01b03848116911614155b15611036576001600160a01b0384165f9081526005602052604090205460ff16158015610c3657506001600160a01b0383165f9081526005602052604090205460ff16155b610c3e575f80fd5b60075460ff1615610cf5576014546001600160a01b03848116911614801590610c7557506015546001600160a01b03848116911614155b15610cf557325f908152600660205260409020544311610ce35760405162461bcd60e51b8152602060048201526024808201527f4f6e6c79206f6e65207472616e736665722070657220626c6f636b20616c6c6f6044820152633bb2b21760e11b60648201526084016104bf565b325f9081526006602052604090204390555b6015546001600160a01b038581169116148015610d2057506014546001600160a01b03848116911614155b8015610d4457506001600160a01b0383165f9081526003602052604090205460ff16155b15610e5f57601054821115610d975760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104bf565b60115482610db9856001600160a01b03165f9081526001602052604090205490565b610dc391906117e3565b1115610e115760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104bf565b600e54600f541015610e2857823b15610e28575f80fd5b600f8054905f610e37836117f6565b90915550506001600160a01b0383165f908152600460205260409020805460ff191660011790555b610e8b6064610e85600c54600f5411610e7a57600854610e7e565b600a545b859061136f565b906113f4565b6015549091506001600160a01b038481169116148015610eb457506001600160a01b0384163014155b15610f9957601054821115610f075760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104bf565b610f2c6064610e85600d54600f5411610f2257600954610e7e565b600b54859061136f565b9050600e54600f541180610f5757506001600160a01b0384165f9081526004602052604090205460ff165b610f995760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b60448201526064016104bf565b305f90815260016020526040902054601554600160a81b900460ff16158015610fcf57506015546001600160a01b038581169116145b8015610fe45750601554600160b01b900460ff165b8015610ff1575060125481115b80156110005750600e54600f54115b156110345761102261101d8461101884601354611435565b611435565b6111ab565b4780156110325761103247611334565b505b505b80156110ae57305f908152600160205260409020546110559082611449565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110a59085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110d090836114a7565b6001600160a01b0385165f908152600160205260409020556111136110f583836114a7565b6001600160a01b0385165f9081526001602052604090205490611449565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61115c85856114a7565b60405190815260200160405180910390a350505050565b5f81848411156111965760405162461bcd60e51b81526004016104bf9190611514565b505f6111a2848661180e565b95945050505050565b6015805460ff60a81b1916600160a81b179055801561132457601554600160a01b900460ff1615611324576040805160028082526060820183525f9260208301908036833701905050905030815f8151811061120957611209611821565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611260573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611284919061177e565b8160018151811061129757611297611821565b6001600160a01b0392831660209182029290920101526014546112bd913091168461097c565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906112f59085905f90869030904290600401611835565b5f604051808303815f87803b15801561130c575f80fd5b505af115801561131e573d5f803e3d5ffd5b50505050505b506015805460ff60a81b19169055565b6007546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610492573d5f803e3d5ffd5b5f825f0361137e57505f6103b4565b5f6113898385611732565b90508261139685836118a4565b146113ed5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104bf565b9392505050565b5f6113ed83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114e8565b5f81831161144357826113ed565b50919050565b5f8061145583856117e3565b9050838110156113ed5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104bf565b5f6113ed83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611173565b5f81836115085760405162461bcd60e51b81526004016104bf9190611514565b505f6111a284866118a4565b5f6020808352835180828501525f5b8181101561153f57858101830151858201604001528201611523565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611573575f80fd5b50565b5f8060408385031215611587575f80fd5b82356115928161155f565b946020939093013593505050565b5f805f606084860312156115b2575f80fd5b83356115bd8161155f565b925060208401356115cd8161155f565b929592945050506040919091013590565b5f602082840312156115ee575f80fd5b81356113ed8161155f565b5f806040838503121561160a575f80fd5b82356116158161155f565b915060208301356116258161155f565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561167e57815f190482111561166457611664611630565b8085161561167157918102915b93841c9390800290611649565b509250929050565b5f82611694575060016103b4565b816116a057505f6103b4565b81600181146116b657600281146116c0576116dc565b60019150506103b4565b60ff8411156116d1576116d1611630565b50506001821b6103b4565b5060208310610133831016604e8410600b84101617156116ff575081810a6103b4565b6117098383611644565b805f190482111561171c5761171c611630565b029392505050565b5f6113ed60ff841683611686565b80820281158282048414176103b4576103b4611630565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561178e575f80fd5b81516113ed8161155f565b5f805f606084860312156117ab575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117d4575f80fd5b815180151581146113ed575f80fd5b808201808211156103b4576103b4611630565b5f6001820161180757611807611630565b5060010190565b818103818111156103b4576103b4611630565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118835784516001600160a01b03168352938301939183019160010161185e565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118be57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207dbeddbaedc5de8f63ccc1b4e12ea767bf0daa75fc471d5779da487bba2b9b8d64736f6c63430008140033

3554:8606:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5518:83;;;;;;;;;;-1:-1:-1;5588:5:0;;;;;;;;;;;-1:-1:-1;;;5588:5:0;;;;5518:83;;;;5588:5;5518:83;:::i;:::-;;;;;;;;6351:161;;;;;;;;;;-1:-1:-1;6351:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6351:161:0;1023:187:1;4797:48:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4797:48:0;1215:177:1;5795:95:0;;;;;;;;;;;;;:::i;6520:313::-;;;;;;;;;;-1:-1:-1;6520:313:0;;;;;:::i;:::-;;:::i;5704:83::-;;;;;;;;;;-1:-1:-1;5704:83:0;;4436:1;2000:36:1;;1988:2;1973:18;5704:83:0;1858:184:1;10779:83:0;;;;;;;;;;-1:-1:-1;10779:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;10847:7:0;10826:4;10847:7;;;:4;:7;;;;;;;;;10779:83;11789:348;;;;;;;;;;;;;:::i;:::-;;5898:119;;;;;;;;;;-1:-1:-1;5898:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5991:18:0;5964:7;5991:18;;;:9;:18;;;;;;;5898:119;2635:148;;;;;;;;;;;;;:::i;10475:196::-;;;;;;;;;;;;;:::i;4618:51::-;;;;;;;;;;;;;;;;2421:79;;;;;;;;;;-1:-1:-1;2459:7:0;2486:6;2421:79;;-1:-1:-1;;;;;2486:6:0;;;2445:51:1;;2433:2;2418:18;2421:79:0;2299:203:1;4676:53:0;;;;;;;;;;;;;;;;6025:167;;;;;;;;;;-1:-1:-1;6025:167:0;;;;;:::i;:::-;;:::i;4736:54::-;;;;;;;;;;;;;;;;3992:40;;;;;;;;;;-1:-1:-1;3992:40:0;;;;;;;;10870:671;;;;;;;;;;;;;:::i;6200:143::-;;;;;;;;;;-1:-1:-1;6200:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6308:18:0;;;6281:7;6308:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6200:143;6351:161;6426:4;6443:39;256:10;6466:7;6475:6;6443:8;:39::i;:::-;-1:-1:-1;6500:4:0;6351:161;;;;;:::o;5795:95::-;5848:7;4488:13;4436:1;4488:2;:13;:::i;:::-;4479:22;;:6;:22;:::i;:::-;5868:14;;5795:95;:::o;6520:313::-;6618:4;6635:36;6645:6;6653:9;6664:6;6635:9;:36::i;:::-;6682:121;6691:6;256:10;6713:89;6751:6;6713:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6713:19:0;;;;;;:11;:19;;;;;;;;256:10;6713:33;;;;;;;;;;:37;:89::i;:::-;6682:8;:121::i;:::-;-1:-1:-1;6821:4:0;6520:313;;;;;:::o;11789:348::-;11853:10;;;;;-1:-1:-1;;;;;11853:10:0;256;-1:-1:-1;;;;;11839:24:0;;11831:33;;;;;;11914:4;11875:20;5991:18;;;:9;:18;;;;;;11934:14;;11931:73;;11962:30;11979:12;11962:16;:30::i;:::-;12033:21;12068:12;;12065:65;;12094:24;12107:10;12094:12;:24::i;:::-;11820:317;;11789:348::o;2635:148::-;2548:6;;-1:-1:-1;;;;;2548:6:0;256:10;2548:22;2540:67;;;;-1:-1:-1;;;2540:67:0;;;;;;;:::i;:::-;;;;;;;;;2742:1:::1;2726:6:::0;;2705:40:::1;::::0;-1:-1:-1;;;;;2726:6:0;;::::1;::::0;2705:40:::1;::::0;2742:1;;2705:40:::1;2773:1;2756:19:::0;;-1:-1:-1;;;;;;2756:19:0::1;::::0;;2635:148::o;10475:196::-;2548:6;;-1:-1:-1;;;;;2548:6:0;256:10;2548:22;2540:67;;;;-1:-1:-1;;;2540:67:0;;;;;;;:::i;:::-;4488:13:::1;4436:1;4488:2;:13;:::i;:::-;4479:22;::::0;:6:::1;:22;:::i;:::-;10528:12;:22:::0;4488:13:::1;4436:1;4488:2;:13;:::i;:::-;4479:22;::::0;:6:::1;:22;:::i;:::-;10561:14;:22:::0;10594:20:::1;:26:::0;;-1:-1:-1;;10594:26:0::1;::::0;;10636:27:::1;4488:13;4436:1;-1:-1:-1::0;4488:13:0::1;:::i;:::-;4479:22;::::0;:6:::1;:22;:::i;:::-;10636:27;::::0;1361:25:1;;;1349:2;1334:18;10636:27:0::1;;;;;;;10475:196::o:0;6025:167::-;6103:4;6120:42;256:10;6144:9;6155:6;6120:9;:42::i;10870:671::-;2548:6;;-1:-1:-1;;;;;2548:6:0;256:10;2548:22;2540:67;;;;-1:-1:-1;;;2540:67:0;;;;;;;:::i;:::-;10934:11:::1;::::0;-1:-1:-1;;;10934:11:0;::::1;;;10933:12;10925:47;;;::::0;-1:-1:-1;;;10925:47:0;;5151:2:1;10925:47:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;10925:47:0::1;4949:347:1::0;10925:47:0::1;10983:15;:80:::0;;-1:-1:-1;;;;;;10983:80:0::1;11020:42;10983:80:::0;;::::1;::::0;;;11074:58:::1;::::0;11091:4:::1;::::0;4488:13:::1;4436:1;4488:2;:13;:::i;:::-;4479:22;::::0;:6:::1;:22;:::i;11074:58::-;11177:15;;;;;;;;;-1:-1:-1::0;;;;;11177:15:0::1;-1:-1:-1::0;;;;;11177:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11159:55:0::1;;11223:4;11230:15;;;;;;;;;-1:-1:-1::0;;;;;11230:15:0::1;-1:-1:-1::0;;;;;11230:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11159:94;::::0;-1:-1:-1;;;;;;11159:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;11159:94:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;11159:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11143:13;:110:::0;;-1:-1:-1;;;;;11143:110:0;;::::1;-1:-1:-1::0;;;;;;11143:110:0;;::::1;;::::0;;11264:15:::1;::::0;::::1;:31;11303:21;11334:4;11340:24;11334:4:::0;-1:-1:-1;;;;;5991:18:0;5964:7;5991:18;;;:9;:18;;;;;;;5898:119;11340:24:::1;11365:1;11367::::0;11369:7:::1;2459::::0;2486:6;-1:-1:-1;;;;;2486:6:0;;2421:79;11369:7:::1;11264:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11264:129:0;;;-1:-1:-1;;;;;6225:15:1;;;11264:129:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;11377:15:0::1;6439:19:1::0;;;6432:35;6141:19;;11264:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11411:13:0::1;::::0;11442:15:::1;::::0;11404:71:::1;::::0;-1:-1:-1;;;11404:71:0;;-1:-1:-1;;;;;11442:15:0;;::::1;11404:71;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;11411:13:0;::::1;::::0;-1:-1:-1;11404:29:0::1;::::0;6936:18:1;;11404:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11486:11:0::1;:18:::0;;-1:-1:-1;;;;11515:18:0;-1:-1:-1;;;11515:18:0;;;10870:671::o;6841:335::-;-1:-1:-1;;;;;6934:19:0;;6926:68;;;;-1:-1:-1;;;6926:68:0;;7552:2:1;6926:68:0;;;7534:21:1;7591:2;7571:18;;;7564:30;7630:34;7610:18;;;7603:62;-1:-1:-1;;;7681:18:1;;;7674:34;7725:19;;6926:68:0;7350:400:1;6926:68:0;-1:-1:-1;;;;;7013:21:0;;7005:68;;;;-1:-1:-1;;;7005:68:0;;7957:2:1;7005:68:0;;;7939:21:1;7996:2;7976:18;;;7969:30;8035:34;8015:18;;;8008:62;-1:-1:-1;;;8086:18:1;;;8079:32;8128:19;;7005:68:0;7755:398:1;7005:68:0;-1:-1:-1;;;;;7084:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7136:32;;1361:25:1;;;7136:32:0;;1334:18:1;7136:32:0;;;;;;;6841:335;;;:::o;7184:2612::-;-1:-1:-1;;;;;7272:18:0;;7264:68;;;;-1:-1:-1;;;7264:68:0;;8360:2:1;7264:68:0;;;8342:21:1;8399:2;8379:18;;;8372:30;8438:34;8418:18;;;8411:62;-1:-1:-1;;;8489:18:1;;;8482:35;8534:19;;7264:68:0;8158:401:1;7264:68:0;-1:-1:-1;;;;;7351:16:0;;7343:64;;;;-1:-1:-1;;;7343:64:0;;8766:2:1;7343:64:0;;;8748:21:1;8805:2;8785:18;;;8778:30;8844:34;8824:18;;;8817:62;-1:-1:-1;;;8895:18:1;;;8888:33;8938:19;;7343:64:0;8564:399:1;7343:64:0;7435:1;7426:6;:10;7418:64;;;;-1:-1:-1;;;7418:64:0;;9170:2:1;7418:64:0;;;9152:21:1;9209:2;9189:18;;;9182:30;9248:34;9228:18;;;9221:62;-1:-1:-1;;;9299:18:1;;;9292:39;9348:19;;7418:64:0;8968:405:1;7418:64:0;7493:17;2486:6;;-1:-1:-1;;;;;7527:15:0;;;2486:6;;7527:15;;;;:32;;-1:-1:-1;2459:7:0;2486:6;-1:-1:-1;;;;;7546:13:0;;;2486:6;;7546:13;;7527:32;7523:1917;;;-1:-1:-1;;;;;7585:10:0;;;;;;:4;:10;;;;;;;;7584:11;:24;;;;-1:-1:-1;;;;;;7600:8:0;;;;;;:4;:8;;;;;;;;7599:9;7584:24;7576:33;;;;;;7630:20;;;;7626:346;;;7689:15;;-1:-1:-1;;;;;7675:30:0;;;7689:15;;7675:30;;;;:62;;-1:-1:-1;7723:13:0;;-1:-1:-1;;;;;7709:28:0;;;7723:13;;7709:28;;7675:62;7671:286;;;7797:9;7768:39;;;;:28;:39;;;;;;7810:12;-1:-1:-1;7760:102:0;;;;-1:-1:-1;;;7760:102:0;;9580:2:1;7760:102:0;;;9562:21:1;9619:2;9599:18;;;9592:30;9658:34;9638:18;;;9631:62;-1:-1:-1;;;9709:18:1;;;9702:34;9753:19;;7760:102:0;9378:400:1;7760:102:0;7912:9;7883:39;;;;:28;:39;;;;;7925:12;7883:54;;7671:286;8000:13;;-1:-1:-1;;;;;7992:21:0;;;8000:13;;7992:21;:55;;;;-1:-1:-1;8031:15:0;;-1:-1:-1;;;;;8017:30:0;;;8031:15;;8017:30;;7992:55;:83;;;;-1:-1:-1;;;;;;8053:22:0;;;;;;:18;:22;;;;;;;;8051:24;7992:83;7988:465;;;8115:12;;8105:6;:22;;8097:60;;;;-1:-1:-1;;;8097:60:0;;9985:2:1;8097:60:0;;;9967:21:1;10024:2;10004:18;;;9997:30;-1:-1:-1;;;10043:18:1;;;10036:55;10108:18;;8097:60:0;9783:349:1;8097:60:0;8210:14;;8200:6;8184:13;8194:2;-1:-1:-1;;;;;5991:18:0;5964:7;5991:18;;;:9;:18;;;;;;;5898:119;8184:13;:22;;;;:::i;:::-;:40;;8176:79;;;;-1:-1:-1;;;8176:79:0;;10469:2:1;8176:79:0;;;10451:21:1;10508:2;10488:18;;;10481:30;10547:28;10527:18;;;10520:56;10593:18;;8176:79:0;10267:350:1;8176:79:0;8287:18;;8277:9;;:28;8274:97;;;11717:20;;11765:8;8327:24;;;;;;8389:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8419:13:0;;;;;;:9;:13;;;;;:18;;-1:-1:-1;;8419:18:0;8433:4;8419:18;;;7988:465;8483:76;8555:3;8483:67;8505:15;;8495:9;;:25;8494:55;;8535:14;;8494:55;;;8522:12;;8494:55;8483:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8583:13;;8471:88;;-1:-1:-1;;;;;;8577:19:0;;;8583:13;;8577:19;:43;;;;-1:-1:-1;;;;;;8600:20:0;;8615:4;8600:20;;8577:43;8574:350;;;8659:12;;8649:6;:22;;8641:60;;;;-1:-1:-1;;;8641:60:0;;9985:2:1;8641:60:0;;;9967:21:1;10024:2;10004:18;;;9997:30;-1:-1:-1;;;10043:18:1;;;10036:55;10108:18;;8641:60:0;9783:349:1;8641:60:0;8732:79;8807:3;8732:70;8754:16;;8744:9;;:26;8743:58;;8786:15;;8743:58;;;8772:13;;8732:6;;:10;:70::i;:79::-;8720:91;;8848:18;;8838:9;;:28;:47;;;-1:-1:-1;;;;;;8870:15:0;;;;;;:9;:15;;;;;;;;8838:47;8830:78;;;;-1:-1:-1;;;8830:78:0;;10964:2:1;8830:78:0;;;10946:21:1;11003:2;10983:18;;;10976:30;-1:-1:-1;;;11022:18:1;;;11015:49;11081:18;;8830:78:0;10762:343:1;8830:78:0;8989:4;8940:28;5991:18;;;:9;:18;;;;;;9015:6;;-1:-1:-1;;;9015:6:0;;;;9014:7;:30;;;;-1:-1:-1;9031:13:0;;-1:-1:-1;;;;;9025:19:0;;;9031:13;;9025:19;9014:30;:45;;;;-1:-1:-1;9048:11:0;;-1:-1:-1;;;9048:11:0;;;;9014:45;:87;;;;;9084:17;;9063:20;:38;9014:87;:119;;;;;9115:18;;9105:9;;:28;9014:119;9010:419;;;9154:67;9171:49;9175:6;9182:37;9186:20;9207:11;;9182:3;:37::i;:::-;9171:3;:49::i;:::-;9154:16;:67::i;:::-;9269:21;9312:22;;9309:105;;9359:35;9372:21;9359:12;:35::i;:::-;9135:294;9010:419;7561:1879;7523:1917;9455:11;;9452:161;;9523:4;9505:24;;;;:9;:24;;;;;;:39;;9534:9;9505:28;:39::i;:::-;9498:4;9480:24;;;;:9;:24;;;;;;;:64;;;;9562:39;;-1:-1:-1;;;;;9562:39:0;;;;;;;9591:9;1361:25:1;;1349:2;1334:18;;1215:177;9562:39:0;;;;;;;;9452:161;-1:-1:-1;;;;;9639:15:0;;;;;;:9;:15;;;;;;:27;;9659:6;9639:19;:27::i;:::-;-1:-1:-1;;;;;9623:15:0;;;;;;:9;:15;;;;;:43;9691:40;9709:21;:6;9720:9;9709:10;:21::i;:::-;-1:-1:-1;;;;;9691:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9677:13:0;;;;;;;:9;:13;;;;;:54;;;;9747:41;;;9766:21;:6;9777:9;9766:10;:21::i;:::-;9747:41;;1361:25:1;;;1349:2;1334:18;9747:41:0;;;;;;;7253:2543;7184:2612;;;:::o;1313:190::-;1399:7;1435:12;1427:6;;;;1419:29;;;;-1:-1:-1;;;1419:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1459:9:0;1471:5;1475:1;1471;:5;:::i;:::-;1459:17;1313:190;-1:-1:-1;;;;;1313:190:0:o;9912:555::-;5127:6;:13;;-1:-1:-1;;;;5127:13:0;-1:-1:-1;;;5127:13:0;;;9990:27;;10009:7:::1;9990:27;10031:11;::::0;-1:-1:-1;;;10031:11:0;::::1;;;10027:25:::0;10044:7:::1;10027:25;10086:16;::::0;;10100:1:::1;10086:16:::0;;;;;::::1;::::0;;10062:21:::1;::::0;10086:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10086:16:0::1;10062:40;;10131:4;10113;10118:1;10113:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10113:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10157:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10157:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10113:7;;10157:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10147:4;10152:1;10147:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10147:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10222:15:::1;::::0;10190:62:::1;::::0;10207:4:::1;::::0;10222:15:::1;10240:11:::0;10190:8:::1;:62::i;:::-;10263:15;::::0;:196:::1;::::0;-1:-1:-1;;;10263:196:0;;-1:-1:-1;;;;;10263:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10344:11;;10263:15:::1;::::0;10386:4;;10413::::1;::::0;10433:15:::1;::::0;10263:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9979:488;5151:1;-1:-1:-1::0;5163:6:0;:14;;-1:-1:-1;;;;5163:14:0;;;9912:555::o;10679:92::-;10736:10;;:27;;:10;;;;-1:-1:-1;;;;;10736:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1511:246;1569:7;1593:1;1598;1593:6;1589:47;;-1:-1:-1;1623:1:0;1616:8;;1589:47;1646:9;1658:5;1662:1;1658;:5;:::i;:::-;1646:17;-1:-1:-1;1691:1:0;1682:5;1686:1;1646:17;1682:5;:::i;:::-;:10;1674:56;;;;-1:-1:-1;;;1674:56:0;;12916:2:1;1674:56:0;;;12898:21:1;12955:2;12935:18;;;12928:30;12994:34;12974:18;;;12967:62;-1:-1:-1;;;13045:18:1;;;13038:31;13086:19;;1674:56:0;12714:397:1;1674:56:0;1748:1;1511:246;-1:-1:-1;;;1511:246:0:o;1765:132::-;1823:7;1850:39;1854:1;1857;1850:39;;;;;;;;;;;;;;;;;:3;:39::i;9806:98::-;9863:7;9890:1;9888;:3;9887:9;;9895:1;9887:9;;;-1:-1:-1;9893:1:0;9806:98;-1:-1:-1;9806:98:0:o;982:179::-;1040:7;;1072:5;1076:1;1072;:5;:::i;:::-;1060:17;;1101:1;1096;:6;;1088:46;;;;-1:-1:-1;;;1088:46:0;;13318:2:1;1088:46:0;;;13300:21:1;13357:2;13337:18;;;13330:30;13396:29;13376:18;;;13369:57;13443:18;;1088:46:0;13116:351:1;1169:136:0;1227:7;1254:43;1258:1;1261;1254:43;;;;;;;;;;;;;;;;;:3;:43::i;1905:189::-;1991:7;2026:12;2019:5;2011:28;;;;-1:-1:-1;;;2011:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2050:9:0;2062:5;2066:1;2062;: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:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5301:251::-;5371:6;5424:2;5412:9;5403:7;5399:23;5395:32;5392:52;;;5440:1;5437;5430:12;5392:52;5472:9;5466:16;5491:31;5516:5;5491:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;7068:277::-;7135:6;7188:2;7176:9;7167:7;7163:23;7159:32;7156:52;;;7204:1;7201;7194:12;7156:52;7236:9;7230:16;7289:5;7282:13;7275:21;7268:5;7265:32;7255:60;;7311:1;7308;7301:12;10137:125;10202:9;;;10223:10;;;10220:36;;;10236:18;;:::i;10622:135::-;10661:3;10682:17;;;10679:43;;10702:18;;:::i;:::-;-1:-1:-1;10749:1:1;10738:13;;10622:135::o;11110:128::-;11177:9;;;11198:11;;;11195:37;;;11212:18;;:::i;11375:127::-;11436:10;11431:3;11427:20;11424:1;11417:31;11467:4;11464:1;11457:15;11491:4;11488:1;11481:15;11507:980;11769:4;11817:3;11806:9;11802:19;11848:6;11837:9;11830:25;11874:2;11912:6;11907:2;11896:9;11892:18;11885:34;11955:3;11950:2;11939:9;11935:18;11928:31;11979:6;12014;12008:13;12045:6;12037;12030:22;12083:3;12072:9;12068:19;12061:26;;12122:2;12114:6;12110:15;12096:29;;12143:1;12153:195;12167:6;12164:1;12161:13;12153:195;;;12232:13;;-1:-1:-1;;;;;12228:39:1;12216:52;;12323:15;;;;12288:12;;;;12264:1;12182:9;12153:195;;;-1:-1:-1;;;;;;;12404:32:1;;;;12399:2;12384:18;;12377:60;-1:-1:-1;;;12468:3:1;12453:19;12446:35;12365:3;11507:980;-1:-1:-1;;;11507:980:1:o;12492:217::-;12532:1;12558;12548:132;;12602:10;12597:3;12593:20;12590:1;12583:31;12637:4;12634:1;12627:15;12665:4;12662:1;12655:15;12548:132;-1:-1:-1;12694:9:1;;12492:217::o

ipfs://7dbeddbaedc5de8f63ccc1b4e12ea767bf0daa75fc471d5779da487bba2b9b8d