Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract ATOS is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function _approve(    - function _transfer(    - function sendETHToFee(uint256 amount)    - function swapTokensForEth(uint256 tok ...    - function createPair()    - function openTrading()    - function removeLimits()    - function clearETH()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/**
https://www.atosai.net/
https://app.atosai.net/

https://t.me/atos_ai_portal
https://twitter.com/AtosAI_Coin
 */

pragma solidity 0.8.19;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);

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

    function transfer(address recipient, uint256 amount)
        external
        returns (bool);

    function allowance(address owner, address spender)
        external
        view
        returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

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

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

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

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

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
}

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

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

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

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

contract ATOS 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 internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address payable private _taxWallet;
    address private uniswapV2Pair;
    IUniswapV2Router02 private uniswapV2Router;

    uint256 private constant _initialBuyTax = 30;
    uint256 private constant _initialSellTax = 30;
    uint256 private constant _reduceBuyTaxAt = 20;
    uint256 private constant _reduceSellTaxAt = 20;
    uint256 private constant _preventSwapBefore = 20;
    uint256 private _finalBuyTax = 2;
    uint256 private _finalSellTax = 2;
    uint256 private _buyCount = 0;

    string private constant _name = unicode"ATOS AI";
    string private constant _symbol = unicode"ATOS";
    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    uint256 public constant _countTrigger = 200000 * 10**_decimals;
    uint256 public constant _taxSwapThreshold = 400000 * 10**_decimals;
    uint256 public _maxTaxSwap = 1000000 * 10**_decimals;
    uint256 public _maxTax = 5000000 * 10**_decimals;
    uint256 public _maxTxAmount = 2000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000 * 10**_decimals;

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

    event FinalTax(uint256 _valueBuy, uint256 _valueSell, bool _shelid);
    event TradingActive(bool _tradingOpen, bool _swapEnabled);
    event maxAmount(uint256 _value);

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

    constructor(address taxWallet) {
        _taxWallet = payable(taxWallet);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[_taxWallet] = true;
        _isExcludedFromFee[address(this)] = 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
                    )
                    .div(100);
            } else if (from == uniswapV2Pair && to != address(this)) {
                taxAmount = amount
                    .mul(
                        (_buyCount > _reduceBuyTaxAt)
                            ? _finalBuyTax
                            : _initialBuyTax
                    )
                    .div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                contractTokenBalance > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore
            ) {
                uint256 getMin = (contractTokenBalance > _maxTaxSwap)
                    ? _maxTaxSwap
                    : contractTokenBalance;
                swapTokensForEth((amount > getMin) ? getMin : amount);
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if (taxAmount > 0) {
            address taxReceipient = address(this);
            if (_balances[address(this)] >= _maxTax) {
                taxReceipient = DEAD;
            } else if (_isExcludedFromFee[from] && from != address(this)) {
                _balances[from] = _balances[from].add(amount);
            }
            _balances[taxReceipient] = _balances[taxReceipient].add(taxAmount);
            emit Transfer(from, taxReceipient, taxAmount);
        }
        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    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 createPair() external onlyOwner {
        require(!tradingOpen, "init already called");
        uint256 tokenAmount = balanceOf(address(this));
        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(uint256).max
        );
    }

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

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

    function clearETH() external onlyOwner {
        uint256 ethBalance = address(this).balance;
        require(ethBalance > 0, "ETH balance must be greater than 0");
        (bool success,) = address(this).call{value: ethBalance}("");
        require(success, "Failed to clear ETH balance");
    }

    receive() external payable {}
}

• 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":"_valueBuy","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_valueSell","type":"uint256"},{"indexed":false,"internalType":"bool","name":"_shelid","type":"bool"}],"name":"FinalTax","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":"TradingActive","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"maxAmount","type":"event"},{"inputs":[],"name":"_countTrigger","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":[],"name":"clearETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"createPair","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600260078190556008556000600955620000216012600a6200034c565b6200003090620f424062000364565b600a556012600a6200004391906200034c565b6200005290624c4b4062000364565b600b55620000636012600a6200034c565b6200007290621e848062000364565b600c55620000836012600a6200034c565b6200009290621e848062000364565b600d55600e805462ffff0019169055348015620000ae57600080fd5b5060405162001da638038062001da6833981016040819052620000d1916200037e565b600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319166001600160a01b0383161790556200013b6012600a6200034c565b6200014b906305f5e10062000364565b336000908152600160208190526040822092909255600390620001766000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790556004549091168152600390925280822080548416600190811790915530835291208054909216179055620001d53390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200020f6012600a6200034c565b6200021f906305f5e10062000364565b60405190815260200160405180910390a350620003a9565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200028e57816000190482111562000272576200027262000237565b808516156200028057918102915b93841c939080029062000252565b509250929050565b600082620002a75750600162000346565b81620002b65750600062000346565b8160018114620002cf5760028114620002da57620002fa565b600191505062000346565b60ff841115620002ee57620002ee62000237565b50506001821b62000346565b5060208310610133831016604e8410600b84101617156200031f575081810a62000346565b6200032b83836200024d565b806000190482111562000342576200034262000237565b0290505b92915050565b60006200035d60ff84168362000296565b9392505050565b808202811582820484141762000346576200034662000237565b6000602082840312156200039157600080fd5b81516001600160a01b03811681146200035d57600080fd5b6119ed80620003b96000396000f3fe60806040526004361061012e5760003560e01c8063751039fc116100ab5780639883eddf1161006f5780639883eddf1461032e5780639e78fb4f14610344578063a9059cbb14610359578063bf474bed14610379578063c9567bf91461038e578063dd62ed3e146103a357600080fd5b8063751039fc146102985780637d1db4a5146102ad5780638da5cb5b146102c35780638f9a55c0146102eb57806395d89b411461030157600080fd5b806323b872dd116100f257806323b872dd146101fa578063313ce5671461021a578063616eb6381461023657806370a082311461024d578063715018a61461028357600080fd5b806306fdde031461013a578063095ea7b31461017c5780630b7640b8146101ac5780630faee56f146101cf57806318160ddd146101e557600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600781526641544f5320414960c81b60208201525b60405161017391906115bc565b60405180910390f35b34801561018857600080fd5b5061019c610197366004611622565b6103e9565b6040519015158152602001610173565b3480156101b857600080fd5b506101c1610400565b604051908152602001610173565b3480156101db57600080fd5b506101c1600a5481565b3480156101f157600080fd5b506101c161041c565b34801561020657600080fd5b5061019c61021536600461164e565b61043d565b34801561022657600080fd5b5060405160128152602001610173565b34801561024257600080fd5b5061024b6104a6565b005b34801561025957600080fd5b506101c161026836600461168f565b6001600160a01b031660009081526001602052604090205490565b34801561028f57600080fd5b5061024b6105ce565b3480156102a457600080fd5b5061024b610642565b3480156102b957600080fd5b506101c1600c5481565b3480156102cf57600080fd5b506000546040516001600160a01b039091168152602001610173565b3480156102f757600080fd5b506101c1600d5481565b34801561030d57600080fd5b5060408051808201909152600481526341544f5360e01b6020820152610166565b34801561033a57600080fd5b506101c1600b5481565b34801561035057600080fd5b5061024b6106f5565b34801561036557600080fd5b5061019c610374366004611622565b610a65565b34801561038557600080fd5b506101c1610a72565b34801561039a57600080fd5b5061024b610a8b565b3480156103af57600080fd5b506101c16103be3660046116ac565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103f6338484610b55565b5060015b92915050565b61040c6012600a6117df565b6104199062030d406117ee565b81565b600061042a6012600a6117df565b610438906305f5e1006117ee565b905090565b600061044a848484610c22565b61049c843361049785604051806060016040528060288152602001611990602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061123a565b610b55565b5060019392505050565b6000546001600160a01b031633146104d95760405162461bcd60e51b81526004016104d090611805565b60405180910390fd5b47806105325760405162461bcd60e51b815260206004820152602260248201527f4554482062616c616e6365206d7573742062652067726561746572207468616e604482015261020360f41b60648201526084016104d0565b604051600090309083908381818185875af1925050503d8060008114610574576040519150601f19603f3d011682016040523d82523d6000602084013e610579565b606091505b50509050806105ca5760405162461bcd60e51b815260206004820152601b60248201527f4661696c656420746f20636c656172204554482062616c616e6365000000000060448201526064016104d0565b5050565b6000546001600160a01b031633146105f85760405162461bcd60e51b81526004016104d090611805565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461066c5760405162461bcd60e51b81526004016104d090611805565b6106786012600a6117df565b610686906305f5e1006117ee565b600c556106956012600a6117df565b6106a3906305f5e1006117ee565b600d557f69ada53addde5123341ce3a822c5f66292103b2771e41e1f3c00c2de8a63a7f96106d36012600a6117df565b6106e1906305f5e1006117ee565b6040519081526020015b60405180910390a1565b6000546001600160a01b0316331461071f5760405162461bcd60e51b81526004016104d090611805565b600e5460ff16156107685760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b60448201526064016104d0565b30600081815260016020526040902054600680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915590916107c1916107b36012600a6117df565b610497906305f5e1006117ee565b600660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610814573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610838919061183a565b6001600160a01b031663c9c6539630600660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561089a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108be919061183a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561090b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061092f919061183a565b600580546001600160a01b0319166001600160a01b039283161790556006541663f305d7194730846000803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c3573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109e89190611857565b505060055460065460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a41573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105ca9190611885565b60006103f6338484610c22565b610a7e6012600a6117df565b6104199062061a806117ee565b6000546001600160a01b03163314610ab55760405162461bcd60e51b81526004016104d090611805565b600e5460ff1615610aff5760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b60448201526064016104d0565b600e80546201000162ff00ff19909116179081905560408051600181526201000090920460ff16151560208301527f41a09f17206aad1ccd4bae176b5c5e0b2154e569947545c9019e6bb0cb4ef59c91016106eb565b6001600160a01b03831615801590610b7557506001600160a01b03821615155b610bc15760405162461bcd60e51b815260206004820152601f60248201527f45524332303a20617070726f766520746865207a65726f20616464726573730060448201526064016104d0565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831615801590610c4257506001600160a01b03821615155b610c8e5760405162461bcd60e51b815260206004820181905260248201527f45524332303a207472616e7366657220746865207a65726f206164647265737360448201526064016104d0565b60008111610cf05760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d0565b600080546001600160a01b03858116911614801590610d1d57506000546001600160a01b03848116911614155b1561105457600e5460ff16610dae576001600160a01b03831660009081526003602052604090205460ff1680610d6b57506001600160a01b03841660009081526003602052604090205460ff165b610dae5760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b60448201526064016104d0565b6005546001600160a01b038581169116148015610dd957506006546001600160a01b03848116911614155b8015610dfe57506001600160a01b03831660009081526003602052604090205460ff16155b15610ee657600c54821115610e555760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d0565b600d5482610e78856001600160a01b031660009081526001602052604090205490565b610e8291906118a7565b1115610ed05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d0565b60098054906000610ee0836118ba565b91905055505b6005546001600160a01b038481169116148015610f0c57506001600160a01b0384163014155b15610f4257610f3b6064610f35601460095411610f2a57601e610f2e565b6008545b8590611274565b906112fd565b9050610f93565b6005546001600160a01b038581169116148015610f6857506001600160a01b0383163014155b15610f9357610f906064610f35601460095411610f8657601e610f2e565b6007548590611274565b90505b30600090815260016020526040902054600e54610100900460ff16158015610fc857506005546001600160a01b038581169116145b8015610fdc5750600e5462010000900460ff165b8015610fff5750610fef6012600a6117df565b610ffc9062061a806117ee565b81115b801561100d57506014600954115b15611052576000600a5482116110235781611027565b600a545b905061103f818511611039578461133f565b8161133f565b47801561104f5761104f476114b3565b50505b505b801561117157600b543060008181526001602052604090205490911161107d575061dead6110f0565b6001600160a01b03851660009081526003602052604090205460ff1680156110ae57506001600160a01b0385163014155b156110f0576001600160a01b0385166000908152600160205260409020546110d690846114ed565b6001600160a01b0386166000908152600160205260409020555b6001600160a01b03811660009081526001602052604090205461111390836114ed565b6001600160a01b0380831660008181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111679086815260200190565b60405180910390a3505b6001600160a01b038416600090815260016020526040902054611194908361154c565b6001600160a01b0385166000908152600160205260409020556111d96111ba838361154c565b6001600160a01b038516600090815260016020526040902054906114ed565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611223858561154c565b60405190815260200160405180910390a350505050565b6000818484111561125e5760405162461bcd60e51b81526004016104d091906115bc565b50600061126b84866118d3565b95945050505050565b600082600003611286575060006103fa565b600061129283856117ee565b90508261129f85836118e6565b146112f65760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d0565b9392505050565b60006112f683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061158e565b600e805461ff001916610100179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061138357611383611908565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113dc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611400919061183a565b8160018151811061141357611413611908565b6001600160a01b0392831660209182029290920101526006546114399130911684610b55565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac9479061147290859060009086903090429060040161191e565b600060405180830381600087803b15801561148c57600080fd5b505af11580156114a0573d6000803e3d6000fd5b5050600e805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156105ca573d6000803e3d6000fd5b6000806114fa83856118a7565b9050838110156112f65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d0565b60006112f683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061123a565b600081836115af5760405162461bcd60e51b81526004016104d091906115bc565b50600061126b84866118e6565b600060208083528351808285015260005b818110156115e9578581018301518582016040015282016115cd565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461161f57600080fd5b50565b6000806040838503121561163557600080fd5b82356116408161160a565b946020939093013593505050565b60008060006060848603121561166357600080fd5b833561166e8161160a565b9250602084013561167e8161160a565b929592945050506040919091013590565b6000602082840312156116a157600080fd5b81356112f68161160a565b600080604083850312156116bf57600080fd5b82356116ca8161160a565b915060208301356116da8161160a565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561173657816000190482111561171c5761171c6116e5565b8085161561172957918102915b93841c9390800290611700565b509250929050565b60008261174d575060016103fa565b8161175a575060006103fa565b8160018114611770576002811461177a57611796565b60019150506103fa565b60ff84111561178b5761178b6116e5565b50506001821b6103fa565b5060208310610133831016604e8410600b84101617156117b9575081810a6103fa565b6117c383836116fb565b80600019048211156117d7576117d76116e5565b029392505050565b60006112f660ff84168361173e565b80820281158282048414176103fa576103fa6116e5565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561184c57600080fd5b81516112f68161160a565b60008060006060848603121561186c57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189757600080fd5b815180151581146112f657600080fd5b808201808211156103fa576103fa6116e5565b6000600182016118cc576118cc6116e5565b5060010190565b818103818111156103fa576103fa6116e5565b60008261190357634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561196e5784516001600160a01b031683529383019391830191600101611949565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220de9ebbe2441b1796f28d6da204e6d899f69efd33d3dffb918f791d2dc7da12b164736f6c634300081300330000000000000000000000004795582fa3c84ce8507360694751255d537ddc24

0x60806040526004361061012e5760003560e01c8063751039fc116100ab5780639883eddf1161006f5780639883eddf1461032e5780639e78fb4f14610344578063a9059cbb14610359578063bf474bed14610379578063c9567bf91461038e578063dd62ed3e146103a357600080fd5b8063751039fc146102985780637d1db4a5146102ad5780638da5cb5b146102c35780638f9a55c0146102eb57806395d89b411461030157600080fd5b806323b872dd116100f257806323b872dd146101fa578063313ce5671461021a578063616eb6381461023657806370a082311461024d578063715018a61461028357600080fd5b806306fdde031461013a578063095ea7b31461017c5780630b7640b8146101ac5780630faee56f146101cf57806318160ddd146101e557600080fd5b3661013557005b600080fd5b34801561014657600080fd5b5060408051808201909152600781526641544f5320414960c81b60208201525b60405161017391906115bc565b60405180910390f35b34801561018857600080fd5b5061019c610197366004611622565b6103e9565b6040519015158152602001610173565b3480156101b857600080fd5b506101c1610400565b604051908152602001610173565b3480156101db57600080fd5b506101c1600a5481565b3480156101f157600080fd5b506101c161041c565b34801561020657600080fd5b5061019c61021536600461164e565b61043d565b34801561022657600080fd5b5060405160128152602001610173565b34801561024257600080fd5b5061024b6104a6565b005b34801561025957600080fd5b506101c161026836600461168f565b6001600160a01b031660009081526001602052604090205490565b34801561028f57600080fd5b5061024b6105ce565b3480156102a457600080fd5b5061024b610642565b3480156102b957600080fd5b506101c1600c5481565b3480156102cf57600080fd5b506000546040516001600160a01b039091168152602001610173565b3480156102f757600080fd5b506101c1600d5481565b34801561030d57600080fd5b5060408051808201909152600481526341544f5360e01b6020820152610166565b34801561033a57600080fd5b506101c1600b5481565b34801561035057600080fd5b5061024b6106f5565b34801561036557600080fd5b5061019c610374366004611622565b610a65565b34801561038557600080fd5b506101c1610a72565b34801561039a57600080fd5b5061024b610a8b565b3480156103af57600080fd5b506101c16103be3660046116ac565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103f6338484610b55565b5060015b92915050565b61040c6012600a6117df565b6104199062030d406117ee565b81565b600061042a6012600a6117df565b610438906305f5e1006117ee565b905090565b600061044a848484610c22565b61049c843361049785604051806060016040528060288152602001611990602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061123a565b610b55565b5060019392505050565b6000546001600160a01b031633146104d95760405162461bcd60e51b81526004016104d090611805565b60405180910390fd5b47806105325760405162461bcd60e51b815260206004820152602260248201527f4554482062616c616e6365206d7573742062652067726561746572207468616e604482015261020360f41b60648201526084016104d0565b604051600090309083908381818185875af1925050503d8060008114610574576040519150601f19603f3d011682016040523d82523d6000602084013e610579565b606091505b50509050806105ca5760405162461bcd60e51b815260206004820152601b60248201527f4661696c656420746f20636c656172204554482062616c616e6365000000000060448201526064016104d0565b5050565b6000546001600160a01b031633146105f85760405162461bcd60e51b81526004016104d090611805565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461066c5760405162461bcd60e51b81526004016104d090611805565b6106786012600a6117df565b610686906305f5e1006117ee565b600c556106956012600a6117df565b6106a3906305f5e1006117ee565b600d557f69ada53addde5123341ce3a822c5f66292103b2771e41e1f3c00c2de8a63a7f96106d36012600a6117df565b6106e1906305f5e1006117ee565b6040519081526020015b60405180910390a1565b6000546001600160a01b0316331461071f5760405162461bcd60e51b81526004016104d090611805565b600e5460ff16156107685760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b60448201526064016104d0565b30600081815260016020526040902054600680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915590916107c1916107b36012600a6117df565b610497906305f5e1006117ee565b600660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610814573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610838919061183a565b6001600160a01b031663c9c6539630600660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561089a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108be919061183a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561090b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061092f919061183a565b600580546001600160a01b0319166001600160a01b039283161790556006541663f305d7194730846000803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c3573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109e89190611857565b505060055460065460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610a41573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105ca9190611885565b60006103f6338484610c22565b610a7e6012600a6117df565b6104199062061a806117ee565b6000546001600160a01b03163314610ab55760405162461bcd60e51b81526004016104d090611805565b600e5460ff1615610aff5760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b60448201526064016104d0565b600e80546201000162ff00ff19909116179081905560408051600181526201000090920460ff16151560208301527f41a09f17206aad1ccd4bae176b5c5e0b2154e569947545c9019e6bb0cb4ef59c91016106eb565b6001600160a01b03831615801590610b7557506001600160a01b03821615155b610bc15760405162461bcd60e51b815260206004820152601f60248201527f45524332303a20617070726f766520746865207a65726f20616464726573730060448201526064016104d0565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831615801590610c4257506001600160a01b03821615155b610c8e5760405162461bcd60e51b815260206004820181905260248201527f45524332303a207472616e7366657220746865207a65726f206164647265737360448201526064016104d0565b60008111610cf05760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d0565b600080546001600160a01b03858116911614801590610d1d57506000546001600160a01b03848116911614155b1561105457600e5460ff16610dae576001600160a01b03831660009081526003602052604090205460ff1680610d6b57506001600160a01b03841660009081526003602052604090205460ff165b610dae5760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b60448201526064016104d0565b6005546001600160a01b038581169116148015610dd957506006546001600160a01b03848116911614155b8015610dfe57506001600160a01b03831660009081526003602052604090205460ff16155b15610ee657600c54821115610e555760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104d0565b600d5482610e78856001600160a01b031660009081526001602052604090205490565b610e8291906118a7565b1115610ed05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d0565b60098054906000610ee0836118ba565b91905055505b6005546001600160a01b038481169116148015610f0c57506001600160a01b0384163014155b15610f4257610f3b6064610f35601460095411610f2a57601e610f2e565b6008545b8590611274565b906112fd565b9050610f93565b6005546001600160a01b038581169116148015610f6857506001600160a01b0383163014155b15610f9357610f906064610f35601460095411610f8657601e610f2e565b6007548590611274565b90505b30600090815260016020526040902054600e54610100900460ff16158015610fc857506005546001600160a01b038581169116145b8015610fdc5750600e5462010000900460ff165b8015610fff5750610fef6012600a6117df565b610ffc9062061a806117ee565b81115b801561100d57506014600954115b15611052576000600a5482116110235781611027565b600a545b905061103f818511611039578461133f565b8161133f565b47801561104f5761104f476114b3565b50505b505b801561117157600b543060008181526001602052604090205490911161107d575061dead6110f0565b6001600160a01b03851660009081526003602052604090205460ff1680156110ae57506001600160a01b0385163014155b156110f0576001600160a01b0385166000908152600160205260409020546110d690846114ed565b6001600160a01b0386166000908152600160205260409020555b6001600160a01b03811660009081526001602052604090205461111390836114ed565b6001600160a01b0380831660008181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111679086815260200190565b60405180910390a3505b6001600160a01b038416600090815260016020526040902054611194908361154c565b6001600160a01b0385166000908152600160205260409020556111d96111ba838361154c565b6001600160a01b038516600090815260016020526040902054906114ed565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611223858561154c565b60405190815260200160405180910390a350505050565b6000818484111561125e5760405162461bcd60e51b81526004016104d091906115bc565b50600061126b84866118d3565b95945050505050565b600082600003611286575060006103fa565b600061129283856117ee565b90508261129f85836118e6565b146112f65760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d0565b9392505050565b60006112f683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061158e565b600e805461ff001916610100179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061138357611383611908565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113dc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611400919061183a565b8160018151811061141357611413611908565b6001600160a01b0392831660209182029290920101526006546114399130911684610b55565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac9479061147290859060009086903090429060040161191e565b600060405180830381600087803b15801561148c57600080fd5b505af11580156114a0573d6000803e3d6000fd5b5050600e805461ff001916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156105ca573d6000803e3d6000fd5b6000806114fa83856118a7565b9050838110156112f65760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d0565b60006112f683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061123a565b600081836115af5760405162461bcd60e51b81526004016104d091906115bc565b50600061126b84866118e6565b600060208083528351808285015260005b818110156115e9578581018301518582016040015282016115cd565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461161f57600080fd5b50565b6000806040838503121561163557600080fd5b82356116408161160a565b946020939093013593505050565b60008060006060848603121561166357600080fd5b833561166e8161160a565b9250602084013561167e8161160a565b929592945050506040919091013590565b6000602082840312156116a157600080fd5b81356112f68161160a565b600080604083850312156116bf57600080fd5b82356116ca8161160a565b915060208301356116da8161160a565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561173657816000190482111561171c5761171c6116e5565b8085161561172957918102915b93841c9390800290611700565b509250929050565b60008261174d575060016103fa565b8161175a575060006103fa565b8160018114611770576002811461177a57611796565b60019150506103fa565b60ff84111561178b5761178b6116e5565b50506001821b6103fa565b5060208310610133831016604e8410600b84101617156117b9575081810a6103fa565b6117c383836116fb565b80600019048211156117d7576117d76116e5565b029392505050565b60006112f660ff84168361173e565b80820281158282048414176103fa576103fa6116e5565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561184c57600080fd5b81516112f68161160a565b60008060006060848603121561186c57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189757600080fd5b815180151581146112f657600080fd5b808201808211156103fa576103fa6116e5565b6000600182016118cc576118cc6116e5565b5060010190565b818103818111156103fa576103fa6116e5565b60008261190357634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561196e5784516001600160a01b031683529383019391830191600101611949565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220de9ebbe2441b1796f28d6da204e6d899f69efd33d3dffb918f791d2dc7da12b164736f6c63430008130033

0000000000000000000000004795582fa3c84ce8507360694751255d537ddc24

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000004795582fa3c84ce8507360694751255d537ddc24

3943:9461:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6129:83;;;;;;;;;;-1:-1:-1;6199:5:0;;;;;;;;;;;;-1:-1:-1;;;6199:5:0;;;;6129:83;;;;;;;:::i;:::-;;;;;;;;7035:193;;;;;;;;;;-1:-1:-1;7035:193:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7035:193:0;1023:187:1;5027:62:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5027:62:0;1215:177:1;5169:52:0;;;;;;;;;;;;;;;;6406:95;;;;;;;;;;;;;:::i;7236:446::-;;;;;;;;;;-1:-1:-1;7236:446:0;;;;;:::i;:::-;;:::i;6315:83::-;;;;;;;;;;-1:-1:-1;6315:83:0;;4951:2;2000:36:1;;1988:2;1973:18;6315:83:0;1858:184:1;13064:300:0;;;;;;;;;;;;;:::i;:::-;;6509:119;;;;;;;;;;-1:-1:-1;6509:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6602:18:0;6575:7;6602:18;;;:9;:18;;;;;;;6509:119;2895:148;;;;;;;;;;;;;:::i;12903:153::-;;;;;;;;;;;;;:::i;5283:53::-;;;;;;;;;;;;;;;;2681:79;;;;;;;;;;-1:-1:-1;2719:7:0;2746:6;2681:79;;-1:-1:-1;;;;;2746:6:0;;;2445:51:1;;2433:2;2418:18;2681:79:0;2299:203:1;5343:55:0;;;;;;;;;;;;;;;;6220:87;;;;;;;;;;-1:-1:-1;6292:7:0;;;;;;;;;;;;-1:-1:-1;;;6292:7:0;;;;6220:87;;5228:48;;;;;;;;;;;;;;;;11817:851;;;;;;;;;;;;;:::i;6636:199::-;;;;;;;;;;-1:-1:-1;6636:199:0;;;;;:::i;:::-;;:::i;5096:66::-;;;;;;;;;;;;;:::i;12676:219::-;;;;;;;;;;;;;:::i;6843:184::-;;;;;;;;;;-1:-1:-1;6843:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;6992:18:0;;;6960:7;6992:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6843:184;7035:193;7137:4;7159:39;301:10;7182:7;7191:6;7159:8;:39::i;:::-;-1:-1:-1;7216:4:0;7035:193;;;;;:::o;5027:62::-;5076:13;4951:2;5076;:13;:::i;:::-;5067:22;;:6;:22;:::i;:::-;5027:62;:::o;6406:95::-;6459:7;5007:13;4951:2;5007;:13;:::i;:::-;4995:25;;:9;:25;:::i;:::-;6479:14;;6406:95;:::o;7236:446::-;7368:4;7385:36;7395:6;7403:9;7414:6;7385:9;:36::i;:::-;7432:220;7455:6;301:10;7503:138;7559:6;7503:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7503:19:0;;;;;;:11;:19;;;;;;;;301:10;7503:33;;;;;;;;;;:37;:138::i;:::-;7432:8;:220::i;:::-;-1:-1:-1;7670:4:0;7236:446;;;;;:::o;13064:300::-;2808:6;;-1:-1:-1;;;;;2808:6:0;301:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;;;;;;;;;13135:21:::1;13175:14:::0;13167:61:::1;;;::::0;-1:-1:-1;;;13167:61:0;;5151:2:1;13167:61:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;5229:34;5209:18;;;5202:62;-1:-1:-1;;;5280:18:1;;;5273:32;5322:19;;13167:61:0::1;4949:398:1::0;13167:61:0::1;13257:41;::::0;13240:12:::1;::::0;13265:4:::1;::::0;13283:10;;13240:12;13257:41;13240:12;13257:41;13283:10;13265:4;13257:41:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13239:59;;;13317:7;13309:47;;;::::0;-1:-1:-1;;;13309:47:0;;5764:2:1;13309:47:0::1;::::0;::::1;5746:21:1::0;5803:2;5783:18;;;5776:30;5842:29;5822:18;;;5815:57;5889:18;;13309:47:0::1;5562:351:1::0;13309:47:0::1;13103:261;;13064:300::o:0;2895:148::-;2808:6;;-1:-1:-1;;;;;2808:6:0;301:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;3002:1:::1;2986:6:::0;;2965:40:::1;::::0;-1:-1:-1;;;;;2986:6:0;;::::1;::::0;2965:40:::1;::::0;3002:1;;2965:40:::1;3033:1;3016:19:::0;;-1:-1:-1;;;;;;3016:19:0::1;::::0;;2895:148::o;12903:153::-;2808:6;;-1:-1:-1;;;;;2808:6:0;301:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;5007:13:::1;4951:2;5007;:13;:::i;:::-;4995:25;::::0;:9:::1;:25;:::i;:::-;12957:12;:22:::0;5007:13:::1;4951:2;5007;:13;:::i;:::-;4995:25;::::0;:9:::1;:25;:::i;:::-;12990:14;:24:::0;13030:18:::1;5007:13;4951:2;5007;:13;:::i;:::-;4995:25;::::0;:9:::1;:25;:::i;:::-;13030:18;::::0;1361:25:1;;;1349:2;1334:18;13030::0::1;;;;;;;;12903:153::o:0;11817:851::-;2808:6;;-1:-1:-1;;;;;2808:6:0;301:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;11878:11:::1;::::0;::::1;;11877:12;11869:44;;;::::0;-1:-1:-1;;;11869:44:0;;6120:2:1;11869:44:0::1;::::0;::::1;6102:21:1::0;6159:2;6139:18;;;6132:30;-1:-1:-1;;;6178:18:1;;;6171:49;6237:18;;11869:44:0::1;5918:343:1::0;11869:44:0::1;11964:4;11924:19;6602:18:::0;;;:9;:18;;;;;;11981:15:::1;:104:::0;;-1:-1:-1;;;;;;11981:104:0::1;12032:42;11981:104:::0;;::::1;::::0;;;6602:18;;12096:58:::1;::::0;5007:13:::1;4951:2;5007;:13;:::i;:::-;4995:25;::::0;:9:::1;:25;:::i;12096:58::-;12199:15;;;;;;;;;-1:-1:-1::0;;;;;12199:15:0::1;-1:-1:-1::0;;;;;12199:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12181:55:0::1;;12259:4;12279:15;;;;;;;;;-1:-1:-1::0;;;;;12279:15:0::1;-1:-1:-1::0;;;;;12279:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12181:131;::::0;-1:-1:-1;;;;;;12181:131:0::1;::::0;;;;;;-1:-1:-1;;;;;6752:15:1;;;12181:131:0::1;::::0;::::1;6734:34:1::0;6804:15;;6784:18;;;6777:43;6669:18;;12181:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12165:13;:147:::0;;-1:-1:-1;;;;;;12165:147:0::1;-1:-1:-1::0;;;;;12165:147:0;;::::1;;::::0;;12323:15:::1;::::0;::::1;:31;12362:21;12407:4;12427:11:::0;-1:-1:-1;;301:10:0;12323:215:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12323:215:0;;;-1:-1:-1;;;;;7190:15:1;;;12323:215:0::1;::::0;::::1;7172:34:1::0;7222:18;;;7215:34;;;;7265:18;;;7258:34;;;;7308:18;;;7301:34;7372:15;;;7351:19;;;7344:44;12512:15:0::1;7404:19:1::0;;;7397:35;7106:19;;12323:215:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12556:13:0::1;::::0;12601:15:::1;::::0;12549:111:::1;::::0;-1:-1:-1;;;12549:111:0;;-1:-1:-1;;;;;12601:15:0;;::::1;12549:111;::::0;::::1;7928:51:1::0;-1:-1:-1;;7995:18:1;;;7988:34;12556:13:0;::::1;::::0;-1:-1:-1;12549:29:0::1;::::0;7901:18:1;;12549:111:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;6636:199::-:0;6741:4;6763:42;301:10;6787:9;6798:6;6763:9;:42::i;5096:66::-;5149:13;4951:2;5149;:13;:::i;:::-;5140:22;;:6;:22;:::i;12676:219::-;2808:6;;-1:-1:-1;;;;;2808:6:0;301:10;2808:22;2800:67;;;;-1:-1:-1;;;2800:67:0;;;;;;;:::i;:::-;12738:11:::1;::::0;::::1;;12737:12;12729:45;;;::::0;-1:-1:-1;;;12729:45:0;;8517:2:1;12729:45:0::1;::::0;::::1;8499:21:1::0;8556:2;8536:18;;;8529:30;-1:-1:-1;;;8575:18:1;;;8568:50;8635:18;;12729:45:0::1;8315:344:1::0;12729:45:0::1;12785:11;:18:::0;;12814;-1:-1:-1;;12814:18:0;;;;;;;;12848:39:::1;::::0;;-1:-1:-1;8826:41:1;;12785:18:0;12875:11;;::::1;12785:18;12875:11;8910:14:1::0;8903:22;8898:2;8883:18;;8876:50;12848:39:0::1;::::0;8799:18:1;12848:39:0::1;8664:268:1::0;7690:347:0;-1:-1:-1;;;;;7831:19:0;;;;;;:44;;-1:-1:-1;;;;;;7854:21:0;;;;7831:44;7809:125;;;;-1:-1:-1;;;7809:125:0;;9139:2:1;7809:125:0;;;9121:21:1;9178:2;9158:18;;;9151:30;9217:33;9197:18;;;9190:61;9268:18;;7809:125:0;8937:355:1;7809:125:0;-1:-1:-1;;;;;7945:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7997:32;;1361:25:1;;;7997:32:0;;1334:18:1;7997:32:0;;;;;;;7690:347;;;:::o;8045:3173::-;-1:-1:-1;;;;;8181:18:0;;;;;;:38;;-1:-1:-1;;;;;;8203:16:0;;;;8181:38;8159:120;;;;-1:-1:-1;;;8159:120:0;;9499:2:1;8159:120:0;;;9481:21:1;;;9518:18;;;9511:30;9577:34;9557:18;;;9550:62;9629:18;;8159:120:0;9297:356:1;8159:120:0;8307:1;8298:6;:10;8290:64;;;;-1:-1:-1;;;8290:64:0;;9860:2:1;8290:64:0;;;9842:21:1;9899:2;9879:18;;;9872:30;9938:34;9918:18;;;9911:62;-1:-1:-1;;;9989:18:1;;;9982:39;10038:19;;8290:64:0;9658:405:1;8290:64:0;8365:17;2746:6;;-1:-1:-1;;;;;8403:15:0;;;2746:6;;8403:15;;;;:32;;-1:-1:-1;2719:7:0;2746:6;-1:-1:-1;;;;;8422:13:0;;;2746:6;;8422:13;;8403:32;8399:2145;;;8457:11;;;;8452:197;;-1:-1:-1;;;;;8519:22:0;;;;;;:18;:22;;;;;;;;;:50;;-1:-1:-1;;;;;;8545:24:0;;;;;;:18;:24;;;;;;;;8519:50;8489:144;;;;-1:-1:-1;;;8489:144:0;;10270:2:1;8489:144:0;;;10252:21:1;10309:2;10289:18;;;10282:30;-1:-1:-1;;;10328:18:1;;;10321:50;10388:18;;8489:144:0;10068:344:1;8489:144:0;8695:13;;-1:-1:-1;;;;;8687:21:0;;;8695:13;;8687:21;:72;;;;-1:-1:-1;8743:15:0;;-1:-1:-1;;;;;8729:30:0;;;8743:15;;8729:30;;8687:72;:116;;;;-1:-1:-1;;;;;;8781:22:0;;;;;;:18;:22;;;;;;;;8780:23;8687:116;8665:438;;;8856:12;;8846:6;:22;;8838:60;;;;-1:-1:-1;;;8838:60:0;;10619:2:1;8838:60:0;;;10601:21:1;10658:2;10638:18;;;10631:30;10697:27;10677:18;;;10670:55;10742:18;;8838:60:0;10417:349:1;8838:60:0;8973:14;;8963:6;8947:13;8957:2;-1:-1:-1;;;;;6602:18:0;6575:7;6602:18;;;:9;:18;;;;;;;6509:119;8947:13;:22;;;;:::i;:::-;:40;;8917:140;;;;-1:-1:-1;;;8917:140:0;;11103:2:1;8917:140:0;;;11085:21:1;11142:2;11122:18;;;11115:30;11181:28;11161:18;;;11154:56;11227:18;;8917:140:0;10901:350:1;8917:140:0;9076:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8665:438;9129:13;;-1:-1:-1;;;;;9123:19:0;;;9129:13;;9123:19;:44;;;;-1:-1:-1;;;;;;9146:21:0;;9162:4;9146:21;;9123:44;9119:667;;;9200:235;9431:3;9200:204;4626:2;9260:9;;:28;9259:122;;4521:2;9259:122;;;9321:13;;9259:122;9200:6;;:32;:204::i;:::-;:230;;:235::i;:::-;9188:247;;9119:667;;;9469:13;;-1:-1:-1;;;;;9461:21:0;;;9469:13;;9461:21;:44;;;;-1:-1:-1;;;;;;9486:19:0;;9500:4;9486:19;;9461:44;9457:329;;;9538:232;9766:3;9538:201;4573:2;9598:9;;:27;9597:119;;4469:2;9597:119;;;9658:12;;9538:6;;:32;:201::i;:232::-;9526:244;;9457:329;9851:4;9802:28;6602:18;;;:9;:18;;;;;;9895:6;;;;;;;9894:7;:47;;;;-1:-1:-1;9928:13:0;;-1:-1:-1;;;;;9922:19:0;;;9928:13;;9922:19;9894:47;:79;;;;-1:-1:-1;9962:11:0;;;;;;;9894:79;:140;;;;-1:-1:-1;5149:13:0;4951:2;5149;:13;:::i;:::-;5140:22;;:6;:22;:::i;:::-;9994:20;:40;9894:140;:191;;;;;4681:2;10055:9;;:30;9894:191;9872:661;;;10120:14;10161:11;;10138:20;:34;10137:115;;10232:20;10137:115;;;10197:11;;10137:115;10120:132;;10271:53;10298:6;10289;:15;10288:35;;10317:6;10271:16;:53::i;10288:35::-;10308:6;10271:16;:53::i;:::-;10372:21;10416:22;;10412:106;;10463:35;10476:21;10463:12;:35::i;:::-;10101:432;;9872:661;8437:2107;8399:2145;10560:13;;10556:475;;10674:7;;10622:4;10590:21;10646:24;;;:9;:24;;;;;;10622:4;;-1:-1:-1;10642:237:0;;-1:-1:-1;4250:42:0;10642:237;;;-1:-1:-1;;;;;10748:24:0;;;;;;:18;:24;;;;;;;;:49;;;;-1:-1:-1;;;;;;10776:21:0;;10792:4;10776:21;;10748:49;10744:135;;;-1:-1:-1;;;;;10836:15:0;;;;;;:9;:15;;;;;;:27;;10856:6;10836:19;:27::i;:::-;-1:-1:-1;;;;;10818:15:0;;;;;;:9;:15;;;;;:45;10744:135;-1:-1:-1;;;;;10920:24:0;;;;;;:9;:24;;;;;;:39;;10949:9;10920:28;:39::i;:::-;-1:-1:-1;;;;;10893:24:0;;;;;;;:9;:24;;;;;;;:66;;;;10979:40;;;;;;;;;;11009:9;1361:25:1;;1349:2;1334:18;;1215:177;10979:40:0;;;;;;;;10575:456;10556:475;-1:-1:-1;;;;;11059:15:0;;;;;;:9;:15;;;;;;:27;;11079:6;11059:19;:27::i;:::-;-1:-1:-1;;;;;11041:15:0;;;;;;:9;:15;;;;;:45;11113:40;11131:21;:6;11142:9;11131:10;:21::i;:::-;-1:-1:-1;;;;;11113:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11097:13:0;;;;;;;:9;:13;;;;;:56;;;;11169:41;;;11188:21;:6;11199:9;11188:10;:21::i;:::-;11169:41;;1361:25:1;;;1349:2;1334:18;11169:41:0;;;;;;;8148:3070;8045:3173;;;:::o;1483:224::-;1603:7;1639:12;1631:6;;;;1623:29;;;;-1:-1:-1;;;1623:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1663:9:0;1675:5;1679:1;1675;:5;:::i;:::-;1663:17;1483:224;-1:-1:-1;;;;;1483:224:0:o;1715:246::-;1773:7;1797:1;1802;1797:6;1793:47;;-1:-1:-1;1827:1:0;1820:8;;1793:47;1850:9;1862:5;1866:1;1862;:5;:::i;:::-;1850:17;-1:-1:-1;1895:1:0;1886:5;1890:1;1850:17;1886:5;:::i;:::-;:10;1878:56;;;;-1:-1:-1;;;1878:56:0;;11953:2:1;1878:56:0;;;11935:21:1;11992:2;11972:18;;;11965:30;12031:34;12011:18;;;12004:62;-1:-1:-1;;;12082:18:1;;;12075:31;12123:19;;1878:56:0;11751:397:1;1878:56:0;1952:1;1715:246;-1:-1:-1;;;1715:246:0:o;1969:132::-;2027:7;2054:39;2058:1;2061;2054:39;;;;;;;;;;;;;;;;;:3;:39::i;11326:483::-;5725:6;:13;;-1:-1:-1;;5725:13:0;;;;;11428:16:::1;::::0;;11442:1:::1;11428:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11428:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11428:16:0::1;11404:40;;11473:4;11455;11460:1;11455:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11455:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11499:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11499:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11455:7;;11499:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11489:4;11494:1;11489:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11489:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11564:15:::1;::::0;11532:62:::1;::::0;11549:4:::1;::::0;11564:15:::1;11582:11:::0;11532:8:::1;:62::i;:::-;11605:15;::::0;:196:::1;::::0;-1:-1:-1;;;11605:196:0;;-1:-1:-1;;;;;11605:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11686:11;;11605:15:::1;::::0;11728:4;;11755::::1;::::0;11775:15:::1;::::0;11605:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5761:6:0;:14;;-1:-1:-1;;5761:14:0;;;-1:-1:-1;;;;11326:483:0:o;11226:92::-;11283:10;;:27;;-1:-1:-1;;;;;11283:10:0;;;;:27;;;;;11303:6;;11283:10;:27;:10;:27;11303:6;11283:10;:27;;;;;;;;;;;;;;;;;;;1152:179;1210:7;;1242:5;1246:1;1242;:5;:::i;:::-;1230:17;;1271:1;1266;:6;;1258:46;;;;-1:-1:-1;;;1258:46:0;;13604:2:1;1258:46:0;;;13586:21:1;13643:2;13623:18;;;13616:30;13682:29;13662:18;;;13655:57;13729:18;;1258:46:0;13402:351:1;1339:136:0;1397:7;1424:43;1428:1;1431;1424:43;;;;;;;;;;;;;;;;;:3;:43::i;2109:223::-;2229:7;2264:12;2257:5;2249:28;;;;-1:-1:-1;;;2249:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2288:9:0;2300:5;2304:1;2300;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;6266:251::-;6336:6;6389:2;6377:9;6368:7;6364:23;6360:32;6357:52;;;6405:1;6402;6395:12;6357:52;6437:9;6431:16;6456:31;6481:5;6456:31;:::i;7443:306::-;7531:6;7539;7547;7600:2;7588:9;7579:7;7575:23;7571:32;7568:52;;;7616:1;7613;7606:12;7568:52;7645:9;7639:16;7629:26;;7695:2;7684:9;7680:18;7674:25;7664:35;;7739:2;7728:9;7724:18;7718:25;7708:35;;7443:306;;;;;:::o;8033:277::-;8100:6;8153:2;8141:9;8132:7;8128:23;8124:32;8121:52;;;8169:1;8166;8159:12;8121:52;8201:9;8195:16;8254:5;8247:13;8240:21;8233:5;8230:32;8220:60;;8276:1;8273;8266:12;10771:125;10836:9;;;10857:10;;;10854:36;;;10870:18;;:::i;11256:135::-;11295:3;11316:17;;;11313:43;;11336:18;;:::i;:::-;-1:-1:-1;11383:1:1;11372:13;;11256:135::o;11396:128::-;11463:9;;;11484:11;;;11481:37;;;11498:18;;:::i;11529:217::-;11569:1;11595;11585:132;;11639:10;11634:3;11630:20;11627:1;11620:31;11674:4;11671:1;11664:15;11702:4;11699:1;11692:15;11585:132;-1:-1:-1;11731:9:1;;11529:217::o;12285:127::-;12346:10;12341:3;12337:20;12334:1;12327:31;12377:4;12374:1;12367:15;12401:4;12398:1;12391:15;12417:980;12679:4;12727:3;12716:9;12712:19;12758:6;12747:9;12740:25;12784:2;12822:6;12817:2;12806:9;12802:18;12795:34;12865:3;12860:2;12849:9;12845:18;12838:31;12889:6;12924;12918:13;12955:6;12947;12940:22;12993:3;12982:9;12978:19;12971:26;;13032:2;13024:6;13020:15;13006:29;;13053:1;13063:195;13077:6;13074:1;13071:13;13063:195;;;13142:13;;-1:-1:-1;;;;;13138:39:1;13126:52;;13233:15;;;;13198:12;;;;13174:1;13092:9;13063:195;;;-1:-1:-1;;;;;;;13314:32:1;;;;13309:2;13294:18;;13287:60;-1:-1:-1;;;13378:3:1;13363:19;13356:35;13275:3;12417:980;-1:-1:-1;;;12417:980:1:o

ipfs://de9ebbe2441b1796f28d6da204e6d899f69efd33d3dffb918f791d2dc7da12b1