[{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"49516304117273548208257092611046200147082608932070176961052609952765714116558"],"tag":"AbiUInt"},{"contents":[{"contents":"0x000000000000000000000000000000000000001B","tag":"AbiAddress"},{"contents":[16,"58716"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000019","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000001a","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"30"],"tag":"AbiUInt"},{"contents":[32,"1978535401"],"tag":"AbiUInt"},{"contents":[32,"1625587751"],"tag":"AbiUInt"},{"contents":[32,"4294967291"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c8b3","0x000000000000000000000000000000000000000000000000000000000000b447"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"71123072776938086500399014586078209605359800967649648811139278688126029833753"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000663a8","0x0000000000000000000000000000000000000000000000000000000000008550"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"73658690909712281964318137"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[16,"27428"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xdda85Efe5e2072Bb8edB2f71e80C7287AD86EF10","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"8001"],"tag":"AbiUInt"},{"contents":[32,"7598"],"tag":"AbiUInt"},{"contents":[32,"2519758086"],"tag":"AbiUInt"},{"contents":[32,"384322051"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000402cf","0x0000000000000000000000000000000000000000000000000000000000000a11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x0000000000000000000000000000000000000000000000000000000000006e22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"10603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071780","0x00000000000000000000000000000000000000000000000000000000000082f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f0db","0x000000000000000000000000000000000000000000000000000000000000e10f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"244"],"tag":"AbiUInt"},{"contents":[256,"41160728095194679898621662981131567348960115408776464894407124718379836652415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce10","0x0000000000000000000000000000000000000000000000000000000000008ea0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"40111934072194000853871255603888416038532236725960363631471787000570633043839"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"10397"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000ae7","0x00000000000000000000000000000000000000000000000000000000000010e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"14152191532925817310"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"10599"],"tag":"AbiUInt"},{"contents":[32,"3163161212"],"tag":"AbiUInt"},{"contents":[16,"37788"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066abe","0x0000000000000000000000000000000000000000000000000000000000003e09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b404","0x00000000000000000000000000000000000000000000000000000000000017f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"37879468038692124780981270651165361689827129638908795096568350144835860133146"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030d48","0x000000000000000000000000000000000000000000000000000000000000ac00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001acb9","0x000000000000000000000000000000000000000000000000000000000000e370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"78382997750023828902747003949987191533074036031730830909093914039724483934205"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"265"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086a6e","0x00000000000000000000000000000000000000000000000000000000000009fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"958907151498"],"tag":"AbiUInt"},{"contents":[256,"792"],"tag":"AbiUInt"},{"contents":[256,"105139587541963063972322026918374081940558364055964995400369213645825604808122"],"tag":"AbiUInt"},{"contents":[256,"580688597603"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083828","0x0000000000000000000000000000000000000000000000000000000000008fc8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"95261024936146047867926949277686158197192115262073594007348590841790324796991"],"tag":"AbiUInt"},{"contents":[256,"40132098600480131139140283171086799780274798484660916616250333184087344376717"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a958","0x0000000000000000000000000000000000000000000000000000000000005ad8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"1002577772742786941647535609"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"6784"],"tag":"AbiUInt"},{"contents":[32,"2959190638"],"tag":"AbiUInt"},{"contents":[32,"1000"],"tag":"AbiUInt"},{"contents":[32,"896737214"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058fe8","0x0000000000000000000000000000000000000000000000000000000000007006"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f55b","0x0000000000000000000000000000000000000000000000000000000000007adc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"},{"contents":[256,"115228224545124767521823265759661052994088513516671012210915372203523158239155"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"1099511627773"],"tag":"AbiUInt"},{"contents":[40,"604503677550"],"tag":"AbiUInt"},{"contents":[24,"3534410"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000746aa","0x000000000000000000000000000000000000000000000000000000000000ad70"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"1004901614958084663359204778"],"tag":"AbiUInt"},{"contents":[256,"4413429460"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031ad9","0x0000000000000000000000000000000000000000000000000000000000009189"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018a62","0x000000000000000000000000000000000000000000000000000000000000d46a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"5022950632987264979854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c4da","0x00000000000000000000000000000000000000000000000000000000000080ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"1606938044258990275541962092341162602522202993782792835301375"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b3d5","0x0000000000000000000000000000000000000000000000000000000000003c17"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",[{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"62970249282616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082dc1","0x000000000000000000000000000000000000000000000000000000000000e16b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067128","0x000000000000000000000000000000000000000000000000000000000000b760"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058bdd","0x0000000000000000000000000000000000000000000000000000000000003de9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050abb","0x0000000000000000000000000000000000000000000000000000000000002f46"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001fd47","0x0000000000000000000000000000000000000000000000000000000000001cd7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"35754863784235044240495189657684576296025558243218745802773569740408404182154"],"tag":"AbiUInt"},{"contents":[256,"57765510966862111362250701650103227847654200903781670584574360935698121964895"],"tag":"AbiUInt"},{"contents":[256,"71070510871446152384030042916381859838366240933436169714338511442387984124930"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043933","0x000000000000000000000000000000000000000000000000000000000000a8e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e582","0x0000000000000000000000000000000000000000000000000000000000009cfc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a7e0","0x0000000000000000000000000000000000000000000000000000000000003c69"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"52127358879223845903478064"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"13303714"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f4ff","0x0000000000000000000000000000000000000000000000000000000000008404"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"7309880081635453542"],"tag":"AbiUInt"},{"contents":[256,"34591156410760697601984"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"19"],"tag":"AbiUInt"},{"contents":[40,"713563291860"],"tag":"AbiUInt"},{"contents":[24,"407871"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037fea","0x0000000000000000000000000000000000000000000000000000000000002c01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"1606938044258990275541962092341162602522202993782792835301375"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006856c","0x000000000000000000000000000000000000000000000000000000000000cf43"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"14127438608888969775129403779381795340690498125228568169444617260526805101686"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000349d2","0x000000000000000000000000000000000000000000000000000000000000c1db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"1003"],"tag":"AbiUInt"},{"contents":[256,"108821845612412391075143322099039093030498769685118002903934086946378301387856"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000796f0","0x0000000000000000000000000000000000000000000000000000000000009dc5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b059","0x000000000000000000000000000000000000000000000000000000000000a1f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"453465605267125106"],"tag":"AbiUInt"},{"contents":[64,"10301"],"tag":"AbiUInt"},{"contents":[16,"65532"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008789a","0x000000000000000000000000000000000000000000000000000000000000a4b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"24944542059906495133204332191"],"tag":"AbiUInt"},{"contents":[64,"281474976710658"],"tag":"AbiUInt"},{"contents":[16,"7151"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007699d","0x000000000000000000000000000000000000000000000000000000000000c9b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006efcd","0x0000000000000000000000000000000000000000000000000000000000000359"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000605b6","0x000000000000000000000000000000000000000000000000000000000000994b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"1013029757230156429540819141"],"tag":"AbiUInt"},{"contents":[24,"1575516"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"46836"],"tag":"AbiUInt"},{"contents":[32,"10151"],"tag":"AbiUInt"},{"contents":[16,"10502"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a3ac","0x0000000000000000000000000000000000000000000000000000000000001e07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076b99","0x000000000000000000000000000000000000000000000000000000000000e8cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"35754863784235044240495189657684576296025558243218745802773569740408404182154"],"tag":"AbiUInt"},{"contents":[256,"17095026106791335082188209712759538307197503652825117190373704312229835665841"],"tag":"AbiUInt"},{"contents":[256,"71070510871446152384030042916381859838366240933436169714338511442387984124930"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ebf","0x0000000000000000000000000000000000000000000000000000000000001e75"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"16899932083"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129632237"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005816d","0x00000000000000000000000000000000000000000000000000000000000045ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c468","0x0000000000000000000000000000000000000000000000000000000000009895"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079550","0x00000000000000000000000000000000000000000000000000000000000037ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006025e","0x000000000000000000000000000000000000000000000000000000000000b0fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"67237863110993614034129049743502064292548676874581123635090417361111525799984"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[16,"47700"],"tag":"AbiUInt"},{"contents":"0x0B27ed2506aD7477a0bC0e2038D17654f2A13b29","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"61"],"tag":"AbiUInt"},{"contents":[32,"502"],"tag":"AbiUInt"},{"contents":[32,"2726402205"],"tag":"AbiUInt"},{"contents":[32,"2569761753"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049be0","0x000000000000000000000000000000000000000000000000000000000000853c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"30017740327341260030111584796685167007814745078753328606890546010963272858101"],"tag":"AbiUInt"},{"contents":[256,"66095128010152466354746501908165261868258944521227663594374457303677489728326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c7e0","0x0000000000000000000000000000000000000000000000000000000000000285"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074f03","0x000000000000000000000000000000000000000000000000000000000000443f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001ea7","0x000000000000000000000000000000000000000000000000000000000000604b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"54134058343190231964261714714334589703969267988591523261754614272389751672418"],"tag":"AbiUInt"},{"contents":[256,"63894184120142580496785360166830585386280052610938696075813292705926104162937"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"998927443426"],"tag":"AbiUInt"},{"contents":[40,"0"],"tag":"AbiUInt"},{"contents":[24,"8641570"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ec58","0x0000000000000000000000000000000000000000000000000000000000005a34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"109191080592421428010075356107066102932851386911219150610379433805547905504343"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000947e","0x0000000000000000000000000000000000000000000000000000000000003bbd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115602933589981135763440088438901391327746173243169808584903465038895709437038"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001e14","0x00000000000000000000000000000000000000000000000000000000000088cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"18662378917443242092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003fa0","0x000000000000000000000000000000000000000000000000000000000000753a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"1015468536048499180207796812"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"60833"],"tag":"AbiUInt"},{"contents":[32,"10503"],"tag":"AbiUInt"},{"contents":[32,"65533"],"tag":"AbiUInt"},{"contents":[32,"10302"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b565","0x0000000000000000000000000000000000000000000000000000000000003ab7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"76961993831365572053249574158221858182131828837260455543082242131120882505837"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b58b","0x0000000000000000000000000000000000000000000000000000000000001f85"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"35850306701163553102936262444075691948459801852068404786032212279262287690985"],"tag":"AbiUInt"},{"contents":[256,"109947783002069648266881290163815595707427789042703150333591266285221108975474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031783","0x000000000000000000000000000000000000000000000000000000000000df83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"115270140003468538845432020306865220479640102470528483523383185069349854718524"],"tag":"AbiUInt"},{"contents":[256,"6018722800519676203"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a3d8","0x0000000000000000000000000000000000000000000000000000000000007fc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000207b9","0x000000000000000000000000000000000000000000000000000000000000e7d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045cd4","0x000000000000000000000000000000000000000000000000000000000000e9d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e0d7","0x000000000000000000000000000000000000000000000000000000000000e89d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"35754863784235044240495189657684576296025558243218745802773569740408404182154"],"tag":"AbiUInt"},{"contents":[256,"57765510966862111362250701650103227847654200903781670584574360935698121964895"],"tag":"AbiUInt"},{"contents":[256,"71070510871446152384030042916381859838366240933436169714338511442387984124930"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082cd6","0x0000000000000000000000000000000000000000000000000000000000006b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"30851895113694529027663810225559494522176413311844003388645043794536441292007"],"tag":"AbiUInt"},{"contents":[256,"68604993386535545349411730147704766596355792538728949785978388018207139419240"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035a90","0x00000000000000000000000000000000000000000000000000000000000091ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"51213039485629902322646734597049140155834663859758942199930983216534496659538"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000016bc","0x00000000000000000000000000000000000000000000000000000000000059a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"9914227240399892268880054598941589467973552290818066765226238274867950613415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058854","0x00000000000000000000000000000000000000000000000000000000000097c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"24548537902871407373054382264184312247682517543106948151091360686379127702480"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039519","0x000000000000000000000000000000000000000000000000000000000000b9c7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"9360979031545885543"],"tag":"AbiUInt"},{"contents":[256,"63161592389934961046281566088549145128012116174835955868250142847177975215699"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040c4b","0x00000000000000000000000000000000000000000000000000000000000005bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"1019704606535593860607406174"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000380","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e2ae","0x0000000000000000000000000000000000000000000000000000000000005bf6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"131610410564320277084762778940092458489"],"tag":"AbiUInt"},{"contents":[64,"5305978236578014253"],"tag":"AbiUInt"},{"contents":[16,"21241"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032b09","0x0000000000000000000000000000000000000000000000000000000000007bfa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"110919249118903547254199179935603250885828132278291170374670085463010563351039"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x00000000000000000000000000000000000000000000000000000000000046df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034e46","0x00000000000000000000000000000000000000000000000000000000000032e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"3176832568382053665962636707163331734380602766789907454861198808269096747006"],"tag":"AbiUInt"},{"contents":[256,"69072804109562221501443127662768663752135978165444781494879457984244298308258"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"10200"],"tag":"AbiUInt"},{"contents":[40,"16"],"tag":"AbiUInt"},{"contents":[24,"94"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032ed6","0x0000000000000000000000000000000000000000000000000000000000001b5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010166","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"103390626083151614652966240216770018662721430629309165653041205675587219958107"],"tag":"AbiUInt"},{"contents":[256,"96982794231592856290527"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008295d","0x00000000000000000000000000000000000000000000000000000000000057df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"100000000000000000000000000001"],"tag":"AbiUInt"},{"contents":[64,"6982577562384370374"],"tag":"AbiUInt"},{"contents":[16,"29"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b6f8","0x0000000000000000000000000000000000000000000000000000000000008691"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"10600"],"tag":"AbiUInt"},{"contents":[64,"14788048071765774560"],"tag":"AbiUInt"},{"contents":[16,"65534"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e0dd","0x000000000000000000000000000000000000000000000000000000000000aaf7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d243","0x00000000000000000000000000000000000000000000000000000000000005b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"39322049870"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070b4d","0x00000000000000000000000000000000000000000000000000000000000099f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074a76","0x000000000000000000000000000000000000000000000000000000000000e4da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"328285658971016439478339186185089826856388614982019196353547030299768231023"],"tag":"AbiUInt"},{"contents":[256,"44538942102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000546d1","0x000000000000000000000000000000000000000000000000000000000000d037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"73114014127455420065696365"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013553","0x0000000000000000000000000000000000000000000000000000000000009daf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"27338504614037014245101183322872612254423657913715623339972306362659956544719"],"tag":"AbiUInt"},{"contents":[24,"10000"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"188"],"tag":"AbiUInt"},{"contents":[32,"15"],"tag":"AbiUInt"},{"contents":[16,"65"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a44d","0x00000000000000000000000000000000000000000000000000000000000025b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"41341802843874786230508762646351728766837961910502232759114536060188184481963"],"tag":"AbiUInt"},{"contents":[24,"8033971"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"63030"],"tag":"AbiUInt"},{"contents":[32,"226"],"tag":"AbiUInt"},{"contents":[16,"29072"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a981","0x000000000000000000000000000000000000000000000000000000000000ca9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[24,"245"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"24028"],"tag":"AbiUInt"},{"contents":[32,"7697"],"tag":"AbiUInt"},{"contents":[16,"7498"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002275f","0x00000000000000000000000000000000000000000000000000000000000049db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[{"contents":"0xdda85Efe5e2072Bb8edB2f71e80C7287AD86EF10","tag":"AbiAddress"},{"contents":[16,"165"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x160b17A0C0b60d677093DeCFB7A4300b9d2c3539","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"9001"],"tag":"AbiUInt"},{"contents":[32,"122"],"tag":"AbiUInt"},{"contents":[32,"999999"],"tag":"AbiUInt"},{"contents":[32,"2449932505"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067a0d","0x00000000000000000000000000000000000000000000000000000000000008c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b05a","0x000000000000000000000000000000000000000000000000000000000000082e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"3224479377893747705005151564473529669953921302210919808285610196063090665363"],"tag":"AbiUInt"},{"contents":[24,"14743266"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"18364"],"tag":"AbiUInt"},{"contents":[32,"4234621691"],"tag":"AbiUInt"},{"contents":[16,"21573"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035f7b","0x000000000000000000000000000000000000000000000000000000000000767b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"101295645716585695729010853567232421541"],"tag":"AbiUInt"},{"contents":[64,"15734648654734949204"],"tag":"AbiUInt"},{"contents":[16,"56735"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x000000000000000000000000000000000000000000000000000000000000ebb1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"7240062449148733986001677050723455037169731197335351057031638927038348846589"],"tag":"AbiUInt"},{"contents":[256,"13069799661154152734"],"tag":"AbiUInt"},{"contents":[256,"1028660873007902974693851429"],"tag":"AbiUInt"},{"contents":[256,"15480106648451550488797649557065864859872793081386388867688559871701857104352"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010991","0x0000000000000000000000000000000000000000000000000000000000000aba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913128639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000552f1","0x0000000000000000000000000000000000000000000000000000000000000e56"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shouldNotBecomeLiquidatable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000217","0x000000000000000000000000000000000000000000000000000000000000553b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"29053894342158718740510316067472241287605601394365062067465724761135055709443"],"tag":"AbiUInt"},{"contents":[256,"7085308105484644160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d31","0x0000000000000000000000000000000000000000000000000000000000002da2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fbcd","0x000000000000000000000000000000000000000000000000000000000000e082"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"61731318617546791161722857749485729965252949061442328802017663955820123732886"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"1591671"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a0da","0x00000000000000000000000000000000000000000000000000000000000019ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913128639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212ee","0x00000000000000000000000000000000000000000000000000000000000082f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"899999999999999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639735"],"tag":"AbiUInt"},{"contents":[256,"4999"],"tag":"AbiUInt"},{"contents":[256,"4999999999998"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e0","0x000000000000000000000000000000000000000000000000000000000000dc1b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"77528653391889820949446733926616697234"],"tag":"AbiUInt"},{"contents":[64,"1203"],"tag":"AbiUInt"},{"contents":[16,"9902"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"115627153549154329706336895669438749945130508533027000047637383661505233410"],"tag":"AbiUInt"},{"contents":[256,"32446553572185907636094459481334266885807666553510069566643000060355540913375"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002cb47","0x0000000000000000000000000000000000000000000000000000000000006008"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]