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-10-27
*/

// SPDX-License-Identifier: MIT
/*
Michael Saylor, microstrategy official CEO. But this time, he's  CryptoSaylor...

Portal: https://t.me/MICHAELSAYLOR_CEO
Website: http://michaelsaylor-microstrategy.online/
Twitter: https://twitter.com/michaelS_CEO
*/

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

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=35;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _reduceBuyTaxAt=18;
    uint256 private _reduceSellTaxAt=25;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 6666666666 * 10**_decimals;
    string private constant _name = "MICHAEL SAYLOR";
    string private constant _symbol = "CEO";
    uint256 public _maxTxAmount = _tTotal.mul(200).div(10000);
    uint256 public _maxWalletSize = _tTotal.mul(200).div(10000);
    uint256 public _taxSwapThreshold= 10000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 10000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen =false;
    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");
        if (from != owner() && from != address(this)) {
            require(tradingOpen, "Trading is not enabled yet");
        }


        uint256 taxAmount = 0;
        if (from != owner() && to != owner()) {
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && !_isExcludedFromFee[to]) {
                taxAmount = amount.mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax).div(100);
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            } else if (to == uniswapV2Pair && from != address(this)) {
                taxAmount = amount.mul((_buyCount > _reduceSellTaxAt) ? _finalSellTax : _initialSellTax).div(100);
            }

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

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

        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));

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



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

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

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

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

    function activateTrading() external onlyOwner() {
        require(!tradingOpen, "Trading is already open");
    
        tradingOpen = true;
        swapEnabled = true;
    }


    function addLpToUniswap() 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 = false;
        tradingOpen = false;
    }

    receive() external payable {}

    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":[],"name":"activateTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"addLpToUniswap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"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"}]

60806040526006805460ff19166001908117909155601460075560236008556009818155600a9182556012600b556019600c55600d8290555f600e556200007691612710916200006f9160c891620000579162000479565b620000689064018d5d42aa62000489565b9062000256565b90620002e9565b600f55620000946127106200006f60c8620000576009600a62000479565b601055620000a56009600a62000479565b620000b4906298968062000489565b601155620000c56009600a62000479565b620000d4906298968062000489565b6012556014805462ffffff60a01b19169055348015620000f2575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101003302179055620001586009600a62000479565b620001699064018d5d42aa62000489565b335f908152600160208190526040822092909255600390620001925f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001f53390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200022e6009600a62000479565b6200023f9064018d5d42aa62000489565b60405190815260200160405180910390a362000510565b5f825f036200026757505f620002e3565b5f62000274838562000489565b905082620002838583620004a3565b14620002e05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b5f620002e083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506200033260201b60201c565b5f8183620003555760405162461bcd60e51b8152600401620002d79190620004c3565b505f620003638486620004a3565b95945050505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620003c057815f1904821115620003a457620003a46200036c565b80851615620003b257918102915b93841c939080029062000385565b509250929050565b5f82620003d857506001620002e3565b81620003e657505f620002e3565b8160018114620003ff57600281146200040a576200042a565b6001915050620002e3565b60ff8411156200041e576200041e6200036c565b50506001821b620002e3565b5060208310610133831016604e8410600b84101617156200044f575081810a620002e3565b6200045b838362000380565b805f19048211156200047157620004716200036c565b029392505050565b5f620002e060ff841683620003c8565b8082028115828204841417620002e357620002e36200036c565b5f82620004be57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020808352835180828501525f5b81811015620004f057858101830151858201604001528201620004d2565b505f604082860101526040601f19601f8301168501019250505092915050565b611942806200051e5f395ff3fe60806040526004361061011e575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146102fb578063a9059cbb14610326578063bf474bed14610345578063c876d0b91461035a578063dd62ed3e14610373575f80fd5b8063715018a614610283578063751039fc146102975780637d1db4a5146102ab5780638da5cb5b146102c05780638f9a55c0146102e6575f80fd5b806323b872dd116100e357806323b872dd146101ed578063313ce5671461020c578063398bb3181461022757806351bc3c851461023b57806370a082311461024f575f80fd5b806306fdde0314610129578063095ea7b3146101715780630bd05b69146101a05780630faee56f146101b657806318160ddd146101d9575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600e81526d26a4a1a420a2a61029a0aca627a960911b60208201525b6040516101689190611535565b60405180910390f35b34801561017c575f80fd5b5061019061018b366004611597565b6103b7565b6040519015158152602001610168565b3480156101ab575f80fd5b506101b46103cd565b005b3480156101c1575f80fd5b506101cb60125481565b604051908152602001610168565b3480156101e4575f80fd5b506101cb610472565b3480156101f8575f80fd5b506101906102073660046115c1565b610493565b348015610217575f80fd5b5060405160098152602001610168565b348015610232575f80fd5b506101b46104fa565b348015610246575f80fd5b506101b461089c565b34801561025a575f80fd5b506101cb6102693660046115ff565b6001600160a01b03165f9081526001602052604090205490565b34801561028e575f80fd5b506101b46108f2565b3480156102a2575f80fd5b506101b4610963565b3480156102b6575f80fd5b506101cb600f5481565b3480156102cb575f80fd5b505f546040516001600160a01b039091168152602001610168565b3480156102f1575f80fd5b506101cb60105481565b348015610306575f80fd5b5060408051808201909152600381526243454f60e81b602082015261015b565b348015610331575f80fd5b50610190610340366004611597565b610a21565b348015610350575f80fd5b506101cb60115481565b348015610365575f80fd5b506006546101909060ff1681565b34801561037e575f80fd5b506101cb61038d36600461161a565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103c3338484610a2d565b5060015b92915050565b5f546001600160a01b031633146103ff5760405162461bcd60e51b81526004016103f690611651565b60405180910390fd5b601454600160a01b900460ff16156104595760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f6565b6014805462ff00ff60a01b19166201000160a01b179055565b5f61047f6009600a61177a565b61048e9064018d5d42aa611788565b905090565b5f61049f848484610b50565b6104f084336104eb856040518060600160405280602881526020016118e5602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111ad565b610a2d565b5060019392505050565b5f546001600160a01b031633146105235760405162461bcd60e51b81526004016103f690611651565b601454600160a01b900460ff161561057d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f6565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c79030906105b86009600a61177a565b6104eb9064018d5d42aa611788565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610617573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063b919061179f565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106be919061179f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610708573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072c919061179f565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610773816001600160a01b03165f9081526001602052604090205490565b5f806107865f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107ec573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061081191906117ba565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610866573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088a91906117e5565b506014805462ff00ff60a01b19169055565b60065461010090046001600160a01b0316336001600160a01b0316146108c0575f80fd5b305f9081526001602052604090205480156108de576108de816111e5565b4780156108ee576108ee81611355565b5050565b5f546001600160a01b0316331461091b5760405162461bcd60e51b81526004016103f690611651565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461098c5760405162461bcd60e51b81526004016103f690611651565b6109986009600a61177a565b6109a79064018d5d42aa611788565b600f556109b66009600a61177a565b6109c59064018d5d42aa611788565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6109ff6009600a61177a565b610a0e9064018d5d42aa611788565b60405190815260200160405180910390a1565b5f6103c3338484610b50565b6001600160a01b038316610a8f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f6565b6001600160a01b038216610af05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f6565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb45760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f6565b6001600160a01b038216610c165760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f6565b5f8111610c775760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f6565b5f546001600160a01b03848116911614801590610c9d57506001600160a01b0383163014155b15610cfb57601454600160a01b900460ff16610cfb5760405162461bcd60e51b815260206004820152601a60248201527f54726164696e67206973206e6f7420656e61626c65642079657400000000000060448201526064016103f6565b5f80546001600160a01b03858116911614801590610d2657505f546001600160a01b03848116911614155b15611070576014546001600160a01b038581169116148015610d5657506013546001600160a01b03848116911614155b8015610d7a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e9257610dab6064610da5600b54600e5411610d9a57600754610d9e565b6009545b8590611390565b90611415565b9050600f54821115610dff5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f6565b60105482610e21856001600160a01b03165f9081526001602052604090205490565b610e2b9190611804565b1115610e795760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f6565b600e8054905f610e8883611817565b9190505550610ee5565b6014546001600160a01b038481169116148015610eb857506001600160a01b0384163014155b15610ee557610ee26064610da5600c54600e5411610ed857600854610d9e565b600a548590611390565b90505b60065460ff168015610f0557506013546001600160a01b03848116911614155b8015610f1f57506014546001600160a01b03848116911614155b15610fca57325f908152600560205260409020544311610fb85760405162461bcd60e51b815260206004820152604860248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e204f6e6c79206f6e652070757263686173652070657220626c6f636b2060648201526730b63637bbb2b21760c11b608482015260a4016103f6565b325f9081526005602052604090204390555b305f90815260016020526040902054601454600160a81b900460ff1615801561100057506014546001600160a01b038581169116145b80156110155750601454600160b01b900460ff165b8015611022575060115481115b80156110315750600d54600e54115b1561106e5761105361104e8461104984601254611456565b611456565b6111e5565b4766b1a2bc2ec5000081111561106c5761106c47611355565b505b505b6001600160a01b0384165f90815260016020526040902054611092908361146a565b6001600160a01b0385165f908152600160205260409020556110d56110b7838361146a565b6001600160a01b0385165f90815260016020526040902054906114ab565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61111e858561146a565b60405190815260200160405180910390a380156111a757305f9081526001602052604090205461114e90826114ab565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061119e9085815260200190565b60405180910390a35b50505050565b5f81848411156111d05760405162461bcd60e51b81526004016103f69190611535565b505f6111dc848661182f565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061122b5761122b611842565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611282573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112a6919061179f565b816001815181106112b9576112b9611842565b6001600160a01b0392831660209182029290920101526013546112df9130911684610a2d565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113179085905f90869030904290600401611856565b5f604051808303815f87803b15801561132e575f80fd5b505af1158015611340573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f193505050501580156108ee573d5f803e3d5ffd5b5f825f0361139f57505f6103c7565b5f6113aa8385611788565b9050826113b785836118c5565b1461140e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f6565b9392505050565b5f61140e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611509565b5f818311611464578261140e565b50919050565b5f61140e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ad565b5f806114b78385611804565b90508381101561140e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f6565b5f81836115295760405162461bcd60e51b81526004016103f69190611535565b505f6111dc84866118c5565b5f6020808352835180828501525f5b8181101561156057858101830151858201604001528201611544565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611594575f80fd5b50565b5f80604083850312156115a8575f80fd5b82356115b381611580565b946020939093013593505050565b5f805f606084860312156115d3575f80fd5b83356115de81611580565b925060208401356115ee81611580565b929592945050506040919091013590565b5f6020828403121561160f575f80fd5b813561140e81611580565b5f806040838503121561162b575f80fd5b823561163681611580565b9150602083013561164681611580565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116d457815f19048211156116ba576116ba611686565b808516156116c757918102915b93841c939080029061169f565b509250929050565b5f826116ea575060016103c7565b816116f657505f6103c7565b816001811461170c576002811461171657611732565b60019150506103c7565b60ff84111561172757611727611686565b50506001821b6103c7565b5060208310610133831016604e8410600b8410161715611755575081810a6103c7565b61175f838361169a565b805f190482111561177257611772611686565b029392505050565b5f61140e60ff8416836116dc565b80820281158282048414176103c7576103c7611686565b5f602082840312156117af575f80fd5b815161140e81611580565b5f805f606084860312156117cc575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117f5575f80fd5b8151801515811461140e575f80fd5b808201808211156103c7576103c7611686565b5f6001820161182857611828611686565b5060010190565b818103818111156103c7576103c7611686565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118a45784516001600160a01b03168352938301939183019160010161187f565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118df57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122051644dcc6dd85406956d0e02bc179f62a0dba445fec7726d36045c33ab3b887964736f6c63430008140033

0x60806040526004361061011e575f3560e01c8063715018a61161009d57806395d89b411161006257806395d89b41146102fb578063a9059cbb14610326578063bf474bed14610345578063c876d0b91461035a578063dd62ed3e14610373575f80fd5b8063715018a614610283578063751039fc146102975780637d1db4a5146102ab5780638da5cb5b146102c05780638f9a55c0146102e6575f80fd5b806323b872dd116100e357806323b872dd146101ed578063313ce5671461020c578063398bb3181461022757806351bc3c851461023b57806370a082311461024f575f80fd5b806306fdde0314610129578063095ea7b3146101715780630bd05b69146101a05780630faee56f146101b657806318160ddd146101d9575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600e81526d26a4a1a420a2a61029a0aca627a960911b60208201525b6040516101689190611535565b60405180910390f35b34801561017c575f80fd5b5061019061018b366004611597565b6103b7565b6040519015158152602001610168565b3480156101ab575f80fd5b506101b46103cd565b005b3480156101c1575f80fd5b506101cb60125481565b604051908152602001610168565b3480156101e4575f80fd5b506101cb610472565b3480156101f8575f80fd5b506101906102073660046115c1565b610493565b348015610217575f80fd5b5060405160098152602001610168565b348015610232575f80fd5b506101b46104fa565b348015610246575f80fd5b506101b461089c565b34801561025a575f80fd5b506101cb6102693660046115ff565b6001600160a01b03165f9081526001602052604090205490565b34801561028e575f80fd5b506101b46108f2565b3480156102a2575f80fd5b506101b4610963565b3480156102b6575f80fd5b506101cb600f5481565b3480156102cb575f80fd5b505f546040516001600160a01b039091168152602001610168565b3480156102f1575f80fd5b506101cb60105481565b348015610306575f80fd5b5060408051808201909152600381526243454f60e81b602082015261015b565b348015610331575f80fd5b50610190610340366004611597565b610a21565b348015610350575f80fd5b506101cb60115481565b348015610365575f80fd5b506006546101909060ff1681565b34801561037e575f80fd5b506101cb61038d36600461161a565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103c3338484610a2d565b5060015b92915050565b5f546001600160a01b031633146103ff5760405162461bcd60e51b81526004016103f690611651565b60405180910390fd5b601454600160a01b900460ff16156104595760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f6565b6014805462ff00ff60a01b19166201000160a01b179055565b5f61047f6009600a61177a565b61048e9064018d5d42aa611788565b905090565b5f61049f848484610b50565b6104f084336104eb856040518060600160405280602881526020016118e5602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111ad565b610a2d565b5060019392505050565b5f546001600160a01b031633146105235760405162461bcd60e51b81526004016103f690611651565b601454600160a01b900460ff161561057d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f6565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105c79030906105b86009600a61177a565b6104eb9064018d5d42aa611788565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610617573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063b919061179f565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561069a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106be919061179f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610708573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072c919061179f565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d7194730610773816001600160a01b03165f9081526001602052604090205490565b5f806107865f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107ec573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061081191906117ba565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610866573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088a91906117e5565b506014805462ff00ff60a01b19169055565b60065461010090046001600160a01b0316336001600160a01b0316146108c0575f80fd5b305f9081526001602052604090205480156108de576108de816111e5565b4780156108ee576108ee81611355565b5050565b5f546001600160a01b0316331461091b5760405162461bcd60e51b81526004016103f690611651565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461098c5760405162461bcd60e51b81526004016103f690611651565b6109986009600a61177a565b6109a79064018d5d42aa611788565b600f556109b66009600a61177a565b6109c59064018d5d42aa611788565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6109ff6009600a61177a565b610a0e9064018d5d42aa611788565b60405190815260200160405180910390a1565b5f6103c3338484610b50565b6001600160a01b038316610a8f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f6565b6001600160a01b038216610af05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f6565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb45760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f6565b6001600160a01b038216610c165760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f6565b5f8111610c775760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f6565b5f546001600160a01b03848116911614801590610c9d57506001600160a01b0383163014155b15610cfb57601454600160a01b900460ff16610cfb5760405162461bcd60e51b815260206004820152601a60248201527f54726164696e67206973206e6f7420656e61626c65642079657400000000000060448201526064016103f6565b5f80546001600160a01b03858116911614801590610d2657505f546001600160a01b03848116911614155b15611070576014546001600160a01b038581169116148015610d5657506013546001600160a01b03848116911614155b8015610d7a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610e9257610dab6064610da5600b54600e5411610d9a57600754610d9e565b6009545b8590611390565b90611415565b9050600f54821115610dff5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f6565b60105482610e21856001600160a01b03165f9081526001602052604090205490565b610e2b9190611804565b1115610e795760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f6565b600e8054905f610e8883611817565b9190505550610ee5565b6014546001600160a01b038481169116148015610eb857506001600160a01b0384163014155b15610ee557610ee26064610da5600c54600e5411610ed857600854610d9e565b600a548590611390565b90505b60065460ff168015610f0557506013546001600160a01b03848116911614155b8015610f1f57506014546001600160a01b03848116911614155b15610fca57325f908152600560205260409020544311610fb85760405162461bcd60e51b815260206004820152604860248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e204f6e6c79206f6e652070757263686173652070657220626c6f636b2060648201526730b63637bbb2b21760c11b608482015260a4016103f6565b325f9081526005602052604090204390555b305f90815260016020526040902054601454600160a81b900460ff1615801561100057506014546001600160a01b038581169116145b80156110155750601454600160b01b900460ff165b8015611022575060115481115b80156110315750600d54600e54115b1561106e5761105361104e8461104984601254611456565b611456565b6111e5565b4766b1a2bc2ec5000081111561106c5761106c47611355565b505b505b6001600160a01b0384165f90815260016020526040902054611092908361146a565b6001600160a01b0385165f908152600160205260409020556110d56110b7838361146a565b6001600160a01b0385165f90815260016020526040902054906114ab565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61111e858561146a565b60405190815260200160405180910390a380156111a757305f9081526001602052604090205461114e90826114ab565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061119e9085815260200190565b60405180910390a35b50505050565b5f81848411156111d05760405162461bcd60e51b81526004016103f69190611535565b505f6111dc848661182f565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061122b5761122b611842565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611282573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112a6919061179f565b816001815181106112b9576112b9611842565b6001600160a01b0392831660209182029290920101526013546112df9130911684610a2d565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906113179085905f90869030904290600401611856565b5f604051808303815f87803b15801561132e575f80fd5b505af1158015611340573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f193505050501580156108ee573d5f803e3d5ffd5b5f825f0361139f57505f6103c7565b5f6113aa8385611788565b9050826113b785836118c5565b1461140e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f6565b9392505050565b5f61140e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611509565b5f818311611464578261140e565b50919050565b5f61140e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ad565b5f806114b78385611804565b90508381101561140e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f6565b5f81836115295760405162461bcd60e51b81526004016103f69190611535565b505f6111dc84866118c5565b5f6020808352835180828501525f5b8181101561156057858101830151858201604001528201611544565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611594575f80fd5b50565b5f80604083850312156115a8575f80fd5b82356115b381611580565b946020939093013593505050565b5f805f606084860312156115d3575f80fd5b83356115de81611580565b925060208401356115ee81611580565b929592945050506040919091013590565b5f6020828403121561160f575f80fd5b813561140e81611580565b5f806040838503121561162b575f80fd5b823561163681611580565b9150602083013561164681611580565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116d457815f19048211156116ba576116ba611686565b808516156116c757918102915b93841c939080029061169f565b509250929050565b5f826116ea575060016103c7565b816116f657505f6103c7565b816001811461170c576002811461171657611732565b60019150506103c7565b60ff84111561172757611727611686565b50506001821b6103c7565b5060208310610133831016604e8410600b8410161715611755575081810a6103c7565b61175f838361169a565b805f190482111561177257611772611686565b029392505050565b5f61140e60ff8416836116dc565b80820281158282048414176103c7576103c7611686565b5f602082840312156117af575f80fd5b815161140e81611580565b5f805f606084860312156117cc575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117f5575f80fd5b8151801515811461140e575f80fd5b808201808211156103c7576103c7611686565b5f6001820161182857611828611686565b5060010190565b818103818111156103c7576103c7611686565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118a45784516001600160a01b03168352938301939183019160010161187f565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826118df57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122051644dcc6dd85406956d0e02bc179f62a0dba445fec7726d36045c33ab3b887964736f6c63430008140033

3701:8243:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5633:83;;;;;;;;;;-1:-1:-1;5703:5:0;;;;;;;;;;;;-1:-1:-1;;;5703:5:0;;;;5633:83;;;;;;;:::i;:::-;;;;;;;;6466:161;;;;;;;;;;-1:-1:-1;6466:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6466:161:0;1023:187:1;10683:179:0;;;;;;;;;;;;;:::i;:::-;;4901:52;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4901:52:0;1215:177:1;5910:95:0;;;;;;;;;;;;;:::i;6635:313::-;;;;;;;;;;-1:-1:-1;6635:313:0;;;;;:::i;:::-;;:::i;5819:83::-;;;;;;;;;;-1:-1:-1;5819:83:0;;4529:1;2000:36:1;;1988:2;1973:18;5819:83:0;1858:184:1;10872:676:0;;;;;;;;;;;;;:::i;11593:348::-;;;;;;;;;;;;;:::i;6013:119::-;;;;;;;;;;-1:-1:-1;6013:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6106:18:0;6079:7;6106:18;;;:9;:18;;;;;;;6013:119;2782:148;;;;;;;;;;;;;:::i;10379:196::-;;;;;;;;;;;;;:::i;4706:57::-;;;;;;;;;;;;;;;;2568:79;;;;;;;;;;-1:-1:-1;2606:7:0;2633:6;2568:79;;-1:-1:-1;;;;;2633:6:0;;;2445:51:1;;2433:2;2418:18;2568:79:0;2299:203:1;4770:59:0;;;;;;;;;;;;;;;;5724:87;;;;;;;;;;-1:-1:-1;5796:7:0;;;;;;;;;;;;-1:-1:-1;;;5796:7:0;;;;5724:87;;6140:167;;;;;;;;;;-1:-1:-1;6140:167:0;;;;;:::i;:::-;;:::i;4836:58::-;;;;;;;;;;;;;;;;4086:39;;;;;;;;;;-1:-1:-1;4086:39:0;;;;;;;;6315:143;;;;;;;;;;-1:-1:-1;6315:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6423:18:0;;;6396:7;6423:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6315:143;6466:161;6541:4;6558:39;403:10;6581:7;6590:6;6558:8;:39::i;:::-;-1:-1:-1;6615:4:0;6466:161;;;;;:::o;10683:179::-;2695:6;;-1:-1:-1;;;;;2695:6:0;403:10;2695:22;2687:67;;;;-1:-1:-1;;;2687:67:0;;;;;;;:::i;:::-;;;;;;;;;10751:11:::1;::::0;-1:-1:-1;;;10751:11:0;::::1;;;10750:12;10742:48;;;::::0;-1:-1:-1;;;10742:48:0;;3463:2:1;10742:48:0::1;::::0;::::1;3445:21:1::0;3502:2;3482:18;;;3475:30;3541:25;3521:18;;;3514:53;3584:18;;10742:48:0::1;3261:347:1::0;10742:48:0::1;10807:11;:18:::0;;-1:-1:-1;;;;10836:18:0;-1:-1:-1;;;10836:18:0;;;10683:179::o;5910:95::-;5963:7;4585:13;4529:1;4585:2;:13;:::i;:::-;4572:26;;:10;:26;:::i;:::-;5983:14;;5910:95;:::o;6635:313::-;6733:4;6750:36;6760:6;6768:9;6779:6;6750:9;:36::i;:::-;6797:121;6806:6;403:10;6828:89;6866:6;6828:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6828:19:0;;;;;;:11;:19;;;;;;;;403:10;6828:33;;;;;;;;;;:37;:89::i;:::-;6797:8;:121::i;:::-;-1:-1:-1;6936:4:0;6635:313;;;;;:::o;10872:676::-;2695:6;;-1:-1:-1;;;;;2695:6:0;403:10;2695:22;2687:67;;;;-1:-1:-1;;;2687:67:0;;;;;;;:::i;:::-;10939:11:::1;::::0;-1:-1:-1;;;10939:11:0;::::1;;;10938:12;10930:47;;;::::0;-1:-1:-1;;;10930:47:0;;5503:2:1;10930:47:0::1;::::0;::::1;5485:21:1::0;5542:2;5522:18;;;5515:30;5581:25;5561:18;;;5554:53;5624:18;;10930:47:0::1;5301:347:1::0;10930:47:0::1;10988:15;:80:::0;;-1:-1:-1;;;;;;10988:80:0::1;11025:42;10988:80:::0;;::::1;::::0;;;11079:58:::1;::::0;11096:4:::1;::::0;4585:13:::1;4529:1;4585:2;:13;:::i;:::-;4572:26;::::0;:10:::1;:26;:::i;11079:58::-;11182:15;;;;;;;;;-1:-1:-1::0;;;;;11182:15:0::1;-1:-1:-1::0;;;;;11182:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11164:55:0::1;;11228:4;11235:15;;;;;;;;;-1:-1:-1::0;;;;;11235:15:0::1;-1:-1:-1::0;;;;;11235:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11164:94;::::0;-1:-1:-1;;;;;;11164:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6139:15:1;;;11164:94:0::1;::::0;::::1;6121:34:1::0;6191:15;;6171:18;;;6164:43;6056:18;;11164:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11148:13;:110:::0;;-1:-1:-1;;;;;11148:110:0;;::::1;-1:-1:-1::0;;;;;;11148:110:0;;::::1;;::::0;;11269:15:::1;::::0;::::1;:31;11308:21;11339:4;11345:24;11339:4:::0;-1:-1:-1;;;;;6106:18:0;6079:7;6106:18;;;:9;:18;;;;;;;6013:119;11345:24:::1;11370:1;11372::::0;11374:7:::1;2606::::0;2633:6;-1:-1:-1;;;;;2633:6:0;;2568:79;11374:7:::1;11269:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11269:129:0;;;-1:-1:-1;;;;;6577:15:1;;;11269:129:0::1;::::0;::::1;6559:34:1::0;6609:18;;;6602:34;;;;6652:18;;;6645:34;;;;6695:18;;;6688:34;6759:15;;;6738:19;;;6731:44;11382:15:0::1;6791:19:1::0;;;6784:35;6493:19;;11269:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11416:13:0::1;::::0;11447:15:::1;::::0;11409:71:::1;::::0;-1:-1:-1;;;11409:71:0;;-1:-1:-1;;;;;11447:15:0;;::::1;11409:71;::::0;::::1;7315:51:1::0;-1:-1:-1;;7382:18:1;;;7375:34;11416:13:0;::::1;::::0;-1:-1:-1;11409:29:0::1;::::0;7288:18:1;;11409:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11491:11:0::1;:19:::0;;-1:-1:-1;;;;11521:19:0;;;10872:676::o;11593:348::-;11657:10;;;;;-1:-1:-1;;;;;11657:10:0;403;-1:-1:-1;;;;;11643:24:0;;11635:33;;;;;;11718:4;11679:20;6106:18;;;:9;:18;;;;;;11738:14;;11735:73;;11766:30;11783:12;11766:16;:30::i;:::-;11837:21;11872:12;;11869:65;;11898:24;11911:10;11898:12;:24::i;:::-;11624:317;;11593:348::o;2782:148::-;2695:6;;-1:-1:-1;;;;;2695:6:0;403:10;2695:22;2687:67;;;;-1:-1:-1;;;2687:67:0;;;;;;;:::i;:::-;2889:1:::1;2873:6:::0;;2852:40:::1;::::0;-1:-1:-1;;;;;2873:6:0;;::::1;::::0;2852:40:::1;::::0;2889:1;;2852:40:::1;2920:1;2903:19:::0;;-1:-1:-1;;;;;;2903:19:0::1;::::0;;2782:148::o;10379:196::-;2695:6;;-1:-1:-1;;;;;2695:6:0;403:10;2695:22;2687:67;;;;-1:-1:-1;;;2687:67:0;;;;;;;:::i;:::-;4585:13:::1;4529:1;4585:2;:13;:::i;:::-;4572:26;::::0;:10:::1;:26;:::i;:::-;10432:12;:22:::0;4585:13:::1;4529:1;4585:2;:13;:::i;:::-;4572:26;::::0;:10:::1;:26;:::i;:::-;10465:14;:22:::0;10498:20:::1;:26:::0;;-1:-1:-1;;10498:26:0::1;::::0;;10540:27:::1;4585:13;4529:1;-1:-1:-1::0;4585:13:0::1;:::i;:::-;4572:26;::::0;:10:::1;:26;:::i;:::-;10540:27;::::0;1361:25:1;;;1349:2;1334:18;10540:27:0::1;;;;;;;10379:196::o:0;6140:167::-;6218:4;6235:42;403:10;6259:9;6270:6;6235:9;:42::i;6956:335::-;-1:-1:-1;;;;;7049:19:0;;7041:68;;;;-1:-1:-1;;;7041:68:0;;7904:2:1;7041:68:0;;;7886:21:1;7943:2;7923:18;;;7916:30;7982:34;7962:18;;;7955:62;-1:-1:-1;;;8033:18:1;;;8026:34;8077:19;;7041:68:0;7702:400:1;7041:68:0;-1:-1:-1;;;;;7128:21:0;;7120:68;;;;-1:-1:-1;;;7120:68:0;;8309:2:1;7120:68:0;;;8291:21:1;8348:2;8328:18;;;8321:30;8387:34;8367:18;;;8360:62;-1:-1:-1;;;8438:18:1;;;8431:32;8480:19;;7120:68:0;8107:398:1;7120:68:0;-1:-1:-1;;;;;7199:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7251:32;;1361:25:1;;;7251:32:0;;1334:18:1;7251:32:0;;;;;;;6956:335;;;:::o;7299:2471::-;-1:-1:-1;;;;;7387:18:0;;7379:68;;;;-1:-1:-1;;;7379:68:0;;8712:2:1;7379:68:0;;;8694:21:1;8751:2;8731:18;;;8724:30;8790:34;8770:18;;;8763:62;-1:-1:-1;;;8841:18:1;;;8834:35;8886:19;;7379:68:0;8510:401:1;7379:68:0;-1:-1:-1;;;;;7466:16:0;;7458:64;;;;-1:-1:-1;;;7458:64:0;;9118:2:1;7458:64:0;;;9100:21:1;9157:2;9137:18;;;9130:30;9196:34;9176:18;;;9169:62;-1:-1:-1;;;9247:18:1;;;9240:33;9290:19;;7458:64:0;8916:399:1;7458:64:0;7550:1;7541:6;:10;7533:64;;;;-1:-1:-1;;;7533:64:0;;9522:2:1;7533:64:0;;;9504:21:1;9561:2;9541:18;;;9534:30;9600:34;9580:18;;;9573:62;-1:-1:-1;;;9651:18:1;;;9644:39;9700:19;;7533:64:0;9320:405:1;7533:64:0;2606:7;2633:6;-1:-1:-1;;;;;7612:15:0;;;2633:6;;7612:15;;;;:40;;-1:-1:-1;;;;;;7631:21:0;;7647:4;7631:21;;7612:40;7608:123;;;7677:11;;-1:-1:-1;;;7677:11:0;;;;7669:50;;;;-1:-1:-1;;;7669:50:0;;9932:2:1;7669:50:0;;;9914:21:1;9971:2;9951:18;;;9944:30;10010:28;9990:18;;;9983:56;10056:18;;7669:50:0;9730:350:1;7669:50:0;7745:17;2633:6;;-1:-1:-1;;;;;7781:15:0;;;2633:6;;7781:15;;;;:32;;-1:-1:-1;2606:7:0;2633:6;-1:-1:-1;;;;;7800:13:0;;;2633:6;;7800:13;;7781:32;7777:1620;;;7842:13;;-1:-1:-1;;;;;7834:21:0;;;7842:13;;7834:21;:55;;;;-1:-1:-1;7873:15:0;;-1:-1:-1;;;;;7859:30:0;;;7873:15;;7859:30;;7834:55;:82;;;;-1:-1:-1;;;;;;7894:22:0;;;;;;:18;:22;;;;;;;;7893:23;7834:82;7830:612;;;7949:82;8027:3;7949:73;7973:15;;7961:9;;:27;7960:61;;8007:14;;7960:61;;;7992:12;;7960:61;7949:6;;:10;:73::i;:::-;:77;;:82::i;:::-;7937:94;;8068:12;;8058:6;:22;;8050:60;;;;-1:-1:-1;;;8050:60:0;;10287:2:1;8050:60:0;;;10269:21:1;10326:2;10306:18;;;10299:30;10365:27;10345:18;;;10338:55;10410:18;;8050:60:0;10085:349:1;8050:60:0;8163:14;;8153:6;8137:13;8147:2;-1:-1:-1;;;;;6106:18:0;6079:7;6106:18;;;:9;:18;;;;;;;6013:119;8137:13;:22;;;;:::i;:::-;:40;;8129:79;;;;-1:-1:-1;;;8129:79:0;;10771:2:1;8129:79:0;;;10753:21:1;10810:2;10790:18;;;10783:30;10849:28;10829:18;;;10822:56;10895:18;;8129:79:0;10569:350:1;8129:79:0;8227:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7830:612;;;8270:13;;-1:-1:-1;;;;;8264:19:0;;;8270:13;;8264:19;:44;;;;-1:-1:-1;;;;;;8287:21:0;;8303:4;8287:21;;8264:44;8260:182;;;8341:85;8422:3;8341:76;8365:16;;8353:9;;:28;8352:64;;8401:15;;8352:64;;;8385:13;;8341:6;;:10;:76::i;:85::-;8329:97;;8260:182;8462:20;;;;:54;;;;-1:-1:-1;8500:15:0;;-1:-1:-1;;;;;8486:30:0;;;8500:15;;8486:30;;8462:54;:86;;;;-1:-1:-1;8534:13:0;;-1:-1:-1;;;;;8520:28:0;;;8534:13;;8520:28;;8462:86;8458:400;;;8628:9;8599:39;;;;:28;:39;;;;;;8641:12;-1:-1:-1;8569:200:0;;;;-1:-1:-1;;;8569:200:0;;11266:2:1;8569:200:0;;;11248:21:1;11305:2;11285:18;;;11278:30;11344:34;11324:18;;;11317:62;11415:34;11395:18;;;11388:62;-1:-1:-1;;;11466:19:1;;;11459:39;11515:19;;8569:200:0;11064:476:1;8569:200:0;8817:9;8788:39;;;;:28;:39;;;;;8830:12;8788:54;;8458:400;8923:4;8874:28;6106:18;;;:9;:18;;;;;;8949:6;;-1:-1:-1;;;8949:6:0;;;;8948:7;:30;;;;-1:-1:-1;8965:13:0;;-1:-1:-1;;;;;8959:19:0;;;8965:13;;8959:19;8948:30;:45;;;;-1:-1:-1;8982:11:0;;-1:-1:-1;;;8982:11:0;;;;8948:45;:89;;;;;9020:17;;8997:20;:40;8948:89;:123;;;;;9053:18;;9041:9;;:30;8948:123;8944:442;;;9092:69;9109:51;9113:6;9121:38;9125:20;9147:11;;9121:3;:38::i;:::-;9109:3;:51::i;:::-;9092:16;:69::i;:::-;9209:21;9274:17;9253:38;;9249:122;;;9316:35;9329:21;9316:12;:35::i;:::-;9073:313;8944:442;7815:1582;7777:1620;-1:-1:-1;;;;;9427:15:0;;;;;;:9;:15;;;;;;:27;;9447:6;9427:19;:27::i;:::-;-1:-1:-1;;;;;9409:15:0;;;;;;:9;:15;;;;;:45;9481:40;9499:21;:6;9510:9;9499:10;:21::i;:::-;-1:-1:-1;;;;;9481:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9465:13:0;;;;;;;:9;:13;;;;;:56;;;;9537:41;;;9556:21;:6;9567:9;9556:10;:21::i;:::-;9537:41;;1361:25:1;;;1349:2;1334:18;9537:41:0;;;;;;;9595:13;;9591:172;;9670:4;9652:24;;;;:9;:24;;;;;;:39;;9681:9;9652:28;:39::i;:::-;9643:4;9625:24;;;;:9;:24;;;;;;;:66;;;;9711:40;;-1:-1:-1;;;;;9711:40:0;;;;;;;9741:9;1361:25:1;;1349:2;1334:18;;1215:177;9711:40:0;;;;;;;;9591:172;7368:2402;7299:2471;;;:::o;1460:190::-;1546:7;1582:12;1574:6;;;;1566:29;;;;-1:-1:-1;;;1566:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1606:9:0;1618:5;1622:1;1618;:5;:::i;:::-;1606:17;1460:190;-1:-1:-1;;;;;1460:190:0:o;9888:483::-;5242:6;:13;;-1:-1:-1;;;;5242:13:0;-1:-1:-1;;;5242:13:0;;;9990:16:::1;::::0;;10004:1:::1;9990:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9990:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9990:16:0::1;9966:40;;10035:4;10017;10022:1;10017:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10017:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10061:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10061:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10017:7;;10061:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10051:4;10056:1;10051:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10051:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10126:15:::1;::::0;10094:62:::1;::::0;10111:4:::1;::::0;10126:15:::1;10144:11:::0;10094:8:::1;:62::i;:::-;10167:15;::::0;:196:::1;::::0;-1:-1:-1;;;10167:196:0;;-1:-1:-1;;;;;10167:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10248:11;;10167:15:::1;::::0;10290:4;;10317::::1;::::0;10337:15:::1;::::0;10167:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5278:6:0;:14;;-1:-1:-1;;;;5278:14:0;;;-1:-1:-1;;;;9888:483:0:o;10583:92::-;10640:10;;:27;;:10;;;;-1:-1:-1;;;;;10640:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1658:246;1716:7;1740:1;1745;1740:6;1736:47;;-1:-1:-1;1770:1:0;1763:8;;1736:47;1793:9;1805:5;1809:1;1805;:5;:::i;:::-;1793:17;-1:-1:-1;1838:1:0;1829:5;1833:1;1793:17;1829:5;:::i;:::-;:10;1821:56;;;;-1:-1:-1;;;1821:56:0;;13351:2:1;1821:56:0;;;13333:21:1;13390:2;13370:18;;;13363:30;13429:34;13409:18;;;13402:62;-1:-1:-1;;;13480:18:1;;;13473:31;13521:19;;1821:56:0;13149:397:1;1821:56:0;1895:1;1658:246;-1:-1:-1;;;1658:246:0:o;1912:132::-;1970:7;1997:39;2001:1;2004;1997:39;;;;;;;;;;;;;;;;;:3;:39::i;9782:98::-;9839:7;9866:1;9864;:3;9863:9;;9871:1;9863:9;;;-1:-1:-1;9869:1:0;9782:98;-1:-1:-1;9782:98:0:o;1316:136::-;1374:7;1401:43;1405:1;1408;1401:43;;;;;;;;;;;;;;;;;:3;:43::i;1129:179::-;1187:7;;1219:5;1223:1;1219;:5;:::i;:::-;1207:17;;1248:1;1243;:6;;1235:46;;;;-1:-1:-1;;;1235:46:0;;13753:2:1;1235:46:0;;;13735:21:1;13792:2;13772:18;;;13765:30;13831:29;13811:18;;;13804:57;13878:18;;1235:46:0;13551:351:1;2052:189:0;2138:7;2173:12;2166:5;2158:28;;;;-1:-1:-1;;;2158:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2197:9:0;2209:5;2213:1;2209;: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:356::-;3102:2;3084:21;;;3121:18;;;3114:30;3180:34;3175:2;3160:18;;3153:62;3247:2;3232:18;;2900:356::o;3613:127::-;3674:10;3669:3;3665:20;3662:1;3655:31;3705:4;3702:1;3695:15;3729:4;3726:1;3719:15;3745:422;3834:1;3877:5;3834:1;3891:270;3912:7;3902:8;3899:21;3891:270;;;3971:4;3967:1;3963:6;3959:17;3953:4;3950:27;3947:53;;;3980:18;;:::i;:::-;4030:7;4020:8;4016:22;4013:55;;;4050:16;;;;4013:55;4129:22;;;;4089:15;;;;3891:270;;;3895:3;3745:422;;;;;:::o;4172:806::-;4221:5;4251:8;4241:80;;-1:-1:-1;4292:1:1;4306:5;;4241:80;4340:4;4330:76;;-1:-1:-1;4377:1:1;4391:5;;4330:76;4422:4;4440:1;4435:59;;;;4508:1;4503:130;;;;4415:218;;4435:59;4465:1;4456:10;;4479:5;;;4503:130;4540:3;4530:8;4527:17;4524:43;;;4547:18;;:::i;:::-;-1:-1:-1;;4603:1:1;4589:16;;4618:5;;4415:218;;4717:2;4707:8;4704:16;4698:3;4692:4;4689:13;4685:36;4679:2;4669:8;4666:16;4661:2;4655:4;4652:12;4648:35;4645:77;4642:159;;;-1:-1:-1;4754:19:1;;;4786:5;;4642:159;4833:34;4858:8;4852:4;4833:34;:::i;:::-;4903:6;4899:1;4895:6;4891:19;4882:7;4879:32;4876:58;;;4914:18;;:::i;:::-;4952:20;;4172:806;-1:-1:-1;;;4172:806:1:o;4983:140::-;5041:5;5070:47;5111:4;5101:8;5097:19;5091:4;5070:47;:::i;5128:168::-;5201:9;;;5232;;5249:15;;;5243:22;;5229:37;5219:71;;5270:18;;:::i;5653:251::-;5723:6;5776:2;5764:9;5755:7;5751:23;5747:32;5744:52;;;5792:1;5789;5782:12;5744:52;5824:9;5818:16;5843:31;5868:5;5843:31;:::i;6830:306::-;6918:6;6926;6934;6987:2;6975:9;6966:7;6962:23;6958:32;6955:52;;;7003:1;7000;6993:12;6955:52;7032:9;7026:16;7016:26;;7082:2;7071:9;7067:18;7061:25;7051:35;;7126:2;7115:9;7111:18;7105:25;7095:35;;6830:306;;;;;:::o;7420:277::-;7487:6;7540:2;7528:9;7519:7;7515:23;7511:32;7508:52;;;7556:1;7553;7546:12;7508:52;7588:9;7582:16;7641:5;7634:13;7627:21;7620:5;7617:32;7607:60;;7663:1;7660;7653:12;10439:125;10504:9;;;10525:10;;;10522:36;;;10538:18;;:::i;10924:135::-;10963:3;10984:17;;;10981:43;;11004:18;;:::i;:::-;-1:-1:-1;11051:1:1;11040:13;;10924:135::o;11545:128::-;11612:9;;;11633:11;;;11630:37;;;11647:18;;:::i;11810:127::-;11871:10;11866:3;11862:20;11859:1;11852:31;11902:4;11899:1;11892:15;11926:4;11923:1;11916:15;11942:980;12204:4;12252:3;12241:9;12237:19;12283:6;12272:9;12265:25;12309:2;12347:6;12342:2;12331:9;12327:18;12320:34;12390:3;12385:2;12374:9;12370:18;12363:31;12414:6;12449;12443:13;12480:6;12472;12465:22;12518:3;12507:9;12503:19;12496:26;;12557:2;12549:6;12545:15;12531:29;;12578:1;12588:195;12602:6;12599:1;12596:13;12588:195;;;12667:13;;-1:-1:-1;;;;;12663:39:1;12651:52;;12758:15;;;;12723:12;;;;12699:1;12617:9;12588:195;;;-1:-1:-1;;;;;;;12839:32:1;;;;12834:2;12819:18;;12812:60;-1:-1:-1;;;12903:3:1;12888:19;12881:35;12800:3;11942:980;-1:-1:-1;;;11942:980:1:o;12927:217::-;12967:1;12993;12983:132;;13037:10;13032:3;13028:20;13025:1;13018:31;13072:4;13069:1;13062:15;13100:4;13097:1;13090:15;12983:132;-1:-1:-1;13129:9:1;;12927:217::o

ipfs://51644dcc6dd85406956d0e02bc179f62a0dba445fec7726d36045c33ab3b8879