0x10c3371fa313a621f9df2dc0f8e161a677b382c27829cdb1461bade47569f336

Transaction

Succeeded

(

)

Base

0x60128054

L2 Txn fee 0.0016090329 ETH

[SEND]

Eth

+$4,194,090,599,999,990.50

Eth

+$5.28

Eth

+$4.36

Eth

+$0.04

	Address	Token(s) swapped	Balance	Price	Value change
	[SEND]	Eth			+$4,194,090,599,999,990.50
		Ether	-0.0029288003		-$9.68
			+2.1000000e+17		+$4,194,090,600,000,000.00
		Eth			+$5.28
		Ether	+0.0015974151		+$5.28
		Eth			+$4.36
		Ether	+0.0013197674		+$4.36
		Eth			+$0.04
		Ether	+0.000011617795		+$0.04

0

DEPLOYMENT

Fungi 0x6080604052600436106101f95760003560e01c806370db69d61161010d578063a775188a116100a0578063cb8106f41161006f578063cb8106f4146106875780…
- 1
  
  SLOAD
  
  (_owner, spores_count) ( 0x0000000000000000000000000000000000000000, 0)
- 2
  
  SSTORE
  
  (_owner, spores_count) ( 0x0000000000000000000000000000000000000000, 0 to 7)
- 3
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[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)
- 4
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (0 to 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 5
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 6
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 0 to 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 7
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 8
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 0 to 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 9
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 10
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 0 to 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 11
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 12
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 0 to 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 13
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 14
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 15
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 16
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 17
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 18
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 19
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 20
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 21
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 22
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 23
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 24
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 25
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 26
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 27
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 28
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 29
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 30
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 31
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 32
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 33
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 34
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 35
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 36
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 37
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 38
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 39
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 40
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 41
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 42
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 43
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 44
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 45
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 46
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 47
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 48
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 49
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 50
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SSTORE
  
  (stemLevelCounts[0], stemLevelCounts[1], stemLevelCounts[2], stemLevelCounts[3], stemLevelCounts[4], stemLevelCounts[5], stemLevelCounts[6], stemLevelCounts[7], stemLevelCounts[8], stemLevelCounts[9], stemLevelCounts[10], stemLevelCounts[11], stemLevelCounts[12], stemLevelCounts[13], stemLevelCounts[14], stemLevelCounts[15], stemLevelCounts[16], stemLevelCounts[17], stemLevelCounts[18], stemLevelCounts[19], stemLevelCounts[20], stemLevelCounts[21], stemLevelCounts[22], stemLevelCounts[23], stemLevelCounts[24], stemLevelCounts[25], stemLevelCounts[26], stemLevelCounts[27], stemLevelCounts[28], stemLevelCounts[29], stemLevelCounts[30], stemLevelCounts[31]) (5, 5, 5, 6, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (0 to 5, 0, 0, 0, 0, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 0, 0, 0, 0, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 0 to 7, 0, 0, 0, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 0, 0, 0, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 0 to 10, 0, 0, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 0, 0, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 0 to 10, 0, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 0, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 0 to 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 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
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 115
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 116
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 117
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 118
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 119
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 120
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 121
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 122
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 123
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 124
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 125
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 126
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 127
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 128
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 129
  
  SLOAD
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 130
  
  SSTORE
  
  (capLevelCounts[0], capLevelCounts[1], capLevelCounts[2], capLevelCounts[3], capLevelCounts[4], capLevelCounts[5], capLevelCounts[6], capLevelCounts[7], capLevelCounts[8], capLevelCounts[9], capLevelCounts[10], capLevelCounts[11], capLevelCounts[12], capLevelCounts[13], capLevelCounts[14], capLevelCounts[15], capLevelCounts[16], capLevelCounts[17], capLevelCounts[18], capLevelCounts[19], capLevelCounts[20], capLevelCounts[21], capLevelCounts[22], capLevelCounts[23], capLevelCounts[24], capLevelCounts[25], capLevelCounts[26], capLevelCounts[27], capLevelCounts[28], capLevelCounts[29], capLevelCounts[30], capLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 131
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[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)
- 132
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (0 to 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 133
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 134
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 0 to 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 135
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 136
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 0 to 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 137
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 138
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 0 to 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 139
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 140
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 0 to 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 141
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 142
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 143
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 144
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 145
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 146
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 147
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 148
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 149
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 150
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 151
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 152
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 153
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 154
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 155
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 156
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 157
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 158
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 159
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 160
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 161
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 162
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 163
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 164
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 165
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 166
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 167
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 168
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 169
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 170
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 171
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 172
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 173
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 174
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 175
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 176
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 177
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 178
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 179
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 180
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 181
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 182
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 183
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 184
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 185
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 186
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 187
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 188
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 189
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 190
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 191
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 192
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 193
  
  SLOAD
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 194
  
  SSTORE
  
  (dotLevelCounts[0], dotLevelCounts[1], dotLevelCounts[2], dotLevelCounts[3], dotLevelCounts[4], dotLevelCounts[5], dotLevelCounts[6], dotLevelCounts[7], dotLevelCounts[8], dotLevelCounts[9], dotLevelCounts[10], dotLevelCounts[11], dotLevelCounts[12], dotLevelCounts[13], dotLevelCounts[14], dotLevelCounts[15], dotLevelCounts[16], dotLevelCounts[17], dotLevelCounts[18], dotLevelCounts[19], dotLevelCounts[20], dotLevelCounts[21], dotLevelCounts[22], dotLevelCounts[23], dotLevelCounts[24], dotLevelCounts[25], dotLevelCounts[26], dotLevelCounts[27], dotLevelCounts[28], dotLevelCounts[29], dotLevelCounts[30], dotLevelCounts[31]) (5, 7, 10, 10, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 195
  
  SLOAD
  
  backgroundColors0[length] 0
- 196
  
  SSTORE
  
  backgroundColors0[length] 0 to 14
- 197
  
  SHA3
  
  0x000000000000000000000000000000000000000000000000000000000000001b
  
  0x3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc1
- 198
  
  SLOAD
  
  (backgroundColors0[0][data], backgroundColors0[0][length]) ("", 0)
- 199
  
  SSTORE
  
  (backgroundColors0[0][data], backgroundColors0[0][length]) ("" to "#000000", 0 to 7)
- 200
  
  SLOAD
  
  (backgroundColors0[1][data], backgroundColors0[1][length]) ("", 0)
- 201
  
  SSTORE
  
  (backgroundColors0[1][data], backgroundColors0[1][length]) ("" to "#493114", 0 to 7)
- 202
  
  SLOAD
  
  (backgroundColors0[2][data], backgroundColors0[2][length]) ("", 0)
- 203
  
  SSTORE
  
  (backgroundColors0[2][data], backgroundColors0[2][length]) ("" to "#1d772f", 0 to 7)
- 204
  
  SLOAD
  
  (backgroundColors0[3][data], backgroundColors0[3][length]) ("", 0)
- 205
  
  SSTORE
  
  (backgroundColors0[3][data], backgroundColors0[3][length]) ("" to "#38166a", 0 to 7)
- 206
  
  SLOAD
  
  (backgroundColors0[4][data], backgroundColors0[4][length]) ("", 0)
- 207
  
  SSTORE
  
  (backgroundColors0[4][data], backgroundColors0[4][length]) ("" to "#db4161", 0 to 7)
- 208
  
  SLOAD
  
  (backgroundColors0[5][data], backgroundColors0[5][length]) ("", 0)
- 209
  
  SSTORE
  
  (backgroundColors0[5][data], backgroundColors0[5][length]) ("" to "#7c288a", 0 to 7)
- 210
  
  SLOAD
  
  (backgroundColors0[6][data], backgroundColors0[6][length]) ("", 0)
- 211
  
  SSTORE
  
  (backgroundColors0[6][data], backgroundColors0[6][length]) ("" to "#4141ff", 0 to 7)
- 212
  
  SLOAD
  
  (backgroundColors0[7][data], backgroundColors0[7][length]) ("", 0)
- 213
  
  SSTORE
  
  (backgroundColors0[7][data], backgroundColors0[7][length]) ("" to "#ff61b2", 0 to 7)
- 214
  
  SLOAD
  
  (backgroundColors0[8][data], backgroundColors0[8][length]) ("", 0)
- 215
  
  SSTORE
  
  (backgroundColors0[8][data], backgroundColors0[8][length]) ("" to "#8f3bc2", 0 to 7)
- 216
  
  SLOAD
  
  (backgroundColors0[9][data], backgroundColors0[9][length]) ("", 0)
- 217
  
  SSTORE
  
  (backgroundColors0[9][data], backgroundColors0[9][length]) ("" to "#a2a2a2", 0 to 7)
- 218
  
  SLOAD
  
  (backgroundColors0[10][data], backgroundColors0[10][length]) ("", 0)
- 219
  
  SSTORE
  
  (backgroundColors0[10][data], backgroundColors0[10][length]) ("" to "#bfca87", 0 to 7)
- 220
  
  SLOAD
  
  (backgroundColors0[11][data], backgroundColors0[11][length]) ("", 0)
- 221
  
  SSTORE
  
  (backgroundColors0[11][data], backgroundColors0[11][length]) ("" to "#92dcba", 0 to 7)
- 222
  
  SLOAD
  
  (backgroundColors0[12][data], backgroundColors0[12][length]) ("", 0)
- 223
  
  SSTORE
  
  (backgroundColors0[12][data], backgroundColors0[12][length]) ("" to "#a2fff3", 0 to 7)
- 224
  
  SLOAD
  
  (backgroundColors0[13][data], backgroundColors0[13][length]) ("", 0)
- 225
  
  SSTORE
  
  (backgroundColors0[13][data], backgroundColors0[13][length]) ("" to "#fddad5", 0 to 7)
- 226
  
  SLOAD
  
  backgroundColors1[length] 0
- 227
  
  SSTORE
  
  backgroundColors1[length] 0 to 12
- 228
  
  SHA3
  
  0x000000000000000000000000000000000000000000000000000000000000001c
  
  0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211
- 229
  
  SLOAD
  
  (backgroundColors1[0][data], backgroundColors1[0][length]) ("", 0)
- 230
  
  SSTORE
  
  (backgroundColors1[0][data], backgroundColors1[0][length]) ("" to "#453879", 0 to 7)
- 231
  
  SLOAD
  
  (backgroundColors1[1][data], backgroundColors1[1][length]) ("", 0)
- 232
  
  SSTORE
  
  (backgroundColors1[1][data], backgroundColors1[1][length]) ("" to "#184b5b", 0 to 7)
- 233
  
  SLOAD
  
  (backgroundColors1[2][data], backgroundColors1[2][length]) ("", 0)
- 234
  
  SSTORE
  
  (backgroundColors1[2][data], backgroundColors1[2][length]) ("" to "#447f60", 0 to 7)
- 235
  
  SLOAD
  
  (backgroundColors1[3][data], backgroundColors1[3][length]) ("", 0)
- 236
  
  SSTORE
  
  (backgroundColors1[3][data], backgroundColors1[3][length]) ("" to "#e35100", 0 to 7)
- 237
  
  SLOAD
  
  (backgroundColors1[4][data], backgroundColors1[4][length]) ("", 0)
- 238
  
  SSTORE
  
  (backgroundColors1[4][data], backgroundColors1[4][length]) ("" to "#ff7930", 0 to 7)
- 239
  
  SLOAD
  
  (backgroundColors1[5][data], backgroundColors1[5][length]) ("", 0)
- 240
  
  SSTORE
  
  (backgroundColors1[5][data], backgroundColors1[5][length]) ("" to "#e43b44", 0 to 7)
- 241
  
  SLOAD
  
  (backgroundColors1[6][data], backgroundColors1[6][length]) ("", 0)
- 242
  
  SSTORE
  
  (backgroundColors1[6][data], backgroundColors1[6][length]) ("" to "#eedc59", 0 to 7)
- 243
  
  SLOAD
  
  (backgroundColors1[7][data], backgroundColors1[7][length]) ("", 0)
- 244
  
  SSTORE
  
  (backgroundColors1[7][data], backgroundColors1[7][length]) ("" to "#f279ca", 0 to 7)
- 245
  
  SLOAD
  
  (backgroundColors1[8][data], backgroundColors1[8][length]) ("", 0)
- 246
  
  SSTORE
  
  (backgroundColors1[8][data], backgroundColors1[8][length]) ("" to "#4deae9", 0 to 7)
- 247
  
  SLOAD
  
  (backgroundColors1[9][data], backgroundColors1[9][length]) ("", 0)
- 248
  
  SSTORE
  
  (backgroundColors1[9][data], backgroundColors1[9][length]) ("" to "#ffdba2", 0 to 7)
- 249
  
  SLOAD
  
  (backgroundColors1[10][data], backgroundColors1[10][length]) ("", 0)
- 250
  
  SSTORE
  
  (backgroundColors1[10][data], backgroundColors1[10][length]) ("" to "#a2baff", 0 to 7)
- 251
  
  SLOAD
  
  (backgroundColors1[11][data], backgroundColors1[11][length]) ("", 0)
- 252
  
  SSTORE
  
  (backgroundColors1[11][data], backgroundColors1[11][length]) ("" to "#ca90ff", 0 to 7)
- 253
  
  SLOAD
  
  backgroundColors2[length] 0
- 254
  
  SSTORE
  
  backgroundColors2[length] 0 to 10
- 255
  
  SHA3
  
  0x000000000000000000000000000000000000000000000000000000000000001d
  
  0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f
- 256
  
  SLOAD
  
  (backgroundColors2[0][data], backgroundColors2[0][length]) ("", 0)
- 257
  
  SSTORE
  
  (backgroundColors2[0][data], backgroundColors2[0][length]) ("" to "#231b32", 0 to 7)
- 258
  
  SLOAD
  
  (backgroundColors2[1][data], backgroundColors2[1][length]) ("", 0)
- 259
  
  SSTORE
  
  (backgroundColors2[1][data], backgroundColors2[1][length]) ("" to "#3f1164", 0 to 7)
- 260
  
  SLOAD
  
  (backgroundColors2[2][data], backgroundColors2[2][length]) ("", 0)
- 261
  
  SSTORE
  
  (backgroundColors2[2][data], backgroundColors2[2][length]) ("" to "#28426a", 0 to 7)
- 262
  
  SLOAD
  
  (backgroundColors2[3][data], backgroundColors2[3][length]) ("", 0)
- 263
  
  SSTORE
  
  (backgroundColors2[3][data], backgroundColors2[3][length]) ("" to "#9a2079", 0 to 7)
- 264
  
  SLOAD
  
  (backgroundColors2[4][data], backgroundColors2[4][length]) ("", 0)
- 265
  
  SSTORE
  
  (backgroundColors2[4][data], backgroundColors2[4][length]) ("" to "#d45e4e", 0 to 7)
- 266
  
  SLOAD
  
  (backgroundColors2[5][data], backgroundColors2[5][length]) ("", 0)
- 267
  
  SSTORE
  
  (backgroundColors2[5][data], backgroundColors2[5][length]) ("" to "#79dfac", 0 to 7)
- 268
  
  SLOAD
  
  (backgroundColors2[6][data], backgroundColors2[6][length]) ("", 0)
- 269
  
  SSTORE
  
  (backgroundColors2[6][data], backgroundColors2[6][length]) ("" to "#1fabe0", 0 to 7)
- 270
  
  SLOAD
  
  (backgroundColors2[7][data], backgroundColors2[7][length]) ("", 0)
- 271
  
  SSTORE
  
  (backgroundColors2[7][data], backgroundColors2[7][length]) ("" to "#e8a2bf", 0 to 7)
- 272
  
  SLOAD
  
  (backgroundColors2[8][data], backgroundColors2[8][length]) ("", 0)
- 273
  
  SSTORE
  
  (backgroundColors2[8][data], backgroundColors2[8][length]) ("" to "#849be4", 0 to 7)
- 274
  
  SLOAD
  
  (backgroundColors2[9][data], backgroundColors2[9][length]) ("", 0)
- 275
  
  SSTORE
  
  (backgroundColors2[9][data], backgroundColors2[9][length]) ("" to "#e3b2ff", 0 to 7)
- 276
  
  SLOAD
  
  backgroundColors3[length] 0
- 277
  
  SSTORE
  
  backgroundColors3[length] 0 to 8
- 278
  
  SHA3
  
  0x000000000000000000000000000000000000000000000000000000000000001e
  
  0x50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e350
- 279
  
  SLOAD
  
  (backgroundColors3[0][data], backgroundColors3[0][length]) ("", 0)
- 280
  
  SSTORE
  
  (backgroundColors3[0][data], backgroundColors3[0][length]) ("" to "#291970", 0 to 7)
- 281
  
  SLOAD
  
  (backgroundColors3[1][data], backgroundColors3[1][length]) ("", 0)
- 282
  
  SSTORE
  
  (backgroundColors3[1][data], backgroundColors3[1][length]) ("" to "#413c5d", 0 to 7)
- 283
  
  SLOAD
  
  (backgroundColors3[2][data], backgroundColors3[2][length]) ("", 0)
- 284
  
  SSTORE
  
  (backgroundColors3[2][data], backgroundColors3[2][length]) ("" to "#a44c4c", 0 to 7)
- 285
  
  SLOAD
  
  (backgroundColors3[3][data], backgroundColors3[3][length]) ("", 0)
- 286
  
  SSTORE
  
  (backgroundColors3[3][data], backgroundColors3[3][length]) ("" to "#f8972a", 0 to 7)
- 287
  
  SLOAD
  
  (backgroundColors3[4][data], backgroundColors3[4][length]) ("", 0)
- 288
  
  SSTORE
  
  (backgroundColors3[4][data], backgroundColors3[4][length]) ("" to "#a271ff", 0 to 7)
- 289
  
  SLOAD
  
  (backgroundColors3[5][data], backgroundColors3[5][length]) ("", 0)
- 290
  
  SSTORE
  
  (backgroundColors3[5][data], backgroundColors3[5][length]) ("" to "#4192c3", 0 to 7)
- 291
  
  SLOAD
  
  (backgroundColors3[6][data], backgroundColors3[6][length]) ("", 0)
- 292
  
  SSTORE
  
  (backgroundColors3[6][data], backgroundColors3[6][length]) ("" to "#5182ff", 0 to 7)
- 293
  
  SLOAD
  
  (backgroundColors3[7][data], backgroundColors3[7][length]) ("", 0)
- 294
  
  SSTORE
  
  (backgroundColors3[7][data], backgroundColors3[7][length]) ("" to "#ffb2a7", 0 to 7)
- 295
  
  SLOAD
  
  backgroundColors4[length] 0
- 296
  
  SSTORE
  
  backgroundColors4[length] 0 to 6
- 297
  
  SHA3
  
  0x000000000000000000000000000000000000000000000000000000000000001f
  
  0xa03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807
- 298
  
  SLOAD
  
  (backgroundColors4[0][data], backgroundColors4[0][length]) ("", 0)
- 299
  
  SSTORE
  
  (backgroundColors4[0][data], backgroundColors4[0][length]) ("" to "#0f0c45", 0 to 7)
- 300
  
  SLOAD
  
  (backgroundColors4[1][data], backgroundColors4[1][length]) ("", 0)
- 301
  
  SSTORE
  
  (backgroundColors4[1][data], backgroundColors4[1][length]) ("" to "#560e43", 0 to 7)
- 302
  
  SLOAD
  
  (backgroundColors4[2][data], backgroundColors4[2][length]) ("", 0)
- 303
  
  SSTORE
  
  (backgroundColors4[2][data], backgroundColors4[2][length]) ("" to "#b21030", 0 to 7)
- 304
  
  SLOAD
  
  (backgroundColors4[3][data], backgroundColors4[3][length]) ("", 0)
- 305
  
  SSTORE
  
  (backgroundColors4[3][data], backgroundColors4[3][length]) ("" to "#ff6e69", 0 to 7)
- 306
  
  SLOAD
  
  (backgroundColors4[4][data], backgroundColors4[4][length]) ("", 0)
- 307
  
  SSTORE
  
  (backgroundColors4[4][data], backgroundColors4[4][length]) ("" to "#534fed", 0 to 7)
- 308
  
  SLOAD
  
  (backgroundColors4[5][data], backgroundColors4[5][length]) ("", 0)
- 309
  
  SSTORE
  
  (backgroundColors4[5][data], backgroundColors4[5][length]) ("" to "#7cb8ff", 0 to 7)
- 310
  
  SLOAD
  
  groundColors0[length] 0
- 311
  
  SSTORE
  
  groundColors0[length] 0 to 15
- 312
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000020
  
  0xc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bb
- 313
  
  SLOAD
  
  (groundColors0[0][data], groundColors0[0][length]) ("", 0)
- 314
  
  SSTORE
  
  (groundColors0[0][data], groundColors0[0][length]) ("" to "#000000", 0 to 7)
- 315
  
  SLOAD
  
  (groundColors0[1][data], groundColors0[1][length]) ("", 0)
- 316
  
  SSTORE
  
  (groundColors0[1][data], groundColors0[1][length]) ("" to "#1d730e", 0 to 7)
- 317
  
  SLOAD
  
  (groundColors0[2][data], groundColors0[2][length]) ("", 0)
- 318
  
  SSTORE
  
  (groundColors0[2][data], groundColors0[2][length]) ("" to "#525050", 0 to 7)
- 319
  
  SLOAD
  
  (groundColors0[3][data], groundColors0[3][length]) ("", 0)
- 320
  
  SSTORE
  
  (groundColors0[3][data], groundColors0[3][length]) ("" to "#b21030", 0 to 7)
- 321
  
  SLOAD
  
  (groundColors0[4][data], groundColors0[4][length]) ("", 0)
- 322
  
  SSTORE
  
  (groundColors0[4][data], groundColors0[4][length]) ("" to "#ff7930", 0 to 7)
- 323
  
  SLOAD
  
  (groundColors0[5][data], groundColors0[5][length]) ("", 0)
- 324
  
  SSTORE
  
  (groundColors0[5][data], groundColors0[5][length]) ("" to "#925f4f", 0 to 7)
- 325
  
  SLOAD
  
  (groundColors0[6][data], groundColors0[6][length]) ("", 0)
- 326
  
  SSTORE
  
  (groundColors0[6][data], groundColors0[6][length]) ("" to "#db4161", 0 to 7)
- 327
  
  SLOAD
  
  (groundColors0[7][data], groundColors0[7][length]) ("", 0)
- 328
  
  SSTORE
  
  (groundColors0[7][data], groundColors0[7][length]) ("" to "#9aeb00", 0 to 7)
- 329
  
  SLOAD
  
  (groundColors0[8][data], groundColors0[8][length]) ("", 0)
- 330
  
  SSTORE
  
  (groundColors0[8][data], groundColors0[8][length]) ("" to "#d8cc33", 0 to 7)
- 331
  
  SLOAD
  
  (groundColors0[9][data], groundColors0[9][length]) ("", 0)
- 332
  
  SSTORE
  
  (groundColors0[9][data], groundColors0[9][length]) ("" to "#2800ba", 0 to 7)
- 333
  
  SLOAD
  
  (groundColors0[10][data], groundColors0[10][length]) ("", 0)
- 334
  
  SSTORE
  
  (groundColors0[10][data], groundColors0[10][length]) ("" to "#f361ff", 0 to 7)
- 335
  
  SLOAD
  
  (groundColors0[11][data], groundColors0[11][length]) ("", 0)
- 336
  
  SSTORE
  
  (groundColors0[11][data], groundColors0[11][length]) ("" to "#4192c3", 0 to 7)
- 337
  
  SLOAD
  
  (groundColors0[12][data], groundColors0[12][length]) ("", 0)
- 338
  
  SSTORE
  
  (groundColors0[12][data], groundColors0[12][length]) ("" to "#d0c598", 0 to 7)
- 339
  
  SLOAD
  
  (groundColors0[13][data], groundColors0[13][length]) ("", 0)
- 340
  
  SSTORE
  
  (groundColors0[13][data], groundColors0[13][length]) ("" to "#f4c09a", 0 to 7)
- 341
  
  SLOAD
  
  (groundColors0[14][data], groundColors0[14][length]) ("", 0)
- 342
  
  SSTORE
  
  (groundColors0[14][data], groundColors0[14][length]) ("" to "#e3b2ff", 0 to 7)
- 343
  
  SLOAD
  
  groundColors1[length] 0
- 344
  
  SSTORE
  
  groundColors1[length] 0 to 12
- 345
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000021
  
  0x3a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b570
- 346
  
  SLOAD
  
  (groundColors1[0][data], groundColors1[0][length]) ("", 0)
- 347
  
  SSTORE
  
  (groundColors1[0][data], groundColors1[0][length]) ("" to "#020104", 0 to 7)
- 348
  
  SLOAD
  
  (groundColors1[1][data], groundColors1[1][length]) ("", 0)
- 349
  
  SSTORE
  
  (groundColors1[1][data], groundColors1[1][length]) ("" to "#493114", 0 to 7)
- 350
  
  SLOAD
  
  (groundColors1[2][data], groundColors1[2][length]) ("", 0)
- 351
  
  SSTORE
  
  (groundColors1[2][data], groundColors1[2][length]) ("" to "#74254d", 0 to 7)
- 352
  
  SLOAD
  
  (groundColors1[3][data], groundColors1[3][length]) ("", 0)
- 353
  
  SSTORE
  
  (groundColors1[3][data], groundColors1[3][length]) ("" to "#453879", 0 to 7)
- 354
  
  SLOAD
  
  (groundColors1[4][data], groundColors1[4][length]) ("", 0)
- 355
  
  SSTORE
  
  (groundColors1[4][data], groundColors1[4][length]) ("" to "#306141", 0 to 7)
- 356
  
  SLOAD
  
  (groundColors1[5][data], groundColors1[5][length]) ("", 0)
- 357
  
  SSTORE
  
  (groundColors1[5][data], groundColors1[5][length]) ("" to "#83376e", 0 to 7)
- 358
  
  SLOAD
  
  (groundColors1[6][data], groundColors1[6][length]) ("", 0)
- 359
  
  SSTORE
  
  (groundColors1[6][data], groundColors1[6][length]) ("" to "#e59220", 0 to 7)
- 360
  
  SLOAD
  
  (groundColors1[7][data], groundColors1[7][length]) ("", 0)
- 361
  
  SSTORE
  
  (groundColors1[7][data], groundColors1[7][length]) ("" to "#7377a0", 0 to 7)
- 362
  
  SLOAD
  
  (groundColors1[8][data], groundColors1[8][length]) ("", 0)
- 363
  
  SSTORE
  
  (groundColors1[8][data], groundColors1[8][length]) ("" to "#30b7c0", 0 to 7)
- 364
  
  SLOAD
  
  (groundColors1[9][data], groundColors1[9][length]) ("", 0)
- 365
  
  SSTORE
  
  (groundColors1[9][data], groundColors1[9][length]) ("" to "#86b4bb", 0 to 7)
- 366
  
  SLOAD
  
  (groundColors1[10][data], groundColors1[10][length]) ("", 0)
- 367
  
  SSTORE
  
  (groundColors1[10][data], groundColors1[10][length]) ("" to "#ffa9a9", 0 to 7)
- 368
  
  SLOAD
  
  (groundColors1[11][data], groundColors1[11][length]) ("", 0)
- 369
  
  SSTORE
  
  (groundColors1[11][data], groundColors1[11][length]) ("" to "#f7e2c5", 0 to 7)
- 370
  
  SLOAD
  
  groundColors2[length] 0
- 371
  
  SSTORE
  
  groundColors2[length] 0 to 10
- 372
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000022
  
  0x61035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e510
- 373
  
  SLOAD
  
  (groundColors2[0][data], groundColors2[0][length]) ("", 0)
- 374
  
  SSTORE
  
  (groundColors2[0][data], groundColors2[0][length]) ("" to "#495900", 0 to 7)
- 375
  
  SLOAD
  
  (groundColors2[1][data], groundColors2[1][length]) ("", 0)
- 376
  
  SSTORE
  
  (groundColors2[1][data], groundColors2[1][length]) ("" to "#395844", 0 to 7)
- 377
  
  SLOAD
  
  (groundColors2[2][data], groundColors2[2][length]) ("", 0)
- 378
  
  SSTORE
  
  (groundColors2[2][data], groundColors2[2][length]) ("" to "#d47642", 0 to 7)
- 379
  
  SLOAD
  
  (groundColors2[3][data], groundColors2[3][length]) ("", 0)
- 380
  
  SSTORE
  
  (groundColors2[3][data], groundColors2[3][length]) ("" to "#719767", 0 to 7)
- 381
  
  SLOAD
  
  (groundColors2[4][data], groundColors2[4][length]) ("", 0)
- 382
  
  SSTORE
  
  (groundColors2[4][data], groundColors2[4][length]) ("" to "#8a8a00", 0 to 7)
- 383
  
  SLOAD
  
  (groundColors2[5][data], groundColors2[5][length]) ("", 0)
- 384
  
  SSTORE
  
  (groundColors2[5][data], groundColors2[5][length]) ("" to "#806a9c", 0 to 7)
- 385
  
  SLOAD
  
  (groundColors2[6][data], groundColors2[6][length]) ("", 0)
- 386
  
  SSTORE
  
  (groundColors2[6][data], groundColors2[6][length]) ("" to "#a2a2a2", 0 to 7)
- 387
  
  SLOAD
  
  (groundColors2[7][data], groundColors2[7][length]) ("", 0)
- 388
  
  SSTORE
  
  (groundColors2[7][data], groundColors2[7][length]) ("" to "#86d48e", 0 to 7)
- 389
  
  SLOAD
  
  (groundColors2[8][data], groundColors2[8][length]) ("", 0)
- 390
  
  SSTORE
  
  (groundColors2[8][data], groundColors2[8][length]) ("" to "#c3e88d", 0 to 7)
- 391
  
  SLOAD
  
  (groundColors2[9][data], groundColors2[9][length]) ("", 0)
- 392
  
  SSTORE
  
  (groundColors2[9][data], groundColors2[9][length]) ("" to "#c3b2ff", 0 to 7)
- 393
  
  SLOAD
  
  groundColors3[length] 0
- 394
  
  SSTORE
  
  groundColors3[length] 0 to 8
- 395
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000023
  
  0xd57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230
- 396
  
  SLOAD
  
  (groundColors3[0][data], groundColors3[0][length]) ("", 0)
- 397
  
  SSTORE
  
  (groundColors3[0][data], groundColors3[0][length]) ("" to "#253d2d", 0 to 7)
- 398
  
  SLOAD
  
  (groundColors3[1][data], groundColors3[1][length]) ("", 0)
- 399
  
  SSTORE
  
  (groundColors3[1][data], groundColors3[1][length]) ("" to "#515130", 0 to 7)
- 400
  
  SLOAD
  
  (groundColors3[2][data], groundColors3[2][length]) ("", 0)
- 401
  
  SSTORE
  
  (groundColors3[2][data], groundColors3[2][length]) ("" to "#384f7a", 0 to 7)
- 402
  
  SLOAD
  
  (groundColors3[3][data], groundColors3[3][length]) ("", 0)
- 403
  
  SSTORE
  
  (groundColors3[3][data], groundColors3[3][length]) ("" to "#49a269", 0 to 7)
- 404
  
  SLOAD
  
  (groundColors3[4][data], groundColors3[4][length]) ("", 0)
- 405
  
  SSTORE
  
  (groundColors3[4][data], groundColors3[4][length]) ("" to "#b18b57", 0 to 7)
- 406
  
  SLOAD
  
  (groundColors3[5][data], groundColors3[5][length]) ("", 0)
- 407
  
  SSTORE
  
  (groundColors3[5][data], groundColors3[5][length]) ("" to "#fff392", 0 to 7)
- 408
  
  SLOAD
  
  (groundColors3[6][data], groundColors3[6][length]) ("", 0)
- 409
  
  SSTORE
  
  (groundColors3[6][data], groundColors3[6][length]) ("" to "#b4edcd", 0 to 7)
- 410
  
  SLOAD
  
  (groundColors3[7][data], groundColors3[7][length]) ("", 0)
- 411
  
  SSTORE
  
  (groundColors3[7][data], groundColors3[7][length]) ("" to "#ffffff", 0 to 7)
- 412
  
  SLOAD
  
  groundColors4[length] 0
- 413
  
  SSTORE
  
  groundColors4[length] 0 to 6
- 414
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000024
  
  0x7cd332d19b93bcabe3cce7ca0c18a052f57e5fd03b4758a09f30f5ddc4b22ec4
- 415
  
  SLOAD
  
  (groundColors4[0][data], groundColors4[0][length]) ("", 0)
- 416
  
  SSTORE
  
  (groundColors4[0][data], groundColors4[0][length]) ("" to "#663a13", 0 to 7)
- 417
  
  SLOAD
  
  (groundColors4[1][data], groundColors4[1][length]) ("", 0)
- 418
  
  SSTORE
  
  (groundColors4[1][data], groundColors4[1][length]) ("" to "#137d5a", 0 to 7)
- 419
  
  SLOAD
  
  (groundColors4[2][data], groundColors4[2][length]) ("", 0)
- 420
  
  SSTORE
  
  (groundColors4[2][data], groundColors4[2][length]) ("" to "#974700", 0 to 7)
- 421
  
  SLOAD
  
  (groundColors4[3][data], groundColors4[3][length]) ("", 0)
- 422
  
  SSTORE
  
  (groundColors4[3][data], groundColors4[3][length]) ("" to "#49aa10", 0 to 7)
- 423
  
  SLOAD
  
  (groundColors4[4][data], groundColors4[4][length]) ("", 0)
- 424
  
  SSTORE
  
  (groundColors4[4][data], groundColors4[4][length]) ("" to "#99ba5a", 0 to 7)
- 425
  
  SLOAD
  
  (groundColors4[5][data], groundColors4[5][length]) ("", 0)
- 426
  
  SSTORE
  
  (groundColors4[5][data], groundColors4[5][length]) ("" to "#ade151", 0 to 7)
- 427
  
  SLOAD
  
  mushroomColors0[length] 0
- 428
  
  SSTORE
  
  mushroomColors0[length] 0 to 15
- 429
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000025
  
  0x401968ff42a154441da5f6c4c935ac46b8671f0e062baaa62a7545ba53bb6e4c
- 430
  
  SLOAD
  
  (mushroomColors0[0][data], mushroomColors0[0][length]) ("", 0)
- 431
  
  SSTORE
  
  (mushroomColors0[0][data], mushroomColors0[0][length]) ("" to "#000000", 0 to 7)
- 432
  
  SLOAD
  
  (mushroomColors0[1][data], mushroomColors0[1][length]) ("", 0)
- 433
  
  SSTORE
  
  (mushroomColors0[1][data], mushroomColors0[1][length]) ("" to "#1d730e", 0 to 7)
- 434
  
  SLOAD
  
  (mushroomColors0[2][data], mushroomColors0[2][length]) ("", 0)
- 435
  
  SSTORE
  
  (mushroomColors0[2][data], mushroomColors0[2][length]) ("" to "#525050", 0 to 7)
- 436
  
  SLOAD
  
  (mushroomColors0[3][data], mushroomColors0[3][length]) ("", 0)
- 437
  
  SSTORE
  
  (mushroomColors0[3][data], mushroomColors0[3][length]) ("" to "#b21030", 0 to 7)
- 438
  
  SLOAD
  
  (mushroomColors0[4][data], mushroomColors0[4][length]) ("", 0)
- 439
  
  SSTORE
  
  (mushroomColors0[4][data], mushroomColors0[4][length]) ("" to "#ff7930", 0 to 7)
- 440
  
  SLOAD
  
  (mushroomColors0[5][data], mushroomColors0[5][length]) ("", 0)
- 441
  
  SSTORE
  
  (mushroomColors0[5][data], mushroomColors0[5][length]) ("" to "#925f4f", 0 to 7)
- 442
  
  SLOAD
  
  (mushroomColors0[6][data], mushroomColors0[6][length]) ("", 0)
- 443
  
  SSTORE
  
  (mushroomColors0[6][data], mushroomColors0[6][length]) ("" to "#db4161", 0 to 7)
- 444
  
  SLOAD
  
  (mushroomColors0[7][data], mushroomColors0[7][length]) ("", 0)
- 445
  
  SSTORE
  
  (mushroomColors0[7][data], mushroomColors0[7][length]) ("" to "#9aeb00", 0 to 7)
- 446
  
  SLOAD
  
  (mushroomColors0[8][data], mushroomColors0[8][length]) ("", 0)
- 447
  
  SSTORE
  
  (mushroomColors0[8][data], mushroomColors0[8][length]) ("" to "#d8cc33", 0 to 7)
- 448
  
  SLOAD
  
  (mushroomColors0[9][data], mushroomColors0[9][length]) ("", 0)
- 449
  
  SSTORE
  
  (mushroomColors0[9][data], mushroomColors0[9][length]) ("" to "#2800ba", 0 to 7)
- 450
  
  SLOAD
  
  (mushroomColors0[10][data], mushroomColors0[10][length]) ("", 0)
- 451
  
  SSTORE
  
  (mushroomColors0[10][data], mushroomColors0[10][length]) ("" to "#f361ff", 0 to 7)
- 452
  
  SLOAD
  
  (mushroomColors0[11][data], mushroomColors0[11][length]) ("", 0)
- 453
  
  SSTORE
  
  (mushroomColors0[11][data], mushroomColors0[11][length]) ("" to "#4192c3", 0 to 7)
- 454
  
  SLOAD
  
  (mushroomColors0[12][data], mushroomColors0[12][length]) ("", 0)
- 455
  
  SSTORE
  
  (mushroomColors0[12][data], mushroomColors0[12][length]) ("" to "#d0c598", 0 to 7)
- 456
  
  SLOAD
  
  (mushroomColors0[13][data], mushroomColors0[13][length]) ("", 0)
- 457
  
  SSTORE
  
  (mushroomColors0[13][data], mushroomColors0[13][length]) ("" to "#f4c09a", 0 to 7)
- 458
  
  SLOAD
  
  (mushroomColors0[14][data], mushroomColors0[14][length]) ("", 0)
- 459
  
  SSTORE
  
  (mushroomColors0[14][data], mushroomColors0[14][length]) ("" to "#e3b2ff", 0 to 7)
- 460
  
  SLOAD
  
  mushroomColors1[length] 0
- 461
  
  SSTORE
  
  mushroomColors1[length] 0 to 12
- 462
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000026
  
  0x744a2cf8fd7008e3d53b67916e73460df9fa5214e3ef23dd4259ca09493a3594
- 463
  
  SLOAD
  
  (mushroomColors1[0][data], mushroomColors1[0][length]) ("", 0)
- 464
  
  SSTORE
  
  (mushroomColors1[0][data], mushroomColors1[0][length]) ("" to "#020104", 0 to 7)
- 465
  
  SLOAD
  
  (mushroomColors1[1][data], mushroomColors1[1][length]) ("", 0)
- 466
  
  SSTORE
  
  (mushroomColors1[1][data], mushroomColors1[1][length]) ("" to "#493114", 0 to 7)
- 467
  
  SLOAD
  
  (mushroomColors1[2][data], mushroomColors1[2][length]) ("", 0)
- 468
  
  SSTORE
  
  (mushroomColors1[2][data], mushroomColors1[2][length]) ("" to "#74254d", 0 to 7)
- 469
  
  SLOAD
  
  (mushroomColors1[3][data], mushroomColors1[3][length]) ("", 0)
- 470
  
  SSTORE
  
  (mushroomColors1[3][data], mushroomColors1[3][length]) ("" to "#453879", 0 to 7)
- 471
  
  SLOAD
  
  (mushroomColors1[4][data], mushroomColors1[4][length]) ("", 0)
- 472
  
  SSTORE
  
  (mushroomColors1[4][data], mushroomColors1[4][length]) ("" to "#306141", 0 to 7)
- 473
  
  SLOAD
  
  (mushroomColors1[5][data], mushroomColors1[5][length]) ("", 0)
- 474
  
  SSTORE
  
  (mushroomColors1[5][data], mushroomColors1[5][length]) ("" to "#83376e", 0 to 7)
- 475
  
  SLOAD
  
  (mushroomColors1[6][data], mushroomColors1[6][length]) ("", 0)
- 476
  
  SSTORE
  
  (mushroomColors1[6][data], mushroomColors1[6][length]) ("" to "#e59220", 0 to 7)
- 477
  
  SLOAD
  
  (mushroomColors1[7][data], mushroomColors1[7][length]) ("", 0)
- 478
  
  SSTORE
  
  (mushroomColors1[7][data], mushroomColors1[7][length]) ("" to "#7377a0", 0 to 7)
- 479
  
  SLOAD
  
  (mushroomColors1[8][data], mushroomColors1[8][length]) ("", 0)
- 480
  
  SSTORE
  
  (mushroomColors1[8][data], mushroomColors1[8][length]) ("" to "#30b7c0", 0 to 7)
- 481
  
  SLOAD
  
  (mushroomColors1[9][data], mushroomColors1[9][length]) ("", 0)
- 482
  
  SSTORE
  
  (mushroomColors1[9][data], mushroomColors1[9][length]) ("" to "#86b4bb", 0 to 7)
- 483
  
  SLOAD
  
  (mushroomColors1[10][data], mushroomColors1[10][length]) ("", 0)
- 484
  
  SSTORE
  
  (mushroomColors1[10][data], mushroomColors1[10][length]) ("" to "#ffa9a9", 0 to 7)
- 485
  
  SLOAD
  
  (mushroomColors1[11][data], mushroomColors1[11][length]) ("", 0)
- 486
  
  SSTORE
  
  (mushroomColors1[11][data], mushroomColors1[11][length]) ("" to "#f7e2c5", 0 to 7)
- 487
  
  SLOAD
  
  mushroomColors2[length] 0
- 488
  
  SSTORE
  
  mushroomColors2[length] 0 to 10
- 489
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000027
  
  0x98a476f1687bc3d60a2da2adbcba2c46958e61fa2fb4042cd7bc5816a710195b
- 490
  
  SLOAD
  
  (mushroomColors2[0][data], mushroomColors2[0][length]) ("", 0)
- 491
  
  SSTORE
  
  (mushroomColors2[0][data], mushroomColors2[0][length]) ("" to "#495900", 0 to 7)
- 492
  
  SLOAD
  
  (mushroomColors2[1][data], mushroomColors2[1][length]) ("", 0)
- 493
  
  SSTORE
  
  (mushroomColors2[1][data], mushroomColors2[1][length]) ("" to "#395844", 0 to 7)
- 494
  
  SLOAD
  
  (mushroomColors2[2][data], mushroomColors2[2][length]) ("", 0)
- 495
  
  SSTORE
  
  (mushroomColors2[2][data], mushroomColors2[2][length]) ("" to "#d47642", 0 to 7)
- 496
  
  SLOAD
  
  (mushroomColors2[3][data], mushroomColors2[3][length]) ("", 0)
- 497
  
  SSTORE
  
  (mushroomColors2[3][data], mushroomColors2[3][length]) ("" to "#719767", 0 to 7)
- 498
  
  SLOAD
  
  (mushroomColors2[4][data], mushroomColors2[4][length]) ("", 0)
- 499
  
  SSTORE
  
  (mushroomColors2[4][data], mushroomColors2[4][length]) ("" to "#8a8a00", 0 to 7)
- 500
  
  SLOAD
  
  (mushroomColors2[5][data], mushroomColors2[5][length]) ("", 0)
- 501
  
  SSTORE
  
  (mushroomColors2[5][data], mushroomColors2[5][length]) ("" to "#806a9c", 0 to 7)
- 502
  
  SLOAD
  
  (mushroomColors2[6][data], mushroomColors2[6][length]) ("", 0)
- 503
  
  SSTORE
  
  (mushroomColors2[6][data], mushroomColors2[6][length]) ("" to "#a2a2a2", 0 to 7)
- 504
  
  SLOAD
  
  (mushroomColors2[7][data], mushroomColors2[7][length]) ("", 0)
- 505
  
  SSTORE
  
  (mushroomColors2[7][data], mushroomColors2[7][length]) ("" to "#86d48e", 0 to 7)
- 506
  
  SLOAD
  
  (mushroomColors2[8][data], mushroomColors2[8][length]) ("", 0)
- 507
  
  SSTORE
  
  (mushroomColors2[8][data], mushroomColors2[8][length]) ("" to "#c3e88d", 0 to 7)
- 508
  
  SLOAD
  
  (mushroomColors2[9][data], mushroomColors2[9][length]) ("", 0)
- 509
  
  SSTORE
  
  (mushroomColors2[9][data], mushroomColors2[9][length]) ("" to "#c3b2ff", 0 to 7)
- 510
  
  SLOAD
  
  mushroomColors3[length] 0
- 511
  
  SSTORE
  
  mushroomColors3[length] 0 to 8
- 512
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000028
  
  0xe16da923a2d88192e5070f37b4571d58682c0d66212ec634d495f33de3f77ab5
- 513
  
  SLOAD
  
  (mushroomColors3[0][data], mushroomColors3[0][length]) ("", 0)
- 514
  
  SSTORE
  
  (mushroomColors3[0][data], mushroomColors3[0][length]) ("" to "#253d2d", 0 to 7)
- 515
  
  SLOAD
  
  (mushroomColors3[1][data], mushroomColors3[1][length]) ("", 0)
- 516
  
  SSTORE
  
  (mushroomColors3[1][data], mushroomColors3[1][length]) ("" to "#515130", 0 to 7)
- 517
  
  SLOAD
  
  (mushroomColors3[2][data], mushroomColors3[2][length]) ("", 0)
- 518
  
  SSTORE
  
  (mushroomColors3[2][data], mushroomColors3[2][length]) ("" to "#384f7a", 0 to 7)
- 519
  
  SLOAD
  
  (mushroomColors3[3][data], mushroomColors3[3][length]) ("", 0)
- 520
  
  SSTORE
  
  (mushroomColors3[3][data], mushroomColors3[3][length]) ("" to "#49a269", 0 to 7)
- 521
  
  SLOAD
  
  (mushroomColors3[4][data], mushroomColors3[4][length]) ("", 0)
- 522
  
  SSTORE
  
  (mushroomColors3[4][data], mushroomColors3[4][length]) ("" to "#b18b57", 0 to 7)
- 523
  
  SLOAD
  
  (mushroomColors3[5][data], mushroomColors3[5][length]) ("", 0)
- 524
  
  SSTORE
  
  (mushroomColors3[5][data], mushroomColors3[5][length]) ("" to "#fff392", 0 to 7)
- 525
  
  SLOAD
  
  (mushroomColors3[6][data], mushroomColors3[6][length]) ("", 0)
- 526
  
  SSTORE
  
  (mushroomColors3[6][data], mushroomColors3[6][length]) ("" to "#b4edcd", 0 to 7)
- 527
  
  SLOAD
  
  (mushroomColors3[7][data], mushroomColors3[7][length]) ("", 0)
- 528
  
  SSTORE
  
  (mushroomColors3[7][data], mushroomColors3[7][length]) ("" to "#ffffff", 0 to 7)
- 529
  
  SLOAD
  
  mushroomColors4[length] 0
- 530
  
  SSTORE
  
  mushroomColors4[length] 0 to 6
- 531
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000029
  
  0xcb7c14ce178f56e2e8d86ab33ebc0ae081ba8556a00cd122038841867181caac
- 532
  
  SLOAD
  
  (mushroomColors4[0][data], mushroomColors4[0][length]) ("", 0)
- 533
  
  SSTORE
  
  (mushroomColors4[0][data], mushroomColors4[0][length]) ("" to "#663a13", 0 to 7)
- 534
  
  SLOAD
  
  (mushroomColors4[1][data], mushroomColors4[1][length]) ("", 0)
- 535
  
  SSTORE
  
  (mushroomColors4[1][data], mushroomColors4[1][length]) ("" to "#137d5a", 0 to 7)
- 536
  
  SLOAD
  
  (mushroomColors4[2][data], mushroomColors4[2][length]) ("", 0)
- 537
  
  SSTORE
  
  (mushroomColors4[2][data], mushroomColors4[2][length]) ("" to "#974700", 0 to 7)
- 538
  
  SLOAD
  
  (mushroomColors4[3][data], mushroomColors4[3][length]) ("", 0)
- 539
  
  SSTORE
  
  (mushroomColors4[3][data], mushroomColors4[3][length]) ("" to "#49aa10", 0 to 7)
- 540
  
  SLOAD
  
  (mushroomColors4[4][data], mushroomColors4[4][length]) ("", 0)
- 541
  
  SSTORE
  
  (mushroomColors4[4][data], mushroomColors4[4][length]) ("" to "#99ba5a", 0 to 7)
- 542
  
  SLOAD
  
  (mushroomColors4[5][data], mushroomColors4[5][length]) ("", 0)
- 543
  
  SSTORE
  
  (mushroomColors4[5][data], mushroomColors4[5][length]) ("" to "#ade151", 0 to 7)
- 544
  
  SLOAD
  
  (_name[data], _name[length]) ("", 0)
- 545
  
  SSTORE
  
  (_name[data], _name[length]) ("" to "Fungi", 0 to 5)
- 546
  
  SLOAD
  
  (_symbol[data], _symbol[length]) ("", 0)
- 547
  
  SSTORE
  
  (_symbol[data], _symbol[length]) ("" to "FUNGI", 0 to 5)
- 548
  
  SLOAD
  
  (_owner, spores_count) ( 0x0000000000000000000000000000000000000000, 7)
- 549
  
  SSTORE
  
  (_owner, spores_count) ( 0x0000000000000000000000000000000000000000 to 0x03f290e2d3db8d6a77d102ec9ada6fc748f9e291, 7)
- 550
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001a
  
  0xb75ecc04ed35f89790e98640e901bda41eceff0cb896cf2765fb697680253750
- 551
  
  SLOAD
  
  grounds[0][length] 0
- 552
  
  SSTORE
  
  grounds[0][length] 0 to 1
- 553
  
  SHA3
  
  0xb75ecc04ed35f89790e98640e901bda41eceff0cb896cf2765fb697680253750
  
  0x57645f67ee3bca058c7b35264efb2383e18704e32e98a741144abd445d65f1f8
- 554
  
  SLOAD
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 0, 0, 0)
- 555
  
  SSTORE
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 0, 0, 0)
- 556
  
  SLOAD
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 0, 0, 0)
- 557
  
  SSTORE
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 0 to 17, 0, 0)
- 558
  
  SLOAD
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 17, 0, 0)
- 559
  
  SSTORE
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 17, 0 to 24, 0)
- 560
  
  SLOAD
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 17, 24, 0)
- 561
  
  SSTORE
  
  (grounds[0][0].x, grounds[0][0].y, grounds[0][0].width, grounds[0][0].height) (0, 17, 24, 0 to 7)
- 562
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000001a
  
  0xf88cd8d612926ebb404e40725c01084b6e9b3ce0344cde068570342cbd448c61
- 563
  
  SLOAD
  
  grounds[1][length] 0
- 564
  
  SSTORE
  
  grounds[1][length] 0 to 1
- 565
  
  SHA3
  
  0xf88cd8d612926ebb404e40725c01084b6e9b3ce0344cde068570342cbd448c61
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103b9
- 566
  
  SLOAD
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 0, 0, 0)
- 567
  
  SSTORE
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 0, 0, 0)
- 568
  
  SLOAD
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 0, 0, 0)
- 569
  
  SSTORE
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 0 to 17, 0, 0)
- 570
  
  SLOAD
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 17, 0, 0)
- 571
  
  SSTORE
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 17, 0 to 24, 0)
- 572
  
  SLOAD
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 17, 24, 0)
- 573
  
  SSTORE
  
  (grounds[1][0].x, grounds[1][0].y, grounds[1][0].width, grounds[1][0].height) (0, 17, 24, 0 to 8)
- 574
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000001a
  
  0xf88cd8d612926ebb404e40725c01084b6e9b3ce0344cde068570342cbd448c61
- 575
  
  SLOAD
  
  (grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length]) (1, 1, 1, 1, 1, 1)
- 576
  
  SSTORE
  
  (grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length]) (1 to 2, 1 to 2, 1 to 2, 1 to 2, 1 to 2, 1 to 2)
- 577
  
  SHA3
  
  0xf88cd8d612926ebb404e40725c01084b6e9b3ce0344cde068570342cbd448c61
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103b9
- 578
  
  SLOAD
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 0, 0, 0)
- 579
  
  SSTORE
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 0, 0, 0)
- 580
  
  SLOAD
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 0, 0, 0)
- 581
  
  SSTORE
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 0 to 17, 0, 0)
- 582
  
  SLOAD
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 17, 0, 0)
- 583
  
  SSTORE
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 17, 0 to 24, 0)
- 584
  
  SLOAD
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 17, 24, 0)
- 585
  
  SSTORE
  
  (grounds[1][1].x, grounds[1][1].y, grounds[1][1].width, grounds[1][1].height) (0, 17, 24, 0 to 1)
- 586
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000001a
  
  0xf88cd8d612926ebb404e40725c01084b6e9b3ce0344cde068570342cbd448c61
- 587
  
  SLOAD
  
  (grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length]) (2, 2, 2, 2, 2, 2)
- 588
  
  SSTORE
  
  (grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length], grounds[1][length]) (2 to 3, 2 to 3, 2 to 3, 2 to 3, 2 to 3, 2 to 3)
- 589
  
  SHA3
  
  0xf88cd8d612926ebb404e40725c01084b6e9b3ce0344cde068570342cbd448c61
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103b9
- 590
  
  SLOAD
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000000000
- 591
  
  SSTORE
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x0000000000000000000000000000000000000000000000000000000000000000
- 592
  
  SLOAD
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000000000
- 593
  
  SSTORE
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000000000 to 0x0000000000000000000000000000000000000000000000000000000000001200
- 594
  
  SLOAD
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000001200
- 595
  
  SSTORE
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000001200 to 0x0000000000000000000000000000000000000000000000000000000000181200
- 596
  
  SLOAD
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000181200
- 597
  
  SSTORE
  
  0x1bd08143b8e13d5320c63f5e1518a5c6b018c3fb932fb7daff79ec0771f103bb 0x0000000000000000000000000000000000000000000000000000000000181200 to 0x0000000000000000000000000000000000000000000000000000000001181200
- 598
  
  SSTORE
  
  _status 0 to 1
- 599
  
  SLOAD
  
  _totalSupply 0
- 600
  
  SSTORE
  
  _totalSupply 0 to 210000000000000000
- 601
  
  SHA3
  
  0x00000000000000000000000003f290e2d3db8d6a77d102ec9ada6fc748f9e2910000000000000000000000000000000000000000000000000000000000000000
  
  0x4d5afcba4f5263022b3e9d00314bd150f039cbcfd5d72c16b71472a561954c64
- 602
  
  SLOAD
  
  _balances[0x03f290e2d3db8d6a77d102ec9ada6fc748f9e291] 0
- 603
  
  SSTORE
  
  _balances[0x03f290e2d3db8d6a77d102ec9ada6fc748f9e291] 0 to 210000000000000000
- 604
  
  LOG
  
  Transfer (from= 0x0000000000000000000000000000000000000000, to= 0x03f290e2d3db8d6a77d102ec9ada6fc748f9e291, value=210000000000000000)