Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract MinterRole    - function isMinter(address account)    - function addMinter(address account)    - function renounceMinter()    - function _addMinter(address account)    - function _removeMinter(address accoun ... 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, ...  contract ERC20 is 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, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...  contract ERC20Mintable is ERC20, M ...    - function mint(address account, uint25 ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20Burnable is ERC20    - function burn(uint256 amount)    - function burnFrom(address account, ui ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract HemeliosToken is ERC20Bur ... *    - function declareValue(uint _value)    - function validateValue(uint _value)    - function updateCurrentValue()    - function changeValueDeclarator(addres ...    - function changeValueDeclaratorUpdater ...    - function changeValueValidator(address ...    - function changeRecipient0(address _ne ...    - function changeRecipient1(address _ne ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-15
*/

pragma solidity ^0.5.11;


/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}


contract MinterRole {
    using Roles for Roles.Role;

    event MinterAdded(address indexed account);
    event MinterRemoved(address indexed account);

    Roles.Role private _minters;

    constructor () internal {
        _addMinter(msg.sender);
    }

    modifier onlyMinter() {
        require(isMinter(msg.sender), "MinterRole: caller does not have the Minter role");
        _;
    }

    function isMinter(address account) public view returns (bool) {
        return _minters.has(account);
    }

    function addMinter(address account) public onlyMinter {
        _addMinter(account);
    }

    function renounceMinter() public {
        _removeMinter(msg.sender);
    }

    function _addMinter(address account) internal {
        _minters.add(account);
        emit MinterAdded(account);
    }

    function _removeMinter(address account) internal {
        _minters.remove(account);
        emit MinterRemoved(account);
    }
}


/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see `ERC20Detailed`.
 */
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.
     *
     * > 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);
}


/**
 * @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 `ERC20Mintable`.
 *
 * *For a detailed writeup see our guide [How to implement supply
 * mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*
 *
 * 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 ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

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

    /**
     * @dev See `IERC20.balanceOf`.
     */
    function balanceOf(address account) public view 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 returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

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

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        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 `value`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(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 returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(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 {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

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

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

     /**
     * @dev Destoys `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 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an `Approval` event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}



/**
 * @dev Extension of `ERC20` that adds a set of accounts with the `MinterRole`,
 * which have permission to mint (create) new tokens as they see fit.
 *
 * At construction, the deployer of the contract is the only minter.
 */
contract ERC20Mintable is ERC20, MinterRole {
    /**
     * @dev See `ERC20._mint`.
     *
     * Requirements:
     *
     * - the caller must have the `MinterRole`.
     */
    function mint(address account, uint256 amount) public onlyMinter returns (bool) {
        _mint(account, amount);
        return true;
    }
}


/**
 * @dev Optional functions from the ERC20 standard.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for `name`, `symbol`, and `decimals`. All three of
     * these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

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

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

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



/**
 * @dev Extension of `ERC20` that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
contract ERC20Burnable is ERC20 {
    /**
     * @dev Destoys `amount` tokens from the caller.
     *
     * See `ERC20._burn`.
     */
    function burn(uint256 amount) public {
        _burn(msg.sender, amount);
    }

    /**
     * @dev See `ERC20._burnFrom`.
     */
    function burnFrom(address account, uint256 amount) public {
        _burnFrom(account, amount);
    }
}


library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

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

        return c;
    }

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

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

        return c;
    }

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

        return c;
    }

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


contract HemeliosToken is ERC20Burnable, ERC20Detailed, ERC20Mintable {
  using SafeMath for uint;

  uint public currentValue;
  uint public declaredValue;
  uint public validatedValue;

  address public valueDeclarator;
  address public valueDeclaratorUpdater;
  address public valueValidator;
  address public recipient0;
  address public recipient1;

  event DeclaredValue(uint _value);
  event ValidatedValue(uint _value);

  uint public constant VALUE_THRESHOLD = 8000;
  uint public constant TOKENS_MINTED_PER_THRESHOLD = 50000000000;

  /**
  * @dev The constructor mints all initial tokens and sends them to an address
  * @param _initialRecipient the account that will get all tokens
  * @param _initialSupply the initial number of tokens to be minted
  * @param _initialValue the initial value
  * @param _valueDeclarator the value declarator
  * @param _valueDeclaratorUpdater the address allowed to update the value declarator
  * @param _valueValidator the value validator
  * @param _recipient0 the first recipient address
  * @param _recipient1 the second recipient address
  **/
  constructor(
    address _initialRecipient,
    uint _initialSupply,
    uint _initialValue,
    address _valueDeclarator,
    address _valueDeclaratorUpdater,
    address _valueValidator,
    address _recipient0,
    address _recipient1
    )
    public
    ERC20Detailed("Hemelios", "HEM", 8)
  {
    // set contract variables
    currentValue = _initialValue;
    valueDeclarator = _valueDeclarator;
    valueDeclaratorUpdater = _valueDeclaratorUpdater;
    valueValidator = _valueValidator;
    validatedValue = _initialValue;
    declaredValue = _initialValue;
    recipient0 = _recipient0;
    recipient1 = _recipient1;
    // mint initial supply
    mint(_initialRecipient, _initialSupply);
    // renounce to Minter role and give it to present contract
    addMinter(address(this));
    renounceMinter();
  }

  /**
  * @dev The declareValue function lets the valueDeclarator declare a new value when it is reached to
  * allow the valueValidator to mint new tokens accordingly.
  * @param _value the new validated value
  * @notice This function can only be called by the valueDeclarator.
  **/
  function declareValue(uint _value) external {
    require(msg.sender == valueDeclarator, "validation can only be called by designated valueDeclarator");
    require(_value > currentValue, "new declared value should be higher than current value");
    require(_value > declaredValue, "new declared value should be higher than the last one");
    declaredValue = _value;
    // emit an event
    emit DeclaredValue(_value);
    // update current value and mint new tokens if possible
    updateCurrentValue();
  }

  /**
  * @dev The validateValue function lets the valueValidator accept to mint tokens when values are reached.
  * @param _value a new value to declare
  * @notice This function can only be called by the valueValidator
  **/
  function validateValue(uint _value) external {
    require(msg.sender == valueValidator, "validation can only be called by designated valueValidator");
    require(_value > currentValue, "new validated value should be higher than current value");
    require(_value > validatedValue, "new validated value should be higher than the last one");
    validatedValue = _value;
    // emit an event
    emit ValidatedValue(_value);
    // update current value and mint new tokens if possible
    updateCurrentValue();
  }

  /**
  * @dev The updateCurrentValue function updates currentValue and mints new tokens accordingly.
  **/
  function updateCurrentValue() private {
    uint newValue = (validatedValue < declaredValue) ? validatedValue : declaredValue;
    uint lastNbThresholds = currentValue.div(VALUE_THRESHOLD);
    uint newNbThresholds = newValue.div(VALUE_THRESHOLD);
    currentValue = newValue;
    if (lastNbThresholds < newNbThresholds) {
      uint newTokensPerRecipient = newNbThresholds.sub(lastNbThresholds).mul(TOKENS_MINTED_PER_THRESHOLD).div(2);
      _mint(recipient0, newTokensPerRecipient);
      _mint(recipient1, newTokensPerRecipient);
    }
  }

  /**
  * @dev The changeValueDeclarator function lets the valueDeclaratorUpdater change valueDeclarator's address.
  * @param _newAddress the new valueDeclarator address
  * @notice This function can only be called by the current valueDeclaratorUpdater address.
  **/
  function changeValueDeclarator(address _newAddress) external {
    require(msg.sender == valueDeclaratorUpdater, "sender should be current valueDeclaratorUpdater");
    valueDeclarator = _newAddress;
  }

  /**
  * @dev The changeValueDeclaratorUpdater function lets the valueDeclaratorUpdater his address.
  * @param _newAddress the new valueDeclaratorUpdater address
  * @notice This function can only be called by the current valueDeclaratorUpdater address.
  **/
  function changeValueDeclaratorUpdater(address _newAddress) external {
    require(msg.sender == valueDeclaratorUpdater, "sender should be current valueDeclaratorUpdater");
    valueDeclaratorUpdater = _newAddress;
  }

  /**
  * @dev The changeValueValidator function lets the valueValidator his address.
  * @param _newAddress the new valueValidator address
  * @notice This function can only be called by the current valueValidator address.
  **/
  function changeValueValidator(address _newAddress) external {
    require(msg.sender == valueValidator, "sender should be current valueValidator");
    valueValidator = _newAddress;
  }

  /**
  * @dev The changeRecipient0 function lets recipient0 change its address.
  * @param _newAddress the new recipient0 address
  * @notice This function can only be called by the current recipient0 address.
  **/
  function changeRecipient0(address _newAddress) external {
    require(msg.sender == recipient0, "sender should be recipient0");
    recipient0 = _newAddress;
  }

  /**
  * @dev The changeRecipient1 function lets recipient1 change its address.
  * @param _newAddress the new recipient1 address
  * @notice This function can only be called by the current recipient1 address.
  **/
  function changeRecipient1(address _newAddress) external {
    require(msg.sender == recipient1, "sender should be recipient1");
    recipient1 = _newAddress;
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"valueDeclaratorUpdater","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"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"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"valueValidator","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"valueDeclarator","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newAddress","type":"address"}],"name":"changeRecipient0","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"validateValue","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"currentValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"VALUE_THRESHOLD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newAddress","type":"address"}],"name":"changeValueValidator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newAddress","type":"address"}],"name":"changeValueDeclaratorUpdater","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newAddress","type":"address"}],"name":"changeRecipient1","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"declareValue","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newAddress","type":"address"}],"name":"changeValueDeclarator","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"recipient1","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"validatedValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"recipient0","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"declaredValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOKENS_MINTED_PER_THRESHOLD","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_initialRecipient","type":"address"},{"internalType":"uint256","name":"_initialSupply","type":"uint256"},{"internalType":"uint256","name":"_initialValue","type":"uint256"},{"internalType":"address","name":"_valueDeclarator","type":"address"},{"internalType":"address","name":"_valueDeclaratorUpdater","type":"address"},{"internalType":"address","name":"_valueValidator","type":"address"},{"internalType":"address","name":"_recipient0","type":"address"},{"internalType":"address","name":"_recipient1","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"DeclaredValue","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"ValidatedValue","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"MinterRemoved","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":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"}]

60806040523480156200001157600080fd5b50604051620036f5380380620036f583398181016040526101008110156200003857600080fd5b8101908080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291905050506040518060400160405280600881526020017f48656d656c696f730000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f48454d00000000000000000000000000000000000000000000000000000000008152506008826003908051906020019062000115929190620009d3565b5081600490805190602001906200012e929190620009d3565b5080600560006101000a81548160ff021916908360ff1602179055505050506200015e33620002fa60201b60201c565b8560078190555084600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555083600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550856009819055508560088190555081600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620002ca88886200035b60201b60201c565b50620002dc30620003e160201b60201c565b620002ec6200045d60201b60201c565b505050505050505062000a82565b620003158160066200047060201b6200273d1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b60006200036e336200055460201b60201c565b620003c5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180620036826030913960400191505060405180910390fd5b620003d783836200057860201b60201c565b6001905092915050565b620003f2336200055460201b60201c565b62000449576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180620036826030913960400191505060405180910390fd5b6200045a81620002fa60201b60201c565b50565b6200046e336200074260201b60201c565b565b620004828282620007a360201b60201c565b15620004f6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600062000571826006620007a360201b6200254a1790919060201c565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200061c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b62000638816002546200088360201b62001f101790919060201c565b60028190555062000696816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200088360201b62001f101790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6200075d8160066200090c60201b620028181790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200082c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180620036d36022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60008082840190508381101562000902576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6200091e8282620007a360201b60201c565b62000975576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180620036b26021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1062000a1657805160ff191683800117855562000a47565b8280016001018555821562000a47579182015b8281111562000a4657825182559160200191906001019062000a29565b5b50905062000a56919062000a5a565b5090565b62000a7f91905b8082111562000a7b57600081600090555060010162000a61565b5090565b90565b612bf08062000a926000396000f3fe608060405234801561001057600080fd5b50600436106102065760003560e01c80637b79db691161011a578063a457c2d7116100ad578063b6b054e51161007c578063b6b054e514610a69578063bf433da114610a87578063d129f79f14610ad1578063d44fd75d14610aef578063dd62ed3e14610b0d57610206565b8063a457c2d7146108f7578063a9059cbb1461095d578063aa271e1a146109c3578063aa3744bd14610a1f57610206565b806395d89b41116100e957806395d89b41146107e2578063983b2d561461086557806398650275146108a95780639cd4c7f7146108b357610206565b80637b79db69146106e857806382a1a04f1461072c57806393491f501461077057806394d0b951146107b457610206565b80633e026c881161019d5780635525c61d1161016c5780635525c61d146105d8578063698996f81461060657806370a082311461062457806378f3705f1461067c57806379cc67901461069a57610206565b80633e026c88146104b65780633f8a02be1461050057806340c10f191461054457806342966c68146105aa57610206565b806323b872dd116101d957806323b872dd1461035c5780632d41deba146103e2578063313ce5671461042c578063395093511461045057610206565b806306fdde031461020b57806308a014091461028e578063095ea7b3146102d857806318160ddd1461033e575b600080fd5b610213610b85565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610253578082015181840152602081019050610238565b50505050905090810190601f1680156102805780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610296610c27565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610324600480360360408110156102ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c4d565b604051808215151515815260200191505060405180910390f35b610346610c64565b6040518082815260200191505060405180910390f35b6103c86004803603606081101561037257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c6e565b604051808215151515815260200191505060405180910390f35b6103ea610d1f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610434610d45565b604051808260ff1660ff16815260200191505060405180910390f35b61049c6004803603604081101561046657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d5c565b604051808215151515815260200191505060405180910390f35b6104be610e01565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105426004803603602081101561051657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e27565b005b6105906004803603604081101561055a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f2e565b604051808215151515815260200191505060405180910390f35b6105d6600480360360208110156105c057600080fd5b8101908080359060200190929190505050610fa2565b005b610604600480360360208110156105ee57600080fd5b8101908080359060200190929190505050610faf565b005b61060e611152565b6040518082815260200191505060405180910390f35b6106666004803603602081101561063a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611158565b6040518082815260200191505060405180910390f35b6106846111a0565b6040518082815260200191505060405180910390f35b6106e6600480360360408110156106b057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111a6565b005b61072a600480360360208110156106fe57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111b4565b005b61076e6004803603602081101561074257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061129e565b005b6107b26004803603602081101561078657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611388565b005b6107e0600480360360208110156107ca57600080fd5b810190808035906020019092919050505061148f565b005b6107ea611632565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561082a57808201518184015260208101905061080f565b50505050905090810190601f1680156108575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6108a76004803603602081101561087b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116d4565b005b6108b161173e565b005b6108f5600480360360208110156108c957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611749565b005b6109436004803603604081101561090d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611833565b604051808215151515815260200191505060405180910390f35b6109a96004803603604081101561097357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506118d8565b604051808215151515815260200191505060405180910390f35b610a05600480360360208110156109d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118ef565b604051808215151515815260200191505060405180910390f35b610a2761190c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610a71611932565b6040518082815260200191505060405180910390f35b610a8f611938565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610ad961195e565b6040518082815260200191505060405180910390f35b610af7611964565b6040518082815260200191505060405180910390f35b610b6f60048036036040811015610b2357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061196d565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c1d5780601f10610bf257610100808354040283529160200191610c1d565b820191906000526020600020905b815481529060010190602001808311610c0057829003601f168201915b5050505050905090565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610c5a3384846119f4565b6001905092915050565b6000600254905090565b6000610c7b848484611beb565b610d148433610d0f85600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6119f4565b600190509392505050565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900460ff16905090565b6000610df73384610df285600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1090919063ffffffff16565b6119f4565b6001905092915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610eea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f73656e6465722073686f756c6420626520726563697069656e7430000000000081525060200191505060405180910390fd5b80600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000610f39336118ef565b610f8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603081526020018061297f6030913960400191505060405180910390fd5b610f988383611f98565b6001905092915050565b610fac3382612153565b50565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611055576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603a815260200180612ac6603a913960400191505060405180910390fd5b60075481116110af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260378152602001806129f16037913960400191505060405180910390fd5b6009548111611109576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180612b4b6036913960400191505060405180910390fd5b806009819055507fb8d3d580b8e192250250f1d3bce7748be9ed121ee3151d8c076a58e09282e09a816040518082815260200191505060405180910390a161114f6122f1565b50565b60075481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611f4081565b6111b082826123ef565b5050565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461125a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612b246027913960400191505060405180910390fd5b80600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611344576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f81526020018061291b602f913960400191505060405180910390fd5b80600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461144b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f73656e6465722073686f756c6420626520726563697069656e7431000000000081525060200191505060405180910390fd5b80600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180612b81603b913960400191505060405180910390fd5b600754811161158f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180612a4a6036913960400191505060405180910390fd5b60085481116115e9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603581526020018061294a6035913960400191505060405180910390fd5b806008819055507f090220e0fa8c7bd3ca6f54a50ffdfdc440c184a073b2ac775aa45909de729672816040518082815260200191505060405180910390a161162f6122f1565b50565b606060048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156116ca5780601f1061169f576101008083540402835291602001916116ca565b820191906000526020600020905b8154815290600101906020018083116116ad57829003601f168201915b5050505050905090565b6116dd336118ef565b611732576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603081526020018061297f6030913960400191505060405180910390fd5b61173b81612496565b50565b611747336124f0565b565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146117ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f81526020018061291b602f913960400191505060405180910390fd5b80600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006118ce33846118c985600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6119f4565b6001905092915050565b60006118e5338484611beb565b6001905092915050565b600061190582600661254a90919063ffffffff16565b9050919050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60095481565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60085481565b640ba43b740081565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611a7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612b006024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611b00576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806128f96022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611c71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612aa16025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611cf7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806128d66023913960400191505060405180910390fd5b611d48816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ddb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115611eff576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600080828401905083811015611f8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561203b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b61205081600254611f1090919063ffffffff16565b6002819055506120a7816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156121d9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612a806021913960400191505060405180910390fd5b6121ee81600254611e8790919063ffffffff16565b600281905550612245816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000600854600954106123065760085461230a565b6009545b90506000612325611f4060075461262890919063ffffffff16565b9050600061233e611f408461262890919063ffffffff16565b905082600781905550808210156123ea57600061238e6002612380640ba43b74006123728787611e8790919063ffffffff16565b6126b790919063ffffffff16565b61262890919063ffffffff16565b90506123bc600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682611f98565b6123e8600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682611f98565b505b505050565b6123f98282612153565b612492823361248d84600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6119f4565b5050565b6124aa81600661273d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b61250481600661281890919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156125d1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612a286022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600080821161269f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060200191505060405180910390fd5b60008284816126aa57fe5b0490508091505092915050565b6000808314156126ca5760009050612737565b60008284029050828482816126db57fe5b0414612732576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806129d06021913960400191505060405180910390fd5b809150505b92915050565b612747828261254a565b156127ba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b612822828261254a565b612877576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806129af6021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737373656e6465722073686f756c642062652063757272656e742076616c75654465636c617261746f72557064617465726e6577206465636c617265642076616c75652073686f756c6420626520686967686572207468616e20746865206c617374206f6e654d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f776e65772076616c6964617465642076616c75652073686f756c6420626520686967686572207468616e2063757272656e742076616c7565526f6c65733a206163636f756e7420697320746865207a65726f20616464726573736e6577206465636c617265642076616c75652073686f756c6420626520686967686572207468616e2063757272656e742076616c756545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737376616c69646174696f6e2063616e206f6e6c792062652063616c6c65642062792064657369676e617465642076616c756556616c696461746f7245524332303a20617070726f76652066726f6d20746865207a65726f206164647265737373656e6465722073686f756c642062652063757272656e742076616c756556616c696461746f726e65772076616c6964617465642076616c75652073686f756c6420626520686967686572207468616e20746865206c617374206f6e6576616c69646174696f6e2063616e206f6e6c792062652063616c6c65642062792064657369676e617465642076616c75654465636c617261746f72a265627a7a72315820061f17fae500a896a909124a2dc12ee10c0809145943e1618413ebfbdfd7046064736f6c634300050b00324d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373000000000000000000000000cc9ff04818d2086a772405ded02873704639eab50000000000000000000000000000000000000000000000000000048c273950000000000000000000000000000000000000000000000000000000000000001f40000000000000000000000000494f1237707d890e25a851077939dbd4a8fbdd5d000000000000000000000000b831dcba883ef3cfc88bde12d0dca7e26c0482440000000000000000000000000bd277a424ca76c54809da6738f8954f7380eb7f00000000000000000000000095054cc27366deede5e8603e4e62942ed6b8b3830000000000000000000000005fa38525835453f7e6c970ee2e7046d65e1ba7c5

0x608060405234801561001057600080fd5b50600436106102065760003560e01c80637b79db691161011a578063a457c2d7116100ad578063b6b054e51161007c578063b6b054e514610a69578063bf433da114610a87578063d129f79f14610ad1578063d44fd75d14610aef578063dd62ed3e14610b0d57610206565b8063a457c2d7146108f7578063a9059cbb1461095d578063aa271e1a146109c3578063aa3744bd14610a1f57610206565b806395d89b41116100e957806395d89b41146107e2578063983b2d561461086557806398650275146108a95780639cd4c7f7146108b357610206565b80637b79db69146106e857806382a1a04f1461072c57806393491f501461077057806394d0b951146107b457610206565b80633e026c881161019d5780635525c61d1161016c5780635525c61d146105d8578063698996f81461060657806370a082311461062457806378f3705f1461067c57806379cc67901461069a57610206565b80633e026c88146104b65780633f8a02be1461050057806340c10f191461054457806342966c68146105aa57610206565b806323b872dd116101d957806323b872dd1461035c5780632d41deba146103e2578063313ce5671461042c578063395093511461045057610206565b806306fdde031461020b57806308a014091461028e578063095ea7b3146102d857806318160ddd1461033e575b600080fd5b610213610b85565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610253578082015181840152602081019050610238565b50505050905090810190601f1680156102805780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610296610c27565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610324600480360360408110156102ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c4d565b604051808215151515815260200191505060405180910390f35b610346610c64565b6040518082815260200191505060405180910390f35b6103c86004803603606081101561037257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c6e565b604051808215151515815260200191505060405180910390f35b6103ea610d1f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610434610d45565b604051808260ff1660ff16815260200191505060405180910390f35b61049c6004803603604081101561046657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d5c565b604051808215151515815260200191505060405180910390f35b6104be610e01565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105426004803603602081101561051657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e27565b005b6105906004803603604081101561055a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f2e565b604051808215151515815260200191505060405180910390f35b6105d6600480360360208110156105c057600080fd5b8101908080359060200190929190505050610fa2565b005b610604600480360360208110156105ee57600080fd5b8101908080359060200190929190505050610faf565b005b61060e611152565b6040518082815260200191505060405180910390f35b6106666004803603602081101561063a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611158565b6040518082815260200191505060405180910390f35b6106846111a0565b6040518082815260200191505060405180910390f35b6106e6600480360360408110156106b057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111a6565b005b61072a600480360360208110156106fe57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111b4565b005b61076e6004803603602081101561074257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061129e565b005b6107b26004803603602081101561078657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611388565b005b6107e0600480360360208110156107ca57600080fd5b810190808035906020019092919050505061148f565b005b6107ea611632565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561082a57808201518184015260208101905061080f565b50505050905090810190601f1680156108575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6108a76004803603602081101561087b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116d4565b005b6108b161173e565b005b6108f5600480360360208110156108c957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611749565b005b6109436004803603604081101561090d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611833565b604051808215151515815260200191505060405180910390f35b6109a96004803603604081101561097357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506118d8565b604051808215151515815260200191505060405180910390f35b610a05600480360360208110156109d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118ef565b604051808215151515815260200191505060405180910390f35b610a2761190c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610a71611932565b6040518082815260200191505060405180910390f35b610a8f611938565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610ad961195e565b6040518082815260200191505060405180910390f35b610af7611964565b6040518082815260200191505060405180910390f35b610b6f60048036036040811015610b2357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061196d565b6040518082815260200191505060405180910390f35b606060038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c1d5780601f10610bf257610100808354040283529160200191610c1d565b820191906000526020600020905b815481529060010190602001808311610c0057829003601f168201915b5050505050905090565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610c5a3384846119f4565b6001905092915050565b6000600254905090565b6000610c7b848484611beb565b610d148433610d0f85600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6119f4565b600190509392505050565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900460ff16905090565b6000610df73384610df285600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1090919063ffffffff16565b6119f4565b6001905092915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610eea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f73656e6465722073686f756c6420626520726563697069656e7430000000000081525060200191505060405180910390fd5b80600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000610f39336118ef565b610f8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603081526020018061297f6030913960400191505060405180910390fd5b610f988383611f98565b6001905092915050565b610fac3382612153565b50565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611055576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603a815260200180612ac6603a913960400191505060405180910390fd5b60075481116110af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260378152602001806129f16037913960400191505060405180910390fd5b6009548111611109576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180612b4b6036913960400191505060405180910390fd5b806009819055507fb8d3d580b8e192250250f1d3bce7748be9ed121ee3151d8c076a58e09282e09a816040518082815260200191505060405180910390a161114f6122f1565b50565b60075481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611f4081565b6111b082826123ef565b5050565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461125a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180612b246027913960400191505060405180910390fd5b80600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611344576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f81526020018061291b602f913960400191505060405180910390fd5b80600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461144b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f73656e6465722073686f756c6420626520726563697069656e7431000000000081525060200191505060405180910390fd5b80600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b815260200180612b81603b913960400191505060405180910390fd5b600754811161158f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526036815260200180612a4a6036913960400191505060405180910390fd5b60085481116115e9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603581526020018061294a6035913960400191505060405180910390fd5b806008819055507f090220e0fa8c7bd3ca6f54a50ffdfdc440c184a073b2ac775aa45909de729672816040518082815260200191505060405180910390a161162f6122f1565b50565b606060048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156116ca5780601f1061169f576101008083540402835291602001916116ca565b820191906000526020600020905b8154815290600101906020018083116116ad57829003601f168201915b5050505050905090565b6116dd336118ef565b611732576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603081526020018061297f6030913960400191505060405180910390fd5b61173b81612496565b50565b611747336124f0565b565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146117ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f81526020018061291b602f913960400191505060405180910390fd5b80600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006118ce33846118c985600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6119f4565b6001905092915050565b60006118e5338484611beb565b6001905092915050565b600061190582600661254a90919063ffffffff16565b9050919050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60095481565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60085481565b640ba43b740081565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611a7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180612b006024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611b00576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806128f96022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611c71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612aa16025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611cf7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806128d66023913960400191505060405180910390fd5b611d48816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ddb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115611eff576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600080828401905083811015611f8e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561203b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b61205081600254611f1090919063ffffffff16565b6002819055506120a7816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156121d9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612a806021913960400191505060405180910390fd5b6121ee81600254611e8790919063ffffffff16565b600281905550612245816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000600854600954106123065760085461230a565b6009545b90506000612325611f4060075461262890919063ffffffff16565b9050600061233e611f408461262890919063ffffffff16565b905082600781905550808210156123ea57600061238e6002612380640ba43b74006123728787611e8790919063ffffffff16565b6126b790919063ffffffff16565b61262890919063ffffffff16565b90506123bc600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682611f98565b6123e8600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682611f98565b505b505050565b6123f98282612153565b612492823361248d84600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e8790919063ffffffff16565b6119f4565b5050565b6124aa81600661273d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b61250481600661281890919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156125d1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612a286022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600080821161269f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060200191505060405180910390fd5b60008284816126aa57fe5b0490508091505092915050565b6000808314156126ca5760009050612737565b60008284029050828482816126db57fe5b0414612732576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806129d06021913960400191505060405180910390fd5b809150505b92915050565b612747828261254a565b156127ba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b612822828261254a565b612877576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806129af6021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737373656e6465722073686f756c642062652063757272656e742076616c75654465636c617261746f72557064617465726e6577206465636c617265642076616c75652073686f756c6420626520686967686572207468616e20746865206c617374206f6e654d696e746572526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204d696e74657220726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f776e65772076616c6964617465642076616c75652073686f756c6420626520686967686572207468616e2063757272656e742076616c7565526f6c65733a206163636f756e7420697320746865207a65726f20616464726573736e6577206465636c617265642076616c75652073686f756c6420626520686967686572207468616e2063757272656e742076616c756545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737376616c69646174696f6e2063616e206f6e6c792062652063616c6c65642062792064657369676e617465642076616c756556616c696461746f7245524332303a20617070726f76652066726f6d20746865207a65726f206164647265737373656e6465722073686f756c642062652063757272656e742076616c756556616c696461746f726e65772076616c6964617465642076616c75652073686f756c6420626520686967686572207468616e20746865206c617374206f6e6576616c69646174696f6e2063616e206f6e6c792062652063616c6c65642062792064657369676e617465642076616c75654465636c617261746f72a265627a7a72315820061f17fae500a896a909124a2dc12ee10c0809145943e1618413ebfbdfd7046064736f6c634300050b0032

000000000000000000000000cc9ff04818d2086a772405ded02873704639eab50000000000000000000000000000000000000000000000000000048c273950000000000000000000000000000000000000000000000000000000000000001f40000000000000000000000000494f1237707d890e25a851077939dbd4a8fbdd5d000000000000000000000000b831dcba883ef3cfc88bde12d0dca7e26c0482440000000000000000000000000bd277a424ca76c54809da6738f8954f7380eb7f00000000000000000000000095054cc27366deede5e8603e4e62942ed6b8b3830000000000000000000000005fa38525835453f7e6c970ee2e7046d65e1ba7c5

-----Decoded View---------------
Arg [0] : _initialRecipient (address): 0xCC9fF04818d2086a772405DED02873704639EAB5
Arg [1] : _initialSupply (uint256): 5000000000000
Arg [2] : _initialValue (uint256): 8000
Arg [3] : _valueDeclarator (address): 0x494F1237707d890E25A851077939dBD4a8fbdd5D
Arg [4] : _valueDeclaratorUpdater (address): 0xB831dCba883EF3CFc88bDE12d0DCa7e26c048244
Arg [5] : _valueValidator (address): 0x0bd277a424CA76c54809Da6738f8954F7380eb7F
Arg [6] : _recipient0 (address): 0x95054cC27366deEDE5e8603e4e62942eD6b8b383
Arg [7] : _recipient1 (address): 0x5Fa38525835453f7e6c970ee2E7046d65E1Ba7C5

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 000000000000000000000000cc9ff04818d2086a772405ded02873704639eab5
Arg [1] : 0000000000000000000000000000000000000000000000000000048c27395000
Arg [2] : 0000000000000000000000000000000000000000000000000000000000001f40
Arg [3] : 000000000000000000000000494f1237707d890e25a851077939dbd4a8fbdd5d
Arg [4] : 000000000000000000000000b831dcba883ef3cfc88bde12d0dca7e26c048244
Arg [5] : 0000000000000000000000000bd277a424ca76c54809da6738f8954f7380eb7f
Arg [6] : 00000000000000000000000095054cc27366deede5e8603e4e62942ed6b8b383
Arg [7] : 0000000000000000000000005fa38525835453f7e6c970ee2e7046d65e1ba7c5

18550:6415:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18550:6415:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13948:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;13948:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18782:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7241:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7241:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6264:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7860:256;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7860:256:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18824:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14806:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8525:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8525:206:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18747:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24406:164;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24406:164:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;13179:143;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13179:143:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15260:81;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15260:81:0;;;;;;;;;;;;;;;;;:::i;:::-;;21577:524;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21577:524:0;;;;;;;;;;;;;;;;;:::i;:::-;;18655:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6418:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6418:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18997:43;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15403:103;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15403:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;23990:188;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23990:188:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;23529:220;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23529:220:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;24798:164;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24798:164:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;20819:520;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20819:520:0;;;;;;;;;;;;;;;;;:::i;:::-;;14150:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;14150:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1557:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1557:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1657:77;;;:::i;:::-;;23050:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23050:206:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;9234:216;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9234:216:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6741:156;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6741:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1440:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1440:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18888:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18714:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18858:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18684;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19045:62;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6960:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6960:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13948:83;13985:13;14018:5;14011:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13948:83;:::o;18782:37::-;;;;;;;;;;;;;:::o;7241:148::-;7306:4;7323:36;7332:10;7344:7;7353:5;7323:8;:36::i;:::-;7377:4;7370:11;;7241:148;;;;:::o;6264:91::-;6308:7;6335:12;;6328:19;;6264:91;:::o;7860:256::-;7949:4;7966:36;7976:6;7984:9;7995:6;7966:9;:36::i;:::-;8013:73;8022:6;8030:10;8042:43;8078:6;8042:11;:19;8054:6;8042:19;;;;;;;;;;;;;;;:31;8062:10;8042:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;8013:8;:73::i;:::-;8104:4;8097:11;;7860:256;;;;;:::o;18824:29::-;;;;;;;;;;;;;:::o;14806:83::-;14847:5;14872:9;;;;;;;;;;;14865:16;;14806:83;:::o;8525:206::-;8605:4;8622:79;8631:10;8643:7;8652:48;8689:10;8652:11;:23;8664:10;8652:23;;;;;;;;;;;;;;;:32;8676:7;8652:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;8622:8;:79::i;:::-;8719:4;8712:11;;8525:206;;;;:::o;18747:30::-;;;;;;;;;;;;;:::o;24406:164::-;24491:10;;;;;;;;;;;24477:24;;:10;:24;;;24469:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24553:11;24540:10;;:24;;;;;;;;;;;;;;;;;;24406:164;:::o;13179:143::-;13253:4;1339:20;1348:10;1339:8;:20::i;:::-;1331:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13270:22;13276:7;13285:6;13270:5;:22::i;:::-;13310:4;13303:11;;13179:143;;;;:::o;15260:81::-;15308:25;15314:10;15326:6;15308:5;:25::i;:::-;15260:81;:::o;21577:524::-;21651:14;;;;;;;;;;;21637:28;;:10;:28;;;21629:99;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21752:12;;21743:6;:21;21735:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21848:14;;21839:6;:23;21831:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21945:6;21928:14;:23;;;;21985:22;22000:6;21985:22;;;;;;;;;;;;;;;;;;22075:20;:18;:20::i;:::-;21577:524;:::o;18655:24::-;;;;:::o;6418:110::-;6475:7;6502:9;:18;6512:7;6502:18;;;;;;;;;;;;;;;;6495:25;;6418:110;;;:::o;18997:43::-;19036:4;18997:43;:::o;15403:103::-;15472:26;15482:7;15491:6;15472:9;:26::i;:::-;15403:103;;:::o;23990:188::-;24079:14;;;;;;;;;;;24065:28;;:10;:28;;;24057:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24161:11;24144:14;;:28;;;;;;;;;;;;;;;;;;23990:188;:::o;23529:220::-;23626:22;;;;;;;;;;;23612:36;;:10;:36;;;23604:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23732:11;23707:22;;:36;;;;;;;;;;;;;;;;;;23529:220;:::o;24798:164::-;24883:10;;;;;;;;;;;24869:24;;:10;:24;;;24861:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24945:11;24932:10;;:24;;;;;;;;;;;;;;;;;;24798:164;:::o;20819:520::-;20892:15;;;;;;;;;;;20878:29;;:10;:29;;;20870:101;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20995:12;;20986:6;:21;20978:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21090:13;;21081:6;:22;21073:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21184:6;21168:13;:22;;;;21224:21;21238:6;21224:21;;;;;;;;;;;;;;;;;;21313:20;:18;:20::i;:::-;20819:520;:::o;14150:87::-;14189:13;14222:7;14215:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14150:87;:::o;1557:92::-;1339:20;1348:10;1339:8;:20::i;:::-;1331:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1622:19;1633:7;1622:10;:19::i;:::-;1557:92;:::o;1657:77::-;1701:25;1715:10;1701:13;:25::i;:::-;1657:77::o;23050:206::-;23140:22;;;;;;;;;;;23126:36;;:10;:36;;;23118:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23239:11;23221:15;;:29;;;;;;;;;;;;;;;;;;23050:206;:::o;9234:216::-;9319:4;9336:84;9345:10;9357:7;9366:53;9403:15;9366:11;:23;9378:10;9366:23;;;;;;;;;;;;;;;:32;9390:7;9366:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;9336:8;:84::i;:::-;9438:4;9431:11;;9234:216;;;;:::o;6741:156::-;6810:4;6827:40;6837:10;6849:9;6860:6;6827:9;:40::i;:::-;6885:4;6878:11;;6741:156;;;;:::o;1440:109::-;1496:4;1520:21;1533:7;1520:8;:12;;:21;;;;:::i;:::-;1513:28;;1440:109;;;:::o;18888:25::-;;;;;;;;;;;;;:::o;18714:26::-;;;;:::o;18858:25::-;;;;;;;;;;;;;:::o;18684:::-;;;;:::o;19045:62::-;19096:11;19045:62;:::o;6960:134::-;7032:7;7059:11;:18;7071:5;7059:18;;;;;;;;;;;;;;;:27;7078:7;7059:27;;;;;;;;;;;;;;;;7052:34;;6960:134;;;;:::o;12036:335::-;12146:1;12129:19;;:5;:19;;;;12121:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12227:1;12208:21;;:7;:21;;;;12200:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12311:5;12281:11;:18;12293:5;12281:18;;;;;;;;;;;;;;;:27;12300:7;12281:27;;;;;;;;;;;;;;;:35;;;;12348:7;12332:31;;12341:5;12332:31;;;12357:5;12332:31;;;;;;;;;;;;;;;;;;12036:335;;;:::o;9940:429::-;10056:1;10038:20;;:6;:20;;;;10030:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10140:1;10119:23;;:9;:23;;;;10111:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10215:29;10237:6;10215:9;:17;10225:6;10215:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;10195:9;:17;10205:6;10195:17;;;;;;;;;;;;;;;:49;;;;10278:32;10303:6;10278:9;:20;10288:9;10278:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;10255:9;:20;10265:9;10255:20;;;;;;;;;;;;;;;:55;;;;10343:9;10326:35;;10335:6;10326:35;;;10354:6;10326:35;;;;;;;;;;;;;;;;;;9940:429;;;:::o;16226:184::-;16284:7;16317:1;16312;:6;;16304:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16364:9;16380:1;16376;:5;16364:17;;16401:1;16394:8;;;16226:184;;;;:::o;15770:181::-;15828:7;15848:9;15864:1;15860;:5;15848:17;;15889:1;15884;:6;;15876:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15942:1;15935:8;;;15770:181;;;;:::o;10650:308::-;10745:1;10726:21;;:7;:21;;;;10718:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10811:24;10828:6;10811:12;;:16;;:24;;;;:::i;:::-;10796:12;:39;;;;10867:30;10890:6;10867:9;:18;10877:7;10867:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;10846:9;:18;10856:7;10846:18;;;;;;;;;;;;;;;:51;;;;10934:7;10913:37;;10930:1;10913:37;;;10943:6;10913:37;;;;;;;;;;;;;;;;;;10650:308;;:::o;11290:306::-;11384:1;11365:21;;:7;:21;;;;11357:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11452:23;11469:5;11452:12;;:16;;:23;;;;:::i;:::-;11437:12;:38;;;;11507:29;11530:5;11507:9;:18;11517:7;11507:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;11486:9;:18;11496:7;11486:18;;;;;;;;;;;;;;;:50;;;;11578:1;11552:36;;11561:7;11552:36;;;11582:5;11552:36;;;;;;;;;;;;;;;;;;11290:306;;:::o;22218:552::-;22263:13;22297;;22280:14;;:30;22279:65;;22331:13;;22279:65;;;22314:14;;22279:65;22263:81;;22351:21;22375:33;19036:4;22375:12;;:16;;:33;;;;:::i;:::-;22351:57;;22415:20;22438:29;19036:4;22438:8;:12;;:29;;;;:::i;:::-;22415:52;;22489:8;22474:12;:23;;;;22527:15;22508:16;:34;22504:261;;;22553:26;22582:77;22657:1;22582:70;19096:11;22582:37;22602:16;22582:15;:19;;:37;;;;:::i;:::-;:41;;:70;;;;:::i;:::-;:74;;:77;;;;:::i;:::-;22553:106;;22668:40;22674:10;;;;;;;;;;;22686:21;22668:5;:40::i;:::-;22717;22723:10;;;;;;;;;;;22735:21;22717:5;:40::i;:::-;22504:261;;22218:552;;;:::o;12556:188::-;12628:22;12634:7;12643:6;12628:5;:22::i;:::-;12661:75;12670:7;12679:10;12691:44;12728:6;12691:11;:20;12703:7;12691:20;;;;;;;;;;;;;;;:32;12712:10;12691:32;;;;;;;;;;;;;;;;:36;;:44;;;;:::i;:::-;12661:8;:75::i;:::-;12556:188;;:::o;1742:122::-;1799:21;1812:7;1799:8;:12;;:21;;;;:::i;:::-;1848:7;1836:20;;;;;;;;;;;;1742:122;:::o;1872:130::-;1932:24;1948:7;1932:8;:15;;:24;;;;:::i;:::-;1986:7;1972:22;;;;;;;;;;;;1872:130;:::o;813:203::-;885:4;929:1;910:21;;:7;:21;;;;902:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;988:4;:11;;:20;1000:7;988:20;;;;;;;;;;;;;;;;;;;;;;;;;981:27;;813:203;;;;:::o;17599:333::-;17657:7;17756:1;17752;:5;17744:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17799:9;17815:1;17811;:5;;;;;;17799:17;;17923:1;17916:8;;;17599:333;;;;:::o;16661:470::-;16719:7;16968:1;16963;:6;16959:47;;;16993:1;16986:8;;;;16959:47;17018:9;17034:1;17030;:5;17018:17;;17063:1;17058;17054;:5;;;;;;:10;17046:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17122:1;17115:8;;;16661:470;;;;;:::o;277:178::-;355:18;359:4;365:7;355:3;:18::i;:::-;354:19;346:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;443:4;420;:11;;:20;432:7;420:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;277:178;;:::o;535:183::-;615:18;619:4;625:7;615:3;:18::i;:::-;607:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;705:5;682:4;:11;;:20;694:7;682:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;535:183;;:::o

bzzr://061f17fae500a896a909124a2dc12ee10c0809145943e1618413ebfbdfd70460