[{"call":{"contents":["transfer",[{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[8,"218"],"tag":"AbiUInt"},{"contents":[256,"48709216097971782164228771740841440919465123688361377349175713500685789100648"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f5a6","0x000000000000000000000000000000000000000000000000000000000000c302"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bb96","0x00000000000000000000000000000000000000000000000000000000000063ec"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a4d","0x000000000000000000000000000000000000000000000000000000000000702a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferToZeroAddress",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[256,"134730895893516051991602582574"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041429","0x0000000000000000000000000000000000000000000000000000000000001304"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCreditsPerTokenVsBalance",[{"contents":[8,"196"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f1ae","0x000000000000000000000000000000000000000000000000000000000000aa19"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintZeroBalance",[{"contents":[8,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045697","0x00000000000000000000000000000000000000000000000000000000000018a1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnBalance",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[256,"70657712331837365723191673498793252205406206416132244860625926454553240507802"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083cf6","0x000000000000000000000000000000000000000000000000000000000000dcdb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInBalance",[{"contents":[8,"152"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072dc9","0x000000000000000000000000000000000000000000000000000000000000b6ef"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnZeroBalance",[{"contents":[8,"24"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001e1d","0x000000000000000000000000000000000000000000000000000000000000657c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[256,"99553841660794282725148481939889187068091481956800686851306429086795407985820"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065acf","0x000000000000000000000000000000000000000000000000000000000000921a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000221a3","0x0000000000000000000000000000000000000000000000000000000000000e7d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintZeroBalance",[{"contents":[8,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042088","0x0000000000000000000000000000000000000000000000000000000000000daa"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTotalNonRebasingSupplyLessThanTotalBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e862","0x000000000000000000000000000000000000000000000000000000000000bc15"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"46520119470655129597000683067281896338376647545382095640307625691509038990014"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000668ca","0x000000000000000000000000000000000000000000000000000000000000a8cc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAutoConvertBalance",[{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002235","0x000000000000000000000000000000000000000000000000000000000000d63a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldRevert",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[256,"505739151834071700461365135869"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013fef","0x0000000000000000000000000000000000000000000000000000000000000ab2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLessRounding",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"67"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999999999999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bf81","0x000000000000000000000000000000000000000000000000000000000000006f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAutoConvertBalance",[{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050368","0x000000000000000000000000000000000000000000000000000000000000605b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldNotRevert",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"156"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[256,"231888220924679023173593958394"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035b50","0x00000000000000000000000000000000000000000000000000000000000031fd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldRevert",[{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[256,"102280361453316600806241316696119351672441608071987178171328446976881828934621"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037eb8","0x000000000000000000000000000000000000000000000000000000000000acd0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintBalance",[{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[256,"109233483689222962785359216331546819695634195905929770244605695290309799381824"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f121","0x0000000000000000000000000000000000000000000000000000000000004ec9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRebasingCreditsPerTokenNotIncreased",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c321","0x000000000000000000000000000000000000000000000000000000000000bdea"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferToZeroAddress",[{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[256,"69436319215999426145720011460379103770492652792320264363983518413098145606041"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002639b","0x000000000000000000000000000000000000000000000000000000000000c8e7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentMore",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[256,"99721975057593512924193391203348501579512688531348694106785610636683937135215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003eef","0x000000000000000000000000000000000000000000000000000000000000deb8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testChangeSupply",[{"contents":[256,"929770744605695290309799381826"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046ee0","0x0000000000000000000000000000000000000000000000000000000000005bdd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceReceivedLess",[{"contents":[8,"192"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087aa2","0x0000000000000000000000000000000000000000000000000000000000002aed"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceReceivedLessRounding",[{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[256,"2141812267550111255431677406880"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f3b9","0x0000000000000000000000000000000000000000000000000000000000006e00"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnZeroBalance",[{"contents":[8,"40"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000788d1","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"65025568294735248646294021212325210863176973943555043997961682419750005897078"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008a27","0x000000000000000000000000000000000000000000000000000000000000d101"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferSelf",[{"contents":[8,"67"],"tag":"AbiUInt"},{"contents":[256,"547"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142cc","0x0000000000000000000000000000000000000000000000000000000000003780"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLessRounding",[{"contents":[8,"22"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[256,"969"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f0b6","0x00000000000000000000000000000000000000000000000000000000000030f4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053588","0x0000000000000000000000000000000000000000000000000000000000008455"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintBalance",[{"contents":[8,"209"],"tag":"AbiUInt"},{"contents":[256,"300"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000021d7","0x000000000000000000000000000000000000000000000000000000000000cb78"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000282e9","0x0000000000000000000000000000000000000000000000000000000000000932"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferToZeroAddress",[{"contents":[8,"114"],"tag":"AbiUInt"},{"contents":[256,"1581822429042924666552887010850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002af8a","0x000000000000000000000000000000000000000000000000000000000000dc84"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"109090570295896241237595639834485114584541815979935100391681778763614610441261"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008808f","0x0000000000000000000000000000000000000000000000000000000000006693"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnZeroBalance",[{"contents":[8,"97"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000587ab","0x0000000000000000000000000000000000000000000000000000000000009e2f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testChangeSupply",[{"contents":[256,"25911655884894449590186698123572727751563777417735524533716513701049691955473"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000851d1","0x000000000000000000000000000000000000000000000000000000000000965b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["burn",[{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[256,"4360452207384942694468099447052213471389185335996871665014236473522747031284"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049f9e","0x0000000000000000000000000000000000000000000000000000000000006461"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptOutBalance",[{"contents":[8,"54"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034d1c","0x000000000000000000000000000000000000000000000000000000000000d929"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintZeroBalance",[{"contents":[8,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d8cb","0x0000000000000000000000000000000000000000000000000000000000008bb5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldRevert",[{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[8,"90"],"tag":"AbiUInt"},{"contents":[256,"36797103283442397046651318363020043114671393892708191075036753534471930969522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081d4a","0x00000000000000000000000000000000000000000000000000000000000060af"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085d63","0x000000000000000000000000000000000000000000000000000000000000d21c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["transferFrom",[{"contents":[8,"255"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[256,"7234916962328972537778202829658483564826138510444854405056063345475976660779"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006723f","0x000000000000000000000000000000000000000000000000000000000000de4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"24"],"tag":"AbiUInt"},{"contents":[256,"1010131003774662190751674867148"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035579","0x0000000000000000000000000000000000000000000000000000000000006e20"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTotalNonRebasingSupplyLessThanTotalBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cbde","0x000000000000000000000000000000000000000000000000000000000000d7b5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"928094637376536344277404325638"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067034","0x00000000000000000000000000000000000000000000000000000000000013d5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f072","0x0000000000000000000000000000000000000000000000000000000000003545"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["transfer",[{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"45"],"tag":"AbiUInt"},{"contents":[256,"1701503202845118597844589811861446159726502708076712237568831"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cf2f","0x000000000000000000000000000000000000000000000000000000000000324b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceReceivedMore",[{"contents":[8,"174"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"},{"contents":[256,"820282519728792003956564819588"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000265cc","0x000000000000000000000000000000000000000000000000000000000000240a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLessRounding",[{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[256,"90544736233216483922552182987355199693896576035698049117303251603010097477227"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062dd6","0x000000000000000000000000000000000000000000000000000000000000b918"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferWithinBalanceDoesNotRevert",[{"contents":[8,"143"],"tag":"AbiUInt"},{"contents":[8,"75"],"tag":"AbiUInt"},{"contents":[256,"97798084582240781828644084692848060670669286483316113167757320038375800704949"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084f9b","0x000000000000000000000000000000000000000000000000000000000000c531"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferExceedingBalanceReverts",[{"contents":[8,"159"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[256,"44642634968443282997986260586709489969492584391959405890873034773959785409303"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073041","0x0000000000000000000000000000000000000000000000000000000000006f48"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintZeroBalance",[{"contents":[8,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083914","0x000000000000000000000000000000000000000000000000000000000000dc33"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c454","0x0000000000000000000000000000000000000000000000000000000000000248"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[256,"81913815797386760185827264677638540142058521909049291247564453750950827272907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f5e9","0x000000000000000000000000000000000000000000000000000000000000bd2c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"110484823739204675049498403245000693196964177091249325867365308999191752697116"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a3ef","0x00000000000000000000000000000000000000000000000000000000000067c5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTotalSupplyLessThanTotalBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021dbf","0x0000000000000000000000000000000000000000000000000000000000008e3f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldRevert",[{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"208"],"tag":"AbiUInt"},{"contents":[256,"109403571374806775862018364300932972114487783663058918065876242552534962049246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048a66","0x000000000000000000000000000000000000000000000000000000000000b3d1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testNonRebasingSupplyVsTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075c2e","0x00000000000000000000000000000000000000000000000000000000000011d1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"255"],"tag":"AbiUInt"},{"contents":[256,"87619903403723920382181117393535470898920852508116300516222245250573355920822"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058c64","0x00000000000000000000000000000000000000000000000000000000000070a7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testNonRebasingSupplyVsTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000896ea","0x000000000000000000000000000000000000000000000000000000000000c9e5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001fb96","0x000000000000000000000000000000000000000000000000000000000000e7d6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintZeroBalance",[{"contents":[8,"61"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000221df","0x000000000000000000000000000000000000000000000000000000000000a5ce"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045d8b","0x00000000000000000000000000000000000000000000000000000000000085ab"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002702d","0x0000000000000000000000000000000000000000000000000000000000005300"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldNotRevert",[{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[256,"156675811755761253917758806719"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003db6","0x000000000000000000000000000000000000000000000000000000000000b5b5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[256,"905334355457743368643390601512"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000675bd","0x0000000000000000000000000000000000000000000000000000000000005696"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCreditsPerTokenVsBalance",[{"contents":[8,"255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fb9a","0x00000000000000000000000000000000000000000000000000000000000032f6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInBalanceRounding",[{"contents":[8,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003635c","0x00000000000000000000000000000000000000000000000000000000000083ad"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptOutBalance",[{"contents":[8,"59"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076f97","0x000000000000000000000000000000000000000000000000000000000000dbe7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAutoConvertBalance",[{"contents":[8,"246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001aa90","0x000000000000000000000000000000000000000000000000000000000000dc33"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptOutTotalSupply",[{"contents":[8,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004935b","0x000000000000000000000000000000000000000000000000000000000000945d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRebasingCreditsPerTokenAboveZero",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070d07","0x0000000000000000000000000000000000000000000000000000000000002b52"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testApprove",[{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[256,"58416191563842425056342528325402893568395031757263829804580356950933145448661"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003af88","0x000000000000000000000000000000000000000000000000000000000000123d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLessRounding",[{"contents":[8,"6"],"tag":"AbiUInt"},{"contents":[8,"161"],"tag":"AbiUInt"},{"contents":[256,"1018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067b03","0x00000000000000000000000000000000000000000000000000000000000024c4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferExceedingBalanceReverts",[{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[256,"1576918364326359633029531593345"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011190","0x0000000000000000000000000000000000000000000000000000000000005bb6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testApprove",[{"contents":[8,"50"],"tag":"AbiUInt"},{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[256,"57118940252181162215794204086044365068937525046076869546884096099214648154257"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fe22","0x0000000000000000000000000000000000000000000000000000000000003dd4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["burn",[{"contents":[8,"205"],"tag":"AbiUInt"},{"contents":[256,"313"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062b9f","0x0000000000000000000000000000000000000000000000000000000000007d6d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBalanceOfShouldNotRevert",[{"contents":[8,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000774dc","0x000000000000000000000000000000000000000000000000000000000000bc28"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptOutBalance",[{"contents":[8,"220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008848e","0x0000000000000000000000000000000000000000000000000000000000003051"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testApprove",[{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"166"],"tag":"AbiUInt"},{"contents":[256,"39878654347945449733150444883239313750802831600318856687369874759698149416660"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d639","0x00000000000000000000000000000000000000000000000000000000000046d2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInTotalSupply",[{"contents":[8,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e788","0x0000000000000000000000000000000000000000000000000000000000004b54"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldNotRevert",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"43"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[256,"15400345798245835116284746670863692214699272373318174292260662301598449656765"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062925","0x000000000000000000000000000000000000000000000000000000000000b122"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInTotalSupply",[{"contents":[8,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008dff0","0x000000000000000000000000000000000000000000000000000000000000b851"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["getTotalNonRebasingBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052234","0x0000000000000000000000000000000000000000000000000000000000007683"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035c43","0x00000000000000000000000000000000000000000000000000000000000099e3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f152","0x000000000000000000000000000000000000000000000000000000000000c7ca"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAutoConvertBalance",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027dc7","0x000000000000000000000000000000000000000000000000000000000000a464"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testApprove",[{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"166"],"tag":"AbiUInt"},{"contents":[256,"39878654347945449733150444883239313750802831600318856687369874759698149416660"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e570","0x0000000000000000000000000000000000000000000000000000000000000405"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldNotRevert",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[256,"519771460893554812464756150818"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011361","0x000000000000000000000000000000000000000000000000000000000000c0d7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f8e0","0x00000000000000000000000000000000000000000000000000000000000069f7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testAutoConvertBalance",[{"contents":[8,"147"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014af5","0x0000000000000000000000000000000000000000000000000000000000007dad"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferSelf",[{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[256,"107778104005581403947786952959030337749358905773960281915587955205963197050892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x00000000000000000000000000000000000000000000000000000000000020c3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testMintZeroBalance",[{"contents":[8,"108"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dfe7","0x000000000000000000000000000000000000000000000000000000000000dcd0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["burn",[{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[256,"98073810850510329349017504231523662521069007305584466137848702677172157174828"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a1a7","0x0000000000000000000000000000000000000000000000000000000000006623"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"72"],"tag":"AbiUInt"},{"contents":[256,"81116067552113579068909375378215447186694855271285825102104577850742575682555"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041624","0x0000000000000000000000000000000000000000000000000000000000003df9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRebasingCreditsPerTokenAboveZero",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072f51","0x000000000000000000000000000000000000000000000000000000000000bb88"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceReceivedLess",[{"contents":[8,"202"],"tag":"AbiUInt"},{"contents":[8,"32"],"tag":"AbiUInt"},{"contents":[256,"113293668723130472030653805506974914814831459350083817840513281036850156560468"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007607f","0x0000000000000000000000000000000000000000000000000000000000008f5a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testChangeSupply",[{"contents":[256,"15898373320979577853023434756095466654300713901553911221303606092662938827074"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000694ea","0x00000000000000000000000000000000000000000000000000000000000001ae"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]