[{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b5c9","0x0000000000000000000000000000000000000000000000000000000000008ecb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x000000000000000000000000000000000000000000000000000000000000a430"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x000000000000000000000000000000000000000000000000000000000000cc78"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"197641207721013831363602889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x0000000000000000000000000000000000000000000000000000000000001c9a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"232"],"tag":"AbiUInt"},{"contents":[16,"234"],"tag":"AbiUInt"},{"contents":[16,"13"],"tag":"AbiUInt"},{"contents":[8,"40"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000475d0","0x000000000000000000000000000000000000000000000000000000000000045d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068569","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fab6","0x0000000000000000000000000000000000000000000000000000000000003368"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_snapshotVotesForInitiative",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d8c6","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_snapshotVotesForInitiative",[{"contents":"0xb4c79daB8f259C7Aee6E5b2Aa729821864227e84","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fec4","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000002cbba9d9e821be522"},{"call":{"contents":["governance_withdrawLQTY",[{"contents":[88,"226094831308164361383984037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d698","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"207"],"tag":"AbiUInt"},{"contents":[96,"39999999999999999"],"tag":"AbiUInt"},{"contents":[96,"500000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaec","0x0000000000000000000000000000000000000000000000000000000000001762"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"-999999999999999999"],"tag":"AbiInt"},{"contents":[88,"-83"],"tag":"AbiInt"},{"contents":[88,"309"],"tag":"AbiInt"},{"contents":[88,"71176609018920068336291872"],"tag":"AbiInt"},{"contents":[88,"-1000000000000000002"],"tag":"AbiInt"},{"contents":[88,"16"],"tag":"AbiInt"},{"contents":[88,"139363409141234414184693849"],"tag":"AbiInt"},{"contents":[88,"56824357779052314794819897"],"tag":"AbiInt"},{"contents":[88,"131220420498879756932990161"],"tag":"AbiInt"},{"contents":[88,"64"],"tag":"AbiInt"},{"contents":[88,"986"],"tag":"AbiInt"},{"contents":[88,"71447752730182570047264708"],"tag":"AbiInt"},{"contents":[88,"10001"],"tag":"AbiInt"},{"contents":[88,"-20"],"tag":"AbiInt"},{"contents":[88,"136432565058660980459915673"],"tag":"AbiInt"},{"contents":[88,"118"],"tag":"AbiInt"},{"contents":[88,"89"],"tag":"AbiInt"},{"contents":[88,"89937128176634444435192850"],"tag":"AbiInt"},{"contents":[88,"518403"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"101375398634664753212482024"],"tag":"AbiInt"},{"contents":[88,"7856960215450089219959752"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"138398286802394862390508923"],"tag":"AbiInt"},{"contents":[88,"33540519"],"tag":"AbiInt"},{"contents":[88,"147186844600046674211748440"],"tag":"AbiInt"},{"contents":[88,"-37"],"tag":"AbiInt"},{"contents":[88,"6"],"tag":"AbiInt"},{"contents":[88,"-2158778574"],"tag":"AbiInt"},{"contents":[88,"104197777305617211926483284"],"tag":"AbiInt"},{"contents":[88,"133730835097031783799598913"],"tag":"AbiInt"},{"contents":[88,"131975366945585466579319246"],"tag":"AbiInt"},{"contents":[88,"4370001"],"tag":"AbiInt"},{"contents":[88,"-33540522"],"tag":"AbiInt"},{"contents":[88,"49304506265969126167508623"],"tag":"AbiInt"},{"contents":[88,"1532892063"],"tag":"AbiInt"},{"contents":[88,"34756743080185307490852632"],"tag":"AbiInt"},{"contents":[88,"-2158778572"],"tag":"AbiInt"},{"contents":[88,"2158778575"],"tag":"AbiInt"},{"contents":[88,"233"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[96,"8279564788913322067642997415"],"tag":"AbiUInt"},{"contents":[96,"65627829826172314476166939255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000000058"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaee","0x000000000000000000000000000000000000000000000000000000000000175e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fab9","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x000000000000000000000000000000000000000000000000000000000000a932"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074929","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"555"],"tag":"AbiInt"},{"contents":[88,"33880383284523182155636969"],"tag":"AbiInt"},{"contents":[88,"60911366620060664319469623"],"tag":"AbiInt"},{"contents":[88,"32807549404602231663199590"],"tag":"AbiInt"},{"contents":[88,"500000000000000000002"],"tag":"AbiInt"},{"contents":[88,"518397"],"tag":"AbiInt"},{"contents":[88,"6726633964217013426733686"],"tag":"AbiInt"},{"contents":[88,"-11"],"tag":"AbiInt"},{"contents":[88,"2000000"],"tag":"AbiInt"},{"contents":[88,"9999"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362389751"],"tag":"AbiInt"},{"contents":[88,"76372253532418532931705418"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390213"],"tag":"AbiInt"},{"contents":[88,"6506923829165202454801714"],"tag":"AbiInt"},{"contents":[88,"3999999999999999998"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"60097968170895867099234830"],"tag":"AbiInt"},{"contents":[88,"115699892601645184994535174"],"tag":"AbiInt"},{"contents":[88,"-11"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x0000000000000000000000000000000000000000000000000000000000004ea2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"39"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x000000000000000000000000000000000000000000000000000000000000045f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000557d3","0x0000000000000000000000000000000000000000000000000000000000006ea8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_withdrawLQTY",[{"contents":[88,"305261922425099851915248021"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x00000000000000000000000000000000000000000000000000000000000013be"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_depositBribe",[{"contents":[128,"87"],"tag":"AbiUInt"},{"contents":[128,"4370001"],"tag":"AbiUInt"},{"contents":[16,"21"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d1f2","0x0000000000000000000000000000000000000000000000000000000000001c9b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058e77","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb37","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"24168"],"tag":"AbiUInt"},{"contents":[16,"17482"],"tag":"AbiUInt"},{"contents":[16,"65531"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e6","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"187"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005d","0x0000000000000000000000000000000000000000000000000000000000007622"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x000000000000000000000000000000000000000000000000000000000000d0e0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003eb47","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae8","0x0000000000000000000000000000000000000000000000000000000000000e0d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"65532"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x000000000000000000000000000000000000000000000000000000000000cc78"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034082","0x00000000000000000000000000000000000000000000000000000000000056ae"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007b","0x0000000000000000000000000000000000000000000000000000000000000f43"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006856c","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"8679856507248683175447270"],"tag":"AbiInt"},{"contents":[88,"85455665878396138792441440"],"tag":"AbiInt"},{"contents":[88,"100829455210172776262123903"],"tag":"AbiInt"},{"contents":[88,"-91"],"tag":"AbiInt"},{"contents":[88,"-2158778571"],"tag":"AbiInt"},{"contents":[88,"1583622307688236392220032"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362389797"],"tag":"AbiInt"},{"contents":[88,"99592239734263632351185942"],"tag":"AbiInt"},{"contents":[88,"116902546652235198347334190"],"tag":"AbiInt"},{"contents":[88,"2158778572"],"tag":"AbiInt"},{"contents":[88,"-31"],"tag":"AbiInt"},{"contents":[88,"-10002"],"tag":"AbiInt"},{"contents":[88,"2158778573"],"tag":"AbiInt"},{"contents":[88,"44542618000408994535214030"],"tag":"AbiInt"},{"contents":[88,"2158778572"],"tag":"AbiInt"},{"contents":[88,"-3603"],"tag":"AbiInt"},{"contents":[88,"130229119631981963278670871"],"tag":"AbiInt"},{"contents":[88,"65834476121566010461788969"],"tag":"AbiInt"},{"contents":[88,"518400"],"tag":"AbiInt"},{"contents":[88,"-6"],"tag":"AbiInt"},{"contents":[88,"518403"],"tag":"AbiInt"},{"contents":[88,"32"],"tag":"AbiInt"},{"contents":[88,"40"],"tag":"AbiInt"},{"contents":[88,"130393824864421783872383223"],"tag":"AbiInt"},{"contents":[88,"105169832855981914327808193"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"4369999"],"tag":"AbiInt"},{"contents":[88,"100000003"],"tag":"AbiInt"},{"contents":[88,"-90"],"tag":"AbiInt"},{"contents":[88,"68767529739695833855078289"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390324"],"tag":"AbiInt"},{"contents":[88,"83755222534396077065310942"],"tag":"AbiInt"},{"contents":[88,"54394817303565709094172850"],"tag":"AbiInt"},{"contents":[88,"10001"],"tag":"AbiInt"},{"contents":[88,"-10002"],"tag":"AbiInt"},{"contents":[88,"11814956661126448095619711"],"tag":"AbiInt"},{"contents":[88,"84408055039768421965662808"],"tag":"AbiInt"},{"contents":[88,"74982912507827752945633766"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e8b5","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"133416005836052555611333063"],"tag":"AbiInt"},{"contents":[88,"70412870415008532276362477"],"tag":"AbiInt"},{"contents":[88,"40000000000000003"],"tag":"AbiInt"},{"contents":[88,"95736889410087683403839755"],"tag":"AbiInt"},{"contents":[88,"-499999999999999999997"],"tag":"AbiInt"},{"contents":[88,"15"],"tag":"AbiInt"},{"contents":[88,"74535878237230267607710553"],"tag":"AbiInt"},{"contents":[88,"-58"],"tag":"AbiInt"},{"contents":[88,"2000002"],"tag":"AbiInt"},{"contents":[88,"-99999998"],"tag":"AbiInt"},{"contents":[88,"-3602"],"tag":"AbiInt"},{"contents":[88,"32"],"tag":"AbiInt"},{"contents":[88,"-95"],"tag":"AbiInt"},{"contents":[88,"-66"],"tag":"AbiInt"},{"contents":[88,"43005219167973173441854154"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"34466066226813112393943642"],"tag":"AbiInt"},{"contents":[88,"73034437797882952560726911"],"tag":"AbiInt"},{"contents":[88,"10000000000000001"],"tag":"AbiInt"},{"contents":[88,"53385649632785573597999673"],"tag":"AbiInt"},{"contents":[88,"111670299089528277703009296"],"tag":"AbiInt"},{"contents":[88,"6586125502654735796082949"],"tag":"AbiInt"},{"contents":[88,"91243335383453829228214883"],"tag":"AbiInt"},{"contents":[88,"34598658416503608623369796"],"tag":"AbiInt"},{"contents":[88,"17859747608654597341875458"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362389710"],"tag":"AbiInt"},{"contents":[88,"10000000000000000"],"tag":"AbiInt"},{"contents":[88,"73811638016089964259928632"],"tag":"AbiInt"},{"contents":[88,"-40000000000000001"],"tag":"AbiInt"},{"contents":[88,"83310863107000997410697592"],"tag":"AbiInt"},{"contents":[88,"8"],"tag":"AbiInt"},{"contents":[88,"98070450899672178840591402"],"tag":"AbiInt"},{"contents":[88,"1532892064"],"tag":"AbiInt"},{"contents":[88,"129"],"tag":"AbiInt"},{"contents":[88,"-233"],"tag":"AbiInt"},{"contents":[88,"129580210260687415960563529"],"tag":"AbiInt"},{"contents":[88,"1532892063"],"tag":"AbiInt"},{"contents":[88,"152066931061016627129866758"],"tag":"AbiInt"},{"contents":[88,"-230"],"tag":"AbiInt"},{"contents":[88,"-500000000000000000002"],"tag":"AbiInt"},{"contents":[88,"-94"],"tag":"AbiInt"},{"contents":[88,"126619905864423357635720316"],"tag":"AbiInt"},{"contents":[88,"-65533"],"tag":"AbiInt"},{"contents":[88,"85778582151637822818153791"],"tag":"AbiInt"},{"contents":[88,"58"],"tag":"AbiInt"},{"contents":[88,"88"],"tag":"AbiInt"},{"contents":[88,"42"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d5c6","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"10000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000557ce","0x000000000000000000000000000000000000000000000000000000000000bb6e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d69b","0x00000000000000000000000000000000000000000000000000000000000086f9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011f14","0x0000000000000000000000000000000000000000000000000000000000001a46"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e8b5","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"83"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d69c","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"14573776163495024483747086"],"tag":"AbiInt"},{"contents":[88,"117"],"tag":"AbiInt"},{"contents":[88,"-3999999999999999997"],"tag":"AbiInt"},{"contents":[88,"-5"],"tag":"AbiInt"},{"contents":[88,"37953499393818670528277580"],"tag":"AbiInt"},{"contents":[88,"499999999999999999998"],"tag":"AbiInt"},{"contents":[88,"143875234135385310413551633"],"tag":"AbiInt"},{"contents":[88,"2009668750033665004854649"],"tag":"AbiInt"},{"contents":[88,"39785262642876858497273683"],"tag":"AbiInt"},{"contents":[88,"28959031762745661258372419"],"tag":"AbiInt"},{"contents":[88,"-9997"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390408"],"tag":"AbiInt"},{"contents":[88,"49324197020246314796022162"],"tag":"AbiInt"},{"contents":[88,"41510022737383086616194731"],"tag":"AbiInt"},{"contents":[88,"115632285762977265417143053"],"tag":"AbiInt"},{"contents":[88,"-39999999999999999"],"tag":"AbiInt"},{"contents":[88,"66167740937666939747025643"],"tag":"AbiInt"},{"contents":[88,"107212958009520915540209369"],"tag":"AbiInt"},{"contents":[88,"201127640755875451611143"],"tag":"AbiInt"},{"contents":[88,"131020497019938172657590107"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390527"],"tag":"AbiInt"},{"contents":[88,"-86"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"152477153428898087208351417"],"tag":"AbiInt"},{"contents":[88,"76129278845095894467851142"],"tag":"AbiInt"},{"contents":[88,"102850195583813501999284143"],"tag":"AbiInt"},{"contents":[88,"1524785992"],"tag":"AbiInt"},{"contents":[88,"233"],"tag":"AbiInt"},{"contents":[88,"-100000000"],"tag":"AbiInt"},{"contents":[88,"82"],"tag":"AbiInt"},{"contents":[88,"1114522288257730893794312"],"tag":"AbiInt"},{"contents":[88,"93142127263182296850419719"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390084"],"tag":"AbiInt"},{"contents":[88,"137522950132221071343746760"],"tag":"AbiInt"},{"contents":[88,"76809772914127483336848613"],"tag":"AbiInt"},{"contents":[88,"140355926428943660570504023"],"tag":"AbiInt"},{"contents":[88,"-118"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f98","0x0000000000000000000000000000000000000000000000000000000000006729"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb28","0x00000000000000000000000000000000000000000000000000000000000013c1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf3","0x00000000000000000000000000000000000000000000000000000000000084fd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_depositBribe",[{"contents":[128,"474"],"tag":"AbiUInt"},{"contents":[128,"9999999999999997"],"tag":"AbiUInt"},{"contents":[16,"24291"],"tag":"AbiUInt"},{"contents":[8,"53"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x00000000000000000000000000000000000000000000000000000000000067b1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_depositBribe",[{"contents":[128,"23"],"tag":"AbiUInt"},{"contents":[128,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[16,"40706"],"tag":"AbiUInt"},{"contents":[8,"157"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x0000000000000000000000000000000000000000000000000000000000003367"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x00000000000000000000000000000000000000000000000000000000000012b8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"75"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x0000000000000000000000000000000000000000000000000000000000001320"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"309485009821345068724781052"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003f","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"88"],"tag":"AbiUInt"},{"contents":[96,"38094892300773614478601636954"],"tag":"AbiUInt"},{"contents":[96,"146"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[96,"71"],"tag":"AbiUInt"},{"contents":[96,"67228160335858230061596933994"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"221446311210637953019700521"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x000000000000000000000000000000000000000000000000000000000000e4c3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x00000000000000000000000000000000000000000000000000000000000066cc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x000000000000000000000000000000000000000000000000000000000000e026"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_withdrawLQTY",[{"contents":[88,"93"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x0000000000000000000000000000000000000000000000000000000000000f43"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"16"],"tag":"AbiUInt"},{"contents":[16,"54961"],"tag":"AbiUInt"},{"contents":[16,"23219"],"tag":"AbiUInt"},{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000557d1","0x0000000000000000000000000000000000000000000000000000000000001a40"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"-9997"],"tag":"AbiInt"},{"contents":[88,"2"],"tag":"AbiInt"},{"contents":[88,"-231"],"tag":"AbiInt"},{"contents":[88,"66994058901333409949226138"],"tag":"AbiInt"},{"contents":[88,"5"],"tag":"AbiInt"},{"contents":[88,"-604803"],"tag":"AbiInt"},{"contents":[88,"-39999999999999999"],"tag":"AbiInt"},{"contents":[88,"36"],"tag":"AbiInt"},{"contents":[88,"77801437110140469756962881"],"tag":"AbiInt"},{"contents":[88,"134300390813108011915018573"],"tag":"AbiInt"},{"contents":[88,"4845090864692730751421216"],"tag":"AbiInt"},{"contents":[88,"65535"],"tag":"AbiInt"},{"contents":[88,"59"],"tag":"AbiInt"},{"contents":[88,"-22"],"tag":"AbiInt"},{"contents":[88,"112887562627577668326888660"],"tag":"AbiInt"},{"contents":[88,"54187126540259356776876009"],"tag":"AbiInt"},{"contents":[88,"150712023886440769257862430"],"tag":"AbiInt"},{"contents":[88,"52"],"tag":"AbiInt"},{"contents":[88,"84979192145452742505761257"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"140476436430967490531178515"],"tag":"AbiInt"},{"contents":[88,"-2000002"],"tag":"AbiInt"},{"contents":[88,"604798"],"tag":"AbiInt"},{"contents":[88,"-3601"],"tag":"AbiInt"},{"contents":[88,"-4000000000000000003"],"tag":"AbiInt"},{"contents":[88,"-96"],"tag":"AbiInt"},{"contents":[88,"32391676519864153439988545"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390253"],"tag":"AbiInt"},{"contents":[88,"-56"],"tag":"AbiInt"},{"contents":[88,"54342125557588231406945371"],"tag":"AbiInt"},{"contents":[88,"-10000000000000001"],"tag":"AbiInt"},{"contents":[88,"-33540522"],"tag":"AbiInt"},{"contents":[88,"42145055773758858268356719"],"tag":"AbiInt"},{"contents":[88,"47184259048723954089147732"],"tag":"AbiInt"},{"contents":[88,"3599"],"tag":"AbiInt"},{"contents":[88,"-91"],"tag":"AbiInt"},{"contents":[88,"2000002"],"tag":"AbiInt"},{"contents":[88,"82623044463975977327012125"],"tag":"AbiInt"},{"contents":[88,"37975613180413992542550973"],"tag":"AbiInt"},{"contents":[88,"3414677677596685799583581"],"tag":"AbiInt"},{"contents":[88,"42644830319625800004986794"],"tag":"AbiInt"},{"contents":[88,"46992096909685303056407977"],"tag":"AbiInt"},{"contents":[88,"432"],"tag":"AbiInt"},{"contents":[88,"36"],"tag":"AbiInt"},{"contents":[88,"141807730559592154308448145"],"tag":"AbiInt"},{"contents":[88,"91529221824816818569256672"],"tag":"AbiInt"},{"contents":[88,"64"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"223"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063cc9","0x000000000000000000000000000000000000000000000000000000000000cc79"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_depositBribe",[{"contents":[128,"179200759280434990235219732832287417740"],"tag":"AbiUInt"},{"contents":[128,"62071332052558164511076728438343580415"],"tag":"AbiUInt"},{"contents":[16,"118"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x000000000000000000000000000000000000000000000000000000000000a678"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"158"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x0000000000000000000000000000000000000000000000000000000000000f40"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000004ea1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[96,"79228162514264337593543950332"],"tag":"AbiUInt"},{"contents":[96,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x0000000000000000000000000000000000000000000000000000000000003367"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"3225949182"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052703","0x0000000000000000000000000000000000000000000000000000000000002713"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000414ad","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"126"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089751","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x000000000000000000000000000000000000000000000000000000000000e4c4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_depositBribe",[{"contents":[128,"99999997"],"tag":"AbiUInt"},{"contents":[128,"3"],"tag":"AbiUInt"},{"contents":[16,"33957"],"tag":"AbiUInt"},{"contents":[8,"178"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[96,"60202089692166120868124270018"],"tag":"AbiUInt"},{"contents":[96,"5315664433369560902547617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7d","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[96,"87"],"tag":"AbiUInt"},{"contents":[96,"4370001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf8","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[96,"124"],"tag":"AbiUInt"},{"contents":[96,"33697370923702923733642968811"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x000000000000000000000000000000000000000000000000000000000000d9a4"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"34"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_snapshotVotesForInitiative",[{"contents":"0x62d69f6867A0A084C6d313943dC22023Bc263691","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040295","0x0000000000000000000000000000000000000000000000000000000000004bc9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"242276844071603401562056854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x0000000000000000000000000000000000000000000000000000000000000046"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x000000000000000000000000000000000000000000000000000000000000761d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"33540522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"134213718"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb21","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003b","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaec","0x0000000000000000000000000000000000000000000000000000000000004b99"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"146524984090490626419797892"],"tag":"AbiInt"},{"contents":[88,"96465080115460104319249905"],"tag":"AbiInt"},{"contents":[88,"491901272247314279528812"],"tag":"AbiInt"},{"contents":[88,"10000000000000000"],"tag":"AbiInt"},{"contents":[88,"141"],"tag":"AbiInt"},{"contents":[88,"76301061724914174490162300"],"tag":"AbiInt"},{"contents":[88,"-999999999999999999997"],"tag":"AbiInt"},{"contents":[88,"15260672776138132519295194"],"tag":"AbiInt"},{"contents":[88,"154558646173149785083746081"],"tag":"AbiInt"},{"contents":[88,"-3601"],"tag":"AbiInt"},{"contents":[88,"-99999997"],"tag":"AbiInt"},{"contents":[88,"91614138963114974522822495"],"tag":"AbiInt"},{"contents":[88,"147093833847140403777485115"],"tag":"AbiInt"},{"contents":[88,"136718658257091417643636908"],"tag":"AbiInt"},{"contents":[88,"-117"],"tag":"AbiInt"},{"contents":[88,"-518398"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"101797659525477255126092298"],"tag":"AbiInt"},{"contents":[88,"123747238904562194251608568"],"tag":"AbiInt"},{"contents":[88,"41920972795025355367652238"],"tag":"AbiInt"},{"contents":[88,"38"],"tag":"AbiInt"},{"contents":[88,"-231"],"tag":"AbiInt"},{"contents":[88,"77946162649185273237252135"],"tag":"AbiInt"},{"contents":[88,"9262712295021707835478543"],"tag":"AbiInt"},{"contents":[88,"98"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390471"],"tag":"AbiInt"},{"contents":[88,"604797"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390068"],"tag":"AbiInt"},{"contents":[88,"34"],"tag":"AbiInt"},{"contents":[88,"151081231528201654926557989"],"tag":"AbiInt"},{"contents":[88,"53277091003284082505289486"],"tag":"AbiInt"},{"contents":[88,"36620717052063522913010939"],"tag":"AbiInt"},{"contents":[88,"75785635669262872991700101"],"tag":"AbiInt"},{"contents":[88,"127"],"tag":"AbiInt"},{"contents":[88,"7905052510583062291930479"],"tag":"AbiInt"},{"contents":[88,"37086232372135809177791611"],"tag":"AbiInt"},{"contents":[88,"8446793812081674804372771"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329b9","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b0c","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0c","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]