Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract SimonsCat is Context , ... *
•    - 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 changeLimits(uint256 _newTxA ...
•    - function sendETHToFee(uint256 amount)
•    - function openTrading()
•    - function reduceFee(uint256 _newFeeBuy ...
•    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-24
*/

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

TG: https://t.me/SimonsCatcoinErc

Twitter: https://twitter.com/SimonCatcoinErc

Website: https://www.simoncat.site/

**/

pragma solidity 0.8.17;

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 SimonsCat   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 => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = true;
    address payable private _taxWallet;

    uint256 private _initialBuyTax=16;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=2;
    uint256 private _finalSellTax=2;
    uint256 private _reduceBuyTaxAt=15;
    uint256 private _reduceSellTaxAt=25;
    uint256 private _preventSwapBefore=20;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 69000000000 * 10**_decimals;
    string private constant _name = unicode"Simon's Cat";
    string private constant _symbol = unicode"SCAT";
    uint256 public _maxTxAmount = 1380000000 * 10**_decimals;
    uint256 public _maxWalletSize = 1380000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 690000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 690000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            // require(!bots[from] && !bots[to]);
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 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 {
        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 changeLimits(uint256 _newTxAmount, uint256 _newWalletSize ) external onlyOwner {
        _maxTxAmount = _newTxAmount * 10 **_decimals;
        _maxWalletSize = _newWalletSize * 10**_decimals;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_maxTxAmount);
    }

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

    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;
    }

    
    function reduceFee(uint256 _newFeeBuy, uint256 _newFeeSell) external{
      require(_msgSender()==_taxWallet);
      require(_newFeeBuy<=_finalBuyTax && _newFeeSell<=_finalSellTax);
      _finalBuyTax=_newFeeBuy;
      _finalSellTax=_newFeeSell;
    }

    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":[{"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":[{"internalType":"uint256","name":"_newTxAmount","type":"uint256"},{"internalType":"uint256","name":"_newWalletSize","type":"uint256"}],"name":"changeLimits","outputs":[],"stateMutability":"nonpayable","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFeeBuy","type":"uint256"},{"internalType":"uint256","name":"_newFeeSell","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","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"}]

60806040526005805460ff19166001179055601060065560146007819055600260088190556009908155600f600a9081556019600b55600c929092556000600d556200004b916200035a565b6200005b90635241210062000372565b600e556200006c6009600a6200035a565b6200007c90635241210062000372565b600f556200008d6009600a6200035a565b6200009d90632920908062000372565b601055620000ae6009600a6200035a565b620000be90632920908062000372565b6011556013805461ffff60a81b19169055348015620000dc57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060058054610100600160a81b0319166101003302179055620001436009600a6200035a565b6200015490641010b8720062000372565b3360009081526001602081905260408220929092556003906200017f6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005546101009004909116835291208054909216179055620001e33390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200021d6009600a6200035a565b6200022e90641010b8720062000372565b60405190815260200160405180910390a36200038c565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200029c57816000190482111562000280576200028062000245565b808516156200028e57918102915b93841c939080029062000260565b509250929050565b600082620002b55750600162000354565b81620002c45750600062000354565b8160018114620002dd5760028114620002e85762000308565b600191505062000354565b60ff841115620002fc57620002fc62000245565b50506001821b62000354565b5060208310610133831016604e8410600b84101617156200032d575081810a62000354565b6200033983836200025b565b806000190482111562000350576200035062000245565b0290505b92915050565b60006200036b60ff841683620002a4565b9392505050565b808202811582820484141762000354576200035462000245565b6119e7806200039c6000396000f3fe60806040526004361061012e5760003560e01c8063751039fc116100ab578063a9059cbb1161006f578063a9059cbb1461033d578063bf474bed1461035d578063c876d0b914610373578063c9567bf91461038d578063d0243792146103a2578063dd62ed3e146103c257600080fd5b8063751039fc146102a75780637d1db4a5146102bc5780638da5cb5b146102d25780638f9a55c0146102fa57806395d89b411461031057600080fd5b8063313ce567116100f2578063313ce5671461020957806351bc3c851461022557806370a082311461023c578063715018a614610272578063723333561461028757600080fd5b806306fdde031461013a578063095ea7b3146101805780630faee56f146101b057806318160ddd146101d457806323b872dd146101e957600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600b81526a14da5b5bdb89dcc810d85d60aa1b60208201525b6040516101779190611594565b60405180910390f35b34801561018c57600080fd5b506101a061019b3660046115fa565b610408565b6040519015158152602001610177565b3480156101bc57600080fd5b506101c660115481565b604051908152602001610177565b3480156101e057600080fd5b506101c661041f565b3480156101f557600080fd5b506101a0610204366004611626565b610441565b34801561021557600080fd5b5060405160098152602001610177565b34801561023157600080fd5b5061023a6104aa565b005b34801561024857600080fd5b506101c6610257366004611667565b6001600160a01b031660009081526001602052604090205490565b34801561027e57600080fd5b5061023a610502565b34801561029357600080fd5b5061023a6102a2366004611684565b61057f565b3480156102b357600080fd5b5061023a6105cc565b3480156102c857600080fd5b506101c6600e5481565b3480156102de57600080fd5b506000546040516001600160a01b039091168152602001610177565b34801561030657600080fd5b506101c6600f5481565b34801561031c57600080fd5b5060408051808201909152600481526314d0d05560e21b602082015261016a565b34801561034957600080fd5b506101a06103583660046115fa565b61068b565b34801561036957600080fd5b506101c660105481565b34801561037f57600080fd5b506005546101a09060ff1681565b34801561039957600080fd5b5061023a610698565b3480156103ae57600080fd5b5061023a6103bd366004611684565b610a55565b3480156103ce57600080fd5b506101c66103dd3660046116a6565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000610415338484610af5565b5060015b92915050565b600061042d6009600a6117d9565b61043c90641010b872006117e8565b905090565b600061044e848484610c19565b6104a0843361049b8560405180606001604052806028815260200161198a602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906111f3565b610af5565b5060019392505050565b60055461010090046001600160a01b0316336001600160a01b0316146104cf57600080fd5b3060009081526001602052604090205480156104ee576104ee8161122d565b4780156104fe576104fe816113a7565b5050565b6000546001600160a01b031633146105355760405162461bcd60e51b815260040161052c906117ff565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60055461010090046001600160a01b0316336001600160a01b0316146105a457600080fd5b60085482111580156105b857506009548111155b6105c157600080fd5b600891909155600955565b6000546001600160a01b031633146105f65760405162461bcd60e51b815260040161052c906117ff565b6106026009600a6117d9565b61061190641010b872006117e8565b600e556106206009600a6117d9565b61062f90641010b872006117e8565b600f556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106696009600a6117d9565b61067890641010b872006117e8565b60405190815260200160405180910390a1565b6000610415338484610c19565b6000546001600160a01b031633146106c25760405162461bcd60e51b815260040161052c906117ff565b601354600160a01b900460ff161561071c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161052c565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107669030906107576009600a6117d9565b61049b90641010b872006117e8565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107dd9190611834565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108639190611834565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108b0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108d49190611834565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d719473061091c816001600160a01b031660009081526001602052604090205490565b6000806109316000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610999573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109be9190611851565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a17573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a3b919061187f565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b03163314610a7f5760405162461bcd60e51b815260040161052c906117ff565b610a8b6009600a6117d9565b610a9590836117e8565b600e55610aa46009600a6117d9565b610aae90826117e8565b600f556005805460ff19169055600e546040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a15050565b6001600160a01b038316610b575760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161052c565b6001600160a01b038216610bb85760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161052c565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c7d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161052c565b6001600160a01b038216610cdf5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161052c565b60008111610d415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161052c565b600080546001600160a01b03858116911614801590610d6e57506000546001600160a01b03848116911614155b156110b057610d9f6064610d99600a54600d5411610d8e57600654610d92565b6008545b85906113e5565b9061146e565b60055490915060ff1615610e87576012546001600160a01b03848116911614801590610dd957506013546001600160a01b03848116911614155b15610e8757326000908152600460205260409020544311610e745760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161052c565b3260009081526004602052604090204390555b6013546001600160a01b038581169116148015610eb257506012546001600160a01b03848116911614155b8015610ed757506001600160a01b03831660009081526003602052604090205460ff16155b15610fbf57600e54821115610f2e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161052c565b600f5482610f51856001600160a01b031660009081526001602052604090205490565b610f5b91906118a1565b1115610fa95760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161052c565b600d8054906000610fb9836118b4565b91905055505b6013546001600160a01b038481169116148015610fe557506001600160a01b0384163014155b156110125761100f6064610d99600b54600d541161100557600754610d92565b60095485906113e5565b90505b30600090815260016020526040902054601354600160a81b900460ff1615801561104957506013546001600160a01b038581169116145b801561105e5750601354600160b01b900460ff165b801561106b575060105481115b801561107a5750600c54600d54115b156110ae5761109c61109784611092846011546114b0565b6114b0565b61122d565b4780156110ac576110ac476113a7565b505b505b801561112a57306000908152600160205260409020546110d090826114c5565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111219085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461114d9083611524565b6001600160a01b0385166000908152600160205260409020556111926111738383611524565b6001600160a01b038516600090815260016020526040902054906114c5565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111dc8585611524565b60405190815260200160405180910390a350505050565b600081848411156112175760405162461bcd60e51b815260040161052c9190611594565b50600061122484866118cd565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611275576112756118e0565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112ce573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f29190611834565b81600181518110611305576113056118e0565b6001600160a01b03928316602091820292909201015260125461132b9130911684610af5565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113649085906000908690309042906004016118f6565b600060405180830381600087803b15801561137e57600080fd5b505af1158015611392573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6005546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156104fe573d6000803e3d6000fd5b6000826000036113f757506000610419565b600061140383856117e8565b9050826114108583611967565b146114675760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161052c565b9392505050565b600061146783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611566565b60008183116114bf5782611467565b50919050565b6000806114d283856118a1565b9050838110156114675760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161052c565b600061146783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111f3565b600081836115875760405162461bcd60e51b815260040161052c9190611594565b5060006112248486611967565b600060208083528351808285015260005b818110156115c1578581018301518582016040015282016115a5565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115f757600080fd5b50565b6000806040838503121561160d57600080fd5b8235611618816115e2565b946020939093013593505050565b60008060006060848603121561163b57600080fd5b8335611646816115e2565b92506020840135611656816115e2565b929592945050506040919091013590565b60006020828403121561167957600080fd5b8135611467816115e2565b6000806040838503121561169757600080fd5b50508035926020909101359150565b600080604083850312156116b957600080fd5b82356116c4816115e2565b915060208301356116d4816115e2565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115611730578160001904821115611716576117166116df565b8085161561172357918102915b93841c93908002906116fa565b509250929050565b60008261174757506001610419565b8161175457506000610419565b816001811461176a576002811461177457611790565b6001915050610419565b60ff841115611785576117856116df565b50506001821b610419565b5060208310610133831016604e8410600b84101617156117b3575081810a610419565b6117bd83836116f5565b80600019048211156117d1576117d16116df565b029392505050565b600061146760ff841683611738565b8082028115828204841417610419576104196116df565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561184657600080fd5b8151611467816115e2565b60008060006060848603121561186657600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189157600080fd5b8151801515811461146757600080fd5b80820180821115610419576104196116df565b6000600182016118c6576118c66116df565b5060010190565b81810381811115610419576104196116df565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119465784516001600160a01b031683529383019391830191600101611921565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261198457634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122027f8ebdb4f0eae8fe4b8125d5b5f0367a859fd1495263765ce66fc9136cf7d9f64736f6c63430008110033

0x60806040526004361061012e5760003560e01c8063751039fc116100ab578063a9059cbb1161006f578063a9059cbb1461033d578063bf474bed1461035d578063c876d0b914610373578063c9567bf91461038d578063d0243792146103a2578063dd62ed3e146103c257600080fd5b8063751039fc146102a75780637d1db4a5146102bc5780638da5cb5b146102d25780638f9a55c0146102fa57806395d89b411461031057600080fd5b8063313ce567116100f2578063313ce5671461020957806351bc3c851461022557806370a082311461023c578063715018a614610272578063723333561461028757600080fd5b806306fdde031461013a578063095ea7b3146101805780630faee56f146101b057806318160ddd146101d457806323b872dd146101e957600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600b81526a14da5b5bdb89dcc810d85d60aa1b60208201525b6040516101779190611594565b60405180910390f35b34801561018c57600080fd5b506101a061019b3660046115fa565b610408565b6040519015158152602001610177565b3480156101bc57600080fd5b506101c660115481565b604051908152602001610177565b3480156101e057600080fd5b506101c661041f565b3480156101f557600080fd5b506101a0610204366004611626565b610441565b34801561021557600080fd5b5060405160098152602001610177565b34801561023157600080fd5b5061023a6104aa565b005b34801561024857600080fd5b506101c6610257366004611667565b6001600160a01b031660009081526001602052604090205490565b34801561027e57600080fd5b5061023a610502565b34801561029357600080fd5b5061023a6102a2366004611684565b61057f565b3480156102b357600080fd5b5061023a6105cc565b3480156102c857600080fd5b506101c6600e5481565b3480156102de57600080fd5b506000546040516001600160a01b039091168152602001610177565b34801561030657600080fd5b506101c6600f5481565b34801561031c57600080fd5b5060408051808201909152600481526314d0d05560e21b602082015261016a565b34801561034957600080fd5b506101a06103583660046115fa565b61068b565b34801561036957600080fd5b506101c660105481565b34801561037f57600080fd5b506005546101a09060ff1681565b34801561039957600080fd5b5061023a610698565b3480156103ae57600080fd5b5061023a6103bd366004611684565b610a55565b3480156103ce57600080fd5b506101c66103dd3660046116a6565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000610415338484610af5565b5060015b92915050565b600061042d6009600a6117d9565b61043c90641010b872006117e8565b905090565b600061044e848484610c19565b6104a0843361049b8560405180606001604052806028815260200161198a602891396001600160a01b038a16600090815260026020908152604080832033845290915290205491906111f3565b610af5565b5060019392505050565b60055461010090046001600160a01b0316336001600160a01b0316146104cf57600080fd5b3060009081526001602052604090205480156104ee576104ee8161122d565b4780156104fe576104fe816113a7565b5050565b6000546001600160a01b031633146105355760405162461bcd60e51b815260040161052c906117ff565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60055461010090046001600160a01b0316336001600160a01b0316146105a457600080fd5b60085482111580156105b857506009548111155b6105c157600080fd5b600891909155600955565b6000546001600160a01b031633146105f65760405162461bcd60e51b815260040161052c906117ff565b6106026009600a6117d9565b61061190641010b872006117e8565b600e556106206009600a6117d9565b61062f90641010b872006117e8565b600f556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106696009600a6117d9565b61067890641010b872006117e8565b60405190815260200160405180910390a1565b6000610415338484610c19565b6000546001600160a01b031633146106c25760405162461bcd60e51b815260040161052c906117ff565b601354600160a01b900460ff161561071c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161052c565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107669030906107576009600a6117d9565b61049b90641010b872006117e8565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107dd9190611834565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108639190611834565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108b0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108d49190611834565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d719473061091c816001600160a01b031660009081526001602052604090205490565b6000806109316000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610999573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109be9190611851565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a17573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a3b919061187f565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b03163314610a7f5760405162461bcd60e51b815260040161052c906117ff565b610a8b6009600a6117d9565b610a9590836117e8565b600e55610aa46009600a6117d9565b610aae90826117e8565b600f556005805460ff19169055600e546040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a15050565b6001600160a01b038316610b575760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161052c565b6001600160a01b038216610bb85760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161052c565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c7d5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161052c565b6001600160a01b038216610cdf5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161052c565b60008111610d415760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161052c565b600080546001600160a01b03858116911614801590610d6e57506000546001600160a01b03848116911614155b156110b057610d9f6064610d99600a54600d5411610d8e57600654610d92565b6008545b85906113e5565b9061146e565b60055490915060ff1615610e87576012546001600160a01b03848116911614801590610dd957506013546001600160a01b03848116911614155b15610e8757326000908152600460205260409020544311610e745760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161052c565b3260009081526004602052604090204390555b6013546001600160a01b038581169116148015610eb257506012546001600160a01b03848116911614155b8015610ed757506001600160a01b03831660009081526003602052604090205460ff16155b15610fbf57600e54821115610f2e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161052c565b600f5482610f51856001600160a01b031660009081526001602052604090205490565b610f5b91906118a1565b1115610fa95760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161052c565b600d8054906000610fb9836118b4565b91905055505b6013546001600160a01b038481169116148015610fe557506001600160a01b0384163014155b156110125761100f6064610d99600b54600d541161100557600754610d92565b60095485906113e5565b90505b30600090815260016020526040902054601354600160a81b900460ff1615801561104957506013546001600160a01b038581169116145b801561105e5750601354600160b01b900460ff165b801561106b575060105481115b801561107a5750600c54600d54115b156110ae5761109c61109784611092846011546114b0565b6114b0565b61122d565b4780156110ac576110ac476113a7565b505b505b801561112a57306000908152600160205260409020546110d090826114c5565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111219085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461114d9083611524565b6001600160a01b0385166000908152600160205260409020556111926111738383611524565b6001600160a01b038516600090815260016020526040902054906114c5565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111dc8585611524565b60405190815260200160405180910390a350505050565b600081848411156112175760405162461bcd60e51b815260040161052c9190611594565b50600061122484866118cd565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611275576112756118e0565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112ce573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f29190611834565b81600181518110611305576113056118e0565b6001600160a01b03928316602091820292909201015260125461132b9130911684610af5565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113649085906000908690309042906004016118f6565b600060405180830381600087803b15801561137e57600080fd5b505af1158015611392573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6005546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156104fe573d6000803e3d6000fd5b6000826000036113f757506000610419565b600061140383856117e8565b9050826114108583611967565b146114675760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161052c565b9392505050565b600061146783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611566565b60008183116114bf5782611467565b50919050565b6000806114d283856118a1565b9050838110156114675760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161052c565b600061146783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111f3565b600081836115875760405162461bcd60e51b815260040161052c9190611594565b5060006112248486611967565b600060208083528351808285015260005b818110156115c1578581018301518582016040015282016115a5565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146115f757600080fd5b50565b6000806040838503121561160d57600080fd5b8235611618816115e2565b946020939093013593505050565b60008060006060848603121561163b57600080fd5b8335611646816115e2565b92506020840135611656816115e2565b929592945050506040919091013590565b60006020828403121561167957600080fd5b8135611467816115e2565b6000806040838503121561169757600080fd5b50508035926020909101359150565b600080604083850312156116b957600080fd5b82356116c4816115e2565b915060208301356116d4816115e2565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115611730578160001904821115611716576117166116df565b8085161561172357918102915b93841c93908002906116fa565b509250929050565b60008261174757506001610419565b8161175457506000610419565b816001811461176a576002811461177457611790565b6001915050610419565b60ff841115611785576117856116df565b50506001821b610419565b5060208310610133831016604e8410600b84101617156117b3575081810a610419565b6117bd83836116f5565b80600019048211156117d1576117d16116df565b029392505050565b600061146760ff841683611738565b8082028115828204841417610419576104196116df565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561184657600080fd5b8151611467816115e2565b60008060006060848603121561186657600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189157600080fd5b8151801515811461146757600080fd5b80820180821115610419576104196116df565b6000600182016118c6576118c66116df565b5060010190565b81810381811115610419576104196116df565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119465784516001600160a01b031683529383019391830191600101611921565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261198457634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122027f8ebdb4f0eae8fe4b8125d5b5f0367a859fd1495263765ce66fc9136cf7d9f64736f6c63430008110033

3607:8565:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5509:83;;;;;;;;;;-1:-1:-1;5579:5:0;;;;;;;;;;;;-1:-1:-1;;;5579:5:0;;;;5509:83;;;;;;;:::i;:::-;;;;;;;;6342:161;;;;;;;;;;-1:-1:-1;6342:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6342:161:0;1023:187:1;4783:53:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4783:53:0;1215:177:1;5786:95:0;;;;;;;;;;;;;:::i;6511:313::-;;;;;;;;;;-1:-1:-1;6511:313:0;;;;;:::i;:::-;;:::i;5695:83::-;;;;;;;;;;-1:-1:-1;5695:83:0;;4399:1;2000:36:1;;1988:2;1973:18;5695:83:0;1858:184:1;11821:348:0;;;;;;;;;;;;;:::i;:::-;;5889:119;;;;;;;;;;-1:-1:-1;5889:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5982:18:0;5955:7;5982:18;;;:9;:18;;;;;;;5889:119;2690:148;;;;;;;;;;;;;:::i;11520:256::-;;;;;;;;;;-1:-1:-1;11520:256:0;;;;;:::i;:::-;;:::i;10231:196::-;;;;;;;;;;;;;:::i;4589:56::-;;;;;;;;;;;;;;;;2476:79;;;;;;;;;;-1:-1:-1;2514:7:0;2541:6;2476:79;;-1:-1:-1;;;;;2541:6:0;;;2698:51:1;;2686:2;2671:18;2476:79:0;2552:203:1;4652:58:0;;;;;;;;;;;;;;;;5600:87;;;;;;;;;;-1:-1:-1;5672:7:0;;;;;;;;;;;;-1:-1:-1;;;5672:7:0;;;;5600:87;;6016:167;;;;;;;;;;-1:-1:-1;6016:167:0;;;;;:::i;:::-;;:::i;4717:59::-;;;;;;;;;;;;;;;;3956:39;;;;;;;;;;-1:-1:-1;3956:39:0;;;;;;;;10835:671;;;;;;;;;;;;;:::i;10433:294::-;;;;;;;;;;-1:-1:-1;10433:294:0;;;;;:::i;:::-;;:::i;6191:143::-;;;;;;;;;;-1:-1:-1;6191:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6299:18:0;;;6272:7;6299:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6191:143;6342:161;6417:4;6434:39;311:10;6457:7;6466:6;6434:8;:39::i;:::-;-1:-1:-1;6491:4:0;6342:161;;;;;:::o;5786:95::-;5839:7;4456:13;4399:1;4456:2;:13;:::i;:::-;4442:27;;:11;:27;:::i;:::-;5859:14;;5786:95;:::o;6511:313::-;6609:4;6626:36;6636:6;6644:9;6655:6;6626:9;:36::i;:::-;6673:121;6682:6;311:10;6704:89;6742:6;6704:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6704:19:0;;;;;;:11;:19;;;;;;;;311:10;6704:33;;;;;;;;;;:37;:89::i;:::-;6673:8;:121::i;:::-;-1:-1:-1;6812:4:0;6511:313;;;;;:::o;11821:348::-;11885:10;;;;;-1:-1:-1;;;;;11885:10:0;311;-1:-1:-1;;;;;11871:24:0;;11863:33;;;;;;11946:4;11907:20;5982:18;;;:9;:18;;;;;;11966:14;;11963:73;;11994:30;12011:12;11994:16;:30::i;:::-;12065:21;12100:12;;12097:65;;12126:24;12139:10;12126:12;:24::i;:::-;11852:317;;11821:348::o;2690:148::-;2603:6;;-1:-1:-1;;;;;2603:6:0;311:10;2603:22;2595:67;;;;-1:-1:-1;;;2595:67:0;;;;;;;:::i;:::-;;;;;;;;;2797:1:::1;2781:6:::0;;2760:40:::1;::::0;-1:-1:-1;;;;;2781:6:0;;::::1;::::0;2760:40:::1;::::0;2797:1;;2760:40:::1;2828:1;2811:19:::0;;-1:-1:-1;;;;;;2811:19:0::1;::::0;;2690:148::o;11520:256::-;11619:10;;;;;-1:-1:-1;;;;;11619:10:0;311;-1:-1:-1;;;;;11605:24:0;;11597:33;;;;;;11659:12;;11647:10;:24;;:54;;;;;11688:13;;11675:11;:26;;11647:54;11639:63;;;;;;11711:12;:23;;;;11743:13;:25;11520:256::o;10231:196::-;2603:6;;-1:-1:-1;;;;;2603:6:0;311:10;2603:22;2595:67;;;;-1:-1:-1;;;2595:67:0;;;;;;;:::i;:::-;4456:13:::1;4399:1;4456:2;:13;:::i;:::-;4442:27;::::0;:11:::1;:27;:::i;:::-;10284:12;:22:::0;4456:13:::1;4399:1;4456:2;:13;:::i;:::-;4442:27;::::0;:11:::1;:27;:::i;:::-;10317:14;:22:::0;10350:20:::1;:26:::0;;-1:-1:-1;;10350:26:0::1;::::0;;10392:27:::1;4456:13;4399:1;-1:-1:-1::0;4456:13:0::1;:::i;:::-;4442:27;::::0;:11:::1;:27;:::i;:::-;10392;::::0;1361:25:1;;;1349:2;1334:18;10392:27:0::1;;;;;;;10231:196::o:0;6016:167::-;6094:4;6111:42;311:10;6135:9;6146:6;6111:9;:42::i;10835:671::-;2603:6;;-1:-1:-1;;;;;2603:6:0;311:10;2603:22;2595:67;;;;-1:-1:-1;;;2595:67:0;;;;;;;:::i;:::-;10899:11:::1;::::0;-1:-1:-1;;;10899:11:0;::::1;;;10898:12;10890:47;;;::::0;-1:-1:-1;;;10890:47:0;;5404:2:1;10890:47:0::1;::::0;::::1;5386:21:1::0;5443:2;5423:18;;;5416:30;5482:25;5462:18;;;5455:53;5525:18;;10890:47:0::1;5202:347:1::0;10890:47:0::1;10948:15;:80:::0;;-1:-1:-1;;;;;;10948:80:0::1;10985:42;10948:80:::0;;::::1;::::0;;;11039:58:::1;::::0;11056:4:::1;::::0;4456:13:::1;4399:1;4456:2;:13;:::i;:::-;4442:27;::::0;:11:::1;:27;:::i;11039:58::-;11142:15;;;;;;;;;-1:-1:-1::0;;;;;11142:15:0::1;-1:-1:-1::0;;;;;11142:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11124:55:0::1;;11188:4;11195:15;;;;;;;;;-1:-1:-1::0;;;;;11195:15:0::1;-1:-1:-1::0;;;;;11195:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11124:94;::::0;-1:-1:-1;;;;;;11124:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6040:15:1;;;11124:94:0::1;::::0;::::1;6022:34:1::0;6092:15;;6072:18;;;6065:43;5957:18;;11124:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11108:13;:110:::0;;-1:-1:-1;;;;;11108:110:0;;::::1;-1:-1:-1::0;;;;;;11108:110:0;;::::1;;::::0;;11229:15:::1;::::0;::::1;:31;11268:21;11299:4;11305:24;11299:4:::0;-1:-1:-1;;;;;5982:18:0;5955:7;5982:18;;;:9;:18;;;;;;;5889:119;11305:24:::1;11330:1;11332::::0;11334:7:::1;2514::::0;2541:6;-1:-1:-1;;;;;2541:6:0;;2476:79;11334:7:::1;11229:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11229:129:0;;;-1:-1:-1;;;;;6478:15:1;;;11229:129:0::1;::::0;::::1;6460:34:1::0;6510:18;;;6503:34;;;;6553:18;;;6546:34;;;;6596:18;;;6589:34;6660:15;;;6639:19;;;6632:44;11342:15:0::1;6692:19:1::0;;;6685:35;6394:19;;11229:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11376:13:0::1;::::0;11407:15:::1;::::0;11369:71:::1;::::0;-1:-1:-1;;;11369:71:0;;-1:-1:-1;;;;;11407:15:0;;::::1;11369:71;::::0;::::1;7216:51:1::0;-1:-1:-1;;7283:18:1;;;7276:34;11376:13:0;::::1;::::0;-1:-1:-1;11369:29:0::1;::::0;7189:18:1;;11369:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11451:11:0::1;:18:::0;;-1:-1:-1;;;;11480:18:0;-1:-1:-1;;;11480:18:0;;;10835:671::o;10433:294::-;2603:6;;-1:-1:-1;;;;;2603:6:0;311:10;2603:22;2595:67;;;;-1:-1:-1;;;2595:67:0;;;;;;;:::i;:::-;10562:14:::1;4399:1;10562:2;:14;:::i;:::-;10547:29;::::0;:12;:29:::1;:::i;:::-;10532:12;:44:::0;10621:13:::1;4399:1;10621:2;:13;:::i;:::-;10604:30;::::0;:14;:30:::1;:::i;:::-;10587:14;:47:::0;10645:20:::1;:26:::0;;-1:-1:-1;;10645:26:0::1;::::0;;10706:12:::1;::::0;10687:32:::1;::::0;1361:25:1;;;10687:32:0::1;::::0;1349:2:1;1334:18;10687:32:0::1;;;;;;;10433:294:::0;;:::o;6832:335::-;-1:-1:-1;;;;;6925:19:0;;6917:68;;;;-1:-1:-1;;;6917:68:0;;7805:2:1;6917:68:0;;;7787:21:1;7844:2;7824:18;;;7817:30;7883:34;7863:18;;;7856:62;-1:-1:-1;;;7934:18:1;;;7927:34;7978:19;;6917:68:0;7603:400:1;6917:68:0;-1:-1:-1;;;;;7004:21:0;;6996:68;;;;-1:-1:-1;;;6996:68:0;;8210:2:1;6996:68:0;;;8192:21:1;8249:2;8229:18;;;8222:30;8288:34;8268:18;;;8261:62;-1:-1:-1;;;8339:18:1;;;8332:32;8381:19;;6996:68:0;8008:398:1;6996:68:0;-1:-1:-1;;;;;7075:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7127:32;;1361:25:1;;;7127:32:0;;1334:18:1;7127:32:0;;;;;;;6832:335;;;:::o;7175:2449::-;-1:-1:-1;;;;;7263:18:0;;7255:68;;;;-1:-1:-1;;;7255:68:0;;8613:2:1;7255:68:0;;;8595:21:1;8652:2;8632:18;;;8625:30;8691:34;8671:18;;;8664:62;-1:-1:-1;;;8742:18:1;;;8735:35;8787:19;;7255:68:0;8411:401:1;7255:68:0;-1:-1:-1;;;;;7342:16:0;;7334:64;;;;-1:-1:-1;;;7334:64:0;;9019:2:1;7334:64:0;;;9001:21:1;9058:2;9038:18;;;9031:30;9097:34;9077:18;;;9070:62;-1:-1:-1;;;9148:18:1;;;9141:33;9191:19;;7334:64:0;8817:399:1;7334:64:0;7426:1;7417:6;:10;7409:64;;;;-1:-1:-1;;;7409:64:0;;9423:2:1;7409:64:0;;;9405:21:1;9462:2;9442:18;;;9435:30;9501:34;9481:18;;;9474:62;-1:-1:-1;;;9552:18:1;;;9545:39;9601:19;;7409:64:0;9221:405:1;7409:64:0;7484:17;2541:6;;-1:-1:-1;;;;;7518:15:0;;;2541:6;;7518:15;;;;:32;;-1:-1:-1;2514:7:0;2541:6;-1:-1:-1;;;;;7537:13:0;;;2541:6;;7537:13;;7518:32;7514:1754;;;7630:76;7702:3;7630:67;7652:15;;7642:9;;:25;7641:55;;7682:14;;7641:55;;;7669:12;;7641:55;7630:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7727:20;;7618:88;;-1:-1:-1;7727:20:0;;7723:508;;;7788:15;;-1:-1:-1;;;;;7774:30:0;;;7788:15;;7774:30;;;;:62;;-1:-1:-1;7822:13:0;;-1:-1:-1;;;;;7808:28:0;;;7822:13;;7808:28;;7774:62;7770:444;;;7928:9;7899:39;;;;:28;:39;;;;;;7972:12;-1:-1:-1;7863:250:0;;;;-1:-1:-1;;;7863:250:0;;9833:2:1;7863:250:0;;;9815:21:1;9872:2;9852:18;;;9845:30;9911:34;9891:18;;;9884:62;9982:34;9962:18;;;9955:62;-1:-1:-1;;;10033:19:1;;;10026:40;10083:19;;7863:250:0;9631:477:1;7863:250:0;8167:9;8138:39;;;;:28;:39;;;;;8180:12;8138:54;;7770:444;8259:13;;-1:-1:-1;;;;;8251:21:0;;;8259:13;;8251:21;:55;;;;-1:-1:-1;8290:15:0;;-1:-1:-1;;;;;8276:30:0;;;8290:15;;8276:30;;8251:55;:83;;;;-1:-1:-1;;;;;;8312:22:0;;;;;;:18;:22;;;;;;;;8310:24;8251:83;8247:313;;;8374:12;;8364:6;:22;;8356:60;;;;-1:-1:-1;;;8356:60:0;;10315:2:1;8356:60:0;;;10297:21:1;10354:2;10334:18;;;10327:30;10393:27;10373:18;;;10366:55;10438:18;;8356:60:0;10113:349:1;8356:60:0;8469:14;;8459:6;8443:13;8453:2;-1:-1:-1;;;;;5982:18:0;5955:7;5982:18;;;:9;:18;;;;;;;5889:119;8443:13;:22;;;;:::i;:::-;:40;;8435:79;;;;-1:-1:-1;;;8435:79:0;;10799:2:1;8435:79:0;;;10781:21:1;10838:2;10818:18;;;10811:30;10877:28;10857:18;;;10850:56;10923:18;;8435:79:0;10597:350:1;8435:79:0;8533:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8247:313;8585:13;;-1:-1:-1;;;;;8579:19:0;;;8585:13;;8579:19;:43;;;;-1:-1:-1;;;;;;8602:20:0;;8617:4;8602:20;;8579:43;8576:174;;;8655:79;8730:3;8655:70;8677:16;;8667:9;;:26;8666:58;;8709:15;;8666:58;;;8695:13;;8655:6;;:10;:70::i;:79::-;8643:91;;8576:174;8815:4;8766:28;5982:18;;;:9;:18;;;;;;8841:6;;-1:-1:-1;;;8841:6:0;;;;8840:7;:32;;;;-1:-1:-1;8859:13:0;;-1:-1:-1;;;;;8851:21:0;;;8859:13;;8851:21;8840:32;:47;;;;-1:-1:-1;8876:11:0;;-1:-1:-1;;;8876:11:0;;;;8840:47;:89;;;;;8912:17;;8891:20;:38;8840:89;:121;;;;;8943:18;;8933:9;;:28;8840:121;8836:421;;;8982:67;8999:49;9003:6;9010:37;9014:20;9035:11;;9010:3;:37::i;:::-;8999:3;:49::i;:::-;8982:16;:67::i;:::-;9097:21;9140:22;;9137:105;;9187:35;9200:21;9187:12;:35::i;:::-;8963:294;8836:421;7552:1716;7514:1754;9283:11;;9280:161;;9351:4;9333:24;;;;:9;:24;;;;;;:39;;9362:9;9333:28;:39::i;:::-;9326:4;9308:24;;;;:9;:24;;;;;;;:64;;;;9390:39;;-1:-1:-1;;;;;9390:39:0;;;;;;;9419:9;1361:25:1;;1349:2;1334:18;;1215:177;9390:39:0;;;;;;;;9280:161;-1:-1:-1;;;;;9467:15:0;;;;;;:9;:15;;;;;;:27;;9487:6;9467:19;:27::i;:::-;-1:-1:-1;;;;;9451:15:0;;;;;;:9;:15;;;;;:43;9519:40;9537:21;:6;9548:9;9537:10;:21::i;:::-;-1:-1:-1;;;;;9519:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9505:13:0;;;;;;;:9;:13;;;;;:54;;;;9575:41;;;9594:21;:6;9605:9;9594:10;:21::i;:::-;9575:41;;1361:25:1;;;1349:2;1334:18;9575:41:0;;;;;;;7244:2380;7175:2449;;;:::o;1368:190::-;1454:7;1490:12;1482:6;;;;1474:29;;;;-1:-1:-1;;;1474:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1514:9:0;1526:5;1530:1;1526;:5;:::i;:::-;1514:17;1368:190;-1:-1:-1;;;;;1368:190:0:o;9740:483::-;5118:6;:13;;-1:-1:-1;;;;5118:13:0;-1:-1:-1;;;5118:13:0;;;9842:16:::1;::::0;;9856:1:::1;9842:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9842:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9842:16:0::1;9818:40;;9887:4;9869;9874:1;9869:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9869:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9913:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9913:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9869:7;;9913:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9903:4;9908:1;9903:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9903:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9978:15:::1;::::0;9946:62:::1;::::0;9963:4:::1;::::0;9978:15:::1;9996:11:::0;9946:8:::1;:62::i;:::-;10019:15;::::0;:196:::1;::::0;-1:-1:-1;;;10019:196:0;;-1:-1:-1;;;;;10019:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10100:11;;10019:15:::1;::::0;10142:4;;10169::::1;::::0;10189:15:::1;::::0;10019:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5154:6:0;:14;;-1:-1:-1;;;;5154:14:0;;;-1:-1:-1;;;;9740:483:0:o;10735:92::-;10792:10;;:27;;:10;;;;-1:-1:-1;;;;;10792:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;1566:246;1624:7;1648:1;1653;1648:6;1644:47;;-1:-1:-1;1678:1:0;1671:8;;1644:47;1701:9;1713:5;1717:1;1713;:5;:::i;:::-;1701:17;-1:-1:-1;1746:1:0;1737:5;1741:1;1701:17;1737:5;:::i;:::-;:10;1729:56;;;;-1:-1:-1;;;1729:56:0;;12898:2:1;1729:56:0;;;12880:21:1;12937:2;12917:18;;;12910:30;12976:34;12956:18;;;12949:62;-1:-1:-1;;;13027:18:1;;;13020:31;13068:19;;1729:56:0;12696:397:1;1729:56:0;1803:1;1566:246;-1:-1:-1;;;1566:246:0:o;1820:132::-;1878:7;1905:39;1909:1;1912;1905:39;;;;;;;;;;;;;;;;;:3;:39::i;9634:98::-;9691:7;9718:1;9716;:3;9715:9;;9723:1;9715:9;;;-1:-1:-1;9721:1:0;9634:98;-1:-1:-1;9634:98:0:o;1037:179::-;1095:7;;1127:5;1131:1;1127;:5;:::i;:::-;1115:17;;1156:1;1151;:6;;1143:46;;;;-1:-1:-1;;;1143:46:0;;13300:2:1;1143:46:0;;;13282:21:1;13339:2;13319:18;;;13312:30;13378:29;13358:18;;;13351:57;13425:18;;1143:46:0;13098:351:1;1224:136:0;1282:7;1309:43;1313:1;1316;1309:43;;;;;;;;;;;;;;;;;:3;:43::i;1960:189::-;2046:7;2081:12;2074:5;2066:28;;;;-1:-1:-1;;;2066:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2105:9:0;2117:5;2121:1;2117;: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;2299:248::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;-1:-1:-1;;2467:23:1;;;2537:2;2522:18;;;2509:32;;-1:-1:-1;2299:248:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:422;3374:1;3417:5;3374:1;3431:270;3452:7;3442:8;3439:21;3431:270;;;3511:4;3507:1;3503:6;3499:17;3493:4;3490:27;3487:53;;;3520:18;;:::i;:::-;3570:7;3560:8;3556:22;3553:55;;;3590:16;;;;3553:55;3669:22;;;;3629:15;;;;3431:270;;;3435:3;3285:422;;;;;:::o;3712:806::-;3761:5;3791:8;3781:80;;-1:-1:-1;3832:1:1;3846:5;;3781:80;3880:4;3870:76;;-1:-1:-1;3917:1:1;3931:5;;3870:76;3962:4;3980:1;3975:59;;;;4048:1;4043:130;;;;3955:218;;3975:59;4005:1;3996:10;;4019:5;;;4043:130;4080:3;4070:8;4067:17;4064:43;;;4087:18;;:::i;:::-;-1:-1:-1;;4143:1:1;4129:16;;4158:5;;3955:218;;4257:2;4247:8;4244:16;4238:3;4232:4;4229:13;4225:36;4219:2;4209:8;4206:16;4201:2;4195:4;4192:12;4188:35;4185:77;4182:159;;;-1:-1:-1;4294:19:1;;;4326:5;;4182:159;4373:34;4398:8;4392:4;4373:34;:::i;:::-;4443:6;4439:1;4435:6;4431:19;4422:7;4419:32;4416:58;;;4454:18;;:::i;:::-;4492:20;;3712:806;-1:-1:-1;;;3712:806:1:o;4523:140::-;4581:5;4610:47;4651:4;4641:8;4637:19;4631:4;4610:47;:::i;4668:168::-;4741:9;;;4772;;4789:15;;;4783:22;;4769:37;4759:71;;4810:18;;:::i;4841:356::-;5043:2;5025:21;;;5062:18;;;5055:30;5121:34;5116:2;5101:18;;5094:62;5188:2;5173:18;;4841:356::o;5554:251::-;5624:6;5677:2;5665:9;5656:7;5652:23;5648:32;5645:52;;;5693:1;5690;5683:12;5645:52;5725:9;5719:16;5744:31;5769:5;5744:31;:::i;6731:306::-;6819:6;6827;6835;6888:2;6876:9;6867:7;6863:23;6859:32;6856:52;;;6904:1;6901;6894:12;6856:52;6933:9;6927:16;6917:26;;6983:2;6972:9;6968:18;6962:25;6952:35;;7027:2;7016:9;7012:18;7006:25;6996:35;;6731:306;;;;;:::o;7321:277::-;7388:6;7441:2;7429:9;7420:7;7416:23;7412:32;7409:52;;;7457:1;7454;7447:12;7409:52;7489:9;7483:16;7542:5;7535:13;7528:21;7521:5;7518:32;7508:60;;7564:1;7561;7554:12;10467:125;10532:9;;;10553:10;;;10550:36;;;10566:18;;:::i;10952:135::-;10991:3;11012:17;;;11009:43;;11032:18;;:::i;:::-;-1:-1:-1;11079:1:1;11068:13;;10952:135::o;11092:128::-;11159:9;;;11180:11;;;11177:37;;;11194:18;;:::i;11357:127::-;11418:10;11413:3;11409:20;11406:1;11399:31;11449:4;11446:1;11439:15;11473:4;11470:1;11463:15;11489:980;11751:4;11799:3;11788:9;11784:19;11830:6;11819:9;11812:25;11856:2;11894:6;11889:2;11878:9;11874:18;11867:34;11937:3;11932:2;11921:9;11917:18;11910:31;11961:6;11996;11990:13;12027:6;12019;12012:22;12065:3;12054:9;12050:19;12043:26;;12104:2;12096:6;12092:15;12078:29;;12125:1;12135:195;12149:6;12146:1;12143:13;12135:195;;;12214:13;;-1:-1:-1;;;;;12210:39:1;12198:52;;12305:15;;;;12270:12;;;;12246:1;12164:9;12135:195;;;-1:-1:-1;;;;;;;12386:32:1;;;;12381:2;12366:18;;12359:60;-1:-1:-1;;;12450:3:1;12435:19;12428:35;12347:3;11489:980;-1:-1:-1;;;11489:980:1:o;12474:217::-;12514:1;12540;12530:132;;12584:10;12579:3;12575:20;12572:1;12565:31;12619:4;12616:1;12609:15;12647:4;12644:1;12637:15;12530:132;-1:-1:-1;12676:9:1;;12474:217::o

ipfs://27f8ebdb4f0eae8fe4b8125d5b5f0367a859fd1495263765ce66fc9136cf7d9f