[{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"68"],"tag":"AbiUInt"},{"contents":[64,"2326552494791405798"],"tag":"AbiUInt"},{"contents":[16,"20822"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000550aa","0x000000000000000000000000000000000000000000000000000000000000222c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"256"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007195f","0x0000000000000000000000000000000000000000000000000000000000003aac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000107ec","0x000000000000000000000000000000000000000000000000000000000000d947"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"945"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853268655437644779123584680200852849295364"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d468","0x00000000000000000000000000000000000000000000000000000000000041d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005f86","0x0000000000000000000000000000000000000000000000000000000000001c59"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"2549814712934164167939"],"tag":"AbiUInt"},{"contents":[256,"3045182563086692853639"],"tag":"AbiUInt"},{"contents":[256,"39775842562"],"tag":"AbiUInt"},{"contents":[256,"80448653508560535898345628011022706875355200344490540880741392907341246702923"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044873","0x0000000000000000000000000000000000000000000000000000000000007d9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"14839140801"],"tag":"AbiUInt"},{"contents":[256,"51611928060135405643922946720711479389172692731558307854644496315989053585247"],"tag":"AbiUInt"},{"contents":[256,"1776511719265936347456"],"tag":"AbiUInt"},{"contents":[256,"60711211368326023309080665155993876542667527694899647614962113770744846946226"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006163d","0x0000000000000000000000000000000000000000000000000000000000002c2f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"10097"],"tag":"AbiUInt"},{"contents":[64,"16777217"],"tag":"AbiUInt"},{"contents":[16,"8613"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e514","0x000000000000000000000000000000000000000000000000000000000000c7d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027911","0x0000000000000000000000000000000000000000000000000000000000001cb0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"1030000000000000000"],"tag":"AbiUInt"},{"contents":[64,"15902848965177230649"],"tag":"AbiUInt"},{"contents":[16,"40"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000548a7","0x0000000000000000000000000000000000000000000000000000000000002027"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f7d6","0x0000000000000000000000000000000000000000000000000000000000004286"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"84766623038285152436821052321032089537644987099370949968768515004914966442204"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047667","0x0000000000000000000000000000000000000000000000000000000000000b3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"349650283150"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[16,"30415"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000011","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"4772"],"tag":"AbiUInt"},{"contents":[32,"30"],"tag":"AbiUInt"},{"contents":[32,"1199"],"tag":"AbiUInt"},{"contents":[32,"1592949923"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032e2b","0x000000000000000000000000000000000000000000000000000000000000a0d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"39345270722"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e438","0x000000000000000000000000000000000000000000000000000000000000326f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"10352216466812032729607220354050952395228328076711009665614801865200705263927"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"50390"],"tag":"AbiUInt"},{"contents":[32,"93"],"tag":"AbiUInt"},{"contents":[16,"10503"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035d8f","0x00000000000000000000000000000000000000000000000000000000000042ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000c05","0x0000000000000000000000000000000000000000000000000000000000005da7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e552","0x000000000000000000000000000000000000000000000000000000000000af2d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000303c4","0x00000000000000000000000000000000000000000000000000000000000059d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e6be","0x000000000000000000000000000000000000000000000000000000000000c4c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bb49","0x0000000000000000000000000000000000000000000000000000000000001fbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e843","0x0000000000000000000000000000000000000000000000000000000000001ff7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f5ce","0x0000000000000000000000000000000000000000000000000000000000000ba5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"7562403946151078874295631738415582230493648308282849389693175177030126806630"],"tag":"AbiUInt"},{"contents":[256,"785316366950"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041f5e","0x000000000000000000000000000000000000000000000000000000000000618e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f582","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000936cd","0x00000000000000000000000000000000000000000000000000000000000047da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"65533"],"tag":"AbiUInt"},{"contents":[64,"17571926376856738315"],"tag":"AbiUInt"},{"contents":[16,"35698"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007de28","0x0000000000000000000000000000000000000000000000000000000000004eee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"66894471730159718959281670103054752938299343719461459692074347576849224054473"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"500"],"tag":"AbiUInt"},{"contents":[32,"5002"],"tag":"AbiUInt"},{"contents":[16,"3312"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000454fe","0x0000000000000000000000000000000000000000000000000000000000003456"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"67125230940518019212384"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5bd","0x000000000000000000000000000000000000000000000000000000000000485b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000183c2","0x00000000000000000000000000000000000000000000000000000000000001a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cc2f","0x00000000000000000000000000000000000000000000000000000000000074cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007930c","0x000000000000000000000000000000000000000000000000000000000000abd5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"95452410105794123566772762403816583183733116443962577051213086183575305000532"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"6385"],"tag":"AbiUInt"},{"contents":[32,"10399"],"tag":"AbiUInt"},{"contents":[16,"0"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003209f","0x000000000000000000000000000000000000000000000000000000000000c472"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010bcc","0x0000000000000000000000000000000000000000000000000000000000008d88"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"2767824634939522662675721482372000314409595257872586107286749481262410611142"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[16,"101"],"tag":"AbiUInt"},{"contents":"0x2f08910E0eaE2d057fB8b0160E86ff505E584832","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"34644"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"},{"contents":[32,"10200"],"tag":"AbiUInt"},{"contents":[32,"2162179361"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067e0d","0x00000000000000000000000000000000000000000000000000000000000047f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006379f","0x0000000000000000000000000000000000000000000000000000000000002390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"2767824634939522662675721482372000314409595257872586107286749481262410611142"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[16,"101"],"tag":"AbiUInt"},{"contents":"0x2f08910E0eaE2d057fB8b0160E86ff505E584832","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"34644"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"},{"contents":[32,"10200"],"tag":"AbiUInt"},{"contents":[32,"2162179361"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047507","0x000000000000000000000000000000000000000000000000000000000000dcfe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046c08","0x0000000000000000000000000000000000000000000000000000000000002f4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fb72","0x0000000000000000000000000000000000000000000000000000000000003b70"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"83550639724002322489677039178533796058087747680788135699153787208290789790117"],"tag":"AbiUInt"},{"contents":[24,"2546112"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"17559"],"tag":"AbiUInt"},{"contents":[32,"1728070891"],"tag":"AbiUInt"},{"contents":[16,"9999"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000856","0x0000000000000000000000000000000000000000000000000000000000001773"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"3672023026421337501241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088aa7","0x000000000000000000000000000000000000000000000000000000000000a6d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061731","0x000000000000000000000000000000000000000000000000000000000000225f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"25026900827120546809831993826459064293419134683083786394440302672414744101120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016698","0x000000000000000000000000000000000000000000000000000000000000c2fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"101003343102534538719564993105215854124554152374274153152324926342543739769146"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072dcc","0x000000000000000000000000000000000000000000000000000000000000a718"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c7e6","0x000000000000000000000000000000000000000000000000000000000000a25c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026b67","0x000000000000000000000000000000000000000000000000000000000000719f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"107705032582630557755943201326045721086270996689596689198188583022045344596362"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f796","0x000000000000000000000000000000000000000000000000000000000000395b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ebd4","0x000000000000000000000000000000000000000000000000000000000000ca87"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"231845794277093606053399950311364637691"],"tag":"AbiUInt"},{"contents":[64,"946"],"tag":"AbiUInt"},{"contents":[16,"32751"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065967","0x000000000000000000000000000000000000000000000000000000000000c69d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"38789369921"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ceec","0x0000000000000000000000000000000000000000000000000000000000004c69"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"112488864830083493618859365543556906190530069798984832422850958698427967788799"],"tag":"AbiUInt"},{"contents":[256,"36794145149466161547528"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009fd9","0x000000000000000000000000000000000000000000000000000000000000da6e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083f11","0x000000000000000000000000000000000000000000000000000000000000a3f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"74531894126296337859727317977281892122397590395286356200386038336935491505906"],"tag":"AbiUInt"},{"contents":[256,"389832456875"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008abd7","0x0000000000000000000000000000000000000000000000000000000000000cd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056d0b","0x0000000000000000000000000000000000000000000000000000000000009039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028cd6","0x000000000000000000000000000000000000000000000000000000000000472b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015718","0x0000000000000000000000000000000000000000000000000000000000004e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"33204251124938579494554928716552326251"],"tag":"AbiUInt"},{"contents":[64,"17549388413897579417"],"tag":"AbiUInt"},{"contents":[16,"43289"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090db9","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"468870615128"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052759","0x0000000000000000000000000000000000000000000000000000000000006e39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[24,"161"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"65534"],"tag":"AbiUInt"},{"contents":[32,"243"],"tag":"AbiUInt"},{"contents":[16,"58300"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ecf9","0x0000000000000000000000000000000000000000000000000000000000002c9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"81747185751428162472278896695939992476225823702307332212503711226352220705298"],"tag":"AbiUInt"},{"contents":[256,"107933642543982876585072300493299939677445747025998310927542393924820634625223"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056715","0x000000000000000000000000000000000000000000000000000000000000551d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"69901334936090860429843"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907852929702298719625575994209400481361428484"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014946","0x0000000000000000000000000000000000000000000000000000000000003658"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"85297585826336158419290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b478","0x0000000000000000000000000000000000000000000000000000000000003206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"3506447524"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"125"],"tag":"AbiUInt"},{"contents":[32,"10103"],"tag":"AbiUInt"},{"contents":[16,"56107"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d16","0x0000000000000000000000000000000000000000000000000000000000009791"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"58748051638819536189624217335035264361860856253041634263615447777502257956072"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"7201"],"tag":"AbiUInt"},{"contents":[32,"1238025395"],"tag":"AbiUInt"},{"contents":[32,"10399"],"tag":"AbiUInt"},{"contents":[32,"457788534"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c435","0x000000000000000000000000000000000000000000000000000000000000a50d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"68"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004be6","0x000000000000000000000000000000000000000000000000000000000000ab5a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"6045487458191455039197483678386207661980451031868926820370800927970828128725"],"tag":"AbiUInt"},{"contents":[256,"59401167010284007849686360855456478616734518891490955453111324191800230369423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e914","0x000000000000000000000000000000000000000000000000000000000000170b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"899999999999999998"],"tag":"AbiUInt"},{"contents":[64,"57"],"tag":"AbiUInt"},{"contents":[16,"56775"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060628","0x0000000000000000000000000000000000000000000000000000000000007ccf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064033","0x0000000000000000000000000000000000000000000000000000000000005e5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"3648129514827402294977"],"tag":"AbiUInt"},{"contents":[256,"59282575840008734212309241897855558634386853985317927825990506146974453936189"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"10601"],"tag":"AbiUInt"},{"contents":[40,"1099511627773"],"tag":"AbiUInt"},{"contents":[24,"16777211"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a830","0x00000000000000000000000000000000000000000000000000000000000092df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055d99","0x0000000000000000000000000000000000000000000000000000000000004b08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075bf9","0x000000000000000000000000000000000000000000000000000000000000c647"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069277","0x000000000000000000000000000000000000000000000000000000000000cc4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"618225935797"],"tag":"AbiUInt"},{"contents":[256,"4691866976700090672316"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009088","0x000000000000000000000000000000000000000000000000000000000000ce76"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"1006394017178008642648810873"],"tag":"AbiUInt"},{"contents":[256,"7026838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a165","0x0000000000000000000000000000000000000000000000000000000000005232"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"12713618058370987635169400497881279945786488988872421764808319905130314463390"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d712","0x0000000000000000000000000000000000000000000000000000000000001782"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000672e7","0x000000000000000000000000000000000000000000000000000000000000bcc9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000139d2","0x000000000000000000000000000000000000000000000000000000000000523b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"2767824634939522662675721482372000314409595257872586107286749481262410611142"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[16,"101"],"tag":"AbiUInt"},{"contents":"0x2f08910E0eaE2d057fB8b0160E86ff505E584832","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"34644"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"},{"contents":[32,"10200"],"tag":"AbiUInt"},{"contents":[32,"2162179361"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092eda","0x000000000000000000000000000000000000000000000000000000000000621f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"254944549604565890599717893626522020220"],"tag":"AbiUInt"},{"contents":[64,"501"],"tag":"AbiUInt"},{"contents":[16,"4602"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042b48","0x00000000000000000000000000000000000000000000000000000000000070e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"90201455120449874560355628168220601308220200563842810867472234335073753240064"],"tag":"AbiUInt"},{"contents":[256,"14061327092602876612897516872319497378222627166303882646741629742411893164761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017b88","0x000000000000000000000000000000000000000000000000000000000000013d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000768a","0x0000000000000000000000000000000000000000000000000000000000005a33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"339001600556015396738217367569531793414"],"tag":"AbiUInt"},{"contents":[64,"999999999998"],"tag":"AbiUInt"},{"contents":[16,"36687"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a801","0x00000000000000000000000000000000000000000000000000000000000084c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"86335240591"],"tag":"AbiUInt"},{"contents":[256,"75236597328068202526581032703416677344406145770708334449648866072537893878908"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"10602"],"tag":"AbiUInt"},{"contents":[40,"771577563907"],"tag":"AbiUInt"},{"contents":[24,"2002"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b47b","0x00000000000000000000000000000000000000000000000000000000000033e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044a1f","0x0000000000000000000000000000000000000000000000000000000000004d28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080a0d","0x0000000000000000000000000000000000000000000000000000000000001053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003954c","0x00000000000000000000000000000000000000000000000000000000000051cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d192","0x000000000000000000000000000000000000000000000000000000000000364a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"2767824634939522662675721482372000314409595257872586107286749481262410611142"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[16,"101"],"tag":"AbiUInt"},{"contents":"0x2f08910E0eaE2d057fB8b0160E86ff505E584832","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"34644"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"},{"contents":[32,"8306"],"tag":"AbiUInt"},{"contents":[32,"2162179361"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000445b5","0x0000000000000000000000000000000000000000000000000000000000002c3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"37839394178"],"tag":"AbiUInt"},{"contents":[256,"33205212155504543080964763062785587863084675286101937540775452851685606206011"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003fdc","0x000000000000000000000000000000000000000000000000000000000000d9c3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"135"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b351","0x000000000000000000000000000000000000000000000000000000000000038f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000047ef","0x0000000000000000000000000000000000000000000000000000000000008387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085c6a","0x0000000000000000000000000000000000000000000000000000000000009ea7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"131224753221799383716589828789053782262"],"tag":"AbiUInt"},{"contents":[64,"4294967293"],"tag":"AbiUInt"},{"contents":[16,"202"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007be99","0x0000000000000000000000000000000000000000000000000000000000008c5a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"74572104182554034286531507275486854505884224645155548572520697221670067190288"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000386e0","0x0000000000000000000000000000000000000000000000000000000000000690"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"8211434621509138952131717393779605683843356382311806130534935145588278997552"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052c3a","0x000000000000000000000000000000000000000000000000000000000000a2c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000827e0","0x00000000000000000000000000000000000000000000000000000000000013b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"69247020817"],"tag":"AbiUInt"},{"contents":[256,"6587462209784980010982"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010e61","0x00000000000000000000000000000000000000000000000000000000000002fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"38498338544914902503092118026096414598169683528093096263060939048420616247939"],"tag":"AbiUInt"},{"contents":[256,"80601570354813977833123532003869103579077490817913670928397137040302565280636"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"48"],"tag":"AbiUInt"},{"contents":[40,"56427219513"],"tag":"AbiUInt"},{"contents":[24,"10297"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000234e5","0x00000000000000000000000000000000000000000000000000000000000001c3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071be7","0x0000000000000000000000000000000000000000000000000000000000000a5b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000584c0","0x0000000000000000000000000000000000000000000000000000000000000521"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046631","0x0000000000000000000000000000000000000000000000000000000000001d14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]