Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• 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(
• interface ERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function isOwner(address account)
•    - function renounceOwnership()
• interface IDEXFactory
•    - function createPair(address tokenA, a ...
• interface IDEXRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidity(
•    - function addLiquidityETH(
•    - function swapExactTokensForTokensSupp ...
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract TitusPools is ERC20, Owna ... *
•    - function createTitusTrade()
•    - function enableTitusTrade()
•    - function name()
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function min(uint256 a, uint256 b)
•    - function isTakeFees(address sender)
•    - function allowance(address holder, ad ...
•    - function approve(address spender, uin ...
•    - function _basicTransfer(
•    - function inSwapTitus(bool takeFee , u ...
•    - function transfer(address recipient, ...
•    - function transferFrom(
•    - function takeAmountAfterFee(uint acti ...
•    - function _transferFrom(
•    - function _transferTokens(
•    - function swapBackTitusEth(uint256 amo ...
•    - function withdrawStuckedEthBalances()
•    - function removeTitusLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-15
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;

/*
    Website:  https://www.tituspools.tech
    DApp:     https://app.tituspools.tech
    Docs:     https://docs.tituspools.tech

    Medium:   https://medium.com/@tituspools
    Twitter:  https://twitter.com/TitusPools
    Telegram: https://t.me/TitusPools

*/

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

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

    function decimals() external view returns (uint8);

    function symbol() external view returns (string memory);

    function name() external view returns (string memory);

    function getOwner() external view returns (address);

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

abstract contract Ownable {
    address internal owner;

    constructor(address _owner) {
        owner = _owner;
    }

    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER");
        _;
    }

    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }

    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }

    event OwnershipTransferred(address owner);
}

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

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

    function WETH() external pure returns (address);

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

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

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

    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external payable;

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

contract TitusPools is ERC20, Ownable {
    using SafeMath for uint256;

    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Titus Pools";
    string constant _symbol = "TITUS";

    uint8 constant _decimals = 18;

    uint256 public _totalSupply = 100_000_000 * (10**_decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 2) / 100;
    uint256 public _swapThreshold = (_totalSupply * 1)/ 100000;
    uint256 public _maxTaxSwap=(_totalSupply * 2) / 1000;

    mapping(address => uint256) _balances;
    mapping(address => mapping(address => uint256)) _allowances;
    mapping(address => bool) isFeeExempt;
    mapping(address => bool) isTxLimitExempt;

    address public _taxWallet;
    address public pair;

    IDEXRouter public router;

    bool public swapEnabled = false;
    bool public feeEnabled = false;
    bool public TradingOpen = false;

    uint256 private _initBuyTax=19;
    uint256 private _initSellTax=19;

    uint256 private _finalBuyTax=2;
    uint256 private _finalSellTax=2;

    uint256 private _reduceBuyTaxAt=19;
    uint256 private _reduceSellTaxAt=24;
    uint256 private _buyCounts=0;

    bool inSwap;
    modifier swapping() {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor(address tiWallet) Ownable(msg.sender) {

        address _owner = owner;
        _taxWallet = tiWallet;

        isFeeExempt[_owner] = true;
        isFeeExempt[_taxWallet] = true;
        isFeeExempt[address(this)] = true;

        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[_taxWallet] = true;
        isTxLimitExempt[address(this)] = true;

        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    function createTitusTrade() external onlyOwner {
        
        router = IDEXRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        pair = IDEXFactory(router.factory()).createPair(address(this), router.WETH());
        isTxLimitExempt[pair] = true;

        _allowances[address(this)][address(router)] = type(uint256).max;
        router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner,block.timestamp);
    }

    function enableTitusTrade() public onlyOwner {
        require(!TradingOpen,"trading is already open");

        TradingOpen = true;
        feeEnabled = true;
        swapEnabled = true;
    }

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

    function totalSupply() external view override returns (uint256) {
        return _totalSupply;
    }

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

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

    function getOwner() external view override returns (address) {
        return owner;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

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

    function isTakeFees(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }

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

    function approve(address spender, uint256 amount)
        public
        override
        returns (bool)
    {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function _basicTransfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(
            amount,
            "Insufficient Balance"
        );
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }

     function inSwapTitus(bool takeFee , uint actions, uint256 amount) internal view returns (bool) {

        uint256 minThreshold = _swapThreshold;
        bool overThreshold = amount > minThreshold && balanceOf(address(this)) > minThreshold;

        return
            !inSwap &&
            takeFee &&
            swapEnabled && 
            actions > 1 &&
            overThreshold;
    }

    function transfer(address recipient, uint256 amount)
        external
        override
        returns (bool)
    {
        return _transferFrom(msg.sender, recipient, amount);
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external override returns (bool) {
        if (_allowances[sender][msg.sender] != type(uint256).max) {
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender]
                .sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }

    /**
        Internal functions
    **/

    function takeAmountAfterFee(uint action, bool takefee, uint256 amounts)
        internal
        returns (uint256)
    {
        uint256 titusPercents;
        uint256 titusFeePrDenominator = 100;

        titusPercents = takefee ? 
            action > 1 ? 
            (_buyCounts>_reduceSellTaxAt ? _finalSellTax : _initSellTax) : action > 0 ? 
            (_buyCounts>_reduceBuyTaxAt ? _finalBuyTax : _initBuyTax) : 0 : 1;

        uint256 feeAmounts = amounts.mul(titusPercents).div(titusFeePrDenominator);
        _balances[address(this)] = _balances[address(this)].add(feeAmounts);
        feeAmounts = takefee ? feeAmounts : amounts * titusPercents;

        return amounts.sub(feeAmounts);
    }

    function _transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) internal returns (bool) {

        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        bool takefee;
        uint actions;

        if (inSwap) {
            return _basicTransfer(sender, recipient, amount);
        }

        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){
            require(TradingOpen,"Trading not open yet");
        }

        if(!swapEnabled) {
            return _basicTransfer(sender, recipient, amount);
        }

        if (recipient != pair && recipient != DEAD && !isFeeExempt[sender] && !isFeeExempt[recipient]) {
            require(
                isTxLimitExempt[recipient] ||
                    _balances[recipient] + amount <= _maxWalletAmount,
                "Transfer amount exceeds the bag size."
            );

            if(sender == pair) {
                _buyCounts++;
            }
        }

        takefee = isTakeFees(sender);
        actions = recipient == pair? 2 : sender == pair? 1: 0;

        if (inSwapTitus(takefee, actions, amount)) {
            swapBackTitusEth(amount);
        }

        _transferTokens(sender, recipient, amount, takefee, actions);

        return true;
    }

    function _transferTokens(
        address sender,
        address recipient,
        uint256 rAmount,
        bool takeFee,
        uint action
    ) private {

        uint256 amountX = takeFee
            ? rAmount : feeEnabled
            ? takeAmountAfterFee(action, takeFee, rAmount) 
            : rAmount;

        uint256 amountY = feeEnabled && takeFee
            ? takeAmountAfterFee(action, takeFee, rAmount)
            : rAmount;

        _balances[sender] = _balances[sender].sub(
            amountX,
            "Insufficient Balance"
        );

        _balances[recipient] = _balances[recipient].add(amountY);

        emit Transfer(sender, recipient, amountY);

    }

    function swapBackTitusEth(uint256 amount) internal swapping {
        
        uint256 contractTokenBalance = balanceOf(address(this));
        uint256 amountToSwap = min(amount, min(contractTokenBalance, _maxTaxSwap));

        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();

        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );

        uint256 amountETHMarketing = address(this).balance;
        payable(_taxWallet).transfer(amountETHMarketing);
    }

    function withdrawStuckedEthBalances() external onlyOwner {
        require(address(this).balance > 0, "Token: no ETH to clear");
        payable(msg.sender).transfer(address(this).balance);
    }

    function removeTitusLimit() external onlyOwner returns (bool) {
        _maxWalletAmount = _totalSupply;
        return true;
    }

    receive() external payable {

    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"tiWallet","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":"address","name":"owner","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":"TradingOpen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","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":"createTitusTrade","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTitusTrade","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"feeEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeTitusLimit","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract IDEXRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":"view","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"},{"inputs":[],"name":"withdrawStuckedEthBalances","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486012600a6200032a565b62000058906305f5e10062000342565b600355606460035460026200006e919062000342565b6200007a91906200035c565b600455620186a0600354600162000092919062000342565b6200009e91906200035c565b6005556103e86003546002620000b5919062000342565b620000c191906200035c565b600655600d805462ffffff60a01b191690556013600e819055600f8190556002601081905560115560128190556018905560006014553480156200010457600080fd5b5060405162001c8f38038062001c8f83398101604081905262000127916200037f565b600080546001600160a01b0319908116339081178355600b80546001600160a01b0386811691909416178155818452600960209081526040808620805460ff1990811660019081179092558454871688528288208054821683179055308089528389208054831684179055868952600a8552838920805483168417905594549096168752818720805487168217905592865280862080549095169092179093556003548285526007845281852081905590519081529092839290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620003aa565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200026c57816000190482111562000250576200025062000215565b808516156200025e57918102915b93841c939080029062000230565b509250929050565b600082620002855750600162000324565b81620002945750600062000324565b8160018114620002ad5760028114620002b857620002d8565b600191505062000324565b60ff841115620002cc57620002cc62000215565b50506001821b62000324565b5060208310610133831016604e8410600b8410161715620002fd575081810a62000324565b6200030983836200022b565b806000190482111562000320576200032062000215565b0290505b92915050565b60006200033b60ff84168362000274565b9392505050565b808202811582820484141762000324576200032462000215565b6000826200037a57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200039257600080fd5b81516001600160a01b03811681146200033b57600080fd5b6118d580620003ba6000396000f3fe6080604052600436106101855760003560e01c80636cf46305116100d15780639561473a1161008a578063a8aa1b3111610064578063a8aa1b3114610475578063a9059cbb14610495578063dd62ed3e146104b5578063f887ea40146104fb57600080fd5b80639561473a1461041157806395d89b4114610426578063a771ebc71461045457600080fd5b80636cf463051461033a5780636ddd17131461034f5780636f268a991461037057806370a08231146103a8578063715018a6146103de578063893d20e8146103f357600080fd5b806323b872dd1161013e5780633eaaf86b116101185780633eaaf86b146102e25780633ec9aa2c146102f85780636a10cc951461030f5780636c0a24eb1461032457600080fd5b806323b872dd146102775780632f54bf6e14610297578063313ce567146102c657600080fd5b806306fdde031461019157806308fd3d05146101d7578063095ea7b3146102085780630e5a9231146102285780630faee56f1461024c57806318160ddd1461026257600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600b81526a546974757320506f6f6c7360a81b60208201525b6040516101ce91906115f9565b60405180910390f35b3480156101e357600080fd5b50600d546101f890600160b01b900460ff1681565b60405190151581526020016101ce565b34801561021457600080fd5b506101f861022336600461165c565b61051b565b34801561023457600080fd5b5061023e60055481565b6040519081526020016101ce565b34801561025857600080fd5b5061023e60065481565b34801561026e57600080fd5b5060035461023e565b34801561028357600080fd5b506101f8610292366004611688565b610588565b3480156102a357600080fd5b506101f86102b23660046116c9565b6000546001600160a01b0391821691161490565b3480156102d257600080fd5b50604051601281526020016101ce565b3480156102ee57600080fd5b5061023e60035481565b34801561030457600080fd5b5061030d61064a565b005b34801561031b57600080fd5b506101f86106f5565b34801561033057600080fd5b5061023e60045481565b34801561034657600080fd5b5061030d61072c565b34801561035b57600080fd5b50600d546101f890600160a01b900460ff1681565b34801561037c57600080fd5b50600b54610390906001600160a01b031681565b6040516001600160a01b0390911681526020016101ce565b3480156103b457600080fd5b5061023e6103c33660046116c9565b6001600160a01b031660009081526007602052604090205490565b3480156103ea57600080fd5b5061030d6109de565b3480156103ff57600080fd5b506000546001600160a01b0316610390565b34801561041d57600080fd5b5061030d610a4d565b34801561043257600080fd5b50604080518082019091526005815264544954555360d81b60208201526101c1565b34801561046057600080fd5b50600d546101f890600160a81b900460ff1681565b34801561048157600080fd5b50600c54610390906001600160a01b031681565b3480156104a157600080fd5b506101f86104b036600461165c565b610aea565b3480156104c157600080fd5b5061023e6104d03660046116e6565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050757600080fd5b50600d54610390906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105769086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260086020908152604080832033845290915281205460001914610635576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600882528381203382529091529190912054610610918490610af7565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b610640848484610b31565b90505b9392505050565b6000546001600160a01b0316331461067d5760405162461bcd60e51b81526004016106749061171f565b60405180910390fd5b600047116106c65760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b6044820152606401610674565b60405133904780156108fc02916000818181858888f193505050501580156106f2573d6000803e3d6000fd5b50565b600080546001600160a01b031633146107205760405162461bcd60e51b81526004016106749061171f565b50600354600455600190565b6000546001600160a01b031633146107565760405162461bcd60e51b81526004016106749061171f565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156107ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107de919061173f565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610840573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610864919061173f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108d5919061173f565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af11580156109b4573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109d9919061175c565b505050565b6000546001600160a01b03163314610a085760405162461bcd60e51b81526004016106749061171f565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b03163314610a775760405162461bcd60e51b81526004016106749061171f565b600d54600160b01b900460ff1615610ad15760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610674565b600d805462ffffff60a01b19166201010160a01b179055565b6000610643338484610b31565b60008184841115610b1b5760405162461bcd60e51b815260040161067491906115f9565b506000610b2884866117a0565b95945050505050565b60006001600160a01b038416610b975760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610674565b6001600160a01b038316610bf95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610674565b60008211610c5b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610674565b601554600090819060ff1615610c7f57610c76868686610f11565b92505050610643565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc157506001600160a01b03851660009081526009602052604090205460ff16155b15610d1657600d54600160b01b900460ff16610d165760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b6044820152606401610674565b600d54600160a01b900460ff16610d3257610c76868686610f11565b600c546001600160a01b03868116911614801590610d5e57506002546001600160a01b03868116911614155b8015610d8357506001600160a01b03861660009081526009602052604090205460ff16155b8015610da857506001600160a01b03851660009081526009602052604090205460ff16155b15610e7f576001600160a01b0385166000908152600a602052604090205460ff1680610df957506004546001600160a01b038616600090815260076020526040902054610df69086906117b3565b11155b610e535760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610674565b600c546001600160a01b0390811690871603610e7f5760148054906000610e79836117c6565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610ed757600c546001600160a01b03878116911614610ed0576000610eda565b6001610eda565b60025b60ff169050610eea828286610ff7565b15610ef857610ef884611062565b610f058686868585611228565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f62918490610af7565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f919083611385565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe59086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561101b57503060009081526007602052604090205482105b60155490915060ff1615801561102e5750855b80156110435750600d54600160a01b900460ff165b801561104f5750600185115b80156110585750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109883611093846006546113e4565b6113e4565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d2576110d26117df565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061114f919061173f565b81600181518110611162576111626117df565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111a89085906000908690309042906004016117f5565b600060405180830381600087803b1580156111c257600080fd5b505af11580156111d6573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f19350505050158015611216573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125657600d54600160a81b900460ff166112465783611258565b6112518284866113f9565b611258565b835b600d54909150600090600160a81b900460ff1680156112745750835b61127e5784611289565b6112898385876113f9565b90506112f18260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610af79092919063ffffffff16565b6001600160a01b0380891660009081526007602052604080822093909355908816815220546113209082611385565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113749085815260200190565b60405180910390a350505050505050565b60008061139283856117b3565b9050838110156106435760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610674565b60008183116113f35782610643565b50919050565b60008060648461140a576001611453565b6001861161143c5760008611611421576000611453565b6012546014541161143457600e54611453565b601054611453565b6013546014541161144f57600f54611453565b6011545b9150600061146b8261146587866114c5565b90611547565b306000908152600760205260409020549091506114889082611385565b30600090815260076020526040902055856114ac576114a78386611866565b6114ae565b805b90506114ba8582611589565b979650505050505050565b6000826000036114d757506000610582565b60006114e38385611866565b9050826114f0858361187d565b146106435760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610674565b600061064383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115cb565b600061064383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610af7565b600081836115ec5760405162461bcd60e51b815260040161067491906115f9565b506000610b28848661187d565b600060208083528351808285015260005b818110156116265785810183015185820160400152820161160a565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146106f257600080fd5b6000806040838503121561166f57600080fd5b823561167a81611647565b946020939093013593505050565b60008060006060848603121561169d57600080fd5b83356116a881611647565b925060208401356116b881611647565b929592945050506040919091013590565b6000602082840312156116db57600080fd5b813561064381611647565b600080604083850312156116f957600080fd5b823561170481611647565b9150602083013561171481611647565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175157600080fd5b815161064381611647565b60008060006060848603121561177157600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105825761058261178a565b808201808211156105825761058261178a565b6000600182016117d8576117d861178a565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118455784516001600160a01b031683529383019391830191600101611820565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105825761058261178a565b60008261189a57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212200cb208821cd96443436266e7a2eec1f98b2c1cd644e42ac5834be25ecbe5db8864736f6c63430008130033000000000000000000000000fd057ddfeeeb446e30fbd525a57a6a5c5214113c

0x6080604052600436106101855760003560e01c80636cf46305116100d15780639561473a1161008a578063a8aa1b3111610064578063a8aa1b3114610475578063a9059cbb14610495578063dd62ed3e146104b5578063f887ea40146104fb57600080fd5b80639561473a1461041157806395d89b4114610426578063a771ebc71461045457600080fd5b80636cf463051461033a5780636ddd17131461034f5780636f268a991461037057806370a08231146103a8578063715018a6146103de578063893d20e8146103f357600080fd5b806323b872dd1161013e5780633eaaf86b116101185780633eaaf86b146102e25780633ec9aa2c146102f85780636a10cc951461030f5780636c0a24eb1461032457600080fd5b806323b872dd146102775780632f54bf6e14610297578063313ce567146102c657600080fd5b806306fdde031461019157806308fd3d05146101d7578063095ea7b3146102085780630e5a9231146102285780630faee56f1461024c57806318160ddd1461026257600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600b81526a546974757320506f6f6c7360a81b60208201525b6040516101ce91906115f9565b60405180910390f35b3480156101e357600080fd5b50600d546101f890600160b01b900460ff1681565b60405190151581526020016101ce565b34801561021457600080fd5b506101f861022336600461165c565b61051b565b34801561023457600080fd5b5061023e60055481565b6040519081526020016101ce565b34801561025857600080fd5b5061023e60065481565b34801561026e57600080fd5b5060035461023e565b34801561028357600080fd5b506101f8610292366004611688565b610588565b3480156102a357600080fd5b506101f86102b23660046116c9565b6000546001600160a01b0391821691161490565b3480156102d257600080fd5b50604051601281526020016101ce565b3480156102ee57600080fd5b5061023e60035481565b34801561030457600080fd5b5061030d61064a565b005b34801561031b57600080fd5b506101f86106f5565b34801561033057600080fd5b5061023e60045481565b34801561034657600080fd5b5061030d61072c565b34801561035b57600080fd5b50600d546101f890600160a01b900460ff1681565b34801561037c57600080fd5b50600b54610390906001600160a01b031681565b6040516001600160a01b0390911681526020016101ce565b3480156103b457600080fd5b5061023e6103c33660046116c9565b6001600160a01b031660009081526007602052604090205490565b3480156103ea57600080fd5b5061030d6109de565b3480156103ff57600080fd5b506000546001600160a01b0316610390565b34801561041d57600080fd5b5061030d610a4d565b34801561043257600080fd5b50604080518082019091526005815264544954555360d81b60208201526101c1565b34801561046057600080fd5b50600d546101f890600160a81b900460ff1681565b34801561048157600080fd5b50600c54610390906001600160a01b031681565b3480156104a157600080fd5b506101f86104b036600461165c565b610aea565b3480156104c157600080fd5b5061023e6104d03660046116e6565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050757600080fd5b50600d54610390906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105769086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260086020908152604080832033845290915281205460001914610635576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600882528381203382529091529190912054610610918490610af7565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b610640848484610b31565b90505b9392505050565b6000546001600160a01b0316331461067d5760405162461bcd60e51b81526004016106749061171f565b60405180910390fd5b600047116106c65760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b6044820152606401610674565b60405133904780156108fc02916000818181858888f193505050501580156106f2573d6000803e3d6000fd5b50565b600080546001600160a01b031633146107205760405162461bcd60e51b81526004016106749061171f565b50600354600455600190565b6000546001600160a01b031633146107565760405162461bcd60e51b81526004016106749061171f565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156107ba573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107de919061173f565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610840573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610864919061173f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156108b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108d5919061173f565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af11580156109b4573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109d9919061175c565b505050565b6000546001600160a01b03163314610a085760405162461bcd60e51b81526004016106749061171f565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b03163314610a775760405162461bcd60e51b81526004016106749061171f565b600d54600160b01b900460ff1615610ad15760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610674565b600d805462ffffff60a01b19166201010160a01b179055565b6000610643338484610b31565b60008184841115610b1b5760405162461bcd60e51b815260040161067491906115f9565b506000610b2884866117a0565b95945050505050565b60006001600160a01b038416610b975760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610674565b6001600160a01b038316610bf95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610674565b60008211610c5b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610674565b601554600090819060ff1615610c7f57610c76868686610f11565b92505050610643565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc157506001600160a01b03851660009081526009602052604090205460ff16155b15610d1657600d54600160b01b900460ff16610d165760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b6044820152606401610674565b600d54600160a01b900460ff16610d3257610c76868686610f11565b600c546001600160a01b03868116911614801590610d5e57506002546001600160a01b03868116911614155b8015610d8357506001600160a01b03861660009081526009602052604090205460ff16155b8015610da857506001600160a01b03851660009081526009602052604090205460ff16155b15610e7f576001600160a01b0385166000908152600a602052604090205460ff1680610df957506004546001600160a01b038616600090815260076020526040902054610df69086906117b3565b11155b610e535760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610674565b600c546001600160a01b0390811690871603610e7f5760148054906000610e79836117c6565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610ed757600c546001600160a01b03878116911614610ed0576000610eda565b6001610eda565b60025b60ff169050610eea828286610ff7565b15610ef857610ef884611062565b610f058686868585611228565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f62918490610af7565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f919083611385565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe59086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561101b57503060009081526007602052604090205482105b60155490915060ff1615801561102e5750855b80156110435750600d54600160a01b900460ff165b801561104f5750600185115b80156110585750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109883611093846006546113e4565b6113e4565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d2576110d26117df565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061114f919061173f565b81600181518110611162576111626117df565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111a89085906000908690309042906004016117f5565b600060405180830381600087803b1580156111c257600080fd5b505af11580156111d6573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f19350505050158015611216573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125657600d54600160a81b900460ff166112465783611258565b6112518284866113f9565b611258565b835b600d54909150600090600160a81b900460ff1680156112745750835b61127e5784611289565b6112898385876113f9565b90506112f18260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610af79092919063ffffffff16565b6001600160a01b0380891660009081526007602052604080822093909355908816815220546113209082611385565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113749085815260200190565b60405180910390a350505050505050565b60008061139283856117b3565b9050838110156106435760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610674565b60008183116113f35782610643565b50919050565b60008060648461140a576001611453565b6001861161143c5760008611611421576000611453565b6012546014541161143457600e54611453565b601054611453565b6013546014541161144f57600f54611453565b6011545b9150600061146b8261146587866114c5565b90611547565b306000908152600760205260409020549091506114889082611385565b30600090815260076020526040902055856114ac576114a78386611866565b6114ae565b805b90506114ba8582611589565b979650505050505050565b6000826000036114d757506000610582565b60006114e38385611866565b9050826114f0858361187d565b146106435760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610674565b600061064383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115cb565b600061064383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610af7565b600081836115ec5760405162461bcd60e51b815260040161067491906115f9565b506000610b28848661187d565b600060208083528351808285015260005b818110156116265785810183015185820160400152820161160a565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146106f257600080fd5b6000806040838503121561166f57600080fd5b823561167a81611647565b946020939093013593505050565b60008060006060848603121561169d57600080fd5b83356116a881611647565b925060208401356116b881611647565b929592945050506040919091013590565b6000602082840312156116db57600080fd5b813561064381611647565b600080604083850312156116f957600080fd5b823561170481611647565b9150602083013561171481611647565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175157600080fd5b815161064381611647565b60008060006060848603121561177157600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105825761058261178a565b808201808211156105825761058261178a565b6000600182016117d8576117d861178a565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118455784516001600160a01b031683529383019391830191600101611820565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105825761058261178a565b60008261189a57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212200cb208821cd96443436266e7a2eec1f98b2c1cd644e42ac5834be25ecbe5db8864736f6c63430008130033

000000000000000000000000fd057ddfeeeb446e30fbd525a57a6a5c5214113c

-----Decoded View---------------
Arg [0] : tiWallet (address): 0xFD057DdFEEeB446e30FbD525A57A6A5C5214113c

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

4833:9413:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7413:94;;;;;;;;;;-1:-1:-1;7494:5:0;;;;;;;;;;;;-1:-1:-1;;;7494:5:0;;;;7413:94;;;;;;;:::i;:::-;;;;;;;;5802:31;;;;;;;;;;-1:-1:-1;5802:31:0;;;;-1:-1:-1;;;5802:31:0;;;;;;;;;732:14:1;;725:22;707:41;;695:2;680:18;5802:31:0;567:187:1;8481:248:0;;;;;;;;;;-1:-1:-1;8481:248:0;;;;;:::i;:::-;;:::i;5306:58::-;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5306:58:0;1215:177:1;5371:52:0;;;;;;;;;;;;;;;;7515:102;;;;;;;;;;-1:-1:-1;7597:12:0;;7515:102;;9751:424;;;;;;;;;;-1:-1:-1;9751:424:0;;;;;:::i;:::-;;:::i;2825:103::-;;;;;;;;;;-1:-1:-1;2825:103:0;;;;;:::i;:::-;2880:4;2915:5;-1:-1:-1;;;;;2904:16:0;;;2915:5;;2904:16;;2825:103;7625:94;;;;;;;;;;-1:-1:-1;7625:94:0;;5164:2;2252:36:1;;2240:2;2225:18;7625:94:0;2110:184:1;5175:59:0;;;;;;;;;;;;;;;;13858:198;;;;;;;;;;;;;:::i;:::-;;14064:134;;;;;;;;;;;;;:::i;5241:58::-;;;;;;;;;;;;;;;;6727:471;;;;;;;;;;;;;:::i;5727:31::-;;;;;;;;;;-1:-1:-1;5727:31:0;;;;-1:-1:-1;;;5727:31:0;;;;;;5634:25;;;;;;;;;;-1:-1:-1;5634:25:0;;;;-1:-1:-1;;;;;5634:25:0;;;;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;5634:25:0;2299:203:1;7933:119:0;;;;;;;;;;-1:-1:-1;7933:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8026:18:0;7999:7;8026:18;;;:9;:18;;;;;;;7933:119;2936:131;;;;;;;;;;;;;:::i;7833:92::-;;;;;;;;;;-1:-1:-1;7885:7:0;7912:5;-1:-1:-1;;;;;7912:5:0;7833:92;;7206:199;;;;;;;;;;;;;:::i;7727:98::-;;;;;;;;;;-1:-1:-1;7810:7:0;;;;;;;;;;;;-1:-1:-1;;;7810:7:0;;;;7727:98;;5765:30;;;;;;;;;;-1:-1:-1;5765:30:0;;;;-1:-1:-1;;;5765:30:0;;;;;;5666:19;;;;;;;;;;-1:-1:-1;5666:19:0;;;;-1:-1:-1;;;;;5666:19:0;;;9555:188;;;;;;;;;;-1:-1:-1;9555:188:0;;;;;:::i;:::-;;:::i;8285:::-;;;;;;;;;;-1:-1:-1;8285:188:0;;;;;:::i;:::-;-1:-1:-1;;;;;8437:19:0;;;8405:7;8437:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;8285:188;5694:24;;;;;;;;;;-1:-1:-1;5694:24:0;;;;-1:-1:-1;;;;;5694:24:0;;;8481:248;8617:10;8583:4;8605:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;8605:32:0;;;;;;;;;;:41;;;8662:37;8583:4;;8605:32;;8662:37;;;;8640:6;1361:25:1;;1349:2;1334:18;;1215:177;8662:37:0;;;;;;;;-1:-1:-1;8717:4:0;8481:248;;;;;:::o;9751:424::-;-1:-1:-1;;;;;9906:19:0;;9885:4;9906:19;;;:11;:19;;;;;;;;9926:10;9906:31;;;;;;;;-1:-1:-1;;9906:52:0;9902:206;;10009:87;;;;;;;;;;;-1:-1:-1;;;10009:87:0;;;;;;;;-1:-1:-1;;;;;10009:19:0;;-1:-1:-1;10009:19:0;;;:11;:19;;;;;10029:10;10009:31;;;;;;;;;;:87;;10063:6;;10009:53;:87::i;:::-;-1:-1:-1;;;;;9975:19:0;;;;;;:11;:19;;;;;;;;9995:10;9975:31;;;;;;;:121;9902:206;10127:40;10141:6;10149:9;10160:6;10127:13;:40::i;:::-;10120:47;;9751:424;;;;;;:::o;13858:198::-;2880:4;2915:5;-1:-1:-1;;;;;2915:5:0;2775:10;2904:16;2759:38;;;;-1:-1:-1;;;2759:38:0;;;;;;;:::i;:::-;;;;;;;;;13958:1:::1;13934:21;:25;13926:60;;;::::0;-1:-1:-1;;;13926:60:0;;3662:2:1;13926:60:0::1;::::0;::::1;3644:21:1::0;3701:2;3681:18;;;3674:30;-1:-1:-1;;;3720:18:1;;;3713:52;3782:18;;13926:60:0::1;3460:346:1::0;13926:60:0::1;13997:51;::::0;14005:10:::1;::::0;14026:21:::1;13997:51:::0;::::1;;;::::0;::::1;::::0;;;14026:21;14005:10;13997:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13858:198::o:0;14064:134::-;14120:4;2915:5;;-1:-1:-1;;;;;2915:5:0;2775:10;2904:16;2759:38;;;;-1:-1:-1;;;2759:38:0;;;;;;;:::i;:::-;-1:-1:-1;14156:12:0::1;::::0;14137:16:::1;:31:::0;14186:4:::1;14064:134:::0;:::o;6727:471::-;2880:4;2915:5;-1:-1:-1;;;;;2915:5:0;2775:10;2904:16;2759:38;;;;-1:-1:-1;;;2759:38:0;;;;;;;:::i;:::-;6795:6:::1;:63:::0;;-1:-1:-1;;;;;;6795:63:0::1;6815:42;6795:63:::0;;::::1;::::0;;;6888:16:::1;::::0;;-1:-1:-1;;;6888:16:0;;;;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;6815:42;6888:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6876:40:0::1;;6925:4;6932:6;;;;;;;;;-1:-1:-1::0;;;;;6932:6:0::1;-1:-1:-1::0;;;;;6932:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6876:70;::::0;-1:-1:-1;;;;;;6876:70:0::1;::::0;;;;;;-1:-1:-1;;;;;4297:15:1;;;6876:70:0::1;::::0;::::1;4279:34:1::0;4349:15;;4329:18;;;4322:43;4214:18;;6876:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6869:4;:77:::0;;-1:-1:-1;;;;;;6869:77:0::1;-1:-1:-1::0;;;;;6869:77:0;;::::1;::::0;;::::1;::::0;;;-1:-1:-1;6957:21:0;;;:15:::1;:21;::::0;;;;;;;:28;;-1:-1:-1;;6957:28:0::1;-1:-1:-1::0;6957:28:0::1;::::0;;7018:4:::1;6998:26:::0;;;:11:::1;:26:::0;;;;;7033:6:::1;::::0;;;::::1;6998:43:::0;;;;;;;;-1:-1:-1;;6998:63:0;;7072:6;8026:18;;;:9;:18;;;;;;7072:6;::::1;::::0;:22:::1;::::0;7102:21:::1;::::0;7164:1:::1;7168:5:::0;;7072:118:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;7072:118:0;;;-1:-1:-1;;;;;4735:15:1;;;7072:118:0::1;::::0;::::1;4717:34:1::0;4767:18;;;4760:34;;;;4810:18;;;4803:34;;;4853:18;;;4846:34;;;;7168:5:0;;;::::1;4896:19:1::0;;;4889:44;7174:15:0::1;4949:19:1::0;;;4942:35;4651:19;;7072:118:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6727:471::o:0;2936:131::-;2880:4;2915:5;-1:-1:-1;;;;;2915:5:0;2775:10;2904:16;2759:38;;;;-1:-1:-1;;;2759:38:0;;;;;;;:::i;:::-;3009:1:::1;2993:18:::0;;-1:-1:-1;;;;;;2993:18:0::1;::::0;;3027:32:::1;::::0;2445:51:1;;;3027:32:0::1;::::0;2433:2:1;2418:18;3027:32:0::1;;;;;;;2936:131::o:0;7206:199::-;2880:4;2915:5;-1:-1:-1;;;;;2915:5:0;2775:10;2904:16;2759:38;;;;-1:-1:-1;;;2759:38:0;;;;;;;:::i;:::-;7271:11:::1;::::0;-1:-1:-1;;;7271:11:0;::::1;;;7270:12;7262:47;;;::::0;-1:-1:-1;;;7262:47:0;;5501:2:1;7262:47:0::1;::::0;::::1;5483:21:1::0;5540:2;5520:18;;;5513:30;5579:25;5559:18;;;5552:53;5622:18;;7262:47:0::1;5299:347:1::0;7262:47:0::1;7322:11;:18:::0;;-1:-1:-1;;;;7379:18:0;-1:-1:-1;;;7379:18:0;;;7206:199::o;9555:188::-;9662:4;9691:44;9705:10;9717:9;9728:6;9691:13;:44::i;692:224::-;812:7;848:12;840:6;;;;832:29;;;;-1:-1:-1;;;832:29:0;;;;;;;;:::i;:::-;-1:-1:-1;872:9:0;884:5;888:1;884;:5;:::i;:::-;872:17;692:224;-1:-1:-1;;;;;692:224:0:o;10960:1487::-;11086:4;-1:-1:-1;;;;;11113:20:0;;11105:70;;;;-1:-1:-1;;;11105:70:0;;6118:2:1;11105:70:0;;;6100:21:1;6157:2;6137:18;;;6130:30;6196:34;6176:18;;;6169:62;-1:-1:-1;;;6247:18:1;;;6240:35;6292:19;;11105:70:0;5916:401:1;11105:70:0;-1:-1:-1;;;;;11194:23:0;;11186:71;;;;-1:-1:-1;;;11186:71:0;;6524:2:1;11186:71:0;;;6506:21:1;6563:2;6543:18;;;6536:30;6602:34;6582:18;;;6575:62;-1:-1:-1;;;6653:18:1;;;6646:33;6696:19;;11186:71:0;6322:399:1;11186:71:0;11285:1;11276:6;:10;11268:64;;;;-1:-1:-1;;;11268:64:0;;6928:2:1;11268:64:0;;;6910:21:1;6967:2;6947:18;;;6940:30;7006:34;6986:18;;;6979:62;-1:-1:-1;;;7057:18:1;;;7050:39;7106:19;;11268:64:0;6726:405:1;11268:64:0;11397:6;;11345:12;;;;11397:6;;11393:87;;;11427:41;11442:6;11450:9;11461:6;11427:14;:41::i;:::-;11420:48;;;;;;11393:87;-1:-1:-1;;;;;11496:19:0;;;;;;:11;:19;;;;;;;;11495:20;:47;;;;-1:-1:-1;;;;;;11520:22:0;;;;;;:11;:22;;;;;;;;11519:23;11495:47;11492:121;;;11566:11;;-1:-1:-1;;;11566:11:0;;;;11558:43;;;;-1:-1:-1;;;11558:43:0;;7338:2:1;11558:43:0;;;7320:21:1;7377:2;7357:18;;;7350:30;-1:-1:-1;;;7396:18:1;;;7389:50;7456:18;;11558:43:0;7136:344:1;11558:43:0;11629:11;;-1:-1:-1;;;11629:11:0;;;;11625:92;;11664:41;11679:6;11687:9;11698:6;11664:14;:41::i;11625:92::-;11746:4;;-1:-1:-1;;;;;11733:17:0;;;11746:4;;11733:17;;;;:38;;-1:-1:-1;11767:4:0;;-1:-1:-1;;;;;11754:17:0;;;11767:4;;11754:17;;11733:38;:62;;;;-1:-1:-1;;;;;;11776:19:0;;;;;;:11;:19;;;;;;;;11775:20;11733:62;:89;;;;-1:-1:-1;;;;;;11800:22:0;;;;;;:11;:22;;;;;;;;11799:23;11733:89;11729:403;;;-1:-1:-1;;;;;11865:26:0;;;;;;:15;:26;;;;;;;;;:100;;-1:-1:-1;11949:16:0;;-1:-1:-1;;;;;11916:20:0;;;;;;:9;:20;;;;;;:29;;11939:6;;11916:29;:::i;:::-;:49;;11865:100;11839:199;;;;-1:-1:-1;;;11839:199:0;;7817:2:1;11839:199:0;;;7799:21:1;7856:2;7836:18;;;7829:30;7895:34;7875:18;;;7868:62;-1:-1:-1;;;7946:18:1;;;7939:35;7991:19;;11839:199:0;7615:401:1;11839:199:0;12068:4;;-1:-1:-1;;;;;12068:4:0;;;12058:14;;;;12055:66;;12093:10;:12;;;:10;:12;;;:::i;:::-;;;;;;12055:66;-1:-1:-1;;;;;8250:19:0;;8225:4;8250:19;;;:11;:19;;;;;;;;8249:20;12206:4;;12144:28;;-1:-1:-1;;;;;;12193:17:0;;;12206:4;;12193:17;:43;;12226:4;;-1:-1:-1;;;;;12216:14:0;;;12226:4;;12216:14;:20;;12235:1;12193:43;;12216:20;12232:1;12193:43;;;12212:1;12193:43;12183:53;;;;12253:37;12265:7;12274;12283:6;12253:11;:37::i;:::-;12249:94;;;12307:24;12324:6;12307:16;:24::i;:::-;12355:60;12371:6;12379:9;12390:6;12398:7;12407;12355:15;:60::i;:::-;-1:-1:-1;12435:4:0;;10960:1487;-1:-1:-1;;;;;10960:1487:0:o;8737:401::-;8901:90;;;;;;;;;;;-1:-1:-1;;;8901:90:0;;;;;;;;-1:-1:-1;;;;;8901:17:0;;8864:4;8901:17;;;:9;:17;;;;;;;:90;;8937:6;;8901:21;:90::i;:::-;-1:-1:-1;;;;;8881:17:0;;;;;;;:9;:17;;;;;;:110;;;;9025:20;;;;;;;:32;;9050:6;9025:24;:32::i;:::-;-1:-1:-1;;;;;9002:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9073:35;;;;;;;;;;9101:6;1361:25:1;;1349:2;1334:18;;1215:177;9073:35:0;;;;;;;;-1:-1:-1;9126:4:0;8737:401;;;;;:::o;9147:400::-;9278:14;;9236:4;;;9324:21;;;:64;;;;-1:-1:-1;9367:4:0;7999:7;8026:18;;;:9;:18;;;;;;9376:12;-1:-1:-1;9324:64:0;9422:6;;9303:85;;-1:-1:-1;9422:6:0;;9421:7;:31;;;;;9445:7;9421:31;:59;;;;-1:-1:-1;9469:11:0;;-1:-1:-1;;;9469:11:0;;;;9421:59;:88;;;;;9508:1;9498:7;:11;9421:88;:118;;;;;9526:13;9421:118;9401:138;9147:400;-1:-1:-1;;;;;;9147:400:0:o;13177:673::-;6165:6;:13;;-1:-1:-1;;6165:13:0;6174:4;6165:13;;;13307:4:::1;-1:-1:-1::0;8026:18:0;;;:9;:18;;;;;;13258:55:::1;;13324:20;13347:51;13351:6;13359:38;13363:20;13385:11;;13359:3;:38::i;:::-;13347:3;:51::i;:::-;13435:16;::::0;;13449:1:::1;13435:16:::0;;;;;::::1;::::0;;13324:74;;-1:-1:-1;13411:21:0::1;::::0;13435:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13435:16:0::1;13411:40;;13480:4;13462;13467:1;13462:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13462:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13506:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;13506:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;13462:7;;13506:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13496:4;13501:1;13496:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13496:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;13532:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;13532:188:0;;:6;::::1;::::0;:57:::1;::::0;:188:::1;::::0;13604:12;;13532:6:::1;::::0;13647:4;;13674::::1;::::0;13694:15:::1;::::0;13532:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;13802:10:0::1;::::0;13794:48:::1;::::0;13762:21:::1;::::0;-1:-1:-1;;;;;;13802:10:0;;::::1;::::0;-1:-1:-1;13794:48:0;::::1;;;::::0;13762:21;;13733:26:::1;13794:48:::0;13733:26;13794:48;13762:21;13802:10;13794:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6201:6:0;:14;;-1:-1:-1;;6201:14:0;;;-1:-1:-1;;;;13177:673:0:o;12455:714::-;12632:15;12650:7;:127;;12683:10;;-1:-1:-1;;;12683:10:0;;;;:94;;12770:7;12650:127;;12683:94;12709:44;12728:6;12736:7;12745;12709:18;:44::i;:::-;12650:127;;;12673:7;12650:127;12808:10;;12632:145;;-1:-1:-1;12790:15:0;;-1:-1:-1;;;12808:10:0;;;;:21;;;;;12822:7;12808:21;:104;;12905:7;12808:104;;;12845:44;12864:6;12872:7;12881;12845:18;:44::i;:::-;12790:122;;12945:91;12981:7;12945:91;;;;;;;;;;;;;-1:-1:-1;;;12945:91:0;;;:9;:17;12955:6;-1:-1:-1;;;;;12945:17:0;-1:-1:-1;;;;;12945:17:0;;;;;;;;;;;;;:21;;:91;;;;;:::i;:::-;-1:-1:-1;;;;;12925:17:0;;;;;;;:9;:17;;;;;;:111;;;;13072:20;;;;;;;:33;;13097:7;13072:24;:33::i;:::-;-1:-1:-1;;;;;13049:20:0;;;;;;;:9;:20;;;;;;;:56;;;;13123:36;;;;;;;;;;13151:7;1361:25:1;;1349:2;1334:18;;1215:177;13123:36:0;;;;;;;;12619:550;;12455:714;;;;;:::o;361:179::-;419:7;;451:5;455:1;451;:5;:::i;:::-;439:17;;480:1;475;:6;;467:46;;;;-1:-1:-1;;;467:46:0;;9612:2:1;467:46:0;;;9594:21:1;9651:2;9631:18;;;9624:30;9690:29;9670:18;;;9663:57;9737:18;;467:46:0;9410:351:1;8060:98:0;8117:7;8144:1;8142;:3;8141:9;;8149:1;8141:9;;;-1:-1:-1;8147:1:0;8060:98;-1:-1:-1;8060:98:0:o;10231:721::-;10339:7;;10428:3;10460:7;:206;;10665:1;10460:206;;;10493:1;10484:6;:10;:178;;10583:1;10574:6;:10;:88;;10661:1;10484:178;;10574:88;10613:15;;10602:10;;:26;:55;;10646:11;;10484:178;;10602:55;10631:12;;10484:178;;;10523:16;;10512:10;;:27;:58;;10558:12;;10512:58;;;10542:13;;10512:58;10444:222;-1:-1:-1;10679:18:0;10700:53;10731:21;10700:26;:7;10444:222;10700:11;:26::i;:::-;:30;;:53::i;:::-;10809:4;10791:24;;;;:9;:24;;;;;;10679:74;;-1:-1:-1;10791:40:0;;10679:74;10791:28;:40::i;:::-;10782:4;10764:24;;;;:9;:24;;;;;:67;10855:7;:46;;10878:23;10888:13;10878:7;:23;:::i;:::-;10855:46;;;10865:10;10855:46;10842:59;-1:-1:-1;10921:23:0;:7;10842:59;10921:11;:23::i;:::-;10914:30;10231:721;-1:-1:-1;;;;;;;10231:721:0:o;924:246::-;982:7;1006:1;1011;1006:6;1002:47;;-1:-1:-1;1036:1:0;1029:8;;1002:47;1059:9;1071:5;1075:1;1071;:5;:::i;:::-;1059:17;-1:-1:-1;1104:1:0;1095:5;1099:1;1059:17;1095:5;:::i;:::-;:10;1087:56;;;;-1:-1:-1;;;1087:56:0;;10363:2:1;1087:56:0;;;10345:21:1;10402:2;10382:18;;;10375:30;10441:34;10421:18;;;10414:62;-1:-1:-1;;;10492:18:1;;;10485:31;10533:19;;1087:56:0;10161:397:1;1178:132:0;1236:7;1263:39;1267:1;1270;1263:39;;;;;;;;;;;;;;;;;:3;:39::i;548:136::-;606:7;633:43;637:1;640;633:43;;;;;;;;;;;;;;;;;:3;:43::i;1318:223::-;1438:7;1473:12;1466:5;1458:28;;;;-1:-1:-1;;;1458:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1497:9:0;1509:5;1513:1;1509;: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;759:131::-;-1:-1:-1;;;;;834:31:1;;824:42;;814:70;;880:1;877;870:12;895:315;963:6;971;1024:2;1012:9;1003:7;999:23;995:32;992:52;;;1040:1;1037;1030:12;992:52;1079:9;1066:23;1098:31;1123:5;1098:31;:::i;:::-;1148:5;1200:2;1185:18;;;;1172:32;;-1:-1:-1;;;895: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;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044: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;3126:329::-;3328:2;3310:21;;;3367:1;3347:18;;;3340:29;-1:-1:-1;;;3400:2:1;3385:18;;3378:36;3446:2;3431:18;;3126:329::o;3811:251::-;3881:6;3934:2;3922:9;3913:7;3909:23;3905:32;3902:52;;;3950:1;3947;3940:12;3902:52;3982:9;3976:16;4001:31;4026:5;4001:31;:::i;4988:306::-;5076:6;5084;5092;5145:2;5133:9;5124:7;5120:23;5116:32;5113:52;;;5161:1;5158;5151:12;5113:52;5190:9;5184:16;5174:26;;5240:2;5229:9;5225:18;5219:25;5209:35;;5284:2;5273:9;5269:18;5263:25;5253:35;;4988:306;;;;;:::o;5651:127::-;5712:10;5707:3;5703:20;5700:1;5693:31;5743:4;5740:1;5733:15;5767:4;5764:1;5757:15;5783:128;5850:9;;;5871:11;;;5868:37;;;5885:18;;:::i;7485:125::-;7550:9;;;7571:10;;;7568:36;;;7584:18;;:::i;8021:135::-;8060:3;8081:17;;;8078:43;;8101:18;;:::i;:::-;-1:-1:-1;8148:1:1;8137:13;;8021:135::o;8293:127::-;8354:10;8349:3;8345:20;8342:1;8335:31;8385:4;8382:1;8375:15;8409:4;8406:1;8399:15;8425:980;8687:4;8735:3;8724:9;8720:19;8766:6;8755:9;8748:25;8792:2;8830:6;8825:2;8814:9;8810:18;8803:34;8873:3;8868:2;8857:9;8853:18;8846:31;8897:6;8932;8926:13;8963:6;8955;8948:22;9001:3;8990:9;8986:19;8979:26;;9040:2;9032:6;9028:15;9014:29;;9061:1;9071:195;9085:6;9082:1;9079:13;9071:195;;;9150:13;;-1:-1:-1;;;;;9146:39:1;9134:52;;9241:15;;;;9206:12;;;;9182:1;9100:9;9071:195;;;-1:-1:-1;;;;;;;9322:32:1;;;;9317:2;9302:18;;9295:60;-1:-1:-1;;;9386:3:1;9371:19;9364:35;9283:3;8425:980;-1:-1:-1;;;8425:980:1:o;9766:168::-;9839:9;;;9870;;9887:15;;;9881:22;;9867:37;9857:71;;9908:18;;:::i;9939:217::-;9979:1;10005;9995:132;;10049:10;10044:3;10040:20;10037:1;10030:31;10084:4;10081:1;10074:15;10112:4;10109:1;10102:15;9995:132;-1:-1:-1;10141:9:1;;9939:217::o

ipfs://0cb208821cd96443436266e7a2eec1f98b2c1cd644e42ac5834be25ecbe5db88