Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract BasicToken is ERC20Basic
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(
•    - function approve(address _spender, ui ...
•    - function allowance(
•    - function increaseApproval(
•    - function decreaseApproval(
•  contract Ownable
•    - function renounceOwnership()
•    - function transferOwnership(address _n ...
•    - function _transferOwnership(address _ ...
•  contract MintableToken is Standard ...
•    - function mint(
•    - function finishMinting()
•  contract FreezableToken is Standar ...
•    - function balanceOf(address _owner)
•    - function actualBalanceOf(address _own ...
•    - function freezingBalanceOf(address _o ...
•    - function freezingCount(address _addr)
•    - function getFreezing(address _addr, u ...
•    - function freezeTo(address _to, uint _ ...
•    - function releaseOnce()
•    - function releaseAll()
•    - function toKey(address _addr, uint _r ...
•    - function freeze(address _to, uint64 _ ...
•  contract BurnableToken is BasicTok ...
•    - function burn(uint256 _value)
•    - function _burn(address _who, uint256 ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
•  contract FreezableMintableToken is ...
•    - function mintAndFreeze(address _to, u ...
•  contract Consts
•  contract MainToken is Consts, Free ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function transferFrom(address _from, ...
•    - function transfer(address _to, uint25 ...
•    - function init()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-12
*/

/**
 *Submitted for verification at Etherscan.io on 2020-08-12
*/

pragma solidity ^0.4.26;


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}



/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
    // Gas optimization: this is cheaper than asserting '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;
    }

    c = a * b;
    assert(c / a == b);
    return c;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    // uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return a / b;
  }

  /**
  * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
    c = a + b;
    assert(c >= a);
    return c;
  }
}



/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

  /**
  * @dev total number of tokens in existence
  */
  function totalSupply() public view returns (uint256) {
    return totalSupply_;
  }

  /**
  * @dev transfer token for a specified address
  * @param _to The address to transfer to.
  * @param _value The amount to be transferred.
  */
  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    emit Transfer(msg.sender, _to, _value);
    return true;
  }

  /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) public view returns (uint256) {
    return balances[_owner];
  }

}


/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender)
    public view returns (uint256);

  function transferFrom(address from, address to, uint256 value)
    public returns (bool);

  function approve(address spender, uint256 value) public returns (bool);
  event Approval(
    address indexed owner,
    address indexed spender,
    uint256 value
  );
}


/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * @dev https://github.com/ethereum/EIPs/issues/20
 * @dev Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;


  /**
   * @dev Transfer tokens from one address to another
   * @param _from address The address which you want to send tokens from
   * @param _to address The address which you want to transfer to
   * @param _value uint256 the amount of tokens to be transferred
   */
  function transferFrom(
    address _from,
    address _to,
    uint256 _value
  )
    public
    returns (bool)
  {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    emit Transfer(_from, _to, _value);
    return true;
  }

  /**
   * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
   *
   * 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
   * @param _spender The address which will spend the funds.
   * @param _value The amount of tokens to be spent.
   */
  function approve(address _spender, uint256 _value) public returns (bool) {
    allowed[msg.sender][_spender] = _value;
    emit Approval(msg.sender, _spender, _value);
    return true;
  }

  /**
   * @dev Function to check the amount of tokens that an owner allowed to a spender.
   * @param _owner address The address which owns the funds.
   * @param _spender address The address which will spend the funds.
   * @return A uint256 specifying the amount of tokens still available for the spender.
   */
  function allowance(
    address _owner,
    address _spender
   )
    public
    view
    returns (uint256)
  {
    return allowed[_owner][_spender];
  }

  /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
  function increaseApproval(
    address _spender,
    uint _addedValue
  )
    public
    returns (bool)
  {
    allowed[msg.sender][_spender] = (
      allowed[msg.sender][_spender].add(_addedValue));
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
  function decreaseApproval(
    address _spender,
    uint _subtractedValue
  )
    public
    returns (bool)
  {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}



/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
  address public owner;


  event OwnershipRenounced(address indexed previousOwner);
  event OwnershipTransferred(
    address indexed previousOwner,
    address indexed newOwner
  );


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  constructor() public {
    owner = msg.sender;
  }

  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }

  /**
   * @dev Allows the current owner to relinquish control of the contract.
   */
  function renounceOwnership() public onlyOwner {
    emit OwnershipRenounced(owner);
    owner = address(0);
  }

  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function transferOwnership(address _newOwner) public onlyOwner {
    _transferOwnership(_newOwner);
  }

  /**
   * @dev Transfers control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function _transferOwnership(address _newOwner) internal {
    require(_newOwner != address(0));
    emit OwnershipTransferred(owner, _newOwner);
    owner = _newOwner;
  }
}


/**
 * @title Mintable token
 * @dev Simple ERC20 Token example, with mintable token creation
 * @dev Issue: * https://github.com/OpenZeppelin/openzeppelin-solidity/issues/120
 * Based on code by TokenMarketNet: https://github.com/TokenMarketNet/ico/blob/master/contracts/MintableToken.sol
 */
contract MintableToken is StandardToken, Ownable {
  event Mint(address indexed to, uint256 amount);
  event MintFinished();

  bool public mintingFinished = false;


  modifier canMint() {
    require(!mintingFinished);
    _;
  }

  modifier hasMintPermission() {
    require(msg.sender == owner);
    _;
  }

  /**
   * @dev Function to mint tokens
   * @param _to The address that will receive the minted tokens.
   * @param _amount The amount of tokens to mint.
   * @return A boolean that indicates if the operation was successful.
   */
  function mint(
    address _to,
    uint256 _amount
  )
    hasMintPermission
    canMint
    public
    returns (bool)
  {
    totalSupply_ = totalSupply_.add(_amount);
    balances[_to] = balances[_to].add(_amount);
    emit Mint(_to, _amount);
    emit Transfer(address(0), _to, _amount);
    return true;
  }

  /**
   * @dev Function to stop minting new tokens.
   * @return True if the operation was successful.
   */
  function finishMinting() onlyOwner canMint public returns (bool) {
    mintingFinished = true;
    emit MintFinished();
    return true;
  }
}


contract FreezableToken is StandardToken {
    // freezing chains
    mapping (bytes32 => uint64) internal chains;
    // freezing amounts for each chain
    mapping (bytes32 => uint) internal freezings;
    // total freezing balance per address
    mapping (address => uint) internal freezingBalance;

    event Freezed(address indexed to, uint64 release, uint amount);
    event Released(address indexed owner, uint amount);

    /**
     * @dev Gets the balance of the specified address include freezing tokens.
     * @param _owner The address to query the the balance of.
     * @return An uint256 representing the amount owned by the passed address.
     */
    function balanceOf(address _owner) public view returns (uint256 balance) {
        return super.balanceOf(_owner) + freezingBalance[_owner];
    }

    /**
     * @dev Gets the balance of the specified address without freezing tokens.
     * @param _owner The address to query the the balance of.
     * @return An uint256 representing the amount owned by the passed address.
     */
    function actualBalanceOf(address _owner) public view returns (uint256 balance) {
        return super.balanceOf(_owner);
    }

    function freezingBalanceOf(address _owner) public view returns (uint256 balance) {
        return freezingBalance[_owner];
    }

    /**
     * @dev gets freezing count
     * @param _addr Address of freeze tokens owner.
     */
    function freezingCount(address _addr) public view returns (uint count) {
        uint64 release = chains[toKey(_addr, 0)];
        while (release != 0) {
            count++;
            release = chains[toKey(_addr, release)];
        }
    }

    /**
     * @dev gets freezing end date and freezing balance for the freezing portion specified by index.
     * @param _addr Address of freeze tokens owner.
     * @param _index Freezing portion index. It ordered by release date descending.
     */
    function getFreezing(address _addr, uint _index) public view returns (uint64 _release, uint _balance) {
        for (uint i = 0; i < _index + 1; i++) {
            _release = chains[toKey(_addr, _release)];
            if (_release == 0) {
                return;
            }
        }
        _balance = freezings[toKey(_addr, _release)];
    }

    /**
     * @dev freeze your tokens to the specified address.
     *      Be careful, gas usage is not deterministic,
     *      and depends on how many freezes _to address already has.
     * @param _to Address to which token will be freeze.
     * @param _amount Amount of token to freeze.
     * @param _until Release date, must be in future.
     */
    function freezeTo(address _to, uint _amount, uint64 _until) public {
        require(_to != address(0));
        require(_amount <= balances[msg.sender]);

        balances[msg.sender] = balances[msg.sender].sub(_amount);

        bytes32 currentKey = toKey(_to, _until);
        freezings[currentKey] = freezings[currentKey].add(_amount);
        freezingBalance[_to] = freezingBalance[_to].add(_amount);

        freeze(_to, _until);
        emit Transfer(msg.sender, _to, _amount);
        emit Freezed(_to, _until, _amount);
    }

    /**
     * @dev release first available freezing tokens.
     */
    function releaseOnce() public {
        bytes32 headKey = toKey(msg.sender, 0);
        uint64 head = chains[headKey];
        require(head != 0);
        require(uint64(block.timestamp) > head);
        bytes32 currentKey = toKey(msg.sender, head);

        uint64 next = chains[currentKey];

        uint amount = freezings[currentKey];
        delete freezings[currentKey];

        balances[msg.sender] = balances[msg.sender].add(amount);
        freezingBalance[msg.sender] = freezingBalance[msg.sender].sub(amount);

        if (next == 0) {
            delete chains[headKey];
        } else {
            chains[headKey] = next;
            delete chains[currentKey];
        }
        emit Released(msg.sender, amount);
    }

    /**
     * @dev release all available for release freezing tokens. Gas usage is not deterministic!
     * @return how many tokens was released
     */
    function releaseAll() public returns (uint tokens) {
        uint release;
        uint balance;
        (release, balance) = getFreezing(msg.sender, 0);
        while (release != 0 && block.timestamp > release) {
            releaseOnce();
            tokens += balance;
            (release, balance) = getFreezing(msg.sender, 0);
        }
    }

    function toKey(address _addr, uint _release) internal pure returns (bytes32 result) {
        // WISH masc to increase entropy
        result = 0x5749534800000000000000000000000000000000000000000000000000000000;
        assembly {
            result := or(result, mul(_addr, 0x10000000000000000))
            result := or(result, _release)
        }
    }

    function freeze(address _to, uint64 _until) internal {
        require(_until > block.timestamp);
        bytes32 key = toKey(_to, _until);
        bytes32 parentKey = toKey(_to, uint64(0));
        uint64 next = chains[parentKey];

        if (next == 0) {
            chains[parentKey] = _until;
            return;
        }

        bytes32 nextKey = toKey(_to, next);
        uint parent;

        while (next != 0 && _until > next) {
            parent = next;
            parentKey = nextKey;

            next = chains[nextKey];
            nextKey = toKey(_to, next);
        }

        if (_until == next) {
            return;
        }

        if (next != 0) {
            chains[key] = next;
        }

        chains[parentKey] = _until;
    }
}


/**
 * @title Burnable Token
 * @dev Token that can be irreversibly burned (destroyed).
 */
contract BurnableToken is BasicToken {

  event Burn(address indexed burner, uint256 value);

  /**
   * @dev Burns a specific amount of tokens.
   * @param _value The amount of token to be burned.
   */
  function burn(uint256 _value) public {
    _burn(msg.sender, _value);
  }

  function _burn(address _who, uint256 _value) internal {
    require(_value <= balances[_who]);
    // no need to require value <= totalSupply, since that would imply the
    // sender's balance is greater than the totalSupply, which *should* be an assertion failure

    balances[_who] = balances[_who].sub(_value);
    totalSupply_ = totalSupply_.sub(_value);
    emit Burn(_who, _value);
    emit Transfer(_who, address(0), _value);
  }
}



/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
  event Pause();
  event Unpause();

  bool public paused = false;


  /**
   * @dev Modifier to make a function callable only when the contract is not paused.
   */
  modifier whenNotPaused() {
    require(!paused);
    _;
  }

  /**
   * @dev Modifier to make a function callable only when the contract is paused.
   */
  modifier whenPaused() {
    require(paused);
    _;
  }

  /**
   * @dev called by the owner to pause, triggers stopped state
   */
  function pause() onlyOwner whenNotPaused public {
    paused = true;
    emit Pause();
  }

  /**
   * @dev called by the owner to unpause, returns to normal state
   */
  function unpause() onlyOwner whenPaused public {
    paused = false;
    emit Unpause();
  }
}


contract FreezableMintableToken is FreezableToken, MintableToken {
    /**
     * @dev Mint the specified amount of token to the specified address and freeze it until the specified date.
     *      Be careful, gas usage is not deterministic,
     *      and depends on how many freezes _to address already has.
     * @param _to Address to which token will be freeze.
     * @param _amount Amount of token to mint and freeze.
     * @param _until Release date, must be in future.
     * @return A boolean that indicates if the operation was successful.
     */
    function mintAndFreeze(address _to, uint _amount, uint64 _until) public onlyOwner canMint returns (bool) {
        totalSupply_ = totalSupply_.add(_amount);

        bytes32 currentKey = toKey(_to, _until);
        freezings[currentKey] = freezings[currentKey].add(_amount);
        freezingBalance[_to] = freezingBalance[_to].add(_amount);

        freeze(_to, _until);
        emit Mint(_to, _amount);
        emit Freezed(_to, _until, _amount);
        emit Transfer(msg.sender, _to, _amount);
        return true;
    }
}



contract Consts {
    uint public constant TOKEN_DECIMALS = 18;
    uint8 public constant TOKEN_DECIMALS_UINT8 = 18;
    uint public constant TOKEN_DECIMAL_MULTIPLIER = 10 ** TOKEN_DECIMALS;

    string public constant TOKEN_NAME = "Bitgear";
    string public constant TOKEN_SYMBOL = "GEAR";
    bool public constant PAUSED = false;
    address public constant TARGET_USER = 0x787526C380F432e327b6653bB0e1513DF792Fb9B;
    
    bool public constant CONTINUE_MINTING = true;
}




contract MainToken is Consts, FreezableMintableToken, BurnableToken, Pausable
    
{
    
    event Initialized();
    bool public initialized = false;

    constructor() public {
        init();
        transferOwnership(TARGET_USER);
    }
    

    function name() public pure returns (string _name) {
        return TOKEN_NAME;
    }

    function symbol() public pure returns (string _symbol) {
        return TOKEN_SYMBOL;
    }

    function decimals() public pure returns (uint8 _decimals) {
        return TOKEN_DECIMALS_UINT8;
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool _success) {
        require(!paused);
        return super.transferFrom(_from, _to, _value);
    }

    function transfer(address _to, uint256 _value) public returns (bool _success) {
        require(!paused);
        return super.transfer(_to, _value);
    }

    
    function init() private {
        require(!initialized);
        initialized = true;

        if (PAUSED) {
            pause();
        }

        
        address[2] memory addresses = [address(0x444d9d3e82bf3f1f918d0fb89d8b6dc573c9115d),address(0x444d9d3e82bf3f1f918d0fb89d8b6dc573c9115d)];
        uint[2] memory amounts = [uint(48000000000000000000000000),uint(6000000000000000000000000)];
        uint64[2] memory freezes = [uint64(0),uint64(0)];

        for (uint i = 0; i < addresses.length; i++) {
            if (freezes[i] == 0) {
                mint(addresses[i], amounts[i]);
            } else {
                mintAndFreeze(addresses[i], amounts[i], freezes[i]);
            }
        }
        

        if (!CONTINUE_MINTING) {
            finishMinting();
        }

        emit Initialized();
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"CONTINUE_MINTING","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_addr","type":"address"},{"name":"_index","type":"uint256"}],"name":"getFreezing","outputs":[{"name":"_release","type":"uint64"},{"name":"_balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"_name","type":"string"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_until","type":"uint64"}],"name":"mintAndFreeze","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"initialized","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"actualBalanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_NAME","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"_success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_SYMBOL","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"_decimals","type":"uint8"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_until","type":"uint64"}],"name":"freezeTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"mint","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_DECIMAL_MULTIPLIER","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_DECIMALS","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"releaseAll","outputs":[{"name":"tokens","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"releaseOnce","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"TARGET_USER","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"finishMinting","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"_symbol","type":"string"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"_success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"PAUSED","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_addr","type":"address"}],"name":"freezingCount","outputs":[{"name":"count","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_DECIMALS_UINT8","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"freezingBalanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"MintFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"release","type":"uint64"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Freezed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Released","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

60806040526000600660146101000a81548160ff0219169083151502179055506000600660156101000a81548160ff0219169083151502179055506000600660166101000a81548160ff0219169083151502179055503480156200006257600080fd5b5033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620000bd620000f1640100000000026401000000009004565b620000eb73787526c380f432e327b6653bb0e1513df792fb9b620003a9640100000000026401000000009004565b62000f21565b620000fb62000ebb565b6200010562000edd565b6200010f62000eff565b6000600660169054906101000a900460ff161515156200012e57600080fd5b6001600660166101000a81548160ff0219169083151502179055506000156200016b576200016a62000423640100000000026401000000009004565b5b604080519081016040528073444d9d3e82bf3f1f918d0fb89d8b6dc573c9115d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200173444d9d3e82bf3f1f918d0fb89d8b6dc573c9115d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815250935060408051908101604052806a27b46536c66c8e3000000081526020016a04f68ca6d8cd91c600000081525092506040805190810160405280600067ffffffffffffffff1667ffffffffffffffff168152602001600067ffffffffffffffff1667ffffffffffffffff168152509150600090505b60028110156200035357600082826002811015156200029057fe5b602002015167ffffffffffffffff161415620002ee57620002e78482600281101515620002b957fe5b60200201518483600281101515620002cd57fe5b6020020151620004e6640100000000026401000000009004565b5062000345565b6200034384826002811015156200030157fe5b602002015184836002811015156200031557fe5b602002015184846002811015156200032957fe5b6020020151620006ee640100000000026401000000009004565b505b808060010191505062000275565b6001151562000377576200037562000a03640100000000026401000000009004565b505b7f5daa87a0e9463431830481fd4b6e3403442dfb9a12b9c07597e9f61d50b633c860405160405180910390a150505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200040657600080fd5b620004208162000acd640100000000026401000000009004565b50565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200048057600080fd5b600660159054906101000a900460ff161515156200049d57600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200054557600080fd5b600660149054906101000a900460ff161515156200056257600080fd5b620005878260015462000bca64010000000002620026c8179091906401000000009004565b600181905550620005ee826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000bca64010000000002620026c8179091906401000000009004565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200074e57600080fd5b600660149054906101000a900460ff161515156200076b57600080fd5b620007908460015462000bca64010000000002620026c8179091906401000000009004565b600181905550620007bb858467ffffffffffffffff1662000be7640100000000026401000000009004565b9050620007fb846004600084600019166000191681526020019081526020016000205462000bca64010000000002620026c8179091906401000000009004565b600460008360001916600019168152602001908152602001600020819055506200087c84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000bca64010000000002620026c8179091906401000000009004565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550620008da858462000c2a640100000000026401000000009004565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151562000a6257600080fd5b600660149054906101000a900460ff1615151562000a7f57600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151562000b0a57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000818301905082811015151562000bde57fe5b80905092915050565b60007f5749534800000000000000000000000000000000000000000000000000000000600102905068010000000000000000830281179050818117905092915050565b6000806000806000428667ffffffffffffffff1611151562000c4b57600080fd5b62000c70878767ffffffffffffffff1662000be7640100000000026401000000009004565b945062000c9887600067ffffffffffffffff1662000be7640100000000026401000000009004565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff16141562000d28578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555062000eb2565b62000d4d878467ffffffffffffffff1662000be7640100000000026401000000009004565b91505b60008367ffffffffffffffff161415801562000d7f57508267ffffffffffffffff168667ffffffffffffffff16115b1562000df4578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925062000dec878467ffffffffffffffff1662000be7640100000000026401000000009004565b915062000d50565b8267ffffffffffffffff168667ffffffffffffffff16141562000e175762000eb2565b60008367ffffffffffffffff1614151562000e6f578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b6040805190810160405280600290602082028038833980820191505090505090565b6040805190810160405280600290602082028038833980820191505090505090565b6040805190810160405280600290602082028038833980820191505090505090565b61323d8062000f316000396000f3006080604052600436106101d7576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680623fd35a146101dc57806302d6f7301461020b57806305d2035b1461028757806306fdde03146102b6578063095ea7b3146103465780630bb2cd6b146103ab578063158ef93e1461042457806317a950ac1461045357806318160ddd146104aa57806318821400146104d557806323b872dd146105655780632a905318146105ea578063313ce5671461067a5780633be1e952146106ab5780633f4ba83a1461070c57806340c10f191461072357806342966c681461078857806356780085146107b55780635b7f415c146107e05780635be7fde81461080b5780635c975abb14610836578063661884631461086557806366a92cda146108ca57806370a08231146108e1578063715018a614610938578063726a431a1461094f5780637d64bcb4146109a65780638456cb59146109d55780638da5cb5b146109ec57806395d89b4114610a43578063a9059cbb14610ad3578063a9aad58c14610b38578063ca63b5b814610b67578063cf3b196714610bbe578063d73dd62314610bef578063d8aeedf514610c54578063dd62ed3e14610cab578063f2fde38b14610d22575b600080fd5b3480156101e857600080fd5b506101f1610d65565b604051808215151515815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d6a565b604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390f35b34801561029357600080fd5b5061029c610e22565b604051808215151515815260200191505060405180910390f35b3480156102c257600080fd5b506102cb610e35565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561030b5780820151818401526020810190506102f0565b50505050905090810190601f1680156103385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561035257600080fd5b50610391600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e72565b604051808215151515815260200191505060405180910390f35b3480156103b757600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050610f64565b604051808215151515815260200191505060405180910390f35b34801561043057600080fd5b50610439611225565b604051808215151515815260200191505060405180910390f35b34801561045f57600080fd5b50610494600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611238565b6040518082815260200191505060405180910390f35b3480156104b657600080fd5b506104bf61124a565b6040518082815260200191505060405180910390f35b3480156104e157600080fd5b506104ea611254565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561052a57808201518184015260208101905061050f565b50505050905090810190601f1680156105575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561057157600080fd5b506105d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061128d565b604051808215151515815260200191505060405180910390f35b3480156105f657600080fd5b506105ff6112bf565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063f578082015181840152602081019050610624565b50505050905090810190601f16801561066c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068657600080fd5b5061068f6112f8565b604051808260ff1660ff16815260200191505060405180910390f35b3480156106b757600080fd5b5061070a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050611301565b005b34801561071857600080fd5b506107216115f5565b005b34801561072f57600080fd5b5061076e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116b5565b604051808215151515815260200191505060405180910390f35b34801561079457600080fd5b506107b36004803603810190808035906020019092919050505061189b565b005b3480156107c157600080fd5b506107ca6118a8565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f56118b0565b6040518082815260200191505060405180910390f35b34801561081757600080fd5b506108206118b5565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b611927565b604051808215151515815260200191505060405180910390f35b34801561087157600080fd5b506108b0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061193a565b604051808215151515815260200191505060405180910390f35b3480156108d657600080fd5b506108df611bcb565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f0f565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d611f62565b005b34801561095b57600080fd5b50610964612067565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109b257600080fd5b506109bb61207f565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b506109ea612147565b005b3480156109f857600080fd5b50610a01612208565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a4f57600080fd5b50610a5861222e565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a98578082015181840152602081019050610a7d565b50505050905090810190601f168015610ac55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610adf57600080fd5b50610b1e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061226b565b604051808215151515815260200191505060405180910390f35b348015610b4457600080fd5b50610b4d61229b565b604051808215151515815260200191505060405180910390f35b348015610b7357600080fd5b50610ba8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122a0565b6040518082815260200191505060405180910390f35b348015610bca57600080fd5b50610bd361234c565b604051808260ff1660ff16815260200191505060405180910390f35b348015610bfb57600080fd5b50610c3a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612351565b604051808215151515815260200191505060405180910390f35b348015610c6057600080fd5b50610c95600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061254d565b6040518082815260200191505060405180910390f35b348015610cb757600080fd5b50610d0c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612596565b6040518082815260200191505060405180910390f35b348015610d2e57600080fd5b50610d63600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061261d565b005b600181565b60008060008090505b60018401811015610de85760036000610d96878667ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff161415610ddb57610e1a565b8080600101915050610d73565b60046000610e00878667ffffffffffffffff16612685565b600019166000191681526020019081526020016000205491505b509250929050565b600660149054906101000a900460ff1681565b60606040805190810160405280600781526020017f4269746765617200000000000000000000000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610fc357600080fd5b600660149054906101000a900460ff16151515610fdf57600080fd5b610ff4846001546126c890919063ffffffff16565b60018190555061100e858467ffffffffffffffff16612685565b905061103e84600460008460001916600019168152602001908152602001600020546126c890919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506110af84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110fc85846126e4565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b600660169054906101000a900460ff1681565b600061124382612928565b9050919050565b6000600154905090565b6040805190810160405280600781526020017f426974676561720000000000000000000000000000000000000000000000000081525081565b6000600660159054906101000a900460ff161515156112ab57600080fd5b6112b6848484612970565b90509392505050565b6040805190810160405280600481526020017f474541520000000000000000000000000000000000000000000000000000000081525081565b60006012905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561133e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561138b57600080fd5b6113dc836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611432848367ffffffffffffffff16612685565b905061146283600460008460001916600019168152602001908152602001600020546126c890919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506114d383600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061152084836126e4565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48385604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a250505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561165157600080fd5b600660159054906101000a900460ff16151561166c57600080fd5b6000600660156101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561171357600080fd5b600660149054906101000a900460ff1615151561172f57600080fd5b611744826001546126c890919063ffffffff16565b60018190555061179b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6118a53382612d43565b50565b6012600a0a81565b601281565b60008060006118c5336000610d6a565b8167ffffffffffffffff16915080925081935050505b600082141580156118eb57508142115b15611922576118f8611bcb565b8083019250611908336000610d6a565b8167ffffffffffffffff16915080925081935050506118db565b505090565b600660159054906101000a900460ff1681565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115611a4b576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611adf565b611a5e8382612d2a90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000806000806000611bde336000612685565b945060036000866000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16935060008467ffffffffffffffff1614151515611c2c57600080fd5b8367ffffffffffffffff164267ffffffffffffffff16111515611c4e57600080fd5b611c62338567ffffffffffffffff16612685565b925060036000846000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16915060046000846000191660001916815260200190815260200160002054905060046000846000191660001916815260200190815260200160002060009055611d24816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611db881600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008267ffffffffffffffff161415611e455760036000866000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff0219169055611eba565b8160036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555060036000846000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff02191690555b3373ffffffffffffffffffffffffffffffffffffffff167fb21fb52d5749b80f3182f8c6992236b5e5576681880914484d7f4c9b062e619e826040518082815260200191505060405180910390a25050505050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5a83612928565b019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fbe57600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b73787526c380f432e327b6653bb0e1513df792fb9b81565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120dd57600080fd5b600660149054906101000a900460ff161515156120f957600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156121a357600080fd5b600660159054906101000a900460ff161515156121bf57600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60606040805190810160405280600481526020017f4745415200000000000000000000000000000000000000000000000000000000815250905090565b6000600660159054906101000a900460ff1615151561228957600080fd5b6122938383612ef6565b905092915050565b600081565b600080600360006122b2856000612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690505b60008167ffffffffffffffff1614151561234657818060010192505060036000612314858467ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690506122e0565b50919050565b601281565b60006123e282600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561267957600080fd5b61268281613115565b50565b60007f5749534800000000000000000000000000000000000000000000000000000000600102905068010000000000000000830281179050818117905092915050565b600081830190508281101515156126db57fe5b80905092915050565b6000806000806000428667ffffffffffffffff1611151561270457600080fd5b612718878767ffffffffffffffff16612685565b945061272f87600067ffffffffffffffff16612685565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff1614156127bd578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555061291f565b6127d1878467ffffffffffffffff16612685565b91505b60008367ffffffffffffffff161415801561280257508267ffffffffffffffff168667ffffffffffffffff16115b15612864578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925061285d878467ffffffffffffffff16612685565b91506127d4565b8267ffffffffffffffff168667ffffffffffffffff1614156128855761291f565b60008367ffffffffffffffff161415156128dc578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156129ad57600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156129fa57600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a8557600080fd5b612ad6826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b69826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612c3a82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000828211151515612d3857fe5b818303905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612d9057600080fd5b612de1816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e3881600154612d2a90919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612f3357600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612f8057600080fd5b612fd1826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613064826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561315157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505600a165627a7a7230582052c89969605b16a9d9fef1b72c61412aa1cbdd79be1857a5b9d1fbfee4f735b40029

0x6080604052600436106101d7576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680623fd35a146101dc57806302d6f7301461020b57806305d2035b1461028757806306fdde03146102b6578063095ea7b3146103465780630bb2cd6b146103ab578063158ef93e1461042457806317a950ac1461045357806318160ddd146104aa57806318821400146104d557806323b872dd146105655780632a905318146105ea578063313ce5671461067a5780633be1e952146106ab5780633f4ba83a1461070c57806340c10f191461072357806342966c681461078857806356780085146107b55780635b7f415c146107e05780635be7fde81461080b5780635c975abb14610836578063661884631461086557806366a92cda146108ca57806370a08231146108e1578063715018a614610938578063726a431a1461094f5780637d64bcb4146109a65780638456cb59146109d55780638da5cb5b146109ec57806395d89b4114610a43578063a9059cbb14610ad3578063a9aad58c14610b38578063ca63b5b814610b67578063cf3b196714610bbe578063d73dd62314610bef578063d8aeedf514610c54578063dd62ed3e14610cab578063f2fde38b14610d22575b600080fd5b3480156101e857600080fd5b506101f1610d65565b604051808215151515815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d6a565b604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390f35b34801561029357600080fd5b5061029c610e22565b604051808215151515815260200191505060405180910390f35b3480156102c257600080fd5b506102cb610e35565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561030b5780820151818401526020810190506102f0565b50505050905090810190601f1680156103385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561035257600080fd5b50610391600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e72565b604051808215151515815260200191505060405180910390f35b3480156103b757600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050610f64565b604051808215151515815260200191505060405180910390f35b34801561043057600080fd5b50610439611225565b604051808215151515815260200191505060405180910390f35b34801561045f57600080fd5b50610494600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611238565b6040518082815260200191505060405180910390f35b3480156104b657600080fd5b506104bf61124a565b6040518082815260200191505060405180910390f35b3480156104e157600080fd5b506104ea611254565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561052a57808201518184015260208101905061050f565b50505050905090810190601f1680156105575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561057157600080fd5b506105d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061128d565b604051808215151515815260200191505060405180910390f35b3480156105f657600080fd5b506105ff6112bf565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063f578082015181840152602081019050610624565b50505050905090810190601f16801561066c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068657600080fd5b5061068f6112f8565b604051808260ff1660ff16815260200191505060405180910390f35b3480156106b757600080fd5b5061070a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050611301565b005b34801561071857600080fd5b506107216115f5565b005b34801561072f57600080fd5b5061076e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116b5565b604051808215151515815260200191505060405180910390f35b34801561079457600080fd5b506107b36004803603810190808035906020019092919050505061189b565b005b3480156107c157600080fd5b506107ca6118a8565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f56118b0565b6040518082815260200191505060405180910390f35b34801561081757600080fd5b506108206118b5565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b611927565b604051808215151515815260200191505060405180910390f35b34801561087157600080fd5b506108b0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061193a565b604051808215151515815260200191505060405180910390f35b3480156108d657600080fd5b506108df611bcb565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f0f565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d611f62565b005b34801561095b57600080fd5b50610964612067565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109b257600080fd5b506109bb61207f565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b506109ea612147565b005b3480156109f857600080fd5b50610a01612208565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a4f57600080fd5b50610a5861222e565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a98578082015181840152602081019050610a7d565b50505050905090810190601f168015610ac55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610adf57600080fd5b50610b1e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061226b565b604051808215151515815260200191505060405180910390f35b348015610b4457600080fd5b50610b4d61229b565b604051808215151515815260200191505060405180910390f35b348015610b7357600080fd5b50610ba8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122a0565b6040518082815260200191505060405180910390f35b348015610bca57600080fd5b50610bd361234c565b604051808260ff1660ff16815260200191505060405180910390f35b348015610bfb57600080fd5b50610c3a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612351565b604051808215151515815260200191505060405180910390f35b348015610c6057600080fd5b50610c95600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061254d565b6040518082815260200191505060405180910390f35b348015610cb757600080fd5b50610d0c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612596565b6040518082815260200191505060405180910390f35b348015610d2e57600080fd5b50610d63600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061261d565b005b600181565b60008060008090505b60018401811015610de85760036000610d96878667ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff161415610ddb57610e1a565b8080600101915050610d73565b60046000610e00878667ffffffffffffffff16612685565b600019166000191681526020019081526020016000205491505b509250929050565b600660149054906101000a900460ff1681565b60606040805190810160405280600781526020017f4269746765617200000000000000000000000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610fc357600080fd5b600660149054906101000a900460ff16151515610fdf57600080fd5b610ff4846001546126c890919063ffffffff16565b60018190555061100e858467ffffffffffffffff16612685565b905061103e84600460008460001916600019168152602001908152602001600020546126c890919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506110af84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110fc85846126e4565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b600660169054906101000a900460ff1681565b600061124382612928565b9050919050565b6000600154905090565b6040805190810160405280600781526020017f426974676561720000000000000000000000000000000000000000000000000081525081565b6000600660159054906101000a900460ff161515156112ab57600080fd5b6112b6848484612970565b90509392505050565b6040805190810160405280600481526020017f474541520000000000000000000000000000000000000000000000000000000081525081565b60006012905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561133e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561138b57600080fd5b6113dc836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611432848367ffffffffffffffff16612685565b905061146283600460008460001916600019168152602001908152602001600020546126c890919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506114d383600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061152084836126e4565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48385604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a250505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561165157600080fd5b600660159054906101000a900460ff16151561166c57600080fd5b6000600660156101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561171357600080fd5b600660149054906101000a900460ff1615151561172f57600080fd5b611744826001546126c890919063ffffffff16565b60018190555061179b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6118a53382612d43565b50565b6012600a0a81565b601281565b60008060006118c5336000610d6a565b8167ffffffffffffffff16915080925081935050505b600082141580156118eb57508142115b15611922576118f8611bcb565b8083019250611908336000610d6a565b8167ffffffffffffffff16915080925081935050506118db565b505090565b600660159054906101000a900460ff1681565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115611a4b576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611adf565b611a5e8382612d2a90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000806000806000611bde336000612685565b945060036000866000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16935060008467ffffffffffffffff1614151515611c2c57600080fd5b8367ffffffffffffffff164267ffffffffffffffff16111515611c4e57600080fd5b611c62338567ffffffffffffffff16612685565b925060036000846000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16915060046000846000191660001916815260200190815260200160002054905060046000846000191660001916815260200190815260200160002060009055611d24816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611db881600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008267ffffffffffffffff161415611e455760036000866000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff0219169055611eba565b8160036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555060036000846000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff02191690555b3373ffffffffffffffffffffffffffffffffffffffff167fb21fb52d5749b80f3182f8c6992236b5e5576681880914484d7f4c9b062e619e826040518082815260200191505060405180910390a25050505050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5a83612928565b019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fbe57600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b73787526c380f432e327b6653bb0e1513df792fb9b81565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120dd57600080fd5b600660149054906101000a900460ff161515156120f957600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156121a357600080fd5b600660159054906101000a900460ff161515156121bf57600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60606040805190810160405280600481526020017f4745415200000000000000000000000000000000000000000000000000000000815250905090565b6000600660159054906101000a900460ff1615151561228957600080fd5b6122938383612ef6565b905092915050565b600081565b600080600360006122b2856000612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690505b60008167ffffffffffffffff1614151561234657818060010192505060036000612314858467ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690506122e0565b50919050565b601281565b60006123e282600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561267957600080fd5b61268281613115565b50565b60007f5749534800000000000000000000000000000000000000000000000000000000600102905068010000000000000000830281179050818117905092915050565b600081830190508281101515156126db57fe5b80905092915050565b6000806000806000428667ffffffffffffffff1611151561270457600080fd5b612718878767ffffffffffffffff16612685565b945061272f87600067ffffffffffffffff16612685565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff1614156127bd578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555061291f565b6127d1878467ffffffffffffffff16612685565b91505b60008367ffffffffffffffff161415801561280257508267ffffffffffffffff168667ffffffffffffffff16115b15612864578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925061285d878467ffffffffffffffff16612685565b91506127d4565b8267ffffffffffffffff168667ffffffffffffffff1614156128855761291f565b60008367ffffffffffffffff161415156128dc578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156129ad57600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156129fa57600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a8557600080fd5b612ad6826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b69826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612c3a82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000828211151515612d3857fe5b818303905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612d9057600080fd5b612de1816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e3881600154612d2a90919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612f3357600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612f8057600080fd5b612fd1826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2a90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613064826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126c890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561315157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505600a165627a7a7230582052c89969605b16a9d9fef1b72c61412aa1cbdd79be1857a5b9d1fbfee4f735b40029

19957:1798:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19899:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19899:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;12761:355;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12761:355:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9751:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9751:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;20222:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20222:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;20222:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5391:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5391:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18914:535;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18914:535:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20081:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20081:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11868:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11868:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2199:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2199:85:0;;;;;;;;;;;;;;;;;;;;;;;19661:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19661:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;19661:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20530:188;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20530:188:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19713:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19713:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;19713:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20418:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20418:104:0;;;;;;;;;;;;;;;;;;;;;;;;;;;13490:547;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13490:547:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18234:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18234:95:0;;;;;;10188:326;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10188:326:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16883:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16883:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;19584:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19584:68:0;;;;;;;;;;;;;;;;;;;;;;;19483:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19483:40:0;;;;;;;;;;;;;;;;;;;;;;;15040:357;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15040:357:0;;;;;;;;;;;;;;;;;;;;;;;17613:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17613:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7319:440;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7319:440:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14117:756;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14117:756:0;;;;;;11471:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11471:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8607:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8607:114:0;;;;;;19806:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19806:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10634:144;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10634:144:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18054:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18054:93:0;;;;;;7989:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7989:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;20317:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20317:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;20317:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20726:158;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20726:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19764:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19764:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;12246:249;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12246:249:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19530:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19530:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6541:304;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6541:304:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12004:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12004:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5910:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5910:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8889:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8889:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19899:44;19939:4;19899:44;:::o;12761:355::-;12831:15;12848:13;12879:6;12888:1;12879:10;;12874:180;12904:1;12895:6;:10;12891:1;:14;12874:180;;;12938:6;:30;12945:22;12951:5;12958:8;12945:22;;:5;:22::i;:::-;12938:30;;;;;;;;;;;;;;;;;;;;;;;;;;;12927:41;;12999:1;12987:8;:13;;;12983:60;;;13021:7;;12983:60;12907:3;;;;;;;12874:180;;;13075:9;:33;13085:22;13091:5;13098:8;13085:22;;:5;:22::i;:::-;13075:33;;;;;;;;;;;;;;;;;;13064:44;;12761:355;;;;;;;:::o;9751:35::-;;;;;;;;;;;;;:::o;20222:87::-;20259:12;20291:10;;;;;;;;;;;;;;;;;;20284:17;;20222:87;:::o;5391:192::-;5458:4;5503:6;5471:7;:19;5479:10;5471:19;;;;;;;;;;;;;;;:29;5491:8;5471:29;;;;;;;;;;;;;;;:38;;;;5542:8;5521:38;;5530:10;5521:38;;;5552:6;5521:38;;;;;;;;;;;;;;;;;;5573:4;5566:11;;5391:192;;;;:::o;18914:535::-;19013:4;19083:18;8492:5;;;;;;;;;;;8478:19;;:10;:19;;;8470:28;;;;;;;;9830:15;;;;;;;;;;;9829:16;9821:25;;;;;;;;19045;19062:7;19045:12;;:16;;:25;;;;:::i;:::-;19030:12;:40;;;;19104:18;19110:3;19115:6;19104:18;;:5;:18::i;:::-;19083:39;;19157:34;19183:7;19157:9;:21;19167:10;19157:21;;;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;19133:9;:21;19143:10;19133:21;;;;;;;;;;;;;;;;;:58;;;;19225:33;19250:7;19225:15;:20;19241:3;19225:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;19202:15;:20;19218:3;19202:20;;;;;;;;;;;;;;;:56;;;;19271:19;19278:3;19283:6;19271;:19::i;:::-;19311:3;19306:18;;;19316:7;19306:18;;;;;;;;;;;;;;;;;;19348:3;19340:29;;;19353:6;19361:7;19340:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;19406:3;19385:34;;19394:10;19385:34;;;19411:7;19385:34;;;;;;;;;;;;;;;;;;19437:4;19430:11;;18914:535;;;;;;:::o;20081:31::-;;;;;;;;;;;;;:::o;11868:128::-;11930:15;11965:23;11981:6;11965:15;:23::i;:::-;11958:30;;11868:128;;;:::o;2199:85::-;2243:7;2266:12;;2259:19;;2199:85;:::o;19661:45::-;;;;;;;;;;;;;;;;;;;;:::o;20530:188::-;20612:13;20647:6;;;;;;;;;;;20646:7;20638:16;;;;;;;;20672:38;20691:5;20698:3;20703:6;20672:18;:38::i;:::-;20665:45;;20530:188;;;;;:::o;19713:44::-;;;;;;;;;;;;;;;;;;;;:::o;20418:104::-;20459:15;19575:2;20487:27;;20418:104;:::o;13490:547::-;13727:18;13591:1;13576:17;;:3;:17;;;;13568:26;;;;;;;;13624:8;:20;13633:10;13624:20;;;;;;;;;;;;;;;;13613:7;:31;;13605:40;;;;;;;;13681:33;13706:7;13681:8;:20;13690:10;13681:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;13658:8;:20;13667:10;13658:20;;;;;;;;;;;;;;;:56;;;;13748:18;13754:3;13759:6;13748:18;;:5;:18::i;:::-;13727:39;;13801:34;13827:7;13801:9;:21;13811:10;13801:21;;;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;13777:9;:21;13787:10;13777:21;;;;;;;;;;;;;;;;;:58;;;;13869:33;13894:7;13869:15;:20;13885:3;13869:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;13846:15;:20;13862:3;13846:20;;;;;;;;;;;;;;;:56;;;;13915:19;13922:3;13927:6;13915;:19::i;:::-;13971:3;13950:34;;13959:10;13950:34;;;13976:7;13950:34;;;;;;;;;;;;;;;;;;14008:3;14000:29;;;14013:6;14021:7;14000:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;13490:547;;;;:::o;18234:95::-;8492:5;;;;;;;;;;;8478:19;;:10;:19;;;8470:28;;;;;;;;17949:6;;;;;;;;;;;17941:15;;;;;;;;18297:5;18288:6;;:14;;;;;;;;;;;;;;;;;;18314:9;;;;;;;;;;18234:95::o;10188:326::-;10309:4;9924:5;;;;;;;;;;;9910:19;;:10;:19;;;9902:28;;;;;;;;9830:15;;;;;;;;;;;9829:16;9821:25;;;;;;;;10340;10357:7;10340:12;;:16;;:25;;;;:::i;:::-;10325:12;:40;;;;10388:26;10406:7;10388:8;:13;10397:3;10388:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;10372:8;:13;10381:3;10372:13;;;;;;;;;;;;;;;:42;;;;10431:3;10426:18;;;10436:7;10426:18;;;;;;;;;;;;;;;;;;10477:3;10456:34;;10473:1;10456:34;;;10482:7;10456:34;;;;;;;;;;;;;;;;;;10504:4;10497:11;;10188:326;;;;:::o;16883:75::-;16927:25;16933:10;16945:6;16927:5;:25::i;:::-;16883:75;:::o;19584:68::-;19521:2;19632;:20;19584:68;:::o;19483:40::-;19521:2;19483:40;:::o;15040:357::-;15078:11;15102:12;15125;15169:26;15181:10;15193:1;15169:11;:26::i;:::-;15148:47;;;;;;;;;;;;;15206:184;15224:1;15213:7;:12;;:41;;;;;15247:7;15229:15;:25;15213:41;15206:184;;;15271:13;:11;:13::i;:::-;15309:7;15299:17;;;;15352:26;15364:10;15376:1;15352:11;:26::i;:::-;15331:47;;;;;;;;;;;;;15206:184;;;15040:357;;;:::o;17613:26::-;;;;;;;;;;;;;:::o;7319:440::-;7427:4;7443:13;7459:7;:19;7467:10;7459:19;;;;;;;;;;;;;;;:29;7479:8;7459:29;;;;;;;;;;;;;;;;7443:45;;7518:8;7499:16;:27;7495:168;;;7569:1;7537:7;:19;7545:10;7537:19;;;;;;;;;;;;;;;:29;7557:8;7537:29;;;;;;;;;;;;;;;:33;;;;7495:168;;;7625:30;7638:16;7625:8;:12;;:30;;;;:::i;:::-;7593:7;:19;7601:10;7593:19;;;;;;;;;;;;;;;:29;7613:8;7593:29;;;;;;;;;;;;;;;:62;;;;7495:168;7695:8;7674:61;;7683:10;7674:61;;;7705:7;:19;7713:10;7705:19;;;;;;;;;;;;;;;:29;7725:8;7705:29;;;;;;;;;;;;;;;;7674:61;;;;;;;;;;;;;;;;;;7749:4;7742:11;;7319:440;;;;;:::o;14117:756::-;14158:15;14207:11;14326:18;14383:11;14428;14176:20;14182:10;14194:1;14176:5;:20::i;:::-;14158:38;;14221:6;:15;14228:7;14221:15;;;;;;;;;;;;;;;;;;;;;;;;;;;14207:29;;14263:1;14255:4;:9;;;;14247:18;;;;;;;;14310:4;14284:30;;14291:15;14284:30;;;14276:39;;;;;;;;14347:23;14353:10;14365:4;14347:23;;:5;:23::i;:::-;14326:44;;14397:6;:18;14404:10;14397:18;;;;;;;;;;;;;;;;;;;;;;;;;;;14383:32;;14442:9;:21;14452:10;14442:21;;;;;;;;;;;;;;;;;;14428:35;;14481:9;:21;14491:10;14481:21;;;;;;;;;;;;;;;;;14474:28;;;14538:32;14563:6;14538:8;:20;14547:10;14538:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;14515:8;:20;14524:10;14515:20;;;;;;;;;;;;;;;:55;;;;14611:39;14643:6;14611:15;:27;14627:10;14611:27;;;;;;;;;;;;;;;;:31;;:39;;;;:::i;:::-;14581:15;:27;14597:10;14581:27;;;;;;;;;;;;;;;:69;;;;14675:1;14667:4;:9;;;14663:159;;;14700:6;:15;14707:7;14700:15;;;;;;;;;;;;;;;;;;14693:22;;;;;;;;;;;14663:159;;;14766:4;14748:6;:15;14755:7;14748:15;;;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;14792:6;:18;14799:10;14792:18;;;;;;;;;;;;;;;;;;14785:25;;;;;;;;;;;14663:159;14846:10;14837:28;;;14858:6;14837:28;;;;;;;;;;;;;;;;;;14117:756;;;;;:::o;11471:148::-;11527:15;11588;:23;11604:6;11588:23;;;;;;;;;;;;;;;;11562;11578:6;11562:15;:23::i;:::-;:49;11555:56;;11471:148;;;:::o;8607:114::-;8492:5;;;;;;;;;;;8478:19;;:10;:19;;;8470:28;;;;;;;;8684:5;;;;;;;;;;;8665:25;;;;;;;;;;;;8713:1;8697:5;;:18;;;;;;;;;;;;;;;;;;8607:114::o;19806:80::-;19844:42;19806:80;:::o;10634:144::-;10693:4;8492:5;;;;;;;;;;;8478:19;;:10;:19;;;8470:28;;;;;;;;9830:15;;;;;;;;;;;9829:16;9821:25;;;;;;;;10724:4;10706:15;;:22;;;;;;;;;;;;;;;;;;10740:14;;;;;;;;;;10768:4;10761:11;;10634:144;:::o;18054:93::-;8492:5;;;;;;;;;;;8478:19;;:10;:19;;;8470:28;;;;;;;;17789:6;;;;;;;;;;;17788:7;17780:16;;;;;;;;18118:4;18109:6;;:13;;;;;;;;;;;;;;;;;;18134:7;;;;;;;;;;18054:93::o;7989:20::-;;;;;;;;;;;;;:::o;20317:93::-;20356:14;20390:12;;;;;;;;;;;;;;;;;;20383:19;;20317:93;:::o;20726:158::-;20789:13;20824:6;;;;;;;;;;;20823:7;20815:16;;;;;;;;20849:27;20864:3;20869:6;20849:14;:27::i;:::-;20842:34;;20726:158;;;;:::o;19764:35::-;19794:5;19764:35;:::o;12246:249::-;12305:10;12328:14;12345:6;:23;12352:15;12358:5;12365:1;12352:5;:15::i;:::-;12345:23;;;;;;;;;;;;;;;;;;;;;;;;;;;12328:40;;12379:109;12397:1;12386:7;:12;;;;12379:109;;;12415:7;;;;;;;12447:6;:29;12454:21;12460:5;12467:7;12454:21;;:5;:21::i;:::-;12447:29;;;;;;;;;;;;;;;;;;;;;;;;;;;12437:39;;12379:109;;;12246:249;;;;:::o;19530:47::-;19575:2;19530:47;:::o;6541:304::-;6644:4;6701:46;6735:11;6701:7;:19;6709:10;6701:19;;;;;;;;;;;;;;;:29;6721:8;6701:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6660:7;:19;6668:10;6660:19;;;;;;;;;;;;;;;:29;6680:8;6660:29;;;;;;;;;;;;;;;:88;;;;6781:8;6760:61;;6769:10;6760:61;;;6791:7;:19;6799:10;6791:19;;;;;;;;;;;;;;;:29;6811:8;6791:29;;;;;;;;;;;;;;;;6760:61;;;;;;;;;;;;;;;;;;6835:4;6828:11;;6541:304;;;;:::o;12004:130::-;12068:15;12103;:23;12119:6;12103:23;;;;;;;;;;;;;;;;12096:30;;12004:130;;;:::o;5910:162::-;6015:7;6041;:15;6049:6;6041:15;;;;;;;;;;;;;;;:25;6057:8;6041:25;;;;;;;;;;;;;;;;6034:32;;5910:162;;;;:::o;8889:105::-;8492:5;;;;;;;;;;;8478:19;;:10;:19;;;8470:28;;;;;;;;8959:29;8978:9;8959:18;:29::i;:::-;8889:105;:::o;15405:362::-;15473:14;15551:66;15542:75;;;;15684:19;15677:5;15673:31;15665:6;15662:43;15652:53;;15740:8;15732:6;15729:20;15719:30;;15637:123;;;;:::o;1766:127::-;1824:9;1850:1;1846;:5;1842:9;;1870:1;1865;:6;;1858:14;;;;;;1886:1;1879:8;;1766:127;;;;:::o;15775:789::-;15883:11;15926:17;15978:11;16123:15;16168:11;15856:15;15847:6;:24;;;15839:33;;;;;;;;15897:18;15903:3;15908:6;15897:18;;:5;:18::i;:::-;15883:32;;15946:21;15952:3;15964:1;15946:21;;:5;:21::i;:::-;15926:41;;15992:6;:17;15999:9;15992:17;;;;;;;;;;;;;;;;;;;;;;;;;;;15978:31;;16034:1;16026:4;:9;;;16022:89;;;16072:6;16052;:17;16059:9;16052:17;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;16093:7;;16022:89;16141:16;16147:3;16152:4;16141:16;;:5;:16::i;:::-;16123:34;;16192:189;16207:1;16199:4;:9;;;;:26;;;;;16221:4;16212:13;;:6;:13;;;16199:26;16192:189;;;16251:4;16242:13;;;;16282:7;16270:19;;16313:6;:15;16320:7;16313:15;;;;;;;;;;;;;;;;;;;;;;;;;;;16306:22;;16353:16;16359:3;16364:4;16353:16;;:5;:16::i;:::-;16343:26;;16192:189;;;16407:4;16397:14;;:6;:14;;;16393:53;;;16428:7;;16393:53;16470:1;16462:4;:9;;;;16458:60;;;16502:4;16488:6;:11;16495:3;16488:11;;;;;;;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;16458:60;16550:6;16530;:17;16537:9;16530:17;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;15775:789;;;;;;;;:::o;2983:101::-;3039:7;3062:8;:16;3071:6;3062:16;;;;;;;;;;;;;;;;3055:23;;2983:101;;;:::o;4269:487::-;4381:4;4420:1;4405:17;;:3;:17;;;;4397:26;;;;;;;;4448:8;:15;4457:5;4448:15;;;;;;;;;;;;;;;;4438:6;:25;;4430:34;;;;;;;;4489:7;:14;4497:5;4489:14;;;;;;;;;;;;;;;:26;4504:10;4489:26;;;;;;;;;;;;;;;;4479:6;:36;;4471:45;;;;;;;;4543:27;4563:6;4543:8;:15;4552:5;4543:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4525:8;:15;4534:5;4525:15;;;;;;;;;;;;;;;:45;;;;4593:25;4611:6;4593:8;:13;4602:3;4593:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4577:8;:13;4586:3;4577:13;;;;;;;;;;;;;;;:41;;;;4654:38;4685:6;4654:7;:14;4662:5;4654:14;;;;;;;;;;;;;;;:26;4669:10;4654:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4625:7;:14;4633:5;4625:14;;;;;;;;;;;;;;;:26;4640:10;4625:26;;;;;;;;;;;;;;;:67;;;;4720:3;4704:28;;4713:5;4704:28;;;4725:6;4704:28;;;;;;;;;;;;;;;;;;4746:4;4739:11;;4269:487;;;;;:::o;1586:113::-;1644:7;1672:1;1667;:6;;1660:14;;;;;;1692:1;1688;:5;1681:12;;1586:113;;;;:::o;16964:447::-;17043:8;:14;17052:4;17043:14;;;;;;;;;;;;;;;;17033:6;:24;;17025:33;;;;;;;;17257:26;17276:6;17257:8;:14;17266:4;17257:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;17240:8;:14;17249:4;17240:14;;;;;;;;;;;;;;;:43;;;;17305:24;17322:6;17305:12;;:16;;:24;;;;:::i;:::-;17290:12;:39;;;;17346:4;17341:18;;;17352:6;17341:18;;;;;;;;;;;;;;;;;;17394:1;17371:34;;17380:4;17371:34;;;17398:6;17371:34;;;;;;;;;;;;;;;;;;16964:447;;:::o;2445:329::-;2508:4;2544:1;2529:17;;:3;:17;;;;2521:26;;;;;;;;2572:8;:20;2581:10;2572:20;;;;;;;;;;;;;;;;2562:6;:30;;2554:39;;;;;;;;2625:32;2650:6;2625:8;:20;2634:10;2625:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2602:8;:20;2611:10;2602:20;;;;;;;;;;;;;;;:55;;;;2680:25;2698:6;2680:8;:13;2689:3;2680:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2664:8;:13;2673:3;2664:13;;;;;;;;;;;;;;;:41;;;;2738:3;2717:33;;2726:10;2717:33;;;2743:6;2717:33;;;;;;;;;;;;;;;;;;2764:4;2757:11;;2445:329;;;;:::o;9135:175::-;9227:1;9206:23;;:9;:23;;;;9198:32;;;;;;;;9270:9;9242:38;;9263:5;;;;;;;;;;;9242:38;;;;;;;;;;;;9295:9;9287:5;;:17;;;;;;;;;;;;;;;;;;9135:175;:::o

bzzr://52c89969605b16a9d9fef1b72c61412aa1cbdd79be1857a5b9d1fbfee4f735b4