[{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085ff5","0x0000000000000000000000000000000000000000000000000000000000007018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"17219104"],"tag":"AbiUInt"},{"contents":[256,"1013773618027771035171372387"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a637","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"1016578841339217138480177433"],"tag":"AbiUInt"},{"contents":[256,"14228325885901137265589264610700210178513860083252383437794164718360595544310"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008505a","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"59402241072837883150827684"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x000000000000000000000000000000000000000000000000000000000000533c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"88298960264139543208522912397091876515327596807631331882517106261927458203447"],"tag":"AbiUInt"},{"contents":[256,"49677628277"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c9af","0x000000000000000000000000000000000000000000000000000000000000001b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"81955473079516046949633743016697847541294818689821282749996681496272635257094"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000136b2","0x00000000000000000000000000000000000000000000000000000000000047d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"79126863410772857881492314256319175774387573291575769199327442501166918773533"],"tag":"AbiUInt"},{"contents":[256,"78646000592598685696762956"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000037aa","0x0000000000000000000000000000000000000000000000000000000000000ef2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000607be","0x0000000000000000000000000000000000000000000000000000000000003dee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ecb6","0x0000000000000000000000000000000000000000000000000000000000009dbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031697","0x0000000000000000000000000000000000000000000000000000000000000d7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000028","0x000000000000000000000000000000000000000000000000000000000000d12b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d5be","0x000000000000000000000000000000000000000000000000000000000000250d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002800b","0x000000000000000000000000000000000000000000000000000000000000d7cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129574401"],"tag":"AbiUInt"},{"contents":[24,"1332613"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"51063"],"tag":"AbiUInt"},{"contents":[32,"1563233922"],"tag":"AbiUInt"},{"contents":[16,"62542"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015119","0x0000000000000000000000000000000000000000000000000000000000007019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"56343323031860097234170466538583686073268008386569979096491561976072728523915"],"tag":"AbiUInt"},{"contents":[256,"36063081221405544039945064906992404741153183400980340391324115832320532014821"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"2785634859"],"tag":"AbiUInt"},{"contents":[40,"1099511627771"],"tag":"AbiUInt"},{"contents":[24,"14564159"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009eb1","0x000000000000000000000000000000000000000000000000000000000000bdf7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065d7c","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629783"],"tag":"AbiUInt"},{"contents":[256,"79766917778918481530726400344073875112769303252312680350943010812691068970559"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011981","0x0000000000000000000000000000000000000000000000000000000000006ed5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"703"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665540564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"999999999997"],"tag":"AbiUInt"},{"contents":[256,"43083576"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000065e5","0x0000000000000000000000000000000000000000000000000000000000009908"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088759","0x0000000000000000000000000000000000000000000000000000000000003ca0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007daf4","0x0000000000000000000000000000000000000000000000000000000000002418"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"39817916058176738943879"],"tag":"AbiUInt"},{"contents":[24,"10045429"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"163"],"tag":"AbiUInt"},{"contents":[32,"77"],"tag":"AbiUInt"},{"contents":[16,"7797"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c7d7","0x000000000000000000000000000000000000000000000000000000000000d14e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006db89","0x000000000000000000000000000000000000000000000000000000000000680f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000611c6","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f04b","0x000000000000000000000000000000000000000000000000000000000000b2a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"35588406373719586886302163051442773803184318381841686622394451018356861859102"],"tag":"AbiUInt"},{"contents":[256,"34638626324217232446073817130807419456901852961765850962013334731001584966661"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081706","0x0000000000000000000000000000000000000000000000000000000000005877"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e65e","0x0000000000000000000000000000000000000000000000000000000000004958"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"4418214442477173101091849504468630317436164244573505633319085306000566199503"],"tag":"AbiUInt"},{"contents":[256,"114982738741508450409074878309509157619131801122408647105773008951077225705608"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a88e","0x00000000000000000000000000000000000000000000000000000000000035ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"88413330683393566283398318136228575116188915409753542836509187275557181481217"],"tag":"AbiUInt"},{"contents":[256,"1003818393319208536736168861"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025761","0x000000000000000000000000000000000000000000000000000000000000ddaf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"82349223980"],"tag":"AbiUInt"},{"contents":[256,"85024021334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000abe0","0x00000000000000000000000000000000000000000000000000000000000084bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"78706152104855835570277527"],"tag":"AbiUInt"},{"contents":[256,"112478173133509601371266214237753515516817907353230233347106680984453679173243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091afe","0x000000000000000000000000000000000000000000000000000000000000851f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"105904727551998591501449892736475446936762115321738088019435223103302740975666"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043d16","0x000000000000000000000000000000000000000000000000000000000000995e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea66","0x0000000000000000000000000000000000000000000000000000000000007323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037220","0x0000000000000000000000000000000000000000000000000000000000005414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"10975705973492138480151471659079842449743745569080290484715030450685986492713"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"35795"],"tag":"AbiUInt"},{"contents":[32,"3139254131"],"tag":"AbiUInt"},{"contents":[32,"19712255"],"tag":"AbiUInt"},{"contents":[32,"45"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dcdb","0x0000000000000000000000000000000000000000000000000000000000005bc8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"3836979629901175659546304892478670082089273641735595340288667302159656221324"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"423"],"tag":"AbiUInt"},{"contents":[32,"82"],"tag":"AbiUInt"},{"contents":[32,"4369999"],"tag":"AbiUInt"},{"contents":[32,"2646592491"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x0000000000000000000000000000000000000000000000000000000000003e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"134322527645"],"tag":"AbiUInt"},{"contents":[256,"1025224205154882385355353708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c4e7","0x000000000000000000000000000000000000000000000000000000000000b0ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"15063695697"],"tag":"AbiUInt"},{"contents":[256,"898588350140"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dd52","0x00000000000000000000000000000000000000000000000000000000000063dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000311d1","0x000000000000000000000000000000000000000000000000000000000000c150"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"8555890305385266987733"],"tag":"AbiUInt"},{"contents":[256,"93054163628930120509360903735311839211890908045698392058155338190111211056460"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"56619240281682238784910539164492050926002048470562449460967774245342641897494"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044463","0x0000000000000000000000000000000000000000000000000000000000003494"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"495718614021"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d0f6","0x000000000000000000000000000000000000000000000000000000000000b534"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"32672250656138289911050303847883514476261698956098641011313985290438696143118"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c242","0x0000000000000000000000000000000000000000000000000000000000004d80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e72","0x000000000000000000000000000000000000000000000000000000000000282a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000447ff","0x0000000000000000000000000000000000000000000000000000000000001944"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"78275504346001662671040998"],"tag":"AbiUInt"},{"contents":[24,"12132664"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"7897"],"tag":"AbiUInt"},{"contents":[32,"1942207914"],"tag":"AbiUInt"},{"contents":[16,"9738"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006228d","0x00000000000000000000000000000000000000000000000000000000000036e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"45149057499740467185739338600643496758015402354433097001048847306912570010380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e9f4","0x000000000000000000000000000000000000000000000000000000000000032c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"23855805330"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c7b0","0x000000000000000000000000000000000000000000000000000000000000b953"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"16777213"],"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":["0x000000000000000000000000000000000000000000000000000000000000c068","0x000000000000000000000000000000000000000000000000000000000000dcf7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039c23","0x000000000000000000000000000000000000000000000000000000000000a381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"98269510576917223564194099783121805782711472224278084873109842245471274823367"],"tag":"AbiUInt"},{"contents":[24,"545248"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"42691"],"tag":"AbiUInt"},{"contents":[32,"7700"],"tag":"AbiUInt"},{"contents":[16,"27"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d93d","0x00000000000000000000000000000000000000000000000000000000000048cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"413908304943328255502679377273411544869743756855283503279202944107919186656"],"tag":"AbiUInt"},{"contents":[256,"81703916381598044366556940037928528778483882277104928634288311320381128079442"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ca6e","0x0000000000000000000000000000000000000000000000000000000000000ed7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"18026514122661873932594654956819821266445105061548234585353940842883446695719"],"tag":"AbiUInt"},{"contents":[256,"85944347591999178705831047"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090055","0x0000000000000000000000000000000000000000000000000000000000008f89"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085e65","0x0000000000000000000000000000000000000000000000000000000000002314"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"786273555064"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006b2a","0x0000000000000000000000000000000000000000000000000000000000009da6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001fa06","0x00000000000000000000000000000000000000000000000000000000000088e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"97444872964427122561735917234143940118615312267903163740336120186448047372981"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017808","0x0000000000000000000000000000000000000000000000000000000000006d0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"14645664777910326400458053504205586289822485520877615938489341597281286062671"],"tag":"AbiUInt"},{"contents":[256,"112393246686888006523507388630851909440602851447261591362833539719911224231743"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007bb4a","0x000000000000000000000000000000000000000000000000000000000000913b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011946","0x0000000000000000000000000000000000000000000000000000000000007f8a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009900","0x000000000000000000000000000000000000000000000000000000000000ca41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"9854666372544474100864780747763633574858285855932415011225174118508733568306"],"tag":"AbiUInt"},{"contents":[256,"81703916381598044366556940037928528778483882277104928634288311320381128079442"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000790f6","0x000000000000000000000000000000000000000000000000000000000000c6b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"36715775110"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"933"],"tag":"AbiUInt"},{"contents":[32,"7502"],"tag":"AbiUInt"},{"contents":[32,"4294967292"],"tag":"AbiUInt"},{"contents":[32,"16777215"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013e65","0x000000000000000000000000000000000000000000000000000000000000afb1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bcb9","0x00000000000000000000000000000000000000000000000000000000000065f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"78221136854139462730494726329033154747268860104916975021882402535143916012653"],"tag":"AbiUInt"},{"contents":[256,"41860605935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eb3e","0x0000000000000000000000000000000000000000000000000000000000000eb2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008bc8d","0x000000000000000000000000000000000000000000000000000000000000bde4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"100224253683349070353783231123350222087097463591878145082435007037537681370948"],"tag":"AbiUInt"},{"contents":[24,"29"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"13814"],"tag":"AbiUInt"},{"contents":[32,"89879713"],"tag":"AbiUInt"},{"contents":[16,"7203"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000338d4","0x000000000000000000000000000000000000000000000000000000000000ea6f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"5777727039660059196569609864972124517405424631067003651191254566416593471044"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"0"],"tag":"AbiUInt"},{"contents":[32,"27"],"tag":"AbiUInt"},{"contents":[16,"22301"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007239f","0x000000000000000000000000000000000000000000000000000000000000108e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"106812992347430599165123964363718823133225044672875861875880819998970662440583"],"tag":"AbiUInt"},{"contents":[256,"45780507267428045293567970736"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"1050471196555"],"tag":"AbiUInt"},{"contents":[40,"999999999999"],"tag":"AbiUInt"},{"contents":[24,"11962033"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001aae9","0x0000000000000000000000000000000000000000000000000000000000000edf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"1018907977301828289702548320"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000216e8","0x000000000000000000000000000000000000000000000000000000000000d343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b7d2","0x000000000000000000000000000000000000000000000000000000000000c776"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"9854666372544474100864780747763633574858285855932415011225174118508733568306"],"tag":"AbiUInt"},{"contents":[256,"81703916381598044366556940037928528778483882277104928634288311320381128079442"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043629","0x000000000000000000000000000000000000000000000000000000000000b503"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"85889484061462805705166506206092123911641095670523648101247891366181103586630"],"tag":"AbiUInt"},{"contents":[256,"56844007250106506541177"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000678b0","0x00000000000000000000000000000000000000000000000000000000000065e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000916ec","0x0000000000000000000000000000000000000000000000000000000000007689"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"1037544512716710482832312813"],"tag":"AbiUInt"},{"contents":[256,"9999999999999999997251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084a8d","0x00000000000000000000000000000000000000000000000000000000000059d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"3416463583130444631236347792065345808862182987410291415208465913763292193565"],"tag":"AbiUInt"},{"contents":[256,"812"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c4c4","0x0000000000000000000000000000000000000000000000000000000000000856"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"340282366920938463463374607431768211453"],"tag":"AbiUInt"},{"contents":[64,"7703"],"tag":"AbiUInt"},{"contents":[16,"15859"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001271a","0x0000000000000000000000000000000000000000000000000000000000009bc8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"600000000013"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006aa81","0x000000000000000000000000000000000000000000000000000000000000e322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068c61","0x0000000000000000000000000000000000000000000000000000000000005bb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"34812010017291658308"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"61495"],"tag":"AbiUInt"},{"contents":[32,"4998"],"tag":"AbiUInt"},{"contents":[16,"62055"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b5c6","0x000000000000000000000000000000000000000000000000000000000000d8f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"1033953338210678352722434438"],"tag":"AbiUInt"},{"contents":[256,"7005912089648265824102"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"4365"],"tag":"AbiUInt"},{"contents":[40,"10103"],"tag":"AbiUInt"},{"contents":[24,"416470"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000366d4","0x000000000000000000000000000000000000000000000000000000000000300e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015dbd","0x0000000000000000000000000000000000000000000000000000000000001b1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"71827981028048253959266567245769505032794317687880529679363052972457600051513"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048901","0x00000000000000000000000000000000000000000000000000000000000058c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f3a4","0x0000000000000000000000000000000000000000000000000000000000002208"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ed22","0x0000000000000000000000000000000000000000000000000000000000001916"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"54704541230793113105880296457003090420749481673577084710410995307296318451127"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043f01","0x0000000000000000000000000000000000000000000000000000000000000b04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000446cd","0x0000000000000000000000000000000000000000000000000000000000008e1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"106050832947810277461314629174099457289206202013225437078773805088033192513763"],"tag":"AbiUInt"},{"contents":[256,"14497381798325821304838539150595226695111044651145217415192309334114673807675"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"813339552605"],"tag":"AbiUInt"},{"contents":[40,"847811667943"],"tag":"AbiUInt"},{"contents":[24,"12835305"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ea72","0x0000000000000000000000000000000000000000000000000000000000000180"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"29047037172517028639161057903668002371620409530471276530625886694328235095778"],"tag":"AbiUInt"},{"contents":[256,"111439892294896570209802577837890729699488697638316409632113570438585111427088"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000050f2","0x00000000000000000000000000000000000000000000000000000000000003d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"48227068154699844534771278780477394320013677978633838848271911077713435222231"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bf53","0x0000000000000000000000000000000000000000000000000000000000005147"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000254e","0x0000000000000000000000000000000000000000000000000000000000009555"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"37775420500938380217316128464087287357764424067413128922259485231253717009370"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062ebd","0x0000000000000000000000000000000000000000000000000000000000007e5d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"81394049765340881027393764891107078968652294521632540446398242984894062653501"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010a69","0x00000000000000000000000000000000000000000000000000000000000061f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"93887976858551036145011478478024776337874435484847093636796425855523132346846"],"tag":"AbiUInt"},{"contents":[256,"6452527770"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006aa93","0x000000000000000000000000000000000000000000000000000000000000a0d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"26113660875038971154907509443875408129255439229896248907334476143009369422934"],"tag":"AbiUInt"},{"contents":[256,"92258833937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027867","0x00000000000000000000000000000000000000000000000000000000000009ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cbdd","0x00000000000000000000000000000000000000000000000000000000000092c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"29228226314025574323340358806084340026407726621508265942683572390110942110908"],"tag":"AbiUInt"},{"contents":[256,"321523703651"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"3933222010"],"tag":"AbiUInt"},{"contents":[40,"10599"],"tag":"AbiUInt"},{"contents":[24,"7997"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016215","0x000000000000000000000000000000000000000000000000000000000000b448"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"48195610617"],"tag":"AbiUInt"},{"contents":[256,"226565113"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069c60","0x000000000000000000000000000000000000000000000000000000000000a7c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018782","0x000000000000000000000000000000000000000000000000000000000000d0a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"1038031667781252863216532499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027b88","0x0000000000000000000000000000000000000000000000000000000000003555"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"86722840743646526606373332133580743437614481142059225639553318854449379147321"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"201"],"tag":"AbiUInt"},{"contents":[32,"916786329"],"tag":"AbiUInt"},{"contents":[32,"2460648367"],"tag":"AbiUInt"},{"contents":[32,"441692217"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000150e","0x0000000000000000000000000000000000000000000000000000000000002718"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"1645748"],"tag":"AbiUInt"},{"contents":[256,"75591887368375011399427486242416386741935146625843295220953812390791368004978"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f602","0x000000000000000000000000000000000000000000000000000000000000996e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"28252959017087478868394"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000387ac","0x0000000000000000000000000000000000000000000000000000000000006c4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]