Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20I    - function _mint(address to_, uint256 a ...    - function _burn(address from_, uint256 ...    - function _approve(address owner_, add ...    - function approve(address spender_, ui ...    - function transfer(address to_, uint25 ...    - function transferFrom(address from_, ...    - function burn(uint256 amount_)    - function burnFrom(address from_, uint ...    - function transferOwnership(address ne ...    - function setMinter(address address_, ...    - function setBurner(address address_, ...  contract ZenToken is ERC20I(&q ... *    - function mintAsController(address to_ ...    - function burnAsController(address fro ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-05-14
*/

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

//////////////////////////////////////////////
//   ____         ______     __             //
//  /_  / ___ ___/_  __/__  / /_____ ___    //
//   / /_/ -_) _ \/ / / _ \/  '_/ -_) _ \   //
//  /___/\__/_//_/_/  \___/_/\_\\__/_//_/   //
//                     by 0xInuarashi.eth   //
//////////////////////////////////////////////                                      

/*
    ERC20I (ERC20 0xInuarashi Edition)
    Minified and Gas Optimized
    Contributors: 0xInuarashi (Message to Martians, Anonymice), 0xBasset (Ether Orcs)
*/

contract ERC20I {
    // Token Params
    string public name;
    string public symbol;
    constructor(string memory name_, string memory symbol_) {
        name = name_;
        symbol = symbol_;
    }

    // Decimals
    uint8 public constant decimals = 18;

    // Supply
    uint256 public totalSupply;
    
    // Mappings of Balances
    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

    // Events
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    // Internal Functions
    function _mint(address to_, uint256 amount_) internal virtual {
        totalSupply += amount_;
        balanceOf[to_] += amount_;
        emit Transfer(address(0x0), to_, amount_);
    }
    function _burn(address from_, uint256 amount_) internal virtual {
        balanceOf[from_] -= amount_;
        totalSupply -= amount_;
        emit Transfer(from_, address(0x0), amount_);
    }
    function _approve(address owner_, address spender_, uint256 amount_) internal virtual {
        allowance[owner_][spender_] = amount_;
        emit Approval(owner_, spender_, amount_);
    }

    // Public Functions
    function approve(address spender_, uint256 amount_) public virtual returns (bool) {
        _approve(msg.sender, spender_, amount_);
        return true;
    }
    function transfer(address to_, uint256 amount_) public virtual returns (bool) {
        balanceOf[msg.sender] -= amount_;
        balanceOf[to_] += amount_;
        emit Transfer(msg.sender, to_, amount_);
        return true;
    }
    function transferFrom(address from_, address to_, uint256 amount_) public virtual returns (bool) {
        if (allowance[from_][msg.sender] != type(uint256).max) {
            allowance[from_][msg.sender] -= amount_; }
        balanceOf[from_] -= amount_;
        balanceOf[to_] += amount_;
        emit Transfer(from_, to_, amount_);
        return true;
    }
}

abstract contract ERC20IBurnable is ERC20I {
    function burn(uint256 amount_) external virtual {
        _burn(msg.sender, amount_);
    }
    function burnFrom(address from_, uint256 amount_) public virtual {
        uint256 _currentAllowance = allowance[from_][msg.sender];
        require(_currentAllowance >= amount_, "ERC20IBurnable: Burn amount requested exceeds allowance!");

        if (allowance[from_][msg.sender] != type(uint256).max) {
            allowance[from_][msg.sender] -= amount_; }

        _burn(from_, amount_);
    }
}

abstract contract Ownable {
    address public owner; 
    constructor() { owner = msg.sender; }
    modifier onlyOwner { require(owner == msg.sender, "Not Owner!"); _; }
    function transferOwnership(address new_) external onlyOwner { owner = new_; }
}

abstract contract Minterable is Ownable {
    mapping(address => bool) public minters;
    modifier onlyMinter { require(minters[msg.sender], "Not Minter!"); _; }
    function setMinter(address address_, bool bool_) external onlyOwner {
        minters[address_] = bool_;
    }
}

abstract contract Burnerable is Ownable {
    mapping(address => bool) public burners;
    modifier onlyBurner { require(burners[msg.sender], "Not Burner!"); _; }
    function setBurner(address address_, bool bool_) external onlyOwner {
        burners[address_] = bool_;
    }
}

contract ZenToken is ERC20I("ZenToken", "ZEN"), ERC20IBurnable, 
Minterable, Burnerable {
    function mintAsController(address to_, uint256 amount_) external onlyMinter {
        _mint(to_, amount_);
    }
    function burnAsController(address from_, uint256 amount_) external onlyBurner {
        _burn(from_, amount_);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":[{"internalType":"address","name":"from_","type":"address"},{"internalType":"uint256","name":"amount_","type":"uint256"}],"name":"burnAsController","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from_","type":"address"},{"internalType":"uint256","name":"amount_","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"burners","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to_","type":"address"},{"internalType":"uint256","name":"amount_","type":"uint256"}],"name":"mintAsController","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"minters","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":[{"internalType":"address","name":"address_","type":"address"},{"internalType":"bool","name":"bool_","type":"bool"}],"name":"setBurner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"address_","type":"address"},{"internalType":"bool","name":"bool_","type":"bool"}],"name":"setMinter","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":"to_","type":"address"},{"internalType":"uint256","name":"amount_","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from_","type":"address"},{"internalType":"address","name":"to_","type":"address"},{"internalType":"uint256","name":"amount_","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"new_","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5060408051808201825260088152672d32b72a37b5b2b760c11b6020808301918252835180850190945260038452622d22a760e91b90840152815191929161005a91600091610088565b50805161006e906001906020840190610088565b5050600580546001600160a01b031916331790555061015c565b82805461009490610121565b90600052602060002090601f0160209004810192826100b657600085556100fc565b82601f106100cf57805160ff19168380011785556100fc565b828001600101855582156100fc579182015b828111156100fc5782518255916020019190600101906100e1565b5061010892915061010c565b5090565b5b80821115610108576000815560010161010d565b600181811c9082168061013557607f821691505b6020821081141561015657634e487b7160e01b600052602260045260246000fd5b50919050565b610bd8806200016c6000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063cf456ae711610071578063cf456ae71461027e578063dd62ed3e14610291578063e5e656cb146102bc578063f2fde38b146102cf578063f46eccc4146102e257600080fd5b806370a082311461020557806379cc6790146102255780638da5cb5b1461023857806395d89b4114610263578063a9059cbb1461026b57600080fd5b8063153db98a116100f4578063153db98a1461019b57806318160ddd146101ae57806323b872dd146101c5578063313ce567146101d857806342966c68146101f257600080fd5b806303d41e0e1461012657806306fdde031461015e578063095ea7b3146101735780630d895ee114610186575b600080fd5b610149610134366004610979565b60076020526000908152604090205460ff1681565b60405190151581526020015b60405180910390f35b610166610305565b6040516101559190610a89565b610149610181366004610a46565b610393565b610199610194366004610a0a565b6103a9565b005b6101996101a9366004610a46565b610407565b6101b760025481565b604051908152602001610155565b6101496101d33660046109ce565b610462565b6101e0601281565b60405160ff9091168152602001610155565b610199610200366004610a70565b610568565b6101b7610213366004610979565b60036020526000908152604090205481565b610199610233366004610a46565b610575565b60055461024b906001600160a01b031681565b6040516001600160a01b039091168152602001610155565b610166610683565b610149610279366004610a46565b610690565b61019961028c366004610a0a565b61071a565b6101b761029f36600461099b565b600460209081526000928352604080842090915290825290205481565b6101996102ca366004610a46565b61076f565b6101996102dd366004610979565b6107c6565b6101496102f0366004610979565b60066020526000908152604090205460ff1681565b6000805461031290610b31565b80601f016020809104026020016040519081016040528092919081815260200182805461033e90610b31565b801561038b5780601f106103605761010080835404028352916020019161038b565b820191906000526020600020905b81548152906001019060200180831161036e57829003601f168201915b505050505081565b60006103a0338484610812565b50600192915050565b6005546001600160a01b031633146103dc5760405162461bcd60e51b81526004016103d390610ade565b60405180910390fd5b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b3360009081526006602052604090205460ff166104545760405162461bcd60e51b815260206004820152600b60248201526a4e6f74204d696e7465722160a81b60448201526064016103d3565b61045e8282610873565b5050565b6001600160a01b0383166000908152600460209081526040808320338452909152812054600019146104c7576001600160a01b0384166000908152600460209081526040808320338452909152812080548492906104c1908490610b1a565b90915550505b6001600160a01b038416600090815260036020526040812080548492906104ef908490610b1a565b90915550506001600160a01b0383166000908152600360205260408120805484929061051c908490610b02565b92505081905550826001600160a01b0316846001600160a01b0316600080516020610b838339815191528460405161055691815260200190565b60405180910390a35060019392505050565b61057233826108eb565b50565b6001600160a01b03821660009081526004602090815260408083203384529091529020548181101561060f5760405162461bcd60e51b815260206004820152603860248201527f4552433230494275726e61626c653a204275726e20616d6f756e74207265717560448201527f6573746564206578636565647320616c6c6f77616e636521000000000000000060648201526084016103d3565b6001600160a01b038316600090815260046020908152604080832033845290915290205460001914610674576001600160a01b03831660009081526004602090815260408083203384529091528120805484929061066e908490610b1a565b90915550505b61067e83836108eb565b505050565b6001805461031290610b31565b336000908152600360205260408120805483919083906106b1908490610b1a565b90915550506001600160a01b038316600090815260036020526040812080548492906106de908490610b02565b90915550506040518281526001600160a01b038416903390600080516020610b838339815191529060200160405180910390a350600192915050565b6005546001600160a01b031633146107445760405162461bcd60e51b81526004016103d390610ade565b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b3360009081526007602052604090205460ff166107bc5760405162461bcd60e51b815260206004820152600b60248201526a4e6f74204275726e65722160a81b60448201526064016103d3565b61045e82826108eb565b6005546001600160a01b031633146107f05760405162461bcd60e51b81526004016103d390610ade565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b80600260008282546108859190610b02565b90915550506001600160a01b038216600090815260036020526040812080548392906108b2908490610b02565b90915550506040518181526001600160a01b03831690600090600080516020610b83833981519152906020015b60405180910390a35050565b6001600160a01b03821660009081526003602052604081208054839290610913908490610b1a565b92505081905550806002600082825461092c9190610b1a565b90915550506040518181526000906001600160a01b03841690600080516020610b83833981519152906020016108df565b80356001600160a01b038116811461097457600080fd5b919050565b60006020828403121561098b57600080fd5b6109948261095d565b9392505050565b600080604083850312156109ae57600080fd5b6109b78361095d565b91506109c56020840161095d565b90509250929050565b6000806000606084860312156109e357600080fd5b6109ec8461095d565b92506109fa6020850161095d565b9150604084013590509250925092565b60008060408385031215610a1d57600080fd5b610a268361095d565b915060208301358015158114610a3b57600080fd5b809150509250929050565b60008060408385031215610a5957600080fd5b610a628361095d565b946020939093013593505050565b600060208284031215610a8257600080fd5b5035919050565b600060208083528351808285015260005b81811015610ab657858101830151858201604001528201610a9a565b81811115610ac8576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252600a90820152694e6f74204f776e65722160b01b604082015260600190565b60008219821115610b1557610b15610b6c565b500190565b600082821015610b2c57610b2c610b6c565b500390565b600181811c90821680610b4557607f821691505b60208210811415610b6657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220a9cd9cce9e56bec3255483594dcb3c5605b8829d7ed3585e4badca6fb1c3571464736f6c63430008070033

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063cf456ae711610071578063cf456ae71461027e578063dd62ed3e14610291578063e5e656cb146102bc578063f2fde38b146102cf578063f46eccc4146102e257600080fd5b806370a082311461020557806379cc6790146102255780638da5cb5b1461023857806395d89b4114610263578063a9059cbb1461026b57600080fd5b8063153db98a116100f4578063153db98a1461019b57806318160ddd146101ae57806323b872dd146101c5578063313ce567146101d857806342966c68146101f257600080fd5b806303d41e0e1461012657806306fdde031461015e578063095ea7b3146101735780630d895ee114610186575b600080fd5b610149610134366004610979565b60076020526000908152604090205460ff1681565b60405190151581526020015b60405180910390f35b610166610305565b6040516101559190610a89565b610149610181366004610a46565b610393565b610199610194366004610a0a565b6103a9565b005b6101996101a9366004610a46565b610407565b6101b760025481565b604051908152602001610155565b6101496101d33660046109ce565b610462565b6101e0601281565b60405160ff9091168152602001610155565b610199610200366004610a70565b610568565b6101b7610213366004610979565b60036020526000908152604090205481565b610199610233366004610a46565b610575565b60055461024b906001600160a01b031681565b6040516001600160a01b039091168152602001610155565b610166610683565b610149610279366004610a46565b610690565b61019961028c366004610a0a565b61071a565b6101b761029f36600461099b565b600460209081526000928352604080842090915290825290205481565b6101996102ca366004610a46565b61076f565b6101996102dd366004610979565b6107c6565b6101496102f0366004610979565b60066020526000908152604090205460ff1681565b6000805461031290610b31565b80601f016020809104026020016040519081016040528092919081815260200182805461033e90610b31565b801561038b5780601f106103605761010080835404028352916020019161038b565b820191906000526020600020905b81548152906001019060200180831161036e57829003601f168201915b505050505081565b60006103a0338484610812565b50600192915050565b6005546001600160a01b031633146103dc5760405162461bcd60e51b81526004016103d390610ade565b60405180910390fd5b6001600160a01b03919091166000908152600760205260409020805460ff1916911515919091179055565b3360009081526006602052604090205460ff166104545760405162461bcd60e51b815260206004820152600b60248201526a4e6f74204d696e7465722160a81b60448201526064016103d3565b61045e8282610873565b5050565b6001600160a01b0383166000908152600460209081526040808320338452909152812054600019146104c7576001600160a01b0384166000908152600460209081526040808320338452909152812080548492906104c1908490610b1a565b90915550505b6001600160a01b038416600090815260036020526040812080548492906104ef908490610b1a565b90915550506001600160a01b0383166000908152600360205260408120805484929061051c908490610b02565b92505081905550826001600160a01b0316846001600160a01b0316600080516020610b838339815191528460405161055691815260200190565b60405180910390a35060019392505050565b61057233826108eb565b50565b6001600160a01b03821660009081526004602090815260408083203384529091529020548181101561060f5760405162461bcd60e51b815260206004820152603860248201527f4552433230494275726e61626c653a204275726e20616d6f756e74207265717560448201527f6573746564206578636565647320616c6c6f77616e636521000000000000000060648201526084016103d3565b6001600160a01b038316600090815260046020908152604080832033845290915290205460001914610674576001600160a01b03831660009081526004602090815260408083203384529091528120805484929061066e908490610b1a565b90915550505b61067e83836108eb565b505050565b6001805461031290610b31565b336000908152600360205260408120805483919083906106b1908490610b1a565b90915550506001600160a01b038316600090815260036020526040812080548492906106de908490610b02565b90915550506040518281526001600160a01b038416903390600080516020610b838339815191529060200160405180910390a350600192915050565b6005546001600160a01b031633146107445760405162461bcd60e51b81526004016103d390610ade565b6001600160a01b03919091166000908152600660205260409020805460ff1916911515919091179055565b3360009081526007602052604090205460ff166107bc5760405162461bcd60e51b815260206004820152600b60248201526a4e6f74204275726e65722160a81b60448201526064016103d3565b61045e82826108eb565b6005546001600160a01b031633146107f05760405162461bcd60e51b81526004016103d390610ade565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b80600260008282546108859190610b02565b90915550506001600160a01b038216600090815260036020526040812080548392906108b2908490610b02565b90915550506040518181526001600160a01b03831690600090600080516020610b83833981519152906020015b60405180910390a35050565b6001600160a01b03821660009081526003602052604081208054839290610913908490610b1a565b92505081905550806002600082825461092c9190610b1a565b90915550506040518181526000906001600160a01b03841690600080516020610b83833981519152906020016108df565b80356001600160a01b038116811461097457600080fd5b919050565b60006020828403121561098b57600080fd5b6109948261095d565b9392505050565b600080604083850312156109ae57600080fd5b6109b78361095d565b91506109c56020840161095d565b90509250929050565b6000806000606084860312156109e357600080fd5b6109ec8461095d565b92506109fa6020850161095d565b9150604084013590509250925092565b60008060408385031215610a1d57600080fd5b610a268361095d565b915060208301358015158114610a3b57600080fd5b809150509250929050565b60008060408385031215610a5957600080fd5b610a628361095d565b946020939093013593505050565b600060208284031215610a8257600080fd5b5035919050565b600060208083528351808285015260005b81811015610ab657858101830151858201604001528201610a9a565b81811115610ac8576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252600a90820152694e6f74204f776e65722160b01b604082015260600190565b60008219821115610b1557610b15610b6c565b500190565b600082821015610b2c57610b2c610b6c565b500390565b600181811c90821680610b4557607f821691505b60208210811415610b6657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220a9cd9cce9e56bec3255483594dcb3c5605b8829d7ed3585e4badca6fb1c3571464736f6c63430008070033

4112:337:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3870:39;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2150:14:1;;2143:22;2125:41;;2113:2;2098:18;3870:39:0;;;;;;;;649:18;;;:::i;:::-;;;;;;;:::i;1923:162::-;;;;;;:::i;:::-;;:::i;3993:112::-;;;;;;:::i;:::-;;:::i;:::-;;4208:114;;;;;;:::i;:::-;;:::i;899:26::-;;;;;;;;;4369:25:1;;;4357:2;4342:18;899:26:0;4223:177:1;2334:368:0;;;;;;:::i;:::-;;:::i;840:35::-;;873:2;840:35;;;;;4577:4:1;4565:17;;;4547:36;;4535:2;4520:18;840:35:0;4405:184:1;2759:93:0;;;;;;:::i;:::-;;:::i;967:44::-;;;;;;:::i;:::-;;;;;;;;;;;;;;2858:406;;;;;;:::i;:::-;;:::i;3304:20::-;;;;;-1:-1:-1;;;;;3304:20:0;;;;;;-1:-1:-1;;;;;1941:32:1;;;1923:51;;1911:2;1896:18;3304:20:0;1777:203:1;674:20:0;;;:::i;2091:237::-;;;;;;:::i;:::-;;:::i;3704:112::-;;;;;;:::i;:::-;;:::i;1018:64::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;4328:118;;;;;;:::i;:::-;;:::i;3450:77::-;;;;;;:::i;:::-;;:::i;3581:39::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;649:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1923:162::-;1999:4;2016:39;2025:10;2037:8;2047:7;2016:8;:39::i;:::-;-1:-1:-1;2073:4:0;1923:162;;;;:::o;3993:112::-;3404:5;;-1:-1:-1;;;;;3404:5:0;3413:10;3404:19;3396:42;;;;-1:-1:-1;;;3396:42:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;4072:17:0;;;::::1;;::::0;;;:7:::1;:17;::::0;;;;:25;;-1:-1:-1;;4072:25:0::1;::::0;::::1;;::::0;;;::::1;::::0;;3993:112::o;4208:114::-;3665:10;3657:19;;;;:7;:19;;;;;;;;3649:43;;;;-1:-1:-1;;;3649:43:0;;3320:2:1;3649:43:0;;;3302:21:1;3359:2;3339:18;;;3332:30;-1:-1:-1;;;3378:18:1;;;3371:41;3429:18;;3649:43:0;3118:335:1;3649:43:0;4295:19:::1;4301:3;4306:7;4295:5;:19::i;:::-;4208:114:::0;;:::o;2334:368::-;-1:-1:-1;;;;;2446:16:0;;2425:4;2446:16;;;:9;:16;;;;;;;;2463:10;2446:28;;;;;;;;-1:-1:-1;;2446:49:0;2442:112;;-1:-1:-1;;;;;2512:16:0;;;;;;:9;:16;;;;;;;;2529:10;2512:28;;;;;;;:39;;2544:7;;2512:16;:39;;2544:7;;2512:39;:::i;:::-;;;;-1:-1:-1;;2442:112:0;-1:-1:-1;;;;;2564:16:0;;;;;;:9;:16;;;;;:27;;2584:7;;2564:16;:27;;2584:7;;2564:27;:::i;:::-;;;;-1:-1:-1;;;;;;;2602:14:0;;;;;;:9;:14;;;;;:25;;2620:7;;2602:14;:25;;2620:7;;2602:25;:::i;:::-;;;;;;;;2659:3;-1:-1:-1;;;;;2643:29:0;2652:5;-1:-1:-1;;;;;2643:29:0;-1:-1:-1;;;;;;;;;;;2664:7:0;2643:29;;;;4369:25:1;;4357:2;4342:18;;4223:177;2643:29:0;;;;;;;;-1:-1:-1;2690:4:0;2334:368;;;;;:::o;2759:93::-;2818:26;2824:10;2836:7;2818:5;:26::i;:::-;2759:93;:::o;2858:406::-;-1:-1:-1;;;;;2962:16:0;;2934:25;2962:16;;;:9;:16;;;;;;;;2979:10;2962:28;;;;;;;;3009;;;;3001:97;;;;-1:-1:-1;;;3001:97:0;;4000:2:1;3001:97:0;;;3982:21:1;4039:2;4019:18;;;4012:30;4078:34;4058:18;;;4051:62;4149:26;4129:18;;;4122:54;4193:19;;3001:97:0;3798:420:1;3001:97:0;-1:-1:-1;;;;;3115:16:0;;;;;;:9;:16;;;;;;;;3132:10;3115:28;;;;;;;;-1:-1:-1;;3115:49:0;3111:112;;-1:-1:-1;;;;;3181:16:0;;;;;;:9;:16;;;;;;;;3198:10;3181:28;;;;;;;:39;;3213:7;;3181:16;:39;;3213:7;;3181:39;:::i;:::-;;;;-1:-1:-1;;3111:112:0;3235:21;3241:5;3248:7;3235:5;:21::i;:::-;2923:341;2858:406;;:::o;674:20::-;;;;;;;:::i;2091:237::-;2190:10;2163:4;2180:21;;;:9;:21;;;;;:32;;2205:7;;2180:21;2163:4;;2180:32;;2205:7;;2180:32;:::i;:::-;;;;-1:-1:-1;;;;;;;2223:14:0;;;;;;:9;:14;;;;;:25;;2241:7;;2223:14;:25;;2241:7;;2223:25;:::i;:::-;;;;-1:-1:-1;;2264:34:0;;4369:25:1;;;-1:-1:-1;;;;;2264:34:0;;;2273:10;;-1:-1:-1;;;;;;;;;;;2264:34:0;4357:2:1;4342:18;2264:34:0;;;;;;;-1:-1:-1;2316:4:0;2091:237;;;;:::o;3704:112::-;3404:5;;-1:-1:-1;;;;;3404:5:0;3413:10;3404:19;3396:42;;;;-1:-1:-1;;;3396:42:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3783:17:0;;;::::1;;::::0;;;:7:::1;:17;::::0;;;;:25;;-1:-1:-1;;3783:25:0::1;::::0;::::1;;::::0;;;::::1;::::0;;3704:112::o;4328:118::-;3954:10;3946:19;;;;:7;:19;;;;;;;;3938:43;;;;-1:-1:-1;;;3938:43:0;;3660:2:1;3938:43:0;;;3642:21:1;3699:2;3679:18;;;3672:30;-1:-1:-1;;;3718:18:1;;;3711:41;3769:18;;3938:43:0;3458:335:1;3938:43:0;4417:21:::1;4423:5;4430:7;4417:5;:21::i;3450:77::-:0;3404:5;;-1:-1:-1;;;;;3404:5:0;3413:10;3404:19;3396:42;;;;-1:-1:-1;;;3396:42:0;;;;;;;:::i;:::-;3512:5:::1;:12:::0;;-1:-1:-1;;;;;;3512:12:0::1;-1:-1:-1::0;;;;;3512:12:0;;;::::1;::::0;;;::::1;::::0;;3450:77::o;1697:193::-;-1:-1:-1;;;;;1794:17:0;;;;;;;:9;:17;;;;;;;;:27;;;;;;;;;;;;;:37;;;1847:35;;4369:25:1;;;1847:35:0;;4342:18:1;1847:35:0;;;;;;;1697:193;;;:::o;1297:191::-;1385:7;1370:11;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;1403:14:0;;;;;;:9;:14;;;;;:25;;1421:7;;1403:14;:25;;1421:7;;1403:25;:::i;:::-;;;;-1:-1:-1;;1444:36:0;;4369:25:1;;;-1:-1:-1;;;;;1444:36:0;;;1461:3;;-1:-1:-1;;;;;;;;;;;1444:36:0;4357:2:1;4342:18;1444:36:0;;;;;;;;1297:191;;:::o;1494:197::-;-1:-1:-1;;;;;1569:16:0;;;;;;:9;:16;;;;;:27;;1589:7;;1569:16;:27;;1589:7;;1569:27;:::i;:::-;;;;;;;;1622:7;1607:11;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;1645:38:0;;4369:25:1;;;1669:3:0;;-1:-1:-1;;;;;1645:38:0;;;-1:-1:-1;;;;;;;;;;;1645:38:0;4357:2:1;4342:18;1645:38:0;4223:177:1;14:173;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:70;;177:1;174;167:12;111:70;14:173;;;:::o;192:186::-;251:6;304:2;292:9;283:7;279:23;275:32;272:52;;;320:1;317;310:12;272:52;343:29;362:9;343:29;:::i;:::-;333:39;192:186;-1:-1:-1;;;192:186:1:o;383:260::-;451:6;459;512:2;500:9;491:7;487:23;483:32;480:52;;;528:1;525;518:12;480:52;551:29;570:9;551:29;:::i;:::-;541:39;;599:38;633:2;622:9;618:18;599:38;:::i;:::-;589:48;;383:260;;;;;:::o;648:328::-;725:6;733;741;794:2;782:9;773:7;769:23;765:32;762:52;;;810:1;807;800:12;762:52;833:29;852:9;833:29;:::i;:::-;823:39;;881:38;915:2;904:9;900:18;881:38;:::i;:::-;871:48;;966:2;955:9;951:18;938:32;928:42;;648:328;;;;;:::o;981:347::-;1046:6;1054;1107:2;1095:9;1086:7;1082:23;1078:32;1075:52;;;1123:1;1120;1113:12;1075:52;1146:29;1165:9;1146:29;:::i;:::-;1136:39;;1225:2;1214:9;1210:18;1197:32;1272:5;1265:13;1258:21;1251:5;1248:32;1238:60;;1294:1;1291;1284:12;1238:60;1317:5;1307:15;;;981:347;;;;;:::o;1333:254::-;1401:6;1409;1462:2;1450:9;1441:7;1437:23;1433:32;1430:52;;;1478:1;1475;1468:12;1430:52;1501:29;1520:9;1501:29;:::i;:::-;1491:39;1577:2;1562:18;;;;1549:32;;-1:-1:-1;;;1333:254:1:o;1592:180::-;1651:6;1704:2;1692:9;1683:7;1679:23;1675:32;1672:52;;;1720:1;1717;1710:12;1672:52;-1:-1:-1;1743:23:1;;1592:180;-1:-1:-1;1592:180:1:o;2177:597::-;2289:4;2318:2;2347;2336:9;2329:21;2379:6;2373:13;2422:6;2417:2;2406:9;2402:18;2395:34;2447:1;2457:140;2471:6;2468:1;2465:13;2457:140;;;2566:14;;;2562:23;;2556:30;2532:17;;;2551:2;2528:26;2521:66;2486:10;;2457:140;;;2615:6;2612:1;2609:13;2606:91;;;2685:1;2680:2;2671:6;2660:9;2656:22;2652:31;2645:42;2606:91;-1:-1:-1;2758:2:1;2737:15;-1:-1:-1;;2733:29:1;2718:45;;;;2765:2;2714:54;;2177:597;-1:-1:-1;;;2177:597:1:o;2779:334::-;2981:2;2963:21;;;3020:2;3000:18;;;2993:30;-1:-1:-1;;;3054:2:1;3039:18;;3032:40;3104:2;3089:18;;2779:334::o;4594:128::-;4634:3;4665:1;4661:6;4658:1;4655:13;4652:39;;;4671:18;;:::i;:::-;-1:-1:-1;4707:9:1;;4594:128::o;4727:125::-;4767:4;4795:1;4792;4789:8;4786:34;;;4800:18;;:::i;:::-;-1:-1:-1;4837:9:1;;4727:125::o;4857:380::-;4936:1;4932:12;;;;4979;;;5000:61;;5054:4;5046:6;5042:17;5032:27;;5000:61;5107:2;5099:6;5096:14;5076:18;5073:38;5070:161;;;5153:10;5148:3;5144:20;5141:1;5134:31;5188:4;5185:1;5178:15;5216:4;5213:1;5206:15;5070:161;;4857:380;;;:::o;5242:127::-;5303:10;5298:3;5294:20;5291:1;5284:31;5334:4;5331:1;5324:15;5358:4;5355:1;5348:15

ipfs://a9cd9cce9e56bec3255483594dcb3c5605b8829d7ed3585e4badca6fb1c35714