Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-29
*/

// SPDX-License-Identifier: AGPL-3.0-only
pragma solidity >=0.8.0;


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();
    }

    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 ThunderToken is ERC20 {
    uint256 constant _supply = 1000_000_000 ether;
    constructor() ERC20("Thunder Token", "TDO", 18) {
        _mint(tx.origin, _supply);
    }

    function burn(uint256 amount) external {
        _burn(msg.sender, amount);
    }
}

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

60e06040523480156200001157600080fd5b506040518060400160405280600d81526020016c2a343ab73232b9102a37b5b2b760991b8152506040518060400160405280600381526020016254444f60e81b8152506012826000908162000067919062000260565b50600162000076838262000260565b5060ff81166080524660a0526200008c620000b2565b60c05250620000ac91503290506b033b2e3c9fd0803ce80000006200014e565b620003d2565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051620000e691906200032c565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b8060026000828254620001629190620003aa565b90915550506001600160a01b0382166000818152600360209081526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b634e487b7160e01b600052604160045260246000fd5b600181811c90821680620001e657607f821691505b6020821081036200020757634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200025b57600081815260208120601f850160051c81016020861015620002365750805b601f850160051c820191505b81811015620002575782815560010162000242565b5050505b505050565b81516001600160401b038111156200027c576200027c620001bb565b62000294816200028d8454620001d1565b846200020d565b602080601f831160018114620002cc5760008415620002b35750858301515b600019600386901b1c1916600185901b17855562000257565b600085815260208120601f198616915b82811015620002fd57888601518255948401946001909101908401620002dc565b50858210156200031c5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b60008083546200033c81620001d1565b600182811680156200035757600181146200036d576200039e565b60ff19841687528215158302870194506200039e565b8760005260208060002060005b85811015620003955781548a8201529084019082016200037a565b50505082870194505b50929695505050505050565b80820180821115620003cc57634e487b7160e01b600052601160045260246000fd5b92915050565b60805160a05160c051610b0b620004026000396000610422015260006103ed015260006101240152610b0b6000f3fe608060405234801561001057600080fd5b50600436106100af5760003560e01c806306fdde03146100b4578063095ea7b3146100d257806318160ddd146100f557806323b872dd1461010c578063313ce5671461011f5780633644e5151461015857806342966c681461016057806370a08231146101755780637ecebe001461019557806395d89b41146101b5578063a9059cbb146101bd578063d505accf146101d0578063dd62ed3e146101e3575b600080fd5b6100bc61020e565b6040516100c9919061080a565b60405180910390f35b6100e56100e0366004610874565b61029c565b60405190151581526020016100c9565b6100fe60025481565b6040519081526020016100c9565b6100e561011a36600461089e565b610309565b6101467f000000000000000000000000000000000000000000000000000000000000000081565b60405160ff90911681526020016100c9565b6100fe6103e9565b61017361016e3660046108da565b610444565b005b6100fe6101833660046108f3565b60036020526000908152604090205481565b6100fe6101a33660046108f3565b60056020526000908152604090205481565b6100bc610451565b6100e56101cb366004610874565b61045e565b6101736101de366004610915565b6104c4565b6100fe6101f1366004610988565b600460209081526000928352604080842090915290825290205481565b6000805461021b906109bb565b80601f0160208091040260200160405190810160405280929190818152602001828054610247906109bb565b80156102945780601f1061026957610100808354040283529160200191610294565b820191906000526020600020905b81548152906001019060200180831161027757829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102f79086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260046020908152604080832033845290915281205460001981146103655761034083826109f5565b6001600160a01b03861660009081526004602090815260408083203384529091529020555b6001600160a01b0385166000908152600360205260408120805485929061038d9084906109f5565b90915550506001600160a01b0380851660008181526003602052604090819020805487019055519091871690600080516020610ab6833981519152906103d69087815260200190565b60405180910390a3506001949350505050565b60007f0000000000000000000000000000000000000000000000000000000000000000461461041f5761041a610707565b905090565b507f000000000000000000000000000000000000000000000000000000000000000090565b61044e33826107a1565b50565b6001805461021b906109bb565b3360009081526003602052604081208054839190839061047f9084906109f5565b90915550506001600160a01b03831660008181526003602052604090819020805485019055513390600080516020610ab6833981519152906102f79086815260200190565b428410156105135760405162461bcd60e51b815260206004820152601760248201527614115493525517d11150511312539157d1561412549151604a1b60448201526064015b60405180910390fd5b6000600161051f6103e9565b6001600160a01b038a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e08301909152805192019190912061190160f01b6101008301526101028201929092526101228101919091526101420160408051601f198184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa15801561062b573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906106615750876001600160a01b0316816001600160a01b0316145b61069e5760405162461bcd60e51b815260206004820152600e60248201526d24a72b20a624a22fa9a4a3a722a960911b604482015260640161050a565b6001600160a01b0390811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516107399190610a16565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b6001600160a01b038216600090815260036020526040812080548392906107c99084906109f5565b90915550506002805482900390556040518181526000906001600160a01b03841690600080516020610ab68339815191529060200160405180910390a35050565b600060208083528351808285015260005b818110156108375785810183015185820160400152820161081b565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461086f57600080fd5b919050565b6000806040838503121561088757600080fd5b61089083610858565b946020939093013593505050565b6000806000606084860312156108b357600080fd5b6108bc84610858565b92506108ca60208501610858565b9150604084013590509250925092565b6000602082840312156108ec57600080fd5b5035919050565b60006020828403121561090557600080fd5b61090e82610858565b9392505050565b600080600080600080600060e0888a03121561093057600080fd5b61093988610858565b965061094760208901610858565b95506040880135945060608801359350608088013560ff8116811461096b57600080fd5b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561099b57600080fd5b6109a483610858565b91506109b260208401610858565b90509250929050565b600181811c908216806109cf57607f821691505b6020821081036109ef57634e487b7160e01b600052602260045260246000fd5b50919050565b8181038181111561030357634e487b7160e01b600052601160045260246000fd5b600080835481600182811c915080831680610a3257607f831692505b60208084108203610a5157634e487b7160e01b86526022600452602486fd5b818015610a655760018114610a7a57610aa7565b60ff1986168952841515850289019650610aa7565b60008a81526020902060005b86811015610a9f5781548b820152908501908301610a86565b505084890196505b50949897505050505050505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220c875afbf7063646a3d640ee5c60606bddef5a48367dcbe136e67fb28ee80862e64736f6c63430008100033

0x608060405234801561001057600080fd5b50600436106100af5760003560e01c806306fdde03146100b4578063095ea7b3146100d257806318160ddd146100f557806323b872dd1461010c578063313ce5671461011f5780633644e5151461015857806342966c681461016057806370a08231146101755780637ecebe001461019557806395d89b41146101b5578063a9059cbb146101bd578063d505accf146101d0578063dd62ed3e146101e3575b600080fd5b6100bc61020e565b6040516100c9919061080a565b60405180910390f35b6100e56100e0366004610874565b61029c565b60405190151581526020016100c9565b6100fe60025481565b6040519081526020016100c9565b6100e561011a36600461089e565b610309565b6101467f000000000000000000000000000000000000000000000000000000000000001281565b60405160ff90911681526020016100c9565b6100fe6103e9565b61017361016e3660046108da565b610444565b005b6100fe6101833660046108f3565b60036020526000908152604090205481565b6100fe6101a33660046108f3565b60056020526000908152604090205481565b6100bc610451565b6100e56101cb366004610874565b61045e565b6101736101de366004610915565b6104c4565b6100fe6101f1366004610988565b600460209081526000928352604080842090915290825290205481565b6000805461021b906109bb565b80601f0160208091040260200160405190810160405280929190818152602001828054610247906109bb565b80156102945780601f1061026957610100808354040283529160200191610294565b820191906000526020600020905b81548152906001019060200180831161027757829003601f168201915b505050505081565b3360008181526004602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102f79086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260046020908152604080832033845290915281205460001981146103655761034083826109f5565b6001600160a01b03861660009081526004602090815260408083203384529091529020555b6001600160a01b0385166000908152600360205260408120805485929061038d9084906109f5565b90915550506001600160a01b0380851660008181526003602052604090819020805487019055519091871690600080516020610ab6833981519152906103d69087815260200190565b60405180910390a3506001949350505050565b60007f0000000000000000000000000000000000000000000000000000000000000001461461041f5761041a610707565b905090565b507f5a55405a1724c71b78afab4739ee5a3555b1e73d99f2457d80a57804676fe67290565b61044e33826107a1565b50565b6001805461021b906109bb565b3360009081526003602052604081208054839190839061047f9084906109f5565b90915550506001600160a01b03831660008181526003602052604090819020805485019055513390600080516020610ab6833981519152906102f79086815260200190565b428410156105135760405162461bcd60e51b815260206004820152601760248201527614115493525517d11150511312539157d1561412549151604a1b60448201526064015b60405180910390fd5b6000600161051f6103e9565b6001600160a01b038a811660008181526005602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938d166060840152608083018c905260a083019390935260c08083018b90528151808403909101815260e08301909152805192019190912061190160f01b6101008301526101028201929092526101228101919091526101420160408051601f198184030181528282528051602091820120600084529083018083525260ff871690820152606081018590526080810184905260a0016020604051602081039080840390855afa15801561062b573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116158015906106615750876001600160a01b0316816001600160a01b0316145b61069e5760405162461bcd60e51b815260206004820152600e60248201526d24a72b20a624a22fa9a4a3a722a960911b604482015260640161050a565b6001600160a01b0390811660009081526004602090815260408083208a8516808552908352928190208990555188815291928a16917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a350505050505050565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516107399190610a16565b6040805191829003822060208301939093528101919091527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b6001600160a01b038216600090815260036020526040812080548392906107c99084906109f5565b90915550506002805482900390556040518181526000906001600160a01b03841690600080516020610ab68339815191529060200160405180910390a35050565b600060208083528351808285015260005b818110156108375785810183015185820160400152820161081b565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461086f57600080fd5b919050565b6000806040838503121561088757600080fd5b61089083610858565b946020939093013593505050565b6000806000606084860312156108b357600080fd5b6108bc84610858565b92506108ca60208501610858565b9150604084013590509250925092565b6000602082840312156108ec57600080fd5b5035919050565b60006020828403121561090557600080fd5b61090e82610858565b9392505050565b600080600080600080600060e0888a03121561093057600080fd5b61093988610858565b965061094760208901610858565b95506040880135945060608801359350608088013560ff8116811461096b57600080fd5b9699959850939692959460a0840135945060c09093013592915050565b6000806040838503121561099b57600080fd5b6109a483610858565b91506109b260208401610858565b90509250929050565b600181811c908216806109cf57607f821691505b6020821081036109ef57634e487b7160e01b600052602260045260246000fd5b50919050565b8181038181111561030357634e487b7160e01b600052601160045260246000fd5b600080835481600182811c915080831680610a3257607f831692505b60208084108203610a5157634e487b7160e01b86526022600452602486fd5b818015610a655760018114610a7a57610aa7565b60ff1986168952841515850289019650610aa7565b60008a81526020902060005b86811015610a9f5781548b820152908501908301610a86565b505084890196505b50949897505050505050505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220c875afbf7063646a3d640ee5c60606bddef5a48367dcbe136e67fb28ee80862e64736f6c63430008100033

6426:276:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;643:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1934:217;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;1934:217:0;1004:187:1;926:26:0;;;;;;;;;1342:25:1;;;1330:2;1315:18;926:26:0;1196:177:1;2552:612:0;;;;;;:::i;:::-;;:::i;699:31::-;;;;;;;;1883:4:1;1871:17;;;1853:36;;1841:2;1826:18;699:31:0;1711:184:1;4894:179:0;;;:::i;6616:83::-;;;;;;:::i;:::-;;:::i;:::-;;961:44;;;;;;:::i;:::-;;;;;;;;;;;;;;1387:41;;;;;;:::i;:::-;;;;;;;;;;;;;;670:20;;;:::i;2159:385::-;;;;;;:::i;:::-;;:::i;3359:1527::-;;;;;;:::i;:::-;;:::i;1014:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;643:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1934:217::-;2035:10;2008:4;2025:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;2025:30:0;;;;;;;;;;:39;;;2082:37;2008:4;;2025:30;;2082:37;;;;2058:6;1342:25:1;;1330:2;1315:18;;1196:177;2082:37:0;;;;;;;;-1:-1:-1;2139:4:0;1934:217;;;;;:::o;2552:612::-;-1:-1:-1;;;;;2709:15:0;;2674:4;2709:15;;;:9;:15;;;;;;;;2725:10;2709:27;;;;;;;;-1:-1:-1;;2789:28:0;;2785:80;;2849:16;2859:6;2849:7;:16;:::i;:::-;-1:-1:-1;;;;;2819:15:0;;;;;;:9;:15;;;;;;;;2835:10;2819:27;;;;;;;:46;2785:80;-1:-1:-1;;;;;2878:15:0;;;;;;:9;:15;;;;;:25;;2897:6;;2878:15;:25;;2897:6;;2878:25;:::i;:::-;;;;-1:-1:-1;;;;;;;3054:13:0;;;;;;;:9;:13;;;;;;;:23;;;;;;3106:26;3054:13;;3106:26;;;-1:-1:-1;;;;;;;;;;;3106:26:0;;;3071:6;1342:25:1;;1330:2;1315:18;;1196:177;3106:26:0;;;;;;;;-1:-1:-1;3152:4:0;;2552:612;-1:-1:-1;;;;2552:612:0:o;4894:179::-;4951:7;4995:16;4978:13;:33;:87;;5041:24;:22;:24::i;:::-;4971:94;;4894:179;:::o;4978:87::-;-1:-1:-1;5014:24:0;;4894:179::o;6616:83::-;6666:25;6672:10;6684:6;6666:5;:25::i;:::-;6616:83;:::o;670:20::-;;;;;;;:::i;2159:385::-;2256:10;2229:4;2246:21;;;:9;:21;;;;;:31;;2271:6;;2246:21;2229:4;;2246:31;;2271:6;;2246:31;:::i;:::-;;;;-1:-1:-1;;;;;;;2428:13:0;;;;;;:9;:13;;;;;;;:23;;;;;;2480:32;2489:10;;-1:-1:-1;;;;;;;;;;;2480:32:0;;;2445:6;1342:25:1;;1330:2;1315:18;;1196:177;3359:1527:0;3587:15;3575:8;:27;;3567:63;;;;-1:-1:-1;;;3567:63:0;;4238:2:1;3567:63:0;;;4220:21:1;4277:2;4257:18;;;4250:30;-1:-1:-1;;;4296:18:1;;;4289:53;4359:18;;3567:63:0;;;;;;;;;3800:24;3827:827;3967:18;:16;:18::i;:::-;-1:-1:-1;;;;;4421:13:0;;;;;;;:6;:13;;;;;;;;;:15;;;;;;;;4052:458;;4097:167;4052:458;;;4675:25:1;4754:18;;;4747:43;;;;4826:15;;;4806:18;;;4799:43;4858:18;;;4851:34;;;4901:19;;;4894:35;;;;4945:19;;;;4938:35;;;4052:458:0;;;;;;;;;;4647:19:1;;;4052:458:0;;;4012:525;;;;;;;;-1:-1:-1;;;3887:673:0;;;5242:27:1;5285:11;;;5278:27;;;;5321:12;;;5314:28;;;;5358:12;;3887:673:0;;;-1:-1:-1;;3887:673:0;;;;;;;;;3855:724;;3887:673;3855:724;;;;3827:827;;;;;;;;;5608:25:1;5681:4;5669:17;;5649:18;;;5642:45;5703:18;;;5696:34;;;5746:18;;;5739:34;;;5580:19;;3827:827:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3827:827:0;;-1:-1:-1;;3827:827:0;;;-1:-1:-1;;;;;;;4679:30:0;;;;;;:59;;;4733:5;-1:-1:-1;;;;;4713:25:0;:16;-1:-1:-1;;;;;4713:25:0;;4679:59;4671:86;;;;-1:-1:-1;;;4671:86:0;;5986:2:1;4671:86:0;;;5968:21:1;6025:2;6005:18;;;5998:30;-1:-1:-1;;;6044:18:1;;;6037:44;6098:18;;4671:86:0;5784:338:1;4671:86:0;-1:-1:-1;;;;;4774:27:0;;;;;;;:9;:27;;;;;;;;:36;;;;;;;;;;;;;:44;;;4847:31;1342:25:1;;;4774:36:0;;4847:31;;;;;1315:18:1;4847:31:0;;;;;;;3359:1527;;;;;;;:::o;5081:457::-;5146:7;5247:95;5381:4;5365:22;;;;;;:::i;:::-;;;;;;;;;;5214:301;;;7653:25:1;;;;7694:18;;7687:34;;;;5410:14:0;7737:18:1;;;7730:34;5447:13:0;7780:18:1;;;7773:34;5491:4:0;7823:19:1;;;7816:61;7625:19;;5214:301:0;;;;;;;;;;;;5186:344;;;;;;5166:364;;5081:457;:::o;6081:338::-;-1:-1:-1;;;;;6154:15:0;;;;;;:9;:15;;;;;:25;;6173:6;;6154:15;:25;;6173:6;;6154:25;:::i;:::-;;;;-1:-1:-1;;6327:11:0;:21;;;;;;;6377:34;;1342:25:1;;;-1:-1:-1;;;;;;;6377:34:0;;;-1:-1:-1;;;;;;;;;;;6377:34:0;1330:2:1;1315:18;6377:34:0;;;;;;;6081:338;;:::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:180::-;2141:6;2194:2;2182:9;2173:7;2169:23;2165:32;2162:52;;;2210:1;2207;2200:12;2162:52;-1:-1:-1;2233:23:1;;2082:180;-1:-1:-1;2082:180:1:o;2267:186::-;2326:6;2379:2;2367:9;2358:7;2354:23;2350:32;2347:52;;;2395:1;2392;2385:12;2347:52;2418:29;2437:9;2418:29;:::i;:::-;2408:39;2267:186;-1:-1:-1;;;2267:186:1:o;2458:693::-;2569:6;2577;2585;2593;2601;2609;2617;2670:3;2658:9;2649:7;2645:23;2641:33;2638:53;;;2687:1;2684;2677:12;2638:53;2710:29;2729:9;2710:29;:::i;:::-;2700:39;;2758:38;2792:2;2781:9;2777:18;2758:38;:::i;:::-;2748:48;;2843:2;2832:9;2828:18;2815:32;2805:42;;2894:2;2883:9;2879:18;2866:32;2856:42;;2948:3;2937:9;2933:19;2920:33;2993:4;2986:5;2982:16;2975:5;2972:27;2962:55;;3013:1;3010;3003:12;2962:55;2458:693;;;;-1:-1:-1;2458:693:1;;;;3036:5;3088:3;3073:19;;3060:33;;-1:-1:-1;3140:3:1;3125:19;;;3112:33;;2458:693;-1:-1:-1;;2458:693:1:o;3156:260::-;3224:6;3232;3285:2;3273:9;3264:7;3260:23;3256:32;3253:52;;;3301:1;3298;3291:12;3253:52;3324:29;3343:9;3324:29;:::i;:::-;3314:39;;3372:38;3406:2;3395:9;3391:18;3372:38;:::i;:::-;3362:48;;3156:260;;;;;:::o;3421:380::-;3500:1;3496:12;;;;3543;;;3564:61;;3618:4;3610:6;3606:17;3596:27;;3564:61;3671:2;3663:6;3660:14;3640:18;3637:38;3634:161;;3717:10;3712:3;3708:20;3705:1;3698:31;3752:4;3749:1;3742:15;3780:4;3777:1;3770:15;3634:161;;3421:380;;;:::o;3806:225::-;3873:9;;;3894:11;;;3891:134;;;3947:10;3942:3;3938:20;3935:1;3928:31;3982:4;3979:1;3972:15;4010:4;4007:1;4000:15;6256:1133;6386:3;6415:1;6448:6;6442:13;6478:3;6500:1;6528:9;6524:2;6520:18;6510:28;;6588:2;6577:9;6573:18;6610;6600:61;;6654:4;6646:6;6642:17;6632:27;;6600:61;6680:2;6728;6720:6;6717:14;6697:18;6694:38;6691:165;;-1:-1:-1;;;6755:33:1;;6811:4;6808:1;6801:15;6841:4;6762:3;6829:17;6691:165;6872:18;6899:133;;;;7046:1;7041:323;;;;6865:499;;6899:133;-1:-1:-1;;6932:24:1;;6920:37;;7005:14;;6998:22;6986:35;;6977:45;;;-1:-1:-1;6899:133:1;;7041:323;6203:1;6196:14;;;6240:4;6227:18;;7139:1;7153:165;7167:6;7164:1;7161:13;7153:165;;;7245:14;;7232:11;;;7225:35;7288:16;;;;7182:10;;7153:165;;;7157:3;;7347:6;7342:3;7338:16;7331:23;;6865:499;-1:-1:-1;7380:3:1;;6256:1133;-1:-1:-1;;;;;;;;6256:1133:1:o

ipfs://c875afbf7063646a3d640ee5c60606bddef5a48367dcbe136e67fb28ee80862e