[{"call":{"contents":["setStreamBalance",[{"contents":[8,"185"],"tag":"AbiUInt"},{"contents":[128,"1027"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000008b60"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollect",[{"contents":[8,"206"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000005b6c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokensShouldNotRevert",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"124"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000007e2d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollect",[{"contents":[8,"161"],"tag":"AbiUInt"},{"contents":[8,"69"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiversReceivedSplit",[{"contents":[8,"241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableVsReceived",[{"contents":[8,"126"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x000000000000000000000000000000000000000000000000000000000000c176"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitShouldNotRevert",[{"contents":[8,"50"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000003e67"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithDefaultHistoryShouldNotRevert",[{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"202"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000bd99"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeAllSplits",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiver",[{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[32,"94"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddStreamShouldNotRevert",[{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"223"],"tag":"AbiUInt"},{"contents":[160,"310515143352476343841827830821188397579791465573"],"tag":"AbiUInt"},{"contents":[32,"4294967292"],"tag":"AbiUInt"},{"contents":[32,"938"],"tag":"AbiUInt"},{"contents":[128,"4000000000000000000000000003"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x00000000000000000000000000000000000000000000000000000000000000c0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewVsActual",[{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[32,"1227704354"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamsShouldNotRevert",[{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"169"],"tag":"AbiUInt"},{"contents":[160,"901723750868947962204066874215644754059175367949"],"tag":"AbiUInt"},{"contents":[32,"34"],"tag":"AbiUInt"},{"contents":[32,"404354863"],"tag":"AbiUInt"},{"contents":[128,"31"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x000000000000000000000000000000000000000000000000000000000000e3f6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitShouldNotRevert",[{"contents":[8,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005b","0x00000000000000000000000000000000000000000000000000000000000012de"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x00000000000000000000000000000000000000000000000000000000000081b3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005a","0x00000000000000000000000000000000000000000000000000000000000000e2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokensShouldNotRevert",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFuzzedHistoryShouldNotRevert",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[256,"46337950175755778921068197997178580733380389305756097917757716455969396371841"],"tag":"AbiUInt"},{"contents":[32,"\"Splits receivers not sorted\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000001c28"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddStreamShouldNotRevert",[{"contents":[8,"45"],"tag":"AbiUInt"},{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[160,"129"],"tag":"AbiUInt"},{"contents":[32,"475985031"],"tag":"AbiUInt"},{"contents":[32,"4294967293"],"tag":"AbiUInt"},{"contents":[128,"170141183460469231731687303715884105338"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setMaxEndHints",[{"contents":[32,"4294967292"],"tag":"AbiUInt"},{"contents":[32,"998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x0000000000000000000000000000000000000000000000000000000000005b6e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFullyHashedHistory",[{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":[8,"255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000004243"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000005b68"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetSplitsShouldNotRevert",[{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[32,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000008a89"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsShouldNotRevert",[{"contents":[8,"226"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"115"],"tag":"AbiUInt"},{"contents":[8,"163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x00000000000000000000000000000000000000000000000000000000000012db"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[128,"7605329673416668978657186"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collectToSelf",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableVsReceived",[{"contents":[8,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000048","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"183"],"tag":"AbiUInt"},{"contents":[256,"100819571674093169678701147564299516708774934435034936033725196540960976336282"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x0000000000000000000000000000000000000000000000000000000000004245"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeAllSplits",[{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableAmountCantBeUndone",[{"contents":[8,"90"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[160,"193"],"tag":"AbiUInt"},{"contents":[32,"1024"],"tag":"AbiUInt"},{"contents":[32,"1524785992"],"tag":"AbiUInt"},{"contents":[128,"43360969392891057385642221821360841569"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002d","0x00000000000000000000000000000000000000000000000000000000000000c0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewConsistency",[{"contents":[8,"102"],"tag":"AbiUInt"},{"contents":[32,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x00000000000000000000000000000000000000000000000000000000000000c8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFuzzedHistoryShouldNotRevert",[{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[8,"228"],"tag":"AbiUInt"},{"contents":[256,"105329385042073345092176922941997376154018083318253683924501578269557013643363"],"tag":"AbiUInt"},{"contents":[32,"\"5h\\206\\bf\\148\\139\\155\\250\\DC1\\r\\128\\176\\192V\\247\\174\\156\\218\\247\\192\\SYN\\180\\222\\EM\\CAN;\\210\\f\\147b~\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000000005"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeViewVsActual",[{"contents":[8,"176"],"tag":"AbiUInt"},{"contents":[8,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collect",[{"contents":[8,"185"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001d","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"192"],"tag":"AbiUInt"},{"contents":[256,"193"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000003c62"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamWithClamping",[{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":[8,"157"],"tag":"AbiUInt"},{"contents":[160,"1095157633769945110333118294712037443167446656890"],"tag":"AbiUInt"},{"contents":[32,"125"],"tag":"AbiUInt"},{"contents":[32,"1738573670"],"tag":"AbiUInt"},{"contents":[128,"-127"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003f","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x000000000000000000000000000000000000000000000000000000000000597d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantSumAmtDeltaIsZero",[{"contents":[8,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000000002"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAccountingVsTokenBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000002ff0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBalanceAtInFuture",[{"contents":[8,"192"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[160,"4294967297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeAllSplits",[{"contents":[8,"58"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x00000000000000000000000000000000000000000000000000000000000012e1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"245"],"tag":"AbiUInt"},{"contents":[8,"184"],"tag":"AbiUInt"},{"contents":[128,"159"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawShouldAlwaysFail",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x0000000000000000000000000000000000000000000000000000000000008fc8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalanceWithdrawAll",[{"contents":[8,"65"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollectableAfterSplit",[{"contents":[8,"41"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeAllSplits",[{"contents":[8,"14"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x0000000000000000000000000000000000000000000000000000000000008b5d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeViewVsActual",[{"contents":[8,"126"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002d","0x0000000000000000000000000000000000000000000000000000000000007017"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllSenders",[{"contents":[8,"49"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collect",[{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"90"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002a","0x00000000000000000000000000000000000000000000000000000000000018a1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsShouldNotRevert",[{"contents":[8,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollect",[{"contents":[8,"216"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalanceShouldNotRevert",[{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[128,"48679368827195738521842626286569398477"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x0000000000000000000000000000000000000000000000000000000000000008"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[128,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"43"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999999999998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002d","0x000000000000000000000000000000000000000000000000000000000000c179"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setMaxEndHints",[{"contents":[32,"2121230480"],"tag":"AbiUInt"},{"contents":[32,"65"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003c","0x00000000000000000000000000000000000000000000000000000000000000a0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreams",[{"contents":[8,"91"],"tag":"AbiUInt"},{"contents":[32,"632477848"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000034","0x000000000000000000000000000000000000000000000000000000000000138c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableAmountCantBeUndone",[{"contents":[8,"161"],"tag":"AbiUInt"},{"contents":[8,"102"],"tag":"AbiUInt"},{"contents":[160,"4000000000000000000000000000"],"tag":"AbiUInt"},{"contents":[32,"34"],"tag":"AbiUInt"},{"contents":[32,"35"],"tag":"AbiUInt"},{"contents":[128,"-1000000002"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000008a86"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"157"],"tag":"AbiUInt"},{"contents":[256,"38870563525133081213707620562772230540237605849086115739607782507162977622602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamsWithClamping",[{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[160,"1025"],"tag":"AbiUInt"},{"contents":[32,"1013716951"],"tag":"AbiUInt"},{"contents":[32,"127"],"tag":"AbiUInt"},{"contents":[128,"100860009889042202331669054371177538302"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x00000000000000000000000000000000000000000000000000000000000000a1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["split",[{"contents":[8,"46"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokensShouldNotRevert",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"112"],"tag":"AbiUInt"},{"contents":[8,"102"],"tag":"AbiUInt"},{"contents":[160,"1461501637330902918203684832716283019655932542973"],"tag":"AbiUInt"},{"contents":[32,"1604551331"],"tag":"AbiUInt"},{"contents":[32,"225"],"tag":"AbiUInt"},{"contents":[128,"100000000000000000000000000000000000"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x00000000000000000000000000000000000000000000000000000000000012da"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["splitAndCollectToSelf",[{"contents":[8,"166"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x0000000000000000000000000000000000000000000000000000000000001363"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFullyHashedHistory",[{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x00000000000000000000000000000000000000000000000000000000000000bd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollectableAfterSplit",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamWithClamping",[{"contents":[8,"155"],"tag":"AbiUInt"},{"contents":[8,"91"],"tag":"AbiUInt"},{"contents":[160,"841643761246715868206504493173778477983825306012"],"tag":"AbiUInt"},{"contents":[32,"64"],"tag":"AbiUInt"},{"contents":[32,"31"],"tag":"AbiUInt"},{"contents":[128,"118454801181195239358698821110866930466"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollectShouldNotRevert",[{"contents":[8,"180"],"tag":"AbiUInt"},{"contents":[8,"71"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x00000000000000000000000000000000000000000000000000000000000081ae"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamWithClamping",[{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[160,"1026"],"tag":"AbiUInt"},{"contents":[32,"4009044521"],"tag":"AbiUInt"},{"contents":[32,"1670564942"],"tag":"AbiUInt"},{"contents":[128,"170141183460469231731687303715884105725"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000e3f5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[256,"53833034951447623280115521193051725219490282084573660134348025931360079368939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"177"],"tag":"AbiUInt"},{"contents":[128,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x0000000000000000000000000000000000000000000000000000000000008a86"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeTwice",[{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[256,"4294967293"],"tag":"AbiUInt"},{"contents":[32,"\"eip1967.splits.storage\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x000000000000000000000000000000000000000000000000000000000000d1ae"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalance",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[128,"61462159090199046470383466673128306974"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000048","0x0000000000000000000000000000000000000000000000000000000000003e67"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"238"],"tag":"AbiUInt"},{"contents":[160,"170141183460469231731687303715884105727"],"tag":"AbiUInt"},{"contents":[32,"938"],"tag":"AbiUInt"},{"contents":[32,"1441010637"],"tag":"AbiUInt"},{"contents":[128,"85212850962171441404673637153685947761"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiversReceivedSplit",[{"contents":[8,"204"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x0000000000000000000000000000000000000000000000000000000000001393"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000000000000000000000000000000000c17a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalance",[{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[128,"34"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"166"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitViewVsActual",[{"contents":[8,"12"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x0000000000000000000000000000000000000000000000000000000000005aeb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollect",[{"contents":[8,"153"],"tag":"AbiUInt"},{"contents":[8,"225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004d","0x00000000000000000000000000000000000000000000000000000000000080b2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddSplitsShouldNotRevert",[{"contents":[8,"73"],"tag":"AbiUInt"},{"contents":[8,"140"],"tag":"AbiUInt"},{"contents":[32,"759216816"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000029","0x00000000000000000000000000000000000000000000000000000000000001b6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiverWithClamping",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[32,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalance",[{"contents":[8,"75"],"tag":"AbiUInt"},{"contents":[128,"167664276146385798353706983845235513880"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x00000000000000000000000000000000000000000000000000000000000011bc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBalanceAtInFuture",[{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[160,"1524785991"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x0000000000000000000000000000000000000000000000000000000000001a1b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalance",[{"contents":[8,"34"],"tag":"AbiUInt"},{"contents":[128,"-30"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalanceWithdrawAllShouldNotRevert",[{"contents":[8,"134"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x00000000000000000000000000000000000000000000000000000000000000de"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeViewVsActual",[{"contents":[8,"227"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000001a18"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamImmediatelySqueezable",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"112"],"tag":"AbiUInt"},{"contents":[160,"4294967297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000004243"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreamsAllCycles",[{"contents":[8,"109"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithDefaultHistory",[{"contents":[8,"67"],"tag":"AbiUInt"},{"contents":[8,"127"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000005b68"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[160,"1461501637330902918203684832716283019655932542971"],"tag":"AbiUInt"},{"contents":[32,"3874784197"],"tag":"AbiUInt"},{"contents":[32,"1424300602"],"tag":"AbiUInt"},{"contents":[128,"-1000002"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000007483"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetSplitsShouldNotRevert",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[32,"56807297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x0000000000000000000000000000000000000000000000000000000000008fc4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]