Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Lottery *
•    - function enter(uint256 n)
•    - function random()
•    - function pickWinner()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-09-23
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.18;

contract Lottery {
    address public manager;
    address[] public players;

    uint256 public winnerStake = 90;
    uint256 public teamStake = 100 - winnerStake;

    uint256 public ticketPrice = 0.01 ether;

    constructor() {
        manager = msg.sender;
    }

    function enter(uint256 n) public payable {
        require(n > 0, "Minimum 1 ticket is required.");
        require(msg.value == n * ticketPrice, "Amount is invalid.");
        for (uint256 i = 0; i < n; i++) {
            players.push(msg.sender);
        }
    }

    function random() private view returns (uint256) {
        return uint256(keccak256(abi.encode(block.timestamp, players)));
    }

    function pickWinner() public restricted {
        uint256 winnerAmount = (address(this).balance * winnerStake) / 100;
        uint256 feesAmount = (address(this).balance * teamStake) / 100;
        uint256 index = random() % players.length;
        payable(players[index]).transfer(winnerAmount);
        payable(manager).transfer(feesAmount);
        players = new address[](0);
    }

    modifier restricted() {
        require(msg.sender == manager);
        _;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"uint256","name":"n","type":"uint256"}],"name":"enter","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"manager","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pickWinner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"players","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"teamStake","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ticketPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"winnerStake","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

6080604052605a600255600254606461001891906100b1565b600355662386f26fc1000060045534801561003257600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506100e5565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006100bc82610078565b91506100c783610078565b92508282039050818111156100df576100de610082565b5b92915050565b610b02806100f46000396000f3fe6080604052600436106100705760003560e01c80635d495aea1161004e5780635d495aea146100f6578063a59f3e0c1461010d578063f71d96cb14610129578063fc58c39d1461016657610070565b80631209b1f6146100755780633a6a9831146100a0578063481c6a75146100cb575b600080fd5b34801561008157600080fd5b5061008a610191565b6040516100979190610612565b60405180910390f35b3480156100ac57600080fd5b506100b5610197565b6040516100c29190610612565b60405180910390f35b3480156100d757600080fd5b506100e061019d565b6040516100ed919061066e565b60405180910390f35b34801561010257600080fd5b5061010b6101c1565b005b610127600480360381019061012291906106ba565b6103c2565b005b34801561013557600080fd5b50610150600480360381019061014b91906106ba565b6104d9565b60405161015d919061066e565b60405180910390f35b34801561017257600080fd5b5061017b610518565b6040516101889190610612565b60405180910390f35b60045481565b60025481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461021957600080fd5b600060646002544761022b9190610716565b6102359190610787565b905060006064600354476102499190610716565b6102539190610787565b9050600060018054905061026561051e565b61026f91906107b8565b905060018181548110610285576102846107e9565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc849081150290604051600060405180830381858888f193505050501580156102f5573d6000803e3d6000fd5b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561035c573d6000803e3d6000fd5b50600067ffffffffffffffff81111561037857610377610818565b5b6040519080825280602002602001820160405280156103a65781602001602082028036833780820191505090505b50600190805190602001906103bc929190610552565b50505050565b60008111610405576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103fc906108a4565b60405180910390fd5b600454816104139190610716565b3414610454576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161044b90610910565b60405180910390fd5b60005b818110156104d5576001339080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080806104cd90610930565b915050610457565b5050565b600181815481106104e957600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b6000426001604051602001610534929190610a9c565b6040516020818303038152906040528051906020012060001c905090565b8280548282559060005260206000209081019282156105cb579160200282015b828111156105ca5782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555091602001919060010190610572565b5b5090506105d891906105dc565b5090565b5b808211156105f55760008160009055506001016105dd565b5090565b6000819050919050565b61060c816105f9565b82525050565b60006020820190506106276000830184610603565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006106588261062d565b9050919050565b6106688161064d565b82525050565b6000602082019050610683600083018461065f565b92915050565b600080fd5b610697816105f9565b81146106a257600080fd5b50565b6000813590506106b48161068e565b92915050565b6000602082840312156106d0576106cf610689565b5b60006106de848285016106a5565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610721826105f9565b915061072c836105f9565b925082820261073a816105f9565b91508282048414831517610751576107506106e7565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000610792826105f9565b915061079d836105f9565b9250826107ad576107ac610758565b5b828204905092915050565b60006107c3826105f9565b91506107ce836105f9565b9250826107de576107dd610758565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082825260208201905092915050565b7f4d696e696d756d2031207469636b65742069732072657175697265642e000000600082015250565b600061088e601d83610847565b915061089982610858565b602082019050919050565b600060208201905081810360008301526108bd81610881565b9050919050565b7f416d6f756e7420697320696e76616c69642e0000000000000000000000000000600082015250565b60006108fa601283610847565b9150610905826108c4565b602082019050919050565b60006020820190508181036000830152610929816108ed565b9050919050565b600061093b826105f9565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361096d5761096c6106e7565b5b600182019050919050565b600081549050919050565b600082825260208201905092915050565b60008190508160005260206000209050919050565b6109b28161064d565b82525050565b60006109c483836109a9565b60208301905092915050565b60008160001c9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610a10610a0b836109d0565b6109dd565b9050919050565b6000610a2382546109fd565b9050919050565b6000600182019050919050565b6000610a4282610978565b610a4c8185610983565b9350610a5783610994565b8060005b83811015610a8f57610a6c82610a17565b610a7688826109b8565b9750610a8183610a2a565b925050600181019050610a5b565b5085935050505092915050565b6000604082019050610ab16000830185610603565b8181036020830152610ac38184610a37565b9050939250505056fea2646970667358221220530bc49ec94ae24d79de4e55be8ee0236cc948054fe891f5a1314edd2d571c8a64736f6c63430008120033

0x6080604052600436106100705760003560e01c80635d495aea1161004e5780635d495aea146100f6578063a59f3e0c1461010d578063f71d96cb14610129578063fc58c39d1461016657610070565b80631209b1f6146100755780633a6a9831146100a0578063481c6a75146100cb575b600080fd5b34801561008157600080fd5b5061008a610191565b6040516100979190610612565b60405180910390f35b3480156100ac57600080fd5b506100b5610197565b6040516100c29190610612565b60405180910390f35b3480156100d757600080fd5b506100e061019d565b6040516100ed919061066e565b60405180910390f35b34801561010257600080fd5b5061010b6101c1565b005b610127600480360381019061012291906106ba565b6103c2565b005b34801561013557600080fd5b50610150600480360381019061014b91906106ba565b6104d9565b60405161015d919061066e565b60405180910390f35b34801561017257600080fd5b5061017b610518565b6040516101889190610612565b60405180910390f35b60045481565b60025481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461021957600080fd5b600060646002544761022b9190610716565b6102359190610787565b905060006064600354476102499190610716565b6102539190610787565b9050600060018054905061026561051e565b61026f91906107b8565b905060018181548110610285576102846107e9565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc849081150290604051600060405180830381858888f193505050501580156102f5573d6000803e3d6000fd5b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561035c573d6000803e3d6000fd5b50600067ffffffffffffffff81111561037857610377610818565b5b6040519080825280602002602001820160405280156103a65781602001602082028036833780820191505090505b50600190805190602001906103bc929190610552565b50505050565b60008111610405576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103fc906108a4565b60405180910390fd5b600454816104139190610716565b3414610454576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161044b90610910565b60405180910390fd5b60005b818110156104d5576001339080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080806104cd90610930565b915050610457565b5050565b600181815481106104e957600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b6000426001604051602001610534929190610a9c565b6040516020818303038152906040528051906020012060001c905090565b8280548282559060005260206000209081019282156105cb579160200282015b828111156105ca5782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555091602001919060010190610572565b5b5090506105d891906105dc565b5090565b5b808211156105f55760008160009055506001016105dd565b5090565b6000819050919050565b61060c816105f9565b82525050565b60006020820190506106276000830184610603565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006106588261062d565b9050919050565b6106688161064d565b82525050565b6000602082019050610683600083018461065f565b92915050565b600080fd5b610697816105f9565b81146106a257600080fd5b50565b6000813590506106b48161068e565b92915050565b6000602082840312156106d0576106cf610689565b5b60006106de848285016106a5565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610721826105f9565b915061072c836105f9565b925082820261073a816105f9565b91508282048414831517610751576107506106e7565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000610792826105f9565b915061079d836105f9565b9250826107ad576107ac610758565b5b828204905092915050565b60006107c3826105f9565b91506107ce836105f9565b9250826107de576107dd610758565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082825260208201905092915050565b7f4d696e696d756d2031207469636b65742069732072657175697265642e000000600082015250565b600061088e601d83610847565b915061089982610858565b602082019050919050565b600060208201905081810360008301526108bd81610881565b9050919050565b7f416d6f756e7420697320696e76616c69642e0000000000000000000000000000600082015250565b60006108fa601283610847565b9150610905826108c4565b602082019050919050565b60006020820190508181036000830152610929816108ed565b9050919050565b600061093b826105f9565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361096d5761096c6106e7565b5b600182019050919050565b600081549050919050565b600082825260208201905092915050565b60008190508160005260206000209050919050565b6109b28161064d565b82525050565b60006109c483836109a9565b60208301905092915050565b60008160001c9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610a10610a0b836109d0565b6109dd565b9050919050565b6000610a2382546109fd565b9050919050565b6000600182019050919050565b6000610a4282610978565b610a4c8185610983565b9350610a5783610994565b8060005b83811015610a8f57610a6c82610a17565b610a7688826109b8565b9750610a8183610a2a565b925050600181019050610a5b565b5085935050505092915050565b6000604082019050610ab16000830185610603565b8181036020830152610ac38184610a37565b9050939250505056fea2646970667358221220530bc49ec94ae24d79de4e55be8ee0236cc948054fe891f5a1314edd2d571c8a64736f6c63430008120033

63:1189:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;240:39;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;149:31;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87:22;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;766:392;;;;;;;;;;;;;:::i;:::-;;349:270;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;116:24;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;187:44;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;240:39;;;;:::o;149:31::-;;;;:::o;87:22::-;;;;;;;;;;;;:::o;766:392::-;1221:7;;;;;;;;;;1207:21;;:10;:21;;;1199:30;;;;;;817:20:::1;880:3;865:11;;841:21;:35;;;;:::i;:::-;840:43;;;;:::i;:::-;817:66;;894:18;953:3;940:9;;916:21;:33;;;;:::i;:::-;915:41;;;;:::i;:::-;894:62;;967:13;994:7;:14;;;;983:8;:6;:8::i;:::-;:25;;;;:::i;:::-;967:41;;1027:7;1035:5;1027:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1019:32;;:46;1052:12;1019:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;1084:7;::::0;::::1;;;;;;;;1076:25;;:37;1102:10;1076:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;1148:1;1134:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1124:7;:26;;;;;;;;;;;;:::i;:::-;;806:352;;;766:392::o:0;349:270::-;413:1;409;:5;401:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;484:11;;480:1;:15;;;;:::i;:::-;467:9;:28;459:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;534:9;529:83;553:1;549;:5;529:83;;;576:7;589:10;576:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;556:3;;;;;:::i;:::-;;;;529:83;;;;349:270;:::o;116:24::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;187:44::-;;;;:::o;627:131::-;667:7;723:15;740:7;712:36;;;;;;;;;:::i;:::-;;;;;;;;;;;;;702:47;;;;;;694:56;;687:63;;627:131;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;442:126::-;479:7;519:42;512:5;508:54;497:65;;442:126;;;:::o;574:96::-;611:7;640:24;658:5;640:24;:::i;:::-;629:35;;574:96;;;:::o;676:118::-;763:24;781:5;763:24;:::i;:::-;758:3;751:37;676:118;;:::o;800:222::-;893:4;931:2;920:9;916:18;908:26;;944:71;1012:1;1001:9;997:17;988:6;944:71;:::i;:::-;800:222;;;;:::o;1109:117::-;1218:1;1215;1208:12;1355:122;1428:24;1446:5;1428:24;:::i;:::-;1421:5;1418:35;1408:63;;1467:1;1464;1457:12;1408:63;1355:122;:::o;1483:139::-;1529:5;1567:6;1554:20;1545:29;;1583:33;1610:5;1583:33;:::i;:::-;1483:139;;;;:::o;1628:329::-;1687:6;1736:2;1724:9;1715:7;1711:23;1707:32;1704:119;;;1742:79;;:::i;:::-;1704:119;1862:1;1887:53;1932:7;1923:6;1912:9;1908:22;1887:53;:::i;:::-;1877:63;;1833:117;1628:329;;;;:::o;1963:180::-;2011:77;2008:1;2001:88;2108:4;2105:1;2098:15;2132:4;2129:1;2122:15;2149:410;2189:7;2212:20;2230:1;2212:20;:::i;:::-;2207:25;;2246:20;2264:1;2246:20;:::i;:::-;2241:25;;2301:1;2298;2294:9;2323:30;2341:11;2323:30;:::i;:::-;2312:41;;2502:1;2493:7;2489:15;2486:1;2483:22;2463:1;2456:9;2436:83;2413:139;;2532:18;;:::i;:::-;2413:139;2197:362;2149:410;;;;:::o;2565:180::-;2613:77;2610:1;2603:88;2710:4;2707:1;2700:15;2734:4;2731:1;2724:15;2751:185;2791:1;2808:20;2826:1;2808:20;:::i;:::-;2803:25;;2842:20;2860:1;2842:20;:::i;:::-;2837:25;;2881:1;2871:35;;2886:18;;:::i;:::-;2871:35;2928:1;2925;2921:9;2916:14;;2751:185;;;;:::o;2942:176::-;2974:1;2991:20;3009:1;2991:20;:::i;:::-;2986:25;;3025:20;3043:1;3025:20;:::i;:::-;3020:25;;3064:1;3054:35;;3069:18;;:::i;:::-;3054:35;3110:1;3107;3103:9;3098:14;;2942:176;;;;:::o;3124:180::-;3172:77;3169:1;3162:88;3269:4;3266:1;3259:15;3293:4;3290:1;3283:15;3310:180;3358:77;3355:1;3348:88;3455:4;3452:1;3445:15;3479:4;3476:1;3469:15;3496:169;3580:11;3614:6;3609:3;3602:19;3654:4;3649:3;3645:14;3630:29;;3496:169;;;;:::o;3671:179::-;3811:31;3807:1;3799:6;3795:14;3788:55;3671:179;:::o;3856:366::-;3998:3;4019:67;4083:2;4078:3;4019:67;:::i;:::-;4012:74;;4095:93;4184:3;4095:93;:::i;:::-;4213:2;4208:3;4204:12;4197:19;;3856:366;;;:::o;4228:419::-;4394:4;4432:2;4421:9;4417:18;4409:26;;4481:9;4475:4;4471:20;4467:1;4456:9;4452:17;4445:47;4509:131;4635:4;4509:131;:::i;:::-;4501:139;;4228:419;;;:::o;4653:168::-;4793:20;4789:1;4781:6;4777:14;4770:44;4653:168;:::o;4827:366::-;4969:3;4990:67;5054:2;5049:3;4990:67;:::i;:::-;4983:74;;5066:93;5155:3;5066:93;:::i;:::-;5184:2;5179:3;5175:12;5168:19;;4827:366;;;:::o;5199:419::-;5365:4;5403:2;5392:9;5388:18;5380:26;;5452:9;5446:4;5442:20;5438:1;5427:9;5423:17;5416:47;5480:131;5606:4;5480:131;:::i;:::-;5472:139;;5199:419;;;:::o;5624:233::-;5663:3;5686:24;5704:5;5686:24;:::i;:::-;5677:33;;5732:66;5725:5;5722:77;5719:103;;5802:18;;:::i;:::-;5719:103;5849:1;5842:5;5838:13;5831:20;;5624:233;;;:::o;5863:111::-;5927:6;5961:5;5955:12;5945:22;;5863:111;;;:::o;5980:184::-;6079:11;6113:6;6108:3;6101:19;6153:4;6148:3;6144:14;6129:29;;5980:184;;;;:::o;6170:156::-;6234:4;6257:3;6249:11;;6280:3;6277:1;6270:14;6314:4;6311:1;6301:18;6293:26;;6170:156;;;:::o;6332:108::-;6409:24;6427:5;6409:24;:::i;:::-;6404:3;6397:37;6332:108;;:::o;6446:179::-;6515:10;6536:46;6578:3;6570:6;6536:46;:::i;:::-;6614:4;6609:3;6605:14;6591:28;;6446:179;;;;:::o;6631:102::-;6673:8;6720:5;6717:1;6713:13;6692:34;;6631:102;;;:::o;6739:139::-;6789:7;6829:42;6822:5;6818:54;6807:65;;6739:139;;;:::o;6884:166::-;6953:5;6978:66;7009:34;7032:10;7009:34;:::i;:::-;6978:66;:::i;:::-;6969:75;;6884:166;;;:::o;7056:144::-;7111:5;7136:57;7187:4;7181:11;7136:57;:::i;:::-;7127:66;;7056:144;;;:::o;7206:110::-;7273:4;7305;7300:3;7296:14;7288:22;;7206:110;;;:::o;7352:751::-;7468:3;7497:51;7542:5;7497:51;:::i;:::-;7564:86;7643:6;7638:3;7564:86;:::i;:::-;7557:93;;7674:53;7721:5;7674:53;:::i;:::-;7750:7;7781:1;7766:312;7791:6;7788:1;7785:13;7766:312;;;7861:44;7898:6;7861:44;:::i;:::-;7925:63;7984:3;7969:13;7925:63;:::i;:::-;7918:70;;8011:57;8061:6;8011:57;:::i;:::-;8001:67;;7826:252;7813:1;7810;7806:9;7801:14;;7766:312;;;7770:14;8094:3;8087:10;;7473:630;;;7352:751;;;;:::o;8109:477::-;8277:4;8315:2;8304:9;8300:18;8292:26;;8328:71;8396:1;8385:9;8381:17;8372:6;8328:71;:::i;:::-;8446:9;8440:4;8436:20;8431:2;8420:9;8416:18;8409:48;8474:105;8574:4;8565:6;8474:105;:::i;:::-;8466:113;;8109:477;;;;;:::o

ipfs://530bc49ec94ae24d79de4e55be8ee0236cc948054fe891f5a1314edd2d571c8a