Token

Contract Source Code (Solidity)Audit Report

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(address sender, ... interface IWCHI is IERC20    - function burn (uint256 value)    - function increaseAllowance (address s ...    - function decreaseAllowance (address s ...  contract WCHI is IWCHI *    - function approve (address spender, ui ...    - function transfer (address to, uint25 ...    - function transferFrom (address from, ...    - function uncheckedTransfer (address f ...    - function burn (uint256 value)    - function increaseAllowance (address s ...    - function decreaseAllowance (address s ...    - function deductBalance (address from, ...    - function setApproval (address owner, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-03-31
*/

// File: contracts/IERC20.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.7.6;

/**
 * @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: contracts/IWCHI.sol

// Copyright (C) 2021 Autonomous Worlds Ltd

pragma solidity ^0.7.6;


/**
 * @dev Interface for the wrapped CHI (WCHI) token.
 */
interface IWCHI is IERC20
{

  /**
   * @dev Burns the given number of tokens, reducing total supply.
   */
  function burn (uint256 value) external;

  /**
   * @dev Increases the allowance of a given spender by the given amount.
   */
  function increaseAllowance (address spender, uint256 addedValue)
      external returns (bool);

  /**
   * @dev Decreases the allowance of a given spender by the given amount.
   */
  function decreaseAllowance (address spender, uint256 removedValue)
      external returns (bool);

}

// File: contracts/WCHI.sol

// Copyright (C) 2021 Autonomous Worlds Ltd

pragma solidity ^0.7.6;


/**
 * @dev Wrapped CHI (WCHI) token.  This contract is not upgradable and not
 * owned, but it grants an initial supply to the contract creator.  The Xaya
 * team will hold these tokens, and give them out for CHI locked on the
 * Xaya network.  When WCHI tokens are returned, those CHI will be released
 * again.
 */
contract WCHI is IWCHI
{

  string public constant name = "Wrapped CHI";
  string public constant symbol = "WCHI";

  /** @dev Native CHI has 8 decimals (like BTC), we mimic that here.  */
  uint8 public constant decimals = 8;

  /**
   * @dev Initial supply of tokens minted.  This is a bit larger than the
   * real total supply of CHI.
   */
  uint256 internal constant initialSupply = 78 * 10**6 * 10**decimals;

  /**
   * @dev Total supply of tokens.  This includes tokens that are in the
   * Xaya team's reserve, i.e. do not correspond to real CHI locked
   * in the treasury.
   */
  uint256 public override totalSupply;

  /** @dev Balances of tokens per address.  */
  mapping (address => uint256) public override balanceOf;

  /**
   * @dev Allowances for accounts (second) to spend from the balance
   * of an owner (first).
   */
  mapping (address => mapping (address => uint256)) public override allowance;

  /**
   * @dev In the constructor, we grant the contract creator the initial balance.
   * This is the only place where any address has special rights compared
   * to all others.
   */
  constructor ()
  {
    totalSupply = initialSupply;
    balanceOf[msg.sender] = initialSupply;
    emit Transfer (address (0), msg.sender, initialSupply);
  }

  /**
   * @dev Sets the allowance afforded to the given spender by
   * the message sender.
   */
  function approve (address spender, uint256 value)
      external override returns (bool)
  {
    setApproval (msg.sender, spender, value);
    return true;
  }

  /**
   * @dev Moves a given amount of tokens from the message sender's
   * account to the recipient.  If to is the zero address, then those
   * tokens are burnt and reduce the total supply.
   */
  function transfer (address to, uint256 value) external override returns (bool)
  {
    uncheckedTransfer (msg.sender, to, value);
    return true;
  }

  /**
   * @dev Moves a given amount of tokens from the sender account to the
   * recipient.  If from is not the message sender, then it needs to have
   * sufficient allowance.
   */
  function transferFrom (address from, address to, uint256 value)
      external override returns (bool)
  {
    if (from != msg.sender)
      {
        /* Check for the allowance and reduce it.  */
        uint256 allowed = allowance[from][msg.sender];
        if (allowed != type (uint256).max)
          {
            require (allowed >= value, "WCHI: allowance exceeded");
            uint256 newAllowed = allowed - value;
            setApproval (from, msg.sender, newAllowed);
          }
      }

    uncheckedTransfer (from, to, value);
    return true;
  }

  /**
   * @dev Internal transfer implementation.  This is used to implement transfer
   * and transferFrom, and does not check that the sender is actually
   * allowed to spend the tokens.
   */
  function uncheckedTransfer (address from, address to, uint256 value) internal
  {
    require (to != address (0), "WCHI: transfer to zero address");
    require (to != address (this), "WCHI: transfer to contract address");

    deductBalance (from, value);
    balanceOf[to] += value;

    emit Transfer (from, to, value);
  }

  /**
   * @dev Burns tokens from the sender's balance, reducing total supply.
   */
  function burn (uint256 value) external override
  {
    deductBalance (msg.sender, value);
    assert (totalSupply >= value);
    totalSupply -= value;
    emit Transfer (msg.sender, address (0), value);
  }

  /**
   * @dev Increases the allowance of a given spender by a certain
   * amount (rather than explicitly setting the new allowance).  This fails
   * if the new allowance would be at infinity (or overflow).
   */
  function increaseAllowance (address spender, uint256 addedValue)
      external override returns (bool)
  {
    uint256 allowed = allowance[msg.sender][spender];

    uint256 increaseToInfinity = type (uint256).max - allowed;
    require (addedValue < increaseToInfinity,
             "WCHI: increase allowance overflow");

    setApproval (msg.sender, spender, allowed + addedValue);
    return true;
  }

  /**
   * @dev Decreases the allowance of a given spender by a certain value.
   * If the value is more than the current allowance, it is set to zero.
   */
  function decreaseAllowance (address spender, uint256 removedValue)
      external override returns (bool)
  {
    uint256 allowed = allowance[msg.sender][spender];

    if (removedValue >= allowed)
      setApproval (msg.sender, spender, 0);
    else
      setApproval (msg.sender, spender, allowed - removedValue);

    return true;
  }

  /**
   * @dev Internal helper function to check the balance of the given user
   * and deduct the given amount.
   */
  function deductBalance (address from, uint256 value) internal
  {
    uint256 balance = balanceOf[from];
    require (balance >= value, "WCHI: insufficient balance");
    balanceOf[from] = balance - value;
  }

  /**
   * @dev Internal helper function to explicitly set the allowance of
   * a spender without any checks, and emit the Approval event.
   */
  function setApproval (address owner, address spender, uint256 value) internal
  {
    allowance[owner][spender] = value;
    emit Approval (owner, spender, value);
  }

}

• Solidified - March 30th, 2021 - Security Audit Report

[{"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":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","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":"removedValue","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":"to","type":"address"},{"internalType":"uint256","name":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50661bb60f053f800060008181553380825260016020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a361099a806100736000396000f3fe608060405234801561001057600080fd5b50600436106100d45760003560e01c806342966c6811610081578063a457c2d71161005b578063a457c2d7146102b1578063a9059cbb146102ea578063dd62ed3e14610323576100d4565b806342966c681461025757806370a082311461027657806395d89b41146102a9576100d4565b806323b872dd116100b257806323b872dd146101bd578063313ce56714610200578063395093511461021e576100d4565b806306fdde03146100d9578063095ea7b31461015657806318160ddd146101a3575b600080fd5b6100e161035e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561011b578181015183820152602001610103565b50505050905090810190601f1680156101485780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61018f6004803603604081101561016c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610397565b604080519115158252519081900360200190f35b6101ab6103ad565b60408051918252519081900360200190f35b61018f600480360360608110156101d357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356103b3565b6102086104c0565b6040805160ff9092168252519081900360200190f35b61018f6004803603604081101561023457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356104c5565b6102746004803603602081101561026d57600080fd5b5035610568565b005b6101ab6004803603602081101561028c57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166105c0565b6100e16105d2565b61018f600480360360408110156102c757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561060b565b61018f6004803603604081101561030057600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610661565b6101ab6004803603604081101561033957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602001351661066e565b6040518060400160405280600b81526020017f577261707065642043484900000000000000000000000000000000000000000081525081565b60006103a433848461068b565b50600192915050565b60005481565b600073ffffffffffffffffffffffffffffffffffffffff841633146104ab5773ffffffffffffffffffffffffffffffffffffffff841660009081526002602090815260408083203384529091529020547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146104a9578281101561049957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f574348493a20616c6c6f77616e63652065786365656465640000000000000000604482015290519081900360640190fd5b8281036104a786338361068b565b505b505b6104b68484846106fa565b5060019392505050565b600881565b33600090815260026020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120548019808410610550576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806109446021913960400191505060405180910390fd5b61055d338686850161068b565b506001949350505050565b6105723382610860565b80600054101561057e57fe5b60008054829003815560408051838152905133917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a350565b60016020526000908152604090205481565b6040518060400160405280600481526020017f574348490000000000000000000000000000000000000000000000000000000081525081565b33600090815260026020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120548083106106545761064f3385600061068b565b6104b6565b6104b6338585840361068b565b60006103a43384846106fa565b600260209081526000928352604080842090915290825290205481565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff821661077c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f574348493a207472616e7366657220746f207a65726f20616464726573730000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff82163014156107eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806109226022913960400191505060405180910390fd5b6107f58382610860565b73ffffffffffffffffffffffffffffffffffffffff8083166000818152600160209081526040918290208054860190558151858152915192938716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054818110156108f557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f574348493a20696e73756666696369656e742062616c616e6365000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff90921660009081526001602052604090209103905556fe574348493a207472616e7366657220746f20636f6e74726163742061646472657373574348493a20696e63726561736520616c6c6f77616e6365206f766572666c6f77a26469706673582212205670d98d317cd3c17b8cba3f44e842857776337c386d585ac06c19e20228c0fd64736f6c63430007060033

0x608060405234801561001057600080fd5b50600436106100d45760003560e01c806342966c6811610081578063a457c2d71161005b578063a457c2d7146102b1578063a9059cbb146102ea578063dd62ed3e14610323576100d4565b806342966c681461025757806370a082311461027657806395d89b41146102a9576100d4565b806323b872dd116100b257806323b872dd146101bd578063313ce56714610200578063395093511461021e576100d4565b806306fdde03146100d9578063095ea7b31461015657806318160ddd146101a3575b600080fd5b6100e161035e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561011b578181015183820152602001610103565b50505050905090810190601f1680156101485780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61018f6004803603604081101561016c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610397565b604080519115158252519081900360200190f35b6101ab6103ad565b60408051918252519081900360200190f35b61018f600480360360608110156101d357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356103b3565b6102086104c0565b6040805160ff9092168252519081900360200190f35b61018f6004803603604081101561023457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356104c5565b6102746004803603602081101561026d57600080fd5b5035610568565b005b6101ab6004803603602081101561028c57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff166105c0565b6100e16105d2565b61018f600480360360408110156102c757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561060b565b61018f6004803603604081101561030057600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610661565b6101ab6004803603604081101561033957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602001351661066e565b6040518060400160405280600b81526020017f577261707065642043484900000000000000000000000000000000000000000081525081565b60006103a433848461068b565b50600192915050565b60005481565b600073ffffffffffffffffffffffffffffffffffffffff841633146104ab5773ffffffffffffffffffffffffffffffffffffffff841660009081526002602090815260408083203384529091529020547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146104a9578281101561049957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f574348493a20616c6c6f77616e63652065786365656465640000000000000000604482015290519081900360640190fd5b8281036104a786338361068b565b505b505b6104b68484846106fa565b5060019392505050565b600881565b33600090815260026020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120548019808410610550576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806109446021913960400191505060405180910390fd5b61055d338686850161068b565b506001949350505050565b6105723382610860565b80600054101561057e57fe5b60008054829003815560408051838152905133917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a350565b60016020526000908152604090205481565b6040518060400160405280600481526020017f574348490000000000000000000000000000000000000000000000000000000081525081565b33600090815260026020908152604080832073ffffffffffffffffffffffffffffffffffffffff861684529091528120548083106106545761064f3385600061068b565b6104b6565b6104b6338585840361068b565b60006103a43384846106fa565b600260209081526000928352604080842090915290825290205481565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff821661077c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f574348493a207472616e7366657220746f207a65726f20616464726573730000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff82163014156107eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806109226022913960400191505060405180910390fd5b6107f58382610860565b73ffffffffffffffffffffffffffffffffffffffff8083166000818152600160209081526040918290208054860190558151858152915192938716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3505050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054818110156108f557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f574348493a20696e73756666696369656e742062616c616e6365000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff90921660009081526001602052604090209103905556fe574348493a207472616e7366657220746f20636f6e74726163742061646472657373574348493a20696e63726561736520616c6c6f77616e6365206f766572666c6f77a26469706673582212205670d98d317cd3c17b8cba3f44e842857776337c386d585ac06c19e20228c0fd64736f6c63430007060033

3959:5410:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3990:43;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5380:164;;;;;;;;;;;;;;;;-1:-1:-1;5380:164:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;4572:35;;;:::i;:::-;;;;;;;;;;;;;;;;6105:580;;;;;;;;;;;;;;;;-1:-1:-1;6105:580:0;;;;;;;;;;;;;;;;;;:::i;4157:34::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7761:416;;;;;;;;;;;;;;;;-1:-1:-1;7761:416:0;;;;;;;;;:::i;7321:213::-;;;;;;;;;;;;;;;;-1:-1:-1;7321:213:0;;:::i;:::-;;4662:54;;;;;;;;;;;;;;;;-1:-1:-1;4662:54:0;;;;:::i;4038:38::-;;;:::i;8345:348::-;;;;;;;;;;;;;;;;-1:-1:-1;8345:348:0;;;;;;;;;:::i;5755:154::-;;;;;;;;;;;;;;;;-1:-1:-1;5755:154:0;;;;;;;;;:::i;4834:75::-;;;;;;;;;;;;;;;;-1:-1:-1;4834:75:0;;;;;;;;;;;:::i;3990:43::-;;;;;;;;;;;;;;;;;;;:::o;5380:164::-;5464:4;5480:40;5493:10;5505:7;5514:5;5480:11;:40::i;:::-;-1:-1:-1;5534:4:0;5380:164;;;;:::o;4572:35::-;;;;:::o;6105:580::-;6203:4;6223:18;;;6231:10;6223:18;6219:399;;6334:15;;;6316;6334;;;:9;:15;;;;;;;;6350:10;6334:27;;;;;;;;6387:18;6376:29;;6372:237;;6453:5;6442:7;:16;;6433:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6523:15;;;6553:42;6566:4;6572:10;6523:15;6553:11;:42::i;:::-;6372:237;;6219:399;;6626:35;6645:4;6651:2;6655:5;6626:17;:35::i;:::-;-1:-1:-1;6675:4:0;6105:580;;;;;:::o;4157:34::-;4190:1;4157:34;:::o;7761:416::-;7904:10;7860:4;7894:21;;;:9;:21;;;;;;;;;:30;;;;;;;;;;7962:28;;8006:31;;;7997:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8098:55;8111:10;8123:7;8142:10;8132:7;:20;8098:11;:55::i;:::-;-1:-1:-1;8167:4:0;;7761:416;-1:-1:-1;;;;7761:416:0:o;7321:213::-;7379:33;7394:10;7406:5;7379:13;:33::i;:::-;7442:5;7427:11;;:20;;7419:29;;;;7455:11;:20;;;;;;;7487:41;;;;;;;;7497:10;;7487:41;;;;;;;;;;7321:213;:::o;4662:54::-;;;;;;;;;;;;;:::o;4038:38::-;;;;;;;;;;;;;;;;;;;:::o;8345:348::-;8490:10;8446:4;8480:21;;;:9;:21;;;;;;;;;:30;;;;;;;;;;8523:23;;;8519:148;;8555:36;8568:10;8580:7;8589:1;8555:11;:36::i;:::-;8519:148;;;8610:57;8623:10;8635:7;8654:12;8644:7;:22;8610:11;:57::i;5755:154::-;5828:4;5844:41;5863:10;5875:2;5879:5;5844:17;:41::i;4834:75::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;9193:171::-;9281:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;9326:32;;;;;;;;;;;;;;;;;9193:171;;;:::o;6892:335::-;6989:17;;;6980:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7057:20;;;7072:4;7057:20;;7048:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7125:27;7140:4;7146:5;7125:13;:27::i;:::-;7159:13;;;;;;;;:9;:13;;;;;;;;;:22;;;;;;7195:26;;;;;;;7159:13;;7195:26;;;;;;;;;;;;;6892:335;;;:::o;8823:214::-;8913:15;;;8895;8913;;;:9;:15;;;;;;8944:16;;;;8935:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8998:15;;;;;;;;:9;:15;;;;;9016;;8998:33;;8823:214::o

ipfs://5670d98d317cd3c17b8cba3f44e842857776337c386d585ac06c19e20228c0fd