[
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3372,
      530535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9971,
      10003
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17278,
      18271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18364,
      11155415
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2670,
      12561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10876,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9793,
      16259667
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x02000000000000000000000000000000000000ff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17308,
      1168
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6757,
      5327896
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xdbef6f96d26b420b43b0627bc36a0e80548e13e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13792,
      9253
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      781,
      8220083
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0xef",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      833,
      6535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-30608756224299816175110685",
                  88
                ]
              },
              {
                "Int": [
                  "39094003349004903217077585",
                  88
                ]
              },
              {
                "Int": [
                  "-998",
                  88
                ]
              },
              {
                "Int": [
                  "-1525520769820585497269445",
                  88
                ]
              },
              {
                "Int": [
                  "-40342159659434743365038337",
                  88
                ]
              },
              {
                "Int": [
                  "134088311749841227082235612",
                  88
                ]
              },
              {
                "Int": [
                  "-26596050883924089164841316",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-98914122381261350622536712",
                  88
                ]
              },
              {
                "Int": [
                  "-112791188074930503106915844",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14601,
      1777563
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2158778573,
      6512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1143,
      5796997
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      355791337,
      1842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x72d6ee9508ef84d4f9dde1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8067,
      9451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18592,
      8116
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xb3eec665e83ba6063af12f",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18427,
      8202218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x0200000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      13795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xc9b22b020dda9bd6",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      359,
      2878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17951,
      19787
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      690,
      7754
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2888,
      702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      25523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xbc260b705c1a0f2ce9026b",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xdb852f1408efb2c9",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18614,
      3257
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2127478273,
      80000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x5e1083f2b084b9e9024a64ce70c06f85",
              128
            ]
          },
          {
            "Uint": [
              "0x400000000000000000000000000",
              128
            ]
          },
          {
            "Uint": [
              "0xacfc",
              16
            ]
          },
          {
            "Uint": [
              "0xcd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1540955093,
      19066244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x54",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      6453
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      142060254,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21128,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      12364
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x6c8b362a3d4008c75a609e",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      3685
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16246,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      21412565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      779406266,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "110081018795695894644758156",
                  88
                ]
              },
              {
                "Int": [
                  "-382",
                  88
                ]
              },
              {
                "Int": [
                  "-102221792316336544688493823",
                  88
                ]
              },
              {
                "Int": [
                  "-54",
                  88
                ]
              },
              {
                "Int": [
                  "-116524338751332587610213157",
                  88
                ]
              },
              {
                "Int": [
                  "119130333618038499955129670",
                  88
                ]
              },
              {
                "Int": [
                  "101660517513857049311623872",
                  88
                ]
              },
              {
                "Int": [
                  "-120752233624679039338747126",
                  88
                ]
              },
              {
                "Int": [
                  "137518145899725026060603966",
                  88
                ]
              },
              {
                "Int": [
                  "89726678871970487055047889",
                  88
                ]
              },
              {
                "Int": [
                  "-30775832545647880533190012",
                  88
                ]
              },
              {
                "Int": [
                  "693",
                  88
                ]
              },
              {
                "Int": [
                  "117897422497526454530915984",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "123634061877035587209572981",
                  88
                ]
              },
              {
                "Int": [
                  "-137171656251233072103283569",
                  88
                ]
              },
              {
                "Int": [
                  "3503092630005187857893754",
                  88
                ]
              },
              {
                "Int": [
                  "26653285029736564120741046",
                  88
                ]
              },
              {
                "Int": [
                  "257",
                  88
                ]
              },
              {
                "Int": [
                  "98893381445283883238186338",
                  88
                ]
              },
              {
                "Int": [
                  "-50687327493828599983292047",
                  88
                ]
              },
              {
                "Int": [
                  "-133462676035364444733543116",
                  88
                ]
              },
              {
                "Int": [
                  "-49007122044639158334078367",
                  88
                ]
              },
              {
                "Int": [
                  "-653",
                  88
                ]
              },
              {
                "Int": [
                  "13780654206306041895110413",
                  88
                ]
              },
              {
                "Int": [
                  "-93328254899453457691448970",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12188,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x74",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14655,
      438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      1135904
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15498,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x0",
              16
            ]
          },
          {
            "Uint": [
              "0x1c1d",
              16
            ]
          },
          {
            "Uint": [
              "0x2",
              16
            ]
          },
          {
            "Uint": [
              "0x10",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19244,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      20088
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xb0bf708cfd6c98d22762e4",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      1202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x225",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-39463079453832382120552129",
                  88
                ]
              },
              {
                "Int": [
                  "-78978429544616094699623586",
                  88
                ]
              },
              {
                "Int": [
                  "71371888472007041842009252",
                  88
                ]
              },
              {
                "Int": [
                  "-140298996288790133207394996",
                  88
                ]
              },
              {
                "Int": [
                  "79495936270291708072771336",
                  88
                ]
              },
              {
                "Int": [
                  "60138611476162679712268403",
                  88
                ]
              },
              {
                "Int": [
                  "86714908126625781720476364",
                  88
                ]
              },
              {
                "Int": [
                  "-150365796722381067592954211",
                  88
                ]
              },
              {
                "Int": [
                  "121239242766818778268306361",
                  88
                ]
              },
              {
                "Int": [
                  "83951513516505971185423038",
                  88
                ]
              },
              {
                "Int": [
                  "-24427447031988778272240490",
                  88
                ]
              },
              {
                "Int": [
                  "53863279756200869749620687",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "69240891744115694862469418",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9622,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x3ff",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      305645068,
      22938217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11397
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xa1",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              96
            ]
          },
          {
            "Uint": [
              "0x63327b33a8d84818f63a48ec",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24171,
      19681730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xbd",
              8
            ]
          },
          {
            "Uint": [
              "0x4d5ad0ad0fd72d6a48783e28",
              96
            ]
          },
          {
            "Uint": [
              "0x94601b3fcb238ae10f536c78",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x4a54c770361020eb3a81a6022eea00f7b0b86d9af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      19278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffd",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3744,
      13098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffd",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16862,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x5f5a35c51146e5739ac5a8",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18697,
      251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1528407603,
      27737303
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      3134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x189",
              8
            ]
          },
          {
            "Uint": [
              "0x1782d16109a4c3916b5ba",
              96
            ]
          },
          {
            "Uint": [
              "0x6b97e106901862123d85e799",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1189,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xa1",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              96
            ]
          },
          {
            "Uint": [
              "0x63327b33a8d84818f63a48ec",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      26877428
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x11068d9565a39fc4e17c6c",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11304,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x74c09f5a09f17a1d7233b",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8618,
      1809
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      15771952
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      11557295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24265,
      7549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270735715,
      16355
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1012,
      11557295
    ]
  }
]