Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

// Metaverse soccer in the era of web3.0 

pragma solidity ^0.8.4;

import "./IERC20.sol";

contract SOMA is IERC20 {

    mapping(address => uint256) public override balanceOf;

    mapping(address => mapping(address => uint256)) public override allowance;

    uint256 public override totalSupply;  

    string public name;   
    string public symbol;  
    
    uint8 public decimals = 18; 

    constructor(string memory name_, string memory symbol_){
        name = name_;
        symbol = symbol_;
    }

   
    function transfer(address recipient, uint amount) external override returns (bool) {
        balanceOf[msg.sender] -= amount;
        balanceOf[recipient] += amount;
        emit Transfer(msg.sender, recipient, amount);
        return true;
    }

  
    function approve(address spender, uint amount) external override returns (bool) {
        allowance[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    
    function transferFrom(
        address sender,
        address recipient,
        uint amount
    ) external override returns (bool) {
        allowance[sender][msg.sender] -= amount;
        balanceOf[sender] -= amount;
        balanceOf[recipient] += amount;
        emit Transfer(sender, recipient, amount);
        return true;
    }

   
    function mint(uint amount) external {
        balanceOf[msg.sender] += amount;
        totalSupply += amount;
        emit Transfer(address(0), msg.sender, amount);
    }

   
    function burn(uint amount) external {
        balanceOf[msg.sender] -= amount;
        totalSupply -= amount;
        emit Transfer(msg.sender, address(0), amount);
    }

}

// SPDX-License-Identifier: MIT


pragma solidity ^0.8.4;


interface IERC20 {
    
    event Transfer(address indexed from, address indexed to, uint256 value);

    
    event Approval(address indexed owner, address indexed spender, uint256 value);

    
    function totalSupply() external view returns (uint256);

    
    function balanceOf(address account) external view returns (uint256);

  
    function transfer(address to, uint256 amount) external returns (bool);

    
    function allowance(address owner, address spender) external view returns (uint256);

    
    function approve(address spender, uint256 amount) external returns (bool);

  
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526012600560006101000a81548160ff021916908360ff1602179055503480156200002d57600080fd5b506040516200111b3803806200111b8339818101604052810190620000539190620001af565b81600390805190602001906200006b9291906200008d565b508060049080519060200190620000849291906200008d565b50505062000392565b8280546200009b90620002b7565b90600052602060002090601f016020900481019282620000bf57600085556200010b565b82601f10620000da57805160ff19168380011785556200010b565b828001600101855582156200010b579182015b828111156200010a578251825591602001919060010190620000ed565b5b5090506200011a91906200011e565b5090565b5b80821115620001395760008160009055506001016200011f565b5090565b6000620001546200014e846200024b565b62000222565b9050828152602081018484840111156200016d57600080fd5b6200017a84828562000281565b509392505050565b600082601f8301126200019457600080fd5b8151620001a68482602086016200013d565b91505092915050565b60008060408385031215620001c357600080fd5b600083015167ffffffffffffffff811115620001de57600080fd5b620001ec8582860162000182565b925050602083015167ffffffffffffffff8111156200020a57600080fd5b620002188582860162000182565b9150509250929050565b60006200022e62000241565b90506200023c8282620002ed565b919050565b6000604051905090565b600067ffffffffffffffff82111562000269576200026862000352565b5b620002748262000381565b9050602081019050919050565b60005b83811015620002a157808201518184015260208101905062000284565b83811115620002b1576000848401525b50505050565b60006002820490506001821680620002d057607f821691505b60208210811415620002e757620002e662000323565b5b50919050565b620002f88262000381565b810181811067ffffffffffffffff821117156200031a576200031962000352565b5b80604052505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b610d7980620003a26000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c806342966c681161007157806342966c681461016857806370a082311461018457806395d89b41146101b4578063a0712d68146101d2578063a9059cbb146101ee578063dd62ed3e1461021e576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b661024e565b6040516100c39190610aee565b60405180910390f35b6100e660048036038101906100e19190610a08565b6102dc565b6040516100f39190610ad3565b60405180910390f35b6101046103ce565b6040516101119190610b10565b60405180910390f35b610134600480360381019061012f91906109b9565b6103d4565b6040516101419190610ad3565b60405180910390f35b610152610583565b60405161015f9190610b2b565b60405180910390f35b610182600480360381019061017d9190610a44565b610596565b005b61019e60048036038101906101999190610954565b61066d565b6040516101ab9190610b10565b60405180910390f35b6101bc610685565b6040516101c99190610aee565b60405180910390f35b6101ec60048036038101906101e79190610a44565b610713565b005b61020860048036038101906102039190610a08565b6107ea565b6040516102159190610ad3565b60405180910390f35b6102386004803603810190610233919061097d565b610905565b6040516102459190610b10565b60405180910390f35b6003805461025b90610c74565b80601f016020809104026020016040519081016040528092919081815260200182805461028790610c74565b80156102d45780601f106102a9576101008083540402835291602001916102d4565b820191906000526020600020905b8154815290600101906020018083116102b757829003601f168201915b505050505081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103bc9190610b10565b60405180910390a36001905092915050565b60025481565b600081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104629190610bb8565b92505081905550816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104b79190610bb8565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461050c9190610b62565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516105709190610b10565b60405180910390a3600190509392505050565b600560009054906101000a900460ff1681565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105e49190610bb8565b9250508190555080600260008282546105fd9190610bb8565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516106629190610b10565b60405180910390a350565b60006020528060005260406000206000915090505481565b6004805461069290610c74565b80601f01602080910402602001604051908101604052809291908181526020018280546106be90610c74565b801561070b5780601f106106e05761010080835404028352916020019161070b565b820191906000526020600020905b8154815290600101906020018083116106ee57829003601f168201915b505050505081565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107619190610b62565b92505081905550806002600082825461077a9190610b62565b925050819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516107df9190610b10565b60405180910390a350565b6000816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461083a9190610bb8565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461088f9190610b62565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108f39190610b10565b60405180910390a36001905092915050565b6001602052816000526040600020602052806000526040600020600091509150505481565b60008135905061093981610d15565b92915050565b60008135905061094e81610d2c565b92915050565b60006020828403121561096657600080fd5b60006109748482850161092a565b91505092915050565b6000806040838503121561099057600080fd5b600061099e8582860161092a565b92505060206109af8582860161092a565b9150509250929050565b6000806000606084860312156109ce57600080fd5b60006109dc8682870161092a565b93505060206109ed8682870161092a565b92505060406109fe8682870161093f565b9150509250925092565b60008060408385031215610a1b57600080fd5b6000610a298582860161092a565b9250506020610a3a8582860161093f565b9150509250929050565b600060208284031215610a5657600080fd5b6000610a648482850161093f565b91505092915050565b610a7681610bfe565b82525050565b6000610a8782610b46565b610a918185610b51565b9350610aa1818560208601610c41565b610aaa81610d04565b840191505092915050565b610abe81610c2a565b82525050565b610acd81610c34565b82525050565b6000602082019050610ae86000830184610a6d565b92915050565b60006020820190508181036000830152610b088184610a7c565b905092915050565b6000602082019050610b256000830184610ab5565b92915050565b6000602082019050610b406000830184610ac4565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610b6d82610c2a565b9150610b7883610c2a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610bad57610bac610ca6565b5b828201905092915050565b6000610bc382610c2a565b9150610bce83610c2a565b925082821015610be157610be0610ca6565b5b828203905092915050565b6000610bf782610c0a565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610c5f578082015181840152602081019050610c44565b83811115610c6e576000848401525b50505050565b60006002820490506001821680610c8c57607f821691505b60208210811415610ca057610c9f610cd5565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b610d1e81610bec565b8114610d2957600080fd5b50565b610d3581610c2a565b8114610d4057600080fd5b5056fea2646970667358221220fdf8603219cb483332bbaacaf2b53225009032f07f9cd153d1632a2c5bcb2c6164736f6c63430008040033000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000008464f4f5442414c4c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024654000000000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c806342966c681161007157806342966c681461016857806370a082311461018457806395d89b41146101b4578063a0712d68146101d2578063a9059cbb146101ee578063dd62ed3e1461021e576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd146100fc57806323b872dd1461011a578063313ce5671461014a575b600080fd5b6100b661024e565b6040516100c39190610aee565b60405180910390f35b6100e660048036038101906100e19190610a08565b6102dc565b6040516100f39190610ad3565b60405180910390f35b6101046103ce565b6040516101119190610b10565b60405180910390f35b610134600480360381019061012f91906109b9565b6103d4565b6040516101419190610ad3565b60405180910390f35b610152610583565b60405161015f9190610b2b565b60405180910390f35b610182600480360381019061017d9190610a44565b610596565b005b61019e60048036038101906101999190610954565b61066d565b6040516101ab9190610b10565b60405180910390f35b6101bc610685565b6040516101c99190610aee565b60405180910390f35b6101ec60048036038101906101e79190610a44565b610713565b005b61020860048036038101906102039190610a08565b6107ea565b6040516102159190610ad3565b60405180910390f35b6102386004803603810190610233919061097d565b610905565b6040516102459190610b10565b60405180910390f35b6003805461025b90610c74565b80601f016020809104026020016040519081016040528092919081815260200182805461028790610c74565b80156102d45780601f106102a9576101008083540402835291602001916102d4565b820191906000526020600020905b8154815290600101906020018083116102b757829003601f168201915b505050505081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103bc9190610b10565b60405180910390a36001905092915050565b60025481565b600081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104629190610bb8565b92505081905550816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104b79190610bb8565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461050c9190610b62565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516105709190610b10565b60405180910390a3600190509392505050565b600560009054906101000a900460ff1681565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105e49190610bb8565b9250508190555080600260008282546105fd9190610bb8565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516106629190610b10565b60405180910390a350565b60006020528060005260406000206000915090505481565b6004805461069290610c74565b80601f01602080910402602001604051908101604052809291908181526020018280546106be90610c74565b801561070b5780601f106106e05761010080835404028352916020019161070b565b820191906000526020600020905b8154815290600101906020018083116106ee57829003601f168201915b505050505081565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107619190610b62565b92505081905550806002600082825461077a9190610b62565b925050819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516107df9190610b10565b60405180910390a350565b6000816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461083a9190610bb8565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461088f9190610b62565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108f39190610b10565b60405180910390a36001905092915050565b6001602052816000526040600020602052806000526040600020600091509150505481565b60008135905061093981610d15565b92915050565b60008135905061094e81610d2c565b92915050565b60006020828403121561096657600080fd5b60006109748482850161092a565b91505092915050565b6000806040838503121561099057600080fd5b600061099e8582860161092a565b92505060206109af8582860161092a565b9150509250929050565b6000806000606084860312156109ce57600080fd5b60006109dc8682870161092a565b93505060206109ed8682870161092a565b92505060406109fe8682870161093f565b9150509250925092565b60008060408385031215610a1b57600080fd5b6000610a298582860161092a565b9250506020610a3a8582860161093f565b9150509250929050565b600060208284031215610a5657600080fd5b6000610a648482850161093f565b91505092915050565b610a7681610bfe565b82525050565b6000610a8782610b46565b610a918185610b51565b9350610aa1818560208601610c41565b610aaa81610d04565b840191505092915050565b610abe81610c2a565b82525050565b610acd81610c34565b82525050565b6000602082019050610ae86000830184610a6d565b92915050565b60006020820190508181036000830152610b088184610a7c565b905092915050565b6000602082019050610b256000830184610ab5565b92915050565b6000602082019050610b406000830184610ac4565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610b6d82610c2a565b9150610b7883610c2a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610bad57610bac610ca6565b5b828201905092915050565b6000610bc382610c2a565b9150610bce83610c2a565b925082821015610be157610be0610ca6565b5b828203905092915050565b6000610bf782610c0a565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610c5f578082015181840152602081019050610c44565b83811115610c6e576000848401525b50505050565b60006002820490506001821680610c8c57607f821691505b60208210811415610ca057610c9f610cd5565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b610d1e81610bec565b8114610d2957600080fd5b50565b610d3581610c2a565b8114610d4057600080fd5b5056fea2646970667358221220fdf8603219cb483332bbaacaf2b53225009032f07f9cd153d1632a2c5bcb2c6164736f6c63430008040033

000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000000008464f4f5442414c4c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024654000000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name_ (string): FOOTBALL
Arg [1] : symbol_ (string): FT

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000040
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000008
Arg [3] : 464f4f5442414c4c000000000000000000000000000000000000000000000000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000002
Arg [5] : 4654000000000000000000000000000000000000000000000000000000000000

125:1604:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;340:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;809:209;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;296:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1029:337;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;400:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1556:170;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;156:53;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;367:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1376:170;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;554:246;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;216:73;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;340:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;809:209::-;883:4;932:6;899:9;:21;909:10;899:21;;;;;;;;;;;;;;;:30;921:7;899:30;;;;;;;;;;;;;;;:39;;;;974:7;953:37;;962:10;953:37;;;983:6;953:37;;;;;;:::i;:::-;;;;;;;;1007:4;1000:11;;809:209;;;;:::o;296:35::-;;;;:::o;1029:337::-;1156:4;1205:6;1172:9;:17;1182:6;1172:17;;;;;;;;;;;;;;;:29;1190:10;1172:29;;;;;;;;;;;;;;;;:39;;;;;;;:::i;:::-;;;;;;;;1242:6;1221:9;:17;1231:6;1221:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;1282:6;1258:9;:20;1268:9;1258:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;1320:9;1303:35;;1312:6;1303:35;;;1331:6;1303:35;;;;;;:::i;:::-;;;;;;;;1355:4;1348:11;;1029:337;;;;;:::o;400:26::-;;;;;;;;;;;;;:::o;1556:170::-;1627:6;1602:9;:21;1612:10;1602:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;1658:6;1643:11;;:21;;;;;;;:::i;:::-;;;;;;;;1708:1;1679:40;;1688:10;1679:40;;;1712:6;1679:40;;;;;;:::i;:::-;;;;;;;;1556:170;:::o;156:53::-;;;;;;;;;;;;;;;;;:::o;367:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1376:170::-;1447:6;1422:9;:21;1432:10;1422:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;1478:6;1463:11;;:21;;;;;;;:::i;:::-;;;;;;;;1520:10;1499:40;;1516:1;1499:40;;;1532:6;1499:40;;;;;;:::i;:::-;;;;;;;;1376:170;:::o;554:246::-;631:4;672:6;647:9;:21;657:10;647:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;712:6;688:9;:20;698:9;688:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;754:9;733:39;;742:10;733:39;;;765:6;733:39;;;;;;:::i;:::-;;;;;;;;789:4;782:11;;554:246;;;;:::o;216:73::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:139:2:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;633:6;641;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;1055:6;1063;1071;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;1604:6;1612;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:262::-;2008:6;2057:2;2045:9;2036:7;2032:23;2028:32;2025:2;;;2073:1;2070;2063:12;2025:2;2116:1;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2087:117;2015:196;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2276:50;;:::o;2332:364::-;2420:3;2448:39;2481:5;2448:39;:::i;:::-;2503:71;2567:6;2562:3;2503:71;:::i;:::-;2496:78;;2583:52;2628:6;2623:3;2616:4;2609:5;2605:16;2583:52;:::i;:::-;2660:29;2682:6;2660:29;:::i;:::-;2655:3;2651:39;2644:46;;2424:272;;;;;:::o;2702:118::-;2789:24;2807:5;2789:24;:::i;:::-;2784:3;2777:37;2767:53;;:::o;2826:112::-;2909:22;2925:5;2909:22;:::i;:::-;2904:3;2897:35;2887:51;;:::o;2944:210::-;3031:4;3069:2;3058:9;3054:18;3046:26;;3082:65;3144:1;3133:9;3129:17;3120:6;3082:65;:::i;:::-;3036:118;;;;:::o;3160:313::-;3273:4;3311:2;3300:9;3296:18;3288:26;;3360:9;3354:4;3350:20;3346:1;3335:9;3331:17;3324:47;3388:78;3461:4;3452:6;3388:78;:::i;:::-;3380:86;;3278:195;;;;:::o;3479:222::-;3572:4;3610:2;3599:9;3595:18;3587:26;;3623:71;3691:1;3680:9;3676:17;3667:6;3623:71;:::i;:::-;3577:124;;;;:::o;3707:214::-;3796:4;3834:2;3823:9;3819:18;3811:26;;3847:67;3911:1;3900:9;3896:17;3887:6;3847:67;:::i;:::-;3801:120;;;;:::o;3927:99::-;3979:6;4013:5;4007:12;3997:22;;3986:40;;;:::o;4032:169::-;4116:11;4150:6;4145:3;4138:19;4190:4;4185:3;4181:14;4166:29;;4128:73;;;;:::o;4207:305::-;4247:3;4266:20;4284:1;4266:20;:::i;:::-;4261:25;;4300:20;4318:1;4300:20;:::i;:::-;4295:25;;4454:1;4386:66;4382:74;4379:1;4376:81;4373:2;;;4460:18;;:::i;:::-;4373:2;4504:1;4501;4497:9;4490:16;;4251:261;;;;:::o;4518:191::-;4558:4;4578:20;4596:1;4578:20;:::i;:::-;4573:25;;4612:20;4630:1;4612:20;:::i;:::-;4607:25;;4651:1;4648;4645:8;4642:2;;;4656:18;;:::i;:::-;4642:2;4701:1;4698;4694:9;4686:17;;4563:146;;;;:::o;4715:96::-;4752:7;4781:24;4799:5;4781:24;:::i;:::-;4770:35;;4760:51;;;:::o;4817:90::-;4851:7;4894:5;4887:13;4880:21;4869:32;;4859:48;;;:::o;4913:126::-;4950:7;4990:42;4983:5;4979:54;4968:65;;4958:81;;;:::o;5045:77::-;5082:7;5111:5;5100:16;;5090:32;;;:::o;5128:86::-;5163:7;5203:4;5196:5;5192:16;5181:27;;5171:43;;;:::o;5220:307::-;5288:1;5298:113;5312:6;5309:1;5306:13;5298:113;;;5397:1;5392:3;5388:11;5382:18;5378:1;5373:3;5369:11;5362:39;5334:2;5331:1;5327:10;5322:15;;5298:113;;;5429:6;5426:1;5423:13;5420:2;;;5509:1;5500:6;5495:3;5491:16;5484:27;5420:2;5269:258;;;;:::o;5533:320::-;5577:6;5614:1;5608:4;5604:12;5594:22;;5661:1;5655:4;5651:12;5682:18;5672:2;;5738:4;5730:6;5726:17;5716:27;;5672:2;5800;5792:6;5789:14;5769:18;5766:38;5763:2;;;5819:18;;:::i;:::-;5763:2;5584:269;;;;:::o;5859:180::-;5907:77;5904:1;5897:88;6004:4;6001:1;5994:15;6028:4;6025:1;6018:15;6045:180;6093:77;6090:1;6083:88;6190:4;6187:1;6180:15;6214:4;6211:1;6204:15;6231:102;6272:6;6323:2;6319:7;6314:2;6307:5;6303:14;6299:28;6289:38;;6279:54;;;:::o;6339:122::-;6412:24;6430:5;6412:24;:::i;:::-;6405:5;6402:35;6392:2;;6451:1;6448;6441:12;6392:2;6382:79;:::o;6467:122::-;6540:24;6558:5;6540:24;:::i;:::-;6533:5;6530:35;6520:2;;6579:1;6576;6569:12;6520:2;6510:79;:::o

ipfs://fdf8603219cb483332bbaacaf2b53225009032f07f9cd153d1632a2c5bcb2c61