Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ... interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _spendAllowance(address owne ...    - function _beforeTokenTransfer(address ...    - function _afterTokenTransfer(address ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract IlluminatiCoin is ERC20, ... *    - function epiphany(address _enlightene ...    - function illumination(address _ritual ...    - function _beforeTokenTransfer(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-14
*/

// Sources flattened with hardhat v2.17.4 https://hardhat.org

// SPDX-License-Identifier: MIT

// A poem of fading death, named for a king
// Meant to be read only once and vanish
// Alas, it could not remain unseen.

// File @openzeppelin/contracts/utils/[email protected]

// Original license: 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;
    }
}


// File @openzeppelin/contracts/access/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;

/**
 * @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.
 *
 * By default, the owner account will be the one that deploys the contract. 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;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @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(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


// File @openzeppelin/contracts/token/ERC20/[email protected]

// Original license: 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 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);
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
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/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;



/**
 * @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}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
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}.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    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, 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 18;
    }

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

    /**
     * @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");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

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

        _afterTokenTransfer(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");

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

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _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.
     *
     * Requirements:
     *
     * - `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;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _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.
     *
     * 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);
    }

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

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * 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.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * 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.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(address from, address to, uint256 amount) internal virtual {}
}


// File @openzeppelin/contracts/token/ERC20/extensions/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC20/extensions/ERC20Burnable.sol)

pragma solidity ^0.8.0;


/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        _spendAllowance(account, _msgSender(), amount);
        _burn(account, amount);
    }
}


// File contracts/IlluminatiCoin.sol

// Original license: SPDX_License_Identifier: MIT
pragma solidity ^0.8.9;



// Official Website: https://naticoin.xyz
// Official Twitter: https://x.com/naticoineth
// Official Telegram: https://t.me/naticoineth

// Warning to any potential snipers/botters: we will
// blacklist your address, and you will be required
// to contact us for a refund.

// Prepare for new beginnings.

contract IlluminatiCoin is ERC20, ERC20Burnable, Ownable {
    bool public magick;
    uint256 public oracle;
    uint256 public wisdom;
    address public ritual;
    mapping(address => bool) public rituals;

    constructor(uint256 _magickSource) ERC20("IlluminatiCoin", "NATI") {
        // The Sovereign Creator who numbers our days weaves a story profound in its layers.
        _mint(msg.sender, _magickSource);
    }

    // Epiphany is upon you. Your pilgrimage has begun. Enlightenment awaits.
    function epiphany(address _enlightenedOne, bool _enlightened) external onlyOwner {
        // Weaving Spiders Come Not Here.
        rituals[_enlightenedOne] = _enlightened;
    }

    function illumination(address _ritual, uint256 _oracle, uint256 _wisdom, bool _magick) external onlyOwner {
        magick = _magick;
        oracle = _oracle;
        wisdom = _wisdom;
        ritual = _ritual;
    }

    // As long as you still experience the stars as something above you, you still lack a viewpoint of knowledge.
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) override internal virtual {
        require(!rituals[to] && !rituals[from], "Secret");

        if (ritual == address(0)) {
            // In all chaos there is a cosmos, in all disorder a secret order.
            require(from == owner() || to == owner(), "Alchemy");
            return;
        }

        // Observe. Look between the cracks, through the smoke, and beyond the obvious. Truth shines through.
        if (magick && from == ritual) {
            require(super.balanceOf(to) + amount >= oracle && super.balanceOf(to) + amount <= wisdom, "Forbid");
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"_magickSource","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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"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":"_enlightenedOne","type":"address"},{"internalType":"bool","name":"_enlightened","type":"bool"}],"name":"epiphany","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_ritual","type":"address"},{"internalType":"uint256","name":"_oracle","type":"uint256"},{"internalType":"uint256","name":"_wisdom","type":"uint256"},{"internalType":"bool","name":"_magick","type":"bool"}],"name":"illumination","outputs":[],"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":"magick","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"oracle","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ritual","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"rituals","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"wisdom","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b5060405162002ded38038062002ded833981810160405281019062000037919062000706565b6040518060400160405280600e81526020017f496c6c756d696e617469436f696e0000000000000000000000000000000000008152506040518060400160405280600481526020017f4e415449000000000000000000000000000000000000000000000000000000008152508160039081620000b49190620009a8565b508060049081620000c69190620009a8565b505050620000e9620000dd6200010260201b60201c565b6200010a60201b60201c565b620000fb3382620001d060201b60201c565b5062000d00565b600033905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000242576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002399062000af0565b60405180910390fd5b62000256600083836200033d60201b60201c565b80600260008282546200026a919062000b41565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200031d919062000b8d565b60405180910390a362000339600083836200064f60201b60201c565b5050565b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16158015620003e25750600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b62000424576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200041b9062000bfa565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff160362000547576200048b6200065460201b60201c565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480620004ff5750620004d06200065460201b60201c565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b62000541576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620005389062000c6c565b60405180910390fd5b6200064a565b600560149054906101000a900460ff168015620005b15750600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b15620006495760065481620005cc846200067e60201b60201c565b620005d8919062000b41565b1015801562000606575060075481620005f7846200067e60201b60201c565b62000603919062000b41565b11155b62000648576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200063f9062000cde565b60405180910390fd5b5b5b505050565b505050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080fd5b6000819050919050565b620006e081620006cb565b8114620006ec57600080fd5b50565b6000815190506200070081620006d5565b92915050565b6000602082840312156200071f576200071e620006c6565b5b60006200072f84828501620006ef565b91505092915050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620007ba57607f821691505b602082108103620007d057620007cf62000772565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200083a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620007fb565b620008468683620007fb565b95508019841693508086168417925050509392505050565b6000819050919050565b600062000889620008836200087d84620006cb565b6200085e565b620006cb565b9050919050565b6000819050919050565b620008a58362000868565b620008bd620008b48262000890565b84845462000808565b825550505050565b600090565b620008d4620008c5565b620008e18184846200089a565b505050565b5b818110156200090957620008fd600082620008ca565b600181019050620008e7565b5050565b601f82111562000958576200092281620007d6565b6200092d84620007eb565b810160208510156200093d578190505b620009556200094c85620007eb565b830182620008e6565b50505b505050565b600082821c905092915050565b60006200097d600019846008026200095d565b1980831691505092915050565b60006200099883836200096a565b9150826002028217905092915050565b620009b38262000738565b67ffffffffffffffff811115620009cf57620009ce62000743565b5b620009db8254620007a1565b620009e88282856200090d565b600060209050601f83116001811462000a20576000841562000a0b578287015190505b62000a1785826200098a565b86555062000a87565b601f19841662000a3086620007d6565b60005b8281101562000a5a5784890151825560018201915060208501945060208101905062000a33565b8683101562000a7a578489015162000a76601f8916826200096a565b8355505b6001600288020188555050505b505050505050565b600082825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600062000ad8601f8362000a8f565b915062000ae58262000aa0565b602082019050919050565b6000602082019050818103600083015262000b0b8162000ac9565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600062000b4e82620006cb565b915062000b5b83620006cb565b925082820190508082111562000b765762000b7562000b12565b5b92915050565b62000b8781620006cb565b82525050565b600060208201905062000ba4600083018462000b7c565b92915050565b7f5365637265740000000000000000000000000000000000000000000000000000600082015250565b600062000be260068362000a8f565b915062000bef8262000baa565b602082019050919050565b6000602082019050818103600083015262000c158162000bd3565b9050919050565b7f416c6368656d7900000000000000000000000000000000000000000000000000600082015250565b600062000c5460078362000a8f565b915062000c618262000c1c565b602082019050919050565b6000602082019050818103600083015262000c878162000c45565b9050919050565b7f466f726269640000000000000000000000000000000000000000000000000000600082015250565b600062000cc660068362000a8f565b915062000cd38262000c8e565b602082019050919050565b6000602082019050818103600083015262000cf98162000cb7565b9050919050565b6120dd8062000d106000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c80637425f769116100c3578063a457c2d71161007c578063a457c2d714610390578063a9059cbb146103c0578063dd62ed3e146103f0578063e33bee1214610420578063f2fde38b1461043c578063f9c10b7d146104585761014d565b80637425f769146102e057806379bf49d9146102fe57806379cc67901461031a5780637dc0d1d0146103365780638da5cb5b1461035457806395d89b41146103725761014d565b80632e8f5671116101155780632e8f56711461021e578063313ce5671461023c578063395093511461025a57806342966c681461028a57806370a08231146102a6578063715018a6146102d65761014d565b806306fdde0314610152578063095ea7b31461017057806318160ddd146101a057806322849384146101be57806323b872dd146101ee575b600080fd5b61015a610476565b604051610167919061152a565b60405180910390f35b61018a600480360381019061018591906115e5565b610508565b6040516101979190611640565b60405180910390f35b6101a861052b565b6040516101b5919061166a565b60405180910390f35b6101d860048036038101906101d39190611685565b610535565b6040516101e59190611640565b60405180910390f35b610208600480360381019061020391906116b2565b610555565b6040516102159190611640565b60405180910390f35b610226610584565b604051610233919061166a565b60405180910390f35b61024461058a565b6040516102519190611721565b60405180910390f35b610274600480360381019061026f91906115e5565b610593565b6040516102819190611640565b60405180910390f35b6102a4600480360381019061029f919061173c565b6105ca565b005b6102c060048036038101906102bb9190611685565b6105de565b6040516102cd919061166a565b60405180910390f35b6102de610626565b005b6102e861063a565b6040516102f59190611640565b60405180910390f35b61031860048036038101906103139190611795565b61064d565b005b610334600480360381019061032f91906115e5565b6106b0565b005b61033e6106d0565b60405161034b919061166a565b60405180910390f35b61035c6106d6565b60405161036991906117e4565b60405180910390f35b61037a610700565b604051610387919061152a565b60405180910390f35b6103aa60048036038101906103a591906115e5565b610792565b6040516103b79190611640565b60405180910390f35b6103da60048036038101906103d591906115e5565b610809565b6040516103e79190611640565b60405180910390f35b61040a600480360381019061040591906117ff565b61082c565b604051610417919061166a565b60405180910390f35b61043a6004803603810190610435919061183f565b6108b3565b005b61045660048036038101906104519190611685565b61092a565b005b6104606109ad565b60405161046d91906117e4565b60405180910390f35b606060038054610485906118d5565b80601f01602080910402602001604051908101604052809291908181526020018280546104b1906118d5565b80156104fe5780601f106104d3576101008083540402835291602001916104fe565b820191906000526020600020905b8154815290600101906020018083116104e157829003601f168201915b5050505050905090565b6000806105136109d3565b90506105208185856109db565b600191505092915050565b6000600254905090565b60096020528060005260406000206000915054906101000a900460ff1681565b6000806105606109d3565b905061056d858285610ba4565b610578858585610c30565b60019150509392505050565b60075481565b60006012905090565b60008061059e6109d3565b90506105bf8185856105b0858961082c565b6105ba9190611935565b6109db565b600191505092915050565b6105db6105d56109d3565b82610ea6565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61062e611073565b61063860006110f1565b565b600560149054906101000a900460ff1681565b610655611073565b80600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6106c2826106bc6109d3565b83610ba4565b6106cc8282610ea6565b5050565b60065481565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461070f906118d5565b80601f016020809104026020016040519081016040528092919081815260200182805461073b906118d5565b80156107885780601f1061075d57610100808354040283529160200191610788565b820191906000526020600020905b81548152906001019060200180831161076b57829003601f168201915b5050505050905090565b60008061079d6109d3565b905060006107ab828661082c565b9050838110156107f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e7906119db565b60405180910390fd5b6107fd82868684036109db565b60019250505092915050565b6000806108146109d3565b9050610821818585610c30565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6108bb611073565b80600560146101000a81548160ff021916908315150217905550826006819055508160078190555083600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b610932611073565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036109a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099890611a6d565b60405180910390fd5b6109aa816110f1565b50565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a4a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a4190611aff565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ab9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ab090611b91565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610b97919061166a565b60405180910390a3505050565b6000610bb0848461082c565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610c2a5781811015610c1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1390611bfd565b60405180910390fd5b610c2984848484036109db565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c9f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9690611c8f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d0590611d21565b60405180910390fd5b610d198383836111b7565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610d9f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d9690611db3565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e8d919061166a565b60405180910390a3610ea0848484611495565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f0c90611e45565b60405180910390fd5b610f21826000836111b7565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610fa7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f9e90611ed7565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161105a919061166a565b60405180910390a361106e83600084611495565b505050565b61107b6109d3565b73ffffffffffffffffffffffffffffffffffffffff166110996106d6565b73ffffffffffffffffffffffffffffffffffffffff16146110ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110e690611f43565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615801561125b5750600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b61129a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129190611faf565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036113a7576112f86106d6565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148061136357506113346106d6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b6113a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113999061201b565b60405180910390fd5b611490565b600560149054906101000a900460ff1680156114105750600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b1561148f5760065481611422846105de565b61142c9190611935565b1015801561144f575060075481611442846105de565b61144c9190611935565b11155b61148e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161148590612087565b60405180910390fd5b5b5b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b838110156114d45780820151818401526020810190506114b9565b60008484015250505050565b6000601f19601f8301169050919050565b60006114fc8261149a565b61150681856114a5565b93506115168185602086016114b6565b61151f816114e0565b840191505092915050565b6000602082019050818103600083015261154481846114f1565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061157c82611551565b9050919050565b61158c81611571565b811461159757600080fd5b50565b6000813590506115a981611583565b92915050565b6000819050919050565b6115c2816115af565b81146115cd57600080fd5b50565b6000813590506115df816115b9565b92915050565b600080604083850312156115fc576115fb61154c565b5b600061160a8582860161159a565b925050602061161b858286016115d0565b9150509250929050565b60008115159050919050565b61163a81611625565b82525050565b60006020820190506116556000830184611631565b92915050565b611664816115af565b82525050565b600060208201905061167f600083018461165b565b92915050565b60006020828403121561169b5761169a61154c565b5b60006116a98482850161159a565b91505092915050565b6000806000606084860312156116cb576116ca61154c565b5b60006116d98682870161159a565b93505060206116ea8682870161159a565b92505060406116fb868287016115d0565b9150509250925092565b600060ff82169050919050565b61171b81611705565b82525050565b60006020820190506117366000830184611712565b92915050565b6000602082840312156117525761175161154c565b5b6000611760848285016115d0565b91505092915050565b61177281611625565b811461177d57600080fd5b50565b60008135905061178f81611769565b92915050565b600080604083850312156117ac576117ab61154c565b5b60006117ba8582860161159a565b92505060206117cb85828601611780565b9150509250929050565b6117de81611571565b82525050565b60006020820190506117f960008301846117d5565b92915050565b600080604083850312156118165761181561154c565b5b60006118248582860161159a565b92505060206118358582860161159a565b9150509250929050565b600080600080608085870312156118595761185861154c565b5b60006118678782880161159a565b9450506020611878878288016115d0565b9350506040611889878288016115d0565b925050606061189a87828801611780565b91505092959194509250565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806118ed57607f821691505b602082108103611900576118ff6118a6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611940826115af565b915061194b836115af565b925082820190508082111561196357611962611906565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b60006119c56025836114a5565b91506119d082611969565b604082019050919050565b600060208201905081810360008301526119f4816119b8565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611a576026836114a5565b9150611a62826119fb565b604082019050919050565b60006020820190508181036000830152611a8681611a4a565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611ae96024836114a5565b9150611af482611a8d565b604082019050919050565b60006020820190508181036000830152611b1881611adc565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611b7b6022836114a5565b9150611b8682611b1f565b604082019050919050565b60006020820190508181036000830152611baa81611b6e565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611be7601d836114a5565b9150611bf282611bb1565b602082019050919050565b60006020820190508181036000830152611c1681611bda565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611c796025836114a5565b9150611c8482611c1d565b604082019050919050565b60006020820190508181036000830152611ca881611c6c565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611d0b6023836114a5565b9150611d1682611caf565b604082019050919050565b60006020820190508181036000830152611d3a81611cfe565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611d9d6026836114a5565b9150611da882611d41565b604082019050919050565b60006020820190508181036000830152611dcc81611d90565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000611e2f6021836114a5565b9150611e3a82611dd3565b604082019050919050565b60006020820190508181036000830152611e5e81611e22565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000611ec16022836114a5565b9150611ecc82611e65565b604082019050919050565b60006020820190508181036000830152611ef081611eb4565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611f2d6020836114a5565b9150611f3882611ef7565b602082019050919050565b60006020820190508181036000830152611f5c81611f20565b9050919050565b7f5365637265740000000000000000000000000000000000000000000000000000600082015250565b6000611f996006836114a5565b9150611fa482611f63565b602082019050919050565b60006020820190508181036000830152611fc881611f8c565b9050919050565b7f416c6368656d7900000000000000000000000000000000000000000000000000600082015250565b60006120056007836114a5565b915061201082611fcf565b602082019050919050565b6000602082019050818103600083015261203481611ff8565b9050919050565b7f466f726269640000000000000000000000000000000000000000000000000000600082015250565b60006120716006836114a5565b915061207c8261203b565b602082019050919050565b600060208201905081810360008301526120a081612064565b905091905056fea26469706673582212208506c636ccb99d2e745be77c694c9f82cff132bf3ff55ddf17ddcd0595c7654c64736f6c6343000813003300000000000000000000000000000000000001a084c036d91512ab3240000000

0x608060405234801561001057600080fd5b506004361061014d5760003560e01c80637425f769116100c3578063a457c2d71161007c578063a457c2d714610390578063a9059cbb146103c0578063dd62ed3e146103f0578063e33bee1214610420578063f2fde38b1461043c578063f9c10b7d146104585761014d565b80637425f769146102e057806379bf49d9146102fe57806379cc67901461031a5780637dc0d1d0146103365780638da5cb5b1461035457806395d89b41146103725761014d565b80632e8f5671116101155780632e8f56711461021e578063313ce5671461023c578063395093511461025a57806342966c681461028a57806370a08231146102a6578063715018a6146102d65761014d565b806306fdde0314610152578063095ea7b31461017057806318160ddd146101a057806322849384146101be57806323b872dd146101ee575b600080fd5b61015a610476565b604051610167919061152a565b60405180910390f35b61018a600480360381019061018591906115e5565b610508565b6040516101979190611640565b60405180910390f35b6101a861052b565b6040516101b5919061166a565b60405180910390f35b6101d860048036038101906101d39190611685565b610535565b6040516101e59190611640565b60405180910390f35b610208600480360381019061020391906116b2565b610555565b6040516102159190611640565b60405180910390f35b610226610584565b604051610233919061166a565b60405180910390f35b61024461058a565b6040516102519190611721565b60405180910390f35b610274600480360381019061026f91906115e5565b610593565b6040516102819190611640565b60405180910390f35b6102a4600480360381019061029f919061173c565b6105ca565b005b6102c060048036038101906102bb9190611685565b6105de565b6040516102cd919061166a565b60405180910390f35b6102de610626565b005b6102e861063a565b6040516102f59190611640565b60405180910390f35b61031860048036038101906103139190611795565b61064d565b005b610334600480360381019061032f91906115e5565b6106b0565b005b61033e6106d0565b60405161034b919061166a565b60405180910390f35b61035c6106d6565b60405161036991906117e4565b60405180910390f35b61037a610700565b604051610387919061152a565b60405180910390f35b6103aa60048036038101906103a591906115e5565b610792565b6040516103b79190611640565b60405180910390f35b6103da60048036038101906103d591906115e5565b610809565b6040516103e79190611640565b60405180910390f35b61040a600480360381019061040591906117ff565b61082c565b604051610417919061166a565b60405180910390f35b61043a6004803603810190610435919061183f565b6108b3565b005b61045660048036038101906104519190611685565b61092a565b005b6104606109ad565b60405161046d91906117e4565b60405180910390f35b606060038054610485906118d5565b80601f01602080910402602001604051908101604052809291908181526020018280546104b1906118d5565b80156104fe5780601f106104d3576101008083540402835291602001916104fe565b820191906000526020600020905b8154815290600101906020018083116104e157829003601f168201915b5050505050905090565b6000806105136109d3565b90506105208185856109db565b600191505092915050565b6000600254905090565b60096020528060005260406000206000915054906101000a900460ff1681565b6000806105606109d3565b905061056d858285610ba4565b610578858585610c30565b60019150509392505050565b60075481565b60006012905090565b60008061059e6109d3565b90506105bf8185856105b0858961082c565b6105ba9190611935565b6109db565b600191505092915050565b6105db6105d56109d3565b82610ea6565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61062e611073565b61063860006110f1565b565b600560149054906101000a900460ff1681565b610655611073565b80600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6106c2826106bc6109d3565b83610ba4565b6106cc8282610ea6565b5050565b60065481565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461070f906118d5565b80601f016020809104026020016040519081016040528092919081815260200182805461073b906118d5565b80156107885780601f1061075d57610100808354040283529160200191610788565b820191906000526020600020905b81548152906001019060200180831161076b57829003601f168201915b5050505050905090565b60008061079d6109d3565b905060006107ab828661082c565b9050838110156107f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e7906119db565b60405180910390fd5b6107fd82868684036109db565b60019250505092915050565b6000806108146109d3565b9050610821818585610c30565b600191505092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6108bb611073565b80600560146101000a81548160ff021916908315150217905550826006819055508160078190555083600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b610932611073565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036109a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099890611a6d565b60405180910390fd5b6109aa816110f1565b50565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a4a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a4190611aff565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610ab9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ab090611b91565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610b97919061166a565b60405180910390a3505050565b6000610bb0848461082c565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610c2a5781811015610c1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1390611bfd565b60405180910390fd5b610c2984848484036109db565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c9f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9690611c8f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d0590611d21565b60405180910390fd5b610d198383836111b7565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610d9f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d9690611db3565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e8d919061166a565b60405180910390a3610ea0848484611495565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f0c90611e45565b60405180910390fd5b610f21826000836111b7565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610fa7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f9e90611ed7565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161105a919061166a565b60405180910390a361106e83600084611495565b505050565b61107b6109d3565b73ffffffffffffffffffffffffffffffffffffffff166110996106d6565b73ffffffffffffffffffffffffffffffffffffffff16146110ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110e690611f43565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615801561125b5750600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b61129a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129190611faf565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036113a7576112f86106d6565b73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16148061136357506113346106d6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b6113a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113999061201b565b60405180910390fd5b611490565b600560149054906101000a900460ff1680156114105750600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16145b1561148f5760065481611422846105de565b61142c9190611935565b1015801561144f575060075481611442846105de565b61144c9190611935565b11155b61148e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161148590612087565b60405180910390fd5b5b5b505050565b505050565b600081519050919050565b600082825260208201905092915050565b60005b838110156114d45780820151818401526020810190506114b9565b60008484015250505050565b6000601f19601f8301169050919050565b60006114fc8261149a565b61150681856114a5565b93506115168185602086016114b6565b61151f816114e0565b840191505092915050565b6000602082019050818103600083015261154481846114f1565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061157c82611551565b9050919050565b61158c81611571565b811461159757600080fd5b50565b6000813590506115a981611583565b92915050565b6000819050919050565b6115c2816115af565b81146115cd57600080fd5b50565b6000813590506115df816115b9565b92915050565b600080604083850312156115fc576115fb61154c565b5b600061160a8582860161159a565b925050602061161b858286016115d0565b9150509250929050565b60008115159050919050565b61163a81611625565b82525050565b60006020820190506116556000830184611631565b92915050565b611664816115af565b82525050565b600060208201905061167f600083018461165b565b92915050565b60006020828403121561169b5761169a61154c565b5b60006116a98482850161159a565b91505092915050565b6000806000606084860312156116cb576116ca61154c565b5b60006116d98682870161159a565b93505060206116ea8682870161159a565b92505060406116fb868287016115d0565b9150509250925092565b600060ff82169050919050565b61171b81611705565b82525050565b60006020820190506117366000830184611712565b92915050565b6000602082840312156117525761175161154c565b5b6000611760848285016115d0565b91505092915050565b61177281611625565b811461177d57600080fd5b50565b60008135905061178f81611769565b92915050565b600080604083850312156117ac576117ab61154c565b5b60006117ba8582860161159a565b92505060206117cb85828601611780565b9150509250929050565b6117de81611571565b82525050565b60006020820190506117f960008301846117d5565b92915050565b600080604083850312156118165761181561154c565b5b60006118248582860161159a565b92505060206118358582860161159a565b9150509250929050565b600080600080608085870312156118595761185861154c565b5b60006118678782880161159a565b9450506020611878878288016115d0565b9350506040611889878288016115d0565b925050606061189a87828801611780565b91505092959194509250565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806118ed57607f821691505b602082108103611900576118ff6118a6565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611940826115af565b915061194b836115af565b925082820190508082111561196357611962611906565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b60006119c56025836114a5565b91506119d082611969565b604082019050919050565b600060208201905081810360008301526119f4816119b8565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611a576026836114a5565b9150611a62826119fb565b604082019050919050565b60006020820190508181036000830152611a8681611a4a565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611ae96024836114a5565b9150611af482611a8d565b604082019050919050565b60006020820190508181036000830152611b1881611adc565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611b7b6022836114a5565b9150611b8682611b1f565b604082019050919050565b60006020820190508181036000830152611baa81611b6e565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611be7601d836114a5565b9150611bf282611bb1565b602082019050919050565b60006020820190508181036000830152611c1681611bda565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611c796025836114a5565b9150611c8482611c1d565b604082019050919050565b60006020820190508181036000830152611ca881611c6c565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611d0b6023836114a5565b9150611d1682611caf565b604082019050919050565b60006020820190508181036000830152611d3a81611cfe565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611d9d6026836114a5565b9150611da882611d41565b604082019050919050565b60006020820190508181036000830152611dcc81611d90565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000611e2f6021836114a5565b9150611e3a82611dd3565b604082019050919050565b60006020820190508181036000830152611e5e81611e22565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000611ec16022836114a5565b9150611ecc82611e65565b604082019050919050565b60006020820190508181036000830152611ef081611eb4565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611f2d6020836114a5565b9150611f3882611ef7565b602082019050919050565b60006020820190508181036000830152611f5c81611f20565b9050919050565b7f5365637265740000000000000000000000000000000000000000000000000000600082015250565b6000611f996006836114a5565b9150611fa482611f63565b602082019050919050565b60006020820190508181036000830152611fc881611f8c565b9050919050565b7f416c6368656d7900000000000000000000000000000000000000000000000000600082015250565b60006120056007836114a5565b915061201082611fcf565b602082019050919050565b6000602082019050818103600083015261203481611ff8565b9050919050565b7f466f726269640000000000000000000000000000000000000000000000000000600082015250565b60006120716006836114a5565b915061207c8261203b565b602082019050919050565b600060208201905081810360008301526120a081612064565b905091905056fea26469706673582212208506c636ccb99d2e745be77c694c9f82cff132bf3ff55ddf17ddcd0595c7654c64736f6c63430008130033

00000000000000000000000000000000000001a084c036d91512ab3240000000

-----Decoded View---------------
Arg [0] : _magickSource (uint256): 33000000000000000000000000000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000001a084c036d91512ab3240000000

22470:1755:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9818:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12178:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10947:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22643:39;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12959:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22587:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10789:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13629:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21449:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;11118:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3106:103;;;:::i;:::-;;22534:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22990:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21859:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22559:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2465:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10037:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14370:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11451:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11707:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23180:222;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3364:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22615:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9818:100;9872:13;9905:5;9898:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9818:100;:::o;12178:201::-;12261:4;12278:13;12294:12;:10;:12::i;:::-;12278:28;;12317:32;12326:5;12333:7;12342:6;12317:8;:32::i;:::-;12367:4;12360:11;;;12178:201;;;;:::o;10947:108::-;11008:7;11035:12;;11028:19;;10947:108;:::o;22643:39::-;;;;;;;;;;;;;;;;;;;;;;:::o;12959:261::-;13056:4;13073:15;13091:12;:10;:12::i;:::-;13073:30;;13114:38;13130:4;13136:7;13145:6;13114:15;:38::i;:::-;13163:27;13173:4;13179:2;13183:6;13163:9;:27::i;:::-;13208:4;13201:11;;;12959:261;;;;;:::o;22587:21::-;;;;:::o;10789:93::-;10847:5;10872:2;10865:9;;10789:93;:::o;13629:238::-;13717:4;13734:13;13750:12;:10;:12::i;:::-;13734:28;;13773:64;13782:5;13789:7;13826:10;13798:25;13808:5;13815:7;13798:9;:25::i;:::-;:38;;;;:::i;:::-;13773:8;:64::i;:::-;13855:4;13848:11;;;13629:238;;;;:::o;21449:91::-;21505:27;21511:12;:10;:12::i;:::-;21525:6;21505:5;:27::i;:::-;21449:91;:::o;11118:127::-;11192:7;11219:9;:18;11229:7;11219:18;;;;;;;;;;;;;;;;11212:25;;11118:127;;;:::o;3106:103::-;2351:13;:11;:13::i;:::-;3171:30:::1;3198:1;3171:18;:30::i;:::-;3106:103::o:0;22534:18::-;;;;;;;;;;;;;:::o;22990:182::-;2351:13;:11;:13::i;:::-;23152:12:::1;23125:7;:24;23133:15;23125:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;22990:182:::0;;:::o;21859:164::-;21936:46;21952:7;21961:12;:10;:12::i;:::-;21975:6;21936:15;:46::i;:::-;21993:22;21999:7;22008:6;21993:5;:22::i;:::-;21859:164;;:::o;22559:21::-;;;;:::o;2465:87::-;2511:7;2538:6;;;;;;;;;;;2531:13;;2465:87;:::o;10037:104::-;10093:13;10126:7;10119:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10037:104;:::o;14370:436::-;14463:4;14480:13;14496:12;:10;:12::i;:::-;14480:28;;14519:24;14546:25;14556:5;14563:7;14546:9;:25::i;:::-;14519:52;;14610:15;14590:16;:35;;14582:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;14703:60;14712:5;14719:7;14747:15;14728:16;:34;14703:8;:60::i;:::-;14794:4;14787:11;;;;14370:436;;;;:::o;11451:193::-;11530:4;11547:13;11563:12;:10;:12::i;:::-;11547:28;;11586;11596:5;11603:2;11607:6;11586:9;:28::i;:::-;11632:4;11625:11;;;11451:193;;;;:::o;11707:151::-;11796:7;11823:11;:18;11835:5;11823:18;;;;;;;;;;;;;;;:27;11842:7;11823:27;;;;;;;;;;;;;;;;11816:34;;11707:151;;;;:::o;23180:222::-;2351:13;:11;:13::i;:::-;23306:7:::1;23297:6;;:16;;;;;;;;;;;;;;;;;;23333:7;23324:6;:16;;;;23360:7;23351:6;:16;;;;23387:7;23378:6;;:16;;;;;;;;;;;;;;;;;;23180:222:::0;;;;:::o;3364:201::-;2351:13;:11;:13::i;:::-;3473:1:::1;3453:22;;:8;:22;;::::0;3445:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;3529:28;3548:8;3529:18;:28::i;:::-;3364:201:::0;:::o;22615:21::-;;;;;;;;;;;;;:::o;961:98::-;1014:7;1041:10;1034:17;;961:98;:::o;18363:346::-;18482:1;18465:19;;:5;:19;;;18457:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18563:1;18544:21;;:7;:21;;;18536:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18647:6;18617:11;:18;18629:5;18617:18;;;;;;;;;;;;;;;:27;18636:7;18617:27;;;;;;;;;;;;;;;:36;;;;18685:7;18669:32;;18678:5;18669:32;;;18694:6;18669:32;;;;;;:::i;:::-;;;;;;;;18363:346;;;:::o;19000:419::-;19101:24;19128:25;19138:5;19145:7;19128:9;:25::i;:::-;19101:52;;19188:17;19168:16;:37;19164:248;;19250:6;19230:16;:26;;19222:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;19334:51;19343:5;19350:7;19378:6;19359:16;:25;19334:8;:51::i;:::-;19164:248;19090:329;19000:419;;;:::o;15276:806::-;15389:1;15373:18;;:4;:18;;;15365:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15466:1;15452:16;;:2;:16;;;15444:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;15521:38;15542:4;15548:2;15552:6;15521:20;:38::i;:::-;15572:19;15594:9;:15;15604:4;15594:15;;;;;;;;;;;;;;;;15572:37;;15643:6;15628:11;:21;;15620:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;15760:6;15746:11;:20;15728:9;:15;15738:4;15728:15;;;;;;;;;;;;;;;:38;;;;15963:6;15946:9;:13;15956:2;15946:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;16013:2;15998:26;;16007:4;15998:26;;;16017:6;15998:26;;;;;;:::i;:::-;;;;;;;;16037:37;16057:4;16063:2;16067:6;16037:19;:37::i;:::-;15354:728;15276:806;;;:::o;17250:675::-;17353:1;17334:21;;:7;:21;;;17326:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;17406:49;17427:7;17444:1;17448:6;17406:20;:49::i;:::-;17468:22;17493:9;:18;17503:7;17493:18;;;;;;;;;;;;;;;;17468:43;;17548:6;17530:14;:24;;17522:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;17667:6;17650:14;:23;17629:9;:18;17639:7;17629:18;;;;;;;;;;;;;;;:44;;;;17784:6;17768:12;;:22;;;;;;;;;;;17845:1;17819:37;;17828:7;17819:37;;;17849:6;17819:37;;;;;;:::i;:::-;;;;;;;;17869:48;17889:7;17906:1;17910:6;17869:19;:48::i;:::-;17315:610;17250:675;;:::o;2630:132::-;2705:12;:10;:12::i;:::-;2694:23;;:7;:5;:7::i;:::-;:23;;;2686:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2630:132::o;3725:191::-;3799:16;3818:6;;;;;;;;;;;3799:25;;3844:8;3835:6;;:17;;;;;;;;;;;;;;;;;;3899:8;3868:40;;3889:8;3868:40;;;;;;;;;;;;3788:128;3725:191;:::o;23525:697::-;23677:7;:11;23685:2;23677:11;;;;;;;;;;;;;;;;;;;;;;;;;23676:12;:30;;;;;23693:7;:13;23701:4;23693:13;;;;;;;;;;;;;;;;;;;;;;;;;23692:14;23676:30;23668:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;23752:1;23734:20;;:6;;;;;;;;;;;:20;;;23730:206;;23867:7;:5;:7::i;:::-;23859:15;;:4;:15;;;:32;;;;23884:7;:5;:7::i;:::-;23878:13;;:2;:13;;;23859:32;23851:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;23918:7;;23730:206;24063:6;;;;;;;;;;;:24;;;;;24081:6;;;;;;;;;;;24073:14;;:4;:14;;;24063:24;24059:156;;;24144:6;;24134;24112:19;24128:2;24112:15;:19::i;:::-;:28;;;;:::i;:::-;:38;;:80;;;;;24186:6;;24176;24154:19;24170:2;24154:15;:19::i;:::-;:28;;;;:::i;:::-;:38;;24112:80;24104:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;24059:156;23525:697;;;;:::o;20714:90::-;;;;:::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:329::-;3857:6;3906:2;3894:9;3885:7;3881:23;3877:32;3874:119;;;3912:79;;:::i;:::-;3874:119;4032:1;4057:53;4102:7;4093:6;4082:9;4078:22;4057:53;:::i;:::-;4047:63;;4003:117;3798:329;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:329::-;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:116::-;5593:21;5608:5;5593:21;:::i;:::-;5586:5;5583:32;5573:60;;5629:1;5626;5619:12;5573:60;5523:116;:::o;5645:133::-;5688:5;5726:6;5713:20;5704:29;;5742:30;5766:5;5742:30;:::i;:::-;5645:133;;;;:::o;5784:468::-;5849:6;5857;5906:2;5894:9;5885:7;5881:23;5877:32;5874:119;;;5912:79;;:::i;:::-;5874:119;6032:1;6057:53;6102:7;6093:6;6082:9;6078:22;6057:53;:::i;:::-;6047:63;;6003:117;6159:2;6185:50;6227:7;6218:6;6207:9;6203:22;6185:50;:::i;:::-;6175:60;;6130:115;5784:468;;;;;:::o;6258:118::-;6345:24;6363:5;6345:24;:::i;:::-;6340:3;6333:37;6258:118;;:::o;6382:222::-;6475:4;6513:2;6502:9;6498:18;6490:26;;6526:71;6594:1;6583:9;6579:17;6570:6;6526:71;:::i;:::-;6382:222;;;;:::o;6610:474::-;6678:6;6686;6735:2;6723:9;6714:7;6710:23;6706:32;6703:119;;;6741:79;;:::i;:::-;6703:119;6861:1;6886:53;6931:7;6922:6;6911:9;6907:22;6886:53;:::i;:::-;6876:63;;6832:117;6988:2;7014:53;7059:7;7050:6;7039:9;7035:22;7014:53;:::i;:::-;7004:63;;6959:118;6610:474;;;;;:::o;7090:759::-;7173:6;7181;7189;7197;7246:3;7234:9;7225:7;7221:23;7217:33;7214:120;;;7253:79;;:::i;:::-;7214:120;7373:1;7398:53;7443:7;7434:6;7423:9;7419:22;7398:53;:::i;:::-;7388:63;;7344:117;7500:2;7526:53;7571:7;7562:6;7551:9;7547:22;7526:53;:::i;:::-;7516:63;;7471:118;7628:2;7654:53;7699:7;7690:6;7679:9;7675:22;7654:53;:::i;:::-;7644:63;;7599:118;7756:2;7782:50;7824:7;7815:6;7804:9;7800:22;7782:50;:::i;:::-;7772:60;;7727:115;7090:759;;;;;;;:::o;7855:180::-;7903:77;7900:1;7893:88;8000:4;7997:1;7990:15;8024:4;8021:1;8014:15;8041:320;8085:6;8122:1;8116:4;8112:12;8102:22;;8169:1;8163:4;8159:12;8190:18;8180:81;;8246:4;8238:6;8234:17;8224:27;;8180:81;8308:2;8300:6;8297:14;8277:18;8274:38;8271:84;;8327:18;;:::i;:::-;8271:84;8092:269;8041:320;;;:::o;8367:180::-;8415:77;8412:1;8405:88;8512:4;8509:1;8502:15;8536:4;8533:1;8526:15;8553:191;8593:3;8612:20;8630:1;8612:20;:::i;:::-;8607:25;;8646:20;8664:1;8646:20;:::i;:::-;8641:25;;8689:1;8686;8682:9;8675:16;;8710:3;8707:1;8704:10;8701:36;;;8717:18;;:::i;:::-;8701:36;8553:191;;;;:::o;8750:224::-;8890:34;8886:1;8878:6;8874:14;8867:58;8959:7;8954:2;8946:6;8942:15;8935:32;8750:224;:::o;8980:366::-;9122:3;9143:67;9207:2;9202:3;9143:67;:::i;:::-;9136:74;;9219:93;9308:3;9219:93;:::i;:::-;9337:2;9332:3;9328:12;9321:19;;8980:366;;;:::o;9352:419::-;9518:4;9556:2;9545:9;9541:18;9533:26;;9605:9;9599:4;9595:20;9591:1;9580:9;9576:17;9569:47;9633:131;9759:4;9633:131;:::i;:::-;9625:139;;9352:419;;;:::o;9777:225::-;9917:34;9913:1;9905:6;9901:14;9894:58;9986:8;9981:2;9973:6;9969:15;9962:33;9777:225;:::o;10008:366::-;10150:3;10171:67;10235:2;10230:3;10171:67;:::i;:::-;10164:74;;10247:93;10336:3;10247:93;:::i;:::-;10365:2;10360:3;10356:12;10349:19;;10008:366;;;:::o;10380:419::-;10546:4;10584:2;10573:9;10569:18;10561:26;;10633:9;10627:4;10623:20;10619:1;10608:9;10604:17;10597:47;10661:131;10787:4;10661:131;:::i;:::-;10653:139;;10380:419;;;:::o;10805:223::-;10945:34;10941:1;10933:6;10929:14;10922:58;11014:6;11009:2;11001:6;10997:15;10990:31;10805:223;:::o;11034:366::-;11176:3;11197:67;11261:2;11256:3;11197:67;:::i;:::-;11190:74;;11273:93;11362:3;11273:93;:::i;:::-;11391:2;11386:3;11382:12;11375:19;;11034:366;;;:::o;11406:419::-;11572:4;11610:2;11599:9;11595:18;11587:26;;11659:9;11653:4;11649:20;11645:1;11634:9;11630:17;11623:47;11687:131;11813:4;11687:131;:::i;:::-;11679:139;;11406:419;;;:::o;11831:221::-;11971:34;11967:1;11959:6;11955:14;11948:58;12040:4;12035:2;12027:6;12023:15;12016:29;11831:221;:::o;12058:366::-;12200:3;12221:67;12285:2;12280:3;12221:67;:::i;:::-;12214:74;;12297:93;12386:3;12297:93;:::i;:::-;12415:2;12410:3;12406:12;12399:19;;12058:366;;;:::o;12430:419::-;12596:4;12634:2;12623:9;12619:18;12611:26;;12683:9;12677:4;12673:20;12669:1;12658:9;12654:17;12647:47;12711:131;12837:4;12711:131;:::i;:::-;12703:139;;12430:419;;;:::o;12855:179::-;12995:31;12991:1;12983:6;12979:14;12972:55;12855:179;:::o;13040:366::-;13182:3;13203:67;13267:2;13262:3;13203:67;:::i;:::-;13196:74;;13279:93;13368:3;13279:93;:::i;:::-;13397:2;13392:3;13388:12;13381:19;;13040:366;;;:::o;13412:419::-;13578:4;13616:2;13605:9;13601:18;13593:26;;13665:9;13659:4;13655:20;13651:1;13640:9;13636:17;13629:47;13693:131;13819:4;13693:131;:::i;:::-;13685:139;;13412:419;;;:::o;13837:224::-;13977:34;13973:1;13965:6;13961:14;13954:58;14046:7;14041:2;14033:6;14029:15;14022:32;13837:224;:::o;14067:366::-;14209:3;14230:67;14294:2;14289:3;14230:67;:::i;:::-;14223:74;;14306:93;14395:3;14306:93;:::i;:::-;14424:2;14419:3;14415:12;14408:19;;14067:366;;;:::o;14439:419::-;14605:4;14643:2;14632:9;14628:18;14620:26;;14692:9;14686:4;14682:20;14678:1;14667:9;14663:17;14656:47;14720:131;14846:4;14720:131;:::i;:::-;14712:139;;14439:419;;;:::o;14864:222::-;15004:34;15000:1;14992:6;14988:14;14981:58;15073:5;15068:2;15060:6;15056:15;15049:30;14864:222;:::o;15092:366::-;15234:3;15255:67;15319:2;15314:3;15255:67;:::i;:::-;15248:74;;15331:93;15420:3;15331:93;:::i;:::-;15449:2;15444:3;15440:12;15433:19;;15092:366;;;:::o;15464:419::-;15630:4;15668:2;15657:9;15653:18;15645:26;;15717:9;15711:4;15707:20;15703:1;15692:9;15688:17;15681:47;15745:131;15871:4;15745:131;:::i;:::-;15737:139;;15464:419;;;:::o;15889:225::-;16029:34;16025:1;16017:6;16013:14;16006:58;16098:8;16093:2;16085:6;16081:15;16074:33;15889:225;:::o;16120:366::-;16262:3;16283:67;16347:2;16342:3;16283:67;:::i;:::-;16276:74;;16359:93;16448:3;16359:93;:::i;:::-;16477:2;16472:3;16468:12;16461:19;;16120:366;;;:::o;16492:419::-;16658:4;16696:2;16685:9;16681:18;16673:26;;16745:9;16739:4;16735:20;16731:1;16720:9;16716:17;16709:47;16773:131;16899:4;16773:131;:::i;:::-;16765:139;;16492:419;;;:::o;16917:220::-;17057:34;17053:1;17045:6;17041:14;17034:58;17126:3;17121:2;17113:6;17109:15;17102:28;16917:220;:::o;17143:366::-;17285:3;17306:67;17370:2;17365:3;17306:67;:::i;:::-;17299:74;;17382:93;17471:3;17382:93;:::i;:::-;17500:2;17495:3;17491:12;17484:19;;17143:366;;;:::o;17515:419::-;17681:4;17719:2;17708:9;17704:18;17696:26;;17768:9;17762:4;17758:20;17754:1;17743:9;17739:17;17732:47;17796:131;17922:4;17796:131;:::i;:::-;17788:139;;17515:419;;;:::o;17940:221::-;18080:34;18076:1;18068:6;18064:14;18057:58;18149:4;18144:2;18136:6;18132:15;18125:29;17940:221;:::o;18167:366::-;18309:3;18330:67;18394:2;18389:3;18330:67;:::i;:::-;18323:74;;18406:93;18495:3;18406:93;:::i;:::-;18524:2;18519:3;18515:12;18508:19;;18167:366;;;:::o;18539:419::-;18705:4;18743:2;18732:9;18728:18;18720:26;;18792:9;18786:4;18782:20;18778:1;18767:9;18763:17;18756:47;18820:131;18946:4;18820:131;:::i;:::-;18812:139;;18539:419;;;:::o;18964:182::-;19104:34;19100:1;19092:6;19088:14;19081:58;18964:182;:::o;19152:366::-;19294:3;19315:67;19379:2;19374:3;19315:67;:::i;:::-;19308:74;;19391:93;19480:3;19391:93;:::i;:::-;19509:2;19504:3;19500:12;19493:19;;19152:366;;;:::o;19524:419::-;19690:4;19728:2;19717:9;19713:18;19705:26;;19777:9;19771:4;19767:20;19763:1;19752:9;19748:17;19741:47;19805:131;19931:4;19805:131;:::i;:::-;19797:139;;19524:419;;;:::o;19949:156::-;20089:8;20085:1;20077:6;20073:14;20066:32;19949:156;:::o;20111:365::-;20253:3;20274:66;20338:1;20333:3;20274:66;:::i;:::-;20267:73;;20349:93;20438:3;20349:93;:::i;:::-;20467:2;20462:3;20458:12;20451:19;;20111:365;;;:::o;20482:419::-;20648:4;20686:2;20675:9;20671:18;20663:26;;20735:9;20729:4;20725:20;20721:1;20710:9;20706:17;20699:47;20763:131;20889:4;20763:131;:::i;:::-;20755:139;;20482:419;;;:::o;20907:157::-;21047:9;21043:1;21035:6;21031:14;21024:33;20907:157;:::o;21070:365::-;21212:3;21233:66;21297:1;21292:3;21233:66;:::i;:::-;21226:73;;21308:93;21397:3;21308:93;:::i;:::-;21426:2;21421:3;21417:12;21410:19;;21070:365;;;:::o;21441:419::-;21607:4;21645:2;21634:9;21630:18;21622:26;;21694:9;21688:4;21684:20;21680:1;21669:9;21665:17;21658:47;21722:131;21848:4;21722:131;:::i;:::-;21714:139;;21441:419;;;:::o;21866:156::-;22006:8;22002:1;21994:6;21990:14;21983:32;21866:156;:::o;22028:365::-;22170:3;22191:66;22255:1;22250:3;22191:66;:::i;:::-;22184:73;;22266:93;22355:3;22266:93;:::i;:::-;22384:2;22379:3;22375:12;22368:19;;22028:365;;;:::o;22399:419::-;22565:4;22603:2;22592:9;22588:18;22580:26;;22652:9;22646:4;22642:20;22638:1;22627:9;22623:17;22616:47;22680:131;22806:4;22680:131;:::i;:::-;22672:139;;22399:419;;;:::o

ipfs://8506c636ccb99d2e745be77c694c9f82cff132bf3ff55ddf17ddcd0595c7654c