Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.23;

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

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

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

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }
}

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

contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval( address indexed owner, address indexed spender, uint256 value );
}

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

  mapping(address => uint256) internal balances;
  
  mapping(address => uint256) internal freezeBalances;
  
  mapping(address => uint256) internal transferTime;

  uint256 internal totalSupply_;

  /**
  * @dev total number of tokens in existence
  */
  function totalSupply() public view returns (uint256) {
    return totalSupply_;
  }
  
  modifier checkFreeze(address _from, uint256 _value) {
    uint256 span = now.sub(transferTime[_from]);                            //锁仓时长
    uint256 value2 = balances[_from].sub(_value);                           //转账后余额
    uint256 freeze = freezeBalances[_from];                                 //天使投资冻结金额
    require(
      freeze == 0 ||                                                        //非天使投资
      value2 >= freeze ||                                                   //锁仓6个月
      span > 180 days && value2 >= freeze.mul(0.7 ether).div(1 ether) ||    //第6个月底解锁40%
      span > 210 days && value2 >= freeze.mul(0.4 ether).div(1 ether) ||    //第7个月底解锁30%
      span > 240 days                                                       //第8个月底全部解锁
    );
    _;
  }
  
  /**
  * @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 checkFreeze(msg.sender, _value) returns (bool) {
     require(_to != address(0));
     require(_value <= balances[msg.sender]);
     balances[msg.sender] = balances[msg.sender].sub(_value);
     balances[_to] = balances[_to].add(_value);
     emit Transfer(msg.sender, _to, _value);
     return true;
  }
  
  //转账给投资人时调这个函数转账
  function transferToVC(address _to, uint256 _value) public checkFreeze(msg.sender, _value) returns (bool) {
    transfer(_to, _value);
	freezeBalances[_to]=freezeBalances[_to].add(_value);    //保存投资人投资金额，计算冻结金额
	transferTime[_to] = now;    //保存当前转账时间
    return true;
  }


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

}

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

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


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

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

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

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

contract ABTToken is StandardToken {
  string public name;
  string public symbol;
  uint8 public decimals;

  constructor() public {
    name = "ABTToken";
    symbol = "ABT";
    decimals = 8;
    totalSupply_ = 1000000000000000000;
    balances[0xB97f41cc340899DbA210BdCc86a912ef100eFE96] = totalSupply_;
    emit Transfer(address(0), 0xB97f41cc340899DbA210BdCc86a912ef100eFE96, totalSupply_);
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":"_owner","type":"address"}],"name":"freezeBalanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferToVC","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":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","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":"_owner","type":"address"}],"name":"timeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

60806040523480156200001157600080fd5b506040805190810160405280600881526020017f414254546f6b656e000000000000000000000000000000000000000000000000815250600590805190602001906200005f929190620001b4565b506040805190810160405280600381526020017f414254000000000000000000000000000000000000000000000000000000000081525060069080519060200190620000ad929190620001b4565b506008600760006101000a81548160ff021916908360ff160217905550670de0b6b3a764000060038190555060035460008073b97f41cc340899dba210bdcc86a912ef100efe9673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555073b97f41cc340899dba210bdcc86a912ef100efe9673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a362000263565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001f757805160ff191683800117855562000228565b8280016001018555821562000228579182015b82811115620002275782518255916020019190600101906200020a565b5b5090506200023791906200023b565b5090565b6200026091905b808211156200025c57600081600090555060010162000242565b5090565b90565b6115c180620002736000396000f3006080604052600436106100ba576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100bf578063095ea7b31461014f5780631229b72e146101b4578063133095b61461020b57806318160ddd1461027057806323b872dd1461029b578063313ce5671461032057806370a082311461035157806395d89b41146103a8578063a9059cbb14610438578063d0b485091461049d578063dd62ed3e146104f4575b600080fd5b3480156100cb57600080fd5b506100d461056b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101145780820151818401526020810190506100f9565b50505050905090810190601f1680156101415780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015b57600080fd5b5061019a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610609565b604051808215151515815260200191505060405180910390f35b3480156101c057600080fd5b506101f5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106fb565b6040518082815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610744565b604051808215151515815260200191505060405180910390f35b34801561027c57600080fd5b506102856109ec565b6040518082815260200191505060405180910390f35b3480156102a757600080fd5b50610306600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109f6565b604051808215151515815260200191505060405180910390f35b34801561032c57600080fd5b50610335610f69565b604051808260ff1660ff16815260200191505060405180910390f35b34801561035d57600080fd5b50610392600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f7c565b6040518082815260200191505060405180910390f35b3480156103b457600080fd5b506103bd610fc4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103fd5780820151818401526020810190506103e2565b50505050905090810190601f16801561042a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561044457600080fd5b50610483600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611062565b604051808215151515815260200191505060405180910390f35b3480156104a957600080fd5b506104de600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061143a565b6040518082815260200191505060405180910390f35b34801561050057600080fd5b50610555600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611483565b6040518082815260200191505060405180910390f35b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106015780601f106105d657610100808354040283529160200191610601565b820191906000526020600020905b8154815290600101906020018083116105e457829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60003382600080600061079f600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261150a90919063ffffffff16565b92506107f2846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b9150600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008114806108455750808210155b80610892575062ed4e0083118015610891575061088d670de0b6b3a764000061087f6709b6e64a8ec600008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b806108e05750630114db00831180156108df57506108db670de0b6b3a76400006108cd67058d15e1762800008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b806108ee575063013c680083115b15156108f957600080fd5b6109038888611062565b5061095687600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157990919063ffffffff16565b600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019550505050505092915050565b6000600354905090565b600083826000806000610a51600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261150a90919063ffffffff16565b9250610aa4846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b9150600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000811480610af75750808210155b80610b44575062ed4e0083118015610b435750610b3f670de0b6b3a7640000610b316709b6e64a8ec600008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b80610b925750630114db0083118015610b915750610b8d670de0b6b3a7640000610b7f67058d15e1762800008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b80610ba0575063013c680083115b1515610bab57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff1614151515610be757600080fd5b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548711151515610c3457600080fd5b600460008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548711151515610cbf57600080fd5b610d10876000808c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b6000808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610da3876000808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157990919063ffffffff16565b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e7487600460008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b600460008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508773ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef896040518082815260200191505060405180910390a36001955050505050509392505050565b600760009054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60068054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561105a5780601f1061102f5761010080835404028352916020019161105a565b820191906000526020600020905b81548152906001019060200180831161103d57829003601f168201915b505050505081565b6000338260008060006110bd600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261150a90919063ffffffff16565b9250611110846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b9150600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008114806111635750808210155b806111b0575062ed4e00831180156111af57506111ab670de0b6b3a764000061119d6709b6e64a8ec600008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b806111fe5750630114db00831180156111fd57506111f9670de0b6b3a76400006111eb67058d15e1762800008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b8061120c575063013c680083115b151561121757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff161415151561125357600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205487111515156112a057600080fd5b6112f1876000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611384876000808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157990919063ffffffff16565b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508773ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef896040518082815260200191505060405180910390a360019550505050505092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600082821115151561151857fe5b818303905092915050565b60008060008414156115385760009150611557565b828402905082848281151561154957fe5b0414151561155357fe5b8091505b5092915050565b600080828481151561156c57fe5b0490508091505092915050565b6000818301905082811015151561158c57fe5b809050929150505600a165627a7a723058203b11c6eb3b4aeb6ee92e3c44992d1645e9466d39f6259c5bb6749a689755fe570029

0x6080604052600436106100ba576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100bf578063095ea7b31461014f5780631229b72e146101b4578063133095b61461020b57806318160ddd1461027057806323b872dd1461029b578063313ce5671461032057806370a082311461035157806395d89b41146103a8578063a9059cbb14610438578063d0b485091461049d578063dd62ed3e146104f4575b600080fd5b3480156100cb57600080fd5b506100d461056b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101145780820151818401526020810190506100f9565b50505050905090810190601f1680156101415780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015b57600080fd5b5061019a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610609565b604051808215151515815260200191505060405180910390f35b3480156101c057600080fd5b506101f5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106fb565b6040518082815260200191505060405180910390f35b34801561021757600080fd5b50610256600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610744565b604051808215151515815260200191505060405180910390f35b34801561027c57600080fd5b506102856109ec565b6040518082815260200191505060405180910390f35b3480156102a757600080fd5b50610306600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109f6565b604051808215151515815260200191505060405180910390f35b34801561032c57600080fd5b50610335610f69565b604051808260ff1660ff16815260200191505060405180910390f35b34801561035d57600080fd5b50610392600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f7c565b6040518082815260200191505060405180910390f35b3480156103b457600080fd5b506103bd610fc4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103fd5780820151818401526020810190506103e2565b50505050905090810190601f16801561042a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561044457600080fd5b50610483600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611062565b604051808215151515815260200191505060405180910390f35b3480156104a957600080fd5b506104de600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061143a565b6040518082815260200191505060405180910390f35b34801561050057600080fd5b50610555600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611483565b6040518082815260200191505060405180910390f35b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106015780601f106105d657610100808354040283529160200191610601565b820191906000526020600020905b8154815290600101906020018083116105e457829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60003382600080600061079f600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261150a90919063ffffffff16565b92506107f2846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b9150600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008114806108455750808210155b80610892575062ed4e0083118015610891575061088d670de0b6b3a764000061087f6709b6e64a8ec600008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b806108e05750630114db00831180156108df57506108db670de0b6b3a76400006108cd67058d15e1762800008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b806108ee575063013c680083115b15156108f957600080fd5b6109038888611062565b5061095687600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157990919063ffffffff16565b600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600260008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019550505050505092915050565b6000600354905090565b600083826000806000610a51600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261150a90919063ffffffff16565b9250610aa4846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b9150600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000811480610af75750808210155b80610b44575062ed4e0083118015610b435750610b3f670de0b6b3a7640000610b316709b6e64a8ec600008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b80610b925750630114db0083118015610b915750610b8d670de0b6b3a7640000610b7f67058d15e1762800008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b80610ba0575063013c680083115b1515610bab57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff1614151515610be757600080fd5b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548711151515610c3457600080fd5b600460008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548711151515610cbf57600080fd5b610d10876000808c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b6000808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610da3876000808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157990919063ffffffff16565b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e7487600460008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b600460008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508773ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef896040518082815260200191505060405180910390a36001955050505050509392505050565b600760009054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60068054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561105a5780601f1061102f5761010080835404028352916020019161105a565b820191906000526020600020905b81548152906001019060200180831161103d57829003601f168201915b505050505081565b6000338260008060006110bd600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261150a90919063ffffffff16565b9250611110846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b9150600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008114806111635750808210155b806111b0575062ed4e00831180156111af57506111ab670de0b6b3a764000061119d6709b6e64a8ec600008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b806111fe5750630114db00831180156111fd57506111f9670de0b6b3a76400006111eb67058d15e1762800008461152390919063ffffffff16565b61155e90919063ffffffff16565b8210155b5b8061120c575063013c680083115b151561121757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff161415151561125357600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205487111515156112a057600080fd5b6112f1876000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461150a90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611384876000808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157990919063ffffffff16565b6000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508773ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef896040518082815260200191505060405180910390a360019550505050505092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600082821115151561151857fe5b818303905092915050565b60008060008414156115385760009150611557565b828402905082848281151561154957fe5b0414151561155357fe5b8091505b5092915050565b600080828481151561156c57fe5b0490508091505092915050565b6000818301905082811015151561158c57fe5b809050929150505600a165627a7a723058203b11c6eb3b4aeb6ee92e3c44992d1645e9466d39f6259c5bb6749a689755fe570029

6825:415:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6865:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6865:18: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;6865:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6169:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6169:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4648:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4648:113:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3895:323;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3895:323:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2342:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2342:85:0;;;;;;;;;;;;;;;;;;;;;;;5447:483;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5447:483:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6913:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6913:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4429:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4429:101:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6888:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6888:20: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;6888:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3474:365;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3474:365:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4538:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4538:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6688:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6688:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6865:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6169:192::-;6236:4;6281:6;6249:7;:19;6257:10;6249:19;;;;;;;;;;;;;;;:29;6269:8;6249:29;;;;;;;;;;;;;;;:38;;;;6320:8;6299:38;;6308:10;6299:38;;;6330:6;6299:38;;;;;;;;;;;;;;;;;;6351:4;6344:11;;6169:192;;;;:::o;4648:113::-;4710:7;4733:14;:22;4748:6;4733:22;;;;;;;;;;;;;;;;4726:29;;4648:113;;;:::o;3895:323::-;3994:4;3965:10;3977:6;2494:12;2586:14;2681;2509:28;2517:12;:19;2530:5;2517:19;;;;;;;;;;;;;;;;2509:3;:7;;:28;;;;:::i;:::-;2494:43;;2603:27;2623:6;2603:8;:15;2612:5;2603:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;2586:44;;2698:14;:21;2713:5;2698:21;;;;;;;;;;;;;;;;2681:38;;2811:1;2801:6;:11;:111;;;;2906:6;2896;:16;;2801:111;:251;;;;2996:8;2989:4;:15;:63;;;;;3018:34;3044:7;3018:21;3029:9;3018:6;:10;;:21;;;;:::i;:::-;:25;;:34;;;;:::i;:::-;3008:6;:44;;2989:63;2801:251;:353;;;;3098:8;3091:4;:15;:63;;;;;3120:34;3146:7;3120:21;3131:9;3120:6;:10;;:21;;;;:::i;:::-;:25;;:34;;;;:::i;:::-;3110:6;:44;;3091:63;2801:353;:407;;;;3200:8;3193:4;:15;2801:407;2785:512;;;;;;;;4007:21;4016:3;4021:6;4007:8;:21::i;:::-;;4052:31;4076:6;4052:14;:19;4067:3;4052:19;;;;;;;;;;;;;;;;:23;;:31;;;;:::i;:::-;4032:14;:19;4047:3;4032:19;;;;;;;;;;;;;;;:51;;;;4161:3;4141:12;:17;4154:3;4141:17;;;;;;;;;;;;;;;:23;;;;4208:4;4201:11;;3895:323;;;;;;;;;:::o;2342:85::-;2386:7;2409:12;;2402:19;;2342:85;:::o;5447:483::-;5558:4;5534:5;5541:6;2494:12;2586:14;2681;2509:28;2517:12;:19;2530:5;2517:19;;;;;;;;;;;;;;;;2509:3;:7;;:28;;;;:::i;:::-;2494:43;;2603:27;2623:6;2603:8;:15;2612:5;2603:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;2586:44;;2698:14;:21;2713:5;2698:21;;;;;;;;;;;;;;;;2681:38;;2811:1;2801:6;:11;:111;;;;2906:6;2896;:16;;2801:111;:251;;;;2996:8;2989:4;:15;:63;;;;;3018:34;3044:7;3018:21;3029:9;3018:6;:10;;:21;;;;:::i;:::-;:25;;:34;;;;:::i;:::-;3008:6;:44;;2989:63;2801:251;:353;;;;3098:8;3091:4;:15;:63;;;;;3120:34;3146:7;3120:21;3131:9;3120:6;:10;;:21;;;;:::i;:::-;:25;;:34;;;;:::i;:::-;3110:6;:44;;3091:63;2801:353;:407;;;;3200:8;3193:4;:15;2801:407;2785:512;;;;;;;;5594:1;5579:17;;:3;:17;;;;5571:26;;;;;;;;5622:8;:15;5631:5;5622:15;;;;;;;;;;;;;;;;5612:6;:25;;5604:34;;;;;;;;5663:7;:14;5671:5;5663:14;;;;;;;;;;;;;;;:26;5678:10;5663:26;;;;;;;;;;;;;;;;5653:6;:36;;5645:45;;;;;;;;5717:27;5737:6;5717:8;:15;5726:5;5717:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5699:8;:15;5708:5;5699:15;;;;;;;;;;;;;;;:45;;;;5767:25;5785:6;5767:8;:13;5776:3;5767:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5751:8;:13;5760:3;5751:13;;;;;;;;;;;;;;;:41;;;;5828:38;5859:6;5828:7;:14;5836:5;5828:14;;;;;;;;;;;;;;;:26;5843:10;5828:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;5799:7;:14;5807:5;5799:14;;;;;;;;;;;;;;;:26;5814:10;5799:26;;;;;;;;;;;;;;;:67;;;;5894:3;5878:28;;5887:5;5878:28;;;5899:6;5878:28;;;;;;;;;;;;;;;;;;5920:4;5913:11;;5447:483;;;;;;;;;;:::o;6913:21::-;;;;;;;;;;;;;:::o;4429:101::-;4485:7;4508:8;:16;4517:6;4508:16;;;;;;;;;;;;;;;;4501:23;;4429:101;;;:::o;6888:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3474:365::-;3569:4;3540:10;3552:6;2494:12;2586:14;2681;2509:28;2517:12;:19;2530:5;2517:19;;;;;;;;;;;;;;;;2509:3;:7;;:28;;;;:::i;:::-;2494:43;;2603:27;2623:6;2603:8;:15;2612:5;2603:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;2586:44;;2698:14;:21;2713:5;2698:21;;;;;;;;;;;;;;;;2681:38;;2811:1;2801:6;:11;:111;;;;2906:6;2896;:16;;2801:111;:251;;;;2996:8;2989:4;:15;:63;;;;;3018:34;3044:7;3018:21;3029:9;3018:6;:10;;:21;;;;:::i;:::-;:25;;:34;;;;:::i;:::-;3008:6;:44;;2989:63;2801:251;:353;;;;3098:8;3091:4;:15;:63;;;;;3120:34;3146:7;3120:21;3131:9;3120:6;:10;;:21;;;;:::i;:::-;:25;;:34;;;;:::i;:::-;3110:6;:44;;3091:63;2801:353;:407;;;;3200:8;3193:4;:15;2801:407;2785:512;;;;;;;;3606:1;3591:17;;:3;:17;;;;3583:26;;;;;;;;3635:8;:20;3644:10;3635:20;;;;;;;;;;;;;;;;3625:6;:30;;3617:39;;;;;;;;3687:32;3712:6;3687:8;:20;3696:10;3687:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3664:8;:20;3673:10;3664:20;;;;;;;;;;;;;;;:55;;;;3743:25;3761:6;3743:8;:13;3752:3;3743:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;3727:8;:13;3736:3;3727:13;;;;;;;;;;;;;;;:41;;;;3802:3;3781:33;;3790:10;3781:33;;;3807:6;3781:33;;;;;;;;;;;;;;;;;;3829:4;3822:11;;3474:365;;;;;;;;;:::o;4538:102::-;4591:7;4614:12;:20;4627:6;4614:20;;;;;;;;;;;;;;;;4607:27;;4538:102;;;:::o;6688:130::-;6764:7;6787;:15;6795:6;6787:15;;;;;;;;;;;;;;;:25;6803:8;6787:25;;;;;;;;;;;;;;;;6780:32;;6688:130;;;;:::o;257:113::-;315:7;343:1;338;:6;;331:14;;;;;;363:1;359;:5;352:12;;257:113;;;;:::o;572:180::-;630:7;689:9;655:1;650;:6;646:37;;;674:1;667:8;;;;646:37;705:1;701;:5;689:17;;729:1;724;720;:5;;;;;;;;:10;713:18;;;;;;745:1;738:8;;572:180;;;;;;:::o;758:270::-;816:7;907:9;923:1;919;:5;;;;;;;;907:17;;1021:1;1014:8;;758:270;;;;;:::o;437:127::-;495:9;521:1;517;:5;513:9;;541:1;536;:6;;529:14;;;;;;557:1;550:8;;437:127;;;;:::o

bzzr://3b11c6eb3b4aeb6ee92e3c44992d1645e9466d39f6259c5bb6749a689755fe57