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, ...  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 OPTIMI 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 swapTokensForEth(uint256 tok ...    - function updateTax(uint256 BuyTax, ui ...    - function removeLimits()    - function openTrading()    - function manualSwap()    - function sendETHToFee(uint256 amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-17
*/

/*

Elon has tweeted 3 times that he is going to create OPTIMOUSE to take Mickey Mouse down, following Disney's pausing advertising on Elon's X. 

#OPTIMINNIE is #OPTIMOUSE's girlfriend similar to Minnie Mouse in the Mickey Mouse series. She is now here to fight Elon's freedom of speech war against Disney.

https://t.me/OPTIMINNIE
https://x.com/OPTIMINNIE
https://medium.com/@OPTIMINNIE
https://optiminnie.pro/

*/

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

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

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 OPTIMI is Context, IERC20, Ownable {
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private _devWallet;
    address payable private _marketingWallet;

    string private constant _name =    unicode"OPTIMINNIE";
    string private constant _symbol =  unicode"OPTIMI";
    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 1 * 1e8 * 10**_decimals;
    uint256 public _BuyTax=            20;
    uint256 public _SellTax=           35;
    uint256 public _maxTxAmount =      _tTotal * 2 / 100;
    uint256 public _maxWalletSize =    _tTotal * 2 / 100;
    uint256 public _taxSwapThreshold=  _tTotal * 5 / 10000;
    uint256 public _maxTaxSwap=        _tTotal * 1 / 100;

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

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

    constructor () {
        _devWallet = payable(_msgSender());
        _marketingWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_devWallet] = true;
        _isExcludedFromFee[_marketingWallet] = 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) {
        require(_allowances[sender][_msgSender()] >= amount, "Transfer amount exceeds allowance");
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()] - amount);
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: Can't approve from the zero address");
        require(spender != address(0), "ERC20: Can't 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: Can't transfer from the zero address");
        require(to != address(0), "ERC20: Can't transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (!_isExcludedFromFee[from] && !_isExcludedFromFee[to]) {

            if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount < _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount < _maxWalletSize, "Exceeds the _maxWalletSize.");
            }
            
            if(from == uniswapV2Pair && to != address(this)){
                taxAmount = amount * _BuyTax / 100;
            }
            if(to == uniswapV2Pair && from != address(this)){
                taxAmount = amount * _SellTax / 100;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold) {
                uint256 amountToSwap = (amount < contractTokenBalance && amount < _maxTaxSwap) ? amount : (contractTokenBalance < _maxTaxSwap) ? contractTokenBalance : _maxTaxSwap;
                swapTokensForEth(amountToSwap);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

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

    function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
        if(tokenAmount==0){return;}
        if(!tradingOpen){return;}
        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 updateTax(uint256 BuyTax, uint256 SellTax) external onlyOwner {
        _BuyTax = BuyTax;
        _SellTax= SellTax; 
    }

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

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

    function manualSwap() external onlyOwner {
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }

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

    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":"_BuyTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_SellTax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"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":"uint256","name":"BuyTax","type":"uint256"},{"internalType":"uint256","name":"SellTax","type":"uint256"}],"name":"updateTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526014600655602360075560646200001e6012600a620003a4565b6200002e906305f5e100620003bb565b6200003b906002620003bb565b620000479190620003d5565b60085560646200005a6012600a620003a4565b6200006a906305f5e100620003bb565b62000077906002620003bb565b620000839190620003d5565b600955612710620000976012600a620003a4565b620000a7906305f5e100620003bb565b620000b4906005620003bb565b620000c09190620003d5565b600a5560646012600a620000d59190620003a4565b620000e5906305f5e100620003bb565b620000f2906001620003bb565b620000fe9190620003d5565b600b55600d805461ffff60a81b191690553480156200011b575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060048054336001600160a01b031991821681179092556005805490911690911790556200018c6012600a620003a4565b6200019c906305f5e100620003bb565b335f908152600160208190526040822092909255600390620001c55f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600454821684528284208054861682179055600554909116835291208054909216179055620002353390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200026e6012600a620003a4565b6200027e906305f5e100620003bb565b60405190815260200160405180910390a3620003f5565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002e957815f1904821115620002cd57620002cd62000295565b80851615620002db57918102915b93841c9390800290620002ae565b509250929050565b5f8262000301575060016200039e565b816200030f57505f6200039e565b8160018114620003285760028114620003335762000353565b60019150506200039e565b60ff84111562000347576200034762000295565b50506001821b6200039e565b5060208310610133831016604e8410600b841016171562000378575081810a6200039e565b620003848383620002a9565b805f19048211156200039a576200039a62000295565b0290505b92915050565b5f620003b460ff841683620002f1565b9392505050565b80820281158282048414176200039e576200039e62000295565b5f82620003f057634e487b7160e01b5f52601260045260245ffd5b500490565b61160e80620004035f395ff3fe608060405260043610610129575f3560e01c8063715018a6116100a8578063901849d61161006d578063901849d61461030e57806395d89b4114610323578063a9059cbb14610351578063bf474bed14610370578063c9567bf914610385578063dd62ed3e14610399575f80fd5b8063715018a614610296578063751039fc146102aa5780637d1db4a5146102be5780638da5cb5b146102d35780638f9a55c0146102f9575f80fd5b80632f37aa6d116100ee5780632f37aa6d146101fd578063313ce5671461021e57806343b8fe041461023957806351bc3c851461024e57806370a0823114610262575f80fd5b806306fdde0314610134578063095ea7b3146101785780630faee56f146101a757806318160ddd146101ca57806323b872dd146101de575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600a8152694f5054494d494e4e494560b01b60208201525b60405161016f9190611217565b60405180910390f35b348015610183575f80fd5b5061019761019236600461127a565b6103dd565b604051901515815260200161016f565b3480156101b2575f80fd5b506101bc600b5481565b60405190815260200161016f565b3480156101d5575f80fd5b506101bc6103f3565b3480156101e9575f80fd5b506101976101f83660046112a4565b610413565b348015610208575f80fd5b5061021c6102173660046112e2565b6104e3565b005b348015610229575f80fd5b506040516012815260200161016f565b348015610244575f80fd5b506101bc60075481565b348015610259575f80fd5b5061021c610517565b34801561026d575f80fd5b506101bc61027c366004611302565b6001600160a01b03165f9081526001602052604090205490565b3480156102a1575f80fd5b5061021c610572565b3480156102b5575f80fd5b5061021c6105e3565b3480156102c9575f80fd5b506101bc60085481565b3480156102de575f80fd5b505f546040516001600160a01b03909116815260200161016f565b348015610304575f80fd5b506101bc60095481565b348015610319575f80fd5b506101bc60065481565b34801561032e575f80fd5b506040805180820190915260068152654f5054494d4960d01b6020820152610162565b34801561035c575f80fd5b5061019761036b36600461127a565b610694565b34801561037b575f80fd5b506101bc600a5481565b348015610390575f80fd5b5061021c6106a0565b3480156103a4575f80fd5b506101bc6103b3366004611324565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103e9338484610a49565b5060015b92915050565b5f6104006012600a61144f565b61040e906305f5e10061145d565b905090565b6001600160a01b0383165f9081526002602090815260408083203384529091528120548211156104945760405162461bcd60e51b815260206004820152602160248201527f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636044820152606560f81b60648201526084015b60405180910390fd5b61049f848484610b79565b6001600160a01b0384165f908152600260209081526040808320338085529252909120546104d99186916104d4908690611474565b610a49565b5060019392505050565b5f546001600160a01b0316331461050c5760405162461bcd60e51b815260040161048b90611487565b600691909155600755565b5f546001600160a01b031633146105405760405162461bcd60e51b815260040161048b90611487565b305f90815260016020526040902054801561055e5761055e81611057565b47801561056e5761056e816111e0565b5050565b5f546001600160a01b0316331461059b5760405162461bcd60e51b815260040161048b90611487565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461060c5760405162461bcd60e51b815260040161048b90611487565b6106186012600a61144f565b610626906305f5e10061145d565b6008556106356012600a61144f565b610643906305f5e10061145d565b6009557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106736012600a61144f565b610681906305f5e10061145d565b60405190815260200160405180910390a1565b5f6103e9338484610b79565b5f546001600160a01b031633146106c95760405162461bcd60e51b815260040161048b90611487565b600d54600160a01b900460ff16156107235760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161048b565b600c80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561076c90309061075e6012600a61144f565b6104d4906305f5e10061145d565b600c5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107bc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107e091906114bc565b6001600160a01b031663c9c6539630600c5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086391906114bc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108ad573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108d191906114bc565b600d80546001600160a01b039283166001600160a01b0319909116179055600c541663f305d7194730610918816001600160a01b03165f9081526001602052604090205490565b5f8061092b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610991573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109b691906114d7565b5050600d54600c5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a0b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a2f9190611502565b50600d805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ab25760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b606482015260840161048b565b6001600160a01b038216610b195760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b606482015260840161048b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610be35760405162461bcd60e51b815260206004820152602b60248201527f45524332303a2043616e2774207472616e736665722066726f6d20746865207a60448201526a65726f206164647265737360a81b606482015260840161048b565b6001600160a01b038216610c4b5760405162461bcd60e51b815260206004820152602960248201527f45524332303a2043616e2774207472616e7366657220746f20746865207a65726044820152686f206164647265737360b81b606482015260840161048b565b5f8111610cac5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161048b565b6001600160a01b0383165f9081526003602052604081205460ff16158015610cec57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f2657600d546001600160a01b038581169116148015610d1c5750600c546001600160a01b03848116911614155b15610deb576008548210610d725760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161048b565b60095482610d94856001600160a01b03165f9081526001602052604090205490565b610d9e9190611521565b10610deb5760405162461bcd60e51b815260206004820152601b60248201527f4578636565647320746865205f6d617857616c6c657453697a652e0000000000604482015260640161048b565b600d546001600160a01b038581169116148015610e1157506001600160a01b0383163014155b15610e3357606460065483610e26919061145d565b610e309190611534565b90505b600d546001600160a01b038481169116148015610e5957506001600160a01b0384163014155b15610e7b57606460075483610e6e919061145d565b610e789190611534565b90505b305f90815260016020526040902054600d54600160a81b900460ff16158015610eb15750600d546001600160a01b038581169116145b8015610ec65750600d54600160b01b900460ff165b8015610ed35750600a5481115b15610f24575f8184108015610ee95750600b5484105b610f0457600b548210610efe57600b54610f06565b81610f06565b835b9050610f1181611057565b478015610f2157610f21476111e0565b50505b505b8015610f9057305f9081526001602052604081208054839290610f4a908490611521565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f90815260016020526040902054610fb3908390611474565b6001600160a01b0385165f90815260016020526040902055610fd58183611474565b6001600160a01b0384165f90815260016020526040902054610ff79190611521565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110408486611474565b60405190815260200160405180910390a350505050565b600d805460ff60a81b1916600160a81b17905580156111d057600d54600160a01b900460ff16156111d0576040805160028082526060820183525f9260208301908036833701905050905030815f815181106110b5576110b5611553565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561110c573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061113091906114bc565b8160018151811061114357611143611553565b6001600160a01b039283166020918202929092010152600c546111699130911684610a49565b600c5460405163791ac94760e01b81526001600160a01b039091169063791ac947906111a19085905f90869030904290600401611567565b5f604051808303815f87803b1580156111b8575f80fd5b505af11580156111ca573d5f803e3d5ffd5b50505050505b50600d805460ff60a81b19169055565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561056e573d5f803e3d5ffd5b5f602080835283518060208501525f5b8181101561124357858101830151858201604001528201611227565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611277575f80fd5b50565b5f806040838503121561128b575f80fd5b823561129681611263565b946020939093013593505050565b5f805f606084860312156112b6575f80fd5b83356112c181611263565b925060208401356112d181611263565b929592945050506040919091013590565b5f80604083850312156112f3575f80fd5b50508035926020909101359150565b5f60208284031215611312575f80fd5b813561131d81611263565b9392505050565b5f8060408385031215611335575f80fd5b823561134081611263565b9150602083013561135081611263565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156113a957815f190482111561138f5761138f61135b565b8085161561139c57918102915b93841c9390800290611374565b509250929050565b5f826113bf575060016103ed565b816113cb57505f6103ed565b81600181146113e157600281146113eb57611407565b60019150506103ed565b60ff8411156113fc576113fc61135b565b50506001821b6103ed565b5060208310610133831016604e8410600b841016171561142a575081810a6103ed565b611434838361136f565b805f19048211156114475761144761135b565b029392505050565b5f61131d60ff8416836113b1565b80820281158282048414176103ed576103ed61135b565b818103818111156103ed576103ed61135b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156114cc575f80fd5b815161131d81611263565b5f805f606084860312156114e9575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611512575f80fd5b8151801515811461131d575f80fd5b808201808211156103ed576103ed61135b565b5f8261154e57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156115b75784516001600160a01b031683529383019391830191600101611592565b50506001600160a01b0396909616606085015250505060800152939250505056fea2646970667358221220f2688276baf68855f89fd9160214e726b1497ab6b7e6725e2eef94fd46383bd464736f6c63430008170033

0x608060405260043610610129575f3560e01c8063715018a6116100a8578063901849d61161006d578063901849d61461030e57806395d89b4114610323578063a9059cbb14610351578063bf474bed14610370578063c9567bf914610385578063dd62ed3e14610399575f80fd5b8063715018a614610296578063751039fc146102aa5780637d1db4a5146102be5780638da5cb5b146102d35780638f9a55c0146102f9575f80fd5b80632f37aa6d116100ee5780632f37aa6d146101fd578063313ce5671461021e57806343b8fe041461023957806351bc3c851461024e57806370a0823114610262575f80fd5b806306fdde0314610134578063095ea7b3146101785780630faee56f146101a757806318160ddd146101ca57806323b872dd146101de575f80fd5b3661013057005b5f80fd5b34801561013f575f80fd5b5060408051808201909152600a8152694f5054494d494e4e494560b01b60208201525b60405161016f9190611217565b60405180910390f35b348015610183575f80fd5b5061019761019236600461127a565b6103dd565b604051901515815260200161016f565b3480156101b2575f80fd5b506101bc600b5481565b60405190815260200161016f565b3480156101d5575f80fd5b506101bc6103f3565b3480156101e9575f80fd5b506101976101f83660046112a4565b610413565b348015610208575f80fd5b5061021c6102173660046112e2565b6104e3565b005b348015610229575f80fd5b506040516012815260200161016f565b348015610244575f80fd5b506101bc60075481565b348015610259575f80fd5b5061021c610517565b34801561026d575f80fd5b506101bc61027c366004611302565b6001600160a01b03165f9081526001602052604090205490565b3480156102a1575f80fd5b5061021c610572565b3480156102b5575f80fd5b5061021c6105e3565b3480156102c9575f80fd5b506101bc60085481565b3480156102de575f80fd5b505f546040516001600160a01b03909116815260200161016f565b348015610304575f80fd5b506101bc60095481565b348015610319575f80fd5b506101bc60065481565b34801561032e575f80fd5b506040805180820190915260068152654f5054494d4960d01b6020820152610162565b34801561035c575f80fd5b5061019761036b36600461127a565b610694565b34801561037b575f80fd5b506101bc600a5481565b348015610390575f80fd5b5061021c6106a0565b3480156103a4575f80fd5b506101bc6103b3366004611324565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103e9338484610a49565b5060015b92915050565b5f6104006012600a61144f565b61040e906305f5e10061145d565b905090565b6001600160a01b0383165f9081526002602090815260408083203384529091528120548211156104945760405162461bcd60e51b815260206004820152602160248201527f5472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636044820152606560f81b60648201526084015b60405180910390fd5b61049f848484610b79565b6001600160a01b0384165f908152600260209081526040808320338085529252909120546104d99186916104d4908690611474565b610a49565b5060019392505050565b5f546001600160a01b0316331461050c5760405162461bcd60e51b815260040161048b90611487565b600691909155600755565b5f546001600160a01b031633146105405760405162461bcd60e51b815260040161048b90611487565b305f90815260016020526040902054801561055e5761055e81611057565b47801561056e5761056e816111e0565b5050565b5f546001600160a01b0316331461059b5760405162461bcd60e51b815260040161048b90611487565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461060c5760405162461bcd60e51b815260040161048b90611487565b6106186012600a61144f565b610626906305f5e10061145d565b6008556106356012600a61144f565b610643906305f5e10061145d565b6009557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106736012600a61144f565b610681906305f5e10061145d565b60405190815260200160405180910390a1565b5f6103e9338484610b79565b5f546001600160a01b031633146106c95760405162461bcd60e51b815260040161048b90611487565b600d54600160a01b900460ff16156107235760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161048b565b600c80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561076c90309061075e6012600a61144f565b6104d4906305f5e10061145d565b600c5f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107bc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107e091906114bc565b6001600160a01b031663c9c6539630600c5f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561083f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086391906114bc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108ad573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108d191906114bc565b600d80546001600160a01b039283166001600160a01b0319909116179055600c541663f305d7194730610918816001600160a01b03165f9081526001602052604090205490565b5f8061092b5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610991573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109b691906114d7565b5050600d54600c5460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610a0b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a2f9190611502565b50600d805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ab25760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b606482015260840161048b565b6001600160a01b038216610b195760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b606482015260840161048b565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610be35760405162461bcd60e51b815260206004820152602b60248201527f45524332303a2043616e2774207472616e736665722066726f6d20746865207a60448201526a65726f206164647265737360a81b606482015260840161048b565b6001600160a01b038216610c4b5760405162461bcd60e51b815260206004820152602960248201527f45524332303a2043616e2774207472616e7366657220746f20746865207a65726044820152686f206164647265737360b81b606482015260840161048b565b5f8111610cac5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161048b565b6001600160a01b0383165f9081526003602052604081205460ff16158015610cec57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f2657600d546001600160a01b038581169116148015610d1c5750600c546001600160a01b03848116911614155b15610deb576008548210610d725760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161048b565b60095482610d94856001600160a01b03165f9081526001602052604090205490565b610d9e9190611521565b10610deb5760405162461bcd60e51b815260206004820152601b60248201527f4578636565647320746865205f6d617857616c6c657453697a652e0000000000604482015260640161048b565b600d546001600160a01b038581169116148015610e1157506001600160a01b0383163014155b15610e3357606460065483610e26919061145d565b610e309190611534565b90505b600d546001600160a01b038481169116148015610e5957506001600160a01b0384163014155b15610e7b57606460075483610e6e919061145d565b610e789190611534565b90505b305f90815260016020526040902054600d54600160a81b900460ff16158015610eb15750600d546001600160a01b038581169116145b8015610ec65750600d54600160b01b900460ff165b8015610ed35750600a5481115b15610f24575f8184108015610ee95750600b5484105b610f0457600b548210610efe57600b54610f06565b81610f06565b835b9050610f1181611057565b478015610f2157610f21476111e0565b50505b505b8015610f9057305f9081526001602052604081208054839290610f4a908490611521565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f90815260016020526040902054610fb3908390611474565b6001600160a01b0385165f90815260016020526040902055610fd58183611474565b6001600160a01b0384165f90815260016020526040902054610ff79190611521565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110408486611474565b60405190815260200160405180910390a350505050565b600d805460ff60a81b1916600160a81b17905580156111d057600d54600160a01b900460ff16156111d0576040805160028082526060820183525f9260208301908036833701905050905030815f815181106110b5576110b5611553565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561110c573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061113091906114bc565b8160018151811061114357611143611553565b6001600160a01b039283166020918202929092010152600c546111699130911684610a49565b600c5460405163791ac94760e01b81526001600160a01b039091169063791ac947906111a19085905f90869030904290600401611567565b5f604051808303815f87803b1580156111b8575f80fd5b505af11580156111ca573d5f803e3d5ffd5b50505050505b50600d805460ff60a81b19169055565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561056e573d5f803e3d5ffd5b5f602080835283518060208501525f5b8181101561124357858101830151858201604001528201611227565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611277575f80fd5b50565b5f806040838503121561128b575f80fd5b823561129681611263565b946020939093013593505050565b5f805f606084860312156112b6575f80fd5b83356112c181611263565b925060208401356112d181611263565b929592945050506040919091013590565b5f80604083850312156112f3575f80fd5b50508035926020909101359150565b5f60208284031215611312575f80fd5b813561131d81611263565b9392505050565b5f8060408385031215611335575f80fd5b823561134081611263565b9150602083013561135081611263565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156113a957815f190482111561138f5761138f61135b565b8085161561139c57918102915b93841c9390800290611374565b509250929050565b5f826113bf575060016103ed565b816113cb57505f6103ed565b81600181146113e157600281146113eb57611407565b60019150506103ed565b60ff8411156113fc576113fc61135b565b50506001821b6103ed565b5060208310610133831016604e8410600b841016171561142a575081810a6103ed565b611434838361136f565b805f19048211156114475761144761135b565b029392505050565b5f61131d60ff8416836113b1565b80820281158282048414176103ed576103ed61135b565b818103818111156103ed576103ed61135b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156114cc575f80fd5b815161131d81611263565b5f805f606084860312156114e9575f80fd5b8351925060208401519150604084015190509250925092565b5f60208284031215611512575f80fd5b8151801515811461131d575f80fd5b808201808211156103ed576103ed61135b565b5f8261154e57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156115b75784516001600160a01b031683529383019391830191600101611592565b50506001600160a01b0396909616606085015250505060800152939250505056fea2646970667358221220f2688276baf68855f89fd9160214e726b1497ab6b7e6725e2eef94fd46383bd464736f6c63430008170033

2757:7316:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4410:83;;;;;;;;;;-1:-1:-1;4480:5:0;;;;;;;;;;;;-1:-1:-1;;;4480:5:0;;;;4410:83;;;;;;;:::i;:::-;;;;;;;;5243:161;;;;;;;;;;-1:-1:-1;5243:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;5243:161:0;1023:187:1;3580:52:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;3580:52:0;1215:177:1;4687:95:0;;;;;;;;;;;;;:::i;5412:366::-;;;;;;;;;;-1:-1:-1;5412:366:0;;;;;:::i;:::-;;:::i;8620:135::-;;;;;;;;;;-1:-1:-1;8620:135:0;;;;;:::i;:::-;;:::i;:::-;;4596:83;;;;;;;;;;-1:-1:-1;4596:83:0;;3239:2;2253:36:1;;2241:2;2226:18;4596:83:0;2111:184:1;3357:37:0;;;;;;;;;;;;;;;;9609:314;;;;;;;;;;;;;:::i;4790:119::-;;;;;;;;;;-1:-1:-1;4790:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;4883:18:0;4856:7;4883:18;;;:9;:18;;;;;;;4790:119;1838:148;;;;;;;;;;;;;:::i;8763:159::-;;;;;;;;;;;;;:::i;3401:52::-;;;;;;;;;;;;;;;;1624:79;;;;;;;;;;-1:-1:-1;1662:7:0;1689:6;1624:79;;-1:-1:-1;;;;;1689:6:0;;;2698:51:1;;2686:2;2671:18;1624:79:0;2552:203:1;3460:52:0;;;;;;;;;;;;;;;;3313:37;;;;;;;;;;;;;;;;4501:87;;;;;;;;;;-1:-1:-1;4573:7:0;;;;;;;;;;;;-1:-1:-1;;;4573:7:0;;;;4501:87;;4917:167;;;;;;;;;;-1:-1:-1;4917:167:0;;;;;:::i;:::-;;:::i;3519:54::-;;;;;;;;;;;;;;;;8930:671;;;;;;;;;;;;;:::i;5092:143::-;;;;;;;;;;-1:-1:-1;5092:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5200:18:0;;;5173:7;5200:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5092:143;5243:161;5318:4;5335:39;604:10;5358:7;5367:6;5335:8;:39::i;:::-;-1:-1:-1;5392:4:0;5243:161;;;;;:::o;4687:95::-;4740:7;3293:13;3239:2;3293;:13;:::i;:::-;3283:23;;:7;:23;:::i;:::-;4760:14;;4687:95;:::o;5412:366::-;-1:-1:-1;;;;;5535:19:0;;5510:4;5535:19;;;:11;:19;;;;;;;;604:10;5535:33;;;;;;;;:43;-1:-1:-1;5535:43:0;5527:89;;;;-1:-1:-1;;;5527:89:0;;5037:2:1;5527:89:0;;;5019:21:1;5076:2;5056:18;;;5049:30;5115:34;5095:18;;;5088:62;-1:-1:-1;;;5166:18:1;;;5159:31;5207:19;;5527:89:0;;;;;;;;;5627:36;5637:6;5645:9;5656:6;5627:9;:36::i;:::-;-1:-1:-1;;;;;5705:19:0;;;;;;:11;:19;;;;;;;;604:10;5705:33;;;;;;;;;5674:74;;5683:6;;5705:42;;5741:6;;5705:42;:::i;:::-;5674:8;:74::i;:::-;-1:-1:-1;5766:4:0;5412:366;;;;;:::o;8620:135::-;1751:6;;-1:-1:-1;;;;;1751:6:0;604:10;1751:22;1743:67;;;;-1:-1:-1;;;1743:67:0;;;;;;;:::i;:::-;8702:7:::1;:16:::0;;;;8729:8:::1;:17:::0;8620:135::o;9609:314::-;1751:6;;-1:-1:-1;;;;;1751:6:0;604:10;1751:22;1743:67;;;;-1:-1:-1;;;1743:67:0;;;;;;;:::i;:::-;9700:4:::1;9661:20;4883:18:::0;;;:9;:18;;;;;;9720:14;;9717:73:::1;;9748:30;9765:12;9748:16;:30::i;:::-;9819:21;9854:12:::0;;9851:65:::1;;9880:24;9893:10;9880:12;:24::i;:::-;9650:273;;9609:314::o:0;1838:148::-;1751:6;;-1:-1:-1;;;;;1751:6:0;604:10;1751:22;1743:67;;;;-1:-1:-1;;;1743:67:0;;;;;;;:::i;:::-;1945:1:::1;1929:6:::0;;1908:40:::1;::::0;-1:-1:-1;;;;;1929:6:0;;::::1;::::0;1908:40:::1;::::0;1945:1;;1908:40:::1;1976:1;1959:19:::0;;-1:-1:-1;;;;;;1959:19:0::1;::::0;;1838:148::o;8763:159::-;1751:6;;-1:-1:-1;;;;;1751:6:0;604:10;1751:22;1743:67;;;;-1:-1:-1;;;1743:67:0;;;;;;;:::i;:::-;3293:13:::1;3239:2;3293;:13;:::i;:::-;3283:23;::::0;:7:::1;:23;:::i;:::-;8816:12;:22:::0;3293:13:::1;3239:2;3293;:13;:::i;:::-;3283:23;::::0;:7:::1;:23;:::i;:::-;8849:14;:22:::0;8887:27:::1;3293:13;3239:2;3293;:13;:::i;:::-;3283:23;::::0;:7:::1;:23;:::i;:::-;8887:27;::::0;1361:25:1;;;1349:2;1334:18;8887:27:0::1;;;;;;;8763:159::o:0;4917:167::-;4995:4;5012:42;604:10;5036:9;5047:6;5012:9;:42::i;8930:671::-;1751:6;;-1:-1:-1;;;;;1751:6:0;604:10;1751:22;1743:67;;;;-1:-1:-1;;;1743:67:0;;;;;;;:::i;:::-;8994:11:::1;::::0;-1:-1:-1;;;8994:11:0;::::1;;;8993:12;8985:47;;;::::0;-1:-1:-1;;;8985:47:0;;5933:2:1;8985:47:0::1;::::0;::::1;5915:21:1::0;5972:2;5952:18;;;5945:30;6011:25;5991:18;;;5984:53;6054:18;;8985:47:0::1;5731:347:1::0;8985:47:0::1;9043:15;:80:::0;;-1:-1:-1;;;;;;9043:80:0::1;9080:42;9043:80:::0;;::::1;::::0;;;9134:58:::1;::::0;9151:4:::1;::::0;3293:13:::1;3239:2;3293;:13;:::i;:::-;3283:23;::::0;:7:::1;:23;:::i;9134:58::-;9237:15;;;;;;;;;-1:-1:-1::0;;;;;9237:15:0::1;-1:-1:-1::0;;;;;9237:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9219:55:0::1;;9283:4;9290:15;;;;;;;;;-1:-1:-1::0;;;;;9290:15:0::1;-1:-1:-1::0;;;;;9290:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9219:94;::::0;-1:-1:-1;;;;;;9219:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6569:15:1;;;9219:94:0::1;::::0;::::1;6551:34:1::0;6621:15;;6601:18;;;6594:43;6486:18;;9219:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9203:13;:110:::0;;-1:-1:-1;;;;;9203:110:0;;::::1;-1:-1:-1::0;;;;;;9203:110:0;;::::1;;::::0;;9324:15:::1;::::0;::::1;:31;9363:21;9394:4;9400:24;9394:4:::0;-1:-1:-1;;;;;4883:18:0;4856:7;4883:18;;;:9;:18;;;;;;;4790:119;9400:24:::1;9425:1;9427::::0;9429:7:::1;1662::::0;1689:6;-1:-1:-1;;;;;1689:6:0;;1624:79;9429:7:::1;9324:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9324:129:0;;;-1:-1:-1;;;;;7007:15:1;;;9324:129:0::1;::::0;::::1;6989:34:1::0;7039:18;;;7032:34;;;;7082:18;;;7075:34;;;;7125:18;;;7118:34;7189:15;;;7168:19;;;7161:44;9437:15:0::1;7221:19:1::0;;;7214:35;6923:19;;9324:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9471:13:0::1;::::0;9502:15:::1;::::0;9464:71:::1;::::0;-1:-1:-1;;;9464:71:0;;-1:-1:-1;;;;;9502:15:0;;::::1;9464:71;::::0;::::1;7745:51:1::0;-1:-1:-1;;7812:18:1;;;7805:34;9471:13:0;::::1;::::0;-1:-1:-1;9464:29:0::1;::::0;7718:18:1;;9464:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9546:11:0::1;:18:::0;;-1:-1:-1;;;;9575:18:0;-1:-1:-1;;;9575:18:0;;;8930:671::o;5786:347::-;-1:-1:-1;;;;;5879:19:0;;5871:74;;;;-1:-1:-1;;;5871:74:0;;8334:2:1;5871:74:0;;;8316:21:1;8373:2;8353:18;;;8346:30;8412:34;8392:18;;;8385:62;-1:-1:-1;;;8463:18:1;;;8456:40;8513:19;;5871:74:0;8132:406:1;5871:74:0;-1:-1:-1;;;;;5964:21:0;;5956:74;;;;-1:-1:-1;;;5956:74:0;;8745:2:1;5956:74:0;;;8727:21:1;8784:2;8764:18;;;8757:30;8823:34;8803:18;;;8796:62;-1:-1:-1;;;8874:18:1;;;8867:38;8922:19;;5956:74:0;8543:404:1;5956:74:0;-1:-1:-1;;;;;6041:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6093:32;;1361:25:1;;;6093:32:0;;1334:18:1;6093:32:0;;;;;;;5786:347;;;:::o;6141:1908::-;-1:-1:-1;;;;;6229:18:0;;6221:74;;;;-1:-1:-1;;;6221:74:0;;9154:2:1;6221:74:0;;;9136:21:1;9193:2;9173:18;;;9166:30;9232:34;9212:18;;;9205:62;-1:-1:-1;;;9283:18:1;;;9276:41;9334:19;;6221:74:0;8952:407:1;6221:74:0;-1:-1:-1;;;;;6314:16:0;;6306:70;;;;-1:-1:-1;;;6306:70:0;;9566:2:1;6306:70:0;;;9548:21:1;9605:2;9585:18;;;9578:30;9644:34;9624:18;;;9617:62;-1:-1:-1;;;9695:18:1;;;9688:39;9744:19;;6306:70:0;9364:405:1;6306:70:0;6404:1;6395:6;:10;6387:64;;;;-1:-1:-1;;;6387:64:0;;9976:2:1;6387:64:0;;;9958:21:1;10015:2;9995:18;;;9988:30;10054:34;10034:18;;;10027:62;-1:-1:-1;;;10105:18:1;;;10098:39;10154:19;;6387:64:0;9774:405:1;6387:64:0;-1:-1:-1;;;;;6497:24:0;;6462:17;6497:24;;;:18;:24;;;;;;;;6496:25;:52;;;;-1:-1:-1;;;;;;6526:22:0;;;;;;:18;:22;;;;;;;;6525:23;6496:52;6492:1234;;;6579:13;;-1:-1:-1;;;;;6571:21:0;;;6579:13;;6571:21;:55;;;;-1:-1:-1;6610:15:0;;-1:-1:-1;;;;;6596:30:0;;;6610:15;;6596:30;;6571:55;6567:253;;;6664:12;;6655:6;:21;6647:59;;;;-1:-1:-1;;;6647:59:0;;10386:2:1;6647:59:0;;;10368:21:1;10425:2;10405:18;;;10398:30;10464:27;10444:18;;;10437:55;10509:18;;6647:59:0;10184:349:1;6647:59:0;6758:14;;6749:6;6733:13;6743:2;-1:-1:-1;;;;;4883:18:0;4856:7;4883:18;;;:9;:18;;;;;;;4790:119;6733:13;:22;;;;:::i;:::-;:39;6725:79;;;;-1:-1:-1;;;6725:79:0;;10870:2:1;6725:79:0;;;10852:21:1;10909:2;10889:18;;;10882:30;10948:29;10928:18;;;10921:57;10995:18;;6725:79:0;10668:351:1;6725:79:0;6859:13;;-1:-1:-1;;;;;6851:21:0;;;6859:13;;6851:21;:44;;;;-1:-1:-1;;;;;;6876:19:0;;6890:4;6876:19;;6851:44;6848:117;;;6946:3;6936:7;;6927:6;:16;;;;:::i;:::-;:22;;;;:::i;:::-;6915:34;;6848:117;6988:13;;-1:-1:-1;;;;;6982:19:0;;;6988:13;;6982:19;:44;;;;-1:-1:-1;;;;;;7005:21:0;;7021:4;7005:21;;6982:44;6979:118;;;7078:3;7067:8;;7058:6;:17;;;;:::i;:::-;:23;;;;:::i;:::-;7046:35;;6979:118;7162:4;7113:28;4883:18;;;:9;:18;;;;;;7188:6;;-1:-1:-1;;;7188:6:0;;;;7187:7;:30;;;;-1:-1:-1;7204:13:0;;-1:-1:-1;;;;;7198:19:0;;;7204:13;;7198:19;7187:30;:45;;;;-1:-1:-1;7221:11:0;;-1:-1:-1;;;7221:11:0;;;;7187:45;:87;;;;;7257:17;;7236:20;:38;7187:87;7183:532;;;7295:20;7328;7319:6;:29;:53;;;;;7361:11;;7352:6;:20;7319:53;7318:140;;7409:11;;7386:20;:34;7385:73;;7447:11;;7318:140;;7385:73;7424:20;7318:140;;;7376:6;7318:140;7295:163;;7477:30;7494:12;7477:16;:30::i;:::-;7555:21;7598:22;;7595:105;;7645:35;7658:21;7645:12;:35::i;:::-;7276:439;;7183:532;6550:1176;6492:1234;7741:11;;7738:134;;7784:4;7766:24;;;;:9;:24;;;;;:37;;7794:9;;7766:24;:37;;7794:9;;7766:37;:::i;:::-;;;;-1:-1:-1;;7821:39:0;;1361:25:1;;;7844:4:0;;-1:-1:-1;;;;;7821:39:0;;;;;1349:2:1;1334:18;7821:39:0;;;;;;;7738:134;-1:-1:-1;;;;;7900:15:0;;;;;;:9;:15;;;;;;:24;;7918:6;;7900:24;:::i;:::-;-1:-1:-1;;;;;7882:15:0;;;;;;:9;:15;;;;;:42;7968:18;7977:9;7968:6;:18;:::i;:::-;-1:-1:-1;;;;;7951:13:0;;;;;;:9;:13;;;;;;:36;;;;:::i;:::-;-1:-1:-1;;;;;7935:13:0;;;;;;;:9;:13;;;;;:52;;;;8003:38;;;8022:18;8031:9;8022:6;:18;:::i;:::-;8003:38;;1361:25:1;;;1349:2;1334:18;8003:38:0;;;;;;;6210:1839;6141:1908;;;:::o;8057:555::-;3914:6;:13;;-1:-1:-1;;;;3914:13:0;-1:-1:-1;;;3914:13:0;;;8135:27;;8154:7:::1;8135:27;8176:11;::::0;-1:-1:-1;;;8176:11:0;::::1;;;8172:25:::0;8189:7:::1;8172:25;8231:16;::::0;;8245:1:::1;8231:16:::0;;;;;::::1;::::0;;8207:21:::1;::::0;8231:16:::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8231:16:0::1;8207:40;;8276:4;8258;8263:1;8258:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8258:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;8302:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;8302:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;8258:7;;8302:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8292:4;8297:1;8292:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8292:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;8367:15:::1;::::0;8335:62:::1;::::0;8352:4:::1;::::0;8367:15:::1;8385:11:::0;8335:8:::1;:62::i;:::-;8408:15;::::0;:196:::1;::::0;-1:-1:-1;;;8408:196:0;;-1:-1:-1;;;;;8408:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;8489:11;;8408:15:::1;::::0;8531:4;;8558::::1;::::0;8578:15:::1;::::0;8408:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;8124:488;3938:1;-1:-1:-1::0;3950:6:0;:14;;-1:-1:-1;;;;3950:14:0;;;8057:555::o;9931:98::-;9988:16;;:33;;-1:-1:-1;;;;;9988:16:0;;;;:33;;;;;10014:6;;9988:16;:33;:16;:33;10014:6;9988:16;:33;;;;;;;;;;;;;;;;;;;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;1858:248::-;1926:6;1934;1987:2;1975:9;1966:7;1962:23;1958:32;1955:52;;;2003:1;2000;1993:12;1955:52;-1:-1:-1;;2026:23:1;;;2096:2;2081:18;;;2068:32;;-1:-1:-1;1858:248:1:o;2300:247::-;2359:6;2412:2;2400:9;2391:7;2387:23;2383:32;2380:52;;;2428:1;2425;2418:12;2380:52;2467:9;2454:23;2486:31;2511:5;2486:31;:::i;:::-;2536:5;2300:247;-1:-1:-1;;;2300:247:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:416;3374:1;3411:5;3374:1;3425:270;3446:7;3436:8;3433:21;3425:270;;;3505:4;3501:1;3497:6;3493:17;3487:4;3484:27;3481:53;;;3514:18;;:::i;:::-;3564:7;3554:8;3550:22;3547:55;;;3584:16;;;;3547:55;3663:22;;;;3623:15;;;;3425:270;;;3429:3;3285:416;;;;;:::o;3706:806::-;3755:5;3785:8;3775:80;;-1:-1:-1;3826:1:1;3840:5;;3775:80;3874:4;3864:76;;-1:-1:-1;3911:1:1;3925:5;;3864:76;3956:4;3974:1;3969:59;;;;4042:1;4037:130;;;;3949:218;;3969:59;3999:1;3990:10;;4013:5;;;4037:130;4074:3;4064:8;4061:17;4058:43;;;4081:18;;:::i;:::-;-1:-1:-1;;4137:1:1;4123:16;;4152:5;;3949:218;;4251:2;4241:8;4238:16;4232:3;4226:4;4223:13;4219:36;4213:2;4203:8;4200:16;4195:2;4189:4;4186:12;4182:35;4179:77;4176:159;;;-1:-1:-1;4288:19:1;;;4320:5;;4176:159;4367:34;4392:8;4386:4;4367:34;:::i;:::-;4437:6;4433:1;4429:6;4425:19;4416:7;4413:32;4410:58;;;4448:18;;:::i;:::-;4486:20;;3706:806;-1:-1:-1;;;3706:806:1:o;4517:140::-;4575:5;4604:47;4645:4;4635:8;4631:19;4625:4;4604:47;:::i;4662:168::-;4735:9;;;4766;;4783:15;;;4777:22;;4763:37;4753:71;;4804:18;;:::i;5237:128::-;5304:9;;;5325:11;;;5322:37;;;5339:18;;:::i;5370:356::-;5572:2;5554:21;;;5591:18;;;5584:30;5650:34;5645:2;5630:18;;5623:62;5717:2;5702:18;;5370:356::o;6083:251::-;6153:6;6206:2;6194:9;6185:7;6181:23;6177:32;6174:52;;;6222:1;6219;6212:12;6174:52;6254:9;6248:16;6273:31;6298:5;6273:31;:::i;7260:306::-;7348:6;7356;7364;7417:2;7405:9;7396:7;7392:23;7388:32;7385:52;;;7433:1;7430;7423:12;7385:52;7462:9;7456:16;7446:26;;7512:2;7501:9;7497:18;7491:25;7481:35;;7556:2;7545:9;7541:18;7535:25;7525:35;;7260:306;;;;;:::o;7850:277::-;7917:6;7970:2;7958:9;7949:7;7945:23;7941:32;7938:52;;;7986:1;7983;7976:12;7938:52;8018:9;8012:16;8071:5;8064:13;8057:21;8050:5;8047:32;8037:60;;8093:1;8090;8083:12;10538:125;10603:9;;;10624:10;;;10621:36;;;10637:18;;:::i;11024:217::-;11064:1;11090;11080:132;;11134:10;11129:3;11125:20;11122:1;11115:31;11169:4;11166:1;11159:15;11197:4;11194:1;11187:15;11080:132;-1:-1:-1;11226:9:1;;11024:217::o;11378:127::-;11439:10;11434:3;11430:20;11427:1;11420:31;11470:4;11467:1;11460:15;11494:4;11491:1;11484:15;11510:980;11772:4;11820:3;11809:9;11805:19;11851:6;11840:9;11833:25;11877:2;11915:6;11910:2;11899:9;11895:18;11888:34;11958:3;11953:2;11942:9;11938:18;11931:31;11982:6;12017;12011:13;12048:6;12040;12033:22;12086:3;12075:9;12071:19;12064:26;;12125:2;12117:6;12113:15;12099:29;;12146:1;12156:195;12170:6;12167:1;12164:13;12156:195;;;12235:13;;-1:-1:-1;;;;;12231:39:1;12219:52;;12326:15;;;;12291:12;;;;12267:1;12185:9;12156:195;;;-1:-1:-1;;;;;;;12407:32:1;;;;12402:2;12387:18;;12380:60;-1:-1:-1;;;12471:3:1;12456:19;12449:35;12368:3;11510:980;-1:-1:-1;;;11510:980:1:o

ipfs://f2688276baf68855f89fd9160214e726b1497ab6b7e6725e2eef94fd46383bd4