0xa7c153884bfadbc950549d7c490d5a2aa2b00ed2700d21fd57b894ba74fdd04e

Transaction

Succeeded

(

)

Ethereum

0x60008054

Txn fee 0.38733384 ETH

ETH

+$160.49

[SEND]

ETH

-$1,027.64

	Address	Token(s) swapped	Balance	Price	Value change
		ETH			+$160.49
		Ether	+0.060489458		+$160.49
	[SEND]	ETH			-$1,027.64
		Ether	-0.38733384		-$1,027.64

0

DEPLOYMENT

FeesCalculator 0x608060405234801561001057600080fd5b506004361061047f5760003560e01c806390bece4f11610257578063c4680a7111610146578063de732b73116100c3…
- 1
  
  SLOAD
  
  (_owner, maxCVIValue, depositFeePercent, withdrawFeePercent, openPositionFeePercent, openPositionLPFeePercent, closePositionLPFeePercent) ( 0x0000000000000000000000000000000000000000, 0, 0, 0, 0, 0, 0)
- 2
  
  SSTORE
  
  (_owner, maxCVIValue, depositFeePercent, withdrawFeePercent, openPositionFeePercent, openPositionLPFeePercent, closePositionLPFeePercent) ( 0x0000000000000000000000000000000000000000, 0, 0, 0, 0 to 15, 0 to 15, 0)
- 3
  
  SLOAD
  
  (buyingPremiumFeeMaxPercent, closingPremiumFeeMaxPercent, closePositionFeePercent, buyingPremiumThreshold, closePositionMaxFeePercent, maxTurbulenceFeePercentToTrim, turbulenceStepPercent, turbulenceIndicatorPercent, adjustedVolumeTimestamp, volumeTimeWindow, volumeFeeTimeWindow, maxVolumeFeeDeltaCollateral, midVolumeFee, maxVolumeFee) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 4
  
  SSTORE
  
  (buyingPremiumFeeMaxPercent, closingPremiumFeeMaxPercent, closePositionFeePercent, buyingPremiumThreshold, closePositionMaxFeePercent, maxTurbulenceFeePercentToTrim, turbulenceStepPercent, turbulenceIndicatorPercent, adjustedVolumeTimestamp, volumeTimeWindow, volumeFeeTimeWindow, maxVolumeFeeDeltaCollateral, midVolumeFee, maxVolumeFee) (0 to 1000, 0 to 1000, 0 to 30, 0 to 6500, 0 to 300, 0 to 100, 0 to 1000, 0, 0, 0 to 7200, 0 to 3600, 0 to 400, 0, 0 to 130)
- 5
  
  SLOAD
  
  (closeAdjustedVolumeTimestamp, closeVolumeTimeWindow, closeVolumeFeeTimeWindow, closeMaxVolumeFeeDeltaCollateral, closeMidVolumeFee, closeMaxVolumeFee) (0, 0, 0, 0, 0, 0)
- 6
  
  SSTORE
  
  (closeAdjustedVolumeTimestamp, closeVolumeTimeWindow, closeVolumeFeeTimeWindow, closeMaxVolumeFeeDeltaCollateral, closeMidVolumeFee, closeMaxVolumeFee) (0, 0 to 7200, 0 to 3600, 0 to 400, 0, 0 to 80)
- 7
  
  SSTORE
  
  oracleHeartbeatPeriod 0 to 3300
- 8
  
  SSTORE
  
  closePositionFeeDecayPeriod 0 to 86400
- 9
  
  SSTORE
  
  fundingFeeConstantRate 0 to 3000
- 10
  
  SLOAD
  
  (turbulenceDeviationThresholdPercent, turbulenceDeviationPercentage) (0, 0)
- 11
  
  SSTORE
  
  (turbulenceDeviationThresholdPercent, turbulenceDeviationPercentage) (0 to 7000, 0 to 500)
- 12
  
  SLOAD
  
  collateralToBuyingPremiumMapping[length] 0
- 13
  
  SSTORE
  
  collateralToBuyingPremiumMapping[length] 0 to 101
- 14
  
  SHA3
  
  0x0000000000000000000000000000000000000000000000000000000000000007
  
  0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
- 15
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 16
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 17
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 18
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 19
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 20
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 21
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 22
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 23
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 24
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 25
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 26
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 27
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 28
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 29
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 30
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 31
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 32
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 33
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 34
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 35
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 36
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 37
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 38
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 39
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 40
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 41
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 42
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 43
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 44
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 45
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 46
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[0], collateralToBuyingPremiumMapping[1], collateralToBuyingPremiumMapping[2], collateralToBuyingPremiumMapping[3], collateralToBuyingPremiumMapping[4], collateralToBuyingPremiumMapping[5], collateralToBuyingPremiumMapping[6], collateralToBuyingPremiumMapping[7], collateralToBuyingPremiumMapping[8], collateralToBuyingPremiumMapping[9], collateralToBuyingPremiumMapping[10], collateralToBuyingPremiumMapping[11], collateralToBuyingPremiumMapping[12], collateralToBuyingPremiumMapping[13], collateralToBuyingPremiumMapping[14], collateralToBuyingPremiumMapping[15]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 47
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 48
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 49
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 50
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 51
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 52
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 53
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 54
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 55
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 56
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 57
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 58
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 59
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 60
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 61
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 62
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 63
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 64
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 65
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 66
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 67
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 68
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 69
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 70
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 71
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 72
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 73
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 74
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 75
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 76
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 77
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 78
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[16], collateralToBuyingPremiumMapping[17], collateralToBuyingPremiumMapping[18], collateralToBuyingPremiumMapping[19], collateralToBuyingPremiumMapping[20], collateralToBuyingPremiumMapping[21], collateralToBuyingPremiumMapping[22], collateralToBuyingPremiumMapping[23], collateralToBuyingPremiumMapping[24], collateralToBuyingPremiumMapping[25], collateralToBuyingPremiumMapping[26], collateralToBuyingPremiumMapping[27], collateralToBuyingPremiumMapping[28], collateralToBuyingPremiumMapping[29], collateralToBuyingPremiumMapping[30], collateralToBuyingPremiumMapping[31]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 79
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 80
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 81
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 82
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 83
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 84
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 85
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 86
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 87
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 88
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 89
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 90
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 91
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 92
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 93
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 94
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 95
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 96
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 97
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 98
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 99
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 100
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 101
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 102
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 103
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 104
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 105
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 106
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 107
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 108
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 109
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 110
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[32], collateralToBuyingPremiumMapping[33], collateralToBuyingPremiumMapping[34], collateralToBuyingPremiumMapping[35], collateralToBuyingPremiumMapping[36], collateralToBuyingPremiumMapping[37], collateralToBuyingPremiumMapping[38], collateralToBuyingPremiumMapping[39], collateralToBuyingPremiumMapping[40], collateralToBuyingPremiumMapping[41], collateralToBuyingPremiumMapping[42], collateralToBuyingPremiumMapping[43], collateralToBuyingPremiumMapping[44], collateralToBuyingPremiumMapping[45], collateralToBuyingPremiumMapping[46], collateralToBuyingPremiumMapping[47]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 111
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 112
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 113
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 114
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 115
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 116
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 117
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 118
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 119
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 120
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 121
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 122
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 123
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 124
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 125
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 126
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 127
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 128
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 129
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 130
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 131
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 132
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 133
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 134
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 135
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 136
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 137
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 138
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 139
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 140
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 141
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 142
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[48], collateralToBuyingPremiumMapping[49], collateralToBuyingPremiumMapping[50], collateralToBuyingPremiumMapping[51], collateralToBuyingPremiumMapping[52], collateralToBuyingPremiumMapping[53], collateralToBuyingPremiumMapping[54], collateralToBuyingPremiumMapping[55], collateralToBuyingPremiumMapping[56], collateralToBuyingPremiumMapping[57], collateralToBuyingPremiumMapping[58], collateralToBuyingPremiumMapping[59], collateralToBuyingPremiumMapping[60], collateralToBuyingPremiumMapping[61], collateralToBuyingPremiumMapping[62], collateralToBuyingPremiumMapping[63]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 143
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 144
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 145
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 146
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 0 to 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 147
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 148
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 0 to 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 149
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 150
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 0 to 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 151
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 152
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 0 to 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 153
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 154
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 0 to 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 155
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 156
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 0 to 14, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 157
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 158
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 0 to 16, 0, 0, 0, 0, 0, 0, 0, 0)
- 159
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 0, 0, 0, 0, 0, 0, 0, 0)
- 160
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 0 to 20, 0, 0, 0, 0, 0, 0, 0)
- 161
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 0, 0, 0, 0, 0, 0, 0)
- 162
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 0 to 24, 0, 0, 0, 0, 0, 0)
- 163
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 0, 0, 0, 0, 0, 0)
- 164
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 0 to 29, 0, 0, 0, 0, 0)
- 165
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 0, 0, 0, 0, 0)
- 166
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 0 to 35, 0, 0, 0, 0)
- 167
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 0, 0, 0, 0)
- 168
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 0 to 42, 0, 0, 0)
- 169
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 42, 0, 0, 0)
- 170
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 42, 0 to 52, 0, 0)
- 171
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 42, 52, 0, 0)
- 172
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 42, 52, 0 to 63, 0)
- 173
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 42, 52, 63, 0)
- 174
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[64], collateralToBuyingPremiumMapping[65], collateralToBuyingPremiumMapping[66], collateralToBuyingPremiumMapping[67], collateralToBuyingPremiumMapping[68], collateralToBuyingPremiumMapping[69], collateralToBuyingPremiumMapping[70], collateralToBuyingPremiumMapping[71], collateralToBuyingPremiumMapping[72], collateralToBuyingPremiumMapping[73], collateralToBuyingPremiumMapping[74], collateralToBuyingPremiumMapping[75], collateralToBuyingPremiumMapping[76], collateralToBuyingPremiumMapping[77], collateralToBuyingPremiumMapping[78], collateralToBuyingPremiumMapping[79]) (0, 5, 6, 8, 9, 11, 14, 16, 20, 24, 29, 35, 42, 52, 63, 0 to 77)
- 175
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 176
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (0 to 94, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 177
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 178
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 0 to 115, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 179
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 180
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 0 to 140, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 181
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 182
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 0 to 172, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 183
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 184
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 0 to 212, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 185
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 186
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 0 to 261, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 187
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 188
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 0 to 323, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 189
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 190
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 0 to 399, 0, 0, 0, 0, 0, 0, 0, 0)
- 191
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 0, 0, 0, 0, 0, 0, 0, 0)
- 192
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 0 to 495, 0, 0, 0, 0, 0, 0, 0)
- 193
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 0, 0, 0, 0, 0, 0, 0)
- 194
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 0 to 615, 0, 0, 0, 0, 0, 0)
- 195
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 0, 0, 0, 0, 0, 0)
- 196
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 0 to 765, 0, 0, 0, 0, 0)
- 197
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 0, 0, 0, 0, 0)
- 198
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 0 to 953, 0, 0, 0, 0)
- 199
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 0, 0, 0, 0)
- 200
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 0 to 1000, 0, 0, 0)
- 201
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 1000, 0, 0, 0)
- 202
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 1000, 0 to 1000, 0, 0)
- 203
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 1000, 1000, 0, 0)
- 204
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 1000, 1000, 0 to 1000, 0)
- 205
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 1000, 1000, 1000, 0)
- 206
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[80], collateralToBuyingPremiumMapping[81], collateralToBuyingPremiumMapping[82], collateralToBuyingPremiumMapping[83], collateralToBuyingPremiumMapping[84], collateralToBuyingPremiumMapping[85], collateralToBuyingPremiumMapping[86], collateralToBuyingPremiumMapping[87], collateralToBuyingPremiumMapping[88], collateralToBuyingPremiumMapping[89], collateralToBuyingPremiumMapping[90], collateralToBuyingPremiumMapping[91], collateralToBuyingPremiumMapping[92], collateralToBuyingPremiumMapping[93], collateralToBuyingPremiumMapping[94], collateralToBuyingPremiumMapping[95]) (94, 115, 140, 172, 212, 261, 323, 399, 495, 615, 765, 953, 1000, 1000, 1000, 0 to 1000)
- 207
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 208
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (0 to 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 209
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 210
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 0 to 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 211
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 212
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 0 to 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 213
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 214
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 0 to 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 215
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 216
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 0 to 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 217
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 218
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 219
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 220
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 221
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 222
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 223
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 224
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 225
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 226
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 227
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 228
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 229
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 230
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 231
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 232
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 233
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 234
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 235
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 236
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 237
  
  SLOAD
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 238
  
  SSTORE
  
  (collateralToBuyingPremiumMapping[96], collateralToBuyingPremiumMapping[97], collateralToBuyingPremiumMapping[98], collateralToBuyingPremiumMapping[99], collateralToBuyingPremiumMapping[100], collateralToBuyingPremiumMapping[101], collateralToBuyingPremiumMapping[102], collateralToBuyingPremiumMapping[103], collateralToBuyingPremiumMapping[104], collateralToBuyingPremiumMapping[105], collateralToBuyingPremiumMapping[106], collateralToBuyingPremiumMapping[107], collateralToBuyingPremiumMapping[108], collateralToBuyingPremiumMapping[109], collateralToBuyingPremiumMapping[110], collateralToBuyingPremiumMapping[111]) (1000, 1000, 1000, 1000, 1000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
- 239
  
  SLOAD
  
  (_owner, maxCVIValue, depositFeePercent, withdrawFeePercent, openPositionFeePercent, openPositionLPFeePercent, closePositionLPFeePercent) ( 0x0000000000000000000000000000000000000000, 0, 0, 0, 15, 15, 0)
- 240
  
  SSTORE
  
  (_owner, maxCVIValue, depositFeePercent, withdrawFeePercent, openPositionFeePercent, openPositionLPFeePercent, closePositionLPFeePercent) ( 0x0000000000000000000000000000000000000000 to 0xcedad8c0ae5e0a878c01cc8c81e0ca2dba909ded, 0, 0, 0, 15, 15, 0)
- 242
  
  SLOAD
  
  (_owner, maxCVIValue, depositFeePercent, withdrawFeePercent, openPositionFeePercent, openPositionLPFeePercent, closePositionLPFeePercent) ( 0xcedad8c0ae5e0a878c01cc8c81e0ca2dba909ded, 0, 0, 0, 15, 15, 0)
- 243
  
  SSTORE
  
  (_owner, maxCVIValue, depositFeePercent, withdrawFeePercent, openPositionFeePercent, openPositionLPFeePercent, closePositionLPFeePercent) ( 0xcedad8c0ae5e0a878c01cc8c81e0ca2dba909ded, 0 to 22000, 0, 0, 15, 15, 0)
- 244
  
  SLOAD
  
  cviOracle 0x0000000000000000000000000000000000000000
- 245
  
  SSTORE
  
  cviOracle 0x0000000000000000000000000000000000000000 to 0x9bc99ed62555f8f0dd1566681a2327500f62a19e