Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-06-26
*/

// SPDX-License-Identifier: UNLICENSED

pragma solidity 0.8.0;

contract KENNY {
    string public name;
    string public symbol;
    uint256 public totalSupply;
    uint8 public decimals = 18;

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);

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

    constructor(string memory _name, string memory _symbol, uint256 _totalSupply) {
        name = _name;
        symbol = _symbol;
        totalSupply = _totalSupply * 10**18;
        balanceOf[msg.sender] = totalSupply;
    }

    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(balanceOf[msg.sender] >= _value);
        balanceOf[msg.sender] -= _value;
        balanceOf[_to] += _value;
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

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

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        require(_value <= balanceOf[_from]);
        require(_value <= allowance[_from][msg.sender]);
        balanceOf[_from] -= _value;
        balanceOf[_to] += _value;
        allowance[_from][msg.sender] -= _value;
        emit 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":"_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":"success","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":"uint8","name":"","type":"uint8"}],"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":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526012600360006101000a81548160ff021916908360ff1602179055503480156200002d57600080fd5b506040516200111f3803806200111f833981810160405281019062000053919062000229565b82600090805190602001906200006b929190620000f0565b50816001908051906020019062000084929190620000f0565b50670de0b6b3a7640000816200009b919062000318565b600281905550600254600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505062000496565b828054620000fe90620003b9565b90600052602060002090601f0160209004810192826200012257600085556200016e565b82601f106200013d57805160ff19168380011785556200016e565b828001600101855582156200016e579182015b828111156200016d57825182559160200191906001019062000150565b5b5090506200017d919062000181565b5090565b5b808211156200019c57600081600090555060010162000182565b5090565b6000620001b7620001b184620002e5565b620002b1565b905082815260208101848484011115620001d057600080fd5b620001dd84828562000383565b509392505050565b600082601f830112620001f757600080fd5b815162000209848260208601620001a0565b91505092915050565b60008151905062000223816200047c565b92915050565b6000806000606084860312156200023f57600080fd5b600084015167ffffffffffffffff8111156200025a57600080fd5b6200026886828701620001e5565b935050602084015167ffffffffffffffff8111156200028657600080fd5b6200029486828701620001e5565b9250506040620002a78682870162000212565b9150509250925092565b6000604051905081810181811067ffffffffffffffff82111715620002db57620002da6200044d565b5b8060405250919050565b600067ffffffffffffffff8211156200030357620003026200044d565b5b601f19601f8301169050602081019050919050565b6000620003258262000379565b9150620003328362000379565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156200036e576200036d620003ef565b5b828202905092915050565b6000819050919050565b60005b83811015620003a357808201518184015260208101905062000386565b83811115620003b3576000848401525b50505050565b60006002820490506001821680620003d257607f821691505b60208210811415620003e957620003e86200041e565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b620004878162000379565b81146200049357600080fd5b50565b610c7980620004a66000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad91906109ee565b60405180910390f35b6100d060048036038101906100cb9190610931565b61028e565b6040516100dd91906109d3565b60405180910390f35b6100ee610380565b6040516100fb9190610a10565b60405180910390f35b61011e600480360381019061011991906108e2565b610386565b60405161012b91906109d3565b60405180910390f35b61013c61060c565b6040516101499190610a2b565b60405180910390f35b61016c6004803603810190610167919061087d565b61061f565b6040516101799190610a10565b60405180910390f35b61018a610637565b60405161019791906109ee565b60405180910390f35b6101ba60048036038101906101b59190610931565b6106c5565b6040516101c791906109d3565b60405180910390f35b6101ea60048036038101906101e591906108a6565b61082e565b6040516101f79190610a10565b60405180910390f35b6000805461020d90610b74565b80601f016020809104026020016040519081016040528092919081815260200182805461023990610b74565b80156102865780601f1061025b57610100808354040283529160200191610286565b820191906000526020600020905b81548152906001019060200180831161026957829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161036e9190610a10565b60405180910390a36001905092915050565b60025481565b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156103d457600080fd5b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561045d57600080fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104ac9190610ab8565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105029190610a62565b9250508190555081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105959190610ab8565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516105f99190610a10565b60405180910390a3600190509392505050565b600360009054906101000a900460ff1681565b60046020528060005260406000206000915090505481565b6001805461064490610b74565b80601f016020809104026020016040519081016040528092919081815260200182805461067090610b74565b80156106bd5780601f10610692576101008083540402835291602001916106bd565b820191906000526020600020905b8154815290600101906020018083116106a057829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561071357600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107629190610ab8565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107b89190610a62565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161081c9190610a10565b60405180910390a36001905092915050565b6005602052816000526040600020602052806000526040600020600091509150505481565b60008135905061086281610c15565b92915050565b60008135905061087781610c2c565b92915050565b60006020828403121561088f57600080fd5b600061089d84828501610853565b91505092915050565b600080604083850312156108b957600080fd5b60006108c785828601610853565b92505060206108d885828601610853565b9150509250929050565b6000806000606084860312156108f757600080fd5b600061090586828701610853565b935050602061091686828701610853565b925050604061092786828701610868565b9150509250925092565b6000806040838503121561094457600080fd5b600061095285828601610853565b925050602061096385828601610868565b9150509250929050565b61097681610afe565b82525050565b600061098782610a46565b6109918185610a51565b93506109a1818560208601610b41565b6109aa81610c04565b840191505092915050565b6109be81610b2a565b82525050565b6109cd81610b34565b82525050565b60006020820190506109e8600083018461096d565b92915050565b60006020820190508181036000830152610a08818461097c565b905092915050565b6000602082019050610a2560008301846109b5565b92915050565b6000602082019050610a4060008301846109c4565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610a6d82610b2a565b9150610a7883610b2a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610aad57610aac610ba6565b5b828201905092915050565b6000610ac382610b2a565b9150610ace83610b2a565b925082821015610ae157610ae0610ba6565b5b828203905092915050565b6000610af782610b0a565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610b5f578082015181840152602081019050610b44565b83811115610b6e576000848401525b50505050565b60006002820490506001821680610b8c57607f821691505b60208210811415610ba057610b9f610bd5565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b610c1e81610aec565b8114610c2957600080fd5b50565b610c3581610b2a565b8114610c4057600080fd5b5056fea26469706673582212209deab298ce2b46878efc7c1d95f52683a699e01824a8e8c100ae8bdb7155fb7764736f6c63430008000033000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000f424000000000000000000000000000000000000000000000000000000000000000054b454e4e5900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000054b454e4e59000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad91906109ee565b60405180910390f35b6100d060048036038101906100cb9190610931565b61028e565b6040516100dd91906109d3565b60405180910390f35b6100ee610380565b6040516100fb9190610a10565b60405180910390f35b61011e600480360381019061011991906108e2565b610386565b60405161012b91906109d3565b60405180910390f35b61013c61060c565b6040516101499190610a2b565b60405180910390f35b61016c6004803603810190610167919061087d565b61061f565b6040516101799190610a10565b60405180910390f35b61018a610637565b60405161019791906109ee565b60405180910390f35b6101ba60048036038101906101b59190610931565b6106c5565b6040516101c791906109d3565b60405180910390f35b6101ea60048036038101906101e591906108a6565b61082e565b6040516101f79190610a10565b60405180910390f35b6000805461020d90610b74565b80601f016020809104026020016040519081016040528092919081815260200182805461023990610b74565b80156102865780601f1061025b57610100808354040283529160200191610286565b820191906000526020600020905b81548152906001019060200180831161026957829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161036e9190610a10565b60405180910390a36001905092915050565b60025481565b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156103d457600080fd5b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561045d57600080fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104ac9190610ab8565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105029190610a62565b9250508190555081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105959190610ab8565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516105f99190610a10565b60405180910390a3600190509392505050565b600360009054906101000a900460ff1681565b60046020528060005260406000206000915090505481565b6001805461064490610b74565b80601f016020809104026020016040519081016040528092919081815260200182805461067090610b74565b80156106bd5780601f10610692576101008083540402835291602001916106bd565b820191906000526020600020905b8154815290600101906020018083116106a057829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561071357600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107629190610ab8565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107b89190610a62565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161081c9190610a10565b60405180910390a36001905092915050565b6005602052816000526040600020602052806000526040600020600091509150505481565b60008135905061086281610c15565b92915050565b60008135905061087781610c2c565b92915050565b60006020828403121561088f57600080fd5b600061089d84828501610853565b91505092915050565b600080604083850312156108b957600080fd5b60006108c785828601610853565b92505060206108d885828601610853565b9150509250929050565b6000806000606084860312156108f757600080fd5b600061090586828701610853565b935050602061091686828701610853565b925050604061092786828701610868565b9150509250925092565b6000806040838503121561094457600080fd5b600061095285828601610853565b925050602061096385828601610868565b9150509250929050565b61097681610afe565b82525050565b600061098782610a46565b6109918185610a51565b93506109a1818560208601610b41565b6109aa81610c04565b840191505092915050565b6109be81610b2a565b82525050565b6109cd81610b34565b82525050565b60006020820190506109e8600083018461096d565b92915050565b60006020820190508181036000830152610a08818461097c565b905092915050565b6000602082019050610a2560008301846109b5565b92915050565b6000602082019050610a4060008301846109c4565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610a6d82610b2a565b9150610a7883610b2a565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610aad57610aac610ba6565b5b828201905092915050565b6000610ac382610b2a565b9150610ace83610b2a565b925082821015610ae157610ae0610ba6565b5b828203905092915050565b6000610af782610b0a565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610b5f578082015181840152602081019050610b44565b83811115610b6e576000848401525b50505050565b60006002820490506001821680610b8c57607f821691505b60208210811415610ba057610b9f610bd5565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b610c1e81610aec565b8114610c2957600080fd5b50565b610c3581610b2a565b8114610c4057600080fd5b5056fea26469706673582212209deab298ce2b46878efc7c1d95f52683a699e01824a8e8c100ae8bdb7155fb7764736f6c63430008000033

000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000f424000000000000000000000000000000000000000000000000000000000000000054b454e4e5900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000054b454e4e59000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): KENNY
Arg [1] : _symbol (string): KENNY
Arg [2] : _totalSupply (uint256): 1000000

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [2] : 00000000000000000000000000000000000000000000000000000000000f4240
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [4] : 4b454e4e59000000000000000000000000000000000000000000000000000000
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [6] : 4b454e4e59000000000000000000000000000000000000000000000000000000

68:1586:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;90:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1032:216;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;142:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1256:395;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;175:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;380:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;740:284;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;431:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;90:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1032:216::-;1099:12;1158:6;1124:9;:21;1134:10;1124:21;;;;;;;;;;;;;;;:31;1146:8;1124:31;;;;;;;;;;;;;;;:40;;;;1201:8;1180:38;;1189:10;1180:38;;;1211:6;1180:38;;;;;;:::i;:::-;;;;;;;;1236:4;1229:11;;1032:216;;;;:::o;142:26::-;;;;:::o;1256:395::-;1338:12;1381:9;:16;1391:5;1381:16;;;;;;;;;;;;;;;;1371:6;:26;;1363:35;;;;;;1427:9;:16;1437:5;1427:16;;;;;;;;;;;;;;;:28;1444:10;1427:28;;;;;;;;;;;;;;;;1417:6;:38;;1409:47;;;;;;1487:6;1467:9;:16;1477:5;1467:16;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;1522:6;1504:9;:14;1514:3;1504:14;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;1571:6;1539:9;:16;1549:5;1539:16;;;;;;;;;;;;;;;:28;1556:10;1539:28;;;;;;;;;;;;;;;;:38;;;;;;;:::i;:::-;;;;;;;;1609:3;1593:28;;1602:5;1593:28;;;1614:6;1593:28;;;;;;:::i;:::-;;;;;;;;1639:4;1632:11;;1256:395;;;;;:::o;175:26::-;;;;;;;;;;;;;:::o;380:44::-;;;;;;;;;;;;;;;;;:::o;115:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;740:284::-;803:12;861:6;836:9;:21;846:10;836:21;;;;;;;;;;;;;;;;:31;;828:40;;;;;;904:6;879:9;:21;889:10;879:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;939:6;921:9;:14;931:3;921:14;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;982:3;961:33;;970:10;961:33;;;987:6;961:33;;;;;;:::i;:::-;;;;;;;;1012:4;1005:11;;740:284;;;;:::o;431:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;;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::-;;;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::-;;;;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::-;;;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:109::-;2030:21;2045:5;2030:21;:::i;:::-;2025:3;2018:34;2008:50;;:::o;2064:364::-;;2180:39;2213:5;2180:39;:::i;:::-;2235:71;2299:6;2294:3;2235:71;:::i;:::-;2228:78;;2315:52;2360:6;2355:3;2348:4;2341:5;2337:16;2315:52;:::i;:::-;2392:29;2414:6;2392:29;:::i;:::-;2387:3;2383:39;2376:46;;2156:272;;;;;:::o;2434:118::-;2521:24;2539:5;2521:24;:::i;:::-;2516:3;2509:37;2499:53;;:::o;2558:112::-;2641:22;2657:5;2641:22;:::i;:::-;2636:3;2629:35;2619:51;;:::o;2676:210::-;;2801:2;2790:9;2786:18;2778:26;;2814:65;2876:1;2865:9;2861:17;2852:6;2814:65;:::i;:::-;2768:118;;;;:::o;2892:313::-;;3043:2;3032:9;3028:18;3020:26;;3092:9;3086:4;3082:20;3078:1;3067:9;3063:17;3056:47;3120:78;3193:4;3184:6;3120:78;:::i;:::-;3112:86;;3010:195;;;;:::o;3211:222::-;;3342:2;3331:9;3327:18;3319:26;;3355:71;3423:1;3412:9;3408:17;3399:6;3355:71;:::i;:::-;3309:124;;;;:::o;3439:214::-;;3566:2;3555:9;3551:18;3543:26;;3579:67;3643:1;3632:9;3628:17;3619:6;3579:67;:::i;:::-;3533:120;;;;:::o;3659:99::-;;3745:5;3739:12;3729:22;;3718:40;;;:::o;3764:169::-;;3882:6;3877:3;3870:19;3922:4;3917:3;3913:14;3898:29;;3860:73;;;;:::o;3939:305::-;;3998:20;4016:1;3998:20;:::i;:::-;3993:25;;4032:20;4050:1;4032:20;:::i;:::-;4027:25;;4186:1;4118:66;4114:74;4111:1;4108:81;4105:2;;;4192:18;;:::i;:::-;4105:2;4236:1;4233;4229:9;4222:16;;3983:261;;;;:::o;4250:191::-;;4310:20;4328:1;4310:20;:::i;:::-;4305:25;;4344:20;4362:1;4344:20;:::i;:::-;4339:25;;4383:1;4380;4377:8;4374:2;;;4388:18;;:::i;:::-;4374:2;4433:1;4430;4426:9;4418:17;;4295:146;;;;:::o;4447:96::-;;4513:24;4531:5;4513:24;:::i;:::-;4502:35;;4492:51;;;:::o;4549:90::-;;4626:5;4619:13;4612:21;4601:32;;4591:48;;;:::o;4645:126::-;;4722:42;4715:5;4711:54;4700:65;;4690:81;;;:::o;4777:77::-;;4843:5;4832:16;;4822:32;;;:::o;4860:86::-;;4935:4;4928:5;4924:16;4913:27;;4903:43;;;:::o;4952:307::-;5020:1;5030:113;5044:6;5041:1;5038:13;5030:113;;;5129:1;5124:3;5120:11;5114:18;5110:1;5105:3;5101:11;5094:39;5066:2;5063:1;5059:10;5054:15;;5030:113;;;5161:6;5158:1;5155:13;5152:2;;;5241:1;5232:6;5227:3;5223:16;5216:27;5152:2;5001:258;;;;:::o;5265:320::-;;5346:1;5340:4;5336:12;5326:22;;5393:1;5387:4;5383:12;5414:18;5404:2;;5470:4;5462:6;5458:17;5448:27;;5404:2;5532;5524:6;5521:14;5501:18;5498:38;5495:2;;;5551:18;;:::i;:::-;5495:2;5316:269;;;;:::o;5591:180::-;5639:77;5636:1;5629:88;5736:4;5733:1;5726:15;5760:4;5757:1;5750:15;5777:180;5825:77;5822:1;5815:88;5922:4;5919:1;5912:15;5946:4;5943:1;5936:15;5963:102;;6055:2;6051:7;6046:2;6039:5;6035:14;6031:28;6021:38;;6011:54;;;:::o;6071:122::-;6144:24;6162:5;6144:24;:::i;:::-;6137:5;6134:35;6124:2;;6183:1;6180;6173:12;6124:2;6114:79;:::o;6199:122::-;6272:24;6290:5;6272:24;:::i;:::-;6265:5;6262:35;6252:2;;6311:1;6308;6301:12;6252:2;6242:79;:::o

ipfs://9deab298ce2b46878efc7c1d95f52683a699e01824a8e8c100ae8bdb7155fb77