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 SprotoDoll is ERC20 *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-20
*/

// SPDX-License-Identifier: AGPL-3.0-only
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);
    }
}

contract SprotoDoll is ERC20 {
    constructor() ERC20("Sproto Doll", "SPROTO2", 18) {
        _mint(msg.sender, 400 ether);
    }
}

• 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":[],"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"}]

60e06040523480156200001157600080fd5b506040518060400160405280600b81526020016a14dc1c9bdd1bc8111bdb1b60aa1b8152506040518060400160405280600781526020016629a82927aa279960c91b815250601282600090816200006991906200025f565b5060016200007883826200025f565b5060ff81166080524660a0526200008e620000b1565b60c05250620000ab91503390506815af1d78b58c4000006200014d565b620003d1565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051620000e591906200032b565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b8060026000828254620001619190620003a9565b90915550506001600160a01b0382166000818152600360209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620001e557607f821691505b6020821081036200020657634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200025a57600081815260208120601f850160051c81016020861015620002355750805b601f850160051c820191505b81811015620002565782815560010162000241565b5050505b505050565b81516001600160401b038111156200027b576200027b620001ba565b62000293816200028c8454620001d0565b846200020c565b602080601f831160018114620002cb5760008415620002b25750858301515b600019600386901b1c1916600185901b17855562000256565b600085815260208120601f198616915b82811015620002fc57888601518255948401946001909101908401620002db565b50858210156200031b5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b60008083546200033b81620001d0565b600182811680156200035657600181146200036c576200039d565b60ff19841687528215158302870194506200039d565b8760005260208060002060005b85811015620003945781548a82015290840190820162000379565b50505082870194505b50929695505050505050565b80820180821115620003cb57634e487b7160e01b600052601160045260246000fd5b92915050565b60805160a05160c051610a78620004016000396000610426015260006103f1015260006101290152610a786000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a08231146101655780637ecebe001461018557806395d89b41146101a5578063a9059cbb146101ad578063d505accf146101c0578063dd62ed3e146101d557600080fd5b806306fdde03146100b9578063095ea7b3146100d757806318160ddd146100fa57806323b872dd14610111578063313ce567146101245780633644e5151461015d575b600080fd5b6100c1610200565b6040516100ce91906107b0565b60405180910390f35b6100ea6100e536600461081a565b61028e565b60405190151581526020016100ce565b61010360025481565b6040519081526020016100ce565b6100ea61011f366004610844565b6102fb565b61014b7f000000000000000000000000000000000000000000000000000000000000000081565b60405160ff90911681526020016100ce565b6101036103ed565b610103610173366004610880565b60036020526000908152604090205481565b610103610193366004610880565b60056020526000908152604090205481565b6100c1610448565b6100ea6101bb36600461081a565b610455565b6101d36101ce3660046108a2565b6104cd565b005b6101036101e3366004610915565b600460209081526000928352604080842090915290825290205481565b6000805461020d90610948565b80601f016020809104026020016040519081016040528092919081815260200182805461023990610948565b80156102865780601f1061025b57610100808354040283529160200191610286565b820191906000526020600020905b81548152906001019060200180831161026957829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102e99086815260200190565b60405180910390a35060015b92915050565b6001600160a01b03831660009081526004602090815260408083203384529091528120546000198114610357576103328382610982565b6001600160a01b03861660009081526004602090815260408083203384529091529020555b6001600160a01b0385166000908152600360205260408120805485929061037f908490610982565b90915550506001600160a01b03808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103da9087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000000046146104235761041e610716565b905090565b507f000000000000000000000000000000000000000000000000000000000000000090565b6001805461020d90610948565b33600090815260036020526040812080548391908390610476908490610982565b90915550506001600160a01b038316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906102e99086815260200190565b428410156105225760405162461bcd60e51b815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064015b60405180910390fd5b6000600161052e6103ed565b6001600160a01b038a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e08301909152805192019190912061190160f01b6101008301526101028201929092526101228101919091526101420160408051601f198184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa15801561063a573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906106705750876001600160a01b0316816001600160a01b0316145b6106ad5760405162461bcd60e51b815260206004820152600e60248201526d24a72b20a624a22fa9a4a3a722a960911b6044820152606401610519565b6001600160a01b0390811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f600060405161074891906109a3565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b600060208083528351808285015260005b818110156107dd578581018301518582016040015282016107c1565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461081557600080fd5b919050565b6000806040838503121561082d57600080fd5b610836836107fe565b946020939093013593505050565b60008060006060848603121561085957600080fd5b610862846107fe565b9250610870602085016107fe565b9150604084013590509250925092565b60006020828403121561089257600080fd5b61089b826107fe565b9392505050565b600080600080600080600060e0888a0312156108bd57600080fd5b6108c6886107fe565b96506108d4602089016107fe565b95506040880135945060608801359350608088013560ff811681146108f857600080fd5b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561092857600080fd5b610931836107fe565b915061093f602084016107fe565b90509250929050565b600181811c9082168061095c57607f821691505b60208210810361097c57634e487b7160e01b600052602260045260246000fd5b50919050565b818103818111156102f557634e487b7160e01b600052601160045260246000fd5b600080835481600182811c9150808316806109bf57607f831692505b602080841082036109de57634e487b7160e01b86526022600452602486fd5b8180156109f25760018114610a0757610a34565b60ff1986168952841515850289019650610a34565b60008a81526020902060005b86811015610a2c5781548b820152908501908301610a13565b505084890196505b50949897505050505050505056fea264697066735822122086bf66e73578f00c6f43273e0aaae569d1d304d959346bccc389b1da11113f9c64736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a08231146101655780637ecebe001461018557806395d89b41146101a5578063a9059cbb146101ad578063d505accf146101c0578063dd62ed3e146101d557600080fd5b806306fdde03146100b9578063095ea7b3146100d757806318160ddd146100fa57806323b872dd14610111578063313ce567146101245780633644e5151461015d575b600080fd5b6100c1610200565b6040516100ce91906107b0565b60405180910390f35b6100ea6100e536600461081a565b61028e565b60405190151581526020016100ce565b61010360025481565b6040519081526020016100ce565b6100ea61011f366004610844565b6102fb565b61014b7f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff90911681526020016100ce565b6101036103ed565b610103610173366004610880565b60036020526000908152604090205481565b610103610193366004610880565b60056020526000908152604090205481565b6100c1610448565b6100ea6101bb36600461081a565b610455565b6101d36101ce3660046108a2565b6104cd565b005b6101036101e3366004610915565b600460209081526000928352604080842090915290825290205481565b6000805461020d90610948565b80601f016020809104026020016040519081016040528092919081815260200182805461023990610948565b80156102865780601f1061025b57610100808354040283529160200191610286565b820191906000526020600020905b81548152906001019060200180831161026957829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102e99086815260200190565b60405180910390a35060015b92915050565b6001600160a01b03831660009081526004602090815260408083203384529091528120546000198114610357576103328382610982565b6001600160a01b03861660009081526004602090815260408083203384529091529020555b6001600160a01b0385166000908152600360205260408120805485929061037f908490610982565b90915550506001600160a01b03808516600081815260036020526040908190208054870190555190918716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906103da9087815260200190565b60405180910390a3506001949350505050565b60007f000000000000000000000000000000000000000000000000000000000000000146146104235761041e610716565b905090565b507fbb690dd62b71b24a04d1e4e40bbb56b4d8a706fd93c3330cabeae7a1ba7c9e2f90565b6001805461020d90610948565b33600090815260036020526040812080548391908390610476908490610982565b90915550506001600160a01b038316600081815260036020526040908190208054850190555133907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906102e99086815260200190565b428410156105225760405162461bcd60e51b815260206004820152601760248201527f5045524d49545f444541444c494e455f4558504952454400000000000000000060448201526064015b60405180910390fd5b6000600161052e6103ed565b6001600160a01b038a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e08301909152805192019190912061190160f01b6101008301526101028201929092526101228101919091526101420160408051601f198184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa15801561063a573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906106705750876001600160a01b0316816001600160a01b0316145b6106ad5760405162461bcd60e51b815260206004820152600e60248201526d24a72b20a624a22fa9a4a3a722a960911b6044820152606401610519565b6001600160a01b0390811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f600060405161074891906109a3565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b600060208083528351808285015260005b818110156107dd578581018301518582016040015282016107c1565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461081557600080fd5b919050565b6000806040838503121561082d57600080fd5b610836836107fe565b946020939093013593505050565b60008060006060848603121561085957600080fd5b610862846107fe565b9250610870602085016107fe565b9150604084013590509250925092565b60006020828403121561089257600080fd5b61089b826107fe565b9392505050565b600080600080600080600060e0888a0312156108bd57600080fd5b6108c6886107fe565b96506108d4602089016107fe565b95506040880135945060608801359350608088013560ff811681146108f857600080fd5b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561092857600080fd5b610931836107fe565b915061093f602084016107fe565b90509250929050565b600181811c9082168061095c57607f821691505b60208210810361097c57634e487b7160e01b600052602260045260246000fd5b50919050565b818103818111156102f557634e487b7160e01b600052601160045260246000fd5b600080835481600182811c9150808316806109bf57607f831692505b602080841082036109de57634e487b7160e01b86526022600452602486fd5b8180156109f25760018114610a0757610a34565b60ff1986168952841515850289019650610a34565b60008a81526020902060005b86811015610a2c5781548b820152908501908301610a13565b505084890196505b50949897505050505050505056fea264697066735822122086bf66e73578f00c6f43273e0aaae569d1d304d959346bccc389b1da11113f9c64736f6c63430008120033

7020:136:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1051:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2528:217;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;2528:217:0;1004:187:1;1334:26:0;;;;;;;;;1342:25:1;;;1330:2;1315:18;1334:26:0;1196:177:1;3146:612:0;;;;;;:::i;:::-;;:::i;1107:31::-;;;;;;;;1883:4:1;1871:17;;;1853:36;;1841:2;1826:18;1107:31:0;1711:184:1;5488:179:0;;;:::i;1369:44::-;;;;;;:::i;:::-;;;;;;;;;;;;;;1795:41;;;;;;:::i;:::-;;;;;;;;;;;;;;1078:20;;;:::i;2753:385::-;;;;;;:::i;:::-;;:::i;3953:1527::-;;;;;;:::i;:::-;;:::i;:::-;;1422:64;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;1051:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2528:217::-;2629:10;2602:4;2619:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2619:30:0;;;;;;;;;;:39;;;2676:37;2602:4;;2619:30;;2676:37;;;;2652:6;1342:25:1;;1330:2;1315:18;;1196:177;2676:37:0;;;;;;;;-1:-1:-1;2733:4:0;2528:217;;;;;:::o;3146:612::-;-1:-1:-1;;;;;3303:15:0;;3268:4;3303:15;;;:9;:15;;;;;;;;3319:10;3303:27;;;;;;;;-1:-1:-1;;3383:28:0;;3379:80;;3443:16;3453:6;3443:7;:16;:::i;:::-;-1:-1:-1;;;;;3413:15:0;;;;;;:9;:15;;;;;;;;3429:10;3413:27;;;;;;;:46;3379:80;-1:-1:-1;;;;;3472:15:0;;;;;;:9;:15;;;;;:25;;3491:6;;3472:15;:25;;3491:6;;3472:25;:::i;:::-;;;;-1:-1:-1;;;;;;;3648:13:0;;;;;;;:9;:13;;;;;;;:23;;;;;;3700:26;3648:13;;3700:26;;;;;;;3665:6;1342:25:1;;1330:2;1315:18;;1196:177;3700:26:0;;;;;;;;-1:-1:-1;3746:4:0;;3146:612;-1:-1:-1;;;;3146:612:0:o;5488:179::-;5545:7;5589:16;5572:13;:33;:87;;5635:24;:22;:24::i;:::-;5565:94;;5488:179;:::o;5572:87::-;-1:-1:-1;5608:24:0;;5488:179::o;1078:20::-;;;;;;;:::i;2753:385::-;2850:10;2823:4;2840:21;;;:9;:21;;;;;:31;;2865:6;;2840:21;2823:4;;2840:31;;2865:6;;2840:31;:::i;:::-;;;;-1:-1:-1;;;;;;;3022:13:0;;;;;;:9;:13;;;;;;;:23;;;;;;3074:32;3083:10;;3074:32;;;;3039:6;1342:25:1;;1330:2;1315:18;;1196:177;3953:1527:0;4181:15;4169:8;:27;;4161:63;;;;-1:-1:-1;;;4161:63:0;;4053:2:1;4161:63:0;;;4035:21:1;4092:2;4072:18;;;4065:30;4131:25;4111:18;;;4104:53;4174:18;;4161:63:0;;;;;;;;;4394:24;4421:827;4561:18;:16;:18::i;:::-;-1:-1:-1;;;;;5015:13:0;;;;;;;:6;:13;;;;;;;;;:15;;;;;;;;4646:458;;4691:167;4646:458;;;4490:25:1;4569:18;;;4562:43;;;;4641:15;;;4621:18;;;4614:43;4673:18;;;4666:34;;;4716:19;;;4709:35;;;;4760:19;;;;4753:35;;;4646:458:0;;;;;;;;;;4462:19:1;;;4646:458:0;;;4606:525;;;;;;;;-1:-1:-1;;;4481:673:0;;;5057:27:1;5100:11;;;5093:27;;;;5136:12;;;5129:28;;;;5173:12;;4481:673:0;;;-1:-1:-1;;4481:673:0;;;;;;;;;4449:724;;4481:673;4449:724;;;;4421:827;;;;;;;;;5423:25:1;5496:4;5484:17;;5464:18;;;5457:45;5518:18;;;5511:34;;;5561:18;;;5554:34;;;5395:19;;4421:827:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;4421:827:0;;-1:-1:-1;;4421:827:0;;;-1:-1:-1;;;;;;;5273:30:0;;;;;;:59;;;5327:5;-1:-1:-1;;;;;5307:25:0;:16;-1:-1:-1;;;;;5307:25:0;;5273:59;5265:86;;;;-1:-1:-1;;;5265:86:0;;5801:2:1;5265:86:0;;;5783:21:1;5840:2;5820:18;;;5813:30;-1:-1:-1;;;5859:18:1;;;5852:44;5913:18;;5265:86:0;5599:338:1;5265:86:0;-1:-1:-1;;;;;5368:27:0;;;;;;;:9;:27;;;;;;;;:36;;;;;;;;;;;;;:44;;;5441:31;1342:25:1;;;5368:36:0;;5441:31;;;;;1315:18:1;5441:31:0;;;;;;;3953:1527;;;;;;;:::o;5675:457::-;5740:7;5841:95;5975:4;5959:22;;;;;;:::i;:::-;;;;;;;;;;5808:301;;;7468:25:1;;;;7509:18;;7502:34;;;;6004:14:0;7552:18:1;;;7545:34;6041:13:0;7595:18:1;;;7588:34;6085:4:0;7638:19:1;;;7631:61;7440:19;;5808:301:0;;;;;;;;;;;;5780:344;;;;;;5760:364;;5675:457;:::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;2082:186::-;2141:6;2194:2;2182:9;2173:7;2169:23;2165:32;2162:52;;;2210:1;2207;2200:12;2162:52;2233:29;2252:9;2233:29;:::i;:::-;2223:39;2082:186;-1:-1:-1;;;2082:186:1:o;2273:693::-;2384:6;2392;2400;2408;2416;2424;2432;2485:3;2473:9;2464:7;2460:23;2456:33;2453:53;;;2502:1;2499;2492:12;2453:53;2525:29;2544:9;2525:29;:::i;:::-;2515:39;;2573:38;2607:2;2596:9;2592:18;2573:38;:::i;:::-;2563:48;;2658:2;2647:9;2643:18;2630:32;2620:42;;2709:2;2698:9;2694:18;2681:32;2671:42;;2763:3;2752:9;2748:19;2735:33;2808:4;2801:5;2797:16;2790:5;2787:27;2777:55;;2828:1;2825;2818:12;2777:55;2273:693;;;;-1:-1:-1;2273:693:1;;;;2851:5;2903:3;2888:19;;2875:33;;-1:-1:-1;2955:3:1;2940:19;;;2927:33;;2273:693;-1:-1:-1;;2273:693:1:o;2971:260::-;3039:6;3047;3100:2;3088:9;3079:7;3075:23;3071:32;3068:52;;;3116:1;3113;3106:12;3068:52;3139:29;3158:9;3139:29;:::i;:::-;3129:39;;3187:38;3221:2;3210:9;3206:18;3187:38;:::i;:::-;3177:48;;2971:260;;;;;:::o;3236:380::-;3315:1;3311:12;;;;3358;;;3379:61;;3433:4;3425:6;3421:17;3411:27;;3379:61;3486:2;3478:6;3475:14;3455:18;3452:38;3449:161;;3532:10;3527:3;3523:20;3520:1;3513:31;3567:4;3564:1;3557:15;3595:4;3592:1;3585:15;3449:161;;3236:380;;;:::o;3621:225::-;3688:9;;;3709:11;;;3706:134;;;3762:10;3757:3;3753:20;3750:1;3743:31;3797:4;3794:1;3787:15;3825:4;3822:1;3815:15;6071:1133;6201:3;6230:1;6263:6;6257:13;6293:3;6315:1;6343:9;6339:2;6335:18;6325:28;;6403:2;6392:9;6388:18;6425;6415:61;;6469:4;6461:6;6457:17;6447:27;;6415:61;6495:2;6543;6535:6;6532:14;6512:18;6509:38;6506:165;;-1:-1:-1;;;6570:33:1;;6626:4;6623:1;6616:15;6656:4;6577:3;6644:17;6506:165;6687:18;6714:133;;;;6861:1;6856:323;;;;6680:499;;6714:133;-1:-1:-1;;6747:24:1;;6735:37;;6820:14;;6813:22;6801:35;;6792:45;;;-1:-1:-1;6714:133:1;;6856:323;6018:1;6011:14;;;6055:4;6042:18;;6954:1;6968:165;6982:6;6979:1;6976:13;6968:165;;;7060:14;;7047:11;;;7040:35;7103:16;;;;6997:10;;6968:165;;;6972:3;;7162:6;7157:3;7153:16;7146:23;;6680:499;-1:-1:-1;7195:3:1;;6071:1133;-1:-1:-1;;;;;;;;6071:1133:1:o

ipfs://86bf66e73578f00c6f43273e0aaae569d1d304d959346bccc389b1da11113f9c