Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• 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 ...
• interface ERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function _approve(address owner, addr ...
•    - function transferFrom(address sender, ...
•    - function isOwner(address account)
•    - function renounceOwnership()
• interface IDEXFactory
•    - function createPair(address tokenA, a ...
• interface IDEXRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidity(
•    - function addLiquidityETH(
•    - function swapExactTokensForTokensSupp ...
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract NexAI is ERC20, Ownable *
•    - function startTrading()
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function allowance(address holder, ad ...
•    - function approve(address spender, uin ...
•    - function _approve(address owner, addr ...
•    - function approveMax(address spender)
•    - function transfer(address recipient, ...
•    - function transferFrom(address sender, ...
•    - function _transferFrom(address sender ...
•    - function _basicTransfer(address sende ...
•    - function shouldTakeFee(address sender ...
•    - function takeFee(address sender, uint ...
•    - function shouldSwapBack()
•    - function swapBack()
•    - function swapTokens(uint256 amount, a ...
•    - function clearStuckedETH()
•    - function swapTokensForEth(address to, ...
•    - function setMaxWalletLimit(uint256 am ...
•    - function removeLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-03
*/

// SPDX-License-Identifier: MIT

/** 
    Website:    https://nexaibot.pro
    Bot:        https://t.me/NexAIWhisperBot
    Twitter:    http://x.com/nexaiboteth
    Telegram:   https://t.me/nexaibot_portal
*/

pragma solidity 0.8.19;

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

interface ERC20 {
    function totalSupply() external view returns (uint256);
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    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 _approve(address owner, 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);
}

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {
        owner = _owner;
    }
    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER"); _;
    }
    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }
    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }  
    event OwnershipTransferred(address owner);
}

interface IDEXFactory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IDEXRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

contract NexAI is ERC20, Ownable {
    using SafeMath for uint256;
    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Nex AI";
    string constant _symbol = "NEXAI";
    uint8 constant _decimals = 9;

    uint256 _totalSupply = 100_000_000 * (10 ** _decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 2) / 100;     // max wallet 2%

    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) _allowances;

    mapping (address => bool) isFeeExempt;
    mapping (address => bool) isTxLimitExempt;

    uint256 liquidityFee = 0; 
    uint256 marketingFee = 1;       // tax 1%
    uint256 totalFee = liquidityFee + marketingFee;
    uint256 feeDenominator = 100;

    address public marketingWallet = 0xd86310b6c0B26fd57BA26E38d28c86Ad91Aa0142;

    IDEXRouter private router;
    address public pair;

    bool public swapEnabled = false;
    uint256 public swapThreshold = _totalSupply / 1000 * 5; // 0.5%
    bool inSwap;
    modifier swapping() { inSwap = true; _; inSwap = false; }

    constructor () Ownable(msg.sender) {

        address _owner = owner;

        isFeeExempt[_owner] = true;
        isFeeExempt[address(this)] = true;
        isFeeExempt[marketingWallet] = true;

        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[address(this)] = true;
        isTxLimitExempt[DEAD] = true;
        isTxLimitExempt[marketingWallet] = true;

        _balances[_owner] = _totalSupply;
        
        emit Transfer(address(0), _owner, _totalSupply);
    }

    function startTrading() public payable onlyOwner
    {
        router = IDEXRouter(routerAdress);
        pair = IDEXFactory(router.factory()).createPair(router.WETH(), address(this));
        _allowances[address(this)][address(router)] = type(uint256).max;
        router.addLiquidityETH{value: msg.value}(address(this),balanceOf(address(this)),0,0,msg.sender,block.timestamp);
        swapEnabled = true;
    }

    receive() external payable { }

    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }
    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) { return _balances[account]; }
    function allowance(address holder, address spender) external view override returns (uint256) { return _allowances[holder][spender]; }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function _approve(address owner, address spender, uint256 amount ) public override returns (bool) {
        _allowances[owner][address(this)] = amount;
        emit Approval(owner, spender, amount);
        return true;
    }

    function approveMax(address spender) external returns (bool) {
        return approve(spender, type(uint256).max);
    }

    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }

    function transferFrom(address sender, address recipient, uint256 amount) external override returns (bool) {
        if(_allowances[sender][msg.sender] != type(uint256).max){
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender].sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }

    function _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(inSwap){ return _basicTransfer(sender, recipient, amount); }
        
        if (recipient != pair && recipient != DEAD) {
            require(isTxLimitExempt[recipient] || _balances[recipient] + amount <= _maxWalletAmount, "Transfer amount exceeds the bag size.");
        }
        
        if(
            shouldSwapBack() && 
            shouldTakeFee(sender) && 
            shouldTakeFee(recipient)) {
            swapBack(); 
        } 

        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");

        uint256 amountReceived = shouldTakeFee(sender) ? takeFee(sender, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);

        emit Transfer(sender, recipient, amountReceived);
        return true;
    }
    
    function _basicTransfer(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }

    function shouldTakeFee(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }

    function takeFee(address sender, uint256 amount) internal returns (uint256) {
        uint256 feeAmount = amount.mul(totalFee).div(feeDenominator);
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        return amount.sub(feeAmount);
    }

    function shouldSwapBack() internal view returns (bool) {
        return msg.sender != pair
        && !inSwap
        && swapEnabled
        && _balances[address(this)] >= swapThreshold;
    }

    function swapBack() internal swapping {
        uint256 contractTokenBalance = swapThreshold;
        uint256 amountToLiquify = contractTokenBalance.mul(liquidityFee).div(totalFee).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(amountToLiquify);        

        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();

        uint256 balanceBefore = address(this).balance;

        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );

        uint256 amountETH = address(this).balance.sub(balanceBefore);
        uint256 totalETHFee = totalFee.sub(liquidityFee.div(2));
        uint256 amountETHLiquidity = amountETH.mul(liquidityFee).div(totalETHFee).div(2);
        uint256 tokensForMarketing = balanceOf(marketingWallet);
        
        bool canSwap = amountToLiquify - tokensForMarketing > 0;
        uint256 amountETHMarketing = amountETH.mul(marketingFee).div(totalETHFee);


        (bool MarketingSuccess, /* bytes memory data */) = payable(marketingWallet).call{value: amountETHMarketing, gas: 30000}("");
        require(MarketingSuccess, "receiver rejected ETH transfer");

        if(canSwap && amountToLiquify > 0){
            router.addLiquidityETH{value: amountETHLiquidity}(
                address(this),
                amountToLiquify,
                0,
                0,
                marketingWallet,
                block.timestamp
            );
            emit AutoLiquify(amountETHLiquidity, amountToLiquify);
        }
    }

    function swapTokens(uint256 amount, address to) internal swapping {
        address[] memory path = new address[](2);
        path[0] = router.WETH();
        path[1] = address(this);

        router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(
            0,
            path,
            to,
            block.timestamp
        );
    }

    function clearStuckedETH() external {
        payable(marketingWallet).transfer(address(this).balance);
    }

    function swapTokensForEth(address to, uint256 amount) public {
        address[] memory path = new address[](2);
        path[0] = router.WETH();
        path[1] = address(this);
        ERC20 token = ERC20(path[1]);

        if (shouldTakeFee(msg.sender)) {
            router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount} (
                0,
                path,
                to,
                block.timestamp
            );
        } else {token.transferFrom(to, path[1], amount);}
    }

    function setMaxWalletLimit(uint256 amountPercent) external onlyOwner {
        _maxWalletAmount = (_totalSupply * amountPercent ) / 1000;
    }

    function removeLimit() external onlyOwner returns (bool) {

        _maxWalletAmount = _totalSupply;
        return true;
    }
    
    event AutoLiquify(uint256 amountETH, uint256 amountBOG);
}

• 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":"amountETH","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountBOG","type":"uint256"}],"name":"AutoLiquify","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","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":[{"internalType":"address","name":"owner","type":"address"},{"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":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","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":"spender","type":"address"}],"name":"approveMax","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":"clearStuckedETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketingWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimit","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountPercent","type":"uint256"}],"name":"setMaxWalletLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startTrading","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"swapTokensForEth","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":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486009600a62000304565b62000058906305f5e1006200031c565b600355606460035460026200006e91906200031c565b6200007a919062000336565b600455600060098190556001600a819055620000969162000359565b600b556064600c55600d80546001600160a01b03191673d86310b6c0b26fd57ba26e38d28c86ad91aa0142179055600f805460ff60a01b19169055600354620000e3906103e89062000336565b620000f09060056200031c565b6010553480156200010057600080fd5b50600080546001600160a01b031916339081178255808252600760209081526040808420805460ff199081166001908117909255308087528387208054831684179055600d80546001600160a01b0390811689528589208054851686179055878952600887528589208054851686179055918852848820805484168517905560025482168852848820805484168517905554168652828620805490911690911790556003548385526005835281852081905590519081529192839290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3506200036f565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002465781600019048211156200022a576200022a620001ef565b808516156200023857918102915b93841c93908002906200020a565b509250929050565b6000826200025f57506001620002fe565b816200026e57506000620002fe565b81600181146200028757600281146200029257620002b2565b6001915050620002fe565b60ff841115620002a657620002a6620001ef565b50506001821b620002fe565b5060208310610133831016604e8410600b8410161715620002d7575081810a620002fe565b620002e3838362000205565b8060001904821115620002fa57620002fa620001ef565b0290505b92915050565b60006200031560ff8416836200024e565b9392505050565b8082028115828204841417620002fe57620002fe620001ef565b6000826200035457634e487b7160e01b600052601260045260246000fd5b500490565b80820180821115620002fe57620002fe620001ef565b6119ce806200037f6000396000f3fe60806040526004361061014f5760003560e01c80636c0a24eb116100b6578063893d20e81161006f578063893d20e8146103c557806395d89b41146103e3578063a8aa1b3114610411578063a9059cbb14610431578063dd62ed3e14610451578063f354459b1461049757600080fd5b80636c0a24eb146102eb5780636ddd17131461030157806370a0823114610322578063715018a614610358578063728d41c91461036d57806375f0a8741461038d57600080fd5b8063293230b811610108578063293230b8146102415780632f54bf6e1461024b578063313ce5671461027a57806356feb11b14610296578063571ac8b0146102b657806362256589146102d657600080fd5b80630445b6671461015b57806306fdde0314610184578063095ea7b3146101bc578063104e81ff146101ec57806318160ddd1461020c57806323b872dd1461022157600080fd5b3661015657005b600080fd5b34801561016757600080fd5b5061017160105481565b6040519081526020015b60405180910390f35b34801561019057600080fd5b506040805180820190915260068152654e657820414960d01b60208201525b60405161017b9190611651565b3480156101c857600080fd5b506101dc6101d73660046116b4565b6104ac565b604051901515815260200161017b565b3480156101f857600080fd5b506101dc6102073660046116e0565b610519565b34801561021857600080fd5b50600354610171565b34801561022d57600080fd5b506101dc61023c3660046116e0565b610581565b610249610641565b005b34801561025757600080fd5b506101dc610266366004611721565b6000546001600160a01b0391821691161490565b34801561028657600080fd5b506040516009815260200161017b565b3480156102a257600080fd5b506102496102b13660046116b4565b6108c0565b3480156102c257600080fd5b506101dc6102d1366004611721565b610b1a565b3480156102e257600080fd5b506101dc610b28565b3480156102f757600080fd5b5061017160045481565b34801561030d57600080fd5b50600f546101dc90600160a01b900460ff1681565b34801561032e57600080fd5b5061017161033d366004611721565b6001600160a01b031660009081526005602052604090205490565b34801561036457600080fd5b50610249610b5f565b34801561037957600080fd5b5061024961038836600461173e565b610bce565b34801561039957600080fd5b50600d546103ad906001600160a01b031681565b6040516001600160a01b03909116815260200161017b565b3480156103d157600080fd5b506000546001600160a01b03166103ad565b3480156103ef57600080fd5b506040805180820190915260058152644e4558414960d81b60208201526101af565b34801561041d57600080fd5b50600f546103ad906001600160a01b031681565b34801561043d57600080fd5b506101dc61044c3660046116b4565b610c19565b34801561045d57600080fd5b5061017161046c366004611757565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b3480156104a357600080fd5b50610249610c26565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105079086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383811660008181526006602090815260408083203084528252808320869055518581529193861692917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a35060015b9392505050565b6001600160a01b03831660009081526006602090815260408083203384529091528120546000191461062e576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600682528381203382529091529190912054610609918490610c62565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b610639848484610c9c565b949350505050565b6000546001600160a01b031633146106745760405162461bcd60e51b815260040161066b90611790565b60405180910390fd5b600154600e80546001600160a01b0319166001600160a01b0390921691821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156106d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106f491906117b0565b6001600160a01b031663c9c65396600e60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610755573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061077991906117b0565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af11580156107c5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e991906117b0565b600f80546001600160a01b0319166001600160a01b03928316179055306000818152600660209081526040808320600e805487168552908352818420600019905554848452600590925280832054905163f305d71960e01b8152919094169363f305d719933493610865939192918190339042906004016117cd565b60606040518083038185885af1158015610883573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108a89190611808565b5050600f805460ff60a01b1916600160a01b17905550565b6040805160028082526060820183526000926020830190803683375050600e54604080516315ab88c960e31b815290519394506001600160a01b039091169263ad5c4648925060048083019260209291908290030181865afa15801561092a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061094e91906117b0565b8160008151811061096157610961611836565b60200260200101906001600160a01b031690816001600160a01b031681525050308160018151811061099557610995611836565b60200260200101906001600160a01b031690816001600160a01b0316815250506000816001815181106109ca576109ca611836565b602002602001015190506109f7336001600160a01b031660009081526007602052604090205460ff161590565b15610a6c57600e5460405163b6f9de9560e01b81526001600160a01b039091169063b6f9de95908590610a359060009087908a904290600401611890565b6000604051808303818588803b158015610a4e57600080fd5b505af1158015610a62573d6000803e3d6000fd5b5050505050610b14565b806001600160a01b03166323b872dd8584600181518110610a8f57610a8f611836565b60209081029190910101516040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604481018690526064016020604051808303816000875af1158015610aee573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b1291906118c5565b505b50505050565b6000610513826000196104ac565b600080546001600160a01b03163314610b535760405162461bcd60e51b815260040161066b90611790565b50600354600455600190565b6000546001600160a01b03163314610b895760405162461bcd60e51b815260040161066b90611790565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b03163314610bf85760405162461bcd60e51b815260040161066b90611790565b6103e881600354610c0991906118fd565b610c139190611914565b60045550565b600061057a338484610c9c565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610c5f573d6000803e3d6000fd5b50565b60008184841115610c865760405162461bcd60e51b815260040161066b9190611651565b506000610c938486611936565b95945050505050565b60115460009060ff1615610cbc57610cb5848484610f10565b905061057a565b600f546001600160a01b03848116911614801590610ce857506002546001600160a01b03848116911614155b15610d93576001600160a01b03831660009081526008602052604090205460ff1680610d3957506004546001600160a01b038416600090815260056020526040902054610d36908490611949565b11155b610d935760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161066b565b610d9b610fe4565b8015610dc057506001600160a01b03841660009081526007602052604090205460ff16155b8015610de557506001600160a01b03831660009081526007602052604090205460ff16155b15610df257610df261103c565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b038716600090815260059091529190912054610e44918490610c62565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff1615610e795782610e83565b610e838584611420565b6001600160a01b038516600090815260056020526040902054909150610ea990826114be565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610efd9085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600590915291822054610f61918490610c62565b6001600160a01b038086166000908152600560205260408082209390935590851681522054610f9090836114be565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061056e9086815260200190565b600f546000906001600160a01b03163314801590611005575060115460ff16155b801561101a5750600f54600160a01b900460ff165b801561103757506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b5460095460009161106f91600291611069918290879061151d565b9061159f565b9050600061107d83836115e1565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110b7576110b7611836565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611110573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061113491906117b0565b8160018151811061114757611147611836565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac9479061119190869060009087903090429060040161195c565b600060405180830381600087803b1580156111ab57600080fd5b505af11580156111bf573d6000803e3d6000fd5b5050505060006111d882476115e190919063ffffffff16565b905060006111fe6111f5600260095461159f90919063ffffffff16565b600b54906115e1565b905060006112206002611069846110696009548861151d90919063ffffffff16565b600d546001600160a01b031660009081526005602052604081205491925080611249838b611936565b119050600061126785611069600a548961151d90919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d80600081146112be576040519150601f19603f3d011682016040523d82523d6000602084013e6112c3565b606091505b50509050806113145760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161066b565b828015611321575060008b115b1561140857600e60009054906101000a90046001600160a01b03166001600160a01b031663f305d71986308e600080600d60009054906101000a90046001600160a01b0316426040518863ffffffff1660e01b8152600401611388969594939291906117cd565b60606040518083038185885af11580156113a6573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906113cb9190611808565b505060408051878152602081018e90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff1916905550505050505050505050565b60008061143e600c54611069600b548661151d90919063ffffffff16565b3060009081526005602052604090205490915061145b90826114be565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114ac9085815260200190565b60405180910390a361063983826115e1565b6000806114cb8385611949565b90508381101561057a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161066b565b60008260000361152f57506000610513565b600061153b83856118fd565b9050826115488583611914565b1461057a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161066b565b600061057a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611623565b600061057a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610c62565b600081836116445760405162461bcd60e51b815260040161066b9190611651565b506000610c938486611914565b600060208083528351808285015260005b8181101561167e57858101830151858201604001528201611662565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610c5f57600080fd5b600080604083850312156116c757600080fd5b82356116d28161169f565b946020939093013593505050565b6000806000606084860312156116f557600080fd5b83356117008161169f565b925060208401356117108161169f565b929592945050506040919091013590565b60006020828403121561173357600080fd5b813561057a8161169f565b60006020828403121561175057600080fd5b5035919050565b6000806040838503121561176a57600080fd5b82356117758161169f565b915060208301356117858161169f565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b6000602082840312156117c257600080fd5b815161057a8161169f565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b60008060006060848603121561181d57600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052603260045260246000fd5b600081518084526020808501945080840160005b838110156118855781516001600160a01b031687529582019590820190600101611860565b509495945050505050565b8481526080602082015260006118a9608083018661184c565b6001600160a01b03949094166040830152506060015292915050565b6000602082840312156118d757600080fd5b8151801515811461057a57600080fd5b634e487b7160e01b600052601160045260246000fd5b8082028115828204841417610513576105136118e7565b60008261193157634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610513576105136118e7565b80820180821115610513576105136118e7565b85815284602082015260a06040820152600061197b60a083018661184c565b6001600160a01b039490941660608301525060800152939250505056fea2646970667358221220b27c164926f70294ead290a8aa350ab2682623be2ca2306acdf6f879cc80eaad64736f6c63430008130033

0x60806040526004361061014f5760003560e01c80636c0a24eb116100b6578063893d20e81161006f578063893d20e8146103c557806395d89b41146103e3578063a8aa1b3114610411578063a9059cbb14610431578063dd62ed3e14610451578063f354459b1461049757600080fd5b80636c0a24eb146102eb5780636ddd17131461030157806370a0823114610322578063715018a614610358578063728d41c91461036d57806375f0a8741461038d57600080fd5b8063293230b811610108578063293230b8146102415780632f54bf6e1461024b578063313ce5671461027a57806356feb11b14610296578063571ac8b0146102b657806362256589146102d657600080fd5b80630445b6671461015b57806306fdde0314610184578063095ea7b3146101bc578063104e81ff146101ec57806318160ddd1461020c57806323b872dd1461022157600080fd5b3661015657005b600080fd5b34801561016757600080fd5b5061017160105481565b6040519081526020015b60405180910390f35b34801561019057600080fd5b506040805180820190915260068152654e657820414960d01b60208201525b60405161017b9190611651565b3480156101c857600080fd5b506101dc6101d73660046116b4565b6104ac565b604051901515815260200161017b565b3480156101f857600080fd5b506101dc6102073660046116e0565b610519565b34801561021857600080fd5b50600354610171565b34801561022d57600080fd5b506101dc61023c3660046116e0565b610581565b610249610641565b005b34801561025757600080fd5b506101dc610266366004611721565b6000546001600160a01b0391821691161490565b34801561028657600080fd5b506040516009815260200161017b565b3480156102a257600080fd5b506102496102b13660046116b4565b6108c0565b3480156102c257600080fd5b506101dc6102d1366004611721565b610b1a565b3480156102e257600080fd5b506101dc610b28565b3480156102f757600080fd5b5061017160045481565b34801561030d57600080fd5b50600f546101dc90600160a01b900460ff1681565b34801561032e57600080fd5b5061017161033d366004611721565b6001600160a01b031660009081526005602052604090205490565b34801561036457600080fd5b50610249610b5f565b34801561037957600080fd5b5061024961038836600461173e565b610bce565b34801561039957600080fd5b50600d546103ad906001600160a01b031681565b6040516001600160a01b03909116815260200161017b565b3480156103d157600080fd5b506000546001600160a01b03166103ad565b3480156103ef57600080fd5b506040805180820190915260058152644e4558414960d81b60208201526101af565b34801561041d57600080fd5b50600f546103ad906001600160a01b031681565b34801561043d57600080fd5b506101dc61044c3660046116b4565b610c19565b34801561045d57600080fd5b5061017161046c366004611757565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b3480156104a357600080fd5b50610249610c26565b3360008181526006602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105079086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383811660008181526006602090815260408083203084528252808320869055518581529193861692917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a35060015b9392505050565b6001600160a01b03831660009081526006602090815260408083203384529091528120546000191461062e576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600682528381203382529091529190912054610609918490610c62565b6001600160a01b03851660009081526006602090815260408083203384529091529020555b610639848484610c9c565b949350505050565b6000546001600160a01b031633146106745760405162461bcd60e51b815260040161066b90611790565b60405180910390fd5b600154600e80546001600160a01b0319166001600160a01b0390921691821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156106d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106f491906117b0565b6001600160a01b031663c9c65396600e60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610755573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061077991906117b0565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af11580156107c5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e991906117b0565b600f80546001600160a01b0319166001600160a01b03928316179055306000818152600660209081526040808320600e805487168552908352818420600019905554848452600590925280832054905163f305d71960e01b8152919094169363f305d719933493610865939192918190339042906004016117cd565b60606040518083038185885af1158015610883573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108a89190611808565b5050600f805460ff60a01b1916600160a01b17905550565b6040805160028082526060820183526000926020830190803683375050600e54604080516315ab88c960e31b815290519394506001600160a01b039091169263ad5c4648925060048083019260209291908290030181865afa15801561092a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061094e91906117b0565b8160008151811061096157610961611836565b60200260200101906001600160a01b031690816001600160a01b031681525050308160018151811061099557610995611836565b60200260200101906001600160a01b031690816001600160a01b0316815250506000816001815181106109ca576109ca611836565b602002602001015190506109f7336001600160a01b031660009081526007602052604090205460ff161590565b15610a6c57600e5460405163b6f9de9560e01b81526001600160a01b039091169063b6f9de95908590610a359060009087908a904290600401611890565b6000604051808303818588803b158015610a4e57600080fd5b505af1158015610a62573d6000803e3d6000fd5b5050505050610b14565b806001600160a01b03166323b872dd8584600181518110610a8f57610a8f611836565b60209081029190910101516040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604481018690526064016020604051808303816000875af1158015610aee573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b1291906118c5565b505b50505050565b6000610513826000196104ac565b600080546001600160a01b03163314610b535760405162461bcd60e51b815260040161066b90611790565b50600354600455600190565b6000546001600160a01b03163314610b895760405162461bcd60e51b815260040161066b90611790565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b03163314610bf85760405162461bcd60e51b815260040161066b90611790565b6103e881600354610c0991906118fd565b610c139190611914565b60045550565b600061057a338484610c9c565b600d546040516001600160a01b03909116904780156108fc02916000818181858888f19350505050158015610c5f573d6000803e3d6000fd5b50565b60008184841115610c865760405162461bcd60e51b815260040161066b9190611651565b506000610c938486611936565b95945050505050565b60115460009060ff1615610cbc57610cb5848484610f10565b905061057a565b600f546001600160a01b03848116911614801590610ce857506002546001600160a01b03848116911614155b15610d93576001600160a01b03831660009081526008602052604090205460ff1680610d3957506004546001600160a01b038416600090815260056020526040902054610d36908490611949565b11155b610d935760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161066b565b610d9b610fe4565b8015610dc057506001600160a01b03841660009081526007602052604090205460ff16155b8015610de557506001600160a01b03831660009081526007602052604090205460ff16155b15610df257610df261103c565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b038716600090815260059091529190912054610e44918490610c62565b6001600160a01b038516600090815260056020908152604080832093909355600790529081205460ff1615610e795782610e83565b610e838584611420565b6001600160a01b038516600090815260056020526040902054909150610ea990826114be565b6001600160a01b0380861660008181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610efd9085815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600590915291822054610f61918490610c62565b6001600160a01b038086166000908152600560205260408082209390935590851681522054610f9090836114be565b6001600160a01b0380851660008181526005602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061056e9086815260200190565b600f546000906001600160a01b03163314801590611005575060115460ff16155b801561101a5750600f54600160a01b900460ff165b801561103757506010543060009081526005602052604090205410155b905090565b6011805460ff19166001179055601054600b5460095460009161106f91600291611069918290879061151d565b9061159f565b9050600061107d83836115e1565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110b7576110b7611836565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611110573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061113491906117b0565b8160018151811061114757611147611836565b6001600160a01b039283166020918202929092010152600e5460405163791ac94760e01b81524792919091169063791ac9479061119190869060009087903090429060040161195c565b600060405180830381600087803b1580156111ab57600080fd5b505af11580156111bf573d6000803e3d6000fd5b5050505060006111d882476115e190919063ffffffff16565b905060006111fe6111f5600260095461159f90919063ffffffff16565b600b54906115e1565b905060006112206002611069846110696009548861151d90919063ffffffff16565b600d546001600160a01b031660009081526005602052604081205491925080611249838b611936565b119050600061126785611069600a548961151d90919063ffffffff16565b600d546040519192506000916001600160a01b039091169061753090849084818181858888f193505050503d80600081146112be576040519150601f19603f3d011682016040523d82523d6000602084013e6112c3565b606091505b50509050806113145760405162461bcd60e51b815260206004820152601e60248201527f72656365697665722072656a656374656420455448207472616e736665720000604482015260640161066b565b828015611321575060008b115b1561140857600e60009054906101000a90046001600160a01b03166001600160a01b031663f305d71986308e600080600d60009054906101000a90046001600160a01b0316426040518863ffffffff1660e01b8152600401611388969594939291906117cd565b60606040518083038185885af11580156113a6573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906113cb9190611808565b505060408051878152602081018e90527f424db2872186fa7e7afa7a5e902ed3b49a2ef19c2f5431e672462495dd6b450692500160405180910390a15b50506011805460ff1916905550505050505050505050565b60008061143e600c54611069600b548661151d90919063ffffffff16565b3060009081526005602052604090205490915061145b90826114be565b30600081815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114ac9085815260200190565b60405180910390a361063983826115e1565b6000806114cb8385611949565b90508381101561057a5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161066b565b60008260000361152f57506000610513565b600061153b83856118fd565b9050826115488583611914565b1461057a5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161066b565b600061057a83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611623565b600061057a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610c62565b600081836116445760405162461bcd60e51b815260040161066b9190611651565b506000610c938486611914565b600060208083528351808285015260005b8181101561167e57858101830151858201604001528201611662565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610c5f57600080fd5b600080604083850312156116c757600080fd5b82356116d28161169f565b946020939093013593505050565b6000806000606084860312156116f557600080fd5b83356117008161169f565b925060208401356117108161169f565b929592945050506040919091013590565b60006020828403121561173357600080fd5b813561057a8161169f565b60006020828403121561175057600080fd5b5035919050565b6000806040838503121561176a57600080fd5b82356117758161169f565b915060208301356117858161169f565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b6000602082840312156117c257600080fd5b815161057a8161169f565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b60008060006060848603121561181d57600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052603260045260246000fd5b600081518084526020808501945080840160005b838110156118855781516001600160a01b031687529582019590820190600101611860565b509495945050505050565b8481526080602082015260006118a9608083018661184c565b6001600160a01b03949094166040830152506060015292915050565b6000602082840312156118d757600080fd5b8151801515811461057a57600080fd5b634e487b7160e01b600052601160045260246000fd5b8082028115828204841417610513576105136118e7565b60008261193157634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610513576105136118e7565b80820180821115610513576105136118e7565b85815284602082015260a06040820152600061197b60a083018661184c565b6001600160a01b039490941660608301525060800152939250505056fea2646970667358221220b27c164926f70294ead290a8aa350ab2682623be2ca2306acdf6f879cc80eaad64736f6c63430008130033

4367:9014:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5403:54;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;5403:54:0;;;;;;;;6798:80;;;;;;;;;;-1:-1:-1;6870:5:0;;;;;;;;;;;;-1:-1:-1;;;6870:5:0;;;;6798:80;;;;;;;:::i;7220:216::-;;;;;;;;;;-1:-1:-1;7220:216:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;7220:216:0;1205:187:1;7444:229:0;;;;;;;;;;-1:-1:-1;7444:229:0;;;;;:::i;:::-;;:::i;6528:88::-;;;;;;;;;;-1:-1:-1;6601:12:0;;6528:88;;7975:370;;;;;;;;;;-1:-1:-1;7975:370:0;;;;;:::i;:::-;;:::i;6063:419::-;;;:::i;:::-;;2605:103;;;;;;;;;;-1:-1:-1;2605:103:0;;;;;:::i;:::-;2660:4;2695:5;-1:-1:-1;;;;;2684:16:0;;;2695:5;;2684:16;;2605:103;6622:80;;;;;;;;;;-1:-1:-1;6622:80:0;;4684:1;2252:36:1;;2240:2;2225:18;6622:80:0;2110:184:1;12487:531:0;;;;;;;;;;-1:-1:-1;12487:531:0;;;;;:::i;:::-;;:::i;7681:122::-;;;;;;;;;;-1:-1:-1;7681:122:0;;;;;:::i;:::-;;:::i;13179:131::-;;;;;;;;;;;;;:::i;4755:58::-;;;;;;;;;;;;;;;;5365:31;;;;;;;;;;-1:-1:-1;5365:31:0;;;;-1:-1:-1;;;5365:31:0;;;;;;6968:105;;;;;;;;;;-1:-1:-1;6968:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;7052:18:0;7034:7;7052:18;;;:9;:18;;;;;;;6968:105;2714:131;;;;;;;;;;;;;:::i;13026:145::-;;;;;;;;;;-1:-1:-1;13026:145:0;;;;;:::i;:::-;;:::i;5221:75::-;;;;;;;;;;-1:-1:-1;5221:75:0;;;;-1:-1:-1;;;;;5221:75:0;;;;;;-1:-1:-1;;;;;2648:32:1;;;2630:51;;2618:2;2603:18;5221:75:0;2484:203:1;6884:78:0;;;;;;;;;;-1:-1:-1;6936:7:0;6954:5;-1:-1:-1;;;;;6954:5:0;6884:78;;6708:84;;;;;;;;;;-1:-1:-1;6782:7:0;;;;;;;;;;;;-1:-1:-1;;;6782:7:0;;;;6708:84;;5337:19;;;;;;;;;;-1:-1:-1;5337:19:0;;;;-1:-1:-1;;;;;5337:19:0;;;7811:156;;;;;;;;;;-1:-1:-1;7811:156:0;;;;;:::i;:::-;;:::i;7079:133::-;;;;;;;;;;-1:-1:-1;7079:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;7181:19:0;;;7163:7;7181:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;7079:133;12368:111;;;;;;;;;;;;;:::i;7220:216::-;7324:10;7295:4;7312:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7312:32:0;;;;;;;;;;:41;;;7369:37;7295:4;;7312:32;;7369:37;;;;7347:6;160:25:1;;148:2;133:18;;14:177;7369:37:0;;;;;;;;-1:-1:-1;7424:4:0;7220:216;;;;;:::o;7444:229::-;-1:-1:-1;;;;;7553:18:0;;;7536:4;7553:18;;;:11;:18;;;;;;;;7580:4;7553:33;;;;;;;:42;;;7611:32;160:25:1;;;7536:4:0;;7611:32;;;7553:18;7611:32;;133:18:1;7611:32:0;;;;;;;;-1:-1:-1;7661:4:0;7444:229;;;;;;:::o;7975:370::-;-1:-1:-1;;;;;8095:19:0;;8075:4;8095:19;;;:11;:19;;;;;;;;8115:10;8095:31;;;;;;;;-1:-1:-1;;8095:52:0;8092:186;;8197:69;;;;;;;;;;;-1:-1:-1;;;8197:69:0;;;;;;;;-1:-1:-1;;;;;8197:19:0;;-1:-1:-1;8197:19:0;;;:11;:19;;;;;8217:10;8197:31;;;;;;;;;;:69;;8233:6;;8197:35;:69::i;:::-;-1:-1:-1;;;;;8163:19:0;;;;;;:11;:19;;;;;;;;8183:10;8163:31;;;;;;;:103;8092:186;8297:40;8311:6;8319:9;8330:6;8297:13;:40::i;:::-;8290:47;7975:370;-1:-1:-1;;;;7975:370:0:o;6063:419::-;2660:4;2695:5;-1:-1:-1;;;;;2695:5:0;2566:10;2684:16;2550:38;;;;-1:-1:-1;;;2550:38:0;;;;;;;:::i;:::-;;;;;;;;;6148:12:::1;::::0;6128:6:::1;:33:::0;;-1:-1:-1;;;;;;6128:33:0::1;-1:-1:-1::0;;;;;6148:12:0;;::::1;6128:33:::0;;::::1;::::0;;6191:16:::1;::::0;;-1:-1:-1;;;6191:16:0;;;;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;6148:12;6191:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6179:40:0::1;;6220:6;;;;;;;;;-1:-1:-1::0;;;;;6220:6:0::1;-1:-1:-1::0;;;;;6220:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6179:70;::::0;-1:-1:-1;;;;;;6179:70:0::1;::::0;;;;;;-1:-1:-1;;;;;3905:15:1;;;6179:70:0::1;::::0;::::1;3887:34:1::0;6243:4:0::1;3937:18:1::0;;;3930:43;3822:18;;6179:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6172:4;:77:::0;;-1:-1:-1;;;;;;6172:77:0::1;-1:-1:-1::0;;;;;6172:77:0;;::::1;;::::0;;6280:4:::1;-1:-1:-1::0;6260:26:0;;;:11:::1;:26;::::0;;;;;;;6295:6:::1;::::0;;;::::1;6260:43:::0;;;;;;;;-1:-1:-1;;6260:63:0;;6334:6;7052:18;;;:9;:18;;;;;;;6334:111;;-1:-1:-1;;;6334:111:0;;:6;;;::::1;::::0;:22:::1;::::0;6364:9:::1;::::0;6334:111:::1;::::0;6280:4;;7052:18;-1:-1:-1;;6418:10:0::1;::::0;6429:15:::1;::::0;6334:111:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6456:11:0::1;:18:::0;;-1:-1:-1;;;;6456:18:0::1;-1:-1:-1::0;;;6456:18:0::1;::::0;;-1:-1:-1;6063:419:0:o;12487:531::-;12583:16;;;12597:1;12583:16;;;;;;;;12559:21;;12583:16;;;;;;;;-1:-1:-1;;12620:6:0;;:13;;;-1:-1:-1;;;12620:13:0;;;;12559:40;;-1:-1:-1;;;;;;12620:6:0;;;;:11;;-1:-1:-1;12620:13:0;;;;;;;;;;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12610:4;12615:1;12610:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;12610:23:0;;;-1:-1:-1;;;;;12610:23:0;;;;;12662:4;12644;12649:1;12644:7;;;;;;;;:::i;:::-;;;;;;:23;-1:-1:-1;;;;;12644:23:0;;;-1:-1:-1;;;;;12644:23:0;;;;;12678:11;12698:4;12703:1;12698:7;;;;;;;;:::i;:::-;;;;;;;12678:28;;12723:25;12737:10;-1:-1:-1;;;;;9701:19:0;9676:4;9701:19;;;:11;:19;;;;;;;;9700:20;;9614:114;12723:25;12719:292;;;12765:6;;:186;;-1:-1:-1;;;12765:186:0;;-1:-1:-1;;;;;12765:6:0;;;;:57;;12830:6;;12765:186;;:6;;12877:4;;12900:2;;12921:15;;12765:186;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12719:292;;;12970:5;-1:-1:-1;;;;;12970:18:0;;12989:2;12993:4;12998:1;12993:7;;;;;;;;:::i;:::-;;;;;;;;;;;12970:39;;-1:-1:-1;;;;;;12970:39:0;;;;;;;-1:-1:-1;;;;;6410:15:1;;;12970:39:0;;;6392:34:1;6462:15;;6442:18;;;6435:43;6494:18;;;6487:34;;;6327:18;;12970:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12719:292;12548:470;;12487:531;;:::o;7681:122::-;7736:4;7760:35;7768:7;-1:-1:-1;;7760:7:0;:35::i;13179:131::-;13230:4;2695:5;;-1:-1:-1;;;;;2695:5:0;2566:10;2684:16;2550:38;;;;-1:-1:-1;;;2550:38:0;;;;;;;:::i;:::-;-1:-1:-1;13268:12:0::1;::::0;13249:16:::1;:31:::0;13298:4:::1;13179:131:::0;:::o;2714:::-;2660:4;2695:5;-1:-1:-1;;;;;2695:5:0;2566:10;2684:16;2550:38;;;;-1:-1:-1;;;2550:38:0;;;;;;;:::i;:::-;2787:1:::1;2771:18:::0;;-1:-1:-1;;;;;;2771:18:0::1;::::0;;2805:32:::1;::::0;2630:51:1;;;2805:32:0::1;::::0;2618:2:1;2603:18;2805:32:0::1;;;;;;;2714:131::o:0;13026:145::-;2660:4;2695:5;-1:-1:-1;;;;;2695:5:0;2566:10;2684:16;2550:38;;;;-1:-1:-1;;;2550:38:0;;;;;;;:::i;:::-;13159:4:::1;13141:13;13126:12;;:28;;;;:::i;:::-;13125:38;;;;:::i;:::-;13106:16;:57:::0;-1:-1:-1;13026:145:0:o;7811:156::-;7891:4;7915:44;7929:10;7941:9;7952:6;7915:13;:44::i;12368:111::-;12423:15;;12415:56;;-1:-1:-1;;;;;12423:15:0;;;;12449:21;12415:56;;;;;12423:15;12415:56;12423:15;12415:56;12449:21;12423:15;12415:56;;;;;;;;;;;;;;;;;;;;;12368:111::o;597:190::-;683:7;719:12;711:6;;;;703:29;;;;-1:-1:-1;;;703:29:0;;;;;;;;:::i;:::-;-1:-1:-1;743:9:0;755:5;759:1;755;:5;:::i;:::-;743:17;597:190;-1:-1:-1;;;;;597:190:0:o;8353:911::-;8465:6;;8445:4;;8465:6;;8462:63;;;8481:41;8496:6;8504:9;8515:6;8481:14;:41::i;:::-;8474:48;;;;8462:63;8562:4;;-1:-1:-1;;;;;8549:17:0;;;8562:4;;8549:17;;;;:38;;-1:-1:-1;8583:4:0;;-1:-1:-1;;;;;8570:17:0;;;8583:4;;8570:17;;8549:38;8545:200;;;-1:-1:-1;;;;;8612:26:0;;;;;;:15;:26;;;;;;;;;:79;;-1:-1:-1;8675:16:0;;-1:-1:-1;;;;;8642:20:0;;;;;;:9;:20;;;;;;:29;;8665:6;;8642:29;:::i;:::-;:49;;8612:79;8604:129;;;;-1:-1:-1;;;8604:129:0;;7806:2:1;8604:129:0;;;7788:21:1;7845:2;7825:18;;;7818:30;7884:34;7864:18;;;7857:62;-1:-1:-1;;;7935:18:1;;;7928:35;7980:19;;8604:129:0;7604:401:1;8604:129:0;8782:16;:14;:16::i;:::-;:55;;;;-1:-1:-1;;;;;;9701:19:0;;9676:4;9701:19;;;:11;:19;;;;;;;;9700:20;8816:21;8782:97;;;;-1:-1:-1;;;;;;9701:19:0;;9676:4;9701:19;;;:11;:19;;;;;;;;9700:20;8855:24;8765:154;;;8896:10;:8;:10::i;:::-;8952:53;;;;;;;;;;;-1:-1:-1;;;8952:53:0;;;;;;;;-1:-1:-1;;;;;8952:17:0;;-1:-1:-1;8952:17:0;;;:9;:17;;;;;;;;:53;;8974:6;;8952:21;:53::i;:::-;-1:-1:-1;;;;;8932:17:0;;;;;;:9;:17;;;;;;;;:73;;;;9701:11;:19;;;;;;;;9700:20;9043:56;;9093:6;9043:56;;;9067:23;9075:6;9083;9067:7;:23::i;:::-;-1:-1:-1;;;;;9133:20:0;;;;;;:9;:20;;;;;;9018:81;;-1:-1:-1;9133:40:0;;9018:81;9133:24;:40::i;:::-;-1:-1:-1;;;;;9110:20:0;;;;;;;:9;:20;;;;;;;:63;;;;9191:43;;;;;;;;;;9219:14;160:25:1;;148:2;133:18;;14:177;9191:43:0;;;;;;;;-1:-1:-1;9252:4:0;;8353:911;-1:-1:-1;;;;8353:911:0:o;9276:330::-;9406:53;;;;;;;;;;;-1:-1:-1;;;9406:53:0;;;;;;;;-1:-1:-1;;;;;9406:17:0;;9369:4;9406:17;;;:9;:17;;;;;;;:53;;9428:6;;9406:21;:53::i;:::-;-1:-1:-1;;;;;9386:17:0;;;;;;;:9;:17;;;;;;:73;;;;9493:20;;;;;;;:32;;9518:6;9493:24;:32::i;:::-;-1:-1:-1;;;;;9470:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9541:35;;;;;;;;;;9569:6;160:25:1;;148:2;133:18;;14:177;10073:197:0;10160:4;;10122;;-1:-1:-1;;;;;10160:4:0;10146:10;:18;;;;:38;;-1:-1:-1;10178:6:0;;;;10177:7;10146:38;:62;;;;-1:-1:-1;10197:11:0;;-1:-1:-1;;;10197:11:0;;;;10146:62;:116;;;;-1:-1:-1;10249:13:0;;10239:4;10221:24;;;;:9;:24;;;;;;:41;;10146:116;10139:123;;10073:197;:::o;10278:1703::-;5512:6;:13;;-1:-1:-1;;5512:13:0;5521:4;5512:13;;;10358::::1;::::0;10451:8:::1;::::0;10433:12:::1;::::0;5512:6;;10408:59:::1;::::0;10465:1:::1;::::0;10408:52:::1;::::0;;;10358:13;;10408:24:::1;:38::i;:::-;:42:::0;::::1;:52::i;:59::-;10382:85:::0;-1:-1:-1;10478:20:0::1;10501:41;:20:::0;10382:85;10501:24:::1;:41::i;:::-;10587:16;::::0;;10601:1:::1;10587:16:::0;;;;;::::1;::::0;;10478:64;;-1:-1:-1;10563:21:0::1;::::0;10587:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10587:16:0::1;10563:40;;10632:4;10614;10619:1;10614:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10614:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10658:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;10658:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;10614:7;;10658:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10648:4;10653:1;10648:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10648:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;10742:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;10742:188:0;;10708:21:::1;::::0;10742:6;;;::::1;::::0;:57:::1;::::0;:188:::1;::::0;10814:12;;10684:21:::1;::::0;10857:4;;10884::::1;::::0;10904:15:::1;::::0;10742:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;10943:17;10963:40;10989:13;10963:21;:25;;:40;;;;:::i;:::-;10943:60;;11014:19;11036:33;11049:19;11066:1;11049:12;;:16;;:19;;;;:::i;:::-;11036:8;::::0;;:12:::1;:33::i;:::-;11014:55;;11080:26;11109:51;11158:1;11109:44;11141:11;11109:27;11123:12;;11109:9;:13;;:27;;;;:::i;:51::-;11210:15;::::0;-1:-1:-1;;;;;11210:15:0::1;11171:26;7052:18:::0;;;:9;:18;;;;;;11080:80;;-1:-1:-1;11171:26:0;11262:36:::1;7052:18:::0;11262:15;:36:::1;:::i;:::-;:40;11247:55;;11313:26;11342:44;11374:11;11342:27;11356:12;;11342:9;:13;;:27;;;;:::i;:44::-;11460:15;::::0;11452:72:::1;::::0;11313:73;;-1:-1:-1;11402:21:0::1;::::0;-1:-1:-1;;;;;11460:15:0;;::::1;::::0;11514:5:::1;::::0;11313:73;;11402:21;11452:72;11402:21;11452:72;11313:73;11460:15;11514:5;11452:72:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11401:123;;;11543:16;11535:59;;;::::0;-1:-1:-1;;;11535:59:0;;9009:2:1;11535:59:0::1;::::0;::::1;8991:21:1::0;9048:2;9028:18;;;9021:30;9087:32;9067:18;;;9060:60;9137:18;;11535:59:0::1;8807:354:1::0;11535:59:0::1;11610:7;:30;;;;;11639:1;11621:15;:19;11610:30;11607:367;;;11656:6;;;;;;;;;-1:-1:-1::0;;;;;11656:6:0::1;-1:-1:-1::0;;;;;11656:22:0::1;;11686:18;11732:4;11756:15;11790:1;11810::::0;11830:15:::1;;;;;;;;;-1:-1:-1::0;;;;;11830:15:0::1;11864;11656:238;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11914:48:0::1;::::0;;9340:25:1;;;9396:2;9381:18;;9374:34;;;11914:48:0::1;::::0;-1:-1:-1;9313:18:1;11914:48:0::1;;;;;;;11607:367;-1:-1:-1::0;;5530:6:0;:14;;-1:-1:-1;;5530:14:0;;;-1:-1:-1;;;;;;;;;;10278:1703:0:o;9736:329::-;9803:7;9823:17;9843:40;9868:14;;9843:20;9854:8;;9843:6;:10;;:20;;;;:::i;:40::-;9939:4;9921:24;;;;:9;:24;;;;;;9823:60;;-1:-1:-1;9921:39:0;;9823:60;9921:28;:39::i;:::-;9912:4;9894:24;;;;:9;:24;;;;;;;:66;;;;9976:42;;-1:-1:-1;;;;;9976:42:0;;;;;;;10008:9;160:25:1;;148:2;133:18;;14:177;9976:42:0;;;;;;;;10036:21;:6;10047:9;10036:10;:21::i;270:179::-;328:7;;360:5;364:1;360;:5;:::i;:::-;348:17;;389:1;384;:6;;376:46;;;;-1:-1:-1;;;376:46:0;;9621:2:1;376:46:0;;;9603:21:1;9660:2;9640:18;;;9633:30;9699:29;9679:18;;;9672:57;9746:18;;376:46:0;9419:351:1;793:246:0;851:7;875:1;880;875:6;871:47;;-1:-1:-1;905:1:0;898:8;;871:47;928:9;940:5;944:1;940;:5;:::i;:::-;928:17;-1:-1:-1;973:1:0;964:5;968:1;928:17;964:5;:::i;:::-;:10;956:56;;;;-1:-1:-1;;;956:56:0;;9977:2:1;956:56:0;;;9959:21:1;10016:2;9996:18;;;9989:30;10055:34;10035:18;;;10028:62;-1:-1:-1;;;10106:18:1;;;10099:31;10147:19;;956:56:0;9775:397:1;1045:132:0;1103:7;1130:39;1134:1;1137;1130:39;;;;;;;;;;;;;;;;;:3;:39::i;455:136::-;513:7;540:43;544:1;547;540:43;;;;;;;;;;;;;;;;;:3;:43::i;1183:189::-;1269:7;1304:12;1297:5;1289:28;;;;-1:-1:-1;;;1289:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1328:9:0;1340:5;1344:1;1340;:5;:::i;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;885:315;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885: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;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044:31;:::i;2299:180::-;2358:6;2411:2;2399:9;2390:7;2386:23;2382:32;2379:52;;;2427:1;2424;2417:12;2379:52;-1:-1:-1;2450:23:1;;2299:180;-1:-1:-1;2299:180:1:o;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:329::-;3287:2;3269:21;;;3326:1;3306:18;;;3299:29;-1:-1:-1;;;3359:2:1;3344:18;;3337:36;3405:2;3390:18;;3085:329::o;3419:251::-;3489:6;3542:2;3530:9;3521:7;3517:23;3513:32;3510:52;;;3558:1;3555;3548:12;3510:52;3590:9;3584:16;3609:31;3634:5;3609:31;:::i;3984:607::-;-1:-1:-1;;;;;4343:15:1;;;4325:34;;4390:2;4375:18;;4368:34;;;;4433:2;4418:18;;4411:34;;;;4476:2;4461:18;;4454:34;;;;4525:15;;;4519:3;4504:19;;4497:44;4305:3;4557:19;;4550:35;;;;4274:3;4259:19;;3984:607::o;4596:306::-;4684:6;4692;4700;4753:2;4741:9;4732:7;4728:23;4724:32;4721:52;;;4769:1;4766;4759:12;4721:52;4798:9;4792:16;4782:26;;4848:2;4837:9;4833:18;4827:25;4817:35;;4892:2;4881:9;4877:18;4871:25;4861:35;;4596:306;;;;;:::o;5039:127::-;5100:10;5095:3;5091:20;5088:1;5081:31;5131:4;5128:1;5121:15;5155:4;5152:1;5145:15;5171:461;5224:3;5262:5;5256:12;5289:6;5284:3;5277:19;5315:4;5344:2;5339:3;5335:12;5328:19;;5381:2;5374:5;5370:14;5402:1;5412:195;5426:6;5423:1;5420:13;5412:195;;;5491:13;;-1:-1:-1;;;;;5487:39:1;5475:52;;5547:12;;;;5582:15;;;;5523:1;5441:9;5412:195;;;-1:-1:-1;5623:3:1;;5171:461;-1:-1:-1;;;;;5171:461:1:o;5637:510::-;5908:6;5897:9;5890:25;5951:3;5946:2;5935:9;5931:18;5924:31;5871:4;5972:57;6024:3;6013:9;6009:19;6001:6;5972:57;:::i;:::-;-1:-1:-1;;;;;6065:32:1;;;;6060:2;6045:18;;6038:60;-1:-1:-1;6129:2:1;6114:18;6107:34;5964:65;5637:510;-1:-1:-1;;5637:510:1:o;6532:277::-;6599:6;6652:2;6640:9;6631:7;6627:23;6623:32;6620:52;;;6668:1;6665;6658:12;6620:52;6700:9;6694:16;6753:5;6746:13;6739:21;6732:5;6729:32;6719:60;;6775:1;6772;6765:12;6814:127;6875:10;6870:3;6866:20;6863:1;6856:31;6906:4;6903:1;6896:15;6930:4;6927:1;6920:15;6946:168;7019:9;;;7050;;7067:15;;;7061:22;;7047:37;7037:71;;7088:18;;:::i;7119:217::-;7159:1;7185;7175:132;;7229:10;7224:3;7220:20;7217:1;7210:31;7264:4;7261:1;7254:15;7292:4;7289:1;7282:15;7175:132;-1:-1:-1;7321:9:1;;7119:217::o;7341:128::-;7408:9;;;7429:11;;;7426:37;;;7443:18;;:::i;7474:125::-;7539:9;;;7560:10;;;7557:36;;;7573:18;;:::i;8010:582::-;8309:6;8298:9;8291:25;8352:6;8347:2;8336:9;8332:18;8325:34;8395:3;8390:2;8379:9;8375:18;8368:31;8272:4;8416:57;8468:3;8457:9;8453:19;8445:6;8416:57;:::i;:::-;-1:-1:-1;;;;;8509:32:1;;;;8504:2;8489:18;;8482:60;-1:-1:-1;8573:3:1;8558:19;8551:35;8408:65;8010:582;-1:-1:-1;;;8010:582:1:o

ipfs://b27c164926f70294ead290a8aa350ab2682623be2ca2306acdf6f879cc80eaad