[
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x114",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10726,
      17933
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20005,
      41869
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x22fe34fedbb696e39fe660",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17118,
      19168
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13659,
      35054
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x344ab8565a8f192769759b",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11085,
      9810
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x7175627546cf9ac6b4af59",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16170,
      3247
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x88",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      251794,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xa3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11283,
      6227
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1169,
      12587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-67534462886917056903577479",
                  88
                ]
              },
              {
                "Int": [
                  "-2550709290385697182842229",
                  88
                ]
              },
              {
                "Int": [
                  "-549",
                  88
                ]
              },
              {
                "Int": [
                  "82971426011076013341038423",
                  88
                ]
              },
              {
                "Int": [
                  "17997589334648686542455336",
                  88
                ]
              },
              {
                "Int": [
                  "-147027558253124109062665889",
                  88
                ]
              },
              {
                "Int": [
                  "-141330117030184017241281423",
                  88
                ]
              },
              {
                "Int": [
                  "-333",
                  88
                ]
              },
              {
                "Int": [
                  "-21231622888794409913495636",
                  88
                ]
              },
              {
                "Int": [
                  "64951180038008362287771708",
                  88
                ]
              },
              {
                "Int": [
                  "-39008738193218068704923133",
                  88
                ]
              },
              {
                "Int": [
                  "29867171766698840073541157",
                  88
                ]
              },
              {
                "Int": [
                  "-134372090803296922562249468",
                  88
                ]
              },
              {
                "Int": [
                  "-26717326389638970911902883",
                  88
                ]
              },
              {
                "Int": [
                  "-80705936131950360480149704",
                  88
                ]
              },
              {
                "Int": [
                  "-50263786916248929702136166",
                  88
                ]
              },
              {
                "Int": [
                  "8355216985741225742470336",
                  88
                ]
              },
              {
                "Int": [
                  "28574182567222330498998899",
                  88
                ]
              },
              {
                "Int": [
                  "54445529313061514907714519",
                  88
                ]
              },
              {
                "Int": [
                  "63076154784386224170206329",
                  88
                ]
              },
              {
                "Int": [
                  "921",
                  88
                ]
              },
              {
                "Int": [
                  "17997589334648686542455336",
                  88
                ]
              },
              {
                "Int": [
                  "-41305339310164833688785318",
                  88
                ]
              },
              {
                "Int": [
                  "-86285396903128871178357747",
                  88
                ]
              },
              {
                "Int": [
                  "-913",
                  88
                ]
              },
              {
                "Int": [
                  "1004",
                  88
                ]
              },
              {
                "Int": [
                  "-103494056909565647005106657",
                  88
                ]
              },
              {
                "Int": [
                  "-69531525383812750692221864",
                  88
                ]
              },
              {
                "Int": [
                  "-73",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-69456554958858073081017722",
                  88
                ]
              },
              {
                "Int": [
                  "-151594239616434842640356283",
                  88
                ]
              },
              {
                "Int": [
                  "18579064923318404560702947",
                  88
                ]
              },
              {
                "Int": [
                  "141813576723650771903432621",
                  88
                ]
              },
              {
                "Int": [
                  "37405989404385269230423496",
                  88
                ]
              },
              {
                "Int": [
                  "537",
                  88
                ]
              },
              {
                "Int": [
                  "-34022550140504617387213201",
                  88
                ]
              },
              {
                "Int": [
                  "-40065945112238936081272011",
                  88
                ]
              },
              {
                "Int": [
                  "-146826841979045473581136444",
                  88
                ]
              },
              {
                "Int": [
                  "-957",
                  88
                ]
              },
              {
                "Int": [
                  "90813616735645877413619133",
                  88
                ]
              },
              {
                "Int": [
                  "-65462844217913331750200314",
                  88
                ]
              },
              {
                "Int": [
                  "629",
                  88
                ]
              },
              {
                "Int": [
                  "-99060196757673301272659893",
                  88
                ]
              },
              {
                "Int": [
                  "122230950420809912885709293",
                  88
                ]
              },
              {
                "Int": [
                  "472",
                  88
                ]
              },
              {
                "Int": [
                  "151864188352892899163900843",
                  88
                ]
              },
              {
                "Int": [
                  "-35924715828365128986784513",
                  88
                ]
              },
              {
                "Int": [
                  "-63773201138764886748263541",
                  88
                ]
              },
              {
                "Int": [
                  "-80172778152017009666754387",
                  88
                ]
              },
              {
                "Int": [
                  "-76404409998900147074491627",
                  88
                ]
              },
              {
                "Int": [
                  "28198754630824895035853975",
                  88
                ]
              },
              {
                "Int": [
                  "-51978660928822592614147608",
                  88
                ]
              },
              {
                "Int": [
                  "117174261329670393618863014",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2784,
      19629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xd8d4aee02bcd59066da55f",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18525,
      16384
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      303,
      1825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      491021,
      7524
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16838,
      4781
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xac",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9399,
      6427
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xa3b8426e0ea5f0926394d1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      196861,
      9930
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x77ba44783fc5f043d91e97",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15181,
      586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xbb691ea9880c6e20733a3137185fa51806018cea753d39ee21601ea57fdee4e3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7808,
      7141
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x56",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4445,
      473
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3182,
      12509
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x74d7e42c2c54d47b4b6085",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20056,
      3202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19488,
      19630
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      414048,
      6965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x3f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8914,
      13619
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x3d8e4a3957cacde9522a19",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      297086,
      3864
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x26766ea56416cd0a9a1b43",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1219,
      9800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xe9b3016ba7c00bd9ff910d",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      542112,
      6556
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6823,
      7506
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19036,
      11609
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16787,
      13010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xa088ed41e03a91fd4b47d0",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13425,
      18150
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x2f7c",
              16
            ]
          },
          {
            "Uint": [
              "0x3b0",
              16
            ]
          },
          {
            "Uint": [
              "0xdeec",
              16
            ]
          },
          {
            "Uint": [
              "0xf4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6566,
      37684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17272,
      676
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7394,
      6051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x75f0e8901705c86b962b6a",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13298,
      7500
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x18",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12860,
      11180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xd5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390212,
      6760
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6692,
      12547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1711,
      16840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      353,
      18056
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2799,
      29168
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x574846b47e2c011523afd8",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      592173,
      6720
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      622,
      7446
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16729,
      11478
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9780,
      12586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x19",
              8
            ]
          },
          {
            "Uint": [
              "0x9337dfab6dbc3e00e2ee3e01",
              96
            ]
          },
          {
            "Uint": [
              "0x5046a0268d7d32a8f",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17660,
      6575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xe858b097cd14353f339aac",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      221406,
      18825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18773,
      19188
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7424,
      324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x5b0091f49210e7b2a57b03dfe1ab9d08289d9294"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7178,
      48
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffc",
              128
            ]
          },
          {
            "Uint": [
              "0xc822049d676ccfe6e11cf1288ca0fd5b",
              128
            ]
          },
          {
            "Uint": [
              "0x136a",
              16
            ]
          },
          {
            "Uint": [
              "0x129",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      216057,
      7880
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      955,
      19877
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x3fd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6838,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x75056d2f4c6111e8443ea4",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      160
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xf3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78649,
      17659
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x350",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1190,
      2835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xa3880b27c462238888470f",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6195,
      18467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18073,
      14806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x29d9b0cae6b0562da04abc",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9135,
      10082
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      98
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      555344,
      20322
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x2e3fd6660d7e39057e136e94f37c8d58",
              128
            ]
          },
          {
            "Uint": [
              "0xc926d5356a94fb7106475a8ad8801496",
              128
            ]
          },
          {
            "Uint": [
              "0x0",
              16
            ]
          },
          {
            "Uint": [
              "0xd5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19504,
      15447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      141635,
      15135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x1c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5143,
      13932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x90",
              8
            ]
          },
          {
            "Uint": [
              "0xd167ded22cddf",
              96
            ]
          },
          {
            "Uint": [
              "0xc5c230141b5e9d307c1331c4",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8466,
      24
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19852,
      17394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13098,
      18680
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1840,
      666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xaa02cacd3d040972c10109",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      109799,
      12189
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7198,
      14225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11068,
      15947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x7d",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffe",
              96
            ]
          },
          {
            "Uint": [
              "0x16e",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6429,
      8890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xbf3ad0cf4f674f6db71987fc18745bc505e3d478c27ce00f9bdd9979a4f2e782",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      394177,
      1175
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6169,
      11080
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      708,
      8296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18152,
      17890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7917,
      37818
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      440441,
      2756
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0xe988a1da264d7ba6760789",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17471,
      14383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17618,
      709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x354cbdcd7c2cff1dc91111",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16106,
      3268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x1c5a9c15d19789123c3442",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10000,
      11434
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x91d8ba1525a080ccfbcf39",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1748,
      16892
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x855f292bb301bd5213da0515c7ce1fba",
              128
            ]
          },
          {
            "Uint": [
              "0xbdd29d4c82a37eab7301e8a03c00dab6",
              128
            ]
          },
          {
            "Uint": [
              "0x60b4",
              16
            ]
          },
          {
            "Uint": [
              "0x51",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      275393,
      18449
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x7e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12349,
      4416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7105,
      6995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x2f0",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16041,
      417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1986,
      618
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19806,
      2754
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0xffff",
              16
            ]
          },
          {
            "Uint": [
              "0xfffd",
              16
            ]
          },
          {
            "Uint": [
              "0x4e41",
              16
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7918,
      836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19774,
      6383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      288,
      5646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2425,
      6785
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7174,
      4747
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15045,
      19501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14768,
      33564
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x6b4b1219b5ca38e8bdc90ad844f47c3",
              128
            ]
          },
          {
            "Uint": [
              "0x5b8fd26f64b04fcb2fd213b02dea902c",
              128
            ]
          },
          {
            "Uint": [
              "0x9499",
              16
            ]
          },
          {
            "Uint": [
              "0xbe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9399,
      58619
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15614,
      17878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11748,
      17394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18147,
      2275
    ]
  }
]