Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at uniscan.xyz on 2025-03-08
*/

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

/* ————————————————————————————— File: sources of ip/ipHV-sig.sol

    IPHV by IPCS > Intel Port Contract Security (EVM Design).
    @title ipHV contract> Intel Port Horo-Vault Contract (A secure contract vault for securing your ETH with a time-lock).
        @author Ann Mandriana - <[email protected]>
        @author Dimas Fachri - <[email protected]>
        @author Ryan Oktanda - <[email protected]>
        @matter > public use.
        @param > ether <only!>.

——————————————————————————————— The procedure to time-lock your Ether!

    Caution! <Please read and fully understand everything before proceeding. Use it at your own risk!>
        1. You can send your ETH directly to this ipHV contract from your personal ethereum wallet address (EOA)—do not send ETH from a contract address or an exchange—otherwise, your ETH will be stuck in this ipHV contract forever. (Because you need to interact with this ipHV contract after sending your ETH).
        WARNING!: The address you used to send ETH to the ipHV contract serves as the certificate of your ETH in this ipHV contract, so be sure not to lose it.
        
        2. When you send ETH to this ipHV contract, the contract will automatically recognize it. <3

        3. Before you can take any action on this ipHV contract, you must first verify your wallet address that sent ETH to this ipHV contract by running the [verADD] function.
      
        4. [setTL] is the function for setting your time-lock for your ETH. You can enter the time in seconds (for example, if you want 1 minute, enter 60). Once the time lock is set, you will not be able to unlock or withdraw any of your ETH until the time has finished. The maximum lock period is 7 years. (Reminder: the only way to retrieve your ETH from this ipHV contract is by using the same wallet address that set the lock time).

        5. How do I withdraw my ETH? Simply run the [wdETH] function, and it will withdraw the entire ETH balance to your wallet.

        6. To check when your time lock will end, simply paste your wallet address into the [unlockTimes] function and convert the result using an epoch time converter.

        7. To check your ETH balance, simply paste your address into the [etherBalances] function.

        8. What happens after I time lock my ETH? Can i still send ETH to this ipHV contract? Yes, but you can only send ETH from the wallet that originally locked your ETH. This means you must always send ETH from the same wallet that locked your ETH to this ipHV contract. Otherwise, the ETH won't be recognized as yours, because only your wallet address holds the certificate of your ETH in this ipHV contract.

        9. Why do I need this? I could just keep it in my own wallet?
        Well... if you plan on saving it somewhere where you can't withdraw it until the time is up, this contract is perfect for you. <3

        10. In the end, never lose the wallet address you used to send ETH to this ipHV contract, as your wallet is the only way to retrieve your ETH from this ipHV contract.
        WARNING!: We cannot help recover your ETH. Proceed at your own risk!

        11. What happens if I mistakenly send ERC-20 tokens or ERC-721 NFTs to this ipHV contract? Can I withdraw them directly to this ipHV contract? No, you cannot. To recover your ERC-20 tokens or ERC-721 NFTs, please contact our IPCS at <[email protected]>. Only IPCS has the ability to recover them. (Please note, we can only recover ERC-20 tokens and ERC-721 NFTs; we cannot recover your ETH).

——————————————————————————————— IPCS
*/

interface IERC20 {
    function transfer(address to, uint256 amount) external returns (bool);
    function balanceOf(address account) external view returns (uint256);
    }

interface IERC721 {
    function transferFrom(address from, address to, uint256 tokenId) external;
    function safeTransferFrom(address from, address to, uint256 tokenId) external;
    function ownerOf(uint256 tokenId) external view returns (address);
    }

library SafeERC20 {
    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        (bool success, bytes memory data) = address(token).call(
            abi.encodeWithSelector(token.transfer.selector, to, value)
        );
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            "SafeERC20: TRANSFER_ERROR"
        );
    }
}

abstract contract ReentrancyGuard {
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;
    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
        }

    modifier nonReentrant() {
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");
        _status = _ENTERED;
        _;
        _status = _NOT_ENTERED;
        }
    }

    contract ipHV is ReentrancyGuard {

    // IPCS Service
        address private IPCSService = 0x00081058476a5fcBf8E5f723367D06dF2D5C74ab; // EOA - Contract address are not allowed!

    // IPHV Contract Version
        string public Version = "v8.3.2";

    mapping(address => bool) private isVerified; 
    mapping(address => uint256) public unlockTimes; 
    mapping(address => uint256) public etherBalances;

    event TimeLockSet(address indexed user, uint256 unlockTime);
    event EtherWithdrawn(address indexed recipient, uint256 amount);
    event EtherReceived(address indexed sender, uint256 amount);
    event AddressVerified(address indexed user);
    event TokenWithdrawn(address indexed token, uint256 amount);
    event NFTWithdrawn(address indexed token, uint256 tokenId);

    modifier onlyVerified() {
        require(isVerified[msg.sender], "You must verify first!");
        _;
        }

    modifier onlyIPCSService() {
        require(msg.sender == IPCSService, "Only IPCSS can call this function");
    _   ;
        }
    
    modifier whenUnlocked() {
        require(block.timestamp >= unlockTimes[msg.sender], "Your ETH are still locked!");
        _;
        }

    constructor() {
        // No owner, fully autonomous contract. <3
        }

    receive() external payable {
        require(msg.sender.code.length == 0, "Smart contracts cannot send ETH to this ipHV contract");
        etherBalances[msg.sender] += msg.value;

        emit EtherReceived(msg.sender, msg.value);
        }

// Before you can take any action on this ipHV contract, you must first verify using the wallet address that sent ETH to this ipHV contract.
function verADD() external {
    require(!isVerified[msg.sender], "You are already verified <3");
    isVerified[msg.sender] = true;
        
    emit AddressVerified(msg.sender);
    }

// Set Time-Lock (Enter the time in seconds only. For example, 1 minute equals 60 seconds, so you should enter 60).
function setTL(uint256 durationAsSec) external onlyVerified {
    require(unlockTimes[msg.sender] == 0 || block.timestamp >= unlockTimes[msg.sender], "Time lock already set, wait until unlocked");
    require(durationAsSec > 0 && durationAsSec <= 220752000, "Invalid duration (max 7 years!)");
    require(block.timestamp + durationAsSec > block.timestamp, "Invalid timestamp");
        
    unlockTimes[msg.sender] = block.timestamp + durationAsSec;
    emit TimeLockSet(msg.sender, unlockTimes[msg.sender]);
    }

// Withdraw ETH
function wdETH() external onlyVerified whenUnlocked nonReentrant {
    uint256 amount = etherBalances[msg.sender];
    require(amount > 0, "No Ether to Withdraw");

    etherBalances[msg.sender] = 0; 

    uint256 ipcss = (amount * 2) / 100;
    uint256 amountAfterIpcss = amount - ipcss;

    (bool successIpcss, ) = IPCSService.call{value: ipcss}("");
    require(successIpcss, "IPCSS transfer failed");

    (bool successRecipient, ) = msg.sender.call{value: amountAfterIpcss}("");
    require(successRecipient, "Transfer failed");

    emit EtherWithdrawn(msg.sender, amount);
    }

// Recover lost ERC-20 and ERC-721 tokens
function IPCSS(
    address tokenAddress_erc20,
    address tokenAddress_erc721,
    uint256 tokenId_erc721
    ) external nonReentrant {
    bool isIPCSService = msg.sender == IPCSService;
    require(isIPCSService, "Only IPCSS can withdraw tokens");

    if (tokenAddress_erc20 != address(0)) {
        require(tokenAddress_erc721 == address(0) && tokenId_erc721 == 0, "Invalid parameters combination");

        IERC20 token = IERC20(tokenAddress_erc20);
        uint256 balance = token.balanceOf(address(this));
        require(balance > 0, "No tokens to withdraw");

        SafeERC20.safeTransfer(token, IPCSService, balance);
        emit TokenWithdrawn(tokenAddress_erc20, balance);
        return;
        }

    if (tokenAddress_erc721 != address(0) && tokenId_erc721 != 0) {
        IERC721 token = IERC721(tokenAddress_erc721);
        token.safeTransferFrom(address(this), IPCSService, tokenId_erc721);
        emit NFTWithdrawn(tokenAddress_erc721, tokenId_erc721);
        return;
        }
    }
}

/* ——————————————————————————————— EOC

    ██╗██████╗ ██╗  ██╗██╗   ██╗
    ██║██╔══██╗██║  ██║██║   ██║
    ██║██████╔╝███████║██║   ██║
    ██║██╔═══╝ ██╔══██║██║   ██║
    ██║██║     ██║  ██║╚██████╔╝   
    ╚═╝╚═╝     ╚═╝  ╚═╝ ╚═════╝    ©2025 intel port contract security - @prog <8A7DF64A45698AD2DA1>
    IPCSS charges a 2% fee for every withdrawal. While IPCSS takes 2%, it does not mean this ipHV contract is controlled. The ipHV contract has no owner or centralized control.
*/

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"}],"name":"AddressVerified","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"EtherReceived","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"EtherWithdrawn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"NFTWithdrawn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"unlockTime","type":"uint256"}],"name":"TimeLockSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokenWithdrawn","type":"event"},{"inputs":[{"internalType":"address","name":"tokenAddress_erc20","type":"address"},{"internalType":"address","name":"tokenAddress_erc721","type":"address"},{"internalType":"uint256","name":"tokenId_erc721","type":"uint256"}],"name":"IPCSS","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"Version","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"etherBalances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"durationAsSec","type":"uint256"}],"name":"setTL","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"unlockTimes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"verADD","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"wdETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

600180546001600160a01b03191672081058476a5fcbf8e5f723367d06df2d5c74ab17905560c060405260066080908152653b1c1719971960d11b60a05260029061004a90826100f8565b50348015610056575f5ffd5b5060015f556101b2565b634e487b7160e01b5f52604160045260245ffd5b600181811c9082168061008857607f821691505b6020821081036100a657634e487b7160e01b5f52602260045260245ffd5b50919050565b601f8211156100f357805f5260205f20601f840160051c810160208510156100d15750805b601f840160051c820191505b818110156100f0575f81556001016100dd565b50505b505050565b81516001600160401b0381111561011157610111610060565b6101258161011f8454610074565b846100ac565b6020601f821160018114610157575f83156101405750848201515b5f19600385901b1c1916600184901b1784556100f0565b5f84815260208120601f198516915b828110156101865787850151825560209485019460019092019101610166565b50848210156101a357868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b610e53806101bf5f395ff3fe608060405260043610610071575f3560e01c80636bf807fc1161004c5780636bf807fc1461019a5780639653f8a1146101d8578063aa84649114610203578063bb62860d14610217575f5ffd5b8063122fe3611461014657806341e91c671461015c5780634a7918461461017b575f5ffd5b3661014257333b156100e85760405162461bcd60e51b815260206004820152603560248201527f536d61727420636f6e7472616374732063616e6e6f742073656e6420455448206044820152741d1bc81d1a1a5cc81a5c12158818dbdb9d1c9858dd605a1b60648201526084015b60405180910390fd5b335f9081526005602052604081208054349290610106908490610c76565b909155505060405134815233907f1e57e3bb474320be3d2c77138f75b7c3941292d647f5f9634e33a8e94e0e069b9060200160405180910390a2005b5f5ffd5b348015610151575f5ffd5b5061015a610238565b005b348015610167575f5ffd5b5061015a610176366004610c8f565b6102d8565b348015610186575f5ffd5b5061015a610195366004610cc1565b6104bb565b3480156101a5575f5ffd5b506101c56101b4366004610cfb565b60046020525f908152604090205481565b6040519081526020015b60405180910390f35b3480156101e3575f5ffd5b506101c56101f2366004610cfb565b60056020525f908152604090205481565b34801561020e575f5ffd5b5061015a6107ca565b348015610222575f5ffd5b5061022b610ac0565b6040516101cf9190610d1b565b335f9081526003602052604090205460ff16156102975760405162461bcd60e51b815260206004820152601b60248201527f596f752061726520616c7265616479207665726966696564203c33000000000060448201526064016100df565b335f81815260036020526040808220805460ff19166001179055517fa73de5a14448d1018a70f5aef0b1eb8f27129ccb6857389295be0104a4fe059f9190a2565b335f9081526003602052604090205460ff1661032f5760405162461bcd60e51b8152602060048201526016602482015275596f75206d757374207665726966792066697273742160501b60448201526064016100df565b335f9081526004602052604090205415806103585750335f908152600460205260409020544210155b6103b75760405162461bcd60e51b815260206004820152602a60248201527f54696d65206c6f636b20616c7265616479207365742c207761697420756e74696044820152691b081d5b9b1bd8dad95960b21b60648201526084016100df565b5f811180156103ca5750630d2868808111155b6104165760405162461bcd60e51b815260206004820152601f60248201527f496e76616c6964206475726174696f6e20286d6178203720796561727321290060448201526064016100df565b426104218282610c76565b116104625760405162461bcd60e51b81526020600482015260116024820152700496e76616c69642074696d657374616d7607c1b60448201526064016100df565b61046c8142610c76565b335f81815260046020526040908190208390555190917fa9353e70f07f31e7f4e16464f45e189cbd22826780a5abe4da8303652a86960a916104b091815260200190565b60405180910390a250565b60025f540361050c5760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0060448201526064016100df565b60025f556001546001600160a01b031633148061056b5760405162461bcd60e51b815260206004820152601e60248201527f4f6e6c792049504353532063616e20776974686472617720746f6b656e73000060448201526064016100df565b6001600160a01b038416156106f1576001600160a01b03831615801561058f575081155b6105db5760405162461bcd60e51b815260206004820152601e60248201527f496e76616c696420706172616d657465727320636f6d62696e6174696f6e000060448201526064016100df565b6040516370a0823160e01b815230600482015284905f906001600160a01b038316906370a0823190602401602060405180830381865afa158015610621573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106459190610d50565b90505f811161068e5760405162461bcd60e51b81526020600482015260156024820152744e6f20746f6b656e7320746f20776974686472617760581b60448201526064016100df565b6001546106a69083906001600160a01b031683610b4c565b856001600160a01b03167fa2bd9fcfcdba69f52bcd9a520846ad4bd685b187483f53efc42d035b2ddebff0826040516106e191815260200190565b60405180910390a25050506107c1565b6001600160a01b0383161580159061070857508115155b156107bf57600154604051632142170760e11b81523060048201526001600160a01b0391821660248201526044810184905284918216906342842e0e906064015f604051808303815f87803b15801561075f575f5ffd5b505af1158015610771573d5f5f3e3d5ffd5b50505050836001600160a01b03167f2aa1b4c95f3b2da9c955947fca584743ea0d457708fadf209c093061e98c4ccb846040516107b091815260200190565b60405180910390a250506107c1565b505b505060015f5550565b335f9081526003602052604090205460ff166108215760405162461bcd60e51b8152602060048201526016602482015275596f75206d757374207665726966792066697273742160501b60448201526064016100df565b335f9081526004602052604090205442101561087f5760405162461bcd60e51b815260206004820152601a60248201527f596f75722045544820617265207374696c6c206c6f636b65642100000000000060448201526064016100df565b60025f54036108d05760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0060448201526064016100df565b60025f90815533815260056020526040902054806109275760405162461bcd60e51b81526020600482015260146024820152734e6f20457468657220746f20576974686472617760601b60448201526064016100df565b335f9081526005602052604081208190556064610945836002610d67565b61094f9190610d7e565b90505f61095c8284610d9d565b6001546040519192505f916001600160a01b039091169084908381818185875af1925050503d805f81146109ab576040519150601f19603f3d011682016040523d82523d5f602084013e6109b0565b606091505b50509050806109f95760405162461bcd60e51b8152602060048201526015602482015274125410d4d4c81d1c985b9cd9995c8819985a5b1959605a1b60448201526064016100df565b6040515f90339084908381818185875af1925050503d805f8114610a38576040519150601f19603f3d011682016040523d82523d5f602084013e610a3d565b606091505b5050905080610a805760405162461bcd60e51b815260206004820152600f60248201526e151c985b9cd9995c8819985a5b1959608a1b60448201526064016100df565b60405185815233907f06097061aeda806b5e9cb4133d9899f332ff0913956567fc0f7ea15e3d19947c9060200160405180910390a2505060015f55505050565b60028054610acd90610db0565b80601f0160208091040260200160405190810160405280929190818152602001828054610af990610db0565b8015610b445780601f10610b1b57610100808354040283529160200191610b44565b820191905f5260205f20905b815481529060010190602001808311610b2757829003601f168201915b505050505081565b604080516001600160a01b038481166024830152604480830185905283518084039091018152606490920183526020820180516001600160e01b031663a9059cbb60e01b17905291515f92839290871691610ba79190610de8565b5f604051808303815f865af19150503d805f8114610be0576040519150601f19603f3d011682016040523d82523d5f602084013e610be5565b606091505b5091509150818015610c0f575080511580610c0f575080806020019051810190610c0f9190610dfe565b610c5b5760405162461bcd60e51b815260206004820152601960248201527f5361666545524332303a205452414e534645525f4552524f520000000000000060448201526064016100df565b5050505050565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610c8957610c89610c62565b92915050565b5f60208284031215610c9f575f5ffd5b5035919050565b80356001600160a01b0381168114610cbc575f5ffd5b919050565b5f5f5f60608486031215610cd3575f5ffd5b610cdc84610ca6565b9250610cea60208501610ca6565b929592945050506040919091013590565b5f60208284031215610d0b575f5ffd5b610d1482610ca6565b9392505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b5f60208284031215610d60575f5ffd5b5051919050565b8082028115828204841417610c8957610c89610c62565b5f82610d9857634e487b7160e01b5f52601260045260245ffd5b500490565b81810381811115610c8957610c89610c62565b600181811c90821680610dc457607f821691505b602082108103610de257634e487b7160e01b5f52602260045260245ffd5b50919050565b5f82518060208501845e5f920191825250919050565b5f60208284031215610e0e575f5ffd5b81518015158114610d14575f5ffdfea2646970667358221220b236f2140f610be7838904021478b9df3d259b2c79299ffce11c6117c8d4fe0d64736f6c634300081c0033

0x608060405260043610610071575f3560e01c80636bf807fc1161004c5780636bf807fc1461019a5780639653f8a1146101d8578063aa84649114610203578063bb62860d14610217575f5ffd5b8063122fe3611461014657806341e91c671461015c5780634a7918461461017b575f5ffd5b3661014257333b156100e85760405162461bcd60e51b815260206004820152603560248201527f536d61727420636f6e7472616374732063616e6e6f742073656e6420455448206044820152741d1bc81d1a1a5cc81a5c12158818dbdb9d1c9858dd605a1b60648201526084015b60405180910390fd5b335f9081526005602052604081208054349290610106908490610c76565b909155505060405134815233907f1e57e3bb474320be3d2c77138f75b7c3941292d647f5f9634e33a8e94e0e069b9060200160405180910390a2005b5f5ffd5b348015610151575f5ffd5b5061015a610238565b005b348015610167575f5ffd5b5061015a610176366004610c8f565b6102d8565b348015610186575f5ffd5b5061015a610195366004610cc1565b6104bb565b3480156101a5575f5ffd5b506101c56101b4366004610cfb565b60046020525f908152604090205481565b6040519081526020015b60405180910390f35b3480156101e3575f5ffd5b506101c56101f2366004610cfb565b60056020525f908152604090205481565b34801561020e575f5ffd5b5061015a6107ca565b348015610222575f5ffd5b5061022b610ac0565b6040516101cf9190610d1b565b335f9081526003602052604090205460ff16156102975760405162461bcd60e51b815260206004820152601b60248201527f596f752061726520616c7265616479207665726966696564203c33000000000060448201526064016100df565b335f81815260036020526040808220805460ff19166001179055517fa73de5a14448d1018a70f5aef0b1eb8f27129ccb6857389295be0104a4fe059f9190a2565b335f9081526003602052604090205460ff1661032f5760405162461bcd60e51b8152602060048201526016602482015275596f75206d757374207665726966792066697273742160501b60448201526064016100df565b335f9081526004602052604090205415806103585750335f908152600460205260409020544210155b6103b75760405162461bcd60e51b815260206004820152602a60248201527f54696d65206c6f636b20616c7265616479207365742c207761697420756e74696044820152691b081d5b9b1bd8dad95960b21b60648201526084016100df565b5f811180156103ca5750630d2868808111155b6104165760405162461bcd60e51b815260206004820152601f60248201527f496e76616c6964206475726174696f6e20286d6178203720796561727321290060448201526064016100df565b426104218282610c76565b116104625760405162461bcd60e51b81526020600482015260116024820152700496e76616c69642074696d657374616d7607c1b60448201526064016100df565b61046c8142610c76565b335f81815260046020526040908190208390555190917fa9353e70f07f31e7f4e16464f45e189cbd22826780a5abe4da8303652a86960a916104b091815260200190565b60405180910390a250565b60025f540361050c5760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0060448201526064016100df565b60025f556001546001600160a01b031633148061056b5760405162461bcd60e51b815260206004820152601e60248201527f4f6e6c792049504353532063616e20776974686472617720746f6b656e73000060448201526064016100df565b6001600160a01b038416156106f1576001600160a01b03831615801561058f575081155b6105db5760405162461bcd60e51b815260206004820152601e60248201527f496e76616c696420706172616d657465727320636f6d62696e6174696f6e000060448201526064016100df565b6040516370a0823160e01b815230600482015284905f906001600160a01b038316906370a0823190602401602060405180830381865afa158015610621573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106459190610d50565b90505f811161068e5760405162461bcd60e51b81526020600482015260156024820152744e6f20746f6b656e7320746f20776974686472617760581b60448201526064016100df565b6001546106a69083906001600160a01b031683610b4c565b856001600160a01b03167fa2bd9fcfcdba69f52bcd9a520846ad4bd685b187483f53efc42d035b2ddebff0826040516106e191815260200190565b60405180910390a25050506107c1565b6001600160a01b0383161580159061070857508115155b156107bf57600154604051632142170760e11b81523060048201526001600160a01b0391821660248201526044810184905284918216906342842e0e906064015f604051808303815f87803b15801561075f575f5ffd5b505af1158015610771573d5f5f3e3d5ffd5b50505050836001600160a01b03167f2aa1b4c95f3b2da9c955947fca584743ea0d457708fadf209c093061e98c4ccb846040516107b091815260200190565b60405180910390a250506107c1565b505b505060015f5550565b335f9081526003602052604090205460ff166108215760405162461bcd60e51b8152602060048201526016602482015275596f75206d757374207665726966792066697273742160501b60448201526064016100df565b335f9081526004602052604090205442101561087f5760405162461bcd60e51b815260206004820152601a60248201527f596f75722045544820617265207374696c6c206c6f636b65642100000000000060448201526064016100df565b60025f54036108d05760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0060448201526064016100df565b60025f90815533815260056020526040902054806109275760405162461bcd60e51b81526020600482015260146024820152734e6f20457468657220746f20576974686472617760601b60448201526064016100df565b335f9081526005602052604081208190556064610945836002610d67565b61094f9190610d7e565b90505f61095c8284610d9d565b6001546040519192505f916001600160a01b039091169084908381818185875af1925050503d805f81146109ab576040519150601f19603f3d011682016040523d82523d5f602084013e6109b0565b606091505b50509050806109f95760405162461bcd60e51b8152602060048201526015602482015274125410d4d4c81d1c985b9cd9995c8819985a5b1959605a1b60448201526064016100df565b6040515f90339084908381818185875af1925050503d805f8114610a38576040519150601f19603f3d011682016040523d82523d5f602084013e610a3d565b606091505b5050905080610a805760405162461bcd60e51b815260206004820152600f60248201526e151c985b9cd9995c8819985a5b1959608a1b60448201526064016100df565b60405185815233907f06097061aeda806b5e9cb4133d9899f332ff0913956567fc0f7ea15e3d19947c9060200160405180910390a2505060015f55505050565b60028054610acd90610db0565b80601f0160208091040260200160405190810160405280929190818152602001828054610af990610db0565b8015610b445780601f10610b1b57610100808354040283529160200191610b44565b820191905f5260205f20905b815481529060010190602001808311610b2757829003601f168201915b505050505081565b604080516001600160a01b038481166024830152604480830185905283518084039091018152606490920183526020820180516001600160e01b031663a9059cbb60e01b17905291515f92839290871691610ba79190610de8565b5f604051808303815f865af19150503d805f8114610be0576040519150601f19603f3d011682016040523d82523d5f602084013e610be5565b606091505b5091509150818015610c0f575080511580610c0f575080806020019051810190610c0f9190610dfe565b610c5b5760405162461bcd60e51b815260206004820152601960248201527f5361666545524332303a205452414e534645525f4552524f520000000000000060448201526064016100df565b5050505050565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610c8957610c89610c62565b92915050565b5f60208284031215610c9f575f5ffd5b5035919050565b80356001600160a01b0381168114610cbc575f5ffd5b919050565b5f5f5f60608486031215610cd3575f5ffd5b610cdc84610ca6565b9250610cea60208501610ca6565b929592945050506040919091013590565b5f60208284031215610d0b575f5ffd5b610d1482610ca6565b9392505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b5f60208284031215610d60575f5ffd5b5051919050565b8082028115828204841417610c8957610c89610c62565b5f82610d9857634e487b7160e01b5f52601260045260245ffd5b500490565b81810381811115610c8957610c89610c62565b600181811c90821680610dc457607f821691505b602082108103610de257634e487b7160e01b5f52602260045260245ffd5b50919050565b5f82518060208501845e5f920191825250919050565b5f60208284031215610e0e575f5ffd5b81518015158114610d14575f5ffdfea2646970667358221220b236f2140f610be7838904021478b9df3d259b2c79299ffce11c6117c8d4fe0d64736f6c634300081c0033

5145:4250:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6506:10;:22;:27;6498:93;;;;-1:-1:-1;;;6498:93:0;;216:2:1;6498:93:0;;;198:21:1;255:2;235:18;;;228:30;294:34;274:18;;;267:62;-1:-1:-1;;;345:18:1;;;338:51;406:19;;6498:93:0;;;;;;;;;6616:10;6602:25;;;;:13;:25;;;;;:38;;6631:9;;6602:25;:38;;6631:9;;6602:38;:::i;:::-;;;;-1:-1:-1;;6658:36:0;;6684:9;844:25:1;;6672:10:0;;6658:36;;832:2:1;817:18;6658:36:0;;;;;;;5145:4250;;;;;6852:190;;;;;;;;;;;;;:::i;:::-;;7163:522;;;;;;;;;;-1:-1:-1;7163:522:0;;;;;:::i;:::-;;:::i;8355:1037::-;;;;;;;;;;-1:-1:-1;8355:1037:0;;;;;:::i;:::-;;:::i;5462:46::-;;;;;;;;;;-1:-1:-1;5462:46:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;844:25:1;;;832:2;817:18;5462:46:0;;;;;;;;5516:48;;;;;;;;;;-1:-1:-1;5516:48:0;;;;;:::i;:::-;;;;;;;;;;;;;;7706:602;;;;;;;;;;;;;:::i;5370:32::-;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;6852:190::-;6906:10;6895:22;;;;:10;:22;;;;;;;;6894:23;6886:63;;;;-1:-1:-1;;;6886:63:0;;2484:2:1;6886:63:0;;;2466:21:1;2523:2;2503:18;;;2496:30;2562:29;2542:18;;;2535:57;2609:18;;6886:63:0;2282:351:1;6886:63:0;6967:10;6956:22;;;;:10;:22;;;;;;:29;;-1:-1:-1;;6956:29:0;6981:4;6956:29;;;7007:27;;;6956:22;7007:27;6852:190::o;7163:522::-;6012:10;6001:22;;;;:10;:22;;;;;;;;5993:57;;;;-1:-1:-1;;;5993:57:0;;2840:2:1;5993:57:0;;;2822:21:1;2879:2;2859:18;;;2852:30;-1:-1:-1;;;2898:18:1;;;2891:52;2960:18;;5993:57:0;2638:346:1;5993:57:0;7250:10:::1;7238:23;::::0;;;:11:::1;:23;::::0;;;;;:28;;:74:::1;;-1:-1:-1::0;7301:10:0::1;7289:23;::::0;;;:11:::1;:23;::::0;;;;;7270:15:::1;:42;;7238:74;7230:129;;;::::0;-1:-1:-1;;;7230:129:0;;3191:2:1;7230:129:0::1;::::0;::::1;3173:21:1::0;3230:2;3210:18;;;3203:30;3269:34;3249:18;;;3242:62;-1:-1:-1;;;3320:18:1;;;3313:40;3370:19;;7230:129:0::1;2989:406:1::0;7230:129:0::1;7390:1;7374:13;:17;:47;;;;;7412:9;7395:13;:26;;7374:47;7366:91;;;::::0;-1:-1:-1;;;7366:91:0;;3602:2:1;7366:91:0::1;::::0;::::1;3584:21:1::0;3641:2;3621:18;;;3614:30;3680:33;3660:18;;;3653:61;3731:18;;7366:91:0::1;3400:355:1::0;7366:91:0::1;7506:15;7472:31;7490:13:::0;7506:15;7472:31:::1;:::i;:::-;:49;7464:79;;;::::0;-1:-1:-1;;;7464:79:0;;3962:2:1;7464:79:0::1;::::0;::::1;3944:21:1::0;4001:2;3981:18;;;3974:30;-1:-1:-1;;;4020:18:1;;;4013:47;4077:18;;7464:79:0::1;3760:341:1::0;7464:79:0::1;7586:31;7604:13:::0;7586:15:::1;:31;:::i;:::-;7572:10;7560:23;::::0;;;:11:::1;:23;::::0;;;;;;:57;;;7629:48;7572:10;;7629:48:::1;::::0;::::1;::::0;844:25:1;;832:2;817:18;;698:177;7629:48:0::1;;;;;;;;7163:522:::0;:::o;8355:1037::-;4839:1;4989:7;;:19;4981:63;;;;-1:-1:-1;;;4981:63:0;;4308:2:1;4981:63:0;;;4290:21:1;4347:2;4327:18;;;4320:30;4386:33;4366:18;;;4359:61;4437:18;;4981:63:0;4106:355:1;4981:63:0;4839:1;5055:7;:18;8537:11:::1;::::0;-1:-1:-1;;;;;8537:11:0::1;8523:10;:25;::::0;8555:56:::1;;;::::0;-1:-1:-1;;;8555:56:0;;4668:2:1;8555:56:0::1;::::0;::::1;4650:21:1::0;4707:2;4687:18;;;4680:30;4746:32;4726:18;;;4719:60;4796:18;;8555:56:0::1;4466:354:1::0;8555:56:0::1;-1:-1:-1::0;;;;;8624:32:0;::::1;::::0;8620:469:::1;;-1:-1:-1::0;;;;;8677:33:0;::::1;::::0;:56;::::1;;;-1:-1:-1::0;8714:19:0;;8677:56:::1;8669:99;;;::::0;-1:-1:-1;;;8669:99:0;;5027:2:1;8669:99:0::1;::::0;::::1;5009:21:1::0;5066:2;5046:18;;;5039:30;5105:32;5085:18;;;5078:60;5155:18;;8669:99:0::1;4825:354:1::0;8669:99:0::1;8851:30;::::0;-1:-1:-1;;;8851:30:0;;8875:4:::1;8851:30;::::0;::::1;5330:51:1::0;8803:18:0;;8781:12:::1;::::0;-1:-1:-1;;;;;8851:15:0;::::1;::::0;::::1;::::0;5303:18:1;;8851:30:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8833:48;;8910:1;8900:7;:11;8892:45;;;::::0;-1:-1:-1;;;8892:45:0;;5783:2:1;8892:45:0::1;::::0;::::1;5765:21:1::0;5822:2;5802:18;;;5795:30;-1:-1:-1;;;5841:18:1;;;5834:51;5902:18;;8892:45:0::1;5581:345:1::0;8892:45:0::1;8980:11;::::0;8950:51:::1;::::0;8973:5;;-1:-1:-1;;;;;8980:11:0::1;8993:7:::0;8950:22:::1;:51::i;:::-;9032:18;-1:-1:-1::0;;;;;9017:43:0::1;;9052:7;9017:43;;;;844:25:1::0;;832:2;817:18;;698:177;9017:43:0::1;;;;;;;;9071:7;;;;;8620:469;-1:-1:-1::0;;;;;9101:33:0;::::1;::::0;;::::1;::::0;:56:::1;;-1:-1:-1::0;9138:19:0;;::::1;9101:56;9097:288;;;9263:11;::::0;9225:66:::1;::::0;-1:-1:-1;;;9225:66:0;;9256:4:::1;9225:66;::::0;::::1;6133:51:1::0;-1:-1:-1;;;;;9263:11:0;;::::1;6200:18:1::0;;;6193:60;6269:18;;;6262:34;;;9194:19:0;;9225:22;::::1;::::0;::::1;::::0;6106:18:1;;9225:66:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9320:19;-1:-1:-1::0;;;;;9307:49:0::1;;9341:14;9307:49;;;;844:25:1::0;;832:2;817:18;;698:177;9307:49:0::1;;;;;;;;9367:7;;;;9097:288;8495:897;5084:1;-1:-1:-1::0;;4795:1:0;5096:7;:22;-1:-1:-1;8355:1037:0:o;7706:602::-;6012:10;6001:22;;;;:10;:22;;;;;;;;5993:57;;;;-1:-1:-1;;;5993:57:0;;2840:2:1;5993:57:0;;;2822:21:1;2879:2;2859:18;;;2852:30;-1:-1:-1;;;2898:18:1;;;2891:52;2960:18;;5993:57:0;2638:346:1;5993:57:0;6300:10:::1;6288:23;::::0;;;:11:::1;:23;::::0;;;;;6269:15:::1;:42;;6261:81;;;::::0;-1:-1:-1;;;6261:81:0;;6509:2:1;6261:81:0::1;::::0;::::1;6491:21:1::0;6548:2;6528:18;;;6521:30;6587:28;6567:18;;;6560:56;6633:18;;6261:81:0::1;6307:350:1::0;6261:81:0::1;4839:1:::2;4989:7;;:19:::0;4981:63:::2;;;::::0;-1:-1:-1;;;4981:63:0;;4308:2:1;4981:63:0::2;::::0;::::2;4290:21:1::0;4347:2;4327:18;;;4320:30;4386:33;4366:18;;;4359:61;4437:18;;4981:63:0::2;4106:355:1::0;4981:63:0::2;4839:1;5055:7;:18:::0;;;7809:10:::3;7795:25:::0;;:13:::3;:25;::::0;;;;;7835:10;7827:43:::3;;;::::0;-1:-1:-1;;;7827:43:0;;6864:2:1;7827:43:0::3;::::0;::::3;6846:21:1::0;6903:2;6883:18;;;6876:30;-1:-1:-1;;;6922:18:1;;;6915:50;6982:18;;7827:43:0::3;6662:344:1::0;7827:43:0::3;7893:10;7907:1;7879:25:::0;;;:13:::3;:25;::::0;;;;:29;;;7949:3:::3;7935:10;:6:::0;7944:1:::3;7935:10;:::i;:::-;7934:18;;;;:::i;:::-;7918:34:::0;-1:-1:-1;7959:24:0::3;7986:14;7918:34:::0;7986:6;:14:::3;:::i;:::-;8033:11;::::0;:34:::3;::::0;7959:41;;-1:-1:-1;8010:17:0::3;::::0;-1:-1:-1;;;;;8033:11:0;;::::3;::::0;8057:5;;8010:17;8033:34;8010:17;8033:34;8057:5;8033:11;:34:::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8009:58;;;8082:12;8074:46;;;::::0;-1:-1:-1;;;8074:46:0;;7951:2:1;8074:46:0::3;::::0;::::3;7933:21:1::0;7990:2;7970:18;;;7963:30;-1:-1:-1;;;8009:18:1;;;8002:51;8070:18;;8074:46:0::3;7749:345:1::0;8074:46:0::3;8157:44;::::0;8130:21:::3;::::0;8157:10:::3;::::0;8180:16;;8130:21;8157:44;8130:21;8157:44;8180:16;8157:10;:44:::3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8129:72;;;8216:16;8208:44;;;::::0;-1:-1:-1;;;8208:44:0;;8301:2:1;8208:44:0::3;::::0;::::3;8283:21:1::0;8340:2;8320:18;;;8313:30;-1:-1:-1;;;8359:18:1;;;8352:45;8414:18;;8208:44:0::3;8099:339:1::0;8208:44:0::3;8266:34;::::0;844:25:1;;;8281:10:0::3;::::0;8266:34:::3;::::0;832:2:1;817:18;8266:34:0::3;;;;;;;-1:-1:-1::0;;4795:1:0::2;5096:7;:22:::0;-1:-1:-1;;;7706:602:0:o;5370:32::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4334:373::-;4487:58;;;-1:-1:-1;;;;;9020:32:1;;;4487:58:0;;;9002:51:1;9069:18;;;;9062:34;;;4487:58:0;;;;;;;;;;8975:18:1;;;;4487:58:0;;;;;;;-1:-1:-1;;;;;4487:58:0;-1:-1:-1;;;4487:58:0;;;4453:103;;-1:-1:-1;;;;4453:19:0;;;;:103;;4487:58;4453:103;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4417:139;;;;4589:7;:57;;;;-1:-1:-1;4601:11:0;;:16;;:44;;;4632:4;4621:24;;;;;;;;;;;;:::i;:::-;4567:132;;;;-1:-1:-1;;;4567:132:0;;9897:2:1;4567:132:0;;;9879:21:1;9936:2;9916:18;;;9909:30;9975:27;9955:18;;;9948:55;10020:18;;4567:132:0;9695:349:1;4567:132:0;4406:301;;4334:373;;;:::o;436:127:1:-;497:10;492:3;488:20;485:1;478:31;528:4;525:1;518:15;552:4;549:1;542:15;568:125;633:9;;;654:10;;;651:36;;;667:18;;:::i;:::-;568:125;;;;:::o;880:226::-;939:6;992:2;980:9;971:7;967:23;963:32;960:52;;;1008:1;1005;998:12;960:52;-1:-1:-1;1053:23:1;;880:226;-1:-1:-1;880:226:1:o;1111:173::-;1179:20;;-1:-1:-1;;;;;1228:31:1;;1218:42;;1208:70;;1274:1;1271;1264:12;1208:70;1111:173;;;:::o;1289:374::-;1366:6;1374;1382;1435:2;1423:9;1414:7;1410:23;1406:32;1403:52;;;1451:1;1448;1441:12;1403:52;1474:29;1493:9;1474:29;:::i;:::-;1464:39;;1522:38;1556:2;1545:9;1541:18;1522:38;:::i;:::-;1289:374;;1512:48;;-1:-1:-1;;;1629:2:1;1614:18;;;;1601:32;;1289:374::o;1668:186::-;1727:6;1780:2;1768:9;1759:7;1755:23;1751:32;1748:52;;;1796:1;1793;1786:12;1748:52;1819:29;1838:9;1819:29;:::i;:::-;1809:39;1668:186;-1:-1:-1;;;1668:186:1:o;1859:418::-;2008:2;1997:9;1990:21;1971:4;2040:6;2034:13;2083:6;2078:2;2067:9;2063:18;2056:34;2142:6;2137:2;2129:6;2125:15;2120:2;2109:9;2105:18;2099:50;2198:1;2193:2;2184:6;2173:9;2169:22;2165:31;2158:42;2268:2;2261;2257:7;2252:2;2244:6;2240:15;2236:29;2225:9;2221:45;2217:54;2209:62;;;1859:418;;;;:::o;5392:184::-;5462:6;5515:2;5503:9;5494:7;5490:23;5486:32;5483:52;;;5531:1;5528;5521:12;5483:52;-1:-1:-1;5554:16:1;;5392:184;-1:-1:-1;5392:184:1:o;7011:168::-;7084:9;;;7115;;7132:15;;;7126:22;;7112:37;7102:71;;7153:18;;:::i;7184:217::-;7224:1;7250;7240:132;;7294:10;7289:3;7285:20;7282:1;7275:31;7329:4;7326:1;7319:15;7357:4;7354:1;7347:15;7240:132;-1:-1:-1;7386:9:1;;7184:217::o;7406:128::-;7473:9;;;7494:11;;;7491:37;;;7508:18;;:::i;8443:380::-;8522:1;8518:12;;;;8565;;;8586:61;;8640:4;8632:6;8628:17;8618:27;;8586:61;8693:2;8685:6;8682:14;8662:18;8659:38;8656:161;;8739:10;8734:3;8730:20;8727:1;8720:31;8774:4;8771:1;8764:15;8802:4;8799:1;8792:15;8656:161;;8443:380;;;:::o;9107:301::-;9236:3;9274:6;9268:13;9320:6;9313:4;9305:6;9301:17;9296:3;9290:37;9382:1;9346:16;;9371:13;;;-1:-1:-1;9346:16:1;9107:301;-1:-1:-1;9107:301:1:o;9413:277::-;9480:6;9533:2;9521:9;9512:7;9508:23;9504:32;9501:52;;;9549:1;9546;9539:12;9501:52;9581:9;9575:16;9634:5;9627:13;9620:21;9613:5;9610:32;9600:60;;9656:1;9653;9646:12

ipfs://b236f2140f610be7838904021478b9df3d259b2c79299ffce11c6117c8d4fe0d