Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
import "@openzeppelin/contracts/access/Ownable.sol";

// ERC-20 Token with 2% yearly inflation (compounding), distributed quarterly

contract PETSToken is ERC20, Ownable {
    uint256 public initialCap = 100000000 ether;
    uint256 public tgeAt = 1635422400; // 10-28-2021 12:00:00 UTC

    // unsigned 16.112-bit fixed point number
    // (1.02) ^ (1/4) << 112 = 5218065872551496750682311808311216
    uint128 private quarterlyInterestRate = 0x10145402ccc981a95f01c22a0dfb0;

    constructor () ERC20("PETS Token", "PETS") {
        super._mint(msg.sender, initialCap);
        transferOwnership(0x1F6A5BD6BF72F0b7D7c6379E4a9116FD19856A9e); 
    }

    function availableTotalSupply() external view returns(uint256){
        return _availableTotalSupply();
    }
    
    function availableToMint() external view returns(uint256){
        return _availableToMint();
    }

    function _availableTotalSupply() internal view returns(uint256){
        if(block.timestamp < tgeAt){
            return initialCap;
        }
        // 90 days = 7776000 seconds
        uint256 quartersSinceTGE = (block.timestamp - tgeAt) / 7776000;
        return (initialCap * pow(quarterlyInterestRate,quartersSinceTGE)) >> 112;
    }

    function _availableToMint() internal view returns(uint256){
        return _availableTotalSupply() - totalSupply();
    }
    
    function mint(address account, uint256 amount) external onlyOwner {
        require(amount <= _availableToMint(), "Cap exceeded");
        super._mint(account,amount);
    }

    // Raises the 16.112-bit unsigned fixed point number base to the specified 256-bit unsigned integer power
    // Returns a 16.112-bit unsigned fixed point number
    function pow(uint128 base, uint256 power) internal pure returns (uint256){
        uint256 result = 0x10000000000000000000000000000; // 1 in 16.112-bit unsigned fixed point format
        uint256 x = base;
        while(power != 0){
            if(power & 0x1 != 0){
                result = (result * x) >> 112;
            }
            x = (x * x) >> 112;
            power >>=1;
        }
        return result;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./IERC20.sol";
import "./extensions/IERC20Metadata.sol";
import "../../utils/Context.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * 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:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, 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}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), 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}.
     *
     * Requirements:
     *
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - 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) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][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) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * 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:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, 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;
        _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;
        }
        _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 Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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 `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, 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 `sender` to `recipient` 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 sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "../IERC20.sol";

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "../utils/Context.sol";

/**
 * @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() {
        _setOwner(_msgSender());
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _setOwner(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");
        _setOwner(newOwner);
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

{
  "metadata": {
    "useLiteralContent": true
  },
  "optimizer": {
    "enabled": true,
    "runs": 100000
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• 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":[],"name":"availableToMint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"availableTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"initialCap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tgeAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","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"}]

60806040526a52b7d2dcc80cd2e400000060065563617a90c0600755600880546001600160801b0319166e010145402ccc981a95f01c22a0dfb01790553480156200004957600080fd5b50604080518082018252600a8152692822aa29902a37b5b2b760b11b6020808301918252835180850190945260048452635045545360e01b908401528151919291620000989160039162000319565b508051620000ae90600490602084019062000319565b505050620000cb620000c56200010960201b60201c565b6200010d565b620000e4336006546200015f60201b620008a81760201c565b62000103731f6a5bd6bf72f0b7d7c6379e4a9116fd19856a9e62000248565b62000423565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b038216620001bb5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064015b60405180910390fd5b8060026000828254620001cf9190620003bf565b90915550506001600160a01b03821660009081526020819052604081208054839290620001fe908490620003bf565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6005546001600160a01b03163314620002a45760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401620001b2565b6001600160a01b0381166200030b5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401620001b2565b62000316816200010d565b50565b8280546200032790620003e6565b90600052602060002090601f0160209004810192826200034b576000855562000396565b82601f106200036657805160ff191683800117855562000396565b8280016001018555821562000396579182015b828111156200039657825182559160200191906001019062000379565b50620003a4929150620003a8565b5090565b5b80821115620003a45760008155600101620003a9565b60008219821115620003e157634e487b7160e01b600052601160045260246000fd5b500190565b600181811c90821680620003fb57607f821691505b602082108114156200041d57634e487b7160e01b600052602260045260246000fd5b50919050565b61124f80620004336000396000f3fe608060405234801561001057600080fd5b50600436106101515760003560e01c8063715018a6116100cd578063a9059cbb11610081578063ce5f330b11610066578063ce5f330b146102a0578063dd62ed3e146102a9578063f2fde38b146102ef57600080fd5b8063a9059cbb14610284578063b811215e1461029757600080fd5b80638da5cb5b116100b25780638da5cb5b1461024157806395d89b4114610269578063a457c2d71461027157600080fd5b8063715018a61461023157806374601c3c1461023957600080fd5b8063313ce5671161012457806340c10f191161010957806340c10f19146101de57806355cdce51146101f357806370a08231146101fb57600080fd5b8063313ce567146101bc57806339509351146101cb57600080fd5b806306fdde0314610156578063095ea7b31461017457806318160ddd1461019757806323b872dd146101a9575b600080fd5b61015e610302565b60405161016b9190610f98565b60405180910390f35b610187610182366004611034565b610394565b604051901515815260200161016b565b6002545b60405190815260200161016b565b6101876101b736600461105e565b6103aa565b6040516012815260200161016b565b6101876101d9366004611034565b610495565b6101f16101ec366004611034565b6104de565b005b61019b6105de565b61019b61020936600461109a565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b6101f16105ed565b61019b61067a565b60055460405173ffffffffffffffffffffffffffffffffffffffff909116815260200161016b565b61015e610684565b61018761027f366004611034565b610693565b610187610292366004611034565b61076b565b61019b60065481565b61019b60075481565b61019b6102b73660046110bc565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b6101f16102fd36600461109a565b610778565b606060038054610311906110ef565b80601f016020809104026020016040519081016040528092919081815260200182805461033d906110ef565b801561038a5780601f1061035f5761010080835404028352916020019161038a565b820191906000526020600020905b81548152906001019060200180831161036d57829003601f168201915b5050505050905090565b60006103a13384846109c8565b50600192915050565b60006103b7848484610b7b565b73ffffffffffffffffffffffffffffffffffffffff841660009081526001602090815260408083203384529091529020548281101561047d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206160448201527f6c6c6f77616e636500000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b61048a85338584036109c8565b506001949350505050565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916103a19185906104d9908690611172565b6109c8565b60055473ffffffffffffffffffffffffffffffffffffffff16331461055f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610474565b610567610e2f565b8111156105d0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f43617020657863656564656400000000000000000000000000000000000000006044820152606401610474565b6105da82826108a8565b5050565b60006105e8610e4c565b905090565b60055473ffffffffffffffffffffffffffffffffffffffff16331461066e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610474565b6106786000610eb7565b565b60006105e8610e2f565b606060048054610311906110ef565b33600090815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8616845290915281205482811015610754576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610474565b61076133858584036109c8565b5060019392505050565b60006103a1338484610b7b565b60055473ffffffffffffffffffffffffffffffffffffffff1633146107f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610474565b73ffffffffffffffffffffffffffffffffffffffff811661089c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610474565b6108a581610eb7565b50565b73ffffffffffffffffffffffffffffffffffffffff8216610925576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610474565b80600260008282546109379190611172565b909155505073ffffffffffffffffffffffffffffffffffffffff821660009081526020819052604081208054839290610971908490611172565b909155505060405181815273ffffffffffffffffffffffffffffffffffffffff8316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff8316610a6a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff8216610b0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610c1e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff8216610cc1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff831660009081526020819052604090205481811015610d77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260208190526040808220858503905591851681529081208054849290610dbb908490611172565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e2191815260200190565b60405180910390a350505050565b6000610e3a60025490565b610e42610e4c565b6105e8919061118a565b6000600754421015610e5f575060065490565b60006276a70060075442610e73919061118a565b610e7d91906111a1565b600854909150607090610ea2906fffffffffffffffffffffffffffffffff1683610f2e565b600654610eaf91906111dc565b901c91505090565b6005805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b60006e0100000000000000000000000000006fffffffffffffffffffffffffffffffff84165b8315610f90576001841615610f74576070610f6f82846111dc565b901c91505b6070610f8082806111dc565b901c9050600184901c9350610f54565b509392505050565b600060208083528351808285015260005b81811015610fc557858101830151858201604001528201610fa9565b81811115610fd7576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461102f57600080fd5b919050565b6000806040838503121561104757600080fd5b6110508361100b565b946020939093013593505050565b60008060006060848603121561107357600080fd5b61107c8461100b565b925061108a6020850161100b565b9150604084013590509250925092565b6000602082840312156110ac57600080fd5b6110b58261100b565b9392505050565b600080604083850312156110cf57600080fd5b6110d88361100b565b91506110e66020840161100b565b90509250929050565b600181811c9082168061110357607f821691505b6020821081141561113d577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000821982111561118557611185611143565b500190565b60008282101561119c5761119c611143565b500390565b6000826111d7577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561121457611214611143565b50029056fea264697066735822122061e9db3f32c1446878b55f4175e72fbb52ac5f995fb79297bab00ddd0a331c3a64736f6c63430008090033

0x608060405234801561001057600080fd5b50600436106101515760003560e01c8063715018a6116100cd578063a9059cbb11610081578063ce5f330b11610066578063ce5f330b146102a0578063dd62ed3e146102a9578063f2fde38b146102ef57600080fd5b8063a9059cbb14610284578063b811215e1461029757600080fd5b80638da5cb5b116100b25780638da5cb5b1461024157806395d89b4114610269578063a457c2d71461027157600080fd5b8063715018a61461023157806374601c3c1461023957600080fd5b8063313ce5671161012457806340c10f191161010957806340c10f19146101de57806355cdce51146101f357806370a08231146101fb57600080fd5b8063313ce567146101bc57806339509351146101cb57600080fd5b806306fdde0314610156578063095ea7b31461017457806318160ddd1461019757806323b872dd146101a9575b600080fd5b61015e610302565b60405161016b9190610f98565b60405180910390f35b610187610182366004611034565b610394565b604051901515815260200161016b565b6002545b60405190815260200161016b565b6101876101b736600461105e565b6103aa565b6040516012815260200161016b565b6101876101d9366004611034565b610495565b6101f16101ec366004611034565b6104de565b005b61019b6105de565b61019b61020936600461109a565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b6101f16105ed565b61019b61067a565b60055460405173ffffffffffffffffffffffffffffffffffffffff909116815260200161016b565b61015e610684565b61018761027f366004611034565b610693565b610187610292366004611034565b61076b565b61019b60065481565b61019b60075481565b61019b6102b73660046110bc565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260016020908152604080832093909416825291909152205490565b6101f16102fd36600461109a565b610778565b606060038054610311906110ef565b80601f016020809104026020016040519081016040528092919081815260200182805461033d906110ef565b801561038a5780601f1061035f5761010080835404028352916020019161038a565b820191906000526020600020905b81548152906001019060200180831161036d57829003601f168201915b5050505050905090565b60006103a13384846109c8565b50600192915050565b60006103b7848484610b7b565b73ffffffffffffffffffffffffffffffffffffffff841660009081526001602090815260408083203384529091529020548281101561047d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206160448201527f6c6c6f77616e636500000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b61048a85338584036109c8565b506001949350505050565b33600081815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716845290915281205490916103a19185906104d9908690611172565b6109c8565b60055473ffffffffffffffffffffffffffffffffffffffff16331461055f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610474565b610567610e2f565b8111156105d0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f43617020657863656564656400000000000000000000000000000000000000006044820152606401610474565b6105da82826108a8565b5050565b60006105e8610e4c565b905090565b60055473ffffffffffffffffffffffffffffffffffffffff16331461066e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610474565b6106786000610eb7565b565b60006105e8610e2f565b606060048054610311906110ef565b33600090815260016020908152604080832073ffffffffffffffffffffffffffffffffffffffff8616845290915281205482811015610754576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760448201527f207a65726f0000000000000000000000000000000000000000000000000000006064820152608401610474565b61076133858584036109c8565b5060019392505050565b60006103a1338484610b7b565b60055473ffffffffffffffffffffffffffffffffffffffff1633146107f9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610474565b73ffffffffffffffffffffffffffffffffffffffff811661089c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610474565b6108a581610eb7565b50565b73ffffffffffffffffffffffffffffffffffffffff8216610925576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610474565b80600260008282546109379190611172565b909155505073ffffffffffffffffffffffffffffffffffffffff821660009081526020819052604081208054839290610971908490611172565b909155505060405181815273ffffffffffffffffffffffffffffffffffffffff8316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b73ffffffffffffffffffffffffffffffffffffffff8316610a6a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f72657373000000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff8216610b0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f73730000000000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b73ffffffffffffffffffffffffffffffffffffffff8316610c1e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f20616460448201527f64726573730000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff8216610cc1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f65737300000000000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff831660009081526020819052604090205481811015610d77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e742065786365656473206260448201527f616c616e636500000000000000000000000000000000000000000000000000006064820152608401610474565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260208190526040808220858503905591851681529081208054849290610dbb908490611172565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e2191815260200190565b60405180910390a350505050565b6000610e3a60025490565b610e42610e4c565b6105e8919061118a565b6000600754421015610e5f575060065490565b60006276a70060075442610e73919061118a565b610e7d91906111a1565b600854909150607090610ea2906fffffffffffffffffffffffffffffffff1683610f2e565b600654610eaf91906111dc565b901c91505090565b6005805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b60006e0100000000000000000000000000006fffffffffffffffffffffffffffffffff84165b8315610f90576001841615610f74576070610f6f82846111dc565b901c91505b6070610f8082806111dc565b901c9050600184901c9350610f54565b509392505050565b600060208083528351808285015260005b81811015610fc557858101830151858201604001528201610fa9565b81811115610fd7576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b803573ffffffffffffffffffffffffffffffffffffffff8116811461102f57600080fd5b919050565b6000806040838503121561104757600080fd5b6110508361100b565b946020939093013593505050565b60008060006060848603121561107357600080fd5b61107c8461100b565b925061108a6020850161100b565b9150604084013590509250925092565b6000602082840312156110ac57600080fd5b6110b58261100b565b9392505050565b600080604083850312156110cf57600080fd5b6110d88361100b565b91506110e66020840161100b565b90509250929050565b600181811c9082168061110357607f821691505b6020821081141561113d577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000821982111561118557611185611143565b500190565b60008282101561119c5761119c611143565b500390565b6000826111d7577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561121457611214611143565b50029056fea264697066735822122061e9db3f32c1446878b55f4175e72fbb52ac5f995fb79297bab00ddd0a331c3a64736f6c63430008090033

254:2043:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2084:98:2;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4181:166;;;;;;:::i;:::-;;:::i;:::-;;;1300:14:6;;1293:22;1275:41;;1263:2;1248:18;4181:166:2;1135:187:6;3172:106:2;3259:12;;3172:106;;;1473:25:6;;;1461:2;1446:18;3172:106:2;1327:177:6;4814:478:2;;;;;;:::i;:::-;;:::i;3021:91::-;;;3103:2;1984:36:6;;1972:2;1957:18;3021:91:2;1842:184:6;5687:212:2;;;;;;:::i;:::-;;:::i;1510:176:0:-;;;;;;:::i;:::-;;:::i;:::-;;789:111;;;:::i;3336:125:2:-;;;;;;:::i;:::-;3436:18;;3410:7;3436:18;;;;;;;;;;;;3336:125;1605:92:1;;;:::i;912:101:0:-;;;:::i;973:85:1:-;1045:6;;973:85;;1045:6;;;;2368:74:6;;2356:2;2341:18;973:85:1;2222:226:6;2295:102:2;;;:::i;6386:405::-;;;;;;:::i;:::-;;:::i;3664:172::-;;;;;;:::i;:::-;;:::i;298:43:0:-;;;;;;348:33;;;;;;3894:149:2;;;;;;:::i;:::-;4009:18;;;;3983:7;4009:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3894:149;1846:189:1;;;;;;:::i;:::-;;:::i;2084:98:2:-;2138:13;2170:5;2163:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2084:98;:::o;4181:166::-;4264:4;4280:39;666:10:5;4303:7:2;4312:6;4280:8;:39::i;:::-;-1:-1:-1;4336:4:2;4181:166;;;;:::o;4814:478::-;4950:4;4966:36;4976:6;4984:9;4995:6;4966:9;:36::i;:::-;5040:19;;;5013:24;5040:19;;;:11;:19;;;;;;;;666:10:5;5040:33:2;;;;;;;;5091:26;;;;5083:79;;;;;;;3362:2:6;5083:79:2;;;3344:21:6;3401:2;3381:18;;;3374:30;3440:34;3420:18;;;3413:62;3511:10;3491:18;;;3484:38;3539:19;;5083:79:2;;;;;;;;;5196:57;5205:6;666:10:5;5246:6:2;5227:16;:25;5196:8;:57::i;:::-;-1:-1:-1;5281:4:2;;4814:478;-1:-1:-1;;;;4814:478:2:o;5687:212::-;666:10:5;5775:4:2;5823:25;;;:11;:25;;;;;;;;;:34;;;;;;;;;;5775:4;;5791:80;;5814:7;;5823:47;;5860:10;;5823:47;:::i;:::-;5791:8;:80::i;1510:176:0:-;1045:6:1;;1185:23;1045:6;666:10:5;1185:23:1;1177:68;;;;;;;4093:2:6;1177:68:1;;;4075:21:6;;;4112:18;;;4105:30;4171:34;4151:18;;;4144:62;4223:18;;1177:68:1;3891:356:6;1177:68:1;1605:18:0::1;:16;:18::i;:::-;1595:6;:28;;1587:53;;;::::0;::::1;::::0;;4454:2:6;1587:53:0::1;::::0;::::1;4436:21:6::0;4493:2;4473:18;;;4466:30;4532:14;4512:18;;;4505:42;4564:18;;1587:53:0::1;4252:336:6::0;1587:53:0::1;1651:27;1663:7;1671:6;1651:11;:27::i;:::-;1510:176:::0;;:::o;789:111::-;843:7;869:23;:21;:23::i;:::-;862:30;;789:111;:::o;1605:92:1:-;1045:6;;1185:23;1045:6;666:10:5;1185:23:1;1177:68;;;;;;;4093:2:6;1177:68:1;;;4075:21:6;;;4112:18;;;4105:30;4171:34;4151:18;;;4144:62;4223:18;;1177:68:1;3891:356:6;1177:68:1;1669:21:::1;1687:1;1669:9;:21::i;:::-;1605:92::o:0;912:101:0:-;961:7;987:18;:16;:18::i;2295:102:2:-;2351:13;2383:7;2376:14;;;;;:::i;6386:405::-;666:10:5;6479:4:2;6522:25;;;:11;:25;;;;;;;;;:34;;;;;;;;;;6574:35;;;;6566:85;;;;;;;4795:2:6;6566:85:2;;;4777:21:6;4834:2;4814:18;;;4807:30;4873:34;4853:18;;;4846:62;4944:7;4924:18;;;4917:35;4969:19;;6566:85:2;4593:401:6;6566:85:2;6685:67;666:10:5;6708:7:2;6736:15;6717:16;:34;6685:8;:67::i;:::-;-1:-1:-1;6780:4:2;;6386:405;-1:-1:-1;;;6386:405:2:o;3664:172::-;3750:4;3766:42;666:10:5;3790:9:2;3801:6;3766:9;:42::i;1846:189:1:-;1045:6;;1185:23;1045:6;666:10:5;1185:23:1;1177:68;;;;;;;4093:2:6;1177:68:1;;;4075:21:6;;;4112:18;;;4105:30;4171:34;4151:18;;;4144:62;4223:18;;1177:68:1;3891:356:6;1177:68:1;1934:22:::1;::::0;::::1;1926:73;;;::::0;::::1;::::0;;5201:2:6;1926:73:1::1;::::0;::::1;5183:21:6::0;5240:2;5220:18;;;5213:30;5279:34;5259:18;;;5252:62;5350:8;5330:18;;;5323:36;5376:19;;1926:73:1::1;4999:402:6::0;1926:73:1::1;2009:19;2019:8;2009:9;:19::i;:::-;1846:189:::0;:::o;8254:389:2:-;8337:21;;;8329:65;;;;;;;5608:2:6;8329:65:2;;;5590:21:6;5647:2;5627:18;;;5620:30;5686:33;5666:18;;;5659:61;5737:18;;8329:65:2;5406:355:6;8329:65:2;8481:6;8465:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;8497:18:2;;;:9;:18;;;;;;;;;;:28;;8519:6;;8497:9;:28;;8519:6;;8497:28;:::i;:::-;;;;-1:-1:-1;;8540:37:2;;1473:25:6;;;8540:37:2;;;;8557:1;;8540:37;;1461:2:6;1446:18;8540:37:2;;;;;;;1510:176:0;;:::o;9962:370:2:-;10093:19;;;10085:68;;;;;;;5968:2:6;10085:68:2;;;5950:21:6;6007:2;5987:18;;;5980:30;6046:34;6026:18;;;6019:62;6117:6;6097:18;;;6090:34;6141:19;;10085:68:2;5766:400:6;10085:68:2;10171:21;;;10163:68;;;;;;;6373:2:6;10163:68:2;;;6355:21:6;6412:2;6392:18;;;6385:30;6451:34;6431:18;;;6424:62;6522:4;6502:18;;;6495:32;6544:19;;10163:68:2;6171:398:6;10163:68:2;10242:18;;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10293:32;;1473:25:6;;;10293:32:2;;1446:18:6;10293:32:2;;;;;;;9962:370;;;:::o;7265:713::-;7400:20;;;7392:70;;;;;;;6776:2:6;7392:70:2;;;6758:21:6;6815:2;6795:18;;;6788:30;6854:34;6834:18;;;6827:62;6925:7;6905:18;;;6898:35;6950:19;;7392:70:2;6574:401:6;7392:70:2;7480:23;;;7472:71;;;;;;;7182:2:6;7472:71:2;;;7164:21:6;7221:2;7201:18;;;7194:30;7260:34;7240:18;;;7233:62;7331:5;7311:18;;;7304:33;7354:19;;7472:71:2;6980:399:6;7472:71:2;7636:17;;;7612:21;7636:17;;;;;;;;;;;7671:23;;;;7663:74;;;;;;;7586:2:6;7663:74:2;;;7568:21:6;7625:2;7605:18;;;7598:30;7664:34;7644:18;;;7637:62;7735:8;7715:18;;;7708:36;7761:19;;7663:74:2;7384:402:6;7663:74:2;7771:17;;;;:9;:17;;;;;;;;;;;7791:22;;;7771:42;;7833:20;;;;;;;;:30;;7807:6;;7771:9;7833:30;;7807:6;;7833:30;:::i;:::-;;;;;;;;7896:9;7879:35;;7888:6;7879:35;;;7907:6;7879:35;;;;1473:25:6;;1461:2;1446:18;;1327:177;7879:35:2;;;;;;;;7382:596;7265:713;;;:::o;1375:123:0:-;1425:7;1477:13;3259:12:2;;;3172:106;1477:13:0;1451:23;:21;:23::i;:::-;:39;;;;:::i;1021:346::-;1076:7;1116:5;;1098:15;:23;1095:71;;;-1:-1:-1;1144:10:0;;;1021:346::o;1095:71::-;1214:24;1269:7;1260:5;;1242:15;:23;;;;:::i;:::-;1241:35;;;;:::i;:::-;1312:21;;1214:62;;-1:-1:-1;1356:3:0;;1308:43;;1312:21;;1214:62;1308:3;:43::i;:::-;1295:10;;:56;;;;:::i;:::-;1294:65;;1287:72;;;1021:346;:::o;2041:169:1:-;2115:6;;;;2131:17;;;;;;;;;;;2163:40;;2115:6;;;2131:17;2115:6;;2163:40;;2096:16;;2163:40;2086:124;2041:169;:::o;1862:432:0:-;1927:7;1963:31;2052:16;;;2079:184;2085:10;;2079:184;;2122:3;2114:11;;:16;2111:83;;2175:3;2160:10;2169:1;2160:6;:10;:::i;:::-;2159:19;;2150:28;;2111:83;2223:3;2213:5;2217:1;;2213:5;:::i;:::-;2212:14;;2208:18;;2250:1;2241:10;;;;;2079:184;;;-1:-1:-1;2280:6:0;1862:432;-1:-1:-1;;;1862:432:0:o;14:656:6:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;586:2:6;574:15;591:66;570:88;555:104;;;;661:2;551:113;;14:656;-1:-1:-1;;;14:656:6:o;675:196::-;743:20;;803:42;792:54;;782:65;;772:93;;861:1;858;851:12;772:93;675:196;;;:::o;876:254::-;944:6;952;1005:2;993:9;984:7;980:23;976:32;973:52;;;1021:1;1018;1011:12;973:52;1044:29;1063:9;1044:29;:::i;:::-;1034:39;1120:2;1105:18;;;;1092:32;;-1:-1:-1;;;876:254:6:o;1509:328::-;1586:6;1594;1602;1655:2;1643:9;1634:7;1630:23;1626:32;1623:52;;;1671:1;1668;1661:12;1623:52;1694:29;1713:9;1694:29;:::i;:::-;1684:39;;1742:38;1776:2;1765:9;1761:18;1742:38;:::i;:::-;1732:48;;1827:2;1816:9;1812:18;1799:32;1789:42;;1509:328;;;;;:::o;2031:186::-;2090:6;2143:2;2131:9;2122:7;2118:23;2114:32;2111:52;;;2159:1;2156;2149:12;2111:52;2182:29;2201:9;2182:29;:::i;:::-;2172:39;2031:186;-1:-1:-1;;;2031:186:6:o;2453:260::-;2521:6;2529;2582:2;2570:9;2561:7;2557:23;2553:32;2550:52;;;2598:1;2595;2588:12;2550:52;2621:29;2640:9;2621:29;:::i;:::-;2611:39;;2669:38;2703:2;2692:9;2688:18;2669:38;:::i;:::-;2659:48;;2453:260;;;;;:::o;2718:437::-;2797:1;2793:12;;;;2840;;;2861:61;;2915:4;2907:6;2903:17;2893:27;;2861:61;2968:2;2960:6;2957:14;2937:18;2934:38;2931:218;;;3005:77;3002:1;2995:88;3106:4;3103:1;3096:15;3134:4;3131:1;3124:15;2931:218;;2718:437;;;:::o;3569:184::-;3621:77;3618:1;3611:88;3718:4;3715:1;3708:15;3742:4;3739:1;3732:15;3758:128;3798:3;3829:1;3825:6;3822:1;3819:13;3816:39;;;3835:18;;:::i;:::-;-1:-1:-1;3871:9:6;;3758:128::o;7791:125::-;7831:4;7859:1;7856;7853:8;7850:34;;;7864:18;;:::i;:::-;-1:-1:-1;7901:9:6;;7791:125::o;7921:274::-;7961:1;7987;7977:189;;8022:77;8019:1;8012:88;8123:4;8120:1;8113:15;8151:4;8148:1;8141:15;7977:189;-1:-1:-1;8180:9:6;;7921:274::o;8200:228::-;8240:7;8366:1;8298:66;8294:74;8291:1;8288:81;8283:1;8276:9;8269:17;8265:105;8262:131;;;8373:18;;:::i;:::-;-1:-1:-1;8413:9:6;;8200:228::o

ipfs://61e9db3f32c1446878b55f4175e72fbb52ac5f995fb79297bab00ddd0a331c3a