[{"call":{"contents":["squeezeAllSenders",[{"contents":[8,"228"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x0000000000000000000000000000000000000000000000000000000000001398"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewVsActual",[{"contents":[8,"189"],"tag":"AbiUInt"},{"contents":[32,"94"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitShouldNotRevert",[{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000a476"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"10"],"tag":"AbiUInt"},{"contents":[256,"160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitViewVsActual",[{"contents":[8,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003b","0x0000000000000000000000000000000000000000000000000000000000008b61"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalance",[{"contents":[8,"162"],"tag":"AbiUInt"},{"contents":[128,"66463790711769436154823381720849016525"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamImmediatelySqueezable",[{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"225"],"tag":"AbiUInt"},{"contents":[160,"225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["split",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005a","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000007a00"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeToSelf",[{"contents":[8,"144"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000008a89"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setSplits",[{"contents":[8,"128"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[32,"3886229275"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004d","0x0000000000000000000000000000000000000000000000000000000000004dbb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeAllSplits",[{"contents":[8,"162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[256,"97286642118824642648535418111033589878533255335952984152600056505729976786819"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x00000000000000000000000000000000000000000000000000000000000053d8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"56"],"tag":"AbiUInt"},{"contents":[160,"591235471814403013877439284971141349457253077443"],"tag":"AbiUInt"},{"contents":[32,"3712848625"],"tag":"AbiUInt"},{"contents":[32,"777681719"],"tag":"AbiUInt"},{"contents":[128,"-4294967292"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"182"],"tag":"AbiUInt"},{"contents":[128,"170141183460469231731687303715884105726"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x0000000000000000000000000000000000000000000000000000000000008b5d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiverWithClamping",[{"contents":[8,"199"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[32,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x000000000000000000000000000000000000000000000000000000000000c178"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setSplits",[{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"159"],"tag":"AbiUInt"},{"contents":[32,"42746073"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllSenders",[{"contents":[8,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[8,"150"],"tag":"AbiUInt"},{"contents":[128,"1028"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005c","0x00000000000000000000000000000000000000000000000000000000000011b8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAccountingVsTokenBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005b","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[256,"4294967292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003b","0x000000000000000000000000000000000000000000000000000000000000eadf"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithDefaultHistory",[{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreams",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[32,"1524787640"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddSplitsShouldNotRevert",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[32,"189"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x0000000000000000000000000000000000000000000000000000000000001be9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"91"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000000d53"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[256,"51440200004378224685672386334993882023331421065271417469835278353034622556397"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000007cb1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiver",[{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[32,"2109917389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalanceWithdrawAll",[{"contents":[8,"199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000420e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewVsActual",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[32,"3430363604"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantSumAmtDeltaIsZero",[{"contents":[8,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x00000000000000000000000000000000000000000000000000000000000011b8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplittableAfterSplit",[{"contents":[8,"120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeAllSplits",[{"contents":[8,"98"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x00000000000000000000000000000000000000000000000000000000000012b1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"206"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[160,"1302160239950579867726572365686321985675041694288"],"tag":"AbiUInt"},{"contents":[32,"4287581390"],"tag":"AbiUInt"},{"contents":[32,"1469430527"],"tag":"AbiUInt"},{"contents":[128,"85821836924911633732578023701072651021"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000008fc8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiverWithClamping",[{"contents":[8,"71"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[32,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddSplitsShouldNotRevert",[{"contents":[8,"248"],"tag":"AbiUInt"},{"contents":[8,"192"],"tag":"AbiUInt"},{"contents":[32,"305454754"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x000000000000000000000000000000000000000000000000000000000000e5ca"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitViewVsActual",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x0000000000000000000000000000000000000000000000000000000000008b5d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeToSelf",[{"contents":[8,"17"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000018","0x000000000000000000000000000000000000000000000000000000000000a478"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawShouldAlwaysFail",[{"contents":[256,"163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x000000000000000000000000000000000000000000000000000000000000bd9f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeViewVsActual",[{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000001a1b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithFuzzedHistory",[{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[256,"158"],"tag":"AbiUInt"},{"contents":[32,"\":\\142i7\\135%\\SOHm\\161P\\130\\\"/\\206Q\\183c\\191\\162\\241\\252o\\135!\\t\\ACKw\\161N\\232\\STXr\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003b","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalanceWithdrawAll",[{"contents":[8,"194"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x000000000000000000000000000000000000000000000000000000000000e5ca"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddSplitsShouldNotRevert",[{"contents":[8,"146"],"tag":"AbiUInt"},{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[32,"1524790199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"81"],"tag":"AbiUInt"},{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[128,"938463803657347981807090612"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x00000000000000000000000000000000000000000000000000000000000001e3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreams",[{"contents":[8,"240"],"tag":"AbiUInt"},{"contents":[32,"1811033482"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiversReceivedSplit",[{"contents":[8,"35"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x0000000000000000000000000000000000000000000000000000000000000f46"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeWithFuzzedHistory",[{"contents":[8,"9"],"tag":"AbiUInt"},{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[32,"\"\\224\\203\\201\\250\\182)\\233$\\247\\EOT}\\151JB\\177\\221u\\237\\133S\\SI=O\\212\\179\\144@}\\ESC\\NUL&\\165\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x0000000000000000000000000000000000000000000000000000000000006513"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableVsReceived",[{"contents":[8,"215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000007e30"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"209"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[128,"340282366920938463463374607431768211454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000007cb1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezableAmountCantBeWithdrawn",[{"contents":[8,"43"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000034","0x00000000000000000000000000000000000000000000000000000000000012be"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeViewVsActual",[{"contents":[8,"53"],"tag":"AbiUInt"},{"contents":[8,"162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x000000000000000000000000000000000000000000000000000000000000155f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithDefaultHistoryShouldNotRevert",[{"contents":[8,"203"],"tag":"AbiUInt"},{"contents":[8,"225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002b","0x00000000000000000000000000000000000000000000000000000000000013be"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreams",[{"contents":[8,"69"],"tag":"AbiUInt"},{"contents":[32,"2127585141"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x0000000000000000000000000000000000000000000000000000000000000e7c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[160,"1277290362365876370843668728015620735238778530484"],"tag":"AbiUInt"},{"contents":[32,"3841183925"],"tag":"AbiUInt"},{"contents":[32,"399"],"tag":"AbiUInt"},{"contents":[128,"33"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000138c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeTwice",[{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[256,"17750970112501706992573643512109532552047888524918176291073393101484834727100"],"tag":"AbiUInt"},{"contents":[32,"\"no cycles\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x000000000000000000000000000000000000000000000000000000000000e5c8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreamsAllCycles",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000ea75"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamImmediatelySqueezable",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[160,"1524785992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x0000000000000000000000000000000000000000000000000000000000000c47"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeAllAndReceiveAndSplitAndCollectToSelf",[{"contents":[8,"237"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x000000000000000000000000000000000000000000000000000000000000755c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"209"],"tag":"AbiUInt"},{"contents":[8,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002c","0x0000000000000000000000000000000000000000000000000000000000001303"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testGiveShouldNotRevert",[{"contents":[8,"29"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[128,"102392505322051335464109469737052437421"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002b","0x00000000000000000000000000000000000000000000000000000000000011bb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokensShouldNotRevert",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x00000000000000000000000000000000000000000000000000000000000011b8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000000000000000000000000000000000701c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"238"],"tag":"AbiUInt"},{"contents":[160,"923372932502341125989051578622820977967613194111"],"tag":"AbiUInt"},{"contents":[32,"952965"],"tag":"AbiUInt"},{"contents":[32,"20"],"tag":"AbiUInt"},{"contents":[128,"165161880176864241998954966181293673552"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000029","0x0000000000000000000000000000000000000000000000000000000000000d53"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddStreamShouldNotRevert",[{"contents":[8,"191"],"tag":"AbiUInt"},{"contents":[8,"255"],"tag":"AbiUInt"},{"contents":[160,"440833946800339192649903720687617530009182370124"],"tag":"AbiUInt"},{"contents":[32,"1524785992"],"tag":"AbiUInt"},{"contents":[32,"636886091"],"tag":"AbiUInt"},{"contents":[128,"-102"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewVsActual",[{"contents":[8,"193"],"tag":"AbiUInt"},{"contents":[32,"99"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000001e8e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"56"],"tag":"AbiUInt"},{"contents":[256,"62019636062824533036051255094761483341614367763766151892557506336120154178841"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiver",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"125"],"tag":"AbiUInt"},{"contents":[32,"177"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitShouldNotRevert",[{"contents":[8,"12"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000000b80"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFuzzedHistoryShouldNotRevert",[{"contents":[8,"168"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[256,"2079055549647622420732933658525693353329867552078749641151489204632452898207"],"tag":"AbiUInt"},{"contents":[32,"\"\\US\\208\\181\\132\\rI/\\136\\EOT'\\DC4M\\133$\\238\\178`\\SI7\\197\\251\\151B+\\180\\\\X\\186\\SYNH\\203<\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x00000000000000000000000000000000000000000000000000000000000012da"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"191"],"tag":"AbiUInt"},{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[128,"639"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000002fe9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalanceShouldNotRevert",[{"contents":[8,"110"],"tag":"AbiUInt"},{"contents":[128,"-999999999"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x0000000000000000000000000000000000000000000000000000000000001a17"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[256,"89614274644188289095209766287775206334982093215240391415056667124935700074698"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005b","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002b","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[128,"1001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638915"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005a","0x0000000000000000000000000000000000000000000000000000000000003171"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamsWithClamping",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"53"],"tag":"AbiUInt"},{"contents":[160,"650116743484737004525313487214757700791083022874"],"tag":"AbiUInt"},{"contents":[32,"2970318910"],"tag":"AbiUInt"},{"contents":[32,"209"],"tag":"AbiUInt"},{"contents":[128,"-4294967295"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x000000000000000000000000000000000000000000000000000000000000bd99"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeToSelf",[{"contents":[8,"210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreamBalance",[{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[128,"1002"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x0000000000000000000000000000000000000000000000000000000000007e31"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantSumAmtDeltaIsZero",[{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000001360"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setSplits",[{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[32,"2109865519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"204"],"tag":"AbiUInt"},{"contents":[128,"3999999999999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x0000000000000000000000000000000000000000000000000000000000003ed9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithFullyHashedHistory",[{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x00000000000000000000000000000000000000000000000000000000000032e8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["give",[{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[128,"1000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000058","0x00000000000000000000000000000000000000000000000000000000000011bc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueeze",[{"contents":[8,"170"],"tag":"AbiUInt"},{"contents":[8,"246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003c","0x000000000000000000000000000000000000000000000000000000000000e5c6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"206"],"tag":"AbiUInt"},{"contents":[8,"190"],"tag":"AbiUInt"},{"contents":[160,"55426206145139945987000055376766678589340198247"],"tag":"AbiUInt"},{"contents":[32,"2721840377"],"tag":"AbiUInt"},{"contents":[32,"905"],"tag":"AbiUInt"},{"contents":[128,"-94"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005a","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setMaxEndHints",[{"contents":[32,"3610063122"],"tag":"AbiUInt"},{"contents":[32,"1109624006"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamBalanceShouldNotRevert",[{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[128,"103371172713312420321227671075968110198"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x0000000000000000000000000000000000000000000000000000000000001323"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collect",[{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":[8,"88"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000058","0x000000000000000000000000000000000000000000000000000000000000e3f6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["receiveStreams",[{"contents":[8,"210"],"tag":"AbiUInt"},{"contents":[32,"22650020"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000028","0x0000000000000000000000000000000000000000000000000000000000004248"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addSplitsReceiver",[{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[32,"189"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["squeezeToSelf",[{"contents":[8,"194"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005b","0x0000000000000000000000000000000000000000000000000000000000008b5f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamWithClamping",[{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"108"],"tag":"AbiUInt"},{"contents":[160,"166313897333878615394180759759469558035439023313"],"tag":"AbiUInt"},{"contents":[32,"32518890"],"tag":"AbiUInt"},{"contents":[32,"4294967291"],"tag":"AbiUInt"},{"contents":[128,"165853714354509852437563817082628359052"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x000000000000000000000000000000000000000000000000000000000000755c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]