Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Initializable    - function isConstructor()  contract ContextUpgradeSafe is Ini ...    - function __Context_init()    - function __Context_init_unchained()    - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ... library Address    - function isContract(address account)    - function sendValue(address payable re ...  contract ERC20UpgradeSafe is Initi ...    - function __ERC20_init(string memory n ...    - function __ERC20_init_unchained(strin ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _setupDecimals(uint8 decimal ...    - function _beforeTokenTransfer(address ...    - function __ERC20Burnable_init()    - function __ERC20Burnable_init_unchain ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract Plutus is ERC20BurnableUp ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-07-24
*/

// File: @openzeppelin/contracts-ethereum-package/contracts/Initializable.sol

pragma solidity >=0.4.24 <0.7.0;


/**
 * @title Initializable
 *
 * @dev Helper contract to support initializer functions. To use it, replace
 * the constructor with a function that has the `initializer` modifier.
 * WARNING: Unlike constructors, initializer functions must be manually
 * invoked. This applies both to deploying an Initializable contract, as well
 * as extending an Initializable contract via inheritance.
 * WARNING: When used with inheritance, manual care must be taken to not invoke
 * a parent initializer twice, or ensure that all initializers are idempotent,
 * because this is not dealt with automatically as with constructors.
 */
contract Initializable {

  /**
   * @dev Indicates that the contract has been initialized.
   */
  bool private initialized;

  /**
   * @dev Indicates that the contract is in the process of being initialized.
   */
  bool private initializing;

  /**
   * @dev Modifier to use in the initializer function of a contract.
   */
  modifier initializer() {
    require(initializing || isConstructor() || !initialized, "Contract instance has already been initialized");

    bool isTopLevelCall = !initializing;
    if (isTopLevelCall) {
      initializing = true;
      initialized = true;
    }

    _;

    if (isTopLevelCall) {
      initializing = false;
    }
  }

  /// @dev Returns true if and only if the function is running in the constructor
  function isConstructor() private view returns (bool) {
    // extcodesize checks the size of the code stored in an address, and
    // address returns the current address. Since the code is still not
    // deployed when running a constructor, any checks on its code size will
    // yield zero, making it an effective way to detect if a contract is
    // under construction or not.
    address self = address(this);
    uint256 cs;
    assembly { cs := extcodesize(self) }
    return cs == 0;
  }

  // Reserved storage space to allow for layout changes in the future.
  uint256[50] private ______gap;
}

// File: @openzeppelin/contracts-ethereum-package/contracts/GSN/Context.sol

pragma solidity ^0.6.0;


/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
contract ContextUpgradeSafe is Initializable {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.

    function __Context_init() internal initializer {
        __Context_init_unchained();
    }

    function __Context_init_unchained() internal initializer {


    }


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

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

    uint256[50] private __gap;
}

// File: @openzeppelin/contracts-ethereum-package/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.6.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    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);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// File: @openzeppelin/contracts-ethereum-package/contracts/math/SafeMath.sol

pragma solidity ^0.6.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: @openzeppelin/contracts-ethereum-package/contracts/utils/Address.sol

pragma solidity ^0.6.2;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != accountHash && codehash != 0x0);
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
        (bool success, ) = recipient.call{ value: amount }("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}

// File: @openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.6.0;






/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20MinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20UpgradeSafe is Initializable, ContextUpgradeSafe, IERC20 {
    using SafeMath for uint256;
    using Address for address;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for {name} and {symbol}, initializes {decimals} with
     * a default value of 18.
     *
     * To select a different value for {decimals}, use {_setupDecimals}.
     *
     * All three of these values are immutable: they can only be set once during
     * construction.
     */

    function __ERC20_init(string memory name, string memory symbol) internal initializer {
        __Context_init_unchained();
        __ERC20_init_unchained(name, symbol);
    }

    function __ERC20_init_unchained(string memory name, string memory symbol) internal initializer {


        _name = name;
        _symbol = symbol;
        _decimals = 18;

    }


    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless {_setupDecimals} is
     * called.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view override returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    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);

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

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

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

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

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    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);
    }

    /**
     * @dev Sets {decimals} to a value other than the default one of 18.
     *
     * WARNING: This function should only be called from the constructor. Most
     * applications that interact with token contracts will not expect
     * {decimals} to ever change, and may work incorrectly if it does.
     */
    function _setupDecimals(uint8 decimals_) internal {
        _decimals = decimals_;
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be to transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual { }

    uint256[44] private __gap;
}

// File: @openzeppelin/contracts-ethereum-package/contracts/token/ERC20/ERC20Burnable.sol

pragma solidity ^0.6.0;




/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20BurnableUpgradeSafe is Initializable, ContextUpgradeSafe, ERC20UpgradeSafe {
    function __ERC20Burnable_init() internal initializer {
        __Context_init_unchained();
        __ERC20Burnable_init_unchained();
    }

    function __ERC20Burnable_init_unchained() internal initializer {


    }

    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        uint256 decreasedAllowance = allowance(account, _msgSender()).sub(amount, "ERC20: burn amount exceeds allowance");

        _approve(account, _msgSender(), decreasedAllowance);
        _burn(account, amount);
    }

    uint256[50] private __gap;
}

// File: contracts/Plutus.sol

pragma solidity ^0.6.0;

contract Plutus is ERC20BurnableUpgradeSafe {

    address public bondedContract;
    address public unbondedContract;

    constructor(
        string memory name,
        string memory symbol,
        address _bondedContract,
        address _unbondedContract
    )
        public
    {
        __ERC20_init(name, symbol);

        bondedContract = _bondedContract;
        unbondedContract = _unbondedContract;

        _mint(
            bondedContract, 98000000 * uint256(10)**decimals()
        ); // 98,000,000.00
        _mint(
            unbondedContract, 22000000 * uint256(10)**decimals()
        ); // 22,000,000.00
    }
}

• Zokyo - July 26th, 2020 - Security Audit Report

[{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","type":"string"},{"internalType":"address","name":"_bondedContract","type":"address"},{"internalType":"address","name":"_unbondedContract","type":"address"}],"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":"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":"bondedContract","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","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":"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"},{"inputs":[],"name":"unbondedContract","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b506040516200146538038062001465833981810160405260808110156200003757600080fd5b81019080805160405193929190846401000000008211156200005857600080fd5b9083019060208201858111156200006e57600080fd5b82516401000000008111828201881017156200008957600080fd5b82525081516020918201929091019080838360005b83811015620000b85781810151838201526020016200009e565b50505050905090810190601f168015620000e65780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200010a57600080fd5b9083019060208201858111156200012057600080fd5b82516401000000008111828201881017156200013b57600080fd5b82525081516020918201929091019080838360005b838110156200016a57818101518382015260200162000150565b50505050905090810190601f168015620001985780820380516001836020036101000a031916815260200191505b50604090815260208201519101519092509050620001c084846001600160e01b036200026716565b60c980546001600160a01b038085166001600160a01b0319928316179283905560ca8054858316931692909217909155620002219116620002096001600160e01b036200034416565b60ff16600a0a6305d75c80026200034e60201b60201c565b60ca546200025d906001600160a01b0316620002456001600160e01b036200034416565b60ff16600a0a63014fb180026200034e60201b60201c565b5050505062000714565b600054610100900460ff16806200028c57506200028c6001600160e01b036200046a16565b806200029b575060005460ff16155b620002d85760405162461bcd60e51b815260040180806020018281038252602e81526020018062001437602e913960400191505060405180910390fd5b600054610100900460ff1615801562000304576000805460ff1961ff0019909116610100171660011790555b620003176001600160e01b036200047016565b6200032c83836001600160e01b036200052316565b80156200033f576000805461ff00191690555b505050565b606a5460ff165b90565b6001600160a01b038216620003aa576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b620003c1600083836001600160e01b036200033f16565b620003dd816067546200061060201b620009ca1790919060201c565b6067556001600160a01b03821660009081526065602090815260409091205462000412918390620009ca62000610821b17901c565b6001600160a01b03831660008181526065602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b303b1590565b600054610100900460ff1680620004955750620004956001600160e01b036200046a16565b80620004a4575060005460ff16155b620004e15760405162461bcd60e51b815260040180806020018281038252602e81526020018062001437602e913960400191505060405180910390fd5b600054610100900460ff161580156200050d576000805460ff1961ff0019909116610100171660011790555b801562000520576000805461ff00191690555b50565b600054610100900460ff1680620005485750620005486001600160e01b036200046a16565b8062000557575060005460ff16155b620005945760405162461bcd60e51b815260040180806020018281038252602e81526020018062001437602e913960400191505060405180910390fd5b600054610100900460ff16158015620005c0576000805460ff1961ff0019909116610100171660011790555b8251620005d590606890602086019062000672565b508151620005eb90606990602085019062000672565b50606a805460ff1916601217905580156200033f576000805461ff0019169055505050565b6000828201838110156200066b576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620006b557805160ff1916838001178555620006e5565b82800160010185558215620006e5579182015b82811115620006e5578251825591602001919060010190620006c8565b50620006f3929150620006f7565b5090565b6200034b91905b80821115620006f35760008155600101620006fe565b610d1380620007246000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb146102f6578063bf184f9314610322578063cdc610e214610346578063dd62ed3e1461034e576100f5565b806370a082311461027057806379cc67901461029657806395d89b41146102c2578063a457c2d7146102ca576100f5565b806323b872dd116100d357806323b872dd146101d1578063313ce56714610207578063395093511461022557806342966c6814610251576100f5565b806306fdde03146100fa578063095ea7b31461017757806318160ddd146101b7575b600080fd5b61010261037c565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561018d57600080fd5b506001600160a01b038135169060200135610412565b604080519115158252519081900360200190f35b6101bf61042f565b60408051918252519081900360200190f35b6101a3600480360360608110156101e757600080fd5b506001600160a01b03813581169160208101359091169060400135610435565b61020f6104c2565b6040805160ff9092168252519081900360200190f35b6101a36004803603604081101561023b57600080fd5b506001600160a01b0381351690602001356104cb565b61026e6004803603602081101561026757600080fd5b503561051f565b005b6101bf6004803603602081101561028657600080fd5b50356001600160a01b0316610533565b61026e600480360360408110156102ac57600080fd5b506001600160a01b03813516906020013561054e565b6101026105ae565b6101a3600480360360408110156102e057600080fd5b506001600160a01b03813516906020013561060f565b6101a36004803603604081101561030c57600080fd5b506001600160a01b03813516906020013561067d565b61032a610691565b604080516001600160a01b039092168252519081900360200190f35b61032a6106a0565b6101bf6004803603604081101561036457600080fd5b506001600160a01b03813581169160200135166106af565b60688054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104085780601f106103dd57610100808354040283529160200191610408565b820191906000526020600020905b8154815290600101906020018083116103eb57829003601f168201915b5050505050905090565b600061042661041f6106da565b84846106de565b50600192915050565b60675490565b60006104428484846107ca565b6104b88461044e6106da565b6104b385604051806060016040528060288152602001610c03602891396001600160a01b038a1660009081526066602052604081209061048c6106da565b6001600160a01b03168152602081019190915260400160002054919063ffffffff61093316565b6106de565b5060019392505050565b606a5460ff1690565b60006104266104d86106da565b846104b385606660006104e96106da565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff6109ca16565b61053061052a6106da565b82610a2b565b50565b6001600160a01b031660009081526065602052604090205490565b600061058b82604051806060016040528060248152602001610c2b6024913961057e866105796106da565b6106af565b919063ffffffff61093316565b905061059f836105996106da565b836106de565b6105a98383610a2b565b505050565b60698054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104085780601f106103dd57610100808354040283529160200191610408565b600061042661061c6106da565b846104b385604051806060016040528060258152602001610cb960259139606660006106466106da565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff61093316565b600061042661068a6106da565b84846107ca565b60c9546001600160a01b031681565b60ca546001600160a01b031681565b6001600160a01b03918216600090815260666020908152604080832093909416825291909152205490565b3390565b6001600160a01b0383166107235760405162461bcd60e51b8152600401808060200182810382526024815260200180610c956024913960400191505060405180910390fd5b6001600160a01b0382166107685760405162461bcd60e51b8152600401808060200182810382526022815260200180610bbb6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260666020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b03831661080f5760405162461bcd60e51b8152600401808060200182810382526025815260200180610c706025913960400191505060405180910390fd5b6001600160a01b0382166108545760405162461bcd60e51b8152600401808060200182810382526023815260200180610b766023913960400191505060405180910390fd5b61085f8383836105a9565b6108a281604051806060016040528060268152602001610bdd602691396001600160a01b038616600090815260656020526040902054919063ffffffff61093316565b6001600160a01b0380851660009081526065602052604080822093909355908416815220546108d7908263ffffffff6109ca16565b6001600160a01b0380841660008181526065602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600081848411156109c25760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561098757818101518382015260200161096f565b50505050905090810190601f1680156109b45780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015610a24576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610a705760405162461bcd60e51b8152600401808060200182810382526021815260200180610c4f6021913960400191505060405180910390fd5b610a7c826000836105a9565b610abf81604051806060016040528060228152602001610b99602291396001600160a01b038516600090815260656020526040902054919063ffffffff61093316565b6001600160a01b038316600090815260656020526040902055606754610aeb908263ffffffff610b3316565b6067556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6000610a2483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061093356fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220b5f33353533809888e876b946e6e596bdad3e59a34789f2b72a08665ca4ff96e64736f6c63430006040033436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a6564000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c00000000000000000000000009976403b6456941673bb1855b25b25e5b58e67c70000000000000000000000001dfcfbf14bed728f577287d384d46bfe228c61c20000000000000000000000000000000000000000000000000000000000000006537574756c700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000453544c5000000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063a9059cbb11610066578063a9059cbb146102f6578063bf184f9314610322578063cdc610e214610346578063dd62ed3e1461034e576100f5565b806370a082311461027057806379cc67901461029657806395d89b41146102c2578063a457c2d7146102ca576100f5565b806323b872dd116100d357806323b872dd146101d1578063313ce56714610207578063395093511461022557806342966c6814610251576100f5565b806306fdde03146100fa578063095ea7b31461017757806318160ddd146101b7575b600080fd5b61010261037c565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101a36004803603604081101561018d57600080fd5b506001600160a01b038135169060200135610412565b604080519115158252519081900360200190f35b6101bf61042f565b60408051918252519081900360200190f35b6101a3600480360360608110156101e757600080fd5b506001600160a01b03813581169160208101359091169060400135610435565b61020f6104c2565b6040805160ff9092168252519081900360200190f35b6101a36004803603604081101561023b57600080fd5b506001600160a01b0381351690602001356104cb565b61026e6004803603602081101561026757600080fd5b503561051f565b005b6101bf6004803603602081101561028657600080fd5b50356001600160a01b0316610533565b61026e600480360360408110156102ac57600080fd5b506001600160a01b03813516906020013561054e565b6101026105ae565b6101a3600480360360408110156102e057600080fd5b506001600160a01b03813516906020013561060f565b6101a36004803603604081101561030c57600080fd5b506001600160a01b03813516906020013561067d565b61032a610691565b604080516001600160a01b039092168252519081900360200190f35b61032a6106a0565b6101bf6004803603604081101561036457600080fd5b506001600160a01b03813581169160200135166106af565b60688054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104085780601f106103dd57610100808354040283529160200191610408565b820191906000526020600020905b8154815290600101906020018083116103eb57829003601f168201915b5050505050905090565b600061042661041f6106da565b84846106de565b50600192915050565b60675490565b60006104428484846107ca565b6104b88461044e6106da565b6104b385604051806060016040528060288152602001610c03602891396001600160a01b038a1660009081526066602052604081209061048c6106da565b6001600160a01b03168152602081019190915260400160002054919063ffffffff61093316565b6106de565b5060019392505050565b606a5460ff1690565b60006104266104d86106da565b846104b385606660006104e96106da565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff6109ca16565b61053061052a6106da565b82610a2b565b50565b6001600160a01b031660009081526065602052604090205490565b600061058b82604051806060016040528060248152602001610c2b6024913961057e866105796106da565b6106af565b919063ffffffff61093316565b905061059f836105996106da565b836106de565b6105a98383610a2b565b505050565b60698054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104085780601f106103dd57610100808354040283529160200191610408565b600061042661061c6106da565b846104b385604051806060016040528060258152602001610cb960259139606660006106466106da565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff61093316565b600061042661068a6106da565b84846107ca565b60c9546001600160a01b031681565b60ca546001600160a01b031681565b6001600160a01b03918216600090815260666020908152604080832093909416825291909152205490565b3390565b6001600160a01b0383166107235760405162461bcd60e51b8152600401808060200182810382526024815260200180610c956024913960400191505060405180910390fd5b6001600160a01b0382166107685760405162461bcd60e51b8152600401808060200182810382526022815260200180610bbb6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260666020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b03831661080f5760405162461bcd60e51b8152600401808060200182810382526025815260200180610c706025913960400191505060405180910390fd5b6001600160a01b0382166108545760405162461bcd60e51b8152600401808060200182810382526023815260200180610b766023913960400191505060405180910390fd5b61085f8383836105a9565b6108a281604051806060016040528060268152602001610bdd602691396001600160a01b038616600090815260656020526040902054919063ffffffff61093316565b6001600160a01b0380851660009081526065602052604080822093909355908416815220546108d7908263ffffffff6109ca16565b6001600160a01b0380841660008181526065602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600081848411156109c25760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561098757818101518382015260200161096f565b50505050905090810190601f1680156109b45780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015610a24576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610a705760405162461bcd60e51b8152600401808060200182810382526021815260200180610c4f6021913960400191505060405180910390fd5b610a7c826000836105a9565b610abf81604051806060016040528060228152602001610b99602291396001600160a01b038516600090815260656020526040902054919063ffffffff61093316565b6001600160a01b038316600090815260656020526040902055606754610aeb908263ffffffff610b3316565b6067556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6000610a2483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061093356fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e20616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa2646970667358221220b5f33353533809888e876b946e6e596bdad3e59a34789f2b72a08665ca4ff96e64736f6c63430006040033

27455:661:0:-:0;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;27455:661:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;9;2:12;17013:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;17013:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19119:169;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;19119:169:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;18088:100;;;:::i;:::-;;;;;;;;;;;;;;;;19762:321;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;19762:321:0;;;;;;;;;;;;;;;;;:::i;17940:83::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20492:218;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;20492:218:0;;;;;;;;:::i;26649:91::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;26649:91:0;;:::i;:::-;;18251:119;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;18251:119:0;-1:-1:-1;;;;;18251:119:0;;:::i;27059:295::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;27059:295:0;;;;;;;;:::i;17215:87::-;;;:::i;21213:269::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;21213:269:0;;;;;;;;:::i;18583:175::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;18583:175:0;;;;;;;;:::i;27508:29::-;;;:::i;:::-;;;;-1:-1:-1;;;;;27508:29:0;;;;;;;;;;;;;;27544:31;;;:::i;18821:151::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;;;;;;18821:151:0;;;;;;;;;;:::i;17013:83::-;17083:5;17076:12;;;;;;;;-1:-1:-1;;17076:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17050:13;;17076:12;;17083:5;;17076:12;;17083:5;17076:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17013:83;:::o;19119:169::-;19202:4;19219:39;19228:12;:10;:12::i;:::-;19242:7;19251:6;19219:8;:39::i;:::-;-1:-1:-1;19276:4:0;19119:169;;;;:::o;18088:100::-;18168:12;;18088:100;:::o;19762:321::-;19868:4;19885:36;19895:6;19903:9;19914:6;19885:9;:36::i;:::-;19932:121;19941:6;19949:12;:10;:12::i;:::-;19963:89;20001:6;19963:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19963:19:0;;;;;;:11;:19;;;;;;19983:12;:10;:12::i;:::-;-1:-1:-1;;;;;19963:33:0;;;;;;;;;;;;-1:-1:-1;19963:33:0;;;:89;;:37;:89;:::i;:::-;19932:8;:121::i;:::-;-1:-1:-1;20071:4:0;19762:321;;;;;:::o;17940:83::-;18006:9;;;;17940:83;:::o;20492:218::-;20580:4;20597:83;20606:12;:10;:12::i;:::-;20620:7;20629:50;20668:10;20629:11;:25;20641:12;:10;:12::i;:::-;-1:-1:-1;;;;;20629:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;20629:25:0;;;:34;;;;;;;;;;;:50;:38;:50;:::i;26649:91::-;26705:27;26711:12;:10;:12::i;:::-;26725:6;26705:5;:27::i;:::-;26649:91;:::o;18251:119::-;-1:-1:-1;;;;;18344:18:0;18317:7;18344:18;;;:9;:18;;;;;;;18251:119::o;27059:295::-;27136:26;27165:84;27202:6;27165:84;;;;;;;;;;;;;;;;;:32;27175:7;27184:12;:10;:12::i;:::-;27165:9;:32::i;:::-;:36;:84;;:36;:84;:::i;:::-;27136:113;;27262:51;27271:7;27280:12;:10;:12::i;:::-;27294:18;27262:8;:51::i;:::-;27324:22;27330:7;27339:6;27324:5;:22::i;:::-;27059:295;;;:::o;17215:87::-;17287:7;17280:14;;;;;;;;-1:-1:-1;;17280:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17254:13;;17280:14;;17287:7;;17280:14;;17287:7;17280:14;;;;;;;;;;;;;;;;;;;;;;;;21213:269;21306:4;21323:129;21332:12;:10;:12::i;:::-;21346:7;21355:96;21394:15;21355:96;;;;;;;;;;;;;;;;;:11;:25;21367:12;:10;:12::i;:::-;-1:-1:-1;;;;;21355:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;21355:25:0;;;:34;;;;;;;;;;;:96;;:38;:96;:::i;18583:175::-;18669:4;18686:42;18696:12;:10;:12::i;:::-;18710:9;18721:6;18686:9;:42::i;27508:29::-;;;-1:-1:-1;;;;;27508:29:0;;:::o;27544:31::-;;;-1:-1:-1;;;;;27544:31:0;;:::o;18821:151::-;-1:-1:-1;;;;;18937:18:0;;;18910:7;18937:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;18821:151::o;3167:106::-;3255:10;3167:106;:::o;24360:346::-;-1:-1:-1;;;;;24462:19:0;;24454:68;;;;-1:-1:-1;;;24454:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24541:21:0;;24533:68;;;;-1:-1:-1;;;24533:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;24614:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;24666:32;;;;;;;;;;;;;;;;;24360:346;;;:::o;21972:539::-;-1:-1:-1;;;;;22078:20:0;;22070:70;;;;-1:-1:-1;;;22070:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;22159:23:0;;22151:71;;;;-1:-1:-1;;;22151:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22235:47;22256:6;22264:9;22275:6;22235:20;:47::i;:::-;22315:71;22337:6;22315:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;22315:17:0;;;;;;:9;:17;;;;;;;:71;;:21;:71;:::i;:::-;-1:-1:-1;;;;;22295:17:0;;;;;;;:9;:17;;;;;;:91;;;;22420:20;;;;;;;:32;;22445:6;22420:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;22397:20:0;;;;;;;:9;:20;;;;;;;;;:55;;;;22468:35;;;;;;;22397:20;;22468:35;;;;;;;;;;;;;21972:539;;;:::o;8208:192::-;8294:7;8330:12;8322:6;;;;8314:29;;;;-1:-1:-1;;;8314:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;8314:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;8366:5:0;;;8208:192::o;7321:181::-;7379:7;7411:5;;;7435:6;;;;7427:46;;;;;-1:-1:-1;;;7427:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7493:1;7321:181;-1:-1:-1;;;7321:181:0:o;23502:418::-;-1:-1:-1;;;;;23586:21:0;;23578:67;;;;-1:-1:-1;;;23578:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23658:49;23679:7;23696:1;23700:6;23658:20;:49::i;:::-;23741:68;23764:6;23741:68;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;23741:18:0;;;;;;:9;:18;;;;;;;:68;;:22;:68;:::i;:::-;-1:-1:-1;;;;;23720:18:0;;;;;;:9;:18;;;;;:89;23835:12;;:24;;23852:6;23835:24;:16;:24;:::i;:::-;23820:12;:39;23875:37;;;;;;;;23901:1;;-1:-1:-1;;;;;23875:37:0;;;;;;;;;;;;23502:418;;:::o;7777:136::-;7835:7;7862:43;7866:1;7869;7862:43;;;;;;;;;;;;;;;;;:3;:43::i

ipfs://b5f33353533809888e876b946e6e596bdad3e59a34789f2b72a08665ca4ff96e