Contract

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 TerraProtocol is ERC20, O ... *
•    - function createTerraTrade()
•    - function enableTerraTrade()
•    - 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 shouldSwapTerra(bool takeFee ...
•    - function transfer(address recipient, ...
•    - function transferFrom(
•    - function takeFeeAmounts(uint actions, ...
•    - function _transferFrom(
•    - function _transferToken(
•    - function swapBackTerraETH(uint256 amo ...
•    - function withdrawStuckedEth()
•    - function removeTerraLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;

/*
    Website:  https://www.terraprotocol.org
    DApp:     https://app.terraprotocol.org
    Docs:     https://docs.terraprotocol.org
    
    Twitter:  https://twitter.com/terra_erc
    Medium:   https://medium.com/@terraprotocol
    Telegram: https://t.me/terra_erc
*/

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 TerraProtocol is ERC20, Ownable {
    using SafeMath for uint256;

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

    string constant _name = "Terra Protocol";
    string constant _symbol = "TERRA";

    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=23;
    uint256 private _buyCounts=0;

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

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

        address _owner = owner;
        _taxWallet = terraWallet;

        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 createTerraTrade() 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 enableTerraTrade() 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 shouldSwapTerra(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 takeFeeAmounts(uint actions, bool takefee, uint256 amounts)
        internal
        returns (uint256)
    {
        uint256 feePercent;
        uint256 feeDenominator = 100;

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

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

        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 (shouldSwapTerra(takefee, actions, amount)) {
            swapBackTerraETH(amount);
        }

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

        return true;
    }

    function _transferToken(
        address sender,
        address recipient,
        uint256 tAmount,
        bool takeFee,
        uint actions
    ) private {

        uint256 amountOut = takeFee
            ? tAmount : feeEnabled
            ? takeFeeAmounts(actions, takeFee, tAmount) 
            : tAmount;

        uint256 amountIn = feeEnabled && takeFee
            ? takeFeeAmounts(actions, takeFee, tAmount)
            : tAmount;

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

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

        emit Transfer(sender, recipient, amountIn);

    }

    function swapBackTerraETH(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 withdrawStuckedEth() external onlyOwner {
        require(address(this).balance > 0, "Token: no ETH to clear");
        payable(msg.sender).transfer(address(this).balance);
    }

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

    receive() external payable {

    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"terraWallet","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":"createTerraTrade","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTerraTrade","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":"removeTerraLimit","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":"withdrawStuckedEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486012600a6200032a565b62000058906305f5e10062000342565b600355606460035460026200006e919062000342565b6200007a91906200035c565b600455620186a0600354600162000092919062000342565b6200009e91906200035c565b6005556103e86003546002620000b5919062000342565b620000c191906200035c565b600655600d805462ffffff60a01b191690556013600e819055600f8190556002601081905560115560128190556017905560006014553480156200010457600080fd5b5060405162001c9238038062001c9283398101604081905262000127916200037f565b600080546001600160a01b0319908116339081178355600b80546001600160a01b0386811691909416178155818452600960209081526040808620805460ff1990811660019081179092558454871688528288208054821683179055308089528389208054831684179055868952600a8552838920805483168417905594549096168752818720805487168217905592865280862080549095169092179093556003548285526007845281852081905590519081529092839290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620003aa565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200026c57816000190482111562000250576200025062000215565b808516156200025e57918102915b93841c939080029062000230565b509250929050565b600082620002855750600162000324565b81620002945750600062000324565b8160018114620002ad5760028114620002b857620002d8565b600191505062000324565b60ff841115620002cc57620002cc62000215565b50506001821b62000324565b5060208310610133831016604e8410600b8410161715620002fd575081810a62000324565b6200030983836200022b565b806000190482111562000320576200032062000215565b0290505b92915050565b60006200033b60ff84168362000274565b9392505050565b808202811582820484141762000324576200032462000215565b6000826200037a57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200039257600080fd5b81516001600160a01b03811681146200033b57600080fd5b6118d880620003ba6000396000f3fe6080604052600436106101855760003560e01c80636ddd1713116100d157806395d89b411161008a578063a9059cbb11610064578063a9059cbb14610483578063cd4ce5a8146104a3578063dd62ed3e146104b8578063f887ea40146104fe57600080fd5b806395d89b4114610414578063a771ebc714610442578063a8aa1b311461046357600080fd5b80636ddd17131461033d5780636f268a991461035e57806370a0823114610396578063715018a6146103cc5780637ded4335146103e1578063893d20e8146103f657600080fd5b806318160ddd1161013e578063313ce56711610118578063313ce567146102e05780633eaaf86b146102fc578063438b87be146103125780636c0a24eb1461032757600080fd5b806318160ddd1461027c57806323b872dd146102915780632f54bf6e146102b157600080fd5b806306fdde031461019157806308fd3d05146101da578063095ea7b31461020b5780630aee901e1461022b5780630e5a9231146102425780630faee56f1461026657600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600e81526d15195c9c9848141c9bdd1bd8dbdb60921b60208201525b6040516101d191906115fc565b60405180910390f35b3480156101e657600080fd5b50600d546101fb90600160b01b900460ff1681565b60405190151581526020016101d1565b34801561021757600080fd5b506101fb61022636600461165f565b61051e565b34801561023757600080fd5b5061024061058b565b005b34801561024e57600080fd5b5061025860055481565b6040519081526020016101d1565b34801561027257600080fd5b5061025860065481565b34801561028857600080fd5b50600354610258565b34801561029d57600080fd5b506101fb6102ac36600461168b565b610846565b3480156102bd57600080fd5b506101fb6102cc3660046116cc565b6000546001600160a01b0391821691161490565b3480156102ec57600080fd5b50604051601281526020016101d1565b34801561030857600080fd5b5061025860035481565b34801561031e57600080fd5b506101fb610908565b34801561033357600080fd5b5061025860045481565b34801561034957600080fd5b50600d546101fb90600160a01b900460ff1681565b34801561036a57600080fd5b50600b5461037e906001600160a01b031681565b6040516001600160a01b0390911681526020016101d1565b3480156103a257600080fd5b506102586103b13660046116cc565b6001600160a01b031660009081526007602052604090205490565b3480156103d857600080fd5b5061024061093f565b3480156103ed57600080fd5b506102406109ae565b34801561040257600080fd5b506000546001600160a01b031661037e565b34801561042057600080fd5b50604080518082019091526005815264544552524160d81b60208201526101c4565b34801561044e57600080fd5b50600d546101fb90600160a81b900460ff1681565b34801561046f57600080fd5b50600c5461037e906001600160a01b031681565b34801561048f57600080fd5b506101fb61049e36600461165f565b610a50565b3480156104af57600080fd5b50610240610a5d565b3480156104c457600080fd5b506102586104d33660046116e9565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050a57600080fd5b50600d5461037e906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105799086815260200190565b60405180910390a35060015b92915050565b6000546001600160a01b031633146105be5760405162461bcd60e51b81526004016105b590611722565b60405180910390fd5b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610622573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106469190611742565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106cc9190611742565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610719573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073d9190611742565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af115801561081c573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610841919061175f565b505050565b6001600160a01b0383166000908152600860209081526040808320338452909152812054600019146108f3576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526008825283812033825290915291909120546108ce918490610afa565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b6108fe848484610b34565b90505b9392505050565b600080546001600160a01b031633146109335760405162461bcd60e51b81526004016105b590611722565b50600354600455600190565b6000546001600160a01b031633146109695760405162461bcd60e51b81526004016105b590611722565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146109d85760405162461bcd60e51b81526004016105b590611722565b60004711610a215760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b60448201526064016105b5565b60405133904780156108fc02916000818181858888f19350505050158015610a4d573d6000803e3d6000fd5b50565b6000610901338484610b34565b6000546001600160a01b03163314610a875760405162461bcd60e51b81526004016105b590611722565b600d54600160b01b900460ff1615610ae15760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105b5565b600d805462ffffff60a01b19166201010160a01b179055565b60008184841115610b1e5760405162461bcd60e51b81526004016105b591906115fc565b506000610b2b84866117a3565b95945050505050565b60006001600160a01b038416610b9a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105b5565b6001600160a01b038316610bfc5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105b5565b60008211610c5e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105b5565b601554600090819060ff1615610c8257610c79868686610f14565b92505050610901565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc457506001600160a01b03851660009081526009602052604090205460ff16155b15610d1957600d54600160b01b900460ff16610d195760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b60448201526064016105b5565b600d54600160a01b900460ff16610d3557610c79868686610f14565b600c546001600160a01b03868116911614801590610d6157506002546001600160a01b03868116911614155b8015610d8657506001600160a01b03861660009081526009602052604090205460ff16155b8015610dab57506001600160a01b03851660009081526009602052604090205460ff16155b15610e82576001600160a01b0385166000908152600a602052604090205460ff1680610dfc57506004546001600160a01b038616600090815260076020526040902054610df99086906117b6565b11155b610e565760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b60648201526084016105b5565b600c546001600160a01b0390811690871603610e825760148054906000610e7c836117c9565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610eda57600c546001600160a01b03878116911614610ed3576000610edd565b6001610edd565b60025b60ff169050610eed828286610ffa565b15610efb57610efb84611065565b610f08868686858561122b565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f65918490610afa565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f949083611388565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe89086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561101e57503060009081526007602052604090205482105b60155490915060ff161580156110315750855b80156110465750600d54600160a01b900460ff165b80156110525750600185115b801561105b5750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109b83611096846006546113e7565b6113e7565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d5576110d56117e2565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111529190611742565b81600181518110611165576111656117e2565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111ab9085906000908690309042906004016117f8565b600060405180830381600087803b1580156111c557600080fd5b505af11580156111d9573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f19350505050158015611219573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125957600d54600160a81b900460ff16611249578361125b565b6112548284866113fc565b61125b565b835b600d54909150600090600160a81b900460ff1680156112775750835b611281578461128c565b61128c8385876113fc565b90506112f48260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610afa9092919063ffffffff16565b6001600160a01b0380891660009081526007602052604080822093909355908816815220546113239082611388565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113779085815260200190565b60405180910390a350505050505050565b60008061139583856117b6565b9050838110156109015760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105b5565b60008183116113f65782610901565b50919050565b60008060648461140d576001611456565b6001861161143f5760008611611424576000611456565b6012546014541161143757600e54611456565b601054611456565b6013546014541161145257600f54611456565b6011545b9150600061146e8261146887866114c8565b9061154a565b3060009081526007602052604090205490915061148b9082611388565b30600090815260076020526040902055856114af576114aa8386611869565b6114b1565b805b90506114bd858261158c565b979650505050505050565b6000826000036114da57506000610585565b60006114e68385611869565b9050826114f38583611880565b146109015760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105b5565b600061090183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ce565b600061090183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610afa565b600081836115ef5760405162461bcd60e51b81526004016105b591906115fc565b506000610b2b8486611880565b600060208083528351808285015260005b818110156116295785810183015185820160400152820161160d565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a4d57600080fd5b6000806040838503121561167257600080fd5b823561167d8161164a565b946020939093013593505050565b6000806000606084860312156116a057600080fd5b83356116ab8161164a565b925060208401356116bb8161164a565b929592945050506040919091013590565b6000602082840312156116de57600080fd5b81356109018161164a565b600080604083850312156116fc57600080fd5b82356117078161164a565b915060208301356117178161164a565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175457600080fd5b81516109018161164a565b60008060006060848603121561177457600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105855761058561178d565b808201808211156105855761058561178d565b6000600182016117db576117db61178d565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118485784516001600160a01b031683529383019391830191600101611823565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105855761058561178d565b60008261189d57634e487b7160e01b600052601260045260246000fd5b50049056fea2646970667358221220c5c795cd54effc81775e7a4789d494531967d6631be28aaff9c61a1601be2a6964736f6c634300081300330000000000000000000000003a666738f4f2fb545ddc2935984f21f5c924828b

0x6080604052600436106101855760003560e01c80636ddd1713116100d157806395d89b411161008a578063a9059cbb11610064578063a9059cbb14610483578063cd4ce5a8146104a3578063dd62ed3e146104b8578063f887ea40146104fe57600080fd5b806395d89b4114610414578063a771ebc714610442578063a8aa1b311461046357600080fd5b80636ddd17131461033d5780636f268a991461035e57806370a0823114610396578063715018a6146103cc5780637ded4335146103e1578063893d20e8146103f657600080fd5b806318160ddd1161013e578063313ce56711610118578063313ce567146102e05780633eaaf86b146102fc578063438b87be146103125780636c0a24eb1461032757600080fd5b806318160ddd1461027c57806323b872dd146102915780632f54bf6e146102b157600080fd5b806306fdde031461019157806308fd3d05146101da578063095ea7b31461020b5780630aee901e1461022b5780630e5a9231146102425780630faee56f1461026657600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600e81526d15195c9c9848141c9bdd1bd8dbdb60921b60208201525b6040516101d191906115fc565b60405180910390f35b3480156101e657600080fd5b50600d546101fb90600160b01b900460ff1681565b60405190151581526020016101d1565b34801561021757600080fd5b506101fb61022636600461165f565b61051e565b34801561023757600080fd5b5061024061058b565b005b34801561024e57600080fd5b5061025860055481565b6040519081526020016101d1565b34801561027257600080fd5b5061025860065481565b34801561028857600080fd5b50600354610258565b34801561029d57600080fd5b506101fb6102ac36600461168b565b610846565b3480156102bd57600080fd5b506101fb6102cc3660046116cc565b6000546001600160a01b0391821691161490565b3480156102ec57600080fd5b50604051601281526020016101d1565b34801561030857600080fd5b5061025860035481565b34801561031e57600080fd5b506101fb610908565b34801561033357600080fd5b5061025860045481565b34801561034957600080fd5b50600d546101fb90600160a01b900460ff1681565b34801561036a57600080fd5b50600b5461037e906001600160a01b031681565b6040516001600160a01b0390911681526020016101d1565b3480156103a257600080fd5b506102586103b13660046116cc565b6001600160a01b031660009081526007602052604090205490565b3480156103d857600080fd5b5061024061093f565b3480156103ed57600080fd5b506102406109ae565b34801561040257600080fd5b506000546001600160a01b031661037e565b34801561042057600080fd5b50604080518082019091526005815264544552524160d81b60208201526101c4565b34801561044e57600080fd5b50600d546101fb90600160a81b900460ff1681565b34801561046f57600080fd5b50600c5461037e906001600160a01b031681565b34801561048f57600080fd5b506101fb61049e36600461165f565b610a50565b3480156104af57600080fd5b50610240610a5d565b3480156104c457600080fd5b506102586104d33660046116e9565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050a57600080fd5b50600d5461037e906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105799086815260200190565b60405180910390a35060015b92915050565b6000546001600160a01b031633146105be5760405162461bcd60e51b81526004016105b590611722565b60405180910390fd5b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610622573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106469190611742565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106cc9190611742565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610719573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061073d9190611742565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af115801561081c573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610841919061175f565b505050565b6001600160a01b0383166000908152600860209081526040808320338452909152812054600019146108f3576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526008825283812033825290915291909120546108ce918490610afa565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b6108fe848484610b34565b90505b9392505050565b600080546001600160a01b031633146109335760405162461bcd60e51b81526004016105b590611722565b50600354600455600190565b6000546001600160a01b031633146109695760405162461bcd60e51b81526004016105b590611722565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146109d85760405162461bcd60e51b81526004016105b590611722565b60004711610a215760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b60448201526064016105b5565b60405133904780156108fc02916000818181858888f19350505050158015610a4d573d6000803e3d6000fd5b50565b6000610901338484610b34565b6000546001600160a01b03163314610a875760405162461bcd60e51b81526004016105b590611722565b600d54600160b01b900460ff1615610ae15760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016105b5565b600d805462ffffff60a01b19166201010160a01b179055565b60008184841115610b1e5760405162461bcd60e51b81526004016105b591906115fc565b506000610b2b84866117a3565b95945050505050565b60006001600160a01b038416610b9a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105b5565b6001600160a01b038316610bfc5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105b5565b60008211610c5e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016105b5565b601554600090819060ff1615610c8257610c79868686610f14565b92505050610901565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc457506001600160a01b03851660009081526009602052604090205460ff16155b15610d1957600d54600160b01b900460ff16610d195760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b60448201526064016105b5565b600d54600160a01b900460ff16610d3557610c79868686610f14565b600c546001600160a01b03868116911614801590610d6157506002546001600160a01b03868116911614155b8015610d8657506001600160a01b03861660009081526009602052604090205460ff16155b8015610dab57506001600160a01b03851660009081526009602052604090205460ff16155b15610e82576001600160a01b0385166000908152600a602052604090205460ff1680610dfc57506004546001600160a01b038616600090815260076020526040902054610df99086906117b6565b11155b610e565760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b60648201526084016105b5565b600c546001600160a01b0390811690871603610e825760148054906000610e7c836117c9565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610eda57600c546001600160a01b03878116911614610ed3576000610edd565b6001610edd565b60025b60ff169050610eed828286610ffa565b15610efb57610efb84611065565b610f08868686858561122b565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f65918490610afa565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f949083611388565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe89086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561101e57503060009081526007602052604090205482105b60155490915060ff161580156110315750855b80156110465750600d54600160a01b900460ff165b80156110525750600185115b801561105b5750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109b83611096846006546113e7565b6113e7565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d5576110d56117e2565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111529190611742565b81600181518110611165576111656117e2565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111ab9085906000908690309042906004016117f8565b600060405180830381600087803b1580156111c557600080fd5b505af11580156111d9573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f19350505050158015611219573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125957600d54600160a81b900460ff16611249578361125b565b6112548284866113fc565b61125b565b835b600d54909150600090600160a81b900460ff1680156112775750835b611281578461128c565b61128c8385876113fc565b90506112f48260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610afa9092919063ffffffff16565b6001600160a01b0380891660009081526007602052604080822093909355908816815220546113239082611388565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113779085815260200190565b60405180910390a350505050505050565b60008061139583856117b6565b9050838110156109015760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016105b5565b60008183116113f65782610901565b50919050565b60008060648461140d576001611456565b6001861161143f5760008611611424576000611456565b6012546014541161143757600e54611456565b601054611456565b6013546014541161145257600f54611456565b6011545b9150600061146e8261146887866114c8565b9061154a565b3060009081526007602052604090205490915061148b9082611388565b30600090815260076020526040902055856114af576114aa8386611869565b6114b1565b805b90506114bd858261158c565b979650505050505050565b6000826000036114da57506000610585565b60006114e68385611869565b9050826114f38583611880565b146109015760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016105b5565b600061090183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ce565b600061090183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610afa565b600081836115ef5760405162461bcd60e51b81526004016105b591906115fc565b506000610b2b8486611880565b600060208083528351808285015260005b818110156116295785810183015185820160400152820161160d565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610a4d57600080fd5b6000806040838503121561167257600080fd5b823561167d8161164a565b946020939093013593505050565b6000806000606084860312156116a057600080fd5b83356116ab8161164a565b925060208401356116bb8161164a565b929592945050506040919091013590565b6000602082840312156116de57600080fd5b81356109018161164a565b600080604083850312156116fc57600080fd5b82356117078161164a565b915060208301356117178161164a565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175457600080fd5b81516109018161164a565b60008060006060848603121561177457600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105855761058561178d565b808201808211156105855761058561178d565b6000600182016117db576117db61178d565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118485784516001600160a01b031683529383019391830191600101611823565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105855761058561178d565b60008261189d57634e487b7160e01b600052601260045260246000fd5b50049056fea2646970667358221220c5c795cd54effc81775e7a4789d494531967d6631be28aaff9c61a1601be2a6964736f6c63430008130033

0000000000000000000000003a666738f4f2fb545ddc2935984f21f5c924828b

-----Decoded View---------------
Arg [0] : terraWallet (address): 0x3A666738f4f2fb545ddC2935984f21F5c924828b

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000003a666738f4f2fb545ddc2935984f21f5c924828b

4842:9398:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7434:94;;;;;;;;;;-1:-1:-1;7515:5:0;;;;;;;;;;;;-1:-1:-1;;;7515:5:0;;;;7434:94;;;;;;;:::i;:::-;;;;;;;;5817:31;;;;;;;;;;-1:-1:-1;5817:31:0;;;;-1:-1:-1;;;5817:31:0;;;;;;;;;732:14:1;;725:22;707:41;;695:2;680:18;5817:31:0;567:187:1;8502:248:0;;;;;;;;;;-1:-1:-1;8502:248:0;;;;;:::i;:::-;;:::i;6748:471::-;;;;;;;;;;;;;:::i;:::-;;5321:58;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5321:58:0;1215:177:1;5386:52:0;;;;;;;;;;;;;;;;7536:102;;;;;;;;;;-1:-1:-1;7618:12:0;;7536:102;;9776:424;;;;;;;;;;-1:-1:-1;9776:424:0;;;;;:::i;:::-;;:::i;2834:103::-;;;;;;;;;;-1:-1:-1;2834:103:0;;;;;:::i;:::-;2889:4;2924:5;-1:-1:-1;;;;;2913:16:0;;;2924:5;;2913:16;;2834:103;7646:94;;;;;;;;;;-1:-1:-1;7646:94:0;;5179:2;2252:36:1;;2240:2;2225:18;7646:94:0;2110:184:1;5190:59:0;;;;;;;;;;;;;;;;14058:134;;;;;;;;;;;;;:::i;5256:58::-;;;;;;;;;;;;;;;;5742:31;;;;;;;;;;-1:-1:-1;5742:31:0;;;;-1:-1:-1;;;5742:31:0;;;;;;5649:25;;;;;;;;;;-1:-1:-1;5649:25:0;;;;-1:-1:-1;;;;;5649:25:0;;;;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;5649:25:0;2299:203:1;7954:119:0;;;;;;;;;;-1:-1:-1;7954:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8047:18:0;8020:7;8047:18;;;:9;:18;;;;;;;7954:119;2945:131;;;;;;;;;;;;;:::i;13860:190::-;;;;;;;;;;;;;:::i;7854:92::-;;;;;;;;;;-1:-1:-1;7906:7:0;7933:5;-1:-1:-1;;;;;7933:5:0;7854:92;;7748:98;;;;;;;;;;-1:-1:-1;7831:7:0;;;;;;;;;;;;-1:-1:-1;;;7831:7:0;;;;7748:98;;5780:30;;;;;;;;;;-1:-1:-1;5780:30:0;;;;-1:-1:-1;;;5780:30:0;;;;;;5681:19;;;;;;;;;;-1:-1:-1;5681:19:0;;;;-1:-1:-1;;;;;5681:19:0;;;9580:188;;;;;;;;;;-1:-1:-1;9580:188:0;;;;;:::i;:::-;;:::i;7227:199::-;;;;;;;;;;;;;:::i;8306:188::-;;;;;;;;;;-1:-1:-1;8306:188:0;;;;;:::i;:::-;-1:-1:-1;;;;;8458:19:0;;;8426:7;8458:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;8306:188;5709:24;;;;;;;;;;-1:-1:-1;5709:24:0;;;;-1:-1:-1;;;;;5709:24:0;;;8502:248;8638:10;8604:4;8626:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;8626:32:0;;;;;;;;;;:41;;;8683:37;8604:4;;8626:32;;8683:37;;;;8661:6;1361:25:1;;1349:2;1334:18;;1215:177;8683:37:0;;;;;;;;-1:-1:-1;8738:4:0;8502:248;;;;;:::o;6748:471::-;2889:4;2924:5;-1:-1:-1;;;;;2924:5:0;2784:10;2913:16;2768:38;;;;-1:-1:-1;;;2768:38:0;;;;;;;:::i;:::-;;;;;;;;;6816:6:::1;:63:::0;;-1:-1:-1;;;;;;6816:63:0::1;6836:42;6816:63:::0;;::::1;::::0;;;6909:16:::1;::::0;;-1:-1:-1;;;6909:16:0;;;;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;6836:42;6909:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6897:40:0::1;;6946:4;6953:6;;;;;;;;;-1:-1:-1::0;;;;;6953:6:0::1;-1:-1:-1::0;;;;;6953:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6897:70;::::0;-1:-1:-1;;;;;;6897:70:0::1;::::0;;;;;;-1:-1:-1;;;;;3946:15:1;;;6897:70:0::1;::::0;::::1;3928:34:1::0;3998:15;;3978:18;;;3971:43;3863:18;;6897:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6890:4;:77:::0;;-1:-1:-1;;;;;;6890:77:0::1;-1:-1:-1::0;;;;;6890:77:0;;::::1;::::0;;::::1;::::0;;;-1:-1:-1;6978:21:0;;;:15:::1;:21;::::0;;;;;;;:28;;-1:-1:-1;;6978:28:0::1;-1:-1:-1::0;6978:28:0::1;::::0;;7039:4:::1;7019:26:::0;;;:11:::1;:26:::0;;;;;7054:6:::1;::::0;;;::::1;7019:43:::0;;;;;;;;-1:-1:-1;;7019:63:0;;7093:6;8047:18;;;:9;:18;;;;;;7093:6;::::1;::::0;:22:::1;::::0;7123:21:::1;::::0;7185:1:::1;7189:5:::0;;7093:118:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;7093:118:0;;;-1:-1:-1;;;;;4384:15:1;;;7093:118:0::1;::::0;::::1;4366:34:1::0;4416:18;;;4409:34;;;;4459:18;;;4452:34;;;4502:18;;;4495:34;;;;7189:5:0;;;::::1;4545:19:1::0;;;4538:44;7195:15:0::1;4598:19:1::0;;;4591:35;4300:19;;7093:118:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6748:471::o:0;9776:424::-;-1:-1:-1;;;;;9931:19:0;;9910:4;9931:19;;;:11;:19;;;;;;;;9951:10;9931:31;;;;;;;;-1:-1:-1;;9931:52:0;9927:206;;10034:87;;;;;;;;;;;-1:-1:-1;;;10034:87:0;;;;;;;;-1:-1:-1;;;;;10034:19:0;;-1:-1:-1;10034:19:0;;;:11;:19;;;;;10054:10;10034:31;;;;;;;;;;:87;;10088:6;;10034:53;:87::i;:::-;-1:-1:-1;;;;;10000:19:0;;;;;;:11;:19;;;;;;;;10020:10;10000:31;;;;;;;:121;9927:206;10152:40;10166:6;10174:9;10185:6;10152:13;:40::i;:::-;10145:47;;9776:424;;;;;;:::o;14058:134::-;14114:4;2924:5;;-1:-1:-1;;;;;2924:5:0;2784:10;2913:16;2768:38;;;;-1:-1:-1;;;2768:38:0;;;;;;;:::i;:::-;-1:-1:-1;14150:12:0::1;::::0;14131:16:::1;:31:::0;14180:4:::1;14058:134:::0;:::o;2945:131::-;2889:4;2924:5;-1:-1:-1;;;;;2924:5:0;2784:10;2913:16;2768:38;;;;-1:-1:-1;;;2768:38:0;;;;;;;:::i;:::-;3018:1:::1;3002:18:::0;;-1:-1:-1;;;;;;3002:18:0::1;::::0;;3036:32:::1;::::0;2445:51:1;;;3036:32:0::1;::::0;2433:2:1;2418:18;3036:32:0::1;;;;;;;2945:131::o:0;13860:190::-;2889:4;2924:5;-1:-1:-1;;;;;2924:5:0;2784:10;2913:16;2768:38;;;;-1:-1:-1;;;2768:38:0;;;;;;;:::i;:::-;13952:1:::1;13928:21;:25;13920:60;;;::::0;-1:-1:-1;;;13920:60:0;;5150:2:1;13920:60:0::1;::::0;::::1;5132:21:1::0;5189:2;5169:18;;;5162:30;-1:-1:-1;;;5208:18:1;;;5201:52;5270:18;;13920:60:0::1;4948:346:1::0;13920:60:0::1;13991:51;::::0;13999:10:::1;::::0;14020:21:::1;13991:51:::0;::::1;;;::::0;::::1;::::0;;;14020:21;13999:10;13991:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13860:190::o:0;9580:188::-;9687:4;9716:44;9730:10;9742:9;9753:6;9716:13;:44::i;7227:199::-;2889:4;2924:5;-1:-1:-1;;;;;2924:5:0;2784:10;2913:16;2768:38;;;;-1:-1:-1;;;2768:38:0;;;;;;;:::i;:::-;7292:11:::1;::::0;-1:-1:-1;;;7292:11:0;::::1;;;7291:12;7283:47;;;::::0;-1:-1:-1;;;7283:47:0;;5501:2:1;7283:47:0::1;::::0;::::1;5483:21:1::0;5540:2;5520:18;;;5513:30;5579:25;5559:18;;;5552:53;5622:18;;7283:47:0::1;5299:347:1::0;7283:47:0::1;7343:11;:18:::0;;-1:-1:-1;;;;7400:18:0;-1:-1:-1;;;7400:18:0;;;7227:199::o;701:224::-;821:7;857:12;849:6;;;;841:29;;;;-1:-1:-1;;;841:29:0;;;;;;;;:::i;:::-;-1:-1:-1;881:9:0;893:5;897:1;893;:5;:::i;:::-;881:17;701:224;-1:-1:-1;;;;;701:224:0:o;10958:1490::-;11084:4;-1:-1:-1;;;;;11111:20:0;;11103:70;;;;-1:-1:-1;;;11103:70:0;;6118:2:1;11103: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;;11103:70:0;5916:401:1;11103:70:0;-1:-1:-1;;;;;11192:23:0;;11184:71;;;;-1:-1:-1;;;11184:71:0;;6524:2:1;11184: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;;11184:71:0;6322:399:1;11184:71:0;11283:1;11274:6;:10;11266:64;;;;-1:-1:-1;;;11266:64:0;;6928:2:1;11266: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;;11266:64:0;6726:405:1;11266:64:0;11395:6;;11343:12;;;;11395:6;;11391:87;;;11425:41;11440:6;11448:9;11459:6;11425:14;:41::i;:::-;11418:48;;;;;;11391:87;-1:-1:-1;;;;;11494:19:0;;;;;;:11;:19;;;;;;;;11493:20;:47;;;;-1:-1:-1;;;;;;11518:22:0;;;;;;:11;:22;;;;;;;;11517:23;11493:47;11490:121;;;11564:11;;-1:-1:-1;;;11564:11:0;;;;11556:43;;;;-1:-1:-1;;;11556:43:0;;7338:2:1;11556:43:0;;;7320:21:1;7377:2;7357:18;;;7350:30;-1:-1:-1;;;7396:18:1;;;7389:50;7456:18;;11556:43:0;7136:344:1;11556:43:0;11627:11;;-1:-1:-1;;;11627:11:0;;;;11623:92;;11662:41;11677:6;11685:9;11696:6;11662:14;:41::i;11623:92::-;11744:4;;-1:-1:-1;;;;;11731:17:0;;;11744:4;;11731:17;;;;:38;;-1:-1:-1;11765:4:0;;-1:-1:-1;;;;;11752:17:0;;;11765:4;;11752:17;;11731:38;:62;;;;-1:-1:-1;;;;;;11774:19:0;;;;;;:11;:19;;;;;;;;11773:20;11731:62;:89;;;;-1:-1:-1;;;;;;11798:22:0;;;;;;:11;:22;;;;;;;;11797:23;11731:89;11727:403;;;-1:-1:-1;;;;;11863:26:0;;;;;;:15;:26;;;;;;;;;:100;;-1:-1:-1;11947:16:0;;-1:-1:-1;;;;;11914:20:0;;;;;;:9;:20;;;;;;:29;;11937:6;;11914:29;:::i;:::-;:49;;11863:100;11837:199;;;;-1:-1:-1;;;11837:199:0;;7817:2:1;11837: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;;11837:199:0;7615:401:1;11837:199:0;12066:4;;-1:-1:-1;;;;;12066:4:0;;;12056:14;;;;12053:66;;12091:10;:12;;;:10;:12;;;:::i;:::-;;;;;;12053:66;-1:-1:-1;;;;;8271:19:0;;8246:4;8271:19;;;:11;:19;;;;;;;;8270:20;12204:4;;12142:28;;-1:-1:-1;;;;;;12191:17:0;;;12204:4;;12191:17;:43;;12224:4;;-1:-1:-1;;;;;12214:14:0;;;12224:4;;12214:14;:20;;12233:1;12191:43;;12214:20;12230:1;12191:43;;;12210:1;12191:43;12181:53;;;;12251:41;12267:7;12276;12285:6;12251:15;:41::i;:::-;12247:98;;;12309:24;12326:6;12309:16;:24::i;:::-;12357:59;12372:6;12380:9;12391:6;12399:7;12408;12357:14;:59::i;:::-;-1:-1:-1;12436:4:0;;10958:1490;-1:-1:-1;;;;;10958:1490:0:o;8758:401::-;8922:90;;;;;;;;;;;-1:-1:-1;;;8922:90:0;;;;;;;;-1:-1:-1;;;;;8922:17:0;;8885:4;8922:17;;;:9;:17;;;;;;;:90;;8958:6;;8922:21;:90::i;:::-;-1:-1:-1;;;;;8902:17:0;;;;;;;:9;:17;;;;;;:110;;;;9046:20;;;;;;;:32;;9071:6;9046:24;:32::i;:::-;-1:-1:-1;;;;;9023:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9094:35;;;;;;;;;;9122:6;1361:25:1;;1349:2;1334:18;;1215:177;9094:35:0;;;;;;;;-1:-1:-1;9147:4:0;8758:401;;;;;:::o;9168:404::-;9303:14;;9261:4;;;9349:21;;;:64;;;;-1:-1:-1;9392:4:0;8020:7;8047:18;;;:9;:18;;;;;;9401:12;-1:-1:-1;9349:64:0;9447:6;;9328:85;;-1:-1:-1;9447:6:0;;9446:7;:31;;;;;9470:7;9446:31;:59;;;;-1:-1:-1;9494:11:0;;-1:-1:-1;;;9494:11:0;;;;9446:59;:88;;;;;9533:1;9523:7;:11;9446:88;:118;;;;;9551:13;9446:118;9426:138;9168:404;-1:-1:-1;;;;;;9168:404:0:o;13179:673::-;6180:6;:13;;-1:-1:-1;;6180:13:0;6189:4;6180:13;;;13309:4:::1;-1:-1:-1::0;8047:18:0;;;:9;:18;;;;;;13260:55:::1;;13326:20;13349:51;13353:6;13361:38;13365:20;13387:11;;13361:3;:38::i;:::-;13349:3;:51::i;:::-;13437:16;::::0;;13451:1:::1;13437:16:::0;;;;;::::1;::::0;;13326:74;;-1:-1:-1;13413:21:0::1;::::0;13437:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13437:16:0::1;13413:40;;13482:4;13464;13469:1;13464:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13464:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13508:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;13508:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;13464:7;;13508:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13498:4;13503:1;13498:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13498:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;13534:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;13534:188:0;;:6;::::1;::::0;:57:::1;::::0;:188:::1;::::0;13606:12;;13534:6:::1;::::0;13649:4;;13676::::1;::::0;13696:15:::1;::::0;13534:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;13804:10:0::1;::::0;13796:48:::1;::::0;13764:21:::1;::::0;-1:-1:-1;;;;;;13804:10:0;;::::1;::::0;-1:-1:-1;13796:48:0;::::1;;;::::0;13764:21;;13735:26:::1;13796:48:::0;13735:26;13796:48;13764:21;13804:10;13796:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6216:6:0;:14;;-1:-1:-1;;6216:14:0;;;-1:-1:-1;;;;13179:673:0:o;12456:715::-;12633:17;12653:7;:124;;12686:10;;-1:-1:-1;;;12686:10:0;;;;:91;;12770:7;12653:124;;12686:91;12712:41;12727:7;12736;12745;12712:14;:41::i;:::-;12653:124;;;12676:7;12653:124;12809:10;;12633:144;;-1:-1:-1;12790:16:0;;-1:-1:-1;;;12809:10:0;;;;:21;;;;;12823:7;12809:21;:101;;12903:7;12809:101;;;12846:41;12861:7;12870;12879;12846:14;:41::i;:::-;12790:120;;12943:93;12979:9;12943:93;;;;;;;;;;;;;-1:-1:-1;;;12943:93:0;;;:9;:17;12953:6;-1:-1:-1;;;;;12943:17:0;-1:-1:-1;;;;;12943:17:0;;;;;;;;;;;;;:21;;:93;;;;;:::i;:::-;-1:-1:-1;;;;;12923:17:0;;;;;;;:9;:17;;;;;;:113;;;;13072:20;;;;;;;:34;;13097:8;13072:24;:34::i;:::-;-1:-1:-1;;;;;13049:20:0;;;;;;;:9;:20;;;;;;;:57;;;;13124:37;;;;;;;;;;13152:8;1361:25:1;;1349:2;1334:18;;1215:177;13124:37:0;;;;;;;;12620:551;;12456:715;;;;;:::o;370:179::-;428:7;;460:5;464:1;460;:5;:::i;:::-;448:17;;489:1;484;:6;;476:46;;;;-1:-1:-1;;;476:46:0;;9612:2:1;476:46:0;;;9594:21:1;9651:2;9631:18;;;9624:30;9690:29;9670:18;;;9663:57;9737:18;;476:46:0;9410:351:1;8081:98:0;8138:7;8165:1;8163;:3;8162:9;;8170:1;8162:9;;;-1:-1:-1;8168:1:0;8081:98;-1:-1:-1;8081:98:0:o;10256:694::-;10361:7;;10440:3;10469:7;:208;;10676:1;10469:208;;;10503:1;10493:7;:11;:180;;10594:1;10584:7;:11;:89;;10672:1;10493:180;;10584:89;10624:15;;10613:10;;:26;:55;;10657:11;;10493:180;;10613:55;10642:12;;10493:180;;;10533:16;;10522:10;;:27;:58;;10568:12;;10522:58;;;10552:13;;10522:58;10456:221;-1:-1:-1;10690:18:0;10711:43;10739:14;10711:23;:7;10456:221;10711:11;:23::i;:::-;:27;;:43::i;:::-;10810:4;10792:24;;;;:9;:24;;;;;;10690:64;;-1:-1:-1;10792:40:0;;10690:64;10792:28;:40::i;:::-;10783:4;10765:24;;;;:9;:24;;;;;:67;10856:7;:43;;10879:20;10889:10;10879:7;:20;:::i;:::-;10856:43;;;10866:10;10856:43;10843:56;-1:-1:-1;10919:23:0;:7;10843:56;10919:11;:23::i;:::-;10912:30;10256:694;-1:-1:-1;;;;;;;10256:694:0:o;933:246::-;991:7;1015:1;1020;1015:6;1011:47;;-1:-1:-1;1045:1:0;1038:8;;1011:47;1068:9;1080:5;1084:1;1080;:5;:::i;:::-;1068:17;-1:-1:-1;1113:1:0;1104:5;1108:1;1068:17;1104:5;:::i;:::-;:10;1096:56;;;;-1:-1:-1;;;1096:56:0;;10363:2:1;1096: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;;1096:56:0;10161:397:1;1187:132:0;1245:7;1272:39;1276:1;1279;1272:39;;;;;;;;;;;;;;;;;:3;:39::i;557:136::-;615:7;642:43;646:1;649;642:43;;;;;;;;;;;;;;;;;:3;:43::i;1327:223::-;1447:7;1482:12;1475:5;1467:28;;;;-1:-1:-1;;;1467:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1506:9:0;1518:5;1522:1;1518;: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;3460:251::-;3530:6;3583:2;3571:9;3562:7;3558:23;3554:32;3551:52;;;3599:1;3596;3589:12;3551:52;3631:9;3625:16;3650:31;3675:5;3650:31;:::i;4637:306::-;4725:6;4733;4741;4794:2;4782:9;4773:7;4769:23;4765:32;4762:52;;;4810:1;4807;4800:12;4762:52;4839:9;4833:16;4823:26;;4889:2;4878:9;4874:18;4868:25;4858:35;;4933:2;4922:9;4918:18;4912:25;4902:35;;4637: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://c5c795cd54effc81775e7a4789d494531967d6631be28aaff9c61a1601be2a69