Skip to content

contractshark/InvCon

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

32 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

InvCon+: Automated Invariant Generation for Solidity Smart Contracts


The latest version of this repository can be found at NTU-SRSLab.

InvCon+ is a dynamic invariant detector for Solidity smart contracts and it also integrate with the modular verifier VeriSol to produce correct invariants.

Prerequisites

  • Mac, Linux (tested on Ubuntu 20.04 LTS)
  • Python3 (tested on 3.10)
  • TrueBlocks. Indexing for EVM-based blockchains. TrueBlocks runs on Linux and Mac and do not support Windows. Please follow its detailed installation instructions from https://trueblocks.io/docs/install/install-core/. When chifra command is installed and properly configured. Please run chifra init --all to cache all blockchain indexing dataset, where the storage use is estimated to be 60GB-80GB.
  • Anaconda. Managing python environments for different versions of python.
  • QuickNode API key.
  • Etherscan API key.

Get Started

Clone this repository:

git clone git@github.com:ntu-SRSLab/InvCon.git

Change to the Invcon+ directory:

cd InvCon

Create a new Anaconda environment with Python 3.10:

conda create -n invcon+ python=3.10

Activate the environment:

conda activate invcon+

Install the required Python dependencies:

pip3 install -r requirements.txt

Test it on a given example whose data has been cached:

bash scripts/batch.sh

Or you can invoke Invcon+ directly with specific contract address:

python3 -m invconplus.main --address 0x00765EaABedBC0eC71e922178B5cF6f5632EC324

Time Estimation

Time estimation is shown below (on modern hardware with good network condition)

Name No. of Transactions Data Download Diff Download Run Time Address
MESH 15922 2376.3 558.4 23s 0x01F2AcF2914860331C1Cb1a9AcecDa7475e06Af8
AlgorToken 4660 2616.3 261.4 8s 0x00765EaABedBC0eC71e922178B5cF6f5632EC324
PuertoRicoHurricaneRelief 4 25.1 4.6 <1s 0x2da4bb51E59D0b156B5e19Bb3F8eFf0279E1ffA2
ExchangeRate 3 17.2 2.7 <1s 0x007fa227D5d693F7f29e27B1FA028fd2051Ed072
GizerTokenPresale 2 36.8 2.5 <1s 0x22d982a8B875Cc0f8994cd8a4a70872161fdc000

Sample Output

If successful, at the end of the command line output should look similar to the following:

View example bash output (click to expand)
InvCon % python3 -m invconplus.main --address 0x00765EaABedBC0eC71e922178B5cF6f5632EC324
01:44:58 [WARNING] 0x00765EaABedBC0eC71e922178B5cF6f5632EC324
Installing solc '0.4.19'...
Version '0.4.19' installed.
01:45:05 [INFO] 'solc --standard-json --allow-paths /Users/chengxuan/Documents/InvCon' running
01:45:05 [WARNING] Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:49:7: Warning: "throw" is deprecated in favour of "revert()", "require()" and "assert()".
      throw;
      ^---^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:62:3: Warning: No visibility specified. Defaulting to "public".
  function balanceOf(address who) constant returns (uint);
  ^------------------------------------------------------^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:63:3: Warning: No visibility specified. Defaulting to "public".
  function transfer(address to, uint value);
  ^----------------------------------------^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:82:8: Warning: "throw" is deprecated in favour of "revert()", "require()" and "assert()".
       throw;
       ^---^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:92:3: Warning: No visibility specified. Defaulting to "public".
  function transfer(address _to, uint _value) onlyPayloadSize(2 * 32) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:103:3: Warning: No visibility specified. Defaulting to "public".
  function balanceOf(address _owner) constant returns (uint balance) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:115:3: Warning: No visibility specified. Defaulting to "public".
  function allowance(address owner, address spender) constant returns (uint);
  ^-------------------------------------------------------------------------^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:116:3: Warning: No visibility specified. Defaulting to "public".
  function transferFrom(address from, address to, uint value);
  ^----------------------------------------------------------^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:117:3: Warning: No visibility specified. Defaulting to "public".
  function approve(address spender, uint value);
  ^--------------------------------------------^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:140:3: Warning: No visibility specified. Defaulting to "public".
  function transferFrom(address _from, address _to, uint _value) onlyPayloadSize(3 * 32) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:157:3: Warning: No visibility specified. Defaulting to "public".
  function approve(address _spender, uint _value) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:163:64: Warning: "throw" is deprecated in favour of "revert()", "require()" and "assert()".
    if ((_value != 0) && (allowed[msg.sender][_spender] != 0)) throw;
                                                               ^---^

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:175:3: Warning: No visibility specified. Defaulting to "public".
  function allowance(address _owner, address _spender) constant returns (uint remaining) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:188:3: Warning: No visibility specified. Defaulting to "public".
  function AlgorToken() {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:47:3: Warning: This declaration shadows a builtin symbol.
  function assert(bool assertion) internal {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:13:3: Warning: Function state mutability can be restricted to pure
  function div(uint a, uint b) internal returns (uint) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:31:3: Warning: Function state mutability can be restricted to pure
  function max64(uint64 a, uint64 b) internal constant returns (uint64) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:35:3: Warning: Function state mutability can be restricted to pure
  function min64(uint64 a, uint64 b) internal constant returns (uint64) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:39:3: Warning: Function state mutability can be restricted to pure
  function max256(uint256 a, uint256 b) internal constant returns (uint256) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:43:3: Warning: Function state mutability can be restricted to pure
  function min256(uint256 a, uint256 b) internal constant returns (uint256) {
  ^
Spanning multiple lines.

Warning: ./crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:47:3: Warning: Function state mutability can be restricted to pure
  function assert(bool assertion) internal {
  ^
Spanning multiple lines.


main contract: AlgorToken
01:45:05 [WARNING] cached record number 0
01:45:10 [WARNING] 0x00765EaABedBC0eC71e922178B5cF6f5632EC324 has transactions no less than 500
01:45:10 [WARNING] size of transactions to analyze:500
PROG[16-04|02:28:47.017] [..................................................]100%     1/    1 
|████████████████████████████████████████| 500/500 [100%] in 43:36.3 (0.19/s) 
02:28:47 [WARNING] fetching state diff for 500 transactions
|████████████████████████████████████████| 500/500 [100%] in 4:21.4 (1.91/s) 
02:33:09 [INFO] 'solc --standard-json --allow-paths /Users/chengxuan/Documents/InvCon' running
02:33:10 [WARNING] Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:49:7: Warning: "throw" is deprecated in favour of "revert()", "require()" and "assert()".
      throw;
      ^---^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:62:3: Warning: No visibility specified. Defaulting to "public".
  function balanceOf(address who) constant returns (uint);
  ^------------------------------------------------------^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:63:3: Warning: No visibility specified. Defaulting to "public".
  function transfer(address to, uint value);
  ^----------------------------------------^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:82:8: Warning: "throw" is deprecated in favour of "revert()", "require()" and "assert()".
       throw;
       ^---^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:92:3: Warning: No visibility specified. Defaulting to "public".
  function transfer(address _to, uint _value) onlyPayloadSize(2 * 32) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:103:3: Warning: No visibility specified. Defaulting to "public".
  function balanceOf(address _owner) constant returns (uint balance) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:115:3: Warning: No visibility specified. Defaulting to "public".
  function allowance(address owner, address spender) constant returns (uint);
  ^-------------------------------------------------------------------------^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:116:3: Warning: No visibility specified. Defaulting to "public".
  function transferFrom(address from, address to, uint value);
  ^----------------------------------------------------------^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:117:3: Warning: No visibility specified. Defaulting to "public".
  function approve(address spender, uint value);
  ^--------------------------------------------^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:140:3: Warning: No visibility specified. Defaulting to "public".
  function transferFrom(address _from, address _to, uint _value) onlyPayloadSize(3 * 32) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:157:3: Warning: No visibility specified. Defaulting to "public".
  function approve(address _spender, uint _value) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:163:64: Warning: "throw" is deprecated in favour of "revert()", "require()" and "assert()".
    if ((_value != 0) && (allowed[msg.sender][_spender] != 0)) throw;
                                                               ^---^

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:175:3: Warning: No visibility specified. Defaulting to "public".
  function allowance(address _owner, address _spender) constant returns (uint remaining) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:188:3: Warning: No visibility specified. Defaulting to "public".
  function AlgorToken() {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:47:3: Warning: This declaration shadows a builtin symbol.
  function assert(bool assertion) internal {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:13:3: Warning: Function state mutability can be restricted to pure
  function div(uint a, uint b) internal returns (uint) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:31:3: Warning: Function state mutability can be restricted to pure
  function max64(uint64 a, uint64 b) internal constant returns (uint64) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:35:3: Warning: Function state mutability can be restricted to pure
  function min64(uint64 a, uint64 b) internal constant returns (uint64) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:39:3: Warning: Function state mutability can be restricted to pure
  function max256(uint256 a, uint256 b) internal constant returns (uint256) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:43:3: Warning: Function state mutability can be restricted to pure
  function min256(uint256 a, uint256 b) internal constant returns (uint256) {
  ^
Spanning multiple lines.

Warning: crytic-export/etherscan-contracts/0x00765EaABedBC0eC71e922178B5cF6f5632EC324.etherscan.io-AlgorToken.sol:47:3: Warning: Function state mutability can be restricted to pure
  function assert(bool assertion) internal {
  ^
Spanning multiple lines.


main contract:  AlgorToken
SafeMath
ERC20Basic
BasicToken
ERC20
StandardToken
AlgorToken
02:33:10 [WARNING] createInitialPptsForFunction for approve(_spender,_value)
02:33:10 [WARNING] createInitialPptsForFunction for transferFrom(_from,_to,_value)
02:33:10 [WARNING] createInitialPptsForFunction for transfer(_to,_value)
02:33:10 [WARNING] createInitialPptsForContract...
**********

transfer(_to,_value)
{VarInfo(name='balances[msg.sender]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca09444640>), VarInfo(name='balances[_to]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca09444790>)}
[]
**********

onlyPayloadSize(size)
{VarInfo(name='size', type=<slither.core.solidity_types.elementary_type.ElementaryType object at 0x7fca092aab90>, vartype=<VarType.TXVAR: 1>, derivation=None)}
[]
**********

transferFrom(_from,_to,_value)
{VarInfo(name='_allowance', type=<slither.core.solidity_types.elementary_type.ElementaryType object at 0x7fca092f82b0>, vartype=<VarType.LOCALVAR: 2>, derivation=None), VarInfo(name='balances[_to]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca094450f0>), VarInfo(name='balances[_from]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca09445330>), VarInfo(name='allowed[_from][msg.sender]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca09445120>)}
[]
**********

balanceOf(_owner)
set()
[]
**********

allowance(_owner,_spender)
set()
[]
**********

AlgorToken()
{VarInfo(name='balances[msg.sender]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca09445e40>), VarInfo(name='totalSupply', type=<slither.core.solidity_types.elementary_type.ElementaryType object at 0x7fca091e4cd0>, vartype=<VarType.STATEVAR: 0>, derivation=None)}
[]
**********

approve(_spender,_value)
{VarInfo(name='allowed[msg.sender][_spender]', type='uint256', vartype=<VarType.STATEVAR: 0>, derivation=<invconplus.derivation.binary.MappingItem.MappingItem object at 0x7fca09446320>), VarInfo(name='_value', type=<slither.core.solidity_types.elementary_type.ElementaryType object at 0x7fca092ab6d0>, vartype=<VarType.TXVAR: 1>, derivation=None)}
[]
02:33:10 [WARNING] 0x7ae0c7ceb52a2252aa79d505c6379c5145efd9a2b6a59cf68f884e997281a2e0transfer(_to,_value)
02:33:10 [WARNING] 0x6b965ef85fff67a62626cc69cc6881165d58d23ecd7c160869263d2f3ca07e74transfer(_to,_value)
02:33:10 [WARNING] 0xa695c3587dfd4d5e3db702cc1cd27b7c4a21d22c654d183cbba40944bcd3a526transfer(_to,_value)
02:33:10 [WARNING] 0x3e29a56528a905600dc5115aa8fee94317bb64c1c9a3e7de863877403bb7e2fetransfer(_to,_value)
02:33:10 [WARNING] 0xfd8e406e94820725c635b0ffa0e4e898ce329818a6fce1b271a2d07520a07830transfer(_to,_value)
02:33:10 [WARNING] 0xc2f6cb0eefcefe1f354191d96268c867f05ce773945cf43169ab470f465b3e8dtransfer(_to,_value)
02:33:10 [WARNING] 0xc72c4428885c6c8640bcca7b63e9511b92d75b448ea607dc53eff2fb6a5996c1transfer(_to,_value)
02:33:11 [WARNING] 0xe308279ec6ac4bae93bdf98dd8d605cf3269a09bbdc8c6c313df4bd905b262e7transfer(_to,_value)
02:33:11 [WARNING] 0xbfb7a860d4a201ea4f7053afd9dae642efba5dc66628801580dc47d59e31cd6ctransfer(_to,_value)
02:33:11 [WARNING] 0x915c007f45825b1e2cc53a3aed97ccf3fa9a427e56c0f5c1f53aa99cd93ddf77transfer(_to,_value)
02:33:11 [WARNING] 0x7aadf22c93643d51db30873ef4fcfe0cc6531cd35d6d2e724e8a7c47a16a170btransfer(_to,_value)
02:33:11 [WARNING] 0xbae1b89eea3fd5b4453df9a15d91d234a36f2bd7916757f8398e97c3b7954ca2transfer(_to,_value)
02:33:11 [WARNING] 0xdba8ed86d8b13241d7321dc403c5b16a99a5735a2215c59cdf0f7a3786b363bdtransfer(_to,_value)
02:33:11 [WARNING] 0x0fdb24f4bd8fe17e247353ebcdfb33e611c23240d4959f0ba2545d8dbbf13c60transfer(_to,_value)
02:33:11 [WARNING] 0xb9612da7eb6e7707f48783436a3c38e9bd3891001b487863814a98d10f347ab2transfer(_to,_value)
02:33:11 [WARNING] 0xe015feef52f4b6177ae398c911b3a91d12dc1ec9a753cebf66defee28748fb1dtransfer(_to,_value)
02:33:11 [WARNING] 0xf0326ecaf812749ea529d8e8b2b7b9fc0f58122d6491876ab6a33184f2601102transfer(_to,_value)
02:33:11 [WARNING] 0x72db3df533f84d6006e29852eafb62ecfd780bb37ba13480e9d4fcf476d45b3etransfer(_to,_value)
02:33:11 [WARNING] 0x3e5086cde8bca34f599166ab3e41e59c036f459d483c44eba83a4ee2d4f04379transfer(_to,_value)
02:33:11 [WARNING] 0x47dc96a6f895fab3907fd37bef6c7c16d2e531a17ed182f4af6335da37210423transfer(_to,_value)
02:33:11 [WARNING] 0x9ee40894c60c50c9c907be8b88c354418fee0dccd6c016499816b4eb03ac8acctransfer(_to,_value)
02:33:11 [WARNING] 0xa7245d4efd5b4f40e7c9a7ab340934f0487ddea7add39afa1c66f1ad2fdfa76ctransfer(_to,_value)
02:33:11 [WARNING] 0x5768eeecda823b2fdab8870758520633d6a769b3e03baca92e92bc71e9bf5f01transfer(_to,_value)
02:33:11 [WARNING] 0xe3d070ecee9192514a045ea479feae221915c0154061e8e860a527ceb78d3e01transfer(_to,_value)
02:33:11 [WARNING] 0xaf3541cca60cc437fbc1a09a0ff4a9c53586ca82c078ea9daa82215dc501cfeatransfer(_to,_value)
02:33:11 [WARNING] 0xf29de3b4984d40c4d3b475a8e7cbbb7cce1abc65bbbd3e8707493ffceae14773transfer(_to,_value)
02:33:11 [WARNING] 0xddfb7e04a858620ffcb0f16237b0b6deef68897b3096a3f95cc6adb74bd232b5transfer(_to,_value)
02:33:11 [WARNING] 0x56a92014f50b05625a0eb388c8ec28f8033795abe574d1a89e2a21162835ea08transfer(_to,_value)
02:33:11 [WARNING] 0x59743572381bce21968e8393e05da613912fefc2711d012adbdc1524a8697044transfer(_to,_value)
02:33:11 [WARNING] 0xa88e19b3afc49da6b85722c0f4a98b61ded2ecce289dcf9e209541b98585a606transfer(_to,_value)
02:33:11 [WARNING] 0x81fdcd41605287980ceb1c3625e2edb63156266e0be1122935f06990fb6ca38ftransfer(_to,_value)
02:33:11 [WARNING] 0x5a9515ee32c60ea379a1e01585aa94386c0514ce5f865173d0d176aa2140d9actransfer(_to,_value)
02:33:11 [WARNING] 0xc554c0fe24ca77d88730587208cedf402804726e0a2d292942d6663ed282ae53transfer(_to,_value)
02:33:11 [WARNING] 0x37a0b71b5a7eba6e4596b8a97bb9039c2504a867122d131f924aadce7c767aabtransfer(_to,_value)
02:33:11 [WARNING] 0x010a19bf74f09df8383f2a6debd380daf63b0d82b5beb0f21eb1a309c4c00295transfer(_to,_value)
02:33:11 [WARNING] 0x5bc4f1203c230d37a488095ab6cd35ab4ee40bec58d5ea6c21d8a4bfd394bfbdtransfer(_to,_value)
02:33:11 [WARNING] 0xd37a379428f3828e88d1b87ba3651b7ef1a4139cc2845464479e34858bc216b6transfer(_to,_value)
02:33:11 [WARNING] 0xa3fbe589e3dc36daf2e8f944bd42de049eb609a86ae124c19dd9e7abc5e3a10ctransfer(_to,_value)
02:33:11 [WARNING] 0xdbf1fcc87accb089b05a4f0a7c6df44dbb2602ef1832850351262b4c83e99522transfer(_to,_value)
02:33:11 [WARNING] 0x91be7b98a602e254199116ce3167442377cb7e83264ae0cb8dc297c6fc13bb1btransfer(_to,_value)
02:33:11 [WARNING] 0xbeb3eb85c11a41a762dc0c16575eff1d66ef1962be0ec26b5618c0d0298a168ctransfer(_to,_value)
02:33:11 [WARNING] 0x5c0aa7f6545ab83cb086bdf278565036f9f65c51f9fad34748483997dc899196transfer(_to,_value)
02:33:11 [WARNING] 0x512efc6a3ec4baa21200953841867f78627ac8ee40a4c2e894f12539d348ede6transfer(_to,_value)
02:33:11 [WARNING] 0x70e79a2bc77e49c44a45a1cd3cae511bf7c429a957454eff3f4584380901f2e3transfer(_to,_value)
02:33:11 [WARNING] 0x1c0a0979a426d907dbca5b4103ede1248e16ac6eb9848bdf824eacbb6a2508f0transfer(_to,_value)
02:33:11 [WARNING] 0x32be271bf6f59dc47cafb4e695a3b903a8cdca9a1b311b715e8bbe9d57c1be87transfer(_to,_value)
02:33:11 [WARNING] 0x680713eb0e661eb8e3cca6d7d1f4b7603582bac10bd4205993fc85554a6ed8b5transfer(_to,_value)
02:33:11 [WARNING] 0x88e2e5207b27e5370da6cf729bfdc01d6fd60ed7f3ae96045ee6a21e6bc1be7atransfer(_to,_value)
02:33:11 [WARNING] 0x3e0366c180fe827bba65f1ddc76e5366b3d1b5199c90742595c572e30a34367ftransfer(_to,_value)
02:33:11 [WARNING] 0x0bf65b238cfdeacf7fb8cb6bdff04cb04e61ac08d784d8d5029f9bd7716d05ectransfer(_to,_value)
02:33:11 [WARNING] 0x6014db0d7ac86c2c6cfa846bc76e1949f2e51732da801e70ffa0143b82f4c43btransfer(_to,_value)
02:33:11 [WARNING] 0xa5fd1d6af3af8b17ce85738a0777850c1a48c22a9b28c538625938e19c3d0052transfer(_to,_value)
02:33:11 [WARNING] 0x65040869ed9e65489b2fa52e98e935b45f21c3c5dd85d6af0629bf12056e0a09transfer(_to,_value)
02:33:11 [WARNING] 0xb6a5a2f07f99576ec03afd6e5e03ceedb020373bed9af0b58018bd35e923f620transfer(_to,_value)
02:33:11 [WARNING] 0x7fda69b66f71181f29ee474ab2b19079b2561f7144528bdbf9ab4234f54a1a87transfer(_to,_value)
02:33:11 [WARNING] 0x3e57b3bac1d1dbe5d41f4e9e832c7361520dafc3eb9156d3299daaf753d03596transfer(_to,_value)
02:33:11 [WARNING] 0x0959c3e35d373328130ae1384f6bad83454f1156a735eddc61e0444f893997a8transfer(_to,_value)
02:33:11 [WARNING] 0x288cd4ec3c77a6ec160f9fadbca77afe9ceaec0eb835bc6dad206ac2ac1473d2transfer(_to,_value)
02:33:11 [WARNING] 0x33f076d42ebda3dff7a3cd86cb6214e93bcae1d70b022ab65e811878e9fd940ftransfer(_to,_value)
02:33:11 [WARNING] 0x347977839bdae4a7718b23dec833f822451db2fee44466b02edfd948554f2521transfer(_to,_value)
02:33:11 [WARNING] 0xd17ffc99ba588de6a988cd074cee91ecbf5399b8122dddcf55996e86e040a7a0transfer(_to,_value)
02:33:11 [WARNING] 0x84c53c6fec48ecd5520f2dcdec7ee2547af21e4401d83da07a28c6c70fc02892transfer(_to,_value)
02:33:11 [WARNING] 0x21b17853edafae465dff088c901be8d8a56906f89b2640f2aa09827b2fd48ab6transfer(_to,_value)
02:33:11 [WARNING] 0x5f21e9b2f6b74043b42516c7a97bc6cdc2d983b0d41d4346eb78a96cb53ee5aftransfer(_to,_value)
02:33:11 [WARNING] 0xf946d6a2a3e03ed2e54337b77b8bb3eafec251727aa5da6af2eb0703fb53d83ctransfer(_to,_value)
02:33:11 [WARNING] 0xdbad0a1f26b82e2a7d848216c6dec099891bb6252af4f8f07a7a3ced3c1a166atransfer(_to,_value)
02:33:11 [WARNING] 0xb4f2b3e1c4dbfb433640f7d581622bed67c34a62e2426ab5f1deb512be8843e7transfer(_to,_value)
02:33:11 [WARNING] 0x033fb19f849ba6776b87603629b9af241f4d534db733df3ad88e3159175d4729transfer(_to,_value)
02:33:11 [WARNING] 0x68e23a9c907da20b1af3ab08a708c240251dbe2ada79ba932c1b21370d3dd4b7transfer(_to,_value)
02:33:11 [WARNING] 0x896565ee29ca58546953215696d749f6704659ead14ad29ab66830b113f3b805transfer(_to,_value)
02:33:11 [WARNING] 0x9c35727d3bd4e5d74acad39e0820fed0df7d117d0bf08976efc34ada86ac07bftransfer(_to,_value)
02:33:11 [WARNING] 0xd0931ddc9938f1c2dba9d97c5b705532c3c165f0e13cabb84361805d9a35ef61transfer(_to,_value)
02:33:11 [WARNING] 0x68df2c1dadac769ab4883f52113705800178b0c10875aa4d250c58dfb22d8442transfer(_to,_value)
02:33:11 [WARNING] 0x862873b3d095a1b4e48976e786a54e1115d219de13211279f77a4068b8721ac5transfer(_to,_value)
02:33:11 [WARNING] 0xef2f21626043fbcf7c35c14b536d56f42fb5c9275a2de9e33bd1065c158a39c6transfer(_to,_value)
02:33:11 [WARNING] 0x64bdb7b22308f91e6c74e4dadf63257d8ef1e2bcab2c1821dd1dd33a8bcc949ftransfer(_to,_value)
02:33:11 [WARNING] 0xece561f8b42bbd88ee26585602588afe1f41b6d52107ea863ab1705c388edd88transfer(_to,_value)
02:33:11 [WARNING] 0x7ebc035e57940ef90b1eea91737bc2eb5b40266c137547694ae898e8fce58622transfer(_to,_value)
02:33:11 [WARNING] 0x2d86ba1e73c1fc6b50168e88e8638416c9f6181b18125a5354e30fb1893f90fbtransfer(_to,_value)
02:33:11 [WARNING] 0x10846b4405ae97ec153aae1c2fb5b661eec8263e1226f962362e22599737a54ftransfer(_to,_value)
02:33:11 [WARNING] 0x9e67714e23cb1f8d40e01feff1e45bcaacc6863a323be78c41d7568ad80a13d2transfer(_to,_value)
02:33:11 [WARNING] 0xf734204dad6af5326ad534388e370fe56c7b213e663a610aafaa0c1b0779addctransfer(_to,_value)
02:33:11 [WARNING] 0x5ec67b6ff106229b2771711c172b172a1fe573dd5fbced51b734a17ffad17b30transfer(_to,_value)
02:33:11 [WARNING] 0x6b8a538facb2517e8a958e2ddf960103d63e9dac64954b40b42910d3e0e904a7transfer(_to,_value)
02:33:11 [WARNING] 0xc7fe38d8c797afce0338ff0708f7a12847098f1f3e51167d30212581944da72etransfer(_to,_value)
02:33:11 [WARNING] 0x5997f6416f0dd76a2a3229002c787e335efca25d3e578e2d46d1e57e1ad4eb62transfer(_to,_value)
02:33:11 [WARNING] 0xde2bf10f0e308305cadeffa6bbeae484f9b1d9b8fb3658a27b18cd1767bd2b78transfer(_to,_value)
02:33:11 [WARNING] 0x0df7b5536ca83e3289e28ada901b3de7ad7c1896e1b9881d95df0d468c0821fbtransfer(_to,_value)
02:33:11 [WARNING] 0xfe9813446de5566600b7bf628f73516b340e81e54c54b313ff66cef52745cc17transfer(_to,_value)
02:33:11 [WARNING] 0xe75434759f5445f16c1adcb735eb33bc6ae5defd729da3453060419b1b490889transfer(_to,_value)
02:33:11 [WARNING] 0x1f6c8ceb2e9ea70aaf918de8b7e35de0641fd7a3e9aaa00d269cd230785c6764transfer(_to,_value)
02:33:11 [WARNING] 0xaf8ffe794e7e9154cb7035d251de37819ad25f54549c4e4b6a42f84e31c4bc44transfer(_to,_value)
02:33:11 [WARNING] 0xc38f92f7b0c3e143de825e0ae3b1534672eb066076a61c1f93749491d8014fcdtransfer(_to,_value)
02:33:11 [WARNING] 0xd800eca30438069f58e769275a47e2708d7db39b3e64d6e3eaca98688b319c2btransfer(_to,_value)
02:33:11 [WARNING] 0x24425a17a0563743ed6c871af3d75cc5de4f6130ec7bca7e126181e352a8e0a5transfer(_to,_value)
02:33:12 [WARNING] 0x7f2c65534b60c6cf1b6024d2dd9ec411befe6d9bafdd2d7b5f784249438d4532transfer(_to,_value)
02:33:12 [WARNING] 0xea746c7544fe24490dd0a3de3332759c7fba3ebb26ee7007f1d3b6b7fcd94606transfer(_to,_value)
02:33:12 [WARNING] 0x6284dbc5f26d2c8136c908fe438da11ed0525c1ecc4cdbdf52c40f46868c05bdtransfer(_to,_value)
02:33:12 [WARNING] 0x68fa323147ddd6b5090c13b2f9bf640074984bd9f8b3fd2e52242e64364124c0transfer(_to,_value)
02:33:12 [WARNING] 0x69e6f021df1f104e9ff2ee6910274e14b2293721b16b77d0c77304963c489ca8transfer(_to,_value)
02:33:12 [WARNING] 0xd2c191d570ae3154f903699181fd9d73aa8f960620fd5b2a8652008cae03357btransfer(_to,_value)
02:33:12 [WARNING] 0x9b6bda907bff85406b8b35c03d54988ad94763faa464cbdfc37e82cd764ba707transfer(_to,_value)
02:33:12 [WARNING] 0xcda26b63ff06a0124c4fc9f2b0d8912358f3e074b1b52190a52a2bf53f5c2e39transfer(_to,_value)
02:33:12 [WARNING] 0xcad1903632c4fd5a66a4577ea4a0d3dd535582218886d48cf2525cc1dc554831transfer(_to,_value)
02:33:12 [WARNING] 0x8787deb2959e365b60b79b5658e14be1edef8bd5961168e76181b384da8a6747transfer(_to,_value)
02:33:12 [WARNING] 0xb9c0fada2c690a3cb8ed1eb632d3c3ef9eaed0d9951458ded6493899d26b56b8transfer(_to,_value)
02:33:12 [WARNING] 0x36c8948621ab3b86809ec6f63716c8f87e7f80d13b752e98516625488e26f7b1transfer(_to,_value)
02:33:12 [WARNING] 0xd4b4cbf21d950b487949032e739e8a85ab249b7f9630f0794b2d1515e817bd8etransfer(_to,_value)
02:33:12 [WARNING] 0x60afff12dfd5e7c66a5e4481ac7e7c5de622c3da452b50e7fe688e9a044e54abtransfer(_to,_value)
02:33:12 [WARNING] 0x51b0adc81576d9a2a3717387b8a1af298efa830c51761019b241d8313ddc72d1transfer(_to,_value)
02:33:12 [WARNING] 0x26c50cd4be7348cc4326bfb224fddcfa8066040e18d5b19125b836a74ecf36b5transfer(_to,_value)
02:33:12 [WARNING] 0xda67574df6b61bd01eab7ce31705baddd8d2d36ff60dd248854c2124ec0587e4transfer(_to,_value)
02:33:12 [WARNING] 0x171cec8d504abc6f31a20e76814ae5809537722296d3dc25f4b2d80e5ceea4b2transfer(_to,_value)
02:33:12 [WARNING] 0x14d70ecb18a1aababc2b3feefabb6ba0d3eecdecf6e6d5a0730b8391b2326560transfer(_to,_value)
02:33:12 [WARNING] 0x4adcc927528e7be1e0096aa3ead58263d0a61a204b8a0e5fabd5bca3f900236ctransfer(_to,_value)
02:33:12 [WARNING] 0x03ae9480856ae2149b963ff33ee544cbe9fff87c60b0e2b73090e38ed36245e8transfer(_to,_value)
02:33:12 [WARNING] 0x127bf6ed83a3355a8fa129cc8c81671dccb22db219ba68251421f0f64b4f908etransfer(_to,_value)
02:33:12 [WARNING] 0x47ead26aed5e7386643cd4dfd79dd8afc0216c34c592de7dbe26a9b37b66cc18transfer(_to,_value)
02:33:12 [WARNING] 0xbeb0abb3cebea36e56ebbae183460a67c4c56458f7ad14256733636dd9f62bcftransfer(_to,_value)
02:33:12 [WARNING] 0x6ed986d94836672b11d97ef2d5594cc62e66212aef4d50d13fbbfeed9bf46561transfer(_to,_value)
02:33:12 [WARNING] 0xaeb60f0794cded0e7532a35ff091717e9656abc83304c49a887d7fc861c8c6a8transfer(_to,_value)
02:33:12 [WARNING] 0x816287bdfe71c1ccfeeddd0db9625768ede6a10e4693fa89e49c938bf49c9d25transfer(_to,_value)
02:33:12 [WARNING] 0x502c7adf918f0a44fa96dab225187ddbab0289dad68f9f00d44992cf892b69d0transfer(_to,_value)
02:33:12 [WARNING] 0x027130dcb7e9d1e552b9860ff90cdc20d28bac457d98f1432c12d69c259fce12transfer(_to,_value)
02:33:12 [WARNING] 0x3918fd9b34ff4444997097f7c68ec5f896fef2ae941a9abf29d952f249506a15transfer(_to,_value)
02:33:12 [WARNING] 0x097e2379e2b2492df975ebfa82ed556e25d704a1d16e441b3c5cf55e5a3c8a08transfer(_to,_value)
02:33:12 [WARNING] 0x178a4d7100e0a8513fc3d7ff0e49c079fd1b2103108ddee4a4335a5ae125b33btransfer(_to,_value)
02:33:12 [WARNING] 0x18bbdd9796819da82884b95249cfaadb8aee03850f016b6eac4fdd6b3152d4a2transfer(_to,_value)
02:33:12 [WARNING] 0xcb188c3431fbdce45bdc388a15ed8a77b1e630d5fb057597c8c2c290de3ad751transfer(_to,_value)
02:33:12 [WARNING] 0xa933281dba1b5e5f7a33d21a893ab1fede8b05db339d3989256f9aaf20ba2e62transfer(_to,_value)
02:33:12 [WARNING] 0x423a593dc3350874408af123d14b5f7db803825b651a3806a5d6142948fce089transfer(_to,_value)
02:33:12 [WARNING] 0x566b9d75f49e2cef2baea756801f426dc1f683654c96c7969c3d1ddca998a685transfer(_to,_value)
02:33:12 [WARNING] 0x133b69a1a26552d15c2e123b7ea85ad5f31d49c9e05ae41e95e5c58a8275f18btransfer(_to,_value)
02:33:12 [WARNING] 0x19512efd5bca80f098ea0f4e8d05e1bea424f39b22d4dc5e226b2bec540de3f3transfer(_to,_value)
02:33:12 [WARNING] 0x0a06ff0c396d7a85953b1bc3485e076ae1a5cbc10efd95afa5af0639ccd53b9dtransfer(_to,_value)
02:33:12 [WARNING] 0x874fdb51ec774e6d33500db1a2effaa7e17348d2b7af7869b80bd3c8db416c7ctransfer(_to,_value)
02:33:12 [WARNING] 0x2005bca1331fb503dfa0e2228ee9794d9b178229a6f8225e397267bebfee740dtransfer(_to,_value)
02:33:12 [WARNING] 0x925d3eebf4226738e04ce487365b68263383bd44b909be2e364f1457c06350d6transfer(_to,_value)
02:33:12 [WARNING] 0xde7930b4b46dc122dbf7a9f8d9d0d4c69eb7b9a84c053bc9578ddf2168154f50transfer(_to,_value)
02:33:12 [WARNING] 0xc51613fa006976379e66e1fd64404852fb310056643987209e1cc65b428e7c34transfer(_to,_value)
02:33:12 [WARNING] 0x7b624fa12494eff9500b6e368a470d321d27664710f447d880cfde416b451974transfer(_to,_value)
02:33:12 [WARNING] 0xc85d9e4bba9cdf8a07c75ab738281c6547555f65906550c242e5c0f1640ac3cctransfer(_to,_value)
02:33:12 [WARNING] 0x40ae22d941e3d1ec285717de92758d27f02b4c27cc6a5f87cbdb337be59a23c5transfer(_to,_value)
02:33:12 [WARNING] 0x67663f28dffc29621c84860d2787d798b275ea87a92945dddc58410efed46a8ctransfer(_to,_value)
02:33:12 [WARNING] 0x93cd87bed50ef9137ad165a13d18606bedb9a38e3be1fdcfe4408b3cc1721d31transfer(_to,_value)
02:33:12 [WARNING] 0x9a0abb233ef1a6b0e988a267d455df5fcae3b794a870010c1dd549a302426d2ftransfer(_to,_value)
02:33:12 [WARNING] 0x43e63c5f39543f33892ae52fc54d55cc67f250771e0403283b0d65e7fbcea5d8transfer(_to,_value)
02:33:12 [WARNING] 0xe5bb244a7148e66716835e90d782d745cc37350ccc87b475b0c9e1be2e025108transfer(_to,_value)
02:33:12 [WARNING] 0xe0705e16269af36f4d652b526537f3ef43e27a3f5888b78406f441dc8c6d804dtransfer(_to,_value)
02:33:12 [WARNING] 0x43504f74f0c3800ab0f7f0923eaa999bc8429523ea1f3baa7a24e9fdb6d95cbatransfer(_to,_value)
02:33:12 [WARNING] 0x171aa548877ce7d5679b6589c4cd79aba7656235bcc1b38fa0813af1d77e54e4transfer(_to,_value)
02:33:12 [WARNING] 0x8096b20f5a52c763f07b12dc3fa0984b895eae6af5e97f0e8b1cb7c19a4500f3transfer(_to,_value)
02:33:12 [WARNING] 0x58db69e0b49c087c9f572f093ec4bf5abf681183e0e302d329cc76bec6bf0be3transfer(_to,_value)
02:33:12 [WARNING] 0x9798f93e8ac56082017d1a20a8e4fe195d8784b86bf349f4bc9179ea308a0fddtransfer(_to,_value)
02:33:12 [WARNING] 0x920338767e34168313ca6f8681a6122f2c28c8e285af06cec138a7605ff1e06atransfer(_to,_value)
02:33:12 [WARNING] 0x9853e0516bccb66c9c34c250c1d5773f123f5357a0d2a011ff3c212e8933559btransfer(_to,_value)
02:33:12 [WARNING] 0x6733180763e7da20df7f7cb5f38c21c2957455973b381dbff8551d28e4c5b116transfer(_to,_value)
02:33:12 [WARNING] 0x3b1b4a0ad54df6f960e7f08165a539231a656352fd1ba4b7425e5d06318d36c3transfer(_to,_value)
02:33:12 [WARNING] 0xdea68467474980104df7e4a1b59ba7e63a942ed0e0a596948049e5917ea2b6aetransfer(_to,_value)
02:33:12 [WARNING] 0xe148b367d2fc2bc7dbad6f9babbde4c94e99fb10ea38b800941b96dd8fdb3837transfer(_to,_value)
02:33:12 [WARNING] 0x3bcdbae28c888a93fa4ba6bdb01705f20cbdd8a5488fb2c13e21202339b00c6btransfer(_to,_value)
02:33:12 [WARNING] 0x492577c7b930b3c18d33fa5a2df2d3967caf2e49b478235c6b8a0e160a0eac1dtransfer(_to,_value)
02:33:12 [WARNING] 0x79d95b468a7f6c88b1a396972b5865fa10bcf590514cfb3330ab27a4c44d1070transfer(_to,_value)
02:33:12 [WARNING] 0x0924bd68739f6bbe6b9c36015ba1e0d456628d35b40f2fe1e4af8863508f345dtransfer(_to,_value)
02:33:12 [WARNING] 0xc796abd318aa054a470009690f3746c8691ba7a99961227cb334713eac9f2c60transfer(_to,_value)
02:33:12 [WARNING] 0xa4a3358cbae63675a6e103a1eb70b957fa696ff2af135a4746d15893ba93015ftransfer(_to,_value)
02:33:12 [WARNING] 0x2415557ba9e0bdbdbc52a56df80f5a372822d7853dbef3b5155caf8445457b9etransfer(_to,_value)
02:33:12 [WARNING] 0xe97bd9585f2499a69c5e2db8da75238d999f5e5871cbbddd28ecf1321eb12dbftransfer(_to,_value)
02:33:12 [WARNING] 0x4ceae769a687927e549f4c4c60daa35a05f0d1fa1f9c7686362eaa6780aaeee6transfer(_to,_value)
02:33:12 [WARNING] 0x356007bbf155c9012f8cbe52598264e1990173ba24b5779fd851c292ac96a3fbtransfer(_to,_value)
02:33:12 [WARNING] 0xa87f2d602452499f66d387d309c4ceba529385cbc1b18f4ea8d755bc5904a66etransfer(_to,_value)
02:33:12 [WARNING] 0x9bf073c56c17b6810b54361259c27e93f821478cdf0548477ca8715690a34b37transfer(_to,_value)
02:33:12 [WARNING] 0x97edf05344e604924b56aadb279889bc9efc2efec0a1c694ea42a86904215258transfer(_to,_value)
02:33:12 [WARNING] 0x8835c2df024fe94351cb6fd8a9146de1f42fbfa4aa9b1138c083465424b998f8transfer(_to,_value)
02:33:13 [WARNING] 0xe5c5964074be4cbee3a78d9d328cd9150b1fc67d380f7fff2dad8bab78ba0c96transfer(_to,_value)
02:33:13 [WARNING] 0x9ae2dc97981ff98b7a9035ec1f478bf8d13de52026270a9590d9a88921d71bd0transfer(_to,_value)
02:33:13 [WARNING] 0x87137a7ff09bc3f4158401a78665d5a57f55f9c18bc6dfb8b41f44e3b7e1f3aatransfer(_to,_value)
02:33:13 [WARNING] 0x9095b13278a720669e69573af3313b12ba8e592cad2cf8de93c9a36b02feef44transfer(_to,_value)
02:33:13 [WARNING] 0xbfd4cb06e452fce7a613c82cf8b7eab0731ef261b1c010a7a287bf7b1decc6catransfer(_to,_value)
02:33:13 [WARNING] 0x2c7dc32eaa75b56af62b6c56f1fdfaccd6878eba3e5f71aecd2d97ef071132f6transfer(_to,_value)
02:33:13 [WARNING] 0x955464b37adbc5d8c0c6ac336f31b0655bd4aa7389096f9a5c17d5ee9adf96aftransfer(_to,_value)
02:33:13 [WARNING] 0x35dc225a289c3827de761f758cdef0535f71f9e92b5a57de4671b48e254c06f6transfer(_to,_value)
02:33:13 [WARNING] 0xf1c22e830e87c039363facb40d176b02c7df2c40170ef55a37843bbbb0890d02transfer(_to,_value)
02:33:13 [WARNING] 0xd475229e15f743330763e35d0d6e170bb32a1314e5148c31dcbdcf31b2c51afftransfer(_to,_value)
02:33:13 [WARNING] 0xa770cac0af25582496ed413a9fd2caa33cdfacb829f0bcb62ac86fb85a6aa443transfer(_to,_value)
02:33:13 [WARNING] 0xa42c7a7dc3ac9a01c06694c96fa836f9bc02bda42accdc62f7e48bb455000928transfer(_to,_value)
02:33:13 [WARNING] 0x6b0320c6ba51f0f410309ba4aaf23c3fdb57f008387adc38183811954c71ead6transfer(_to,_value)
02:33:13 [WARNING] 0x82dd21fa6bdf2492c02a86abc77b42b9fe6f65373fee86f4dd2bc2470cd979cctransfer(_to,_value)
02:33:13 [WARNING] 0xc4d0f313dc02b7c32da916fc4180cca13932ee492ec43238b5d3009c33679964transfer(_to,_value)
02:33:13 [WARNING] 0x0f5e039e2950eabbebd56f19918f1b0b0d36f7a17c77d8066c98d1a0994ace7ftransfer(_to,_value)
02:33:13 [WARNING] 0x8125ff48bda64b3dbc3d74893fa7244be9594c660ce108537df849749da9ea65transfer(_to,_value)
02:33:13 [WARNING] 0x240d8a7f890d758434ea5119e28f2ebed18b87519a1cf5d2b0c2e8fec2ed66aftransfer(_to,_value)
02:33:13 [WARNING] 0xe38e5593102c100e11d064bd09e043f590ab7ca2f7b21163acad4ef6edfd3a63transfer(_to,_value)
02:33:13 [WARNING] 0xff41522127b0eaa6475bddbd4dcb0fefbf8973b5127dfd6cc3847380e6502c78transfer(_to,_value)
02:33:13 [WARNING] 0xe766032229dd83a0089309198bcadf49b89ff61f3086bf3c14fa87939756a9eatransfer(_to,_value)
02:33:13 [WARNING] 0x09f5b5ff0ecae6fc3f1da52b5ab32f5c4949190c7234618370d6df525cd2544ctransfer(_to,_value)
02:33:13 [WARNING] 0xb93f366b17eb76f1b23b0002e25f87f38d1f1ce5783097697f82096bfb7a0f3ctransfer(_to,_value)
02:33:13 [WARNING] 0x7d393922c83944bde3ac764db9356c9cdca3dc50f2e5cc931aca49a14b9b677atransfer(_to,_value)
02:33:13 [WARNING] 0x5cdcebf947d2ebcef2ab572e24c4b3d4c251f6802ce76b778a1fe9108b5a1eb4transfer(_to,_value)
02:33:13 [WARNING] 0xa3e75d2b985f8548e64e00cea32a4bfa7cfa2b6a8d10dd37ae193347effe1827transfer(_to,_value)
02:33:13 [WARNING] 0x55c731855bc4dd01bbeee4a92a214744efef2e2b9fc48cc3c559eebc97502782transfer(_to,_value)
02:33:13 [WARNING] 0xe84b6be5a00b9af1890b8bc1db20ed1690214e5ec1161988bb2a484e825ee4b1transfer(_to,_value)
02:33:13 [WARNING] 0x201070072bddf563806cc7ca90a94106b302b6013b59fa5ae4deb7733b924d0ftransfer(_to,_value)
02:33:13 [WARNING] 0x15f615c69d6dc060c812ed1bc27992f4164ab786367d2af1004f73b49ada6cb7transfer(_to,_value)
02:33:13 [WARNING] 0x635740740e27e2dcb91641d252d9c44395398c2fe97709741affbc39235a51b1transfer(_to,_value)
02:33:13 [WARNING] 0xbaae88958aa58ea39665ce987f60f0bbcccea4a5f5381102f7d604398debc932transfer(_to,_value)
02:33:13 [WARNING] 0x40a501f14e8504222a3ca6d2d8b841a730d60887d48650fcd88983e11bda92a3transfer(_to,_value)
02:33:13 [WARNING] 0x3b1334fad9c1f48ee72ef466a9bd4f17675ccaf339f159bf6bc07fc044d4303ctransfer(_to,_value)
02:33:13 [WARNING] 0xed25c5aac2194d3189699e59ef6fd9d86b566969eaf953d67a0ff29a3eefc3d5transfer(_to,_value)
02:33:13 [WARNING] 0x8f912bfac721cbef910eca0b9112846f4a1eac14cdab4ae68945b18471bd557ftransfer(_to,_value)
02:33:13 [WARNING] 0x90b98ce3c676889f31231db7b0a205b3b6811d86524a10fed8abbf57921ff225transfer(_to,_value)
02:33:13 [WARNING] 0xbcab66ce059c76361ac2511e4893e8cba8b6247d561ea0d7fdb1b70b20f775datransfer(_to,_value)
02:33:13 [WARNING] 0xee65fd7b1dbb9ecd892033266d0cae272f383ba15256ee714018770538149e6btransfer(_to,_value)
02:33:13 [WARNING] 0x59e6bdc3b747e21f149a3bbd6638a218d07fe05f50815907f64e3e26ffb12e34transfer(_to,_value)
02:33:13 [WARNING] 0x99ee0310ecc242efb00ffc229c8793a6a66316fa3c2167836c2b2522f1647834transfer(_to,_value)
02:33:13 [WARNING] 0x007f28eba7dfd166a0a470749a5e863baf09007cb89a4e7452ba9a488a7a3c13transfer(_to,_value)
02:33:13 [WARNING] 0x5c4812032f303752d930d27bb48d376dda8237f83a9a12597af8229c39eade3atransfer(_to,_value)
02:33:13 [WARNING] 0x9fbd86193dd03e0de25c94c8cee3a66439fba710c0733022067bbd3ef55a12f5transfer(_to,_value)
02:33:13 [WARNING] 0x9975836f27908c3b38be6c7e51650005a35afcd07eabfc50c3c49c457e1d6da4transfer(_to,_value)
02:33:13 [WARNING] 0x5b7590025f11d0471f4d1548445c0b0c74a2137e8469f35d60e2f712476065f4transfer(_to,_value)
02:33:13 [WARNING] 0xbc6916934b8436d684dce3afcc8e2974410c798b6dc697215a3684171b141422transfer(_to,_value)
02:33:13 [WARNING] 0x74b0eb0334049647d35dd865cba4d23240db21874395dd370f55b4539c0f6882transfer(_to,_value)
02:33:13 [WARNING] 0x2083df4ca41e7a9d637b56a9940ad6dd514a5bfced193291ee40a852aa89ed2btransfer(_to,_value)
02:33:13 [WARNING] 0xcc194c48b895f27992f5dae9a593562b5cd2b8e66c061eab902769a493f2ce94transfer(_to,_value)
02:33:13 [WARNING] 0x45dfcf35691c12a3f79fd81ffbd778733cb0c1dd3bcdc57fc7ce749928fdc3dctransfer(_to,_value)
02:33:13 [WARNING] 0x49e18b9f113990d97ad0dfabfa23d622d0fb58cd3c3962858678d3850ac6cd95transfer(_to,_value)
02:33:13 [WARNING] 0xc31e9754ea18a3c1846568308d3c763c9815e86495e968eef075397f8732f86btransfer(_to,_value)
02:33:13 [WARNING] 0xb949907f84b07484a64290fe680456bbf881cb79de355542ed057fb20a69b507transfer(_to,_value)
02:33:13 [WARNING] 0x77ca9c17bcbc1e6d6964bebe65c67cd9d9e59490f22316d52c36f394ca6c97cetransfer(_to,_value)
02:33:13 [WARNING] 0x77e81a9fe5013f7689e2211cb0bc763aeb4084c17363116764fb38171d64a29ctransfer(_to,_value)
02:33:13 [WARNING] 0x4f5aca7f3d16a2a3799878fa495ba878f96ff0ed97950be030001b096eec96f0transfer(_to,_value)
02:33:13 [WARNING] 0x04cf21f88b41981e17430d91fc1fab36d72e65614a71256d95fb0e2c75f49833transfer(_to,_value)
02:33:13 [WARNING] 0xbecc70ff454f7bf9198406128941db67fa34604af6fb7d722ae57e9ddbbf29dbtransfer(_to,_value)
02:33:13 [WARNING] 0xdcdc28927aca2288b3b4cf6dcfca859ca294655c4caec3778341790b41c23504transfer(_to,_value)
02:33:13 [WARNING] 0x54f2e4ed9d984d103dc8fa91725f7918e2a4e9d50447101b9ce83ff2552f1081transfer(_to,_value)
02:33:13 [WARNING] 0xfd36a14bae8d94a8b3fcc10318283029ba655a3d7be89b1896a60d7fbf6369b2transfer(_to,_value)
02:33:13 [WARNING] 0x564821dee14be9d8b28cb07cb3b15f48e327b9e26cbebc6f9ea6151dc3bc3f7etransfer(_to,_value)
02:33:13 [WARNING] 0x76e72d9ce817d7e8611284b8e125476a8c82080932dd6f03293e204d26fd971ftransfer(_to,_value)
02:33:13 [WARNING] 0xfade14b7bb43e4c209e715723d0e87e56bdf16b34f6734c6a5ba2623129983cdtransfer(_to,_value)
02:33:13 [WARNING] 0x25300d0af24cc04ffd6fb5def50dfcbffcce0b6d0f6458e348fab3ce9942188ftransfer(_to,_value)
02:33:13 [WARNING] 0xdab15c0c953360cc4b56120f2726a41e8cb3c48eabe7fccd1d90e2d6fa19e574transfer(_to,_value)
02:33:13 [WARNING] 0x717fb712e0a4d258b167e46c7fe7d5157d7eac13398603cec803fec9f22efb3etransfer(_to,_value)
02:33:13 [WARNING] 0x1f49a4f979c4c567af638e4790c682ac709e258cf7ec94153f319a47abc18f5btransfer(_to,_value)
02:33:13 [WARNING] 0x66c0bd2ab6337123bb7abd4dde8cc279d21bc9386d2e6524e84f4fc1d1e66870transfer(_to,_value)
02:33:13 [WARNING] 0xdffc5474b1f13dd2d4fb567404a230e7f19710e7653e58dbe71047bfd8e834ectransfer(_to,_value)
02:33:13 [WARNING] 0x71082d120078c08f7a4634c0200c681dc1f270b07dd836889522041de4b467b0transfer(_to,_value)
02:33:13 [WARNING] 0x7c7d3809d2cfaf691826827dd780eacf2a4fa29e00dae8b8fbc12fdce1785caftransfer(_to,_value)
02:33:13 [WARNING] 0x8798a37a5e389be430fb0e068ba64668b2fc4e8ead45f4245d5b16c49ee300fetransfer(_to,_value)
02:33:13 [WARNING] 0x1dbaca6f46a9d55a5ed259e8f026e4b540cc8a592e7cba35d4d47afe609308abtransfer(_to,_value)
02:33:13 [WARNING] 0x38e8c667f52a9ee7550dd765f31bad87446908641916355c08469ecff3057064transfer(_to,_value)
02:33:13 [WARNING] 0x0a9e6de482e1409114977cb29eaea542934f0a346759aed5ccd387e6b7ba35ectransfer(_to,_value)
02:33:13 [WARNING] 0x45a9243dccb453a14c649d44754603fd0c8a4938a62d6dbaad72ab9be553fdf9transfer(_to,_value)
02:33:13 [WARNING] 0x9d18eca79f2fd20a7ef48a135ce7abc0b89ec098f3a5f8fee07f90e9353c779ctransfer(_to,_value)
02:33:14 [WARNING] 0x0d4d1b63547a33857f2b5739cb43553a03ee459c6023a686ba0a37dbed25dc44transfer(_to,_value)
02:33:14 [WARNING] 0x4e8a580bdae58e4f7f962334df63d12c219443d268ff18bbf2c39b2abf67c846transfer(_to,_value)
02:33:14 [WARNING] 0x74742550584b19aa04168c6993864677aeb36e283055817e6978d428e6c27417transfer(_to,_value)
02:33:14 [WARNING] 0xabfd1e82c4fab9a377538a3dd03a8cb9fc5993a8adcf939f871f19716d120a94transfer(_to,_value)
02:33:14 [WARNING] 0xac37affe78ccf4c47af02a48428096655fe6a44b394e35c56fa1cfc6a29c9d38transfer(_to,_value)
02:33:14 [WARNING] 0x90a7b7a3ca9db65bab7e8cf6ec5fd1e28a76716d3bc50bb49146d491f497acd3transfer(_to,_value)
02:33:14 [WARNING] 0x42b5d63de5b6c7b28ccd0e7ae7ad907be7ba99be8a25b9eec1df87b58db6c99etransfer(_to,_value)
02:33:14 [WARNING] 0x7ba6d55b1d5e342753a848dda8393942ca0e92c134a94ee48e03ea66d2995652transfer(_to,_value)
02:33:14 [WARNING] 0x9372f605285d96a2cb21d703bb5f9dbc5bba2bb8b6a15ddee5b4c5cd76ac8a26transfer(_to,_value)
02:33:14 [WARNING] 0xbb746ea0cfa9b0193efd829437fb9abf17a2b1a457866720e4036bae7a33a341transfer(_to,_value)
02:33:14 [WARNING] 0x358844f31a1e47db158280d79e4c22847556ec6b5c1280033f9a6a10dc6bdf90transfer(_to,_value)
02:33:14 [WARNING] 0xd35ac1312e6809256833c1f41f3bf437b29072d7d20256a6513fc254b8711641transfer(_to,_value)
02:33:14 [WARNING] 0x5579cc95cde26c79d50aed9ba2b126ba923ef5691ad106360b30021a21ecb537transfer(_to,_value)
02:33:14 [WARNING] 0x8355083e5ee7a840643ad55982b0e8e6a79c7fd325dc7db66782c2b73fb5615etransfer(_to,_value)
02:33:14 [WARNING] 0xa70bc035ada4b89d6830b3e88f0c45b3a961d66ca6b9ba569a90269d68322e89transfer(_to,_value)
02:33:14 [WARNING] 0x5f607c37a3091132f8303f1ed172d84553d0da778d1991a57e5ab4b90d7d9273transfer(_to,_value)
02:33:14 [WARNING] 0x95ac0349585c60f990e72cee00922804af99059f6641c24f269a80f9793c45aetransfer(_to,_value)
02:33:14 [WARNING] 0x103939ec605f2540baaeb9ae2e22ddaf9d6b8aa1206b5f630f035e4b8ae5a31ctransfer(_to,_value)
02:33:14 [WARNING] 0x86b7238d3b10fda0fe79a355a7a395ad9c54fb589926d2fee5000cecfc35137etransfer(_to,_value)
02:33:14 [WARNING] 0x33858cfdb47c49d5ee97910117a00864fd8d3dad1183d1d96aa023f9f9b02f1etransfer(_to,_value)
02:33:14 [WARNING] 0x7057cff29121a3235a4c8caefaa1ca68ea1c1f8fed2b97b9d55fc77d9079997etransfer(_to,_value)
02:33:14 [WARNING] 0x7bca9b11585dbc0cc4d6fdace70ad78f547266d3d72adf00be33b7ad4e4b7d2ctransfer(_to,_value)
02:33:14 [WARNING] 0xceb50d4b5a48c850f1d885f80017eda121017f629f9abcddae48788d45b57c79transfer(_to,_value)
02:33:14 [WARNING] 0x49a6160cb473401c78db7a674f728270260229dce8e8eeaa3a0476a23b7a51e1transfer(_to,_value)
02:33:14 [WARNING] 0x677717bfe36c5b6240924428b6318cbcc7cab8d936a4997c800494443c1e3b37transfer(_to,_value)
02:33:14 [WARNING] 0x3514346e115a1ec6f2cd75de426e8816fc54e858b3c714e0034ebd0bee1510e0transfer(_to,_value)
02:33:14 [WARNING] 0x52ac3769026fb20b132a09b02ae6d0aeacb8d0b6c7ac9d87e6fa76784fc347fftransfer(_to,_value)
02:33:14 [WARNING] 0xa55176ece251ec58390a4294654b1b223926760e46593ec1cae362bd8bb744b7transfer(_to,_value)
02:33:14 [WARNING] 0x81bc75a9d71943d29df4930a883fe8d43803bc48b37ce2a488ebc9ec98229d5ftransfer(_to,_value)
02:33:14 [WARNING] 0xc3d91037310b3b0704a934c8cb9f63fdcbe5c6c41e09f4a3024fa2be1f8cde97transfer(_to,_value)
02:33:14 [WARNING] 0x5843ac7f508f5e7b1fd91cdf3525b7b364462534736396077e82c7245d9bb2f0transfer(_to,_value)
02:33:14 [WARNING] 0x308f73b8bd2d19759d91a43aa526bf0feebc64345e23ad5338b2d05f570f1438transfer(_to,_value)
02:33:14 [WARNING] 0x754eb1375316df8504f033daaa84b98125534e1dfec4ea7e052fd798b23500dbtransfer(_to,_value)
02:33:14 [WARNING] 0xa82ec3101f2ef99e98d507efbdb1151a3197c893cfe737426392438dd39fe747transfer(_to,_value)
02:33:14 [WARNING] 0xdd13996d7cbbc62550bdb608807111f9ddb52cd2b67dcf6f12b9da01355c13e0transfer(_to,_value)
02:33:14 [WARNING] 0x91d172a961d6ea9956a5938a79317250f8410791a07831493cfa9f831f346b48transfer(_to,_value)
02:33:14 [WARNING] 0xd033cb841ccf2c5cb7a1451042109810090f08a724e835b2ffb687a58c6103cctransfer(_to,_value)
02:33:14 [WARNING] 0x918c36bc582ec87951bb3b68603748750b19a28a77d5e0420c94a8247963bf39transfer(_to,_value)
02:33:14 [WARNING] 0xb7467216d425044bb58c1ed7ffbfbacab6bff366fce125b1c7be122915416b66transfer(_to,_value)
02:33:14 [WARNING] 0x6aeb448a67262c56a89b3cc24402dbb52fa29828ac9a543296f61c24397a1a5ctransfer(_to,_value)
02:33:14 [WARNING] 0x95b73163b1bfc6abf8be55f16b130d3c16c1b926852839762e30ff6989039e8btransfer(_to,_value)
02:33:14 [WARNING] 0x015b63ea20cefb89cfb8f44bdcfe9478aa07b329b481615bee4df02da83f0ba1transfer(_to,_value)
02:33:14 [WARNING] 0x78912767fdd95db5d2c8282dd78e5332e42ec58dc5faf95ae0d55bf4ba31fd7ctransfer(_to,_value)
02:33:14 [WARNING] 0x18f49e7ada37f06297a2fa3c972a9733f584d91b154f962ab7cab51fed74fe83transfer(_to,_value)
02:33:14 [WARNING] 0x797984a9efdbcddf6dda6f059afff0a762451b969f2e1c6eca0f4c5faad7d96ctransfer(_to,_value)
02:33:14 [WARNING] 0xb8a692fb1feae53b696ff0c3292aa2784f5d33499ec8c9b9ba9b0d7fd5c58a3ftransfer(_to,_value)
02:33:14 [WARNING] 0x8749823ea544a181a8f36f3d09284c249ac85c78a2c8fd752a0789eb612d4593transfer(_to,_value)
02:33:14 [WARNING] 0xf9eb85cb82bc188469b02321da19a577477e216ae65d3fcc6a4ff97ee43b0c19transfer(_to,_value)
02:33:14 [WARNING] 0x197e7bfd9a0784663f301735e3bffcc1f9ad6ea874e70fed0e59468369df5a82transfer(_to,_value)
02:33:14 [WARNING] 0x428ce4183d3d1066d67fbfc1a1c766b835499c2c56b30a2ac5cc1e20c1b33d26transfer(_to,_value)
02:33:14 [WARNING] 0x82d4b59c9ffb6c89616a5446eb6f0c26c8ab52a2d346e8a698d4c4946a0d1588transfer(_to,_value)
02:33:14 [WARNING] 0x0846d8d1a897f6e892eefb969dae12769d810f1cb85d99789a76736805b55c2ftransfer(_to,_value)
02:33:14 [WARNING] 0xd3a9e2f8ac35f98d6839f2c84bd415121663afb68db47b445b14bab7997f3488transfer(_to,_value)
02:33:14 [WARNING] 0x361fca919f09868379f180d1d006ff5545f78d9bdcb89e3bc55aa1bac5f912eatransfer(_to,_value)
02:33:14 [WARNING] 0x3257ad7145811c49c112a6d8c61d38aca793c00adf13122b61f76c257c2acb74transfer(_to,_value)
02:33:14 [WARNING] 0x0db2fae2c7b0380a0fca28b0682a90d78dac134354e08a42fc1abdd605fe60fatransfer(_to,_value)
02:33:14 [WARNING] 0x0387226589d32b0bb598c70a6cfb7b604f341d6e6926d447a75102a4865d0399transfer(_to,_value)
02:33:14 [WARNING] 0x03a02525420c4c18e9356a0c2e1f14b2b468424d8b2c65768bf10b20cf3adee4transfer(_to,_value)
02:33:14 [WARNING] 0x43b2dba9a96ecc8a17389d0989579ee91e44b8a911c1a49d0db065661c593d4ftransfer(_to,_value)
02:33:14 [WARNING] 0x4c7fd22433a3ab8eea585b90743f5a8b2041d07b9c1abb7cc8537992cb38243atransfer(_to,_value)
02:33:14 [WARNING] 0x318730052c2d5d1a27ef3ba391c97f45f16bf1eccab3bb258239b5a170f08de3transfer(_to,_value)
02:33:14 [WARNING] 0xfc4d7fe4ce7dbc71b8a12d95198395bcf2d917627383641ef8ac04fff0b23584transfer(_to,_value)
02:33:14 [WARNING] 0x9eacbac27e6cbca3a8556a687cc2c8a30c173e4cb590c415714b30ebc847251btransfer(_to,_value)
02:33:14 [WARNING] 0x4d89f6c4a6c26bcfae55c847c5a2c38061667b180872426cb0913a66483c0efbtransfer(_to,_value)
02:33:14 [WARNING] 0x82bc60aa11d03304ff3c54ef81c7a950db38733b421eedfa42005d774907e821transfer(_to,_value)
02:33:14 [WARNING] 0x645d6ed56d95d8a6eb8c6c2f78414340240c3171f99b55bd74cfcc304b977449transfer(_to,_value)
02:33:14 [WARNING] 0x1dd9617a30547353fd31b5cc284057d1e5568f111f7fb71eae3c10b04fead48dtransfer(_to,_value)
02:33:14 [WARNING] 0xed1f9cf54767e350db599ea7fcfd0352fae11c88f80f6e96e0b76c409c94b549transfer(_to,_value)
02:33:15 [WARNING] 0xfd2db38950d26303944d980eb1ffde5715126a995e064eca5882ec5c7a219f75transfer(_to,_value)
02:33:15 [WARNING] 0x5a590def77e7ea872c6c16cdc5514fd803c2a70d9beeb1cef309f5f3c1d81d8atransfer(_to,_value)
02:33:15 [WARNING] 0x25a76384dc5677d5d0a2d03e06b835902202b0e3866d1fde505553954d96688atransfer(_to,_value)
02:33:15 [WARNING] 0x8babfe1eb02207952e9c21acd168dd9a58979fcaba6bd0ab559ec6d4758967c6transfer(_to,_value)
02:33:15 [WARNING] 0xa624b988999da23596b9f3e987500b35dc56b13947b693724f9b6e40502d5bb8transfer(_to,_value)
02:33:15 [WARNING] 0x9b00e18c0eccaadd677119682808f42b4fa68e40cb5cb3ca563dff5fa03b1feftransfer(_to,_value)
02:33:15 [WARNING] 0x1feacb3763ff20085ef630be1e04b93b465a064809bc1003d0667622d6ccbde6transfer(_to,_value)
02:33:15 [WARNING] 0x8ee2cbc1d9cefa3d7242d35f7bf119cd55774809ae00370cff80535779a1b004transfer(_to,_value)
02:33:15 [WARNING] 0x6ea4094916fce5daf2d77573f5032655f289e565709c10b36ead0be70fb1f7b8transfer(_to,_value)
02:33:15 [WARNING] 0xbce9851ecab8ebde5d80aa36da81ee9ddbac72eb67c5ee9c97e701c93e57506btransfer(_to,_value)
02:33:15 [WARNING] 0xd3cf4dd69174ae0138a6f5d3a172da210a1e1b76f1ad9cc2eaf6b54d1f9cfa5btransfer(_to,_value)
02:33:15 [WARNING] 0xc4d0caeb07375af96830fcc60eaa4fda9a6536ebb0c33b7d5a9584ddc3a7f248transfer(_to,_value)
02:33:15 [WARNING] 0x73dab0664ac3626a71244b5318501105f4e74d246f34f70bd66b9b0d0bb186b4transfer(_to,_value)
02:33:15 [WARNING] 0xb7755c9d17dbf95086c94d56bc8201f7e7a75da8b2a0aab28c37315155fb0919transfer(_to,_value)
02:33:15 [WARNING] 0xe7c490415537764271f5cd7992e666947f526d9125af3de51fdfe058cbe92588transfer(_to,_value)
02:33:15 [WARNING] 0xaababae983e95a0126e2024b117b80a7028b00cb7baff1efbea939f1d59fa519transfer(_to,_value)
02:33:15 [WARNING] 0xf7cd0e5871dced4218800fc9f54df5347e01e50db44ad5423d3255ed960c53ddtransfer(_to,_value)
02:33:15 [WARNING] 0x4d902d539a8cfa4266e91a2db3e070412265c81120b43e9ed9162c9fcfe6e2f9transfer(_to,_value)
02:33:15 [WARNING] 0xdcaba74eb4fb6778729b68c81e74629667c3a64c3ab1ec8e12b56d4cbfe7cdebtransfer(_to,_value)
02:33:15 [WARNING] 0xc39a72e05a016d5eb12c8c575d6973dbc13ed31342914bf8180182d8df5c375btransfer(_to,_value)
02:33:15 [WARNING] 0x63e09f5d2785def4c2d5206870c2f83946cc82344162738594ebb2b520e1a036transfer(_to,_value)
02:33:15 [WARNING] 0xe418b76f659ea3cce45a6773866ef0516412192bf8b5103eae70ae716936aed4transfer(_to,_value)
02:33:15 [WARNING] 0x4b91c2666a404408ffd6bed462fcc959ecc2ad52add364955c6e5f55d8ec3f3etransfer(_to,_value)
02:33:15 [WARNING] 0x3c3f10929714c38e8ec34331832863d799c732740ab9fcf8cd0264f4a1a33bf3transfer(_to,_value)
02:33:15 [WARNING] 0x8811aac5144d6da5ba98a076f7787f6f03377136b54ca0ff60b9af6b245ed90btransfer(_to,_value)
02:33:15 [WARNING] 0x44a336d4fbef3384561dd75b32924ed5cb6a989c8a94bf89f791c4b0f2423ff5transfer(_to,_value)
02:33:15 [WARNING] 0xf5491f85acb3a9e6e83286c62195707209c0e620fabd62ccdac9144123c88f4etransfer(_to,_value)
02:33:15 [WARNING] 0x5bbf38a737b23a6b04afa83934977e87ac29aba70bcdf785d56f19c38ec821ddtransfer(_to,_value)
02:33:15 [WARNING] 0x06fb22ecd74833b532c74b251ed2174657ed13c0c11e96e0d3f13ed10ee35a00transfer(_to,_value)
02:33:15 [WARNING] 0xbd11761ff738183e8376617ea9db0424e3e1c14ae5d497c116d133c4902d470ftransfer(_to,_value)
02:33:15 [WARNING] 0x547f851b82814ce164f074d9195ef6cafb53f9de76d8b46783c43ea852554fe7transfer(_to,_value)
02:33:15 [WARNING] 0x62116b225789f9534b0949e73ed528a3790c5b2b9f945820c2d1804c3a2b071etransfer(_to,_value)
02:33:15 [WARNING] 0xab31aebd26f222237de90e734e77fab3627315ee59abf5dc5d133dc2f7b3e05etransfer(_to,_value)
02:33:15 [WARNING] 0xba8105e8869a220bc1087d5122e3efdfa8e39232b0f908069943a912749b2ce3transfer(_to,_value)
02:33:15 [WARNING] 0x334b328a5c4436c7d627635fc7a1db68f1da21b13ee7807771d422ce8ef10ea8transfer(_to,_value)
02:33:15 [WARNING] 0x0aa36a0cc969fae1c1364b175dabbaa3f95b7219fbc6d5bc7d9aef424cb5e5cetransfer(_to,_value)
02:33:15 [WARNING] 0x5be8e1404db8facf8bbd57ab0100373207e85ec68f080d2f6e634ac80f770a47transfer(_to,_value)
02:33:15 [WARNING] 0x9f2bb781df16c813e601b8e7891984cca69a763783faa62a321cebb375105d48transfer(_to,_value)
02:33:15 [WARNING] 0x7c3e7fd4eda71e81adc904db28ae3892a28b648813f0e40df07d1df8d12a579dtransfer(_to,_value)
02:33:15 [WARNING] 0x917524686bfabc549a0269007d7a23c5460a5021f5403b757d72632c515be4abtransfer(_to,_value)
02:33:15 [WARNING] 0xbeea3a3892562bbc997f877d906a3831814c1a3fcc0744deeaa28303795d8bb5transfer(_to,_value)
02:33:15 [WARNING] 0x8eca27bf8e065a800f4195149037def32a92708eae2ca0f102382fbefd905b3ftransfer(_to,_value)
02:33:15 [WARNING] 0xc25f2b13679337a2142951b66ee28ece19e7ae3253df1a4f4516693e2b3ec9d6transfer(_to,_value)
02:33:15 [WARNING] 0x13951a8c2485cfdfce60b5b72c6875e1ee2199e8b8752785a99a1b60077b859ctransfer(_to,_value)
02:33:15 [WARNING] 0xe0bec90c7f744b77b0ee5d839b3c22f62739b5b729d7c7b02ee556b2d389306ftransfer(_to,_value)
02:33:15 [WARNING] 0xbca642b332e42e512832f660974222d64dbdd071a433068edd62dff7f616ff08transfer(_to,_value)
02:33:15 [WARNING] 0x32dc626e058a8306c52661ffdef7b41cb896501cb6aaf0bf195199912069e354transfer(_to,_value)
02:33:15 [WARNING] 0x633ac056b565fc078511443a16827c61d4a3717d84fad7f52e9a0d68d168433atransfer(_to,_value)
02:33:15 [WARNING] 0xaea29ee3acb06ef48bbd417cd5fb47024f97cf21adb069624260bf1681c35491transfer(_to,_value)
02:33:15 [WARNING] 0xf0f80dd3d0282c5ab79a9601675c12a394ed2fcbe1e54a9b4256f70a5f49a4a0transfer(_to,_value)
02:33:15 [WARNING] 0x297a4daa456738e830a9ac5a7f1e55ae79212889c8cb6f35ee120e62c3c558f1transfer(_to,_value)
02:33:15 [WARNING] 0xdbee0e31b80731e6377623ddfe57fc2e2f755cee4e66a59408cb0af38ef62b63transfer(_to,_value)
02:33:15 [WARNING] 0x6b0e9e0caa576ee4bb49db400ac2462d85862c3be890e86531a29eeae86b6baftransfer(_to,_value)
02:33:15 [WARNING] 0x32f79a71c8a0a92222f7576384cf97c5c1bbcc3770bbc03137409683a281c57ftransfer(_to,_value)
02:33:15 [WARNING] 0xf18661efb8d3108f2896cde9439b75aecddf6159a895cdfb71e4ec8acb86e699transfer(_to,_value)
02:33:15 [WARNING] 0xe2e7858a29afcb585b2f384748489df71128ccb800ac379dc38227d367375c4ctransfer(_to,_value)
02:33:15 [WARNING] 0x22d1cec192bef0bccdbedbc3eaa153134cff8ae7ae67f0d1baa3d38ac49ba022transfer(_to,_value)
02:33:15 [WARNING] 0x3ab4dff33785cc5aed6ad404e2e54a9660191bd5819443c770cafca97f5956detransfer(_to,_value)
02:33:15 [WARNING] 0xb1a03083c5fc9220c8c34ceeac70ae52b5f14c06fc28f4fc84ceba90c24766b2transfer(_to,_value)
02:33:15 [WARNING] 0x406e24a035ceeecf4e7cd1cc5efd109d19d333203c48c2b229659aaed863b8b0transfer(_to,_value)
02:33:15 [WARNING] 0xd4e63eefc5776cd3c1ab1e95a4bbf1d58abc65221c31c7f02f5bc2152d6db266transfer(_to,_value)
02:33:15 [WARNING] 0xd3d35cb8e84df5d8524e35c27d483794515a1c8f3f47c0e3e002620cf169348btransfer(_to,_value)
02:33:15 [WARNING] 0x085c2bdecaed23ba793f72b171a4a8927bec84cf639af3d6ddbf064934738a35transfer(_to,_value)
02:33:15 [WARNING] 0xd2d89bdb2c7834cc37b7158dbd459234c0b6bdf1afdd18b087052c55fba3cea1transfer(_to,_value)
02:33:15 [WARNING] 0x42c6a839654b851f257b5d57a87eeefc22792fa40688f7c99096ff5abd04620atransfer(_to,_value)
02:33:15 [WARNING] 0x1a089add6566ea5d84763c30caa0d87e252b55580e5db0aad2395575acebc6fftransfer(_to,_value)
02:33:15 [WARNING] 0x173ad6b9813e34a9162890994eaf9701013f90e9dd73e2a8aca31e285dd9222btransfer(_to,_value)
02:33:15 [WARNING] 0x5bddcc777a6f7567f3a40b15cfedfce61123631dc252a993a8659559ee12d00etransfer(_to,_value)
02:33:16 [WARNING] 0x6cec91f02f908b7418ec164ca4a62384947485f93dc3a23e7cfbccee3bbabb60transfer(_to,_value)
02:33:16 [WARNING] 0x60c7a2be67e7d7ccea30e21b8820da4149b77a6a4e1b18178322d545a6f4b500transfer(_to,_value)
02:33:16 [WARNING] 0xf4f54ea9e655b4cb0a8515a4ba1907f12f8683bc441b91bbf5802cf68f895612transfer(_to,_value)
02:33:16 [WARNING] 0x11325b795b8ea349ff6a7d3bd376ec9c3f1c20a4698a3cf5dbfdd4dad2cacbd0transfer(_to,_value)
02:33:16 [WARNING] 0xcd0a330bbc92b9c7dc6977c6f61b777eff8c0bddbc994ece53efc28e11dff683transfer(_to,_value)
02:33:16 [WARNING] 0x9f27f45c5d5c29f5ae82c752597e874d78ac8831af3fb6b8ee40a20324c3b288transfer(_to,_value)
02:33:16 [WARNING] 0xaae0842fab6ba5918c5160cb69e5ce435d9a233d35b9b08f00361a280ea18673transfer(_to,_value)
02:33:16 [WARNING] 0x2d8016b8dde2adc0e647448ea5a7837510ec89c37988e7053466fece02bd7397transfer(_to,_value)
02:33:16 [WARNING] 0x80a0a876c63ae978ff54573fc1c16bf263e6461ee313ef04e4406b4b7c6c2d37transfer(_to,_value)
02:33:16 [WARNING] 0xed63bae68a1ebf84ede01de2b8624d1323c20e3ff04c348f5c66cc88c78be794transfer(_to,_value)
02:33:16 [WARNING] 0xd33b57452ac2b248b03a1c893e4e49d357b1d5d3ff2cb5cfd60f1f400c83b6d4transfer(_to,_value)
02:33:16 [WARNING] 0x791d52f659e4082c8e819b33fd7cee454a7c0b91146e8ea7b5cee1dbd98dc976transfer(_to,_value)
02:33:16 [WARNING] 0x1f138f348387e7a15679a20e2804acdf74da0bf0aa69b5aa84dec2b9a682853atransfer(_to,_value)
02:33:16 [WARNING] 0xac70fdabf963800c6845dbf6d72a724db07b1df62c77ab3fb63ff8a20b320624transfer(_to,_value)
02:33:16 [WARNING] 0xd505ed588a5336f2f08f3d527a6fb8111471be0a3b07cef25e4526f5815158e4transfer(_to,_value)
02:33:16 [WARNING] 0x35b028cbf61301a884894bc99d5db7cc849aacb1331f0342f7fe668ceffcec4ftransfer(_to,_value)
02:33:16 [WARNING] 0x0d20e074ac0d24018e9b07000dd4bdb7831a6bfd179ad9f71d3a497914d70bd7transfer(_to,_value)
02:33:16 [WARNING] 0xdf3098c1655411ee6d4a8b1fee0ff125d40c664b8b9104b88931d63234ba0958transfer(_to,_value)
02:33:16 [WARNING] 0x752af80b38871d0a0307d84a5e00caa1901777b6e97838c538a360ff4412e7e9transfer(_to,_value)
02:33:16 [WARNING] 0xa5f35427859c27d44856c88de56ca4c617188782d110bcf63515b05d61d02d19transfer(_to,_value)
02:33:16 [WARNING] 0x45b4f111a65f9617dd2a8090b0ce6db859b39624b2f11046e6ee48713c267859transfer(_to,_value)
02:33:16 [WARNING] 0x4e72ea474e57c646dca0f3d4b4ae887a3a3675ad8c1acfb7658bcba3405279f2transfer(_to,_value)
02:33:16 [WARNING] 0xfd08564d2be6b8c33da76c81bcca1d91fda33bc88433917e60ca1cd8e351b531transfer(_to,_value)
02:33:16 [WARNING] 0x1eb957a8563a07bc6b13bbae9245f3afd4e7b6c38dd6bdf9ee24e82d99d87e66transfer(_to,_value)
02:33:16 [WARNING] 0x5dba7f84852a5d3c7e0c8c5cabfa4630dd817f947649319cf34868b69e22fc26transfer(_to,_value)
02:33:16 [WARNING] 0x6bfa122d0865a1765aba85233df37cf7901c76a37e6646272c42525121e51ec2transfer(_to,_value)
02:33:16 [WARNING] 0x0db6d4942b62e59204aba06503a96814214d001be14d0e34fd296d2d842111a1transfer(_to,_value)
02:33:16 [WARNING] 0xf26a94ec76316da4184423e421bb0b3e025338adc07dff04029d3ecd4fafdb75transfer(_to,_value)
02:33:16 [WARNING] 0x04940511176d13d3d59271721f110b3d4c625982463bdc910635be072fcfaf2dtransfer(_to,_value)
02:33:16 [WARNING] 0x8e84bd29c0cd5161e19c96016e4ec7a892f5150eb74cb4391832e64b4647a701transfer(_to,_value)
02:33:16 [WARNING] 0xbfc42f7e3e59b1678665ba7693cbea6f9024ad93f09f6fa4edc8bd9fb3fd2973transfer(_to,_value)
02:33:16 [WARNING] 0xe977ba0a87277307cd331b92e5dba805baf707c674f1a0c5d3b64338ab2c0e0ctransfer(_to,_value)
02:33:16 [WARNING] 0x2b88ee8994094bfd0986e17f92d9d5a99773c42de1cc23306f4e9ecb56645e2etransfer(_to,_value)
02:33:16 [WARNING] 0x0a88ebad2eded08f80c1271e317c59c6dd1eaac76a5f1231f7609097ecb9ca2ftransfer(_to,_value)
02:33:16 [WARNING] 0x8d4e73f1ce99c2822b47677d70691e23a84662746cd06c51250ded3acf4ab7adtransfer(_to,_value)
02:33:16 [WARNING] 0xa6d97ad91bdaea668cd13e8c5b92a6296b987c9b6598f428bcdbb6e2eaf12b7atransfer(_to,_value)
02:33:16 [WARNING] 0xa81a22e1360d72f6d3eb940d933037e0639364d767552a6d3ae40d3916ebcb90transfer(_to,_value)
02:33:16 [WARNING] 0xf194d8fc5ab30d9258df89aff7a985e298f5c5720b562013a8e7538d7dc32f36transfer(_to,_value)
02:33:16 [WARNING] 0xb77f4053066c2d87ac12119835f65af6c230d20300ed61d789e0a72a0df4eecatransfer(_to,_value)
02:33:16 [WARNING] 0xf910373048f8cff5a73c988a9f1fb9d371ae826964e3e2854837310cf8c8df1ftransfer(_to,_value)
02:33:16 [WARNING] 0x118a28f54a25e65c138a0152025e37f551c5804fe5ac41b7a0a46d993ba611eatransfer(_to,_value)
02:33:16 [WARNING] 0xb4ce97b186273df78b089a2289b1dc1cf1d90441039be86517b2a0423a551164transfer(_to,_value)
02:33:16 [WARNING] 0x2a71402383648de2c986ce366f439fb7d1499aabdf0f78c073bcb2d66a4aaae5transfer(_to,_value)
02:33:16 [WARNING] 0x484d345aa5824e3bf97b0edb01197dbc41c7f2e95b7dbf7f173fda5d819d67b2transfer(_to,_value)
02:33:16 [WARNING] 0x41cd684f4d007f7f2aaabe92298ce6deee6b396d7047d4b8d3d00ddf86e469f9transfer(_to,_value)
02:33:16 [WARNING] 0x1447daf9c6ee2d38f2ae11ea9e54e1d92afc2c71d5c7af1f3755d877ec1d6c36transfer(_to,_value)
02:33:16 [WARNING] 0xe0449d132a0432aa5dbdef261bc17745770dca17582586467d5c4a472116dbfetransfer(_to,_value)
02:33:16 [WARNING] 0x6d8db30b635c65a3e96e4062b72e13dad7af17c191756a071364de6413d59356transfer(_to,_value)
02:33:16 [WARNING] 0xa869603246212a245fc605158f338d8059259f4a68a345803c974e08054573b6transfer(_to,_value)
02:33:16 [WARNING] 0xb7cc731d974db9eb342ffae71c397878294b3c7a53b4e683c61ab965abdeccf9transfer(_to,_value)
02:33:16 [WARNING] 0x69f4bfbe10fa4638c8595882f91ae81301e7f2b8cc60b3f85c61a5f37b2c2b70transfer(_to,_value)
02:33:16 [WARNING] 0x6505ac4de3db06d320a914b2bf38776db9090c194fbc8106ada779948fe8bbb3transfer(_to,_value)
02:33:16 [WARNING] 0x53541cb5afb667a81b43328c6d64c815b03370b764ef5287b389fe55a871e2d8transfer(_to,_value)
02:33:16 [WARNING] 0xd7cc162876e0a5e05c56d23701b3a849a29c597bfebfd1085aa44d03a701687ctransfer(_to,_value)
02:33:16 [WARNING] 0x15adfc35a3bf3b9833e41a99f1e24ffb526948b900c3a71dc454ed9610202dcatransfer(_to,_value)
02:33:16 [WARNING] 0x3b34767cd9aafef00dc4b0f6f7940cfeccedc67da97a2ce34bc537aefac23b6etransfer(_to,_value)
02:33:16 [WARNING] 0x3d1613f6242577b7a9e4ad7281c56b9bdff17e9526a20ab17c0cb818435af9b2transfer(_to,_value)
02:33:16 [WARNING] 0x1ac183a649cd57e8259982c2ec07381afccafabb0f8194482384541c592b42catransfer(_to,_value)
02:33:16 [WARNING] 0xe45c086ea9dcb2af0d1b329e52b5ecc4d9828e64b8cf4989125ec3b6b455bef7transfer(_to,_value)
02:33:16 [WARNING] 0xaaefa1f5203d50bdb3ea9b1a54585a17934ba94778be5d770ae6bc68dd631a79transfer(_to,_value)
02:33:16 [WARNING] 0x610ebec11efefa675e41f597c0adfa30133dd23ec7af18777154a7de914c659atransfer(_to,_value)
02:33:17 [WARNING] 0x59487e2e27af4a27b94dfc18f2358259d37d52db7020c85ae29889f1e3edf234transfer(_to,_value)
02:33:17 [WARNING] 0xf39ca1ec7cea153689871ee0ea12666066d7cc1eb9d8e7c0925fe66354c5ee49transfer(_to,_value)
02:33:17 [WARNING] 0x0224166d7e92cfd49de04dadc5d7f44870fd86216fcd0b8bac3d13022e43de93transfer(_to,_value)
02:33:17 [WARNING] 0xdf9fcd6dfad0ada68161b20d332e2e22d0e58b5b00a621d684389f2f8ad98636transfer(_to,_value)
02:33:17 [WARNING] 0x0f50aa041474f6db4c46f4deee2e3ce21e9e4f5f704b504a89ec9649b33be416transfer(_to,_value)
02:33:17 [WARNING] 0x043279eaf0b977ac00da3428b31744a042ca3bcedad871c3f8d0fc41e1ed1359transfer(_to,_value)
02:33:17 [WARNING] 0x40fe28b03b9f981beecb55ad48408445b35a08e229f9a253d2d1acb69ae8b864transfer(_to,_value)
02:33:17 [WARNING] 0x8f32c6090f4ad3c8aa5bcdf4e5d54158264da33b0f338161c4011d07ddf46ff7transfer(_to,_value)
02:33:17 [WARNING] 0x9df858056baaa1608319354ff541280ff8dbda150d96beb5982c43b83583ef3ctransfer(_to,_value)
02:33:17 [WARNING] 0xba757959989e37bf20b88ae597aec7d84c225e462680e4de1f4e9bcd1456fcf2transfer(_to,_value)
02:33:17 [WARNING] 0x76228477acc3b04f44afc8d43c92504c17ed8d18bd0330a34a2cebc05142b68etransfer(_to,_value)
02:33:17 [WARNING] 0x45ebd2cdc161be3171f9a8a76dfc32610c0290e2a98f4603a96fd1eb909890e2transfer(_to,_value)
02:33:17 [WARNING] 0xfe75a7701f2fe006468ef96377d096c0deddabd9d70f03ac73e48e03821fba5ctransfer(_to,_value)
02:33:17 [WARNING] 0x7bbdddbd8e86443275ea164aec92ca3a258bb6c1b6fb49ec8a37942b85875d00transfer(_to,_value)
02:33:17 [WARNING] 0xd169a80697e95a3ab040d6c1d5462ab4f1b1f7f86ae4ee3269139347797f3cb8transfer(_to,_value)
02:33:17 [WARNING] 0x974e0c61e26891335957b3a7a58cd28db369b4e8d6febeca84fb012001e27f46transfer(_to,_value)
02:33:17 [WARNING] 0x70db8689da71e57d28bf4cd1a761b168a2c75e907067fddcbd7ea36e549a4156transfer(_to,_value)
02:33:17 [WARNING] 0x8a3db47c0321a922aaea73de7297ffc7296b958a5db99366cd69e2da0e4b7507transfer(_to,_value)
02:33:17 [WARNING] 0x1c0641c40afdebc5d2fab4905e6abe76ea0de3867ee56a0c93d45b6ea41ecc0etransfer(_to,_value)
02:33:17 [WARNING] 0xe811304f9b5ac1098ae0712dd5e0ffacaedadb542ea062e96caa9e0f40ce223dtransfer(_to,_value)
02:33:17 [WARNING] 0x2e8d9f27ad6e34816cf39698d5e166dcb424c2c70a71093969df8276e44c90f3transfer(_to,_value)
02:33:17 [WARNING] 0xafa53e39a5c14d4221d1715daef1aca9a090d425e76d005cd94dfe716c22a1b0transfer(_to,_value)
02:33:17 [WARNING] 0xbdb9e726076264f82af9de28a0dbc71af43c9f034eed15f01a91661ae433221etransfer(_to,_value)
02:33:17 [WARNING] 0x070136050a1255322d8b7e017ccbecbc7a9d09e28fe41569a6a18056699780eftransfer(_to,_value)
02:33:17 [WARNING] 0x3d3deaa55f7bf3f35099d1dc6008958532aebe4fd23484f807227da448bebdf3transfer(_to,_value)
02:33:17 [WARNING] 0x5c76cc62bf18c9197ee5236c604596df518c0be3101f1bff05e1dece4d6d8759transfer(_to,_value)
02:33:17 [WARNING] 0x089f1313fc017cc82d481a94853e981e8b64f69c2e35d1a6228004f386eda638transfer(_to,_value)
02:33:17 [WARNING] 0x7cd22dd16b23e027ad5d940581b84b92d090e924e00b4d7e735db08322aa31detransfer(_to,_value)
02:33:17 [WARNING] 0xbb5d6a3c3e551402135fb06d2a1af9daaebcde7617b7e11c7d304a638b08e823transfer(_to,_value)
02:33:17 [WARNING] 0x484281969e02b753b4f38eecdbc4b668b6f008d9ee906440d0020d147ecb9e9dtransfer(_to,_value)
02:33:17 [WARNING] 0x31acbcf1b0c5b0ca034ec1e03c2a032b69f3df86042cf198bde808f3075ba4eetransfer(_to,_value)
02:33:17 [WARNING] 0x4b6fd5b359fb4d0c1edd00fb2c17288a6ef6c2959272388e12f939a766da8094transfer(_to,_value)
02:33:17 [WARNING] 0x4477176933a12bb774fc3d31e0adeffb37d0dcaa61ec232c82b99eae9a84224dtransfer(_to,_value)
02:33:17 [WARNING] 0x9a6ad9a5ae03663674e148d7091b014ea256afab0fb15ca9dc95fee4c6d467c9transfer(_to,_value)
02:33:17 [WARNING] 0x2f2eb316f55471b8d3441b7258ea0c3a6d048ec0307372d388fb370d71a004cdtransfer(_to,_value)
02:33:17 [WARNING] 0x0be4b1761c49d2f8c800920ff522019e64f2153539a435ef445db69978f2860ctransfer(_to,_value)
02:33:17 [WARNING] 0x45e678c2409f4ac636be9a6a1123425ad75b6184c29d543e1e26a54ad5d01095transfer(_to,_value)
02:33:17 [WARNING] 0x67a59328617aaf569c27444de5b5b9572544864feafbbd88e8e3b24748658e89transfer(_to,_value)
02:33:17 [WARNING] 0x85bc0d60c04cc1d5789393ef8079fdfed7bd596be49697a9d55e8a1796bf5671transfer(_to,_value)
02:33:17 [WARNING] 0x84f5d87a4553cd2c257e2d895359b7427aaa90d2e1fd5839e859c7149d049f4atransfer(_to,_value)
02:33:17 [WARNING] 0xdb0da9b39b90526e9376aaf62b184cae661a3b1582cbfa01e79f7b3fc683d754transfer(_to,_value)
02:33:17 [WARNING] 0xe91c1a100289db3f2c7c4fa736651c1b88a469c444710c0d9206c83533dbb835transfer(_to,_value)
02:33:17 [WARNING] 0x18ef435d419db32c162678000a236e548ced53f7cb07f1877be8756accc43d6etransfer(_to,_value)
02:33:17 [WARNING] 0x9a868641e95236490919b95277dbeac95b412e50c343e49d145a6904f065adb2transfer(_to,_value)
02:33:17 [WARNING] 0xa566928664061e197917963cd59939222b8e8805a768d9f82755737dd2d22a08transfer(_to,_value)
02:33:17 [WARNING] 0xd343df4a2436144fa5bd3d277251b3660166741b2e9b94067d600e03050627d9transfer(_to,_value)
02:33:17 [WARNING] Generating invariants... for 499 txs
02:33:17 [WARNING] Time used: 2899.0556149482727 seconds
02:33:17 [WARNING] Time Usage Detail: initializePpts(2892.2272398471832), readTx(5.529199123382568), processData(1.2149944305419922)
02:33:17 [WARNING] 

02:33:17 [WARNING] approve(_spender,_value)
02:33:17 [WARNING] PptType.EXIT
02:33:17 [WARNING] TxType.NORMAL
02:33:17 [WARNING] 
02:33:17 [WARNING] 

02:33:17 [WARNING] approve(_spender,_value)
02:33:17 [WARNING] PptType.EXIT
02:33:17 [WARNING] TxType.REVERSION
02:33:17 [WARNING] 
02:33:17 [WARNING] 

02:33:17 [WARNING] transferFrom(_from,_to,_value)
02:33:17 [WARNING] PptType.EXIT
02:33:17 [WARNING] TxType.NORMAL
02:33:17 [WARNING] 
02:33:17 [WARNING] 

02:33:17 [WARNING] transferFrom(_from,_to,_value)
02:33:17 [WARNING] PptType.EXIT
02:33:17 [WARNING] TxType.REVERSION
02:33:17 [WARNING] 
02:33:17 [WARNING] 

02:33:17 [WARNING] transfer(_to,_value)
02:33:17 [WARNING] PptType.EXIT
02:33:17 [WARNING] TxType.NORMAL
02:33:17 [WARNING] ori(Sum(balances[...])) > 0
ori(Sum(balances[...])) == 10000000000000000000000000000
ori(Sum(balances[...])) one of [10000000000000000000000000000]
_to != 0
msg.sender != 0
_value > 0
Sum(balances[...]) > 0
Sum(balances[...]) == 10000000000000000000000000000
Sum(balances[...]) one of [10000000000000000000000000000]
balances[_to] > 0
totalSupply > 0
totalSupply == 10000000000000000000000000000
totalSupply one of [10000000000000000000000000000]
ori(decimals) > 0
ori(decimals) == 18
ori(decimals) one of [18]
elem of balances[...] is one of [10000000000000000000000000000]
decimals > 0
decimals == 18
decimals one of [18]
ori(totalSupply) > 0
ori(totalSupply) == 10000000000000000000000000000
ori(totalSupply) one of [10000000000000000000000000000]
ori(balances[_to]) one of [0,1000000000000000000,165000000000000000000,100000000000000000000,103000000000000000000]
ori(balances[msg.sender]) > 0
msg.value == 0
msg.value == 0
msg.value one of [0]
ori(Sum(balances[...])) >= _value
ori(Sum(balances[...])) > _value
ori(Sum(balances[...])) != _value
ori(Sum(balances[...])) == Sum(balances[...])
ori(Sum(balances[...])) >= Sum(balances[...])
ori(Sum(balances[...])) <= Sum(balances[...])
ori(Sum(balances[...])) >= balances[_to]
ori(Sum(balances[...])) == totalSupply
ori(Sum(balances[...])) >= totalSupply
ori(Sum(balances[...])) <= totalSupply
ori(Sum(balances[...])) >= ori(decimals)
ori(Sum(balances[...])) > ori(decimals)
ori(Sum(balances[...])) != ori(decimals)
ori(Sum(balances[...])) >= decimals
ori(Sum(balances[...])) > decimals
ori(Sum(balances[...])) != decimals
ori(Sum(balances[...])) == ori(totalSupply)
ori(Sum(balances[...])) >= ori(totalSupply)
ori(Sum(balances[...])) <= ori(totalSupply)
ori(Sum(balances[...])) >= ori(balances[_to])
ori(Sum(balances[...])) > ori(balances[_to])
ori(Sum(balances[...])) != ori(balances[_to])
ori(Sum(balances[...])) >= ori(balances[msg.sender])
ori(Sum(balances[...])) >= balances[msg.sender]
ori(Sum(balances[...])) > balances[msg.sender]
ori(Sum(balances[...])) != balances[msg.sender]
ori(Sum(balances[...])) >= msg.value
ori(Sum(balances[...])) > msg.value
ori(Sum(balances[...])) != msg.value
_to != msg.sender
_value <= Sum(balances[...])
_value < Sum(balances[...])
_value != Sum(balances[...])
_value <= balances[_to]
_value <= totalSupply
_value < totalSupply
_value != totalSupply
_value >= ori(decimals)
_value > ori(decimals)
_value != ori(decimals)
_value >= decimals
_value > decimals
_value != decimals
_value <= ori(totalSupply)
_value < ori(totalSupply)
_value != ori(totalSupply)
_value != ori(balances[_to])
_value <= ori(balances[msg.sender])
_value != balances[msg.sender]
_value >= msg.value
_value > msg.value
_value != msg.value
Sum(balances[...]) >= balances[_to]
Sum(balances[...]) == totalSupply
Sum(balances[...]) >= totalSupply
Sum(balances[...]) <= totalSupply
Sum(balances[...]) >= ori(decimals)
Sum(balances[...]) > ori(decimals)
Sum(balances[...]) != ori(decimals)
Sum(balances[...]) >= decimals
Sum(balances[...]) > decimals
Sum(balances[...]) != decimals
Sum(balances[...]) == ori(totalSupply)
Sum(balances[...]) >= ori(totalSupply)
Sum(balances[...]) <= ori(totalSupply)
Sum(balances[...]) >= ori(balances[_to])
Sum(balances[...]) > ori(balances[_to])
Sum(balances[...]) != ori(balances[_to])
Sum(balances[...]) >= ori(balances[msg.sender])
Sum(balances[...]) >= balances[msg.sender]
Sum(balances[...]) > balances[msg.sender]
Sum(balances[...]) != balances[msg.sender]
Sum(balances[...]) >= msg.value
Sum(balances[...]) > msg.value
Sum(balances[...]) != msg.value
balances[_to] <= totalSupply
balances[_to] >= ori(decimals)
balances[_to] > ori(decimals)
balances[_to] != ori(decimals)
balances[_to] >= decimals
balances[_to] > decimals
balances[_to] != decimals
balances[_to] <= ori(totalSupply)
balances[_to] >= ori(balances[_to])
balances[_to] > ori(balances[_to])
balances[_to] != ori(balances[_to])
balances[_to] != ori(balances[msg.sender])
balances[_to] != balances[msg.sender]
balances[_to] >= msg.value
balances[_to] > msg.value
balances[_to] != msg.value
totalSupply >= ori(decimals)
totalSupply > ori(decimals)
totalSupply != ori(decimals)
totalSupply >= decimals
totalSupply > decimals
totalSupply != decimals
totalSupply == ori(totalSupply)
totalSupply >= ori(totalSupply)
totalSupply <= ori(totalSupply)
totalSupply >= ori(balances[_to])
totalSupply > ori(balances[_to])
totalSupply != ori(balances[_to])
totalSupply >= ori(balances[msg.sender])
totalSupply >= balances[msg.sender]
totalSupply > balances[msg.sender]
totalSupply != balances[msg.sender]
totalSupply >= msg.value
totalSupply > msg.value
totalSupply != msg.value
ori(decimals) == decimals
ori(decimals) >= decimals
ori(decimals) <= decimals
ori(decimals) <= ori(totalSupply)
ori(decimals) < ori(totalSupply)
ori(decimals) != ori(totalSupply)
ori(decimals) != ori(balances[_to])
ori(decimals) <= ori(balances[msg.sender])
ori(decimals) < ori(balances[msg.sender])
ori(decimals) != ori(balances[msg.sender])
ori(decimals) != balances[msg.sender]
ori(decimals) >= msg.value
ori(decimals) > msg.value
ori(decimals) != msg.value
decimals <= ori(totalSupply)
decimals < ori(totalSupply)
decimals != ori(totalSupply)
decimals != ori(balances[_to])
decimals <= ori(balances[msg.sender])
decimals < ori(balances[msg.sender])
decimals != ori(balances[msg.sender])
decimals != balances[msg.sender]
decimals >= msg.value
decimals > msg.value
decimals != msg.value
ori(totalSupply) >= ori(balances[_to])
ori(totalSupply) > ori(balances[_to])
ori(totalSupply) != ori(balances[_to])
ori(totalSupply) >= ori(balances[msg.sender])
ori(totalSupply) >= balances[msg.sender]
ori(totalSupply) > balances[msg.sender]
ori(totalSupply) != balances[msg.sender]
ori(totalSupply) >= msg.value
ori(totalSupply) > msg.value
ori(totalSupply) != msg.value
ori(balances[_to]) <= ori(balances[msg.sender])
ori(balances[_to]) < ori(balances[msg.sender])
ori(balances[_to]) != ori(balances[msg.sender])
ori(balances[_to]) != balances[msg.sender]
ori(balances[_to]) >= msg.value
ori(balances[msg.sender]) >= balances[msg.sender]
ori(balances[msg.sender]) > balances[msg.sender]
ori(balances[msg.sender]) != balances[msg.sender]
ori(balances[msg.sender]) >= msg.value
ori(balances[msg.sender]) > msg.value
ori(balances[msg.sender]) != msg.value
balances[msg.sender] >= msg.value
balances[msg.sender] + _value == ori(balances[msg.sender])
02:33:17 [WARNING] 

02:33:17 [WARNING] transfer(_to,_value)
02:33:17 [WARNING] PptType.EXIT
02:33:17 [WARNING] TxType.REVERSION
02:33:17 [WARNING] 
02:33:17 [WARNING] 

02:33:17 [WARNING] None
02:33:17 [WARNING] PptType.CONTRACT
02:33:17 [WARNING] TxType.NORMAL
02:33:17 [WARNING] decimals > 0
decimals == 18
decimals one of [18]
ori(Sum(balances[...])) > 0
ori(Sum(balances[...])) == 10000000000000000000000000000
ori(Sum(balances[...])) one of [10000000000000000000000000000]
elem of balances[...] is one of [10000000000000000000000000000]
ori(totalSupply) > 0
ori(totalSupply) == 10000000000000000000000000000
ori(totalSupply) one of [10000000000000000000000000000]
ori(decimals) > 0
ori(decimals) == 18
ori(decimals) one of [18]
Sum(balances[...]) > 0
Sum(balances[...]) == 10000000000000000000000000000
Sum(balances[...]) one of [10000000000000000000000000000]
totalSupply > 0
totalSupply == 10000000000000000000000000000
totalSupply one of [10000000000000000000000000000]
decimals <= ori(Sum(balances[...]))
decimals < ori(Sum(balances[...]))
decimals != ori(Sum(balances[...]))
decimals <= ori(totalSupply)
decimals < ori(totalSupply)
decimals != ori(totalSupply)
decimals == ori(decimals)
decimals >= ori(decimals)
decimals <= ori(decimals)
decimals <= Sum(balances[...])
decimals < Sum(balances[...])
decimals != Sum(balances[...])
decimals <= totalSupply
decimals < totalSupply
decimals != totalSupply
ori(Sum(balances[...])) == ori(totalSupply)
ori(Sum(balances[...])) >= ori(totalSupply)
ori(Sum(balances[...])) <= ori(totalSupply)
ori(Sum(balances[...])) >= ori(decimals)
ori(Sum(balances[...])) > ori(decimals)
ori(Sum(balances[...])) != ori(decimals)
ori(Sum(balances[...])) == Sum(balances[...])
ori(Sum(balances[...])) >= Sum(balances[...])
ori(Sum(balances[...])) <= Sum(balances[...])
ori(Sum(balances[...])) == totalSupply
ori(Sum(balances[...])) >= totalSupply
ori(Sum(balances[...])) <= totalSupply
ori(totalSupply) >= ori(decimals)
ori(totalSupply) > ori(decimals)
ori(totalSupply) != ori(decimals)
ori(totalSupply) == Sum(balances[...])
ori(totalSupply) >= Sum(balances[...])
ori(totalSupply) <= Sum(balances[...])
ori(totalSupply) == totalSupply
ori(totalSupply) >= totalSupply
ori(totalSupply) <= totalSupply
ori(decimals) <= Sum(balances[...])
ori(decimals) < Sum(balances[...])
ori(decimals) != Sum(balances[...])
ori(decimals) <= totalSupply
ori(decimals) < totalSupply
ori(decimals) != totalSupply
Sum(balances[...]) == totalSupply
Sum(balances[...]) >= totalSupply
Sum(balances[...]) <= totalSupply

Advanced Usage

Other than dynamic invariant detection, InvCon also includes a module to facilitate formal verification on the invariant results. This part will be updated in the future.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 96.8%
  • Solidity 3.0%
  • Shell 0.2%