[
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      557811,
      17579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3823,
      6715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8502,
      8162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12514,
      23090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x97",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7594,
      5181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "87097818139510919812600812",
                  88
                ]
              },
              {
                "Int": [
                  "127848008406194246819828380",
                  88
                ]
              },
              {
                "Int": [
                  "-980",
                  88
                ]
              },
              {
                "Int": [
                  "648",
                  88
                ]
              },
              {
                "Int": [
                  "-399",
                  88
                ]
              },
              {
                "Int": [
                  "102347697128737392468961539",
                  88
                ]
              },
              {
                "Int": [
                  "102016234396158893826520045",
                  88
                ]
              },
              {
                "Int": [
                  "151291248249779153272558371",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-485",
                  88
                ]
              },
              {
                "Int": [
                  "-485",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16945,
      9936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "145430471889188535958588318",
                  88
                ]
              },
              {
                "Int": [
                  "81124175210370141213588529",
                  88
                ]
              },
              {
                "Int": [
                  "82170716507095873956160779",
                  88
                ]
              },
              {
                "Int": [
                  "132962385174476054826192229",
                  88
                ]
              },
              {
                "Int": [
                  "12593482074373303633259840",
                  88
                ]
              },
              {
                "Int": [
                  "-868",
                  88
                ]
              },
              {
                "Int": [
                  "122424930384424651761783092",
                  88
                ]
              },
              {
                "Int": [
                  "-8470287038628299761391198",
                  88
                ]
              },
              {
                "Int": [
                  "-975",
                  88
                ]
              },
              {
                "Int": [
                  "11125184141756377734869889",
                  88
                ]
              },
              {
                "Int": [
                  "4208099845191951078249687",
                  88
                ]
              },
              {
                "Int": [
                  "145698483964627138076013985",
                  88
                ]
              },
              {
                "Int": [
                  "16963309133461596853802116",
                  88
                ]
              },
              {
                "Int": [
                  "-119714348168481763988448317",
                  88
                ]
              },
              {
                "Int": [
                  "629",
                  88
                ]
              },
              {
                "Int": [
                  "-71787913903461482140051929",
                  88
                ]
              },
              {
                "Int": [
                  "211",
                  88
                ]
              },
              {
                "Int": [
                  "81473021695302015744078437",
                  88
                ]
              },
              {
                "Int": [
                  "-52449977892620497627878973",
                  88
                ]
              },
              {
                "Int": [
                  "518",
                  88
                ]
              },
              {
                "Int": [
                  "45255447013021315197769556",
                  88
                ]
              },
              {
                "Int": [
                  "78665237216074401263545614",
                  88
                ]
              },
              {
                "Int": [
                  "979",
                  88
                ]
              },
              {
                "Int": [
                  "-870",
                  88
                ]
              },
              {
                "Int": [
                  "28717622729352170640583023",
                  88
                ]
              },
              {
                "Int": [
                  "62643867036639393292823129",
                  88
                ]
              },
              {
                "Int": [
                  "-35369390930045931701851452",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "125945122232692513896901426",
                  88
                ]
              },
              {
                "Int": [
                  "-145181375317061249998456117",
                  88
                ]
              },
              {
                "Int": [
                  "-97509418512085249116233424",
                  88
                ]
              },
              {
                "Int": [
                  "-47965160302979495550106470",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      707,
      1083
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xd0345061dd02f0535b905e",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8232,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12351,
      5581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16624,
      9180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x1e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17295,
      13007
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1084,
      2456
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6233,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x8e9ee0deda75943428650",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      857,
      6195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x680724a",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      777,
      41869
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5371,
      1545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          },
          {
            "Uint": [
              "0x86b1ce6df2f474ac843aea3e",
              96
            ]
          },
          {
            "Uint": [
              "0x0",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          },
          {
            "Uint": [
              "0x86b1ce6df2f474ac843aea3e",
              96
            ]
          },
          {
            "Uint": [
              "0xc05860c3c61b693a8880a779",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      172,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xd9a4ef33e932",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      193
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      313,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x1c2d",
              16
            ]
          },
          {
            "Uint": [
              "0x2174",
              16
            ]
          },
          {
            "Uint": [
              "0xc3e",
              16
            ]
          },
          {
            "Uint": [
              "0x32c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2206,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      156,
      12586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xa3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9936,
      6368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2233,
      34794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1833,
      2699
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7237,
      16173
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x3f3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6965,
      19407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16905,
      28374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12062,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      21167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3307,
      19286
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xac7324369bef99d8901c1c",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      11
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4759,
      8725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2051,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10275,
      18848
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18445,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xc2d053b13d6258",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      718,
      18467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x63",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19854,
      26957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4759,
      17144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3728,
      1036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      525903,
      947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x0",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      17993
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5143,
      8606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xeea7559fd9278bac397b70",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffd",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9453
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1147,
      5743
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "124242653852819795173296558",
                  88
                ]
              },
              {
                "Int": [
                  "768",
                  88
                ]
              },
              {
                "Int": [
                  "-104996774860990575802559410",
                  88
                ]
              },
              {
                "Int": [
                  "119625544793444879959782793",
                  88
                ]
              },
              {
                "Int": [
                  "-85941514000006571527187584",
                  88
                ]
              },
              {
                "Int": [
                  "-100519052416803886950626900",
                  88
                ]
              },
              {
                "Int": [
                  "86851323591414634618371128",
                  88
                ]
              },
              {
                "Int": [
                  "1104723310095864489958263",
                  88
                ]
              },
              {
                "Int": [
                  "-153672448274231215528848155",
                  88
                ]
              },
              {
                "Int": [
                  "-763",
                  88
                ]
              },
              {
                "Int": [
                  "62094901956634739108469057",
                  88
                ]
              },
              {
                "Int": [
                  "-25324655588499335858945691",
                  88
                ]
              },
              {
                "Int": [
                  "82085768739577867280690551",
                  88
                ]
              },
              {
                "Int": [
                  "82330586055314692148682982",
                  88
                ]
              },
              {
                "Int": [
                  "-75474987780728190579616706",
                  88
                ]
              },
              {
                "Int": [
                  "36423832415309647163455884",
                  88
                ]
              },
              {
                "Int": [
                  "81629359407472274313302958",
                  88
                ]
              },
              {
                "Int": [
                  "102631082587895146047489551",
                  88
                ]
              },
              {
                "Int": [
                  "138200847747840649907799367",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-70450311941701759773587038",
                  88
                ]
              },
              {
                "Int": [
                  "379",
                  88
                ]
              },
              {
                "Int": [
                  "-696",
                  88
                ]
              },
              {
                "Int": [
                  "150330078468197606149360216",
                  88
                ]
              },
              {
                "Int": [
                  "77473695948086999069422887",
                  88
                ]
              },
              {
                "Int": [
                  "-83809411986412412262041301",
                  88
                ]
              },
              {
                "Int": [
                  "107245568788917293383889323",
                  88
                ]
              },
              {
                "Int": [
                  "-156",
                  88
                ]
              },
              {
                "Int": [
                  "-118546286200955383803411772",
                  88
                ]
              },
              {
                "Int": [
                  "-47762569354361394606631201",
                  88
                ]
              },
              {
                "Int": [
                  "-75050879894583164384937952",
                  88
                ]
              },
              {
                "Int": [
                  "-6695454665573866054405710",
                  88
                ]
              },
              {
                "Int": [
                  "126110645407512650403980521",
                  88
                ]
              },
              {
                "Int": [
                  "101801910829537232963061124",
                  88
                ]
              },
              {
                "Int": [
                  "988",
                  88
                ]
              },
              {
                "Int": [
                  "-111567752060025252176782694",
                  88
                ]
              },
              {
                "Int": [
                  "21037993058493796246133584",
                  88
                ]
              },
              {
                "Int": [
                  "7400733212187485055878883",
                  88
                ]
              },
              {
                "Int": [
                  "-145349496258242921275578896",
                  88
                ]
              },
              {
                "Int": [
                  "63960147262107365274092398",
                  88
                ]
              },
              {
                "Int": [
                  "-888",
                  88
                ]
              },
              {
                "Int": [
                  "4636328676220226245706443",
                  88
                ]
              },
              {
                "Int": [
                  "86021487268193173917457372",
                  88
                ]
              },
              {
                "Int": [
                  "279",
                  88
                ]
              },
              {
                "Int": [
                  "12719666752540060310227806",
                  88
                ]
              },
              {
                "Int": [
                  "10995174068585509108830694",
                  88
                ]
              },
              {
                "Int": [
                  "-56294240774670667659833913",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65,
      15950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      419223,
      50
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x45a83af31180025de6d10120c3541592b76af3c85b7a416dfcc5ca8f8053a520",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28227,
      18336
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15445,
      9801
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7266,
      13193
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6618,
      894
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      17391
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2841,
      10584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-75508552983232214880353522",
                  88
                ]
              },
              {
                "Int": [
                  "-34087760057008173871433433",
                  88
                ]
              },
              {
                "Int": [
                  "-148637292102978733911255095",
                  88
                ]
              },
              {
                "Int": [
                  "694",
                  88
                ]
              },
              {
                "Int": [
                  "-40911979039459007529717432",
                  88
                ]
              },
              {
                "Int": [
                  "-632",
                  88
                ]
              },
              {
                "Int": [
                  "42668424006343637684140767",
                  88
                ]
              },
              {
                "Int": [
                  "468",
                  88
                ]
              },
              {
                "Int": [
                  "-46091436641228088032073114",
                  88
                ]
              },
              {
                "Int": [
                  "-141159404048120027104888020",
                  88
                ]
              },
              {
                "Int": [
                  "148849534979391304300915013",
                  88
                ]
              },
              {
                "Int": [
                  "-277",
                  88
                ]
              },
              {
                "Int": [
                  "470",
                  88
                ]
              },
              {
                "Int": [
                  "46455183841587926982130419",
                  88
                ]
              },
              {
                "Int": [
                  "88308484943959738312173745",
                  88
                ]
              },
              {
                "Int": [
                  "-122",
                  88
                ]
              },
              {
                "Int": [
                  "-5442451738416661687001879",
                  88
                ]
              },
              {
                "Int": [
                  "-57785725785346306063376466",
                  88
                ]
              },
              {
                "Int": [
                  "291",
                  88
                ]
              },
              {
                "Int": [
                  "-69928667880906978935423723",
                  88
                ]
              },
              {
                "Int": [
                  "64",
                  88
                ]
              },
              {
                "Int": [
                  "-124795291221720822171457562",
                  88
                ]
              },
              {
                "Int": [
                  "-401",
                  88
                ]
              },
              {
                "Int": [
                  "-90594863576910404587601171",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-137598901951325071629232782",
                  88
                ]
              },
              {
                "Int": [
                  "-24",
                  88
                ]
              },
              {
                "Int": [
                  "136933610270135543506696339",
                  88
                ]
              },
              {
                "Int": [
                  "-153507417415275680470289239",
                  88
                ]
              },
              {
                "Int": [
                  "69883504646046297801253912",
                  88
                ]
              },
              {
                "Int": [
                  "-39302857256979980391529990",
                  88
                ]
              },
              {
                "Int": [
                  "569",
                  88
                ]
              },
              {
                "Int": [
                  "17839743710406815550041828",
                  88
                ]
              },
              {
                "Int": [
                  "94296524481111799760327577",
                  88
                ]
              },
              {
                "Int": [
                  "-59547281643609936273175484",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18521,
      16243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x64553bfb3940c80fbf1aa2b4",
              96
            ]
          },
          {
            "Uint": [
              "0x1cdacc8efcb05542bd6",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27757,
      12721
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x5b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6964,
      15984
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x8d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7156,
      7303
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0xa70fa8b397513504c368a4d7",
              96
            ]
          },
          {
            "Uint": [
              "0x47ef44bcb3f69cec4b5eb2d2",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7400,
      6383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x27900bc5bdfdbd163121ed762f4716d7",
              128
            ]
          },
          {
            "Uint": [
              "0xd966697",
              128
            ]
          },
          {
            "Uint": [
              "0xb57e",
              16
            ]
          },
          {
            "Uint": [
              "0xa7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      141635,
      791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7144,
      18524
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5376,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      59096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x5028144953b7eb019ff8be6016b4386b",
              128
            ]
          },
          {
            "Uint": [
              "0x6fefb83349edfbca6133738c8cbe3f5e",
              128
            ]
          },
          {
            "Uint": [
              "0x756e",
              16
            ]
          },
          {
            "Uint": [
              "0x13",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17889,
      13423
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xc6baf044673e403a7ec822edc516ade5",
              128
            ]
          },
          {
            "Uint": [
              "0xf3194dd91c0c6e3db9481645838d8f07",
              128
            ]
          },
          {
            "Uint": [
              "0x2ad",
              16
            ]
          },
          {
            "Uint": [
              "0x5f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120692,
      19120
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x35dffb4344355034ed6a34",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16353,
      4203
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x190",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      39184
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17355,
      14602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-127775980844683014006649678",
                  88
                ]
              },
              {
                "Int": [
                  "-114617659358141312758934761",
                  88
                ]
              },
              {
                "Int": [
                  "-81663462655708577871515954",
                  88
                ]
              },
              {
                "Int": [
                  "-42510999224720938344569765",
                  88
                ]
              },
              {
                "Int": [
                  "-144939525015359745108070329",
                  88
                ]
              },
              {
                "Int": [
                  "20784704682825518571869163",
                  88
                ]
              },
              {
                "Int": [
                  "69865401899476806019923938",
                  88
                ]
              },
              {
                "Int": [
                  "418",
                  88
                ]
              },
              {
                "Int": [
                  "898",
                  88
                ]
              },
              {
                "Int": [
                  "-116566917799380603338131636",
                  88
                ]
              },
              {
                "Int": [
                  "-121",
                  88
                ]
              },
              {
                "Int": [
                  "-32169789519165492372275515",
                  88
                ]
              },
              {
                "Int": [
                  "-43577933197045919892348708",
                  88
                ]
              },
              {
                "Int": [
                  "629",
                  88
                ]
              },
              {
                "Int": [
                  "-37140680231432964431313051",
                  88
                ]
              },
              {
                "Int": [
                  "26523236547630684563700138",
                  88
                ]
              },
              {
                "Int": [
                  "-111916030468764138401312666",
                  88
                ]
              },
              {
                "Int": [
                  "118482221012338859960822694",
                  88
                ]
              },
              {
                "Int": [
                  "-109223434751175533823052121",
                  88
                ]
              },
              {
                "Int": [
                  "-587",
                  88
                ]
              },
              {
                "Int": [
                  "-8291571829961994617658903",
                  88
                ]
              },
              {
                "Int": [
                  "142068521709595446478426371",
                  88
                ]
              },
              {
                "Int": [
                  "119538983660163519228871145",
                  88
                ]
              },
              {
                "Int": [
                  "63185238052953383064959822",
                  88
                ]
              },
              {
                "Int": [
                  "103053300134018963184616655",
                  88
                ]
              },
              {
                "Int": [
                  "-137413351590628761457052307",
                  88
                ]
              },
              {
                "Int": [
                  "-152415435339789693118850342",
                  88
                ]
              },
              {
                "Int": [
                  "-143891755446684189859323520",
                  88
                ]
              },
              {
                "Int": [
                  "-65770994003913570026892000",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "14111742730707914735018024",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10234,
      15768
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xb60f537bb4319ebbd69ce8",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12512,
      19340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xaccf7d43184e0ee43eefd9",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18140,
      4269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6942,
      18378
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x828bb3aa19639198bbc30d",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12588,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10002,
      13046
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xcb8e0df61cea437270d578",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      495427,
      19445
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5582,
      16348
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3268,
      17247
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "61081896597715524917930575",
                  88
                ]
              },
              {
                "Int": [
                  "-18920825416630786549329417",
                  88
                ]
              },
              {
                "Int": [
                  "151438262487102985398833684",
                  88
                ]
              },
              {
                "Int": [
                  "122231207645417948293285718",
                  88
                ]
              },
              {
                "Int": [
                  "-87048254169075809460433204",
                  88
                ]
              },
              {
                "Int": [
                  "56494256165936470766559589",
                  88
                ]
              },
              {
                "Int": [
                  "35577622272424449815576726",
                  88
                ]
              },
              {
                "Int": [
                  "-114287879980712184697141640",
                  88
                ]
              },
              {
                "Int": [
                  "35",
                  88
                ]
              },
              {
                "Int": [
                  "5869139252428536967793066",
                  88
                ]
              },
              {
                "Int": [
                  "-314",
                  88
                ]
              },
              {
                "Int": [
                  "2391713362030767987891603",
                  88
                ]
              },
              {
                "Int": [
                  "15165535613818405447278694",
                  88
                ]
              },
              {
                "Int": [
                  "80398960079744847129433460",
                  88
                ]
              },
              {
                "Int": [
                  "16944881478924526892316487",
                  88
                ]
              },
              {
                "Int": [
                  "-75805579768990748046437556",
                  88
                ]
              },
              {
                "Int": [
                  "42767652464165339441146479",
                  88
                ]
              },
              {
                "Int": [
                  "-58564235607315713310161490",
                  88
                ]
              },
              {
                "Int": [
                  "25581741165118449239612219",
                  88
                ]
              },
              {
                "Int": [
                  "948",
                  88
                ]
              },
              {
                "Int": [
                  "11",
                  88
                ]
              },
              {
                "Int": [
                  "-33007637375744597259890860",
                  88
                ]
              },
              {
                "Int": [
                  "63327154822562997793600819",
                  88
                ]
              },
              {
                "Int": [
                  "33537424828236817675333004",
                  88
                ]
              },
              {
                "Int": [
                  "92523853790261100876661436",
                  88
                ]
              },
              {
                "Int": [
                  "-1236632933544551865769583",
                  88
                ]
              },
              {
                "Int": [
                  "13153168448001620063489403",
                  88
                ]
              },
              {
                "Int": [
                  "495",
                  88
                ]
              },
              {
                "Int": [
                  "127709104143482523890783141",
                  88
                ]
              },
              {
                "Int": [
                  "99475920194683418122178913",
                  88
                ]
              },
              {
                "Int": [
                  "-143963536235866013133090118",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "1001",
                  88
                ]
              },
              {
                "Int": [
                  "-147566884390008720582118966",
                  88
                ]
              },
              {
                "Int": [
                  "-104529942983993654932904204",
                  88
                ]
              },
              {
                "Int": [
                  "138391902240711458142970356",
                  88
                ]
              },
              {
                "Int": [
                  "-114169641512836991931156108",
                  88
                ]
              },
              {
                "Int": [
                  "61803776542555410289331496",
                  88
                ]
              },
              {
                "Int": [
                  "111287065836316610856566113",
                  88
                ]
              },
              {
                "Int": [
                  "-120616347955116541236940165",
                  88
                ]
              },
              {
                "Int": [
                  "-121238704651026369722255708",
                  88
                ]
              },
              {
                "Int": [
                  "600",
                  88
                ]
              },
              {
                "Int": [
                  "265",
                  88
                ]
              },
              {
                "Int": [
                  "29",
                  88
                ]
              },
              {
                "Int": [
                  "51112826002426374702884817",
                  88
                ]
              },
              {
                "Int": [
                  "-64733803587478511788845765",
                  88
                ]
              },
              {
                "Int": [
                  "562",
                  88
                ]
              },
              {
                "Int": [
                  "-45299409212697357388996683",
                  88
                ]
              },
              {
                "Int": [
                  "-53895538684708704089557727",
                  88
                ]
              },
              {
                "Int": [
                  "1040779729811826851326626",
                  88
                ]
              },
              {
                "Int": [
                  "931",
                  88
                ]
              },
              {
                "Int": [
                  "-149900385814782489718335945",
                  88
                ]
              },
              {
                "Int": [
                  "-113022137494504404705321823",
                  88
                ]
              },
              {
                "Int": [
                  "-763",
                  88
                ]
              },
              {
                "Int": [
                  "114503889931620084011840359",
                  88
                ]
              },
              {
                "Int": [
                  "37577190132650361943961125",
                  88
                ]
              },
              {
                "Int": [
                  "-82906387652741925671436920",
                  88
                ]
              },
              {
                "Int": [
                  "-95079691233586857113469783",
                  88
                ]
              },
              {
                "Int": [
                  "-455",
                  88
                ]
              },
              {
                "Int": [
                  "-85041464992878312069430771",
                  88
                ]
              },
              {
                "Int": [
                  "140141966811630880490001055",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6054,
      2824
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x5d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      517575,
      19875
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x76",
              8
            ]
          },
          {
            "Uint": [
              "0xee2d496c40bf349cb46e539a",
              96
            ]
          },
          {
            "Uint": [
              "0x4dea01808a39d2226f2cdedc",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      3878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19586,
      6252
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      537598,
      789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18954,
      4101
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      490179,
      30537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xba",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16903,
      1824
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xa9bb2b776e053fee9a0883",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8735,
      803
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x32c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6583,
      586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-642",
                  88
                ]
              },
              {
                "Int": [
                  "-17933783700212368919636617",
                  88
                ]
              },
              {
                "Int": [
                  "-403",
                  88
                ]
              },
              {
                "Int": [
                  "77664307675204924752409159",
                  88
                ]
              },
              {
                "Int": [
                  "12585798956246304321327154",
                  88
                ]
              },
              {
                "Int": [
                  "-531",
                  88
                ]
              },
              {
                "Int": [
                  "103459593250704746095122630",
                  88
                ]
              },
              {
                "Int": [
                  "102332894028992518863462651",
                  88
                ]
              },
              {
                "Int": [
                  "134906179659163447488392491",
                  88
                ]
              },
              {
                "Int": [
                  "145",
                  88
                ]
              },
              {
                "Int": [
                  "-122401252013674373330368621",
                  88
                ]
              },
              {
                "Int": [
                  "47446112103883268704344814",
                  88
                ]
              },
              {
                "Int": [
                  "-141587347688163484877551868",
                  88
                ]
              },
              {
                "Int": [
                  "-63",
                  88
                ]
              },
              {
                "Int": [
                  "240",
                  88
                ]
              },
              {
                "Int": [
                  "145074722003142217358381016",
                  88
                ]
              },
              {
                "Int": [
                  "98130096909000487244465859",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "133508633856365275245924950",
                  88
                ]
              },
              {
                "Int": [
                  "-104575113589408805174900311",
                  88
                ]
              },
              {
                "Int": [
                  "-70375637938589832387632852",
                  88
                ]
              },
              {
                "Int": [
                  "28597637623794509483755655",
                  88
                ]
              },
              {
                "Int": [
                  "-141355185253766044264958170",
                  88
                ]
              },
              {
                "Int": [
                  "18760638421923882554378140",
                  88
                ]
              },
              {
                "Int": [
                  "129075910531027089622277047",
                  88
                ]
              },
              {
                "Int": [
                  "19746231210115212395094248",
                  88
                ]
              },
              {
                "Int": [
                  "-43687561490010621885223200",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2457,
      19876
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86024,
      1373
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      19256
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0xe87f87990d8530262fadf4a7",
              96
            ]
          },
          {
            "Uint": [
              "0x50c58ec93fb5fff30af93948",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29800,
      38010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x9b17397efb39954eea2210",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7186,
      37043
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6614,
      7145
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      561,
      7202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2705,
      7070
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xb3e16a682d1498580e559",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4748,
      9253
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8236,
      17503
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5802,
      17096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xac",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1210
    ]
  }
]