[{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006dca2","0x0000000000000000000000000000000000000000000000000000000000001b20"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"117"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"89"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a05f","0x000000000000000000000000000000000000000000000000000000000000e7c6"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e902","0x000000000000000000000000000000000000000000000000000000000000cc7a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b359","0x00000000000000000000000000000000000000000000000000000000000000ad"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"60099968003107906619475374"],"tag":"AbiInt"},{"contents":[88,"121894216643002856791075894"],"tag":"AbiInt"},{"contents":[88,"66575516346937183512434301"],"tag":"AbiInt"},{"contents":[88,"113352163429570315183949353"],"tag":"AbiInt"},{"contents":[88,"-1000000000000000001"],"tag":"AbiInt"},{"contents":[88,"999999999999999999998"],"tag":"AbiInt"},{"contents":[88,"123"],"tag":"AbiInt"},{"contents":[88,"1532892060"],"tag":"AbiInt"},{"contents":[88,"999999999999999998"],"tag":"AbiInt"},{"contents":[88,"607"],"tag":"AbiInt"},{"contents":[88,"66665686879303935542521947"],"tag":"AbiInt"},{"contents":[88,"1532892061"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"124448894996309771150966657"],"tag":"AbiInt"},{"contents":[88,"121"],"tag":"AbiInt"},{"contents":[88,"142007180237055953534119166"],"tag":"AbiInt"},{"contents":[88,"17764065948303918781355039"],"tag":"AbiInt"},{"contents":[88,"500000000000000000003"],"tag":"AbiInt"},{"contents":[88,"63867065632698880897135560"],"tag":"AbiInt"},{"contents":[88,"113680214433296810858837062"],"tag":"AbiInt"},{"contents":[88,"-1532892066"],"tag":"AbiInt"},{"contents":[88,"-10000"],"tag":"AbiInt"},{"contents":[88,"76627518474027727287448713"],"tag":"AbiInt"},{"contents":[88,"276"],"tag":"AbiInt"},{"contents":[88,"-4000000000000000000"],"tag":"AbiInt"},{"contents":[88,"-2000001"],"tag":"AbiInt"},{"contents":[88,"10283690218369963953071361"],"tag":"AbiInt"},{"contents":[88,"27665232691200281965323583"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390351"],"tag":"AbiInt"},{"contents":[88,"89304191802560873515767896"],"tag":"AbiInt"},{"contents":[88,"63"],"tag":"AbiInt"},{"contents":[88,"77661003085768646764526410"],"tag":"AbiInt"},{"contents":[88,"90721361033862847676011394"],"tag":"AbiInt"},{"contents":[88,"37772295257909040873358240"],"tag":"AbiInt"},{"contents":[88,"-39999999999999998"],"tag":"AbiInt"},{"contents":[88,"229"],"tag":"AbiInt"},{"contents":[88,"-518400"],"tag":"AbiInt"},{"contents":[88,"49319191084233368139695735"],"tag":"AbiInt"},{"contents":[88,"12018735164909214980221927"],"tag":"AbiInt"},{"contents":[88,"75162396872312904369670583"],"tag":"AbiInt"},{"contents":[88,"69900402119908301095927892"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"111023444672982250786020772345214743586156584490888443623600651272957512673629"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x00000000000000000000000000000000000000000000000000000000000047eb"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"10"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a9a4","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_snapshotVotesForInitiative",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000007ae7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x000000000000000000000000000000000000000000000000000000000000138f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"9997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x00000000000000000000000000000000000000000000000000000000000013c1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"309485009821345068724781054"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2ce","0x0000000000000000000000000000000000000000000000000000000000004b95"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cfe6","0x0000000000000000000000000000000000000000000000000000000000006490"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x0000000000000000000000000000000000000000000000000000000000009568"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"88902099906207939563305822"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fec3","0x0000000000000000000000000000000000000000000000000000000000001346"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"53"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x000000000000000000000000000000000000000000000000000000000000e345"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[96,"5491546042368031210671172531"],"tag":"AbiUInt"},{"contents":[96,"64976270429318475442445439279"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x000000000000000000000000000000000000000000000000000000000000ec20"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000000059"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x0000000000000000000000000000000000000000000000000000000000001349"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[96,"3600"],"tag":"AbiUInt"},{"contents":[96,"309485009821345068724781053"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b85b","0x0000000000000000000000000000000000000000000000000000000000000044"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":[96,"17798642213424916476449954482"],"tag":"AbiUInt"},{"contents":[96,"15162976030464402143751997922"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae8","0x000000000000000000000000000000000000000000000000000000000000df6d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x00000000000000000000000000000000000000000000000000000000000078ea"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"-3598"],"tag":"AbiInt"},{"contents":[88,"26814670883923805289910041"],"tag":"AbiInt"},{"contents":[88,"120"],"tag":"AbiInt"},{"contents":[88,"40309867436796434737920293"],"tag":"AbiInt"},{"contents":[88,"112345569069285784171904618"],"tag":"AbiInt"},{"contents":[88,"125818750903513724246422872"],"tag":"AbiInt"},{"contents":[88,"128298608163525263560288268"],"tag":"AbiInt"},{"contents":[88,"1532892062"],"tag":"AbiInt"},{"contents":[88,"71666634883411396450138671"],"tag":"AbiInt"},{"contents":[88,"125130955505625046021186560"],"tag":"AbiInt"},{"contents":[88,"138930790433792408557474039"],"tag":"AbiInt"},{"contents":[88,"-233"],"tag":"AbiInt"},{"contents":[88,"20282306023433017424956662"],"tag":"AbiInt"},{"contents":[88,"84326079473754599352812191"],"tag":"AbiInt"},{"contents":[88,"95114606516846150946360635"],"tag":"AbiInt"},{"contents":[88,"-2158778576"],"tag":"AbiInt"},{"contents":[88,"75719488887857606903605329"],"tag":"AbiInt"},{"contents":[88,"2158778576"],"tag":"AbiInt"},{"contents":[88,"604799"],"tag":"AbiInt"},{"contents":[88,"97557601022601890493275592"],"tag":"AbiInt"},{"contents":[88,"72650658619001405272749851"],"tag":"AbiInt"},{"contents":[88,"75022075661929291525352460"],"tag":"AbiInt"},{"contents":[88,"148881962921240052148701308"],"tag":"AbiInt"},{"contents":[88,"109701456219251123427210427"],"tag":"AbiInt"},{"contents":[88,"-6"],"tag":"AbiInt"},{"contents":[88,"35"],"tag":"AbiInt"},{"contents":[88,"143412879721412871619047487"],"tag":"AbiInt"},{"contents":[88,"-65537"],"tag":"AbiInt"},{"contents":[88,"102323787855964425058244035"],"tag":"AbiInt"},{"contents":[88,"-9"],"tag":"AbiInt"},{"contents":[88,"-3999999999999999997"],"tag":"AbiInt"},{"contents":[88,"76788458916294338291990693"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"119598328205398001905911770"],"tag":"AbiInt"},{"contents":[88,"-604798"],"tag":"AbiInt"},{"contents":[88,"43309014762099323899371081"],"tag":"AbiInt"},{"contents":[88,"131127253134140211727111507"],"tag":"AbiInt"},{"contents":[88,"118995811307358126414967473"],"tag":"AbiInt"},{"contents":[88,"-39999999999999998"],"tag":"AbiInt"},{"contents":[88,"31270066551032851164509599"],"tag":"AbiInt"},{"contents":[88,"29257911132629920673768394"],"tag":"AbiInt"},{"contents":[88,"56"],"tag":"AbiInt"},{"contents":[88,"65532"],"tag":"AbiInt"},{"contents":[88,"46656896777230989437261204"],"tag":"AbiInt"},{"contents":[88,"1000000000000000000000"],"tag":"AbiInt"},{"contents":[88,"65"],"tag":"AbiInt"},{"contents":[88,"150395663491465885015272508"],"tag":"AbiInt"},{"contents":[88,"833000985148316555874576"],"tag":"AbiInt"},{"contents":[88,"36180376161026646205167503"],"tag":"AbiInt"},{"contents":[88,"871"],"tag":"AbiInt"},{"contents":[88,"925"],"tag":"AbiInt"},{"contents":[88,"137373999313015575293427639"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf4","0x00000000000000000000000000000000000000000000000000000000000056af"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"42"],"tag":"AbiUInt"},{"contents":[96,"30473343338931473733458004654"],"tag":"AbiUInt"},{"contents":[96,"65485958309288923478070380100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b0d","0x00000000000000000000000000000000000000000000000000000000000073da"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b0d","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fec2","0x000000000000000000000000000000000000000000000000000000000000d155"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"121823546866410541564894747"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x00000000000000000000000000000000000000000000000000000000000078e7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"74926883714284029540440035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f8dc","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034281","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"1000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e8b7","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"62754275423239240742939655"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x000000000000000000000000000000000000000000000000000000000000a934"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b0e","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"9"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048a23","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"2158778575"],"tag":"AbiInt"},{"contents":[88,"90543059055612401766304809"],"tag":"AbiInt"},{"contents":[88,"110815398879892450685980733"],"tag":"AbiInt"},{"contents":[88,"138584028476695239701920064"],"tag":"AbiInt"},{"contents":[88,"269910095341845156912280"],"tag":"AbiInt"},{"contents":[88,"60820752562080130476065674"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"1532892062"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214ca","0x000000000000000000000000000000000000000000000000000000000000005a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077dd6","0x000000000000000000000000000000000000000000000000000000000000a931"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b85e","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_snapshotVotesForInitiative",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_deployUserProxy",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052707","0x0000000000000000000000000000000000000000000000000000000000001b21"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034941","0x000000000000000000000000000000000000000000000000000000000000bdc0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000004060"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"138799390626306867441658561"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021648","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"1473023210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052404","0x000000000000000000000000000000000000000000000000000000000000defe"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x0000000000000000000000000000000000000000000000000000000000000057"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"549"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001013b","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb40","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"56"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000009bc1"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"93"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI04",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000132e9","0x0000000000000000000000000000000000000000000000000000000000004233"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f31c","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fab7","0x00000000000000000000000000000000000000000000000000000000000084fc"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"-2158778570"],"tag":"AbiInt"},{"contents":[88,"79476338535850768842620988"],"tag":"AbiInt"},{"contents":[88,"6"],"tag":"AbiInt"},{"contents":[88,"1532892064"],"tag":"AbiInt"},{"contents":[88,"-9997"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390439"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362389998"],"tag":"AbiInt"},{"contents":[88,"-120"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390435"],"tag":"AbiInt"},{"contents":[88,"128155288915299377114398590"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"-1000000000000000002"],"tag":"AbiInt"},{"contents":[88,"89452859803282065746137602"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390244"],"tag":"AbiInt"},{"contents":[88,"518398"],"tag":"AbiInt"},{"contents":[88,"-37"],"tag":"AbiInt"},{"contents":[88,"9999999999999998"],"tag":"AbiInt"},{"contents":[88,"1524785993"],"tag":"AbiInt"},{"contents":[88,"72537118533052666319471212"],"tag":"AbiInt"},{"contents":[88,"-10002"],"tag":"AbiInt"},{"contents":[88,"37527346570382337450893020"],"tag":"AbiInt"},{"contents":[88,"152258920246155012396867270"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362389660"],"tag":"AbiInt"},{"contents":[88,"149270671049062743775658551"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040296","0x000000000000000000000000000000000000000000000000000000000000bdc5"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"91409140291920832986255162191337144048227077899439338804960209322105708659142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"956685"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003eb45","0x0000000000000000000000000000000000000000000000000000000000000f45"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x000000000000000000000000000000000000000000000000000000000000045e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fab7","0x0000000000000000000000000000000000000000000000000000000000007ae3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"581988690"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000307c6","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_unregisterInitiative",[{"contents":[8,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x000000000000000000000000000000000000000000000000000000000000e4bf"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI05",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073634","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_accrueBold",[{"contents":[88,"46849311392994550572345275"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x000000000000000000000000000000000000000000000000000000000000bcb8"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"30"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002a2","0x000000000000000000000000000000000000000000000000000000000000336c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003eb4a","0x0000000000000000000000000000000000000000000000000000000000000c31"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070df3","0x0000000000000000000000000000000000000000000000000000000000001377"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008251e","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY_clamped_single_initiative",[{"contents":[8,"248"],"tag":"AbiUInt"},{"contents":[96,"13930361622113708150781388934"],"tag":"AbiUInt"},{"contents":[96,"51134021209326465992680548205"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063cca","0x000000000000000000000000000000000000000000000000000000000000743b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI02",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000003c9f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"154742504910672534362390012"],"tag":"AbiInt"},{"contents":[88,"604802"],"tag":"AbiInt"},{"contents":[88,"124197064357285921168921969"],"tag":"AbiInt"},{"contents":[88,"9997"],"tag":"AbiInt"},{"contents":[88,"54824701675102595447702797"],"tag":"AbiInt"},{"contents":[88,"-500000000000000000002"],"tag":"AbiInt"},{"contents":[88,"35366936068363828413067272"],"tag":"AbiInt"},{"contents":[88,"1000000000000000000000"],"tag":"AbiInt"},{"contents":[88,"635"],"tag":"AbiInt"},{"contents":[88,"59716884169476013505800388"],"tag":"AbiInt"},{"contents":[88,"41743702573000506569688769"],"tag":"AbiInt"},{"contents":[88,"-121"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"65532"],"tag":"AbiInt"},{"contents":[88,"39009754527469225615636841"],"tag":"AbiInt"},{"contents":[88,"-54"],"tag":"AbiInt"},{"contents":[88,"-89"],"tag":"AbiInt"},{"contents":[88,"76715522972655697810902241"],"tag":"AbiInt"},{"contents":[88,"40000000000000001"],"tag":"AbiInt"},{"contents":[88,"-4"],"tag":"AbiInt"},{"contents":[88,"23550235994245043846140587"],"tag":"AbiInt"},{"contents":[88,"1000000000000000000000"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"57180036111047513364816536"],"tag":"AbiInt"},{"contents":[88,"40458666887988591424688128"],"tag":"AbiInt"},{"contents":[88,"52132067940164814879947061"],"tag":"AbiInt"},{"contents":[88,"40312861257159997807771461"],"tag":"AbiInt"},{"contents":[88,"1524785992"],"tag":"AbiInt"},{"contents":[88,"76647454045818550202088628"],"tag":"AbiInt"},{"contents":[88,"63092724654310830459645951"],"tag":"AbiInt"},{"contents":[88,"698"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089755","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"6190083950921601314510561014491591534168219101416451329071417534037253080862"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d4f9","0x00000000000000000000000000000000000000000000000000000000000025ff"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"24436"],"tag":"AbiUInt"},{"contents":[16,"31291"],"tag":"AbiUInt"},{"contents":[16,"94"],"tag":"AbiUInt"},{"contents":[8,"229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x00000000000000000000000000000000000000000000000000000000000076c2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"41033238568652193693732456642931508845593539597899581552020595962965503190711"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073634","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_withdrawLQTY",[{"contents":[88,"123"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ef66","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_GV01",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000081f7","0x0000000000000000000000000000000000000000000000000000000000004ea2"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x0000000000000000000000000000000000000000000000000000000000004429"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_depositBribe",[{"contents":[128,"316991287061369100745830694778175813751"],"tag":"AbiUInt"},{"contents":[128,"1999999"],"tag":"AbiUInt"},{"contents":[16,"46676"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058e73","0x000000000000000000000000000000000000000000000000000000000000aa18"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"17974"],"tag":"AbiUInt"},{"contents":[16,"18"],"tag":"AbiUInt"},{"contents":[16,"13076"],"tag":"AbiUInt"},{"contents":[8,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008cdf5","0x000000000000000000000000000000000000000000000000000000000000ca6f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"42"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x0000000000000000000000000000000000000000000000000000000000007579"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"234"],"tag":"AbiUInt"},{"contents":[16,"53"],"tag":"AbiUInt"},{"contents":[16,"5"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000414ac","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"4369999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000297f6","0x000000000000000000000000000000000000000000000000000000000000b8dd"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"66"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000686db","0x000000000000000000000000000000000000000000000000000000000000753b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTY",[{"contents":[88,"254515114223436128517027798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x000000000000000000000000000000000000000000000000000000000000b94c"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["helper_deployInitiative",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002a","0x00000000000000000000000000000000000000000000000000000000000086fa"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_BI03",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x000000000000000000000000000000000000000000000000000000000000bdc3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["initiative_claimBribes",[{"contents":[16,"9471"],"tag":"AbiUInt"},{"contents":[16,"27"],"tag":"AbiUInt"},{"contents":[16,"121"],"tag":"AbiUInt"},{"contents":[8,"100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004efbe","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_allocateLQTY",[{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"132109919419033247918183459"],"tag":"AbiInt"},{"contents":[88,"3599"],"tag":"AbiInt"},{"contents":[88,"151760353688730070337664024"],"tag":"AbiInt"},{"contents":[88,"133834931929957203576934331"],"tag":"AbiInt"},{"contents":[88,"81887945675739761055152319"],"tag":"AbiInt"},{"contents":[88,"429"],"tag":"AbiInt"},{"contents":[88,"-58"],"tag":"AbiInt"},{"contents":[88,"134426908783867925064370539"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":88,"tag":"AbiIntType"},[{"contents":[88,"127446246011136554640937239"],"tag":"AbiInt"},{"contents":[88,"141815793865258665676744550"],"tag":"AbiInt"},{"contents":[88,"145076518114470918173509987"],"tag":"AbiInt"},{"contents":[88,"112415248521739114602732058"],"tag":"AbiInt"},{"contents":[88,"154742504910672534362390352"],"tag":"AbiInt"},{"contents":[88,"63949890918333648317476876"],"tag":"AbiInt"},{"contents":[88,"604800"],"tag":"AbiInt"},{"contents":[88,"100000003"],"tag":"AbiInt"},{"contents":[88,"988"],"tag":"AbiInt"},{"contents":[88,"-86"],"tag":"AbiInt"},{"contents":[88,"107262591597064457236274144"],"tag":"AbiInt"},{"contents":[88,"604799"],"tag":"AbiInt"},{"contents":[88,"104488392593290025992401451"],"tag":"AbiInt"},{"contents":[88,"-32"],"tag":"AbiInt"},{"contents":[88,"146013890674647923750071723"],"tag":"AbiInt"},{"contents":[88,"9999999999999999"],"tag":"AbiInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x0000000000000000000000000000000000000000000000000000000000003f66"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000109","0x0000000000000000000000000000000000000000000000000000000000004a5f"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimFromStakingV1",[{"contents":[8,"246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006126c","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_claimForInitiative",[{"contents":[8,"245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cd44","0x0000000000000000000000000000000000000000000000000000000000007ae7"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["excludeArtifacts",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"35"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_depositLQTYViaPermit",[{"contents":[88,"230073194640190048372697427"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x000000000000000000000000000000000000000000000000000000000000445b"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["governance_registerInitiative",[{"contents":[8,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x00a329c0648769A73afAc7F9381E08FB43dBEA72","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]