[
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18520,
      9135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9801,
      4629794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xaf381e8ac2da26f652626e",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6925,
      89
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1128378370,
      10486701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "5518974411182097383822703",
                  88
                ]
              },
              {
                "Int": [
                  "7363897983848389515600202",
                  88
                ]
              },
              {
                "Int": [
                  "-9670454069703097827680753",
                  88
                ]
              },
              {
                "Int": [
                  "-8",
                  88
                ]
              },
              {
                "Int": [
                  "-56174381804463275551001674",
                  88
                ]
              },
              {
                "Int": [
                  "8514465035087919179799865",
                  88
                ]
              },
              {
                "Int": [
                  "-5658222914246072812966116",
                  88
                ]
              },
              {
                "Int": [
                  "-147010486766767733603769997",
                  88
                ]
              },
              {
                "Int": [
                  "64640857385080606430498466",
                  88
                ]
              },
              {
                "Int": [
                  "-25918774120162186580692054",
                  88
                ]
              },
              {
                "Int": [
                  "154366657126707364868608420",
                  88
                ]
              },
              {
                "Int": [
                  "590",
                  88
                ]
              },
              {
                "Int": [
                  "47472477022133617626968675",
                  88
                ]
              },
              {
                "Int": [
                  "-51987874106198069747751266",
                  88
                ]
              },
              {
                "Int": [
                  "49433858580178336816561810",
                  88
                ]
              },
              {
                "Int": [
                  "12396255160592692276009536",
                  88
                ]
              },
              {
                "Int": [
                  "80947345299110713980930470",
                  88
                ]
              },
              {
                "Int": [
                  "131502133796874071531103357",
                  88
                ]
              },
              {
                "Int": [
                  "-70626044580980969831184901",
                  88
                ]
              },
              {
                "Int": [
                  "85964503541724383149619679",
                  88
                ]
              },
              {
                "Int": [
                  "116887666278601360755098467",
                  88
                ]
              },
              {
                "Int": [
                  "118948980340386725356668276",
                  88
                ]
              },
              {
                "Int": [
                  "-47254022668082797576560606",
                  88
                ]
              },
              {
                "Int": [
                  "999",
                  88
                ]
              },
              {
                "Int": [
                  "131127463587373035776357843",
                  88
                ]
              },
              {
                "Int": [
                  "-41303702745571934935468496",
                  88
                ]
              },
              {
                "Int": [
                  "602",
                  88
                ]
              },
              {
                "Int": [
                  "-1408144785017850103088654",
                  88
                ]
              },
              {
                "Int": [
                  "-47197755772928008149545440",
                  88
                ]
              },
              {
                "Int": [
                  "44484297384595179755941204",
                  88
                ]
              },
              {
                "Int": [
                  "-109624766498929029635794899",
                  88
                ]
              },
              {
                "Int": [
                  "149832910094375417575976312",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "32044552658593521839052587",
                  88
                ]
              },
              {
                "Int": [
                  "80081794553300458892121738",
                  88
                ]
              },
              {
                "Int": [
                  "-56072616777582956411736046",
                  88
                ]
              },
              {
                "Int": [
                  "32044552658593521839052587",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2571,
      17010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6196,
      287
    ]
  }
]