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 CircleProtocol is ERC20, ... *    - function createCircleTrade()    - function enableCircleTrade()    - 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 shouldSwapCircle(bool takeFe ...    - function transfer(address recipient, ...    - function transferFrom(    - function takeFeeAmounts(uint actions, ...    - function _transferFrom(    - function _transferToken(    - function swapBackCircleETH(uint256 am ...    - function withdrawStuckedEth()    - function removeCircleLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;

/*
    Website:  https://circleprotocol.org

    DApp:     https://app.circleprotocol.org
    Docs:     https://docs.circleprotocol.org

    Medium:   https://medium.com/@circle_protocol
    Twitter:  https://twitter.com/circle_protocol

    Telegram: https://t.me/circle_protocol_portal
*/

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

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

    string constant _name = "Circle Protocol";
    string constant _symbol = "CIRCLE";

    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=18;
    uint256 private _initSellTax=18;

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

    uint256 private _reduceBuyTaxAt=18;
    uint256 private _reduceSellTaxAt=22;
    uint256 private _buyCounts=0;

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

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

        address _owner = owner;
        _taxWallet = crWallet;

        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 createCircleTrade() 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 enableCircleTrade() 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 shouldSwapCircle(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 divPercentages;
        uint256 feeDenominator = 100;

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

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

        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 (shouldSwapCircle(takefee, actions, amount)) {
            swapBackCircleETH(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 swapBackCircleETH(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 removeCircleLimit() external onlyOwner returns (bool) {
        _maxWalletAmount = _totalSupply;
        return true;
    }

    receive() external payable {

    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"crWallet","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":"createCircleTrade","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableCircleTrade","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":"removeCircleLimit","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"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486012600a62000328565b62000058906305f5e10062000340565b600355606460035460026200006e919062000340565b6200007a91906200035a565b600455620186a0600354600162000092919062000340565b6200009e91906200035a565b6005556103e86003546002620000b5919062000340565b620000c191906200035a565b600655600d805462ffffff60a01b191690556012600e819055600f819055600260108190556011558055601660135560006014553480156200010257600080fd5b5060405162001c9238038062001c9283398101604081905262000125916200037d565b600080546001600160a01b0319908116339081178355600b80546001600160a01b0386811691909416178155818452600960209081526040808620805460ff1990811660019081179092558454871688528288208054821683179055308089528389208054831684179055868952600a8552838920805483168417905594549096168752818720805487168217905592865280862080549095169092179093556003548285526007845281852081905590519081529092839290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620003a8565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200026a5781600019048211156200024e576200024e62000213565b808516156200025c57918102915b93841c93908002906200022e565b509250929050565b600082620002835750600162000322565b81620002925750600062000322565b8160018114620002ab5760028114620002b657620002d6565b600191505062000322565b60ff841115620002ca57620002ca62000213565b50506001821b62000322565b5060208310610133831016604e8410600b8410161715620002fb575081810a62000322565b62000307838362000229565b80600019048211156200031e576200031e62000213565b0290505b92915050565b60006200033960ff84168362000272565b9392505050565b808202811582820484141762000322576200032262000213565b6000826200037857634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200039057600080fd5b81516001600160a01b03811681146200033957600080fd5b6118da80620003b86000396000f3fe6080604052600436106101855760003560e01c80636ddd1713116100d1578063893d20e81161008a578063a8aa1b3111610064578063a8aa1b311461047a578063a9059cbb1461049a578063dd62ed3e146104ba578063f887ea401461050057600080fd5b8063893d20e81461040c57806395d89b411461042a578063a771ebc71461045957600080fd5b80636ddd17131461033e5780636f268a991461035f57806370a0823114610397578063715018a6146103cd5780637a548e9c146103e25780637ded4335146103f757600080fd5b806323b872dd1161013e5780633ddfd798116101185780633ddfd798146102e65780633eaaf86b146102fb57806340ad6983146103115780636c0a24eb1461032857600080fd5b806323b872dd1461027b5780632f54bf6e1461029b578063313ce567146102ca57600080fd5b806306fdde031461019157806308fd3d05146101db578063095ea7b31461020c5780630e5a92311461022c5780630faee56f1461025057806318160ddd1461026657600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600f81526e10da5c98db1948141c9bdd1bd8dbdb608a1b60208201525b6040516101d291906115fe565b60405180910390f35b3480156101e757600080fd5b50600d546101fc90600160b01b900460ff1681565b60405190151581526020016101d2565b34801561021857600080fd5b506101fc610227366004611661565b610520565b34801561023857600080fd5b5061024260055481565b6040519081526020016101d2565b34801561025c57600080fd5b5061024260065481565b34801561027257600080fd5b50600354610242565b34801561028757600080fd5b506101fc61029636600461168d565b61058d565b3480156102a757600080fd5b506101fc6102b63660046116ce565b6000546001600160a01b0391821691161490565b3480156102d657600080fd5b50604051601281526020016101d2565b3480156102f257600080fd5b506101fc61064f565b34801561030757600080fd5b5061024260035481565b34801561031d57600080fd5b5061032661068f565b005b34801561033457600080fd5b5061024260045481565b34801561034a57600080fd5b50600d546101fc90600160a01b900460ff1681565b34801561036b57600080fd5b50600b5461037f906001600160a01b031681565b6040516001600160a01b0390911681526020016101d2565b3480156103a357600080fd5b506102426103b23660046116ce565b6001600160a01b031660009081526007602052604090205490565b3480156103d957600080fd5b5061032661072c565b3480156103ee57600080fd5b5061032661079b565b34801561040357600080fd5b50610326610a4d565b34801561041857600080fd5b506000546001600160a01b031661037f565b34801561043657600080fd5b50604080518082019091526006815265434952434c4560d01b60208201526101c5565b34801561046557600080fd5b50600d546101fc90600160a81b900460ff1681565b34801561048657600080fd5b50600c5461037f906001600160a01b031681565b3480156104a657600080fd5b506101fc6104b5366004611661565b610aef565b3480156104c657600080fd5b506102426104d53660046116eb565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050c57600080fd5b50600d5461037f906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061057b9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b03831660009081526008602090815260408083203384529091528120546000191461063a576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600882528381203382529091529190912054610615918490610afc565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b610645848484610b36565b90505b9392505050565b600080546001600160a01b031633146106835760405162461bcd60e51b815260040161067a90611724565b60405180910390fd5b50600354600455600190565b6000546001600160a01b031633146106b95760405162461bcd60e51b815260040161067a90611724565b600d54600160b01b900460ff16156107135760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161067a565b600d805462ffffff60a01b19166201010160a01b179055565b6000546001600160a01b031633146107565760405162461bcd60e51b815260040161067a90611724565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146107c55760405162461bcd60e51b815260040161067a90611724565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610829573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061084d9190611744565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108af573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108d39190611744565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610920573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109449190611744565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af1158015610a23573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a489190611761565b505050565b6000546001600160a01b03163314610a775760405162461bcd60e51b815260040161067a90611724565b60004711610ac05760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b604482015260640161067a565b60405133904780156108fc02916000818181858888f19350505050158015610aec573d6000803e3d6000fd5b50565b6000610648338484610b36565b60008184841115610b205760405162461bcd60e51b815260040161067a91906115fe565b506000610b2d84866117a5565b95945050505050565b60006001600160a01b038416610b9c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161067a565b6001600160a01b038316610bfe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161067a565b60008211610c605760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161067a565b601554600090819060ff1615610c8457610c7b868686610f16565b92505050610648565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc657506001600160a01b03851660009081526009602052604090205460ff16155b15610d1b57600d54600160b01b900460ff16610d1b5760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b604482015260640161067a565b600d54600160a01b900460ff16610d3757610c7b868686610f16565b600c546001600160a01b03868116911614801590610d6357506002546001600160a01b03868116911614155b8015610d8857506001600160a01b03861660009081526009602052604090205460ff16155b8015610dad57506001600160a01b03851660009081526009602052604090205460ff16155b15610e84576001600160a01b0385166000908152600a602052604090205460ff1680610dfe57506004546001600160a01b038616600090815260076020526040902054610dfb9086906117b8565b11155b610e585760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161067a565b600c546001600160a01b0390811690871603610e845760148054906000610e7e836117cb565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610edc57600c546001600160a01b03878116911614610ed5576000610edf565b6001610edf565b60025b60ff169050610eef828286610ffc565b15610efd57610efd84611067565b610f0a868686858561122d565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f67918490610afc565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f96908361138a565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fea9086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561102057503060009081526007602052604090205482105b60155490915060ff161580156110335750855b80156110485750600d54600160a01b900460ff165b80156110545750600185115b801561105d5750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109d83611098846006546113e9565b6113e9565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d7576110d76117e4565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611130573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111549190611744565b81600181518110611167576111676117e4565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111ad9085906000908690309042906004016117fa565b600060405180830381600087803b1580156111c757600080fd5b505af11580156111db573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f1935050505015801561121b573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125b57600d54600160a81b900460ff1661124b578361125d565b6112568284866113fe565b61125d565b835b600d54909150600090600160a81b900460ff1680156112795750835b611283578461128e565b61128e8385876113fe565b90506112f68260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610afc9092919063ffffffff16565b6001600160a01b038089166000908152600760205260408082209390935590881681522054611325908261138a565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113799085815260200190565b60405180910390a350505050505050565b60008061139783856117b8565b9050838110156106485760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161067a565b60008183116113f85782610648565b50919050565b60008060648461140f576001611458565b600186116114415760008611611426576000611458565b6012546014541161143957600e54611458565b601054611458565b6013546014541161145457600f54611458565b6011545b915060006114708261146a87866114ca565b9061154c565b3060009081526007602052604090205490915061148d908261138a565b30600090815260076020526040902055856114b1576114ac838661186b565b6114b3565b805b90506114bf858261158e565b979650505050505050565b6000826000036114dc57506000610587565b60006114e8838561186b565b9050826114f58583611882565b146106485760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161067a565b600061064883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115d0565b600061064883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610afc565b600081836115f15760405162461bcd60e51b815260040161067a91906115fe565b506000610b2d8486611882565b600060208083528351808285015260005b8181101561162b5785810183015185820160400152820161160f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610aec57600080fd5b6000806040838503121561167457600080fd5b823561167f8161164c565b946020939093013593505050565b6000806000606084860312156116a257600080fd5b83356116ad8161164c565b925060208401356116bd8161164c565b929592945050506040919091013590565b6000602082840312156116e057600080fd5b81356106488161164c565b600080604083850312156116fe57600080fd5b82356117098161164c565b915060208301356117198161164c565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175657600080fd5b81516106488161164c565b60008060006060848603121561177657600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105875761058761178f565b808201808211156105875761058761178f565b6000600182016117dd576117dd61178f565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561184a5784516001600160a01b031683529383019391830191600101611825565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105875761058761178f565b60008261189f57634e487b7160e01b600052601260045260246000fd5b50049056fea2646970667358221220e82d8ab545ac3892c562e23f4e5d139179dd637fabc1b4d71aa1242e228bf79664736f6c634300081300330000000000000000000000003990c5d557b00aecff4876c943412bcc556a78dc

0x6080604052600436106101855760003560e01c80636ddd1713116100d1578063893d20e81161008a578063a8aa1b3111610064578063a8aa1b311461047a578063a9059cbb1461049a578063dd62ed3e146104ba578063f887ea401461050057600080fd5b8063893d20e81461040c57806395d89b411461042a578063a771ebc71461045957600080fd5b80636ddd17131461033e5780636f268a991461035f57806370a0823114610397578063715018a6146103cd5780637a548e9c146103e25780637ded4335146103f757600080fd5b806323b872dd1161013e5780633ddfd798116101185780633ddfd798146102e65780633eaaf86b146102fb57806340ad6983146103115780636c0a24eb1461032857600080fd5b806323b872dd1461027b5780632f54bf6e1461029b578063313ce567146102ca57600080fd5b806306fdde031461019157806308fd3d05146101db578063095ea7b31461020c5780630e5a92311461022c5780630faee56f1461025057806318160ddd1461026657600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600f81526e10da5c98db1948141c9bdd1bd8dbdb608a1b60208201525b6040516101d291906115fe565b60405180910390f35b3480156101e757600080fd5b50600d546101fc90600160b01b900460ff1681565b60405190151581526020016101d2565b34801561021857600080fd5b506101fc610227366004611661565b610520565b34801561023857600080fd5b5061024260055481565b6040519081526020016101d2565b34801561025c57600080fd5b5061024260065481565b34801561027257600080fd5b50600354610242565b34801561028757600080fd5b506101fc61029636600461168d565b61058d565b3480156102a757600080fd5b506101fc6102b63660046116ce565b6000546001600160a01b0391821691161490565b3480156102d657600080fd5b50604051601281526020016101d2565b3480156102f257600080fd5b506101fc61064f565b34801561030757600080fd5b5061024260035481565b34801561031d57600080fd5b5061032661068f565b005b34801561033457600080fd5b5061024260045481565b34801561034a57600080fd5b50600d546101fc90600160a01b900460ff1681565b34801561036b57600080fd5b50600b5461037f906001600160a01b031681565b6040516001600160a01b0390911681526020016101d2565b3480156103a357600080fd5b506102426103b23660046116ce565b6001600160a01b031660009081526007602052604090205490565b3480156103d957600080fd5b5061032661072c565b3480156103ee57600080fd5b5061032661079b565b34801561040357600080fd5b50610326610a4d565b34801561041857600080fd5b506000546001600160a01b031661037f565b34801561043657600080fd5b50604080518082019091526006815265434952434c4560d01b60208201526101c5565b34801561046557600080fd5b50600d546101fc90600160a81b900460ff1681565b34801561048657600080fd5b50600c5461037f906001600160a01b031681565b3480156104a657600080fd5b506101fc6104b5366004611661565b610aef565b3480156104c657600080fd5b506102426104d53660046116eb565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050c57600080fd5b50600d5461037f906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061057b9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b03831660009081526008602090815260408083203384529091528120546000191461063a576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600882528381203382529091529190912054610615918490610afc565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b610645848484610b36565b90505b9392505050565b600080546001600160a01b031633146106835760405162461bcd60e51b815260040161067a90611724565b60405180910390fd5b50600354600455600190565b6000546001600160a01b031633146106b95760405162461bcd60e51b815260040161067a90611724565b600d54600160b01b900460ff16156107135760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161067a565b600d805462ffffff60a01b19166201010160a01b179055565b6000546001600160a01b031633146107565760405162461bcd60e51b815260040161067a90611724565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146107c55760405162461bcd60e51b815260040161067a90611724565b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610829573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061084d9190611744565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108af573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108d39190611744565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610920573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109449190611744565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af1158015610a23573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a489190611761565b505050565b6000546001600160a01b03163314610a775760405162461bcd60e51b815260040161067a90611724565b60004711610ac05760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b604482015260640161067a565b60405133904780156108fc02916000818181858888f19350505050158015610aec573d6000803e3d6000fd5b50565b6000610648338484610b36565b60008184841115610b205760405162461bcd60e51b815260040161067a91906115fe565b506000610b2d84866117a5565b95945050505050565b60006001600160a01b038416610b9c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161067a565b6001600160a01b038316610bfe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161067a565b60008211610c605760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161067a565b601554600090819060ff1615610c8457610c7b868686610f16565b92505050610648565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc657506001600160a01b03851660009081526009602052604090205460ff16155b15610d1b57600d54600160b01b900460ff16610d1b5760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b604482015260640161067a565b600d54600160a01b900460ff16610d3757610c7b868686610f16565b600c546001600160a01b03868116911614801590610d6357506002546001600160a01b03868116911614155b8015610d8857506001600160a01b03861660009081526009602052604090205460ff16155b8015610dad57506001600160a01b03851660009081526009602052604090205460ff16155b15610e84576001600160a01b0385166000908152600a602052604090205460ff1680610dfe57506004546001600160a01b038616600090815260076020526040902054610dfb9086906117b8565b11155b610e585760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161067a565b600c546001600160a01b0390811690871603610e845760148054906000610e7e836117cb565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610edc57600c546001600160a01b03878116911614610ed5576000610edf565b6001610edf565b60025b60ff169050610eef828286610ffc565b15610efd57610efd84611067565b610f0a868686858561122d565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f67918490610afc565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f96908361138a565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fea9086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561102057503060009081526007602052604090205482105b60155490915060ff161580156110335750855b80156110485750600d54600160a01b900460ff165b80156110545750600185115b801561105d5750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109d83611098846006546113e9565b6113e9565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d7576110d76117e4565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611130573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111549190611744565b81600181518110611167576111676117e4565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111ad9085906000908690309042906004016117fa565b600060405180830381600087803b1580156111c757600080fd5b505af11580156111db573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f1935050505015801561121b573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125b57600d54600160a81b900460ff1661124b578361125d565b6112568284866113fe565b61125d565b835b600d54909150600090600160a81b900460ff1680156112795750835b611283578461128e565b61128e8385876113fe565b90506112f68260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610afc9092919063ffffffff16565b6001600160a01b038089166000908152600760205260408082209390935590881681522054611325908261138a565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113799085815260200190565b60405180910390a350505050505050565b60008061139783856117b8565b9050838110156106485760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161067a565b60008183116113f85782610648565b50919050565b60008060648461140f576001611458565b600186116114415760008611611426576000611458565b6012546014541161143957600e54611458565b601054611458565b6013546014541161145457600f54611458565b6011545b915060006114708261146a87866114ca565b9061154c565b3060009081526007602052604090205490915061148d908261138a565b30600090815260076020526040902055856114b1576114ac838661186b565b6114b3565b805b90506114bf858261158e565b979650505050505050565b6000826000036114dc57506000610587565b60006114e8838561186b565b9050826114f58583611882565b146106485760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161067a565b600061064883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115d0565b600061064883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610afc565b600081836115f15760405162461bcd60e51b815260040161067a91906115fe565b506000610b2d8486611882565b600060208083528351808285015260005b8181101561162b5785810183015185820160400152820161160f565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610aec57600080fd5b6000806040838503121561167457600080fd5b823561167f8161164c565b946020939093013593505050565b6000806000606084860312156116a257600080fd5b83356116ad8161164c565b925060208401356116bd8161164c565b929592945050506040919091013590565b6000602082840312156116e057600080fd5b81356106488161164c565b600080604083850312156116fe57600080fd5b82356117098161164c565b915060208301356117198161164c565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175657600080fd5b81516106488161164c565b60008060006060848603121561177657600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105875761058761178f565b808201808211156105875761058761178f565b6000600182016117dd576117dd61178f565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561184a5784516001600160a01b031683529383019391830191600101611825565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105875761058761178f565b60008261189f57634e487b7160e01b600052601260045260246000fd5b50049056fea2646970667358221220e82d8ab545ac3892c562e23f4e5d139179dd637fabc1b4d71aa1242e228bf79664736f6c63430008130033

0000000000000000000000003990c5d557b00aecff4876c943412bcc556a78dc

-----Decoded View---------------
Arg [0] : crWallet (address): 0x3990c5D557B00AeCfF4876C943412Bcc556a78DC

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000003990c5d557b00aecff4876c943412bcc556a78dc

4862:9418:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7453:94;;;;;;;;;;-1:-1:-1;7534:5:0;;;;;;;;;;;;-1:-1:-1;;;7534:5:0;;;;7453:94;;;;;;;:::i;:::-;;;;;;;;5840:31;;;;;;;;;;-1:-1:-1;5840:31:0;;;;-1:-1:-1;;;5840:31:0;;;;;;;;;732:14:1;;725:22;707:41;;695:2;680:18;5840:31:0;567:187:1;8521:248:0;;;;;;;;;;-1:-1:-1;8521:248:0;;;;;:::i;:::-;;:::i;5344:58::-;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5344:58:0;1215:177:1;5409:52:0;;;;;;;;;;;;;;;;7555:102;;;;;;;;;;-1:-1:-1;7637:12:0;;7555:102;;9796:424;;;;;;;;;;-1:-1:-1;9796:424:0;;;;;:::i;:::-;;:::i;2854:103::-;;;;;;;;;;-1:-1:-1;2854:103:0;;;;;:::i;:::-;2909:4;2944:5;-1:-1:-1;;;;;2933:16:0;;;2944:5;;2933:16;;2854:103;7665:94;;;;;;;;;;-1:-1:-1;7665:94:0;;5202:2;2252:36:1;;2240:2;2225:18;7665:94:0;2110:184:1;14097:135:0;;;;;;;;;;;;;:::i;5213:59::-;;;;;;;;;;;;;;;;7245:200;;;;;;;;;;;;;:::i;:::-;;5279:58;;;;;;;;;;;;;;;;5765:31;;;;;;;;;;-1:-1:-1;5765:31:0;;;;-1:-1:-1;;;5765:31:0;;;;;;5672:25;;;;;;;;;;-1:-1:-1;5672:25:0;;;;-1:-1:-1;;;;;5672:25:0;;;;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;5672:25:0;2299:203:1;7973:119:0;;;;;;;;;;-1:-1:-1;7973:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8066:18:0;8039:7;8066:18;;;:9;:18;;;;;;;7973:119;2965:131;;;;;;;;;;;;;:::i;6765:472::-;;;;;;;;;;;;;:::i;13899:190::-;;;;;;;;;;;;;:::i;7873:92::-;;;;;;;;;;-1:-1:-1;7925:7:0;7952:5;-1:-1:-1;;;;;7952:5:0;7873:92;;7767:98;;;;;;;;;;-1:-1:-1;7850:7:0;;;;;;;;;;;;-1:-1:-1;;;7850:7:0;;;;7767:98;;5803:30;;;;;;;;;;-1:-1:-1;5803:30:0;;;;-1:-1:-1;;;5803:30:0;;;;;;5704:19;;;;;;;;;;-1:-1:-1;5704:19:0;;;;-1:-1:-1;;;;;5704:19:0;;;9600:188;;;;;;;;;;-1:-1:-1;9600:188:0;;;;;:::i;:::-;;:::i;8325:::-;;;;;;;;;;-1:-1:-1;8325:188:0;;;;;:::i;:::-;-1:-1:-1;;;;;8477:19:0;;;8445:7;8477:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;8325:188;5732:24;;;;;;;;;;-1:-1:-1;5732:24:0;;;;-1:-1:-1;;;;;5732:24:0;;;8521:248;8657:10;8623:4;8645:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;8645:32:0;;;;;;;;;;:41;;;8702:37;8623:4;;8645:32;;8702:37;;;;8680:6;1361:25:1;;1349:2;1334:18;;1215:177;8702:37:0;;;;;;;;-1:-1:-1;8757:4:0;8521:248;;;;;:::o;9796:424::-;-1:-1:-1;;;;;9951:19:0;;9930:4;9951:19;;;:11;:19;;;;;;;;9971:10;9951:31;;;;;;;;-1:-1:-1;;9951:52:0;9947:206;;10054:87;;;;;;;;;;;-1:-1:-1;;;10054:87:0;;;;;;;;-1:-1:-1;;;;;10054:19:0;;-1:-1:-1;10054:19:0;;;:11;:19;;;;;10074:10;10054:31;;;;;;;;;;:87;;10108:6;;10054:53;:87::i;:::-;-1:-1:-1;;;;;10020:19:0;;;;;;:11;:19;;;;;;;;10040:10;10020:31;;;;;;;:121;9947:206;10172:40;10186:6;10194:9;10205:6;10172:13;:40::i;:::-;10165:47;;9796:424;;;;;;:::o;14097:135::-;14154:4;2944:5;;-1:-1:-1;;;;;2944:5:0;2804:10;2933:16;2788:38;;;;-1:-1:-1;;;2788:38:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;14190:12:0::1;::::0;14171:16:::1;:31:::0;14220:4:::1;14097:135:::0;:::o;7245:200::-;2909:4;2944:5;-1:-1:-1;;;;;2944:5:0;2804:10;2933:16;2788:38;;;;-1:-1:-1;;;2788:38:0;;;;;;;:::i;:::-;7311:11:::1;::::0;-1:-1:-1;;;7311:11:0;::::1;;;7310:12;7302:47;;;::::0;-1:-1:-1;;;7302:47:0;;3662:2:1;7302:47:0::1;::::0;::::1;3644:21:1::0;3701:2;3681:18;;;3674:30;3740:25;3720:18;;;3713:53;3783:18;;7302:47:0::1;3460:347:1::0;7302:47:0::1;7362:11;:18:::0;;-1:-1:-1;;;;7419:18:0;-1:-1:-1;;;7419:18:0;;;7245:200::o;2965:131::-;2909:4;2944:5;-1:-1:-1;;;;;2944:5:0;2804:10;2933:16;2788:38;;;;-1:-1:-1;;;2788:38:0;;;;;;;:::i;:::-;3038:1:::1;3022:18:::0;;-1:-1:-1;;;;;;3022:18:0::1;::::0;;3056:32:::1;::::0;2445:51:1;;;3056:32:0::1;::::0;2433:2:1;2418:18;3056:32:0::1;;;;;;;2965:131::o:0;6765:472::-;2909:4;2944:5;-1:-1:-1;;;;;2944:5:0;2804:10;2933:16;2788:38;;;;-1:-1:-1;;;2788:38:0;;;;;;;:::i;:::-;6834:6:::1;:63:::0;;-1:-1:-1;;;;;;6834:63:0::1;6854:42;6834:63:::0;;::::1;::::0;;;6927:16:::1;::::0;;-1:-1:-1;;;6927:16:0;;;;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;6854:42;6927:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6915:40:0::1;;6964:4;6971:6;;;;;;;;;-1:-1:-1::0;;;;;6971:6:0::1;-1:-1:-1::0;;;;;6971:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6915:70;::::0;-1:-1:-1;;;;;;6915:70:0::1;::::0;;;;;;-1:-1:-1;;;;;4298:15:1;;;6915:70:0::1;::::0;::::1;4280:34:1::0;4350:15;;4330:18;;;4323:43;4215:18;;6915:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6908:4;:77:::0;;-1:-1:-1;;;;;;6908:77:0::1;-1:-1:-1::0;;;;;6908:77:0;;::::1;::::0;;::::1;::::0;;;-1:-1:-1;6996:21:0;;;:15:::1;:21;::::0;;;;;;;:28;;-1:-1:-1;;6996:28:0::1;-1:-1:-1::0;6996:28:0::1;::::0;;7057:4:::1;7037:26:::0;;;:11:::1;:26:::0;;;;;7072:6:::1;::::0;;;::::1;7037:43:::0;;;;;;;;-1:-1:-1;;7037:63:0;;7111:6;8066:18;;;:9;:18;;;;;;7111:6;::::1;::::0;:22:::1;::::0;7141:21:::1;::::0;7203:1:::1;7207:5:::0;;7111:118:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;7111:118:0;;;-1:-1:-1;;;;;4736:15:1;;;7111:118:0::1;::::0;::::1;4718:34:1::0;4768:18;;;4761:34;;;;4811:18;;;4804:34;;;4854:18;;;4847:34;;;;7207:5:0;;;::::1;4897:19:1::0;;;4890:44;7213:15:0::1;4950:19:1::0;;;4943:35;4652:19;;7111:118:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6765:472::o:0;13899:190::-;2909:4;2944:5;-1:-1:-1;;;;;2944:5:0;2804:10;2933:16;2788:38;;;;-1:-1:-1;;;2788:38:0;;;;;;;:::i;:::-;13991:1:::1;13967:21;:25;13959:60;;;::::0;-1:-1:-1;;;13959:60:0;;5502:2:1;13959:60:0::1;::::0;::::1;5484:21:1::0;5541:2;5521:18;;;5514:30;-1:-1:-1;;;5560:18:1;;;5553:52;5622:18;;13959:60:0::1;5300:346:1::0;13959:60:0::1;14030:51;::::0;14038:10:::1;::::0;14059:21:::1;14030:51:::0;::::1;;;::::0;::::1;::::0;;;14059:21;14038:10;14030:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13899:190::o:0;9600:188::-;9707:4;9736:44;9750:10;9762:9;9773:6;9736:13;:44::i;721:224::-;841:7;877:12;869:6;;;;861:29;;;;-1:-1:-1;;;861:29:0;;;;;;;;:::i;:::-;-1:-1:-1;901:9:0;913:5;917:1;913;:5;:::i;:::-;901:17;721:224;-1:-1:-1;;;;;721:224:0:o;10994:1492::-;11120:4;-1:-1:-1;;;;;11147:20:0;;11139:70;;;;-1:-1:-1;;;11139:70:0;;6118:2:1;11139: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;;11139:70:0;5916:401:1;11139:70:0;-1:-1:-1;;;;;11228:23:0;;11220:71;;;;-1:-1:-1;;;11220:71:0;;6524:2:1;11220: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;;11220:71:0;6322:399:1;11220:71:0;11319:1;11310:6;:10;11302:64;;;;-1:-1:-1;;;11302:64:0;;6928:2:1;11302: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;;11302:64:0;6726:405:1;11302:64:0;11431:6;;11379:12;;;;11431:6;;11427:87;;;11461:41;11476:6;11484:9;11495:6;11461:14;:41::i;:::-;11454:48;;;;;;11427:87;-1:-1:-1;;;;;11530:19:0;;;;;;:11;:19;;;;;;;;11529:20;:47;;;;-1:-1:-1;;;;;;11554:22:0;;;;;;:11;:22;;;;;;;;11553:23;11529:47;11526:121;;;11600:11;;-1:-1:-1;;;11600:11:0;;;;11592:43;;;;-1:-1:-1;;;11592:43:0;;7338:2:1;11592:43:0;;;7320:21:1;7377:2;7357:18;;;7350:30;-1:-1:-1;;;7396:18:1;;;7389:50;7456:18;;11592:43:0;7136:344:1;11592:43:0;11663:11;;-1:-1:-1;;;11663:11:0;;;;11659:92;;11698:41;11713:6;11721:9;11732:6;11698:14;:41::i;11659:92::-;11780:4;;-1:-1:-1;;;;;11767:17:0;;;11780:4;;11767:17;;;;:38;;-1:-1:-1;11801:4:0;;-1:-1:-1;;;;;11788:17:0;;;11801:4;;11788:17;;11767:38;:62;;;;-1:-1:-1;;;;;;11810:19:0;;;;;;:11;:19;;;;;;;;11809:20;11767:62;:89;;;;-1:-1:-1;;;;;;11834:22:0;;;;;;:11;:22;;;;;;;;11833:23;11767:89;11763:403;;;-1:-1:-1;;;;;11899:26:0;;;;;;:15;:26;;;;;;;;;:100;;-1:-1:-1;11983:16:0;;-1:-1:-1;;;;;11950:20:0;;;;;;:9;:20;;;;;;:29;;11973:6;;11950:29;:::i;:::-;:49;;11899:100;11873:199;;;;-1:-1:-1;;;11873:199:0;;7817:2:1;11873: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;;11873:199:0;7615:401:1;11873:199:0;12102:4;;-1:-1:-1;;;;;12102:4:0;;;12092:14;;;;12089:66;;12127:10;:12;;;:10;:12;;;:::i;:::-;;;;;;12089:66;-1:-1:-1;;;;;8290:19:0;;8265:4;8290:19;;;:11;:19;;;;;;;;8289:20;12240:4;;12178:28;;-1:-1:-1;;;;;;12227:17:0;;;12240:4;;12227:17;:43;;12260:4;;-1:-1:-1;;;;;12250:14:0;;;12260:4;;12250:14;:20;;12269:1;12227:43;;12250:20;12266:1;12227:43;;;12246:1;12227:43;12217:53;;;;12287:42;12304:7;12313;12322:6;12287:16;:42::i;:::-;12283:100;;;12346:25;12364:6;12346:17;:25::i;:::-;12395:59;12410:6;12418:9;12429:6;12437:7;12446;12395:14;:59::i;:::-;-1:-1:-1;12474:4:0;;10994:1492;-1:-1:-1;;;;;10994:1492:0:o;8777:401::-;8941:90;;;;;;;;;;;-1:-1:-1;;;8941:90:0;;;;;;;;-1:-1:-1;;;;;8941:17:0;;8904:4;8941:17;;;:9;:17;;;;;;;:90;;8977:6;;8941:21;:90::i;:::-;-1:-1:-1;;;;;8921:17:0;;;;;;;:9;:17;;;;;;:110;;;;9065:20;;;;;;;:32;;9090:6;9065:24;:32::i;:::-;-1:-1:-1;;;;;9042:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9113:35;;;;;;;;;;9141:6;1361:25:1;;1349:2;1334:18;;1215:177;9113:35:0;;;;;;;;-1:-1:-1;9166:4:0;8777:401;;;;;:::o;9187:405::-;9323:14;;9281:4;;;9369:21;;;:64;;;;-1:-1:-1;9412:4:0;8039:7;8066:18;;;:9;:18;;;;;;9421:12;-1:-1:-1;9369:64:0;9467:6;;9348:85;;-1:-1:-1;9467:6:0;;9466:7;:31;;;;;9490:7;9466:31;:59;;;;-1:-1:-1;9514:11:0;;-1:-1:-1;;;9514:11:0;;;;9466:59;:88;;;;;9553:1;9543:7;:11;9466:88;:118;;;;;9571:13;9466:118;9446:138;9187:405;-1:-1:-1;;;;;;9187:405:0:o;13217:674::-;6203:6;:13;;-1:-1:-1;;6203:13:0;6212:4;6203:13;;;13348:4:::1;-1:-1:-1::0;8066:18:0;;;:9;:18;;;;;;13299:55:::1;;13365:20;13388:51;13392:6;13400:38;13404:20;13426:11;;13400:3;:38::i;:::-;13388:3;:51::i;:::-;13476:16;::::0;;13490:1:::1;13476:16:::0;;;;;::::1;::::0;;13365:74;;-1:-1:-1;13452:21:0::1;::::0;13476:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13476:16:0::1;13452:40;;13521:4;13503;13508:1;13503:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13503:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13547:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;13547:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;13503:7;;13547:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13537:4;13542:1;13537:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13537:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;13573:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;13573:188:0;;:6;::::1;::::0;:57:::1;::::0;:188:::1;::::0;13645:12;;13573:6:::1;::::0;13688:4;;13715::::1;::::0;13735:15:::1;::::0;13573:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;13843:10:0::1;::::0;13835:48:::1;::::0;13803:21:::1;::::0;-1:-1:-1;;;;;;13843:10:0;;::::1;::::0;-1:-1:-1;13835:48:0;::::1;;;::::0;13803:21;;13774:26:::1;13835:48:::0;13774:26;13835:48;13803:21;13843:10;13835:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6239:6:0;:14;;-1:-1:-1;;6239:14:0;;;-1:-1:-1;;;;13217:674:0:o;12494:715::-;12671:17;12691:7;:124;;12724:10;;-1:-1:-1;;;12724:10:0;;;;:91;;12808:7;12691:124;;12724:91;12750:41;12765:7;12774;12783;12750:14;:41::i;:::-;12691:124;;;12714:7;12691:124;12847:10;;12671:144;;-1:-1:-1;12828:16:0;;-1:-1:-1;;;12847:10:0;;;;:21;;;;;12861:7;12847:21;:101;;12941:7;12847:101;;;12884:41;12899:7;12908;12917;12884:14;:41::i;:::-;12828:120;;12981:93;13017:9;12981:93;;;;;;;;;;;;;-1:-1:-1;;;12981:93:0;;;:9;:17;12991:6;-1:-1:-1;;;;;12981:17:0;-1:-1:-1;;;;;12981:17:0;;;;;;;;;;;;;:21;;:93;;;;;:::i;:::-;-1:-1:-1;;;;;12961:17:0;;;;;;;:9;:17;;;;;;:113;;;;13110:20;;;;;;;:34;;13135:8;13110:24;:34::i;:::-;-1:-1:-1;;;;;13087:20:0;;;;;;;:9;:20;;;;;;;:57;;;;13162:37;;;;;;;;;;13190:8;1361:25:1;;1349:2;1334:18;;1215:177;13162:37:0;;;;;;;;12658:551;;12494:715;;;;;:::o;390:179::-;448:7;;480:5;484:1;480;:5;:::i;:::-;468:17;;509:1;504;:6;;496:46;;;;-1:-1:-1;;;496:46:0;;9612:2:1;496:46:0;;;9594:21:1;9651:2;9631:18;;;9624:30;9690:29;9670:18;;;9663:57;9737:18;;496:46:0;9410:351:1;8100:98:0;8157:7;8184:1;8182;:3;8181:9;;8189:1;8181:9;;;-1:-1:-1;8187:1:0;8100:98;-1:-1:-1;8100:98:0:o;10276:710::-;10381:7;;10464:3;10497:7;:208;;10704:1;10497:208;;;10531:1;10521:7;:11;:180;;10622:1;10612:7;:11;:89;;10700:1;10521:180;;10612:89;10652:15;;10641:10;;:26;:55;;10685:11;;10521:180;;10641:55;10670:12;;10521:180;;;10561:16;;10550:10;;:27;:58;;10596:12;;10550:58;;;10580:13;;10550:58;10480:225;-1:-1:-1;10718:18:0;10739:47;10771:14;10739:27;:7;10480:225;10739:11;:27::i;:::-;:31;;:47::i;:::-;10842:4;10824:24;;;;:9;:24;;;;;;10718:68;;-1:-1:-1;10824:40:0;;10718:68;10824:28;:40::i;:::-;10815:4;10797:24;;;;:9;:24;;;;;:67;10888:7;:47;;10911:24;10921:14;10911:7;:24;:::i;:::-;10888:47;;;10898:10;10888:47;10875:60;-1:-1:-1;10955:23:0;:7;10875:60;10955:11;:23::i;:::-;10948:30;10276:710;-1:-1:-1;;;;;;;10276:710:0:o;953:246::-;1011:7;1035:1;1040;1035:6;1031:47;;-1:-1:-1;1065:1:0;1058:8;;1031:47;1088:9;1100:5;1104:1;1100;:5;:::i;:::-;1088:17;-1:-1:-1;1133:1:0;1124:5;1128:1;1088:17;1124:5;:::i;:::-;:10;1116:56;;;;-1:-1:-1;;;1116:56:0;;10363:2:1;1116: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;;1116:56:0;10161:397:1;1207:132:0;1265:7;1292:39;1296:1;1299;1292:39;;;;;;;;;;;;;;;;;:3;:39::i;577:136::-;635:7;662:43;666:1;669;662:43;;;;;;;;;;;;;;;;;:3;:43::i;1347:223::-;1467:7;1502:12;1495:5;1487:28;;;;-1:-1:-1;;;1487:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1526:9:0;1538:5;1542:1;1538;: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;3812:251::-;3882:6;3935:2;3923:9;3914:7;3910:23;3906:32;3903:52;;;3951:1;3948;3941:12;3903:52;3983:9;3977:16;4002:31;4027:5;4002:31;:::i;4989:306::-;5077:6;5085;5093;5146:2;5134:9;5125:7;5121:23;5117:32;5114:52;;;5162:1;5159;5152:12;5114:52;5191:9;5185:16;5175:26;;5241:2;5230:9;5226:18;5220:25;5210:35;;5285:2;5274:9;5270:18;5264:25;5254:35;;4989: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://e82d8ab545ac3892c562e23f4e5d139179dd637fabc1b4d71aa1242e228bf796