[
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x2f3de9c49781ef71d21cc4",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7667,
      18375
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      618,
      7787
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xa64d75288e76dc18f85a6b27c448c484c2c33e74eada3b92259ff0873966ae5f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1036,
      1654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3588,
      16838
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x2d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11210,
      4624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7786,
      2760
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x36",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19308,
      19764
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x69",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1337,
      598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x82fb9d211bbca5b50d6407",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      343435,
      7156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      264264,
      18113
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "64654591387458785071726251",
                  88
                ]
              },
              {
                "Int": [
                  "-104162832111745370144858778",
                  88
                ]
              },
              {
                "Int": [
                  "-116837110633748420121826496",
                  88
                ]
              },
              {
                "Int": [
                  "19306929714986150234316419",
                  88
                ]
              },
              {
                "Int": [
                  "-79948390383761954259075024",
                  88
                ]
              },
              {
                "Int": [
                  "-41040688288813360406365017",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "598",
                  88
                ]
              },
              {
                "Int": [
                  "17282839450274952931899956",
                  88
                ]
              },
              {
                "Int": [
                  "74500937622893699955444447",
                  88
                ]
              },
              {
                "Int": [
                  "121379091661436263910755076",
                  88
                ]
              },
              {
                "Int": [
                  "-823865947929736885233670",
                  88
                ]
              },
              {
                "Int": [
                  "147198582473015476452761359",
                  88
                ]
              },
              {
                "Int": [
                  "-100023189537806654792377070",
                  88
                ]
              },
              {
                "Int": [
                  "34341214387994400034228420",
                  88
                ]
              },
              {
                "Int": [
                  "61198270556366801330898654",
                  88
                ]
              },
              {
                "Int": [
                  "486",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6824,
      11180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x34f2f654f67a54c46e385a61b3f1c8c41748420901b5551e18de6a80581644ff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18956
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11864,
      953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x69",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11755,
      15771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xf88c00f842aaabac47eb30",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      714,
      5066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xa6bcb956dca65d218a2b9f81e04b7c0a",
              128
            ]
          },
          {
            "Uint": [
              "0x806f70d99279e11683b1eaeb5c2a0989",
              128
            ]
          },
          {
            "Uint": [
              "0xaff9",
              16
            ]
          },
          {
            "Uint": [
              "0xc2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1950,
      2463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x88577174853f21e18ef142",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7384,
      18823
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xb15f8cd0b4bde69fa24e1f7e690901b4",
              128
            ]
          },
          {
            "Uint": [
              "0x2534d091b3d4cbe82848db521abd6d7",
              128
            ]
          },
          {
            "Uint": [
              "0x6070",
              16
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      111833,
      59051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x59516b86a3cac47ce92ca8a5",
              96
            ]
          },
          {
            "Uint": [
              "0xc7a5641b105320a2bc9e7adc",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10190,
      13388
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x397c",
              16
            ]
          },
          {
            "Uint": [
              "0xdb7d",
              16
            ]
          },
          {
            "Uint": [
              "0x3b21",
              16
            ]
          },
          {
            "Uint": [
              "0x9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6921,
      5065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      537600,
      13172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7705,
      8118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9621,
      44346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12984,
      7904
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16861,
      835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x41",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      159,
      6168
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xbb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7519,
      1308
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xdbc629710f3ea43089342254",
              96
            ]
          },
          {
            "Uint": [
              "0x936a0e9a68129fb336c02cb5",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3157,
      53782
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xb15f8cd0b4bde69fa24e1f7e690901b4",
              128
            ]
          },
          {
            "Uint": [
              "0x2534d091b3d4cbe82848db521abd6d7",
              128
            ]
          },
          {
            "Uint": [
              "0x6070",
              16
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12067,
      13102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18250,
      10078
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_deployInitiative",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17809,
      1306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8500
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x43347a0",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35,
      742
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xb15f8cd0b4bde69fa24e1f7e690901b4",
              128
            ]
          },
          {
            "Uint": [
              "0x2534d091b3d4cbe82848db521abd6d7",
              128
            ]
          },
          {
            "Uint": [
              "0x6070",
              16
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41405,
      14362
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4679,
      2703
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x24",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      604800,
      4440
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x69",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28223,
      16477
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xd8d03bdf38f209e8fa92773d7eadab92",
              128
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffd",
              128
            ]
          },
          {
            "Uint": [
              "0x6df",
              16
            ]
          },
          {
            "Uint": [
              "0x93",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      822,
      18470
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x0",
              16
            ]
          },
          {
            "Uint": [
              "0xefc4",
              16
            ]
          },
          {
            "Uint": [
              "0x39e",
              16
            ]
          },
          {
            "Uint": [
              "0x96",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16379,
      2799
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x56",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11282,
      172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "137234762091292358648428697",
                  88
                ]
              },
              {
                "Int": [
                  "87998757560046349952583867",
                  88
                ]
              },
              {
                "Int": [
                  "10",
                  88
                ]
              },
              {
                "Int": [
                  "65889620038195019993977936",
                  88
                ]
              },
              {
                "Int": [
                  "-32188203216706578273300037",
                  88
                ]
              },
              {
                "Int": [
                  "54120103472935107595485590",
                  88
                ]
              },
              {
                "Int": [
                  "689",
                  88
                ]
              },
              {
                "Int": [
                  "668",
                  88
                ]
              },
              {
                "Int": [
                  "552",
                  88
                ]
              },
              {
                "Int": [
                  "-686",
                  88
                ]
              },
              {
                "Int": [
                  "-114795776164975848363447040",
                  88
                ]
              },
              {
                "Int": [
                  "12932351906928505181225354",
                  88
                ]
              },
              {
                "Int": [
                  "59061184554824173414573256",
                  88
                ]
              },
              {
                "Int": [
                  "-20340783175483862928879729",
                  88
                ]
              },
              {
                "Int": [
                  "11596725955767080422381075",
                  88
                ]
              },
              {
                "Int": [
                  "29062897269642161729392622",
                  88
                ]
              },
              {
                "Int": [
                  "40031683871365188592413178",
                  88
                ]
              },
              {
                "Int": [
                  "92268694176863113599949228",
                  88
                ]
              },
              {
                "Int": [
                  "77535443924751795593563637",
                  88
                ]
              },
              {
                "Int": [
                  "132913076135801659596708655",
                  88
                ]
              },
              {
                "Int": [
                  "54063371711468682977426111",
                  88
                ]
              },
              {
                "Int": [
                  "11325428375168492306582396",
                  88
                ]
              },
              {
                "Int": [
                  "95",
                  88
                ]
              },
              {
                "Int": [
                  "109645088184535661101576433",
                  88
                ]
              },
              {
                "Int": [
                  "-27512987870777634177565214",
                  88
                ]
              },
              {
                "Int": [
                  "469975894875696581652230",
                  88
                ]
              },
              {
                "Int": [
                  "-30455334481078812023553561",
                  88
                ]
              },
              {
                "Int": [
                  "118538789944603233921775237",
                  88
                ]
              },
              {
                "Int": [
                  "-6688321216059127797928611",
                  88
                ]
              },
              {
                "Int": [
                  "-93437775697648526670761144",
                  88
                ]
              },
              {
                "Int": [
                  "582",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "618",
                  88
                ]
              },
              {
                "Int": [
                  "63858338205295433996847506",
                  88
                ]
              },
              {
                "Int": [
                  "-150091375507397356116949233",
                  88
                ]
              },
              {
                "Int": [
                  "-132046557276760143293510299",
                  88
                ]
              },
              {
                "Int": [
                  "50153934479600077351818321",
                  88
                ]
              },
              {
                "Int": [
                  "39485000060972031120575284",
                  88
                ]
              },
              {
                "Int": [
                  "105109334057491460580387887",
                  88
                ]
              },
              {
                "Int": [
                  "-115865915811058113597632319",
                  88
                ]
              },
              {
                "Int": [
                  "100522639641710502074284053",
                  88
                ]
              },
              {
                "Int": [
                  "-102288985899300706758149538",
                  88
                ]
              },
              {
                "Int": [
                  "6588441613752379297282122",
                  88
                ]
              },
              {
                "Int": [
                  "132604565040326614547749908",
                  88
                ]
              },
              {
                "Int": [
                  "135155031298474814911269662",
                  88
                ]
              },
              {
                "Int": [
                  "-3",
                  88
                ]
              },
              {
                "Int": [
                  "-44550466291373905374553235",
                  88
                ]
              },
              {
                "Int": [
                  "-151183466593390496758208303",
                  88
                ]
              },
              {
                "Int": [
                  "-66348936123679035429558008",
                  88
                ]
              },
              {
                "Int": [
                  "-770",
                  88
                ]
              },
              {
                "Int": [
                  "-41773243964002424705144775",
                  88
                ]
              },
              {
                "Int": [
                  "-144797773247389054064240582",
                  88
                ]
              },
              {
                "Int": [
                  "134870804984508640252499447",
                  88
                ]
              },
              {
                "Int": [
                  "151902990338801769655505706",
                  88
                ]
              },
              {
                "Int": [
                  "-60293069574863887827974649",
                  88
                ]
              },
              {
                "Int": [
                  "31339202073250605940393744",
                  88
                ]
              },
              {
                "Int": [
                  "-150883767317433142435423365",
                  88
                ]
              },
              {
                "Int": [
                  "48599614699859693730385268",
                  88
                ]
              },
              {
                "Int": [
                  "19346295644976110141001496",
                  88
                ]
              },
              {
                "Int": [
                  "178",
                  88
                ]
              },
              {
                "Int": [
                  "24063985707069690027865621",
                  88
                ]
              },
              {
                "Int": [
                  "-204",
                  88
                ]
              },
              {
                "Int": [
                  "146785879811824027723038113",
                  88
                ]
              },
              {
                "Int": [
                  "39485000060972031120575284",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6530,
      18770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x4844bd05ba7eae5707d2061876b3da2f",
              128
            ]
          },
          {
            "Uint": [
              "0x7cc77db83cf78faf5a87bbb6453c2632",
              128
            ]
          },
          {
            "Uint": [
              "0xfffa",
              16
            ]
          },
          {
            "Uint": [
              "0x41",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19650,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "582",
                  88
                ]
              },
              {
                "Int": [
                  "-93437775697648526670761144",
                  88
                ]
              },
              {
                "Int": [
                  "-6688321216059127797928611",
                  88
                ]
              },
              {
                "Int": [
                  "118538789944603233921775237",
                  88
                ]
              },
              {
                "Int": [
                  "-30455334481078812023553561",
                  88
                ]
              },
              {
                "Int": [
                  "469975894875696581652230",
                  88
                ]
              },
              {
                "Int": [
                  "-27512987870777634177565214",
                  88
                ]
              },
              {
                "Int": [
                  "109645088184535661101576433",
                  88
                ]
              },
              {
                "Int": [
                  "95",
                  88
                ]
              },
              {
                "Int": [
                  "11325428375168492306582396",
                  88
                ]
              },
              {
                "Int": [
                  "54063371711468682977426111",
                  88
                ]
              },
              {
                "Int": [
                  "132913076135801659596708655",
                  88
                ]
              },
              {
                "Int": [
                  "77535443924751795593563637",
                  88
                ]
              },
              {
                "Int": [
                  "92268694176863113599949228",
                  88
                ]
              },
              {
                "Int": [
                  "40031683871365188592413178",
                  88
                ]
              },
              {
                "Int": [
                  "29062897269642161729392622",
                  88
                ]
              },
              {
                "Int": [
                  "11596725955767080422381075",
                  88
                ]
              },
              {
                "Int": [
                  "-20340783175483862928879729",
                  88
                ]
              },
              {
                "Int": [
                  "59061184554824173414573256",
                  88
                ]
              },
              {
                "Int": [
                  "12932351906928505181225354",
                  88
                ]
              },
              {
                "Int": [
                  "-114795776164975848363447040",
                  88
                ]
              },
              {
                "Int": [
                  "-686",
                  88
                ]
              },
              {
                "Int": [
                  "552",
                  88
                ]
              },
              {
                "Int": [
                  "668",
                  88
                ]
              },
              {
                "Int": [
                  "689",
                  88
                ]
              },
              {
                "Int": [
                  "54120103472935107595485590",
                  88
                ]
              },
              {
                "Int": [
                  "-32188203216706578273300037",
                  88
                ]
              },
              {
                "Int": [
                  "65889620038195019993977936",
                  88
                ]
              },
              {
                "Int": [
                  "10",
                  88
                ]
              },
              {
                "Int": [
                  "87998757560046349952583867",
                  88
                ]
              },
              {
                "Int": [
                  "137234762091292358648428697",
                  88
                ]
              },
              {
                "Int": [
                  "54120103472935107595485590",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "618",
                  88
                ]
              },
              {
                "Int": [
                  "63858338205295433996847506",
                  88
                ]
              },
              {
                "Int": [
                  "-150091375507397356116949233",
                  88
                ]
              },
              {
                "Int": [
                  "-132046557276760143293510299",
                  88
                ]
              },
              {
                "Int": [
                  "50153934479600077351818321",
                  88
                ]
              },
              {
                "Int": [
                  "39485000060972031120575284",
                  88
                ]
              },
              {
                "Int": [
                  "105109334057491460580387887",
                  88
                ]
              },
              {
                "Int": [
                  "-115865915811058113597632319",
                  88
                ]
              },
              {
                "Int": [
                  "100522639641710502074284053",
                  88
                ]
              },
              {
                "Int": [
                  "-102288985899300706758149538",
                  88
                ]
              },
              {
                "Int": [
                  "6588441613752379297282122",
                  88
                ]
              },
              {
                "Int": [
                  "132604565040326614547749908",
                  88
                ]
              },
              {
                "Int": [
                  "135155031298474814911269662",
                  88
                ]
              },
              {
                "Int": [
                  "-3",
                  88
                ]
              },
              {
                "Int": [
                  "-44550466291373905374553235",
                  88
                ]
              },
              {
                "Int": [
                  "-151183466593390496758208303",
                  88
                ]
              },
              {
                "Int": [
                  "-66348936123679035429558008",
                  88
                ]
              },
              {
                "Int": [
                  "-770",
                  88
                ]
              },
              {
                "Int": [
                  "-41773243964002424705144775",
                  88
                ]
              },
              {
                "Int": [
                  "-144797773247389054064240582",
                  88
                ]
              },
              {
                "Int": [
                  "134870804984508640252499447",
                  88
                ]
              },
              {
                "Int": [
                  "151902990338801769655505706",
                  88
                ]
              },
              {
                "Int": [
                  "-60293069574863887827974649",
                  88
                ]
              },
              {
                "Int": [
                  "31339202073250605940393744",
                  88
                ]
              },
              {
                "Int": [
                  "-150883767317433142435423365",
                  88
                ]
              },
              {
                "Int": [
                  "48599614699859693730385268",
                  88
                ]
              },
              {
                "Int": [
                  "19346295644976110141001496",
                  88
                ]
              },
              {
                "Int": [
                  "178",
                  88
                ]
              },
              {
                "Int": [
                  "24063985707069690027865621",
                  88
                ]
              },
              {
                "Int": [
                  "-204",
                  88
                ]
              },
              {
                "Int": [
                  "146785879811824027723038113",
                  88
                ]
              },
              {
                "Int": [
                  "39485000060972031120575284",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86492,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-119766985526027653305899125",
                  88
                ]
              },
              {
                "Int": [
                  "-74758044986749792377299145",
                  88
                ]
              },
              {
                "Int": [
                  "-22",
                  88
                ]
              },
              {
                "Int": [
                  "-104778371770022207826385170",
                  88
                ]
              },
              {
                "Int": [
                  "-122864111118197101104981825",
                  88
                ]
              },
              {
                "Int": [
                  "-140495993003036846630145617",
                  88
                ]
              },
              {
                "Int": [
                  "-123143595002074002747763401",
                  88
                ]
              },
              {
                "Int": [
                  "-57124091838766669077074603",
                  88
                ]
              },
              {
                "Int": [
                  "37514651678350700960229556",
                  88
                ]
              },
              {
                "Int": [
                  "86906277848889897751716178",
                  88
                ]
              },
              {
                "Int": [
                  "150707524096040856874923758",
                  88
                ]
              },
              {
                "Int": [
                  "-106979529472400117320246729",
                  88
                ]
              },
              {
                "Int": [
                  "-44253864617414799730977906",
                  88
                ]
              },
              {
                "Int": [
                  "97391627809807219391000704",
                  88
                ]
              },
              {
                "Int": [
                  "100793605534272618340637750",
                  88
                ]
              },
              {
                "Int": [
                  "91596923903827888165616689",
                  88
                ]
              },
              {
                "Int": [
                  "-36424610333998219784936426",
                  88
                ]
              },
              {
                "Int": [
                  "-20933702127370259565407128",
                  88
                ]
              },
              {
                "Int": [
                  "59697198304575200278218964",
                  88
                ]
              },
              {
                "Int": [
                  "104423923983565930954503055",
                  88
                ]
              },
              {
                "Int": [
                  "-30012321610726133233102973",
                  88
                ]
              },
              {
                "Int": [
                  "-119590944524774030577157505",
                  88
                ]
              },
              {
                "Int": [
                  "-19268962512675894666398642",
                  88
                ]
              },
              {
                "Int": [
                  "-14278515511514776392331788",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "23629011539323509880126515",
                  88
                ]
              },
              {
                "Int": [
                  "33019183556488323483419523",
                  88
                ]
              },
              {
                "Int": [
                  "-139641730450848274094184149",
                  88
                ]
              },
              {
                "Int": [
                  "6843576283217001717167047",
                  88
                ]
              },
              {
                "Int": [
                  "-151978015090799538219235213",
                  88
                ]
              },
              {
                "Int": [
                  "-118423143750284494233858642",
                  88
                ]
              },
              {
                "Int": [
                  "-140586968252790856519330051",
                  88
                ]
              },
              {
                "Int": [
                  "85137388050045255797885645",
                  88
                ]
              },
              {
                "Int": [
                  "-78771788003691411110236196",
                  88
                ]
              },
              {
                "Int": [
                  "-741",
                  88
                ]
              },
              {
                "Int": [
                  "62293977339400930434982267",
                  88
                ]
              },
              {
                "Int": [
                  "105",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5138,
      28376
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17481,
      9212
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8404,
      14233
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18044,
      18148
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      47757
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6614,
      3601
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      704,
      6720
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x67ed5ee05c808f9bf27d9",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19887,
      5162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15461
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      495312,
      12402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2369,
      1660
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x46024fdabc803ae00377d4",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14060,
      54234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x769f73831fb87bd956c822",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16853,
      811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16742,
      15946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0xe9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5158
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x6a",
              8
            ]
          },
          {
            "Uint": [
              "0x10d",
              96
            ]
          },
          {
            "Uint": [
              "0x0",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6153,
      13387
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      417698,
      41052
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x84",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      41873
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4745,
      277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "582",
                  88
                ]
              },
              {
                "Int": [
                  "-93437775697648526670761144",
                  88
                ]
              },
              {
                "Int": [
                  "-6688321216059127797928611",
                  88
                ]
              },
              {
                "Int": [
                  "118538789944603233921775237",
                  88
                ]
              },
              {
                "Int": [
                  "-30455334481078812023553561",
                  88
                ]
              },
              {
                "Int": [
                  "469975894875696581652230",
                  88
                ]
              },
              {
                "Int": [
                  "-27512987870777634177565214",
                  88
                ]
              },
              {
                "Int": [
                  "109645088184535661101576433",
                  88
                ]
              },
              {
                "Int": [
                  "95",
                  88
                ]
              },
              {
                "Int": [
                  "11325428375168492306582396",
                  88
                ]
              },
              {
                "Int": [
                  "137234762091292358648428697",
                  88
                ]
              },
              {
                "Int": [
                  "132913076135801659596708655",
                  88
                ]
              },
              {
                "Int": [
                  "77535443924751795593563637",
                  88
                ]
              },
              {
                "Int": [
                  "92268694176863113599949228",
                  88
                ]
              },
              {
                "Int": [
                  "40031683871365188592413178",
                  88
                ]
              },
              {
                "Int": [
                  "29062897269642161729392622",
                  88
                ]
              },
              {
                "Int": [
                  "11596725955767080422381075",
                  88
                ]
              },
              {
                "Int": [
                  "-20340783175483862928879729",
                  88
                ]
              },
              {
                "Int": [
                  "59061184554824173414573256",
                  88
                ]
              },
              {
                "Int": [
                  "12932351906928505181225354",
                  88
                ]
              },
              {
                "Int": [
                  "-114795776164975848363447040",
                  88
                ]
              },
              {
                "Int": [
                  "-686",
                  88
                ]
              },
              {
                "Int": [
                  "552",
                  88
                ]
              },
              {
                "Int": [
                  "668",
                  88
                ]
              },
              {
                "Int": [
                  "689",
                  88
                ]
              },
              {
                "Int": [
                  "54120103472935107595485590",
                  88
                ]
              },
              {
                "Int": [
                  "-32188203216706578273300037",
                  88
                ]
              },
              {
                "Int": [
                  "65889620038195019993977936",
                  88
                ]
              },
              {
                "Int": [
                  "10",
                  88
                ]
              },
              {
                "Int": [
                  "87998757560046349952583867",
                  88
                ]
              },
              {
                "Int": [
                  "54063371711468682977426111",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "618",
                  88
                ]
              },
              {
                "Int": [
                  "63858338205295433996847506",
                  88
                ]
              },
              {
                "Int": [
                  "-150091375507397356116949233",
                  88
                ]
              },
              {
                "Int": [
                  "-132046557276760143293510299",
                  88
                ]
              },
              {
                "Int": [
                  "50153934479600077351818321",
                  88
                ]
              },
              {
                "Int": [
                  "39485000060972031120575284",
                  88
                ]
              },
              {
                "Int": [
                  "105109334057491460580387887",
                  88
                ]
              },
              {
                "Int": [
                  "-115865915811058113597632319",
                  88
                ]
              },
              {
                "Int": [
                  "100522639641710502074284053",
                  88
                ]
              },
              {
                "Int": [
                  "-102288985899300706758149538",
                  88
                ]
              },
              {
                "Int": [
                  "6588441613752379297282122",
                  88
                ]
              },
              {
                "Int": [
                  "132604565040326614547749908",
                  88
                ]
              },
              {
                "Int": [
                  "135155031298474814911269662",
                  88
                ]
              },
              {
                "Int": [
                  "-3",
                  88
                ]
              },
              {
                "Int": [
                  "-44550466291373905374553235",
                  88
                ]
              },
              {
                "Int": [
                  "-151183466593390496758208303",
                  88
                ]
              },
              {
                "Int": [
                  "-66348936123679035429558008",
                  88
                ]
              },
              {
                "Int": [
                  "-770",
                  88
                ]
              },
              {
                "Int": [
                  "-41773243964002424705144775",
                  88
                ]
              },
              {
                "Int": [
                  "-144797773247389054064240582",
                  88
                ]
              },
              {
                "Int": [
                  "134870804984508640252499447",
                  88
                ]
              },
              {
                "Int": [
                  "151902990338801769655505706",
                  88
                ]
              },
              {
                "Int": [
                  "-60293069574863887827974649",
                  88
                ]
              },
              {
                "Int": [
                  "31339202073250605940393744",
                  88
                ]
              },
              {
                "Int": [
                  "-150883767317433142435423365",
                  88
                ]
              },
              {
                "Int": [
                  "48599614699859693730385268",
                  88
                ]
              },
              {
                "Int": [
                  "19346295644976110141001496",
                  88
                ]
              },
              {
                "Int": [
                  "178",
                  88
                ]
              },
              {
                "Int": [
                  "24063985707069690027865621",
                  88
                ]
              },
              {
                "Int": [
                  "-204",
                  88
                ]
              },
              {
                "Int": [
                  "146785879811824027723038113",
                  88
                ]
              },
              {
                "Int": [
                  "39485000060972031120575284",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7859,
      5732
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14221,
      896
    ]
  }
]