Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at BscScan.com on 2025-10-19
*/

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

/// @title WIZO Token (WZO) - Minimal fair-launch ERC20 (BEP20-style)
/// @notice 1,000,000,000 tokens minted to deployer. Trading locked until owner calls enableTrading().
contract WizoToken {
    // ----- ERC20 metadata (constants for scanner friendliness & gas) -----
    string public constant name = "WIZO";
    string public constant symbol = "WZO";
    uint8  public constant decimals = 18;

    uint256 private constant INITIAL_SUPPLY = 1_000_000_000 * (10 ** uint256(decimals));

    // ----- state -----
    uint256 private _totalSupply;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;

    // Ownership
    address public owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    // ERC20 events
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed ownerAddr, address indexed spender, uint256 value);

    // Trading control
    /// @notice Block number at which trading becomes allowed for non-owner (set to block.number + 1 on enable)
    uint256 public launchBlock;
    event TradingEnabled(uint256 launchBlock);

    // ----- modifiers -----
    modifier onlyOwner() {
        require(msg.sender == owner, "WIZO: caller is not the owner");
        _;
    }

    /// @dev Prevent transfers from non-owner before trading is enabled.
    modifier canTrade(address from) {
        if (from != owner) {
            require(launchBlock != 0 && block.number >= launchBlock, "WIZO: trading not yet started");
        }
        _;
    }

    // ----- constructor -----
    constructor() {
        owner = msg.sender;

        _totalSupply = INITIAL_SUPPLY;
        _balances[owner] = _totalSupply;

        emit OwnershipTransferred(address(0), owner);
        emit Transfer(address(0), owner, _totalSupply); // scanner-friendly initial mint event
    }

    // ----- ownership -----
    function transferOwnership(address newOwner) external onlyOwner {
        require(newOwner != address(0), "WIZO: new owner is zero address");
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

    function renounceOwnership() external onlyOwner {
        emit OwnershipTransferred(owner, address(0));
        owner = address(0);
    }

    // ----- trading -----
    /// @notice Enable public trading. Sets launchBlock to next block to avoid same-block confusion.
    function enableTrading() external onlyOwner {
        require(launchBlock == 0, "WIZO: trading already enabled");
        launchBlock = block.number + 1;
        emit TradingEnabled(launchBlock);
    }

    // ----- ERC20 interface -----
    function totalSupply() external view returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) external view returns (uint256) {
        return _balances[account];
    }

    function allowance(address ownerAddr, address spender) external view returns (uint256) {
        return _allowances[ownerAddr][spender];
    }

    function approve(address spender, uint256 amount) external returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function transfer(address to, uint256 amount) external canTrade(msg.sender) returns (bool) {
        _transfer(msg.sender, to, amount);
        return true;
    }

    function transferFrom(address from, address to, uint256 amount) external canTrade(from) returns (bool) {
        uint256 currentAllowance = _allowances[from][msg.sender];
        require(currentAllowance >= amount, "WIZO: transfer amount exceeds allowance");

        _allowances[from][msg.sender] = currentAllowance - amount;
        emit Approval(from, msg.sender, _allowances[from][msg.sender]);

        _transfer(from, to, amount);
        return true;
    }

    // Optional helpers to avoid approve race condition
    function increaseAllowance(address spender, uint256 addedValue) external returns (bool) {
        _allowances[msg.sender][spender] += addedValue;
        emit Approval(msg.sender, spender, _allowances[msg.sender][spender]);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) external returns (bool) {
        uint256 current = _allowances[msg.sender][spender];
        require(current >= subtractedValue, "WIZO: decreased allowance below zero");
        _allowances[msg.sender][spender] = current - subtractedValue;
        emit Approval(msg.sender, spender, _allowances[msg.sender][spender]);
        return true;
    }

    // ----- internal transfer (gas-minimal, safe) -----
    function _transfer(address from, address to, uint256 amount) internal {
        require(from != address(0), "WIZO: transfer from the zero address");
        require(to   != address(0), "WIZO: transfer to the zero address");
        require(_balances[from] >= amount, "WIZO: transfer amount exceeds balance");

        // safe to use unchecked for subtraction (we checked above)
        unchecked { _balances[from] -= amount; }
        _balances[to] += amount;

        emit Transfer(from, to, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"ownerAddr","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":false,"internalType":"uint256","name":"launchBlock","type":"uint256"}],"name":"TradingEnabled","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":"ownerAddr","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"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":"launchBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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"}]

608060405234801562000010575f80fd5b50600380546001600160a01b03191633179055620000316012600a620001ea565b6200004190633b9aca00620001fe565b5f818155600380546001600160a01b0390811683526001602052604080842094909455905492519216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a36003545f80546040519081526001600160a01b03909216917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a362000218565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200012f57815f1904821115620001135762000113620000db565b808516156200012157918102915b93841c9390800290620000f4565b509250929050565b5f826200014757506001620001e4565b816200015557505f620001e4565b81600181146200016e5760028114620001795762000199565b6001915050620001e4565b60ff8411156200018d576200018d620000db565b50506001821b620001e4565b5060208310610133831016604e8410600b8410161715620001be575081810a620001e4565b620001ca8383620000ef565b805f1904821115620001e057620001e0620000db565b0290505b92915050565b5f620001f7838362000137565b9392505050565b8082028115828204841417620001e457620001e4620000db565b610c0280620002265f395ff3fe608060405234801561000f575f80fd5b50600436106100fb575f3560e01c80638a8c523c11610093578063a9059cbb11610063578063a9059cbb14610246578063d00efb2f14610259578063dd62ed3e14610262578063f2fde38b1461029a575f80fd5b80638a8c523c146101de5780638da5cb5b146101e657806395d89b4114610211578063a457c2d714610233575f80fd5b8063313ce567116100ce578063313ce5671461017f578063395093511461019957806370a08231146101ac578063715018a6146101d4575f80fd5b806306fdde03146100ff578063095ea7b31461013857806318160ddd1461015b57806323b872dd1461016c575b5f80fd5b6101226040518060400160405280600481526020016357495a4f60e01b81525081565b60405161012f9190610a22565b60405180910390f35b61014b610146366004610a89565b6102ad565b604051901515815260200161012f565b5f545b60405190815260200161012f565b61014b61017a366004610ab1565b610306565b610187601281565b60405160ff909116815260200161012f565b61014b6101a7366004610a89565b61046d565b61015e6101ba366004610aea565b6001600160a01b03165f9081526001602052604090205490565b6101dc6104e9565b005b6101dc61055c565b6003546101f9906001600160a01b031681565b6040516001600160a01b03909116815260200161012f565b61012260405180604001604052806003815260200162575a4f60e81b81525081565b61014b610241366004610a89565b61061b565b61014b610254366004610a89565b6106f4565b61015e60045481565b61015e610270366004610b0a565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b6101dc6102a8366004610aea565b61077e565b335f8181526002602090815260408083206001600160a01b038716808552925280832085905551919290915f80516020610bad833981519152906102f49086815260200190565b60405180910390a35060015b92915050565b6003545f9084906001600160a01b03808316911614610383576004541580159061033257506004544310155b6103835760405162461bcd60e51b815260206004820152601d60248201527f57495a4f3a2074726164696e67206e6f7420796574207374617274656400000060448201526064015b60405180910390fd5b6001600160a01b0385165f908152600260209081526040808320338452909152902054838110156104065760405162461bcd60e51b815260206004820152602760248201527f57495a4f3a207472616e7366657220616d6f756e74206578636565647320616c6044820152666c6f77616e636560c81b606482015260840161037a565b6104108482610b4f565b6001600160a01b0387165f81815260026020908152604080832033808552908352928190208590555193845290925f80516020610bad833981519152910160405180910390a3610461868686610859565b50600195945050505050565b335f9081526002602090815260408083206001600160a01b03861684529091528120805483919083906104a1908490610b62565b9091555050335f8181526002602090815260408083206001600160a01b038816808552908352928190205490519081529192915f80516020610bad83398151915291016102f4565b6003546001600160a01b031633146105135760405162461bcd60e51b815260040161037a90610b75565b6003546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600380546001600160a01b0319169055565b6003546001600160a01b031633146105865760405162461bcd60e51b815260040161037a90610b75565b600454156105d65760405162461bcd60e51b815260206004820152601d60248201527f57495a4f3a2074726164696e6720616c726561647920656e61626c6564000000604482015260640161037a565b6105e1436001610b62565b60048190556040519081527fb3da2db3dfc3778f99852546c6e9ab39ec253f9de7b0847afec61bd27878e9239060200160405180910390a1565b335f9081526002602090815260408083206001600160a01b03861684529091528120548281101561069a5760405162461bcd60e51b8152602060048201526024808201527f57495a4f3a2064656372656173656420616c6c6f77616e63652062656c6f77206044820152637a65726f60e01b606482015260840161037a565b6106a48382610b4f565b335f8181526002602090815260408083206001600160a01b038a16808552908352928190208590555193845290925f80516020610bad833981519152910160405180910390a35060019392505050565b6003545f9033906001600160a01b03168114610769576004541580159061071d57506004544310155b6107695760405162461bcd60e51b815260206004820152601d60248201527f57495a4f3a2074726164696e67206e6f74207965742073746172746564000000604482015260640161037a565b610774338585610859565b5060019392505050565b6003546001600160a01b031633146107a85760405162461bcd60e51b815260040161037a90610b75565b6001600160a01b0381166107fe5760405162461bcd60e51b815260206004820152601f60248201527f57495a4f3a206e6577206f776e6572206973207a65726f206164647265737300604482015260640161037a565b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166108bb5760405162461bcd60e51b8152602060048201526024808201527f57495a4f3a207472616e736665722066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161037a565b6001600160a01b03821661091c5760405162461bcd60e51b815260206004820152602260248201527f57495a4f3a207472616e7366657220746f20746865207a65726f206164647265604482015261737360f01b606482015260840161037a565b6001600160a01b0383165f908152600160205260409020548111156109915760405162461bcd60e51b815260206004820152602560248201527f57495a4f3a207472616e7366657220616d6f756e7420657863656564732062616044820152646c616e636560d81b606482015260840161037a565b6001600160a01b038084165f9081526001602052604080822080548590039055918416815290812080548392906109c9908490610b62565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a1591815260200190565b60405180910390a3505050565b5f602080835283518060208501525f5b81811015610a4e57858101830151858201604001528201610a32565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610a84575f80fd5b919050565b5f8060408385031215610a9a575f80fd5b610aa383610a6e565b946020939093013593505050565b5f805f60608486031215610ac3575f80fd5b610acc84610a6e565b9250610ada60208501610a6e565b9150604084013590509250925092565b5f60208284031215610afa575f80fd5b610b0382610a6e565b9392505050565b5f8060408385031215610b1b575f80fd5b610b2483610a6e565b9150610b3260208401610a6e565b90509250929050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561030057610300610b3b565b8082018082111561030057610300610b3b565b6020808252601d908201527f57495a4f3a2063616c6c6572206973206e6f7420746865206f776e657200000060408201526060019056fe8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925a2646970667358221220795fc0262ab0e6a6c6baf7d1451ca4e334b46a252d45496496d353090f5720fe64736f6c63430008180033

0x608060405234801561000f575f80fd5b50600436106100fb575f3560e01c80638a8c523c11610093578063a9059cbb11610063578063a9059cbb14610246578063d00efb2f14610259578063dd62ed3e14610262578063f2fde38b1461029a575f80fd5b80638a8c523c146101de5780638da5cb5b146101e657806395d89b4114610211578063a457c2d714610233575f80fd5b8063313ce567116100ce578063313ce5671461017f578063395093511461019957806370a08231146101ac578063715018a6146101d4575f80fd5b806306fdde03146100ff578063095ea7b31461013857806318160ddd1461015b57806323b872dd1461016c575b5f80fd5b6101226040518060400160405280600481526020016357495a4f60e01b81525081565b60405161012f9190610a22565b60405180910390f35b61014b610146366004610a89565b6102ad565b604051901515815260200161012f565b5f545b60405190815260200161012f565b61014b61017a366004610ab1565b610306565b610187601281565b60405160ff909116815260200161012f565b61014b6101a7366004610a89565b61046d565b61015e6101ba366004610aea565b6001600160a01b03165f9081526001602052604090205490565b6101dc6104e9565b005b6101dc61055c565b6003546101f9906001600160a01b031681565b6040516001600160a01b03909116815260200161012f565b61012260405180604001604052806003815260200162575a4f60e81b81525081565b61014b610241366004610a89565b61061b565b61014b610254366004610a89565b6106f4565b61015e60045481565b61015e610270366004610b0a565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b6101dc6102a8366004610aea565b61077e565b335f8181526002602090815260408083206001600160a01b038716808552925280832085905551919290915f80516020610bad833981519152906102f49086815260200190565b60405180910390a35060015b92915050565b6003545f9084906001600160a01b03808316911614610383576004541580159061033257506004544310155b6103835760405162461bcd60e51b815260206004820152601d60248201527f57495a4f3a2074726164696e67206e6f7420796574207374617274656400000060448201526064015b60405180910390fd5b6001600160a01b0385165f908152600260209081526040808320338452909152902054838110156104065760405162461bcd60e51b815260206004820152602760248201527f57495a4f3a207472616e7366657220616d6f756e74206578636565647320616c6044820152666c6f77616e636560c81b606482015260840161037a565b6104108482610b4f565b6001600160a01b0387165f81815260026020908152604080832033808552908352928190208590555193845290925f80516020610bad833981519152910160405180910390a3610461868686610859565b50600195945050505050565b335f9081526002602090815260408083206001600160a01b03861684529091528120805483919083906104a1908490610b62565b9091555050335f8181526002602090815260408083206001600160a01b038816808552908352928190205490519081529192915f80516020610bad83398151915291016102f4565b6003546001600160a01b031633146105135760405162461bcd60e51b815260040161037a90610b75565b6003546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600380546001600160a01b0319169055565b6003546001600160a01b031633146105865760405162461bcd60e51b815260040161037a90610b75565b600454156105d65760405162461bcd60e51b815260206004820152601d60248201527f57495a4f3a2074726164696e6720616c726561647920656e61626c6564000000604482015260640161037a565b6105e1436001610b62565b60048190556040519081527fb3da2db3dfc3778f99852546c6e9ab39ec253f9de7b0847afec61bd27878e9239060200160405180910390a1565b335f9081526002602090815260408083206001600160a01b03861684529091528120548281101561069a5760405162461bcd60e51b8152602060048201526024808201527f57495a4f3a2064656372656173656420616c6c6f77616e63652062656c6f77206044820152637a65726f60e01b606482015260840161037a565b6106a48382610b4f565b335f8181526002602090815260408083206001600160a01b038a16808552908352928190208590555193845290925f80516020610bad833981519152910160405180910390a35060019392505050565b6003545f9033906001600160a01b03168114610769576004541580159061071d57506004544310155b6107695760405162461bcd60e51b815260206004820152601d60248201527f57495a4f3a2074726164696e67206e6f74207965742073746172746564000000604482015260640161037a565b610774338585610859565b5060019392505050565b6003546001600160a01b031633146107a85760405162461bcd60e51b815260040161037a90610b75565b6001600160a01b0381166107fe5760405162461bcd60e51b815260206004820152601f60248201527f57495a4f3a206e6577206f776e6572206973207a65726f206164647265737300604482015260640161037a565b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166108bb5760405162461bcd60e51b8152602060048201526024808201527f57495a4f3a207472616e736665722066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161037a565b6001600160a01b03821661091c5760405162461bcd60e51b815260206004820152602260248201527f57495a4f3a207472616e7366657220746f20746865207a65726f206164647265604482015261737360f01b606482015260840161037a565b6001600160a01b0383165f908152600160205260409020548111156109915760405162461bcd60e51b815260206004820152602560248201527f57495a4f3a207472616e7366657220616d6f756e7420657863656564732062616044820152646c616e636560d81b606482015260840161037a565b6001600160a01b038084165f9081526001602052604080822080548590039055918416815290812080548392906109c9908490610b62565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a1591815260200190565b60405180910390a3505050565b5f602080835283518060208501525f5b81811015610a4e57858101830151858201604001528201610a32565b505f604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610a84575f80fd5b919050565b5f8060408385031215610a9a575f80fd5b610aa383610a6e565b946020939093013593505050565b5f805f60608486031215610ac3575f80fd5b610acc84610a6e565b9250610ada60208501610a6e565b9150604084013590509250925092565b5f60208284031215610afa575f80fd5b610b0382610a6e565b9392505050565b5f8060408385031215610b1b575f80fd5b610b2483610a6e565b9150610b3260208401610a6e565b90509250929050565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561030057610300610b3b565b8082018082111561030057610300610b3b565b6020808252601d908201527f57495a4f3a2063616c6c6572206973206e6f7420746865206f776e657200000060408201526060019056fe8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925a2646970667358221220795fc0262ab0e6a6c6baf7d1451ca4e334b46a252d45496496d353090f5720fe64736f6c63430008180033

235:5183:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;339:36;;;;;;;;;;;;;;;-1:-1:-1;;;339:36:0;;;;;;;;;;;;:::i;:::-;;;;;;;;3223:209;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;3223:209:0;1004:187:1;2850:93:0;2896:7;2923:12;2850:93;;;1342:25:1;;;1330:2;1315:18;2850:93:0;1196:177:1;3613:472:0;;;;;;:::i;:::-;;:::i;426:36::-;;460:2;426:36;;;;;1883:4:1;1871:17;;;1853:36;;1841:2;1826:18;426:36:0;1711:184:1;4150:254:0;;;;;;:::i;:::-;;:::i;2951:112::-;;;;;;:::i;:::-;-1:-1:-1;;;;;3037:18:0;3010:7;3037:18;;;:9;:18;;;;;;;2951:112;2323:140;;;:::i;:::-;;2601:205;;;:::i;770:20::-;;;;;-1:-1:-1;;;;;770:20:0;;;;;;-1:-1:-1;;;;;2255:32:1;;;2237:51;;2225:2;2210:18;770:20:0;2091:203:1;382:37:0;;;;;;;;;;;;;;;-1:-1:-1;;;382:37:0;;;;;4412:420;;;;;;:::i;:::-;;:::i;3440:165::-;;;;;;:::i;:::-;;:::i;1215:26::-;;;;;;3071:144;;;;;;:::i;:::-;-1:-1:-1;;;;;3176:22:0;;;3149:7;3176:22;;;:11;:22;;;;;;;;:31;;;;;;;;;;;;;3071:144;2086:229;;;;;;:::i;:::-;;:::i;3223:209::-;3320:10;3291:4;3308:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3308:32:0;;;;;;;;;;:41;;;3365:37;3291:4;;3308:32;;-1:-1:-1;;;;;;;;;;;3365:37:0;;;3343:6;1342:25:1;;1330:2;1315:18;;1196:177;3365:37:0;;;;;;;;-1:-1:-1;3420:4:0;3223:209;;;;;:::o;3613:472::-;1578:5;;3710:4;;3695;;-1:-1:-1;;;;;1570:13:0;;;1578:5;;1570:13;1566:135;;1608:11;;:16;;;;:47;;;1644:11;;1628:12;:27;;1608:47;1600:89;;;;-1:-1:-1;;;1600:89:0;;2766:2:1;1600:89:0;;;2748:21:1;2805:2;2785:18;;;2778:30;2844:31;2824:18;;;2817:59;2893:18;;1600:89:0;;;;;;;;;-1:-1:-1;;;;;3754:17:0;::::1;3727:24;3754:17:::0;;;:11:::1;:17;::::0;;;;;;;3772:10:::1;3754:29:::0;;;;;;;;3802:26;;::::1;;3794:78;;;::::0;-1:-1:-1;;;3794:78:0;;3124:2:1;3794:78:0::1;::::0;::::1;3106:21:1::0;3163:2;3143:18;;;3136:30;3202:34;3182:18;;;3175:62;-1:-1:-1;;;3253:18:1;;;3246:37;3300:19;;3794:78:0::1;2922:403:1::0;3794:78:0::1;3917:25;3936:6:::0;3917:16;:25:::1;:::i;:::-;-1:-1:-1::0;;;;;3885:17:0;::::1;;::::0;;;:11:::1;:17;::::0;;;;;;;3903:10:::1;3885:29:::0;;;;;;;;;;:57;;;3958;1342:25:1;;;3903:10:0;;-1:-1:-1;;;;;;;;;;;3958:57:0;1315:18:1;3958:57:0::1;;;;;;;4028:27;4038:4;4044:2;4048:6;4028:9;:27::i;:::-;-1:-1:-1::0;4073:4:0::1;::::0;3613:472;-1:-1:-1;;;;;3613:472:0:o;4150:254::-;4261:10;4232:4;4249:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;4249:32:0;;;;;;;;;:46;;4285:10;;4249:32;4232:4;;4249:46;;4285:10;;4249:46;:::i;:::-;;;;-1:-1:-1;;4320:10:0;4341:23;;;;:11;:23;;;;;;;;-1:-1:-1;;;;;4311:63:0;;4341:32;;;;;;;;;;;4311:63;;1342:25:1;;;4311:63:0;;4320:10;-1:-1:-1;;;;;;;;;;;4311:63:0;1315:18:1;4311:63:0;1196:177:1;2323:140:0;1382:5;;-1:-1:-1;;;;;1382:5:0;1368:10;:19;1360:61;;;;-1:-1:-1;;;1360:61:0;;;;;;;:::i;:::-;2408:5:::1;::::0;2387:39:::1;::::0;2423:1:::1;::::0;-1:-1:-1;;;;;2408:5:0::1;::::0;2387:39:::1;::::0;2423:1;;2387:39:::1;2437:5;:18:::0;;-1:-1:-1;;;;;;2437:18:0::1;::::0;;2323:140::o;2601:205::-;1382:5;;-1:-1:-1;;;;;1382:5:0;1368:10;:19;1360:61;;;;-1:-1:-1;;;1360:61:0;;;;;;;:::i;:::-;2664:11:::1;::::0;:16;2656:58:::1;;;::::0;-1:-1:-1;;;2656:58:0;;4285:2:1;2656:58:0::1;::::0;::::1;4267:21:1::0;4324:2;4304:18;;;4297:30;4363:31;4343:18;;;4336:59;4412:18;;2656:58:0::1;4083:353:1::0;2656:58:0::1;2739:16;:12;2754:1;2739:16;:::i;:::-;2725:11;:30:::0;;;2771:27:::1;::::0;1342:25:1;;;2771:27:0::1;::::0;1330:2:1;1315:18;2771:27:0::1;;;;;;;2601:205::o:0;4412:420::-;4546:10;4499:4;4534:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;4534:32:0;;;;;;;;;;4585:26;;;;4577:75;;;;-1:-1:-1;;;4577:75:0;;4643:2:1;4577:75:0;;;4625:21:1;4682:2;4662:18;;;4655:30;4721:34;4701:18;;;4694:62;-1:-1:-1;;;4772:18:1;;;4765:34;4816:19;;4577:75:0;4441:400:1;4577:75:0;4698:25;4708:15;4698:7;:25;:::i;:::-;4675:10;4663:23;;;;:11;:23;;;;;;;;-1:-1:-1;;;;;4663:32:0;;;;;;;;;;;;:60;;;4739:63;1342:25:1;;;4663:32:0;;-1:-1:-1;;;;;;;;;;;4739:63:0;1315:18:1;4739:63:0;;;;;;;-1:-1:-1;4820:4:0;;4412:420;-1:-1:-1;;;4412:420:0:o;3440:165::-;1578:5;;3525:4;;3504:10;;-1:-1:-1;;;;;1578:5:0;1570:13;;1566:135;;1608:11;;:16;;;;:47;;;1644:11;;1628:12;:27;;1608:47;1600:89;;;;-1:-1:-1;;;1600:89:0;;2766:2:1;1600:89:0;;;2748:21:1;2805:2;2785:18;;;2778:30;2844:31;2824:18;;;2817:59;2893:18;;1600:89:0;2564:353:1;1600:89:0;3542:33:::1;3552:10;3564:2;3568:6;3542:9;:33::i;:::-;-1:-1:-1::0;3593:4:0::1;::::0;3440:165;-1:-1:-1;;;3440:165:0:o;2086:229::-;1382:5;;-1:-1:-1;;;;;1382:5:0;1368:10;:19;1360:61;;;;-1:-1:-1;;;1360:61:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2169:22:0;::::1;2161:66;;;::::0;-1:-1:-1;;;2161:66:0;;5048:2:1;2161:66:0::1;::::0;::::1;5030:21:1::0;5087:2;5067:18;;;5060:30;5126:33;5106:18;;;5099:61;5177:18;;2161:66:0::1;4846:355:1::0;2161:66:0::1;2264:5;::::0;2243:37:::1;::::0;-1:-1:-1;;;;;2243:37:0;;::::1;::::0;2264:5:::1;::::0;2243:37:::1;::::0;2264:5:::1;::::0;2243:37:::1;2291:5;:16:::0;;-1:-1:-1;;;;;;2291:16:0::1;-1:-1:-1::0;;;;;2291:16:0;;;::::1;::::0;;;::::1;::::0;;2086:229::o;4898:517::-;-1:-1:-1;;;;;4987:18:0;;4979:67;;;;-1:-1:-1;;;4979:67:0;;5408:2:1;4979:67:0;;;5390:21:1;5447:2;5427:18;;;5420:30;5486:34;5466:18;;;5459:62;-1:-1:-1;;;5537:18:1;;;5530:34;5581:19;;4979:67:0;5206:400:1;4979:67:0;-1:-1:-1;;;;;5065:18:0;;5057:65;;;;-1:-1:-1;;;5057:65:0;;5813:2:1;5057:65:0;;;5795:21:1;5852:2;5832:18;;;5825:30;5891:34;5871:18;;;5864:62;-1:-1:-1;;;5942:18:1;;;5935:32;5984:19;;5057:65:0;5611:398:1;5057:65:0;-1:-1:-1;;;;;5141:15:0;;;;;;:9;:15;;;;;;:25;-1:-1:-1;5141:25:0;5133:75;;;;-1:-1:-1;;;5133:75:0;;6216:2:1;5133:75:0;;;6198:21:1;6255:2;6235:18;;;6228:30;6294:34;6274:18;;;6267:62;-1:-1:-1;;;6345:18:1;;;6338:35;6390:19;;5133:75:0;6014:401:1;5133:75:0;-1:-1:-1;;;;;5302:15:0;;;;;;;:9;:15;;;;;;:25;;;;;;;5340:13;;;;;;;;:23;;5321:6;;5302:15;5340:23;;5321:6;;5340:23;:::i;:::-;;;;;;;;5396:2;-1:-1:-1;;;;;5381:26:0;5390:4;-1:-1:-1;;;;;5381:26:0;;5400:6;5381:26;;;;1342:25:1;;1330:2;1315:18;;1196:177;5381:26:0;;;;;;;;4898:517;;;:::o;14:548:1:-;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;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:186::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;2051:29;2070:9;2051:29;:::i;:::-;2041:39;1900:186;-1:-1:-1;;;1900:186:1:o;2299:260::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;2467:29;2486:9;2467:29;:::i;:::-;2457:39;;2515:38;2549:2;2538:9;2534:18;2515:38;:::i;:::-;2505:48;;2299:260;;;;;:::o;3330:127::-;3391:10;3386:3;3382:20;3379:1;3372:31;3422:4;3419:1;3412:15;3446:4;3443:1;3436:15;3462:128;3529:9;;;3550:11;;;3547:37;;;3564:18;;:::i;3595:125::-;3660:9;;;3681:10;;;3678:36;;;3694:18;;:::i;3725:353::-;3927:2;3909:21;;;3966:2;3946:18;;;3939:30;4005:31;4000:2;3985:18;;3978:59;4069:2;4054:18;;3725:353::o

ipfs://795fc0262ab0e6a6c6baf7d1451ca4e334b46a252d45496496d353090f5720fe