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-23
*/

/*

ELon named Marvin after Mars , he named him $MARVIN - The Martian Dog

Elon's Dog Marvin will be the first Dog on Mars.

https://x.com/elonmusk/status/1122660604953542658?s=46

https://x.com/elonmusk/status/1354029548334178304?s=46

https://x.com/elonmusk/status/1354202453252710402?s=46

https://t.me/Marvin_Elon

http://martian.my/

x.com/MARVIN__ERC20

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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

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

contract MARVIN is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private isExile;
    mapping (address => bool) public marketPair;
    mapping (uint256 => uint256) private perBuyCount;
    address payable private _taxWallet;
    uint256 private firstBlock = 0;

    uint256 private _initialBuyTax=20;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;

    uint256 private _reduceBuyTaxAt=30;

    uint256 private _reduceSellTaxAt=35;
    uint256 private _preventSwapBefore=35;
    uint256 private _buyCount=0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"The Martian Dog";
    string private constant _symbol = unicode"MARVIN";
    uint256 public _maxTxAmount =   8413800000 * 10**_decimals;
    uint256 public _maxWalletSize = 8413800000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 4206900000 * 10**_decimals;
    uint256 public _maxTaxSwap= 4206900000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 private sellsPerBlock = 3;
    uint256 private buysFirstBlock = 100;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {

        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        isExile[owner()] = true;
        isExile[address(this)] = true;
        isExile[address(uniswapV2Pair)] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;
        isExile[address(uniswapV2Pair)] = true;
    }

    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");
        uint256 taxAmount=0;

        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount> _reduceBuyTaxAt)? _finalBuyTax: _initialBuyTax).div(100);

            if(block.number == firstBlock){
               require(perBuyCount[block.number] < buysFirstBlock, "Exceeds buys on the first block.");
               perBuyCount[block.number]++;
            }

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

            if (!marketPair[to] && ! isExile[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

            if(marketPair[to] && from!= address(this) ){
                taxAmount = amount.mul((_buyCount> _reduceSellTaxAt)? _finalSellTax: _initialSellTax).div(100);
            }

	    if (!marketPair[from] && !marketPair[to] && from!= address(this) ) {
                taxAmount = 0;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < sellsPerBlock);
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }

            else if(!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

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

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

    function rescueETH() external {
        require(_msgSender() == _taxWallet);
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueTokens(address _tokenAddr, uint _amount) external {
        require(_msgSender() == _taxWallet);
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

    function isNotRestricted() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function enableTrading() 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;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• 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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isNotRestricted","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueTokens","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":[{"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":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f600755601460085560146009555f600a555f600b55601e600c556023600d556023600e555f600f555f6010555f6011556009600a6100439190610644565b610052906401f5806640610659565b6012556100616009600a610644565b610070906401f5806640610659565b60135561007f6009600a610644565b61008d9063fac03320610659565b60145561009c6009600a610644565b6100aa9063fac03320610659565b60155560036018556064601955601a805461ffff191690553480156100cd575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b0319163317905561012c6009600a610644565b61013b906461f313f880610659565b335f9081526001602081905260408220929092556003906101635f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556017549091168352912080549092161790556101c03390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101f76009600a610644565b610206906461f313f880610659565b60405190815260200160405180910390a3601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556102669030906102526009600a610644565b610261906461f313f880610659565b610426565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102b6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102da9190610670565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610339573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061035d9190610670565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156103a7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103cb9190610670565b601780546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff199081166001908117909255945490951683526003909152902080549091169091179055610696565b6001600160a01b03831661048d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166104ee5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610484565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561059c57815f19048211156105825761058261054e565b8085161561058f57918102915b93841c9390800290610567565b509250929050565b5f826105b25750600161063e565b816105be57505f61063e565b81600181146105d457600281146105de576105fa565b600191505061063e565b60ff8411156105ef576105ef61054e565b50506001821b61063e565b5060208310610133831016604e8410600b841016171561061d575081810a61063e565b6106278383610562565b805f190482111561063a5761063a61054e565b0290505b92915050565b5f61065260ff8416836105a4565b9392505050565b808202811582820484141761063e5761063e61054e565b5f60208284031215610680575f80fd5b81516001600160a01b0381168114610652575f80fd5b6119d5806106a35f395ff3fe608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b411461034a578063a9059cbb14610378578063bf474bed14610397578063dd62ed3e146103ac578063f2fde38b146103f0578063f5b3c3bf1461040f575f80fd5b8063715018a6146102dc5780637d1db4a5146102f05780638a8c523c146103055780638da5cb5b146103195780638f9a55c014610335575f80fd5b806320800a00116100f957806320800a001461020457806323b872dd14610218578063313ce5671461023757806349bd5a5e14610252578063573761981461028957806370a08231146102a8575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b31461019e5780630faee56f146101cd57806318160ddd146101f0575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5061015361043d565b005b348015610160575f80fd5b5060408051808201909152600f81526e546865204d61727469616e20446f6760881b60208201525b60405161019591906115df565b60405180910390f35b3480156101a9575f80fd5b506101bd6101b8366004611628565b6104fa565b6040519015158152602001610195565b3480156101d8575f80fd5b506101e260155481565b604051908152602001610195565b3480156101fb575f80fd5b506101e2610510565b34801561020f575f80fd5b50610153610531565b348015610223575f80fd5b506101bd610232366004611652565b610589565b348015610242575f80fd5b5060405160098152602001610195565b34801561025d575f80fd5b50601754610271906001600160a01b031681565b6040516001600160a01b039091168152602001610195565b348015610294575f80fd5b506101536102a3366004611628565b6105f0565b3480156102b3575f80fd5b506101e26102c2366004611690565b6001600160a01b03165f9081526001602052604090205490565b3480156102e7575f80fd5b50610153610688565b3480156102fb575f80fd5b506101e260125481565b348015610310575f80fd5b506101536106f9565b348015610324575f80fd5b505f546001600160a01b0316610271565b348015610340575f80fd5b506101e260135481565b348015610355575f80fd5b5060408051808201909152600681526526a0a92b24a760d11b6020820152610188565b348015610383575f80fd5b506101bd610392366004611628565b6108ed565b3480156103a2575f80fd5b506101e260145481565b3480156103b7575f80fd5b506101e26103c63660046116ab565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103fb575f80fd5b5061015361040a366004611690565b6108f9565b34801561041a575f80fd5b506101bd610429366004611690565b60046020525f908152604090205460ff1681565b5f546001600160a01b0316331461046f5760405162461bcd60e51b8152600401610466906116e2565b60405180910390fd5b61047b6009600a61180b565b61048a906461f313f880611819565b6012556104996009600a61180b565b6104a8906461f313f880611819565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d86009600a61180b565b6104e7906461f313f880611819565b60405190815260200160405180910390a1565b5f6105063384846109e0565b5060015b92915050565b5f61051d6009600a61180b565b61052c906461f313f880611819565b905090565b6006546001600160a01b0316336001600160a01b031614610550575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610586573d5f803e3d5ffd5b50565b5f610595848484610b03565b6105e684336105e185604051806060016040528060288152602001611978602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611260565b6109e0565b5060019392505050565b6006546001600160a01b0316336001600160a01b03161461060f575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af115801561065f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106839190611830565b505050565b5f546001600160a01b031633146106b15760405162461bcd60e51b8152600401610466906116e2565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107225760405162461bcd60e51b8152600401610466906116e2565b601754600160a01b900460ff161561077c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610466565b6016546001600160a01b031663f305d71947306107ad816001600160a01b03165f9081526001602052604090205490565b5f806107c05f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610826573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061084b919061184f565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108a0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c49190611830565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610506338484610b03565b5f546001600160a01b031633146109225760405162461bcd60e51b8152600401610466906116e2565b6001600160a01b0381166109875760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610466565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a425760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610466565b6001600160a01b038216610aa35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610466565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b675760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610466565b6001600160a01b038216610bc95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610466565b5f8111610c2a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610466565b5f80546001600160a01b03858116911614801590610c5557505f546001600160a01b03848116911614155b1561112357610c866064610c80600c54600f5411610c7557600854610c79565b600a545b8590611298565b9061131d565b90506007544303610d1057601954435f9081526005602052604090205410610cf05760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610466565b435f908152600560205260408120805491610d0a8361187a565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d4557506016546001600160a01b03848116911614155b8015610d6957506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4f57601254821115610dc05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610466565b60135482610de2856001600160a01b03165f9081526001602052604090205490565b610dec9190611892565b1115610e3a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610466565b600f8054905f610e498361187a565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e8f57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0e5760135482610eb6856001600160a01b03165f9081526001602052604090205490565b610ec09190611892565b1115610f0e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610466565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3e57506001600160a01b0384163014155b15610f6b57610f686064610c80600d54600f5411610f5e57600954610c79565b600b548590611298565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fab57506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fc057506001600160a01b0384163014155b15610fc857505f5b305f90815260016020526040902054601a5460ff1615801561100157506001600160a01b0384165f9081526004602052604090205460ff165b80156110145750601a54610100900460ff165b8015611021575060145481115b80156110305750600e54600f54115b1561109e57601154431115611044575f6010555b60185460105410611053575f80fd5b61107061106b846110668460155461135e565b61135e565b611372565b47801561108057611080476114d9565b60108054905f61108f8361187a565b90915550504360115550611121565b601a5460ff161580156110c857506001600160a01b0384165f9081526004602052604090205460ff165b80156110db5750601a54610100900460ff165b80156110e8575060145481115b80156110f75750600e54600f54115b156111215761110f61106b846110668460155461135e565b47801561111f5761111f476114d9565b505b505b801561119b57305f908152600160205260409020546111429082611514565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111929085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111bd9083611572565b6001600160a01b0385165f908152600160205260409020556112006111e28383611572565b6001600160a01b0385165f9081526001602052604090205490611514565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112498585611572565b60405190815260200160405180910390a350505050565b5f81848411156112835760405162461bcd60e51b815260040161046691906115df565b505f61128f84866118a5565b95945050505050565b5f825f036112a757505f61050a565b5f6112b28385611819565b9050826112bf85836118b8565b146113165760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610466565b9392505050565b5f61131683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b3565b5f81831161136c5782611316565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113b2576113b26118d7565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611409573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142d91906118eb565b81600181518110611440576114406118d7565b6001600160a01b03928316602091820292909201015260165461146691309116846109e0565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac9479061149e9085905f90869030904290600401611906565b5f604051808303815f87803b1580156114b5575f80fd5b505af11580156114c7573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611510573d5f803e3d5ffd5b5050565b5f806115208385611892565b9050838110156113165760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610466565b5f61131683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611260565b5f81836115d35760405162461bcd60e51b815260040161046691906115df565b505f61128f84866118b8565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610586575f80fd5b5f8060408385031215611639575f80fd5b823561164481611614565b946020939093013593505050565b5f805f60608486031215611664575f80fd5b833561166f81611614565b9250602084013561167f81611614565b929592945050506040919091013590565b5f602082840312156116a0575f80fd5b813561131681611614565b5f80604083850312156116bc575f80fd5b82356116c781611614565b915060208301356116d781611614565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561176557815f190482111561174b5761174b611717565b8085161561175857918102915b93841c9390800290611730565b509250929050565b5f8261177b5750600161050a565b8161178757505f61050a565b816001811461179d57600281146117a7576117c3565b600191505061050a565b60ff8411156117b8576117b8611717565b50506001821b61050a565b5060208310610133831016604e8410600b84101617156117e6575081810a61050a565b6117f0838361172b565b805f190482111561180357611803611717565b029392505050565b5f61131660ff84168361176d565b808202811582820484141761050a5761050a611717565b5f60208284031215611840575f80fd5b81518015158114611316575f80fd5b5f805f60608486031215611861575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188b5761188b611717565b5060010190565b8082018082111561050a5761050a611717565b8181038181111561050a5761050a611717565b5f826118d257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118fb575f80fd5b815161131681611614565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119565784516001600160a01b031683529383019391830191600101611931565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202ceb64b358a0e0108da3b15c993746b987952f8c18a44ba55ec9058944fa512864736f6c63430008190033

0x608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b411461034a578063a9059cbb14610378578063bf474bed14610397578063dd62ed3e146103ac578063f2fde38b146103f0578063f5b3c3bf1461040f575f80fd5b8063715018a6146102dc5780637d1db4a5146102f05780638a8c523c146103055780638da5cb5b146103195780638f9a55c014610335575f80fd5b806320800a00116100f957806320800a001461020457806323b872dd14610218578063313ce5671461023757806349bd5a5e14610252578063573761981461028957806370a08231146102a8575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b31461019e5780630faee56f146101cd57806318160ddd146101f0575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5061015361043d565b005b348015610160575f80fd5b5060408051808201909152600f81526e546865204d61727469616e20446f6760881b60208201525b60405161019591906115df565b60405180910390f35b3480156101a9575f80fd5b506101bd6101b8366004611628565b6104fa565b6040519015158152602001610195565b3480156101d8575f80fd5b506101e260155481565b604051908152602001610195565b3480156101fb575f80fd5b506101e2610510565b34801561020f575f80fd5b50610153610531565b348015610223575f80fd5b506101bd610232366004611652565b610589565b348015610242575f80fd5b5060405160098152602001610195565b34801561025d575f80fd5b50601754610271906001600160a01b031681565b6040516001600160a01b039091168152602001610195565b348015610294575f80fd5b506101536102a3366004611628565b6105f0565b3480156102b3575f80fd5b506101e26102c2366004611690565b6001600160a01b03165f9081526001602052604090205490565b3480156102e7575f80fd5b50610153610688565b3480156102fb575f80fd5b506101e260125481565b348015610310575f80fd5b506101536106f9565b348015610324575f80fd5b505f546001600160a01b0316610271565b348015610340575f80fd5b506101e260135481565b348015610355575f80fd5b5060408051808201909152600681526526a0a92b24a760d11b6020820152610188565b348015610383575f80fd5b506101bd610392366004611628565b6108ed565b3480156103a2575f80fd5b506101e260145481565b3480156103b7575f80fd5b506101e26103c63660046116ab565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103fb575f80fd5b5061015361040a366004611690565b6108f9565b34801561041a575f80fd5b506101bd610429366004611690565b60046020525f908152604090205460ff1681565b5f546001600160a01b0316331461046f5760405162461bcd60e51b8152600401610466906116e2565b60405180910390fd5b61047b6009600a61180b565b61048a906461f313f880611819565b6012556104996009600a61180b565b6104a8906461f313f880611819565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d86009600a61180b565b6104e7906461f313f880611819565b60405190815260200160405180910390a1565b5f6105063384846109e0565b5060015b92915050565b5f61051d6009600a61180b565b61052c906461f313f880611819565b905090565b6006546001600160a01b0316336001600160a01b031614610550575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610586573d5f803e3d5ffd5b50565b5f610595848484610b03565b6105e684336105e185604051806060016040528060288152602001611978602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611260565b6109e0565b5060019392505050565b6006546001600160a01b0316336001600160a01b03161461060f575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af115801561065f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106839190611830565b505050565b5f546001600160a01b031633146106b15760405162461bcd60e51b8152600401610466906116e2565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107225760405162461bcd60e51b8152600401610466906116e2565b601754600160a01b900460ff161561077c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610466565b6016546001600160a01b031663f305d71947306107ad816001600160a01b03165f9081526001602052604090205490565b5f806107c05f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610826573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061084b919061184f565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156108a0573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108c49190611830565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610506338484610b03565b5f546001600160a01b031633146109225760405162461bcd60e51b8152600401610466906116e2565b6001600160a01b0381166109875760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610466565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a425760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610466565b6001600160a01b038216610aa35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610466565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b675760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610466565b6001600160a01b038216610bc95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610466565b5f8111610c2a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610466565b5f80546001600160a01b03858116911614801590610c5557505f546001600160a01b03848116911614155b1561112357610c866064610c80600c54600f5411610c7557600854610c79565b600a545b8590611298565b9061131d565b90506007544303610d1057601954435f9081526005602052604090205410610cf05760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610466565b435f908152600560205260408120805491610d0a8361187a565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d4557506016546001600160a01b03848116911614155b8015610d6957506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4f57601254821115610dc05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610466565b60135482610de2856001600160a01b03165f9081526001602052604090205490565b610dec9190611892565b1115610e3a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610466565b600f8054905f610e498361187a565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e8f57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0e5760135482610eb6856001600160a01b03165f9081526001602052604090205490565b610ec09190611892565b1115610f0e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610466565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3e57506001600160a01b0384163014155b15610f6b57610f686064610c80600d54600f5411610f5e57600954610c79565b600b548590611298565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fab57506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fc057506001600160a01b0384163014155b15610fc857505f5b305f90815260016020526040902054601a5460ff1615801561100157506001600160a01b0384165f9081526004602052604090205460ff165b80156110145750601a54610100900460ff165b8015611021575060145481115b80156110305750600e54600f54115b1561109e57601154431115611044575f6010555b60185460105410611053575f80fd5b61107061106b846110668460155461135e565b61135e565b611372565b47801561108057611080476114d9565b60108054905f61108f8361187a565b90915550504360115550611121565b601a5460ff161580156110c857506001600160a01b0384165f9081526004602052604090205460ff165b80156110db5750601a54610100900460ff165b80156110e8575060145481115b80156110f75750600e54600f54115b156111215761110f61106b846110668460155461135e565b47801561111f5761111f476114d9565b505b505b801561119b57305f908152600160205260409020546111429082611514565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111929085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111bd9083611572565b6001600160a01b0385165f908152600160205260409020556112006111e28383611572565b6001600160a01b0385165f9081526001602052604090205490611514565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112498585611572565b60405190815260200160405180910390a350505050565b5f81848411156112835760405162461bcd60e51b815260040161046691906115df565b505f61128f84866118a5565b95945050505050565b5f825f036112a757505f61050a565b5f6112b28385611819565b9050826112bf85836118b8565b146113165760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610466565b9392505050565b5f61131683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115b3565b5f81831161136c5782611316565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113b2576113b26118d7565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611409573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142d91906118eb565b81600181518110611440576114406118d7565b6001600160a01b03928316602091820292909201015260165461146691309116846109e0565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac9479061149e9085905f90869030904290600401611906565b5f604051808303815f87803b1580156114b5575f80fd5b505af11580156114c7573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611510573d5f803e3d5ffd5b5050565b5f806115208385611892565b9050838110156113165760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610466565b5f61131683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611260565b5f81836115d35760405162461bcd60e51b815260040161046691906115df565b505f61128f84866118b8565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610586575f80fd5b5f8060408385031215611639575f80fd5b823561164481611614565b946020939093013593505050565b5f805f60608486031215611664575f80fd5b833561166f81611614565b9250602084013561167f81611614565b929592945050506040919091013590565b5f602082840312156116a0575f80fd5b813561131681611614565b5f80604083850312156116bc575f80fd5b82356116c781611614565b915060208301356116d781611614565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561176557815f190482111561174b5761174b611717565b8085161561175857918102915b93841c9390800290611730565b509250929050565b5f8261177b5750600161050a565b8161178757505f61050a565b816001811461179d57600281146117a7576117c3565b600191505061050a565b60ff8411156117b8576117b8611717565b50506001821b61050a565b5060208310610133831016604e8410600b84101617156117e6575081810a61050a565b6117f0838361172b565b805f190482111561180357611803611717565b029392505050565b5f61131660ff84168361176d565b808202811582820484141761050a5761050a611717565b5f60208284031215611840575f80fd5b81518015158114611316575f80fd5b5f805f60608486031215611861575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188b5761188b611717565b5060010190565b8082018082111561050a5761050a611717565b8181038181111561050a5761050a611717565b5f826118d257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118fb575f80fd5b815161131681611614565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119565784516001600160a01b031683529383019391830191600101611931565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202ceb64b358a0e0108da3b15c993746b987952f8c18a44ba55ec9058944fa512864736f6c63430008190033

4107:8837:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12306:162;;;;;;;;;;;;;:::i;:::-;;6563:83;;;;;;;;;;-1:-1:-1;6633:5:0;;;;;;;;;;;;-1:-1:-1;;;6633:5:0;;;;6563:83;;;;;;;:::i;:::-;;;;;;;;7396:161;;;;;;;;;;-1:-1:-1;7396:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7396:161:0;893:187:1;5381:54:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5381:54:0;1085:177:1;6840:95:0;;;;;;;;;;;;;:::i;11966:146::-;;;;;;;;;;;;;:::i;7565:313::-;;;;;;;;;;-1:-1:-1;7565:313:0;;;;;:::i;:::-;;:::i;6749:83::-;;;;;;;;;;-1:-1:-1;6749:83:0;;4987:1;1870:36:1;;1858:2;1843:18;6749:83:0;1728:184:1;5493:28:0;;;;;;;;;;-1:-1:-1;5493:28:0;;;;-1:-1:-1;;;;;5493:28:0;;;;;;-1:-1:-1;;;;;2081:32:1;;;2063:51;;2051:2;2036:18;5493:28:0;1917:203:1;12120:178:0;;;;;;;;;;-1:-1:-1;12120:178:0;;;;;:::i;:::-;;:::i;6943:119::-;;;;;;;;;;-1:-1:-1;6943:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7036:18:0;7009:7;7036:18;;;:9;:18;;;;;;;6943:119;2938:148;;;;;;;;;;;;;:::i;5184:58::-;;;;;;;;;;;;;;;;12476:428;;;;;;;;;;;;;:::i;2724:79::-;;;;;;;;;;-1:-1:-1;2762:7:0;2789:6;-1:-1:-1;;;;;2789:6:0;2724:79;;5249:58;;;;;;;;;;;;;;;;6654:87;;;;;;;;;;-1:-1:-1;6726:7:0;;;;;;;;;;;;-1:-1:-1;;;6726:7:0;;;;6654:87;;7070:167;;;;;;;;;;-1:-1:-1;7070:167:0;;;;;:::i;:::-;;:::i;5314:60::-;;;;;;;;;;;;;;;;7245:143;;;;;;;;;;-1:-1:-1;7245:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7353:18:0;;;7326:7;7353:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7245:143;3094:244;;;;;;;;;;-1:-1:-1;3094:244:0;;;;;:::i;:::-;;:::i;4368:43::-;;;;;;;;;;-1:-1:-1;4368:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;12306:162;2851:6;;-1:-1:-1;;;;;2851:6:0;559:10;2851:22;2843:67;;;;-1:-1:-1;;;2843:67:0;;;;;;;:::i;:::-;;;;;;;;;5045:13:::1;4987:1;5045:2;:13;:::i;:::-;5030:28;::::0;:12:::1;:28;:::i;:::-;12362:12;:22:::0;5045:13:::1;4987:1;5045:2;:13;:::i;:::-;5030:28;::::0;:12:::1;:28;:::i;:::-;12395:14;:22:::0;12433:27:::1;5045:13;4987:1;5045:2;:13;:::i;:::-;5030:28;::::0;:12:::1;:28;:::i;:::-;12433:27;::::0;1231:25:1;;;1219:2;1204:18;12433:27:0::1;;;;;;;12306:162::o:0;7396:161::-;7471:4;7488:39;559:10;7511:7;7520:6;7488:8;:39::i;:::-;-1:-1:-1;7545:4:0;7396:161;;;;;:::o;6840:95::-;6893:7;5045:13;4987:1;5045:2;:13;:::i;:::-;5030:28;;:12;:28;:::i;:::-;6913:14;;6840:95;:::o;11966:146::-;12031:10;;-1:-1:-1;;;;;12031:10:0;559;-1:-1:-1;;;;;12015:26:0;;12007:35;;;;;;12061:10;;12053:51;;-1:-1:-1;;;;;12061:10:0;;;;12082:21;12053:51;;;;;12061:10;12053:51;12061:10;12053:51;12082:21;12061:10;12053:51;;;;;;;;;;;;;;;;;;;;;11966:146::o;7565:313::-;7663:4;7680:36;7690:6;7698:9;7709:6;7680:9;:36::i;:::-;7727:121;7736:6;559:10;7758:89;7796:6;7758:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7758:19:0;;;;;;:11;:19;;;;;;;;559:10;7758:33;;;;;;;;;;:37;:89::i;:::-;7727:8;:121::i;:::-;-1:-1:-1;7866:4:0;7565:313;;;;;:::o;12120:178::-;12220:10;;-1:-1:-1;;;;;12220:10:0;559;-1:-1:-1;;;;;12204:26:0;;12196:35;;;;;;12270:10;;12242:48;;-1:-1:-1;;;12242:48:0;;-1:-1:-1;;;;;12270:10:0;;;12242:48;;;4995:51:1;5062:18;;;5055:34;;;12242:27:0;;;;;;4968:18:1;;12242:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12120:178;;:::o;2938:148::-;2851:6;;-1:-1:-1;;;;;2851:6:0;559:10;2851:22;2843:67;;;;-1:-1:-1;;;2843:67:0;;;;;;;:::i;:::-;3045:1:::1;3029:6:::0;;3008:40:::1;::::0;-1:-1:-1;;;;;3029:6:0;;::::1;::::0;3008:40:::1;::::0;3045:1;;3008:40:::1;3076:1;3059:19:::0;;-1:-1:-1;;;;;;3059:19:0::1;::::0;;2938:148::o;12476:428::-;2851:6;;-1:-1:-1;;;;;2851:6:0;559:10;2851:22;2843:67;;;;-1:-1:-1;;;2843:67:0;;;;;;;:::i;:::-;12542:11:::1;::::0;-1:-1:-1;;;12542:11:0;::::1;;;12541:12;12533:47;;;::::0;-1:-1:-1;;;12533:47:0;;5584:2:1;12533:47:0::1;::::0;::::1;5566:21:1::0;5623:2;5603:18;;;5596:30;5662:25;5642:18;;;5635:53;5705:18;;12533:47:0::1;5382:347:1::0;12533:47:0::1;12591:15;::::0;-1:-1:-1;;;;;12591:15:0::1;:31;12630:21;12661:4;12667:24;12661:4:::0;-1:-1:-1;;;;;7036:18:0;7009:7;7036:18;;;:9;:18;;;;;;;6943:119;12667:24:::1;12692:1;12694::::0;12696:7:::1;2762::::0;2789:6;-1:-1:-1;;;;;2789:6:0;;2724:79;12696:7:::1;12591:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12591:129:0;;;-1:-1:-1;;;;;6093:15:1;;;12591:129:0::1;::::0;::::1;6075:34:1::0;6125:18;;;6118:34;;;;6168:18;;;6161:34;;;;6211:18;;;6204:34;6275:15;;;6254:19;;;6247:44;12704:15:0::1;6307:19:1::0;;;6300:35;6009:19;;12591:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12738:13:0::1;::::0;12769:15:::1;::::0;12731:71:::1;::::0;-1:-1:-1;;;12731:71:0;;-1:-1:-1;;;;;12769:15:0;;::::1;12731:71;::::0;::::1;4995:51:1::0;-1:-1:-1;;5062:18:1;;;5055:34;12738:13:0;::::1;::::0;-1:-1:-1;12731:29:0::1;::::0;4968:18:1;;12731:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12813:11:0::1;:18:::0;;-1:-1:-1;;12813:18:0::1;;;::::0;;12842:11:::1;:18:::0;;-1:-1:-1;;;;12842:18:0::1;-1:-1:-1::0;;;12842:18:0::1;::::0;;12884:12:::1;12871:10;:25:::0;12476:428::o;7070:167::-;7148:4;7165:42;559:10;7189:9;7200:6;7165:9;:42::i;3094:244::-;2851:6;;-1:-1:-1;;;;;2851:6:0;559:10;2851:22;2843:67;;;;-1:-1:-1;;;2843:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3183:22:0;::::1;3175:73;;;::::0;-1:-1:-1;;;3175:73:0;;7138:2:1;3175:73:0::1;::::0;::::1;7120:21:1::0;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:36;7313:19;;3175:73:0::1;6936:402:1::0;3175:73:0::1;3285:6;::::0;;3264:38:::1;::::0;-1:-1:-1;;;;;3264:38:0;;::::1;::::0;3285:6;::::1;::::0;3264:38:::1;::::0;::::1;3313:6;:17:::0;;-1:-1:-1;;;;;;3313:17:0::1;-1:-1:-1::0;;;;;3313:17:0;;;::::1;::::0;;;::::1;::::0;;3094:244::o;7886:335::-;-1:-1:-1;;;;;7979:19:0;;7971:68;;;;-1:-1:-1;;;7971:68:0;;7545:2:1;7971:68:0;;;7527:21:1;7584:2;7564:18;;;7557:30;7623:34;7603:18;;;7596:62;-1:-1:-1;;;7674:18:1;;;7667:34;7718:19;;7971:68:0;7343:400:1;7971:68:0;-1:-1:-1;;;;;8058:21:0;;8050:68;;;;-1:-1:-1;;;8050:68:0;;7950:2:1;8050:68:0;;;7932:21:1;7989:2;7969:18;;;7962:30;8028:34;8008:18;;;8001:62;-1:-1:-1;;;8079:18:1;;;8072:32;8121:19;;8050:68:0;7748:398:1;8050:68:0;-1:-1:-1;;;;;8129:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8181:32;;1231:25:1;;;8181:32:0;;1204:18:1;8181:32:0;;;;;;;7886:335;;;:::o;8229:3030::-;-1:-1:-1;;;;;8317:18:0;;8309:68;;;;-1:-1:-1;;;8309:68:0;;8353:2:1;8309:68:0;;;8335:21:1;8392:2;8372:18;;;8365:30;8431:34;8411:18;;;8404:62;-1:-1:-1;;;8482:18:1;;;8475:35;8527:19;;8309:68:0;8151:401:1;8309:68:0;-1:-1:-1;;;;;8396:16:0;;8388:64;;;;-1:-1:-1;;;8388:64:0;;8759:2:1;8388:64:0;;;8741:21:1;8798:2;8778:18;;;8771:30;8837:34;8817:18;;;8810:62;-1:-1:-1;;;8888:18:1;;;8881:33;8931:19;;8388:64:0;8557:399:1;8388:64:0;8480:1;8471:6;:10;8463:64;;;;-1:-1:-1;;;8463:64:0;;9163:2:1;8463:64:0;;;9145:21:1;9202:2;9182:18;;;9175:30;9241:34;9221:18;;;9214:62;-1:-1:-1;;;9292:18:1;;;9285:39;9341:19;;8463:64:0;8961:405:1;8463:64:0;8538:17;2789:6;;-1:-1:-1;;;;;8574:15:0;;;2789:6;;8574:15;;;;:32;;-1:-1:-1;2762:7:0;2789:6;-1:-1:-1;;;;;8593:13:0;;;2789:6;;8593:13;;8574:32;8570:2333;;;8635:79;8710:3;8635:70;8658:15;;8647:9;;:26;8646:58;;8690:14;;8646:58;;;8676:12;;8646:58;8635:6;;:10;:70::i;:::-;:74;;:79::i;:::-;8623:91;;8750:10;;8734:12;:26;8731:196;;8815:14;;8799:12;8787:25;;;;:11;:25;;;;;;:42;8779:87;;;;-1:-1:-1;;;8779:87:0;;9573:2:1;8779:87:0;;;9555:21:1;;;9592:18;;;9585:30;9651:34;9631:18;;;9624:62;9703:18;;8779:87:0;9371:356:1;8779:87:0;8896:12;8884:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8731:196;-1:-1:-1;;;;;8947:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;8981:15:0;;-1:-1:-1;;;;;8967:30:0;;;8981:15;;8967:30;;8947:50;:67;;;;-1:-1:-1;;;;;;9003:11:0;;;;;;:7;:11;;;;;;;;9001:13;8947:67;8943:297;;;9054:12;;9044:6;:22;;9036:60;;;;-1:-1:-1;;;9036:60:0;;10074:2:1;9036:60:0;;;10056:21:1;10113:2;10093:18;;;10086:30;10152:27;10132:18;;;10125:55;10197:18;;9036:60:0;9872:349:1;9036:60:0;9149:14;;9139:6;9123:13;9133:2;-1:-1:-1;;;;;7036:18:0;7009:7;7036:18;;;:9;:18;;;;;;;6943:119;9123:13;:22;;;;:::i;:::-;:40;;9115:79;;;;-1:-1:-1;;;9115:79:0;;10558:2:1;9115:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9115:79:0;10356:350:1;9115:79:0;9213:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8943:297;-1:-1:-1;;;;;9261:14:0;;;;;;:10;:14;;;;;;;;9260:15;:32;;;;-1:-1:-1;;;;;;9281:11:0;;;;;;:7;:11;;;;;;;;9279:13;9260:32;9256:152;;;9347:14;;9337:6;9321:13;9331:2;-1:-1:-1;;;;;7036:18:0;7009:7;7036:18;;;:9;:18;;;;;;;6943:119;9321:13;:22;;;;:::i;:::-;:40;;9313:79;;;;-1:-1:-1;;;9313:79:0;;10558:2:1;9313:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9313:79:0;10356:350:1;9313:79:0;-1:-1:-1;;;;;9427:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9445:20:0;;9460:4;9445:20;;9427:38;9424:172;;;9498:82;9576:3;9498:73;9521:16;;9510:9;;:27;9509:61;;9555:15;;9509:61;;;9540:13;;9498:6;;:10;:73::i;:82::-;9486:94;;9424:172;-1:-1:-1;;;;;9610:16:0;;;;;;:10;:16;;;;;;;;9609:17;:36;;;;-1:-1:-1;;;;;;9631:14:0;;;;;;:10;:14;;;;;;;;9630:15;9609:36;:60;;;;-1:-1:-1;;;;;;9649:20:0;;9664:4;9649:20;;9609:60;9605:115;;;-1:-1:-1;9703:1:0;9605:115;9785:4;9736:28;7036:18;;;:9;:18;;;;;;9811:6;;;;9810:7;:25;;;;-1:-1:-1;;;;;;9821:14:0;;;;;;:10;:14;;;;;;;;9810:25;:40;;;;-1:-1:-1;9839:11:0;;;;;;;9810:40;:82;;;;;9875:17;;9854:20;:38;9810:82;:114;;;;;9906:18;;9896:9;;:28;9810:114;9806:1086;;;9964:13;;9949:12;:28;9945:90;;;10014:1;10002:9;:13;9945:90;10073:13;;10061:9;;:25;10053:34;;;;;;10106:67;10123:49;10127:6;10134:37;10138:20;10159:11;;10134:3;:37::i;:::-;10123:3;:49::i;:::-;10106:16;:67::i;:::-;10221:21;10264:22;;10261:105;;10311:35;10324:21;10311:12;:35::i;:::-;10384:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10430:12:0;10414:13;:28;-1:-1:-1;9806:1086:0;;;10483:6;;;;10482:7;:25;;;;-1:-1:-1;;;;;;10493:14:0;;;;;;:10;:14;;;;;;;;10482:25;:40;;;;-1:-1:-1;10511:11:0;;;;;;;10482:40;:82;;;;;10547:17;;10526:20;:38;10482:82;:114;;;;;10578:18;;10568:9;;:28;10482:114;10479:413;;;10617:67;10634:49;10638:6;10645:37;10649:20;10670:11;;10645:3;:37::i;10617:67::-;10732:21;10775:22;;10772:105;;10822:35;10835:21;10822:12;:35::i;:::-;10598:294;10479:413;8608:2295;8570:2333;10918:11;;10915:161;;10986:4;10968:24;;;;:9;:24;;;;;;:39;;10997:9;10968:28;:39::i;:::-;10961:4;10943:24;;;;:9;:24;;;;;;;:64;;;;11025:39;;-1:-1:-1;;;;;11025:39:0;;;;;;;11054:9;1231:25:1;;1219:2;1204:18;;1085:177;11025:39:0;;;;;;;;10915:161;-1:-1:-1;;;;;11102:15:0;;;;;;:9;:15;;;;;;:27;;11122:6;11102:19;:27::i;:::-;-1:-1:-1;;;;;11086:15:0;;;;;;:9;:15;;;;;:43;11154:40;11172:21;:6;11183:9;11172:10;:21::i;:::-;-1:-1:-1;;;;;11154:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11140:13:0;;;;;;;:9;:13;;;;;:54;;;;11210:41;;;11229:21;:6;11240:9;11229:10;:21::i;:::-;11210:41;;1231:25:1;;;1219:2;1204:18;11210:41:0;;;;;;;8298:2961;8229:3030;;;:::o;1616:190::-;1702:7;1738:12;1730:6;;;;1722:29;;;;-1:-1:-1;;;1722:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1762:9:0;1774:5;1778:1;1774;:5;:::i;:::-;1762:17;1616:190;-1:-1:-1;;;;;1616:190:0:o;1814:246::-;1872:7;1896:1;1901;1896:6;1892:47;;-1:-1:-1;1926:1:0;1919:8;;1892:47;1949:9;1961:5;1965:1;1961;:5;:::i;:::-;1949:17;-1:-1:-1;1994:1:0;1985:5;1989:1;1949:17;1985:5;:::i;:::-;:10;1977:56;;;;-1:-1:-1;;;1977:56:0;;11268:2:1;1977:56:0;;;11250:21:1;11307:2;11287:18;;;11280:30;11346:34;11326:18;;;11319:62;-1:-1:-1;;;11397:18:1;;;11390:31;11438:19;;1977:56:0;11066:397:1;1977:56:0;2051:1;1814:246;-1:-1:-1;;;1814:246:0:o;2068:132::-;2126:7;2153:39;2157:1;2160;2153:39;;;;;;;;;;;;;;;;;:3;:39::i;11269:98::-;11326:7;11353:1;11351;:3;11350:9;;11358:1;11350:9;;;-1:-1:-1;11356:1:0;11269:98;-1:-1:-1;11269:98:0:o;11375:483::-;5799:6;:13;;-1:-1:-1;;5799:13:0;5808:4;5799:13;;;11477:16:::1;::::0;;11491:1:::1;11477:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11477:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11477:16:0::1;11453:40;;11522:4;11504;11509:1;11504:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11504:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11548:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11548:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11504:7;;11548:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11538:4;11543:1;11538:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11538:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11613:15:::1;::::0;11581:62:::1;::::0;11598:4:::1;::::0;11613:15:::1;11631:11:::0;11581:8:::1;:62::i;:::-;11654:15;::::0;:196:::1;::::0;-1:-1:-1;;;11654:196:0;;-1:-1:-1;;;;;11654:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11735:11;;11654:15:::1;::::0;11777:4;;11804::::1;::::0;11824:15:::1;::::0;11654:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5835:6:0;:14;;-1:-1:-1;;5835:14:0;;;-1:-1:-1;;;;11375:483:0:o;11866:92::-;11923:10;;:27;;-1:-1:-1;;;;;11923:10:0;;;;:27;;;;;11943:6;;11923:10;:27;:10;:27;11943:6;11923:10;:27;;;;;;;;;;;;;;;;;;;;;11866:92;:::o;1285:179::-;1343:7;;1375:5;1379:1;1375;:5;:::i;:::-;1363:17;;1404:1;1399;:6;;1391:46;;;;-1:-1:-1;;;1391:46:0;;13175:2:1;1391:46:0;;;13157:21:1;13214:2;13194:18;;;13187:30;13253:29;13233:18;;;13226:57;13300:18;;1391:46:0;12973:351:1;1472:136:0;1530:7;1557:43;1561:1;1564;1557:43;;;;;;;;;;;;;;;;;:3;:43::i;2208:189::-;2294:7;2329:12;2322:5;2314:28;;;;-1:-1:-1;;;2314:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2353:9:0;2365:5;2369:1;2365;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:315;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;2125:247::-;2184:6;2237:2;2225:9;2216:7;2212:23;2208:32;2205:52;;;2253:1;2250;2243:12;2205:52;2292:9;2279:23;2311:31;2336:5;2311:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:356::-;2972:2;2954:21;;;2991:18;;;2984:30;3050:34;3045:2;3030:18;;3023:62;3117:2;3102:18;;2770:356::o;3131:127::-;3192:10;3187:3;3183:20;3180:1;3173:31;3223:4;3220:1;3213:15;3247:4;3244:1;3237:15;3263:416;3352:1;3389:5;3352:1;3403:270;3424:7;3414:8;3411:21;3403:270;;;3483:4;3479:1;3475:6;3471:17;3465:4;3462:27;3459:53;;;3492:18;;:::i;:::-;3542:7;3532:8;3528:22;3525:55;;;3562:16;;;;3525:55;3641:22;;;;3601:15;;;;3403:270;;;3407:3;3263:416;;;;;:::o;3684:806::-;3733:5;3763:8;3753:80;;-1:-1:-1;3804:1:1;3818:5;;3753:80;3852:4;3842:76;;-1:-1:-1;3889:1:1;3903:5;;3842:76;3934:4;3952:1;3947:59;;;;4020:1;4015:130;;;;3927:218;;3947:59;3977:1;3968:10;;3991:5;;;4015:130;4052:3;4042:8;4039:17;4036:43;;;4059:18;;:::i;:::-;-1:-1:-1;;4115:1:1;4101:16;;4130:5;;3927:218;;4229:2;4219:8;4216:16;4210:3;4204:4;4201:13;4197:36;4191:2;4181:8;4178:16;4173:2;4167:4;4164:12;4160:35;4157:77;4154:159;;;-1:-1:-1;4266:19:1;;;4298:5;;4154:159;4345:34;4370:8;4364:4;4345:34;:::i;:::-;4415:6;4411:1;4407:6;4403:19;4394:7;4391:32;4388:58;;;4426:18;;:::i;:::-;4464:20;;3684:806;-1:-1:-1;;;3684:806:1:o;4495:140::-;4553:5;4582:47;4623:4;4613:8;4609:19;4603:4;4582:47;:::i;4640:168::-;4713:9;;;4744;;4761:15;;;4755:22;;4741:37;4731:71;;4782:18;;:::i;5100:277::-;5167:6;5220:2;5208:9;5199:7;5195:23;5191:32;5188:52;;;5236:1;5233;5226:12;5188:52;5268:9;5262:16;5321:5;5314:13;5307:21;5300:5;5297:32;5287:60;;5343:1;5340;5333:12;6346:306;6434:6;6442;6450;6503:2;6491:9;6482:7;6478:23;6474:32;6471:52;;;6519:1;6516;6509:12;6471:52;6548:9;6542:16;6532:26;;6598:2;6587:9;6583:18;6577:25;6567:35;;6642:2;6631:9;6627:18;6621:25;6611:35;;6346:306;;;;;:::o;9732:135::-;9771:3;9792:17;;;9789:43;;9812:18;;:::i;:::-;-1:-1:-1;9859:1:1;9848:13;;9732:135::o;10226:125::-;10291:9;;;10312:10;;;10309:36;;;10325:18;;:::i;10711:128::-;10778:9;;;10799:11;;;10796:37;;;10813:18;;:::i;10844:217::-;10884:1;10910;10900:132;;10954:10;10949:3;10945:20;10942:1;10935:31;10989:4;10986:1;10979:15;11017:4;11014:1;11007:15;10900:132;-1:-1:-1;11046:9:1;;10844:217::o;11600:127::-;11661:10;11656:3;11652:20;11649:1;11642:31;11692:4;11689:1;11682:15;11716:4;11713:1;11706:15;11732:251;11802:6;11855:2;11843:9;11834:7;11830:23;11826:32;11823:52;;;11871:1;11868;11861:12;11823:52;11903:9;11897:16;11922:31;11947:5;11922:31;:::i;11988:980::-;12250:4;12298:3;12287:9;12283:19;12329:6;12318:9;12311:25;12355:2;12393:6;12388:2;12377:9;12373:18;12366:34;12436:3;12431:2;12420:9;12416:18;12409:31;12460:6;12495;12489:13;12526:6;12518;12511:22;12564:3;12553:9;12549:19;12542:26;;12603:2;12595:6;12591:15;12577:29;;12624:1;12634:195;12648:6;12645:1;12642:13;12634:195;;;12713:13;;-1:-1:-1;;;;;12709:39:1;12697:52;;12804:15;;;;12769:12;;;;12745:1;12663:9;12634:195;;;-1:-1:-1;;;;;;;12885:32:1;;;;12880:2;12865:18;;12858:60;-1:-1:-1;;;12949:3:1;12934:19;12927:35;12846:3;11988:980;-1:-1:-1;;;11988:980:1:o

ipfs://2ceb64b358a0e0108da3b15c993746b987952f8c18a44ba55ec9058944fa5128