Token

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 2021-02-07
*/

pragma solidity ^0.4.23;


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 */
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
 */
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 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:
   * @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, and(_release, 0xffffffffffffffff))
        }
    }

    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 = "Jindogetoken.net";
    string public constant TOKEN_SYMBOL = "JINDOGE";
    bool public constant PAUSED = false;
    address public constant TARGET_USER = 0xC2CfA87367fA4d3BAD00e9AF65413BcF4163510b;
    
    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[1] memory addresses = [address(0xC2CfA87367fA4d3BAD00e9AF65413BcF4163510b)];
        uint[1] memory amounts = [uint(2000000000000000000000000000000)];
        uint64[1] memory freezes = [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"}]

60806040526000600660146101000a81548160ff0219169083151502179055506000600660156101000a81548160ff0219169083151502179055506000600660166101000a81548160ff0219169083151502179055503480156200006257600080fd5b5033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620000bd620000f1640100000000026401000000009004565b620000eb73c2cfa87367fa4d3bad00e9af65413bcf4163510b6200033c640100000000026401000000009004565b62000ec1565b620000fb62000e58565b6200010562000e7b565b6200010f62000e9e565b6000600660169054906101000a900460ff161515156200012e57600080fd5b6001600660166101000a81548160ff0219169083151502179055506000156200016b576200016a620003b6640100000000026401000000009004565b5b60206040519081016040528073c2cfa87367fa4d3bad00e9af65413bcf4163510b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681525093506020604051908101604052806c193e5939a08ce9dbd4800000008152509250602060405190810160405280600067ffffffffffffffff1667ffffffffffffffff168152509150600090505b6001811015620002e657600082826001811015156200022357fe5b602002015167ffffffffffffffff16141562000281576200027a84826001811015156200024c57fe5b602002015184836001811015156200026057fe5b602002015162000479640100000000026401000000009004565b50620002d8565b620002d684826001811015156200029457fe5b60200201518483600181101515620002a857fe5b60200201518484600181101515620002bc57fe5b602002015162000681640100000000026401000000009004565b505b808060010191505062000208565b600115156200030a576200030862000996640100000000026401000000009004565b505b7f5daa87a0e9463431830481fd4b6e3403442dfb9a12b9c07597e9f61d50b633c860405160405180910390a150505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200039957600080fd5b620003b38162000a60640100000000026401000000009004565b50565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200041357600080fd5b600660159054906101000a900460ff161515156200043057600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620004d857600080fd5b600660149054906101000a900460ff16151515620004f557600080fd5b6200051a8260015462000b5d64010000000002620026d2179091906401000000009004565b60018190555062000581826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000b5d64010000000002620026d2179091906401000000009004565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620006e157600080fd5b600660149054906101000a900460ff16151515620006fe57600080fd5b620007238460015462000b5d64010000000002620026d2179091906401000000009004565b6001819055506200074e858467ffffffffffffffff1662000b7a640100000000026401000000009004565b90506200078e846004600084600019166000191681526020019081526020016000205462000b5d64010000000002620026d2179091906401000000009004565b600460008360001916600019168152602001908152602001600020819055506200080f84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000b5d64010000000002620026d2179091906401000000009004565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506200086d858462000bc7640100000000026401000000009004565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620009f557600080fd5b600660149054906101000a900460ff1615151562000a1257600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151562000a9d57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000818301905082811015151562000b7157fe5b80905092915050565b60007f574953480000000000000000000000000000000000000000000000000000000060010290506801000000000000000083028117905067ffffffffffffffff82168117905092915050565b6000806000806000428667ffffffffffffffff1611151562000be857600080fd5b62000c0d878767ffffffffffffffff1662000b7a640100000000026401000000009004565b945062000c3587600067ffffffffffffffff1662000b7a640100000000026401000000009004565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff16141562000cc5578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555062000e4f565b62000cea878467ffffffffffffffff1662000b7a640100000000026401000000009004565b91505b60008367ffffffffffffffff161415801562000d1c57508267ffffffffffffffff168667ffffffffffffffff16115b1562000d91578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925062000d89878467ffffffffffffffff1662000b7a640100000000026401000000009004565b915062000ced565b8267ffffffffffffffff168667ffffffffffffffff16141562000db45762000e4f565b60008367ffffffffffffffff1614151562000e0c578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b602060405190810160405280600190602082028038833980820191505090505090565b602060405190810160405280600190602082028038833980820191505090505090565b602060405190810160405280600190602082028038833980820191505090505090565b6132478062000ed16000396000f3006080604052600436106101d7576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680623fd35a146101dc57806302d6f7301461020b57806305d2035b1461028757806306fdde03146102b6578063095ea7b3146103465780630bb2cd6b146103ab578063158ef93e1461042457806317a950ac1461045357806318160ddd146104aa57806318821400146104d557806323b872dd146105655780632a905318146105ea578063313ce5671461067a5780633be1e952146106ab5780633f4ba83a1461070c57806340c10f191461072357806342966c681461078857806356780085146107b55780635b7f415c146107e05780635be7fde81461080b5780635c975abb14610836578063661884631461086557806366a92cda146108ca57806370a08231146108e1578063715018a614610938578063726a431a1461094f5780637d64bcb4146109a65780638456cb59146109d55780638da5cb5b146109ec57806395d89b4114610a43578063a9059cbb14610ad3578063a9aad58c14610b38578063ca63b5b814610b67578063cf3b196714610bbe578063d73dd62314610bef578063d8aeedf514610c54578063dd62ed3e14610cab578063f2fde38b14610d22575b600080fd5b3480156101e857600080fd5b506101f1610d65565b604051808215151515815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d6a565b604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390f35b34801561029357600080fd5b5061029c610e22565b604051808215151515815260200191505060405180910390f35b3480156102c257600080fd5b506102cb610e35565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561030b5780820151818401526020810190506102f0565b50505050905090810190601f1680156103385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561035257600080fd5b50610391600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e72565b604051808215151515815260200191505060405180910390f35b3480156103b757600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050610f64565b604051808215151515815260200191505060405180910390f35b34801561043057600080fd5b50610439611225565b604051808215151515815260200191505060405180910390f35b34801561045f57600080fd5b50610494600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611238565b6040518082815260200191505060405180910390f35b3480156104b657600080fd5b506104bf61124a565b6040518082815260200191505060405180910390f35b3480156104e157600080fd5b506104ea611254565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561052a57808201518184015260208101905061050f565b50505050905090810190601f1680156105575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561057157600080fd5b506105d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061128d565b604051808215151515815260200191505060405180910390f35b3480156105f657600080fd5b506105ff6112bf565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063f578082015181840152602081019050610624565b50505050905090810190601f16801561066c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068657600080fd5b5061068f6112f8565b604051808260ff1660ff16815260200191505060405180910390f35b3480156106b757600080fd5b5061070a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050611301565b005b34801561071857600080fd5b506107216115f5565b005b34801561072f57600080fd5b5061076e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116b5565b604051808215151515815260200191505060405180910390f35b34801561079457600080fd5b506107b36004803603810190808035906020019092919050505061189b565b005b3480156107c157600080fd5b506107ca6118a8565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f56118b0565b6040518082815260200191505060405180910390f35b34801561081757600080fd5b506108206118b5565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b611927565b604051808215151515815260200191505060405180910390f35b34801561087157600080fd5b506108b0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061193a565b604051808215151515815260200191505060405180910390f35b3480156108d657600080fd5b506108df611bcb565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f0f565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d611f62565b005b34801561095b57600080fd5b50610964612067565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109b257600080fd5b506109bb61207f565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b506109ea612147565b005b3480156109f857600080fd5b50610a01612208565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a4f57600080fd5b50610a5861222e565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a98578082015181840152602081019050610a7d565b50505050905090810190601f168015610ac55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610adf57600080fd5b50610b1e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061226b565b604051808215151515815260200191505060405180910390f35b348015610b4457600080fd5b50610b4d61229b565b604051808215151515815260200191505060405180910390f35b348015610b7357600080fd5b50610ba8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122a0565b6040518082815260200191505060405180910390f35b348015610bca57600080fd5b50610bd361234c565b604051808260ff1660ff16815260200191505060405180910390f35b348015610bfb57600080fd5b50610c3a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612351565b604051808215151515815260200191505060405180910390f35b348015610c6057600080fd5b50610c95600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061254d565b6040518082815260200191505060405180910390f35b348015610cb757600080fd5b50610d0c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612596565b6040518082815260200191505060405180910390f35b348015610d2e57600080fd5b50610d63600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061261d565b005b600181565b60008060008090505b60018401811015610de85760036000610d96878667ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff161415610ddb57610e1a565b8080600101915050610d73565b60046000610e00878667ffffffffffffffff16612685565b600019166000191681526020019081526020016000205491505b509250929050565b600660149054906101000a900460ff1681565b60606040805190810160405280601081526020017f4a696e646f6765746f6b656e2e6e657400000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610fc357600080fd5b600660149054906101000a900460ff16151515610fdf57600080fd5b610ff4846001546126d290919063ffffffff16565b60018190555061100e858467ffffffffffffffff16612685565b905061103e84600460008460001916600019168152602001908152602001600020546126d290919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506110af84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110fc85846126ee565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b600660169054906101000a900460ff1681565b600061124382612932565b9050919050565b6000600154905090565b6040805190810160405280601081526020017f4a696e646f6765746f6b656e2e6e65740000000000000000000000000000000081525081565b6000600660159054906101000a900460ff161515156112ab57600080fd5b6112b684848461297a565b90509392505050565b6040805190810160405280600781526020017f4a494e444f47450000000000000000000000000000000000000000000000000081525081565b60006012905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561133e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561138b57600080fd5b6113dc836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611432848367ffffffffffffffff16612685565b905061146283600460008460001916600019168152602001908152602001600020546126d290919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506114d383600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061152084836126ee565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48385604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a250505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561165157600080fd5b600660159054906101000a900460ff16151561166c57600080fd5b6000600660156101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561171357600080fd5b600660149054906101000a900460ff1615151561172f57600080fd5b611744826001546126d290919063ffffffff16565b60018190555061179b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6118a53382612d4d565b50565b6012600a0a81565b601281565b60008060006118c5336000610d6a565b8167ffffffffffffffff16915080925081935050505b600082141580156118eb57508142115b15611922576118f8611bcb565b8083019250611908336000610d6a565b8167ffffffffffffffff16915080925081935050506118db565b505090565b600660159054906101000a900460ff1681565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115611a4b576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611adf565b611a5e8382612d3490919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000806000806000611bde336000612685565b945060036000866000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16935060008467ffffffffffffffff1614151515611c2c57600080fd5b8367ffffffffffffffff164267ffffffffffffffff16111515611c4e57600080fd5b611c62338567ffffffffffffffff16612685565b925060036000846000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16915060046000846000191660001916815260200190815260200160002054905060046000846000191660001916815260200190815260200160002060009055611d24816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611db881600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008267ffffffffffffffff161415611e455760036000866000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff0219169055611eba565b8160036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555060036000846000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff02191690555b3373ffffffffffffffffffffffffffffffffffffffff167fb21fb52d5749b80f3182f8c6992236b5e5576681880914484d7f4c9b062e619e826040518082815260200191505060405180910390a25050505050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5a83612932565b019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fbe57600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b73c2cfa87367fa4d3bad00e9af65413bcf4163510b81565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120dd57600080fd5b600660149054906101000a900460ff161515156120f957600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156121a357600080fd5b600660159054906101000a900460ff161515156121bf57600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60606040805190810160405280600781526020017f4a494e444f474500000000000000000000000000000000000000000000000000815250905090565b6000600660159054906101000a900460ff1615151561228957600080fd5b6122938383612f00565b905092915050565b600081565b600080600360006122b2856000612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690505b60008167ffffffffffffffff1614151561234657818060010192505060036000612314858467ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690506122e0565b50919050565b601281565b60006123e282600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561267957600080fd5b6126828161311f565b50565b60007f574953480000000000000000000000000000000000000000000000000000000060010290506801000000000000000083028117905067ffffffffffffffff82168117905092915050565b600081830190508281101515156126e557fe5b80905092915050565b6000806000806000428667ffffffffffffffff1611151561270e57600080fd5b612722878767ffffffffffffffff16612685565b945061273987600067ffffffffffffffff16612685565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff1614156127c7578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550612929565b6127db878467ffffffffffffffff16612685565b91505b60008367ffffffffffffffff161415801561280c57508267ffffffffffffffff168667ffffffffffffffff16115b1561286e578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff169250612867878467ffffffffffffffff16612685565b91506127de565b8267ffffffffffffffff168667ffffffffffffffff16141561288f57612929565b60008367ffffffffffffffff161415156128e6578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156129b757600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a0457600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a8f57600080fd5b612ae0826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b73826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612c4482600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000828211151515612d4257fe5b818303905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612d9a57600080fd5b612deb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e4281600154612d3490919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612f3d57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612f8a57600080fd5b612fdb826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061306e826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561315b57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505600a165627a7a7230582021e5159d5f96b66bd39baacd45fe43510d55b8895c9d2e7d1e2f8adbe7dcdb860029

0x6080604052600436106101d7576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680623fd35a146101dc57806302d6f7301461020b57806305d2035b1461028757806306fdde03146102b6578063095ea7b3146103465780630bb2cd6b146103ab578063158ef93e1461042457806317a950ac1461045357806318160ddd146104aa57806318821400146104d557806323b872dd146105655780632a905318146105ea578063313ce5671461067a5780633be1e952146106ab5780633f4ba83a1461070c57806340c10f191461072357806342966c681461078857806356780085146107b55780635b7f415c146107e05780635be7fde81461080b5780635c975abb14610836578063661884631461086557806366a92cda146108ca57806370a08231146108e1578063715018a614610938578063726a431a1461094f5780637d64bcb4146109a65780638456cb59146109d55780638da5cb5b146109ec57806395d89b4114610a43578063a9059cbb14610ad3578063a9aad58c14610b38578063ca63b5b814610b67578063cf3b196714610bbe578063d73dd62314610bef578063d8aeedf514610c54578063dd62ed3e14610cab578063f2fde38b14610d22575b600080fd5b3480156101e857600080fd5b506101f1610d65565b604051808215151515815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d6a565b604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390f35b34801561029357600080fd5b5061029c610e22565b604051808215151515815260200191505060405180910390f35b3480156102c257600080fd5b506102cb610e35565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561030b5780820151818401526020810190506102f0565b50505050905090810190601f1680156103385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561035257600080fd5b50610391600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e72565b604051808215151515815260200191505060405180910390f35b3480156103b757600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050610f64565b604051808215151515815260200191505060405180910390f35b34801561043057600080fd5b50610439611225565b604051808215151515815260200191505060405180910390f35b34801561045f57600080fd5b50610494600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611238565b6040518082815260200191505060405180910390f35b3480156104b657600080fd5b506104bf61124a565b6040518082815260200191505060405180910390f35b3480156104e157600080fd5b506104ea611254565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561052a57808201518184015260208101905061050f565b50505050905090810190601f1680156105575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561057157600080fd5b506105d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061128d565b604051808215151515815260200191505060405180910390f35b3480156105f657600080fd5b506105ff6112bf565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063f578082015181840152602081019050610624565b50505050905090810190601f16801561066c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068657600080fd5b5061068f6112f8565b604051808260ff1660ff16815260200191505060405180910390f35b3480156106b757600080fd5b5061070a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050611301565b005b34801561071857600080fd5b506107216115f5565b005b34801561072f57600080fd5b5061076e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116b5565b604051808215151515815260200191505060405180910390f35b34801561079457600080fd5b506107b36004803603810190808035906020019092919050505061189b565b005b3480156107c157600080fd5b506107ca6118a8565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f56118b0565b6040518082815260200191505060405180910390f35b34801561081757600080fd5b506108206118b5565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b611927565b604051808215151515815260200191505060405180910390f35b34801561087157600080fd5b506108b0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061193a565b604051808215151515815260200191505060405180910390f35b3480156108d657600080fd5b506108df611bcb565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f0f565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d611f62565b005b34801561095b57600080fd5b50610964612067565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109b257600080fd5b506109bb61207f565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b506109ea612147565b005b3480156109f857600080fd5b50610a01612208565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a4f57600080fd5b50610a5861222e565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a98578082015181840152602081019050610a7d565b50505050905090810190601f168015610ac55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610adf57600080fd5b50610b1e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061226b565b604051808215151515815260200191505060405180910390f35b348015610b4457600080fd5b50610b4d61229b565b604051808215151515815260200191505060405180910390f35b348015610b7357600080fd5b50610ba8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122a0565b6040518082815260200191505060405180910390f35b348015610bca57600080fd5b50610bd361234c565b604051808260ff1660ff16815260200191505060405180910390f35b348015610bfb57600080fd5b50610c3a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612351565b604051808215151515815260200191505060405180910390f35b348015610c6057600080fd5b50610c95600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061254d565b6040518082815260200191505060405180910390f35b348015610cb757600080fd5b50610d0c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612596565b6040518082815260200191505060405180910390f35b348015610d2e57600080fd5b50610d63600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061261d565b005b600181565b60008060008090505b60018401811015610de85760036000610d96878667ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff161415610ddb57610e1a565b8080600101915050610d73565b60046000610e00878667ffffffffffffffff16612685565b600019166000191681526020019081526020016000205491505b509250929050565b600660149054906101000a900460ff1681565b60606040805190810160405280601081526020017f4a696e646f6765746f6b656e2e6e657400000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610fc357600080fd5b600660149054906101000a900460ff16151515610fdf57600080fd5b610ff4846001546126d290919063ffffffff16565b60018190555061100e858467ffffffffffffffff16612685565b905061103e84600460008460001916600019168152602001908152602001600020546126d290919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506110af84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110fc85846126ee565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b600660169054906101000a900460ff1681565b600061124382612932565b9050919050565b6000600154905090565b6040805190810160405280601081526020017f4a696e646f6765746f6b656e2e6e65740000000000000000000000000000000081525081565b6000600660159054906101000a900460ff161515156112ab57600080fd5b6112b684848461297a565b90509392505050565b6040805190810160405280600781526020017f4a494e444f47450000000000000000000000000000000000000000000000000081525081565b60006012905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561133e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561138b57600080fd5b6113dc836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611432848367ffffffffffffffff16612685565b905061146283600460008460001916600019168152602001908152602001600020546126d290919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506114d383600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061152084836126ee565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48385604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a250505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561165157600080fd5b600660159054906101000a900460ff16151561166c57600080fd5b6000600660156101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561171357600080fd5b600660149054906101000a900460ff1615151561172f57600080fd5b611744826001546126d290919063ffffffff16565b60018190555061179b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6118a53382612d4d565b50565b6012600a0a81565b601281565b60008060006118c5336000610d6a565b8167ffffffffffffffff16915080925081935050505b600082141580156118eb57508142115b15611922576118f8611bcb565b8083019250611908336000610d6a565b8167ffffffffffffffff16915080925081935050506118db565b505090565b600660159054906101000a900460ff1681565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115611a4b576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611adf565b611a5e8382612d3490919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000806000806000611bde336000612685565b945060036000866000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16935060008467ffffffffffffffff1614151515611c2c57600080fd5b8367ffffffffffffffff164267ffffffffffffffff16111515611c4e57600080fd5b611c62338567ffffffffffffffff16612685565b925060036000846000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16915060046000846000191660001916815260200190815260200160002054905060046000846000191660001916815260200190815260200160002060009055611d24816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611db881600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008267ffffffffffffffff161415611e455760036000866000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff0219169055611eba565b8160036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555060036000846000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff02191690555b3373ffffffffffffffffffffffffffffffffffffffff167fb21fb52d5749b80f3182f8c6992236b5e5576681880914484d7f4c9b062e619e826040518082815260200191505060405180910390a25050505050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5a83612932565b019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fbe57600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b73c2cfa87367fa4d3bad00e9af65413bcf4163510b81565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120dd57600080fd5b600660149054906101000a900460ff161515156120f957600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156121a357600080fd5b600660159054906101000a900460ff161515156121bf57600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60606040805190810160405280600781526020017f4a494e444f474500000000000000000000000000000000000000000000000000815250905090565b6000600660159054906101000a900460ff1615151561228957600080fd5b6122938383612f00565b905092915050565b600081565b600080600360006122b2856000612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690505b60008167ffffffffffffffff1614151561234657818060010192505060036000612314858467ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690506122e0565b50919050565b601281565b60006123e282600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561267957600080fd5b6126828161311f565b50565b60007f574953480000000000000000000000000000000000000000000000000000000060010290506801000000000000000083028117905067ffffffffffffffff82168117905092915050565b600081830190508281101515156126e557fe5b80905092915050565b6000806000806000428667ffffffffffffffff1611151561270e57600080fd5b612722878767ffffffffffffffff16612685565b945061273987600067ffffffffffffffff16612685565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff1614156127c7578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550612929565b6127db878467ffffffffffffffff16612685565b91505b60008367ffffffffffffffff161415801561280c57508267ffffffffffffffff168667ffffffffffffffff16115b1561286e578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff169250612867878467ffffffffffffffff16612685565b91506127de565b8267ffffffffffffffff168667ffffffffffffffff16141561288f57612929565b60008367ffffffffffffffff161415156128e6578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156129b757600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a0457600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a8f57600080fd5b612ae0826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b73826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612c4482600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000828211151515612d4257fe5b818303905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612d9a57600080fd5b612deb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e4281600154612d3490919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612f3d57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612f8a57600080fd5b612fdb826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d3490919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061306e826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126d290919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561315b57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505600a165627a7a7230582021e5159d5f96b66bd39baacd45fe43510d55b8895c9d2e7d1e2f8adbe7dcdb860029

19686:1709:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19628:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19628:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;12453:355;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12453:355:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9443:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9443:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;19951:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19951: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;19951:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5083:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5083:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18631:535;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18631:535:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19810:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19810:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11560:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11560:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2071:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2071:85:0;;;;;;;;;;;;;;;;;;;;;;;19378:54;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19378:54: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;19378:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20259:188;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20259:188:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19439:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19439:47: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;19439:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20147:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20147:104:0;;;;;;;;;;;;;;;;;;;;;;;;;;;13182:547;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13182:547:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17951:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17951:95:0;;;;;;9880:326;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9880:326:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16600:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16600:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;19301:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19301:68:0;;;;;;;;;;;;;;;;;;;;;;;19200:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19200:40:0;;;;;;;;;;;;;;;;;;;;;;;14732:357;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14732:357:0;;;;;;;;;;;;;;;;;;;;;;;17330:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17330:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7011:440;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7011:440:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13809:756;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13809:756:0;;;;;;11163:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11163:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8299:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8299:114:0;;;;;;19535:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19535:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10326:144;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10326:144:0;;;;;;;;;;;;;;;;;;;;;;;;;;;17771:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17771:93:0;;;;;;7681:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7681:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;20046:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20046: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;20046:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20455:158;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20455:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19493:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19493:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11938:249;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11938:249:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19247:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19247:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6233:304;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6233:304:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11696:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11696:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5602:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5602:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8581:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8581:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19628:44;19668:4;19628:44;:::o;12453:355::-;12523:15;12540:13;12571:6;12580:1;12571:10;;12566:180;12596:1;12587:6;:10;12583:1;:14;12566:180;;;12630:6;:30;12637:22;12643:5;12650:8;12637:22;;:5;:22::i;:::-;12630:30;;;;;;;;;;;;;;;;;;;;;;;;;;;12619:41;;12691:1;12679:8;:13;;;12675:60;;;12713:7;;12675:60;12599:3;;;;;;;12566:180;;;12767:9;:33;12777:22;12783:5;12790:8;12777:22;;:5;:22::i;:::-;12767:33;;;;;;;;;;;;;;;;;;12756:44;;12453:355;;;;;;;:::o;9443:35::-;;;;;;;;;;;;;:::o;19951:87::-;19988:12;20020:10;;;;;;;;;;;;;;;;;;20013:17;;19951:87;:::o;5083:192::-;5150:4;5195:6;5163:7;:19;5171:10;5163:19;;;;;;;;;;;;;;;:29;5183:8;5163:29;;;;;;;;;;;;;;;:38;;;;5234:8;5213:38;;5222:10;5213:38;;;5244:6;5213:38;;;;;;;;;;;;;;;;;;5265:4;5258:11;;5083:192;;;;:::o;18631:535::-;18730:4;18800:18;8184:5;;;;;;;;;;;8170:19;;:10;:19;;;8162:28;;;;;;;;9522:15;;;;;;;;;;;9521:16;9513:25;;;;;;;;18762;18779:7;18762:12;;:16;;:25;;;;:::i;:::-;18747:12;:40;;;;18821:18;18827:3;18832:6;18821:18;;:5;:18::i;:::-;18800:39;;18874:34;18900:7;18874:9;:21;18884:10;18874:21;;;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;18850:9;:21;18860:10;18850:21;;;;;;;;;;;;;;;;;:58;;;;18942:33;18967:7;18942:15;:20;18958:3;18942:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;18919:15;:20;18935:3;18919:20;;;;;;;;;;;;;;;:56;;;;18988:19;18995:3;19000:6;18988;:19::i;:::-;19028:3;19023:18;;;19033:7;19023:18;;;;;;;;;;;;;;;;;;19065:3;19057:29;;;19070:6;19078:7;19057:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;19123:3;19102:34;;19111:10;19102:34;;;19128:7;19102:34;;;;;;;;;;;;;;;;;;19154:4;19147:11;;18631:535;;;;;;:::o;19810:31::-;;;;;;;;;;;;;:::o;11560:128::-;11622:15;11657:23;11673:6;11657:15;:23::i;:::-;11650:30;;11560:128;;;:::o;2071:85::-;2115:7;2138:12;;2131:19;;2071:85;:::o;19378:54::-;;;;;;;;;;;;;;;;;;;;:::o;20259:188::-;20341:13;20376:6;;;;;;;;;;;20375:7;20367:16;;;;;;;;20401:38;20420:5;20427:3;20432:6;20401:18;:38::i;:::-;20394:45;;20259:188;;;;;:::o;19439:47::-;;;;;;;;;;;;;;;;;;;;:::o;20147:104::-;20188:15;19292:2;20216:27;;20147:104;:::o;13182:547::-;13419:18;13283:1;13268:17;;:3;:17;;;;13260:26;;;;;;;;13316:8;:20;13325:10;13316:20;;;;;;;;;;;;;;;;13305:7;:31;;13297:40;;;;;;;;13373:33;13398:7;13373:8;:20;13382:10;13373:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;13350:8;:20;13359:10;13350:20;;;;;;;;;;;;;;;:56;;;;13440:18;13446:3;13451:6;13440:18;;:5;:18::i;:::-;13419:39;;13493:34;13519:7;13493:9;:21;13503:10;13493:21;;;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;13469:9;:21;13479:10;13469:21;;;;;;;;;;;;;;;;;:58;;;;13561:33;13586:7;13561:15;:20;13577:3;13561:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;13538:15;:20;13554:3;13538:20;;;;;;;;;;;;;;;:56;;;;13607:19;13614:3;13619:6;13607;:19::i;:::-;13663:3;13642:34;;13651:10;13642:34;;;13668:7;13642:34;;;;;;;;;;;;;;;;;;13700:3;13692:29;;;13705:6;13713:7;13692:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;13182:547;;;;:::o;17951:95::-;8184:5;;;;;;;;;;;8170:19;;:10;:19;;;8162:28;;;;;;;;17666:6;;;;;;;;;;;17658:15;;;;;;;;18014:5;18005:6;;:14;;;;;;;;;;;;;;;;;;18031:9;;;;;;;;;;17951:95::o;9880:326::-;10001:4;9616:5;;;;;;;;;;;9602:19;;:10;:19;;;9594:28;;;;;;;;9522:15;;;;;;;;;;;9521:16;9513:25;;;;;;;;10032;10049:7;10032:12;;:16;;:25;;;;:::i;:::-;10017:12;:40;;;;10080:26;10098:7;10080:8;:13;10089:3;10080:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;10064:8;:13;10073:3;10064:13;;;;;;;;;;;;;;;:42;;;;10123:3;10118:18;;;10128:7;10118:18;;;;;;;;;;;;;;;;;;10169:3;10148:34;;10165:1;10148:34;;;10174:7;10148:34;;;;;;;;;;;;;;;;;;10196:4;10189:11;;9880:326;;;;:::o;16600:75::-;16644:25;16650:10;16662:6;16644:5;:25::i;:::-;16600:75;:::o;19301:68::-;19238:2;19349;:20;19301:68;:::o;19200:40::-;19238:2;19200:40;:::o;14732:357::-;14770:11;14794:12;14817;14861:26;14873:10;14885:1;14861:11;:26::i;:::-;14840:47;;;;;;;;;;;;;14898:184;14916:1;14905:7;:12;;:41;;;;;14939:7;14921:15;:25;14905:41;14898:184;;;14963:13;:11;:13::i;:::-;15001:7;14991:17;;;;15044:26;15056:10;15068:1;15044:11;:26::i;:::-;15023:47;;;;;;;;;;;;;14898:184;;;14732:357;;;:::o;17330:26::-;;;;;;;;;;;;;:::o;7011:440::-;7119:4;7135:13;7151:7;:19;7159:10;7151:19;;;;;;;;;;;;;;;:29;7171:8;7151:29;;;;;;;;;;;;;;;;7135:45;;7210:8;7191:16;:27;7187:168;;;7261:1;7229:7;:19;7237:10;7229:19;;;;;;;;;;;;;;;:29;7249:8;7229:29;;;;;;;;;;;;;;;:33;;;;7187:168;;;7317:30;7330:16;7317:8;:12;;:30;;;;:::i;:::-;7285:7;:19;7293:10;7285:19;;;;;;;;;;;;;;;:29;7305:8;7285:29;;;;;;;;;;;;;;;:62;;;;7187:168;7387:8;7366:61;;7375:10;7366:61;;;7397:7;:19;7405:10;7397:19;;;;;;;;;;;;;;;:29;7417:8;7397:29;;;;;;;;;;;;;;;;7366:61;;;;;;;;;;;;;;;;;;7441:4;7434:11;;7011:440;;;;;:::o;13809:756::-;13850:15;13899:11;14018:18;14075:11;14120;13868:20;13874:10;13886:1;13868:5;:20::i;:::-;13850:38;;13913:6;:15;13920:7;13913:15;;;;;;;;;;;;;;;;;;;;;;;;;;;13899:29;;13955:1;13947:4;:9;;;;13939:18;;;;;;;;14002:4;13976:30;;13983:15;13976:30;;;13968:39;;;;;;;;14039:23;14045:10;14057:4;14039:23;;:5;:23::i;:::-;14018:44;;14089:6;:18;14096:10;14089:18;;;;;;;;;;;;;;;;;;;;;;;;;;;14075:32;;14134:9;:21;14144:10;14134:21;;;;;;;;;;;;;;;;;;14120:35;;14173:9;:21;14183:10;14173:21;;;;;;;;;;;;;;;;;14166:28;;;14230:32;14255:6;14230:8;:20;14239:10;14230:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;14207:8;:20;14216:10;14207:20;;;;;;;;;;;;;;;:55;;;;14303:39;14335:6;14303:15;:27;14319:10;14303:27;;;;;;;;;;;;;;;;:31;;:39;;;;:::i;:::-;14273:15;:27;14289:10;14273:27;;;;;;;;;;;;;;;:69;;;;14367:1;14359:4;:9;;;14355:159;;;14392:6;:15;14399:7;14392:15;;;;;;;;;;;;;;;;;;14385:22;;;;;;;;;;;14355:159;;;14458:4;14440:6;:15;14447:7;14440:15;;;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;14484:6;:18;14491:10;14484:18;;;;;;;;;;;;;;;;;;14477:25;;;;;;;;;;;14355:159;14538:10;14529:28;;;14550:6;14529:28;;;;;;;;;;;;;;;;;;13809:756;;;;;:::o;11163:148::-;11219:15;11280;:23;11296:6;11280:23;;;;;;;;;;;;;;;;11254;11270:6;11254:15;:23::i;:::-;:49;11247:56;;11163:148;;;:::o;8299:114::-;8184:5;;;;;;;;;;;8170:19;;:10;:19;;;8162:28;;;;;;;;8376:5;;;;;;;;;;;8357:25;;;;;;;;;;;;8405:1;8389:5;;:18;;;;;;;;;;;;;;;;;;8299:114::o;19535:80::-;19573:42;19535:80;:::o;10326:144::-;10385:4;8184:5;;;;;;;;;;;8170:19;;:10;:19;;;8162:28;;;;;;;;9522:15;;;;;;;;;;;9521:16;9513:25;;;;;;;;10416:4;10398:15;;:22;;;;;;;;;;;;;;;;;;10432:14;;;;;;;;;;10460:4;10453:11;;10326:144;:::o;17771:93::-;8184:5;;;;;;;;;;;8170:19;;:10;:19;;;8162:28;;;;;;;;17506:6;;;;;;;;;;;17505:7;17497:16;;;;;;;;17835:4;17826:6;;:13;;;;;;;;;;;;;;;;;;17851:7;;;;;;;;;;17771:93::o;7681:20::-;;;;;;;;;;;;;:::o;20046:93::-;20085:14;20119:12;;;;;;;;;;;;;;;;;;20112:19;;20046:93;:::o;20455:158::-;20518:13;20553:6;;;;;;;;;;;20552:7;20544:16;;;;;;;;20578:27;20593:3;20598:6;20578:14;:27::i;:::-;20571:34;;20455:158;;;;:::o;19493:35::-;19523:5;19493:35;:::o;11938:249::-;11997:10;12020:14;12037:6;:23;12044:15;12050:5;12057:1;12044:5;:15::i;:::-;12037:23;;;;;;;;;;;;;;;;;;;;;;;;;;;12020:40;;12071:109;12089:1;12078:7;:12;;;;12071:109;;;12107:7;;;;;;;12139:6;:29;12146:21;12152:5;12159:7;12146:21;;:5;:21::i;:::-;12139:29;;;;;;;;;;;;;;;;;;;;;;;;;;;12129:39;;12071:109;;;11938:249;;;;:::o;19247:47::-;19292:2;19247:47;:::o;6233:304::-;6336:4;6393:46;6427:11;6393:7;:19;6401:10;6393:19;;;;;;;;;;;;;;;:29;6413:8;6393:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6352:7;:19;6360:10;6352:19;;;;;;;;;;;;;;;:29;6372:8;6352:29;;;;;;;;;;;;;;;:88;;;;6473:8;6452:61;;6461:10;6452:61;;;6483:7;:19;6491:10;6483:19;;;;;;;;;;;;;;;:29;6503:8;6483:29;;;;;;;;;;;;;;;;6452:61;;;;;;;;;;;;;;;;;;6527:4;6520:11;;6233:304;;;;:::o;11696:130::-;11760:15;11795;:23;11811:6;11795:23;;;;;;;;;;;;;;;;11788:30;;11696:130;;;:::o;5602:162::-;5707:7;5733;:15;5741:6;5733:15;;;;;;;;;;;;;;;:25;5749:8;5733:25;;;;;;;;;;;;;;;;5726:32;;5602:162;;;;:::o;8581:105::-;8184:5;;;;;;;;;;;8170:19;;:10;:19;;;8162:28;;;;;;;;8651:29;8670:9;8651:18;:29::i;:::-;8581:105;:::o;15097:387::-;15165:14;15243:66;15234:75;;;;15376:19;15369:5;15365:31;15357:6;15354:43;15344:53;;15446:18;15436:8;15432:33;15424:6;15421:45;15411:55;;15329:148;;;;:::o;1638:127::-;1696:9;1722:1;1718;:5;1714:9;;1742:1;1737;:6;;1730:14;;;;;;1758:1;1751:8;;1638:127;;;;:::o;15492:789::-;15600:11;15643:17;15695:11;15840:15;15885:11;15573:15;15564:6;:24;;;15556:33;;;;;;;;15614:18;15620:3;15625:6;15614:18;;:5;:18::i;:::-;15600:32;;15663:21;15669:3;15681:1;15663:21;;:5;:21::i;:::-;15643:41;;15709:6;:17;15716:9;15709:17;;;;;;;;;;;;;;;;;;;;;;;;;;;15695:31;;15751:1;15743:4;:9;;;15739:89;;;15789:6;15769;:17;15776:9;15769:17;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;15810:7;;15739:89;15858:16;15864:3;15869:4;15858:16;;:5;:16::i;:::-;15840:34;;15909:189;15924:1;15916:4;:9;;;;:26;;;;;15938:4;15929:13;;:6;:13;;;15916:26;15909:189;;;15968:4;15959:13;;;;15999:7;15987:19;;16030:6;:15;16037:7;16030:15;;;;;;;;;;;;;;;;;;;;;;;;;;;16023:22;;16070:16;16076:3;16081:4;16070:16;;:5;:16::i;:::-;16060:26;;15909:189;;;16124:4;16114:14;;:6;:14;;;16110:53;;;16145:7;;16110:53;16187:1;16179:4;:9;;;;16175:60;;;16219:4;16205:6;:11;16212:3;16205:11;;;;;;;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;16175:60;16267:6;16247;:17;16254:9;16247:17;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;15492:789;;;;;;;;:::o;2855:101::-;2911:7;2934:8;:16;2943:6;2934:16;;;;;;;;;;;;;;;;2927:23;;2855:101;;;:::o;4033:487::-;4145:4;4184:1;4169:17;;:3;:17;;;;4161:26;;;;;;;;4212:8;:15;4221:5;4212:15;;;;;;;;;;;;;;;;4202:6;:25;;4194:34;;;;;;;;4253:7;:14;4261:5;4253:14;;;;;;;;;;;;;;;:26;4268:10;4253:26;;;;;;;;;;;;;;;;4243:6;:36;;4235:45;;;;;;;;4307:27;4327:6;4307:8;:15;4316:5;4307:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4289:8;:15;4298:5;4289:15;;;;;;;;;;;;;;;:45;;;;4357:25;4375:6;4357:8;:13;4366:3;4357:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4341:8;:13;4350:3;4341:13;;;;;;;;;;;;;;;:41;;;;4418:38;4449:6;4418:7;:14;4426:5;4418:14;;;;;;;;;;;;;;;:26;4433:10;4418:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4389:7;:14;4397:5;4389:14;;;;;;;;;;;;;;;:26;4404:10;4389:26;;;;;;;;;;;;;;;:67;;;;4484:3;4468:28;;4477:5;4468:28;;;4489:6;4468:28;;;;;;;;;;;;;;;;;;4510:4;4503:11;;4033:487;;;;;:::o;1458:113::-;1516:7;1544:1;1539;:6;;1532:14;;;;;;1564:1;1560;:5;1553:12;;1458:113;;;;:::o;16681:447::-;16760:8;:14;16769:4;16760:14;;;;;;;;;;;;;;;;16750:6;:24;;16742:33;;;;;;;;16974:26;16993:6;16974:8;:14;16983:4;16974:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;16957:8;:14;16966:4;16957:14;;;;;;;;;;;;;;;:43;;;;17022:24;17039:6;17022:12;;:16;;:24;;;;:::i;:::-;17007:12;:39;;;;17063:4;17058:18;;;17069:6;17058:18;;;;;;;;;;;;;;;;;;17111:1;17088:34;;17097:4;17088:34;;;17115:6;17088:34;;;;;;;;;;;;;;;;;;16681:447;;:::o;2317:329::-;2380:4;2416:1;2401:17;;:3;:17;;;;2393:26;;;;;;;;2444:8;:20;2453:10;2444:20;;;;;;;;;;;;;;;;2434:6;:30;;2426:39;;;;;;;;2497:32;2522:6;2497:8;:20;2506:10;2497:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2474:8;:20;2483:10;2474:20;;;;;;;;;;;;;;;:55;;;;2552:25;2570:6;2552:8;:13;2561:3;2552:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2536:8;:13;2545:3;2536:13;;;;;;;;;;;;;;;:41;;;;2610:3;2589:33;;2598:10;2589:33;;;2615:6;2589:33;;;;;;;;;;;;;;;;;;2636:4;2629:11;;2317:329;;;;:::o;8827:175::-;8919:1;8898:23;;:9;:23;;;;8890:32;;;;;;;;8962:9;8934:38;;8955:5;;;;;;;;;;;8934:38;;;;;;;;;;;;8987:9;8979:5;;:17;;;;;;;;;;;;;;;;;;8827:175;:::o

bzzr://21e5159d5f96b66bd39baacd45fe43510d55b8895c9d2e7d1e2f8adbe7dcdb86