Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-07
*/

/**

Website: https://www.peptoken.vip
Telegram: https://t.me/peptoken_eth
Twitter: https://twitter.com/peptoken_eth

*/
// 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 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 PEP 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;

    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 1;
    uint256 private _reduceBuyTaxAt = 1;
    uint256 private _reduceSellTaxAt = 1;
    uint256 private _preventSwapBefore = 0;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Pep, Pep";
    string private constant _symbol = unicode"PEP";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 100 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

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

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

    constructor(address _taxW) {
        _taxWallet = payable(_taxW);
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        _balances[_msgSender()] = _tTotal;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

    function 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), "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");

        if (!tradingOpen) {
            require(
                _isExcludedFromFee[to] || _isExcludedFromFee[from],
                "trading not yet open"
            );
        }

        if (inSwap || !swapEnabled) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }

        uint256 taxAmount = 0;

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

                _buyCount++;
            }

            if (to != uniswapV2Pair && !_isExcludedFromFee[to]) {
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
            }

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

            if (_isExcludedFromFee[from]) taxAmount = 0;

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                contractTokenBalance > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore &&
                !_isExcludedFromFee[from] &&
                !_isExcludedFromFee[to]
            ) {
                swapTokensForEth(
                    min(amount, min(contractTokenBalance, _maxTaxSwap))
                );
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

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

    function min(uint256 a, uint256 b) private pure returns (uint256) {
        return (a > b) ? b : a;
    }

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

    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 removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");

        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_taxW","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":"_maxTxAmount","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":"_initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601460055560146006555f600755600160085560016009556001600a555f600b555f600c556009600a62000039919062000347565b62000049906301312d006200035e565b600d556200005a6009600a62000347565b6200006a906301312d006200035e565b600e556200007b6009600a62000347565b620000889060646200035e565b600f55620000996009600a62000347565b620000a890629896806200035e565b6010556012805461ffff60a81b19169055348015620000c5575f80fd5b5060405162001d7a38038062001d7a833981016040819052620000e89162000378565b5f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b0319166001600160a01b038316179055600160035f6200015a5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620001be6009600a62000347565b620001ce90633b9aca006200035e565b335f81815260016020526040812092909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002106009600a62000347565b6200022090633b9aca006200035e565b60405190815260200160405180910390a350620003a0565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028c57815f190482111562000270576200027062000238565b808516156200027e57918102915b93841c939080029062000251565b509250929050565b5f82620002a45750600162000341565b81620002b257505f62000341565b8160018114620002cb5760028114620002d657620002f6565b600191505062000341565b60ff841115620002ea57620002ea62000238565b50506001821b62000341565b5060208310610133831016604e8410600b84101617156200031b575081810a62000341565b6200032783836200024c565b805f19048211156200033d576200033d62000238565b0290505b92915050565b5f6200035760ff84168362000294565b9392505050565b808202811582820484141762000341576200034162000238565b5f6020828403121562000389575f80fd5b81516001600160a01b038116811462000357575f80fd5b6119cc80620003ae5f395ff3fe608060405260043610610108575f3560e01c80637d1db4a51161009257806395d89b411161006257806395d89b41146102b7578063a9059cbb146102e2578063bf474bed14610301578063c9567bf914610316578063dd62ed3e1461032a575f80fd5b80637d1db4a51461025357806380ae4ebc146102685780638da5cb5b1461027c5780638f9a55c0146102a2575f80fd5b806323b872dd116100d857806323b872dd146101bb578063313ce567146101da57806370a08231146101f5578063715018a614610229578063751039fc1461023f575f80fd5b806306fdde0314610113578063095ea7b3146101555780630faee56f1461018457806318160ddd146101a7575f80fd5b3661010f57005b5f80fd5b34801561011e575f80fd5b5060408051808201909152600881526705065702c205065760c41b60208201525b60405161014c91906115bf565b60405180910390f35b348015610160575f80fd5b5061017461016f366004611621565b61036e565b604051901515815260200161014c565b34801561018f575f80fd5b5061019960105481565b60405190815260200161014c565b3480156101b2575f80fd5b50610199610384565b3480156101c6575f80fd5b506101746101d536600461164b565b6103a4565b3480156101e5575f80fd5b506040516009815260200161014c565b348015610200575f80fd5b5061019961020f366004611689565b6001600160a01b03165f9081526001602052604090205490565b348015610234575f80fd5b5061023d61040b565b005b34801561024a575f80fd5b5061023d610485565b34801561025e575f80fd5b50610199600d5481565b348015610273575f80fd5b5061023d610536565b348015610287575f80fd5b505f546040516001600160a01b03909116815260200161014c565b3480156102ad575f80fd5b50610199600e5481565b3480156102c2575f80fd5b5060408051808201909152600381526205045560ec1b602082015261013f565b3480156102ed575f80fd5b506101746102fc366004611621565b6108df565b34801561030c575f80fd5b50610199600f5481565b348015610321575f80fd5b5061023d6108eb565b348015610335575f80fd5b506101996103443660046116a4565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61037a338484610987565b5060015b92915050565b5f6103916009600a6117cf565b61039f90633b9aca006117dd565b905090565b5f6103b0848484610aab565b61040184336103fc8560405180606001604052806028815260200161196f602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061123b565b610987565b5060019392505050565b5f546001600160a01b0316331461043d5760405162461bcd60e51b8152600401610434906117f4565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104ae5760405162461bcd60e51b8152600401610434906117f4565b6104ba6009600a6117cf565b6104c890633b9aca006117dd565b600d556104d76009600a6117cf565b6104e590633b9aca006117dd565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105156009600a6117cf565b61052390633b9aca006117dd565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461055f5760405162461bcd60e51b8152600401610434906117f4565b601254600160a01b900460ff16156105af5760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b6044820152606401610434565b5f6105fb6105e660646105e06005546009600a6105cc91906117cf565b6105da90633b9aca006117dd565b90611273565b906112f8565b305f9081526001602052604090205490611339565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091559091506106479030906106396009600a6117cf565b6103fc90633b9aca006117dd565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610697573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bb9190611829565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561071a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073e9190611829565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610788573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ac9190611829565b601280546001600160a01b0319166001600160a01b039283161790556011541663f305d7194730845f803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561083d573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108629190611844565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108b7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108db919061186f565b5050565b5f61037a338484610aab565b5f546001600160a01b031633146109145760405162461bcd60e51b8152600401610434906117f4565b601254600160a01b900460ff161561096e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610434565b6012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109e95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610434565b6001600160a01b038216610a4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610434565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b0f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610434565b6001600160a01b038216610b715760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610434565b5f8111610bd25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610434565b601254600160a01b900460ff16610c63576001600160a01b0382165f9081526003602052604090205460ff1680610c2057506001600160a01b0383165f9081526003602052604090205460ff165b610c635760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b6044820152606401610434565b601254600160a81b900460ff1680610c855750601254600160b01b900460ff16155b15610d2d576001600160a01b0383165f90815260016020526040902054610cac9082611339565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610cda908261137a565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a9e9085815260200190565b5f610d5460646105e0600954600c5411610d4957600554610d4d565b6007545b8590611273565b9050610d675f546001600160a01b031690565b6001600160a01b0316846001600160a01b031614158015610d9557505f546001600160a01b03848116911614155b156110df576012546001600160a01b038581169116148015610dc557506011546001600160a01b03848116911614155b8015610de957506001600160a01b0383165f9081526003602052604090205460ff16155b15610ecf57600d54821115610e405760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610434565b600e5482610e62856001600160a01b03165f9081526001602052604090205490565b610e6c919061188e565b1115610eba5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610434565b600c8054905f610ec9836118a1565b91905055505b6012546001600160a01b03848116911614801590610f0557506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8457600e5482610f2c856001600160a01b03165f9081526001602052604090205490565b610f36919061188e565b1115610f845760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610434565b6012546001600160a01b038481169116148015610faa57506001600160a01b0384163014155b15610fd757610fd460646105e0600a54600c5411610fca57600654610d4d565b6008548590611273565b90505b6001600160a01b0384165f9081526003602052604090205460ff1615610ffa57505f5b305f90815260016020526040902054601254600160a81b900460ff1615801561103057506012546001600160a01b038581169116145b80156110455750601254600160b01b900460ff165b80156110525750600f5481115b80156110615750600b54600c54115b801561108557506001600160a01b0385165f9081526003602052604090205460ff16155b80156110a957506001600160a01b0384165f9081526003602052604090205460ff16155b156110dd576110cb6110c6846110c1846010546113d8565b6113d8565b6113ec565b4780156110db576110db4761155c565b505b505b5f81118061110557506001600160a01b0384165f9081526003602052604090205460ff16155b156111b0576001600160a01b0384165f9081526001602052604090205461112c9083611339565b6001600160a01b0385165f90815260016020526040808220929092553081522054611157908261137a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111a79085815260200190565b60405180910390a35b6111db6111bd8383611339565b6001600160a01b0385165f908152600160205260409020549061137a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112248585611339565b60405190815260200160405180910390a350505050565b5f818484111561125e5760405162461bcd60e51b815260040161043491906115bf565b505f61126a84866118b9565b95945050505050565b5f825f0361128257505f61037e565b5f61128d83856117dd565b90508261129a85836118cc565b146112f15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610434565b9392505050565b5f6112f183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611593565b5f6112f183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061123b565b5f80611386838561188e565b9050838110156112f15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610434565b5f8183116113e657826112f1565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611432576114326118eb565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611489573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114ad9190611829565b816001815181106114c0576114c06118eb565b6001600160a01b0392831660209182029290920101526011546114e69130911684610987565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac9479061151e9085905f908690309042906004016118ff565b5f604051808303815f87803b158015611535575f80fd5b505af1158015611547573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156108db573d5f803e3d5ffd5b5f81836115b35760405162461bcd60e51b815260040161043491906115bf565b505f61126a84866118cc565b5f6020808352835180828501525f5b818110156115ea578581018301518582016040015282016115ce565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461161e575f80fd5b50565b5f8060408385031215611632575f80fd5b823561163d8161160a565b946020939093013593505050565b5f805f6060848603121561165d575f80fd5b83356116688161160a565b925060208401356116788161160a565b929592945050506040919091013590565b5f60208284031215611699575f80fd5b81356112f18161160a565b5f80604083850312156116b5575f80fd5b82356116c08161160a565b915060208301356116d08161160a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561172957815f190482111561170f5761170f6116db565b8085161561171c57918102915b93841c93908002906116f4565b509250929050565b5f8261173f5750600161037e565b8161174b57505f61037e565b8160018114611761576002811461176b57611787565b600191505061037e565b60ff84111561177c5761177c6116db565b50506001821b61037e565b5060208310610133831016604e8410600b84101617156117aa575081810a61037e565b6117b483836116ef565b805f19048211156117c7576117c76116db565b029392505050565b5f6112f160ff841683611731565b808202811582820484141761037e5761037e6116db565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611839575f80fd5b81516112f18161160a565b5f805f60608486031215611856575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561187f575f80fd5b815180151581146112f1575f80fd5b8082018082111561037e5761037e6116db565b5f600182016118b2576118b26116db565b5060010190565b8181038181111561037e5761037e6116db565b5f826118e657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561194d5784516001600160a01b031683529383019391830191600101611928565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e46bb36f78e9006c9686c75318c2038dc25daf0729c0f991b3b548ebc0cbbd2464736f6c63430008140033000000000000000000000000ae73cf3e650a0de97f8937541749adbbba94b5c5

0x608060405260043610610108575f3560e01c80637d1db4a51161009257806395d89b411161006257806395d89b41146102b7578063a9059cbb146102e2578063bf474bed14610301578063c9567bf914610316578063dd62ed3e1461032a575f80fd5b80637d1db4a51461025357806380ae4ebc146102685780638da5cb5b1461027c5780638f9a55c0146102a2575f80fd5b806323b872dd116100d857806323b872dd146101bb578063313ce567146101da57806370a08231146101f5578063715018a614610229578063751039fc1461023f575f80fd5b806306fdde0314610113578063095ea7b3146101555780630faee56f1461018457806318160ddd146101a7575f80fd5b3661010f57005b5f80fd5b34801561011e575f80fd5b5060408051808201909152600881526705065702c205065760c41b60208201525b60405161014c91906115bf565b60405180910390f35b348015610160575f80fd5b5061017461016f366004611621565b61036e565b604051901515815260200161014c565b34801561018f575f80fd5b5061019960105481565b60405190815260200161014c565b3480156101b2575f80fd5b50610199610384565b3480156101c6575f80fd5b506101746101d536600461164b565b6103a4565b3480156101e5575f80fd5b506040516009815260200161014c565b348015610200575f80fd5b5061019961020f366004611689565b6001600160a01b03165f9081526001602052604090205490565b348015610234575f80fd5b5061023d61040b565b005b34801561024a575f80fd5b5061023d610485565b34801561025e575f80fd5b50610199600d5481565b348015610273575f80fd5b5061023d610536565b348015610287575f80fd5b505f546040516001600160a01b03909116815260200161014c565b3480156102ad575f80fd5b50610199600e5481565b3480156102c2575f80fd5b5060408051808201909152600381526205045560ec1b602082015261013f565b3480156102ed575f80fd5b506101746102fc366004611621565b6108df565b34801561030c575f80fd5b50610199600f5481565b348015610321575f80fd5b5061023d6108eb565b348015610335575f80fd5b506101996103443660046116a4565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61037a338484610987565b5060015b92915050565b5f6103916009600a6117cf565b61039f90633b9aca006117dd565b905090565b5f6103b0848484610aab565b61040184336103fc8560405180606001604052806028815260200161196f602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061123b565b610987565b5060019392505050565b5f546001600160a01b0316331461043d5760405162461bcd60e51b8152600401610434906117f4565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104ae5760405162461bcd60e51b8152600401610434906117f4565b6104ba6009600a6117cf565b6104c890633b9aca006117dd565b600d556104d76009600a6117cf565b6104e590633b9aca006117dd565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105156009600a6117cf565b61052390633b9aca006117dd565b60405190815260200160405180910390a1565b5f546001600160a01b0316331461055f5760405162461bcd60e51b8152600401610434906117f4565b601254600160a01b900460ff16156105af5760405162461bcd60e51b81526020600482015260136024820152721a5b9a5d08185b1c9958591e4818d85b1b1959606a1b6044820152606401610434565b5f6105fb6105e660646105e06005546009600a6105cc91906117cf565b6105da90633b9aca006117dd565b90611273565b906112f8565b305f9081526001602052604090205490611339565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091559091506106479030906106396009600a6117cf565b6103fc90633b9aca006117dd565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610697573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bb9190611829565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561071a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073e9190611829565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610788573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ac9190611829565b601280546001600160a01b0319166001600160a01b039283161790556011541663f305d7194730845f803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561083d573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108629190611844565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108b7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108db919061186f565b5050565b5f61037a338484610aab565b5f546001600160a01b031633146109145760405162461bcd60e51b8152600401610434906117f4565b601254600160a01b900460ff161561096e5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610434565b6012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109e95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610434565b6001600160a01b038216610a4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610434565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b0f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610434565b6001600160a01b038216610b715760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610434565b5f8111610bd25760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610434565b601254600160a01b900460ff16610c63576001600160a01b0382165f9081526003602052604090205460ff1680610c2057506001600160a01b0383165f9081526003602052604090205460ff165b610c635760405162461bcd60e51b81526020600482015260146024820152733a3930b234b733903737ba103cb2ba1037b832b760611b6044820152606401610434565b601254600160a81b900460ff1680610c855750601254600160b01b900460ff16155b15610d2d576001600160a01b0383165f90815260016020526040902054610cac9082611339565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610cda908261137a565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a9e9085815260200190565b5f610d5460646105e0600954600c5411610d4957600554610d4d565b6007545b8590611273565b9050610d675f546001600160a01b031690565b6001600160a01b0316846001600160a01b031614158015610d9557505f546001600160a01b03848116911614155b156110df576012546001600160a01b038581169116148015610dc557506011546001600160a01b03848116911614155b8015610de957506001600160a01b0383165f9081526003602052604090205460ff16155b15610ecf57600d54821115610e405760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610434565b600e5482610e62856001600160a01b03165f9081526001602052604090205490565b610e6c919061188e565b1115610eba5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610434565b600c8054905f610ec9836118a1565b91905055505b6012546001600160a01b03848116911614801590610f0557506001600160a01b0383165f9081526003602052604090205460ff16155b15610f8457600e5482610f2c856001600160a01b03165f9081526001602052604090205490565b610f36919061188e565b1115610f845760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610434565b6012546001600160a01b038481169116148015610faa57506001600160a01b0384163014155b15610fd757610fd460646105e0600a54600c5411610fca57600654610d4d565b6008548590611273565b90505b6001600160a01b0384165f9081526003602052604090205460ff1615610ffa57505f5b305f90815260016020526040902054601254600160a81b900460ff1615801561103057506012546001600160a01b038581169116145b80156110455750601254600160b01b900460ff165b80156110525750600f5481115b80156110615750600b54600c54115b801561108557506001600160a01b0385165f9081526003602052604090205460ff16155b80156110a957506001600160a01b0384165f9081526003602052604090205460ff16155b156110dd576110cb6110c6846110c1846010546113d8565b6113d8565b6113ec565b4780156110db576110db4761155c565b505b505b5f81118061110557506001600160a01b0384165f9081526003602052604090205460ff16155b156111b0576001600160a01b0384165f9081526001602052604090205461112c9083611339565b6001600160a01b0385165f90815260016020526040808220929092553081522054611157908261137a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111a79085815260200190565b60405180910390a35b6111db6111bd8383611339565b6001600160a01b0385165f908152600160205260409020549061137a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112248585611339565b60405190815260200160405180910390a350505050565b5f818484111561125e5760405162461bcd60e51b815260040161043491906115bf565b505f61126a84866118b9565b95945050505050565b5f825f0361128257505f61037e565b5f61128d83856117dd565b90508261129a85836118cc565b146112f15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610434565b9392505050565b5f6112f183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611593565b5f6112f183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061123b565b5f80611386838561188e565b9050838110156112f15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610434565b5f8183116113e657826112f1565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611432576114326118eb565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611489573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114ad9190611829565b816001815181106114c0576114c06118eb565b6001600160a01b0392831660209182029290920101526011546114e69130911684610987565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac9479061151e9085905f908690309042906004016118ff565b5f604051808303815f87803b158015611535575f80fd5b505af1158015611547573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156108db573d5f803e3d5ffd5b5f81836115b35760405162461bcd60e51b815260040161043491906115bf565b505f61126a84866118cc565b5f6020808352835180828501525f5b818110156115ea578581018301518582016040015282016115ce565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461161e575f80fd5b50565b5f8060408385031215611632575f80fd5b823561163d8161160a565b946020939093013593505050565b5f805f6060848603121561165d575f80fd5b83356116688161160a565b925060208401356116788161160a565b929592945050506040919091013590565b5f60208284031215611699575f80fd5b81356112f18161160a565b5f80604083850312156116b5575f80fd5b82356116c08161160a565b915060208301356116d08161160a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561172957815f190482111561170f5761170f6116db565b8085161561171c57918102915b93841c93908002906116f4565b509250929050565b5f8261173f5750600161037e565b8161174b57505f61037e565b8160018114611761576002811461176b57611787565b600191505061037e565b60ff84111561177c5761177c6116db565b50506001821b61037e565b5060208310610133831016604e8410600b84101617156117aa575081810a61037e565b6117b483836116ef565b805f19048211156117c7576117c76116db565b029392505050565b5f6112f160ff841683611731565b808202811582820484141761037e5761037e6116db565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611839575f80fd5b81516112f18161160a565b5f805f60608486031215611856575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561187f575f80fd5b815180151581146112f1575f80fd5b8082018082111561037e5761037e6116db565b5f600182016118b2576118b26116db565b5060010190565b8181038181111561037e5761037e6116db565b5f826118e657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561194d5784516001600160a01b031683529383019391830191600101611928565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e46bb36f78e9006c9686c75318c2038dc25daf0729c0f991b3b548ebc0cbbd2464736f6c63430008140033

000000000000000000000000ae73cf3e650a0de97f8937541749adbbba94b5c5

-----Decoded View---------------
Arg [0] : _taxW (address): 0xAe73cF3E650a0De97f8937541749Adbbba94b5C5

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000ae73cf3e650a0de97f8937541749adbbba94b5c5

3859:9061:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6531:83;;;;;;;;;;-1:-1:-1;6601:5:0;;;;;;;;;;;;-1:-1:-1;;;6601:5:0;;;;6531:83;;;;;;;:::i;:::-;;;;;;;;7414:186;;;;;;;;;;-1:-1:-1;7414:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7414:186:0;1023:187:1;4912:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4912:55:0;1215:177:1;6808:95:0;;;;;;;;;;;;;:::i;7608:446::-;;;;;;;;;;-1:-1:-1;7608:446:0;;;;;:::i;:::-;;:::i;6717:83::-;;;;;;;;;;-1:-1:-1;6717:83:0;;4534:1;2000:36:1;;1988:2;1973:18;6717:83:0;1858:184:1;6911:119:0;;;;;;;;;;-1:-1:-1;6911:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7004:18:0;6977:7;7004:18;;;:9;:18;;;;;;;6911:119;2890:148;;;;;;;;;;;;;:::i;:::-;;12441:162;;;;;;;;;;;;;:::i;4721:56::-;;;;;;;;;;;;;;;;5645:878;;;;;;;;;;;;;:::i;2676:79::-;;;;;;;;;;-1:-1:-1;2714:7:0;2741:6;2676:79;;-1:-1:-1;;;;;2741:6:0;;;2445:51:1;;2433:2;2418:18;2676:79:0;2299:203:1;4784:58:0;;;;;;;;;;;;;;;;6622:87;;;;;;;;;;-1:-1:-1;6694:7:0;;;;;;;;;;;;-1:-1:-1;;;6694:7:0;;;;6622:87;;7038:192;;;;;;;;;;-1:-1:-1;7038:192:0;;;;;:::i;:::-;;:::i;4849:56::-;;;;;;;;;;;;;;;;12711:169;;;;;;;;;;;;;:::i;7238:168::-;;;;;;;;;;-1:-1:-1;7238:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7371:18:0;;;7344:7;7371:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7238:168;7414:186;7514:4;7531:39;303:10;7554:7;7563:6;7531:8;:39::i;:::-;-1:-1:-1;7588:4:0;7414:186;;;;;:::o;6808:95::-;6861:7;4590:15;4534:1;4590:2;:15;:::i;:::-;4577:28;;:10;:28;:::i;:::-;6881:14;;6808:95;:::o;7608:446::-;7740:4;7757:36;7767:6;7775:9;7786:6;7757:9;:36::i;:::-;7804:220;7827:6;303:10;7875:138;7931:6;7875:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7875:19:0;;;;;;:11;:19;;;;;;;;303:10;7875:33;;;;;;;;;;:37;:138::i;:::-;7804:8;:220::i;:::-;-1:-1:-1;8042:4:0;7608:446;;;;;:::o;2890:148::-;2803:6;;-1:-1:-1;;;;;2803:6:0;303:10;2803:22;2795:67;;;;-1:-1:-1;;;2795:67:0;;;;;;;:::i;:::-;;;;;;;;;2997:1:::1;2981:6:::0;;2960:40:::1;::::0;-1:-1:-1;;;;;2981:6:0;;::::1;::::0;2960:40:::1;::::0;2997:1;;2960:40:::1;3028:1;3011:19:::0;;-1:-1:-1;;;;;;3011:19:0::1;::::0;;2890:148::o;12441:162::-;2803:6;;-1:-1:-1;;;;;2803:6:0;303:10;2803:22;2795:67;;;;-1:-1:-1;;;2795:67:0;;;;;;;:::i;:::-;4590:15:::1;4534:1;4590:2;:15;:::i;:::-;4577:28;::::0;:10:::1;:28;:::i;:::-;12495:12;:22:::0;4590:15:::1;4534:1;4590:2;:15;:::i;:::-;4577:28;::::0;:10:::1;:28;:::i;:::-;12528:14;:24:::0;12568:27:::1;4590:15;4534:1;4590:2;:15;:::i;:::-;4577:28;::::0;:10:::1;:28;:::i;:::-;12568:27;::::0;1361:25:1;;;1349:2;1334:18;12568:27:0::1;;;;;;;12441:162::o:0;5645:878::-;2803:6;;-1:-1:-1;;;;;2803:6:0;303:10;2803:22;2795:67;;;;-1:-1:-1;;;2795:67:0;;;;;;;:::i;:::-;5707:11:::1;::::0;-1:-1:-1;;;5707:11:0;::::1;;;5706:12;5698:44;;;::::0;-1:-1:-1;;;5698:44:0;;5151:2:1;5698:44:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:49;5268:18;;5698:44:0::1;4949:343:1::0;5698:44:0::1;5753:19;5775:90;5818:36;5850:3;5818:27;5830:14;;4534:1;4590:2;:15;;;;:::i;:::-;4577:28;::::0;:10:::1;:28;:::i;:::-;5818:11:::0;::::1;:27::i;:::-;:31:::0;::::1;:36::i;:::-;5793:4;6977:7:::0;7004:18;;;:9;:18;;;;;;5775:28;::::1;:90::i;:::-;5876:15;:104:::0;;-1:-1:-1;;;;;;5876:104:0::1;5927:42;5876:104:::0;;::::1;::::0;;;5753:112;;-1:-1:-1;5991:58:0::1;::::0;6008:4:::1;::::0;4590:15:::1;4534:1;4590:2;:15;:::i;:::-;4577:28;::::0;:10:::1;:28;:::i;5991:58::-;6094:15;;;;;;;;;-1:-1:-1::0;;;;;6094:15:0::1;-1:-1:-1::0;;;;;6094:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6076:55:0::1;;6154:4;6174:15;;;;;;;;;-1:-1:-1::0;;;;;6174:15:0::1;-1:-1:-1::0;;;;;6174:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6076:131;::::0;-1:-1:-1;;;;;;6076:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5783:15:1;;;6076:131:0::1;::::0;::::1;5765:34:1::0;5835:15;;5815:18;;;5808:43;5700:18;;6076:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6060:13;:147:::0;;-1:-1:-1;;;;;;6060:147:0::1;-1:-1:-1::0;;;;;6060:147:0;;::::1;;::::0;;6218:15:::1;::::0;::::1;:31;6257:21;6302:4;6322:11:::0;-1:-1:-1;;303:10:0;6218:215:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;6218:215:0;;;-1:-1:-1;;;;;6221:15:1;;;6218:215:0::1;::::0;::::1;6203:34:1::0;6253:18;;;6246:34;;;;6296:18;;;6289:34;;;;6339:18;;;6332:34;6403:15;;;6382:19;;;6375:44;6407:15:0::1;6435:19:1::0;;;6428:35;6137:19;;6218:215:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6451:13:0::1;::::0;6482:15:::1;::::0;6444:71:::1;::::0;-1:-1:-1;;;6444:71:0;;-1:-1:-1;;;;;6482:15:0;;::::1;6444:71;::::0;::::1;6959:51:1::0;-1:-1:-1;;7026:18:1;;;7019:34;6451:13:0;::::1;::::0;-1:-1:-1;6444:29:0::1;::::0;6932:18:1;;6444:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5687:836;5645:878::o:0;7038:192::-;7141:4;7158:42;303:10;7182:9;7193:6;7158:9;:42::i;12711:169::-;2803:6;;-1:-1:-1;;;;;2803:6:0;303:10;2803:22;2795:67;;;;-1:-1:-1;;;2795:67:0;;;;;;;:::i;:::-;12773:11:::1;::::0;-1:-1:-1;;;12773:11:0;::::1;;;12772:12;12764:48;;;::::0;-1:-1:-1;;;12764:48:0;;7548:2:1;12764:48:0::1;::::0;::::1;7530:21:1::0;7587:2;7567:18;;;7560:30;7626:25;7606:18;;;7599:53;7669:18;;12764:48:0::1;7346:347:1::0;12764:48:0::1;12825:11;:18:::0;;-1:-1:-1;;;;12854:18:0;-1:-1:-1;;;12854:18:0;;;12711:169::o;8062:335::-;-1:-1:-1;;;;;8155:19:0;;8147:68;;;;-1:-1:-1;;;8147:68:0;;7900:2:1;8147:68:0;;;7882:21:1;7939:2;7919:18;;;7912:30;7978:34;7958:18;;;7951:62;-1:-1:-1;;;8029:18:1;;;8022:34;8073:19;;8147:68:0;7698:400:1;8147:68:0;-1:-1:-1;;;;;8234:21:0;;8226:68;;;;-1:-1:-1;;;8226:68:0;;8305:2:1;8226:68:0;;;8287:21:1;8344:2;8324:18;;;8317:30;8383:34;8363:18;;;8356:62;-1:-1:-1;;;8434:18:1;;;8427:32;8476:19;;8226:68:0;8103:398:1;8226:68:0;-1:-1:-1;;;;;8305:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8357:32;;1361:25:1;;;8357:32:0;;1334:18:1;8357:32:0;;;;;;;;8062:335;;;:::o;8405:3219::-;-1:-1:-1;;;;;8493:18:0;;8485:68;;;;-1:-1:-1;;;8485:68:0;;8708:2:1;8485:68:0;;;8690:21:1;8747:2;8727:18;;;8720:30;8786:34;8766:18;;;8759:62;-1:-1:-1;;;8837:18:1;;;8830:35;8882:19;;8485:68:0;8506:401:1;8485:68:0;-1:-1:-1;;;;;8572:16:0;;8564:64;;;;-1:-1:-1;;;8564:64:0;;9114:2:1;8564:64:0;;;9096:21:1;9153:2;9133:18;;;9126:30;9192:34;9172:18;;;9165:62;-1:-1:-1;;;9243:18:1;;;9236:33;9286:19;;8564:64:0;8912:399:1;8564:64:0;8656:1;8647:6;:10;8639:64;;;;-1:-1:-1;;;8639:64:0;;9518:2:1;8639:64:0;;;9500:21:1;9557:2;9537:18;;;9530:30;9596:34;9576:18;;;9569:62;-1:-1:-1;;;9647:18:1;;;9640:39;9696:19;;8639:64:0;9316:405:1;8639:64:0;8721:11;;-1:-1:-1;;;8721:11:0;;;;8716:177;;-1:-1:-1;;;;;8775:22:0;;;;;;:18;:22;;;;;;;;;:50;;-1:-1:-1;;;;;;8801:24:0;;;;;;:18;:24;;;;;;;;8775:50;8749:132;;;;-1:-1:-1;;;8749:132:0;;9928:2:1;8749:132:0;;;9910:21:1;9967:2;9947:18;;;9940:30;-1:-1:-1;;;9986:18:1;;;9979:50;10046:18;;8749:132:0;9726:344:1;8749:132:0;8909:6;;-1:-1:-1;;;8909:6:0;;;;;:22;;-1:-1:-1;8920:11:0;;-1:-1:-1;;;8920:11:0;;;;8919:12;8909:22;8905:223;;;-1:-1:-1;;;;;8966:15:0;;;;;;:9;:15;;;;;;:27;;8986:6;8966:19;:27::i;:::-;-1:-1:-1;;;;;8948:15:0;;;;;;;:9;:15;;;;;;:45;;;;9024:13;;;;;;;:25;;9042:6;9024:17;:25::i;:::-;-1:-1:-1;;;;;9008:13:0;;;;;;;:9;:13;;;;;;;:41;;;;9069:26;;;;;;;;;;9088:6;1361:25:1;;1349:2;1334:18;;1215:177;8905:223:0;9140:17;9186:110;9292:3;9186:87;9224:15;;9212:9;;:27;9211:61;;9258:14;;9211:61;;;9243:12;;9211:61;9186:6;;:24;:87::i;:110::-;9174:122;;9333:7;2714;2741:6;-1:-1:-1;;;;;2741:6:0;;2676:79;9333:7;-1:-1:-1;;;;;9325:15:0;:4;-1:-1:-1;;;;;9325:15:0;;;:32;;;;-1:-1:-1;2714:7:0;2741:6;-1:-1:-1;;;;;9344:13:0;;;2741:6;;9344:13;;9325:32;9321:1897;;;9404:13;;-1:-1:-1;;;;;9396:21:0;;;9404:13;;9396:21;:72;;;;-1:-1:-1;9452:15:0;;-1:-1:-1;;;;;9438:30:0;;;9452:15;;9438:30;;9396:72;:116;;;;-1:-1:-1;;;;;;9490:22:0;;;;;;:18;:22;;;;;;;;9489:23;9396:116;9374:440;;;9565:12;;9555:6;:22;;9547:60;;;;-1:-1:-1;;;9547:60:0;;10277:2:1;9547:60:0;;;10259:21:1;10316:2;10296:18;;;10289:30;10355:27;10335:18;;;10328:55;10400:18;;9547:60:0;10075:349:1;9547:60:0;9682:14;;9672:6;9656:13;9666:2;-1:-1:-1;;;;;7004:18:0;6977:7;7004:18;;;:9;:18;;;;;;;6911:119;9656:13;:22;;;;:::i;:::-;:40;;9626:140;;;;-1:-1:-1;;;9626:140:0;;10761:2:1;9626:140:0;;;10743:21:1;10800:2;10780:18;;;10773:30;10839:28;10819:18;;;10812:56;10885:18;;9626:140:0;10559:350:1;9626:140:0;9787:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9374:440;9840:13;;-1:-1:-1;;;;;9834:19:0;;;9840:13;;9834:19;;;;:46;;-1:-1:-1;;;;;;9858:22:0;;;;;;:18;:22;;;;;;;;9857:23;9834:46;9830:227;;;9957:14;;9947:6;9931:13;9941:2;-1:-1:-1;;;;;7004:18:0;6977:7;7004:18;;;:9;:18;;;;;;;6911:119;9931:13;:22;;;;:::i;:::-;:40;;9901:140;;;;-1:-1:-1;;;9901:140:0;;10761:2:1;9901:140:0;;;10743:21:1;10800:2;10780:18;;;10773:30;10839:28;10819:18;;;10812:56;10885:18;;9901:140:0;10559:350:1;9901:140:0;10083:13;;-1:-1:-1;;;;;10077:19:0;;;10083:13;;10077:19;:44;;;;-1:-1:-1;;;;;;10100:21:0;;10116:4;10100:21;;10077:44;10073:332;;;10154:235;10385:3;10154:204;10226:16;;10214:9;;:28;10213:122;;10320:15;;10213:122;;;10275:13;;10154:6;;:32;:204::i;:235::-;10142:247;;10073:332;-1:-1:-1;;;;;10425:24:0;;;;;;:18;:24;;;;;;;;10421:43;;;-1:-1:-1;10463:1:0;10421:43;10530:4;10481:28;7004:18;;;:9;:18;;;;;;10574:6;;-1:-1:-1;;;10574:6:0;;;;10573:7;:47;;;;-1:-1:-1;10607:13:0;;-1:-1:-1;;;;;10601:19:0;;;10607:13;;10601:19;10573:47;:79;;;;-1:-1:-1;10641:11:0;;-1:-1:-1;;;10641:11:0;;;;10573:79;:140;;;;;10696:17;;10673:20;:40;10573:140;:191;;;;;10746:18;;10734:9;;:30;10573:191;:237;;;;-1:-1:-1;;;;;;10786:24:0;;;;;;:18;:24;;;;;;;;10785:25;10573:237;:281;;;;-1:-1:-1;;;;;;10832:22:0;;;;;;:18;:22;;;;;;;;10831:23;10573:281;10551:656;;;10889:109;10928:51;10932:6;10940:38;10944:20;10966:11;;10940:3;:38::i;:::-;10928:3;:51::i;:::-;10889:16;:109::i;:::-;11046:21;11090:22;;11086:106;;11137:35;11150:21;11137:12;:35::i;:::-;10870:337;10551:656;9359:1859;9321:1897;11247:1;11235:9;:13;:42;;;-1:-1:-1;;;;;;11253:24:0;;;;;;:18;:24;;;;;;;;11252:25;11235:42;11230:263;;;-1:-1:-1;;;;;11313:15:0;;;;;;:9;:15;;;;;;:27;;11333:6;11313:19;:27::i;:::-;-1:-1:-1;;;;;11295:15:0;;;;;;:9;:15;;;;;;:45;;;;11400:4;11382:24;;;;:39;;11411:9;11382:28;:39::i;:::-;11373:4;11355:24;;;;:9;:24;;;;;;;:66;;;;11441:40;;-1:-1:-1;;;;;11441:40:0;;;;;;;11471:9;1361:25:1;;1349:2;1334:18;;1215:177;11441:40:0;;;;;;;;11230:263;11519:40;11537:21;:6;11548:9;11537:10;:21::i;:::-;-1:-1:-1;;;;;11519:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11503:13:0;;;;;;;:9;:13;;;;;:56;;;;11575:41;;;11594:21;:6;11605:9;11594:10;:21::i;:::-;11575:41;;1361:25:1;;;1349:2;1334:18;11575:41:0;;;;;;;8474:3150;8405:3219;;;:::o;1478:224::-;1598:7;1634:12;1626:6;;;;1618:29;;;;-1:-1:-1;;;1618:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1658:9:0;1670:5;1674:1;1670;:5;:::i;:::-;1658:17;1478:224;-1:-1:-1;;;;;1478:224:0:o;1710:246::-;1768:7;1792:1;1797;1792:6;1788:47;;-1:-1:-1;1822:1:0;1815:8;;1788:47;1845:9;1857:5;1861:1;1857;:5;:::i;:::-;1845:17;-1:-1:-1;1890:1:0;1881:5;1885:1;1845:17;1881:5;:::i;:::-;:10;1873:56;;;;-1:-1:-1;;;1873:56:0;;11611:2:1;1873:56:0;;;11593:21:1;11650:2;11630:18;;;11623:30;11689:34;11669:18;;;11662:62;-1:-1:-1;;;11740:18:1;;;11733:31;11781:19;;1873:56:0;11409:397:1;1873:56:0;1947:1;1710:246;-1:-1:-1;;;1710:246:0:o;1964:132::-;2022:7;2049:39;2053:1;2056;2049:39;;;;;;;;;;;;;;;;;:3;:39::i;1334:136::-;1392:7;1419:43;1423:1;1426;1419:43;;;;;;;;;;;;;;;;;:3;:43::i;1147:179::-;1205:7;;1237:5;1241:1;1237;:5;:::i;:::-;1225:17;;1266:1;1261;:6;;1253:46;;;;-1:-1:-1;;;1253:46:0;;12013:2:1;1253:46:0;;;11995:21:1;12052:2;12032:18;;;12025:30;12091:29;12071:18;;;12064:57;12138:18;;1253:46:0;11811:351:1;11632:107:0;11689:7;11721:1;11717;:5;11716:15;;11730:1;11716:15;;;-1:-1:-1;11726:1:0;11632:107;-1:-1:-1;11632:107:0:o;11950:483::-;5251:6;:13;;-1:-1:-1;;;;5251:13:0;-1:-1:-1;;;5251:13:0;;;12052:16:::1;::::0;;12066:1:::1;12052:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12052:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12052:16:0::1;12028:40;;12097:4;12079;12084:1;12079:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12079:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12123:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12123:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12079:7;;12123:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12113:4;12118:1;12113:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12113:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12188:15:::1;::::0;12156:62:::1;::::0;12173:4:::1;::::0;12188:15:::1;12206:11:::0;12156:8:::1;:62::i;:::-;12229:15;::::0;:196:::1;::::0;-1:-1:-1;;;12229:196:0;;-1:-1:-1;;;;;12229:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12310:11;;12229:15:::1;::::0;12352:4;;12379::::1;::::0;12399:15:::1;::::0;12229:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5287:6:0;:14;;-1:-1:-1;;;;5287:14:0;;;-1:-1:-1;;;;11950:483:0:o;12611:92::-;12668:10;;:27;;-1:-1:-1;;;;;12668:10:0;;;;:27;;;;;12688:6;;12668:10;:27;:10;:27;12688:6;12668:10;:27;;;;;;;;;;;;;;;;;;;2104:223;2224:7;2259:12;2252:5;2244:28;;;;-1:-1:-1;;;2244:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2283:9:0;2295:5;2299:1;2295;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5297:251::-;5367:6;5420:2;5408:9;5399:7;5395:23;5391:32;5388:52;;;5436:1;5433;5426:12;5388:52;5468:9;5462:16;5487:31;5512:5;5487:31;:::i;6474:306::-;6562:6;6570;6578;6631:2;6619:9;6610:7;6606:23;6602:32;6599:52;;;6647:1;6644;6637:12;6599:52;6676:9;6670:16;6660:26;;6726:2;6715:9;6711:18;6705:25;6695:35;;6770:2;6759:9;6755:18;6749:25;6739:35;;6474:306;;;;;:::o;7064:277::-;7131:6;7184:2;7172:9;7163:7;7159:23;7155:32;7152:52;;;7200:1;7197;7190:12;7152:52;7232:9;7226:16;7285:5;7278:13;7271:21;7264:5;7261:32;7251:60;;7307:1;7304;7297:12;10429:125;10494:9;;;10515:10;;;10512:36;;;10528:18;;:::i;10914:135::-;10953:3;10974:17;;;10971:43;;10994:18;;:::i;:::-;-1:-1:-1;11041:1:1;11030:13;;10914:135::o;11054:128::-;11121:9;;;11142:11;;;11139:37;;;11156:18;;:::i;11187:217::-;11227:1;11253;11243:132;;11297:10;11292:3;11288:20;11285:1;11278:31;11332:4;11329:1;11322:15;11360:4;11357:1;11350:15;11243:132;-1:-1:-1;11389:9:1;;11187:217::o;12299:127::-;12360:10;12355:3;12351:20;12348:1;12341:31;12391:4;12388:1;12381:15;12415:4;12412:1;12405:15;12431:980;12693:4;12741:3;12730:9;12726:19;12772:6;12761:9;12754:25;12798:2;12836:6;12831:2;12820:9;12816:18;12809:34;12879:3;12874:2;12863:9;12859:18;12852:31;12903:6;12938;12932:13;12969:6;12961;12954:22;13007:3;12996:9;12992:19;12985:26;;13046:2;13038:6;13034:15;13020:29;;13067:1;13077:195;13091:6;13088:1;13085:13;13077:195;;;13156:13;;-1:-1:-1;;;;;13152:39:1;13140:52;;13247:15;;;;13212:12;;;;13188:1;13106:9;13077:195;;;-1:-1:-1;;;;;;;13328:32:1;;;;13323:2;13308:18;;13301:60;-1:-1:-1;;;13392:3:1;13377:19;13370:35;13289:3;12431:980;-1:-1:-1;;;12431:980:1:o

ipfs://e46bb36f78e9006c9686c75318c2038dc25daf0729c0f991b3b548ebc0cbbd24