[{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000386ab","0x0000000000000000000000000000000000000000000000000000000000007804"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"38394195620592639781554711412262025354845714991751691888417938157309519683104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f4b1","0x00000000000000000000000000000000000000000000000000000000000063ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"100280223299320965736444152689910147155212536592829752782503553496218799857284"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2e6","0x00000000000000000000000000000000000000000000000000000000000003d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"84110670850423455932579"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"7197"],"tag":"AbiUInt"},{"contents":[32,"3651320120"],"tag":"AbiUInt"},{"contents":[16,"65531"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025b11","0x0000000000000000000000000000000000000000000000000000000000000f97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1040000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea51","0x000000000000000000000000000000000000000000000000000000000000b25c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ab04","0x000000000000000000000000000000000000000000000000000000000000b69c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"531"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054d7c","0x0000000000000000000000000000000000000000000000000000000000002459"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"93425442730179879013322"],"tag":"AbiUInt"},{"contents":[{"contents":"0x2A545CaE522078EF2Bf8282B19e472E22AaFd6D2","tag":"AbiAddress"},{"contents":[16,"0"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"7001"],"tag":"AbiUInt"},{"contents":[32,"103"],"tag":"AbiUInt"},{"contents":[32,"785"],"tag":"AbiUInt"},{"contents":[32,"7703"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fc51","0x000000000000000000000000000000000000000000000000000000000000316a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d717","0x00000000000000000000000000000000000000000000000000000000000087bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"286085410382276501120948959418618"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"37"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x00000000000000000000000000000000000000000000000000000000000038b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"72812928402"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070378","0x000000000000000000000000000000000000000000000000000000000000e84d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021f01","0x0000000000000000000000000000000000000000000000000000000000000742"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043ea8","0x0000000000000000000000000000000000000000000000000000000000002fe3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"69880622583272254450144844113245546869044744649926421187577695850345811099024"],"tag":"AbiUInt"},{"contents":[256,"78588948429621946979934553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015bcb","0x000000000000000000000000000000000000000000000000000000000000bcd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"41730717480579111535804513898808341728257329930741555293441107729048095456701"],"tag":"AbiUInt"},{"contents":[256,"89952240062344495108055943730426697611973423176600625959375699397581406246531"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x0000000000000000000000000000000000000000000000000000000000004e5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c7c9","0x000000000000000000000000000000000000000000000000000000000000dee8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074bbb","0x000000000000000000000000000000000000000000000000000000000000d6a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007456a","0x0000000000000000000000000000000000000000000000000000000000002368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"81439072292696102448757958127520696927878420487498876356529637186452300581510"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031ee4","0x0000000000000000000000000000000000000000000000000000000000004a66"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002866d","0x00000000000000000000000000000000000000000000000000000000000016f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040713","0x000000000000000000000000000000000000000000000000000000000000ce13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a5ba","0x00000000000000000000000000000000000000000000000000000000000015a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"28663468839540587161114788852504813936107976843637782757104045754248025026143"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031217","0x00000000000000000000000000000000000000000000000000000000000002a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034e6e","0x0000000000000000000000000000000000000000000000000000000000008a57"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"381648809733"],"tag":"AbiUInt"},{"contents":[256,"4471583444819828482627774434699429684386897181513696676567628096753828571561"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051c2a","0x0000000000000000000000000000000000000000000000000000000000008f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ad5a","0x000000000000000000000000000000000000000000000000000000000000e58c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"9024784081753984596990414272072768678184058396094440473990520829768108929429"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f4e8","0x000000000000000000000000000000000000000000000000000000000000c7e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"71988580526391740697884439508870349830199872852150605217075047802120505875164"],"tag":"AbiUInt"},{"contents":[256,"89118673959232818356823603329004561884329854080365274646275738017801849667805"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009253d","0x0000000000000000000000000000000000000000000000000000000000007d7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035f3c","0x0000000000000000000000000000000000000000000000000000000000001542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"110409291409056227320962362600576729279654335362650495609113638403091313886591"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[16,"48196"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"46913"],"tag":"AbiUInt"},{"contents":[32,"666194113"],"tag":"AbiUInt"},{"contents":[32,"69"],"tag":"AbiUInt"},{"contents":[32,"1659800294"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000006a01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074105","0x000000000000000000000000000000000000000000000000000000000000ebdf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072c38","0x0000000000000000000000000000000000000000000000000000000000008ac5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"73944768725333318343907061984141701133"],"tag":"AbiUInt"},{"contents":[64,"18446744073709551614"],"tag":"AbiUInt"},{"contents":[16,"7602"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002387b","0x0000000000000000000000000000000000000000000000000000000000002643"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"33131294057275817601495167512513316136608673102557949677287388871928022389941"],"tag":"AbiUInt"},{"contents":[256,"60138896950121140093904773910373632749934564447325226849768239170471449199206"],"tag":"AbiUInt"},{"contents":[256,"2981726494668571940081"],"tag":"AbiUInt"},{"contents":[256,"21676543302"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x000000000000000000000000000000000000000000000000000000000000237a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"80623942256441524305598928"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"272854148956"],"tag":"AbiUInt"},{"contents":[40,"674972122210"],"tag":"AbiUInt"},{"contents":[24,"0"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b64c","0x0000000000000000000000000000000000000000000000000000000000001bdc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"38737897735044571670479831346920096451361957758678337767754874733680765002442"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f467","0x0000000000000000000000000000000000000000000000000000000000000f3c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b0f7","0x000000000000000000000000000000000000000000000000000000000000085e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000593e4","0x0000000000000000000000000000000000000000000000000000000000000ec2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"89"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"235359105266"],"tag":"AbiUInt"},{"contents":[40,"1099511627771"],"tag":"AbiUInt"},{"contents":[24,"4370001"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d5d2","0x0000000000000000000000000000000000000000000000000000000000004043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"39856115598546796908185"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x000000000000000000000000000000000000000000000000000000000000e512"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"72291391946373389935436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000299f6","0x00000000000000000000000000000000000000000000000000000000000079f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"235054660563"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019ac8","0x0000000000000000000000000000000000000000000000000000000000007211"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"37295386110"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000048b2","0x0000000000000000000000000000000000000000000000000000000000008bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000158e2","0x0000000000000000000000000000000000000000000000000000000000008fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c185","0x0000000000000000000000000000000000000000000000000000000000009636"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"45362865280891255055181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bd11","0x0000000000000000000000000000000000000000000000000000000000002ae3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071e19","0x0000000000000000000000000000000000000000000000000000000000001f06"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f7c4","0x0000000000000000000000000000000000000000000000000000000000002d20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"34759071798241428007181282497270352188338037691838085988248841560452047437264"],"tag":"AbiUInt"},{"contents":[256,"167561458644"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a315","0x0000000000000000000000000000000000000000000000000000000000003c03"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018d4f","0x00000000000000000000000000000000000000000000000000000000000084dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ffe","0x000000000000000000000000000000000000000000000000000000000000706e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cdf5","0x000000000000000000000000000000000000000000000000000000000000b763"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081e4b","0x0000000000000000000000000000000000000000000000000000000000004228"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001fd1e","0x000000000000000000000000000000000000000000000000000000000000968a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036f96","0x000000000000000000000000000000000000000000000000000000000000b684"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089978","0x000000000000000000000000000000000000000000000000000000000000d209"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d71e","0x000000000000000000000000000000000000000000000000000000000000018d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"81435197"],"tag":"AbiUInt"},{"contents":[256,"1012764166534684116192208058"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061791","0x000000000000000000000000000000000000000000000000000000000000026a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e0fd","0x000000000000000000000000000000000000000000000000000000000000e7a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"29604520195627488821411"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002a5a","0x0000000000000000000000000000000000000000000000000000000000005821"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"31930301605230340662309"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"56810"],"tag":"AbiUInt"},{"contents":[32,"4294967293"],"tag":"AbiUInt"},{"contents":[16,"4455"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cfd3","0x0000000000000000000000000000000000000000000000000000000000000dd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"726"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"8368"],"tag":"AbiUInt"},{"contents":[32,"4294967291"],"tag":"AbiUInt"},{"contents":[32,"2002"],"tag":"AbiUInt"},{"contents":[32,"16777213"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ae2a","0x0000000000000000000000000000000000000000000000000000000000004a7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"45927996628091650136675041999929159678548719875401551155156290968966266074010"],"tag":"AbiUInt"},{"contents":[256,"91385177746813491306069370"],"tag":"AbiUInt"},{"contents":[256,"3021978139418494244578357741088041128970005454708540987919671581618794301220"],"tag":"AbiUInt"},{"contents":[256,"50705735323384080087891970383133938528981813920922211233282559854427677239270"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bbca","0x00000000000000000000000000000000000000000000000000000000000055bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["targetArtifacts",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bdc1","0x0000000000000000000000000000000000000000000000000000000000000993"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"529862027664203251118"],"tag":"AbiUInt"},{"contents":[64,"14479685084082489450"],"tag":"AbiUInt"},{"contents":[16,"51458"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4e8","0x0000000000000000000000000000000000000000000000000000000000002a6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"88473989086"],"tag":"AbiUInt"},{"contents":[256,"2363164224225205087205794979715530134434000924438057213960081279234067771721"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"54657515557320881503201"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000403f7","0x0000000000000000000000000000000000000000000000000000000000001e78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"247"],"tag":"AbiUInt"},{"contents":[64,"34"],"tag":"AbiUInt"},{"contents":[16,"498"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d481","0x0000000000000000000000000000000000000000000000000000000000002e55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a779","0x000000000000000000000000000000000000000000000000000000000000de1b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"50734405901740738625010"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c882","0x000000000000000000000000000000000000000000000000000000000000850f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"746533171999"],"tag":"AbiUInt"},{"contents":[256,"78417782814571866678356697"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"968745007577"],"tag":"AbiUInt"},{"contents":[40,"766"],"tag":"AbiUInt"},{"contents":[24,"6124015"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000afa","0x0000000000000000000000000000000000000000000000000000000000004210"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022c1d","0x00000000000000000000000000000000000000000000000000000000000056b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"272"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063678","0x0000000000000000000000000000000000000000000000000000000000007851"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"86335827782173498920585"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f607","0x00000000000000000000000000000000000000000000000000000000000014b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d531","0x000000000000000000000000000000000000000000000000000000000000e778"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f5a5","0x000000000000000000000000000000000000000000000000000000000000df53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bffa","0x0000000000000000000000000000000000000000000000000000000000009120"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"322811739329"],"tag":"AbiUInt"},{"contents":[256,"44888148038135136892726977680533007880552073761332359864076356159455873634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000441c9","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"12875246950736984156286564443382462072236853307720740684651298485472723393693"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e82b","0x000000000000000000000000000000000000000000000000000000000000a00b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"60473042950886860092908223"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"1120143"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031bd3","0x000000000000000000000000000000000000000000000000000000000000ac38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ad31","0x0000000000000000000000000000000000000000000000000000000000000e82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ae78","0x000000000000000000000000000000000000000000000000000000000000d462"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"677"],"tag":"AbiUInt"},{"contents":[24,"93"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"256"],"tag":"AbiUInt"},{"contents":[32,"1812262400"],"tag":"AbiUInt"},{"contents":[16,"50393"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074201","0x000000000000000000000000000000000000000000000000000000000000e596"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058861","0x0000000000000000000000000000000000000000000000000000000000005291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"37172287730858857953270725403102547721132202430904083275783082245855642116975"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c8","0x000000000000000000000000000000000000000000000000000000000000e680"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d329","0x000000000000000000000000000000000000000000000000000000000000ae8c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041dd5","0x000000000000000000000000000000000000000000000000000000000000d22f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a7dd","0x0000000000000000000000000000000000000000000000000000000000001498"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"71515425499970507879929348910189022819657485056647344335857590605503176192206"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045d44","0x000000000000000000000000000000000000000000000000000000000000275a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ffe7","0x0000000000000000000000000000000000000000000000000000000000004c9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025c17","0x000000000000000000000000000000000000000000000000000000000000aadc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"84854066722385700764792138735570104699177845729735033941777908204520658808639"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005096f","0x000000000000000000000000000000000000000000000000000000000000b069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"93693313475808250772251078156485949563402204144128994929833568816980799276511"],"tag":"AbiUInt"},{"contents":[256,"40634783461"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081d78","0x000000000000000000000000000000000000000000000000000000000000bc85"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"1751904756589390929838"],"tag":"AbiUInt"},{"contents":[24,"288911"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"10100"],"tag":"AbiUInt"},{"contents":[32,"4114357856"],"tag":"AbiUInt"},{"contents":[16,"18"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000029b3","0x0000000000000000000000000000000000000000000000000000000000006736"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"24685899802099232658159731653757314591655161229485901975600361904572806835209"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c56e","0x000000000000000000000000000000000000000000000000000000000000727e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"109287844104995686231208930670001850013524817746717731306394320272808747906136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053fb8","0x0000000000000000000000000000000000000000000000000000000000001e41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008c56","0x000000000000000000000000000000000000000000000000000000000000aadf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000559b9","0x0000000000000000000000000000000000000000000000000000000000001c6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"93576343034376427790801993635442972240888569438976552233033011783365867949177"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[16,"49029"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000016","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"446"],"tag":"AbiUInt"},{"contents":[32,"248"],"tag":"AbiUInt"},{"contents":[32,"8002"],"tag":"AbiUInt"},{"contents":[32,"28447108"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006037d","0x00000000000000000000000000000000000000000000000000000000000093a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"699999999999999997"],"tag":"AbiUInt"},{"contents":[64,"5351321937339119830"],"tag":"AbiUInt"},{"contents":[16,"6302"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000615a5","0x0000000000000000000000000000000000000000000000000000000000008c16"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"37619463832286347239644930682426612918200768498664882291430971930410827897438"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"11610795"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027069","0x0000000000000000000000000000000000000000000000000000000000003dbd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]