Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract SoulMinter *    - function approve(address, uint256)    - function isApprovedForAll(address, ad ...    - function getApproved(uint256)    - function setApprovalForAll(address, b ...    - function transferFrom(    - function safeTransferFrom(    - function safeTransferFrom(    - function supportsInterface(bytes4 int ...    - function mint(address to, string call ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-05-12
*/

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

/// @title SoulMinter
/// @author Miguel Piedrafita
/// @notice Barebones contract to mint Soulbound NFTs
contract SoulMinter {
    /// @notice Thrown when trying to transfer a Soulbound token
    error Soulbound();

    /// @notice Emitted when minting a Soulbound NFT
    /// @param from Who the token comes from. Will always be address(0)
    /// @param to The token recipient
    /// @param id The ID of the minted token
    event Transfer(
        address indexed from,
        address indexed to,
        uint256 indexed id
    );

    /// @notice The symbol for the token
    string public constant symbol = "SOUL";

    /// @notice The name for the token
    string public constant name = "Soulbound NFT";

    /// @notice The owner of this contract (set to the deployer)
    address public immutable owner = msg.sender;

    /// @notice Get the metadata URI for a certain tokenID
    mapping(uint256 => string) public tokenURI;

    /// @notice Get the owner of a certain tokenID
    mapping(uint256 => address) public ownerOf;

    /// @notice Get how many SoulMinter NFTs a certain user owns
    mapping(address => uint256) public balanceOf;

    /// @dev Counter for the next tokenID, defaults to 1 for better gas on first mint
    uint256 internal nextTokenId = 1;

    constructor() payable {}

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function approve(address, uint256) public virtual {
        revert Soulbound();
    }

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function isApprovedForAll(address, address) public pure {
        revert Soulbound();
    }

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function getApproved(uint256) public pure {
        revert Soulbound();
    }

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function setApprovalForAll(address, bool) public virtual {
        revert Soulbound();
    }

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function transferFrom(
        address,
        address,
        uint256
    ) public virtual {
        revert Soulbound();
    }

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function safeTransferFrom(
        address,
        address,
        uint256
    ) public virtual {
        revert Soulbound();
    }

    /// @notice This function was disabled to make the token Soulbound. Calling it will revert
    function safeTransferFrom(
        address,
        address,
        uint256,
        bytes calldata
    ) public virtual {
        revert Soulbound();
    }

    function supportsInterface(bytes4 interfaceId) public pure returns (bool) {
        return
            interfaceId == 0x01ffc9a7 || // ERC165 Interface ID for ERC165
            interfaceId == 0x80ac58cd || // ERC165 Interface ID for ERC721
            interfaceId == 0x5b5e139f; // ERC165 Interface ID for ERC721Metadata
    }

    /// @notice Mint a new Soulbound NFT to `to`
    /// @param to The recipient of the NFT
    /// @param metaURI The URL to the token metadata
    function mint(address to, string calldata metaURI) public payable {
        unchecked {
            balanceOf[to]++;
        }

        ownerOf[nextTokenId] = to;
        tokenURI[nextTokenId] = metaURI;

        emit Transfer(address(0), to, nextTokenId++);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","type":"constructor"},{"inputs":[],"name":"Soulbound","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"approve","outputs":[],"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":"","type":"uint256"}],"name":"getApproved","outputs":[],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"isApprovedForAll","outputs":[],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"string","name":"metaURI","type":"string"}],"name":"mint","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"bool","name":"","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a0604052336080526001600355608051610a9561002860003960006102850152610a956000f3fe6080604052600436106100e85760003560e01c806370a082311161008a578063b88d4fde11610059578063b88d4fde1461030b578063c87b56dd14610326578063d0def52114610346578063e985e9c51461035957600080fd5b806370a08231146102385780638da5cb5b1461027357806395d89b41146102a7578063a22cb465146102f057600080fd5b8063095ea7b3116100c6578063095ea7b31461019a57806323b872dd146101b557806342842e0e146101b55780636352211e146101d057600080fd5b806301ffc9a7146100ed57806306fdde0314610122578063081812fc14610178575b600080fd5b3480156100f957600080fd5b5061010d6101083660046106b4565b610374565b60405190151581526020015b60405180910390f35b34801561012e57600080fd5b5061016b6040518060400160405280600d81526020017f536f756c626f756e64204e46540000000000000000000000000000000000000081525081565b60405161011991906106fd565b34801561018457600080fd5b50610198610193366004610770565b610459565b005b3480156101a657600080fd5b506101986101933660046107b2565b3480156101c157600080fd5b506101986101933660046107dc565b3480156101dc57600080fd5b506102136101eb366004610770565b60016020526000908152604090205473ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610119565b34801561024457600080fd5b50610265610253366004610818565b60026020526000908152604090205481565b604051908152602001610119565b34801561027f57600080fd5b506102137f000000000000000000000000000000000000000000000000000000000000000081565b3480156102b357600080fd5b5061016b6040518060400160405280600481526020017f534f554c0000000000000000000000000000000000000000000000000000000081525081565b3480156102fc57600080fd5b50610198610193366004610833565b34801561031757600080fd5b506101986101933660046108b8565b34801561033257600080fd5b5061016b610341366004610770565b61048b565b610198610354366004610927565b610525565b34801561036557600080fd5b5061019861019336600461097a565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316148061040757507f80ac58cd000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316145b8061045357507f5b5e139f000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316145b92915050565b6040517fa4420a9500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060208190529081526040902080546104a4906109ad565b80601f01602080910402602001604051908101604052809291908181526020018280546104d0906109ad565b801561051d5780601f106104f25761010080835404028352916020019161051d565b820191906000526020600020905b81548152906001019060200180831161050057829003601f168201915b505050505081565b73ffffffffffffffffffffffffffffffffffffffff831660008181526002602090815260408083208054600190810190915560038054855290835281842080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690951790945592548252819052206105a09083836105fd565b50600380549060006105b183610a00565b9091555060405173ffffffffffffffffffffffffffffffffffffffff8516906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a4505050565b828054610609906109ad565b90600052602060002090601f01602090048101928261062b576000855561068f565b82601f10610662578280017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0082351617855561068f565b8280016001018555821561068f579182015b8281111561068f578235825591602001919060010190610674565b5061069b92915061069f565b5090565b5b8082111561069b57600081556001016106a0565b6000602082840312156106c657600080fd5b81357fffffffff00000000000000000000000000000000000000000000000000000000811681146106f657600080fd5b9392505050565b600060208083528351808285015260005b8181101561072a5785810183015185820160400152820161070e565b8181111561073c576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60006020828403121561078257600080fd5b5035919050565b803573ffffffffffffffffffffffffffffffffffffffff811681146107ad57600080fd5b919050565b600080604083850312156107c557600080fd5b6107ce83610789565b946020939093013593505050565b6000806000606084860312156107f157600080fd5b6107fa84610789565b925061080860208501610789565b9150604084013590509250925092565b60006020828403121561082a57600080fd5b6106f682610789565b6000806040838503121561084657600080fd5b61084f83610789565b91506020830135801515811461086457600080fd5b809150509250929050565b60008083601f84011261088157600080fd5b50813567ffffffffffffffff81111561089957600080fd5b6020830191508360208285010111156108b157600080fd5b9250929050565b6000806000806000608086880312156108d057600080fd5b6108d986610789565b94506108e760208701610789565b935060408601359250606086013567ffffffffffffffff81111561090a57600080fd5b6109168882890161086f565b969995985093965092949392505050565b60008060006040848603121561093c57600080fd5b61094584610789565b9250602084013567ffffffffffffffff81111561096157600080fd5b61096d8682870161086f565b9497909650939450505050565b6000806040838503121561098d57600080fd5b61099683610789565b91506109a460208401610789565b90509250929050565b600181811c908216806109c157607f821691505b6020821081036109fa577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610a58577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b506001019056fea264697066735822122031f6e8d07225e7f8012c4e3d98ea8322c74c1e0afb8850ad563560047648db9864736f6c634300080d0033

0x6080604052600436106100e85760003560e01c806370a082311161008a578063b88d4fde11610059578063b88d4fde1461030b578063c87b56dd14610326578063d0def52114610346578063e985e9c51461035957600080fd5b806370a08231146102385780638da5cb5b1461027357806395d89b41146102a7578063a22cb465146102f057600080fd5b8063095ea7b3116100c6578063095ea7b31461019a57806323b872dd146101b557806342842e0e146101b55780636352211e146101d057600080fd5b806301ffc9a7146100ed57806306fdde0314610122578063081812fc14610178575b600080fd5b3480156100f957600080fd5b5061010d6101083660046106b4565b610374565b60405190151581526020015b60405180910390f35b34801561012e57600080fd5b5061016b6040518060400160405280600d81526020017f536f756c626f756e64204e46540000000000000000000000000000000000000081525081565b60405161011991906106fd565b34801561018457600080fd5b50610198610193366004610770565b610459565b005b3480156101a657600080fd5b506101986101933660046107b2565b3480156101c157600080fd5b506101986101933660046107dc565b3480156101dc57600080fd5b506102136101eb366004610770565b60016020526000908152604090205473ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610119565b34801561024457600080fd5b50610265610253366004610818565b60026020526000908152604090205481565b604051908152602001610119565b34801561027f57600080fd5b506102137f000000000000000000000000e340b00b6b622c136ffa5cff130ec8edcddcb39d81565b3480156102b357600080fd5b5061016b6040518060400160405280600481526020017f534f554c0000000000000000000000000000000000000000000000000000000081525081565b3480156102fc57600080fd5b50610198610193366004610833565b34801561031757600080fd5b506101986101933660046108b8565b34801561033257600080fd5b5061016b610341366004610770565b61048b565b610198610354366004610927565b610525565b34801561036557600080fd5b5061019861019336600461097a565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316148061040757507f80ac58cd000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316145b8061045357507f5b5e139f000000000000000000000000000000000000000000000000000000007fffffffff000000000000000000000000000000000000000000000000000000008316145b92915050565b6040517fa4420a9500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060208190529081526040902080546104a4906109ad565b80601f01602080910402602001604051908101604052809291908181526020018280546104d0906109ad565b801561051d5780601f106104f25761010080835404028352916020019161051d565b820191906000526020600020905b81548152906001019060200180831161050057829003601f168201915b505050505081565b73ffffffffffffffffffffffffffffffffffffffff831660008181526002602090815260408083208054600190810190915560038054855290835281842080547fffffffffffffffffffffffff00000000000000000000000000000000000000001690951790945592548252819052206105a09083836105fd565b50600380549060006105b183610a00565b9091555060405173ffffffffffffffffffffffffffffffffffffffff8516906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a4505050565b828054610609906109ad565b90600052602060002090601f01602090048101928261062b576000855561068f565b82601f10610662578280017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0082351617855561068f565b8280016001018555821561068f579182015b8281111561068f578235825591602001919060010190610674565b5061069b92915061069f565b5090565b5b8082111561069b57600081556001016106a0565b6000602082840312156106c657600080fd5b81357fffffffff00000000000000000000000000000000000000000000000000000000811681146106f657600080fd5b9392505050565b600060208083528351808285015260005b8181101561072a5785810183015185820160400152820161070e565b8181111561073c576000604083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016929092016040019392505050565b60006020828403121561078257600080fd5b5035919050565b803573ffffffffffffffffffffffffffffffffffffffff811681146107ad57600080fd5b919050565b600080604083850312156107c557600080fd5b6107ce83610789565b946020939093013593505050565b6000806000606084860312156107f157600080fd5b6107fa84610789565b925061080860208501610789565b9150604084013590509250925092565b60006020828403121561082a57600080fd5b6106f682610789565b6000806040838503121561084657600080fd5b61084f83610789565b91506020830135801515811461086457600080fd5b809150509250929050565b60008083601f84011261088157600080fd5b50813567ffffffffffffffff81111561089957600080fd5b6020830191508360208285010111156108b157600080fd5b9250929050565b6000806000806000608086880312156108d057600080fd5b6108d986610789565b94506108e760208701610789565b935060408601359250606086013567ffffffffffffffff81111561090a57600080fd5b6109168882890161086f565b969995985093965092949392505050565b60008060006040848603121561093c57600080fd5b61094584610789565b9250602084013567ffffffffffffffff81111561096157600080fd5b61096d8682870161086f565b9497909650939450505050565b6000806040838503121561098d57600080fd5b61099683610789565b91506109a460208401610789565b90509250929050565b600181811c908216806109c157607f821691505b6020821081036109fa577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b50919050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610a58577f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b506001019056fea264697066735822122031f6e8d07225e7f8012c4e3d98ea8322c74c1e0afb8850ad563560047648db9864736f6c634300080d0033

170:3527:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2933:332;;;;;;;;;;-1:-1:-1;2933:332:0;;;;;:::i;:::-;;:::i;:::-;;;516:14:1;;509:22;491:41;;479:2;464:18;2933:332:0;;;;;;;;749:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;1898:79::-;;;;;;;;;;-1:-1:-1;1898:79:0;;;;;:::i;:::-;;:::i;:::-;;1510:87;;;;;;;;;;-1:-1:-1;1510:87:0;;;;;:::i;2279:135::-;;;;;;;;;;-1:-1:-1;2279:135:0;;;;;:::i;1084:42::-;;;;;;;;;;-1:-1:-1;1084:42:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2358::1;2346:55;;;2328:74;;2316:2;2301:18;1084:42:0;2182:226:1;1201:44:0;;;;;;;;;;-1:-1:-1;1201:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;2750:25:1;;;2738:2;2723:18;1201:44:0;2604:177:1;869:43:0;;;;;;;;;;;;;;;662:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2081:94;;;;;;;;;;-1:-1:-1;2081:94:0;;;;;:::i;2761:164::-;;;;;;;;;;-1:-1:-1;2761:164:0;;;;;:::i;981:42::-;;;;;;;;;;-1:-1:-1;981:42:0;;;;;:::i;:::-;;:::i;3421:273::-;;;;;;:::i;:::-;;:::i;1701:93::-;;;;;;;;;;-1:-1:-1;1701:93:0;;;;;:::i;2933:332::-;3001:4;3038:25;;;;;;:101;;-1:-1:-1;3114:25:0;;;;;3038:101;:177;;;-1:-1:-1;3190:25:0;;;;;3038:177;3018:197;2933:332;-1:-1:-1;;2933:332:0:o;1898:79::-;1958:11;;;;;;;;;;;;;;981:42;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3421:273::-;3523:13;;;;;;;:9;:13;;;;;;;;:15;;;;;;;;;3570:11;;;3562:20;;;;;;;;:25;;;;;;;;;;3607:11;;3598:21;;;;;;:31;;3622:7;;3598:31;:::i;:::-;-1:-1:-1;3672:11:0;:13;;;:11;:13;;;:::i;:::-;;;;-1:-1:-1;3647:39:0;;;;;;3664:1;;3647:39;;3664:1;;3647:39;3421:273;;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:332:1;72:6;125:2;113:9;104:7;100:23;96:32;93:52;;;141:1;138;131:12;93:52;180:9;167:23;230:66;223:5;219:78;212:5;209:89;199:117;;312:1;309;302:12;199:117;335:5;14:332;-1:-1:-1;;;14:332:1:o;543:656::-;655:4;684:2;713;702:9;695:21;745:6;739:13;788:6;783:2;772:9;768:18;761:34;813:1;823:140;837:6;834:1;831:13;823:140;;;932:14;;;928:23;;922:30;898:17;;;917:2;894:26;887:66;852:10;;823:140;;;981:6;978:1;975:13;972:91;;;1051:1;1046:2;1037:6;1026:9;1022:22;1018:31;1011:42;972:91;-1:-1:-1;1115:2:1;1103:15;1120:66;1099:88;1084:104;;;;1190:2;1080:113;;543:656;-1:-1:-1;;;543:656:1:o;1204:180::-;1263:6;1316:2;1304:9;1295:7;1291:23;1287:32;1284:52;;;1332:1;1329;1322:12;1284:52;-1:-1:-1;1355:23:1;;1204:180;-1:-1:-1;1204:180:1:o;1389:196::-;1457:20;;1517:42;1506:54;;1496:65;;1486:93;;1575:1;1572;1565:12;1486:93;1389:196;;;:::o;1590:254::-;1658:6;1666;1719:2;1707:9;1698:7;1694:23;1690:32;1687:52;;;1735:1;1732;1725:12;1687:52;1758:29;1777:9;1758:29;:::i;:::-;1748:39;1834:2;1819:18;;;;1806:32;;-1:-1:-1;;;1590:254:1:o;1849:328::-;1926:6;1934;1942;1995:2;1983:9;1974:7;1970:23;1966:32;1963:52;;;2011:1;2008;2001:12;1963:52;2034:29;2053:9;2034:29;:::i;:::-;2024:39;;2082:38;2116:2;2105:9;2101:18;2082:38;:::i;:::-;2072:48;;2167:2;2156:9;2152:18;2139:32;2129:42;;1849:328;;;;;:::o;2413:186::-;2472:6;2525:2;2513:9;2504:7;2500:23;2496:32;2493:52;;;2541:1;2538;2531:12;2493:52;2564:29;2583:9;2564:29;:::i;2786:347::-;2851:6;2859;2912:2;2900:9;2891:7;2887:23;2883:32;2880:52;;;2928:1;2925;2918:12;2880:52;2951:29;2970:9;2951:29;:::i;:::-;2941:39;;3030:2;3019:9;3015:18;3002:32;3077:5;3070:13;3063:21;3056:5;3053:32;3043:60;;3099:1;3096;3089:12;3043:60;3122:5;3112:15;;;2786:347;;;;;:::o;3138:::-;3189:8;3199:6;3253:3;3246:4;3238:6;3234:17;3230:27;3220:55;;3271:1;3268;3261:12;3220:55;-1:-1:-1;3294:20:1;;3337:18;3326:30;;3323:50;;;3369:1;3366;3359:12;3323:50;3406:4;3398:6;3394:17;3382:29;;3458:3;3451:4;3442:6;3434;3430:19;3426:30;3423:39;3420:59;;;3475:1;3472;3465:12;3420:59;3138:347;;;;;:::o;3490:626::-;3587:6;3595;3603;3611;3619;3672:3;3660:9;3651:7;3647:23;3643:33;3640:53;;;3689:1;3686;3679:12;3640:53;3712:29;3731:9;3712:29;:::i;:::-;3702:39;;3760:38;3794:2;3783:9;3779:18;3760:38;:::i;:::-;3750:48;;3845:2;3834:9;3830:18;3817:32;3807:42;;3900:2;3889:9;3885:18;3872:32;3927:18;3919:6;3916:30;3913:50;;;3959:1;3956;3949:12;3913:50;3998:58;4048:7;4039:6;4028:9;4024:22;3998:58;:::i;:::-;3490:626;;;;-1:-1:-1;3490:626:1;;-1:-1:-1;4075:8:1;;3972:84;3490:626;-1:-1:-1;;;3490:626:1:o;4121:484::-;4201:6;4209;4217;4270:2;4258:9;4249:7;4245:23;4241:32;4238:52;;;4286:1;4283;4276:12;4238:52;4309:29;4328:9;4309:29;:::i;:::-;4299:39;;4389:2;4378:9;4374:18;4361:32;4416:18;4408:6;4405:30;4402:50;;;4448:1;4445;4438:12;4402:50;4487:58;4537:7;4528:6;4517:9;4513:22;4487:58;:::i;:::-;4121:484;;4564:8;;-1:-1:-1;4461:84:1;;-1:-1:-1;;;;4121:484:1:o;4610:260::-;4678:6;4686;4739:2;4727:9;4718:7;4714:23;4710:32;4707:52;;;4755:1;4752;4745:12;4707:52;4778:29;4797:9;4778:29;:::i;:::-;4768:39;;4826:38;4860:2;4849:9;4845:18;4826:38;:::i;:::-;4816:48;;4610:260;;;;;:::o;4875:437::-;4954:1;4950:12;;;;4997;;;5018:61;;5072:4;5064:6;5060:17;5050:27;;5018:61;5125:2;5117:6;5114:14;5094:18;5091:38;5088:218;;5162:77;5159:1;5152:88;5263:4;5260:1;5253:15;5291:4;5288:1;5281:15;5088:218;;4875:437;;;:::o;5317:349::-;5356:3;5387:66;5380:5;5377:77;5374:257;;5487:77;5484:1;5477:88;5588:4;5585:1;5578:15;5616:4;5613:1;5606:15;5374:257;-1:-1:-1;5658:1:1;5647:13;;5317:349::o

ipfs://31f6e8d07225e7f8012c4e3d98ea8322c74c1e0afb8850ad563560047648db98