[{"call":{"contents":["testBurnAllBalanceShouldNotRevert",[{"contents":[8,"154"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c38d","0x000000000000000000000000000000000000000000000000000000000000a631"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084b1e","0x000000000000000000000000000000000000000000000000000000000000cc63"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"6"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000755bc","0x000000000000000000000000000000000000000000000000000000000000037b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLess",[{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"146"],"tag":"AbiUInt"},{"contents":[256,"1707361338141078904504126900847"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b72e","0x000000000000000000000000000000000000000000000000000000000000b281"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["burn",[{"contents":[8,"25"],"tag":"AbiUInt"},{"contents":[256,"59027051150261880333204931563061436300851958291410214854049045307013476822197"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000747a","0x00000000000000000000000000000000000000000000000000000000000015b9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldRevert",[{"contents":[8,"10"],"tag":"AbiUInt"},{"contents":[8,"140"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[256,"72700208239380050939519711062873995588393115341231316488658387595249795418423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042acd","0x000000000000000000000000000000000000000000000000000000000000c19a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferSelf",[{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[256,"141069467893359109309085763243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000629c","0x0000000000000000000000000000000000000000000000000000000000009f2f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferFromShouldRevert",[{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":[8,"229"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[256,"662"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c2c7","0x000000000000000000000000000000000000000000000000000000000000adb3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testChangeSupply",[{"contents":[256,"813584584335313279"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000545ba","0x000000000000000000000000000000000000000000000000000000000000bb06"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCreditsPerTokenVsBalance",[{"contents":[8,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083312","0x0000000000000000000000000000000000000000000000000000000000009d8c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInBalanceRounding",[{"contents":[8,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057f3c","0x0000000000000000000000000000000000000000000000000000000000002f81"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTotalNonRebasingSupplyLessThanTotalBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023b70","0x000000000000000000000000000000000000000000000000000000000000c6f1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCreditsPerTokenVsBalance",[{"contents":[8,"255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049632","0x000000000000000000000000000000000000000000000000000000000000c482"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["changeSupply",[{"contents":[256,"14490146834460584831926592497890024810338112554797139751092696677167330759408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026441","0x0000000000000000000000000000000000000000000000000000000000006990"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[256,"671265202046647451429944510376"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004876f","0x000000000000000000000000000000000000000000000000000000000000aa8a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnZeroBalance",[{"contents":[8,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054d8e","0x000000000000000000000000000000000000000000000000000000000000e552"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[256,"94244570483123740975016455438742501651427814268706661948253282744811093723714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008af95","0x0000000000000000000000000000000000000000000000000000000000006ea8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["changeSupply",[{"contents":[256,"82038354771865918807482508079768356008661800468544479670940979208432376132863"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070c35","0x000000000000000000000000000000000000000000000000000000000000543f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferToZeroAddress",[{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":[256,"74242776133295855561067586987823633287411185405767072895168358838881388930417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064613","0x0000000000000000000000000000000000000000000000000000000000000fcb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["transferFrom",[{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[256,"994366334042816048"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056125","0x0000000000000000000000000000000000000000000000000000000000006075"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnAllBalanceToZero",[{"contents":[8,"63"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051803","0x0000000000000000000000000000000000000000000000000000000000009ade"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBurnZeroBalance",[{"contents":[8,"114"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d6b7","0x000000000000000000000000000000000000000000000000000000000000dc11"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentMore",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"41"],"tag":"AbiUInt"},{"contents":[256,"4081328764897320613196866"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060f8c","0x0000000000000000000000000000000000000000000000000000000000000486"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"362994374649828680930119402290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051e71","0x000000000000000000000000000000000000000000000000000000000000045b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["transferFrom",[{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"222"],"tag":"AbiUInt"},{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[256,"92913562118801165141215189590715851459775001859707390278261958784950271557265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000472f0","0x0000000000000000000000000000000000000000000000000000000000009532"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferSelf",[{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[256,"100736571252063296122517763345760165434131624034757126149047572251082837893967"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e424","0x00000000000000000000000000000000000000000000000000000000000065db"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["burn",[{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[256,"1475876940216003450513299520423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063f4c","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["changeSupply",[{"contents":[256,"1333592156933827149245101332761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000919b6","0x000000000000000000000000000000000000000000000000000000000000c777"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRebasingCreditsPerTokenAboveZero",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ac3c","0x000000000000000000000000000000000000000000000000000000000000502e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLessRounding",[{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"146"],"tag":"AbiUInt"},{"contents":[256,"44829999444228"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053d3f","0x0000000000000000000000000000000000000000000000000000000000005f2f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["changeSupply",[{"contents":[256,"74129870100251240557304404411004659645056723924950988109857438443397552387454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007476e","0x000000000000000000000000000000000000000000000000000000000000e7e4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testApprove",[{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"184"],"tag":"AbiUInt"},{"contents":[256,"1152495593753956851789597211397702910709241694561490968387782928958070803528"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008bb0b","0x000000000000000000000000000000000000000000000000000000000000c112"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInBalanceRounding",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a45e","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testBalanceOfShouldNotRevert",[{"contents":[8,"220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cdea","0x0000000000000000000000000000000000000000000000000000000000005440"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testRebasingCreditsPerTokenAboveZero",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e81a","0x0000000000000000000000000000000000000000000000000000000000005e08"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testCreditsPerTokenVsBalance",[{"contents":[8,"240"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e8e","0x0000000000000000000000000000000000000000000000000000000000006044"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testChangeSupply",[{"contents":[256,"269714835936397092334276125869"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007df1e","0x000000000000000000000000000000000000000000000000000000000000108c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLess",[{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[256,"95141202120557516843746454968963832075878259182909922628472868637747936208210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000607ba","0x000000000000000000000000000000000000000000000000000000000000e2dc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTransferBalanceSentLessRounding",[{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[256,"33679261124367444296147610508025407863154184376799381246785187632794107589316"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d30b","0x000000000000000000000000000000000000000000000000000000000000db5f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInBalance",[{"contents":[8,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000060a9","0x0000000000000000000000000000000000000000000000000000000000007952"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mint",[{"contents":[8,"246"],"tag":"AbiUInt"},{"contents":[256,"39921146193761959952372165087275728484869579069394650803354130876041222585362"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e1cb","0x00000000000000000000000000000000000000000000000000000000000002d7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000489f1","0x000000000000000000000000000000000000000000000000000000000000a07e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testOptInTotalSupply",[{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a0dc","0x000000000000000000000000000000000000000000000000000000000000d535"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optIn",[{"contents":[8,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000187b9","0x000000000000000000000000000000000000000000000000000000000000449c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["testTotalSupplyLessThanTotalBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000559d","0x000000000000000000000000000000000000000000000000000000000000d855"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000040000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]