Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract btcLeaderboard *
•    - function setMessage(string memory new ...
•    - function getMessage(address user)
•    - function getGlobalNonce()
•    - function updateMessageForUser(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-18
*/

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

contract btcLeaderboard {
    address public owner;
    mapping(address => string) private messages;
    uint256 private globalNonce;

    event MessageUpdated(address indexed user, string newMessage, uint256 newNonce);

    modifier onlyOwner() {
        require(msg.sender == owner, "Only the contract owner can perform this action");
        _;
    }

    modifier validMessage(string memory message) {
        require(bytes(message).length <= 30, "Message exceeds 30 characters");
        _;
    }

    constructor() {
        owner = msg.sender;
        globalNonce = 0;
    }

    function setMessage(string memory newMessage) public validMessage(newMessage) {
        messages[msg.sender] = newMessage;
        globalNonce++;
        emit MessageUpdated(msg.sender, newMessage, globalNonce);
    }

    function getMessage(address user) public view returns (string memory) {
        return messages[user];
    }

    function getGlobalNonce() public view returns (uint256) {
        return globalNonce;
    }

    function updateMessageForUser(address user, string memory newMessage) public onlyOwner validMessage(newMessage) {
        messages[user] = newMessage;
        globalNonce++;
        emit MessageUpdated(user, newMessage, globalNonce);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"string","name":"newMessage","type":"string"},{"indexed":false,"internalType":"uint256","name":"newNonce","type":"uint256"}],"name":"MessageUpdated","type":"event"},{"inputs":[],"name":"getGlobalNonce","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getMessage","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":"string","name":"newMessage","type":"string"}],"name":"setMessage","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"string","name":"newMessage","type":"string"}],"name":"updateMessageForUser","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b50335f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f600281905550610c7d806100635f395ff3fe608060405234801561000f575f80fd5b5060043610610055575f3560e01c8063368b87721461005957806355448fe1146100755780638da5cb5b146100a557806392163b4b146100c3578063ea408f80146100e1575b5f80fd5b610073600480360381019061006e91906105cd565b6100fd565b005b61008f600480360381019061008a919061066e565b6101fb565b60405161009c9190610713565b60405180910390f35b6100ad6102c8565b6040516100ba9190610742565b60405180910390f35b6100cb6102eb565b6040516100d89190610773565b60405180910390f35b6100fb60048036038101906100f6919061078c565b6102f4565b005b80601e81511115610143576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161013a90610830565b60405180910390fd5b8160015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20908161018d9190610a48565b5060025f8154809291906101a090610b44565b91905055503373ffffffffffffffffffffffffffffffffffffffff167f7d81be14d10d5babaca18110e262123bff1592029a3ff54c46fedfcad9c48c05836002546040516101ef929190610b8b565b60405180910390a25050565b606060015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080546102459061087b565b80601f01602080910402602001604051908101604052809291908181526020018280546102719061087b565b80156102bc5780601f10610293576101008083540402835291602001916102bc565b820191905f5260205f20905b81548152906001019060200180831161029f57829003601f168201915b50505050509050919050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f600254905090565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610381576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161037890610c29565b60405180910390fd5b80601e815111156103c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103be90610830565b60405180910390fd5b8160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090816104119190610a48565b5060025f81548092919061042490610b44565b91905055508273ffffffffffffffffffffffffffffffffffffffff167f7d81be14d10d5babaca18110e262123bff1592029a3ff54c46fedfcad9c48c0583600254604051610473929190610b8b565b60405180910390a2505050565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6104df82610499565b810181811067ffffffffffffffff821117156104fe576104fd6104a9565b5b80604052505050565b5f610510610480565b905061051c82826104d6565b919050565b5f67ffffffffffffffff82111561053b5761053a6104a9565b5b61054482610499565b9050602081019050919050565b828183375f83830152505050565b5f61057161056c84610521565b610507565b90508281526020810184848401111561058d5761058c610495565b5b610598848285610551565b509392505050565b5f82601f8301126105b4576105b3610491565b5b81356105c484826020860161055f565b91505092915050565b5f602082840312156105e2576105e1610489565b5b5f82013567ffffffffffffffff8111156105ff576105fe61048d565b5b61060b848285016105a0565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61063d82610614565b9050919050565b61064d81610633565b8114610657575f80fd5b50565b5f8135905061066881610644565b92915050565b5f6020828403121561068357610682610489565b5b5f6106908482850161065a565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156106d05780820151818401526020810190506106b5565b5f8484015250505050565b5f6106e582610699565b6106ef81856106a3565b93506106ff8185602086016106b3565b61070881610499565b840191505092915050565b5f6020820190508181035f83015261072b81846106db565b905092915050565b61073c81610633565b82525050565b5f6020820190506107555f830184610733565b92915050565b5f819050919050565b61076d8161075b565b82525050565b5f6020820190506107865f830184610764565b92915050565b5f80604083850312156107a2576107a1610489565b5b5f6107af8582860161065a565b925050602083013567ffffffffffffffff8111156107d0576107cf61048d565b5b6107dc858286016105a0565b9150509250929050565b7f4d657373616765206578636565647320333020636861726163746572730000005f82015250565b5f61081a601d836106a3565b9150610825826107e6565b602082019050919050565b5f6020820190508181035f8301526108478161080e565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061089257607f821691505b6020821081036108a5576108a461084e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026109077fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826108cc565b61091186836108cc565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61094c6109476109428461075b565b610929565b61075b565b9050919050565b5f819050919050565b61096583610932565b61097961097182610953565b8484546108d8565b825550505050565b5f90565b61098d610981565b61099881848461095c565b505050565b5b818110156109bb576109b05f82610985565b60018101905061099e565b5050565b601f821115610a00576109d1816108ab565b6109da846108bd565b810160208510156109e9578190505b6109fd6109f5856108bd565b83018261099d565b50505b505050565b5f82821c905092915050565b5f610a205f1984600802610a05565b1980831691505092915050565b5f610a388383610a11565b9150826002028217905092915050565b610a5182610699565b67ffffffffffffffff811115610a6a57610a696104a9565b5b610a74825461087b565b610a7f8282856109bf565b5f60209050601f831160018114610ab0575f8415610a9e578287015190505b610aa88582610a2d565b865550610b0f565b601f198416610abe866108ab565b5f5b82811015610ae557848901518255600182019150602085019450602081019050610ac0565b86831015610b025784890151610afe601f891682610a11565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610b4e8261075b565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610b8057610b7f610b17565b5b600182019050919050565b5f6040820190508181035f830152610ba381856106db565b9050610bb26020830184610764565b9392505050565b7f4f6e6c792074686520636f6e7472616374206f776e65722063616e20706572665f8201527f6f726d207468697320616374696f6e0000000000000000000000000000000000602082015250565b5f610c13602f836106a3565b9150610c1e82610bb9565b604082019050919050565b5f6020820190508181035f830152610c4081610c07565b905091905056fea26469706673582212200f8dc480d0e0d33240bc3cb4e886f46b176cbd86572143c15e0af6cc9d61684f64736f6c63430008140033

0x608060405234801561000f575f80fd5b5060043610610055575f3560e01c8063368b87721461005957806355448fe1146100755780638da5cb5b146100a557806392163b4b146100c3578063ea408f80146100e1575b5f80fd5b610073600480360381019061006e91906105cd565b6100fd565b005b61008f600480360381019061008a919061066e565b6101fb565b60405161009c9190610713565b60405180910390f35b6100ad6102c8565b6040516100ba9190610742565b60405180910390f35b6100cb6102eb565b6040516100d89190610773565b60405180910390f35b6100fb60048036038101906100f6919061078c565b6102f4565b005b80601e81511115610143576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161013a90610830565b60405180910390fd5b8160015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20908161018d9190610a48565b5060025f8154809291906101a090610b44565b91905055503373ffffffffffffffffffffffffffffffffffffffff167f7d81be14d10d5babaca18110e262123bff1592029a3ff54c46fedfcad9c48c05836002546040516101ef929190610b8b565b60405180910390a25050565b606060015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2080546102459061087b565b80601f01602080910402602001604051908101604052809291908181526020018280546102719061087b565b80156102bc5780601f10610293576101008083540402835291602001916102bc565b820191905f5260205f20905b81548152906001019060200180831161029f57829003601f168201915b50505050509050919050565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f600254905090565b5f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610381576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161037890610c29565b60405180910390fd5b80601e815111156103c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103be90610830565b60405180910390fd5b8160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2090816104119190610a48565b5060025f81548092919061042490610b44565b91905055508273ffffffffffffffffffffffffffffffffffffffff167f7d81be14d10d5babaca18110e262123bff1592029a3ff54c46fedfcad9c48c0583600254604051610473929190610b8b565b60405180910390a2505050565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6104df82610499565b810181811067ffffffffffffffff821117156104fe576104fd6104a9565b5b80604052505050565b5f610510610480565b905061051c82826104d6565b919050565b5f67ffffffffffffffff82111561053b5761053a6104a9565b5b61054482610499565b9050602081019050919050565b828183375f83830152505050565b5f61057161056c84610521565b610507565b90508281526020810184848401111561058d5761058c610495565b5b610598848285610551565b509392505050565b5f82601f8301126105b4576105b3610491565b5b81356105c484826020860161055f565b91505092915050565b5f602082840312156105e2576105e1610489565b5b5f82013567ffffffffffffffff8111156105ff576105fe61048d565b5b61060b848285016105a0565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61063d82610614565b9050919050565b61064d81610633565b8114610657575f80fd5b50565b5f8135905061066881610644565b92915050565b5f6020828403121561068357610682610489565b5b5f6106908482850161065a565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156106d05780820151818401526020810190506106b5565b5f8484015250505050565b5f6106e582610699565b6106ef81856106a3565b93506106ff8185602086016106b3565b61070881610499565b840191505092915050565b5f6020820190508181035f83015261072b81846106db565b905092915050565b61073c81610633565b82525050565b5f6020820190506107555f830184610733565b92915050565b5f819050919050565b61076d8161075b565b82525050565b5f6020820190506107865f830184610764565b92915050565b5f80604083850312156107a2576107a1610489565b5b5f6107af8582860161065a565b925050602083013567ffffffffffffffff8111156107d0576107cf61048d565b5b6107dc858286016105a0565b9150509250929050565b7f4d657373616765206578636565647320333020636861726163746572730000005f82015250565b5f61081a601d836106a3565b9150610825826107e6565b602082019050919050565b5f6020820190508181035f8301526108478161080e565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061089257607f821691505b6020821081036108a5576108a461084e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026109077fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826108cc565b61091186836108cc565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61094c6109476109428461075b565b610929565b61075b565b9050919050565b5f819050919050565b61096583610932565b61097961097182610953565b8484546108d8565b825550505050565b5f90565b61098d610981565b61099881848461095c565b505050565b5b818110156109bb576109b05f82610985565b60018101905061099e565b5050565b601f821115610a00576109d1816108ab565b6109da846108bd565b810160208510156109e9578190505b6109fd6109f5856108bd565b83018261099d565b50505b505050565b5f82821c905092915050565b5f610a205f1984600802610a05565b1980831691505092915050565b5f610a388383610a11565b9150826002028217905092915050565b610a5182610699565b67ffffffffffffffff811115610a6a57610a696104a9565b5b610a74825461087b565b610a7f8282856109bf565b5f60209050601f831160018114610ab0575f8415610a9e578287015190505b610aa88582610a2d565b865550610b0f565b601f198416610abe866108ab565b5f5b82811015610ae557848901518255600182019150602085019450602081019050610ac0565b86831015610b025784890151610afe601f891682610a11565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610b4e8261075b565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610b8057610b7f610b17565b5b600182019050919050565b5f6040820190508181035f830152610ba381856106db565b9050610bb26020830184610764565b9392505050565b7f4f6e6c792074686520636f6e7472616374206f776e65722063616e20706572665f8201527f6f726d207468697320616374696f6e0000000000000000000000000000000000602082015250565b5f610c13602f836106a3565b9150610c1e82610bb9565b604082019050919050565b5f6020820190508181035f830152610c4081610c07565b905091905056fea26469706673582212200f8dc480d0e0d33240bc3cb4e886f46b176cbd86572143c15e0af6cc9d61684f64736f6c63430008140033

61:1303:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;670:221;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;899:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;92:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1017:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1118:243;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;670:221;736:10;521:2;502:7;496:21;:27;;488:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;782:10:::1;759:8;:20;768:10;759:20;;;;;;;;;;;;;;;:33;;;;;;:::i;:::-;;803:11;;:13;;;;;;;;;:::i;:::-;;;;;;847:10;832:51;;;859:10;871:11;;832:51;;;;;;;:::i;:::-;;;;;;;;670:221:::0;;:::o;899:110::-;954:13;987:8;:14;996:4;987:14;;;;;;;;;;;;;;;980:21;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;899:110;;;:::o;92:20::-;;;;;;;;;;;;:::o;1017:93::-;1064:7;1091:11;;1084:18;;1017:93;:::o;1118:243::-;347:5;;;;;;;;;;333:19;;:10;:19;;;325:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;1218:10:::1;521:2;502:7;496:21;:27;;488:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;1258:10:::2;1241:8;:14;1250:4;1241:14;;;;;;;;;;;;;;;:27;;;;;;:::i;:::-;;1279:11;;:13;;;;;;;;;:::i;:::-;;;;;;1323:4;1308:45;;;1329:10;1341:11;;1308:45;;;;;;;:::i;:::-;;;;;;;;415:1:::1;1118:243:::0;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:117;443:1;440;433:12;457:117;566:1;563;556:12;580:102;621:6;672:2;668:7;663:2;656:5;652:14;648:28;638:38;;580:102;;;:::o;688:180::-;736:77;733:1;726:88;833:4;830:1;823:15;857:4;854:1;847:15;874:281;957:27;979:4;957:27;:::i;:::-;949:6;945:40;1087:6;1075:10;1072:22;1051:18;1039:10;1036:34;1033:62;1030:88;;;1098:18;;:::i;:::-;1030:88;1138:10;1134:2;1127:22;917:238;874:281;;:::o;1161:129::-;1195:6;1222:20;;:::i;:::-;1212:30;;1251:33;1279:4;1271:6;1251:33;:::i;:::-;1161:129;;;:::o;1296:308::-;1358:4;1448:18;1440:6;1437:30;1434:56;;;1470:18;;:::i;:::-;1434:56;1508:29;1530:6;1508:29;:::i;:::-;1500:37;;1592:4;1586;1582:15;1574:23;;1296:308;;;:::o;1610:146::-;1707:6;1702:3;1697;1684:30;1748:1;1739:6;1734:3;1730:16;1723:27;1610:146;;;:::o;1762:425::-;1840:5;1865:66;1881:49;1923:6;1881:49;:::i;:::-;1865:66;:::i;:::-;1856:75;;1954:6;1947:5;1940:21;1992:4;1985:5;1981:16;2030:3;2021:6;2016:3;2012:16;2009:25;2006:112;;;2037:79;;:::i;:::-;2006:112;2127:54;2174:6;2169:3;2164;2127:54;:::i;:::-;1846:341;1762:425;;;;;:::o;2207:340::-;2263:5;2312:3;2305:4;2297:6;2293:17;2289:27;2279:122;;2320:79;;:::i;:::-;2279:122;2437:6;2424:20;2462:79;2537:3;2529:6;2522:4;2514:6;2510:17;2462:79;:::i;:::-;2453:88;;2269:278;2207:340;;;;:::o;2553:509::-;2622:6;2671:2;2659:9;2650:7;2646:23;2642:32;2639:119;;;2677:79;;:::i;:::-;2639:119;2825:1;2814:9;2810:17;2797:31;2855:18;2847:6;2844:30;2841:117;;;2877:79;;:::i;:::-;2841:117;2982:63;3037:7;3028:6;3017:9;3013:22;2982:63;:::i;:::-;2972:73;;2768:287;2553:509;;;;:::o;3068:126::-;3105:7;3145:42;3138:5;3134:54;3123:65;;3068:126;;;:::o;3200:96::-;3237:7;3266:24;3284:5;3266:24;:::i;:::-;3255:35;;3200:96;;;:::o;3302:122::-;3375:24;3393:5;3375:24;:::i;:::-;3368:5;3365:35;3355:63;;3414:1;3411;3404:12;3355:63;3302:122;:::o;3430:139::-;3476:5;3514:6;3501:20;3492:29;;3530:33;3557:5;3530:33;:::i;:::-;3430:139;;;;:::o;3575:329::-;3634:6;3683:2;3671:9;3662:7;3658:23;3654:32;3651:119;;;3689:79;;:::i;:::-;3651:119;3809:1;3834:53;3879:7;3870:6;3859:9;3855:22;3834:53;:::i;:::-;3824:63;;3780:117;3575:329;;;;:::o;3910:99::-;3962:6;3996:5;3990:12;3980:22;;3910:99;;;:::o;4015:169::-;4099:11;4133:6;4128:3;4121:19;4173:4;4168:3;4164:14;4149:29;;4015:169;;;;:::o;4190:246::-;4271:1;4281:113;4295:6;4292:1;4289:13;4281:113;;;4380:1;4375:3;4371:11;4365:18;4361:1;4356:3;4352:11;4345:39;4317:2;4314:1;4310:10;4305:15;;4281:113;;;4428:1;4419:6;4414:3;4410:16;4403:27;4252:184;4190:246;;;:::o;4442:377::-;4530:3;4558:39;4591:5;4558:39;:::i;:::-;4613:71;4677:6;4672:3;4613:71;:::i;:::-;4606:78;;4693:65;4751:6;4746:3;4739:4;4732:5;4728:16;4693:65;:::i;:::-;4783:29;4805:6;4783:29;:::i;:::-;4778:3;4774:39;4767:46;;4534:285;4442:377;;;;:::o;4825:313::-;4938:4;4976:2;4965:9;4961:18;4953:26;;5025:9;5019:4;5015:20;5011:1;5000:9;4996:17;4989:47;5053:78;5126:4;5117:6;5053:78;:::i;:::-;5045:86;;4825:313;;;;:::o;5144:118::-;5231:24;5249:5;5231:24;:::i;:::-;5226:3;5219:37;5144:118;;:::o;5268:222::-;5361:4;5399:2;5388:9;5384:18;5376:26;;5412:71;5480:1;5469:9;5465:17;5456:6;5412:71;:::i;:::-;5268:222;;;;:::o;5496:77::-;5533:7;5562:5;5551:16;;5496:77;;;:::o;5579:118::-;5666:24;5684:5;5666:24;:::i;:::-;5661:3;5654:37;5579:118;;:::o;5703:222::-;5796:4;5834:2;5823:9;5819:18;5811:26;;5847:71;5915:1;5904:9;5900:17;5891:6;5847:71;:::i;:::-;5703:222;;;;:::o;5931:654::-;6009:6;6017;6066:2;6054:9;6045:7;6041:23;6037:32;6034:119;;;6072:79;;:::i;:::-;6034:119;6192:1;6217:53;6262:7;6253:6;6242:9;6238:22;6217:53;:::i;:::-;6207:63;;6163:117;6347:2;6336:9;6332:18;6319:32;6378:18;6370:6;6367:30;6364:117;;;6400:79;;:::i;:::-;6364:117;6505:63;6560:7;6551:6;6540:9;6536:22;6505:63;:::i;:::-;6495:73;;6290:288;5931:654;;;;;:::o;6591:179::-;6731:31;6727:1;6719:6;6715:14;6708:55;6591:179;:::o;6776:366::-;6918:3;6939:67;7003:2;6998:3;6939:67;:::i;:::-;6932:74;;7015:93;7104:3;7015:93;:::i;:::-;7133:2;7128:3;7124:12;7117:19;;6776:366;;;:::o;7148:419::-;7314:4;7352:2;7341:9;7337:18;7329:26;;7401:9;7395:4;7391:20;7387:1;7376:9;7372:17;7365:47;7429:131;7555:4;7429:131;:::i;:::-;7421:139;;7148:419;;;:::o;7573:180::-;7621:77;7618:1;7611:88;7718:4;7715:1;7708:15;7742:4;7739:1;7732:15;7759:320;7803:6;7840:1;7834:4;7830:12;7820:22;;7887:1;7881:4;7877:12;7908:18;7898:81;;7964:4;7956:6;7952:17;7942:27;;7898:81;8026:2;8018:6;8015:14;7995:18;7992:38;7989:84;;8045:18;;:::i;:::-;7989:84;7810:269;7759:320;;;:::o;8085:141::-;8134:4;8157:3;8149:11;;8180:3;8177:1;8170:14;8214:4;8211:1;8201:18;8193:26;;8085:141;;;:::o;8232:93::-;8269:6;8316:2;8311;8304:5;8300:14;8296:23;8286:33;;8232:93;;;:::o;8331:107::-;8375:8;8425:5;8419:4;8415:16;8394:37;;8331:107;;;;:::o;8444:393::-;8513:6;8563:1;8551:10;8547:18;8586:97;8616:66;8605:9;8586:97;:::i;:::-;8704:39;8734:8;8723:9;8704:39;:::i;:::-;8692:51;;8776:4;8772:9;8765:5;8761:21;8752:30;;8825:4;8815:8;8811:19;8804:5;8801:30;8791:40;;8520:317;;8444:393;;;;;:::o;8843:60::-;8871:3;8892:5;8885:12;;8843:60;;;:::o;8909:142::-;8959:9;8992:53;9010:34;9019:24;9037:5;9019:24;:::i;:::-;9010:34;:::i;:::-;8992:53;:::i;:::-;8979:66;;8909:142;;;:::o;9057:75::-;9100:3;9121:5;9114:12;;9057:75;;;:::o;9138:269::-;9248:39;9279:7;9248:39;:::i;:::-;9309:91;9358:41;9382:16;9358:41;:::i;:::-;9350:6;9343:4;9337:11;9309:91;:::i;:::-;9303:4;9296:105;9214:193;9138:269;;;:::o;9413:73::-;9458:3;9413:73;:::o;9492:189::-;9569:32;;:::i;:::-;9610:65;9668:6;9660;9654:4;9610:65;:::i;:::-;9545:136;9492:189;;:::o;9687:186::-;9747:120;9764:3;9757:5;9754:14;9747:120;;;9818:39;9855:1;9848:5;9818:39;:::i;:::-;9791:1;9784:5;9780:13;9771:22;;9747:120;;;9687:186;;:::o;9879:543::-;9980:2;9975:3;9972:11;9969:446;;;10014:38;10046:5;10014:38;:::i;:::-;10098:29;10116:10;10098:29;:::i;:::-;10088:8;10084:44;10281:2;10269:10;10266:18;10263:49;;;10302:8;10287:23;;10263:49;10325:80;10381:22;10399:3;10381:22;:::i;:::-;10371:8;10367:37;10354:11;10325:80;:::i;:::-;9984:431;;9969:446;9879:543;;;:::o;10428:117::-;10482:8;10532:5;10526:4;10522:16;10501:37;;10428:117;;;;:::o;10551:169::-;10595:6;10628:51;10676:1;10672:6;10664:5;10661:1;10657:13;10628:51;:::i;:::-;10624:56;10709:4;10703;10699:15;10689:25;;10602:118;10551:169;;;;:::o;10725:295::-;10801:4;10947:29;10972:3;10966:4;10947:29;:::i;:::-;10939:37;;11009:3;11006:1;11002:11;10996:4;10993:21;10985:29;;10725:295;;;;:::o;11025:1395::-;11142:37;11175:3;11142:37;:::i;:::-;11244:18;11236:6;11233:30;11230:56;;;11266:18;;:::i;:::-;11230:56;11310:38;11342:4;11336:11;11310:38;:::i;:::-;11395:67;11455:6;11447;11441:4;11395:67;:::i;:::-;11489:1;11513:4;11500:17;;11545:2;11537:6;11534:14;11562:1;11557:618;;;;12219:1;12236:6;12233:77;;;12285:9;12280:3;12276:19;12270:26;12261:35;;12233:77;12336:67;12396:6;12389:5;12336:67;:::i;:::-;12330:4;12323:81;12192:222;11527:887;;11557:618;11609:4;11605:9;11597:6;11593:22;11643:37;11675:4;11643:37;:::i;:::-;11702:1;11716:208;11730:7;11727:1;11724:14;11716:208;;;11809:9;11804:3;11800:19;11794:26;11786:6;11779:42;11860:1;11852:6;11848:14;11838:24;;11907:2;11896:9;11892:18;11879:31;;11753:4;11750:1;11746:12;11741:17;;11716:208;;;11952:6;11943:7;11940:19;11937:179;;;12010:9;12005:3;12001:19;11995:26;12053:48;12095:4;12087:6;12083:17;12072:9;12053:48;:::i;:::-;12045:6;12038:64;11960:156;11937:179;12162:1;12158;12150:6;12146:14;12142:22;12136:4;12129:36;11564:611;;;11527:887;;11117:1303;;;11025:1395;;:::o;12426:180::-;12474:77;12471:1;12464:88;12571:4;12568:1;12561:15;12595:4;12592:1;12585:15;12612:233;12651:3;12674:24;12692:5;12674:24;:::i;:::-;12665:33;;12720:66;12713:5;12710:77;12707:103;;12790:18;;:::i;:::-;12707:103;12837:1;12830:5;12826:13;12819:20;;12612:233;;;:::o;12851:423::-;12992:4;13030:2;13019:9;13015:18;13007:26;;13079:9;13073:4;13069:20;13065:1;13054:9;13050:17;13043:47;13107:78;13180:4;13171:6;13107:78;:::i;:::-;13099:86;;13195:72;13263:2;13252:9;13248:18;13239:6;13195:72;:::i;:::-;12851:423;;;;;:::o;13280:234::-;13420:34;13416:1;13408:6;13404:14;13397:58;13489:17;13484:2;13476:6;13472:15;13465:42;13280:234;:::o;13520:366::-;13662:3;13683:67;13747:2;13742:3;13683:67;:::i;:::-;13676:74;;13759:93;13848:3;13759:93;:::i;:::-;13877:2;13872:3;13868:12;13861:19;;13520:366;;;:::o;13892:419::-;14058:4;14096:2;14085:9;14081:18;14073:26;;14145:9;14139:4;14135:20;14131:1;14120:9;14116:17;14109:47;14173:131;14299:4;14173:131;:::i;:::-;14165:139;;13892:419;;;:::o

ipfs://0f8dc480d0e0d33240bc3cb4e886f46b176cbd86572143c15e0af6cc9d61684f