[{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045dcd","0x000000000000000000000000000000000000000000000000000000000000a923"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"93771519378134494693423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f907","0x000000000000000000000000000000000000000000000000000000000000880a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c058","0x0000000000000000000000000000000000000000000000000000000000007420"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"34313258965136959175720258065453627805225810221982924048954490468682460365515"],"tag":"AbiUInt"},{"contents":[24,"140"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"7598"],"tag":"AbiUInt"},{"contents":[32,"37619228"],"tag":"AbiUInt"},{"contents":[16,"44652"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074565","0x0000000000000000000000000000000000000000000000000000000000009bf8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"23389412399547411301"],"tag":"AbiUInt"},{"contents":[{"contents":"0x183530D9DBB051e4894686C261F39f3aA82aBD83","tag":"AbiAddress"},{"contents":[16,"18505"],"tag":"AbiUInt"},{"contents":"0x94e2886E1C114F1216F0971408E8FdDbFE9563d2","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"10502"],"tag":"AbiUInt"},{"contents":[32,"68"],"tag":"AbiUInt"},{"contents":[32,"30"],"tag":"AbiUInt"},{"contents":[32,"2084633700"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d4f9","0x0000000000000000000000000000000000000000000000000000000000005d50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"42790728756"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x0000000000000000000000000000000000000000000000000000000000004247"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"79992787440710752990619559839168388346425834734874885157132549687972421856884"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008968b","0x000000000000000000000000000000000000000000000000000000000000a923"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"62121035654006279299977739286803263099710079587152679170752483299049369484860"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077055","0x00000000000000000000000000000000000000000000000000000000000082ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"82331790493330189700674236404748805677869599612012339683035743260556271307889"],"tag":"AbiUInt"},{"contents":[{"contents":"0x99fce628c2F61EaF23f9475C503241460DB001c1","tag":"AbiAddress"},{"contents":[16,"1200"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000014","tag":"AbiAddress"},{"contents":"0x0B27ed2506aD7477a0bC0e2038D17654f2A13b29","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"7499"],"tag":"AbiUInt"},{"contents":[32,"216"],"tag":"AbiUInt"},{"contents":[32,"2677613972"],"tag":"AbiUInt"},{"contents":[32,"70"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000537da","0x00000000000000000000000000000000000000000000000000000000000038c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"11060698862741688643844"],"tag":"AbiUInt"},{"contents":[256,"8353512606975770335134"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001531b","0x00000000000000000000000000000000000000000000000000000000000022ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"338128316694"],"tag":"AbiUInt"},{"contents":[24,"604802"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"52279"],"tag":"AbiUInt"},{"contents":[32,"4294967292"],"tag":"AbiUInt"},{"contents":[16,"61822"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bffd","0x000000000000000000000000000000000000000000000000000000000000aea1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"6166024930846554204043"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"580862"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008505a","0x0000000000000000000000000000000000000000000000000000000000005f12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"84584401087317733260793767053623289105218176274271282572461757295002017191592"],"tag":"AbiUInt"},{"contents":[{"contents":"0x94e2886E1C114F1216F0971408E8FdDbFE9563d2","tag":"AbiAddress"},{"contents":[16,"2926"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xc8DBEB7583022781Ab33f999a5b90009d54DdF2A","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"65531"],"tag":"AbiUInt"},{"contents":[32,"4294967293"],"tag":"AbiUInt"},{"contents":[32,"8"],"tag":"AbiUInt"},{"contents":[32,"3016892598"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d5d0","0x000000000000000000000000000000000000000000000000000000000000df27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"54084940392371498321490649730026420794650469695593460956255905927127922943037"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"3933"],"tag":"AbiUInt"},{"contents":[32,"712232495"],"tag":"AbiUInt"},{"contents":[16,"7768"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061512","0x0000000000000000000000000000000000000000000000000000000000008fea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"59680303683855878866097682853531272732958206831574448824447144181117655342725"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f19c","0x0000000000000000000000000000000000000000000000000000000000006eb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000221ac","0x000000000000000000000000000000000000000000000000000000000000d921"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ae7f","0x0000000000000000000000000000000000000000000000000000000000006330"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004051e","0x00000000000000000000000000000000000000000000000000000000000040e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031898","0x0000000000000000000000000000000000000000000000000000000000000f9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"112805020865938237941719429801273967451252598754549861264042813689457967884251"],"tag":"AbiUInt"},{"contents":[256,"63990874451089662427020646332839231930180486004201284791459714591012263627670"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"246"],"tag":"AbiUInt"},{"contents":[40,"1099511627773"],"tag":"AbiUInt"},{"contents":[24,"9540821"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000401a8","0x00000000000000000000000000000000000000000000000000000000000080e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001231b","0x0000000000000000000000000000000000000000000000000000000000005731"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"8552183890302094726574490936121454380508092249270923124549758949356185039655"],"tag":"AbiUInt"},{"contents":[256,"546117080511"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c609","0x0000000000000000000000000000000000000000000000000000000000005769"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"59850439319280781639745"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x0000000000000000000000000000000000000000000000000000000000005dfd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"13614368693351340170841633365965257879559671031402551815702626595164006445343"],"tag":"AbiUInt"},{"contents":[256,"58474766957645421207898"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c07f","0x0000000000000000000000000000000000000000000000000000000000005427"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"202869264882170451770001147759340040062"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002bfe","0x000000000000000000000000000000000000000000000000000000000000c08d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"281474976710656"],"tag":"AbiUInt"},{"contents":[256,"16726"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f1c8","0x0000000000000000000000000000000000000000000000000000000000006e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003abcc","0x000000000000000000000000000000000000000000000000000000000000b2fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036ad8","0x0000000000000000000000000000000000000000000000000000000000006dae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022eb0","0x000000000000000000000000000000000000000000000000000000000000b2b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"621127427149100496609364907181881821851925010881904539941712919166013046265"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"2003"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022b17","0x0000000000000000000000000000000000000000000000000000000000001102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007424d","0x0000000000000000000000000000000000000000000000000000000000003d86"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"113665553566998666550941723964841715834531458265225070132343947717718886495678"],"tag":"AbiUInt"},{"contents":[256,"4689849"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"748123697456"],"tag":"AbiUInt"},{"contents":[40,"0"],"tag":"AbiUInt"},{"contents":[24,"398947"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012b5a","0x0000000000000000000000000000000000000000000000000000000000008253"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserRiskPremium",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033278","0x0000000000000000000000000000000000000000000000000000000000002520"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"61144604347681943557595415660749297293649427524106038436881534840845383420488"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"16736987"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071732","0x000000000000000000000000000000000000000000000000000000000000b9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083613","0x000000000000000000000000000000000000000000000000000000000000de13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cdd3","0x000000000000000000000000000000000000000000000000000000000000dfc6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"2927838274201524171438371552904540880996309639727705930144135396871396673924"],"tag":"AbiUInt"},{"contents":[256,"112615256668934141757608348301524576118889381898850656584596385199644032892927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000273b0","0x0000000000000000000000000000000000000000000000000000000000004724"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"26243109775727855221540992662199008696970507511407353328077835711680548402165"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000716da","0x000000000000000000000000000000000000000000000000000000000000c5bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"922"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"59419"],"tag":"AbiUInt"},{"contents":[32,"400371"],"tag":"AbiUInt"},{"contents":[16,"1497"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000419d9","0x000000000000000000000000000000000000000000000000000000000000db3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032d96","0x0000000000000000000000000000000000000000000000000000000000003de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"88149269744229322601182383907444731093272974277596535718021812381398987692729"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"1593"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005993f","0x000000000000000000000000000000000000000000000000000000000000d3d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1004184255744756070088636092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c024","0x00000000000000000000000000000000000000000000000000000000000011ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d191","0x00000000000000000000000000000000000000000000000000000000000021f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007729c","0x000000000000000000000000000000000000000000000000000000000000c762"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"426287549528"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"7599"],"tag":"AbiUInt"},{"contents":[32,"211336336"],"tag":"AbiUInt"},{"contents":[32,"50"],"tag":"AbiUInt"},{"contents":[32,"2026059607"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fc16","0x0000000000000000000000000000000000000000000000000000000000000b97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ed11","0x00000000000000000000000000000000000000000000000000000000000026d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ce56","0x000000000000000000000000000000000000000000000000000000000000440f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateLiquidationConfig",[{"contents":[{"contents":[128,"30437849865226020802482334081867860245"],"tag":"AbiUInt"},{"contents":[64,"12172546415087204359"],"tag":"AbiUInt"},{"contents":[16,"340"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c2e6","0x000000000000000000000000000000000000000000000000000000000000457c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000847dd","0x00000000000000000000000000000000000000000000000000000000000045bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_spoke",[{"contents":[256,"33846548049522010107185330816781617632747393704752408626634530306684892583657"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e079","0x0000000000000000000000000000000000000000000000000000000000003086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_setInterestRateData",[{"contents":[256,"7996622715288143757418"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"57271"],"tag":"AbiUInt"},{"contents":[32,"499"],"tag":"AbiUInt"},{"contents":[32,"265924517"],"tag":"AbiUInt"},{"contents":[32,"7702"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fb63","0x0000000000000000000000000000000000000000000000000000000000002a33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d11c","0x00000000000000000000000000000000000000000000000000000000000099ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateAssetConfig",[{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[16,"48157"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"},{"contents":[{"contents":[16,"47395"],"tag":"AbiUInt"},{"contents":[32,"2231799057"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"},{"contents":[32,"233"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d92f","0x000000000000000000000000000000000000000000000000000000000000c72c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"290"],"tag":"AbiUInt"},{"contents":[256,"75080712002220900534868477954229814672461010540614705243177789658103946296590"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b160","0x00000000000000000000000000000000000000000000000000000000000022e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_repay_ASSERTION_REPAY_DOS",[{"contents":[256,"2927838274201524171438371552904540880996309639727705930144135396871396673924"],"tag":"AbiUInt"},{"contents":[256,"112615256668934141757608348301524576118889381898850656584596385199644032892927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c997","0x000000000000000000000000000000000000000000000000000000000000cce7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"1834211244040623581175"],"tag":"AbiUInt"},{"contents":[256,"67898774040420676239092344076122964003868606334198923166058904766505893824582"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003249b","0x0000000000000000000000000000000000000000000000000000000000006b8b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c7b4","0x00000000000000000000000000000000000000000000000000000000000000dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"45818250548564406222335039872952159251593533808328683566486674915608298611833"],"tag":"AbiUInt"},{"contents":[256,"58488276893100394006928501190691151218690677275008724300506342689984923835469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000036e4","0x000000000000000000000000000000000000000000000000000000000000b475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067c91","0x0000000000000000000000000000000000000000000000000000000000006056"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",[{"contents":[256,"1298673948559900237026729005517961131"],"tag":"AbiUInt"},{"contents":[256,"716"],"tag":"AbiUInt"},{"contents":[256,"32339230699677943959793925754329914967004792810940293718133433646108218556963"],"tag":"AbiUInt"},{"contents":[256,"41109213024495158363747606899602495024539776361854477822735287285517626528393"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dac7","0x000000000000000000000000000000000000000000000000000000000000c0ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"290"],"tag":"AbiUInt"},{"contents":[256,"75080712002220900534868477954229814672461010540614705243177789658103946296590"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004ff2","0x0000000000000000000000000000000000000000000000000000000000008f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005d78","0x0000000000000000000000000000000000000000000000000000000000001b6e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateUserDynamicConfig",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008967b","0x00000000000000000000000000000000000000000000000000000000000005c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"84194665092224112831504271328790200458963356297052006033045269392197211833479"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"8460"],"tag":"AbiUInt"},{"contents":[32,"799440744"],"tag":"AbiUInt"},{"contents":[16,"38990"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061dd7","0x0000000000000000000000000000000000000000000000000000000000009259"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_addDynamicReserveConfig",[{"contents":[256,"47195122287"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"8"],"tag":"AbiUInt"},{"contents":[32,"1342455244"],"tag":"AbiUInt"},{"contents":[16,"34771"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f35a","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"46419333504797603773896876450841522883009272160896525781494283060076793460482"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033bad","0x0000000000000000000000000000000000000000000000000000000000005c4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a96d","0x0000000000000000000000000000000000000000000000000000000000009834"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006b5c","0x0000000000000000000000000000000000000000000000000000000000009a5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setUp",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077215","0x0000000000000000000000000000000000000000000000000000000000000bb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_updateSpokeConfig",[{"contents":[256,"112231251471664131037222707218794984530349124528980168408472258804113119881307"],"tag":"AbiUInt"},{"contents":[256,"69339875838839544129541880374098919119883557649803241218848086224088322581243"],"tag":"AbiUInt"},{"contents":[{"contents":[40,"1024304530273"],"tag":"AbiUInt"},{"contents":[40,"550777660122"],"tag":"AbiUInt"},{"contents":[24,"10385484"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000653a8","0x0000000000000000000000000000000000000000000000000000000000001898"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074c7f","0x000000000000000000000000000000000000000000000000000000000000ac9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"49506602762507271236486957303868009221319844873979610226364393139716059228170"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081c85","0x0000000000000000000000000000000000000000000000000000000000000623"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016fb1","0x0000000000000000000000000000000000000000000000000000000000007b37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"88934775401839636663107657891412981197527557560171479325176907455425520981718"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"7000"],"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":["0x000000000000000000000000000000000000000000000000000000000005b4cd","0x000000000000000000000000000000000000000000000000000000000000bb0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"325079773011"],"tag":"AbiUInt"},{"contents":[24,"16777211"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"33873"],"tag":"AbiUInt"},{"contents":[32,"2609327813"],"tag":"AbiUInt"},{"contents":[16,"0"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007456c","0x000000000000000000000000000000000000000000000000000000000000a8d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"10737"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008224c","0x000000000000000000000000000000000000000000000000000000000000de45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"33767172996401260105551250337741240530978100153355157213703933129978759890242"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054be0","0x0000000000000000000000000000000000000000000000000000000000001469"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005133f","0x000000000000000000000000000000000000000000000000000000000000286a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_supply_ASSERTION_SUPPLY_DOS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629437"],"tag":"AbiUInt"},{"contents":[256,"84615141669086099680639490746880369192121737745633923055802562808479301767952"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001623","0x00000000000000000000000000000000000000000000000000000000000072e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"16447195224"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b2ec","0x0000000000000000000000000000000000000000000000000000000000000c54"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"61698765526347532340519622999532478028890634622665423342116813822547668781103"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f42b","0x000000000000000000000000000000000000000000000000000000000000167b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"87404856296881746002002051357765689748868368253090973965551134787103950470251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011898","0x0000000000000000000000000000000000000000000000000000000000005071"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"21900588080212266540077"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030e6a","0x000000000000000000000000000000000000000000000000000000000000ce9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_oracle",[{"contents":[256,"1004915914200397107776117535"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bd6","0x000000000000000000000000000000000000000000000000000000000000cebe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_supplySharePriceAndDrawnIndexMonotonic",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dca8","0x00000000000000000000000000000000000000000000000000000000000005c4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cd28","0x0000000000000000000000000000000000000000000000000000000000005b69"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"49666609"],"tag":"AbiUInt"},{"contents":[256,"49485568"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085174","0x0000000000000000000000000000000000000000000000000000000000001d84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",[{"contents":[256,"70632000346498455591289612513321072532425273762868487278294374251545490013087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cc9f","0x00000000000000000000000000000000000000000000000000000000000052da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070b5c","0x0000000000000000000000000000000000000000000000000000000000008174"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedLessThanSupplied_v0",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cf89","0x0000000000000000000000000000000000000000000000000000000000002b30"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateReserveConfig",[{"contents":[256,"67800682555081961064774624047235425375488743868959525422619867060813007905727"],"tag":"AbiUInt"},{"contents":[{"contents":[24,"5059343"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ca63","0x000000000000000000000000000000000000000000000000000000000000496b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"55549787290884179466549166001939068296571097789800566362951234743233241039154"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f0ee","0x00000000000000000000000000000000000000000000000000000000000032b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalBorrowedSharesMatchesSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a26a","0x000000000000000000000000000000000000000000000000000000000000dabd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"35431413485771174858958450800879320511487792375741484122447213276752641876876"],"tag":"AbiUInt"},{"contents":[256,"48806676587217158666887101672728230895870368132720095557619228350957848429442"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030fcf","0x000000000000000000000000000000000000000000000000000000000000aaa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"144411872939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041e9c","0x000000000000000000000000000000000000000000000000000000000000c8c2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iAaveOracle_setPrice",[{"contents":[256,"22039731186057877749883120662749676977495824440692076870419123585864773246772"],"tag":"AbiUInt"},{"contents":[256,"638397295971904196746350937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc04","0x000000000000000000000000000000000000000000000000000000000000c3e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_updateDynamicReserveConfig",[{"contents":[256,"17862302302392485832403960148793551174521050912365579391565111978233049046278"],"tag":"AbiUInt"},{"contents":[24,"126"],"tag":"AbiUInt"},{"contents":[{"contents":[16,"25"],"tag":"AbiUInt"},{"contents":[32,"224"],"tag":"AbiUInt"},{"contents":[16,"49179"],"tag":"AbiUInt"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003180","0x000000000000000000000000000000000000000000000000000000000000e590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_setUsingAsCollateral",[{"contents":[256,"1013026661472310228290767055"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026097","0x000000000000000000000000000000000000000000000000000000000000d5c4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_hubAddedAssetsGreaterThanSpokeSum",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004be19","0x000000000000000000000000000000000000000000000000000000000000b810"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["iSpoke_borrow",[{"contents":[256,"34992880855730897897772495522641317224059247092282400999444118020231614443421"],"tag":"AbiUInt"},{"contents":[256,"114798442999667203590203085801629584304801582821931119654890556806506329336251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000746e1","0x0000000000000000000000000000000000000000000000000000000000004ed8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]