Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Lottery *
•    - function enter(uint256 n)
•    - function random()
•    - function getTicketCount(address ticke ...
•    - function pickWinner()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

// Website: https://kekw.gg/
// telegram: https://t.me/kekw_gg
// X: https://x.com/kekw_gg

pragma solidity ^0.8.18;

contract Lottery {
    address public manager;
    address public previousWinner;
    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 getTicketCount(address ticketAddress)
        public
        view
        returns (uint256)
    {
        uint256 count = 0;
        for (uint256 i = 0; i < players.length; i++) {
            if (players[i] == ticketAddress) {
                count += 1;
            }
        }
        return count;
    }

    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);
        previousWinner = players[index];
        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":[{"internalType":"address","name":"ticketAddress","type":"address"}],"name":"getTicketCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"previousWinner","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"}]

6080604052605a600355600354606461001891906100b1565b600455662386f26fc1000060055534801561003257600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506100e5565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006100bc82610078565b91506100c783610078565b92508282039050818111156100df576100de610082565b5b92915050565b610d67806100f46000396000f3fe6080604052600436106100865760003560e01c80635d495aea116100595780635d495aea14610137578063a59f3e0c1461014e578063cff82e221461016a578063f71d96cb146101a7578063fc58c39d146101e457610086565b80631209b1f61461008b5780633a6a9831146100b6578063481c6a75146100e15780635c6059ee1461010c575b600080fd5b34801561009757600080fd5b506100a061020f565b6040516100ad91906107ea565b60405180910390f35b3480156100c257600080fd5b506100cb610215565b6040516100d891906107ea565b60405180910390f35b3480156100ed57600080fd5b506100f661021b565b6040516101039190610846565b60405180910390f35b34801561011857600080fd5b5061012161023f565b60405161012e9190610846565b60405180910390f35b34801561014357600080fd5b5061014c610265565b005b61016860048036038101906101639190610892565b6104e5565b005b34801561017657600080fd5b50610191600480360381019061018c91906108eb565b6105fc565b60405161019e91906107ea565b60405180910390f35b3480156101b357600080fd5b506101ce60048036038101906101c99190610892565b6106b1565b6040516101db9190610846565b60405180910390f35b3480156101f057600080fd5b506101f96106f0565b60405161020691906107ea565b60405180910390f35b60055481565b60035481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146102bd57600080fd5b60006064600354476102cf9190610947565b6102d991906109b8565b905060006064600454476102ed9190610947565b6102f791906109b8565b905060006002805490506103096106f6565b61031391906109e9565b90506002818154811061032957610328610a1a565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc849081150290604051600060405180830381858888f19350505050158015610399573d6000803e3d6000fd5b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015610400573d6000803e3d6000fd5b506002818154811061041557610414610a1a565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600067ffffffffffffffff81111561049b5761049a610a49565b5b6040519080825280602002602001820160405280156104c95781602001602082028036833780820191505090505b50600290805190602001906104df92919061072a565b50505050565b60008111610528576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051f90610ad5565b60405180910390fd5b600554816105369190610947565b3414610577576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161056e90610b41565b60405180910390fd5b60005b818110156105f8576002339080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080806105f090610b61565b91505061057a565b5050565b6000806000905060005b6002805490508110156106a7578373ffffffffffffffffffffffffffffffffffffffff166002828154811061063e5761063d610a1a565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610694576001826106919190610ba9565b91505b808061069f90610b61565b915050610606565b5080915050919050565b600281815481106106c157600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60045481565b600042600260405160200161070c929190610d01565b6040516020818303038152906040528051906020012060001c905090565b8280548282559060005260206000209081019282156107a3579160200282015b828111156107a25782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509160200191906001019061074a565b5b5090506107b091906107b4565b5090565b5b808211156107cd5760008160009055506001016107b5565b5090565b6000819050919050565b6107e4816107d1565b82525050565b60006020820190506107ff60008301846107db565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061083082610805565b9050919050565b61084081610825565b82525050565b600060208201905061085b6000830184610837565b92915050565b600080fd5b61086f816107d1565b811461087a57600080fd5b50565b60008135905061088c81610866565b92915050565b6000602082840312156108a8576108a7610861565b5b60006108b68482850161087d565b91505092915050565b6108c881610825565b81146108d357600080fd5b50565b6000813590506108e5816108bf565b92915050565b60006020828403121561090157610900610861565b5b600061090f848285016108d6565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610952826107d1565b915061095d836107d1565b925082820261096b816107d1565b9150828204841483151761098257610981610918565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006109c3826107d1565b91506109ce836107d1565b9250826109de576109dd610989565b5b828204905092915050565b60006109f4826107d1565b91506109ff836107d1565b925082610a0f57610a0e610989565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082825260208201905092915050565b7f4d696e696d756d2031207469636b65742069732072657175697265642e000000600082015250565b6000610abf601d83610a78565b9150610aca82610a89565b602082019050919050565b60006020820190508181036000830152610aee81610ab2565b9050919050565b7f416d6f756e7420697320696e76616c69642e0000000000000000000000000000600082015250565b6000610b2b601283610a78565b9150610b3682610af5565b602082019050919050565b60006020820190508181036000830152610b5a81610b1e565b9050919050565b6000610b6c826107d1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610b9e57610b9d610918565b5b600182019050919050565b6000610bb4826107d1565b9150610bbf836107d1565b9250828201905080821115610bd757610bd6610918565b5b92915050565b600081549050919050565b600082825260208201905092915050565b60008190508160005260206000209050919050565b610c1781610825565b82525050565b6000610c298383610c0e565b60208301905092915050565b60008160001c9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610c75610c7083610c35565b610c42565b9050919050565b6000610c888254610c62565b9050919050565b6000600182019050919050565b6000610ca782610bdd565b610cb18185610be8565b9350610cbc83610bf9565b8060005b83811015610cf457610cd182610c7c565b610cdb8882610c1d565b9750610ce683610c8f565b925050600181019050610cc0565b5085935050505092915050565b6000604082019050610d1660008301856107db565b8181036020830152610d288184610c9c565b9050939250505056fea26469706673582212203709e0bdd06c8c58e0a76cd7958914d23dbbfa09f5559f3ac2500ff0bab63c5e64736f6c63430008120033

0x6080604052600436106100865760003560e01c80635d495aea116100595780635d495aea14610137578063a59f3e0c1461014e578063cff82e221461016a578063f71d96cb146101a7578063fc58c39d146101e457610086565b80631209b1f61461008b5780633a6a9831146100b6578063481c6a75146100e15780635c6059ee1461010c575b600080fd5b34801561009757600080fd5b506100a061020f565b6040516100ad91906107ea565b60405180910390f35b3480156100c257600080fd5b506100cb610215565b6040516100d891906107ea565b60405180910390f35b3480156100ed57600080fd5b506100f661021b565b6040516101039190610846565b60405180910390f35b34801561011857600080fd5b5061012161023f565b60405161012e9190610846565b60405180910390f35b34801561014357600080fd5b5061014c610265565b005b61016860048036038101906101639190610892565b6104e5565b005b34801561017657600080fd5b50610191600480360381019061018c91906108eb565b6105fc565b60405161019e91906107ea565b60405180910390f35b3480156101b357600080fd5b506101ce60048036038101906101c99190610892565b6106b1565b6040516101db9190610846565b60405180910390f35b3480156101f057600080fd5b506101f96106f0565b60405161020691906107ea565b60405180910390f35b60055481565b60035481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146102bd57600080fd5b60006064600354476102cf9190610947565b6102d991906109b8565b905060006064600454476102ed9190610947565b6102f791906109b8565b905060006002805490506103096106f6565b61031391906109e9565b90506002818154811061032957610328610a1a565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc849081150290604051600060405180830381858888f19350505050158015610399573d6000803e3d6000fd5b5060008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015610400573d6000803e3d6000fd5b506002818154811061041557610414610a1a565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600067ffffffffffffffff81111561049b5761049a610a49565b5b6040519080825280602002602001820160405280156104c95781602001602082028036833780820191505090505b50600290805190602001906104df92919061072a565b50505050565b60008111610528576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051f90610ad5565b60405180910390fd5b600554816105369190610947565b3414610577576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161056e90610b41565b60405180910390fd5b60005b818110156105f8576002339080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080806105f090610b61565b91505061057a565b5050565b6000806000905060005b6002805490508110156106a7578373ffffffffffffffffffffffffffffffffffffffff166002828154811061063e5761063d610a1a565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610694576001826106919190610ba9565b91505b808061069f90610b61565b915050610606565b5080915050919050565b600281815481106106c157600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60045481565b600042600260405160200161070c929190610d01565b6040516020818303038152906040528051906020012060001c905090565b8280548282559060005260206000209081019282156107a3579160200282015b828111156107a25782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509160200191906001019061074a565b5b5090506107b091906107b4565b5090565b5b808211156107cd5760008160009055506001016107b5565b5090565b6000819050919050565b6107e4816107d1565b82525050565b60006020820190506107ff60008301846107db565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061083082610805565b9050919050565b61084081610825565b82525050565b600060208201905061085b6000830184610837565b92915050565b600080fd5b61086f816107d1565b811461087a57600080fd5b50565b60008135905061088c81610866565b92915050565b6000602082840312156108a8576108a7610861565b5b60006108b68482850161087d565b91505092915050565b6108c881610825565b81146108d357600080fd5b50565b6000813590506108e5816108bf565b92915050565b60006020828403121561090157610900610861565b5b600061090f848285016108d6565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610952826107d1565b915061095d836107d1565b925082820261096b816107d1565b9150828204841483151761098257610981610918565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006109c3826107d1565b91506109ce836107d1565b9250826109de576109dd610989565b5b828204905092915050565b60006109f4826107d1565b91506109ff836107d1565b925082610a0f57610a0e610989565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600082825260208201905092915050565b7f4d696e696d756d2031207469636b65742069732072657175697265642e000000600082015250565b6000610abf601d83610a78565b9150610aca82610a89565b602082019050919050565b60006020820190508181036000830152610aee81610ab2565b9050919050565b7f416d6f756e7420697320696e76616c69642e0000000000000000000000000000600082015250565b6000610b2b601283610a78565b9150610b3682610af5565b602082019050919050565b60006020820190508181036000830152610b5a81610b1e565b9050919050565b6000610b6c826107d1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203610b9e57610b9d610918565b5b600182019050919050565b6000610bb4826107d1565b9150610bbf836107d1565b9250828201905080821115610bd757610bd6610918565b5b92915050565b600081549050919050565b600082825260208201905092915050565b60008190508160005260206000209050919050565b610c1781610825565b82525050565b6000610c298383610c0e565b60208301905092915050565b60008160001c9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610c75610c7083610c35565b610c42565b9050919050565b6000610c888254610c62565b9050919050565b6000600182019050919050565b6000610ca782610bdd565b610cb18185610be8565b9350610cbc83610bf9565b8060005b83811015610cf457610cd182610c7c565b610cdb8882610c1d565b9750610ce683610c8f565b925050600181019050610cc0565b5085935050505092915050565b6000604082019050610d1660008301856107db565b8181036020830152610d288184610c9c565b9050939250505056fea26469706673582212203709e0bdd06c8c58e0a76cd7958914d23dbbfa09f5559f3ac2500ff0bab63c5e64736f6c63430008120033

159:1602:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;372:39;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;281:31;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;183:22;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;212:29;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1233:434;;;;;;;;;;;;;:::i;:::-;;481:270;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;898:327;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;248:24;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;319:44;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;372:39;;;;:::o;281:31::-;;;;:::o;183:22::-;;;;;;;;;;;;:::o;212:29::-;;;;;;;;;;;;;:::o;1233:434::-;1730:7;;;;;;;;;;1716:21;;:10;:21;;;1708:30;;;;;;1284:20:::1;1347:3;1332:11;;1308:21;:35;;;;:::i;:::-;1307:43;;;;:::i;:::-;1284:66;;1361:18;1420:3;1407:9;;1383:21;:33;;;;:::i;:::-;1382:41;;;;:::i;:::-;1361:62;;1434:13;1461:7;:14;;;;1450:8;:6;:8::i;:::-;:25;;;;:::i;:::-;1434:41;;1494:7;1502:5;1494:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1486:32;;:46;1519:12;1486:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;1551:7;::::0;::::1;;;;;;;;1543:25;;:37;1569:10;1543:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;1608:7;1616:5;1608:14;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1591;;:31;;;;;;;;;;;;;;;;;;1657:1;1643:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1633:7;:26;;;;;;;;;;;;:::i;:::-;;1273:394;;;1233:434::o:0;481:270::-;545:1;541;:5;533:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;616:11;;612:1;:15;;;;:::i;:::-;599:9;:28;591:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;666:9;661:83;685:1;681;:5;661:83;;;708:7;721:10;708:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;688:3;;;;;:::i;:::-;;;;661:83;;;;481:270;:::o;898:327::-;993:7;1018:13;1034:1;1018:17;;1051:9;1046:149;1070:7;:14;;;;1066:1;:18;1046:149;;;1124:13;1110:27;;:7;1118:1;1110:10;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;:27;;;1106:78;;1167:1;1158:10;;;;;:::i;:::-;;;1106:78;1086:3;;;;;:::i;:::-;;;;1046:149;;;;1212:5;1205:12;;;898:327;;;:::o;248:24::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;319:44::-;;;;:::o;759:131::-;799:7;855:15;872:7;844:36;;;;;;;;;:::i;:::-;;;;;;;;;;;;;834:47;;;;;;826:56;;819:63;;759: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:122::-;2036:24;2054:5;2036:24;:::i;:::-;2029:5;2026:35;2016:63;;2075:1;2072;2065:12;2016:63;1963:122;:::o;2091:139::-;2137:5;2175:6;2162:20;2153:29;;2191:33;2218:5;2191:33;:::i;:::-;2091:139;;;;:::o;2236:329::-;2295:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:119;;;2350:79;;:::i;:::-;2312:119;2470:1;2495:53;2540:7;2531:6;2520:9;2516:22;2495:53;:::i;:::-;2485:63;;2441:117;2236:329;;;;:::o;2571:180::-;2619:77;2616:1;2609:88;2716:4;2713:1;2706:15;2740:4;2737:1;2730:15;2757:410;2797:7;2820:20;2838:1;2820:20;:::i;:::-;2815:25;;2854:20;2872:1;2854:20;:::i;:::-;2849:25;;2909:1;2906;2902:9;2931:30;2949:11;2931:30;:::i;:::-;2920:41;;3110:1;3101:7;3097:15;3094:1;3091:22;3071:1;3064:9;3044:83;3021:139;;3140:18;;:::i;:::-;3021:139;2805:362;2757:410;;;;:::o;3173:180::-;3221:77;3218:1;3211:88;3318:4;3315:1;3308:15;3342:4;3339:1;3332:15;3359:185;3399:1;3416:20;3434:1;3416:20;:::i;:::-;3411:25;;3450:20;3468:1;3450:20;:::i;:::-;3445:25;;3489:1;3479:35;;3494:18;;:::i;:::-;3479:35;3536:1;3533;3529:9;3524:14;;3359:185;;;;:::o;3550:176::-;3582:1;3599:20;3617:1;3599:20;:::i;:::-;3594:25;;3633:20;3651:1;3633:20;:::i;:::-;3628:25;;3672:1;3662:35;;3677:18;;:::i;:::-;3662:35;3718:1;3715;3711:9;3706:14;;3550:176;;;;:::o;3732:180::-;3780:77;3777:1;3770:88;3877:4;3874:1;3867:15;3901:4;3898:1;3891:15;3918:180;3966:77;3963:1;3956:88;4063:4;4060:1;4053:15;4087:4;4084:1;4077:15;4104:169;4188:11;4222:6;4217:3;4210:19;4262:4;4257:3;4253:14;4238:29;;4104:169;;;;:::o;4279:179::-;4419:31;4415:1;4407:6;4403:14;4396:55;4279:179;:::o;4464:366::-;4606:3;4627:67;4691:2;4686:3;4627:67;:::i;:::-;4620:74;;4703:93;4792:3;4703:93;:::i;:::-;4821:2;4816:3;4812:12;4805:19;;4464:366;;;:::o;4836:419::-;5002:4;5040:2;5029:9;5025:18;5017:26;;5089:9;5083:4;5079:20;5075:1;5064:9;5060:17;5053:47;5117:131;5243:4;5117:131;:::i;:::-;5109:139;;4836:419;;;:::o;5261:168::-;5401:20;5397:1;5389:6;5385:14;5378:44;5261:168;:::o;5435:366::-;5577:3;5598:67;5662:2;5657:3;5598:67;:::i;:::-;5591:74;;5674:93;5763:3;5674:93;:::i;:::-;5792:2;5787:3;5783:12;5776:19;;5435:366;;;:::o;5807:419::-;5973:4;6011:2;6000:9;5996:18;5988:26;;6060:9;6054:4;6050:20;6046:1;6035:9;6031:17;6024:47;6088:131;6214:4;6088:131;:::i;:::-;6080:139;;5807:419;;;:::o;6232:233::-;6271:3;6294:24;6312:5;6294:24;:::i;:::-;6285:33;;6340:66;6333:5;6330:77;6327:103;;6410:18;;:::i;:::-;6327:103;6457:1;6450:5;6446:13;6439:20;;6232:233;;;:::o;6471:191::-;6511:3;6530:20;6548:1;6530:20;:::i;:::-;6525:25;;6564:20;6582:1;6564:20;:::i;:::-;6559:25;;6607:1;6604;6600:9;6593:16;;6628:3;6625:1;6622:10;6619:36;;;6635:18;;:::i;:::-;6619:36;6471:191;;;;:::o;6668:111::-;6732:6;6766:5;6760:12;6750:22;;6668:111;;;:::o;6785:184::-;6884:11;6918:6;6913:3;6906:19;6958:4;6953:3;6949:14;6934:29;;6785:184;;;;:::o;6975:156::-;7039:4;7062:3;7054:11;;7085:3;7082:1;7075:14;7119:4;7116:1;7106:18;7098:26;;6975:156;;;:::o;7137:108::-;7214:24;7232:5;7214:24;:::i;:::-;7209:3;7202:37;7137:108;;:::o;7251:179::-;7320:10;7341:46;7383:3;7375:6;7341:46;:::i;:::-;7419:4;7414:3;7410:14;7396:28;;7251:179;;;;:::o;7436:102::-;7478:8;7525:5;7522:1;7518:13;7497:34;;7436:102;;;:::o;7544:139::-;7594:7;7634:42;7627:5;7623:54;7612:65;;7544:139;;;:::o;7689:166::-;7758:5;7783:66;7814:34;7837:10;7814:34;:::i;:::-;7783:66;:::i;:::-;7774:75;;7689:166;;;:::o;7861:144::-;7916:5;7941:57;7992:4;7986:11;7941:57;:::i;:::-;7932:66;;7861:144;;;:::o;8011:110::-;8078:4;8110;8105:3;8101:14;8093:22;;8011:110;;;:::o;8157:751::-;8273:3;8302:51;8347:5;8302:51;:::i;:::-;8369:86;8448:6;8443:3;8369:86;:::i;:::-;8362:93;;8479:53;8526:5;8479:53;:::i;:::-;8555:7;8586:1;8571:312;8596:6;8593:1;8590:13;8571:312;;;8666:44;8703:6;8666:44;:::i;:::-;8730:63;8789:3;8774:13;8730:63;:::i;:::-;8723:70;;8816:57;8866:6;8816:57;:::i;:::-;8806:67;;8631:252;8618:1;8615;8611:9;8606:14;;8571:312;;;8575:14;8899:3;8892:10;;8278:630;;;8157:751;;;;:::o;8914:477::-;9082:4;9120:2;9109:9;9105:18;9097:26;;9133:71;9201:1;9190:9;9186:17;9177:6;9133:71;:::i;:::-;9251:9;9245:4;9241:20;9236:2;9225:9;9221:18;9214:48;9279:105;9379:4;9370:6;9279:105;:::i;:::-;9271:113;;8914:477;;;;;:::o

ipfs://3709e0bdd06c8c58e0a76cd7958914d23dbbfa09f5559f3ac2500ff0bab63c5e