[
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xb867fdd3dc9608db6c5e75",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16263,
      36161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19887,
      36966
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6169,
      2846
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19409,
      13102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      356627,
      6962
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x28",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      275396,
      5876
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xdb361c4bae3903dc1a60fca3fbfa6d20",
              128
            ]
          },
          {
            "Uint": [
              "0x358",
              128
            ]
          },
          {
            "Uint": [
              "0xea51",
              16
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12897,
      4091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17558,
      12389
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20,
      19391
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7174,
      1108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffff",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28669,
      14678
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2428,
      8431
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xb2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15728,
      626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28749,
      17341
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17938,
      2851
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x73",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7324,
      15950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13335,
      18720
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xf9eb92ed058d9fe3ca9e52",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14672,
      17951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xb7",
              8
            ]
          },
          {
            "Uint": [
              "0xdfd3e01f4eeeb06bfd1743a5",
              96
            ]
          },
          {
            "Uint": [
              "0x445af7aeb93dd2d88da5f43e",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16891,
      6800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xa5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6756,
      7265
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x91",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19387,
      7916
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x20f",
              16
            ]
          },
          {
            "Uint": [
              "0xbf31",
              16
            ]
          },
          {
            "Uint": [
              "0x744b",
              16
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      743,
      16174
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1341,
      17600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xde",
              8
            ]
          },
          {
            "Uint": [
              "0xa538bb85e983f0b3fbc9a1c9",
              96
            ]
          },
          {
            "Uint": [
              "0xf1e7d6b1476489df26d229c1",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7394,
      17227
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xdf93fafafcfa7e1351ba75",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16745,
      30714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5072,
      3268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      284470,
      9998
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390057,
      4017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13299,
      5531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffc",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1945,
      9791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xcf0da13bb71fc06b58fe90",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12059,
      1692
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14953,
      468
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0xcb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      587186,
      19101
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      3583
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x576fbc1457478e9594f485",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7127,
      8749
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      949,
      2573
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "733",
                  88
                ]
              },
              {
                "Int": [
                  "118896111483519156123703889",
                  88
                ]
              },
              {
                "Int": [
                  "-52527518676309220558218284",
                  88
                ]
              },
              {
                "Int": [
                  "-88461548671746881899499831",
                  88
                ]
              },
              {
                "Int": [
                  "-152476293541846756204450124",
                  88
                ]
              },
              {
                "Int": [
                  "888",
                  88
                ]
              },
              {
                "Int": [
                  "-93964081821720234882865843",
                  88
                ]
              },
              {
                "Int": [
                  "-39578052415092484507401923",
                  88
                ]
              },
              {
                "Int": [
                  "79272862850701667016067177",
                  88
                ]
              },
              {
                "Int": [
                  "26019011973935359875027826",
                  88
                ]
              },
              {
                "Int": [
                  "-96320012877575837194918169",
                  88
                ]
              },
              {
                "Int": [
                  "-67868956625414096052365825",
                  88
                ]
              },
              {
                "Int": [
                  "50019165651472337856093741",
                  88
                ]
              },
              {
                "Int": [
                  "-754",
                  88
                ]
              },
              {
                "Int": [
                  "50976598489283005625497911",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "100028350558034045498929513",
                  88
                ]
              },
              {
                "Int": [
                  "-69923542839858582658980913",
                  88
                ]
              },
              {
                "Int": [
                  "110811245506420890463511511",
                  88
                ]
              },
              {
                "Int": [
                  "-127006617133490444407298282",
                  88
                ]
              },
              {
                "Int": [
                  "-115580063374250779535880118",
                  88
                ]
              },
              {
                "Int": [
                  "-19248015694408309699750714",
                  88
                ]
              },
              {
                "Int": [
                  "89088777071469269136557720",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      763,
      534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7924,
      6998
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7599,
      8296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      146154,
      50593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xd0d3138aa0cc9e987af8f1",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6578,
      4430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x6b9d16186234cca6ac01a4",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19172,
      47761
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2890,
      3481
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19908,
      1985
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18446,
      7173
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x8c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10877,
      14056
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "39514870198854093609606594",
                  88
                ]
              },
              {
                "Int": [
                  "102912971594479996116521644",
                  88
                ]
              },
              {
                "Int": [
                  "-46805743626839265290303512",
                  88
                ]
              },
              {
                "Int": [
                  "-141160602079922658250008846",
                  88
                ]
              },
              {
                "Int": [
                  "37382109611441086426074802",
                  88
                ]
              },
              {
                "Int": [
                  "-48012048885028774396702859",
                  88
                ]
              },
              {
                "Int": [
                  "-742165618931484262592264",
                  88
                ]
              },
              {
                "Int": [
                  "-5803521575052646641381912",
                  88
                ]
              },
              {
                "Int": [
                  "63242970462223203789849802",
                  88
                ]
              },
              {
                "Int": [
                  "-29",
                  88
                ]
              },
              {
                "Int": [
                  "56395570621059350461177507",
                  88
                ]
              },
              {
                "Int": [
                  "-137832502812117915483876259",
                  88
                ]
              },
              {
                "Int": [
                  "-60921791917972186168240189",
                  88
                ]
              },
              {
                "Int": [
                  "58341253985640321468950846",
                  88
                ]
              },
              {
                "Int": [
                  "101585536922517303574171989",
                  88
                ]
              },
              {
                "Int": [
                  "-4702844922600946353739848",
                  88
                ]
              },
              {
                "Int": [
                  "-13665635470912860194340923",
                  88
                ]
              },
              {
                "Int": [
                  "-269",
                  88
                ]
              },
              {
                "Int": [
                  "-152538850286267758496089625",
                  88
                ]
              },
              {
                "Int": [
                  "-101956334526459547088072279",
                  88
                ]
              },
              {
                "Int": [
                  "-14381723390655324537090333",
                  88
                ]
              },
              {
                "Int": [
                  "-148790865435803299156368191",
                  88
                ]
              },
              {
                "Int": [
                  "-73976467700481843123244141",
                  88
                ]
              },
              {
                "Int": [
                  "283",
                  88
                ]
              },
              {
                "Int": [
                  "111199362112273646818242963",
                  88
                ]
              },
              {
                "Int": [
                  "106785617672257512462792540",
                  88
                ]
              },
              {
                "Int": [
                  "-10958207741347897425348180",
                  88
                ]
              },
              {
                "Int": [
                  "99528858196963340539054293",
                  88
                ]
              },
              {
                "Int": [
                  "50846908522898220504163077",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "20050506681553013098537616",
                  88
                ]
              },
              {
                "Int": [
                  "104500900217626672821856403",
                  88
                ]
              },
              {
                "Int": [
                  "-835",
                  88
                ]
              },
              {
                "Int": [
                  "-519",
                  88
                ]
              },
              {
                "Int": [
                  "868",
                  88
                ]
              },
              {
                "Int": [
                  "-411",
                  88
                ]
              },
              {
                "Int": [
                  "118246016135629283234537620",
                  88
                ]
              },
              {
                "Int": [
                  "123935750761304915976158203",
                  88
                ]
              },
              {
                "Int": [
                  "73796570143222998591690703",
                  88
                ]
              },
              {
                "Int": [
                  "-58435353841857457329494798",
                  88
                ]
              },
              {
                "Int": [
                  "-93987932153336186924540410",
                  88
                ]
              },
              {
                "Int": [
                  "35232350899434210282134410",
                  88
                ]
              },
              {
                "Int": [
                  "8611802084784937331365145",
                  88
                ]
              },
              {
                "Int": [
                  "868",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11765,
      27758
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4418,
      16705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xd4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19925,
      6997
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xc2e9e3927683c85d57b6ec",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      472544,
      11890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x64",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7599,
      18964
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x4000000",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3499,
      55210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      401408,
      7236
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14652,
      59981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      393157,
      7924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      266,
      19343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14223,
      4747
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x86c6",
              16
            ]
          },
          {
            "Uint": [
              "0xffff",
              16
            ]
          },
          {
            "Uint": [
              "0x60be",
              16
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8914,
      12838
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15008,
      16757
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x5d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      506480,
      4576
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17654,
      16760
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7143,
      18274
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      472106,
      18519
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11217,
      11211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x114",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18614,
      6153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x89",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14802,
      547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x2e8",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18150,
      19288
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      496,
      6154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x345b",
              16
            ]
          },
          {
            "Uint": [
              "0x9503",
              16
            ]
          },
          {
            "Uint": [
              "0xabf",
              16
            ]
          },
          {
            "Uint": [
              "0x1be",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14787,
      6954
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x10",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5824,
      17806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x9e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13221,
      52218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8303,
      5735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11478,
      14234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffd",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6428,
      4018
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      587190,
      16624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x9ec351a2bec61953b84eb9c549680785283272eabbbb3498362137c07587e6d5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6953,
      6573
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      537,
      7146
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18845,
      4665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x2cfd7f6c182a3a18d7e08aa875ad802c",
              128
            ]
          },
          {
            "Uint": [
              "0x9066738f52304c403f9116fcbd1a06ff",
              128
            ]
          },
          {
            "Uint": [
              "0x172",
              16
            ]
          },
          {
            "Uint": [
              "0xb7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      185908,
      17313
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      833,
      2557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7692,
      2572
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      328760,
      59963
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471,
      3656
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9057,
      836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7378,
      12982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51671,
      5482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x13f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      561048,
      17950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xc77d3d6d51873ad1b1335c",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4618,
      18060
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19033,
      59099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1279,
      1281
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x147",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5657,
      54031
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1707,
      17176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      221264,
      15610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4181,
      28466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x91",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7198,
      8851
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "73491620263150972158117587",
                  88
                ]
              },
              {
                "Int": [
                  "135196500217989750036589452",
                  88
                ]
              },
              {
                "Int": [
                  "-85872006515710160061745553",
                  88
                ]
              },
              {
                "Int": [
                  "59024195467539443621146622",
                  88
                ]
              },
              {
                "Int": [
                  "129644115644243691365887306",
                  88
                ]
              },
              {
                "Int": [
                  "-60634728206156831277701003",
                  88
                ]
              },
              {
                "Int": [
                  "131674994247398194044490313",
                  88
                ]
              },
              {
                "Int": [
                  "-144143189380229048530285966",
                  88
                ]
              },
              {
                "Int": [
                  "-7481174455363348536163206",
                  88
                ]
              },
              {
                "Int": [
                  "2905811235681742844019855",
                  88
                ]
              },
              {
                "Int": [
                  "64050492331696456250346997",
                  88
                ]
              },
              {
                "Int": [
                  "462",
                  88
                ]
              },
              {
                "Int": [
                  "151252397823996942108257629",
                  88
                ]
              },
              {
                "Int": [
                  "91812527632970979293332553",
                  88
                ]
              },
              {
                "Int": [
                  "126917578087225658651995860",
                  88
                ]
              },
              {
                "Int": [
                  "-2027865019634039270220290",
                  88
                ]
              },
              {
                "Int": [
                  "107495828118134687051487033",
                  88
                ]
              },
              {
                "Int": [
                  "26490088510217267183983418",
                  88
                ]
              },
              {
                "Int": [
                  "-137646904523596862838569852",
                  88
                ]
              },
              {
                "Int": [
                  "4615276483447913012790392",
                  88
                ]
              },
              {
                "Int": [
                  "-59846559105502410082991527",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "101829608108834167582725978",
                  88
                ]
              },
              {
                "Int": [
                  "75748217180272653924298289",
                  88
                ]
              },
              {
                "Int": [
                  "153783433507705021454593300",
                  88
                ]
              },
              {
                "Int": [
                  "50120554695550752486627672",
                  88
                ]
              },
              {
                "Int": [
                  "29714988226874963986312807",
                  88
                ]
              },
              {
                "Int": [
                  "95793057133853667534306290",
                  88
                ]
              },
              {
                "Int": [
                  "-81903550923883073245744421",
                  88
                ]
              },
              {
                "Int": [
                  "5760899772606426783978229",
                  88
                ]
              },
              {
                "Int": [
                  "152761832247685726525802699",
                  88
                ]
              },
              {
                "Int": [
                  "554",
                  88
                ]
              },
              {
                "Int": [
                  "88994794935818920518958167",
                  88
                ]
              },
              {
                "Int": [
                  "-97925265504493521091653904",
                  88
                ]
              },
              {
                "Int": [
                  "342",
                  88
                ]
              },
              {
                "Int": [
                  "-792",
                  88
                ]
              },
              {
                "Int": [
                  "-50013852306056375608250901",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      585,
      60377
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      173570,
      3038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xb16d52e8bad06c44668e",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20137,
      780
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15731,
      17449
    ]
  }
]