[{"call":{"contents":["setStreamsWithClamping",[{"contents":[8,"217"],"tag":"AbiUInt"},{"contents":[8,"146"],"tag":"AbiUInt"},{"contents":[160,"1180945360863678142127859016432623727176349016320"],"tag":"AbiUInt"},{"contents":[32,"50478"],"tag":"AbiUInt"},{"contents":[32,"888971802"],"tag":"AbiUInt"},{"contents":[128,"92985023376631606720148515718390953767"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004c","0x000000000000000000000000000000000000000000000000000000000000264d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCollect",[{"contents":[8,"130"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x00000000000000000000000000000000000000000000000000000000000000cf"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x00000000000000000000000000000000000000000000000000000000000008f0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRemoveStreamShouldNotRevert",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[256,"97762091998957993237763604450895633237067434028972314594852587308203992476172"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x00000000000000000000000000000000000000000000000000000000000066bc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["removeStream",[{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x00000000000000000000000000000000000000000000000000000000000000bd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokensShouldNotRevert",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x00000000000000000000000000000000000000000000000000000000000002ea"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawShouldAlwaysFail",[{"contents":[256,"48620535779622441695771628362624861126396450446619562264529525967833546693797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x000000000000000000000000000000000000000000000000000000000000ae71"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSplitViewVsActual",[{"contents":[8,"49"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000000dde"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamWithClamping",[{"contents":[8,"162"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[160,"1193838434264127157483825471109282110307741673088"],"tag":"AbiUInt"},{"contents":[32,"1524788062"],"tag":"AbiUInt"},{"contents":[32,"1524790544"],"tag":"AbiUInt"},{"contents":[128,"-100000000000000000000000000000000000"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeViewVsActual",[{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[8,"191"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x000000000000000000000000000000000000000000000000000000000000111a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testGiveShouldNotRevert",[{"contents":[8,"193"],"tag":"AbiUInt"},{"contents":[8,"214"],"tag":"AbiUInt"},{"contents":[128,"42467846441194875039577532133373355063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x0000000000000000000000000000000000000000000000000000000000007829"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"169"],"tag":"AbiUInt"},{"contents":[128,"142811437917323269015576687999904479066"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x0000000000000000000000000000000000000000000000000000000000000715"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSetStreamsShouldNotRevert",[{"contents":[8,"191"],"tag":"AbiUInt"},{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[160,"328274115580664555123195182791064428436968421872"],"tag":"AbiUInt"},{"contents":[32,"2515353166"],"tag":"AbiUInt"},{"contents":[32,"3720172938"],"tag":"AbiUInt"},{"contents":[128,"76604271798981321815258848775042177220"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x0000000000000000000000000000000000000000000000000000000000000fd3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeTwice",[{"contents":[8,"170"],"tag":"AbiUInt"},{"contents":[8,"211"],"tag":"AbiUInt"},{"contents":[256,"72204923864196614598814910821077017632253908117213646984264229177712442798863"],"tag":"AbiUInt"},{"contents":[32,"\"\\DC1\\199\\253\\164\\208\\NUL\\159\\163\\132\\175\\159\\159\\238~\\238\\240\\SYN\\r\\215\\135Y\\196\\r8\\n\\185\\156\\v\\CAN\\165\\132\\196\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002a","0x0000000000000000000000000000000000000000000000000000000000007d1d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStreamWithClamping",[{"contents":[8,"73"],"tag":"AbiUInt"},{"contents":[8,"44"],"tag":"AbiUInt"},{"contents":[160,"100000000000000000000000000000000003"],"tag":"AbiUInt"},{"contents":[32,"1524789534"],"tag":"AbiUInt"},{"contents":[32,"1524790807"],"tag":"AbiUInt"},{"contents":[128,"111756199270988701894965035"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000000862"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantAmtPerSecVsMinAmtPerSec",[{"contents":[8,"158"],"tag":"AbiUInt"},{"contents":[256,"90211780596246976228906104165384891722863195076038085513224584760357845462907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000000000000000000000000000000000defb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["addStream",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"22"],"tag":"AbiUInt"},{"contents":[160,"162"],"tag":"AbiUInt"},{"contents":[32,"1524789730"],"tag":"AbiUInt"},{"contents":[32,"1524787162"],"tag":"AbiUInt"},{"contents":[128,"170141183460469231731687303715884105123"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x000000000000000000000000000000000000000000000000000000000000a08d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["giveClampedAmount",[{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[8,"125"],"tag":"AbiUInt"},{"contents":[128,"295044724747389889925095816138222724267"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x00000000000000000000000000000000000000000000000000000000000000c5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["collectToSelf",[{"contents":[8,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x000000000000000000000000000000000000000000000000000000000000e28c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeTwice",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[256,"38258964502277714469859448841285463355282611691574497844956465684635588977387"],"tag":"AbiUInt"},{"contents":[32,"\"Z\\206m\\bBdK\\234\\183%r?\\222\\131H0\\147\\180?\\224O\\222H\\164\\215\\DC3q\\136\\220:[,\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x00000000000000000000000000000000000000000000000000000000000011d2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setStreams",[{"contents":[8,"223"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[160,"5912015167737854"],"tag":"AbiUInt"},{"contents":[32,"275420"],"tag":"AbiUInt"},{"contents":[32,"1408790694"],"tag":"AbiUInt"},{"contents":[128,"33023754034550528032843400107353709586"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x000000000000000000000000000000000000000000000000000000000000e1d8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariantWithdrawAllTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x0000000000000000000000000000000000000000000000000000000000007bef"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003c","0x000000000000000000000000000000000000000000000000000000000000cb9e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testReceiveStreamsViewVsActual",[{"contents":[8,"102"],"tag":"AbiUInt"},{"contents":[32,"1835001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x0000000000000000000000000000000000000000000000000000000000008c75"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAddStreamShouldNotRevert",[{"contents":[8,"222"],"tag":"AbiUInt"},{"contents":[8,"134"],"tag":"AbiUInt"},{"contents":[160,"749144612731590584270190579180182480383045920015"],"tag":"AbiUInt"},{"contents":[32,"1390022389"],"tag":"AbiUInt"},{"contents":[32,"564968"],"tag":"AbiUInt"},{"contents":[128,"144974109529603371590013220043561590755"],"tag":"AbiInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000000000000000000000000000000000003c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testSqueezeWithDefaultHistoryShouldNotRevert",[{"contents":[8,"180"],"tag":"AbiUInt"},{"contents":[8,"220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000007d61"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]