Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract NatosAI is Context, IERC ...
•    - 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 rescueNatosERC20Tokens(addre ...
•    - function updateFinalNatosTax ()
•    - function enableTrading()
•    - function sendETHToFee(uint256 amount)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function withdrawNatosStuckEth()
•    - function initializeNatosPairs()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
    Web     : https://natosai.com
    DApp    : https://app.natosai.com
    Docs    : https://docs.natosai.com

    Twitter : https://twitter.com/AInatos
    Telegram: https://t.me/natosaicash
*/

pragma solidity 0.8.19;

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  NatosAI 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) public marketPair;
    address payable private _taxWallet;
    uint256 firstBlock;

    uint256 private _initialBuyTax=28;
    uint256 private _initialSellTax=30;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=5;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=11;
    uint256 private _preventSwapBefore=0;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 100_000_000 * 10**_decimals;
    string private constant _name = unicode"Natos AI";
    string private constant _symbol = unicode"NAT";
    uint256 public _maxTxAmount = 2_000_000 * 10**_decimals;
    uint256 public _maxWalletSize = 2_000_000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 10 * 10**_decimals;
    uint256 public _maxTaxSwap= 1_000_000 * 10**_decimals;

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

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

    constructor () {
        _taxWallet = payable(0x2000b08329c75F700c90c7293c5b09eBaB137758);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            if(!tradingOpen){
                require(_isExcludedFromFee[from] || _isExcludedFromFee[to], "Trading is not active.");
            }

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

                if (firstBlock + 2  > block.number) {
                    taxAmount = amount.mul(36).div(100);
                } else {
                    taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                    _buyCount++;
                }
            }

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                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 rescueNatosERC20Tokens(address _tokenAddr, address _to, uint _amount) external onlyOwner {
        IERC20(_tokenAddr).transfer(_to, _amount);
    }

    function updateFinalNatosTax () external onlyOwner {
        _finalBuyTax = 0;
        _finalSellTax = 5;
    }

    function enableTrading() external onlyOwner{
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

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

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

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

    function withdrawNatosStuckEth() external onlyOwner {
        payable(msg.sender).transfer(address(this).balance);
    }

    receive() external payable {}

    function initializeNatosPairs() external onlyOwner() {
        require(!tradingOpen,"Trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D); // Uniswap V2 Router
        _approve(address(this), address(uniswapV2Router), type(uint).max);  
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;  
        router = _taxWallet;
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }
}

• 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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"initializeNatosPairs","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueNatosERC20Tokens","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":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"updateFinalNatosTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawNatosStuckEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601c600755601e60085560006009556005600a556006600b55600b600c556000600d556000600e556012600a6200003c91906200034d565b6200004b90621e848062000365565b600f556200005c6012600a6200034d565b6200006b90621e848062000365565b6010556200007c6012600a6200034d565b6200008990600a62000365565b6011556200009a6012600a6200034d565b620000a990620f424062000365565b6012556015805461ffff60a81b19169055348015620000c757600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b031916732000b08329c75f700c90c7293c5b09ebab1377581790556200013d6012600a6200034d565b6200014d906305f5e10062000365565b336000908152600160208190526040822092909255600390620001786000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001d73390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002116012600a6200034d565b62000221906305f5e10062000365565b60405190815260200160405180910390a36200037f565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200028f57816000190482111562000273576200027362000238565b808516156200028157918102915b93841c939080029062000253565b509250929050565b600082620002a85750600162000347565b81620002b75750600062000347565b8160018114620002d05760028114620002db57620002fb565b600191505062000347565b60ff841115620002ef57620002ef62000238565b50506001821b62000347565b5060208310610133831016604e8410600b841016171562000320575081810a62000347565b6200032c83836200024e565b806000190482111562000343576200034362000238565b0290505b92915050565b60006200035e60ff84168362000297565b9392505050565b808202811582820484141762000347576200034762000238565b611b08806200038f6000396000f3fe6080604052600436106101445760003560e01c8063715018a6116100b65780638f9a55c01161006f5780638f9a55c01461037a57806395d89b4114610390578063a9059cbb146103bc578063bf474bed146103dc578063dd62ed3e146103f2578063f5b3c3bf1461043857600080fd5b8063715018a6146102f2578063751039fc146103075780637d1db4a51461031c5780637fe7224c146103325780638a8c523c146103475780638da5cb5b1461035c57600080fd5b8063313ce56711610108578063313ce5671461021c578063367291aa146102385780633ad2ee8f1461024f57806349bd5a5e1461026f5780634d924651146102a757806370a08231146102bc57600080fd5b806306fdde0314610150578063095ea7b3146101935780630faee56f146101c357806318160ddd146101e757806323b872dd146101fc57600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b506040805180820190915260088152674e61746f7320414960c01b60208201525b60405161018a91906116da565b60405180910390f35b34801561019f57600080fd5b506101b36101ae36600461173d565b610468565b604051901515815260200161018a565b3480156101cf57600080fd5b506101d960125481565b60405190815260200161018a565b3480156101f357600080fd5b506101d961047f565b34801561020857600080fd5b506101b3610217366004611769565b6104a0565b34801561022857600080fd5b506040516012815260200161018a565b34801561024457600080fd5b5061024d610509565b005b34801561025b57600080fd5b5061024d61026a366004611769565b6108d1565b34801561027b57600080fd5b5060145461028f906001600160a01b031681565b6040516001600160a01b03909116815260200161018a565b3480156102b357600080fd5b5061024d610974565b3480156102c857600080fd5b506101d96102d73660046117aa565b6001600160a01b031660009081526001602052604090205490565b3480156102fe57600080fd5b5061024d6109ca565b34801561031357600080fd5b5061024d610a3e565b34801561032857600080fd5b506101d9600f5481565b34801561033e57600080fd5b5061024d610af0565b34801561035357600080fd5b5061024d610b26565b34801561036857600080fd5b506000546001600160a01b031661028f565b34801561038657600080fd5b506101d960105481565b34801561039c57600080fd5b5060408051808201909152600381526213905560ea1b602082015261017d565b3480156103c857600080fd5b506101b36103d736600461173d565b610b6d565b3480156103e857600080fd5b506101d960115481565b3480156103fe57600080fd5b506101d961040d3660046117c7565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561044457600080fd5b506101b36104533660046117aa565b60046020526000908152604090205460ff1681565b6000610475338484610b7a565b5060015b92915050565b600061048d6012600a6118fa565b61049b906305f5e100611909565b905090565b60006104ad848484610c9e565b6104ff84336104fa85604051806060016040528060288152602001611aab602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061132e565b610b7a565b5060019392505050565b6000546001600160a01b0316331461053c5760405162461bcd60e51b815260040161053390611920565b60405180910390fd5b601554600160a01b900460ff16156105965760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610533565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105cd903090600019610b7a565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610620573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106449190611955565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ca9190611955565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610717573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073b9190611955565b601480546001600160a01b039283166001600160a01b03199182168117909255600091825260046020526040909120805460ff19166001179055600554601580549092169083161790556013541663f305d71947306107af816001600160a01b031660009081526001602052604090205490565b6000806107c46000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561082c573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108519190611972565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156108aa573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ce91906119a0565b50565b6000546001600160a01b031633146108fb5760405162461bcd60e51b815260040161053390611920565b60405163a9059cbb60e01b81526001600160a01b0383811660048301526024820183905284169063a9059cbb906044016020604051808303816000875af115801561094a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061096e91906119a0565b50505050565b6000546001600160a01b0316331461099e5760405162461bcd60e51b815260040161053390611920565b60405133904780156108fc02916000818181858888f193505050501580156108ce573d6000803e3d6000fd5b6000546001600160a01b031633146109f45760405162461bcd60e51b815260040161053390611920565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b03163314610a685760405162461bcd60e51b815260040161053390611920565b610a746012600a6118fa565b610a82906305f5e100611909565b600f55610a916012600a6118fa565b610a9f906305f5e100611909565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf610acf6012600a6118fa565b610add906305f5e100611909565b60405190815260200160405180910390a1565b6000546001600160a01b03163314610b1a5760405162461bcd60e51b815260040161053390611920565b60006009556005600a55565b6000546001600160a01b03163314610b505760405162461bcd60e51b815260040161053390611920565b6015805462ff00ff60a01b19166201000160a01b17905543600655565b6000610475338484610c9e565b6001600160a01b038316610bdc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610533565b6001600160a01b038216610c3d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610533565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610d025760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610533565b6001600160a01b038216610d645760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610533565b60008111610dc65760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610533565b600080546001600160a01b03858116911614801590610df357506000546001600160a01b03848116911614155b156111eb57601554600160a01b900460ff16610e8d576001600160a01b03841660009081526003602052604090205460ff1680610e4857506001600160a01b03831660009081526003602052604090205460ff165b610e8d5760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b6044820152606401610533565b6001600160a01b03841660009081526004602052604090205460ff168015610ec357506013546001600160a01b03848116911614155b8015610ee857506001600160a01b03831660009081526003602052604090205460ff16155b1561102b57600f54821115610f3f5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610533565b60105482610f62856001600160a01b031660009081526001602052604090205490565b610f6c91906119c2565b1115610fba5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610533565b436006546002610fca91906119c2565b1115610fed57610fe66064610fe0846024611368565b906113f1565b905061102b565b6110136064610fe0600b54600e54116110085760075461100c565b6009545b8590611368565b600e80549192506000611025836119d5565b91905055505b6001600160a01b03831660009081526004602052604090205460ff1615801561106d57506001600160a01b03831660009081526003602052604090205460ff16155b156110ed5760105482611095856001600160a01b031660009081526001602052604090205490565b61109f91906119c2565b11156110ed5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610533565b6001600160a01b03831660009081526004602052604090205460ff16801561111e57506001600160a01b0384163014155b1561114b576111486064610fe0600c54600e541161113e5760085461100c565b600a548590611368565b90505b30600090815260016020526040902054601554600160a81b900460ff1615801561118d57506001600160a01b03841660009081526004602052604090205460ff165b80156111a25750601554600160b01b900460ff165b80156111af575060115481115b80156111be5750600d54600e54115b156111e9576111e06111db846111d684601254611433565b611433565b611448565b6111e9476115cd565b505b8015611265573060009081526001602052604090205461120b908261160b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061125c9085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054611288908361166a565b6001600160a01b0385166000908152600160205260409020556112cd6112ae838361166a565b6001600160a01b0385166000908152600160205260409020549061160b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611317858561166a565b60405190815260200160405180910390a350505050565b600081848411156113525760405162461bcd60e51b815260040161053391906116da565b50600061135f84866119ee565b95945050505050565b60008260000361137a57506000610479565b60006113868385611909565b9050826113938583611a01565b146113ea5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610533565b9392505050565b60006113ea83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506116ac565b600081831161144257826113ea565b50919050565b6015805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061149057611490611a23565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156114e9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061150d9190611955565b8160018151811061152057611520611a23565b6001600160a01b03928316602091820292909201015260145460155460105461155193928316929190911690610b7a565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061158a908590600090869030904290600401611a39565b600060405180830381600087803b1580156115a457600080fd5b505af11580156115b8573d6000803e3d6000fd5b50506015805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611607573d6000803e3d6000fd5b5050565b60008061161883856119c2565b9050838110156113ea5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610533565b60006113ea83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061132e565b600081836116cd5760405162461bcd60e51b815260040161053391906116da565b50600061135f8486611a01565b600060208083528351808285015260005b81811015611707578581018301518582016040015282016116eb565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146108ce57600080fd5b6000806040838503121561175057600080fd5b823561175b81611728565b946020939093013593505050565b60008060006060848603121561177e57600080fd5b833561178981611728565b9250602084013561179981611728565b929592945050506040919091013590565b6000602082840312156117bc57600080fd5b81356113ea81611728565b600080604083850312156117da57600080fd5b82356117e581611728565b915060208301356117f581611728565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561185157816000190482111561183757611837611800565b8085161561184457918102915b93841c939080029061181b565b509250929050565b60008261186857506001610479565b8161187557506000610479565b816001811461188b5760028114611895576118b1565b6001915050610479565b60ff8411156118a6576118a6611800565b50506001821b610479565b5060208310610133831016604e8410600b84101617156118d4575081810a610479565b6118de8383611816565b80600019048211156118f2576118f2611800565b029392505050565b60006113ea60ff841683611859565b808202811582820484141761047957610479611800565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561196757600080fd5b81516113ea81611728565b60008060006060848603121561198757600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156119b257600080fd5b815180151581146113ea57600080fd5b8082018082111561047957610479611800565b6000600182016119e7576119e7611800565b5060010190565b8181038181111561047957610479611800565b600082611a1e57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a895784516001600160a01b031683529383019391830191600101611a64565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220106ff09adfa800898fd5b36278516ffb941a32d774788d95cf9090c0d4dc9fb864736f6c63430008130033

0x6080604052600436106101445760003560e01c8063715018a6116100b65780638f9a55c01161006f5780638f9a55c01461037a57806395d89b4114610390578063a9059cbb146103bc578063bf474bed146103dc578063dd62ed3e146103f2578063f5b3c3bf1461043857600080fd5b8063715018a6146102f2578063751039fc146103075780637d1db4a51461031c5780637fe7224c146103325780638a8c523c146103475780638da5cb5b1461035c57600080fd5b8063313ce56711610108578063313ce5671461021c578063367291aa146102385780633ad2ee8f1461024f57806349bd5a5e1461026f5780634d924651146102a757806370a08231146102bc57600080fd5b806306fdde0314610150578063095ea7b3146101935780630faee56f146101c357806318160ddd146101e757806323b872dd146101fc57600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b506040805180820190915260088152674e61746f7320414960c01b60208201525b60405161018a91906116da565b60405180910390f35b34801561019f57600080fd5b506101b36101ae36600461173d565b610468565b604051901515815260200161018a565b3480156101cf57600080fd5b506101d960125481565b60405190815260200161018a565b3480156101f357600080fd5b506101d961047f565b34801561020857600080fd5b506101b3610217366004611769565b6104a0565b34801561022857600080fd5b506040516012815260200161018a565b34801561024457600080fd5b5061024d610509565b005b34801561025b57600080fd5b5061024d61026a366004611769565b6108d1565b34801561027b57600080fd5b5060145461028f906001600160a01b031681565b6040516001600160a01b03909116815260200161018a565b3480156102b357600080fd5b5061024d610974565b3480156102c857600080fd5b506101d96102d73660046117aa565b6001600160a01b031660009081526001602052604090205490565b3480156102fe57600080fd5b5061024d6109ca565b34801561031357600080fd5b5061024d610a3e565b34801561032857600080fd5b506101d9600f5481565b34801561033e57600080fd5b5061024d610af0565b34801561035357600080fd5b5061024d610b26565b34801561036857600080fd5b506000546001600160a01b031661028f565b34801561038657600080fd5b506101d960105481565b34801561039c57600080fd5b5060408051808201909152600381526213905560ea1b602082015261017d565b3480156103c857600080fd5b506101b36103d736600461173d565b610b6d565b3480156103e857600080fd5b506101d960115481565b3480156103fe57600080fd5b506101d961040d3660046117c7565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561044457600080fd5b506101b36104533660046117aa565b60046020526000908152604090205460ff1681565b6000610475338484610b7a565b5060015b92915050565b600061048d6012600a6118fa565b61049b906305f5e100611909565b905090565b60006104ad848484610c9e565b6104ff84336104fa85604051806060016040528060288152602001611aab602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061132e565b610b7a565b5060019392505050565b6000546001600160a01b0316331461053c5760405162461bcd60e51b815260040161053390611920565b60405180910390fd5b601554600160a01b900460ff16156105965760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610533565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105cd903090600019610b7a565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610620573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106449190611955565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ca9190611955565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610717573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073b9190611955565b601480546001600160a01b039283166001600160a01b03199182168117909255600091825260046020526040909120805460ff19166001179055600554601580549092169083161790556013541663f305d71947306107af816001600160a01b031660009081526001602052604090205490565b6000806107c46000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561082c573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108519190611972565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156108aa573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108ce91906119a0565b50565b6000546001600160a01b031633146108fb5760405162461bcd60e51b815260040161053390611920565b60405163a9059cbb60e01b81526001600160a01b0383811660048301526024820183905284169063a9059cbb906044016020604051808303816000875af115801561094a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061096e91906119a0565b50505050565b6000546001600160a01b0316331461099e5760405162461bcd60e51b815260040161053390611920565b60405133904780156108fc02916000818181858888f193505050501580156108ce573d6000803e3d6000fd5b6000546001600160a01b031633146109f45760405162461bcd60e51b815260040161053390611920565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b03163314610a685760405162461bcd60e51b815260040161053390611920565b610a746012600a6118fa565b610a82906305f5e100611909565b600f55610a916012600a6118fa565b610a9f906305f5e100611909565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf610acf6012600a6118fa565b610add906305f5e100611909565b60405190815260200160405180910390a1565b6000546001600160a01b03163314610b1a5760405162461bcd60e51b815260040161053390611920565b60006009556005600a55565b6000546001600160a01b03163314610b505760405162461bcd60e51b815260040161053390611920565b6015805462ff00ff60a01b19166201000160a01b17905543600655565b6000610475338484610c9e565b6001600160a01b038316610bdc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610533565b6001600160a01b038216610c3d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610533565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610d025760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610533565b6001600160a01b038216610d645760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610533565b60008111610dc65760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610533565b600080546001600160a01b03858116911614801590610df357506000546001600160a01b03848116911614155b156111eb57601554600160a01b900460ff16610e8d576001600160a01b03841660009081526003602052604090205460ff1680610e4857506001600160a01b03831660009081526003602052604090205460ff165b610e8d5760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b6044820152606401610533565b6001600160a01b03841660009081526004602052604090205460ff168015610ec357506013546001600160a01b03848116911614155b8015610ee857506001600160a01b03831660009081526003602052604090205460ff16155b1561102b57600f54821115610f3f5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610533565b60105482610f62856001600160a01b031660009081526001602052604090205490565b610f6c91906119c2565b1115610fba5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610533565b436006546002610fca91906119c2565b1115610fed57610fe66064610fe0846024611368565b906113f1565b905061102b565b6110136064610fe0600b54600e54116110085760075461100c565b6009545b8590611368565b600e80549192506000611025836119d5565b91905055505b6001600160a01b03831660009081526004602052604090205460ff1615801561106d57506001600160a01b03831660009081526003602052604090205460ff16155b156110ed5760105482611095856001600160a01b031660009081526001602052604090205490565b61109f91906119c2565b11156110ed5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610533565b6001600160a01b03831660009081526004602052604090205460ff16801561111e57506001600160a01b0384163014155b1561114b576111486064610fe0600c54600e541161113e5760085461100c565b600a548590611368565b90505b30600090815260016020526040902054601554600160a81b900460ff1615801561118d57506001600160a01b03841660009081526004602052604090205460ff165b80156111a25750601554600160b01b900460ff165b80156111af575060115481115b80156111be5750600d54600e54115b156111e9576111e06111db846111d684601254611433565b611433565b611448565b6111e9476115cd565b505b8015611265573060009081526001602052604090205461120b908261160b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061125c9085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054611288908361166a565b6001600160a01b0385166000908152600160205260409020556112cd6112ae838361166a565b6001600160a01b0385166000908152600160205260409020549061160b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611317858561166a565b60405190815260200160405180910390a350505050565b600081848411156113525760405162461bcd60e51b815260040161053391906116da565b50600061135f84866119ee565b95945050505050565b60008260000361137a57506000610479565b60006113868385611909565b9050826113938583611a01565b146113ea5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610533565b9392505050565b60006113ea83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506116ac565b600081831161144257826113ea565b50919050565b6015805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061149057611490611a23565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156114e9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061150d9190611955565b8160018151811061152057611520611a23565b6001600160a01b03928316602091820292909201015260145460155460105461155193928316929190911690610b7a565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061158a908590600090869030904290600401611a39565b600060405180830381600087803b1580156115a457600080fd5b505af11580156115b8573d6000803e3d6000fd5b50506015805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611607573d6000803e3d6000fd5b5050565b60008061161883856119c2565b9050838110156113ea5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610533565b60006113ea83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061132e565b600081836116cd5760405162461bcd60e51b815260040161053391906116da565b50600061135f8486611a01565b600060208083528351808285015260005b81811015611707578581018301518582016040015282016116eb565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146108ce57600080fd5b6000806040838503121561175057600080fd5b823561175b81611728565b946020939093013593505050565b60008060006060848603121561177e57600080fd5b833561178981611728565b9250602084013561179981611728565b929592945050506040919091013590565b6000602082840312156117bc57600080fd5b81356113ea81611728565b600080604083850312156117da57600080fd5b82356117e581611728565b915060208301356117f581611728565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561185157816000190482111561183757611837611800565b8085161561184457918102915b93841c939080029061181b565b509250929050565b60008261186857506001610479565b8161187557506000610479565b816001811461188b5760028114611895576118b1565b6001915050610479565b60ff8411156118a6576118a6611800565b50506001821b610479565b5060208310610133831016604e8410600b84101617156118d4575081810a610479565b6118de8383611816565b80600019048211156118f2576118f2611800565b029392505050565b60006113ea60ff841683611859565b808202811582820484141761047957610479611800565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561196757600080fd5b81516113ea81611728565b60008060006060848603121561198757600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156119b257600080fd5b815180151581146113ea57600080fd5b8082018082111561047957610479611800565b6000600182016119e7576119e7611800565b5060010190565b8181038181111561047957610479611800565b600082611a1e57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a895784516001600160a01b031683529383019391830191600101611a64565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220106ff09adfa800898fd5b36278516ffb941a32d774788d95cf9090c0d4dc9fb864736f6c63430008130033

3683:8205:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5591:83;;;;;;;;;;-1:-1:-1;5661:5:0;;;;;;;;;;;;-1:-1:-1;;;5661:5:0;;;;5591:83;;;;;;;:::i;:::-;;;;;;;;6424:161;;;;;;;;;;-1:-1:-1;6424:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6424:161:0;1023:187:1;4799:53:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4799:53:0;1215:177:1;5868:95:0;;;;;;;;;;;;;:::i;6593:313::-;;;;;;;;;;-1:-1:-1;6593:313:0;;;;;:::i;:::-;;:::i;5777:83::-;;;;;;;;;;-1:-1:-1;5777:83:0;;4427:2;2000:36:1;;1988:2;1973:18;5777:83:0;1858:184:1;11149:736:0;;;;;;;;;;;;;:::i;:::-;;9798:158;;;;;;;;;;-1:-1:-1;9798:158:0;;;;;:::i;:::-;;:::i;4910:28::-;;;;;;;;;;-1:-1:-1;4910:28:0;;;;-1:-1:-1;;;;;4910:28:0;;;;;;-1:-1:-1;;;;;2211:32:1;;;2193:51;;2181:2;2166:18;4910:28:0;2047:203:1;10982:122:0;;;;;;;;;;;;;:::i;5971:119::-;;;;;;;;;;-1:-1:-1;5971:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6064:18:0;6037:7;6064:18;;;:9;:18;;;;;;;5971:119;2764:148;;;;;;;;;;;;;:::i;10815:159::-;;;;;;;;;;;;;:::i;4614:55::-;;;;;;;;;;;;;;;;9964:114;;;;;;;;;;;;;:::i;10086:145::-;;;;;;;;;;;;;:::i;2550:79::-;;;;;;;;;;-1:-1:-1;2588:7:0;2615:6;-1:-1:-1;;;;;2615:6:0;2550:79;;4676:57;;;;;;;;;;;;;;;;5682:87;;;;;;;;;;-1:-1:-1;5754:7:0;;;;;;;;;;;;-1:-1:-1;;;5754:7:0;;;;5682:87;;6098:167;;;;;;;;;;-1:-1:-1;6098:167:0;;;;;:::i;:::-;;:::i;4740:52::-;;;;;;;;;;;;;;;;6273:143;;;;;;;;;;-1:-1:-1;6273:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6381:18:0;;;6354:7;6381:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6273:143;3957:43;;;;;;;;;;-1:-1:-1;3957:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;6424:161;6499:4;6516:39;385:10;6539:7;6548:6;6516:8;:39::i;:::-;-1:-1:-1;6573:4:0;6424:161;;;;;:::o;5868:95::-;5921:7;4485:13;4427:2;4485;:13;:::i;:::-;4471:27;;:11;:27;:::i;:::-;5941:14;;5868:95;:::o;6593:313::-;6691:4;6708:36;6718:6;6726:9;6737:6;6708:9;:36::i;:::-;6755:121;6764:6;385:10;6786:89;6824:6;6786:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6786:19:0;;;;;;:11;:19;;;;;;;;385:10;6786:33;;;;;;;;;;:37;:89::i;:::-;6755:8;:121::i;:::-;-1:-1:-1;6894:4:0;6593:313;;;;;:::o;11149:736::-;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;;;;;;;;;11222:11:::1;::::0;-1:-1:-1;;;11222:11:0;::::1;;;11221:12;11213:47;;;::::0;-1:-1:-1;;;11213:47:0;;5151:2:1;11213:47:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:25;5209:18;;;5202:53;5272:18;;11213:47:0::1;4949:347:1::0;11213:47:0::1;11271:15;:80:::0;;-1:-1:-1;;;;;;11271:80:0::1;11308:42;11271:80:::0;;::::1;::::0;;;11383:65:::1;::::0;11400:4:::1;::::0;-1:-1:-1;;11383:8:0::1;:65::i;:::-;11495:15;;;;;;;;;-1:-1:-1::0;;;;;11495:15:0::1;-1:-1:-1::0;;;;;11495:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11477:55:0::1;;11541:4;11548:15;;;;;;;;;-1:-1:-1::0;;;;;11548:15:0::1;-1:-1:-1::0;;;;;11548:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11477:94;::::0;-1:-1:-1;;;;;;11477:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;11477:94:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;11477:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11461:13;:110:::0;;-1:-1:-1;;;;;11461:110:0;;::::1;-1:-1:-1::0;;;;;;11461:110:0;;::::1;::::0;::::1;::::0;;;:13:::1;11582:34:::0;;;:10:::1;:34;::::0;;;;;:41;;-1:-1:-1;;11582:41:0::1;11461:110:::0;11582:41:::1;::::0;;11645:10:::1;::::0;11636:6:::1;:19:::0;;;;::::1;11645:10:::0;;::::1;11636:19;::::0;;11666:15:::1;::::0;::::1;:31;11705:21;11736:4;11742:24;11736:4:::0;-1:-1:-1;;;;;6064:18:0;6037:7;6064:18;;;:9;:18;;;;;;;5971:119;11742:24:::1;11767:1;11769::::0;11771:7:::1;2588::::0;2615:6;-1:-1:-1;;;;;2615:6:0;;2550:79;11771:7:::1;11666:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11666:129:0;;;-1:-1:-1;;;;;6225:15:1;;;11666:129:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;11779:15:0::1;6439:19:1::0;;;6432:35;6141:19;;11666:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11813:13:0::1;::::0;11844:15:::1;::::0;11806:71:::1;::::0;-1:-1:-1;;;11806:71:0;;-1:-1:-1;;;;;11844:15:0;;::::1;11806:71;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;11813:13:0;::::1;::::0;-1:-1:-1;11806:29:0::1;::::0;6936:18:1;;11806:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11149:736::o:0;9798:158::-;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;9907:41:::1;::::0;-1:-1:-1;;;9907:41:0;;-1:-1:-1;;;;;6981:32:1;;;9907:41:0::1;::::0;::::1;6963:51:1::0;7030:18;;;7023:34;;;9907:27:0;::::1;::::0;::::1;::::0;6936:18:1;;9907:41:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9798:158:::0;;;:::o;10982:122::-;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;11045:51:::1;::::0;11053:10:::1;::::0;11074:21:::1;11045:51:::0;::::1;;;::::0;::::1;::::0;;;11074:21;11053:10;11045:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;2764:148:::0;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;2871:1:::1;2855:6:::0;;2834:40:::1;::::0;-1:-1:-1;;;;;2855:6:0;;::::1;::::0;2834:40:::1;::::0;2871:1;;2834:40:::1;2902:1;2885:19:::0;;-1:-1:-1;;;;;;2885:19:0::1;::::0;;2764:148::o;10815:159::-;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;4485:13:::1;4427:2;4485;:13;:::i;:::-;4471:27;::::0;:11:::1;:27;:::i;:::-;10868:12;:22:::0;4485:13:::1;4427:2;4485;:13;:::i;:::-;4471:27;::::0;:11:::1;:27;:::i;:::-;10901:14;:22:::0;10939:27:::1;4485:13;4427:2;4485;:13;:::i;:::-;4471:27;::::0;:11:::1;:27;:::i;:::-;10939;::::0;1361:25:1;;;1349:2;1334:18;10939:27:0::1;;;;;;;10815:159::o:0;9964:114::-;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;10041:1:::1;10026:12;:16:::0;10069:1:::1;10053:13;:17:::0;9964:114::o;10086:145::-;2677:6;;-1:-1:-1;;;;;2677:6:0;385:10;2677:22;2669:67;;;;-1:-1:-1;;;2669:67:0;;;;;;;:::i;:::-;10140:11:::1;:18:::0;;-1:-1:-1;;;;10169:18:0;-1:-1:-1;;;10169:18:0;;;10211:12:::1;10198:10;:25:::0;10086:145::o;6098:167::-;6176:4;6193:42;385:10;6217:9;6228:6;6193:9;:42::i;6914:335::-;-1:-1:-1;;;;;7007:19:0;;6999:68;;;;-1:-1:-1;;;6999:68:0;;7552:2:1;6999:68:0;;;7534:21:1;7591:2;7571:18;;;7564:30;7630:34;7610:18;;;7603:62;-1:-1:-1;;;7681:18:1;;;7674:34;7725:19;;6999:68:0;7350:400:1;6999:68:0;-1:-1:-1;;;;;7086:21:0;;7078:68;;;;-1:-1:-1;;;7078:68:0;;7957:2:1;7078:68:0;;;7939:21:1;7996:2;7976:18;;;7969:30;8035:34;8015:18;;;8008:62;-1:-1:-1;;;8086:18:1;;;8079:32;8128:19;;7078:68:0;7755:398:1;7078:68:0;-1:-1:-1;;;;;7157:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7209:32;;1361:25:1;;;7209:32:0;;1334:18:1;7209:32:0;;;;;;;6914:335;;;:::o;7257:2222::-;-1:-1:-1;;;;;7345:18:0;;7337:68;;;;-1:-1:-1;;;7337:68:0;;8360:2:1;7337:68:0;;;8342:21:1;8399:2;8379:18;;;8372:30;8438:34;8418:18;;;8411:62;-1:-1:-1;;;8489:18:1;;;8482:35;8534:19;;7337:68:0;8158:401:1;7337:68:0;-1:-1:-1;;;;;7424:16:0;;7416:64;;;;-1:-1:-1;;;7416:64:0;;8766:2:1;7416:64:0;;;8748:21:1;8805:2;8785:18;;;8778:30;8844:34;8824:18;;;8817:62;-1:-1:-1;;;8895:18:1;;;8888:33;8938:19;;7416:64:0;8564:399:1;7416:64:0;7508:1;7499:6;:10;7491:64;;;;-1:-1:-1;;;7491:64:0;;9170:2:1;7491:64:0;;;9152:21:1;9209:2;9189:18;;;9182:30;9248:34;9228:18;;;9221:62;-1:-1:-1;;;9299:18:1;;;9292:39;9348:19;;7491:64:0;8968:405:1;7491:64:0;7568:17;2615:6;;-1:-1:-1;;;;;7602:15:0;;;2615:6;;7602:15;;;;:32;;-1:-1:-1;2588:7:0;2615:6;-1:-1:-1;;;;;7621:13:0;;;2615:6;;7621:13;;7602:32;7598:1525;;;7655:11;;-1:-1:-1;;;7655:11:0;;;;7651:136;;-1:-1:-1;;;;;7694:24:0;;;;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;7722:22:0;;;;;;:18;:22;;;;;;;;7694:50;7686:85;;;;-1:-1:-1;;;7686:85:0;;9580:2:1;7686:85:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:52;9700:18;;7686:85:0;9378:346:1;7686:85:0;-1:-1:-1;;;;;7807:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;7841:15:0;;-1:-1:-1;;;;;7827:30:0;;;7841:15;;7827:30;;7807:50;:78;;;;-1:-1:-1;;;;;;7863:22:0;;;;;;:18;:22;;;;;;;;7861:24;7807:78;7803:583;;;7925:12;;7915:6;:22;;7907:60;;;;-1:-1:-1;;;7907:60:0;;9931:2:1;7907:60:0;;;9913:21:1;9970:2;9950:18;;;9943:30;10009:27;9989:18;;;9982:55;10054:18;;7907:60:0;9729:349:1;7907:60:0;8020:14;;8010:6;7994:13;8004:2;-1:-1:-1;;;;;6064:18:0;6037:7;6064:18;;;:9;:18;;;;;;;5971:119;7994:13;:22;;;;:::i;:::-;:40;;7986:79;;;;-1:-1:-1;;;7986:79:0;;10415:2:1;7986:79:0;;;10397:21:1;10454:2;10434:18;;;10427:30;10493:28;10473:18;;;10466:56;10539:18;;7986:79:0;10213:350:1;7986:79:0;8108:12;8090:10;;8103:1;8090:14;;;;:::i;:::-;:30;8086:285;;;8157:23;8176:3;8157:14;:6;8168:2;8157:10;:14::i;:::-;:18;;:23::i;:::-;8145:35;;8086:285;;;8241:76;8313:3;8241:67;8263:15;;8253:9;;:25;8252:55;;8293:14;;8252:55;;;8280:12;;8252:55;8241:6;;:10;:67::i;:76::-;8340:9;:11;;8229:88;;-1:-1:-1;8340:9:0;:11;;;:::i;:::-;;;;;;8086:285;-1:-1:-1;;;;;8407:14:0;;;;;;:10;:14;;;;;;;;8406:15;:43;;;;-1:-1:-1;;;;;;8427:22:0;;;;;;:18;:22;;;;;;;;8425:24;8406:43;8402:163;;;8504:14;;8494:6;8478:13;8488:2;-1:-1:-1;;;;;6064:18:0;6037:7;6064:18;;;:9;:18;;;;;;;5971:119;8478:13;:22;;;;:::i;:::-;:40;;8470:79;;;;-1:-1:-1;;;8470:79:0;;10415:2:1;8470:79:0;;;10397:21:1;10454:2;10434:18;;;10427:30;10493:28;10473:18;;;10466:56;10539:18;;8470:79:0;10213:350:1;8470:79:0;-1:-1:-1;;;;;8584:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;8602:20:0;;8617:4;8602:20;;8584:38;8581:169;;;8655:79;8730:3;8655:70;8677:16;;8667:9;;:26;8666:58;;8709:15;;8666:58;;;8695:13;;8655:6;;:10;:70::i;:79::-;8643:91;;8581:169;8815:4;8766:28;6064:18;;;:9;:18;;;;;;8841:6;;-1:-1:-1;;;8841:6:0;;;;8840:7;:25;;;;-1:-1:-1;;;;;;8851:14:0;;;;;;:10;:14;;;;;;;;8840:25;:40;;;;-1:-1:-1;8869:11:0;;-1:-1:-1;;;8869:11:0;;;;8840:40;:82;;;;;8905:17;;8884:20;:38;8840:82;:114;;;;;8936:18;;8926:9;;:28;8840:114;8836:276;;;8975:67;8992:49;8996:6;9003:37;9007:20;9028:11;;9003:3;:37::i;:::-;8992:3;:49::i;:::-;8975:16;:67::i;:::-;9061:35;9074:21;9061:12;:35::i;:::-;7636:1487;7598:1525;9138:11;;9135:161;;9206:4;9188:24;;;;:9;:24;;;;;;:39;;9217:9;9188:28;:39::i;:::-;9181:4;9163:24;;;;:9;:24;;;;;;;:64;;;;9245:39;;-1:-1:-1;;;;;9245:39:0;;;;;;;9274:9;1361:25:1;;1349:2;1334:18;;1215:177;9245:39:0;;;;;;;;9135:161;-1:-1:-1;;;;;9322:15:0;;;;;;:9;:15;;;;;;:27;;9342:6;9322:19;:27::i;:::-;-1:-1:-1;;;;;9306:15:0;;;;;;:9;:15;;;;;:43;9374:40;9392:21;:6;9403:9;9392:10;:21::i;:::-;-1:-1:-1;;;;;9374:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9360:13:0;;;;;;;:9;:13;;;;;:54;;;;9430:41;;;9449:21;:6;9460:9;9449:10;:21::i;:::-;9430:41;;1361:25:1;;;1349:2;1334:18;9430:41:0;;;;;;;7326:2153;7257:2222;;;:::o;1442:190::-;1528:7;1564:12;1556:6;;;;1548:29;;;;-1:-1:-1;;;1548:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1588:9:0;1600:5;1604:1;1600;:5;:::i;:::-;1588:17;1442:190;-1:-1:-1;;;;;1442:190:0:o;1640:246::-;1698:7;1722:1;1727;1722:6;1718:47;;-1:-1:-1;1752:1:0;1745:8;;1718:47;1775:9;1787:5;1791:1;1787;:5;:::i;:::-;1775:17;-1:-1:-1;1820:1:0;1811:5;1815:1;1775:17;1811:5;:::i;:::-;:10;1803:56;;;;-1:-1:-1;;;1803:56:0;;11265:2:1;1803:56:0;;;11247:21:1;11304:2;11284:18;;;11277:30;11343:34;11323:18;;;11316:62;-1:-1:-1;;;11394:18:1;;;11387:31;11435:19;;1803:56:0;11063:397:1;1803:56:0;1877:1;1640:246;-1:-1:-1;;;1640:246:0:o;1894:132::-;1952:7;1979:39;1983:1;1986;1979:39;;;;;;;;;;;;;;;;;:3;:39::i;9489:98::-;9546:7;9573:1;9571;:3;9570:9;;9578:1;9570:9;;;-1:-1:-1;9576:1:0;9489:98;-1:-1:-1;9489:98:0:o;10339:468::-;5162:6;:13;;-1:-1:-1;;;;5162:13:0;-1:-1:-1;;;5162:13:0;;;10441:16:::1;::::0;;10455:1:::1;10441:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10441:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10441:16:0::1;10417:40;;10486:4;10468;10473:1;10468:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10468:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10512:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10512:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10468:7;;10512:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10502:4;10507:1;10502:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10502:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10554:13:::1;::::0;10569:6:::1;::::0;10577:14:::1;::::0;10545:47:::1;::::0;10554:13;;::::1;::::0;10569:6;;;::::1;::::0;10545:8:::1;:47::i;:::-;10603:15;::::0;:196:::1;::::0;-1:-1:-1;;;10603:196:0;;-1:-1:-1;;;;;10603:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10684:11;;10603:15:::1;::::0;10726:4;;10753::::1;::::0;10773:15:::1;::::0;10603:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5198:6:0;:14;;-1:-1:-1;;;;5198:14:0;;;-1:-1:-1;;;;10339:468:0:o;10239:92::-;10296:10;;:27;;-1:-1:-1;;;;;10296:10:0;;;;:27;;;;;10316:6;;10296:10;:27;:10;:27;10316:6;10296:10;:27;;;;;;;;;;;;;;;;;;;;;10239:92;:::o;1111:179::-;1169:7;;1201:5;1205:1;1201;:5;:::i;:::-;1189:17;;1230:1;1225;:6;;1217:46;;;;-1:-1:-1;;;1217:46:0;;12916:2:1;1217:46:0;;;12898:21:1;12955:2;12935:18;;;12928:30;12994:29;12974:18;;;12967:57;13041:18;;1217:46:0;12714:351:1;1298:136:0;1356:7;1383:43;1387:1;1390;1383:43;;;;;;;;;;;;;;;;;:3;:43::i;2034:189::-;2120:7;2155:12;2148:5;2140:28;;;;-1:-1:-1;;;2140:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2179:9:0;2191:5;2195:1;2191;: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;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;2255:247::-;2314:6;2367:2;2355:9;2346:7;2342:23;2338:32;2335:52;;;2383:1;2380;2373:12;2335:52;2422:9;2409:23;2441:31;2466:5;2441: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:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5301:251::-;5371:6;5424:2;5412:9;5403:7;5399:23;5395:32;5392:52;;;5440:1;5437;5430:12;5392:52;5472:9;5466:16;5491:31;5516:5;5491:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;7068:277::-;7135:6;7188:2;7176:9;7167:7;7163:23;7159:32;7156:52;;;7204:1;7201;7194:12;7156:52;7236:9;7230:16;7289:5;7282:13;7275:21;7268:5;7265:32;7255:60;;7311:1;7308;7301:12;10083:125;10148:9;;;10169:10;;;10166:36;;;10182:18;;:::i;10568:135::-;10607:3;10628:17;;;10625:43;;10648:18;;:::i;:::-;-1:-1:-1;10695:1:1;10684:13;;10568:135::o;10708:128::-;10775:9;;;10796:11;;;10793:37;;;10810:18;;:::i;10841:217::-;10881:1;10907;10897:132;;10951:10;10946:3;10942:20;10939:1;10932:31;10986:4;10983:1;10976:15;11014:4;11011:1;11004:15;10897:132;-1:-1:-1;11043:9:1;;10841:217::o;11597:127::-;11658:10;11653:3;11649:20;11646:1;11639:31;11689:4;11686:1;11679:15;11713:4;11710:1;11703:15;11729:980;11991:4;12039:3;12028:9;12024:19;12070:6;12059:9;12052:25;12096:2;12134:6;12129:2;12118:9;12114:18;12107:34;12177:3;12172:2;12161:9;12157:18;12150:31;12201:6;12236;12230:13;12267:6;12259;12252:22;12305:3;12294:9;12290:19;12283:26;;12344:2;12336:6;12332:15;12318:29;;12365:1;12375:195;12389:6;12386:1;12383:13;12375:195;;;12454:13;;-1:-1:-1;;;;;12450:39:1;12438:52;;12545:15;;;;12510:12;;;;12486:1;12404:9;12375:195;;;-1:-1:-1;;;;;;;12626:32:1;;;;12621:2;12606:18;;12599:60;-1:-1:-1;;;12690:3:1;12675:19;12668:35;12587:3;11729:980;-1:-1:-1;;;11729:980:1:o

ipfs://106ff09adfa800898fd5b36278516ffb941a32d774788d95cf9090c0d4dc9fb8