0x1017db1a17832440e3c7d4310a76587d545d90f6a98366b99565a78f033b871e

Transaction

Succeeded

(

)

Ethereum

0x60c06040

Txn fee 0.0061038320 ETH

[RECV]

ETH

+$4,620.46

ETH

+$15.67

[SEND]

ETH

-$4,636.12

	Address	Token(s) swapped	Balance	Price	Value change
	[RECV]	ETH			+$4,620.46
		Ether	+1.8		+$4,620.46
		ETH			+$15.67
		Ether	+0.006103832		+$15.67
	[SEND]	ETH			-$4,636.12
		Ether	-1.8061038		-$4,636.12

0

DEPLOYMENT

BWS_GAME 0x6080604052600436106101a25760e060020a600035046306fdde03811461054f578063095ea7b3146105d957806318160ddd1461062657806319604251146106…
- 1
  
  SLOAD
  
  (standard[data], standard[length]) ("", 0)
- 2
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000001
  
  0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
- 3
  
  SSTORE
  
  (standard[data], standard[length]) ("" to "http://leeks.cc", 0 to 15)
- 4
  
  SLOAD
  
  (name[data], name[length]) ("", 0)
- 5
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000002
  
  0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
- 6
  
  SSTORE
  
  (name[data], name[length]) ("" to "Bretton Woods system-2.0", 0 to 24)
- 7
  
  SLOAD
  
  (symbol[data], symbol[length]) ("", 0)
- 8
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000003
  
  0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
- 9
  
  SSTORE
  
  (symbol[data], symbol[length]) ("" to "BWS", 0 to 3)
- 10
  
  SLOAD
  
  decimals 0
- 11
  
  SSTORE
  
  decimals 0 to 12
- 12
  
  SSTORE
  
  totalSupply 0 to 100000000000000000000
- 13
  
  SSTORE
  
  st_core_value 0 to 100000000000000
- 14
  
  SLOAD
  
  st_frozen false
- 15
  
  SSTORE
  
  st_frozen false
- 16
  
  SLOAD
  
  (st_user_index, stop_count, st_random, st_add_rnd) (0, 0, 0, 0)
- 17
  
  SSTORE
  
  (st_user_index, stop_count, st_random, st_add_rnd) (0, 0 to 2, 0, 0)
- 18
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 19
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 20
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 21
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 22
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 23
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 24
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 25
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 26
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 27
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 28
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 29
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 30
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 31
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 32
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 33
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 34
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 35
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 36
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 37
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 38
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 39
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 40
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 41
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 42
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 43
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 44
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 45
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 46
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 47
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 48
  
  SLOAD
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 49
  
  SSTORE
  
  (st_Luck_count1000[0], st_Luck_count1000[1], st_Luck_count1000[2], st_Luck_count1000[3], st_Luck_count1000[4], st_Luck_count1000[5], st_Luck_count1000[6], st_Luck_count1000[7], st_Luck_count1000[8], st_Luck_count1000[9], st_Luck_count1000[10], st_Luck_count1000[11], st_Luck_count1000[12], st_Luck_count1000[13], st_Luck_count1000[14], st_Luck_count1000[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 50
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 51
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 52
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 53
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 54
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 55
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 56
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 57
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 58
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 59
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 60
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 61
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 62
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 63
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 64
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 65
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 66
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 67
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 68
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 69
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 70
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 71
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 72
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 73
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 74
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 75
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 76
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 77
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 78
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 79
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 80
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 81
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 82
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 83
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 84
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 85
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 86
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 87
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 88
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 89
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 90
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 91
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 92
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 93
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 94
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 95
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 96
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 97
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 98
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 99
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 100
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 101
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 102
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 103
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 104
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 105
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 106
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 107
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 108
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 109
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 110
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 111
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 112
  
  SLOAD
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 113
  
  SSTORE
  
  (st_Luck_count4[0], st_Luck_count4[1], st_Luck_count4[2], st_Luck_count4[3], st_Luck_count4[4], st_Luck_count4[5], st_Luck_count4[6], st_Luck_count4[7], st_Luck_count4[8], st_Luck_count4[9], st_Luck_count4[10], st_Luck_count4[11], st_Luck_count4[12], st_Luck_count4[13], st_Luck_count4[14], st_Luck_count4[15], st_Luck_count4[16], st_Luck_count4[17], st_Luck_count4[18], st_Luck_count4[19], st_Luck_count4[20], st_Luck_count4[21], st_Luck_count4[22], st_Luck_count4[23], st_Luck_count4[24], st_Luck_count4[25], st_Luck_count4[26], st_Luck_count4[27], st_Luck_count4[28], st_Luck_count4[29], st_Luck_count4[30], st_Luck_count4[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 114
  
  SLOAD
  
  (st_user_index, stop_count, st_random, st_add_rnd) (0, 2, 0, 0)
- 115
  
  SSTORE
  
  (st_user_index, stop_count, st_random, st_add_rnd) (0, 2, 0, 0)
- 116
  
  SLOAD
  
  0x6e0956cda88cad152e89927e53611735b61a5c762d1428573c6931b0a5efcb01 0x0000000000000000000000000000000000000000000000000000000000000000
- 117
  
  SSTORE
  
  0x6e0956cda88cad152e89927e53611735b61a5c762d1428573c6931b0a5efcb01 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x000000000000000000000000d8d8def8b1584a2b35c6243d2cc04d851e534e37
- 118
  
  SHA3
  
  0x000000000000000000000000d8d8def8b1584a2b35c6243d2cc04d851e534e370000000000000000000000000000000000000000000000000000000000000011
  
  0x637a2ae058cbaf8e3f5ccf0ea2e085868777d0a8297f1abb6fe8d0a91778bac8
- 119
  
  SLOAD
  
  (st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].addr, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].ID, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].faNode, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].brNode) ( 0x0000000000000000000000000000000000000000, 0, 0, 0)
- 120
  
  SSTORE
  
  (st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].addr, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].ID, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].faNode, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].brNode) ( 0x0000000000000000000000000000000000000000 to 0xd8d8def8b1584a2b35c6243d2cc04d851e534e37, 0, 0, 0)
- 121
  
  SLOAD
  
  (st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].chNode, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].Subordinate) (0, 0)
- 122
  
  SSTORE
  
  (st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].chNode, st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].Subordinate) (0 to 1, 0 to 1)
- 123
  
  SLOAD
  
  0x8c6065603763fec3f5742441d3833f3f43b982453612d76adb39a885e3006b5f 0x0000000000000000000000000000000000000000000000000000000000000000
- 124
  
  SSTORE
  
  0x8c6065603763fec3f5742441d3833f3f43b982453612d76adb39a885e3006b5f 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x0000000000000000000000007d0e7baebb4010c839f3e0f36373e7941792adea
- 125
  
  SLOAD
  
  0xe182c40af39ea0cd8880b11121a1575d2b6df4f740e113535afa828e0ab46c92 0x0000000000000000000000000000000000000000000000000000000000000000
- 126
  
  SSTORE
  
  0xe182c40af39ea0cd8880b11121a1575d2b6df4f740e113535afa828e0ab46c92 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x0000000000000000000000017d0e7baebb4010c839f3e0f36373e7941792adea
- 127
  
  SLOAD
  
  (st_user_index, stop_count, st_random, st_add_rnd) (0, 2, 0, 0)
- 128
  
  SSTORE
  
  (st_user_index, stop_count, st_random, st_add_rnd) (0 to 1, 2, 0, 0)
- 129
  
  SSTORE
  
  st_user_ad[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37].BWS 0 to 5000000000000000000
- 130
  
  SSTORE
  
  0xe182c40af39ea0cd8880b11121a1575d2b6df4f740e113535afa828e0ab46c96 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x0000000000000000000000000000000000000000000000004563918244f40000
- 131
  
  SSTORE
  
  st_outer_disc 0 to 20000000000000000000
- 132
  
  SHA3
  
  0x000000000000000000000000d8d8def8b1584a2b35c6243d2cc04d851e534e370000000000000000000000000000000000000000000000000000000000000006
  
  0x7cbd09014b8048c7bef5e00a173ff518d384ef1fc3a05a5b046b93fdfc856103
- 133
  
  SSTORE
  
  balanceOf[0xd8d8def8b1584a2b35c6243d2cc04d851e534e37] 0 to 10000000000000000
- 134
  
  SSTORE
  
  0x0acf6c210e65cd9375f983a8fd65ca979f29bbc093b3202ee9bbd4d03b5e3f91 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x0000000000000000000000000000000000000000000000008aa39c121a270000
- 135
  
  SLOAD
  
  (st_user_index, stop_count, st_random, st_add_rnd) (1, 2, 0, 0)
- 136
  
  SSTORE
  
  (st_user_index, stop_count, st_random, st_add_rnd) (1, 2, 0 to 1237978391014067580699670358812594890804919750199, 0)
- 137
  
  SSTORE
  
  st_core_value 100000000000000 to 271446900000000
- 138
  
  SSTORE
  
  st_pool_a_bonus 0 to 70870859883000000
- 139
  
  SSTORE
  
  st_pool_bws 0 to 59982851522121212122
- 140
  
  SSTORE
  
  st_pool_eth 0 to 1332656488892387000
- 141
  
  SSTORE
  
  st_trading_volume 0 to 17594074590000000
- 142
  
  SSTORE
  
  st_in_circulation 0 to 17338694590000000
- 143
  
  SLOAD
  
  st_frozen false
- 144
  
  SSTORE
  
  st_frozen false to true