Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div( interface IDEXFactory    - function createPair(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IDEXRouter    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract COINFU is Context, IERC20 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function _calcBuyTax()    - function _calcSellTax()    - function calcCOINFUTax(    - function swapTokensForEth(uint256 tok ...    - function goawayLimits()    - function create()    - function sendETHToFee(uint256 amount)    - function enable()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**
Web: https://coinfu.wtf
X: https://x.com/coinfu_official
Tg: https://t.me/coinfu_portal
**/

pragma solidity 0.8.10;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

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

    function balanceOf(address account) external view returns (uint256);

    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;
        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        return c;
    }
}

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

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
}

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

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

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

contract COINFU is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _owned;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _feeExcluded;
    mapping(address => bool) private _limitExcluded;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _mkWallet;
    uint256 private _initialBuyTax = 40;
    uint256 private _initialSellTax = 40;
    uint256 private _reduceBuyTaxAt = 10;

    uint256 private _initialBuyTax2Time = 20;
    uint256 private _initialSellTax2Time = 20;
    uint256 private _reduceBuyTaxAt2Time = 15;

    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceSellTaxAt = 15;

    uint256 private _preventSwapBefore = 0;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    string private constant _name = unicode"Coinfucius";
    string private constant _symbol = unicode"COINFU";

    uint256 public _maxTxAmount = 2 * (_tTotal / 100);
    uint256 public _maxWalletSize = 2 * (_tTotal / 100);
    uint256 public _taxSwapThreshold = 2 * (_tTotal / 10000000);
    uint256 public _maxTaxSwap = 1 * (_tTotal / 100);

    IDEXRouter private dexRouter;
    address private dexPair;
    bool private tradingOpen;
    bool private swapping = false;
    bool private swapOpen = false;

    event MaxTxAmountUpdated(uint256 _maxTxAmount);
    modifier lockTheSwap() {
        swapping = true;
        _;
        swapping = false;
    }

    constructor() {
        _mkWallet = payable(0xCE3e8AEA7d0d10e8EdDFcf98fe466b8ea4e27fb7);
        dexRouter = IDEXRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _owned[_msgSender()] = _tTotal;

        _feeExcluded[_mkWallet] = true;

        _limitExcluded[owner()] = true;
        _limitExcluded[address(this)] = true;
        _limitExcluded[_mkWallet] = true;

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

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

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

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

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

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

    function transfer(
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

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

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

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxRate = 0;
        if (
            from != owner() &&
            to != owner() &&
            from != address(this) &&
            to != address(this)
        ) {
            taxRate = _calcBuyTax();

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

            if (!tradingOpen) {
                require(
                    _limitExcluded[from] || _limitExcluded[to],
                    "Trading is not actived"
                );
            }

            if (
                from == dexPair &&
                to != address(dexRouter) &&
                !_limitExcluded[to]
            ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(
                    balanceOf(to) + amount <= _maxWalletSize,
                    "Exceeds the maxWalletSize."
                );
                _buyCount++;
            }

            if (to == dexPair && from != address(this)) {
                taxRate = _calcSellTax();
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !swapping &&
                to == dexPair &&
                swapOpen &&
                amount > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore
            ) {
                if (contractTokenBalance > _taxSwapThreshold) {
                    swapTokensForEth(
                        min(amount, min(contractTokenBalance, _maxTaxSwap))
                    );
                }
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance >= 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        uint256 taxAmount = calcCOINFUTax(from, to, amount, taxRate);
        _owned[from] = _owned[from].sub(amount);
        _owned[to] = _owned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

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

    function _calcBuyTax() private view returns (uint256) {
        if (_buyCount <= _reduceBuyTaxAt) {
            return _initialBuyTax;
        }
        if (_buyCount > _reduceBuyTaxAt && _buyCount <= _reduceBuyTaxAt2Time) {
            return _initialBuyTax2Time;
        }
        return _finalBuyTax;
    }

    function _calcSellTax() private view returns (uint256) {
        if (_buyCount <= _reduceBuyTaxAt) {
            return _initialSellTax;
        }
        if (_buyCount > _reduceBuyTaxAt && _buyCount <= _reduceBuyTaxAt2Time) {
            return _initialSellTax2Time;
        }
        return _finalSellTax;
    }

    function calcCOINFUTax(
        address from,
        address to,
        uint256 amount,
        uint256 taxRate
    ) internal returns (uint256) {
        if (_feeExcluded[from] || _feeExcluded[to]) {
            uint256 taxLeftAmount = amount.mul(100 - _finalBuyTax).div(100);
            _owned[_mkWallet] = _owned[_mkWallet].add(taxLeftAmount);
            return 0;
        } else {
            if (taxRate > 0) {
                uint256 taxAmount = amount.mul(taxRate).div(100);
                _owned[address(this)] = _owned[address(this)].add(taxAmount);
                emit Transfer(from, address(this), taxAmount);
                return taxAmount;
            }
            return 0;
        }
    }

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = dexRouter.WETH();
        _approve(address(this), address(dexRouter), tokenAmount);
        dexRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }

    function goawayLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        transferDelayEnabled = false;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function create() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        _approve(address(this), address(dexRouter), _tTotal);
        dexPair = IDEXFactory(dexRouter.factory()).createPair(
            address(this),
            dexRouter.WETH()
        );       
        dexRouter.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        ); 
    }

    receive() external payable {}

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

    function enable() external onlyOwner {
        swapOpen = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"create","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enable","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"goawayLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff1916905560286007819055600855600a60098181556014808355600b55600f600c8190556000600d819055600e8190559080556010819055601155606491620000549190620003e4565b6200006490633b9aca00620003fc565b6200007091906200041e565b6200007d906002620003fc565b6012556064620000906009600a620003e4565b620000a090633b9aca00620003fc565b620000ac91906200041e565b620000b9906002620003fc565b60135562989680620000ce6009600a620003e4565b620000de90633b9aca00620003fc565b620000ea91906200041e565b620000f7906002620003fc565b60145560646200010a6009600a620003e4565b6200011a90633b9aca00620003fc565b6200012691906200041e565b62000133906001620003fc565b6015556017805461ffff60a81b191690553480156200015157600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506006805474ce3e8aea7d0d10e8eddfcf98fe466b8ea4e27fb700610100600160a81b0319909116179055601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055620001f16009600a620003e4565b6200020190633b9aca00620003fc565b33600081815260016020818152604080842095909555600680546001600160a01b03610100918290048116865260038452878620805460ff199081168717909155865482168752600490945287862080548516861790553086528786208054851686179055915404168352938220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002a86009600a620003e4565b620002b890633b9aca00620003fc565b60405190815260200160405180910390a362000441565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003265781600019048211156200030a576200030a620002cf565b808516156200031857918102915b93841c9390800290620002ea565b509250929050565b6000826200033f57506001620003de565b816200034e57506000620003de565b8160018114620003675760028114620003725762000392565b6001915050620003de565b60ff841115620003865762000386620002cf565b50506001821b620003de565b5060208310610133831016604e8410600b8410161715620003b7575081810a620003de565b620003c38383620002e5565b8060001904821115620003da57620003da620002cf565b0290505b92915050565b6000620003f560ff8416836200032e565b9392505050565b6000816000190483118215151615620004195762000419620002cf565b500290565b6000826200043c57634e487b7160e01b600052601260045260246000fd5b500490565b6119a380620004516000396000f3fe6080604052600436106101185760003560e01c80637d1db4a5116100a0578063a9059cbb11610064578063a9059cbb14610308578063bf474bed14610328578063c876d0b91461033e578063dd62ed3e14610358578063efc81a8c1461039e57600080fd5b80637d1db4a5146102705780638da5cb5b146102865780638f9a55c0146102ae57806395d89b41146102c4578063a3907d71146102f357600080fd5b806323b872dd116100e757806323b872dd146101d2578063313ce567146101f257806350bdc8551461020e57806370a0823114610225578063715018a61461025b57600080fd5b806306fdde0314610124578063095ea7b3146101695780630faee56f1461019957806318160ddd146101bd57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600a815269436f696e66756369757360b01b60208201525b604051610160919061157a565b60405180910390f35b34801561017557600080fd5b506101896101843660046115e7565b6103b3565b6040519015158152602001610160565b3480156101a557600080fd5b506101af60155481565b604051908152602001610160565b3480156101c957600080fd5b506101af6103ca565b3480156101de57600080fd5b506101896101ed366004611613565b6103eb565b3480156101fe57600080fd5b5060405160098152602001610160565b34801561021a57600080fd5b50610223610454565b005b34801561023157600080fd5b506101af610240366004611654565b6001600160a01b031660009081526001602052604090205490565b34801561026757600080fd5b50610223610519565b34801561027c57600080fd5b506101af60125481565b34801561029257600080fd5b506000546040516001600160a01b039091168152602001610160565b3480156102ba57600080fd5b506101af60135481565b3480156102d057600080fd5b50604080518082019091526006815265434f494e465560d01b6020820152610153565b3480156102ff57600080fd5b5061022361058d565b34801561031457600080fd5b506101896103233660046115e7565b6105d0565b34801561033457600080fd5b506101af60145481565b34801561034a57600080fd5b506006546101899060ff1681565b34801561036457600080fd5b506101af610373366004611671565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103aa57600080fd5b506102236105dd565b60006103c03384846108ea565b5060015b92915050565b60006103d86009600a6117a4565b6103e690633b9aca006117b3565b905090565b60006103f8848484610a0e565b61044a843361044585604051806060016040528060288152602001611946602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611002565b6108ea565b5060019392505050565b6000546001600160a01b031633146104875760405162461bcd60e51b815260040161047e906117d2565b60405180910390fd5b6104936009600a6117a4565b6104a190633b9aca006117b3565b6012556104b06009600a6117a4565b6104be90633b9aca006117b3565b6013556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104f86009600a6117a4565b61050690633b9aca006117b3565b60405190815260200160405180910390a1565b6000546001600160a01b031633146105435760405162461bcd60e51b815260040161047e906117d2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105b75760405162461bcd60e51b815260040161047e906117d2565b6017805462ff00ff60a01b19166201000160a01b179055565b60006103c0338484610a0e565b6000546001600160a01b031633146106075760405162461bcd60e51b815260040161047e906117d2565b601754600160a01b900460ff16156106615760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047e565b60165461068d9030906001600160a01b031661067f6009600a6117a4565b61044590633b9aca006117b3565b601660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107049190611807565b6001600160a01b031663c9c6539630601660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610766573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078a9190611807565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107d7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fb9190611807565b601780546001600160a01b039283166001600160a01b03199091161790556016541663f305d7194730610843816001600160a01b031660009081526001602052604090205490565b6000806108586000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108c0573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108e59190611824565b505050565b6001600160a01b03831661094c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047e565b6001600160a01b0382166109ad5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047e565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a725760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047e565b6001600160a01b038216610ad45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047e565b60008111610b365760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047e565b600080546001600160a01b03858116911614801590610b6357506000546001600160a01b03848116911614155b8015610b7857506001600160a01b0384163014155b8015610b8d57506001600160a01b0383163014155b15610f2757610b9a61103c565b60065490915060ff1615610c82576016546001600160a01b03848116911614801590610bd457506017546001600160a01b03848116911614155b15610c8257326000908152600560205260409020544311610c6f5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161047e565b3260009081526005602052604090204390555b601754600160a01b900460ff16610d17576001600160a01b03841660009081526004602052604090205460ff1680610cd257506001600160a01b03831660009081526004602052604090205460ff165b610d175760405162461bcd60e51b8152602060048201526016602482015275151c98591a5b99c81a5cc81b9bdd081858dd1a5d995960521b604482015260640161047e565b6017546001600160a01b038581169116148015610d4257506016546001600160a01b03848116911614155b8015610d6757506001600160a01b03831660009081526004602052604090205460ff16155b15610e4f57601254821115610dbe5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047e565b60135482610de1856001600160a01b031660009081526001602052604090205490565b610deb9190611852565b1115610e395760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047e565b60118054906000610e498361186a565b91905055505b6017546001600160a01b038481169116148015610e7557506001600160a01b0384163014155b15610e8557610e8261107a565b90505b30600090815260016020526040902054601754600160a81b900460ff16158015610ebc57506017546001600160a01b038581169116145b8015610ed15750601754600160b01b900460ff165b8015610ede575060145483115b8015610eed5750601054601154115b15610f2557601454811115610f1957610f19610f1484610f0f846015546110b8565b6110b8565b6110d0565b47610f234761124a565b505b505b6000610f358585858561128c565b6001600160a01b038616600090815260016020526040902054909150610f5b90846113ef565b6001600160a01b038616600090815260016020526040902055610fa0610f8184836113ef565b6001600160a01b03861660009081526001602052604090205490611431565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610fea86856113ef565b60405190815260200160405180910390a35050505050565b600081848411156110265760405162461bcd60e51b815260040161047e919061157a565b5060006110338486611885565b95945050505050565b600060095460115411611050575060075490565b6009546011541180156110675750600c5460115411155b156110735750600a5490565b50600d5490565b60006009546011541161108e575060085490565b6009546011541180156110a55750600c5460115411155b156110b15750600b5490565b50600e5490565b60008183116110c757826110c9565b815b9392505050565b6017805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111185761111861189c565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611171573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111959190611807565b816001815181106111a8576111a861189c565b6001600160a01b0392831660209182029290920101526016546111ce91309116846108ea565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906112079085906000908690309042906004016118b2565b600060405180830381600087803b15801561122157600080fd5b505af1158015611235573d6000803e3d6000fd5b50506017805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611288573d6000803e3d6000fd5b5050565b6001600160a01b03841660009081526003602052604081205460ff16806112cb57506001600160a01b03841660009081526003602052604090205460ff165b1561134f5760006112f660646112f0600d5460646112e99190611885565b8790611490565b9061150f565b60065461010090046001600160a01b03166000908152600160205260409020549091506113239082611431565b60065461010090046001600160a01b031660009081526001602052604081209190915591506113e79050565b81156113e357600061136660646112f08686611490565b306000908152600160205260409020549091506113839082611431565b30600081815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113d49085815260200190565b60405180910390a390506113e7565b5060005b949350505050565b60006110c983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611002565b60008061143e8385611852565b9050838110156110c95760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047e565b60008261149f575060006103c4565b60006114ab83856117b3565b9050826114b88583611923565b146110c95760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047e565b60006110c983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506000818361156d5760405162461bcd60e51b815260040161047e919061157a565b5060006110338486611923565b600060208083528351808285015260005b818110156115a75785810183015185820160400152820161158b565b818111156115b9576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146115e457600080fd5b50565b600080604083850312156115fa57600080fd5b8235611605816115cf565b946020939093013593505050565b60008060006060848603121561162857600080fd5b8335611633816115cf565b92506020840135611643816115cf565b929592945050506040919091013590565b60006020828403121561166657600080fd5b81356110c9816115cf565b6000806040838503121561168457600080fd5b823561168f816115cf565b9150602083013561169f816115cf565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116fb5781600019048211156116e1576116e16116aa565b808516156116ee57918102915b93841c93908002906116c5565b509250929050565b600082611712575060016103c4565b8161171f575060006103c4565b8160018114611735576002811461173f5761175b565b60019150506103c4565b60ff841115611750576117506116aa565b50506001821b6103c4565b5060208310610133831016604e8410600b841016171561177e575081810a6103c4565b61178883836116c0565b806000190482111561179c5761179c6116aa565b029392505050565b60006110c960ff841683611703565b60008160001904831182151516156117cd576117cd6116aa565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561181957600080fd5b81516110c9816115cf565b60008060006060848603121561183957600080fd5b8351925060208401519150604084015190509250925092565b60008219821115611865576118656116aa565b500190565b600060001982141561187e5761187e6116aa565b5060010190565b600082821015611897576118976116aa565b500390565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119025784516001600160a01b0316835293830193918301916001016118dd565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261194057634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201a6f0ee395bd08fee53a51b42696f191f55566306b6ebd0218e8980fdc61fa1364736f6c634300080a0033

0x6080604052600436106101185760003560e01c80637d1db4a5116100a0578063a9059cbb11610064578063a9059cbb14610308578063bf474bed14610328578063c876d0b91461033e578063dd62ed3e14610358578063efc81a8c1461039e57600080fd5b80637d1db4a5146102705780638da5cb5b146102865780638f9a55c0146102ae57806395d89b41146102c4578063a3907d71146102f357600080fd5b806323b872dd116100e757806323b872dd146101d2578063313ce567146101f257806350bdc8551461020e57806370a0823114610225578063715018a61461025b57600080fd5b806306fdde0314610124578063095ea7b3146101695780630faee56f1461019957806318160ddd146101bd57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600a815269436f696e66756369757360b01b60208201525b604051610160919061157a565b60405180910390f35b34801561017557600080fd5b506101896101843660046115e7565b6103b3565b6040519015158152602001610160565b3480156101a557600080fd5b506101af60155481565b604051908152602001610160565b3480156101c957600080fd5b506101af6103ca565b3480156101de57600080fd5b506101896101ed366004611613565b6103eb565b3480156101fe57600080fd5b5060405160098152602001610160565b34801561021a57600080fd5b50610223610454565b005b34801561023157600080fd5b506101af610240366004611654565b6001600160a01b031660009081526001602052604090205490565b34801561026757600080fd5b50610223610519565b34801561027c57600080fd5b506101af60125481565b34801561029257600080fd5b506000546040516001600160a01b039091168152602001610160565b3480156102ba57600080fd5b506101af60135481565b3480156102d057600080fd5b50604080518082019091526006815265434f494e465560d01b6020820152610153565b3480156102ff57600080fd5b5061022361058d565b34801561031457600080fd5b506101896103233660046115e7565b6105d0565b34801561033457600080fd5b506101af60145481565b34801561034a57600080fd5b506006546101899060ff1681565b34801561036457600080fd5b506101af610373366004611671565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103aa57600080fd5b506102236105dd565b60006103c03384846108ea565b5060015b92915050565b60006103d86009600a6117a4565b6103e690633b9aca006117b3565b905090565b60006103f8848484610a0e565b61044a843361044585604051806060016040528060288152602001611946602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611002565b6108ea565b5060019392505050565b6000546001600160a01b031633146104875760405162461bcd60e51b815260040161047e906117d2565b60405180910390fd5b6104936009600a6117a4565b6104a190633b9aca006117b3565b6012556104b06009600a6117a4565b6104be90633b9aca006117b3565b6013556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104f86009600a6117a4565b61050690633b9aca006117b3565b60405190815260200160405180910390a1565b6000546001600160a01b031633146105435760405162461bcd60e51b815260040161047e906117d2565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105b75760405162461bcd60e51b815260040161047e906117d2565b6017805462ff00ff60a01b19166201000160a01b179055565b60006103c0338484610a0e565b6000546001600160a01b031633146106075760405162461bcd60e51b815260040161047e906117d2565b601754600160a01b900460ff16156106615760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047e565b60165461068d9030906001600160a01b031661067f6009600a6117a4565b61044590633b9aca006117b3565b601660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106e0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107049190611807565b6001600160a01b031663c9c6539630601660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610766573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078a9190611807565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107d7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fb9190611807565b601780546001600160a01b039283166001600160a01b03199091161790556016541663f305d7194730610843816001600160a01b031660009081526001602052604090205490565b6000806108586000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108c0573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108e59190611824565b505050565b6001600160a01b03831661094c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047e565b6001600160a01b0382166109ad5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047e565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a725760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047e565b6001600160a01b038216610ad45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047e565b60008111610b365760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047e565b600080546001600160a01b03858116911614801590610b6357506000546001600160a01b03848116911614155b8015610b7857506001600160a01b0384163014155b8015610b8d57506001600160a01b0383163014155b15610f2757610b9a61103c565b60065490915060ff1615610c82576016546001600160a01b03848116911614801590610bd457506017546001600160a01b03848116911614155b15610c8257326000908152600560205260409020544311610c6f5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161047e565b3260009081526005602052604090204390555b601754600160a01b900460ff16610d17576001600160a01b03841660009081526004602052604090205460ff1680610cd257506001600160a01b03831660009081526004602052604090205460ff165b610d175760405162461bcd60e51b8152602060048201526016602482015275151c98591a5b99c81a5cc81b9bdd081858dd1a5d995960521b604482015260640161047e565b6017546001600160a01b038581169116148015610d4257506016546001600160a01b03848116911614155b8015610d6757506001600160a01b03831660009081526004602052604090205460ff16155b15610e4f57601254821115610dbe5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047e565b60135482610de1856001600160a01b031660009081526001602052604090205490565b610deb9190611852565b1115610e395760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047e565b60118054906000610e498361186a565b91905055505b6017546001600160a01b038481169116148015610e7557506001600160a01b0384163014155b15610e8557610e8261107a565b90505b30600090815260016020526040902054601754600160a81b900460ff16158015610ebc57506017546001600160a01b038581169116145b8015610ed15750601754600160b01b900460ff165b8015610ede575060145483115b8015610eed5750601054601154115b15610f2557601454811115610f1957610f19610f1484610f0f846015546110b8565b6110b8565b6110d0565b47610f234761124a565b505b505b6000610f358585858561128c565b6001600160a01b038616600090815260016020526040902054909150610f5b90846113ef565b6001600160a01b038616600090815260016020526040902055610fa0610f8184836113ef565b6001600160a01b03861660009081526001602052604090205490611431565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610fea86856113ef565b60405190815260200160405180910390a35050505050565b600081848411156110265760405162461bcd60e51b815260040161047e919061157a565b5060006110338486611885565b95945050505050565b600060095460115411611050575060075490565b6009546011541180156110675750600c5460115411155b156110735750600a5490565b50600d5490565b60006009546011541161108e575060085490565b6009546011541180156110a55750600c5460115411155b156110b15750600b5490565b50600e5490565b60008183116110c757826110c9565b815b9392505050565b6017805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111185761111861189c565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611171573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111959190611807565b816001815181106111a8576111a861189c565b6001600160a01b0392831660209182029290920101526016546111ce91309116846108ea565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906112079085906000908690309042906004016118b2565b600060405180830381600087803b15801561122157600080fd5b505af1158015611235573d6000803e3d6000fd5b50506017805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611288573d6000803e3d6000fd5b5050565b6001600160a01b03841660009081526003602052604081205460ff16806112cb57506001600160a01b03841660009081526003602052604090205460ff165b1561134f5760006112f660646112f0600d5460646112e99190611885565b8790611490565b9061150f565b60065461010090046001600160a01b03166000908152600160205260409020549091506113239082611431565b60065461010090046001600160a01b031660009081526001602052604081209190915591506113e79050565b81156113e357600061136660646112f08686611490565b306000908152600160205260409020549091506113839082611431565b30600081815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113d49085815260200190565b60405180910390a390506113e7565b5060005b949350505050565b60006110c983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611002565b60008061143e8385611852565b9050838110156110c95760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047e565b60008261149f575060006103c4565b60006114ab83856117b3565b9050826114b88583611923565b146110c95760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047e565b60006110c983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506000818361156d5760405162461bcd60e51b815260040161047e919061157a565b5060006110338486611923565b600060208083528351808285015260005b818110156115a75785810183015185820160400152820161158b565b818111156115b9576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146115e457600080fd5b50565b600080604083850312156115fa57600080fd5b8235611605816115cf565b946020939093013593505050565b60008060006060848603121561162857600080fd5b8335611633816115cf565b92506020840135611643816115cf565b929592945050506040919091013590565b60006020828403121561166657600080fd5b81356110c9816115cf565b6000806040838503121561168457600080fd5b823561168f816115cf565b9150602083013561169f816115cf565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116fb5781600019048211156116e1576116e16116aa565b808516156116ee57918102915b93841c93908002906116c5565b509250929050565b600082611712575060016103c4565b8161171f575060006103c4565b8160018114611735576002811461173f5761175b565b60019150506103c4565b60ff841115611750576117506116aa565b50506001821b6103c4565b5060208310610133831016604e8410600b841016171561177e575081810a6103c4565b61178883836116c0565b806000190482111561179c5761179c6116aa565b029392505050565b60006110c960ff841683611703565b60008160001904831182151516156117cd576117cd6116aa565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561181957600080fd5b81516110c9816115cf565b60008060006060848603121561183957600080fd5b8351925060208401519150604084015190509250925092565b60008219821115611865576118656116aa565b500190565b600060001982141561187e5761187e6116aa565b5060010190565b600082821015611897576118976116aa565b500390565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119025784516001600160a01b0316835293830193918301916001016118dd565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261194057634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201a6f0ee395bd08fee53a51b42696f191f55566306b6ebd0218e8980fdc61fa1364736f6c634300080a0033

3866:9805:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6075:83;;;;;;;;;;-1:-1:-1;6145:5:0;;;;;;;;;;;;-1:-1:-1;;;6145:5:0;;;;6075:83;;;;;;;:::i;:::-;;;;;;;;6955:186;;;;;;;;;;-1:-1:-1;6955:186:0;;;;;:::i;:::-;;:::i;:::-;;;1237:14:1;;1230:22;1212:41;;1200:2;1185:18;6955:186:0;1072:187:1;5232:48:0;;;;;;;;;;;;;;;;;;;1410:25:1;;;1398:2;1383:18;5232:48:0;1264:177:1;6352:95:0;;;;;;;;;;;;;:::i;7149:446::-;;;;;;;;;;-1:-1:-1;7149:446:0;;;;;:::i;:::-;;:::i;6261:83::-;;;;;;;;;;-1:-1:-1;6261:83:0;;4855:1;2049:36:1;;2037:2;2022:18;6261:83:0;1907:184:1;12678:201:0;;;;;;;;;;;;;:::i;:::-;;6455:116;;;;;;;;;;-1:-1:-1;6455:116:0;;;;;:::i;:::-;-1:-1:-1;;;;;6548:15:0;6521:7;6548:15;;;:6;:15;;;;;;;6455:116;3020:148;;;;;;;;;;;;;:::i;5052:49::-;;;;;;;;;;;;;;;;2806:79;;;;;;;;;;-1:-1:-1;2844:7:0;2871:6;2806:79;;-1:-1:-1;;;;;2871:6:0;;;2494:51:1;;2482:2;2467:18;2806:79:0;2348:203:1;5108:51:0;;;;;;;;;;;;;;;;6166:87;;;;;;;;;;-1:-1:-1;6238:7:0;;;;;;;;;;;;-1:-1:-1;;;6238:7:0;;;;6166:87;;13568:100;;;;;;;;;;;;;:::i;6579:192::-;;;;;;;;;;-1:-1:-1;6579:192:0;;;;;:::i;:::-;;:::i;5166:59::-;;;;;;;;;;;;;;;;4250:40;;;;;;;;;;-1:-1:-1;4250:40:0;;;;;;;;6779:168;;;;;;;;;;-1:-1:-1;6779:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;6912:18:0;;;6885:7;6912:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6779:168;12887:537;;;;;;;;;;;;;:::i;6955:186::-;7055:4;7072:39;276:10;7095:7;7104:6;7072:8;:39::i;:::-;-1:-1:-1;7129:4:0;6955:186;;;;;:::o;6352:95::-;6405:7;4914:15;4855:1;4914:2;:15;:::i;:::-;4898:31;;:13;:31;:::i;:::-;6425:14;;6352:95;:::o;7149:446::-;7281:4;7298:36;7308:6;7316:9;7327:6;7298:9;:36::i;:::-;7345:220;7368:6;276:10;7416:138;7472:6;7416:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7416:19:0;;;;;;:11;:19;;;;;;;;276:10;7416:33;;;;;;;;;;:37;:138::i;:::-;7345:8;:220::i;:::-;-1:-1:-1;7583:4:0;7149:446;;;;;:::o;12678:201::-;2933:6;;-1:-1:-1;;;;;2933:6:0;276:10;2933:22;2925:67;;;;-1:-1:-1;;;2925:67:0;;;;;;;:::i;:::-;;;;;;;;;4914:15:::1;4855:1;4914:2;:15;:::i;:::-;4898:31;::::0;:13:::1;:31;:::i;:::-;12732:12;:22:::0;4914:15:::1;4855:1;4914:2;:15;:::i;:::-;4898:31;::::0;:13:::1;:31;:::i;:::-;12765:14;:24:::0;12800:20:::1;:28:::0;;-1:-1:-1;;12800:28:0::1;::::0;;12844:27:::1;4914:15;4855:1;4914:2;:15;:::i;:::-;4898:31;::::0;:13:::1;:31;:::i;:::-;12844:27;::::0;1410:25:1;;;1398:2;1383:18;12844:27:0::1;;;;;;;12678:201::o:0;3020:148::-;2933:6;;-1:-1:-1;;;;;2933:6:0;276:10;2933:22;2925:67;;;;-1:-1:-1;;;2925:67:0;;;;;;;:::i;:::-;3127:1:::1;3111:6:::0;;3090:40:::1;::::0;-1:-1:-1;;;;;3111:6:0;;::::1;::::0;3090:40:::1;::::0;3127:1;;3090:40:::1;3158:1;3141:19:::0;;-1:-1:-1;;;;;;3141:19:0::1;::::0;;3020:148::o;13568:100::-;2933:6;;-1:-1:-1;;;;;2933:6:0;276:10;2933:22;2925:67;;;;-1:-1:-1;;;2925:67:0;;;;;;;:::i;:::-;13616:8:::1;:15:::0;;-1:-1:-1;;;;13642:18:0;-1:-1:-1;;;13642:18:0;;;13568:100::o;6579:192::-;6682:4;6699:42;276:10;6723:9;6734:6;6699:9;:42::i;12887:537::-;2933:6;;-1:-1:-1;;;;;2933:6:0;276:10;2933:22;2925:67;;;;-1:-1:-1;;;2925:67:0;;;;;;;:::i;:::-;12944:11:::1;::::0;-1:-1:-1;;;12944:11:0;::::1;;;12943:12;12935:48;;;::::0;-1:-1:-1;;;12935:48:0;;5200:2:1;12935:48:0::1;::::0;::::1;5182:21:1::0;5239:2;5219:18;;;5212:30;5278:25;5258:18;;;5251:53;5321:18;;12935:48:0::1;4998:347:1::0;12935:48:0::1;13026:9;::::0;12994:52:::1;::::0;13011:4:::1;::::0;-1:-1:-1;;;;;13026:9:0::1;4914:15;4855:1;4914:2;:15;:::i;:::-;4898:31;::::0;:13:::1;:31;:::i;12994:52::-;13079:9;;;;;;;;;-1:-1:-1::0;;;;;13079:9:0::1;-1:-1:-1::0;;;;;13079:17:0::1;;:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13067:43:0::1;;13133:4;13153:9;;;;;;;;;-1:-1:-1::0;;;;;13153:9:0::1;-1:-1:-1::0;;;;;13153:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13067:113;::::0;-1:-1:-1;;;;;;13067:113:0::1;::::0;;;;;;-1:-1:-1;;;;;5836:15:1;;;13067:113:0::1;::::0;::::1;5818:34:1::0;5888:15;;5868:18;;;5861:43;5753:18;;13067:113:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13057:7;:123:::0;;-1:-1:-1;;;;;13057:123:0;;::::1;-1:-1:-1::0;;;;;;13057:123:0;;::::1;;::::0;;13198:9:::1;::::0;::::1;:25;13231:21;13276:4;13296:24;13276:4:::0;-1:-1:-1;;;;;6548:15:0;6521:7;6548:15;;;:6;:15;;;;;;;6455:116;13296:24:::1;13335:1;13351::::0;13367:7:::1;2844::::0;2871:6;-1:-1:-1;;;;;2871:6:0;;2806:79;13367:7:::1;13198:217;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13198:217:0;;;-1:-1:-1;;;;;6274:15:1;;;13198:217:0::1;::::0;::::1;6256:34:1::0;6306:18;;;6299:34;;;;6349:18;;;6342:34;;;;6392:18;;;6385:34;6456:15;;;6435:19;;;6428:44;13389:15:0::1;6488:19:1::0;;;6481:35;6190:19;;13198:217:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12887:537::o:0;7603:335::-;-1:-1:-1;;;;;7696:19:0;;7688:68;;;;-1:-1:-1;;;7688:68:0;;7040:2:1;7688:68:0;;;7022:21:1;7079:2;7059:18;;;7052:30;7118:34;7098:18;;;7091:62;-1:-1:-1;;;7169:18:1;;;7162:34;7213:19;;7688:68:0;6838:400:1;7688:68:0;-1:-1:-1;;;;;7775:21:0;;7767:68;;;;-1:-1:-1;;;7767:68:0;;7445:2:1;7767:68:0;;;7427:21:1;7484:2;7464:18;;;7457:30;7523:34;7503:18;;;7496:62;-1:-1:-1;;;7574:18:1;;;7567:32;7616:19;;7767:68:0;7243:398:1;7767:68:0;-1:-1:-1;;;;;7846:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7898:32;;1410:25:1;;;7898:32:0;;1383:18:1;7898:32:0;;;;;;;7603:335;;;:::o;7946:2743::-;-1:-1:-1;;;;;8034:18:0;;8026:68;;;;-1:-1:-1;;;8026:68:0;;7848:2:1;8026:68:0;;;7830:21:1;7887:2;7867:18;;;7860:30;7926:34;7906:18;;;7899:62;-1:-1:-1;;;7977:18:1;;;7970:35;8022:19;;8026:68:0;7646:401:1;8026:68:0;-1:-1:-1;;;;;8113:16:0;;8105:64;;;;-1:-1:-1;;;8105:64:0;;8254:2:1;8105:64:0;;;8236:21:1;8293:2;8273:18;;;8266:30;8332:34;8312:18;;;8305:62;-1:-1:-1;;;8383:18:1;;;8376:33;8426:19;;8105:64:0;8052:399:1;8105:64:0;8197:1;8188:6;:10;8180:64;;;;-1:-1:-1;;;8180:64:0;;8658:2:1;8180:64:0;;;8640:21:1;8697:2;8677:18;;;8670:30;8736:34;8716:18;;;8709:62;-1:-1:-1;;;8787:18:1;;;8780:39;8836:19;;8180:64:0;8456:405:1;8180:64:0;8255:15;2871:6;;-1:-1:-1;;;;;8303:15:0;;;2871:6;;8303:15;;;;:45;;-1:-1:-1;2844:7:0;2871:6;-1:-1:-1;;;;;8335:13:0;;;2871:6;;8335:13;;8303:45;:83;;;;-1:-1:-1;;;;;;8365:21:0;;8381:4;8365:21;;8303:83;:119;;;;-1:-1:-1;;;;;;8403:19:0;;8417:4;8403:19;;8303:119;8285:2156;;;8459:13;:11;:13::i;:::-;8493:20;;8449:23;;-1:-1:-1;8493:20:0;;8489:449;;;8552:9;;-1:-1:-1;;;;;8538:24:0;;;8552:9;;8538:24;;;;:50;;-1:-1:-1;8580:7:0;;-1:-1:-1;;;;;8566:22:0;;;8580:7;;8566:22;;8538:50;8534:389;;;8676:9;8647:39;;;;:28;:39;;;;;;8689:12;-1:-1:-1;8613:213:0;;;;-1:-1:-1;;;8613:213:0;;9068:2:1;8613:213:0;;;9050:21:1;9107:2;9087:18;;;9080:30;9146:34;9126:18;;;9119:62;9217:34;9197:18;;;9190:62;-1:-1:-1;;;9268:19:1;;;9261:40;9318:19;;8613:213:0;8866:477:1;8613:213:0;8878:9;8849:39;;;;:28;:39;;;;;8891:12;8849:54;;8534:389;8959:11;;-1:-1:-1;;;8959:11:0;;;;8954:191;;-1:-1:-1;;;;;9021:20:0;;;;;;:14;:20;;;;;;;;;:42;;-1:-1:-1;;;;;;9045:18:0;;;;;;:14;:18;;;;;;;;9021:42;8991:138;;;;-1:-1:-1;;;8991:138:0;;9550:2:1;8991:138:0;;;9532:21:1;9589:2;9569:18;;;9562:30;-1:-1:-1;;;9608:18:1;;;9601:52;9670:18;;8991:138:0;9348:346:1;8991:138:0;9191:7;;-1:-1:-1;;;;;9183:15:0;;;9191:7;;9183:15;:60;;;;-1:-1:-1;9233:9:0;;-1:-1:-1;;;;;9219:24:0;;;9233:9;;9219:24;;9183:60;:100;;;;-1:-1:-1;;;;;;9265:18:0;;;;;;:14;:18;;;;;;;;9264:19;9183:100;9161:422;;;9336:12;;9326:6;:22;;9318:60;;;;-1:-1:-1;;;9318:60:0;;9901:2:1;9318:60:0;;;9883:21:1;9940:2;9920:18;;;9913:30;9979:27;9959:18;;;9952:55;10024:18;;9318:60:0;9699:349:1;9318:60:0;9453:14;;9443:6;9427:13;9437:2;-1:-1:-1;;;;;6548:15:0;6521:7;6548:15;;;:6;:15;;;;;;;6455:116;9427:13;:22;;;;:::i;:::-;:40;;9397:140;;;;-1:-1:-1;;;9397:140:0;;10388:2:1;9397:140:0;;;10370:21:1;10427:2;10407:18;;;10400:30;10466:28;10446:18;;;10439:56;10512:18;;9397:140:0;10186:350:1;9397:140:0;9556:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9161:422;9609:7;;-1:-1:-1;;;;;9603:13:0;;;9609:7;;9603:13;:38;;;;-1:-1:-1;;;;;;9620:21:0;;9636:4;9620:21;;9603:38;9599:103;;;9672:14;:12;:14::i;:::-;9662:24;;9599:103;9767:4;9718:28;6548:15;;;:6;:15;;;;;;9811:8;;-1:-1:-1;;;9811:8:0;;;;9810:9;:43;;;;-1:-1:-1;9846:7:0;;-1:-1:-1;;;;;9840:13:0;;;9846:7;;9840:13;9810:43;:72;;;;-1:-1:-1;9874:8:0;;-1:-1:-1;;;9874:8:0;;;;9810:72;:119;;;;;9912:17;;9903:6;:26;9810:119;:170;;;;;9962:18;;9950:9;;:30;9810:170;9788:642;;;10042:17;;10019:20;:40;10015:206;;;10084:117;10127:51;10131:6;10139:38;10143:20;10165:11;;10139:3;:38::i;:::-;10127:3;:51::i;:::-;10084:16;:117::i;:::-;10268:21;10360:35;10373:21;10360:12;:35::i;:::-;9996:434;9788:642;8434:2007;8285:2156;10453:17;10473:40;10487:4;10493:2;10497:6;10505:7;10473:13;:40::i;:::-;-1:-1:-1;;;;;10539:12:0;;;;;;:6;:12;;;;;;10453:60;;-1:-1:-1;10539:24:0;;10556:6;10539:16;:24::i;:::-;-1:-1:-1;;;;;10524:12:0;;;;;;:6;:12;;;;;:39;10587:37;10602:21;:6;10613:9;10602:10;:21::i;:::-;-1:-1:-1;;;;;10587:10:0;;;;;;:6;:10;;;;;;;:14;:37::i;:::-;-1:-1:-1;;;;;10574:10:0;;;;;;;:6;:10;;;;;:50;;;;10640:41;;;10659:21;:6;10670:9;10659:10;:21::i;:::-;10640:41;;1410:25:1;;;1398:2;1383:18;10640:41:0;;;;;;;8015:2674;;7946:2743;;;:::o;1463:224::-;1583:7;1619:12;1611:6;;;;1603:29;;;;-1:-1:-1;;;1603:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1643:9:0;1655:5;1659:1;1655;:5;:::i;:::-;1643:17;1463:224;-1:-1:-1;;;;;1463:224:0:o;10812:317::-;10857:7;10894:15;;10881:9;;:28;10877:82;;-1:-1:-1;10933:14:0;;;10812:317::o;10877:82::-;10985:15;;10973:9;;:27;:64;;;;;11017:20;;11004:9;;:33;;10973:64;10969:123;;;-1:-1:-1;11061:19:0;;;10812:317::o;10969:123::-;-1:-1:-1;11109:12:0;;;10812:317::o;11137:321::-;11183:7;11220:15;;11207:9;;:28;11203:83;;-1:-1:-1;11259:15:0;;;11137:321::o;11203:83::-;11312:15;;11300:9;;:27;:64;;;;;11344:20;;11331:9;;:33;;11300:64;11296:124;;;-1:-1:-1;11388:20:0;;;11137:321::o;11296:124::-;-1:-1:-1;11437:13:0;;;11137:321::o;10697:107::-;10754:7;10786:1;10782;:5;10781:15;;10795:1;10781:15;;;10791:1;10781:15;10774:22;10697:107;-1:-1:-1;;;10697:107:0:o;12205:465::-;5546:8;:15;;-1:-1:-1;;;;5546:15:0;-1:-1:-1;;;5546:15:0;;;12307:16:::1;::::0;;12321:1:::1;12307:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12307:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12307:16:0::1;12283:40;;12352:4;12334;12339:1;12334:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12334:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12378:9:::1;::::0;:16:::1;::::0;;-1:-1:-1;;;12378:16:0;;;;:9;;;::::1;::::0;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;12334:7;;12378:16;;;;;:9;:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12368:4;12373:1;12368:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12368:26:0;;::::1;:7;::::0;;::::1;::::0;;;;;:26;12437:9:::1;::::0;12405:56:::1;::::0;12422:4:::1;::::0;12437:9:::1;12449:11:::0;12405:8:::1;:56::i;:::-;12472:9;::::0;:190:::1;::::0;-1:-1:-1;;;12472:190:0;;-1:-1:-1;;;;;12472:9:0;;::::1;::::0;:60:::1;::::0;:190:::1;::::0;12547:11;;12472:9:::1;::::0;12589:4;;12616::::1;::::0;12636:15:::1;::::0;12472:190:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5584:8:0;:16;;-1:-1:-1;;;;5584:16:0;;;-1:-1:-1;;;;12205:465:0:o;13469:91::-;13526:9;;:26;;:9;;;;-1:-1:-1;;;;;13526:9:0;;:26;;;;;;;;;;;;:9;:26;;;;;;;;;;;;;;;;;;;;;13469:91;:::o;11466:731::-;-1:-1:-1;;;;;11633:18:0;;11609:7;11633:18;;;:12;:18;;;;;;;;;:38;;-1:-1:-1;;;;;;11655:16:0;;;;;;:12;:16;;;;;;;;11633:38;11629:561;;;11688:21;11712:39;11747:3;11712:30;11729:12;;11723:3;:18;;;;:::i;:::-;11712:6;;:10;:30::i;:::-;:34;;:39::i;:::-;11793:9;;;;;-1:-1:-1;;;;;11793:9:0;11786:17;;;;:6;:17;;;;;;11688:63;;-1:-1:-1;11786:36:0;;11688:63;11786:21;:36::i;:::-;11773:9;;;;;-1:-1:-1;;;;;11773:9:0;11766:17;;;;:6;:17;;;;;:56;;;;:17;-1:-1:-1;11837:8:0;;-1:-1:-1;11837:8:0;11629:561;11882:11;;11878:278;;11914:17;11934:28;11958:3;11934:19;:6;11945:7;11934:10;:19::i;:28::-;12020:4;12005:21;;;;:6;:21;;;;;;11914:48;;-1:-1:-1;12005:36:0;;11914:48;12005:25;:36::i;:::-;11996:4;11981:21;;;;:6;:21;;;;;;;:60;;;;12065:40;;-1:-1:-1;;;;;12065:40:0;;;;;;;12095:9;1410:25:1;;1398:2;1383:18;;1264:177;12065:40:0;;;;;;;;12131:9;-1:-1:-1;12124:16:0;;11878:278;-1:-1:-1;12177:1:0;11629:561;11466:731;;;;;;:::o;1319:136::-;1377:7;1404:43;1408:1;1411;1404:43;;;;;;;;;;;;;;;;;:3;:43::i;1132:179::-;1190:7;;1222:5;1226:1;1222;:5;:::i;:::-;1210:17;;1251:1;1246;:6;;1238:46;;;;-1:-1:-1;;;1238:46:0;;12262:2:1;1238:46:0;;;12244:21:1;12301:2;12281:18;;;12274:30;12340:29;12320:18;;;12313:57;12387:18;;1238:46:0;12060:351:1;1695:246:0;1753:7;1777:6;1773:47;;-1:-1:-1;1807:1:0;1800:8;;1773:47;1830:9;1842:5;1846:1;1842;:5;:::i;:::-;1830:17;-1:-1:-1;1875:1:0;1866:5;1870:1;1830:17;1866:5;:::i;:::-;:10;1858:56;;;;-1:-1:-1;;;1858:56:0;;12840:2:1;1858:56:0;;;12822:21:1;12879:2;12859:18;;;12852:30;12918:34;12898:18;;;12891:62;-1:-1:-1;;;12969:18:1;;;12962:31;13010:19;;1858:56:0;12638:397:1;1949:132:0;2007:7;2034:39;2038:1;2041;2034:39;;;;;;;;;;;;;;;;;2209:7;2244:12;2237:5;2229:28;;;;-1:-1:-1;;;2229:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2268:9:0;2280:5;2284:1;2280;:5;:::i;14:597: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;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:131::-;-1:-1:-1;;;;;691:31:1;;681:42;;671:70;;737:1;734;727:12;671:70;616:131;:::o;752:315::-;820:6;828;881:2;869:9;860:7;856:23;852:32;849:52;;;897:1;894;887:12;849:52;936:9;923:23;955:31;980:5;955:31;:::i;:::-;1005:5;1057:2;1042:18;;;;1029:32;;-1:-1:-1;;;752:315:1:o;1446:456::-;1523:6;1531;1539;1592:2;1580:9;1571:7;1567:23;1563:32;1560:52;;;1608:1;1605;1598:12;1560:52;1647:9;1634:23;1666:31;1691:5;1666:31;:::i;:::-;1716:5;-1:-1:-1;1773:2:1;1758:18;;1745:32;1786:33;1745:32;1786:33;:::i;:::-;1446:456;;1838:7;;-1:-1:-1;;;1892:2:1;1877:18;;;;1864:32;;1446:456::o;2096:247::-;2155:6;2208:2;2196:9;2187:7;2183:23;2179:32;2176:52;;;2224:1;2221;2214:12;2176:52;2263:9;2250:23;2282:31;2307:5;2282:31;:::i;2556:388::-;2624:6;2632;2685:2;2673:9;2664:7;2660:23;2656:32;2653:52;;;2701:1;2698;2691:12;2653:52;2740:9;2727:23;2759:31;2784:5;2759:31;:::i;:::-;2809:5;-1:-1:-1;2866:2:1;2851:18;;2838:32;2879:33;2838:32;2879:33;:::i;:::-;2931:7;2921:17;;;2556:388;;;;;:::o;2949:127::-;3010:10;3005:3;3001:20;2998:1;2991:31;3041:4;3038:1;3031:15;3065:4;3062:1;3055:15;3081:422;3170:1;3213:5;3170:1;3227:270;3248:7;3238:8;3235:21;3227:270;;;3307:4;3303:1;3299:6;3295:17;3289:4;3286:27;3283:53;;;3316:18;;:::i;:::-;3366:7;3356:8;3352:22;3349:55;;;3386:16;;;;3349:55;3465:22;;;;3425:15;;;;3227:270;;;3231:3;3081:422;;;;;:::o;3508:806::-;3557:5;3587:8;3577:80;;-1:-1:-1;3628:1:1;3642:5;;3577:80;3676:4;3666:76;;-1:-1:-1;3713:1:1;3727:5;;3666:76;3758:4;3776:1;3771:59;;;;3844:1;3839:130;;;;3751:218;;3771:59;3801:1;3792:10;;3815:5;;;3839:130;3876:3;3866:8;3863:17;3860:43;;;3883:18;;:::i;:::-;-1:-1:-1;;3939:1:1;3925:16;;3954:5;;3751:218;;4053:2;4043:8;4040:16;4034:3;4028:4;4025:13;4021:36;4015:2;4005:8;4002:16;3997:2;3991:4;3988:12;3984:35;3981:77;3978:159;;;-1:-1:-1;4090:19:1;;;4122:5;;3978:159;4169:34;4194:8;4188:4;4169:34;:::i;:::-;4239:6;4235:1;4231:6;4227:19;4218:7;4215:32;4212:58;;;4250:18;;:::i;:::-;4288:20;;3508:806;-1:-1:-1;;;3508:806:1:o;4319:140::-;4377:5;4406:47;4447:4;4437:8;4433:19;4427:4;4406:47;:::i;4464:168::-;4504:7;4570:1;4566;4562:6;4558:14;4555:1;4552:21;4547:1;4540:9;4533:17;4529:45;4526:71;;;4577:18;;:::i;:::-;-1:-1:-1;4617:9:1;;4464:168::o;4637:356::-;4839:2;4821:21;;;4858:18;;;4851:30;4917:34;4912:2;4897:18;;4890:62;4984:2;4969:18;;4637:356::o;5350:251::-;5420:6;5473:2;5461:9;5452:7;5448:23;5444:32;5441:52;;;5489:1;5486;5479:12;5441:52;5521:9;5515:16;5540:31;5565:5;5540:31;:::i;6527:306::-;6615:6;6623;6631;6684:2;6672:9;6663:7;6659:23;6655:32;6652:52;;;6700:1;6697;6690:12;6652:52;6729:9;6723:16;6713:26;;6779:2;6768:9;6764:18;6758:25;6748:35;;6823:2;6812:9;6808:18;6802:25;6792:35;;6527:306;;;;;:::o;10053:128::-;10093:3;10124:1;10120:6;10117:1;10114:13;10111:39;;;10130:18;;:::i;:::-;-1:-1:-1;10166:9:1;;10053:128::o;10541:135::-;10580:3;-1:-1:-1;;10601:17:1;;10598:43;;;10621:18;;:::i;:::-;-1:-1:-1;10668:1:1;10657:13;;10541:135::o;10681:125::-;10721:4;10749:1;10746;10743:8;10740:34;;;10754:18;;:::i;:::-;-1:-1:-1;10791:9:1;;10681:125::o;10943:127::-;11004:10;10999:3;10995:20;10992:1;10985:31;11035:4;11032:1;11025:15;11059:4;11056:1;11049:15;11075:980;11337:4;11385:3;11374:9;11370:19;11416:6;11405:9;11398:25;11442:2;11480:6;11475:2;11464:9;11460:18;11453:34;11523:3;11518:2;11507:9;11503:18;11496:31;11547:6;11582;11576:13;11613:6;11605;11598:22;11651:3;11640:9;11636:19;11629:26;;11690:2;11682:6;11678:15;11664:29;;11711:1;11721:195;11735:6;11732:1;11729:13;11721:195;;;11800:13;;-1:-1:-1;;;;;11796:39:1;11784:52;;11891:15;;;;11856:12;;;;11832:1;11750:9;11721:195;;;-1:-1:-1;;;;;;;11972:32:1;;;;11967:2;11952:18;;11945:60;-1:-1:-1;;;12036:3:1;12021:19;12014:35;11933:3;11075:980;-1:-1:-1;;;11075:980:1:o;12416:217::-;12456:1;12482;12472:132;;12526:10;12521:3;12517:20;12514:1;12507:31;12561:4;12558:1;12551:15;12589:4;12586:1;12579:15;12472:132;-1:-1:-1;12618:9:1;;12416:217::o

ipfs://1a6f0ee395bd08fee53a51b42696f191f55566306b6ebd0218e8980fdc61fa13