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 JoyBot 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 joyBot()    - 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-24
*/

// SPDX-License-Identifier: MIT
/**

    ___  ________      ___    ___ ________  ________  _________   
   |\  \|\   __  \    |\  \  /  /|\   __  \|\   __  \|\___   ___\ 
   \ \  \ \  \|\  \   \ \  \/  / | \  \|\ /\ \  \|\  \|___ \  \_| 
 __ \ \  \ \  \\\  \   \ \    / / \ \   __  \ \  \\\  \   \ \  \  
|\  \\_\  \ \  \\\  \   \/  /  /   \ \  \|\  \ \  \\\  \   \ \  \ 
\ \________\ \_______\__/  / /      \ \_______\ \_______\   \ \__\
 \|________|\|_______|\___/ /        \|_______|\|_______|    \|__|
                     \|___|/                                      
                                                                  
                                                                  
// https://docs.joy-bot.io/

// https://t.me/joybotportal


**/
pragma solidity 0.8.18;

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 JoyBot 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;
   
    address payable private _taxWallet;

    uint256 private _initialBuyTax=28;
    uint256 private _initialSellTax=28;
    uint256 private _finalBuyTax=5;
    uint256 private _finalSellTax=5;
    uint256 private _reduceBuyTaxAt=35;
    uint256 private _reduceSellTaxAt=35;
    uint256 private _preventSwapBefore=36;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 10000000 * 10**_decimals; // 10 million
    string private constant _name = unicode"JoyBot";
    string private constant _symbol = unicode"JOYBOT";

    uint256 public _maxTxAmount = (_tTotal * 5) / 1000;   // 0.5% of total supply
    uint256 public _maxWalletSize = (_tTotal * 2) / 100;  // 2% of total supply

    uint256 public _taxSwapThreshold = _tTotal / 1000;  // 0.1% of total supply
    uint256 public _maxTaxSwap = _tTotal / 200;  // 0.5% of total supply



    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool public 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");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);

        

            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; 
        emit MaxTxAmountUpdated(_tTotal);
    }

    function joyBot() external onlyOwner() {
    _maxTxAmount = _tTotal.div(100); // Updates the maxTxAmount to be 1% of total supply
    emit MaxTxAmountUpdated(_maxTxAmount); // Emitting event for the update operation
}

    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":"joyBot","outputs":[],"stateMutability":"nonpayable","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":[],"name":"tradingOpen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601c600855601c6009556005600a556005600b556023600c556023600d556024600e556000600f556103e86012600a6200003f919062000390565b6200004e9062989680620003a8565b6200005b906005620003a8565b620000679190620003c2565b60105560646200007a6012600a62000390565b620000899062989680620003a8565b62000096906002620003a8565b620000a29190620003c2565b6011556103e8620000b66012600a62000390565b620000c59062989680620003a8565b620000d19190620003c2565b60125560c86012600a620000e6919062000390565b620000f59062989680620003a8565b620001019190620003c2565b6013556015805462ffffff60a01b191690553480156200012057600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600780546001600160a01b03191633179055620001826012600a62000390565b620001919062989680620003a8565b336000908152600160208190526040822092909255600390620001bc6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556007549091168352912080549092161790556200021b3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002556012600a62000390565b620002649062989680620003a8565b60405190815260200160405180910390a3620003e5565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002d2578160001904821115620002b657620002b66200027b565b80851615620002c457918102915b93841c939080029062000296565b509250929050565b600082620002eb575060016200038a565b81620002fa575060006200038a565b81600181146200031357600281146200031e576200033e565b60019150506200038a565b60ff8411156200033257620003326200027b565b50506001821b6200038a565b5060208310610133831016604e8410600b841016171562000363575081810a6200038a565b6200036f838362000291565b80600019048211156200038657620003866200027b565b0290505b92915050565b6000620003a160ff841683620002da565b9392505050565b80820281158282048414176200038a576200038a6200027b565b600082620003e057634e487b7160e01b600052601260045260246000fd5b500490565b6119ba80620003f56000396000f3fe60806040526004361061012e5760003560e01c8063715018a6116100ab57806395d89b411161006f57806395d89b4114610339578063a9059cbb14610368578063bf474bed14610388578063c9567bf91461039e578063dd62ed3e146103b3578063ffb54a99146103f957600080fd5b8063715018a6146102bb578063751039fc146102d05780637d1db4a5146102e55780638da5cb5b146102fb5780638f9a55c01461032357600080fd5b806323b872dd116100f257806323b872dd146101fb578063313ce5671461021b5780633bbac5791461023757806351bc3c851461027057806370a082311461028557600080fd5b806306fdde031461013a578063095ea7b31461017b5780630faee56f146101ab57806315927a7d146101cf57806318160ddd146101e657600080fd5b3661013557005b600080fd5b34801561014657600080fd5b50604080518082019091526006815265129bde509bdd60d21b60208201525b6040516101729190611589565b60405180910390f35b34801561018757600080fd5b5061019b6101963660046115ef565b61041a565b6040519015158152602001610172565b3480156101b757600080fd5b506101c160135481565b604051908152602001610172565b3480156101db57600080fd5b506101e4610431565b005b3480156101f257600080fd5b506101c16104c3565b34801561020757600080fd5b5061019b61021636600461161b565b6104e3565b34801561022757600080fd5b5060405160128152602001610172565b34801561024357600080fd5b5061019b61025236600461165c565b6001600160a01b031660009081526005602052604090205460ff1690565b34801561027c57600080fd5b506101e461054c565b34801561029157600080fd5b506101c16102a036600461165c565b6001600160a01b031660009081526001602052604090205490565b3480156102c757600080fd5b506101e461059f565b3480156102dc57600080fd5b506101e4610613565b3480156102f157600080fd5b506101c160105481565b34801561030757600080fd5b506000546040516001600160a01b039091168152602001610172565b34801561032f57600080fd5b506101c160115481565b34801561034557600080fd5b506040805180820190915260068152651293d65093d560d21b6020820152610165565b34801561037457600080fd5b5061019b6103833660046115ef565b6106bd565b34801561039457600080fd5b506101c160125481565b3480156103aa57600080fd5b506101e46106ca565b3480156103bf57600080fd5b506101c16103ce366004611679565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561040557600080fd5b5060155461019b90600160a01b900460ff1681565b6000610427338484610a85565b5060015b92915050565b6000546001600160a01b031633146104645760405162461bcd60e51b815260040161045b906116b2565b60405180910390fd5b61048860646104756012600a6117e1565b61048290629896806117f0565b90610ba9565b60108190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf906020015b60405180910390a1565b60006104d16012600a6117e1565b6104de90629896806117f0565b905090565b60006104f0848484610bf2565b610542843361053d8560405180606001604052806028815260200161195d602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061121c565b610a85565b5060019392505050565b6007546001600160a01b0316336001600160a01b03161461056c57600080fd5b30600090815260016020526040902054801561058b5761058b81611256565b47801561059b5761059b816113e9565b5050565b6000546001600160a01b031633146105c95760405162461bcd60e51b815260040161045b906116b2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461063d5760405162461bcd60e51b815260040161045b906116b2565b6106496012600a6117e1565b61065690629896806117f0565b6010556106656012600a6117e1565b61067290629896806117f0565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106a26012600a6117e1565b6106af90629896806117f0565b6040519081526020016104b9565b6000610427338484610bf2565b6000546001600160a01b031633146106f45760405162461bcd60e51b815260040161045b906116b2565b601554600160a01b900460ff161561074e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045b565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107969030906107896012600a6117e1565b61053d90629896806117f0565b601460009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080d9190611807565b6001600160a01b031663c9c6539630601460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561086f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108939190611807565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109049190611807565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d719473061094c816001600160a01b031660009081526001602052604090205490565b6000806109616000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c9573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109ee9190611824565b505060155460145460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a47573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a6b9190611852565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ae75760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045b565b6001600160a01b038216610b485760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045b565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610beb83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611423565b9392505050565b6001600160a01b038316610c565760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045b565b6001600160a01b038216610cb85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045b565b60008111610d1a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045b565b600080546001600160a01b03858116911614801590610d4757506000546001600160a01b03848116911614155b156110d9576001600160a01b03841660009081526005602052604090205460ff16158015610d8e57506001600160a01b03831660009081526005602052604090205460ff16155b610d9757600080fd5b6015546001600160a01b038581169116148015610dc257506014546001600160a01b03848116911614155b8015610de757506001600160a01b03831660009081526003602052604090205460ff16155b15610f0657601054821115610e3a5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b604482015260640161045b565b60115482610e5d856001600160a01b031660009081526001602052604090205490565b610e679190611874565b1115610eb55760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045b565b600e54600f541015610ecd57823b15610ecd57600080fd5b600f8054906000610edd83611887565b90915550506001600160a01b0383166000908152600460205260409020805460ff191660011790555b610f2c6064610482600c54600f5411610f2157600854610f25565b600a545b8590611451565b6015549091506001600160a01b038481169116148015610f5557506001600160a01b0384163014155b1561103b57601054821115610fa85760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b604482015260640161045b565b610fcd6064610482600d54600f5411610fc357600954610f25565b600b548590611451565b9050600e54600f541180610ff957506001600160a01b03841660009081526004602052604090205460ff165b61103b5760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b604482015260640161045b565b30600090815260016020526040902054601554600160a81b900460ff1615801561107257506015546001600160a01b038581169116145b80156110875750601554600160b01b900460ff165b8015611094575060125481115b80156110a35750600e54600f54115b156110d7576110c56110c0846110bb846013546114d3565b6114d3565b611256565b4780156110d5576110d5476113e9565b505b505b801561115357306000908152600160205260409020546110f990826114e8565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061114a9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111769083611547565b6001600160a01b0385166000908152600160205260409020556111bb61119c8383611547565b6001600160a01b038516600090815260016020526040902054906114e8565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112058585611547565b60405190815260200160405180910390a350505050565b600081848411156112405760405162461bcd60e51b815260040161045b9190611589565b50600061124d84866118a0565b95945050505050565b6015805460ff60a81b1916600160a81b17905580156113d957601554600160a01b900460ff16156113d95760408051600280825260608201835260009260208301908036833701905050905030816000815181106112b6576112b66118b3565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561130f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113339190611807565b81600181518110611346576113466118b3565b6001600160a01b03928316602091820292909201015260145461136c9130911684610a85565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906113a59085906000908690309042906004016118c9565b600060405180830381600087803b1580156113bf57600080fd5b505af11580156113d3573d6000803e3d6000fd5b50505050505b506015805460ff60a81b19169055565b6007546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561059b573d6000803e3d6000fd5b600081836114445760405162461bcd60e51b815260040161045b9190611589565b50600061124d848661193a565b6000826000036114635750600061042b565b600061146f83856117f0565b90508261147c858361193a565b14610beb5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045b565b60008183116114e25782610beb565b50919050565b6000806114f58385611874565b905083811015610beb5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045b565b6000610beb83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061121c565b600060208083528351808285015260005b818110156115b65785810183015185820160400152820161159a565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115ec57600080fd5b50565b6000806040838503121561160257600080fd5b823561160d816115d7565b946020939093013593505050565b60008060006060848603121561163057600080fd5b833561163b816115d7565b9250602084013561164b816115d7565b929592945050506040919091013590565b60006020828403121561166e57600080fd5b8135610beb816115d7565b6000806040838503121561168c57600080fd5b8235611697816115d7565b915060208301356116a7816115d7565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561173857816000190482111561171e5761171e6116e7565b8085161561172b57918102915b93841c9390800290611702565b509250929050565b60008261174f5750600161042b565b8161175c5750600061042b565b8160018114611772576002811461177c57611798565b600191505061042b565b60ff84111561178d5761178d6116e7565b50506001821b61042b565b5060208310610133831016604e8410600b84101617156117bb575081810a61042b565b6117c583836116fd565b80600019048211156117d9576117d96116e7565b029392505050565b6000610beb60ff841683611740565b808202811582820484141761042b5761042b6116e7565b60006020828403121561181957600080fd5b8151610beb816115d7565b60008060006060848603121561183957600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561186457600080fd5b81518015158114610beb57600080fd5b8082018082111561042b5761042b6116e7565b600060018201611899576118996116e7565b5060010190565b8181038181111561042b5761042b6116e7565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119195784516001600160a01b0316835293830193918301916001016118f4565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261195757634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d8dfd7624c4fe2e8eb313f9b2f3d845ec426c906c6f01fe1d6316e8893490f0764736f6c63430008120033

0x60806040526004361061012e5760003560e01c8063715018a6116100ab57806395d89b411161006f57806395d89b4114610339578063a9059cbb14610368578063bf474bed14610388578063c9567bf91461039e578063dd62ed3e146103b3578063ffb54a99146103f957600080fd5b8063715018a6146102bb578063751039fc146102d05780637d1db4a5146102e55780638da5cb5b146102fb5780638f9a55c01461032357600080fd5b806323b872dd116100f257806323b872dd146101fb578063313ce5671461021b5780633bbac5791461023757806351bc3c851461027057806370a082311461028557600080fd5b806306fdde031461013a578063095ea7b31461017b5780630faee56f146101ab57806315927a7d146101cf57806318160ddd146101e657600080fd5b3661013557005b600080fd5b34801561014657600080fd5b50604080518082019091526006815265129bde509bdd60d21b60208201525b6040516101729190611589565b60405180910390f35b34801561018757600080fd5b5061019b6101963660046115ef565b61041a565b6040519015158152602001610172565b3480156101b757600080fd5b506101c160135481565b604051908152602001610172565b3480156101db57600080fd5b506101e4610431565b005b3480156101f257600080fd5b506101c16104c3565b34801561020757600080fd5b5061019b61021636600461161b565b6104e3565b34801561022757600080fd5b5060405160128152602001610172565b34801561024357600080fd5b5061019b61025236600461165c565b6001600160a01b031660009081526005602052604090205460ff1690565b34801561027c57600080fd5b506101e461054c565b34801561029157600080fd5b506101c16102a036600461165c565b6001600160a01b031660009081526001602052604090205490565b3480156102c757600080fd5b506101e461059f565b3480156102dc57600080fd5b506101e4610613565b3480156102f157600080fd5b506101c160105481565b34801561030757600080fd5b506000546040516001600160a01b039091168152602001610172565b34801561032f57600080fd5b506101c160115481565b34801561034557600080fd5b506040805180820190915260068152651293d65093d560d21b6020820152610165565b34801561037457600080fd5b5061019b6103833660046115ef565b6106bd565b34801561039457600080fd5b506101c160125481565b3480156103aa57600080fd5b506101e46106ca565b3480156103bf57600080fd5b506101c16103ce366004611679565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561040557600080fd5b5060155461019b90600160a01b900460ff1681565b6000610427338484610a85565b5060015b92915050565b6000546001600160a01b031633146104645760405162461bcd60e51b815260040161045b906116b2565b60405180910390fd5b61048860646104756012600a6117e1565b61048290629896806117f0565b90610ba9565b60108190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf906020015b60405180910390a1565b60006104d16012600a6117e1565b6104de90629896806117f0565b905090565b60006104f0848484610bf2565b610542843361053d8560405180606001604052806028815260200161195d602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061121c565b610a85565b5060019392505050565b6007546001600160a01b0316336001600160a01b03161461056c57600080fd5b30600090815260016020526040902054801561058b5761058b81611256565b47801561059b5761059b816113e9565b5050565b6000546001600160a01b031633146105c95760405162461bcd60e51b815260040161045b906116b2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461063d5760405162461bcd60e51b815260040161045b906116b2565b6106496012600a6117e1565b61065690629896806117f0565b6010556106656012600a6117e1565b61067290629896806117f0565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106a26012600a6117e1565b6106af90629896806117f0565b6040519081526020016104b9565b6000610427338484610bf2565b6000546001600160a01b031633146106f45760405162461bcd60e51b815260040161045b906116b2565b601554600160a01b900460ff161561074e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045b565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107969030906107896012600a6117e1565b61053d90629896806117f0565b601460009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061080d9190611807565b6001600160a01b031663c9c6539630601460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561086f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108939190611807565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109049190611807565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d719473061094c816001600160a01b031660009081526001602052604090205490565b6000806109616000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c9573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109ee9190611824565b505060155460145460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a47573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a6b9190611852565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ae75760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045b565b6001600160a01b038216610b485760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045b565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6000610beb83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611423565b9392505050565b6001600160a01b038316610c565760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045b565b6001600160a01b038216610cb85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045b565b60008111610d1a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045b565b600080546001600160a01b03858116911614801590610d4757506000546001600160a01b03848116911614155b156110d9576001600160a01b03841660009081526005602052604090205460ff16158015610d8e57506001600160a01b03831660009081526005602052604090205460ff16155b610d9757600080fd5b6015546001600160a01b038581169116148015610dc257506014546001600160a01b03848116911614155b8015610de757506001600160a01b03831660009081526003602052604090205460ff16155b15610f0657601054821115610e3a5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b604482015260640161045b565b60115482610e5d856001600160a01b031660009081526001602052604090205490565b610e679190611874565b1115610eb55760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045b565b600e54600f541015610ecd57823b15610ecd57600080fd5b600f8054906000610edd83611887565b90915550506001600160a01b0383166000908152600460205260409020805460ff191660011790555b610f2c6064610482600c54600f5411610f2157600854610f25565b600a545b8590611451565b6015549091506001600160a01b038481169116148015610f5557506001600160a01b0384163014155b1561103b57601054821115610fa85760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b604482015260640161045b565b610fcd6064610482600d54600f5411610fc357600954610f25565b600b548590611451565b9050600e54600f541180610ff957506001600160a01b03841660009081526004602052604090205460ff165b61103b5760405162461bcd60e51b815260206004820152601360248201527229b2b63632b91034b9903737ba10313abcb2b960691b604482015260640161045b565b30600090815260016020526040902054601554600160a81b900460ff1615801561107257506015546001600160a01b038581169116145b80156110875750601554600160b01b900460ff165b8015611094575060125481115b80156110a35750600e54600f54115b156110d7576110c56110c0846110bb846013546114d3565b6114d3565b611256565b4780156110d5576110d5476113e9565b505b505b801561115357306000908152600160205260409020546110f990826114e8565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061114a9085815260200190565b60405180910390a35b6001600160a01b0384166000908152600160205260409020546111769083611547565b6001600160a01b0385166000908152600160205260409020556111bb61119c8383611547565b6001600160a01b038516600090815260016020526040902054906114e8565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112058585611547565b60405190815260200160405180910390a350505050565b600081848411156112405760405162461bcd60e51b815260040161045b9190611589565b50600061124d84866118a0565b95945050505050565b6015805460ff60a81b1916600160a81b17905580156113d957601554600160a01b900460ff16156113d95760408051600280825260608201835260009260208301908036833701905050905030816000815181106112b6576112b66118b3565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561130f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113339190611807565b81600181518110611346576113466118b3565b6001600160a01b03928316602091820292909201015260145461136c9130911684610a85565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906113a59085906000908690309042906004016118c9565b600060405180830381600087803b1580156113bf57600080fd5b505af11580156113d3573d6000803e3d6000fd5b50505050505b506015805460ff60a81b19169055565b6007546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561059b573d6000803e3d6000fd5b600081836114445760405162461bcd60e51b815260040161045b9190611589565b50600061124d848661193a565b6000826000036114635750600061042b565b600061146f83856117f0565b90508261147c858361193a565b14610beb5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045b565b60008183116114e25782610beb565b50919050565b6000806114f58385611874565b905083811015610beb5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045b565b6000610beb83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061121c565b600060208083528351808285015260005b818110156115b65785810183015185820160400152820161159a565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115ec57600080fd5b50565b6000806040838503121561160257600080fd5b823561160d816115d7565b946020939093013593505050565b60008060006060848603121561163057600080fd5b833561163b816115d7565b9250602084013561164b816115d7565b929592945050506040919091013590565b60006020828403121561166e57600080fd5b8135610beb816115d7565b6000806040838503121561168c57600080fd5b8235611697816115d7565b915060208301356116a7816115d7565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561173857816000190482111561171e5761171e6116e7565b8085161561172b57918102915b93841c9390800290611702565b509250929050565b60008261174f5750600161042b565b8161175c5750600061042b565b8160018114611772576002811461177c57611798565b600191505061042b565b60ff84111561178d5761178d6116e7565b50506001821b61042b565b5060208310610133831016604e8410600b84101617156117bb575081810a61042b565b6117c583836116fd565b80600019048211156117d9576117d96116e7565b029392505050565b6000610beb60ff841683611740565b808202811582820484141761042b5761042b6116e7565b60006020828403121561181957600080fd5b8151610beb816115d7565b60008060006060848603121561183957600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561186457600080fd5b81518015158114610beb57600080fd5b8082018082111561042b5761042b6116e7565b600060018201611899576118996116e7565b5060010190565b8181038181111561042b5761042b6116e7565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119195784516001600160a01b0316835293830193918301916001016118f4565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261195757634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d8dfd7624c4fe2e8eb313f9b2f3d845ec426c906c6f01fe1d6316e8893490f0764736f6c63430008120033

4228:8550:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6265:83;;;;;;;;;;-1:-1:-1;6335:5:0;;;;;;;;;;;;-1:-1:-1;;;6335:5:0;;;;6265:83;;;;;;;:::i;:::-;;;;;;;;7098:161;;;;;;;;;;-1:-1:-1;7098:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7098:161:0;1023:187:1;5516:42:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5516:42:0;1215:177:1;11042:220:0;;;;;;;;;;;;;:::i;:::-;;6542:95;;;;;;;;;;;;;:::i;7267:313::-;;;;;;;;;;-1:-1:-1;7267:313:0;;;;;:::i;:::-;;:::i;6451:83::-;;;;;;;;;;-1:-1:-1;6451:83:0;;5068:2;2000:36:1;;1988:2;1973:18;6451:83:0;1858:184:1;11370:83:0;;;;;;;;;;-1:-1:-1;11370:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11438:7:0;11417:4;11438:7;;;:4;:7;;;;;;;;;11370:83;12427:348;;;;;;;;;;;;;:::i;6645:119::-;;;;;;;;;;-1:-1:-1;6645:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6738:18:0;6711:7;6738:18;;;:9;:18;;;;;;;6645:119;3309:148;;;;;;;;;;;;;:::i;10870:164::-;;;;;;;;;;;;;:::i;5269:50::-;;;;;;;;;;;;;;;;3095:79;;;;;;;;;;-1:-1:-1;3133:7:0;3160:6;3095:79;;-1:-1:-1;;;;;3160:6:0;;;2445:51:1;;2433:2;2418:18;3095:79:0;2299:203:1;5352:51:0;;;;;;;;;;;;;;;;6356:87;;;;;;;;;;-1:-1:-1;6428:7:0;;;;;;;;;;;;-1:-1:-1;;;6428:7:0;;;;6356:87;;6772:167;;;;;;;;;;-1:-1:-1;6772:167:0;;;;;:::i;:::-;;:::i;5435:49::-;;;;;;;;;;;;;;;;11469:704;;;;;;;;;;;;;:::i;6947:143::-;;;;;;;;;;-1:-1:-1;6947:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7055:18:0;;;7028:7;7055:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6947:143;5681:31;;;;;;;;;;-1:-1:-1;5681:31:0;;;;-1:-1:-1;;;5681:31:0;;;;;;7098:161;7173:4;7190:39;930:10;7213:7;7222:6;7190:8;:39::i;:::-;-1:-1:-1;7247:4:0;7098:161;;;;;:::o;11042:220::-;3222:6;;-1:-1:-1;;;;;3222:6:0;930:10;3222:22;3214:67;;;;-1:-1:-1;;;3214:67:0;;;;;;;:::i;:::-;;;;;;;;;11103:16:::1;11115:3;5123:13;5068:2;5123;:13;:::i;:::-;5112:24;::::0;:8:::1;:24;:::i;:::-;11103:11:::0;::::1;:16::i;:::-;11088:12;:31:::0;;;11183:32:::1;::::0;1361:25:1;;;11183:32:0::1;::::0;1349:2:1;1334:18;11183:32:0::1;;;;;;;;11042:220::o:0;6542:95::-;6595:7;5123:13;5068:2;5123;:13;:::i;:::-;5112:24;;:8;:24;:::i;:::-;6615:14;;6542:95;:::o;7267:313::-;7365:4;7382:36;7392:6;7400:9;7411:6;7382:9;:36::i;:::-;7429:121;7438:6;930:10;7460:89;7498:6;7460:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7460:19:0;;;;;;:11;:19;;;;;;;;930:10;7460:33;;;;;;;;;;:37;:89::i;:::-;7429:8;:121::i;:::-;-1:-1:-1;7568:4:0;7267:313;;;;;:::o;12427:348::-;12491:10;;-1:-1:-1;;;;;12491:10:0;930;-1:-1:-1;;;;;12477:24:0;;12469:33;;;;;;12552:4;12513:20;6738:18;;;:9;:18;;;;;;12572:14;;12569:73;;12600:30;12617:12;12600:16;:30::i;:::-;12671:21;12706:12;;12703:65;;12732:24;12745:10;12732:12;:24::i;:::-;12458:317;;12427:348::o;3309:148::-;3222:6;;-1:-1:-1;;;;;3222:6:0;930:10;3222:22;3214:67;;;;-1:-1:-1;;;3214:67:0;;;;;;;:::i;:::-;3416:1:::1;3400:6:::0;;3379:40:::1;::::0;-1:-1:-1;;;;;3400:6:0;;::::1;::::0;3379:40:::1;::::0;3416:1;;3379:40:::1;3447:1;3430:19:::0;;-1:-1:-1;;;;;;3430:19:0::1;::::0;;3309:148::o;10870:164::-;3222:6;;-1:-1:-1;;;;;3222:6:0;930:10;3222:22;3214:67;;;;-1:-1:-1;;;3214:67:0;;;;;;;:::i;:::-;5123:13:::1;5068:2;5123;:13;:::i;:::-;5112:24;::::0;:8:::1;:24;:::i;:::-;10924:12;:22:::0;5123:13:::1;5068:2;5123;:13;:::i;:::-;5112:24;::::0;:8:::1;:24;:::i;:::-;10958:14;:24:::0;10999:27:::1;5123:13;5068:2;5123;:13;:::i;:::-;5112:24;::::0;:8:::1;:24;:::i;:::-;10999:27;::::0;1361:25:1;;;1349:2;1334:18;10999:27:0::1;1215:177:1::0;6772:167:0;6850:4;6867:42;930:10;6891:9;6902:6;6867:9;:42::i;11469:704::-;3222:6;;-1:-1:-1;;;;;3222:6:0;930:10;3222:22;3214:67;;;;-1:-1:-1;;;3214:67:0;;;;;;;:::i;:::-;11537:11:::1;::::0;-1:-1:-1;;;11537:11:0;::::1;;;11536:12;11528:47;;;::::0;-1:-1:-1;;;11528:47:0;;5151:2:1;11528:47:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;11528:47:0::1;4949:347:1::0;11528:47:0::1;11590:15;:80:::0;;-1:-1:-1;;;;;;11590:80:0::1;11627:42;11590:80:::0;;::::1;::::0;;;11685:58:::1;::::0;11702:4:::1;::::0;5123:13:::1;5068:2;5123;:13;:::i;:::-;5112:24;::::0;:8:::1;:24;:::i;11685:58::-;11792:15;;;;;;;;;-1:-1:-1::0;;;;;11792:15:0::1;-1:-1:-1::0;;;;;11792:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11774:55:0::1;;11838:4;11845:15;;;;;;;;;-1:-1:-1::0;;;;;11845:15:0::1;-1:-1:-1::0;;;;;11845:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11774:94;::::0;-1:-1:-1;;;;;;11774:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;11774:94:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;11774:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11758:13;:110:::0;;-1:-1:-1;;;;;11758:110:0;;::::1;-1:-1:-1::0;;;;;;11758:110:0;;::::1;;::::0;;11883:15:::1;::::0;::::1;:31;11922:21;11953:4;11959:24;11953:4:::0;-1:-1:-1;;;;;6738:18:0;6711:7;6738:18;;;:9;:18;;;;;;;6645:119;11959:24:::1;11984:1;11986::::0;11988:7:::1;3133::::0;3160:6;-1:-1:-1;;;;;3160:6:0;;3095:79;11988:7:::1;11883:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11883:129:0;;;-1:-1:-1;;;;;6225:15:1;;;11883: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;11996:15:0::1;6439:19:1::0;;;6432:35;6141:19;;11883:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12034:13:0::1;::::0;12065:15:::1;::::0;12027:71:::1;::::0;-1:-1:-1;;;12027:71:0;;-1:-1:-1;;;;;12065:15:0;;::::1;12027:71;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;12034:13:0;::::1;::::0;-1:-1:-1;12027:29:0::1;::::0;6936:18:1;;12027:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12113:11:0::1;:18:::0;;-1:-1:-1;;;;12146:18:0;-1:-1:-1;;;12146:18:0;;;11469:704::o;7588:335::-;-1:-1:-1;;;;;7681:19:0;;7673:68;;;;-1:-1:-1;;;7673:68:0;;7552:2:1;7673: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;;7673:68:0;7350:400:1;7673:68:0;-1:-1:-1;;;;;7760:21:0;;7752:68;;;;-1:-1:-1;;;7752:68:0;;7957:2:1;7752: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;;7752:68:0;7755:398:1;7752:68:0;-1:-1:-1;;;;;7831:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7883:32;;1361:25:1;;;7883:32:0;;1334:18:1;7883:32:0;;;;;;;7588:335;;;:::o;2439:132::-;2497:7;2524:39;2528:1;2531;2524:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;2517:46;2439:132;-1:-1:-1;;;2439:132:0:o;7931:2262::-;-1:-1:-1;;;;;8019:18:0;;8011:68;;;;-1:-1:-1;;;8011:68:0;;8360:2:1;8011: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;;8011:68:0;8158:401:1;8011:68:0;-1:-1:-1;;;;;8098:16:0;;8090:64;;;;-1:-1:-1;;;8090:64:0;;8766:2:1;8090: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;;8090:64:0;8564:399:1;8090:64:0;8182:1;8173:6;:10;8165:64;;;;-1:-1:-1;;;8165:64:0;;9170:2:1;8165: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;;8165:64:0;8968:405:1;8165:64:0;8240:17;3160:6;;-1:-1:-1;;;;;8274:15:0;;;3160:6;;8274:15;;;;:32;;-1:-1:-1;3133:7:0;3160:6;-1:-1:-1;;;;;8293:13:0;;;3160:6;;8293:13;;8274:32;8270:1567;;;-1:-1:-1;;;;;8332:10:0;;;;;;:4;:10;;;;;;;;8331:11;:24;;;;-1:-1:-1;;;;;;8347:8:0;;;;;;:4;:8;;;;;;;;8346:9;8331:24;8323:33;;;;;;8397:13;;-1:-1:-1;;;;;8389:21:0;;;8397:13;;8389:21;:55;;;;-1:-1:-1;8428:15:0;;-1:-1:-1;;;;;8414:30:0;;;8428:15;;8414:30;;8389:55;:83;;;;-1:-1:-1;;;;;;8450:22:0;;;;;;:18;:22;;;;;;;;8448:24;8389:83;8385:465;;;8512:12;;8502:6;:22;;8494:60;;;;-1:-1:-1;;;8494:60:0;;9580:2:1;8494:60:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:55;9703:18;;8494:60:0;9378:349:1;8494:60:0;8607:14;;8597:6;8581:13;8591:2;-1:-1:-1;;;;;6738:18:0;6711:7;6738:18;;;:9;:18;;;;;;;6645:119;8581:13;:22;;;;:::i;:::-;:40;;8573:79;;;;-1:-1:-1;;;8573:79:0;;10064:2:1;8573:79:0;;;10046:21:1;10103:2;10083:18;;;10076:30;10142:28;10122:18;;;10115:56;10188:18;;8573:79:0;9862:350:1;8573:79:0;8684:18;;8674:9;;:28;8671:97;;;12355:20;;12403:8;8724:24;;;;;;8786:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8816:13:0;;;;;;:9;:13;;;;;:18;;-1:-1:-1;;8816:18:0;8830:4;8816:18;;;8385:465;8880:76;8952:3;8880:67;8902:15;;8892:9;;:25;8891:55;;8932:14;;8891:55;;;8919:12;;8891:55;8880:6;;:10;:67::i;:76::-;8980:13;;8868:88;;-1:-1:-1;;;;;;8974:19:0;;;8980:13;;8974:19;:43;;;;-1:-1:-1;;;;;;8997:20:0;;9012:4;8997:20;;8974:43;8971:350;;;9056:12;;9046:6;:22;;9038:60;;;;-1:-1:-1;;;9038:60:0;;9580:2:1;9038:60:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:55;9703:18;;9038:60:0;9378:349:1;9038:60:0;9129:79;9204:3;9129:70;9151:16;;9141:9;;:26;9140:58;;9183:15;;9140:58;;;9169:13;;9129:6;;:10;:70::i;:79::-;9117:91;;9245:18;;9235:9;;:28;:47;;;-1:-1:-1;;;;;;9267:15:0;;;;;;:9;:15;;;;;;;;9235:47;9227:78;;;;-1:-1:-1;;;9227:78:0;;10559:2:1;9227:78:0;;;10541:21:1;10598:2;10578:18;;;10571:30;-1:-1:-1;;;10617:18:1;;;10610:49;10676:18;;9227:78:0;10357:343:1;9227:78:0;9386:4;9337:28;6738:18;;;:9;:18;;;;;;9412:6;;-1:-1:-1;;;9412:6:0;;;;9411:7;:30;;;;-1:-1:-1;9428:13:0;;-1:-1:-1;;;;;9422:19:0;;;9428:13;;9422:19;9411:30;:45;;;;-1:-1:-1;9445:11:0;;-1:-1:-1;;;9445:11:0;;;;9411:45;:87;;;;;9481:17;;9460:20;:38;9411:87;:119;;;;;9512:18;;9502:9;;:28;9411:119;9407:419;;;9551:67;9568:49;9572:6;9579:37;9583:20;9604:11;;9579:3;:37::i;:::-;9568:3;:49::i;:::-;9551:16;:67::i;:::-;9666:21;9709:22;;9706:105;;9756:35;9769:21;9756:12;:35::i;:::-;9532:294;9407:419;8308:1529;8270:1567;9852:11;;9849:161;;9920:4;9902:24;;;;:9;:24;;;;;;:39;;9931:9;9902:28;:39::i;:::-;9895:4;9877:24;;;;:9;:24;;;;;;;:64;;;;9959:39;;-1:-1:-1;;;;;9959:39:0;;;;;;;9988:9;1361:25:1;;1349:2;1334:18;;1215:177;9959:39:0;;;;;;;;9849:161;-1:-1:-1;;;;;10036:15:0;;;;;;:9;:15;;;;;;:27;;10056:6;10036:19;:27::i;:::-;-1:-1:-1;;;;;10020:15:0;;;;;;:9;:15;;;;;:43;10088:40;10106:21;:6;10117:9;10106:10;:21::i;:::-;-1:-1:-1;;;;;10088:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10074:13:0;;;;;;;:9;:13;;;;;:54;;;;10144:41;;;10163:21;:6;10174:9;10163:10;:21::i;:::-;10144:41;;1361:25:1;;;1349:2;1334:18;10144:41:0;;;;;;;8000:2193;7931:2262;;;:::o;1987:190::-;2073:7;2109:12;2101:6;;;;2093:29;;;;-1:-1:-1;;;2093:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2133:9:0;2145:5;2149:1;2145;:5;:::i;:::-;2133:17;1987:190;-1:-1:-1;;;;;1987:190:0:o;10309:555::-;5876:6;:13;;-1:-1:-1;;;;5876:13:0;-1:-1:-1;;;5876:13:0;;;10387:27;;10406:7:::1;10387:27;10428:11;::::0;-1:-1:-1;;;10428:11:0;::::1;;;10424:25:::0;10441:7:::1;10424:25;10483:16;::::0;;10497:1:::1;10483:16:::0;;;;;::::1;::::0;;10459:21:::1;::::0;10483:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10483:16:0::1;10459:40;;10528:4;10510;10515:1;10510:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10510:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10554:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10554:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10510:7;;10554:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10544:4;10549:1;10544:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10544:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10619:15:::1;::::0;10587:62:::1;::::0;10604:4:::1;::::0;10619:15:::1;10637:11:::0;10587:8:::1;:62::i;:::-;10660:15;::::0;:196:::1;::::0;-1:-1:-1;;;10660:196:0;;-1:-1:-1;;;;;10660:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10741:11;;10660:15:::1;::::0;10783:4;;10810::::1;::::0;10830:15:::1;::::0;10660:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10376:488;5900:1;-1:-1:-1::0;5912:6:0;:14;;-1:-1:-1;;;;5912:14:0;;;10309:555::o;11270:92::-;11327:10;;:27;;-1:-1:-1;;;;;11327:10:0;;;;:27;;;;;11347:6;;11327:10;:27;:10;:27;11347:6;11327:10;:27;;;;;;;;;;;;;;;;;;;2579:189;2665:7;2700:12;2693:5;2685:28;;;;-1:-1:-1;;;2685:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2724:9:0;2736:5;2740:1;2736;:5;:::i;2185:246::-;2243:7;2267:1;2272;2267:6;2263:47;;-1:-1:-1;2297:1:0;2290:8;;2263:47;2320:9;2332:5;2336:1;2332;:5;:::i;:::-;2320:17;-1:-1:-1;2365:1:0;2356:5;2360:1;2320:17;2356:5;:::i;:::-;:10;2348:56;;;;-1:-1:-1;;;2348:56:0;;12511:2:1;2348:56:0;;;12493:21:1;12550:2;12530:18;;;12523:30;12589:34;12569:18;;;12562:62;-1:-1:-1;;;12640:18:1;;;12633:31;12681:19;;2348:56:0;12309:397:1;10203:98:0;10260:7;10287:1;10285;:3;10284:9;;10292:1;10284:9;;;-1:-1:-1;10290:1:0;10203:98;-1:-1:-1;10203:98:0:o;1656:179::-;1714:7;;1746:5;1750:1;1746;:5;:::i;:::-;1734:17;;1775:1;1770;:6;;1762:46;;;;-1:-1:-1;;;1762:46:0;;12913:2:1;1762:46:0;;;12895:21:1;12952:2;12932:18;;;12925:30;12991:29;12971:18;;;12964:57;13038:18;;1762:46:0;12711:351:1;1843:136:0;1901:7;1928:43;1932:1;1935;1928:43;;;;;;;;;;;;;;;;;:3;:43::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;3261:127::-;3322:10;3317:3;3313:20;3310:1;3303:31;3353:4;3350:1;3343:15;3377:4;3374:1;3367:15;3393:422;3482:1;3525:5;3482:1;3539:270;3560:7;3550:8;3547:21;3539:270;;;3619:4;3615:1;3611:6;3607:17;3601:4;3598:27;3595:53;;;3628:18;;:::i;:::-;3678:7;3668:8;3664:22;3661:55;;;3698:16;;;;3661:55;3777:22;;;;3737:15;;;;3539:270;;;3543:3;3393:422;;;;;:::o;3820:806::-;3869:5;3899:8;3889:80;;-1:-1:-1;3940:1:1;3954:5;;3889:80;3988:4;3978:76;;-1:-1:-1;4025:1:1;4039:5;;3978:76;4070:4;4088:1;4083:59;;;;4156:1;4151:130;;;;4063:218;;4083:59;4113:1;4104:10;;4127:5;;;4151:130;4188:3;4178:8;4175:17;4172:43;;;4195:18;;:::i;:::-;-1:-1:-1;;4251:1:1;4237:16;;4266:5;;4063:218;;4365:2;4355:8;4352:16;4346:3;4340:4;4337:13;4333:36;4327:2;4317:8;4314:16;4309:2;4303:4;4300:12;4296:35;4293:77;4290:159;;;-1:-1:-1;4402:19:1;;;4434:5;;4290:159;4481:34;4506:8;4500:4;4481:34;:::i;:::-;4551:6;4547:1;4543:6;4539:19;4530:7;4527:32;4524:58;;;4562:18;;:::i;:::-;4600:20;;3820:806;-1:-1:-1;;;3820:806:1:o;4631:140::-;4689:5;4718:47;4759:4;4749:8;4745:19;4739:4;4718:47;:::i;4776:168::-;4849:9;;;4880;;4897:15;;;4891:22;;4877:37;4867:71;;4918:18;;:::i;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;9732:125;9797:9;;;9818:10;;;9815:36;;;9831:18;;:::i;10217:135::-;10256:3;10277:17;;;10274:43;;10297:18;;:::i;:::-;-1:-1:-1;10344:1:1;10333:13;;10217:135::o;10705:128::-;10772:9;;;10793:11;;;10790:37;;;10807:18;;:::i;10970:127::-;11031:10;11026:3;11022:20;11019:1;11012:31;11062:4;11059:1;11052:15;11086:4;11083:1;11076:15;11102:980;11364:4;11412:3;11401:9;11397:19;11443:6;11432:9;11425:25;11469:2;11507:6;11502:2;11491:9;11487:18;11480:34;11550:3;11545:2;11534:9;11530:18;11523:31;11574:6;11609;11603:13;11640:6;11632;11625:22;11678:3;11667:9;11663:19;11656:26;;11717:2;11709:6;11705:15;11691:29;;11738:1;11748:195;11762:6;11759:1;11756:13;11748:195;;;11827:13;;-1:-1:-1;;;;;11823:39:1;11811:52;;11918:15;;;;11883:12;;;;11859:1;11777:9;11748:195;;;-1:-1:-1;;;;;;;11999:32:1;;;;11994:2;11979:18;;11972:60;-1:-1:-1;;;12063:3:1;12048:19;12041:35;11960:3;11102:980;-1:-1:-1;;;11102:980:1:o;12087:217::-;12127:1;12153;12143:132;;12197:10;12192:3;12188:20;12185:1;12178:31;12232:4;12229:1;12222:15;12260:4;12257:1;12250:15;12143:132;-1:-1:-1;12289:9:1;;12087:217::o

ipfs://d8dfd7624c4fe2e8eb313f9b2f3d845ec426c906c6f01fe1d6316e8893490f07