[{"call":{"contents":["receiveStreamsAllCycles",[{"contents":[8,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collect",[{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x00000000000000000000000000000000000000000000000000000000000012d6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewConsistency",[{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[32,"198"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x00000000000000000000000000000000000000000000000000000000000000c7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithDefaultHistoryShouldNotRevert",[{"contents":[8,"195"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalanceWithdrawAll",[{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000032","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["split",[{"contents":[8,"32"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000fb3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"169"],"tag":"AbiUInt"},{"contents":[8,"157"],"tag":"AbiUInt"},{"contents":[128,"89524645770469974953453997919409668870"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x00000000000000000000000000000000000000000000000000000000000000e3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"172"],"tag":"AbiUInt"},{"contents":[256,"85805144860079574381030533336390252255741388441815120513726198566133537980295"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x000000000000000000000000000000000000000000000000000000000000eaa2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollectShouldNotRevert",[{"contents":[8,"131"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetSplitsShouldNotRevert",[{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[8,"177"],"tag":"AbiUInt"},{"contents":[32,"203"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000000082"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"223"],"tag":"AbiUInt"},{"contents":[256,"39773478162687891785204272903446650343652084957826457792951688692919128171423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000008e9e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setSplits",[{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"146"],"tag":"AbiUInt"},{"contents":[32,"3412062399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x00000000000000000000000000000000000000000000000000000000000000a0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"199"],"tag":"AbiUInt"},{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[160,"999999997"],"tag":"AbiUInt"},{"contents":[32,"2498597981"],"tag":"AbiUInt"},{"contents":[32,"3820717637"],"tag":"AbiUInt"},{"contents":[128,"1"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x0000000000000000000000000000000000000000000000000000000000008b5c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"32"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[160,"99999999999999999999999999999999997"],"tag":"AbiUInt"},{"contents":[32,"4294967292"],"tag":"AbiUInt"},{"contents":[32,"1457305222"],"tag":"AbiUInt"},{"contents":[128,"203"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000133a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllSenders",[{"contents":[8,"110"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x0000000000000000000000000000000000000000000000000000000000005ccf"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithDefaultHistory",[{"contents":[8,"249"],"tag":"AbiUInt"},{"contents":[8,"31"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x00000000000000000000000000000000000000000000000000000000000059d2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"163"],"tag":"AbiUInt"},{"contents":[256,"422836478589435353183668763"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithDefaultHistory",[{"contents":[8,"177"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collectToSelf",[{"contents":[8,"97"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x00000000000000000000000000000000000000000000000000000000000028d1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawShouldAlwaysFail",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000eb6f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreams",[{"contents":[8,"203"],"tag":"AbiUInt"},{"contents":[32,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"35"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x0000000000000000000000000000000000000000000000000000000000001301"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddStreamShouldNotRevert",[{"contents":[8,"42"],"tag":"AbiUInt"},{"contents":[8,"88"],"tag":"AbiUInt"},{"contents":[160,"80"],"tag":"AbiUInt"},{"contents":[32,"389756"],"tag":"AbiUInt"},{"contents":[32,"1550989413"],"tag":"AbiUInt"},{"contents":[128,"73156371722306735745096046047360593544"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x0000000000000000000000000000000000000000000000000000000000007017"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002c","0x0000000000000000000000000000000000000000000000000000000000001300"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalance",[{"contents":[8,"52"],"tag":"AbiUInt"},{"contents":[128,"1027"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x000000000000000000000000000000000000000000000000000000000000b908"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[160,"425988968961172636677254358116040665434491549409"],"tag":"AbiUInt"},{"contents":[32,"127"],"tag":"AbiUInt"},{"contents":[32,"788305"],"tag":"AbiUInt"},{"contents":[128,"93062914816362936293390966661093554404"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004a","0x000000000000000000000000000000000000000000000000000000000000051c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"174"],"tag":"AbiUInt"},{"contents":[256,"938463463375296163278858534"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x0000000000000000000000000000000000000000000000000000000000000e83"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiver",[{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x0000000000000000000000000000000000000000000000000000000000001321"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiversReceivedSplit",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x0000000000000000000000000000000000000000000000000000000000000576"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiverWithClamping",[{"contents":[8,"218"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"},{"contents":[32,"1524789001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002c","0x000000000000000000000000000000000000000000000000000000000000baf8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[160,"540665591211680044372951857951569220157885580760"],"tag":"AbiUInt"},{"contents":[32,"4058053550"],"tag":"AbiUInt"},{"contents":[32,"1299675945"],"tag":"AbiUInt"},{"contents":[128,"104677748221434371323299475320522130763"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000014","0x0000000000000000000000000000000000000000000000000000000000001beb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalance",[{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[128,"38"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x0000000000000000000000000000000000000000000000000000000000006881"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"29"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[128,"230559919431243724164330248175831400301"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeToSelf",[{"contents":[8,"58"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000eac2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddSplitsShouldNotRevert",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"25"],"tag":"AbiUInt"},{"contents":[32,"3444276889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000006a06"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableAmountCantBeUndone",[{"contents":[8,"201"],"tag":"AbiUInt"},{"contents":[8,"76"],"tag":"AbiUInt"},{"contents":[160,"3152966520555673853461445260119355581642017772"],"tag":"AbiUInt"},{"contents":[32,"62"],"tag":"AbiUInt"},{"contents":[32,"130"],"tag":"AbiUInt"},{"contents":[128,"1000"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x0000000000000000000000000000000000000000000000000000000000000082"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreamsSplitAndCollectToSelf",[{"contents":[8,"78"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x00000000000000000000000000000000000000000000000000000000000009d5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokensShouldNotRevert",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x000000000000000000000000000000000000000000000000000000000000e400"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"21391871146288993263084738093059926618401802396254444135267610856975836155089"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005c","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithDefaultHistory",[{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[8,"201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000028","0x000000000000000000000000000000000000000000000000000000000000a90a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFullyHashedHistory",[{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"155"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x000000000000000000000000000000000000000000000000000000000000bd9a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"255"],"tag":"AbiUInt"},{"contents":[256,"170141183460469231731687303715884105730"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000009c8e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"131"],"tag":"AbiUInt"},{"contents":[256,"92032803098541874450097128610733220547993026292883707503169029331311823914731"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003f","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiver",[{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[32,"4294967294"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiversReceivedSplit",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x000000000000000000000000000000000000000000000000000000000000eb2e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitViewVsActual",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x000000000000000000000000000000000000000000000000000000000000656b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreams",[{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[32,"112158910"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x000000000000000000000000000000000000000000000000000000000000ec27"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableAmountCantBeWithdrawn",[{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002b","0x000000000000000000000000000000000000000000000000000000000000bcf8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[160,"244608387124673911375581651109015400907134186039"],"tag":"AbiUInt"},{"contents":[32,"4294967292"],"tag":"AbiUInt"},{"contents":[32,"1524788843"],"tag":"AbiUInt"},{"contents":[128,"107314943580208037783119795896720761207"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004c","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableVsReceived",[{"contents":[8,"219"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x00000000000000000000000000000000000000000000000000000000000029ee"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiversReceivedSplit",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x000000000000000000000000000000000000000000000000000000000000adac"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"128"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[160,"153"],"tag":"AbiUInt"},{"contents":[32,"764"],"tag":"AbiUInt"},{"contents":[32,"130"],"tag":"AbiUInt"},{"contents":[128,"201"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x0000000000000000000000000000000000000000000000000000000000000b4f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithFuzzedHistory",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[256,"15933881141731294724087634240476934749490338711782345420632311910443085207982"],"tag":"AbiUInt"},{"contents":[32,"\"}\\183\\217\\246S\\246\\227\\169\\208\\DC4\\166\\145\\216\\170a\\vZ\\144\\152a3\\193K\\195\\203\\156\\134\\209\\178(\\245\\247\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x000000000000000000000000000000000000000000000000000000000000a59f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalanceWithdrawAllShouldNotRevert",[{"contents":[8,"137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x000000000000000000000000000000000000000000000000000000000000139b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x0000000000000000000000000000000000000000000000000000000000000c9b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollectableAfterSplit",[{"contents":[8,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x0000000000000000000000000000000000000000000000000000000000000002"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitShouldNotRevert",[{"contents":[8,"232"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x00000000000000000000000000000000000000000000000000000000000072b1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAccountingVsTokenBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000003643"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewVsActual",[{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[32,"1524786434"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x000000000000000000000000000000000000000000000000000000000000042e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithDefaultHistory",[{"contents":[8,"22"],"tag":"AbiUInt"},{"contents":[8,"219"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x00000000000000000000000000000000000000000000000000000000000099b5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawShouldAlwaysFail",[{"contents":[256,"99900001002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreamsAllCycles",[{"contents":[8,"199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x00000000000000000000000000000000000000000000000000000000000000a0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"186"],"tag":"AbiUInt"},{"contents":[8,"197"],"tag":"AbiUInt"},{"contents":[160,"4294967292"],"tag":"AbiUInt"},{"contents":[32,"1524786076"],"tag":"AbiUInt"},{"contents":[32,"1002736475"],"tag":"AbiUInt"},{"contents":[128,"96568118159375864185963262301020616543"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x0000000000000000000000000000000000000000000000000000000000009259"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"226"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x00000000000000000000000000000000000000000000000000000000000012c3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreamsSplitAndCollectToSelf",[{"contents":[8,"21"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x0000000000000000000000000000000000000000000000000000000000000c44"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalance",[{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[128,"17129753207310672100029466791001141781"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x000000000000000000000000000000000000000000000000000000000000907c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetSplitsShouldNotRevert",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[32,"1524790030"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000a95e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"456435957907017506159359144"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002a","0x000000000000000000000000000000000000000000000000000000000000a473"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[160,"0"],"tag":"AbiUInt"},{"contents":[32,"609"],"tag":"AbiUInt"},{"contents":[32,"456675"],"tag":"AbiUInt"},{"contents":[128,"97676857666487352751201675030629489459"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000000000000000000000000000000000ea8f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["split",[{"contents":[8,"145"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000000036"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAccountingVsTokenBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002a","0x000000000000000000000000000000000000000000000000000000000000736f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[128,"469231731687303545742922009"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002a","0x0000000000000000000000000000000000000000000000000000000000004179"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x000000000000000000000000000000000000000000000000000000000000619b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllSenders",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000000961"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollectShouldNotRevert",[{"contents":[8,"225"],"tag":"AbiUInt"},{"contents":[8,"76"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x000000000000000000000000000000000000000000000000000000000000e61a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithFuzzedHistory",[{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[256,"749"],"tag":"AbiUInt"},{"contents":[32,"\"(\\245I\\253\\142\\249$\\192_k\\147E-\\206]\\SO\\229\\232\\135\\a\\232\\245\\\"\\218\\158V\\FS\\v\\157\\245^\\\"\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x000000000000000000000000000000000000000000000000000000000000cf99"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"223"],"tag":"AbiUInt"},{"contents":[256,"115608944408107908478523977851333173163333067790650560794827954692110314139836"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x0000000000000000000000000000000000000000000000000000000000001338"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddStreamShouldNotRevert",[{"contents":[8,"237"],"tag":"AbiUInt"},{"contents":[8,"56"],"tag":"AbiUInt"},{"contents":[160,"525949072203144779473922240535980513205670148571"],"tag":"AbiUInt"},{"contents":[32,"1569923321"],"tag":"AbiUInt"},{"contents":[32,"6064"],"tag":"AbiUInt"},{"contents":[128,"1000000000"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x000000000000000000000000000000000000000000000000000000000000bd5e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamsWithClamping",[{"contents":[8,"92"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[160,"978"],"tag":"AbiUInt"},{"contents":[32,"1524790177"],"tag":"AbiUInt"},{"contents":[32,"1524789899"],"tag":"AbiUInt"},{"contents":[128,"197"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x000000000000000000000000000000000000000000000000000000000000e067"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBalanceAtInFuture",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"164"],"tag":"AbiUInt"},{"contents":[160,"292391394049115116809673526829898495404667809244"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x0000000000000000000000000000000000000000000000000000000000004c7f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamsShouldNotRevert",[{"contents":[8,"150"],"tag":"AbiUInt"},{"contents":[8,"247"],"tag":"AbiUInt"},{"contents":[160,"7"],"tag":"AbiUInt"},{"contents":[32,"3745712391"],"tag":"AbiUInt"},{"contents":[32,"2931215316"],"tag":"AbiUInt"},{"contents":[128,"170141183460469231731687303715884104908"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004d","0x0000000000000000000000000000000000000000000000000000000000003e69"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreams",[{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[32,"4011304351"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000059","0x00000000000000000000000000000000000000000000000000000000000064a1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAccountingVsTokenBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000059","0x0000000000000000000000000000000000000000000000000000000000002a34"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewConsistency",[{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[32,"3617041566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003c","0x000000000000000000000000000000000000000000000000000000000000979a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreams",[{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[32,"4011304351"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004c","0x0000000000000000000000000000000000000000000000000000000000000ddf"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalance",[{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[128,"16320020297167594464238818319010746032"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x0000000000000000000000000000000000000000000000000000000000003e33"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["splitAndCollectToSelf",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x0000000000000000000000000000000000000000000000000000000000000736"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawShouldAlwaysFail",[{"contents":[256,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x00000000000000000000000000000000000000000000000000000000000011a6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreams",[{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[32,"3324853035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x0000000000000000000000000000000000000000000000000000000000000058"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[160,"221"],"tag":"AbiUInt"},{"contents":[32,"787993"],"tag":"AbiUInt"},{"contents":[32,"1524788263"],"tag":"AbiUInt"},{"contents":[128,"-1027"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000010e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"121"],"tag":"AbiUInt"},{"contents":[8,"225"],"tag":"AbiUInt"},{"contents":[160,"143948375698579930232500909633803722852611704997"],"tag":"AbiUInt"},{"contents":[32,"1524789573"],"tag":"AbiUInt"},{"contents":[32,"1022"],"tag":"AbiUInt"},{"contents":[128,"48767294752977967759987769609874851262"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000001088"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collectToSelf",[{"contents":[8,"198"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x000000000000000000000000000000000000000000000000000000000000b578"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[256,"314494253101063415432922817"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x00000000000000000000000000000000000000000000000000000000000028d1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]