Contract

Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.4;

import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
import "@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol";

// The ATTRToken is the Attrace utility token.
// More info: https://attrace.com
//
// We keep the contract upgradeable during development to make sure we can evolve and implement gas optimizations later on.
//
// Upgrade strategy towards DAO:
// -  Pre-DAO: the token is managed and improved by the Attrace project.
// -  When DAO is achieved: the token will become owned by the DAO contracts, or if the DAO decides to lock the token, then it can do so by transferring ownership to a contract which can't be upgraded.
contract ATTRToken is ERC20Upgradeable {
  // Accounts which can transfer out in the pre-listing period
  mapping(address => bool) private _preListingAddrWL;

  // Timestamp when rules are disabled, once this time is reached, this is irreversible
  uint64 private _wlDisabledAt;

  // Who can modify _preListingAddrWL and _wlDisabledAt (team doing the listing).
  address private _wlController;

  // Account time lock & vesting rules
  mapping(address => TransferRule) public transferRules;

  // Emitted whenever a transfer rule is configured
  event TransferRuleConfigured(address addr, TransferRule rule);  

  function initialize(address preListWlController) public initializer {
    __ERC20_init("Attrace", "ATTR");
    _mint(msg.sender, 10 ** 27); // 1000000000000000000000000000 aces, 1,000,000,000 ATTR
    _wlController = address(preListWlController);
    _wlDisabledAt = 1624456800; // June 23 2021
  }

  // Hook into openzeppelin's ERC20Upgradeable flow to support golive requirements
  function _beforeTokenTransfer(address from, address to, uint256 amount) internal virtual override {
    super._beforeTokenTransfer(from, to, amount);

    // When not yet released, verify that the sender is white-listed.
    if(_wlDisabledAt > block.timestamp) {
      require(_preListingAddrWL[from] == true, "not yet tradeable");
    }

    // If we reach this, the token is already released and we verify the transfer rules which enforce locking and vesting.
    if(transferRules[from].tokens > 0) {
      uint lockedTokens = calcBalanceLocked(from);
      uint balanceUnlocked = super.balanceOf(from) - lockedTokens;
      require(amount <= balanceUnlocked, "transfer rule violation");
    }

    // If we reach this, the transfer is successful.
    // Check if we should lock/vest the recipient of the tokens.
    if(transferRules[from].outboundVestingMonths > 0 || transferRules[from].outboundTimeLockMonths > 0) {
      // We don't support multiple rules, so recipient should not have vesting rules yet.
      require(transferRules[to].tokens == 0, "unsupported");
      transferRules[to].timeLockMonths = transferRules[from].outboundTimeLockMonths;
      transferRules[to].vestingMonths = transferRules[from].outboundVestingMonths;
      transferRules[to].tokens = uint96(amount);
      transferRules[to].activationTime = uint40(block.timestamp);
    }
  }

  // To support listing some addresses can be allowed transfers pre-listing.
  function setPreReleaseAddressStatus(address addr, bool status) public {
    require(_wlController == msg.sender);
    _preListingAddrWL[addr] = status;
  }

  // Once pre-release rules are disabled, rules remain disabled
  // While not expected to be used, in case of need (to support optimal listing), the team can control the time the token becomes tradeable.
  function setNoRulesTime(uint64 disableTime) public {
    require(_wlController == msg.sender); // Only controller can 
    require(_wlDisabledAt > uint64(block.timestamp)); // Can not be set anymore when rules are already disabled
    require(disableTime > uint64(block.timestamp)); // Has to be in the future
    _wlDisabledAt = disableTime;
  }

  // ---- LOCKING & VESTING RULES

  // The contract embeds transfer rules for project go-live and vesting.
  // Vesting rule describes the vesting rule a set of tokens is under since a relative time.
  // This is gas-optimized and doesn't require the user to do any form of release() calls. 
  // When the periods expire, tokens will become tradeable.
  struct TransferRule {
    // The number of 30-day periods timelock this rule enforces.
    // This timelock starts from the rule activation time.
    uint16 timeLockMonths; // 2

    // The number of 30-day periods vesting this rule enforces.
    // This period starts after the timelock period has expired.
    // The number of tokens released in every cycle equals rule.tokens/vestingMonths.
    uint16 vestingMonths; // 2

    // The number of tokens managed by the rule
    // Eg: when ecosystem adoption sends N ATTR to an exchange, then this will have 1000 tokens.
    uint96 tokens; // 12

    // Time when the rule went into effect
    // When the rule is 0, then the _wlDisabledAt time is used (time of listing).
    // Eg: when ecosystem adoption wallet does a transfer to an exchange, the rule will receive block.timestamp.
    uint40 activationTime; // 5

    // Rules to apply to outbound transfers.
    // Eg: ecosystem adoption wallet can do transfers, but all received assets will be under locked rules.
    // When the recipient already has a vesting rule, the transfer will fail.
    // rule.activationTime and rule.tokens will be set by the transfer caller.
    uint16 outboundTimeLockMonths; // 2
    uint16 outboundVestingMonths; // 2
  }

  // Calculate how many tokens are still locked for a holder 
  function calcBalanceLocked(address from) private view returns (uint) {
    // When no activation time is defined, the moment of listing is used.
    uint activationTime = (transferRules[from].activationTime == 0 ? _wlDisabledAt : transferRules[from].activationTime);

    // First check the time lock
    uint secondsLocked;
    if(transferRules[from].timeLockMonths > 0) {
      secondsLocked = (transferRules[from].timeLockMonths * (30 days));
      if(activationTime+secondsLocked >= block.timestamp) {
        // All tokens are still locked
        return transferRules[from].tokens;
      }
    }

    // If no time lock, then calculate how much is unlocked according to the vesting rules.
    if(transferRules[from].vestingMonths > 0) {
      uint vestingStart = activationTime + secondsLocked;
      uint unlockedSlices = 0;
      for(uint i = 0; i < transferRules[from].vestingMonths; i++) {
        if(block.timestamp >= (vestingStart + (i * 30 days))) {
          unlockedSlices++;
        }
      }
      // If all months are vested, return 0 to ensure all tokens are sent back
      if(transferRules[from].vestingMonths == unlockedSlices) {
        return 0;
      }

      // Send back the amount of locked tokens
      return (transferRules[from].tokens - ((transferRules[from].tokens / transferRules[from].vestingMonths) * unlockedSlices));
    }

    // No tokens are locked
    return 0;
  }

  // The contract enforces all vesting and locking rules as desribed on https://attrace.com/community/attr-token/#distribution
  // We don't lock tokens into another contract, we keep them allocated to the respective account, but with a locking rule on top of it.
  // When the last vesting rule expires, checking the vesting rules is ignored automatically and overall gas off the transfers lowers with an SLOAD cost.
  function setTransferRule(address addr, TransferRule calldata rule) public {
    require(_wlDisabledAt > (uint64(block.timestamp - (30 days)))); // Project can add rules for the final 30 days of erc20 claim.
    require(_wlController == msg.sender); // Only the whitelist controller can set rules

    // Validate the rule
    require(
      // Either a rule has a token vesting/lock
      (rule.tokens > 0 && (rule.vestingMonths > 0 || rule.timeLockMonths > 0))
      // And/or it has an outbound rule
      || (rule.outboundTimeLockMonths > 0 || rule.outboundVestingMonths > 0), 
      "invalid rule");

    // Store the rule
    // Rules are allowed to have an empty activationTime, then listing moment will be used as activation time.
    transferRules[addr] = rule;

    // Emit event that a rule was set
    emit TransferRuleConfigured(addr, rule);
  }

  function getLockedTokens(address addr) public view returns (uint256) {
    return calcBalanceLocked(addr);
  }

  // Batch route to set many rules at once
  function batchSetTransferRules(address[] calldata addresses, TransferRule[] calldata rules) public {
    require(_wlDisabledAt > uint64(block.timestamp)); // Can only be set before listing
    require(_wlController == msg.sender); // Only the whitelist controller can set rules before listing
    require(addresses.length != 0);
    require(addresses.length == rules.length);
    for(uint i = 0; i < addresses.length; i++) {
      setTransferRule(addresses[i], rules[i]);
    }
  }
}

// SPDX-License-Identifier: MIT

// solhint-disable-next-line compiler-version
pragma solidity ^0.8.0;

/**
 * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
 * behind a proxy. Since a proxied contract can't have a constructor, it's common to move constructor logic to an
 * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
 * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
 *
 * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
 * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
 *
 * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure
 * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.
 */
abstract 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 protect an initializer function from being invoked twice.
     */
    modifier initializer() {
        require(_initializing || !_initialized, "Initializable: contract is already initialized");

        bool isTopLevelCall = !_initializing;
        if (isTopLevelCall) {
            _initializing = true;
            _initialized = true;
        }

        _;

        if (isTopLevelCall) {
            _initializing = false;
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./IERC20Upgradeable.sol";
import "./extensions/IERC20MetadataUpgradeable.sol";
import "../../utils/ContextUpgradeable.sol";
import "../../proxy/utils/Initializable.sol";

/**
 * @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 {ERC20PresetMinterPauser}.
 *
 * 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 ERC20Upgradeable is Initializable, ContextUpgradeable, IERC20Upgradeable, IERC20MetadataUpgradeable {
    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The defaut value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two 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_;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override 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 this function is
     * overridden;
     *
     * 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 virtual override returns (uint8) {
        return 18;
    }

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual 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);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        _approve(sender, _msgSender(), currentAllowance - amount);

        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] + 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) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        _approve(_msgSender(), spender, currentAllowance - subtractedValue);

        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);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        _balances[sender] = senderBalance - amount;
        _balances[recipient] += 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 += amount;
        _balances[account] += 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);

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

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This 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 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[45] private __gap;
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "../IERC20Upgradeable.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20MetadataUpgradeable is IERC20Upgradeable {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;
import "../proxy/utils/Initializable.sol";

/*
 * @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 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.
 */
abstract contract ContextUpgradeable is Initializable {
    function __Context_init() internal initializer {
        __Context_init_unchained();
    }

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

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

{
  "metadata": {
    "useLiteralContent": true
  },
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• 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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"addr","type":"address"},{"components":[{"internalType":"uint16","name":"timeLockMonths","type":"uint16"},{"internalType":"uint16","name":"vestingMonths","type":"uint16"},{"internalType":"uint96","name":"tokens","type":"uint96"},{"internalType":"uint40","name":"activationTime","type":"uint40"},{"internalType":"uint16","name":"outboundTimeLockMonths","type":"uint16"},{"internalType":"uint16","name":"outboundVestingMonths","type":"uint16"}],"indexed":false,"internalType":"struct ATTRToken.TransferRule","name":"rule","type":"tuple"}],"name":"TransferRuleConfigured","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":[{"internalType":"address[]","name":"addresses","type":"address[]"},{"components":[{"internalType":"uint16","name":"timeLockMonths","type":"uint16"},{"internalType":"uint16","name":"vestingMonths","type":"uint16"},{"internalType":"uint96","name":"tokens","type":"uint96"},{"internalType":"uint40","name":"activationTime","type":"uint40"},{"internalType":"uint16","name":"outboundTimeLockMonths","type":"uint16"},{"internalType":"uint16","name":"outboundVestingMonths","type":"uint16"}],"internalType":"struct ATTRToken.TransferRule[]","name":"rules","type":"tuple[]"}],"name":"batchSetTransferRules","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":"addr","type":"address"}],"name":"getLockedTokens","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":[{"internalType":"address","name":"preListWlController","type":"address"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"disableTime","type":"uint64"}],"name":"setNoRulesTime","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"bool","name":"status","type":"bool"}],"name":"setPreReleaseAddressStatus","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"},{"components":[{"internalType":"uint16","name":"timeLockMonths","type":"uint16"},{"internalType":"uint16","name":"vestingMonths","type":"uint16"},{"internalType":"uint96","name":"tokens","type":"uint96"},{"internalType":"uint40","name":"activationTime","type":"uint40"},{"internalType":"uint16","name":"outboundTimeLockMonths","type":"uint16"},{"internalType":"uint16","name":"outboundVestingMonths","type":"uint16"}],"internalType":"struct ATTRToken.TransferRule","name":"rule","type":"tuple"}],"name":"setTransferRule","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"transferRules","outputs":[{"internalType":"uint16","name":"timeLockMonths","type":"uint16"},{"internalType":"uint16","name":"vestingMonths","type":"uint16"},{"internalType":"uint96","name":"tokens","type":"uint96"},{"internalType":"uint40","name":"activationTime","type":"uint40"},{"internalType":"uint16","name":"outboundTimeLockMonths","type":"uint16"},{"internalType":"uint16","name":"outboundVestingMonths","type":"uint16"}],"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b50611b5f806100206000396000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c80636b2d95d4116100a2578063a9059cbb11610071578063a9059cbb146102d0578063c4d66de8146102e3578063dd62ed3e146102f6578063e20391041461032f578063f714d6281461034257600080fd5b80636b2d95d41461027957806370a082311461028c57806395d89b41146102b5578063a457c2d7146102bd57600080fd5b806323b872dd116100e957806323b872dd14610183578063313ce5671461019657806335b5fc0f146101a557806339509351146101b857806367f4dcbf146101cb57600080fd5b806306fdde031461011b578063095ea7b31461013957806313890a391461015c57806318160ddd14610171575b600080fd5b610123610355565b6040516101309190611803565b60405180910390f35b61014c61014736600461160c565b6103e7565b6040519015158152602001610130565b61016f61016a366004611595565b6103fd565b005b6035545b604051908152602001610130565b61014c61019136600461155a565b610446565b60405160128152602001610130565b61016f6101b3366004611635565b6104fc565b61014c6101c636600461160c565b6105d2565b61022d6101d9366004611507565b60676020526000908152604090205461ffff808216916201000081048216916001600160601b03600160201b8304169164ffffffffff600160801b82041691600160a81b8204811691600160b81b90041686565b6040805161ffff978816815295871660208701526001600160601b039094169385019390935264ffffffffff9091166060840152831660808301529190911660a082015260c001610130565b610175610287366004611507565b610609565b61017561029a366004611507565b6001600160a01b031660009081526033602052604090205490565b61012361061a565b61014c6102cb36600461160c565b610629565b61014c6102de36600461160c565b6106c4565b61016f6102f1366004611507565b6106d1565b610175610304366004611528565b6001600160a01b03918216600090815260346020908152604080832093909416825291909152205490565b61016f61033d3660046115cf565b6107cd565b61016f610350366004611710565b610942565b6060603680546103649061194f565b80601f01602080910402602001604051908101604052809291908181526020018280546103909061194f565b80156103dd5780601f106103b2576101008083540402835291602001916103dd565b820191906000526020600020905b8154815290600101906020018083116103c057829003601f168201915b5050505050905090565b60006103f43384846109bf565b50600192915050565b606654600160401b90046001600160a01b0316331461041b57600080fd5b6001600160a01b03919091166000908152606560205260409020805460ff1916911515919091179055565b6000610453848484610ae3565b6001600160a01b0384166000908152603460209081526040808320338452909152902054828110156104dd5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6104f185336104ec8685611938565b6109bf565b506001949350505050565b60665467ffffffffffffffff42811691161161051757600080fd5b606654600160401b90046001600160a01b0316331461053557600080fd5b8261053f57600080fd5b82811461054b57600080fd5b60005b838110156105cb576105b985858381811061057957634e487b7160e01b600052603260045260246000fd5b905060200201602081019061058e9190611507565b8484848181106105ae57634e487b7160e01b600052603260045260246000fd5b905060c002016107cd565b806105c38161198a565b91505061054e565b5050505050565b3360008181526034602090815260408083206001600160a01b038716845290915281205490916103f49185906104ec9086906118a4565b600061061482610cc6565b92915050565b6060603780546103649061194f565b3360009081526034602090815260408083206001600160a01b0386168452909152812054828110156106ab5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016104d4565b6106ba33856104ec8685611938565b5060019392505050565b60006103f4338484610ae3565b600054610100900460ff16806106ea575060005460ff16155b6107065760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff16158015610728576000805461ffff19166101011790555b61076d604051806040016040528060078152602001664174747261636560c81b8152506040518060400160405280600481526020016320aa2a2960e11b815250610f40565b610783336b033b2e3c9fd0803ce8000000610fc0565b6066805467ffffffffffffffff196001600160a01b038516600160401b02166001600160e01b0319909116176360d33e6017905580156107c9576000805461ff00191690555b5050565b6107da62278d0042611938565b60665467ffffffffffffffff9182169116116107f557600080fd5b606654600160401b90046001600160a01b0316331461081357600080fd5b60006108256060830160408401611738565b6001600160601b03161180156108685750600061084860408301602084016116f4565b61ffff1611806108685750600061086260208301836116f4565b61ffff16115b806108a35750600061088060a08301608084016116f4565b61ffff1611806108a35750600061089d60c0830160a084016116f4565b61ffff16115b6108de5760405162461bcd60e51b815260206004820152600c60248201526b696e76616c69642072756c6560a01b60448201526064016104d4565b6001600160a01b0382166000908152606760205260409020819061090282826119d5565b9050507f2dd141932cac50c282484f3c43b76bac2b825954ecca083f409e9e169cc212cf8282604051610936929190611754565b60405180910390a15050565b606654600160401b90046001600160a01b0316331461096057600080fd5b60665467ffffffffffffffff42811691161161097b57600080fd5b4267ffffffffffffffff168167ffffffffffffffff161161099b57600080fd5b6066805467ffffffffffffffff191667ffffffffffffffff92909216919091179055565b6001600160a01b038316610a215760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d4565b6001600160a01b038216610a825760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d4565b6001600160a01b0383811660008181526034602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b475760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d4565b6001600160a01b038216610ba95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d4565b610bb48383836110ab565b6001600160a01b03831660009081526033602052604090205481811015610c2c5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016104d4565b610c368282611938565b6001600160a01b038086166000908152603360205260408082209390935590851681529081208054849290610c6c9084906118a4565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610cb891815260200190565b60405180910390a350505050565b6001600160a01b0381166000908152606760205260408120548190600160801b900464ffffffffff1615610d20576001600160a01b038316600090815260676020526040902054600160801b900464ffffffffff16610d2e565b60665467ffffffffffffffff165b6001600160a01b03841660009081526067602052604081205467ffffffffffffffff9290921692509061ffff1615610dcf576001600160a01b038416600090815260676020526040902054610d8a9061ffff1662278d006118ee565b62ffffff16905042610d9c82846118a4565b10610dcf575050506001600160a01b0316600090815260676020526040902054600160201b90046001600160601b031690565b6001600160a01b03841660009081526067602052604090205462010000900461ffff1615610f36576000610e0382846118a4565b90506000805b6001600160a01b03871660009081526067602052604090205462010000900461ffff16811015610e7057610e408162278d00611919565b610e4a90846118a4565b4210610e5e5781610e5a8161198a565b9250505b80610e688161198a565b915050610e09565b506001600160a01b03861660009081526067602052604090205462010000900461ffff16811415610ea75750600095945050505050565b6001600160a01b0386166000908152606760205260409020548190610ee69062010000810461ffff1690600160201b90046001600160601b03166118bc565b6001600160601b0316610ef99190611919565b6001600160a01b038716600090815260676020526040902054610f2c9190600160201b90046001600160601b0316611938565b9695505050505050565b5060009392505050565b600054610100900460ff1680610f59575060005460ff16155b610f755760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff16158015610f97576000805461ffff19166101011790555b610f9f611346565b610fa983836113b2565b8015610fbb576000805461ff00191690555b505050565b6001600160a01b0382166110165760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016104d4565b611022600083836110ab565b806035600082825461103491906118a4565b90915550506001600160a01b038216600090815260336020526040812080548392906110619084906118a4565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6066544267ffffffffffffffff9091161115611122576001600160a01b03831660009081526065602052604090205460ff1615156001146111225760405162461bcd60e51b81526020600482015260116024820152706e6f742079657420747261646561626c6560781b60448201526064016104d4565b6001600160a01b038316600090815260676020526040902054600160201b90046001600160601b0316156111de57600061115b84610cc6565b905060008161117f866001600160a01b031660009081526033602052604090205490565b6111899190611938565b9050808311156111db5760405162461bcd60e51b815260206004820152601760248201527f7472616e736665722072756c652076696f6c6174696f6e00000000000000000060448201526064016104d4565b50505b6001600160a01b038316600090815260676020526040902054600160b81b900461ffff1615158061123157506001600160a01b038316600090815260676020526040902054600160a81b900461ffff1615155b15610fbb576001600160a01b038216600090815260676020526040902054600160201b90046001600160601b03161561129a5760405162461bcd60e51b815260206004820152600b60248201526a1d5b9cdd5c1c1bdc9d195960aa1b60448201526064016104d4565b6001600160a01b03928316600090815260676020526040808220805494909516825290208054600160a81b90930461ffff90811661ffff19851681178355945463ffffffff19909416909417600160b81b90930490931662010000029190911774ffffffffffffffffffffffffffffffffff000000001916600160201b6001600160601b03929092169190910264ffffffffff60801b191617600160801b4264ffffffffff1602179055565b600054610100900460ff168061135f575060005460ff16155b61137b5760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff1615801561139d576000805461ffff19166101011790555b80156113af576000805461ff00191690555b50565b600054610100900460ff16806113cb575060005460ff16155b6113e75760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff16158015611409576000805461ffff19166101011790555b825161141c906036906020860190611447565b508151611430906037906020850190611447565b508015610fbb576000805461ff0019169055505050565b8280546114539061194f565b90600052602060002090601f01602090048101928261147557600085556114bb565b82601f1061148e57805160ff19168380011785556114bb565b828001600101855582156114bb579182015b828111156114bb5782518255916020019190600101906114a0565b506114c79291506114cb565b5090565b5b808211156114c757600081556001016114cc565b80356001600160a01b03811681146114f757600080fd5b919050565b80356114f781611af1565b600060208284031215611518578081fd5b611521826114e0565b9392505050565b6000806040838503121561153a578081fd5b611543836114e0565b9150611551602084016114e0565b90509250929050565b60008060006060848603121561156e578081fd5b611577846114e0565b9250611585602085016114e0565b9150604084013590509250925092565b600080604083850312156115a7578182fd5b6115b0836114e0565b9150602083013580151581146115c4578182fd5b809150509250929050565b60008082840360e08112156115e2578283fd5b6115eb846114e0565b925060c0601f19820112156115fe578182fd5b506020830190509250929050565b6000806040838503121561161e578182fd5b611627836114e0565b946020939093013593505050565b6000806000806040858703121561164a578081fd5b843567ffffffffffffffff80821115611661578283fd5b818701915087601f830112611674578283fd5b813581811115611682578384fd5b8860208260051b8501011115611696578384fd5b6020928301965094509086013590808211156116b0578283fd5b818701915087601f8301126116c3578283fd5b8135818111156116d1578384fd5b88602060c0830285010111156116e5578384fd5b95989497505060200194505050565b600060208284031215611705578081fd5b813561152181611af1565b600060208284031215611721578081fd5b813567ffffffffffffffff81168114611521578182fd5b600060208284031215611749578081fd5b813561152181611b14565b6001600160a01b038316815260e08101823561176f81611af1565b61ffff80821660208501526020850135915061178a82611af1565b166040838101919091528301356117a081611b14565b6001600160601b03811660608401525060608301356117be81611b01565b64ffffffffff811660808401525060808301356117da81611af1565b61ffff811660a0840152506117f160a084016114fc565b61ffff811660c0840152509392505050565b6000602080835283518082850152825b8181101561182f57858101830151858201604001528201611813565b818111156118405783604083870101525b50601f01601f1916929092016040019392505050565b6020808252602e908201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160408201526d191e481a5b9a5d1a585b1a5e995960921b606082015260800190565b600082198211156118b7576118b76119a5565b500190565b60006001600160601b03808416806118e257634e487b7160e01b83526012600452602483fd5b92169190910492915050565b600062ffffff80831681851681830481118215151615611910576119106119a5565b02949350505050565b6000816000190483118215151615611933576119336119a5565b500290565b60008282101561194a5761194a6119a5565b500390565b600181811c9082168061196357607f821691505b6020821081141561198457634e487b7160e01b600052602260045260246000fd5b50919050565b600060001982141561199e5761199e6119a5565b5060010190565b634e487b7160e01b600052601160045260246000fd5b6000813561061481611af1565b6000813561061481611b01565b81356119e081611af1565b61ffff8116905081548161ffff1982161783556020840135611a0181611af1565b63ffff00008160101b169050808363ffffffff198416171784556040850135611a2981611b14565b6fffffffffffffffffffffffff000000008160201b16846fffffffffffffffffffffffffffffffff19851617831717855550505050611a93611a6d606084016119c8565b82805464ffffffffff60801b191660809290921b64ffffffffff60801b16919091179055565b611ac2611aa2608084016119bb565b82805461ffff60a81b191660a89290921b61ffff60a81b16919091179055565b6107c9611ad160a084016119bb565b82805461ffff60b81b191660b89290921b61ffff60b81b16919091179055565b61ffff811681146113af57600080fd5b64ffffffffff811681146113af57600080fd5b6001600160601b03811681146113af57600080fdfea2646970667358221220db3f5881fddadbcbb09b9af83315487c4b7c4452fe4a2dee9fb3c84fddaf1d9064736f6c63430008040033

0x608060405234801561001057600080fd5b50600436106101165760003560e01c80636b2d95d4116100a2578063a9059cbb11610071578063a9059cbb146102d0578063c4d66de8146102e3578063dd62ed3e146102f6578063e20391041461032f578063f714d6281461034257600080fd5b80636b2d95d41461027957806370a082311461028c57806395d89b41146102b5578063a457c2d7146102bd57600080fd5b806323b872dd116100e957806323b872dd14610183578063313ce5671461019657806335b5fc0f146101a557806339509351146101b857806367f4dcbf146101cb57600080fd5b806306fdde031461011b578063095ea7b31461013957806313890a391461015c57806318160ddd14610171575b600080fd5b610123610355565b6040516101309190611803565b60405180910390f35b61014c61014736600461160c565b6103e7565b6040519015158152602001610130565b61016f61016a366004611595565b6103fd565b005b6035545b604051908152602001610130565b61014c61019136600461155a565b610446565b60405160128152602001610130565b61016f6101b3366004611635565b6104fc565b61014c6101c636600461160c565b6105d2565b61022d6101d9366004611507565b60676020526000908152604090205461ffff808216916201000081048216916001600160601b03600160201b8304169164ffffffffff600160801b82041691600160a81b8204811691600160b81b90041686565b6040805161ffff978816815295871660208701526001600160601b039094169385019390935264ffffffffff9091166060840152831660808301529190911660a082015260c001610130565b610175610287366004611507565b610609565b61017561029a366004611507565b6001600160a01b031660009081526033602052604090205490565b61012361061a565b61014c6102cb36600461160c565b610629565b61014c6102de36600461160c565b6106c4565b61016f6102f1366004611507565b6106d1565b610175610304366004611528565b6001600160a01b03918216600090815260346020908152604080832093909416825291909152205490565b61016f61033d3660046115cf565b6107cd565b61016f610350366004611710565b610942565b6060603680546103649061194f565b80601f01602080910402602001604051908101604052809291908181526020018280546103909061194f565b80156103dd5780601f106103b2576101008083540402835291602001916103dd565b820191906000526020600020905b8154815290600101906020018083116103c057829003601f168201915b5050505050905090565b60006103f43384846109bf565b50600192915050565b606654600160401b90046001600160a01b0316331461041b57600080fd5b6001600160a01b03919091166000908152606560205260409020805460ff1916911515919091179055565b6000610453848484610ae3565b6001600160a01b0384166000908152603460209081526040808320338452909152902054828110156104dd5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b6104f185336104ec8685611938565b6109bf565b506001949350505050565b60665467ffffffffffffffff42811691161161051757600080fd5b606654600160401b90046001600160a01b0316331461053557600080fd5b8261053f57600080fd5b82811461054b57600080fd5b60005b838110156105cb576105b985858381811061057957634e487b7160e01b600052603260045260246000fd5b905060200201602081019061058e9190611507565b8484848181106105ae57634e487b7160e01b600052603260045260246000fd5b905060c002016107cd565b806105c38161198a565b91505061054e565b5050505050565b3360008181526034602090815260408083206001600160a01b038716845290915281205490916103f49185906104ec9086906118a4565b600061061482610cc6565b92915050565b6060603780546103649061194f565b3360009081526034602090815260408083206001600160a01b0386168452909152812054828110156106ab5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016104d4565b6106ba33856104ec8685611938565b5060019392505050565b60006103f4338484610ae3565b600054610100900460ff16806106ea575060005460ff16155b6107065760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff16158015610728576000805461ffff19166101011790555b61076d604051806040016040528060078152602001664174747261636560c81b8152506040518060400160405280600481526020016320aa2a2960e11b815250610f40565b610783336b033b2e3c9fd0803ce8000000610fc0565b6066805467ffffffffffffffff196001600160a01b038516600160401b02166001600160e01b0319909116176360d33e6017905580156107c9576000805461ff00191690555b5050565b6107da62278d0042611938565b60665467ffffffffffffffff9182169116116107f557600080fd5b606654600160401b90046001600160a01b0316331461081357600080fd5b60006108256060830160408401611738565b6001600160601b03161180156108685750600061084860408301602084016116f4565b61ffff1611806108685750600061086260208301836116f4565b61ffff16115b806108a35750600061088060a08301608084016116f4565b61ffff1611806108a35750600061089d60c0830160a084016116f4565b61ffff16115b6108de5760405162461bcd60e51b815260206004820152600c60248201526b696e76616c69642072756c6560a01b60448201526064016104d4565b6001600160a01b0382166000908152606760205260409020819061090282826119d5565b9050507f2dd141932cac50c282484f3c43b76bac2b825954ecca083f409e9e169cc212cf8282604051610936929190611754565b60405180910390a15050565b606654600160401b90046001600160a01b0316331461096057600080fd5b60665467ffffffffffffffff42811691161161097b57600080fd5b4267ffffffffffffffff168167ffffffffffffffff161161099b57600080fd5b6066805467ffffffffffffffff191667ffffffffffffffff92909216919091179055565b6001600160a01b038316610a215760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104d4565b6001600160a01b038216610a825760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104d4565b6001600160a01b0383811660008181526034602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b475760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104d4565b6001600160a01b038216610ba95760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104d4565b610bb48383836110ab565b6001600160a01b03831660009081526033602052604090205481811015610c2c5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016104d4565b610c368282611938565b6001600160a01b038086166000908152603360205260408082209390935590851681529081208054849290610c6c9084906118a4565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610cb891815260200190565b60405180910390a350505050565b6001600160a01b0381166000908152606760205260408120548190600160801b900464ffffffffff1615610d20576001600160a01b038316600090815260676020526040902054600160801b900464ffffffffff16610d2e565b60665467ffffffffffffffff165b6001600160a01b03841660009081526067602052604081205467ffffffffffffffff9290921692509061ffff1615610dcf576001600160a01b038416600090815260676020526040902054610d8a9061ffff1662278d006118ee565b62ffffff16905042610d9c82846118a4565b10610dcf575050506001600160a01b0316600090815260676020526040902054600160201b90046001600160601b031690565b6001600160a01b03841660009081526067602052604090205462010000900461ffff1615610f36576000610e0382846118a4565b90506000805b6001600160a01b03871660009081526067602052604090205462010000900461ffff16811015610e7057610e408162278d00611919565b610e4a90846118a4565b4210610e5e5781610e5a8161198a565b9250505b80610e688161198a565b915050610e09565b506001600160a01b03861660009081526067602052604090205462010000900461ffff16811415610ea75750600095945050505050565b6001600160a01b0386166000908152606760205260409020548190610ee69062010000810461ffff1690600160201b90046001600160601b03166118bc565b6001600160601b0316610ef99190611919565b6001600160a01b038716600090815260676020526040902054610f2c9190600160201b90046001600160601b0316611938565b9695505050505050565b5060009392505050565b600054610100900460ff1680610f59575060005460ff16155b610f755760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff16158015610f97576000805461ffff19166101011790555b610f9f611346565b610fa983836113b2565b8015610fbb576000805461ff00191690555b505050565b6001600160a01b0382166110165760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016104d4565b611022600083836110ab565b806035600082825461103491906118a4565b90915550506001600160a01b038216600090815260336020526040812080548392906110619084906118a4565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6066544267ffffffffffffffff9091161115611122576001600160a01b03831660009081526065602052604090205460ff1615156001146111225760405162461bcd60e51b81526020600482015260116024820152706e6f742079657420747261646561626c6560781b60448201526064016104d4565b6001600160a01b038316600090815260676020526040902054600160201b90046001600160601b0316156111de57600061115b84610cc6565b905060008161117f866001600160a01b031660009081526033602052604090205490565b6111899190611938565b9050808311156111db5760405162461bcd60e51b815260206004820152601760248201527f7472616e736665722072756c652076696f6c6174696f6e00000000000000000060448201526064016104d4565b50505b6001600160a01b038316600090815260676020526040902054600160b81b900461ffff1615158061123157506001600160a01b038316600090815260676020526040902054600160a81b900461ffff1615155b15610fbb576001600160a01b038216600090815260676020526040902054600160201b90046001600160601b03161561129a5760405162461bcd60e51b815260206004820152600b60248201526a1d5b9cdd5c1c1bdc9d195960aa1b60448201526064016104d4565b6001600160a01b03928316600090815260676020526040808220805494909516825290208054600160a81b90930461ffff90811661ffff19851681178355945463ffffffff19909416909417600160b81b90930490931662010000029190911774ffffffffffffffffffffffffffffffffff000000001916600160201b6001600160601b03929092169190910264ffffffffff60801b191617600160801b4264ffffffffff1602179055565b600054610100900460ff168061135f575060005460ff16155b61137b5760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff1615801561139d576000805461ffff19166101011790555b80156113af576000805461ff00191690555b50565b600054610100900460ff16806113cb575060005460ff16155b6113e75760405162461bcd60e51b81526004016104d490611856565b600054610100900460ff16158015611409576000805461ffff19166101011790555b825161141c906036906020860190611447565b508151611430906037906020850190611447565b508015610fbb576000805461ff0019169055505050565b8280546114539061194f565b90600052602060002090601f01602090048101928261147557600085556114bb565b82601f1061148e57805160ff19168380011785556114bb565b828001600101855582156114bb579182015b828111156114bb5782518255916020019190600101906114a0565b506114c79291506114cb565b5090565b5b808211156114c757600081556001016114cc565b80356001600160a01b03811681146114f757600080fd5b919050565b80356114f781611af1565b600060208284031215611518578081fd5b611521826114e0565b9392505050565b6000806040838503121561153a578081fd5b611543836114e0565b9150611551602084016114e0565b90509250929050565b60008060006060848603121561156e578081fd5b611577846114e0565b9250611585602085016114e0565b9150604084013590509250925092565b600080604083850312156115a7578182fd5b6115b0836114e0565b9150602083013580151581146115c4578182fd5b809150509250929050565b60008082840360e08112156115e2578283fd5b6115eb846114e0565b925060c0601f19820112156115fe578182fd5b506020830190509250929050565b6000806040838503121561161e578182fd5b611627836114e0565b946020939093013593505050565b6000806000806040858703121561164a578081fd5b843567ffffffffffffffff80821115611661578283fd5b818701915087601f830112611674578283fd5b813581811115611682578384fd5b8860208260051b8501011115611696578384fd5b6020928301965094509086013590808211156116b0578283fd5b818701915087601f8301126116c3578283fd5b8135818111156116d1578384fd5b88602060c0830285010111156116e5578384fd5b95989497505060200194505050565b600060208284031215611705578081fd5b813561152181611af1565b600060208284031215611721578081fd5b813567ffffffffffffffff81168114611521578182fd5b600060208284031215611749578081fd5b813561152181611b14565b6001600160a01b038316815260e08101823561176f81611af1565b61ffff80821660208501526020850135915061178a82611af1565b166040838101919091528301356117a081611b14565b6001600160601b03811660608401525060608301356117be81611b01565b64ffffffffff811660808401525060808301356117da81611af1565b61ffff811660a0840152506117f160a084016114fc565b61ffff811660c0840152509392505050565b6000602080835283518082850152825b8181101561182f57858101830151858201604001528201611813565b818111156118405783604083870101525b50601f01601f1916929092016040019392505050565b6020808252602e908201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160408201526d191e481a5b9a5d1a585b1a5e995960921b606082015260800190565b600082198211156118b7576118b76119a5565b500190565b60006001600160601b03808416806118e257634e487b7160e01b83526012600452602483fd5b92169190910492915050565b600062ffffff80831681851681830481118215151615611910576119106119a5565b02949350505050565b6000816000190483118215151615611933576119336119a5565b500290565b60008282101561194a5761194a6119a5565b500390565b600181811c9082168061196357607f821691505b6020821081141561198457634e487b7160e01b600052602260045260246000fd5b50919050565b600060001982141561199e5761199e6119a5565b5060010190565b634e487b7160e01b600052601160045260246000fd5b6000813561061481611af1565b6000813561061481611b01565b81356119e081611af1565b61ffff8116905081548161ffff1982161783556020840135611a0181611af1565b63ffff00008160101b169050808363ffffffff198416171784556040850135611a2981611b14565b6fffffffffffffffffffffffff000000008160201b16846fffffffffffffffffffffffffffffffff19851617831717855550505050611a93611a6d606084016119c8565b82805464ffffffffff60801b191660809290921b64ffffffffff60801b16919091179055565b611ac2611aa2608084016119bb565b82805461ffff60a81b191660a89290921b61ffff60a81b16919091179055565b6107c9611ad160a084016119bb565b82805461ffff60b81b191660b89290921b61ffff60b81b16919091179055565b61ffff811681146113af57600080fd5b64ffffffffff811681146113af57600080fd5b6001600160601b03811681146113af57600080fdfea2646970667358221220db3f5881fddadbcbb09b9af83315487c4b7c4452fe4a2dee9fb3c84fddaf1d9064736f6c63430008040033

733:8168:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2439:98:2;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4536:166;;;;;;:::i;:::-;;:::i;:::-;;;5681:14:6;;5674:22;5656:41;;5644:2;5629:18;4536:166:2;5611:92:6;3178:155:0;;;;;;:::i;:::-;;:::i;:::-;;3527:106:2;3614:12;;3527:106;;;12097:25:6;;;12085:2;12070:18;3527:106:2;12052:76:6;5169:414:2;;;;;;:::i;:::-;;:::i;3376:91::-;;;3458:2;12275:36:6;;12263:2;12248:18;3376:91:2;12230:87:6;8418:481:0;;;;;;:::i;:::-;;:::i;5978:212:2:-;;;;;;:::i;:::-;;:::i;1170:53:0:-;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;1170:53:0;;;;;-1:-1:-1;;;1170:53:0;;;;-1:-1:-1;;;1170:53:0;;;;;-1:-1:-1;;;1170:53:0;;;;;;;;;11595:6:6;11628:15;;;11610:34;;11680:15;;;11675:2;11660:18;;11653:43;-1:-1:-1;;;;;11732:39:6;;;11712:18;;;11705:67;;;;11820:12;11808:25;;;11803:2;11788:18;;11781:53;11871:15;;11865:3;11850:19;;11843:44;11924:15;;;;11918:3;11903:19;;11896:44;11572:3;11557:19;1170:53:0;11539:407:6;8261:110:0;;;;;;:::i;:::-;;:::i;3691:125:2:-;;;;;;:::i;:::-;-1:-1:-1;;;;;3791:18:2;3765:7;3791:18;;;:9;:18;;;;;;;3691:125;2650:102;;;:::i;6677:371::-;;;;;;:::i;:::-;;:::i;4019:172::-;;;;;;:::i;:::-;;:::i;1348:298:0:-;;;;;;:::i;:::-;;:::i;4249:149:2:-;;;;;;:::i;:::-;-1:-1:-1;;;;;4364:18:2;;;4338:7;4364:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;4249:149;7400:857:0;;;;;;:::i;:::-;;:::i;3542:346::-;;;;;;:::i;:::-;;:::i;2439:98:2:-;2493:13;2525:5;2518:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2439:98;:::o;4536:166::-;4619:4;4635:39;901:10:5;4658:7:2;4667:6;4635:8;:39::i;:::-;-1:-1:-1;4691:4:2;4536:166;;;;:::o;3178:155:0:-;3262:13;;-1:-1:-1;;;3262:13:0;;-1:-1:-1;;;;;3262:13:0;3279:10;3262:27;3254:36;;;;;;-1:-1:-1;;;;;3296:23:0;;;;;;;;:17;:23;;;;;:32;;-1:-1:-1;;3296:32:0;;;;;;;;;;3178:155::o;5169:414:2:-;5275:4;5291:36;5301:6;5309:9;5320:6;5291:9;:36::i;:::-;-1:-1:-1;;;;;5365:19:2;;5338:24;5365:19;;;:11;:19;;;;;;;;901:10:5;5365:33:2;;;;;;;;5416:26;;;;5408:79;;;;-1:-1:-1;;;5408:79:2;;8493:2:6;5408:79:2;;;8475:21:6;8532:2;8512:18;;;8505:30;8571:34;8551:18;;;8544:62;-1:-1:-1;;;8622:18:6;;;8615:38;8670:19;;5408:79:2;;;;;;;;;5497:57;5506:6;901:10:5;5528:25:2;5547:6;5528:16;:25;:::i;:::-;5497:8;:57::i;:::-;-1:-1:-1;5572:4:2;;5169:414;-1:-1:-1;;;;5169:414:2:o;8418:481:0:-;8531:13;;:39;8554:15;8531:39;;:13;;:39;8523:48;;;;;;8619:13;;-1:-1:-1;;;8619:13:0;;-1:-1:-1;;;;;8619:13:0;8636:10;8619:27;8611:36;;;;;;8723:21;8715:30;;;;;;8759:32;;;8751:41;;;;;;8802:6;8798:97;8814:20;;;8798:97;;;8849:39;8865:9;;8875:1;8865:12;;;;;-1:-1:-1;;;8865:12:0;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8879:5;;8885:1;8879:8;;;;;-1:-1:-1;;;8879:8:0;;;;;;;;;;;;;;8849:15;:39::i;:::-;8836:3;;;;:::i;:::-;;;;8798:97;;;;8418:481;;;;:::o;5978:212:2:-;901:10:5;6066:4:2;6114:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;6114:34:2;;;;;;;;;;6066:4;;6082:80;;6105:7;;6114:47;;6151:10;;6114:47;:::i;8261:110:0:-;8321:7;8343:23;8361:4;8343:17;:23::i;:::-;8336:30;8261:110;-1:-1:-1;;8261:110:0:o;2650:102:2:-;2706:13;2738:7;2731:14;;;;;:::i;6677:371::-;901:10:5;6770:4:2;6813:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;6813:34:2;;;;;;;;;;6865:35;;;;6857:85;;;;-1:-1:-1;;;6857:85:2;;10746:2:6;6857:85:2;;;10728:21:6;10785:2;10765:18;;;10758:30;10824:34;10804:18;;;10797:62;-1:-1:-1;;;10875:18:6;;;10868:35;10920:19;;6857:85:2;10718:227:6;6857:85:2;6952:67;901:10:5;6975:7:2;6984:34;7003:15;6984:16;:34;:::i;6952:67::-;-1:-1:-1;7037:4:2;;6677:371;-1:-1:-1;;;6677:371:2:o;4019:172::-;4105:4;4121:42;901:10:5;4145:9:2;4156:6;4121:9;:42::i;1348:298:0:-;1456:13:1;;;;;;;;:30;;-1:-1:-1;1474:12:1;;;;1473:13;1456:30;1448:89;;;;-1:-1:-1;;;1448:89:1;;;;;;;:::i;:::-;1548:19;1571:13;;;;;;1570:14;1594:98;;;;1628:13;:20;;-1:-1:-1;;1662:19:1;;;;;1594:98;1422:31:0::1;;;;;;;;;;;;;;-1:-1:-1::0;;;1422:31:0::1;;::::0;::::1;;;;;;;;;;;;;-1:-1:-1::0;;;1422:31:0::1;;::::0;:12:::1;:31::i;:::-;1459:27;1465:10;1477:8;1459:5;:27::i;:::-;1549:13;:44:::0;;-1:-1:-1;;;;;;;1549:44:0;::::1;-1:-1:-1::0;;;1549:44:0::1;1599:26:::0;-1:-1:-1;;;;;;1599:26:0;;;;1615:10:::1;1599:26;::::0;;1714:66:1;;;;1764:5;1748:21;;-1:-1:-1;;1748:21:1;;;1714:66;1348:298:0;;:::o;7400:857::-;7512:27;7531:7;7512:15;:27;:::i;:::-;7488:13;;:53;;;;:13;;:53;7480:62;;;;;;7619:13;;-1:-1:-1;;;7619:13:0;;-1:-1:-1;;;;;7619:13:0;7636:10;7619:27;7611:36;;;;;;7804:1;7790:11;;;;;;;;:::i;:::-;-1:-1:-1;;;;;7790:15:0;;:70;;;;-1:-1:-1;7831:1:0;7810:18;;;;;;;;:::i;:::-;:22;;;:49;;;-1:-1:-1;7858:1:0;7836:19;;;;:4;:19;:::i;:::-;:23;;;7810:49;7789:189;;;-1:-1:-1;7942:1:0;7912:27;;;;;;;;:::i;:::-;:31;;;:65;;;-1:-1:-1;7976:1:0;7947:26;;;;;;;;:::i;:::-;:30;;;7912:65;7726:276;;;;-1:-1:-1;;;7726:276:0;;8902:2:6;7726:276:0;;;8884:21:6;8941:2;8921:18;;;8914:30;-1:-1:-1;;;8960:18:6;;;8953:42;9012:18;;7726:276:0;8874:162:6;7726:276:0;-1:-1:-1;;;;;8142:19:0;;;;;;:13;:19;;;;;8164:4;;8142:26;8164:4;8142:19;:26;:::i;:::-;;;;8218:34;8241:4;8247;8218:34;;;;;;;:::i;:::-;;;;;;;;7400:857;;:::o;3542:346::-;3607:13;;-1:-1:-1;;;3607:13:0;;-1:-1:-1;;;;;3607:13:0;3624:10;3607:27;3599:36;;;;;;3673:13;;:39;3696:15;3673:39;;:13;;:39;3665:48;;;;;;3806:15;3785:37;;:11;:37;;;3777:46;;;;;;3856:13;:27;;-1:-1:-1;;3856:27:0;;;;;;;;;;;;3542:346::o;9941:340:2:-;-1:-1:-1;;;;;10042:19:2;;10034:68;;;;-1:-1:-1;;;10034:68:2;;10001:2:6;10034:68:2;;;9983:21:6;10040:2;10020:18;;;10013:30;10079:34;10059:18;;;10052:62;-1:-1:-1;;;10130:18:6;;;10123:34;10174:19;;10034:68:2;9973:226:6;10034:68:2;-1:-1:-1;;;;;10120:21:2;;10112:68;;;;-1:-1:-1;;;10112:68:2;;6922:2:6;10112:68:2;;;6904:21:6;6961:2;6941:18;;;6934:30;7000:34;6980:18;;;6973:62;-1:-1:-1;;;7051:18:6;;;7044:32;7093:19;;10112:68:2;6894:224:6;10112:68:2;-1:-1:-1;;;;;10191:18:2;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10242:32;;12097:25:6;;;10242:32:2;;12070:18:6;10242:32:2;;;;;;;9941:340;;;:::o;7522:592::-;-1:-1:-1;;;;;7627:20:2;;7619:70;;;;-1:-1:-1;;;7619:70:2;;9595:2:6;7619:70:2;;;9577:21:6;9634:2;9614:18;;;9607:30;9673:34;9653:18;;;9646:62;-1:-1:-1;;;9724:18:6;;;9717:35;9769:19;;7619:70:2;9567:227:6;7619:70:2;-1:-1:-1;;;;;7707:23:2;;7699:71;;;;-1:-1:-1;;;7699:71:2;;6518:2:6;7699:71:2;;;6500:21:6;6557:2;6537:18;;;6530:30;6596:34;6576:18;;;6569:62;-1:-1:-1;;;6647:18:6;;;6640:33;6690:19;;7699:71:2;6490:225:6;7699:71:2;7781:47;7802:6;7810:9;7821:6;7781:20;:47::i;:::-;-1:-1:-1;;;;;7863:17:2;;7839:21;7863:17;;;:9;:17;;;;;;7898:23;;;;7890:74;;;;-1:-1:-1;;;7890:74:2;;7325:2:6;7890:74:2;;;7307:21:6;7364:2;7344:18;;;7337:30;7403:34;7383:18;;;7376:62;-1:-1:-1;;;7454:18:6;;;7447:36;7500:19;;7890:74:2;7297:228:6;7890:74:2;7994:22;8010:6;7994:13;:22;:::i;:::-;-1:-1:-1;;;;;7974:17:2;;;;;;;:9;:17;;;;;;:42;;;;8026:20;;;;;;;;:30;;8050:6;;7974:17;8026:30;;8050:6;;8026:30;:::i;:::-;;;;;;;;8089:9;-1:-1:-1;;;;;8072:35:2;8081:6;-1:-1:-1;;;;;8072:35:2;;8100:6;8072:35;;;;12097:25:6;;12085:2;12070:18;;12052:76;8072:35:2;;;;;;;;7522:592;;;;:::o;5570:1408:0:-;-1:-1:-1;;;;;5742:19:0;;5633:4;5742:19;;;:13;:19;;;;;:34;5633:4;;-1:-1:-1;;;5742:34:0;;;;:39;:92;;-1:-1:-1;;;;;5800:19:0;;;;;;:13;:19;;;;;:34;-1:-1:-1;;;5800:34:0;;;;5742:92;;;5784:13;;;;5742:92;-1:-1:-1;;;;;5902:19:0;;5875:18;5902:19;;;:13;:19;;;;;:34;5719:116;;;;;;-1:-1:-1;5875:18:0;5902:34;;:38;5899:272;;-1:-1:-1;;;;;5967:19:0;;;;;;:13;:19;;;;;:34;:46;;:34;;6005:7;5967:46;:::i;:::-;5950:64;;;-1:-1:-1;6057:15:0;6025:28;5950:64;6025:14;:28;:::i;:::-;:47;6022:143;;-1:-1:-1;;;;;;;;6130:19:0;;;;;:13;:19;;;;;:26;-1:-1:-1;;;6130:26:0;;-1:-1:-1;;;;;6130:26:0;;5570:1408::o;6022:143::-;-1:-1:-1;;;;;6272:19:0;;6308:1;6272:19;;;:13;:19;;;;;:33;;;;;;:37;6269:662;;6319:17;6339:30;6356:13;6339:14;:30;:::i;:::-;6319:50;;6377:19;6412:6;6408:171;-1:-1:-1;;;;;6428:19:0;;;;;;:13;:19;;;;;:33;;;;;;6424:37;;6408:171;;;6517:11;:1;6521:7;6517:11;:::i;:::-;6501:28;;:12;:28;:::i;:::-;6481:15;:49;6478:93;;6544:16;;;;:::i;:::-;;;;6478:93;6463:3;;;;:::i;:::-;;;;6408:171;;;-1:-1:-1;;;;;;6668:19:0;;;;;;:13;:19;;;;;:33;;;;;;:51;;6665:83;;;-1:-1:-1;6738:1:0;;5570:1408;-1:-1:-1;;;;;5570:1408:0:o;6665:83::-;-1:-1:-1;;;;;6871:19:0;;;;;;:13;:19;;;;;:33;6908:14;;6842:62;;6871:33;;;;;;-1:-1:-1;;;6842:26:0;;-1:-1:-1;;;;;6842:26:0;:62;:::i;:::-;-1:-1:-1;;;;;6841:81:0;;;;;:::i;:::-;-1:-1:-1;;;;;6811:19:0;;;;;;:13;:19;;;;;:26;:112;;;-1:-1:-1;;;6811:26:0;;-1:-1:-1;;;;;6811:26:0;:112;:::i;:::-;6803:121;5570:1408;-1:-1:-1;;;;;;5570:1408:0:o;6269:662::-;-1:-1:-1;6972:1:0;;5570:1408;-1:-1:-1;;;5570:1408:0:o;2036:178:2:-;1456:13:1;;;;;;;;:30;;-1:-1:-1;1474:12:1;;;;1473:13;1456:30;1448:89;;;;-1:-1:-1;;;1448:89:1;;;;;;;:::i;:::-;1548:19;1571:13;;;;;;1570:14;1594:98;;;;1628:13;:20;;-1:-1:-1;;1662:19:1;;;;;1594:98;2133:26:2::1;:24;:26::i;:::-;2169:38;2192:5;2199:7;2169:22;:38::i;:::-;1718:14:1::0;1714:66;;;1764:5;1748:21;;-1:-1:-1;;1748:21:1;;;1714:66;2036:178:2;;;:::o;8385:330::-;-1:-1:-1;;;;;8468:21:2;;8460:65;;;;-1:-1:-1;;;8460:65:2;;11152:2:6;8460:65:2;;;11134:21:6;11191:2;11171:18;;;11164:30;11230:33;11210:18;;;11203:61;11281:18;;8460:65:2;11124:181:6;8460:65:2;8536:49;8565:1;8569:7;8578:6;8536:20;:49::i;:::-;8612:6;8596:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;8628:18:2;;;;;;:9;:18;;;;;:28;;8650:6;;8628:18;:28;;8650:6;;8628:28;:::i;:::-;;;;-1:-1:-1;;8671:37:2;;12097:25:6;;;-1:-1:-1;;;;;8671:37:2;;;8688:1;;8671:37;;12085:2:6;12070:18;8671:37:2;;;;;;;8385:330;;:::o;1733:1364:0:-;1961:13;;1977:15;1961:13;;;;:31;1958:112;;;-1:-1:-1;;;;;2010:23:0;;;;;;:17;:23;;;;;;;;:31;;:23;:31;2002:61;;;;-1:-1:-1;;;2002:61:0;;7732:2:6;2002:61:0;;;7714:21:6;7771:2;7751:18;;;7744:30;-1:-1:-1;;;7790:18:6;;;7783:47;7847:18;;2002:61:0;7704:167:6;2002:61:0;-1:-1:-1;;;;;2202:19:0;;2231:1;2202:19;;;:13;:19;;;;;:26;-1:-1:-1;;;2202:26:0;;-1:-1:-1;;;;;2202:26:0;:30;2199:229;;2242:17;2262:23;2280:4;2262:17;:23::i;:::-;2242:43;;2293:20;2340:12;2316:21;2332:4;-1:-1:-1;;;;;3791:18:2;3765:7;3791:18;;;:9;:18;;;;;;;3691:125;2316:21:0;:36;;;;:::i;:::-;2293:59;;2378:15;2368:6;:25;;2360:61;;;;-1:-1:-1;;;2360:61:0;;9243:2:6;2360:61:0;;;9225:21:6;9282:2;9262:18;;;9255:30;9321:25;9301:18;;;9294:53;9364:18;;2360:61:0;9215:173:6;2360:61:0;2199:229;;;-1:-1:-1;;;;;2555:19:0;;2599:1;2555:19;;;:13;:19;;;;;:41;-1:-1:-1;;;2555:41:0;;;;:45;;;:95;;-1:-1:-1;;;;;;2604:19:0;;2649:1;2604:19;;;:13;:19;;;;;:42;-1:-1:-1;;;2604:42:0;;;;:46;;2555:95;2552:541;;;-1:-1:-1;;;;;2758:17:0;;;;;;:13;:17;;;;;:24;-1:-1:-1;;;2758:24:0;;-1:-1:-1;;;;;2758:24:0;:29;2750:53;;;;-1:-1:-1;;;2750:53:0;;10406:2:6;2750:53:0;;;10388:21:6;10445:2;10425:18;;;10418:30;-1:-1:-1;;;10464:18:6;;;10457:41;10515:18;;2750:53:0;10378:161:6;2750:53:0;-1:-1:-1;;;;;2846:19:0;;;;;;;:13;:19;;;;;;:42;;2811:17;;;;;;;;:77;;-1:-1:-1;;;2846:42:0;;;;;;;-1:-1:-1;;2811:77:0;;;;;;2930:41;;-1:-1:-1;;2896:75:0;;;;;;-1:-1:-1;;;2930:41:0;;;;;;2896:75;;;;;;-1:-1:-1;;3028:58:0;-1:-1:-1;;;;;;;;2979:41:0;;;;;;;;-1:-1:-1;;;;3028:58:0;;-1:-1:-1;;;3070:15:0;3028:58;;;;;;1733:1364::o;753:64:5:-;1456:13:1;;;;;;;;:30;;-1:-1:-1;1474:12:1;;;;1473:13;1456:30;1448:89;;;;-1:-1:-1;;;1448:89:1;;;;;;;:::i;:::-;1548:19;1571:13;;;;;;1570:14;1594:98;;;;1628:13;:20;;-1:-1:-1;;1662:19:1;;;;;1594:98;1718:14;1714:66;;;1764:5;1748:21;;-1:-1:-1;;1748:21:1;;;1714:66;753:64:5;:::o;2220:154:2:-;1456:13:1;;;;;;;;:30;;-1:-1:-1;1474:12:1;;;;1473:13;1456:30;1448:89;;;;-1:-1:-1;;;1448:89:1;;;;;;;:::i;:::-;1548:19;1571:13;;;;;;1570:14;1594:98;;;;1628:13;:20;;-1:-1:-1;;1662:19:1;;;;;1594:98;2327:13:2;;::::1;::::0;:5:::1;::::0;:13:::1;::::0;::::1;::::0;::::1;:::i;:::-;-1:-1:-1::0;2350:17:2;;::::1;::::0;:7:::1;::::0;:17:::1;::::0;::::1;::::0;::::1;:::i;:::-;;1718:14:1::0;1714:66;;;1764:5;1748:21;;-1:-1:-1;;1748:21:1;;;2220:154:2;;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:173:6;82:20;;-1:-1:-1;;;;;131:31:6;;121:42;;111:2;;177:1;174;167:12;111:2;63:124;;;:::o;192:132::-;259:20;;288:30;259:20;288:30;:::i;329:196::-;388:6;441:2;429:9;420:7;416:23;412:32;409:2;;;462:6;454;447:22;409:2;490:29;509:9;490:29;:::i;:::-;480:39;399:126;-1:-1:-1;;;399:126:6:o;530:270::-;598:6;606;659:2;647:9;638:7;634:23;630:32;627:2;;;680:6;672;665:22;627:2;708:29;727:9;708:29;:::i;:::-;698:39;;756:38;790:2;779:9;775:18;756:38;:::i;:::-;746:48;;617:183;;;;;:::o;805:338::-;882:6;890;898;951:2;939:9;930:7;926:23;922:32;919:2;;;972:6;964;957:22;919:2;1000:29;1019:9;1000:29;:::i;:::-;990:39;;1048:38;1082:2;1071:9;1067:18;1048:38;:::i;:::-;1038:48;;1133:2;1122:9;1118:18;1105:32;1095:42;;909:234;;;;;:::o;1148:367::-;1213:6;1221;1274:2;1262:9;1253:7;1249:23;1245:32;1242:2;;;1295:6;1287;1280:22;1242:2;1323:29;1342:9;1323:29;:::i;:::-;1313:39;;1402:2;1391:9;1387:18;1374:32;1449:5;1442:13;1435:21;1428:5;1425:32;1415:2;;1476:6;1468;1461:22;1415:2;1504:5;1494:15;;;1232:283;;;;;:::o;1520:368::-;1619:6;1627;1671:9;1662:7;1658:23;1701:3;1697:2;1693:12;1690:2;;;1723:6;1715;1708:22;1690:2;1751:29;1770:9;1751:29;:::i;:::-;1741:39;-1:-1:-1;1814:3:6;-1:-1:-1;;1796:16:6;;1792:26;1789:2;;;1836:6;1828;1821:22;1789:2;;1879;1868:9;1864:18;1854:28;;1638:250;;;;;:::o;1893:264::-;1961:6;1969;2022:2;2010:9;2001:7;1997:23;1993:32;1990:2;;;2043:6;2035;2028:22;1990:2;2071:29;2090:9;2071:29;:::i;:::-;2061:39;2147:2;2132:18;;;;2119:32;;-1:-1:-1;;;1980:177:6:o;2162:1229::-;2315:6;2323;2331;2339;2392:2;2380:9;2371:7;2367:23;2363:32;2360:2;;;2413:6;2405;2398:22;2360:2;2458:9;2445:23;2487:18;2528:2;2520:6;2517:14;2514:2;;;2549:6;2541;2534:22;2514:2;2592:6;2581:9;2577:22;2567:32;;2637:7;2630:4;2626:2;2622:13;2618:27;2608:2;;2664:6;2656;2649:22;2608:2;2709;2696:16;2735:2;2727:6;2724:14;2721:2;;;2756:6;2748;2741:22;2721:2;2816:7;2809:4;2799:6;2796:1;2792:14;2788:2;2784:23;2780:34;2777:47;2774:2;;;2842:6;2834;2827:22;2774:2;2878:4;2870:13;;;;-1:-1:-1;2902:6:6;-1:-1:-1;2946:20:6;;;2933:34;;2979:16;;;2976:2;;;3013:6;3005;2998:22;2976:2;3056:8;3045:9;3041:24;3031:34;;3103:7;3096:4;3092:2;3088:13;3084:27;3074:2;;3130:6;3122;3115:22;3074:2;3177;3164:16;3205:2;3195:8;3192:16;3189:2;;;3226:6;3218;3211:22;3189:2;3291:7;3284:4;3276;3266:8;3262:19;3258:2;3254:28;3250:39;3247:52;3244:2;;;3317:6;3309;3302:22;3244:2;2350:1041;;;;-1:-1:-1;;3353:4:6;3345:13;;-1:-1:-1;;;2350:1041:6:o;3396:255::-;3454:6;3507:2;3495:9;3486:7;3482:23;3478:32;3475:2;;;3528:6;3520;3513:22;3475:2;3572:9;3559:23;3591:30;3615:5;3591:30;:::i;3656:304::-;3714:6;3767:2;3755:9;3746:7;3742:23;3738:32;3735:2;;;3788:6;3780;3773:22;3735:2;3832:9;3819:23;3882:18;3875:5;3871:30;3864:5;3861:41;3851:2;;3921:6;3913;3906:22;3965:255;4023:6;4076:2;4064:9;4055:7;4051:23;4047:32;4044:2;;;4097:6;4089;4082:22;4044:2;4141:9;4128:23;4160:30;4184:5;4160:30;:::i;4320:1191::-;-1:-1:-1;;;;;4573:32:6;;4555:51;;4542:3;4527:19;;4628:20;;4657:30;4628:20;4657:30;:::i;:::-;4706:6;4759:2;4752:5;4748:14;4743:2;4732:9;4728:18;4721:42;4812:2;4804:6;4800:15;4787:29;4772:44;;4825:32;4849:7;4825:32;:::i;:::-;4893:16;4888:2;4873:18;;;4866:44;;;;4947:15;;4934:29;4972:32;4934:29;4972:32;:::i;:::-;-1:-1:-1;;;;;5044:7:6;5040:40;5035:2;5024:9;5020:18;5013:68;;5130:2;5122:6;5118:15;5105:29;5143:32;5167:7;5143:32;:::i;:::-;5225:12;5216:7;5212:26;5206:3;5195:9;5191:19;5184:55;;5288:3;5280:6;5276:16;5263:30;5302:32;5326:7;5302:32;:::i;:::-;4301:6;4290:18;;5385:3;5370:19;;4278:31;5343:47;5414:35;5444:3;5436:6;5432:16;5414:35;:::i;:::-;4301:6;4290:18;;5500:3;5485:19;;4278:31;5458:47;4509:1002;;;;;:::o;5708:603::-;5820:4;5849:2;5878;5867:9;5860:21;5910:6;5904:13;5953:6;5948:2;5937:9;5933:18;5926:34;5978:4;5991:140;6005:6;6002:1;5999:13;5991:140;;;6100:14;;;6096:23;;6090:30;6066:17;;;6085:2;6062:26;6055:66;6020:10;;5991:140;;;6149:6;6146:1;6143:13;6140:2;;;6219:4;6214:2;6205:6;6194:9;6190:22;6186:31;6179:45;6140:2;-1:-1:-1;6295:2:6;6274:15;-1:-1:-1;;6270:29:6;6255:45;;;;6302:2;6251:54;;5829:482;-1:-1:-1;;;5829:482:6:o;7876:410::-;8078:2;8060:21;;;8117:2;8097:18;;;8090:30;8156:34;8151:2;8136:18;;8129:62;-1:-1:-1;;;8222:2:6;8207:18;;8200:44;8276:3;8261:19;;8050:236::o;12322:128::-;12362:3;12393:1;12389:6;12386:1;12383:13;12380:2;;;12399:18;;:::i;:::-;-1:-1:-1;12435:9:6;;12370:80::o;12455:304::-;12494:1;-1:-1:-1;;;;;12573:2:6;12570:1;12566:10;12595:3;12585:2;;-1:-1:-1;;;12622:31:6;;12676:4;12673:1;12666:15;12704:4;12629:1;12694:15;12585:2;12737:10;;12733:20;;;;;12500:259;-1:-1:-1;;12500:259:6:o;12764:260::-;12803:7;12835:8;12870:2;12867:1;12863:10;12900:2;12897:1;12893:10;12956:3;12952:2;12948:12;12943:3;12940:21;12933:3;12926:11;12919:19;12915:47;12912:2;;;12965:18;;:::i;:::-;13005:13;;12815:209;-1:-1:-1;;;;12815:209:6:o;13029:168::-;13069:7;13135:1;13131;13127:6;13123:14;13120:1;13117:21;13112:1;13105:9;13098:17;13094:45;13091:2;;;13142:18;;:::i;:::-;-1:-1:-1;13182:9:6;;13081:116::o;13202:125::-;13242:4;13270:1;13267;13264:8;13261:2;;;13275:18;;:::i;:::-;-1:-1:-1;13312:9:6;;13251:76::o;13332:380::-;13411:1;13407:12;;;;13454;;;13475:2;;13529:4;13521:6;13517:17;13507:27;;13475:2;13582;13574:6;13571:14;13551:18;13548:38;13545:2;;;13628:10;13623:3;13619:20;13616:1;13609:31;13663:4;13660:1;13653:15;13691:4;13688:1;13681:15;13545:2;;13387:325;;;:::o;13717:135::-;13756:3;-1:-1:-1;;13777:17:6;;13774:2;;;13797:18;;:::i;:::-;-1:-1:-1;13844:1:6;13833:13;;13764:88::o;13857:127::-;13918:10;13913:3;13909:20;13906:1;13899:31;13949:4;13946:1;13939:15;13973:4;13970:1;13963:15;13989:174;14033:11;14085:3;14072:17;14098:30;14122:5;14098:30;:::i;14168:174::-;14212:11;14264:3;14251:17;14277:30;14301:5;14277:30;:::i;14347:1113::-;14520:5;14507:19;14535:32;14559:7;14535:32;:::i;:::-;14599:6;14590:7;14586:20;14576:30;;14631:4;14625:11;14682:2;14673:5;14669:10;14665:2;14661:19;14658:27;14652:4;14645:41;14734:2;14727:5;14723:14;14710:28;14747:32;14771:7;14747:32;:::i;:::-;14820:10;14810:7;14806:2;14802:16;14798:33;14788:43;;14890:2;14885;14871:10;14867:15;14863:2;14859:24;14856:32;14853:40;14847:4;14840:54;14942:2;14935:5;14931:14;14918:28;14955:32;14979:7;14955:32;:::i;:::-;15100:34;15090:7;15086:2;15082:16;15078:57;15072:2;15034:34;15030:39;15026:2;15022:48;15019:56;15015:2;15012:64;15009:127;15003:4;14996:141;;;;;15146:95;15198:42;15236:2;15229:5;15225:14;15198:42;:::i;:::-;15192:4;15557:11;;-1:-1:-1;;;;15593:36:6;15656:3;15635:15;;;;-1:-1:-1;;;15631:44:6;15590:86;;;;15577:100;;15537:146;15146:95;15250:96;15302:43;15340:3;15333:5;15329:15;15302:43;:::i;:::-;15296:4;15780:11;;-1:-1:-1;;;;15816:29:6;15872:3;15851:15;;;;-1:-1:-1;;;15847:37:6;15813:72;;;;15800:86;;15760:132;15250:96;15355:99;15410:43;15448:3;15441:5;15437:15;15410:43;:::i;:::-;15404:4;15992:11;;-1:-1:-1;;;;16028:29:6;16084:3;16063:15;;;;-1:-1:-1;;;16059:37:6;16025:72;;;;16012:86;;15972:132;16109:117;16194:6;16187:5;16183:18;16176:5;16173:29;16163:2;;16216:1;16213;16206:12;16231:123;16316:12;16309:5;16305:24;16298:5;16295:35;16285:2;;16344:1;16341;16334:12;16359:137;-1:-1:-1;;;;;16437:5:6;16433:38;16426:5;16423:49;16413:2;;16486:1;16483;16476:12

ipfs://db3f5881fddadbcbb09b9af83315487c4b7c4452fe4a2dee9fb3c84fddaf1d90