Contract 0x7c9ec628f52fc03dcbb0ccab32e2a11ec90d700c 2

/**
 *Submitted for verification at polygonscan.com on 2021-09-01
*/

/*
 * Power By KHALIJI
 * The complete code By KHALIJI FINANCE TEAM
 * Copyright (C) 2021 KHALIJI
 */
pragma solidity ^0.4.23;


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



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

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
    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.
 */
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;
  }


  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)
   * @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)
   * @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
 */
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) {
        // KHALIJI masc to increase entropy
        result = 0x97AB62C9566044569273BcdD82fd900459d6CDD10000000000;
        assembly {
            result := or(result, mul(_addr, 0x97AB62C9566044569273BcdD82fd900459d6CDD1))
            result := or(result, _release)
        }
    }

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

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

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

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

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

        if (_until == next) {
            return;
        }

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

        chains[parentKey] = _until;
    }
}


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

  event Burn(address indexed burner, uint256 value);

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

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

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



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

  bool public paused = false;


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

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

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

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


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

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

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



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

    string public constant TOKEN_NAME = "KHALIJI";
    string public constant TOKEN_SYMBOL = "KHALIJI";
    bool public constant PAUSED = false;
    address public constant TARGET_USER = 0x97AB62C9566044569273BcdD82fd900459d6CDD1;
    
    bool public constant CONTINUE_MINTING = true;
}




contract KHALIJI 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(0x97AB62C9566044569273BcdD82fd900459d6CDD1)];
        uint[1] memory amounts = [uint(500000000000)];
        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();
    }
    
}

[{"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"}]

60806040526000600660146101000a81548160ff0219169083151502179055506000600660156101000a81548160ff0219169083151502179055506000600660166101000a81548160ff0219169083151502179055503480156200006257600080fd5b5033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620000bd620000f1640100000000026401000000009004565b620000eb7397ab62c9566044569273bcdd82fd900459d6cdd162000334640100000000026401000000009004565b62000eb3565b620000fb62000e4a565b6200010562000e6d565b6200010f62000e90565b6000600660169054906101000a900460ff161515156200012e57600080fd5b6001600660166101000a81548160ff0219169083151502179055506000156200016b576200016a620003ae640100000000026401000000009004565b5b6020604051908101604052807397ab62c9566044569273bcdd82fd900459d6cdd173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815250935060206040519081016040528064746a5288008152509250602060405190810160405280600067ffffffffffffffff1667ffffffffffffffff168152509150600090505b6001811015620002de57600082826001811015156200021b57fe5b602002015167ffffffffffffffff16141562000279576200027284826001811015156200024457fe5b602002015184836001811015156200025857fe5b602002015162000471640100000000026401000000009004565b50620002d0565b620002ce84826001811015156200028c57fe5b60200201518483600181101515620002a057fe5b60200201518484600181101515620002b457fe5b602002015162000679640100000000026401000000009004565b505b808060010191505062000200565b600115156200030257620003006200098e640100000000026401000000009004565b505b7f5daa87a0e9463431830481fd4b6e3403442dfb9a12b9c07597e9f61d50b633c860405160405180910390a150505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200039157600080fd5b620003ab8162000a58640100000000026401000000009004565b50565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156200040b57600080fd5b600660159054906101000a900460ff161515156200042857600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620004d057600080fd5b600660149054906101000a900460ff16151515620004ed57600080fd5b620005128260015462000b5564010000000002620026cc179091906401000000009004565b60018190555062000579826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000b5564010000000002620026cc179091906401000000009004565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620006d957600080fd5b600660149054906101000a900460ff16151515620006f657600080fd5b6200071b8460015462000b5564010000000002620026cc179091906401000000009004565b60018190555062000746858467ffffffffffffffff1662000b72640100000000026401000000009004565b905062000786846004600084600019166000191681526020019081526020016000205462000b5564010000000002620026cc179091906401000000009004565b600460008360001916600019168152602001908152602001600020819055506200080784600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000b5564010000000002620026cc179091906401000000009004565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000865858462000bb9640100000000026401000000009004565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515620009ed57600080fd5b600660149054906101000a900460ff1615151562000a0a57600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151562000a9557600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000818301905082811015151562000b6957fe5b80905092915050565b60007897ab62c9566044569273bcdd82fd900459d6cdd1000000000060010290507397ab62c9566044569273bcdd82fd900459d6cdd1830281179050818117905092915050565b6000806000806000428667ffffffffffffffff1611151562000bda57600080fd5b62000bff878767ffffffffffffffff1662000b72640100000000026401000000009004565b945062000c2787600067ffffffffffffffff1662000b72640100000000026401000000009004565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff16141562000cb7578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555062000e41565b62000cdc878467ffffffffffffffff1662000b72640100000000026401000000009004565b91505b60008367ffffffffffffffff161415801562000d0e57508267ffffffffffffffff168667ffffffffffffffff16115b1562000d83578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925062000d7b878467ffffffffffffffff1662000b72640100000000026401000000009004565b915062000cdf565b8267ffffffffffffffff168667ffffffffffffffff16141562000da65762000e41565b60008367ffffffffffffffff1614151562000dfe578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b602060405190810160405280600190602082028038833980820191505090505090565b602060405190810160405280600190602082028038833980820191505090505090565b602060405190810160405280600190602082028038833980820191505090505090565b6132418062000ec36000396000f3006080604052600436106101d7576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680623fd35a146101dc57806302d6f7301461020b57806305d2035b1461028757806306fdde03146102b6578063095ea7b3146103465780630bb2cd6b146103ab578063158ef93e1461042457806317a950ac1461045357806318160ddd146104aa57806318821400146104d557806323b872dd146105655780632a905318146105ea578063313ce5671461067a5780633be1e952146106ab5780633f4ba83a1461070c57806340c10f191461072357806342966c681461078857806356780085146107b55780635b7f415c146107e05780635be7fde81461080b5780635c975abb14610836578063661884631461086557806366a92cda146108ca57806370a08231146108e1578063715018a614610938578063726a431a1461094f5780637d64bcb4146109a65780638456cb59146109d55780638da5cb5b146109ec57806395d89b4114610a43578063a9059cbb14610ad3578063a9aad58c14610b38578063ca63b5b814610b67578063cf3b196714610bbe578063d73dd62314610bef578063d8aeedf514610c54578063dd62ed3e14610cab578063f2fde38b14610d22575b600080fd5b3480156101e857600080fd5b506101f1610d65565b604051808215151515815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d6a565b604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390f35b34801561029357600080fd5b5061029c610e22565b604051808215151515815260200191505060405180910390f35b3480156102c257600080fd5b506102cb610e35565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561030b5780820151818401526020810190506102f0565b50505050905090810190601f1680156103385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561035257600080fd5b50610391600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e72565b604051808215151515815260200191505060405180910390f35b3480156103b757600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050610f64565b604051808215151515815260200191505060405180910390f35b34801561043057600080fd5b50610439611225565b604051808215151515815260200191505060405180910390f35b34801561045f57600080fd5b50610494600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611238565b6040518082815260200191505060405180910390f35b3480156104b657600080fd5b506104bf61124a565b6040518082815260200191505060405180910390f35b3480156104e157600080fd5b506104ea611254565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561052a57808201518184015260208101905061050f565b50505050905090810190601f1680156105575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561057157600080fd5b506105d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061128d565b604051808215151515815260200191505060405180910390f35b3480156105f657600080fd5b506105ff6112bf565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063f578082015181840152602081019050610624565b50505050905090810190601f16801561066c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068657600080fd5b5061068f6112f8565b604051808260ff1660ff16815260200191505060405180910390f35b3480156106b757600080fd5b5061070a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803567ffffffffffffffff169060200190929190505050611301565b005b34801561071857600080fd5b506107216115f5565b005b34801561072f57600080fd5b5061076e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506116b5565b604051808215151515815260200191505060405180910390f35b34801561079457600080fd5b506107b36004803603810190808035906020019092919050505061189b565b005b3480156107c157600080fd5b506107ca6118a8565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f56118b0565b6040518082815260200191505060405180910390f35b34801561081757600080fd5b506108206118b5565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b611927565b604051808215151515815260200191505060405180910390f35b34801561087157600080fd5b506108b0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061193a565b604051808215151515815260200191505060405180910390f35b3480156108d657600080fd5b506108df611bcb565b005b3480156108ed57600080fd5b50610922600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611f0f565b6040518082815260200191505060405180910390f35b34801561094457600080fd5b5061094d611f62565b005b34801561095b57600080fd5b50610964612067565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109b257600080fd5b506109bb61207f565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b506109ea612147565b005b3480156109f857600080fd5b50610a01612208565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610a4f57600080fd5b50610a5861222e565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610a98578082015181840152602081019050610a7d565b50505050905090810190601f168015610ac55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610adf57600080fd5b50610b1e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061226b565b604051808215151515815260200191505060405180910390f35b348015610b4457600080fd5b50610b4d61229b565b604051808215151515815260200191505060405180910390f35b348015610b7357600080fd5b50610ba8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122a0565b6040518082815260200191505060405180910390f35b348015610bca57600080fd5b50610bd361234c565b604051808260ff1660ff16815260200191505060405180910390f35b348015610bfb57600080fd5b50610c3a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612351565b604051808215151515815260200191505060405180910390f35b348015610c6057600080fd5b50610c95600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061254d565b6040518082815260200191505060405180910390f35b348015610cb757600080fd5b50610d0c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612596565b6040518082815260200191505060405180910390f35b348015610d2e57600080fd5b50610d63600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061261d565b005b600181565b60008060008090505b60018401811015610de85760036000610d96878667ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff161415610ddb57610e1a565b8080600101915050610d73565b60046000610e00878667ffffffffffffffff16612685565b600019166000191681526020019081526020016000205491505b509250929050565b600660149054906101000a900460ff1681565b60606040805190810160405280600781526020017f4b48414c494a4900000000000000000000000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610fc357600080fd5b600660149054906101000a900460ff16151515610fdf57600080fd5b610ff4846001546126cc90919063ffffffff16565b60018190555061100e858467ffffffffffffffff16612685565b905061103e84600460008460001916600019168152602001908152602001600020546126cc90919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506110af84600560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506110fc85846126e8565b8473ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885856040518082815260200191505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48486604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a28473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019150509392505050565b600660169054906101000a900460ff1681565b60006112438261292c565b9050919050565b6000600154905090565b6040805190810160405280600781526020017f4b48414c494a490000000000000000000000000000000000000000000000000081525081565b6000600660159054906101000a900460ff161515156112ab57600080fd5b6112b6848484612974565b90509392505050565b6040805190810160405280600781526020017f4b48414c494a490000000000000000000000000000000000000000000000000081525081565b60006008905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415151561133e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115151561138b57600080fd5b6113dc836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2e90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611432848367ffffffffffffffff16612685565b905061146283600460008460001916600019168152602001908152602001600020546126cc90919063ffffffff16565b600460008360001916600019168152602001908152602001600020819055506114d383600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061152084836126e8565b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a38373ffffffffffffffffffffffffffffffffffffffff167f2ecd071e4d10ed2221b04636ed0724cce66a873aa98c1a31b4bb0e6846d3aab48385604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a250505050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561165157600080fd5b600660159054906101000a900460ff16151561166c57600080fd5b6000600660156101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561171357600080fd5b600660149054906101000a900460ff1615151561172f57600080fd5b611744826001546126cc90919063ffffffff16565b60018190555061179b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885836040518082815260200191505060405180910390a28273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6118a53382612d47565b50565b6008600a0a81565b600881565b60008060006118c5336000610d6a565b8167ffffffffffffffff16915080925081935050505b600082141580156118eb57508142115b15611922576118f8611bcb565b8083019250611908336000610d6a565b8167ffffffffffffffff16915080925081935050506118db565b505090565b600660159054906101000a900460ff1681565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115611a4b576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611adf565b611a5e8382612d2e90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b6000806000806000611bde336000612685565b945060036000866000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16935060008467ffffffffffffffff1614151515611c2c57600080fd5b8367ffffffffffffffff164267ffffffffffffffff16111515611c4e57600080fd5b611c62338567ffffffffffffffff16612685565b925060036000846000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16915060046000846000191660001916815260200190815260200160002054905060046000846000191660001916815260200190815260200160002060009055611d24816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611db881600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2e90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008267ffffffffffffffff161415611e455760036000866000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff0219169055611eba565b8160036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555060036000846000191660001916815260200190815260200160002060006101000a81549067ffffffffffffffff02191690555b3373ffffffffffffffffffffffffffffffffffffffff167fb21fb52d5749b80f3182f8c6992236b5e5576681880914484d7f4c9b062e619e826040518082815260200191505060405180910390a25050505050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f5a8361292c565b019050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fbe57600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b7397ab62c9566044569273bcdd82fd900459d6cdd181565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120dd57600080fd5b600660149054906101000a900460ff161515156120f957600080fd5b6001600660146101000a81548160ff0219169083151502179055507fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0860405160405180910390a16001905090565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156121a357600080fd5b600660159054906101000a900460ff161515156121bf57600080fd5b6001600660156101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60606040805190810160405280600781526020017f4b48414c494a4900000000000000000000000000000000000000000000000000815250905090565b6000600660159054906101000a900460ff1615151561228957600080fd5b6122938383612efa565b905092915050565b600081565b600080600360006122b2856000612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690505b60008167ffffffffffffffff1614151561234657818060010192505060036000612314858467ffffffffffffffff16612685565b6000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff1690506122e0565b50919050565b600881565b60006123e282600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561267957600080fd5b61268281613119565b50565b60007897ab62c9566044569273bcdd82fd900459d6cdd1000000000060010290507397ab62c9566044569273bcdd82fd900459d6cdd1830281179050818117905092915050565b600081830190508281101515156126df57fe5b80905092915050565b6000806000806000428667ffffffffffffffff1611151561270857600080fd5b61271c878767ffffffffffffffff16612685565b945061273387600067ffffffffffffffff16612685565b935060036000856000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff16925060008367ffffffffffffffff1614156127c1578560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550612923565b6127d5878467ffffffffffffffff16612685565b91505b60008367ffffffffffffffff161415801561280657508267ffffffffffffffff168667ffffffffffffffff16115b15612868578267ffffffffffffffff16905081935060036000836000191660001916815260200190815260200160002060009054906101000a900467ffffffffffffffff169250612861878467ffffffffffffffff16612685565b91506127d8565b8267ffffffffffffffff168667ffffffffffffffff16141561288957612923565b60008367ffffffffffffffff161415156128e0578260036000876000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b8560036000866000191660001916815260200190815260200160002060006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055505b50505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156129b157600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156129fe57600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612a8957600080fd5b612ada826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2e90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b6d826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612c3e82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2e90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b6000828211151515612d3c57fe5b818303905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612d9457600080fd5b612de5816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612e3c81600154612d2e90919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612f3757600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515612f8457600080fd5b612fd5826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d2e90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613068826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546126cc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561315557600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505600a165627a7a72305820a9fd06537253f7c038bdf6ea5e3b6f866c1d135bbdebb59353bd571ccfbd1ccf0029

18676:1688:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18618:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18618:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11467:355;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11467:355:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8457:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8457:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18939:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18939: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;18939:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4361:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4361:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17632:535;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17632:535:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18798:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18798:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10574:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10574:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2027:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2027:85:0;;;;;;;;;;;;;;;;;;;;;;;18377:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18377:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;18377:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19247:188;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19247:188:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18429:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18429: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;18429:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19135:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19135:104:0;;;;;;;;;;;;;;;;;;;;;;;;;;;12196:547;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12196:547:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16952:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16952:95:0;;;;;;8894:326;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8894:326:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15601:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15601:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;18300:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18300:68:0;;;;;;;;;;;;;;;;;;;;;;;18201:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18201:39:0;;;;;;;;;;;;;;;;;;;;;;;13746:357;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13746:357:0;;;;;;;;;;;;;;;;;;;;;;;16331:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16331:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6223:440;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6223:440:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12823:756;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12823:756:0;;;;;;10177:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10177:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7511:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7511:114:0;;;;;;18525:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18525:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;9340:144;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9340:144:0;;;;;;;;;;;;;;;;;;;;;;;;;;;16772:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16772:93:0;;;;;;6893:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6893:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;19034:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19034: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;19034:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19443:158;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19443:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18483:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18483:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10952:249;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10952:249:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18247:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18247:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5478:304;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5478:304:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10710:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10710:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4880:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4880:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7793:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7793:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18618:44;18658:4;18618:44;:::o;11467:355::-;11537:15;11554:13;11585:6;11594:1;11585:10;;11580:180;11610:1;11601:6;:10;11597:1;:14;11580:180;;;11644:6;:30;11651:22;11657:5;11664:8;11651:22;;:5;:22::i;:::-;11644:30;;;;;;;;;;;;;;;;;;;;;;;;;;;11633:41;;11705:1;11693:8;:13;;;11689:60;;;11727:7;;11689:60;11613:3;;;;;;;11580:180;;;11781:9;:33;11791:22;11797:5;11804:8;11791:22;;:5;:22::i;:::-;11781:33;;;;;;;;;;;;;;;;;;11770:44;;11467:355;;;;;;;:::o;8457:35::-;;;;;;;;;;;;;:::o;18939:87::-;18976:12;19008:10;;;;;;;;;;;;;;;;;;19001:17;;18939:87;:::o;4361:192::-;4428:4;4473:6;4441:7;:19;4449:10;4441:19;;;;;;;;;;;;;;;:29;4461:8;4441:29;;;;;;;;;;;;;;;:38;;;;4512:8;4491:38;;4500:10;4491:38;;;4522:6;4491:38;;;;;;;;;;;;;;;;;;4543:4;4536:11;;4361:192;;;;:::o;17632:535::-;17731:4;17801:18;7396:5;;;;;;;;;;;7382:19;;:10;:19;;;7374:28;;;;;;;;8536:15;;;;;;;;;;;8535:16;8527:25;;;;;;;;17763;17780:7;17763:12;;:16;;:25;;;;:::i;:::-;17748:12;:40;;;;17822:18;17828:3;17833:6;17822:18;;:5;:18::i;:::-;17801:39;;17875:34;17901:7;17875:9;:21;17885:10;17875:21;;;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;17851:9;:21;17861:10;17851:21;;;;;;;;;;;;;;;;;:58;;;;17943:33;17968:7;17943:15;:20;17959:3;17943:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;17920:15;:20;17936:3;17920:20;;;;;;;;;;;;;;;:56;;;;17989:19;17996:3;18001:6;17989;:19::i;:::-;18029:3;18024:18;;;18034:7;18024:18;;;;;;;;;;;;;;;;;;18066:3;18058:29;;;18071:6;18079:7;18058:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;18124:3;18103:34;;18112:10;18103:34;;;18129:7;18103:34;;;;;;;;;;;;;;;;;;18155:4;18148:11;;17632:535;;;;;;:::o;18798:31::-;;;;;;;;;;;;;:::o;10574:128::-;10636:15;10671:23;10687:6;10671:15;:23::i;:::-;10664:30;;10574:128;;;:::o;2027:85::-;2071:7;2094:12;;2087:19;;2027:85;:::o;18377:45::-;;;;;;;;;;;;;;;;;;;;:::o;19247:188::-;19329:13;19364:6;;;;;;;;;;;19363:7;19355:16;;;;;;;;19389:38;19408:5;19415:3;19420:6;19389:18;:38::i;:::-;19382:45;;19247:188;;;;;:::o;18429:47::-;;;;;;;;;;;;;;;;;;;;:::o;19135:104::-;19176:15;18292:1;19204:27;;19135:104;:::o;12196:547::-;12433:18;12297:1;12282:17;;:3;:17;;;;12274:26;;;;;;;;12330:8;:20;12339:10;12330:20;;;;;;;;;;;;;;;;12319:7;:31;;12311:40;;;;;;;;12387:33;12412:7;12387:8;:20;12396:10;12387:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;12364:8;:20;12373:10;12364:20;;;;;;;;;;;;;;;:56;;;;12454:18;12460:3;12465:6;12454:18;;:5;:18::i;:::-;12433:39;;12507:34;12533:7;12507:9;:21;12517:10;12507:21;;;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;12483:9;:21;12493:10;12483:21;;;;;;;;;;;;;;;;;:58;;;;12575:33;12600:7;12575:15;:20;12591:3;12575:20;;;;;;;;;;;;;;;;:24;;:33;;;;:::i;:::-;12552:15;:20;12568:3;12552:20;;;;;;;;;;;;;;;:56;;;;12621:19;12628:3;12633:6;12621;:19::i;:::-;12677:3;12656:34;;12665:10;12656:34;;;12682:7;12656:34;;;;;;;;;;;;;;;;;;12714:3;12706:29;;;12719:6;12727:7;12706:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;12196:547;;;;:::o;16952:95::-;7396:5;;;;;;;;;;;7382:19;;:10;:19;;;7374:28;;;;;;;;16667:6;;;;;;;;;;;16659:15;;;;;;;;17015:5;17006:6;;:14;;;;;;;;;;;;;;;;;;17032:9;;;;;;;;;;16952:95::o;8894:326::-;9015:4;8630:5;;;;;;;;;;;8616:19;;:10;:19;;;8608:28;;;;;;;;8536:15;;;;;;;;;;;8535:16;8527:25;;;;;;;;9046;9063:7;9046:12;;:16;;:25;;;;:::i;:::-;9031:12;:40;;;;9094:26;9112:7;9094:8;:13;9103:3;9094:13;;;;;;;;;;;;;;;;:17;;:26;;;;:::i;:::-;9078:8;:13;9087:3;9078:13;;;;;;;;;;;;;;;:42;;;;9137:3;9132:18;;;9142:7;9132:18;;;;;;;;;;;;;;;;;;9183:3;9162:34;;9179:1;9162:34;;;9188:7;9162:34;;;;;;;;;;;;;;;;;;9210:4;9203:11;;8894:326;;;;:::o;15601:75::-;15645:25;15651:10;15663:6;15645:5;:25::i;:::-;15601:75;:::o;18300:68::-;18239:1;18348:2;:20;18300:68;:::o;18201:39::-;18239:1;18201:39;:::o;13746:357::-;13784:11;13808:12;13831;13875:26;13887:10;13899:1;13875:11;:26::i;:::-;13854:47;;;;;;;;;;;;;13912:184;13930:1;13919:7;:12;;:41;;;;;13953:7;13935:15;:25;13919:41;13912:184;;;13977:13;:11;:13::i;:::-;14015:7;14005:17;;;;14058:26;14070:10;14082:1;14058:11;:26::i;:::-;14037:47;;;;;;;;;;;;;13912:184;;;13746:357;;;:::o;16331:26::-;;;;;;;;;;;;;:::o;6223:440::-;6331:4;6347:13;6363:7;:19;6371:10;6363:19;;;;;;;;;;;;;;;:29;6383:8;6363:29;;;;;;;;;;;;;;;;6347:45;;6422:8;6403:16;:27;6399:168;;;6473:1;6441:7;:19;6449:10;6441:19;;;;;;;;;;;;;;;:29;6461:8;6441:29;;;;;;;;;;;;;;;:33;;;;6399:168;;;6529:30;6542:16;6529:8;:12;;:30;;;;:::i;:::-;6497:7;:19;6505:10;6497:19;;;;;;;;;;;;;;;:29;6517:8;6497:29;;;;;;;;;;;;;;;:62;;;;6399:168;6599:8;6578:61;;6587:10;6578:61;;;6609:7;:19;6617:10;6609:19;;;;;;;;;;;;;;;:29;6629:8;6609:29;;;;;;;;;;;;;;;;6578:61;;;;;;;;;;;;;;;;;;6653:4;6646:11;;6223:440;;;;;:::o;12823:756::-;12864:15;12913:11;13032:18;13089:11;13134;12882:20;12888:10;12900:1;12882:5;:20::i;:::-;12864:38;;12927:6;:15;12934:7;12927:15;;;;;;;;;;;;;;;;;;;;;;;;;;;12913:29;;12969:1;12961:4;:9;;;;12953:18;;;;;;;;13016:4;12990:30;;12997:15;12990:30;;;12982:39;;;;;;;;13053:23;13059:10;13071:4;13053:23;;:5;:23::i;:::-;13032:44;;13103:6;:18;13110:10;13103:18;;;;;;;;;;;;;;;;;;;;;;;;;;;13089:32;;13148:9;:21;13158:10;13148:21;;;;;;;;;;;;;;;;;;13134:35;;13187:9;:21;13197:10;13187:21;;;;;;;;;;;;;;;;;13180:28;;;13244:32;13269:6;13244:8;:20;13253:10;13244:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;13221:8;:20;13230:10;13221:20;;;;;;;;;;;;;;;:55;;;;13317:39;13349:6;13317:15;:27;13333:10;13317:27;;;;;;;;;;;;;;;;:31;;:39;;;;:::i;:::-;13287:15;:27;13303:10;13287:27;;;;;;;;;;;;;;;:69;;;;13381:1;13373:4;:9;;;13369:159;;;13406:6;:15;13413:7;13406:15;;;;;;;;;;;;;;;;;;13399:22;;;;;;;;;;;13369:159;;;13472:4;13454:6;:15;13461:7;13454:15;;;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;13498:6;:18;13505:10;13498:18;;;;;;;;;;;;;;;;;;13491:25;;;;;;;;;;;13369:159;13552:10;13543:28;;;13564:6;13543:28;;;;;;;;;;;;;;;;;;12823:756;;;;;:::o;10177:148::-;10233:15;10294;:23;10310:6;10294:23;;;;;;;;;;;;;;;;10268;10284:6;10268:15;:23::i;:::-;:49;10261:56;;10177:148;;;:::o;7511:114::-;7396:5;;;;;;;;;;;7382:19;;:10;:19;;;7374:28;;;;;;;;7588:5;;;;;;;;;;;7569:25;;;;;;;;;;;;7617:1;7601:5;;:18;;;;;;;;;;;;;;;;;;7511:114::o;18525:80::-;18563:42;18525:80;:::o;9340:144::-;9399:4;7396:5;;;;;;;;;;;7382:19;;:10;:19;;;7374:28;;;;;;;;8536:15;;;;;;;;;;;8535:16;8527:25;;;;;;;;9430:4;9412:15;;:22;;;;;;;;;;;;;;;;;;9446:14;;;;;;;;;;9474:4;9467:11;;9340:144;:::o;16772:93::-;7396:5;;;;;;;;;;;7382:19;;:10;:19;;;7374:28;;;;;;;;16507:6;;;;;;;;;;;16506:7;16498:16;;;;;;;;16836:4;16827:6;;:13;;;;;;;;;;;;;;;;;;16852:7;;;;;;;;;;16772:93::o;6893:20::-;;;;;;;;;;;;;:::o;19034:93::-;19073:14;19107:12;;;;;;;;;;;;;;;;;;19100:19;;19034:93;:::o;19443:158::-;19506:13;19541:6;;;;;;;;;;;19540:7;19532:16;;;;;;;;19566:27;19581:3;19586:6;19566:14;:27::i;:::-;19559:34;;19443:158;;;;:::o;18483:35::-;18513:5;18483:35;:::o;10952:249::-;11011:10;11034:14;11051:6;:23;11058:15;11064:5;11071:1;11058:5;:15::i;:::-;11051:23;;;;;;;;;;;;;;;;;;;;;;;;;;;11034:40;;11085:109;11103:1;11092:7;:12;;;;11085:109;;;11121:7;;;;;;;11153:6;:29;11160:21;11166:5;11173:7;11160:21;;:5;:21::i;:::-;11153:29;;;;;;;;;;;;;;;;;;;;;;;;;;;11143:39;;11085:109;;;10952:249;;;;:::o;18247:46::-;18292:1;18247:46;:::o;5478:304::-;5581:4;5638:46;5672:11;5638:7;:19;5646:10;5638:19;;;;;;;;;;;;;;;:29;5658:8;5638:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;5597:7;:19;5605:10;5597:19;;;;;;;;;;;;;;;:29;5617:8;5597:29;;;;;;;;;;;;;;;:88;;;;5718:8;5697:61;;5706:10;5697:61;;;5728:7;:19;5736:10;5728:19;;;;;;;;;;;;;;;:29;5748:8;5728:29;;;;;;;;;;;;;;;;5697:61;;;;;;;;;;;;;;;;;;5772:4;5765:11;;5478:304;;;;:::o;10710:130::-;10774:15;10809;:23;10825:6;10809:23;;;;;;;;;;;;;;;;10802:30;;10710:130;;;:::o;4880:162::-;4985:7;5011;:15;5019:6;5011:15;;;;;;;;;;;;;;;:25;5027:8;5011:25;;;;;;;;;;;;;;;;5004:32;;4880:162;;;;:::o;7793:105::-;7396:5;;;;;;;;;;;7382:19;;:10;:19;;;7374:28;;;;;;;;7863:29;7882:9;7863:18;:29::i;:::-;7793:105;:::o;14111:374::-;14179:14;14260:52;14251:61;;;;14379:42;14372:5;14368:54;14360:6;14357:66;14347:76;;14458:8;14450:6;14447:20;14437:30;;14332:146;;;;:::o;1594:127::-;1652:9;1678:1;1674;:5;1670:9;;1698:1;1693;:6;;1686:14;;;;;;1714:1;1707:8;;1594:127;;;;:::o;14493:789::-;14601:11;14644:17;14696:11;14841:15;14886:11;14574:15;14565:6;:24;;;14557:33;;;;;;;;14615:18;14621:3;14626:6;14615:18;;:5;:18::i;:::-;14601:32;;14664:21;14670:3;14682:1;14664:21;;:5;:21::i;:::-;14644:41;;14710:6;:17;14717:9;14710:17;;;;;;;;;;;;;;;;;;;;;;;;;;;14696:31;;14752:1;14744:4;:9;;;14740:89;;;14790:6;14770;:17;14777:9;14770:17;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;14811:7;;14740:89;14859:16;14865:3;14870:4;14859:16;;:5;:16::i;:::-;14841:34;;14910:189;14925:1;14917:4;:9;;;;:26;;;;;14939:4;14930:13;;:6;:13;;;14917:26;14910:189;;;14969:4;14960:13;;;;15000:7;14988:19;;15031:6;:15;15038:7;15031:15;;;;;;;;;;;;;;;;;;;;;;;;;;;15024:22;;15071:16;15077:3;15082:4;15071:16;;:5;:16::i;:::-;15061:26;;14910:189;;;15125:4;15115:14;;:6;:14;;;15111:53;;;15146:7;;15111:53;15188:1;15180:4;:9;;;;15176:60;;;15220:4;15206:6;:11;15213:3;15206:11;;;;;;;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;15176:60;15268:6;15248;:17;15255:9;15248:17;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;14493:789;;;;;;;;:::o;2811:101::-;2867:7;2890:8;:16;2899:6;2890:16;;;;;;;;;;;;;;;;2883:23;;2811:101;;;:::o;3866:487::-;3978:4;4017:1;4002:17;;:3;:17;;;;3994:26;;;;;;;;4045:8;:15;4054:5;4045:15;;;;;;;;;;;;;;;;4035:6;:25;;4027:34;;;;;;;;4086:7;:14;4094:5;4086:14;;;;;;;;;;;;;;;:26;4101:10;4086:26;;;;;;;;;;;;;;;;4076:6;:36;;4068:45;;;;;;;;4140:27;4160:6;4140:8;:15;4149:5;4140:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4122:8;:15;4131:5;4122:15;;;;;;;;;;;;;;;:45;;;;4190:25;4208:6;4190:8;:13;4199:3;4190:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4174:8;:13;4183:3;4174:13;;;;;;;;;;;;;;;:41;;;;4251:38;4282:6;4251:7;:14;4259:5;4251:14;;;;;;;;;;;;;;;:26;4266:10;4251:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4222:7;:14;4230:5;4222:14;;;;;;;;;;;;;;;:26;4237:10;4222:26;;;;;;;;;;;;;;;:67;;;;4317:3;4301:28;;4310:5;4301:28;;;4322:6;4301:28;;;;;;;;;;;;;;;;;;4343:4;4336:11;;3866:487;;;;;:::o;1414:113::-;1472:7;1500:1;1495;:6;;1488:14;;;;;;1520:1;1516;:5;1509:12;;1414:113;;;;:::o;15682:447::-;15761:8;:14;15770:4;15761:14;;;;;;;;;;;;;;;;15751:6;:24;;15743:33;;;;;;;;15975:26;15994:6;15975:8;:14;15984:4;15975:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;15958:8;:14;15967:4;15958:14;;;;;;;;;;;;;;;:43;;;;16023:24;16040:6;16023:12;;:16;;:24;;;;:::i;:::-;16008:12;:39;;;;16064:4;16059:18;;;16070:6;16059:18;;;;;;;;;;;;;;;;;;16112:1;16089:34;;16098:4;16089:34;;;16116:6;16089:34;;;;;;;;;;;;;;;;;;15682:447;;:::o;2273:329::-;2336:4;2372:1;2357:17;;:3;:17;;;;2349:26;;;;;;;;2400:8;:20;2409:10;2400:20;;;;;;;;;;;;;;;;2390:6;:30;;2382:39;;;;;;;;2453:32;2478:6;2453:8;:20;2462:10;2453:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2430:8;:20;2439:10;2430:20;;;;;;;;;;;;;;;:55;;;;2508:25;2526:6;2508:8;:13;2517:3;2508:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2492:8;:13;2501:3;2492:13;;;;;;;;;;;;;;;:41;;;;2566:3;2545:33;;2554:10;2545:33;;;2571:6;2545:33;;;;;;;;;;;;;;;;;;2592:4;2585:11;;2273:329;;;;:::o;8039:175::-;8131:1;8110:23;;:9;:23;;;;8102:32;;;;;;;;8174:9;8146:38;;8167:5;;;;;;;;;;;8146:38;;;;;;;;;;;;8199:9;8191:5;;:17;;;;;;;;;;;;;;;;;;8039:175;:::o

bzzr://a9fd06537253f7c038bdf6ea5e3b6f866c1d135bbdebb59353bd571ccfbd1ccf