Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function approve(address spender, uin ...    - function transfer(address to, uint256 ...    - function transferFrom(    - function permit(    - function DOMAIN_SEPARATOR()    - function computeDomainSeparator()    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract SMOLCOIN is ERC20 *    - function burn(uint256 value)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-05-01
*/

//SPDX-License-Identifier: UNLICENSED
pragma solidity >=0.8.0;

/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*//////////////////////////////////////////////////////////////
                                 EVENTS
    //////////////////////////////////////////////////////////////*/

    event Transfer(address indexed from, address indexed to, uint256 amount);

    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /*//////////////////////////////////////////////////////////////
                            METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

    /*//////////////////////////////////////////////////////////////
                              ERC20 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

    mapping(address => mapping(address => uint256)) public allowance;

    /*//////////////////////////////////////////////////////////////
                            EIP-2612 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 internal immutable INITIAL_CHAIN_ID;

    bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;

    mapping(address => uint256) public nonces;

    /*//////////////////////////////////////////////////////////////
                               CONSTRUCTOR
    //////////////////////////////////////////////////////////////*/

    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals
    ) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;

        INITIAL_CHAIN_ID = block.chainid;
        INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
    }

    /*//////////////////////////////////////////////////////////////
                               ERC20 LOGIC
    //////////////////////////////////////////////////////////////*/

    function approve(address spender, uint256 amount) public virtual returns (bool) {
        allowance[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        balanceOf[msg.sender] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        uint256 allowed = allowance[from][msg.sender]; // Saves gas for limited approvals.

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    /*//////////////////////////////////////////////////////////////
                             EIP-2612 LOGIC
    //////////////////////////////////////////////////////////////*/

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(deadline >= block.timestamp, "PERMIT_DEADLINE_EXPIRED");

        // Unchecked because the only math done is incrementing
        // the owner's nonce which cannot realistically overflow.
        unchecked {
            address recoveredAddress = ecrecover(
                keccak256(
                    abi.encodePacked(
                        "\x19\x01",
                        DOMAIN_SEPARATOR(),
                        keccak256(
                            abi.encode(
                                keccak256(
                                    "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
                                ),
                                owner,
                                spender,
                                value,
                                nonces[owner]++,
                                deadline
                            )
                        )
                    )
                ),
                v,
                r,
                s
            );

            require(recoveredAddress != address(0) && recoveredAddress == owner, "INVALID_SIGNER");

            allowance[recoveredAddress][spender] = value;
        }

        emit Approval(owner, spender, value);
    }

    function DOMAIN_SEPARATOR() public view virtual returns (bytes32) {
        return block.chainid == INITIAL_CHAIN_ID ? INITIAL_DOMAIN_SEPARATOR : computeDomainSeparator();
    }

    function computeDomainSeparator() internal view virtual returns (bytes32) {
        return
            keccak256(
                abi.encode(
                    keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                    keccak256(bytes(name)),
                    keccak256("1"),
                    block.chainid,
                    address(this)
                )
            );
    }

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}

pragma solidity 0.8.15;

contract SMOLCOIN is ERC20 {

    constructor()
    ERC20(
        "SMOLCOIN",
        "SMOLCOIN",
        18
    ){
                
        _mint(msg.sender, 1_000_000_000 * 10**18);
    }

    function burn(uint256 value) public {
      _burn(msg.sender, value);
    }
}

• 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":"amount","type":"uint256"}],"name":"Approval","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":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","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":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","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"}]

60e06040523480156200001157600080fd5b5060408051808201825260088082526729a6a7a621a7a4a760c11b602080840182905284518086019095529184529083015290601260006200005484826200024d565b5060016200006383826200024d565b5060ff81166080524660a052620000796200009f565b60c052506200009991503390506b033b2e3c9fd0803ce80000006200013b565b620003be565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051620000d3919062000319565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b80600260008282546200014f919062000397565b90915550506001600160a01b0382166000818152600360209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620001d357607f821691505b602082108103620001f457634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200024857600081815260208120601f850160051c81016020861015620002235750805b601f850160051c820191505b8181101562000244578281556001016200022f565b5050505b505050565b81516001600160401b03811115620002695762000269620001a8565b62000281816200027a8454620001be565b84620001fa565b602080601f831160018114620002b95760008415620002a05750858301515b600019600386901b1c1916600185901b17855562000244565b600085815260208120601f198616915b82811015620002ea57888601518255948401946001909101908401620002c9565b5085821015620003095787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b60008083546200032981620001be565b600182811680156200034457600181146200035a576200038b565b60ff19841687528215158302870194506200038b565b8760005260208060002060005b85811015620003825781548a82015290840190820162000367565b50505082870194505b50929695505050505050565b60008219821115620003b957634e487b7160e01b600052601160045260246000fd5b500190565b60805160a05160c051610b51620003ee60003960006104530152600061041e015260006101440152610b516000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806342966c681161008c57806395d89b411161006657806395d89b41146101d5578063a9059cbb146101dd578063d505accf146101f0578063dd62ed3e1461020357600080fd5b806342966c681461018057806370a08231146101955780637ecebe00146101b557600080fd5b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd1461012c578063313ce5671461013f5780633644e51514610178575b600080fd5b6100dc61022e565b6040516100e99190610865565b60405180910390f35b6101056101003660046108d6565b6102bc565b60405190151581526020016100e9565b61011e60025481565b6040519081526020016100e9565b61010561013a366004610900565b610328565b6101667f000000000000000000000000000000000000000000000000000000000000000081565b60405160ff90911681526020016100e9565b61011e61041a565b61019361018e36600461093c565b610475565b005b61011e6101a3366004610955565b60036020526000908152604090205481565b61011e6101c3366004610955565b60056020526000908152604090205481565b6100dc610482565b6101056101eb3660046108d6565b61048f565b6101936101fe366004610977565b610507565b61011e6102113660046109ea565b600460209081526000928352604080842090915290825290205481565b6000805461023b90610a1d565b80601f016020809104026020016040519081016040528092919081815260200182805461026790610a1d565b80156102b45780601f10610289576101008083540402835291602001916102b4565b820191906000526020600020905b81548152906001019060200180831161029757829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103179086815260200190565b60405180910390a350600192915050565b6001600160a01b038316600090815260046020908152604080832033845290915281205460001981146103845761035f8382610a57565b6001600160a01b03861660009081526004602090815260408083203384529091529020555b6001600160a01b038516600090815260036020526040812080548592906103ac908490610a57565b90915550506001600160a01b03808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906104079087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000000046146104505761044b610750565b905090565b507f000000000000000000000000000000000000000000000000000000000000000090565b61047f33826107ea565b50565b6001805461023b90610a1d565b336000908152600360205260408120805483919083906104b0908490610a57565b90915550506001600160a01b038316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103179086815260200190565b4284101561055c5760405162461bcd60e51b815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064015b60405180910390fd5b6000600161056861041a565b6001600160a01b038a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e08301909152805192019190912061190160f01b6101008301526101028201929092526101228101919091526101420160408051601f198184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa158015610674573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906106aa5750876001600160a01b0316816001600160a01b0316145b6106e75760405162461bcd60e51b815260206004820152600e60248201526d24a72b20a624a22fa9a4a3a722a960911b6044820152606401610553565b6001600160a01b0390811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516107829190610a7c565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b6001600160a01b03821660009081526003602052604081208054839290610812908490610a57565b90915550506002805482900390556040518181526000906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b600060208083528351808285015260005b8181101561089257858101830151858201604001528201610876565b818111156108a4576000604083870101525b50601f01601f1916929092016040019392505050565b80356001600160a01b03811681146108d157600080fd5b919050565b600080604083850312156108e957600080fd5b6108f2836108ba565b946020939093013593505050565b60008060006060848603121561091557600080fd5b61091e846108ba565b925061092c602085016108ba565b9150604084013590509250925092565b60006020828403121561094e57600080fd5b5035919050565b60006020828403121561096757600080fd5b610970826108ba565b9392505050565b600080600080600080600060e0888a03121561099257600080fd5b61099b886108ba565b96506109a9602089016108ba565b95506040880135945060608801359350608088013560ff811681146109cd57600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080604083850312156109fd57600080fd5b610a06836108ba565b9150610a14602084016108ba565b90509250929050565b600181811c90821680610a3157607f821691505b602082108103610a5157634e487b7160e01b600052602260045260246000fd5b50919050565b600082821015610a7757634e487b7160e01b600052601160045260246000fd5b500390565b600080835481600182811c915080831680610a9857607f831692505b60208084108203610ab757634e487b7160e01b86526022600452602486fd5b818015610acb5760018114610ae057610b0d565b60ff1986168952841515850289019650610b0d565b60008a81526020902060005b86811015610b055781548b820152908501908301610aec565b505084890196505b50949897505050505050505056fea2646970667358221220052a228cec6a38b8436bfa1a3602390bdaf25ce1c416a05f325c76e5240441aa64736f6c634300080f0033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806342966c681161008c57806395d89b411161006657806395d89b41146101d5578063a9059cbb146101dd578063d505accf146101f0578063dd62ed3e1461020357600080fd5b806342966c681461018057806370a08231146101955780637ecebe00146101b557600080fd5b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd1461012c578063313ce5671461013f5780633644e51514610178575b600080fd5b6100dc61022e565b6040516100e99190610865565b60405180910390f35b6101056101003660046108d6565b6102bc565b60405190151581526020016100e9565b61011e60025481565b6040519081526020016100e9565b61010561013a366004610900565b610328565b6101667f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff90911681526020016100e9565b61011e61041a565b61019361018e36600461093c565b610475565b005b61011e6101a3366004610955565b60036020526000908152604090205481565b61011e6101c3366004610955565b60056020526000908152604090205481565b6100dc610482565b6101056101eb3660046108d6565b61048f565b6101936101fe366004610977565b610507565b61011e6102113660046109ea565b600460209081526000928352604080842090915290825290205481565b6000805461023b90610a1d565b80601f016020809104026020016040519081016040528092919081815260200182805461026790610a1d565b80156102b45780601f10610289576101008083540402835291602001916102b4565b820191906000526020600020905b81548152906001019060200180831161029757829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103179086815260200190565b60405180910390a350600192915050565b6001600160a01b038316600090815260046020908152604080832033845290915281205460001981146103845761035f8382610a57565b6001600160a01b03861660009081526004602090815260408083203384529091529020555b6001600160a01b038516600090815260036020526040812080548592906103ac908490610a57565b90915550506001600160a01b03808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906104079087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000000146146104505761044b610750565b905090565b507f8487bca880503c41d7ea7998f5c9a5553cb935418885466d425439be81ba12e590565b61047f33826107ea565b50565b6001805461023b90610a1d565b336000908152600360205260408120805483919083906104b0908490610a57565b90915550506001600160a01b038316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103179086815260200190565b4284101561055c5760405162461bcd60e51b815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064015b60405180910390fd5b6000600161056861041a565b6001600160a01b038a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e08301909152805192019190912061190160f01b6101008301526101028201929092526101228101919091526101420160408051601f198184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa158015610674573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906106aa5750876001600160a01b0316816001600160a01b0316145b6106e75760405162461bcd60e51b815260206004820152600e60248201526d24a72b20a624a22fa9a4a3a722a960911b6044820152606401610553565b6001600160a01b0390811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516107829190610a7c565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b6001600160a01b03821660009081526003602052604081208054839290610812908490610a57565b90915550506002805482900390556040518181526000906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b600060208083528351808285015260005b8181101561089257858101830151858201604001528201610876565b818111156108a4576000604083870101525b50601f01601f1916929092016040019392505050565b80356001600160a01b03811681146108d157600080fd5b919050565b600080604083850312156108e957600080fd5b6108f2836108ba565b946020939093013593505050565b60008060006060848603121561091557600080fd5b61091e846108ba565b925061092c602085016108ba565b9150604084013590509250925092565b60006020828403121561094e57600080fd5b5035919050565b60006020828403121561096757600080fd5b610970826108ba565b9392505050565b600080600080600080600060e0888a03121561099257600080fd5b61099b886108ba565b96506109a9602089016108ba565b95506040880135945060608801359350608088013560ff811681146109cd57600080fd5b9699959850939692959460a0840135945060c09093013592915050565b600080604083850312156109fd57600080fd5b610a06836108ba565b9150610a14602084016108ba565b90509250929050565b600181811c90821680610a3157607f821691505b602082108103610a5157634e487b7160e01b600052602260045260246000fd5b50919050565b600082821015610a7757634e487b7160e01b600052601160045260246000fd5b500390565b600080835481600182811c915080831680610a9857607f831692505b60208084108203610ab757634e487b7160e01b86526022600452602486fd5b818015610acb5760018114610ae057610b0d565b60ff1986168952841515850289019650610b0d565b60008a81526020902060005b86811015610b055781548b820152908501908301610aec565b505084890196505b50949897505050505050505056fea2646970667358221220052a228cec6a38b8436bfa1a3602390bdaf25ce1c416a05f325c76e5240441aa64736f6c634300080f0033

7043:288:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1047:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2524:217;;;;;;:::i;:::-;;:::i;:::-;;;1218:14:1;;1211:22;1193:41;;1181:2;1166:18;2524:217:0;1053:187:1;1330:26:0;;;;;;;;;1391:25:1;;;1379:2;1364:18;1330:26:0;1245:177:1;3142:612:0;;;;;;:::i;:::-;;:::i;1103:31::-;;;;;;;;1932:4:1;1920:17;;;1902:36;;1890:2;1875:18;1103:31:0;1760:184:1;5484:179:0;;;:::i;7251:77::-;;;;;;:::i;:::-;;:::i;:::-;;1365:44;;;;;;:::i;:::-;;;;;;;;;;;;;;1791:41;;;;;;:::i;:::-;;;;;;;;;;;;;;1074:20;;;:::i;2749:385::-;;;;;;:::i;:::-;;:::i;3949:1527::-;;;;;;:::i;:::-;;:::i;1418:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;1047:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2524:217::-;2625:10;2598:4;2615:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2615:30:0;;;;;;;;;;:39;;;2672:37;2598:4;;2615:30;;2672:37;;;;2648:6;1391:25:1;;1379:2;1364:18;;1245:177;2672:37:0;;;;;;;;-1:-1:-1;2729:4:0;2524:217;;;;:::o;3142:612::-;-1:-1:-1;;;;;3299:15:0;;3264:4;3299:15;;;:9;:15;;;;;;;;3315:10;3299:27;;;;;;;;-1:-1:-1;;3379:28:0;;3375:80;;3439:16;3449:6;3439:7;:16;:::i;:::-;-1:-1:-1;;;;;3409:15:0;;;;;;:9;:15;;;;;;;;3425:10;3409:27;;;;;;;:46;3375:80;-1:-1:-1;;;;;3468:15:0;;;;;;:9;:15;;;;;:25;;3487:6;;3468:15;:25;;3487:6;;3468:25;:::i;:::-;;;;-1:-1:-1;;;;;;;3644:13:0;;;;;;;:9;:13;;;;;;;:23;;;;;;3696:26;3644:13;;3696:26;;;;;;;3661:6;1391:25:1;;1379:2;1364:18;;1245:177;3696:26:0;;;;;;;;-1:-1:-1;3742:4:0;;3142:612;-1:-1:-1;;;;3142:612:0:o;5484:179::-;5541:7;5585:16;5568:13;:33;:87;;5631:24;:22;:24::i;:::-;5561:94;;5484:179;:::o;5568:87::-;-1:-1:-1;5604:24:0;;5484:179::o;7251:77::-;7296:24;7302:10;7314:5;7296;:24::i;:::-;7251:77;:::o;1074:20::-;;;;;;;:::i;2749:385::-;2846:10;2819:4;2836:21;;;:9;:21;;;;;:31;;2861:6;;2836:21;2819:4;;2836:31;;2861:6;;2836:31;:::i;:::-;;;;-1:-1:-1;;;;;;;3018:13:0;;;;;;:9;:13;;;;;;;:23;;;;;;3070:32;3079:10;;3070:32;;;;3035:6;1391:25:1;;1379:2;1364:18;;1245:177;3949:1527:0;4177:15;4165:8;:27;;4157:63;;;;-1:-1:-1;;;4157:63:0;;4284:2:1;4157:63:0;;;4266:21:1;4323:2;4303:18;;;4296:30;4362:25;4342:18;;;4335:53;4405:18;;4157:63:0;;;;;;;;;4390:24;4417:827;4557:18;:16;:18::i;:::-;-1:-1:-1;;;;;5011:13:0;;;;;;;:6;:13;;;;;;;;;:15;;;;;;;;4642:458;;4687:167;4642:458;;;4721:25:1;4800:18;;;4793:43;;;;4872:15;;;4852:18;;;4845:43;4904:18;;;4897:34;;;4947:19;;;4940:35;;;;4991:19;;;;4984:35;;;4642:458:0;;;;;;;;;;4693:19:1;;;4642:458:0;;;4602:525;;;;;;;;-1:-1:-1;;;4477:673:0;;;5288:27:1;5331:11;;;5324:27;;;;5367:12;;;5360:28;;;;5404:12;;4477:673:0;;;-1:-1:-1;;4477:673:0;;;;;;;;;4445:724;;4477:673;4445:724;;;;4417:827;;;;;;;;;5654:25:1;5727:4;5715:17;;5695:18;;;5688:45;5749:18;;;5742:34;;;5792:18;;;5785:34;;;5626:19;;4417:827:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;4417:827:0;;-1:-1:-1;;4417:827:0;;;-1:-1:-1;;;;;;;5269:30:0;;;;;;:59;;;5323:5;-1:-1:-1;;;;;5303:25:0;:16;-1:-1:-1;;;;;5303:25:0;;5269:59;5261:86;;;;-1:-1:-1;;;5261:86:0;;6032:2:1;5261:86:0;;;6014:21:1;6071:2;6051:18;;;6044:30;-1:-1:-1;;;6090:18:1;;;6083:44;6144:18;;5261:86:0;5830:338:1;5261:86:0;-1:-1:-1;;;;;5364:27:0;;;;;;;:9;:27;;;;;;;;:36;;;;;;;;;;;;;:44;;;5437:31;1391:25:1;;;5364:36:0;;5437:31;;;;;1364:18:1;5437:31:0;;;;;;;3949:1527;;;;;;;:::o;5671:457::-;5736:7;5837:95;5971:4;5955:22;;;;;;:::i;:::-;;;;;;;;;;5804:301;;;7699:25:1;;;;7740:18;;7733:34;;;;6000:14:0;7783:18:1;;;7776:34;6037:13:0;7826:18:1;;;7819:34;6081:4:0;7869:19:1;;;7862:61;7671:19;;5804:301:0;;;;;;;;;;;;5776:344;;;;;;5756:364;;5671:457;:::o;6671:338::-;-1:-1:-1;;;;;6744:15:0;;;;;;:9;:15;;;;;:25;;6763:6;;6744:15;:25;;6763:6;;6744:25;:::i;:::-;;;;-1:-1:-1;;6917:11:0;:21;;;;;;;6967:34;;1391:25:1;;;-1:-1:-1;;;;;;;6967:34:0;;;;;1379:2:1;1364:18;6967:34:0;;;;;;;6671:338;;:::o;14:597: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;;;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;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:173::-;684:20;;-1:-1:-1;;;;;733:31:1;;723:42;;713:70;;779:1;776;769:12;713:70;616:173;;;:::o;794:254::-;862:6;870;923:2;911:9;902:7;898:23;894:32;891:52;;;939:1;936;929:12;891:52;962:29;981:9;962:29;:::i;:::-;952:39;1038:2;1023:18;;;;1010:32;;-1:-1:-1;;;794:254:1:o;1427:328::-;1504:6;1512;1520;1573:2;1561:9;1552:7;1548:23;1544:32;1541:52;;;1589:1;1586;1579:12;1541:52;1612:29;1631:9;1612:29;:::i;:::-;1602:39;;1660:38;1694:2;1683:9;1679:18;1660:38;:::i;:::-;1650:48;;1745:2;1734:9;1730:18;1717:32;1707:42;;1427:328;;;;;:::o;2131:180::-;2190:6;2243:2;2231:9;2222:7;2218:23;2214:32;2211:52;;;2259:1;2256;2249:12;2211:52;-1:-1:-1;2282:23:1;;2131:180;-1:-1:-1;2131:180:1:o;2316:186::-;2375:6;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;2316:186;-1:-1:-1;;;2316:186:1:o;2507:693::-;2618:6;2626;2634;2642;2650;2658;2666;2719:3;2707:9;2698:7;2694:23;2690:33;2687:53;;;2736:1;2733;2726:12;2687:53;2759:29;2778:9;2759:29;:::i;:::-;2749:39;;2807:38;2841:2;2830:9;2826:18;2807:38;:::i;:::-;2797:48;;2892:2;2881:9;2877:18;2864:32;2854:42;;2943:2;2932:9;2928:18;2915:32;2905:42;;2997:3;2986:9;2982:19;2969:33;3042:4;3035:5;3031:16;3024:5;3021:27;3011:55;;3062:1;3059;3052:12;3011:55;2507:693;;;;-1:-1:-1;2507:693:1;;;;3085:5;3137:3;3122:19;;3109:33;;-1:-1:-1;3189:3:1;3174:19;;;3161:33;;2507:693;-1:-1:-1;;2507:693:1:o;3205:260::-;3273:6;3281;3334:2;3322:9;3313:7;3309:23;3305:32;3302:52;;;3350:1;3347;3340:12;3302:52;3373:29;3392:9;3373:29;:::i;:::-;3363:39;;3421:38;3455:2;3444:9;3440:18;3421:38;:::i;:::-;3411:48;;3205:260;;;;;:::o;3470:380::-;3549:1;3545:12;;;;3592;;;3613:61;;3667:4;3659:6;3655:17;3645:27;;3613:61;3720:2;3712:6;3709:14;3689:18;3686:38;3683:161;;3766:10;3761:3;3757:20;3754:1;3747:31;3801:4;3798:1;3791:15;3829:4;3826:1;3819:15;3683:161;;3470:380;;;:::o;3855:222::-;3895:4;3923:1;3920;3917:8;3914:131;;;3967:10;3962:3;3958:20;3955:1;3948:31;4002:4;3999:1;3992:15;4030:4;4027:1;4020:15;3914:131;-1:-1:-1;4062:9:1;;3855:222::o;6302:1133::-;6432:3;6461:1;6494:6;6488:13;6524:3;6546:1;6574:9;6570:2;6566:18;6556:28;;6634:2;6623:9;6619:18;6656;6646:61;;6700:4;6692:6;6688:17;6678:27;;6646:61;6726:2;6774;6766:6;6763:14;6743:18;6740:38;6737:165;;-1:-1:-1;;;6801:33:1;;6857:4;6854:1;6847:15;6887:4;6808:3;6875:17;6737:165;6918:18;6945:133;;;;7092:1;7087:323;;;;6911:499;;6945:133;-1:-1:-1;;6978:24:1;;6966:37;;7051:14;;7044:22;7032:35;;7023:45;;;-1:-1:-1;6945:133:1;;7087:323;6249:1;6242:14;;;6286:4;6273:18;;7185:1;7199:165;7213:6;7210:1;7207:13;7199:165;;;7291:14;;7278:11;;;7271:35;7334:16;;;;7228:10;;7199:165;;;7203:3;;7393:6;7388:3;7384:16;7377:23;;6911:499;-1:-1:-1;7426:3:1;;6302:1133;-1:-1:-1;;;;;;;;6302:1133:1:o

ipfs://052a228cec6a38b8436bfa1a3602390bdaf25ce1c416a05f325c76e5240441aa