Token

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 LabAI is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function isContract(address account)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function withdrawETH(uint256 amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-06
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.19;

// Web: https://www.labai.vip
// TG: https://t.me/labaitoken
// X/Twitter: https://twitter.com/labai_eth

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 LabAI 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;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=34;
    uint256 private _finalBuyTax=4;
    uint256 private _finalSellTax=4;
    uint256 private _reduceBuyTaxAt=15;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=15;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 10;
    uint256 private constant _tTotal = 10_000_000 * 10**_decimals;
    string private constant _name = unicode"Lab AI";
    string private constant _symbol = unicode"LABAI";
    uint256 public _maxTxAmount =   100000 * 10**_decimals;
    uint256 public _maxWalletSize = 200000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 0 * 10**_decimals;
    uint256 public _maxTaxSwap= 100000 * 10**_decimals;

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

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

   constructor () {
    _taxWallet = payable(_msgSender()); 
    uint256 devWalletAmount = _tTotal.mul(5).div(100); 
    uint256 marketingWalletAmount = _tTotal.mul(5).div(100); 
    uint256 ownerAmount = _tTotal.sub(devWalletAmount).sub(marketingWalletAmount); 

    address payable devWallet = payable(0x90726016e60A34f595564eB151067dCB0a5d7DB3);
    address payable marketingWallet = payable(0x9057b42d6a89ad37541f1D50036F45b79c563a3C); 

    _balances[devWallet] = devWalletAmount;
    _balances[marketingWallet] = marketingWalletAmount;
    _balances[_msgSender()] = ownerAmount;

    _isExcludedFromFee[owner()] = true;
    _isExcludedFromFee[address(this)] = true;
    _isExcludedFromFee[devWallet] = true;
    _isExcludedFromFee[marketingWallet] = true;

    emit Transfer(address(0), devWallet, devWalletAmount);
    emit Transfer(address(0), marketingWallet, marketingWalletAmount);
    emit Transfer(address(0), _msgSender(), ownerAmount);
}

    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()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

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

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

            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 isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

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

    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;
        firstBlock = block.number;
    }

    function withdrawETH(uint256 amount) external onlyOwner {
        require(amount <= address(this).balance, "Insufficient balance");
        (bool success, ) = owner().call{value: amount}("");
        require(success, "Transfer failed");
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"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"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdrawETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526014600655602260075560046008556004600955600f600a55600f600b55600f600c556000600d55600a806200003b9190620005e1565b6200004a90620186a0620005f2565b600e556200005a600a80620005e1565b620000699062030d40620005f2565b600f5562000079600a80620005e1565b62000086906000620005f2565b60105562000096600a80620005e1565b620000a590620186a0620005f2565b6011556013805462ffffff60a01b19169055348015620000c457600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191633179055600062000150606462000149600562000133600a80620005e1565b620001429062989680620005f2565b9062000331565b90620003c8565b905060006200016d606462000149600562000133600a80620005e1565b905060006200019e82620001978562000188600a80620005e1565b620001979062989680620005f2565b9062000412565b600160208181527f03d55a5df870d780cecd644378f8752cf6d0ff0e33a5e5100dd80a6677dba0f48690557f43d2ac4e20843f5f4b11da1fe945dd566fb5a6b5e5c625737ee72943073aa61e859055336000908152604080822085905581546001600160a01b0316825260038352808220805460ff19908116861790915530835281832080548216861790557f54fdb6f4a0b7883905da1c881d1c305cad8fca4b5f9b181209631d21c063fdd18054821686179055739057b42d6a89ad37541f1d50036f45b79c563a3c8084527f5af31238d02a4ea77382af4a3d88c49a56032cbc6ff73d08fa41a718894fd73980549092169095179055518781529394507390726016e60a34f595564eb151067dcb0a5d7db393849260008051602062001faf833981519152910160405180910390a36040518481526001600160a01b0382169060009060008051602062001faf8339815191529060200160405180910390a3604051838152339060009060008051602062001faf8339815191529060200160405180910390a3505050505062000695565b6000826000036200034557506000620003c2565b6000620003538385620005f2565b9050826200036285836200060c565b14620003bf5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b6000620003bf83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506200045c60201b60201c565b6000620003bf83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506200049860201b60201c565b60008183620004805760405162461bcd60e51b8152600401620003b691906200062f565b5060006200048f84866200060c565b95945050505050565b60008184841115620004bf5760405162461bcd60e51b8152600401620003b691906200062f565b5060006200048f84866200067f565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000525578160001904821115620005095762000509620004ce565b808516156200051757918102915b93841c9390800290620004e9565b509250929050565b6000826200053e57506001620003c2565b816200054d57506000620003c2565b8160018114620005665760028114620005715762000591565b6001915050620003c2565b60ff841115620005855762000585620004ce565b50506001821b620003c2565b5060208310610133831016604e8410600b8410161715620005b6575081810a620003c2565b620005c28383620004e4565b8060001904821115620005d957620005d9620004ce565b029392505050565b6000620003bf60ff8416836200052d565b8082028115828204841417620003c257620003c2620004ce565b6000826200062a57634e487b7160e01b600052601260045260246000fd5b500490565b600060208083528351808285015260005b818110156200065e5785810183015185820160400152820162000640565b506000604082860101526040601f19601f8301168501019250505092915050565b81810381811115620003c257620003c2620004ce565b61190a80620006a56000396000f3fe60806040526004361061010d5760003560e01c80637d1db4a511610095578063a9059cbb11610064578063a9059cbb146102e3578063bf474bed14610303578063c9567bf914610319578063dd62ed3e1461032e578063f14210a61461037457600080fd5b80637d1db4a5146102615780638da5cb5b146102775780638f9a55c01461029f57806395d89b41146102b557600080fd5b806323b872dd116100dc57806323b872dd146101c3578063313ce567146101e357806370a08231146101ff578063715018a614610235578063751039fc1461024c57600080fd5b806306fdde0314610119578063095ea7b31461015a5780630faee56f1461018a57806318160ddd146101ae57600080fd5b3661011457005b600080fd5b34801561012557600080fd5b506040805180820190915260068152654c616220414960d01b60208201525b60405161015191906114c0565b60405180910390f35b34801561016657600080fd5b5061017a610175366004611526565b610394565b6040519015158152602001610151565b34801561019657600080fd5b506101a060115481565b604051908152602001610151565b3480156101ba57600080fd5b506101a06103ab565b3480156101cf57600080fd5b5061017a6101de366004611552565b6103ca565b3480156101ef57600080fd5b50604051600a8152602001610151565b34801561020b57600080fd5b506101a061021a366004611593565b6001600160a01b031660009081526001602052604090205490565b34801561024157600080fd5b5061024a610433565b005b34801561025857600080fd5b5061024a6104b0565b34801561026d57600080fd5b506101a0600e5481565b34801561028357600080fd5b506000546040516001600160a01b039091168152602001610151565b3480156102ab57600080fd5b506101a0600f5481565b3480156102c157600080fd5b506040805180820190915260058152644c4142414960d81b6020820152610144565b3480156102ef57600080fd5b5061017a6102fe366004611526565b61055c565b34801561030f57600080fd5b506101a060105481565b34801561032557600080fd5b5061024a610569565b34801561033a57600080fd5b506101a06103493660046115b0565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561038057600080fd5b5061024a61038f3660046115e9565b610927565b60006103a1338484610a31565b5060015b92915050565b60006103b8600a806116fc565b6103c5906298968061170b565b905090565b60006103d7848484610b55565b6104298433610424856040518060600160405280602881526020016118ad602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611123565b610a31565b5060019392505050565b6000546001600160a01b031633146104665760405162461bcd60e51b815260040161045d90611722565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104da5760405162461bcd60e51b815260040161045d90611722565b6104e5600a806116fc565b6104f2906298968061170b565b600e55610500600a806116fc565b61050d906298968061170b565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61053c600a806116fc565b610549906298968061170b565b60405190815260200160405180910390a1565b60006103a1338484610b55565b6000546001600160a01b031633146105935760405162461bcd60e51b815260040161045d90611722565b601354600160a01b900460ff16156105ed5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045d565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610634903090610627600a806116fc565b610424906298968061170b565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610687573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ab9190611757565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561070d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107319190611757565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561077e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107a29190611757565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d71947306107ea816001600160a01b031660009081526001602052604090205490565b6000806107ff6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610867573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061088c9190611774565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156108e5573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061090991906117a2565b506013805462ff00ff60a01b19166201000160a01b17905543600555565b6000546001600160a01b031633146109515760405162461bcd60e51b815260040161045d90611722565b478111156109985760405162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742062616c616e636560601b604482015260640161045d565b600080546040516001600160a01b039091169083908381818185875af1925050503d80600081146109e5576040519150601f19603f3d011682016040523d82523d6000602084013e6109ea565b606091505b5050905080610a2d5760405162461bcd60e51b815260206004820152600f60248201526e151c985b9cd9995c8819985a5b1959608a1b604482015260640161045d565b5050565b6001600160a01b038316610a935760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045d565b6001600160a01b038216610af45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045d565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045d565b6001600160a01b038216610c1b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045d565b60008111610c7d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045d565b600080546001600160a01b03858116911614801590610caa57506000546001600160a01b03848116911614155b15610fe057610cdb6064610cd5600a54600d5411610cca57600654610cce565b6008545b859061115d565b906111e6565b6013549091506001600160a01b038581169116148015610d0957506012546001600160a01b03848116911614155b8015610d2e57506001600160a01b03831660009081526003602052604090205460ff16155b15610e3857600e54821115610d855760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161045d565b600f5482610da8856001600160a01b031660009081526001602052604090205490565b610db291906117c4565b1115610e005760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045d565b436005546003610e1091906117c4565b1115610e2257823b15610e2257600080fd5b600d8054906000610e32836117d7565b91905055505b6013546001600160a01b03848116911614801590610e6f57506001600160a01b03831660009081526003602052604090205460ff16155b15610eef57600f5482610e97856001600160a01b031660009081526001602052604090205490565b610ea191906117c4565b1115610eef5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045d565b6013546001600160a01b038481169116148015610f1557506001600160a01b0384163014155b15610f4257610f3f6064610cd5600b54600d5411610f3557600754610cce565b600954859061115d565b90505b30600090815260016020526040902054601354600160a81b900460ff16158015610f7957506013546001600160a01b038581169116145b8015610f8e5750601354600160b01b900460ff165b8015610f9b575060105481115b8015610faa5750600c54600d54115b15610fde57610fcc610fc784610fc284601154611228565b611228565b61123d565b478015610fdc57610fdc476113b7565b505b505b801561105a573060009081526001602052604090205461100090826113f1565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110519085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461107d9083611450565b6001600160a01b0385166000908152600160205260409020556110c26110a38383611450565b6001600160a01b038516600090815260016020526040902054906113f1565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61110c8585611450565b60405190815260200160405180910390a350505050565b600081848411156111475760405162461bcd60e51b815260040161045d91906114c0565b50600061115484866117f0565b95945050505050565b60008260000361116f575060006103a5565b600061117b838561170b565b9050826111888583611803565b146111df5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045d565b9392505050565b60006111df83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611492565b600081831161123757826111df565b50919050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061128557611285611825565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112de573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113029190611757565b8160018151811061131557611315611825565b6001600160a01b03928316602091820292909201015260125461133b9130911684610a31565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061137490859060009086903090429060040161183b565b600060405180830381600087803b15801561138e57600080fd5b505af11580156113a2573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610a2d573d6000803e3d6000fd5b6000806113fe83856117c4565b9050838110156111df5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045d565b60006111df83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611123565b600081836114b35760405162461bcd60e51b815260040161045d91906114c0565b5060006111548486611803565b600060208083528351808285015260005b818110156114ed578581018301518582016040015282016114d1565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461152357600080fd5b50565b6000806040838503121561153957600080fd5b82356115448161150e565b946020939093013593505050565b60008060006060848603121561156757600080fd5b83356115728161150e565b925060208401356115828161150e565b929592945050506040919091013590565b6000602082840312156115a557600080fd5b81356111df8161150e565b600080604083850312156115c357600080fd5b82356115ce8161150e565b915060208301356115de8161150e565b809150509250929050565b6000602082840312156115fb57600080fd5b5035919050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561165357816000190482111561163957611639611602565b8085161561164657918102915b93841c939080029061161d565b509250929050565b60008261166a575060016103a5565b81611677575060006103a5565b816001811461168d5760028114611697576116b3565b60019150506103a5565b60ff8411156116a8576116a8611602565b50506001821b6103a5565b5060208310610133831016604e8410600b84101617156116d6575081810a6103a5565b6116e08383611618565b80600019048211156116f4576116f4611602565b029392505050565b60006111df60ff84168361165b565b80820281158282048414176103a5576103a5611602565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561176957600080fd5b81516111df8161150e565b60008060006060848603121561178957600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156117b457600080fd5b815180151581146111df57600080fd5b808201808211156103a5576103a5611602565b6000600182016117e9576117e9611602565b5060010190565b818103818111156103a5576103a5611602565b60008261182057634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561188b5784516001600160a01b031683529383019391830191600101611866565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208a81fa6b17c5b614aa9012f52dbb581d720f7c926f51483847c5cdaa970336f964736f6c63430008130033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x60806040526004361061010d5760003560e01c80637d1db4a511610095578063a9059cbb11610064578063a9059cbb146102e3578063bf474bed14610303578063c9567bf914610319578063dd62ed3e1461032e578063f14210a61461037457600080fd5b80637d1db4a5146102615780638da5cb5b146102775780638f9a55c01461029f57806395d89b41146102b557600080fd5b806323b872dd116100dc57806323b872dd146101c3578063313ce567146101e357806370a08231146101ff578063715018a614610235578063751039fc1461024c57600080fd5b806306fdde0314610119578063095ea7b31461015a5780630faee56f1461018a57806318160ddd146101ae57600080fd5b3661011457005b600080fd5b34801561012557600080fd5b506040805180820190915260068152654c616220414960d01b60208201525b60405161015191906114c0565b60405180910390f35b34801561016657600080fd5b5061017a610175366004611526565b610394565b6040519015158152602001610151565b34801561019657600080fd5b506101a060115481565b604051908152602001610151565b3480156101ba57600080fd5b506101a06103ab565b3480156101cf57600080fd5b5061017a6101de366004611552565b6103ca565b3480156101ef57600080fd5b50604051600a8152602001610151565b34801561020b57600080fd5b506101a061021a366004611593565b6001600160a01b031660009081526001602052604090205490565b34801561024157600080fd5b5061024a610433565b005b34801561025857600080fd5b5061024a6104b0565b34801561026d57600080fd5b506101a0600e5481565b34801561028357600080fd5b506000546040516001600160a01b039091168152602001610151565b3480156102ab57600080fd5b506101a0600f5481565b3480156102c157600080fd5b506040805180820190915260058152644c4142414960d81b6020820152610144565b3480156102ef57600080fd5b5061017a6102fe366004611526565b61055c565b34801561030f57600080fd5b506101a060105481565b34801561032557600080fd5b5061024a610569565b34801561033a57600080fd5b506101a06103493660046115b0565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561038057600080fd5b5061024a61038f3660046115e9565b610927565b60006103a1338484610a31565b5060015b92915050565b60006103b8600a806116fc565b6103c5906298968061170b565b905090565b60006103d7848484610b55565b6104298433610424856040518060600160405280602881526020016118ad602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611123565b610a31565b5060019392505050565b6000546001600160a01b031633146104665760405162461bcd60e51b815260040161045d90611722565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104da5760405162461bcd60e51b815260040161045d90611722565b6104e5600a806116fc565b6104f2906298968061170b565b600e55610500600a806116fc565b61050d906298968061170b565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61053c600a806116fc565b610549906298968061170b565b60405190815260200160405180910390a1565b60006103a1338484610b55565b6000546001600160a01b031633146105935760405162461bcd60e51b815260040161045d90611722565b601354600160a01b900460ff16156105ed5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045d565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610634903090610627600a806116fc565b610424906298968061170b565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610687573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ab9190611757565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561070d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107319190611757565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561077e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107a29190611757565b601380546001600160a01b039283166001600160a01b03199091161790556012541663f305d71947306107ea816001600160a01b031660009081526001602052604090205490565b6000806107ff6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610867573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061088c9190611774565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156108e5573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061090991906117a2565b506013805462ff00ff60a01b19166201000160a01b17905543600555565b6000546001600160a01b031633146109515760405162461bcd60e51b815260040161045d90611722565b478111156109985760405162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742062616c616e636560601b604482015260640161045d565b600080546040516001600160a01b039091169083908381818185875af1925050503d80600081146109e5576040519150601f19603f3d011682016040523d82523d6000602084013e6109ea565b606091505b5050905080610a2d5760405162461bcd60e51b815260206004820152600f60248201526e151c985b9cd9995c8819985a5b1959608a1b604482015260640161045d565b5050565b6001600160a01b038316610a935760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045d565b6001600160a01b038216610af45760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045d565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610bb95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045d565b6001600160a01b038216610c1b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045d565b60008111610c7d5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045d565b600080546001600160a01b03858116911614801590610caa57506000546001600160a01b03848116911614155b15610fe057610cdb6064610cd5600a54600d5411610cca57600654610cce565b6008545b859061115d565b906111e6565b6013549091506001600160a01b038581169116148015610d0957506012546001600160a01b03848116911614155b8015610d2e57506001600160a01b03831660009081526003602052604090205460ff16155b15610e3857600e54821115610d855760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161045d565b600f5482610da8856001600160a01b031660009081526001602052604090205490565b610db291906117c4565b1115610e005760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045d565b436005546003610e1091906117c4565b1115610e2257823b15610e2257600080fd5b600d8054906000610e32836117d7565b91905055505b6013546001600160a01b03848116911614801590610e6f57506001600160a01b03831660009081526003602052604090205460ff16155b15610eef57600f5482610e97856001600160a01b031660009081526001602052604090205490565b610ea191906117c4565b1115610eef5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045d565b6013546001600160a01b038481169116148015610f1557506001600160a01b0384163014155b15610f4257610f3f6064610cd5600b54600d5411610f3557600754610cce565b600954859061115d565b90505b30600090815260016020526040902054601354600160a81b900460ff16158015610f7957506013546001600160a01b038581169116145b8015610f8e5750601354600160b01b900460ff165b8015610f9b575060105481115b8015610faa5750600c54600d54115b15610fde57610fcc610fc784610fc284601154611228565b611228565b61123d565b478015610fdc57610fdc476113b7565b505b505b801561105a573060009081526001602052604090205461100090826113f1565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110519085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461107d9083611450565b6001600160a01b0385166000908152600160205260409020556110c26110a38383611450565b6001600160a01b038516600090815260016020526040902054906113f1565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61110c8585611450565b60405190815260200160405180910390a350505050565b600081848411156111475760405162461bcd60e51b815260040161045d91906114c0565b50600061115484866117f0565b95945050505050565b60008260000361116f575060006103a5565b600061117b838561170b565b9050826111888583611803565b146111df5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045d565b9392505050565b60006111df83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611492565b600081831161123757826111df565b50919050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061128557611285611825565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112de573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113029190611757565b8160018151811061131557611315611825565b6001600160a01b03928316602091820292909201015260125461133b9130911684610a31565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac9479061137490859060009086903090429060040161183b565b600060405180830381600087803b15801561138e57600080fd5b505af11580156113a2573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610a2d573d6000803e3d6000fd5b6000806113fe83856117c4565b9050838110156111df5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045d565b60006111df83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611123565b600081836114b35760405162461bcd60e51b815260040161045d91906114c0565b5060006111548486611803565b600060208083528351808285015260005b818110156114ed578581018301518582016040015282016114d1565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461152357600080fd5b50565b6000806040838503121561153957600080fd5b82356115448161150e565b946020939093013593505050565b60008060006060848603121561156757600080fd5b83356115728161150e565b925060208401356115828161150e565b929592945050506040919091013590565b6000602082840312156115a557600080fd5b81356111df8161150e565b600080604083850312156115c357600080fd5b82356115ce8161150e565b915060208301356115de8161150e565b809150509250929050565b6000602082840312156115fb57600080fd5b5035919050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561165357816000190482111561163957611639611602565b8085161561164657918102915b93841c939080029061161d565b509250929050565b60008261166a575060016103a5565b81611677575060006103a5565b816001811461168d5760028114611697576116b3565b60019150506103a5565b60ff8411156116a8576116a8611602565b50506001821b6103a5565b5060208310610133831016604e8410600b84101617156116d6575081810a6103a5565b6116e08383611618565b80600019048211156116f4576116f4611602565b029392505050565b60006111df60ff84168361165b565b80820281158282048414176103a5576103a5611602565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561176957600080fd5b81516111df8161150e565b60008060006060848603121561178957600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156117b457600080fd5b815180151581146111df57600080fd5b808201808211156103a5576103a5611602565b6000600182016117e9576117e9611602565b5060010190565b818103818111156103a5576103a5611602565b60008261182057634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561188b5784516001600160a01b031683529383019391830191600101611866565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208a81fa6b17c5b614aa9012f52dbb581d720f7c926f51483847c5cdaa970336f964736f6c63430008130033

3581:8366:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6023:83;;;;;;;;;;-1:-1:-1;6093:5:0;;;;;;;;;;;;-1:-1:-1;;;6093:5:0;;;;6023:83;;;;;;;:::i;:::-;;;;;;;;6856:161;;;;;;;;;;-1:-1:-1;6856:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6856:161:0;1023:187:1;4640:50:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4640:50:0;1215:177:1;6300:95:0;;;;;;;;;;;;;:::i;7025:313::-;;;;;;;;;;-1:-1:-1;7025:313:0;;;;;:::i;:::-;;:::i;6209:83::-;;;;;;;;;;-1:-1:-1;6209:83:0;;4274:2;2000:36:1;;1988:2;1973:18;6209:83:0;1858:184:1;6403:119:0;;;;;;;;;;-1:-1:-1;6403:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6496:18:0;6469:7;6496:18;;;:9;:18;;;;;;;6403:119;2662:148;;;;;;;;;;;;;:::i;:::-;;10679:159;;;;;;;;;;;;;:::i;4460:54::-;;;;;;;;;;;;;;;;2448:79;;;;;;;;;;-1:-1:-1;2486:7:0;2513:6;2448:79;;-1:-1:-1;;;;;2513:6:0;;;2445:51:1;;2433:2;2418:18;2448:79:0;2299:203:1;4521:54:0;;;;;;;;;;;;;;;;6114:87;;;;;;;;;;-1:-1:-1;6186:7:0;;;;;;;;;;;;-1:-1:-1;;;6186:7:0;;;;6114:87;;6530:167;;;;;;;;;;-1:-1:-1;6530:167:0;;;;;:::i;:::-;;:::i;4582:51::-;;;;;;;;;;;;;;;;10946:707;;;;;;;;;;;;;:::i;6705:143::-;;;;;;;;;;-1:-1:-1;6705:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6813:18:0;;;6786:7;6813:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6705:143;11661:246;;;;;;;;;;-1:-1:-1;11661:246:0;;;;;:::i;:::-;;:::i;6856:161::-;6931:4;6948:39;283:10;6971:7;6980:6;6948:8;:39::i;:::-;-1:-1:-1;7005:4:0;6856:161;;;;;:::o;6300:95::-;6353:7;4331:13;4274:2;;4331:13;:::i;:::-;4318:26;;:10;:26;:::i;:::-;6373:14;;6300:95;:::o;7025:313::-;7123:4;7140:36;7150:6;7158:9;7169:6;7140:9;:36::i;:::-;7187:121;7196:6;283:10;7218:89;7256:6;7218:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7218:19:0;;;;;;:11;:19;;;;;;;;283:10;7218:33;;;;;;;;;;:37;:89::i;:::-;7187:8;:121::i;:::-;-1:-1:-1;7326:4:0;7025:313;;;;;:::o;2662:148::-;2575:6;;-1:-1:-1;;;;;2575:6:0;283:10;2575:22;2567:67;;;;-1:-1:-1;;;2567:67:0;;;;;;;:::i;:::-;;;;;;;;;2769:1:::1;2753:6:::0;;2732:40:::1;::::0;-1:-1:-1;;;;;2753:6:0;;::::1;::::0;2732:40:::1;::::0;2769:1;;2732:40:::1;2800:1;2783:19:::0;;-1:-1:-1;;;;;;2783:19:0::1;::::0;;2662:148::o;10679:159::-;2575:6;;-1:-1:-1;;;;;2575:6:0;283:10;2575:22;2567:67;;;;-1:-1:-1;;;2567:67:0;;;;;;;:::i;:::-;4331:13:::1;4274:2;::::0;4331:13:::1;:::i;:::-;4318:26;::::0;:10:::1;:26;:::i;:::-;10732:12;:22:::0;4331:13:::1;4274:2;::::0;4331:13:::1;:::i;:::-;4318:26;::::0;:10:::1;:26;:::i;:::-;10765:14;:22:::0;10803:27:::1;4331:13;4274:2;::::0;4331:13:::1;:::i;:::-;4318:26;::::0;:10:::1;:26;:::i;:::-;10803:27;::::0;1361:25:1;;;1349:2;1334:18;10803:27:0::1;;;;;;;10679:159::o:0;6530:167::-;6608:4;6625:42;283:10;6649:9;6660:6;6625:9;:42::i;10946:707::-;2575:6;;-1:-1:-1;;;;;2575:6:0;283:10;2575:22;2567:67;;;;-1:-1:-1;;;2567:67:0;;;;;;;:::i;:::-;11010:11:::1;::::0;-1:-1:-1;;;11010:11:0;::::1;;;11009:12;11001:47;;;::::0;-1:-1:-1;;;11001:47:0;;5336:2:1;11001:47:0::1;::::0;::::1;5318:21:1::0;5375:2;5355:18;;;5348:30;5414:25;5394:18;;;5387:53;5457:18;;11001:47:0::1;5134:347:1::0;11001:47:0::1;11059:15;:80:::0;;-1:-1:-1;;;;;;11059:80:0::1;11096:42;11059:80:::0;;::::1;::::0;;;11150:58:::1;::::0;11167:4:::1;::::0;4331:13:::1;4274:2;::::0;4331:13:::1;:::i;:::-;4318:26;::::0;:10:::1;:26;:::i;11150:58::-;11253:15;;;;;;;;;-1:-1:-1::0;;;;;11253:15:0::1;-1:-1:-1::0;;;;;11253:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11235:55:0::1;;11299:4;11306:15;;;;;;;;;-1:-1:-1::0;;;;;11306:15:0::1;-1:-1:-1::0;;;;;11306:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11235:94;::::0;-1:-1:-1;;;;;;11235:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5972:15:1;;;11235:94:0::1;::::0;::::1;5954:34:1::0;6024:15;;6004:18;;;5997:43;5889:18;;11235:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11219:13;:110:::0;;-1:-1:-1;;;;;11219:110:0;;::::1;-1:-1:-1::0;;;;;;11219:110:0;;::::1;;::::0;;11340:15:::1;::::0;::::1;:31;11379:21;11410:4;11416:24;11410:4:::0;-1:-1:-1;;;;;6496:18:0;6469:7;6496:18;;;:9;:18;;;;;;;6403:119;11416:24:::1;11441:1;11443::::0;11445:7:::1;2486::::0;2513:6;-1:-1:-1;;;;;2513:6:0;;2448:79;11445:7:::1;11340:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11340:129:0;;;-1:-1:-1;;;;;6410:15:1;;;11340:129:0::1;::::0;::::1;6392:34:1::0;6442:18;;;6435:34;;;;6485:18;;;6478:34;;;;6528:18;;;6521:34;6592:15;;;6571:19;;;6564:44;11453:15:0::1;6624:19:1::0;;;6617:35;6326:19;;11340:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11487:13:0::1;::::0;11518:15:::1;::::0;11480:71:::1;::::0;-1:-1:-1;;;11480:71:0;;-1:-1:-1;;;;;11518:15:0;;::::1;11480:71;::::0;::::1;7148:51:1::0;-1:-1:-1;;7215:18:1;;;7208:34;11487:13:0;::::1;::::0;-1:-1:-1;11480:29:0::1;::::0;7121:18:1;;11480:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11562:11:0::1;:18:::0;;-1:-1:-1;;;;11591:18:0;-1:-1:-1;;;11591:18:0;;;11633:12:::1;11620:10;:25:::0;10946:707::o;11661:246::-;2575:6;;-1:-1:-1;;;;;2575:6:0;283:10;2575:22;2567:67;;;;-1:-1:-1;;;2567:67:0;;;;;;;:::i;:::-;11746:21:::1;11736:6;:31;;11728:64;;;::::0;-1:-1:-1;;;11728:64:0;;7737:2:1;11728:64:0::1;::::0;::::1;7719:21:1::0;7776:2;7756:18;;;7749:30;-1:-1:-1;;;7795:18:1;;;7788:50;7855:18;;11728:64:0::1;7535:344:1::0;11728:64:0::1;11804:12;2513:6:::0;;11822:31:::1;::::0;-1:-1:-1;;;;;2513:6:0;;;;11842;;11804:12;11822:31;11804:12;11822:31;11842:6;2513;11822:31:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11803:50;;;11872:7;11864:35;;;::::0;-1:-1:-1;;;11864:35:0;;8296:2:1;11864:35:0::1;::::0;::::1;8278:21:1::0;8335:2;8315:18;;;8308:30;-1:-1:-1;;;8354:18:1;;;8347:45;8409:18;;11864:35:0::1;8094:339:1::0;11864:35:0::1;11717:190;11661:246:::0;:::o;7346:335::-;-1:-1:-1;;;;;7439:19:0;;7431:68;;;;-1:-1:-1;;;7431:68:0;;8640:2:1;7431:68:0;;;8622:21:1;8679:2;8659:18;;;8652:30;8718:34;8698:18;;;8691:62;-1:-1:-1;;;8769:18:1;;;8762:34;8813:19;;7431:68:0;8438:400:1;7431:68:0;-1:-1:-1;;;;;7518:21:0;;7510:68;;;;-1:-1:-1;;;7510:68:0;;9045:2:1;7510:68:0;;;9027:21:1;9084:2;9064:18;;;9057:30;9123:34;9103:18;;;9096:62;-1:-1:-1;;;9174:18:1;;;9167:32;9216:19;;7510:68:0;8843:398:1;7510:68:0;-1:-1:-1;;;;;7589:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7641:32;;1361:25:1;;;7641:32:0;;1334:18:1;7641:32:0;;;;;;;7346:335;;;:::o;7689:2180::-;-1:-1:-1;;;;;7777:18:0;;7769:68;;;;-1:-1:-1;;;7769:68:0;;9448:2:1;7769:68:0;;;9430:21:1;9487:2;9467:18;;;9460:30;9526:34;9506:18;;;9499:62;-1:-1:-1;;;9577:18:1;;;9570:35;9622:19;;7769:68:0;9246:401:1;7769:68:0;-1:-1:-1;;;;;7856:16:0;;7848:64;;;;-1:-1:-1;;;7848:64:0;;9854:2:1;7848:64:0;;;9836:21:1;9893:2;9873:18;;;9866:30;9932:34;9912:18;;;9905:62;-1:-1:-1;;;9983:18:1;;;9976:33;10026:19;;7848:64:0;9652:399:1;7848:64:0;7940:1;7931:6;:10;7923:64;;;;-1:-1:-1;;;7923:64:0;;10258:2:1;7923:64:0;;;10240:21:1;10297:2;10277:18;;;10270:30;10336:34;10316:18;;;10309:62;-1:-1:-1;;;10387:18:1;;;10380:39;10436:19;;7923:64:0;10056:405:1;7923:64:0;7998:17;2513:6;;-1:-1:-1;;;;;8032:15:0;;;2513:6;;8032:15;;;;:32;;-1:-1:-1;2486:7:0;2513:6;-1:-1:-1;;;;;8051:13:0;;;2513:6;;8051:13;;8032:32;8028:1485;;;8093:76;8165:3;8093:67;8115:15;;8105:9;;:25;8104:55;;8145:14;;8104:55;;;8132:12;;8104:55;8093:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8198:13;;8081:88;;-1:-1:-1;;;;;;8190:21:0;;;8198:13;;8190:21;:55;;;;-1:-1:-1;8229:15:0;;-1:-1:-1;;;;;8215:30:0;;;8229:15;;8215:30;;8190:55;:83;;;;-1:-1:-1;;;;;;8251:22:0;;;;;;:18;:22;;;;;;;;8249:24;8190:83;8186:436;;;8313:12;;8303:6;:22;;8295:60;;;;-1:-1:-1;;;8295:60:0;;10668:2:1;8295:60:0;;;10650:21:1;10707:2;10687:18;;;10680:30;10746:27;10726:18;;;10719:55;10791:18;;8295:60:0;10466:349:1;8295:60:0;8408:14;;8398:6;8382:13;8392:2;-1:-1:-1;;;;;6496:18:0;6469:7;6496:18;;;:9;:18;;;;;;;6403:119;8382:13;:22;;;;:::i;:::-;:40;;8374:79;;;;-1:-1:-1;;;8374:79:0;;11152:2:1;8374:79:0;;;11134:21:1;11191:2;11171:18;;;11164:30;11230:28;11210:18;;;11203:56;11276:18;;8374:79:0;10950:350:1;8374:79:0;8496:12;8478:10;;8491:1;8478:14;;;;:::i;:::-;:30;8474:103;;;10116:20;;10164:8;8533:24;;;;;;8595:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8186:436;8648:13;;-1:-1:-1;;;;;8642:19:0;;;8648:13;;8642:19;;;;:47;;-1:-1:-1;;;;;;8667:22:0;;;;;;:18;:22;;;;;;;;8665:24;8642:47;8638:167;;;8744:14;;8734:6;8718:13;8728:2;-1:-1:-1;;;;;6496:18:0;6469:7;6496:18;;;:9;:18;;;;;;;6403:119;8718:13;:22;;;;:::i;:::-;:40;;8710:79;;;;-1:-1:-1;;;8710:79:0;;11152:2:1;8710:79:0;;;11134:21:1;11191:2;11171:18;;;11164:30;11230:28;11210:18;;;11203:56;11276:18;;8710:79:0;10950:350:1;8710:79:0;8830:13;;-1:-1:-1;;;;;8824:19:0;;;8830:13;;8824:19;:43;;;;-1:-1:-1;;;;;;8847:20:0;;8862:4;8847:20;;8824:43;8821:174;;;8900:79;8975:3;8900:70;8922:16;;8912:9;;:26;8911:58;;8954:15;;8911:58;;;8940:13;;8900:6;;:10;:70::i;:79::-;8888:91;;8821:174;9060:4;9011:28;6496:18;;;:9;:18;;;;;;9086:6;;-1:-1:-1;;;9086:6:0;;;;9085:7;:32;;;;-1:-1:-1;9104:13:0;;-1:-1:-1;;;;;9096:21:0;;;9104:13;;9096:21;9085:32;:47;;;;-1:-1:-1;9121:11:0;;-1:-1:-1;;;9121:11:0;;;;9085:47;:89;;;;;9157:17;;9136:20;:38;9085:89;:121;;;;;9188:18;;9178:9;;:28;9085:121;9081:421;;;9227:67;9244:49;9248:6;9255:37;9259:20;9280:11;;9255:3;:37::i;:::-;9244:3;:49::i;:::-;9227:16;:67::i;:::-;9342:21;9385:22;;9382:105;;9432:35;9445:21;9432:12;:35::i;:::-;9208:294;9081:421;8066:1447;8028:1485;9528:11;;9525:161;;9596:4;9578:24;;;;:9;:24;;;;;;:39;;9607:9;9578:28;:39::i;:::-;9571:4;9553:24;;;;:9;:24;;;;;;;:64;;;;9635:39;;-1:-1:-1;;;;;9635:39:0;;;;;;;9664:9;1361:25:1;;1349:2;1334:18;;1215:177;9635:39:0;;;;;;;;9525:161;-1:-1:-1;;;;;9712:15:0;;;;;;:9;:15;;;;;;:27;;9732:6;9712:19;:27::i;:::-;-1:-1:-1;;;;;9696:15:0;;;;;;:9;:15;;;;;:43;9764:40;9782:21;:6;9793:9;9782:10;:21::i;:::-;-1:-1:-1;;;;;9764:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9750:13:0;;;;;;;:9;:13;;;;;:54;;;;9820:41;;;9839:21;:6;9850:9;9839:10;:21::i;:::-;9820:41;;1361:25:1;;;1349:2;1334:18;9820:41:0;;;;;;;7758:2111;7689:2180;;;:::o;1340:190::-;1426:7;1462:12;1454:6;;;;1446:29;;;;-1:-1:-1;;;1446:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1486:9:0;1498:5;1502:1;1498;:5;:::i;:::-;1486:17;1340:190;-1:-1:-1;;;;;1340:190:0:o;1538:246::-;1596:7;1620:1;1625;1620:6;1616:47;;-1:-1:-1;1650:1:0;1643:8;;1616:47;1673:9;1685:5;1689:1;1685;:5;:::i;:::-;1673:17;-1:-1:-1;1718:1:0;1709:5;1713:1;1673:17;1709:5;:::i;:::-;:10;1701:56;;;;-1:-1:-1;;;1701:56:0;;12002:2:1;1701:56:0;;;11984:21:1;12041:2;12021:18;;;12014:30;12080:34;12060:18;;;12053:62;-1:-1:-1;;;12131:18:1;;;12124:31;12172:19;;1701:56:0;11800:397:1;1701:56:0;1775:1;1538:246;-1:-1:-1;;;1538:246:0:o;1792:132::-;1850:7;1877:39;1881:1;1884;1877:39;;;;;;;;;;;;;;;;;:3;:39::i;9879:98::-;9936:7;9963:1;9961;:3;9960:9;;9968:1;9960:9;;;-1:-1:-1;9966:1:0;9879:98;-1:-1:-1;9879:98:0:o;10188:483::-;4980:6;:13;;-1:-1:-1;;;;4980:13:0;-1:-1:-1;;;4980:13:0;;;10290:16:::1;::::0;;10304:1:::1;10290:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10290:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10290:16:0::1;10266:40;;10335:4;10317;10322:1;10317:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10317:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10361:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10361:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10317:7;;10361:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10351:4;10356:1;10351:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10351:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10426:15:::1;::::0;10394:62:::1;::::0;10411:4:::1;::::0;10426:15:::1;10444:11:::0;10394:8:::1;:62::i;:::-;10467:15;::::0;:196:::1;::::0;-1:-1:-1;;;10467:196:0;;-1:-1:-1;;;;;10467:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10548:11;;10467:15:::1;::::0;10590:4;;10617::::1;::::0;10637:15:::1;::::0;10467:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5016:6:0;:14;;-1:-1:-1;;;;5016:14:0;;;-1:-1:-1;;;;10188:483:0:o;10846:92::-;10903:10;;:27;;-1:-1:-1;;;;;10903:10:0;;;;:27;;;;;10923:6;;10903:10;:27;:10;:27;10923:6;10903:10;:27;;;;;;;;;;;;;;;;;;;1009:179;1067:7;;1099:5;1103:1;1099;:5;:::i;:::-;1087:17;;1128:1;1123;:6;;1115:46;;;;-1:-1:-1;;;1115:46:0;;13653:2:1;1115:46:0;;;13635:21:1;13692:2;13672:18;;;13665:30;13731:29;13711:18;;;13704:57;13778:18;;1115:46:0;13451:351:1;1196:136:0;1254:7;1281:43;1285:1;1288;1281:43;;;;;;;;;;;;;;;;;:3;:43::i;1932:189::-;2018:7;2053:12;2046:5;2038:28;;;;-1:-1:-1;;;2038:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2077:9:0;2089:5;2093:1;2089;: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:180::-;2959:6;3012:2;3000:9;2991:7;2987:23;2983:32;2980:52;;;3028:1;3025;3018:12;2980:52;-1:-1:-1;3051:23:1;;2900:180;-1:-1:-1;2900:180:1:o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:422;3306:1;3349:5;3306:1;3363:270;3384:7;3374:8;3371:21;3363:270;;;3443:4;3439:1;3435:6;3431:17;3425:4;3422:27;3419:53;;;3452:18;;:::i;:::-;3502:7;3492:8;3488:22;3485:55;;;3522:16;;;;3485:55;3601:22;;;;3561:15;;;;3363:270;;;3367:3;3217:422;;;;;:::o;3644:806::-;3693:5;3723:8;3713:80;;-1:-1:-1;3764:1:1;3778:5;;3713:80;3812:4;3802:76;;-1:-1:-1;3849:1:1;3863:5;;3802:76;3894:4;3912:1;3907:59;;;;3980:1;3975:130;;;;3887:218;;3907:59;3937:1;3928:10;;3951:5;;;3975:130;4012:3;4002:8;3999:17;3996:43;;;4019:18;;:::i;:::-;-1:-1:-1;;4075:1:1;4061:16;;4090:5;;3887:218;;4189:2;4179:8;4176:16;4170:3;4164:4;4161:13;4157:36;4151:2;4141:8;4138:16;4133:2;4127:4;4124:12;4120:35;4117:77;4114:159;;;-1:-1:-1;4226:19:1;;;4258:5;;4114:159;4305:34;4330:8;4324:4;4305:34;:::i;:::-;4375:6;4371:1;4367:6;4363:19;4354:7;4351:32;4348:58;;;4386:18;;:::i;:::-;4424:20;;3644:806;-1:-1:-1;;;3644:806:1:o;4455:140::-;4513:5;4542:47;4583:4;4573:8;4569:19;4563:4;4542:47;:::i;4600:168::-;4673:9;;;4704;;4721:15;;;4715:22;;4701:37;4691:71;;4742:18;;:::i;4773:356::-;4975:2;4957:21;;;4994:18;;;4987:30;5053:34;5048:2;5033:18;;5026:62;5120:2;5105:18;;4773:356::o;5486:251::-;5556:6;5609:2;5597:9;5588:7;5584:23;5580:32;5577:52;;;5625:1;5622;5615:12;5577:52;5657:9;5651:16;5676:31;5701:5;5676:31;:::i;6663:306::-;6751:6;6759;6767;6820:2;6808:9;6799:7;6795:23;6791:32;6788:52;;;6836:1;6833;6826:12;6788:52;6865:9;6859:16;6849:26;;6915:2;6904:9;6900:18;6894:25;6884:35;;6959:2;6948:9;6944:18;6938:25;6928:35;;6663:306;;;;;:::o;7253:277::-;7320:6;7373:2;7361:9;7352:7;7348:23;7344:32;7341:52;;;7389:1;7386;7379:12;7341:52;7421:9;7415:16;7474:5;7467:13;7460:21;7453:5;7450:32;7440:60;;7496:1;7493;7486:12;10820:125;10885:9;;;10906:10;;;10903:36;;;10919:18;;:::i;11305:135::-;11344:3;11365:17;;;11362:43;;11385:18;;:::i;:::-;-1:-1:-1;11432:1:1;11421:13;;11305:135::o;11445:128::-;11512:9;;;11533:11;;;11530:37;;;11547:18;;:::i;11578:217::-;11618:1;11644;11634:132;;11688:10;11683:3;11679:20;11676:1;11669:31;11723:4;11720:1;11713:15;11751:4;11748:1;11741:15;11634:132;-1:-1:-1;11780:9:1;;11578:217::o;12334:127::-;12395:10;12390:3;12386:20;12383:1;12376:31;12426:4;12423:1;12416:15;12450:4;12447:1;12440:15;12466:980;12728:4;12776:3;12765:9;12761:19;12807:6;12796:9;12789:25;12833:2;12871:6;12866:2;12855:9;12851:18;12844:34;12914:3;12909:2;12898:9;12894:18;12887:31;12938:6;12973;12967:13;13004:6;12996;12989:22;13042:3;13031:9;13027:19;13020:26;;13081:2;13073:6;13069:15;13055:29;;13102:1;13112:195;13126:6;13123:1;13120:13;13112:195;;;13191:13;;-1:-1:-1;;;;;13187:39:1;13175:52;;13282:15;;;;13247:12;;;;13223:1;13141:9;13112:195;;;-1:-1:-1;;;;;;;13363:32:1;;;;13358:2;13343:18;;13336:60;-1:-1:-1;;;13427:3:1;13412:19;13405:35;13324:3;12466:980;-1:-1:-1;;;12466:980:1:o

ipfs://8a81fa6b17c5b614aa9012f52dbb581d720f7c926f51483847c5cdaa970336f9