Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Token *    - function transfer(address _to, uint25 ...    - function _transfer(address _from, add ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-04
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.21;
/// Bugs Bunny Token contract

contract Token {
    string public name;
    string public symbol;
    uint256 public decimals;
    uint256 public totalSupply;
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    constructor(string memory _name, string memory _symbol, uint _decimals, uint _totalSupply) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply = _totalSupply; 
        balanceOf[msg.sender] = totalSupply;    }


function transfer(address _to, uint256 _value) external returns (bool success) {
        require(balanceOf[msg.sender] >= _value);
        _transfer(msg.sender, _to, _value);
        return true;  }


function _transfer(address _from, address _to, uint256 _value) internal {
        require(_to != address(0));
        balanceOf[_from] = balanceOf[_from] - (_value);
        balanceOf[_to] = balanceOf[_to] + (_value);
        emit Transfer(_from, _to, _value);    }


function approve(address _spender, uint256 _value) external returns (bool) {
        require(_spender != address(0));
        allowance[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;    }


function transferFrom(address _from, address _to, uint256 _value) external returns (bool) {
        require(_value <= balanceOf[_from]);
        require(_value <= allowance[_from][msg.sender]);
        allowance[_from][msg.sender] = allowance[_from][msg.sender] - (_value);
        _transfer(_from, _to, _value);
        return true;    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint256","name":"_decimals","type":"uint256"},{"internalType":"uint256","name":"_totalSupply","type":"uint256"}],"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":"_value","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":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801562000010575f80fd5b506040516200126338038062001263833981810160405281019062000036919062000272565b835f90816200004691906200054d565b5082600190816200005891906200054d565b50816002819055508060038190555060035460045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505050505062000631565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6200011682620000ce565b810181811067ffffffffffffffff82111715620001385762000137620000de565b5b80604052505050565b5f6200014c620000b5565b90506200015a82826200010b565b919050565b5f67ffffffffffffffff8211156200017c576200017b620000de565b5b6200018782620000ce565b9050602081019050919050565b5f5b83811015620001b357808201518184015260208101905062000196565b5f8484015250505050565b5f620001d4620001ce846200015f565b62000141565b905082815260208101848484011115620001f357620001f2620000ca565b5b6200020084828562000194565b509392505050565b5f82601f8301126200021f576200021e620000c6565b5b815162000231848260208601620001be565b91505092915050565b5f819050919050565b6200024e816200023a565b811462000259575f80fd5b50565b5f815190506200026c8162000243565b92915050565b5f805f80608085870312156200028d576200028c620000be565b5b5f85015167ffffffffffffffff811115620002ad57620002ac620000c2565b5b620002bb8782880162000208565b945050602085015167ffffffffffffffff811115620002df57620002de620000c2565b5b620002ed8782880162000208565b935050604062000300878288016200025c565b925050606062000313878288016200025c565b91505092959194509250565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200036e57607f821691505b60208210810362000384576200038362000329565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003e87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003ab565b620003f48683620003ab565b95508019841693508086168417925050509392505050565b5f819050919050565b5f620004356200042f62000429846200023a565b6200040c565b6200023a565b9050919050565b5f819050919050565b620004508362000415565b620004686200045f826200043c565b848454620003b7565b825550505050565b5f90565b6200047e62000470565b6200048b81848462000445565b505050565b5b81811015620004b257620004a65f8262000474565b60018101905062000491565b5050565b601f8211156200050157620004cb816200038a565b620004d6846200039c565b81016020851015620004e6578190505b620004fe620004f5856200039c565b83018262000490565b50505b505050565b5f82821c905092915050565b5f620005235f198460080262000506565b1980831691505092915050565b5f6200053d838362000512565b9150826002028217905092915050565b62000558826200031f565b67ffffffffffffffff811115620005745762000573620000de565b5b62000580825462000356565b6200058d828285620004b6565b5f60209050601f831160018114620005c3575f8415620005ae578287015190505b620005ba858262000530565b86555062000629565b601f198416620005d3866200038a565b5f5b82811015620005fc57848901518255600182019150602085019450602081019050620005d5565b868310156200061c578489015162000618601f89168262000512565b8355505b6001600288020188555050505b505050505050565b610c24806200063f5f395ff3fe608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa91906108fb565b60405180910390f35b6100cd60048036038101906100c891906109ac565b610288565b6040516100da9190610a04565b60405180910390f35b6100eb6103ac565b6040516100f89190610a2c565b60405180910390f35b61011b60048036038101906101169190610a45565b6103b2565b6040516101289190610a04565b60405180910390f35b610139610596565b6040516101469190610a2c565b60405180910390f35b61016960048036038101906101649190610a95565b61059c565b6040516101769190610a2c565b60405180910390f35b6101876105b1565b60405161019491906108fb565b60405180910390f35b6101b760048036038101906101b291906109ac565b61063d565b6040516101c49190610a04565b60405180910390f35b6101e760048036038101906101e29190610ac0565b61069c565b6040516101f49190610a2c565b60405180910390f35b5f805461020990610b2b565b80601f016020809104026020016040519081016040528092919081815260200182805461023590610b2b565b80156102805780601f1061025757610100808354040283529160200191610280565b820191905f5260205f20905b81548152906001019060200180831161026357829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102c0575f80fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161039a9190610a2c565b60405180910390a36001905092915050565b60035481565b5f60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548211156103fc575f80fd5b60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610480575f80fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546105049190610b88565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061058b8484846106bc565b600190509392505050565b60025481565b6004602052805f5260405f205f915090505481565b600180546105be90610b2b565b80601f01602080910402602001604051908101604052809291908181526020018280546105ea90610b2b565b80156106355780601f1061060c57610100808354040283529160200191610635565b820191905f5260205f20905b81548152906001019060200180831161061857829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610687575f80fd5b6106923384846106bc565b6001905092915050565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036106f3575f80fd5b8060045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461073c9190610b88565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508060045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546107c69190610bbb565b60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108649190610a2c565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156108a857808201518184015260208101905061088d565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6108cd82610871565b6108d7818561087b565b93506108e781856020860161088b565b6108f0816108b3565b840191505092915050565b5f6020820190508181035f83015261091381846108c3565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6109488261091f565b9050919050565b6109588161093e565b8114610962575f80fd5b50565b5f813590506109738161094f565b92915050565b5f819050919050565b61098b81610979565b8114610995575f80fd5b50565b5f813590506109a681610982565b92915050565b5f80604083850312156109c2576109c161091b565b5b5f6109cf85828601610965565b92505060206109e085828601610998565b9150509250929050565b5f8115159050919050565b6109fe816109ea565b82525050565b5f602082019050610a175f8301846109f5565b92915050565b610a2681610979565b82525050565b5f602082019050610a3f5f830184610a1d565b92915050565b5f805f60608486031215610a5c57610a5b61091b565b5b5f610a6986828701610965565b9350506020610a7a86828701610965565b9250506040610a8b86828701610998565b9150509250925092565b5f60208284031215610aaa57610aa961091b565b5b5f610ab784828501610965565b91505092915050565b5f8060408385031215610ad657610ad561091b565b5b5f610ae385828601610965565b9250506020610af485828601610965565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610b4257607f821691505b602082108103610b5557610b54610afe565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610b9282610979565b9150610b9d83610979565b9250828203905081811115610bb557610bb4610b5b565b5b92915050565b5f610bc582610979565b9150610bd083610979565b9250828201905080821115610be857610be7610b5b565b5b9291505056fea2646970667358221220e428e9e6d155c59e504e7880d248d3ce2ae5146bc726175dece58821199faf1764736f6c63430008150033000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000000120000000000000000000000000000000000000001431e0fae6d7217caa0000000000000000000000000000000000000000000000000000000000000000000000a427567732042756e6e7900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000542554e4e59000000000000000000000000000000000000000000000000000000

0x608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa91906108fb565b60405180910390f35b6100cd60048036038101906100c891906109ac565b610288565b6040516100da9190610a04565b60405180910390f35b6100eb6103ac565b6040516100f89190610a2c565b60405180910390f35b61011b60048036038101906101169190610a45565b6103b2565b6040516101289190610a04565b60405180910390f35b610139610596565b6040516101469190610a2c565b60405180910390f35b61016960048036038101906101649190610a95565b61059c565b6040516101769190610a2c565b60405180910390f35b6101876105b1565b60405161019491906108fb565b60405180910390f35b6101b760048036038101906101b291906109ac565b61063d565b6040516101c49190610a04565b60405180910390f35b6101e760048036038101906101e29190610ac0565b61069c565b6040516101f49190610a2c565b60405180910390f35b5f805461020990610b2b565b80601f016020809104026020016040519081016040528092919081815260200182805461023590610b2b565b80156102805780601f1061025757610100808354040283529160200191610280565b820191905f5260205f20905b81548152906001019060200180831161026357829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036102c0575f80fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161039a9190610a2c565b60405180910390a36001905092915050565b60035481565b5f60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548211156103fc575f80fd5b60055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610480575f80fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546105049190610b88565b60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061058b8484846106bc565b600190509392505050565b60025481565b6004602052805f5260405f205f915090505481565b600180546105be90610b2b565b80601f01602080910402602001604051908101604052809291908181526020018280546105ea90610b2b565b80156106355780601f1061060c57610100808354040283529160200191610635565b820191905f5260205f20905b81548152906001019060200180831161061857829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610687575f80fd5b6106923384846106bc565b6001905092915050565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036106f3575f80fd5b8060045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461073c9190610b88565b60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508060045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546107c69190610bbb565b60045f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516108649190610a2c565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156108a857808201518184015260208101905061088d565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6108cd82610871565b6108d7818561087b565b93506108e781856020860161088b565b6108f0816108b3565b840191505092915050565b5f6020820190508181035f83015261091381846108c3565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6109488261091f565b9050919050565b6109588161093e565b8114610962575f80fd5b50565b5f813590506109738161094f565b92915050565b5f819050919050565b61098b81610979565b8114610995575f80fd5b50565b5f813590506109a681610982565b92915050565b5f80604083850312156109c2576109c161091b565b5b5f6109cf85828601610965565b92505060206109e085828601610998565b9150509250929050565b5f8115159050919050565b6109fe816109ea565b82525050565b5f602082019050610a175f8301846109f5565b92915050565b610a2681610979565b82525050565b5f602082019050610a3f5f830184610a1d565b92915050565b5f805f60608486031215610a5c57610a5b61091b565b5b5f610a6986828701610965565b9350506020610a7a86828701610965565b9250506040610a8b86828701610998565b9150509250925092565b5f60208284031215610aaa57610aa961091b565b5b5f610ab784828501610965565b91505092915050565b5f8060408385031215610ad657610ad561091b565b5b5f610ae385828601610965565b9250506020610af485828601610965565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610b4257607f821691505b602082108103610b5557610b54610afe565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610b9282610979565b9150610b9d83610979565b9250828203905081811115610bb557610bb4610b5b565b5b92915050565b5f610bc582610979565b9150610bd083610979565b9250828201905080821115610be857610be7610b5b565b5b9291505056fea2646970667358221220e428e9e6d155c59e504e7880d248d3ce2ae5146bc726175dece58821199faf1764736f6c63430008150033

000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000000120000000000000000000000000000000000000001431e0fae6d7217caa0000000000000000000000000000000000000000000000000000000000000000000000a427567732042756e6e7900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000542554e4e59000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Bugs Bunny
Arg [1] : _symbol (string): BUNNY
Arg [2] : _decimals (uint256): 18
Arg [3] : _totalSupply (uint256): 100000000000000000000000000000

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 0000000000000000000000000000000000000001431e0fae6d7217caa0000000
Arg [4] : 000000000000000000000000000000000000000000000000000000000000000a
Arg [5] : 427567732042756e6e7900000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [7] : 42554e4e59000000000000000000000000000000000000000000000000000000

92:1773:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;114:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1263:250;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;196:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1519:343;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;166:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;229:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;139:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;781:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;280:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;114:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1263:250::-;1332:4;1377:1;1357:22;;:8;:22;;;1349:31;;;;;;1425:6;1391:9;:21;1401:10;1391:21;;;;;;;;;;;;;;;:31;1413:8;1391:31;;;;;;;;;;;;;;;:40;;;;1468:8;1447:38;;1456:10;1447:38;;;1478:6;1447:38;;;;;;:::i;:::-;;;;;;;;1503:4;1496:11;;1263:250;;;;:::o;196:26::-;;;;:::o;1519:343::-;1603:4;1638:9;:16;1648:5;1638:16;;;;;;;;;;;;;;;;1628:6;:26;;1620:35;;;;;;1684:9;:16;1694:5;1684:16;;;;;;;;;;;;;;;:28;1701:10;1684:28;;;;;;;;;;;;;;;;1674:6;:38;;1666:47;;;;;;1787:6;1755:9;:16;1765:5;1755:16;;;;;;;;;;;;;;;:28;1772:10;1755:28;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;1724:9;:16;1734:5;1724:16;;;;;;;;;;;;;;;:28;1741:10;1724:28;;;;;;;;;;;;;;;:70;;;;1805:29;1815:5;1822:3;1827:6;1805:9;:29::i;:::-;1852:4;1845:11;;1519:343;;;;;:::o;166:23::-;;;;:::o;229:44::-;;;;;;;;;;;;;;;;;:::o;139:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;781:201::-;846:12;904:6;879:9;:21;889:10;879:21;;;;;;;;;;;;;;;;:31;;871:40;;;;;;922:34;932:10;944:3;949:6;922:9;:34::i;:::-;974:4;967:11;;781:201;;;;:::o;280:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;988:269::-;1094:1;1079:17;;:3;:17;;;1071:26;;;;;;1147:6;1127:9;:16;1137:5;1127:16;;;;;;;;;;;;;;;;:27;;;;:::i;:::-;1108:9;:16;1118:5;1108:16;;;;;;;;;;;;;;;:46;;;;1200:6;1182:9;:14;1192:3;1182:14;;;;;;;;;;;;;;;;:25;;;;:::i;:::-;1165:9;:14;1175:3;1165:14;;;;;;;;;;;;;;;:42;;;;1239:3;1223:28;;1232:5;1223:28;;;1244:6;1223:28;;;;;;:::i;:::-;;;;;;;;988:269;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::o;4758:474::-;4826:6;4834;4883:2;4871:9;4862:7;4858:23;4854:32;4851:119;;;4889:79;;:::i;:::-;4851:119;5009:1;5034:53;5079:7;5070:6;5059:9;5055:22;5034:53;:::i;:::-;5024:63;;4980:117;5136:2;5162:53;5207:7;5198:6;5187:9;5183:22;5162:53;:::i;:::-;5152:63;;5107:118;4758:474;;;;;:::o;5238:180::-;5286:77;5283:1;5276:88;5383:4;5380:1;5373:15;5407:4;5404:1;5397:15;5424:320;5468:6;5505:1;5499:4;5495:12;5485:22;;5552:1;5546:4;5542:12;5573:18;5563:81;;5629:4;5621:6;5617:17;5607:27;;5563:81;5691:2;5683:6;5680:14;5660:18;5657:38;5654:84;;5710:18;;:::i;:::-;5654:84;5475:269;5424:320;;;:::o;5750:180::-;5798:77;5795:1;5788:88;5895:4;5892:1;5885:15;5919:4;5916:1;5909:15;5936:194;5976:4;5996:20;6014:1;5996:20;:::i;:::-;5991:25;;6030:20;6048:1;6030:20;:::i;:::-;6025:25;;6074:1;6071;6067:9;6059:17;;6098:1;6092:4;6089:11;6086:37;;;6103:18;;:::i;:::-;6086:37;5936:194;;;;:::o;6136:191::-;6176:3;6195:20;6213:1;6195:20;:::i;:::-;6190:25;;6229:20;6247:1;6229:20;:::i;:::-;6224:25;;6272:1;6269;6265:9;6258:16;;6293:3;6290:1;6287:10;6284:36;;;6300:18;;:::i;:::-;6284:36;6136:191;;;;:::o

ipfs://e428e9e6d155c59e504e7880d248d3ce2ae5146bc726175dece58821199faf17