[
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6757,
      2999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xf8facc9ecae2877759ab51",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      626,
      13191
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-224",
                  88
                ]
              },
              {
                "Int": [
                  "89810161402091147979818462",
                  88
                ]
              },
              {
                "Int": [
                  "-51653591761134595933883591",
                  88
                ]
              },
              {
                "Int": [
                  "666",
                  88
                ]
              },
              {
                "Int": [
                  "-577",
                  88
                ]
              },
              {
                "Int": [
                  "-66",
                  88
                ]
              },
              {
                "Int": [
                  "-8536600757180614472449029",
                  88
                ]
              },
              {
                "Int": [
                  "79015199719071101749596888",
                  88
                ]
              },
              {
                "Int": [
                  "-9326449498177451252110988",
                  88
                ]
              },
              {
                "Int": [
                  "-454",
                  88
                ]
              },
              {
                "Int": [
                  "-107651221788404219782276099",
                  88
                ]
              },
              {
                "Int": [
                  "-62166708441306609701326394",
                  88
                ]
              },
              {
                "Int": [
                  "-303",
                  88
                ]
              },
              {
                "Int": [
                  "974",
                  88
                ]
              },
              {
                "Int": [
                  "-16011820111399138255240366",
                  88
                ]
              },
              {
                "Int": [
                  "144041966225004868828644854",
                  88
                ]
              },
              {
                "Int": [
                  "-132566344773733832608773726",
                  88
                ]
              },
              {
                "Int": [
                  "118449122482450723777609781",
                  88
                ]
              },
              {
                "Int": [
                  "-21337933387741793435434757",
                  88
                ]
              },
              {
                "Int": [
                  "-4091807875885529872467718",
                  88
                ]
              },
              {
                "Int": [
                  "-88317675175117787897486144",
                  88
                ]
              },
              {
                "Int": [
                  "-82699058655688059865289966",
                  88
                ]
              },
              {
                "Int": [
                  "98436629864880361069672473",
                  88
                ]
              },
              {
                "Int": [
                  "24440348482040247866833004",
                  88
                ]
              },
              {
                "Int": [
                  "-26596920207521137670100345",
                  88
                ]
              },
              {
                "Int": [
                  "133490071543734324827043544",
                  88
                ]
              },
              {
                "Int": [
                  "-138427530838452748764182109",
                  88
                ]
              },
              {
                "Int": [
                  "-470",
                  88
                ]
              },
              {
                "Int": [
                  "-38953209149757957352052850",
                  88
                ]
              },
              {
                "Int": [
                  "-102450137007027674094720",
                  88
                ]
              },
              {
                "Int": [
                  "26653962087791667524809016",
                  88
                ]
              },
              {
                "Int": [
                  "-149322773330606839762652243",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-51853603585838947777241880",
                  88
                ]
              },
              {
                "Int": [
                  "100170010882617315206076818",
                  88
                ]
              },
              {
                "Int": [
                  "97914011273342065771373806",
                  88
                ]
              },
              {
                "Int": [
                  "146792059461833228401682864",
                  88
                ]
              },
              {
                "Int": [
                  "-85290998219071564410652042",
                  88
                ]
              },
              {
                "Int": [
                  "-86328922557715623322251708",
                  88
                ]
              },
              {
                "Int": [
                  "-136370520349338215341148438",
                  88
                ]
              },
              {
                "Int": [
                  "-8363607129002557855660215",
                  88
                ]
              },
              {
                "Int": [
                  "-79899511381156247895503973",
                  88
                ]
              },
              {
                "Int": [
                  "-23641879574331816742346421",
                  88
                ]
              },
              {
                "Int": [
                  "128506206036890853455726732",
                  88
                ]
              },
              {
                "Int": [
                  "-133911096980901438013979219",
                  88
                ]
              },
              {
                "Int": [
                  "39945465122278499400765863",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9401,
      16707
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x69d9be65ecdefecc37ce8f",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      374915,
      1282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x2b5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7878,
      7029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x0",
              16
            ]
          },
          {
            "Uint": [
              "0xd093",
              16
            ]
          },
          {
            "Uint": [
              "0x49de",
              16
            ]
          },
          {
            "Uint": [
              "0x4a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14732,
      6760
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1093,
      4410
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-65372811363314145815592724",
                  88
                ]
              },
              {
                "Int": [
                  "15577651014823311471172892",
                  88
                ]
              },
              {
                "Int": [
                  "106759572856194496429803314",
                  88
                ]
              },
              {
                "Int": [
                  "-135814479528277885082774956",
                  88
                ]
              },
              {
                "Int": [
                  "-96521790029167549606161881",
                  88
                ]
              },
              {
                "Int": [
                  "22084212512660747714907003",
                  88
                ]
              },
              {
                "Int": [
                  "209",
                  88
                ]
              },
              {
                "Int": [
                  "53161223020603557841598449",
                  88
                ]
              },
              {
                "Int": [
                  "-132254435144703898016366583",
                  88
                ]
              },
              {
                "Int": [
                  "43594235398898305316142124",
                  88
                ]
              },
              {
                "Int": [
                  "97902914495013294783023594",
                  88
                ]
              },
              {
                "Int": [
                  "714",
                  88
                ]
              },
              {
                "Int": [
                  "-130271391661777696760638096",
                  88
                ]
              },
              {
                "Int": [
                  "49152008407081042608718420",
                  88
                ]
              },
              {
                "Int": [
                  "-122718108745310094428703650",
                  88
                ]
              },
              {
                "Int": [
                  "-120915819419939750448397021",
                  88
                ]
              },
              {
                "Int": [
                  "147711837242155727018650601",
                  88
                ]
              },
              {
                "Int": [
                  "-869",
                  88
                ]
              },
              {
                "Int": [
                  "36035066032677565619401622",
                  88
                ]
              },
              {
                "Int": [
                  "43594235398898305316142124",
                  88
                ]
              },
              {
                "Int": [
                  "-66809040628800581397009287",
                  88
                ]
              },
              {
                "Int": [
                  "286756756801683824517520",
                  88
                ]
              },
              {
                "Int": [
                  "59048552979026005143894712",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-59577415559793173298178611",
                  88
                ]
              },
              {
                "Int": [
                  "124914260452377563841590237",
                  88
                ]
              },
              {
                "Int": [
                  "-83383753940966492923443947",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      532455,
      10017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-69304462501232052605217829",
                  88
                ]
              },
              {
                "Int": [
                  "-69304462501232052605217829",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "-28524800673145421278184927",
                  88
                ]
              },
              {
                "Int": [
                  "-104389469259196230926706304",
                  88
                ]
              },
              {
                "Int": [
                  "-104064905740872960190854736",
                  88
                ]
              },
              {
                "Int": [
                  "70027523353386069966226444",
                  88
                ]
              },
              {
                "Int": [
                  "-64148902837121643690894823",
                  88
                ]
              },
              {
                "Int": [
                  "144624012632380335482563680",
                  88
                ]
              },
              {
                "Int": [
                  "-136990014896143164393950949",
                  88
                ]
              },
              {
                "Int": [
                  "95685726761831579704605488",
                  88
                ]
              },
              {
                "Int": [
                  "49901089956468072993515960",
                  88
                ]
              },
              {
                "Int": [
                  "31995833279159435829674300",
                  88
                ]
              },
              {
                "Int": [
                  "-150519059358363979511399642",
                  88
                ]
              },
              {
                "Int": [
                  "97776395564955430174546524",
                  88
                ]
              },
              {
                "Int": [
                  "98726909524273994787522860",
                  88
                ]
              },
              {
                "Int": [
                  "40596203147743077998711211",
                  88
                ]
              },
              {
                "Int": [
                  "61",
                  88
                ]
              },
              {
                "Int": [
                  "70947524928757543165904750",
                  88
                ]
              },
              {
                "Int": [
                  "-16530467787055575624130437",
                  88
                ]
              },
              {
                "Int": [
                  "124669482545998666728181978",
                  88
                ]
              },
              {
                "Int": [
                  "-142138640140248149732270936",
                  88
                ]
              },
              {
                "Int": [
                  "-127804364374049448369990170",
                  88
                ]
              },
              {
                "Int": [
                  "-88582174006790032702733488",
                  88
                ]
              },
              {
                "Int": [
                  "141920646282656190192425288",
                  88
                ]
              },
              {
                "Int": [
                  "128353558379325048619776104",
                  88
                ]
              },
              {
                "Int": [
                  "-84855443577307730895257733",
                  88
                ]
              },
              {
                "Int": [
                  "69982408438065528183635805",
                  88
                ]
              },
              {
                "Int": [
                  "107834674766210107121838957",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40421,
      7202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x6e7fc82",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5604,
      16411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x3e1b8148286ba4f32f0d67",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      197236,
      9056
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      320,
      17642
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x103",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      420,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6810,
      19490
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114014,
      9254
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19910,
      7785
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x12b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5179,
      2239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28531,
      292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      906,
      16262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      677,
      16342
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9084,
      1052
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x2bfe2479a4fa857209cd95",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      734,
      19110
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0x3c",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3823,
      15731
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0x1a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      146153,
      26044
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xe53d5036016776e18dd5dd",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16413,
      6962
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      217,
      26107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "helper_accrueBold",
        "args": [
          {
            "Uint": [
              "0xe6b16eaedb68f5e8e1d9a2",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390058,
      7379
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-225",
                  88
                ]
              },
              {
                "Int": [
                  "11736689722529569087608686",
                  88
                ]
              },
              {
                "Int": [
                  "-20143209184194964498511484",
                  88
                ]
              },
              {
                "Int": [
                  "-1001",
                  88
                ]
              },
              {
                "Int": [
                  "138095795741884664321611285",
                  88
                ]
              },
              {
                "Int": [
                  "-144604934997413671918150510",
                  88
                ]
              },
              {
                "Int": [
                  "19821739628058440383171606",
                  88
                ]
              },
              {
                "Int": [
                  "25189911449279640869893483",
                  88
                ]
              },
              {
                "Int": [
                  "24758202857001177004768759",
                  88
                ]
              },
              {
                "Int": [
                  "50687178727486210638834588",
                  88
                ]
              },
              {
                "Int": [
                  "-45414972526030909985710498",
                  88
                ]
              },
              {
                "Int": [
                  "-110766077595978265153648993",
                  88
                ]
              },
              {
                "Int": [
                  "108710663215288620344979599",
                  88
                ]
              },
              {
                "Int": [
                  "136119511029825855855742909",
                  88
                ]
              },
              {
                "Int": [
                  "-129800193563906307858430168",
                  88
                ]
              },
              {
                "Int": [
                  "-90176062756543326826757813",
                  88
                ]
              },
              {
                "Int": [
                  "-27347712264910167508109818",
                  88
                ]
              },
              {
                "Int": [
                  "100738414606525337117601109",
                  88
                ]
              },
              {
                "Int": [
                  "-66442238251263775079071497",
                  88
                ]
              },
              {
                "Int": [
                  "-11563436433517678900599317",
                  88
                ]
              },
              {
                "Int": [
                  "122833001615816772282847084",
                  88
                ]
              },
              {
                "Int": [
                  "-66364204122051037312297151",
                  88
                ]
              },
              {
                "Int": [
                  "-21888309721760598025329969",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "80764022739574769343457003",
                  88
                ]
              },
              {
                "Int": [
                  "99436447103504592065021256",
                  88
                ]
              },
              {
                "Int": [
                  "135165724308692146853976030",
                  88
                ]
              },
              {
                "Int": [
                  "-64480088630072036586048445",
                  88
                ]
              },
              {
                "Int": [
                  "146220141722431455432960618",
                  88
                ]
              },
              {
                "Int": [
                  "-116127431735311576436393938",
                  88
                ]
              },
              {
                "Int": [
                  "129116019479778878603010724",
                  88
                ]
              },
              {
                "Int": [
                  "8352664114152799904337186",
                  88
                ]
              },
              {
                "Int": [
                  "-151396082394307352742882019",
                  88
                ]
              },
              {
                "Int": [
                  "-9964860620773341812123529",
                  88
                ]
              },
              {
                "Int": [
                  "149985275783762200827452309",
                  88
                ]
              },
              {
                "Int": [
                  "-16782053693092127501596305",
                  88
                ]
              },
              {
                "Int": [
                  "-95330891317842422205683523",
                  88
                ]
              },
              {
                "Int": [
                  "-146876171020161116848458088",
                  88
                ]
              },
              {
                "Int": [
                  "130730039342535455869478474",
                  88
                ]
              },
              {
                "Int": [
                  "107504508927810539475951487",
                  88
                ]
              },
              {
                "Int": [
                  "-17655724256807694403141275",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11649,
      3770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI03",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390057,
      55601
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18575,
      2798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0xed4ba90826269db2934937",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19193,
      6537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x54",
              8
            ]
          },
          {
            "Uint": [
              "0x36596e618426b9e0d33c71c7",
              96
            ]
          },
          {
            "Uint": [
              "0xe6d60afee35574ebc5cdf838",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3396,
      3157
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5821,
      14058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xce9510a68fb4adc6724889d085548f9f55f2c9e29bc951366a114ee02bd5d5b8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6802,
      18275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x9ef2365735a4af6fe50a1f",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7757,
      546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x42a65f349ae4e3db4c81ded2a2d9e5cc",
              128
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              128
            ]
          },
          {
            "Uint": [
              "0x2632",
              16
            ]
          },
          {
            "Uint": [
              "0xaa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      375797,
      12059
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2799,
      706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11866,
      799
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimFromStakingV1",
        "args": [
          {
            "Uint": [
              "0x6c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8148,
      15531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x597f98769b460894bba420",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9612,
      6245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2688,
      14849
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6971,
      19382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x20",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14732,
      17099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY_clamped_single_initiative",
        "args": [
          {
            "Uint": [
              "0x23",
              8
            ]
          },
          {
            "Uint": [
              "0x3111ea02476f14c319ec46fc",
              96
            ]
          },
          {
            "Uint": [
              "0xda85a4512561f5c8b045f992",
              96
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      587186,
      20060
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI04",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16257,
      46
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18579,
      3037
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6550,
      56727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x97545424123447b6456d01aec2595c92",
              128
            ]
          },
          {
            "Uint": [
              "0xa5eb6b0e3ab9aad2c32d8c303cb6fafa",
              128
            ]
          },
          {
            "Uint": [
              "0x5ba9",
              16
            ]
          },
          {
            "Uint": [
              "0x12",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17256,
      4780
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x91",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      931,
      59198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6431,
      8027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffe",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4589,
      16865
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x8d132a58393bfb3f1c2934",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384685,
      57348
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58,
      9571
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI02",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5990,
      582
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xc96a1688566cf06d136031e2669778a9ac7a88585a495f3969468c08db9620d1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14599,
      2466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0xf79903f64e6bf0cdea6a9e",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7379,
      9574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_unregisterInitiative",
        "args": [
          {
            "Uint": [
              "0xdb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57444,
      19719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9436,
      11217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7409,
      15584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x00000000000034000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      996,
      9
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_claimBribes",
        "args": [
          {
            "Uint": [
              "0x9c57",
              16
            ]
          },
          {
            "Uint": [
              "0x0",
              16
            ]
          },
          {
            "Uint": [
              "0x258c",
              16
            ]
          },
          {
            "Uint": [
              "0x25",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7119,
      5883
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2275,
      22903
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      410244,
      6196
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      468512,
      3360
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_snapshotVotesForInitiative",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7918,
      159
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114012,
      18522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTY",
        "args": [
          {
            "Uint": [
              "0x56c887ac6d407d985a0fae",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19304,
      19077
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      568931,
      18740
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1492,
      12229
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_registerInitiative",
        "args": [
          {
            "Uint": [
              "0x88",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      538,
      1383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_deployUserProxy",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      462430,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0x6c981b4350bb846354fac62003dab8ba",
              128
            ]
          },
          {
            "Uint": [
              "0x8c5b370c57768866f7fcc66bba9f4a51",
              128
            ]
          },
          {
            "Uint": [
              "0xb1",
              16
            ]
          },
          {
            "Uint": [
              "0xbc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7762,
      1949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_depositLQTYViaPermit",
        "args": [
          {
            "Uint": [
              "0x0",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      508004,
      18118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "initiative_depositBribe",
        "args": [
          {
            "Uint": [
              "0xac938c7c1decc266da7f74ea22d7d70d",
              128
            ]
          },
          {
            "Uint": [
              "0xab4e6e85cb487bf5a0376e859b5e6347",
              128
            ]
          },
          {
            "Uint": [
              "0xced",
              16
            ]
          },
          {
            "Uint": [
              "0xf6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10269,
      17602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_withdrawLQTY",
        "args": [
          {
            "Uint": [
              "0x7502640c42f05e38f77caa",
              88
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6703,
      31235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      704,
      18365
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "targetArtifactSelectors",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      409372,
      16839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_claimForInitiative",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114013,
      23883
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI05",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      421,
      18955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "governance_allocateLQTY",
        "args": [
          {
            "Array": [
              {
                "Int": [
                  "-932",
                  88
                ]
              },
              {
                "Int": [
                  "118704526828927343974786591",
                  88
                ]
              },
              {
                "Int": [
                  "135969512161895578057337888",
                  88
                ]
              },
              {
                "Int": [
                  "109370680830550899640248169",
                  88
                ]
              },
              {
                "Int": [
                  "78830507118432787046757062",
                  88
                ]
              },
              {
                "Int": [
                  "875",
                  88
                ]
              },
              {
                "Int": [
                  "-3662162569904943108622732",
                  88
                ]
              },
              {
                "Int": [
                  "-130356896477589610800267406",
                  88
                ]
              },
              {
                "Int": [
                  "135900365581696023057065958",
                  88
                ]
              },
              {
                "Int": [
                  "-3142425116935735366250522",
                  88
                ]
              },
              {
                "Int": [
                  "-471",
                  88
                ]
              },
              {
                "Int": [
                  "18",
                  88
                ]
              },
              {
                "Int": [
                  "-83873246600362142522588713",
                  88
                ]
              },
              {
                "Int": [
                  "476",
                  88
                ]
              },
              {
                "Int": [
                  "-95978406312836653533460963",
                  88
                ]
              },
              {
                "Int": [
                  "-83873246600362142522588713",
                  88
                ]
              },
              {
                "Int": [
                  "-123341903779593538244036202",
                  88
                ]
              },
              {
                "Int": [
                  "19",
                  88
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Int": [
                  "52839387762136444373769245",
                  88
                ]
              },
              {
                "Int": [
                  "-55216717849519703532169781",
                  88
                ]
              },
              {
                "Int": [
                  "104734610381301357711952498",
                  88
                ]
              },
              {
                "Int": [
                  "-117124785262835766439795494",
                  88
                ]
              },
              {
                "Int": [
                  "-83",
                  88
                ]
              },
              {
                "Int": [
                  "-104662278613445538392260488",
                  88
                ]
              },
              {
                "Int": [
                  "136568897428353923096674754",
                  88
                ]
              },
              {
                "Int": [
                  "130011114023759830249812712",
                  88
                ]
              },
              {
                "Int": [
                  "487",
                  88
                ]
              },
              {
                "Int": [
                  "-48058346831331752395815256",
                  88
                ]
              },
              {
                "Int": [
                  "637",
                  88
                ]
              },
              {
                "Int": [
                  "-126272882493915334705353462",
                  88
                ]
              },
              {
                "Int": [
                  "-34275813801210492989843831",
                  88
                ]
              },
              {
                "Int": [
                  "-138209730812146287101692683",
                  88
                ]
              },
              {
                "Int": [
                  "-137940695528801616502016917",
                  88
                ]
              },
              {
                "Int": [
                  "87337826465300089140640943",
                  88
                ]
              },
              {
                "Int": [
                  "20036339189220204793416394",
                  88
                ]
              },
              {
                "Int": [
                  "-120769891266011957323758355",
                  88
                ]
              },
              {
                "Int": [
                  "-67679420793682284654913875",
                  88
                ]
              },
              {
                "Int": [
                  "79249066300748514806445405",
                  88
                ]
              },
              {
                "Int": [
                  "144987997696768536238022682",
                  88
                ]
              },
              {
                "Int": [
                  "63200883120324267110765224",
                  88
                ]
              },
              {
                "Int": [
                  "-69528910184862618110235621",
                  88
                ]
              },
              {
                "Int": [
                  "-106089835963535399258750852",
                  88
                ]
              },
              {
                "Int": [
                  "-19965539434916279192000792",
                  88
                ]
              },
              {
                "Int": [
                  "11443749614780526214079242",
                  88
                ]
              },
              {
                "Int": [
                  "-759",
                  88
                ]
              },
              {
                "Int": [
                  "95496326656734452506291469",
                  88
                ]
              },
              {
                "Int": [
                  "-68450005849693735193650502",
                  88
                ]
              },
              {
                "Int": [
                  "-98931291447573677432175150",
                  88
                ]
              },
              {
                "Int": [
                  "-75754839260149375083906587",
                  88
                ]
              },
              {
                "Int": [
                  "-751",
                  88
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19343,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_BI01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9442,
      6788
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_GV01",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60,
      100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7211,
      17996
    ]
  }
]