Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

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)    - function mod(uint256 a, uint256 b) interface IERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract ERC20 is IERC20    - function ERC20(uint256 _value)    - function totalSupply()    - function balanceOf(address owner)    - function allowance(    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(    - function decreaseAllowance(    - function sendTokensToOwner(uint _toke ...    - function sendTokensToCrowdsale(uint _ ...    - function destroyToken()    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _burnFrom(address account, u ... library SafeERC20    - function safeTransfer(    - function safeTransferFrom(    - function safeApprove(  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract Ownable    - function Ownable()    - function transferOwnership(address _n ...    - function acceptOwnership()    - function renounceOwnership()    - function isOwner() library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract CapperRole    - function isCapper(address account)    - function addCapper(address account)    - function renounceCapper()    - function _removeCapper(address accoun ...  contract SignerRole    - function isSigner(address account)    - function addSigner(address account)    - function renounceSigner()    - function _removeSigner(address accoun ...  contract PauserRole    - function isPauser(address account)    - function addPauser(address account)    - function renouncePauser()    - function _removePauser(address accoun ...  contract MinterRole    - function isMinter(address account)    - function addMinter(address account)    - function renounceMinter()    - function _removeMinter(address accoun ...  contract UpgradeAgent    - function isUpgradeAgent()    - function upgradeFrom(address _tokenHo ...  contract Upgradeable is ERC20    - function UpgradeableToken(address _up ...    - function upgrade(uint256 value)    - function setUpgradeAgent(address agen ...    - function getUpgradeState()    - function setUpgradeMaster(address mas ...    - function canUpgrade()  contract Pausable is PauserRole    - function paused()    - function pause()    - function unpause()  contract ERC20Pausable is ERC20, P ...    - function transfer(    - function transferFrom(    - function approve(    - function increaseAllowance(    - function decreaseAllowance(  contract ERC20Burnable is ERC20    - function burn(uint256 value)    - function burnFrom(address from, uint2 ...    - function _burn(address who, uint256 v ...  contract ERC20Mintable is ERC20, M ...    - function mintingFinished()    - function mint(    - function finishMinting()  contract ERC20Capped is ERC20Minta ...    - function cap()    - function mint(  contract Coin is ERC20,Ownable,ERC ... *

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at xdcscan.com on 2025-03-12
*/

pragma solidity ^0.4.24;



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

  /**
  * @dev Multiplies two numbers, reverts on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (a == 0) {
      return 0;
    }

    uint256 c = a * b;
    require(c / a == b);

    return c;
  }

  /**
  * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b > 0); // Solidity only automatically asserts 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 c;
  }

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

    return c;
  }

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

    return c;
  }

  /**
  * @dev Divides two numbers and returns the remainder (unsigned integer modulo),
  * reverts when dividing by zero.
  */
  function mod(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b != 0);
    return a % b;
  }
}


/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
interface IERC20 {
  function totalSupply() external view returns (uint256);

  function balanceOf(address who) external view returns (uint256);

  function allowance(address owner, address spender)
    external view returns (uint256);

  function transfer(address to, uint256 value) external returns (bool);

  function approve(address spender, uint256 value)
    external returns (bool);

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

  event Transfer(
    address indexed from,
    address indexed to,
    uint256 value
  );

  event Approval(
    address indexed owner,
    address indexed spender,
    uint256 value
  );
}




/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
 * Originally based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract ERC20 is IERC20 {
  using SafeMath for uint256;

  mapping (address => uint256) internal  _balances;

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

  uint256 internal _totalSupply;
  
  address _crawdSaleTokenAddress;
  
  address private _owner;
  
  /*modifier to control Crowdsale function access*/
   modifier onlyOwner {
    require(msg.sender == _owner);
    _;
  }
  
  /**
   * constructor
   */
    function ERC20(uint256 _value){
        _totalSupply = _value;
        _balances[this]= _totalSupply;
        _owner = msg.sender;
    }

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

  /**
  * @dev Gets the balance of the specified address.
  * @param owner The address to query 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];
  }

  /**
   * @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 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(value <= _balances[msg.sender]);
    require(to != address(0));

    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(value);
    emit Transfer(msg.sender, to, value);
    return true;
  }

  /**
   * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
   * Beware that changing an allowance with this method brings the risk that someone may use both the old
   * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
   * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
   * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
   * @param spender The address which will spend the funds.
   * @param value The amount of tokens to be spent.
   */
  function approve(address spender, uint256 value) public returns (bool) {
    require(spender != address(0));

    _allowed[msg.sender][spender] = value;
    emit Approval(msg.sender, spender, value);
    return true;
  }

  /**
   * @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(value <= _balances[from]);
    require(value <= _allowed[from][msg.sender]);
    require(to != address(0));

    _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 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 increaseAllowance(
    address spender,
    uint256 addedValue
  )
    public
    returns (bool)
  {
    require(spender != address(0));

    _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 decreaseAllowance(
    address spender,
    uint256 subtractedValue
  )
    public
    returns (bool)
  {
    require(spender != address(0));

    _allowed[msg.sender][spender] = (
      _allowed[msg.sender][spender].sub(subtractedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }
  
  // custom function start 
  function sendTokensToOwner(uint _tokens) onlyOwner returns (bool ok){
      require(_balances[this] >= _tokens);
      _balances[this] =_balances[this].sub(_tokens);
      _balances[_owner] =_balances[_owner].add(_tokens);
      return true;
  }
  
    function sendTokensToCrowdsale(uint _tokens,address _address) onlyOwner returns (bool ok){
      require(_balances[this] >= _tokens);
      _balances[this] =_balances[this].sub(_tokens);
      _balances[_address] =_balances[_address].add(_tokens);
      return true;
  }

    function destroyToken() public {
        require(_owner == msg.sender);
        selfdestruct(msg.sender);
  }
  
   // custom function end

  /**
   * @dev Internal function that mints an amount of the token and assigns it to
   * an account. This encapsulates the modification of balances such that the
   * proper events are emitted.
   * @param account The account that will receive the created tokens.
   * @param amount The amount that will be created.
   */
  function _mint(address account, uint256 amount) internal {
    require(account != 0);
    _totalSupply = _totalSupply.add(amount);
    _balances[account] = _balances[account].add(amount);
    emit Transfer(address(0), account, amount);
  }

  /**
   * @dev Internal function that burns an amount of the token of a given
   * account.
   * @param account The account whose tokens will be burnt.
   * @param amount The amount that will be burnt.
   */
  function _burn(address account, uint256 amount) internal {
    require(account != 0);
    require(amount <= _balances[account]);

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

  /**
   * @dev Internal function that burns an amount of the token of a given
   * account, deducting from the sender's allowance for said account. Uses the
   * internal burn function.
   * @param account The account whose tokens will be burnt.
   * @param amount The amount that will be burnt.
   */
  function _burnFrom(address account, uint256 amount) internal {
    require(amount <= _allowed[account][msg.sender]);

    // Should https://github.com/OpenZeppelin/zeppelin-solidity/issues/707 be accepted,
    // this function needs to emit an event with the updated approval.
    _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(
      amount);
    _burn(account, amount);
  }
}






/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure.
 * To use this library you can add a `using SafeERC20 for ERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
  function safeTransfer(
    IERC20 token,
    address to,
    uint256 value
  )
    internal
  {
    require(token.transfer(to, value));
  }

  function safeTransferFrom(
    IERC20 token,
    address from,
    address to,
    uint256 value
  )
    internal
  {
    require(token.transferFrom(from, to, value));
  }

  function safeApprove(
    IERC20 token,
    address spender,
    uint256 value
  )
    internal
  {
    require(token.approve(spender, value));
  }
}




/**
 * @title ERC20Detailed token
 * @dev The decimals are only for visualization purposes.
 * All the operations are done using the smallest and indivisible token unit,
 * just as on Ethereum all the operations are done in wei.
 */
contract ERC20Detailed is IERC20 {
  string private _name;
  string private _symbol;
  uint8 private _decimals;

  constructor(string name, string symbol, uint8 decimals) public {
    _name = name;
    _symbol = symbol;
    _decimals = decimals;
  }

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

  /**
   * @return the symbol of the token.
   */
  function symbol() public view returns(string) {
    return _symbol;
  }

  /**
   * @return the number of decimals of the token.
   */
  function decimals() public view returns(uint8) {
    return _decimals;
  }
}



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

  /* New owner which can be set in future */
  address public newOwner;

  /* event to indicate finally ownership has been succesfully transferred and accepted */
  event OwnershipTransferred(address indexed _from, address indexed _to);
  
  /* release ownership to make it autonomous */
   event OwnershipRenounced(address indexed previousOwner);

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

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

  /**
   * 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) onlyOwner {
    require(_newOwner != address(0));
    newOwner = _newOwner;
  }

  /**
   * Allows the new owner toaccept ownership
   */
  function acceptOwnership() {
    require(msg.sender == newOwner);
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }
  
    /**
  * @dev Allows the current owner to relinquish control of the contract.
  * @notice Renouncing to ownership will leave the contract without an owner.
  * It will not be possible to call the functions with the `onlyOwner`
  * modifier anymore.
  */
  function renounceOwnership() public onlyOwner {
    emit OwnershipRenounced(owner);
    owner = address(0);
  }
  
     /**
  * @return true if `msg.sender` is the owner of the contract.
  */
  function isOwner() public view returns(bool) {
    return msg.sender == owner;
  }


}



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

  /**
   * @dev give an account access to this role
   */
  function add(Role storage role, address account) internal {
    require(account != address(0));
    role.bearer[account] = true;
  }

  /**
   * @dev remove an account's access to this role
   */
  function remove(Role storage role, address account) internal {
    require(account != address(0));
    role.bearer[account] = false;
  }

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




contract CapperRole {
  using Roles for Roles.Role;

  event CapperAdded(address indexed account);
  event CapperRemoved(address indexed account);

  Roles.Role private cappers;

  constructor() public {
    cappers.add(msg.sender);
  }

  modifier onlyCapper() {
    require(isCapper(msg.sender));
    _;
  }

  function isCapper(address account) public view returns (bool) {
    return cappers.has(account);
  }

  function addCapper(address account) public onlyCapper {
    cappers.add(account);
    emit CapperAdded(account);
  }

  function renounceCapper() public {
    cappers.remove(msg.sender);
  }

  function _removeCapper(address account) internal {
    cappers.remove(account);
    emit CapperRemoved(account);
  }
}




contract SignerRole {
  using Roles for Roles.Role;

  event SignerAdded(address indexed account);
  event SignerRemoved(address indexed account);

  Roles.Role private signers;

  constructor() public {
    signers.add(msg.sender);
  }

  modifier onlySigner() {
    require(isSigner(msg.sender));
    _;
  }

  function isSigner(address account) public view returns (bool) {
    return signers.has(account);
  }

  function addSigner(address account) public onlySigner {
    signers.add(account);
    emit SignerAdded(account);
  }

  function renounceSigner() public {
    signers.remove(msg.sender);
  }

  function _removeSigner(address account) internal {
    signers.remove(account);
    emit SignerRemoved(account);
  }
}




contract PauserRole {
  using Roles for Roles.Role;

  event PauserAdded(address indexed account);
  event PauserRemoved(address indexed account);

  Roles.Role private pausers;

  constructor() public {
    pausers.add(msg.sender);
  }

  modifier onlyPauser() {
    require(isPauser(msg.sender));
    _;
  }

  function isPauser(address account) public view returns (bool) {
    return pausers.has(account);
  }

  function addPauser(address account) public onlyPauser {
    pausers.add(account);
    emit PauserAdded(account);
  }

  function renouncePauser() public {
    pausers.remove(msg.sender);
  }

  function _removePauser(address account) internal {
    pausers.remove(account);
    emit PauserRemoved(account);
  }
}




contract MinterRole {
  using Roles for Roles.Role;

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

  Roles.Role private minters;

  constructor() public {
    minters.add(msg.sender);
  }

  modifier onlyMinter() {
    require(isMinter(msg.sender));
    _;
  }

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

  function addMinter(address account) public onlyMinter {
    minters.add(account);
    emit MinterAdded(account);
  }

  function renounceMinter() public {
    minters.remove(msg.sender);
  }

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




contract UpgradeAgent {

  uint public originalSupply;

  /** Interface marker */
  function isUpgradeAgent() public constant returns (bool) {
    return true;
  }

  /**
   * Upgrade amount of tokens to a new version.
   *
   * Only callable by UpgradeableToken.
   *
   * @param _tokenHolder Address that wants to upgrade its tokens
   * @param _amount Number of tokens to upgrade. The address may consider to hold back some amount of tokens in the old version.
   */
  function upgradeFrom(address _tokenHolder, uint256 _amount) external;
}

/**
 * A token upgrade mechanism where users can opt-in amount of tokens to the next smart contract revision.
 */

contract Upgradeable is ERC20 {
    
  using SafeMath for uint256;


  /** Contract / person who can set the upgrade path. This can be the same as team multisig wallet, as what it is with its default value. */
  address public upgradeMaster;

  /** The next contract where the tokens will be migrated. */
  UpgradeAgent public upgradeAgent;

  /** How many tokens we have upgraded by now. */
  uint256 public totalUpgraded;

  /**
   * Upgrade states.
   *
   * - NotAllowed: The child contract has not reached a condition where the upgrade can begin
   * - WaitingForAgent: Token allows upgrade, but we don't have a new agent yet
   * - ReadyToUpgrade: The agent is set, but not a single token has been upgraded yet
   * - Upgrading: Upgrade agent is set and the balance holders can upgrade their tokens
   *
   */
  enum UpgradeState {Unknown, NotAllowed, WaitingForAgent, ReadyToUpgrade, Upgrading}

  /**
   * Somebody has upgraded some of his tokens.
   */
  event Upgrade(address indexed _from, address indexed _to, uint256 _value);

  /**
   * New upgrade agent available.
   */
  event UpgradeAgentSet(address agent);

  /**
   * Do not allow construction without upgrade master set.
   */
  function UpgradeableToken(address _upgradeMaster) {
    upgradeMaster = _upgradeMaster;
  }

  /**
   * Allow the token holder to upgrade some of their tokens to a new contract.
   */
  function upgrade(uint256 value) public {

      UpgradeState state = getUpgradeState();
      require(state == UpgradeState.ReadyToUpgrade || state == UpgradeState.Upgrading);

      // Validate input value.
      require(value != 0);

      _balances[msg.sender] = _balances[msg.sender].sub(value);

      // Take tokens out from circulation
      _totalSupply = _totalSupply.add(value);
      totalUpgraded = totalUpgraded.add(value);

      // Upgrade agent reissues the tokens
      upgradeAgent.upgradeFrom(msg.sender, value);
      Upgrade(msg.sender, upgradeAgent, value);
  }

  /**
   * Set an upgrade agent that handles
   */
  function setUpgradeAgent(address agent) external {


      // The token is not yet in a state that we could think upgrading
      require(canUpgrade());

      require(agent != 0x0);
      // Only a master can designate the next agent
      require(msg.sender == upgradeMaster);
      // Upgrade has already begun for an agent
      require(getUpgradeState() != UpgradeState.Upgrading);

      upgradeAgent = UpgradeAgent(agent);

      // Bad interface
      require(upgradeAgent.isUpgradeAgent());
      // Make sure that token supplies match in source and target
      require(upgradeAgent.originalSupply() == _totalSupply);

      UpgradeAgentSet(upgradeAgent);
  }

  /**
   * Get the state of the token upgrade.
   */
  function getUpgradeState() public constant returns(UpgradeState) {
    if(!canUpgrade()) return UpgradeState.NotAllowed;
    else if(address(upgradeAgent) == 0x00) return UpgradeState.WaitingForAgent;
    else if(totalUpgraded == 0) return UpgradeState.ReadyToUpgrade;
    else return UpgradeState.Upgrading;
  }

  /**
   * Change the upgrade master.
   *
   * This allows us to set a new owner for the upgrade mechanism.
   */
  function setUpgradeMaster(address master) public {
      require(master != 0x0);
      require(msg.sender == upgradeMaster);
      upgradeMaster = master;
  }

  /**
   * Child contract can enable to provide the condition when the upgrade can begun.
   */
  function canUpgrade() public constant returns(bool) {
     return true;
  }

}





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

  bool private _paused = false;

  /**
   * @return true if the contract is paused, false otherwise.
   */
  function paused() public view returns(bool) {
    return _paused;
  }

  /**
   * @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() public onlyPauser whenNotPaused {
    _paused = true;
    emit Paused();
  }

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




/**
 * @title Pausable token
 * @dev ERC20 modified with pausable transfers.
 **/
contract ERC20Pausable is ERC20, Pausable {

  function transfer(
    address to,
    uint256 value
  )
    public
    whenNotPaused
    returns (bool)
  {
    return super.transfer(to, value);
  }

  function transferFrom(
    address from,
    address to,
    uint256 value
  )
    public
    whenNotPaused
    returns (bool)
  {
    return super.transferFrom(from, to, value);
  }

  function approve(
    address spender,
    uint256 value
  )
    public
    whenNotPaused
    returns (bool)
  {
    return super.approve(spender, value);
  }

  function increaseAllowance(
    address spender,
    uint addedValue
  )
    public
    whenNotPaused
    returns (bool success)
  {
    return super.increaseAllowance(spender, addedValue);
  }

  function decreaseAllowance(
    address spender,
    uint subtractedValue
  )
    public
    whenNotPaused
    returns (bool success)
  {
    return super.decreaseAllowance(spender, subtractedValue);
  }
}



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

  /**
   * @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);
  }

  /**
   * @dev Burns a specific amount of tokens from the target address and decrements allowance
   * @param from address The address which you want to send tokens from
   * @param value uint256 The amount of token to be burned
   */
  function burnFrom(address from, uint256 value) public {
    _burnFrom(from, value);
  }

  /**
   * @dev Overrides ERC20._burn in order for burn and burnFrom to emit
   * an additional Burn event.
   */
  function _burn(address who, uint256 value) internal {
    super._burn(who, value);
  }
}






/**
 * @title ERC20Mintable
 * @dev ERC20 minting logic
 */
contract ERC20Mintable is ERC20, MinterRole {
  event MintingFinished();

  bool private _mintingFinished = false;

  modifier onlyBeforeMintingFinished() {
    require(!_mintingFinished);
    _;
  }

  /**
   * @return true if the minting is finished.
   */
  function mintingFinished() public view returns(bool) {
    return _mintingFinished;
  }

  /**
   * @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
  )
    public
    onlyMinter
    onlyBeforeMintingFinished
    returns (bool)
  {
    _mint(to, amount);
    return true;
  }

  /**
   * @dev Function to stop minting new tokens.
   * @return True if the operation was successful.
   */
  function finishMinting()
    public
    onlyMinter
    onlyBeforeMintingFinished
    returns (bool)
  {
    _mintingFinished = true;
    emit MintingFinished();
    return true;
  }
}




/**
 * @title Capped token
 * @dev Mintable token with a token cap.
 */
contract ERC20Capped is ERC20Mintable {

  uint256 private _cap;

  constructor(uint256 cap)
    public
  {
    require(cap > 0);
    _cap = cap;
  }

  /**
   * @return the cap for the token minting.
   */
  function cap() public view returns(uint256) {
    return _cap;
  }

  /**
   * @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
  )
    public
    returns (bool)
  {
    require(totalSupply().add(amount) <= _cap);

    return super.mint(to, amount);
  }

}



contract Coin is ERC20,Ownable,ERC20Detailed, ERC20Burnable , ERC20Pausable, ERC20Mintable,ERC20Capped , Upgradeable{
    constructor() ERC20(1000000000000000000000000000)ERC20Detailed("Law Block token","LBT",18)ERC20Capped(10000000000000000000000000){}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","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":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"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":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"destroyToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"cap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"success","type":"bool"}],"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":false,"inputs":[{"name":"value","type":"uint256"}],"name":"upgrade","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"upgradeAgent","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"upgradeMaster","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_tokens","type":"uint256"},{"name":"_address","type":"address"}],"name":"sendTokensToCrowdsale","outputs":[{"name":"ok","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"finishMinting","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getUpgradeState","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","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":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"canUpgrade","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isMinter","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalUpgraded","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"agent","type":"address"}],"name":"setUpgradeAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"_tokens","type":"uint256"}],"name":"sendTokensToOwner","outputs":[{"name":"ok","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_upgradeMaster","type":"address"}],"name":"UpgradeableToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"master","type":"address"}],"name":"setUpgradeMaster","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Upgrade","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"agent","type":"address"}],"name":"UpgradeAgentSet","type":"event"},{"anonymous":false,"inputs":[],"name":"MintingFinished","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"MinterRemoved","type":"event"},{"anonymous":false,"inputs":[],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","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"},{"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"}]

60806040526000600b60006101000a81548160ff0219169083151502179055506000600d60006101000a81548160ff0219169083151502179055503480156200004757600080fd5b506a084595161401484a0000006040805190810160405280600f81526020017f4c617720426c6f636b20746f6b656e00000000000000000000000000000000008152506040805190810160405280600381526020017f4c4254000000000000000000000000000000000000000000000000000000000081525060126b033b2e3c9fd0803ce8000000806002819055506002546000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508260079080519060200190620001b6929190620002ef565b508160089080519060200190620001cf929190620002ef565b5080600960006101000a81548160ff021916908360ff1602179055505050506200021233600a620002546401000000000262002eda179091906401000000009004565b6200023633600c620002546401000000000262002eda179091906401000000009004565b6000811115156200024657600080fd5b80600e81905550506200039e565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156200029157600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200033257805160ff191683800117855562000363565b8280016001018555821562000363579182015b828111156200036257825182559160200191906001019062000345565b5b50905062000372919062000376565b5090565b6200039b91905b80821115620003975760008160009055506001016200037d565b5090565b90565b6136c080620003ae6000396000f30060806040526004361061021a576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806305d2035b1461021f57806306fdde031461024e578063095ea7b3146102de57806318160ddd1461034357806323b872dd1461036e5780632e4eaa15146103f3578063313ce5671461040a578063355274ea1461043b57806339509351146104665780633f4ba83a146104cb57806340c10f19146104e257806342966c681461054757806345977d031461057457806346fbf68e146105a15780635c975abb146105fc5780635de4ccb01461062b578063600440cb146106825780636ef8d66d146106d957806370a08231146106f0578063715018a61461074757806379ba50971461075e57806379cc6790146107755780637cbd4117146107c25780637d64bcb41461082757806382dc1ec4146108565780638444b391146108995780638456cb59146108d25780638da5cb5b146108e95780638f32d59b1461094057806395d89b411461096f5780639738968c146109ff578063983b2d5614610a2e5780639865027514610a71578063a457c2d714610a88578063a9059cbb14610aed578063aa271e1a14610b52578063c752ff6214610bad578063d4ee1d9014610bd8578063d7e7088a14610c2f578063dd62ed3e14610c72578063f12ddd2b14610ce9578063f2fde38b14610d2e578063f49259b714610d71578063ffeb7d7514610db4575b600080fd5b34801561022b57600080fd5b50610234610df7565b604051808215151515815260200191505060405180910390f35b34801561025a57600080fd5b50610263610e0e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102ea57600080fd5b50610329600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eb0565b604051808215151515815260200191505060405180910390f35b34801561034f57600080fd5b50610358610ee0565b6040518082815260200191505060405180910390f35b34801561037a57600080fd5b506103d9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eea565b604051808215151515815260200191505060405180910390f35b3480156103ff57600080fd5b50610408610f1c565b005b34801561041657600080fd5b5061041f610f91565b604051808260ff1660ff16815260200191505060405180910390f35b34801561044757600080fd5b50610450610fa8565b6040518082815260200191505060405180910390f35b34801561047257600080fd5b506104b1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fb2565b604051808215151515815260200191505060405180910390f35b3480156104d757600080fd5b506104e0610fe2565b005b3480156104ee57600080fd5b5061052d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061105a565b604051808215151515815260200191505060405180910390f35b34801561055357600080fd5b5061057260048036038101908080359060200190929190505050611098565b005b34801561058057600080fd5b5061059f600480360381019080803590602001909291905050506110a5565b005b3480156105ad57600080fd5b506105e2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611337565b604051808215151515815260200191505060405180910390f35b34801561060857600080fd5b50610611611354565b604051808215151515815260200191505060405180910390f35b34801561063757600080fd5b5061064061136b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561068e57600080fd5b50610697611391565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156106e557600080fd5b506106ee6113b7565b005b3480156106fc57600080fd5b50610731600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113cd565b6040518082815260200191505060405180910390f35b34801561075357600080fd5b5061075c611415565b005b34801561076a57600080fd5b5061077361151a565b005b34801561078157600080fd5b506107c0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611679565b005b3480156107ce57600080fd5b5061080d60048036038101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611687565b604051808215151515815260200191505060405180910390f35b34801561083357600080fd5b5061083c611862565b604051808215151515815260200191505060405180910390f35b34801561086257600080fd5b50610897600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118e2565b005b3480156108a557600080fd5b506108ae611950565b604051808260048111156108be57fe5b60ff16815260200191505060405180910390f35b3480156108de57600080fd5b506108e76119cf565b005b3480156108f557600080fd5b506108fe611a48565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561094c57600080fd5b50610955611a6e565b604051808215151515815260200191505060405180910390f35b34801561097b57600080fd5b50610984611ac6565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156109c45780820151818401526020810190506109a9565b50505050905090810190601f1680156109f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610a0b57600080fd5b50610a14611b68565b604051808215151515815260200191505060405180910390f35b348015610a3a57600080fd5b50610a6f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b71565b005b348015610a7d57600080fd5b50610a86611bdf565b005b348015610a9457600080fd5b50610ad3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bf5565b604051808215151515815260200191505060405180910390f35b348015610af957600080fd5b50610b38600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611c25565b604051808215151515815260200191505060405180910390f35b348015610b5e57600080fd5b50610b93600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c55565b604051808215151515815260200191505060405180910390f35b348015610bb957600080fd5b50610bc2611c72565b6040518082815260200191505060405180910390f35b348015610be457600080fd5b50610bed611c78565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610c3b57600080fd5b50610c70600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c9e565b005b348015610c7e57600080fd5b50610cd3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fc4565b6040518082815260200191505060405180910390f35b348015610cf557600080fd5b50610d146004803603810190808035906020019092919050505061204b565b604051808215151515815260200191505060405180910390f35b348015610d3a57600080fd5b50610d6f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612269565b005b348015610d7d57600080fd5b50610db2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612345565b005b348015610dc057600080fd5b50610df5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612389565b005b6000600d60009054906101000a900460ff16905090565b606060078054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ea65780601f10610e7b57610100808354040283529160200191610ea6565b820191906000526020600020905b815481529060010190602001808311610e8957829003601f168201915b5050505050905090565b6000600b60009054906101000a900460ff16151515610ece57600080fd5b610ed8838361244f565b905092915050565b6000600254905090565b6000600b60009054906101000a900460ff16151515610f0857600080fd5b610f1384848461257c565b90509392505050565b3373ffffffffffffffffffffffffffffffffffffffff16600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610f7857600080fd5b3373ffffffffffffffffffffffffffffffffffffffff16ff5b6000600960009054906101000a900460ff16905090565b6000600e54905090565b6000600b60009054906101000a900460ff16151515610fd057600080fd5b610fda8383612937565b905092915050565b610feb33611337565b1515610ff657600080fd5b600b60009054906101000a900460ff16151561101157600080fd5b6000600b60006101000a81548160ff0219169083151502179055507fa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d1693360405160405180910390a1565b6000600e546110798361106b610ee0565b612b6e90919063ffffffff16565b1115151561108657600080fd5b6110908383612b8f565b905092915050565b6110a23382612bd5565b50565b60006110af611950565b9050600360048111156110be57fe5b8160048111156110ca57fe5b14806110eb57506004808111156110dd57fe5b8160048111156110e957fe5b145b15156110f657600080fd5b6000821415151561110657600080fd5b611157826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506111ae82600254612b6e90919063ffffffff16565b6002819055506111c982601154612b6e90919063ffffffff16565b601181905550601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663753e88e533846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561129457600080fd5b505af11580156112a8573d6000803e3d6000fd5b50505050601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f7e5c344a8141a805725cb476f76c6953b842222b967edd1f78ddb6e8b3f397ac846040518082815260200191505060405180910390a35050565b600061134d82600a612c0490919063ffffffff16565b9050919050565b6000600b60009054906101000a900460ff16905090565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6113cb33600a612c9890919063ffffffff16565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147157600080fd5b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561157657600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6116838282612d32565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156116e557600080fd5b826000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561173257600080fd5b611783836000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611816836000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b600061186d33611c55565b151561187857600080fd5b600d60009054906101000a900460ff1615151561189457600080fd5b6001600d60006101000a81548160ff0219169083151502179055507fb828d9b5c78095deeeeff2eca2e5d4fe046ce3feb4c99702624a3fd384ad2dbc60405160405180910390a16001905090565b6118eb33611337565b15156118f657600080fd5b61190a81600a612eda90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061195a611b68565b151561196957600190506119cc565b6000601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156119b357600290506119cc565b600060115414156119c757600390506119cc565b600490505b90565b6119d833611337565b15156119e357600080fd5b600b60009054906101000a900460ff161515156119ff57600080fd5b6001600b60006101000a81548160ff0219169083151502179055507f9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e75260405160405180910390a1565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b606060088054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b5e5780601f10611b3357610100808354040283529160200191611b5e565b820191906000526020600020905b815481529060010190602001808311611b4157829003601f168201915b5050505050905090565b60006001905090565b611b7a33611c55565b1515611b8557600080fd5b611b9981600c612eda90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b611bf333600c612c9890919063ffffffff16565b565b6000600b60009054906101000a900460ff16151515611c1357600080fd5b611c1d8383612f74565b905092915050565b6000600b60009054906101000a900460ff16151515611c4357600080fd5b611c4d83836131ab565b905092915050565b6000611c6b82600c612c0490919063ffffffff16565b9050919050565b60115481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611ca6611b68565b1515611cb157600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff1614151515611cd757600080fd5b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611d3357600080fd5b600480811115611d3f57fe5b611d47611950565b6004811115611d5257fe5b14151515611d5f57600080fd5b80601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166361d3d7a66040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b158015611e2657600080fd5b505af1158015611e3a573d6000803e3d6000fd5b505050506040513d6020811015611e5057600080fd5b81019080805190602001909291905050501515611e6c57600080fd5b600254601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b2ba0dd6040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b158015611ef557600080fd5b505af1158015611f09573d6000803e3d6000fd5b505050506040513d6020811015611f1f57600080fd5b8101908080519060200190929190505050141515611f3c57600080fd5b7f7845d5aa74cc410e35571258d954f23b82276e160fe8c188fa80566580f279cc601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120a957600080fd5b816000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156120f657600080fd5b612147826000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506121fc82600080600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b600080600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156122c557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561230157600080fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b80600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008173ffffffffffffffffffffffffffffffffffffffff16141515156123af57600080fd5b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561240b57600080fd5b80600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561248c57600080fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156125cb57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561265657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561269257600080fd5b6126e3826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612776826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061284782600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561297457600080fd5b612a0382600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000808284019050838110151515612b8557600080fd5b8091505092915050565b6000612b9a33611c55565b1515612ba557600080fd5b600d60009054906101000a900460ff16151515612bc157600080fd5b612bcb83836133cb565b6001905092915050565b612bdf8282613509565b5050565b600080838311151515612bf557600080fd5b82840390508091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612c4157600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612cd457600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612dbd57600080fd5b612e4c81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612ed68282612bd5565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612f1657600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612fb157600080fd5b61304082600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156131fa57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561323657600080fd5b613287826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061331a826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008273ffffffffffffffffffffffffffffffffffffffff16141515156133f157600080fd5b61340681600254612b6e90919063ffffffff16565b60028190555061345d816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008273ffffffffffffffffffffffffffffffffffffffff161415151561352f57600080fd5b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561357c57600080fd5b61359181600254612be390919063ffffffff16565b6002819055506135e8816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350505600a165627a7a7230582005401e609984f61f2307c17b56884de9cbddd6eddde74b05ea7b8d38e09fe5160029

0x60806040526004361061021a576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806305d2035b1461021f57806306fdde031461024e578063095ea7b3146102de57806318160ddd1461034357806323b872dd1461036e5780632e4eaa15146103f3578063313ce5671461040a578063355274ea1461043b57806339509351146104665780633f4ba83a146104cb57806340c10f19146104e257806342966c681461054757806345977d031461057457806346fbf68e146105a15780635c975abb146105fc5780635de4ccb01461062b578063600440cb146106825780636ef8d66d146106d957806370a08231146106f0578063715018a61461074757806379ba50971461075e57806379cc6790146107755780637cbd4117146107c25780637d64bcb41461082757806382dc1ec4146108565780638444b391146108995780638456cb59146108d25780638da5cb5b146108e95780638f32d59b1461094057806395d89b411461096f5780639738968c146109ff578063983b2d5614610a2e5780639865027514610a71578063a457c2d714610a88578063a9059cbb14610aed578063aa271e1a14610b52578063c752ff6214610bad578063d4ee1d9014610bd8578063d7e7088a14610c2f578063dd62ed3e14610c72578063f12ddd2b14610ce9578063f2fde38b14610d2e578063f49259b714610d71578063ffeb7d7514610db4575b600080fd5b34801561022b57600080fd5b50610234610df7565b604051808215151515815260200191505060405180910390f35b34801561025a57600080fd5b50610263610e0e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102ea57600080fd5b50610329600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eb0565b604051808215151515815260200191505060405180910390f35b34801561034f57600080fd5b50610358610ee0565b6040518082815260200191505060405180910390f35b34801561037a57600080fd5b506103d9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eea565b604051808215151515815260200191505060405180910390f35b3480156103ff57600080fd5b50610408610f1c565b005b34801561041657600080fd5b5061041f610f91565b604051808260ff1660ff16815260200191505060405180910390f35b34801561044757600080fd5b50610450610fa8565b6040518082815260200191505060405180910390f35b34801561047257600080fd5b506104b1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fb2565b604051808215151515815260200191505060405180910390f35b3480156104d757600080fd5b506104e0610fe2565b005b3480156104ee57600080fd5b5061052d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061105a565b604051808215151515815260200191505060405180910390f35b34801561055357600080fd5b5061057260048036038101908080359060200190929190505050611098565b005b34801561058057600080fd5b5061059f600480360381019080803590602001909291905050506110a5565b005b3480156105ad57600080fd5b506105e2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611337565b604051808215151515815260200191505060405180910390f35b34801561060857600080fd5b50610611611354565b604051808215151515815260200191505060405180910390f35b34801561063757600080fd5b5061064061136b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561068e57600080fd5b50610697611391565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156106e557600080fd5b506106ee6113b7565b005b3480156106fc57600080fd5b50610731600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113cd565b6040518082815260200191505060405180910390f35b34801561075357600080fd5b5061075c611415565b005b34801561076a57600080fd5b5061077361151a565b005b34801561078157600080fd5b506107c0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611679565b005b3480156107ce57600080fd5b5061080d60048036038101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611687565b604051808215151515815260200191505060405180910390f35b34801561083357600080fd5b5061083c611862565b604051808215151515815260200191505060405180910390f35b34801561086257600080fd5b50610897600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118e2565b005b3480156108a557600080fd5b506108ae611950565b604051808260048111156108be57fe5b60ff16815260200191505060405180910390f35b3480156108de57600080fd5b506108e76119cf565b005b3480156108f557600080fd5b506108fe611a48565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561094c57600080fd5b50610955611a6e565b604051808215151515815260200191505060405180910390f35b34801561097b57600080fd5b50610984611ac6565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156109c45780820151818401526020810190506109a9565b50505050905090810190601f1680156109f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b348015610a0b57600080fd5b50610a14611b68565b604051808215151515815260200191505060405180910390f35b348015610a3a57600080fd5b50610a6f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b71565b005b348015610a7d57600080fd5b50610a86611bdf565b005b348015610a9457600080fd5b50610ad3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bf5565b604051808215151515815260200191505060405180910390f35b348015610af957600080fd5b50610b38600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611c25565b604051808215151515815260200191505060405180910390f35b348015610b5e57600080fd5b50610b93600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c55565b604051808215151515815260200191505060405180910390f35b348015610bb957600080fd5b50610bc2611c72565b6040518082815260200191505060405180910390f35b348015610be457600080fd5b50610bed611c78565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610c3b57600080fd5b50610c70600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c9e565b005b348015610c7e57600080fd5b50610cd3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611fc4565b6040518082815260200191505060405180910390f35b348015610cf557600080fd5b50610d146004803603810190808035906020019092919050505061204b565b604051808215151515815260200191505060405180910390f35b348015610d3a57600080fd5b50610d6f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612269565b005b348015610d7d57600080fd5b50610db2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612345565b005b348015610dc057600080fd5b50610df5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612389565b005b6000600d60009054906101000a900460ff16905090565b606060078054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ea65780601f10610e7b57610100808354040283529160200191610ea6565b820191906000526020600020905b815481529060010190602001808311610e8957829003601f168201915b5050505050905090565b6000600b60009054906101000a900460ff16151515610ece57600080fd5b610ed8838361244f565b905092915050565b6000600254905090565b6000600b60009054906101000a900460ff16151515610f0857600080fd5b610f1384848461257c565b90509392505050565b3373ffffffffffffffffffffffffffffffffffffffff16600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610f7857600080fd5b3373ffffffffffffffffffffffffffffffffffffffff16ff5b6000600960009054906101000a900460ff16905090565b6000600e54905090565b6000600b60009054906101000a900460ff16151515610fd057600080fd5b610fda8383612937565b905092915050565b610feb33611337565b1515610ff657600080fd5b600b60009054906101000a900460ff16151561101157600080fd5b6000600b60006101000a81548160ff0219169083151502179055507fa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d1693360405160405180910390a1565b6000600e546110798361106b610ee0565b612b6e90919063ffffffff16565b1115151561108657600080fd5b6110908383612b8f565b905092915050565b6110a23382612bd5565b50565b60006110af611950565b9050600360048111156110be57fe5b8160048111156110ca57fe5b14806110eb57506004808111156110dd57fe5b8160048111156110e957fe5b145b15156110f657600080fd5b6000821415151561110657600080fd5b611157826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506111ae82600254612b6e90919063ffffffff16565b6002819055506111c982601154612b6e90919063ffffffff16565b601181905550601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663753e88e533846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561129457600080fd5b505af11580156112a8573d6000803e3d6000fd5b50505050601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f7e5c344a8141a805725cb476f76c6953b842222b967edd1f78ddb6e8b3f397ac846040518082815260200191505060405180910390a35050565b600061134d82600a612c0490919063ffffffff16565b9050919050565b6000600b60009054906101000a900460ff16905090565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6113cb33600a612c9890919063ffffffff16565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147157600080fd5b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561157657600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6116838282612d32565b5050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156116e557600080fd5b826000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561173257600080fd5b611783836000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611816836000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b600061186d33611c55565b151561187857600080fd5b600d60009054906101000a900460ff1615151561189457600080fd5b6001600d60006101000a81548160ff0219169083151502179055507fb828d9b5c78095deeeeff2eca2e5d4fe046ce3feb4c99702624a3fd384ad2dbc60405160405180910390a16001905090565b6118eb33611337565b15156118f657600080fd5b61190a81600a612eda90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061195a611b68565b151561196957600190506119cc565b6000601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156119b357600290506119cc565b600060115414156119c757600390506119cc565b600490505b90565b6119d833611337565b15156119e357600080fd5b600b60009054906101000a900460ff161515156119ff57600080fd5b6001600b60006101000a81548160ff0219169083151502179055507f9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e75260405160405180910390a1565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b606060088054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611b5e5780601f10611b3357610100808354040283529160200191611b5e565b820191906000526020600020905b815481529060010190602001808311611b4157829003601f168201915b5050505050905090565b60006001905090565b611b7a33611c55565b1515611b8557600080fd5b611b9981600c612eda90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b611bf333600c612c9890919063ffffffff16565b565b6000600b60009054906101000a900460ff16151515611c1357600080fd5b611c1d8383612f74565b905092915050565b6000600b60009054906101000a900460ff16151515611c4357600080fd5b611c4d83836131ab565b905092915050565b6000611c6b82600c612c0490919063ffffffff16565b9050919050565b60115481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611ca6611b68565b1515611cb157600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff1614151515611cd757600080fd5b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611d3357600080fd5b600480811115611d3f57fe5b611d47611950565b6004811115611d5257fe5b14151515611d5f57600080fd5b80601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166361d3d7a66040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b158015611e2657600080fd5b505af1158015611e3a573d6000803e3d6000fd5b505050506040513d6020811015611e5057600080fd5b81019080805190602001909291905050501515611e6c57600080fd5b600254601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b2ba0dd6040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b158015611ef557600080fd5b505af1158015611f09573d6000803e3d6000fd5b505050506040513d6020811015611f1f57600080fd5b8101908080519060200190929190505050141515611f3c57600080fd5b7f7845d5aa74cc410e35571258d954f23b82276e160fe8c188fa80566580f279cc601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156120a957600080fd5b816000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156120f657600080fd5b612147826000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506121fc82600080600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b600080600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156122c557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561230157600080fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b80600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008173ffffffffffffffffffffffffffffffffffffffff16141515156123af57600080fd5b600f60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561240b57600080fd5b80600f60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561248c57600080fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156125cb57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561265657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561269257600080fd5b6126e3826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612776826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061284782600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561297457600080fd5b612a0382600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000808284019050838110151515612b8557600080fd5b8091505092915050565b6000612b9a33611c55565b1515612ba557600080fd5b600d60009054906101000a900460ff16151515612bc157600080fd5b612bcb83836133cb565b6001905092915050565b612bdf8282613509565b5050565b600080838311151515612bf557600080fd5b82840390508091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612c4157600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612cd457600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612dbd57600080fd5b612e4c81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612ed68282612bd5565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515612f1657600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515612fb157600080fd5b61304082600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156131fa57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561323657600080fd5b613287826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061331a826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008273ffffffffffffffffffffffffffffffffffffffff16141515156133f157600080fd5b61340681600254612b6e90919063ffffffff16565b60028190555061345d816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b6e90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008273ffffffffffffffffffffffffffffffffffffffff161415151561352f57600080fd5b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561357c57600080fd5b61359181600254612be390919063ffffffff16565b6002819055506135e8816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612be390919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350505600a165627a7a7230582005401e609984f61f2307c17b56884de9cbddd6eddde74b05ea7b8d38e09fe5160029

27668:257:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26020:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26020:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11987:69;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11987:69: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;11987:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24192:167;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24192:167:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3489:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3489:85:0;;;;;;;;;;;;;;;;;;;;;;;23994:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23994:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8658:112;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8658:112:0;;;;;;12259:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12259:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;27160:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27160:68:0;;;;;;;;;;;;;;;;;;;;;;;24365:202;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24365:202:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23583:98;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23583:98:0;;;;;;27470:185;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27470:185:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25044:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25044:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;20392:600;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20392:600:0;;;;;;;;;;;;;;;;;;;;;;;;;;17061:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17061:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22915:71;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22915:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;19277:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19277:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;19179:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19179:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;17294:72;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17294:72:0;;;;;;3778:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3778:100:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14039:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14039:114:0;;;;;;13630:138;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13630:138:0;;;;;;25364:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25364:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8375:275;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8375:275:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26658:190;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26658:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;17169:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17169:119:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;21803:317;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21803:317:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23400:96;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23400:96:0;;;;;;12581:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12581:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;14241:84;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14241:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;;12115:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12115:73: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;12115:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22513:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22513:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;17942:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17942:119:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18067:72;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18067:72:0;;;;;;24573:212;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24573:212:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23829:159;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23829:159:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17834:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17834:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19367:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19367:28:0;;;;;;;;;;;;;;;;;;;;;;;12654:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12654:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;21052:689;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21052:689:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4203:159;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4203:159:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8115:250;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8115:250:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13436:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13436:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;20199:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20199:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22246:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22246:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;26020:89;26067:4;26087:16;;;;;;;;;;;26080:23;;26020:89;:::o;11987:69::-;12023:6;12045:5;12038:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11987:69;:::o;24192:167::-;24301:4;23133:7;;;;;;;;;;;23132:8;23124:17;;;;;;;;24324:29;24338:7;24347:5;24324:13;:29::i;:::-;24317:36;;24192:167;;;;:::o;3489:85::-;3533:7;3556:12;;3549:19;;3489:85;:::o;23994:192::-;24122:4;23133:7;;;;;;;;;;;23132:8;23124:17;;;;;;;;24145:35;24164:4;24170:2;24174:5;24145:18;:35::i;:::-;24138:42;;23994:192;;;;;:::o;8658:112::-;8718:10;8708:20;;:6;;;;;;;;;;;:20;;;8700:29;;;;;;;;8753:10;8740:24;;;12259:76;12299:5;12320:9;;;;;;;;;;;12313:16;;12259:76;:::o;27160:68::-;27195:7;27218:4;;27211:11;;27160:68;:::o;24365:202::-;24486:12;23133:7;;;;;;;;;;;23132:8;23124:17;;;;;;;;24517:44;24541:7;24550:10;24517:23;:44::i;:::-;24510:51;;24365:202;;;;:::o;23583:98::-;17020:20;17029:10;17020:8;:20::i;:::-;17012:29;;;;;;;;23294:7;;;;;;;;;;;23286:16;;;;;;;;23648:5;23638:7;;:15;;;;;;;;;;;;;;;;;;23665:10;;;;;;;;;;23583:98::o;27470:185::-;27553:4;27606;;27577:25;27595:6;27577:13;:11;:13::i;:::-;:17;;:25;;;;:::i;:::-;:33;;27569:42;;;;;;;;27627:22;27638:2;27642:6;27627:10;:22::i;:::-;27620:29;;27470:185;;;;:::o;25044:73::-;25087:24;25093:10;25105:5;25087;:24::i;:::-;25044:73;:::o;20392:600::-;20442:18;20463:17;:15;:17::i;:::-;20442:38;;20506:27;20497:36;;;;;;;;:5;:36;;;;;;;;;:71;;;;20546:22;20537:31;;;;;;;;:5;:31;;;;;;;;;20497:71;20489:80;;;;;;;;20629:1;20620:5;:10;;20612:19;;;;;;;;20666:32;20692:5;20666:9;:21;20676:10;20666:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;20642:9;:21;20652:10;20642:21;;;;;;;;;;;;;;;:56;;;;20767:23;20784:5;20767:12;;:16;;:23;;;;:::i;:::-;20752:12;:38;;;;20815:24;20833:5;20815:13;;:17;;:24;;;;:::i;:::-;20799:13;:40;;;;20894:12;;;;;;;;;;;:24;;;20919:10;20931:5;20894:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20894:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20894:43:0;;;;20966:12;;;;;;;;;;;20946:40;;20954:10;20946:40;;;20980:5;20946:40;;;;;;;;;;;;;;;;;;20392:600;;:::o;17061:102::-;17117:4;17137:20;17149:7;17137;:11;;:20;;;;:::i;:::-;17130:27;;17061:102;;;:::o;22915:71::-;22953:4;22973:7;;;;;;;;;;;22966:14;;22915:71;:::o;19277:32::-;;;;;;;;;;;;;:::o;19179:28::-;;;;;;;;;;;;;:::o;17294:72::-;17334:26;17349:10;17334:7;:14;;:26;;;;:::i;:::-;17294:72::o;3778:100::-;3833:7;3856:9;:16;3866:5;3856:16;;;;;;;;;;;;;;;;3849:23;;3778:100;;;:::o;14039:114::-;13253:5;;;;;;;;;;;13239:19;;:10;:19;;;13231:28;;;;;;;;14116:5;;;;;;;;;;;14097:25;;;;;;;;;;;;14145:1;14129:5;;:18;;;;;;;;;;;;;;;;;;14039:114::o;13630:138::-;13686:8;;;;;;;;;;;13672:22;;:10;:22;;;13664:31;;;;;;;;13730:8;;;;;;;;;;;13702:37;;13723:5;;;;;;;;;;;13702:37;;;;;;;;;;;;13754:8;;;;;;;;;;;13746:5;;:16;;;;;;;;;;;;;;;;;;13630:138::o;25364:89::-;25425:22;25435:4;25441:5;25425:9;:22::i;:::-;25364:89;;:::o;8375:275::-;8456:7;13253:5;;;;;;;;;;;13239:19;;:10;:19;;;13231:28;;;;;;;;8500:7;8481:9;:15;8491:4;8481:15;;;;;;;;;;;;;;;;:26;;8473:35;;;;;;;;8534:28;8554:7;8534:9;:15;8544:4;8534:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;8517:9;:15;8527:4;8517:15;;;;;;;;;;;;;;;:45;;;;8592:32;8616:7;8592:9;:19;8602:8;8592:19;;;;;;;;;;;;;;;;:23;;:32;;;;:::i;:::-;8571:9;:19;8581:8;8571:19;;;;;;;;;;;;;;;:53;;;;8640:4;8633:11;;8375:275;;;;:::o;26658:190::-;26756:4;17793:20;17802:10;17793:8;:20::i;:::-;17785:29;;;;;;;;25922:16;;;;;;;;;;;25921:17;25913:26;;;;;;;;26791:4;26772:16;;:23;;;;;;;;;;;;;;;;;;26807:17;;;;;;;;;;26838:4;26831:11;;26658:190;:::o;17169:119::-;17020:20;17029:10;17020:8;:20::i;:::-;17012:29;;;;;;;;17230:20;17242:7;17230;:11;;:20;;;;:::i;:::-;17274:7;17262:20;;;;;;;;;;;;17169:119;:::o;21803:317::-;21854:12;21879;:10;:12::i;:::-;21878:13;21875:239;;;21900:23;21893:30;;;;21875:239;21963:4;21946:12;;;;;;;;;;;21938:29;;;21935:179;;;21976:28;21969:35;;;;21935:179;22036:1;22019:13;;:18;22016:98;;;22046:27;22039:34;;;;22016:98;22092:22;22085:29;;21803:317;;:::o;23400:96::-;17020:20;17029:10;17020:8;:20::i;:::-;17012:29;;;;;;;;23133:7;;;;;;;;;;;23132:8;23124:17;;;;;;;;23466:4;23456:7;;:14;;;;;;;;;;;;;;;;;;23482:8;;;;;;;;;;23400:96::o;12581:20::-;;;;;;;;;;;;;:::o;14241:84::-;14280:4;14314:5;;;;;;;;;;;14300:19;;:10;:19;;;14293:26;;14241:84;:::o;12115:73::-;12153:6;12175:7;12168:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12115:73;:::o;22513:77::-;22559:4;22580;22573:11;;22513:77;:::o;17942:119::-;17793:20;17802:10;17793:8;:20::i;:::-;17785:29;;;;;;;;18003:20;18015:7;18003;:11;;:20;;;;:::i;:::-;18047:7;18035:20;;;;;;;;;;;;17942:119;:::o;18067:72::-;18107:26;18122:10;18107:7;:14;;:26;;;;:::i;:::-;18067:72::o;24573:212::-;24699:12;23133:7;;;;;;;;;;;23132:8;23124:17;;;;;;;;24730:49;24754:7;24763:15;24730:23;:49::i;:::-;24723:56;;24573:212;;;;:::o;23829:159::-;23934:4;23133:7;;;;;;;;;;;23132:8;23124:17;;;;;;;;23957:25;23972:2;23976:5;23957:14;:25::i;:::-;23950:32;;23829:159;;;;:::o;17834:102::-;17890:4;17910:20;17922:7;17910;:11;;:20;;;;:::i;:::-;17903:27;;17834:102;;;:::o;19367:28::-;;;;:::o;12654:23::-;;;;;;;;;;;;;:::o;21052:689::-;21194:12;:10;:12::i;:::-;21186:21;;;;;;;;21235:3;21226:5;:12;;;;21218:21;;;;;;;;21323:13;;;;;;;;;;;21309:27;;:10;:27;;;21301:36;;;;;;;;21424:22;21403:43;;;;;;;;:17;:15;:17::i;:::-;:43;;;;;;;;;;21395:52;;;;;;;;21486:5;21458:12;;:34;;;;;;;;;;;;;;;;;;21535:12;;;;;;;;;;;:27;;;:29;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21535:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21535:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21535:29:0;;;;;;;;;;;;;;;;21527:38;;;;;;;;21682:12;;21649;;;;;;;;;;;:27;;;:29;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21649:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21649:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21649:29:0;;;;;;;;;;;;;;;;:45;21641:54;;;;;;;;21706:29;21722:12;;;;;;;;;;;21706:29;;;;;;;;;;;;;;;;;;;;;;21052:689;:::o;4203:159::-;4306:7;4332:8;:15;4341:5;4332:15;;;;;;;;;;;;;;;:24;4348:7;4332:24;;;;;;;;;;;;;;;;4325:31;;4203:159;;;;:::o;8115:250::-;8175:7;13253:5;;;;;;;;;;;13239:19;;:10;:19;;;13231:28;;;;;;;;8219:7;8200:9;:15;8210:4;8200:15;;;;;;;;;;;;;;;;:26;;8192:35;;;;;;;;8253:28;8273:7;8253:9;:15;8263:4;8253:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;8236:9;:15;8246:4;8236:15;;;;;;;;;;;;;;;:45;;;;8309:30;8331:7;8309:9;:17;8319:6;;;;;;;;;;;8309:17;;;;;;;;;;;;;;;;:21;;:30;;;;:::i;:::-;8290:9;:17;8300:6;;;;;;;;;;;8290:17;;;;;;;;;;;;;;;:49;;;;8355:4;8348:11;;8115:250;;;:::o;13436:128::-;13253:5;;;;;;;;;;;13239:19;;:10;:19;;;13231:28;;;;;;;;13528:1;13507:23;;:9;:23;;;;13499:32;;;;;;;;13549:9;13538:8;;:20;;;;;;;;;;;;;;;;;;13436:128;:::o;20199:93::-;20272:14;20256:13;;:30;;;;;;;;;;;;;;;;;;20199:93;:::o;22246:162::-;22322:3;22312:6;:13;;;;22304:22;;;;;;;;22357:13;;;;;;;;;;;22343:27;;:10;:27;;;22335:36;;;;;;;;22396:6;22380:13;;:22;;;;;;;;;;;;;;;;;;22246:162;:::o;5472:226::-;5537:4;5577:1;5558:21;;:7;:21;;;;5550:30;;;;;;;;5621:5;5589:8;:20;5598:10;5589:20;;;;;;;;;;;;;;;:29;5610:7;5589:29;;;;;;;;;;;;;;;:37;;;;5659:7;5638:36;;5647:10;5638:36;;;5668:5;5638:36;;;;;;;;;;;;;;;;;;5688:4;5681:11;;5472:226;;;;:::o;5978:475::-;6087:4;6120:9;:15;6130:4;6120:15;;;;;;;;;;;;;;;;6111:5;:24;;6103:33;;;;;;;;6160:8;:14;6169:4;6160:14;;;;;;;;;;;;;;;:26;6175:10;6160:26;;;;;;;;;;;;;;;;6151:5;:35;;6143:44;;;;;;;;6216:1;6202:16;;:2;:16;;;;6194:25;;;;;;;;6246:26;6266:5;6246:9;:15;6256:4;6246:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;6228:9;:15;6238:4;6228:15;;;;;;;;;;;;;;;:44;;;;6295:24;6313:5;6295:9;:13;6305:2;6295:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;6279:9;:13;6289:2;6279:13;;;;;;;;;;;;;;;:40;;;;6355:37;6386:5;6355:8;:14;6364:4;6355:14;;;;;;;;;;;;;;;:26;6370:10;6355:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;6326:8;:14;6335:4;6326:14;;;;;;;;;;;;;;;:26;6341:10;6326:26;;;;;;;;;;;;;;;:66;;;;6419:2;6404:25;;6413:4;6404:25;;;6423:5;6404:25;;;;;;;;;;;;;;;;;;6443:4;6436:11;;5978:475;;;;;:::o;6915:343::-;7020:4;7063:1;7044:21;;:7;:21;;;;7036:30;;;;;;;;7116:45;7150:10;7116:8;:20;7125:10;7116:20;;;;;;;;;;;;;;;:29;7137:7;7116:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;7075:8;:20;7084:10;7075:20;;;;;;;;;;;;;;;:29;7096:7;7075:29;;;;;;;;;;;;;;;:87;;;;7195:7;7174:60;;7183:10;7174:60;;;7204:8;:20;7213:10;7204:20;;;;;;;;;;;;;;;:29;7225:7;7204:29;;;;;;;;;;;;;;;;7174:60;;;;;;;;;;;;;;;;;;7248:4;7241:11;;6915:343;;;;:::o;1325:136::-;1383:7;1399:9;1415:1;1411;:5;1399:17;;1436:1;1431;:6;;1423:15;;;;;;;;1454:1;1447:8;;1325:136;;;;;:::o;26351:187::-;26481:4;17793:20;17802:10;17793:8;:20::i;:::-;17785:29;;;;;;;;25922:16;;;;;;;;;;;25921:17;25913:26;;;;;;;;26497:17;26503:2;26507:6;26497:5;:17::i;:::-;26528:4;26521:11;;26351:187;;;;:::o;25577:88::-;25636:23;25648:3;25653:5;25636:11;:23::i;:::-;25577:88;;:::o;1121:136::-;1179:7;1217:9;1208:1;1203;:6;;1195:15;;;;;;;;1233:1;1229;:5;1217:17;;1250:1;1243:8;;1121:136;;;;;:::o;14999:173::-;15086:4;15129:1;15110:21;;:7;:21;;;;15102:30;;;;;;;;15146:4;:11;;:20;15158:7;15146:20;;;;;;;;;;;;;;;;;;;;;;;;;15139:27;;14999:173;;;;:::o;14776:139::-;14871:1;14852:21;;:7;:21;;;;14844:30;;;;;;;;14904:5;14881:4;:11;;:20;14893:7;14881:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;14776:139;;:::o;10209:402::-;10295:8;:17;10304:7;10295:17;;;;;;;;;;;;;;;:29;10313:10;10295:29;;;;;;;;;;;;;;;;10285:6;:39;;10277:48;;;;;;;;10527:49;10569:6;10527:8;:17;10536:7;10527:17;;;;;;;;;;;;;;;:29;10545:10;10527:29;;;;;;;;;;;;;;;;:33;;:49;;;;:::i;:::-;10495:8;:17;10504:7;10495:17;;;;;;;;;;;;;;;:29;10513:10;10495:29;;;;;;;;;;;;;;;:81;;;;10583:22;10589:7;10598:6;10583:5;:22::i;:::-;10209:402;;:::o;14570:135::-;14662:1;14643:21;;:7;:21;;;;14635:30;;;;;;;;14695:4;14672;:11;;:20;14684:7;14672:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;14570:135;;:::o;7725:353::-;7835:4;7878:1;7859:21;;:7;:21;;;;7851:30;;;;;;;;7931:50;7965:15;7931:8;:20;7940:10;7931:20;;;;;;;;;;;;;;;:29;7952:7;7931:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;7890:8;:20;7899:10;7890:20;;;;;;;;;;;;;;;:29;7911:7;7890:29;;;;;;;;;;;;;;;:92;;;;8015:7;7994:60;;8003:10;7994:60;;;8024:8;:20;8033:10;8024:20;;;;;;;;;;;;;;;:29;8045:7;8024:29;;;;;;;;;;;;;;;;7994:60;;;;;;;;;;;;;;;;;;8068:4;8061:11;;7725:353;;;;:::o;4521:324::-;4582:4;4612:9;:21;4622:10;4612:21;;;;;;;;;;;;;;;;4603:5;:30;;4595:39;;;;;;;;4663:1;4649:16;;:2;:16;;;;4641:25;;;;;;;;4699:32;4725:5;4699:9;:21;4709:10;4699:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;4675:9;:21;4685:10;4675:21;;;;;;;;;;;;;;;:56;;;;4754:24;4772:5;4754:9;:13;4764:2;4754:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;4738:9;:13;4748:2;4738:13;;;;;;;;;;;;;;;:40;;;;4811:2;4790:31;;4799:10;4790:31;;;4815:5;4790:31;;;;;;;;;;;;;;;;;;4835:4;4828:11;;4521:324;;;;:::o;9138:244::-;9221:1;9210:7;:12;;;;9202:21;;;;;;;;9245:24;9262:6;9245:12;;:16;;:24;;;;:::i;:::-;9230:12;:39;;;;9297:30;9320:6;9297:9;:18;9307:7;9297:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;9276:9;:18;9286:7;9276:18;;;;;;;;;;;;;;;:51;;;;9360:7;9339:37;;9356:1;9339:37;;;9369:6;9339:37;;;;;;;;;;;;;;;;;;9138:244;;:::o;9603:290::-;9686:1;9675:7;:12;;;;9667:21;;;;;;;;9713:9;:18;9723:7;9713:18;;;;;;;;;;;;;;;;9703:6;:28;;9695:37;;;;;;;;9756:24;9773:6;9756:12;;:16;;:24;;;;:::i;:::-;9741:12;:39;;;;9808:30;9831:6;9808:9;:18;9818:7;9808:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;9787:9;:18;9797:7;9787:18;;;;;;;;;;;;;;;:51;;;;9876:1;9850:37;;9859:7;9850:37;;;9880:6;9850:37;;;;;;;;;;;;;;;;;;9603:290;;:::o

bzzr://05401e609984f61f2307c17b56884de9cbddd6eddde74b05ea7b8d38e09fe516