Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2026-01-30
*/

// File: @openzeppelin/contracts/utils/Context.sol

pragma solidity ^0.8.20;

/**
 * @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).
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.8.20;

// @dev Interface of the ERC20 standard as defined in the EIP.

interface IERC20 {

    // @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 `recipient`.
     * Returns a boolean value indicating whether the operation succeeded.
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, 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 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.
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` 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 sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    /**
     * @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);
}

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol

pragma solidity ^0.8.20;

// @dev Interface for the optional metadata functions from the ERC20 standard.

interface IERC20Metadata is IERC20 {

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

// File: @openzeppelin/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.8.20;

/**
 * @dev Implementation of the {IERC20} interface.
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    // @dev Sets the values for {name} and {symbol}.
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    //@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.
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    // @dev Returns the number of decimals used to get its user representation.
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

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

    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    //Requirements: `spender` cannot be the zero address.
	
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     * 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) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     * Emits an {Approval} event indicating the updated allowance.
     * - `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) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * Emits a {Transfer} event.
     * Requirements:
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, 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.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     * Emits a {Transfer} event with `to` set to the zero address.
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     * Emits an {Approval} event.
     * - `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);
    }

    /**
     * @dev Hook that is called before any transfer of tokens.
     * Calling conditions:
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens.
     * Calling conditions:
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

// File: contracts/Mars4ERC20.sol

//SPDX-License-Identifier: Unlicense
pragma solidity ^0.8.20;

contract Mars4ERC20 is ERC20("MOON4", "MOON") {
    constructor() {
        _mint(msg.sender, 4_000_000_000 ether);
    }

    function burn(uint256 amount) public virtual returns (bool) {
        _burn(_msgSender(), amount);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","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":"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":"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"}]

608060405234801562000010575f80fd5b506040518060400160405280600581526020017f4d4f4f4e340000000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4d4f4f4e0000000000000000000000000000000000000000000000000000000081525081600390816200008e9190620004a5565b508060049081620000a09190620004a5565b505050620000c1336b0cecb8f27f4200f3a0000000620000c760201b60201c565b6200069a565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000138576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200012f90620005e7565b60405180910390fd5b6200014b5f83836200023760201b60201c565b8060025f8282546200015e919062000634565b92505081905550805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254620001b2919062000634565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200021891906200067f565b60405180910390a3620002335f83836200023c60201b60201c565b5050565b505050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002bd57607f821691505b602082108103620002d357620002d262000278565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003377fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620002fa565b620003438683620002fa565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6200038d6200038762000381846200035b565b62000364565b6200035b565b9050919050565b5f819050919050565b620003a8836200036d565b620003c0620003b78262000394565b84845462000306565b825550505050565b5f90565b620003d6620003c8565b620003e38184846200039d565b505050565b5b818110156200040a57620003fe5f82620003cc565b600181019050620003e9565b5050565b601f82111562000459576200042381620002d9565b6200042e84620002eb565b810160208510156200043e578190505b620004566200044d85620002eb565b830182620003e8565b50505b505050565b5f82821c905092915050565b5f6200047b5f19846008026200045e565b1980831691505092915050565b5f6200049583836200046a565b9150826002028217905092915050565b620004b08262000241565b67ffffffffffffffff811115620004cc57620004cb6200024b565b5b620004d88254620002a5565b620004e58282856200040e565b5f60209050601f8311600181146200051b575f841562000506578287015190505b62000512858262000488565b86555062000581565b601f1984166200052b86620002d9565b5f5b8281101562000554578489015182556001820191506020850194506020810190506200052d565b8683101562000574578489015162000570601f8916826200046a565b8355505b6001600288020188555050505b505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f620005cf601f8362000589565b9150620005dc8262000599565b602082019050919050565b5f6020820190508181035f8301526200060081620005c1565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f62000640826200035b565b91506200064d836200035b565b925082820190508082111562000668576200066762000607565b5b92915050565b62000679816200035b565b82525050565b5f602082019050620006945f8301846200066e565b92915050565b61169f80620006a85f395ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806342966c681161006f57806342966c68146101a057806370a08231146101d057806395d89b4114610200578063a457c2d71461021e578063a9059cbb1461024e578063dd62ed3e1461027e576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633950935114610170575b5f80fd5b6100be6102ae565b6040516100cb9190610e19565b60405180910390f35b6100ee60048036038101906100e99190610eca565b61033e565b6040516100fb9190610f22565b60405180910390f35b61010c61035b565b6040516101199190610f4a565b60405180910390f35b61013c60048036038101906101379190610f63565b610364565b6040516101499190610f22565b60405180910390f35b61015a610456565b6040516101679190610fce565b60405180910390f35b61018a60048036038101906101859190610eca565b61045e565b6040516101979190610f22565b60405180910390f35b6101ba60048036038101906101b59190610fe7565b610505565b6040516101c79190610f22565b60405180910390f35b6101ea60048036038101906101e59190611012565b610520565b6040516101f79190610f4a565b60405180910390f35b610208610565565b6040516102159190610e19565b60405180910390f35b61023860048036038101906102339190610eca565b6105f5565b6040516102459190610f22565b60405180910390f35b61026860048036038101906102639190610eca565b6106db565b6040516102759190610f22565b60405180910390f35b6102986004803603810190610293919061103d565b6106f8565b6040516102a59190610f4a565b60405180910390f35b6060600380546102bd906110a8565b80601f01602080910402602001604051908101604052809291908181526020018280546102e9906110a8565b80156103345780601f1061030b57610100808354040283529160200191610334565b820191905f5260205f20905b81548152906001019060200180831161031757829003601f168201915b5050505050905090565b5f61035161034a61077a565b8484610781565b6001905092915050565b5f600254905090565b5f610370848484610944565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6103b761077a565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610436576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042d90611148565b60405180910390fd5b61044a8561044261077a565b858403610781565b60019150509392505050565b5f6012905090565b5f6104fb61046a61077a565b848460015f61047761077a565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546104f69190611193565b610781565b6001905092915050565b5f61051761051161077a565b83610bb9565b60019050919050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b606060048054610574906110a8565b80601f01602080910402602001604051908101604052809291908181526020018280546105a0906110a8565b80156105eb5780601f106105c2576101008083540402835291602001916105eb565b820191905f5260205f20905b8154815290600101906020018083116105ce57829003601f168201915b5050505050905090565b5f8060015f61060261077a565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156106bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b390611236565b60405180910390fd5b6106d06106c761077a565b85858403610781565b600191505092915050565b5f6106ee6106e761077a565b8484610944565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e6906112c4565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361085d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161085490611352565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109379190610f4a565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a9906113e0565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a179061146e565b60405180910390fd5b610a2b838383610d85565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610aae576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa5906114fc565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b3c9190611193565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ba09190610f4a565b60405180910390a3610bb3848484610d8a565b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1e9061158a565b60405180910390fd5b610c32825f83610d85565b5f805f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610cb5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cac90611618565b60405180910390fd5b8181035f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f828254610d099190611636565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610d6d9190610f4a565b60405180910390a3610d80835f84610d8a565b505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610dc6578082015181840152602081019050610dab565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610deb82610d8f565b610df58185610d99565b9350610e05818560208601610da9565b610e0e81610dd1565b840191505092915050565b5f6020820190508181035f830152610e318184610de1565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e6682610e3d565b9050919050565b610e7681610e5c565b8114610e80575f80fd5b50565b5f81359050610e9181610e6d565b92915050565b5f819050919050565b610ea981610e97565b8114610eb3575f80fd5b50565b5f81359050610ec481610ea0565b92915050565b5f8060408385031215610ee057610edf610e39565b5b5f610eed85828601610e83565b9250506020610efe85828601610eb6565b9150509250929050565b5f8115159050919050565b610f1c81610f08565b82525050565b5f602082019050610f355f830184610f13565b92915050565b610f4481610e97565b82525050565b5f602082019050610f5d5f830184610f3b565b92915050565b5f805f60608486031215610f7a57610f79610e39565b5b5f610f8786828701610e83565b9350506020610f9886828701610e83565b9250506040610fa986828701610eb6565b9150509250925092565b5f60ff82169050919050565b610fc881610fb3565b82525050565b5f602082019050610fe15f830184610fbf565b92915050565b5f60208284031215610ffc57610ffb610e39565b5b5f61100984828501610eb6565b91505092915050565b5f6020828403121561102757611026610e39565b5b5f61103484828501610e83565b91505092915050565b5f806040838503121561105357611052610e39565b5b5f61106085828601610e83565b925050602061107185828601610e83565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806110bf57607f821691505b6020821081036110d2576110d161107b565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f611132602883610d99565b915061113d826110d8565b604082019050919050565b5f6020820190508181035f83015261115f81611126565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61119d82610e97565b91506111a883610e97565b92508282019050808211156111c0576111bf611166565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611220602583610d99565b915061122b826111c6565b604082019050919050565b5f6020820190508181035f83015261124d81611214565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6112ae602483610d99565b91506112b982611254565b604082019050919050565b5f6020820190508181035f8301526112db816112a2565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61133c602283610d99565b9150611347826112e2565b604082019050919050565b5f6020820190508181035f83015261136981611330565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6113ca602583610d99565b91506113d582611370565b604082019050919050565b5f6020820190508181035f8301526113f7816113be565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611458602383610d99565b9150611463826113fe565b604082019050919050565b5f6020820190508181035f8301526114858161144c565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6114e6602683610d99565b91506114f18261148c565b604082019050919050565b5f6020820190508181035f830152611513816114da565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f611574602183610d99565b915061157f8261151a565b604082019050919050565b5f6020820190508181035f8301526115a181611568565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f611602602283610d99565b915061160d826115a8565b604082019050919050565b5f6020820190508181035f83015261162f816115f6565b9050919050565b5f61164082610e97565b915061164b83610e97565b925082820390508181111561166357611662611166565b5b9291505056fea26469706673582212203fcdcda4bdc250cd4feac7a35ebdd14cd3ae8cbdf0bb9abad7ccfa263ce1a1f764736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806342966c681161006f57806342966c68146101a057806370a08231146101d057806395d89b4114610200578063a457c2d71461021e578063a9059cbb1461024e578063dd62ed3e1461027e576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633950935114610170575b5f80fd5b6100be6102ae565b6040516100cb9190610e19565b60405180910390f35b6100ee60048036038101906100e99190610eca565b61033e565b6040516100fb9190610f22565b60405180910390f35b61010c61035b565b6040516101199190610f4a565b60405180910390f35b61013c60048036038101906101379190610f63565b610364565b6040516101499190610f22565b60405180910390f35b61015a610456565b6040516101679190610fce565b60405180910390f35b61018a60048036038101906101859190610eca565b61045e565b6040516101979190610f22565b60405180910390f35b6101ba60048036038101906101b59190610fe7565b610505565b6040516101c79190610f22565b60405180910390f35b6101ea60048036038101906101e59190611012565b610520565b6040516101f79190610f4a565b60405180910390f35b610208610565565b6040516102159190610e19565b60405180910390f35b61023860048036038101906102339190610eca565b6105f5565b6040516102459190610f22565b60405180910390f35b61026860048036038101906102639190610eca565b6106db565b6040516102759190610f22565b60405180910390f35b6102986004803603810190610293919061103d565b6106f8565b6040516102a59190610f4a565b60405180910390f35b6060600380546102bd906110a8565b80601f01602080910402602001604051908101604052809291908181526020018280546102e9906110a8565b80156103345780601f1061030b57610100808354040283529160200191610334565b820191905f5260205f20905b81548152906001019060200180831161031757829003601f168201915b5050505050905090565b5f61035161034a61077a565b8484610781565b6001905092915050565b5f600254905090565b5f610370848484610944565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6103b761077a565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610436576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042d90611148565b60405180910390fd5b61044a8561044261077a565b858403610781565b60019150509392505050565b5f6012905090565b5f6104fb61046a61077a565b848460015f61047761077a565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546104f69190611193565b610781565b6001905092915050565b5f61051761051161077a565b83610bb9565b60019050919050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b606060048054610574906110a8565b80601f01602080910402602001604051908101604052809291908181526020018280546105a0906110a8565b80156105eb5780601f106105c2576101008083540402835291602001916105eb565b820191905f5260205f20905b8154815290600101906020018083116105ce57829003601f168201915b5050505050905090565b5f8060015f61060261077a565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156106bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106b390611236565b60405180910390fd5b6106d06106c761077a565b85858403610781565b600191505092915050565b5f6106ee6106e761077a565b8484610944565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e6906112c4565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361085d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161085490611352565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109379190610f4a565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036109b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a9906113e0565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610a20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a179061146e565b60405180910390fd5b610a2b838383610d85565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610aae576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa5906114fc565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b3c9190611193565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ba09190610f4a565b60405180910390a3610bb3848484610d8a565b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1e9061158a565b60405180910390fd5b610c32825f83610d85565b5f805f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610cb5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cac90611618565b60405180910390fd5b8181035f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160025f828254610d099190611636565b925050819055505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610d6d9190610f4a565b60405180910390a3610d80835f84610d8a565b505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610dc6578082015181840152602081019050610dab565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610deb82610d8f565b610df58185610d99565b9350610e05818560208601610da9565b610e0e81610dd1565b840191505092915050565b5f6020820190508181035f830152610e318184610de1565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e6682610e3d565b9050919050565b610e7681610e5c565b8114610e80575f80fd5b50565b5f81359050610e9181610e6d565b92915050565b5f819050919050565b610ea981610e97565b8114610eb3575f80fd5b50565b5f81359050610ec481610ea0565b92915050565b5f8060408385031215610ee057610edf610e39565b5b5f610eed85828601610e83565b9250506020610efe85828601610eb6565b9150509250929050565b5f8115159050919050565b610f1c81610f08565b82525050565b5f602082019050610f355f830184610f13565b92915050565b610f4481610e97565b82525050565b5f602082019050610f5d5f830184610f3b565b92915050565b5f805f60608486031215610f7a57610f79610e39565b5b5f610f8786828701610e83565b9350506020610f9886828701610e83565b9250506040610fa986828701610eb6565b9150509250925092565b5f60ff82169050919050565b610fc881610fb3565b82525050565b5f602082019050610fe15f830184610fbf565b92915050565b5f60208284031215610ffc57610ffb610e39565b5b5f61100984828501610eb6565b91505092915050565b5f6020828403121561102757611026610e39565b5b5f61103484828501610e83565b91505092915050565b5f806040838503121561105357611052610e39565b5b5f61106085828601610e83565b925050602061107185828601610e83565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806110bf57607f821691505b6020821081036110d2576110d161107b565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f611132602883610d99565b915061113d826110d8565b604082019050919050565b5f6020820190508181035f83015261115f81611126565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61119d82610e97565b91506111a883610e97565b92508282019050808211156111c0576111bf611166565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611220602583610d99565b915061122b826111c6565b604082019050919050565b5f6020820190508181035f83015261124d81611214565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6112ae602483610d99565b91506112b982611254565b604082019050919050565b5f6020820190508181035f8301526112db816112a2565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61133c602283610d99565b9150611347826112e2565b604082019050919050565b5f6020820190508181035f83015261136981611330565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6113ca602583610d99565b91506113d582611370565b604082019050919050565b5f6020820190508181035f8301526113f7816113be565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611458602383610d99565b9150611463826113fe565b604082019050919050565b5f6020820190508181035f8301526114858161144c565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f6114e6602683610d99565b91506114f18261148c565b604082019050919050565b5f6020820190508181035f830152611513816114da565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f206164647265735f8201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b5f611574602183610d99565b915061157f8261151a565b604082019050919050565b5f6020820190508181035f8301526115a181611568565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e5f8201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b5f611602602283610d99565b915061160d826115a8565b604082019050919050565b5f6020820190508181035f83015261162f816115f6565b9050919050565b5f61164082610e97565b915061164b83610e97565b925082820390508181111561166357611662611166565b5b9291505056fea26469706673582212203fcdcda4bdc250cd4feac7a35ebdd14cd3ae8cbdf0bb9abad7ccfa263ce1a1f764736f6c63430008140033

12001:263:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4378:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5634:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4826:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6040:492;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4725:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6770:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12133:128;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4942:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4532:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7305:413;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5230:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5413:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4378:100;4432:13;4465:5;4458:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4378:100;:::o;5634:169::-;5717:4;5734:39;5743:12;:10;:12::i;:::-;5757:7;5766:6;5734:8;:39::i;:::-;5791:4;5784:11;;5634:169;;;;:::o;4826:108::-;4887:7;4914:12;;4907:19;;4826:108;:::o;6040:492::-;6180:4;6197:36;6207:6;6215:9;6226:6;6197:9;:36::i;:::-;6246:24;6273:11;:19;6285:6;6273:19;;;;;;;;;;;;;;;:33;6293:12;:10;:12::i;:::-;6273:33;;;;;;;;;;;;;;;;6246:60;;6345:6;6325:16;:26;;6317:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;6432:57;6441:6;6449:12;:10;:12::i;:::-;6482:6;6463:16;:25;6432:8;:57::i;:::-;6520:4;6513:11;;;6040:492;;;;;:::o;4725:93::-;4783:5;4808:2;4801:9;;4725:93;:::o;6770:215::-;6858:4;6875:80;6884:12;:10;:12::i;:::-;6898:7;6944:10;6907:11;:25;6919:12;:10;:12::i;:::-;6907:25;;;;;;;;;;;;;;;:34;6933:7;6907:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;6875:8;:80::i;:::-;6973:4;6966:11;;6770:215;;;;:::o;12133:128::-;12187:4;12204:27;12210:12;:10;:12::i;:::-;12224:6;12204:5;:27::i;:::-;12249:4;12242:11;;12133:128;;;:::o;4942:127::-;5016:7;5043:9;:18;5053:7;5043:18;;;;;;;;;;;;;;;;5036:25;;4942:127;;;:::o;4532:104::-;4588:13;4621:7;4614:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4532:104;:::o;7305:413::-;7398:4;7415:24;7442:11;:25;7454:12;:10;:12::i;:::-;7442:25;;;;;;;;;;;;;;;:34;7468:7;7442:34;;;;;;;;;;;;;;;;7415:61;;7515:15;7495:16;:35;;7487:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;7608:67;7617:12;:10;:12::i;:::-;7631:7;7659:15;7640:16;:34;7608:8;:67::i;:::-;7706:4;7699:11;;;7305:413;;;;:::o;5230:175::-;5316:4;5333:42;5343:12;:10;:12::i;:::-;5357:9;5368:6;5333:9;:42::i;:::-;5393:4;5386:11;;5230:175;;;;:::o;5413:151::-;5502:7;5529:11;:18;5541:5;5529:18;;;;;;;;;;;;;;;:27;5548:7;5529:27;;;;;;;;;;;;;;;;5522:34;;5413:151;;;;:::o;541:98::-;594:7;621:10;614:17;;541:98;:::o;10400:380::-;10553:1;10536:19;;:5;:19;;;10528:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10634:1;10615:21;;:7;:21;;;10607:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10718:6;10688:11;:18;10700:5;10688:18;;;;;;;;;;;;;;;:27;10707:7;10688:27;;;;;;;;;;;;;;;:36;;;;10756:7;10740:32;;10749:5;10740:32;;;10765:6;10740:32;;;;;;:::i;:::-;;;;;;;;10400:380;;;:::o;7958:733::-;8116:1;8098:20;;:6;:20;;;8090:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;8200:1;8179:23;;:9;:23;;;8171:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;8255:47;8276:6;8284:9;8295:6;8255:20;:47::i;:::-;8315:21;8339:9;:17;8349:6;8339:17;;;;;;;;;;;;;;;;8315:41;;8392:6;8375:13;:23;;8367:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;8513:6;8497:13;:22;8477:9;:17;8487:6;8477:17;;;;;;;;;;;;;;;:42;;;;8565:6;8541:9;:20;8551:9;8541:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;8606:9;8589:35;;8598:6;8589:35;;;8617:6;8589:35;;;;;;:::i;:::-;;;;;;;;8637:46;8657:6;8665:9;8676:6;8637:19;:46::i;:::-;8079:612;7958:733;;;:::o;9570:591::-;9673:1;9654:21;;:7;:21;;;9646:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;9726:49;9747:7;9764:1;9768:6;9726:20;:49::i;:::-;9788:22;9813:9;:18;9823:7;9813:18;;;;;;;;;;;;;;;;9788:43;;9868:6;9850:14;:24;;9842:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;9987:6;9970:14;:23;9949:9;:18;9959:7;9949:18;;;;;;;;;;;;;;;:44;;;;10031:6;10015:12;;:22;;;;;;;:::i;:::-;;;;;;;;10081:1;10055:37;;10064:7;10055:37;;;10085:6;10055:37;;;;;;:::i;:::-;;;;;;;;10105:48;10125:7;10142:1;10146:6;10105:19;:48::i;:::-;9635:526;9570:591;;:::o;11209:125::-;;;;:::o;11767:124::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:474::-;5591:6;5599;5648:2;5636:9;5627:7;5623:23;5619:32;5616:119;;;5654:79;;:::i;:::-;5616:119;5774:1;5799:53;5844:7;5835:6;5824:9;5820:22;5799:53;:::i;:::-;5789:63;;5745:117;5901:2;5927:53;5972:7;5963:6;5952:9;5948:22;5927:53;:::i;:::-;5917:63;;5872:118;5523:474;;;;;:::o;6003:180::-;6051:77;6048:1;6041:88;6148:4;6145:1;6138:15;6172:4;6169:1;6162:15;6189:320;6233:6;6270:1;6264:4;6260:12;6250:22;;6317:1;6311:4;6307:12;6338:18;6328:81;;6394:4;6386:6;6382:17;6372:27;;6328:81;6456:2;6448:6;6445:14;6425:18;6422:38;6419:84;;6475:18;;:::i;:::-;6419:84;6240:269;6189:320;;;:::o;6515:227::-;6655:34;6651:1;6643:6;6639:14;6632:58;6724:10;6719:2;6711:6;6707:15;6700:35;6515:227;:::o;6748:366::-;6890:3;6911:67;6975:2;6970:3;6911:67;:::i;:::-;6904:74;;6987:93;7076:3;6987:93;:::i;:::-;7105:2;7100:3;7096:12;7089:19;;6748:366;;;:::o;7120:419::-;7286:4;7324:2;7313:9;7309:18;7301:26;;7373:9;7367:4;7363:20;7359:1;7348:9;7344:17;7337:47;7401:131;7527:4;7401:131;:::i;:::-;7393:139;;7120:419;;;:::o;7545:180::-;7593:77;7590:1;7583:88;7690:4;7687:1;7680:15;7714:4;7711:1;7704:15;7731:191;7771:3;7790:20;7808:1;7790:20;:::i;:::-;7785:25;;7824:20;7842:1;7824:20;:::i;:::-;7819:25;;7867:1;7864;7860:9;7853:16;;7888:3;7885:1;7882:10;7879:36;;;7895:18;;:::i;:::-;7879:36;7731:191;;;;:::o;7928:224::-;8068:34;8064:1;8056:6;8052:14;8045:58;8137:7;8132:2;8124:6;8120:15;8113:32;7928:224;:::o;8158:366::-;8300:3;8321:67;8385:2;8380:3;8321:67;:::i;:::-;8314:74;;8397:93;8486:3;8397:93;:::i;:::-;8515:2;8510:3;8506:12;8499:19;;8158:366;;;:::o;8530:419::-;8696:4;8734:2;8723:9;8719:18;8711:26;;8783:9;8777:4;8773:20;8769:1;8758:9;8754:17;8747:47;8811:131;8937:4;8811:131;:::i;:::-;8803:139;;8530:419;;;:::o;8955:223::-;9095:34;9091:1;9083:6;9079:14;9072:58;9164:6;9159:2;9151:6;9147:15;9140:31;8955:223;:::o;9184:366::-;9326:3;9347:67;9411:2;9406:3;9347:67;:::i;:::-;9340:74;;9423:93;9512:3;9423:93;:::i;:::-;9541:2;9536:3;9532:12;9525:19;;9184:366;;;:::o;9556:419::-;9722:4;9760:2;9749:9;9745:18;9737:26;;9809:9;9803:4;9799:20;9795:1;9784:9;9780:17;9773:47;9837:131;9963:4;9837:131;:::i;:::-;9829:139;;9556:419;;;:::o;9981:221::-;10121:34;10117:1;10109:6;10105:14;10098:58;10190:4;10185:2;10177:6;10173:15;10166:29;9981:221;:::o;10208:366::-;10350:3;10371:67;10435:2;10430:3;10371:67;:::i;:::-;10364:74;;10447:93;10536:3;10447:93;:::i;:::-;10565:2;10560:3;10556:12;10549:19;;10208:366;;;:::o;10580:419::-;10746:4;10784:2;10773:9;10769:18;10761:26;;10833:9;10827:4;10823:20;10819:1;10808:9;10804:17;10797:47;10861:131;10987:4;10861:131;:::i;:::-;10853:139;;10580:419;;;:::o;11005:224::-;11145:34;11141:1;11133:6;11129:14;11122:58;11214:7;11209:2;11201:6;11197:15;11190:32;11005:224;:::o;11235:366::-;11377:3;11398:67;11462:2;11457:3;11398:67;:::i;:::-;11391:74;;11474:93;11563:3;11474:93;:::i;:::-;11592:2;11587:3;11583:12;11576:19;;11235:366;;;:::o;11607:419::-;11773:4;11811:2;11800:9;11796:18;11788:26;;11860:9;11854:4;11850:20;11846:1;11835:9;11831:17;11824:47;11888:131;12014:4;11888:131;:::i;:::-;11880:139;;11607:419;;;:::o;12032:222::-;12172:34;12168:1;12160:6;12156:14;12149:58;12241:5;12236:2;12228:6;12224:15;12217:30;12032:222;:::o;12260:366::-;12402:3;12423:67;12487:2;12482:3;12423:67;:::i;:::-;12416:74;;12499:93;12588:3;12499:93;:::i;:::-;12617:2;12612:3;12608:12;12601:19;;12260:366;;;:::o;12632:419::-;12798:4;12836:2;12825:9;12821:18;12813:26;;12885:9;12879:4;12875:20;12871:1;12860:9;12856:17;12849:47;12913:131;13039:4;12913:131;:::i;:::-;12905:139;;12632:419;;;:::o;13057:225::-;13197:34;13193:1;13185:6;13181:14;13174:58;13266:8;13261:2;13253:6;13249:15;13242:33;13057:225;:::o;13288:366::-;13430:3;13451:67;13515:2;13510:3;13451:67;:::i;:::-;13444:74;;13527:93;13616:3;13527:93;:::i;:::-;13645:2;13640:3;13636:12;13629:19;;13288:366;;;:::o;13660:419::-;13826:4;13864:2;13853:9;13849:18;13841:26;;13913:9;13907:4;13903:20;13899:1;13888:9;13884:17;13877:47;13941:131;14067:4;13941:131;:::i;:::-;13933:139;;13660:419;;;:::o;14085:220::-;14225:34;14221:1;14213:6;14209:14;14202:58;14294:3;14289:2;14281:6;14277:15;14270:28;14085:220;:::o;14311:366::-;14453:3;14474:67;14538:2;14533:3;14474:67;:::i;:::-;14467:74;;14550:93;14639:3;14550:93;:::i;:::-;14668:2;14663:3;14659:12;14652:19;;14311:366;;;:::o;14683:419::-;14849:4;14887:2;14876:9;14872:18;14864:26;;14936:9;14930:4;14926:20;14922:1;14911:9;14907:17;14900:47;14964:131;15090:4;14964:131;:::i;:::-;14956:139;;14683:419;;;:::o;15108:221::-;15248:34;15244:1;15236:6;15232:14;15225:58;15317:4;15312:2;15304:6;15300:15;15293:29;15108:221;:::o;15335:366::-;15477:3;15498:67;15562:2;15557:3;15498:67;:::i;:::-;15491:74;;15574:93;15663:3;15574:93;:::i;:::-;15692:2;15687:3;15683:12;15676:19;;15335:366;;;:::o;15707:419::-;15873:4;15911:2;15900:9;15896:18;15888:26;;15960:9;15954:4;15950:20;15946:1;15935:9;15931:17;15924:47;15988:131;16114:4;15988:131;:::i;:::-;15980:139;;15707:419;;;:::o;16132:194::-;16172:4;16192:20;16210:1;16192:20;:::i;:::-;16187:25;;16226:20;16244:1;16226:20;:::i;:::-;16221:25;;16270:1;16267;16263:9;16255:17;;16294:1;16288:4;16285:11;16282:37;;;16299:18;;:::i;:::-;16282:37;16132:194;;;;:::o

ipfs://3fcdcda4bdc250cd4feac7a35ebdd14cd3ae8cbdf0bb9abad7ccfa263ce1a1f7