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 LimoncelloAI 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 isContract(address account)
•    - function swapTokensForEth(uint256 tok ...
•    - function sendETHToFee(uint256 amount)
•    - function removeLimits()
•    - function openTrading()
•    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-22
*/

// SPDX-License-Identifier: MIT

/**
	LIMONCELLO AI - $LIMON

	An autonomous crypto trading bot powered by AI agents

	https://t.me/limoncelloAI

	https://www.limoncelloai.xyz
                                                               
                                                                 
                          .......                                
                         :-:.....:::                             
                       :-:          ::                           
                   .---:  .::.  ----..:::.                       
                 .:---- .:----:..:---::  .:.                     
                 ------ .------: :-----:.  .-                    
              .:-------  .-----:..:-------   -:                  
              :--------   -------  -------  :.::                 
            .----------    .:----.  :---:: .--. -:               
           .:---------- .--:....--: :---. :---:. :-              
           :----------- .----:   :::..--. :-----:..-.            
          -------------..:-----:  .:..- .--------:.:..           
          --------------. --------:.... .---------: :-           
         .--------------.  :-------::.    ::::::---:..-.         
        :----------------- .:--:.......   ..........  =.         
        :-----------------:  .....:----  . .:---:.::  .::        
        :------------------.  .:------- .--: .:------: --        
       .:-------------------- .:------- .----. .-----: --        
       ----------------------:  ------- .-----:. :---: --        
       -----------------------.  .:-----. :----:: .:-:  .=.      
       .:-----------------------.  .:---. :------: .-:   =.      
         .-----------------------::  .--. :-------:  : ::.       
           .:-----------------------.     ::-------:   --        
             .------------------------:     .----:.   ::.        
                 :------------------------          :--.         
                   :::-----------------------....-=:::           
                      ....--------------------:....              
                              :---------:                        
                                                                 
                                                                 
**/

pragma solidity >=0.8.20 <=0.8.23;

// Context contract for accessing msg.sender details
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

// Standard ERC20 interface
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);
}

// SafeMath library to prevent overflows and underflows
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow detected");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow detected");
    }

    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 detected");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero detected");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }

}

// Ownership contract for managing admin rights
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);
    }

}

// Uniswap interfaces for liquidity management
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);
}

// Main contract for LimoncelloAI token
contract LimoncelloAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _buyTaxInitial=20;
    uint256 private _sellTaxInitial=40;
    uint256 private _buyTaxFinal=4;
    uint256 private _sellTaxFinal=4;
    uint256 private _buyTaxFinalAt=20;
    uint256 private _sellTaxFinalAt=20;
    uint256 private _taxSwapStartAt=30;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000 * 10**_decimals;
    string private constant _name = unicode"LimoncelloAI";
    string private constant _symbol = unicode"LIMON";
    uint256 public _maxTransaction =   200000 * 10**_decimals;
    uint256 public _maxWallet = 200000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 50000 * 10**_decimals;
    uint256 public _maxTaxSwap= 200000 * 10**_decimals;

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

    event MaxTxAmountUpdated(uint _maxTransaction);
    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);
    }

    // Basic ERC20 functions
    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];
    }

    // Transfer functions
    function transfer(address recipient, uint256 value) public override returns (bool) {
        _transfer(_msgSender(), recipient, value);
        return true;
    }

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

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

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

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

    // Core transfer logic with fee deductions
    function _transfer(address from, address to, uint256 value) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(value > 0, "Transfer value must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            taxAmount = value.mul((_buyCount>_buyTaxFinalAt)?_buyTaxFinal:_buyTaxInitial).div(100);

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(value <= _maxTransaction, "Exceeds the _maxTransaction.");
                require(balanceOf(to) + value <= _maxWallet, "Exceeds the maxWalletSize.");

                if (firstBlock + 3  > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

            if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + value <= _maxWallet, "Exceeds the maxWalletSize.");
            }

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = value.mul((_buyCount>_sellTaxFinalAt)?_sellTaxFinal:_sellTaxInitial).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_taxSwapStartAt) {
                swapTokensForEth(min(value,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(value);
        _balances[to]=_balances[to].add(value.sub(taxAmount));
        emit Transfer(from, to, value.sub(taxAmount));
    }

    // Function to return the minimum of two values
    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    // Function to check if address is contract
    function isContract(address account) private view returns (bool) {
        return account.code.length > 0;
    }

    // Swap tokens for ETH
    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
        );
    }

    // Transfer collected ETH to the tax wallet
    function sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

    // Remove transaction limits
    function removeLimits() external onlyOwner{
        _maxTransaction = _tTotal;
        _maxWallet=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    // Enable trading on Uniswap
    function openTrading() external onlyOwner() {
        require(!tradingOpen, "Not authorized action, 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;
        firstBlock = block.number;
    }

    receive() external payable {}

    // Manual swap function for the owner
    function manualSwap() external {
        require(_msgSender() == _taxWallet, "Not authorized action");
        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":"_maxTransaction","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":"_maxTransaction","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet","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":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526014600755602860085560046009556004600a556014600b556014600c55601e600d555f600e556009600a6200003b91906200032b565b6200004a9062030d4062000342565b600f556200005b6009600a6200032b565b6200006a9062030d4062000342565b6010556200007b6009600a6200032b565b620000899061c35062000342565b6011556200009a6009600a6200032b565b620000a99062030d4062000342565b6012556014805461ffff60a81b19169055348015620000c6575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191633179055620001276009600a6200032b565b62000136906298968062000342565b335f9081526001602081905260408220929092556003906200015f5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001bd3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001f66009600a6200032b565b62000205906298968062000342565b60405190815260200160405180910390a36200035c565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200027057815f19048211156200025457620002546200021c565b808516156200026257918102915b93841c939080029062000235565b509250929050565b5f82620002885750600162000325565b816200029657505f62000325565b8160018114620002af5760028114620002ba57620002da565b600191505062000325565b60ff841115620002ce57620002ce6200021c565b50506001821b62000325565b5060208310610133831016604e8410600b8410161715620002ff575081810a62000325565b6200030b838362000230565b805f19048211156200032157620003216200021c565b0290505b92915050565b5f6200033b60ff84168362000278565b9392505050565b80820281158282048414176200032557620003256200021c565b61187a806200036a5f395ff3fe608060405260043610610108575f3560e01c8063751039fc11610092578063a9059cbb11610062578063a9059cbb146102d3578063bf474bed146102f2578063c9567bf914610307578063da7003d41461031b578063dd62ed3e14610330575f80fd5b8063751039fc1461025757806382247ec01461026b5780638da5cb5b1461028057806395d89b41146102a6575f80fd5b806323b872dd116100d857806323b872dd146101bf578063313ce567146101de57806351bc3c85146101f957806370a082311461020f578063715018a614610243575f80fd5b806306fdde0314610113578063095ea7b3146101595780630faee56f1461018857806318160ddd146101ab575f80fd5b3661010f57005b5f80fd5b34801561011e575f80fd5b5060408051808201909152600c81526b4c696d6f6e63656c6c6f414960a01b60208201525b6040516101509190611420565b60405180910390f35b348015610164575f80fd5b50610178610173366004611483565b610374565b6040519015158152602001610150565b348015610193575f80fd5b5061019d60125481565b604051908152602001610150565b3480156101b6575f80fd5b5061019d61038a565b3480156101ca575f80fd5b506101786101d93660046114ad565b6103a9565b3480156101e9575f80fd5b5060405160098152602001610150565b348015610204575f80fd5b5061020d610410565b005b34801561021a575f80fd5b5061019d6102293660046114eb565b6001600160a01b03165f9081526001602052604090205490565b34801561024e575f80fd5b5061020d6104a2565b348015610262575f80fd5b5061020d610513565b348015610276575f80fd5b5061019d60105481565b34801561028b575f80fd5b505f546040516001600160a01b039091168152602001610150565b3480156102b1575f80fd5b506040805180820190915260058152642624a6a7a760d91b6020820152610143565b3480156102de575f80fd5b506101786102ed366004611483565b6105c1565b3480156102fd575f80fd5b5061019d60115481565b348015610312575f80fd5b5061020d6105cd565b348015610326575f80fd5b5061019d600f5481565b34801561033b575f80fd5b5061019d61034a366004611506565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610380338484610990565b5060015b92915050565b5f6103976009600a611631565b6103a4906298968061163f565b905090565b5f6103b5848484610ab3565b6104068433610401856040518060600160405280602881526020016117fa602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110c1565b610990565b5060019392505050565b6005546001600160a01b0316336001600160a01b0316146104705760405162461bcd60e51b81526020600482015260156024820152742737ba1030baba3437b934bd32b21030b1ba34b7b760591b60448201526064015b60405180910390fd5b305f90815260016020526040902054801561048e5761048e816110f9565b47801561049e5761049e81611269565b5050565b5f546001600160a01b031633146104cb5760405162461bcd60e51b815260040161046790611656565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461053c5760405162461bcd60e51b815260040161046790611656565b6105486009600a611631565b610555906298968061163f565b600f556105646009600a611631565b610571906298968061163f565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105a16009600a611631565b6105ae906298968061163f565b60405190815260200160405180910390a1565b5f610380338484610ab3565b5f546001600160a01b031633146105f65760405162461bcd60e51b815260040161046790611656565b601454600160a01b900460ff16156106675760405162461bcd60e51b815260206004820152602e60248201527f4e6f7420617574686f72697a656420616374696f6e2c2074726164696e67206960448201526d399030b63932b0b23c9037b832b760911b6064820152608401610467565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106af9030906106a26009600a611631565b610401906298968061163f565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106ff573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610723919061168b565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610782573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107a6919061168b565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610814919061168b565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061085b816001600160a01b03165f9081526001602052604090205490565b5f8061086e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108d4573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108f991906116a6565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561094e573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061097291906116d1565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b6001600160a01b0383166109f25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610467565b6001600160a01b038216610a535760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610467565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b175760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610467565b6001600160a01b038216610b795760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610467565b5f8111610bd95760405162461bcd60e51b815260206004820152602860248201527f5472616e736665722076616c7565206d7573742062652067726561746572207460448201526768616e207a65726f60c01b6064820152608401610467565b5f80546001600160a01b03858116911614801590610c0457505f546001600160a01b03848116911614155b15610f84576001600160a01b0384165f9081526004602052604090205460ff16158015610c4957506001600160a01b0383165f9081526004602052604090205460ff16155b610c51575f80fd5b610c7d6064610c77600b54600e5411610c6c57600754610c70565b6009545b85906112a0565b9061132e565b6014549091506001600160a01b038581169116148015610cab57506013546001600160a01b03848116911614155b8015610ccf57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ddf57600f54821115610d265760405162461bcd60e51b815260206004820152601c60248201527f4578636565647320746865205f6d61785472616e73616374696f6e2e000000006044820152606401610467565b60105482610d48856001600160a01b03165f9081526001602052604090205490565b610d5291906116f0565b1115610da05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b436006546003610db091906116f0565b1115610dca576001600160a01b0383163b15610dca575f80fd5b600e8054905f610dd983611703565b91905055505b6014546001600160a01b03848116911614801590610e1557506001600160a01b0383165f9081526003602052604090205460ff16155b15610e945760105482610e3c856001600160a01b03165f9081526001602052604090205490565b610e4691906116f0565b1115610e945760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b6014546001600160a01b038481169116148015610eba57506001600160a01b0384163014155b15610ee757610ee46064610c77600c54600e5411610eda57600854610c70565b600a5485906112a0565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610f1d57506014546001600160a01b038581169116145b8015610f325750601454600160b01b900460ff165b8015610f3f575060115481115b8015610f4e5750600d54600e54115b15610f8257610f70610f6b84610f6684601254611352565b611352565b6110f9565b478015610f8057610f8047611269565b505b505b8015610ffc57305f90815260016020526040902054610fa39082611366565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ff39085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461101e90836113d0565b6001600160a01b0385165f9081526001602052604090205561106161104383836113d0565b6001600160a01b0385165f9081526001602052604090205490611366565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110aa85856113d0565b60405190815260200160405180910390a350505050565b5f81848411156110e45760405162461bcd60e51b81526004016104679190611420565b505f6110f0848661171b565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061113f5761113f61172e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611196573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111ba919061168b565b816001815181106111cd576111cd61172e565b6001600160a01b0392831660209182029290920101526013546111f39130911684610990565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061122b9085905f90869030904290600401611742565b5f604051808303815f87803b158015611242575f80fd5b505af1158015611254573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561049e573d5f803e3d5ffd5b5f825f036112af57505f610384565b5f6112ba838561163f565b9050826112c785836117b3565b146113275760405162461bcd60e51b815260206004820152602a60248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152691dc819195d1958dd195960b21b6064820152608401610467565b9392505050565b5f6113278383604051806060016040528060238152602001611822602391396113f4565b5f8183116113605782611327565b50919050565b5f8061137283856116f0565b9050838110156113275760405162461bcd60e51b8152602060048201526024808201527f536166654d6174683a206164646974696f6e206f766572666c6f77206465746560448201526318dd195960e21b6064820152608401610467565b5f61132783836040518060600160405280602781526020016117d3602791396110c1565b5f81836114145760405162461bcd60e51b81526004016104679190611420565b505f6110f084866117b3565b5f602080835283518060208501525f5b8181101561144c57858101830151858201604001528201611430565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611480575f80fd5b50565b5f8060408385031215611494575f80fd5b823561149f8161146c565b946020939093013593505050565b5f805f606084860312156114bf575f80fd5b83356114ca8161146c565b925060208401356114da8161146c565b929592945050506040919091013590565b5f602082840312156114fb575f80fd5b81356113278161146c565b5f8060408385031215611517575f80fd5b82356115228161146c565b915060208301356115328161146c565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561158b57815f19048211156115715761157161153d565b8085161561157e57918102915b93841c9390800290611556565b509250929050565b5f826115a157506001610384565b816115ad57505f610384565b81600181146115c357600281146115cd576115e9565b6001915050610384565b60ff8411156115de576115de61153d565b50506001821b610384565b5060208310610133831016604e8410600b841016171561160c575081810a610384565b6116168383611551565b805f19048211156116295761162961153d565b029392505050565b5f61132760ff841683611593565b80820281158282048414176103845761038461153d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561169b575f80fd5b81516113278161146c565b5f805f606084860312156116b8575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156116e1575f80fd5b81518015158114611327575f80fd5b808201808211156103845761038461153d565b5f600182016117145761171461153d565b5060010190565b818103818111156103845761038461153d565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156117925784516001600160a01b03168352938301939183019160010161176d565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826117cd57634e487b7160e01b5f52601260045260245ffd5b50049056fe536166654d6174683a207375627472616374696f6e206f766572666c6f7720646574656374656445524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365536166654d6174683a206469766973696f6e206279207a65726f206465746563746564a2646970667358221220eaee87483765e2a14bfa8d0113ac989d451e4baaeecce462b3e4829b497a004064736f6c63430008170033

0x608060405260043610610108575f3560e01c8063751039fc11610092578063a9059cbb11610062578063a9059cbb146102d3578063bf474bed146102f2578063c9567bf914610307578063da7003d41461031b578063dd62ed3e14610330575f80fd5b8063751039fc1461025757806382247ec01461026b5780638da5cb5b1461028057806395d89b41146102a6575f80fd5b806323b872dd116100d857806323b872dd146101bf578063313ce567146101de57806351bc3c85146101f957806370a082311461020f578063715018a614610243575f80fd5b806306fdde0314610113578063095ea7b3146101595780630faee56f1461018857806318160ddd146101ab575f80fd5b3661010f57005b5f80fd5b34801561011e575f80fd5b5060408051808201909152600c81526b4c696d6f6e63656c6c6f414960a01b60208201525b6040516101509190611420565b60405180910390f35b348015610164575f80fd5b50610178610173366004611483565b610374565b6040519015158152602001610150565b348015610193575f80fd5b5061019d60125481565b604051908152602001610150565b3480156101b6575f80fd5b5061019d61038a565b3480156101ca575f80fd5b506101786101d93660046114ad565b6103a9565b3480156101e9575f80fd5b5060405160098152602001610150565b348015610204575f80fd5b5061020d610410565b005b34801561021a575f80fd5b5061019d6102293660046114eb565b6001600160a01b03165f9081526001602052604090205490565b34801561024e575f80fd5b5061020d6104a2565b348015610262575f80fd5b5061020d610513565b348015610276575f80fd5b5061019d60105481565b34801561028b575f80fd5b505f546040516001600160a01b039091168152602001610150565b3480156102b1575f80fd5b506040805180820190915260058152642624a6a7a760d91b6020820152610143565b3480156102de575f80fd5b506101786102ed366004611483565b6105c1565b3480156102fd575f80fd5b5061019d60115481565b348015610312575f80fd5b5061020d6105cd565b348015610326575f80fd5b5061019d600f5481565b34801561033b575f80fd5b5061019d61034a366004611506565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f610380338484610990565b5060015b92915050565b5f6103976009600a611631565b6103a4906298968061163f565b905090565b5f6103b5848484610ab3565b6104068433610401856040518060600160405280602881526020016117fa602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110c1565b610990565b5060019392505050565b6005546001600160a01b0316336001600160a01b0316146104705760405162461bcd60e51b81526020600482015260156024820152742737ba1030baba3437b934bd32b21030b1ba34b7b760591b60448201526064015b60405180910390fd5b305f90815260016020526040902054801561048e5761048e816110f9565b47801561049e5761049e81611269565b5050565b5f546001600160a01b031633146104cb5760405162461bcd60e51b815260040161046790611656565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461053c5760405162461bcd60e51b815260040161046790611656565b6105486009600a611631565b610555906298968061163f565b600f556105646009600a611631565b610571906298968061163f565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105a16009600a611631565b6105ae906298968061163f565b60405190815260200160405180910390a1565b5f610380338484610ab3565b5f546001600160a01b031633146105f65760405162461bcd60e51b815260040161046790611656565b601454600160a01b900460ff16156106675760405162461bcd60e51b815260206004820152602e60248201527f4e6f7420617574686f72697a656420616374696f6e2c2074726164696e67206960448201526d399030b63932b0b23c9037b832b760911b6064820152608401610467565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106af9030906106a26009600a611631565b610401906298968061163f565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106ff573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610723919061168b565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610782573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107a6919061168b565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107f0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610814919061168b565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d719473061085b816001600160a01b03165f9081526001602052604090205490565b5f8061086e5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108d4573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108f991906116a6565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561094e573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061097291906116d1565b506014805462ff00ff60a01b19166201000160a01b17905543600655565b6001600160a01b0383166109f25760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610467565b6001600160a01b038216610a535760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610467565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b175760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610467565b6001600160a01b038216610b795760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610467565b5f8111610bd95760405162461bcd60e51b815260206004820152602860248201527f5472616e736665722076616c7565206d7573742062652067726561746572207460448201526768616e207a65726f60c01b6064820152608401610467565b5f80546001600160a01b03858116911614801590610c0457505f546001600160a01b03848116911614155b15610f84576001600160a01b0384165f9081526004602052604090205460ff16158015610c4957506001600160a01b0383165f9081526004602052604090205460ff16155b610c51575f80fd5b610c7d6064610c77600b54600e5411610c6c57600754610c70565b6009545b85906112a0565b9061132e565b6014549091506001600160a01b038581169116148015610cab57506013546001600160a01b03848116911614155b8015610ccf57506001600160a01b0383165f9081526003602052604090205460ff16155b15610ddf57600f54821115610d265760405162461bcd60e51b815260206004820152601c60248201527f4578636565647320746865205f6d61785472616e73616374696f6e2e000000006044820152606401610467565b60105482610d48856001600160a01b03165f9081526001602052604090205490565b610d5291906116f0565b1115610da05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b436006546003610db091906116f0565b1115610dca576001600160a01b0383163b15610dca575f80fd5b600e8054905f610dd983611703565b91905055505b6014546001600160a01b03848116911614801590610e1557506001600160a01b0383165f9081526003602052604090205460ff16155b15610e945760105482610e3c856001600160a01b03165f9081526001602052604090205490565b610e4691906116f0565b1115610e945760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610467565b6014546001600160a01b038481169116148015610eba57506001600160a01b0384163014155b15610ee757610ee46064610c77600c54600e5411610eda57600854610c70565b600a5485906112a0565b90505b305f90815260016020526040902054601454600160a81b900460ff16158015610f1d57506014546001600160a01b038581169116145b8015610f325750601454600160b01b900460ff165b8015610f3f575060115481115b8015610f4e5750600d54600e54115b15610f8257610f70610f6b84610f6684601254611352565b611352565b6110f9565b478015610f8057610f8047611269565b505b505b8015610ffc57305f90815260016020526040902054610fa39082611366565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ff39085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461101e90836113d0565b6001600160a01b0385165f9081526001602052604090205561106161104383836113d0565b6001600160a01b0385165f9081526001602052604090205490611366565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110aa85856113d0565b60405190815260200160405180910390a350505050565b5f81848411156110e45760405162461bcd60e51b81526004016104679190611420565b505f6110f0848661171b565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061113f5761113f61172e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611196573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111ba919061168b565b816001815181106111cd576111cd61172e565b6001600160a01b0392831660209182029290920101526013546111f39130911684610990565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061122b9085905f90869030904290600401611742565b5f604051808303815f87803b158015611242575f80fd5b505af1158015611254573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561049e573d5f803e3d5ffd5b5f825f036112af57505f610384565b5f6112ba838561163f565b9050826112c785836117b3565b146113275760405162461bcd60e51b815260206004820152602a60248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152691dc819195d1958dd195960b21b6064820152608401610467565b9392505050565b5f6113278383604051806060016040528060238152602001611822602391396113f4565b5f8183116113605782611327565b50919050565b5f8061137283856116f0565b9050838110156113275760405162461bcd60e51b8152602060048201526024808201527f536166654d6174683a206164646974696f6e206f766572666c6f77206465746560448201526318dd195960e21b6064820152608401610467565b5f61132783836040518060600160405280602781526020016117d3602791396110c1565b5f81836114145760405162461bcd60e51b81526004016104679190611420565b505f6110f084866117b3565b5f602080835283518060208501525f5b8181101561144c57858101830151858201604001528201611430565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611480575f80fd5b50565b5f8060408385031215611494575f80fd5b823561149f8161146c565b946020939093013593505050565b5f805f606084860312156114bf575f80fd5b83356114ca8161146c565b925060208401356114da8161146c565b929592945050506040919091013590565b5f602082840312156114fb575f80fd5b81356113278161146c565b5f8060408385031215611517575f80fd5b82356115228161146c565b915060208301356115328161146c565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561158b57815f19048211156115715761157161153d565b8085161561157e57918102915b93841c9390800290611556565b509250929050565b5f826115a157506001610384565b816115ad57505f610384565b81600181146115c357600281146115cd576115e9565b6001915050610384565b60ff8411156115de576115de61153d565b50506001821b610384565b5060208310610133831016604e8410600b841016171561160c575081810a610384565b6116168383611551565b805f19048211156116295761162961153d565b029392505050565b5f61132760ff841683611593565b80820281158282048414176103845761038461153d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561169b575f80fd5b81516113278161146c565b5f805f606084860312156116b8575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156116e1575f80fd5b81518015158114611327575f80fd5b808201808211156103845761038461153d565b5f600182016117145761171461153d565b5060010190565b818103818111156103845761038461153d565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156117925784516001600160a01b03168352938301939183019160010161176d565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826117cd57634e487b7160e01b5f52601260045260245ffd5b50049056fe536166654d6174683a207375627472616374696f6e206f766572666c6f7720646574656374656445524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365536166654d6174683a206469766973696f6e206279207a65726f206465746563746564a2646970667358221220eaee87483765e2a14bfa8d0113ac989d451e4baaeecce462b3e4829b497a004064736f6c63430008170033

6099:8308:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7967:83;;;;;;;;;;-1:-1:-1;8037:5:0;;;;;;;;;;;;-1:-1:-1;;;8037:5:0;;;;7967:83;;;;;;;:::i;:::-;;;;;;;;8825:159;;;;;;;;;;-1:-1:-1;8825:159:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8825:159:0;1023:187:1;7211:50:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;7211:50:0;1215:177:1;8244:95:0;;;;;;;;;;;;;:::i;8992:310::-;;;;;;;;;;-1:-1:-1;8992:310:0;;;;;:::i;:::-;;:::i;8153:83::-;;;;;;;;;;-1:-1:-1;8153:83:0;;6839:1;2000:36:1;;1988:2;1973:18;8153:83:0;1858:184:1;14013:391:0;;;;;;;;;;;;;:::i;:::-;;8347:119;;;;;;;;;;-1:-1:-1;8347:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8440:18:0;8413:7;8440:18;;;:9;:18;;;;;;;8347:119;5091:148;;;;;;;;;;;;;:::i;12994:158::-;;;;;;;;;;;;;:::i;7092:50::-;;;;;;;;;;;;;;;;4877:79;;;;;;;;;;-1:-1:-1;4915:7:0;4942:6;4877:79;;-1:-1:-1;;;;;4942:6:0;;;2445:51:1;;2433:2;2418:18;4877:79:0;2299:203:1;8058:87:0;;;;;;;;;;-1:-1:-1;8130:7:0;;;;;;;;;;;;-1:-1:-1;;;8130:7:0;;;;8058:87;;8501:165;;;;;;;;;;-1:-1:-1;8501:165:0;;;;;:::i;:::-;;:::i;7149:55::-;;;;;;;;;;;;;;;;13194:731;;;;;;;;;;;;;:::i;7028:57::-;;;;;;;;;;;;;;;;8674:143;;;;;;;;;;-1:-1:-1;8674:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;8782:18:0;;;8755:7;8782:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8674:143;8825:159;8899:4;8916:38;2540:10;8939:7;8948:5;8916:8;:38::i;:::-;-1:-1:-1;8972:4:0;8825:159;;;;;:::o;8244:95::-;8297:7;6893:13;6839:1;6893:2;:13;:::i;:::-;6882:24;;:8;:24;:::i;:::-;8317:14;;8244:95;:::o;8992:310::-;9089:4;9106:35;9116:6;9124:9;9135:5;9106:9;:35::i;:::-;9152:120;9161:6;2540:10;9183:88;9221:5;9183:88;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9183:19:0;;;;;;:11;:19;;;;;;;;2540:10;9183:33;;;;;;;;;;:37;:88::i;:::-;9152:8;:120::i;:::-;-1:-1:-1;9290:4:0;8992:310;;;;;:::o;14013:391::-;14079:10;;-1:-1:-1;;;;;14079:10:0;2540;-1:-1:-1;;;;;14063:26:0;;14055:60;;;;-1:-1:-1;;;14055:60:0;;4784:2:1;14055:60:0;;;4766:21:1;4823:2;4803:18;;;4796:30;-1:-1:-1;;;4842:18:1;;;4835:51;4903:18;;14055:60:0;;;;;;;;;14167:4;14126:20;8440:18;;;:9;:18;;;;;;14188:16;;14184:79;;14221:30;14238:12;14221:16;:30::i;:::-;14294:21;14330:14;;14326:71;;14361:24;14374:10;14361:12;:24::i;:::-;14044:360;;14013:391::o;5091:148::-;5004:6;;-1:-1:-1;;;;;5004:6:0;2540:10;5004:22;4996:67;;;;-1:-1:-1;;;4996:67:0;;;;;;;:::i;:::-;5198:1:::1;5182:6:::0;;5161:40:::1;::::0;-1:-1:-1;;;;;5182:6:0;;::::1;::::0;5161:40:::1;::::0;5198:1;;5161:40:::1;5229:1;5212:19:::0;;-1:-1:-1;;;;;;5212:19:0::1;::::0;;5091:148::o;12994:158::-;5004:6;;-1:-1:-1;;;;;5004:6:0;2540:10;5004:22;4996:67;;;;-1:-1:-1;;;4996:67:0;;;;;;;:::i;:::-;6893:13:::1;6839:1;6893:2;:13;:::i;:::-;6882:24;::::0;:8:::1;:24;:::i;:::-;13047:15;:25:::0;6893:13:::1;6839:1;6893:2;:13;:::i;:::-;6882:24;::::0;:8:::1;:24;:::i;:::-;13083:10;:18:::0;13117:27:::1;6893:13;6839:1;6893:2;:13;:::i;:::-;6882:24;::::0;:8:::1;:24;:::i;:::-;13117:27;::::0;1361:25:1;;;1349:2;1334:18;13117:27:0::1;;;;;;;12994:158::o:0;8501:165::-;8578:4;8595:41;2540:10;8619:9;8630:5;8595:9;:41::i;13194:731::-;5004:6;;-1:-1:-1;;;;;5004:6:0;2540:10;5004:22;4996:67;;;;-1:-1:-1;;;4996:67:0;;;;;;;:::i;:::-;13258:11:::1;::::0;-1:-1:-1;;;13258:11:0;::::1;;;13257:12;13249:71;;;::::0;-1:-1:-1;;;13249:71:0;;5495:2:1;13249:71:0::1;::::0;::::1;5477:21:1::0;5534:2;5514:18;;;5507:30;5573:34;5553:18;;;5546:62;-1:-1:-1;;;5624:18:1;;;5617:44;5678:19;;13249:71:0::1;5293:410:1::0;13249:71:0::1;13331:15;:80:::0;;-1:-1:-1;;;;;;13331:80:0::1;13368:42;13331:80:::0;;::::1;::::0;;;13422:58:::1;::::0;13439:4:::1;::::0;6893:13:::1;6839:1;6893:2;:13;:::i;:::-;6882:24;::::0;:8:::1;:24;:::i;13422:58::-;13525:15;;;;;;;;;-1:-1:-1::0;;;;;13525:15:0::1;-1:-1:-1::0;;;;;13525:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13507:55:0::1;;13571:4;13578:15;;;;;;;;;-1:-1:-1::0;;;;;13578:15:0::1;-1:-1:-1::0;;;;;13578:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13507:94;::::0;-1:-1:-1;;;;;;13507:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6194:15:1;;;13507:94:0::1;::::0;::::1;6176:34:1::0;6246:15;;6226:18;;;6219:43;6111:18;;13507:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13491:13;:110:::0;;-1:-1:-1;;;;;13491:110:0;;::::1;-1:-1:-1::0;;;;;;13491:110:0;;::::1;;::::0;;13612:15:::1;::::0;::::1;:31;13651:21;13682:4;13688:24;13682:4:::0;-1:-1:-1;;;;;8440:18:0;8413:7;8440:18;;;:9;:18;;;;;;;8347:119;13688:24:::1;13713:1;13715::::0;13717:7:::1;4915::::0;4942:6;-1:-1:-1;;;;;4942:6:0;;4877:79;13717:7:::1;13612:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13612:129:0;;;-1:-1:-1;;;;;6632:15:1;;;13612:129:0::1;::::0;::::1;6614:34:1::0;6664:18;;;6657:34;;;;6707:18;;;6700:34;;;;6750:18;;;6743:34;6814:15;;;6793:19;;;6786:44;13725:15:0::1;6846:19:1::0;;;6839:35;6548:19;;13612:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13759:13:0::1;::::0;13790:15:::1;::::0;13752:71:::1;::::0;-1:-1:-1;;;13752:71:0;;-1:-1:-1;;;;;13790:15:0;;::::1;13752:71;::::0;::::1;7370:51:1::0;-1:-1:-1;;7437:18:1;;;7430:34;13759:13:0;::::1;::::0;-1:-1:-1;13752:29:0::1;::::0;7343:18:1;;13752:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13834:11:0::1;:18:::0;;-1:-1:-1;;;;13863:18:0;-1:-1:-1;;;13863:18:0;;;13905:12:::1;13892:10;:25:::0;13194:731::o;9357:332::-;-1:-1:-1;;;;;9449:19:0;;9441:68;;;;-1:-1:-1;;;9441:68:0;;7959:2:1;9441:68:0;;;7941:21:1;7998:2;7978:18;;;7971:30;8037:34;8017:18;;;8010:62;-1:-1:-1;;;8088:18:1;;;8081:34;8132:19;;9441:68:0;7757:400:1;9441:68:0;-1:-1:-1;;;;;9528:21:0;;9520:68;;;;-1:-1:-1;;;9520:68:0;;8364:2:1;9520:68:0;;;8346:21:1;8403:2;8383:18;;;8376:30;8442:34;8422:18;;;8415:62;-1:-1:-1;;;8493:18:1;;;8486:32;8535:19;;9520:68:0;8162:398:1;9520:68:0;-1:-1:-1;;;;;9599:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;9650:31;;1361:25:1;;;9650:31:0;;1334:18:1;9650:31:0;;;;;;;9357:332;;;:::o;9745:2209::-;-1:-1:-1;;;;;9832:18:0;;9824:68;;;;-1:-1:-1;;;9824:68:0;;8767:2:1;9824:68:0;;;8749:21:1;8806:2;8786:18;;;8779:30;8845:34;8825:18;;;8818:62;-1:-1:-1;;;8896:18:1;;;8889:35;8941:19;;9824:68:0;8565:401:1;9824:68:0;-1:-1:-1;;;;;9911:16:0;;9903:64;;;;-1:-1:-1;;;9903:64:0;;9173:2:1;9903:64:0;;;9155:21:1;9212:2;9192:18;;;9185:30;9251:34;9231:18;;;9224:62;-1:-1:-1;;;9302:18:1;;;9295:33;9345:19;;9903:64:0;8971:399:1;9903:64:0;9994:1;9986:5;:9;9978:62;;;;-1:-1:-1;;;9978:62:0;;9577:2:1;9978:62:0;;;9559:21:1;9616:2;9596:18;;;9589:30;9655:34;9635:18;;;9628:62;-1:-1:-1;;;9706:18:1;;;9699:38;9754:19;;9978:62:0;9375:404:1;9978:62:0;10051:17;4942:6;;-1:-1:-1;;;;;10085:15:0;;;4942:6;;10085:15;;;;:32;;-1:-1:-1;4915:7:0;4942:6;-1:-1:-1;;;;;10104:13:0;;;4942:6;;10104:13;;10085:32;10081:1520;;;-1:-1:-1;;;;;10143:10:0;;;;;;:4;:10;;;;;;;;10142:11;:24;;;;-1:-1:-1;;;;;;10158:8:0;;;;;;:4;:8;;;;;;;;10157:9;10142:24;10134:33;;;;;;10194:74;10264:3;10194:65;10215:14;;10205:9;;:24;10204:54;;10244:14;;10204:54;;;10231:12;;10204:54;10194:5;;:9;:65::i;:::-;:69;;:74::i;:::-;10297:13;;10182:86;;-1:-1:-1;;;;;;10289:21:0;;;10297:13;;10289:21;:55;;;;-1:-1:-1;10328:15:0;;-1:-1:-1;;;;;10314:30:0;;;10328:15;;10314:30;;10289:55;:83;;;;-1:-1:-1;;;;;;10350:22:0;;;;;;:18;:22;;;;;;;;10348:24;10289:83;10285:436;;;10411:15;;10402:5;:24;;10394:65;;;;-1:-1:-1;;;10394:65:0;;9986:2:1;10394:65:0;;;9968:21:1;10025:2;10005:18;;;9998:30;10064;10044:18;;;10037:58;10112:18;;10394:65:0;9784:352:1;10394:65:0;10511:10;;10502:5;10486:13;10496:2;-1:-1:-1;;;;;8440:18:0;8413:7;8440:18;;;:9;:18;;;;;;;8347:119;10486:13;:21;;;;:::i;:::-;:35;;10478:74;;;;-1:-1:-1;;;10478:74:0;;10473:2:1;10478:74:0;;;10455:21:1;10512:2;10492:18;;;10485:30;10551:28;10531:18;;;10524:56;10597:18;;10478:74:0;10271:350:1;10478:74:0;10595:12;10577:10;;10590:1;10577:14;;;;:::i;:::-;:30;10573:103;;;-1:-1:-1;;;;;12253:19:0;;;:23;10632:24;;;;;;10694:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10285:436;10747:13;;-1:-1:-1;;;;;10741:19:0;;;10747:13;;10741:19;;;;:47;;-1:-1:-1;;;;;;10766:22:0;;;;;;:18;:22;;;;;;;;10764:24;10741:47;10737:162;;;10842:10;;10833:5;10817:13;10827:2;-1:-1:-1;;;;;8440:18:0;8413:7;8440:18;;;:9;:18;;;;;;;8347:119;10817:13;:21;;;;:::i;:::-;:35;;10809:74;;;;-1:-1:-1;;;10809:74:0;;10473:2:1;10809:74:0;;;10455:21:1;10512:2;10492:18;;;10485:30;10551:28;10531:18;;;10524:56;10597:18;;10809:74:0;10271:350:1;10809:74:0;10924:13;;-1:-1:-1;;;;;10918:19:0;;;10924:13;;10918:19;:43;;;;-1:-1:-1;;;;;;10941:20:0;;10956:4;10941:20;;10918:43;10915:172;;;10994:77;11067:3;10994:68;11015:15;;11005:9;;:25;11004:57;;11046:15;;11004:57;;;11032:13;;10994:5;;:9;:68::i;:77::-;10982:89;;10915:172;11152:4;11103:28;8440:18;;;:9;:18;;;;;;11178:6;;-1:-1:-1;;;11178:6:0;;;;11177:7;:32;;;;-1:-1:-1;11196:13:0;;-1:-1:-1;;;;;11188:21:0;;;11196:13;;11188:21;11177:32;:47;;;;-1:-1:-1;11213:11:0;;-1:-1:-1;;;11213:11:0;;;;11177:47;:89;;;;;11249:17;;11228:20;:38;11177:89;:118;;;;;11280:15;;11270:9;;:25;11177:118;11173:417;;;11316:66;11333:48;11337:5;11343:37;11347:20;11368:11;;11343:3;:37::i;:::-;11333:3;:48::i;:::-;11316:16;:66::i;:::-;11430:21;11473:22;;11470:105;;11520:35;11533:21;11520:12;:35::i;:::-;11297:293;11173:417;10119:1482;10081:1520;11616:11;;11613:161;;11684:4;11666:24;;;;:9;:24;;;;;;:39;;11695:9;11666:28;:39::i;:::-;11659:4;11641:24;;;;:9;:24;;;;;;;:64;;;;11723:39;;-1:-1:-1;;;;;11723:39:0;;;;;;;11752:9;1361:25:1;;1349:2;1334:18;;1215:177;11723:39:0;;;;;;;;11613:161;-1:-1:-1;;;;;11800:15:0;;;;;;:9;:15;;;;;;:26;;11820:5;11800:19;:26::i;:::-;-1:-1:-1;;;;;11784:15:0;;;;;;:9;:15;;;;;:42;11851:39;11869:20;:5;11879:9;11869;:20::i;:::-;-1:-1:-1;;;;;11851:13:0;;;;;;:9;:13;;;;;;;:17;:39::i;:::-;-1:-1:-1;;;;;11837:13:0;;;;;;;:9;:13;;;;;:53;;;;11906:40;;;11925:20;:5;11935:9;11925;:20::i;:::-;11906:40;;1361:25:1;;;1349:2;1334:18;11906:40:0;;;;;;;9813:2141;9745:2209;;;:::o;3702:190::-;3788:7;3824:12;3816:6;;;;3808:29;;;;-1:-1:-1;;;3808:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3848:9:0;3860:5;3864:1;3860;:5;:::i;:::-;3848:17;3702:190;-1:-1:-1;;;;;3702:190:0:o;12320:483::-;7546:6;:13;;-1:-1:-1;;;;7546:13:0;-1:-1:-1;;;7546:13:0;;;12422:16:::1;::::0;;12436:1:::1;12422:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12422:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12422:16:0::1;12398:40;;12467:4;12449;12454:1;12449:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12449:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12493:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12493:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12449:7;;12493:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12483:4;12488:1;12483:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12483:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12558:15:::1;::::0;12526:62:::1;::::0;12543:4:::1;::::0;12558:15:::1;12576:11:::0;12526:8:::1;:62::i;:::-;12599:15;::::0;:196:::1;::::0;-1:-1:-1;;;12599:196:0;;-1:-1:-1;;;;;12599:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12680:11;;12599:15:::1;::::0;12722:4;;12749::::1;::::0;12769:15:::1;::::0;12599:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;7582:6:0;:14;;-1:-1:-1;;;;7582:14:0;;;-1:-1:-1;;;;12320:483:0:o;12860:92::-;12917:10;;:27;;-1:-1:-1;;;;;12917:10:0;;;;:27;;;;;12937:6;;12917:10;:27;:10;:27;12937:6;12917:10;:27;;;;;;;;;;;;;;;;;;;3900:255;3958:7;3982:1;3987;3982:6;3978:47;;-1:-1:-1;4012:1:0;4005:8;;3978:47;4035:9;4047:5;4051:1;4047;:5;:::i;:::-;4035:17;-1:-1:-1;4080:1:0;4071:5;4075:1;4035:17;4071:5;:::i;:::-;:10;4063:65;;;;-1:-1:-1;;;4063:65:0;;12572:2:1;4063:65:0;;;12554:21:1;12611:2;12591:18;;;12584:30;12650:34;12630:18;;;12623:62;-1:-1:-1;;;12701:18:1;;;12694:40;12751:19;;4063:65:0;12370:406:1;4063:65:0;4146:1;3900:255;-1:-1:-1;;;3900:255:0:o;4163:141::-;4221:7;4248:48;4252:1;4255;4248:48;;;;;;;;;;;;;;;;;:3;:48::i;12015:98::-;12072:7;12099:1;12097;:3;12096:9;;12104:1;12096:9;;;-1:-1:-1;12102:1:0;12015:98;-1:-1:-1;12015:98:0:o;3353:188::-;3411:7;;3443:5;3447:1;3443;:5;:::i;:::-;3431:17;;3472:1;3467;:6;;3459:55;;;;-1:-1:-1;;;3459:55:0;;12983:2:1;3459:55:0;;;12965:21:1;13022:2;13002:18;;;12995:30;13061:34;13041:18;;;13034:62;-1:-1:-1;;;13112:18:1;;;13105:34;13156:19;;3459:55:0;12781:400:1;3549:145:0;3607:7;3634:52;3638:1;3641;3634:52;;;;;;;;;;;;;;;;;:3;:52::i;4312:189::-;4398:7;4433:12;4426:5;4418:28;;;;-1:-1:-1;;;4418:28:0;;;;;;;;:::i;:::-;-1:-1:-1;4457:9:0;4469:5;4473:1;4469;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4932:356::-;5134:2;5116:21;;;5153:18;;;5146:30;5212:34;5207:2;5192:18;;5185:62;5279:2;5264:18;;4932:356::o;5708:251::-;5778:6;5831:2;5819:9;5810:7;5806:23;5802:32;5799:52;;;5847:1;5844;5837:12;5799:52;5879:9;5873:16;5898:31;5923:5;5898:31;:::i;6885:306::-;6973:6;6981;6989;7042:2;7030:9;7021:7;7017:23;7013:32;7010:52;;;7058:1;7055;7048:12;7010:52;7087:9;7081:16;7071:26;;7137:2;7126:9;7122:18;7116:25;7106:35;;7181:2;7170:9;7166:18;7160:25;7150:35;;6885:306;;;;;:::o;7475:277::-;7542:6;7595:2;7583:9;7574:7;7570:23;7566:32;7563:52;;;7611:1;7608;7601:12;7563:52;7643:9;7637:16;7696:5;7689:13;7682:21;7675:5;7672:32;7662:60;;7718:1;7715;7708:12;10141:125;10206:9;;;10227:10;;;10224:36;;;10240:18;;:::i;10626:135::-;10665:3;10686:17;;;10683:43;;10706:18;;:::i;:::-;-1:-1:-1;10753:1:1;10742:13;;10626:135::o;10766:128::-;10833:9;;;10854:11;;;10851:37;;;10868:18;;:::i;11031:127::-;11092:10;11087:3;11083:20;11080:1;11073:31;11123:4;11120:1;11113:15;11147:4;11144:1;11137:15;11163:980;11425:4;11473:3;11462:9;11458:19;11504:6;11493:9;11486:25;11530:2;11568:6;11563:2;11552:9;11548:18;11541:34;11611:3;11606:2;11595:9;11591:18;11584:31;11635:6;11670;11664:13;11701:6;11693;11686:22;11739:3;11728:9;11724:19;11717:26;;11778:2;11770:6;11766:15;11752:29;;11799:1;11809:195;11823:6;11820:1;11817:13;11809:195;;;11888:13;;-1:-1:-1;;;;;11884:39:1;11872:52;;11979:15;;;;11944:12;;;;11920:1;11838:9;11809:195;;;-1:-1:-1;;;;;;;12060:32:1;;;;12055:2;12040:18;;12033:60;-1:-1:-1;;;12124:3:1;12109:19;12102:35;12021:3;11163:980;-1:-1:-1;;;11163:980:1:o;12148:217::-;12188:1;12214;12204:132;;12258:10;12253:3;12249:20;12246:1;12239:31;12293:4;12290:1;12283:15;12321:4;12318:1;12311:15;12204:132;-1:-1:-1;12350:9:1;;12148:217::o

ipfs://eaee87483765e2a14bfa8d0113ac989d451e4baaeecce462b3e4829b497a0040