Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at fraxscan.com on 2024-11-26
*/

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

contract VotingSystem {
    struct Proposal {
        string name; // Nom de la proposition
        uint256 voteCount; // Nombre de votes reçus
    }

    address public owner; // Adresse de l'administrateur
    mapping(address => bool) public hasVoted; // Suivi des votants
    Proposal[] public proposals; // Liste des propositions

    event ProposalAdded(string name); // Événement pour l'ajout d'une proposition
    event Voted(address indexed voter, uint256 proposalIndex); // Événement pour un vote
    event WinnerAnnounced(string name, uint256 voteCount); // Événement pour l'annonce du gagnant

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

    constructor() {
        owner = msg.sender;
    }

    /// @notice Ajouter une nouvelle proposition
    /// @param name Nom de la proposition
    function addProposal(string memory name) external onlyOwner {
        proposals.push(Proposal({name: name, voteCount: 0}));
        emit ProposalAdded(name);
    }

    /// @notice Voter pour une proposition
    /// @param proposalIndex L'index de la proposition dans la liste
    function vote(uint256 proposalIndex) external {
        require(!hasVoted[msg.sender], "You have already voted.");
        require(proposalIndex < proposals.length, "Invalid proposal index.");

        hasVoted[msg.sender] = true;
        proposals[proposalIndex].voteCount += 1;

        emit Voted(msg.sender, proposalIndex);
    }

    /// @notice Obtenir la proposition gagnante (fonction interne)
    /// @return winnerIndex Index de la proposition gagnante
    function getWinnerIndex() internal view returns (uint256 winnerIndex) {
        require(proposals.length > 0, "No proposals available.");

        uint256 highestVoteCount = 0;
        winnerIndex = 0;

        for (uint256 i = 0; i < proposals.length; i++) {
            if (proposals[i].voteCount > highestVoteCount) {
                highestVoteCount = proposals[i].voteCount;
                winnerIndex = i;
            }
        }
    }

    /// @notice Annoncer publiquement le gagnant via un événement
    function announceWinner() external onlyOwner {
        require(proposals.length > 0, "No proposals available.");

        uint256 winnerIndex = getWinnerIndex();
        Proposal memory winner = proposals[winnerIndex];

        emit WinnerAnnounced(winner.name, winner.voteCount);
    }

    /// @notice Obtenir une proposition par index
    /// @param index L'index de la proposition
    /// @return name Nom de la proposition
    /// @return voteCount Nombre de votes de la proposition
    function getProposal(uint256 index) external view returns (string memory name, uint256 voteCount) {
        require(index < proposals.length, "Invalid proposal index.");
        Proposal memory proposal = proposals[index];
        return (proposal.name, proposal.voteCount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"name","type":"string"}],"name":"ProposalAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"voter","type":"address"},{"indexed":false,"internalType":"uint256","name":"proposalIndex","type":"uint256"}],"name":"Voted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"name","type":"string"},{"indexed":false,"internalType":"uint256","name":"voteCount","type":"uint256"}],"name":"WinnerAnnounced","type":"event"},{"inputs":[{"internalType":"string","name":"name","type":"string"}],"name":"addProposal","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"announceWinner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"getProposal","outputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"uint256","name":"voteCount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"hasVoted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"proposals","outputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"uint256","name":"voteCount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"proposalIndex","type":"uint256"}],"name":"vote","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061115d806100606000396000f3fe608060405234801561001057600080fd5b506004361061007d5760003560e01c80632d8cd0961161005b5780632d8cd096146100ff5780632fdae3c5146101095780638da5cb5b14610125578063c7f758a8146101435761007d565b80630121b93f14610082578063013cf08b1461009e57806309eef43e146100cf575b600080fd5b61009c60048036038101906100979190610bab565b610174565b005b6100b860048036038101906100b39190610bab565b610353565b6040516100c6929190610db8565b60405180910390f35b6100e960048036038101906100e49190610b41565b61040f565b6040516100f69190610d7b565b60405180910390f35b61010761042f565b005b610123600480360381019061011e9190610b6a565b610649565b005b61012d61077b565b60405161013a9190610d60565b60405180910390f35b61015d60048036038101906101589190610bab565b61079f565b60405161016b929190610db8565b60405180910390f35b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610201576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101f890610e08565b60405180910390fd5b6002805490508110610248576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161023f90610e48565b60405180910390fd5b60018060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600282815481106102db577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906002020160010160008282546102fb9190610f00565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167f4d99b957a2bc29a30ebd96a7be8e68fe50a3c701db28a91436490b7d53870ca4826040516103489190610e68565b60405180910390a250565b6002818154811061036357600080fd5b906000526020600020906002020160009150905080600001805461038690610fe0565b80601f01602080910402602001604051908101604052809291908181526020018280546103b290610fe0565b80156103ff5780601f106103d4576101008083540402835291602001916103ff565b820191906000526020600020905b8154815290600101906020018083116103e257829003601f168201915b5050505050908060010154905082565b60016020528060005260406000206000915054906101000a900460ff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b490610e28565b60405180910390fd5b600060028054905011610505576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104fc90610de8565b60405180910390fd5b600061050f6108f1565b905060006002828154811061054d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906002020160405180604001604052908160008201805461057690610fe0565b80601f01602080910402602001604051908101604052809291908181526020018280546105a290610fe0565b80156105ef5780601f106105c4576101008083540402835291602001916105ef565b820191906000526020600020905b8154815290600101906020018083116105d257829003601f168201915b5050505050815260200160018201548152505090507fb1a01b22f51de76267702340dcbbe92d7ef8f62107b13f658efc7a051192af198160000151826020015160405161063d929190610db8565b60405180910390a15050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ce90610e28565b60405180910390fd5b60026040518060400160405280838152602001600081525090806001815401808255809150506001900390600052602060002090600202016000909190919091506000820151816000019080519060200190610734929190610a0c565b506020820151816001015550507f7e462b77205d9bc889740e6a08a3415c6040322fa001a664ca7838319e80d5f9816040516107709190610d96565b60405180910390a150565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6060600060028054905083106107ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e190610e48565b60405180910390fd5b600060028481548110610826577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906002020160405180604001604052908160008201805461084f90610fe0565b80601f016020809104026020016040519081016040528092919081815260200182805461087b90610fe0565b80156108c85780601f1061089d576101008083540402835291602001916108c8565b820191906000526020600020905b8154815290600101906020018083116108ab57829003601f168201915b505050505081526020016001820154815250509050806000015181602001519250925050915091565b6000806002805490501161093a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093190610de8565b60405180910390fd5b600080915060005b600280549050811015610a0757816002828154811061098a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600202016001015411156109f457600281815481106109dc577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600202016001015491508092505b80806109ff90611012565b915050610942565b505090565b828054610a1890610fe0565b90600052602060002090601f016020900481019282610a3a5760008555610a81565b82601f10610a5357805160ff1916838001178555610a81565b82800160010185558215610a81579182015b82811115610a80578251825591602001919060010190610a65565b5b509050610a8e9190610a92565b5090565b5b80821115610aab576000816000905550600101610a93565b5090565b6000610ac2610abd84610eb4565b610e83565b905082815260208101848484011115610ada57600080fd5b610ae5848285610f9e565b509392505050565b600081359050610afc816110f9565b92915050565b600082601f830112610b1357600080fd5b8135610b23848260208601610aaf565b91505092915050565b600081359050610b3b81611110565b92915050565b600060208284031215610b5357600080fd5b6000610b6184828501610aed565b91505092915050565b600060208284031215610b7c57600080fd5b600082013567ffffffffffffffff811115610b9657600080fd5b610ba284828501610b02565b91505092915050565b600060208284031215610bbd57600080fd5b6000610bcb84828501610b2c565b91505092915050565b610bdd81610f56565b82525050565b610bec81610f68565b82525050565b6000610bfd82610ee4565b610c078185610eef565b9350610c17818560208601610fad565b610c20816110e8565b840191505092915050565b6000610c38601783610eef565b91507f4e6f2070726f706f73616c7320617661696c61626c652e0000000000000000006000830152602082019050919050565b6000610c78601783610eef565b91507f596f75206861766520616c726561647920766f7465642e0000000000000000006000830152602082019050919050565b6000610cb8602783610eef565b91507f4f6e6c7920746865206f776e65722063616e20706572666f726d20746869732060008301527f616374696f6e2e000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610d1e601783610eef565b91507f496e76616c69642070726f706f73616c20696e6465782e0000000000000000006000830152602082019050919050565b610d5a81610f94565b82525050565b6000602082019050610d756000830184610bd4565b92915050565b6000602082019050610d906000830184610be3565b92915050565b60006020820190508181036000830152610db08184610bf2565b905092915050565b60006040820190508181036000830152610dd28185610bf2565b9050610de16020830184610d51565b9392505050565b60006020820190508181036000830152610e0181610c2b565b9050919050565b60006020820190508181036000830152610e2181610c6b565b9050919050565b60006020820190508181036000830152610e4181610cab565b9050919050565b60006020820190508181036000830152610e6181610d11565b9050919050565b6000602082019050610e7d6000830184610d51565b92915050565b6000604051905081810181811067ffffffffffffffff82111715610eaa57610ea96110b9565b5b8060405250919050565b600067ffffffffffffffff821115610ecf57610ece6110b9565b5b601f19601f8301169050602081019050919050565b600081519050919050565b600082825260208201905092915050565b6000610f0b82610f94565b9150610f1683610f94565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610f4b57610f4a61105b565b5b828201905092915050565b6000610f6182610f74565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015610fcb578082015181840152602081019050610fb0565b83811115610fda576000848401525b50505050565b60006002820490506001821680610ff857607f821691505b6020821081141561100c5761100b61108a565b5b50919050565b600061101d82610f94565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156110505761104f61105b565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b61110281610f56565b811461110d57600080fd5b50565b61111981610f94565b811461112457600080fd5b5056fea26469706673582212202218441c6242c4ec9051c63ada192e6abaee81362cf0866cc313231015db4d1764736f6c63430008000033

0x608060405234801561001057600080fd5b506004361061007d5760003560e01c80632d8cd0961161005b5780632d8cd096146100ff5780632fdae3c5146101095780638da5cb5b14610125578063c7f758a8146101435761007d565b80630121b93f14610082578063013cf08b1461009e57806309eef43e146100cf575b600080fd5b61009c60048036038101906100979190610bab565b610174565b005b6100b860048036038101906100b39190610bab565b610353565b6040516100c6929190610db8565b60405180910390f35b6100e960048036038101906100e49190610b41565b61040f565b6040516100f69190610d7b565b60405180910390f35b61010761042f565b005b610123600480360381019061011e9190610b6a565b610649565b005b61012d61077b565b60405161013a9190610d60565b60405180910390f35b61015d60048036038101906101589190610bab565b61079f565b60405161016b929190610db8565b60405180910390f35b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610201576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101f890610e08565b60405180910390fd5b6002805490508110610248576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161023f90610e48565b60405180910390fd5b60018060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600282815481106102db577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906002020160010160008282546102fb9190610f00565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167f4d99b957a2bc29a30ebd96a7be8e68fe50a3c701db28a91436490b7d53870ca4826040516103489190610e68565b60405180910390a250565b6002818154811061036357600080fd5b906000526020600020906002020160009150905080600001805461038690610fe0565b80601f01602080910402602001604051908101604052809291908181526020018280546103b290610fe0565b80156103ff5780601f106103d4576101008083540402835291602001916103ff565b820191906000526020600020905b8154815290600101906020018083116103e257829003601f168201915b5050505050908060010154905082565b60016020528060005260406000206000915054906101000a900460ff1681565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104bd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b490610e28565b60405180910390fd5b600060028054905011610505576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104fc90610de8565b60405180910390fd5b600061050f6108f1565b905060006002828154811061054d577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906002020160405180604001604052908160008201805461057690610fe0565b80601f01602080910402602001604051908101604052809291908181526020018280546105a290610fe0565b80156105ef5780601f106105c4576101008083540402835291602001916105ef565b820191906000526020600020905b8154815290600101906020018083116105d257829003601f168201915b5050505050815260200160018201548152505090507fb1a01b22f51de76267702340dcbbe92d7ef8f62107b13f658efc7a051192af198160000151826020015160405161063d929190610db8565b60405180910390a15050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106ce90610e28565b60405180910390fd5b60026040518060400160405280838152602001600081525090806001815401808255809150506001900390600052602060002090600202016000909190919091506000820151816000019080519060200190610734929190610a0c565b506020820151816001015550507f7e462b77205d9bc889740e6a08a3415c6040322fa001a664ca7838319e80d5f9816040516107709190610d96565b60405180910390a150565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6060600060028054905083106107ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e190610e48565b60405180910390fd5b600060028481548110610826577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020906002020160405180604001604052908160008201805461084f90610fe0565b80601f016020809104026020016040519081016040528092919081815260200182805461087b90610fe0565b80156108c85780601f1061089d576101008083540402835291602001916108c8565b820191906000526020600020905b8154815290600101906020018083116108ab57829003601f168201915b505050505081526020016001820154815250509050806000015181602001519250925050915091565b6000806002805490501161093a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093190610de8565b60405180910390fd5b600080915060005b600280549050811015610a0757816002828154811061098a577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600202016001015411156109f457600281815481106109dc577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002090600202016001015491508092505b80806109ff90611012565b915050610942565b505090565b828054610a1890610fe0565b90600052602060002090601f016020900481019282610a3a5760008555610a81565b82601f10610a5357805160ff1916838001178555610a81565b82800160010185558215610a81579182015b82811115610a80578251825591602001919060010190610a65565b5b509050610a8e9190610a92565b5090565b5b80821115610aab576000816000905550600101610a93565b5090565b6000610ac2610abd84610eb4565b610e83565b905082815260208101848484011115610ada57600080fd5b610ae5848285610f9e565b509392505050565b600081359050610afc816110f9565b92915050565b600082601f830112610b1357600080fd5b8135610b23848260208601610aaf565b91505092915050565b600081359050610b3b81611110565b92915050565b600060208284031215610b5357600080fd5b6000610b6184828501610aed565b91505092915050565b600060208284031215610b7c57600080fd5b600082013567ffffffffffffffff811115610b9657600080fd5b610ba284828501610b02565b91505092915050565b600060208284031215610bbd57600080fd5b6000610bcb84828501610b2c565b91505092915050565b610bdd81610f56565b82525050565b610bec81610f68565b82525050565b6000610bfd82610ee4565b610c078185610eef565b9350610c17818560208601610fad565b610c20816110e8565b840191505092915050565b6000610c38601783610eef565b91507f4e6f2070726f706f73616c7320617661696c61626c652e0000000000000000006000830152602082019050919050565b6000610c78601783610eef565b91507f596f75206861766520616c726561647920766f7465642e0000000000000000006000830152602082019050919050565b6000610cb8602783610eef565b91507f4f6e6c7920746865206f776e65722063616e20706572666f726d20746869732060008301527f616374696f6e2e000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610d1e601783610eef565b91507f496e76616c69642070726f706f73616c20696e6465782e0000000000000000006000830152602082019050919050565b610d5a81610f94565b82525050565b6000602082019050610d756000830184610bd4565b92915050565b6000602082019050610d906000830184610be3565b92915050565b60006020820190508181036000830152610db08184610bf2565b905092915050565b60006040820190508181036000830152610dd28185610bf2565b9050610de16020830184610d51565b9392505050565b60006020820190508181036000830152610e0181610c2b565b9050919050565b60006020820190508181036000830152610e2181610c6b565b9050919050565b60006020820190508181036000830152610e4181610cab565b9050919050565b60006020820190508181036000830152610e6181610d11565b9050919050565b6000602082019050610e7d6000830184610d51565b92915050565b6000604051905081810181811067ffffffffffffffff82111715610eaa57610ea96110b9565b5b8060405250919050565b600067ffffffffffffffff821115610ecf57610ece6110b9565b5b601f19601f8301169050602081019050919050565b600081519050919050565b600082825260208201905092915050565b6000610f0b82610f94565b9150610f1683610f94565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610f4b57610f4a61105b565b5b828201905092915050565b6000610f6182610f74565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015610fcb578082015181840152602081019050610fb0565b83811115610fda576000848401525b50505050565b60006002820490506001821680610ff857607f821691505b6020821081141561100c5761100b61108a565b5b50919050565b600061101d82610f94565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156110505761104f61105b565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b61110281610f56565b811461110d57600080fd5b50565b61111981610f94565b811461112457600080fd5b5056fea26469706673582212202218441c6242c4ec9051c63ada192e6abaee81362cf0866cc313231015db4d1764736f6c63430008000033

60:3003:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1261:341;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;348:27;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;280:40;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2271:293;;;:::i;:::-;;973:166;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;222:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2776:284;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;1261:341;1327:8;:20;1336:10;1327:20;;;;;;;;;;;;;;;;;;;;;;;;;1326:21;1318:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;1410:9;:16;;;;1394:13;:32;1386:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1490:4;1467:8;:20;1476:10;1467:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;1543:1;1505:9;1515:13;1505:24;;;;;;;;;;;;;;;;;;;;;;;;;;:34;;;:39;;;;;;;:::i;:::-;;;;;;;;1568:10;1562:32;;;1580:13;1562:32;;;;;;:::i;:::-;;;;;;;;1261:341;:::o;348:27::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;280:40::-;;;;;;;;;;;;;;;;;;;;;;:::o;2271:293::-;744:5;;;;;;;;;;730:19;;:10;:19;;;722:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;2354:1:::1;2335:9;:16;;;;:20;2327:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;2396:19;2418:16;:14;:16::i;:::-;2396:38;;2445:22;2470:9;2480:11;2470:22;;;;;;;;;;;;;;;;;;;;;;;;;;2445:47;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;2510:46;2526:6;:11;;;2539:6;:16;;;2510:46;;;;;;;:::i;:::-;;;;;;;;804:1;;2271:293::o:0;973:166::-;744:5;;;;;;;;;;730:19;;:10;:19;;;722:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;1044:9:::1;1059:36;;;;;;;;1075:4;1059:36;;;;1092:1;1059:36;;::::0;1044:52:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;1112:19;1126:4;1112:19;;;;;;:::i;:::-;;;;;;;;973:166:::0;:::o;222:20::-;;;;;;;;;;;;:::o;2776:284::-;2835:18;2855:17;2901:9;:16;;;;2893:5;:24;2885:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;2956:24;2983:9;2993:5;2983:16;;;;;;;;;;;;;;;;;;;;;;;;;;2956:43;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3018:8;:13;;;3033:8;:18;;;3010:42;;;;;2776:284;;;:::o;1740:454::-;1789:19;1848:1;1829:9;:16;;;;:20;1821:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;1890:24;1943:1;1929:15;;1962:9;1957:230;1981:9;:16;;;;1977:1;:20;1957:230;;;2048:16;2023:9;2033:1;2023:12;;;;;;;;;;;;;;;;;;;;;;;;;;:22;;;:41;2019:157;;;2104:9;2114:1;2104:12;;;;;;;;;;;;;;;;;;;;;;;;;;:22;;;2085:41;;2159:1;2145:15;;2019:157;1999:3;;;;;:::i;:::-;;;;1957:230;;;;1740:454;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:344:1:-;;110:65;125:49;167:6;125:49;:::i;:::-;110:65;:::i;:::-;101:74;;198:6;191:5;184:21;236:4;229:5;225:16;274:3;265:6;260:3;256:16;253:25;250:2;;;291:1;288;281:12;250:2;304:41;338:6;333:3;328;304:41;:::i;:::-;91:260;;;;;;:::o;357:139::-;;441:6;428:20;419:29;;457:33;484:5;457:33;:::i;:::-;409:87;;;;:::o;516:273::-;;621:3;614:4;606:6;602:17;598:27;588:2;;639:1;636;629:12;588:2;679:6;666:20;704:79;779:3;771:6;764:4;756:6;752:17;704:79;:::i;:::-;695:88;;578:211;;;;;:::o;795:139::-;;879:6;866:20;857:29;;895:33;922:5;895:33;:::i;:::-;847:87;;;;:::o;940:262::-;;1048:2;1036:9;1027:7;1023:23;1019:32;1016:2;;;1064:1;1061;1054:12;1016:2;1107:1;1132:53;1177:7;1168:6;1157:9;1153:22;1132:53;:::i;:::-;1122:63;;1078:117;1006:196;;;;:::o;1208:375::-;;1326:2;1314:9;1305:7;1301:23;1297:32;1294:2;;;1342:1;1339;1332:12;1294:2;1413:1;1402:9;1398:17;1385:31;1443:18;1435:6;1432:30;1429:2;;;1475:1;1472;1465:12;1429:2;1503:63;1558:7;1549:6;1538:9;1534:22;1503:63;:::i;:::-;1493:73;;1356:220;1284:299;;;;:::o;1589:262::-;;1697:2;1685:9;1676:7;1672:23;1668:32;1665:2;;;1713:1;1710;1703:12;1665:2;1756:1;1781:53;1826:7;1817:6;1806:9;1802:22;1781:53;:::i;:::-;1771:63;;1727:117;1655:196;;;;:::o;1857:118::-;1944:24;1962:5;1944:24;:::i;:::-;1939:3;1932:37;1922:53;;:::o;1981:109::-;2062:21;2077:5;2062:21;:::i;:::-;2057:3;2050:34;2040:50;;:::o;2096:364::-;;2212:39;2245:5;2212:39;:::i;:::-;2267:71;2331:6;2326:3;2267:71;:::i;:::-;2260:78;;2347:52;2392:6;2387:3;2380:4;2373:5;2369:16;2347:52;:::i;:::-;2424:29;2446:6;2424:29;:::i;:::-;2419:3;2415:39;2408:46;;2188:272;;;;;:::o;2466:321::-;;2629:67;2693:2;2688:3;2629:67;:::i;:::-;2622:74;;2726:25;2722:1;2717:3;2713:11;2706:46;2778:2;2773:3;2769:12;2762:19;;2612:175;;;:::o;2793:321::-;;2956:67;3020:2;3015:3;2956:67;:::i;:::-;2949:74;;3053:25;3049:1;3044:3;3040:11;3033:46;3105:2;3100:3;3096:12;3089:19;;2939:175;;;:::o;3120:371::-;;3283:67;3347:2;3342:3;3283:67;:::i;:::-;3276:74;;3380:34;3376:1;3371:3;3367:11;3360:55;3446:9;3441:2;3436:3;3432:12;3425:31;3482:2;3477:3;3473:12;3466:19;;3266:225;;;:::o;3497:321::-;;3660:67;3724:2;3719:3;3660:67;:::i;:::-;3653:74;;3757:25;3753:1;3748:3;3744:11;3737:46;3809:2;3804:3;3800:12;3793:19;;3643:175;;;:::o;3824:118::-;3911:24;3929:5;3911:24;:::i;:::-;3906:3;3899:37;3889:53;;:::o;3948:222::-;;4079:2;4068:9;4064:18;4056:26;;4092:71;4160:1;4149:9;4145:17;4136:6;4092:71;:::i;:::-;4046:124;;;;:::o;4176:210::-;;4301:2;4290:9;4286:18;4278:26;;4314:65;4376:1;4365:9;4361:17;4352:6;4314:65;:::i;:::-;4268:118;;;;:::o;4392:313::-;;4543:2;4532:9;4528:18;4520:26;;4592:9;4586:4;4582:20;4578:1;4567:9;4563:17;4556:47;4620:78;4693:4;4684:6;4620:78;:::i;:::-;4612:86;;4510:195;;;;:::o;4711:423::-;;4890:2;4879:9;4875:18;4867:26;;4939:9;4933:4;4929:20;4925:1;4914:9;4910:17;4903:47;4967:78;5040:4;5031:6;4967:78;:::i;:::-;4959:86;;5055:72;5123:2;5112:9;5108:18;5099:6;5055:72;:::i;:::-;4857:277;;;;;:::o;5140:419::-;;5344:2;5333:9;5329:18;5321:26;;5393:9;5387:4;5383:20;5379:1;5368:9;5364:17;5357:47;5421:131;5547:4;5421:131;:::i;:::-;5413:139;;5311:248;;;:::o;5565:419::-;;5769:2;5758:9;5754:18;5746:26;;5818:9;5812:4;5808:20;5804:1;5793:9;5789:17;5782:47;5846:131;5972:4;5846:131;:::i;:::-;5838:139;;5736:248;;;:::o;5990:419::-;;6194:2;6183:9;6179:18;6171:26;;6243:9;6237:4;6233:20;6229:1;6218:9;6214:17;6207:47;6271:131;6397:4;6271:131;:::i;:::-;6263:139;;6161:248;;;:::o;6415:419::-;;6619:2;6608:9;6604:18;6596:26;;6668:9;6662:4;6658:20;6654:1;6643:9;6639:17;6632:47;6696:131;6822:4;6696:131;:::i;:::-;6688:139;;6586:248;;;:::o;6840:222::-;;6971:2;6960:9;6956:18;6948:26;;6984:71;7052:1;7041:9;7037:17;7028:6;6984:71;:::i;:::-;6938:124;;;;:::o;7068:283::-;;7134:2;7128:9;7118:19;;7176:4;7168:6;7164:17;7283:6;7271:10;7268:22;7247:18;7235:10;7232:34;7229:62;7226:2;;;7294:18;;:::i;:::-;7226:2;7334:10;7330:2;7323:22;7108:243;;;;:::o;7357:332::-;;7509:18;7501:6;7498:30;7495:2;;;7531:18;;:::i;:::-;7495:2;7616:4;7612:9;7605:4;7597:6;7593:17;7589:33;7581:41;;7677:4;7671;7667:15;7659:23;;7424:265;;;:::o;7695:99::-;;7781:5;7775:12;7765:22;;7754:40;;;:::o;7800:169::-;;7918:6;7913:3;7906:19;7958:4;7953:3;7949:14;7934:29;;7896:73;;;;:::o;7975:305::-;;8034:20;8052:1;8034:20;:::i;:::-;8029:25;;8068:20;8086:1;8068:20;:::i;:::-;8063:25;;8222:1;8154:66;8150:74;8147:1;8144:81;8141:2;;;8228:18;;:::i;:::-;8141:2;8272:1;8269;8265:9;8258:16;;8019:261;;;;:::o;8286:96::-;;8352:24;8370:5;8352:24;:::i;:::-;8341:35;;8331:51;;;:::o;8388:90::-;;8465:5;8458:13;8451:21;8440:32;;8430:48;;;:::o;8484:126::-;;8561:42;8554:5;8550:54;8539:65;;8529:81;;;:::o;8616:77::-;;8682:5;8671:16;;8661:32;;;:::o;8699:154::-;8783:6;8778:3;8773;8760:30;8845:1;8836:6;8831:3;8827:16;8820:27;8750:103;;;:::o;8859:307::-;8927:1;8937:113;8951:6;8948:1;8945:13;8937:113;;;9036:1;9031:3;9027:11;9021:18;9017:1;9012:3;9008:11;9001:39;8973:2;8970:1;8966:10;8961:15;;8937:113;;;9068:6;9065:1;9062:13;9059:2;;;9148:1;9139:6;9134:3;9130:16;9123:27;9059:2;8908:258;;;;:::o;9172:320::-;;9253:1;9247:4;9243:12;9233:22;;9300:1;9294:4;9290:12;9321:18;9311:2;;9377:4;9369:6;9365:17;9355:27;;9311:2;9439;9431:6;9428:14;9408:18;9405:38;9402:2;;;9458:18;;:::i;:::-;9402:2;9223:269;;;;:::o;9498:233::-;;9560:24;9578:5;9560:24;:::i;:::-;9551:33;;9606:66;9599:5;9596:77;9593:2;;;9676:18;;:::i;:::-;9593:2;9723:1;9716:5;9712:13;9705:20;;9541:190;;;:::o;9737:180::-;9785:77;9782:1;9775:88;9882:4;9879:1;9872:15;9906:4;9903:1;9896:15;9923:180;9971:77;9968:1;9961:88;10068:4;10065:1;10058:15;10092:4;10089:1;10082:15;10109:180;10157:77;10154:1;10147:88;10254:4;10251:1;10244:15;10278:4;10275:1;10268:15;10295:102;;10387:2;10383:7;10378:2;10371:5;10367:14;10363:28;10353:38;;10343:54;;;:::o;10403:122::-;10476:24;10494:5;10476:24;:::i;:::-;10469:5;10466:35;10456:2;;10515:1;10512;10505:12;10456:2;10446:79;:::o;10531:122::-;10604:24;10622:5;10604:24;:::i;:::-;10597:5;10594:35;10584:2;;10643:1;10640;10633:12;10584:2;10574:79;:::o

ipfs://2218441c6242c4ec9051c63ada192e6abaee81362cf0866cc313231015db4d17