Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• interface IERC20Metadata is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function _msgSender()
•    - function _msgData()
•  contract ERC20 is Context, IERC20, ...
•    - function name()
•    - function symbol()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function decimals()
•    - function totalSupply()
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function _transferOwnership(address n ...
•  contract TAXI is ERC20, Ownable *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-07
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.16;

interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

     /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
     /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);    
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);
   
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

contract ERC20 is Context, IERC20, IERC20Metadata {

    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    function name() public view virtual override returns (string memory) {
        return _name;
    }

    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function decimals() public view virtual override returns (uint8) {
        return 9;
    }

    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
            unchecked {
                _approve(sender, _msgSender(), currentAllowance - amount);
            }
        }

        _transfer(sender, recipient, amount);

        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor() {
        _transferOwnership(_msgSender());
    }

    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function owner() public view virtual returns (address) {
        return _owner;
    }

    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

contract TAXI is ERC20, Ownable {
    constructor () ERC20("TAXI", "ROBOTAXI")
    {    
        _mint(msg.sender, 1_000000000 * (10 ** 9));
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":"owner","type":"address"},{"internalType":"address","name":"spender","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":"account","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":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","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"}]

60806040523480156200001157600080fd5b50604051806040016040528060048152602001635441584960e01b81525060405180604001604052806008815260200167524f424f5441584960c01b81525081600390816200006191906200028e565b5060046200007082826200028e565b5050506200008d62000087620000a760201b60201c565b620000ab565b620000a133670de0b6b3a7640000620000fd565b62000382565b3390565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6001600160a01b038216620001585760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b80600260008282546200016c91906200035a565b90915550506001600160a01b038216600090815260208190526040812080548392906200019b9084906200035a565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b505050565b634e487b7160e01b600052604160045260246000fd5b600181811c908216806200021557607f821691505b6020821081036200023657634e487b7160e01b600052602260045260246000fd5b50919050565b601f821115620001e557600081815260208120601f850160051c81016020861015620002655750805b601f850160051c820191505b81811015620002865782815560010162000271565b505050505050565b81516001600160401b03811115620002aa57620002aa620001ea565b620002c281620002bb845462000200565b846200023c565b602080601f831160018114620002fa5760008415620002e15750858301515b600019600386901b1c1916600185901b17855562000286565b600085815260208120601f198616915b828110156200032b578886015182559484019460019091019084016200030a565b50858210156200034a5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b808201808211156200037c57634e487b7160e01b600052601160045260246000fd5b92915050565b6109c280620003926000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b41146101aa578063a457c2d7146101b2578063a9059cbb146101c5578063dd62ed3e146101d857600080fd5b806370a082311461015c578063715018a6146101855780638da5cb5b1461018f57600080fd5b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd14610127578063313ce5671461013a5780633950935114610149575b600080fd5b6100dc610211565b6040516100e9919061080c565b60405180910390f35b610105610100366004610876565b6102a3565b60405190151581526020016100e9565b6002545b6040519081526020016100e9565b6101056101353660046108a0565b6102ba565b604051600981526020016100e9565b610105610157366004610876565b610370565b61011961016a3660046108dc565b6001600160a01b031660009081526020819052604090205490565b61018d6103ac565b005b6005546040516001600160a01b0390911681526020016100e9565b6100dc610412565b6101056101c0366004610876565b610421565b6101056101d3366004610876565b6104ba565b6101196101e63660046108fe565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60606003805461022090610931565b80601f016020809104026020016040519081016040528092919081815260200182805461024c90610931565b80156102995780601f1061026e57610100808354040283529160200191610299565b820191906000526020600020905b81548152906001019060200180831161027c57829003601f168201915b5050505050905090565b60006102b03384846104c7565b5060015b92915050565b6001600160a01b0383166000908152600160209081526040808320338452909152812054600019811461035a578281101561034d5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61035a85338584036104c7565b6103658585856105eb565b506001949350505050565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916102b09185906103a790869061096b565b6104c7565b6005546001600160a01b031633146104065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610344565b61041060006107ba565b565b60606004805461022090610931565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156104a35760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610344565b6104b033858584036104c7565b5060019392505050565b60006102b03384846105eb565b6001600160a01b0383166105295760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610344565b6001600160a01b03821661058a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610344565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661064f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610344565b6001600160a01b0382166106b15760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610344565b6001600160a01b038316600090815260208190526040902054818110156107295760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610344565b6001600160a01b0380851660009081526020819052604080822085850390559185168152908120805484929061076090849061096b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107ac91815260200190565b60405180910390a350505050565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600060208083528351808285015260005b818110156108395785810183015185820160400152820161081d565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461087157600080fd5b919050565b6000806040838503121561088957600080fd5b6108928361085a565b946020939093013593505050565b6000806000606084860312156108b557600080fd5b6108be8461085a565b92506108cc6020850161085a565b9150604084013590509250925092565b6000602082840312156108ee57600080fd5b6108f78261085a565b9392505050565b6000806040838503121561091157600080fd5b61091a8361085a565b91506109286020840161085a565b90509250929050565b600181811c9082168061094557607f821691505b60208210810361096557634e487b7160e01b600052602260045260246000fd5b50919050565b808201808211156102b457634e487b7160e01b600052601160045260246000fdfea264697066735822122053e1282b26faac816b3c91f126279eb75901f73145dd3dba5844dcb20b8bfa6864736f6c63430008100033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b41146101aa578063a457c2d7146101b2578063a9059cbb146101c5578063dd62ed3e146101d857600080fd5b806370a082311461015c578063715018a6146101855780638da5cb5b1461018f57600080fd5b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461011557806323b872dd14610127578063313ce5671461013a5780633950935114610149575b600080fd5b6100dc610211565b6040516100e9919061080c565b60405180910390f35b610105610100366004610876565b6102a3565b60405190151581526020016100e9565b6002545b6040519081526020016100e9565b6101056101353660046108a0565b6102ba565b604051600981526020016100e9565b610105610157366004610876565b610370565b61011961016a3660046108dc565b6001600160a01b031660009081526020819052604090205490565b61018d6103ac565b005b6005546040516001600160a01b0390911681526020016100e9565b6100dc610412565b6101056101c0366004610876565b610421565b6101056101d3366004610876565b6104ba565b6101196101e63660046108fe565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b60606003805461022090610931565b80601f016020809104026020016040519081016040528092919081815260200182805461024c90610931565b80156102995780601f1061026e57610100808354040283529160200191610299565b820191906000526020600020905b81548152906001019060200180831161027c57829003601f168201915b5050505050905090565b60006102b03384846104c7565b5060015b92915050565b6001600160a01b0383166000908152600160209081526040808320338452909152812054600019811461035a578281101561034d5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61035a85338584036104c7565b6103658585856105eb565b506001949350505050565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916102b09185906103a790869061096b565b6104c7565b6005546001600160a01b031633146104065760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610344565b61041060006107ba565b565b60606004805461022090610931565b3360009081526001602090815260408083206001600160a01b0386168452909152812054828110156104a35760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610344565b6104b033858584036104c7565b5060019392505050565b60006102b03384846105eb565b6001600160a01b0383166105295760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610344565b6001600160a01b03821661058a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610344565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b03831661064f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610344565b6001600160a01b0382166106b15760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610344565b6001600160a01b038316600090815260208190526040902054818110156107295760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610344565b6001600160a01b0380851660009081526020819052604080822085850390559185168152908120805484929061076090849061096b565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107ac91815260200190565b60405180910390a350505050565b600580546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600060208083528351808285015260005b818110156108395785810183015185820160400152820161081d565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b038116811461087157600080fd5b919050565b6000806040838503121561088957600080fd5b6108928361085a565b946020939093013593505050565b6000806000606084860312156108b557600080fd5b6108be8461085a565b92506108cc6020850161085a565b9150604084013590509250925092565b6000602082840312156108ee57600080fd5b6108f78261085a565b9392505050565b6000806040838503121561091157600080fd5b61091a8361085a565b91506109286020840161085a565b90509250929050565b600181811c9082168061094557607f821691505b60208210810361096557634e487b7160e01b600052602260045260246000fd5b50919050565b808201808211156102b457634e487b7160e01b600052601160045260246000fdfea264697066735822122053e1282b26faac816b3c91f126279eb75901f73145dd3dba5844dcb20b8bfa6864736f6c63430008100033

7703:153:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2226:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3139:169;;;;;;:::i;:::-;;:::i;:::-;;;1169:14:1;;1162:22;1144:41;;1132:2;1117:18;3139:169:0;1004:187:1;2864:108:0;2952:12;;2864:108;;;1342:25:1;;;1330:2;1315:18;2864:108:0;1196:177:1;3316:573:0;;;;;;:::i;:::-;;:::i;2764:92::-;;;2847:1;1853:36:1;;1841:2;1826:18;2764:92:0;1711:184:1;3897:215:0;;;;;;:::i;:::-;;:::i;2446:127::-;;;;;;:::i;:::-;-1:-1:-1;;;;;2547:18:0;2520:7;2547:18;;;;;;;;;;;;2446:127;7394:103;;;:::i;:::-;;7299:87;7372:6;;7299:87;;-1:-1:-1;;;;;7372:6:0;;;2237:51:1;;2225:2;2210:18;7299:87:0;2091:203:1;2334:104:0;;;:::i;4120:413::-;;;;;;:::i;:::-;;:::i;2581:175::-;;;;;;:::i;:::-;;:::i;2980:151::-;;;;;;:::i;:::-;-1:-1:-1;;;;;3096:18:0;;;3069:7;3096:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2980:151;2226:100;2280:13;2313:5;2306:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2226:100;:::o;3139:169::-;3222:4;3239:39;1550:10;3262:7;3271:6;3239:8;:39::i;:::-;-1:-1:-1;3296:4:0;3139:169;;;;;:::o;3316:573::-;-1:-1:-1;;;;;3500:19:0;;3456:4;3500:19;;;:11;:19;;;;;;;;1550:10;3500:33;;;;;;;;-1:-1:-1;;3548:37:0;;3544:265;;3630:6;3610:16;:26;;3602:79;;;;-1:-1:-1;;;3602:79:0;;3151:2:1;3602:79:0;;;3133:21:1;3190:2;3170:18;;;3163:30;3229:34;3209:18;;;3202:62;-1:-1:-1;;;3280:18:1;;;3273:38;3328:19;;3602:79:0;;;;;;;;;3725:57;3734:6;1550:10;3775:6;3756:16;:25;3725:8;:57::i;:::-;3821:36;3831:6;3839:9;3850:6;3821:9;:36::i;:::-;-1:-1:-1;3877:4:0;;3316:573;-1:-1:-1;;;;3316:573:0:o;3897:215::-;1550:10;3985:4;4034:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4034:34:0;;;;;;;;;;3985:4;;4002:80;;4025:7;;4034:47;;4071:10;;4034:47;:::i;:::-;4002:8;:80::i;7394:103::-;7372:6;;-1:-1:-1;;;;;7372:6:0;1550:10;7211:23;7203:68;;;;-1:-1:-1;;;7203:68:0;;3787:2:1;7203:68:0;;;3769:21:1;;;3806:18;;;3799:30;3865:34;3845:18;;;3838:62;3917:18;;7203:68:0;3585:356:1;7203:68:0;7459:30:::1;7486:1;7459:18;:30::i;:::-;7394:103::o:0;2334:104::-;2390:13;2423:7;2416:14;;;;;:::i;4120:413::-;1550:10;4213:4;4257:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4257:34:0;;;;;;;;;;4310:35;;;;4302:85;;;;-1:-1:-1;;;4302:85:0;;4148:2:1;4302:85:0;;;4130:21:1;4187:2;4167:18;;;4160:30;4226:34;4206:18;;;4199:62;-1:-1:-1;;;4277:18:1;;;4270:35;4322:19;;4302:85:0;3946:401:1;4302:85:0;4423:67;1550:10;4446:7;4474:15;4455:16;:34;4423:8;:67::i;:::-;-1:-1:-1;4521:4:0;;4120:413;-1:-1:-1;;;4120:413:0:o;2581:175::-;2667:4;2684:42;1550:10;2708:9;2719:6;2684:9;:42::i;6288:380::-;-1:-1:-1;;;;;6424:19:0;;6416:68;;;;-1:-1:-1;;;6416:68:0;;4554:2:1;6416:68:0;;;4536:21:1;4593:2;4573:18;;;4566:30;4632:34;4612:18;;;4605:62;-1:-1:-1;;;4683:18:1;;;4676:34;4727:19;;6416:68:0;4352:400:1;6416:68:0;-1:-1:-1;;;;;6503:21:0;;6495:68;;;;-1:-1:-1;;;6495:68:0;;4959:2:1;6495:68:0;;;4941:21:1;4998:2;4978:18;;;4971:30;5037:34;5017:18;;;5010:62;-1:-1:-1;;;5088:18:1;;;5081:32;5130:19;;6495:68:0;4757:398:1;6495:68:0;-1:-1:-1;;;;;6576:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6628:32;;1342:25:1;;;6628:32:0;;1315:18:1;6628:32:0;;;;;;;6288:380;;;:::o;4541:733::-;-1:-1:-1;;;;;4681:20:0;;4673:70;;;;-1:-1:-1;;;4673:70:0;;5362:2:1;4673:70:0;;;5344:21:1;5401:2;5381:18;;;5374:30;5440:34;5420:18;;;5413:62;-1:-1:-1;;;5491:18:1;;;5484:35;5536:19;;4673:70:0;5160:401:1;4673:70:0;-1:-1:-1;;;;;4762:23:0;;4754:71;;;;-1:-1:-1;;;4754:71:0;;5768:2:1;4754:71:0;;;5750:21:1;5807:2;5787:18;;;5780:30;5846:34;5826:18;;;5819:62;-1:-1:-1;;;5897:18:1;;;5890:33;5940:19;;4754:71:0;5566:399:1;4754:71:0;-1:-1:-1;;;;;4922:17:0;;4898:21;4922:17;;;;;;;;;;;4958:23;;;;4950:74;;;;-1:-1:-1;;;4950:74:0;;6172:2:1;4950:74:0;;;6154:21:1;6211:2;6191:18;;;6184:30;6250:34;6230:18;;;6223:62;-1:-1:-1;;;6301:18:1;;;6294:36;6347:19;;4950:74:0;5970:402:1;4950:74:0;-1:-1:-1;;;;;5060:17:0;;;:9;:17;;;;;;;;;;;5080:22;;;5060:42;;5124:20;;;;;;;;:30;;5096:6;;5060:9;5124:30;;5096:6;;5124:30;:::i;:::-;;;;;;;;5189:9;-1:-1:-1;;;;;5172:35:0;5181:6;-1:-1:-1;;;;;5172:35:0;;5200:6;5172:35;;;;1342:25:1;;1330:2;1315:18;;1196:177;5172:35:0;;;;;;;;4662:612;4541:733;;;:::o;7505:191::-;7598:6;;;-1:-1:-1;;;;;7615:17:0;;;-1:-1:-1;;;;;;7615:17:0;;;;;;;7648:40;;7598:6;;;7615:17;7598:6;;7648:40;;7579:16;;7648:40;7568:128;7505:191;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:173::-;635:20;;-1:-1:-1;;;;;684:31:1;;674:42;;664:70;;730:1;727;720:12;664:70;567:173;;;:::o;745:254::-;813:6;821;874:2;862:9;853:7;849:23;845:32;842:52;;;890:1;887;880:12;842:52;913:29;932:9;913:29;:::i;:::-;903:39;989:2;974:18;;;;961:32;;-1:-1:-1;;;745:254:1:o;1378:328::-;1455:6;1463;1471;1524:2;1512:9;1503:7;1499:23;1495:32;1492:52;;;1540:1;1537;1530:12;1492:52;1563:29;1582:9;1563:29;:::i;:::-;1553:39;;1611:38;1645:2;1634:9;1630:18;1611:38;:::i;:::-;1601:48;;1696:2;1685:9;1681:18;1668:32;1658:42;;1378:328;;;;;:::o;1900:186::-;1959:6;2012:2;2000:9;1991:7;1987:23;1983:32;1980:52;;;2028:1;2025;2018:12;1980:52;2051:29;2070:9;2051:29;:::i;:::-;2041:39;1900:186;-1:-1:-1;;;1900:186:1:o;2299:260::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;2467:29;2486:9;2467:29;:::i;:::-;2457:39;;2515:38;2549:2;2538:9;2534:18;2515:38;:::i;:::-;2505:48;;2299:260;;;;;:::o;2564:380::-;2643:1;2639:12;;;;2686;;;2707:61;;2761:4;2753:6;2749:17;2739:27;;2707:61;2814:2;2806:6;2803:14;2783:18;2780:38;2777:161;;2860:10;2855:3;2851:20;2848:1;2841:31;2895:4;2892:1;2885:15;2923:4;2920:1;2913:15;2777:161;;2564:380;;;:::o;3358:222::-;3423:9;;;3444:10;;;3441:133;;;3496:10;3491:3;3487:20;3484:1;3477:31;3531:4;3528:1;3521:15;3559:4;3556:1;3549:15

ipfs://53e1282b26faac816b3c91f126279eb75901f73145dd3dba5844dcb20b8bfa68