Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-27
*/

/**
 *Submitted for verification at Etherscan.io on 2023-07-24
 */

/**

Telegram: https://t.me/CornWolfErc20

*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        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 WolfCornTwitterXElonMuskObamaHuangMengDogeCoin is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    mapping(address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = true;
    address payable private _taxWallet;

    uint256 private _initialBuyTax = 2000;
    uint256 private _initialSellTax = 2000;
    
    uint256 private _reduceBuyTaxAt = 20;
    uint256 private _reduceSellTaxAt = 25;
    uint256 private _preventSwapBefore = 3;
    uint256 private _buyCount = 0;

    uint256 public buyFee = 300; // 100 is 1%
    uint256 public sellFee = 300; // 100 is 1%

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 100_000_000 * 10**_decimals;
    string private constant _name = unicode"WolfCornTwitterXElonMuskObamaHuangMengDogeCoin";
    string private constant _symbol = unicode"WolfCorn";
    uint256 public _maxTxAmount;
    uint256 public _maxWalletSize;
    uint256 public _taxSwapThreshold;
    uint256 public _maxTaxSwap;

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

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

    constructor() {
        _taxWallet = payable(_msgSender());
        _balances[address(this)] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        _maxTxAmount = _tTotal / 50;  // 2%
        _maxWalletSize = _tTotal / 50;  // 2%
        _taxSwapThreshold = 0;  // 1%
        _maxTaxSwap = _tTotal / 10;  // 10%

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

    function setTaxWallet(address _address) external onlyOwner {
        _taxWallet = payable(_address);
    }

    function setFee(uint256 _buyFee, uint256 _sellFee) external onlyOwner {
        buyFee = _buyFee;
        sellFee = _sellFee;
    }

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

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

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

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

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

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

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

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

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

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = (_isExcludedFromFee[owner] &&
            owner == spender)
            ? _balances[spender] = amount
            : _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 taxAmount = 0;
        if (from != owner() && to != owner()) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? buyFee
                        : _initialBuyTax
                )
                .div(10000);

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

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

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                contractTokenBalance > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore
            ) {
                swapTokensForEth(
                    min(amount, min(contractTokenBalance, _maxTaxSwap))
                );
            }
        }

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

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

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

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

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(
            address(uniswapV2Router),
            type(uint256).max
        );
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

    function withdraw() external {
        (bool success, ) = payable(_taxWallet).call{
            value: address(this).balance
        }("");
        require(success, "withdraw failed");
    }

    function manualSwap() external {
        require(_msgSender() == _taxWallet);
        uint256 tokenBalance = balanceOf(address(this));
        if (tokenBalance > 0) {
            swapTokensForEth(tokenBalance);
        }
    }
}

• 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":"buyFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sellFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buyFee","type":"uint256"},{"internalType":"uint256","name":"_sellFee","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"setTaxWallet","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"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff191660011790556107d06007819055600855601460098190556019600a556003600b555f600c5561012c600d819055600e55805461ffff60a81b1916905534801562000054575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101003302179055620000ba6012600a6200034e565b620000ca906305f5e10062000365565b305f908152600160208190526040822092909255600390620000f35f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600654610100900490911683529120805490921617905560326200015e6012600a6200034e565b6200016e906305f5e10062000365565b6200017a91906200037f565b600f5560326200018d6012600a6200034e565b6200019d906305f5e10062000365565b620001a991906200037f565b6010555f601155600a620001bf6012826200034e565b620001cf906305f5e10062000365565b620001db91906200037f565b601255336001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002186012600a6200034e565b62000228906305f5e10062000365565b60405190815260200160405180910390a36200039f565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200029357815f19048211156200027757620002776200023f565b808516156200028557918102915b93841c939080029062000258565b509250929050565b5f82620002ab5750600162000348565b81620002b957505f62000348565b8160018114620002d25760028114620002dd57620002fd565b600191505062000348565b60ff841115620002f157620002f16200023f565b50506001821b62000348565b5060208310610133831016604e8410600b841016171562000322575081810a62000348565b6200032e838362000253565b805f19048211156200034457620003446200023f565b0290505b92915050565b5f6200035e60ff8416836200029b565b9392505050565b80820281158282048414176200034857620003486200023f565b5f826200039a57634e487b7160e01b5f52601260045260245ffd5b500490565b611a4d80620003ad5f395ff3fe60806040526004361061014a575f3560e01c8063715018a6116100b3578063a9059cbb1161006d578063a9059cbb1461036e578063bf474bed1461038d578063c876d0b9146103a2578063c9567bf9146103bb578063dd62ed3e146103cf578063ea414b2814610413575f80fd5b8063715018a6146102c6578063751039fc146102da5780637d1db4a5146102ee5780638da5cb5b146103035780638f9a55c01461032957806395d89b411461033e575f80fd5b8063313ce56711610104578063313ce567146102195780633ccfd60b14610234578063470624021461024a57806351bc3c851461025f57806352f7c9881461027357806370a0823114610292575f80fd5b806306fdde0314610155578063095ea7b31461017f5780630faee56f146101ae57806318160ddd146101d157806323b872dd146101e55780632b14ca5614610204575f80fd5b3661015157005b5f80fd5b348015610160575f80fd5b50610169610432565b60405161017691906115f5565b60405180910390f35b34801561018a575f80fd5b5061019e610199366004611654565b610452565b6040519015158152602001610176565b3480156101b9575f80fd5b506101c360125481565b604051908152602001610176565b3480156101dc575f80fd5b506101c3610468565b3480156101f0575f80fd5b5061019e6101ff36600461167e565b610488565b34801561020f575f80fd5b506101c3600e5481565b348015610224575f80fd5b5060405160128152602001610176565b34801561023f575f80fd5b506102486104ef565b005b348015610255575f80fd5b506101c3600d5481565b34801561026a575f80fd5b5061024861058e565b34801561027e575f80fd5b5061024861028d3660046116bc565b6105d0565b34801561029d575f80fd5b506101c36102ac3660046116dc565b6001600160a01b03165f9081526001602052604090205490565b3480156102d1575f80fd5b50610248610604565b3480156102e5575f80fd5b50610248610675565b3480156102f9575f80fd5b506101c3600f5481565b34801561030e575f80fd5b505f546040516001600160a01b039091168152602001610176565b348015610334575f80fd5b506101c360105481565b348015610349575f80fd5b506040805180820190915260088152672bb7b63321b7b93760c11b6020820152610169565b348015610379575f80fd5b5061019e610388366004611654565b610730565b348015610398575f80fd5b506101c360115481565b3480156103ad575f80fd5b5060065461019e9060ff1681565b3480156103c6575f80fd5b5061024861073c565b3480156103da575f80fd5b506101c36103e93660046116f7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561041e575f80fd5b5061024861042d3660046116dc565b610ae5565b60606040518060600160405280602e81526020016119c2602e9139905090565b5f61045e338484610b36565b5060015b92915050565b5f6104756012600a611822565b610483906305f5e100611830565b905090565b5f610494848484610ce2565b6104e584336104e0856040518060600160405280602881526020016119f0602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061129d565b610b36565b5060019392505050565b6006546040515f9161010090046001600160a01b03169047908381818185875af1925050503d805f811461053e576040519150601f19603f3d011682016040523d82523d5f602084013e610543565b606091505b505090508061058b5760405162461bcd60e51b815260206004820152600f60248201526e1dda5d1a191c985dc819985a5b1959608a1b60448201526064015b60405180910390fd5b50565b60065461010090046001600160a01b0316336001600160a01b0316146105b2575f80fd5b305f90815260016020526040902054801561058b5761058b816112d5565b5f546001600160a01b031633146105f95760405162461bcd60e51b815260040161058290611847565b600d91909155600e55565b5f546001600160a01b0316331461062d5760405162461bcd60e51b815260040161058290611847565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461069e5760405162461bcd60e51b815260040161058290611847565b6106aa6012600a611822565b6106b8906305f5e100611830565b600f556106c76012600a611822565b6106d5906305f5e100611830565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61070f6012600a611822565b61071d906305f5e100611830565b60405190815260200160405180910390a1565b5f61045e338484610ce2565b5f546001600160a01b031633146107655760405162461bcd60e51b815260040161058290611847565b601454600160a01b900460ff16156107bf5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610582565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556108089030906107fa6012600a611822565b6104e0906305f5e100611830565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610858573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061087c919061187c565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108db573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ff919061187c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610949573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061096d919061187c565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d71947306109b4816001600160a01b03165f9081526001602052604090205490565b5f806109c75f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a2d573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a529190611897565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610aa7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610acb91906118c2565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610b0e5760405162461bcd60e51b815260040161058290611847565b600680546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b6001600160a01b038316610b985760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610582565b6001600160a01b038216610bf95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610582565b6001600160a01b0383165f9081526003602052604090205460ff168015610c315750816001600160a01b0316836001600160a01b0316145b610c62576001600160a01b038084165f90815260026020908152604080832093861683529290522081905580610c7e565b6001600160a01b0382165f908152600160205260409020819055805b6001600160a01b038481165f818152600260209081526040808320948816808452948252918290209490945551848152919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610d465760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610582565b6001600160a01b038216610da85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610582565b5f8111610e095760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610582565b5f80546001600160a01b03858116911614801590610e3457505f546001600160a01b03848116911614155b1561116057610e66612710610e60600954600c5411610e5557600754610e59565b600d545b8590611450565b906114d5565b60065490915060ff1615610f4c576013546001600160a01b03848116911614801590610ea057506014546001600160a01b03848116911614155b15610f4c57325f908152600560205260409020544311610f3a5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610582565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610f7757506013546001600160a01b03848116911614155b8015610f9b57506001600160a01b0383165f9081526003602052604090205460ff16155b1561108157600f54821115610ff25760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610582565b60105482611014856001600160a01b03165f9081526001602052604090205490565b61101e91906118e1565b111561106c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610582565b600c8054905f61107b836118f4565b91905055505b6014546001600160a01b0384811691161480156110a757506001600160a01b0384163014155b156110d5576110d2612710610e60600a54600c54116110c857600854610e59565b600e548590611450565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561110b57506014546001600160a01b038581169116145b80156111205750601454600160b01b900460ff165b801561112d575060115481115b801561113c5750600b54600c54115b1561115e5761115e6111598461115484601254611516565b611516565b6112d5565b505b80156111d857305f9081526001602052604090205461117f908261152a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111cf9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111fa9083611588565b6001600160a01b0385165f9081526001602052604090205561123d61121f8383611588565b6001600160a01b0385165f908152600160205260409020549061152a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112868585611588565b60405190815260200160405180910390a350505050565b5f81848411156112c05760405162461bcd60e51b815260040161058291906115f5565b505f6112cc848661190c565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061131b5761131b61191f565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611372573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611396919061187c565b816001815181106113a9576113a961191f565b6001600160a01b0392831660209182029290920101526013546113cf9130911684610b36565b60135460065460405163791ac94760e01b81526001600160a01b039283169263791ac947926114129287925f928892610100909104909116904290600401611933565b5f604051808303815f87803b158015611429575f80fd5b505af115801561143b573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f825f0361145f57505f610462565b5f61146a8385611830565b90508261147785836119a2565b146114ce5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610582565b9392505050565b5f6114ce83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115c9565b5f81831161152457826114ce565b50919050565b5f8061153683856118e1565b9050838110156114ce5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610582565b5f6114ce83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061129d565b5f81836115e95760405162461bcd60e51b815260040161058291906115f5565b505f6112cc84866119a2565b5f6020808352835180828501525f5b8181101561162057858101830151858201604001528201611604565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461058b575f80fd5b5f8060408385031215611665575f80fd5b823561167081611640565b946020939093013593505050565b5f805f60608486031215611690575f80fd5b833561169b81611640565b925060208401356116ab81611640565b929592945050506040919091013590565b5f80604083850312156116cd575f80fd5b50508035926020909101359150565b5f602082840312156116ec575f80fd5b81356114ce81611640565b5f8060408385031215611708575f80fd5b823561171381611640565b9150602083013561172381611640565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561177c57815f19048211156117625761176261172e565b8085161561176f57918102915b93841c9390800290611747565b509250929050565b5f8261179257506001610462565b8161179e57505f610462565b81600181146117b457600281146117be576117da565b6001915050610462565b60ff8411156117cf576117cf61172e565b50506001821b610462565b5060208310610133831016604e8410600b84101617156117fd575081810a610462565b6118078383611742565b805f190482111561181a5761181a61172e565b029392505050565b5f6114ce60ff841683611784565b80820281158282048414176104625761046261172e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561188c575f80fd5b81516114ce81611640565b5f805f606084860312156118a9575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156118d2575f80fd5b815180151581146114ce575f80fd5b808201808211156104625761046261172e565b5f600182016119055761190561172e565b5060010190565b818103818111156104625761046261172e565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119815784516001600160a01b03168352938301939183019160010161195c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826119bc57634e487b7160e01b5f52601260045260245ffd5b50049056fe576f6c66436f726e5477697474657258456c6f6e4d75736b4f62616d614875616e674d656e67446f6765436f696e45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122064ce4fe31dc0ad7c2a192ca8437e132c8cc9baaa30169e1bd11e83066c6f526164736f6c63430008140033

0x60806040526004361061014a575f3560e01c8063715018a6116100b3578063a9059cbb1161006d578063a9059cbb1461036e578063bf474bed1461038d578063c876d0b9146103a2578063c9567bf9146103bb578063dd62ed3e146103cf578063ea414b2814610413575f80fd5b8063715018a6146102c6578063751039fc146102da5780637d1db4a5146102ee5780638da5cb5b146103035780638f9a55c01461032957806395d89b411461033e575f80fd5b8063313ce56711610104578063313ce567146102195780633ccfd60b14610234578063470624021461024a57806351bc3c851461025f57806352f7c9881461027357806370a0823114610292575f80fd5b806306fdde0314610155578063095ea7b31461017f5780630faee56f146101ae57806318160ddd146101d157806323b872dd146101e55780632b14ca5614610204575f80fd5b3661015157005b5f80fd5b348015610160575f80fd5b50610169610432565b60405161017691906115f5565b60405180910390f35b34801561018a575f80fd5b5061019e610199366004611654565b610452565b6040519015158152602001610176565b3480156101b9575f80fd5b506101c360125481565b604051908152602001610176565b3480156101dc575f80fd5b506101c3610468565b3480156101f0575f80fd5b5061019e6101ff36600461167e565b610488565b34801561020f575f80fd5b506101c3600e5481565b348015610224575f80fd5b5060405160128152602001610176565b34801561023f575f80fd5b506102486104ef565b005b348015610255575f80fd5b506101c3600d5481565b34801561026a575f80fd5b5061024861058e565b34801561027e575f80fd5b5061024861028d3660046116bc565b6105d0565b34801561029d575f80fd5b506101c36102ac3660046116dc565b6001600160a01b03165f9081526001602052604090205490565b3480156102d1575f80fd5b50610248610604565b3480156102e5575f80fd5b50610248610675565b3480156102f9575f80fd5b506101c3600f5481565b34801561030e575f80fd5b505f546040516001600160a01b039091168152602001610176565b348015610334575f80fd5b506101c360105481565b348015610349575f80fd5b506040805180820190915260088152672bb7b63321b7b93760c11b6020820152610169565b348015610379575f80fd5b5061019e610388366004611654565b610730565b348015610398575f80fd5b506101c360115481565b3480156103ad575f80fd5b5060065461019e9060ff1681565b3480156103c6575f80fd5b5061024861073c565b3480156103da575f80fd5b506101c36103e93660046116f7565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b34801561041e575f80fd5b5061024861042d3660046116dc565b610ae5565b60606040518060600160405280602e81526020016119c2602e9139905090565b5f61045e338484610b36565b5060015b92915050565b5f6104756012600a611822565b610483906305f5e100611830565b905090565b5f610494848484610ce2565b6104e584336104e0856040518060600160405280602881526020016119f0602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061129d565b610b36565b5060019392505050565b6006546040515f9161010090046001600160a01b03169047908381818185875af1925050503d805f811461053e576040519150601f19603f3d011682016040523d82523d5f602084013e610543565b606091505b505090508061058b5760405162461bcd60e51b815260206004820152600f60248201526e1dda5d1a191c985dc819985a5b1959608a1b60448201526064015b60405180910390fd5b50565b60065461010090046001600160a01b0316336001600160a01b0316146105b2575f80fd5b305f90815260016020526040902054801561058b5761058b816112d5565b5f546001600160a01b031633146105f95760405162461bcd60e51b815260040161058290611847565b600d91909155600e55565b5f546001600160a01b0316331461062d5760405162461bcd60e51b815260040161058290611847565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461069e5760405162461bcd60e51b815260040161058290611847565b6106aa6012600a611822565b6106b8906305f5e100611830565b600f556106c76012600a611822565b6106d5906305f5e100611830565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61070f6012600a611822565b61071d906305f5e100611830565b60405190815260200160405180910390a1565b5f61045e338484610ce2565b5f546001600160a01b031633146107655760405162461bcd60e51b815260040161058290611847565b601454600160a01b900460ff16156107bf5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610582565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556108089030906107fa6012600a611822565b6104e0906305f5e100611830565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610858573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061087c919061187c565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108db573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108ff919061187c565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610949573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061096d919061187c565b601480546001600160a01b039283166001600160a01b03199091161790556013541663f305d71947306109b4816001600160a01b03165f9081526001602052604090205490565b5f806109c75f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a2d573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610a529190611897565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610aa7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610acb91906118c2565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b03163314610b0e5760405162461bcd60e51b815260040161058290611847565b600680546001600160a01b0390921661010002610100600160a81b0319909216919091179055565b6001600160a01b038316610b985760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610582565b6001600160a01b038216610bf95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610582565b6001600160a01b0383165f9081526003602052604090205460ff168015610c315750816001600160a01b0316836001600160a01b0316145b610c62576001600160a01b038084165f90815260026020908152604080832093861683529290522081905580610c7e565b6001600160a01b0382165f908152600160205260409020819055805b6001600160a01b038481165f818152600260209081526040808320948816808452948252918290209490945551848152919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610d465760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610582565b6001600160a01b038216610da85760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610582565b5f8111610e095760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610582565b5f80546001600160a01b03858116911614801590610e3457505f546001600160a01b03848116911614155b1561116057610e66612710610e60600954600c5411610e5557600754610e59565b600d545b8590611450565b906114d5565b60065490915060ff1615610f4c576013546001600160a01b03848116911614801590610ea057506014546001600160a01b03848116911614155b15610f4c57325f908152600560205260409020544311610f3a5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610582565b325f9081526005602052604090204390555b6014546001600160a01b038581169116148015610f7757506013546001600160a01b03848116911614155b8015610f9b57506001600160a01b0383165f9081526003602052604090205460ff16155b1561108157600f54821115610ff25760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610582565b60105482611014856001600160a01b03165f9081526001602052604090205490565b61101e91906118e1565b111561106c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610582565b600c8054905f61107b836118f4565b91905055505b6014546001600160a01b0384811691161480156110a757506001600160a01b0384163014155b156110d5576110d2612710610e60600a54600c54116110c857600854610e59565b600e548590611450565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561110b57506014546001600160a01b038581169116145b80156111205750601454600160b01b900460ff165b801561112d575060115481115b801561113c5750600b54600c54115b1561115e5761115e6111598461115484601254611516565b611516565b6112d5565b505b80156111d857305f9081526001602052604090205461117f908261152a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111cf9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111fa9083611588565b6001600160a01b0385165f9081526001602052604090205561123d61121f8383611588565b6001600160a01b0385165f908152600160205260409020549061152a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112868585611588565b60405190815260200160405180910390a350505050565b5f81848411156112c05760405162461bcd60e51b815260040161058291906115f5565b505f6112cc848661190c565b95945050505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061131b5761131b61191f565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611372573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611396919061187c565b816001815181106113a9576113a961191f565b6001600160a01b0392831660209182029290920101526013546113cf9130911684610b36565b60135460065460405163791ac94760e01b81526001600160a01b039283169263791ac947926114129287925f928892610100909104909116904290600401611933565b5f604051808303815f87803b158015611429575f80fd5b505af115801561143b573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f825f0361145f57505f610462565b5f61146a8385611830565b90508261147785836119a2565b146114ce5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610582565b9392505050565b5f6114ce83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115c9565b5f81831161152457826114ce565b50919050565b5f8061153683856118e1565b9050838110156114ce5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610582565b5f6114ce83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061129d565b5f81836115e95760405162461bcd60e51b815260040161058291906115f5565b505f6112cc84866119a2565b5f6020808352835180828501525f5b8181101561162057858101830151858201604001528201611604565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461058b575f80fd5b5f8060408385031215611665575f80fd5b823561167081611640565b946020939093013593505050565b5f805f60608486031215611690575f80fd5b833561169b81611640565b925060208401356116ab81611640565b929592945050506040919091013590565b5f80604083850312156116cd575f80fd5b50508035926020909101359150565b5f602082840312156116ec575f80fd5b81356114ce81611640565b5f8060408385031215611708575f80fd5b823561171381611640565b9150602083013561172381611640565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561177c57815f19048211156117625761176261172e565b8085161561176f57918102915b93841c9390800290611747565b509250929050565b5f8261179257506001610462565b8161179e57505f610462565b81600181146117b457600281146117be576117da565b6001915050610462565b60ff8411156117cf576117cf61172e565b50506001821b610462565b5060208310610133831016604e8410600b84101617156117fd575081810a610462565b6118078383611742565b805f190482111561181a5761181a61172e565b029392505050565b5f6114ce60ff841683611784565b80820281158282048414176104625761046261172e565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561188c575f80fd5b81516114ce81611640565b5f805f606084860312156118a9575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156118d2575f80fd5b815180151581146114ce575f80fd5b808201808211156104625761046261172e565b5f600182016119055761190561172e565b5060010190565b818103818111156104625761046261172e565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156119815784516001600160a01b03168352938301939183019160010161195c565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826119bc57634e487b7160e01b5f52601260045260245ffd5b50049056fe576f6c66436f726e5477697474657258456c6f6e4d75736b4f62616d614875616e674d656e67446f6765436f696e45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122064ce4fe31dc0ad7c2a192ca8437e132c8cc9baaa30169e1bd11e83066c6f526164736f6c63430008140033

3942:9465:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6330:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7236:193;;;;;;;;;;-1:-1:-1;7236:193:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7236:193:0;1023:187:1;5190:26:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5190:26:0;1215:177:1;6607:95:0;;;;;;;;;;;;;:::i;7437:446::-;;;;;;;;;;-1:-1:-1;7437:446:0;;;;;:::i;:::-;;:::i;4766:28::-;;;;;;;;;;;;;;;;6516:83;;;;;;;;;;-1:-1:-1;6516:83:0;;4851:2;2000:36:1;;1988:2;1973:18;6516:83:0;1858:184:1;12969:195:0;;;;;;;;;;;;;:::i;:::-;;4719:27;;;;;;;;;;;;;;;;13172:232;;;;;;;;;;;;;:::i;6188:134::-;;;;;;;;;;-1:-1:-1;6188:134:0;;;;;:::i;:::-;;:::i;6710:119::-;;;;;;;;;;-1:-1:-1;6710:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6803:18:0;6776:7;6803:18;;;:9;:18;;;;;;;6710:119;2894:148;;;;;;;;;;;;;:::i;11850:201::-;;;;;;;;;;;;;:::i;5081:27::-;;;;;;;;;;;;;;;;2680:79;;;;;;;;;;-1:-1:-1;2718:7:0;2745:6;2680:79;;-1:-1:-1;;;;;2745:6:0;;;2698:51:1;;2686:2;2671:18;2680:79:0;2552:203:1;5115:29:0;;;;;;;;;;;;;;;;6421:87;;;;;;;;;;-1:-1:-1;6493:7:0;;;;;;;;;;;;-1:-1:-1;;;6493:7:0;;;;6421:87;;6837:199;;;;;;;;;;-1:-1:-1;6837:199:0;;;;;:::i;:::-;;:::i;5151:32::-;;;;;;;;;;;;;;;;4365:39;;;;;;;;;;-1:-1:-1;4365:39:0;;;;;;;;12059:865;;;;;;;;;;;;;:::i;7044:184::-;;;;;;;;;;-1:-1:-1;7044:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;7193:18:0;;;7161:7;7193:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7044:184;6072:108;;;;;;;;;;-1:-1:-1;6072:108:0;;;;;:::i;:::-;;:::i;6330:83::-;6367:13;6400:5;;;;;;;;;;;;;;;;;6393:12;;6330:83;:::o;7236:193::-;7338:4;7360:39;300:10;7383:7;7392:6;7360:8;:39::i;:::-;-1:-1:-1;7417:4:0;7236:193;;;;;:::o;6607:95::-;6660:7;4909:13;4851:2;4909;:13;:::i;:::-;4895:27;;:11;:27;:::i;:::-;6680:14;;6607:95;:::o;7437:446::-;7569:4;7586:36;7596:6;7604:9;7615:6;7586:9;:36::i;:::-;7633:220;7656:6;300:10;7704:138;7760:6;7704:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7704:19:0;;;;;;:11;:19;;;;;;;;300:10;7704:33;;;;;;;;;;:37;:138::i;:::-;7633:8;:220::i;:::-;-1:-1:-1;7871:4:0;7437:446;;;;;:::o;12969:195::-;13036:10;;13028:82;;13010:12;;13036:10;;;-1:-1:-1;;;;;13036:10:0;;13074:21;;13010:12;13028:82;13010:12;13028:82;13074:21;13036:10;13028:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13009:101;;;13129:7;13121:35;;;;-1:-1:-1;;;13121:35:0;;5253:2:1;13121:35:0;;;5235:21:1;5292:2;5272:18;;;5265:30;-1:-1:-1;;;5311:18:1;;;5304:45;5366:18;;13121:35:0;;;;;;;;;12998:166;12969:195::o;13172:232::-;13238:10;;;;;-1:-1:-1;;;;;13238:10:0;300;-1:-1:-1;;;;;13222:26:0;;13214:35;;;;;;13301:4;13260:20;6803:18;;;:9;:18;;;;;;13322:16;;13318:79;;13355:30;13372:12;13355:16;:30::i;6188:134::-;2807:6;;-1:-1:-1;;;;;2807:6:0;300:10;2807:22;2799:67;;;;-1:-1:-1;;;2799:67:0;;;;;;;:::i;:::-;6269:6:::1;:16:::0;;;;6296:7:::1;:18:::0;6188:134::o;2894:148::-;2807:6;;-1:-1:-1;;;;;2807:6:0;300:10;2807:22;2799:67;;;;-1:-1:-1;;;2799:67:0;;;;;;;:::i;:::-;3001:1:::1;2985:6:::0;;2964:40:::1;::::0;-1:-1:-1;;;;;2985:6:0;;::::1;::::0;2964:40:::1;::::0;3001:1;;2964:40:::1;3032:1;3015:19:::0;;-1:-1:-1;;;;;;3015:19:0::1;::::0;;2894:148::o;11850:201::-;2807:6;;-1:-1:-1;;;;;2807:6:0;300:10;2807:22;2799:67;;;;-1:-1:-1;;;2799:67:0;;;;;;;:::i;:::-;4909:13:::1;4851:2;4909;:13;:::i;:::-;4895:27;::::0;:11:::1;:27;:::i;:::-;11904:12;:22:::0;4909:13:::1;4851:2;4909;:13;:::i;:::-;4895:27;::::0;:11:::1;:27;:::i;:::-;11937:14;:24:::0;11972:20:::1;:28:::0;;-1:-1:-1;;11972:28:0::1;::::0;;12016:27:::1;4909:13;4851:2;-1:-1:-1::0;4909:13:0::1;:::i;:::-;4895:27;::::0;:11:::1;:27;:::i;:::-;12016;::::0;1361:25:1;;;1349:2;1334:18;12016:27:0::1;;;;;;;11850:201::o:0;6837:199::-;6942:4;6964:42;300:10;6988:9;6999:6;6964:9;:42::i;12059:865::-;2807:6;;-1:-1:-1;;;;;2807:6:0;300:10;2807:22;2799:67;;;;-1:-1:-1;;;2799:67:0;;;;;;;:::i;:::-;12121:11:::1;::::0;-1:-1:-1;;;12121:11:0;::::1;;;12120:12;12112:48;;;::::0;-1:-1:-1;;;12112:48:0;;5958:2:1;12112:48:0::1;::::0;::::1;5940:21:1::0;5997:2;5977:18;;;5970:30;6036:25;6016:18;;;6009:53;6079:18;;12112:48:0::1;5756:347:1::0;12112:48:0::1;12171:15;:104:::0;;-1:-1:-1;;;;;;12171:104:0::1;12222:42;12171:104:::0;;::::1;::::0;;;12286:58:::1;::::0;12303:4:::1;::::0;4909:13:::1;4851:2;4909;:13;:::i;:::-;4895:27;::::0;:11:::1;:27;:::i;12286:58::-;12389:15;;;;;;;;;-1:-1:-1::0;;;;;12389:15:0::1;-1:-1:-1::0;;;;;12389:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12371:55:0::1;;12449:4;12469:15;;;;;;;;;-1:-1:-1::0;;;;;12469:15:0::1;-1:-1:-1::0;;;;;12469:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12371:131;::::0;-1:-1:-1;;;;;;12371:131:0::1;::::0;;;;;;-1:-1:-1;;;;;6594:15:1;;;12371:131:0::1;::::0;::::1;6576:34:1::0;6646:15;;6626:18;;;6619:43;6511:18;;12371:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12355:13;:147:::0;;-1:-1:-1;;;;;12355:147:0;;::::1;-1:-1:-1::0;;;;;;12355:147:0;;::::1;;::::0;;12513:15:::1;::::0;::::1;:31;12552:21;12597:4;12617:24;12597:4:::0;-1:-1:-1;;;;;6803:18:0;6776:7;6803:18;;;:9;:18;;;;;;;6710:119;12617:24:::1;12656:1;12672::::0;12688:7:::1;2718::::0;2745:6;-1:-1:-1;;;;;2745:6:0;;2680:79;12688:7:::1;12513:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12513:223:0;;;-1:-1:-1;;;;;7032:15:1;;;12513:223:0::1;::::0;::::1;7014:34:1::0;7064:18;;;7057:34;;;;7107:18;;;7100:34;;;;7150:18;;;7143:34;7214:15;;;7193:19;;;7186:44;12710:15:0::1;7246:19:1::0;;;7239:35;6948:19;;12513:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12754:13:0::1;::::0;12799:15:::1;::::0;12747:111:::1;::::0;-1:-1:-1;;;12747:111:0;;-1:-1:-1;;;;;12799:15:0;;::::1;12747:111;::::0;::::1;7770:51:1::0;-1:-1:-1;;7837:18:1;;;7830:34;12754:13:0;::::1;::::0;-1:-1:-1;12747:29:0::1;::::0;7743:18:1;;12747:111:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12869:11:0::1;:18:::0;;-1:-1:-1;;;;12898:18:0;-1:-1:-1;;;12898:18:0;;;12059:865::o;6072:108::-;2807:6;;-1:-1:-1;;;;;2807:6:0;300:10;2807:22;2799:67;;;;-1:-1:-1;;;2799:67:0;;;;;;;:::i;:::-;6142:10:::1;:30:::0;;-1:-1:-1;;;;;6142:30:0;;::::1;;;-1:-1:-1::0;;;;;;6142:30:0;;::::1;::::0;;;::::1;::::0;;6072:108::o;7891:518::-;-1:-1:-1;;;;;8018:19:0;;8010:68;;;;-1:-1:-1;;;8010:68:0;;8359:2:1;8010:68:0;;;8341:21:1;8398:2;8378:18;;;8371:30;8437:34;8417:18;;;8410:62;-1:-1:-1;;;8488:18:1;;;8481:34;8532:19;;8010:68:0;8157:400:1;8010:68:0;-1:-1:-1;;;;;8097:21:0;;8089:68;;;;-1:-1:-1;;;8089:68:0;;8764:2:1;8089:68:0;;;8746:21:1;8803:2;8783:18;;;8776:30;8842:34;8822:18;;;8815:62;-1:-1:-1;;;8893:18:1;;;8886:32;8935:19;;8089:68:0;8562:398:1;8089:68:0;-1:-1:-1;;;;;8199:25:0;;;;;;:18;:25;;;;;;;;:58;;;;;8250:7;-1:-1:-1;;;;;8241:16:0;:5;-1:-1:-1;;;;;8241:16:0;;8199:58;8198:155;;-1:-1:-1;;;;;8317:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;:36;;;8347:6;8198:155;;;-1:-1:-1;;;;;8274:18:0;;;;;;:9;:18;;;;;:27;;;8295:6;8198:155;-1:-1:-1;;;;;8168:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:185;;;;8369:32;1361:25:1;;;8168:27:0;;:18;;8369:32;;1334:18:1;8369:32:0;;;;;;;7891:518;;;:::o;8417:2822::-;-1:-1:-1;;;;;8539:18:0;;8531:68;;;;-1:-1:-1;;;8531:68:0;;9167:2:1;8531:68:0;;;9149:21:1;9206:2;9186:18;;;9179:30;9245:34;9225:18;;;9218:62;-1:-1:-1;;;9296:18:1;;;9289:35;9341:19;;8531:68:0;8965:401:1;8531:68:0;-1:-1:-1;;;;;8618:16:0;;8610:64;;;;-1:-1:-1;;;8610:64:0;;9573:2:1;8610:64:0;;;9555:21:1;9612:2;9592:18;;;9585:30;9651:34;9631:18;;;9624:62;-1:-1:-1;;;9702:18:1;;;9695:33;9745:19;;8610:64:0;9371:399:1;8610:64:0;8702:1;8693:6;:10;8685:64;;;;-1:-1:-1;;;8685:64:0;;9977:2:1;8685:64:0;;;9959:21:1;10016:2;9996:18;;;9989:30;10055:34;10035:18;;;10028:62;-1:-1:-1;;;10106:18:1;;;10099:39;10155:19;;8685:64:0;9775:405:1;8685:64:0;8760:17;2745:6;;-1:-1:-1;;;;;8796:15:0;;;2745:6;;8796:15;;;;:32;;-1:-1:-1;2718:7:0;2745:6;-1:-1:-1;;;;;8815:13:0;;;2745:6;;8815:13;;8796:32;8792:2076;;;8857:204;9055:5;8857:175;8921:15;;8909:9;;:27;8908:105;;8999:14;;8908:105;;;8965:6;;8908:105;8857:6;;:28;:175::i;:::-;:197;;:204::i;:::-;9082:20;;8845:216;;-1:-1:-1;9082:20:0;;9078:522;;;9163:15;;-1:-1:-1;;;;;9149:30:0;;;9163:15;;9149:30;;;;:83;;-1:-1:-1;9218:13:0;;-1:-1:-1;;;;;9204:28:0;;;9218:13;;9204:28;;9149:83;9123:462;;;9338:9;9309:39;;;;:28;:39;;;;;;9351:12;-1:-1:-1;9275:213:0;;;;-1:-1:-1;;;9275:213:0;;10387:2:1;9275:213:0;;;10369:21:1;10426:2;10406:18;;;10399:30;10465:34;10445:18;;;10438:62;10536:34;10516:18;;;10509:62;-1:-1:-1;;;10587:19:1;;;10580:40;10637:19;;9275:213:0;10185:477:1;9275:213:0;9540:9;9511:39;;;;:28;:39;;;;;9553:12;9511:54;;9123:462;9646:13;;-1:-1:-1;;;;;9638:21:0;;;9646:13;;9638:21;:72;;;;-1:-1:-1;9694:15:0;;-1:-1:-1;;;;;9680:30:0;;;9694:15;;9680:30;;9638:72;:116;;;;-1:-1:-1;;;;;;9732:22:0;;;;;;:18;:22;;;;;;;;9731:23;9638:116;9616:438;;;9807:12;;9797:6;:22;;9789:60;;;;-1:-1:-1;;;9789:60:0;;10869:2:1;9789:60:0;;;10851:21:1;10908:2;10888:18;;;10881:30;10947:27;10927:18;;;10920:55;10992:18;;9789:60:0;10667:349:1;9789:60:0;9924:14;;9914:6;9898:13;9908:2;-1:-1:-1;;;;;6803:18:0;6776:7;6803:18;;;:9;:18;;;;;;;6710:119;9898:13;:22;;;;:::i;:::-;:40;;9868:140;;;;-1:-1:-1;;;9868:140:0;;11353:2:1;9868:140:0;;;11335:21:1;11392:2;11372:18;;;11365:30;11431:28;11411:18;;;11404:56;11477:18;;9868:140:0;11151:350:1;9868:140:0;10027:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9616:438;10080:13;;-1:-1:-1;;;;;10074:19:0;;;10080:13;;10074:19;:44;;;;-1:-1:-1;;;;;;10097:21:0;;10113:4;10097:21;;10074:44;10070:328;;;10151:231;10376:5;10151:198;10223:16;;10211:9;;:28;10210:116;;10311:15;;10210:116;;;10272:7;;10151:6;;:32;:198::i;:231::-;10139:243;;10070:328;10463:4;10414:28;6803:18;;;:9;:18;;;;;;10507:6;;-1:-1:-1;;;10507:6:0;;;;10506:7;:47;;;;-1:-1:-1;10540:13:0;;-1:-1:-1;;;;;10534:19:0;;;10540:13;;10534:19;10506:47;:79;;;;-1:-1:-1;10574:11:0;;-1:-1:-1;;;10574:11:0;;;;10506:79;:140;;;;;10629:17;;10606:20;:40;10506:140;:191;;;;;10679:18;;10667:9;;:30;10506:191;10484:373;;;10732:109;10771:51;10775:6;10783:38;10787:20;10809:11;;10783:3;:38::i;:::-;10771:3;:51::i;:::-;10732:16;:109::i;:::-;8830:2038;8792:2076;10884:13;;10880:172;;10959:4;10941:24;;;;:9;:24;;;;;;:39;;10970:9;10941:28;:39::i;:::-;10932:4;10914:24;;;;:9;:24;;;;;;;:66;;;;11000:40;;-1:-1:-1;;;;;11000:40:0;;;;;;;11030:9;1361:25:1;;1349:2;1334:18;;1215:177;11000:40:0;;;;;;;;10880:172;-1:-1:-1;;;;;11080:15:0;;;;;;:9;:15;;;;;;:27;;11100:6;11080:19;:27::i;:::-;-1:-1:-1;;;;;11062:15:0;;;;;;:9;:15;;;;;:45;11134:40;11152:21;:6;11163:9;11152:10;:21::i;:::-;-1:-1:-1;;;;;11134:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11118:13:0;;;;;;;:9;:13;;;;;:56;;;;11190:41;;;11209:21;:6;11220:9;11209:10;:21::i;:::-;11190:41;;1361:25:1;;;1349:2;1334:18;11190:41:0;;;;;;;8520:2719;8417:2822;;;:::o;1482:224::-;1602:7;1638:12;1630:6;;;;1622:29;;;;-1:-1:-1;;;1622:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1662:9:0;1674:5;1678:1;1674;:5;:::i;:::-;1662:17;1482:224;-1:-1:-1;;;;;1482:224:0:o;11362:480::-;5503:6;:13;;-1:-1:-1;;;;5503:13:0;-1:-1:-1;;;5503:13:0;;;11464:16:::1;::::0;;11478:1:::1;11464:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11464:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11464:16:0::1;11440:40;;11509:4;11491;11496:1;11491:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11491:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11535:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11535:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11491:7;;11535:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11525:4;11530:1;11525:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11525:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11600:15:::1;::::0;11568:62:::1;::::0;11585:4:::1;::::0;11600:15:::1;11618:11:::0;11568:8:::1;:62::i;:::-;11641:15;::::0;11783:10:::1;::::0;11641:193:::1;::::0;-1:-1:-1;;;11641:193:0;;-1:-1:-1;;;;;11641:15:0;;::::1;::::0;:66:::1;::::0;:193:::1;::::0;11722:11;;11641:15:::1;::::0;11764:4;;11641:15:::1;11783:10:::0;;::::1;::::0;;::::1;::::0;11808:15:::1;::::0;11641:193:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5539:6:0;:14;;-1:-1:-1;;;;5539:14:0;;;-1:-1:-1;;;;11362:480:0:o;1714:246::-;1772:7;1796:1;1801;1796:6;1792:47;;-1:-1:-1;1826:1:0;1819:8;;1792:47;1849:9;1861:5;1865:1;1861;:5;:::i;:::-;1849:17;-1:-1:-1;1894:1:0;1885:5;1889:1;1849:17;1885:5;:::i;:::-;:10;1877:56;;;;-1:-1:-1;;;1877:56:0;;13460:2:1;1877:56:0;;;13442:21:1;13499:2;13479:18;;;13472:30;13538:34;13518:18;;;13511:62;-1:-1:-1;;;13589:18:1;;;13582:31;13630:19;;1877:56:0;13258:397:1;1877:56:0;1951:1;1714:246;-1:-1:-1;;;1714:246:0:o;1968:132::-;2026:7;2053:39;2057:1;2060;2053:39;;;;;;;;;;;;;;;;;:3;:39::i;11247:107::-;11304:7;11336:1;11332;:5;11331:15;;11345:1;11331:15;;;-1:-1:-1;11341:1:0;11247:107;-1:-1:-1;11247:107:0:o;1151:179::-;1209:7;;1241:5;1245:1;1241;:5;:::i;:::-;1229:17;;1270:1;1265;:6;;1257:46;;;;-1:-1:-1;;;1257:46:0;;13862:2:1;1257:46:0;;;13844:21:1;13901:2;13881:18;;;13874:30;13940:29;13920:18;;;13913:57;13987:18;;1257:46:0;13660:351:1;1338:136:0;1396:7;1423:43;1427:1;1430;1423:43;;;;;;;;;;;;;;;;;:3;:43::i;2108:223::-;2228:7;2263:12;2256:5;2248:28;;;;-1:-1:-1;;;2248:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2287:9:0;2299:5;2303:1;2299;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:248::-;2115:6;2123;2176:2;2164:9;2155:7;2151:23;2147:32;2144:52;;;2192:1;2189;2182:12;2144:52;-1:-1:-1;;2215:23:1;;;2285:2;2270:18;;;2257:32;;-1:-1:-1;2047:248:1:o;2300:247::-;2359:6;2412:2;2400:9;2391:7;2387:23;2383:32;2380:52;;;2428:1;2425;2418:12;2380:52;2467:9;2454:23;2486:31;2511:5;2486:31;:::i;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:422;3374:1;3417:5;3374:1;3431:270;3452:7;3442:8;3439:21;3431:270;;;3511:4;3507:1;3503:6;3499:17;3493:4;3490:27;3487:53;;;3520:18;;:::i;:::-;3570:7;3560:8;3556:22;3553:55;;;3590:16;;;;3553:55;3669:22;;;;3629:15;;;;3431:270;;;3435:3;3285:422;;;;;:::o;3712:806::-;3761:5;3791:8;3781:80;;-1:-1:-1;3832:1:1;3846:5;;3781:80;3880:4;3870:76;;-1:-1:-1;3917:1:1;3931:5;;3870:76;3962:4;3980:1;3975:59;;;;4048:1;4043:130;;;;3955:218;;3975:59;4005:1;3996:10;;4019:5;;;4043:130;4080:3;4070:8;4067:17;4064:43;;;4087:18;;:::i;:::-;-1:-1:-1;;4143:1:1;4129:16;;4158:5;;3955:218;;4257:2;4247:8;4244:16;4238:3;4232:4;4229:13;4225:36;4219:2;4209:8;4206:16;4201:2;4195:4;4192:12;4188:35;4185:77;4182:159;;;-1:-1:-1;4294:19:1;;;4326:5;;4182:159;4373:34;4398:8;4392:4;4373:34;:::i;:::-;4443:6;4439:1;4435:6;4431:19;4422:7;4419:32;4416:58;;;4454:18;;:::i;:::-;4492:20;;3712:806;-1:-1:-1;;;3712:806:1:o;4523:140::-;4581:5;4610:47;4651:4;4641:8;4637:19;4631:4;4610:47;:::i;4668:168::-;4741:9;;;4772;;4789:15;;;4783:22;;4769:37;4759:71;;4810:18;;:::i;5395:356::-;5597:2;5579:21;;;5616:18;;;5609:30;5675:34;5670:2;5655:18;;5648:62;5742:2;5727:18;;5395:356::o;6108:251::-;6178:6;6231:2;6219:9;6210:7;6206:23;6202:32;6199:52;;;6247:1;6244;6237:12;6199:52;6279:9;6273:16;6298:31;6323:5;6298:31;:::i;7285:306::-;7373:6;7381;7389;7442:2;7430:9;7421:7;7417:23;7413:32;7410:52;;;7458:1;7455;7448:12;7410:52;7487:9;7481:16;7471:26;;7537:2;7526:9;7522:18;7516:25;7506:35;;7581:2;7570:9;7566:18;7560:25;7550:35;;7285:306;;;;;:::o;7875:277::-;7942:6;7995:2;7983:9;7974:7;7970:23;7966:32;7963:52;;;8011:1;8008;8001:12;7963:52;8043:9;8037:16;8096:5;8089:13;8082:21;8075:5;8072:32;8062:60;;8118:1;8115;8108:12;11021:125;11086:9;;;11107:10;;;11104:36;;;11120:18;;:::i;11506:135::-;11545:3;11566:17;;;11563:43;;11586:18;;:::i;:::-;-1:-1:-1;11633:1:1;11622:13;;11506:135::o;11646:128::-;11713:9;;;11734:11;;;11731:37;;;11748:18;;:::i;11911:127::-;11972:10;11967:3;11963:20;11960:1;11953:31;12003:4;12000:1;11993:15;12027:4;12024:1;12017:15;12043:988;12313:4;12361:3;12350:9;12346:19;12392:6;12381:9;12374:25;12418:2;12456:6;12451:2;12440:9;12436:18;12429:34;12499:3;12494:2;12483:9;12479:18;12472:31;12523:6;12558;12552:13;12589:6;12581;12574:22;12627:3;12616:9;12612:19;12605:26;;12666:2;12658:6;12654:15;12640:29;;12687:1;12697:195;12711:6;12708:1;12705:13;12697:195;;;12776:13;;-1:-1:-1;;;;;12772:39:1;12760:52;;12867:15;;;;12832:12;;;;12808:1;12726:9;12697:195;;;-1:-1:-1;;;;;;;12948:32:1;;;;12943:2;12928:18;;12921:60;-1:-1:-1;;;13012:3:1;12997:19;12990:35;12909:3;12043:988;-1:-1:-1;;;12043:988:1:o;13036:217::-;13076:1;13102;13092:132;;13146:10;13141:3;13137:20;13134:1;13127:31;13181:4;13178:1;13171:15;13209:4;13206:1;13199:15;13092:132;-1:-1:-1;13238:9:1;;13036:217::o

ipfs://64ce4fe31dc0ad7c2a192ca8437e132c8cc9baaa30169e1bd11e83066c6f5261