Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-10
*/

/**
    Web: https://amuz-ai.tech
    Twitter: https://x.com/amuzaiofficial
    Telegram: https://t.me/AmuzAIPortal
**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.27;

library SafeMath {

    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

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

    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

interface IERC20 {

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address to, 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 from,
        address to,
        uint256 amount
    ) external returns (bool);
}

interface IUniswapV2Factory {
    event PairCreated(
        address indexed token0,
        address indexed token1,
        address pair,
        uint256
    );

    function feeTo() external view returns (address);

    function feeToSetter() external view returns (address);

    function getPair(address tokenA, address tokenB)
        external
        view
        returns (address pair);

    function allPairs(uint256) external view returns (address pair);

    function allPairsLength() external view returns (uint256);

    function createPair(address tokenA, address tokenB)
        external
        returns (address pair);

    function setFeeTo(address) external;

    function setFeeToSetter(address) external;
}

interface IUniswapV2Router02 {
    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidity(
        address tokenA,
        address tokenB,
        uint256 amountADesired,
        uint256 amountBDesired,
        uint256 amountAMin,
        uint256 amountBMin,
        address to,
        uint256 deadline
    )
        external
        returns (
            uint256 amountA,
            uint256 amountB,
            uint256 liquidity
        );

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;
}

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

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

contract AmuzAI is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private  _taxWallet;
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;

    uint256 private constant _initialBuyTax =20;
    uint256 private constant _initialSellTax=30;
    uint256 private constant _reduceBuyTaxAt=5;
    uint256 private constant _reduceSellTaxAt=30;
    uint256 private constant _preventSwapBefore=25;
    uint256 private _finalBuyTax=5;
    uint256 private _finalSellTax=5;
    uint256 private _buyCount=0;
    uint256 private sellCount= 0;
    uint256 private lastSellBlock= 0;

    string private constant _name   = unicode"Amuz AI";
    string private constant _symbol = unicode"AMUZ";
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;

    uint256 public _maxTxAmount = 2000002 * 10 **_decimals;
    uint256 public _maxWalletSize = 2000002 * 10 **_decimals;
    uint256 public constant _maxTaxSwap = 1000001 * 10 **_decimals;
    uint256 public constant _taxSwapThreshold = 0 * 10 **_decimals;

    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event TradingEnabled(bool _tradingOpen,bool _swapEnabled);
    event MaxAmount(uint256 _value);

    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor (address taxWallet) {
        _taxWallet = payable(taxWallet);
        _balances[_msgSender()] = _tTotal;

        excludeFromFee(owner(), true);
        excludeFromFee(address(this), true);
        excludeFromFee(_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) && spender != address(0), "ERC20: approve 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) && to != address(0), "ERC20: transfer 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[to] || _isExcludedFromFee[from],
                    "trading not yet open"
                );
            }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }
            
            if (to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax)/100;    
            } 
            else if (from == uniswapV2Pair && to!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax)/100;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap && 
                to == uniswapV2Pair && 
                swapEnabled && 
                contractTokenBalance > _taxSwapThreshold && 
                _buyCount > _preventSwapBefore
            ) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount<2, "Only 2 sells per block!");
                uint256 getMinValue = (contractTokenBalance > _maxTaxSwap)?_maxTaxSwap:contractTokenBalance;
                swapTokensForEth((amount > getMinValue)?getMinValue:amount);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        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 excludeFromFee(address account, bool excluded) public onlyOwner {
        _isExcludedFromFee[account] = excluded;
    }

    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(address(this), address(uniswapV2Router), tokenAmount);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function _initialize () external onlyOwner {
        require(!tradingOpen,"init already called");
        uint256 tokenAmount = balanceOf(address(this)).sub(_tTotal.mul(_initialBuyTax).div(100));
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(
            uniswapV2Router.factory())
            .createPair(address(this), 
            uniswapV2Router.WETH()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance} (
            address(this),
            tokenAmount,
            0,
            0,
            _msgSender(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max); 
    }

    function enableTrading () external onlyOwner {
        require(!tradingOpen,"trading already open");
        swapEnabled = true;
        tradingOpen = true;
        emit TradingEnabled (tradingOpen,swapEnabled);
    }

    function removeTxLimit () external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        emit MaxAmount (_tTotal);
    }

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender() == _taxWallet);
        uint256 tokenBalance = balanceOf(address(this));
        if(tokenBalance > 0){
          swapTokensForEth(tokenBalance);
        }

        uint256 ethBalance = address(this).balance;
        if(ethBalance > 0){
          sendETHToFee(ethBalance);
        }
    }

    function clearStuckToken(address tokenAddress, uint256 tokens) external returns (bool success) {
        require(_msgSender() == _taxWallet);

        if(tokens == 0){
            tokens = IERC20(tokenAddress).balanceOf(address(this));
        }

        return IERC20(tokenAddress).transfer(_taxWallet, tokens);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"taxWallet","type":"address"}],"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":"_value","type":"uint256"}],"name":"MaxAmount","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":false,"internalType":"bool","name":"_tradingOpen","type":"bool"},{"indexed":false,"internalType":"bool","name":"_swapEnabled","type":"bool"}],"name":"TradingEnabled","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":"_initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"tokenAddress","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"clearStuckToken","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bool","name":"excluded","type":"bool"}],"name":"excludeFromFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeTxLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600560075560056008555f6009555f600a555f600b556009600a610028919061031c565b61003590621e8482610331565b600c556100446009600a61031c565b61005190621e8482610331565b600d55600e805462ffff001916905534801561006b575f5ffd5b50604051611c90380380611c9083398101604081905261008a91610348565b5f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319166001600160a01b0383161790556100f16009600a61031c565b6100ff906305f5e100610331565b335f9081526001602052604081209190915554610126906001600160a01b0316600161019c565b61013130600161019c565b600454610148906001600160a01b0316600161019c565b335f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101776009600a61031c565b610185906305f5e100610331565b60405190815260200160405180910390a35061036e565b5f546001600160a01b031633146101f95760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640160405180910390fd5b6001600160a01b03919091165f908152600360205260409020805460ff1916911515919091179055565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102725780850481111561025657610256610223565b600184161561026457908102905b60019390931c92800261023b565b935093915050565b5f8261028857506001610316565b8161029457505f610316565b81600181146102aa57600281146102b4576102d0565b6001915050610316565b60ff8411156102c5576102c5610223565b50506001821b610316565b5060208310610133831016604e8410600b84101617156102f3575081810a610316565b6102ff5f198484610237565b805f190482111561031257610312610223565b0290505b92915050565b5f61032a60ff84168361027a565b9392505050565b808202811582820484141761031657610316610223565b5f60208284031215610358575f5ffd5b81516001600160a01b038116811461032a575f5ffd5b6119158061037b5f395ff3fe608060405260043610610129575f3560e01c806377b54bad116100a85780638f9a55c01161006d5780638f9a55c01461030857806395d89b411461031d578063a9059cbb14610349578063bf474bed14610368578063dd62ed3e1461037c578063df8408fe146103c0575f5ffd5b806377b54bad146102865780637d1db4a5146102a557806380ae4ebc146102ba5780638a8c523c146102ce5780638da5cb5b146102e2575f5ffd5b8063313ce567116100ee578063313ce567146101f95780634619d69f1461021457806351bc3c851461022a57806370a082311461023e578063715018a614610272575f5ffd5b806306fdde0314610134578063095ea7b3146101755780630faee56f146101a457806318160ddd146101c657806323b872dd146101da575f5ffd5b3661013057005b5f5ffd5b34801561013f575f5ffd5b50604080518082019091526007815266416d757a20414960c81b60208201525b60405161016c91906114ce565b60405180910390f35b348015610180575f5ffd5b5061019461018f36600461151a565b6103df565b604051901515815260200161016c565b3480156101af575f5ffd5b506101b86103f5565b60405190815260200161016c565b3480156101d1575f5ffd5b506101b8610411565b3480156101e5575f5ffd5b506101946101f4366004611544565b610431565b348015610204575f5ffd5b506040516009815260200161016c565b34801561021f575f5ffd5b50610228610498565b005b348015610235575f5ffd5b50610228610553565b348015610249575f5ffd5b506101b8610258366004611582565b6001600160a01b03165f9081526001602052604090205490565b34801561027d575f5ffd5b506102286105a4565b348015610291575f5ffd5b506101946102a036600461151a565b610615565b3480156102b0575f5ffd5b506101b8600c5481565b3480156102c5575f5ffd5b50610228610723565b3480156102d9575f5ffd5b50610228610abe565b3480156102ed575f5ffd5b505f546040516001600160a01b03909116815260200161016c565b348015610313575f5ffd5b506101b8600d5481565b348015610328575f5ffd5b5060408051808201909152600481526320a6aaad60e11b602082015261015f565b348015610354575f5ffd5b5061019461036336600461151a565b610b87565b348015610373575f5ffd5b506101b8610b93565b348015610387575f5ffd5b506101b861039636600461159d565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103cb575f5ffd5b506102286103da3660046115e1565b610ba9565b5f6103eb338484610bfc565b5060015b92915050565b6104016009600a611704565b61040e90620f4241611712565b81565b5f61041e6009600a611704565b61042c906305f5e100611712565b905090565b5f61043d848484610cc8565b61048e8433610489856040518060600160405280602881526020016118b8602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906112d6565b610bfc565b5060019392505050565b5f546001600160a01b031633146104ca5760405162461bcd60e51b81526004016104c190611729565b60405180910390fd5b6104d66009600a611704565b6104e4906305f5e100611712565b600c556104f36009600a611704565b610501906305f5e100611712565b600d557f09cd51dbb3863eb5590065f7de41ae4950c3ede201a9f214669deadb855d39556105316009600a611704565b61053f906305f5e100611712565b6040519081526020015b60405180910390a1565b6004546001600160a01b0316336001600160a01b031614610572575f5ffd5b305f9081526001602052604090205480156105905761059081611301565b4780156105a0576105a08161146b565b5050565b5f546001600160a01b031633146105cd5760405162461bcd60e51b81526004016104c190611729565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6004545f906001600160a01b0316336001600160a01b031614610636575f5ffd5b815f036106a6576040516370a0823160e01b81523060048201526001600160a01b038416906370a0823190602401602060405180830381865afa15801561067f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a3919061175e565b91505b6004805460405163a9059cbb60e01b81526001600160a01b03918216928101929092526024820184905284169063a9059cbb906044016020604051808303815f875af11580156106f8573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061071c9190611775565b9392505050565b5f546001600160a01b0316331461074c5760405162461bcd60e51b81526004016104c190611729565b600e5460ff16156107955760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b60448201526064016104c1565b5f6107de6107c960646107c360146107af6009600a611704565b6107bd906305f5e100611712565b906114a2565b906114ad565b305f90815260016020526040902054906114b8565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915590915061082a90309061081c6009600a611704565b610489906305f5e100611712565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561087a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089e9190611790565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108fd573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109219190611790565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561096b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098f9190611790565b600680546001600160a01b0319166001600160a01b039283161790556005541663f305d7194730845f803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a20573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a4591906117ab565b505060065460055460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a9a573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105a09190611775565b5f546001600160a01b03163314610ae75760405162461bcd60e51b81526004016104c190611729565b600e5460ff1615610b315760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b60448201526064016104c1565b600e80546201000162ff00ff19909116179081905560408051600181526201000090920460ff16151560208301527fbebe56ab705eea639814ee9785dc503450401ba31e74ac2141f833342388ef359101610549565b5f6103eb338484610cc8565b610b9f6009600a611704565b61040e905f611712565b5f546001600160a01b03163314610bd25760405162461bcd60e51b81526004016104c190611729565b6001600160a01b03919091165f908152600360205260409020805460ff1916911515919091179055565b6001600160a01b03831615801590610c1c57506001600160a01b03821615155b610c685760405162461bcd60e51b815260206004820152601f60248201527f45524332303a20617070726f766520746865207a65726f20616464726573730060448201526064016104c1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831615801590610ce857506001600160a01b03821615155b610d345760405162461bcd60e51b815260206004820181905260248201527f45524332303a207472616e7366657220746865207a65726f206164647265737360448201526064016104c1565b5f8111610d955760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104c1565b5f80546001600160a01b03858116911614801590610dc057505f546001600160a01b03848116911614155b1561119957600e5460ff16610e4f576001600160a01b0383165f9081526003602052604090205460ff1680610e0c57506001600160a01b0384165f9081526003602052604090205460ff165b610e4f5760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b60448201526064016104c1565b6006546001600160a01b038581169116148015610e7a57506005546001600160a01b03848116911614155b8015610e9e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8457600c54821115610ef55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104c1565b600d5482610f17856001600160a01b03165f9081526001602052604090205490565b610f2191906117d6565b1115610f6f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104c1565b60098054905f610f7e836117e9565b91905055505b6006546001600160a01b038481169116148015610faa57506001600160a01b0384163014155b15610fe1576064610fd0601e60095411610fc557601e610fc9565b6008545b84906114a2565b610fda9190611801565b9050611039565b6006546001600160a01b03858116911614801561100757506001600160a01b0383163014155b1561103957606461102c600560095411611022576014610fc9565b60075484906114a2565b6110369190611801565b90505b305f90815260016020526040902054600e54610100900460ff1615801561106d57506006546001600160a01b038581169116145b80156110815750600e5462010000900460ff165b80156110a157506110946009600a611704565b61109e905f611712565b81115b80156110af57506019600954115b1561119757600b544311156110c3575f600a555b6002600a54106111155760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920322073656c6c732070657220626c6f636b2100000000000000000060448201526064016104c1565b5f6111226009600a611704565b61112f90620f4241611712565b821161113b5781611154565b6111476009600a611704565b61115490620f4241611712565b905061116c8185116111665784611301565b81611301565b47801561117c5761117c4761146b565b600a8054905f61118b836117e9565b909155505043600b5550505b505b801561121157305f908152600160205260409020546111b890826114c3565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112089085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461123390836114b8565b6001600160a01b0385165f9081526001602052604090205561127661125883836114b8565b6001600160a01b0385165f90815260016020526040902054906114c3565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112bf85856114b8565b60405190815260200160405180910390a350505050565b5f81848411156112f95760405162461bcd60e51b81526004016104c191906114ce565b505050900390565b600e805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061134357611343611820565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561139a573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113be9190611790565b816001815181106113d1576113d1611820565b6001600160a01b0392831660209182029290920101526005546113f79130911684610bfc565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac9479061142f9085905f90869030904290600401611834565b5f604051808303815f87803b158015611446575f5ffd5b505af1158015611458573d5f5f3e3d5ffd5b5050600e805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156105a0573d5f5f3e3d5ffd5b5f61071c8284611712565b5f61071c8284611801565b5f61071c82846118a4565b5f61071c82846117d6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114611517575f5ffd5b50565b5f5f6040838503121561152b575f5ffd5b823561153681611503565b946020939093013593505050565b5f5f5f60608486031215611556575f5ffd5b833561156181611503565b9250602084013561157181611503565b929592945050506040919091013590565b5f60208284031215611592575f5ffd5b813561071c81611503565b5f5f604083850312156115ae575f5ffd5b82356115b981611503565b915060208301356115c981611503565b809150509250929050565b8015158114611517575f5ffd5b5f5f604083850312156115f2575f5ffd5b82356115fd81611503565b915060208301356115c9816115d4565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561165c578085048111156116405761164061160d565b600184161561164e57908102905b60019390931c928002611625565b935093915050565b5f82611672575060016103ef565b8161167e57505f6103ef565b8160018114611694576002811461169e576116ba565b60019150506103ef565b60ff8411156116af576116af61160d565b50506001821b6103ef565b5060208310610133831016604e8410600b84101617156116dd575081810a6103ef565b6116e95f198484611621565b805f19048211156116fc576116fc61160d565b029392505050565b5f61071c60ff841683611664565b80820281158282048414176103ef576103ef61160d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176e575f5ffd5b5051919050565b5f60208284031215611785575f5ffd5b815161071c816115d4565b5f602082840312156117a0575f5ffd5b815161071c81611503565b5f5f5f606084860312156117bd575f5ffd5b5050815160208301516040909301519094929350919050565b808201808211156103ef576103ef61160d565b5f600182016117fa576117fa61160d565b5060010190565b5f8261181b57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118845783516001600160a01b031683526020938401939092019160010161185d565b50506001600160a01b039590951660608401525050608001529392505050565b818103818111156103ef576103ef61160d56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e72ef96919b3e73c0f06ed0646457ae9ce97fc42dd87dba90038ba2fe4daacc964736f6c634300081b00330000000000000000000000004a20d0b754db324940ce1e4e86f3926671b76324

0x608060405260043610610129575f3560e01c806377b54bad116100a85780638f9a55c01161006d5780638f9a55c01461030857806395d89b411461031d578063a9059cbb14610349578063bf474bed14610368578063dd62ed3e1461037c578063df8408fe146103c0575f5ffd5b806377b54bad146102865780637d1db4a5146102a557806380ae4ebc146102ba5780638a8c523c146102ce5780638da5cb5b146102e2575f5ffd5b8063313ce567116100ee578063313ce567146101f95780634619d69f1461021457806351bc3c851461022a57806370a082311461023e578063715018a614610272575f5ffd5b806306fdde0314610134578063095ea7b3146101755780630faee56f146101a457806318160ddd146101c657806323b872dd146101da575f5ffd5b3661013057005b5f5ffd5b34801561013f575f5ffd5b50604080518082019091526007815266416d757a20414960c81b60208201525b60405161016c91906114ce565b60405180910390f35b348015610180575f5ffd5b5061019461018f36600461151a565b6103df565b604051901515815260200161016c565b3480156101af575f5ffd5b506101b86103f5565b60405190815260200161016c565b3480156101d1575f5ffd5b506101b8610411565b3480156101e5575f5ffd5b506101946101f4366004611544565b610431565b348015610204575f5ffd5b506040516009815260200161016c565b34801561021f575f5ffd5b50610228610498565b005b348015610235575f5ffd5b50610228610553565b348015610249575f5ffd5b506101b8610258366004611582565b6001600160a01b03165f9081526001602052604090205490565b34801561027d575f5ffd5b506102286105a4565b348015610291575f5ffd5b506101946102a036600461151a565b610615565b3480156102b0575f5ffd5b506101b8600c5481565b3480156102c5575f5ffd5b50610228610723565b3480156102d9575f5ffd5b50610228610abe565b3480156102ed575f5ffd5b505f546040516001600160a01b03909116815260200161016c565b348015610313575f5ffd5b506101b8600d5481565b348015610328575f5ffd5b5060408051808201909152600481526320a6aaad60e11b602082015261015f565b348015610354575f5ffd5b5061019461036336600461151a565b610b87565b348015610373575f5ffd5b506101b8610b93565b348015610387575f5ffd5b506101b861039636600461159d565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103cb575f5ffd5b506102286103da3660046115e1565b610ba9565b5f6103eb338484610bfc565b5060015b92915050565b6104016009600a611704565b61040e90620f4241611712565b81565b5f61041e6009600a611704565b61042c906305f5e100611712565b905090565b5f61043d848484610cc8565b61048e8433610489856040518060600160405280602881526020016118b8602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906112d6565b610bfc565b5060019392505050565b5f546001600160a01b031633146104ca5760405162461bcd60e51b81526004016104c190611729565b60405180910390fd5b6104d66009600a611704565b6104e4906305f5e100611712565b600c556104f36009600a611704565b610501906305f5e100611712565b600d557f09cd51dbb3863eb5590065f7de41ae4950c3ede201a9f214669deadb855d39556105316009600a611704565b61053f906305f5e100611712565b6040519081526020015b60405180910390a1565b6004546001600160a01b0316336001600160a01b031614610572575f5ffd5b305f9081526001602052604090205480156105905761059081611301565b4780156105a0576105a08161146b565b5050565b5f546001600160a01b031633146105cd5760405162461bcd60e51b81526004016104c190611729565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6004545f906001600160a01b0316336001600160a01b031614610636575f5ffd5b815f036106a6576040516370a0823160e01b81523060048201526001600160a01b038416906370a0823190602401602060405180830381865afa15801561067f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a3919061175e565b91505b6004805460405163a9059cbb60e01b81526001600160a01b03918216928101929092526024820184905284169063a9059cbb906044016020604051808303815f875af11580156106f8573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061071c9190611775565b9392505050565b5f546001600160a01b0316331461074c5760405162461bcd60e51b81526004016104c190611729565b600e5460ff16156107955760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b60448201526064016104c1565b5f6107de6107c960646107c360146107af6009600a611704565b6107bd906305f5e100611712565b906114a2565b906114ad565b305f90815260016020526040902054906114b8565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915590915061082a90309061081c6009600a611704565b610489906305f5e100611712565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561087a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061089e9190611790565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108fd573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109219190611790565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561096b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098f9190611790565b600680546001600160a01b0319166001600160a01b039283161790556005541663f305d7194730845f803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a20573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a4591906117ab565b505060065460055460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a9a573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105a09190611775565b5f546001600160a01b03163314610ae75760405162461bcd60e51b81526004016104c190611729565b600e5460ff1615610b315760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b60448201526064016104c1565b600e80546201000162ff00ff19909116179081905560408051600181526201000090920460ff16151560208301527fbebe56ab705eea639814ee9785dc503450401ba31e74ac2141f833342388ef359101610549565b5f6103eb338484610cc8565b610b9f6009600a611704565b61040e905f611712565b5f546001600160a01b03163314610bd25760405162461bcd60e51b81526004016104c190611729565b6001600160a01b03919091165f908152600360205260409020805460ff1916911515919091179055565b6001600160a01b03831615801590610c1c57506001600160a01b03821615155b610c685760405162461bcd60e51b815260206004820152601f60248201527f45524332303a20617070726f766520746865207a65726f20616464726573730060448201526064016104c1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831615801590610ce857506001600160a01b03821615155b610d345760405162461bcd60e51b815260206004820181905260248201527f45524332303a207472616e7366657220746865207a65726f206164647265737360448201526064016104c1565b5f8111610d955760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104c1565b5f80546001600160a01b03858116911614801590610dc057505f546001600160a01b03848116911614155b1561119957600e5460ff16610e4f576001600160a01b0383165f9081526003602052604090205460ff1680610e0c57506001600160a01b0384165f9081526003602052604090205460ff165b610e4f5760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b60448201526064016104c1565b6006546001600160a01b038581169116148015610e7a57506005546001600160a01b03848116911614155b8015610e9e57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8457600c54821115610ef55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104c1565b600d5482610f17856001600160a01b03165f9081526001602052604090205490565b610f2191906117d6565b1115610f6f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104c1565b60098054905f610f7e836117e9565b91905055505b6006546001600160a01b038481169116148015610faa57506001600160a01b0384163014155b15610fe1576064610fd0601e60095411610fc557601e610fc9565b6008545b84906114a2565b610fda9190611801565b9050611039565b6006546001600160a01b03858116911614801561100757506001600160a01b0383163014155b1561103957606461102c600560095411611022576014610fc9565b60075484906114a2565b6110369190611801565b90505b305f90815260016020526040902054600e54610100900460ff1615801561106d57506006546001600160a01b038581169116145b80156110815750600e5462010000900460ff165b80156110a157506110946009600a611704565b61109e905f611712565b81115b80156110af57506019600954115b1561119757600b544311156110c3575f600a555b6002600a54106111155760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920322073656c6c732070657220626c6f636b2100000000000000000060448201526064016104c1565b5f6111226009600a611704565b61112f90620f4241611712565b821161113b5781611154565b6111476009600a611704565b61115490620f4241611712565b905061116c8185116111665784611301565b81611301565b47801561117c5761117c4761146b565b600a8054905f61118b836117e9565b909155505043600b5550505b505b801561121157305f908152600160205260409020546111b890826114c3565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112089085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461123390836114b8565b6001600160a01b0385165f9081526001602052604090205561127661125883836114b8565b6001600160a01b0385165f90815260016020526040902054906114c3565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112bf85856114b8565b60405190815260200160405180910390a350505050565b5f81848411156112f95760405162461bcd60e51b81526004016104c191906114ce565b505050900390565b600e805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061134357611343611820565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561139a573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113be9190611790565b816001815181106113d1576113d1611820565b6001600160a01b0392831660209182029290920101526005546113f79130911684610bfc565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac9479061142f9085905f90869030904290600401611834565b5f604051808303815f87803b158015611446575f5ffd5b505af1158015611458573d5f5f3e3d5ffd5b5050600e805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156105a0573d5f5f3e3d5ffd5b5f61071c8284611712565b5f61071c8284611801565b5f61071c82846118a4565b5f61071c82846117d6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114611517575f5ffd5b50565b5f5f6040838503121561152b575f5ffd5b823561153681611503565b946020939093013593505050565b5f5f5f60608486031215611556575f5ffd5b833561156181611503565b9250602084013561157181611503565b929592945050506040919091013590565b5f60208284031215611592575f5ffd5b813561071c81611503565b5f5f604083850312156115ae575f5ffd5b82356115b981611503565b915060208301356115c981611503565b809150509250929050565b8015158114611517575f5ffd5b5f5f604083850312156115f2575f5ffd5b82356115fd81611503565b915060208301356115c9816115d4565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561165c578085048111156116405761164061160d565b600184161561164e57908102905b60019390931c928002611625565b935093915050565b5f82611672575060016103ef565b8161167e57505f6103ef565b8160018114611694576002811461169e576116ba565b60019150506103ef565b60ff8411156116af576116af61160d565b50506001821b6103ef565b5060208310610133831016604e8410600b84101617156116dd575081810a6103ef565b6116e95f198484611621565b805f19048211156116fc576116fc61160d565b029392505050565b5f61071c60ff841683611664565b80820281158282048414176103ef576103ef61160d565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176e575f5ffd5b5051919050565b5f60208284031215611785575f5ffd5b815161071c816115d4565b5f602082840312156117a0575f5ffd5b815161071c81611503565b5f5f5f606084860312156117bd575f5ffd5b5050815160208301516040909301519094929350919050565b808201808211156103ef576103ef61160d565b5f600182016117fa576117fa61160d565b5060010190565b5f8261181b57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118845783516001600160a01b031683526020938401939092019160010161185d565b50506001600160a01b039590951660608401525050608001529392505050565b818103818111156103ef576103ef61160d56fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e72ef96919b3e73c0f06ed0646457ae9ce97fc42dd87dba90038ba2fe4daacc964736f6c634300081b0033

0000000000000000000000004a20d0b754db324940ce1e4e86f3926671b76324

-----Decoded View---------------
Arg [0] : taxWallet (address): 0x4A20d0b754Db324940cE1e4E86F3926671b76324

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000004a20d0b754db324940ce1e4e86f3926671b76324

5940:8882:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7910:83;;;;;;;;;;-1:-1:-1;7980:5:0;;;;;;;;;;;;-1:-1:-1;;;7980:5:0;;;;7910:83;;;;;;;:::i;:::-;;;;;;;;8743:161;;;;;;;;;;-1:-1:-1;8743:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;8743:161:0;945:187:1;7128:62:0;;;;;;;;;;;;;:::i;:::-;;;1283:25:1;;;1271:2;1256:18;7128:62:0;1137:177:1;8187:95:0;;;;;;;;;;;;;:::i;8912:313::-;;;;;;;;;;-1:-1:-1;8912:313:0;;;;;:::i;:::-;;:::i;8096:83::-;;;;;;;;;;-1:-1:-1;8096:83:0;;6927:1;1974:36:1;;1962:2;1947:18;8096:83:0;1832:184:1;13924:156:0;;;;;;;;;;;;;:::i;:::-;;14125:360;;;;;;;;;;;;;:::i;8290:119::-;;;;;;;;;;-1:-1:-1;8290:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8383:18:0;8356:7;8383:18;;;:9;:18;;;;;;;8290:119;5785:148;;;;;;;;;;;;;:::i;14493:326::-;;;;;;;;;;-1:-1:-1;14493:326:0;;;;;:::i;:::-;;:::i;7004:54::-;;;;;;;;;;;;;;;;12839:847;;;;;;;;;;;;;:::i;13694:222::-;;;;;;;;;;;;;:::i;5571:79::-;;;;;;;;;;-1:-1:-1;5609:7:0;5636:6;5571:79;;-1:-1:-1;;;;;5636:6:0;;;2419:51:1;;2407:2;2392:18;5571:79:0;2273:203:1;7065:56:0;;;;;;;;;;;;;;;;8001:87;;;;;;;;;;-1:-1:-1;8073:7:0;;;;;;;;;;;;-1:-1:-1;;;8073:7:0;;;;8001:87;;8417:167;;;;;;;;;;-1:-1:-1;8417:167:0;;;;;:::i;:::-;;:::i;7197:62::-;;;;;;;;;;;;;:::i;8592:143::-;;;;;;;;;;-1:-1:-1;8592:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;8700:18:0;;;8673:7;8700:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8592:143;12110:130;;;;;;;;;;-1:-1:-1;12110:130:0;;;;;:::i;:::-;;:::i;8743:161::-;8818:4;8835:39;5228:10;8858:7;8867:6;8835:8;:39::i;:::-;-1:-1:-1;8892:4:0;8743:161;;;;;:::o;7128:62::-;7176:14;6927:1;7176:2;:14;:::i;:::-;7166:24;;:7;:24;:::i;:::-;7128:62;:::o;8187:95::-;8240:7;6982:13;6927:1;6982:2;:13;:::i;:::-;6970:25;;:9;:25;:::i;:::-;8260:14;;8187:95;:::o;8912:313::-;9010:4;9027:36;9037:6;9045:9;9056:6;9027:9;:36::i;:::-;9074:121;9083:6;5228:10;9105:89;9143:6;9105:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9105:19:0;;;;;;:11;:19;;;;;;;;5228:10;9105:33;;;;;;;;;;:37;:89::i;:::-;9074:8;:121::i;:::-;-1:-1:-1;9213:4:0;8912:313;;;;;:::o;13924:156::-;5698:6;;-1:-1:-1;;;;;5698:6:0;5228:10;5698:22;5690:67;;;;-1:-1:-1;;;5690:67:0;;;;;;;:::i;:::-;;;;;;;;;6982:13:::1;6927:1;6982:2;:13;:::i;:::-;6970:25;::::0;:9:::1;:25;:::i;:::-;13980:12;:22:::0;6982:13:::1;6927:1;6982:2;:13;:::i;:::-;6970:25;::::0;:9:::1;:25;:::i;:::-;14013:14;:24:::0;14053:19:::1;6982:13;6927:1;6982:2;:13;:::i;:::-;6970:25;::::0;:9:::1;:25;:::i;:::-;14053:19;::::0;1283:25:1;;;1271:2;1256:18;14053:19:0::1;;;;;;;;13924:156::o:0;14125:360::-;14191:10;;-1:-1:-1;;;;;14191:10:0;5228;-1:-1:-1;;;;;14175:26:0;;14167:35;;;;;;14254:4;14213:20;8383:18;;;:9;:18;;;;;;14274:16;;14271:75;;14304:30;14321:12;14304:16;:30::i;:::-;14379:21;14414:14;;14411:67;;14442:24;14455:10;14442:12;:24::i;:::-;14156:329;;14125:360::o;5785:148::-;5698:6;;-1:-1:-1;;;;;5698:6:0;5228:10;5698:22;5690:67;;;;-1:-1:-1;;;5690:67:0;;;;;;;:::i;:::-;5892:1:::1;5876:6:::0;;5855:40:::1;::::0;-1:-1:-1;;;;;5876:6:0;;::::1;::::0;5855:40:::1;::::0;5892:1;;5855:40:::1;5923:1;5906:19:::0;;-1:-1:-1;;;;;;5906:19:0::1;::::0;;5785:148::o;14493:326::-;14623:10;;14574:12;;-1:-1:-1;;;;;14623:10:0;5228;-1:-1:-1;;;;;14607:26:0;;14599:35;;;;;;14650:6;14660:1;14650:11;14647:96;;14686:45;;-1:-1:-1;;;14686:45:0;;14725:4;14686:45;;;2419:51:1;-1:-1:-1;;;;;14686:30:0;;;;;2392:18:1;;14686:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14677:54;;14647:96;14792:10;;;14762:49;;-1:-1:-1;;;14762:49:0;;-1:-1:-1;;;;;14792:10:0;;;14762:49;;;5899:51:1;;;;5966:18;;;5959:34;;;14762:29:0;;;;;5872:18:1;;14762:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14755:56;14493:326;-1:-1:-1;;;14493:326:0:o;12839:847::-;5698:6;;-1:-1:-1;;;;;5698:6:0;5228:10;5698:22;5690:67;;;;-1:-1:-1;;;5690:67:0;;;;;;;:::i;:::-;12902:11:::1;::::0;::::1;;12901:12;12893:43;;;::::0;-1:-1:-1;;;12893:43:0;;6456:2:1;12893:43:0::1;::::0;::::1;6438:21:1::0;6495:2;6475:18;;;6468:30;-1:-1:-1;;;6514:18:1;;;6507:49;6573:18;;12893:43:0::1;6254:343:1::0;12893:43:0::1;12947:19;12969:66;12998:36;13030:3;12998:27;6384:2;6982:13;6927:1;6982:2;:13;:::i;:::-;6970:25;::::0;:9:::1;:25;:::i;:::-;12998:11:::0;::::1;:27::i;:::-;:31:::0;::::1;:36::i;:::-;12987:4;8356:7:::0;8383:18;;;:9;:18;;;;;;12969:28;::::1;:66::i;:::-;13046:15;:80:::0;;-1:-1:-1;;;;;;13046:80:0::1;13083:42;13046:80:::0;;::::1;::::0;;;12947:88;;-1:-1:-1;13137:58:0::1;::::0;13154:4:::1;::::0;6982:13:::1;6927:1;6982:2;:13;:::i;:::-;6970:25;::::0;:9:::1;:25;:::i;13137:58::-;13254:15;;;;;;;;;-1:-1:-1::0;;;;;13254:15:0::1;-1:-1:-1::0;;;;;13254:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13222:83:0::1;;13314:4;13335:15;;;;;;;;;-1:-1:-1::0;;;;;13335:15:0::1;-1:-1:-1::0;;;;;13335:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13222:146;::::0;-1:-1:-1;;;;;;13222:146:0::1;::::0;;;;;;-1:-1:-1;;;;;7050:32:1;;;13222:146:0::1;::::0;::::1;7032:51:1::0;7119:32;;7099:18;;;7092:60;7005:18;;13222:146:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13206:13;:162:::0;;-1:-1:-1;;;;;;13206:162:0::1;-1:-1:-1::0;;;;;13206:162:0;;::::1;;::::0;;13379:15:::1;::::0;::::1;:31;13418:21;13464:4;13484:11:::0;-1:-1:-1;;5228:10:0;13379:216:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13379:216:0;;;-1:-1:-1;;;;;7484:32:1;;;13379:216:0::1;::::0;::::1;7466:51:1::0;7533:18;;;7526:34;;;;7576:18;;;7569:34;;;;7619:18;;;7612:34;7683:32;;;7662:19;;;7655:61;13569:15:0::1;7732:19:1::0;;;7725:35;7438:19;;13379:216:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13613:13:0::1;::::0;13644:15:::1;::::0;13606:71:::1;::::0;-1:-1:-1;;;13606:71:0;;-1:-1:-1;;;;;13644:15:0;;::::1;13606:71;::::0;::::1;5899:51:1::0;-1:-1:-1;;5966:18:1;;;5959:34;13613:13:0;::::1;::::0;-1:-1:-1;13606:29:0::1;::::0;5872:18:1;;13606:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;13694:222::-:0;5698:6;;-1:-1:-1;;;;;5698:6:0;5228:10;5698:22;5690:67;;;;-1:-1:-1;;;5690:67:0;;;;;;;:::i;:::-;13759:11:::1;::::0;::::1;;13758:12;13750:44;;;::::0;-1:-1:-1;;;13750:44:0;;8713:2:1;13750:44:0::1;::::0;::::1;8695:21:1::0;8752:2;8732:18;;;8725:30;-1:-1:-1;;;8771:18:1;;;8764:50;8831:18;;13750:44:0::1;8511:344:1::0;13750:44:0::1;13805:11;:18:::0;;13834;-1:-1:-1;;13834:18:0;;;;;;;;13868:40:::1;::::0;;-1:-1:-1;9022:41:1;;13805:18:0;13896:11;;::::1;13805:18;13896:11;9106:14:1::0;9099:22;9094:2;9079:18;;9072:50;13868:40:0::1;::::0;8995:18:1;13868:40:0::1;8860:268:1::0;8417:167:0;8495:4;8512:42;5228:10;8536:9;8547:6;8512:9;:42::i;7197:62::-;7245:14;6927:1;7245:2;:14;:::i;:::-;7241:18;;:1;:18;:::i;12110:130::-;5698:6;;-1:-1:-1;;;;;5698:6:0;5228:10;5698:22;5690:67;;;;-1:-1:-1;;;5690:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;12194:27:0;;;::::1;;::::0;;;:18:::1;:27;::::0;;;;:38;;-1:-1:-1;;12194:38:0::1;::::0;::::1;;::::0;;;::::1;::::0;;12110:130::o;9233:276::-;-1:-1:-1;;;;;9326:19:0;;;;;;:44;;-1:-1:-1;;;;;;9349:21:0;;;;9326:44;9318:88;;;;-1:-1:-1;;;9318:88:0;;9335:2:1;9318:88:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:33;9393:18;;;9386:61;9464:18;;9318:88:0;9133:355:1;9318:88:0;-1:-1:-1;;;;;9417:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;9469:32;;1283:25:1;;;9469:32:0;;1256:18:1;9469:32:0;;;;;;;9233:276;;;:::o;9517:2585::-;-1:-1:-1;;;;;9605:18:0;;;;;;:38;;-1:-1:-1;;;;;;9627:16:0;;;;9605:38;9597:83;;;;-1:-1:-1;;;9597:83:0;;9695:2:1;9597:83:0;;;9677:21:1;;;9714:18;;;9707:30;9773:34;9753:18;;;9746:62;9825:18;;9597:83:0;9493:356:1;9597:83:0;9708:1;9699:6;:10;9691:64;;;;-1:-1:-1;;;9691:64:0;;10056:2:1;9691:64:0;;;10038:21:1;10095:2;10075:18;;;10068:30;10134:34;10114:18;;;10107:62;-1:-1:-1;;;10185:18:1;;;10178:39;10234:19;;9691:64:0;9854:405:1;9691:64:0;9768:17;5636:6;;-1:-1:-1;;;;;9804:15:0;;;5636:6;;9804:15;;;;:32;;-1:-1:-1;5609:7:0;5636:6;-1:-1:-1;;;;;9823:13:0;;;5636:6;;9823:13;;9804:32;9800:1946;;;9860:11;;;;9856:195;;-1:-1:-1;;;;;9921:22:0;;;;;;:18;:22;;;;;;;;;:50;;-1:-1:-1;;;;;;9947:24:0;;;;;;:18;:24;;;;;;;;9921:50;9891:144;;;;-1:-1:-1;;;9891:144:0;;10466:2:1;9891:144:0;;;10448:21:1;10505:2;10485:18;;;10478:30;-1:-1:-1;;;10524:18:1;;;10517:50;10584:18;;9891:144:0;10264:344:1;9891:144:0;10079:13;;-1:-1:-1;;;;;10071:21:0;;;10079:13;;10071:21;:55;;;;-1:-1:-1;10110:15:0;;-1:-1:-1;;;;;10096:30:0;;;10110:15;;10096:30;;10071:55;:83;;;;-1:-1:-1;;;;;;10132:22:0;;;;;;:18;:22;;;;;;;;10130:24;10071:83;10067:313;;;10194:12;;10184:6;:22;;10176:60;;;;-1:-1:-1;;;10176:60:0;;10815:2:1;10176:60:0;;;10797:21:1;10854:2;10834:18;;;10827:30;10893:27;10873:18;;;10866:55;10938:18;;10176:60:0;10613:349:1;10176:60:0;10289:14;;10279:6;10263:13;10273:2;-1:-1:-1;;;;;8383:18:0;8356:7;8383:18;;;:9;:18;;;;;;;8290:119;10263:13;:22;;;;:::i;:::-;:40;;10255:79;;;;-1:-1:-1;;;10255:79:0;;11299:2:1;10255:79:0;;;11281:21:1;11338:2;11318:18;;;11311:30;11377:28;11357:18;;;11350:56;11423:18;;10255:79:0;11097:350:1;10255:79:0;10353:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10067:313;10418:13;;-1:-1:-1;;;;;10412:19:0;;;10418:13;;10412:19;:43;;;;-1:-1:-1;;;;;;10435:20:0;;10450:4;10435:20;;10412:43;10408:361;;;10559:3;10488:70;6534:2;10500:9;;:26;10499:58;;6434:2;10499:58;;;10528:13;;10499:58;10488:6;;:10;:70::i;:::-;:74;;;;:::i;:::-;10476:86;;10408:361;;;10614:13;;-1:-1:-1;;;;;10606:21:0;;;10614:13;;10606:21;:43;;;;-1:-1:-1;;;;;;10631:18:0;;10644:4;10631:18;;10606:43;10602:167;;;10750:3;10682:67;6484:1;10694:9;;:25;10693:55;;6384:2;10693:55;;;10721:12;;10682:6;;:10;:67::i;:::-;:71;;;;:::i;:::-;10670:83;;10602:167;10834:4;10785:28;8383:18;;;:9;:18;;;;;;10878:6;;;;;;;10877:7;:48;;;;-1:-1:-1;10912:13:0;;-1:-1:-1;;;;;10906:19:0;;;10912:13;;10906:19;10877:48;:81;;;;-1:-1:-1;10947:11:0;;;;;;;10877:81;:143;;;;-1:-1:-1;7245:14:0;6927:1;7245:2;:14;:::i;:::-;7241:18;;:1;:18;:::i;:::-;10980:20;:40;10877:143;:195;;;;;6587:2;11042:9;;:30;10877:195;10855:880;;;11126:13;;11111:12;:28;11107:90;;;11176:1;11164:9;:13;11107:90;11233:1;11223:9;;:11;11215:47;;;;-1:-1:-1;;;11215:47:0;;12016:2:1;11215:47:0;;;11998:21:1;12055:2;12035:18;;;12028:30;12094:25;12074:18;;;12067:53;12137:18;;11215:47:0;11814:347:1;11215:47:0;11281:19;7176:14;6927:1;7176:2;:14;:::i;:::-;7166:24;;:7;:24;:::i;:::-;11304:20;:34;11303:69;;11352:20;11303:69;;;7176:14;6927:1;7176:2;:14;:::i;:::-;7166:24;;:7;:24;:::i;:::-;11281:91;;11391:59;11418:11;11409:6;:20;11408:41;;11443:6;11391:16;:59::i;11408:41::-;11431:11;11391:16;:59::i;:::-;11498:21;11541:22;;11538:105;;11588:35;11601:21;11588:12;:35::i;:::-;11661:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;11707:12:0;11691:13;:28;-1:-1:-1;;10855:880:0;9838:1908;9800:1946;11761:11;;11758:161;;11829:4;11811:24;;;;:9;:24;;;;;;:39;;11840:9;11811:28;:39::i;:::-;11804:4;11786:24;;;;:9;:24;;;;;;;:64;;;;11868:39;;-1:-1:-1;;;;;11868:39:0;;;;;;;11897:9;1283:25:1;;1271:2;1256:18;;1137:177;11868:39:0;;;;;;;;11758:161;-1:-1:-1;;;;;11945:15:0;;;;;;:9;:15;;;;;;:27;;11965:6;11945:19;:27::i;:::-;-1:-1:-1;;;;;11929:15:0;;;;;;:9;:15;;;;;:43;11997:40;12015:21;:6;12026:9;12015:10;:21::i;:::-;-1:-1:-1;;;;;11997:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11983:13:0;;;;;;;:9;:13;;;;;:54;;;;12053:41;;;12072:21;:6;12083:9;12072:10;:21::i;:::-;12053:41;;1283:25:1;;;1271:2;1256:18;12053:41:0;;;;;;;9586:2516;9517:2585;;;:::o;1861:206::-;1947:7;2008:12;2000:6;;;;1992:29;;;;-1:-1:-1;;;1992:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2043:5:0;;;1861:206::o;12348:483::-;7510:6;:13;;-1:-1:-1;;7510:13:0;;;;;12450:16:::1;::::0;;12464:1:::1;12450:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12450:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12450:16:0::1;12426:40;;12495:4;12477;12482:1;12477:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12477:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12521:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12521:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12477:7;;12521:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12511:4;12516:1;12511:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12511:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12586:15:::1;::::0;12554:62:::1;::::0;12571:4:::1;::::0;12586:15:::1;12604:11:::0;12554:8:::1;:62::i;:::-;12627:15;::::0;:196:::1;::::0;-1:-1:-1;;;12627:196:0;;-1:-1:-1;;;;;12627:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12708:11;;12627:15:::1;::::0;12750:4;;12777::::1;::::0;12797:15:::1;::::0;12627:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;7546:6:0;:14;;-1:-1:-1;;7546:14:0;;;-1:-1:-1;;;;12348:483:0:o;12248:92::-;12305:10;;:27;;-1:-1:-1;;;;;12305:10:0;;;;:27;;;;;12325:6;;12305:10;:27;:10;:27;12325:6;12305:10;:27;;;;;;;;;;;;;;;;;;;1543:98;1601:7;1628:5;1632:1;1628;:5;:::i;1649:98::-;1707:7;1734:5;1738:1;1734;:5;:::i;1437:98::-;1495:7;1522:5;1526:1;1522;:5;:::i;1331:98::-;1389:7;1416:5;1420:1;1416;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;492:70;437:131;:::o;573:367::-;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:118::-;2960:5;2953:13;2946:21;2939:5;2936:32;2926:60;;2982:1;2979;2972:12;2997:382;3062:6;3070;3123:2;3111:9;3102:7;3098:23;3094:32;3091:52;;;3139:1;3136;3129:12;3091:52;3178:9;3165:23;3197:31;3222:5;3197:31;:::i;:::-;3247:5;-1:-1:-1;3304:2:1;3289:18;;3276:32;3317:30;3276:32;3317:30;:::i;3384:127::-;3445:10;3440:3;3436:20;3433:1;3426:31;3476:4;3473:1;3466:15;3500:4;3497:1;3490:15;3516:375;3604:1;3622:5;3636:249;3657:1;3647:8;3644:15;3636:249;;;3707:4;3702:3;3698:14;3692:4;3689:24;3686:50;;;3716:18;;:::i;:::-;3766:1;3756:8;3752:16;3749:49;;;3780:16;;;;3749:49;3863:1;3859:16;;;;;3819:15;;3636:249;;;3516:375;;;;;;:::o;3896:902::-;3945:5;3975:8;3965:80;;-1:-1:-1;4016:1:1;4030:5;;3965:80;4064:4;4054:76;;-1:-1:-1;4101:1:1;4115:5;;4054:76;4146:4;4164:1;4159:59;;;;4232:1;4227:174;;;;4139:262;;4159:59;4189:1;4180:10;;4203:5;;;4227:174;4264:3;4254:8;4251:17;4248:43;;;4271:18;;:::i;:::-;-1:-1:-1;;4327:1:1;4313:16;;4386:5;;4139:262;;4485:2;4475:8;4472:16;4466:3;4460:4;4457:13;4453:36;4447:2;4437:8;4434:16;4429:2;4423:4;4420:12;4416:35;4413:77;4410:203;;;-1:-1:-1;4522:19:1;;;4598:5;;4410:203;4645:42;-1:-1:-1;;4670:8:1;4664:4;4645:42;:::i;:::-;4723:6;4719:1;4715:6;4711:19;4702:7;4699:32;4696:58;;;4734:18;;:::i;:::-;4772:20;;3896:902;-1:-1:-1;;;3896:902:1:o;4803:140::-;4861:5;4890:47;4931:4;4921:8;4917:19;4911:4;4890:47;:::i;4948:168::-;5021:9;;;5052;;5069:15;;;5063:22;;5049:37;5039:71;;5090:18;;:::i;5121:356::-;5323:2;5305:21;;;5342:18;;;5335:30;5401:34;5396:2;5381:18;;5374:62;5468:2;5453:18;;5121:356::o;5482:230::-;5552:6;5605:2;5593:9;5584:7;5580:23;5576:32;5573:52;;;5621:1;5618;5611:12;5573:52;-1:-1:-1;5666:16:1;;5482:230;-1:-1:-1;5482:230:1:o;6004:245::-;6071:6;6124:2;6112:9;6103:7;6099:23;6095:32;6092:52;;;6140:1;6137;6130:12;6092:52;6172:9;6166:16;6191:28;6213:5;6191:28;:::i;6602:251::-;6672:6;6725:2;6713:9;6704:7;6700:23;6696:32;6693:52;;;6741:1;6738;6731:12;6693:52;6773:9;6767:16;6792:31;6817:5;6792:31;:::i;7771:456::-;7859:6;7867;7875;7928:2;7916:9;7907:7;7903:23;7899:32;7896:52;;;7944:1;7941;7934:12;7896:52;-1:-1:-1;;7989:16:1;;8095:2;8080:18;;8074:25;8191:2;8176:18;;;8170:25;7989:16;;8074:25;;-1:-1:-1;8170:25:1;7771:456;-1:-1:-1;7771:456:1:o;10967:125::-;11032:9;;;11053:10;;;11050:36;;;11066:18;;:::i;11452:135::-;11491:3;11512:17;;;11509:43;;11532:18;;:::i;:::-;-1:-1:-1;11579:1:1;11568:13;;11452:135::o;11592:217::-;11632:1;11658;11648:132;;11702:10;11697:3;11693:20;11690:1;11683:31;11737:4;11734:1;11727:15;11765:4;11762:1;11755:15;11648:132;-1:-1:-1;11794:9:1;;11592:217::o;12298:127::-;12359:10;12354:3;12350:20;12347:1;12340:31;12390:4;12387:1;12380:15;12414:4;12411:1;12404:15;12430:959;12692:4;12740:3;12729:9;12725:19;12771:6;12760:9;12753:25;12814:6;12809:2;12798:9;12794:18;12787:34;12857:3;12852:2;12841:9;12837:18;12830:31;12881:6;12916;12910:13;12947:6;12939;12932:22;12985:3;12974:9;12970:19;12963:26;;13024:2;13016:6;13012:15;12998:29;;13045:1;13055:195;13069:6;13066:1;13063:13;13055:195;;;13134:13;;-1:-1:-1;;;;;13130:39:1;13118:52;;13199:2;13225:15;;;;13190:12;;;;13166:1;13084:9;13055:195;;;-1:-1:-1;;;;;;;13306:32:1;;;;13301:2;13286:18;;13279:60;-1:-1:-1;;13370:3:1;13355:19;13348:35;13267:3;12430:959;-1:-1:-1;;;12430:959:1:o;13394:128::-;13461:9;;;13482:11;;;13479:37;;;13496:18;;:::i

ipfs://e72ef96919b3e73c0f06ed0646457ae9ce97fc42dd87dba90038ba2fe4daacc9